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
CUED1919_NNL
QBFEVAL'17 - Random QBFs Track
Instance
Result
Time
hex_hein_4x4_04
FAIL
0
hex_hein_4x4_09
FAIL
0.01
hex_hein_4x4_06
FAIL
0.02
hex_hein_4x4_12
FAIL
0.02
hex_hein_4x4_07
FAIL
0.03
hex_hein_5x5_08
FAIL
0.05
hex_rand_6x6-20m-0
FAIL
0.05
hex_rand_6x6-20m-4
FAIL
0.05
hex_rand_6x6-20m-3
FAIL
0.05
hex_hein_5x5_11
FAIL
0.06
hex_rand_6x6-20m-6
FAIL
0.06
hex_hein_5x5_13
FAIL
0.06
hex_hein_5x5_19
FAIL
0.07
hex_rand_6x6-20m-2
FAIL
0.07
hex_rand_6x6-20m-8
FAIL
0.07
hex_hein_5x5_02
FAIL
0.1
hex_rand_6x6-20m-7
FAIL
0.1
hex_rand_6x6-20m-9
FAIL
0.1
hex_hein_5x5_14
FAIL
0.1
hex_hein_5x5_15
FAIL
0.1
hex_hein_5x5_16
FAIL
0.11
klieber2017q-076-19-t1
FAIL
0.14
klieber2017q-074-18-eq
FAIL
0.15
hex_hein_5x5_10
FAIL
0.15
klieber2017q-100-25-eq
FAIL
0.18
klieber2017q-084-21-t1
FAIL
0.18
klieber2017q-084-21-eq
FAIL
0.19
klieber2017q-088-22-t1
FAIL
0.19
klieber2017q-076-19-eq
FAIL
0.2
klieber2017q-074-18-t1
FAIL
0.2
hex_rand_6x6-20m-1
FAIL
0.2
klieber2017q-080-20-t1
FAIL
0.21
klieber2017q-078-19-eq
FAIL
0.21
klieber2017q-078-19-t1
FAIL
0.21
klieber2017q-082-20-t1
FAIL
0.22
klieber2017q-080-20-eq
FAIL
0.23
hex_rand_6x6-12m-9
FAIL
0.24
klieber2017q-100-25-t1
FAIL
0.25
klieber2017q-108-27-t1
FAIL
0.25
klieber2017q-082-20-eq
FAIL
0.25
klieber2017q-086-21-t1
FAIL
0.25
klieber2017q-092-23-eq
FAIL
0.25
klieber2017q-092-23-t1
FAIL
0.25
klieber2017q-086-21-eq
FAIL
0.26
klieber2017q-088-22-eq
FAIL
0.26
klieber2017q-104-26-t1
FAIL
0.26
klieber2017q-112-28-eq
FAIL
0.26
hex_rand_6x6-20m-5
FAIL
0.27
klieber2017q-096-24-t1
FAIL
0.27
klieber2017q-104-26-eq
FAIL
0.27
klieber2017q-096-24-eq
FAIL
0.3
klieber2017q-112-28-t1
FAIL
0.32
klieber2017q-116-29-t1
FAIL
0.33
hex_rand_6x6-12m-5
FAIL
0.34
klieber2017q-108-27-eq
FAIL
0.34
klieber2017q-116-29-eq
FAIL
0.34
hex_rand_6x6-12m-3
FAIL
0.35
ncf_16_64_4_d.10
FAIL
0.41
hex_rand_6x6-12m-8
FAIL
0.55
ncf_16_128_2_u.5
FAIL
0.57
ncf_16_128_2_u.7
FAIL
0.57
ncf_16_128_2_u.9
FAIL
0.57
ncf_16_128_2_u.4
FAIL
0.57
ncf_16_128_2_u.10
FAIL
0.58
ncf_16_128_2_u.3
FAIL
0.58
ncf_16_128_2_u.8
FAIL
0.58
ncf_16_128_2_u.6
FAIL
0.59
ncf_16_128_2_u.2
FAIL
0.59
ncf_16_128_2_u.1
FAIL
0.6
hex_rand_6x6-12m-4
FAIL
0.67
hex_rand_6x6-12m-2
FAIL
0.67
hex_rand_6x6-12m-0
FAIL
0.82
hex_rand_6x6-12m-6
FAIL
0.9
hex_rand_6x6-12m-7
FAIL
1.32
hex_rand_6x6-6m-5
FAIL
1.57
hex_rand_6x6-6m-7
FAIL
1.69
hex_rand_6x6-6m-3
FAIL
2
hex_rand_6x6-12m-1
FAIL
2.09
hex_hein_6x6_03
FAIL
2.15
ttt_5x5-shape-7-GTTT-1-2-torus-0
FAIL
2.38
ttt_5x5-shape-3-GTTT-1-2-torus-0
FAIL
2.39
ttt_5x5-shape-0-GTTT-1-2-torus-1
FAIL
2.39
ttt_5x5-shape-7-GTTT-1-2-torus-1
FAIL
2.4
ttt_5x5-shape-1-GTTT-1-2-torus-0
FAIL
2.4
ttt_5x5-shape-0-GTTT-1-2-torus-0
FAIL
2.41
ttt_5x5-shape-3-GTTT-1-2-torus-1
FAIL
2.42
ttt_5x5-shape-1-GTTT-1-2-torus-1
FAIL
2.42
ttt_5x5-shape-4-GTTT-1-2-torus-0
FAIL
2.44
ttt_5x5-shape-6-GTTT-1-2-torus-0
FAIL
2.45
ttt_5x5-shape-2-GTTT-1-2-torus-0
FAIL
2.46
ttt_5x5-shape-2-GTTT-1-2-torus-1
FAIL
2.52
hex_rand_6x6-6m-1
FAIL
2.54
ttt_5x5-shape-6-GTTT-1-2-torus-1
FAIL
2.54
ttt_5x5-shape-5-GTTT-1-2-torus-0
FAIL
2.55
ttt_5x5-shape-4-GTTT-1-2-torus-1
FAIL
2.55
ttt_5x5-shape-7-GTTT-2-2-torus-1
FAIL
2.6
ttt_5x5-shape-0-GTTT-2-2-torus-1
FAIL
2.61
ttt_5x5-shape-7-GTTT-2-2-torus-0
FAIL
2.62
ttt_5x5-shape-3-GTTT-2-2-torus-0
FAIL
2.62
ttt_5x5-shape-0-GTTT-2-2-torus-0
FAIL
2.62
ttt_5x5-shape-6-GTTT-2-2-torus-0
FAIL
2.63
ttt_5x5-shape-3-GTTT-2-2-torus-1
FAIL
2.63
ttt_5x5-shape-1-GTTT-2-2-torus-1
FAIL
2.64
ttt_5x5-shape-1-GTTT-2-2-torus-0
FAIL
2.64
ttt_5x5-shape-2-GTTT-2-2-torus-0
FAIL
2.64
ttt_5x5-shape-5-GTTT-1-2-torus-1
FAIL
2.66
ttt_5x5-shape-4-GTTT-2-2-torus-0
FAIL
2.67
ttt_5x5-shape-2-GTTT-2-2-torus-1
FAIL
2.72
ttt_5x5-shape-4-GTTT-2-2-torus-1
FAIL
2.74
ttt_5x5-shape-6-GTTT-2-2-torus-1
FAIL
2.77
ttt_5x5-shape-5-GTTT-2-2-torus-0
FAIL
2.77
ttt_5x5-shape-5-GTTT-2-2-torus-1
FAIL
2.93
ttt_5x5-shape-7-GTTT-2-1-torus-0
FAIL
2.98
ttt_5x5-shape-3-GTTT-2-1-torus-0
FAIL
2.99
ttt_5x5-shape-7-GTTT-2-1-torus-1
FAIL
3
ttt_5x5-shape-1-GTTT-2-1-torus-0
FAIL
3.01
ttt_5x5-shape-0-GTTT-2-1-torus-1
FAIL
3.02
ttt_5x5-shape-4-GTTT-2-1-torus-0
FAIL
3.03
ttt_5x5-shape-1-GTTT-2-1-torus-1
FAIL
3.03
ttt_5x5-shape-0-GTTT-2-1-torus-0
FAIL
3.04
ttt_5x5-shape-0-GTTT-1-1-torus-0
FAIL
3.04
ttt_5x5-shape-1-GTTT-1-1-torus-0
FAIL
3.05
ttt_5x5-shape-6-GTTT-2-1-torus-0
FAIL
3.06
ttt_5x5-shape-7-GTTT-1-1-torus-0
FAIL
3.06
ttt_5x5-shape-7-GTTT-1-1-torus-1
FAIL
3.06
ttt_5x5-shape-3-GTTT-2-1-torus-1
FAIL
3.07
ttt_5x5-shape-0-GTTT-1-1-torus-1
FAIL
3.08
ttt_5x5-shape-2-GTTT-2-1-torus-0
FAIL
3.08
ttt_5x5-shape-1-GTTT-1-1-torus-1
FAIL
3.09
ttt_5x5-shape-3-GTTT-1-1-torus-0
FAIL
3.09
ttt_5x5-shape-4-GTTT-1-1-torus-0
FAIL
3.1
ttt_5x5-shape-3-GTTT-1-1-torus-1
FAIL
3.1
ttt_5x5-shape-2-GTTT-1-1-torus-0
FAIL
3.11
ttt_5x5-shape-5-GTTT-2-1-torus-0
FAIL
3.12
ttt_5x5-shape-4-GTTT-2-1-torus-1
FAIL
3.13
ttt_5x5-shape-6-GTTT-2-1-torus-1
FAIL
3.14
ttt_5x5-shape-2-GTTT-2-1-torus-1
FAIL
3.15
ttt_5x5-shape-6-GTTT-1-1-torus-0
FAIL
3.16
ttt_5x5-shape-5-GTTT-1-1-torus-0
FAIL
3.17
ttt_5x5-shape-2-GTTT-1-1-torus-1
FAIL
3.18
ttt_5x5-shape-4-GTTT-1-1-torus-1
FAIL
3.19
ttt_5x5-shape-6-GTTT-1-1-torus-1
FAIL
3.19
hex_rand_6x6-6m-0
FAIL
3.29
ttt_5x5-shape-5-GTTT-2-1-torus-1
FAIL
3.3
ttt_5x5-shape-5-GTTT-1-1-torus-1
FAIL
3.33
hex_hein_5x5_05
FAIL
6.2
hex_hein_6x6_20
FAIL
6.29
hex_rand_6x6-6m-4
FAIL
10.57
hex_rand_6x6-6m-8
FAIL
11.66
hex_rand_6x6-6m-9
FAIL
12.44
hex_hein_6x6_17
FAIL
12.5
hex_rand_6x6-6m-6
FAIL
13.54
ncf_16_128_8_edau.8
FAIL
14.03
ncf_16_128_8_edau.5
FAIL
15.21
ncf_16_128_8_edau.7
FAIL
15.23
ncf_16_128_8_edau.10
FAIL
15.46
ncf_16_128_8_edau.6
FAIL
15.52
ncf_16_128_8_edau.4
FAIL
15.55
ncf_16_128_8_edau.3
FAIL
15.65
ncf_16_128_8_edau.2
FAIL
15.83
ncf_16_128_8_edau.9
FAIL
16.18
ncf_16_128_8_edau.1
FAIL
16.21
ncf_16_128_8_euad.5
FAIL
17.94
ncf_16_128_8_euad.8
FAIL
18.02
ncf_16_128_8_euad.7
FAIL
18.06
ncf_16_128_8_euad.10
FAIL
18.06
ncf_16_128_8_euad.6
FAIL
18.26
ncf_16_128_8_euad.3
FAIL
18.34
ncf_16_128_8_euad.2
FAIL
18.53
ncf_16_128_8_euad.4
FAIL
18.62
ncf_16_128_8_euad.9
FAIL
18.75
ncf_16_128_8_euad.1
FAIL
19.35
hex_rand_6x6-6m-2
FAIL
20.42
Q_2-2-3_v-100-100-100_r-35.2
FAIL
39.46
Q_2-2-3_v-100-100-100_r-35.3
FAIL
39.77
Q_2-2-3_v-100-100-100_r-35.8
FAIL
39.88
Q_2-2-3_v-100-100-100_r-35.0
FAIL
39.93
Q_2-2-3_v-100-100-100_r-35.4
FAIL
39.95
Q_2-2-3_v-100-100-100_r-35.6
FAIL
39.96
Q_2-2-3_v-100-100-100_r-35.1
FAIL
39.98
Q_2-2-3_v-100-100-100_r-35.7
FAIL
40
Q_2-2-3_v-100-100-100_r-35.9
FAIL
40.1
Q_2-2-3_v-100-100-100_r-35.5
FAIL
40.2
Q_3-3-3_v-100-100-100_r-30.9
FAIL
52.82
Q_3-3-3_v-100-100-100_r-30.8
FAIL
54.85
Q_3-3-3_v-100-100-100_r-30.4
FAIL
55.03
Q_3-3-3_v-100-100-100_r-30.3
FAIL
55.46
Q_3-3-3_v-100-100-100_r-30.2
FAIL
55.49
Q_3-3-3_v-100-100-100_r-30.5
FAIL
55.67
Q_3-3-3_v-100-100-100_r-30.0
FAIL
55.7
Q_3-3-3_v-100-100-100_r-30.6
FAIL
55.71
Q_3-3-3_v-100-100-100_r-30.7
FAIL
55.79
Q_3-3-3_v-100-100-100_r-30.1
FAIL
55.81
Q_2-2-3_v-100-100-100_r-45.7
FAIL
83.1
Q_2-2-3_v-100-100-100_r-45.0
FAIL
83.44
Q_2-2-3_v-100-100-100_r-45.8
FAIL
84.2
Q_2-2-3_v-100-100-100_r-45.2
FAIL
84.24
Q_2-2-3_v-100-100-100_r-45.6
FAIL
84.24
Q_2-2-3_v-100-100-100_r-45.4
FAIL
84.25
Q_2-2-3_v-100-100-100_r-45.5
FAIL
84.3
Q_2-2-3_v-100-100-100_r-45.1
FAIL
84.38
Q_2-2-3_v-100-100-100_r-45.3
FAIL
84.45
Q_2-2-3_v-100-100-100_r-45.9
FAIL
84.5
Q_3-3-3_v-100-100-100_r-40.5
FAIL
117.87
Q_3-3-3_v-100-100-100_r-40.2
FAIL
118.85
Q_3-3-3_v-100-100-100_r-40.3
FAIL
119.78
Q_3-3-3_v-100-100-100_r-40.6
FAIL
121.88
Q_3-3-3_v-100-100-100_r-40.1
FAIL
121.9
hex_hein_7x7_18
FAIL
127.68
Q_3-3-3_v-100-100-100_r-40.8
FAIL
127.92
Q_3-3-3_v-100-100-100_r-40.7
FAIL
129.24
Q_3-3-3_v-100-100-100_r-40.4
FAIL
129.9
Q_3-3-3_v-100-100-100_r-40.0
FAIL
130.04
Q_3-3-3_v-100-100-100_r-40.9
FAIL
131.55
Q_2-2-3_v-100-100-100_r-55.9
FAIL
138.02
Q_2-2-3_v-100-100-100_r-55.0
FAIL
139.58
Q_2-2-3_v-100-100-100_r-55.4
FAIL
141.23
Q_2-2-3_v-100-100-100_r-55.2
FAIL
142.53
Q_2-2-3_v-100-100-100_r-55.1
FAIL
146.2
Q_2-2-3_v-100-100-100_r-55.7
FAIL
151.88
Q_2-2-3_v-100-100-100_r-55.3
FAIL
152.21
Q_2-2-3_v-100-100-100_r-55.5
FAIL
152.23
Q_2-2-3_v-100-100-100_r-55.8
FAIL
152.38
Q_2-2-3_v-100-100-100_r-55.6
FAIL
152.4
Q_2-2-3_v-100-100-100_r-65.0
FAIL
225.03
Q_2-2-3_v-100-100-100_r-65.3
FAIL
226.68
Q_3-3-3_v-100-100-100_r-50.3
FAIL
236.62
Q_2-2-3_v-100-100-100_r-65.2
FAIL
237.72
Q_3-3-3_v-100-100-100_r-50.7
FAIL
239.67
Q_3-3-3_v-100-100-100_r-50.5
FAIL
240.01
Q_2-2-3_v-100-100-100_r-65.8
FAIL
240.23
Q_2-2-3_v-100-100-100_r-65.7
FAIL
240.94
Q_3-3-3_v-100-100-100_r-50.6
FAIL
247.58
Q_2-2-3_v-100-100-100_r-65.1
FAIL
248.27
Q_3-3-3_v-100-100-100_r-50.0
FAIL
249.62
Q_2-2-3_v-100-100-100_r-65.6
FAIL
250.02
Q_2-2-3_v-100-100-100_r-65.5
FAIL
250.71
Q_2-2-3_v-100-100-100_r-65.9
FAIL
250.75
Q_2-2-3_v-100-100-100_r-65.4
FAIL
251.08
Q_3-3-3_v-100-100-100_r-50.1
FAIL
251.94
Q_3-3-3_v-100-100-100_r-50.2
FAIL
255.69
Q_3-3-3_v-100-100-100_r-50.9
FAIL
255.8
Q_3-3-3_v-100-100-100_r-50.8
FAIL
256.16
Q_3-3-3_v-100-100-100_r-50.4
FAIL
256.2
Q_2-2-3_v-100-100-100_r-75.2
FAIL
348.3
Q_2-2-3_v-100-100-100_r-75.9
FAIL
349.42
Q_2-2-3_v-100-100-100_r-75.0
FAIL
350.27
Q_2-2-3_v-100-100-100_r-75.7
FAIL
352
Q_2-2-3_v-100-100-100_r-75.1
FAIL
355.18
Q_2-2-3_v-100-100-100_r-75.5
FAIL
355.82
Q_2-2-3_v-100-100-100_r-75.8
FAIL
359.24
Q_2-2-3_v-100-100-100_r-75.6
FAIL
364.89
Q_2-2-3_v-100-100-100_r-75.3
FAIL
366.09
Q_2-2-3_v-100-100-100_r-75.4
FAIL
376.49
Q_3-3-3_v-100-100-100_r-60.4
FAIL
398.97
Q_3-3-3_v-100-100-100_r-60.6
FAIL
400.28
Q_3-3-3_v-100-100-100_r-60.1
FAIL
401.11
Q_3-3-3_v-100-100-100_r-60.2
FAIL
402.63
Q_3-3-3_v-100-100-100_r-60.8
FAIL
404.37
Q_3-3-3_v-100-100-100_r-60.3
FAIL
407.67
Q_3-3-3_v-100-100-100_r-60.9
FAIL
410.37
Q_3-3-3_v-100-100-100_r-60.7
FAIL
410.54
Q_3-3-3_v-100-100-100_r-60.0
FAIL
421.39
Q_3-3-3_v-100-100-100_r-60.5
FAIL
425.79
Q_3-3-3_v-100-100-100_r-70.1
FAIL
625.66
Q_3-3-3_v-100-100-100_r-70.7
FAIL
634.12
Q_3-3-3_v-100-100-100_r-70.5
FAIL
636.14
Q_3-3-3_v-100-100-100_r-70.0
FAIL
636.35
Q_3-3-3_v-100-100-100_r-70.6
FAIL
641.15
Q_3-3-3_v-100-100-100_r-70.8
FAIL
644.44
Q_3-3-3_v-100-100-100_r-70.9
FAIL
644.86
Q_3-3-3_v-100-100-100_r-70.4
FAIL
647.89
Q_3-3-3_v-100-100-100_r-70.3
FAIL
667.27
Q_3-3-3_v-100-100-100_r-70.2
FAIL
685.97
robots_1_5_2_65.10
FAIL
900
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#10.asp
FAIL
900
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#11.asp
FAIL
900
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#12.asp
FAIL
900
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#13.asp
FAIL
900
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#14.asp
FAIL
900
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#15.asp
FAIL
900
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#18.asp
FAIL
900
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#19.asp
FAIL
900
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#20.asp
FAIL
900
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#7.asp
FAIL
900
robots_1_5_2_65.8
FAIL
900
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#8.asp
FAIL
900
ci.e#1.a#3.E#40.A#60.c#368.w#6.s#7.asp
FAIL
900
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#4.asp
FAIL
900
x165.19
FAIL
900
x165.17
FAIL
900
x165.13
FAIL
900
x165.11
FAIL
900
x165.10
FAIL
900
x165.0
FAIL
900
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#5.asp
FAIL
900
robots_1_5_2_93.10
FAIL
900
robots_1_5_2_93.9
FAIL
900
robots_1_5_2_65.9
FAIL
900
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#10.asp
FAIL
900
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#11.asp
FAIL
900
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#16.asp
FAIL
900
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#17.asp
FAIL
900
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#18.asp
FAIL
900
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#19.asp
FAIL
900
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#1.asp
FAIL
900
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#20.asp
FAIL
900
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#3.asp
FAIL
900
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#6.asp
FAIL
900
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#6.asp
FAIL
900
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#7.asp
FAIL
900
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#3.asp
FAIL
900
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#8.asp
FAIL
900
ci.e#1.a#3.E#40.A#60.c#392.w#6.s#4.asp
FAIL
900
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#15.asp
FAIL
900
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#14.asp
FAIL
900
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#13.asp
FAIL
900
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#12.asp
FAIL
900
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#13.asp
FAIL
900
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#14.asp
FAIL
900
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#15.asp
FAIL
900
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#16.asp
FAIL
900
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#16.asp
FAIL
900
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#17.asp
FAIL
900
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#18.asp
FAIL
900
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#19.asp
FAIL
900
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#20.asp
FAIL
900
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#10.asp
FAIL
900
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#11.asp
FAIL
900
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#12.asp
FAIL
900
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.asp
FAIL
900
ci.e#1.a#3.E#40.A#60.c#304.w#6.s#8.asp
FAIL
900
x300.1
FAIL
900
x300.19
FAIL
900
x300.16
FAIL
900
x300.15
FAIL
900
x300.12
FAIL
900
x220.9
FAIL
900
x220.8
FAIL
900
x220.2
FAIL
900
Q_3-3_v-100-100_r-17.3
FAIL
900
x220.19
FAIL
900
x220.16
FAIL
900
x220.13
FAIL
900
x300.3
FAIL
900
x300.4
FAIL
900
x300.5
FAIL
900
ci.e#1.a#3.E#40.A#60.c#304.w#4.s#7.asp
FAIL
900
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#7.asp
FAIL
900
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#6.asp
FAIL
900
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#3.asp
FAIL
900
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#1.asp
FAIL
900
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#7.asp
FAIL
900
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#5.asp
FAIL
900
ci.e#1.a#3.E#40.A#60.c#296.w#2.s#6.asp
FAIL
900
ci.e#1.a#3.E#40.A#60.c#288.w#6.s#2.asp
FAIL
900
ci.e#1.a#3.E#40.A#60.c#288.w#4.s#8.asp
FAIL
900
x300.8
FAIL
900
x300.6
FAIL
900
x220.12
FAIL
900
x220.10
FAIL
900
x165.6
FAIL
900
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#3.asp
FAIL
900
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#4.asp
FAIL
900
ci.e#1.a#3.E#40.A#60.c#320.w#4.s#8.asp
FAIL
900
ci.e#1.a#3.E#40.A#60.c#336.w#4.s#5.asp
FAIL
900
ci.e#1.a#3.E#40.A#60.c#344.w#4.s#5.asp
FAIL
900
ci.e#1.a#3.E#40.A#60.c#352.w#4.s#8.asp
FAIL
900
x165.3
FAIL
900
ci.e#1.a#3.E#40.A#60.c#352.w#6.s#8.asp
FAIL
900
ci.e#1.a#3.E#40.A#60.c#360.w#2.s#8.asp
FAIL
900
ci.e#1.a#3.E#40.A#60.c#360.w#4.s#1.asp
FAIL
900
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#2.asp
FAIL
900
ci.e#1.a#3.E#40.A#60.c#312.w#2.s#3.asp
FAIL
900
x165.8
FAIL
900
x165.9
FAIL
900
x220.0
FAIL
900
x210.9
FAIL
900
x210.7
FAIL
900
x210.6
FAIL
900
x210.3
FAIL
900
x210.1
FAIL
900
x210.17
FAIL
900
x210.16
FAIL
900
x210.15
FAIL
900
x210.12
FAIL
900
x210.11
FAIL
900
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#7.asp
FAIL
900
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#3.asp
FAIL
900
Q_3-3_v-100-100_r-13.8
FAIL
900
Q_3-3_v-100-100_r-11.2
FAIL
900
Q_3-3_v-100-100_r-11.1
FAIL
900
Q_3-3_v-100-100_r-11.0
FAIL
900
Q_2-3_v-80-100_r-9.8
FAIL
900
Q_2-3_v-80-100_r-9.7
FAIL
900
Q_2-3_v-80-100_r-9.6
FAIL
900
Q_2-3_v-80-100_r-9.5
FAIL
900
Q_2-3_v-80-100_r-9.4
FAIL
900
Q_2-3_v-80-100_r-9.3
FAIL
900
Q_2-3_v-80-100_r-9.2
FAIL
900
Q_2-3_v-80-100_r-9.1
FAIL
900
Q_2-3_v-80-100_r-9.0
FAIL
900
Q_3-3_v-100-100_r-11.3
FAIL
900
Q_3-3_v-100-100_r-11.4
FAIL
900
Q_3-3_v-100-100_r-11.5
FAIL
900
Q_3-3_v-100-100_r-13.7
FAIL
900
Q_3-3_v-100-100_r-13.6
FAIL
900
Q_3-3_v-100-100_r-13.5
FAIL
900
Q_3-3_v-100-100_r-13.4
FAIL
900
Q_3-3_v-100-100_r-13.3
FAIL
900
Q_3-3_v-100-100_r-13.2
FAIL
900
Q_3-3_v-100-100_r-13.1
FAIL
900
Q_3-3_v-100-100_r-13.0
FAIL
900
Q_3-3_v-100-100_r-11.9
FAIL
900
Q_3-3_v-100-100_r-11.8
FAIL
900
Q_3-3_v-100-100_r-11.7
FAIL
900
Q_3-3_v-100-100_r-11.6
FAIL
900
Q_2-3_v-80-100_r-7.9
FAIL
900
Q_2-3_v-80-100_r-7.8
FAIL
900
Q_2-3_v-80-100_r-5.2
FAIL
900
Q_2-3_v-80-100_r-5.1
FAIL
900
Q_2-3_v-80-100_r-13.8
FAIL
900
Q_2-3_v-80-100_r-13.7
FAIL
900
Q_2-3_v-80-100_r-13.6
FAIL
900
Q_2-3_v-80-100_r-13.5
FAIL
900
Q_2-3_v-80-100_r-13.4
FAIL
900
Q_2-3_v-80-100_r-13.1
FAIL
900
Q_2-3_v-80-100_r-13.0
FAIL
900
Q_2-3_v-80-100_r-11.9
FAIL
900
Q_2-3_v-80-100_r-11.8
FAIL
900
Q_2-3_v-80-100_r-11.7
FAIL
900
Q_2-3_v-80-100_r-5.3
FAIL
900
Q_2-3_v-80-100_r-5.4
FAIL
900
Q_2-3_v-80-100_r-5.5
FAIL
900
Q_2-3_v-80-100_r-7.7
FAIL
900
Q_2-3_v-80-100_r-7.6
FAIL
900
Q_2-3_v-80-100_r-7.5
FAIL
900
Q_2-3_v-80-100_r-7.4
FAIL
900
Q_2-3_v-80-100_r-7.3
FAIL
900
Q_2-3_v-80-100_r-7.2
FAIL
900
Q_2-3_v-80-100_r-7.1
FAIL
900
Q_2-3_v-80-100_r-7.0
FAIL
900
Q_2-3_v-80-100_r-5.9
FAIL
900
Q_2-3_v-80-100_r-5.8
FAIL
900
Q_2-3_v-80-100_r-5.7
FAIL
900
Q_2-3_v-80-100_r-5.6
FAIL
900
Q_2-3_v-80-100_r-11.6
FAIL
900
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#2.asp
FAIL
900
ctrl.e#1.a#3.E#134.A#48.c#.w#9.s#40.asp
FAIL
900
ctrl.e#1.a#3.E#130.A#48.c#.w#7.s#11.asp
FAIL
900
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#7.asp
FAIL
900
ctrl.e#1.a#3.E#124.A#48.c#.w#7.s#50.asp
FAIL
900
ctrl.e#1.a#3.E#122.A#48.c#.w#3.s#51.asp
FAIL
900
ctrl.e#1.a#3.E#120.A#48.c#.w#3.s#3.asp
FAIL
900
ctrl.e#1.a#3.E#118.A#48.c#.w#5.s#7.asp
FAIL
900
ctrl.e#1.a#3.E#116.A#48.c#.w#7.s#56.asp
FAIL
900
ctrl.e#1.a#3.E#112.A#48.c#.w#5.s#27.asp
FAIL
900
ctrl.e#1.a#3.E#110.A#48.c#.w#9.s#13.asp
FAIL
900
Q_2-3_v-80-100_r-5.0
FAIL
900
Q_3-3_v-100-100_r-19.9
FAIL
900
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#17.asp
FAIL
900
Q_2-3_v-80-100_r-11.4
FAIL
900
Q_2-3_v-80-100_r-11.3
FAIL
900
ci.e#1.a#3.E#40.A#60.c#400.w#4.s#5.asp
FAIL
900
ci.e#1.a#3.E#40.A#60.c#400.w#6.s#4.asp
FAIL
900
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#1.asp
FAIL
900
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#2.asp
FAIL
900
ci.e#1.a#3.E#40.A#60.c#408.w#4.s#3.asp
FAIL
900
ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.asp
FAIL
900
ci.e#1.a#3.E#40.A#60.c#424.w#4.s#2.asp
FAIL
900
x220.6
FAIL
900
Q_2-3_v-80-100_r-9.9
FAIL
900
Q_2-3_v-80-100_r-11.0
FAIL
900
Q_2-3_v-80-100_r-11.1
FAIL
900
Q_2-3_v-80-100_r-11.2
FAIL
900
Q_3-3_v-100-100_r-19.8
FAIL
900
Q_3-3_v-100-100_r-19.7
FAIL
900
Q_3-3_v-100-100_r-17.1
FAIL
900
Q_3-3_v-100-100_r-17.0
FAIL
900
Q_3-3_v-100-100_r-15.9
FAIL
900
Q_3-3_v-100-100_r-15.8
FAIL
900
Q_3-3_v-100-100_r-15.7
FAIL
900
Q_3-3_v-100-100_r-15.6
FAIL
900
Q_3-3_v-100-100_r-15.5
FAIL
900
Q_3-3_v-100-100_r-15.4
FAIL
900
Q_3-3_v-100-100_r-15.3
FAIL
900
Q_3-3_v-100-100_r-15.2
FAIL
900
Q_3-3_v-100-100_r-15.1
FAIL
900
Q_3-3_v-100-100_r-15.0
FAIL
900
Q_3-3_v-100-100_r-17.2
FAIL
900
Q_2-3_v-80-100_r-11.5
FAIL
900
Q_3-3_v-100-100_r-17.4
FAIL
900
Q_3-3_v-100-100_r-19.6
FAIL
900
Q_3-3_v-100-100_r-19.5
FAIL
900
Q_3-3_v-100-100_r-19.4
FAIL
900
Q_3-3_v-100-100_r-19.3
FAIL
900
Q_3-3_v-100-100_r-19.2
FAIL
900
Q_3-3_v-100-100_r-19.1
FAIL
900
Q_3-3_v-100-100_r-19.0
FAIL
900
Q_3-3_v-100-100_r-17.9
FAIL
900
Q_3-3_v-100-100_r-17.8
FAIL
900
Q_3-3_v-100-100_r-17.7
FAIL
900
Q_3-3_v-100-100_r-17.6
FAIL
900
Q_3-3_v-100-100_r-17.5
FAIL
900
Q_3-3_v-100-100_r-13.9
FAIL
900
Contact
|
Organization
|
Links
|
Citing QBFLIB