Instances solved by Qute_default
QBFEVAL'18 - Prenex CNF Track

InstanceResultTime
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
s01488_PR_1_10SAT0
ttt_5x5-shape-0-GTTT-2-2-torus-0SAT0
eijk.bs3330.S-d3SAT0
ttt_5x5-shape-0-GTTT-2-2-torus-1SAT0
s05378_PR_4_90UNSAT0
rankfunc3_unsigned_64SAT0
rankfunc3_signed_64SAT0
rankfunc21_unsigned_64SAT0
rankfunc19_signed_64SAT0
pdtpmsmiimSAT0
rankfunc42_signed_64SAT0
s00838_PR_6_90UNSAT0
s00420_PR_1_20SAT0
small-synabs-fixpoint-3UNSAT0
incrementer-enc06-nonuniform-depth-5UNSAT0
incrementer-enc06-nonuniform-depth-10UNSAT0
Q_2-3_v-80-100_r-13.4UNSAT0
hex_hein_4x4_04SAT0
stmt124_966_965SAT0
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
floor256SAT0
decomposition256SAT0
ttt_5x5-shape-0-GTTT-1-2-torus-0SAT0
nusmv.tcas-t^1.B-d2SAT0
ttt_5x5-shape-0-GTTT-1-2-torus-1SAT0
rankfunc15_signed_64SAT0
rankfunc16_unsigned_64SAT0
rankfunc21_signed_64SAT0
stmt41_262_275SAT0
test3_quant_squaring4SAT0
rankfunc18_unsigned_64SAT0
rankfunc30_unsigned_64SAT0
rankfunc15_unsigned_64SAT0
rankfunc30_signed_64SAT0
stmt29_226_376UNSAT0
stmt19_83_412UNSAT0
rankfunc19_unsigned_64SAT0
driver_d9y.satSAT0
stmt5_731_730SAT0
test5_quant_squaring5SAT0
stmt9_445_446SAT0
s09234_PR_9_90UNSAT0
rankfunc16_signed_64SAT0
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#18.aspSAT0
test4_quant_squaring2UNSAT0
stmt21_181_369UNSAT0
stmt16_818_819SAT0
stmt44_554_604SAT0
rankfunc18_signed_64SAT0
stmt41_160_235UNSAT0.52
Q_2-3_v-80-100_r-13.1UNSAT0.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.76
cmu.gigamax.B-d4SAT0.81
fpu-10Xh-error01-uniform-depth-4UNSAT0.82
fpu-10Xh-error01-nonuniform-depth-5UNSAT0.82
b21_PR_9_90UNSAT0.83
Q_2-3_v-80-100_r-13.7UNSAT0.87
b20_PR_9_90UNSAT0.9
incrementer-enc06-nonuniform-depth-15UNSAT0.9
tlc05-uniform-depth-40UNSAT0.9
Q_2-3_v-80-100_r-13.5UNSAT0.91
stay24n.satSAT0.95
Q_2-3_v-80-100_r-13.0UNSAT0.98
Adder2-8-sSAT0.98
tlc05-uniform-depth-45UNSAT1.07
Q_2-3_v-80-100_r-13.6UNSAT1.08
Q_2-3_v-80-100_r-13.9UNSAT1.08
tlc05-uniform-depth-50UNSAT1.11
s38417_PR_4_50SAT1.17
s38584_PR_9_90SAT1.21
s15850_PR_8_90UNSAT1.28
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-008UNSAT1.3
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.3
ctrl.e#1.a#3.E#110.A#48.c#.w#9.s#13.aspSAT1.36
amba2f9n.satSAT1.38
Core1108_tbm_21.tex.module.000030SAT1.39
b21_PR_8_20SAT1.46
Core1108_tbm_21.tex.module.000008SAT1.49
tlc05-uniform-depth-55UNSAT1.52
incrementer-enc06-nonuniform-depth-20UNSAT1.6
Adder2-10-sSAT1.71
b20_PR_7_20SAT1.78
fpu-10Xh-error01-nonuniform-depth-10UNSAT1.8
Q_2-3_v-80-100_r-13.2UNSAT1.81
itc-b13-fixpoint-5SAT1.91
fpu-10Xh-error01-uniform-depth-10UNSAT1.93
tlc05-uniform-depth-60UNSAT1.96
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#19.aspSAT2.05
stmt32_329_378UNSAT2.29
stmt39_285_335UNSAT2.3
stmt52_295_394UNSAT2.33
tlc05-uniform-depth-65UNSAT2.39
s38584_PR_8_50SAT2.4
nusmv.reactor^3.C-d4SAT2.42
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.aspUNSAT2.45
tlc05-uniform-depth-70UNSAT2.51
stmt21_310_360UNSAT2.51
Q_2-3_v-80-100_r-13.3UNSAT2.59
tlc05-uniform-depth-75UNSAT2.66
fpu-10Xh-error01-nonuniform-depth-15UNSAT2.7
fpu-10Xh-error01-uniform-depth-15UNSAT2.72
Umbrella_tbm_05.tex.module.000039SAT2.77
stmt19_313_412UNSAT2.82
Q_2-3_v-80-100_r-13.8UNSAT2.88
tlc05-uniform-depth-85UNSAT3.09
Q_2-3_v-80-100_r-11.3UNSAT3.18
incrementer-enc06-nonuniform-depth-25UNSAT3.23
incrementer-enc07-uniform-depth-25UNSAT3.26
s15850_PR_0_50SAT3.3
driver_a9n.satSAT3.48
fpu-10Xh-error01-nonuniform-depth-20UNSAT3.5
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-010UNSAT3.51
fpu-10Xh-error01-uniform-depth-20UNSAT3.57
Adder2-8-cSAT3.73
cycle_sched_6_7_1.satSAT4.06
fpu-10Xh-error01-nonuniform-depth-25UNSAT4.12
fpu-10Xh-error01-uniform-depth-25UNSAT4.27
Adder2-14-sSAT4.44
arbiter-05-comp-error01-qbf-hardness-depth-8SAT5.36
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003SAT5.41
load_3c_comp_comp7_REAL.unsatUNSAT6.42
Adder2-16-sSAT6.44
sdlx-fixpoint-3UNSAT7.08
k_branch_p-10UNSAT7.14
small-seq-fixpoint-3UNSAT7.14
ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.aspUNSAT7.2
k_branch_n-10SAT7.2
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003SAT7.33
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001SAT7.45
genbuf9b4n.satSAT7.85
driverlog10_6UNSAT8.6
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-007SAT8.73
incrementer-enc02-uniform-depth-63UNSAT8.78
b18_PR_4_2SAT9.1
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-007SAT9.2
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001SAT10.03
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-010SAT10.09
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-007SAT11.06
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-008SAT11.81
nusmv.tcas^3.B-f2SAT12.56
tlc05-uniform-depth-80UNSAT13.09
usb-phy-fixpoint-3UNSAT13.2
sortnetsort10.AE.stepl.005SAT13.97
dungeon_i25-m12-u3-v0.pddl_planlen=72UNSAT14.16
dungeon_i15-m7-u4-v0.pddl_planlen=81UNSAT14.41
ci.e#1.a#3.E#40.A#60.c#288.w#6.s#2.aspSAT14.56
k_branch_n-11SAT14.76
dungeon_i25-m12-u5-v0.pddl_planlen=59UNSAT14.9
dungeon_i25-m12-u5-v0.pddl_planlen=65UNSAT15.61
k_branch_p-11UNSAT15.94
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009SAT16.07
sortnetsort9.AE.stepl.007SAT16.24
c6_BMC_p2_k1024UNSAT16.8
Q_2-3_v-80-100_r-11.0UNSAT16.99
stmt21_319_418SAT17.24
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-009SAT17.3
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009SAT17.93
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-009SAT18.14
dungeon_i25-m12-u5-v0.pddl_planlen=81UNSAT18.3
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-010SAT18.36
arbiter-08-comp-error02-qbf-hardness-depth-9SAT18.76
dungeon_i25-m12-u5-v0.pddl_planlen=86UNSAT20.08
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-008SAT20.34
dungeon_i25-m12-u5-v0.pddl_planlen=92UNSAT20.38
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003SAT21
sortnetsort9.AE.stepl.008SAT21.2
k_branch_p-12UNSAT21.28
dungeon_i25-m12-u3-v0.pddl_planlen=125UNSAT21.39
arbiter-06-comp-error01-qbf-hardness-depth-11SAT21.41
dungeon_i25-m12-u5-v0.pddl_planlen=98UNSAT21.59
dungeon_i25-m12-u3-v0.pddl_planlen=130UNSAT21.77
depots07_8UNSAT22.69
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-008SAT23.31
dungeon_i15-m7-u4-v0.pddl_planlen=168UNSAT23.39
depots03_9UNSAT23.46
dungeon_i25-m12-u3-v0.pddl_planlen=146UNSAT24.22
c5_BMC_p1_k32SAT24.56
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003SAT25.45
k_branch_n-12SAT25.97
dungeon_i25-m12-u3-v0.pddl_planlen=165UNSAT26.4
sortnetsort9.AE.stepl.009SAT26.62
pipesnotankage13_5UNSAT26.92
pipesnotankage11_8UNSAT27.98
dungeon_i25-m12-u5-v0.pddl_planlen=128UNSAT28.14
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-010SAT28.16
Q_2-3_v-80-100_r-11.8UNSAT28.61
ctrl.e#1.a#3.E#116.A#48.c#.w#7.s#56.aspSAT28.62
dungeon_i25-m12-u3-v0.pddl_planlen=190UNSAT30.33
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001SAT30.48
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-009SAT32.47
dungeon_i25-m12-u5-v0.pddl_planlen=143UNSAT32.51
depots16_5UNSAT33.41
sortnetsort10.AE.stepl.008SAT34.53
pi-bus-fixpoint-1UNSAT38.92
cache-coherence-2-fixpoint-4UNSAT39.8
dungeon_i25-m12-u5-v0.pddl_planlen=198UNSAT40.43
dungeon_i25-m12-u5-v0.pddl_planlen=200UNSAT41.57
dungeon_i25-m12-u5-v0.pddl_planlen=199UNSAT41.77
dungeon_i25-m12-u5-v0.pddl_planlen=170UNSAT43.43
arbiter-07-comp-error01-qbf-hardness-depth-20SAT47.21
depots08_6UNSAT48.16
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#18.aspSAT48.66
dungeon_i25-m12-u5-v0.pddl_planlen=197UNSAT50.91
k_branch_p-14UNSAT51.02
szymanski-20-sUNSAT52.25
sortnetsort9.AE.stepl.012SAT52.55
depots13_9SAT53.56
hex_rand_6x6-20m-4UNSAT55.72
arbiter-09-comp-error01-qbf-hardness-depth-21SAT60.55
pipesnotankage16_10UNSAT62.79
freecell02_4UNSAT63.71
cache-coherence-3-fixpoint-3UNSAT68.18
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#1.aspUNSAT73.12
c1_BMC_p2_k1024UNSAT76.28
k_branch_p-16UNSAT76.64
pipesnotankage17_5UNSAT77.08
pipesnotankage17_6UNSAT83.64
freecell02_6UNSAT87.4
pipesnotankage17_7UNSAT87.56
pipesnotankage15_10UNSAT91.1
pipesnotankage14_10UNSAT110.03
arbiter-10-comp-error01-qbf-hardness-depth-22SAT112.86
c4_Debug_s3_f2_e2_v2SAT114.79
c1_BMC_p2_k2048UNSAT119.62
c1_Debug_s3_f2_e1_v2SAT124.59
arbiter-09-comp-error01-qbf-hardness-depth-15SAT127.98
arbiter-06-comp-error01-qbf-hardness-depth-15SAT133.08
ctrl.e#1.a#3.E#112.A#48.c#.w#5.s#27.aspSAT133.75
ctrl.e#1.a#3.E#124.A#48.c#.w#7.s#50.aspSAT141.81
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#2.aspUNSAT143.67
GuidanceServiceUNSAT149.65
GuidanceService2UNSAT154.12
c4_Debug_s3_f2_e2_v3SAT161.72
hex_hein_4x4_09SAT163.25
cache-coherence-2-fixpoint-6UNSAT164.32
freecell03_6UNSAT167.01
query21_query58_1344nUNSAT172.1
add4_REDUCEDSAT174.59
szymanski-24-sUNSAT175.28
ltl2dba_C2-6_comp3_REAL.satSAT178.37
freecell03_5UNSAT185.8
Adder2-16-cSAT190.3
k_branch_n-17SAT195.04
depots09_13UNSAT196.05
pipesnotankage18_7UNSAT201.53
genbuf10b4n.unsatSAT209.54
small-seq-fixpoint-5UNSAT212.92
beemldelec4b1_c0to127.satSAT214.23
depots09_11UNSAT214.4
depots09_12UNSAT214.48
k_branch_p-18UNSAT220.75
pipesnotankage18_8UNSAT222.35
c3_BMC_p1_k256SAT234.43
pipesnotankage19_7UNSAT235.48
Q_2-3_v-80-100_r-11.5UNSAT247.3
freecell03_7SAT254.23
pipesnotankage19_9UNSAT294.56
k_branch_p-19UNSAT319.38
c1_Debug_s3_f2_e1_v1SAT360.17
gttt_2_1_00102030_4x4_torus_bSAT406.81
gttt_2_1_001020_4x4_torus_wSAT407.61
gttt_2_2_000111_4x4_wSAT408.56
gttt_2_2_000111_4x4_torus_wSAT409.07
gttt_2_2_000111_4x4_torus_bSAT409.08
gttt_2_2_000111_4x4_bSAT409.36
k_branch_p-21UNSAT410.1
gttt_2_1_00011020_4x4_bSAT416.95
AR-fixpoint-1UNSAT448.75
sortnetsort8.v.stepl.007SAT457.02
c6_BMC_p1_k512SAT513.61
hex_hein_4x4_12SAT553.47
c6_BMC_p1_k1024SAT589.98
c2_Debug_s3_f1_e1_v2SAT599.97
k_branch_n-20SAT756.48
k_branch_n-21SAT829.25
hex_rand_6x6-20m-3FAIL900
stmt17_70_98FAIL900
klieber2017q-082-20-t1FAIL900
c2_BMC_p1_k2048FAIL900
klieber2017q-092-23-eqFAIL900
hex_rand_6x6-20m-6FAIL900
intermediate128FAIL900
oski3ub5i_c0to255.satFAIL900
ltl2dpa_C26_comp2_REAL.satFAIL900
add6_COMPLETEFAIL900
ttt_5x5-shape-1-GTTT-1-1-torus-1FAIL900
kmdf_usbsamp_sys_queue.cFAIL900
network_trans_sys_notify.cFAIL900
ttt_5x5-shape-0-GTTT-2-1-torus-1FAIL900
ken.flash^08.C-d4FAIL900
kmdf_osrusbfx2_exe_dump.cFAIL900
ttt_5x5-shape-0-GTTT-2-1-torus-0FAIL900.01
reachqu_query71_1344nFAIL900.01
adder-12-satFAIL900.01
sortnetsort9.v.stepl.007FAIL900.01
test1_quant_squaring2FAIL900.01
ttt_5x5-shape-1-GTTT-2-1-torus-0FAIL900.01
kenflashp12FAIL900.01
sortnetsort9.v.stepl.005FAIL900.01
hex_hein_4x4_07FAIL900.01
hex_hein_4x4_06FAIL900.01
eijk.S1196.S-f2FAIL900.01
stmt17_82_98FAIL900.01
add5_CHOOSEFAIL900.01
mult_bool_matrix_17_17_17.satFAIL900.01
ConcreteActivityServiceFAIL900.01
UserServiceImplFAIL900.01
stmt25_52_53FAIL900.01
incrementer-enc08-uniform-depth-33FAIL900.01
b20_C_3_2FAIL900.01
cycle_sched_4_7_1.satFAIL900.01
klieber2017q-092-23-t1FAIL900.01
hex_rand_6x6-20m-9FAIL900.01
Q_2-3_v-80-100_r-11.4FAIL900.01
klieber2017q-086-21-eqFAIL900.01
klieber2017q-080-20-t1FAIL900.01
ttt_5x5-shape-1-GTTT-2-2-torus-0FAIL900.02
query31_reachqu_1344nFAIL900.02
mult_bool_matrix_10_9_11.satFAIL900.02
query03_query25_1344FAIL900.02
unit11_3_bFAIL900.02
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#16.aspFAIL900.02
klieber2017q-074-18-t1FAIL900.02
filesys_fastfat_cachesup.cFAIL900.02
ctrl.e#1.a#3.E#120.A#48.c#.w#3.s#3.aspFAIL900.02
klieber2017q-076-19-t1FAIL900.02
klieber2017q-074-18-eqFAIL900.02
stmt28_68_81FAIL900.02
hex_rand_6x6-20m-8FAIL900.02
eijk.bs1512.S-f4FAIL900.02
ken.oop^2.C-d3FAIL900.02
cmu.dme2.B-f3FAIL900.02
unit9_2_bFAIL900.02
NotificationServiceImpl2FAIL900.02
hex_rand_6x6-20m-0FAIL900.02
query44_query26_1344nFAIL900.02
add6_REDUCEDFAIL900.02
stmt23_72_76FAIL900.02
klieber2017q-088-22-t1FAIL900.03
klieber2017q-078-19-t1FAIL900.03
add5_COMPLETEFAIL900.03
unit6_3_bFAIL900.03
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#10.aspFAIL900.03
add6_CHOOSEFAIL900.03
unit8_2_bFAIL900.03
c4_Debug_s5_f2_e2_v3FAIL900.03
kmdf_pcidrv_sys_hw_physet.cFAIL900.03
stmt23_66_96FAIL900.03
arbiter-10-comp-error01-qbf-hardness-depth-23FAIL900.03
ken.flash^11.C-f3FAIL900.03
k_ph_p-15FAIL900.03
texas.PI_main^08.E-f3FAIL900.03
stmt2_976_999FAIL900.03
network_ndis_coisdn_TpiParam.cFAIL900.03
incrementer-enc06-uniform-depth-24FAIL900.03
reachqu_query71_1344FAIL900.03
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#20.aspFAIL900.03
stmt27_93_98FAIL900.03
adder-10-satFAIL900.03
ken.flash^05.C-d3FAIL900.03
stmt19_64_99FAIL900.04
klieber2017q-082-20-eqFAIL900.04
mult_bool_matrix_17_17_17.unsatFAIL900.04
kmdf_osrusbfx2_exe_testapp.cFAIL900.04
texas.PI_main^05.E-f3FAIL900.04
k_ph_p-13FAIL900.04
filesys_smbmrx_midatlas.cFAIL900.04
stmt17_63_82FAIL900.04
PhaseServiceFAIL900.04
load_full_4_comp3_REAL.unsatFAIL900.04
gttt_1_1_000111_4x4_torus_wFAIL900.04
test4_quant_squaring4FAIL900.04
adder-12-unsatFAIL900.04
ttt_5x5-shape-1-GTTT-2-1-torus-1FAIL900.04
neclaftp4001FAIL900.04
b21_C_3_206FAIL900.04
Q_2-3_v-80-100_r-11.1FAIL900.04
hex_rand_6x6-20m-7FAIL900.04
ttt_5x5-shape-0-GTTT-1-1-torus-1FAIL900.05
small-seq-fixpoint-8FAIL900.05
c4_Debug_s5_f2_e1_v3FAIL900.05
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#20.aspFAIL900.05
c1_BMC_p1_k2048FAIL900.05
ttt_5x5-shape-1-GTTT-1-2-torus-1FAIL900.05
network_ndis_rtlnwifi_hw_hw_ccmp.cFAIL900.05
nusmv.tcas^6.B-f4FAIL900.05
ttt_5x5-shape-1-GTTT-1-1-torus-0FAIL900.05
stmt17_70_90FAIL900.05
eijk.bs4863.S-d4FAIL900.05
hex_rand_6x6-20m-1FAIL900.05
cmu.dme1.B-f3FAIL900.05
klieber2017q-084-21-eqFAIL900.05
c4_Debug_s5_f2_e2_v2FAIL900.05
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#8.aspFAIL900.05
amba4b9y.unsatFAIL900.05
Q_2-3_v-80-100_r-11.9FAIL900.05
filesys_fastfat_allocsup.cFAIL900.05
kernel_agplib_intrface.cFAIL900.05
reachqu_query64_1344nFAIL900.05
IssueServiceImplFAIL900.05
IterationServiceFAIL900.05
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#17.aspFAIL900.06
nusmv.tcas^2.B-f2FAIL900.06
c6_BMC_p1_k2048FAIL900.06
nusmv.tcas^4.B-f3FAIL900.06
eijk.S713.S-f2FAIL900.06
ken.flash^09.C-d4FAIL900.06
small-seq-fixpoint-7FAIL900.06
eijkbs4863FAIL900.06
filesys_smbmrx_cvsndrcv.cFAIL900.06
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#13.aspFAIL900.06
klieber2017q-080-20-eqFAIL900.06
k_ph_p-14FAIL900.06
Q_2-3_v-80-100_r-11.7FAIL900.07
ActivityService2FAIL900.07
Q_2-3_v-80-100_r-11.2FAIL900.07
k_ph_p-11FAIL900.07
b22_PR_8_20FAIL900.07
cycle_sched_4_7_1.unsatFAIL900.07
unit12_2_bFAIL900.07
ttt_5x5-shape-1-GTTT-1-2-torus-0FAIL900.07
gttt_1_1_000111_4x4_torus_bFAIL900.07
k_ph_p-12FAIL900.07
pi-bus-fixpoint-3FAIL900.07
incrementer-enc02-uniform-depth-58FAIL900.07
ActivityServiceFAIL900.07
genbuf9b4n.unsatFAIL900.07
filesys_fastfat_write.cFAIL900.07
gttt_1_1_00101121_4x4_torus_wFAIL900.08
ttt_5x5-shape-0-GTTT-1-1-torus-0FAIL900.08
stmt17_62_98FAIL900.08
add5_REDUCEDFAIL900.08
klieber2017q-076-19-eqFAIL900.08
stmt17_86_98FAIL900.08
test1_quant_squaring3FAIL900.08
Q_2-3_v-80-100_r-11.6FAIL900.08
c2_Debug_s3_f2_e1_v3FAIL900.08
query42_query06_1344nFAIL900.08
klieber2017q-096-24-t1FAIL900.08
klieber2017q-096-24-eqFAIL900.08
reachqu_query64_1344FAIL900.08
c1_Debug_s5_f1_e1_v2FAIL900.08
cycle_sched_6_7_1.unsatFAIL900.09
klieber2017q-086-21-t1FAIL900.09
small-seq-fixpoint-9FAIL900.09
b22_PR_9_90FAIL900.09
b14_PR_1_50FAIL900.09
stmt1_79_80FAIL900.09
klieber2017q-088-22-eqFAIL900.09
klieber2017q-084-21-t1FAIL900.09
ceiling128FAIL900.09
klieber2017q-078-19-eqFAIL900.09
audio_ddksynth_csynth2.cppFAIL900.09
mult_bool_matrix_10_9_11.unsatFAIL900.09
hex_rand_6x6-20m-5FAIL900.09
arbiter-10-comp-error01-qbf-hardness-depth-24FAIL900.09
adder-14-satFAIL900.09
hex_rand_6x6-20m-2FAIL900.1
input_mouser_detect.cFAIL900.1
sortnetsort10.v.stepl.005FAIL900.1
query10_query36_1344FAIL900.1
ken.oop^2.C-d4FAIL900.13