Instances solved by rareqs
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
halfadder_match2.unsatUNSAT0
equalization32SAT0
halfadder_match2.satSAT0
s00400_PR_9_90UNSAT0
small-bug1-fixpoint-7SAT0
mvs16y.satSAT0.01
kenflashp12SAT0.01
floor256SAT0.01
decomposition256SAT0.01
pdtpmsmiimSAT0.02
lights3_021_1_022SAT0.02
ceiling128SAT0.02
rankfunc60_signed_32SAT0.03
tlc05-nonuniform-depth-6UNSAT0.03
driver_d9y.satSAT0.04
driver_d9y.unsatUNSAT0.04
small-synabs-fixpoint-3UNSAT0.05
tlc04-nonuniform-depth-8UNSAT0.05
cf_4_7x4_d_UNSAT0.05
cf_6_6x6_w_UNSAT0.05
small-dyn-partition-fixpoint-8UNSAT0.05
stay24n.unsatUNSAT0.08
rankfunc35_signed_32SAT0.09
ltl2dba_C2-6_comp3_REAL.unsatUNSAT0.1
incrementer-enc03-nonuniform-depth-5UNSAT0.1
driver_a9n.unsatUNSAT0.11
cnt16SAT0.12
mvs16y.unsatUNSAT0.13
eijkbs4863SAT0.15
ltl2dba_C2-6_comp3_REAL.satSAT0.19
driver_a9n.satSAT0.19
cf_8_8x8_d_UNSAT0.2
fpu-10Xh-correct02-nonuniform-depth-2UNSAT0.21
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.21
filesys_smbmrx_midatlas.cUNSAT0.23
tlc03-nonuniform-depth-19UNSAT0.24
dungeon_i20-m100-u4-v0.pddl_planlen=6SAT0.25
mult_bool_matrix_10_9_11.satSAT0.25
cf_8_9x8_d_UNSAT0.28
fpu-10Xh-correct04-uniform-depth-3UNSAT0.29
fpu-10Xh-correct03-uniform-depth-3UNSAT0.29
fpu-01Xh-error02-nonuniform-depth-3UNSAT0.29
stay24n.satSAT0.33
pipesnotankage04_5UNSAT0.34
Adder2-8-cUNSAT0.38
query03_query25_1344UNSAT0.4
add4_REDUCEDSAT0.42
s05378_PR_9_75UNSAT0.43
unit9_2_bSAT0.45
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.45
itc-b13-fixpoint-5SAT0.47
s09234_PR_9_5SAT0.47
ltl2dpa_C26_comp2_REAL.unsatUNSAT0.5
gttt_1_1_001020_3x3_torus_bUNSAT0.55
fpu-10Xe-correct02-nonuniform-depth-6UNSAT0.56
arbiter-05-comp-error01-qbf-hardness-depth-8UNSAT0.56
tlc04-nonuniform-depth-27UNSAT0.59
tlc01-nonuniform-depth-63UNSAT0.63
cf_5_9x9_d_UNSAT0.63
k_branch_p-16UNSAT0.64
incrementer-enc06-nonuniform-depth-10UNSAT0.65
fpu-01Xh-error02-nonuniform-depth-7UNSAT0.67
network_trans_sys_notify.cUNSAT0.67
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-007UNSAT0.69
driverlog10_6UNSAT0.71
fpu-10Xh-correct02-nonuniform-depth-8UNSAT0.77
filesys_smbmrx_cvsndrcv.cUNSAT0.77
fpu-01Xh-error02-uniform-depth-8UNSAT0.77
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-010UNSAT0.8
dungeon_i30-m30-u5-v0.pddl_planlen=4UNSAT0.83
ev-pr-4x4-17-3-0-0-1-lgSAT0.84
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-007UNSAT0.86
fpu-10Xh-correct03-uniform-depth-10UNSAT0.94
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-007UNSAT1.05
tlc03-nonuniform-depth-67UNSAT1.07
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-008UNSAT1.09
C432.blif_0.10_0.20_0_0_out_exactUNSAT1.18
ltl2dpa_C26_comp2_REAL.satSAT1.18
ev-pr-4x4-9-3-0-0-1-sSAT1.21
fpu-01Xh-error02-nonuniform-depth-13UNSAT1.21
fpu-10Xh-correct04-nonuniform-depth-13UNSAT1.21
fpu-10Xh-correct02-uniform-depth-13UNSAT1.22
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009UNSAT1.26
dungeon_i10-m10-u10-v0.pddl_planlen=166UNSAT1.28
fpu-10Xh-correct03-uniform-depth-14UNSAT1.3
incrementer-enc08-nonuniform-depth-24UNSAT1.33
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-009UNSAT1.34
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.4
dungeon_i30-m30-u5-v0.pddl_planlen=8UNSAT1.4
sortnetsort8.v.stepl.007SAT1.41
incrementer-enc08-uniform-depth-33SAT1.45
incrementer-enc07-uniform-depth-25UNSAT1.46
C432.blif_0.10_0.20_0_1_out_exactUNSAT1.48
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-008UNSAT1.53
tlc02-nonuniform-depth-73UNSAT1.53
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009UNSAT1.53
fpu-01Xh-error02-uniform-depth-18UNSAT1.62
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-010UNSAT1.62
dungeon_i30-m30-u5-v0.pddl_planlen=9UNSAT1.64
incrementer-enc06-uniform-depth-24UNSAT1.66
fpu-10Xe-correct02-nonuniform-depth-16UNSAT1.67
amba2f9n.unsatUNSAT1.68
Adder2-16-cUNSAT1.7
tlc04-nonuniform-depth-64UNSAT1.78
tlc05-nonuniform-depth-73UNSAT1.83
load_3c_comp_comp7_REAL.unsatUNSAT1.85
fpu-01Xh-error02-nonuniform-depth-22UNSAT1.93
fpu-10Xh-correct03-nonuniform-depth-22UNSAT1.94
k_branch_p-10UNSAT1.96
incrementer-enc05-nonuniform-depth-22UNSAT2.03
s15850_PR_0_50SAT2.09
fpu-10Xh-correct04-uniform-depth-24UNSAT2.1
fpu-10Xe-correct02-uniform-depth-20UNSAT2.11
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-010UNSAT2.14
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-008UNSAT2.22
b15_PR_4_2SAT2.23
usb-phy-fixpoint-3UNSAT2.23
b17_PR_0_90UNSAT2.27
incrementer-enc04-nonuniform-depth-17SAT2.28
fpu-10Xh-correct03-nonuniform-depth-26UNSAT2.3
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-008UNSAT2.32
query21_query58_1344nUNSAT2.4
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-009UNSAT2.57
incrementer-enc02-uniform-depth-58UNSAT2.81
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-009UNSAT2.93
cnt08eSAT2.96
add4_COMPLETESAT3.01
incrementer-enc02-uniform-depth-63UNSAT3.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-009UNSAT3.23
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.28
cube_c11_par---13_UNSAT3.34
emptyroom_e4_par---21_UNSAT3.66
k_branch_p-11UNSAT3.71
add4_CHOOSESAT4.17
oski3ub5i_c0to255.unsatUNSAT4.17
s641_d6_sSAT4.42
C6288.blif_0.10_1.00_0_1_inp_exactSAT4.42
add5_REDUCEDSAT4.54
b18_PR_4_2SAT4.93
incrementer-enc02-nonuniform-depth-58UNSAT5.15
tlc02-uniform-depth-151UNSAT5.26
C5315.blif_0.10_1.00_0_0_out_exactUNSAT5.32
depots07_8UNSAT5.39
incrementer-enc02-nonuniform-depth-59UNSAT5.42
incrementer-enc02-nonuniform-depth-60UNSAT5.53
driverlog12_7UNSAT5.65
c3_BMC_p1_k256SAT5.85
sortnetsort9.v.stepl.005UNSAT5.95
depots03_9UNSAT6.33
c5_BMC_p1_k32SAT7.06
beemldelec4b1_c0to127.unsatUNSAT7.87
k_branch_p-12UNSAT7.89
cycle_sched_4_7_1.satSAT9.22
driverlog13_6UNSAT9.27
c1_BMC_p2_k1024UNSAT13.68
query31_reachqu_1344nSAT13.82
s298_d17_sSAT15.47
small-seq-fixpoint-3UNSAT17.84
k_branch_p-14UNSAT19.01
szymanski-20-sUNSAT22.47
c2_BMC_p1_k2048SAT23.64
emptyroom_e3_ser---19_UNSAT25.2
c1_BMC_p2_k2048UNSAT25.53
cycle_sched_6_7_1.satSAT26.35
arbiter-06-comp-error01-qbf-hardness-depth-11UNSAT27.1
load_full_4_comp3_REAL.unsatUNSAT30.41
sortnetsort9.v.stepl.007SAT30.49
genbuf9b4n.unsatUNSAT33.48
query42_query06_1344nUNSAT34.28
pipesnotankage11_8UNSAT34.51
depots08_6UNSAT36.1
sortnetsort9.AE.stepl.009UNSAT39.67
s1269_d5_sSAT40.49
s641_d7_uUNSAT40.7
k5_2_3SAT41.42
pipesnotankage13_5UNSAT47.17
amba2f9n.satSAT47.35
sortnetsort9.AE.stepl.012UNSAT54.28
cf_2_9x6_r_SAT56.8
neclaftp4001UNSAT58.33
k_branch_n-10SAT58.42
stmt19_83_412UNSAT59.17
ring_r7_ser---19_UNSAT61.39
s499_d19_sSAT63.53
szymanski-24-sUNSAT63.57
s3330_d4_sSAT65.83
genbuf10b4n.unsatUNSAT67.51
depots16_5UNSAT71.67
gttt_2_1_00102030_4x4_torus_bUNSAT73.17
c1_BMC_p1_k2048SAT80.32
depots13_9SAT83.02
C880.blif_0.10_1.00_0_0_inp_exactUNSAT84.21
s820_d10_sSAT101.78
stmt41_160_235UNSAT105.32
query10_query36_1344SAT112.6
add5_COMPLETESAT118.26
sortnetsort10.v.stepl.005UNSAT119.59
freecell02_4UNSAT125.52
add6_REDUCEDSAT128.23
amba4b9y.unsatUNSAT136.86
pipesnotankage15_10UNSAT139.61
pipesnotankage16_10UNSAT142.46
pipesnotankage14_10UNSAT161.62
ii8d1-00SAT170.48
s298_d25_uUNSAT172.11
gttt_2_1_001020_4x4_torus_wUNSAT175.5
c1_Debug_s3_f2_e1_v2SAT176.09
kmdf_pcidrv_sys_hw_physet.cSAT182.69
s713_d7_uUNSAT187.5
emptyroom_e4_ser--opt-44_SAT201.17
freecell02_6UNSAT207.35
pipesnotankage17_5UNSAT207.87
pipesnotankage17_7UNSAT216.59
pipesnotankage17_6UNSAT220.13
s713_d11_uUNSAT226.77
arbiter-06-comp-error01-qbf-hardness-depth-15UNSAT270.44
add5_CHOOSESAT270.72
arbiter-09-comp-error01-qbf-hardness-depth-15UNSAT270.92
freecell03_5UNSAT288.29
freecell03_6UNSAT288.56
c2_Debug_s3_f2_e1_v3SAT299.78
ActivityService2UNSAT316.47
Adder2-8-sSAT319.58
s820_d15_uUNSAT323.3
k5_3_2SAT355.85
cycle_sched_4_7_1.unsatUNSAT356.82
freecell03_7SAT380.37
dungeon_i15-m7-u4-v0.pddl_planlen=81UNSAT381.59
gttt_2_1_00011020_4x4_bUNSAT392.86
s1196_d5_uUNSAT433.15
pipesnotankage19_7UNSAT459.81
pipesnotankage18_8UNSAT466.74
k_branch_n-11SAT469.72
pipesnotankage18_7UNSAT476.23
add6_COMPLETESAT480.97
ev-pr-6x6-11-5-0-1-2-lgUNSAT522.6
s499_d25_uUNSAT550.64
c1_Debug_s5_f1_e1_v2SAT559.85
depots09_12UNSAT587.02
s1196_d7_uUNSAT605.99
depots09_11UNSAT607.61
c1_Debug_s3_f2_e1_v1SAT642.36
dungeon_i15-m7-u4-v0.pddl_planlen=168UNSAT736.34
depots09_13UNSAT817.09
pipesnotankage19_9UNSAT881.23
test4_quant_squaring2FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=81FAIL900
connect_9x8_3_RFAIL900
C880.blif_0.10_0.20_0_0_out_exactFAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=86FAIL900
ev-pr-4x4-15-3-0-0-1-sFAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=92FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=98FAIL900
ev-pr-4x4-5-3-0-0-1-sFAIL900
test4_quant_squaring4FAIL900
ev-pr-8x8-15-7-0-1-2-lgFAIL900
gttt_1_1_000111_4x4_torus_bFAIL900
k_branch_n-12FAIL900
mult_bool_matrix_10_9_11.unsatFAIL900
ev-pr-6x6-5-5-0-1-2-sFAIL900
ev-pr-6x6-19-5-0-1-2-sFAIL900
k_branch_n-21FAIL900
mult_bool_matrix_17_17_17.satFAIL900
mult_bool_matrix_17_17_17.unsatFAIL900
C880.blif_0.10_0.20_0_1_out_exactFAIL900
C6288.blif_0.10_0.20_0_0_out_exactFAIL900
ev-pr-6x6-11-5-0-1-2-sFAIL900
C6288.blif_0.10_1.00_0_0_inp_exactFAIL900
C5315.blif_0.10_0.20_0_1_out_exactFAIL900
test5_quant_squaring5FAIL900
adder-12-satFAIL900
add6_CHOOSEFAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=59FAIL900
connect_8x7_6_RFAIL900
add7_REDUCEDFAIL900
adder-14-satFAIL900
C5315.blif_0.10_0.20_0_0_inp_exactFAIL900
add7_CHOOSEFAIL900
add7_COMPLETEFAIL900
gttt_1_1_00101121_4x4_torus_wFAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=65FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=170FAIL900
dungeon_i25-m12-u3-v0.pddl_planlen=72FAIL900
dungeon_i25-m12-u3-v0.pddl_planlen=190FAIL900
dungeon_i25-m12-u3-v0.pddl_planlen=165FAIL900
dungeon_i25-m12-u3-v0.pddl_planlen=130FAIL900
counter_re_32FAIL900
adder-10-satFAIL900
test1_quant_squaring2FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=200FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=199FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=198FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=197FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=143FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=128FAIL900
ev-pr-8x8-11-7-0-1-2-lgFAIL900
dungeon_i25-m12-u3-v0.pddl_planlen=125FAIL900
adder-12-unsatFAIL900
dungeon_i25-m12-u3-v0.pddl_planlen=146FAIL900
s1196_1_5FAIL900
query44_query26_1344nFAIL900
Adder2-10-sFAIL900
ev-pr-6x6-15-5-0-1-2-sFAIL900
C499.blif_0.10_0.20_0_0_out_exactFAIL900
ev-pr-6x6-13-5-0-1-2-sFAIL900
genbuf10b4n.satFAIL900
ev-pr-4x4-7-3-0-0-1-sFAIL900
LoginService2FAIL900
oski3ub5i_c0to255.satFAIL900
C880.blif_0.10_1.00_0_0_out_exactFAIL900
connect_8x7_4_RFAIL900
ev-pr-6x6-9-5-0-1-2-sFAIL900
ev-pr-4x4-17-3-0-0-1-sFAIL900
load_3c_comp_comp7_REAL.satFAIL900
ev-pr-4x4-13-3-0-0-1-sFAIL900
connect_8x7_5_RFAIL900
k_branch_n-20FAIL900
bobsmfpuFAIL900
intermediate128FAIL900
test2_quant_squaring3FAIL900
ProcessBeanFAIL900
ProjectService3FAIL900
s1269_d10_sFAIL900
C880.blif_0.10_0.20_0_1_inp_exactFAIL900
connect_7x6_4_RFAIL900
ev-pr-8x8-19-7-0-1-2-lgFAIL900
cycle_sched_6_7_1.unsatFAIL900
C5315.blif_0.10_0.20_0_1_inp_exactFAIL900
genbuf9b4n.satFAIL900
C6288.blif_0.10_0.20_0_0_inp_exactFAIL900
C6288.blif_0.10_0.20_0_1_out_exactFAIL900
beemldelec4b1_c0to127.satFAIL900
amba4b9y.satFAIL900
uclid-pipe2FAIL900
uclid-pipe3aFAIL900
UserServiceImplFAIL900
ev-pr-6x6-15-5-0-1-2-lgFAIL900
connect_9x8_6_RFAIL900
b14_PR_1_50FAIL900
C5315.blif_0.10_0.20_0_0_out_exactFAIL900
test1_quant_squaring3FAIL900
ev-pr-6x6-19-5-0-1-2-lgFAIL900
k_branch_p-21FAIL900
Adder2-16-sFAIL900
ev-pr-4x4-11-3-0-0-1-sFAIL900
arbiter-10-comp-error01-qbf-hardness-depth-24FAIL900
arbiter-10-comp-error01-qbf-hardness-depth-23FAIL900
arbiter-09-comp-error01-qbf-hardness-depth-21FAIL900
C6288.blif_0.10_1.00_0_0_out_exactFAIL900
C880.blif_0.10_0.20_0_0_inp_exactFAIL900
counter_64FAIL900
ev-pr-8x8-13-7-0-1-2-lgFAIL900
k_ph_p-12FAIL900
Adder2-14-sFAIL900
s3330_d10_uFAIL900
C499.blif_0.10_0.20_0_1_out_exactFAIL900
test3_quant_squaring4FAIL900
unit8_2_bFAIL900
unit6_3_bFAIL900
unit12_2_bFAIL900
unit11_3_bFAIL900
s38584_3_238FAIL900
test2_quant3FAIL900
test2_quant_squaring2FAIL900
k_ph_p-20FAIL900
gttt_1_1_000111_4x4_torus_wFAIL900
load_full_4_comp3_REAL.satFAIL900
C6288.blif_0.10_0.20_0_1_inp_exactFAIL900
ev-pr-6x6-17-5-0-1-2-sFAIL900
ev-pr-6x6-13-5-0-1-2-lgFAIL900
AR-fixpoint-5FAIL900
c2_Debug_s3_f1_e1_v2FAIL900
s510_d41_sFAIL900
s510_d36_sFAIL900
k6_2_3FAIL900
k8_4_3FAIL900
k14_2_3FAIL900
k14_4_4FAIL900
k8_3_2FAIL900
k7_2_2FAIL900
k7_4_4FAIL900
k8_2_3FAIL900
k10_4_3FAIL900
k12_3_2FAIL900
k8_3_4FAIL900
k12_4_2FAIL900
stmt32_329_378FAIL900
c3_Debug_s3_f2_e2_v2FAIL900
Core1108_tbm_21.tex.module.000008FAIL900
Core1108_tbm_21.tex.module.000030FAIL900
cache-coherence-2-fixpoint-4FAIL900
pi-bus-fixpoint-1FAIL900
sdlx-fixpoint-3FAIL900
small-equiv-fixpoint-9FAIL900
AR-fixpoint-3FAIL900
pi-bus-fixpoint-3FAIL900
cache-coherence-2-fixpoint-6FAIL900
cache-coherence-3-fixpoint-3FAIL900
texas.PI_main^08.E-f3FAIL900
small-pipeline-fixpoint-6FAIL900
small-seq-fixpoint-7FAIL900
small-equiv-fixpoint-6FAIL900
small-seq-fixpoint-8FAIL900
c1_Debug_s3_f1_e1_v1FAIL900
AR-fixpoint-9FAIL900
small-seq-fixpoint-9FAIL900
Umbrella_tbm_05.tex.module.000039FAIL900
stmt21_181_369FAIL900
stmt21_310_360FAIL900
c5_BMC_p2_k64FAIL900
c5_BMC_p2_k512FAIL900
c5_BMC_p2_k256FAIL900
c5_BMC_p2_k128FAIL900
c5_BMC_p2_k1024FAIL900
c5_BMC_p1_k64FAIL900
c4_Debug_s3_f1_e1_v2FAIL900
c5_BMC_p1_k128FAIL900
c4_Debug_s3_f1_e2_v2FAIL900
c4_Debug_s3_f1_e2_v3FAIL900
c4_Debug_s3_f2_e2_v2FAIL900
c4_Debug_s3_f2_e2_v3FAIL900
c4_Debug_s5_f2_e2_v1FAIL900
ring_r7_ser--opt-20_FAIL900
blocks_enc_2_b4_ser--opt-26_FAIL900
ring_r6_ser--opt-17_FAIL900
cube_c11_ser--opt-42_FAIL900
f600-00FAIL900
f600-50FAIL900
c3_Debug_s3_f2_e2_v3FAIL900
stmt19_313_412FAIL900
stmt21_319_418FAIL900
stmt39_285_335FAIL900
stmt29_226_376FAIL900
stmt17_86_98FAIL900
stmt17_63_82FAIL900
stmt17_70_90FAIL900
stmt23_66_96FAIL900
stmt17_82_98FAIL900
stmt28_68_81FAIL900
stmt23_72_76FAIL900
stmt17_70_98FAIL900
stmt17_62_98FAIL900
stmt19_64_99FAIL900
ssa7552-158-00FAIL900
ii8d1-90FAIL900
cube_c7_ser---23_FAIL900
AR-fixpoint-7FAIL900
b22_PR_8_20FAIL900
k_ph_p-14FAIL900
k_ph_p-15FAIL900
k_ph_p-11FAIL900
cnt16rFAIL900
cf_3_9x6_r_FAIL900
cf_4_9x9_r_FAIL900
cf_5_5x6_r_FAIL900
cf_6_9x7_r_FAIL900
cf_7_8x7_r_FAIL900
cf_7_8x8_r_FAIL900
ev-pr-6x6-17-5-0-1-2-lgFAIL900
cmu.gigamax.B-d4FAIL900
eijk.bs3330.S-d3FAIL900
eijk.bs4863.S-d4FAIL900
ken.flash^05.C-d3FAIL900
ken.flash^08.C-d4FAIL900
ken.flash^09.C-d4FAIL900
k_ph_p-13FAIL900
k_ph_p-19FAIL900
b22_C_2_12FAIL900
b21_C_3_206FAIL900
b20_PR_7_20FAIL900
b20_C_3_2FAIL900
arbiter-10-comp-error01-qbf-hardness-depth-22FAIL900
arbiter-08-comp-error02-qbf-hardness-depth-9FAIL900
arbiter-07-comp-error01-qbf-hardness-depth-20FAIL900
ev-pr-8x8-17-7-0-1-2-lgFAIL900
uclid-pipe3bFAIL900
k_ph_p-21FAIL900
C499.blif_0.10_0.20_0_0_inp_exactFAIL900
ev-pr-6x6-7-5-0-1-2-sFAIL900
k_branch_n-17FAIL900
k_branch_p-18FAIL900
k_branch_p-19FAIL900
k_ph_p-17FAIL900
k_ph_p-18FAIL900
ken.oop^2.C-d3FAIL900
ken.oop^2.C-d4FAIL900
nusmv.tcas^2.B-f2FAIL900
input_pnpi8042_moudep.cFAIL900
filesys_cdfs_allocsup.cFAIL900
filesys_cdfs_namesup.cFAIL900
network_ndis_rtlnwifi_hw_hw_ccmp.cFAIL900
nusmv.tcas^3.B-f2FAIL900
AVStream_hwsim.cppFAIL900
filesys_fastfat_easup.cFAIL900
network_irda_miniport_nscirda_settings.cFAIL900
hid_firefly_app_firefly.cppFAIL900
audio_ac97_wavepcistream.cppFAIL900
small-seq-fixpoint-5FAIL900
nusmv.tcas^4.B-f3FAIL900
nusmv.tcas^6.B-f4FAIL900
texas.PI_main^05.E-f3FAIL900
small-pipeline-fixpoint-7FAIL900
small-equiv-fixpoint-10FAIL900
hid_hclient_ecdisp.cFAIL900
ken.flash^11.C-f3FAIL900
nusmv.reactor^3.C-d4FAIL900
nusmv.tcas-t^1.B-d2FAIL900
cmu.dme1.B-f3FAIL900
cmu.dme2.B-f3FAIL900
eijk.bs1512.S-f4FAIL900
eijk.bs3384.S-f4FAIL900
eijk.S1196.S-f2FAIL900
eijk.S713.S-f2FAIL900
input_mouser_cseries.cFAIL900
kernel_agplib_intrface.cFAIL900
audio_ddksynth_csynth2.cppFAIL900
kmdf_AMCC5933_sys_S5933DK1.cFAIL900
network_ndis_rtlnwifi_extsta_st_misc.cFAIL900
network_usbnwifi_mp_util.cFAIL900
input_mouser_detect.cFAIL900
network_ndis_coisdn_TpiParam.cFAIL900
network_irda_miniport_nscirda_comm.cFAIL900
AR-fixpoint-1FAIL900