Instances solved by caqe_2017_v2
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
s00400_PR_9_90UNSAT0
small-bug1-fixpoint-7SAT0.01
halfadder_match2.satSAT0.01
halfadder_match2.unsatUNSAT0.01
mvs16y.unsatUNSAT0.01
mvs16y.satSAT0.01
rankfunc60_signed_32SAT0.02
floor256SAT0.02
equalization32SAT0.02
tlc05-nonuniform-depth-6UNSAT0.03
cf_4_7x4_d_UNSAT0.05
tlc04-nonuniform-depth-8UNSAT0.05
ltl2dba_C2-6_comp3_REAL.unsatUNSAT0.05
cf_6_6x6_w_UNSAT0.06
lights3_021_1_022SAT0.07
driver_d9y.unsatUNSAT0.07
driver_d9y.satSAT0.11
decomposition256SAT0.11
nusmv.tcas-t^1.B-d2SAT0.13
small-dyn-partition-fixpoint-8UNSAT0.14
small-synabs-fixpoint-3UNSAT0.17
cf_8_8x8_d_UNSAT0.17
incrementer-enc03-nonuniform-depth-5UNSAT0.19
tlc03-nonuniform-depth-19UNSAT0.19
cf_8_9x8_d_UNSAT0.23
driver_a9n.unsatUNSAT0.24
stmt29_226_376UNSAT0.26
stmt21_181_369UNSAT0.27
stmt19_83_412UNSAT0.28
C5315.blif_0.10_1.00_0_0_out_exactUNSAT0.3
stmt41_160_235UNSAT0.31
ltl2dpa_C26_comp2_REAL.unsatUNSAT0.32
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.37
fpu-10Xh-correct02-nonuniform-depth-2UNSAT0.38
tlc04-nonuniform-depth-27UNSAT0.39
s09234_PR_9_5SAT0.41
eijk.bs3330.S-d3SAT0.41
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.42
stay24n.unsatUNSAT0.43
incrementer-enc06-nonuniform-depth-10UNSAT0.45
Adder2-8-sSAT0.47
tlc01-nonuniform-depth-63UNSAT0.47
fpu-10Xh-correct04-uniform-depth-3UNSAT0.49
fpu-10Xh-correct03-uniform-depth-3UNSAT0.49
fpu-01Xh-error02-nonuniform-depth-3UNSAT0.49
query03_query25_1344UNSAT0.5
cf_5_9x9_d_UNSAT0.52
C432.blif_0.10_0.20_0_0_out_exactUNSAT0.64
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
C432.blif_0.10_0.20_0_1_out_exactUNSAT0.79
cmu.dme1.B-f3SAT0.8
beemldelec4b1_c0to127.unsatUNSAT0.8
cmu.gigamax.B-d4SAT0.87
dungeon_i20-m100-u4-v0.pddl_planlen=6SAT0.89
cmu.dme2.B-f3SAT1
Adder2-10-sSAT1.01
k_branch_p-10UNSAT1.02
fpu-10Xe-correct02-nonuniform-depth-6UNSAT1.02
add4_REDUCEDSAT1.14
fpu-01Xh-error02-nonuniform-depth-7UNSAT1.21
s05378_PR_9_75UNSAT1.25
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.25
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-007UNSAT1.25
k_branch_p-11UNSAT1.31
fpu-10Xh-correct02-nonuniform-depth-8UNSAT1.38
fpu-01Xh-error02-uniform-depth-8UNSAT1.39
C6288.blif_0.10_1.00_0_1_inp_exactSAT1.43
k_branch_p-12UNSAT1.49
neclaftp4001UNSAT1.56
fpu-10Xh-correct03-uniform-depth-10UNSAT1.66
b20_PR_7_20SAT1.75
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-008UNSAT1.88
tlc04-nonuniform-depth-64UNSAT1.89
itc-b13-fixpoint-5SAT1.97
fpu-01Xh-error02-nonuniform-depth-13UNSAT1.99
incrementer-enc08-nonuniform-depth-24UNSAT2.01
nusmv.reactor^3.C-d4SAT2.02
arbiter-05-comp-error01-qbf-hardness-depth-8UNSAT2.04
incrementer-enc05-nonuniform-depth-22UNSAT2.1
fpu-10Xh-correct04-nonuniform-depth-13UNSAT2.11
fpu-10Xh-correct02-uniform-depth-13UNSAT2.13
ltl2dba_C2-6_comp3_REAL.satSAT2.21
tlc05-nonuniform-depth-73UNSAT2.23
fpu-10Xh-correct03-uniform-depth-14UNSAT2.24
k_branch_p-14UNSAT2.26
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-007UNSAT2.32
tlc03-nonuniform-depth-67UNSAT2.5
filesys_smbmrx_midatlas.cUNSAT2.57
k_branch_n-10SAT2.62
gttt_1_1_001020_3x3_torus_bUNSAT2.67
fpu-10Xe-correct02-nonuniform-depth-16UNSAT2.7
sortnetsort8.v.stepl.007SAT2.7
kmdf_pcidrv_sys_hw_physet.cSAT2.78
fpu-01Xh-error02-uniform-depth-18UNSAT2.82
rankfunc35_signed_32SAT2.9
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-008UNSAT3.07
fpu-01Xh-error02-nonuniform-depth-22UNSAT3.15
b15_PR_4_2SAT3.21
fpu-10Xh-correct03-nonuniform-depth-22UNSAT3.22
incrementer-enc07-uniform-depth-25UNSAT3.23
s15850_PR_0_50SAT3.25
amba2f9n.unsatUNSAT3.31
b17_PR_0_90UNSAT3.34
Adder2-14-sSAT3.38
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-010UNSAT3.45
mult_bool_matrix_10_9_11.satSAT3.5
fpu-10Xe-correct02-uniform-depth-20UNSAT3.54
fpu-10Xh-correct03-nonuniform-depth-26UNSAT3.67
fpu-10Xh-correct04-uniform-depth-24UNSAT3.83
stmt19_313_412UNSAT3.9
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-007UNSAT3.92
dungeon_i30-m30-u5-v0.pddl_planlen=4UNSAT4.28
C5315.blif_0.10_0.20_0_1_inp_exactSAT4.45
texas.PI_main^08.E-f3SAT4.55
k_branch_p-16UNSAT4.78
k_branch_n-11SAT4.83
incrementer-enc08-uniform-depth-33SAT4.91
tlc02-nonuniform-depth-73UNSAT5.21
Adder2-16-sSAT5.44
incrementer-enc06-uniform-depth-24UNSAT5.48
incrementer-enc04-nonuniform-depth-17SAT5.72
dungeon_i30-m30-u5-v0.pddl_planlen=8UNSAT6.09
incrementer-enc02-nonuniform-depth-59UNSAT6.1
k_branch_p-18UNSAT6.12
incrementer-enc02-nonuniform-depth-60UNSAT6.32
load_3c_comp_comp7_REAL.unsatUNSAT6.44
incrementer-enc02-nonuniform-depth-58UNSAT6.54
dungeon_i30-m30-u5-v0.pddl_planlen=9UNSAT6.82
nusmv.tcas^2.B-f2SAT6.98
small-seq-fixpoint-3UNSAT7.28
input_mouser_detect.cSAT7.34
pipesnotankage04_5UNSAT7.42
filesys_smbmrx_cvsndrcv.cUNSAT7.47
nusmv.tcas^3.B-f2SAT7.48
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-010UNSAT7.61
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-010UNSAT8.34
k_branch_n-12SAT8.38
b18_PR_4_2SAT8.45
C880.blif_0.10_1.00_0_0_out_exactUNSAT8.46
driverlog10_6UNSAT8.63
incrementer-enc02-uniform-depth-63UNSAT8.63
C880.blif_0.10_1.00_0_0_inp_exactUNSAT9.05
stmt39_285_335UNSAT9.79
incrementer-enc02-uniform-depth-58UNSAT9.81
texas.PI_main^05.E-f3SAT10.25
network_trans_sys_notify.cUNSAT12.17
Core1108_tbm_21.tex.module.000030SAT12.45
Core1108_tbm_21.tex.module.000008SAT12.47
arbiter-06-comp-error01-qbf-hardness-depth-11UNSAT12.81
driverlog12_7UNSAT13.04
dungeon_i25-m12-u3-v0.pddl_planlen=72UNSAT13.35
dungeon_i25-m12-u5-v0.pddl_planlen=59UNSAT13.51
query31_reachqu_1344nSAT13.58
stmt21_310_360UNSAT13.7
stmt21_319_418SAT14.44
dungeon_i15-m7-u4-v0.pddl_planlen=81UNSAT14.46
dungeon_i25-m12-u5-v0.pddl_planlen=65UNSAT14.61
dungeon_i10-m10-u10-v0.pddl_planlen=166UNSAT15.16
k5_3_2SAT15.26
nusmv.tcas^4.B-f3SAT15.88
stmt32_329_378UNSAT17.3
dungeon_i25-m12-u5-v0.pddl_planlen=81UNSAT17.77
driverlog13_6UNSAT18.77
dungeon_i25-m12-u5-v0.pddl_planlen=86UNSAT18.81
depots07_8UNSAT19.35
dungeon_i25-m12-u5-v0.pddl_planlen=92UNSAT19.66
k_branch_p-19UNSAT19.82
depots03_9UNSAT20.23
c5_BMC_p1_k32SAT20.53
dungeon_i25-m12-u3-v0.pddl_planlen=125UNSAT20.6
dungeon_i25-m12-u5-v0.pddl_planlen=98UNSAT20.76
dungeon_i25-m12-u3-v0.pddl_planlen=130UNSAT21.11
add4_COMPLETESAT21.51
genbuf9b4n.unsatUNSAT21.68
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-009UNSAT22.76
Umbrella_tbm_05.tex.module.000039SAT22.95
dungeon_i25-m12-u3-v0.pddl_planlen=146UNSAT23.31
dungeon_i15-m7-u4-v0.pddl_planlen=168UNSAT23.35
cache-coherence-2-fixpoint-4UNSAT23.71
nusmv.tcas^6.B-f4SAT24.02
dungeon_i25-m12-u3-v0.pddl_planlen=165UNSAT25.95
s641_d6_sSAT26.25
pipesnotankage11_8UNSAT26.74
dungeon_i25-m12-u5-v0.pddl_planlen=128UNSAT27.08
ev-pr-4x4-5-3-0-0-1-sSAT27.13
pipesnotankage13_5UNSAT27.15
genbuf10b4n.unsatUNSAT27.26
dungeon_i25-m12-u3-v0.pddl_planlen=190UNSAT29.21
dungeon_i25-m12-u5-v0.pddl_planlen=143UNSAT29.86
cache-coherence-3-fixpoint-3UNSAT30.45
depots16_5UNSAT31.66
tlc02-uniform-depth-151UNSAT32.79
dungeon_i25-m12-u5-v0.pddl_planlen=170UNSAT35.02
emptyroom_e3_ser---19_UNSAT37.17
cf_2_9x6_r_SAT37.38
dungeon_i25-m12-u5-v0.pddl_planlen=199UNSAT38.2
dungeon_i25-m12-u5-v0.pddl_planlen=197UNSAT38.22
dungeon_i25-m12-u5-v0.pddl_planlen=198UNSAT38.71
pi-bus-fixpoint-1UNSAT39.13
dungeon_i25-m12-u5-v0.pddl_planlen=200UNSAT39.58
usb-phy-fixpoint-3UNSAT40.03
depots08_6UNSAT40.21
sortnetsort9.v.stepl.007SAT41.15
add5_REDUCEDSAT41.21
depots13_9SAT45.78
sortnetsort9.AE.stepl.012UNSAT46.38
k_branch_p-21UNSAT50.58
szymanski-20-sUNSAT51.39
cache-coherence-2-fixpoint-6UNSAT57.07
freecell02_4UNSAT58.26
pipesnotankage15_10UNSAT59.44
pipesnotankage16_10UNSAT59.91
s298_d17_sSAT60.46
mult_bool_matrix_17_17_17.satSAT64.22
arbiter-06-comp-error01-qbf-hardness-depth-15UNSAT66.01
s1269_d5_sSAT69.26
c1_BMC_p2_k1024UNSAT69.77
small-seq-fixpoint-5UNSAT72.02
pipesnotankage14_10UNSAT72.35
pipesnotankage17_6UNSAT73.88
pipesnotankage17_5UNSAT74
sortnetsort9.AE.stepl.009UNSAT75.79
amba2f9n.satSAT77.36
pipesnotankage17_7UNSAT83.65
freecell02_6UNSAT85.28
c3_BMC_p1_k256SAT89.05
query21_query58_1344nUNSAT95.05
s820_d10_sSAT95.67
sortnetsort9.v.stepl.005UNSAT100.63
c1_BMC_p2_k2048UNSAT102.86
eijk.bs1512.S-f4SAT103.9
s1196_1_5SAT106.97
cnt08eSAT107.4
s641_d7_uUNSAT108.2
s499_d19_sSAT114.67
amba4b9y.unsatUNSAT115.08
s298_d25_uUNSAT120.71
oski3ub5i_c0to255.unsatUNSAT126.67
beemldelec4b1_c0to127.satSAT129.16
arbiter-09-comp-error01-qbf-hardness-depth-15UNSAT136.59
kernel_agplib_intrface.cSAT148.63
gttt_2_1_00102030_4x4_torus_bUNSAT151.74
s3330_d4_sSAT156.97
cycle_sched_4_7_1.unsatUNSAT161.36
szymanski-24-sUNSAT163.42
freecell03_6UNSAT166.98
ev-pr-4x4-7-3-0-0-1-sSAT176.21
freecell03_5UNSAT182.84
pipesnotankage18_7UNSAT194.65
s713_d7_uUNSAT194.82
pipesnotankage18_8UNSAT195.67
small-seq-fixpoint-7UNSAT197.02
depots09_11UNSAT200.36
depots09_12UNSAT203.58
adder-10-satSAT209.5
freecell03_7SAT214.21
add4_CHOOSESAT218.09
add6_REDUCEDSAT220.38
s499_d25_uUNSAT222.55
ev-pr-6x6-5-5-0-1-2-sUNSAT226.24
pipesnotankage19_7UNSAT231.84
s820_d15_uUNSAT248.17
pipesnotankage19_9UNSAT284.66
arbiter-08-comp-error02-qbf-hardness-depth-9SAT286.91
query10_query36_1344SAT287.4
C499.blif_0.10_0.20_0_0_inp_exactUNSAT288.9
sortnetsort10.v.stepl.005UNSAT320.19
ev-pr-6x6-11-5-0-1-2-lgUNSAT364.31
cf_5_5x6_r_UNSAT367.89
UserServiceImplUNSAT379.41
small-seq-fixpoint-8UNSAT387.5
s713_d11_uUNSAT392.36
audio_ddksynth_csynth2.cppSAT405.17
add5_COMPLETESAT411.09
k_branch_n-17SAT443.1
k_ph_p-11UNSAT450.75
k5_2_3SAT466.84
gttt_2_1_001020_4x4_torus_wUNSAT520.85
ActivityService2UNSAT554.65
C499.blif_0.10_0.20_0_0_out_exactUNSAT627.76
C499.blif_0.10_0.20_0_1_out_exactUNSAT641.63
s1196_d5_uUNSAT644.65
ev-pr-4x4-9-3-0-0-1-sSAT750.88
load_full_4_comp3_REAL.unsatUNSAT753.92
depots09_13UNSAT784.81
k6_2_3SAT882.07
arbiter-10-comp-error01-qbf-hardness-depth-23FAIL900
arbiter-09-comp-error01-qbf-hardness-depth-21FAIL900
gttt_1_1_000111_4x4_torus_wFAIL900
C880.blif_0.10_0.20_0_0_inp_exactFAIL900
b14_PR_1_50FAIL900
counter_64FAIL900
unit11_3_bFAIL900
s38584_3_238FAIL900
arbiter-10-comp-error01-qbf-hardness-depth-24FAIL900
connect_9x8_6_RFAIL900
s3330_d10_uFAIL900
test2_quant3FAIL900
k_ph_p-20FAIL900
C6288.blif_0.10_0.20_0_1_inp_exactFAIL900
k_ph_p-12FAIL900
gttt_1_1_000111_4x4_torus_bFAIL900
C5315.blif_0.10_0.20_0_0_out_exactFAIL900
test1_quant_squaring3FAIL900
ev-pr-4x4-11-3-0-0-1-sFAIL900
ev-pr-4x4-17-3-0-0-1-lgFAIL900
ev-pr-8x8-11-7-0-1-2-lgFAIL900
ev-pr-6x6-15-5-0-1-2-sFAIL900
test1_quant_squaring2FAIL900
C5315.blif_0.10_0.20_0_0_inp_exactFAIL900
ev-pr-6x6-13-5-0-1-2-lgFAIL900
ev-pr-8x8-17-7-0-1-2-lgFAIL900
uclid-pipe3bFAIL900
k_ph_p-21FAIL900
ev-pr-6x6-7-5-0-1-2-sFAIL900
k_ph_p-17FAIL900
k_ph_p-18FAIL900
k_ph_p-19FAIL900
ev-pr-4x4-15-3-0-0-1-sFAIL900
adder-12-unsatFAIL900
test4_quant_squaring2FAIL900
ev-pr-6x6-19-5-0-1-2-sFAIL900
Adder2-8-cFAIL900
k_branch_n-21FAIL900
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
ev-pr-8x8-15-7-0-1-2-lgFAIL900
connect_9x8_3_RFAIL900
C880.blif_0.10_0.20_0_0_out_exactFAIL900
test4_quant_squaring4FAIL900
k_ph_p-13FAIL900
unit12_2_bFAIL900
unit9_2_bFAIL900
ev-pr-6x6-17-5-0-1-2-sFAIL900
ltl2dpa_C26_comp2_REAL.satFAIL900
Adder2-16-cFAIL900
ev-pr-8x8-13-7-0-1-2-lgFAIL900
load_full_4_comp3_REAL.satFAIL900
C6288.blif_0.10_1.00_0_0_out_exactFAIL900
load_3c_comp_comp7_REAL.satFAIL900
ev-pr-6x6-19-5-0-1-2-lgFAIL900
test2_quant_squaring2FAIL900
ev-pr-6x6-9-5-0-1-2-sFAIL900
oski3ub5i_c0to255.satFAIL900
connect_8x7_4_RFAIL900
C6288.blif_0.10_0.20_0_0_inp_exactFAIL900
ev-pr-6x6-13-5-0-1-2-sFAIL900
mult_bool_matrix_10_9_11.unsatFAIL900
C880.blif_0.10_0.20_0_1_out_exactFAIL900
add7_COMPLETEFAIL900
add7_CHOOSEFAIL900
counter_re_32FAIL900
add7_REDUCEDFAIL900
add5_CHOOSEFAIL900
add6_COMPLETEFAIL900
adder-14-satFAIL900
connect_8x7_6_RFAIL900
add6_CHOOSEFAIL900
stay24n.satFAIL900
ev-pr-6x6-11-5-0-1-2-sFAIL900
C6288.blif_0.10_0.20_0_0_out_exactFAIL900
mult_bool_matrix_17_17_17.unsatFAIL900
test2_quant_squaring3FAIL900
genbuf9b4n.satFAIL900
LoginService2FAIL900
pdtpmsmiimFAIL900
ev-pr-4x4-13-3-0-0-1-sFAIL900
kenflashp12FAIL900
eijkbs4863FAIL900
bobsmfpuFAIL900
intermediate128FAIL900
connect_8x7_5_RFAIL900
k_branch_n-20FAIL900
ev-pr-6x6-15-5-0-1-2-lgFAIL900
ceiling128FAIL900
test3_quant_squaring4FAIL900
unit8_2_bFAIL900
ProcessBeanFAIL900
ProjectService3FAIL900
ev-pr-4x4-17-3-0-0-1-sFAIL900
s1269_d10_sFAIL900
genbuf10b4n.satFAIL900
C880.blif_0.10_0.20_0_1_inp_exactFAIL900
connect_7x6_4_RFAIL900
ev-pr-8x8-19-7-0-1-2-lgFAIL900
driver_a9n.satFAIL900
cycle_sched_6_7_1.unsatFAIL900
cycle_sched_6_7_1.satFAIL900
C6288.blif_0.10_0.20_0_1_out_exactFAIL900
cycle_sched_4_7_1.satFAIL900
uclid-pipe2FAIL900
amba4b9y.satFAIL900
uclid-pipe3aFAIL900
unit6_3_bFAIL900
k_ph_p-14FAIL900
c5_BMC_p2_k1024FAIL900
network_usbnwifi_mp_util.cFAIL900
stmt23_72_76FAIL900
network_ndis_coisdn_TpiParam.cFAIL900
network_irda_miniport_nscirda_comm.cFAIL900
stmt28_68_81FAIL900
hid_hclient_ecdisp.cFAIL900
stmt17_82_98FAIL900
input_pnpi8042_moudep.cFAIL900
filesys_cdfs_allocsup.cFAIL900
filesys_cdfs_namesup.cFAIL900
network_ndis_rtlnwifi_hw_hw_ccmp.cFAIL900
stmt23_66_96FAIL900
AVStream_hwsim.cppFAIL900
network_ndis_rtlnwifi_extsta_st_misc.cFAIL900
kmdf_AMCC5933_sys_S5933DK1.cFAIL900
stmt17_70_98FAIL900
cube_c11_par---13_FAIL900
c5_BMC_p2_k128FAIL900
c5_BMC_p2_k256FAIL900
c5_BMC_p2_k512FAIL900
c5_BMC_p2_k64FAIL900
f600-00FAIL900
f600-50FAIL900
ii8d1-00FAIL900
ii8d1-90FAIL900
ssa7552-158-00FAIL900
stmt19_64_99FAIL900
input_mouser_cseries.cFAIL900
stmt17_62_98FAIL900
filesys_fastfat_easup.cFAIL900
network_irda_miniport_nscirda_settings.cFAIL900
hid_firefly_app_firefly.cppFAIL900
k10_4_3FAIL900
k8_2_3FAIL900
k7_4_4FAIL900
small-pipeline-fixpoint-6FAIL900
k7_2_2FAIL900
small-equiv-fixpoint-6FAIL900
k8_3_2FAIL900
k14_4_4FAIL900
AR-fixpoint-9FAIL900
small-seq-fixpoint-9FAIL900
k14_2_3FAIL900
k8_4_3FAIL900
s510_d36_sFAIL900
pi-bus-fixpoint-3FAIL900
AR-fixpoint-3FAIL900
small-equiv-fixpoint-9FAIL900
audio_ac97_wavepcistream.cppFAIL900
stmt17_70_90FAIL900
stmt17_63_82FAIL900
stmt17_86_98FAIL900
k12_4_2FAIL900
small-pipeline-fixpoint-7FAIL900
small-equiv-fixpoint-10FAIL900
AR-fixpoint-1FAIL900
AR-fixpoint-7FAIL900
AR-fixpoint-5FAIL900
k8_3_4FAIL900
k12_3_2FAIL900
sdlx-fixpoint-3FAIL900
s510_d41_sFAIL900
k_ph_p-15FAIL900
ken.flash^09.C-d4FAIL900
ken.oop^2.C-d3FAIL900
ken.oop^2.C-d4FAIL900
eijk.bs3384.S-f4FAIL900
eijk.S1196.S-f2FAIL900
eijk.S713.S-f2FAIL900
ken.flash^11.C-f3FAIL900
b22_PR_8_20FAIL900
b22_C_2_12FAIL900
b21_C_3_206FAIL900
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
b20_C_3_2FAIL900
arbiter-10-comp-error01-qbf-hardness-depth-22FAIL900
ken.flash^08.C-d4FAIL900
gttt_1_1_00101121_4x4_torus_wFAIL900
gttt_2_1_00011020_4x4_bFAIL900
cnt16FAIL900
cnt16rFAIL900
cf_3_9x6_r_FAIL900
cf_4_9x9_r_FAIL900
cf_6_9x7_r_FAIL900
cf_7_8x7_r_FAIL900
query44_query26_1344nFAIL900
query42_query06_1344nFAIL900
cf_7_8x8_r_FAIL900
s1196_d7_uFAIL900
ev-pr-6x6-17-5-0-1-2-lgFAIL900
eijk.bs4863.S-d4FAIL900
ken.flash^05.C-d3FAIL900
arbiter-07-comp-error01-qbf-hardness-depth-20FAIL900
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-008FAIL900
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
c4_Debug_s3_f2_e2_v3FAIL900
c4_Debug_s5_f2_e2_v1FAIL900
blocks_enc_2_b4_ser--opt-26_FAIL900
cube_c11_ser--opt-42_FAIL900
cube_c7_ser---23_FAIL900
emptyroom_e4_par---21_FAIL900
emptyroom_e4_ser--opt-44_FAIL900
ring_r6_ser--opt-17_FAIL900
ring_r7_ser---19_FAIL900
ring_r7_ser--opt-20_FAIL900
c1_BMC_p1_k2048FAIL900
c2_BMC_p1_k2048FAIL900
c5_BMC_p1_k128FAIL900
c4_Debug_s3_f2_e2_v2FAIL900
c4_Debug_s3_f1_e2_v3FAIL900
c4_Debug_s3_f1_e2_v2FAIL900
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009FAIL900
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
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
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009FAIL900
c1_Debug_s3_f1_e1_v1FAIL900
c1_Debug_s3_f2_e1_v1FAIL900
c1_Debug_s3_f2_e1_v2FAIL900
c1_Debug_s5_f1_e1_v2FAIL900
c2_Debug_s3_f1_e1_v2FAIL900
c2_Debug_s3_f2_e1_v3FAIL900
c3_Debug_s3_f2_e2_v2FAIL900
c3_Debug_s3_f2_e2_v3FAIL900
c4_Debug_s3_f1_e1_v2FAIL900
c5_BMC_p1_k64FAIL900