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

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

Instance	Result	Time
small-synabs-fixpoint-9	FAIL	0
k_ph_n-1	SAT	0
cache-coherence-2-fixpoint-1	FAIL	0
sdlx-fixpoint-3	FAIL	0
small-swap1-fixpoint-3	FAIL	0
flipflop-3-c	FAIL	0
small-swap2-fixpoint-4	FAIL	0
z4ml.blif_0.10_1.00_0_1_inp_exact	SAT	0.01
k_ph_p-1	UNSAT	0.01
cache-coherence-3-fixpoint-3	FAIL	0.01
z4ml.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.01
cache-coherence-2-fixpoint-6	FAIL	0.01
toilet_g_02_01.2	SAT	0.01
toilet_g_04_01.2	SAT	0.01
z4ml.blif_0.10_1.00_0_1_out_exact	SAT	0.01
impl02	SAT	0.01
toilet_g_06_01.2	SAT	0.01
toilet_a_02_10.2	SAT	0.01
toilet_c_08_01.2	UNSAT	0.01
small-seq-fixpoint-3	FAIL	0.01
small-seq-fixpoint-5	FAIL	0.01
cnt01	SAT	0.01
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.01
lognBWLARGEA0	UNSAT	0.01
impl04	SAT	0.01
k_lin_p-2	UNSAT	0.02
z4ml.blif_0.10_0.20_0_1_out_exact	SAT	0.02
z4ml.blif_0.10_0.20_0_0_inp_exact	UNSAT	0.02
stmt44_107_108	SAT	0.02
toilet_g_08_01.2	SAT	0.02
lognBWLARGEB0	UNSAT	0.02
stmt1_30_31	SAT	0.02
tree-exa2-10	UNSAT	0.02
k_ph_p-3	UNSAT	0.02
z4ml.blif_0.10_0.20_0_1_inp_exact	SAT	0.02
flipflop-4-c	UNSAT	0.02
BLOCKS3iii.4	UNSAT	0.02
impl06	SAT	0.02
toilet_a_04_01.4	UNSAT	0.02
toilet_c_06_01.4	UNSAT	0.02
impl08	SAT	0.02
toilet_c_04_01.4	UNSAT	0.02
impl10	SAT	0.02
k_d4_p-1	UNSAT	0.03
impl12	SAT	0.03
k_lin_p-3	UNSAT	0.03
toilet_a_04_01.6	UNSAT	0.03
tree-exa10-10	SAT	0.03
impl14	SAT	0.03
k_ph_n-3	SAT	0.03
toilet_a_04_05.2	SAT	0.03
toilet_g_10_01.2	SAT	0.03
cnt02e	SAT	0.03
counter_e_2	SAT	0.03
k_path_p-2	UNSAT	0.03
stmt44_107_113	SAT	0.04
impl18	SAT	0.04
tree-exa2-20	UNSAT	0.04
impl16	SAT	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
impl20	SAT	0.05
lut4_XOR_f1	SAT	0.05
BLOCKS3ii.4.3	UNSAT	0.05
C432.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.05
z4ml.blif_0.10_1.00_0_0_out_exact	UNSAT	0.05
incrementer-enc05-uniform-depth-2	UNSAT	0.06
tree-exa2-25	UNSAT	0.06
connect_5x4_3_D	FAIL	0.06
toilet_g_15_01.2	SAT	0.06
C432.blif_0.10_1.00_0_1_out_exact	SAT	0.06
C432.blif_0.10_1.00_0_1_inp_exact	SAT	0.07
z4ml.blif_0.10_0.20_0_0_out_exact	UNSAT	0.07
tree-exa2-30	UNSAT	0.07
C499.blif_0.10_1.00_0_1_out_exact	SAT	0.07
toilet_c_08_01.6	UNSAT	0.07
tree-exa2-35	UNSAT	0.08
C499.blif_0.10_1.00_0_1_inp_exact	SAT	0.09
k_ph_n-4	SAT	0.09
toilet_a_06_01.6	UNSAT	0.09
flipflop-5-c	UNSAT	0.09
tree-exa2-40	UNSAT	0.09
tlc03-uniform-depth-9	UNSAT	0.1
tree-exa2-45	UNSAT	0.1
toilet_g_20_01.2	SAT	0.11
toilet_a_08_05.2	UNSAT	0.11
toilet_c_06_01.8	UNSAT	0.11
BLOCKS3iii.5	SAT	0.11
connect_6x5_5_D	FAIL	0.11
toilet_c_08_01.7	UNSAT	0.11
term1.blif_0.10_1.00_0_1_inp_exact	SAT	0.12
tree-exa2-50	UNSAT	0.12
texas.parsesys^1.E-d4	SAT	0.12
p5-5.pddl_planlen=5	SAT	0.12
toilet_c_08_05.4	SAT	0.12
k_lin_p-4	UNSAT	0.12
term1.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.13
lights3_021_0_027	UNSAT	0.14
ring_r4_ser--opt-11_	UNSAT	0.14
p5-5.pddl_planlen=6	SAT	0.14
AR-fixpoint-5	FAIL	0.15
k_d4_n-1	SAT	0.15
lights3_021_0_009	SAT	0.15
cnt05	SAT	0.17
cube_c3_ser--opt-6_	SAT	0.17
BLOCKS3ii.5.2	UNSAT	0.17
flipflop-6-c	UNSAT	0.17
C499.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.2
k_ph_p-5	UNSAT	0.2
tlc03-uniform-depth-21	UNSAT	0.24
lights3_035_0_002	UNSAT	0.26
lights3_035_0_027	UNSAT	0.27
lights3_035_0_051	UNSAT	0.27
lut4_2_fXOR	SAT	0.3
term1.blif_0.10_1.00_0_1_out_exact	SAT	0.32
Adder2-2-c	UNSAT	0.33
tlc03-nonuniform-depth-17	UNSAT	0.35
toilet_a_06_01.10	UNSAT	0.35
vonNeumann-ripple-carry-5-c	UNSAT	0.38
flipflop-7-c	UNSAT	0.4
query48_query15_1344	UNSAT	0.41
ken.flash^10.C-f2	UNSAT	0.41
rewriting_k_10	UNSAT	0.43
query01_ntrivil_1344	UNSAT	0.45
BLOCKS3ii.5.3	SAT	0.45
C5315.blif_0.10_1.00_0_1_out_exact	SAT	0.49
k_dum_p-3	UNSAT	0.5
k3_1_1	SAT	0.5
k_dum_p-2	UNSAT	0.5
k_lin_p-8	UNSAT	0.52
toilet_c_08_01.11	UNSAT	0.58
tlc03-uniform-depth-52	UNSAT	0.61
arbiter-07-comp-error01-qbf-hardness-depth-4	UNSAT	0.62
adder-2-unsat	UNSAT	0.64
connect_7x6_4_W	FAIL	0.64
ken.flash^10.C-f3	UNSAT	0.68
qshifter_3	SAT	0.74
vonNeumann-ripple-carry-6-c	UNSAT	0.78
k_lin_p-9	UNSAT	0.84
flipflop-8-c	UNSAT	0.84
lut4_XOR_fOR	UNSAT	0.88
gttt_2_2_0010_3x3_torus_w	UNSAT	1.01
C5315.blif_0.10_1.00_0_1_inp_exact	SAT	1.05
tlc01-uniform-depth-73	UNSAT	1.07
k_lin_p-10	UNSAT	1.1
k_dum_n-1	SAT	1.13
BLOCKS4iii.6	UNSAT	1.21
k_lin_p-11	UNSAT	1.22
BLOCKS3i.5.4	SAT	1.31
connect_8x7_7_W	FAIL	1.34
k_lin_p-12	UNSAT	1.43
vonNeumann-ripple-carry-7-c	UNSAT	1.49
b20_PR_7_90	UNSAT	1.5
toilet_c_10_01.12	UNSAT	1.51
arbiter-06-comp-error02-qbf-hardness-depth-5	UNSAT	1.57
lognBWLARGEA1	UNSAT	1.57
p10-10.pddl_planlen=6	FAIL	1.59
flipflop-9-c	UNSAT	1.74
k_dum_p-4	UNSAT	2.03
k_poly_p-2	UNSAT	2.26
lut4_2_f1	SAT	2.3
mutex-2-s	SAT	2.51
s27_d2_s	SAT	2.53
C5315.blif_0.10_1.00_0_0_inp_exact	UNSAT	2.56
lut4_AND_f1	SAT	2.63
vonNeumann-ripple-carry-8-c	UNSAT	2.71
flipflop-10-c	UNSAT	2.79
k_lin_p-14	UNSAT	2.97
toilet_a_10_05.3	UNSAT	3
ring_r3_ser--opt-8_	SAT	3.04
BLOCKS4i.6.4	UNSAT	4.08
toilet_a_08_01.13	UNSAT	4.1
vonNeumann-ripple-carry-9-c	UNSAT	4.78
lut4_3_fAND	SAT	5.47
flipflop-11-c	UNSAT	5.61
fpu-10Xe-correct01-nonuniform-depth-6	UNSAT	5.89
arbiter-07-comp-error02-qbf-hardness-depth-6	UNSAT	6.01
k_path_p-5	UNSAT	6.19
driverlog01_7	SAT	6.7
sortnetsort5.v.stepl.004	UNSAT	6.85
irst.dme6.B-d2	SAT	6.88
query26_query34_1344	SAT	7.29
eijk.S382.S-d4	SAT	7.63
k_lin_p-19	UNSAT	7.86
vonNeumann-ripple-carry-10-c	UNSAT	8.2
k_branch_n-2	SAT	8.61
gttt_2_1_0010_4x4_torus_b	UNSAT	8.83
c4_BMC_p2_k128	UNSAT	11.02
toilet_a_08_05.9	SAT	12.46
fpu-10Xh-error01-uniform-depth-5	UNSAT	12.55
k_d4_p-4	UNSAT	13.31
vonNeumann-ripple-carry-11-c	UNSAT	13.66
ev-pr-4x4-5-3-0-0-1-lg	SAT	14.43
term1.blif_0.10_0.20_0_1_out_exact	SAT	15.12
flipflop-12-c	FAIL	15.19
c4_BMC_p1_k32	SAT	15.29
k_dum_p-6	UNSAT	15.53
fpu-10Xh-correct04-nonuniform-depth-18	UNSAT	16.32
C880.blif_0.10_1.00_0_1_out_exact	SAT	16.8
k_dum_n-2	SAT	16.9
incrementer-enc03-nonuniform-depth-13	UNSAT	17.85
k_d4_n-2	SAT	20.33
tlc04-nonuniform-depth-56	UNSAT	20.56
fpu-10Xe-correct01-nonuniform-depth-24	UNSAT	21.2
p10-10.pddl_planlen=10	FAIL	22.4
vonNeumann-ripple-carry-12-c	UNSAT	22.41
fpu-10Xh-correct04-nonuniform-depth-27	UNSAT	23.37
BLOCKS3i.5.3	UNSAT	23.81
s05378_PR_1_75	UNSAT	24.51
k_grz_p-4	UNSAT	28.34
lognBWLARGEB1	UNSAT	31.88
fpu-10Xh-correct04-uniform-depth-8	UNSAT	32.25
k_dum_n-3	SAT	35.56
C880.blif_0.10_1.00_0_1_inp_exact	SAT	35.85
vonNeumann-ripple-carry-13-c	UNSAT	35.97
cnt10	SAT	39.56
BLOCKS4ii.7.2	UNSAT	41.97
dungeon_i10-m5-u10-v0.pddl_planlen=23	UNSAT	42
gttt_1_1_000111_3x3_torus_w	UNSAT	42.34
tlc04-nonuniform-depth-98	UNSAT	44.99
incrementer-enc07-nonuniform-depth-17	UNSAT	50.33
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	51.31
k_grz_p-5	UNSAT	52.19
incrementer-enc07-nonuniform-depth-21	UNSAT	56.3
incrementer-enc03-nonuniform-depth-24	UNSAT	57.88
gttt_1_1_001020_3x3_w	UNSAT	67.79
k_poly_n-2	SAT	72
term1.blif_0.10_0.20_0_1_inp_exact	SAT	73.53
fpu-10Xh-correct04-uniform-depth-14	UNSAT	77.35
connect_5x4_4_R	UNSAT	78.78
k_path_n-4	FAIL	81.97
k_poly_n-6	FAIL	83.73
b20_PR_7_20	FAIL	83.96
k_path_n-12	FAIL	84.93
k_path_p-13	FAIL	85.03
mutex-128-s	FAIL	85.03
fpu-10Xh-correct04-uniform-depth-15	UNSAT	85.29
k_poly_n-7	FAIL	85.64
C6288.blif_0.10_0.20_0_0_out_exact	FAIL	86.79
k_path_p-14	FAIL	87.03
k_path_n-14	FAIL	87.43
C432.blif_0.10_0.20_0_0_inp_exact	FAIL	88.41
k_path_p-15	FAIL	88.43
cnt07e	SAT	88.47
query44_query26_1344n	FAIL	88.6
k_path_p-16	FAIL	88.94
rankfunc51_signed_32	FAIL	88.98
C6288.blif_0.10_1.00_0_0_out_exact	FAIL	89
C6288.blif_0.10_1.00_0_1_out_exact	FAIL	89.14
C6288.blif_0.10_0.20_0_1_inp_exact	FAIL	89.29
C6288.blif_0.10_1.00_0_1_inp_exact	FAIL	89.7
C5315.blif_0.10_0.20_0_0_inp_exact	FAIL	90.27
k_path_n-16	FAIL	90.33
C6288.blif_0.10_0.20_0_0_inp_exact	FAIL	91.31
k_path_p-18	FAIL	91.53
mutex-64-s	FAIL	91.68
connect_5x4_3_R	UNSAT	92.15
rankfunc33_signed_32	FAIL	92.31
k_path_p-19	FAIL	92.33
rankfunc13_unsigned_64	FAIL	92.66
Adder2-8-s	FAIL	92.67
fpu-10Xh-correct04-uniform-depth-16	UNSAT	93.04
C432.blif_0.10_0.20_0_1_inp_exact	FAIL	93.28
C6288.blif_0.10_0.20_0_1_out_exact	FAIL	93.29
k_path_n-19	FAIL	93.63
k_path_p-21	FAIL	93.83
rankfunc17_unsigned_16	FAIL	93.83
vonNeumann-ripple-carry-15-c	UNSAT	93.86
C880.blif_0.10_1.00_0_0_inp_exact	FAIL	95.09
C5315.blif_0.10_0.20_0_1_inp_exact	FAIL	95.1
k_poly_p-7	FAIL	95.33
s09234_PR_8_5	FAIL	95.93
k_poly_p-4	FAIL	96.13
Core1108_tbm_02.tex.moduleQ3.2S.000015	FAIL	96.33
rankfunc5_signed_32	FAIL	96.38
szymanski-6-s	FAIL	96.45
mutex-16-s	FAIL	96.91
rankfunc14_signed_64	FAIL	97.03
szymanski-8-s	FAIL	97.25
C880.blif_0.10_0.20_0_1_inp_exact	FAIL	98.3
dungeon_i10-m5-u10-v0.pddl_planlen=134	UNSAT	99.59
ev-pr-4x4-7-3-0-0-1-lg	SAT	99.83
rankfunc5_unsigned_64	FAIL	100.36
C5315.blif_0.10_0.20_0_1_out_exact	FAIL	101.18
k_poly_p-8	FAIL	101.73
Core1108_tbm_21.tex.module.000026	UNSAT	102.02
C880.blif_0.10_0.20_0_1_out_exact	FAIL	102.08
rankfunc3_signed_64	FAIL	102.67
rankfunc13_signed_32	FAIL	103.53
ev-pr-8x8-5-7-0-1-2-lg	UNSAT	103.55
C880.blif_0.10_0.20_0_0_out_exact	FAIL	103.9
Adder2-10-s	FAIL	104.27
uclid-pipe3b	FAIL	104.37
rankfunc22_signed_64	FAIL	104.53
C5315.blif_0.10_0.20_0_0_out_exact	FAIL	105.09
s09234_PR_8_2	FAIL	105.4
uclid-pipe2	FAIL	105.44
C432.blif_0.10_0.20_0_1_out_exact	FAIL	105.51
k_poly_p-9	FAIL	105.83
mutex-32-s	FAIL	106.13
C432.blif_0.10_0.20_0_0_out_exact	FAIL	107.14
texas.PI_main^16.E-f2	FAIL	107.35
C880.blif_0.10_0.20_0_0_inp_exact	FAIL	107.94
k_grz_n-4	FAIL	108.1
CHAIN23v.24	FAIL	109.03
CHAIN14v.15	FAIL	109.35
stmt19_90_266	FAIL	109.56
CHAIN22v.23	FAIL	109.84
szymanski-10-s	FAIL	110.03
k_grz_n-5	FAIL	110.29
stmt41_160_235	FAIL	110.89
k_t4p_n-4	FAIL	111.13
texas.two_proc^4.E-f2	FAIL	111.38
query42_query06_1344n	FAIL	113
ken.flash^08.C-d4	FAIL	113.33
Adder2-16-s	FAIL	113.61
k_t4p_n-5	FAIL	113.63
k_dum_n-9	FAIL	114.43
stmt19_217_309	FAIL	114.5
k_t4p_n-6	FAIL	114.93
k_poly_n-16	FAIL	115.02
k_t4p_p-9	FAIL	115.13
k_dum_n-12	FAIL	115.13
k_t4p_p-12	FAIL	115.14
k_t4p_p-10	FAIL	115.34
emptyroom_e3_ser--opt-20_	FAIL	115.36
k_d4_n-3	FAIL	115.37
texas.PI_main^08.E-f3	FAIL	115.47
stmt25_52_53	FAIL	115.8
k_dum_n-11	FAIL	115.83
k_poly_n-14	FAIL	115.9
C880.blif_0.10_1.00_0_0_out_exact	FAIL	116.11
term1.blif_0.10_0.20_0_0_inp_exact	FAIL	116.13
input_mouser_cseries.c	FAIL	116.75
uclid-pipe3a	FAIL	116.85
s15850_PR_2_2	FAIL	117.89
stmt19_3_214	FAIL	118.39
k_dum_p-12	FAIL	118.64
szymanski-14-s	FAIL	118.91
k_t4p_n-8	FAIL	119.35
k_t4p_p-15	FAIL	119.83
k_dum_p-14	FAIL	120.13
stmt21_79_304	FAIL	120.77
k_branch_n-3	FAIL	120.95
stmt29_226_376	FAIL	121.12
k_t4p_p-16	FAIL	121.13
szymanski-5-s	FAIL	121.59
k_dum_n-17	FAIL	121.94
k_poly_n-17	FAIL	122.02
s15850_PR_8_50	FAIL	122.03
k_dum_n-18	FAIL	122.33
C499.blif_0.10_0.20_0_0_inp_exact	FAIL	123.22
k_dum_p-16	FAIL	123.33
k_d4_p-7	FAIL	123.43
k_dum_p-21	FAIL	123.63
stmt52_244_394	FAIL	123.65
k_dum_n-21	FAIL	124.53
CHAIN21v.22	FAIL	124.6
filesys_smbmrx_cvsndrcv.c	FAIL	124.69
k_poly_n-20	FAIL	125.34
stmt21_319_418	FAIL	125.53
szymanski-16-s	FAIL	126.15
stmt41_738_749	FAIL	127.33
C499.blif_0.10_0.20_0_0_out_exact	FAIL	128.38
k_d4_p-10	FAIL	128.63
C499.blif_0.10_0.20_0_1_out_exact	FAIL	128.74
b22_PR_8_20	FAIL	129.16
biu.mv.xl_ao.bb-b001-p005-OPF03-c09.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	129.68
k_poly_n-18	FAIL	130.78
k_d4_p-11	FAIL	131.03
stmt23_72_76	FAIL	131.65
k_poly_p-14	FAIL	131.73
szymanski-20-s	FAIL	132.03
eijk.bs4863.S-d4	FAIL	132.17
szymanski-12-s	FAIL	132.54
incrementer-enc02-nonuniform-depth-31	UNSAT	132.92
k_poly_n-21	FAIL	133.75
network_ndis_rtlnwifi_hw_hw_ccmp.c	FAIL	134.35
audio_ddksynth_csynth2.cpp	FAIL	135
k_poly_p-19	FAIL	135.82
stmt27_16_97	FAIL	136.35
szymanski-18-s	FAIL	136.71
mutex-8-s	FAIL	136.72
stmt19_83_412	FAIL	137.03
k_poly_p-15	FAIL	137.52
stmt17_86_98	FAIL	138.65
kernel_agplib_intrface.c	FAIL	139.76
k_d4_n-7	FAIL	140.33
stmt17_70_90	FAIL	140.39
vis.4-arbit^2.E-f2	FAIL	141.78
k_d4_p-16	FAIL	142.04
k_dum_n-5	FAIL	142.13
CHAIN19v.20	FAIL	142.82
fpu-10Xe-correct01-uniform-depth-22	UNSAT	142.94
k_d4_n-8	FAIL	143.53
s01238_PR_8_2	FAIL	143.62
k_d4_p-17	FAIL	143.94
network_irda_miniport_nscirda_comm.c	FAIL	144.67
dungeon_i10-m10-u10-v0.pddl_planlen=187	UNSAT	145.69
CHAIN20v.21	FAIL	147.2
ken.oop^2.C-d3	FAIL	147.39
stmt17_63_82	FAIL	147.49
nusmv.tcas-t^1.B-d2	FAIL	148.25
k_grz_p-18	FAIL	148.34
s510_d3_s	FAIL	149.29
ken.oop^2.C-d4	FAIL	149.69
input_pnpi8042_moudep.c	FAIL	149.75
biu.mv.xl_ao.bb-b001-p010-IPF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	150.34
k_d4_n-10	FAIL	151.54
nusmv.tcas^3.B-f2	FAIL	151.63
k_t4p_n-12	FAIL	151.65
k_d4_p-20	FAIL	152.33
network_irda_miniport_nscirda_settings.c	FAIL	153.38
k_t4p_n-13	FAIL	153.49
s641_d2_s	FAIL	154.2
s820_d3_s	FAIL	154.21
stmt17_70_98	FAIL	154.32
s713_d3_s	FAIL	155.11
test2_quant_squaring2	FAIL	155.44
k_poly_p-16	FAIL	155.5
nusmv.reactor^3.C-d4	FAIL	155.84
test2_quant_squaring3	FAIL	155.99
sortnetsort8.AE.stepl.003	FAIL	156.21
s713_d5_s	FAIL	156.36
stmt16_950_951	FAIL	156.7
s05378_PR_9_2	FAIL	156.77
stmt27_296_297	FAIL	157.34
network_trans_sys_notify.c	FAIL	157.47
hid_hclient_ecdisp.c	FAIL	157.7
s499_d7_s	FAIL	157.86
stmt28_68_81	FAIL	158.2
vis.prodcell^01.E-d2	FAIL	159.03
sortnetsort9.AE.stepl.009	FAIL	159.06
s386_d3_s	FAIL	159.53
stmt17_82_98	FAIL	159.64
s3330_d2_s	FAIL	159.74
k_t4p_n-15	FAIL	159.75
stmt19_64_99	FAIL	159.92
s1196_d3_u	FAIL	159.94
s386_d4_s	FAIL	160.48
s713_d2_s	FAIL	160.66
s1269_d3_s	FAIL	161.21
s713_d4_s	FAIL	161.48
stmt23_66_96	FAIL	161.73
s298_d12_s	FAIL	162.42
s1196_d2_s	FAIL	163.11
s641_d5_s	FAIL	163.11
s386_d8_u	FAIL	164.12
s713_d7_u	FAIL	164.76
k_t4p_n-14	FAIL	164.92
s820_d7_s	FAIL	164.93
s713_d8_u	FAIL	165.27
s641_d7_u	FAIL	165.77
s298_d14_s	FAIL	166.08
s499_d15_s	FAIL	166.29
s641_d4_s	FAIL	166.52
s820_d8_s	FAIL	166.53
sortnetsort9.AE.stepl.012	FAIL	166.78
s499_d12_s	FAIL	167.48
s713_d9_u	FAIL	167.72
s510_d11_s	FAIL	167.73
s1269_d4_s	FAIL	168.4
k_d4_n-15	FAIL	168.83
C6288.blif_0.10_1.00_0_0_inp_exact	FAIL	168.97
stmt24_765_766	FAIL	169.36
s386_d6_s	FAIL	170.07
s641_d11_u	FAIL	170.48
s820_d10_s	FAIL	171.58
s298_d4_s	FAIL	172.47
s386_d10_u	FAIL	172.59
s1196_d6_u	FAIL	172.93
s1269_d5_s	FAIL	172.93
s499_d17_s	FAIL	172.95
s1196_d4_u	FAIL	173.76
s386_d9_u	FAIL	173.83
s499_d22_u	FAIL	173.93
s641_d3_s	FAIL	174.01
s820_d2_s	FAIL	174.65
s713_d10_u	FAIL	174.67
s499_d24_u	FAIL	174.68
s641_d10_u	FAIL	174.8
k_path_n-6	FAIL	175.15
s298_d17_s	FAIL	175.77
toilet_c_10_01.17	UNSAT	175.84
s713_d11_u	FAIL	176.47
sortnetsort7.v.stepl.007	FAIL	176.49
s499_d25_u	FAIL	176.93
s499_d19_s	FAIL	177.31
s298_d19_u	FAIL	177.8
s820_d12_u	FAIL	177.95
s820_d11_u	FAIL	178
s386_d11_u	FAIL	178.12
s298_d18_s	FAIL	178.6
stmt44_916_917	FAIL	178.73
s1196_d7_u	FAIL	178.85
k_path_n-3	SAT	179.51
cube_c9_par--opt-11_	SAT	179.96
s386_d7_s	FAIL	180.28
s1196_d5_u	FAIL	180.51
s298_d10_s	FAIL	180.68
s298_d22_u	FAIL	180.8
adder-12-unsat	FAIL	181.49
s3330_d3_s	FAIL	181.59
s820_d9_s	FAIL	182.01
s641_d6_s	FAIL	183.25
s713_d6_s	FAIL	184.08
CHAIN18v.19	FAIL	184.59
adder-14-sat	FAIL	184.61
k_d4_n-20	FAIL	184.84
s510_d24_s	FAIL	185.32
s386_d12_u	FAIL	185.74
s510_d23_s	FAIL	185.8
s499_d9_s	FAIL	186.46
s499_d18_s	FAIL	186.55
s641_d8_u	FAIL	186.67
s820_d15_u	FAIL	186.91
s510_d32_s	FAIL	188.46
s510_d6_s	FAIL	188.69
gttt_2_2_00101121_3x3_b	UNSAT	188.81
s510_d28_s	FAIL	190.09
s510_d35_s	FAIL	191.04
texas.PI_main^05.E-f3	FAIL	191.21
k_path_p-10	FAIL	191.54
s1269_d9_s	FAIL	191.58
s298_d25_u	FAIL	191.76
ev-pr-6x6-5-5-0-1-2-lg	UNSAT	193.07
k_branch_n-4	FAIL	194.37
stmt17_62_98	FAIL	194.37
s3330_d4_s	FAIL	194.6
s1269_d14_u	FAIL	195.76
k_path_n-9	FAIL	196.77
s1269_d10_s	FAIL	198.12
adder-12-sat	FAIL	198.38
s820_d14_u	FAIL	198.55
s1269_d13_u	FAIL	199.14
k_grz_n-10	FAIL	200.23
s510_d31_s	FAIL	200.72
s1269_d8_s	FAIL	202.5
term1.blif_0.10_0.20_0_0_out_exact	FAIL	205.02
s3330_d5_s	FAIL	205.52
k_grz_p-16	FAIL	205.93
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	FAIL	207.86
driverlog03_7	SAT	207.87
k_grz_p-10	FAIL	207.93
Umbrella_tbm_05.tex.module.000039	FAIL	208.03
par16-1-50	FAIL	208.55
adder-10-sat	FAIL	209.9
s510_d36_s	FAIL	210.81
k_grz_p-11	FAIL	211.33
s1269_d12_u	FAIL	213.72
sortnetsort8.v.stepl.007	FAIL	214.67
par8-4-50	FAIL	215.07
s3330_d8_s	FAIL	215.1
s1269_d15_u	FAIL	215.93
b12_PR_9_2	FAIL	216.38
k_branch_p-5	FAIL	216.57
test1_quant_squaring2	FAIL	217.12
k_branch_p-6	FAIL	219.22
s3330_d7_s	FAIL	219.67
sortnetsort9.v.stepl.007	FAIL	220.64
k_grz_p-12	FAIL	222.73
s3330_d9_s	FAIL	224.85
test1_quant_squaring3	FAIL	226.1
query31_reachqu_1344n	FAIL	226.4
Core1108_tbm_21.tex.module.000027	FAIL	226.84
k_grz_p-17	FAIL	227.23
Core1108_tbm_21.tex.module.000008	FAIL	227.83
cnt11	SAT	229.53
k_grz_n-7	FAIL	229.74
Umbrella_tbm_24.tex.module.000131	FAIL	230.61
s3330_d10_u	FAIL	232.57
k_grz_p-13	FAIL	233.23
s386_d2_s	FAIL	240.7
k_grz_n-6	FAIL	242.82
k_branch_n-16	FAIL	243.8
k_branch_p-16	FAIL	246.37
CHAIN17v.18	FAIL	248.1
biu.mv.xl_ao.bb-b001-p010-IPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	248.68
Core1108_tbm_21.tex.module.000030	FAIL	251.33
k_t4p_p-4	FAIL	255.35
biu.mv.xl_ao.bb-b001-p010-OPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	258.56
gttt_1_1_00101121_4x4_torus_w	FAIL	260.02
biu.mv.xl_ao.bb-b001-p005-OPF05-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	262.06
k_branch_n-8	FAIL	262.2
k_branch_p-18	FAIL	262.69
k_branch_p-8	FAIL	271.6
biu.mv.xl_ao.bb-b001-p005-OPF05-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	274.41
gttt_2_1_000111_3x3_torus_b	SAT	282.21
k_branch_p-21	FAIL	282.95
k_branch_n-9	FAIL	283.22
connect_8x7_4_R	FAIL	283.29
k_d4_p-8	FAIL	288.74
Umbrella_tbm_24.tex.module.000066	FAIL	291.34
sortnetsort9.v.stepl.005	FAIL	292.27
cnt14	FAIL	301.39
sortnetsort10.v.stepl.005	FAIL	306.9
aim-100-6_0-yes1-3-50	FAIL	307.75
connect_8x7_5_R	FAIL	315.13
CHAIN16v.17	FAIL	318.42
k_path_n-5	FAIL	322.31
k_t4p_n-2	FAIL	332.64
k_grz_n-18	FAIL	339.72
k_lin_n-5	FAIL	340.95
k_lin_n-6	FAIL	344.51
k_grz_n-21	FAIL	346.35
k_grz_p-19	FAIL	360.95
jnh212-50	FAIL	361.85
s298_d2_s	FAIL	363.84
biu.mv.xl_ao.bb-b001-p010-MIF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	370.4
k_grz_n-8	FAIL	377.54
ii32b1-00	FAIL	379.34
k_ph_p-12	FAIL	387.2
k_lin_n-7	FAIL	392.88
k_lin_n-3	FAIL	397.83
biu.mv.xl_ao.bb-b001-p010-IPF02-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	403.97
connect_8x7_6_R	FAIL	404.53
biu.mv.xl_ao.bb-b001-p010-MIF01-c01.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	414.37
k_lin_n-8	FAIL	427.8
arbiter-07-comp-error01-qbf-hardness-depth-11	UNSAT	428.54
aim-100-1_6-yes1-2-00	FAIL	430.78
k_ph_n-6	SAT	434.06
query03_query25_1344	FAIL	436.96
k_ph_n-14	FAIL	454.35
k_ph_p-13	FAIL	455.19
k_lin_n-9	FAIL	471.66
C499.blif_0.10_0.20_0_1_inp_exact	SAT	482.41
sortnetsort8.v.stepl.009	SAT	482.87
arbiter-06-comp-error01-qbf-hardness-depth-12	UNSAT	508.51
k_lin_n-11	FAIL	572.84
cnt08e	FAIL	589.95
k_grz_n-2	FAIL	590.51
lut4_2_f2	FAIL	593.5
lut4_AND_fXOR	FAIL	595.47
CHAIN12v.13	FAIL	596.73
query11_query21_1344	FAIL	598.52
query51_query50_1344	FAIL	598.81
query21_ntrivil_1344	FAIL	599.52
k_ph_p-10	FAIL	599.71
rewriting_k_100	FAIL	599.72
rewriting_k_19	FAIL	599.72
test3_quant_squaring4	FAIL	599.72
rewriting_k_21	FAIL	599.72
rewriting_k_30	FAIL	599.72
tree-exa10-30	FAIL	599.72
qshifter_5	FAIL	599.72
test3_quant_squaring2	FAIL	599.72
test5_quant_squaring5	FAIL	599.72
C432.blif_0.10_1.00_0_0_out_exact	FAIL	599.72
test5_quant_squaring4	FAIL	599.72
s27_d3_u	FAIL	599.72
test4_quant_squaring4	FAIL	599.72
p20-1.pddl_planlen=24	FAIL	599.72
mutex-4-s	FAIL	599.72
stmt17_18_19	FAIL	599.72
C499.blif_0.10_1.00_0_0_out_exact	FAIL	599.72
s27_d4_u	FAIL	599.72
s27_d5_u	FAIL	599.72
k5_3_2	FAIL	599.72
k5_2_3	FAIL	599.72
aim-200-1_6-yes1-4-90	FAIL	599.72
qshifter_4	FAIL	599.72
par8-1-c-50	FAIL	599.72
aim-50-6_0-yes1-3-50	FAIL	599.75
c4_Debug_s3_f1_e2_v2	FAIL	599.77
rewriting_k_17	FAIL	599.82
test4_quant_squaring2	FAIL	599.82
rewriting_k_23	FAIL	599.82
term1.blif_0.10_1.00_0_0_out_exact	FAIL	599.82
rewriting_k_50	FAIL	599.83
ev-pr-6x6-19-5-0-1-2-lg	FAIL	600
dungeon_i25-m12-u5-v0.pddl_planlen=65	FAIL	600
dungeon_i25-m12-u5-v0.pddl_planlen=170	FAIL	600
dungeon_i25-m12-u3-v0.pddl_planlen=72	FAIL	600
dungeon_i25-m12-u3-v0.pddl_planlen=190	FAIL	600
dungeon_i25-m12-u3-v0.pddl_planlen=165	FAIL	600
dungeon_i25-m12-u3-v0.pddl_planlen=130	FAIL	600
k_lin_n-14	FAIL	600
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009	FAIL	600
ev-pr-6x6-9-5-0-1-2-s	FAIL	600
gttt_2_2_001020_4x4_w	FAIL	600
k_lin_n-15	FAIL	600
k_dum_p-20	FAIL	600
gttt_2_1_00102030_4x4_torus_b	FAIL	600
gttt_2_1_00011020_4x4_b	FAIL	600
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	600
dungeon_i15-m7-u4-v0.pddl_planlen=81	FAIL	600
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	FAIL	600
c2_Debug_s3_f1_e1_v2	FAIL	600
b20_C_3_2	FAIL	600
c2_Debug_s3_f2_e1_v3	FAIL	600
arbiter-10-comp-error01-qbf-hardness-depth-22	FAIL	600
arbiter-10-comp-error01-qbf-hardness-depth-10	FAIL	600
arbiter-08-comp-error02-qbf-hardness-depth-9	FAIL	600
k_d4_n-16	FAIL	600
ev-pr-8x8-19-7-0-1-2-lg	FAIL	600
c1_Debug_s5_f1_e1_v2	FAIL	600
b21_C_3_206	FAIL	600
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	600
ev-pr-4x4-7-3-0-0-1-s	FAIL	600
driverlog10_6	FAIL	600
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	600
c1_Debug_s3_f1_e1_v1	FAIL	600
depots03_9	FAIL	600
ev-pr-6x6-9-5-0-1-2-lg	FAIL	600
b22_C_2_12	FAIL	600
c3_Debug_s3_f2_e2_v2	FAIL	600
ev-pr-4x4-13-3-0-0-1-lg	FAIL	600
ev-pr-8x8-13-7-0-1-2-lg	FAIL	600
k_ph_p-18	FAIL	600
ev-pr-6x6-11-5-0-1-2-s	FAIL	600
nusmv.tcas^6.B-f4	FAIL	600
ev-pr-4x4-15-3-0-0-1-s	FAIL	600
k_ph_p-19	FAIL	600
ken.flash^03.C-f3	FAIL	600
k_poly_n-5	FAIL	600
k_poly_p-11	FAIL	600
k_t4p_n-9	FAIL	600
k_t4p_p-18	FAIL	600
k_t4p_p-6	FAIL	600
arbiter-07-comp-error01-qbf-hardness-depth-20	FAIL	600
k_t4p_p-17	FAIL	600
ev-pr-6x6-11-5-0-1-2-lg	FAIL	600
cnt16r	FAIL	600
s3330_d12_u	FAIL	600
qshifter_8	FAIL	600
k_ph_n-11	FAIL	600
k_ph_n-9	FAIL	600
qshifter_7	FAIL	600
ev-pr-6x6-17-5-0-1-2-s	FAIL	600
k_branch_p-10	FAIL	600
ev-pr-6x6-13-5-0-1-2-s	FAIL	600
k_branch_n-12	FAIL	600
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	FAIL	600
p20-1.pddl_planlen=26	FAIL	600
p20-1.pddl_planlen=32	FAIL	600
p20-20.pddl_planlen=23	FAIL	600
p20-5.pddl_planlen=17	FAIL	600
p20-5.pddl_planlen=32	FAIL	600
biu.mv.xl_ao.bb-b001-p010-MIF04-c06.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	FAIL	600
k_lin_n-17	FAIL	600
pipesnotankage14_10	FAIL	600
pipesnotankage18_7	FAIL	600
pipesnotankage18_8	FAIL	600
k_path_n-13	FAIL	600
s1196_1_5	FAIL	600
s3330_d14_u	FAIL	600
k_branch_n-11	FAIL	600
Umbrella_tbm_25.tex.moduleQ3.2S.000075	FAIL	600
Core1108_tbm_03.tex.moduleQ3.2S.000002	FAIL	600
k_branch_p-11	FAIL	600
ev-pr-6x6-17-5-0-1-2-lg	FAIL	600
k_branch_p-14	FAIL	600
k_d4_n-14	FAIL	600
k_dum_p-17	FAIL	600
k_ph_n-8	FAIL	600
Adder2-8-c	FAIL	600
ev-pr-4x4-9-3-0-0-1-s	FAIL	600
ev-pr-6x6-19-5-0-1-2-s	FAIL	600
f600-50	FAIL	600
c5_BMC_p2_k64	FAIL	600
ev-pr-6x6-5-5-0-1-2-s	FAIL	600
c5_BMC_p2_k128	FAIL	600
k_d4_p-13	FAIL	600
k_branch_n-10	FAIL	600
ev-pr-6x6-7-5-0-1-2-s	FAIL	600
ev-pr-4x4-15-3-0-0-1-lg	FAIL	600
k_grz_n-20	FAIL	600
ev-pr-8x8-9-7-0-1-2-lg	FAIL	600
ev-pr-6x6-15-5-0-1-2-s	FAIL	600
ev-pr-8x8-11-7-0-1-2-lg	FAIL	600
k6_2_3	FAIL	600
ev-pr-4x4-5-3-0-0-1-s	FAIL	600
k8_4_3	FAIL	600
k14_2_3	FAIL	600
k8_3_2	FAIL	600
k8_2_3	FAIL	600
k8_3_4	FAIL	600
ev-pr-8x8-15-7-0-1-2-lg	FAIL	600
szymanski-24-s	FAIL	600
k12_4_2	FAIL	600
ev-pr-6x6-13-5-0-1-2-lg	FAIL	600
qshifter_6	FAIL	600
ev-pr-8x8-17-7-0-1-2-lg	FAIL	600
c5_BMC_p1_k32	FAIL	600
ev-pr-4x4-17-3-0-0-1-lg	FAIL	600
ev-pr-8x8-7-7-0-1-2-lg	FAIL	600
C5315.blif_0.10_1.00_0_0_out_exact	FAIL	600
k_branch_p-12	FAIL	600
ev-pr-4x4-11-3-0-0-1-lg	FAIL	600
k_ph_p-20	FAIL	600
cube_c11_ser--opt-42_	FAIL	600
connect_9x8_6_R	FAIL	600
c4_Debug_s5_f2_e2_v1	FAIL	600
c4_Debug_s3_f2_e2_v2	FAIL	600
tlc04-uniform-depth-36	FAIL	600
ev-pr-6x6-15-5-0-1-2-lg	FAIL	600
tlc02-uniform-depth-241	FAIL	600
tlc02-uniform-depth-114	FAIL	600
k_branch_n-20	FAIL	600
c4_Debug_s3_f1_e1_v2	FAIL	600
ev-pr-4x4-13-3-0-0-1-s	FAIL	600
ev-pr-4x4-17-3-0-0-1-s	FAIL	600
arbiter-06-comp-error01-qbf-hardness-depth-15	FAIL	600
cube_c7_ser--opt-24_	FAIL	600
emptyroom_e3_ser---19_	FAIL	600
c1_BMC_p2_k512	FAIL	600
incrementer-enc02-uniform-depth-58	FAIL	600
c2_BMC_p1_k2048	FAIL	600
c3_BMC_p1_k256	FAIL	600
c1_BMC_p1_k4	FAIL	600
ring_r6_ser--opt-17_	FAIL	600
ev-pr-4x4-11-3-0-0-1-s	FAIL	600
incrementer-enc06-uniform-depth-24	FAIL	600
k_ph_n-21	FAIL	600
emptyroom_e4_ser--opt-44_	FAIL	600
k_t4p_p-20	FAIL	600
ev-pr-6x6-7-5-0-1-2-lg	FAIL	600
incrementer-enc07-uniform-depth-25	FAIL	600
cube_c11_par---13_	FAIL	600
emptyroom_e4_par---21_	FAIL	600
ev-pr-4x4-9-3-0-0-1-lg	FAIL	600
rewriting_k_25	FAIL	601.52
c1_BMC_p2_k1024	FAIL	604.82
k_ph_n-16	FAIL	606.4
rewriting_k_75	FAIL	608.32
incrementer-enc08-uniform-depth-33	FAIL	611.98
k_ph_p-15	FAIL	618.79
c4_Debug_s3_f1_e2_v3	FAIL	621.44

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

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

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

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

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