Instances solved by depqbf_prefix_opt_qdo
QBFEVAL'19 - Prenex CNF Track

InstanceResultTime
kenflashp12SAT0
ttt_5x5-shape-0-GTTT-1-2-torus-0SAT0
small-pipeline-fixpoint-1UNSAT0
Q_2-3_v-80-100_r-13.0UNSAT0
itc-b13-fixpoint-1UNSAT0
arbiter-05-comp-error01-qbf-hardness-depth-8UNSAT0
kenflashp04SAT0
axquery_query42_1344nUNSAT0
nxquery_query42_1344nUNSAT0
s00420_PR_1_20SAT0
s01488_PR_1_10SAT0
decomposition256SAT0
s00838_PR_6_90UNSAT0
floor256SAT0
eijk.bs3330.S-d3SAT0
s05378_PR_4_90UNSAT0
decomposition128SAT0
Q_2-3_v-80-100_r-13.1UNSAT0
hex_hein_4x4_04SAT0
Q_2-3_v-80-100_r-13.9UNSAT0
Q_2-3_v-80-100_r-13.8UNSAT0
Q_2-3_v-80-100_r-13.7UNSAT0
Q_2-3_v-80-100_r-13.6UNSAT0
Q_2-3_v-80-100_r-13.5UNSAT0
Q_2-3_v-80-100_r-13.4UNSAT0
bobtuint31negSAT0
Q_2-3_v-80-100_r-13.2UNSAT0
Q_2-3_v-80-100_r-13.3UNSAT0
ttt_5x5-shape-0-GTTT-2-2-torus-0SAT0
floor128SAT0
ntrivil_query42_1344nUNSAT0.01
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#18.aspSAT0.01
s38417_PR_4_50SAT0.01
s09234_PR_9_90UNSAT0.01
ttt_5x5-shape-0-GTTT-1-2-torus-1SAT0.02
incrementer-enc06-nonuniform-depth-5UNSAT0.02
ttt_5x5-shape-0-GTTT-1-1-torus-1SAT0.02
stmt21_181_369UNSAT0.02
ttt_5x5-shape-0-GTTT-1-1-torus-0SAT0.02
ttt_5x5-shape-1-GTTT-1-2-torus-0SAT0.02
ttt_5x5-shape-0-GTTT-2-2-torus-1SAT0.02
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.02
k_branch_p-11UNSAT0.02
k_branch_p-10UNSAT0.02
stmt29_226_376UNSAT0.02
b20_PR_9_90UNSAT0.04
b21_PR_9_90UNSAT0.04
b21_PR_8_20SAT0.04
k_branch_p-12UNSAT0.04
b20_PR_7_20SAT0.05
incrementer-enc06-nonuniform-depth-10UNSAT0.05
k_branch_p-14UNSAT0.06
k_branch_p-16UNSAT0.09
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-008UNSAT0.56
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001UNSAT0.57
s38584_PR_8_50SAT0.61
k_branch_p-18UNSAT0.63
s15850_PR_8_90UNSAT0.7
incrementer-enc06-nonuniform-depth-15UNSAT0.72
k_branch_p-19UNSAT0.75
exquery_query42_1344nUNSAT0.81
gttt_2_2_000111_4x4_wUNSAT0.91
k_branch_p-21UNSAT0.94
Q_2-3_v-80-100_r-11.3UNSAT0.99
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.01
s15850_PR_0_50SAT1.1
s38584_PR_9_90SAT1.22
incrementer-enc06-nonuniform-depth-20UNSAT1.22
incrementer-enc06-nonuniform-depth-25UNSAT1.54
b14_PR_1_50SAT1.58
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003UNSAT1.68
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-010UNSAT2.81
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-009UNSAT2.82
fpu-10Xh-error01-uniform-depth-4UNSAT2.93
b18_PR_4_2SAT3.23
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-010UNSAT3.24
nusmv.tcas^4.B-f3SAT3.47
Q_2-3_v-80-100_r-11.2UNSAT3.49
gttt_2_2_000111_4x4_torus_wUNSAT3.55
ttt_5x5-shape-1-GTTT-1-1-torus-1SAT3.68
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003UNSAT3.71
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-007UNSAT3.73
fpu-10Xh-error01-nonuniform-depth-5UNSAT3.94
c6_BMC_p1_k512SAT3.97
hex_hein_4x4_09SAT4.2
c6_BMC_p2_k1024UNSAT4.48
gttt_2_2_000111_4x4_torus_bSAT4.67
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-007UNSAT5.03
ttt_5x5-shape-1-GTTT-2-1-torus-0SAT5.12
arbiter-06-comp-error01-qbf-hardness-depth-11UNSAT5.51
ttt_5x5-shape-1-GTTT-2-1-torus-1SAT5.58
ttt_5x5-shape-1-GTTT-1-1-torus-0SAT5.68
incrementer-enc08-uniform-depth-33SAT6.49
gttt_2_2_000111_4x4_bSAT6.61
fpu-10Xh-error01-uniform-depth-10UNSAT7.03
fpu-10Xh-error01-nonuniform-depth-10UNSAT7.54
sortnetsort8.v.stepl.007SAT7.64
gttt_2_1_001020_4x4_torus_wUNSAT8.82
Q_2-3_v-80-100_r-11.6UNSAT9.18
c6_BMC_p1_k1024SAT9.43
fpu-10Xh-error01-uniform-depth-15UNSAT10.66
fpu-10Xh-error01-nonuniform-depth-15UNSAT11.22
hex_hein_4x4_12SAT11.27
fpu-10Xh-error01-uniform-depth-20UNSAT13.93
fpu-10Xh-error01-nonuniform-depth-20UNSAT14.77
b22_PR_9_90UNSAT16.43
test5_quant_squaring5SAT17.09
fpu-10Xh-error01-uniform-depth-25UNSAT17.23
nusmv.tcas^6.B-f4SAT17.3
fpu-10Xh-error01-nonuniform-depth-25UNSAT18.2
add5_REDUCEDSAT19.39
stmt21_310_360UNSAT23.51
kmdf_pcidrv_sys_hw_physet.cSAT25.6
gttt_1_1_000111_4x4_torus_wUNSAT28.89
gttt_2_1_00102030_4x4_torus_bUNSAT30.12
unit11_3_bUNSAT31.97
Core1108_tbm_21.tex.module.000030SAT32.29
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-007UNSAT39.04
Core1108_tbm_21.tex.module.000008SAT40.54
Q_2-3_v-80-100_r-11.0UNSAT42.88
Q_2-3_v-80-100_r-11.4UNSAT50.93
gttt_1_1_000111_4x4_torus_bSAT51.87
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.24
Umbrella_tbm_05.tex.module.000039SAT53.96
c1_BMC_p2_k2048UNSAT67.66
c1_BMC_p2_k1024UNSAT70.42
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001SAT72.15
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003SAT86.17
add4_REDUCEDSAT102.86
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001SAT103.22
hex_rand_6x6-20m-4UNSAT112.39
add6_REDUCEDSAT116.68
nxquery_query50_1344nSAT123.74
klieber2017q-088-22-t1UNSAT128.36
hex_hein_4x4_06SAT145.49
c2_BMC_p1_k2048SAT158.54
mult9.satSAT173.65
dungeon_i25-m12-u5-v0.pddl_planlen=59UNSAT176.55
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003SAT184.34
add6_COMPLETESAT185.76
klieber2017q-096-24-t1UNSAT186.11
gttt_2_1_00011020_4x4_bUNSAT203.76
klieber2017q-092-23-t1UNSAT205.91
dungeon_i25-m12-u5-v0.pddl_planlen=65UNSAT215.78
klieber2017q-078-19-eqSAT251.73
stmt19_313_412UNSAT260.06
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009UNSAT269.87
stmt41_160_235UNSAT287.06
hex_rand_6x6-20m-7UNSAT293.78
hex_hein_4x4_07SAT322.46
klieber2017q-084-21-t1UNSAT324.08
arbiter-06-comp-error01-qbf-hardness-depth-15UNSAT333.38
dungeon_i25-m12-u5-v0.pddl_planlen=81UNSAT349.5
stmt19_83_412UNSAT363.54
klieber2017q-086-21-t1UNSAT382.67
klieber2017q-080-20-t1UNSAT383.4
klieber2017q-082-20-t1UNSAT386.98
klieber2017q-074-18-eqSAT389.34
add5_COMPLETESAT398.41
klieber2017q-078-19-t1UNSAT407.78
dungeon_i25-m12-u5-v0.pddl_planlen=86UNSAT473.52
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-010UNSAT475.2
hex_rand_6x6-20m-8UNSAT491.76
driverlog10_6UNSAT495.02
add5_CHOOSESAT509.45
Q_2-3_v-80-100_r-11.8UNSAT547.25
test4_quant_squaring2UNSAT597.3
c6_BMC_p1_k2048SAT630.02
klieber2017q-080-20-eqSAT662.03
arbiter-09-comp-error01-qbf-hardness-depth-15UNSAT762.98
dungeon_i25-m12-u5-v0.pddl_planlen=92UNSAT842.6
stmt44_554_604FAIL900
eijkbs4863FAIL900
neclaftp2002FAIL900
ConcreteActivityServiceFAIL900
k_ph_p-12FAIL900
c4_Debug_s5_f2_e2_v2FAIL900
ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.aspFAIL900.01
query71_query36_1344nFAIL900.01
klieber2017q-076-19-eqFAIL900.01
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#8.aspFAIL900.01
mult_bool_matrix_12_13_11.satFAIL900.01
ctrl.e#1.a#3.E#124.A#48.c#.w#7.s#50.aspFAIL900.01
ken.flash^05.C-d3FAIL900.01
cycle_sched_4_4_2.satFAIL900.01
itc-b13-fixpoint-8FAIL900.01
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-008FAIL900.01
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-010FAIL900.01
oski3ub5i_c0to63.satFAIL900.01
sortnetsort9.v.stepl.007FAIL900.01
eequery_query64_1344nFAIL900.01
query44_query26_1344nFAIL900.01
pipesnotankage18_8FAIL900.01
k_branch_n-10FAIL900.01
k_branch_n-17FAIL900.01
Adder2-16-cFAIL900.01
hex_rand_6x6-20m-9FAIL900.01
cmu.gigamax.B-d4FAIL900.01
hex_rand_6x6-20m-5FAIL900.01
arbiter-10-comp-error01-qbf-hardness-depth-22FAIL900.01
hex_rand_6x6-20m-1FAIL900.01
ken.oop^2.C-d4FAIL900.01
klieber2017q-092-23-eqFAIL900.01
b20_C_3_2FAIL900.01
b21_C_3_206FAIL900.01
kmdf_osrusbfx2_exe_testapp.cFAIL900.01
dungeon_i15-m7-u4-v0.pddl_planlen=81FAIL900.01
filesys_fastfat_allocsup.cFAIL900.01
texas.PI_main^08.E-f3FAIL900.01
sortnetsort10.AE.stepl.005FAIL900.01
adder-12-satFAIL900.01
ctrl.e#1.a#3.E#120.A#48.c#.w#3.s#3.aspFAIL900.01
driver_d9y.satFAIL900.01
rankfunc30_unsigned_64FAIL900.01
pipesnotankage16_10FAIL900.01
AR-fixpoint-6FAIL900.01
ceiling128FAIL900.01
small-equiv-fixpoint-4FAIL900.01
pipesnotankage19_9FAIL900.01
small-synabs-fixpoint-10FAIL900.01
itc-b13-fixpoint-3FAIL900.01
stmt124_966_965FAIL900.01
stmt23_66_96FAIL900.01
stmt1_79_80FAIL900.01
cycle_sched_6_7_1.satFAIL900.01
depots09_12FAIL900.01
stmt19_64_99FAIL900.01
depots08_6FAIL900.01
ActivityServiceFAIL900.01
dungeon_i25-m12-u3-v0.pddl_planlen=125FAIL900.01
dungeon_i25-m12-u5-v0.pddl_planlen=128FAIL900.01
dungeon_i25-m12-u5-v0.pddl_planlen=198FAIL900.01
dungeon_i25-m12-u5-v0.pddl_planlen=199FAIL900.01
sdlx-fixpoint-4FAIL900.01
ethernet-fixpoint-2FAIL900.01
rankfunc21_unsigned_64FAIL900.01
c4_Debug_s3_f2_e2_v3FAIL900.01
ceiling256FAIL900.01
c3_BMC_p1_k256FAIL900.01
rankfunc15_signed_64FAIL900.01
amba2f9n.satFAIL900.01
hex_rand_6x6-20m-3FAIL900.02
cycle_sched_2_10_1.satFAIL900.02
ActivityService2FAIL900.02
unit12_2_bFAIL900.02
ttt_5x5-shape-0-GTTT-2-1-torus-0FAIL900.02
tlc05-uniform-depth-80FAIL900.02
tlc05-uniform-depth-60FAIL900.02
hex_rand_6x6-20m-0FAIL900.02
driver_c9y.satFAIL900.02
6s289rb05233_c0to63.satFAIL900.02
mult_bool_matrix_18_18_18.satFAIL900.02
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#1.aspFAIL900.02
pipesnotankage15_10FAIL900.02
pipesnotankage17_5FAIL900.02
query42_query06_1344nFAIL900.02
driver_a9n.satFAIL900.02
dungeon_i25-m12-u3-v0.pddl_planlen=190FAIL900.02
ltl2dba_C2-6_comp3_REAL.satFAIL900.02
load_full_4_comp3_REAL.unsatFAIL900.02
load_3c_comp_comp7_REAL.unsatFAIL900.02
klieber2017q-086-21-eqFAIL900.02
genbuf9b4n.unsatFAIL900.02
usb-phy-fixpoint-5FAIL900.02
genbuf9b4n.satFAIL900.02
ctrl.e#1.a#3.E#116.A#48.c#.w#7.s#56.aspFAIL900.02
small-swap1-fixpoint-5FAIL900.02
pi-bus-fixpoint-1FAIL900.02
audio_ddksynth_csynth2.cppFAIL900.02
ken.flash^08.C-d4FAIL900.02
ken.flash^09.C-d4FAIL900.02
rankfunc18_signed_64FAIL900.02
rankfunc30_signed_64FAIL900.02
adder-14-satFAIL900.02
rankfunc15_unsigned_64FAIL900.02
small-swap1-fixpoint-8FAIL900.02
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.02
stmt17_70_98FAIL900.02
ethernet-fixpoint-4FAIL900.02
sdlx-fixpoint-9FAIL900.02
sdlx-fixpoint-3FAIL900.02
stmt16_818_819FAIL900.02
test1_quant_squaring3FAIL900.02
k_branch_n-20FAIL900.02
adder-10-satFAIL900.02
test1_quant_squaring2FAIL900.02
tlc05-uniform-depth-85FAIL900.02
k_ph_p-13FAIL900.02
small-seq-fixpoint-8FAIL900.02
intermediate128FAIL900.03
stmt28_68_81FAIL900.03
stmt39_285_335FAIL900.03
stmt41_262_275FAIL900.03
stay24n.satFAIL900.03
eequery_query42_1344nFAIL900.03
cache-coherence-3-fixpoint-3FAIL900.03
oski3ub5i_c0to255.satFAIL900.03
stmt17_63_82FAIL900.03
mult_bool_matrix_17_17_17.satFAIL900.03
small-equiv-fixpoint-2FAIL900.03
dungeon_i25-m12-u5-v0.pddl_planlen=98FAIL900.03
depots09_13FAIL900.03
freecell02_6FAIL900.03
cache-coherence-3-fixpoint-2FAIL900.03
rankfunc42_signed_64FAIL900.03
rankfunc16_unsigned_64FAIL900.03
freecell03_5FAIL900.03
AR-fixpoint-2FAIL900.03
dungeon_i25-m12-u5-v0.pddl_planlen=143FAIL900.03
unit6_3_bFAIL900.03
unit9_2_bFAIL900.03
dungeon_i15-m7-u4-v0.pddl_planlen=168FAIL900.03
query64_query42_1344nFAIL900.03
AR-fixpoint-1FAIL900.03
driver_b8n.satFAIL900.03
b22_PR_8_20FAIL900.03
Adder2-8-cFAIL900.03
cache-coherence-3-fixpoint-1FAIL900.03
sortnetsort10.AE.stepl.008FAIL900.03
arbiter-08-comp-error02-qbf-hardness-depth-9FAIL900.03
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.03
filesys_fastfat_write.cFAIL900.03
tlc05-uniform-depth-65FAIL900.03
query64_query01_1344nFAIL900.03
hex_rand_6x6-20m-6FAIL900.03
cmu.dme2.B-f3FAIL900.03
small-synabs-fixpoint-3FAIL900.03
c1_Debug_s3_f2_e1_v2FAIL900.03
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#10.aspFAIL900.03
tlc05-uniform-depth-55FAIL900.03
nusmv.tcas^2.B-f2FAIL900.03
klieber2017q-088-22-eqFAIL900.03
c1_Debug_s3_f2_e1_v1FAIL900.03
k_ph_p-14FAIL900.03
small-equiv-fixpoint-5FAIL900.04
rankfunc19_signed_64FAIL900.04
usb-phy-fixpoint-4FAIL900.04
itc-b13-fixpoint-4FAIL900.04
add6_CHOOSEFAIL900.04
szymanski-20-sFAIL900.04
reachqu_query71_1344FAIL900.04
small-seq-fixpoint-3FAIL900.04
small-seq-fixpoint-7FAIL900.04
szymanski-24-sFAIL900.04
cache-coherence-2-fixpoint-5FAIL900.04
test4_quant_squaring4FAIL900.04
sortnetsort9.AE.stepl.012FAIL900.04
nusmv.tcas-t^1.B-d2FAIL900.04
cycle_sched_12_2_1.satFAIL900.04
stmt5_731_730FAIL900.04
stmt2_976_999FAIL900.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
stmt25_52_53FAIL900.04
PhaseServiceFAIL900.04
GuidanceService2FAIL900.04
pdtpmsrotate32FAIL900.04
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-010FAIL900.04
stmt21_319_418FAIL900.04
beemskbn1f1_c0to7.satFAIL900.04
rankfunc21_signed_64FAIL900.04
eijk.S713.S-f2FAIL900.04
ctrl.e#1.a#3.E#112.A#48.c#.w#5.s#27.aspFAIL900.04
rankfunc19_unsigned_64FAIL900.04
hex_rand_6x6-20m-2FAIL900.04
klieber2017q-076-19-t1FAIL900.04
klieber2017q-074-18-t1FAIL900.04
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#20.aspFAIL900.04
c5_BMC_p1_k32FAIL900.04
tlc05-uniform-depth-70FAIL900.04
small-seq-fixpoint-10FAIL900.04
depots13_9FAIL900.04
network_ndis_rtlnwifi_hw_hw_ccmp.cFAIL900.04
small-seq-fixpoint-5FAIL900.04
small-swap1-fixpoint-6FAIL900.04
query71_query31_1344nFAIL900.04
depots16_5FAIL900.04
cache-coherence-2-fixpoint-4FAIL900.04
query64_query11_1344nFAIL900.04
ci.e#1.a#3.E#40.A#60.c#288.w#6.s#2.aspFAIL900.04
incrementer-enc06-uniform-depth-24FAIL900.04
incrementer-enc02-uniform-depth-63FAIL900.04
Q_2-3_v-80-100_r-11.7FAIL900.04
dungeon_i25-m12-u5-v0.pddl_planlen=200FAIL900.04
small-pipeline-fixpoint-2FAIL900.04
arbiter-07-comp-error01-qbf-hardness-depth-20FAIL900.04
Q_2-3_v-80-100_r-11.5FAIL900.04
pipesnotankage14_10FAIL900.04
eijk.bs4863.S-d4FAIL900.05
rankfunc16_signed_64FAIL900.05
dungeon_i25-m12-u3-v0.pddl_planlen=130FAIL900.05
eijkbs3330FAIL900.05
nreachq_query11_1344nFAIL900.05
k_branch_n-21FAIL900.05
Adder2-10-sFAIL900.05
neclaftp4001FAIL900.05
cycle_sched_4_7_1.satFAIL900.05
amba4b9y.unsatFAIL900.05
UserServiceImplFAIL900.05
stmt23_72_76FAIL900.05
small-swap1-fixpoint-7FAIL900.05
genbuf10b4n.unsatFAIL900.05
itc-b13-fixpoint-10FAIL900.05
c1_BMC_p1_k2048FAIL900.05
dungeon_i25-m12-u3-v0.pddl_planlen=146FAIL900.05
sdlx-fixpoint-10FAIL900.05
pipesnotankage13_5FAIL900.05
pipesnotankage19_7FAIL900.05
tlc05-uniform-depth-75FAIL900.05
kmdf_usbsamp_sys_queue.cFAIL900.05
ltl2dba_C2-8_comp4_REAL.satFAIL900.05
load_2c_comp_comp7_REAL.satFAIL900.05
driver_a10y.satFAIL900.05
query03_query25_1344FAIL900.05
klieber2017q-084-21-eqFAIL900.05
filesys_smbmrx_midatlas.cFAIL900.05
dungeon_i25-m12-u5-v0.pddl_planlen=170FAIL900.05
sortnetsort9.AE.stepl.008FAIL900.05
NotificationServiceImpl2FAIL900.05
ctrl.e#1.a#3.E#110.A#48.c#.w#9.s#13.aspFAIL900.05
freecell02_4FAIL900.05
freecell03_7FAIL900.05
add20y.satFAIL900.06
ltl2dpa_C26_comp2_REAL.satFAIL900.06
mult_bool_matrix_dyn_9_5.satFAIL900.06
ethernet-fixpoint-3FAIL900.06
k_ph_p-15FAIL900.06
GuidanceServiceFAIL900.06
sortnetsort10.v.stepl.005FAIL900.06
driver_c9n.satFAIL900.06
IssueServiceImplFAIL900.06
c4_Debug_s5_f2_e2_v3FAIL900.06
ken.oop^2.C-d3FAIL900.06
network_ndis_coisdn_TpiParam.cFAIL900.06
small-swap1-fixpoint-10FAIL900.06
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.06
k_ph_p-11FAIL900.06
cycle_sched_6_6_2.satFAIL900.06
klieber2017q-096-24-eqFAIL900.06
Q_2-3_v-80-100_r-11.1FAIL900.06
filesys_smbmrx_cvsndrcv.cFAIL900.06
k_branch_n-11FAIL900.06
test3_quant_squaring4FAIL900.06
itc-b13-fixpoint-2FAIL900.06
rankfunc18_unsigned_64FAIL900.06
oski3ub5i_c0to511.satFAIL900.06
itc-b13-fixpoint-9FAIL900.06
query10_query36_1344FAIL900.06
tlc05-uniform-depth-45FAIL900.06
small-equiv-fixpoint-1FAIL900.06
reachqu_query64_1344FAIL900.06
pipesnotankage11_8FAIL900.06
depots09_11FAIL900.06
k_branch_n-12FAIL900.06
usb-phy-fixpoint-3FAIL900.06
adder-12-unsatFAIL900.06
tlc05-uniform-depth-50FAIL900.06
small-equiv-fixpoint-8FAIL900.06
arbiter-10-comp-error01-qbf-hardness-depth-24FAIL900.06
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#16.aspFAIL900.06
stmt52_295_394FAIL900.06
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#20.aspFAIL900.06
ethernet-fixpoint-1FAIL900.06
AR-fixpoint-10FAIL900.06
sortnetsort9.AE.stepl.009FAIL900.07
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009FAIL900.07
eijk.S1196.S-f2FAIL900.07
amba2c7n.satFAIL900.07
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#19.aspFAIL900.07
pipesnotankage17_7FAIL900.07
itc-b13-fixpoint-6FAIL900.07
query21_query58_1344nFAIL900.07
beemldelec4b1_c0to127.satFAIL900.07
filesys_fastfat_cachesup.cFAIL900.07
sdlx-fixpoint-8FAIL900.07
klieber2017q-082-20-eqFAIL900.07
tlc05-uniform-depth-40FAIL900.07
cache-coherence-2-fixpoint-6FAIL900.07
sdlx-fixpoint-7FAIL900.07
cycle_sched_6_7_1.unsatFAIL900.07
stmt32_329_378FAIL900.07
stmt17_62_98FAIL900.07
small-swap1-fixpoint-4FAIL900.07
pdtpmsmiimFAIL900.07
stmt27_93_98FAIL900.07
ttt_5x5-shape-0-GTTT-2-1-torus-1FAIL900.07
Adder2-16-sFAIL900.07
c1_Debug_s5_f1_e1_v2FAIL900.07
small-pipeline-fixpoint-3FAIL900.07
reachqu_query64_1344nFAIL900.07
rankfunc3_signed_64FAIL900.07
depots07_8FAIL900.07
input_mouser_detect.cFAIL900.07
incrementer-enc07-uniform-depth-25FAIL900.08
freecell03_6FAIL900.08
network_trans_sys_notify.cFAIL900.08
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#17.aspFAIL900.08
depots03_9FAIL900.08
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#13.aspFAIL900.08
cmu.dme1.B-f3FAIL900.08
Adder2-14-sFAIL900.08
gttt_1_1_00101121_4x4_torus_wFAIL900.08
bs128y.satFAIL900.08
small-seq-fixpoint-9FAIL900.08
c2_Debug_s3_f1_e1_v2FAIL900.08
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#2.aspFAIL900.08
IterationServiceFAIL900.08
c4_Debug_s5_f2_e1_v3FAIL900.08
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.aspFAIL900.08
cache-coherence-2-fixpoint-2FAIL900.08
kmdf_osrusbfx2_exe_dump.cFAIL900.08
AR-fixpoint-8FAIL900.08
c4_Debug_s3_f2_e2_v2FAIL900.08
rankfunc3_unsigned_64FAIL900.08
pipesnotankage18_7FAIL900.08
arbiter-09-comp-error01-qbf-hardness-depth-21FAIL900.08
arbiter-10-comp-error01-qbf-hardness-depth-23FAIL900.08
pipesnotankage17_6FAIL900.08
sdlx-fixpoint-5FAIL900.08
mult_bool_matrix_10_9_11.satFAIL900.08
stmt17_86_98FAIL900.09
mult_bool_matrix_10_9_11.unsatFAIL900.09
unit8_2_bFAIL900.09
stmt17_70_90FAIL900.09
itc-b13-fixpoint-7FAIL900.09
itc-b13-fixpoint-5FAIL900.09
ttt_5x5-shape-1-GTTT-1-2-torus-1FAIL900.09
ttt_5x5-shape-1-GTTT-2-2-torus-0FAIL900.09
reachqu_query71_1344nFAIL900.09
AR-fixpoint-4FAIL900.09
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#18.aspFAIL900.09
pi-bus-fixpoint-3FAIL900.09
small-equiv-fixpoint-3FAIL900.09
Adder2-8-sFAIL900.09
mult_bool_matrix_17_17_17.unsatFAIL900.09
nusmv.reactor^3.C-d4FAIL900.09
dungeon_i25-m12-u3-v0.pddl_planlen=72FAIL900.09
eijk.bs1512.S-f4FAIL900.09
small-swap1-fixpoint-9FAIL900.09
query31_reachqu_1344nFAIL900.09
sortnetsort9.v.stepl.005FAIL900.09
bs128n.satFAIL900.09
sortnetsort9.AE.stepl.007FAIL900.09
c2_Debug_s3_f2_e1_v3FAIL900.09
dungeon_i25-m12-u3-v0.pddl_planlen=165FAIL900.09
incrementer-enc02-uniform-depth-58FAIL900.09
stmt17_82_98FAIL900.09
intermediate256FAIL900.09
dungeon_i25-m12-u5-v0.pddl_planlen=197FAIL900.1
texas.PI_main^05.E-f3FAIL900.1
nusmv.tcas^3.B-f2FAIL900.1
stmt9_445_446FAIL900.1
nreachq_query54_1344nFAIL900.1
ken.flash^11.C-f3FAIL900.1
amba3b5y.satFAIL900.1
Q_2-3_v-80-100_r-11.9FAIL900.1
cycle_sched_4_7_1.unsatFAIL900.1
sdlx-fixpoint-6FAIL900.1
pi-bus-fixpoint-2FAIL900.11
kernel_agplib_intrface.cFAIL900.11