Instances solved by qbfrelay-limited-depqbf
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
equalization32SAT0.1
s00400_PR_9_90UNSAT0.12
halfadder_match2.unsatUNSAT0.13
mvs16y.unsatUNSAT0.14
halfadder_match2.satSAT0.14
tlc05-nonuniform-depth-6UNSAT0.16
small-bug1-fixpoint-7SAT0.17
floor256SAT0.22
eijk.bs3330.S-d3SAT0.23
tlc04-nonuniform-depth-8UNSAT0.24
rankfunc35_signed_32SAT0.26
rankfunc60_signed_32SAT0.27
decomposition256SAT0.28
incrementer-enc03-nonuniform-depth-5UNSAT0.29
dungeon_i20-m100-u4-v0.pddl_planlen=6SAT0.3
arbiter-05-comp-error01-qbf-hardness-depth-8UNSAT0.31
kenflashp12SAT0.34
tlc03-nonuniform-depth-19UNSAT0.35
incrementer-enc06-nonuniform-depth-10UNSAT0.39
s09234_PR_9_5SAT0.39
gttt_1_1_001020_3x3_torus_bUNSAT0.41
stay24n.unsatUNSAT0.43
stmt21_181_369UNSAT0.43
dungeon_i30-m30-u5-v0.pddl_planlen=4UNSAT0.45
tlc04-nonuniform-depth-27UNSAT0.51
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-005UNSAT0.53
b20_PR_7_20SAT0.54
cf_4_7x4_d_UNSAT0.54
stmt29_226_376UNSAT0.55
cf_6_6x6_w_UNSAT0.65
driver_d9y.unsatUNSAT0.72
ev-pr-4x4-17-3-0-0-1-lgSAT0.73
s15850_PR_0_50SAT0.78
k_branch_p-10UNSAT0.8
C880.blif_0.10_0.20_0_0_out_exactUNSAT0.84
C880.blif_0.10_0.20_0_1_out_exactUNSAT0.87
incrementer-enc04-nonuniform-depth-17SAT0.88
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-008UNSAT0.89
C880.blif_0.10_1.00_0_0_out_exactUNSAT0.91
tlc01-nonuniform-depth-63UNSAT0.91
b15_PR_4_2SAT0.92
tlc03-nonuniform-depth-67UNSAT0.92
k_branch_p-11UNSAT1.04
k_branch_p-12UNSAT1.1
incrementer-enc08-nonuniform-depth-24UNSAT1.44
cf_8_8x8_d_UNSAT1.71
s05378_PR_9_75UNSAT1.88
ev-pr-4x4-5-3-0-0-1-sSAT1.89
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-007UNSAT1.9
cf_8_9x8_d_UNSAT2.29
fpu-10Xh-correct02-nonuniform-depth-2UNSAT2.36
k_branch_p-14UNSAT2.67
fpu-10Xh-correct04-uniform-depth-3UNSAT2.88
fpu-10Xh-correct03-uniform-depth-3UNSAT3.01
fpu-01Xh-error02-nonuniform-depth-3UNSAT3.04
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-010UNSAT3.17
beemldelec4b1_c0to127.unsatUNSAT3.21
incrementer-enc05-nonuniform-depth-22UNSAT3.61
tlc04-nonuniform-depth-64UNSAT3.7
nusmv.tcas^4.B-f3SAT3.83
dungeon_i10-m10-u10-v0.pddl_planlen=166UNSAT4.04
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-009UNSAT4.48
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-007UNSAT4.67
k_branch_p-16UNSAT4.81
cf_5_9x9_d_UNSAT5.06
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-010UNSAT5.19
fpu-10Xe-correct02-nonuniform-depth-6UNSAT5.81
fpu-01Xh-error02-nonuniform-depth-7UNSAT6.24
fpu-01Xh-error02-uniform-depth-8UNSAT6.58
k_branch_p-18UNSAT6.84
fpu-10Xh-correct02-nonuniform-depth-8UNSAT7.02
arbiter-06-comp-error01-qbf-hardness-depth-11UNSAT7.02
dungeon_i30-m30-u5-v0.pddl_planlen=8UNSAT7.17
b14_PR_1_50SAT7.31
tlc02-nonuniform-depth-73UNSAT7.56
C432.blif_0.10_0.20_0_1_out_exactUNSAT7.73
fpu-10Xh-correct03-uniform-depth-10UNSAT8.15
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-007UNSAT8.33
ev-pr-4x4-7-3-0-0-1-sSAT8.47
oski3ub5i_c0to255.unsatUNSAT8.7
k_branch_p-19UNSAT9.73
sortnetsort8.v.stepl.007SAT10.32
fpu-10Xh-correct02-uniform-depth-13UNSAT10.43
nusmv.tcas^6.B-f4SAT11.01
fpu-01Xh-error02-nonuniform-depth-13UNSAT11.27
fpu-10Xh-correct03-uniform-depth-14UNSAT11.36
C432.blif_0.10_0.20_0_0_out_exactUNSAT11.55
fpu-10Xh-correct04-nonuniform-depth-13UNSAT11.74
incrementer-enc02-nonuniform-depth-58UNSAT11.96
k_branch_p-21UNSAT12.23
gttt_2_1_001020_4x4_torus_wUNSAT13.34
fpu-10Xe-correct02-nonuniform-depth-16UNSAT13.81
unit11_3_bUNSAT14.68
fpu-01Xh-error02-uniform-depth-18UNSAT14.81
cf_2_9x6_r_SAT15.31
incrementer-enc08-uniform-depth-33SAT15.55
fpu-10Xe-correct02-uniform-depth-20UNSAT16.01
fpu-10Xh-correct03-nonuniform-depth-22UNSAT18.17
fpu-01Xh-error02-nonuniform-depth-22UNSAT18.24
fpu-10Xh-correct04-uniform-depth-24UNSAT18.86
tlc05-nonuniform-depth-73UNSAT20.53
fpu-10Xh-correct03-nonuniform-depth-26UNSAT21.27
incrementer-enc02-nonuniform-depth-59UNSAT21.28
test5_quant_squaring5SAT22.08
stmt21_310_360UNSAT23.68
incrementer-enc02-nonuniform-depth-60UNSAT25.5
kmdf_pcidrv_sys_hw_physet.cSAT26.11
b18_PR_4_2SAT27.21
C5315.blif_0.10_1.00_0_0_out_exactUNSAT34.95
gttt_1_1_000111_4x4_torus_wUNSAT35.01
ev-pr-4x4-9-3-0-0-1-sSAT39.24
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-007UNSAT40.24
Core1108_tbm_21.tex.module.000030SAT41.71
add4_COMPLETESAT42.84
gttt_2_1_00102030_4x4_torus_bUNSAT43.8
ltl2dba_C2-6_comp3_REAL.unsatUNSAT44.69
lights3_021_1_022SAT45.03
ev-pr-6x6-5-5-0-1-2-sUNSAT48.93
add4_CHOOSESAT50.45
gttt_1_1_000111_4x4_torus_bSAT51.92
Core1108_tbm_21.tex.module.000008SAT52.14
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-008UNSAT53.99
ev-pr-6x6-11-5-0-1-2-lgUNSAT55.34
Umbrella_tbm_05.tex.module.000039SAT55.69
pipesnotankage04_5UNSAT64.53
mvs16y.satSAT72.32
small-synabs-fixpoint-3UNSAT72.42
pdtpmsmiimSAT72.51
small-dyn-partition-fixpoint-8UNSAT72.53
driver_d9y.satSAT72.85
ceiling128SAT72.89
eijkbs4863SAT73.18
c1_BMC_p2_k1024UNSAT73.93
c1_BMC_p2_k2048UNSAT74.23
ltl2dba_C2-6_comp3_REAL.satSAT74.34
unit9_2_bSAT75.46
itc-b13-fixpoint-5SAT75.68
cnt08eSAT75.79
k_branch_n-10SAT75.96
driverlog10_6UNSAT76.62
s38584_3_238SAT76.64
k_branch_n-11SAT77.02
ltl2dpa_C26_comp2_REAL.unsatUNSAT77.65
cnt16SAT77.65
sdlx-fixpoint-3UNSAT77.86
usb-phy-fixpoint-3UNSAT78.22
stmt19_83_412UNSAT78.4
driver_a9n.satSAT78.42
stay24n.satSAT78.47
k_branch_n-12SAT78.63
driver_a9n.unsatUNSAT78.66
small-seq-fixpoint-3UNSAT79.09
stmt21_319_418SAT79.31
ltl2dpa_C26_comp2_REAL.satSAT79.39
nusmv.reactor^3.C-d4SAT79.62
stmt41_160_235UNSAT79.87
mult_bool_matrix_10_9_11.satSAT82.17
cache-coherence-2-fixpoint-4UNSAT82.9
k5_2_3SAT83.92
stmt17_63_82SAT84.05
stmt28_68_81SAT84.4
cache-coherence-3-fixpoint-3UNSAT86.2
k5_3_2SAT88.65
k_branch_n-17SAT88.96
b17_PR_0_90UNSAT93.45
cache-coherence-2-fixpoint-6UNSAT95.47
tlc02-uniform-depth-151UNSAT97.61
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-010UNSAT99.76
k_branch_n-20SAT102.63
driverlog12_7UNSAT103.41
b22_PR_8_20SAT103.62
dungeon_i30-m30-u5-v0.pddl_planlen=9UNSAT104.19
pi-bus-fixpoint-1UNSAT105.84
depots03_9UNSAT106.34
small-seq-fixpoint-5UNSAT106.68
incrementer-enc07-uniform-depth-25UNSAT106.75
k_branch_n-21SAT115.18
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-010UNSAT117.75
dungeon_i15-m7-u4-v0.pddl_planlen=81UNSAT118.56
cmu.dme2.B-f3SAT119.22
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-009UNSAT124.7
load_3c_comp_comp7_REAL.unsatUNSAT125.53
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-010UNSAT127.9
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-008UNSAT128.56
incrementer-enc06-uniform-depth-24UNSAT130.05
driverlog13_6UNSAT131.86
depots07_8UNSAT134.36
amba2f9n.satSAT137.4
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-009UNSAT138.22
beemldelec4b1_c0to127.satSAT145.68
s1196_1_5SAT146.72
c5_BMC_p1_k32SAT146.87
mult_bool_matrix_17_17_17.satSAT148.97
dungeon_i25-m12-u5-v0.pddl_planlen=59UNSAT154.61
gttt_2_1_00011020_4x4_bUNSAT157.46
dungeon_i25-m12-u3-v0.pddl_planlen=72UNSAT159.05
dungeon_i25-m12-u5-v0.pddl_planlen=65UNSAT159.3
dungeon_i15-m7-u4-v0.pddl_planlen=168UNSAT161.21
oski3ub5i_c0to255.satSAT162.96
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009UNSAT163.1
dungeon_i25-m12-u5-v0.pddl_planlen=81UNSAT163.14
dungeon_i25-m12-u5-v0.pddl_planlen=86UNSAT163.22
dungeon_i25-m12-u5-v0.pddl_planlen=92UNSAT163.42
dungeon_i25-m12-u5-v0.pddl_planlen=98UNSAT169.05
dungeon_i25-m12-u3-v0.pddl_planlen=125UNSAT170.07
dungeon_i25-m12-u3-v0.pddl_planlen=130UNSAT171.58
pipesnotankage11_8UNSAT173.12
pipesnotankage13_5UNSAT173.69
dungeon_i25-m12-u5-v0.pddl_planlen=128UNSAT175.4
incrementer-enc02-uniform-depth-58UNSAT176.88
dungeon_i25-m12-u3-v0.pddl_planlen=146UNSAT180.64
arbiter-06-comp-error01-qbf-hardness-depth-15UNSAT183.13
small-seq-fixpoint-8UNSAT192.62
ev-pr-4x4-11-3-0-0-1-sSAT193.28
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-008UNSAT203.49
ev-pr-4x4-13-3-0-0-1-sSAT204.95
amba2f9n.unsatUNSAT205.72
arbiter-09-comp-error01-qbf-hardness-depth-15UNSAT210.72
add5_CHOOSESAT212.81
texas.PI_main^05.E-f3SAT218.21
ev-pr-4x4-17-3-0-0-1-sSAT219.27
ev-pr-4x4-15-3-0-0-1-sSAT219.42
sortnetsort9.AE.stepl.012UNSAT245.31
s641_d6_sSAT247.13
ken.flash^09.C-d4UNSAT266.98
C6288.blif_0.10_1.00_0_1_inp_exactSAT275.79
Adder2-8-cUNSAT294.25
C499.blif_0.10_0.20_0_0_inp_exactUNSAT318.61
sortnetsort9.AE.stepl.009UNSAT319.5
ev-pr-6x6-13-5-0-1-2-lgUNSAT331.72
ev-pr-6x6-7-5-0-1-2-sUNSAT341.93
c2_BMC_p1_k2048SAT398.24
ev-pr-8x8-11-7-0-1-2-lgUNSAT404.1
test4_quant_squaring2UNSAT454.87
ev-pr-8x8-13-7-0-1-2-lgUNSAT502.02
ev-pr-6x6-15-5-0-1-2-lgUNSAT715.8
arbiter-10-comp-error01-qbf-hardness-depth-23FAIL885.43
small-equiv-fixpoint-9FAIL885.51
hid_hclient_ecdisp.cFAIL885.53
input_pnpi8042_moudep.cFAIL885.57
network_ndis_coisdn_TpiParam.cFAIL885.64
input_mouser_cseries.cFAIL885.91
small-equiv-fixpoint-10FAIL886.02
C5315.blif_0.10_0.20_0_0_inp_exactFAIL886.06
add6_REDUCEDFAIL886.3
add7_COMPLETEFAIL886.31
LoginService2FAIL886.48
b21_C_3_206FAIL886.69
add6_COMPLETEFAIL886.79
input_mouser_detect.cFAIL886.91
stmt23_72_76FAIL887.13
add7_REDUCEDFAIL887.14
adder-12-satFAIL887.2
adder-10-satFAIL887.29
ActivityService2FAIL887.35
adder-14-satFAIL887.43
uclid-pipe3bFAIL887.52
C6288.blif_0.10_0.20_0_0_inp_exactFAIL887.63
arbiter-10-comp-error01-qbf-hardness-depth-24FAIL887.66
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009FAIL887.71
query31_reachqu_1344nFAIL887.75
audio_ddksynth_csynth2.cppFAIL887.81
ProjectService3FAIL887.82
C6288.blif_0.10_0.20_0_1_inp_exactFAIL887.86
query42_query06_1344nFAIL887.87
counter_re_32FAIL888.09
unit12_2_bFAIL888.1
C5315.blif_0.10_0.20_0_1_inp_exactFAIL888.12
test2_quant_squaring2FAIL888.13
network_trans_sys_notify.cFAIL888.13
stmt19_64_99FAIL888.16
test1_quant_squaring3FAIL888.2
stmt17_86_98FAIL888.22
network_irda_miniport_nscirda_comm.cFAIL888.3
network_irda_miniport_nscirda_settings.cFAIL888.31
small-equiv-fixpoint-6FAIL888.32
eijk.bs3384.S-f4FAIL888.32
query10_query36_1344FAIL888.33
genbuf10b4n.satFAIL888.36
eijk.bs1512.S-f4FAIL888.37
adder-12-unsatFAIL888.44
mult_bool_matrix_10_9_11.unsatFAIL888.47
C6288.blif_0.10_1.00_0_0_out_exactFAIL888.48
eijk.S1196.S-f2FAIL888.52
ken.flash^05.C-d3FAIL888.56
b22_C_2_12FAIL888.62
C5315.blif_0.10_0.20_0_0_out_exactFAIL888.64
stmt17_82_98FAIL888.71
kernel_agplib_intrface.cFAIL888.73
genbuf9b4n.satFAIL888.74
C6288.blif_0.10_0.20_0_1_out_exactFAIL888.77
query03_query25_1344FAIL888.78
C880.blif_0.10_0.20_0_1_inp_exactFAIL888.8
eijk.S713.S-f2FAIL888.8
test4_quant_squaring4FAIL888.81
filesys_smbmrx_cvsndrcv.cFAIL888.87
network_ndis_rtlnwifi_hw_hw_ccmp.cFAIL888.93
test1_quant_squaring2FAIL888.95
stmt23_66_96FAIL888.95
ken.oop^2.C-d3FAIL889.08
C880.blif_0.10_1.00_0_0_inp_exactFAIL889.09
ProcessBeanFAIL889.11
ii8d1-00FAIL889.14
nusmv.tcas^2.B-f2FAIL889.18
cnt16rFAIL889.21
nusmv.tcas^3.B-f2FAIL889.3
stmt17_70_90FAIL889.32
filesys_fastfat_easup.cFAIL889.37
kmdf_AMCC5933_sys_S5933DK1.cFAIL889.42
ken.oop^2.C-d4FAIL889.51
test2_quant_squaring3FAIL889.52
arbiter-08-comp-error02-qbf-hardness-depth-9FAIL889.58
ken.flash^08.C-d4FAIL889.61
stmt19_313_412FAIL889.62
cmu.dme1.B-f3FAIL889.72
hid_firefly_app_firefly.cppFAIL889.78
k8_3_4FAIL889.82
neclaftp4001FAIL889.87
b20_C_3_2FAIL889.88
C6288.blif_0.10_0.20_0_0_out_exactFAIL889.89
blocks_enc_2_b4_ser--opt-26_FAIL889.9
C6288.blif_0.10_1.00_0_0_inp_exactFAIL889.9
nusmv.tcas-t^1.B-d2FAIL889.93
intermediate128FAIL890
add5_COMPLETEFAIL890.03
bobsmfpuFAIL890.06
small-pipeline-fixpoint-7FAIL890.09
stmt17_62_98FAIL890.11
test2_quant3FAIL890.23
cmu.gigamax.B-d4FAIL890.25
stmt32_329_378FAIL890.27
texas.PI_main^08.E-f3FAIL890.3
stmt39_285_335FAIL890.4
filesys_smbmrx_midatlas.cFAIL890.41
k8_3_2FAIL890.41
unit8_2_bFAIL890.48
C880.blif_0.10_0.20_0_0_inp_exactFAIL890.5
k8_4_3FAIL890.6
C5315.blif_0.10_0.20_0_1_out_exactFAIL890.6
Adder2-14-sFAIL890.6
UserServiceImplFAIL890.61
Adder2-10-sFAIL890.64
network_usbnwifi_mp_util.cFAIL890.78
cycle_sched_4_7_1.satFAIL890.83
freecell03_7FAIL890.85
eijk.bs4863.S-d4FAIL890.9
network_ndis_rtlnwifi_extsta_st_misc.cFAIL890.95
stmt17_70_98FAIL890.99
uclid-pipe2FAIL890.99
C499.blif_0.10_0.20_0_1_out_exactFAIL891.01
Adder2-16-cFAIL891.03
k_ph_p-13FAIL891.1
genbuf9b4n.unsatFAIL891.35
add4_REDUCEDFAIL891.4
k6_2_3FAIL891.4
uclid-pipe3aFAIL891.5
emptyroom_e3_ser---19_FAIL891.54
gttt_1_1_00101121_4x4_torus_wFAIL891.63
ev-pr-6x6-19-5-0-1-2-lgFAIL891.64
amba4b9y.satFAIL891.7
arbiter-07-comp-error01-qbf-hardness-depth-20FAIL891.72
add5_REDUCEDFAIL891.73
cube_c7_ser---23_FAIL891.78
cube_c11_par---13_FAIL891.8
query44_query26_1344nFAIL891.86
amba4b9y.unsatFAIL891.86
cycle_sched_4_7_1.unsatFAIL891.93
Adder2-8-sFAIL892.01
add7_CHOOSEFAIL892.03
small-seq-fixpoint-9FAIL892.09
query21_query58_1344nFAIL892.18
k8_2_3FAIL892.2
test3_quant_squaring4FAIL892.31
f600-00FAIL892.43
ev-pr-6x6-17-5-0-1-2-lgFAIL892.52
counter_64FAIL892.71
k7_2_2FAIL892.74
arbiter-09-comp-error01-qbf-hardness-depth-21FAIL892.81
sortnetsort10.v.stepl.005FAIL892.82
k_ph_p-12FAIL892.83
k_ph_p-15FAIL892.93
emptyroom_e4_ser--opt-44_FAIL892.94
sortnetsort9.v.stepl.005FAIL892.99
cycle_sched_6_7_1.unsatFAIL893.01
arbiter-10-comp-error01-qbf-hardness-depth-22FAIL893.07
C499.blif_0.10_0.20_0_0_out_exactFAIL893.22
small-pipeline-fixpoint-6FAIL893.22
genbuf10b4n.unsatFAIL893.32
szymanski-20-sFAIL893.34
small-seq-fixpoint-7FAIL893.52
k_ph_p-21FAIL893.62
emptyroom_e4_par---21_FAIL893.62
pipesnotankage16_10FAIL893.62
cycle_sched_6_7_1.satFAIL893.63
c4_Debug_s3_f2_e2_v3FAIL893.64
ken.flash^11.C-f3FAIL893.66
c4_Debug_s5_f2_e2_v1FAIL893.72
k_ph_p-14FAIL893.77
freecell02_6FAIL893.82
AVStream_hwsim.cppFAIL893.86
connect_8x7_5_RFAIL893.89
k_ph_p-11FAIL893.9
connect_8x7_6_RFAIL894.05
ii8d1-90FAIL894.07
cf_7_8x7_r_FAIL894.09
sortnetsort9.v.stepl.007FAIL894.11
audio_ac97_wavepcistream.cppFAIL894.12
filesys_cdfs_namesup.cFAIL894.26
connect_7x6_4_RFAIL894.52
Adder2-16-sFAIL894.55
load_full_4_comp3_REAL.satFAIL894.73
pi-bus-fixpoint-3FAIL894.8
k7_4_4FAIL894.85
f600-50FAIL895.12
ev-pr-8x8-19-7-0-1-2-lgFAIL895.18
c5_BMC_p2_k64FAIL895.27
ssa7552-158-00FAIL895.32
load_3c_comp_comp7_REAL.satFAIL895.37
c4_Debug_s3_f1_e2_v3FAIL895.47
k12_3_2FAIL895.85
c1_Debug_s5_f1_e1_v2FAIL896.35
cf_6_9x7_r_FAIL896.36
cf_7_8x8_r_FAIL896.4
ring_r6_ser--opt-17_FAIL896.42
cf_5_5x6_r_FAIL896.49
c4_Debug_s3_f1_e2_v2FAIL896.51
depots13_9FAIL896.71
c2_Debug_s3_f2_e1_v3FAIL896.75
unit6_3_bFAIL896.8
c5_BMC_p2_k256FAIL896.83
cube_c11_ser--opt-42_FAIL896.92
ev-pr-8x8-17-7-0-1-2-lgFAIL896.99
szymanski-24-sFAIL900
ev-pr-6x6-19-5-0-1-2-sFAIL900
pipesnotankage14_10FAIL900
connect_9x8_3_RFAIL900
k_ph_p-20FAIL900
ev-pr-8x8-15-7-0-1-2-lgFAIL900
pipesnotankage18_7FAIL900
k14_4_4FAIL900
k14_2_3FAIL900
s510_d36_sFAIL900
s820_d15_uFAIL900
s298_d25_uFAIL900
pipesnotankage18_8FAIL900
k_ph_p-18FAIL900
k_ph_p-17FAIL900
s713_d11_uFAIL900
s510_d41_sFAIL900
s641_d7_uFAIL900
ev-pr-6x6-15-5-0-1-2-sFAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=143FAIL900
AR-fixpoint-3FAIL900
s1269_d10_sFAIL900
s3330_d4_sFAIL900
connect_8x7_4_RFAIL900
ev-pr-6x6-9-5-0-1-2-sFAIL900
ev-pr-6x6-17-5-0-1-2-sFAIL900
ev-pr-6x6-13-5-0-1-2-sFAIL900
s820_d10_sFAIL900
incrementer-enc02-uniform-depth-63FAIL900
ev-pr-6x6-11-5-0-1-2-sFAIL900
s499_d25_uFAIL900
add6_CHOOSEFAIL900
filesys_cdfs_allocsup.cFAIL900
AR-fixpoint-1FAIL900
load_full_4_comp3_REAL.unsatFAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=170FAIL900
AR-fixpoint-5FAIL900
dungeon_i25-m12-u3-v0.pddl_planlen=190FAIL900
s713_d7_uFAIL900
dungeon_i25-m12-u3-v0.pddl_planlen=165FAIL900
s3330_d10_uFAIL900
mult_bool_matrix_17_17_17.unsatFAIL900
connect_9x8_6_RFAIL900
AR-fixpoint-7FAIL900
k_ph_p-19FAIL900
c5_BMC_p2_k512FAIL900
freecell02_4FAIL900
c1_BMC_p1_k2048FAIL900
ring_r7_ser--opt-20_FAIL900
ring_r7_ser---19_FAIL900
depots16_5FAIL900
depots09_13FAIL900
depots09_12FAIL900
depots09_11FAIL900
c4_Debug_s3_f2_e2_v2FAIL900
c3_BMC_p1_k256FAIL900
c5_BMC_p1_k128FAIL900
c5_BMC_p1_k64FAIL900
c5_BMC_p2_k128FAIL900
freecell03_6FAIL900
pipesnotankage15_10FAIL900
freecell03_5FAIL900
pipesnotankage17_5FAIL900
pipesnotankage17_6FAIL900
pipesnotankage17_7FAIL900
pipesnotankage19_7FAIL900
pipesnotankage19_9FAIL900
depots08_6FAIL900
c4_Debug_s3_f1_e1_v2FAIL900
s298_d17_sFAIL900
s1269_d5_sFAIL900
s1196_d7_uFAIL900
s1196_d5_uFAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=199FAIL900
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-009FAIL900
cf_4_9x9_r_FAIL900
cf_3_9x6_r_FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=198FAIL900
s499_d19_sFAIL900
c5_BMC_p2_k1024FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=200FAIL900
c3_Debug_s3_f2_e2_v3FAIL900
c3_Debug_s3_f2_e2_v2FAIL900
c2_Debug_s3_f1_e1_v2FAIL900
c1_Debug_s3_f2_e1_v2FAIL900
c1_Debug_s3_f2_e1_v1FAIL900
k12_4_2FAIL900
c1_Debug_s3_f1_e1_v1FAIL900
AR-fixpoint-9FAIL900
k10_4_3FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=197FAIL900