Instances solved by Iprover-HQSpre-Bloqqer
QBFEVAL'18 - Prenex CNF Track

InstanceResultTime
ltl2dba_C2-6_comp3_REAL.satSAT0
stmt16_818_819SAT0
stmt44_554_604SAT0
stmt5_731_730SAT0
stmt41_262_275SAT0
stmt124_966_965SAT0
eijk.bs3330.S-d3SAT0
pdtpmsmiimSAT0
hex_hein_4x4_04SAT0
kenflashp12SAT0
Q_2-3_v-80-100_r-13.4UNSAT0
floor256SAT0
decomposition256SAT0
stmt25_52_53SAT0
stmt9_445_446SAT0
mult_bool_matrix_10_9_11.satSAT0
s05378_PR_4_90UNSAT0
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
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-007UNSAT0
incrementer-enc06-nonuniform-depth-5UNSAT0
s01488_PR_1_10SAT0
s00838_PR_6_90UNSAT0
s00420_PR_1_20SAT0
incrementer-enc06-nonuniform-depth-10UNSAT0
rankfunc16_signed_64SAT0
driver_d9y.satSAT0
s09234_PR_9_90UNSAT0
stmt21_181_369UNSAT0
ttt_5x5-shape-0-GTTT-1-2-torus-1SAT0
rankfunc30_signed_64SAT0
ttt_5x5-shape-0-GTTT-2-2-torus-1SAT0
rankfunc19_signed_64SAT0
rankfunc42_signed_64SAT0
rankfunc15_signed_64SAT0
rankfunc30_unsigned_64SAT0
rankfunc18_unsigned_64SAT0
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#18.aspSAT0
rankfunc21_signed_64SAT0
rankfunc3_signed_64SAT0
ttt_5x5-shape-0-GTTT-2-2-torus-0SAT0
rankfunc16_unsigned_64SAT0
ceiling128SAT0
rankfunc15_unsigned_64SAT0
rankfunc3_unsigned_64SAT0
rankfunc19_unsigned_64SAT0
ttt_5x5-shape-0-GTTT-1-2-torus-0SAT0
b21_PR_9_90UNSAT0
rankfunc21_unsigned_64SAT0
small-synabs-fixpoint-3UNSAT0
rankfunc18_signed_64SAT0.2
stmt41_160_235UNSAT0.53
stmt19_83_412UNSAT0.55
stmt1_79_80SAT0.58
stmt27_93_98SAT0.6
b20_PR_9_90UNSAT0.65
fpu-10Xh-error01-uniform-depth-4UNSAT0.76
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-009UNSAT0.91
s15850_PR_8_90UNSAT0.93
fpu-10Xh-error01-nonuniform-depth-5UNSAT0.93
incrementer-enc06-nonuniform-depth-15UNSAT0.95
stmt29_226_376UNSAT1.03
s38417_PR_4_50SAT1.17
tlc05-uniform-depth-40UNSAT1.22
s38584_PR_9_90SAT1.31
nusmv.reactor^3.C-d4SAT1.32
stay24n.satSAT1.35
stmt21_319_418SAT1.37
nusmv.tcas-t^1.B-d2SAT1.37
itc-b13-fixpoint-5SAT1.37
ctrl.e#1.a#3.E#110.A#48.c#.w#9.s#13.aspSAT1.46
tlc05-uniform-depth-45UNSAT1.5
b21_PR_8_20SAT1.65
ltl2dpa_C26_comp2_REAL.satSAT1.67
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-010UNSAT1.79
incrementer-enc06-nonuniform-depth-20UNSAT1.79
tlc05-uniform-depth-50UNSAT1.82
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-008UNSAT1.82
mult_bool_matrix_17_17_17.satSAT2.07
b14_PR_1_50SAT2.2
fpu-10Xh-error01-nonuniform-depth-10UNSAT2.2
fpu-10Xh-error01-uniform-depth-10UNSAT2.28
tlc05-uniform-depth-55UNSAT2.33
driver_a9n.satSAT2.63
tlc05-uniform-depth-60UNSAT2.75
b20_PR_7_20SAT2.78
fpu-10Xh-error01-nonuniform-depth-15UNSAT3.02
s38584_PR_8_50SAT3.08
fpu-10Xh-error01-uniform-depth-15UNSAT3.18
tlc05-uniform-depth-65UNSAT3.18
driverlog10_6UNSAT3.33
tlc05-uniform-depth-70UNSAT3.36
fpu-10Xh-error01-nonuniform-depth-20UNSAT3.91
fpu-10Xh-error01-uniform-depth-20UNSAT4.16
fpu-10Xh-error01-nonuniform-depth-25UNSAT4.79
fpu-10Xh-error01-uniform-depth-25UNSAT4.86
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-010UNSAT4.97
tlc05-uniform-depth-75UNSAT5.21
sdlx-fixpoint-3UNSAT5.45
s15850_PR_0_50SAT5.68
tlc05-uniform-depth-80UNSAT5.69
tlc05-uniform-depth-85UNSAT6.1
sortnetsort8.v.stepl.007SAT6.47
load_3c_comp_comp7_REAL.unsatUNSAT6.84
incrementer-enc02-uniform-depth-58UNSAT8.08
k_branch_p-10UNSAT9.04
add4_REDUCEDSAT9.82
dungeon_i15-m7-u4-v0.pddl_planlen=81UNSAT10.11
incrementer-enc02-uniform-depth-63UNSAT10.13
k_branch_n-10SAT10.66
dungeon_i25-m12-u3-v0.pddl_planlen=72UNSAT12.13
k_branch_p-11UNSAT12.78
depots07_8UNSAT13.38
dungeon_i25-m12-u5-v0.pddl_planlen=59UNSAT13.54
dungeon_i25-m12-u5-v0.pddl_planlen=65UNSAT14.1
dungeon_i15-m7-u4-v0.pddl_planlen=168UNSAT14.2
k_branch_n-11SAT15.4
small-seq-fixpoint-3UNSAT15.59
depots03_9UNSAT15.78
dungeon_i25-m12-u3-v0.pddl_planlen=125UNSAT16.09
dungeon_i25-m12-u3-v0.pddl_planlen=130UNSAT16.45
dungeon_i25-m12-u5-v0.pddl_planlen=86UNSAT17.3
dungeon_i25-m12-u5-v0.pddl_planlen=92UNSAT17.98
dungeon_i25-m12-u3-v0.pddl_planlen=146UNSAT18.33
usb-phy-fixpoint-3UNSAT18.92
k_branch_p-12UNSAT18.94
dungeon_i25-m12-u3-v0.pddl_planlen=165UNSAT19.19
dungeon_i25-m12-u5-v0.pddl_planlen=98UNSAT19.49
dungeon_i25-m12-u5-v0.pddl_planlen=81UNSAT20.08
pipesnotankage13_5UNSAT21.47
pipesnotankage11_8UNSAT21.49
dungeon_i25-m12-u3-v0.pddl_planlen=190UNSAT21.67
k_branch_n-12SAT23.04
c6_BMC_p2_k1024UNSAT23.09
dungeon_i25-m12-u5-v0.pddl_planlen=128UNSAT23.29
c6_BMC_p1_k512SAT24.49
dungeon_i25-m12-u5-v0.pddl_planlen=143UNSAT25.69
c5_BMC_p1_k32SAT25.78
depots16_5UNSAT28.31
dungeon_i25-m12-u5-v0.pddl_planlen=170UNSAT28.92
dungeon_i25-m12-u5-v0.pddl_planlen=197UNSAT32.38
dungeon_i25-m12-u5-v0.pddl_planlen=198UNSAT32.61
dungeon_i25-m12-u5-v0.pddl_planlen=199UNSAT34.4
dungeon_i25-m12-u5-v0.pddl_planlen=200UNSAT35.09
pi-bus-fixpoint-1UNSAT36.12
freecell02_4UNSAT36.49
depots08_6UNSAT37.01
load_full_4_comp3_REAL.unsatUNSAT41.66
depots13_9SAT42.66
c6_BMC_p1_k1024SAT44.57
pipesnotankage16_10UNSAT46.78
cache-coherence-2-fixpoint-4UNSAT48.7
k_branch_p-14UNSAT49.39
c3_BMC_p1_k256SAT49.98
pipesnotankage14_10UNSAT50.25
pipesnotankage15_10UNSAT50.49
k_branch_p-16UNSAT57.88
Adder2-8-sSAT58.14
Adder2-8-cUNSAT58.69
pipesnotankage17_5UNSAT62.41
cycle_sched_4_7_1.unsatUNSAT63.18
freecell02_6UNSAT66.11
pipesnotankage17_7UNSAT67.77
pipesnotankage17_6UNSAT67.96
cache-coherence-3-fixpoint-3UNSAT70.61
szymanski-20-sUNSAT85.49
nusmv.tcas^3.B-f2SAT99.84
filesys_smbmrx_midatlas.cUNSAT109.44
c1_Debug_s3_f2_e1_v2SAT112.66
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-010UNSAT113
freecell03_6UNSAT118.86
query03_query25_1344UNSAT119.12
freecell03_5UNSAT119.57
c4_Debug_s3_f2_e2_v2SAT129.48
pipesnotankage18_7UNSAT133.48
pipesnotankage18_8UNSAT133.53
k_branch_n-17SAT135.02
c4_Debug_s3_f2_e2_v3SAT146.46
depots09_13UNSAT148.62
cache-coherence-2-fixpoint-6UNSAT151.28
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-007UNSAT156.94
c1_BMC_p2_k1024UNSAT163.37
freecell03_7SAT166.61
depots09_12UNSAT171.96
depots09_11UNSAT172.14
small-seq-fixpoint-5UNSAT180.58
pipesnotankage19_7UNSAT187.35
incrementer-enc06-uniform-depth-24UNSAT190.36
incrementer-enc07-uniform-depth-25UNSAT199.16
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-008UNSAT213.79
pipesnotankage19_9UNSAT213.9
szymanski-24-sUNSAT214.26
filesys_smbmrx_cvsndrcv.cUNSAT227.62
k_branch_p-19UNSAT239.09
k_branch_n-20SAT258.31
network_trans_sys_notify.cUNSAT269.7
incrementer-enc06-nonuniform-depth-25UNSAT314.29
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-010UNSAT314.96
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009UNSAT345.12
k_branch_n-21SAT347.82
small-seq-fixpoint-7UNSAT351.56
k_branch_p-18UNSAT361.01
k_branch_p-21UNSAT369.69
c1_Debug_s3_f2_e1_v1SAT377.12
kmdf_osrusbfx2_exe_dump.cUNSAT383.21
gttt_2_1_001020_4x4_torus_wUNSAT506.25
Adder2-16-cUNSAT529.18
pi-bus-fixpoint-3UNSAT600
c1_BMC_p2_k2048UNSAT630.81
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-008FAIL702.15
oski3ub5i_c0to255.satFAIL775.53
AR-fixpoint-1FAIL817.5
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-010FAIL836.97
c2_Debug_s3_f2_e1_v3SAT857.29
c1_BMC_p1_k2048SAT859.52
hex_rand_6x6-20m-0FAIL900
Q_2-3_v-80-100_r-11.5FAIL900
arbiter-09-comp-error01-qbf-hardness-depth-15FAIL900
Q_2-3_v-80-100_r-11.3FAIL900
b21_C_3_206FAIL900
k_ph_p-11FAIL900
Q_2-3_v-80-100_r-11.7FAIL900
stmt17_70_90FAIL900
hex_rand_6x6-20m-6FAIL900
hex_hein_4x4_07FAIL900
eijk.S1196.S-f2FAIL900
k_ph_p-15FAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#13.aspFAIL900.01
klieber2017q-088-22-t1FAIL900.01
ttt_5x5-shape-1-GTTT-1-2-torus-1FAIL900.01
Q_2-3_v-80-100_r-13.9FAIL900.01
test4_quant_squaring2FAIL900.01
ci.e#1.a#3.E#40.A#60.c#288.w#6.s#2.aspFAIL900.01
b18_PR_4_2FAIL900.01
ttt_5x5-shape-1-GTTT-2-2-torus-0FAIL900.01
ken.oop^2.C-d3FAIL900.01
ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.aspFAIL900.01
hex_rand_6x6-20m-5FAIL900.01
cmu.gigamax.B-d4FAIL900.01
Q_2-3_v-80-100_r-11.6FAIL900.01
klieber2017q-084-21-eqFAIL900.01
ctrl.e#1.a#3.E#120.A#48.c#.w#3.s#3.aspFAIL900.01
kmdf_usbsamp_sys_queue.cFAIL900.01
sortnetsort10.AE.stepl.008FAIL900.01
network_ndis_coisdn_TpiParam.cFAIL900.01
amba2f9n.satFAIL900.01
sortnetsort9.AE.stepl.008FAIL900.01
ConcreteActivityServiceFAIL900.01
add5_REDUCEDFAIL900.01
cycle_sched_6_7_1.unsatFAIL900.01
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009FAIL900.01
c4_Debug_s5_f2_e1_v3FAIL900.01
b20_C_3_2FAIL900.01
genbuf9b4n.satFAIL900.01
c4_Debug_s5_f2_e2_v3FAIL900.01
gttt_2_2_000111_4x4_torus_wFAIL900.01
klieber2017q-078-19-eqFAIL900.01
klieber2017q-082-20-t1FAIL900.01
c6_BMC_p1_k2048FAIL900.01
unit6_3_bFAIL900.01
ctrl.e#1.a#3.E#124.A#48.c#.w#7.s#50.aspFAIL900.01
arbiter-10-comp-error01-qbf-hardness-depth-24FAIL900.01
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#10.aspFAIL900.02
cycle_sched_6_7_1.satFAIL900.02
Core1108_tbm_21.tex.module.000030FAIL900.02
amba4b9y.unsatFAIL900.02
klieber2017q-078-19-t1FAIL900.02
kernel_agplib_intrface.cFAIL900.02
gttt_2_2_000111_4x4_wFAIL900.02
hex_hein_4x4_12FAIL900.02
unit9_2_bFAIL900.02
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001FAIL900.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
gttt_2_1_00102030_4x4_torus_bFAIL900.02
query31_reachqu_1344nFAIL900.02
klieber2017q-074-18-eqFAIL900.02
klieber2017q-086-21-eqFAIL900.02
ken.oop^2.C-d4FAIL900.02
sortnetsort10.v.stepl.005FAIL900.02
gttt_1_1_00101121_4x4_torus_wFAIL900.02
stmt17_82_98FAIL900.02
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#19.aspFAIL900.03
arbiter-10-comp-error01-qbf-hardness-depth-23FAIL900.03
gttt_2_2_000111_4x4_bFAIL900.03
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#16.aspFAIL900.03
add5_CHOOSEFAIL900.03
klieber2017q-080-20-eqFAIL900.03
unit11_3_bFAIL900.03
IterationServiceFAIL900.03
ctrl.e#1.a#3.E#112.A#48.c#.w#5.s#27.aspFAIL900.03
UserServiceImplFAIL900.03
reachqu_query71_1344FAIL900.03
hex_rand_6x6-20m-4FAIL900.03
Q_2-3_v-80-100_r-11.4FAIL900.03
filesys_fastfat_allocsup.cFAIL900.03
test1_quant_squaring2FAIL900.03
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.03
Umbrella_tbm_05.tex.module.000039FAIL900.03
texas.PI_main^05.E-f3FAIL900.03
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#8.aspFAIL900.03
Q_2-3_v-80-100_r-11.8FAIL900.03
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001FAIL900.03
sortnetsort9.AE.stepl.009FAIL900.03
eijk.S713.S-f2FAIL900.03
Q_2-3_v-80-100_r-13.2FAIL900.03
stmt23_72_76FAIL900.03
cmu.dme2.B-f3FAIL900.03
ken.flash^05.C-d3FAIL900.03
Adder2-16-sFAIL900.03
arbiter-07-comp-error01-qbf-hardness-depth-20FAIL900.03
k_ph_p-14FAIL900.03
ActivityService2FAIL900.04
sortnetsort9.AE.stepl.007FAIL900.04
sortnetsort10.AE.stepl.005FAIL900.04
add6_REDUCEDFAIL900.04
input_mouser_detect.cFAIL900.04
stmt2_976_999FAIL900.04
stmt17_86_98FAIL900.04
adder-14-satFAIL900.04
c4_Debug_s5_f2_e2_v2FAIL900.04
Core1108_tbm_21.tex.module.000008FAIL900.04
c1_Debug_s5_f1_e1_v2FAIL900.04
network_ndis_rtlnwifi_hw_hw_ccmp.cFAIL900.04
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-007FAIL900.04
klieber2017q-076-19-t1FAIL900.04
ttt_5x5-shape-0-GTTT-1-1-torus-0FAIL900.04
test5_quant_squaring5FAIL900.04
Q_2-3_v-80-100_r-13.3FAIL900.04
Q_2-3_v-80-100_r-11.0FAIL900.04
hex_hein_4x4_06FAIL900.04
eijk.bs4863.S-d4FAIL900.04
hex_rand_6x6-20m-3FAIL900.04
ttt_5x5-shape-1-GTTT-2-1-torus-1FAIL900.04
test1_quant_squaring3FAIL900.04
arbiter-09-comp-error01-qbf-hardness-depth-21FAIL900.04
eijk.bs1512.S-f4FAIL900.04
Adder2-10-sFAIL900.04
klieber2017q-092-23-t1FAIL900.04
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#18.aspFAIL900.04
Q_2-3_v-80-100_r-11.9FAIL900.04
ttt_5x5-shape-1-GTTT-2-1-torus-0FAIL900.05
NotificationServiceImpl2FAIL900.05
genbuf9b4n.unsatFAIL900.05
ttt_5x5-shape-1-GTTT-1-1-torus-1FAIL900.05
c2_Debug_s3_f1_e1_v2FAIL900.05
ActivityServiceFAIL900.05
ken.flash^09.C-d4FAIL900.05
sortnetsort9.v.stepl.005FAIL900.05
hex_rand_6x6-20m-2FAIL900.05
mult_bool_matrix_17_17_17.unsatFAIL900.05
klieber2017q-080-20-t1FAIL900.05
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.05
adder-12-unsatFAIL900.05
intermediate128FAIL900.05
b22_PR_9_90FAIL900.05
gttt_1_1_000111_4x4_torus_bFAIL900.05
gttt_1_1_000111_4x4_torus_wFAIL900.05
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.aspFAIL900.05
arbiter-06-comp-error01-qbf-hardness-depth-11FAIL900.05
Q_2-3_v-80-100_r-13.0FAIL900.05
query21_query58_1344nFAIL900.05
Q_2-3_v-80-100_r-13.5FAIL900.05
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#20.aspFAIL900.05
Q_2-3_v-80-100_r-13.7FAIL900.05
reachqu_query64_1344FAIL900.05
unit8_2_bFAIL900.05
b22_PR_8_20FAIL900.05
arbiter-10-comp-error01-qbf-hardness-depth-22FAIL900.05
reachqu_query71_1344nFAIL900.06
hex_hein_4x4_09FAIL900.06
query42_query06_1344nFAIL900.06
IssueServiceImplFAIL900.06
nusmv.tcas^4.B-f3FAIL900.06
GuidanceService2FAIL900.06
klieber2017q-096-24-t1FAIL900.06
nusmv.tcas^2.B-f2FAIL900.06
incrementer-enc08-uniform-depth-33FAIL900.06
klieber2017q-076-19-eqFAIL900.06
nusmv.tcas^6.B-f4FAIL900.06
unit12_2_bFAIL900.06
mult_bool_matrix_10_9_11.unsatFAIL900.06
Q_2-3_v-80-100_r-11.1FAIL900.06
stmt28_68_81FAIL900.06
Q_2-3_v-80-100_r-13.1FAIL900.06
stmt17_70_98FAIL900.06
stmt19_64_99FAIL900.06
k_ph_p-12FAIL900.06
adder-10-satFAIL900.06
stmt19_313_412FAIL900.06
klieber2017q-082-20-eqFAIL900.07
filesys_fastfat_write.cFAIL900.07
klieber2017q-084-21-t1FAIL900.07
ctrl.e#1.a#3.E#116.A#48.c#.w#7.s#56.aspFAIL900.07
cmu.dme1.B-f3FAIL900.07
stmt23_66_96FAIL900.07
Q_2-3_v-80-100_r-13.8FAIL900.07
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#17.aspFAIL900.07
ken.flash^11.C-f3FAIL900.07
klieber2017q-086-21-t1FAIL900.07
reachqu_query64_1344nFAIL900.07
adder-12-satFAIL900.07
small-seq-fixpoint-9FAIL900.07
ttt_5x5-shape-0-GTTT-1-1-torus-1FAIL900.07
filesys_fastfat_cachesup.cFAIL900.07
ttt_5x5-shape-1-GTTT-1-2-torus-0FAIL900.07
ttt_5x5-shape-0-GTTT-2-1-torus-0FAIL900.07
hex_rand_6x6-20m-8FAIL900.07
sortnetsort9.v.stepl.007FAIL900.07
ken.flash^08.C-d4FAIL900.07
kmdf_osrusbfx2_exe_testapp.cFAIL900.07
test4_quant_squaring4FAIL900.07
gttt_2_1_00011020_4x4_bFAIL900.07
stmt17_62_98FAIL900.07
klieber2017q-088-22-eqFAIL900.08
ttt_5x5-shape-0-GTTT-2-1-torus-1FAIL900.08
Q_2-3_v-80-100_r-13.6FAIL900.08
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#1.aspFAIL900.08
klieber2017q-096-24-eqFAIL900.08
GuidanceServiceFAIL900.08
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003FAIL900.08
gttt_2_2_000111_4x4_torus_bFAIL900.08
add6_CHOOSEFAIL900.08
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001FAIL900.08
audio_ddksynth_csynth2.cppFAIL900.08
sortnetsort9.AE.stepl.012FAIL900.08
neclaftp4001FAIL900.08
small-seq-fixpoint-8FAIL900.08
eijkbs4863FAIL900.08
stmt21_310_360FAIL900.08
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003FAIL900.08
genbuf10b4n.unsatFAIL900.08
arbiter-08-comp-error02-qbf-hardness-depth-9FAIL900.08
add6_COMPLETEFAIL900.08
ttt_5x5-shape-1-GTTT-1-1-torus-0FAIL900.09
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003FAIL900.09
k_ph_p-13FAIL900.09
cycle_sched_4_7_1.satFAIL900.09
stmt17_63_82FAIL900.09
klieber2017q-074-18-t1FAIL900.09
stmt52_295_394FAIL900.09
Adder2-14-sFAIL900.09
stmt32_329_378FAIL900.09
c2_BMC_p1_k2048FAIL900.09
arbiter-05-comp-error01-qbf-hardness-depth-8FAIL900.09
hex_rand_6x6-20m-1FAIL900.09
kmdf_pcidrv_sys_hw_physet.cFAIL900.09
query44_query26_1344nFAIL900.09
PhaseServiceFAIL900.09
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.09
query10_query36_1344FAIL900.09
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#2.aspFAIL900.09
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.09
texas.PI_main^08.E-f3FAIL900.09
klieber2017q-092-23-eqFAIL900.09
arbiter-06-comp-error01-qbf-hardness-depth-15FAIL900.1
stmt39_285_335FAIL900.1
add5_COMPLETEFAIL900.1
test3_quant_squaring4FAIL900.1
Q_2-3_v-80-100_r-11.2FAIL900.1
hex_rand_6x6-20m-7FAIL900.1
hex_rand_6x6-20m-9FAIL900.1
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003FAIL900.1
beemldelec4b1_c0to127.satFAIL900.1
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#20.aspFAIL900.1