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
QuBE7
QBFEVAL'10 - Random QBFs Track.
Instance
Result
Time
ncf_8_16_4_d.10
SAT
0.01
Qq2k3k3v20v20m80s9
SAT
0.01
ncf_8_16_4_u.1
SAT
0.01
Qq2k3k3v20v20m80s6
SAT
0.01
Qq2k3k3v20v20m80s5
SAT
0.01
ncf_8_16_4_u.5
UNSAT
0.02
ncf_8_16_4_edau.4
SAT
0.02
ncf_8_16_4_edau.10
SAT
0.02
Qq2k3k3v20v20m80s1
SAT
0.02
Qq2k3k3v20v20m80s4
SAT
0.02
Qq2k3k3v20v20m80s3
SAT
0.02
ncf_8_16_4_d.6
UNSAT
0.02
Qq2k3k3v20v20m80s10
SAT
0.02
ncf_8_16_4_euad.1
SAT
0.02
ncf_8_16_4_edau.1
SAT
0.02
ncf_8_16_4_euad.5
UNSAT
0.02
ncf_8_16_4_u.10
SAT
0.02
Qq2k3k3v20v20m80s2
SAT
0.02
Qq2k3k3v20v20m80s8
SAT
0.02
ncf_8_16_4_d.4
SAT
0.02
ncf_8_16_4_edau.5
UNSAT
0.02
ncf_8_16_4_u.2
UNSAT
0.02
ncf_8_16_4_edau.6
UNSAT
0.02
Qq2k3k3v20v20m80s7
SAT
0.02
Qq2k3k3v20v20m120s3
SAT
0.02
ncf_8_16_4_d.5
UNSAT
0.02
ncf_8_16_4_d.2
UNSAT
0.03
ncf_8_16_4_d.1
SAT
0.03
ncf_8_16_4_euad.6
UNSAT
0.03
ncf_8_16_4_edau.2
UNSAT
0.03
ncf_8_16_4_edau.8
UNSAT
0.03
ncf_8_16_4_euad.10
SAT
0.03
ncf_8_16_4_u.6
UNSAT
0.03
ncf_8_16_4_euad.2
UNSAT
0.03
ncf_8_16_4_d.8
UNSAT
0.03
Qq2k3k3v20v20m120s2
SAT
0.04
Qq2k3k3v20v20m400s6
UNSAT
0.04
ncf_8_16_4_u.8
UNSAT
0.04
ncf_8_16_4_euad.8
UNSAT
0.04
Qq2k3k3v20v20m120s5
SAT
0.04
Qq2k3k3v20v20m120s7
SAT
0.04
Qq2k3k3v20v20m120s6
SAT
0.04
Qq2k3k3v20v20m120s10
SAT
0.04
Qq2k3k3v20v20m120s4
SAT
0.05
Qq2k3k3v20v20m120s1
SAT
0.05
Qq2k3k3v20v20m120s9
SAT
0.06
Qq2k3k3v20v20m360s6
UNSAT
0.06
ncf_8_16_4_edau.9
UNSAT
0.07
ncf_8_16_4_d.9
UNSAT
0.07
ncf_8_16_4_d.3
SAT
0.07
Qq2k3k3v20v20m120s8
SAT
0.07
ncf_8_16_4_edau.3
SAT
0.08
ncf_16_32_8_edau.4
SAT
0.08
ncf_16_32_8_d.4
SAT
0.09
ncf_16_32_8_d.8
UNSAT
0.09
ncf_16_32_8_edau.8
UNSAT
0.09
Qq2k3k3v20v20m400s4
UNSAT
0.09
ncf_16_32_8_euad.4
SAT
0.09
Qq2k3k3v20v20m160s3
SAT
0.1
ncf_16_32_8_d.3
SAT
0.1
ncf_16_32_8_u.4
SAT
0.1
ncf_16_32_8_edau.3
SAT
0.1
ncf_16_32_8_edau.10
SAT
0.11
ncf_16_32_8_d.10
SAT
0.12
ncf_8_16_4_euad.4
SAT
0.12
ncf_8_16_4_u.4
SAT
0.13
ncf_16_32_8_u.8
UNSAT
0.17
ncf_16_32_8_euad.8
UNSAT
0.18
Qq2k3k3v20v20m160s7
SAT
0.18
Qq2k3k3v20v20m160s1
SAT
0.24
x30.7
UNSAT
0.24
x30.2
UNSAT
0.24
Qq2k3k3v20v20m360s2
UNSAT
0.24
Qq2k3k3v20v20m400s8
UNSAT
0.25
x30.5
UNSAT
0.26
ncf_8_16_4_u.9
UNSAT
0.29
x30.9
UNSAT
0.31
x30.8
UNSAT
0.32
x30.4
SAT
0.33
x30.0
UNSAT
0.34
x30.3
SAT
0.34
Qq2k3k3v20v20m160s5
SAT
0.34
ncf_8_16_4_euad.9
UNSAT
0.34
Qq2k3k3v50v50m200s7
SAT
0.35
Qq2k3k3v20v20m160s10
SAT
0.35
x30.1
UNSAT
0.36
x30.6
SAT
0.37
ncf_8_16_4_u.7
SAT
0.38
Qq2k3k3v20v20m400s2
UNSAT
0.38
ncf_8_16_4_edau.7
SAT
0.39
ncf_16_32_8_edau.2
UNSAT
0.4
ncf_8_16_4_d.7
SAT
0.4
Qq2k3k3v20v20m160s9
SAT
0.4
Qq2k3k3v20v20m160s4
SAT
0.4
Qq2k3k3v20v20m160s8
SAT
0.42
Qq2k3k3v20v20m400s5
UNSAT
0.44
Qq2k3k3v20v20m160s2
SAT
0.44
Qq2k3k3v20v20m160s6
SAT
0.61
ncf_16_32_8_d.2
UNSAT
0.75
Qq2k3k3v20v20m360s9
UNSAT
0.77
Qq2k3k3v50v50m200s10
SAT
0.77
Qq2k3k3v20v20m200s3
SAT
0.84
ncf_8_16_4_euad.3
SAT
0.85
Qq2k3k3v20v20m400s10
UNSAT
0.93
x60.4
UNSAT
0.96
Qq2k3k3v20v20m360s5
UNSAT
0.96
ncf_8_16_4_u.3
SAT
1.04
Qq2k3k3v50v50m200s9
SAT
1.07
x60.9
UNSAT
1.11
Qq2k3k3v20v20m400s1
UNSAT
1.19
Qq2k3k3v50v50m200s8
SAT
1.2
x60.1
UNSAT
1.2
x60.6
UNSAT
1.22
Qq2k3k3v50v50m200s3
SAT
1.22
x60.0
UNSAT
1.24
x60.3
UNSAT
1.25
Qq2k3k3v20v20m200s7
SAT
1.33
x60.7
UNSAT
1.43
ncf_8_16_4_euad.7
SAT
1.56
Qq2k3k3v20v20m400s7
UNSAT
1.57
x60.5
UNSAT
1.58
ncf_16_32_8_euad.10
SAT
1.63
Qq2k3k3v20v20m400s9
UNSAT
1.68
x60.8
UNSAT
1.75
ncf_16_32_8_u.3
SAT
1.82
Qq2k3k3v20v20m360s10
UNSAT
1.84
Qq2k3k3v20v20m200s8
SAT
1.84
Qq2k3k3v20v20m360s1
UNSAT
1.89
Qq2k3k3v50v50m200s1
SAT
1.93
T-adeu-5
UNSAT
1.94
ncf_16_32_8_euad.3
SAT
1.98
T-adeu-1
UNSAT
1.99
Qq2k3k3v20v20m200s1
SAT
1.99
S-adeu-4
UNSAT
2.02
S-edau-4
UNSAT
2.07
x60.2
UNSAT
2.14
T-adeu-0
UNSAT
2.14
T-edau-7
UNSAT
2.15
S-edau-5
UNSAT
2.2
T-adeu-9
UNSAT
2.2
T-adeu-4
UNSAT
2.21
T-adeu-7
UNSAT
2.23
S-edau-7
UNSAT
2.24
S-adeu-5
UNSAT
2.24
T-adeu-2
UNSAT
2.3
T-adeu-3
UNSAT
2.31
Qq2k3k3v50v50m200s4
SAT
2.32
S-edau-8
UNSAT
2.35
Qq2k3k3v20v20m200s5
SAT
2.36
T-adeu-8
UNSAT
2.36
S-adeu-8
UNSAT
2.37
Qq2k3k3v20v20m200s9
SAT
2.37
S-adeu-0
UNSAT
2.38
S-adeu-1
UNSAT
2.4
S-adeu-2
UNSAT
2.42
Qq2k3k3v50v50m200s6
SAT
2.43
Qq2k3k3v20v20m360s4
UNSAT
2.52
S-adeu-9
UNSAT
2.62
S-adeu-3
UNSAT
2.67
S-adeu-7
UNSAT
2.7
S-adeu-6
UNSAT
2.75
Qq2k3k3v20v20m200s2
SAT
2.83
Qq2k3k3v20v20m200s4
SAT
2.92
T-edau-5
UNSAT
3.05
Qq2k3k3v20v20m360s7
UNSAT
3.08
Qq2k3k3v20v20m320s4
UNSAT
3.32
T-edau-8
UNSAT
3.39
S-edau-2
UNSAT
3.5
Qq2k3k3v20v20m200s10
SAT
3.53
S-edau-3
UNSAT
3.54
x120.2
UNSAT
3.73
Qq2k3k3v20v20m200s6
SAT
3.8
robots_1_5_2_85.2
SAT
3.82
S-edau-1
UNSAT
3.92
S-edau-0
UNSAT
3.96
x120.5
UNSAT
4.02
T-edau-4
UNSAT
4.05
S-edau-9
UNSAT
4.06
T-edau-0
UNSAT
4.34
Qq2k3k3v50v50m200s2
SAT
4.38
T-edau-6
UNSAT
4.76
S-edau-6
UNSAT
4.76
T-edau-3
UNSAT
4.84
T-edau-1
UNSAT
5.26
Qq2k3k3v20v20m240s7
SAT
5.46
T-edau-9
UNSAT
5.48
T-adeu-6
UNSAT
5.53
robots_1_5_4_73.2
SAT
5.6
robots_1_5_4_75.2
SAT
5.63
robots_1_5_5_75.2
SAT
5.71
T-edau-2
UNSAT
5.86
Qq2k3k3v20v20m240s3
SAT
6.11
Qq2k3k3v20v20m320s6
UNSAT
6.86
robots_1_5_2_31.2
SAT
7.08
ncf_16_32_8_edau.6
SAT
7.23
Qq2k3k3v50v50m200s5
SAT
7.54
Qq2k3k3v20v20m240s1
SAT
7.57
x120.0
UNSAT
7.58
x120.3
UNSAT
8.82
robots_1_5_2_100.2
SAT
9.97
Qq2k3k3v20v20m280s1
SAT
11
robots_1_5_4_100.2
SAT
11.27
Qq2k3k3v20v20m240s2
SAT
11.58
Qq2k3k3v20v20m240s9
SAT
11.84
robots_1_5_2_33.2
SAT
12.06
robots_1_5_3_52.2
SAT
12.11
Qq2k3k3v20v20m240s4
SAT
12.45
Qq2k3k3v20v20m240s8
SAT
12.8
Qq2k3k3v20v20m240s5
SAT
13.19
x120.9
UNSAT
13.24
Qq2k3k3v20v20m320s9
UNSAT
13.57
robots_1_5_2_49.2
SAT
13.87
Qq2k3k3v20v20m240s10
SAT
13.92
robots_1_5_2_47.2
SAT
14.17
ncf_16_32_8_d.6
SAT
14.3
Qq2k3k3v20v20m240s6
SAT
14.54
Qq2k3k3v20v20m360s3
UNSAT
14.73
robots_1_5_2_85.4
SAT
14.88
robots_1_5_5_38.2
SAT
15.01
robots_1_5_5_15.2
SAT
15.11
robots_1_5_5_56.2
SAT
15.12
Qq2k3k3v20v20m360s8
UNSAT
15.42
Qq2k3k3v20v20m280s7
SAT
15.46
robots_1_5_2_81.2
SAT
15.47
x120.8
UNSAT
15.68
Qq2k3k3v20v20m320s8
UNSAT
18.69
Qq2k3k3v20v20m280s3
SAT
20.2
Qq2k3k3v20v20m400s3
UNSAT
20.45
Qq2k3k3v20v20m320s2
UNSAT
20.48
robots_1_5_3_44.4
SAT
23.53
Qq2k3k3v20v20m280s9
SAT
23.74
robots_1_5_2_80.4
SAT
24.03
ncf_16_32_8_d.7
SAT
24.22
robots_1_5_2_2.4
SAT
24.41
robots_1_5_5_24.2
SAT
24.88
x120.7
UNSAT
26.82
Qq2k3k3v20v20m280s6
SAT
28.47
robots_1_5_5_61.2
SAT
29.09
robots_1_5_2_100.4
SAT
30.07
x120.6
UNSAT
30.31
Qq2k3k3v20v20m280s5
SAT
30.79
robots_1_5_3_100.4
SAT
31.75
Qq2k3k3v20v20m280s4
SAT
31.83
Qq2k3k3v20v20m280s2
SAT
33.65
Qq2k3k3v20v20m280s10
SAT
33.74
Qq2k3k3v20v20m320s7
UNSAT
33.93
robots_1_5_2_99.4
SAT
34.2
Qq2k3k3v20v20m280s8
SAT
34.39
Qq2k3k3v20v20m320s1
SAT
35.19
ncf_16_32_8_euad.6
SAT
35.78
robots_1_5_4_44.2
SAT
37.53
ncf_16_32_8_u.10
SAT
39.37
Qq2k3k3v20v20m320s3
SAT
43.22
x120.4
UNSAT
44.75
x120.1
UNSAT
45.43
robots_1_5_5_31.2
SAT
49.06
robots_1_5_4_81.2
SAT
49.92
robots_1_5_5_87.4
SAT
49.94
robots_1_5_2_75.8
SAT
53.26
Qq2k3k3v20v20m320s10
SAT
53.54
robots_1_5_4_31.4
SAT
54.23
robots_1_5_4_52.2
SAT
56.02
robots_1_5_3_44.8
UNSAT
57.6
ncf_16_32_8_d.1
FAIL
58.56
ncf_16_32_8_u.6
SAT
60.28
robots_1_5_4_32.2
SAT
60.7
Qq2k3k3v20v20m320s5
SAT
61.97
robots_1_5_5_97.2
SAT
63.11
robots_1_5_2_28.2
SAT
64.11
robots_1_5_4_71.2
SAT
64.65
robots_1_5_4_22.2
SAT
64.73
robots_1_5_3_100.2
SAT
64.76
robots_1_5_5_66.4
SAT
65.57
robots_1_5_3_64.8
UNSAT
66.19
robots_1_5_5_62.2
SAT
66.87
robots_1_5_4_59.2
SAT
68.37
robots_1_5_3_7.2
SAT
68.4
robots_1_5_3_30.2
SAT
69.8
robots_1_5_3_91.2
SAT
71.12
robots_1_5_5_10.8
UNSAT
77.31
robots_1_5_5_26.4
SAT
86.67
robots_1_5_5_99.8
UNSAT
90.7
robots_1_5_4_17.8
UNSAT
91.99
robots_1_5_5_12.4
SAT
93.69
robots_1_5_3_80.2
SAT
94.2
robots_1_5_3_51.2
SAT
103.65
robots_1_5_5_100.8
UNSAT
119.35
robots_1_5_2_9.8
UNSAT
119.94
robots_1_5_3_52.4
SAT
122.14
robots_1_5_3_24.4
SAT
122.76
robots_1_5_3_66.4
SAT
123.08
robots_1_5_3_26.2
SAT
123.45
robots_1_5_3_20.4
SAT
125.99
robots_1_5_4_100.4
SAT
133.9
robots_1_5_4_96.8
UNSAT
138.72
robots_1_5_4_87.4
SAT
148.66
robots_1_5_3_2.4
SAT
149.02
robots_1_5_3_16.8
UNSAT
150.37
ncf_16_32_8_edau.7
SAT
150.95
robots_1_5_2_39.4
SAT
152.28
robots_1_5_2_21.4
SAT
155.91
robots_1_5_2_91.8
SAT
164.69
robots_1_5_3_25.2
SAT
165.5
robots_1_5_3_62.2
SAT
169.1
robots_1_5_3_100.8
UNSAT
169.43
robots_1_5_2_82.8
UNSAT
169.61
robots_1_5_4_2.4
SAT
169.82
robots_1_5_4_30.4
SAT
180.6
robots_1_5_3_55.8
UNSAT
199.9
robots_1_5_3_57.4
SAT
200.15
robots_1_5_5_66.8
SAT
200.34
ncf_16_32_8_u.5
UNSAT
204.58
robots_1_5_4_51.4
SAT
205.24
robots_1_5_2_100.8
SAT
205.54
robots_1_5_5_100.4
SAT
206.22
robots_1_5_5_100.2
SAT
207.14
robots_1_5_5_8.4
SAT
207.96
robots_1_5_4_50.4
SAT
208.06
robots_1_5_2_3.4
SAT
209.93
robots_1_5_3_16.4
SAT
214.76
robots_1_5_5_45.4
SAT
219.24
robots_1_5_5_5.8
UNSAT
226.07
robots_1_5_4_99.8
UNSAT
227.78
robots_1_5_4_1.8
UNSAT
232.4
robots_1_5_4_46.4
SAT
247.03
robots_1_5_3_8.8
UNSAT
253.42
robots_1_5_3_39.8
SAT
253.78
robots_1_5_4_98.4
SAT
256.08
robots_1_5_5_30.4
SAT
261.56
robots_1_5_4_91.4
SAT
264.29
robots_1_5_3_70.8
UNSAT
266.6
robots_1_5_5_95.8
UNSAT
280.84
robots_1_5_5_34.4
SAT
285.93
robots_1_5_2_67.8
SAT
317.38
robots_1_5_4_24.8
UNSAT
321.08
robots_1_5_4_46.8
UNSAT
338.32
robots_1_5_5_14.8
UNSAT
339.64
robots_1_5_2_61.8
UNSAT
345.81
robots_1_5_2_54.8
SAT
347.41
robots_1_5_3_78.4
SAT
370.96
robots_1_5_4_91.8
UNSAT
391.59
x240.5
UNSAT
392.26
robots_1_5_2_10.2
SAT
402.08
robots_1_5_5_50.8
UNSAT
407.23
ncf_16_32_8_edau.5
UNSAT
413.08
robots_1_5_2_45.4
SAT
413.96
robots_1_5_2_14.2
SAT
423.14
robots_1_5_2_82.4
SAT
446
robots_1_5_5_93.4
SAT
461.55
x240.9
UNSAT
471.2
robots_1_5_5_12.8
UNSAT
499.04
ncf_16_32_8_d.5
UNSAT
500.52
robots_1_5_4_56.8
UNSAT
604.3
robots_1_5_4_75.8
UNSAT
719.17
robots_1_5_3_27.8
UNSAT
724.99
robots_1_5_3_90.8
UNSAT
853.72
robots_1_5_5_33.8
UNSAT
902.03
robots_1_5_4_100.8
UNSAT
902.4
ncf_16_32_8_euad.5
UNSAT
1020.4
robots_1_5_2_32.8
SAT
1169.02
Qq2k3k3v50v50m1000s5
FAIL
1200.01
Qq2k3k3v100v100m400s7
FAIL
1200.01
robots_1_5_2_40.8
FAIL
1200.01
Qq2k3k3v50v50m700s4
FAIL
1200.01
Qq2k3k3v100v100m400s5
FAIL
1200.01
Qq2k3k3v50v50m600s1
FAIL
1200.01
Qq2k3k3v50v50m900s1
FAIL
1200.01
Qq2k3k3v100v100m400s4
FAIL
1200.01
Qq2k3k3v50v50m800s10
FAIL
1200.01
Qq2k3k3v50v50m700s6
FAIL
1200.01
Qq2k3k3v50v50m700s3
FAIL
1200.01
Qq2k3k3v50v50m400s8
FAIL
1200.01
Qq2k3k3v100v100m400s2
FAIL
1200.01
Qq2k3k3v50v50m900s3
FAIL
1200.01
Qq2k3k3v50v50m600s8
FAIL
1200.01
Qq2k3k3v50v50m900s2
FAIL
1200.01
Qq2k3k3v50v50m400s3
FAIL
1200.01
Qq2k3k3v50v50m300s10
FAIL
1200.01
Qq2k3k3v100v100m400s1
FAIL
1200.01
Qq2k3k3v50v50m400s1
FAIL
1200.01
Qq2k3k3v50v50m300s1
FAIL
1200.01
Qq2k3k3v100v100m1600s8
FAIL
1200.02
Qq2k3k3v100v100m1200s9
FAIL
1200.02
Qq2k3k3v100v100m2000s1
FAIL
1200.02
Qq2k3k3v100v100m1200s7
FAIL
1200.02
Qq2k3k3v50v50m1000s9
FAIL
1200.02
Qq2k3k3v50v50m800s1
FAIL
1200.02
Qq2k3k3v50v50m800s5
FAIL
1200.02
Qq2k3k3v50v50m800s3
FAIL
1200.02
Qq2k3k3v100v100m1200s5
FAIL
1200.02
Qq2k3k3v50v50m500s7
FAIL
1200.02
Qq2k3k3v100v100m600s4
FAIL
1200.02
Qq2k3k3v50v50m600s3
FAIL
1200.02
Qq2k3k3v100v100m1600s7
FAIL
1200.02
Qq2k3k3v50v50m300s3
FAIL
1200.02
Qq2k3k3v100v100m800s3
FAIL
1200.02
Qq2k3k3v100v100m1000s10
FAIL
1200.02
Qq2k3k3v100v100m1000s7
FAIL
1200.02
Qq2k3k3v100v100m600s9
FAIL
1200.02
Qq2k3k3v50v50m900s10
FAIL
1200.02
Qq2k3k3v100v100m1000s5
FAIL
1200.02
Qq2k3k3v50v50m700s1
FAIL
1200.02
Qq2k3k3v50v50m500s6
FAIL
1200.02
Qq2k3k3v50v50m800s6
FAIL
1200.02
Qq2k3k3v50v50m900s9
FAIL
1200.02
Qq2k3k3v100v100m600s6
FAIL
1200.02
Qq2k3k3v50v50m500s8
FAIL
1200.02
Qq2k3k3v50v50m500s3
FAIL
1200.02
Qq2k3k3v50v50m900s8
FAIL
1200.02
Qq2k3k3v50v50m500s4
FAIL
1200.02
Qq2k3k3v100v100m800s8
FAIL
1200.02
Qq2k3k3v50v50m700s2
FAIL
1200.02
Qq2k3k3v100v100m800s9
FAIL
1200.02
Qq2k3k3v50v50m600s9
FAIL
1200.02
Qq2k3k3v100v100m800s2
FAIL
1200.02
Qq2k3k3v50v50m900s5
FAIL
1200.02
Qq2k3k3v100v100m2000s7
FAIL
1200.02
Qq2k3k3v50v50m800s9
FAIL
1200.02
Qq2k3k3v100v100m800s1
FAIL
1200.02
x240.3
FAIL
1200.02
Qq2k3k3v50v50m300s9
FAIL
1200.02
x240.7
FAIL
1200.02
Qq2k3k3v100v100m1800s1
FAIL
1200.02
Qq2k3k3v50v50m700s10
FAIL
1200.02
Qq2k3k3v50v50m600s6
FAIL
1200.02
Qq2k3k3v100v100m1000s2
FAIL
1200.02
Qq2k3k3v50v50m300s8
FAIL
1200.02
Qq2k3k3v50v50m500s1
FAIL
1200.02
Qq2k3k3v50v50m700s5
FAIL
1200.02
Qq2k3k3v100v100m400s9
FAIL
1200.02
ncf_16_32_8_euad.9
FAIL
1200.02
Qq2k3k3v50v50m800s4
FAIL
1200.02
Qq2k3k3v50v50m900s6
FAIL
1200.02
Qq2k3k3v50v50m500s5
FAIL
1200.02
Qq2k3k3v50v50m1000s6
FAIL
1200.02
Qq2k3k3v50v50m800s8
FAIL
1200.02
Qq2k3k3v100v100m2000s4
FAIL
1200.02
Qq2k3k3v100v100m600s2
FAIL
1200.02
Qq2k3k3v100v100m600s10
FAIL
1200.02
Qq2k3k3v50v50m400s9
FAIL
1200.02
Qq2k3k3v50v50m700s9
FAIL
1200.02
Qq2k3k3v50v50m400s6
FAIL
1200.02
Qq2k3k3v50v50m300s2
FAIL
1200.02
Qq2k3k3v50v50m1000s1
FAIL
1200.02
Qq2k3k3v50v50m1000s8
FAIL
1200.02
Qq2k3k3v50v50m500s9
FAIL
1200.02
Qq2k3k3v50v50m600s2
FAIL
1200.02
Qq2k3k3v100v100m1600s1
FAIL
1200.02
Qq2k3k3v100v100m1600s10
FAIL
1200.02
Qq2k3k3v50v50m1000s2
FAIL
1200.02
Qq2k3k3v100v100m600s3
FAIL
1200.02
Qq2k3k3v50v50m600s10
FAIL
1200.02
Qq2k3k3v100v100m400s8
FAIL
1200.02
Qq2k3k3v100v100m800s6
FAIL
1200.02
Qq2k3k3v100v100m600s7
FAIL
1200.02
Qq2k3k3v50v50m900s7
FAIL
1200.02
Qq2k3k3v100v100m1400s6
FAIL
1200.02
Qq2k3k3v100v100m800s4
FAIL
1200.02
Qq2k3k3v50v50m900s4
FAIL
1200.02
Qq2k3k3v50v50m400s4
FAIL
1200.02
Qq2k3k3v100v100m1000s4
FAIL
1200.02
Qq2k3k3v100v100m1600s3
FAIL
1200.02
Qq2k3k3v100v100m1800s7
FAIL
1200.02
Qq2k3k3v50v50m600s5
FAIL
1200.02
Qq2k3k3v100v100m1400s10
FAIL
1200.02
Qq2k3k3v100v100m2000s8
FAIL
1200.02
Qq2k3k3v100v100m800s7
FAIL
1200.02
Qq2k3k3v100v100m1800s4
FAIL
1200.02
Qq2k3k3v100v100m400s3
FAIL
1200.02
Qq2k3k3v50v50m700s7
FAIL
1200.02
Qq2k3k3v100v100m1400s4
FAIL
1200.02
Qq2k3k3v100v100m1000s9
FAIL
1200.02
Qq2k3k3v50v50m400s10
FAIL
1200.02
Qq2k3k3v50v50m600s4
FAIL
1200.02
Qq2k3k3v100v100m1200s1
FAIL
1200.02
Qq2k3k3v50v50m700s8
FAIL
1200.02
Qq2k3k3v100v100m1800s10
FAIL
1200.02
Qq2k3k3v100v100m2000s9
FAIL
1200.02
Qq2k3k3v100v100m1200s3
FAIL
1200.02
Qq2k3k3v50v50m300s6
FAIL
1200.02
Qq2k3k3v100v100m1800s3
FAIL
1200.02
ncf_16_32_8_u.7
FAIL
1200.02
Qq2k3k3v50v50m1000s10
FAIL
1200.02
Qq2k3k3v100v100m1600s4
FAIL
1200.02
Qq2k3k3v100v100m800s5
FAIL
1200.02
Qq2k3k3v50v50m800s7
FAIL
1200.02
Qq2k3k3v100v100m1800s8
FAIL
1200.02
Qq2k3k3v50v50m400s2
FAIL
1200.02
Qq2k3k3v100v100m600s8
FAIL
1200.02
Qq2k3k3v100v100m1000s6
FAIL
1200.02
Qq2k3k3v100v100m1000s3
FAIL
1200.02
Qq2k3k3v50v50m300s5
FAIL
1200.02
Qq2k3k3v50v50m500s2
FAIL
1200.02
Qq2k3k3v50v50m300s7
FAIL
1200.02
Qq2k3k3v100v100m400s10
FAIL
1200.02
Qq2k3k3v50v50m300s4
FAIL
1200.02
Qq2k3k3v50v50m1000s7
FAIL
1200.02
Qq2k3k3v50v50m1000s4
FAIL
1200.02
Qq2k3k3v50v50m600s7
FAIL
1200.02
Qq2k3k3v50v50m800s2
FAIL
1200.02
Qq2k3k3v50v50m400s5
FAIL
1200.02
x240.0
FAIL
1200.03
Qq2k3k3v100v100m1400s9
FAIL
1200.03
Qq2k3k3v100v100m2000s10
FAIL
1200.03
x240.8
FAIL
1200.03
Qq2k3k3v100v100m1000s8
FAIL
1200.03
Qq2k3k3v100v100m1400s1
FAIL
1200.03
ncf_16_32_8_euad.7
FAIL
1200.03
Qq2k3k3v100v100m1600s5
FAIL
1200.03
Qq2k3k3v100v100m2000s5
FAIL
1200.03
Qq2k3k3v100v100m1200s2
FAIL
1200.03
Qq2k3k3v100v100m1600s2
FAIL
1200.03
Qq2k3k3v100v100m400s6
FAIL
1200.03
Qq2k3k3v100v100m1400s5
FAIL
1200.03
Qq2k3k3v100v100m1400s8
FAIL
1200.03
Qq2k3k3v50v50m400s7
FAIL
1200.03
Qq2k3k3v100v100m1800s9
FAIL
1200.03
x240.4
FAIL
1200.03
Qq2k3k3v100v100m1600s9
FAIL
1200.03
Qq2k3k3v100v100m1800s5
FAIL
1200.03
Qq2k3k3v100v100m1200s4
FAIL
1200.03
Qq2k3k3v100v100m1200s6
FAIL
1200.03
Qq2k3k3v50v50m1000s3
FAIL
1200.03
Qq2k3k3v100v100m1800s2
FAIL
1200.03
Qq2k3k3v100v100m1800s6
FAIL
1200.03
Qq2k3k3v100v100m2000s3
FAIL
1200.03
Qq2k3k3v100v100m1400s7
FAIL
1200.03
Qq2k3k3v50v50m500s10
FAIL
1200.03
Qq2k3k3v100v100m600s1
FAIL
1200.03
Qq2k3k3v100v100m1400s2
FAIL
1200.03
Qq2k3k3v100v100m1200s8
FAIL
1200.03
Qq2k3k3v100v100m600s5
FAIL
1200.03
Qq2k3k3v100v100m1200s10
FAIL
1200.03
Qq2k3k3v100v100m1400s3
FAIL
1200.03
ncf_16_32_8_u.9
FAIL
1200.03
Qq2k3k3v100v100m2000s6
FAIL
1200.03
Qq2k3k3v100v100m800s10
FAIL
1200.03
Qq2k3k3v100v100m1600s6
FAIL
1200.03
Qq2k3k3v100v100m2000s2
FAIL
1200.04
x240.6
FAIL
1200.04
Qq2k3k3v100v100m1000s1
FAIL
1200.04
ncf_16_32_8_edau.9
FAIL
1200.04
x240.1
FAIL
1200.04
x240.2
FAIL
1200.04
ncf_16_32_8_u.1
FAIL
1200.04
ncf_16_32_8_edau.1
FAIL
1200.06
ncf_16_32_8_u.2
FAIL
1200.06
ncf_16_32_8_euad.1
FAIL
1200.06
ncf_16_32_8_d.9
FAIL
1200.06
ncf_16_32_8_euad.2
FAIL
1200.06
Contact
|
Organization
|
Links
|
Citing QBFLIB