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

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

Instance	Result	Time
ncf_8_16_4_u.5	UNSAT	0
ncf_8_16_4_u.1	SAT	0.01
ncf_4_16_2_d.6	SAT	0.01
ncf_8_16_4_u.2	UNSAT	0.01
ncf_4_16_2_d.2	SAT	0.02
ncf_4_16_2_d.4	SAT	0.03
ncf_4_16_2_d.1	UNSAT	0.05
ncf_4_16_2_d.9	SAT	0.06
Q_2-3_v-80-100_r-13.0	UNSAT	0.07
ncf_4_16_2_d.10	UNSAT	0.07
Q_2-3_v-80-100_r-13.7	UNSAT	0.07
ncf_8_16_4_u.10	SAT	0.07
ncf_4_16_2_d.7	SAT	0.08
Q_2-3_v-80-100_r-13.4	UNSAT	0.08
Q_2-3_v-80-100_r-13.3	UNSAT	0.08
ncf_4_16_2_d.5	UNSAT	0.08
ncf_4_16_2_d.3	UNSAT	0.08
Q_2-3_v-80-100_r-13.5	UNSAT	0.09
Q_2-3_v-80-100_r-13.2	UNSAT	0.1
ncf_8_16_4_u.4	SAT	0.1
Q_2-3_v-80-100_r-13.1	UNSAT	0.1
ncf_8_16_4_u.6	UNSAT	0.11
ncf_8_16_4_u.8	UNSAT	0.11
Q_2-3_v-80-100_r-13.8	UNSAT	0.11
Q_2-3_v-80-100_r-13.9	UNSAT	0.12
ncf_8_16_4_u.3	SAT	0.12
Q_2-3_v-80-100_r-13.6	UNSAT	0.14
Q_2-3_v-80-100_r-11.3	UNSAT	0.15
ncf_4_16_2_d.8	SAT	0.16
ncf_4_16_8_euad.7	SAT	0.18
x25.10	UNSAT	0.2
x25.8	UNSAT	0.23
x25.19	UNSAT	0.23
x25.15	UNSAT	0.23
x25.4	UNSAT	0.24
ncf_4_16_8_euad.8	UNSAT	0.25
ncf_8_16_4_u.9	UNSAT	0.27
ncf_4_16_8_euad.2	SAT	0.29
ncf_8_16_4_u.7	SAT	0.29
x25.5	UNSAT	0.3
x25.13	UNSAT	0.31
ncf_4_16_8_euad.5	UNSAT	0.33
ncf_16_32_8_u.4	SAT	0.43
x25.2	SAT	0.45
x25.7	UNSAT	0.5
ncf_4_16_8_euad.9	SAT	0.53
ncf_16_32_8_u.8	UNSAT	0.58
robots_1_5_5_45.1	SAT	0.59
robots_1_5_4_74.1	SAT	0.59
robots_1_5_5_91.1	SAT	0.59
ncf_16_32_8_u.10	SAT	0.59
robots_1_5_4_46.1	SAT	0.59
robots_1_5_4_54.1	SAT	0.59
robots_1_5_5_58.1	SAT	0.59
ci.e#1.a#3.E#40.A#60.c#264.w#4.s#2.asp	SAT	0.66
x35.10	UNSAT	0.67
ncf_4_16_8_euad.4	SAT	0.69
robots_1_5_3_98.1	SAT	0.72
robots_1_5_3_94.1	SAT	0.72
ci.e#1.a#3.E#40.A#60.c#200.w#6.s#6.asp	SAT	0.72
robots_1_5_2_65.1	SAT	0.73
robots_1_5_3_56.1	SAT	0.73
x25.16	SAT	0.73
robots_1_5_2_93.1	SAT	0.74
robots_1_5_2_46.1	SAT	0.74
ncf_4_16_8_euad.1	SAT	0.76
ci.e#1.a#3.E#40.A#60.c#208.w#6.s#8.asp	SAT	0.76
ncf_4_16_8_euad.3	SAT	0.82
ncf_16_32_8_u.3	SAT	0.83
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#6.asp	UNSAT	1.1
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#8.asp	SAT	1.23
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#2.asp	UNSAT	1.29
ncf_16_32_8_u.2	UNSAT	1.37
x35.3	UNSAT	1.7
x35.11	UNSAT	1.71
x35.15	UNSAT	2.02
x35.13	UNSAT	2.02
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#5.asp	UNSAT	2.15
ncf_16_32_8_u.5	UNSAT	2.24
robots_1_5_4_54.2	SAT	2.25
robots_1_5_5_91.2	SAT	2.25
robots_1_5_4_74.2	SAT	2.27
robots_1_5_4_46.2	SAT	2.28
robots_1_5_5_58.2	SAT	2.28
robots_1_5_5_45.2	SAT	2.28
ncf_4_16_8_euad.10	SAT	2.57
x35.5	UNSAT	2.59
x40.1	UNSAT	2.65
ncf_16_32_8_u.6	SAT	2.68
x35.2	SAT	2.74
ncf_16_64_4_d.8	UNSAT	2.77
x40.17	UNSAT	2.92
robots_1_5_3_94.2	SAT	2.99
robots_1_5_3_98.2	SAT	2.99
robots_1_5_2_65.2	SAT	3
robots_1_5_2_93.2	SAT	3
robots_1_5_3_56.2	SAT	3
robots_1_5_2_46.2	SAT	3.01
ncf_16_32_8_u.7	SAT	3.52
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#1.asp	UNSAT	3.52
robots_1_5_5_91.3	SAT	4.5
robots_1_5_5_58.3	SAT	4.5
robots_1_5_4_74.3	SAT	4.51
robots_1_5_4_54.3	SAT	4.52
robots_1_5_4_46.3	SAT	4.53
robots_1_5_5_45.3	SAT	4.53
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#7.asp	UNSAT	4.83
S-edau-23	UNSAT	5.33
S-edau-17	UNSAT	5.44
S-edau-7	UNSAT	5.53
S-edau-29	UNSAT	5.58
S-adeu-32	UNSAT	5.61
T-edau-20	UNSAT	5.63
S-edau-20	UNSAT	5.64
robots_1_5_3_56.3	SAT	5.72
robots_1_5_2_46.3	SAT	5.84
robots_1_5_3_98.3	SAT	5.89
robots_1_5_3_94.3	SAT	5.9
robots_1_5_2_93.3	SAT	5.98
S-adeu-47	UNSAT	5.98
S-adeu-28	UNSAT	6.04
robots_1_5_2_65.3	SAT	6.05
S-adeu-29	UNSAT	6.06
S-adeu-15	UNSAT	6.19
T-edau-18	UNSAT	6.41
S-edau-30	UNSAT	6.45
S-adeu-30	UNSAT	6.55
T-adeu-15	UNSAT	6.62
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#8.asp	UNSAT	6.73
T-adeu-25	UNSAT	6.74
x35.19	UNSAT	6.75
x40.5	UNSAT	7.04
S-adeu-49	UNSAT	7.07
S-edau-34	UNSAT	7.19
robots_1_5_5_58.4	SAT	7.5
robots_1_5_4_74.4	SAT	7.68
robots_1_5_5_91.4	SAT	7.71
robots_1_5_4_54.4	SAT	7.71
robots_1_5_4_46.4	SAT	7.76
robots_1_5_5_45.4	SAT	7.95
T-edau-23	UNSAT	8.33
ncf_4_16_8_euad.6	SAT	8.56
T-adeu-49	UNSAT	8.62
S-edau-8	UNSAT	8.75
S-adeu-41	UNSAT	8.96
T-adeu-7	UNSAT	9.39
robots_1_5_3_56.4	SAT	9.41
x35.9	SAT	9.45
S-edau-43	UNSAT	9.63
robots_1_5_3_94.4	SAT	9.85
x40.10	UNSAT	10.23
robots_1_5_2_65.4	SAT	10.81
robots_1_5_5_58.5	UNSAT	10.94
robots_1_5_5_91.5	UNSAT	11.08
robots_1_5_4_54.5	UNSAT	11.19
robots_1_5_2_93.4	SAT	11.26
robots_1_5_3_98.4	SAT	11.58
x35.1	SAT	12.55
T-adeu-39	UNSAT	12.61
robots_1_5_2_46.4	SAT	12.7
T-adeu-6	UNSAT	12.74
T-edau-44	UNSAT	12.86
T-edau-8	UNSAT	12.95
robots_1_5_4_74.5	SAT	13.06
x40.19	UNSAT	13.15
T-edau-6	UNSAT	13.47
robots_1_5_4_46.5	SAT	13.79
T-adeu-10	UNSAT	13.86
robots_1_5_5_45.5	SAT	14.45
robots_1_5_3_56.5	SAT	14.72
T-edau-2	UNSAT	14.75
robots_1_5_5_58.6	UNSAT	15.12
ncf_16_64_4_d.9	SAT	15.18
robots_1_5_5_91.6	UNSAT	15.35
robots_1_5_4_54.6	UNSAT	15.48
T-adeu-9	UNSAT	15.63
robots_1_5_3_94.5	SAT	16.27
T-edau-9	UNSAT	16.76
robots_1_5_5_45.6	UNSAT	17.43
robots_1_5_4_74.6	UNSAT	17.58
robots_1_5_3_98.5	SAT	17.82
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#7.asp	UNSAT	18.3
x40.6	UNSAT	18.37
T-edau-26	UNSAT	18.46
T-edau-24	UNSAT	18.67
robots_1_5_5_58.7	UNSAT	19.98
robots_1_5_5_91.7	UNSAT	20.33
robots_1_5_4_54.7	UNSAT	20.44
T-adeu-42	UNSAT	20.93
T-adeu-38	UNSAT	21.78
x40.4	UNSAT	23.03
x40.18	SAT	23.13
robots_1_5_4_74.7	UNSAT	23.2
robots_1_5_3_56.6	SAT	23.33
robots_1_5_5_45.7	UNSAT	23.51
x40.12	SAT	23.71
x40.11	SAT	24.07
ncf_16_64_4_d.2	UNSAT	24.55
robots_1_5_4_46.6	SAT	24.93
robots_1_5_5_58.8	UNSAT	25.4
robots_1_5_5_91.8	UNSAT	25.93
robots_1_5_4_54.8	UNSAT	26.06
robots_1_5_4_46.7	UNSAT	26.21
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#1.asp	UNSAT	26.93
Q_2-3_v-80-100_r-11.4	UNSAT	28.15
robots_1_5_4_74.8	UNSAT	28.8
robots_1_5_2_65.5	SAT	29
ncf_16_64_4_d.1	SAT	29.28
robots_1_5_5_58.9	UNSAT	31.41
robots_1_5_5_91.9	UNSAT	31.99
robots_1_5_5_58.10	UNSAT	32.13
robots_1_5_4_54.9	UNSAT	32.3
robots_1_5_3_94.6	SAT	32.62
robots_1_5_4_54.10	UNSAT	32.63
robots_1_5_5_91.10	UNSAT	32.75
robots_1_5_3_94.7	UNSAT	34.08
robots_1_5_2_93.5	SAT	34.63
robots_1_5_4_46.8	UNSAT	34.93
robots_1_5_5_45.8	UNSAT	35.41
robots_1_5_5_45.9	UNSAT	35.75
robots_1_5_5_45.10	UNSAT	36.7
robots_1_5_2_46.5	SAT	36.75
ncf_16_128_2_u.2	UNSAT	37.04
robots_1_5_4_74.10	UNSAT	37.88
robots_1_5_4_74.9	UNSAT	38.51
robots_1_5_4_46.9	UNSAT	38.73
Q_2-3_v-80-100_r-11.6	UNSAT	39.2
robots_1_5_4_46.10	UNSAT	41.41
robots_1_5_3_98.6	SAT	42.87
robots_1_5_3_94.8	UNSAT	44.31
robots_1_5_3_56.7	SAT	44.89
robots_1_5_3_94.10	UNSAT	51.24
robots_1_5_3_94.9	UNSAT	53.41
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#3.asp	UNSAT	56.46
robots_1_5_3_98.8	UNSAT	64.51
robots_1_5_3_98.9	UNSAT	72.18
robots_1_5_3_98.10	UNSAT	88.29
robots_1_5_3_56.8	SAT	92.3
ncf_16_64_4_d.5	UNSAT	105.6
robots_1_5_2_46.8	UNSAT	117.31
robots_1_5_3_98.7	SAT	123.33
robots_1_5_2_93.6	SAT	127.49
robots_1_5_2_46.6	SAT	140.35
Q_2-3_v-80-100_r-11.2	UNSAT	141.66
ncf_16_64_4_d.6	UNSAT	151.28
x70.5	UNSAT	163.02
ncf_16_64_4_d.7	UNSAT	249.65
x70.16	UNSAT	264.87
robots_1_5_2_65.6	SAT	274.21
robots_1_5_2_46.10	UNSAT	308.26
robots_1_5_2_46.9	UNSAT	308.51
robots_1_5_3_56.9	SAT	340.34
Q_2-3_v-80-100_r-11.0	UNSAT	375.55
robots_1_5_2_65.7	SAT	393.49
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#4.asp	UNSAT	411.8
S-adeu-6	UNSAT	467.8
robots_1_5_2_93.7	SAT	494.27
Q_2-2-3_v-100-100-100_r-55.2	FAIL	599.71
Q_2-2-3_v-100-100-100_r-55.1	FAIL	599.71
Q_2-2-3_v-100-100-100_r-35.5	FAIL	599.71
Q_2-2-3_v-100-100-100_r-45.6	FAIL	599.71
Q_2-2-3_v-100-100-100_r-75.7	FAIL	599.71
Q_2-3_v-80-100_r-11.1	FAIL	599.71
Q_2-2-3_v-100-100-100_r-35.8	FAIL	599.71
Q_2-2-3_v-100-100-100_r-35.9	FAIL	599.71
Q_2-2-3_v-100-100-100_r-45.0	FAIL	599.71
Q_2-2-3_v-100-100-100_r-45.2	FAIL	599.71
Q_2-2-3_v-100-100-100_r-45.1	FAIL	599.71
Q_2-2-3_v-100-100-100_r-45.4	FAIL	599.71
Q_2-3_v-80-100_r-11.5	FAIL	599.71
Q_2-2-3_v-100-100-100_r-55.5	FAIL	599.71
Q_2-2-3_v-100-100-100_r-65.8	FAIL	599.71
Q_2-2-3_v-100-100-100_r-75.0	FAIL	599.71
Q_2-2-3_v-100-100-100_r-75.1	FAIL	599.71
Q_2-2-3_v-100-100-100_r-75.5	FAIL	599.71
Q_2-2-3_v-100-100-100_r-75.2	FAIL	599.71
Q_2-2-3_v-100-100-100_r-75.9	FAIL	599.71
Q_2-2-3_v-100-100-100_r-75.8	FAIL	599.71
Q_2-2-3_v-100-100-100_r-75.3	FAIL	599.71
Q_2-2-3_v-100-100-100_r-75.4	FAIL	599.71
Q_2-2-3_v-100-100-100_r-65.5	FAIL	599.71
Q_2-2-3_v-100-100-100_r-65.4	FAIL	599.71
Q_2-3_v-80-100_r-11.8	FAIL	599.71
Q_2-2-3_v-100-100-100_r-55.6	FAIL	599.71
Q_2-2-3_v-100-100-100_r-55.8	FAIL	599.71
Q_2-3_v-80-100_r-11.9	FAIL	599.71
Q_2-2-3_v-100-100-100_r-55.9	FAIL	599.71
Q_2-2-3_v-100-100-100_r-45.3	FAIL	599.71
Q_2-2-3_v-100-100-100_r-65.0	FAIL	599.71
Q_2-2-3_v-100-100-100_r-65.1	FAIL	599.71
Q_2-2-3_v-100-100-100_r-65.3	FAIL	599.71
Q_2-2-3_v-100-100-100_r-75.6	FAIL	599.71
Q_3-3_v-100-100_r-17.5	FAIL	599.71
Q_3-3-3_v-100-100-100_r-30.0	FAIL	599.71
Q_3-3-3_v-100-100-100_r-30.1	FAIL	599.71
Q_3-3-3_v-100-100-100_r-30.4	FAIL	599.71
Q_3-3-3_v-100-100-100_r-30.6	FAIL	599.71
Q_3-3-3_v-100-100-100_r-30.7	FAIL	599.71
Q_3-3-3_v-100-100-100_r-30.8	FAIL	599.71
Q_3-3-3_v-100-100-100_r-30.9	FAIL	599.71
Q_3-3-3_v-100-100-100_r-40.0	FAIL	599.71
Q_3-3-3_v-100-100-100_r-40.2	FAIL	599.71
Q_3-3_v-100-100_r-19.9	FAIL	599.71
Q_3-3_v-100-100_r-19.8	FAIL	599.71
Q_3-3_v-100-100_r-19.7	FAIL	599.71
Q_3-3_v-100-100_r-17.7	FAIL	599.71
Q_3-3_v-100-100_r-17.8	FAIL	599.71
Q_3-3_v-100-100_r-17.9	FAIL	599.71
Q_3-3_v-100-100_r-19.0	FAIL	599.71
Q_3-3_v-100-100_r-19.1	FAIL	599.71
Q_3-3_v-100-100_r-19.2	FAIL	599.71
Q_3-3_v-100-100_r-19.4	FAIL	599.71
Q_3-3_v-100-100_r-19.5	FAIL	599.71
Q_3-3_v-100-100_r-19.6	FAIL	599.71
Q_3-3-3_v-100-100-100_r-40.3	FAIL	599.71
Q_3-3-3_v-100-100-100_r-40.5	FAIL	599.71
Q_3-3-3_v-100-100-100_r-60.6	FAIL	599.71
Q_3-3-3_v-100-100-100_r-60.7	FAIL	599.71
Q_3-3-3_v-100-100-100_r-60.8	FAIL	599.71
Q_3-3-3_v-100-100-100_r-70.0	FAIL	599.71
Q_3-3-3_v-100-100-100_r-70.1	FAIL	599.71
Q_3-3-3_v-100-100-100_r-70.3	FAIL	599.71
Q_3-3-3_v-100-100-100_r-70.5	FAIL	599.71
Q_3-3-3_v-100-100-100_r-70.6	FAIL	599.71
Q_3-3-3_v-100-100-100_r-70.8	FAIL	599.71
Q_3-3-3_v-100-100-100_r-60.5	FAIL	599.71
Q_3-3-3_v-100-100-100_r-60.3	FAIL	599.71
Q_3-3-3_v-100-100-100_r-60.2	FAIL	599.71
Q_3-3-3_v-100-100-100_r-40.6	FAIL	599.71
Q_3-3-3_v-100-100-100_r-50.0	FAIL	599.71
Q_3-3-3_v-100-100-100_r-50.1	FAIL	599.71
Q_3-3-3_v-100-100-100_r-50.2	FAIL	599.71
Q_3-3-3_v-100-100-100_r-50.3	FAIL	599.71
Q_3-3-3_v-100-100-100_r-50.4	FAIL	599.71
Q_3-3-3_v-100-100-100_r-50.7	FAIL	599.71
Q_3-3-3_v-100-100-100_r-50.9	FAIL	599.71
Q_3-3-3_v-100-100-100_r-60.0	FAIL	599.71
Q_3-3-3_v-100-100-100_r-70.9	FAIL	599.71
Q_2-3_v-80-100_r-5.0	FAIL	599.71
Q_2-3_v-80-100_r-7.8	FAIL	599.71
Q_2-3_v-80-100_r-7.9	FAIL	599.71
Q_2-3_v-80-100_r-9.0	FAIL	599.71
Q_2-3_v-80-100_r-9.1	FAIL	599.71
Q_2-3_v-80-100_r-9.2	FAIL	599.71
Q_2-3_v-80-100_r-9.4	FAIL	599.71
Q_2-3_v-80-100_r-9.5	FAIL	599.71
Q_2-3_v-80-100_r-9.6	FAIL	599.71
Q_2-3_v-80-100_r-9.8	FAIL	599.71
Q_2-3_v-80-100_r-7.7	FAIL	599.71
Q_2-3_v-80-100_r-7.6	FAIL	599.71
Q_2-3_v-80-100_r-7.5	FAIL	599.71
Q_2-3_v-80-100_r-5.2	FAIL	599.71
Q_2-3_v-80-100_r-5.4	FAIL	599.71
Q_2-3_v-80-100_r-5.6	FAIL	599.71
Q_2-3_v-80-100_r-5.7	FAIL	599.71
Q_2-3_v-80-100_r-5.8	FAIL	599.71
Q_2-3_v-80-100_r-5.9	FAIL	599.71
Q_2-3_v-80-100_r-7.2	FAIL	599.71
Q_2-3_v-80-100_r-7.3	FAIL	599.71
Q_2-3_v-80-100_r-7.4	FAIL	599.71
Q_2-3_v-80-100_r-9.9	FAIL	599.71
Q_3-3_v-100-100_r-11.1	FAIL	599.71
Q_3-3_v-100-100_r-15.0	FAIL	599.71
Q_3-3_v-100-100_r-15.1	FAIL	599.71
Q_3-3_v-100-100_r-15.2	FAIL	599.71
Q_3-3_v-100-100_r-15.3	FAIL	599.71
Q_3-3_v-100-100_r-15.4	FAIL	599.71
Q_3-3_v-100-100_r-15.8	FAIL	599.71
Q_3-3_v-100-100_r-15.9	FAIL	599.71
Q_3-3_v-100-100_r-17.0	FAIL	599.71
Q_3-3_v-100-100_r-17.2	FAIL	599.71
Q_3-3_v-100-100_r-13.9	FAIL	599.71
Q_3-3_v-100-100_r-13.8	FAIL	599.71
Q_3-3_v-100-100_r-13.7	FAIL	599.71
Q_3-3_v-100-100_r-11.5	FAIL	599.71
Q_3-3_v-100-100_r-11.6	FAIL	599.71
Q_3-3_v-100-100_r-11.7	FAIL	599.71
Q_3-3_v-100-100_r-13.0	FAIL	599.71
Q_3-3_v-100-100_r-13.1	FAIL	599.71
Q_3-3_v-100-100_r-13.2	FAIL	599.71
Q_3-3_v-100-100_r-13.3	FAIL	599.71
Q_3-3_v-100-100_r-13.4	FAIL	599.71
Q_3-3_v-100-100_r-13.5	FAIL	599.71
Q_3-3_v-100-100_r-17.3	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#344.w#4.s#5.asp	FAIL	599.71
robots_1_5_2_93.9	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#296.w#2.s#6.asp	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#288.w#6.s#2.asp	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#288.w#4.s#8.asp	FAIL	599.71
S-edau-1	FAIL	599.71
robots_1_5_2_93.8	FAIL	599.71
Q_3-3_v-100-100_r-15.7	FAIL	599.71
x220.12	FAIL	599.71
ncf_16_64_4_d.4	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#7.asp	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#1.asp	FAIL	599.71
ncf_16_128_2_u.7	FAIL	599.71
ncf_16_128_2_u.6	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#320.w#4.s#8.asp	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#4.asp	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#3.asp	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#312.w#2.s#3.asp	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#304.w#6.s#8.asp	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#304.w#4.s#7.asp	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#7.asp	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#6.asp	FAIL	599.71
robots_1_5_2_65.8	FAIL	599.71
x70.8	FAIL	599.71
x300.3	FAIL	599.71
x300.1	FAIL	599.71
x300.19	FAIL	599.71
x220.2	FAIL	599.71
x300.16	FAIL	599.71
x300.15	FAIL	599.71
ncf_16_32_8_u.9	FAIL	599.71
x220.9	FAIL	599.71
x220.8	FAIL	599.71
x300.4	FAIL	599.71
ncf_16_128_2_u.9	FAIL	599.71
ncf_16_128_8_edau.9	FAIL	599.71
robots_1_5_2_46.7	FAIL	599.71
x70.6	FAIL	599.71
x70.3	FAIL	599.71
robots_1_5_2_65.10	FAIL	599.71
x220.16	FAIL	599.71
x70.1	FAIL	599.71
x70.10	FAIL	599.71
x70.0	FAIL	599.71
x300.8	FAIL	599.71
x165.17	FAIL	599.71
robots_1_5_2_93.10	FAIL	599.71
Q_2-2-3_v-100-100-100_r-35.3	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#7.asp	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#400.w#6.s#4.asp	FAIL	599.71
x165.10	FAIL	599.71
ncf_16_128_2_u.1	FAIL	599.71
ncf_16_128_8_edau.1	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.asp	FAIL	599.71
ncf_16_128_2_u.4	FAIL	599.71
x165.9	FAIL	599.71
x165.11	FAIL	599.71
ncf_16_128_8_edau.4	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#1.asp	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#336.w#4.s#5.asp	FAIL	599.71
Q_2-2-3_v-100-100-100_r-35.1	FAIL	599.71
ncf_16_64_4_d.3	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#424.w#4.s#2.asp	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.asp	FAIL	599.71
x165.3	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#2.asp	FAIL	599.71
x165.6	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#8.asp	FAIL	599.71
ncf_16_128_8_edau.3	FAIL	599.71
x210.11	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#4.asp	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#368.w#6.s#7.asp	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#8.asp	FAIL	599.71
x210.17	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#7.asp	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#3.asp	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#2.asp	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#360.w#4.s#1.asp	FAIL	599.71
ncf_16_128_2_u.3	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#5.asp	FAIL	599.71
x210.1	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#6.asp	FAIL	599.71
x210.12	FAIL	599.71
x210.16	FAIL	599.71
ncf_16_64_4_d.10	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#6.asp	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#3.asp	FAIL	599.71
Q_3-3_v-100-100_r-11.4	FAIL	599.72
Q_3-3-3_v-100-100-100_r-30.3	FAIL	599.81
ncf_16_128_8_edau.8	FAIL	599.81
Q_3-3_v-100-100_r-17.4	FAIL	599.81
robots_1_5_3_56.10	FAIL	599.81
robots_1_5_2_65.9	FAIL	599.81
Q_3-3_v-100-100_r-17.6	FAIL	599.81
x165.0	FAIL	599.81
Q_3-3_v-100-100_r-19.3	FAIL	599.81
ncf_16_128_8_euad.9	FAIL	599.81
x165.13	FAIL	599.81
Q_3-3-3_v-100-100-100_r-30.2	FAIL	599.81
ncf_16_128_8_edau.10	FAIL	599.81
Q_3-3-3_v-100-100-100_r-50.8	FAIL	599.81
ncf_16_128_8_euad.3	FAIL	599.81
Q_3-3-3_v-100-100-100_r-60.1	FAIL	599.81
ncf_16_128_8_euad.5	FAIL	599.81
Q_3-3-3_v-100-100-100_r-60.4	FAIL	599.81
ncf_16_128_8_edau.6	FAIL	599.81
Q_3-3-3_v-100-100-100_r-60.9	FAIL	599.81
ncf_16_128_2_u.8	FAIL	599.81
Q_3-3-3_v-100-100-100_r-70.2	FAIL	599.81
Q_3-3-3_v-100-100-100_r-70.4	FAIL	599.81
ncf_16_128_8_euad.10	FAIL	599.81
Q_3-3-3_v-100-100-100_r-70.7	FAIL	599.81
ncf_16_32_8_u.1	FAIL	599.81
ncf_16_128_8_edau.2	FAIL	599.81
Q_3-3-3_v-100-100-100_r-50.6	FAIL	599.81
Q_3-3-3_v-100-100-100_r-50.5	FAIL	599.81
Q_3-3-3_v-100-100-100_r-30.5	FAIL	599.81
ncf_16_128_2_u.5	FAIL	599.81
Q_3-3-3_v-100-100-100_r-40.1	FAIL	599.81
ncf_16_128_8_euad.8	FAIL	599.81
ncf_16_128_8_euad.6	FAIL	599.81
Q_3-3-3_v-100-100-100_r-40.4	FAIL	599.81
ncf_16_128_8_edau.5	FAIL	599.81
Q_3-3-3_v-100-100-100_r-40.7	FAIL	599.81
Q_3-3-3_v-100-100-100_r-40.8	FAIL	599.81
ncf_16_128_8_euad.2	FAIL	599.81
Q_3-3-3_v-100-100-100_r-40.9	FAIL	599.81
ncf_16_128_8_euad.4	FAIL	599.81
ncf_16_128_8_euad.1	FAIL	599.81
ncf_16_128_8_euad.7	FAIL	599.81
Q_2-2-3_v-100-100-100_r-35.6	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#7.asp	FAIL	599.81
Q_2-2-3_v-100-100-100_r-65.2	FAIL	599.81
Q_2-2-3_v-100-100-100_r-65.6	FAIL	599.81
Q_2-2-3_v-100-100-100_r-65.7	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#1.asp	FAIL	599.81
Q_2-2-3_v-100-100-100_r-65.9	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#360.w#2.s#8.asp	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#352.w#6.s#8.asp	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#352.w#4.s#8.asp	FAIL	599.81
Q_2-2-3_v-100-100-100_r-35.4	FAIL	599.81
Q_2-3_v-80-100_r-11.7	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#3.asp	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#5.asp	FAIL	599.81
Q_2-3_v-80-100_r-5.1	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#3.asp	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#392.w#6.s#4.asp	FAIL	599.81
Q_2-2-3_v-100-100-100_r-35.7	FAIL	599.81
Q_2-2-3_v-100-100-100_r-35.2	FAIL	599.81
Q_2-2-3_v-100-100-100_r-35.0	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#408.w#4.s#3.asp	FAIL	599.81
Q_2-2-3_v-100-100-100_r-45.5	FAIL	599.81
Q_2-2-3_v-100-100-100_r-45.7	FAIL	599.81
Q_2-2-3_v-100-100-100_r-45.8	FAIL	599.81
Q_2-2-3_v-100-100-100_r-45.9	FAIL	599.81
Q_2-2-3_v-100-100-100_r-55.0	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#400.w#4.s#5.asp	FAIL	599.81
Q_2-2-3_v-100-100-100_r-55.3	FAIL	599.81
Q_2-2-3_v-100-100-100_r-55.4	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#2.asp	FAIL	599.81
Q_2-2-3_v-100-100-100_r-55.7	FAIL	599.81
Q_2-3_v-80-100_r-5.3	FAIL	599.81
S-adeu-19	FAIL	599.81
Q_2-3_v-80-100_r-5.5	FAIL	599.81
Q_3-3_v-100-100_r-11.9	FAIL	599.81
x220.13	FAIL	599.81
x220.10	FAIL	599.81
x220.0	FAIL	599.81
x210.9	FAIL	599.81
x210.6	FAIL	599.81
Q_3-3_v-100-100_r-13.6	FAIL	599.81
x210.3	FAIL	599.81
x210.15	FAIL	599.81
Q_3-3_v-100-100_r-15.5	FAIL	599.81
Q_3-3_v-100-100_r-15.6	FAIL	599.81
x210.7	FAIL	599.81
x165.8	FAIL	599.81
Q_3-3_v-100-100_r-17.1	FAIL	599.81
Q_3-3_v-100-100_r-11.8	FAIL	599.81
x220.19	FAIL	599.81
Q_3-3_v-100-100_r-11.3	FAIL	599.81
x70.7	FAIL	599.81
Q_2-3_v-80-100_r-7.0	FAIL	599.81
Q_2-3_v-80-100_r-7.1	FAIL	599.81
x70.12	FAIL	599.81
x300.6	FAIL	599.81
x300.5	FAIL	599.81
Q_2-3_v-80-100_r-9.3	FAIL	599.81
x300.12	FAIL	599.81
Q_2-3_v-80-100_r-9.7	FAIL	599.81
x220.6	FAIL	599.81
Q_3-3_v-100-100_r-11.2	FAIL	599.81
x165.19	FAIL	599.81
ncf_16_128_2_u.10	FAIL	599.82
Q_3-3_v-100-100_r-11.0	FAIL	599.82
ncf_16_128_8_edau.7	FAIL	599.82

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

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

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

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

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