Instances solved by AIGSolve
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
halfadder_match2.unsatUNSAT0
s00400_PR_9_90UNSAT0
halfadder_match2.satSAT0.01
mvs16y.unsatUNSAT0.01
small-bug1-fixpoint-7SAT0.02
tlc05-nonuniform-depth-6UNSAT0.02
tlc04-nonuniform-depth-8UNSAT0.04
cf_4_7x4_d_UNSAT0.05
mvs16y.satSAT0.05
test4_quant_squaring2UNSAT0.06
cf_6_6x6_w_UNSAT0.06
incrementer-enc03-nonuniform-depth-5UNSAT0.08
lights3_021_1_022SAT0.08
ltl2dba_C2-6_comp3_REAL.unsatUNSAT0.12
driver_d9y.unsatUNSAT0.13
small-dyn-partition-fixpoint-8UNSAT0.13
cf_8_8x8_d_UNSAT0.15
C432.blif_0.10_0.20_0_1_out_exactUNSAT0.21
C432.blif_0.10_0.20_0_0_out_exactUNSAT0.21
cf_8_9x8_d_UNSAT0.21
fpu-10Xh-correct02-nonuniform-depth-2UNSAT0.22
kenflashp12SAT0.23
small-synabs-fixpoint-3UNSAT0.23
fpu-10Xh-correct03-uniform-depth-3UNSAT0.33
fpu-10Xh-correct04-uniform-depth-3UNSAT0.34
fpu-01Xh-error02-nonuniform-depth-3UNSAT0.34
pipesnotankage04_5UNSAT0.36
equalization32SAT0.38
tlc03-nonuniform-depth-19UNSAT0.39
dungeon_i30-m30-u5-v0.pddl_planlen=4UNSAT0.45
dungeon_i20-m100-u4-v0.pddl_planlen=6SAT0.56
unit9_2_bSAT0.56
cf_5_9x9_d_UNSAT0.59
ltl2dpa_C26_comp2_REAL.unsatUNSAT0.65
rankfunc60_signed_32SAT0.67
fpu-10Xe-correct02-nonuniform-depth-6UNSAT0.85
tlc01-nonuniform-depth-63UNSAT0.85
tlc04-nonuniform-depth-27UNSAT0.93
stay24n.unsatUNSAT0.96
incrementer-enc06-nonuniform-depth-10UNSAT1.09
fpu-01Xh-error02-nonuniform-depth-7UNSAT1.16
fpu-01Xh-error02-uniform-depth-8UNSAT1.3
test3_quant_squaring4UNSAT1.31
fpu-10Xh-correct02-nonuniform-depth-8UNSAT1.31
test1_quant_squaring2SAT1.34
C5315.blif_0.10_1.00_0_0_out_exactUNSAT1.51
ceiling128SAT1.53
C880.blif_0.10_1.00_0_0_out_exactUNSAT1.57
fpu-10Xh-correct03-uniform-depth-10UNSAT1.66
eijk.S1196.S-f2UNSAT1.8
dungeon_i30-m30-u5-v0.pddl_planlen=8UNSAT2.09
C880.blif_0.10_0.20_0_1_out_exactUNSAT2.09
C880.blif_0.10_0.20_0_0_out_exactUNSAT2.11
fpu-01Xh-error02-nonuniform-depth-13UNSAT2.13
fpu-10Xh-correct02-uniform-depth-13UNSAT2.14
fpu-10Xh-correct04-nonuniform-depth-13UNSAT2.14
nusmv.reactor^3.C-d4SAT2.23
fpu-10Xh-correct03-uniform-depth-14UNSAT2.28
driverlog10_6UNSAT2.31
unit8_2_bSAT2.49
rankfunc35_signed_32SAT2.7
dungeon_i30-m30-u5-v0.pddl_planlen=9UNSAT2.76
fpu-01Xh-error02-uniform-depth-18UNSAT2.82
driver_a9n.unsatUNSAT2.93
incrementer-enc04-nonuniform-depth-17SAT3.01
driver_d9y.satSAT3.09
fpu-01Xh-error02-nonuniform-depth-22UNSAT3.45
fpu-10Xh-correct03-nonuniform-depth-22UNSAT3.47
test5_quant_squaring5SAT3.72
fpu-10Xh-correct04-uniform-depth-24UNSAT3.78
test4_quant_squaring4UNSAT3.99
fpu-10Xh-correct03-nonuniform-depth-26UNSAT4.17
C499.blif_0.10_0.20_0_1_out_exactUNSAT4.22
cnt08eSAT4.23
unit11_3_bUNSAT4.5
fpu-10Xe-correct02-nonuniform-depth-16UNSAT4.54
stmt21_181_369UNSAT4.9
s09234_PR_9_5SAT5.13
b15_PR_4_2SAT5.21
tlc02-nonuniform-depth-73UNSAT5.53
fpu-10Xe-correct02-uniform-depth-20UNSAT5.62
stmt19_83_412UNSAT5.8
mult_bool_matrix_10_9_11.satSAT5.86
incrementer-enc08-nonuniform-depth-24UNSAT5.92
s05378_PR_9_75UNSAT6.1
test1_quant_squaring3SAT6.31
pdtpmsmiimSAT6.49
Adder2-8-sSAT6.57
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-007UNSAT6.73
tlc04-nonuniform-depth-64UNSAT6.91
stmt41_160_235UNSAT7.2
floor256SAT8.26
load_3c_comp_comp7_REAL.unsatUNSAT8.3
tlc05-nonuniform-depth-73UNSAT8.43
Adder2-8-cUNSAT8.44
cycle_sched_6_7_1.unsatUNSAT8.5
depots03_9UNSAT8.56
tlc03-nonuniform-depth-67UNSAT8.64
depots07_8UNSAT8.68
c1_BMC_p2_k1024UNSAT8.73
decomposition256SAT8.88
unit12_2_bSAT9.56
C499.blif_0.10_0.20_0_0_out_exactUNSAT9.67
adder-10-satSAT9.99
c5_BMC_p1_k32SAT10.07
ken.oop^2.C-d3UNSAT10.24
incrementer-enc07-uniform-depth-25UNSAT10.6
dungeon_i10-m10-u10-v0.pddl_planlen=166UNSAT11.14
stay24n.satSAT11.39
amba2f9n.unsatUNSAT11.5
texas.PI_main^08.E-f3SAT11.59
mult_bool_matrix_17_17_17.satSAT11.67
texas.PI_main^05.E-f3SAT11.89
incrementer-enc08-uniform-depth-33SAT12
pipesnotankage11_8UNSAT12.34
stmt17_63_82SAT12.51
szymanski-24-sUNSAT12.59
stmt29_226_376UNSAT13.06
stmt23_72_76SAT13.28
beemldelec4b1_c0to127.unsatUNSAT13.63
stmt28_68_81SAT13.92
driverlog12_7UNSAT14.14
stmt23_66_96SAT15.4
incrementer-enc06-uniform-depth-24UNSAT15.79
incrementer-enc05-nonuniform-depth-22UNSAT16.02
stmt19_64_99SAT16.63
ken.flash^09.C-d4UNSAT17.41
dungeon_i25-m12-u5-v0.pddl_planlen=81UNSAT17.68
adder-12-satSAT17.88
dungeon_i25-m12-u5-v0.pddl_planlen=86UNSAT18.16
mult_bool_matrix_10_9_11.unsatUNSAT18.3
oski3ub5i_c0to255.unsatUNSAT18.34
driverlog13_6UNSAT18.44
stmt17_70_98SAT18.48
dungeon_i25-m12-u5-v0.pddl_planlen=92UNSAT18.71
stmt21_319_418SAT18.74
c1_BMC_p2_k2048UNSAT19.23
c3_BMC_p1_k256SAT19.3
dungeon_i25-m12-u5-v0.pddl_planlen=98UNSAT19.33
C499.blif_0.10_0.20_0_0_inp_exactUNSAT19.38
load_full_4_comp3_REAL.unsatUNSAT19.76
pipesnotankage13_5UNSAT19.85
amba2f9n.satSAT20.06
ken.flash^05.C-d3UNSAT20.43
mult_bool_matrix_17_17_17.unsatUNSAT20.5
uclid-pipe2SAT20.73
cycle_sched_4_7_1.unsatUNSAT21.16
dungeon_i25-m12-u3-v0.pddl_planlen=130UNSAT22.73
stmt17_82_98SAT22.74
ken.flash^08.C-d4UNSAT23.04
dungeon_i25-m12-u3-v0.pddl_planlen=125UNSAT23.13
dungeon_i15-m7-u4-v0.pddl_planlen=81UNSAT23.16
uclid-pipe3aSAT23.43
dungeon_i25-m12-u3-v0.pddl_planlen=146UNSAT24.73
tlc02-uniform-depth-151UNSAT25
stmt17_86_98SAT25.64
adder-14-satSAT26.04
dungeon_i25-m12-u5-v0.pddl_planlen=128UNSAT26.63
stmt17_70_90SAT27.29
dungeon_i25-m12-u3-v0.pddl_planlen=165UNSAT27.58
emptyroom_e3_ser---19_UNSAT27.82
driver_a9n.satSAT28.03
dungeon_i25-m12-u5-v0.pddl_planlen=143UNSAT28.1
stmt17_62_98SAT28.28
eijk.S713.S-f2UNSAT28.55
freecell02_4UNSAT29.14
adder-12-unsatUNSAT29.69
szymanski-20-sUNSAT29.79
dungeon_i25-m12-u3-v0.pddl_planlen=190UNSAT30.58
dungeon_i25-m12-u5-v0.pddl_planlen=59UNSAT31.01
ev-pr-4x4-5-3-0-0-1-sSAT31.26
stmt21_310_360UNSAT31.63
dungeon_i25-m12-u5-v0.pddl_planlen=170UNSAT32.49
dungeon_i15-m7-u4-v0.pddl_planlen=168UNSAT32.65
dungeon_i25-m12-u5-v0.pddl_planlen=65UNSAT33.76
dungeon_i25-m12-u3-v0.pddl_planlen=72UNSAT33.92
depots08_6UNSAT35.55
freecell02_6UNSAT36.1
dungeon_i25-m12-u5-v0.pddl_planlen=197UNSAT36.38
dungeon_i25-m12-u5-v0.pddl_planlen=199UNSAT36.76
dungeon_i25-m12-u5-v0.pddl_planlen=198UNSAT36.78
cnt16SAT36.96
sdlx-fixpoint-3UNSAT37.68
dungeon_i25-m12-u5-v0.pddl_planlen=200UNSAT38.66
pipesnotankage14_10UNSAT40.49
Adder2-10-sSAT40.95
eijk.bs3330.S-d3SAT41.1
itc-b13-fixpoint-5SAT41.66
k5_2_3SAT41.78
ltl2dba_C2-6_comp3_REAL.satSAT42.86
cache-coherence-3-fixpoint-3UNSAT46.03
intermediate128SAT47.33
small-seq-fixpoint-3UNSAT51.77
cnt16rSAT53.87
k_branch_n-10SAT60.54
freecell03_6UNSAT62.01
freecell03_5UNSAT63.05
k_branch_p-10UNSAT66.08
cache-coherence-2-fixpoint-6UNSAT70.2
freecell03_7SAT75.32
genbuf9b4n.unsatUNSAT89.77
depots13_9SAT91.4
Adder2-14-sSAT97.64
pipesnotankage16_10UNSAT98.43
pipesnotankage15_10UNSAT99.76
k_branch_p-11UNSAT101.37
k_branch_p-12UNSAT108.95
neclaftp4001UNSAT110.17
cache-coherence-2-fixpoint-4UNSAT110.93
k_branch_n-11SAT117.57
ken.flash^11.C-f3UNSAT120.08
depots16_5UNSAT124.98
ken.oop^2.C-d4UNSAT127.34
k_branch_n-12SAT129.31
beemldelec4b1_c0to127.satSAT137.18
small-seq-fixpoint-5UNSAT145.65
Adder2-16-sSAT157.17
AR-fixpoint-3FAIL167.18
gttt_1_1_001020_3x3_torus_bUNSAT203.41
AR-fixpoint-1FAIL209.91
k5_3_2SAT216.02
cmu.gigamax.B-d4SAT222.2
AR-fixpoint-5FAIL239.25
k_ph_p-11UNSAT245.6
b17_PR_0_90UNSAT250.28
k_branch_p-14UNSAT265
pipesnotankage19_7UNSAT283.43
stmt32_329_378UNSAT301.68
small-seq-fixpoint-7UNSAT311.43
s15850_PR_0_50SAT318.03
pi-bus-fixpoint-1UNSAT318.29
c4_Debug_s3_f2_e2_v3FAIL319.1
c4_Debug_s3_f1_e2_v3FAIL337.97
pipesnotankage18_7UNSAT356.22
cmu.dme2.B-f3SAT361.27
genbuf9b4n.satSAT362.6
pipesnotankage18_8UNSAT364.81
s641_d6_sSAT370.99
AR-fixpoint-7FAIL384.5
c4_Debug_s3_f1_e2_v2FAIL419.1
c4_Debug_s3_f1_e1_v2FAIL420.82
c4_Debug_s3_f2_e2_v2FAIL427.62
small-seq-fixpoint-8UNSAT434.82
genbuf10b4n.unsatUNSAT440.67
stmt19_313_412UNSAT513.38
c2_Debug_s3_f1_e1_v2FAIL535.07
s298_d17_sSAT548.41
s641_d7_uUNSAT569.74
pipesnotankage19_9UNSAT569.75
AR-fixpoint-9FAIL577.91
incrementer-enc02-uniform-depth-58FAIL579.09
incrementer-enc02-uniform-depth-63FAIL611.66
small-seq-fixpoint-9UNSAT626.1
input_mouser_detect.cFAIL650.28
c1_Debug_s5_f1_e1_v2FAIL656.13
network_irda_miniport_nscirda_settings.cFAIL690.24
c2_Debug_s3_f2_e1_v3FAIL696.04
s713_d7_uUNSAT704.14
input_pnpi8042_moudep.cFAIL704.38
c2_BMC_p1_k2048SAT708.22
hid_hclient_ecdisp.cFAIL708.57
network_trans_sys_notify.cFAIL727.15
add4_COMPLETEFAIL736.12
add7_COMPLETEFAIL749.72
network_ndis_coisdn_TpiParam.cFAIL756.31
filesys_smbmrx_midatlas.cFAIL756.78
network_ndis_rtlnwifi_hw_hw_ccmp.cFAIL762.72
C5315.blif_0.10_0.20_0_1_inp_exactFAIL770.35
network_irda_miniport_nscirda_comm.cFAIL788.72
hid_firefly_app_firefly.cppFAIL796.07
c1_BMC_p1_k2048SAT797.23
input_mouser_cseries.cFAIL807.5
cf_7_8x8_r_FAIL813.41
depots09_13UNSAT816.15
filesys_fastfat_easup.cFAIL822.06
cube_c11_par---13_UNSAT828.75
filesys_smbmrx_cvsndrcv.cFAIL831.98
kmdf_AMCC5933_sys_S5933DK1.cFAIL853.68
C6288.blif_0.10_1.00_0_0_inp_exactFAIL861.43
connect_7x6_4_RFAIL867.21
sortnetsort9.v.stepl.005FAIL869.21
ev-pr-6x6-5-5-0-1-2-sUNSAT879.69
k_branch_n-20FAIL880.42
audio_ddksynth_csynth2.cppFAIL894.73
gttt_1_1_000111_4x4_torus_bFAIL900
k_ph_p-13FAIL900
k_ph_p-19FAIL900
ev-pr-4x4-11-3-0-0-1-sFAIL900
b14_PR_1_50FAIL900
C880.blif_0.10_0.20_0_0_inp_exactFAIL900
ev-pr-4x4-17-3-0-0-1-lgFAIL900
counter_64FAIL900
k_ph_p-18FAIL900
k_ph_p-17FAIL900
query21_query58_1344nFAIL900
C880.blif_0.10_1.00_0_0_inp_exactFAIL900
b18_PR_4_2FAIL900
unit6_3_bFAIL900
k_ph_p-12FAIL900
cf_2_9x6_r_FAIL900
k_ph_p-15FAIL900
C5315.blif_0.10_0.20_0_0_out_exactFAIL900
s38584_3_238FAIL900
k_ph_p-14FAIL900
gttt_2_1_001020_4x4_torus_wFAIL900
k_branch_p-21FAIL900
gttt_1_1_000111_4x4_torus_wFAIL900
arbiter-09-comp-error01-qbf-hardness-depth-21FAIL900
query10_query36_1344FAIL900
k_branch_p-19FAIL900
arbiter-10-comp-error01-qbf-hardness-depth-23FAIL900
connect_9x8_3_RFAIL900
ev-pr-8x8-15-7-0-1-2-lgFAIL900
C5315.blif_0.10_0.20_0_1_out_exactFAIL900
k_branch_n-21FAIL900
arbiter-09-comp-error01-qbf-hardness-depth-15FAIL900
arbiter-06-comp-error01-qbf-hardness-depth-11FAIL900
arbiter-05-comp-error01-qbf-hardness-depth-8FAIL900
pipesnotankage17_5FAIL900
ev-pr-6x6-19-5-0-1-2-sFAIL900
pipesnotankage17_7FAIL900
ev-pr-8x8-11-7-0-1-2-lgFAIL900
ev-pr-6x6-15-5-0-1-2-sFAIL900
C5315.blif_0.10_0.20_0_0_inp_exactFAIL900
k_branch_p-18FAIL900
k_branch_n-17FAIL900
ev-pr-6x6-7-5-0-1-2-sFAIL900
depots09_11FAIL900
depots09_12FAIL900
ev-pr-4x4-9-3-0-0-1-sFAIL900
k_ph_p-21FAIL900
arbiter-10-comp-error01-qbf-hardness-depth-24FAIL900
uclid-pipe3bFAIL900
ev-pr-8x8-17-7-0-1-2-lgFAIL900
ev-pr-6x6-13-5-0-1-2-lgFAIL900
pipesnotankage17_6FAIL900
C6288.blif_0.10_0.20_0_1_inp_exactFAIL900
add6_REDUCEDFAIL900
s820_d10_sFAIL900
k_branch_p-16FAIL900
ev-pr-6x6-13-5-0-1-2-sFAIL900
ltl2dpa_C26_comp2_REAL.satFAIL900
ev-pr-6x6-17-5-0-1-2-sFAIL900
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
C6288.blif_0.10_0.20_0_0_out_exactFAIL900
ev-pr-6x6-11-5-0-1-2-sFAIL900
add5_COMPLETEFAIL900
add7_CHOOSEFAIL900
add5_REDUCEDFAIL900
add7_REDUCEDFAIL900
add5_CHOOSEFAIL900
add6_COMPLETEFAIL900
add4_CHOOSEFAIL900
add4_REDUCEDFAIL900
add6_CHOOSEFAIL900
counter_re_32FAIL900
ev-pr-6x6-11-5-0-1-2-lgFAIL900
connect_8x7_6_RFAIL900
ev-pr-4x4-15-3-0-0-1-sFAIL900
oski3ub5i_c0to255.satFAIL900
connect_8x7_4_RFAIL900
UserServiceImplFAIL900
ProjectService3FAIL900
ProcessBeanFAIL900
LoginService2FAIL900
ActivityService2FAIL900
connect_8x7_5_RFAIL900
ev-pr-6x6-15-5-0-1-2-lgFAIL900
eijkbs4863FAIL900
bobsmfpuFAIL900
connect_9x8_6_RFAIL900
s3330_d10_uFAIL900
C6288.blif_0.10_1.00_0_1_inp_exactFAIL900
test2_quant3FAIL900
ev-pr-4x4-13-3-0-0-1-sFAIL900
ev-pr-4x4-17-3-0-0-1-sFAIL900
ev-pr-4x4-7-3-0-0-1-sFAIL900
s3330_d4_sFAIL900
C6288.blif_0.10_0.20_0_0_inp_exactFAIL900
test2_quant_squaring3FAIL900
genbuf10b4n.satFAIL900
s1269_d10_sFAIL900
C880.blif_0.10_0.20_0_1_inp_exactFAIL900
ev-pr-8x8-19-7-0-1-2-lgFAIL900
cycle_sched_6_7_1.satFAIL900
C6288.blif_0.10_0.20_0_1_out_exactFAIL900
cycle_sched_4_7_1.satFAIL900
amba4b9y.unsatFAIL900
amba4b9y.satFAIL900
k_ph_p-20FAIL900
cf_3_9x6_r_FAIL900
c3_Debug_s3_f2_e2_v3FAIL900
filesys_cdfs_allocsup.cFAIL900
filesys_cdfs_namesup.cFAIL900
AVStream_hwsim.cppFAIL900
audio_ac97_wavepcistream.cppFAIL900
ring_r7_ser---19_FAIL900
ring_r7_ser--opt-20_FAIL900
small-pipeline-fixpoint-7FAIL900
small-equiv-fixpoint-10FAIL900
c5_BMC_p1_k128FAIL900
c5_BMC_p1_k64FAIL900
c5_BMC_p2_k1024FAIL900
c5_BMC_p2_k128FAIL900
c5_BMC_p2_k256FAIL900
network_usbnwifi_mp_util.cFAIL900
network_ndis_rtlnwifi_extsta_st_misc.cFAIL900
kernel_agplib_intrface.cFAIL900
c4_Debug_s5_f2_e2_v1FAIL900
blocks_enc_2_b4_ser--opt-26_FAIL900
s499_d25_uFAIL900
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
incrementer-enc02-nonuniform-depth-60FAIL900
incrementer-enc02-nonuniform-depth-59FAIL900
incrementer-enc02-nonuniform-depth-58FAIL900
k8_2_3FAIL900
kmdf_pcidrv_sys_hw_physet.cFAIL900
c5_BMC_p2_k512FAIL900
small-equiv-fixpoint-9FAIL900
k12_3_2FAIL900
s510_d41_sFAIL900
s713_d11_uFAIL900
s298_d25_uFAIL900
s820_d15_uFAIL900
s510_d36_sFAIL900
k10_4_3FAIL900
k6_2_3FAIL900
k8_4_3FAIL900
k14_2_3FAIL900
k14_4_4FAIL900
k8_3_2FAIL900
k7_2_2FAIL900
k8_3_4FAIL900
k12_4_2FAIL900
Core1108_tbm_21.tex.module.000008FAIL900
c5_BMC_p2_k64FAIL900
pi-bus-fixpoint-3FAIL900
f600-00FAIL900
f600-50FAIL900
ii8d1-00FAIL900
small-pipeline-fixpoint-6FAIL900
ii8d1-90FAIL900
small-equiv-fixpoint-6FAIL900
ssa7552-158-00FAIL900
stmt39_285_335FAIL900
usb-phy-fixpoint-3FAIL900
Umbrella_tbm_05.tex.module.000039FAIL900
Core1108_tbm_21.tex.module.000030FAIL900
k7_4_4FAIL900
c3_Debug_s3_f2_e2_v2FAIL900
cf_4_9x9_r_FAIL900
gttt_2_1_00011020_4x4_bFAIL900
gttt_1_1_00101121_4x4_torus_wFAIL900
cmu.dme1.B-f3FAIL900
eijk.bs1512.S-f4FAIL900
eijk.bs3384.S-f4FAIL900
nusmv.tcas^2.B-f2FAIL900
nusmv.tcas^3.B-f2FAIL900
nusmv.tcas^4.B-f3FAIL900
nusmv.tcas^6.B-f4FAIL900
sortnetsort10.v.stepl.005FAIL900
sortnetsort8.v.stepl.007FAIL900
b22_PR_8_20FAIL900
b22_C_2_12FAIL900
gttt_2_1_00102030_4x4_torus_bFAIL900
nusmv.tcas-t^1.B-d2FAIL900
eijk.bs4863.S-d4FAIL900
cf_5_5x6_r_FAIL900
cf_6_9x7_r_FAIL900
cf_7_8x7_r_FAIL900
s1196_d5_uFAIL900
s1196_d7_uFAIL900
s1269_d5_sFAIL900
ev-pr-6x6-17-5-0-1-2-lgFAIL900
s1196_1_5FAIL900
query44_query26_1344nFAIL900
query42_query06_1344nFAIL900
query31_reachqu_1344nFAIL900
query03_query25_1344FAIL900
s499_d19_sFAIL900
b21_C_3_206FAIL900
b20_PR_7_20FAIL900
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-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
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_f1_e1_v1FAIL900
c1_Debug_s3_f2_e1_v1FAIL900
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.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.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-007FAIL900
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
arbiter-06-comp-error01-qbf-hardness-depth-15FAIL900
sortnetsort9.AE.stepl.009FAIL900
sortnetsort9.AE.stepl.012FAIL900
sortnetsort9.v.stepl.007FAIL900
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
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.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.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-005FAIL900
c1_Debug_s3_f2_e1_v2FAIL900