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-f3v
QBFEVAL'16 - Random QBFs Track.
Instance
Result
Time
ncf_4_16_2_d.6
SAT
0
ncf_4_16_2_d.4
SAT
0
ncf_4_16_2_d.2
SAT
0
ncf_4_16_2_d.9
SAT
0
ncf_4_16_2_d.10
UNSAT
0.01
ncf_4_16_2_d.7
SAT
0.01
ncf_8_16_4_u.2
UNSAT
0.01
ncf_4_16_2_d.5
UNSAT
0.01
ncf_8_16_4_u.10
SAT
0.01
ncf_8_16_4_u.6
UNSAT
0.01
ncf_4_16_2_d.8
SAT
0.01
ncf_8_16_4_u.8
UNSAT
0.01
ncf_8_16_4_u.5
UNSAT
0.01
ncf_8_16_4_u.1
SAT
0.01
ncf_4_16_2_d.1
UNSAT
0.01
ncf_4_16_2_d.3
UNSAT
0.02
ncf_8_16_4_u.9
UNSAT
0.02
ncf_8_16_4_u.4
SAT
0.02
ncf_4_16_8_euad.7
SAT
0.02
Q_2-3_v-80-100_r-13.2
UNSAT
0.05
Q_2-3_v-80-100_r-13.7
UNSAT
0.05
Q_2-3_v-80-100_r-13.6
UNSAT
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.3
UNSAT
0.06
ncf_4_16_8_euad.5
UNSAT
0.07
ncf_16_32_8_u.8
UNSAT
0.07
ncf_16_32_8_u.3
SAT
0.07
Q_2-3_v-80-100_r-13.8
UNSAT
0.07
ncf_8_16_4_u.3
SAT
0.08
Q_2-3_v-80-100_r-13.5
UNSAT
0.09
ncf_4_16_8_euad.3
SAT
0.09
Q_2-3_v-80-100_r-13.1
UNSAT
0.09
x25.15
UNSAT
0.1
x25.4
UNSAT
0.1
x25.7
UNSAT
0.11
Q_2-3_v-80-100_r-11.7
UNSAT
0.11
ncf_4_16_8_euad.8
UNSAT
0.11
x25.5
UNSAT
0.11
x25.19
UNSAT
0.11
Q_2-3_v-80-100_r-13.0
UNSAT
0.11
x25.10
UNSAT
0.11
ncf_4_16_8_euad.10
SAT
0.12
x25.13
UNSAT
0.12
x25.8
UNSAT
0.12
x25.16
SAT
0.13
x25.2
SAT
0.13
Q_2-3_v-80-100_r-13.9
UNSAT
0.14
x35.10
UNSAT
0.18
ncf_16_32_8_u.2
UNSAT
0.18
ncf_16_32_8_u.5
UNSAT
0.19
ncf_16_32_8_u.7
SAT
0.2
x35.3
UNSAT
0.22
robots_1_5_4_54.1
SAT
0.22
robots_1_5_5_45.1
SAT
0.22
robots_1_5_5_58.1
SAT
0.22
robots_1_5_5_91.1
SAT
0.22
x35.19
UNSAT
0.22
x35.11
UNSAT
0.22
robots_1_5_4_46.1
SAT
0.22
robots_1_5_2_46.1
SAT
0.23
robots_1_5_2_93.1
SAT
0.23
robots_1_5_4_74.1
SAT
0.23
robots_1_5_3_56.1
SAT
0.23
x35.2
SAT
0.23
robots_1_5_3_94.1
SAT
0.23
robots_1_5_3_98.1
SAT
0.23
robots_1_5_2_65.1
SAT
0.23
x35.5
UNSAT
0.24
x35.13
UNSAT
0.24
x35.15
UNSAT
0.25
x40.4
UNSAT
0.26
x40.17
UNSAT
0.26
x40.1
UNSAT
0.28
x40.10
UNSAT
0.28
ncf_4_16_8_euad.2
SAT
0.28
x35.9
SAT
0.29
ncf_16_32_8_u.10
SAT
0.3
x40.5
UNSAT
0.31
x40.19
UNSAT
0.31
x40.6
UNSAT
0.32
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
ncf_8_16_4_u.7
SAT
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#400.w#2.s#1.asp
UNSAT
0.37
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#8.asp
UNSAT
0.37
x35.1
SAT
0.37
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#1.asp
UNSAT
0.37
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#424.w#2.s#7.asp
UNSAT
0.37
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#2.asp
UNSAT
0.38
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#3.asp
UNSAT
0.4
x40.11
SAT
0.41
ncf_16_32_8_u.6
SAT
0.41
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#7.asp
UNSAT
0.41
ncf_4_16_8_euad.4
SAT
0.43
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#4.asp
UNSAT
0.43
Q_2-3_v-80-100_r-11.3
UNSAT
0.45
x40.12
SAT
0.45
x40.18
SAT
0.47
ci.e#1.a#3.E#40.A#60.c#208.w#6.s#8.asp
SAT
0.48
ci.e#1.a#3.E#40.A#60.c#264.w#4.s#2.asp
SAT
0.49
ci.e#1.a#3.E#40.A#60.c#200.w#6.s#6.asp
SAT
0.5
ncf_4_16_8_euad.9
SAT
0.67
x70.8
UNSAT
0.71
ncf_16_64_4_d.9
SAT
0.72
x70.5
UNSAT
0.73
x70.7
UNSAT
0.74
x70.0
UNSAT
0.75
ncf_16_64_4_d.2
UNSAT
0.75
x70.12
UNSAT
0.75
ncf_16_64_4_d.1
SAT
0.78
x70.6
UNSAT
0.87
x70.16
UNSAT
0.9
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#8.asp
SAT
0.92
x70.1
UNSAT
0.97
x70.10
UNSAT
0.99
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#7.asp
SAT
1.03
ncf_16_64_4_d.5
UNSAT
1.06
T-adeu-15
UNSAT
1.09
T-adeu-49
UNSAT
1.1
T-edau-23
UNSAT
1.14
S-adeu-49
UNSAT
1.2
T-adeu-25
UNSAT
1.21
S-adeu-15
UNSAT
1.25
S-edau-23
UNSAT
1.27
T-adeu-39
UNSAT
1.29
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#4.asp
SAT
1.29
ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.asp
UNSAT
1.3
x70.3
UNSAT
1.38
Q_2-3_v-80-100_r-11.2
UNSAT
1.4
T-edau-26
UNSAT
1.4
S-adeu-32
UNSAT
1.42
S-edau-34
UNSAT
1.43
T-adeu-7
UNSAT
1.44
T-edau-18
UNSAT
1.45
ncf_16_64_4_d.6
UNSAT
1.5
S-adeu-47
UNSAT
1.5
T-edau-8
UNSAT
1.51
S-adeu-19
UNSAT
1.53
S-edau-30
UNSAT
1.56
S-adeu-30
UNSAT
1.57
T-edau-9
UNSAT
1.58
S-edau-17
UNSAT
1.6
S-adeu-6
UNSAT
1.64
S-edau-7
UNSAT
1.64
S-edau-29
UNSAT
1.65
S-edau-8
UNSAT
1.65
T-edau-20
UNSAT
1.66
S-adeu-29
UNSAT
1.67
S-adeu-41
UNSAT
1.71
ci.e#1.a#3.E#40.A#60.c#288.w#4.s#8.asp
SAT
1.73
S-edau-43
UNSAT
1.75
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#1.asp
SAT
1.75
T-adeu-9
UNSAT
1.76
S-edau-20
UNSAT
1.86
S-adeu-28
UNSAT
1.87
T-adeu-10
UNSAT
1.92
T-edau-2
UNSAT
1.97
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#7.asp
SAT
2
Q_2-3_v-80-100_r-11.4
UNSAT
2.02
S-edau-1
UNSAT
2.06
ci.e#1.a#3.E#40.A#60.c#288.w#6.s#2.asp
SAT
2.06
T-edau-6
UNSAT
2.09
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#1.asp
UNSAT
2.13
T-edau-44
UNSAT
2.14
T-edau-24
UNSAT
2.16
T-adeu-38
UNSAT
2.21
ncf_4_16_8_euad.1
SAT
2.21
T-adeu-42
UNSAT
2.22
T-adeu-6
UNSAT
2.58
ncf_16_32_8_u.1
SAT
2.62
Q_2-3_v-80-100_r-11.9
UNSAT
2.7
Q_2-3_v-80-100_r-11.8
UNSAT
2.89
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#3.asp
SAT
2.9
Q_2-3_v-80-100_r-11.0
UNSAT
2.9
robots_1_5_5_58.2
SAT
3.1
ci.e#1.a#3.E#40.A#60.c#312.w#2.s#3.asp
SAT
3.15
ncf_16_64_4_d.8
UNSAT
3.31
robots_1_5_4_74.2
SAT
3.4
robots_1_5_5_91.2
SAT
3.42
Q_2-3_v-80-100_r-11.1
UNSAT
3.96
ncf_16_128_2_u.1
UNSAT
4.32
ci.e#1.a#3.E#40.A#60.c#296.w#2.s#6.asp
SAT
4.68
ncf_16_64_4_d.10
UNSAT
4.68
x165.8
UNSAT
4.8
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#6.asp
SAT
5.41
ncf_16_64_4_d.7
UNSAT
5.75
robots_1_5_4_74.3
SAT
5.93
robots_1_5_5_58.3
SAT
6.16
ncf_16_64_4_d.3
UNSAT
7.77
ncf_16_32_8_u.9
UNSAT
7.81
x165.13
UNSAT
7.83
robots_1_5_5_91.3
SAT
8.88
ci.e#1.a#3.E#40.A#60.c#304.w#6.s#8.asp
SAT
8.95
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#5.asp
SAT
10.47
ci.e#1.a#3.E#40.A#60.c#304.w#4.s#7.asp
SAT
12.24
robots_1_5_4_54.2
SAT
12.78
robots_1_5_3_98.2
SAT
14.56
robots_1_5_5_58.4
SAT
15.6
robots_1_5_4_74.4
SAT
17.05
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#3.asp
SAT
20.53
robots_1_5_4_54.3
SAT
21.35
ci.e#1.a#3.E#40.A#60.c#424.w#4.s#2.asp
UNSAT
22.47
robots_1_5_4_46.2
SAT
24.28
Q_2-3_v-80-100_r-11.6
UNSAT
24.78
robots_1_5_3_98.3
SAT
26.28
robots_1_5_3_56.3
SAT
27.93
robots_1_5_5_58.5
UNSAT
28.97
robots_1_5_3_98.4
SAT
32.48
robots_1_5_3_56.4
SAT
34.94
robots_1_5_4_46.3
SAT
36.43
robots_1_5_3_56.2
SAT
37.77
robots_1_5_5_58.6
UNSAT
37.9
ci.e#1.a#3.E#40.A#60.c#320.w#4.s#8.asp
SAT
39.65
ncf_16_64_4_d.4
UNSAT
39.7
robots_1_5_3_98.5
SAT
40.04
robots_1_5_3_56.5
SAT
42.85
robots_1_5_4_74.5
SAT
45.74
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#7.asp
SAT
47
robots_1_5_5_45.2
SAT
50.49
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#2.asp
UNSAT
51.93
robots_1_5_5_58.7
UNSAT
52.55
robots_1_5_3_56.6
SAT
52.68
robots_1_5_3_94.3
SAT
55.33
x220.9
UNSAT
58.27
robots_1_5_5_58.8
UNSAT
58.4
robots_1_5_3_98.6
SAT
59.63
robots_1_5_4_46.4
SAT
62.11
robots_1_5_3_94.4
SAT
63.32
robots_1_5_4_54.4
SAT
63.5
robots_1_5_2_93.3
SAT
64.72
robots_1_5_5_45.3
SAT
68.85
robots_1_5_3_56.7
SAT
69.83
robots_1_5_2_93.2
SAT
69.84
robots_1_5_3_94.5
SAT
71.87
robots_1_5_2_93.4
SAT
72.77
robots_1_5_2_46.3
SAT
75.28
ci.e#1.a#3.E#40.A#60.c#360.w#2.s#8.asp
SAT
79.54
robots_1_5_2_46.4
SAT
81.33
robots_1_5_2_65.3
SAT
81.36
robots_1_5_2_93.5
SAT
81.87
robots_1_5_5_91.4
SAT
83.14
robots_1_5_5_58.9
UNSAT
84.8
robots_1_5_3_94.6
SAT
87.33
robots_1_5_5_45.4
SAT
88.49
robots_1_5_2_46.5
SAT
88.51
robots_1_5_2_65.2
SAT
88.6
robots_1_5_2_65.4
SAT
88.98
ncf_4_16_8_euad.6
SAT
92.15
robots_1_5_5_58.10
UNSAT
93.99
robots_1_5_2_46.2
SAT
96.35
robots_1_5_2_93.6
SAT
97.01
robots_1_5_5_45.7
UNSAT
97.9
robots_1_5_5_91.5
UNSAT
98.59
robots_1_5_5_45.8
UNSAT
99.12
robots_1_5_3_94.2
SAT
100.05
robots_1_5_2_46.6
SAT
100.69
robots_1_5_5_45.9
UNSAT
100.76
robots_1_5_2_65.5
SAT
101.54
robots_1_5_5_45.6
UNSAT
101.65
robots_1_5_4_54.5
UNSAT
102.12
robots_1_5_5_91.6
UNSAT
102.42
robots_1_5_5_91.7
UNSAT
102.64
robots_1_5_4_46.5
SAT
102.72
robots_1_5_4_54.6
UNSAT
103.04
robots_1_5_5_91.8
UNSAT
103.51
robots_1_5_4_54.7
UNSAT
103.89
robots_1_5_5_45.5
SAT
104.4
robots_1_5_5_91.9
UNSAT
104.41
robots_1_5_4_54.8
UNSAT
105
robots_1_5_3_94.7
UNSAT
105.35
robots_1_5_4_54.9
UNSAT
105.53
robots_1_5_4_54.10
UNSAT
106.46
robots_1_5_5_91.10
UNSAT
106.97
robots_1_5_4_74.7
UNSAT
107.73
robots_1_5_4_46.6
SAT
113.3
robots_1_5_4_74.6
UNSAT
114.36
robots_1_5_3_56.8
SAT
118.06
robots_1_5_5_45.10
UNSAT
120.93
robots_1_5_2_65.6
SAT
122.18
x165.0
UNSAT
124.31
robots_1_5_2_46.10
UNSAT
124.49
robots_1_5_4_74.8
UNSAT
125.8
robots_1_5_4_74.9
UNSAT
129.33
robots_1_5_4_74.10
UNSAT
137.08
robots_1_5_2_93.7
SAT
141.67
robots_1_5_2_46.7
UNSAT
142.61
robots_1_5_3_94.8
UNSAT
145.68
robots_1_5_3_98.7
SAT
149.86
robots_1_5_4_46.7
UNSAT
151.21
x165.6
UNSAT
155.44
robots_1_5_2_46.8
UNSAT
164.49
robots_1_5_2_46.9
UNSAT
165.88
robots_1_5_4_46.9
UNSAT
168.95
robots_1_5_4_46.8
UNSAT
181.83
robots_1_5_4_46.10
UNSAT
200.74
robots_1_5_3_98.8
UNSAT
206.86
robots_1_5_3_94.9
UNSAT
217.72
robots_1_5_2_65.7
SAT
260.39
x165.19
UNSAT
278.04
robots_1_5_3_94.10
UNSAT
311.7
robots_1_5_2_93.8
SAT
394.32
robots_1_5_3_98.9
UNSAT
455.82
robots_1_5_3_56.9
SAT
544.11
ci.e#1.a#3.E#40.A#60.c#400.w#6.s#4.asp
FAIL
599.71
robots_1_5_2_93.9
FAIL
599.71
robots_1_5_2_65.9
FAIL
599.71
Q_2-2-3_v-100-100-100_r-35.2
FAIL
599.71
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#3.asp
FAIL
599.71
robots_1_5_3_98.10
FAIL
599.71
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#3.asp
FAIL
599.72
Q_2-2-3_v-100-100-100_r-45.9
FAIL
599.72
Q_2-2-3_v-100-100-100_r-55.0
FAIL
599.72
Q_3-3-3_v-100-100-100_r-60.7
FAIL
599.72
Q_2-2-3_v-100-100-100_r-55.2
FAIL
599.72
ci.e#1.a#3.E#40.A#60.c#344.w#4.s#5.asp
FAIL
599.72
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#6.asp
FAIL
599.72
Q_2-2-3_v-100-100-100_r-45.5
FAIL
599.72
Q_2-2-3_v-100-100-100_r-45.0
FAIL
599.72
x220.10
FAIL
599.72
x220.2
FAIL
599.72
Q_2-3_v-80-100_r-5.9
FAIL
599.72
robots_1_5_3_56.10
FAIL
599.72
Q_2-3_v-80-100_r-5.8
FAIL
599.72
Q_2-2-3_v-100-100-100_r-75.4
FAIL
599.72
Q_2-3_v-80-100_r-7.3
FAIL
599.72
Q_2-3_v-80-100_r-5.3
FAIL
599.72
x165.17
FAIL
599.72
Q_2-3_v-80-100_r-7.0
FAIL
599.72
Q_2-2-3_v-100-100-100_r-75.5
FAIL
599.73
Q_2-3_v-80-100_r-9.1
FAIL
599.73
x300.4
FAIL
599.73
Q_3-3_v-100-100_r-13.0
FAIL
599.73
Q_3-3-3_v-100-100-100_r-70.0
FAIL
599.73
Q_3-3-3_v-100-100-100_r-70.5
FAIL
599.74
ncf_16_128_8_edau.2
FAIL
599.75
Q_2-2-3_v-100-100-100_r-45.7
FAIL
599.76
Q_2-2-3_v-100-100-100_r-35.4
FAIL
599.76
Q_3-3_v-100-100_r-19.8
FAIL
599.81
ci.e#1.a#3.E#40.A#60.c#408.w#4.s#3.asp
FAIL
599.81
Q_2-3_v-80-100_r-9.0
FAIL
599.81
Q_3-3_v-100-100_r-11.7
FAIL
599.81
Q_3-3-3_v-100-100-100_r-30.2
FAIL
599.81
Q_2-3_v-80-100_r-7.7
FAIL
599.81
Q_2-3_v-80-100_r-5.6
FAIL
599.81
ci.e#1.a#3.E#40.A#60.c#368.w#6.s#7.asp
FAIL
599.81
robots_1_5_2_65.8
FAIL
599.81
robots_1_5_2_93.10
FAIL
599.81
Q_3-3_v-100-100_r-13.4
FAIL
599.81
Q_2-3_v-80-100_r-5.4
FAIL
599.81
robots_1_5_2_65.10
FAIL
599.81
x220.16
FAIL
599.81
x210.6
FAIL
599.81
Q_3-3_v-100-100_r-17.2
FAIL
599.81
Q_2-3_v-80-100_r-7.6
FAIL
599.81
Q_3-3_v-100-100_r-17.4
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#360.w#4.s#1.asp
FAIL
599.81
ci.e#1.a#3.E#40.A#60.c#352.w#6.s#8.asp
FAIL
599.81
Q_2-3_v-80-100_r-9.7
FAIL
599.82
Q_2-3_v-80-100_r-5.7
FAIL
599.82
Q_2-3_v-80-100_r-9.3
FAIL
599.82
Q_3-3_v-100-100_r-13.6
FAIL
599.82
Q_3-3_v-100-100_r-11.2
FAIL
599.82
Q_2-3_v-80-100_r-9.2
FAIL
599.82
Q_3-3_v-100-100_r-11.8
FAIL
599.82
Q_3-3_v-100-100_r-11.3
FAIL
599.82
Q_2-3_v-80-100_r-7.8
FAIL
599.82
Q_3-3_v-100-100_r-11.1
FAIL
599.82
Q_3-3_v-100-100_r-11.0
FAIL
599.82
Q_2-3_v-80-100_r-9.9
FAIL
599.82
Q_2-3_v-80-100_r-9.8
FAIL
599.82
Q_2-3_v-80-100_r-5.2
FAIL
599.82
Q_2-3_v-80-100_r-5.0
FAIL
599.82
Q_2-3_v-80-100_r-7.2
FAIL
599.82
Q_2-3_v-80-100_r-9.6
FAIL
599.82
Q_2-3_v-80-100_r-7.4
FAIL
599.82
Q_2-3_v-80-100_r-9.5
FAIL
599.82
Q_2-3_v-80-100_r-7.5
FAIL
599.82
Q_2-3_v-80-100_r-5.5
FAIL
599.82
Q_2-3_v-80-100_r-7.9
FAIL
599.82
Q_3-3_v-100-100_r-11.4
FAIL
599.82
Q_3-3-3_v-100-100-100_r-70.2
FAIL
599.82
Q_3-3-3_v-100-100-100_r-30.8
FAIL
599.82
Q_3-3-3_v-100-100-100_r-30.6
FAIL
599.82
Q_3-3-3_v-100-100-100_r-30.3
FAIL
599.82
Q_3-3-3_v-100-100-100_r-30.1
FAIL
599.82
Q_3-3_v-100-100_r-19.7
FAIL
599.82
Q_3-3_v-100-100_r-19.6
FAIL
599.82
Q_3-3-3_v-100-100-100_r-70.4
FAIL
599.82
Q_3-3-3_v-100-100-100_r-70.6
FAIL
599.82
Q_3-3_v-100-100_r-19.4
FAIL
599.82
Q_3-3_v-100-100_r-19.3
FAIL
599.82
Q_3-3-3_v-100-100-100_r-30.9
FAIL
599.82
Q_3-3-3_v-100-100-100_r-40.1
FAIL
599.82
Q_3-3-3_v-100-100-100_r-40.5
FAIL
599.82
Q_3-3-3_v-100-100-100_r-60.9
FAIL
599.82
Q_3-3-3_v-100-100-100_r-60.4
FAIL
599.82
Q_3-3-3_v-100-100-100_r-60.3
FAIL
599.82
Q_3-3-3_v-100-100-100_r-60.0
FAIL
599.82
Q_3-3-3_v-100-100-100_r-50.7
FAIL
599.82
Q_3-3-3_v-100-100-100_r-50.5
FAIL
599.82
Q_3-3-3_v-100-100-100_r-50.3
FAIL
599.82
Q_3-3-3_v-100-100-100_r-50.1
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-40.6
FAIL
599.82
Q_3-3_v-100-100_r-19.1
FAIL
599.82
Q_3-3_v-100-100_r-19.0
FAIL
599.82
Q_3-3_v-100-100_r-17.9
FAIL
599.82
Q_3-3_v-100-100_r-15.0
FAIL
599.82
Q_3-3_v-100-100_r-13.9
FAIL
599.82
Q_3-3_v-100-100_r-13.8
FAIL
599.82
Q_3-3_v-100-100_r-13.7
FAIL
599.82
Q_3-3_v-100-100_r-13.5
FAIL
599.82
Q_3-3_v-100-100_r-13.3
FAIL
599.82
Q_3-3_v-100-100_r-13.2
FAIL
599.82
Q_3-3_v-100-100_r-13.1
FAIL
599.82
Q_3-3_v-100-100_r-11.9
FAIL
599.82
Q_3-3_v-100-100_r-11.6
FAIL
599.82
Q_3-3_v-100-100_r-15.1
FAIL
599.82
Q_3-3_v-100-100_r-15.2
FAIL
599.82
Q_3-3_v-100-100_r-15.3
FAIL
599.82
Q_3-3_v-100-100_r-17.8
FAIL
599.82
Q_3-3_v-100-100_r-17.7
FAIL
599.82
Q_3-3_v-100-100_r-17.6
FAIL
599.82
Q_3-3_v-100-100_r-17.5
FAIL
599.82
Q_3-3_v-100-100_r-17.0
FAIL
599.82
Q_3-3_v-100-100_r-15.9
FAIL
599.82
Q_3-3_v-100-100_r-15.8
FAIL
599.82
Q_3-3_v-100-100_r-15.7
FAIL
599.82
Q_3-3_v-100-100_r-15.5
FAIL
599.82
Q_3-3_v-100-100_r-15.4
FAIL
599.82
Q_3-3_v-100-100_r-11.5
FAIL
599.82
Q_2-3_v-80-100_r-11.5
FAIL
599.82
Q_2-2-3_v-100-100-100_r-35.8
FAIL
599.82
ncf_16_128_2_u.6
FAIL
599.82
x210.9
FAIL
599.82
Q_3-3_v-100-100_r-19.5
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#8.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#4.s#6.asp
FAIL
599.82
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#5.asp
FAIL
599.82
x210.3
FAIL
599.82
x300.8
FAIL
599.82
Q_2-2-3_v-100-100-100_r-35.7
FAIL
599.82
Q_2-2-3_v-100-100-100_r-35.6
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-35.3
FAIL
599.82
Q_2-2-3_v-100-100-100_r-35.1
FAIL
599.82
Q_2-2-3_v-100-100-100_r-35.0
FAIL
599.82
x210.16
FAIL
599.82
x210.1
FAIL
599.82
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#4.asp
FAIL
599.82
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#8.asp
FAIL
599.82
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#7.asp
FAIL
599.82
x300.12
FAIL
599.82
x300.15
FAIL
599.82
x210.7
FAIL
599.82
x300.16
FAIL
599.82
x300.19
FAIL
599.82
x300.1
FAIL
599.82
x300.6
FAIL
599.82
x300.5
FAIL
599.82
x220.8
FAIL
599.82
ncf_16_128_8_euad.8
FAIL
599.82
x220.12
FAIL
599.82
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#3.asp
FAIL
599.82
x220.13
FAIL
599.82
ci.e#1.a#3.E#40.A#60.c#352.w#4.s#8.asp
FAIL
599.82
ci.e#1.a#3.E#40.A#60.c#336.w#4.s#5.asp
FAIL
599.82
ncf_16_128_2_u.7
FAIL
599.82
x220.19
FAIL
599.82
x220.6
FAIL
599.82
x300.3
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-75.9
FAIL
599.82
Q_2-2-3_v-100-100-100_r-75.1
FAIL
599.82
Q_2-2-3_v-100-100-100_r-75.0
FAIL
599.82
Q_2-2-3_v-100-100-100_r-65.9
FAIL
599.82
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#2.asp
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-75.2
FAIL
599.82
Q_2-2-3_v-100-100-100_r-65.5
FAIL
599.82
Q_2-2-3_v-100-100-100_r-65.3
FAIL
599.82
x210.12
FAIL
599.82
x210.11
FAIL
599.82
Q_2-2-3_v-100-100-100_r-65.4
FAIL
599.82
Q_2-2-3_v-100-100-100_r-75.8
FAIL
599.82
Q_2-2-3_v-100-100-100_r-75.7
FAIL
599.82
Q_2-2-3_v-100-100-100_r-45.8
FAIL
599.82
x165.10
FAIL
599.82
x165.11
FAIL
599.82
x165.3
FAIL
599.82
x165.9
FAIL
599.82
Q_2-2-3_v-100-100-100_r-75.6
FAIL
599.82
Q_2-2-3_v-100-100-100_r-65.2
FAIL
599.82
x210.15
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-45.3
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
ci.e#1.a#3.E#40.A#60.c#400.w#4.s#5.asp
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-55.3
FAIL
599.82
Q_2-2-3_v-100-100-100_r-55.4
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.9
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-65.0
FAIL
599.82
Q_2-2-3_v-100-100-100_r-65.1
FAIL
599.82
Q_2-2-3_v-100-100-100_r-35.9
FAIL
599.83
Q_3-3-3_v-100-100-100_r-50.2
FAIL
599.83
Q_2-2-3_v-100-100-100_r-75.3
FAIL
599.83
Q_3-3-3_v-100-100-100_r-70.7
FAIL
599.83
Q_3-3_v-100-100_r-19.2
FAIL
599.83
Q_2-3_v-80-100_r-9.4
FAIL
599.83
ncf_16_128_8_euad.9
FAIL
599.83
Q_2-2-3_v-100-100-100_r-45.1
FAIL
599.83
Q_3-3-3_v-100-100-100_r-50.9
FAIL
599.83
Q_2-2-3_v-100-100-100_r-55.5
FAIL
599.83
Q_3-3-3_v-100-100-100_r-50.6
FAIL
599.83
Q_3-3-3_v-100-100-100_r-70.9
FAIL
599.83
Q_3-3-3_v-100-100-100_r-60.6
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-30.4
FAIL
599.83
Q_3-3-3_v-100-100-100_r-40.9
FAIL
599.84
Q_3-3-3_v-100-100-100_r-60.8
FAIL
599.84
ncf_16_128_8_euad.1
FAIL
599.84
Q_2-2-3_v-100-100-100_r-65.8
FAIL
599.84
ncf_16_128_8_edau.7
FAIL
599.85
ncf_16_128_8_euad.4
FAIL
599.85
ncf_16_128_8_euad.3
FAIL
599.85
ncf_16_128_2_u.3
FAIL
599.86
ncf_16_128_8_euad.5
FAIL
599.9
x210.17
FAIL
599.91
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#1.asp
FAIL
599.91
Q_3-3_v-100-100_r-15.6
FAIL
599.92
Q_3-3-3_v-100-100-100_r-50.4
FAIL
599.92
x220.0
FAIL
599.92
Q_3-3-3_v-100-100-100_r-70.1
FAIL
599.92
ncf_16_128_2_u.2
FAIL
599.92
Q_3-3-3_v-100-100-100_r-60.1
FAIL
599.92
Q_3-3-3_v-100-100-100_r-60.2
FAIL
599.92
Q_2-2-3_v-100-100-100_r-65.6
FAIL
599.92
Q_3-3-3_v-100-100-100_r-60.5
FAIL
599.92
Q_3-3-3_v-100-100-100_r-40.2
FAIL
599.92
Q_3-3-3_v-100-100-100_r-40.8
FAIL
599.92
Q_3-3_v-100-100_r-19.9
FAIL
599.92
ncf_16_128_2_u.10
FAIL
599.92
ncf_16_128_8_edau.8
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.1
FAIL
599.92
Q_3-3-3_v-100-100-100_r-30.7
FAIL
599.92
ncf_16_128_2_u.5
FAIL
599.92
ncf_16_128_2_u.9
FAIL
599.92
Q_3-3-3_v-100-100-100_r-40.0
FAIL
599.92
Q_3-3-3_v-100-100-100_r-70.8
FAIL
599.92
ncf_16_128_2_u.4
FAIL
599.92
ncf_16_128_2_u.8
FAIL
599.92
Q_3-3-3_v-100-100-100_r-40.4
FAIL
599.92
Q_3-3_v-100-100_r-17.3
FAIL
599.92
Q_3-3-3_v-100-100-100_r-40.7
FAIL
599.92
Q_2-3_v-80-100_r-7.1
FAIL
599.92
Q_3-3-3_v-100-100-100_r-40.3
FAIL
599.93
ncf_16_128_8_edau.1
FAIL
599.93
ncf_16_128_8_edau.9
FAIL
599.93
Q_3-3-3_v-100-100-100_r-30.0
FAIL
599.93
ncf_16_128_8_edau.10
FAIL
599.93
Q_3-3-3_v-100-100-100_r-50.8
FAIL
599.93
ncf_16_128_8_edau.3
FAIL
599.94
ncf_16_128_8_euad.10
FAIL
599.94
ncf_16_128_8_euad.2
FAIL
599.95
ncf_16_128_8_euad.7
FAIL
599.96
ncf_16_128_8_euad.6
FAIL
599.98
ncf_16_128_8_edau.6
FAIL
600.02
ncf_16_128_8_edau.4
FAIL
600.03
ncf_16_128_8_edau.5
FAIL
600.04
Contact
|
Organization
|
Links
|
Citing QBFLIB