QBF Solver Evaluation Portal
Home
QBFLIB
QBFGALLERY'23
QBFEVALs
2022
2020
2019
2018
2017
2016
2010
2008
2007
2006
2005
2004
QBF GALLERIES
QBF Gallery 2014
QBF Gallery 2013
DOWNLOADS
Download the QBFEVAL'22 dataset
Download the QBFEVAL'20 dataset
Download the QBFEVAL'19 dataset and raw results
Download the QBFEVAL'18 dataset and raw results
Download the QBFEVAL'17 dataset and raw results
Download the QBFEVAL'16 dataset
Download the QBFEVAL'10 dataset
Download the QBFEVAL'08 dataset
Download the non-prenex non-cnf track dataset
Download the QBFEVAL'07 dataset
Download the QBFEVAL'06 dataset
Download the QDIMACS to QPRO converter
Download the QDIMACS to QBF1.0 converter
qbflib.org
Instances solved by
aqua-s3o
QBFEVAL'16 - Random QBFs Track.
Instance
Result
Time
ncf_4_16_2_d.2
SAT
0
ncf_8_16_4_u.1
SAT
0
ncf_4_16_2_d.9
SAT
0
ncf_4_16_2_d.4
SAT
0
ncf_4_16_2_d.6
SAT
0
ncf_8_16_4_u.5
UNSAT
0.01
ncf_8_16_4_u.8
UNSAT
0.01
ncf_8_16_4_u.6
UNSAT
0.01
ncf_8_16_4_u.2
UNSAT
0.01
ncf_4_16_2_d.10
UNSAT
0.01
ncf_4_16_2_d.1
UNSAT
0.01
ncf_4_16_2_d.7
SAT
0.01
ncf_4_16_2_d.8
SAT
0.01
ncf_4_16_2_d.5
UNSAT
0.01
ncf_8_16_4_u.10
SAT
0.01
ncf_4_16_8_euad.7
SAT
0.02
ncf_8_16_4_u.9
UNSAT
0.02
ncf_4_16_2_d.3
UNSAT
0.02
ncf_8_16_4_u.4
SAT
0.02
Q_2-3_v-80-100_r-13.7
UNSAT
0.05
Q_2-3_v-80-100_r-13.2
UNSAT
0.05
ncf_8_16_4_u.3
SAT
0.06
ncf_16_32_8_u.4
SAT
0.06
Q_2-3_v-80-100_r-13.4
UNSAT
0.06
Q_2-3_v-80-100_r-13.6
UNSAT
0.06
ncf_4_16_8_euad.8
UNSAT
0.07
ncf_16_32_8_u.8
UNSAT
0.07
Q_2-3_v-80-100_r-13.3
UNSAT
0.07
ncf_16_32_8_u.3
SAT
0.07
Q_2-3_v-80-100_r-13.1
UNSAT
0.09
x25.15
UNSAT
0.1
x25.4
UNSAT
0.1
x25.19
UNSAT
0.11
x25.5
UNSAT
0.11
x25.7
UNSAT
0.11
x25.10
UNSAT
0.11
Q_2-3_v-80-100_r-13.5
UNSAT
0.12
x25.13
UNSAT
0.12
ncf_4_16_8_euad.5
UNSAT
0.12
x25.8
UNSAT
0.12
x25.16
SAT
0.12
x25.2
SAT
0.13
ncf_4_16_8_euad.3
SAT
0.14
ncf_16_32_8_u.2
UNSAT
0.15
ncf_16_32_8_u.7
SAT
0.16
Q_2-3_v-80-100_r-13.0
UNSAT
0.16
ncf_4_16_8_euad.2
SAT
0.17
ncf_16_32_8_u.10
SAT
0.18
ncf_16_32_8_u.5
UNSAT
0.18
x35.10
UNSAT
0.19
x35.5
UNSAT
0.22
robots_1_5_4_74.1
SAT
0.22
robots_1_5_5_91.1
SAT
0.22
robots_1_5_5_58.1
SAT
0.22
ncf_16_64_4_d.1
SAT
0.22
x35.3
UNSAT
0.22
robots_1_5_5_45.1
SAT
0.22
x35.19
UNSAT
0.22
robots_1_5_3_94.1
SAT
0.23
robots_1_5_3_98.1
SAT
0.23
robots_1_5_2_93.1
SAT
0.23
robots_1_5_2_65.1
SAT
0.23
robots_1_5_4_46.1
SAT
0.23
robots_1_5_2_46.1
SAT
0.23
x35.13
UNSAT
0.23
robots_1_5_3_56.1
SAT
0.23
robots_1_5_4_54.1
SAT
0.23
x35.11
UNSAT
0.23
x35.2
SAT
0.24
x35.9
SAT
0.26
x40.17
UNSAT
0.26
x35.15
UNSAT
0.26
x40.4
UNSAT
0.26
x40.10
UNSAT
0.27
x40.1
UNSAT
0.27
ncf_16_64_4_d.6
UNSAT
0.29
x40.19
UNSAT
0.29
Q_2-3_v-80-100_r-13.8
UNSAT
0.3
x40.5
UNSAT
0.31
x35.1
SAT
0.31
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#2.asp
UNSAT
0.35
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#1.asp
UNSAT
0.36
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#6.asp
UNSAT
0.36
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#1.asp
UNSAT
0.36
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#3.asp
UNSAT
0.36
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#7.asp
UNSAT
0.36
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#5.asp
UNSAT
0.37
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#8.asp
UNSAT
0.37
ncf_4_16_8_euad.9
SAT
0.38
x40.6
UNSAT
0.39
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#7.asp
UNSAT
0.39
x40.11
SAT
0.41
x40.12
SAT
0.41
x40.18
SAT
0.41
ci.e#1.a#3.E#40.A#60.c#200.w#6.s#6.asp
SAT
0.44
ncf_16_64_4_d.5
UNSAT
0.46
ci.e#1.a#3.E#40.A#60.c#208.w#6.s#8.asp
SAT
0.48
ncf_4_16_8_euad.4
SAT
0.48
ci.e#1.a#3.E#40.A#60.c#264.w#4.s#2.asp
SAT
0.48
ncf_8_16_4_u.7
SAT
0.49
ncf_16_32_8_u.6
SAT
0.54
Q_2-3_v-80-100_r-11.3
UNSAT
0.54
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#2.asp
UNSAT
0.56
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#4.asp
UNSAT
0.61
ci.e#1.a#3.E#40.A#60.c#288.w#4.s#8.asp
SAT
0.69
x70.8
UNSAT
0.7
x70.0
UNSAT
0.74
x70.5
UNSAT
0.74
x70.7
UNSAT
0.74
x70.12
UNSAT
0.75
x70.16
UNSAT
0.85
ncf_4_16_8_euad.10
SAT
0.87
ci.e#1.a#3.E#40.A#60.c#296.w#2.s#6.asp
SAT
0.89
x70.10
UNSAT
0.93
ncf_16_64_4_d.2
UNSAT
0.93
x70.6
UNSAT
0.95
ncf_4_16_8_euad.1
SAT
0.95
ci.e#1.a#3.E#40.A#60.c#288.w#6.s#2.asp
SAT
0.98
x70.1
UNSAT
0.99
T-adeu-49
UNSAT
1.09
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#7.asp
SAT
1.1
T-adeu-15
UNSAT
1.1
T-edau-23
UNSAT
1.14
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#7.asp
SAT
1.15
T-adeu-25
UNSAT
1.23
S-adeu-15
UNSAT
1.23
S-adeu-49
UNSAT
1.23
S-edau-23
UNSAT
1.25
T-adeu-39
UNSAT
1.29
S-adeu-19
UNSAT
1.35
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#4.asp
SAT
1.37
T-adeu-38
UNSAT
1.37
S-edau-34
UNSAT
1.4
T-adeu-7
UNSAT
1.44
Q_2-3_v-80-100_r-13.9
UNSAT
1.44
T-edau-18
UNSAT
1.44
S-adeu-32
UNSAT
1.45
T-edau-44
UNSAT
1.45
ncf_16_32_8_u.1
SAT
1.48
T-edau-8
UNSAT
1.49
T-edau-9
UNSAT
1.49
S-adeu-47
UNSAT
1.5
S-adeu-30
UNSAT
1.53
T-edau-26
UNSAT
1.53
T-adeu-9
UNSAT
1.54
S-edau-30
UNSAT
1.55
T-adeu-10
UNSAT
1.57
S-edau-17
UNSAT
1.57
T-edau-2
UNSAT
1.59
S-edau-7
UNSAT
1.6
T-edau-20
UNSAT
1.62
T-adeu-42
UNSAT
1.63
S-edau-8
UNSAT
1.63
S-adeu-41
UNSAT
1.63
S-adeu-6
UNSAT
1.63
S-edau-29
UNSAT
1.65
S-adeu-29
UNSAT
1.66
ncf_16_64_4_d.7
UNSAT
1.73
S-edau-43
UNSAT
1.75
T-edau-6
UNSAT
1.76
ncf_16_128_2_u.1
UNSAT
1.8
T-edau-24
UNSAT
1.8
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.asp
UNSAT
1.82
S-edau-20
UNSAT
1.82
S-adeu-28
UNSAT
1.87
S-edau-1
UNSAT
1.88
T-adeu-6
UNSAT
1.94
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#8.asp
SAT
2.35
x70.3
UNSAT
2.45
ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.asp
UNSAT
2.63
ci.e#1.a#3.E#40.A#60.c#304.w#4.s#7.asp
SAT
2.77
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#1.asp
SAT
2.79
robots_1_5_5_58.2
SAT
3.08
robots_1_5_5_91.2
SAT
3.37
robots_1_5_4_74.2
SAT
3.4
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#6.asp
SAT
3.91
ncf_16_64_4_d.4
UNSAT
4.58
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#3.asp
SAT
5.19
robots_1_5_4_74.3
SAT
5.92
robots_1_5_5_58.3
SAT
6.14
x165.8
UNSAT
6.54
ci.e#1.a#3.E#40.A#60.c#304.w#6.s#8.asp
SAT
6.72
ci.e#1.a#3.E#40.A#60.c#312.w#2.s#3.asp
SAT
8.11
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#1.asp
UNSAT
8.74
robots_1_5_5_91.3
SAT
8.94
x165.13
UNSAT
10.57
robots_1_5_4_54.2
SAT
12.82
robots_1_5_3_98.2
SAT
14.59
robots_1_5_5_58.4
SAT
15.63
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#7.asp
SAT
16.29
robots_1_5_4_74.4
SAT
17.04
x165.3
UNSAT
19.14
ncf_16_64_4_d.3
UNSAT
20.24
Q_2-3_v-80-100_r-11.7
UNSAT
21.21
robots_1_5_4_54.3
SAT
21.47
robots_1_5_4_46.2
SAT
24.67
robots_1_5_3_98.3
SAT
26.39
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#3.asp
SAT
26.65
robots_1_5_3_56.3
SAT
27.36
robots_1_5_5_58.5
UNSAT
28.79
Q_2-3_v-80-100_r-11.8
UNSAT
29.41
robots_1_5_3_98.4
SAT
32.37
robots_1_5_3_56.4
SAT
35.13
robots_1_5_4_46.3
SAT
37.09
robots_1_5_3_56.2
SAT
37.55
robots_1_5_5_58.6
UNSAT
37.75
robots_1_5_3_98.5
SAT
39.96
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#5.asp
SAT
40.4
robots_1_5_3_56.5
SAT
42.77
robots_1_5_4_74.5
SAT
45.82
x165.6
UNSAT
48.47
robots_1_5_5_45.2
SAT
50.43
robots_1_5_3_56.6
SAT
52.69
robots_1_5_5_58.7
UNSAT
52.79
robots_1_5_3_94.3
SAT
56.14
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#2.asp
UNSAT
56.8
robots_1_5_5_58.8
UNSAT
58.73
robots_1_5_3_98.6
SAT
58.95
robots_1_5_4_46.4
SAT
62.28
robots_1_5_4_54.4
SAT
63.16
robots_1_5_2_93.3
SAT
63.66
robots_1_5_3_94.4
SAT
63.91
robots_1_5_3_98.8
UNSAT
64.51
ci.e#1.a#3.E#40.A#60.c#320.w#4.s#8.asp
SAT
66.47
robots_1_5_5_45.3
SAT
69.05
robots_1_5_2_93.2
SAT
70.44
robots_1_5_3_94.5
SAT
71.59
robots_1_5_3_56.7
SAT
72.54
robots_1_5_2_93.4
SAT
73.29
robots_1_5_2_46.3
SAT
74.8
robots_1_5_2_65.3
SAT
80.57
robots_1_5_2_46.4
SAT
80.74
robots_1_5_2_93.5
SAT
82.15
robots_1_5_5_58.9
UNSAT
84.25
robots_1_5_5_91.4
SAT
84.89
robots_1_5_3_94.7
UNSAT
87.17
robots_1_5_3_94.6
SAT
87.3
robots_1_5_2_65.4
SAT
88.31
robots_1_5_2_65.2
SAT
88.58
robots_1_5_5_45.4
SAT
88.9
ncf_16_64_4_d.9
SAT
89.2
robots_1_5_2_46.5
SAT
90.22
robots_1_5_5_58.10
UNSAT
93.84
robots_1_5_2_46.2
SAT
94.72
robots_1_5_2_93.6
SAT
95.81
robots_1_5_5_45.7
UNSAT
97.42
robots_1_5_5_45.8
UNSAT
97.53
robots_1_5_5_91.5
UNSAT
97.86
robots_1_5_5_45.9
UNSAT
98.12
robots_1_5_5_45.6
UNSAT
100.03
robots_1_5_3_94.2
SAT
100.05
robots_1_5_5_91.6
UNSAT
100.34
robots_1_5_2_65.5
SAT
100.36
robots_1_5_5_91.7
UNSAT
100.37
robots_1_5_5_91.8
UNSAT
100.4
robots_1_5_5_91.9
UNSAT
100.41
robots_1_5_5_91.10
UNSAT
100.43
robots_1_5_4_54.5
UNSAT
100.44
robots_1_5_4_54.6
UNSAT
100.47
robots_1_5_4_54.7
UNSAT
100.51
robots_1_5_4_54.8
UNSAT
100.53
robots_1_5_4_54.9
UNSAT
100.57
robots_1_5_4_54.10
UNSAT
100.58
robots_1_5_4_74.7
UNSAT
101.51
robots_1_5_4_74.9
UNSAT
101.61
robots_1_5_4_74.8
UNSAT
101.64
robots_1_5_4_74.10
UNSAT
101.69
robots_1_5_2_46.8
UNSAT
102.1
robots_1_5_5_45.10
UNSAT
102.35
robots_1_5_4_46.5
SAT
102.78
robots_1_5_2_46.6
SAT
102.84
robots_1_5_2_46.10
UNSAT
103.26
robots_1_5_5_45.5
SAT
104.07
robots_1_5_4_46.8
UNSAT
106.01
robots_1_5_4_46.9
UNSAT
107.33
robots_1_5_4_46.10
UNSAT
107.39
robots_1_5_4_74.6
UNSAT
108.04
x220.9
UNSAT
108.34
robots_1_5_3_94.8
UNSAT
109.19
robots_1_5_3_98.10
UNSAT
110.98
robots_1_5_3_98.9
UNSAT
111.46
robots_1_5_4_46.6
SAT
113.21
x165.0
UNSAT
113.79
ncf_16_32_8_u.9
UNSAT
116.74
robots_1_5_3_94.9
UNSAT
116.74
robots_1_5_2_65.6
SAT
118.53
robots_1_5_3_56.8
SAT
125.76
robots_1_5_2_46.7
UNSAT
127.53
ncf_4_16_8_euad.6
SAT
132.13
robots_1_5_3_98.7
SAT
132.24
robots_1_5_3_94.10
UNSAT
134.65
robots_1_5_2_93.7
SAT
137.32
robots_1_5_4_46.7
UNSAT
139.2
robots_1_5_2_46.9
UNSAT
146.94
x220.19
UNSAT
167.87
ci.e#1.a#3.E#40.A#60.c#360.w#2.s#8.asp
SAT
189.29
x165.19
UNSAT
205.6
robots_1_5_2_65.7
SAT
240.95
robots_1_5_3_56.9
SAT
366.63
robots_1_5_2_93.8
SAT
403.24
x165.11
FAIL
599.71
robots_1_5_3_56.10
FAIL
599.71
ci.e#1.a#3.E#40.A#60.c#336.w#4.s#5.asp
FAIL
599.71
x300.12
FAIL
599.72
Q_2-2-3_v-100-100-100_r-65.1
FAIL
599.72
Q_2-2-3_v-100-100-100_r-75.7
FAIL
599.72
robots_1_5_2_93.9
FAIL
599.72
Q_2-2-3_v-100-100-100_r-75.9
FAIL
599.72
Q_2-2-3_v-100-100-100_r-75.4
FAIL
599.72
Q_2-3_v-80-100_r-5.7
FAIL
599.72
Q_2-2-3_v-100-100-100_r-75.8
FAIL
599.72
x300.16
FAIL
599.72
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#8.asp
FAIL
599.72
Q_2-2-3_v-100-100-100_r-75.2
FAIL
599.72
Q_3-3-3_v-100-100-100_r-60.2
FAIL
599.73
Q_2-2-3_v-100-100-100_r-65.2
FAIL
599.73
Q_3-3_v-100-100_r-15.9
FAIL
599.74
Q_2-2-3_v-100-100-100_r-55.5
FAIL
599.74
Q_2-2-3_v-100-100-100_r-65.8
FAIL
599.74
Q_2-2-3_v-100-100-100_r-45.1
FAIL
599.74
Q_2-2-3_v-100-100-100_r-45.5
FAIL
599.75
ncf_16_128_8_euad.7
FAIL
599.75
Q_3-3_v-100-100_r-15.6
FAIL
599.81
ci.e#1.a#3.E#40.A#60.c#344.w#4.s#5.asp
FAIL
599.81
ci.e#1.a#3.E#40.A#60.c#352.w#6.s#8.asp
FAIL
599.81
x210.7
FAIL
599.81
ncf_16_64_4_d.8
FAIL
599.81
Q_2-3_v-80-100_r-5.2
FAIL
599.81
Q_2-3_v-80-100_r-7.7
FAIL
599.81
Q_2-3_v-80-100_r-7.3
FAIL
599.81
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#4.asp
FAIL
599.81
Q_2-3_v-80-100_r-5.5
FAIL
599.81
Q_2-3_v-80-100_r-5.3
FAIL
599.81
ncf_16_128_8_euad.10
FAIL
599.81
ci.e#1.a#3.E#40.A#60.c#400.w#4.s#5.asp
FAIL
599.81
ci.e#1.a#3.E#40.A#60.c#360.w#4.s#1.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#8.asp
FAIL
599.81
robots_1_5_2_65.8
FAIL
599.81
x210.11
FAIL
599.81
x210.9
FAIL
599.81
x165.9
FAIL
599.81
x210.1
FAIL
599.81
ncf_16_64_4_d.10
FAIL
599.81
robots_1_5_2_93.10
FAIL
599.81
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#3.asp
FAIL
599.81
x300.15
FAIL
599.81
Q_2-3_v-80-100_r-7.1
FAIL
599.82
ci.e#1.a#3.E#40.A#60.c#408.w#4.s#3.asp
FAIL
599.82
Q_3-3-3_v-100-100-100_r-40.5
FAIL
599.82
Q_2-3_v-80-100_r-5.0
FAIL
599.82
Q_3-3-3_v-100-100-100_r-40.9
FAIL
599.82
ncf_16_128_2_u.2
FAIL
599.82
Q_2-3_v-80-100_r-7.4
FAIL
599.82
Q_3-3-3_v-100-100-100_r-40.2
FAIL
599.82
Q_2-3_v-80-100_r-5.4
FAIL
599.82
Q_3-3-3_v-100-100-100_r-40.0
FAIL
599.82
Q_2-3_v-80-100_r-5.6
FAIL
599.82
Q_3-3_v-100-100_r-19.9
FAIL
599.82
Q_2-3_v-80-100_r-7.2
FAIL
599.82
Q_2-3_v-80-100_r-5.8
FAIL
599.82
Q_2-3_v-80-100_r-5.9
FAIL
599.82
Q_2-3_v-80-100_r-7.0
FAIL
599.82
Q_3-3-3_v-100-100-100_r-70.9
FAIL
599.82
Q_3-3-3_v-100-100-100_r-50.0
FAIL
599.82
Q_3-3-3_v-100-100-100_r-60.6
FAIL
599.82
Q_3-3-3_v-100-100-100_r-60.8
FAIL
599.82
Q_3-3-3_v-100-100-100_r-60.9
FAIL
599.82
Q_2-2-3_v-100-100-100_r-75.6
FAIL
599.82
Q_3-3-3_v-100-100-100_r-70.1
FAIL
599.82
Q_2-2-3_v-100-100-100_r-75.5
FAIL
599.82
Q_2-3_v-80-100_r-9.2
FAIL
599.82
Q_3-3-3_v-100-100-100_r-70.2
FAIL
599.82
Q_2-3_v-80-100_r-11.0
FAIL
599.82
Q_3-3-3_v-100-100-100_r-50.8
FAIL
599.82
Q_2-3_v-80-100_r-11.9
FAIL
599.82
Q_3-3-3_v-100-100-100_r-50.1
FAIL
599.82
Q_2-3_v-80-100_r-11.6
FAIL
599.82
Q_2-3_v-80-100_r-11.5
FAIL
599.82
Q_2-3_v-80-100_r-11.4
FAIL
599.82
Q_3-3-3_v-100-100-100_r-50.2
FAIL
599.82
Q_2-3_v-80-100_r-11.1
FAIL
599.82
Q_3-3-3_v-100-100-100_r-50.4
FAIL
599.82
Q_2-2-3_v-100-100-100_r-75.3
FAIL
599.82
Q_2-3_v-80-100_r-7.5
FAIL
599.82
Q_3-3_v-100-100_r-11.7
FAIL
599.82
Q_3-3_v-100-100_r-17.9
FAIL
599.82
Q_3-3_v-100-100_r-11.8
FAIL
599.82
Q_3-3_v-100-100_r-11.9
FAIL
599.82
Q_3-3_v-100-100_r-13.0
FAIL
599.82
Q_3-3_v-100-100_r-13.2
FAIL
599.82
Q_3-3_v-100-100_r-17.1
FAIL
599.82
Q_3-3_v-100-100_r-13.3
FAIL
599.82
Q_3-3_v-100-100_r-13.4
FAIL
599.82
Q_3-3-3_v-100-100-100_r-30.3
FAIL
599.82
Q_3-3_v-100-100_r-13.5
FAIL
599.82
Q_3-3_v-100-100_r-13.6
FAIL
599.82
Q_3-3_v-100-100_r-13.7
FAIL
599.82
Q_3-3_v-100-100_r-13.8
FAIL
599.82
Q_3-3_v-100-100_r-17.8
FAIL
599.82
Q_3-3_v-100-100_r-15.1
FAIL
599.82
Q_3-3_v-100-100_r-17.0
FAIL
599.82
Q_3-3_v-100-100_r-11.6
FAIL
599.82
Q_3-3_v-100-100_r-19.0
FAIL
599.82
Q_3-3_v-100-100_r-11.5
FAIL
599.82
Q_2-3_v-80-100_r-7.6
FAIL
599.82
Q_3-3_v-100-100_r-19.8
FAIL
599.82
Q_2-3_v-80-100_r-7.8
FAIL
599.82
Q_2-3_v-80-100_r-9.0
FAIL
599.82
Q_3-3_v-100-100_r-19.5
FAIL
599.82
Q_2-3_v-80-100_r-9.3
FAIL
599.82
Q_2-3_v-80-100_r-9.4
FAIL
599.82
Q_2-3_v-80-100_r-9.5
FAIL
599.82
Q_2-3_v-80-100_r-9.7
FAIL
599.82
Q_2-3_v-80-100_r-9.8
FAIL
599.82
Q_2-3_v-80-100_r-9.9
FAIL
599.82
Q_3-3_v-100-100_r-11.0
FAIL
599.82
Q_3-3_v-100-100_r-11.1
FAIL
599.82
Q_3-3_v-100-100_r-11.2
FAIL
599.82
Q_3-3_v-100-100_r-19.2
FAIL
599.82
Q_3-3_v-100-100_r-11.3
FAIL
599.82
Q_3-3_v-100-100_r-11.4
FAIL
599.82
Q_3-3_v-100-100_r-15.7
FAIL
599.82
robots_1_5_2_65.10
FAIL
599.82
ci.e#1.a#3.E#40.A#60.c#424.w#4.s#2.asp
FAIL
599.82
ncf_16_128_2_u.7
FAIL
599.82
ncf_16_128_8_edau.5
FAIL
599.82
x220.12
FAIL
599.82
x165.17
FAIL
599.82
ncf_16_128_8_edau.9
FAIL
599.82
ci.e#1.a#3.E#40.A#60.c#400.w#6.s#4.asp
FAIL
599.82
x220.10
FAIL
599.82
ncf_16_128_2_u.6
FAIL
599.82
ncf_16_128_8_euad.1
FAIL
599.82
Q_2-2-3_v-100-100-100_r-35.3
FAIL
599.82
Q_2-2-3_v-100-100-100_r-35.2
FAIL
599.82
Q_2-2-3_v-100-100-100_r-35.1
FAIL
599.82
x220.8
FAIL
599.82
x220.6
FAIL
599.82
x220.2
FAIL
599.82
x220.16
FAIL
599.82
x220.13
FAIL
599.82
ci.e#1.a#3.E#40.A#60.c#392.w#6.s#4.asp
FAIL
599.82
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#3.asp
FAIL
599.82
x210.6
FAIL
599.82
robots_1_5_2_65.9
FAIL
599.82
x210.3
FAIL
599.82
x210.17
FAIL
599.82
x210.16
FAIL
599.82
x210.15
FAIL
599.82
x210.12
FAIL
599.82
x165.10
FAIL
599.82
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#2.asp
FAIL
599.82
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#3.asp
FAIL
599.82
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#7.asp
FAIL
599.82
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#6.asp
FAIL
599.82
x220.0
FAIL
599.82
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#6.asp
FAIL
599.82
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#1.asp
FAIL
599.82
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#5.asp
FAIL
599.82
ci.e#1.a#3.E#40.A#60.c#368.w#6.s#7.asp
FAIL
599.82
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#7.asp
FAIL
599.82
Q_2-2-3_v-100-100-100_r-35.4
FAIL
599.82
Q_2-2-3_v-100-100-100_r-35.5
FAIL
599.82
Q_2-2-3_v-100-100-100_r-45.2
FAIL
599.82
Q_2-2-3_v-100-100-100_r-55.3
FAIL
599.82
x300.6
FAIL
599.82
Q_2-2-3_v-100-100-100_r-65.5
FAIL
599.82
x300.5
FAIL
599.82
x300.4
FAIL
599.82
x300.3
FAIL
599.82
x300.1
FAIL
599.82
Q_2-2-3_v-100-100-100_r-55.4
FAIL
599.82
x300.19
FAIL
599.82
Q_2-2-3_v-100-100-100_r-55.6
FAIL
599.82
Q_2-2-3_v-100-100-100_r-55.7
FAIL
599.82
Q_2-2-3_v-100-100-100_r-55.8
FAIL
599.82
Q_2-2-3_v-100-100-100_r-55.9
FAIL
599.82
Q_2-2-3_v-100-100-100_r-65.0
FAIL
599.82
Q_2-2-3_v-100-100-100_r-65.6
FAIL
599.82
Q_2-2-3_v-100-100-100_r-55.2
FAIL
599.82
Q_2-2-3_v-100-100-100_r-55.1
FAIL
599.82
Q_2-2-3_v-100-100-100_r-35.7
FAIL
599.82
x300.8
FAIL
599.82
Q_2-2-3_v-100-100-100_r-45.0
FAIL
599.82
Q_2-2-3_v-100-100-100_r-75.0
FAIL
599.82
ci.e#1.a#3.E#40.A#60.c#352.w#4.s#8.asp
FAIL
599.82
Q_2-2-3_v-100-100-100_r-65.9
FAIL
599.82
Q_2-2-3_v-100-100-100_r-45.4
FAIL
599.82
Q_2-2-3_v-100-100-100_r-45.6
FAIL
599.82
Q_2-2-3_v-100-100-100_r-45.7
FAIL
599.82
Q_2-2-3_v-100-100-100_r-55.0
FAIL
599.82
Q_2-2-3_v-100-100-100_r-65.3
FAIL
599.82
Q_2-2-3_v-100-100-100_r-45.9
FAIL
599.82
Q_2-2-3_v-100-100-100_r-65.7
FAIL
599.82
Q_2-2-3_v-100-100-100_r-45.8
FAIL
599.82
Q_3-3-3_v-100-100-100_r-30.2
FAIL
599.83
Q_3-3_v-100-100_r-19.7
FAIL
599.83
Q_3-3-3_v-100-100-100_r-70.6
FAIL
599.83
Q_3-3-3_v-100-100-100_r-30.0
FAIL
599.83
Q_3-3-3_v-100-100-100_r-30.4
FAIL
599.83
Q_3-3-3_v-100-100-100_r-30.6
FAIL
599.83
Q_3-3-3_v-100-100-100_r-70.5
FAIL
599.83
Q_3-3-3_v-100-100-100_r-50.7
FAIL
599.83
Q_3-3-3_v-100-100-100_r-50.3
FAIL
599.83
Q_3-3-3_v-100-100-100_r-50.9
FAIL
599.83
Q_3-3-3_v-100-100-100_r-40.8
FAIL
599.83
Q_3-3-3_v-100-100-100_r-40.7
FAIL
599.83
Q_3-3-3_v-100-100-100_r-40.3
FAIL
599.83
Q_3-3-3_v-100-100-100_r-60.5
FAIL
599.83
Q_3-3-3_v-100-100-100_r-50.5
FAIL
599.83
Q_3-3-3_v-100-100-100_r-70.3
FAIL
599.83
Q_3-3-3_v-100-100-100_r-50.6
FAIL
599.83
ncf_16_128_8_euad.4
FAIL
599.83
ncf_16_128_2_u.9
FAIL
599.83
Q_2-2-3_v-100-100-100_r-75.1
FAIL
599.83
ncf_16_128_8_edau.4
FAIL
599.83
ncf_16_128_2_u.4
FAIL
599.83
ncf_16_128_8_euad.9
FAIL
599.83
Q_3-3-3_v-100-100-100_r-30.8
FAIL
599.84
Q_2-2-3_v-100-100-100_r-35.9
FAIL
599.84
ncf_16_128_8_edau.3
FAIL
599.84
Q_3-3-3_v-100-100-100_r-60.4
FAIL
599.84
Q_3-3-3_v-100-100-100_r-70.0
FAIL
599.84
Q_2-2-3_v-100-100-100_r-35.0
FAIL
599.85
ncf_16_128_8_euad.8
FAIL
599.87
ncf_16_128_8_euad.6
FAIL
599.87
ncf_16_128_8_euad.3
FAIL
599.87
ncf_16_128_8_edau.7
FAIL
599.87
ncf_16_128_8_edau.6
FAIL
599.88
Q_3-3_v-100-100_r-15.0
FAIL
599.91
Q_3-3-3_v-100-100-100_r-40.6
FAIL
599.91
Q_3-3_v-100-100_r-19.4
FAIL
599.91
Q_2-2-3_v-100-100-100_r-35.6
FAIL
599.92
ncf_16_128_2_u.3
FAIL
599.92
Q_2-3_v-80-100_r-7.9
FAIL
599.92
Q_2-2-3_v-100-100-100_r-65.4
FAIL
599.92
Q_2-3_v-80-100_r-9.1
FAIL
599.92
Q_3-3-3_v-100-100-100_r-30.7
FAIL
599.92
Q_2-2-3_v-100-100-100_r-35.8
FAIL
599.92
Q_2-3_v-80-100_r-11.2
FAIL
599.92
Q_2-2-3_v-100-100-100_r-45.3
FAIL
599.92
Q_3-3-3_v-100-100-100_r-60.0
FAIL
599.92
Q_3-3-3_v-100-100-100_r-60.1
FAIL
599.92
ncf_16_128_2_u.8
FAIL
599.92
Q_3-3-3_v-100-100-100_r-60.7
FAIL
599.92
ncf_16_128_8_euad.5
FAIL
599.92
Q_3-3-3_v-100-100-100_r-70.7
FAIL
599.92
Q_2-3_v-80-100_r-9.6
FAIL
599.92
Q_3-3_v-100-100_r-19.1
FAIL
599.92
Q_3-3_v-100-100_r-15.4
FAIL
599.92
Q_3-3_v-100-100_r-15.5
FAIL
599.92
Q_3-3_v-100-100_r-17.4
FAIL
599.92
Q_3-3_v-100-100_r-17.5
FAIL
599.92
Q_3-3_v-100-100_r-19.6
FAIL
599.92
Q_3-3_v-100-100_r-15.8
FAIL
599.92
Q_3-3_v-100-100_r-19.3
FAIL
599.92
Q_3-3_v-100-100_r-17.6
FAIL
599.92
Q_3-3_v-100-100_r-17.2
FAIL
599.92
Q_3-3-3_v-100-100-100_r-30.1
FAIL
599.92
Q_3-3_v-100-100_r-15.3
FAIL
599.92
Q_3-3_v-100-100_r-15.2
FAIL
599.92
Q_3-3-3_v-100-100-100_r-40.4
FAIL
599.92
ncf_16_128_2_u.5
FAIL
599.92
Q_3-3-3_v-100-100-100_r-40.1
FAIL
599.92
Q_3-3_v-100-100_r-13.1
FAIL
599.92
Q_3-3-3_v-100-100-100_r-30.9
FAIL
599.92
Q_3-3_v-100-100_r-17.3
FAIL
599.92
Q_3-3_v-100-100_r-13.9
FAIL
599.92
Q_3-3-3_v-100-100-100_r-30.5
FAIL
599.92
Q_3-3_v-100-100_r-17.7
FAIL
599.92
Q_3-3-3_v-100-100-100_r-70.4
FAIL
599.93
Q_3-3-3_v-100-100-100_r-70.8
FAIL
599.93
Q_3-3-3_v-100-100-100_r-60.3
FAIL
599.93
ncf_16_128_8_edau.2
FAIL
599.96
ncf_16_128_8_edau.10
FAIL
600
ncf_16_128_8_euad.2
FAIL
600.02
ncf_16_128_2_u.10
FAIL
600.02
ncf_16_128_8_edau.8
FAIL
600.03
ncf_16_128_8_edau.1
FAIL
600.04
Contact
|
Organization
|
Links
|
Citing QBFLIB