Instances solved by CUED1919_NL
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
halfadder_match2.unsatFAIL0.01
s00400_PR_9_90FAIL0.01
mvs16y.unsatFAIL0.02
C432.blif_0.10_0.20_0_0_out_exactFAIL0.02
C432.blif_0.10_0.20_0_1_out_exactFAIL0.02
halfadder_match2.satSAT0.03
C880.blif_0.10_0.20_0_1_inp_exactFAIL0.04
C880.blif_0.10_0.20_0_1_out_exactFAIL0.04
C880.blif_0.10_0.20_0_0_inp_exactFAIL0.04
C880.blif_0.10_0.20_0_0_out_exactFAIL0.04
C880.blif_0.10_1.00_0_0_inp_exactFAIL0.04
C880.blif_0.10_1.00_0_0_out_exactFAIL0.05
C499.blif_0.10_0.20_0_0_out_exactFAIL0.05
lights3_021_1_022FAIL0.05
C499.blif_0.10_0.20_0_1_out_exactFAIL0.05
C499.blif_0.10_0.20_0_0_inp_exactFAIL0.06
equalization32SAT0.09
test4_quant_squaring2FAIL0.1
add4_REDUCEDFAIL0.11
unit11_3_bFAIL0.11
add4_COMPLETEFAIL0.13
tlc05-nonuniform-depth-6FAIL0.18
add5_REDUCEDFAIL0.19
add5_COMPLETEFAIL0.21
test3_quant_squaring4FAIL0.22
tlc04-nonuniform-depth-8FAIL0.3
test5_quant_squaring5FAIL0.3
add6_REDUCEDFAIL0.31
add6_COMPLETEFAIL0.33
driver_d9y.unsatFAIL0.34
Core1108_tbm_21.tex.module.000030FAIL0.35
test4_quant_squaring4FAIL0.36
incrementer-enc03-nonuniform-depth-5FAIL0.4
Core1108_tbm_21.tex.module.000008FAIL0.45
add7_REDUCEDFAIL0.46
add7_COMPLETEFAIL0.49
test1_quant_squaring2FAIL0.56
C6288.blif_0.10_1.00_0_0_inp_exactFAIL0.59
C6288.blif_0.10_1.00_0_1_inp_exactFAIL0.59
cmu.dme1.B-f3FAIL0.63
C6288.blif_0.10_0.20_0_1_inp_exactFAIL0.65
C6288.blif_0.10_0.20_0_0_inp_exactFAIL0.65
C6288.blif_0.10_1.00_0_0_out_exactFAIL0.67
uclid-pipe3aFAIL0.68
s05378_PR_9_75FAIL0.69
C6288.blif_0.10_0.20_0_1_out_exactFAIL0.7
C6288.blif_0.10_0.20_0_0_out_exactFAIL0.71
uclid-pipe2FAIL0.74
s09234_PR_9_5FAIL0.81
sortnetsort8.v.stepl.007FAIL0.83
C5315.blif_0.10_1.00_0_0_out_exactFAIL0.92
sortnetsort9.v.stepl.005FAIL1.05
eijk.S713.S-f2FAIL1.11
cmu.dme2.B-f3FAIL1.15
gttt_1_1_001020_3x3_torus_bFAIL1.28
tlc03-nonuniform-depth-19FAIL1.37
test1_quant_squaring3FAIL1.38
sortnetsort9.v.stepl.007FAIL1.45
amba2f9n.unsatFAIL1.66
eijk.bs3330.S-d3FAIL1.75
Umbrella_tbm_05.tex.module.000039FAIL1.8
dungeon_i20-m100-u4-v0.pddl_planlen=6FAIL1.9
sortnetsort10.v.stepl.005FAIL1.92
ltl2dba_C2-6_comp3_REAL.unsatFAIL1.93
b14_PR_1_50FAIL2.2
kmdf_pcidrv_sys_hw_physet.cFAIL2.24
C5315.blif_0.10_0.20_0_1_inp_exactFAIL2.62
C5315.blif_0.10_0.20_0_0_inp_exactFAIL2.63
small-bug1-fixpoint-7SAT2.64
tlc04-nonuniform-depth-27FAIL2.66
C5315.blif_0.10_0.20_0_0_out_exactFAIL2.77
C5315.blif_0.10_0.20_0_1_out_exactFAIL2.77
unit6_3_bFAIL2.82
Adder2-8-cFAIL2.9
b20_PR_7_20FAIL3.04
incrementer-enc06-nonuniform-depth-10FAIL3.45
incrementer-enc04-nonuniform-depth-17FAIL3.5
cnt08eFAIL4.05
Adder2-8-sFAIL4.68
adder-12-unsatFAIL4.97
incrementer-enc08-nonuniform-depth-24FAIL8.6
cmu.gigamax.B-d4FAIL9.4
b22_PR_8_20FAIL9.68
ii8d1-90FAIL10.6
Adder2-10-sFAIL11.25
tlc02-nonuniform-depth-73FAIL11.29
s641_d6_sFAIL11.85
s15850_PR_0_50FAIL12.02
ken.oop^2.C-d3FAIL12.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-005FAIL12.75
incrementer-enc07-uniform-depth-25FAIL13.27
ltl2dpa_C26_comp2_REAL.unsatFAIL13.81
driver_a9n.unsatFAIL13.98
f600-50FAIL14.41
ii8d1-00FAIL14.49
query03_query25_1344FAIL14.51
s641_d7_uFAIL15.48
dungeon_i30-m30-u5-v0.pddl_planlen=4FAIL15.53
k5_2_3FAIL15.81
incrementer-enc08-uniform-depth-33FAIL16.27
adder-10-satFAIL17.64
genbuf9b4n.unsatFAIL17.8
f600-00FAIL18.41
b15_PR_4_2FAIL18.87
uclid-pipe3bFAIL19.4
s713_d7_uFAIL19.41
k5_3_2FAIL19.72
eijk.S1196.S-f2FAIL20.2
nusmv.tcas-t^1.B-d2FAIL21.39
arbiter-05-comp-error01-qbf-hardness-depth-8FAIL22.65
genbuf10b4n.unsatFAIL23.2
incrementer-enc05-nonuniform-depth-22FAIL24.46
mult_bool_matrix_10_9_11.unsatFAIL24.81
ken.oop^2.C-d4FAIL26.68
test2_quant_squaring2FAIL26.72
tlc01-nonuniform-depth-63FAIL26.89
tlc04-nonuniform-depth-64FAIL28.99
ken.flash^08.C-d4FAIL29.86
b17_PR_0_90FAIL31.06
incrementer-enc06-uniform-depth-24FAIL31.61
amba4b9y.unsatFAIL31.98
texas.PI_main^08.E-f3FAIL32.35
tlc03-nonuniform-depth-67FAIL32.66
s298_d17_sFAIL32.71
s1196_1_5FAIL33.39
k6_2_3FAIL34.02
ssa7552-158-00FAIL34.27
s1196_d5_uFAIL34.61
texas.PI_main^05.E-f3FAIL35.07
cf_5_5x6_r_FAIL35.41
filesys_smbmrx_midatlas.cFAIL35.72
network_ndis_rtlnwifi_hw_hw_ccmp.cFAIL36.19
neclaftp4001UNSAT36.2
stay24n.unsatFAIL36.57
tlc05-nonuniform-depth-73FAIL37.67
add4_CHOOSEFAIL39.32
s1269_d5_sFAIL39.42
adder-12-satFAIL41.15
test2_quant3FAIL42.93
cf_4_7x4_d_FAIL43.35
Adder2-14-sFAIL46.06
test2_quant_squaring3FAIL46.14
nusmv.reactor^3.C-d4FAIL46.99
nusmv.tcas^2.B-f2FAIL50.18
audio_ddksynth_csynth2.cppFAIL50.38
tlc02-uniform-depth-151FAIL52.24
nusmv.tcas^3.B-f2FAIL54.07
Adder2-16-cFAIL55.22
eijk.bs1512.S-f4FAIL58.2
gttt_1_1_000111_4x4_torus_wFAIL61.23
dungeon_i10-m10-u10-v0.pddl_planlen=166FAIL61.78
gttt_1_1_000111_4x4_torus_bFAIL61.9
s713_d11_uFAIL62.32
cycle_sched_6_7_1.unsatFAIL68.86
dungeon_i15-m7-u4-v0.pddl_planlen=81FAIL70.29
incrementer-enc02-uniform-depth-58FAIL71.56
gttt_1_1_00101121_4x4_torus_wFAIL71.69
adder-14-satFAIL71.8
Adder2-16-sFAIL82.25
s1196_d7_uFAIL83.61
cf_6_6x6_w_FAIL85.08
s298_d25_uFAIL85.88
incrementer-enc02-uniform-depth-63FAIL86.45
incrementer-enc02-nonuniform-depth-58FAIL90.94
k_branch_p-10FAIL95.23
k_branch_n-10FAIL95.29
incrementer-enc02-nonuniform-depth-59FAIL95.95
dungeon_i30-m30-u5-v0.pddl_planlen=8FAIL97.11
s499_d19_sFAIL97.4
cnt16FAIL99.28
incrementer-enc02-nonuniform-depth-60FAIL99.79
pipesnotankage17_5FAIL100.13
k7_2_2FAIL103.66
query31_reachqu_1344nSAT104.1
c1_Debug_s3_f2_e1_v2FAIL104.15
arbiter-08-comp-error02-qbf-hardness-depth-9FAIL109.1
cnt16rFAIL110.34
b18_PR_4_2FAIL110.76
sortnetsort9.AE.stepl.012UNSAT115.9
pipesnotankage19_9FAIL118.18
pipesnotankage19_7FAIL118.73
pipesnotankage17_7FAIL119.1
depots09_13FAIL119.75
pipesnotankage17_6FAIL120.2
s38584_3_238FAIL121.57
depots09_11FAIL121.67
AR-fixpoint-7FAIL121.95
depots09_12FAIL123.87
freecell02_4FAIL124.24
AR-fixpoint-9FAIL124.56
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-007FAIL125.08
dungeon_i30-m30-u5-v0.pddl_planlen=9FAIL125.35
freecell02_6FAIL125.96
freecell03_5FAIL126.83
c3_Debug_s3_f2_e2_v3FAIL129.36
depots13_9FAIL138.69
k_branch_n-11FAIL140.26
k_branch_p-11FAIL144.11
c1_Debug_s3_f1_e1_v1FAIL165.6
c3_Debug_s3_f2_e2_v2FAIL167.26
arbiter-06-comp-error01-qbf-hardness-depth-11FAIL168.52
s499_d25_uFAIL183.28
add7_CHOOSEFAIL183.31
c1_Debug_s3_f2_e1_v1FAIL188.69
eijk.bs4863.S-d4FAIL195.65
s820_d10_sFAIL202.26
nusmv.tcas^4.B-f3FAIL215.05
b22_C_2_12FAIL223.29
load_3c_comp_comp7_REAL.unsatFAIL228.38
s3330_d4_sFAIL235.16
s1269_d10_sFAIL243.71
driverlog10_6FAIL314.79
connect_7x6_4_RFAIL322.9
emptyroom_e3_ser---19_FAIL327.74
cube_c7_ser---23_FAIL328.56
query21_query58_1344nUNSAT331.71
counter_re_32FAIL336.51
stmt28_68_81FAIL339.06
k8_3_2FAIL339.09
stmt17_63_82FAIL339.78
genbuf9b4n.satFAIL339.89
k7_4_4FAIL346.05
stmt19_64_99FAIL347.93
emptyroom_e4_par---21_FAIL349.16
k_branch_n-12FAIL349.27
network_trans_sys_notify.cFAIL349.51
kmdf_AMCC5933_sys_S5933DK1.cFAIL350.19
small-seq-fixpoint-7FAIL350.36
dungeon_i15-m7-u4-v0.pddl_planlen=168FAIL351.2
ev-pr-4x4-17-3-0-0-1-lgFAIL352.48
cf_8_8x8_d_FAIL353.17
gttt_2_1_001020_4x4_torus_wFAIL355.05
gttt_2_1_00011020_4x4_bFAIL355.57
stmt17_70_90FAIL367.87
k_branch_p-19FAIL368.62
k8_4_3FAIL372.16
stmt17_82_98FAIL373.25
cycle_sched_6_7_1.satFAIL376.23
amba4b9y.satFAIL377.05
ev-pr-4x4-5-3-0-0-1-sFAIL379.61
blocks_enc_2_b4_ser--opt-26_FAIL380.12
pi-bus-fixpoint-1FAIL380.83
small-seq-fixpoint-5FAIL382.58
arbiter-06-comp-error01-qbf-hardness-depth-15FAIL382.72
counter_64FAIL383.18
k_ph_p-12FAIL383.2
pipesnotankage04_5FAIL385.39
k_ph_p-11FAIL386.74
emptyroom_e4_ser--opt-44_FAIL391.64
query10_query36_1344FAIL393.51
stmt23_66_96FAIL394.05
bobsmfpuFAIL394.6
k8_3_4FAIL395.4
kernel_agplib_intrface.cFAIL398.56
szymanski-24-sFAIL399.98
arbiter-07-comp-error01-qbf-hardness-depth-20FAIL400.38
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-009FAIL402.02
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-007FAIL402.78
ev-pr-4x4-7-3-0-0-1-sFAIL403.24
nusmv.tcas^6.B-f4FAIL403.53
driver_a9n.satFAIL404.93
arbiter-10-comp-error01-qbf-hardness-depth-22FAIL404.94
k10_4_3FAIL406.3
arbiter-10-comp-error01-qbf-hardness-depth-23FAIL406.58
genbuf10b4n.satFAIL407.03
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-010FAIL407.12
k_ph_p-14FAIL407.37
AVStream_hwsim.cppFAIL408.54
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-009FAIL408.92
input_mouser_detect.cFAIL409.74
network_irda_miniport_nscirda_comm.cFAIL411.02
cf_7_8x8_r_FAIL411.58
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-010FAIL412.59
stmt17_86_98FAIL413.18
query42_query06_1344nFAIL413.91
k_branch_n-17FAIL413.93
k_branch_p-14FAIL414.32
cube_c11_ser--opt-42_FAIL414.48
k12_4_2FAIL415.04
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009FAIL415.07
eijk.bs3384.S-f4FAIL415.96
cf_7_8x7_r_FAIL416.17
k_branch_p-12FAIL418.09
arbiter-10-comp-error01-qbf-hardness-depth-24FAIL418.1
ring_r6_ser--opt-17_FAIL419.63
k_branch_p-16FAIL419.88
load_full_4_comp3_REAL.satFAIL420.84
network_usbnwifi_mp_util.cFAIL421.01
k_branch_n-20FAIL421.59
input_pnpi8042_moudep.cFAIL422.33
gttt_2_1_00102030_4x4_torus_bFAIL422.75
ev-pr-4x4-15-3-0-0-1-sFAIL423.88
k_ph_p-15FAIL425.07
cf_6_9x7_r_FAIL427.07
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009FAIL427.24
connect_8x7_6_RFAIL427.6
small-seq-fixpoint-8FAIL428.55
hid_hclient_ecdisp.cFAIL428.63
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-010FAIL428.94
connect_9x8_6_RFAIL429.4
connect_8x7_5_RFAIL429.84
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-008FAIL431.02
ev-pr-4x4-9-3-0-0-1-sFAIL431.12
network_irda_miniport_nscirda_settings.cFAIL431.14
small-seq-fixpoint-9FAIL432.09
connect_9x8_3_RFAIL432.25
small-equiv-fixpoint-10FAIL432.86
ken.flash^05.C-d3FAIL433.87
s820_d15_uFAIL434.35
ev-pr-6x6-11-5-0-1-2-lgFAIL436.33
k12_3_2FAIL436.62
network_ndis_rtlnwifi_extsta_st_misc.cFAIL436.82
cube_c11_par---13_FAIL437.04
k8_2_3FAIL438.02
arbiter-09-comp-error01-qbf-hardness-depth-15FAIL439.65
k_branch_p-21FAIL439.79
ev-pr-4x4-11-3-0-0-1-sFAIL440.63
beemldelec4b1_c0to127.satFAIL441.26
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-009FAIL442.94
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-010FAIL443.12
connect_8x7_4_RFAIL443.41
ev-pr-4x4-17-3-0-0-1-sFAIL443.54
driverlog13_6FAIL443.61
cf_5_9x9_d_FAIL443.63
szymanski-20-sFAIL445.72
input_mouser_cseries.cFAIL446.29
fpu-10Xh-correct02-nonuniform-depth-2FAIL447.92
ev-pr-4x4-13-3-0-0-1-sFAIL450.19
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-008FAIL452.01
k_ph_p-18FAIL454.01
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-010FAIL456.44
filesys_smbmrx_cvsndrcv.cFAIL456.64
pi-bus-fixpoint-3FAIL459.13
load_3c_comp_comp7_REAL.satFAIL460.31
filesys_fastfat_easup.cFAIL461.19
k_branch_n-21FAIL462.45
driverlog12_7FAIL462.64
cf_3_9x6_r_FAIL463.66
stmt17_70_98FAIL467.03
pipesnotankage13_5FAIL467.71
stmt17_62_98FAIL469.41
k_ph_p-17FAIL469.92
k_branch_p-18FAIL471.94
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-008FAIL472.08
filesys_cdfs_allocsup.cFAIL472.33
small-equiv-fixpoint-9FAIL472.43
ken.flash^11.C-f3FAIL472.48
ring_r7_ser---19_FAIL473.09
arbiter-09-comp-error01-qbf-hardness-depth-21FAIL475.42
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-009FAIL477.79
mult_bool_matrix_17_17_17.satFAIL479.55
c2_Debug_s3_f1_e1_v2FAIL482.08
cf_2_9x6_r_FAIL482.09
pipesnotankage18_8FAIL483.37
ev-pr-6x6-17-5-0-1-2-lgFAIL484.69
ev-pr-6x6-13-5-0-1-2-lgFAIL488.39
AR-fixpoint-1FAIL488.44
ev-pr-6x6-15-5-0-1-2-lgFAIL489.25
c4_Debug_s3_f2_e2_v3FAIL493.35
add5_CHOOSEFAIL494.32
AR-fixpoint-5FAIL496.67
s510_d41_sFAIL498.45
freecell03_7FAIL499.06
c4_Debug_s3_f1_e1_v2FAIL499.71
depots03_9FAIL500.43
freecell03_6FAIL501.82
ring_r7_ser--opt-20_FAIL506.54
cf_8_9x8_d_FAIL507.11
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-008FAIL509.83
c2_Debug_s3_f2_e1_v3FAIL511.7
c4_Debug_s5_f2_e2_v1FAIL511.92
ev-pr-8x8-11-7-0-1-2-lgFAIL512.54
k_ph_p-13FAIL513.33
network_ndis_coisdn_TpiParam.cFAIL515.12
c5_BMC_p1_k32FAIL518.52
ken.flash^09.C-d4FAIL519.82
ev-pr-6x6-19-5-0-1-2-lgFAIL524.93
pipesnotankage14_10FAIL527.36
s3330_d10_uFAIL528.93
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-007FAIL530.09
audio_ac97_wavepcistream.cppFAIL531.59
pipesnotankage18_7FAIL535.17
oski3ub5i_c0to255.satFAIL540.66
filesys_cdfs_namesup.cFAIL542.06
cf_4_9x9_r_FAIL546.39
c4_Debug_s3_f1_e2_v3FAIL547.22
ev-pr-8x8-13-7-0-1-2-lgFAIL547.53
hid_firefly_app_firefly.cppFAIL547.83
cycle_sched_4_7_1.unsatFAIL550.21
s510_d36_sFAIL550.45
fpu-10Xh-correct04-uniform-depth-3FAIL555.63
pipesnotankage16_10FAIL555.64
fpu-10Xh-correct03-uniform-depth-3FAIL562.41
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-007FAIL563.45
c4_Debug_s3_f1_e2_v2FAIL563.69
ev-pr-8x8-15-7-0-1-2-lgFAIL577.97
cycle_sched_4_7_1.satFAIL595.88
AR-fixpoint-3FAIL596.58
add6_CHOOSEFAIL596.65
depots16_5FAIL606.11
mult_bool_matrix_17_17_17.unsatFAIL608.03
c3_BMC_p1_k256FAIL617.73
k14_2_3FAIL619.35
load_full_4_comp3_REAL.unsatFAIL622.03
depots07_8FAIL622.4
ev-pr-8x8-19-7-0-1-2-lgFAIL636.44
pipesnotankage15_10FAIL643.95
c4_Debug_s3_f2_e2_v2FAIL649.71
c5_BMC_p2_k64FAIL662.28
pipesnotankage11_8FAIL666.8
k14_4_4FAIL668.25
c5_BMC_p1_k64FAIL677.55
beemldelec4b1_c0to127.unsatFAIL701.67
k_ph_p-20FAIL726.94
ev-pr-6x6-7-5-0-1-2-sFAIL736.69
b20_C_3_2FAIL737.95
k_ph_p-19FAIL738.38
depots08_6FAIL738.75
sortnetsort9.AE.stepl.009UNSAT751.89
ev-pr-8x8-17-7-0-1-2-lgFAIL752.1
fpu-01Xh-error02-nonuniform-depth-3FAIL799.66
b21_C_3_206FAIL818.21
ev-pr-6x6-9-5-0-1-2-sFAIL829.76
k_ph_p-21FAIL865.43
ev-pr-6x6-5-5-0-1-2-sFAIL888.19
oski3ub5i_c0to255.unsatFAIL889.15
pdtpmsmiimFAIL900
ltl2dpa_C26_comp2_REAL.satFAIL900
ltl2dba_C2-6_comp3_REAL.satFAIL900
UserServiceImplFAIL900
c5_BMC_p2_k512FAIL900
mult_bool_matrix_10_9_11.satFAIL900
ProjectService3FAIL900
stmt41_160_235FAIL900
ProcessBeanFAIL900
LoginService2FAIL900
eijkbs4863FAIL900
kenflashp12FAIL900
ActivityService2FAIL900
stmt19_313_412FAIL900
intermediate128FAIL900
mvs16y.satFAIL900
ev-pr-6x6-17-5-0-1-2-sFAIL900
c5_BMC_p1_k128FAIL900
driver_d9y.satFAIL900
stmt29_226_376FAIL900
ev-pr-6x6-19-5-0-1-2-sFAIL900
stmt23_72_76FAIL900
c1_BMC_p1_k2048FAIL900
c1_BMC_p2_k1024FAIL900
c1_BMC_p2_k2048FAIL900
dungeon_i25-m12-u3-v0.pddl_planlen=146FAIL900
stmt39_285_335FAIL900
stay24n.satFAIL900
c5_BMC_p2_k1024FAIL900
c2_BMC_p1_k2048FAIL900
c5_BMC_p2_k128FAIL900
amba2f9n.satFAIL900
c5_BMC_p2_k256FAIL900
stmt21_319_418FAIL900
ev-pr-6x6-13-5-0-1-2-sFAIL900
ev-pr-6x6-11-5-0-1-2-sFAIL900
fpu-01Xh-error02-nonuniform-depth-13FAIL900
small-dyn-partition-fixpoint-8FAIL900
small-pipeline-fixpoint-7FAIL900
cache-coherence-2-fixpoint-4FAIL900
sdlx-fixpoint-3FAIL900
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
dungeon_i25-m12-u5-v0.pddl_planlen=65FAIL900
cache-coherence-2-fixpoint-6FAIL900
query44_query26_1344nFAIL900
cache-coherence-3-fixpoint-3FAIL900
small-synabs-fixpoint-3FAIL900
fpu-10Xh-correct04-uniform-depth-24FAIL900
fpu-01Xh-error02-nonuniform-depth-22FAIL900
fpu-01Xh-error02-nonuniform-depth-7FAIL900
fpu-01Xh-error02-uniform-depth-18FAIL900
fpu-01Xh-error02-uniform-depth-8FAIL900
fpu-10Xe-correct02-nonuniform-depth-16FAIL900
fpu-10Xe-correct02-nonuniform-depth-6FAIL900
fpu-10Xe-correct02-uniform-depth-20FAIL900
fpu-10Xh-correct02-nonuniform-depth-8FAIL900
fpu-10Xh-correct02-uniform-depth-13FAIL900
fpu-10Xh-correct03-nonuniform-depth-22FAIL900
fpu-10Xh-correct03-nonuniform-depth-26FAIL900
fpu-10Xh-correct03-uniform-depth-10FAIL900
fpu-10Xh-correct04-nonuniform-depth-13FAIL900
small-seq-fixpoint-3FAIL900
small-pipeline-fixpoint-6FAIL900
dungeon_i25-m12-u3-v0.pddl_planlen=125FAIL900
ev-pr-6x6-15-5-0-1-2-sFAIL900
rankfunc35_signed_32FAIL900
rankfunc60_signed_32FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=198FAIL900
stmt32_329_378FAIL900
stmt19_83_412FAIL900
stmt21_181_369FAIL900
unit12_2_bFAIL900
stmt21_310_360FAIL900
unit8_2_bFAIL900
unit9_2_bFAIL900
ceiling128FAIL900
decomposition256FAIL900
fpu-10Xh-correct03-uniform-depth-14FAIL900
c1_Debug_s5_f1_e1_v2FAIL900
small-equiv-fixpoint-6FAIL900
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=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
dungeon_i25-m12-u5-v0.pddl_planlen=86FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=92FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=98FAIL900
itc-b13-fixpoint-5FAIL900
usb-phy-fixpoint-3FAIL900
floor256FAIL900