Instances solved by struqs-10
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
k_lin_p-2UNSAT0
impl18SAT0
z4ml.blif_0.10_1.00_0_1_out_exactSAT0
k_poly_n-2SAT0
s27_d2_sSAT0
impl06SAT0
flipflop-4-cUNSAT0
k_d4_p-1UNSAT0
k_d4_n-1SAT0
impl04SAT0
qshifter_5SAT0
impl16SAT0
k_poly_p-2UNSAT0
toilet_g_06_01.2SAT0
toilet_g_02_01.2SAT0
tree-exa2-40UNSAT0
k_dum_n-1SAT0
k_ph_p-3UNSAT0
qshifter_3SAT0
tree-exa2-30UNSAT0
z4ml.blif_0.10_0.20_0_1_inp_exactSAT0
mutex-4-sSAT0
impl12SAT0
toilet_g_04_01.2SAT0
impl02SAT0
tree-exa2-25UNSAT0
k_path_p-2UNSAT0
impl08SAT0
k_ph_n-1SAT0
flipflop-5-cUNSAT0
k_ph_n-3SAT0
k_ph_p-1UNSAT0
k_ph_n-4SAT0
toilet_g_10_01.2SAT0
tree-exa2-50UNSAT0
toilet_g_08_01.2SAT0
tree-exa10-30SAT0
toilet_a_04_01.4UNSAT0
impl10SAT0
toilet_c_08_01.2UNSAT0
toilet_a_06_01.6UNSAT0
impl14SAT0
impl20SAT0
toilet_a_04_01.6UNSAT0
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-001UNSAT0
toilet_a_02_10.2SAT0
flipflop-3-cUNSAT0
lognBWLARGEA0UNSAT0
toilet_a_04_05.2SAT0
lognBWLARGEB0UNSAT0
tree-exa2-20UNSAT0
cnt01SAT0
tree-exa2-10UNSAT0
toilet_g_20_01.2SAT0
toilet_g_15_01.2SAT0
qshifter_4SAT0
z4ml.blif_0.10_0.20_0_1_out_exactSAT0
stmt44_107_113SAT0
toilet_c_04_01.4UNSAT0
stmt1_30_31SAT0
stmt44_107_108SAT0
tree-exa10-10SAT0
tree-exa2-35UNSAT0
tree-exa2-45UNSAT0
z4ml.blif_0.10_1.00_0_1_inp_exactSAT0
toilet_c_08_01.6UNSAT0
mutex-2-sSAT0
toilet_c_06_01.4UNSAT0
cnt02eSAT0.01
z4ml.blif_0.10_1.00_0_0_inp_exactUNSAT0.01
incrementer-enc05-uniform-depth-2UNSAT0.01
z4ml.blif_0.10_0.20_0_0_inp_exactUNSAT0.01
counter_e_2SAT0.01
Adder2-2-cUNSAT0.01
toilet_c_08_01.7UNSAT0.01
k_dum_n-2SAT0.01
z4ml.blif_0.10_0.20_0_0_out_exactUNSAT0.01
toilet_c_06_01.8UNSAT0.01
mutex-8-sSAT0.01
z4ml.blif_0.10_1.00_0_0_out_exactUNSAT0.01
k_dum_n-3SAT0.02
k_lin_p-3UNSAT0.02
CHAIN12v.13SAT0.02
s27_d3_uUNSAT0.02
connect_5x4_3_DUNSAT0.02
k_dum_p-3UNSAT0.02
k_dum_p-2UNSAT0.02
k_ph_p-5UNSAT0.03
flipflop-6-cUNSAT0.03
toilet_a_08_05.2UNSAT0.03
qshifter_6SAT0.03
CHAIN14v.15SAT0.03
k_grz_n-2SAT0.03
rewriting_k_10UNSAT0.03
connect_6x5_5_DUNSAT0.03
CHAIN16v.17SAT0.04
vonNeumann-ripple-carry-5-cUNSAT0.04
k_dum_p-4UNSAT0.04
k_poly_p-4UNSAT0.04
k_grz_n-4SAT0.05
ken.flash^10.C-f2UNSAT0.05
k_lin_p-4UNSAT0.05
lights3_021_0_009SAT0.05
CHAIN17v.18SAT0.05
mutex-16-sSAT0.05
CHAIN18v.19SAT0.06
szymanski-5-sUNSAT0.06
k_grz_n-5SAT0.06
k_dum_n-5SAT0.06
k_ph_n-6SAT0.06
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-003UNSAT0.07
vonNeumann-ripple-carry-6-cUNSAT0.07
k_poly_n-5SAT0.07
k_branch_n-2SAT0.07
s27_d4_uUNSAT0.07
rankfunc5_signed_32SAT0.08
ken.flash^10.C-f3UNSAT0.08
rankfunc17_unsigned_16SAT0.08
CHAIN19v.20SAT0.08
CHAIN20v.21SAT0.09
connect_7x6_4_WUNSAT0.09
eijk.S382.S-d4SAT0.1
CHAIN21v.22SAT0.11
connect_8x7_7_WUNSAT0.11
k_poly_n-6SAT0.12
toilet_a_06_01.10UNSAT0.13
flipflop-7-cUNSAT0.13
p5-5.pddl_planlen=5SAT0.13
CHAIN22v.23SAT0.13
b12_PR_9_2SAT0.13
vonNeumann-ripple-carry-7-cUNSAT0.13
texas.parsesys^1.E-d4SAT0.14
s01238_PR_8_2SAT0.14
CHAIN23v.24SAT0.15
s27_d5_uUNSAT0.15
k_grz_n-6SAT0.15
k_dum_p-6UNSAT0.17
C880.blif_0.10_1.00_0_1_out_exactSAT0.17
k3_1_1SAT0.18
qshifter_7SAT0.19
query48_query15_1344UNSAT0.19
adder-2-unsatUNSAT0.2
mutex-32-sSAT0.2
k_grz_n-7SAT0.21
k_poly_p-7UNSAT0.21
vonNeumann-ripple-carry-8-cUNSAT0.21
C499.blif_0.10_1.00_0_1_out_exactSAT0.23
k_poly_n-7SAT0.24
k_grz_n-8SAT0.25
lut4_XOR_fORUNSAT0.29
k_dum_n-9SAT0.32
vonNeumann-ripple-carry-9-cUNSAT0.32
term1.blif_0.10_0.20_0_1_out_exactSAT0.33
toilet_c_08_05.4SAT0.33
rankfunc13_signed_32SAT0.35
k_poly_p-8UNSAT0.39
fpu-10Xh-error01-uniform-depth-5UNSAT0.41
s298_d2_sSAT0.41
p5-5.pddl_planlen=6SAT0.43
rankfunc51_signed_32SAT0.44
szymanski-6-sUNSAT0.46
vis.prodcell^01.E-d2SAT0.46
BLOCKS3iii.5SAT0.47
vonNeumann-ripple-carry-10-cUNSAT0.47
cube_c3_ser--opt-6_SAT0.5
C432.blif_0.10_0.20_0_1_inp_exactSAT0.52
k_poly_p-9UNSAT0.52
rankfunc5_unsigned_64SAT0.53
vis.4-arbit^2.E-f2SAT0.54
k_path_n-3SAT0.54
fpu-10Xe-correct01-nonuniform-depth-6UNSAT0.55
flipflop-8-cUNSAT0.56
k_dum_n-11SAT0.56
irst.dme6.B-d2SAT0.57
C499.blif_0.10_1.00_0_1_inp_exactSAT0.61
fpu-10Xh-correct04-uniform-depth-8UNSAT0.65
vonNeumann-ripple-carry-11-cUNSAT0.68
k_dum_n-12SAT0.68
toilet_c_08_01.11UNSAT0.71
arbiter-07-comp-error01-qbf-hardness-depth-4UNSAT0.76
k_ph_n-8SAT0.78
toilet_a_08_05.9SAT0.78
mutex-64-sSAT0.84
vonNeumann-ripple-carry-12-cUNSAT0.93
k_path_p-5UNSAT1.02
k_d4_p-4UNSAT1.05
fpu-10Xh-correct04-uniform-depth-14UNSAT1.08
stmt27_16_97UNSAT1.11
k_poly_p-11UNSAT1.12
gttt_2_2_0010_3x3_torus_wUNSAT1.13
fpu-10Xh-correct04-uniform-depth-15UNSAT1.17
k_t4p_n-2SAT1.17
arbiter-06-comp-error02-qbf-hardness-depth-5UNSAT1.21
fpu-10Xh-correct04-uniform-depth-16UNSAT1.23
rankfunc14_signed_64SAT1.26
vonNeumann-ripple-carry-13-cUNSAT1.26
k_dum_p-12UNSAT1.27
qshifter_8SAT1.4
lights3_021_0_027UNSAT1.41
rankfunc33_signed_32SAT1.46
fpu-10Xh-correct04-nonuniform-depth-18UNSAT1.49
k_path_n-4SAT1.56
k_d4_n-2SAT1.61
fpu-10Xe-correct01-uniform-depth-22UNSAT1.65
tlc03-uniform-depth-9UNSAT1.71
small-swap2-fixpoint-4SAT1.86
fpu-10Xe-correct01-nonuniform-depth-24UNSAT1.94
k_grz_p-5UNSAT2.08
k_dum_n-17SAT2.11
rankfunc13_unsigned_64SAT2.17
vonNeumann-ripple-carry-15-cUNSAT2.17
fpu-10Xh-correct04-nonuniform-depth-27UNSAT2.19
k_grz_p-4UNSAT2.23
C6288.blif_0.10_1.00_0_1_out_exactSAT2.26
k_ph_n-9SAT2.32
k_dum_n-18SAT2.34
ev-pr-4x4-5-3-0-0-1-lgSAT2.48
flipflop-9-cUNSAT2.6
k_dum_p-14UNSAT2.66
k_poly_n-14SAT2.79
term1.blif_0.10_0.20_0_1_inp_exactSAT2.89
k_poly_p-14UNSAT3.04
k_t4p_p-4UNSAT3.1
ring_r4_ser--opt-11_UNSAT3.17
mutex-128-sSAT3.42
tlc03-nonuniform-depth-17UNSAT3.58
k_poly_p-15UNSAT3.62
k_lin_p-8UNSAT3.74
texas.two_proc^4.E-f2SAT3.81
arbiter-07-comp-error02-qbf-hardness-depth-6UNSAT3.84
k_dum_n-21SAT4.1
s09234_PR_8_2SAT4.2
s09234_PR_8_5SAT4.26
s05378_PR_9_2SAT4.38
toilet_c_10_01.12UNSAT4.52
k_t4p_p-6UNSAT4.52
k_poly_n-16SAT4.6
k_dum_p-16UNSAT4.7
k_poly_p-16UNSAT5.01
k_branch_n-3SAT5.04
k_grz_n-10SAT5.58
rewriting_k_17UNSAT5.69
k_path_n-5SAT5.7
rankfunc22_signed_64SAT5.9
k_dum_p-17UNSAT6.17
k_poly_n-17SAT6.28
stmt19_3_214UNSAT6.53
term1.blif_0.10_1.00_0_1_out_exactSAT6.53
texas.PI_main^16.E-f2SAT6.7
toilet_a_10_05.3UNSAT6.93
szymanski-8-sUNSAT6.99
term1.blif_0.10_1.00_0_1_inp_exactSAT7.18
k_poly_n-18SAT7.24
stmt19_90_266UNSAT7.38
query01_ntrivil_1344UNSAT7.41
lut4_XOR_f1SAT8.09
C880.blif_0.10_1.00_0_1_inp_exactSAT8.1
toilet_a_08_01.13UNSAT8.58
s386_d2_sSAT8.68
k_poly_p-19UNSAT9.24
k_t4p_p-9UNSAT9.36
stmt21_79_304UNSAT10.12
flipflop-10-cUNSAT10.39
gttt_2_2_00101121_3x3_bUNSAT11.02
k_poly_n-20SAT11.2
gttt_1_1_001020_3x3_wUNSAT11.6
k_t4p_p-10UNSAT11.77
k_dum_p-20UNSAT12.13
k_poly_n-21SAT14.37
k_path_n-6SAT14.66
k_lin_p-9UNSAT14.75
k_dum_p-21UNSAT14.96
gttt_1_1_000111_3x3_torus_wUNSAT15.36
k_ph_n-11SAT15.52
gttt_2_1_000111_3x3_torus_bSAT16.06
stmt19_217_309UNSAT16.16
rankfunc3_signed_64SAT16.33
tlc03-uniform-depth-21UNSAT16.33
connect_5x4_4_RUNSAT16.58
cache-coherence-2-fixpoint-1UNSAT16.95
k_t4p_p-12UNSAT18.36
Core1108_tbm_21.tex.module.000026UNSAT19.59
ring_r3_ser--opt-8_SAT20.07
C5315.blif_0.10_1.00_0_1_inp_exactSAT24.12
b20_PR_7_20SAT25.03
test5_quant_squaring4SAT25.7
k_d4_p-7UNSAT25.99
rewriting_k_19UNSAT26.18
test5_quant_squaring5SAT27.08
Core1108_tbm_21.tex.module.000027UNSAT28.45
stmt17_18_19SAT29.29
ev-pr-4x4-7-3-0-0-1-lgSAT29.57
k_d4_n-3SAT29.65
arbiter-06-comp-error01-qbf-hardness-depth-12UNSAT33.52
k_t4p_p-15UNSAT34.08
s15850_PR_8_50SAT35.94
arbiter-07-comp-error01-qbf-hardness-depth-11UNSAT37.35
s641_d2_sSAT37.41
s1196_d2_sSAT37.69
flipflop-11-cUNSAT38.09
k_lin_p-10UNSAT38.55
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-003UNSAT38.84
tlc01-uniform-depth-73UNSAT40.27
k_t4p_p-16UNSAT41.46
s713_d2_sSAT44.41
s15850_PR_2_2SAT46.56
k_t4p_p-17UNSAT49.76
szymanski-10-sUNSAT55.2
k_d4_p-8UNSAT58.9
k_t4p_p-18UNSAT59.61
s510_d3_sSAT73.29
arbiter-10-comp-error01-qbf-hardness-depth-10UNSAT77.31
k_t4p_p-20UNSAT83.22
small-synabs-fixpoint-9UNSAT83.43
nusmv.reactor^3.C-d4SAT85.54
arbiter-06-comp-error01-qbf-hardness-depth-15UNSAT85.96
flipflop-12-cUNSAT88.53
k_grz_p-10UNSAT104.08
k_path_p-10UNSAT106.05
k_t4p_n-4SAT109.29
k_lin_p-11UNSAT110.3
test3_quant_squaring2UNSAT115.35
rewriting_k_21UNSAT116.89
tlc03-uniform-depth-52UNSAT123.8
query26_query34_1344SAT123.97
s298_d4_sSAT133.73
k_branch_n-4SAT133.92
ev-pr-4x4-9-3-0-0-1-lgSAT144.63
term1.blif_0.10_1.00_0_0_out_exactUNSAT149.28
k_grz_p-11UNSAT160.23
gttt_2_1_0010_4x4_torus_bUNSAT161.76
C432.blif_0.10_1.00_0_1_inp_exactSAT165.85
k_ph_n-14SAT168.91
term1.blif_0.10_1.00_0_0_inp_exactUNSAT175.7
s641_d3_sSAT175.81
s713_d3_sSAT175.86
connect_5x4_3_RUNSAT188.91
sortnetsort5.v.stepl.004UNSAT202.33
k_path_n-9SAT229.79
k_d4_p-10UNSAT261.36
term1.blif_0.10_0.20_0_0_out_exactUNSAT266.58
ev-pr-6x6-5-5-0-1-2-lgUNSAT267.69
C432.blif_0.10_1.00_0_1_out_exactSAT271.57
szymanski-12-sUNSAT273.89
ev-pr-8x8-5-7-0-1-2-lgUNSAT293.1
ev-pr-4x4-5-3-0-0-1-sSAT298.94
s820_d2_sSAT363.5
aim-100-6_0-yes1-3-50SAT370.57
s386_d3_sSAT393.05
k_grz_p-12UNSAT394.64
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-005UNSAT398.67
b20_PR_7_90UNSAT409.16
k_lin_p-12UNSAT435.96
arbiter-07-comp-error01-qbf-hardness-depth-20UNSAT483.29
s641_d4_sSAT521.66
k_d4_p-11UNSAT526.72
rewriting_k_23UNSAT535.18
lights3_035_0_002UNSAT566.17
s820_d14_uFAIL599.71
k8_2_3FAIL599.71
stmt41_738_749FAIL599.71
ev-pr-8x8-19-7-0-1-2-lgFAIL599.71
C5315.blif_0.10_0.20_0_1_inp_exactFAIL599.71
k5_3_2FAIL599.71
k8_3_4FAIL599.71
stmt52_244_394FAIL599.71
stmt24_765_766FAIL599.71
stmt27_296_297FAIL599.71
k_d4_n-16FAIL599.71
C880.blif_0.10_0.20_0_1_inp_exactFAIL599.71
k12_4_2FAIL599.71
stmt44_916_917FAIL599.71
stmt16_950_951FAIL599.71
Umbrella_tbm_24.tex.module.000066FAIL599.71
stmt25_52_53FAIL599.71
k_d4_n-8FAIL599.71
connect_9x8_6_RFAIL599.71
s386_d11_uFAIL599.71
s386_d6_sFAIL599.71
stmt19_83_412FAIL599.71
s820_d15_uFAIL599.71
ev-pr-4x4-13-3-0-0-1-sFAIL599.71
stmt41_160_235FAIL599.71
k8_3_2FAIL599.71
s298_d12_sFAIL599.71
ev-pr-4x4-17-3-0-0-1-sFAIL599.71
ev-pr-8x8-7-7-0-1-2-lgFAIL599.71
stmt21_319_418FAIL599.71
k6_2_3FAIL599.71
stmt29_226_376FAIL599.71
uclid-pipe3aFAIL599.71
k_d4_p-16FAIL599.71
C6288.blif_0.10_0.20_0_1_out_exactFAIL599.71
BLOCKS3ii.5.3FAIL599.71
biu.mv.xl_ao.bb-b001-p010-MIF01-c01.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL599.71
c4_Debug_s3_f1_e2_v2FAIL599.71
c4_Debug_s3_f1_e2_v3FAIL599.71
c4_Debug_s3_f2_e2_v2FAIL599.71
c4_Debug_s5_f2_e2_v1FAIL599.71
cube_c11_par---13_FAIL599.71
ev-pr-8x8-15-7-0-1-2-lgFAIL599.71
cube_c7_ser--opt-24_FAIL599.71
cube_c9_par--opt-11_FAIL599.71
emptyroom_e3_ser---19_FAIL599.71
emptyroom_e3_ser--opt-20_FAIL599.71
emptyroom_e4_par---21_FAIL599.71
c4_Debug_s3_f1_e1_v2FAIL599.71
c3_Debug_s3_f2_e2_v2FAIL599.71
biu.mv.xl_ao.bb-b001-p010-MIF04-c06.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005FAIL599.71
biu.mv.xl_ao.bb-b001-p010-MIF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL599.71
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-008FAIL599.71
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-005FAIL599.71
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-008FAIL599.71
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009FAIL599.71
k_t4p_n-8FAIL599.71
C499.blif_0.10_0.20_0_1_out_exactFAIL599.71
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-007FAIL599.71
c2_Debug_s3_f1_e1_v2FAIL599.71
c2_Debug_s3_f2_e1_v3FAIL599.71
emptyroom_e4_ser--opt-44_FAIL599.71
C6288.blif_0.10_1.00_0_1_inp_exactFAIL599.71
par8-1-c-50FAIL599.71
par8-4-50FAIL599.71
stmt19_64_99FAIL599.71
stmt17_62_98FAIL599.71
stmt17_70_98FAIL599.71
stmt23_72_76FAIL599.71
stmt28_68_81FAIL599.71
stmt17_82_98FAIL599.71
stmt23_66_96FAIL599.71
stmt17_70_90FAIL599.71
stmt17_63_82FAIL599.71
par16-1-50FAIL599.71
jnh212-50FAIL599.71
C432.blif_0.10_0.20_0_0_out_exactFAIL599.71
c1_BMC_p2_k512FAIL599.71
c2_BMC_p1_k2048FAIL599.71
c4_BMC_p1_k32FAIL599.71
c4_BMC_p2_k128FAIL599.71
c5_BMC_p1_k32FAIL599.71
aim-100-1_6-yes1-2-00FAIL599.71
aim-200-1_6-yes1-4-90FAIL599.71
aim-50-6_0-yes1-3-50FAIL599.71
f600-50FAIL599.71
ii32b1-00FAIL599.71
stmt17_86_98FAIL599.71
b22_PR_8_20FAIL599.71
k_d4_p-20FAIL599.71
gttt_2_1_00011020_4x4_bFAIL599.71
BLOCKS4i.6.4FAIL599.71
k_branch_p-16FAIL599.71
gttt_2_2_001020_4x4_wFAIL599.71
lights3_035_0_027FAIL599.71
lights3_035_0_051FAIL599.71
p10-10.pddl_planlen=10FAIL599.71
p10-10.pddl_planlen=6FAIL599.71
p20-1.pddl_planlen=24FAIL599.71
lut4_3_fANDFAIL599.71
dungeon_i25-m12-u5-v0.pddl_planlen=65FAIL599.71
depots03_9FAIL599.71
driverlog01_7FAIL599.71
driverlog03_7FAIL599.71
network_irda_miniport_nscirda_settings.cFAIL599.71
driverlog10_6FAIL599.71
dungeon_i10-m10-u10-v0.pddl_planlen=187FAIL599.71
dungeon_i10-m5-u10-v0.pddl_planlen=134FAIL599.71
dungeon_i10-m5-u10-v0.pddl_planlen=23FAIL599.71
dungeon_i25-m12-u3-v0.pddl_planlen=165FAIL599.71
dungeon_i25-m12-u3-v0.pddl_planlen=72FAIL599.71
p20-1.pddl_planlen=26FAIL599.71
p20-1.pddl_planlen=32FAIL599.71
p20-5.pddl_planlen=17FAIL599.71
k_grz_p-16FAIL599.71
adder-10-satFAIL599.71
rewriting_k_25FAIL599.71
rewriting_k_30FAIL599.71
rewriting_k_50FAIL599.71
rewriting_k_75FAIL599.71
connect_8x7_6_RFAIL599.71
s05378_PR_1_75FAIL599.71
adder-14-satFAIL599.71
s1196_1_5FAIL599.71
rewriting_k_100FAIL599.71
query51_query50_1344FAIL599.71
s820_d10_sFAIL599.71
C6288.blif_0.10_0.20_0_0_out_exactFAIL599.71
pipesnotankage14_10FAIL599.71
pipesnotankage18_8FAIL599.71
k_path_p-16FAIL599.71
query03_query25_1344FAIL599.71
query11_query21_1344FAIL599.71
query21_ntrivil_1344FAIL599.71
query31_reachqu_1344nFAIL599.71
query44_query26_1344nFAIL599.71
lut4_2_f2FAIL599.71
b22_C_2_12FAIL599.71
Umbrella_tbm_24.tex.module.000131FAIL599.71
test2_quant_squaring3FAIL599.71
AR-fixpoint-5FAIL599.71
ev-pr-6x6-9-5-0-1-2-lgFAIL599.71
small-seq-fixpoint-5FAIL599.71
network_ndis_rtlnwifi_hw_hw_ccmp.cFAIL599.71
input_pnpi8042_moudep.cFAIL599.71
hid_hclient_ecdisp.cFAIL599.71
network_irda_miniport_nscirda_comm.cFAIL599.71
audio_ddksynth_csynth2.cppFAIL599.71
input_mouser_cseries.cFAIL599.71
small-swap1-fixpoint-3FAIL599.71
sdlx-fixpoint-3FAIL599.71
Umbrella_tbm_25.tex.moduleQ3.2S.000075FAIL599.71
Core1108_tbm_03.tex.moduleQ3.2S.000002FAIL599.71
Core1108_tbm_21.tex.module.000008FAIL599.71
Core1108_tbm_21.tex.module.000030FAIL599.71
s386_d4_sFAIL599.71
Umbrella_tbm_05.tex.module.000039FAIL599.71
Core1108_tbm_02.tex.moduleQ3.2S.000015FAIL599.71
small-seq-fixpoint-3FAIL599.71
cache-coherence-3-fixpoint-3FAIL599.71
cache-coherence-2-fixpoint-6FAIL599.71
incrementer-enc02-nonuniform-depth-31FAIL599.71
incrementer-enc03-nonuniform-depth-13FAIL599.71
incrementer-enc03-nonuniform-depth-24FAIL599.71
tlc04-uniform-depth-36FAIL599.71
tlc02-uniform-depth-114FAIL599.71
BLOCKS3ii.5.2FAIL599.71
tlc04-nonuniform-depth-98FAIL599.71
ev-pr-4x4-13-3-0-0-1-lgFAIL599.71
lut4_2_fXORFAIL599.71
ev-pr-8x8-13-7-0-1-2-lgFAIL599.71
arbiter-08-comp-error02-qbf-hardness-depth-9FAIL599.71
k_branch_n-12FAIL599.71
arbiter-10-comp-error01-qbf-hardness-depth-22FAIL599.71
BLOCKS4iii.6FAIL599.71
ev-pr-6x6-19-5-0-1-2-lgFAIL599.71
BLOCKS4ii.7.2FAIL599.71
incrementer-enc06-uniform-depth-24FAIL599.71
incrementer-enc07-nonuniform-depth-17FAIL599.71
incrementer-enc07-nonuniform-depth-21FAIL599.71
incrementer-enc07-uniform-depth-25FAIL599.71
incrementer-enc08-uniform-depth-33FAIL599.71
C6288.blif_0.10_0.20_0_0_inp_exactFAIL599.71
C5315.blif_0.10_1.00_0_0_out_exactFAIL599.71
ev-pr-4x4-7-3-0-0-1-sFAIL599.71
test2_quant_squaring2FAIL599.71
BLOCKS3i.5.4FAIL599.71
k_grz_p-17FAIL599.71
k_path_n-19FAIL599.71
ev-pr-6x6-17-5-0-1-2-lgFAIL599.71
k_path_n-13FAIL599.71
k_path_p-18FAIL599.71
C432.blif_0.10_0.20_0_0_inp_exactFAIL599.71
k_path_p-19FAIL599.71
k_path_p-14FAIL599.71
k_path_p-15FAIL599.71
k_path_p-13FAIL599.71
k_lin_p-14FAIL599.71
k_lin_p-19FAIL599.71
C6288.blif_0.10_1.00_0_0_inp_exactFAIL599.71
k_grz_p-13FAIL599.71
k_lin_n-3FAIL599.71
k_lin_n-7FAIL599.71
k_lin_n-9FAIL599.71
k_lin_n-11FAIL599.71
k_lin_n-6FAIL599.71
k_lin_n-14FAIL599.71
k_lin_n-15FAIL599.71
C5315.blif_0.10_0.20_0_1_out_exactFAIL599.71
C5315.blif_0.10_1.00_0_1_out_exactFAIL599.71
Adder2-8-cFAIL599.71
ev-pr-4x4-9-3-0-0-1-sFAIL599.71
C880.blif_0.10_1.00_0_0_inp_exactFAIL599.71
k_lin_n-8FAIL599.71
k_t4p_n-5FAIL599.71
k_t4p_n-9FAIL599.71
k_t4p_n-6FAIL599.71
k_t4p_n-14FAIL599.71
k_t4p_n-15FAIL599.71
k_t4p_n-13FAIL599.71
szymanski-14-sFAIL599.71
s1196_d3_uFAIL599.71
lut4_AND_fXORFAIL599.71
ev-pr-4x4-11-3-0-0-1-sFAIL599.71
k_ph_p-18FAIL599.71
k_ph_p-10FAIL599.71
k_ph_p-19FAIL599.71
k_ph_p-13FAIL599.71
k_d4_n-20FAIL599.71
lognBWLARGEB1FAIL599.71
k_ph_n-16FAIL599.71
C880.blif_0.10_0.20_0_0_inp_exactFAIL599.71
k_ph_n-21FAIL599.71
lut4_AND_f1FAIL599.71
C499.blif_0.10_0.20_0_0_inp_exactFAIL599.71
Adder2-10-sFAIL599.71
k_branch_n-9FAIL599.71
k_branch_n-10FAIL599.71
k_branch_n-11FAIL599.71
s298_d18_sFAIL599.71
k_branch_p-10FAIL599.71
k_branch_p-11FAIL599.71
k_branch_p-18FAIL599.71
k_branch_p-5FAIL599.71
BLOCKS3i.5.3FAIL599.71
k_grz_n-21FAIL599.71
C5315.blif_0.10_0.20_0_0_inp_exactFAIL599.71
C499.blif_0.10_1.00_0_0_inp_exactFAIL599.71
C499.blif_0.10_0.20_0_1_inp_exactFAIL599.71
C432.blif_0.10_0.20_0_1_out_exactFAIL599.71
uclid-pipe3bFAIL599.71
ev-pr-4x4-15-3-0-0-1-lgFAIL599.71
ev-pr-8x8-17-7-0-1-2-lgFAIL599.71
s820_d11_uFAIL599.71
Adder2-8-sFAIL599.71
ev-pr-6x6-13-5-0-1-2-lgFAIL599.71
k_branch_p-6FAIL599.71
k_grz_n-20FAIL599.71
k_d4_n-10FAIL599.71
lut4_2_f1FAIL599.71
k_branch_n-16FAIL599.71
term1.blif_0.10_0.20_0_0_inp_exactFAIL599.71
C432.blif_0.10_1.00_0_0_inp_exactFAIL599.71
k_grz_n-18FAIL599.71
k_path_n-12FAIL599.71
k_path_p-21FAIL599.71
BLOCKS3iii.4FAIL599.71
k_grz_p-18FAIL599.71
test4_quant_squaring2FAIL599.71
s820_d8_sFAIL599.71
k_branch_n-8FAIL599.71
k_d4_n-7FAIL599.71
k_d4_n-14FAIL599.71
k_d4_n-15FAIL599.71
C499.blif_0.10_0.20_0_0_out_exactFAIL599.71
k_d4_p-17FAIL599.71
k_branch_p-8FAIL599.71
adder-12-unsatFAIL599.71
k_d4_p-13FAIL599.71
ev-pr-8x8-9-7-0-1-2-lgFAIL599.71
k_grz_p-19FAIL599.71
s820_d3_sFAIL599.71
cnt10FAIL599.71
k_ph_p-12FAIL599.71
ken.flash^03.C-f3FAIL599.71
cnt08eFAIL599.71
k_branch_p-12FAIL599.71
ev-pr-4x4-11-3-0-0-1-lgFAIL599.71
cnt05FAIL599.71
nusmv.tcas^3.B-f2FAIL599.71
k_branch_p-21FAIL599.71
nusmv.tcas^6.B-f4FAIL599.71
ev-pr-6x6-7-5-0-1-2-lgFAIL599.71
cnt11FAIL599.71
cnt14FAIL599.71
ken.oop^2.C-d3FAIL599.71
s1196_d6_uFAIL599.71
C5315.blif_0.10_0.20_0_0_out_exactFAIL599.71
ken.flash^08.C-d4FAIL599.71
s820_d9_sFAIL599.71
ev-pr-4x4-17-3-0-0-1-lgFAIL599.71
s1196_d7_uFAIL599.71
k_path_n-14FAIL599.71
cnt16rFAIL599.71
nusmv.tcas-t^1.B-d2FAIL599.71
texas.PI_main^05.E-f3FAIL599.71
texas.PI_main^08.E-f3FAIL599.71
sortnetsort9.v.stepl.007FAIL599.71
C5315.blif_0.10_1.00_0_0_inp_exactFAIL599.71
sortnetsort9.v.stepl.005FAIL599.71
s298_d17_sFAIL599.71
cnt07eFAIL599.71
biu.mv.xl_ao.bb-b001-p005-OPF03-c09.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003FAIL599.71
s386_d9_uFAIL599.71
biu.mv.xl_ao.bb-b001-p005-OPF05-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL599.71
biu.mv.xl_ao.bb-b001-p005-OPF05-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL599.71
biu.mv.xl_ao.bb-b001-p010-IPF02-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003FAIL599.71
biu.mv.xl_ao.bb-b001-p010-IPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003FAIL599.71
biu.mv.xl_ao.bb-b001-p010-IPF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003FAIL599.71
sortnetsort9.AE.stepl.012FAIL599.71
sortnetsort8.v.stepl.009FAIL599.71
sortnetsort7.v.stepl.007FAIL599.71
sortnetsort10.v.stepl.005FAIL599.71
sortnetsort8.v.stepl.007FAIL599.71
k_t4p_n-12FAIL599.71
s386_d10_uFAIL599.71
C6288.blif_0.10_0.20_0_1_inp_exactFAIL599.71
s386_d12_uFAIL599.71
s298_d14_sFAIL599.71
k_ph_p-20FAIL599.71
s1269_d5_sFAIL599.72
szymanski-16-sFAIL599.72
kernel_agplib_intrface.cFAIL599.72
k_lin_n-17FAIL599.72
filesys_smbmrx_cvsndrcv.cFAIL599.72
C6288.blif_0.10_1.00_0_0_out_exactFAIL599.72
b20_C_3_2FAIL599.72
b21_C_3_206FAIL599.72
s386_d8_uFAIL599.72
ev-pr-4x4-15-3-0-0-1-sFAIL599.72
query42_query06_1344nFAIL599.72
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-010FAIL599.72
k8_4_3FAIL599.72
c1_BMC_p2_k1024FAIL599.72
C880.blif_0.10_0.20_0_1_out_exactFAIL599.72
Adder2-16-sFAIL599.72
connect_8x7_5_RFAIL599.72
dungeon_i25-m12-u5-v0.pddl_planlen=170FAIL599.72
dungeon_i25-m12-u3-v0.pddl_planlen=130FAIL599.72
test4_quant_squaring4FAIL599.72
c1_Debug_s3_f1_e1_v1FAIL599.73
tlc02-uniform-depth-241FAIL599.73
s1269_d4_sFAIL599.73
test1_quant_squaring2FAIL599.73
s3330_d4_sFAIL599.75
network_trans_sys_notify.cFAIL599.75
s713_d11_uFAIL599.75
C880.blif_0.10_0.20_0_0_out_exactFAIL599.81
incrementer-enc02-uniform-depth-58FAIL599.81
sortnetsort8.AE.stepl.003FAIL599.81
s820_d7_sFAIL599.81
s1196_d5_uFAIL599.81
c5_BMC_p2_k64FAIL599.81
c1_Debug_s5_f1_e1_v2FAIL599.81
BLOCKS3ii.4.3FAIL599.81
eijk.bs4863.S-d4FAIL599.81
p20-5.pddl_planlen=32FAIL599.81
C432.blif_0.10_1.00_0_0_out_exactFAIL599.81
c5_BMC_p2_k128FAIL599.81
gttt_2_1_00102030_4x4_torus_bFAIL599.81
k_ph_p-15FAIL599.81
k14_2_3FAIL599.81
uclid-pipe2FAIL599.81
szymanski-20-sFAIL599.81
gttt_1_1_00101121_4x4_torus_wFAIL599.81
k_branch_n-20FAIL599.81
s510_d6_sFAIL599.81
lognBWLARGEA1FAIL599.81
ken.oop^2.C-d4FAIL599.81
k_branch_p-14FAIL599.81
dungeon_i15-m7-u4-v0.pddl_planlen=81FAIL599.81
c1_BMC_p1_k4FAIL599.81
ev-pr-8x8-11-7-0-1-2-lgFAIL599.81
pipesnotankage18_7FAIL599.81
p20-20.pddl_planlen=23FAIL599.81
s713_d4_sFAIL599.81
s298_d22_uFAIL599.81
toilet_c_10_01.17FAIL599.81
connect_8x7_4_RFAIL599.81
k5_2_3FAIL599.81
adder-12-satFAIL599.81
biu.mv.xl_ao.bb-b001-p010-OPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003FAIL599.81
ev-pr-6x6-11-5-0-1-2-lgFAIL599.81
szymanski-18-sFAIL599.81
s298_d10_sFAIL599.81
s298_d25_uFAIL599.81
k_path_n-16FAIL599.81
C499.blif_0.10_1.00_0_0_out_exactFAIL599.81
szymanski-24-sFAIL599.81
s820_d12_uFAIL599.81
s298_d19_uFAIL599.81
s1196_d4_uFAIL599.81
sortnetsort9.AE.stepl.009FAIL599.81
k_lin_n-5FAIL599.81
s499_d9_sFAIL599.82
s3330_d7_sFAIL599.82
s510_d11_sFAIL599.82
ev-pr-6x6-15-5-0-1-2-sFAIL599.82
s499_d17_sFAIL599.82
s641_d7_uFAIL599.82
s3330_d2_sFAIL599.82
s3330_d8_sFAIL599.82
s499_d24_uFAIL599.82
s499_d15_sFAIL599.82
s713_d5_sFAIL599.82
ev-pr-6x6-11-5-0-1-2-sFAIL599.82
s510_d24_sFAIL599.82
s713_d7_uFAIL599.82
s510_d31_sFAIL599.82
s386_d7_sFAIL599.82
s499_d22_uFAIL599.82
ev-pr-6x6-13-5-0-1-2-sFAIL599.82
s641_d10_uFAIL599.82
C880.blif_0.10_1.00_0_0_out_exactFAIL599.82
s713_d10_uFAIL599.82
s713_d9_uFAIL599.82
ev-pr-6x6-9-5-0-1-2-sFAIL599.82
s1269_d9_sFAIL599.82
tlc04-nonuniform-depth-56FAIL599.82
s641_d5_sFAIL599.82
test1_quant_squaring3FAIL599.82
c3_BMC_p1_k256FAIL599.82
ev-pr-6x6-19-5-0-1-2-sFAIL599.82
s641_d6_sFAIL599.82
ev-pr-6x6-15-5-0-1-2-lgFAIL599.82
s499_d12_sFAIL599.82
s3330_d3_sFAIL599.82
s713_d8_uFAIL599.82
s641_d8_uFAIL599.82
s713_d6_sFAIL599.82
dungeon_i25-m12-u3-v0.pddl_planlen=190FAIL599.82
s1269_d3_sFAIL599.82
s499_d7_sFAIL599.82
ev-pr-6x6-5-5-0-1-2-sFAIL599.82
s499_d18_sFAIL599.82
ev-pr-6x6-7-5-0-1-2-sFAIL599.83
s1269_d8_sFAIL599.83
s641_d11_uFAIL599.83
ev-pr-6x6-17-5-0-1-2-sFAIL599.83
s499_d19_sFAIL599.83
s3330_d5_sFAIL599.83
s510_d28_sFAIL599.83
test3_quant_squaring4FAIL599.83
s510_d35_sFAIL599.83
s510_d23_sFAIL599.84
s1269_d14_uFAIL599.84
s499_d25_uFAIL599.84
s510_d32_sFAIL599.84
s510_d36_sFAIL599.84
s1269_d13_uFAIL599.84
s1269_d15_uFAIL599.84
s1269_d10_sFAIL599.84
s3330_d12_uFAIL599.84
s1269_d12_uFAIL599.84
s3330_d9_sFAIL599.85
s3330_d10_uFAIL599.86
s3330_d14_uFAIL599.86