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
nenofex-qbfeval10
QBFEVAL'10 - Random QBFs Track.
Instance
Result
Time
ncf_8_16_4_d.5
UNSAT
0
ncf_8_16_4_euad.2
UNSAT
0.02
ncf_8_16_4_d.2
UNSAT
0.02
ncf_8_16_4_u.5
UNSAT
0.02
ncf_8_16_4_euad.5
UNSAT
0.02
ncf_8_16_4_d.1
SAT
0.02
ncf_8_16_4_edau.1
SAT
0.02
ncf_8_16_4_euad.1
SAT
0.02
ncf_8_16_4_u.2
UNSAT
0.02
ncf_8_16_4_edau.5
UNSAT
0.02
ncf_8_16_4_edau.2
UNSAT
0.03
ncf_8_16_4_u.1
SAT
0.03
ncf_8_16_4_edau.8
UNSAT
0.04
ncf_8_16_4_u.6
UNSAT
0.04
ncf_8_16_4_d.8
UNSAT
0.04
ncf_8_16_4_edau.6
UNSAT
0.04
ncf_8_16_4_u.8
UNSAT
0.05
ncf_8_16_4_d.6
UNSAT
0.05
ncf_8_16_4_euad.8
UNSAT
0.06
ncf_8_16_4_edau.10
SAT
0.08
ncf_8_16_4_u.10
SAT
0.09
ncf_8_16_4_d.10
SAT
0.15
ncf_8_16_4_edau.4
SAT
0.18
ncf_8_16_4_d.4
SAT
0.18
ncf_16_32_8_d.4
SAT
0.37
ncf_16_32_8_d.8
UNSAT
0.7
ncf_16_32_8_edau.8
UNSAT
0.76
ncf_16_32_8_edau.3
SAT
0.84
ncf_16_32_8_d.3
SAT
0.98
ncf_16_32_8_edau.4
SAT
1.13
ncf_16_32_8_u.8
UNSAT
1.31
ncf_16_32_8_euad.8
UNSAT
2.04
Qq2k3k3v20v20m80s3
SAT
4.42
Qq2k3k3v20v20m80s7
SAT
22.49
Qq2k3k3v20v20m80s2
SAT
33.94
Qq2k3k3v20v20m80s4
SAT
36.15
Qq2k3k3v20v20m80s1
SAT
37.11
robots_1_5_5_15.2
SAT
45.83
robots_1_5_4_100.2
SAT
45.97
robots_1_5_4_52.2
SAT
46.22
robots_1_5_5_38.2
SAT
46.22
robots_1_5_3_7.2
SAT
46.33
robots_1_5_5_75.2
SAT
46.84
robots_1_5_5_100.2
SAT
47.04
robots_1_5_4_59.2
SAT
47.13
robots_1_5_4_73.2
SAT
47.24
robots_1_5_5_62.2
SAT
47.42
robots_1_5_5_61.2
SAT
48.01
robots_1_5_5_56.2
SAT
49.38
robots_1_5_4_71.2
SAT
49.79
robots_1_5_4_22.2
SAT
49.85
robots_1_5_3_30.2
SAT
49.85
robots_1_5_4_32.2
SAT
49.96
robots_1_5_5_24.2
SAT
49.98
robots_1_5_5_97.2
SAT
50.08
robots_1_5_4_75.2
SAT
50.59
robots_1_5_4_81.2
SAT
50.88
ncf_8_16_4_u.7
FAIL
51.08
robots_1_5_5_31.2
SAT
52.22
ncf_8_16_4_edau.7
FAIL
52.62
robots_1_5_4_44.2
SAT
52.86
Qq2k3k3v20v20m80s8
SAT
55.87
ncf_8_16_4_euad.6
UNSAT
58.1
Qq2k3k3v20v20m80s6
SAT
64.1
Qq2k3k3v20v20m80s10
SAT
64.38
Qq2k3k3v20v20m80s9
SAT
66.94
ncf_16_32_8_u.3
FAIL
68.29
Qq2k3k3v20v20m80s5
SAT
71.49
Qq2k3k3v20v20m400s6
FAIL
82.71
Qq2k3k3v20v20m400s8
FAIL
83.26
Qq2k3k3v50v50m1000s3
FAIL
84.61
Qq2k3k3v50v50m1000s10
FAIL
85.21
ncf_16_32_8_edau.2
FAIL
86.01
Qq2k3k3v50v50m1000s2
FAIL
87.97
ncf_8_16_4_euad.7
FAIL
88.95
ncf_8_16_4_euad.4
FAIL
89.23
Qq2k3k3v20v20m400s2
FAIL
89.39
Qq2k3k3v20v20m400s4
FAIL
89.65
Qq2k3k3v20v20m400s9
FAIL
90.2
Qq2k3k3v50v50m600s6
FAIL
90.5
Qq2k3k3v50v50m600s10
FAIL
91.82
Qq2k3k3v50v50m600s9
FAIL
92.77
Qq2k3k3v50v50m900s8
FAIL
93.17
Qq2k3k3v20v20m400s5
FAIL
93.18
Qq2k3k3v50v50m700s3
FAIL
96.85
robots_1_5_3_62.2
SAT
97.87
robots_1_5_2_81.2
SAT
98.13
robots_1_5_3_100.2
SAT
98.25
Qq2k3k3v50v50m700s2
FAIL
98.41
Qq2k3k3v20v20m400s7
FAIL
98.48
Qq2k3k3v50v50m700s7
FAIL
98.92
Qq2k3k3v20v20m320s4
FAIL
99.18
robots_1_5_3_52.2
SAT
99.31
Qq2k3k3v50v50m700s8
FAIL
99.54
Qq2k3k3v50v50m700s10
FAIL
100
Qq2k3k3v50v50m700s9
FAIL
100.01
ncf_8_16_4_euad.3
FAIL
100.1
robots_1_5_2_47.2
SAT
100.59
Qq2k3k3v50v50m700s5
FAIL
100.75
Qq2k3k3v50v50m400s4
FAIL
100.93
robots_1_5_2_10.2
SAT
100.95
Qq2k3k3v50v50m400s1
FAIL
101.53
Qq2k3k3v50v50m400s10
FAIL
102.2
Qq2k3k3v50v50m500s5
FAIL
102.25
Qq2k3k3v20v20m360s7
FAIL
102.39
robots_1_5_2_14.2
SAT
103.14
Qq2k3k3v50v50m1000s7
FAIL
103.29
Qq2k3k3v50v50m1000s1
FAIL
103.71
Qq2k3k3v50v50m400s9
FAIL
103.98
Qq2k3k3v50v50m1000s4
FAIL
104.56
Qq2k3k3v50v50m600s1
FAIL
104.61
robots_1_5_3_51.2
SAT
104.8
Qq2k3k3v50v50m1000s5
FAIL
105.9
Qq2k3k3v50v50m600s4
FAIL
106.02
Qq2k3k3v50v50m600s7
FAIL
106.32
Qq2k3k3v20v20m320s9
FAIL
106.57
Qq2k3k3v50v50m600s8
FAIL
106.91
Qq2k3k3v50v50m600s5
FAIL
107.02
Qq2k3k3v50v50m1000s8
FAIL
107.28
Qq2k3k3v50v50m300s4
FAIL
107.33
Qq2k3k3v50v50m900s4
FAIL
107.46
Qq2k3k3v50v50m1000s6
FAIL
108.51
Qq2k3k3v50v50m600s3
FAIL
108.79
Qq2k3k3v50v50m1000s9
FAIL
109.36
Qq2k3k3v20v20m360s2
FAIL
109.59
Qq2k3k3v50v50m600s2
FAIL
110.56
robots_1_5_2_49.2
SAT
111.36
Qq2k3k3v50v50m300s10
FAIL
111.44
robots_1_5_2_100.2
SAT
111.85
Qq2k3k3v50v50m300s8
FAIL
112.06
Qq2k3k3v20v20m320s7
FAIL
112.31
Qq2k3k3v50v50m500s8
FAIL
112.33
Qq2k3k3v50v50m800s2
FAIL
112.46
robots_1_5_2_33.2
SAT
112.49
Qq2k3k3v50v50m800s9
FAIL
112.68
x30.5
UNSAT
113.57
robots_1_5_3_25.2
SAT
113.66
robots_1_5_2_85.2
SAT
113.79
Qq2k3k3v20v20m360s5
FAIL
114.08
robots_1_5_3_26.2
SAT
114.26
x30.9
UNSAT
114.34
Qq2k3k3v50v50m800s10
FAIL
114.36
Qq2k3k3v50v50m300s5
FAIL
114.74
Qq2k3k3v20v20m320s6
FAIL
114.84
Qq2k3k3v50v50m400s7
FAIL
115.1
Qq2k3k3v20v20m280s10
FAIL
115.3
robots_1_5_3_91.2
SAT
115.3
Qq2k3k3v20v20m360s9
FAIL
115.4
Qq2k3k3v50v50m800s8
FAIL
116.2
Qq2k3k3v50v50m300s6
FAIL
116.34
robots_1_5_2_28.2
SAT
116.47
Qq2k3k3v50v50m900s6
FAIL
116.72
Qq2k3k3v50v50m700s4
FAIL
117.48
Qq2k3k3v50v50m900s1
FAIL
117.48
Qq2k3k3v50v50m700s6
FAIL
118.08
robots_1_5_2_31.2
SAT
118.31
Qq2k3k3v50v50m700s1
FAIL
118.42
Qq2k3k3v50v50m400s8
FAIL
118.48
Qq2k3k3v20v20m280s4
FAIL
118.5
Qq2k3k3v20v20m320s8
FAIL
119.19
Qq2k3k3v20v20m120s7
SAT
119.26
robots_1_5_3_80.2
SAT
119.37
Qq2k3k3v50v50m900s5
FAIL
119.75
Qq2k3k3v20v20m280s9
FAIL
120.07
Qq2k3k3v50v50m800s4
FAIL
120.3
Qq2k3k3v50v50m400s6
FAIL
121.13
Qq2k3k3v50v50m400s3
FAIL
121.29
Qq2k3k3v50v50m400s5
FAIL
121.9
ncf_8_16_4_u.4
FAIL
122.36
Qq2k3k3v50v50m500s3
FAIL
122.95
Qq2k3k3v50v50m500s1
FAIL
123.4
Qq2k3k3v50v50m900s7
FAIL
124.1
Qq2k3k3v50v50m500s7
FAIL
124.78
Qq2k3k3v50v50m900s9
FAIL
125
Qq2k3k3v20v20m360s4
FAIL
125.49
Qq2k3k3v50v50m500s10
FAIL
125.51
Qq2k3k3v50v50m400s2
FAIL
126.66
Qq2k3k3v20v20m360s6
FAIL
126.84
Qq2k3k3v20v20m280s7
FAIL
126.96
x30.7
UNSAT
127.87
Qq2k3k3v20v20m320s1
FAIL
129.28
Qq2k3k3v20v20m400s1
FAIL
129.55
Qq2k3k3v50v50m800s6
FAIL
129.87
Qq2k3k3v20v20m320s10
FAIL
129.87
Qq2k3k3v50v50m500s4
FAIL
129.9
Qq2k3k3v20v20m360s10
FAIL
130.36
Qq2k3k3v50v50m300s1
FAIL
130.8
Qq2k3k3v50v50m800s7
FAIL
131.39
ncf_16_32_8_euad.10
FAIL
131.68
Qq2k3k3v20v20m280s8
FAIL
132.63
Qq2k3k3v50v50m500s2
FAIL
133.96
Qq2k3k3v50v50m200s6
FAIL
134.11
Qq2k3k3v20v20m400s10
FAIL
134.18
Qq2k3k3v50v50m200s4
FAIL
134.19
Qq2k3k3v100v100m1400s2
FAIL
134.8
Qq2k3k3v20v20m240s9
FAIL
134.83
Qq2k3k3v50v50m800s3
FAIL
134.99
Qq2k3k3v100v100m1400s4
FAIL
135.44
Qq2k3k3v50v50m800s5
FAIL
135.46
Qq2k3k3v100v100m1400s8
FAIL
135.52
Qq2k3k3v100v100m1400s5
FAIL
136.3
Qq2k3k3v50v50m300s9
FAIL
136.77
Qq2k3k3v50v50m800s1
FAIL
137.34
Qq2k3k3v100v100m1400s1
FAIL
137.41
Qq2k3k3v20v20m320s2
FAIL
138.75
Qq2k3k3v100v100m1400s6
FAIL
138.93
Qq2k3k3v20v20m400s3
FAIL
139.97
Qq2k3k3v100v100m1600s4
FAIL
140.17
Qq2k3k3v100v100m1600s10
FAIL
140.17
Qq2k3k3v50v50m300s7
FAIL
140.17
ncf_8_16_4_edau.9
FAIL
140.18
Qq2k3k3v50v50m500s9
FAIL
141.09
Qq2k3k3v50v50m900s10
FAIL
141.31
Qq2k3k3v20v20m120s2
SAT
141.64
Qq2k3k3v100v100m1600s9
FAIL
141.91
Qq2k3k3v100v100m1600s6
FAIL
142.39
Qq2k3k3v50v50m300s3
FAIL
142.49
Qq2k3k3v100v100m1600s1
FAIL
142.68
Qq2k3k3v20v20m360s3
FAIL
144
Qq2k3k3v50v50m500s6
FAIL
144.36
Qq2k3k3v50v50m900s3
FAIL
144.41
ncf_16_32_8_euad.4
FAIL
145.16
Qq2k3k3v100v100m800s1
FAIL
145.67
Qq2k3k3v100v100m800s4
FAIL
145.81
Qq2k3k3v100v100m800s10
FAIL
145.92
ncf_8_16_4_d.7
FAIL
146.21
Qq2k3k3v100v100m800s9
FAIL
146.85
Qq2k3k3v100v100m800s8
FAIL
146.98
Qq2k3k3v50v50m900s2
FAIL
147.39
Qq2k3k3v20v20m360s8
FAIL
148.43
ncf_16_32_8_edau.5
FAIL
148.96
Qq2k3k3v100v100m800s5
FAIL
151.05
Qq2k3k3v50v50m200s8
FAIL
151.29
Qq2k3k3v50v50m200s10
FAIL
151.85
Qq2k3k3v100v100m1400s10
FAIL
152.49
x30.0
UNSAT
152.59
Qq2k3k3v50v50m300s2
FAIL
153.04
ncf_16_32_8_euad.3
FAIL
153.09
ncf_8_16_4_d.9
FAIL
153.24
Qq2k3k3v20v20m120s3
SAT
153.33
ncf_16_32_8_u.5
FAIL
154.25
Qq2k3k3v100v100m400s7
FAIL
154.5
Qq2k3k3v20v20m320s5
FAIL
154.5
Qq2k3k3v100v100m1800s10
FAIL
154.52
Qq2k3k3v20v20m280s2
FAIL
155.29
Qq2k3k3v100v100m1400s3
FAIL
155.74
Qq2k3k3v100v100m1400s9
FAIL
155.84
Qq2k3k3v100v100m1400s7
FAIL
157.14
ncf_8_16_4_euad.9
FAIL
158.47
Qq2k3k3v100v100m1800s9
FAIL
158.73
Qq2k3k3v50v50m200s5
FAIL
159.75
Qq2k3k3v100v100m1800s1
FAIL
159.97
Qq2k3k3v20v20m280s1
FAIL
160.17
Qq2k3k3v100v100m1600s2
FAIL
162.68
Qq2k3k3v100v100m1800s2
FAIL
162.97
Qq2k3k3v20v20m120s4
SAT
163.03
Qq2k3k3v100v100m1600s5
FAIL
163.79
Qq2k3k3v100v100m1600s3
FAIL
164.35
ncf_16_32_8_edau.9
FAIL
164.58
Qq2k3k3v100v100m1600s7
FAIL
164.87
Qq2k3k3v100v100m1000s1
FAIL
166.23
Qq2k3k3v50v50m200s1
FAIL
166.32
Qq2k3k3v100v100m1200s4
FAIL
166.65
Qq2k3k3v20v20m320s3
FAIL
166.77
Qq2k3k3v100v100m800s2
FAIL
166.8
ncf_8_16_4_u.9
FAIL
167.66
Qq2k3k3v100v100m800s6
FAIL
168.82
Qq2k3k3v100v100m1600s8
FAIL
169.25
Qq2k3k3v100v100m1000s4
FAIL
169.49
ncf_16_32_8_u.1
FAIL
169.94
Qq2k3k3v100v100m800s3
FAIL
170.05
Qq2k3k3v100v100m800s7
FAIL
170.07
Qq2k3k3v100v100m1000s9
FAIL
170.19
Qq2k3k3v100v100m400s8
FAIL
170.28
Qq2k3k3v100v100m1000s2
FAIL
170.33
Qq2k3k3v20v20m280s6
FAIL
171.6
ncf_16_32_8_u.4
FAIL
171.64
Qq2k3k3v100v100m1200s1
FAIL
174.77
Qq2k3k3v20v20m120s6
SAT
175.75
Qq2k3k3v100v100m2000s3
FAIL
176.9
Qq2k3k3v20v20m360s1
FAIL
178.2
Qq2k3k3v100v100m2000s7
FAIL
178.48
Qq2k3k3v100v100m2000s6
FAIL
178.58
Qq2k3k3v100v100m2000s4
FAIL
178.7
Qq2k3k3v100v100m2000s2
FAIL
179.14
Qq2k3k3v50v50m200s7
FAIL
179.35
Qq2k3k3v20v20m240s2
FAIL
179.95
ncf_16_32_8_u.6
FAIL
180.29
Qq2k3k3v100v100m1800s4
FAIL
180.64
Qq2k3k3v100v100m1800s7
FAIL
181.04
Qq2k3k3v20v20m240s5
FAIL
182.09
ncf_16_32_8_d.10
FAIL
182.94
Qq2k3k3v100v100m1800s5
FAIL
182.95
Qq2k3k3v20v20m120s10
SAT
184.08
Qq2k3k3v100v100m1800s3
FAIL
185.47
Qq2k3k3v100v100m1800s6
FAIL
185.6
Qq2k3k3v100v100m400s6
FAIL
186.1
Qq2k3k3v100v100m400s4
FAIL
186.98
Qq2k3k3v20v20m240s7
FAIL
186.98
Qq2k3k3v100v100m1800s8
FAIL
187.78
Qq2k3k3v20v20m120s1
SAT
189.24
Qq2k3k3v100v100m400s9
FAIL
189.24
ncf_8_16_4_u.3
FAIL
189.27
ncf_16_32_8_edau.1
FAIL
189.52
Qq2k3k3v20v20m280s5
FAIL
190.48
x30.2
UNSAT
190.84
Qq2k3k3v20v20m280s3
FAIL
190.96
Qq2k3k3v100v100m400s3
FAIL
191.9
Qq2k3k3v100v100m1000s6
FAIL
192.1
Qq2k3k3v20v20m120s9
SAT
192.28
Qq2k3k3v100v100m400s2
FAIL
192.28
Qq2k3k3v100v100m1200s2
FAIL
192.67
Qq2k3k3v100v100m1000s7
FAIL
192.74
Qq2k3k3v100v100m1200s3
FAIL
193.85
Qq2k3k3v100v100m400s1
FAIL
194.21
Qq2k3k3v100v100m600s10
FAIL
194.57
Qq2k3k3v100v100m1200s7
FAIL
194.58
Qq2k3k3v100v100m1000s10
FAIL
195.6
Qq2k3k3v100v100m1000s3
FAIL
196.41
Qq2k3k3v100v100m1000s5
FAIL
197.08
Qq2k3k3v100v100m1200s9
FAIL
197.43
Qq2k3k3v100v100m600s5
FAIL
197.72
Qq2k3k3v100v100m1200s5
FAIL
197.73
Qq2k3k3v50v50m200s3
FAIL
197.76
Qq2k3k3v100v100m600s7
FAIL
198.08
Qq2k3k3v100v100m1000s8
FAIL
198.52
Qq2k3k3v100v100m1200s10
FAIL
198.52
Qq2k3k3v100v100m1200s6
FAIL
199
Qq2k3k3v100v100m2000s10
FAIL
200.13
Qq2k3k3v100v100m1200s8
FAIL
200.49
Qq2k3k3v100v100m600s1
FAIL
200.54
Qq2k3k3v100v100m600s6
FAIL
200.72
Qq2k3k3v100v100m2000s9
FAIL
202.45
Qq2k3k3v100v100m2000s5
FAIL
202.53
Qq2k3k3v100v100m2000s1
FAIL
202.63
Qq2k3k3v100v100m2000s8
FAIL
203.14
ncf_16_32_8_d.2
FAIL
203.63
Qq2k3k3v50v50m200s2
FAIL
209.27
Qq2k3k3v20v20m120s8
SAT
210.78
Qq2k3k3v20v20m240s6
FAIL
216.34
Qq2k3k3v20v20m120s5
SAT
219.85
Qq2k3k3v100v100m600s8
FAIL
221.22
ncf_16_32_8_edau.10
FAIL
222.03
Qq2k3k3v100v100m600s9
FAIL
227.09
Qq2k3k3v100v100m600s3
FAIL
228.43
Qq2k3k3v100v100m600s2
FAIL
229.27
Qq2k3k3v100v100m600s4
FAIL
231.57
x30.1
UNSAT
233.56
Qq2k3k3v50v50m200s9
FAIL
245.24
Qq2k3k3v20v20m240s8
FAIL
246.94
ncf_8_16_4_d.3
FAIL
249.48
ncf_16_32_8_d.9
FAIL
253.94
x30.8
UNSAT
263.52
Qq2k3k3v20v20m240s10
FAIL
263.84
ncf_16_32_8_u.7
FAIL
263.87
ncf_16_32_8_euad.6
FAIL
271.47
ncf_16_32_8_euad.2
FAIL
275.73
Qq2k3k3v100v100m400s5
FAIL
280.14
Qq2k3k3v100v100m400s10
FAIL
282.72
ncf_16_32_8_euad.5
FAIL
284.97
ncf_16_32_8_euad.7
FAIL
299.86
ncf_16_32_8_u.9
FAIL
308.54
x30.3
FAIL
309.05
ncf_16_32_8_d.7
FAIL
309.24
x30.6
FAIL
322.28
ncf_16_32_8_euad.1
FAIL
323.99
ncf_8_16_4_edau.3
FAIL
329.6
ncf_16_32_8_edau.7
FAIL
338.01
x30.4
FAIL
354.58
x60.0
FAIL
359.93
x60.3
FAIL
365.67
ncf_16_32_8_d.1
FAIL
375.36
ncf_16_32_8_d.5
FAIL
379.55
x60.2
FAIL
383.71
ncf_16_32_8_edau.6
FAIL
410.96
Qq2k3k3v20v20m240s1
FAIL
420.66
ncf_16_32_8_u.10
FAIL
431.43
Qq2k3k3v20v20m240s4
FAIL
432.95
robots_1_5_3_24.4
SAT
442.54
x60.8
FAIL
447.78
x60.5
FAIL
451.45
Qq2k3k3v20v20m160s7
SAT
453.6
ncf_16_32_8_euad.9
FAIL
454.34
robots_1_5_5_12.4
SAT
454.62
robots_1_5_3_44.4
SAT
457.67
robots_1_5_4_91.4
SAT
458.32
robots_1_5_3_16.4
SAT
458.59
robots_1_5_5_30.4
SAT
459.27
robots_1_5_3_100.4
SAT
460.72
Qq2k3k3v20v20m200s9
FAIL
463.74
robots_1_5_3_20.4
SAT
463.91
robots_1_5_4_30.4
SAT
469.18
ncf_16_32_8_d.6
FAIL
471.66
robots_1_5_4_46.4
SAT
473.05
robots_1_5_4_31.4
SAT
475.11
robots_1_5_3_66.4
SAT
479.76
x60.7
FAIL
480.54
x60.6
FAIL
485.25
Qq2k3k3v20v20m200s6
FAIL
489.07
robots_1_5_4_87.4
SAT
490.8
robots_1_5_5_93.4
SAT
520.12
x60.9
FAIL
524.68
robots_1_5_4_50.4
SAT
525.32
Qq2k3k3v20v20m240s3
FAIL
525.9
robots_1_5_3_52.4
SAT
526.16
Qq2k3k3v20v20m160s3
SAT
526.28
robots_1_5_5_45.4
SAT
526.35
robots_1_5_5_26.4
SAT
531
robots_1_5_3_57.4
SAT
535.96
robots_1_5_4_98.4
SAT
536.29
robots_1_5_4_100.4
SAT
537.1
robots_1_5_5_66.4
SAT
538.19
robots_1_5_2_2.4
SAT
541.76
robots_1_5_5_34.4
SAT
545.34
robots_1_5_5_87.4
SAT
551.03
robots_1_5_3_78.4
SAT
551.21
robots_1_5_4_2.4
SAT
556.08
robots_1_5_2_80.4
SAT
556.43
x60.4
FAIL
557.66
Qq2k3k3v20v20m160s2
SAT
560.11
robots_1_5_4_51.4
SAT
564.94
Qq2k3k3v20v20m160s10
SAT
566.77
robots_1_5_5_8.4
SAT
569.1
Qq2k3k3v20v20m160s4
SAT
572.85
robots_1_5_5_100.4
SAT
574.83
S-adeu-9
FAIL
584.68
robots_1_5_2_3.4
SAT
601.47
robots_1_5_2_85.4
SAT
603.06
S-adeu-5
FAIL
607.23
S-adeu-6
FAIL
616.75
S-adeu-3
FAIL
623.11
robots_1_5_3_2.4
SAT
625
S-adeu-0
FAIL
625.22
Qq2k3k3v20v20m160s1
SAT
630.86
robots_1_5_2_82.4
SAT
659.84
S-adeu-2
FAIL
663.06
robots_1_5_2_39.4
SAT
674.88
Qq2k3k3v20v20m160s5
SAT
677.22
robots_1_5_2_21.4
SAT
686.94
S-edau-6
FAIL
703.4
S-edau-4
FAIL
707.49
Qq2k3k3v20v20m160s8
SAT
744.95
S-adeu-1
FAIL
745.12
S-adeu-7
FAIL
750.09
S-adeu-4
FAIL
757
x60.1
FAIL
776.02
S-edau-2
FAIL
779.07
S-edau-0
FAIL
782.02
Qq2k3k3v20v20m160s9
SAT
810.85
S-edau-9
FAIL
812.53
S-edau-8
FAIL
819.75
S-edau-1
FAIL
821.22
S-edau-3
FAIL
831.38
S-edau-5
FAIL
831.56
S-adeu-8
FAIL
837.78
S-edau-7
FAIL
842.52
robots_1_5_2_99.4
SAT
887.32
robots_1_5_2_45.4
SAT
903.33
ncf_16_32_8_u.2
FAIL
972.02
Qq2k3k3v20v20m160s6
SAT
997.25
Qq2k3k3v20v20m200s5
FAIL
1082.66
robots_1_5_2_100.4
FAIL
1149.05
robots_1_5_3_44.8
FAIL
1199.66
T-edau-0
FAIL
1200.13
x240.8
FAIL
1200.14
x240.4
FAIL
1200.14
robots_1_5_3_100.8
FAIL
1200.14
T-edau-6
FAIL
1200.15
x120.2
FAIL
1200.15
robots_1_5_3_90.8
FAIL
1200.15
robots_1_5_3_39.8
FAIL
1200.15
robots_1_5_2_9.8
FAIL
1200.15
robots_1_5_2_67.8
FAIL
1200.15
T-adeu-1
FAIL
1200.15
robots_1_5_3_55.8
FAIL
1200.15
robots_1_5_2_40.8
FAIL
1200.15
x120.5
FAIL
1200.15
robots_1_5_4_46.8
FAIL
1200.15
x240.7
FAIL
1200.15
x240.9
FAIL
1200.15
x240.3
FAIL
1200.15
x120.3
FAIL
1200.15
robots_1_5_4_17.8
FAIL
1200.15
x120.0
FAIL
1200.15
x120.4
FAIL
1200.15
robots_1_5_4_96.8
FAIL
1200.15
x120.1
FAIL
1200.15
robots_1_5_2_54.8
FAIL
1200.16
x240.5
FAIL
1200.16
robots_1_5_2_82.8
FAIL
1200.16
robots_1_5_5_10.8
FAIL
1200.16
T-edau-8
FAIL
1200.16
robots_1_5_4_99.8
FAIL
1200.16
T-adeu-0
FAIL
1200.16
T-adeu-2
FAIL
1200.16
T-adeu-3
FAIL
1200.16
robots_1_5_4_100.8
FAIL
1200.16
robots_1_5_2_75.8
FAIL
1200.16
T-adeu-6
FAIL
1200.16
T-adeu-7
FAIL
1200.16
robots_1_5_5_50.8
FAIL
1200.16
robots_1_5_5_5.8
FAIL
1200.16
robots_1_5_5_66.8
FAIL
1200.16
robots_1_5_5_99.8
FAIL
1200.16
robots_1_5_5_100.8
FAIL
1200.16
T-adeu-9
FAIL
1200.16
robots_1_5_4_24.8
FAIL
1200.16
T-edau-1
FAIL
1200.16
T-edau-4
FAIL
1200.16
robots_1_5_3_16.8
FAIL
1200.16
robots_1_5_2_100.8
FAIL
1200.16
robots_1_5_5_14.8
FAIL
1200.16
x120.6
FAIL
1200.16
x240.2
FAIL
1200.16
robots_1_5_2_32.8
FAIL
1200.16
x240.6
FAIL
1200.16
robots_1_5_4_75.8
FAIL
1200.16
robots_1_5_3_70.8
FAIL
1200.16
robots_1_5_2_61.8
FAIL
1200.16
T-adeu-5
FAIL
1200.16
T-edau-5
FAIL
1200.16
robots_1_5_4_91.8
FAIL
1200.16
robots_1_5_4_1.8
FAIL
1200.16
x240.1
FAIL
1200.16
x240.0
FAIL
1200.16
x120.8
FAIL
1200.16
x120.7
FAIL
1200.16
robots_1_5_5_33.8
FAIL
1200.16
robots_1_5_5_12.8
FAIL
1200.16
x120.9
FAIL
1200.16
robots_1_5_2_91.8
FAIL
1200.17
robots_1_5_5_95.8
FAIL
1200.17
robots_1_5_4_56.8
FAIL
1200.17
robots_1_5_3_64.8
FAIL
1200.17
robots_1_5_3_8.8
FAIL
1200.17
T-edau-2
FAIL
1200.17
T-edau-9
FAIL
1200.17
T-edau-3
FAIL
1200.17
T-edau-7
FAIL
1200.17
T-adeu-4
FAIL
1200.17
T-adeu-8
FAIL
1200.18
robots_1_5_3_27.8
FAIL
1200.18
ncf_8_16_4_euad.10
FAIL
1200.21
Qq2k3k3v20v20m200s2
FAIL
1200.23
Qq2k3k3v20v20m200s7
FAIL
1200.23
Qq2k3k3v20v20m200s8
FAIL
1200.23
Qq2k3k3v20v20m200s3
FAIL
1200.24
Qq2k3k3v20v20m200s4
FAIL
1200.24
Qq2k3k3v20v20m200s1
FAIL
1200.25
Qq2k3k3v20v20m200s10
FAIL
1200.26
Contact
|
Organization
|
Links
|
Citing QBFLIB