Instances solved by <a href='solver_detail.php?solver=252'>cheq</a> <br> QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.

Instances solved by cheq
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.

Instance	Result	Time
impl06	SAT	0.01
toilet_a_04_01.4	UNSAT	0.01
toilet_c_06_01.4	FAIL	0.01
impl16	SAT	0.01
stmt1_30_31	SAT	0.01
toilet_c_04_01.4	FAIL	0.01
stmt44_107_113	SAT	0.01
toilet_g_04_01.2	SAT	0.01
toilet_g_08_01.2	SAT	0.01
stmt44_107_108	SAT	0.01
toilet_a_04_01.6	UNSAT	0.01
toilet_a_02_10.2	SAT	0.01
tree-exa2-35	UNSAT	0.01
z4ml.blif_0.10_1.00_0_1_inp_exact	SAT	0.01
impl02	SAT	0.01
toilet_c_08_01.2	FAIL	0.01
impl14	SAT	0.01
z4ml.blif_0.10_0.20_0_1_inp_exact	SAT	0.01
cnt01	SAT	0.01
tree-exa2-30	UNSAT	0.01
rewriting_k_10	UNSAT	0.01
toilet_g_10_01.2	SAT	0.01
impl04	SAT	0.01
k_ph_n-1	SAT	0.01
impl18	SAT	0.01
impl20	SAT	0.01
impl08	SAT	0.01
mutex-2-s	SAT	0.01
tree-exa2-25	UNSAT	0.01
tree-exa2-10	UNSAT	0.01
impl10	SAT	0.01
tree-exa2-20	UNSAT	0.01
impl12	SAT	0.01
toilet_g_02_01.2	SAT	0.01
tree-exa10-10	SAT	0.01
k_ph_p-1	UNSAT	0.01
z4ml.blif_0.10_0.20_0_1_out_exact	SAT	0.01
tree-exa2-40	UNSAT	0.01
flipflop-3-c	UNSAT	0.01
z4ml.blif_0.10_0.20_0_0_inp_exact	FAIL	0.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-001	UNSAT	0.02
z4ml.blif_0.10_1.00_0_0_inp_exact	FAIL	0.02
C432.blif_0.10_1.00_0_1_out_exact	SAT	0.02
lut4_XOR_f1	SAT	0.02
rewriting_k_17	UNSAT	0.02
flipflop-4-c	FAIL	0.02
tree-exa2-50	UNSAT	0.02
z4ml.blif_0.10_1.00_0_1_out_exact	SAT	0.02
toilet_g_20_01.2	SAT	0.02
Adder2-2-c	FAIL	0.02
toilet_c_06_01.8	FAIL	0.02
tree-exa2-45	UNSAT	0.02
rewriting_k_19	UNSAT	0.02
rewriting_k_21	UNSAT	0.02
rewriting_k_23	UNSAT	0.02
k_ph_p-3	FAIL	0.02
rewriting_k_25	UNSAT	0.02
rewriting_k_30	UNSAT	0.02
k_ph_n-3	SAT	0.02
counter_e_2	SAT	0.02
toilet_c_08_01.7	FAIL	0.02
k_d4_p-1	FAIL	0.02
z4ml.blif_0.10_1.00_0_0_out_exact	FAIL	0.02
toilet_c_08_01.6	FAIL	0.02
cnt02e	SAT	0.02
toilet_a_04_05.2	SAT	0.02
k_d4_n-1	SAT	0.03
k_path_p-2	UNSAT	0.03
k_ph_n-4	SAT	0.03
texas.parsesys^1.E-d4	SAT	0.03
adder-2-unsat	FAIL	0.03
toilet_g_06_01.2	SAT	0.03
toilet_g_15_01.2	SAT	0.03
toilet_c_08_05.4	SAT	0.03
C432.blif_0.10_1.00_0_1_inp_exact	SAT	0.03
z4ml.blif_0.10_0.20_0_0_out_exact	FAIL	0.04
Core1108_tbm_21.tex.module.000026	UNSAT	0.04
k_lin_p-2	FAIL	0.04
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-003	UNSAT	0.04
aim-100-1_6-yes1-2-00	SAT	0.04
toilet_a_06_01.6	UNSAT	0.04
lights3_021_0_027	UNSAT	0.04
lut4_2_fXOR	SAT	0.04
Core1108_tbm_21.tex.module.000027	UNSAT	0.05
lognBWLARGEA0	FAIL	0.05
query48_query15_1344	FAIL	0.05
flipflop-5-c	FAIL	0.05
aim-50-6_0-yes1-3-50	FAIL	0.05
rewriting_k_50	UNSAT	0.05
p5-5.pddl_planlen=6	FAIL	0.05
p5-5.pddl_planlen=5	FAIL	0.05
par8-1-c-50	UNSAT	0.05
toilet_a_06_01.10	UNSAT	0.05
C499.blif_0.10_1.00_0_1_inp_exact	SAT	0.05
BLOCKS3iii.4	FAIL	0.06
szymanski-5-s	UNSAT	0.06
lognBWLARGEB0	FAIL	0.06
incrementer-enc05-uniform-depth-2	UNSAT	0.07
p20-1.pddl_planlen=24	FAIL	0.07
p20-1.pddl_planlen=26	FAIL	0.07
toilet_a_08_05.2	UNSAT	0.07
p20-1.pddl_planlen=32	FAIL	0.08
aim-100-6_0-yes1-3-50	SAT	0.08
ring_r4_ser--opt-11_	UNSAT	0.09
arbiter-07-comp-error01-qbf-hardness-depth-4	UNSAT	0.1
rewriting_k_75	UNSAT	0.1
tlc03-uniform-depth-9	UNSAT	0.1
lights3_035_0_051	UNSAT	0.1
mutex-4-s	SAT	0.11
flipflop-6-c	FAIL	0.13
p10-10.pddl_planlen=6	FAIL	0.13
s27_d2_s	SAT	0.14
arbiter-06-comp-error02-qbf-hardness-depth-5	UNSAT	0.14
k_lin_p-3	FAIL	0.14
BLOCKS3ii.4.3	FAIL	0.14
cube_c3_ser--opt-6_	SAT	0.14
C499.blif_0.10_1.00_0_1_out_exact	SAT	0.16
gttt_2_2_0010_3x3_torus_w	UNSAT	0.16
lut4_XOR_fOR	UNSAT	0.16
lights3_021_0_009	SAT	0.16
query01_ntrivil_1344	FAIL	0.16
k_dum_n-1	SAT	0.16
qshifter_3	SAT	0.17
p10-10.pddl_planlen=10	FAIL	0.17
szymanski-6-s	UNSAT	0.18
rewriting_k_100	UNSAT	0.19
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-003	UNSAT	0.2
tlc03-nonuniform-depth-17	UNSAT	0.21
toilet_c_08_01.11	FAIL	0.21
BLOCKS3ii.5.2	FAIL	0.22
term1.blif_0.10_0.20_0_1_out_exact	SAT	0.22
term1.blif_0.10_1.00_0_1_inp_exact	SAT	0.24
lut4_2_f1	SAT	0.26
k_ph_n-6	SAT	0.26
aim-200-1_6-yes1-4-90	SAT	0.26
tlc03-uniform-depth-21	UNSAT	0.27
k_lin_p-4	FAIL	0.29
p20-5.pddl_planlen=17	FAIL	0.3
k_ph_p-5	FAIL	0.31
eijk.S382.S-d4	SAT	0.32
flipflop-7-c	FAIL	0.35
c4_BMC_p1_k32	SAT	0.35
arbiter-07-comp-error02-qbf-hardness-depth-6	UNSAT	0.35
k_branch_n-2	SAT	0.42
term1.blif_0.10_1.00_0_1_out_exact	SAT	0.44
b20_PR_7_90	FAIL	0.46
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-005	UNSAT	0.46
ev-pr-4x4-5-3-0-0-1-lg	SAT	0.47
gttt_2_1_0010_4x4_torus_b	UNSAT	0.48
driverlog01_7	SAT	0.48
toilet_a_10_05.3	UNSAT	0.54
k_dum_p-2	FAIL	0.55
k_dum_p-3	FAIL	0.56
incrementer-enc03-nonuniform-depth-13	UNSAT	0.56
gttt_2_1_000111_3x3_torus_b	SAT	0.63
C432.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.66
jnh212-50	FAIL	0.7
toilet_a_08_01.13	UNSAT	0.72
query26_query34_1344	SAT	0.74
toilet_c_10_01.12	FAIL	0.74
vonNeumann-ripple-carry-5-c	UNSAT	0.75
ken.flash^10.C-f2	UNSAT	0.79
p20-5.pddl_planlen=32	FAIL	0.79
cnt05	SAT	0.8
toilet_a_08_05.9	SAT	0.8
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-005	UNSAT	0.81
k_dum_n-2	SAT	0.83
term1.blif_0.10_0.20_0_1_inp_exact	SAT	0.88
tlc03-uniform-depth-52	UNSAT	0.91
ring_r3_ser--opt-8_	SAT	0.95
szymanski-8-s	UNSAT	0.96
flipflop-8-c	FAIL	0.99
par8-4-50	UNSAT	1.05
k_poly_n-2	SAT	1.06
lut4_3_fAND	SAT	1.32
C880.blif_0.10_1.00_0_1_inp_exact	SAT	1.33
ev-pr-6x6-5-5-0-1-2-lg	UNSAT	1.35
ken.flash^03.C-f3	UNSAT	1.36
c4_BMC_p2_k128	UNSAT	1.45
BLOCKS3ii.5.3	SAT	1.45
lognBWLARGEA1	UNSAT	1.48
gttt_1_1_000111_3x3_torus_w	FAIL	1.5
term1.blif_0.10_1.00_0_0_inp_exact	FAIL	1.51
k_lin_p-8	FAIL	1.54
tlc01-uniform-depth-73	UNSAT	1.57
ev-pr-8x8-5-7-0-1-2-lg	UNSAT	1.68
k_d4_n-2	SAT	1.68
ken.flash^10.C-f3	UNSAT	1.68
k_path_n-3	SAT	1.79
k_dum_n-3	SAT	1.8
k3_1_1	SAT	1.84
k_ph_n-8	SAT	1.86
k_lin_n-3	SAT	1.88
BLOCKS3iii.5	SAT	2.18
C5315.blif_0.10_1.00_0_1_inp_exact	SAT	2.19
sortnetsort8.AE.stepl.003	SAT	2.22
k_lin_p-9	FAIL	2.25
k_poly_p-2	UNSAT	2.61
incrementer-enc07-nonuniform-depth-17	UNSAT	2.85
k_dum_p-4	FAIL	2.89
connect_5x4_3_D	UNSAT	2.89
k_lin_p-10	FAIL	3.31
ii32b1-00	SAT	3.36
szymanski-10-s	UNSAT	3.59
incrementer-enc03-nonuniform-depth-24	UNSAT	3.89
CHAIN12v.13	SAT	4.07
k_lin_p-11	FAIL	4.4
k_lin_p-12	FAIL	4.9
connect_6x5_5_D	UNSAT	5.12
ev-pr-4x4-7-3-0-0-1-lg	SAT	5.21
incrementer-enc02-nonuniform-depth-31	UNSAT	5.37
k_ph_n-9	SAT	5.56
lognBWLARGEB1	UNSAT	5.65
incrementer-enc07-nonuniform-depth-21	UNSAT	6.03
gttt_2_2_00101121_3x3_b	FAIL	6.25
vonNeumann-ripple-carry-6-c	UNSAT	6.54
tree-exa10-30	SAT	6.65
connect_5x4_4_R	FAIL	7.1
k_lin_p-14	FAIL	8.17
tlc04-nonuniform-depth-56	UNSAT	8.32
flipflop-9-c	FAIL	8.43
C499.blif_0.10_0.20_0_1_inp_exact	SAT	8.64
lights3_035_0_002	FAIL	9.8
p20-20.pddl_planlen=23	FAIL	9.99
ev-pr-6x6-7-5-0-1-2-lg	FAIL	10.5
driverlog03_7	SAT	11.14
C499.blif_0.10_1.00_0_0_inp_exact	FAIL	11.35
szymanski-12-s	UNSAT	11.97
k_ph_n-11	SAT	12.75
irst.dme6.B-d2	SAT	13.15
connect_7x6_4_W	UNSAT	13.24
term1.blif_0.10_1.00_0_0_out_exact	FAIL	13.31
par16-1-50	UNSAT	14.09
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-007	FAIL	14.83
k_branch_n-3	SAT	15.3
Umbrella_tbm_24.tex.module.000066	SAT	16.24
Umbrella_tbm_24.tex.module.000131	SAT	16.27
k_path_p-5	UNSAT	16.55
connect_8x7_7_W	UNSAT	16.77
vonNeumann-ripple-carry-7-c	UNSAT	18.13
k_path_n-4	SAT	20.56
sortnetsort5.v.stepl.004	FAIL	22.96
CHAIN14v.15	SAT	23.16
k_lin_p-19	FAIL	23.22
ev-pr-4x4-9-3-0-0-1-lg	SAT	23.29
flipflop-10-c	FAIL	24.63
gttt_1_1_001020_3x3_w	FAIL	26.74
query21_ntrivil_1344	FAIL	28.83
szymanski-14-s	UNSAT	29.47
k_dum_p-6	FAIL	29.86
k_lin_n-5	SAT	31.46
tlc04-nonuniform-depth-98	UNSAT	32.29
connect_5x4_3_R	FAIL	32.74
k_grz_n-2	SAT	33.08
Core1108_tbm_02.tex.moduleQ3.2S.000015	UNSAT	39.51
k_ph_n-14	SAT	41.35
c1_BMC_p1_k4	SAT	44.16
vis.prodcell^01.E-d2	SAT	44.19
k_d4_n-3	SAT	45.51
vonNeumann-ripple-carry-8-c	UNSAT	46.69
lights3_035_0_027	FAIL	55.53
k_d4_p-4	FAIL	55.82
szymanski-16-s	UNSAT	63.22
flipflop-11-c	FAIL	63.39
Core1108_tbm_03.tex.moduleQ3.2S.000002	UNSAT	67.82
arbiter-10-comp-error01-qbf-hardness-depth-10	FAIL	71.43
ev-pr-6x6-9-5-0-1-2-lg	FAIL	71.66
ev-pr-8x8-7-7-0-1-2-lg	FAIL	72.19
mutex-8-s	SAT	73.1
k_lin_n-6	SAT	81.68
lut4_AND_fXOR	UNSAT	98.4
cube_c9_par--opt-11_	SAT	100.56
vonNeumann-ripple-carry-9-c	UNSAT	105.39
fpu-10Xh-error01-uniform-depth-5	UNSAT	115.12
szymanski-18-s	UNSAT	120.65
k_dum_n-5	SAT	129.61
k_grz_p-5	FAIL	130.01
CHAIN16v.17	SAT	131.96
ev-pr-4x4-11-3-0-0-1-lg	SAT	143.85
k_grz_n-4	SAT	146.72
k_lin_n-7	SAT	149.9
flipflop-12-c	FAIL	156.67
k_ph_n-16	SAT	158.07
fpu-10Xe-correct01-nonuniform-depth-6	UNSAT	162.08
k_lin_n-8	SAT	164.56
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-008	UNSAT	213.66
tlc02-uniform-depth-114	UNSAT	221.35
szymanski-20-s	UNSAT	223.32
C432.blif_0.10_0.20_0_1_inp_exact	SAT	224.28
vonNeumann-ripple-carry-10-c	UNSAT	227.8
k_grz_p-4	FAIL	253.59
fpu-10Xh-correct04-uniform-depth-8	UNSAT	268.66
ev-pr-8x8-9-7-0-1-2-lg	FAIL	292.45
C5315.blif_0.10_1.00_0_0_inp_exact	FAIL	327.68
k_grz_n-5	SAT	342.04
k_lin_n-9	SAT	363.73
s15850_PR_8_50	FAIL	372.15
s15850_PR_2_2	FAIL	376.83
b22_PR_8_20	FAIL	384.14
CHAIN17v.18	SAT	399.47
gttt_1_1_00101121_4x4_torus_w	FAIL	404.3
gttt_2_1_00102030_4x4_torus_b	FAIL	407.67
gttt_2_2_001020_4x4_w	FAIL	411.08
gttt_2_1_00011020_4x4_b	FAIL	411.08
connect_8x7_5_R	FAIL	447.5
k_ph_n-21	SAT	454.89
vonNeumann-ripple-carry-11-c	UNSAT	463.98
s3330_d2_s	FAIL	468.06
connect_8x7_4_R	FAIL	479.25
s641_d3_s	FAIL	482.66
s641_d2_s	FAIL	488.14
s641_d6_s	FAIL	488.29
connect_8x7_6_R	FAIL	491.26
s713_d3_s	FAIL	491.99
s641_d7_u	FAIL	493.89
s713_d6_s	FAIL	494.7
s1196_d2_s	FAIL	495.3
s713_d4_s	FAIL	497.51
s1196_d3_u	FAIL	498.27
s1269_d3_s	FAIL	499.52
s641_d4_s	FAIL	504.98
s713_d7_u	FAIL	511.32
s3330_d3_s	FAIL	512.1
s713_d2_s	FAIL	516.56
s713_d11_u	FAIL	519.96
s641_d11_u	FAIL	520.24
s713_d5_s	FAIL	521.59
s1269_d4_s	FAIL	521.75
s641_d5_s	FAIL	528.81
connect_9x8_6_R	FAIL	536.56
s298_d10_s	FAIL	546.8
s713_d10_u	FAIL	549.02
s713_d8_u	FAIL	549.61
s386_d7_s	FAIL	550.56
s510_d6_s	FAIL	554.29
s3330_d14_u	FAIL	554.57
s298_d14_s	FAIL	554.65
k_branch_p-18	FAIL	556.51
s641_d8_u	FAIL	558.16
s1196_d4_u	FAIL	558.36
s3330_d7_s	FAIL	562.8
s3330_d8_s	FAIL	563.46
s510_d3_s	FAIL	567.01
k_branch_p-14	FAIL	568.02
s499_d19_s	FAIL	569
ev-pr-6x6-19-5-0-1-2-lg	FAIL	569.09
s499_d7_s	FAIL	570.79
s820_d11_u	FAIL	570.8
s1196_d7_u	FAIL	573
s499_d17_s	FAIL	574.09
s499_d18_s	FAIL	575.79
s298_d17_s	FAIL	577.89
s820_d10_s	FAIL	577.97
s820_d12_u	FAIL	578.65
k_branch_p-12	FAIL	578.92
s713_d9_u	FAIL	579.16
s298_d25_u	FAIL	579.82
s1269_d8_s	FAIL	580.53
ev-pr-4x4-17-3-0-0-1-lg	FAIL	580.74
s386_d10_u	FAIL	580.75
s3330_d5_s	FAIL	581.75
s1196_d6_u	FAIL	583.8
s641_d10_u	FAIL	584.58
s820_d3_s	FAIL	584.97
ev-pr-6x6-15-5-0-1-2-lg	FAIL	585.22
s386_d6_s	FAIL	585.88
s1269_d9_s	FAIL	586.71
s386_d9_u	FAIL	587.05
k_branch_p-16	FAIL	588.13
s820_d8_s	FAIL	588.44
s510_d11_s	FAIL	589.04
k_branch_n-12	FAIL	589.56
s3330_d10_u	FAIL	589.9
test2_quant_squaring3	FAIL	590.66
s499_d22_u	FAIL	590.79
s386_d11_u	FAIL	593.86
k_branch_p-21	FAIL	594.19
s820_d9_s	FAIL	595.02
s3330_d4_s	FAIL	595.47
s510_d24_s	FAIL	596.62
s499_d9_s	FAIL	596.68
vonNeumann-ripple-carry-13-c	FAIL	599.71
fpu-10Xh-correct04-nonuniform-depth-18	FAIL	599.72
fpu-10Xh-correct04-uniform-depth-14	FAIL	599.72
fpu-10Xe-correct01-uniform-depth-22	FAIL	599.72
fpu-10Xe-correct01-nonuniform-depth-24	FAIL	599.81
fpu-10Xh-correct04-nonuniform-depth-27	FAIL	599.81
fpu-10Xh-correct04-uniform-depth-15	FAIL	599.81
vonNeumann-ripple-carry-12-c	FAIL	599.81
fpu-10Xh-correct04-uniform-depth-16	FAIL	599.81
s1269_d15_u	FAIL	599.81
filesys_smbmrx_cvsndrcv.c	FAIL	599.82
pipesnotankage18_8	FAIL	599.93
c4_Debug_s3_f1_e2_v2	FAIL	599.93
s386_d12_u	FAIL	599.95
b20_PR_7_20	FAIL	600
k12_4_2	FAIL	600.03
c1_Debug_s5_f1_e1_v2	FAIL	600.03
k6_2_3	FAIL	600.43
qshifter_8	FAIL	600.63
c5_BMC_p2_k64	FAIL	600.64
vonNeumann-ripple-carry-15-c	FAIL	600.73
c2_BMC_p1_k2048	FAIL	600.73
C880.blif_0.10_0.20_0_1_inp_exact	FAIL	600.82
C880.blif_0.10_1.00_0_0_inp_exact	FAIL	600.97
driverlog10_6	FAIL	601.05
C432.blif_0.10_0.20_0_0_out_exact	FAIL	601.13
query11_query21_1344	FAIL	601.15
k_grz_n-10	FAIL	601.16
incrementer-enc02-uniform-depth-58	FAIL	601.35
k_dum_n-18	FAIL	601.36
c1_Debug_s3_f1_e1_v1	FAIL	601.36
pipesnotankage14_10	FAIL	601.42
C499.blif_0.10_1.00_0_0_out_exact	FAIL	601.43
dungeon_i25-m12-u5-v0.pddl_planlen=65	FAIL	601.43
cube_c11_par---13_	FAIL	601.44
ev-pr-4x4-5-3-0-0-1-s	FAIL	601.49
C499.blif_0.10_0.20_0_1_out_exact	FAIL	601.54
s27_d5_u	FAIL	601.56
Umbrella_tbm_25.tex.moduleQ3.2S.000075	FAIL	601.67
k_path_n-16	FAIL	601.7
dungeon_i25-m12-u5-v0.pddl_planlen=170	FAIL	601.74
k_grz_n-7	FAIL	601.74
k_ph_p-19	FAIL	601.79
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009	FAIL	601.83
s27_d3_u	FAIL	601.83
dungeon_i10-m10-u10-v0.pddl_planlen=187	FAIL	601.83
emptyroom_e4_ser--opt-44_	FAIL	601.86
ev-pr-6x6-15-5-0-1-2-s	FAIL	602.05
k_branch_n-4	FAIL	602.09
k_grz_p-17	FAIL	602.15
uclid-pipe2	FAIL	602.2
uclid-pipe3a	FAIL	602.31
k_grz_n-6	FAIL	602.43
tlc02-uniform-depth-241	FAIL	602.46
k_t4p_p-18	FAIL	602.61
BLOCKS4ii.7.2	FAIL	602.62
c4_Debug_s3_f1_e2_v3	FAIL	602.62
network_trans_sys_notify.c	FAIL	602.62
sortnetsort8.v.stepl.007	FAIL	602.74
k_path_n-12	FAIL	602.87
dungeon_i25-m12-u3-v0.pddl_planlen=130	FAIL	602.94
Adder2-8-c	FAIL	603.02
mutex-16-s	FAIL	603.06
toilet_c_10_01.17	FAIL	603.23
sortnetsort9.v.stepl.005	FAIL	603.26
ev-pr-4x4-11-3-0-0-1-s	FAIL	603.28
CHAIN21v.22	FAIL	603.32
k_t4p_n-5	FAIL	603.37
C432.blif_0.10_1.00_0_0_out_exact	FAIL	603.43
C6288.blif_0.10_1.00_0_0_inp_exact	FAIL	603.5
cnt14	FAIL	603.57
lut4_2_f2	FAIL	603.62
term1.blif_0.10_0.20_0_0_inp_exact	FAIL	603.63
ev-pr-8x8-19-7-0-1-2-lg	FAIL	603.64
stmt25_52_53	FAIL	603.66
C499.blif_0.10_0.20_0_0_out_exact	FAIL	603.75
arbiter-06-comp-error01-qbf-hardness-depth-15	FAIL	603.81
ev-pr-4x4-17-3-0-0-1-s	FAIL	603.97
k_d4_p-16	FAIL	604.05
emptyroom_e4_par---21_	FAIL	604.13
AR-fixpoint-5	FAIL	604.17
k_d4_n-8	FAIL	604.17
test5_quant_squaring5	FAIL	604.18
rankfunc17_unsigned_16	FAIL	604.22
C880.blif_0.10_0.20_0_0_inp_exact	FAIL	604.23
k_poly_p-14	FAIL	604.27
ev-pr-4x4-9-3-0-0-1-s	FAIL	604.29
arbiter-07-comp-error01-qbf-hardness-depth-20	FAIL	604.31
stmt19_3_214	FAIL	604.32
cnt10	FAIL	604.35
stmt44_916_917	FAIL	604.42
incrementer-enc06-uniform-depth-24	FAIL	604.43
rankfunc5_signed_32	FAIL	604.47
stmt27_296_297	FAIL	604.48
b21_C_3_206	FAIL	604.51
szymanski-24-s	FAIL	604.53
k8_3_2	FAIL	604.53
biu.mv.xl_ao.bb-b001-p010-IPF02-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	604.57
c5_BMC_p2_k128	FAIL	604.62
ev-pr-8x8-13-7-0-1-2-lg	FAIL	604.67
adder-14-sat	FAIL	604.71
dungeon_i25-m12-u3-v0.pddl_planlen=72	FAIL	604.74
k_ph_p-13	FAIL	604.74
k_path_p-21	FAIL	604.8
BLOCKS3i.5.4	FAIL	604.82
sortnetsort9.AE.stepl.012	FAIL	604.82
qshifter_5	FAIL	604.83
qshifter_4	FAIL	604.93
k_d4_p-20	FAIL	604.94
c2_Debug_s3_f1_e1_v2	FAIL	604.95
s1269_d10_s	FAIL	605.02
ev-pr-4x4-15-3-0-0-1-lg	FAIL	605.15
s3330_d12_u	FAIL	605.19
dungeon_i15-m7-u4-v0.pddl_planlen=81	FAIL	605.24
C880.blif_0.10_1.00_0_0_out_exact	FAIL	605.34
ev-pr-4x4-15-3-0-0-1-s	FAIL	605.36
k_d4_p-7	FAIL	605.43
c5_BMC_p1_k32	FAIL	605.43
C5315.blif_0.10_1.00_0_1_out_exact	FAIL	605.53
texas.PI_main^16.E-f2	FAIL	605.63
k_t4p_p-17	FAIL	605.65
c1_BMC_p2_k1024	FAIL	605.83
k_d4_n-15	FAIL	605.84
C6288.blif_0.10_0.20_0_1_out_exact	FAIL	605.85
k_poly_n-17	FAIL	605.91
c4_Debug_s3_f2_e2_v2	FAIL	605.92
s298_d12_s	FAIL	605.92
ring_r6_ser--opt-17_	FAIL	605.92
query03_query25_1344	FAIL	605.93
k_t4p_p-16	FAIL	606.09
input_mouser_cseries.c	FAIL	606.19
k_poly_p-15	FAIL	606.2
c2_Debug_s3_f2_e1_v3	FAIL	606.22
k_branch_n-16	FAIL	606.22
biu.mv.xl_ao.bb-b001-p010-OPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	606.31
k_path_n-9	FAIL	606.34
s510_d31_s	FAIL	606.36
k_d4_p-11	FAIL	606.36
s09234_PR_8_5	FAIL	606.45
arbiter-08-comp-error02-qbf-hardness-depth-9	FAIL	606.51
k_t4p_n-14	FAIL	606.53
dungeon_i10-m5-u10-v0.pddl_planlen=23	FAIL	606.53
s298_d18_s	FAIL	606.55
C6288.blif_0.10_0.20_0_1_inp_exact	FAIL	606.57
biu.mv.xl_ao.bb-b001-p010-IPF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	606.66
s05378_PR_1_75	FAIL	606.71
k8_3_4	FAIL	606.81
stmt21_319_418	FAIL	606.87
Adder2-8-s	FAIL	606.9
ev-pr-6x6-11-5-0-1-2-lg	FAIL	606.91
test4_quant_squaring4	FAIL	606.98
stmt17_18_19	FAIL	607.02
k_t4p_n-4	FAIL	607.04
s386_d4_s	FAIL	607.11
stmt19_64_99	FAIL	607.14
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-010	FAIL	607.24
k_grz_n-20	FAIL	607.25
emptyroom_e3_ser--opt-20_	FAIL	607.25
k_path_p-15	FAIL	607.27
k_path_p-16	FAIL	607.29
mutex-128-s	FAIL	607.3
hid_hclient_ecdisp.c	FAIL	607.31
ev-pr-8x8-11-7-0-1-2-lg	FAIL	607.32
k_grz_p-11	FAIL	607.33
k_grz_p-16	FAIL	607.34
s510_d36_s	FAIL	607.37
stmt27_16_97	FAIL	607.44
k14_2_3	FAIL	607.45
small-swap2-fixpoint-4	FAIL	607.5
k_dum_p-20	FAIL	607.54
ev-pr-6x6-19-5-0-1-2-s	FAIL	607.61
k_path_p-18	FAIL	607.77
f600-50	FAIL	607.82
C6288.blif_0.10_0.20_0_0_out_exact	FAIL	607.83
k_dum_p-21	FAIL	607.86
s820_d14_u	FAIL	607.97
rankfunc3_signed_64	FAIL	607.97
s499_d12_s	FAIL	608.01
C432.blif_0.10_0.20_0_0_inp_exact	FAIL	608.03
k_grz_p-13	FAIL	608.04
s01238_PR_8_2	FAIL	608.04
sortnetsort7.v.stepl.007	FAIL	608.14
test3_quant_squaring4	FAIL	608.16
rankfunc13_signed_32	FAIL	608.19
ev-pr-6x6-17-5-0-1-2-s	FAIL	608.2
lut4_AND_f1	FAIL	608.23
k_dum_n-21	FAIL	608.27
adder-12-sat	FAIL	608.32
k_dum_n-17	FAIL	608.35
C5315.blif_0.10_0.20_0_0_inp_exact	FAIL	608.39
stmt23_66_96	FAIL	608.4
rankfunc33_signed_32	FAIL	608.41
k_dum_p-17	FAIL	608.43
input_pnpi8042_moudep.c	FAIL	608.5
adder-10-sat	FAIL	608.5
texas.two_proc^4.E-f2	FAIL	608.52
k_d4_p-10	FAIL	608.53
network_irda_miniport_nscirda_comm.c	FAIL	608.54
texas.PI_main^05.E-f3	FAIL	608.61
k_grz_n-21	FAIL	608.65
rankfunc13_unsigned_64	FAIL	608.67
k_t4p_n-9	FAIL	608.7
k_dum_p-16	FAIL	608.74
query44_query26_1344n	FAIL	608.79
ev-pr-6x6-9-5-0-1-2-s	FAIL	608.83
k_d4_n-7	FAIL	608.83
s1196_d5_u	FAIL	608.86
arbiter-07-comp-error01-qbf-hardness-depth-11	FAIL	608.91
k_branch_p-5	FAIL	608.99
BLOCKS3i.5.3	FAIL	609.02
texas.PI_main^08.E-f3	FAIL	609.3
k_t4p_p-20	FAIL	609.32
k_path_p-19	FAIL	609.4
ken.oop^2.C-d3	FAIL	609.49
arbiter-06-comp-error01-qbf-hardness-depth-12	FAIL	609.51
k_poly_p-7	FAIL	609.54
k_poly_n-5	FAIL	609.55
small-swap1-fixpoint-3	FAIL	609.56
k_path_n-19	FAIL	609.59
k_poly_p-4	FAIL	609.63
k_d4_p-8	FAIL	609.64
k_t4p_p-10	FAIL	609.64
qshifter_7	FAIL	609.64
k_t4p_n-6	FAIL	609.68
k_poly_n-21	FAIL	609.71
k5_2_3	FAIL	609.73
eijk.bs4863.S-d4	FAIL	609.78
k_grz_p-10	FAIL	609.83
k_t4p_p-9	FAIL	609.83
k_path_n-6	FAIL	609.93
biu.mv.xl_ao.bb-b001-p010-IPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	609.98
k_t4p_p-15	FAIL	610.03
k_grz_p-18	FAIL	610.04
stmt52_244_394	FAIL	610.05
biu.mv.xl_ao.bb-b001-p010-MIF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	610.1
k_lin_n-14	FAIL	610.21
test3_quant_squaring2	FAIL	610.23
k_t4p_n-2	FAIL	610.33
k_t4p_p-6	FAIL	610.33
pipesnotankage18_7	FAIL	610.43
C880.blif_0.10_0.20_0_0_out_exact	FAIL	610.53
c3_BMC_p1_k256	FAIL	610.54
CHAIN20v.21	FAIL	610.61
tlc04-uniform-depth-36	FAIL	610.62
b12_PR_9_2	FAIL	610.66
rankfunc51_signed_32	FAIL	610.7
mutex-64-s	FAIL	610.83
biu.mv.xl_ao.bb-b001-p010-MIF01-c01.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	611.03
CHAIN23v.24	FAIL	611.13
arbiter-10-comp-error01-qbf-hardness-depth-22	FAIL	611.31
test1_quant_squaring2	FAIL	611.36
Core1108_tbm_21.tex.module.000008	FAIL	611.42
k_grz_p-19	FAIL	611.43
sdlx-fixpoint-3	FAIL	611.47
C880.blif_0.10_1.00_0_1_out_exact	FAIL	611.53
k_poly_p-8	FAIL	611.54
cnt08e	FAIL	611.55
k_d4_p-13	FAIL	611.55
ev-pr-6x6-13-5-0-1-2-s	FAIL	611.55
k_t4p_n-12	FAIL	611.62
nusmv.reactor^3.C-d4	FAIL	611.63
k_grz_n-8	FAIL	611.64
k_lin_n-11	FAIL	611.65
k_path_p-14	FAIL	611.66
CHAIN18v.19	FAIL	611.69
k_d4_n-20	FAIL	611.94
k_poly_n-7	FAIL	612.13
k_dum_n-11	FAIL	612.13
k_path_n-5	FAIL	612.14
s298_d22_u	FAIL	612.16
s820_d2_s	FAIL	612.19
k_dum_n-12	FAIL	612.23
s510_d28_s	FAIL	612.29
k_path_n-13	FAIL	612.34
k_poly_n-16	FAIL	612.37
qshifter_6	FAIL	612.53
k_ph_p-12	FAIL	612.53
stmt17_70_90	FAIL	612.54
mutex-32-s	FAIL	612.54
ev-pr-6x6-5-5-0-1-2-s	FAIL	612.58
term1.blif_0.10_0.20_0_0_out_exact	FAIL	612.73
ev-pr-6x6-13-5-0-1-2-lg	FAIL	612.79
adder-12-unsat	FAIL	613.03
c3_Debug_s3_f2_e2_v2	FAIL	613.13
query31_reachqu_1344n	FAIL	613.13
k_poly_n-14	FAIL	613.17
k_dum_p-14	FAIL	613.23
k_t4p_n-13	FAIL	613.33
rankfunc22_signed_64	FAIL	613.36
stmt17_86_98	FAIL	613.43
k_poly_n-18	FAIL	613.49
stmt21_79_304	FAIL	613.52
k_dum_n-9	FAIL	613.58
C5315.blif_0.10_0.20_0_1_inp_exact	FAIL	613.63
BLOCKS4iii.6	FAIL	613.73
Umbrella_tbm_05.tex.module.000039	FAIL	613.74
stmt16_950_951	FAIL	613.74
k_dum_p-12	FAIL	613.85
k_d4_p-17	FAIL	613.86
c4_Debug_s5_f2_e2_v1	FAIL	613.98
s386_d3_s	FAIL	614.01
s386_d2_s	FAIL	614.05
k_d4_n-14	FAIL	614.08
k_branch_p-10	FAIL	614.19
query51_query50_1344	FAIL	614.23
s386_d8_u	FAIL	614.45
stmt19_90_266	FAIL	614.5
cube_c11_ser--opt-42_	FAIL	614.54
biu.mv.xl_ao.bb-b001-p010-MIF04-c06.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	FAIL	614.57
audio_ddksynth_csynth2.cpp	FAIL	614.57
ev-pr-4x4-13-3-0-0-1-lg	FAIL	614.59
ev-pr-6x6-7-5-0-1-2-s	FAIL	614.67
test2_quant_squaring2	FAIL	614.71
k_poly_p-19	FAIL	614.73
k_path_n-14	FAIL	614.75
ev-pr-6x6-11-5-0-1-2-s	FAIL	614.77
nusmv.tcas^6.B-f4	FAIL	614.81
k_ph_p-10	FAIL	614.85
C6288.blif_0.10_1.00_0_1_inp_exact	FAIL	615.02
k_path_p-13	FAIL	615.05
test1_quant_squaring3	FAIL	615.16
small-seq-fixpoint-5	FAIL	615.17
k_t4p_p-4	FAIL	615.24
vis.4-arbit^2.E-f2	FAIL	615.46
biu.mv.xl_ao.bb-b001-p005-OPF05-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	615.47
k_ph_p-18	FAIL	615.53
stmt17_70_98	FAIL	615.54
ev-pr-8x8-15-7-0-1-2-lg	FAIL	615.61
stmt17_63_82	FAIL	615.72
stmt19_83_412	FAIL	615.74
incrementer-enc07-uniform-depth-25	FAIL	615.94
CHAIN19v.20	FAIL	616.11
s298_d19_u	FAIL	616.22
k_branch_p-8	FAIL	616.26
Adder2-10-s	FAIL	616.29
s1269_d12_u	FAIL	616.32
query42_query06_1344n	FAIL	616.51
k_branch_p-6	FAIL	616.81
incrementer-enc08-uniform-depth-33	FAIL	617.07
sortnetsort9.v.stepl.007	FAIL	617.23
s499_d24_u	FAIL	617.27
cnt11	FAIL	617.28
CHAIN22v.23	FAIL	617.43
network_ndis_rtlnwifi_hw_hw_ccmp.c	FAIL	617.57
Adder2-16-s	FAIL	617.71
ev-pr-4x4-7-3-0-0-1-s	FAIL	617.79
k_poly_n-6	FAIL	618.04
C6288.blif_0.10_1.00_0_1_out_exact	FAIL	618.15
k_d4_n-10	FAIL	618.26
dungeon_i25-m12-u3-v0.pddl_planlen=190	FAIL	618.44
stmt24_765_766	FAIL	618.54
s05378_PR_9_2	FAIL	618.62
sortnetsort8.v.stepl.009	FAIL	618.83
cache-coherence-2-fixpoint-1	FAIL	618.86
k_poly_p-9	FAIL	618.88
k_grz_p-12	FAIL	618.93
k_branch_n-9	FAIL	619.01
k_d4_n-16	FAIL	619.07
emptyroom_e3_ser---19_	FAIL	619.23
C432.blif_0.10_0.20_0_1_out_exact	FAIL	619.32
s27_d4_u	FAIL	619.34
nusmv.tcas^3.B-f2	FAIL	619.59
stmt17_62_98	FAIL	619.63
k_grz_n-18	FAIL	619.74
c1_BMC_p2_k512	FAIL	620.02
cnt16r	FAIL	620.11
small-synabs-fixpoint-9	FAIL	620.17
C880.blif_0.10_0.20_0_1_out_exact	FAIL	620.34
rankfunc5_unsigned_64	FAIL	620.41
cnt07e	FAIL	620.51
ken.flash^08.C-d4	FAIL	620.88
ken.oop^2.C-d4	FAIL	620.89
k_poly_n-20	FAIL	620.98
C499.blif_0.10_0.20_0_0_inp_exact	FAIL	621.12
k_t4p_p-12	FAIL	621.15
k_poly_p-16	FAIL	621.4
s1196_1_5	FAIL	621.62
sortnetsort10.v.stepl.005	FAIL	621.62
k_ph_p-15	FAIL	621.84
uclid-pipe3b	FAIL	621.96
k_lin_n-15	FAIL	622.27
k8_4_3	FAIL	622.41
k_path_p-10	FAIL	622.67
dungeon_i25-m12-u3-v0.pddl_planlen=165	FAIL	622.93
k_t4p_n-15	FAIL	623.06
s1269_d5_s	FAIL	623.31
k_branch_n-20	FAIL	623.38
s510_d23_s	FAIL	623.38
k_ph_p-20	FAIL	623.44
s499_d15_s	FAIL	623.57
b20_C_3_2	FAIL	624.45
rankfunc14_signed_64	FAIL	624.83
stmt17_82_98	FAIL	624.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-008	FAIL	625.29
s298_d2_s	FAIL	625.34
test5_quant_squaring4	FAIL	625.47
k8_2_3	FAIL	625.52
s09234_PR_8_2	FAIL	625.61
k_branch_n-10	FAIL	625.75
c4_Debug_s3_f1_e1_v2	FAIL	626.04
k_poly_p-11	FAIL	626.76
k_branch_n-8	FAIL	626.99
C5315.blif_0.10_1.00_0_0_out_exact	FAIL	628.04
stmt41_160_235	FAIL	628.32
small-seq-fixpoint-3	FAIL	629.37
test4_quant_squaring2	FAIL	629.73
s499_d25_u	FAIL	630.35
biu.mv.xl_ao.bb-b001-p005-OPF03-c09.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	630.36
nusmv.tcas-t^1.B-d2	FAIL	630.5
network_irda_miniport_nscirda_settings.c	FAIL	631.45
cache-coherence-3-fixpoint-3	FAIL	631.96
C6288.blif_0.10_1.00_0_0_out_exact	FAIL	632.36
C5315.blif_0.10_0.20_0_0_out_exact	FAIL	632.46
cache-coherence-2-fixpoint-6	FAIL	632.85
stmt29_226_376	FAIL	633.04
k_t4p_n-8	FAIL	633.07
ev-pr-4x4-13-3-0-0-1-s	FAIL	633.76
stmt23_72_76	FAIL	635.21
s510_d32_s	FAIL	635.4
s1269_d14_u	FAIL	635.52
C5315.blif_0.10_0.20_0_1_out_exact	FAIL	636.07
k5_3_2	FAIL	637.3
depots03_9	FAIL	637.48
biu.mv.xl_ao.bb-b001-p005-OPF05-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	638.13
s3330_d9_s	FAIL	640.47
s820_d15_u	FAIL	640.87
dungeon_i10-m5-u10-v0.pddl_planlen=134	FAIL	641.64
stmt19_217_309	FAIL	641.85
kernel_agplib_intrface.c	FAIL	643.62
stmt41_738_749	FAIL	643.85
ev-pr-8x8-17-7-0-1-2-lg	FAIL	644.14
C6288.blif_0.10_0.20_0_0_inp_exact	FAIL	645.64
s298_d4_s	FAIL	646.63
BLOCKS4i.6.4	FAIL	649.82
b22_C_2_12	FAIL	650.9
cube_c7_ser--opt-24_	FAIL	651.92
k_branch_p-11	FAIL	652.64
stmt28_68_81	FAIL	653.43
Core1108_tbm_21.tex.module.000030	FAIL	654.8
s820_d7_s	FAIL	656.19
s1269_d13_u	FAIL	659.69
ev-pr-6x6-17-5-0-1-2-lg	FAIL	662.9
sortnetsort9.AE.stepl.009	FAIL	667.08
s510_d35_s	FAIL	668.62
k_branch_n-11	FAIL	678.88
k_lin_n-17	FAIL	688.74

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by cheq
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by cheq QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.

Instances solved by cheq
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.