Instances solved by Qute_default
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
halfadder_match2.satSAT0.01
halfadder_match2.unsatUNSAT0.01
small-bug1-fixpoint-7SAT0.01
s00400_PR_9_90UNSAT0.01
mvs16y.unsatUNSAT0.02
mvs16y.satSAT0.02
rankfunc60_signed_32SAT0.02
floor256SAT0.03
equalization32SAT0.03
tlc05-nonuniform-depth-6UNSAT0.04
tlc04-nonuniform-depth-8UNSAT0.06
ltl2dba_C2-6_comp3_REAL.unsatUNSAT0.06
cf_4_7x4_d_UNSAT0.07
cf_6_6x6_w_UNSAT0.08
decomposition256SAT0.12
small-dyn-partition-fixpoint-8UNSAT0.15
pdtpmsmiimSAT0.16
nusmv.tcas-t^1.B-d2SAT0.17
small-synabs-fixpoint-3UNSAT0.17
cf_8_8x8_d_UNSAT0.19
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.19
incrementer-enc03-nonuniform-depth-5UNSAT0.2
tlc03-nonuniform-depth-19UNSAT0.21
test4_quant_squaring2UNSAT0.21
driver_d9y.satSAT0.24
lights3_021_1_022SAT0.25
cf_8_9x8_d_UNSAT0.27
C5315.blif_0.10_1.00_0_0_out_exactUNSAT0.32
ltl2dpa_C26_comp2_REAL.unsatUNSAT0.33
fpu-10Xh-correct02-nonuniform-depth-2UNSAT0.41
tlc04-nonuniform-depth-27UNSAT0.41
eijk.bs3330.S-d3SAT0.42
s09234_PR_9_5SAT0.43
driver_d9y.unsatUNSAT0.44
stay24n.unsatUNSAT0.47
incrementer-enc06-nonuniform-depth-10UNSAT0.47
stmt29_226_376UNSAT0.49
stmt21_181_369UNSAT0.49
tlc01-nonuniform-depth-63UNSAT0.52
stmt19_83_412UNSAT0.53
fpu-01Xh-error02-nonuniform-depth-3UNSAT0.54
fpu-10Xh-correct04-uniform-depth-3UNSAT0.55
fpu-10Xh-correct03-uniform-depth-3UNSAT0.56
cf_5_9x9_d_UNSAT0.58
stmt41_160_235UNSAT0.6
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.66
driver_a9n.unsatUNSAT0.77
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.8
cmu.gigamax.B-d4SAT0.89
beemldelec4b1_c0to127.unsatUNSAT0.89
dungeon_i20-m100-u4-v0.pddl_planlen=6SAT0.9
stay24n.satSAT1.01
fpu-10Xe-correct02-nonuniform-depth-6UNSAT1.16
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
fpu-01Xh-error02-nonuniform-depth-7UNSAT1.37
C6288.blif_0.10_1.00_0_1_inp_exactSAT1.46
fpu-10Xh-correct02-nonuniform-depth-8UNSAT1.53
fpu-01Xh-error02-uniform-depth-8UNSAT1.57
b20_PR_7_20SAT1.77
fpu-10Xh-correct03-uniform-depth-10UNSAT1.87
itc-b13-fixpoint-5SAT1.92
tlc04-nonuniform-depth-64UNSAT1.93
incrementer-enc08-nonuniform-depth-24UNSAT1.99
incrementer-enc05-nonuniform-depth-22UNSAT2.11
tlc05-nonuniform-depth-73UNSAT2.27
fpu-10Xh-correct04-nonuniform-depth-13UNSAT2.27
fpu-01Xh-error02-nonuniform-depth-13UNSAT2.28
stmt39_285_335UNSAT2.29
stmt32_329_378UNSAT2.31
fpu-10Xh-correct02-uniform-depth-13UNSAT2.36
nusmv.reactor^3.C-d4SAT2.47
fpu-10Xh-correct03-uniform-depth-14UNSAT2.52
tlc03-nonuniform-depth-67UNSAT2.55
stmt21_310_360UNSAT2.58
rankfunc35_signed_32SAT2.81
stmt19_313_412UNSAT2.82
fpu-10Xe-correct02-nonuniform-depth-16UNSAT3.03
fpu-01Xh-error02-uniform-depth-18UNSAT3.15
b15_PR_4_2SAT3.28
incrementer-enc07-uniform-depth-25UNSAT3.3
s15850_PR_0_50SAT3.33
b17_PR_0_90UNSAT3.42
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.52
fpu-01Xh-error02-nonuniform-depth-22UNSAT3.59
driver_a9n.satSAT3.61
fpu-10Xh-correct03-nonuniform-depth-22UNSAT3.64
cnt08eSAT3.78
fpu-10Xe-correct02-uniform-depth-20UNSAT3.91
fpu-10Xh-correct04-uniform-depth-24UNSAT4.08
dungeon_i30-m30-u5-v0.pddl_planlen=4UNSAT4.33
fpu-10Xh-correct03-nonuniform-depth-26UNSAT4.95
Adder2-8-cUNSAT5.08
tlc02-nonuniform-depth-73UNSAT5.15
arbiter-05-comp-error01-qbf-hardness-depth-8UNSAT5.49
s05378_PR_9_75UNSAT5.64
dungeon_i30-m30-u5-v0.pddl_planlen=8UNSAT6.2
incrementer-enc02-nonuniform-depth-59UNSAT6.26
incrementer-enc02-nonuniform-depth-60UNSAT6.41
load_3c_comp_comp7_REAL.unsatUNSAT6.44
incrementer-enc02-nonuniform-depth-58UNSAT6.61
dungeon_i30-m30-u5-v0.pddl_planlen=9UNSAT6.75
k_branch_p-10UNSAT6.95
k_branch_n-10SAT7.01
sdlx-fixpoint-3UNSAT7.09
small-seq-fixpoint-3UNSAT7.18
pipesnotankage04_5UNSAT7.63
driverlog10_6UNSAT8.52
incrementer-enc02-uniform-depth-63UNSAT8.74
b18_PR_4_2SAT8.9
cube_c11_par---13_UNSAT11.39
ev-pr-4x4-5-3-0-0-1-sSAT11.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-010UNSAT11.66
ev-pr-4x4-7-3-0-0-1-sSAT12.33
nusmv.tcas^3.B-f2SAT12.42
ev-pr-4x4-9-3-0-0-1-sSAT12.86
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-007UNSAT13.02
usb-phy-fixpoint-3UNSAT13.13
ev-pr-4x4-11-3-0-0-1-sSAT13.3
dungeon_i25-m12-u3-v0.pddl_planlen=72UNSAT13.62
ev-pr-4x4-13-3-0-0-1-sSAT13.68
driverlog12_7UNSAT13.76
k5_2_3SAT13.81
dungeon_i25-m12-u5-v0.pddl_planlen=59UNSAT13.93
ev-pr-4x4-15-3-0-0-1-sSAT14.06
dungeon_i15-m7-u4-v0.pddl_planlen=81UNSAT14.4
C5315.blif_0.10_0.20_0_1_inp_exactSAT14.49
ev-pr-4x4-17-3-0-0-1-sSAT14.6
k_branch_n-11SAT14.92
dungeon_i25-m12-u5-v0.pddl_planlen=65UNSAT14.97
k_branch_p-11UNSAT15.25
dungeon_i10-m10-u10-v0.pddl_planlen=166UNSAT15.43
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-008UNSAT15.72
gttt_1_1_001020_3x3_torus_bUNSAT16.19
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-007UNSAT16.97
stmt21_319_418SAT17.43
dungeon_i25-m12-u5-v0.pddl_planlen=81UNSAT18.24
dungeon_i25-m12-u5-v0.pddl_planlen=86UNSAT19.22
driverlog13_6UNSAT19.34
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009UNSAT19.41
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-009UNSAT19.45
dungeon_i25-m12-u5-v0.pddl_planlen=92UNSAT20.1
dungeon_i25-m12-u3-v0.pddl_planlen=125UNSAT21.2
dungeon_i25-m12-u5-v0.pddl_planlen=98UNSAT21.28
dungeon_i25-m12-u3-v0.pddl_planlen=130UNSAT21.56
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-008UNSAT21.97
arbiter-06-comp-error01-qbf-hardness-depth-11UNSAT22.08
depots07_8UNSAT22.12
k_branch_p-12UNSAT22.38
dungeon_i15-m7-u4-v0.pddl_planlen=168UNSAT23.31
depots03_9UNSAT23.59
dungeon_i25-m12-u3-v0.pddl_planlen=146UNSAT23.85
c5_BMC_p1_k32SAT24.6
k_branch_n-12SAT25.05
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009UNSAT25.61
pipesnotankage13_5UNSAT26.34
dungeon_i25-m12-u3-v0.pddl_planlen=165UNSAT26.69
pipesnotankage11_8UNSAT27.4
dungeon_i25-m12-u5-v0.pddl_planlen=128UNSAT27.78
dungeon_i25-m12-u3-v0.pddl_planlen=190UNSAT30.04
dungeon_i25-m12-u5-v0.pddl_planlen=143UNSAT30.59
s641_d6_sSAT31.26
tlc02-uniform-depth-151UNSAT31.41
depots16_5UNSAT32.92
dungeon_i25-m12-u5-v0.pddl_planlen=170UNSAT36.51
pi-bus-fixpoint-1UNSAT38.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-007UNSAT38.79
dungeon_i25-m12-u5-v0.pddl_planlen=197UNSAT39.48
dungeon_i25-m12-u5-v0.pddl_planlen=199UNSAT39.57
dungeon_i25-m12-u5-v0.pddl_planlen=198UNSAT39.81
cache-coherence-2-fixpoint-4UNSAT40.73
dungeon_i25-m12-u5-v0.pddl_planlen=200UNSAT40.82
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-010UNSAT40.96
depots08_6UNSAT47.66
k_branch_p-14UNSAT48.08
depots13_9SAT49.03
szymanski-20-sUNSAT51.25
freecell02_4UNSAT57.9
s298_d17_sSAT58.99
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-009UNSAT60.57
pipesnotankage15_10UNSAT61
pipesnotankage16_10UNSAT61.35
k_branch_p-16UNSAT66.56
cache-coherence-3-fixpoint-3UNSAT67.39
ev-pr-4x4-17-3-0-0-1-lgSAT69.78
pipesnotankage14_10UNSAT72.29
c1_BMC_p2_k1024UNSAT74.2
pipesnotankage17_5UNSAT74.98
pipesnotankage17_6UNSAT75.24
s499_d19_sSAT75.71
freecell02_6UNSAT84.12
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-008UNSAT84.83
pipesnotankage17_7UNSAT84.89
ii8d1-00SAT89.55
incrementer-enc04-nonuniform-depth-17SAT96.07
s820_d10_sSAT108.5
c1_BMC_p2_k2048UNSAT108.51
c4_Debug_s3_f2_e2_v2SAT111.51
arbiter-09-comp-error01-qbf-hardness-depth-15UNSAT117.67
s499_d25_uUNSAT118.87
c1_Debug_s3_f2_e1_v2SAT119.13
oski3ub5i_c0to255.unsatUNSAT126.47
C880.blif_0.10_1.00_0_0_inp_exactUNSAT129.63
s3330_d4_sSAT141.24
add4_REDUCEDSAT153.08
c4_Debug_s3_f2_e2_v3SAT153.32
cache-coherence-2-fixpoint-6UNSAT164.14
freecell03_6UNSAT166.61
szymanski-24-sUNSAT169.26
query21_query58_1344nUNSAT172
freecell03_5UNSAT173.37
ltl2dba_C2-6_comp3_REAL.satSAT178.89
pipesnotankage18_7UNSAT190.75
depots09_13UNSAT192.03
pipesnotankage18_8UNSAT196.88
k_branch_n-17SAT197.02
beemldelec4b1_c0to127.satSAT203.38
small-seq-fixpoint-5UNSAT205.21
Adder2-16-cUNSAT205.7
depots09_11UNSAT209.36
depots09_12UNSAT209.51
c3_BMC_p1_k256SAT210.12
freecell03_7SAT219.75
pipesnotankage19_7UNSAT234.07
k_branch_p-18UNSAT257.62
emptyroom_e4_par---21_UNSAT263.27
pipesnotankage19_9UNSAT284.57
k_branch_p-19UNSAT334.25
c1_Debug_s3_f2_e1_v1SAT356.29
k_branch_p-21UNSAT384.75
k_branch_n-20SAT396.73
s713_d7_uUNSAT447.85
AR-fixpoint-1UNSAT448.6
sortnetsort8.v.stepl.007SAT453.98
add4_COMPLETESAT457.66
cf_2_9x6_r_SAT466.64
s298_d25_uUNSAT542.5
add4_CHOOSESAT550.55
amba2f9n.unsatUNSAT551.81
c2_BMC_p1_k2048SAT554.83
c2_Debug_s3_f1_e1_v2SAT587.87
gttt_2_1_001020_4x4_torus_wUNSAT636.8
s713_d11_uUNSAT726.89
C499.blif_0.10_0.20_0_0_inp_exactUNSAT742.91
emptyroom_e3_ser---19_UNSAT774.2
arbiter-06-comp-error01-qbf-hardness-depth-15UNSAT824.07
c5_BMC_p2_k1024FAIL896.2
c2_Debug_s3_f2_e1_v3FAIL896.4
c4_Debug_s3_f1_e2_v2FAIL896.41
c4_Debug_s3_f1_e2_v3FAIL896.42
s510_d41_sFAIL896.5
AR-fixpoint-7FAIL896.5
ev-pr-6x6-19-5-0-1-2-sFAIL896.5
k8_4_3FAIL896.51
c5_BMC_p2_k128FAIL896.51
s3330_d10_uFAIL896.51
c4_Debug_s3_f1_e1_v2FAIL896.51
k8_3_2FAIL896.52
load_full_4_comp3_REAL.unsatFAIL896.52
filesys_cdfs_allocsup.cFAIL896.52
AR-fixpoint-5FAIL896.57
AR-fixpoint-9FAIL896.58
ev-pr-6x6-9-5-0-1-2-sFAIL896.6
cf_4_9x9_r_FAIL896.6
k8_2_3FAIL896.61
ev-pr-8x8-19-7-0-1-2-lgFAIL896.61
s1269_d10_sFAIL896.61
connect_9x8_3_RFAIL896.61
ev-pr-6x6-5-5-0-1-2-sFAIL896.61
c5_BMC_p2_k512FAIL896.62
s820_d15_uFAIL896.62
emptyroom_e4_ser--opt-44_FAIL896.62
ring_r6_ser--opt-17_FAIL896.64
ev-pr-6x6-13-5-0-1-2-sFAIL896.65
arbiter-10-comp-error01-qbf-hardness-depth-24FAIL896.65
ev-pr-6x6-17-5-0-1-2-sFAIL896.69
c4_Debug_s5_f2_e2_v1FAIL896.69
ev-pr-8x8-17-7-0-1-2-lgFAIL896.71
ev-pr-6x6-7-5-0-1-2-sFAIL896.71
ev-pr-6x6-11-5-0-1-2-sFAIL896.71
s510_d36_sFAIL896.71
k7_4_4FAIL896.71
cube_c7_ser---23_FAIL896.71
ev-pr-6x6-15-5-0-1-2-sFAIL896.73
cube_c11_ser--opt-42_FAIL896.76
add7_CHOOSEFAIL896.79
c5_BMC_p1_k128FAIL896.8
k8_3_4FAIL896.8
blocks_enc_2_b4_ser--opt-26_FAIL896.8
AR-fixpoint-3FAIL896.8
c5_BMC_p2_k64FAIL896.81
c1_BMC_p1_k2048FAIL896.81
connect_9x8_6_RFAIL896.81
arbiter-10-comp-error01-qbf-hardness-depth-23FAIL896.82
c1_Debug_s5_f1_e1_v2FAIL896.91
c5_BMC_p1_k64FAIL896.91
c5_BMC_p2_k256FAIL896.91
arbiter-10-comp-error01-qbf-hardness-depth-22FAIL896.92
load_full_4_comp3_REAL.satFAIL900
load_3c_comp_comp7_REAL.satFAIL900
add6_REDUCEDFAIL900
add5_CHOOSEFAIL900
arbiter-08-comp-error02-qbf-hardness-depth-9FAIL900
query10_query36_1344FAIL900
oski3ub5i_c0to255.satFAIL900
b21_C_3_206FAIL900
b14_PR_1_50FAIL900
gttt_1_1_000111_4x4_torus_bFAIL900
add5_COMPLETEFAIL900
add7_COMPLETEFAIL900
mult_bool_matrix_17_17_17.satFAIL900
add6_COMPLETEFAIL900
add7_REDUCEDFAIL900
add5_REDUCEDFAIL900
add6_CHOOSEFAIL900
mult_bool_matrix_17_17_17.unsatFAIL900
mult_bool_matrix_10_9_11.unsatFAIL900
mult_bool_matrix_10_9_11.satFAIL900
arbiter-09-comp-error01-qbf-hardness-depth-21FAIL900
ltl2dpa_C26_comp2_REAL.satFAIL900
gttt_1_1_000111_4x4_torus_wFAIL900
genbuf9b4n.unsatFAIL900
genbuf9b4n.satFAIL900
UserServiceImplFAIL900
unit6_3_bFAIL900
unit8_2_bFAIL900
query03_query25_1344FAIL900
query31_reachqu_1344nFAIL900
query42_query06_1344nFAIL900
ceiling128FAIL900
ProjectService3FAIL900
ProcessBeanFAIL900
LoginService2FAIL900
query44_query26_1344nFAIL900
s1196_1_5FAIL900
intermediate128FAIL900
bobsmfpuFAIL900
eijkbs4863FAIL900
kenflashp12FAIL900
neclaftp4001FAIL900
gttt_2_1_00102030_4x4_torus_bFAIL900
gttt_2_1_00011020_4x4_bFAIL900
b20_C_3_2FAIL900
genbuf10b4n.unsatFAIL900
genbuf10b4n.satFAIL900
cycle_sched_6_7_1.unsatFAIL900
s38584_3_238FAIL900
b22_C_2_12FAIL900
b22_PR_8_20FAIL900
cycle_sched_6_7_1.satFAIL900
cycle_sched_4_7_1.unsatFAIL900
cycle_sched_4_7_1.satFAIL900
amba4b9y.unsatFAIL900
amba4b9y.satFAIL900
unit11_3_bFAIL900
amba2f9n.satFAIL900
unit9_2_bFAIL900
gttt_1_1_00101121_4x4_torus_wFAIL900
unit12_2_bFAIL900
ActivityService2FAIL900
arbiter-07-comp-error01-qbf-hardness-depth-20FAIL900
eijk.bs1512.S-f4FAIL900
k_ph_p-21FAIL900
C432.blif_0.10_0.20_0_1_out_exactFAIL900
k_ph_p-17FAIL900
k_ph_p-18FAIL900
k_ph_p-19FAIL900
k_ph_p-13FAIL900
k_ph_p-14FAIL900
k_ph_p-15FAIL900
uclid-pipe3bFAIL900
s641_d7_uFAIL900
ev-pr-8x8-11-7-0-1-2-lgFAIL900
adder-12-unsatFAIL900
C499.blif_0.10_0.20_0_0_out_exactFAIL900
Adder2-10-sFAIL900
test1_quant_squaring2FAIL900
C5315.blif_0.10_0.20_0_0_inp_exactFAIL900
ev-pr-6x6-13-5-0-1-2-lgFAIL900
Adder2-8-sFAIL900
k_ph_p-11FAIL900
cnt16FAIL900
eijk.bs4863.S-d4FAIL900
ken.flash^05.C-d3FAIL900
ken.flash^08.C-d4FAIL900
ken.flash^09.C-d4FAIL900
ken.oop^2.C-d3FAIL900
ken.oop^2.C-d4FAIL900
cmu.dme1.B-f3FAIL900
cmu.dme2.B-f3FAIL900
ev-pr-6x6-17-5-0-1-2-lgFAIL900
s1269_d5_sFAIL900
cnt16rFAIL900
cf_3_9x6_r_FAIL900
cf_5_5x6_r_FAIL900
cf_6_9x7_r_FAIL900
cf_7_8x7_r_FAIL900
cf_7_8x8_r_FAIL900
s1196_d5_uFAIL900
s1196_d7_uFAIL900
test4_quant_squaring4FAIL900
C880.blif_0.10_0.20_0_0_out_exactFAIL900
ev-pr-8x8-15-7-0-1-2-lgFAIL900
connect_8x7_4_RFAIL900
C880.blif_0.10_1.00_0_0_out_exactFAIL900
C6288.blif_0.10_0.20_0_0_inp_exactFAIL900
test2_quant_squaring3FAIL900
C880.blif_0.10_0.20_0_1_inp_exactFAIL900
connect_7x6_4_RFAIL900
C6288.blif_0.10_0.20_0_1_out_exactFAIL900
uclid-pipe2FAIL900
test2_quant_squaring2FAIL900
ev-pr-6x6-19-5-0-1-2-lgFAIL900
adder-14-satFAIL900
ev-pr-6x6-11-5-0-1-2-lgFAIL900
connect_8x7_6_RFAIL900
adder-10-satFAIL900
C6288.blif_0.10_0.20_0_0_out_exactFAIL900
C880.blif_0.10_0.20_0_1_out_exactFAIL900
ev-pr-8x8-13-7-0-1-2-lgFAIL900
C6288.blif_0.10_1.00_0_0_out_exactFAIL900
uclid-pipe3aFAIL900
connect_8x7_5_RFAIL900
Adder2-16-sFAIL900
C880.blif_0.10_0.20_0_0_inp_exactFAIL900
counter_64FAIL900
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
test1_quant_squaring3FAIL900
C5315.blif_0.10_0.20_0_0_out_exactFAIL900
ev-pr-6x6-15-5-0-1-2-lgFAIL900
C432.blif_0.10_0.20_0_0_out_exactFAIL900
C499.blif_0.10_0.20_0_1_out_exactFAIL900
test2_quant3FAIL900
k_ph_p-20FAIL900
C6288.blif_0.10_0.20_0_1_inp_exactFAIL900
Adder2-14-sFAIL900
k_ph_p-12FAIL900
counter_re_32FAIL900
incrementer-enc08-uniform-depth-33FAIL900
pi-bus-fixpoint-3FAIL900
small-equiv-fixpoint-9FAIL900
small-equiv-fixpoint-10FAIL900
small-pipeline-fixpoint-7FAIL900
audio_ac97_wavepcistream.cppFAIL900
hid_firefly_app_firefly.cppFAIL900
network_irda_miniport_nscirda_settings.cFAIL900
filesys_fastfat_easup.cFAIL900
small-pipeline-fixpoint-6FAIL900
small-seq-fixpoint-7FAIL900
k6_2_3FAIL900
test3_quant_squaring4FAIL900
Core1108_tbm_21.tex.module.000008FAIL900
Core1108_tbm_21.tex.module.000030FAIL900
Umbrella_tbm_05.tex.module.000039FAIL900
small-seq-fixpoint-9FAIL900
small-seq-fixpoint-8FAIL900
small-equiv-fixpoint-6FAIL900
AVStream_hwsim.cppFAIL900
filesys_smbmrx_cvsndrcv.cFAIL900
network_ndis_rtlnwifi_extsta_st_misc.cFAIL900
kmdf_AMCC5933_sys_S5933DK1.cFAIL900
audio_ddksynth_csynth2.cppFAIL900
kernel_agplib_intrface.cFAIL900
kmdf_pcidrv_sys_hw_physet.cFAIL900
input_mouser_cseries.cFAIL900
incrementer-enc02-uniform-depth-58FAIL900
incrementer-enc06-uniform-depth-24FAIL900
network_usbnwifi_mp_util.cFAIL900
input_mouser_detect.cFAIL900
network_ndis_rtlnwifi_hw_hw_ccmp.cFAIL900
filesys_cdfs_namesup.cFAIL900
input_pnpi8042_moudep.cFAIL900
filesys_smbmrx_midatlas.cFAIL900
hid_hclient_ecdisp.cFAIL900
network_trans_sys_notify.cFAIL900
network_irda_miniport_nscirda_comm.cFAIL900
network_ndis_coisdn_TpiParam.cFAIL900
k14_2_3FAIL900
k14_4_4FAIL900
k7_2_2FAIL900
sortnetsort9.AE.stepl.012FAIL900
sortnetsort9.v.stepl.005FAIL900
sortnetsort9.v.stepl.007FAIL900
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
c1_Debug_s3_f1_e1_v1FAIL900
c3_Debug_s3_f2_e2_v2FAIL900
c3_Debug_s3_f2_e2_v3FAIL900
sortnetsort9.AE.stepl.009FAIL900
sortnetsort10.v.stepl.005FAIL900
eijk.S1196.S-f2FAIL900
eijk.S713.S-f2FAIL900
ken.flash^11.C-f3FAIL900
nusmv.tcas^2.B-f2FAIL900
nusmv.tcas^4.B-f3FAIL900
nusmv.tcas^6.B-f4FAIL900
texas.PI_main^05.E-f3FAIL900
texas.PI_main^08.E-f3FAIL900
ring_r7_ser---19_FAIL900
ring_r7_ser--opt-20_FAIL900
stmt23_66_96FAIL900
stmt17_70_90FAIL900
stmt17_63_82FAIL900
stmt17_86_98FAIL900
k12_4_2FAIL900
k12_3_2FAIL900
k10_4_3FAIL900
k5_3_2FAIL900
stmt17_82_98FAIL900
stmt28_68_81FAIL900
f600-00FAIL900
f600-50FAIL900
ii8d1-90FAIL900
ssa7552-158-00FAIL900
stmt19_64_99FAIL900
stmt17_62_98FAIL900
stmt17_70_98FAIL900
stmt23_72_76FAIL900
eijk.bs3384.S-f4FAIL900