Instances solved by hiqqer1ldsq
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
qshifter_3SAT0.02
k_d4_n-2SAT0.02
lognBWLARGEA0UNSAT0.02
k_branch_n-2SAT0.02
toilet_g_06_01.2SAT0.02
toilet_g_02_01.2SAT0.02
toilet_g_10_01.2SAT0.02
toilet_g_08_01.2SAT0.02
toilet_g_04_01.2SAT0.02
toilet_g_20_01.2SAT0.02
toilet_g_15_01.2SAT0.02
tree-exa2-20UNSAT0.02
toilet_c_04_01.4UNSAT0.02
toilet_c_06_01.4UNSAT0.02
k_d4_n-1SAT0.02
tree-exa2-10UNSAT0.02
k_d4_p-1UNSAT0.02
impl12SAT0.02
tree-exa2-25UNSAT0.02
k_lin_p-3UNSAT0.02
impl08SAT0.02
impl18SAT0.02
k_grz_n-2SAT0.02
impl04SAT0.02
k_dum_p-3UNSAT0.02
k_dum_p-2UNSAT0.02
k_dum_n-1SAT0.02
k_dum_n-3SAT0.02
k_dum_n-2SAT0.02
stmt17_18_19SAT0.02
toilet_a_04_01.4UNSAT0.02
mutex-2-sSAT0.02
mutex-8-sSAT0.02
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-001UNSAT0.02
impl06SAT0.02
stmt44_107_113SAT0.02
aim-100-1_6-yes1-2-00SAT0.02
stmt1_30_31SAT0.02
Adder2-2-cUNSAT0.02
z4ml.blif_0.10_0.20_0_0_inp_exactUNSAT0.02
k_dum_p-4UNSAT0.02
z4ml.blif_0.10_0.20_0_0_out_exactUNSAT0.02
impl02SAT0.02
z4ml.blif_0.10_0.20_0_1_inp_exactSAT0.02
stmt44_107_108SAT0.02
qshifter_4SAT0.02
s27_d2_sSAT0.02
s298_d2_sSAT0.02
toilet_a_04_01.6UNSAT0.02
tree-exa10-10SAT0.02
toilet_a_02_10.2SAT0.02
toilet_a_04_05.2SAT0.02
k_poly_p-4UNSAT0.02
tree-exa2-50UNSAT0.02
tree-exa2-40UNSAT0.02
impl14SAT0.02
toilet_c_08_01.2UNSAT0.02
tree-exa2-35UNSAT0.02
z4ml.blif_0.10_1.00_0_0_out_exactUNSAT0.02
k_path_n-4SAT0.02
z4ml.blif_0.10_1.00_0_1_inp_exactSAT0.02
tree-exa2-30UNSAT0.02
rewriting_k_23UNSAT0.02
impl10SAT0.02
k_poly_n-2SAT0.02
tree-exa10-30SAT0.02
rewriting_k_19UNSAT0.02
k_path_p-2UNSAT0.02
k_ph_n-3SAT0.02
k_poly_n-5SAT0.02
rewriting_k_50UNSAT0.02
rewriting_k_21UNSAT0.02
k_ph_n-4SAT0.02
rewriting_k_30UNSAT0.02
rewriting_k_25UNSAT0.02
z4ml.blif_0.10_1.00_0_1_out_exactSAT0.02
k_ph_p-3UNSAT0.02
k_path_n-3SAT0.02
k_ph_n-1SAT0.02
cnt02eSAT0.02
rewriting_k_17UNSAT0.02
counter_e_2SAT0.02
flipflop-3-cUNSAT0.02
k_poly_n-6SAT0.02
k_poly_p-2UNSAT0.02
cnt01SAT0.02
impl20SAT0.02
impl16SAT0.02
rewriting_k_10UNSAT0.02
tree-exa2-45UNSAT0.03
toilet_a_06_01.6UNSAT0.03
k_t4p_p-4UNSAT0.03
k_poly_n-7SAT0.03
toilet_c_08_01.6UNSAT0.03
toilet_c_08_01.7UNSAT0.03
toilet_c_06_01.8UNSAT0.03
CHAIN12v.13SAT0.03
k_ph_p-5UNSAT0.03
lognBWLARGEB0UNSAT0.03
k_poly_n-16SAT0.03
k_poly_n-14SAT0.03
ring_r4_ser--opt-11_UNSAT0.03
k_poly_p-14UNSAT0.03
k_poly_p-15UNSAT0.03
k_t4p_n-2SAT0.03
CHAIN14v.15SAT0.03
k_dum_p-16UNSAT0.03
k_grz_p-4UNSAT0.03
k_lin_p-4UNSAT0.03
k_dum_p-12UNSAT0.03
rankfunc5_signed_32SAT0.03
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-003UNSAT0.03
k_poly_p-11UNSAT0.03
k_poly_p-7UNSAT0.03
z4ml.blif_0.10_0.20_0_1_out_exactSAT0.03
k_d4_p-4UNSAT0.03
mutex-16-sSAT0.03
k_poly_p-9UNSAT0.03
rankfunc17_unsigned_16SAT0.03
rewriting_k_75UNSAT0.03
k_poly_p-8UNSAT0.03
flipflop-4-cUNSAT0.03
BLOCKS3iii.4UNSAT0.03
k_dum_n-11SAT0.03
k_path_p-5UNSAT0.03
k_dum_n-5SAT0.03
k_dum_n-9SAT0.03
z4ml.blif_0.10_1.00_0_0_inp_exactUNSAT0.03
k_path_n-9SAT0.03
k_dum_p-14UNSAT0.03
lights3_021_0_027UNSAT0.03
lights3_021_0_009SAT0.03
k_path_n-5SAT0.03
k_dum_p-6UNSAT0.03
k_grz_n-5SAT0.03
qshifter_5SAT0.03
k_d4_n-3SAT0.03
mutex-4-sSAT0.03
k_grz_p-5UNSAT0.03
k_grz_n-4SAT0.03
k_path_n-6SAT0.03
incrementer-enc05-uniform-depth-2UNSAT0.03
k_branch_n-3SAT0.04
k_poly_n-21SAT0.04
k_d4_p-8UNSAT0.04
k_grz_n-6SAT0.04
s27_d3_uUNSAT0.04
k_path_n-13SAT0.04
k_t4p_n-4SAT0.04
k_poly_p-19UNSAT0.04
rankfunc13_signed_32SAT0.04
rankfunc51_signed_32SAT0.04
k_dum_p-21UNSAT0.04
k_poly_n-20SAT0.04
k_d4_p-7UNSAT0.04
k_dum_p-20UNSAT0.04
CHAIN16v.17SAT0.04
k_lin_n-3SAT0.04
k_grz_n-8SAT0.04
k_dum_n-21SAT0.04
CHAIN17v.18SAT0.04
k_dum_n-12SAT0.04
k_dum_n-17SAT0.04
toilet_a_06_01.10UNSAT0.04
k_path_n-12SAT0.04
k_t4p_p-6UNSAT0.04
stmt44_916_917SAT0.04
cnt05SAT0.04
k_ph_n-6SAT0.04
k_poly_p-16UNSAT0.04
CHAIN18v.19SAT0.04
k_path_p-14UNSAT0.04
k_poly_n-18SAT0.04
k_dum_p-17UNSAT0.04
k_poly_n-17SAT0.04
k_path_n-14SAT0.04
k_lin_p-2UNSAT0.04
stmt24_765_766SAT0.04
texas.parsesys^1.E-d4SAT0.04
k_path_p-13UNSAT0.04
flipflop-5-cUNSAT0.04
k_grz_n-7SAT0.04
k_lin_p-14UNSAT0.05
lights3_035_0_027UNSAT0.05
BLOCKS3ii.4.3UNSAT0.05
k_t4p_p-9UNSAT0.05
stmt16_950_951SAT0.05
k_t4p_n-6SAT0.05
stmt27_296_297SAT0.05
k_path_n-19SAT0.05
lights3_035_0_051UNSAT0.05
gttt_2_2_0010_3x3_torus_wUNSAT0.05
k_grz_p-12UNSAT0.05
szymanski-5-sUNSAT0.05
CHAIN21v.22SAT0.05
k_branch_n-4SAT0.05
lights3_035_0_002UNSAT0.05
k_t4p_n-5SAT0.05
k_lin_p-11UNSAT0.05
vis.prodcell^01.E-d2SAT0.05
k_lin_p-12UNSAT0.05
BLOCKS3iii.5SAT0.05
query01_ntrivil_1344UNSAT0.05
k_path_p-19UNSAT0.05
k_lin_p-8UNSAT0.05
k_dum_n-18SAT0.05
rewriting_k_100UNSAT0.05
k_d4_p-11UNSAT0.05
k_path_p-15UNSAT0.05
k_d4_p-10UNSAT0.05
CHAIN20v.21SAT0.05
CHAIN22v.23SAT0.05
k_path_n-16SAT0.05
k_path_p-18UNSAT0.05
k_t4p_p-10UNSAT0.05
k_grz_p-13UNSAT0.05
rankfunc33_signed_32SAT0.05
CHAIN19v.20SAT0.05
rankfunc5_unsigned_64SAT0.05
k_grz_p-11UNSAT0.05
k_grz_p-10UNSAT0.05
k_path_p-16UNSAT0.05
toilet_c_08_01.11UNSAT0.06
vis.4-arbit^2.E-f2SAT0.06
k_lin_p-9UNSAT0.06
k_d4_p-13UNSAT0.06
k_grz_n-10SAT0.06
k_path_p-10UNSAT0.06
k_grz_p-17UNSAT0.06
k_d4_n-7SAT0.06
k_path_p-21UNSAT0.06
CHAIN23v.24SAT0.06
rankfunc13_unsigned_64SAT0.06
k_grz_p-16UNSAT0.06
k_t4p_p-12UNSAT0.06
rankfunc14_signed_64SAT0.06
flipflop-6-cUNSAT0.06
toilet_a_08_05.2UNSAT0.06
k_d4_n-8SAT0.06
k_t4p_p-15UNSAT0.07
k_ph_p-1UNSAT0.07
k_d4_p-17UNSAT0.07
k_lin_n-5SAT0.07
k3_1_1SAT0.07
k_d4_p-16UNSAT0.07
k_lin_p-19UNSAT0.07
k_lin_p-10UNSAT0.07
k_d4_n-10SAT0.07
mutex-32-sSAT0.07
k_grz_p-19UNSAT0.07
k_grz_p-18UNSAT0.07
k_t4p_n-8SAT0.07
k_t4p_p-16UNSAT0.07
term1.blif_0.10_0.20_0_1_out_exactSAT0.07
stmt41_738_749SAT0.07
qshifter_6SAT0.07
tlc03-uniform-depth-9UNSAT0.08
connect_5x4_3_DUNSAT0.08
k_t4p_p-18UNSAT0.08
k_t4p_n-9SAT0.08
k_ph_n-8SAT0.08
k_t4p_p-17UNSAT0.08
k_d4_p-20UNSAT0.08
C432.blif_0.10_1.00_0_0_inp_exactUNSAT0.09
k_t4p_p-20UNSAT0.09
k_ph_n-9SAT0.09
k_t4p_n-12SAT0.09
szymanski-6-sUNSAT0.09
toilet_c_08_05.4SAT0.09
eijk.S382.S-d4SAT0.09
stmt25_52_53SAT0.09
cube_c3_ser--opt-6_SAT0.09
k_grz_n-18SAT0.1
cnt10SAT0.1
rankfunc22_signed_64SAT0.1
k_lin_n-6SAT0.1
vonNeumann-ripple-carry-5-cUNSAT0.1
k_d4_n-14SAT0.1
k_grz_n-20SAT0.1
adder-2-unsatUNSAT0.1
s01238_PR_8_2SAT0.11
query48_query15_1344UNSAT0.11
C432.blif_0.10_1.00_0_1_inp_exactSAT0.11
k_grz_n-21SAT0.11
k_t4p_n-13SAT0.11
k_t4p_n-14SAT0.11
ken.flash^10.C-f2UNSAT0.12
toilet_c_10_01.12UNSAT0.12
flipflop-7-cUNSAT0.12
connect_6x5_5_DUNSAT0.12
texas.PI_main^16.E-f2SAT0.12
k_d4_n-16SAT0.12
k_d4_n-15SAT0.13
C432.blif_0.10_1.00_0_1_out_exactSAT0.13
lut4_XOR_fORUNSAT0.13
k_t4p_n-15SAT0.13
C432.blif_0.10_1.00_0_0_out_exactUNSAT0.13
b12_PR_9_2SAT0.13
lut4_2_fXORSAT0.14
k_d4_n-20SAT0.14
flipflop-8-cUNSAT0.14
BLOCKS3ii.5.2UNSAT0.14
p5-5.pddl_planlen=6SAT0.14
p5-5.pddl_planlen=5SAT0.14
sortnetsort5.v.stepl.004UNSAT0.14
rankfunc3_signed_64SAT0.14
term1.blif_0.10_1.00_0_0_inp_exactUNSAT0.14
mutex-64-sSAT0.14
term1.blif_0.10_1.00_0_0_out_exactUNSAT0.14
small-swap1-fixpoint-3SAT0.15
aim-50-6_0-yes1-3-50UNSAT0.15
c4_BMC_p1_k32SAT0.15
arbiter-07-comp-error01-qbf-hardness-depth-4UNSAT0.15
arbiter-06-comp-error02-qbf-hardness-depth-5UNSAT0.15
lut4_3_fANDSAT0.16
term1.blif_0.10_1.00_0_1_inp_exactSAT0.16
k_branch_p-5UNSAT0.16
k_ph_n-11SAT0.16
lut4_XOR_f1SAT0.17
k_lin_n-7SAT0.17
C432.blif_0.10_0.20_0_1_inp_exactSAT0.18
term1.blif_0.10_0.20_0_1_inp_exactSAT0.18
vonNeumann-ripple-carry-6-cUNSAT0.18
term1.blif_0.10_1.00_0_1_out_exactSAT0.19
ken.flash^10.C-f3UNSAT0.2
C499.blif_0.10_1.00_0_1_inp_exactSAT0.2
arbiter-07-comp-error02-qbf-hardness-depth-6UNSAT0.2
C499.blif_0.10_0.20_0_1_inp_exactSAT0.21
C880.blif_0.10_1.00_0_1_inp_exactSAT0.21
BLOCKS3ii.5.3SAT0.22
ring_r3_ser--opt-8_SAT0.22
lut4_AND_f1SAT0.23
tlc03-nonuniform-depth-17UNSAT0.23
connect_7x6_4_WUNSAT0.23
ev-pr-4x4-5-3-0-0-1-lgSAT0.24
mutex-128-sSAT0.24
flipflop-9-cUNSAT0.24
k_branch_p-6UNSAT0.24
aim-100-6_0-yes1-3-50SAT0.24
toilet_a_08_05.9SAT0.25
small-synabs-fixpoint-9UNSAT0.25
dungeon_i10-m5-u10-v0.pddl_planlen=23UNSAT0.26
BLOCKS4iii.6UNSAT0.27
k_branch_p-8UNSAT0.27
k_branch_n-8SAT0.28
k_lin_n-8SAT0.28
connect_8x7_7_WUNSAT0.29
szymanski-8-sUNSAT0.3
tlc03-uniform-depth-21UNSAT0.31
gttt_2_1_000111_3x3_torus_bSAT0.31
s27_d4_uUNSAT0.31
toilet_a_08_01.13UNSAT0.31
vonNeumann-ripple-carry-7-cUNSAT0.31
biu.mv.xl_ao.bb-b001-p010-IPF02-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003SAT0.32
par8-1-c-50UNSAT0.32
C499.blif_0.10_1.00_0_0_inp_exactUNSAT0.32
biu.mv.xl_ao.bb-b001-p010-OPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003SAT0.32
query21_ntrivil_1344UNSAT0.34
biu.mv.xl_ao.bb-b001-p005-OPF03-c09.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003SAT0.35
driverlog01_7SAT0.35
biu.mv.xl_ao.bb-b001-p010-IPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003SAT0.36
k_ph_n-14SAT0.37
k_lin_n-9SAT0.37
lut4_2_f1SAT0.38
C880.blif_0.10_1.00_0_1_out_exactSAT0.39
query26_query34_1344SAT0.41
gttt_2_2_00101121_3x3_bUNSAT0.42
flipflop-10-cUNSAT0.42
biu.mv.xl_ao.bb-b001-p010-IPF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003SAT0.43
BLOCKS3i.5.4SAT0.43
qshifter_7SAT0.45
cnt14SAT0.47
ken.flash^03.C-f3UNSAT0.48
driverlog03_7SAT0.48
C499.blif_0.10_1.00_0_1_out_exactSAT0.48
c1_BMC_p1_k4SAT0.49
gttt_1_1_001020_3x3_wUNSAT0.49
s386_d2_sSAT0.49
c4_BMC_p2_k128UNSAT0.5
vonNeumann-ripple-carry-8-cUNSAT0.5
lognBWLARGEA1UNSAT0.52
arbiter-06-comp-error01-qbf-hardness-depth-12UNSAT0.54
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-003UNSAT0.56
arbiter-07-comp-error01-qbf-hardness-depth-11UNSAT0.6
ev-pr-4x4-7-3-0-0-1-lgSAT0.61
cnt11SAT0.63
arbiter-10-comp-error01-qbf-hardness-depth-10UNSAT0.64
stmt27_16_97UNSAT0.64
biu.mv.xl_ao.bb-b001-p010-MIF01-c01.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004SAT0.66
flipflop-11-cUNSAT0.69
incrementer-enc03-nonuniform-depth-13UNSAT0.71
Core1108_tbm_21.tex.module.000026UNSAT0.73
k_ph_n-16SAT0.75
vonNeumann-ripple-carry-9-cUNSAT0.76
BLOCKS4i.6.4UNSAT0.79
cache-coherence-2-fixpoint-1UNSAT0.81
szymanski-10-sUNSAT0.82
k_lin_n-11SAT0.84
irst.dme6.B-d2SAT0.86
BLOCKS3i.5.3UNSAT0.86
k_branch_p-16UNSAT0.88
ev-pr-4x4-9-3-0-0-1-lgSAT0.92
ev-pr-6x6-5-5-0-1-2-lgUNSAT0.92
gttt_2_1_0010_4x4_torus_bUNSAT0.92
small-swap2-fixpoint-4SAT0.93
k_branch_n-16SAT0.95
gttt_1_1_000111_3x3_torus_wUNSAT0.99
toilet_a_10_05.3UNSAT0.99
fpu-10Xh-error01-uniform-depth-5UNSAT1.05
term1.blif_0.10_0.20_0_0_inp_exactUNSAT1.06
flipflop-12-cUNSAT1.09
vonNeumann-ripple-carry-10-cUNSAT1.11
s05378_PR_1_75UNSAT1.16
s27_d5_uUNSAT1.21
BLOCKS4ii.7.2UNSAT1.24
fpu-10Xe-correct01-nonuniform-depth-6UNSAT1.25
p10-10.pddl_planlen=10SAT1.26
ev-pr-4x4-11-3-0-0-1-lgSAT1.3
b20_PR_7_90UNSAT1.36
tlc04-uniform-depth-36UNSAT1.41
tlc01-uniform-depth-73UNSAT1.43
test5_quant_squaring4SAT1.52
k_branch_n-9SAT1.53
vonNeumann-ripple-carry-11-cUNSAT1.6
fpu-10Xh-correct04-uniform-depth-8UNSAT1.68
C5315.blif_0.10_1.00_0_0_inp_exactUNSAT1.72
ev-pr-4x4-13-3-0-0-1-lgSAT1.72
C5315.blif_0.10_1.00_0_1_out_exactSAT1.74
k_branch_p-10UNSAT1.85
s09234_PR_8_5SAT1.88
k_branch_n-10SAT1.92
C5315.blif_0.10_1.00_0_1_inp_exactSAT1.93
s09234_PR_8_2SAT2.04
ev-pr-4x4-5-3-0-0-1-sSAT2.15
ev-pr-4x4-15-3-0-0-1-lgSAT2.22
szymanski-12-sUNSAT2.22
vonNeumann-ripple-carry-12-cUNSAT2.23
incrementer-enc07-nonuniform-depth-17UNSAT2.28
s05378_PR_9_2SAT2.29
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-005UNSAT2.46
k_branch_p-11UNSAT2.58
tlc03-uniform-depth-52UNSAT2.67
k_branch_n-11SAT2.69
incrementer-enc07-nonuniform-depth-21UNSAT2.76
lognBWLARGEB1UNSAT2.78
jnh212-50UNSAT2.8
fpu-10Xh-correct04-uniform-depth-14UNSAT2.8
ev-pr-4x4-17-3-0-0-1-lgSAT2.81
incrementer-enc03-nonuniform-depth-24UNSAT2.81
fpu-10Xh-correct04-uniform-depth-15UNSAT2.97
vonNeumann-ripple-carry-13-cUNSAT3
Core1108_tbm_21.tex.module.000027UNSAT3.09
fpu-10Xh-correct04-uniform-depth-16UNSAT3.11
ev-pr-8x8-5-7-0-1-2-lgUNSAT3.21
szymanski-14-sUNSAT3.23
tlc02-uniform-depth-114UNSAT3.3
k_branch_p-12UNSAT3.35
incrementer-enc02-nonuniform-depth-31UNSAT3.48
ev-pr-6x6-7-5-0-1-2-lgUNSAT3.52
fpu-10Xh-correct04-nonuniform-depth-18UNSAT3.54
szymanski-18-sUNSAT4.05
fpu-10Xe-correct01-uniform-depth-22UNSAT4.18
gttt_2_2_001020_4x4_wUNSAT4.34
fpu-10Xe-correct01-nonuniform-depth-24UNSAT4.53
dungeon_i10-m5-u10-v0.pddl_planlen=134UNSAT4.91
k_lin_n-14SAT5.1
fpu-10Xh-correct04-nonuniform-depth-27UNSAT5.11
vonNeumann-ripple-carry-15-cUNSAT5.15
tlc04-nonuniform-depth-56UNSAT5.48
test5_quant_squaring5SAT5.54
szymanski-16-sUNSAT5.73
qshifter_8SAT5.77
emptyroom_e3_ser--opt-20_SAT5.98
c1_BMC_p2_k512UNSAT6.03
Core1108_tbm_03.tex.moduleQ3.2S.000002UNSAT6.4
szymanski-20-sUNSAT6.46
k_lin_n-15SAT6.54
ii32b1-00SAT6.83
par8-4-50UNSAT7.23
ev-pr-6x6-9-5-0-1-2-lgUNSAT8.13
aim-200-1_6-yes1-4-90SAT8.64
cnt07eSAT8.85
k_branch_p-18UNSAT8.94
dungeon_i10-m10-u10-v0.pddl_planlen=187UNSAT9.57
Core1108_tbm_02.tex.moduleQ3.2S.000015UNSAT9.94
cube_c7_ser--opt-24_SAT10.4
s510_d3_sSAT10.46
sortnetsort8.AE.stepl.003SAT10.53
ev-pr-8x8-7-7-0-1-2-lgUNSAT10.53
k_lin_n-17SAT10.66
c1_BMC_p2_k1024UNSAT11.37
term1.blif_0.10_0.20_0_0_out_exactUNSAT11.38
gttt_2_1_00102030_4x4_torus_bUNSAT11.57
par16-1-50UNSAT11.78
szymanski-24-sUNSAT12.92
s15850_PR_2_2SAT13.37
s15850_PR_8_50SAT13.39
k_branch_n-12SAT13.8
sortnetsort7.v.stepl.007SAT13.91
ev-pr-4x4-11-3-0-0-1-sSAT14.04
tlc04-nonuniform-depth-98UNSAT15.05
k_branch_p-21UNSAT16.26
s713_d4_sSAT16.79
s386_d6_sSAT17.98
k_branch_p-14UNSAT18.83
ev-pr-4x4-13-3-0-0-1-sSAT19.39
C432.blif_0.10_0.20_0_0_inp_exactUNSAT19.94
arbiter-06-comp-error01-qbf-hardness-depth-15UNSAT24.79
s298_d12_sSAT25.98
test3_quant_squaring2UNSAT27.51
ev-pr-8x8-9-7-0-1-2-lgUNSAT27.85
s499_d9_sSAT28.17
Umbrella_tbm_24.tex.module.000131SAT28.49
lut4_AND_fXORUNSAT28.89
sortnetsort9.AE.stepl.009UNSAT29.7
connect_5x4_3_RUNSAT30.64
sortnetsort9.AE.stepl.012UNSAT31.73
s386_d7_sSAT33.33
k_ph_n-21SAT33.55
query11_query21_1344UNSAT34.44
s298_d4_sSAT38.51
Umbrella_tbm_24.tex.module.000066SAT38.75
ev-pr-4x4-17-3-0-0-1-sSAT42.31
Umbrella_tbm_25.tex.moduleQ3.2S.000075UNSAT44.09
s510_d6_sSAT45.69
s386_d8_uUNSAT48.09
cube_c9_par--opt-11_FAIL49.21
connect_5x4_4_RUNSAT53.39
s713_d3_sSAT53.82
tlc02-uniform-depth-241UNSAT57.57
gttt_2_1_00011020_4x4_bUNSAT59.64
lut4_2_f2UNSAT59.81
Core1108_tbm_21.tex.module.000008SAT63.34
ev-pr-6x6-11-5-0-1-2-lgUNSAT66.1
s641_d6_sSAT66.44
emptyroom_e3_ser---19_FAIL67.61
cube_c11_par---13_FAIL68.41
Core1108_tbm_21.tex.module.000030SAT70.71
s713_d2_sSAT70.92
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-008UNSAT71.59
s641_d4_sSAT75.13
C499.blif_0.10_0.20_0_0_inp_exactUNSAT75.96
s499_d7_sSAT77
driverlog10_6FAIL80.51
stmt28_68_81SAT86.2
C880.blif_0.10_0.20_0_1_out_exactFAIL91.61
C880.blif_0.10_0.20_0_0_out_exactFAIL91.71
p20-20.pddl_planlen=23SAT94.3
s386_d4_sSAT96.55
s641_d2_sSAT97.47
emptyroom_e4_ser--opt-44_FAIL100.02
ev-pr-8x8-11-7-0-1-2-lgUNSAT105.32
ev-pr-6x6-13-5-0-1-2-lgUNSAT107.01
s641_d5_sSAT108.7
C880.blif_0.10_1.00_0_0_out_exactFAIL113.57
s713_d6_sSAT116.54
s1196_d2_sSAT117.05
s820_d3_sSAT117.88
s641_d3_sSAT121.02
s298_d14_sSAT121.87
s3330_d3_sSAT122.67
C432.blif_0.10_0.20_0_1_out_exactFAIL123.61
s820_d2_sSAT138.55
s3330_d2_sSAT139.38
query03_query25_1344FAIL148.11
s820_d8_sSAT171.37
Umbrella_tbm_05.tex.module.000039SAT176.99
C432.blif_0.10_0.20_0_0_out_exactFAIL180.11
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-005UNSAT193.42
emptyroom_e4_par---21_FAIL196.01
query51_query50_1344FAIL196.32
c3_BMC_p1_k256SAT207.06
s713_d5_sSAT234.33
s499_d12_sSAT267.03
sortnetsort10.v.stepl.005FAIL282.01
sortnetsort9.v.stepl.005FAIL286.64
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-007FAIL324.01
s386_d9_uUNSAT328.55
ev-pr-8x8-13-7-0-1-2-lgUNSAT388.17
c2_BMC_p1_k2048SAT388.93
s386_d12_uUNSAT401.3
s386_d10_uUNSAT410.21
k5_2_3FAIL420.71
s386_d3_sSAT431.88
s298_d10_sSAT450.24
s510_d11_sSAT464.72
Adder2-8-sSAT464.92
s1196_d3_uUNSAT485.16
toilet_c_10_01.17UNSAT498.23
sortnetsort8.v.stepl.007FAIL509.81
s820_d7_sSAT517.7
s386_d11_uUNSAT582.19
dungeon_i25-m12-u3-v0.pddl_planlen=165FAIL590.11
s499_d17_sFAIL599.71
s298_d17_sFAIL599.71
s713_d9_uFAIL599.71
eijk.bs4863.S-d4FAIL599.71
s1269_d4_sFAIL599.71
ken.flash^08.C-d4FAIL599.71
texas.PI_main^05.E-f3FAIL599.71
b20_PR_7_20FAIL599.71
nusmv.tcas^6.B-f4FAIL599.71
nusmv.tcas^3.B-f2FAIL599.71
s298_d22_uFAIL599.71
s713_d7_uFAIL599.71
s1269_d12_uFAIL599.71
uclid-pipe3bFAIL599.71
uclid-pipe2FAIL599.71
s3330_d7_sFAIL599.71
nusmv.reactor^3.C-d4FAIL599.71
ken.oop^2.C-d3FAIL599.71
C6288.blif_0.10_0.20_0_1_out_exactFAIL599.71
test3_quant_squaring4FAIL599.71
ev-pr-6x6-5-5-0-1-2-sFAIL599.71
input_pnpi8042_moudep.cFAIL599.71
hid_hclient_ecdisp.cFAIL599.71
network_irda_miniport_nscirda_comm.cFAIL599.71
audio_ddksynth_csynth2.cppFAIL599.71
kernel_agplib_intrface.cFAIL599.71
k_ph_p-13FAIL599.71
incrementer-enc02-uniform-depth-58FAIL599.71
test1_quant_squaring3FAIL599.71
C5315.blif_0.10_0.20_0_0_out_exactFAIL599.71
C5315.blif_0.10_1.00_0_0_out_exactFAIL599.71
s820_d12_uFAIL599.71
network_ndis_rtlnwifi_hw_hw_ccmp.cFAIL599.71
k_ph_p-10FAIL599.71
s641_d10_uFAIL599.71
ev-pr-6x6-11-5-0-1-2-sFAIL599.71
s499_d18_sFAIL599.71
s1269_d15_uFAIL599.71
C499.blif_0.10_1.00_0_0_out_exactFAIL599.71
cache-coherence-2-fixpoint-6FAIL599.71
sdlx-fixpoint-3FAIL599.71
s1269_d5_sFAIL599.71
s3330_d10_uFAIL599.71
s1196_d7_uFAIL599.71
C6288.blif_0.10_1.00_0_1_inp_exactFAIL599.71
C6288.blif_0.10_0.20_0_1_inp_exactFAIL599.71
test2_quant_squaring2FAIL599.71
stmt23_72_76FAIL599.71
stmt23_66_96FAIL599.71
dungeon_i25-m12-u3-v0.pddl_planlen=72FAIL599.71
stmt17_86_98FAIL599.71
biu.mv.xl_ao.bb-b001-p005-OPF05-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL599.71
C6288.blif_0.10_1.00_0_0_out_exactFAIL599.71
C6288.blif_0.10_1.00_0_0_inp_exactFAIL599.71
ev-pr-6x6-17-5-0-1-2-lgFAIL599.71
s820_d11_uFAIL599.71
stmt17_62_98FAIL599.71
stmt19_64_99FAIL599.71
test1_quant_squaring2FAIL599.71
C6288.blif_0.10_0.20_0_0_inp_exactFAIL599.71
ev-pr-4x4-7-3-0-0-1-sFAIL599.71
ev-pr-6x6-9-5-0-1-2-sFAIL599.71
test4_quant_squaring2FAIL599.71
c5_BMC_p2_k128FAIL599.71
C6288.blif_0.10_1.00_0_1_out_exactFAIL599.71
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009FAIL599.71
s298_d25_uFAIL599.71
biu.mv.xl_ao.bb-b001-p010-MIF04-c06.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005FAIL599.71
stmt29_226_376FAIL599.71
stmt21_319_418FAIL599.71
stmt19_3_214FAIL599.71
k8_2_3FAIL599.71
stmt19_217_309FAIL599.71
query31_reachqu_1344nFAIL599.71
Adder2-8-cFAIL599.71
b22_PR_8_20FAIL599.71
stmt19_83_412FAIL599.71
ev-pr-4x4-9-3-0-0-1-sFAIL599.71
b21_C_3_206FAIL599.71
s713_d10_uFAIL599.72
arbiter-10-comp-error01-qbf-hardness-depth-22FAIL599.81
depots03_9FAIL599.81
test2_quant_squaring3FAIL599.81
p20-5.pddl_planlen=17FAIL599.81
gttt_1_1_00101121_4x4_torus_wFAIL599.81
s1196_1_5FAIL599.81
adder-14-satFAIL599.81
C499.blif_0.10_0.20_0_1_out_exactFAIL599.81
p20-1.pddl_planlen=32FAIL599.81
ev-pr-6x6-15-5-0-1-2-lgFAIL599.81
connect_8x7_4_RFAIL599.81
k_ph_p-20FAIL599.81
s3330_d4_sFAIL599.81
b20_C_3_2FAIL599.81
p10-10.pddl_planlen=6FAIL599.81
p20-1.pddl_planlen=24FAIL599.81
ev-pr-8x8-19-7-0-1-2-lgFAIL599.81
C5315.blif_0.10_0.20_0_1_inp_exactFAIL599.81
p20-1.pddl_planlen=26FAIL599.81
b22_C_2_12FAIL599.81
ev-pr-6x6-19-5-0-1-2-lgFAIL599.81
pipesnotankage14_10FAIL599.81
pipesnotankage18_8FAIL599.81
C6288.blif_0.10_0.20_0_0_out_exactFAIL599.81
s820_d10_sFAIL599.81
k_branch_n-20FAIL599.81
dungeon_i25-m12-u3-v0.pddl_planlen=190FAIL599.81
ev-pr-6x6-17-5-0-1-2-sFAIL599.81
ev-pr-6x6-13-5-0-1-2-sFAIL599.81
s510_d32_sFAIL599.81
arbiter-07-comp-error01-qbf-hardness-depth-20FAIL599.81
uclid-pipe3aFAIL599.81
dungeon_i25-m12-u5-v0.pddl_planlen=170FAIL599.81
arbiter-08-comp-error02-qbf-hardness-depth-9FAIL599.81
query44_query26_1344nFAIL599.81
C880.blif_0.10_0.20_0_1_inp_exactFAIL599.81
query42_query06_1344nFAIL599.81
connect_8x7_6_RFAIL599.81
s1269_d10_sFAIL599.81
ev-pr-4x4-15-3-0-0-1-sFAIL599.81
adder-10-satFAIL599.81
pipesnotankage18_7FAIL599.81
dungeon_i25-m12-u5-v0.pddl_planlen=65FAIL599.81
dungeon_i25-m12-u3-v0.pddl_planlen=130FAIL599.81
incrementer-enc08-uniform-depth-33FAIL599.81
f600-50FAIL599.81
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-010FAIL599.81
C499.blif_0.10_0.20_0_0_out_exactFAIL599.81
s298_d18_sFAIL599.81
Adder2-10-sFAIL599.81
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-008FAIL599.81
s298_d19_uFAIL599.81
biu.mv.xl_ao.bb-b001-p010-MIF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL599.81
C5315.blif_0.10_0.20_0_0_inp_exactFAIL599.81
s1269_d8_sFAIL599.81
biu.mv.xl_ao.bb-b001-p005-OPF05-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004FAIL599.81
c1_Debug_s3_f1_e1_v1FAIL599.81
c1_Debug_s5_f1_e1_v2FAIL599.81
c2_Debug_s3_f1_e1_v2FAIL599.81
c5_BMC_p2_k64FAIL599.81
c5_BMC_p1_k32FAIL599.81
test4_quant_squaring4FAIL599.81
adder-12-unsatFAIL599.81
c4_Debug_s5_f2_e2_v1FAIL599.81
c4_Debug_s3_f2_e2_v2FAIL599.81
c4_Debug_s3_f1_e2_v3FAIL599.81
c4_Debug_s3_f1_e2_v2FAIL599.81
c4_Debug_s3_f1_e1_v2FAIL599.81
c2_Debug_s3_f2_e1_v3FAIL599.81
sortnetsort9.v.stepl.007FAIL599.81
sortnetsort8.v.stepl.009FAIL599.81
s510_d31_sFAIL599.81
s499_d19_sFAIL599.81
s3330_d12_uFAIL599.81
s1269_d3_sFAIL599.81
s1269_d9_sFAIL599.81
s1196_d4_uFAIL599.81
s1196_d6_uFAIL599.81
s1196_d5_uFAIL599.81
cnt16rFAIL599.81
k_ph_p-18FAIL599.81
s641_d8_uFAIL599.81
s641_d11_uFAIL599.81
s713_d8_uFAIL599.81
ev-pr-8x8-17-7-0-1-2-lgFAIL599.81
texas.two_proc^4.E-f2FAIL599.81
s3330_d8_sFAIL599.81
texas.PI_main^08.E-f3FAIL599.81
s641_d7_uFAIL599.81
nusmv.tcas-t^1.B-d2FAIL599.81
ken.oop^2.C-d4FAIL599.81
ev-pr-6x6-7-5-0-1-2-sFAIL599.81
s820_d14_uFAIL599.81
s820_d9_sFAIL599.81
k_ph_p-19FAIL599.81
stmt17_70_98FAIL599.81
k_ph_p-12FAIL599.81
C880.blif_0.10_1.00_0_0_inp_exactFAIL599.81
C880.blif_0.10_0.20_0_0_inp_exactFAIL599.81
s3330_d5_sFAIL599.81
s499_d25_uFAIL599.81
s510_d28_sFAIL599.81
s510_d35_sFAIL599.81
s713_d11_uFAIL599.81
s1269_d14_uFAIL599.81
s3330_d14_uFAIL599.81
s499_d15_sFAIL599.81
s499_d22_uFAIL599.81
small-seq-fixpoint-3FAIL599.81
cache-coherence-3-fixpoint-3FAIL599.81
incrementer-enc06-uniform-depth-24FAIL599.81
s3330_d9_sFAIL599.81
input_mouser_cseries.cFAIL599.81
network_trans_sys_notify.cFAIL599.81
filesys_smbmrx_cvsndrcv.cFAIL599.81
network_irda_miniport_nscirda_settings.cFAIL599.81
small-seq-fixpoint-5FAIL599.81
Adder2-16-sFAIL599.81
AR-fixpoint-5FAIL599.81
incrementer-enc07-uniform-depth-25FAIL599.81
s820_d15_uFAIL599.81
s499_d24_uFAIL599.81
k8_3_4FAIL599.81
k12_4_2FAIL599.81
stmt52_244_394FAIL599.81
stmt41_160_235FAIL599.81
stmt21_79_304FAIL599.81
stmt19_90_266FAIL599.81
C5315.blif_0.10_0.20_0_1_out_exactFAIL599.81
adder-12-satFAIL599.81
stmt17_63_82FAIL599.81
stmt17_70_90FAIL599.81
stmt17_82_98FAIL599.81
k5_3_2FAIL599.81
k8_3_2FAIL599.81
k14_2_3FAIL599.81
s1269_d13_uFAIL599.81
s510_d23_sFAIL599.81
s510_d36_sFAIL599.81
ev-pr-6x6-15-5-0-1-2-sFAIL599.81
s510_d24_sFAIL599.81
k6_2_3FAIL599.81
k8_4_3FAIL599.81
p20-5.pddl_planlen=32FAIL599.82
k_ph_p-15FAIL599.82
ev-pr-8x8-15-7-0-1-2-lgFAIL599.82
cnt08eFAIL599.82
ev-pr-6x6-19-5-0-1-2-sFAIL599.82
connect_8x7_5_RFAIL599.91
connect_9x8_6_RFAIL599.91
c3_Debug_s3_f2_e2_v2FAIL600.53