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
qbfrelay
QBFEVAL'17 - Random QBFs Track
Instance
Result
Time
hex_hein_4x4_04
SAT
0.1
Q_2-3_v-80-100_r-13.4
UNSAT
0.66
ttt_5x5-shape-0-GTTT-1-2-torus-0
SAT
1.81
ttt_5x5-shape-0-GTTT-1-2-torus-1
SAT
1.82
ttt_5x5-shape-0-GTTT-2-2-torus-1
SAT
1.82
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#18.asp
SAT
1.82
ttt_5x5-shape-0-GTTT-2-2-torus-0
SAT
1.98
Q_2-3_v-80-100_r-11.2
FAIL
2.97
Q_2-3_v-80-100_r-11.4
FAIL
3.08
Q_2-3_v-80-100_r-11.3
FAIL
3.1
Q_2-3_v-80-100_r-11.6
FAIL
3.1
Q_2-3_v-80-100_r-11.8
FAIL
3.13
Q_2-3_v-80-100_r-11.1
FAIL
3.14
Q_2-3_v-80-100_r-11.5
FAIL
3.23
Q_2-3_v-80-100_r-11.9
FAIL
3.24
Q_3-3_v-100-100_r-11.2
FAIL
3.27
Q_2-3_v-80-100_r-11.0
FAIL
3.28
Q_3-3_v-100-100_r-11.1
FAIL
3.31
Q_3-3_v-100-100_r-11.7
FAIL
3.31
Q_3-3_v-100-100_r-13.4
FAIL
3.32
Q_3-3_v-100-100_r-11.6
FAIL
3.33
Q_2-3_v-80-100_r-5.0
FAIL
3.35
Q_3-3_v-100-100_r-11.9
FAIL
3.4
Q_2-3_v-80-100_r-13.8
FAIL
3.4
Q_2-3_v-80-100_r-7.9
FAIL
3.41
Q_2-3_v-80-100_r-13.7
FAIL
3.42
Q_2-3_v-80-100_r-13.0
FAIL
3.43
Q_2-3_v-80-100_r-13.6
FAIL
3.45
Q_3-3_v-100-100_r-13.3
FAIL
3.45
Q_3-3_v-100-100_r-11.0
FAIL
3.46
Q_2-3_v-80-100_r-7.3
FAIL
3.46
Q_2-3_v-80-100_r-13.5
FAIL
3.47
Q_3-3_v-100-100_r-11.3
FAIL
3.48
Q_2-3_v-80-100_r-13.1
FAIL
3.51
Q_2-3_v-80-100_r-5.8
FAIL
3.52
Q_2-3_v-80-100_r-5.7
FAIL
3.52
Q_2-3_v-80-100_r-7.4
FAIL
3.53
Q_2-3_v-80-100_r-7.5
FAIL
3.54
Q_3-3_v-100-100_r-13.5
FAIL
3.54
Q_2-3_v-80-100_r-7.2
FAIL
3.56
Q_3-3_v-100-100_r-13.2
FAIL
3.56
Q_2-3_v-80-100_r-5.5
FAIL
3.56
Q_2-3_v-80-100_r-9.4
FAIL
3.57
Q_2-3_v-80-100_r-11.7
FAIL
3.58
Q_3-3_v-100-100_r-11.8
FAIL
3.58
Q_3-3_v-100-100_r-15.5
FAIL
3.6
Q_3-3_v-100-100_r-17.7
FAIL
3.6
Q_3-3_v-100-100_r-15.7
FAIL
3.61
Q_3-3_v-100-100_r-13.8
FAIL
3.61
Q_3-3_v-100-100_r-11.5
FAIL
3.61
Q_3-3_v-100-100_r-13.6
FAIL
3.61
Q_2-3_v-80-100_r-5.3
FAIL
3.63
Q_3-3_v-100-100_r-13.1
FAIL
3.63
Q_2-3_v-80-100_r-9.1
FAIL
3.65
Q_3-3_v-100-100_r-17.4
FAIL
3.65
Q_2-3_v-80-100_r-7.6
FAIL
3.65
Q_3-3_v-100-100_r-11.4
FAIL
3.68
Q_2-3_v-80-100_r-5.2
FAIL
3.7
Q_2-3_v-80-100_r-9.6
FAIL
3.71
Q_2-3_v-80-100_r-9.0
FAIL
3.72
Q_3-3_v-100-100_r-15.9
FAIL
3.73
Q_2-3_v-80-100_r-7.1
FAIL
3.73
Q_3-3_v-100-100_r-15.4
FAIL
3.74
Q_3-3_v-100-100_r-17.3
FAIL
3.75
Q_2-3_v-80-100_r-5.9
FAIL
3.75
Q_3-3_v-100-100_r-15.1
FAIL
3.77
Q_2-3_v-80-100_r-5.4
FAIL
3.77
Q_2-3_v-80-100_r-7.8
FAIL
3.77
Q_3-3_v-100-100_r-17.6
FAIL
3.78
Q_3-3_v-100-100_r-17.9
FAIL
3.79
Q_3-3_v-100-100_r-15.8
FAIL
3.79
Q_3-3_v-100-100_r-15.6
FAIL
3.8
Q_3-3_v-100-100_r-15.0
FAIL
3.8
Q_2-3_v-80-100_r-7.0
FAIL
3.81
Q_2-3_v-80-100_r-5.6
FAIL
3.81
Q_2-3_v-80-100_r-9.3
FAIL
3.82
Q_2-3_v-80-100_r-5.1
FAIL
3.83
Q_3-3_v-100-100_r-19.4
FAIL
3.83
Q_3-3_v-100-100_r-13.9
FAIL
3.83
Q_2-3_v-80-100_r-9.9
FAIL
3.84
Q_2-3_v-80-100_r-9.7
FAIL
3.84
Q_3-3_v-100-100_r-13.0
FAIL
3.87
Q_3-3_v-100-100_r-13.7
FAIL
3.88
Q_3-3_v-100-100_r-17.8
FAIL
3.88
Q_3-3_v-100-100_r-17.0
FAIL
3.9
Q_3-3_v-100-100_r-17.2
FAIL
3.91
Q_3-3_v-100-100_r-19.2
FAIL
3.92
Q_3-3_v-100-100_r-15.2
FAIL
3.93
Q_3-3_v-100-100_r-17.5
FAIL
3.93
Q_2-3_v-80-100_r-9.5
FAIL
3.93
Q_2-3_v-80-100_r-9.8
FAIL
3.96
Q_3-3_v-100-100_r-19.7
FAIL
3.96
Q_3-3_v-100-100_r-17.1
FAIL
3.98
Q_3-3_v-100-100_r-19.5
FAIL
3.99
Q_3-3_v-100-100_r-15.3
FAIL
4
Q_3-3_v-100-100_r-19.3
FAIL
4.01
Q_2-3_v-80-100_r-9.2
FAIL
4.02
Q_3-3_v-100-100_r-19.1
FAIL
4.1
Q_3-3_v-100-100_r-19.8
FAIL
4.11
Q_3-3_v-100-100_r-19.9
FAIL
4.16
Q_3-3_v-100-100_r-19.0
FAIL
4.24
Q_3-3_v-100-100_r-19.6
FAIL
4.87
Q_2-3_v-80-100_r-7.7
FAIL
6.49
klieber2017q-104-26-eq
FAIL
6.61
klieber2017q-108-27-t1
FAIL
6.99
klieber2017q-104-26-t1
FAIL
7.01
klieber2017q-112-28-t1
FAIL
7.68
ci.e#1.a#3.E#40.A#60.c#312.w#2.s#3.asp
FAIL
7.77
ci.e#1.a#3.E#40.A#60.c#296.w#2.s#6.asp
FAIL
7.89
klieber2017q-112-28-eq
FAIL
7.92
ctrl.e#1.a#3.E#110.A#48.c#.w#9.s#13.asp
SAT
8.1
klieber2017q-116-29-eq
FAIL
8.27
ci.e#1.a#3.E#40.A#60.c#360.w#2.s#8.asp
FAIL
8.36
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#3.asp
FAIL
8.39
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#2.asp
FAIL
8.4
klieber2017q-108-27-eq
FAIL
8.41
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#4.asp
FAIL
8.66
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#8.asp
FAIL
8.92
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#7.asp
FAIL
8.96
klieber2017q-092-23-eq
FAIL
8.97
klieber2017q-096-24-eq
FAIL
9.02
klieber2017q-100-25-eq
FAIL
9.08
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#5.asp
FAIL
9.19
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#2.asp
FAIL
9.27
klieber2017q-100-25-t1
FAIL
9.35
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.asp
FAIL
9.37
klieber2017q-096-24-t1
FAIL
9.37
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#2.asp
FAIL
9.38
ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.asp
FAIL
9.52
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#1.asp
FAIL
9.65
klieber2017q-092-23-t1
FAIL
9.7
klieber2017q-116-29-t1
FAIL
9.91
ctrl.e#1.a#3.E#120.A#48.c#.w#3.s#3.asp
FAIL
10.15
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#14.asp
FAIL
10.31
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#19.asp
FAIL
10.36
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#13.asp
FAIL
10.36
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#15.asp
FAIL
10.37
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#11.asp
FAIL
10.51
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#17.asp
FAIL
10.59
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#16.asp
FAIL
10.61
ctrl.e#1.a#3.E#122.A#48.c#.w#3.s#51.asp
FAIL
10.66
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#20.asp
FAIL
10.85
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#12.asp
FAIL
10.91
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#10.asp
FAIL
10.97
hex_hein_7x7_18
SAT
11.65
klieber2017q-084-21-t1
UNSAT
12.16
klieber2017q-076-19-t1
UNSAT
13.63
hex_rand_6x6-12m-9
FAIL
13.96
ctrl.e#1.a#3.E#112.A#48.c#.w#5.s#27.asp
FAIL
15.46
hex_rand_6x6-12m-8
FAIL
15.71
ctrl.e#1.a#3.E#118.A#48.c#.w#5.s#7.asp
FAIL
16.13
hex_rand_6x6-12m-5
FAIL
17.7
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#3.asp
FAIL
18.39
ci.e#1.a#3.E#40.A#60.c#288.w#4.s#8.asp
FAIL
18.73
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#17.asp
FAIL
18.86
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#16.asp
FAIL
19.06
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#20.asp
FAIL
19.06
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#13.asp
FAIL
19.16
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#11.asp
FAIL
19.21
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#15.asp
FAIL
19.4
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#14.asp
FAIL
19.57
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#18.asp
FAIL
19.57
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#19.asp
FAIL
19.63
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#12.asp
FAIL
19.86
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#7.asp
FAIL
20
ci.e#1.a#3.E#40.A#60.c#304.w#4.s#7.asp
FAIL
20.17
ci.e#1.a#3.E#40.A#60.c#336.w#4.s#5.asp
FAIL
20.41
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#10.asp
FAIL
20.51
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#6.asp
FAIL
20.88
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#4.asp
FAIL
20.91
ci.e#1.a#3.E#40.A#60.c#320.w#4.s#8.asp
FAIL
21.24
ttt_5x5-shape-3-GTTT-1-2-torus-1
FAIL
21.32
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#5.asp
FAIL
21.41
hex_rand_6x6-12m-4
FAIL
21.59
hex_rand_6x6-12m-0
FAIL
21.61
ncf_16_64_4_d.10
FAIL
21.64
hex_rand_6x6-12m-3
FAIL
22.09
ttt_5x5-shape-3-GTTT-2-1-torus-0
FAIL
22.21
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#1.asp
FAIL
22.28
ttt_5x5-shape-3-GTTT-1-1-torus-0
FAIL
22.38
ttt_5x5-shape-3-GTTT-2-2-torus-1
FAIL
22.7
ttt_5x5-shape-1-GTTT-2-1-torus-1
FAIL
22.77
ttt_5x5-shape-3-GTTT-1-1-torus-1
FAIL
22.83
ttt_5x5-shape-0-GTTT-1-1-torus-0
FAIL
23.02
ttt_5x5-shape-2-GTTT-1-1-torus-0
FAIL
23.03
ttt_5x5-shape-2-GTTT-1-2-torus-1
FAIL
23.05
ci.e#1.a#3.E#40.A#60.c#344.w#4.s#5.asp
FAIL
23.08
ttt_5x5-shape-3-GTTT-2-1-torus-1
FAIL
23.11
ttt_5x5-shape-1-GTTT-2-1-torus-0
FAIL
23.13
ttt_5x5-shape-1-GTTT-1-1-torus-0
FAIL
23.15
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#3.asp
FAIL
23.17
ci.e#1.a#3.E#40.A#60.c#360.w#4.s#1.asp
FAIL
23.49
ci.e#1.a#3.E#40.A#60.c#352.w#4.s#8.asp
FAIL
24.03
ttt_5x5-shape-1-GTTT-2-2-torus-1
FAIL
24.23
ttt_5x5-shape-1-GTTT-1-2-torus-0
FAIL
24.83
ttt_5x5-shape-3-GTTT-1-2-torus-0
FAIL
24.98
ttt_5x5-shape-7-GTTT-2-2-torus-1
FAIL
25.27
ctrl.e#1.a#3.E#116.A#48.c#.w#7.s#56.asp
FAIL
25.3
ttt_5x5-shape-7-GTTT-1-2-torus-0
FAIL
25.46
ttt_5x5-shape-1-GTTT-1-2-torus-1
FAIL
25.59
ttt_5x5-shape-2-GTTT-2-2-torus-0
FAIL
25.59
ttt_5x5-shape-4-GTTT-1-2-torus-0
FAIL
25.62
ttt_5x5-shape-1-GTTT-2-2-torus-0
FAIL
25.69
ttt_5x5-shape-7-GTTT-1-1-torus-1
FAIL
25.77
ttt_5x5-shape-3-GTTT-2-2-torus-0
FAIL
25.78
ttt_5x5-shape-7-GTTT-1-1-torus-0
FAIL
26.03
ttt_5x5-shape-0-GTTT-2-1-torus-0
FAIL
26.1
ttt_5x5-shape-7-GTTT-1-2-torus-1
FAIL
26.44
ttt_5x5-shape-2-GTTT-1-2-torus-0
FAIL
26.62
ttt_5x5-shape-7-GTTT-2-1-torus-1
FAIL
26.65
ttt_5x5-shape-7-GTTT-2-1-torus-0
FAIL
26.66
ttt_5x5-shape-0-GTTT-2-1-torus-1
FAIL
26.72
ttt_5x5-shape-7-GTTT-2-2-torus-0
FAIL
27.09
ttt_5x5-shape-2-GTTT-1-1-torus-1
FAIL
27.12
ttt_5x5-shape-4-GTTT-2-2-torus-0
FAIL
27.19
ttt_5x5-shape-2-GTTT-2-2-torus-1
FAIL
27.44
ci.e#1.a#3.E#40.A#60.c#408.w#4.s#3.asp
FAIL
27.64
ttt_5x5-shape-6-GTTT-1-2-torus-0
FAIL
27.84
ttt_5x5-shape-6-GTTT-1-1-torus-0
FAIL
27.89
ttt_5x5-shape-1-GTTT-1-1-torus-1
FAIL
27.92
ttt_5x5-shape-6-GTTT-1-2-torus-1
FAIL
27.98
ttt_5x5-shape-6-GTTT-2-1-torus-0
FAIL
28.12
ttt_5x5-shape-4-GTTT-1-1-torus-0
FAIL
28.16
ttt_5x5-shape-4-GTTT-1-2-torus-1
FAIL
28.43
ttt_5x5-shape-2-GTTT-2-1-torus-1
FAIL
28.73
ttt_5x5-shape-6-GTTT-2-2-torus-1
FAIL
29.02
ttt_5x5-shape-2-GTTT-2-1-torus-0
FAIL
29.12
ttt_5x5-shape-6-GTTT-1-1-torus-1
FAIL
29.19
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#7.asp
FAIL
29.3
ci.e#1.a#3.E#40.A#60.c#400.w#4.s#5.asp
FAIL
29.32
ttt_5x5-shape-6-GTTT-2-1-torus-1
FAIL
29.51
ttt_5x5-shape-4-GTTT-2-1-torus-1
FAIL
29.85
ttt_5x5-shape-4-GTTT-2-1-torus-0
FAIL
30.17
ttt_5x5-shape-4-GTTT-1-1-torus-1
FAIL
30.39
ttt_5x5-shape-6-GTTT-2-2-torus-0
FAIL
30.46
ttt_5x5-shape-5-GTTT-2-2-torus-0
FAIL
31.1
ttt_5x5-shape-5-GTTT-1-2-torus-0
FAIL
31.13
ttt_5x5-shape-5-GTTT-1-1-torus-0
FAIL
31.3
ttt_5x5-shape-0-GTTT-1-1-torus-1
FAIL
31.44
ttt_5x5-shape-4-GTTT-2-2-torus-1
FAIL
32.01
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#7.asp
FAIL
32.12
hex_rand_6x6-12m-2
FAIL
32.36
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#20.asp
FAIL
32.81
ncf_16_128_2_u.7
FAIL
32.86
hex_rand_6x6-12m-7
FAIL
32.91
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#15.asp
FAIL
33
Q_2-2-3_v-100-100-100_r-35.5
FAIL
33.51
ttt_5x5-shape-5-GTTT-2-1-torus-0
FAIL
33.57
Q_2-2-3_v-100-100-100_r-35.3
FAIL
33.58
Q_2-2-3_v-100-100-100_r-35.7
FAIL
33.63
Q_2-2-3_v-100-100-100_r-35.9
FAIL
33.65
Q_2-2-3_v-100-100-100_r-35.8
FAIL
33.66
Q_2-2-3_v-100-100-100_r-35.0
FAIL
33.68
Q_3-3-3_v-100-100-100_r-30.5
FAIL
33.7
ci.e#1.a#3.E#40.A#60.c#424.w#4.s#2.asp
FAIL
33.71
Q_2-2-3_v-100-100-100_r-35.6
FAIL
33.72
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#12.asp
FAIL
33.73
Q_2-2-3_v-100-100-100_r-35.1
FAIL
33.74
Q_2-2-3_v-100-100-100_r-35.4
FAIL
33.74
Q_3-3-3_v-100-100-100_r-30.2
FAIL
33.76
Q_3-3-3_v-100-100-100_r-30.6
FAIL
33.76
Q_2-2-3_v-100-100-100_r-35.2
FAIL
33.77
Q_3-3-3_v-100-100-100_r-30.1
FAIL
33.79
Q_3-3-3_v-100-100-100_r-30.8
FAIL
33.81
Q_3-3-3_v-100-100-100_r-30.9
FAIL
33.83
Q_3-3-3_v-100-100-100_r-30.4
FAIL
33.84
ttt_5x5-shape-5-GTTT-1-2-torus-1
FAIL
33.91
Q_3-3-3_v-100-100-100_r-30.7
FAIL
33.95
Q_3-3-3_v-100-100-100_r-30.0
FAIL
33.96
Q_3-3-3_v-100-100-100_r-30.3
FAIL
33.96
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#17.asp
FAIL
34.54
ncf_16_128_2_u.3
FAIL
34.56
Q_2-2-3_v-100-100-100_r-45.2
FAIL
34.62
Q_2-2-3_v-100-100-100_r-45.5
FAIL
34.87
Q_2-2-3_v-100-100-100_r-45.6
FAIL
34.9
Q_2-2-3_v-100-100-100_r-45.9
FAIL
34.98
Q_2-2-3_v-100-100-100_r-45.4
FAIL
35.01
Q_3-3-3_v-100-100-100_r-40.1
FAIL
35.04
Q_2-2-3_v-100-100-100_r-45.8
FAIL
35.06
Q_3-3-3_v-100-100-100_r-40.9
FAIL
35.11
Q_3-3-3_v-100-100-100_r-40.3
FAIL
35.11
ncf_16_128_2_u.1
FAIL
35.14
Q_3-3-3_v-100-100-100_r-40.2
FAIL
35.16
Q_3-3-3_v-100-100-100_r-40.4
FAIL
35.16
Q_3-3-3_v-100-100-100_r-40.6
FAIL
35.16
Q_3-3-3_v-100-100-100_r-40.8
FAIL
35.17
Q_2-2-3_v-100-100-100_r-45.3
FAIL
35.18
Q_3-3-3_v-100-100-100_r-40.5
FAIL
35.22
Q_2-2-3_v-100-100-100_r-45.7
FAIL
35.29
Q_3-3-3_v-100-100-100_r-40.0
FAIL
35.3
Q_3-3-3_v-100-100-100_r-40.7
FAIL
35.33
Q_2-2-3_v-100-100-100_r-45.0
FAIL
35.35
ttt_5x5-shape-5-GTTT-2-2-torus-1
FAIL
35.35
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#7.asp
FAIL
35.51
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#14.asp
FAIL
35.55
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#19.asp
FAIL
35.57
Q_2-2-3_v-100-100-100_r-45.1
FAIL
35.59
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#18.asp
FAIL
35.62
ncf_16_128_2_u.5
FAIL
35.64
ncf_16_128_2_u.9
FAIL
35.64
ci.e#1.a#3.E#40.A#60.c#288.w#6.s#2.asp
FAIL
35.65
ncf_16_128_2_u.4
FAIL
35.79
ttt_5x5-shape-5-GTTT-2-1-torus-1
FAIL
35.84
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#16.asp
FAIL
35.92
ncf_16_128_2_u.6
FAIL
36.61
ttt_5x5-shape-5-GTTT-1-1-torus-1
FAIL
36.64
Q_3-3-3_v-100-100-100_r-50.2
FAIL
37.17
Q_3-3-3_v-100-100-100_r-50.4
FAIL
37.22
Q_3-3-3_v-100-100-100_r-50.5
FAIL
37.23
Q_3-3-3_v-100-100-100_r-50.8
FAIL
37.24
Q_3-3-3_v-100-100-100_r-50.1
FAIL
37.26
Q_3-3-3_v-100-100-100_r-50.7
FAIL
37.27
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#6.asp
FAIL
37.29
Q_3-3-3_v-100-100-100_r-50.0
FAIL
37.31
Q_3-3-3_v-100-100-100_r-50.3
FAIL
37.34
Q_3-3-3_v-100-100-100_r-50.9
FAIL
37.37
Q_3-3-3_v-100-100-100_r-50.6
FAIL
37.47
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#1.asp
FAIL
37.58
ci.e#1.a#3.E#40.A#60.c#304.w#6.s#8.asp
FAIL
37.84
ncf_16_128_2_u.10
FAIL
37.98
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#10.asp
FAIL
38.6
ncf_16_128_2_u.8
FAIL
38.62
Q_3-3-3_v-100-100-100_r-60.3
FAIL
39.21
Q_3-3-3_v-100-100-100_r-60.2
FAIL
39.26
Q_3-3-3_v-100-100-100_r-60.4
FAIL
39.35
Q_3-3-3_v-100-100-100_r-60.1
FAIL
39.36
ncf_16_128_2_u.2
FAIL
39.37
Q_3-3-3_v-100-100-100_r-60.0
FAIL
39.37
Q_3-3-3_v-100-100-100_r-60.8
FAIL
39.38
Q_3-3-3_v-100-100-100_r-60.9
FAIL
39.39
Q_3-3-3_v-100-100-100_r-60.5
FAIL
39.5
Q_3-3-3_v-100-100-100_r-60.7
FAIL
39.51
ctrl.e#1.a#3.E#130.A#48.c#.w#7.s#11.asp
FAIL
39.51
hex_rand_6x6-12m-6
FAIL
39.51
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#3.asp
FAIL
40.05
Q_3-3-3_v-100-100-100_r-60.6
FAIL
41.3
Q_3-3-3_v-100-100-100_r-70.2
FAIL
41.33
Q_3-3-3_v-100-100-100_r-70.6
FAIL
41.47
Q_3-3-3_v-100-100-100_r-70.5
FAIL
41.54
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#13.asp
FAIL
41.56
Q_3-3-3_v-100-100-100_r-70.1
FAIL
41.57
Q_3-3-3_v-100-100-100_r-70.4
FAIL
41.65
Q_3-3-3_v-100-100-100_r-70.9
FAIL
41.75
Q_3-3-3_v-100-100-100_r-70.8
FAIL
41.76
Q_3-3-3_v-100-100-100_r-70.0
FAIL
41.78
Q_3-3-3_v-100-100-100_r-70.3
FAIL
41.8
Q_3-3-3_v-100-100-100_r-70.7
FAIL
41.85
ci.e#1.a#3.E#40.A#60.c#352.w#6.s#8.asp
FAIL
43.87
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#11.asp
FAIL
45.3
hex_rand_6x6-12m-1
FAIL
46.08
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#3.asp
FAIL
46.31
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#6.asp
FAIL
46.7
ci.e#1.a#3.E#40.A#60.c#392.w#6.s#4.asp
FAIL
46.73
ci.e#1.a#3.E#40.A#60.c#400.w#6.s#4.asp
FAIL
47.15
ctrl.e#1.a#3.E#134.A#48.c#.w#9.s#40.asp
FAIL
48
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#8.asp
FAIL
48.01
Q_2-2-3_v-100-100-100_r-55.4
FAIL
67.35
Q_2-2-3_v-100-100-100_r-55.8
FAIL
67.55
Q_2-2-3_v-100-100-100_r-55.9
FAIL
67.65
Q_2-2-3_v-100-100-100_r-55.0
FAIL
67.66
Q_2-2-3_v-100-100-100_r-55.3
FAIL
67.82
Q_2-2-3_v-100-100-100_r-55.6
FAIL
67.91
Q_2-2-3_v-100-100-100_r-55.7
FAIL
68.32
Q_2-2-3_v-100-100-100_r-55.5
FAIL
68.76
Q_2-2-3_v-100-100-100_r-55.2
FAIL
69.09
Q_2-2-3_v-100-100-100_r-55.1
FAIL
71.06
klieber2017q-078-19-t1
UNSAT
84.51
ci.e#1.a#3.E#40.A#60.c#368.w#6.s#7.asp
FAIL
86.28
hex_rand_6x6-6m-5
FAIL
91.93
Q_2-2-3_v-100-100-100_r-65.4
FAIL
96.18
Q_2-2-3_v-100-100-100_r-65.2
FAIL
97.83
ctrl.e#1.a#3.E#124.A#48.c#.w#7.s#50.asp
FAIL
97.84
Q_2-2-3_v-100-100-100_r-65.3
FAIL
99.65
hex_rand_6x6-6m-7
FAIL
105.27
hex_rand_6x6-6m-1
FAIL
107.05
Q_2-2-3_v-100-100-100_r-65.7
FAIL
126.63
hex_hein_6x6_03
FAIL
139.8
Q_2-2-3_v-100-100-100_r-65.9
FAIL
147.18
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#7.asp
FAIL
159.62
hex_rand_6x6-6m-3
FAIL
160.32
ncf_16_128_8_edau.8
FAIL
160.87
ncf_16_128_8_euad.8
FAIL
163.59
ncf_16_128_8_edau.7
FAIL
166.97
ncf_16_128_8_euad.4
FAIL
169.15
ncf_16_128_8_euad.9
FAIL
170.72
ncf_16_128_8_edau.4
FAIL
170.97
ncf_16_128_8_euad.10
FAIL
178.97
ncf_16_128_8_euad.3
FAIL
179.16
ncf_16_128_8_euad.5
FAIL
180.14
ncf_16_128_8_euad.1
FAIL
182.6
ncf_16_128_8_edau.9
FAIL
186.18
ncf_16_128_8_edau.5
FAIL
188.15
Q_2-2-3_v-100-100-100_r-65.1
FAIL
188.15
ncf_16_128_8_euad.7
FAIL
189.56
Q_2-2-3_v-100-100-100_r-75.2
FAIL
195.98
ncf_16_128_8_euad.6
FAIL
196.14
Q_2-2-3_v-100-100-100_r-75.3
FAIL
196.17
Q_2-2-3_v-100-100-100_r-75.4
FAIL
196.77
ncf_16_128_8_edau.6
FAIL
197.03
Q_2-2-3_v-100-100-100_r-75.0
FAIL
197.73
hex_rand_6x6-6m-0
FAIL
197.74
ncf_16_128_8_edau.3
FAIL
197.86
Q_2-2-3_v-100-100-100_r-75.6
FAIL
197.86
ncf_16_128_8_euad.2
FAIL
198.88
Q_2-2-3_v-100-100-100_r-75.5
FAIL
199.03
Q_2-2-3_v-100-100-100_r-75.9
FAIL
199.14
ncf_16_128_8_edau.1
FAIL
199.58
Q_2-2-3_v-100-100-100_r-75.7
FAIL
199.67
Q_2-2-3_v-100-100-100_r-65.5
FAIL
200.39
Q_2-2-3_v-100-100-100_r-75.8
FAIL
200.86
Q_2-2-3_v-100-100-100_r-75.1
FAIL
201.98
ncf_16_128_8_edau.10
FAIL
215.67
klieber2017q-082-20-t1
UNSAT
219.61
ncf_16_128_8_edau.2
FAIL
220.62
Q_2-2-3_v-100-100-100_r-65.8
FAIL
266.77
Q_2-2-3_v-100-100-100_r-65.0
FAIL
274.17
hex_hein_5x5_05
FAIL
296.9
hex_rand_6x6-6m-4
FAIL
310.05
Q_2-2-3_v-100-100-100_r-65.6
FAIL
315.32
x165.13
FAIL
318.96
x165.8
FAIL
347.44
x165.10
FAIL
350.14
x165.17
FAIL
353.84
klieber2017q-086-21-t1
UNSAT
384.98
x165.11
FAIL
431.15
hex_hein_6x6_20
FAIL
449.6
hex_rand_6x6-6m-9
FAIL
455.77
x165.19
FAIL
457.44
x165.9
FAIL
470.75
x165.0
FAIL
481.51
x165.6
FAIL
496.22
hex_rand_6x6-6m-8
FAIL
565
hex_rand_6x6-6m-6
FAIL
585.39
x165.3
FAIL
586.17
hex_rand_6x6-20m-9
FAIL
606.96
x220.12
FAIL
614.69
hex_rand_6x6-20m-2
FAIL
638.18
klieber2017q-088-22-eq
FAIL
651.77
hex_rand_6x6-20m-5
FAIL
653.58
hex_hein_5x5_08
FAIL
654.2
hex_hein_4x4_06
FAIL
664.05
hex_rand_6x6-20m-7
FAIL
673.16
hex_rand_6x6-20m-4
FAIL
674.81
hex_hein_4x4_09
FAIL
690.17
hex_rand_6x6-20m-0
FAIL
693.94
klieber2017q-088-22-t1
FAIL
703.19
hex_hein_4x4_07
FAIL
705
hex_rand_6x6-20m-1
FAIL
708.34
hex_hein_5x5_02
FAIL
710.22
x220.9
FAIL
711.45
x210.16
FAIL
712.97
hex_rand_6x6-6m-2
FAIL
724.53
x210.11
FAIL
727.87
hex_rand_6x6-20m-6
FAIL
728.55
hex_rand_6x6-20m-3
FAIL
733.82
x210.17
FAIL
739.13
hex_rand_6x6-20m-8
FAIL
740.24
x210.1
FAIL
755.16
x210.6
FAIL
768.28
hex_hein_4x4_12
FAIL
770.09
x220.2
FAIL
771.63
hex_hein_5x5_11
FAIL
771.85
hex_hein_5x5_13
FAIL
774.17
hex_hein_5x5_10
FAIL
791.72
x220.10
FAIL
794.97
klieber2017q-080-20-eq
FAIL
811.46
hex_hein_5x5_15
FAIL
826.01
hex_hein_5x5_16
FAIL
828.36
klieber2017q-082-20-eq
FAIL
829.96
hex_hein_5x5_19
FAIL
833.52
x210.15
FAIL
853.07
x220.6
FAIL
859.85
x210.9
FAIL
861.07
klieber2017q-086-21-eq
FAIL
863.84
x210.12
FAIL
869.62
klieber2017q-080-20-t1
FAIL
869.81
klieber2017q-084-21-eq
FAIL
874.24
x300.15
FAIL
880.82
x220.8
FAIL
881.35
x300.6
FAIL
881.82
x210.3
FAIL
885.1
x300.4
FAIL
886.12
x300.12
FAIL
887.6
x220.0
FAIL
887.62
x220.13
FAIL
889.05
x220.16
FAIL
889.47
x300.5
FAIL
890.18
x300.19
FAIL
890.47
x300.1
FAIL
891.31
x300.3
FAIL
891.52
x300.16
FAIL
892.26
hex_hein_6x6_17
FAIL
893.98
x210.7
FAIL
894.1
hex_hein_5x5_14
FAIL
894.69
x300.8
FAIL
894.75
x220.19
FAIL
894.94
klieber2017q-074-18-eq
FAIL
895.34
robots_1_5_2_93.9
FAIL
895.48
robots_1_5_2_65.10
FAIL
895.91
robots_1_5_2_65.8
FAIL
896.14
robots_1_5_2_93.10
FAIL
896.86
klieber2017q-078-19-eq
FAIL
900
klieber2017q-076-19-eq
FAIL
900
klieber2017q-074-18-t1
FAIL
900
robots_1_5_2_65.9
FAIL
900
Contact
|
Organization
|
Links
|
Citing QBFLIB