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
qsts
QBFEVAL'16 - Random QBFs Track.
Instance
Result
Time
ncf_8_16_4_u.5
UNSAT
0.01
ncf_8_16_4_u.1
SAT
0.01
ncf_4_16_2_d.2
SAT
0.01
ncf_4_16_2_d.6
SAT
0.01
ncf_4_16_2_d.9
SAT
0.01
x25.10
UNSAT
0.02
x25.15
UNSAT
0.02
x25.4
UNSAT
0.02
ncf_4_16_2_d.7
SAT
0.02
ncf_4_16_2_d.4
SAT
0.02
ncf_4_16_2_d.1
UNSAT
0.03
ncf_8_16_4_u.2
UNSAT
0.03
ncf_8_16_4_u.10
SAT
0.03
x25.8
UNSAT
0.03
x25.13
UNSAT
0.03
x25.19
UNSAT
0.03
x25.5
UNSAT
0.03
robots_1_5_2_46.1
SAT
0.04
robots_1_5_5_58.1
SAT
0.04
robots_1_5_5_91.1
SAT
0.04
ncf_4_16_2_d.5
UNSAT
0.04
x25.7
UNSAT
0.04
ncf_4_16_2_d.8
SAT
0.04
ncf_4_16_2_d.10
UNSAT
0.04
robots_1_5_2_65.1
SAT
0.04
robots_1_5_2_93.1
SAT
0.04
robots_1_5_5_45.1
SAT
0.04
robots_1_5_4_46.1
SAT
0.04
robots_1_5_4_54.1
SAT
0.04
robots_1_5_4_74.1
SAT
0.04
robots_1_5_3_98.1
SAT
0.04
robots_1_5_3_94.1
SAT
0.04
robots_1_5_3_56.1
SAT
0.04
x35.11
UNSAT
0.06
x25.16
SAT
0.07
robots_1_5_3_56.2
SAT
0.07
robots_1_5_3_94.2
SAT
0.07
robots_1_5_4_46.2
SAT
0.07
robots_1_5_3_98.2
SAT
0.07
x25.2
SAT
0.07
robots_1_5_4_54.2
SAT
0.07
robots_1_5_5_58.2
SAT
0.07
robots_1_5_4_74.2
SAT
0.07
robots_1_5_5_91.2
SAT
0.07
robots_1_5_2_93.2
SAT
0.07
robots_1_5_5_45.2
SAT
0.07
robots_1_5_2_46.2
SAT
0.07
x40.17
UNSAT
0.08
robots_1_5_2_65.2
SAT
0.08
ncf_8_16_4_u.6
UNSAT
0.09
x35.3
UNSAT
0.11
ncf_8_16_4_u.8
UNSAT
0.11
robots_1_5_5_58.3
SAT
0.12
robots_1_5_3_56.3
SAT
0.12
x35.2
SAT
0.12
robots_1_5_4_74.3
SAT
0.13
robots_1_5_5_91.3
SAT
0.13
x35.10
UNSAT
0.13
x35.15
UNSAT
0.13
robots_1_5_2_93.3
SAT
0.14
robots_1_5_4_46.3
SAT
0.14
robots_1_5_2_46.3
SAT
0.14
robots_1_5_3_94.3
SAT
0.15
x35.5
UNSAT
0.15
robots_1_5_4_54.3
SAT
0.15
robots_1_5_5_45.3
SAT
0.16
robots_1_5_3_98.3
SAT
0.17
x40.1
UNSAT
0.17
robots_1_5_2_65.3
SAT
0.18
x40.4
UNSAT
0.2
ncf_4_16_2_d.3
UNSAT
0.2
x40.10
UNSAT
0.21
x40.19
UNSAT
0.22
x70.6
UNSAT
0.25
x35.9
SAT
0.26
robots_1_5_3_56.4
SAT
0.28
x35.13
UNSAT
0.28
robots_1_5_4_54.7
UNSAT
0.3
x35.19
UNSAT
0.32
robots_1_5_5_58.4
SAT
0.32
T-edau-6
UNSAT
0.33
ncf_8_16_4_u.4
SAT
0.34
T-edau-20
UNSAT
0.35
x70.16
UNSAT
0.36
T-edau-44
UNSAT
0.36
robots_1_5_2_46.4
SAT
0.37
T-edau-9
UNSAT
0.37
robots_1_5_2_93.4
SAT
0.38
robots_1_5_4_54.8
UNSAT
0.39
x40.6
UNSAT
0.39
x35.1
SAT
0.41
x40.12
SAT
0.41
T-edau-26
UNSAT
0.42
T-edau-8
UNSAT
0.42
T-edau-18
UNSAT
0.42
T-edau-2
UNSAT
0.42
robots_1_5_5_91.4
SAT
0.43
T-edau-24
UNSAT
0.43
T-edau-23
UNSAT
0.44
robots_1_5_4_74.4
SAT
0.44
robots_1_5_4_54.4
SAT
0.48
robots_1_5_4_46.4
SAT
0.48
x40.5
UNSAT
0.5
x70.8
UNSAT
0.51
robots_1_5_3_94.4
SAT
0.52
x40.18
SAT
0.54
robots_1_5_3_98.4
SAT
0.55
robots_1_5_5_58.5
UNSAT
0.56
robots_1_5_5_91.8
UNSAT
0.57
robots_1_5_5_45.4
SAT
0.59
robots_1_5_4_54.9
UNSAT
0.6
robots_1_5_5_58.8
UNSAT
0.61
S-edau-29
UNSAT
0.66
S-edau-34
UNSAT
0.67
robots_1_5_5_58.6
UNSAT
0.68
S-edau-7
UNSAT
0.68
S-edau-43
UNSAT
0.69
S-edau-30
UNSAT
0.69
S-edau-17
UNSAT
0.7
S-edau-23
UNSAT
0.72
robots_1_5_2_65.4
SAT
0.72
robots_1_5_3_56.5
SAT
0.75
robots_1_5_5_91.5
UNSAT
0.75
robots_1_5_5_91.9
UNSAT
0.76
S-edau-1
UNSAT
0.76
S-edau-8
UNSAT
0.82
S-edau-20
UNSAT
0.83
x40.11
SAT
0.86
robots_1_5_5_91.6
UNSAT
0.99
robots_1_5_5_58.7
UNSAT
1.1
robots_1_5_2_46.5
SAT
1.23
robots_1_5_5_45.8
UNSAT
1.24
Q_2-3_v-80-100_r-5.1
SAT
1.37
robots_1_5_2_93.5
SAT
1.38
robots_1_5_4_54.5
UNSAT
1.7
robots_1_5_5_58.10
UNSAT
1.76
x70.0
UNSAT
1.85
robots_1_5_4_46.5
SAT
1.91
S-adeu-47
UNSAT
1.96
robots_1_5_4_74.5
SAT
1.97
robots_1_5_3_94.5
SAT
2.02
S-adeu-19
UNSAT
2.06
S-adeu-28
UNSAT
2.08
S-adeu-29
UNSAT
2.1
T-adeu-15
UNSAT
2.13
S-adeu-49
UNSAT
2.14
S-adeu-15
UNSAT
2.22
robots_1_5_3_98.5
SAT
2.23
S-adeu-32
UNSAT
2.27
x70.1
UNSAT
2.28
S-adeu-6
UNSAT
2.28
S-adeu-30
UNSAT
2.3
S-adeu-41
UNSAT
2.32
robots_1_5_3_56.6
SAT
2.4
robots_1_5_5_91.7
UNSAT
2.4
robots_1_5_4_54.6
UNSAT
2.48
x70.3
UNSAT
2.48
T-adeu-25
UNSAT
2.92
robots_1_5_4_54.10
UNSAT
2.93
robots_1_5_5_45.9
UNSAT
2.93
robots_1_5_5_45.5
SAT
3
robots_1_5_3_94.10
UNSAT
3.06
robots_1_5_5_91.10
UNSAT
3.17
robots_1_5_5_45.6
UNSAT
3.27
robots_1_5_2_65.5
SAT
3.27
robots_1_5_4_74.6
UNSAT
3.38
x70.5
UNSAT
3.5
x70.7
UNSAT
3.76
ncf_4_16_8_euad.7
SAT
4.26
robots_1_5_2_46.8
UNSAT
4.5
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#3.asp
UNSAT
4.52
Q_2-3_v-80-100_r-5.6
SAT
4.77
robots_1_5_5_45.10
UNSAT
4.82
robots_1_5_2_46.9
UNSAT
5.05
x70.10
UNSAT
5.21
robots_1_5_2_46.6
SAT
5.21
robots_1_5_2_93.6
SAT
5.7
Q_2-3_v-80-100_r-13.9
UNSAT
5.99
Q_2-3_v-80-100_r-5.9
SAT
6.35
T-adeu-49
UNSAT
7.13
Q_2-3_v-80-100_r-5.4
SAT
7.21
robots_1_5_5_58.9
UNSAT
7.26
ncf_16_64_4_d.2
UNSAT
7.35
robots_1_5_3_56.7
SAT
8.47
T-adeu-7
UNSAT
9.05
x70.12
UNSAT
9.29
robots_1_5_3_94.6
SAT
9.36
robots_1_5_4_46.6
SAT
9.51
robots_1_5_2_46.7
UNSAT
10.05
robots_1_5_3_98.6
SAT
10.32
robots_1_5_4_74.8
UNSAT
10.33
robots_1_5_2_46.10
UNSAT
10.78
ncf_16_64_4_d.1
SAT
11.69
robots_1_5_3_94.8
UNSAT
14.02
Q_2-3_v-80-100_r-5.2
SAT
14.16
ncf_8_16_4_u.9
UNSAT
14.43
robots_1_5_5_45.7
UNSAT
15.93
robots_1_5_4_74.9
UNSAT
16.88
robots_1_5_2_65.6
SAT
17.49
ncf_16_64_4_d.8
UNSAT
17.94
robots_1_5_4_74.7
UNSAT
18.05
T-adeu-39
UNSAT
20.98
robots_1_5_2_93.7
SAT
25.4
ncf_16_64_4_d.9
SAT
26.26
robots_1_5_3_56.8
SAT
27.37
Q_2-3_v-80-100_r-5.5
SAT
29
robots_1_5_3_94.9
UNSAT
32.96
robots_1_5_3_98.10
UNSAT
35.01
Q_2-3_v-80-100_r-5.3
SAT
36.01
ncf_8_16_4_u.3
SAT
36.22
robots_1_5_4_46.7
UNSAT
36.34
T-adeu-42
UNSAT
38
robots_1_5_4_46.9
UNSAT
40.71
robots_1_5_3_94.7
UNSAT
43.05
robots_1_5_4_46.10
UNSAT
43.69
robots_1_5_3_98.7
SAT
46.09
ncf_16_64_4_d.5
UNSAT
49.88
robots_1_5_3_98.9
UNSAT
49.9
T-adeu-38
UNSAT
51.62
robots_1_5_4_46.8
UNSAT
54.01
robots_1_5_2_65.7
SAT
81.02
Q_2-3_v-80-100_r-5.0
SAT
81.41
T-adeu-6
UNSAT
81.57
robots_1_5_4_74.10
UNSAT
84.95
ncf_8_16_4_u.7
SAT
88.59
robots_1_5_3_56.9
SAT
89.22
ncf_16_64_4_d.3
UNSAT
92.81
T-adeu-10
UNSAT
96.84
robots_1_5_2_93.8
SAT
105.67
Q_2-3_v-80-100_r-5.7
SAT
139.93
robots_1_5_3_98.8
UNSAT
161.05
T-adeu-9
UNSAT
185.87
Q_2-3_v-80-100_r-5.8
SAT
244.24
robots_1_5_3_56.10
SAT
261.88
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#1.asp
UNSAT
325.83
robots_1_5_2_93.9
SAT
431.62
robots_1_5_2_65.8
SAT
441.68
Q_2-3_v-80-100_r-13.3
UNSAT
505.46
ncf_16_128_8_euad.2
FAIL
558.33
ncf_16_64_4_d.7
UNSAT
571.08
ncf_16_128_8_euad.9
FAIL
590.73
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#3.asp
FAIL
599.61
x300.1
FAIL
599.61
ncf_16_128_8_edau.5
FAIL
599.62
x300.3
FAIL
599.63
Q_2-2-3_v-100-100-100_r-55.2
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-70.1
FAIL
599.71
Q_2-2-3_v-100-100-100_r-55.4
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.9
FAIL
599.71
Q_3-3-3_v-100-100-100_r-60.8
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.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.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.3
FAIL
599.71
Q_2-2-3_v-100-100-100_r-45.2
FAIL
599.71
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#5.asp
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.6
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-45.9
FAIL
599.71
Q_2-3_v-80-100_r-11.8
FAIL
599.71
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#7.asp
FAIL
599.71
Q_3-3-3_v-100-100-100_r-70.4
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-2-3_v-100-100-100_r-65.1
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.0
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-65.5
FAIL
599.71
Q_2-2-3_v-100-100-100_r-35.2
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.7
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.3
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.0
FAIL
599.71
Q_2-2-3_v-100-100-100_r-65.8
FAIL
599.71
Q_2-3_v-80-100_r-11.7
FAIL
599.71
Q_2-2-3_v-100-100-100_r-35.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.6
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.9
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.8
FAIL
599.71
Q_2-3_v-80-100_r-13.7
FAIL
599.71
Q_2-2-3_v-100-100-100_r-65.0
FAIL
599.71
Q_2-3_v-80-100_r-13.6
FAIL
599.71
Q_2-3_v-80-100_r-13.4
FAIL
599.71
Q_2-3_v-80-100_r-13.2
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-2-3_v-100-100-100_r-35.3
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.3
FAIL
599.71
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#8.asp
FAIL
599.71
Q_2-2-3_v-100-100-100_r-65.6
FAIL
599.71
Q_3-3_v-100-100_r-15.4
FAIL
599.71
Q_3-3_v-100-100_r-11.7
FAIL
599.71
Q_3-3_v-100-100_r-11.5
FAIL
599.71
Q_3-3_v-100-100_r-11.4
FAIL
599.71
Q_3-3_v-100-100_r-11.2
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.8
FAIL
599.71
Q_2-3_v-80-100_r-9.7
FAIL
599.71
Q_2-3_v-80-100_r-9.6
FAIL
599.71
Q_2-3_v-80-100_r-9.5
FAIL
599.71
Q_3-3_v-100-100_r-19.3
FAIL
599.71
Q_2-3_v-80-100_r-9.2
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_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.5
FAIL
599.71
Q_3-3_v-100-100_r-15.6
FAIL
599.71
Q_3-3_v-100-100_r-15.2
FAIL
599.71
Q_3-3_v-100-100_r-15.7
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.1
FAIL
599.71
Q_3-3_v-100-100_r-17.3
FAIL
599.71
Q_3-3_v-100-100_r-17.4
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-15.0
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-13.6
FAIL
599.71
Q_2-3_v-80-100_r-7.8
FAIL
599.71
Q_2-3_v-80-100_r-7.6
FAIL
599.71
Q_2-3_v-80-100_r-7.4
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.8
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-50.0
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.7
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.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-60.1
FAIL
599.71
Q_3-3-3_v-100-100-100_r-60.2
FAIL
599.71
Q_2-3_v-80-100_r-13.8
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.4
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-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_2-3_v-80-100_r-7.1
FAIL
599.71
Q_3-3_v-100-100_r-19.6
FAIL
599.71
Q_3-3_v-100-100_r-19.8
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.2
FAIL
599.71
Q_3-3-3_v-100-100-100_r-30.3
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.7
FAIL
599.71
Q_2-3_v-80-100_r-9.3
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.1
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-60.6
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#296.w#6.s#6.asp
FAIL
599.71
x300.6
FAIL
599.71
ncf_16_64_4_d.10
FAIL
599.71
x300.19
FAIL
599.71
x300.16
FAIL
599.71
x300.15
FAIL
599.71
x300.12
FAIL
599.71
x220.9
FAIL
599.71
ncf_16_128_8_edau.2
FAIL
599.71
ncf_16_32_8_u.7
FAIL
599.71
x220.2
FAIL
599.71
x220.19
FAIL
599.71
ncf_16_128_2_u.6
FAIL
599.71
x300.8
FAIL
599.71
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#2.asp
FAIL
599.71
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#1.asp
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#4.s#5.asp
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
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#8.asp
FAIL
599.71
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#7.asp
FAIL
599.71
ncf_16_128_8_edau.7
FAIL
599.71
ncf_4_16_8_euad.6
FAIL
599.71
ci.e#1.a#3.E#40.A#60.c#208.w#6.s#8.asp
FAIL
599.71
ci.e#1.a#3.E#40.A#60.c#200.w#6.s#6.asp
FAIL
599.71
ncf_16_128_8_euad.4
FAIL
599.71
x220.12
FAIL
599.71
x220.10
FAIL
599.71
x165.19
FAIL
599.71
ncf_16_128_8_edau.8
FAIL
599.71
ncf_16_32_8_u.8
FAIL
599.71
ncf_16_128_2_u.5
FAIL
599.71
x165.13
FAIL
599.71
x165.11
FAIL
599.71
x165.10
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_32_8_u.5
FAIL
599.71
robots_1_5_2_65.9
FAIL
599.71
ncf_16_128_2_u.9
FAIL
599.71
x165.6
FAIL
599.71
ncf_4_16_8_euad.1
FAIL
599.71
ncf_4_16_8_euad.4
FAIL
599.71
x210.6
FAIL
599.71
ncf_16_128_2_u.7
FAIL
599.71
x210.1
FAIL
599.71
x210.16
FAIL
599.71
ncf_16_64_4_d.4
FAIL
599.71
x210.12
FAIL
599.71
ncf_16_128_8_euad.8
FAIL
599.71
ncf_16_128_8_edau.9
FAIL
599.71
ncf_16_128_8_euad.7
FAIL
599.71
x165.8
FAIL
599.71
robots_1_5_2_65.10
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#424.w#2.s#7.asp
FAIL
599.71
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#7.asp
FAIL
599.71
ncf_16_64_4_d.6
FAIL
599.71
ncf_16_128_8_edau.6
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#312.w#4.s#4.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
ncf_16_128_2_u.1
FAIL
599.71
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#1.asp
FAIL
599.71
ncf_4_16_8_euad.2
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#384.w#6.s#3.asp
FAIL
599.71
ncf_16_128_2_u.8
FAIL
599.71
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#8.asp
FAIL
599.71
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#2.asp
FAIL
599.71
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#1.asp
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
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#1.asp
FAIL
599.71
ncf_16_32_8_u.1
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
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#4.asp
FAIL
599.71
ncf_16_128_2_u.2
FAIL
599.71
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.asp
FAIL
599.71
ci.e#1.a#3.E#40.A#60.c#392.w#6.s#4.asp
FAIL
599.71
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#4.asp
FAIL
599.71
ncf_16_128_8_euad.5
FAIL
599.71
ci.e#1.a#3.E#40.A#60.c#352.w#4.s#8.asp
FAIL
599.71
ncf_4_16_8_euad.5
FAIL
599.71
ncf_16_32_8_u.4
FAIL
599.71
ci.e#1.a#3.E#40.A#60.c#336.w#4.s#5.asp
FAIL
599.71
ncf_16_32_8_u.10
FAIL
599.71
ncf_16_128_8_edau.3
FAIL
599.71
ncf_16_128_2_u.4
FAIL
599.71
x220.8
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
ncf_4_16_8_euad.3
FAIL
599.71
ci.e#1.a#3.E#40.A#60.c#352.w#6.s#8.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.1
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
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#368.w#6.s#7.asp
FAIL
599.71
Q_3-3-3_v-100-100-100_r-70.8
FAIL
599.72
Q_3-3-3_v-100-100-100_r-50.5
FAIL
599.72
ncf_16_128_8_euad.1
FAIL
599.72
Q_3-3-3_v-100-100-100_r-70.6
FAIL
599.72
Q_3-3_v-100-100_r-19.4
FAIL
599.72
Q_3-3_v-100-100_r-17.7
FAIL
599.72
Q_3-3_v-100-100_r-17.6
FAIL
599.72
Q_3-3_v-100-100_r-17.5
FAIL
599.72
Q_3-3-3_v-100-100-100_r-50.2
FAIL
599.72
Q_3-3-3_v-100-100-100_r-50.4
FAIL
599.72
Q_3-3-3_v-100-100-100_r-30.6
FAIL
599.72
Q_3-3-3_v-100-100-100_r-50.6
FAIL
599.72
Q_3-3_v-100-100_r-19.2
FAIL
599.72
ncf_16_128_8_euad.3
FAIL
599.72
Q_3-3-3_v-100-100-100_r-30.5
FAIL
599.72
ncf_16_128_2_u.3
FAIL
599.72
ncf_16_128_8_euad.6
FAIL
599.72
ncf_16_32_8_u.2
FAIL
599.72
ncf_4_16_8_euad.9
FAIL
599.72
ncf_16_128_8_euad.10
FAIL
599.72
Q_3-3-3_v-100-100-100_r-70.2
FAIL
599.72
Q_3-3_v-100-100_r-19.5
FAIL
599.72
Q_3-3-3_v-100-100-100_r-40.2
FAIL
599.72
ncf_16_128_8_edau.4
FAIL
599.72
Q_3-3-3_v-100-100-100_r-50.1
FAIL
599.72
ncf_16_32_8_u.6
FAIL
599.72
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#6.asp
FAIL
599.72
Q_2-2-3_v-100-100-100_r-75.6
FAIL
599.72
ci.e#1.a#3.E#40.A#60.c#304.w#4.s#7.asp
FAIL
599.72
Q_2-3_v-80-100_r-11.1
FAIL
599.72
Q_2-3_v-80-100_r-13.5
FAIL
599.72
x300.5
FAIL
599.72
Q_2-3_v-80-100_r-7.0
FAIL
599.72
Q_2-3_v-80-100_r-7.2
FAIL
599.72
Q_2-3_v-80-100_r-7.3
FAIL
599.72
Q_2-3_v-80-100_r-7.5
FAIL
599.72
x220.16
FAIL
599.72
x220.0
FAIL
599.72
Q_2-2-3_v-100-100-100_r-55.0
FAIL
599.72
Q_2-2-3_v-100-100-100_r-75.4
FAIL
599.72
Q_2-2-3_v-100-100-100_r-75.2
FAIL
599.72
Q_2-2-3_v-100-100-100_r-35.0
FAIL
599.72
ci.e#1.a#3.E#40.A#60.c#408.w#4.s#3.asp
FAIL
599.72
Q_2-2-3_v-100-100-100_r-35.8
FAIL
599.72
x210.7
FAIL
599.72
Q_2-2-3_v-100-100-100_r-45.0
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.8
FAIL
599.72
Q_2-2-3_v-100-100-100_r-55.3
FAIL
599.72
Q_2-2-3_v-100-100-100_r-55.5
FAIL
599.72
Q_2-2-3_v-100-100-100_r-55.9
FAIL
599.72
Q_2-2-3_v-100-100-100_r-65.7
FAIL
599.72
x210.9
FAIL
599.72
Q_2-3_v-80-100_r-11.4
FAIL
599.72
x210.15
FAIL
599.72
Q_3-3_v-100-100_r-13.9
FAIL
599.72
x165.0
FAIL
599.72
Q_3-3_v-100-100_r-13.3
FAIL
599.72
robots_1_5_2_93.10
FAIL
599.72
Q_3-3_v-100-100_r-11.9
FAIL
599.72
x165.17
FAIL
599.72
Q_3-3_v-100-100_r-13.4
FAIL
599.72
Q_3-3_v-100-100_r-11.6
FAIL
599.72
x165.9
FAIL
599.72
Q_3-3_v-100-100_r-15.5
FAIL
599.72
Q_3-3_v-100-100_r-11.3
FAIL
599.72
x300.4
FAIL
599.72
x210.11
FAIL
599.72
Q_3-3_v-100-100_r-11.1
FAIL
599.72
Q_2-3_v-80-100_r-9.4
FAIL
599.73
x210.17
FAIL
599.81
Q_2-2-3_v-100-100-100_r-45.7
FAIL
599.81
Q_3-3_v-100-100_r-19.9
FAIL
599.81
ncf_4_16_8_euad.10
FAIL
599.81
Q_3-3_v-100-100_r-15.3
FAIL
599.81
Q_3-3_v-100-100_r-17.0
FAIL
599.81
ncf_4_16_8_euad.8
FAIL
599.81
Q_3-3_v-100-100_r-17.2
FAIL
599.81
Q_3-3-3_v-100-100-100_r-70.5
FAIL
599.81
Q_2-2-3_v-100-100-100_r-35.4
FAIL
599.81
Q_3-3_v-100-100_r-11.8
FAIL
599.81
Q_2-2-3_v-100-100-100_r-65.9
FAIL
599.81
x220.13
FAIL
599.81
Q_2-3_v-80-100_r-7.7
FAIL
599.81
Q_3-3_v-100-100_r-19.7
FAIL
599.81
ci.e#1.a#3.E#40.A#60.c#264.w#4.s#2.asp
FAIL
599.81
Q_2-3_v-80-100_r-13.1
FAIL
599.81
x165.3
FAIL
599.81
Q_3-3_v-100-100_r-13.2
FAIL
599.81
ci.e#1.a#3.E#40.A#60.c#320.w#4.s#8.asp
FAIL
599.81
Q_3-3_v-100-100_r-19.1
FAIL
599.81
ci.e#1.a#3.E#40.A#60.c#344.w#4.s#5.asp
FAIL
599.81
x210.3
FAIL
599.82
x220.6
FAIL
599.82
Q_3-3_v-100-100_r-15.1
FAIL
599.82
ncf_16_32_8_u.3
FAIL
599.82
Q_3-3-3_v-100-100-100_r-70.3
FAIL
599.91
Contact
|
Organization
|
Links
|
Citing QBFLIB