Instances solved by hordeqbf
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.

InstanceResultTime
k_ph_p-1UNSAT1.05
k_grz_n-8SAT1.05
Adder2-2-cUNSAT1.05
cnt02eSAT1.05
toilet_g_10_01.2SAT1.05
z4ml.blif_0.10_0.20_0_0_inp_exactUNSAT1.05
term1.blif_0.10_0.20_0_1_out_exactSAT1.05
aim-200-1_6-yes1-4-90SAT1.05
lut4_2_fXORSAT1.05
qshifter_3SAT1.05
cnt05SAT1.05
impl16SAT1.05
irst.dme6.B-d2SAT1.05
test5_quant_squaring5SAT1.05
k_dum_n-2SAT1.05
impl08SAT1.05
s27_d2_sSAT1.05
vis.4-arbit^2.E-f2SAT1.05
s27_d5_uUNSAT1.05
C432.blif_0.10_0.20_0_1_inp_exactSAT1.05
tree-exa2-35UNSAT1.05
k_dum_n-1SAT1.05
stmt1_30_31SAT1.05
C499.blif_0.10_0.20_0_1_inp_exactSAT1.05
impl10SAT1.05
toilet_a_04_01.6UNSAT1.05
counter_e_2SAT1.05
tree-exa10-10SAT1.05
k_ph_n-1SAT1.05
impl20SAT1.05
toilet_a_02_10.2SAT1.05
k_poly_p-2UNSAT1.05
k_ph_n-3SAT1.05
k_ph_p-3UNSAT1.05
k_ph_n-6SAT1.05
lut4_AND_f1SAT1.05
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-001UNSAT1.05
k_path_p-5UNSAT1.05
z4ml.blif_0.10_0.20_0_1_inp_exactSAT1.05
tree-exa2-25UNSAT1.05
k_poly_p-14UNSAT1.05
k_ph_p-5UNSAT1.05
flipflop-3-cUNSAT1.05
k_poly_p-16UNSAT1.06
BLOCKS3iii.4UNSAT1.06
k_lin_n-3SAT1.06
k_lin_n-5SAT1.06
k_dum_p-4UNSAT1.06
k_lin_p-4UNSAT1.06
k_dum_p-12UNSAT1.06
tree-exa2-30UNSAT1.06
k_grz_n-7SAT1.06
k_grz_n-6SAT1.06
k_grz_n-5SAT1.06
toilet_c_08_05.4SAT1.06
k_grz_p-5UNSAT1.06
C432.blif_0.10_1.00_0_1_inp_exactSAT1.06
term1.blif_0.10_0.20_0_1_inp_exactSAT1.06
k_lin_p-2UNSAT1.06
rankfunc51_signed_32SAT1.06
rankfunc5_signed_32SAT1.06
toilet_c_04_01.4UNSAT1.06
k_path_p-2UNSAT1.06
tree-exa2-40UNSAT1.06
k_d4_p-4UNSAT1.06
tree-exa2-50UNSAT1.06
k_lin_p-10UNSAT1.06
b12_PR_9_2SAT1.06
z4ml.blif_0.10_0.20_0_1_out_exactSAT1.06
k_ph_n-9SAT1.06
arbiter-07-comp-error01-qbf-hardness-depth-4UNSAT1.06
C432.blif_0.10_1.00_0_1_out_exactSAT1.06
k_path_n-3SAT1.06
k_lin_p-3UNSAT1.06
tlc03-uniform-depth-9UNSAT1.06
k_lin_p-9UNSAT1.06
k_ph_n-8SAT1.06
k_lin_p-11UNSAT1.06
k_lin_p-19UNSAT1.06
k_lin_p-14UNSAT1.06
flipflop-4-cUNSAT1.06
qshifter_5SAT1.06
arbiter-06-comp-error02-qbf-hardness-depth-5UNSAT1.06
rankfunc17_unsigned_16SAT1.06
mutex-2-sSAT1.06
toilet_c_10_01.12UNSAT1.06
toilet_g_15_01.2SAT1.06
toilet_g_20_01.2SAT1.06
toilet_g_04_01.2SAT1.06
impl14SAT1.06
toilet_g_08_01.2SAT1.06
term1.blif_0.10_1.00_0_0_inp_exactUNSAT1.06
k_d4_p-8UNSAT1.06
toilet_c_08_01.2UNSAT1.06
toilet_g_02_01.2SAT1.06
toilet_g_06_01.2SAT1.06
z4ml.blif_0.10_1.00_0_0_out_exactUNSAT1.06
k_branch_n-2SAT1.06
k_branch_n-3SAT1.06
term1.blif_0.10_1.00_0_1_inp_exactSAT1.06
C499.blif_0.10_1.00_0_1_out_exactSAT1.06
toilet_c_08_01.7UNSAT1.06
toilet_c_08_01.6UNSAT1.06
toilet_c_08_01.11UNSAT1.06
toilet_c_06_01.4UNSAT1.06
toilet_a_04_01.4UNSAT1.06
toilet_a_08_01.13UNSAT1.06
toilet_a_06_01.6UNSAT1.06
toilet_a_06_01.10UNSAT1.06
toilet_a_04_05.2SAT1.06
C499.blif_0.10_1.00_0_0_inp_exactUNSAT1.06
k_poly_p-4UNSAT1.06
BLOCKS3iii.5SAT1.06
toilet_c_06_01.8UNSAT1.06
Core1108_tbm_21.tex.module.000027UNSAT1.06
z4ml.blif_0.10_1.00_0_1_inp_exactSAT1.06
k_dum_n-3SAT1.06
k_dum_n-5SAT1.06
k_dum_p-2UNSAT1.06
lut4_2_f1SAT1.06
k_dum_p-3UNSAT1.06
s27_d3_uUNSAT1.06
k_dum_p-6UNSAT1.06
z4ml.blif_0.10_0.20_0_0_out_exactUNSAT1.06
impl02SAT1.06
C432.blif_0.10_1.00_0_0_inp_exactUNSAT1.06
C499.blif_0.10_1.00_0_1_inp_exactSAT1.06
k_grz_p-4UNSAT1.06
k_grz_n-2SAT1.06
impl06SAT1.06
k_d4_p-11UNSAT1.06
Core1108_tbm_21.tex.module.000026UNSAT1.06
k_d4_n-2SAT1.06
s298_d2_sSAT1.06
k_poly_p-8UNSAT1.06
qshifter_4SAT1.06
k_d4_n-3SAT1.06
k_d4_p-17UNSAT1.06
k_d4_p-10UNSAT1.06
BLOCKS3i.5.3UNSAT1.06
k_d4_p-1UNSAT1.06
k_d4_p-7UNSAT1.06
BLOCKS3ii.4.3UNSAT1.06
k_d4_p-13UNSAT1.06
C880.blif_0.10_1.00_0_1_out_exactSAT1.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-003UNSAT1.06
sortnetsort8.v.stepl.009SAT1.06
k3_1_1SAT1.06
sortnetsort7.v.stepl.007SAT1.06
rewriting_k_10UNSAT1.06
k_path_n-4SAT1.06
impl04SAT1.06
texas.two_proc^4.E-f2SAT1.06
lights3_021_0_009SAT1.06
stmt44_107_113SAT1.06
gttt_2_2_0010_3x3_torus_wUNSAT1.06
lognBWLARGEB0UNSAT1.06
BLOCKS3i.5.4SAT1.06
c4_BMC_p1_k32SAT1.06
c4_BMC_p2_k128UNSAT1.06
aim-100-1_6-yes1-2-00SAT1.06
gttt_2_1_000111_3x3_torus_bSAT1.06
aim-100-6_0-yes1-3-50SAT1.06
k_d4_p-20UNSAT1.06
aim-50-6_0-yes1-3-50UNSAT1.06
lut4_XOR_fORUNSAT1.06
lut4_3_fANDSAT1.06
lights3_021_0_027UNSAT1.06
z4ml.blif_0.10_1.00_0_1_out_exactSAT1.06
stmt44_107_108SAT1.06
mutex-4-sSAT1.06
query26_query34_1344SAT1.06
szymanski-5-sUNSAT1.06
eijk.S382.S-d4SAT1.06
k_d4_n-1SAT1.06
p5-5.pddl_planlen=5SAT1.06
query21_ntrivil_1344UNSAT1.06
vis.prodcell^01.E-d2SAT1.06
k_grz_n-4SAT1.06
impl12SAT1.06
par8-1-c-50UNSAT1.06
lights3_035_0_002UNSAT1.06
impl18SAT1.06
texas.parsesys^1.E-d4SAT1.06
jnh212-50UNSAT1.06
stmt27_16_97UNSAT1.06
z4ml.blif_0.10_1.00_0_0_inp_exactUNSAT1.06
k_ph_n-4SAT1.06
stmt19_3_214UNSAT1.06
BLOCKS3ii.5.2UNSAT1.06
p5-5.pddl_planlen=6SAT1.06
s27_d4_uUNSAT1.06
cnt01SAT1.06
term1.blif_0.10_1.00_0_0_out_exactUNSAT1.06
k_poly_n-2SAT1.06
k_poly_p-7UNSAT1.06
adder-2-unsatUNSAT1.06
tree-exa10-30SAT1.06
tree-exa2-20UNSAT1.06
cube_c3_ser--opt-6_SAT1.06
k_lin_p-8UNSAT1.06
k_poly_p-15UNSAT1.06
s01238_PR_8_2SAT1.06
tree-exa2-10UNSAT1.06
query01_ntrivil_1344UNSAT1.06
k_d4_p-16UNSAT1.06
lognBWLARGEA0UNSAT1.06
gttt_1_1_001020_3x3_wUNSAT1.06
tree-exa2-45UNSAT1.06
k_poly_p-11UNSAT1.06
lut4_XOR_f1SAT1.06
BLOCKS3ii.5.3SAT1.06
driverlog03_7SAT1.06
driverlog01_7SAT1.06
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-003UNSAT1.06
stmt19_90_266UNSAT1.07
rankfunc13_signed_32SAT1.07
ring_r4_ser--opt-11_UNSAT1.07
flipflop-5-cUNSAT1.07
ev-pr-4x4-11-3-0-0-1-lgSAT1.07
stmt21_79_304UNSAT1.07
term1.blif_0.10_1.00_0_1_out_exactSAT1.07
lights3_035_0_051UNSAT1.07
par8-4-50UNSAT1.07
szymanski-6-sUNSAT1.07
incrementer-enc05-uniform-depth-2UNSAT1.07
k_dum_p-14UNSAT1.07
k_poly_p-9UNSAT1.07
C6288.blif_0.10_1.00_0_1_out_exactSAT1.07
ring_r3_ser--opt-8_SAT1.07
dungeon_i10-m5-u10-v0.pddl_planlen=23UNSAT1.07
rankfunc33_signed_32SAT1.07
ev-pr-4x4-7-3-0-0-1-lgSAT1.07
flipflop-6-cUNSAT1.07
k_lin_n-6SAT1.07
s05378_PR_9_2SAT1.07
s05378_PR_1_75UNSAT1.07
Core1108_tbm_02.tex.moduleQ3.2S.000015UNSAT1.07
gttt_2_2_00101121_3x3_bUNSAT1.07
gttt_1_1_000111_3x3_torus_wUNSAT1.07
ev-pr-4x4-5-3-0-0-1-lgSAT1.07
arbiter-07-comp-error01-qbf-hardness-depth-11UNSAT1.07
k_lin_p-12UNSAT1.07
sortnetsort5.v.stepl.004UNSAT1.07
k_lin_n-7SAT1.07
k_poly_p-19UNSAT1.07
lights3_035_0_027UNSAT1.07
toilet_a_08_05.9SAT1.07
CHAIN12v.13SAT1.07
test5_quant_squaring4SAT1.07
toilet_a_08_05.2UNSAT1.07
arbiter-07-comp-error02-qbf-hardness-depth-6UNSAT1.07
C880.blif_0.10_1.00_0_1_inp_exactSAT1.07
query48_query15_1344UNSAT1.07
ev-pr-4x4-13-3-0-0-1-lgSAT1.08
s09234_PR_8_2SAT1.08
s09234_PR_8_5SAT1.08
stmt29_226_376UNSAT1.08
tlc03-nonuniform-depth-17UNSAT1.08
ii32b1-00SAT1.08
stmt52_244_394UNSAT1.08
stmt19_217_309UNSAT1.08
C5315.blif_0.10_1.00_0_1_out_exactSAT1.08
arbiter-06-comp-error01-qbf-hardness-depth-12UNSAT1.08
C5315.blif_0.10_1.00_0_1_inp_exactSAT1.08
ev-pr-4x4-17-3-0-0-1-lgSAT1.08
ev-pr-4x4-9-3-0-0-1-lgSAT1.08
Umbrella_tbm_25.tex.moduleQ3.2S.000075UNSAT1.09
cube_c7_ser--opt-24_SAT1.09
toilet_a_10_05.3UNSAT1.09
ev-pr-4x4-15-3-0-0-1-lgSAT1.09
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-005UNSAT1.09
tlc03-uniform-depth-21UNSAT1.09
arbiter-06-comp-error01-qbf-hardness-depth-15UNSAT1.09
arbiter-10-comp-error01-qbf-hardness-depth-10UNSAT1.09
k_ph_n-11SAT1.09
incrementer-enc03-nonuniform-depth-13UNSAT1.09
p10-10.pddl_planlen=6UNSAT1.1
lognBWLARGEA1UNSAT1.1
ev-pr-4x4-5-3-0-0-1-sSAT1.1
b20_PR_7_90UNSAT1.1
flipflop-7-cUNSAT1.1
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-005UNSAT1.11
incrementer-enc07-nonuniform-depth-17UNSAT1.11
ev-pr-8x8-5-7-0-1-2-lgUNSAT1.11
b20_PR_7_20SAT1.11
gttt_2_1_0010_4x4_torus_bUNSAT1.11
ev-pr-6x6-5-5-0-1-2-lgUNSAT1.11
ken.flash^10.C-f2UNSAT1.12
vonNeumann-ripple-carry-5-cUNSAT1.12
connect_5x4_3_DUNSAT1.12
s15850_PR_8_50SAT1.12
incrementer-enc03-nonuniform-depth-24UNSAT1.13
incrementer-enc07-nonuniform-depth-21UNSAT1.13
p10-10.pddl_planlen=10SAT1.13
s15850_PR_2_2SAT1.13
incrementer-enc02-nonuniform-depth-31UNSAT1.13
ken.flash^03.C-f3UNSAT1.14
flipflop-8-cUNSAT1.14
tlc03-uniform-depth-52UNSAT1.15
tlc01-uniform-depth-73UNSAT1.16
dungeon_i10-m5-u10-v0.pddl_planlen=134UNSAT1.16
connect_6x5_5_DUNSAT1.16
dungeon_i10-m10-u10-v0.pddl_planlen=187UNSAT1.18
vonNeumann-ripple-carry-6-cUNSAT1.19
ken.flash^10.C-f3UNSAT1.2
flipflop-9-cUNSAT1.21
connect_7x6_4_WUNSAT1.24
connect_8x7_7_WUNSAT1.25
vonNeumann-ripple-carry-7-cUNSAT1.3
flipflop-10-cUNSAT1.33
flipflop-11-cUNSAT1.4
vonNeumann-ripple-carry-8-cUNSAT1.43
vonNeumann-ripple-carry-9-cUNSAT1.52
fpu-10Xh-error01-uniform-depth-5UNSAT1.6
flipflop-12-cUNSAT1.6
vonNeumann-ripple-carry-10-cUNSAT1.94
fpu-10Xe-correct01-nonuniform-depth-6UNSAT1.99
k_path_n-5SAT2.06
CHAIN14v.15SAT2.07
mutex-8-sSAT2.08
k_lin_n-8SAT2.08
ev-pr-4x4-9-3-0-0-1-sSAT2.16
ev-pr-8x8-7-7-0-1-2-lgUNSAT2.17
ev-pr-4x4-11-3-0-0-1-sSAT2.19
vonNeumann-ripple-carry-11-cUNSAT2.43
fpu-10Xh-correct04-uniform-depth-8UNSAT3.02
Umbrella_tbm_24.tex.module.000066SAT3.05
k_branch_n-4SAT3.06
Umbrella_tbm_24.tex.module.000131SAT3.06
k_t4p_n-2SAT3.06
Core1108_tbm_03.tex.moduleQ3.2S.000002UNSAT3.07
query11_query21_1344UNSAT3.07
term1.blif_0.10_0.20_0_0_out_exactUNSAT3.07
cnt10SAT3.1
k_ph_n-14SAT3.15
cube_c9_par--opt-11_SAT3.15
arbiter-07-comp-error01-qbf-hardness-depth-20UNSAT3.19
lognBWLARGEB1UNSAT3.25
vonNeumann-ripple-carry-12-cUNSAT3.26
fpu-10Xh-correct04-uniform-depth-14UNSAT3.68
k_grz_n-10SAT4.06
emptyroom_e3_ser--opt-20_SAT4.07
k_lin_n-9SAT4.09
k_dum_p-16UNSAT4.09
ev-pr-6x6-7-5-0-1-2-lgUNSAT4.11
tlc04-nonuniform-depth-56UNSAT4.15
vonNeumann-ripple-carry-13-cUNSAT4.19
fpu-10Xh-correct04-uniform-depth-15UNSAT4.52
c1_BMC_p2_k512UNSAT4.7
query51_query50_1344UNSAT5.06
k_grz_p-10UNSAT5.07
rewriting_k_17UNSAT5.07
BLOCKS4iii.6UNSAT5.08
k_lin_n-11SAT5.1
k_grz_p-12UNSAT5.16
ev-pr-4x4-7-3-0-0-1-sSAT5.23
fpu-10Xh-correct04-uniform-depth-16UNSAT5.55
fpu-10Xh-correct04-nonuniform-depth-18UNSAT5.79
term1.blif_0.10_0.20_0_0_inp_exactUNSAT6.08
par16-1-50UNSAT6.13
connect_5x4_4_RUNSAT6.22
c1_BMC_p1_k4SAT6.23
fpu-10Xe-correct01-uniform-depth-22UNSAT6.24
sortnetsort8.v.stepl.007SAT7.07
k_grz_p-13UNSAT7.07
vonNeumann-ripple-carry-15-cUNSAT7.19
fpu-10Xe-correct01-nonuniform-depth-24UNSAT7.5
fpu-10Xh-correct04-nonuniform-depth-27UNSAT8.06
cnt11SAT8.09
stmt17_18_19SAT9.07
CHAIN16v.17SAT9.11
c1_BMC_p2_k1024UNSAT9.21
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-007UNSAT9.21
k_grz_p-11UNSAT10.08
sortnetsort8.AE.stepl.003SAT10.15
k_t4p_p-4UNSAT11.08
C5315.blif_0.10_1.00_0_0_inp_exactUNSAT11.1
k_dum_p-17UNSAT11.15
arbiter-10-comp-error01-qbf-hardness-depth-22UNSAT11.25
k_path_n-6SAT12.08
k_lin_n-14SAT12.15
gttt_2_2_001020_4x4_wUNSAT12.15
k_lin_n-15SAT14.14
connect_5x4_3_RUNSAT14.24
test3_quant_squaring2UNSAT15.08
ev-pr-8x8-9-7-0-1-2-lgUNSAT16.28
nusmv.tcas^6.B-f4SAT16.44
tlc04-nonuniform-depth-98UNSAT17.21
C432.blif_0.10_1.00_0_0_out_exactUNSAT20.09
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-008UNSAT20.23
k_grz_p-17UNSAT22.1
k_grz_p-16UNSAT22.1
ev-pr-6x6-9-5-0-1-2-lgUNSAT22.19
k_ph_n-16SAT23.29
rewriting_k_19UNSAT24.11
BLOCKS4ii.7.2UNSAT24.11
p20-20.pddl_planlen=23SAT25.34
CHAIN17v.18SAT27.63
k_lin_n-17SAT28.2
dungeon_i25-m12-u5-v0.pddl_planlen=65UNSAT30.44
C432.blif_0.10_0.20_0_0_inp_exactUNSAT31.26
Core1108_tbm_21.tex.module.000030SAT33.15
k_grz_p-18UNSAT43.13
k_dum_p-20UNSAT43.18
Core1108_tbm_21.tex.module.000008SAT44.17
szymanski-8-sUNSAT51.5
CHAIN18v.19SAT57.17
gttt_2_1_00102030_4x4_torus_bUNSAT61.27
driverlog10_6UNSAT61.71
k_branch_p-5UNSAT70.02
gttt_2_1_00011020_4x4_bUNSAT71.28
tlc02-uniform-depth-114UNSAT72.38
ev-pr-6x6-11-5-0-1-2-lgUNSAT73.11
ev-pr-8x8-11-7-0-1-2-lgUNSAT78.36
Umbrella_tbm_05.tex.module.000039SAT82.24
k_grz_p-19UNSAT84.19
k_dum_p-21UNSAT91.24
k_ph_n-21SAT93.36
c2_BMC_p1_k2048SAT96.93
lut4_AND_fXORUNSAT100.58
s1196_1_5SAT102.7
biu.mv.xl_ao.bb-b001-p010-IPF02-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003SAT131.28
cnt14SAT132.44
k_grz_n-18SAT133.29
ev-pr-6x6-5-5-0-1-2-sUNSAT135.56
CHAIN19v.20SAT136.32
lut4_2_f2UNSAT162.37
C499.blif_0.10_0.20_0_0_inp_exactUNSAT178.51
k_grz_n-20SAT202.44
biu.mv.xl_ao.bb-b001-p005-OPF03-c09.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003SAT236.46
k_grz_n-21SAT236.47
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009UNSAT294.68
stmt19_83_412UNSAT303.02
rewriting_k_21UNSAT309.68
CHAIN20v.21SAT313.63
toilet_c_10_01.17UNSAT337.66
c3_BMC_p1_k256SAT359.03
tlc02-uniform-depth-241UNSAT378.17
ev-pr-6x6-7-5-0-1-2-sUNSAT386.21
ev-pr-8x8-13-7-0-1-2-lgUNSAT496.15
ev-pr-6x6-13-5-0-1-2-lgUNSAT506.2
ev-pr-4x4-13-3-0-0-1-sSAT531.18
query03_query25_1344FAIL600
rankfunc5_unsigned_64FAIL600
f600-50FAIL600
incrementer-enc07-uniform-depth-25FAIL600
query44_query26_1344nFAIL600
rankfunc14_signed_64FAIL600
incrementer-enc06-uniform-depth-24FAIL600
query42_query06_1344nFAIL600
incrementer-enc02-uniform-depth-58FAIL600
query31_reachqu_1344nFAIL600
c5_BMC_p2_k128FAIL600
p20-5.pddl_planlen=32FAIL600
pipesnotankage18_8FAIL600
stmt17_86_98FAIL600
stmt17_63_82FAIL600
stmt17_70_90FAIL600
stmt23_66_96FAIL600
stmt17_82_98FAIL600
stmt28_68_81FAIL600
rankfunc3_signed_64FAIL600
pipesnotankage14_10FAIL600
stmt23_72_76FAIL600
stmt17_70_98FAIL600
stmt17_62_98FAIL600
stmt19_64_99FAIL600
incrementer-enc08-uniform-depth-33FAIL600
pipesnotankage18_7FAIL600
input_mouser_cseries.cFAIL600
rewriting_k_100FAIL600
small-seq-fixpoint-5FAIL600
rewriting_k_75FAIL600
small-seq-fixpoint-3FAIL600
cache-coherence-3-fixpoint-3FAIL600
cache-coherence-2-fixpoint-1FAIL600
small-swap2-fixpoint-4FAIL600
small-synabs-fixpoint-9FAIL600
AR-fixpoint-5FAIL600
emptyroom_e4_ser--opt-44_FAIL600
emptyroom_e4_par---21_FAIL600
small-swap1-fixpoint-3FAIL600
emptyroom_e3_ser---19_FAIL600
sdlx-fixpoint-3FAIL600
cache-coherence-2-fixpoint-6FAIL600
rewriting_k_50FAIL600
rewriting_k_30FAIL600
kernel_agplib_intrface.cFAIL600
audio_ddksynth_csynth2.cppFAIL600
network_irda_miniport_nscirda_comm.cFAIL600
network_trans_sys_notify.cFAIL600
hid_hclient_ecdisp.cFAIL600
dungeon_i25-m12-u3-v0.pddl_planlen=190FAIL600
c5_BMC_p2_k64FAIL600
input_pnpi8042_moudep.cFAIL600
c5_BMC_p1_k32FAIL600
rewriting_k_23FAIL600
rewriting_k_25FAIL600
network_ndis_rtlnwifi_hw_hw_ccmp.cFAIL600
filesys_smbmrx_cvsndrcv.cFAIL600
network_irda_miniport_nscirda_settings.cFAIL600
cube_c11_par---13_FAIL600
depots03_9FAIL600
s510_d23_sFAIL600
dungeon_i25-m12-u3-v0.pddl_planlen=72FAIL600
s298_d25_uFAIL600
s1269_d12_uFAIL600
s820_d15_uFAIL600
s713_d5_sFAIL600
s298_d22_uFAIL600
s499_d12_sFAIL600
s298_d12_sFAIL600
s499_d24_uFAIL600
s1269_d13_uFAIL600
s510_d36_sFAIL600
s499_d9_sFAIL600
s510_d11_sFAIL600
dungeon_i25-m12-u3-v0.pddl_planlen=165FAIL600
dungeon_i25-m12-u3-v0.pddl_planlen=130FAIL600
dungeon_i15-m7-u4-v0.pddl_planlen=81FAIL600
s510_d35_sFAIL600
s713_d11_uFAIL600
s386_d6_sFAIL600
s510_d28_sFAIL600
s820_d7_sFAIL600
b22_PR_8_20FAIL600
s3330_d7_sFAIL600
s386_d11_uFAIL600
s1269_d14_uFAIL600
s3330_d14_uFAIL600
s499_d15_sFAIL600
s499_d25_uFAIL600
b22_C_2_12FAIL600
b21_C_3_206FAIL600
dungeon_i25-m12-u5-v0.pddl_planlen=170FAIL600
gttt_1_1_00101121_4x4_torus_wFAIL600
tlc04-uniform-depth-36FAIL600
stmt41_160_235FAIL600
p20-1.pddl_planlen=24FAIL600
p20-1.pddl_planlen=26FAIL600
stmt21_319_418FAIL600
p20-1.pddl_planlen=32FAIL600
C5315.blif_0.10_1.00_0_0_out_exactFAIL600
rankfunc22_signed_64FAIL600
p20-5.pddl_planlen=17FAIL600
stmt41_738_749FAIL600
stmt24_765_766FAIL600
stmt27_296_297FAIL600
stmt44_916_917FAIL600
stmt16_950_951FAIL600
k12_4_2FAIL600
k8_3_4FAIL600
k5_3_2FAIL600
s510_d24_sFAIL600
s510_d3_sFAIL600
s510_d6_sFAIL600
s499_d17_sFAIL600
b20_C_3_2FAIL600
k5_2_3FAIL600
arbiter-08-comp-error02-qbf-hardness-depth-9FAIL600
rankfunc13_unsigned_64FAIL600
k6_2_3FAIL600
k8_4_3FAIL600
k14_2_3FAIL600
k8_3_2FAIL600
s3330_d5_sFAIL600
k8_2_3FAIL600
stmt25_52_53FAIL600
CHAIN23v.24FAIL600
mutex-16-sFAIL600
k_t4p_p-20FAIL600
C880.blif_0.10_0.20_0_0_inp_exactFAIL600
k_t4p_p-12FAIL600
k_d4_n-20FAIL600
test3_quant_squaring4FAIL600
ev-pr-6x6-19-5-0-1-2-sFAIL600
Adder2-8-cFAIL600
s298_d4_sFAIL600
szymanski-12-sFAIL600
ev-pr-6x6-17-5-0-1-2-lgFAIL600
s713_d6_sFAIL600
C6288.blif_0.10_1.00_0_0_inp_exactFAIL600
C5315.blif_0.10_0.20_0_1_out_exactFAIL600
s1196_d3_uFAIL600
CHAIN22v.23FAIL600
k_branch_p-12FAIL600
k_ph_p-12FAIL600
C5315.blif_0.10_0.20_0_0_out_exactFAIL600
test1_quant_squaring3FAIL600
s3330_d9_sFAIL600
s713_d7_uFAIL600
k_branch_p-21FAIL600
k_poly_n-16FAIL600
Adder2-16-sFAIL600
k_t4p_p-16FAIL600
szymanski-14-sFAIL600
szymanski-20-sFAIL600
C880.blif_0.10_1.00_0_0_inp_exactFAIL600
s641_d6_sFAIL600
CHAIN21v.22FAIL600
qshifter_6FAIL600
C499.blif_0.10_0.20_0_0_out_exactFAIL600
s298_d18_sFAIL600
Adder2-10-sFAIL600
ev-pr-6x6-15-5-0-1-2-sFAIL600
s298_d19_uFAIL600
test1_quant_squaring2FAIL600
k_path_n-16FAIL600
C5315.blif_0.10_0.20_0_0_inp_exactFAIL600
s1269_d8_sFAIL600
k_dum_n-21FAIL600
k_t4p_n-4FAIL600
Adder2-8-sFAIL600
s820_d11_uFAIL600
ev-pr-8x8-17-7-0-1-2-lgFAIL600
k_branch_p-8FAIL600
adder-12-unsatFAIL600
adder-12-satFAIL600
szymanski-24-sFAIL600
szymanski-16-sFAIL600
s499_d22_uFAIL600
k_path_p-21FAIL600
k_path_n-12FAIL600
s1196_d2_sFAIL600
ev-pr-8x8-15-7-0-1-2-lgFAIL600
k_branch_n-16FAIL600
C880.blif_0.10_0.20_0_0_out_exactFAIL600
test4_quant_squaring4FAIL600
test4_quant_squaring2FAIL600
s820_d8_sFAIL600
k_branch_n-8FAIL600
s3330_d8_sFAIL600
qshifter_8FAIL600
s713_d2_sFAIL600
szymanski-10-sFAIL600
ev-pr-6x6-13-5-0-1-2-sFAIL600
ev-pr-6x6-17-5-0-1-2-sFAIL600
qshifter_7FAIL600
C6288.blif_0.10_1.00_0_0_out_exactFAIL600
ev-pr-6x6-19-5-0-1-2-lgFAIL600
test2_quant_squaring2FAIL600
ev-pr-6x6-9-5-0-1-2-sFAIL600
connect_8x7_4_RFAIL600
C880.blif_0.10_1.00_0_0_out_exactFAIL600
s386_d2_sFAIL600
s386_d7_sFAIL600
s3330_d4_sFAIL600
k_branch_n-12FAIL600
mutex-64-sFAIL600
adder-14-satFAIL600
szymanski-18-sFAIL600
s641_d2_sFAIL600
connect_8x7_6_RFAIL600
adder-10-satFAIL600
ev-pr-4x4-15-3-0-0-1-sFAIL600
ev-pr-6x6-11-5-0-1-2-sFAIL600
k_path_p-16FAIL600
C6288.blif_0.10_0.20_0_0_out_exactFAIL600
s820_d10_sFAIL600
C880.blif_0.10_0.20_0_1_out_exactFAIL600
k_branch_p-16FAIL600
s510_d32_sFAIL600
BLOCKS4i.6.4FAIL600
C6288.blif_0.10_0.20_0_0_inp_exactFAIL600
test2_quant_squaring3FAIL600
k_branch_n-20FAIL600
ev-pr-6x6-15-5-0-1-2-lgFAIL600
C499.blif_0.10_1.00_0_0_out_exactFAIL600
connect_9x8_6_RFAIL600
s3330_d10_uFAIL600
k_d4_n-8FAIL600
C432.blif_0.10_0.20_0_0_out_exactFAIL600
C6288.blif_0.10_1.00_0_1_inp_exactFAIL600
s641_d4_sFAIL600
C499.blif_0.10_0.20_0_1_out_exactFAIL600
k_t4p_n-8FAIL600
s386_d8_uFAIL600
k_ph_p-20FAIL600
k_t4p_n-12FAIL600
s820_d2_sFAIL600
connect_8x7_5_RFAIL600
s713_d4_sFAIL600
k_poly_n-20FAIL600
mutex-32-sFAIL600
s1269_d10_sFAIL600
s386_d4_sFAIL600
s1269_d4_sFAIL600
C880.blif_0.10_0.20_0_1_inp_exactFAIL600
k_d4_n-16FAIL600
ev-pr-8x8-19-7-0-1-2-lgFAIL600
C5315.blif_0.10_0.20_0_1_inp_exactFAIL600
C6288.blif_0.10_0.20_0_1_out_exactFAIL600
uclid-pipe2FAIL600
uclid-pipe3aFAIL600
ev-pr-4x4-17-3-0-0-1-sFAIL600
C6288.blif_0.10_0.20_0_1_inp_exactFAIL600
s1269_d9_sFAIL600
s641_d10_uFAIL600
s641_d11_uFAIL600
s641_d3_sFAIL600
s641_d5_sFAIL600
s713_d8_uFAIL600
s713_d9_uFAIL600
s713_d10_uFAIL600
s713_d3_sFAIL600
s820_d9_sFAIL600
s820_d12_uFAIL600
s820_d14_uFAIL600
s820_d3_sFAIL600
eijk.bs4863.S-d4FAIL600
ken.flash^08.C-d4FAIL600
s641_d8_uFAIL600
s510_d31_sFAIL600
s1269_d15_uFAIL600
s1269_d3_sFAIL600
s298_d14_sFAIL600
s298_d17_sFAIL600
s298_d10_sFAIL600
s3330_d12_uFAIL600
s3330_d3_sFAIL600
s386_d9_uFAIL600
s386_d12_uFAIL600
s386_d10_uFAIL600
s386_d3_sFAIL600
s499_d7_sFAIL600
s499_d19_sFAIL600
s499_d18_sFAIL600
ken.oop^2.C-d3FAIL600
ken.oop^2.C-d4FAIL600
biu.mv.xl_ao.bb-b001-p010-MIF04-c06.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005FAIL600
biu.mv.xl_ao.bb-b001-p010-MIF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL600
biu.mv.xl_ao.bb-b001-p010-OPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003FAIL600
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-008FAIL600
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-010FAIL600
c1_Debug_s3_f1_e1_v1FAIL600
c1_Debug_s5_f1_e1_v2FAIL600
c2_Debug_s3_f1_e1_v2FAIL600
c2_Debug_s3_f2_e1_v3FAIL600
c3_Debug_s3_f2_e2_v2FAIL600
c4_Debug_s3_f1_e1_v2FAIL600
c4_Debug_s3_f1_e2_v2FAIL600
c4_Debug_s3_f1_e2_v3FAIL600
c4_Debug_s3_f2_e2_v2FAIL600
biu.mv.xl_ao.bb-b001-p010-MIF01-c01.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL600
biu.mv.xl_ao.bb-b001-p010-IPF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003FAIL600
nusmv.reactor^3.C-d4FAIL600
nusmv.tcas-t^1.B-d2FAIL600
nusmv.tcas^3.B-f2FAIL600
texas.PI_main^05.E-f3FAIL600
texas.PI_main^08.E-f3FAIL600
texas.PI_main^16.E-f2FAIL600
sortnetsort10.v.stepl.005FAIL600
sortnetsort9.AE.stepl.009FAIL600
sortnetsort9.AE.stepl.012FAIL600
sortnetsort9.v.stepl.005FAIL600
sortnetsort9.v.stepl.007FAIL600
biu.mv.xl_ao.bb-b001-p005-OPF05-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL600
biu.mv.xl_ao.bb-b001-p005-OPF05-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL600
biu.mv.xl_ao.bb-b001-p010-IPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003FAIL600
c4_Debug_s5_f2_e2_v1FAIL600
mutex-128-sFAIL600
k_d4_n-14FAIL600
k_d4_n-15FAIL600
k_dum_n-18FAIL600
k_dum_n-9FAIL600
k_dum_n-11FAIL600
k_dum_n-17FAIL600
k_path_n-9FAIL600
k_path_n-19FAIL600
k_path_n-14FAIL600
k_path_n-13FAIL600
k_path_p-18FAIL600
k_path_p-10FAIL600
k_path_p-19FAIL600
k_path_p-14FAIL600
k_d4_n-7FAIL600
k_d4_n-10FAIL600
k_poly_n-21FAIL600
s3330_d2_sFAIL600
s641_d7_uFAIL600
uclid-pipe3bFAIL600
k_dum_n-12FAIL600
C432.blif_0.10_0.20_0_1_out_exactFAIL600
k_branch_n-9FAIL600
k_branch_n-10FAIL600
k_branch_n-11FAIL600
k_branch_p-10FAIL600
k_branch_p-11FAIL600
k_branch_p-14FAIL600
k_branch_p-18FAIL600
k_branch_p-6FAIL600
k_path_p-15FAIL600
k_path_p-13FAIL600
k_t4p_n-13FAIL600
k_t4p_p-18FAIL600
k_t4p_p-9FAIL600
k_t4p_p-10FAIL600
k_t4p_p-6FAIL600
k_t4p_p-15FAIL600
k_t4p_p-17FAIL600
cnt07eFAIL600
cnt08eFAIL600
cnt16rFAIL600
s1196_d5_uFAIL600
s1196_d6_uFAIL600
s1196_d7_uFAIL600
s1196_d4_uFAIL600
k_t4p_n-15FAIL600
k_t4p_n-14FAIL600
k_ph_p-18FAIL600
k_ph_p-10FAIL600
k_ph_p-19FAIL600
k_ph_p-13FAIL600
k_ph_p-15FAIL600
k_poly_n-18FAIL600
k_poly_n-5FAIL600
k_poly_n-7FAIL600
k_poly_n-6FAIL600
k_poly_n-14FAIL600
k_poly_n-17FAIL600
k_t4p_n-5FAIL600
k_t4p_n-9FAIL600
k_t4p_n-6FAIL600
s1269_d5_sFAIL600