Instances solved by <a href='solver_detail.php?solver=231'>depqbf-v1</a> <br> QBFEVAL'16

Instances solved by depqbf-v1
QBFEVAL'16 - Random QBFs Track.

Instance	Result	Time
ncf_8_16_4_u.5	UNSAT	0.02
ncf_4_16_2_d.9	SAT	0.02
ncf_8_16_4_u.2	UNSAT	0.02
ncf_8_16_4_u.8	UNSAT	0.02
ncf_4_16_2_d.7	SAT	0.02
ncf_4_16_2_d.1	UNSAT	0.02
ncf_4_16_2_d.10	UNSAT	0.02
ncf_4_16_2_d.4	SAT	0.02
ncf_8_16_4_u.6	UNSAT	0.02
ncf_4_16_2_d.5	UNSAT	0.02
ncf_8_16_4_u.10	SAT	0.02
ncf_4_16_2_d.6	SAT	0.02
ncf_8_16_4_u.4	SAT	0.02
ncf_4_16_2_d.3	UNSAT	0.02
ncf_4_16_2_d.2	SAT	0.02
ncf_8_16_4_u.1	SAT	0.02
ncf_4_16_2_d.8	SAT	0.04
ncf_8_16_4_u.9	UNSAT	0.06
Q_2-3_v-80-100_r-13.0	UNSAT	0.07
Q_2-3_v-80-100_r-13.3	UNSAT	0.07
ncf_4_16_8_euad.7	SAT	0.07
Q_2-3_v-80-100_r-13.6	UNSAT	0.08
Q_2-3_v-80-100_r-13.1	UNSAT	0.08
robots_1_5_4_46.1	SAT	0.09
robots_1_5_5_58.1	SAT	0.1
ncf_8_16_4_u.3	SAT	0.1
Q_2-3_v-80-100_r-13.7	UNSAT	0.1
robots_1_5_3_98.1	SAT	0.1
x25.10	UNSAT	0.11
x25.15	UNSAT	0.11
x25.8	UNSAT	0.11
x25.19	UNSAT	0.11
x25.4	UNSAT	0.11
ncf_16_32_8_u.8	UNSAT	0.11
ci.e#1.a#3.E#40.A#60.c#264.w#4.s#2.asp	SAT	0.11
robots_1_5_4_54.1	SAT	0.11
robots_1_5_5_91.1	SAT	0.11
Q_2-3_v-80-100_r-13.8	UNSAT	0.11
robots_1_5_4_74.1	SAT	0.11
ci.e#1.a#3.E#40.A#60.c#200.w#6.s#6.asp	SAT	0.11
robots_1_5_3_94.1	SAT	0.11
robots_1_5_3_56.1	SAT	0.11
robots_1_5_5_45.1	SAT	0.11
Q_2-3_v-80-100_r-13.4	UNSAT	0.11
robots_1_5_2_93.1	SAT	0.11
robots_1_5_2_65.1	SAT	0.11
Q_2-3_v-80-100_r-13.5	UNSAT	0.12
ncf_8_16_4_u.7	SAT	0.12
robots_1_5_4_74.2	SAT	0.21
x25.5	UNSAT	0.21
T-edau-44	UNSAT	0.21
robots_1_5_2_46.1	SAT	0.21
robots_1_5_4_46.2	SAT	0.21
Q_2-3_v-80-100_r-13.9	UNSAT	0.21
robots_1_5_5_58.2	SAT	0.21
robots_1_5_5_91.2	SAT	0.21
x25.13	UNSAT	0.21
ncf_16_32_8_u.3	SAT	0.21
T-edau-9	UNSAT	0.21
T-edau-18	UNSAT	0.21
ncf_16_32_8_u.10	SAT	0.21
ncf_16_32_8_u.4	SAT	0.21
T-adeu-38	UNSAT	0.21
T-adeu-25	UNSAT	0.21
T-edau-2	UNSAT	0.21
T-edau-6	UNSAT	0.21
T-adeu-6	UNSAT	0.21
ncf_4_16_8_euad.8	UNSAT	0.21
ci.e#1.a#3.E#40.A#60.c#208.w#6.s#8.asp	SAT	0.21
T-edau-23	UNSAT	0.21
T-edau-26	UNSAT	0.21
T-adeu-9	UNSAT	0.21
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#8.asp	SAT	0.31
robots_1_5_5_45.2	SAT	0.31
T-edau-20	UNSAT	0.31
ncf_4_16_8_euad.2	SAT	0.31
robots_1_5_2_93.2	SAT	0.31
robots_1_5_2_46.2	SAT	0.31
robots_1_5_2_65.2	SAT	0.31
x25.2	SAT	0.31
T-edau-8	UNSAT	0.31
T-adeu-15	UNSAT	0.31
robots_1_5_4_54.2	SAT	0.31
T-adeu-42	UNSAT	0.31
T-adeu-49	UNSAT	0.31
robots_1_5_3_98.2	SAT	0.31
robots_1_5_3_94.2	SAT	0.31
robots_1_5_3_56.2	SAT	0.31
x25.7	UNSAT	0.41
x35.10	UNSAT	0.41
T-edau-24	UNSAT	0.41
ncf_16_32_8_u.5	UNSAT	0.41
Q_2-3_v-80-100_r-13.2	UNSAT	0.41
ncf_4_16_8_euad.6	SAT	0.41
robots_1_5_5_58.3	SAT	0.41
robots_1_5_4_74.3	SAT	0.51
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#6.asp	UNSAT	0.51
robots_1_5_4_54.3	SAT	0.51
robots_1_5_3_56.3	SAT	0.51
T-adeu-10	UNSAT	0.51
robots_1_5_5_91.3	SAT	0.51
robots_1_5_4_46.3	SAT	0.51
ncf_4_16_8_euad.3	SAT	0.51
x40.17	UNSAT	0.61
robots_1_5_5_45.3	SAT	0.61
x25.16	SAT	0.61
ncf_4_16_8_euad.9	SAT	0.61
T-adeu-7	UNSAT	0.61
robots_1_5_3_94.3	SAT	0.71
ncf_16_32_8_u.7	SAT	0.81
robots_1_5_3_98.3	SAT	0.81
robots_1_5_2_93.3	SAT	0.91
robots_1_5_5_58.5	UNSAT	1.02
ncf_4_16_8_euad.4	SAT	1.04
x40.10	UNSAT	1.12
robots_1_5_5_58.4	SAT	1.12
x40.5	UNSAT	1.12
S-edau-23	UNSAT	1.31
robots_1_5_5_58.7	UNSAT	1.31
robots_1_5_5_58.6	UNSAT	1.31
S-adeu-15	UNSAT	1.31
S-adeu-19	UNSAT	1.31
robots_1_5_5_91.5	UNSAT	1.31
S-adeu-41	UNSAT	1.31
S-adeu-6	UNSAT	1.31
robots_1_5_5_58.8	UNSAT	1.31
ncf_16_64_4_d.2	UNSAT	1.31
robots_1_5_2_46.3	SAT	1.31
S-adeu-49	UNSAT	1.32
S-edau-8	UNSAT	1.41
S-adeu-32	UNSAT	1.41
S-edau-1	UNSAT	1.41
S-adeu-29	UNSAT	1.41
S-edau-43	UNSAT	1.41
x35.11	UNSAT	1.41
S-edau-17	UNSAT	1.41
x35.3	UNSAT	1.41
S-edau-34	UNSAT	1.41
S-edau-29	UNSAT	1.41
Q_2-3_v-80-100_r-11.3	UNSAT	1.51
S-adeu-30	UNSAT	1.51
S-edau-20	UNSAT	1.51
robots_1_5_4_46.4	SAT	1.51
S-adeu-47	UNSAT	1.51
S-edau-7	UNSAT	1.51
robots_1_5_5_58.10	UNSAT	1.61
robots_1_5_2_65.3	SAT	1.61
S-edau-30	UNSAT	1.61
robots_1_5_3_56.4	SAT	1.61
x35.13	UNSAT	1.71
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#5.asp	UNSAT	1.71
S-adeu-28	UNSAT	1.71
x35.15	UNSAT	1.71
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#2.asp	UNSAT	1.81
robots_1_5_4_74.4	SAT	1.81
robots_1_5_4_54.4	SAT	1.91
robots_1_5_5_58.9	UNSAT	2.01
ncf_16_64_4_d.3	UNSAT	2.01
robots_1_5_5_91.6	UNSAT	2.01
robots_1_5_5_45.4	SAT	2.12
robots_1_5_5_45.6	UNSAT	2.12
robots_1_5_5_91.8	UNSAT	2.22
x35.5	UNSAT	2.32
x35.2	SAT	2.41
robots_1_5_3_94.4	SAT	2.41
robots_1_5_5_91.4	SAT	2.51
ncf_4_16_8_euad.10	SAT	2.91
robots_1_5_5_91.10	UNSAT	3.01
robots_1_5_5_91.7	UNSAT	3.01
x40.1	UNSAT	3.52
robots_1_5_3_98.4	SAT	3.71
ncf_4_16_8_euad.1	SAT	4.11
robots_1_5_2_93.4	SAT	4.32
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#1.asp	UNSAT	4.61
robots_1_5_4_54.5	UNSAT	4.61
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#7.asp	UNSAT	5.11
Q_2-3_v-80-100_r-11.2	UNSAT	5.21
robots_1_5_3_56.5	SAT	5.31
ncf_16_64_4_d.5	UNSAT	5.61
robots_1_5_5_91.9	UNSAT	6.01
x40.4	UNSAT	6.21
x35.19	UNSAT	6.52
robots_1_5_4_74.8	UNSAT	6.71
robots_1_5_2_46.4	SAT	6.71
ncf_16_32_8_u.2	UNSAT	7.01
robots_1_5_4_46.5	SAT	7.11
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#8.asp	UNSAT	7.21
robots_1_5_5_45.7	UNSAT	7.72
robots_1_5_4_74.9	UNSAT	7.81
robots_1_5_4_74.5	SAT	8.12
x35.9	SAT	9.01
x40.19	UNSAT	9.01
robots_1_5_2_65.4	SAT	9.41
Q_2-3_v-80-100_r-11.6	UNSAT	10.11
ncf_4_16_8_euad.5	UNSAT	10.21
robots_1_5_4_74.6	UNSAT	10.61
robots_1_5_4_54.6	UNSAT	10.81
ncf_16_64_4_d.9	SAT	11.02
x35.1	SAT	12.12
robots_1_5_4_74.7	UNSAT	12.22
x40.6	UNSAT	12.81
robots_1_5_3_94.5	SAT	13.41
robots_1_5_4_54.7	UNSAT	13.81
x70.7	UNSAT	20.31
robots_1_5_3_98.5	SAT	20.31
robots_1_5_5_45.5	SAT	21.31
robots_1_5_4_54.8	UNSAT	22.91
x40.18	SAT	23.21
robots_1_5_2_93.5	SAT	23.41
robots_1_5_4_46.6	SAT	23.51
robots_1_5_3_56.6	SAT	24.41
x40.12	SAT	25.11
robots_1_5_5_45.8	UNSAT	26.21
x40.11	SAT	26.31
ncf_16_64_4_d.7	UNSAT	27.01
T-adeu-39	UNSAT	30.21
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#7.asp	UNSAT	32.51
ncf_16_64_4_d.4	UNSAT	34.01
robots_1_5_2_46.5	SAT	35.22
x70.16	UNSAT	36.51
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#1.asp	UNSAT	38.52
robots_1_5_3_94.6	SAT	43.11
robots_1_5_2_65.5	SAT	43.71
robots_1_5_4_46.8	UNSAT	44.61
Q_2-3_v-80-100_r-11.0	UNSAT	48.71
robots_1_5_4_54.9	UNSAT	53.92
robots_1_5_4_46.7	UNSAT	54.81
robots_1_5_4_74.10	UNSAT	79.01
robots_1_5_2_46.7	UNSAT	79.22
robots_1_5_4_54.10	UNSAT	83.11
robots_1_5_2_46.9	UNSAT	86.92
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#3.asp	UNSAT	87.61
robots_1_5_3_98.6	SAT	95.63
robots_1_5_2_93.6	SAT	105.31
Q_2-3_v-80-100_r-11.4	UNSAT	110.31
robots_1_5_5_45.10	UNSAT	116.71
robots_1_5_2_46.6	SAT	124.41
x70.1	UNSAT	131.51
robots_1_5_2_46.8	UNSAT	132.81
robots_1_5_3_94.7	UNSAT	134.91
robots_1_5_5_45.9	UNSAT	141.11
robots_1_5_3_56.7	SAT	148.91
x70.8	UNSAT	160.01
robots_1_5_4_46.9	UNSAT	160.31
ncf_16_64_4_d.1	SAT	169.61
robots_1_5_3_94.8	UNSAT	171.52
robots_1_5_2_46.10	UNSAT	270.72
ncf_16_32_8_u.9	UNSAT	272.01
robots_1_5_4_46.10	UNSAT	297.02
robots_1_5_2_65.6	SAT	302.81
robots_1_5_3_98.8	UNSAT	324.91
x70.10	UNSAT	350.71
robots_1_5_3_98.7	SAT	361.51
ncf_16_32_8_u.6	SAT	377.81
Q_2-3_v-80-100_r-11.8	UNSAT	496.61
ncf_16_64_4_d.6	UNSAT	500.21
x70.5	UNSAT	530.12
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#6.asp	FAIL	591.52
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#3.asp	FAIL	591.52
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#7.asp	FAIL	591.52
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#7.asp	FAIL	591.62
ci.e#1.a#3.E#40.A#60.c#424.w#4.s#2.asp	FAIL	591.62
x300.12	FAIL	591.63
robots_1_5_3_94.9	FAIL	591.63
x300.6	FAIL	591.73
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#1.asp	FAIL	591.75
ci.e#1.a#3.E#40.A#60.c#304.w#6.s#8.asp	FAIL	591.75
ci.e#1.a#3.E#40.A#60.c#304.w#4.s#7.asp	FAIL	591.84
ci.e#1.a#3.E#40.A#60.c#400.w#6.s#4.asp	FAIL	591.85
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#6.asp	FAIL	591.93
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#8.asp	FAIL	591.93
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#6.asp	FAIL	591.93
ci.e#1.a#3.E#40.A#60.c#336.w#4.s#5.asp	FAIL	592.02
robots_1_5_3_98.9	FAIL	592.02
robots_1_5_3_94.10	FAIL	592.02
ncf_16_128_8_edau.8	FAIL	592.02
x210.15	FAIL	592.12
ncf_16_128_8_edau.2	FAIL	592.12
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#4.asp	FAIL	592.12
ci.e#1.a#3.E#40.A#60.c#400.w#4.s#5.asp	FAIL	592.12
x300.8	FAIL	592.12
x300.4	FAIL	592.12
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#7.asp	FAIL	592.12
x300.16	FAIL	592.12
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#3.asp	FAIL	592.12
x210.11	FAIL	592.12
x300.19	FAIL	592.13
ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.asp	FAIL	592.22
ci.e#1.a#3.E#40.A#60.c#352.w#6.s#8.asp	FAIL	592.22
robots_1_5_3_56.10	FAIL	592.22
x300.3	FAIL	592.22
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#3.asp	FAIL	592.22
robots_1_5_3_98.10	FAIL	592.22
ci.e#1.a#3.E#40.A#60.c#408.w#4.s#3.asp	FAIL	592.22
ncf_16_128_8_euad.9	FAIL	592.22
ci.e#1.a#3.E#40.A#60.c#288.w#6.s#2.asp	FAIL	592.22
ncf_16_128_8_euad.4	FAIL	592.22
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#7.asp	FAIL	592.22
robots_1_5_2_65.7	FAIL	592.23
x220.8	FAIL	592.23
robots_1_5_3_56.9	FAIL	592.32
ci.e#1.a#3.E#40.A#60.c#360.w#4.s#1.asp	FAIL	592.32
ci.e#1.a#3.E#40.A#60.c#344.w#4.s#5.asp	FAIL	592.32
ncf_16_128_8_edau.7	FAIL	592.32
ncf_16_128_8_edau.6	FAIL	592.32
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#5.asp	FAIL	592.32
x300.15	FAIL	592.32
x220.6	FAIL	592.32
ncf_16_128_8_euad.1	FAIL	592.32
Q_2-2-3_v-100-100-100_r-35.0	FAIL	592.42
x220.2	FAIL	592.42
x210.17	FAIL	592.42
ci.e#1.a#3.E#40.A#60.c#320.w#4.s#8.asp	FAIL	592.42
ncf_16_128_8_euad.2	FAIL	592.42
robots_1_5_2_93.9	FAIL	592.42
robots_1_5_2_65.9	FAIL	592.42
Q_2-3_v-80-100_r-5.2	FAIL	592.42
x220.9	FAIL	592.43
x300.1	FAIL	592.43
ci.e#1.a#3.E#40.A#60.c#392.w#6.s#4.asp	FAIL	592.52
ncf_16_128_8_edau.3	FAIL	592.52
Q_3-3-3_v-100-100-100_r-30.4	FAIL	592.52
ncf_16_64_4_d.8	FAIL	592.52
Q_3-3_v-100-100_r-19.8	FAIL	592.52
ncf_16_128_8_euad.7	FAIL	592.52
x220.12	FAIL	592.52
ci.e#1.a#3.E#40.A#60.c#368.w#6.s#7.asp	FAIL	592.52
ncf_16_128_8_edau.10	FAIL	592.52
x165.3	FAIL	592.52
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#8.asp	FAIL	592.52
Q_2-2-3_v-100-100-100_r-55.5	FAIL	592.62
Q_2-2-3_v-100-100-100_r-65.2	FAIL	592.62
ci.e#1.a#3.E#40.A#60.c#296.w#2.s#6.asp	FAIL	592.62
Q_2-2-3_v-100-100-100_r-45.7	FAIL	592.62
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#3.asp	FAIL	592.62
ncf_16_128_8_euad.8	FAIL	592.62
Q_3-3_v-100-100_r-19.4	FAIL	592.62
x220.16	FAIL	592.62
x220.13	FAIL	592.62
x220.0	FAIL	592.62
x210.3	FAIL	592.62
x165.17	FAIL	592.62
x165.0	FAIL	592.62
robots_1_5_2_65.8	FAIL	592.62
ci.e#1.a#3.E#40.A#60.c#352.w#4.s#8.asp	FAIL	592.62
robots_1_5_3_56.8	FAIL	592.62
ncf_16_128_8_euad.10	FAIL	592.62
ncf_16_128_8_edau.4	FAIL	592.62
ncf_16_128_8_edau.1	FAIL	592.62
Q_3-3_v-100-100_r-13.1	FAIL	592.63
Q_2-2-3_v-100-100-100_r-75.7	FAIL	592.72
Q_3-3-3_v-100-100-100_r-60.8	FAIL	592.72
ncf_16_128_8_euad.5	FAIL	592.72
x210.12	FAIL	592.72
x165.9	FAIL	592.72
Q_3-3-3_v-100-100-100_r-70.2	FAIL	592.72
Q_2-3_v-80-100_r-9.6	FAIL	592.72
Q_2-2-3_v-100-100-100_r-75.3	FAIL	592.72
robots_1_5_2_93.10	FAIL	592.72
Q_3-3-3_v-100-100-100_r-60.2	FAIL	592.72
Q_3-3-3_v-100-100-100_r-50.4	FAIL	592.72
x210.9	FAIL	592.72
Q_3-3-3_v-100-100-100_r-30.0	FAIL	592.72
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#1.asp	FAIL	592.72
x300.5	FAIL	592.72
Q_3-3-3_v-100-100-100_r-30.7	FAIL	592.72
ncf_16_128_8_edau.5	FAIL	592.72
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#7.asp	FAIL	592.72
Q_3-3_v-100-100_r-11.8	FAIL	592.73
Q_2-2-3_v-100-100-100_r-65.0	FAIL	592.73
Q_3-3-3_v-100-100-100_r-70.6	FAIL	592.83
Q_3-3-3_v-100-100-100_r-30.8	FAIL	592.83
Q_3-3_v-100-100_r-17.2	FAIL	592.83
Q_2-3_v-80-100_r-11.5	FAIL	592.83
x165.8	FAIL	592.83
x165.13	FAIL	592.83
ncf_16_128_2_u.8	FAIL	592.83
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#2.asp	FAIL	592.83
ci.e#1.a#3.E#40.A#60.c#288.w#4.s#8.asp	FAIL	592.83
ncf_16_128_2_u.9	FAIL	592.84
x210.1	FAIL	592.84
robots_1_5_2_93.8	FAIL	592.84
ncf_16_128_8_edau.9	FAIL	592.84
x165.6	FAIL	592.84
robots_1_5_2_93.7	FAIL	592.84
x210.7	FAIL	592.84
x210.16	FAIL	592.85
ncf_16_128_8_euad.6	FAIL	592.85
ncf_16_128_8_euad.3	FAIL	592.85
Q_2-3_v-80-100_r-7.6	FAIL	592.93
Q_3-3_v-100-100_r-17.9	FAIL	592.93
Q_3-3-3_v-100-100-100_r-40.8	FAIL	592.93
Q_3-3_v-100-100_r-17.1	FAIL	592.93
ncf_16_64_4_d.10	FAIL	592.93
Q_2-3_v-80-100_r-9.1	FAIL	592.93
x70.6	FAIL	592.93
Q_2-2-3_v-100-100-100_r-65.5	FAIL	592.93
Q_3-3_v-100-100_r-11.1	FAIL	592.93
Q_3-3_v-100-100_r-15.4	FAIL	592.94
Q_2-2-3_v-100-100-100_r-75.0	FAIL	592.94
robots_1_5_2_65.10	FAIL	592.94
x220.19	FAIL	592.94
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#2.asp	FAIL	592.94
Q_3-3-3_v-100-100-100_r-60.0	FAIL	592.94
x220.10	FAIL	592.94
Q_2-2-3_v-100-100-100_r-35.4	FAIL	592.94
x165.11	FAIL	592.95
x165.19	FAIL	592.95
Q_2-3_v-80-100_r-9.7	FAIL	593.02
Q_3-3-3_v-100-100-100_r-60.7	FAIL	593.02
Q_3-3-3_v-100-100-100_r-70.4	FAIL	593.02
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#5.asp	FAIL	593.02
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#4.asp	FAIL	593.02
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.asp	FAIL	593.02
x210.6	FAIL	593.02
Q_3-3_v-100-100_r-19.2	FAIL	593.02
Q_3-3_v-100-100_r-13.0	FAIL	593.03
Q_2-3_v-80-100_r-7.2	FAIL	593.03
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#1.asp	FAIL	593.03
Q_2-2-3_v-100-100-100_r-75.1	FAIL	593.03
Q_2-2-3_v-100-100-100_r-55.1	FAIL	593.03
Q_2-2-3_v-100-100-100_r-45.2	FAIL	593.03
ncf_16_128_2_u.5	FAIL	593.03
x165.10	FAIL	593.12
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#2.asp	FAIL	593.12
Q_3-3_v-100-100_r-19.1	FAIL	593.12
Q_2-3_v-80-100_r-5.9	FAIL	593.22
Q_3-3-3_v-100-100-100_r-70.0	FAIL	593.22
Q_2-2-3_v-100-100-100_r-45.9	FAIL	593.22
Q_3-3-3_v-100-100-100_r-60.9	FAIL	593.22
Q_3-3-3_v-100-100-100_r-60.5	FAIL	593.22
Q_3-3-3_v-100-100-100_r-60.1	FAIL	593.22
Q_3-3-3_v-100-100-100_r-50.6	FAIL	593.22
Q_3-3-3_v-100-100-100_r-50.3	FAIL	593.22
Q_3-3-3_v-100-100-100_r-50.1	FAIL	593.22
Q_3-3-3_v-100-100-100_r-30.9	FAIL	593.22
ncf_16_128_2_u.3	FAIL	593.22
ncf_16_128_2_u.7	FAIL	593.22
Q_3-3_v-100-100_r-17.6	FAIL	593.22
Q_3-3_v-100-100_r-15.1	FAIL	593.22
ncf_16_128_2_u.4	FAIL	593.22
Q_3-3_v-100-100_r-11.0	FAIL	593.22
Q_3-3-3_v-100-100-100_r-70.5	FAIL	593.22
Q_2-3_v-80-100_r-11.1	FAIL	593.22
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#4.asp	FAIL	593.22
Q_2-2-3_v-100-100-100_r-35.7	FAIL	593.22
Q_2-2-3_v-100-100-100_r-75.9	FAIL	593.22
Q_2-2-3_v-100-100-100_r-55.4	FAIL	593.22
ncf_16_128_2_u.10	FAIL	593.23
Q_2-2-3_v-100-100-100_r-55.8	FAIL	593.23
Q_3-3_v-100-100_r-19.3	FAIL	593.32
Q_3-3-3_v-100-100-100_r-50.9	FAIL	593.32
Q_3-3_v-100-100_r-13.2	FAIL	593.32
Q_2-3_v-80-100_r-11.9	FAIL	593.32
Q_2-2-3_v-100-100-100_r-55.0	FAIL	593.32
Q_3-3-3_v-100-100-100_r-50.0	FAIL	593.32
Q_3-3-3_v-100-100-100_r-30.3	FAIL	593.32
Q_2-2-3_v-100-100-100_r-45.6	FAIL	593.32
Q_2-2-3_v-100-100-100_r-45.5	FAIL	593.32
Q_3-3-3_v-100-100-100_r-40.6	FAIL	593.32
ci.e#1.a#3.E#40.A#60.c#360.w#2.s#8.asp	FAIL	593.32
Q_2-2-3_v-100-100-100_r-35.8	FAIL	593.32
Q_3-3-3_v-100-100-100_r-60.3	FAIL	593.32
Q_3-3-3_v-100-100-100_r-60.4	FAIL	593.32
Q_2-3_v-80-100_r-11.7	FAIL	593.32
Q_3-3-3_v-100-100-100_r-70.1	FAIL	593.32
Q_3-3-3_v-100-100-100_r-70.7	FAIL	593.32
Q_3-3-3_v-100-100-100_r-70.3	FAIL	593.32
Q_2-2-3_v-100-100-100_r-55.7	FAIL	593.32
Q_2-2-3_v-100-100-100_r-75.8	FAIL	593.33
Q_3-3_v-100-100_r-15.8	FAIL	593.42
Q_3-3-3_v-100-100-100_r-30.2	FAIL	593.42
Q_3-3-3_v-100-100-100_r-30.1	FAIL	593.42
Q_2-2-3_v-100-100-100_r-45.8	FAIL	593.42
Q_3-3_v-100-100_r-13.8	FAIL	593.42
Q_3-3_v-100-100_r-19.6	FAIL	593.42
Q_2-2-3_v-100-100-100_r-55.6	FAIL	593.42
Q_2-3_v-80-100_r-9.9	FAIL	593.42
Q_2-3_v-80-100_r-9.8	FAIL	593.42
Q_3-3-3_v-100-100-100_r-50.2	FAIL	593.42
ncf_16_128_2_u.2	FAIL	593.42
ncf_16_32_8_u.1	FAIL	593.42
Q_2-3_v-80-100_r-9.0	FAIL	593.42
Q_2-2-3_v-100-100-100_r-45.3	FAIL	593.42
Q_2-3_v-80-100_r-7.4	FAIL	593.42
Q_2-3_v-80-100_r-9.4	FAIL	593.42
Q_3-3-3_v-100-100-100_r-40.7	FAIL	593.42
Q_2-2-3_v-100-100-100_r-75.5	FAIL	593.42
x70.0	FAIL	593.42
Q_3-3-3_v-100-100-100_r-40.0	FAIL	593.42
Q_3-3-3_v-100-100-100_r-70.8	FAIL	593.52
Q_3-3_v-100-100_r-17.5	FAIL	593.52
Q_3-3-3_v-100-100-100_r-40.5	FAIL	593.52
Q_3-3_v-100-100_r-17.3	FAIL	593.52
Q_2-2-3_v-100-100-100_r-55.2	FAIL	593.52
Q_3-3_v-100-100_r-19.0	FAIL	593.52
Q_2-2-3_v-100-100-100_r-35.2	FAIL	593.52
Q_2-2-3_v-100-100-100_r-35.3	FAIL	593.52
Q_3-3-3_v-100-100-100_r-50.7	FAIL	593.52
Q_2-2-3_v-100-100-100_r-45.0	FAIL	593.52
Q_3-3_v-100-100_r-19.7	FAIL	593.52
Q_2-2-3_v-100-100-100_r-45.1	FAIL	593.52
Q_2-2-3_v-100-100-100_r-45.4	FAIL	593.52
Q_3-3-3_v-100-100-100_r-50.5	FAIL	593.52
Q_3-3-3_v-100-100-100_r-40.4	FAIL	593.52
Q_3-3_v-100-100_r-15.7	FAIL	593.52
Q_2-2-3_v-100-100-100_r-65.4	FAIL	593.52
Q_3-3_v-100-100_r-11.6	FAIL	593.52
Q_2-3_v-80-100_r-5.8	FAIL	593.52
Q_2-2-3_v-100-100-100_r-75.6	FAIL	593.52
Q_3-3_v-100-100_r-11.3	FAIL	593.52
Q_2-3_v-80-100_r-7.0	FAIL	593.52
Q_2-2-3_v-100-100-100_r-65.7	FAIL	593.52
Q_2-2-3_v-100-100-100_r-65.9	FAIL	593.52
Q_2-3_v-80-100_r-5.0	FAIL	593.52
x70.12	FAIL	593.52
Q_3-3-3_v-100-100-100_r-30.6	FAIL	593.53
Q_2-3_v-80-100_r-9.5	FAIL	593.62
Q_2-2-3_v-100-100-100_r-55.9	FAIL	593.62
Q_3-3-3_v-100-100-100_r-50.8	FAIL	593.62
Q_3-3_v-100-100_r-11.4	FAIL	593.62
ncf_16_128_2_u.6	FAIL	593.62
Q_3-3-3_v-100-100-100_r-70.9	FAIL	593.62
Q_2-3_v-80-100_r-9.3	FAIL	593.62
Q_3-3_v-100-100_r-11.2	FAIL	593.62
Q_3-3_v-100-100_r-19.9	FAIL	593.62
ncf_16_128_2_u.1	FAIL	593.62
Q_2-3_v-80-100_r-7.8	FAIL	593.62
Q_3-3_v-100-100_r-17.7	FAIL	593.62
x70.3	FAIL	593.62
Q_2-3_v-80-100_r-5.5	FAIL	593.62
Q_3-3-3_v-100-100-100_r-40.3	FAIL	593.62
Q_2-2-3_v-100-100-100_r-35.6	FAIL	593.62
Q_3-3_v-100-100_r-17.8	FAIL	593.62
Q_3-3_v-100-100_r-17.0	FAIL	593.62
Q_3-3-3_v-100-100-100_r-60.6	FAIL	593.63
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#3.asp	FAIL	593.67
Q_2-3_v-80-100_r-5.1	FAIL	593.72
Q_3-3_v-100-100_r-17.4	FAIL	593.72
Q_3-3_v-100-100_r-15.2	FAIL	593.72
Q_3-3-3_v-100-100-100_r-40.9	FAIL	593.72
Q_2-3_v-80-100_r-7.3	FAIL	593.72
Q_3-3_v-100-100_r-15.5	FAIL	593.72
Q_3-3_v-100-100_r-13.4	FAIL	593.72
ci.e#1.a#3.E#40.A#60.c#312.w#2.s#3.asp	FAIL	593.72
Q_2-2-3_v-100-100-100_r-65.3	FAIL	593.72
Q_3-3_v-100-100_r-11.5	FAIL	593.72
Q_2-3_v-80-100_r-5.7	FAIL	593.72
Q_2-2-3_v-100-100-100_r-35.1	FAIL	593.72
Q_2-2-3_v-100-100-100_r-35.5	FAIL	593.72
Q_3-3_v-100-100_r-13.7	FAIL	593.72
Q_3-3_v-100-100_r-13.9	FAIL	593.72
Q_2-2-3_v-100-100-100_r-65.6	FAIL	593.72
Q_3-3-3_v-100-100-100_r-40.1	FAIL	593.72
Q_3-3-3_v-100-100-100_r-40.2	FAIL	593.72
Q_3-3_v-100-100_r-13.3	FAIL	593.73
Q_2-2-3_v-100-100-100_r-55.3	FAIL	593.73
Q_2-3_v-80-100_r-7.7	FAIL	593.82
Q_3-3_v-100-100_r-13.5	FAIL	593.82
Q_2-3_v-80-100_r-7.1	FAIL	593.82
Q_2-3_v-80-100_r-5.3	FAIL	593.82
Q_3-3_v-100-100_r-11.9	FAIL	593.82
Q_3-3_v-100-100_r-15.0	FAIL	593.82
Q_3-3-3_v-100-100-100_r-30.5	FAIL	593.82
Q_2-2-3_v-100-100-100_r-65.8	FAIL	593.82
Q_2-3_v-80-100_r-9.2	FAIL	593.82
Q_3-3_v-100-100_r-15.3	FAIL	593.82
Q_3-3_v-100-100_r-15.9	FAIL	593.82
Q_2-3_v-80-100_r-7.9	FAIL	593.82
Q_2-3_v-80-100_r-7.5	FAIL	593.82
Q_2-3_v-80-100_r-5.4	FAIL	593.82
Q_3-3_v-100-100_r-15.6	FAIL	593.83
Q_2-2-3_v-100-100-100_r-65.1	FAIL	593.94
Q_3-3_v-100-100_r-19.5	FAIL	593.94
Q_2-2-3_v-100-100-100_r-35.9	FAIL	593.94
Q_2-2-3_v-100-100-100_r-75.2	FAIL	593.94
Q_2-2-3_v-100-100-100_r-75.4	FAIL	593.94
Q_2-3_v-80-100_r-5.6	FAIL	593.94
Q_3-3_v-100-100_r-13.6	FAIL	594.04
Q_3-3_v-100-100_r-11.7	FAIL	600

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by depqbf-v1
QBFEVAL'16 - Random QBFs Track.

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by depqbf-v1 QBFEVAL'16 - Random QBFs Track.

Instances solved by depqbf-v1
QBFEVAL'16 - Random QBFs Track.