Instances solved by yQuaffle
QBFEVAL'04

InstanceResultTime
tree-exa2-40UNSAT0
MB5qbf-5cnf-50var-500cl.2UNSAT0
tree-exa2-45UNSAT0
z4ml.blif_0.10_0.20_0_1_out_exactSAT0
toilet_c_10_01.3UNSAT0
MB5qbf-5cnf-150var-900cl.1UNSAT0
tree-exa2-35UNSAT0
z4ml.blif_0.10_1.00_0_1_inp_exactSAT0
z4ml.blif_0.10_1.00_0_0_inp_exactUNSAT0
toilet_g_10_01.2SAT0
z4ml.blif_0.10_1.00_0_0_out_exactUNSAT0
flipflop-3-cUNSAT0
z4ml.blif_0.10_0.20_0_1_inp_exactSAT0
z4ml.blif_0.10_0.20_0_0_inp_exactUNSAT0
MB3qbf-5cnf-100var-600cl.1UNSAT0.01
MB2qbf-5cnf-150var-2400cl.2UNSAT0.01
MB3qbf-5cnf-100var-800cl.2UNSAT0.01
MB3qbf-5cnf-100var-800cl.1UNSAT0.01
MB3qbf-5cnf-50var-400cl.1UNSAT0.01
MB2qbf-5cnf-50var-600cl.1UNSAT0.01
MB2qbf-5cnf-50var-700cl.1UNSAT0.01
MB3qbf-5cnf-100var-1600cl.1UNSAT0.01
MB2qbf-5cnf-50var-900cl.2UNSAT0.01
MB3qbf-5cnf-100var-1000cl.2UNSAT0.01
MB3qbf-5cnf-100var-1800cl.1UNSAT0.01
MB3qbf-5cnf-50var-300cl.1UNSAT0.01
MB4qbf-5cnf-100var-1600cl.2UNSAT0.01
impl18SAT0.01
MB4qbf-5cnf-100var-1400cl.1UNSAT0.01
MB4qbf-5cnf-100var-1400cl.2UNSAT0.01
MB3qbf-5cnf-50var-900cl.2UNSAT0.01
MB3qbf-5cnf-50var-900cl.1UNSAT0.01
MB3qbf-5cnf-50var-800cl.2UNSAT0.01
MB3qbf-5cnf-50var-800cl.1UNSAT0.01
MB3qbf-5cnf-50var-700cl.2UNSAT0.01
MB3qbf-5cnf-50var-700cl.1UNSAT0.01
MB3qbf-5cnf-50var-600cl.1UNSAT0.01
MB3qbf-5cnf-50var-500cl.2UNSAT0.01
MB3qbf-5cnf-50var-500cl.1UNSAT0.01
MB3qbf-5cnf-50var-400cl.2UNSAT0.01
tree-exa2-15UNSAT0.01
C432.blif_0.10_1.00_0_1_inp_exactSAT0.01
toilet_a_06_01.5UNSAT0.01
toilet_c_10_01.9UNSAT0.01
toilet_g_20_01.2SAT0.01
k_branch_n-1SAT0.01
cnt02SAT0.01
cnt02eSAT0.01
k_lin_n-1SAT0.01
k_poly_p-14UNSAT0.01
k_lin_p-1UNSAT0.01
k_poly_p-2UNSAT0.01
k_path_p-2UNSAT0.01
k_ph_p-3UNSAT0.01
TOILET2.1.iv.3UNSAT0.01
comp.blif_0.10_0.20_0_1_out_exactSAT0.01
2qbf-5cnf-50var-100cl.2SAT0.01
k_ph_n-1SAT0.01
tree-exa2-30UNSAT0.01
TOILET2.1.iv.4SAT0.01
impl02SAT0.01
MB5qbf-5cnf-50var-900cl.2UNSAT0.01
impl06SAT0.01
4qbf-5cnf-50var-100cl.1SAT0.01
3qbf-5cnf-50var-100cl.2SAT0.01
3qbf-5cnf-50var-100cl.1SAT0.01
3qbf-5cnf-100var-200cl.2SAT0.01
3qbf-5cnf-100var-200cl.1SAT0.01
impl14SAT0.01
k_ph_n-3SAT0.01
z4ml.blif_0.10_1.00_0_1_out_exactSAT0.01
MB4qbf-5cnf-50var-500cl.2UNSAT0.01
MB5qbf-5cnf-50var-700cl.1UNSAT0.01
MB4qbf-5cnf-50var-600cl.1UNSAT0.01
MB5qbf-5cnf-50var-700cl.2UNSAT0.01
MB4qbf-5cnf-50var-700cl.2UNSAT0.01
MB5qbf-5cnf-50var-600cl.2UNSAT0.01
impl20SAT0.01
MB3qbf-5cnf-50var-600cl.2UNSAT0.01
impl16SAT0.01
MB4qbf-5cnf-50var-900cl.2UNSAT0.01
MB5qbf-5cnf-150var-1500cl.2UNSAT0.01
impl12SAT0.01
MB5qbf-5cnf-50var-900cl.1UNSAT0.01
MB5qbf-5cnf-50var-800cl.1UNSAT0.01
MB5qbf-5cnf-100var-600cl.2UNSAT0.01
MB5qbf-5cnf-50var-800cl.2UNSAT0.01
MB5qbf-5cnf-100var-1400cl.2UNSAT0.01
MB5qbf-5cnf-100var-800cl.2UNSAT0.01
impl08SAT0.01
k_ph_n-4SAT0.01
tree-exa2-25UNSAT0.01
MB4qbf-5cnf-50var-900cl.1UNSAT0.01
MB5qbf-5cnf-50var-600cl.1UNSAT0.01
MB2qbf-5cnf-100var-1600cl.1UNSAT0.02
MB5qbf-5cnf-100var-1800cl.1UNSAT0.02
MB2qbf-5cnf-50var-700cl.2UNSAT0.02
MB2qbf-5cnf-100var-1200cl.1UNSAT0.02
MB2qbf-5cnf-100var-1600cl.2UNSAT0.02
MB2qbf-5cnf-100var-1400cl.1UNSAT0.02
comp.blif_0.10_1.00_0_1_inp_exactSAT0.02
MB2qbf-5cnf-50var-800cl.2UNSAT0.02
MB2qbf-5cnf-50var-800cl.1UNSAT0.02
MB5qbf-5cnf-100var-1600cl.2UNSAT0.02
MB2qbf-5cnf-50var-600cl.2UNSAT0.02
flipflop-5-cUNSAT0.02
MB2qbf-5cnf-150var-2400cl.1UNSAT0.02
MB2qbf-5cnf-150var-2100cl.1UNSAT0.02
MB2qbf-5cnf-150var-2700cl.1UNSAT0.02
MB2qbf-5cnf-150var-2100cl.2UNSAT0.02
MB2qbf-5cnf-100var-1800cl.1UNSAT0.02
flipflop-4-cUNSAT0.02
z4ml.blif_0.10_0.20_0_0_out_exactUNSAT0.02
toilet_g_06_01.2SAT0.02
comp.blif_0.10_1.00_0_0_inp_exactUNSAT0.02
toilet_g_02_01.2SAT0.02
2qbf-5cnf-50var-900cl.1UNSAT0.02
toilet_g_08_01.2SAT0.02
toilet_g_04_01.2SAT0.02
MB5qbf-5cnf-50var-500cl.1UNSAT0.02
toilet_g_15_01.2SAT0.02
term1.blif_0.10_1.00_0_1_inp_exactSAT0.02
toilet_c_06_01.9UNSAT0.02
toilet_c_04_01.6UNSAT0.02
MB5qbf-5cnf-150var-1800cl.1UNSAT0.02
k_poly_p-8UNSAT0.02
k_poly_p-12UNSAT0.02
5qbf-5cnf-50var-100cl.2SAT0.02
MB5qbf-5cnf-150var-1200cl.1UNSAT0.02
MB2qbf-5cnf-100var-1800cl.2UNSAT0.02
lognBWLARGEA0SAT0.02
4qbf-5cnf-50var-100cl.2SAT0.02
MB5qbf-5cnf-150var-1500cl.1UNSAT0.02
lognBWLARGEB0SAT0.02
3qbf-5cnf-50var-900cl.2UNSAT0.02
BLOCKS3ii.4.3UNSAT0.02
3qbf-5cnf-50var-800cl.1UNSAT0.02
toilet_c_06_05.4SAT0.02
MB3qbf-5cnf-150var-2100cl.1UNSAT0.02
MB3qbf-5cnf-150var-2100cl.2UNSAT0.02
MB3qbf-5cnf-150var-1800cl.1UNSAT0.02
comp.blif_0.10_1.00_0_1_out_exactSAT0.02
MB3qbf-5cnf-150var-900cl.1UNSAT0.02
MB3qbf-5cnf-150var-1800cl.2UNSAT0.02
MB3qbf-5cnf-150var-1500cl.1UNSAT0.02
MB3qbf-5cnf-150var-1500cl.2UNSAT0.02
MB3qbf-5cnf-150var-1200cl.1UNSAT0.02
MB3qbf-5cnf-150var-1200cl.2UNSAT0.02
comp.blif_0.10_0.20_0_1_inp_exactSAT0.02
MB3qbf-5cnf-100var-600cl.2UNSAT0.02
MB3qbf-5cnf-150var-2400cl.2UNSAT0.02
MB3qbf-5cnf-150var-2400cl.1UNSAT0.02
MB4qbf-5cnf-100var-1600cl.1UNSAT0.02
MB4qbf-5cnf-100var-1800cl.1UNSAT0.02
MB4qbf-5cnf-150var-2100cl.2UNSAT0.02
MB4qbf-5cnf-150var-2100cl.1UNSAT0.02
MB4qbf-5cnf-150var-2400cl.2UNSAT0.02
MB4qbf-5cnf-150var-2400cl.1UNSAT0.02
MB4qbf-5cnf-150var-2700cl.1UNSAT0.02
MB3qbf-5cnf-50var-300cl.2UNSAT0.02
toilet_a_06_05.2UNSAT0.02
k_ph_p-4UNSAT0.02
MB3qbf-5cnf-150var-900cl.2UNSAT0.02
MB5qbf-5cnf-100var-1000cl.2UNSAT0.02
MB5qbf-5cnf-100var-1000cl.1UNSAT0.02
k_poly_p-7UNSAT0.02
MB5qbf-5cnf-100var-1400cl.1UNSAT0.02
MB5qbf-5cnf-100var-1200cl.1UNSAT0.02
MB3qbf-5cnf-100var-1200cl.2UNSAT0.02
MB3qbf-5cnf-100var-1000cl.1UNSAT0.02
MB3qbf-5cnf-100var-1600cl.2UNSAT0.02
MB3qbf-5cnf-100var-1800cl.2UNSAT0.02
MB3qbf-5cnf-100var-1400cl.1UNSAT0.02
k_path_n-1SAT0.02
MB2qbf-5cnf-50var-900cl.1UNSAT0.02
k_poly_p-11UNSAT0.02
MB3qbf-5cnf-100var-1200cl.1UNSAT0.02
C432.blif_0.10_1.00_0_1_out_exactSAT0.02
MB3qbf-5cnf-100var-1400cl.2UNSAT0.02
MB5qbf-5cnf-100var-1200cl.2UNSAT0.02
k_poly_p-10UNSAT0.02
k_path_p-3UNSAT0.03
MB3qbf-5cnf-150var-2700cl.1UNSAT0.03
5qbf-5cnf-50var-100cl.1SAT0.03
k_poly_n-1SAT0.03
MB5qbf-5cnf-150var-2100cl.1UNSAT0.03
MB5qbf-5cnf-150var-2100cl.2UNSAT0.03
MB5qbf-5cnf-150var-1800cl.2UNSAT0.03
k_dum_n-1SAT0.03
MB3qbf-5cnf-150var-2700cl.2UNSAT0.03
MB4qbf-5cnf-100var-1800cl.2UNSAT0.03
mutex-2-sSAT0.03
MB4qbf-5cnf-150var-2700cl.2UNSAT0.03
MB5qbf-5cnf-100var-1800cl.2UNSAT0.03
k_poly_p-17UNSAT0.03
MB2qbf-5cnf-100var-1400cl.2UNSAT0.03
MB5qbf-5cnf-150var-2700cl.1UNSAT0.03
3qbf-5cnf-50var-200cl.1SAT0.03
MB5qbf-5cnf-100var-1600cl.1UNSAT0.03
toilet_a_08_01.3UNSAT0.03
MB5qbf-5cnf-150var-2400cl.1UNSAT0.03
C499.blif_0.10_1.00_0_1_out_exactSAT0.03
MB5qbf-5cnf-150var-2400cl.2UNSAT0.03
MB5qbf-5cnf-150var-2700cl.2UNSAT0.03
comp.blif_0.10_0.20_0_0_inp_exactUNSAT0.03
MB2qbf-5cnf-150var-2700cl.2UNSAT0.03
2qbf-5cnf-50var-900cl.2UNSAT0.04
2qbf-5cnf-50var-100cl.1FAIL0.04
k_lin_n-2SAT0.04
MB2qbf-5cnf-150var-1800cl.2UNSAT0.04
k_dum_p-1UNSAT0.04
C499.blif_0.10_1.00_0_1_inp_exactSAT0.04
2qbf-5cnf-50var-700cl.1UNSAT0.05
robots_1_5_2_93.1SAT0.05
5qbf-5cnf-100var-200cl.1SAT0.05
C432.blif_0.10_1.00_0_0_inp_exactUNSAT0.05
term1.blif_0.10_0.20_0_1_out_exactSAT0.05
MB3qbf-5cnf-50var-100cl.1SAT0.05
k_lin_p-5UNSAT0.06
term1.blif_0.10_1.00_0_1_out_exactSAT0.06
MB2qbf-5cnf-150var-1500cl.1UNSAT0.06
k_ph_n-6SAT0.06
robots_1_5_4_78.1SAT0.06
robots_1_5_2_38.1SAT0.06
robots_1_5_5_29.1SAT0.06
robots_1_5_2_64.1SAT0.06
2qbf-5cnf-50var-800cl.2UNSAT0.07
BLOCKS3i.4.4UNSAT0.08
5qbf-5cnf-50var-200cl.1SAT0.08
MB2qbf-5cnf-50var-500cl.1UNSAT0.09
toilet_c_10_05.10SAT0.09
k_lin_p-8UNSAT0.09
C880.blif_0.10_1.00_0_1_inp_exactSAT0.1
MB4qbf-5cnf-50var-800cl.1UNSAT0.1
2qbf-5cnf-100var-1800cl.1UNSAT0.1
MB3qbf-5cnf-50var-100cl.2SAT0.1
k_lin_p-6UNSAT0.11
cf_2_2x3_w_UNSAT0.11
s3271_d2_sUNSAT0.12
flipflop-7-cUNSAT0.12
s27_d2_sSAT0.12
k_d4_p-3UNSAT0.13
Adder2-2-cUNSAT0.13
C5315.blif_0.10_1.00_0_1_inp_exactSAT0.13
toilet_a_10_01.4UNSAT0.14
k_t4p_p-1UNSAT0.14
3qbf-5cnf-50var-800cl.2UNSAT0.14
toilet_a_10_01.7UNSAT0.15
MB2qbf-5cnf-100var-1200cl.2UNSAT0.15
robots_1_5_4_73.2SAT0.16
toilet_a_08_01.16SAT0.16
robots_1_5_5_5.2SAT0.16
cnt04eSAT0.16
toilet_a_10_05.3UNSAT0.16
term1.blif_0.10_0.20_0_1_inp_exactSAT0.17
cf_4_5x4_d_UNSAT0.17
robots_1_5_4_21.2SAT0.17
robots_1_5_3_17.2SAT0.18
MB4qbf-5cnf-150var-1800cl.2UNSAT0.19
vonNeumann-ripple-carry-5-cUNSAT0.2
2qbf-5cnf-50var-800cl.1UNSAT0.21
lognBWLARGEA1UNSAT0.22
k_ph_n-7SAT0.22
cf_4_5x5_d_UNSAT0.23
k_lin_p-10UNSAT0.23
cf_3_6x4_w_UNSAT0.24
flipflop-8-cUNSAT0.24
4qbf-5cnf-100var-200cl.1SAT0.24
cf_5_5x6_w_UNSAT0.25
toilet_c_08_01.13UNSAT0.25
cf_5_6x5_w_UNSAT0.26
MB2qbf-5cnf-100var-1000cl.2UNSAT0.27
cf_4_5x6_w_UNSAT0.28
cnt06SAT0.28
cf_4_6x5_d_UNSAT0.29
MB5qbf-5cnf-50var-300cl.1UNSAT0.29
cf_6_6x6_d_UNSAT0.3
3qbf-5cnf-50var-200cl.2SAT0.31
cf_5_5x7_d_UNSAT0.32
cf_5_7x5_d_UNSAT0.33
BLOCKS3ii.5.3SAT0.33
cf_2_4x8_d_UNSAT0.36
MB2qbf-5cnf-50var-500cl.2UNSAT0.37
BLOCKS3iii.5SAT0.37
5qbf-5cnf-100var-200cl.2SAT0.38
term1.blif_0.10_1.00_0_0_inp_exactUNSAT0.39
2qbf-5cnf-100var-1800cl.2UNSAT0.4
k_lin_n-3SAT0.4
s3271_d5_sUNSAT0.42
cf_2_3x2_r_SAT0.42
3qbf-5cnf-150var-300cl.2SAT0.42
k_ph_n-8SAT0.43
flipflop-9-cUNSAT0.44
cf_7_7x7_d_UNSAT0.46
cf_5_7x6_d_UNSAT0.47
2qbf-5cnf-150var-2400cl.2UNSAT0.5
cf_4_6x7_d_UNSAT0.5
cf_6_6x8_w_UNSAT0.51
3qbf-5cnf-150var-300cl.1SAT0.55
k_lin_p-11UNSAT0.58
MB2qbf-5cnf-50var-100cl.2UNSAT0.6
cf_7_8x7_d_UNSAT0.62
lognBWLARGEB1UNSAT0.63
robots_1_5_5_75.3SAT0.63
vonNeumann-ripple-carry-7-cUNSAT0.65
cf_6_8x7_d_UNSAT0.7
cf_8_8x8_w_UNSAT0.71
tree-exa10-25SAT0.74
flipflop-10-cUNSAT0.76
2qbf-5cnf-50var-600cl.2UNSAT0.77
k_dum_n-3SAT0.77
cf_7_9x7_w_UNSAT0.78
2qbf-5cnf-50var-500cl.1UNSAT0.78
cf_2_5x4_r_SAT0.79
k_path_n-3SAT0.81
cf_7_8x8_w_UNSAT0.82
5qbf-5cnf-50var-300cl.1SAT0.89
cf_2_4x8_r_SAT0.92
comp.blif_0.10_1.00_0_0_out_exactUNSAT0.97
3qbf-5cnf-100var-1800cl.2UNSAT0.98
CHAIN12v.13SAT1.01
2qbf-5cnf-100var-200cl.1SAT1.06
k_lin_p-15UNSAT1.08
cf_7_9x8_w_UNSAT1.08
2qbf-5cnf-50var-700cl.2UNSAT1.09
MB4qbf-5cnf-50var-100cl.2SAT1.12
MB5qbf-5cnf-50var-100cl.2SAT1.18
4qbf-5cnf-50var-900cl.2UNSAT1.24
cf_3_9x5_d_UNSAT1.27
cf_2_9x5_w_UNSAT1.27
flipflop-11-cUNSAT1.29
k_lin_p-18UNSAT1.31
toilet_c_10_05.4SAT1.33
cf_4_5x9_d_UNSAT1.37
k_branch_p-3UNSAT1.38
2qbf-5cnf-100var-1600cl.1UNSAT1.4
s3271_d12_sUNSAT1.41
3qbf-5cnf-50var-900cl.1UNSAT1.43
cf_7_7x9_d_UNSAT1.62
vonNeumann-ripple-carry-9-cUNSAT1.67
cf_8_8x9_w_UNSAT1.74
cf_8_8x9_d_UNSAT1.74
C499.blif_0.10_0.20_0_1_inp_exactSAT1.79
cf_4_8x8_w_UNSAT1.82
cf_9_9x9_d_UNSAT1.86
cf_3_8x8_w_UNSAT1.87
cf_9_9x9_w_UNSAT1.87
s3271_d15_sUNSAT1.89
term1.blif_0.10_1.00_0_0_out_exactUNSAT1.91
MB2qbf-5cnf-50var-400cl.2UNSAT1.91
cf_3_7x9_w_UNSAT1.95
robots_1_5_4_85.5SAT2.01
cf_6_8x9_d_UNSAT2.05
cf_8_9x9_d_UNSAT2.07
cf_8_9x9_w_UNSAT2.07
cf_5_8x9_w_UNSAT2.18
cf_7_9x9_d_UNSAT2.29
robots_1_5_2_3.5SAT2.3
k_ph_p-7UNSAT2.32
cf_3_8x9_d_UNSAT2.34
s3271_d18_uUNSAT2.46
vonNeumann-ripple-carry-10-cUNSAT2.49
s3271_d19_uUNSAT2.63
MB4qbf-5cnf-50var-800cl.2UNSAT2.67
toilet_a_10_01.15UNSAT2.69
2qbf-5cnf-50var-600cl.1UNSAT2.72
cf_3_9x9_w_UNSAT2.75
CHAIN13v.14SAT2.8
s3271_d20_uUNSAT2.83
cf_2_8x3_r_SAT3.13
MB2qbf-5cnf-100var-1000cl.1UNSAT3.19
s3271_d22_uUNSAT3.26
vonNeumann-ripple-carry-11-cUNSAT3.51
3qbf-5cnf-50var-300cl.2SAT3.63
MB4qbf-5cnf-50var-700cl.1UNSAT3.68
k_dum_p-6UNSAT3.84
robots_1_5_4_91.4SAT4.02
robots_1_5_5_55.6SAT4.66
robots_1_5_3_62.4SAT4.7
robots_1_5_3_80.4SAT4.91
vonNeumann-ripple-carry-12-cUNSAT4.96
robots_1_5_2_69.4SAT5.28
TOILET6.1.iv.11UNSAT6.01
4qbf-5cnf-100var-200cl.2SAT6.31
MB5qbf-5cnf-50var-100cl.1SAT6.35
2qbf-5cnf-150var-2700cl.2UNSAT6.38
5qbf-5cnf-150var-300cl.2SAT6.6
MB3qbf-5cnf-100var-200cl.1SAT6.61
vonNeumann-ripple-carry-13-cUNSAT6.65
TOILET6.1.iv.12SAT7.33
CHAIN14v.15SAT7.56
MB2qbf-5cnf-150var-1800cl.1UNSAT7.75
5qbf-5cnf-50var-200cl.2SAT7.99
MB2qbf-5cnf-50var-400cl.1UNSAT8.51
vonNeumann-ripple-carry-14-cUNSAT8.75
MB2qbf-5cnf-100var-800cl.2UNSAT9.69
2qbf-5cnf-100var-1600cl.2UNSAT11.71
k_dum_n-4SAT11.74
robots_1_5_2_72.7SAT11.84
cf_2_8x5_r_SAT12.36
k_dum_p-8UNSAT15.61
3qbf-5cnf-50var-300cl.1SAT18.06
2qbf-5cnf-50var-400cl.1UNSAT19.03
k_grz_n-2SAT22.1
3qbf-5cnf-50var-400cl.2SAT22.85
MB3qbf-5cnf-50var-200cl.2UNSAT24.39
MB4qbf-5cnf-50var-400cl.2UNSAT24.85
TOILET7.1.iv.13UNSAT25.94
robots_1_5_5_18.5UNSAT26.1
robots_1_5_5_59.5UNSAT26.15
k_path_n-4SAT27.24
TOILET7.1.iv.14SAT29.41
MB2qbf-5cnf-50var-100cl.1SAT29.49
comp.blif_0.10_0.20_0_0_out_exactUNSAT29.82
MB2qbf-5cnf-50var-300cl.1UNSAT32.21
4qbf-5cnf-50var-200cl.1SAT32.55
3qbf-5cnf-100var-400cl.2SAT37.66
C499.blif_0.10_1.00_0_0_inp_exactUNSAT38.35
tree-exa10-30SAT38.43
mutex-4-sSAT46.28
k_grz_n-3SAT52.61
k_lin_n-6SAT56.83
robots_1_5_2_61.6UNSAT58.01
2qbf-5cnf-150var-2400cl.1UNSAT63.85
BLOCKS4ii.6.3UNSAT66.03
CHAIN16v.17SAT68.03
k_branch_n-15FAIL76.95
k_branch_n-14FAIL77.46
k_branch_p-15FAIL77.54
test2_quant_squaring3FAIL77.6
k_branch_p-14FAIL78.24
s1196_d2_sFAIL79.38
k_branch_p-13FAIL79.59
k_grz_p-3UNSAT80.65
s1196_d3_uFAIL81.88
3qbf-5cnf-100var-1800cl.1UNSAT82.11
k_branch_p-16FAIL82.5
k_branch_n-16FAIL83.14
k_branch_p-19FAIL84.98
s298_d16_sFAIL85.13
s1196_d7_uFAIL85.64
k_branch_n-20FAIL86.1
s298_d17_sFAIL86.5
s298_d21_uFAIL87.07
s298_d19_uFAIL87.81
k_branch_n-9FAIL88.19
BLOCKS3i.5.3UNSAT88.26
s641_d10_uFAIL89.88
s641_d8_uFAIL90.24
s820_d14_uFAIL90.7
s713_d10_uFAIL90.71
s713_d9_uFAIL90.9
s713_d8_uFAIL91.08
s641_d11_uFAIL92.14
s1196_d4_uFAIL93.25
cf_6_6x6_r_FAIL99.15
s1269_d15_uFAIL101.19
cf_5_5x5_r_FAIL102.21
s820_d12_uFAIL103.69
s298_d14_sFAIL104.2
k_grz_p-4UNSAT104.24
s1196_d6_uFAIL104.41
s713_d7_uFAIL105.58
s3330_d4_sFAIL105.98
s1196_d5_uFAIL106.03
s641_d7_uFAIL106.65
cf_4_5x9_r_FAIL106.98
s641_d5_sFAIL107.18
s510_d31_sFAIL107.84
s386_d12_uFAIL107.91
k_lin_n-7SAT108.09
s510_d13_sFAIL108.12
k_lin_n-15FAIL108.27
s820_d11_uFAIL108.67
s641_d6_sFAIL109
k_lin_n-14FAIL109.19
s820_d9_sFAIL109.37
s820_d8_sFAIL109.39
s3330_d3_sFAIL109.69
BLOCKS4ii.7.2UNSAT109.85
s713_d6_sFAIL110.48
cf_5_6x9_r_FAIL110.49
k_t4p_n-19FAIL110.82
k_lin_n-19FAIL111.96
k_branch_n-7FAIL112.49
s3330_d12_uFAIL113.94
s1269_d6_sFAIL114.74
s3330_d13_uFAIL114.82
s510_d49_uFAIL115.06
k_t4p_n-18FAIL115.55
s1269_d9_sFAIL115.85
test5_quant_squaring5FAIL115.95
s510_d48_uFAIL116.04
s510_d12_sFAIL117.09
s510_d51_uFAIL117.25
s510_d42_sFAIL117.81
s510_d46_sFAIL117.91
s713_d4_sFAIL118.33
s3330_d6_sFAIL118.68
s499_d19_sFAIL118.8
cf_6_6x9_r_FAIL118.88
s499_d18_sFAIL119.81
s499_d14_sFAIL120.36
s1269_d10_sFAIL121.33
s3330_d2_sFAIL121.63
s386_d8_uFAIL122.46
k_t4p_n-17FAIL122.46
k_branch_p-8FAIL125.72
robots_1_5_3_15.6SAT125.98
cf_3_5x4_r_FAIL127.59
s3330_d10_uFAIL128.64
s1269_d5_sFAIL129.98
C432.blif_0.10_0.20_0_1_inp_exactSAT130.83
s386_d10_uFAIL130.93
s386_d9_uFAIL131.26
s499_d10_sFAIL131.74
s3330_d8_sFAIL138.54
s641_d3_sFAIL139.23
C5315.blif_0.10_1.00_0_1_out_exactSAT139.34
k_t4p_n-15FAIL143.27
term1.blif_0.10_0.20_0_0_inp_exactUNSAT144.19
s713_d3_sFAIL146.96
cf_6_8x6_r_FAIL152.25
s386_d7_sFAIL153.76
s1269_d4_sFAIL155.92
s820_d5_sFAIL156.01
k_t4p_n-14FAIL156.51
k_branch_n-6FAIL159.77
robots_1_5_5_34.6UNSAT160.89
k_path_p-6UNSAT165.38
robots_1_5_2_42.7UNSAT166.28
k_t4p_n-13FAIL172.48
s1269_d3_sFAIL177.31
k_ph_n-15SAT179.42
k_path_p-20FAIL181.29
cf_8_8x8_r_FAIL184.1
s820_d4_sFAIL188.94
cf_6_8x8_r_FAIL189.62
s298_d10_sFAIL198.31
2qbf-5cnf-50var-500cl.2UNSAT199.09
s386_d5_sFAIL201.26
test5_quant_squaring4FAIL201.55
cf_8_8x9_r_FAIL202.84
k_ph_p-14FAIL207.4
s820_d3_sFAIL211.49
k_ph_p-15FAIL214.2
k_ph_p-17FAIL221.05
s298_d8_sFAIL231.27
MB2qbf-5cnf-150var-1500cl.2UNSAT233.77
CHAIN17v.18SAT235.69
k_dum_n-5SAT236.6
s386_d4_sFAIL240.81
k_t4p_p-19FAIL244.11
k_path_p-17FAIL244.8
k_ph_p-19FAIL244.91
cf_7_9x7_r_FAIL249.96
k_grz_p-9UNSAT252.42
s386_d3_sFAIL254.33
k_ph_p-20FAIL261.05
k_t4p_p-18FAIL263.46
cf_3_9x5_r_FAIL267.1
k_branch_p-5FAIL268.66
C432.blif_0.10_1.00_0_0_out_exactUNSAT269.01
k_ph_n-21FAIL271.19
5qbf-5cnf-150var-2700cl.2FAIL274.75
s641_d2_sFAIL282.31
s499_d7_sFAIL285.47
s1269_d2_sFAIL288.01
test2_quant3FAIL296.71
k_d4_p-19FAIL297.15
cf_9_9x9_r_FAIL306.84
k_poly_n-18FAIL308.7
cf_8_9x9_r_FAIL312.16
k_t4p_p-16FAIL314.06
k_path_p-16FAIL332.16
s713_d2_sFAIL337.34
k_path_p-14FAIL339.81
k_path_n-13FAIL345.06
k_t4p_p-15FAIL346.54
k_d4_n-16FAIL351.48
k_d4_p-17FAIL356.29
Adder2-12-sFAIL376.97
test4_quant_squaring4FAIL377.02
Adder2-16-cFAIL384.65
k_d4_n-15FAIL386.59
C5315.blif_0.10_1.00_0_0_inp_exactUNSAT388.32
k_d4_p-16FAIL394.78
k_poly_n-15FAIL397.08
test2_quant2FAIL407.41
test2_quant_squaring2FAIL409.55
5qbf-5cnf-150var-2100cl.1FAIL417.66
k_d4_n-14FAIL433.33
5qbf-5cnf-150var-2100cl.2FAIL444.41
5qbf-5cnf-150var-2400cl.2FAIL445.6
MB5qbf-5cnf-150var-1200cl.2FAIL448.64
MB5qbf-5cnf-150var-900cl.2FAIL482.72
k_d4_n-13FAIL488.26
k_t4p_p-12FAIL488.9
5qbf-5cnf-150var-1800cl.1FAIL489.39
5qbf-5cnf-150var-2700cl.1FAIL490.73
k_d4_p-14FAIL496.3
test3_quant_squaring4FAIL506.54
cnt16reFAIL527.23
s298_d5_sFAIL529.7
k_dum_p-11UNSAT530.51
5qbf-5cnf-150var-1500cl.2FAIL530.69
5qbf-5cnf-150var-1200cl.2FAIL541.57
k_path_p-11FAIL549.54
5qbf-5cnf-150var-2400cl.1FAIL550.72
k_d4_n-12FAIL555.39
k_d4_p-13FAIL564.59
5qbf-5cnf-150var-1500cl.1FAIL568.97
4qbf-5cnf-150var-2100cl.1FAIL598.02
k_dum_n-18FAIL602.8
5qbf-5cnf-150var-1800cl.2FAIL620.78
4qbf-5cnf-150var-2700cl.1FAIL646.01
k_t4p_p-10FAIL646.27
4qbf-5cnf-150var-2400cl.2FAIL647.52
robots_1_5_3_84.7SAT659.66
MB4qbf-5cnf-150var-1800cl.1FAIL660.37
MB2qbf-5cnf-150var-1200cl.1UNSAT685.85
5qbf-5cnf-150var-1200cl.1FAIL690.67
k_poly_n-11FAIL703.19
MB4qbf-5cnf-50var-500cl.1UNSAT703.21
robots_1_5_3_18.7UNSAT718.37
5qbf-5cnf-100var-1800cl.2FAIL718.56
4qbf-5cnf-150var-2700cl.2FAIL727.7
k_dum_n-16FAIL739.52
5qbf-5cnf-100var-1400cl.2FAIL744.19
MB4qbf-5cnf-150var-1500cl.2FAIL769.14
k_dum_p-20FAIL772.18
4qbf-5cnf-150var-2400cl.1FAIL790.03
k_t4p_n-5FAIL816.83
4qbf-5cnf-150var-2100cl.2FAIL817.85
s499_d4_sFAIL827.82
k_path_n-8FAIL830.7
MB4qbf-5cnf-150var-1500cl.1FAIL840.49
4qbf-5cnf-50var-800cl.1UNSAT841.98
4qbf-5cnf-150var-1800cl.1FAIL849.91
MB4qbf-5cnf-150var-1200cl.1FAIL851.72
5qbf-5cnf-100var-1600cl.1FAIL858.29
4qbf-5cnf-150var-1500cl.1FAIL868.97
5qbf-5cnf-100var-1600cl.2FAIL872.27
mutex-128-sFAIL873.23
MB4qbf-5cnf-150var-1200cl.2FAIL889.66
k_d4_n-9FAIL893.12
robots_1_5_3_16.7SAT897.21
cnt09reFAIL901
cnt09eFAIL901
mutex-16-sFAIL901
szymanski-16-sFAIL901
C880.blif_0.10_1.00_0_1_out_exactFAIL901
MB2qbf-5cnf-150var-300cl.1FAIL901
k_dum_n-8FAIL901
k_poly_n-8FAIL901
C6288.blif_0.10_1.00_0_1_out_exactFAIL901
cnt12eFAIL901
k_d4_p-7FAIL901
MB2qbf-5cnf-50var-200cl.1FAIL901
k_dum_n-6FAIL901
C5315.blif_0.10_0.20_0_1_out_exactFAIL901
test1_quant3FAIL901
k_dum_p-17FAIL901
MB2qbf-5cnf-150var-1200cl.2FAIL901
MB3qbf-5cnf-100var-400cl.1FAIL901
test3_quant2FAIL901
MB2qbf-5cnf-50var-300cl.2FAIL901
C6288.blif_0.10_1.00_0_0_inp_exactFAIL901
MB2qbf-5cnf-100var-600cl.1FAIL901
MB2qbf-5cnf-100var-200cl.1FAIL901
k_grz_n-9FAIL901
MB3qbf-5cnf-100var-200cl.2FAIL901
MB4qbf-5cnf-150var-300cl.1FAIL901
k_path_n-5FAIL901
test5_quant7FAIL901
k_t4p_n-2FAIL901
k_grz_p-17FAIL901
MB4qbf-5cnf-50var-600cl.2FAIL901
test1_quant2FAIL901
MB4qbf-5cnf-50var-400cl.1FAIL901
MB4qbf-5cnf-50var-300cl.2FAIL901
MB4qbf-5cnf-50var-200cl.2FAIL901
MB4qbf-5cnf-50var-200cl.1FAIL901
MB4qbf-5cnf-50var-100cl.1FAIL901
MB4qbf-5cnf-150var-900cl.2FAIL901
MB4qbf-5cnf-150var-900cl.1FAIL901
MB4qbf-5cnf-150var-600cl.2FAIL901
k_path_n-7FAIL901
k_path_n-6FAIL901
szymanski-4-sFAIL901
szymanski-18-sFAIL901
k_grz_p-16FAIL901
MB5qbf-5cnf-50var-400cl.2FAIL901
C6288.blif_0.10_0.20_0_0_out_exactFAIL901
MB5qbf-5cnf-150var-600cl.2FAIL901
BLOCKS4i.6.4FAIL901
mutex-64-sFAIL901
k_poly_n-3FAIL901
s27_d5_uFAIL901
MB5qbf-5cnf-100var-800cl.1FAIL901
k_poly_n-4FAIL901
MB5qbf-5cnf-100var-600cl.1FAIL901
MB5qbf-5cnf-100var-400cl.2FAIL901
MB5qbf-5cnf-100var-400cl.1FAIL901
MB4qbf-5cnf-150var-600cl.1FAIL901
4qbf-5cnf-100var-400cl.1FAIL901
uclid-pipe3aFAIL901
C5315.blif_0.10_1.00_0_0_out_exactFAIL901
C499.blif_0.10_1.00_0_0_out_exactFAIL901
s27_d4_uFAIL901
k_d4_n-8FAIL901
C432.blif_0.10_0.20_0_0_out_exactFAIL901
robots_1_5_5_4.9FAIL901
MB3qbf-5cnf-150var-600cl.2FAIL901
MB3qbf-5cnf-150var-300cl.1FAIL901
szymanski-22-sFAIL901
k_grz_n-16FAIL901
k_t4p_p-4FAIL901
k_grz_n-13FAIL901
k_grz_n-17FAIL901
MB4qbf-5cnf-100var-1000cl.2FAIL901
MB4qbf-5cnf-100var-1000cl.1FAIL901
MB4qbf-5cnf-100var-1200cl.2FAIL901
mutex-32-sFAIL901
k_grz_p-14FAIL901
k_grz_p-19FAIL901
robots_1_5_4_31.8FAIL901
adder-6-unsatFAIL901
MB4qbf-5cnf-100var-800cl.2FAIL901
MB4qbf-5cnf-100var-800cl.1FAIL901
MB4qbf-5cnf-100var-600cl.2FAIL901
MB4qbf-5cnf-100var-200cl.1FAIL901
CHAIN20v.21FAIL901
C5315.blif_0.10_0.20_0_1_inp_exactFAIL901
C6288.blif_0.10_0.20_0_1_out_exactFAIL901
uclid-pipe2FAIL901
MB4qbf-5cnf-100var-1200cl.1FAIL901
szymanski-14-sFAIL901
5qbf-5cnf-100var-1200cl.2FAIL901
3qbf-5cnf-100var-1000cl.2FAIL901
4qbf-5cnf-100var-1600cl.1FAIL901
3qbf-5cnf-100var-1200cl.2FAIL901
3qbf-5cnf-100var-1200cl.1FAIL901
3qbf-5cnf-150var-2100cl.2FAIL901
3qbf-5cnf-100var-1400cl.1FAIL901
3qbf-5cnf-100var-1600cl.2FAIL901
3qbf-5cnf-100var-1600cl.1FAIL901
4qbf-5cnf-100var-1800cl.1FAIL901
4qbf-5cnf-50var-600cl.1FAIL901
4qbf-5cnf-100var-1400cl.1FAIL901
3qbf-5cnf-150var-2400cl.2FAIL901
uclid-pipe3bFAIL901
4qbf-5cnf-100var-1000cl.1FAIL901
5qbf-5cnf-100var-1000cl.1FAIL901
5qbf-5cnf-100var-1000cl.2FAIL901
2qbf-5cnf-100var-800cl.2FAIL901
4qbf-5cnf-50var-800cl.2FAIL901
4qbf-5cnf-100var-1200cl.2FAIL901
4qbf-5cnf-100var-1200cl.1FAIL901
4qbf-5cnf-50var-700cl.1FAIL901
C499.blif_0.10_0.20_0_0_out_exactFAIL901
3qbf-5cnf-150var-1800cl.1FAIL901
2qbf-5cnf-150var-1500cl.2FAIL901
3qbf-5cnf-150var-1200cl.1FAIL901
4qbf-5cnf-150var-1800cl.2FAIL901
4qbf-5cnf-150var-1500cl.2FAIL901
4qbf-5cnf-150var-1200cl.1FAIL901
4qbf-5cnf-150var-1200cl.2FAIL901
4qbf-5cnf-100var-600cl.2FAIL901
4qbf-5cnf-100var-800cl.1FAIL901
2qbf-5cnf-150var-2100cl.2FAIL901
3qbf-5cnf-100var-800cl.2FAIL901
4qbf-5cnf-150var-300cl.1FAIL901
4qbf-5cnf-150var-300cl.2FAIL901
3qbf-5cnf-100var-400cl.1FAIL901
2qbf-5cnf-100var-1000cl.1FAIL901
2qbf-5cnf-100var-1200cl.2FAIL901
3qbf-5cnf-150var-1800cl.2FAIL901
2qbf-5cnf-100var-1200cl.1FAIL901
4qbf-5cnf-150var-900cl.2FAIL901
4qbf-5cnf-150var-900cl.1FAIL901
4qbf-5cnf-150var-600cl.2FAIL901
3qbf-5cnf-150var-1500cl.1FAIL901
4qbf-5cnf-100var-1800cl.2FAIL901
4qbf-5cnf-100var-800cl.2FAIL901
5qbf-5cnf-50var-900cl.1FAIL901
3qbf-5cnf-50var-500cl.1FAIL901
3qbf-5cnf-150var-2700cl.1FAIL901
5qbf-5cnf-50var-300cl.2FAIL901
k_dum_p-16FAIL901
3qbf-5cnf-50var-600cl.1FAIL901
5qbf-5cnf-150var-900cl.2FAIL901
5qbf-5cnf-150var-900cl.1FAIL901
3qbf-5cnf-50var-600cl.2FAIL901
2qbf-5cnf-100var-400cl.1FAIL901
5qbf-5cnf-150var-600cl.1FAIL901
test1_quant_squaring2FAIL901
5qbf-5cnf-50var-800cl.1FAIL901
5qbf-5cnf-50var-700cl.2FAIL901
5qbf-5cnf-50var-700cl.1FAIL901
5qbf-5cnf-50var-600cl.2FAIL901
mutex-8-sFAIL901
2qbf-5cnf-150var-900cl.2FAIL901
5qbf-5cnf-50var-500cl.2FAIL901
5qbf-5cnf-50var-900cl.2FAIL901
s499_d3_sFAIL901
5qbf-5cnf-150var-300cl.1FAIL901
5qbf-5cnf-100var-800cl.2FAIL901
3qbf-5cnf-150var-2700cl.2FAIL901
szymanski-6-sFAIL901
5qbf-5cnf-100var-400cl.1FAIL901
5qbf-5cnf-100var-1800cl.1FAIL901
3qbf-5cnf-150var-2100cl.1FAIL901
5qbf-5cnf-100var-1400cl.1FAIL901
2qbf-5cnf-100var-800cl.1FAIL901
5qbf-5cnf-100var-1200cl.1FAIL901
3qbf-5cnf-150var-2400cl.1FAIL901
2qbf-5cnf-50var-400cl.2FAIL901
TOILET10.1.iv.20FAIL901
2qbf-5cnf-100var-200cl.2FAIL901
5qbf-5cnf-100var-600cl.2FAIL901
3qbf-5cnf-150var-600cl.1FAIL901
3qbf-5cnf-50var-700cl.1FAIL901
4qbf-5cnf-100var-1000cl.2FAIL901
C880.blif_0.10_0.20_0_0_out_exactFAIL901
test5_quant5FAIL901.01
3qbf-5cnf-150var-1200cl.2FAIL901.01
3qbf-5cnf-150var-1500cl.2FAIL901.01
MB4qbf-5cnf-50var-300cl.1FAIL901.01
3qbf-5cnf-150var-900cl.1FAIL901.01
C5315.blif_0.10_0.20_0_0_inp_exactFAIL901.01
3qbf-5cnf-150var-600cl.2FAIL901.01
2qbf-5cnf-50var-300cl.2FAIL901.01
3qbf-5cnf-150var-900cl.2FAIL901.01
MB4qbf-5cnf-150var-300cl.2FAIL901.01
2qbf-5cnf-150var-600cl.2FAIL901.01
2qbf-5cnf-150var-300cl.1FAIL901.01
MB5qbf-5cnf-50var-200cl.2FAIL901.01
MB5qbf-5cnf-50var-200cl.1FAIL901.01
k_poly_n-7FAIL901.01
C432.blif_0.10_0.20_0_1_out_exactFAIL901.01
C880.blif_0.10_0.20_0_1_out_exactFAIL901.01
2qbf-5cnf-150var-2700cl.1FAIL901.01
MB5qbf-5cnf-150var-600cl.1FAIL901.01
MB5qbf-5cnf-50var-300cl.2FAIL901.01
MB5qbf-5cnf-50var-400cl.1FAIL901.01
2qbf-5cnf-150var-900cl.1FAIL901.01
2qbf-5cnf-150var-300cl.2FAIL901.01
TOILET16.1.iv.32FAIL901.01
adder-10-satFAIL901.01
2qbf-5cnf-50var-200cl.1FAIL901.01
2qbf-5cnf-50var-200cl.2FAIL901.01
adder-6-satFAIL901.01
2qbf-5cnf-50var-300cl.1FAIL901.01
MB5qbf-5cnf-150var-300cl.2FAIL901.01
MB5qbf-5cnf-150var-300cl.1FAIL901.01
C499.blif_0.10_0.20_0_0_inp_exactFAIL901.01
MB5qbf-5cnf-100var-200cl.1FAIL901.01
2qbf-5cnf-150var-1200cl.1FAIL901.01
C6288.blif_0.10_1.00_0_0_out_exactFAIL901.01
2qbf-5cnf-150var-1200cl.2FAIL901.01
C880.blif_0.10_1.00_0_0_out_exactFAIL901.01
3qbf-5cnf-100var-800cl.1FAIL901.01
3qbf-5cnf-100var-600cl.1FAIL901.01
C6288.blif_0.10_0.20_0_0_inp_exactFAIL901.01
MB5qbf-5cnf-100var-200cl.2FAIL901.01
2qbf-5cnf-150var-1500cl.1FAIL901.01
2qbf-5cnf-150var-2100cl.1FAIL901.01
adder-8-unsatFAIL901.01
2qbf-5cnf-150var-1800cl.1FAIL901.01
adder-4-unsatFAIL901.01
2qbf-5cnf-150var-1800cl.2FAIL901.01
szymanski-10-sFAIL901.01
3qbf-5cnf-100var-1000cl.1FAIL901.01
3qbf-5cnf-100var-1400cl.2FAIL901.01
3qbf-5cnf-100var-600cl.2FAIL901.01
5qbf-5cnf-50var-800cl.2FAIL901.01
5qbf-5cnf-100var-400cl.2FAIL901.01
MB2qbf-5cnf-50var-200cl.2FAIL901.01
szymanski-12-sFAIL901.01
C432.blif_0.10_0.20_0_0_inp_exactFAIL901.01
k_dum_p-15FAIL901.01
test3_quant_squaring2FAIL901.01
4qbf-5cnf-50var-900cl.1FAIL901.01
C880.blif_0.10_0.20_0_0_inp_exactFAIL901.01
4qbf-5cnf-50var-700cl.2FAIL901.01
k_grz_n-18FAIL901.01
4qbf-5cnf-50var-600cl.2FAIL901.01
4qbf-5cnf-50var-500cl.2FAIL901.01
4qbf-5cnf-50var-500cl.1FAIL901.01
C880.blif_0.10_1.00_0_0_inp_exactFAIL901.01
4qbf-5cnf-50var-400cl.2FAIL901.01
4qbf-5cnf-50var-400cl.1FAIL901.01
4qbf-5cnf-50var-300cl.2FAIL901.01
5qbf-5cnf-100var-600cl.1FAIL901.01
MB2qbf-5cnf-150var-900cl.2FAIL901.01
MB2qbf-5cnf-150var-900cl.1FAIL901.01
5qbf-5cnf-50var-600cl.1FAIL901.01
s499_d2_sFAIL901.01
5qbf-5cnf-50var-500cl.1FAIL901.01
MB2qbf-5cnf-100var-200cl.2FAIL901.01
MB2qbf-5cnf-100var-400cl.1FAIL901.01
MB2qbf-5cnf-100var-400cl.2FAIL901.01
5qbf-5cnf-50var-400cl.2FAIL901.01
MB2qbf-5cnf-100var-600cl.2FAIL901.01
5qbf-5cnf-50var-400cl.1FAIL901.01
k_d4_n-6FAIL901.01
s27_d3_uFAIL901.01
5qbf-5cnf-150var-600cl.2FAIL901.01
k_d4_p-6FAIL901.01
5qbf-5cnf-100var-800cl.1FAIL901.01
MB2qbf-5cnf-150var-300cl.2FAIL901.01
MB2qbf-5cnf-150var-600cl.1FAIL901.01
MB2qbf-5cnf-150var-600cl.2FAIL901.01
MB2qbf-5cnf-100var-800cl.1FAIL901.01
MB3qbf-5cnf-100var-400cl.2FAIL901.01
2qbf-5cnf-100var-1400cl.2FAIL901.01
robots_1_5_4_34.8FAIL901.01
C6288.blif_0.10_0.20_0_1_inp_exactFAIL901.01
4qbf-5cnf-100var-1600cl.2FAIL901.01
4qbf-5cnf-100var-1400cl.2FAIL901.01
C880.blif_0.10_0.20_0_1_inp_exactFAIL901.01
2qbf-5cnf-100var-1400cl.1FAIL901.01
MB4qbf-5cnf-100var-200cl.2FAIL901.01
MB4qbf-5cnf-100var-400cl.1FAIL901.01
MB4qbf-5cnf-100var-400cl.2FAIL901.01
MB4qbf-5cnf-100var-600cl.1FAIL901.01
3qbf-5cnf-50var-700cl.2FAIL901.01
3qbf-5cnf-50var-500cl.2FAIL901.01
3qbf-5cnf-50var-400cl.1FAIL901.01
2qbf-5cnf-100var-400cl.2FAIL901.01
2qbf-5cnf-100var-600cl.1FAIL901.01
robots_1_5_3_27.9FAIL901.01
test4_quant4FAIL901.01
4qbf-5cnf-100var-400cl.2FAIL901.01
4qbf-5cnf-100var-600cl.1FAIL901.01
CHAIN19v.20FAIL901.01
4qbf-5cnf-50var-300cl.1FAIL901.01
4qbf-5cnf-50var-200cl.2FAIL901.01
k_grz_n-12FAIL901.01
2qbf-5cnf-100var-1000cl.2FAIL901.01
C5315.blif_0.10_0.20_0_0_out_exactFAIL901.01
term1.blif_0.10_0.20_0_0_out_exactFAIL901.01
CHAIN23v.24FAIL901.01
4qbf-5cnf-150var-600cl.1FAIL901.01
MB3qbf-5cnf-150var-300cl.2FAIL901.01
MB3qbf-5cnf-150var-600cl.1FAIL901.01
2qbf-5cnf-150var-600cl.1FAIL901.01
MB3qbf-5cnf-50var-200cl.1FAIL901.01
k_grz_p-10FAIL901.01
C499.blif_0.10_0.20_0_1_out_exactFAIL901.01
C6288.blif_0.10_1.00_0_1_inp_exactFAIL901.01
robots_1_5_4_87.8FAIL901.01
2qbf-5cnf-100var-600cl.2FAIL901.01