Instances solved by Caqe-bloqqer-qdo
QBFEVAL'18 - Prenex CNF Track

InstanceResultTime
pdtpmsmiimSAT0
s00420_PR_1_20SAT0
stmt41_262_275SAT0
s00838_PR_6_90UNSAT0
stmt9_445_446SAT0
s01488_PR_1_10SAT0
s05378_PR_4_90UNSAT0
floor256SAT0
s09234_PR_9_90UNSAT0
ceiling128SAT0
small-synabs-fixpoint-3UNSAT0
s38417_PR_4_50SAT0
hex_hein_4x4_04SAT0
decomposition256SAT0
Q_2-3_v-80-100_r-13.2UNSAT0
Q_2-3_v-80-100_r-13.4UNSAT0
driver_d9y.satSAT0
stmt16_818_819SAT0
stmt44_554_604SAT0
kenflashp12SAT0
stmt5_731_730SAT0
stmt124_966_965SAT0
stmt25_52_53SAT0.55
Q_2-3_v-80-100_r-13.3UNSAT0.6
eijkbs4863SAT0.65
arbiter-05-comp-error01-qbf-hardness-depth-8UNSAT0.71
ltl2dba_C2-6_comp3_REAL.satSAT0.87
Q_2-3_v-80-100_r-13.1UNSAT0.9
klieber2017q-078-19-t1UNSAT0.95
rankfunc42_signed_64SAT1.06
klieber2017q-082-20-t1UNSAT1.1
rankfunc18_signed_64SAT1.21
rankfunc18_unsigned_64SAT1.25
rankfunc15_unsigned_64SAT1.25
rankfunc15_signed_64SAT1.28
klieber2017q-088-22-t1UNSAT1.29
Q_2-3_v-80-100_r-13.7UNSAT1.5
b21_PR_9_90UNSAT1.67
fpu-10Xh-error01-uniform-depth-4UNSAT1.67
rankfunc21_unsigned_64SAT1.68
rankfunc16_unsigned_64SAT1.71
s38584_PR_9_90SAT1.73
rankfunc21_signed_64SAT1.73
rankfunc16_signed_64SAT1.75
rankfunc30_unsigned_64SAT1.75
rankfunc30_signed_64SAT1.76
rankfunc19_unsigned_64SAT1.9
rankfunc19_signed_64SAT1.9
query03_query25_1344UNSAT1.97
Q_2-3_v-80-100_r-13.0UNSAT1.97
incrementer-enc06-nonuniform-depth-5UNSAT2.05
b20_PR_9_90UNSAT2.07
s38584_PR_8_50SAT2.09
add4_REDUCEDSAT2.11
stmt27_93_98SAT2.11
fpu-10Xh-error01-nonuniform-depth-5UNSAT2.28
arbiter-06-comp-error01-qbf-hardness-depth-11UNSAT2.34
k_branch_p-10UNSAT2.49
itc-b13-fixpoint-5SAT2.5
s15850_PR_8_90UNSAT2.57
k_branch_n-10SAT2.57
klieber2017q-080-20-t1UNSAT2.68
rankfunc3_signed_64SAT2.69
rankfunc3_unsigned_64SAT2.7
arbiter-08-comp-error02-qbf-hardness-depth-9SAT2.83
unit9_2_bSAT2.88
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-005UNSAT2.94
filesys_smbmrx_midatlas.cUNSAT2.99
klieber2017q-092-23-t1UNSAT3.1
Q_2-3_v-80-100_r-13.5UNSAT3.18
k_branch_n-11SAT3.46
Q_2-3_v-80-100_r-13.6UNSAT3.46
Q_2-3_v-80-100_r-13.8UNSAT3.46
k_branch_p-11UNSAT3.47
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#18.aspSAT3.5
sortnetsort8.v.stepl.007SAT3.61
klieber2017q-074-18-t1UNSAT3.81
driverlog10_6UNSAT3.97
usb-phy-fixpoint-3UNSAT4.09
stmt1_79_80SAT4.3
fpu-10Xh-error01-nonuniform-depth-10UNSAT4.39
fpu-10Xh-error01-uniform-depth-10UNSAT4.51
k_branch_p-12UNSAT4.56
k_branch_n-12SAT4.6
Q_2-3_v-80-100_r-13.9UNSAT4.72
arbiter-06-comp-error01-qbf-hardness-depth-15UNSAT4.99
klieber2017q-084-21-t1UNSAT5.11
s15850_PR_0_50SAT5.45
klieber2017q-086-21-t1UNSAT5.58
klieber2017q-096-24-t1UNSAT5.65
k_branch_p-14UNSAT5.88
k_branch_p-16UNSAT6.21
fpu-10Xh-error01-nonuniform-depth-15UNSAT6.38
mult_bool_matrix_10_9_11.satSAT6.46
fpu-10Xh-error01-uniform-depth-15UNSAT6.65
ltl2dpa_C26_comp2_REAL.satSAT6.76
cache-coherence-2-fixpoint-4UNSAT6.97
add5_REDUCEDSAT7.02
driver_a9n.satSAT7.13
klieber2017q-076-19-t1UNSAT7.2
query31_reachqu_1344nSAT7.24
incrementer-enc06-nonuniform-depth-10UNSAT7.33
gttt_2_2_000111_4x4_wUNSAT7.82
fpu-10Xh-error01-nonuniform-depth-20UNSAT8.13
fpu-10Xh-error01-uniform-depth-20UNSAT8.21
k_branch_n-17SAT8.33
arbiter-09-comp-error01-qbf-hardness-depth-15UNSAT8.69
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003UNSAT8.9
gttt_2_2_000111_4x4_torus_wUNSAT9.36
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003UNSAT9.41
cache-coherence-3-fixpoint-3UNSAT9.7
k_branch_p-18UNSAT9.89
tlc05-uniform-depth-40UNSAT9.9
fpu-10Xh-error01-uniform-depth-25UNSAT9.98
fpu-10Xh-error01-nonuniform-depth-25UNSAT9.99
load_3c_comp_comp7_REAL.unsatUNSAT10.93
sortnetsort9.v.stepl.007SAT11.12
ci.e#1.a#3.E#40.A#60.c#288.w#6.s#2.aspSAT11.6
hex_hein_4x4_12SAT11.78
b22_PR_9_90UNSAT11.87
tlc05-uniform-depth-45UNSAT12.16
sortnetsort9.v.stepl.005UNSAT12.47
ctrl.e#1.a#3.E#110.A#48.c#.w#9.s#13.aspSAT12.53
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001UNSAT12.68
incrementer-enc06-nonuniform-depth-15UNSAT13.09
gttt_2_2_000111_4x4_bSAT13.27
gttt_2_2_000111_4x4_torus_bSAT13.88
tlc05-uniform-depth-50UNSAT14.33
dungeon_i15-m7-u4-v0.pddl_planlen=81UNSAT14.47
cache-coherence-2-fixpoint-6UNSAT14.48
stay24n.satSAT14.83
incrementer-enc07-uniform-depth-25UNSAT15.34
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001UNSAT15.76
tlc05-uniform-depth-55UNSAT16.42
incrementer-enc08-uniform-depth-33SAT17.31
hex_hein_4x4_09SAT17.76
k_branch_n-21SAT18.32
tlc05-uniform-depth-60UNSAT19.09
pi-bus-fixpoint-1UNSAT19.31
gttt_1_1_000111_4x4_torus_wUNSAT20.06
incrementer-enc06-uniform-depth-24UNSAT20.09
incrementer-enc06-nonuniform-depth-20UNSAT20.31
Adder2-8-sSAT21.83
tlc05-uniform-depth-65UNSAT21.95
query21_query58_1344nUNSAT22.15
network_trans_sys_notify.cUNSAT22.98
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#19.aspSAT24
gttt_2_1_001020_4x4_torus_wUNSAT25.2
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-008UNSAT25.21
query10_query36_1344SAT25.73
sortnetsort10.v.stepl.005UNSAT26.49
k_branch_p-19UNSAT26.9
tlc05-uniform-depth-70UNSAT27.59
tlc05-uniform-depth-75UNSAT27.78
gttt_2_1_00102030_4x4_torus_bUNSAT28.79
incrementer-enc06-nonuniform-depth-25UNSAT28.81
arbiter-07-comp-error01-qbf-hardness-depth-20UNSAT29.71
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003UNSAT29.8
k_branch_p-21UNSAT30.52
sortnetsort9.AE.stepl.008UNSAT30.54
ctrl.e#1.a#3.E#120.A#48.c#.w#3.s#3.aspSAT31.14
tlc05-uniform-depth-80UNSAT32.19
stmt21_181_369UNSAT32.69
filesys_smbmrx_cvsndrcv.cUNSAT32.72
Core1108_tbm_21.tex.module.000008UNSAT32.86
tlc05-uniform-depth-85UNSAT33.9
Adder2-10-sSAT35.1
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#13.aspSAT36.37
ctrl.e#1.a#3.E#116.A#48.c#.w#7.s#56.aspSAT37.81
ctrl.e#1.a#3.E#112.A#48.c#.w#5.s#27.aspSAT40.56
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-009UNSAT41.29
c5_BMC_p1_k32SAT42.39
stmt29_226_376UNSAT44.72
incrementer-enc02-uniform-depth-58UNSAT46.67
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009UNSAT50.66
incrementer-enc02-uniform-depth-63UNSAT52.62
arbiter-10-comp-error01-qbf-hardness-depth-22UNSAT53.17
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-010UNSAT56.25
arbiter-09-comp-error01-qbf-hardness-depth-21UNSAT56.81
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#10.aspSAT58.34
stmt32_329_378UNSAT59.02
load_full_4_comp3_REAL.unsatUNSAT61.23
amba2f9n.satSAT62.29
genbuf9b4n.unsatUNSAT67.31
sortnetsort9.AE.stepl.009UNSAT67.68
c3_BMC_p1_k256SAT72.08
sortnetsort10.AE.stepl.005SAT72.3
query42_query06_1344nUNSAT78.47
dungeon_i25-m12-u5-v0.pddl_planlen=59UNSAT80.79
kmdf_osrusbfx2_exe_dump.cUNSAT85.94
gttt_1_1_000111_4x4_torus_bSAT89.99
dungeon_i25-m12-u5-v0.pddl_planlen=65UNSAT96.88
sortnetsort9.AE.stepl.012UNSAT99.31
add5_CHOOSESAT103.2
add6_REDUCEDSAT114.31
stmt19_83_412UNSAT115.13
stmt19_313_412UNSAT118.8
arbiter-10-comp-error01-qbf-hardness-depth-24UNSAT118.9
depots08_6UNSAT127.6
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#18.aspSAT130.11
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#20.aspSAT133.53
c6_BMC_p1_k512SAT135.07
sortnetsort9.AE.stepl.007UNSAT135.88
arbiter-10-comp-error01-qbf-hardness-depth-23UNSAT142.01
Adder2-14-sSAT144.19
gttt_2_1_00011020_4x4_bUNSAT146.87
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-008UNSAT150.88
dungeon_i25-m12-u5-v0.pddl_planlen=81UNSAT151.24
pipesnotankage13_5UNSAT159.28
stmt39_285_335UNSAT169
Core1108_tbm_21.tex.module.000030SAT175.37
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#16.aspSAT175.68
dungeon_i25-m12-u5-v0.pddl_planlen=86UNSAT179.67
amba4b9y.unsatUNSAT191.17
hex_hein_4x4_07SAT197.58
hex_hein_4x4_06SAT219.36
depots16_5UNSAT234.57
mult_bool_matrix_17_17_17.satSAT236.29
depots03_9UNSAT241.39
genbuf10b4n.unsatUNSAT243.61
adder-10-satSAT253.25
Umbrella_tbm_05.tex.module.000039SAT262.27
ttt_5x5-shape-0-GTTT-2-2-torus-0SAT267.01
hex_rand_6x6-20m-4UNSAT287.44
dungeon_i25-m12-u5-v0.pddl_planlen=98UNSAT303.66
gttt_1_1_00101121_4x4_torus_wUNSAT304.96
dungeon_i15-m7-u4-v0.pddl_planlen=168UNSAT331.8
dungeon_i25-m12-u5-v0.pddl_planlen=92UNSAT341.91
unit6_3_bUNSAT357.42
k_ph_p-11UNSAT358.24
sortnetsort10.AE.stepl.008UNSAT420.76
freecell02_4UNSAT425.56
reachqu_query64_1344SAT432.12
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-007UNSAT446.26
hex_rand_6x6-20m-5SAT455.47
add5_COMPLETESAT468.81
hex_rand_6x6-20m-8UNSAT488.33
depots13_9SAT490.24
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001SAT504.01
kmdf_pcidrv_sys_hw_physet.cSAT509.36
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#17.aspSAT511.41
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-007UNSAT553.84
reachqu_query71_1344UNSAT593.48
GuidanceService2UNSAT612.92
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003SAT617.5
GuidanceServiceUNSAT625.81
hex_rand_6x6-20m-7UNSAT631.27
pipesnotankage17_5UNSAT640.35
stmt21_310_360UNSAT642.41
freecell03_5UNSAT651.98
pipesnotankage17_6UNSAT653.79
pipesnotankage17_7UNSAT671.33
freecell03_6UNSAT678.88
freecell02_6UNSAT694.17
cycle_sched_4_7_1.satSAT744.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-009UNSAT746.74
freecell03_7SAT835.49
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-007UNSAT850.01
hex_rand_6x6-20m-6SAT864.77
c6_BMC_p2_k1024UNSAT884.1
c6_BMC_p1_k1024SAT891.36
klieber2017q-088-22-eqFAIL900
intermediate128FAIL900
stmt17_62_98FAIL900
depots09_11FAIL900
ttt_5x5-shape-0-GTTT-1-1-torus-0FAIL900
stmt52_295_394FAIL900
unit8_2_bFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#20.aspFAIL900
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
Q_2-3_v-80-100_r-11.6FAIL900
Q_2-3_v-80-100_r-11.4FAIL900
klieber2017q-086-21-eqFAIL900.01
b22_PR_8_20FAIL900.01
adder-12-unsatFAIL900.01
Adder2-16-sFAIL900.01
NotificationServiceImpl2FAIL900.01
klieber2017q-080-20-eqFAIL900.01
c4_Debug_s3_f2_e2_v2FAIL900.01
stmt41_160_235FAIL900.01
pipesnotankage18_7FAIL900.01
c4_Debug_s3_f2_e2_v3FAIL900.01
test4_quant_squaring2FAIL900.01
reachqu_query71_1344nFAIL900.01
ctrl.e#1.a#3.E#124.A#48.c#.w#7.s#50.aspFAIL900.01
network_ndis_rtlnwifi_hw_hw_ccmp.cFAIL900.01
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.01
ttt_5x5-shape-0-GTTT-2-1-torus-0FAIL900.01
kernel_agplib_intrface.cFAIL900.01
cycle_sched_6_7_1.unsatFAIL900.01
ttt_5x5-shape-1-GTTT-1-2-torus-1FAIL900.01
stmt23_72_76FAIL900.01
Q_2-3_v-80-100_r-11.5FAIL900.01
cmu.dme2.B-f3FAIL900.01
nusmv.tcas-t^1.B-d2FAIL900.01
test1_quant_squaring3FAIL900.01
ttt_5x5-shape-1-GTTT-2-1-torus-1FAIL900.01
ken.oop^2.C-d4FAIL900.01
ttt_5x5-shape-1-GTTT-2-2-torus-0FAIL900.01
ConcreteActivityServiceFAIL900.01
ken.flash^05.C-d3FAIL900.01
stmt17_82_98FAIL900.01
dungeon_i25-m12-u5-v0.pddl_planlen=197FAIL900.01
pipesnotankage16_10FAIL900.01
oski3ub5i_c0to255.satFAIL900.02
b21_PR_8_20FAIL900.02
c1_BMC_p1_k2048FAIL900.02
dungeon_i25-m12-u3-v0.pddl_planlen=190FAIL900.02
k_ph_p-14FAIL900.02
ttt_5x5-shape-0-GTTT-1-2-torus-1FAIL900.02
Q_2-3_v-80-100_r-11.1FAIL900.02
PhaseServiceFAIL900.02
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-007FAIL900.02
k_ph_p-13FAIL900.02
klieber2017q-078-19-eqFAIL900.02
eijk.bs1512.S-f4FAIL900.02
IterationServiceFAIL900.02
test3_quant_squaring4FAIL900.02
audio_ddksynth_csynth2.cppFAIL900.02
pipesnotankage15_10FAIL900.02
hex_rand_6x6-20m-2FAIL900.02
c4_Debug_s5_f2_e1_v3FAIL900.02
texas.PI_main^08.E-f3FAIL900.02
dungeon_i25-m12-u3-v0.pddl_planlen=72FAIL900.02
small-seq-fixpoint-5FAIL900.02
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#1.aspFAIL900.02
dungeon_i25-m12-u5-v0.pddl_planlen=199FAIL900.02
nusmv.reactor^3.C-d4FAIL900.02
c2_BMC_p1_k2048FAIL900.02
add6_COMPLETEFAIL900.02
ActivityService2FAIL900.03
IssueServiceImplFAIL900.03
ken.flash^08.C-d4FAIL900.03
nusmv.tcas^3.B-f2FAIL900.03
small-seq-fixpoint-7FAIL900.03
beemldelec4b1_c0to127.satFAIL900.03
ActivityServiceFAIL900.03
pi-bus-fixpoint-3FAIL900.03
filesys_fastfat_cachesup.cFAIL900.03
dungeon_i25-m12-u5-v0.pddl_planlen=198FAIL900.03
dungeon_i25-m12-u5-v0.pddl_planlen=128FAIL900.03
pipesnotankage11_8FAIL900.03
dungeon_i25-m12-u3-v0.pddl_planlen=146FAIL900.03
hex_rand_6x6-20m-1FAIL900.03
klieber2017q-092-23-eqFAIL900.03
c1_BMC_p2_k1024FAIL900.03
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#2.aspFAIL900.03
c1_Debug_s3_f2_e1_v2FAIL900.03
test4_quant_squaring4FAIL900.03
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.03
add6_CHOOSEFAIL900.04
Adder2-16-cFAIL900.04
Q_2-3_v-80-100_r-11.8FAIL900.04
dungeon_i25-m12-u3-v0.pddl_planlen=125FAIL900.04
stmt17_70_90FAIL900.04
Q_2-3_v-80-100_r-11.9FAIL900.04
mult_bool_matrix_17_17_17.unsatFAIL900.04
cycle_sched_4_7_1.unsatFAIL900.04
stmt21_319_418FAIL900.04
b18_PR_4_2FAIL900.04
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#8.aspFAIL900.04
b14_PR_1_50FAIL900.04
cmu.gigamax.B-d4FAIL900.04
c4_Debug_s5_f2_e2_v2FAIL900.04
Q_2-3_v-80-100_r-11.2FAIL900.04
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-010FAIL900.04
nusmv.tcas^4.B-f3FAIL900.04
kmdf_usbsamp_sys_queue.cFAIL900.04
pipesnotankage18_8FAIL900.04
szymanski-24-sFAIL900.05
adder-12-satFAIL900.05
ttt_5x5-shape-1-GTTT-2-1-torus-0FAIL900.05
szymanski-20-sFAIL900.05
klieber2017q-076-19-eqFAIL900.05
ttt_5x5-shape-1-GTTT-1-2-torus-0FAIL900.05
cmu.dme1.B-f3FAIL900.05
stmt2_976_999FAIL900.05
dungeon_i25-m12-u5-v0.pddl_planlen=143FAIL900.05
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-010FAIL900.05
pipesnotankage19_7FAIL900.05
small-seq-fixpoint-8FAIL900.05
UserServiceImplFAIL900.05
c2_Debug_s3_f1_e1_v2FAIL900.05
b20_PR_7_20FAIL900.05
c2_Debug_s3_f2_e1_v3FAIL900.05
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009FAIL900.05
dungeon_i25-m12-u3-v0.pddl_planlen=130FAIL900.05
c4_Debug_s5_f2_e2_v3FAIL900.05
ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.aspFAIL900.05
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-008FAIL900.05
dungeon_i25-m12-u5-v0.pddl_planlen=170FAIL900.05
neclaftp4001FAIL900.05
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.aspFAIL900.06
input_mouser_detect.cFAIL900.06
pipesnotankage14_10FAIL900.06
dungeon_i25-m12-u3-v0.pddl_planlen=165FAIL900.06
klieber2017q-084-21-eqFAIL900.06
network_ndis_coisdn_TpiParam.cFAIL900.06
small-seq-fixpoint-9FAIL900.06
ttt_5x5-shape-0-GTTT-1-2-torus-0FAIL900.06
eijk.S713.S-f2FAIL900.06
cycle_sched_6_7_1.satFAIL900.06
Q_2-3_v-80-100_r-11.7FAIL900.06
k_branch_n-20FAIL900.06
ken.flash^09.C-d4FAIL900.06
stmt17_86_98FAIL900.06
test1_quant_squaring2FAIL900.06
eijk.bs4863.S-d4FAIL900.06
eijk.bs3330.S-d3FAIL900.06
stmt17_70_98FAIL900.06
unit12_2_bFAIL900.07
Q_2-3_v-80-100_r-11.0FAIL900.07
stmt19_64_99FAIL900.07
klieber2017q-082-20-eqFAIL900.07
ttt_5x5-shape-1-GTTT-1-1-torus-1FAIL900.07
query44_query26_1344nFAIL900.07
filesys_fastfat_allocsup.cFAIL900.07
depots09_12FAIL900.07
hex_rand_6x6-20m-9FAIL900.07
ttt_5x5-shape-0-GTTT-2-2-torus-1FAIL900.07
stmt28_68_81FAIL900.07
hex_rand_6x6-20m-0FAIL900.07
klieber2017q-096-24-eqFAIL900.07
b21_C_3_206FAIL900.07
small-seq-fixpoint-3FAIL900.07
nusmv.tcas^6.B-f4FAIL900.07
unit11_3_bFAIL900.07
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.07
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-010FAIL900.07
ken.flash^11.C-f3FAIL900.07
b20_C_3_2FAIL900.07
c1_Debug_s3_f2_e1_v1FAIL900.07
mult_bool_matrix_10_9_11.unsatFAIL900.07
genbuf9b4n.satFAIL900.07
ken.oop^2.C-d3FAIL900.07
c1_BMC_p2_k2048FAIL900.07
test5_quant_squaring5FAIL900.08
filesys_fastfat_write.cFAIL900.08
eijk.S1196.S-f2FAIL900.08
hex_rand_6x6-20m-3FAIL900.08
ttt_5x5-shape-0-GTTT-1-1-torus-1FAIL900.08
stmt23_66_96FAIL900.08
adder-14-satFAIL900.08
Q_2-3_v-80-100_r-11.3FAIL900.08
texas.PI_main^05.E-f3FAIL900.08
sdlx-fixpoint-3FAIL900.09
nusmv.tcas^2.B-f2FAIL900.09
ttt_5x5-shape-1-GTTT-1-1-torus-0FAIL900.09
ttt_5x5-shape-0-GTTT-2-1-torus-1FAIL900.09
c6_BMC_p1_k2048FAIL900.09
reachqu_query64_1344nFAIL900.09
klieber2017q-074-18-eqFAIL900.09
Adder2-8-cFAIL900.09
kmdf_osrusbfx2_exe_testapp.cFAIL900.09
k_ph_p-15FAIL900.09
dungeon_i25-m12-u5-v0.pddl_planlen=200FAIL900.09
stmt17_63_82FAIL900.1
AR-fixpoint-1FAIL900.1
depots07_8FAIL900.1
depots09_13FAIL900.1
c1_Debug_s5_f1_e1_v2FAIL900.1
pipesnotankage19_9FAIL900.1
k_ph_p-12FAIL900.1