Instances solved by CUED1919_NNL
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
halfadder_match2.unsatFAIL0
C432.blif_0.10_0.20_0_0_out_exactFAIL0.01
mvs16y.unsatFAIL0.01
s00400_PR_9_90FAIL0.01
C432.blif_0.10_0.20_0_1_out_exactFAIL0.02
test4_quant_squaring2FAIL0.02
equalization32SAT0.03
halfadder_match2.satSAT0.03
C880.blif_0.10_0.20_0_0_inp_exactFAIL0.03
C880.blif_0.10_0.20_0_1_inp_exactFAIL0.03
C880.blif_0.10_1.00_0_0_inp_exactFAIL0.03
C880.blif_0.10_0.20_0_0_out_exactFAIL0.04
C499.blif_0.10_0.20_0_1_out_exactFAIL0.04
lights3_021_1_022FAIL0.04
C880.blif_0.10_0.20_0_1_out_exactFAIL0.04
C499.blif_0.10_0.20_0_0_inp_exactFAIL0.04
C499.blif_0.10_0.20_0_0_out_exactFAIL0.04
C880.blif_0.10_1.00_0_0_out_exactFAIL0.04
test3_quant_squaring4FAIL0.04
test5_quant_squaring5FAIL0.05
test4_quant_squaring4FAIL0.06
Core1108_tbm_21.tex.module.000030FAIL0.07
add4_REDUCEDFAIL0.08
Core1108_tbm_21.tex.module.000008FAIL0.09
add4_COMPLETEFAIL0.09
unit11_3_bFAIL0.1
test1_quant_squaring2FAIL0.1
driver_d9y.unsatFAIL0.12
add5_REDUCEDFAIL0.13
uclid-pipe2FAIL0.14
add5_COMPLETEFAIL0.14
uclid-pipe3aFAIL0.14
cmu.dme1.B-f3FAIL0.17
add6_REDUCEDFAIL0.17
tlc05-nonuniform-depth-6FAIL0.17
add6_COMPLETEFAIL0.18
add7_REDUCEDFAIL0.23
test1_quant_squaring3FAIL0.24
sortnetsort8.v.stepl.007FAIL0.24
add7_COMPLETEFAIL0.25
sortnetsort9.v.stepl.005FAIL0.25
eijk.S713.S-f2FAIL0.27
gttt_1_1_001020_3x3_torus_bFAIL0.28
cmu.dme2.B-f3FAIL0.29
tlc04-nonuniform-depth-8FAIL0.29
Umbrella_tbm_05.tex.module.000039FAIL0.35
incrementer-enc03-nonuniform-depth-5FAIL0.39
sortnetsort10.v.stepl.005FAIL0.42
sortnetsort9.v.stepl.007FAIL0.42
eijk.bs3330.S-d3FAIL0.45
kmdf_pcidrv_sys_hw_physet.cFAIL0.54
C6288.blif_0.10_1.00_0_0_inp_exactFAIL0.55
C6288.blif_0.10_1.00_0_1_inp_exactFAIL0.55
cnt08eFAIL0.57
C6288.blif_0.10_0.20_0_1_inp_exactFAIL0.57
ltl2dba_C2-6_comp3_REAL.unsatFAIL0.58
C6288.blif_0.10_0.20_0_0_inp_exactFAIL0.58
Adder2-8-cFAIL0.59
s05378_PR_9_75FAIL0.6
C6288.blif_0.10_0.20_0_0_out_exactFAIL0.63
C6288.blif_0.10_0.20_0_1_out_exactFAIL0.63
C6288.blif_0.10_1.00_0_0_out_exactFAIL0.63
s09234_PR_9_5FAIL0.73
Adder2-8-sFAIL0.74
C5315.blif_0.10_0.20_0_1_inp_exactFAIL0.85
C5315.blif_0.10_0.20_0_0_inp_exactFAIL0.86
amba2f9n.unsatFAIL0.87
C5315.blif_0.10_1.00_0_0_out_exactFAIL0.92
adder-12-unsatFAIL1.01
C5315.blif_0.10_0.20_0_0_out_exactFAIL1.07
C5315.blif_0.10_0.20_0_1_out_exactFAIL1.08
tlc03-nonuniform-depth-19FAIL1.33
dungeon_i20-m100-u4-v0.pddl_planlen=6FAIL1.58
ii8d1-90FAIL1.75
Adder2-10-sFAIL1.84
b14_PR_1_50FAIL1.96
cmu.gigamax.B-d4FAIL2
k5_2_3FAIL2.19
query03_query25_1344FAIL2.24
f600-50FAIL2.33
ii8d1-00FAIL2.36
adder-10-satFAIL2.51
ken.oop^2.C-d3FAIL2.53
s641_d6_sFAIL2.53
small-bug1-fixpoint-7SAT2.58
tlc04-nonuniform-depth-27FAIL2.62
k5_3_2FAIL2.63
b20_PR_7_20FAIL2.66
f600-00FAIL2.76
unit6_3_bFAIL2.85
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-005FAIL3.08
ltl2dpa_C26_comp2_REAL.unsatFAIL3.3
arbiter-05-comp-error01-qbf-hardness-depth-8FAIL3.33
uclid-pipe3bFAIL3.35
incrementer-enc04-nonuniform-depth-17FAIL3.4
incrementer-enc06-nonuniform-depth-10FAIL3.42
eijk.S1196.S-f2FAIL3.48
s641_d7_uFAIL3.61
nusmv.tcas-t^1.B-d2FAIL3.65
test2_quant_squaring2FAIL4.1
k6_2_3FAIL4.37
ssa7552-158-00FAIL4.41
s713_d7_uFAIL4.44
ken.oop^2.C-d4FAIL4.95
driver_a9n.unsatFAIL5
adder-12-satFAIL5.39
genbuf9b4n.unsatFAIL5.6
s1196_1_5FAIL5.68
filesys_smbmrx_midatlas.cFAIL5.96
stay24n.unsatFAIL6.18
network_ndis_rtlnwifi_hw_hw_ccmp.cFAIL6.2
texas.PI_main^08.E-f3FAIL6.39
s298_d17_sFAIL6.52
test2_quant3FAIL6.69
s1196_d5_uFAIL7.09
Adder2-14-sFAIL7.22
test2_quant_squaring3FAIL7.29
genbuf10b4n.unsatFAIL7.6
texas.PI_main^05.E-f3FAIL7.91
incrementer-enc08-nonuniform-depth-24FAIL8.29
s1269_d5_sFAIL8.37
b22_PR_8_20FAIL8.83
audio_ddksynth_csynth2.cppFAIL9
nusmv.reactor^3.C-d4FAIL9.37
ken.flash^08.C-d4FAIL9.47
nusmv.tcas^2.B-f2FAIL9.75
adder-14-satFAIL10.05
cf_5_5x6_r_FAIL10.46
nusmv.tcas^3.B-f2FAIL10.55
tlc02-nonuniform-depth-73FAIL10.7
eijk.bs1512.S-f4FAIL11.1
s15850_PR_0_50FAIL11.15
Adder2-16-cFAIL11.6
gttt_1_1_000111_4x4_torus_bFAIL11.76
cycle_sched_6_7_1.unsatFAIL11.99
gttt_1_1_00101121_4x4_torus_wFAIL12.4
gttt_1_1_000111_4x4_torus_wFAIL12.79
incrementer-enc07-uniform-depth-25FAIL13.02
k_branch_n-10FAIL13.27
cnt16FAIL13.31
k_branch_p-10FAIL13.66
cf_4_7x4_d_FAIL13.98
Adder2-16-sFAIL14.26
k7_2_2FAIL14.35
cnt16rFAIL14.57
dungeon_i30-m30-u5-v0.pddl_planlen=4FAIL15.16
incrementer-enc08-uniform-depth-33FAIL16.39
s713_d11_uFAIL16.52
b15_PR_4_2FAIL17.65
arbiter-08-comp-error02-qbf-hardness-depth-9FAIL18.09
s298_d25_uFAIL18.8
neclaftp4001UNSAT20.84
s1196_d7_uFAIL21.42
mult_bool_matrix_10_9_11.unsatFAIL21.84
s499_d19_sFAIL22.91
k_branch_p-11FAIL22.94
k_branch_n-11FAIL23.6
incrementer-enc05-nonuniform-depth-22FAIL24.14
amba4b9y.unsatFAIL26.18
arbiter-06-comp-error01-qbf-hardness-depth-11FAIL27.12
tlc01-nonuniform-depth-63FAIL27.4
emptyroom_e3_ser---19_FAIL27.76
tlc04-nonuniform-depth-64FAIL27.89
s38584_3_238FAIL28.56
cf_6_6x6_w_FAIL29.21
b17_PR_0_90FAIL29.54
incrementer-enc06-uniform-depth-24FAIL31.76
tlc03-nonuniform-depth-67FAIL32.03
tlc05-nonuniform-depth-73FAIL36.72
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-007FAIL38.88
add4_CHOOSEFAIL38.88
ev-pr-4x4-17-3-0-0-1-lgFAIL44.73
k_branch_n-12FAIL47.44
k_branch_p-12FAIL48.32
s820_d10_sFAIL50.27
tlc02-uniform-depth-151FAIL50.91
nusmv.tcas^4.B-f3FAIL58.95
dungeon_i10-m10-u10-v0.pddl_planlen=166FAIL61.59
s499_d25_uFAIL61.83
query10_query36_1344FAIL63.14
b22_C_2_12FAIL64.45
dungeon_i15-m7-u4-v0.pddl_planlen=81FAIL70.11
incrementer-enc02-uniform-depth-58FAIL71.22
eijk.bs4863.S-d4FAIL71.91
incrementer-enc02-uniform-depth-63FAIL85.89
s3330_d4_sFAIL86.28
s1269_d10_sFAIL90.65
incrementer-enc02-nonuniform-depth-58FAIL91.19
incrementer-enc02-nonuniform-depth-59FAIL94.18
dungeon_i30-m30-u5-v0.pddl_planlen=8FAIL97.08
query31_reachqu_1344nSAT97.86
incrementer-enc02-nonuniform-depth-60FAIL99.17
sortnetsort9.AE.stepl.012UNSAT108.53
b18_PR_4_2FAIL108.67
depots09_13FAIL117.83
AR-fixpoint-9FAIL118.47
AR-fixpoint-7FAIL119.64
pipesnotankage17_5FAIL120.72
load_3c_comp_comp7_REAL.unsatFAIL120.94
pipesnotankage19_7FAIL122.03
depots09_12FAIL123.73
pipesnotankage17_7FAIL123.91
freecell03_5FAIL124.35
depots09_11FAIL125.15
freecell02_6FAIL125.39
ken.flash^05.C-d3FAIL125.7
pipesnotankage19_9FAIL126.04
freecell02_4FAIL126.99
c1_Debug_s3_f2_e1_v2FAIL127.32
ev-pr-4x4-5-3-0-0-1-sFAIL128.13
dungeon_i30-m30-u5-v0.pddl_planlen=9FAIL128.25
k8_2_3FAIL132.27
depots13_9FAIL132.7
pipesnotankage17_6FAIL144.03
k8_3_2FAIL144.43
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-007FAIL144.55
connect_7x6_4_RFAIL148.58
c3_Debug_s3_f2_e2_v3FAIL156.08
k7_4_4FAIL157.2
nusmv.tcas^6.B-f4FAIL161.7
c3_Debug_s3_f2_e2_v2FAIL169.72
k_branch_p-14FAIL171.31
ken.flash^11.C-f3FAIL174.5
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-007FAIL176.12
add7_CHOOSEFAIL186.07
c1_Debug_s3_f1_e1_v1FAIL189.21
c1_Debug_s3_f2_e1_v1FAIL194.8
s820_d15_uFAIL200.67
eijk.bs3384.S-f4FAIL207.96
ken.flash^09.C-d4FAIL208.26
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-007FAIL212.35
gttt_2_1_001020_4x4_torus_wFAIL224.71
s510_d36_sFAIL226.42
k_ph_p-11FAIL245.69
pipesnotankage04_5FAIL247.71
gttt_2_1_00102030_4x4_torus_bFAIL259.9
input_mouser_detect.cFAIL293.25
filesys_smbmrx_cvsndrcv.cFAIL293.4
s510_d41_sFAIL298.57
input_mouser_cseries.cFAIL298.61
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-010FAIL303.39
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-009FAIL308.72
cf_7_8x7_r_FAIL313.16
query21_query58_1344nUNSAT318.11
kernel_agplib_intrface.cFAIL323.95
network_trans_sys_notify.cFAIL330.48
hid_hclient_ecdisp.cFAIL331.18
network_ndis_coisdn_TpiParam.cFAIL332.33
input_pnpi8042_moudep.cFAIL332.85
network_irda_miniport_nscirda_settings.cFAIL335.45
filesys_fastfat_easup.cFAIL336.32
k8_3_4FAIL338.83
dungeon_i15-m7-u4-v0.pddl_planlen=168FAIL345.58
arbiter-06-comp-error01-qbf-hardness-depth-15FAIL345.69
load_full_4_comp3_REAL.unsatFAIL348.63
c4_Debug_s3_f1_e1_v2FAIL367.29
gttt_2_1_00011020_4x4_bFAIL385.78
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-008FAIL396.69
connect_8x7_6_RFAIL402.66
network_irda_miniport_nscirda_comm.cFAIL406.67
counter_re_32FAIL418.22
c2_Debug_s3_f1_e1_v2FAIL430.43
ev-pr-4x4-7-3-0-0-1-sFAIL437.36
fpu-10Xh-correct02-nonuniform-depth-2FAIL439.3
cf_8_8x8_d_FAIL457.63
add6_CHOOSEFAIL466.86
c4_Debug_s3_f1_e2_v3FAIL467.25
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-008FAIL471.11
c4_Debug_s3_f1_e2_v2FAIL471.16
k_branch_p-16FAIL480.77
c2_Debug_s3_f2_e1_v3FAIL483.07
k8_4_3FAIL484.32
mult_bool_matrix_17_17_17.unsatFAIL494.53
freecell03_7FAIL495.44
pipesnotankage16_10FAIL496.8
pipesnotankage14_10FAIL498.37
connect_8x7_5_RFAIL502.4
pipesnotankage13_5FAIL512.55
ev-pr-6x6-11-5-0-1-2-lgFAIL523.95
pipesnotankage18_8FAIL526.02
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-010FAIL527.79
AR-fixpoint-5FAIL528.78
c4_Debug_s3_f2_e2_v3FAIL536.25
depots16_5FAIL537.41
freecell03_6FAIL546.5
fpu-10Xh-correct04-uniform-depth-3FAIL554.66
fpu-10Xh-correct03-uniform-depth-3FAIL554.78
mult_bool_matrix_17_17_17.satFAIL560.86
beemldelec4b1_c0to127.unsatFAIL562.83
connect_8x7_4_RFAIL579.36
c4_Debug_s3_f2_e2_v2FAIL582.47
cf_3_9x6_r_FAIL592.47
cf_2_9x6_r_FAIL598.73
cf_7_8x8_r_FAIL604.42
pipesnotankage11_8FAIL635.32
k_branch_n-17FAIL675.11
pipesnotankage15_10FAIL676.37
pipesnotankage18_7FAIL692.73
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009FAIL736.01
ev-pr-6x6-13-5-0-1-2-lgFAIL759.18
cf_6_9x7_r_FAIL765.04
add5_CHOOSEFAIL779.5
s3330_d10_uFAIL788.67
fpu-01Xh-error02-nonuniform-depth-3FAIL793.72
ev-pr-4x4-9-3-0-0-1-sFAIL809.74
arbiter-09-comp-error01-qbf-hardness-depth-15FAIL847.03
oski3ub5i_c0to255.unsatFAIL879.72
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009FAIL885.41
b20_C_3_2FAIL885.75
dungeon_i25-m12-u5-v0.pddl_planlen=143FAIL900
mvs16y.satFAIL900
ev-pr-8x8-13-7-0-1-2-lgFAIL900
ev-pr-4x4-17-3-0-0-1-sFAIL900
ev-pr-6x6-19-5-0-1-2-lgFAIL900
stay24n.satFAIL900
driverlog13_6FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=59FAIL900
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=128FAIL900
ev-pr-8x8-17-7-0-1-2-lgFAIL900
dungeon_i25-m12-u3-v0.pddl_planlen=146FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=81FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=86FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=92FAIL900
driverlog12_7FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=98FAIL900
ev-pr-6x6-17-5-0-1-2-sFAIL900
ev-pr-6x6-13-5-0-1-2-sFAIL900
ev-pr-6x6-11-5-0-1-2-sFAIL900
ev-pr-4x4-15-3-0-0-1-sFAIL900
depots08_6FAIL900
depots07_8FAIL900
dungeon_i25-m12-u3-v0.pddl_planlen=125FAIL900
kenflashp12FAIL900
ActivityService2FAIL900
ev-pr-4x4-11-3-0-0-1-sFAIL900
counter_64FAIL900
ev-pr-6x6-5-5-0-1-2-sFAIL900
LoginService2FAIL900
ev-pr-6x6-19-5-0-1-2-sFAIL900
k_branch_n-21FAIL900
szymanski-24-sFAIL900
ev-pr-8x8-15-7-0-1-2-lgFAIL900
ProcessBeanFAIL900
connect_9x8_6_RFAIL900
pdtpmsmiimFAIL900
szymanski-20-sFAIL900
k_branch_p-21FAIL900
eijkbs4863FAIL900
bobsmfpuFAIL900
intermediate128FAIL900
floor256FAIL900
decomposition256FAIL900
ceiling128FAIL900
unit9_2_bFAIL900
unit8_2_bFAIL900
k_ph_p-20FAIL900
unit12_2_bFAIL900
k_ph_p-12FAIL900
connect_9x8_3_RFAIL900
ProjectService3FAIL900
UserServiceImplFAIL900
genbuf9b4n.satFAIL900
beemldelec4b1_c0to127.satFAIL900
oski3ub5i_c0to255.satFAIL900
load_3c_comp_comp7_REAL.satFAIL900
load_full_4_comp3_REAL.satFAIL900
arbiter-09-comp-error01-qbf-hardness-depth-21FAIL900
ev-pr-8x8-11-7-0-1-2-lgFAIL900
ltl2dba_C2-6_comp3_REAL.satFAIL900
ev-pr-6x6-15-5-0-1-2-sFAIL900
ltl2dpa_C26_comp2_REAL.satFAIL900
mult_bool_matrix_10_9_11.satFAIL900
ev-pr-8x8-19-7-0-1-2-lgFAIL900
genbuf10b4n.satFAIL900
driver_d9y.satFAIL900
amba2f9n.satFAIL900
ev-pr-6x6-15-5-0-1-2-lgFAIL900
amba4b9y.satFAIL900
k_branch_n-20FAIL900
cycle_sched_4_7_1.satFAIL900
cycle_sched_4_7_1.unsatFAIL900
cycle_sched_6_7_1.satFAIL900
driver_a9n.satFAIL900
ev-pr-4x4-13-3-0-0-1-sFAIL900
arbiter-10-comp-error01-qbf-hardness-depth-24FAIL900
arbiter-10-comp-error01-qbf-hardness-depth-23FAIL900
ev-pr-6x6-9-5-0-1-2-sFAIL900
cache-coherence-3-fixpoint-3FAIL900
k12_3_2FAIL900
k12_4_2FAIL900
stmt32_329_378FAIL900
stmt19_83_412FAIL900
stmt21_181_369FAIL900
stmt21_310_360FAIL900
stmt41_160_235FAIL900
stmt19_313_412FAIL900
stmt21_319_418FAIL900
stmt39_285_335FAIL900
stmt29_226_376FAIL900
stmt17_86_98FAIL900
stmt17_63_82FAIL900
stmt17_70_90FAIL900
k10_4_3FAIL900
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-010FAIL900
k14_4_4FAIL900
small-seq-fixpoint-3FAIL900
small-pipeline-fixpoint-6FAIL900
small-seq-fixpoint-7FAIL900
small-equiv-fixpoint-6FAIL900
small-seq-fixpoint-8FAIL900
itc-b13-fixpoint-5FAIL900
usb-phy-fixpoint-3FAIL900
small-seq-fixpoint-9FAIL900
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
rankfunc35_signed_32FAIL900
rankfunc60_signed_32FAIL900
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
k14_2_3FAIL900
stmt23_66_96FAIL900
stmt17_82_98FAIL900
c2_BMC_p1_k2048FAIL900
c1_BMC_p2_k2048FAIL900
c1_BMC_p2_k1024FAIL900
c1_BMC_p1_k2048FAIL900
ring_r7_ser--opt-20_FAIL900
ring_r7_ser---19_FAIL900
ring_r6_ser--opt-17_FAIL900
emptyroom_e4_ser--opt-44_FAIL900
emptyroom_e4_par---21_FAIL900
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
cube_c7_ser---23_FAIL900
cube_c11_ser--opt-42_FAIL900
blocks_enc_2_b4_ser--opt-26_FAIL900
c4_Debug_s5_f2_e2_v1FAIL900
c3_BMC_p1_k256FAIL900
c5_BMC_p1_k128FAIL900
c5_BMC_p1_k32FAIL900
stmt28_68_81FAIL900
stmt23_72_76FAIL900
stmt17_70_98FAIL900
stmt17_62_98FAIL900
stmt19_64_99FAIL900
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-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-010FAIL900
c5_BMC_p2_k64FAIL900
c5_BMC_p2_k512FAIL900
c5_BMC_p2_k256FAIL900
c5_BMC_p2_k128FAIL900
c5_BMC_p2_k1024FAIL900
c5_BMC_p1_k64FAIL900
c1_Debug_s5_f1_e1_v2FAIL900
k_ph_p-21FAIL900
arbiter-07-comp-error01-qbf-hardness-depth-20FAIL900
k_ph_p-19FAIL900
k_ph_p-13FAIL900
k_ph_p-14FAIL900
k_ph_p-15FAIL900
cf_4_9x9_r_FAIL900
cf_5_9x9_d_FAIL900
fpu-10Xh-correct04-uniform-depth-24FAIL900
fpu-10Xh-correct04-nonuniform-depth-13FAIL900
fpu-10Xh-correct03-uniform-depth-14FAIL900
fpu-10Xh-correct03-uniform-depth-10FAIL900
fpu-10Xh-correct03-nonuniform-depth-26FAIL900
fpu-10Xh-correct03-nonuniform-depth-22FAIL900
fpu-10Xh-correct02-uniform-depth-13FAIL900
k_ph_p-18FAIL900
arbiter-10-comp-error01-qbf-hardness-depth-22FAIL900
k_ph_p-17FAIL900
ev-pr-6x6-7-5-0-1-2-sFAIL900
query44_query26_1344nFAIL900
query42_query06_1344nFAIL900
k_branch_p-18FAIL900
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
driverlog10_6FAIL900
depots03_9FAIL900
k_branch_p-19FAIL900
b21_C_3_206FAIL900
fpu-10Xh-correct02-nonuniform-depth-8FAIL900
fpu-10Xe-correct02-uniform-depth-20FAIL900
audio_ac97_wavepcistream.cppFAIL900
small-seq-fixpoint-5FAIL900
small-synabs-fixpoint-3FAIL900
sortnetsort9.AE.stepl.009FAIL900
small-dyn-partition-fixpoint-8FAIL900
small-pipeline-fixpoint-7FAIL900
small-equiv-fixpoint-10FAIL900
AR-fixpoint-1FAIL900
cache-coherence-2-fixpoint-4FAIL900
pi-bus-fixpoint-1FAIL900
sdlx-fixpoint-3FAIL900
small-equiv-fixpoint-9FAIL900
AR-fixpoint-3FAIL900
pi-bus-fixpoint-3FAIL900
hid_firefly_app_firefly.cppFAIL900
AVStream_hwsim.cppFAIL900
filesys_cdfs_namesup.cFAIL900
fpu-10Xe-correct02-nonuniform-depth-6FAIL900
fpu-10Xe-correct02-nonuniform-depth-16FAIL900
fpu-01Xh-error02-uniform-depth-8FAIL900
fpu-01Xh-error02-uniform-depth-18FAIL900
fpu-01Xh-error02-nonuniform-depth-7FAIL900
fpu-01Xh-error02-nonuniform-depth-22FAIL900
fpu-01Xh-error02-nonuniform-depth-13FAIL900
cube_c11_par---13_FAIL900
cf_8_9x8_d_FAIL900
ev-pr-6x6-17-5-0-1-2-lgFAIL900
kmdf_AMCC5933_sys_S5933DK1.cFAIL900
network_ndis_rtlnwifi_extsta_st_misc.cFAIL900
network_usbnwifi_mp_util.cFAIL900
filesys_cdfs_allocsup.cFAIL900
cache-coherence-2-fixpoint-6FAIL900