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

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

Instance	Result	Time
cnt01	SAT	0
small-swap2-fixpoint-4	FAIL	0
cache-coherence-2-fixpoint-1	FAIL	0
small-swap1-fixpoint-3	FAIL	0
impl02	SAT	0
sdlx-fixpoint-3	FAIL	0
toilet_g_02_01.2	SAT	0
small-synabs-fixpoint-9	FAIL	0
cache-coherence-3-fixpoint-3	FAIL	0
k_ph_n-1	SAT	0
tree-exa2-10	UNSAT	0
k_ph_p-1	UNSAT	0
flipflop-3-c	FAIL	0
small-seq-fixpoint-3	FAIL	0.01
impl06	SAT	0.01
z4ml.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.01
lognBWLARGEA0	UNSAT	0.01
z4ml.blif_0.10_1.00_0_1_out_exact	SAT	0.01
impl08	SAT	0.01
tree-exa2-25	UNSAT	0.01
toilet_g_06_01.2	SAT	0.01
z4ml.blif_0.10_1.00_0_1_inp_exact	SAT	0.01
cache-coherence-2-fixpoint-6	FAIL	0.01
toilet_c_08_01.2	UNSAT	0.01
impl04	SAT	0.01
toilet_g_04_01.2	SAT	0.01
stmt44_107_108	SAT	0.01
stmt1_30_31	SAT	0.01
toilet_c_04_01.4	UNSAT	0.01
toilet_a_04_01.4	UNSAT	0.01
impl10	SAT	0.01
toilet_c_06_01.4	UNSAT	0.01
toilet_a_02_10.2	SAT	0.01
tree-exa2-20	UNSAT	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
small-seq-fixpoint-5	FAIL	0.01
lognBWLARGEB0	UNSAT	0.02
tree-exa2-35	UNSAT	0.02
toilet_g_08_01.2	SAT	0.02
tree-exa2-30	UNSAT	0.02
z4ml.blif_0.10_0.20_0_0_inp_exact	UNSAT	0.02
z4ml.blif_0.10_0.20_0_1_inp_exact	SAT	0.02
impl12	SAT	0.02
impl14	SAT	0.02
toilet_a_04_05.2	SAT	0.03
tree-exa2-40	UNSAT	0.03
toilet_a_04_01.6	UNSAT	0.03
toilet_g_10_01.2	SAT	0.03
k_ph_p-3	UNSAT	0.03
cnt02e	SAT	0.03
impl16	SAT	0.03
stmt44_107_113	SAT	0.03
counter_e_2	SAT	0.03
flipflop-4-c	UNSAT	0.04
toilet_c_08_01.6	UNSAT	0.04
tree-exa10-10	SAT	0.04
BLOCKS3iii.4	UNSAT	0.04
tree-exa2-45	UNSAT	0.04
impl20	SAT	0.04
k_d4_p-1	UNSAT	0.04
impl18	SAT	0.04
k_ph_n-3	SAT	0.04
tree-exa2-50	UNSAT	0.05
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.05
k_path_p-2	UNSAT	0.05
z4ml.blif_0.10_0.20_0_1_out_exact	SAT	0.05
k_lin_p-2	UNSAT	0.05
lut4_XOR_f1	SAT	0.05
connect_5x4_3_D	FAIL	0.06
toilet_g_15_01.2	SAT	0.06
aim-100-1_6-yes1-2-00	SAT	0.06
mutex-2-s	SAT	0.06
incrementer-enc05-uniform-depth-2	UNSAT	0.06
toilet_c_08_01.7	UNSAT	0.06
toilet_a_06_01.6	UNSAT	0.07
C432.blif_0.10_1.00_0_1_inp_exact	SAT	0.07
z4ml.blif_0.10_1.00_0_0_out_exact	UNSAT	0.07
k_lin_p-3	UNSAT	0.08
z4ml.blif_0.10_0.20_0_0_out_exact	UNSAT	0.08
C432.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.08
toilet_c_06_01.8	UNSAT	0.08
s01238_PR_8_2	SAT	0.09
C499.blif_0.10_1.00_0_1_out_exact	SAT	0.09
C432.blif_0.10_1.00_0_1_out_exact	SAT	0.09
C499.blif_0.10_1.00_0_1_inp_exact	SAT	0.09
b12_PR_9_2	SAT	0.1
connect_6x5_5_D	FAIL	0.11
toilet_g_20_01.2	SAT	0.12
aim-100-6_0-yes1-3-50	SAT	0.13
BLOCKS3iii.5	SAT	0.13
k_ph_n-4	SAT	0.14
toilet_c_08_05.4	SAT	0.14
k_lin_p-4	UNSAT	0.14
flipflop-5-c	UNSAT	0.14
aim-50-6_0-yes1-3-50	UNSAT	0.15
Adder2-2-c	UNSAT	0.15
cnt05	SAT	0.15
AR-fixpoint-5	FAIL	0.15
lut4_XOR_fOR	UNSAT	0.16
texas.parsesys^1.E-d4	SAT	0.16
par8-1-c-50	UNSAT	0.16
toilet_a_08_05.2	UNSAT	0.17
ring_r4_ser--opt-11_	UNSAT	0.18
tlc03-uniform-depth-9	UNSAT	0.19
term1.blif_0.10_1.00_0_1_inp_exact	SAT	0.19
BLOCKS3ii.4.3	UNSAT	0.19
cube_c3_ser--opt-6_	SAT	0.19
k3_1_1	SAT	0.2
gttt_2_2_0010_3x3_torus_w	UNSAT	0.21
p5-5.pddl_planlen=5	SAT	0.21
arbiter-07-comp-error01-qbf-hardness-depth-4	UNSAT	0.24
term1.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.25
Core1108_tbm_21.tex.module.000027	UNSAT	0.28
lut4_2_fXOR	SAT	0.28
k_d4_n-1	SAT	0.3
BLOCKS4iii.6	UNSAT	0.31
query48_query15_1344	UNSAT	0.32
toilet_a_06_01.10	UNSAT	0.32
rewriting_k_10	UNSAT	0.34
toilet_c_08_01.11	UNSAT	0.36
arbiter-06-comp-error02-qbf-hardness-depth-5	UNSAT	0.36
p5-5.pddl_planlen=6	SAT	0.36
aim-200-1_6-yes1-4-90	SAT	0.37
vonNeumann-ripple-carry-5-c	UNSAT	0.38
ken.flash^10.C-f2	UNSAT	0.41
query01_ntrivil_1344	UNSAT	0.41
tlc03-uniform-depth-21	UNSAT	0.44
flipflop-6-c	UNSAT	0.47
Core1108_tbm_21.tex.module.000026	UNSAT	0.49
k_ph_p-5	UNSAT	0.52
C499.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.56
ken.flash^10.C-f3	UNSAT	0.68
flipflop-7-c	UNSAT	0.69
Core1108_tbm_03.tex.moduleQ3.2S.000002	UNSAT	0.71
qshifter_3	SAT	0.72
k_dum_p-3	UNSAT	0.73
k_dum_p-2	UNSAT	0.73
adder-2-unsat	UNSAT	0.75
vonNeumann-ripple-carry-6-c	UNSAT	0.78
s05378_PR_9_2	SAT	0.81
k_lin_p-8	UNSAT	0.82
arbiter-07-comp-error02-qbf-hardness-depth-6	UNSAT	0.83
connect_7x6_4_W	FAIL	0.86
BLOCKS3ii.5.3	SAT	0.89
c4_BMC_p1_k32	SAT	0.91
toilet_c_10_01.12	UNSAT	0.93
k_dum_n-1	SAT	1.01
driverlog01_7	SAT	1.04
C5315.blif_0.10_1.00_0_1_inp_exact	SAT	1.05
s27_d3_u	UNSAT	1.13
lights3_021_0_009	SAT	1.14
k_lin_p-9	UNSAT	1.16
s09234_PR_8_2	SAT	1.24
mutex-4-s	SAT	1.29
gttt_1_1_000111_3x3_torus_w	UNSAT	1.31
flipflop-8-c	UNSAT	1.33
tlc03-uniform-depth-52	UNSAT	1.34
c4_BMC_p2_k128	UNSAT	1.37
szymanski-5-s	UNSAT	1.41
Core1108_tbm_02.tex.moduleQ3.2S.000015	UNSAT	1.41
gttt_2_2_00101121_3x3_b	UNSAT	1.42
connect_8x7_7_W	FAIL	1.42
ring_r3_ser--opt-8_	SAT	1.44
C5315.blif_0.10_1.00_0_1_out_exact	SAT	1.47
vonNeumann-ripple-carry-7-c	UNSAT	1.5
gttt_1_1_001020_3x3_w	UNSAT	1.52
lights3_021_0_027	UNSAT	1.59
term1.blif_0.10_1.00_0_1_out_exact	SAT	1.62
k_lin_p-10	UNSAT	1.63
gttt_2_1_0010_4x4_torus_b	UNSAT	1.66
lut4_AND_f1	SAT	2.02
jnh212-50	UNSAT	2.05
tlc01-uniform-depth-73	UNSAT	2.14
k_ph_n-6	SAT	2.14
k_lin_p-11	UNSAT	2.17
lut4_2_f1	SAT	2.18
driverlog03_7	SAT	2.4
szymanski-6-s	UNSAT	2.44
toilet_a_08_01.13	UNSAT	2.59
BLOCKS3ii.5.2	UNSAT	2.62
s27_d4_u	UNSAT	2.64
vonNeumann-ripple-carry-8-c	UNSAT	2.74
s27_d2_s	SAT	2.79
k_lin_p-12	UNSAT	2.84
flipflop-9-c	UNSAT	2.89
tlc03-nonuniform-depth-17	UNSAT	3
k_dum_p-4	UNSAT	3.1
C5315.blif_0.10_1.00_0_0_inp_exact	UNSAT	3.42
par8-4-50	UNSAT	3.56
Umbrella_tbm_25.tex.moduleQ3.2S.000075	UNSAT	3.65
BLOCKS3i.5.3	UNSAT	3.69
toilet_a_10_05.3	UNSAT	3.88
sortnetsort5.v.stepl.004	UNSAT	3.92
lights3_035_0_002	UNSAT	4.09
lights3_035_0_027	UNSAT	4.18
k_branch_n-2	SAT	4.62
k_lin_p-14	UNSAT	4.7
vonNeumann-ripple-carry-9-c	UNSAT	4.81
BLOCKS3i.5.4	SAT	4.99
lights3_035_0_051	UNSAT	5.03
lut4_3_fAND	SAT	5.12
p10-10.pddl_planlen=6	FAIL	5.29
BLOCKS4i.6.4	UNSAT	5.93
fpu-10Xe-correct01-nonuniform-depth-6	UNSAT	5.96
flipflop-10-c	UNSAT	6.15
eijk.S382.S-d4	SAT	7.36
k_poly_p-2	UNSAT	8.13
vonNeumann-ripple-carry-10-c	UNSAT	8.29
ev-pr-4x4-5-3-0-0-1-lg	SAT	8.59
tlc04-uniform-depth-36	FAIL	9.01
flipflop-11-c	UNSAT	9.49
gttt_2_1_000111_3x3_torus_b	SAT	10.53
fpu-10Xh-error01-uniform-depth-5	UNSAT	12.51
query21_ntrivil_1344	UNSAT	13.33
k_lin_p-19	UNSAT	13.37
toilet_a_08_05.9	SAT	13.54
vonNeumann-ripple-carry-11-c	UNSAT	13.72
ev-pr-6x6-5-5-0-1-2-lg	UNSAT	15.04
fpu-10Xh-correct04-nonuniform-depth-18	UNSAT	16.33
flipflop-12-c	FAIL	18.97
k_ph_n-8	SAT	19.22
k_dum_p-6	UNSAT	20.75
fpu-10Xe-correct01-nonuniform-depth-24	UNSAT	20.97
k_poly_n-2	SAT	21.17
vonNeumann-ripple-carry-12-c	UNSAT	22.63
s09234_PR_8_5	SAT	23.22
fpu-10Xh-correct04-nonuniform-depth-27	UNSAT	23.35
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	24.53
cnt10	SAT	25.1
C880.blif_0.10_1.00_0_1_out_exact	SAT	25.35
irst.dme6.B-d2	SAT	25.95
s27_d5_u	UNSAT	26.04
ii32b1-00	SAT	26.5
szymanski-8-s	UNSAT	28.06
arbiter-10-comp-error01-qbf-hardness-depth-10	UNSAT	28.91
term1.blif_0.10_0.20_0_1_out_exact	SAT	30.56
fpu-10Xh-correct04-uniform-depth-8	UNSAT	32.28
ev-pr-8x8-5-7-0-1-2-lg	UNSAT	34.4
incrementer-enc03-nonuniform-depth-13	UNSAT	34.8
vonNeumann-ripple-carry-13-c	UNSAT	36.32
term1.blif_0.10_0.20_0_1_inp_exact	SAT	36.68
C432.blif_0.10_0.20_0_1_inp_exact	SAT	37.35
arbiter-07-comp-error01-qbf-hardness-depth-11	UNSAT	40.5
k_ph_n-9	SAT	45.92
k_lin_n-3	SAT	46.11
k_d4_p-4	UNSAT	51.54
k_dum_n-2	SAT	53.68
k_path_p-5	UNSAT	54.18
BLOCKS4ii.7.2	FAIL	59.19
C880.blif_0.10_1.00_0_1_inp_exact	SAT	59.24
k_grz_p-5	UNSAT	59.99
cnt07e	SAT	63.28
k_d4_n-2	SAT	64.95
arbiter-06-comp-error01-qbf-hardness-depth-12	UNSAT	65.89
k_grz_p-4	UNSAT	66.85
c3_BMC_p1_k256	FAIL	68.23
tlc02-uniform-depth-114	UNSAT	68.57
p10-10.pddl_planlen=10	SAT	68.98
par16-1-50	UNSAT	70.69
sortnetsort7.v.stepl.007	SAT	75.37
fpu-10Xh-correct04-uniform-depth-14	UNSAT	77.36
s15850_PR_2_2	SAT	81.2
ev-pr-4x4-7-3-0-0-1-lg	SAT	81.29
c1_BMC_p1_k4	SAT	84.49
fpu-10Xh-correct04-uniform-depth-15	UNSAT	85.22
fpu-10Xh-correct04-uniform-depth-16	UNSAT	92.94
k_dum_n-3	SAT	93.74
vonNeumann-ripple-carry-15-c	UNSAT	95.54
k_d4_n-3	FAIL	98.62
k_lin_n-5	FAIL	105.08
mutex-8-s	FAIL	108.48
cnt11	SAT	109.37
k_path_n-4	FAIL	112.37
incrementer-enc07-nonuniform-depth-17	UNSAT	114.45
k_path_n-3	SAT	115.41
szymanski-10-s	UNSAT	119.37
mutex-16-s	FAIL	123.93
query31_reachqu_1344n	FAIL	127.32
stmt19_90_266	UNSAT	128.84
k_grz_n-6	FAIL	132.61
vis.prodcell^01.E-d2	FAIL	139.55
k_t4p_p-12	FAIL	142.33
fpu-10Xe-correct01-uniform-depth-22	UNSAT	142.86
k_t4p_p-10	FAIL	147.93
ev-pr-6x6-7-5-0-1-2-lg	UNSAT	150.69
Adder2-8-s	FAIL	151.15
k_poly_n-17	FAIL	151.43
k_d4_n-10	FAIL	152.43
k_t4p_p-15	FAIL	152.83
sortnetsort8.AE.stepl.003	FAIL	152.88
k_dum_n-21	FAIL	153.43
gttt_2_2_001020_4x4_w	UNSAT	153.45
k_d4_n-8	FAIL	154.63
szymanski-20-s	FAIL	154.97
k_dum_n-18	FAIL	155.33
k_d4_n-16	FAIL	156.05
k_t4p_n-12	FAIL	157.15
k_t4p_n-6	FAIL	158.53
rankfunc51_signed_32	FAIL	158.99
k_poly_p-19	FAIL	160.93
uclid-pipe3b	FAIL	160.99
k_t4p_p-16	FAIL	161.83
k_t4p_n-5	FAIL	162.23
k_lin_n-6	FAIL	162.33
k_t4p_p-17	FAIL	163.33
k_t4p_p-9	FAIL	164.03
k_grz_p-18	FAIL	165.13
k_t4p_p-20	FAIL	165.13
C6288.blif_0.10_1.00_0_1_out_exact	FAIL	165.76
k_grz_n-7	FAIL	165.85
k_poly_n-21	FAIL	165.94
k_t4p_n-13	FAIL	165.95
query44_query26_1344n	FAIL	166.72
k_d4_p-17	FAIL	166.73
uclid-pipe3a	FAIL	167.21
Adder2-10-s	FAIL	168.26
CHAIN14v.15	FAIL	168.79
C6288.blif_0.10_0.20_0_0_out_exact	FAIL	169.15
k_poly_n-18	FAIL	170.03
uclid-pipe2	FAIL	170.27
C6288.blif_0.10_0.20_0_1_out_exact	FAIL	171.28
k_branch_n-12	FAIL	171.28
stmt24_765_766	FAIL	172.35
rankfunc33_signed_32	FAIL	172.72
stmt25_52_53	FAIL	173.2
C6288.blif_0.10_1.00_0_1_inp_exact	FAIL	174.67
rankfunc5_unsigned_64	FAIL	176.06
Adder2-16-s	FAIL	176.96
k_branch_p-12	FAIL	177.72
k_d4_p-13	FAIL	177.73
rankfunc3_signed_64	FAIL	178.43
k_poly_n-20	FAIL	179.14
rankfunc22_signed_64	FAIL	179.41
k_grz_n-18	FAIL	180.33
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009	UNSAT	180.59
rankfunc13_signed_32	FAIL	180.88
k_grz_n-20	FAIL	181.63
k_grz_n-21	FAIL	182.13
s3330_d9_s	FAIL	183.13
C6288.blif_0.10_0.20_0_1_inp_exact	FAIL	183.25
C5315.blif_0.10_0.20_0_0_out_exact	FAIL	183.65
k_grz_n-8	FAIL	183.97
ken.flash^03.C-f3	FAIL	184.54
C6288.blif_0.10_1.00_0_0_out_exact	FAIL	184.68
rankfunc14_signed_64	FAIL	185.39
k_lin_n-11	FAIL	185.63
k_grz_p-19	FAIL	186.53
stmt44_916_917	FAIL	186.74
rankfunc17_unsigned_16	FAIL	186.82
s3330_d10_u	FAIL	187.1
k_d4_p-16	FAIL	187.84
k_d4_p-11	FAIL	188.73
k_lin_n-14	FAIL	191.53
rankfunc13_unsigned_64	FAIL	191.7
s386_d3_s	FAIL	192.05
rankfunc5_signed_32	FAIL	194.72
stmt27_296_297	FAIL	194.82
s3330_d12_u	FAIL	195.97
C499.blif_0.10_0.20_0_1_inp_exact	SAT	196.52
k_lin_n-15	FAIL	196.77
k_branch_p-14	FAIL	197.34
stmt19_3_214	FAIL	197.77
mutex-32-s	FAIL	197.97
k_d4_p-10	FAIL	198.13
C5315.blif_0.10_0.20_0_1_out_exact	FAIL	198.42
k_d4_p-20	FAIL	198.84
C880.blif_0.10_1.00_0_0_inp_exact	FAIL	199.32
szymanski-24-s	FAIL	199.64
s386_d4_s	FAIL	201.06
k_lin_n-17	FAIL	201.18
stmt41_160_235	FAIL	202.32
C880.blif_0.10_0.20_0_0_out_exact	FAIL	203.43
s386_d6_s	FAIL	203.45
texas.two_proc^4.E-f2	FAIL	203.63
incrementer-enc07-nonuniform-depth-21	UNSAT	205.44
stmt23_72_76	FAIL	205.63
mutex-64-s	FAIL	206.98
biu.mv.xl_ao.bb-b001-p010-IPF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	207
C6288.blif_0.10_0.20_0_0_inp_exact	FAIL	207.44
s510_d3_s	FAIL	208.24
biu.mv.xl_ao.bb-b001-p005-OPF03-c09.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	211
C5315.blif_0.10_0.20_0_0_inp_exact	FAIL	211.15
s386_d8_u	FAIL	211.45
s1269_d4_s	FAIL	211.87
s820_d2_s	FAIL	212.54
s3330_d14_u	FAIL	212.96
C432.blif_0.10_0.20_0_1_out_exact	FAIL	213.02
ken.oop^2.C-d4	FAIL	213.12
C499.blif_0.10_0.20_0_1_out_exact	FAIL	213.64
stmt41_738_749	FAIL	213.82
C880.blif_0.10_1.00_0_0_out_exact	FAIL	214.05
stmt21_319_418	FAIL	215.16
s1269_d3_s	FAIL	216.57
query42_query06_1344n	FAIL	217.21
s298_d4_s	FAIL	217.35
ken.flash^08.C-d4	FAIL	217.9
stmt16_950_951	FAIL	218.65
eijk.bs4863.S-d4	FAIL	219.13
s386_d2_s	FAIL	220.06
C499.blif_0.10_0.20_0_0_out_exact	FAIL	220.11
s1196_d3_u	FAIL	220.41
texas.PI_main^05.E-f3	FAIL	220.52
stmt27_16_97	FAIL	221.1
query26_query34_1344	FAIL	221.49
texas.PI_main^08.E-f3	FAIL	222.86
mutex-128-s	FAIL	223.38
s713_d3_s	FAIL	224.06
szymanski-12-s	FAIL	224.82
texas.PI_main^16.E-f2	FAIL	225.18
s1196_d2_s	FAIL	225.34
C5315.blif_0.10_0.20_0_1_inp_exact	FAIL	225.44
stmt29_226_376	FAIL	225.81
C880.blif_0.10_0.20_0_0_inp_exact	FAIL	226.12
s386_d7_s	FAIL	227.09
s641_d3_s	FAIL	227.2
stmt19_217_309	FAIL	228.18
s641_d2_s	FAIL	228.69
s820_d3_s	FAIL	228.73
s1196_d5_u	FAIL	229.14
ken.oop^2.C-d3	FAIL	229.22
s386_d9_u	FAIL	229.6
C880.blif_0.10_0.20_0_1_inp_exact	FAIL	230.01
stmt28_68_81	FAIL	230.61
stmt17_63_82	FAIL	231.41
stmt17_70_90	FAIL	231.76
s1269_d5_s	FAIL	232.68
s3330_d3_s	FAIL	233.79
szymanski-14-s	FAIL	235.33
s1196_d4_u	FAIL	235.47
stmt17_82_98	FAIL	235.62
stmt52_244_394	FAIL	235.92
s641_d4_s	FAIL	236.03
s1196_d6_u	FAIL	236.05
s510_d6_s	FAIL	236.59
C432.blif_0.10_0.20_0_0_out_exact	FAIL	236.95
s386_d10_u	FAIL	237.7
s641_d5_s	FAIL	238.32
s713_d2_s	FAIL	238.35
s713_d6_s	FAIL	238.59
nusmv.tcas^3.B-f2	FAIL	239.08
C432.blif_0.10_0.20_0_0_inp_exact	FAIL	240.17
s641_d6_s	FAIL	240.67
vis.4-arbit^2.E-f2	FAIL	240.71
s820_d7_s	FAIL	241.4
stmt17_86_98	FAIL	241.84
k_branch_p-18	FAIL	242.32
s386_d11_u	FAIL	242.58
incrementer-enc08-uniform-depth-33	FAIL	243.09
k_grz_p-17	FAIL	244.93
nusmv.tcas-t^1.B-d2	FAIL	247.42
b20_PR_7_90	FAIL	248.63
s713_d5_s	FAIL	249.42
b22_PR_8_20	FAIL	249.43
s713_d4_s	FAIL	250.44
stmt19_83_412	FAIL	251.4
s386_d12_u	FAIL	251.86
k_ph_n-11	SAT	252.5
b20_PR_7_20	FAIL	252.91
s3330_d2_s	FAIL	252.93
C880.blif_0.10_0.20_0_1_out_exact	FAIL	254.01
stmt17_70_98	FAIL	254.72
stmt17_62_98	FAIL	254.87
s298_d10_s	FAIL	254.94
k_grz_p-16	FAIL	255.23
s641_d7_u	FAIL	256.14
network_ndis_rtlnwifi_hw_hw_ccmp.c	FAIL	256.16
sortnetsort9.AE.stepl.009	FAIL	257.15
s820_d8_s	FAIL	257.29
s820_d9_s	FAIL	258.02
sortnetsort9.AE.stepl.012	FAIL	259.65
audio_ddksynth_csynth2.cpp	FAIL	261.41
s713_d8_u	FAIL	263.17
stmt21_79_304	FAIL	263.2
test2_quant_squaring2	FAIL	266.63
s820_d10_s	FAIL	267.35
s1196_d7_u	FAIL	267.84
s713_d7_u	FAIL	268.52
s298_d12_s	FAIL	269.42
s641_d8_u	FAIL	270.14
stmt19_64_99	FAIL	270.67
stmt23_66_96	FAIL	273.63
s499_d9_s	FAIL	275.24
s510_d11_s	FAIL	276.29
s713_d9_u	FAIL	276.49
k_branch_p-6	FAIL	282.6
k_d4_p-7	FAIL	283.54
ev-pr-8x8-7-7-0-1-2-lg	UNSAT	285.54
k_grz_p-10	FAIL	286.13
Core1108_tbm_21.tex.module.000030	FAIL	286.44
s499_d7_s	FAIL	287.1
k_branch_p-5	FAIL	291.34
k_grz_p-11	FAIL	291.63
s713_d10_u	FAIL	292.23
s641_d11_u	FAIL	294.99
k_ph_p-19	FAIL	301.14
k_lin_n-7	FAIL	304.22
term1.blif_0.10_0.20_0_0_out_exact	FAIL	304.7
biu.mv.xl_ao.bb-b001-p010-IPF02-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	304.91
s641_d10_u	FAIL	305.78
s298_d14_s	FAIL	310.32
sortnetsort8.v.stepl.009	FAIL	311.88
arbiter-06-comp-error01-qbf-hardness-depth-15	UNSAT	312.03
s499_d12_s	FAIL	315.33
test2_quant_squaring3	FAIL	318.51
s298_d17_s	FAIL	320.96
k_path_n-19	FAIL	325.58
k_poly_n-16	FAIL	325.59
nusmv.reactor^3.C-d4	FAIL	330.79
s298_d2_s	FAIL	331.2
k_path_n-16	FAIL	331.98
k_path_p-18	FAIL	340.65
connect_5x4_4_R	UNSAT	341.13
k_branch_n-4	FAIL	341.69
test1_quant_squaring2	FAIL	342.93
test1_quant_squaring3	FAIL	343.6
tlc02-uniform-depth-241	UNSAT	343.65
k_path_p-21	FAIL	343.72
k_poly_p-16	FAIL	346.35
s298_d18_s	FAIL	348.22
k_path_p-19	FAIL	350.66
k_t4p_n-2	FAIL	359.17
k_path_p-13	FAIL	360.92
k_path_n-12	FAIL	361.23
k_poly_p-15	FAIL	361.82
k_ph_p-20	FAIL	363.12
k_ph_p-15	FAIL	365.02
k_path_p-16	FAIL	365.15
k_path_p-14	FAIL	365.2
k_dum_p-17	FAIL	365.99
k_path_n-14	FAIL	366.98
k_path_p-15	FAIL	368
s298_d19_u	FAIL	368.84
k_dum_n-5	FAIL	369.3
k_dum_p-21	FAIL	371.31
biu.mv.xl_ao.bb-b001-p010-OPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	377.29
k_ph_n-16	FAIL	380.8
biu.mv.xl_ao.bb-b001-p010-MIF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	381.05
k_poly_n-14	FAIL	381.23
k_path_n-13	FAIL	381.45
k_poly_p-9	FAIL	381.94
s510_d32_s	FAIL	382.68
k_dum_p-20	FAIL	383.27
incrementer-enc03-nonuniform-depth-24	UNSAT	383.52
k_dum_n-17	FAIL	386.88
biu.mv.xl_ao.bb-b001-p010-MIF01-c01.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	387.84
k_poly_p-14	FAIL	388.34
biu.mv.xl_ao.bb-b001-p005-OPF05-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	389.04
k_poly_p-11	FAIL	389.98
biu.mv.xl_ao.bb-b001-p010-IPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	392.81
k_ph_n-21	FAIL	393.94
k_d4_n-7	FAIL	394.8
k_t4p_n-4	FAIL	398.79
biu.mv.xl_ao.bb-b001-p005-OPF05-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	399.55
k_ph_n-14	FAIL	401.54
s05378_PR_1_75	FAIL	407.59
k_dum_p-16	FAIL	412.07
s510_d35_s	FAIL	415.24
k_dum_p-12	FAIL	420.97
C6288.blif_0.10_1.00_0_0_inp_exact	FAIL	424.47
s510_d36_s	FAIL	427.96
k_dum_p-14	FAIL	432.07
k_poly_n-7	FAIL	433.09
k_dum_n-12	FAIL	448.19
Core1108_tbm_21.tex.module.000008	FAIL	458.24
k_path_n-9	FAIL	461.7
ev-pr-4x4-9-3-0-0-1-s	FAIL	462.83
k_ph_p-12	FAIL	469.77
k_poly_p-7	FAIL	473.07
tlc04-nonuniform-depth-56	UNSAT	474.32
sortnetsort8.v.stepl.007	FAIL	474.51
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	476.26
k_path_p-10	FAIL	488.4
k_path_n-5	FAIL	495.4
term1.blif_0.10_0.20_0_0_inp_exact	FAIL	509.92
C499.blif_0.10_0.20_0_0_inp_exact	FAIL	514.03
k_t4p_p-6	FAIL	518.04
k_ph_p-13	FAIL	520.84
k_poly_n-6	FAIL	521.27
k_dum_n-11	FAIL	524.42
cnt08e	SAT	533.8
test4_quant_squaring2	FAIL	534.15
k_poly_p-8	FAIL	539.64
k_t4p_p-4	FAIL	541.41
ev-pr-4x4-9-3-0-0-1-lg	FAIL	558.28
Umbrella_tbm_05.tex.module.000039	FAIL	564.28
ev-pr-4x4-11-3-0-0-1-s	FAIL	577.45
k_poly_n-5	FAIL	585.96
cube_c9_par--opt-11_	FAIL	590.85
cnt14	FAIL	590.93
k_branch_n-3	FAIL	591.23
k_grz_n-5	FAIL	591.4
Umbrella_tbm_24.tex.module.000131	FAIL	593.28
k_grz_n-4	FAIL	593.68
Umbrella_tbm_24.tex.module.000066	FAIL	595.55
lut4_AND_fXOR	FAIL	595.77
CHAIN12v.13	FAIL	596.72
k_grz_n-2	FAIL	596.73
query11_query21_1344	FAIL	598.92
query51_query50_1344	FAIL	599.02
toilet_c_10_01.17	FAIL	599.71
test5_quant_squaring5	FAIL	599.72
rewriting_k_21	FAIL	599.72
rewriting_k_23	FAIL	599.72
test5_quant_squaring4	FAIL	599.72
qshifter_5	FAIL	599.72
query03_query25_1344	FAIL	599.72
emptyroom_e3_ser--opt-20_	FAIL	599.72
C432.blif_0.10_1.00_0_0_out_exact	FAIL	599.72
k6_2_3	FAIL	599.72
tree-exa10-30	FAIL	599.72
k5_3_2	FAIL	599.72
k5_2_3	FAIL	599.72
rewriting_k_25	FAIL	599.72
term1.blif_0.10_1.00_0_0_out_exact	FAIL	599.73
adder-12-sat	FAIL	599.73
rewriting_k_30	FAIL	599.82
rewriting_k_100	FAIL	599.82
rewriting_k_50	FAIL	599.82
rewriting_k_19	FAIL	599.82
rewriting_k_17	FAIL	599.82
rewriting_k_75	FAIL	599.82
k_poly_p-4	FAIL	599.82
lut4_2_f2	FAIL	599.82
stmt17_18_19	FAIL	599.82
test3_quant_squaring2	FAIL	599.82
test4_quant_squaring4	FAIL	599.82
C499.blif_0.10_1.00_0_0_out_exact	FAIL	599.82
qshifter_4	FAIL	599.82
k_d4_p-8	FAIL	599.92
k_path_n-6	FAIL	599.92
dungeon_i15-m7-u4-v0.pddl_planlen=81	FAIL	600
ev-pr-4x4-17-3-0-0-1-lg	FAIL	600
Adder2-8-c	FAIL	600
arbiter-10-comp-error01-qbf-hardness-depth-22	FAIL	600
ev-pr-6x6-19-5-0-1-2-s	FAIL	600
dungeon_i25-m12-u5-v0.pddl_planlen=65	FAIL	600
b21_C_3_206	FAIL	600
dungeon_i25-m12-u5-v0.pddl_planlen=170	FAIL	600
b22_C_2_12	FAIL	600
k_d4_n-20	FAIL	600
dungeon_i25-m12-u3-v0.pddl_planlen=72	FAIL	600
dungeon_i25-m12-u3-v0.pddl_planlen=190	FAIL	600
depots03_9	FAIL	600
dungeon_i25-m12-u3-v0.pddl_planlen=130	FAIL	600
lognBWLARGEB1	FAIL	600
driverlog10_6	FAIL	600
dungeon_i10-m10-u10-v0.pddl_planlen=187	FAIL	600
ev-pr-6x6-5-5-0-1-2-s	FAIL	600
arbiter-08-comp-error02-qbf-hardness-depth-9	FAIL	600
k_grz_p-12	FAIL	600
ev-pr-8x8-9-7-0-1-2-lg	FAIL	600
adder-12-unsat	FAIL	600
k_branch_p-8	FAIL	600
ev-pr-6x6-15-5-0-1-2-s	FAIL	600
ev-pr-6x6-13-5-0-1-2-lg	FAIL	600
arbiter-07-comp-error01-qbf-hardness-depth-20	FAIL	600
s1269_d8_s	FAIL	600
C5315.blif_0.10_1.00_0_0_out_exact	FAIL	600
s820_d11_u	FAIL	600
k_branch_n-8	FAIL	600
ev-pr-8x8-11-7-0-1-2-lg	FAIL	600
s499_d22_u	FAIL	600
ev-pr-6x6-17-5-0-1-2-lg	FAIL	600
CHAIN21v.22	FAIL	600
qshifter_6	FAIL	600
szymanski-16-s	FAIL	600
tlc04-nonuniform-depth-98	FAIL	600
ev-pr-8x8-15-7-0-1-2-lg	FAIL	600
k_branch_n-16	FAIL	600
ev-pr-4x4-5-3-0-0-1-s	FAIL	600
ev-pr-8x8-17-7-0-1-2-lg	FAIL	600
gttt_1_1_00101121_4x4_torus_w	FAIL	600
qshifter_8	FAIL	600
ev-pr-8x8-13-7-0-1-2-lg	FAIL	600
ev-pr-4x4-13-3-0-0-1-lg	FAIL	600
ev-pr-6x6-19-5-0-1-2-lg	FAIL	600
ev-pr-6x6-9-5-0-1-2-s	FAIL	600
connect_8x7_4_R	FAIL	600
ev-pr-4x4-7-3-0-0-1-s	FAIL	600
s3330_d4_s	FAIL	600
ev-pr-6x6-9-5-0-1-2-lg	FAIL	600
s1269_d10_s	FAIL	600
ev-pr-8x8-19-7-0-1-2-lg	FAIL	600
qshifter_7	FAIL	600
ev-pr-6x6-17-5-0-1-2-s	FAIL	600
adder-14-sat	FAIL	600
szymanski-18-s	FAIL	600
ev-pr-6x6-11-5-0-1-2-lg	FAIL	600
connect_8x7_6_R	FAIL	600
adder-10-sat	FAIL	600
ev-pr-4x4-15-3-0-0-1-s	FAIL	600
ev-pr-6x6-11-5-0-1-2-s	FAIL	600
lognBWLARGEA1	FAIL	600
k_branch_p-16	FAIL	600
ev-pr-6x6-13-5-0-1-2-s	FAIL	600
ev-pr-4x4-17-3-0-0-1-s	FAIL	600
pipesnotankage18_8	FAIL	600
k_t4p_n-8	FAIL	600
CHAIN23v.24	FAIL	600
ev-pr-4x4-11-3-0-0-1-lg	FAIL	600
CHAIN18v.19	FAIL	600
k_branch_p-21	FAIL	600
connect_5x4_3_R	FAIL	600
gttt_2_1_00102030_4x4_torus_b	FAIL	600
k_lin_n-8	FAIL	600
CHAIN19v.20	FAIL	600
gttt_2_1_00011020_4x4_b	FAIL	600
connect_9x8_6_R	FAIL	600
ev-pr-6x6-15-5-0-1-2-lg	FAIL	600
pipesnotankage18_7	FAIL	600
pipesnotankage14_10	FAIL	600
ev-pr-4x4-13-3-0-0-1-s	FAIL	600
connect_8x7_5_R	FAIL	600
p20-5.pddl_planlen=17	FAIL	600
p20-20.pddl_planlen=23	FAIL	600
p20-1.pddl_planlen=32	FAIL	600
p20-1.pddl_planlen=26	FAIL	600
p20-1.pddl_planlen=24	FAIL	600
k_branch_n-20	FAIL	600
CHAIN22v.23	FAIL	600
s3330_d8_s	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
s1269_d14_u	FAIL	600
c2_Debug_s3_f1_e1_v2	FAIL	600
s499_d15_s	FAIL	600
s298_d25_u	FAIL	600
s1269_d12_u	FAIL	600
s820_d15_u	FAIL	600
c2_Debug_s3_f2_e1_v3	FAIL	600
s298_d22_u	FAIL	600
c3_Debug_s3_f2_e2_v2	FAIL	600
c4_Debug_s3_f1_e1_v2	FAIL	600
c1_Debug_s5_f1_e1_v2	FAIL	600
s3330_d7_s	FAIL	600
c1_Debug_s3_f1_e1_v1	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
s499_d17_s	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
s3330_d5_s	FAIL	600
s510_d23_s	FAIL	600
s499_d25_u	FAIL	600
s510_d28_s	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
s713_d11_u	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
s499_d24_u	FAIL	600
s1269_d13_u	FAIL	600
k12_4_2	FAIL	600
emptyroom_e4_par---21_	FAIL	600
emptyroom_e4_ser--opt-44_	FAIL	600
ring_r6_ser--opt-17_	FAIL	600
c1_BMC_p2_k1024	FAIL	600
c1_BMC_p2_k512	FAIL	600
c2_BMC_p1_k2048	FAIL	600
c5_BMC_p1_k32	FAIL	600
c5_BMC_p2_k128	FAIL	600
c5_BMC_p2_k64	FAIL	600
k8_3_4	FAIL	600
emptyroom_e3_ser---19_	FAIL	600
k8_2_3	FAIL	600
c4_Debug_s3_f1_e2_v2	FAIL	600
c4_Debug_s3_f1_e2_v3	FAIL	600
c4_Debug_s3_f2_e2_v2	FAIL	600
s510_d24_s	FAIL	600
c4_Debug_s5_f2_e2_v1	FAIL	600
cube_c11_ser--opt-42_	FAIL	600
k8_4_3	FAIL	600
k14_2_3	FAIL	600
k8_3_2	FAIL	600
cube_c7_ser--opt-24_	FAIL	600
f600-50	FAIL	600
biu.mv.xl_ao.bb-b001-p010-MIF04-c06.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	FAIL	600
incrementer-enc07-uniform-depth-25	FAIL	600
input_pnpi8042_moudep.c	FAIL	600
k_branch_p-10	FAIL	600
filesys_smbmrx_cvsndrcv.c	FAIL	600
network_irda_miniport_nscirda_settings.c	FAIL	600
k_branch_p-11	FAIL	600
k_d4_n-14	FAIL	600
k_d4_n-15	FAIL	600
k_branch_n-9	FAIL	600
k_grz_p-13	FAIL	600
hid_hclient_ecdisp.c	FAIL	600
network_trans_sys_notify.c	FAIL	600
network_irda_miniport_nscirda_comm.c	FAIL	600
ev-pr-4x4-15-3-0-0-1-lg	FAIL	600
ev-pr-6x6-7-5-0-1-2-s	FAIL	600
incrementer-enc06-uniform-depth-24	FAIL	600
k_branch_n-10	FAIL	600
incrementer-enc02-uniform-depth-58	FAIL	600
incrementer-enc02-nonuniform-depth-31	FAIL	600
input_mouser_cseries.c	FAIL	600
kernel_agplib_intrface.c	FAIL	600
k_branch_n-11	FAIL	600
k_lin_n-9	FAIL	600
k_ph_p-18	FAIL	600
k_ph_p-10	FAIL	600
s1269_d9_s	FAIL	600
s499_d19_s	FAIL	600
s499_d18_s	FAIL	600
s510_d31_s	FAIL	600
s820_d12_u	FAIL	600
s820_d14_u	FAIL	600
nusmv.tcas^6.B-f4	FAIL	600
sortnetsort10.v.stepl.005	FAIL	600
sortnetsort9.v.stepl.005	FAIL	600
s1269_d15_u	FAIL	600
cnt16r	FAIL	600
k_t4p_p-18	FAIL	600
k_t4p_n-15	FAIL	600
k_grz_n-10	FAIL	600
k_t4p_n-9	FAIL	600
k_t4p_n-14	FAIL	600
k_dum_n-9	FAIL	601.08
dungeon_i10-m5-u10-v0.pddl_planlen=23	FAIL	602.73
CHAIN16v.17	FAIL	603.22
dungeon_i10-m5-u10-v0.pddl_planlen=134	FAIL	604.34
CHAIN20v.21	FAIL	604.68
b20_C_3_2	FAIL	605.14
dungeon_i25-m12-u3-v0.pddl_planlen=165	FAIL	606.94
s15850_PR_8_50	FAIL	607
cube_c11_par---13_	FAIL	608.06
test3_quant_squaring4	FAIL	608.86
s1196_1_5	FAIL	611.04
sortnetsort9.v.stepl.007	FAIL	613.13
p20-5.pddl_planlen=32	FAIL	613.93
CHAIN17v.18	FAIL	631.26

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

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

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

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

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