Instances solved by predyndep
QBFEVAL'18 - Prenex CNF Track

InstanceResultTime
stmt124_966_965SAT0
s01488_PR_1_10SAT0
s00838_PR_6_90UNSAT0
stmt5_731_730SAT0
s05378_PR_4_90UNSAT0
s09234_PR_9_90UNSAT0
Q_2-3_v-80-100_r-13.2UNSAT0
floor256SAT0
ceiling128SAT0
decomposition256SAT0
kenflashp12SAT0
stmt9_445_446SAT0
pdtpmsmiimSAT0
small-synabs-fixpoint-3UNSAT0
stmt16_818_819SAT0
stmt44_554_604SAT0
stmt41_262_275SAT0
hex_hein_4x4_04SAT0
Q_2-3_v-80-100_r-13.4UNSAT0.49
driver_d9y.satSAT0.51
stmt25_52_53SAT0.69
stmt1_79_80SAT0.71
stmt27_93_98SAT0.79
s00420_PR_1_20SAT0.82
eijkbs4863SAT0.85
rankfunc42_signed_64SAT1.38
ltl2dba_C2-6_comp3_REAL.satSAT1.46
rankfunc18_signed_64SAT1.62
rankfunc15_unsigned_64SAT1.63
rankfunc18_unsigned_64SAT1.66
ttt_5x5-shape-0-GTTT-2-2-torus-0SAT1.68
rankfunc15_signed_64SAT1.69
ttt_5x5-shape-0-GTTT-2-2-torus-1SAT1.72
ttt_5x5-shape-0-GTTT-1-2-torus-0SAT1.72
ttt_5x5-shape-0-GTTT-1-2-torus-1SAT1.73
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#18.aspSAT1.95
rankfunc21_signed_64SAT2.12
rankfunc21_unsigned_64SAT2.15
rankfunc16_unsigned_64SAT2.15
incrementer-enc06-nonuniform-depth-5UNSAT2.16
rankfunc30_signed_64SAT2.17
rankfunc16_signed_64SAT2.19
rankfunc30_unsigned_64SAT2.22
rankfunc19_signed_64SAT2.32
rankfunc19_unsigned_64SAT2.39
k_branch_p-10UNSAT2.56
k_branch_n-10SAT2.59
driver_a9n.satSAT2.77
itc-b13-fixpoint-5SAT2.8
Q_2-3_v-80-100_r-13.0UNSAT3.05
Q_2-3_v-80-100_r-13.5UNSAT3.06
Q_2-3_v-80-100_r-13.6UNSAT3.07
Q_2-3_v-80-100_r-13.1UNSAT3.07
Q_2-3_v-80-100_r-13.8UNSAT3.1
Q_2-3_v-80-100_r-13.3UNSAT3.12
Q_2-3_v-80-100_r-13.7UNSAT3.14
Q_2-3_v-80-100_r-13.9UNSAT3.22
driverlog10_6UNSAT3.24
rankfunc3_unsigned_64SAT3.28
Q_2-3_v-80-100_r-11.3UNSAT3.29
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-005UNSAT3.34
rankfunc3_signed_64SAT3.36
k_branch_p-11UNSAT3.42
k_branch_n-11SAT3.51
unit9_2_bSAT3.64
stmt21_181_369UNSAT4.27
k_branch_n-12SAT4.37
k_branch_p-12UNSAT4.39
ltl2dpa_C26_comp2_REAL.satSAT4.65
s38417_PR_4_50SAT4.82
usb-phy-fixpoint-3UNSAT4.88
sortnetsort8.v.stepl.007SAT5.18
add4_REDUCEDSAT5.22
unit11_3_bUNSAT5.24
k_branch_p-14UNSAT5.33
stay24n.satSAT5.5
texas.PI_main^08.E-f3SAT5.67
b21_PR_9_90UNSAT6.12
fpu-10Xh-error01-uniform-depth-4UNSAT6.57
k_branch_p-16UNSAT6.75
stmt41_160_235UNSAT6.82
stmt17_63_82SAT6.94
ctrl.e#1.a#3.E#110.A#48.c#.w#9.s#13.aspSAT7.27
incrementer-enc06-nonuniform-depth-10UNSAT7.33
b20_PR_9_90UNSAT7.55
stmt2_976_999SAT8.25
fpu-10Xh-error01-nonuniform-depth-5UNSAT8.28
cache-coherence-2-fixpoint-4UNSAT8.46
eijk.bs3330.S-d3SAT8.52
nusmv.reactor^3.C-d4SAT8.78
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-007UNSAT8.96
mult_bool_matrix_10_9_11.satSAT8.98
k_branch_n-17SAT9.3
k_branch_p-18UNSAT9.45
b14_PR_1_50SAT9.49
s38584_PR_9_90SAT9.55
stmt19_64_99SAT9.9
nusmv.tcas-t^1.B-d2SAT9.93
stmt29_226_376UNSAT10.79
stmt17_62_98SAT10.84
stmt19_83_412UNSAT11.03
stmt28_68_81SAT11.09
tlc05-uniform-depth-40UNSAT11.22
cache-coherence-3-fixpoint-3UNSAT11.63
k_branch_p-19UNSAT11.68
b21_PR_8_20SAT11.82
b20_PR_7_20SAT12.42
stmt23_66_96SAT12.45
intermediate128SAT12.69
tlc05-uniform-depth-45UNSAT13.15
incrementer-enc06-nonuniform-depth-15UNSAT13.23
stmt17_70_90SAT13.28
k_branch_n-20SAT13.64
s38584_PR_8_50SAT14.31
s15850_PR_8_90UNSAT14.32
cache-coherence-2-fixpoint-6UNSAT14.93
dungeon_i15-m7-u4-v0.pddl_planlen=81UNSAT15.03
fpu-10Xh-error01-uniform-depth-10UNSAT15.14
stmt17_86_98SAT15.47
fpu-10Xh-error01-nonuniform-depth-10UNSAT15.7
tlc05-uniform-depth-50UNSAT15.8
load_3c_comp_comp7_REAL.unsatUNSAT16.35
stmt21_319_418SAT17.01
k_branch_n-21SAT17.38
stmt17_82_98SAT18.11
tlc05-uniform-depth-55UNSAT18.24
depots03_9UNSAT18.65
pi-bus-fixpoint-1UNSAT18.73
incrementer-enc06-nonuniform-depth-20UNSAT20.56
tlc05-uniform-depth-60UNSAT21.25
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-010UNSAT21.28
fpu-10Xh-error01-uniform-depth-15UNSAT22.59
fpu-10Xh-error01-nonuniform-depth-15UNSAT23.3
Q_2-3_v-80-100_r-11.4UNSAT23.48
tlc05-uniform-depth-65UNSAT23.71
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-007UNSAT23.84
sortnetsort9.v.stepl.005UNSAT23.85
Adder2-8-cUNSAT24.07
incrementer-enc07-uniform-depth-25UNSAT24.14
klieber2017q-074-18-t1UNSAT24.55
s15850_PR_0_50SAT24.96
ttt_5x5-shape-1-GTTT-1-2-torus-1SAT25.12
b22_PR_8_20SAT25.99
k_branch_p-21UNSAT26.05
depots07_8UNSAT26.1
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-008UNSAT26.78
incrementer-enc06-uniform-depth-24UNSAT27.12
tlc05-uniform-depth-70UNSAT27.13
nusmv.tcas^3.B-f2SAT27.31
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-007UNSAT27.47
query03_query25_1344UNSAT28.55
incrementer-enc06-nonuniform-depth-25UNSAT29.97
tlc05-uniform-depth-75UNSAT30.17
fpu-10Xh-error01-nonuniform-depth-20UNSAT30.89
ttt_5x5-shape-1-GTTT-1-2-torus-0SAT33.16
ttt_5x5-shape-0-GTTT-1-1-torus-0SAT33.63
Q_2-3_v-80-100_r-11.6UNSAT33.77
fpu-10Xh-error01-uniform-depth-20UNSAT34.05
ttt_5x5-shape-1-GTTT-1-1-torus-1SAT35.41
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-009UNSAT35.74
fpu-10Xh-error01-uniform-depth-25UNSAT36.39
tlc05-uniform-depth-80UNSAT36.72
ttt_5x5-shape-0-GTTT-1-1-torus-1SAT37.86
ttt_5x5-shape-1-GTTT-2-1-torus-1SAT38.35
fpu-10Xh-error01-nonuniform-depth-25UNSAT39.09
tlc05-uniform-depth-85UNSAT40.63
ttt_5x5-shape-1-GTTT-1-1-torus-0SAT43.3
ttt_5x5-shape-1-GTTT-2-1-torus-0SAT44.5
stmt23_72_76SAT45.73
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-010UNSAT48.57
stmt17_70_98SAT50.78
c5_BMC_p1_k32SAT51.01
nusmv.tcas^2.B-f2SAT53.01
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-008UNSAT57.98
add5_REDUCEDSAT60.86
incrementer-enc02-uniform-depth-63UNSAT69.17
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-010UNSAT71.01
filesys_smbmrx_cvsndrcv.cUNSAT72.58
mult_bool_matrix_17_17_17.satSAT75.86
incrementer-enc02-uniform-depth-58UNSAT77.1
texas.PI_main^05.E-f3SAT78.19
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-010UNSAT81.93
klieber2017q-078-19-t1UNSAT82.53
dungeon_i15-m7-u4-v0.pddl_planlen=168UNSAT83.97
dungeon_i25-m12-u3-v0.pddl_planlen=72UNSAT85.41
incrementer-enc08-uniform-depth-33SAT86.22
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-008UNSAT90.32
c6_BMC_p1_k512SAT90.99
c6_BMC_p2_k1024UNSAT92.29
pipesnotankage13_5UNSAT94.36
dungeon_i25-m12-u3-v0.pddl_planlen=125UNSAT94.99
pipesnotankage11_8UNSAT95.36
dungeon_i25-m12-u3-v0.pddl_planlen=130UNSAT95.87
amba2f9n.satSAT100.13
dungeon_i25-m12-u3-v0.pddl_planlen=146UNSAT102.91
depots16_5UNSAT106.01
small-seq-fixpoint-3UNSAT108.74
klieber2017q-084-21-t1UNSAT113.24
klieber2017q-076-19-t1UNSAT123.68
Q_2-3_v-80-100_r-11.2UNSAT128.89
small-seq-fixpoint-5UNSAT131.45
sdlx-fixpoint-3UNSAT131.47
b22_PR_9_90UNSAT137.11
ken.flash^05.C-d3UNSAT145.5
test5_quant_squaring5SAT146.31
ttt_5x5-shape-1-GTTT-2-2-torus-0SAT150.9
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-010UNSAT151.96
hex_hein_4x4_09SAT155.91
gttt_2_1_001020_4x4_torus_wUNSAT166.31
adder-10-satSAT166.43
arbiter-06-comp-error01-qbf-hardness-depth-11UNSAT168.76
test4_quant_squaring2UNSAT170.51
hex_hein_4x4_12SAT170.79
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-007UNSAT171.47
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009UNSAT181.71
gttt_1_1_000111_4x4_torus_wUNSAT187.85
k_ph_p-11UNSAT194.75
ken.flash^09.C-d4UNSAT194.83
k_ph_p-12UNSAT201.15
dungeon_i25-m12-u3-v0.pddl_planlen=165UNSAT204.36
dungeon_i25-m12-u3-v0.pddl_planlen=190UNSAT206.22
small-seq-fixpoint-7UNSAT207.9
Adder2-8-sSAT209.06
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001UNSAT214.65
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-009UNSAT220.14
small-seq-fixpoint-8UNSAT220.78
c6_BMC_p1_k1024SAT221.32
b18_PR_4_2SAT238.01
eijk.S1196.S-f2UNSAT239.47
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003UNSAT251.04
sortnetsort9.AE.stepl.008UNSAT263.65
sortnetsort9.AE.stepl.012UNSAT263.96
Adder2-10-sSAT264.08
stmt19_313_412UNSAT270.44
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003UNSAT273.83
hex_hein_4x4_06SAT278.01
ken.oop^2.C-d3UNSAT293.39
arbiter-06-comp-error01-qbf-hardness-depth-15UNSAT297.62
Core1108_tbm_21.tex.module.000030SAT301.74
arbiter-09-comp-error01-qbf-hardness-depth-15UNSAT341.44
c1_BMC_p2_k1024UNSAT394.74
Core1108_tbm_21.tex.module.000008SAT424.93
c1_BMC_p2_k2048UNSAT430.94
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003SAT435.71
c2_BMC_p1_k2048SAT438.85
dungeon_i25-m12-u5-v0.pddl_planlen=59UNSAT440.18
stmt52_295_394UNSAT486.02
Q_2-3_v-80-100_r-11.0UNSAT491.26
hex_rand_6x6-20m-4UNSAT492.92
hex_rand_6x6-20m-7UNSAT495.17
dungeon_i25-m12-u5-v0.pddl_planlen=65UNSAT497.58
sortnetsort10.AE.stepl.005SAT531.61
Umbrella_tbm_05.tex.module.000039SAT572.54
dungeon_i25-m12-u5-v0.pddl_planlen=81UNSAT584.31
hex_hein_4x4_07SAT681.58
dungeon_i25-m12-u5-v0.pddl_planlen=86UNSAT714.15
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003SAT848.95
c6_BMC_p1_k2048SAT884.16
c1_Debug_s3_f2_e1_v1FAIL900
c1_Debug_s3_f2_e1_v2FAIL900
pi-bus-fixpoint-3FAIL900
ConcreteActivityServiceFAIL900
k_ph_p-15FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=92FAIL900
pipesnotankage18_8FAIL900
ActivityService2FAIL900
query42_query06_1344nFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#18.aspFAIL900.01
adder-12-satFAIL900.01
freecell02_6FAIL900.01
hex_rand_6x6-20m-2FAIL900.01
hex_rand_6x6-20m-6FAIL900.01
ci.e#1.a#3.E#40.A#60.c#288.w#6.s#2.aspFAIL900.01
depots09_13FAIL900.01
klieber2017q-096-24-eqFAIL900.01
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-008FAIL900.01
ActivityServiceFAIL900.01
k_ph_p-14FAIL900.01
GuidanceService2FAIL900.01
eijk.bs4863.S-d4FAIL900.01
oski3ub5i_c0to255.satFAIL900.01
beemldelec4b1_c0to127.satFAIL900.01
ctrl.e#1.a#3.E#112.A#48.c#.w#5.s#27.aspFAIL900.01
ctrl.e#1.a#3.E#120.A#48.c#.w#3.s#3.aspFAIL900.01
eijk.bs1512.S-f4FAIL900.01
unit6_3_bFAIL900.01
ken.flash^11.C-f3FAIL900.01
gttt_2_2_000111_4x4_torus_wFAIL900.01
klieber2017q-074-18-eqFAIL900.01
klieber2017q-086-21-t1FAIL900.01
nusmv.tcas^6.B-f4FAIL900.01
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-009FAIL900.01
add5_CHOOSEFAIL900.01
dungeon_i25-m12-u5-v0.pddl_planlen=143FAIL900.01
c1_Debug_s5_f1_e1_v2FAIL900.01
c4_Debug_s5_f2_e2_v2FAIL900.01
stmt39_285_335FAIL900.01
adder-14-satFAIL900.01
arbiter-07-comp-error01-qbf-hardness-depth-20FAIL900.01
b20_C_3_2FAIL900.01
filesys_fastfat_cachesup.cFAIL900.01
pipesnotankage18_7FAIL900.01
dungeon_i25-m12-u5-v0.pddl_planlen=98FAIL900.01
depots08_6FAIL900.01
pipesnotankage14_10FAIL900.02
eijk.S713.S-f2FAIL900.02
ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.aspFAIL900.02
klieber2017q-082-20-eqFAIL900.02
Q_2-3_v-80-100_r-11.1FAIL900.02
gttt_2_2_000111_4x4_torus_bFAIL900.02
gttt_2_2_000111_4x4_bFAIL900.02
c1_BMC_p1_k2048FAIL900.02
klieber2017q-082-20-t1FAIL900.02
klieber2017q-084-21-eqFAIL900.02
klieber2017q-086-21-eqFAIL900.02
sortnetsort10.AE.stepl.008FAIL900.02
klieber2017q-088-22-t1FAIL900.02
cmu.dme2.B-f3FAIL900.02
mult_bool_matrix_10_9_11.unsatFAIL900.02
hex_rand_6x6-20m-3FAIL900.02
k_ph_p-13FAIL900.02
GuidanceServiceFAIL900.02
cycle_sched_6_7_1.unsatFAIL900.02
b21_C_3_206FAIL900.02
PhaseServiceFAIL900.02
add5_COMPLETEFAIL900.02
amba4b9y.unsatFAIL900.02
UserServiceImplFAIL900.02
network_ndis_rtlnwifi_hw_hw_ccmp.cFAIL900.02
klieber2017q-076-19-eqFAIL900.02
arbiter-10-comp-error01-qbf-hardness-depth-22FAIL900.02
ken.oop^2.C-d4FAIL900.02
klieber2017q-092-23-eqFAIL900.02
klieber2017q-092-23-t1FAIL900.02
small-seq-fixpoint-9FAIL900.02
dungeon_i25-m12-u5-v0.pddl_planlen=200FAIL900.02
arbiter-09-comp-error01-qbf-hardness-depth-21FAIL900.02
kernel_agplib_intrface.cFAIL900.02
filesys_fastfat_write.cFAIL900.02
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#13.aspFAIL900.02
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#17.aspFAIL900.02
AR-fixpoint-1FAIL900.02
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#2.aspFAIL900.02
sortnetsort9.AE.stepl.009FAIL900.02
pipesnotankage19_7FAIL900.02
depots09_12FAIL900.02
dungeon_i25-m12-u5-v0.pddl_planlen=197FAIL900.02
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#19.aspFAIL900.02
szymanski-20-sFAIL900.03
pipesnotankage17_7FAIL900.03
test3_quant_squaring4FAIL900.03
Adder2-16-cFAIL900.03
c3_BMC_p1_k256FAIL900.03
genbuf10b4n.unsatFAIL900.03
c4_Debug_s5_f2_e2_v3FAIL900.03
freecell03_7FAIL900.03
genbuf9b4n.satFAIL900.03
test1_quant_squaring2FAIL900.03
IterationServiceFAIL900.03
query44_query26_1344nFAIL900.03
ttt_5x5-shape-0-GTTT-2-1-torus-1FAIL900.03
Q_2-3_v-80-100_r-11.9FAIL900.03
hex_rand_6x6-20m-5FAIL900.03
reachqu_query71_1344FAIL900.03
klieber2017q-080-20-t1FAIL900.03
Q_2-3_v-80-100_r-11.5FAIL900.03
unit8_2_bFAIL900.03
sortnetsort9.v.stepl.007FAIL900.03
klieber2017q-080-20-eqFAIL900.03
audio_ddksynth_csynth2.cppFAIL900.03
klieber2017q-088-22-eqFAIL900.03
arbiter-10-comp-error01-qbf-hardness-depth-24FAIL900.03
arbiter-10-comp-error01-qbf-hardness-depth-23FAIL900.03
network_trans_sys_notify.cFAIL900.03
klieber2017q-078-19-eqFAIL900.03
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#20.aspFAIL900.04
dungeon_i25-m12-u5-v0.pddl_planlen=170FAIL900.04
network_ndis_coisdn_TpiParam.cFAIL900.04
hex_rand_6x6-20m-9FAIL900.04
IssueServiceImplFAIL900.04
kmdf_osrusbfx2_exe_testapp.cFAIL900.04
test1_quant_squaring3FAIL900.04
test4_quant_squaring4FAIL900.04
klieber2017q-096-24-t1FAIL900.04
cycle_sched_4_7_1.satFAIL900.04
cycle_sched_6_7_1.satFAIL900.04
cycle_sched_4_7_1.unsatFAIL900.04
c4_Debug_s5_f2_e1_v3FAIL900.04
reachqu_query64_1344nFAIL900.04
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-009FAIL900.04
sortnetsort10.v.stepl.005FAIL900.04
Q_2-3_v-80-100_r-11.8FAIL900.04
gttt_1_1_000111_4x4_torus_bFAIL900.04
ken.flash^08.C-d4FAIL900.04
depots09_11FAIL900.04
genbuf9b4n.unsatFAIL900.04
pipesnotankage19_9FAIL900.04
dungeon_i25-m12-u5-v0.pddl_planlen=199FAIL900.04
reachqu_query71_1344nFAIL900.04
depots13_9FAIL900.04
load_full_4_comp3_REAL.unsatFAIL900.04
Q_2-3_v-80-100_r-11.7FAIL900.05
dungeon_i25-m12-u5-v0.pddl_planlen=198FAIL900.05
c4_Debug_s3_f2_e2_v2FAIL900.05
hex_rand_6x6-20m-0FAIL900.05
hex_rand_6x6-20m-1FAIL900.05
c2_Debug_s3_f1_e1_v2FAIL900.05
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009FAIL900.05
adder-12-unsatFAIL900.05
arbiter-05-comp-error01-qbf-hardness-depth-8FAIL900.05
szymanski-24-sFAIL900.05
query21_query58_1344nFAIL900.05
stmt21_310_360FAIL900.05
cmu.gigamax.B-d4FAIL900.05
ctrl.e#1.a#3.E#116.A#48.c#.w#7.s#56.aspFAIL900.05
ctrl.e#1.a#3.E#124.A#48.c#.w#7.s#50.aspFAIL900.05
query31_reachqu_1344nFAIL900.05
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#8.aspFAIL900.05
add6_COMPLETEFAIL900.05
cmu.dme1.B-f3FAIL900.05
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#1.aspFAIL900.05
kmdf_osrusbfx2_exe_dump.cFAIL900.06
dungeon_i25-m12-u5-v0.pddl_planlen=128FAIL900.06
hex_rand_6x6-20m-8FAIL900.06
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#20.aspFAIL900.06
pipesnotankage17_5FAIL900.06
gttt_2_1_00011020_4x4_bFAIL900.06
input_mouser_detect.cFAIL900.06
mult_bool_matrix_17_17_17.unsatFAIL900.06
c2_Debug_s3_f2_e1_v3FAIL900.06
Adder2-14-sFAIL900.06
freecell03_6FAIL900.06
gttt_2_2_000111_4x4_wFAIL900.06
pipesnotankage15_10FAIL900.06
unit12_2_bFAIL900.06
filesys_smbmrx_midatlas.cFAIL900.06
stmt32_329_378FAIL900.06
pipesnotankage16_10FAIL900.07
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#10.aspFAIL900.07
freecell02_4FAIL900.07
query10_query36_1344FAIL900.07
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001FAIL900.07
neclaftp4001FAIL900.07
filesys_fastfat_allocsup.cFAIL900.07
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001FAIL900.07
c4_Debug_s3_f2_e2_v3FAIL900.07
freecell03_5FAIL900.07
NotificationServiceImpl2FAIL900.07
ttt_5x5-shape-0-GTTT-2-1-torus-0FAIL900.08
sortnetsort9.AE.stepl.007FAIL900.08
gttt_1_1_00101121_4x4_torus_wFAIL900.08
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.aspFAIL900.08
add6_CHOOSEFAIL900.08
arbiter-08-comp-error02-qbf-hardness-depth-9FAIL900.08
Adder2-16-sFAIL900.08
kmdf_pcidrv_sys_hw_physet.cFAIL900.08
nusmv.tcas^4.B-f3FAIL900.09
gttt_2_1_00102030_4x4_torus_bFAIL900.09
pipesnotankage17_6FAIL900.09
reachqu_query64_1344FAIL900.09
kmdf_usbsamp_sys_queue.cFAIL900.09
add6_REDUCEDFAIL900.1
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#16.aspFAIL900.11