Instances solved by QSAT
QBFEVAL'04

InstanceResultTime
MB2qbf-5cnf-50var-100cl.2UNSAT0
MB3qbf-5cnf-50var-100cl.2SAT0
BLOCKS3ii.4.3UNSAT0
MB4qbf-5cnf-150var-300cl.2SAT0
MB5qbf-5cnf-50var-100cl.1SAT0
z4ml.blif_0.10_0.20_0_1_out_exactSAT0
MB4qbf-5cnf-150var-300cl.1SAT0
MB2qbf-5cnf-50var-400cl.1UNSAT0
5qbf-5cnf-50var-100cl.1SAT0
2qbf-5cnf-50var-900cl.1UNSAT0
MB2qbf-5cnf-100var-1000cl.1UNSAT0
4qbf-5cnf-50var-100cl.2SAT0
z4ml.blif_0.10_1.00_0_1_inp_exactSAT0
MB5qbf-5cnf-100var-200cl.2SAT0
toilet_a_06_01.5UNSAT0
MB5qbf-5cnf-100var-400cl.1UNSAT0
k_ph_p-3UNSAT0
k_poly_n-18FAIL0
5qbf-5cnf-150var-300cl.2SAT0
5qbf-5cnf-100var-200cl.2SAT0
toilet_g_02_01.2SAT0
MB3qbf-5cnf-150var-300cl.1SAT0
5qbf-5cnf-100var-200cl.1SAT0
MB2qbf-5cnf-50var-600cl.1UNSAT0
3qbf-5cnf-50var-200cl.2SAT0
MB2qbf-5cnf-50var-800cl.1UNSAT0
2qbf-5cnf-50var-600cl.2UNSAT0
k_d4_p-3UNSAT0
z4ml.blif_0.10_1.00_0_1_out_exactSAT0
k_d4_p-7UNSAT0
MB5qbf-5cnf-100var-200cl.1SAT0
Adder2-2-cUNSAT0
MB2qbf-5cnf-50var-800cl.2UNSAT0.01
MB4qbf-5cnf-50var-800cl.1UNSAT0.01
4qbf-5cnf-100var-200cl.2SAT0.01
MB4qbf-5cnf-100var-600cl.2UNSAT0.01
k_poly_p-2UNSAT0.01
k_poly_p-7UNSAT0.01
5qbf-5cnf-150var-600cl.1SAT0.01
MB2qbf-5cnf-100var-800cl.1UNSAT0.01
3qbf-5cnf-50var-100cl.1SAT0.01
2qbf-5cnf-100var-1600cl.1UNSAT0.01
TOILET2.1.iv.3UNSAT0.01
MB4qbf-5cnf-100var-200cl.1SAT0.01
3qbf-5cnf-50var-100cl.2SAT0.01
k_ph_n-3SAT0.01
MB4qbf-5cnf-100var-200cl.2SAT0.01
2qbf-5cnf-100var-1400cl.1UNSAT0.01
MB4qbf-5cnf-50var-100cl.1SAT0.01
MB2qbf-5cnf-150var-900cl.2UNSAT0.01
5qbf-5cnf-150var-600cl.2SAT0.01
4qbf-5cnf-100var-200cl.1SAT0.01
MB3qbf-5cnf-150var-300cl.2SAT0.01
TOILET2.1.iv.4SAT0.01
impl02SAT0.01
3qbf-5cnf-150var-300cl.2SAT0.01
MB2qbf-5cnf-100var-1000cl.2UNSAT0.01
2qbf-5cnf-100var-1000cl.2UNSAT0.01
z4ml.blif_0.10_0.20_0_0_inp_exactUNSAT0.01
5qbf-5cnf-50var-100cl.2SAT0.01
3qbf-5cnf-150var-300cl.1SAT0.01
5qbf-5cnf-50var-200cl.1SAT0.01
MB3qbf-5cnf-50var-100cl.1SAT0.01
MB4qbf-5cnf-50var-100cl.2SAT0.01
z4ml.blif_0.10_0.20_0_1_inp_exactSAT0.01
z4ml.blif_0.10_1.00_0_0_out_exactUNSAT0.01
MB4qbf-5cnf-50var-400cl.2UNSAT0.01
tree-exa2-15UNSAT0.01
MB4qbf-5cnf-50var-400cl.1UNSAT0.01
MB4qbf-5cnf-50var-300cl.2UNSAT0.01
MB2qbf-5cnf-100var-1200cl.1UNSAT0.01
cnt02SAT0.01
k_poly_p-8UNSAT0.01
cnt02eSAT0.01
5qbf-5cnf-50var-200cl.2SAT0.01
k_ph_n-1SAT0.01
flipflop-3-cUNSAT0.01
k_d4_p-6UNSAT0.01
k_d4_p-17UNSAT0.01
2qbf-5cnf-50var-900cl.2UNSAT0.01
MB2qbf-5cnf-50var-400cl.2UNSAT0.01
MB5qbf-5cnf-50var-200cl.2SAT0.01
MB5qbf-5cnf-50var-200cl.1SAT0.01
MB5qbf-5cnf-50var-100cl.2SAT0.01
5qbf-5cnf-100var-400cl.2SAT0.01
k_d4_p-13UNSAT0.01
k_lin_p-1UNSAT0.01
MB5qbf-5cnf-150var-600cl.1UNSAT0.01
4qbf-5cnf-50var-100cl.1SAT0.01
2qbf-5cnf-50var-800cl.2UNSAT0.01
2qbf-5cnf-50var-800cl.1UNSAT0.01
k_d4_p-19UNSAT0.01
2qbf-5cnf-50var-500cl.2UNSAT0.01
MB2qbf-5cnf-50var-900cl.2UNSAT0.01
MB2qbf-5cnf-50var-700cl.2UNSAT0.01
MB2qbf-5cnf-50var-700cl.1UNSAT0.01
MB2qbf-5cnf-50var-600cl.2UNSAT0.01
MB2qbf-5cnf-50var-900cl.1UNSAT0.01
MB2qbf-5cnf-50var-500cl.2UNSAT0.01
5qbf-5cnf-100var-400cl.1SAT0.01
MB2qbf-5cnf-50var-500cl.1UNSAT0.01
k_lin_n-1SAT0.01
2qbf-5cnf-50var-700cl.1UNSAT0.01
2qbf-5cnf-50var-700cl.2UNSAT0.01
4qbf-5cnf-150var-300cl.2SAT0.01
MB5qbf-5cnf-150var-300cl.2SAT0.01
toilet_g_15_01.2SAT0.01
lognBWLARGEA0UNSAT0.01
k_path_p-6UNSAT0.01
3qbf-5cnf-100var-200cl.1SAT0.01
toilet_g_10_01.2SAT0.01
toilet_c_04_01.6UNSAT0.01
3qbf-5cnf-100var-200cl.2SAT0.01
z4ml.blif_0.10_1.00_0_0_inp_exactUNSAT0.01
toilet_g_04_01.2SAT0.01
toilet_c_10_01.3UNSAT0.01
k_path_p-2UNSAT0.01
toilet_g_06_01.2SAT0.01
2qbf-5cnf-150var-1500cl.2UNSAT0.01
toilet_g_08_01.2SAT0.01
MB5qbf-5cnf-150var-300cl.1SAT0.01
4qbf-5cnf-150var-300cl.1SAT0.01
k_path_p-3UNSAT0.01
MB3qbf-5cnf-100var-200cl.1SAT0.01
MB3qbf-5cnf-100var-200cl.2SAT0.01
5qbf-5cnf-150var-300cl.1SAT0.01
MB2qbf-5cnf-150var-1500cl.2UNSAT0.02
MB2qbf-5cnf-150var-1200cl.1UNSAT0.02
MB2qbf-5cnf-100var-1800cl.2UNSAT0.02
toilet_a_08_01.3UNSAT0.02
3qbf-5cnf-50var-200cl.1SAT0.02
comp.blif_0.10_1.00_0_1_inp_exactSAT0.02
toilet_c_06_05.4SAT0.02
MB2qbf-5cnf-100var-800cl.2UNSAT0.02
toilet_g_20_01.2SAT0.02
k_branch_p-3UNSAT0.02
k_poly_p-11UNSAT0.02
MB2qbf-5cnf-150var-1500cl.1UNSAT0.02
k_lin_p-5UNSAT0.02
k_branch_n-1SAT0.02
k_lin_p-6UNSAT0.02
impl06SAT0.02
k_poly_p-10UNSAT0.02
MB2qbf-5cnf-150var-2400cl.1UNSAT0.02
k_poly_p-14UNSAT0.02
k_poly_p-12UNSAT0.02
z4ml.blif_0.10_0.20_0_0_out_exactUNSAT0.02
k_d4_p-14UNSAT0.02
k_poly_p-17FAIL0.02
MB4qbf-5cnf-50var-700cl.1UNSAT0.02
2qbf-5cnf-100var-1200cl.2UNSAT0.02
lognBWLARGEB0UNSAT0.02
MB2qbf-5cnf-100var-1200cl.2UNSAT0.02
3qbf-5cnf-100var-400cl.2SAT0.02
3qbf-5cnf-100var-400cl.1SAT0.02
cf_2_2x3_w_UNSAT0.02
MB4qbf-5cnf-50var-500cl.2UNSAT0.02
mutex-2-sSAT0.02
BLOCKS3i.4.4UNSAT0.02
MB4qbf-5cnf-50var-700cl.2UNSAT0.02
MB4qbf-5cnf-50var-600cl.2UNSAT0.02
MB4qbf-5cnf-150var-900cl.1UNSAT0.02
MB4qbf-5cnf-50var-300cl.1UNSAT0.02
k_d4_p-16UNSAT0.02
2qbf-5cnf-100var-1600cl.2UNSAT0.02
5qbf-5cnf-50var-300cl.1SAT0.02
2qbf-5cnf-100var-1800cl.2UNSAT0.02
2qbf-5cnf-100var-1800cl.1UNSAT0.02
toilet_a_10_01.4FAIL0.02
2qbf-5cnf-150var-1800cl.2UNSAT0.02
TOILET6.1.iv.12SAT0.02
MB2qbf-5cnf-100var-1400cl.1UNSAT0.02
MB4qbf-5cnf-50var-200cl.2UNSAT0.02
comp.blif_0.10_1.00_0_0_inp_exactUNSAT0.02
flipflop-4-cUNSAT0.02
k_ph_n-4SAT0.02
2qbf-5cnf-150var-2400cl.1UNSAT0.02
s27_d2_sSAT0.02
2qbf-5cnf-150var-2400cl.2UNSAT0.02
2qbf-5cnf-100var-1400cl.2UNSAT0.02
2qbf-5cnf-150var-1800cl.1UNSAT0.02
2qbf-5cnf-150var-2100cl.1UNSAT0.02
MB2qbf-5cnf-150var-2100cl.2UNSAT0.03
k_ph_p-4UNSAT0.03
MB2qbf-5cnf-150var-1800cl.2UNSAT0.03
MB2qbf-5cnf-150var-2400cl.2UNSAT0.03
MB2qbf-5cnf-150var-2100cl.1UNSAT0.03
MB2qbf-5cnf-150var-1800cl.1UNSAT0.03
MB4qbf-5cnf-50var-500cl.1UNSAT0.03
TOILET7.1.iv.14SAT0.03
MB3qbf-5cnf-50var-300cl.2UNSAT0.03
MB2qbf-5cnf-100var-1600cl.2UNSAT0.03
2qbf-5cnf-150var-2100cl.2UNSAT0.03
2qbf-5cnf-150var-2700cl.2UNSAT0.03
MB2qbf-5cnf-100var-1800cl.1UNSAT0.03
4qbf-5cnf-50var-900cl.2UNSAT0.03
BLOCKS3iii.5SAT0.03
2qbf-5cnf-150var-2700cl.1UNSAT0.03
MB2qbf-5cnf-100var-1600cl.1UNSAT0.03
MB4qbf-5cnf-100var-600cl.1UNSAT0.03
MB2qbf-5cnf-150var-2700cl.2UNSAT0.03
flipflop-5-cUNSAT0.04
k_path_n-1SAT0.04
cf_2_3x2_r_SAT0.04
MB4qbf-5cnf-50var-600cl.1UNSAT0.04
MB5qbf-5cnf-100var-400cl.2UNSAT0.04
MB4qbf-5cnf-50var-900cl.1UNSAT0.04
MB2qbf-5cnf-150var-300cl.2UNSAT0.04
MB2qbf-5cnf-150var-2700cl.1UNSAT0.04
MB4qbf-5cnf-50var-800cl.2UNSAT0.04
MB3qbf-5cnf-50var-200cl.2UNSAT0.04
MB3qbf-5cnf-50var-300cl.1UNSAT0.04
C432.blif_0.10_1.00_0_1_inp_exactSAT0.04
MB3qbf-5cnf-50var-200cl.1UNSAT0.04
MB4qbf-5cnf-100var-1800cl.1UNSAT0.04
4qbf-5cnf-50var-900cl.1UNSAT0.04
MB4qbf-5cnf-50var-200cl.1UNSAT0.04
3qbf-5cnf-50var-300cl.2SAT0.04
MB3qbf-5cnf-50var-500cl.2UNSAT0.05
cf_4_5x4_d_UNSAT0.05
k_path_p-11UNSAT0.05
MB4qbf-5cnf-50var-900cl.2UNSAT0.05
MB2qbf-5cnf-100var-1400cl.2UNSAT0.05
3qbf-5cnf-50var-300cl.1SAT0.05
k_dum_n-1SAT0.05
MB3qbf-5cnf-50var-500cl.1UNSAT0.05
k_lin_p-8UNSAT0.05
k_dum_p-1UNSAT0.05
3qbf-5cnf-50var-800cl.1UNSAT0.05
MB5qbf-5cnf-50var-600cl.1UNSAT0.05
impl08SAT0.06
k_path_p-14UNSAT0.06
MB3qbf-5cnf-50var-600cl.2UNSAT0.06
MB3qbf-5cnf-50var-600cl.1UNSAT0.06
4qbf-5cnf-50var-800cl.2UNSAT0.06
MB3qbf-5cnf-50var-400cl.1UNSAT0.06
MB3qbf-5cnf-50var-400cl.2UNSAT0.06
MB3qbf-5cnf-50var-800cl.2UNSAT0.06
MB5qbf-5cnf-50var-900cl.2UNSAT0.07
MB3qbf-5cnf-50var-900cl.1UNSAT0.07
MB3qbf-5cnf-50var-900cl.2UNSAT0.07
MB5qbf-5cnf-50var-700cl.1UNSAT0.07
MB4qbf-5cnf-100var-400cl.1UNSAT0.07
k_lin_p-10UNSAT0.07
MB4qbf-5cnf-100var-800cl.1UNSAT0.07
MB3qbf-5cnf-50var-700cl.1UNSAT0.07
MB3qbf-5cnf-50var-800cl.1UNSAT0.07
MB3qbf-5cnf-50var-700cl.2UNSAT0.07
MB4qbf-5cnf-150var-900cl.2UNSAT0.07
3qbf-5cnf-50var-700cl.1UNSAT0.07
BLOCKS3ii.5.3SAT0.08
k_path_p-16UNSAT0.08
MB4qbf-5cnf-100var-800cl.2UNSAT0.08
lognBWLARGEA1UNSAT0.08
k_path_p-17UNSAT0.08
CHAIN12v.13SAT0.09
3qbf-5cnf-150var-600cl.2SAT0.09
k_lin_p-11UNSAT0.09
cf_5_6x5_w_UNSAT0.09
cf_5_5x6_w_UNSAT0.09
cf_4_5x5_d_UNSAT0.09
cf_3_6x4_w_UNSAT0.09
MB5qbf-5cnf-50var-800cl.2UNSAT0.1
2qbf-5cnf-100var-1200cl.1UNSAT0.1
4qbf-5cnf-50var-800cl.1UNSAT0.1
5qbf-5cnf-100var-600cl.1SAT0.1
cf_4_6x5_d_UNSAT0.11
k_path_p-20UNSAT0.11
MB4qbf-5cnf-100var-1000cl.2UNSAT0.11
k_branch_p-5UNSAT0.11
k_poly_n-1SAT0.12
BLOCKS4i.6.4UNSAT0.12
4qbf-5cnf-50var-600cl.1UNSAT0.12
BLOCKS4ii.6.3UNSAT0.12
cf_6_6x6_d_UNSAT0.12
TOILET10.1.iv.20SAT0.12
4qbf-5cnf-50var-700cl.2UNSAT0.12
cf_4_5x6_w_UNSAT0.12
4qbf-5cnf-100var-1600cl.1UNSAT0.13
MB4qbf-5cnf-100var-1000cl.1UNSAT0.13
cf_5_5x7_d_UNSAT0.13
cf_5_7x5_d_UNSAT0.14
MB4qbf-5cnf-150var-1200cl.1UNSAT0.14
MB2qbf-5cnf-150var-900cl.1UNSAT0.14
MB4qbf-5cnf-150var-2100cl.2UNSAT0.14
3qbf-5cnf-150var-600cl.1SAT0.15
MB3qbf-5cnf-100var-600cl.1UNSAT0.16
cf_2_4x8_d_UNSAT0.16
comp.blif_0.10_0.20_0_1_inp_exactSAT0.16
MB4qbf-5cnf-100var-1600cl.2UNSAT0.17
5qbf-5cnf-100var-600cl.2SAT0.17
MB5qbf-5cnf-100var-800cl.2UNSAT0.17
CHAIN13v.14SAT0.18
toilet_c_06_01.9UNSAT0.18
comp.blif_0.10_0.20_0_0_inp_exactUNSAT0.18
MB3qbf-5cnf-100var-600cl.2UNSAT0.19
MB4qbf-5cnf-150var-1200cl.2UNSAT0.19
MB4qbf-5cnf-100var-1200cl.2UNSAT0.2
BLOCKS4ii.7.2UNSAT0.2
MB5qbf-5cnf-150var-1500cl.2UNSAT0.2
3qbf-5cnf-50var-900cl.2UNSAT0.2
5qbf-5cnf-50var-300cl.2SAT0.2
4qbf-5cnf-50var-600cl.2UNSAT0.2
MB4qbf-5cnf-100var-1200cl.1UNSAT0.2
cf_5_7x6_d_UNSAT0.21
MB4qbf-5cnf-100var-400cl.2UNSAT0.21
cf_7_7x7_d_UNSAT0.21
k_lin_n-2SAT0.22
MB3qbf-5cnf-100var-800cl.1UNSAT0.23
cf_6_6x8_w_UNSAT0.23
lognBWLARGEB1UNSAT0.23
cf_4_6x7_d_UNSAT0.23
3qbf-5cnf-50var-900cl.1UNSAT0.24
MB5qbf-5cnf-50var-300cl.1UNSAT0.25
MB4qbf-5cnf-100var-1600cl.1UNSAT0.25
k_lin_p-15UNSAT0.25
MB3qbf-5cnf-100var-400cl.2UNSAT0.25
MB4qbf-5cnf-100var-1400cl.1UNSAT0.26
MB5qbf-5cnf-100var-1800cl.2UNSAT0.27
MB5qbf-5cnf-100var-1400cl.1UNSAT0.27
robots_1_5_5_29.1SAT0.28
robots_1_5_4_78.1SAT0.28
MB4qbf-5cnf-100var-1400cl.2UNSAT0.28
MB4qbf-5cnf-100var-1800cl.2UNSAT0.29
toilet_c_10_05.10SAT0.29
MB3qbf-5cnf-100var-800cl.2UNSAT0.3
MB3qbf-5cnf-150var-600cl.1UNSAT0.3
MB3qbf-5cnf-100var-1000cl.1UNSAT0.31
cf_7_8x7_d_UNSAT0.32
2qbf-5cnf-50var-600cl.1UNSAT0.32
MB3qbf-5cnf-100var-400cl.1UNSAT0.33
k_lin_p-18UNSAT0.34
MB3qbf-5cnf-100var-1000cl.2UNSAT0.35
CHAIN14v.15SAT0.35
MB5qbf-5cnf-100var-1800cl.1UNSAT0.35
cf_8_8x8_w_UNSAT0.37
cf_4_5x9_r_FAIL0.37
MB3qbf-5cnf-100var-1200cl.2UNSAT0.37
MB3qbf-5cnf-100var-1200cl.1UNSAT0.38
4qbf-5cnf-100var-1800cl.1UNSAT0.38
MB4qbf-5cnf-150var-1500cl.2UNSAT0.39
cf_4_5x9_d_FAIL0.39
3qbf-5cnf-100var-1600cl.2UNSAT0.4
cf_6_8x7_d_UNSAT0.4
MB4qbf-5cnf-150var-2100cl.1UNSAT0.4
MB5qbf-5cnf-50var-500cl.1UNSAT0.4
3qbf-5cnf-50var-800cl.2UNSAT0.4
term1.blif_0.10_0.20_0_1_out_exactSAT0.41
MB3qbf-5cnf-100var-1400cl.1UNSAT0.41
MB3qbf-5cnf-100var-1400cl.2UNSAT0.43
cf_6_6x9_r_FAIL0.44
3qbf-5cnf-100var-1800cl.2UNSAT0.44
cf_7_8x8_w_UNSAT0.45
MB3qbf-5cnf-100var-1600cl.1UNSAT0.45
cf_7_9x7_w_UNSAT0.46
MB3qbf-5cnf-100var-1600cl.2UNSAT0.46
MB4qbf-5cnf-150var-1500cl.1UNSAT0.47
tree-exa2-25UNSAT0.48
cf_3_9x5_d_UNSAT0.48
cf_5_6x9_r_FAIL0.49
MB3qbf-5cnf-100var-1800cl.2UNSAT0.51
MB3qbf-5cnf-100var-1800cl.1UNSAT0.51
cf_2_9x5_w_UNSAT0.51
C499.blif_0.10_1.00_0_1_out_exactSAT0.51
MB5qbf-5cnf-50var-600cl.2UNSAT0.51
MB5qbf-5cnf-100var-600cl.2UNSAT0.52
cf_7_7x9_d_FAIL0.53
MB3qbf-5cnf-150var-600cl.2UNSAT0.54
toilet_a_06_05.2UNSAT0.55
5qbf-5cnf-150var-900cl.1SAT0.55
3qbf-5cnf-100var-1800cl.1UNSAT0.56
k_ph_n-6SAT0.6
robots_1_5_2_93.1SAT0.61
robots_1_5_2_64.1SAT0.61
MB5qbf-5cnf-150var-900cl.1UNSAT0.63
robots_1_5_2_38.1SAT0.64
k_branch_p-8UNSAT0.64
MB4qbf-5cnf-150var-2400cl.1UNSAT0.64
cf_8_8x9_r_FAIL0.65
cf_7_9x8_w_UNSAT0.65
MB5qbf-5cnf-150var-600cl.2UNSAT0.65
cf_8_8x9_d_FAIL0.65
cf_8_8x9_w_FAIL0.66
MB3qbf-5cnf-150var-900cl.2UNSAT0.68
MB3qbf-5cnf-150var-900cl.1UNSAT0.68
MB4qbf-5cnf-150var-1800cl.1UNSAT0.68
MB4qbf-5cnf-150var-1800cl.2UNSAT0.7
MB5qbf-5cnf-150var-1200cl.1UNSAT0.74
flipflop-7-cUNSAT0.75
MB5qbf-5cnf-50var-800cl.1UNSAT0.76
MB4qbf-5cnf-150var-2400cl.2UNSAT0.78
cf_9_9x9_r_FAIL0.78
cf_9_9x9_w_FAIL0.79
cf_9_9x9_d_FAIL0.79
4qbf-5cnf-100var-1600cl.2UNSAT0.82
4qbf-5cnf-150var-2700cl.2UNSAT0.82
cf_4_8x8_w_FAIL0.83
cf_6_8x9_d_FAIL0.86
MB4qbf-5cnf-150var-2700cl.2UNSAT0.86
cf_3_7x9_w_FAIL0.86
toilet_c_10_01.9UNSAT0.86
MB3qbf-5cnf-150var-1200cl.1UNSAT0.87
MB3qbf-5cnf-150var-1200cl.2UNSAT0.87
MB5qbf-5cnf-50var-400cl.2UNSAT0.87
comp.blif_0.10_1.00_0_1_out_exactSAT0.88
MB5qbf-5cnf-100var-600cl.1UNSAT0.89
MB5qbf-5cnf-100var-1600cl.2UNSAT0.9
cf_8_9x9_w_FAIL0.9
4qbf-5cnf-150var-2400cl.2UNSAT0.9
C432.blif_0.10_1.00_0_1_out_exactSAT0.91
cf_8_9x9_r_FAIL0.92
cf_8_9x9_d_FAIL0.93
cf_3_8x8_w_FAIL0.93
MB5qbf-5cnf-50var-700cl.2UNSAT0.97
cf_5_8x9_w_FAIL0.98
cf_7_9x9_d_FAIL1.02
4qbf-5cnf-150var-1800cl.1UNSAT1.08
MB4qbf-5cnf-150var-2700cl.1UNSAT1.1
TOILET16.1.iv.32SAT1.1
MB3qbf-5cnf-150var-1500cl.1UNSAT1.1
MB3qbf-5cnf-150var-1500cl.2UNSAT1.11
MB2qbf-5cnf-50var-200cl.2UNSAT1.16
4qbf-5cnf-150var-2100cl.1UNSAT1.17
cf_3_8x9_d_FAIL1.18
4qbf-5cnf-50var-700cl.1UNSAT1.24
CHAIN16v.17SAT1.26
MB5qbf-5cnf-100var-1000cl.2UNSAT1.27
MB3qbf-5cnf-150var-1800cl.2UNSAT1.27
MB5qbf-5cnf-50var-500cl.2UNSAT1.28
MB3qbf-5cnf-150var-1800cl.1UNSAT1.29
MB3qbf-5cnf-150var-2100cl.2UNSAT1.32
4qbf-5cnf-100var-1800cl.2UNSAT1.35
TOILET6.1.iv.11UNSAT1.36
k_dum_n-3SAT1.41
4qbf-5cnf-100var-1400cl.2UNSAT1.44
MB3qbf-5cnf-150var-2100cl.1UNSAT1.47
MB3qbf-5cnf-150var-2400cl.2UNSAT1.48
MB3qbf-5cnf-150var-2400cl.1UNSAT1.52
MB3qbf-5cnf-150var-2700cl.1UNSAT1.58
MB5qbf-5cnf-100var-800cl.1UNSAT1.65
4qbf-5cnf-150var-2700cl.1UNSAT1.65
cf_3_9x9_w_FAIL1.66
MB3qbf-5cnf-150var-2700cl.2UNSAT1.76
MB2qbf-5cnf-150var-1200cl.2UNSAT1.83
k_t4p_p-1UNSAT2.01
cf_2_5x4_r_SAT2.18
k_ph_n-7SAT2.2
MB5qbf-5cnf-150var-2700cl.1UNSAT2.37
mutex-4-sSAT2.38
3qbf-5cnf-150var-2400cl.1UNSAT2.39
vonNeumann-ripple-carry-5-cUNSAT2.45
3qbf-5cnf-50var-700cl.2UNSAT2.47
MB5qbf-5cnf-100var-1200cl.2UNSAT2.6
CHAIN17v.18SAT2.63
3qbf-5cnf-50var-600cl.1UNSAT2.69
impl12SAT2.83
BLOCKS3i.5.3UNSAT2.92
k_lin_n-3SAT3.11
3qbf-5cnf-150var-2700cl.2UNSAT3.11
3qbf-5cnf-100var-1600cl.1UNSAT3.18
MB5qbf-5cnf-150var-1500cl.1UNSAT3.3
3qbf-5cnf-100var-1400cl.2UNSAT3.3
4qbf-5cnf-150var-2400cl.1UNSAT3.55
MB5qbf-5cnf-50var-900cl.1UNSAT3.56
k_path_n-3SAT3.79
flipflop-8-cUNSAT3.93
3qbf-5cnf-50var-600cl.2UNSAT4.14
MB5qbf-5cnf-150var-2100cl.2UNSAT4.33
toilet_a_08_01.16SAT4.43
3qbf-5cnf-100var-1400cl.1UNSAT4.45
MB2qbf-5cnf-50var-300cl.2UNSAT4.86
MB5qbf-5cnf-150var-2400cl.2UNSAT5.11
3qbf-5cnf-150var-2100cl.2UNSAT5.57
MB5qbf-5cnf-100var-1000cl.1UNSAT5.61
cf_2_4x8_r_SAT5.71
k_dum_n-4SAT5.79
tree-exa2-30UNSAT5.84
3qbf-5cnf-150var-2400cl.2UNSAT5.9
MB5qbf-5cnf-150var-1200cl.2UNSAT6.36
3qbf-5cnf-100var-1200cl.2UNSAT6.48
k_branch_p-13UNSAT7.43
MB5qbf-5cnf-150var-2100cl.1UNSAT7.66
MB2qbf-5cnf-50var-300cl.1UNSAT7.89
3qbf-5cnf-150var-2700cl.1UNSAT8.04
comp.blif_0.10_1.00_0_0_out_exactUNSAT8.35
MB5qbf-5cnf-50var-400cl.1UNSAT8.41
k_ph_p-20UNSAT8.86
robots_1_5_5_5.2SAT9.26
robots_1_5_4_73.2SAT9.5
k_ph_n-8SAT9.52
4qbf-5cnf-100var-1400cl.1UNSAT10.34
k_branch_p-14UNSAT10.55
CHAIN19v.20SAT10.92
robots_1_5_4_21.2SAT13.92
k_branch_p-15UNSAT15.43
s510_d51_uFAIL15.51
TOILET7.1.iv.13UNSAT16.83
MB2qbf-5cnf-50var-200cl.1UNSAT17.01
term1.blif_0.10_0.20_0_1_inp_exactSAT17.89
k_grz_n-2SAT18.09
2qbf-5cnf-50var-500cl.1UNSAT19.41
5qbf-5cnf-150var-900cl.2SAT19.47
flipflop-9-cUNSAT20.08
4qbf-5cnf-150var-2100cl.2UNSAT20.59
k_branch_p-16UNSAT21.28
impl14SAT22.11
k_ph_n-21UNSAT22.22
CHAIN20v.21SAT22.96
toilet_c_08_01.13UNSAT23.45
cf_2_8x3_r_SAT24.96
term1.blif_0.10_1.00_0_1_out_exactSAT25.36
tree-exa10-25SAT26.76
C432.blif_0.10_1.00_0_0_inp_exactUNSAT28.52
robots_1_5_3_17.2SAT28.87
MB5qbf-5cnf-100var-1200cl.1UNSAT31.45
s3271_d15_sFAIL34.96
k_path_n-4SAT35.15
cnt04eSAT35.62
MB5qbf-5cnf-50var-300cl.2UNSAT35.82
toilet_a_10_01.7UNSAT39.88
k_dum_n-5SAT44.25
5qbf-5cnf-50var-900cl.1UNSAT46.28
3qbf-5cnf-150var-2100cl.1UNSAT49.96
s3271_d12_sUNSAT53.9
k_grz_n-3SAT54.44
vonNeumann-ripple-carry-7-cUNSAT55.03
k_branch_p-19UNSAT55.83
2qbf-5cnf-50var-400cl.1UNSAT61.99
tree-exa2-35UNSAT64.32
4qbf-5cnf-150var-1800cl.2UNSAT65.46
MB5qbf-5cnf-150var-900cl.2UNSAT67.89
flipflop-10-cUNSAT73.32
k_ph_p-19UNSAT78.25
MB2qbf-5cnf-100var-600cl.2UNSAT85.8
MB5qbf-5cnf-100var-1400cl.2UNSAT95.53
2qbf-5cnf-150var-1500cl.1UNSAT102.79
s27_d3_uUNSAT115.21
k_dum_p-6UNSAT119.78
s3330_d12_uFAIL126.28
k_t4p_n-2SAT132.35
MB5qbf-5cnf-150var-1800cl.1UNSAT139.83
cf_2_8x5_r_SAT144.41
C432.blif_0.10_1.00_0_0_out_exactUNSAT145.03
s3271_d18_uFAIL147.19
term1.blif_0.10_1.00_0_1_inp_exactSAT158.96
impl16SAT163.45
s3271_d19_uFAIL171.2
robots_1_5_5_75.3SAT172.76
k_dum_n-6SAT178.51
k_lin_n-6SAT178.53
3qbf-5cnf-50var-400cl.2SAT179.92
s3271_d20_uFAIL193.64
CHAIN23v.24SAT207.1
2qbf-5cnf-150var-1200cl.1UNSAT208.12
flipflop-11-cUNSAT210.08
MB5qbf-5cnf-100var-1600cl.1UNSAT224.83
s3271_d22_uFAIL240.25
3qbf-5cnf-150var-900cl.2SAT248.87
k_path_n-5SAT274.08
k_ph_p-7UNSAT284.47
MB5qbf-5cnf-150var-1800cl.2UNSAT337.11
k_lin_n-7SAT356.01
3qbf-5cnf-100var-1200cl.1UNSAT363.24
MB2qbf-5cnf-100var-600cl.1UNSAT371.84
vonNeumann-ripple-carry-9-cUNSAT396.14
MB2qbf-5cnf-150var-600cl.1UNSAT502.26
s3271_d2_sUNSAT719.21
tree-exa2-40UNSAT725.85
cf_3_5x4_r_UNSAT836.03
vonNeumann-ripple-carry-10-cUNSAT882.62
k_poly_n-3SAT884.63
cnt12eFAIL901
robots_1_5_5_18.5FAIL901
5qbf-5cnf-150var-2400cl.1FAIL901
robots_1_5_5_34.6FAIL901
s298_d8_sFAIL901
cnt06FAIL901
cnt09eFAIL901
MB4qbf-5cnf-150var-600cl.2FAIL901
5qbf-5cnf-150var-2700cl.1FAIL901
cnt09reFAIL901
robots_1_5_4_34.8FAIL901
test3_quant_squaring4FAIL901
robots_1_5_4_31.8FAIL901
robots_1_5_3_16.7FAIL901
s499_d4_sFAIL901
k_t4p_p-12FAIL901
C880.blif_0.10_0.20_0_0_inp_exactFAIL901
robots_1_5_4_91.4FAIL901
C880.blif_0.10_1.00_0_1_inp_exactFAIL901
szymanski-22-sFAIL901
5qbf-5cnf-50var-700cl.1FAIL901
5qbf-5cnf-50var-600cl.2FAIL901
s641_d6_sFAIL901
5qbf-5cnf-50var-500cl.1FAIL901
5qbf-5cnf-50var-400cl.1FAIL901
5qbf-5cnf-150var-2400cl.2FAIL901
5qbf-5cnf-150var-2100cl.1FAIL901
k_t4p_p-4FAIL901
test2_quant2FAIL901
k_grz_n-16FAIL901
5qbf-5cnf-100var-1400cl.1FAIL901
5qbf-5cnf-100var-1200cl.1FAIL901
vonNeumann-ripple-carry-11-cFAIL901
5qbf-5cnf-100var-1000cl.2FAIL901
k_dum_n-16FAIL901
cf_7_9x7_r_FAIL901
test2_quant3FAIL901
s1196_d5_uFAIL901
5qbf-5cnf-100var-1800cl.1FAIL901
term1.blif_0.10_0.20_0_0_out_exactFAIL901
C880.blif_0.10_1.00_0_0_inp_exactFAIL901
5qbf-5cnf-150var-2100cl.2FAIL901
k_grz_n-12FAIL901
5qbf-5cnf-150var-1800cl.2FAIL901
5qbf-5cnf-150var-1500cl.1FAIL901
5qbf-5cnf-150var-1500cl.2FAIL901
k_t4p_p-16FAIL901
5qbf-5cnf-150var-1200cl.2FAIL901
5qbf-5cnf-100var-800cl.2FAIL901
s713_d7_uFAIL901
cf_3_9x5_r_FAIL901
cf_5_5x5_r_FAIL901
s1196_d6_uFAIL901
s3330_d8_sFAIL901
k_d4_n-6FAIL901
k_d4_n-9FAIL901
szymanski-6-sFAIL901
3qbf-5cnf-150var-1500cl.2FAIL901
C880.blif_0.10_0.20_0_0_out_exactFAIL901
k_dum_p-11FAIL901
k_dum_p-15FAIL901
term1.blif_0.10_0.20_0_0_inp_exactFAIL901
k_grz_n-17FAIL901
k_grz_p-9FAIL901
k_grz_p-19FAIL901
k_branch_n-6FAIL901
k_branch_n-14FAIL901
k_branch_n-9FAIL901
comp.blif_0.10_0.20_0_0_out_exactFAIL901
adder-4-unsatFAIL901
s3330_d2_sFAIL901
term1.blif_0.10_1.00_0_0_inp_exactFAIL901
s641_d7_uFAIL901
C432.blif_0.10_0.20_0_1_out_exactFAIL901
comp.blif_0.10_0.20_0_1_out_exactFAIL901
C499.blif_0.10_0.20_0_1_inp_exactFAIL901
C499.blif_0.10_0.20_0_0_inp_exactFAIL901
s298_d19_uFAIL901
C499.blif_0.10_0.20_0_0_out_exactFAIL901
k_grz_p-14FAIL901
C499.blif_0.10_1.00_0_1_inp_exactFAIL901
k_lin_n-14FAIL901
k_t4p_n-18FAIL901
k_t4p_n-5FAIL901
k_t4p_n-17FAIL901
k_t4p_n-13FAIL901
k_t4p_p-10FAIL901
test3_quant2FAIL901
robots_1_5_2_69.4FAIL901
robots_1_5_2_3.5FAIL901
MB2qbf-5cnf-100var-400cl.1FAIL901
MB2qbf-5cnf-100var-200cl.2FAIL901
MB2qbf-5cnf-100var-200cl.1FAIL901
k_poly_n-15FAIL901
test5_quant_squaring5FAIL901
test1_quant3FAIL901
k_lin_n-15FAIL901
k_path_n-7FAIL901
k_path_n-6FAIL901
s1196_d2_sFAIL901
k_ph_n-15FAIL901
C880.blif_0.10_1.00_0_1_out_exactFAIL901
szymanski-16-sFAIL901
s499_d2_sFAIL901
test5_quant_squaring4FAIL901
k_ph_p-15FAIL901
k_poly_n-7FAIL901
robots_1_5_2_42.7FAIL901
4qbf-5cnf-100var-1200cl.1FAIL901
s641_d3_sFAIL901
szymanski-4-sFAIL901
3qbf-5cnf-150var-900cl.1FAIL901
s713_d9_uFAIL901
s713_d10_uFAIL901
Adder2-16-cFAIL901
s820_d9_sFAIL901
s27_d5_uFAIL901
s820_d14_uFAIL901
szymanski-10-sFAIL901
k_dum_p-20FAIL901
s641_d8_uFAIL901
s510_d12_sFAIL901
k_path_n-8FAIL901
s820_d5_sFAIL901
s499_d19_sFAIL901
s499_d18_sFAIL901
C6288.blif_0.10_0.20_0_0_inp_exactFAIL901
s3330_d4_sFAIL901
3qbf-5cnf-50var-500cl.1FAIL901
k_grz_p-16FAIL901
C880.blif_0.10_1.00_0_0_out_exactFAIL901
test2_quant_squaring2FAIL901
2qbf-5cnf-100var-200cl.1FAIL901
k_dum_p-16FAIL901
2qbf-5cnf-100var-800cl.1FAIL901
2qbf-5cnf-150var-1200cl.2FAIL901
adder-6-satFAIL901
2qbf-5cnf-150var-600cl.1FAIL901
adder-10-satFAIL901
3qbf-5cnf-100var-1000cl.2FAIL901
2qbf-5cnf-150var-900cl.1FAIL901
2qbf-5cnf-50var-100cl.1FAIL901
szymanski-18-sFAIL901
2qbf-5cnf-50var-200cl.2FAIL901
C6288.blif_0.10_0.20_0_0_out_exactFAIL901
2qbf-5cnf-100var-600cl.1FAIL901
2qbf-5cnf-100var-400cl.2FAIL901
adder-8-unsatFAIL901
3qbf-5cnf-150var-1500cl.1FAIL901
mutex-64-sFAIL901
3qbf-5cnf-150var-1200cl.2FAIL901
3qbf-5cnf-100var-800cl.2FAIL901
3qbf-5cnf-100var-800cl.1FAIL901
4qbf-5cnf-150var-600cl.2FAIL901
3qbf-5cnf-100var-600cl.1FAIL901
2qbf-5cnf-100var-200cl.2FAIL901
2qbf-5cnf-100var-400cl.1FAIL901
2qbf-5cnf-50var-300cl.1FAIL901
s499_d14_sFAIL901
s3330_d10_uFAIL901
k_d4_n-8FAIL901
s386_d5_sFAIL901
s3330_d13_uFAIL901
s3330_d3_sFAIL901
s386_d4_sFAIL901
4qbf-5cnf-150var-1500cl.1FAIL901
k_d4_n-16FAIL901
4qbf-5cnf-100var-600cl.1FAIL901
test4_quant4FAIL901
4qbf-5cnf-50var-200cl.1FAIL901
4qbf-5cnf-150var-1200cl.1FAIL901
4qbf-5cnf-100var-600cl.2FAIL901
C880.blif_0.10_0.20_0_1_inp_exactFAIL901
adder-6-unsatFAIL901
4qbf-5cnf-50var-400cl.1FAIL901
s3271_d5_sFAIL901
4qbf-5cnf-100var-800cl.2FAIL901
s1269_d15_uFAIL901
s386_d8_uFAIL901
s1196_d4_uFAIL901
s1269_d3_sFAIL901
s386_d3_sFAIL901
s298_d17_sFAIL901
C499.blif_0.10_0.20_0_1_out_exactFAIL901
C6288.blif_0.10_0.20_0_1_out_exactFAIL901
s386_d10_uFAIL901
uclid-pipe3aFAIL901
s298_d21_uFAIL901
Adder2-12-sFAIL901.01
C5315.blif_0.10_1.00_0_0_out_exactFAIL901.01
impl20FAIL901.01
k_branch_n-20FAIL901.01
s713_d2_sFAIL901.01
C499.blif_0.10_1.00_0_0_out_exactFAIL901.01
C6288.blif_0.10_1.00_0_1_out_exactFAIL901.01
k_branch_n-16FAIL901.01
s510_d46_sFAIL901.01
term1.blif_0.10_1.00_0_0_out_exactFAIL901.01
s820_d11_uFAIL901.01
C5315.blif_0.10_0.20_0_0_inp_exactFAIL901.01
C6288.blif_0.10_1.00_0_1_inp_exactFAIL901.01
s641_d2_sFAIL901.01
C432.blif_0.10_0.20_0_0_out_exactFAIL901.01
C6288.blif_0.10_0.20_0_1_inp_exactFAIL901.01
test1_quant_squaring2FAIL901.01
test5_quant5FAIL901.01
mutex-8-sFAIL901.01
tree-exa10-30FAIL901.01
s820_d8_sFAIL901.01
k_d4_n-12FAIL901.01
test4_quant_squaring4FAIL901.01
szymanski-12-sFAIL901.01
tree-exa2-45FAIL901.01
s27_d4_uFAIL901.01
C880.blif_0.10_0.20_0_1_out_exactFAIL901.01
uclid-pipe2FAIL901.01
k_poly_n-8FAIL901.01
MB5qbf-5cnf-150var-2400cl.1FAIL901.01
C432.blif_0.10_0.20_0_0_inp_exactFAIL901.01
s386_d7_sFAIL901.01
C5315.blif_0.10_1.00_0_1_out_exactFAIL901.01
test3_quant_squaring2FAIL901.01
s1269_d10_sFAIL901.01
C5315.blif_0.10_1.00_0_1_inp_exactFAIL901.01
s298_d16_sFAIL901.01
test5_quant7FAIL901.01
k_dum_p-8FAIL901.01
test2_quant_squaring3FAIL901.01
mutex-16-sFAIL901.01
k_dum_n-8FAIL901.01
mutex-32-sFAIL901.01
test1_quant2FAIL901.01
C5315.blif_0.10_0.20_0_0_out_exactFAIL901.01
MB5qbf-5cnf-150var-2700cl.2FAIL901.01
szymanski-14-sFAIL901.01
k_grz_p-4FAIL901.01
C5315.blif_0.10_1.00_0_0_inp_exactFAIL901.01
vonNeumann-ripple-carry-12-cFAIL901.01
impl18FAIL901.01
C5315.blif_0.10_0.20_0_1_inp_exactFAIL901.01
C432.blif_0.10_0.20_0_1_inp_exactFAIL901.01
s713_d4_sFAIL901.01
k_poly_n-4FAIL901.01
toilet_c_10_05.4FAIL901.01
C5315.blif_0.10_0.20_0_1_out_exactFAIL901.01
C6288.blif_0.10_1.00_0_0_inp_exactFAIL901.01
C6288.blif_0.10_1.00_0_0_out_exactFAIL901.01
s713_d6_sFAIL901.01
s1269_d4_sFAIL901.01
MB4qbf-5cnf-150var-600cl.1FAIL901.01
vonNeumann-ripple-carry-13-cFAIL901.01
s1196_d3_uFAIL901.01
5qbf-5cnf-100var-1400cl.2FAIL901.01
2qbf-5cnf-50var-400cl.2FAIL901.01
4qbf-5cnf-150var-600cl.1FAIL901.01
s298_d14_sFAIL901.01
s298_d10_sFAIL901.01
s3330_d6_sFAIL901.01
4qbf-5cnf-150var-1500cl.2FAIL901.01
4qbf-5cnf-150var-1200cl.2FAIL901.01
4qbf-5cnf-100var-800cl.1FAIL901.01
4qbf-5cnf-100var-400cl.2FAIL901.01
4qbf-5cnf-100var-400cl.1FAIL901.01
s386_d9_uFAIL901.01
s386_d12_uFAIL901.01
s499_d7_sFAIL901.01
4qbf-5cnf-100var-1200cl.2FAIL901.01
4qbf-5cnf-150var-900cl.1FAIL901.01
4qbf-5cnf-150var-900cl.2FAIL901.01
5qbf-5cnf-100var-1200cl.2FAIL901.01
5qbf-5cnf-100var-1000cl.1FAIL901.01
cf_6_8x8_r_FAIL901.01
cf_8_8x8_r_FAIL901.01
s1196_d7_uFAIL901.01
s1269_d5_sFAIL901.01
4qbf-5cnf-50var-500cl.2FAIL901.01
4qbf-5cnf-50var-500cl.1FAIL901.01
4qbf-5cnf-50var-400cl.2FAIL901.01
4qbf-5cnf-50var-300cl.2FAIL901.01
4qbf-5cnf-50var-300cl.1FAIL901.01
4qbf-5cnf-50var-200cl.2FAIL901.01
s1269_d6_sFAIL901.01
s1269_d9_sFAIL901.01
4qbf-5cnf-100var-1000cl.1FAIL901.01
4qbf-5cnf-100var-1000cl.2FAIL901.01
s499_d10_sFAIL901.01
3qbf-5cnf-150var-1800cl.1FAIL901.01
3qbf-5cnf-150var-1800cl.2FAIL901.01
s298_d5_sFAIL901.01
3qbf-5cnf-150var-1200cl.1FAIL901.01
3qbf-5cnf-100var-600cl.2FAIL901.01
2qbf-5cnf-100var-600cl.2FAIL901.01
2qbf-5cnf-100var-800cl.2FAIL901.01
2qbf-5cnf-150var-300cl.1FAIL901.01
2qbf-5cnf-150var-300cl.2FAIL901.01
2qbf-5cnf-150var-600cl.2FAIL901.01
3qbf-5cnf-100var-1000cl.1FAIL901.01
2qbf-5cnf-150var-900cl.2FAIL901.01
2qbf-5cnf-50var-100cl.2FAIL901.01
2qbf-5cnf-50var-200cl.1FAIL901.01
2qbf-5cnf-100var-1000cl.1FAIL901.01
s820_d3_sFAIL901.01
s499_d3_sFAIL901.01
s510_d13_sFAIL901.01
s510_d31_sFAIL901.01
s510_d42_sFAIL901.01
s510_d48_uFAIL901.01
3qbf-5cnf-50var-500cl.2FAIL901.01
s510_d49_uFAIL901.01
3qbf-5cnf-50var-400cl.1FAIL901.01
s641_d10_uFAIL901.01
s641_d11_uFAIL901.01
s641_d5_sFAIL901.01
s713_d8_uFAIL901.01
s713_d3_sFAIL901.01
s820_d12_uFAIL901.01
2qbf-5cnf-50var-300cl.2FAIL901.01
5qbf-5cnf-100var-1600cl.2FAIL901.01
mutex-128-sFAIL901.01
k_grz_n-13FAIL901.01
k_grz_p-3FAIL901.01
k_grz_p-10FAIL901.01
k_grz_p-17FAIL901.01
k_lin_n-19FAIL901.01
k_path_n-13FAIL901.01
MB2qbf-5cnf-50var-100cl.1FAIL901.01
k_ph_p-17FAIL901.01
k_ph_p-14FAIL901.01
MB2qbf-5cnf-150var-600cl.2FAIL901.01
MB2qbf-5cnf-150var-300cl.1FAIL901.01
k_poly_n-11FAIL901.01
k_t4p_n-19FAIL901.01
k_t4p_n-14FAIL901.01
k_grz_n-9FAIL901.01
k_grz_n-18FAIL901.01
s820_d4_sFAIL901.01
uclid-pipe3bFAIL901.01
s1269_d2_sFAIL901.01
C499.blif_0.10_1.00_0_0_inp_exactFAIL901.01
vonNeumann-ripple-carry-14-cFAIL901.01
toilet_a_10_01.15FAIL901.01
toilet_a_10_05.3FAIL901.01
k_branch_n-15FAIL901.01
k_branch_n-7FAIL901.01
k_d4_n-13FAIL901.01
k_d4_n-14FAIL901.01
k_d4_n-15FAIL901.01
k_dum_n-18FAIL901.01
k_dum_p-17FAIL901.01
k_t4p_n-15FAIL901.01
k_t4p_p-18FAIL901.01
k_t4p_p-19FAIL901.01
5qbf-5cnf-50var-500cl.2FAIL901.01
5qbf-5cnf-50var-400cl.2FAIL901.01
robots_1_5_4_87.8FAIL901.01
robots_1_5_5_59.5FAIL901.01
robots_1_5_5_55.6FAIL901.01
robots_1_5_5_4.9FAIL901.01
5qbf-5cnf-150var-2700cl.2FAIL901.01
5qbf-5cnf-150var-1800cl.1FAIL901.01
5qbf-5cnf-150var-1200cl.1FAIL901.01
5qbf-5cnf-100var-800cl.1FAIL901.01
cnt16reFAIL901.01
cf_6_6x6_r_FAIL901.01
cf_6_8x6_r_FAIL901.01
5qbf-5cnf-100var-1800cl.2FAIL901.01
5qbf-5cnf-50var-600cl.1FAIL901.01
5qbf-5cnf-50var-700cl.2FAIL901.01
k_t4p_p-15FAIL901.01
MB2qbf-5cnf-100var-400cl.2FAIL901.01
robots_1_5_2_61.6FAIL901.01
robots_1_5_2_72.7FAIL901.01
robots_1_5_3_62.4FAIL901.01
robots_1_5_3_80.4FAIL901.01
robots_1_5_3_15.6FAIL901.01
robots_1_5_3_18.7FAIL901.01
robots_1_5_3_84.7FAIL901.01
robots_1_5_3_27.9FAIL901.01
5qbf-5cnf-50var-900cl.2FAIL901.01
robots_1_5_4_85.5FAIL901.01
5qbf-5cnf-50var-800cl.2FAIL901.01
5qbf-5cnf-50var-800cl.1FAIL901.01
5qbf-5cnf-100var-1600cl.1FAIL901.01