Instances solved by PortfolioDepQBFGhostQRaReQSQute___pf
QBFEVAL'18 - Prenex CNF Track

InstanceResultTime
Q_2-3_v-80-100_r-13.4UNSAT5.26
s01488_PR_1_10SAT5.29
hex_hein_4x4_04SAT5.3
floor256SAT5.45
s00838_PR_6_90UNSAT5.47
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#18.aspSAT5.5
s00420_PR_1_20SAT5.5
ttt_5x5-shape-0-GTTT-2-2-torus-0SAT5.58
ttt_5x5-shape-0-GTTT-1-2-torus-0SAT5.66
ttt_5x5-shape-0-GTTT-1-2-torus-1SAT5.68
stmt21_181_369UNSAT5.71
s09234_PR_9_90UNSAT5.76
ttt_5x5-shape-0-GTTT-2-2-torus-1SAT5.76
decomposition256SAT5.86
small-synabs-fixpoint-3UNSAT5.87
stmt29_226_376UNSAT5.92
stmt41_160_235UNSAT5.93
rankfunc18_unsigned_64SAT5.97
incrementer-enc06-nonuniform-depth-5UNSAT5.97
s05378_PR_4_90UNSAT5.98
eijk.bs3330.S-d3SAT6.02
rankfunc15_signed_64SAT6.04
rankfunc21_signed_64SAT6.07
rankfunc19_unsigned_64SAT6.07
Q_2-3_v-80-100_r-13.6UNSAT6.07
rankfunc18_signed_64SAT6.11
Adder2-8-cUNSAT6.12
rankfunc21_unsigned_64SAT6.13
rankfunc19_signed_64SAT6.15
rankfunc15_unsigned_64SAT6.19
stmt19_83_412UNSAT6.23
rankfunc16_signed_64SAT6.24
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-005UNSAT6.27
rankfunc30_unsigned_64SAT6.27
rankfunc30_signed_64SAT6.29
rankfunc42_signed_64SAT6.34
rankfunc16_unsigned_64SAT6.43
Q_2-3_v-80-100_r-13.5UNSAT6.44
cmu.gigamax.B-d4SAT6.56
rankfunc3_unsigned_64SAT6.63
incrementer-enc06-nonuniform-depth-10UNSAT6.7
rankfunc3_signed_64SAT6.74
Q_2-3_v-80-100_r-13.2UNSAT6.82
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-007UNSAT6.86
s38417_PR_4_50SAT6.88
Q_2-3_v-80-100_r-13.1UNSAT6.96
Q_2-3_v-80-100_r-13.0UNSAT7.11
stmt21_310_360UNSAT7.33
nusmv.tcas-t^1.B-d2SAT7.36
ctrl.e#1.a#3.E#110.A#48.c#.w#9.s#13.aspSAT7.41
incrementer-enc06-nonuniform-depth-15UNSAT7.54
arbiter-05-comp-error01-qbf-hardness-depth-8UNSAT7.61
itc-b13-fixpoint-5SAT7.68
s38584_PR_9_90SAT7.74
stmt9_445_446SAT7.81
b21_PR_8_20SAT7.86
stmt52_295_394UNSAT7.87
Q_2-3_v-80-100_r-11.3UNSAT7.92
tlc05-uniform-depth-45UNSAT7.95
Q_2-3_v-80-100_r-13.7UNSAT8
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-007UNSAT8.1
b20_PR_7_20SAT8.21
tlc05-uniform-depth-50UNSAT8.24
s15850_PR_8_90UNSAT8.47
tlc05-uniform-depth-55UNSAT8.68
incrementer-enc06-nonuniform-depth-20UNSAT8.74
Q_2-3_v-80-100_r-13.3UNSAT8.89
s38584_PR_8_50SAT8.98
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-009UNSAT8.99
b20_PR_9_90UNSAT9.26
stmt5_731_730SAT9.39
driver_d9y.satSAT9.51
stmt41_262_275SAT9.59
ltl2dba_C2-6_comp3_REAL.satSAT9.59
Q_2-3_v-80-100_r-13.8UNSAT9.62
stmt44_554_604SAT9.62
stmt124_966_965SAT9.7
tlc05-uniform-depth-40UNSAT9.73
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-008UNSAT9.83
tlc05-uniform-depth-60UNSAT9.83
stmt16_818_819SAT9.87
ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.aspUNSAT9.97
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-007UNSAT10.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-010UNSAT10.18
tlc05-uniform-depth-65UNSAT10.21
tlc05-uniform-depth-70UNSAT10.25
incrementer-enc07-uniform-depth-25UNSAT10.36
tlc05-uniform-depth-75UNSAT10.44
b21_PR_9_90UNSAT10.49
hex_hein_4x4_09SAT10.85
incrementer-enc06-nonuniform-depth-25UNSAT10.87
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#1.aspUNSAT10.97
s15850_PR_0_50SAT11.04
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.aspUNSAT11.13
tlc05-uniform-depth-85UNSAT11.27
nusmv.reactor^3.C-d4SAT11.32
hex_hein_4x4_12SAT11.46
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001UNSAT11.85
usb-phy-fixpoint-3UNSAT12.43
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-010UNSAT12.51
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009UNSAT12.53
Q_2-3_v-80-100_r-11.2UNSAT12.54
ci.e#1.a#3.E#40.A#60.c#288.w#6.s#2.aspSAT12.57
kmdf_pcidrv_sys_hw_physet.cSAT12.58
ctrl.e#1.a#3.E#124.A#48.c#.w#7.s#50.aspSAT12.91
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-009UNSAT13.66
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#19.aspSAT13.76
stmt39_285_335UNSAT13.93
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003UNSAT14.01
Q_2-3_v-80-100_r-11.6UNSAT15
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#2.aspUNSAT15.25
load_3c_comp_comp7_REAL.unsatUNSAT15.49
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003UNSAT15.68
driverlog10_6UNSAT16.27
cache-coherence-3-fixpoint-3UNSAT16.34
incrementer-enc02-uniform-depth-58UNSAT17.54
cache-coherence-2-fixpoint-4UNSAT17.55
incrementer-enc02-uniform-depth-63UNSAT19.31
fpu-10Xh-error01-uniform-depth-4UNSAT19.89
dungeon_i15-m7-u4-v0.pddl_planlen=81UNSAT20.13
small-seq-fixpoint-3UNSAT20.25
ctrl.e#1.a#3.E#112.A#48.c#.w#5.s#27.aspSAT20.9
nusmv.tcas^2.B-f2SAT21.09
ctrl.e#1.a#3.E#116.A#48.c#.w#7.s#56.aspSAT21.64
pi-bus-fixpoint-1UNSAT22.26
fpu-10Xh-error01-nonuniform-depth-5UNSAT22.61
b18_PR_4_2SAT22.76
nusmv.tcas^3.B-f2SAT23.19
klieber2017q-084-21-t1UNSAT24.45
add4_REDUCEDSAT24.65
klieber2017q-076-19-t1UNSAT24.76
klieber2017q-078-19-t1UNSAT24.82
klieber2017q-092-23-t1UNSAT25.02
klieber2017q-080-20-t1UNSAT25.38
klieber2017q-086-21-t1UNSAT26.38
sortnetsort8.v.stepl.007SAT27.51
dungeon_i15-m7-u4-v0.pddl_planlen=168UNSAT27.76
cmu.dme1.B-f3SAT29.55
klieber2017q-088-22-t1UNSAT30.61
incrementer-enc06-uniform-depth-24UNSAT30.8
b22_PR_8_20SAT31.63
c6_BMC_p2_k1024UNSAT31.94
klieber2017q-082-20-t1UNSAT33.18
Q_2-3_v-80-100_r-13.9UNSAT33.56
cmu.dme2.B-f3SAT33.57
dungeon_i25-m12-u5-v0.pddl_planlen=59UNSAT34.3
klieber2017q-074-18-t1UNSAT34.38
stay24n.satSAT35.7
dungeon_i25-m12-u3-v0.pddl_planlen=72UNSAT35.93
dungeon_i25-m12-u5-v0.pddl_planlen=65UNSAT36.04
sortnetsort9.v.stepl.005UNSAT36.71
fpu-10Xh-error01-nonuniform-depth-10UNSAT36.82
fpu-10Xh-error01-uniform-depth-10UNSAT36.89
depots03_9UNSAT38.19
klieber2017q-096-24-t1UNSAT38.45
sortnetsort9.v.stepl.007SAT40.3
dungeon_i25-m12-u5-v0.pddl_planlen=81UNSAT40.77
add5_REDUCEDSAT40.77
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#17.aspSAT42.35
depots07_8UNSAT43.11
stmt27_93_98SAT43.12
stmt25_52_53SAT43.13
unit9_2_bSAT43.38
stmt1_79_80SAT43.43
dungeon_i25-m12-u5-v0.pddl_planlen=86UNSAT43.99
Adder2-16-cUNSAT44.32
klieber2017q-076-19-eqSAT44.38
mult_bool_matrix_10_9_11.satSAT44.55
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-010UNSAT45.04
unit11_3_bUNSAT45.23
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-008UNSAT46.69
dungeon_i25-m12-u5-v0.pddl_planlen=98UNSAT47.01
network_trans_sys_notify.cUNSAT47.6
texas.PI_main^08.E-f3SAT48.1
klieber2017q-096-24-eqSAT48.19
klieber2017q-084-21-eqSAT48.26
tlc05-uniform-depth-80UNSAT48.34
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-010UNSAT48.95
filesys_smbmrx_cvsndrcv.cUNSAT49.08
nusmv.tcas^4.B-f3SAT49.65
texas.PI_main^05.E-f3SAT49.7
fpu-10Xh-error01-nonuniform-depth-15UNSAT50.97
incrementer-enc08-uniform-depth-33SAT51.34
fpu-10Xh-error01-uniform-depth-15UNSAT51.45
klieber2017q-078-19-eqSAT52.78
dungeon_i25-m12-u3-v0.pddl_planlen=130UNSAT53.65
stmt2_976_999SAT55.81
mult_bool_matrix_17_17_17.satSAT56.3
nusmv.tcas^6.B-f4SAT58.11
depots08_6UNSAT58.73
eijk.bs4863.S-d4SAT59.3
klieber2017q-088-22-eqSAT59.96
b14_PR_1_50SAT62.81
fpu-10Xh-error01-nonuniform-depth-20UNSAT66.19
fpu-10Xh-error01-uniform-depth-20UNSAT66.43
klieber2017q-074-18-eqSAT66.93
klieber2017q-092-23-eqSAT69.4
c5_BMC_p1_k32SAT73.02
dungeon_i25-m12-u3-v0.pddl_planlen=146UNSAT77.99
dungeon_i25-m12-u5-v0.pddl_planlen=92UNSAT82.12
unit12_2_bSAT85.13
fpu-10Xh-error01-nonuniform-depth-25UNSAT85.4
fpu-10Xh-error01-uniform-depth-25UNSAT85.71
dungeon_i25-m12-u5-v0.pddl_planlen=128UNSAT86.64
pipesnotankage13_5UNSAT87.34
stmt17_63_82SAT87.42
dungeon_i25-m12-u3-v0.pddl_planlen=125UNSAT89.42
pipesnotankage11_8UNSAT90.61
stmt23_72_76SAT91.12
dungeon_i25-m12-u5-v0.pddl_planlen=143UNSAT92.41
unit8_2_bSAT92.6
dungeon_i25-m12-u3-v0.pddl_planlen=165UNSAT95.64
c6_BMC_p1_k512SAT98.8
dungeon_i25-m12-u5-v0.pddl_planlen=170UNSAT102.67
stmt28_68_81SAT103.38
depots16_5UNSAT104.61
dungeon_i25-m12-u3-v0.pddl_planlen=190UNSAT105.02
dungeon_i25-m12-u5-v0.pddl_planlen=197UNSAT112.35
dungeon_i25-m12-u5-v0.pddl_planlen=199UNSAT112.7
dungeon_i25-m12-u5-v0.pddl_planlen=198UNSAT112.78
dungeon_i25-m12-u5-v0.pddl_planlen=200UNSAT112.93
GuidanceServiceUNSAT113.78
GuidanceService2UNSAT114.05
depots13_9SAT116.2
stmt23_66_96SAT133.11
klieber2017q-080-20-eqSAT133.27
klieber2017q-086-21-eqSAT137.88
pipesnotankage16_10UNSAT138.06
pipesnotankage15_10UNSAT138.24
stmt17_62_98SAT140.87
Q_2-3_v-80-100_r-11.8UNSAT144.51
neclaftp4001UNSAT149.21
stmt19_313_412UNSAT149.83
sdlx-fixpoint-3UNSAT149.93
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-008UNSAT151.37
pipesnotankage14_10UNSAT152.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-009UNSAT156.85
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-010UNSAT157.25
Q_2-3_v-80-100_r-11.7UNSAT160.3
freecell02_4UNSAT162.1
pipesnotankage17_5UNSAT166.47
freecell02_6UNSAT172.81
stmt32_329_378UNSAT175.22
pipesnotankage17_7UNSAT175.32
Q_2-3_v-80-100_r-11.1UNSAT179.53
Q_2-3_v-80-100_r-11.0UNSAT181.31
Q_2-3_v-80-100_r-11.4UNSAT189.93
cache-coherence-2-fixpoint-6UNSAT195.86
k_branch_p-10UNSAT197.72
szymanski-20-sUNSAT198.71
k_branch_p-12UNSAT206.68
small-seq-fixpoint-5UNSAT214.78
b22_PR_9_90UNSAT223.36
k_branch_p-11UNSAT228.1
beemldelec4b1_c0to127.satSAT238.58
c3_BMC_p1_k256SAT239.3
c1_BMC_p2_k1024UNSAT275.95
szymanski-24-sUNSAT318.83
pipesnotankage17_6UNSAT322.61
k_branch_n-10SAT376.52
freecell03_6UNSAT391.74
freecell03_5UNSAT406.4
c1_BMC_p2_k2048FAIL416.68
c1_BMC_p1_k2048FAIL416.96
pipesnotankage18_7UNSAT439.7
depots09_11UNSAT485.96
depots09_12UNSAT486.37
pipesnotankage18_8UNSAT493.02
pipesnotankage19_7UNSAT494.7
freecell03_7SAT495.59
k_branch_p-14UNSAT520.99
gttt_2_2_000111_4x4_wUNSAT588.5
pipesnotankage19_9UNSAT611.54
kmdf_osrusbfx2_exe_dump.cFAIL657.49
c2_BMC_p1_k2048FAIL667.69
gttt_2_1_001020_4x4_torus_wUNSAT692.99
small-seq-fixpoint-8UNSAT785.58
k_branch_n-11SAT824.53
gttt_2_2_000111_4x4_torus_wUNSAT845.87
Adder2-16-sFAIL900
pi-bus-fixpoint-3FAIL900
ttt_5x5-shape-1-GTTT-2-1-torus-0FAIL900
ken.oop^2.C-d3FAIL900
test4_quant_squaring2FAIL900
input_mouser_detect.cFAIL900
ConcreteActivityServiceFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#10.aspFAIL900
add6_REDUCEDFAIL900
stmt17_70_90FAIL900
sortnetsort10.AE.stepl.005FAIL900.01
sortnetsort9.AE.stepl.008FAIL900.01
gttt_1_1_000111_4x4_torus_wFAIL900.01
k_branch_n-12FAIL900.01
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#20.aspFAIL900.01
k_ph_p-11FAIL900.01
reachqu_query64_1344FAIL900.01
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.01
PhaseServiceFAIL900.01
c4_Debug_s5_f2_e1_v3FAIL900.01
hex_rand_6x6-20m-3FAIL900.01
test5_quant_squaring5FAIL900.01
hex_hein_4x4_07FAIL900.01
gttt_1_1_00101121_4x4_torus_wFAIL900.01
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#8.aspFAIL900.01
hex_rand_6x6-20m-2FAIL900.01
depots09_13FAIL900.01
Adder2-14-sFAIL900.01
Adder2-8-sFAIL900.01
Q_2-3_v-80-100_r-11.5FAIL900.01
test1_quant_squaring2FAIL900.02
genbuf10b4n.unsatFAIL900.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
ActivityServiceFAIL900.02
adder-12-satFAIL900.02
UserServiceImplFAIL900.02
ceiling128FAIL900.02
ken.oop^2.C-d4FAIL900.02
kenflashp12FAIL900.02
stmt21_319_418FAIL900.02
query44_query26_1344nFAIL900.02
query31_reachqu_1344nFAIL900.02
sortnetsort10.AE.stepl.008FAIL900.02
ActivityService2FAIL900.02
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009FAIL900.02
mult_bool_matrix_10_9_11.unsatFAIL900.02
ttt_5x5-shape-1-GTTT-1-1-torus-1FAIL900.02
ttt_5x5-shape-0-GTTT-2-1-torus-0FAIL900.02
k_branch_p-19FAIL900.02
AR-fixpoint-1FAIL900.02
filesys_smbmrx_midatlas.cFAIL900.02
arbiter-10-comp-error01-qbf-hardness-depth-22FAIL900.02
filesys_fastfat_cachesup.cFAIL900.02
hex_rand_6x6-20m-8FAIL900.02
b21_C_3_206FAIL900.02
IssueServiceImplFAIL900.02
reachqu_query64_1344nFAIL900.02
arbiter-09-comp-error01-qbf-hardness-depth-21FAIL900.02
Core1108_tbm_21.tex.module.000008FAIL900.02
add5_COMPLETEFAIL900.02
k_ph_p-15FAIL900.02
ttt_5x5-shape-1-GTTT-1-2-torus-1FAIL900.03
adder-12-unsatFAIL900.03
test4_quant_squaring4FAIL900.03
eijkbs4863FAIL900.03
k_branch_p-16FAIL900.03
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#13.aspFAIL900.03
add5_CHOOSEFAIL900.03
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#16.aspFAIL900.03
hex_rand_6x6-20m-7FAIL900.03
hex_rand_6x6-20m-1FAIL900.03
cycle_sched_4_7_1.satFAIL900.03
c1_Debug_s5_f1_e1_v2FAIL900.03
c4_Debug_s5_f2_e2_v2FAIL900.03
sortnetsort9.AE.stepl.007FAIL900.03
arbiter-10-comp-error01-qbf-hardness-depth-23FAIL900.03
Q_2-3_v-80-100_r-11.9FAIL900.03
network_ndis_rtlnwifi_hw_hw_ccmp.cFAIL900.03
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003FAIL900.03
Core1108_tbm_21.tex.module.000030FAIL900.03
kmdf_usbsamp_sys_queue.cFAIL900.03
network_ndis_coisdn_TpiParam.cFAIL900.03
query10_query36_1344FAIL900.04
add6_CHOOSEFAIL900.04
reachqu_query71_1344nFAIL900.04
b20_C_3_2FAIL900.04
small-seq-fixpoint-7FAIL900.04
c1_Debug_s3_f2_e1_v2FAIL900.04
hex_hein_4x4_06FAIL900.04
Umbrella_tbm_05.tex.module.000039FAIL900.04
hex_rand_6x6-20m-4FAIL900.04
k_branch_p-21FAIL900.04
test1_quant_squaring3FAIL900.04
stmt17_86_98FAIL900.04
arbiter-06-comp-error01-qbf-hardness-depth-15FAIL900.04
c4_Debug_s3_f2_e2_v3FAIL900.04
kernel_agplib_intrface.cFAIL900.04
filesys_fastfat_allocsup.cFAIL900.04
cycle_sched_4_7_1.unsatFAIL900.04
sortnetsort10.v.stepl.005FAIL900.04
adder-10-satFAIL900.05
NotificationServiceImpl2FAIL900.05
stmt17_70_98FAIL900.05
ttt_5x5-shape-0-GTTT-1-1-torus-1FAIL900.05
ttt_5x5-shape-0-GTTT-1-1-torus-0FAIL900.05
gttt_2_1_00102030_4x4_torus_bFAIL900.05
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003FAIL900.05
intermediate128FAIL900.05
ken.flash^11.C-f3FAIL900.05
unit6_3_bFAIL900.05
c1_Debug_s3_f2_e1_v1FAIL900.05
ken.flash^09.C-d4FAIL900.05
ken.flash^05.C-d3FAIL900.05
query21_query58_1344nFAIL900.05
load_full_4_comp3_REAL.unsatFAIL900.05
oski3ub5i_c0to255.satFAIL900.05
adder-14-satFAIL900.06
c6_BMC_p1_k2048FAIL900.06
hex_rand_6x6-20m-6FAIL900.06
c6_BMC_p1_k1024FAIL900.06
pdtpmsmiimFAIL900.06
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.06
gttt_1_1_000111_4x4_torus_bFAIL900.06
query42_query06_1344nFAIL900.06
query03_query25_1344FAIL900.06
kmdf_osrusbfx2_exe_testapp.cFAIL900.06
c4_Debug_s5_f2_e2_v3FAIL900.06
add6_COMPLETEFAIL900.06
hex_rand_6x6-20m-0FAIL900.06
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#20.aspFAIL900.06
c2_Debug_s3_f1_e1_v2FAIL900.06
ttt_5x5-shape-1-GTTT-2-2-torus-0FAIL900.06
k_branch_p-18FAIL900.06
ttt_5x5-shape-1-GTTT-1-1-torus-0FAIL900.06
ctrl.e#1.a#3.E#120.A#48.c#.w#3.s#3.aspFAIL900.06
eijk.S1196.S-f2FAIL900.07
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001FAIL900.07
eijk.S713.S-f2FAIL900.07
eijk.bs1512.S-f4FAIL900.07
ttt_5x5-shape-1-GTTT-1-2-torus-0FAIL900.07
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#18.aspFAIL900.07
driver_a9n.satFAIL900.07
sortnetsort9.AE.stepl.009FAIL900.07
gttt_2_2_000111_4x4_torus_bFAIL900.07
test3_quant_squaring4FAIL900.07
genbuf9b4n.satFAIL900.07
amba2f9n.satFAIL900.07
amba4b9y.unsatFAIL900.07
stmt19_64_99FAIL900.07
c4_Debug_s3_f2_e2_v2FAIL900.07
Adder2-10-sFAIL900.07
k_ph_p-13FAIL900.07
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001FAIL900.07
k_ph_p-12FAIL900.08
small-seq-fixpoint-9FAIL900.08
arbiter-08-comp-error02-qbf-hardness-depth-9FAIL900.08
hex_rand_6x6-20m-9FAIL900.08
cycle_sched_6_7_1.satFAIL900.08
ken.flash^08.C-d4FAIL900.08
reachqu_query71_1344FAIL900.08
k_ph_p-14FAIL900.08
arbiter-10-comp-error01-qbf-hardness-depth-24FAIL900.08
gttt_2_2_000111_4x4_bFAIL900.08
k_branch_n-17FAIL900.08
hex_rand_6x6-20m-5FAIL900.08
gttt_2_1_00011020_4x4_bFAIL900.08
k_branch_n-21FAIL900.08
filesys_fastfat_write.cFAIL900.08
klieber2017q-082-20-eqFAIL900.09
ltl2dpa_C26_comp2_REAL.satFAIL900.09
mult_bool_matrix_17_17_17.unsatFAIL900.09
arbiter-06-comp-error01-qbf-hardness-depth-11FAIL900.09
ttt_5x5-shape-1-GTTT-2-1-torus-1FAIL900.09
stmt17_82_98FAIL900.09
k_branch_n-20FAIL900.09
c2_Debug_s3_f2_e1_v3FAIL900.09
sortnetsort9.AE.stepl.012FAIL900.09
IterationServiceFAIL900.09
arbiter-07-comp-error01-qbf-hardness-depth-20FAIL900.1
genbuf9b4n.unsatFAIL900.1
cycle_sched_6_7_1.unsatFAIL900.1
ttt_5x5-shape-0-GTTT-2-1-torus-1FAIL900.11
audio_ddksynth_csynth2.cppFAIL900.12
arbiter-09-comp-error01-qbf-hardness-depth-15FAIL900.12