dft examples moved to an example-repo

Former-commit-id: 676f77f698 [formerly e761775639]
Former-commit-id: 167d474c8a

examples/dft/and.dft

@@ -1,4 +0,0 @@
-toplevel "A";
-"A" and "B" "C";
-"B" lambda=0.5 dorm=0.3;
-"C" lambda=0.5 dorm=0.3;

examples/dft/and_approx.dft

@@ -1,5 +0,0 @@
-toplevel "A";
-"A" and "B" "C" "D";
-"B" lambda=1 dorm=0;
-"C" lambda=100 dorm=0;
-"D" lambda=50 dorm=0;

examples/dft/and_approx_param.dft

@@ -1,6 +0,0 @@
-param x;
-toplevel "A";
-"A" and "B" "C" "D";
-"B" lambda=1 dorm=0;
-"C" lambda=100 dorm=0;
-"D" lambda=100*x dorm=0;

examples/dft/and_param.dft

@@ -1,5 +0,0 @@
-param x;
-toplevel "A";
-"A" and "B" "C";
-"B" lambda=0.5 dorm=0.3;
-"C" lambda=x dorm=0.3;

examples/dft/approx.dft

@@ -1,5 +0,0 @@
-toplevel "A";
-"A" and "B" "C" "D";
-"B" lambda=0.1 dorm=0;
-"C" lambda=10 dorm=0;
-"D" lambda=0.1 dorm=0;

examples/dft/be_nonfail.dft

@@ -1,4 +0,0 @@
-toplevel "A";
-"A" and "B" "C";
-"B" lambda=0 dorm=0.3;
-"C" lambda=0.5 dorm=0.3;

examples/dft/cardiac.dft

@@ -1,21 +0,0 @@
-toplevel "SYSTEM";
-"SYSTEM" or "FDEP" "CPU" "MOTOR" "PUMPS";
-"FDEP" fdep "TRIGGER" "P" "B";
-"TRIGGER" or "CS" "SS";
-"CPU" wsp "P" "B";
-"MOTOR" or "SWITCH" "MOTORS";
-"SWITCH" pand "MS" "MA";
-"MOTORS" csp "MA" "MB";
-"PUMPS" and "PUMP1" "PUMP2";
-"PUMP1" csp "PA" "PS";
-"PUMP2" csp "PB" "PS";
-"P" lambda=5.0e-5 dorm=0;
-"B" lambda=5.0e-5 dorm=0.5;
-"CS" lambda=2.0e-5 dorm=0;
-"SS" lambda=2.0e-5 dorm=0;
-"MS" lambda=1.0e-6 dorm=0;
-"MA" lambda=1.0e-4 dorm=0;
-"MB" lambda=1.0e-4 dorm=0;
-"PA" lambda=1.0e-4 dorm=0;
-"PB" lambda=1.0e-4 dorm=0;
-"PS" lambda=1.0e-4 dorm=0;

examples/dft/cas.dft

@@ -1,24 +0,0 @@
-toplevel "System";
-"System" or "CPUfdep" "CPUunit" "Motorunit" "Pumpunit";
-
-"CPUfdep" fdep "trigger" "P" "B";
-"trigger" or "CS" "SS";
-"CS" lambda=0.2 dorm=0;
-"SS" lambda=0.2 dorm=0;
-"CPUunit" wsp "P" "B";
-"P" lambda=0.5 dorm=0;
-"B" lambda=0.5 dorm=0.5;
-
-"Motorunit" or "MP" "Motors";
-"MP" pand "MS" "MA";
-"Motors" csp "MA" "MB";
-"MS" lambda=0.01 dorm=0;
-"MA" lambda=1 dorm=0;
-"MB" lambda=1 dorm=0;
-
-"Pumpunit" and "PumpA" "PumpB";
-"PumpA" csp "PA" "PS";
-"PumpB" csp "PB" "PS";
-"PA" lambda=1 dorm=0;
-"PB" lambda=1 dorm=0;
-"PS" lambda=1 dorm=0;

examples/dft/cm2.dft

@@ -1,22 +0,0 @@
-toplevel "System";
-"System" or "BUS" "CM";
-"CM" and "CM1" "CM2";
-"CM1" or "DISK1" "POWER1" "MEMORY1";
-"CM2" or "DISK2" "POWER2" "MEMORY2";
-"DISK1" wsp "D11" "D12";
-"DISK2" wsp "D21" "D22";
-"POWER1" or "P1" "PS";
-"POWER2" or "P2" "PS";
-"MEMORY1" wsp "M1" "M3";
-"MEMORY2" wsp "M2" "M3";
-"BUS" lambda=0.0002 dorm=0;
-"P1" lambda=0.05 dorm=0;
-"P2" lambda=0.05 dorm=0;
-"PS" lambda=0.6 dorm=0;
-"D11" lambda=8.0 dorm=0;
-"D12" lambda=8.0 dorm=0.5;
-"D21" lambda=8.0 dorm=0;
-"D22" lambda=8.0 dorm=0.5;
-"M1" lambda=0.003 dorm=0;
-"M2" lambda=0.003 dorm=0;
-"M3" lambda=0.003 dorm=0.5;

examples/dft/cm4.dft

@@ -1,41 +0,0 @@
-toplevel "System";
-"System" or "BUS" "CM";
-"CM" and "CM1" "CM2" "CM3" "CM4";
-"CM1" or "DISK1" "POWER1" "MEMORY1";
-"CM2" or "DISK2" "POWER2" "MEMORY2";
-"CM3" or "DISK3" "POWER3" "MEMORY3";
-"CM4" or "DISK4" "POWER4" "MEMORY4";
-"DISK1" wsp "D11" "D12";
-"DISK2" wsp "D21" "D22";
-"DISK3" wsp "D31" "D32";
-"DISK4" wsp "D41" "D42";
-"POWER1" or "P1" "PS";
-"POWER2" or "P2" "PS";
-"POWER3" or "P3" "PS2";
-"POWER4" or "P4" "PS2";
-"MEMORY1" wsp "M1" "M3" "M4";
-"MEMORY2" wsp "M2" "M3" "M4";
-"MEMORY3" wsp "M31" "M3";
-"MEMORY4" wsp "M41" "M4";
-"BUS" lambda=0.0002 dorm=0;
-"P1" lambda=0.05 dorm=0;
-"P2" lambda=0.05 dorm=0;
-"P3" lambda=0.05 dorm=0;
-"P4" lambda=0.05 dorm=0;
-"PS" lambda=0.6 dorm=0;
-"PS2" lambda=0.6 dorm=0;
-"D11" lambda=8.0 dorm=0;
-"D12" lambda=8.0 dorm=0.5;
-"D21" lambda=8.0 dorm=0;
-"D22" lambda=8.0 dorm=0.5;
-"D31" lambda=8.0 dorm=0;
-"D32" lambda=8.0 dorm=0.5;
-"D41" lambda=8.0 dorm=0;
-"D42" lambda=8.0 dorm=0.5;
-"M1" lambda=0.003 dorm=0;
-"M2" lambda=0.003 dorm=0;
-"M31" lambda=0.003 dorm=0;
-"M41" lambda=0.003 dorm=0;
-"M3" lambda=0.003 dorm=0.5;
-"M4" lambda=0.003 dorm=0.5;
-

examples/dft/cps.dft

@@ -1,26 +0,0 @@
-toplevel "System";
-
-"System" pand "A" "B";
-
-"A" and "AA" "AB" "AC" "AD";
-
-"B" pand "C" "D";
-
-"C" and "CA" "CB" "CC" "CD";
-
-"D" and "DA" "DB" "DC" "DD";
-
-"AA" lambda=1 dorm=0;
-"AB" lambda=1 dorm=0;
-"AC" lambda=1 dorm=0;
-"AD" lambda=1 dorm=0;
-
-"CA" lambda=1 dorm=0;
-"CB" lambda=1 dorm=0;
-"CC" lambda=1 dorm=0;
-"CD" lambda=1 dorm=0;
-
-"DA" lambda=1 dorm=0;
-"DB" lambda=1 dorm=0;
-"DC" lambda=1 dorm=0;
-"DD" lambda=1 dorm=0;

examples/dft/deathegg.dft

@@ -1,16 +0,0 @@
-toplevel "DeathEgg";
-"DeathEgg" or "DeathEggProxy" "DeathEggServer" "CampusPowerDependency" "ProxyPowerDependency";
-"DeathEggServer" or "CampusNET" "DES_Disks";
-"DES_Disks" and "DES_Disks_RAID1" "DES_Disks_RAID2";
-"DES_Disks_RAID1" and "DES_Disk_1" "DES_Disk_2";
-"DES_Disks_RAID2" and "DES_Disk_3" "DES_Disk_4";
-"DeathEggProxy" lambda=0.01 dorm=0;
-"DES_Disk_1" lambda=0.01 dorm=0;
-"DES_Disk_2" lambda=0.01 dorm=0;
-"DES_Disk_3" lambda=0.01 dorm=0;
-"DES_Disk_4" lambda=0.01 dorm=0;
-"CampusPowerDependency" fdep "CampusPower" "DeathEggServer";
-"ProxyPowerDependency" fdep "ProxyPower" "DeathEggProxy";
-"CampusPower" lambda=0.01 dorm=0;
-"CampusNET" lambda=0.01 dorm=0;
-"ProxyPower" lambda=0.01 dorm=0;

examples/dft/fdep.dft

@@ -1,8 +0,0 @@
-toplevel "System";
-"System" or "Power" "Machine";
-"Power" fdep "B_Power" "P" "B";
-"Machine" or "P" "B";
-
-"B_Power" lambda=0.5 dorm=0;
-"P" lambda=0.5 dorm=0;
-"B" lambda=0.5 dorm=0.5;

examples/dft/fdep2.dft

@@ -1,5 +0,0 @@
-toplevel "A";
-"A" and "B" "C";
-"F" fdep "B" "C";
-"B" lambda=0.5 dorm=0;
-"C" lambda=0.5 dorm=0;

examples/dft/fdep3.dft

@@ -1,5 +0,0 @@
-toplevel "A";
-"A" and "B" "C" "F";
-"F" fdep "B" "C";
-"B" lambda=0.4 dorm=0;
-"C" lambda=0.8 dorm=0;

examples/dft/fdep4.dft

@@ -1,7 +0,0 @@
-toplevel "A";
-"A" or "F" "B";
-"F" fdep "E" "C" "D";
-"B" wsp "C" "D";
-"C" lambda=1 dorm=0;
-"D" lambda=1 dorm=0.5;
-"E" lambda=0.5 dorm=0;

examples/dft/ftpp_complex.dft

@@ -1,129 +0,0 @@
-toplevel "System";
-"System" or "triadA" "triadB" "triadC" "triadD" "fA" "fB" "fC" "fD";
-
-"triadA" 2of3 "aA" "bA" "cA";
-"aA" csp "TAA" "TAS";
-"bA" csp "TAB" "TAS";
-"cA" csp "TAC" "TAS";
-
-"triadB" 2of3 "aB" "bB" "cB";
-"aB" csp "TBA" "TBS";
-"bB" csp "TBB" "TBS";
-"cB" csp "TBC" "TBS";
-
-"triadC" 2of3 "aC" "bC" "cC";
-"aC" csp "TCA" "TCS";
-"bC" csp "TCB" "TCS";
-"cC" csp "TCC" "TCS";
-
-"triadD" 2of3 "aD" "bD" "cD";
-"aD" csp "TDA" "TDS";
-"bD" csp "TDB" "TDS";
-"cD" csp "TDC" "TDS";
-
-"fA" fdep "NEA" "TAA" "TBA" "TCA" "TDA";
-"fB" fdep "NEB" "TAB" "TBB" "TCB" "TDB";
-"fC" fdep "NEC" "TAC" "TBC" "TCC" "TDC";
-"fD" fdep "NED" "TAS" "TBS" "TCS" "TDS";
-
-
-"NEA" lambda=0.017 dorm=1;
-"NEB" lambda=0.017 dorm=1;
-"NEC" lambda=0.017 dorm=1;
-"NED" lambda=0.017 dorm=1;
-
-"TAA" or "cpuAA" "memAA";
-"memAA" csp "memAA1" "memAA2";
-"cpuAA" lambda=0.11 dorm=0;
-"memAA1" lambda=0.11 dorm=0;
-"memAA2" lambda=0.11 dorm=0;
-
-"TAB" or "cpuAB" "memAB";
-"memAB" csp "memAB1" "memAB2";
-"cpuAB" lambda=0.11 dorm=0;
-"memAB1" lambda=0.11 dorm=0;
-"memAB2" lambda=0.11 dorm=0;
-
-"TAC" or "cpuAC" "memAC";
-"memAC" csp "memAC1" "memAC2";
-"cpuAC" lambda=0.11 dorm=0;
-"memAC1" lambda=0.11 dorm=0;
-"memAC2" lambda=0.11 dorm=0;
-
-"TAS" or "cpuAS" "memAS";
-"memAS" csp "memAS1" "memAS2";
-"cpuAS" lambda=0.11 dorm=0;
-"memAS1" lambda=0.11 dorm=0;
-"memAS2" lambda=0.11 dorm=0;
-
-"TBA" or "cpuBA" "memBA";
-"memBA" csp "memBA1" "memBA2";
-"cpuBA" lambda=0.11 dorm=0;
-"memBA1" lambda=0.11 dorm=0;
-"memBA2" lambda=0.11 dorm=0;
-
-"TBB" or "cpuBB" "memBB";
-"memBB" csp "memBB1" "memBB2";
-"cpuBB" lambda=0.11 dorm=0;
-"memBB1" lambda=0.11 dorm=0;
-"memBB2" lambda=0.11 dorm=0;
-
-"TBC" or "cpuBC" "memBC";
-"memBC" csp "memBC1" "memBC2";
-"cpuBC" lambda=0.11 dorm=0;
-"memBC1" lambda=0.11 dorm=0;
-"memBC2" lambda=0.11 dorm=0;
-
-"TBS" or "cpuBS" "memBS";
-"memBS" csp "memBS1" "memBS2";
-"cpuBS" lambda=0.11 dorm=0;
-"memBS1" lambda=0.11 dorm=0;
-"memBS2" lambda=0.11 dorm=0;
-
-"TCA" or "cpuCA" "memCA";
-"memCA" csp "memCA1" "memCA2";
-"cpuCA" lambda=0.11 dorm=0;
-"memCA1" lambda=0.11 dorm=0;
-"memCA2" lambda=0.11 dorm=0;
-
-"TCB" or "cpuCB" "memCB";
-"memCB" csp "memCB1" "memCB2";
-"cpuCB" lambda=0.11 dorm=0;
-"memCB1" lambda=0.11 dorm=0;
-"memCB2" lambda=0.11 dorm=0;
-
-"TCC" or "cpuCC" "memCC";
-"memCC" csp "memCC1" "memCC2";
-"cpuCC" lambda=0.11 dorm=0;
-"memCC1" lambda=0.11 dorm=0;
-"memCC2" lambda=0.11 dorm=0;
-
-"TCS" or "cpuCS" "memCS";
-"memCS" csp "memCS1" "memCS2";
-"cpuCS" lambda=0.11 dorm=0;
-"memCS1" lambda=0.11 dorm=0;
-"memCS2" lambda=0.11 dorm=0;
-
-"TDA" or "cpuDA" "memDA";
-"memDA" csp "memDA1" "memDA2";
-"cpuDA" lambda=0.11 dorm=0;
-"memDA1" lambda=0.11 dorm=0;
-"memDA2" lambda=0.11 dorm=0;
-
-"TDB" or "cpuDB" "memDB";
-"memDB" csp "memDB1" "memDB2";
-"cpuDB" lambda=0.11 dorm=0;
-"memDB1" lambda=0.11 dorm=0;
-"memDB2" lambda=0.11 dorm=0;
-
-"TDC" or "cpuDC" "memDC";
-"memDC" csp "memDC1" "memDC2";
-"cpuDC" lambda=0.11 dorm=0;
-"memDC1" lambda=0.11 dorm=0;
-"memDC2" lambda=0.11 dorm=0;
-
-"TDS" or "cpuDS" "memDS";
-"memDS" csp "memDS1" "memDS2";
-"cpuDS" lambda=0.11 dorm=0;
-"memDS1" lambda=0.11 dorm=0;
-"memDS2" lambda=0.11 dorm=0;

examples/dft/ftpp_large.dft

@@ -1,63 +0,0 @@
-toplevel "System";
-"System" or "triadA" "triadB" "triadC" "triadD" "fA" "fB" "fC" "fD" "fE";
-
-"triadA" 3of4 "aA" "bA" "cA" "dA";
-"aA" csp "TAA" "TAS";
-"bA" csp "TAB" "TAS";
-"cA" csp "TAC" "TAS";
-"dA" csp "TAD" "TAS";
-
-"triadB" 3of4 "aB" "bB" "cB" "dB";
-"aB" csp "TBA" "TBS";
-"bB" csp "TBB" "TBS";
-"cB" csp "TBC" "TBS";
-"dB" csp "TBD" "TBS";
-
-"triadC" 3of4 "aC" "bC" "cC" "dC";
-"aC" csp "TCA" "TCS";
-"bC" csp "TCB" "TCS";
-"cC" csp "TCC" "TCS";
-"dC" csp "TCD" "TCS";
-
-"triadD" 3of4 "aD" "bD" "cD" "dD";
-"aD" csp "TDA" "TDS";
-"bD" csp "TDB" "TDS";
-"cD" csp "TDC" "TDS";
-"dD" csp "TDD" "TDS";
-
-"fA" fdep "NEA" "TAA" "TBA" "TCA" "TDA";
-"fB" fdep "NEB" "TAB" "TBB" "TCB" "TDB";
-"fC" fdep "NEC" "TAC" "TBC" "TCC" "TDC";
-"fD" fdep "NED" "TAD" "TBD" "TCD" "TDD";
-"fE" fdep "NEE" "TAS" "TBS" "TCS" "TDS";
-
-
-"NEA" lambda=0.017 dorm=1;
-"NEB" lambda=0.017 dorm=1;
-"NEC" lambda=0.017 dorm=1;
-"NED" lambda=0.017 dorm=1;
-"NEE" lambda=0.017 dorm=1;
-
-"TAA" lambda=0.11 dorm=0;
-"TAB" lambda=0.11 dorm=0;
-"TAC" lambda=0.11 dorm=0;
-"TAD" lambda=0.11 dorm=0;
-"TAS" lambda=0.11 dorm=0;
-
-"TBA" lambda=0.11 dorm=0;
-"TBB" lambda=0.11 dorm=0;
-"TBC" lambda=0.11 dorm=0;
-"TBD" lambda=0.11 dorm=0;
-"TBS" lambda=0.11 dorm=0;
-
-"TCA" lambda=0.11 dorm=0;
-"TCB" lambda=0.11 dorm=0;
-"TCC" lambda=0.11 dorm=0;
-"TCD" lambda=0.11 dorm=0;
-"TCS" lambda=0.11 dorm=0;
-
-"TDA" lambda=0.11 dorm=0;
-"TDB" lambda=0.11 dorm=0;
-"TDC" lambda=0.11 dorm=0;
-"TDD" lambda=0.11 dorm=0;
-"TDS" lambda=0.11 dorm=0;

examples/dft/ftpp_standard.dft

@@ -1,53 +0,0 @@
-toplevel "System";
-"System" or "triadA" "triadB" "triadC" "triadD" "fA" "fB" "fC" "fD";
-
-"triadA" 2of3 "aA" "bA" "cA";
-"aA" csp "TAA" "TAS";
-"bA" csp "TAB" "TAS";
-"cA" csp "TAC" "TAS";
-
-"triadB" 2of3 "aB" "bB" "cB";
-"aB" csp "TBA" "TBS";
-"bB" csp "TBB" "TBS";
-"cB" csp "TBC" "TBS";
-
-"triadC" 2of3 "aC" "bC" "cC";
-"aC" csp "TCA" "TCS";
-"bC" csp "TCB" "TCS";
-"cC" csp "TCC" "TCS";
-
-"triadD" 2of3 "aD" "bD" "cD";
-"aD" csp "TDA" "TDS";
-"bD" csp "TDB" "TDS";
-"cD" csp "TDC" "TDS";
-
-"fA" fdep "NEA" "TAA" "TBA" "TCA" "TDA";
-"fB" fdep "NEB" "TAB" "TBB" "TCB" "TDB";
-"fC" fdep "NEC" "TAC" "TBC" "TCC" "TDC";
-"fD" fdep "NED" "TAS" "TBS" "TCS" "TDS";
-
-
-"NEA" lambda=0.017 dorm=1;
-"NEB" lambda=0.017 dorm=1;
-"NEC" lambda=0.017 dorm=1;
-"NED" lambda=0.017 dorm=1;
-
-"TAA" lambda=0.11 dorm=0;
-"TAB" lambda=0.11 dorm=0;
-"TAC" lambda=0.11 dorm=0;
-"TAS" lambda=0.11 dorm=0;
-
-"TBA" lambda=0.11 dorm=0;
-"TBB" lambda=0.11 dorm=0;
-"TBC" lambda=0.11 dorm=0;
-"TBS" lambda=0.11 dorm=0;
-
-"TCA" lambda=0.11 dorm=0;
-"TCB" lambda=0.11 dorm=0;
-"TCC" lambda=0.11 dorm=0;
-"TCS" lambda=0.11 dorm=0;
-
-"TDA" lambda=0.11 dorm=0;
-"TDB" lambda=0.11 dorm=0;
-"TDC" lambda=0.11 dorm=0;
-"TDS" lambda=0.11 dorm=0;

examples/dft/mas.dft

@@ -1,58 +0,0 @@
-toplevel "MAS";
-"MAS" or "CPU" "DB" "MB" "VMB" "MEM" "VMS";
-"CPU" or "CW" "SO1" "SO2" "PG" "SM";
-"CW" and "CWA" "CWB";
-"SO1" and "SO1A" "SO1B";
-"SO2" and "SO2A" "SO2B";
-"PG" and "PGA" "PGB";
-"SM" and "SMA" "SMB";
-"CWA" csp "CWAev" "S1" "S2";
-"CWB" csp "CWBev" "S1" "S2";
-"SO1A" csp "SO1Aev" "S1" "S2";
-"SO1B" csp "SO1Bev" "S1" "S2";
-"SO2A" csp "SO2Aev" "S1" "S2";
-"SO2B" csp "SO2Bev" "S1" "S2";
-"PGA" csp "PGAev" "S1" "S2";
-"PGB" csp "PGBev" "S1" "S2";
-"SMA" csp "SMAev" "S1" "S2";
-"SMB" csp "SMBev" "S1" "S2";
-"CWAev" lambda=1.0e-6 dorm=0;
-"CWBev" lambda=1.0e-6 dorm=0;
-"SO1Aev" lambda=1.0e-6 dorm=0;
-"SO1Bev" lambda=1.0e-6 dorm=0;
-"SO2Aev" lambda=1.0e-6 dorm=0;
-"SO2Bev" lambda=1.0e-6 dorm=0;
-"PGAev" lambda=1.0e-6 dorm=0;
-"PGBev" lambda=1.0e-6 dorm=0;
-"SMAev" lambda=1.0e-6 dorm=0;
-"SMBev" lambda=1.0e-6 dorm=0;
-"S1" lambda=1.0e-6 dorm=0;
-"S2" lambda=1.0e-6 dorm=0;
-"DB" and "DB1" "DB2" "DB3";
-"DB1" lambda=5.0e-6 dorm=0;
-"DB2" lambda=5.0e-6 dorm=0;
-"DB3" lambda=5.0e-6 dorm=0;
-"MB" and "MB1" "MB2" "MB3";
-"MB1" lambda=5.0e-6 dorm=0;
-"MB2" lambda=5.0e-6 dorm=0;
-"MB3" lambda=5.0e-6 dorm=0;
-"VMB" and "VMB1" "VMB2";
-"VMB1" lambda=5.0e-6 dorm=0;
-"VMB2" lambda=5.0e-6 dorm=0;
-"MEM" and "MEM1" "MEM2";
-"MEM1" lambda=1.0e-5 dorm=0;
-"MEM2" lambda=1.0e-5 dorm=0;
-"VMS" or "VM1" "VM2";
-"VM1" and "VM1A" "VM1B";
-"VM2" and "VM2A" "VM2B";
-"VM1A" csp "VM1Aev" "VMS1" "VMS2";
-"VM1B" csp "VM1Bev" "VMS1" "VMS2";
-"VM2A" csp "VM2Aev" "VMS1" "VMS2";
-"VM2B" csp "VM2Bev" "VMS1" "VMS2";
-"VM1Aev" lambda=1.0e-6 dorm=0;
-"VM1Bev" lambda=1.0e-6 dorm=0;
-"VM2Aev" lambda=1.0e-6 dorm=0;
-"VM2Bev" lambda=1.0e-6 dorm=0;
-"VMS1" lambda=1.0e-6 dorm=0;
-"VMS2" lambda=1.0e-6 dorm=0;
-

examples/dft/mcs.dft

@@ -1,22 +0,0 @@
-toplevel "n12";
-"n12" or "n1" "n103" "n7";
-"n103" wsp "n106" "n14";
-"n7" and "n18" "n26";
-"n26" or "n28" "n19" "n23";
-"n19" wsp "n16" "n13";
-"n23" wsp "n0" "n17";
-"n18" or "n15" "n9" "n3";
-"n3" wsp "n2" "n17";
-"n9" wsp "n8" "n27";
-"n16" lambda=8.0 dorm=0.0;
-"n0" lambda=0.003 dorm=0.0;
-"n13" lambda=8.0 dorm=0.5;
-"n2" lambda=0.003 dorm=0.0;
-"n17" lambda=0.003 dorm=0.5;
-"n15" lambda=0.05 dorm=0.0;
-"n106" lambda=1.2 dorm=0.0;
-"n14" lambda=0.6 dorm=0.0;
-"n1" lambda=2.0E-4 dorm=0.0;
-"n27" lambda=8.0 dorm=0.5;
-"n8" lambda=8.0 dorm=0.0;
-"n28" lambda=0.05 dorm=0.0;

examples/dft/mdcs.dft

@@ -1,26 +0,0 @@
-toplevel "System";
-
-"System" or "S" "N";
-
-"N" lambda=2e-5 dorm=0;
-
-"S" and "CMA" "CMB";
-
-"CMA" or "DiskA" "PA" "MemA";
-"DiskA" wsp "DAA" "DAB";
-"PA" lambda=500e-5 dorm=0;
-"MemA" wsp "MA" "MC";
-"DAA" lambda=80000e-5 dorm=0.5;
-"DAB" lambda=80000e-5 dorm=0.5;
-"MA" lambda=30e-5 dorm=0;
-
-"CMB" or "DiskB" "PB" "MemB";
-"DiskB" wsp "DBA" "DBB";
-"PB" lambda=500e-5 dorm=0;
-"MemB" wsp "MB" "MC";
-"DBA" lambda=80000e-5 dorm=0.5;
-"DBB" lambda=80000e-5 dorm=0.5;
-"MB" lambda=30e-5 dorm=0;
-
-"MC" lambda=30e-5 dorm=0.5;
-

examples/dft/mdcs2.dft

@@ -1,19 +0,0 @@
-toplevel "System";
-"System" or "S" "N";
-"N" lambda=0.0000200000 dorm=0.0000000000;
-"S" and "CMA" "CMB";
-"CMA" or "DiskA" "PA" "MemA";
-"DiskA" wsp "DAA" "DAB";
-"PA" lambda=0.0049999999 dorm=0.0000000000;
-"MemA" wsp "MA" "MC";
-"DAA" lambda=0.8000000119 dorm=0.5000000000;
-"DAB" lambda=0.8000000119 dorm=0.5000000000;
-"MA" lambda=0.0003000000 dorm=0.0000000000;
-"CMB" or "DiskB" "PB" "MemB";
-"DiskB" wsp "DBA" "DBB";
-"PB" lambda=0.0049999999 dorm=0.0000000000;
-"MemB" wsp "MB" "MC";
-"DBA" lambda=0.8000000119 dorm=0.5000000000;
-"DBB" lambda=0.8000000119 dorm=0.5000000000;
-"MB" lambda=0.0003000000 dorm=0.0000000000;
-"MC" lambda=0.0003000000 dorm=0.5000000000;

examples/dft/mp.dft

@@ -1,7 +0,0 @@
-toplevel "A";
-"A" or "B" "C";
-"B" or "D" "E";
-"C" or "F" "E";
-"D" lambda=0.1 dorm=0;
-"E" lambda=0.2 dorm=0;
-"F" lambda=0.3 dorm=0;

examples/dft/nonmonoton.dft

@@ -1,6 +0,0 @@
-toplevel "A";
-"A" or "B" "Z";
-"B" pand "D" "S";
-"Z" lambda=1 dorm=0;
-"D" lambda=100 dorm=0;
-"S" lambda=50 dorm=0;

examples/dft/nonmonoton_param.dft

@@ -1,8 +0,0 @@
-param x;
-param y;
-toplevel "A";
-"A" or "B" "Z";
-"Z" pand "C" "D";
-"B" lambda=y dorm=0;
-"C" lambda=100 dorm=0;
-"D" lambda=100*x dorm=0;

examples/dft/or.dft

@@ -1,4 +0,0 @@
-toplevel "A";
-"A" or "B" "C";
-"B" lambda=0.5 dorm=0.3;
-"C" lambda=0.5 dorm=0.3;

examples/dft/pand.dft

@@ -1,4 +0,0 @@
-toplevel "A";
-"A" pand "B" "C";
-"B" lambda=0.4 dorm=0.3;
-"C" lambda=0.2 dorm=0.3;

examples/dft/pand_param.dft

@@ -1,6 +0,0 @@
-param x;
-param y;
-toplevel "A";
-"A" pand "B" "C";
-"B" lambda=x dorm=0.3;
-"C" lambda=y dorm=0.3;

examples/dft/pdep.dft

@@ -1,12 +0,0 @@
-// From Junges2015
-// Example 3.19
-
-toplevel "SF";
-"SF" or "A" "B" "PDEP";
-"A" pand "S" "MA";
-"B" and "MA" "MB";
-"PDEP" pdep=0.2 "MA" "S";
-
-"S" lambda=0.5 dorm=0;
-"MA" lambda=0.5 dorm=0;
-"MB" lambda=0.5 dorm=0;

examples/dft/pdep2.dft

@@ -1,9 +0,0 @@
-toplevel "SF";
-"SF" or "A" "B" "PDEP";
-"A" pand "S" "MA";
-"B" and "MA" "MB";
-"PDEP" pdep=0.2 "MA" "S" "MB";
-
-"S" lambda=0.5 dorm=0;
-"MA" lambda=0.5 dorm=0;
-"MB" lambda=0.5 dorm=0;

examples/dft/pdep3.dft

@@ -1,5 +0,0 @@
-toplevel "A";
-"A" and "B" "C" "F";
-"F" pdep=0.3 "B" "C";
-"B" lambda=0.4 dorm=0;
-"C" lambda=0.8 dorm=0;

examples/dft/pdep4.dft

@@ -1,7 +0,0 @@
-toplevel "SF";
-"SF" pand "S" "A" "B";
-"PDEP" pdep=0.2 "S" "A" "B";
-
-"S" lambda=0.5 dorm=0;
-"A" lambda=0.5 dorm=0;
-"B" lambda=0.5 dorm=0;

examples/dft/pdep_symmetry.dft

@@ -1,11 +0,0 @@
-toplevel "A";
-"A" and "B" "B'";
-"B" and "C" "D" "PDEP";
-"B'" and "C'" "D'" "PDEP'";
-"PDEP" pdep=0.6 "C" "D";
-"PDEP'" pdep=0.6 "C'" "D'";
-"C" lambda=0.5 dorm=0;
-"D" lambda=0.5 dorm=0;
-"C'" lambda=0.5 dorm=0;
-"D'" lambda=0.5 dorm=0;
-

examples/dft/por.dft

@@ -1,5 +0,0 @@
-toplevel "A";
-"A" por "B" "C" "D";
-"B" lambda=0.4 dorm=0.0;
-"C" lambda=0.2 dorm=0.0;
-"D" lambda=0.2 dorm=0.0;

examples/dft/seq.dft

@@ -1,5 +0,0 @@
-toplevel "A";
-"A" and "B" "C";
-"X" seq "B" "C"
-"B" lambda=0.5 dorm=0.3;
-"C" lambda=0.5 dorm=0.3;

examples/dft/seq2.dft

@@ -1,6 +0,0 @@
-toplevel "A";
-"A" and "B" "C" "D";
-"X" seq "B" "C" "D";
-"B" lambda=0.5 dorm=0.3;
-"C" lambda=0.5 dorm=0.3;
-"D" lambda=0.5 dorm=0.3;

examples/dft/seq3.dft

@@ -1,6 +0,0 @@
-toplevel "A";
-"A" and "C" "D";
-"X" seq "B" "C" "D";
-"B" lambda=0.5 dorm=0.3;
-"C" lambda=0.5 dorm=0.3;
-"D" lambda=0.5 dorm=0.3;

examples/dft/seq4.dft

@@ -1,7 +0,0 @@
-toplevel "A";
-"A" and "T1" "B3";
-"T1" or "B1" "B2";
-"X" seq "B1" "B2" "B3";
-"B1" lambda=0.5 dorm=0.3;
-"B2" lambda=0.5 dorm=0.3;
-"B3" lambda=0.5 dorm=0.3;

examples/dft/seq5.dft

@@ -1,9 +0,0 @@
-toplevel "A";
-"A" and "T1" "T2";
-"T1" pand "B1" "B2"; 
-"T2" pand "B3" "B4";
-"X" seq "B4" "B3";
-"B1" lambda=0.7 dorm=0.3;
-"B2" lambda=0.5 dorm=0.3;
-"B3" lambda=0.5 dorm=0.3;
-"B4" lambda=0.7 dorm=0.3;

examples/dft/spare.dft

@@ -1,5 +0,0 @@
-toplevel "A";
-"A" wsp "I" "M";
-"I" lambda=0.5 dorm=0.3;
-"M" lambda=0.5 dorm=0.3;
-

examples/dft/spare2.dft

@@ -1,8 +0,0 @@
-toplevel "A";
-"A" or "B" "C";
-"B" wsp "I" "J";
-"C" wsp "M" "J";
-"I" lambda=0.5 dorm=0.3;
-"J" lambda=0.5 dorm=0.3;
-"M" lambda=0.5 dorm=0.3;
-

examples/dft/spare3.dft

@@ -1,10 +0,0 @@
-toplevel "A";
-"A" or "B" "C" "D";
-"B" wsp "I" "M";
-"C" wsp "J" "M";
-"D" wsp "K" "M";
-"I" lambda=0.5 dorm=0.3;
-"J" lambda=0.5 dorm=0.3;
-"K" lambda=0.5 dorm=0.3;
-"M" lambda=0.5 dorm=0.3;
-

examples/dft/spare4.dft

@@ -1,9 +0,0 @@
-toplevel "A";
-"A" and "B" "C";
-"B" wsp "I" "J" "K";
-"C" wsp "M" "J";
-"I" lambda=0.5 dorm=0.3;
-"J" lambda=0.5 dorm=0.3;
-"K" lambda=0.5 dorm=0.3;
-"M" lambda=0.5 dorm=0.3;
-

examples/dft/spare5.dft

@@ -1,9 +0,0 @@
-toplevel "A";
-"A" wsp "I" "B";
-"B" or "C" "J";
-"C" or "K" "L";
-"I" lambda=0.5 dorm=0;
-"J" lambda=0.5 dorm=0;
-"K" lambda=0.5 dorm=0;
-"L" lambda=0.5 dorm=0;
-

examples/dft/spare6.dft

@@ -1,7 +0,0 @@
-toplevel "A";
-"A" or "I" "B";
-"B" wsp "J" "M";
-"I" lambda=0.5 dorm=0.5;
-"J" lambda=0.5 dorm=0.5;
-"M" lambda=0.5 dorm=0.5;
-

examples/dft/spare7.dft

@@ -1,5 +0,0 @@
-toplevel "A";
-"A" wsp "K" "J" "I";
-"I" lambda=0.5 dorm=0.5;
-"J" lambda=1 dorm=0.5;
-"K" lambda=0.5 dorm=0.5;

examples/dft/spare8.dft

@@ -1,7 +0,0 @@
-toplevel "A";
-"A" wsp "I" "B";
-"B" wsp "J" "K";
-"I" lambda=0.5 dorm=0.3;
-"J" lambda=0.5 dorm=0.3;
-"K" lambda=0.5 dorm=0.3;
-

examples/dft/spare_cold.dft

@@ -1,5 +0,0 @@
-toplevel "A";
-"A" wsp "I" "M";
-"I" lambda=0.5 dorm=0.0;
-"M" lambda=0.5 dorm=0.0;
-

examples/dft/spare_param.dft

@@ -1,9 +0,0 @@
-param x;
-param y;
-toplevel "SF";
-"SF" or "FW" "BW";
-"FW" wsp "W1" "WS";
-"BW" wsp "W2" "WS";
-"W1" lambda=x dorm=0;
-"W2" lambda=1 dorm=0;
-"WS" lambda=y dorm=0;

examples/dft/spare_symmetry.dft

@@ -1,9 +0,0 @@
-toplevel "A";
-"A" and "B" "C";
-"B" wsp "I" "J";
-"C" wsp "K" "L";
-"I" lambda=0.5 dorm=0.3;
-"J" lambda=0.5 dorm=0.3;
-"K" lambda=0.5 dorm=0.3;
-"L" lambda=0.5 dorm=0.3;
-

examples/dft/symmetry.dft

@@ -1,8 +0,0 @@
-toplevel "A";
-"A" and "B" "B'";
-"B" and "C" "D";
-"B'" and "C'" "D'";
-"C" lambda=0.5 dorm=0;
-"D" lambda=0.5 dorm=0;
-"C'" lambda=0.5 dorm=0;
-"D'" lambda=0.5 dorm=0;

examples/dft/symmetry2.dft

@@ -1,8 +0,0 @@
-toplevel "A";
-"A" and "B" "B'";
-"B" and "C" "D";
-"B'" and "C'" "D'";
-"C" lambda=0.5 dorm=0;
-"D" lambda=2 dorm=0;
-"C'" lambda=0.5 dorm=0;
-"D'" lambda=2 dorm=0;

examples/dft/symmetry3.dft

@@ -1,12 +0,0 @@
-toplevel "A";
-"A" and "B" "B'" "B''";
-"B" and "C" "D";
-"B'" and "C'" "D'";
-"B''" and "C''" "D''";
-"C" lambda=0.5 dorm=0;
-"D" lambda=0.5 dorm=0;
-"C'" lambda=0.5 dorm=0;
-"D'" lambda=0.5 dorm=0;
-"C''" lambda=0.5 dorm=0;
-"D''" lambda=0.5 dorm=0;
-

examples/dft/symmetry4.dft

@@ -1,12 +0,0 @@
-toplevel "A";
-"A" and "B" "B'" "C" "C'";
-"B" and "D" "E";
-"B'" and "D'" "E'";
-"C" or "F";
-"C'" or "F'";
-"D" lambda=0.5 dorm=0;
-"E" lambda=0.5 dorm=0;
-"D'" lambda=0.5 dorm=0;
-"E'" lambda=0.5 dorm=0;
-"F" lambda=0.5 dorm=0;
-"F'" lambda=0.5 dorm=0;

examples/dft/symmetry5.dft

@@ -1,21 +0,0 @@
-toplevel "A";
-"A" and "BA" "BB" "BC" "BD" "BE" "BF";
-"BA" and "CA" "DA";
-"BB" and "CB" "DB";
-"BC" and "CC" "DC";
-"BD" and "CD" "DD";
-"BE" and "CE" "DE";
-"BF" and "CF" "DF";
-"CA" lambda=0.5 dorm=0;
-"DA" lambda=0.5 dorm=0;
-"CB" lambda=0.5 dorm=0;
-"DB" lambda=0.5 dorm=0;
-"CC" lambda=0.5 dorm=0;
-"DC" lambda=0.5 dorm=0;
-"CD" lambda=0.5 dorm=0;
-"DD" lambda=0.5 dorm=0;
-"CE" lambda=0.5 dorm=0;
-"DE" lambda=0.5 dorm=0;
-"CF" lambda=0.5 dorm=0;
-"DF" lambda=0.5 dorm=0;
-

examples/dft/symmetry_param.dft

@@ -1,10 +0,0 @@
-param x;
-param y;
-toplevel "A";
-"A" and "B" "B'";
-"B" and "C" "D";
-"B'" and "C'" "D'";
-"C" lambda=x dorm=0;
-"D" lambda=y dorm=0;
-"C'" lambda=x dorm=0;
-"D'" lambda=y dorm=0;

examples/dft/symmetry_shared.dft

@@ -1,7 +0,0 @@
-toplevel "A";
-"A" and "B" "B'";
-"B" wsp "C" "D";
-"B'" wsp "C'" "D";
-"C" lambda=0.5 dorm=0;
-"D" lambda=0.5 dorm=0;
-"C'" lambda=0.5 dorm=0;

examples/dft/tripple_and1.dft

@@ -1,8 +0,0 @@
-toplevel "A";
-"A" and "B" "C";
-"B" and "BE1" "BE2";
-"C" and "BE3" "BE4";
-"BE1" lambda=0.5 dorm=0.3;
-"BE2" lambda=0.5 dorm=0.3;
-"BE3" lambda=0.5 dorm=0.3;
-"BE4" lambda=0.5 dorm=0.3;

examples/dft/tripple_and2.dft

@@ -1,8 +0,0 @@
-toplevel "A";
-"A" and "B" "C";
-"B" and "BE1" "BE2";
-"C" and "BE2" "BE3";
-"BE1" lambda=0.5 dorm=0.3;
-"BE2" lambda=0.5 dorm=0.3;
-"BE3" lambda=0.5 dorm=0.3;
-

examples/dft/tripple_and2_c.dft

@@ -1,6 +0,0 @@
-toplevel "A";
-"A" and "BE1" "BE2" "BE3";
-"BE1" lambda=0.5 dorm=3;
-"BE2" lambda=0.5 dorm=3;
-"BE3" lambda=0.5 dorm=3;
-

examples/dft/tripple_and_c.dft

@@ -1,7 +0,0 @@
-toplevel "A";
-"A" and "BE1" "BE2" "BE3" "BE4";
-"BE1" lambda=0.5 dorm=3;
-"BE2" lambda=0.5 dorm=3;
-"BE3" lambda=0.5 dorm=3;
-"BE4" lambda=0.5 dorm=3;
-

examples/dft/tripple_or.dft

@@ -1,9 +0,0 @@
-toplevel "A";
-"A" or "B" "C";
-"B" or "BE1" "BE2";
-"C" or "BE3" "BE4";
-"BE1" lambda=0.5 dorm=3;
-"BE2" lambda=0.5 dorm=3;
-"BE3" lambda=0.5 dorm=3;
-"BE4" lambda=0.5 dorm=3;
-

examples/dft/tripple_or2.dft

@@ -1,8 +0,0 @@
-toplevel "A";
-"A" or "B" "C";
-"B" or "BE1" "BE2";
-"C" or "BE2" "BE3";
-"BE1" lambda=0.5 dorm=3;
-"BE2" lambda=0.5 dorm=3;
-"BE3" lambda=0.5 dorm=3;
-

examples/dft/tripple_or2_c.dft

@@ -1,6 +0,0 @@
-toplevel "A";
-"A" or "BE1" "BE2" "BE3";
-"BE1" lambda=0.5 dorm=3;
-"BE2" lambda=0.5 dorm=3;
-"BE3" lambda=0.5 dorm=3;
-

examples/dft/tripple_or_c.dft

@@ -1,7 +0,0 @@
-toplevel "A";
-"A" or "BE1" "BE2" "BE3" "BE4";
-"BE1" lambda=0.5 dorm=3;
-"BE2" lambda=0.5 dorm=3;
-"BE3" lambda=0.5 dorm=3;
-"BE4" lambda=0.5 dorm=3;
-

examples/dft/tripple_pand.dft

@@ -1,9 +0,0 @@
-toplevel "A";
-"A" pand "B" "BE4";
-"B" pand "C" "BE3";
-"C" pand "BE1" "BE2";
-"BE1" lambda=0.5 dorm=3;
-"BE2" lambda=0.5 dorm=3;
-"BE3" lambda=0.5 dorm=3;
-"BE4" lambda=0.5 dorm=3;
-

examples/dft/tripple_pand2.dft

@@ -1,8 +0,0 @@
-toplevel "A";
-"A" pand "B" "C";
-"B" pand "BE1" "BE2";
-"C" pand "BE2" "BE3";
-"BE1" lambda=0.5 dorm=3;
-"BE2" lambda=0.5 dorm=3;
-"BE3" lambda=0.5 dorm=3;
-

examples/dft/tripple_pand2_c.dft

@@ -1,6 +0,0 @@
-toplevel "A";
-"A" pand "BE1" "BE2" "BE3";
-"BE1" lambda=0.5 dorm=3;
-"BE2" lambda=0.5 dorm=3;
-"BE3" lambda=0.5 dorm=3;
-

examples/dft/tripple_pand_c.dft

@@ -1,7 +0,0 @@
-toplevel "A";
-"A" pand "BE1" "BE2" "BE3" "BE4";
-"BE1" lambda=0.5 dorm=3;
-"BE2" lambda=0.5 dorm=3;
-"BE3" lambda=0.5 dorm=3;
-"BE4" lambda=0.5 dorm=3;
-

examples/dft/voting.dft

@@ -1,5 +0,0 @@
-toplevel "A";
-"A" 1of3 "B" "C" "D";
-"B" lambda=0.1 dorm=0;
-"C" lambda=0.2 dorm=0;
-"D" lambda=0.3 dorm=0;

examples/dft/voting2.dft

@@ -1,5 +0,0 @@
-toplevel "A";
-"A" 1of3 "B" "C" "D";
-"B" lambda=0.3 dorm=0;
-"C" lambda=0.4 dorm=0;
-"D" lambda=1 dorm=0;