Instances solved by GhostQ-PG_cegar
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
halfadder_match2.satSAT0.1
halfadder_match2.unsatUNSAT0.1
small-bug1-fixpoint-7SAT0.11
mvs16y.unsatUNSAT0.14
s00400_PR_9_90UNSAT0.14
C880.blif_0.10_1.00_0_0_out_exactUNSAT0.36
small-synabs-fixpoint-3UNSAT0.38
driver_d9y.unsatUNSAT0.42
small-dyn-partition-fixpoint-8UNSAT0.48
lights3_021_1_022SAT0.49
cmu.dme1.B-f3SAT0.58
tlc05-nonuniform-depth-6UNSAT0.67
rankfunc60_signed_32SAT0.68
eijk.bs3330.S-d3SAT0.84
stmt41_160_235UNSAT0.85
ltl2dba_C2-6_comp3_REAL.unsatUNSAT0.86
tlc04-nonuniform-depth-8UNSAT0.95
incrementer-enc03-nonuniform-depth-5UNSAT0.97
unit9_2_bSAT0.99
stmt19_83_412UNSAT1.23
stmt21_181_369UNSAT1.23
stmt29_226_376UNSAT1.35
cmu.dme2.B-f3SAT1.49
sdlx-fixpoint-3UNSAT1.55
uclid-pipe3bUNSAT1.56
C5315.blif_0.10_1.00_0_0_out_exactUNSAT1.8
query03_query25_1344UNSAT1.89
stay24n.unsatUNSAT2.01
query31_reachqu_1344nSAT2.07
rankfunc35_signed_32SAT2.1
cmu.gigamax.B-d4SAT2.14
C6288.blif_0.10_1.00_0_1_inp_exactSAT2.27
ltl2dpa_C26_comp2_REAL.unsatUNSAT2.35
tlc03-nonuniform-depth-19UNSAT2.46
texas.PI_main^08.E-f3SAT2.61
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-005UNSAT2.91
usb-phy-fixpoint-3UNSAT2.91
texas.PI_main^05.E-f3SAT2.97
stmt19_313_412UNSAT2.97
unit11_3_bUNSAT2.99
s05378_PR_9_75UNSAT3
incrementer-enc06-nonuniform-depth-10UNSAT3.01
nusmv.tcas^2.B-f2SAT3.02
nusmv.tcas^3.B-f2SAT3.09
s641_d6_sSAT3.1
C432.blif_0.10_0.20_0_0_out_exactUNSAT3.28
nusmv.reactor^3.C-d4SAT3.34
C432.blif_0.10_0.20_0_1_out_exactUNSAT3.37
gttt_1_1_001020_3x3_torus_bUNSAT3.5
incrementer-enc04-nonuniform-depth-17SAT3.5
itc-b13-fixpoint-5SAT3.52
cache-coherence-2-fixpoint-4UNSAT3.59
tlc04-nonuniform-depth-27UNSAT3.76
query21_query58_1344nUNSAT3.8
cache-coherence-3-fixpoint-3UNSAT3.88
dungeon_i20-m100-u4-v0.pddl_planlen=6SAT4.25
stmt21_310_360UNSAT4.34
C5315.blif_0.10_0.20_0_1_inp_exactSAT4.87
s298_d17_sSAT4.97
incrementer-enc08-nonuniform-depth-24UNSAT5.36
small-seq-fixpoint-3UNSAT5.52
cache-coherence-2-fixpoint-6UNSAT5.52
nusmv.tcas^4.B-f3SAT5.8
nusmv.tcas-t^1.B-d2SAT6.23
s499_d19_sSAT6.25
s820_d10_sSAT6.8
incrementer-enc05-nonuniform-depth-22UNSAT6.94
ev-pr-4x4-17-3-0-0-1-lgSAT7.11
pi-bus-fixpoint-1UNSAT7.26
nusmv.tcas^6.B-f4SAT7.53
b17_PR_0_90UNSAT8.51
driver_a9n.unsatUNSAT8.75
incrementer-enc07-uniform-depth-25UNSAT8.97
eijk.bs4863.S-d4SAT8.98
b20_PR_7_20SAT9.04
incrementer-enc08-uniform-depth-33SAT9.57
tlc03-nonuniform-depth-67UNSAT9.62
ii8d1-00SAT9.71
s499_d25_uUNSAT10.01
b15_PR_4_2SAT10.11
incrementer-enc06-uniform-depth-24UNSAT10.25
arbiter-05-comp-error01-qbf-hardness-depth-8UNSAT10.26
small-seq-fixpoint-5UNSAT10.3
tlc04-nonuniform-depth-64UNSAT11.07
s298_d25_uUNSAT11.56
s641_d7_uUNSAT11.67
dungeon_i30-m30-u5-v0.pddl_planlen=4UNSAT11.75
cf_6_6x6_w_UNSAT12
tlc05-nonuniform-depth-73UNSAT12.85
cf_4_7x4_d_UNSAT14.3
incrementer-enc02-nonuniform-depth-58UNSAT14.42
tlc02-nonuniform-depth-73UNSAT14.68
incrementer-enc02-nonuniform-depth-59UNSAT14.77
incrementer-enc02-nonuniform-depth-60UNSAT15.15
s3330_d4_sSAT15.2
small-seq-fixpoint-7UNSAT15.47
s820_d15_uUNSAT16.56
cube_c11_par---13_UNSAT16.66
small-seq-fixpoint-8UNSAT17.87
fpu-10Xh-correct02-nonuniform-depth-2UNSAT18.43
tlc01-nonuniform-depth-63UNSAT18.62
add4_REDUCEDSAT20.02
small-seq-fixpoint-9UNSAT20.28
beemldelec4b1_c0to127.unsatUNSAT21.44
incrementer-enc02-uniform-depth-58UNSAT23.97
fpu-01Xh-error02-nonuniform-depth-3UNSAT25.8
s713_d7_uUNSAT25.9
query44_query26_1344nSAT25.93
sortnetsort9.AE.stepl.012UNSAT26.33
b14_PR_1_50SAT26.39
amba2f9n.unsatUNSAT26.95
b22_PR_8_20SAT26.95
s1269_d5_sSAT28
AR-fixpoint-1FAIL28.09
pi-bus-fixpoint-3UNSAT28.22
incrementer-enc02-uniform-depth-63UNSAT29.47
filesys_smbmrx_midatlas.cUNSAT30.52
C880.blif_0.10_0.20_0_1_out_exactUNSAT35.3
C880.blif_0.10_1.00_0_0_inp_exactUNSAT35.58
C880.blif_0.10_0.20_0_0_out_exactUNSAT35.59
unit8_2_bSAT35.98
audio_ddksynth_csynth2.cppSAT36.98
dungeon_i30-m30-u5-v0.pddl_planlen=8UNSAT37.42
sortnetsort8.v.stepl.007SAT38.64
fpu-10Xh-correct04-uniform-depth-3UNSAT41.96
fpu-10Xh-correct03-uniform-depth-3UNSAT42.31
unit12_2_bSAT42.62
load_3c_comp_comp7_REAL.unsatUNSAT47.5
s713_d11_uUNSAT52.12
fpu-10Xe-correct02-nonuniform-depth-6UNSAT54
s510_d41_sSAT54.09
input_mouser_detect.cSAT56.78
oski3ub5i_c0to255.unsatUNSAT58.05
szymanski-20-sUNSAT62.75
emptyroom_e4_par---21_UNSAT65.76
fpu-01Xh-error02-nonuniform-depth-7UNSAT67.38
s510_d36_sSAT71.39
stmt23_72_76SAT71.77
uclid-pipe3aSAT74.87
stmt39_285_335UNSAT80.84
kmdf_pcidrv_sys_hw_physet.cSAT82.55
fpu-10Xh-correct02-nonuniform-depth-8UNSAT82.89
s1196_d5_uUNSAT88.54
stmt28_68_81SAT90.25
stmt17_63_82SAT94.99
c5_BMC_p1_k32SAT104.83
stmt23_66_96SAT109.36
stmt17_86_98SAT109.91
tlc02-uniform-depth-151UNSAT112.09
stmt17_62_98SAT114.5
szymanski-24-sUNSAT115.99
stmt19_64_99SAT118.56
stmt17_82_98SAT118.71
add4_COMPLETESAT126.84
s09234_PR_9_5SAT128.25
s1196_d7_uUNSAT130.92
emptyroom_e3_ser---19_UNSAT131.4
network_trans_sys_notify.cUNSAT133.89
stmt17_70_90SAT145.36
stmt32_329_378UNSAT158.31
query42_query06_1344nUNSAT163.93
stmt17_70_98SAT170.31
fpu-01Xh-error02-uniform-depth-8UNSAT172.59
AR-fixpoint-3FAIL174.64
cf_8_8x8_d_UNSAT189.15
fpu-01Xh-error02-nonuniform-depth-13UNSAT196.21
fpu-10Xh-correct04-nonuniform-depth-13UNSAT196.9
k_ph_p-11UNSAT215.19
cf_8_9x8_d_UNSAT232.49
fpu-10Xh-correct03-uniform-depth-10UNSAT257.01
fpu-10Xe-correct02-nonuniform-depth-16UNSAT288.8
filesys_smbmrx_cvsndrcv.cUNSAT303.8
fpu-10Xh-correct03-nonuniform-depth-22UNSAT316.73
fpu-01Xh-error02-nonuniform-depth-22UNSAT318.43
AR-fixpoint-5FAIL322.41
dungeon_i10-m10-u10-v0.pddl_planlen=166UNSAT331.53
genbuf9b4n.unsatUNSAT338.41
fpu-10Xh-correct03-nonuniform-depth-26UNSAT357.95
fpu-10Xh-correct02-uniform-depth-13UNSAT359.45
cf_2_9x6_r_SAT385
fpu-10Xh-correct03-uniform-depth-14UNSAT398.16
genbuf10b4n.unsatUNSAT413.72
AR-fixpoint-7FAIL480.95
k5_2_3SAT506.55
add4_CHOOSESAT509.05
unit6_3_bUNSAT547.51
add5_REDUCEDSAT553.56
emptyroom_e4_ser--opt-44_SAT570.96
fpu-01Xh-error02-uniform-depth-18UNSAT598.24
fpu-10Xe-correct02-uniform-depth-20FAIL605.19
AR-fixpoint-9FAIL626.71
arbiter-06-comp-error01-qbf-hardness-depth-11UNSAT633.06
c2_BMC_p1_k2048FAIL635.59
c5_BMC_p2_k1024FAIL639.33
fpu-10Xh-correct04-uniform-depth-24FAIL666.16
b18_PR_4_2SAT671.06
c3_BMC_p1_k256SAT720.57
dungeon_i30-m30-u5-v0.pddl_planlen=9UNSAT727.57
sortnetsort9.v.stepl.007SAT804.92
c3_Debug_s3_f2_e2_v2FAIL896
c3_Debug_s3_f2_e2_v3FAIL896.3
c1_Debug_s3_f1_e1_v1FAIL896.43
add7_REDUCEDFAIL900
cycle_sched_4_7_1.unsatFAIL900
oski3ub5i_c0to255.satFAIL900
amba2f9n.satFAIL900
add6_REDUCEDFAIL900
add5_COMPLETEFAIL900
add6_COMPLETEFAIL900
amba4b9y.satFAIL900
add7_CHOOSEFAIL900
add5_CHOOSEFAIL900
cycle_sched_4_7_1.satFAIL900
amba4b9y.unsatFAIL900
add7_COMPLETEFAIL900
cycle_sched_6_7_1.satFAIL900
mvs16y.satFAIL900
load_3c_comp_comp7_REAL.satFAIL900
mult_bool_matrix_17_17_17.unsatFAIL900
load_full_4_comp3_REAL.satFAIL900
mult_bool_matrix_10_9_11.satFAIL900
ltl2dba_C2-6_comp3_REAL.satFAIL900
mult_bool_matrix_17_17_17.satFAIL900
mult_bool_matrix_10_9_11.unsatFAIL900
stay24n.satFAIL900
add6_CHOOSEFAIL900
cycle_sched_6_7_1.unsatFAIL900
driver_a9n.satFAIL900
driver_d9y.satFAIL900
genbuf10b4n.satFAIL900
beemldelec4b1_c0to127.satFAIL900
genbuf9b4n.satFAIL900
load_full_4_comp3_REAL.unsatFAIL900
gttt_1_1_000111_4x4_torus_bFAIL900
ltl2dpa_C26_comp2_REAL.satFAIL900
arbiter-06-comp-error01-qbf-hardness-depth-15FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=92FAIL900
decomposition256FAIL900
ceiling128FAIL900
depots13_9FAIL900
depots16_5FAIL900
driverlog12_7FAIL900
driverlog13_6FAIL900
freecell02_4FAIL900
dungeon_i25-m12-u3-v0.pddl_planlen=146FAIL900
equalization32FAIL900
floor256FAIL900
intermediate128FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=98FAIL900
eijkbs4863FAIL900
depots07_8FAIL900
depots08_6FAIL900
bobsmfpuFAIL900
depots09_11FAIL900
depots09_12FAIL900
depots09_13FAIL900
freecell02_6FAIL900
freecell03_5FAIL900
pipesnotankage17_7FAIL900
pipesnotankage19_7FAIL900
pipesnotankage19_9FAIL900
s15850_PR_0_50FAIL900
arbiter-09-comp-error01-qbf-hardness-depth-15FAIL900
arbiter-09-comp-error01-qbf-hardness-depth-21FAIL900
arbiter-10-comp-error01-qbf-hardness-depth-23FAIL900
arbiter-10-comp-error01-qbf-hardness-depth-24FAIL900
pipesnotankage17_6FAIL900
pipesnotankage16_10FAIL900
pipesnotankage15_10FAIL900
freecell03_6FAIL900
freecell03_7FAIL900
pipesnotankage04_5FAIL900
s38584_3_238FAIL900
gttt_2_1_001020_4x4_torus_wFAIL900
gttt_1_1_000111_4x4_torus_wFAIL900
pipesnotankage11_8FAIL900
pipesnotankage13_5FAIL900
query10_query36_1344FAIL900
UserServiceImplFAIL900
dungeon_i25-m12-u3-v0.pddl_planlen=130FAIL900
dungeon_i25-m12-u3-v0.pddl_planlen=165FAIL900
dungeon_i25-m12-u3-v0.pddl_planlen=190FAIL900
dungeon_i25-m12-u3-v0.pddl_planlen=72FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=170FAIL900
pipesnotankage17_5FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=65FAIL900
gttt_1_1_00101121_4x4_torus_wFAIL900
dungeon_i15-m7-u4-v0.pddl_planlen=81FAIL900
driverlog10_6FAIL900
depots03_9FAIL900
arbiter-07-comp-error01-qbf-hardness-depth-20FAIL900
arbiter-08-comp-error02-qbf-hardness-depth-9FAIL900
ProjectService3FAIL900
arbiter-10-comp-error01-qbf-hardness-depth-22FAIL900
b20_C_3_2FAIL900
ProcessBeanFAIL900
b21_C_3_206FAIL900
b22_C_2_12FAIL900
LoginService2FAIL900
gttt_2_1_00011020_4x4_bFAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=128FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=143FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=197FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=198FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=199FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=200FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=59FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=81FAIL900
kenflashp12FAIL900
dungeon_i25-m12-u3-v0.pddl_planlen=125FAIL900
neclaftp4001FAIL900
gttt_2_1_00102030_4x4_torus_bFAIL900
pipesnotankage14_10FAIL900
pipesnotankage18_7FAIL900
pipesnotankage18_8FAIL900
ActivityService2FAIL900
pdtpmsmiimFAIL900
s1196_1_5FAIL900
dungeon_i15-m7-u4-v0.pddl_planlen=168FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=86FAIL900
ev-pr-4x4-9-3-0-0-1-sFAIL900
C499.blif_0.10_0.20_0_0_out_exactFAIL900
Adder2-10-sFAIL900
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
Adder2-8-sFAIL900
ev-pr-8x8-17-7-0-1-2-lgFAIL900
k_ph_p-21FAIL900
C499.blif_0.10_0.20_0_0_inp_exactFAIL900
adder-12-unsatFAIL900
ev-pr-8x8-11-7-0-1-2-lgFAIL900
test4_quant_squaring2FAIL900
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
test4_quant_squaring4FAIL900
ev-pr-4x4-5-3-0-0-1-sFAIL900
ev-pr-6x6-7-5-0-1-2-sFAIL900
k_branch_n-10FAIL900
cnt08eFAIL900
cnt16FAIL900
cnt16rFAIL900
cf_3_9x6_r_FAIL900
cf_4_9x9_r_FAIL900
cf_5_5x6_r_FAIL900
cf_5_9x9_d_FAIL900
cf_6_9x7_r_FAIL900
cf_7_8x7_r_FAIL900
cf_7_8x8_r_FAIL900
k_ph_p-15FAIL900
k_ph_p-14FAIL900
k_ph_p-13FAIL900
k_branch_n-11FAIL900
k_branch_n-17FAIL900
k_branch_p-10FAIL900
k_branch_p-11FAIL900
k_branch_p-14FAIL900
k_branch_p-18FAIL900
k_branch_p-19FAIL900
k_ph_p-17FAIL900
k_ph_p-18FAIL900
k_ph_p-19FAIL900
ev-pr-6x6-17-5-0-1-2-lgFAIL900
ev-pr-6x6-19-5-0-1-2-sFAIL900
counter_re_32FAIL900
C6288.blif_0.10_1.00_0_0_out_exactFAIL900
ev-pr-6x6-19-5-0-1-2-lgFAIL900
test2_quant_squaring2FAIL900
ev-pr-6x6-9-5-0-1-2-sFAIL900
connect_8x7_4_RFAIL900
ev-pr-4x4-7-3-0-0-1-sFAIL900
C6288.blif_0.10_0.20_0_0_inp_exactFAIL900
test2_quant_squaring3FAIL900
s1269_d10_sFAIL900
C880.blif_0.10_0.20_0_1_inp_exactFAIL900
ev-pr-8x8-13-7-0-1-2-lgFAIL900
Adder2-16-cFAIL900
ev-pr-6x6-17-5-0-1-2-sFAIL900
adder-14-satFAIL900
ev-pr-6x6-11-5-0-1-2-lgFAIL900
connect_8x7_6_RFAIL900
adder-10-satFAIL900
ev-pr-4x4-15-3-0-0-1-sFAIL900
ev-pr-6x6-11-5-0-1-2-sFAIL900
C6288.blif_0.10_0.20_0_0_out_exactFAIL900
k_branch_p-16FAIL900
k_branch_n-12FAIL900
ev-pr-6x6-13-5-0-1-2-sFAIL900
connect_7x6_4_RFAIL900
ev-pr-8x8-19-7-0-1-2-lgFAIL900
Adder2-14-sFAIL900
k_branch_p-12FAIL900
k_ph_p-12FAIL900
C5315.blif_0.10_0.20_0_0_out_exactFAIL900
test1_quant_squaring3FAIL900
k_branch_p-21FAIL900
Adder2-16-sFAIL900
ev-pr-4x4-11-3-0-0-1-sFAIL900
C880.blif_0.10_0.20_0_0_inp_exactFAIL900
counter_64FAIL900
C6288.blif_0.10_0.20_0_1_inp_exactFAIL900
k_ph_p-20FAIL900
test2_quant3FAIL900
C6288.blif_0.10_0.20_0_1_out_exactFAIL900
uclid-pipe2FAIL900
ev-pr-4x4-17-3-0-0-1-sFAIL900
ev-pr-4x4-13-3-0-0-1-sFAIL900
connect_8x7_5_RFAIL900
k_branch_n-20FAIL900
ev-pr-6x6-15-5-0-1-2-lgFAIL900
connect_9x8_6_RFAIL900
s3330_d10_uFAIL900
C499.blif_0.10_0.20_0_1_out_exactFAIL900
ev-pr-6x6-5-5-0-1-2-sFAIL900
ken.flash^05.C-d3FAIL900
c5_BMC_p1_k128FAIL900
k10_4_3FAIL900
k5_3_2FAIL900
k8_2_3FAIL900
k7_4_4FAIL900
k7_2_2FAIL900
k8_3_2FAIL900
k14_4_4FAIL900
k14_2_3FAIL900
k8_4_3FAIL900
k6_2_3FAIL900
k12_3_2FAIL900
k8_3_4FAIL900
k12_4_2FAIL900
c5_BMC_p1_k64FAIL900
c5_BMC_p2_k128FAIL900
c5_BMC_p2_k256FAIL900
c5_BMC_p2_k512FAIL900
c5_BMC_p2_k64FAIL900
f600-00FAIL900
f600-50FAIL900
ii8d1-90FAIL900
ssa7552-158-00FAIL900
stmt21_319_418FAIL900
test3_quant_squaring4FAIL900
Core1108_tbm_21.tex.module.000008FAIL900
filesys_cdfs_namesup.cFAIL900
filesys_cdfs_allocsup.cFAIL900
input_pnpi8042_moudep.cFAIL900
hid_hclient_ecdisp.cFAIL900
network_irda_miniport_nscirda_comm.cFAIL900
network_ndis_coisdn_TpiParam.cFAIL900
network_usbnwifi_mp_util.cFAIL900
network_ndis_rtlnwifi_extsta_st_misc.cFAIL900
kmdf_AMCC5933_sys_S5933DK1.cFAIL900
kernel_agplib_intrface.cFAIL900
network_ndis_rtlnwifi_hw_hw_ccmp.cFAIL900
AVStream_hwsim.cppFAIL900
filesys_fastfat_easup.cFAIL900
Core1108_tbm_21.tex.module.000030FAIL900
Umbrella_tbm_05.tex.module.000039FAIL900
small-equiv-fixpoint-6FAIL900
small-pipeline-fixpoint-6FAIL900
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
input_mouser_cseries.cFAIL900
c1_BMC_p2_k2048FAIL900
ken.flash^08.C-d4FAIL900
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-007FAIL900
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-008FAIL900
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-007FAIL900
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
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
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
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-007FAIL900
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-010FAIL900
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-009FAIL900
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-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-010FAIL900
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-010FAIL900
sortnetsort9.v.stepl.005FAIL900
ken.flash^09.C-d4FAIL900
ken.oop^2.C-d3FAIL900
ken.oop^2.C-d4FAIL900
eijk.bs1512.S-f4FAIL900
eijk.bs3384.S-f4FAIL900
eijk.S1196.S-f2FAIL900
eijk.S713.S-f2FAIL900
ken.flash^11.C-f3FAIL900
sortnetsort10.v.stepl.005FAIL900
sortnetsort9.AE.stepl.009FAIL900
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
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009FAIL900
c4_Debug_s3_f2_e2_v2FAIL900
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
ring_r6_ser--opt-17_FAIL900
ring_r7_ser---19_FAIL900
ring_r7_ser--opt-20_FAIL900
c1_BMC_p1_k2048FAIL900
c4_Debug_s3_f1_e2_v3FAIL900
c4_Debug_s3_f1_e2_v2FAIL900
c4_Debug_s3_f1_e1_v2FAIL900
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
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-010FAIL900
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-008FAIL900
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
c1_BMC_p2_k1024FAIL900