Instances solved by <a href='solver_detail.php?solver=225'>qesto</a> <br> QBFEVAL'16

Instances solved by qesto
QBFEVAL'16 - Random QBFs Track.

Instance	Result	Time
ncf_4_16_2_d.6	SAT	0
ncf_4_16_2_d.7	SAT	0
ncf_8_16_4_u.6	UNSAT	0
ncf_8_16_4_u.4	SAT	0
ncf_8_16_4_u.8	UNSAT	0
ncf_4_16_8_euad.7	SAT	0
ncf_8_16_4_u.5	UNSAT	0
ncf_4_16_2_d.4	SAT	0
ncf_8_16_4_u.10	SAT	0
ncf_8_16_4_u.2	UNSAT	0
ncf_8_16_4_u.1	SAT	0
ncf_4_16_2_d.9	SAT	0
ncf_4_16_2_d.2	SAT	0
robots_1_5_4_54.1	SAT	0.01
ncf_16_32_8_u.4	SAT	0.01
robots_1_5_3_94.1	SAT	0.01
robots_1_5_3_98.1	SAT	0.01
robots_1_5_3_56.1	SAT	0.01
ncf_4_16_2_d.5	UNSAT	0.01
robots_1_5_2_93.1	SAT	0.01
robots_1_5_2_65.1	SAT	0.01
robots_1_5_2_46.1	SAT	0.01
ncf_4_16_2_d.8	SAT	0.01
ncf_4_16_2_d.10	UNSAT	0.01
robots_1_5_5_91.1	SAT	0.01
ncf_8_16_4_u.3	SAT	0.01
robots_1_5_5_45.1	SAT	0.01
robots_1_5_4_46.1	SAT	0.01
robots_1_5_4_74.1	SAT	0.01
robots_1_5_5_58.1	SAT	0.01
ncf_16_32_8_u.3	SAT	0.02
ncf_4_16_2_d.1	UNSAT	0.03
ncf_16_32_8_u.10	SAT	0.03
ncf_16_32_8_u.8	UNSAT	0.04
ncf_16_32_8_u.6	SAT	0.16
robots_1_5_4_46.2	SAT	0.18
robots_1_5_4_54.2	SAT	0.18
robots_1_5_4_74.2	SAT	0.18
robots_1_5_5_45.2	SAT	0.18
robots_1_5_5_58.2	SAT	0.18
robots_1_5_5_91.2	SAT	0.19
robots_1_5_3_56.2	SAT	0.19
robots_1_5_3_94.2	SAT	0.19
robots_1_5_3_98.2	SAT	0.2
robots_1_5_2_46.2	SAT	0.21
robots_1_5_2_93.2	SAT	0.21
robots_1_5_2_65.2	SAT	0.21
ci.e#1.a#3.E#40.A#60.c#200.w#6.s#6.asp	SAT	0.39
ci.e#1.a#3.E#40.A#60.c#208.w#6.s#8.asp	SAT	0.42
robots_1_5_5_58.3	SAT	0.44
robots_1_5_5_91.3	SAT	0.45
robots_1_5_4_46.3	SAT	0.45
robots_1_5_5_45.3	SAT	0.46
robots_1_5_4_74.3	SAT	0.46
ncf_4_16_8_euad.8	UNSAT	0.51
robots_1_5_4_54.3	SAT	0.53
x25.19	UNSAT	0.6
ci.e#1.a#3.E#40.A#60.c#264.w#4.s#2.asp	SAT	0.65
x25.13	UNSAT	0.68
ncf_4_16_8_euad.3	SAT	0.71
x25.8	UNSAT	0.74
robots_1_5_2_46.3	SAT	0.79
robots_1_5_3_94.3	SAT	0.81
x35.13	UNSAT	0.83
ncf_4_16_8_euad.10	SAT	0.88
x35.15	UNSAT	0.89
robots_1_5_3_98.3	SAT	0.92
ncf_4_16_2_d.3	UNSAT	0.92
x35.3	UNSAT	0.92
x25.2	SAT	0.92
robots_1_5_2_93.3	SAT	0.94
robots_1_5_5_45.4	SAT	0.94
x25.7	UNSAT	0.96
x25.4	UNSAT	0.98
robots_1_5_2_65.3	SAT	0.99
x35.10	UNSAT	1
x35.5	UNSAT	1.01
robots_1_5_4_46.4	SAT	1.02
robots_1_5_5_58.4	SAT	1.03
robots_1_5_4_54.4	SAT	1.06
robots_1_5_4_74.4	SAT	1.07
x35.2	SAT	1.09
x40.10	UNSAT	1.09
ncf_8_16_4_u.9	UNSAT	1.1
x25.10	UNSAT	1.11
x40.4	UNSAT	1.11
x40.17	UNSAT	1.12
x40.6	UNSAT	1.14
x40.1	UNSAT	1.2
x40.5	UNSAT	1.22
robots_1_5_5_91.4	SAT	1.22
x35.11	UNSAT	1.24
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#8.asp	SAT	1.26
robots_1_5_3_56.3	SAT	1.3
x25.15	UNSAT	1.31
x35.1	SAT	1.35
x40.19	UNSAT	1.36
x40.18	SAT	1.38
x25.16	SAT	1.48
x35.9	SAT	1.5
x25.5	UNSAT	1.51
ncf_4_16_8_euad.4	SAT	1.57
x35.19	UNSAT	1.61
robots_1_5_3_94.4	SAT	1.61
T-edau-26	UNSAT	1.64
ncf_4_16_8_euad.2	SAT	1.75
robots_1_5_5_58.5	UNSAT	1.8
robots_1_5_3_98.4	SAT	1.91
robots_1_5_5_91.5	UNSAT	1.96
robots_1_5_5_91.6	UNSAT	1.98
robots_1_5_2_93.4	SAT	1.99
S-edau-29	UNSAT	2.08
robots_1_5_2_46.4	SAT	2.11
ncf_16_64_4_d.7	UNSAT	2.23
T-adeu-10	UNSAT	2.27
robots_1_5_4_74.5	SAT	2.32
S-edau-20	UNSAT	2.33
T-edau-6	UNSAT	2.33
T-adeu-38	UNSAT	2.36
x40.11	SAT	2.37
T-adeu-6	UNSAT	2.4
S-adeu-15	UNSAT	2.41
T-edau-9	UNSAT	2.43
x40.12	SAT	2.46
T-adeu-42	UNSAT	2.48
robots_1_5_4_46.5	SAT	2.57
ncf_4_16_8_euad.9	SAT	2.57
S-edau-7	UNSAT	2.69
robots_1_5_5_45.6	UNSAT	2.72
robots_1_5_4_54.5	UNSAT	2.73
S-adeu-19	UNSAT	2.8
T-edau-44	UNSAT	2.81
robots_1_5_2_65.4	SAT	2.82
S-edau-8	UNSAT	2.83
S-adeu-6	UNSAT	2.88
ncf_16_32_8_u.7	SAT	2.89
T-adeu-9	UNSAT	2.91
robots_1_5_3_56.4	SAT	2.93
robots_1_5_5_58.6	UNSAT	2.94
T-edau-8	UNSAT	3.01
S-edau-1	UNSAT	3.05
T-edau-2	UNSAT	3.09
T-edau-24	UNSAT	3.11
S-edau-17	UNSAT	3.11
T-edau-23	UNSAT	3.16
S-edau-30	UNSAT	3.19
S-adeu-28	UNSAT	3.3
robots_1_5_5_91.7	UNSAT	3.31
S-edau-34	UNSAT	3.34
robots_1_5_4_54.6	UNSAT	3.37
T-adeu-25	UNSAT	3.53
robots_1_5_5_58.7	UNSAT	3.56
robots_1_5_3_98.5	SAT	3.73
x70.7	UNSAT	3.76
S-adeu-30	UNSAT	3.79
robots_1_5_5_45.5	SAT	3.79
robots_1_5_2_93.5	SAT	3.83
T-edau-18	UNSAT	3.87
S-adeu-41	UNSAT	3.92
x70.5	UNSAT	3.94
robots_1_5_5_58.8	UNSAT	3.94
robots_1_5_5_91.8	UNSAT	4.11
robots_1_5_4_74.7	UNSAT	4.13
S-adeu-29	UNSAT	4.14
robots_1_5_4_54.7	UNSAT	4.16
T-adeu-15	UNSAT	4.17
x70.10	UNSAT	4.21
S-edau-23	UNSAT	4.21
robots_1_5_4_74.8	UNSAT	4.24
x70.16	UNSAT	4.29
robots_1_5_5_45.7	UNSAT	4.31
robots_1_5_3_94.5	SAT	4.32
robots_1_5_3_56.5	SAT	4.35
robots_1_5_4_74.6	UNSAT	4.36
S-adeu-47	UNSAT	4.41
robots_1_5_4_54.8	UNSAT	4.47
ncf_16_32_8_u.2	UNSAT	4.47
S-adeu-32	UNSAT	4.51
T-edau-20	UNSAT	4.54
S-adeu-49	UNSAT	4.57
T-adeu-49	UNSAT	4.59
robots_1_5_2_46.5	SAT	4.6
robots_1_5_5_91.9	UNSAT	4.85
T-adeu-7	UNSAT	4.87
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#5.asp	UNSAT	4.87
robots_1_5_4_54.9	UNSAT	5.04
robots_1_5_5_58.10	UNSAT	5.07
robots_1_5_5_58.9	UNSAT	5.07
robots_1_5_4_46.7	UNSAT	5.14
robots_1_5_5_45.8	UNSAT	5.16
robots_1_5_4_46.6	SAT	5.2
S-edau-43	UNSAT	5.43
x70.6	UNSAT	5.44
robots_1_5_3_56.6	SAT	5.46
robots_1_5_5_45.9	UNSAT	5.63
robots_1_5_5_91.10	UNSAT	5.65
robots_1_5_4_46.8	UNSAT	5.69
robots_1_5_4_54.10	UNSAT	5.72
robots_1_5_3_94.6	SAT	5.8
ncf_16_64_4_d.5	UNSAT	5.99
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#8.asp	UNSAT	6.3
robots_1_5_5_45.10	UNSAT	6.4
T-adeu-39	UNSAT	6.44
ci.e#1.a#3.E#40.A#60.c#320.w#4.s#8.asp	SAT	6.46
x70.8	UNSAT	6.85
robots_1_5_4_74.10	UNSAT	6.93
robots_1_5_4_46.9	UNSAT	7
robots_1_5_3_94.9	UNSAT	7.37
robots_1_5_3_56.8	SAT	7.43
x70.3	UNSAT	7.47
robots_1_5_3_56.7	SAT	7.59
robots_1_5_4_74.9	UNSAT	8.41
robots_1_5_2_65.5	SAT	8.47
robots_1_5_2_46.7	UNSAT	8.61
robots_1_5_3_98.6	SAT	8.62
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#1.asp	UNSAT	8.65
robots_1_5_2_46.6	SAT	8.9
robots_1_5_3_94.8	UNSAT	9.2
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#7.asp	SAT	9.43
robots_1_5_2_93.6	SAT	9.72
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#3.asp	UNSAT	9.84
ncf_8_16_4_u.7	SAT	10.31
ncf_4_16_8_euad.1	SAT	10.37
x70.12	UNSAT	12.27
robots_1_5_2_46.8	UNSAT	12.54
robots_1_5_3_94.7	UNSAT	13.6
ncf_16_32_8_u.5	UNSAT	13.76
robots_1_5_2_46.10	UNSAT	13.98
robots_1_5_4_46.10	UNSAT	14.86
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#7.asp	UNSAT	15.48
robots_1_5_3_56.9	SAT	16.67
robots_1_5_3_98.7	SAT	17.31
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#2.asp	UNSAT	17.8
robots_1_5_2_65.6	SAT	18.71
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#4.asp	UNSAT	21.05
robots_1_5_2_93.7	SAT	22.11
ncf_4_16_8_euad.5	UNSAT	22.83
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#5.asp	SAT	23.43
x70.0	UNSAT	25.77
robots_1_5_3_98.9	UNSAT	26.91
ncf_16_64_4_d.9	SAT	29.5
robots_1_5_3_56.10	SAT	29.68
x165.3	UNSAT	33.69
ncf_4_16_8_euad.6	SAT	34.4
robots_1_5_3_94.10	UNSAT	37.24
x70.1	UNSAT	37.59
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#1.asp	UNSAT	38.46
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#7.asp	UNSAT	38.94
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#7.asp	SAT	41.99
robots_1_5_2_46.9	UNSAT	44.66
ci.e#1.a#3.E#40.A#60.c#304.w#4.s#7.asp	SAT	47.13
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#1.asp	SAT	47.62
robots_1_5_3_98.8	UNSAT	49.09
ncf_16_64_4_d.4	UNSAT	54.94
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#6.asp	UNSAT	60.29
robots_1_5_2_65.7	SAT	62.22
ci.e#1.a#3.E#40.A#60.c#304.w#6.s#8.asp	SAT	66.49
ncf_16_64_4_d.1	SAT	67.02
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#4.asp	SAT	71.46
robots_1_5_2_93.8	SAT	74.36
ncf_16_64_4_d.2	UNSAT	94.91
robots_1_5_3_98.10	UNSAT	97.72
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#7.asp	SAT	98.51
x165.6	UNSAT	104.59
x165.9	UNSAT	106.31
ci.e#1.a#3.E#40.A#60.c#288.w#4.s#8.asp	SAT	109.86
x165.11	UNSAT	115.41
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#6.asp	SAT	121.14
x165.19	UNSAT	130.06
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#3.asp	SAT	130.57
ncf_16_64_4_d.6	UNSAT	133.16
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#3.asp	SAT	150.49
ci.e#1.a#3.E#40.A#60.c#288.w#6.s#2.asp	SAT	164.36
ncf_16_64_4_d.3	UNSAT	199.45
ci.e#1.a#3.E#40.A#60.c#296.w#2.s#6.asp	SAT	217.31
robots_1_5_2_93.9	SAT	236.13
ci.e#1.a#3.E#40.A#60.c#352.w#6.s#8.asp	SAT	247.54
x210.17	UNSAT	247.85
x165.17	UNSAT	254.46
robots_1_5_2_65.8	SAT	260.39
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#2.asp	UNSAT	291.85
ncf_16_64_4_d.10	UNSAT	297.97
x210.15	UNSAT	308.61
ncf_16_32_8_u.1	SAT	343.71
ci.e#1.a#3.E#40.A#60.c#312.w#2.s#3.asp	SAT	352.23
x210.1	UNSAT	370.22
x165.10	UNSAT	420.93
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#8.asp	SAT	428.48
x165.0	UNSAT	451.75
x210.9	UNSAT	507.72
ncf_16_64_4_d.8	UNSAT	534.96
Q_3-3_v-100-100_r-13.3	FAIL	599.71
Q_3-3_v-100-100_r-11.0	FAIL	599.71
Q_2-3_v-80-100_r-9.9	FAIL	599.71
Q_2-3_v-80-100_r-9.7	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_2-3_v-80-100_r-9.5	FAIL	599.71
Q_2-3_v-80-100_r-9.3	FAIL	599.71
Q_3-3_v-100-100_r-13.8	FAIL	599.71
Q_2-3_v-80-100_r-9.1	FAIL	599.71
Q_2-3_v-80-100_r-9.0	FAIL	599.71
Q_2-3_v-80-100_r-7.9	FAIL	599.71
Q_2-3_v-80-100_r-7.8	FAIL	599.71
Q_3-3_v-100-100_r-11.1	FAIL	599.71
Q_3-3_v-100-100_r-11.8	FAIL	599.71
Q_3-3_v-100-100_r-11.2	FAIL	599.71
Q_3-3_v-100-100_r-13.2	FAIL	599.71
Q_3-3_v-100-100_r-13.1	FAIL	599.71
Q_3-3_v-100-100_r-13.0	FAIL	599.71
Q_3-3_v-100-100_r-11.9	FAIL	599.71
Q_3-3_v-100-100_r-13.4	FAIL	599.71
Q_3-3_v-100-100_r-11.7	FAIL	599.71
Q_3-3_v-100-100_r-11.6	FAIL	599.71
Q_3-3_v-100-100_r-11.5	FAIL	599.71
Q_3-3_v-100-100_r-13.5	FAIL	599.71
Q_3-3_v-100-100_r-13.6	FAIL	599.71
Q_3-3_v-100-100_r-11.4	FAIL	599.71
Q_3-3_v-100-100_r-13.7	FAIL	599.71
Q_3-3_v-100-100_r-15.0	FAIL	599.71
Q_2-3_v-80-100_r-9.2	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-13.3	FAIL	599.71
Q_2-3_v-80-100_r-13.2	FAIL	599.71
Q_2-3_v-80-100_r-13.1	FAIL	599.71
Q_2-3_v-80-100_r-13.0	FAIL	599.71
Q_2-3_v-80-100_r-11.9	FAIL	599.71
Q_2-3_v-80-100_r-11.8	FAIL	599.71
Q_2-3_v-80-100_r-11.7	FAIL	599.71
Q_2-3_v-80-100_r-11.6	FAIL	599.71
Q_2-3_v-80-100_r-11.5	FAIL	599.71
Q_2-3_v-80-100_r-11.4	FAIL	599.71
Q_2-3_v-80-100_r-11.3	FAIL	599.71
Q_2-3_v-80-100_r-11.2	FAIL	599.71
Q_2-3_v-80-100_r-11.1	FAIL	599.71
Q_2-3_v-80-100_r-11.0	FAIL	599.71
Q_2-2-3_v-100-100-100_r-75.9	FAIL	599.71
Q_2-3_v-80-100_r-13.4	FAIL	599.71
Q_2-3_v-80-100_r-13.5	FAIL	599.71
Q_2-3_v-80-100_r-13.6	FAIL	599.71
Q_2-3_v-80-100_r-7.5	FAIL	599.71
Q_2-3_v-80-100_r-7.4	FAIL	599.71
Q_2-3_v-80-100_r-7.3	FAIL	599.71
Q_2-3_v-80-100_r-7.2	FAIL	599.71
Q_2-3_v-80-100_r-7.1	FAIL	599.71
Q_2-3_v-80-100_r-7.0	FAIL	599.71
Q_2-3_v-80-100_r-5.9	FAIL	599.71
Q_2-3_v-80-100_r-5.7	FAIL	599.71
Q_2-3_v-80-100_r-5.6	FAIL	599.71
Q_2-3_v-80-100_r-5.5	FAIL	599.71
Q_2-3_v-80-100_r-5.3	FAIL	599.71
Q_2-3_v-80-100_r-5.2	FAIL	599.71
Q_2-3_v-80-100_r-5.1	FAIL	599.71
Q_2-3_v-80-100_r-13.9	FAIL	599.71
Q_2-3_v-80-100_r-13.8	FAIL	599.71
Q_2-2-3_v-100-100-100_r-75.8	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-50.8	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.6	FAIL	599.71
Q_3-3-3_v-100-100-100_r-50.5	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.3	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.1	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-40.9	FAIL	599.71
Q_3-3-3_v-100-100-100_r-40.8	FAIL	599.71
Q_3-3-3_v-100-100-100_r-40.7	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-40.5	FAIL	599.71
Q_3-3-3_v-100-100-100_r-40.4	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.7	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.5	FAIL	599.71
Q_3-3-3_v-100-100-100_r-70.4	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.2	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.0	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-60.7	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.5	FAIL	599.71
Q_3-3-3_v-100-100-100_r-60.4	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.3	FAIL	599.71
Q_3-3-3_v-100-100-100_r-40.2	FAIL	599.71
Q_3-3-3_v-100-100-100_r-40.1	FAIL	599.71
Q_3-3_v-100-100_r-17.9	FAIL	599.71
Q_3-3_v-100-100_r-17.8	FAIL	599.71
Q_3-3_v-100-100_r-17.7	FAIL	599.71
Q_3-3_v-100-100_r-17.6	FAIL	599.71
Q_3-3_v-100-100_r-17.5	FAIL	599.71
Q_3-3_v-100-100_r-17.4	FAIL	599.71
Q_3-3_v-100-100_r-17.3	FAIL	599.71
Q_3-3_v-100-100_r-17.2	FAIL	599.71
Q_3-3_v-100-100_r-17.1	FAIL	599.71
Q_3-3_v-100-100_r-17.0	FAIL	599.71
Q_3-3_v-100-100_r-15.9	FAIL	599.71
Q_3-3_v-100-100_r-15.8	FAIL	599.71
Q_3-3-3_v-100-100-100_r-70.9	FAIL	599.71
Q_3-3_v-100-100_r-15.6	FAIL	599.71
Q_3-3_v-100-100_r-15.5	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-3_v-100-100-100_r-40.0	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-30.8	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.6	FAIL	599.71
Q_3-3-3_v-100-100-100_r-30.5	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.2	FAIL	599.71
Q_3-3-3_v-100-100-100_r-30.0	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.6	FAIL	599.71
Q_3-3_v-100-100_r-19.4	FAIL	599.71
Q_3-3_v-100-100_r-19.3	FAIL	599.71
Q_3-3_v-100-100_r-19.2	FAIL	599.71
Q_3-3_v-100-100_r-15.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#360.w#4.s#1.asp	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#360.w#2.s#8.asp	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#352.w#4.s#8.asp	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#344.w#4.s#5.asp	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#336.w#4.s#5.asp	FAIL	599.71
ncf_16_128_8_edau.3	FAIL	599.71
ncf_16_128_8_euad.5	FAIL	599.71
ncf_16_128_8_edau.7	FAIL	599.71
ncf_16_128_8_euad.3	FAIL	599.71
ncf_16_128_8_edau.2	FAIL	599.71
ncf_16_128_2_u.3	FAIL	599.71
ncf_16_128_8_euad.1	FAIL	599.71
ncf_16_128_2_u.6	FAIL	599.71
ncf_16_128_8_euad.4	FAIL	599.71
ncf_16_128_2_u.7	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#368.w#2.s#3.asp	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#400.w#6.s#4.asp	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#400.w#4.s#5.asp	FAIL	599.71
ncf_16_128_8_edau.1	FAIL	599.71
x210.7	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#3.asp	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#7.asp	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#6.asp	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
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#1.asp	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#5.asp	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
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#7.asp	FAIL	599.71
ncf_16_128_8_edau.5	FAIL	599.71
ncf_16_128_8_euad.6	FAIL	599.71
x220.0	FAIL	599.71
x220.10	FAIL	599.71
x220.13	FAIL	599.71
x220.2	FAIL	599.71
x220.6	FAIL	599.71
x220.8	FAIL	599.71
x220.9	FAIL	599.71
x300.15	FAIL	599.71
x300.16	FAIL	599.71
x300.19	FAIL	599.71
x300.1	FAIL	599.71
x300.3	FAIL	599.71
x300.4	FAIL	599.71
x300.5	FAIL	599.71
x300.6	FAIL	599.71
x210.6	FAIL	599.71
x210.3	FAIL	599.71
ncf_16_128_8_euad.8	FAIL	599.71
ncf_16_128_8_edau.9	FAIL	599.71
ncf_16_128_2_u.9	FAIL	599.71
ncf_16_128_2_u.5	FAIL	599.71
ncf_16_32_8_u.9	FAIL	599.71
ncf_16_128_2_u.10	FAIL	599.71
ncf_16_128_8_edau.10	FAIL	599.71
ncf_16_128_8_edau.8	FAIL	599.71
ncf_16_128_8_euad.9	FAIL	599.71
robots_1_5_2_65.10	FAIL	599.71
robots_1_5_2_65.9	FAIL	599.71
robots_1_5_2_93.10	FAIL	599.71
x210.11	FAIL	599.71
x210.12	FAIL	599.71
x210.16	FAIL	599.71
x300.8	FAIL	599.71
Q_2-2-3_v-100-100-100_r-65.2	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-45.9	FAIL	599.71
Q_2-2-3_v-100-100-100_r-45.7	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-45.5	FAIL	599.71
Q_2-2-3_v-100-100-100_r-45.4	FAIL	599.71
Q_2-2-3_v-100-100-100_r-65.9	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-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.8	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-55.0	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-55.2	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.4	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-55.8	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-55.7	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-65.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.6	FAIL	599.71
Q_2-2-3_v-100-100-100_r-55.3	FAIL	599.71
Q_2-2-3_v-100-100-100_r-65.7	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-35.8	FAIL	599.71
Q_2-2-3_v-100-100-100_r-35.0	FAIL	599.71
ncf_16_128_8_euad.7	FAIL	599.71
ncf_16_128_2_u.1	FAIL	599.71
ncf_16_128_2_u.2	FAIL	599.71
ncf_16_128_8_euad.10	FAIL	599.71
ncf_16_128_8_edau.4	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#424.w#4.s#2.asp	FAIL	599.71
ncf_16_128_2_u.8	FAIL	599.71
ncf_16_128_8_euad.2	FAIL	599.71
Q_2-2-3_v-100-100-100_r-75.6	FAIL	599.71
Q_2-2-3_v-100-100-100_r-45.3	FAIL	599.71
ncf_16_128_8_edau.6	FAIL	599.71
Q_2-2-3_v-100-100-100_r-35.1	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.asp	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#2.asp	FAIL	599.71
Q_2-2-3_v-100-100-100_r-35.7	FAIL	599.71
Q_2-2-3_v-100-100-100_r-35.6	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-75.2	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-35.4	FAIL	599.71
Q_2-2-3_v-100-100-100_r-75.4	FAIL	599.71
ci.e#1.a#3.E#40.A#60.c#408.w#4.s#3.asp	FAIL	599.71
Q_2-2-3_v-100-100-100_r-35.3	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-35.2	FAIL	599.71
Q_3-3-3_v-100-100-100_r-60.1	FAIL	599.72
Q_3-3_v-100-100_r-11.3	FAIL	599.72
Q_2-2-3_v-100-100-100_r-75.1	FAIL	599.72
x220.16	FAIL	599.81
Q_3-3_v-100-100_r-15.7	FAIL	599.81
x300.12	FAIL	599.81
Q_3-3-3_v-100-100-100_r-60.9	FAIL	599.81
x220.19	FAIL	599.81
x220.12	FAIL	599.81
Q_2-2-3_v-100-100-100_r-65.0	FAIL	599.81
Q_2-2-3_v-100-100-100_r-75.7	FAIL	599.81
Q_3-3_v-100-100_r-19.5	FAIL	599.81
Q_2-3_v-80-100_r-9.4	FAIL	599.81
ncf_16_128_2_u.4	FAIL	599.81
Q_2-3_v-80-100_r-9.6	FAIL	599.81
Q_2-3_v-80-100_r-9.8	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#392.w#6.s#4.asp	FAIL	599.81
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.asp	FAIL	599.81
Q_3-3-3_v-100-100-100_r-30.1	FAIL	599.81
Q_3-3-3_v-100-100-100_r-30.3	FAIL	599.81
Q_2-3_v-80-100_r-13.7	FAIL	599.81
x165.8	FAIL	599.81
x165.13	FAIL	599.81
Q_2-3_v-80-100_r-5.0	FAIL	599.81
Q_2-2-3_v-100-100-100_r-55.4	FAIL	599.81
Q_2-3_v-80-100_r-5.4	FAIL	599.81
Q_2-3_v-80-100_r-5.8	FAIL	599.81
Q_3-3_v-100-100_r-19.7	FAIL	599.81
Q_3-3_v-100-100_r-13.9	FAIL	599.81

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by qesto
QBFEVAL'16 - Random QBFs Track.

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by qesto QBFEVAL'16 - Random QBFs Track.

Instances solved by qesto
QBFEVAL'16 - Random QBFs Track.