Instances solved by orSAT
QBFEVAL'04

InstanceResultTime
TOILET2.1.iv.3UNSAT0
toilet_g_04_01.2SAT0
k_lin_n-1SAT0
impl02SAT0
flipflop-3-cUNSAT0
toilet_g_06_01.2SAT0.01
z4ml.blif_0.10_1.00_0_0_out_exactUNSAT0.01
MB3qbf-5cnf-150var-1200cl.2UNSAT0.01
toilet_g_02_01.2SAT0.01
MB5qbf-5cnf-50var-900cl.2UNSAT0.01
z4ml.blif_0.10_1.00_0_1_out_exactSAT0.01
MB5qbf-5cnf-100var-1200cl.1UNSAT0.01
MB3qbf-5cnf-50var-300cl.1UNSAT0.01
mutex-4-sSAT0.01
k_ph_n-1SAT0.01
MB3qbf-5cnf-50var-500cl.1UNSAT0.01
MB3qbf-5cnf-50var-500cl.2UNSAT0.01
MB3qbf-5cnf-50var-400cl.2UNSAT0.01
MB3qbf-5cnf-50var-600cl.1UNSAT0.01
MB3qbf-5cnf-50var-600cl.2UNSAT0.01
MB3qbf-5cnf-50var-700cl.1UNSAT0.01
MB3qbf-5cnf-50var-700cl.2UNSAT0.01
MB3qbf-5cnf-50var-800cl.1UNSAT0.01
MB3qbf-5cnf-50var-800cl.2UNSAT0.01
z4ml.blif_0.10_1.00_0_1_inp_exactSAT0.01
mutex-2-sSAT0.01
MB3qbf-5cnf-100var-800cl.2UNSAT0.01
z4ml.blif_0.10_0.20_0_1_inp_exactSAT0.01
TOILET2.1.iv.4SAT0.01
MB3qbf-5cnf-100var-1000cl.2UNSAT0.01
MB5qbf-5cnf-50var-800cl.1UNSAT0.01
MB3qbf-5cnf-100var-600cl.2UNSAT0.01
MB5qbf-5cnf-50var-800cl.2UNSAT0.01
MB5qbf-5cnf-50var-900cl.1UNSAT0.01
MB3qbf-5cnf-100var-800cl.1UNSAT0.01
z4ml.blif_0.10_0.20_0_1_out_exactSAT0.01
MB5qbf-5cnf-100var-1400cl.1UNSAT0.02
MB5qbf-5cnf-100var-1400cl.2UNSAT0.02
MB5qbf-5cnf-100var-1600cl.2UNSAT0.02
MB3qbf-5cnf-100var-1200cl.2UNSAT0.02
MB3qbf-5cnf-100var-1400cl.2UNSAT0.02
MB3qbf-5cnf-100var-1600cl.1UNSAT0.02
MB3qbf-5cnf-150var-2100cl.1UNSAT0.02
MB3qbf-5cnf-100var-1200cl.1UNSAT0.02
MB3qbf-5cnf-100var-1600cl.2UNSAT0.02
MB3qbf-5cnf-150var-900cl.2UNSAT0.02
MB3qbf-5cnf-150var-900cl.1UNSAT0.02
MB3qbf-5cnf-50var-900cl.2UNSAT0.02
lognBWLARGEB0FAIL0.02
lognBWLARGEA0FAIL0.02
MB3qbf-5cnf-100var-600cl.1UNSAT0.02
MB5qbf-5cnf-150var-1800cl.2UNSAT0.02
MB3qbf-5cnf-150var-1200cl.1UNSAT0.02
MB3qbf-5cnf-150var-1500cl.2UNSAT0.02
MB3qbf-5cnf-150var-1800cl.2UNSAT0.02
z4ml.blif_0.10_0.20_0_0_out_exactUNSAT0.02
MB3qbf-5cnf-100var-1400cl.1UNSAT0.02
MB3qbf-5cnf-50var-900cl.1UNSAT0.02
MB5qbf-5cnf-100var-1800cl.1UNSAT0.02
MB3qbf-5cnf-150var-2700cl.1UNSAT0.03
mutex-8-sSAT0.03
MB3qbf-5cnf-150var-2100cl.2UNSAT0.03
toilet_c_06_05.4SAT0.03
s641_d2_sFAIL0.03
C499.blif_0.10_1.00_0_1_out_exactSAT0.03
MB3qbf-5cnf-150var-1500cl.1UNSAT0.03
MB3qbf-5cnf-150var-2700cl.2UNSAT0.03
MB5qbf-5cnf-100var-1800cl.2UNSAT0.03
MB3qbf-5cnf-150var-1800cl.1UNSAT0.03
MB3qbf-5cnf-100var-1800cl.1UNSAT0.03
toilet_c_04_01.6UNSAT0.03
toilet_g_08_01.2SAT0.03
MB5qbf-5cnf-100var-1200cl.2UNSAT0.03
MB5qbf-5cnf-150var-1800cl.1UNSAT0.03
MB5qbf-5cnf-150var-2100cl.2UNSAT0.03
MB3qbf-5cnf-100var-1000cl.1UNSAT0.03
MB5qbf-5cnf-150var-2100cl.1UNSAT0.03
MB3qbf-5cnf-100var-1800cl.2UNSAT0.03
MB5qbf-5cnf-100var-1600cl.1UNSAT0.03
MB5qbf-5cnf-150var-2400cl.1UNSAT0.03
MB3qbf-5cnf-150var-2400cl.2UNSAT0.03
MB5qbf-5cnf-150var-2700cl.1UNSAT0.04
MB3qbf-5cnf-150var-2400cl.1UNSAT0.04
z4ml.blif_0.10_1.00_0_0_inp_exactUNSAT0.04
MB5qbf-5cnf-150var-2700cl.2UNSAT0.04
MB5qbf-5cnf-150var-2400cl.2UNSAT0.04
mutex-16-sSAT0.06
z4ml.blif_0.10_0.20_0_0_inp_exactUNSAT0.06
s641_d3_sFAIL0.06
cnt02SAT0.09
robots_1_5_5_29.1SAT0.12
robots_1_5_4_78.1SAT0.13
s641_d5_sFAIL0.14
cf_4_5x4_d_UNSAT0.14
mutex-32-sSAT0.17
s641_d6_sFAIL0.18
impl06SAT0.18
s3271_d2_sFAIL0.2
s641_d7_uFAIL0.22
C432.blif_0.10_1.00_0_1_out_exactSAT0.22
toilet_a_08_01.3UNSAT0.24
cf_4_5x5_d_UNSAT0.24
s641_d8_uFAIL0.27
toilet_a_06_01.5UNSAT0.29
s641_d10_uFAIL0.35
cf_4_6x5_d_UNSAT0.37
cf_6_6x6_d_UNSAT0.4
s641_d11_uFAIL0.41
cf_5_5x7_d_UNSAT0.45
cf_5_7x5_d_UNSAT0.47
cf_2_4x8_d_UNSAT0.52
toilet_c_10_01.3UNSAT0.56
C432.blif_0.10_1.00_0_1_inp_exactSAT0.62
toilet_g_10_01.2SAT0.69
cf_5_7x6_d_UNSAT0.71
cf_7_7x7_d_UNSAT0.72
cf_4_6x7_d_UNSAT0.79
toilet_c_10_05.10SAT0.86
cf_4_5x9_d_UNSAT0.9
s3271_d5_sFAIL0.96
mutex-64-sSAT0.98
cf_7_8x7_d_UNSAT1.04
cf_3_9x5_d_UNSAT1.06
tree-exa2-15UNSAT1.09
cf_6_8x7_d_UNSAT1.24
cf_7_7x9_d_UNSAT1.36
cnt02eSAT1.4
vonNeumann-ripple-carry-5-cUNSAT1.45
cf_8_8x9_d_UNSAT1.67
cf_9_9x9_d_UNSAT1.93
cf_6_8x9_d_UNSAT2.27
impl08SAT2.3
cf_8_9x9_d_UNSAT2.36
cf_7_9x9_d_UNSAT2.7
cf_3_8x9_d_UNSAT2.83
s3271_d15_sFAIL3.26
vonNeumann-ripple-carry-14-cFAIL3.41
s3271_d12_sFAIL4.03
mutex-128-sSAT4.35
s3271_d18_uFAIL7.99
s3271_d19_uFAIL8.78
s3271_d20_uFAIL9.6
toilet_a_06_05.2UNSAT10.84
s3271_d22_uFAIL11.47
toilet_g_15_01.2SAT11.58
tree-exa10-30FAIL12.32
tree-exa10-25FAIL14.59
s27_d2_sSAT15.49
toilet_c_06_01.9UNSAT15.96
tree-exa2-35FAIL21.81
comp.blif_0.10_1.00_0_1_inp_exactSAT22.07
tree-exa2-25FAIL22.15
tree-exa2-40FAIL22.18
tree-exa2-30FAIL22.51
tree-exa2-45FAIL24.74
k_t4p_p-1FAIL45.61
k_ph_n-3FAIL53.89
vonNeumann-ripple-carry-7-cUNSAT54.33
k_ph_p-3FAIL57.06
BLOCKS3iii.5FAIL58.05
k_t4p_n-2FAIL61.34
k_d4_p-3FAIL64.05
k_d4_n-6FAIL68.04
TOILET16.1.iv.32FAIL70.57
k_t4p_p-4FAIL82.03
k_d4_n-8FAIL87.39
k_d4_p-6FAIL88.43
k_dum_p-1FAIL89.95
k_dum_n-1FAIL90.7
k_d4_n-9FAIL96.38
k_d4_p-7FAIL96.98
k_t4p_p-10FAIL103.17
k_dum_n-3FAIL110.09
TOILET6.1.iv.11FAIL112.79
k_t4p_n-5FAIL115.13
TOILET7.1.iv.13FAIL117.42
k_dum_p-6FAIL117.51
k_lin_p-1FAIL118.41
TOILET6.1.iv.12FAIL119.61
k_dum_n-4FAIL121.15
TOILET7.1.iv.14FAIL121.78
k_dum_n-5FAIL129.32
term1.blif_0.10_0.20_0_1_inp_exactSAT130.57
k_d4_n-12FAIL135.01
toilet_c_08_01.13FAIL139.42
k_dum_n-6FAIL142.06
toilet_g_20_01.2FAIL142.21
k_t4p_p-12FAIL145.19
k_d4_p-13FAIL147.68
k_d4_n-13FAIL148.11
k_d4_p-14FAIL154.39
k_dum_n-8FAIL157.33
BLOCKS3i.4.4FAIL162.28
k_d4_n-14FAIL163.57
k_t4p_p-15FAIL170.39
toilet_a_10_05.3FAIL173.13
k_d4_p-16FAIL174.18
k_d4_n-15FAIL176.46
toilet_a_08_01.16FAIL176.66
k_d4_p-17FAIL191.27
k_t4p_p-16FAIL200.7
k_d4_n-16FAIL208.95
toilet_a_10_01.4FAIL233.56
k_d4_p-19FAIL245.08
BLOCKS3ii.4.3FAIL256.52
k_dum_n-16FAIL257.19
BLOCKS3i.5.3FAIL260.52
k_dum_n-18FAIL283.73
k_path_n-1FAIL294.63
toilet_a_10_01.7FAIL307.4
k_t4p_p-18FAIL323.94
k_t4p_p-19FAIL334.14
k_ph_n-4FAIL364.85
k_branch_n-1FAIL369
impl12SAT400.01
toilet_a_10_01.15FAIL403.12
s27_d3_uFAIL450.85
k_dum_p-8FAIL457.34
toilet_c_10_05.4FAIL461.67
k_t4p_n-14FAIL477.62
k_t4p_n-13FAIL512.97
BLOCKS3ii.5.3FAIL519.68
k_grz_p-19FAIL521.67
flipflop-8-cFAIL531.25
k_t4p_n-15FAIL537.3
term1.blif_0.10_1.00_0_1_inp_exactSAT542.63
s27_d4_uFAIL547.65
k_grz_p-10FAIL555.45
k_grz_n-18FAIL556.68
k_dum_p-11FAIL580.86
k_grz_n-12FAIL589.2
k_grz_n-3FAIL593.87
k_grz_n-2FAIL613.49
k_lin_n-2FAIL622.05
k_t4p_n-17FAIL635.73
s27_d5_uFAIL636.71
MB2qbf-5cnf-50var-800cl.2FAIL659.51
k_grz_n-13FAIL663.24
k_grz_p-4FAIL679.85
k_dum_p-15FAIL723.85
k_t4p_n-19FAIL734.17
k_dum_p-16FAIL782.89
k_dum_p-17FAIL799.54
MB2qbf-5cnf-150var-2700cl.2FAIL815.68
MB2qbf-5cnf-50var-900cl.2FAIL853.03
k_t4p_n-18FAIL869.16
MB4qbf-5cnf-50var-200cl.2FAIL880.47
flipflop-9-cFAIL884.3
2qbf-5cnf-100var-400cl.2FAIL901
2qbf-5cnf-150var-1800cl.2FAIL901
2qbf-5cnf-150var-1500cl.1FAIL901
MB4qbf-5cnf-150var-2400cl.2FAIL901
MB4qbf-5cnf-150var-2400cl.1FAIL901
2qbf-5cnf-100var-1800cl.1FAIL901
2qbf-5cnf-100var-200cl.1FAIL901
2qbf-5cnf-150var-1200cl.1FAIL901
MB4qbf-5cnf-100var-1600cl.2FAIL901
MB4qbf-5cnf-150var-300cl.1FAIL901
MB4qbf-5cnf-150var-600cl.2FAIL901
2qbf-5cnf-150var-1200cl.2FAIL901
MB4qbf-5cnf-150var-2700cl.1FAIL901
2qbf-5cnf-100var-800cl.1FAIL901
2qbf-5cnf-100var-600cl.2FAIL901
2qbf-5cnf-100var-400cl.1FAIL901
2qbf-5cnf-150var-2100cl.2FAIL901
2qbf-5cnf-150var-2100cl.1FAIL901
2qbf-5cnf-150var-2400cl.2FAIL901
3qbf-5cnf-100var-1000cl.2FAIL901
3qbf-5cnf-100var-1000cl.1FAIL901
3qbf-5cnf-100var-1200cl.2FAIL901
3qbf-5cnf-100var-1400cl.2FAIL901
3qbf-5cnf-100var-1800cl.2FAIL901
3qbf-5cnf-100var-200cl.2FAIL901
3qbf-5cnf-100var-600cl.1FAIL901
MB4qbf-5cnf-100var-800cl.1FAIL901
MB4qbf-5cnf-100var-400cl.2FAIL901
MB4qbf-5cnf-100var-1400cl.1FAIL901
MB4qbf-5cnf-100var-1200cl.2FAIL901
MB4qbf-5cnf-100var-1000cl.2FAIL901
MB3qbf-5cnf-50var-400cl.1FAIL901
2qbf-5cnf-50var-900cl.1FAIL901
2qbf-5cnf-50var-700cl.2FAIL901
2qbf-5cnf-50var-700cl.1FAIL901
2qbf-5cnf-150var-2700cl.2FAIL901
2qbf-5cnf-150var-300cl.1FAIL901
MB4qbf-5cnf-100var-800cl.2FAIL901
2qbf-5cnf-150var-300cl.2FAIL901
2qbf-5cnf-150var-900cl.1FAIL901
2qbf-5cnf-150var-900cl.2FAIL901
2qbf-5cnf-50var-100cl.2FAIL901
2qbf-5cnf-50var-200cl.2FAIL901
2qbf-5cnf-50var-300cl.2FAIL901
2qbf-5cnf-50var-400cl.1FAIL901
2qbf-5cnf-50var-500cl.2FAIL901
2qbf-5cnf-50var-600cl.1FAIL901
2qbf-5cnf-50var-600cl.2FAIL901
2qbf-5cnf-150var-600cl.2FAIL901
s1269_d5_sFAIL901
MB5qbf-5cnf-150var-900cl.1FAIL901
s3330_d6_sFAIL901
s3330_d3_sFAIL901
s386_d9_uFAIL901
MB5qbf-5cnf-150var-600cl.2FAIL901
MB5qbf-5cnf-150var-300cl.2FAIL901
MB5qbf-5cnf-150var-300cl.1FAIL901
s386_d12_uFAIL901
MB5qbf-5cnf-150var-1500cl.1FAIL901
s386_d10_uFAIL901
s499_d7_sFAIL901
s499_d14_sFAIL901
MB5qbf-5cnf-50var-100cl.1FAIL901
MB5qbf-5cnf-50var-100cl.2FAIL901
s298_d17_sFAIL901
s298_d21_uFAIL901
3qbf-5cnf-150var-1500cl.2FAIL901
5qbf-5cnf-150var-300cl.2FAIL901
MB5qbf-5cnf-50var-700cl.2FAIL901
MB5qbf-5cnf-50var-700cl.1FAIL901
MB5qbf-5cnf-50var-500cl.2FAIL901
MB5qbf-5cnf-50var-500cl.1FAIL901
MB5qbf-5cnf-50var-400cl.2FAIL901
MB5qbf-5cnf-50var-400cl.1FAIL901
MB5qbf-5cnf-50var-300cl.2FAIL901
MB5qbf-5cnf-50var-300cl.1FAIL901
s499_d10_sFAIL901
MB5qbf-5cnf-150var-1200cl.2FAIL901
s499_d3_sFAIL901
MB4qbf-5cnf-50var-300cl.1FAIL901
s820_d9_sFAIL901
MB4qbf-5cnf-150var-900cl.2FAIL901
s820_d12_uFAIL901
s820_d14_uFAIL901
s820_d3_sFAIL901
2qbf-5cnf-100var-1000cl.1FAIL901
2qbf-5cnf-100var-1400cl.2FAIL901
2qbf-5cnf-100var-1400cl.1FAIL901
s713_d10_uFAIL901
2qbf-5cnf-100var-1600cl.2FAIL901
2qbf-5cnf-100var-1600cl.1FAIL901
MB4qbf-5cnf-50var-400cl.2FAIL901
s713_d8_uFAIL901
MB5qbf-5cnf-100var-800cl.1FAIL901
MB5qbf-5cnf-100var-400cl.1FAIL901
s510_d49_uFAIL901
MB5qbf-5cnf-100var-200cl.1FAIL901
MB5qbf-5cnf-100var-1000cl.2FAIL901
MB4qbf-5cnf-50var-900cl.2FAIL901
MB4qbf-5cnf-50var-800cl.2FAIL901
MB4qbf-5cnf-50var-700cl.2FAIL901
MB4qbf-5cnf-50var-700cl.1FAIL901
MB4qbf-5cnf-50var-600cl.2FAIL901
MB4qbf-5cnf-50var-500cl.2FAIL901
MB4qbf-5cnf-50var-500cl.1FAIL901
2qbf-5cnf-100var-1800cl.2FAIL901
MB3qbf-5cnf-50var-200cl.2FAIL901
MB3qbf-5cnf-100var-400cl.1FAIL901
4qbf-5cnf-50var-800cl.2FAIL901
4qbf-5cnf-50var-900cl.2FAIL901
5qbf-5cnf-100var-1000cl.2FAIL901
5qbf-5cnf-100var-1200cl.2FAIL901
5qbf-5cnf-100var-1200cl.1FAIL901
5qbf-5cnf-100var-1600cl.1FAIL901
5qbf-5cnf-100var-1800cl.1FAIL901
5qbf-5cnf-100var-200cl.1FAIL901
5qbf-5cnf-100var-400cl.2FAIL901
5qbf-5cnf-100var-600cl.1FAIL901
MB2qbf-5cnf-150var-2400cl.2FAIL901
MB2qbf-5cnf-150var-1800cl.1FAIL901
4qbf-5cnf-50var-800cl.1FAIL901
MB2qbf-5cnf-150var-2700cl.1FAIL901
MB3qbf-5cnf-100var-200cl.1FAIL901
MB2qbf-5cnf-50var-900cl.1FAIL901
MB2qbf-5cnf-50var-800cl.1FAIL901
MB2qbf-5cnf-50var-700cl.2FAIL901
MB2qbf-5cnf-50var-500cl.2FAIL901
MB2qbf-5cnf-50var-300cl.2FAIL901
MB2qbf-5cnf-50var-100cl.2FAIL901
MB2qbf-5cnf-50var-100cl.1FAIL901
MB2qbf-5cnf-150var-900cl.1FAIL901
MB2qbf-5cnf-150var-600cl.2FAIL901
MB2qbf-5cnf-150var-600cl.1FAIL901
MB2qbf-5cnf-150var-300cl.1FAIL901
MB2qbf-5cnf-150var-1800cl.2FAIL901
MB2qbf-5cnf-150var-1500cl.2FAIL901
5qbf-5cnf-50var-300cl.1FAIL901
5qbf-5cnf-150var-900cl.2FAIL901
5qbf-5cnf-150var-600cl.2FAIL901
5qbf-5cnf-100var-800cl.2FAIL901
5qbf-5cnf-150var-600cl.1FAIL901
5qbf-5cnf-150var-1200cl.1FAIL901
5qbf-5cnf-150var-300cl.1FAIL901
5qbf-5cnf-150var-1500cl.2FAIL901
5qbf-5cnf-150var-2700cl.2FAIL901
5qbf-5cnf-150var-1800cl.2FAIL901
5qbf-5cnf-150var-2100cl.2FAIL901
5qbf-5cnf-150var-2400cl.1FAIL901
5qbf-5cnf-100var-800cl.1FAIL901
5qbf-5cnf-50var-400cl.1FAIL901
MB2qbf-5cnf-100var-400cl.2FAIL901
MB2qbf-5cnf-100var-200cl.1FAIL901
MB2qbf-5cnf-100var-1800cl.2FAIL901
5qbf-5cnf-100var-600cl.2FAIL901
MB2qbf-5cnf-100var-1600cl.1FAIL901
MB2qbf-5cnf-100var-1400cl.1FAIL901
MB2qbf-5cnf-100var-1400cl.2FAIL901
MB2qbf-5cnf-100var-1200cl.2FAIL901
5qbf-5cnf-50var-800cl.1FAIL901
5qbf-5cnf-50var-700cl.1FAIL901
5qbf-5cnf-50var-500cl.2FAIL901
5qbf-5cnf-50var-500cl.1FAIL901
5qbf-5cnf-150var-2100cl.1FAIL901
MB3qbf-5cnf-50var-200cl.1FAIL901
3qbf-5cnf-150var-900cl.1FAIL901
3qbf-5cnf-50var-200cl.2FAIL901
3qbf-5cnf-50var-300cl.2FAIL901
3qbf-5cnf-50var-600cl.1FAIL901
MB3qbf-5cnf-50var-100cl.1FAIL901
3qbf-5cnf-50var-700cl.2FAIL901
3qbf-5cnf-50var-800cl.2FAIL901
3qbf-5cnf-50var-900cl.1FAIL901
3qbf-5cnf-50var-900cl.2FAIL901
4qbf-5cnf-100var-1000cl.2FAIL901
4qbf-5cnf-100var-1200cl.2FAIL901
4qbf-5cnf-100var-1200cl.1FAIL901
3qbf-5cnf-150var-600cl.2FAIL901
MB3qbf-5cnf-50var-100cl.2FAIL901
3qbf-5cnf-100var-800cl.2FAIL901
3qbf-5cnf-150var-1500cl.1FAIL901
3qbf-5cnf-150var-1800cl.2FAIL901
3qbf-5cnf-150var-1800cl.1FAIL901
3qbf-5cnf-150var-2100cl.1FAIL901
3qbf-5cnf-150var-2400cl.2FAIL901
3qbf-5cnf-150var-2400cl.1FAIL901
3qbf-5cnf-150var-2700cl.2FAIL901
3qbf-5cnf-150var-2700cl.1FAIL901
3qbf-5cnf-150var-300cl.1FAIL901
3qbf-5cnf-150var-300cl.2FAIL901
3qbf-5cnf-150var-600cl.1FAIL901
4qbf-5cnf-100var-1400cl.2FAIL901
4qbf-5cnf-100var-1400cl.1FAIL901
4qbf-5cnf-150var-2400cl.1FAIL901
4qbf-5cnf-150var-2700cl.2FAIL901
4qbf-5cnf-150var-2700cl.1FAIL901
MB3qbf-5cnf-150var-600cl.1FAIL901
4qbf-5cnf-150var-600cl.1FAIL901
4qbf-5cnf-150var-900cl.1FAIL901
4qbf-5cnf-50var-200cl.1FAIL901
4qbf-5cnf-50var-300cl.1FAIL901
MB3qbf-5cnf-150var-300cl.1FAIL901
4qbf-5cnf-50var-300cl.2FAIL901
4qbf-5cnf-50var-400cl.1FAIL901
4qbf-5cnf-50var-500cl.2FAIL901
4qbf-5cnf-150var-2400cl.2FAIL901
4qbf-5cnf-150var-2100cl.2FAIL901
4qbf-5cnf-100var-1800cl.2FAIL901
4qbf-5cnf-100var-1800cl.1FAIL901
4qbf-5cnf-100var-200cl.1FAIL901
MB4qbf-5cnf-50var-900cl.1FAIL901
4qbf-5cnf-100var-200cl.2FAIL901
4qbf-5cnf-100var-400cl.1FAIL901
4qbf-5cnf-100var-600cl.1FAIL901
4qbf-5cnf-100var-600cl.2FAIL901
4qbf-5cnf-100var-800cl.1FAIL901
MB3qbf-5cnf-150var-600cl.2FAIL901
4qbf-5cnf-150var-1800cl.2FAIL901
4qbf-5cnf-150var-1800cl.1FAIL901
4qbf-5cnf-50var-600cl.1FAIL901
s1196_d4_uFAIL901
C6288.blif_0.10_1.00_0_1_inp_exactFAIL901
test1_quant3FAIL901
test4_quant4FAIL901
robots_1_5_2_64.1FAIL901
s499_d2_sFAIL901
k_branch_p-14FAIL901
robots_1_5_2_93.1FAIL901
k_branch_p-13FAIL901
szymanski-16-sFAIL901
s3330_d10_uFAIL901
k_branch_p-5FAIL901
k_poly_p-2FAIL901
C432.blif_0.10_0.20_0_0_out_exactFAIL901
k_grz_n-9FAIL901
k_poly_p-10FAIL901
C6288.blif_0.10_1.00_0_0_inp_exactFAIL901
k_poly_p-14FAIL901
test5_quant_squaring5FAIL901
k_branch_p-3FAIL901
term1.blif_0.10_0.20_0_1_out_exactFAIL901
robots_1_5_2_69.4FAIL901
robots_1_5_2_3.5FAIL901
C6288.blif_0.10_0.20_0_1_out_exactFAIL901
k_branch_n-9FAIL901
k_poly_n-8FAIL901
robots_1_5_4_85.5FAIL901
s1269_d2_sFAIL901
robots_1_5_4_34.8FAIL901
C499.blif_0.10_0.20_0_0_inp_exactFAIL901
C432.blif_0.10_1.00_0_0_inp_exactFAIL901
robots_1_5_3_18.7FAIL901
k_branch_n-14FAIL901
robots_1_5_2_61.6FAIL901
C499.blif_0.10_1.00_0_1_inp_exactFAIL901
robots_1_5_2_72.7FAIL901
k_branch_n-15FAIL901
robots_1_5_3_17.2FAIL901
robots_1_5_3_80.4FAIL901
uclid-pipe3aFAIL901
uclid-pipe2FAIL901
robots_1_5_5_5.2FAIL901
s713_d6_sFAIL901
k_lin_p-18FAIL901
s499_d4_sFAIL901
C880.blif_0.10_1.00_0_0_inp_exactFAIL901
k_lin_n-19FAIL901
s298_d16_sFAIL901
CHAIN19v.20FAIL901
k_path_n-13FAIL901
test3_quant_squaring4FAIL901
term1.blif_0.10_1.00_0_1_out_exactFAIL901
k_lin_p-15FAIL901
s1196_d3_uFAIL901
k_lin_p-5FAIL901
k_lin_p-10FAIL901
k_poly_p-12FAIL901
C880.blif_0.10_0.20_0_0_inp_exactFAIL901
flipflop-4-cFAIL901
k_lin_n-14FAIL901
C880.blif_0.10_1.00_0_1_inp_exactFAIL901
k_lin_p-11FAIL901
k_path_p-11FAIL901
k_lin_n-7FAIL901
k_path_p-14FAIL901
k_ph_p-20FAIL901
k_ph_p-19FAIL901
CHAIN12v.13FAIL901
s386_d8_uFAIL901
k_ph_p-14FAIL901
k_ph_p-15FAIL901
C499.blif_0.10_0.20_0_1_out_exactFAIL901
k_poly_n-7FAIL901
C432.blif_0.10_0.20_0_0_inp_exactFAIL901
k_lin_p-8FAIL901
k_path_p-17FAIL901
k_ph_n-6FAIL901
C5315.blif_0.10_1.00_0_1_out_exactFAIL901
CHAIN17v.18FAIL901
k_ph_n-15FAIL901
comp.blif_0.10_1.00_0_1_out_exactFAIL901
test2_quant2FAIL901
k_grz_n-16FAIL901
test1_quant_squaring2FAIL901
impl20FAIL901
flipflop-10-cFAIL901
cf_5_8x9_w_FAIL901
comp.blif_0.10_1.00_0_0_out_exactFAIL901
k_poly_n-11FAIL901
C432.blif_0.10_0.20_0_1_inp_exactFAIL901
cf_5_6x9_r_FAIL901
Adder2-16-cFAIL901
szymanski-4-sFAIL901
cf_5_5x6_w_FAIL901
cf_7_8x8_w_FAIL901
cf_4_8x8_w_FAIL901
BLOCKS4ii.6.3FAIL901
s820_d8_sFAIL901
comp.blif_0.10_0.20_0_0_out_exactFAIL901
C880.blif_0.10_0.20_0_0_out_exactFAIL901
cf_3_8x8_w_FAIL901
s3330_d8_sFAIL901
cf_6_6x8_w_FAIL901
cf_6_6x9_r_FAIL901
CHAIN16v.17FAIL901
comp.blif_0.10_0.20_0_1_inp_exactFAIL901
szymanski-18-sFAIL901
comp.blif_0.10_0.20_0_0_inp_exactFAIL901
adder-10-satFAIL901
s1196_d6_uFAIL901
s1196_d5_uFAIL901
TOILET10.1.iv.20FAIL901
k_path_p-16FAIL901
cf_8_9x9_r_FAIL901
C880.blif_0.10_0.20_0_1_out_exactFAIL901
lognBWLARGEA1FAIL901
cf_7_9x7_w_FAIL901
k_branch_p-8FAIL901
BLOCKS4i.6.4FAIL901
test3_quant_squaring2FAIL901
cf_6_8x8_r_FAIL901
comp.blif_0.10_1.00_0_0_inp_exactFAIL901
cf_5_5x5_r_FAIL901
s3330_d4_sFAIL901
BLOCKS4ii.7.2FAIL901
s820_d4_sFAIL901
impl14FAIL901
term1.blif_0.10_1.00_0_0_inp_exactFAIL901
cnt06FAIL901
test1_quant2FAIL901
cnt04eFAIL901
s1269_d10_sFAIL901
vonNeumann-ripple-carry-13-cFAIL901
cnt16reFAIL901
uclid-pipe3bFAIL901
test2_quant_squaring3FAIL901
term1.blif_0.10_0.20_0_0_inp_exactFAIL901
cf_2_2x3_w_FAIL901
cnt09eFAIL901
s3330_d2_sFAIL901
cnt09reFAIL901
robots_1_5_5_18.5FAIL901
robots_1_5_5_59.5FAIL901
s1269_d4_sFAIL901
C432.blif_0.10_0.20_0_1_out_exactFAIL901
test5_quant7FAIL901
MB2qbf-5cnf-100var-600cl.1FAIL901.01
CHAIN14v.15FAIL901.01
MB2qbf-5cnf-100var-400cl.1FAIL901.01
C5315.blif_0.10_1.00_0_1_inp_exactFAIL901.01
C499.blif_0.10_0.20_0_0_out_exactFAIL901.01
MB2qbf-5cnf-150var-900cl.2FAIL901.01
C6288.blif_0.10_1.00_0_1_out_exactFAIL901.01
s298_d19_uFAIL901.01
MB2qbf-5cnf-50var-200cl.1FAIL901.01
MB2qbf-5cnf-100var-1800cl.1FAIL901.01
MB2qbf-5cnf-50var-200cl.2FAIL901.01
MB2qbf-5cnf-50var-300cl.1FAIL901.01
k_path_p-20FAIL901.01
4qbf-5cnf-150var-1500cl.1FAIL901.01
MB2qbf-5cnf-100var-200cl.2FAIL901.01
k_ph_n-8FAIL901.01
MB2qbf-5cnf-100var-600cl.2FAIL901.01
MB2qbf-5cnf-50var-400cl.1FAIL901.01
MB2qbf-5cnf-150var-1200cl.1FAIL901.01
vonNeumann-ripple-carry-10-cFAIL901.01
s1196_d2_sFAIL901.01
MB2qbf-5cnf-150var-1500cl.1FAIL901.01
k_branch_n-16FAIL901.01
test4_quant_squaring4FAIL901.01
C5315.blif_0.10_0.20_0_1_out_exactFAIL901.01
szymanski-6-sFAIL901.01
Adder2-2-cFAIL901.01
s510_d46_sFAIL901.01
Adder2-12-sFAIL901.01
MB2qbf-5cnf-50var-600cl.2FAIL901.01
flipflop-7-cFAIL901.01
MB2qbf-5cnf-50var-400cl.2FAIL901.01
MB2qbf-5cnf-100var-800cl.1FAIL901.01
MB2qbf-5cnf-100var-800cl.2FAIL901.01
MB3qbf-5cnf-100var-400cl.2FAIL901.01
MB2qbf-5cnf-50var-500cl.1FAIL901.01
szymanski-12-sFAIL901.01
MB3qbf-5cnf-100var-200cl.2FAIL901.01
MB2qbf-5cnf-150var-300cl.2FAIL901.01
test3_quant2FAIL901.01
MB2qbf-5cnf-150var-1200cl.2FAIL901.01
test5_quant_squaring4FAIL901.01
lognBWLARGEB1FAIL901.01
MB4qbf-5cnf-50var-100cl.1FAIL901.01
CHAIN13v.14FAIL901.01
s713_d4_sFAIL901.01
MB5qbf-5cnf-100var-1000cl.1FAIL901.01
vonNeumann-ripple-carry-9-cFAIL901.01
s386_d7_sFAIL901.01
test2_quant_squaring2FAIL901.01
MB5qbf-5cnf-100var-200cl.2FAIL901.01
MB5qbf-5cnf-100var-400cl.2FAIL901.01
MB4qbf-5cnf-50var-800cl.1FAIL901.01
s386_d4_sFAIL901.01
MB4qbf-5cnf-50var-600cl.1FAIL901.01
MB4qbf-5cnf-50var-100cl.2FAIL901.01
MB4qbf-5cnf-50var-200cl.1FAIL901.01
C5315.blif_0.10_0.20_0_1_inp_exactFAIL901.01
CHAIN20v.21FAIL901.01
MB4qbf-5cnf-50var-300cl.2FAIL901.01
MB4qbf-5cnf-50var-400cl.1FAIL901.01
C880.blif_0.10_0.20_0_1_inp_exactFAIL901.01
adder-6-unsatFAIL901.01
MB5qbf-5cnf-100var-600cl.1FAIL901.01
MB5qbf-5cnf-100var-600cl.2FAIL901.01
flipflop-5-cFAIL901.01
MB5qbf-5cnf-150var-900cl.2FAIL901.01
k_branch_p-16FAIL901.01
MB5qbf-5cnf-50var-200cl.1FAIL901.01
MB5qbf-5cnf-50var-200cl.2FAIL901.01
C6288.blif_0.10_0.20_0_0_out_exactFAIL901.01
adder-6-satFAIL901.01
MB5qbf-5cnf-50var-600cl.1FAIL901.01
MB5qbf-5cnf-50var-600cl.2FAIL901.01
vonNeumann-ripple-carry-12-cFAIL901.01
MB5qbf-5cnf-150var-600cl.1FAIL901.01
adder-8-unsatFAIL901.01
MB5qbf-5cnf-100var-800cl.2FAIL901.01
C6288.blif_0.10_1.00_0_0_out_exactFAIL901.01
MB5qbf-5cnf-150var-1200cl.1FAIL901.01
MB5qbf-5cnf-150var-1500cl.2FAIL901.01
k_poly_n-4FAIL901.01
szymanski-10-sFAIL901.01
s713_d2_sFAIL901.01
C432.blif_0.10_1.00_0_0_out_exactFAIL901.01
term1.blif_0.10_1.00_0_0_out_exactFAIL901.01
impl18FAIL901.01
k_ph_n-21FAIL901.01
szymanski-22-sFAIL901.01
vonNeumann-ripple-carry-11-cFAIL901.01
k_ph_p-4FAIL901.01
test2_quant3FAIL901.01
MB4qbf-5cnf-100var-1000cl.1FAIL901.01
MB4qbf-5cnf-100var-1200cl.1FAIL901.01
impl16FAIL901.01
MB4qbf-5cnf-100var-1400cl.2FAIL901.01
CHAIN23v.24FAIL901.01
MB3qbf-5cnf-50var-300cl.2FAIL901.01
term1.blif_0.10_0.20_0_0_out_exactFAIL901.01
robots_1_5_4_91.4FAIL901.01
robots_1_5_4_73.2FAIL901.01
MB3qbf-5cnf-150var-300cl.2FAIL901.01
szymanski-14-sFAIL901.01
s298_d8_sFAIL901.01
C5315.blif_0.10_1.00_0_0_inp_exactFAIL901.01
s713_d7_uFAIL901.01
C5315.blif_0.10_0.20_0_0_out_exactFAIL901.01
MB4qbf-5cnf-100var-1600cl.1FAIL901.01
MB4qbf-5cnf-100var-1800cl.2FAIL901.01
MB4qbf-5cnf-100var-1800cl.1FAIL901.01
MB4qbf-5cnf-150var-1800cl.1FAIL901.01
MB4qbf-5cnf-150var-2100cl.2FAIL901.01
MB4qbf-5cnf-150var-2100cl.1FAIL901.01
k_branch_n-20FAIL901.01
C5315.blif_0.10_1.00_0_0_out_exactFAIL901.01
MB4qbf-5cnf-150var-2700cl.2FAIL901.01
MB4qbf-5cnf-150var-300cl.2FAIL901.01
MB4qbf-5cnf-150var-600cl.1FAIL901.01
MB4qbf-5cnf-150var-1800cl.2FAIL901.01
MB4qbf-5cnf-150var-1500cl.1FAIL901.01
MB4qbf-5cnf-150var-1500cl.2FAIL901.01
MB4qbf-5cnf-100var-200cl.1FAIL901.01
MB4qbf-5cnf-100var-200cl.2FAIL901.01
MB4qbf-5cnf-100var-400cl.1FAIL901.01
MB4qbf-5cnf-100var-600cl.1FAIL901.01
MB4qbf-5cnf-100var-600cl.2FAIL901.01
C499.blif_0.10_1.00_0_0_out_exactFAIL901.01
MB4qbf-5cnf-150var-1200cl.2FAIL901.01
MB4qbf-5cnf-150var-1200cl.1FAIL901.01
MB4qbf-5cnf-150var-900cl.1FAIL901.01
test5_quant5FAIL901.01
2qbf-5cnf-100var-800cl.2FAIL901.01
2qbf-5cnf-50var-200cl.1FAIL901.01
robots_1_5_3_27.9FAIL901.01
2qbf-5cnf-50var-300cl.1FAIL901.01
robots_1_5_3_84.7FAIL901.01
2qbf-5cnf-50var-400cl.2FAIL901.01
2qbf-5cnf-50var-500cl.1FAIL901.01
robots_1_5_3_16.7FAIL901.01
robots_1_5_3_62.4FAIL901.01
2qbf-5cnf-50var-800cl.1FAIL901.01
2qbf-5cnf-50var-800cl.2FAIL901.01
robots_1_5_4_21.2FAIL901.01
2qbf-5cnf-50var-100cl.1FAIL901.01
robots_1_5_4_31.8FAIL901.01
2qbf-5cnf-150var-1500cl.2FAIL901.01
robots_1_5_5_4.9FAIL901.01
robots_1_5_5_55.6FAIL901.01
2qbf-5cnf-150var-1800cl.1FAIL901.01
robots_1_5_5_34.6FAIL901.01
2qbf-5cnf-150var-2400cl.1FAIL901.01
robots_1_5_5_75.3FAIL901.01
2qbf-5cnf-150var-2700cl.1FAIL901.01
robots_1_5_4_87.8FAIL901.01
2qbf-5cnf-150var-600cl.1FAIL901.01
2qbf-5cnf-50var-900cl.2FAIL901.01
robots_1_5_2_42.7FAIL901.01
3qbf-5cnf-150var-1200cl.1FAIL901.01
s298_d5_sFAIL901.01
k_poly_p-11FAIL901.01
3qbf-5cnf-150var-2100cl.2FAIL901.01
k_poly_p-7FAIL901.01
k_poly_n-15FAIL901.01
k_poly_n-3FAIL901.01
s510_d31_sFAIL901.01
k_poly_n-18FAIL901.01
3qbf-5cnf-150var-900cl.2FAIL901.01
3qbf-5cnf-150var-1200cl.2FAIL901.01
k_poly_p-17FAIL901.01
3qbf-5cnf-100var-800cl.1FAIL901.01
3qbf-5cnf-100var-1200cl.1FAIL901.01
3qbf-5cnf-100var-1400cl.1FAIL901.01
3qbf-5cnf-100var-1600cl.2FAIL901.01
3qbf-5cnf-100var-1600cl.1FAIL901.01
3qbf-5cnf-100var-1800cl.1FAIL901.01
3qbf-5cnf-100var-200cl.1FAIL901.01
3qbf-5cnf-100var-400cl.1FAIL901.01
3qbf-5cnf-100var-400cl.2FAIL901.01
robots_1_5_2_38.1FAIL901.01
3qbf-5cnf-100var-600cl.2FAIL901.01
3qbf-5cnf-50var-100cl.1FAIL901.01
2qbf-5cnf-100var-600cl.1FAIL901.01
s1196_d7_uFAIL901.01
cf_7_9x8_w_FAIL901.01
s3330_d12_uFAIL901.01
s3330_d13_uFAIL901.01
cf_7_9x7_r_FAIL901.01
s386_d5_sFAIL901.01
cf_6_8x6_r_FAIL901.01
s386_d3_sFAIL901.01
s499_d19_sFAIL901.01
cf_6_6x6_r_FAIL901.01
s499_d18_sFAIL901.01
cf_8_8x8_r_FAIL901.01
cf_8_8x8_w_FAIL901.01
cf_8_8x9_r_FAIL901.01
s1269_d6_sFAIL901.01
s1269_d9_sFAIL901.01
s1269_d15_uFAIL901.01
s1269_d3_sFAIL901.01
s298_d14_sFAIL901.01
s298_d10_sFAIL901.01
cf_9_9x9_w_FAIL901.01
cf_9_9x9_r_FAIL901.01
cf_8_9x9_w_FAIL901.01
cf_8_8x9_w_FAIL901.01
s510_d13_sFAIL901.01
s510_d42_sFAIL901.01
2qbf-5cnf-100var-1000cl.2FAIL901.01
cf_3_5x4_r_FAIL901.01
2qbf-5cnf-100var-1200cl.2FAIL901.01
2qbf-5cnf-100var-1200cl.1FAIL901.01
cf_2_9x5_w_FAIL901.01
cf_2_8x5_r_FAIL901.01
cf_2_5x4_r_FAIL901.01
cf_2_4x8_r_FAIL901.01
cf_2_3x2_r_FAIL901.01
2qbf-5cnf-100var-200cl.2FAIL901.01
cf_3_6x4_w_FAIL901.01
cf_3_7x9_w_FAIL901.01
cf_3_9x5_r_FAIL901.01
s510_d48_uFAIL901.01
s510_d51_uFAIL901.01
s510_d12_sFAIL901.01
cf_5_6x5_w_FAIL901.01
cf_4_5x9_r_FAIL901.01
cf_4_5x6_w_FAIL901.01
s713_d9_uFAIL901.01
cf_3_9x9_w_FAIL901.01
s713_d3_sFAIL901.01
s820_d5_sFAIL901.01
cnt12eFAIL901.01
3qbf-5cnf-50var-100cl.2FAIL901.01
4qbf-5cnf-50var-500cl.1FAIL901.01
5qbf-5cnf-100var-200cl.2FAIL901.01
5qbf-5cnf-100var-400cl.1FAIL901.01
flipflop-11-cFAIL901.01
C499.blif_0.10_1.00_0_0_inp_exactFAIL901.01
5qbf-5cnf-150var-1200cl.2FAIL901.01
5qbf-5cnf-150var-1500cl.1FAIL901.01
C499.blif_0.10_0.20_0_1_inp_exactFAIL901.01
5qbf-5cnf-150var-1800cl.1FAIL901.01
comp.blif_0.10_0.20_0_1_out_exactFAIL901.01
k_branch_n-6FAIL901.01
5qbf-5cnf-100var-1800cl.2FAIL901.01
k_branch_n-7FAIL901.01
4qbf-5cnf-50var-600cl.2FAIL901.01
4qbf-5cnf-50var-700cl.2FAIL901.01
4qbf-5cnf-50var-900cl.1FAIL901.01
k_branch_p-15FAIL901.01
k_branch_p-19FAIL901.01
5qbf-5cnf-100var-1000cl.1FAIL901.01
5qbf-5cnf-100var-1400cl.2FAIL901.01
5qbf-5cnf-100var-1400cl.1FAIL901.01
5qbf-5cnf-100var-1600cl.2FAIL901.01
5qbf-5cnf-150var-2400cl.2FAIL901.01
cf_2_8x3_r_FAIL901.01
5qbf-5cnf-50var-600cl.2FAIL901.01
5qbf-5cnf-50var-700cl.2FAIL901.01
k_poly_p-8FAIL901.01
5qbf-5cnf-50var-800cl.2FAIL901.01
5qbf-5cnf-50var-900cl.1FAIL901.01
5qbf-5cnf-50var-900cl.2FAIL901.01
MB2qbf-5cnf-100var-1000cl.2FAIL901.01
MB2qbf-5cnf-100var-1000cl.1FAIL901.01
C5315.blif_0.10_0.20_0_0_inp_exactFAIL901.01
5qbf-5cnf-50var-600cl.1FAIL901.01
5qbf-5cnf-50var-400cl.2FAIL901.01
s820_d11_uFAIL901.01
5qbf-5cnf-150var-2700cl.1FAIL901.01
4qbf-5cnf-50var-700cl.1FAIL901.01
adder-4-unsatFAIL901.01
5qbf-5cnf-150var-900cl.1FAIL901.01
5qbf-5cnf-50var-100cl.1FAIL901.01
5qbf-5cnf-50var-100cl.2FAIL901.01
5qbf-5cnf-50var-200cl.1FAIL901.01
5qbf-5cnf-50var-200cl.2FAIL901.01
5qbf-5cnf-50var-300cl.2FAIL901.01
MB2qbf-5cnf-100var-1200cl.1FAIL901.01
3qbf-5cnf-50var-200cl.1FAIL901.01
4qbf-5cnf-100var-1000cl.1FAIL901.01
4qbf-5cnf-100var-1600cl.1FAIL901.01
k_path_n-6FAIL901.01
robots_1_5_3_15.6FAIL901.01
4qbf-5cnf-100var-400cl.2FAIL901.01
k_lin_p-6FAIL901.01
4qbf-5cnf-100var-800cl.2FAIL901.01
4qbf-5cnf-150var-1200cl.1FAIL901.01
4qbf-5cnf-150var-1500cl.2FAIL901.01
4qbf-5cnf-150var-2100cl.1FAIL901.01
4qbf-5cnf-150var-1200cl.2FAIL901.01
k_ph_n-7FAIL901.01
k_ph_p-7FAIL901.01
3qbf-5cnf-50var-300cl.1FAIL901.01
3qbf-5cnf-50var-400cl.1FAIL901.01
3qbf-5cnf-50var-400cl.2FAIL901.01
3qbf-5cnf-50var-500cl.1FAIL901.01
3qbf-5cnf-50var-500cl.2FAIL901.01
k_ph_p-17FAIL901.01
3qbf-5cnf-50var-600cl.2FAIL901.01
3qbf-5cnf-50var-700cl.1FAIL901.01
3qbf-5cnf-50var-800cl.1FAIL901.01
4qbf-5cnf-100var-1600cl.2FAIL901.01
k_lin_n-15FAIL901.01
4qbf-5cnf-150var-900cl.2FAIL901.01
4qbf-5cnf-50var-100cl.1FAIL901.01
4qbf-5cnf-50var-100cl.2FAIL901.01
4qbf-5cnf-50var-200cl.2FAIL901.01
4qbf-5cnf-150var-600cl.2FAIL901.01
k_grz_p-14FAIL901.01
k_grz_p-9FAIL901.01
k_lin_n-3FAIL901.01
4qbf-5cnf-150var-300cl.2FAIL901.01
k_lin_n-6FAIL901.01
4qbf-5cnf-50var-400cl.2FAIL901.01
4qbf-5cnf-150var-300cl.1FAIL901.01
k_poly_n-1FAIL901.02
k_grz_p-17FAIL901.02
k_grz_n-17FAIL901.02
k_path_n-8FAIL901.02
k_grz_p-16FAIL901.02
k_grz_p-3FAIL901.02
MB2qbf-5cnf-100var-1600cl.2FAIL901.02
k_path_p-6FAIL901.02
k_path_n-7FAIL901.02
MB2qbf-5cnf-50var-600cl.1FAIL901.02
C880.blif_0.10_1.00_0_0_out_exactFAIL901.02
MB2qbf-5cnf-50var-700cl.1FAIL901.02
MB2qbf-5cnf-150var-2400cl.1FAIL901.02
MB2qbf-5cnf-150var-2100cl.2FAIL901.02
toilet_c_10_01.9FAIL901.03
C880.blif_0.10_1.00_0_1_out_exactFAIL901.03
k_path_p-3FAIL901.03
MB2qbf-5cnf-150var-2100cl.1FAIL901.03
C6288.blif_0.10_0.20_0_1_inp_exactFAIL901.03
k_path_n-5FAIL901.03
k_path_p-2FAIL901.03
k_path_n-3FAIL901.03
C6288.blif_0.10_0.20_0_0_inp_exactFAIL901.03
k_path_n-4FAIL901.03
k_dum_p-20FAIL901.06