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
iprover-QBF-bloqqer
QBFEVAL'16 - Random QBFs Track.
Instance
Result
Time
ncf_8_16_4_u.2
FAIL
0.04
ncf_4_16_2_d.4
SAT
0.04
ncf_8_16_4_u.1
SAT
0.04
ncf_4_16_2_d.6
SAT
0.04
ncf_4_16_2_d.2
SAT
0.04
ncf_4_16_2_d.9
SAT
0.04
ncf_8_16_4_u.5
FAIL
0.04
ncf_8_16_4_u.6
FAIL
0.05
ncf_8_16_4_u.10
SAT
0.05
ncf_4_16_2_d.7
SAT
0.05
robots_1_5_5_91.1
SAT
0.06
robots_1_5_5_58.1
SAT
0.06
robots_1_5_5_45.1
SAT
0.06
ncf_4_16_2_d.10
FAIL
0.06
robots_1_5_4_74.1
SAT
0.06
ncf_8_16_4_u.8
FAIL
0.06
ncf_4_16_2_d.8
SAT
0.07
robots_1_5_2_65.1
SAT
0.07
robots_1_5_3_56.1
SAT
0.07
robots_1_5_4_54.1
SAT
0.07
robots_1_5_3_98.1
SAT
0.07
ncf_4_16_2_d.5
FAIL
0.07
robots_1_5_3_94.1
SAT
0.07
robots_1_5_4_46.1
SAT
0.07
robots_1_5_2_93.1
SAT
0.08
robots_1_5_2_46.1
SAT
0.08
ncf_4_16_8_euad.7
SAT
0.08
ncf_8_16_4_u.4
SAT
0.08
ncf_4_16_2_d.1
FAIL
0.11
ncf_8_16_4_u.3
SAT
0.12
ncf_16_32_8_u.4
SAT
0.14
ncf_16_32_8_u.3
SAT
0.2
ncf_16_32_8_u.8
FAIL
0.31
ncf_16_32_8_u.10
SAT
0.31
ncf_16_32_8_u.6
SAT
0.52
robots_1_5_4_74.2
SAT
0.66
robots_1_5_5_58.2
SAT
0.68
robots_1_5_5_91.2
SAT
0.69
robots_1_5_4_46.2
SAT
0.71
robots_1_5_4_54.2
SAT
0.72
robots_1_5_5_45.2
SAT
0.75
robots_1_5_4_74.3
SAT
1.31
ncf_16_32_8_u.5
FAIL
1.32
robots_1_5_5_58.3
SAT
1.38
robots_1_5_4_46.3
SAT
1.46
robots_1_5_4_54.3
SAT
1.48
robots_1_5_5_91.3
SAT
1.51
robots_1_5_5_45.3
SAT
1.57
robots_1_5_3_98.2
SAT
1.67
robots_1_5_3_94.2
SAT
1.69
robots_1_5_3_56.2
SAT
1.71
robots_1_5_2_46.2
SAT
1.93
robots_1_5_2_93.2
SAT
2.27
S-edau-43
FAIL
2.52
robots_1_5_5_58.4
SAT
2.54
robots_1_5_4_74.4
SAT
2.59
robots_1_5_5_91.4
SAT
2.67
robots_1_5_5_45.4
SAT
3.02
T-edau-20
FAIL
3.07
T-edau-23
FAIL
3.08
robots_1_5_4_46.4
SAT
3.1
robots_1_5_3_56.3
SAT
3.16
T-edau-18
FAIL
3.18
robots_1_5_4_54.4
SAT
3.31
T-edau-8
FAIL
3.39
robots_1_5_2_65.2
SAT
3.78
robots_1_5_3_98.3
SAT
3.79
robots_1_5_3_94.3
SAT
4.06
robots_1_5_5_91.5
FAIL
4.19
S-edau-30
FAIL
4.29
robots_1_5_5_58.5
FAIL
4.31
robots_1_5_4_74.5
SAT
4.38
S-edau-7
FAIL
4.42
S-edau-8
FAIL
4.49
robots_1_5_2_65.3
SAT
4.52
robots_1_5_3_56.4
SAT
4.8
robots_1_5_2_46.3
SAT
4.94
Q_2-2-3_v-100-100-100_r-75.4
FAIL
55.44
Q_2-2-3_v-100-100-100_r-75.2
FAIL
55.54
Q_2-2-3_v-100-100-100_r-75.9
FAIL
55.54
Q_2-2-3_v-100-100-100_r-75.8
FAIL
55.64
Q_2-2-3_v-100-100-100_r-75.3
FAIL
55.73
Q_2-2-3_v-100-100-100_r-75.0
FAIL
55.76
Q_2-2-3_v-100-100-100_r-75.5
FAIL
55.84
Q_2-2-3_v-100-100-100_r-75.7
FAIL
55.85
Q_2-2-3_v-100-100-100_r-75.6
FAIL
55.94
Q_2-2-3_v-100-100-100_r-75.1
FAIL
55.94
Q_2-2-3_v-100-100-100_r-65.2
FAIL
90.63
Q_3-3-3_v-100-100-100_r-60.7
FAIL
152.24
Q_3-3-3_v-100-100-100_r-60.6
FAIL
152.35
Q_3-3-3_v-100-100-100_r-60.5
FAIL
152.74
Q_3-3-3_v-100-100-100_r-60.3
FAIL
152.75
Q_3-3-3_v-100-100-100_r-60.4
FAIL
152.84
Q_3-3-3_v-100-100-100_r-60.0
FAIL
152.95
Q_3-3-3_v-100-100-100_r-60.2
FAIL
153.24
Q_3-3-3_v-100-100-100_r-60.9
FAIL
153.44
Q_3-3-3_v-100-100-100_r-60.1
FAIL
153.54
Q_3-3-3_v-100-100-100_r-60.8
FAIL
153.74
ncf_16_128_8_edau.9
FAIL
174.23
ncf_16_128_8_edau.3
FAIL
175.13
ncf_16_128_8_edau.6
FAIL
175.43
ncf_16_128_8_edau.7
FAIL
175.84
ncf_16_128_8_edau.5
FAIL
176.33
ncf_16_128_8_edau.10
FAIL
176.63
Q_3-3-3_v-100-100-100_r-70.2
FAIL
176.94
Q_3-3-3_v-100-100-100_r-70.9
FAIL
177.45
Q_3-3-3_v-100-100-100_r-70.1
FAIL
177.54
Q_3-3-3_v-100-100-100_r-70.7
FAIL
177.64
Q_3-3-3_v-100-100-100_r-70.8
FAIL
177.64
Q_3-3-3_v-100-100-100_r-70.0
FAIL
177.65
ncf_16_128_8_edau.2
FAIL
177.83
Q_3-3-3_v-100-100-100_r-70.3
FAIL
177.85
Q_3-3-3_v-100-100-100_r-70.6
FAIL
177.96
Q_3-3-3_v-100-100-100_r-70.4
FAIL
178.06
ncf_16_128_8_edau.4
FAIL
178.64
ncf_16_128_8_edau.1
FAIL
180.44
Q_3-3-3_v-100-100-100_r-70.5
FAIL
181.14
ncf_16_128_8_edau.8
FAIL
181.53
ncf_4_16_2_d.3
UNSAT
189.12
ci.e#1.a#3.E#40.A#60.c#400.w#6.s#4.asp
FAIL
207.24
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#3.asp
FAIL
216.76
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#3.asp
FAIL
221.64
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#8.asp
FAIL
221.84
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#7.asp
FAIL
222.26
Q_3-3-3_v-100-100-100_r-50.4
FAIL
224.64
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#1.asp
FAIL
224.65
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#1.asp
FAIL
225.65
Q_3-3-3_v-100-100-100_r-50.8
FAIL
226.47
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.asp
FAIL
228.35
Q_3-3-3_v-100-100-100_r-50.1
FAIL
229.54
Q_3-3-3_v-100-100-100_r-50.3
FAIL
231.15
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#3.asp
FAIL
231.24
ci.e#1.a#3.E#40.A#60.c#392.w#6.s#4.asp
FAIL
232.16
Q_3-3-3_v-100-100-100_r-50.9
FAIL
232.44
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#4.asp
FAIL
232.44
Q_3-3-3_v-100-100-100_r-50.5
FAIL
233.14
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#8.asp
FAIL
233.55
ci.e#1.a#3.E#40.A#60.c#408.w#4.s#3.asp
FAIL
234.15
ci.e#1.a#3.E#40.A#60.c#352.w#6.s#8.asp
FAIL
234.36
Q_3-3-3_v-100-100-100_r-50.0
FAIL
234.84
ci.e#1.a#3.E#40.A#60.c#296.w#2.s#6.asp
FAIL
235.24
T-adeu-38
FAIL
235.34
ci.e#1.a#3.E#40.A#60.c#304.w#4.s#7.asp
FAIL
235.75
Q_3-3-3_v-100-100-100_r-50.2
FAIL
235.84
Q_3-3-3_v-100-100-100_r-50.6
FAIL
237.75
ci.e#1.a#3.E#40.A#60.c#200.w#6.s#6.asp
FAIL
239.05
x35.2
FAIL
239.86
Q_3-3_v-100-100_r-17.0
FAIL
240.54
Q_3-3-3_v-100-100-100_r-50.7
FAIL
241.84
ci.e#1.a#3.E#40.A#60.c#400.w#4.s#5.asp
FAIL
242.34
ci.e#1.a#3.E#40.A#60.c#288.w#4.s#8.asp
FAIL
242.64
ci.e#1.a#3.E#40.A#60.c#424.w#4.s#2.asp
FAIL
243.54
Q_3-3_v-100-100_r-19.7
FAIL
243.84
Q_3-3_v-100-100_r-19.3
FAIL
244.64
robots_1_5_4_54.10
FAIL
244.94
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#6.asp
FAIL
245.94
Q_3-3_v-100-100_r-15.0
FAIL
249.24
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#2.asp
FAIL
249.44
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#3.asp
FAIL
249.54
Q_3-3_v-100-100_r-19.5
FAIL
250.85
Q_3-3_v-100-100_r-19.9
FAIL
251.64
robots_1_5_5_58.10
FAIL
251.84
Q_3-3_v-100-100_r-19.6
FAIL
252.14
Q_3-3_v-100-100_r-15.8
FAIL
252.34
ci.e#1.a#3.E#40.A#60.c#288.w#6.s#2.asp
FAIL
253.34
ci.e#1.a#3.E#40.A#60.c#264.w#4.s#2.asp
FAIL
254.04
Q_3-3_v-100-100_r-19.2
FAIL
255.54
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#4.asp
FAIL
256.56
ncf_16_128_8_euad.1
FAIL
256.64
ci.e#1.a#3.E#40.A#60.c#344.w#4.s#5.asp
FAIL
256.64
ncf_16_128_8_euad.6
FAIL
257.83
ci.e#1.a#3.E#40.A#60.c#320.w#4.s#8.asp
FAIL
257.84
ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.asp
FAIL
258.24
Q_3-3_v-100-100_r-19.4
FAIL
258.24
ci.e#1.a#3.E#40.A#60.c#360.w#2.s#8.asp
FAIL
258.85
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#7.asp
FAIL
260.44
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#6.asp
FAIL
261.25
Q_3-3_v-100-100_r-15.1
FAIL
262.74
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#6.asp
FAIL
262.95
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#7.asp
FAIL
264.15
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#1.asp
FAIL
264.35
Q_3-3_v-100-100_r-17.5
FAIL
264.54
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#1.asp
FAIL
266.45
Q_3-3_v-100-100_r-17.2
FAIL
266.74
T-adeu-6
FAIL
269.04
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#5.asp
FAIL
269.44
ci.e#1.a#3.E#40.A#60.c#208.w#6.s#8.asp
FAIL
269.74
ncf_16_128_8_euad.2
FAIL
270.33
ci.e#1.a#3.E#40.A#60.c#360.w#4.s#1.asp
FAIL
270.66
Q_3-3_v-100-100_r-15.7
FAIL
271.35
Q_3-3_v-100-100_r-15.9
FAIL
271.44
ci.e#1.a#3.E#40.A#60.c#336.w#4.s#5.asp
FAIL
272.04
Q_3-3_v-100-100_r-19.1
FAIL
272.04
Q_3-3_v-100-100_r-17.6
FAIL
273.54
ci.e#1.a#3.E#40.A#60.c#304.w#6.s#8.asp
FAIL
274.65
Q_3-3-3_v-100-100-100_r-40.1
FAIL
275.06
Q_3-3-3_v-100-100-100_r-40.4
FAIL
275.84
Q_3-3_v-100-100_r-15.4
FAIL
276.16
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#4.asp
FAIL
276.55
ncf_16_128_8_euad.9
FAIL
276.73
T-edau-9
FAIL
277.04
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#7.asp
FAIL
277.15
Q_3-3_v-100-100_r-13.5
FAIL
277.25
Q_3-3_v-100-100_r-17.8
FAIL
277.84
Q_3-3_v-100-100_r-17.3
FAIL
277.84
Q_3-3-3_v-100-100-100_r-40.7
FAIL
278.45
ci.e#1.a#3.E#40.A#60.c#352.w#4.s#8.asp
FAIL
278.45
ncf_16_128_8_euad.3
FAIL
278.83
Q_3-3_v-100-100_r-15.2
FAIL
279.14
Q_3-3_v-100-100_r-13.9
FAIL
279.46
Q_3-3_v-100-100_r-15.6
FAIL
279.55
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#2.asp
FAIL
280.04
Q_3-3_v-100-100_r-19.0
FAIL
281.25
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#6.asp
FAIL
281.65
Q_3-3_v-100-100_r-17.7
FAIL
282.14
ncf_16_128_8_euad.10
FAIL
283.13
Q_2-3_v-80-100_r-13.8
FAIL
283.14
Q_3-3_v-100-100_r-13.8
FAIL
285.34
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#3.asp
FAIL
285.55
Q_3-3_v-100-100_r-17.1
FAIL
286.05
Q_3-3_v-100-100_r-17.4
FAIL
286.44
Q_3-3-3_v-100-100-100_r-40.2
FAIL
287.25
Q_3-3-3_v-100-100-100_r-40.6
FAIL
287.44
Q_2-3_v-80-100_r-13.9
FAIL
287.75
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#1.asp
FAIL
288.36
Q_2-3_v-80-100_r-13.5
FAIL
288.84
Q_3-3-3_v-100-100-100_r-40.8
FAIL
289.04
Q_3-3_v-100-100_r-13.3
FAIL
289.35
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#7.asp
FAIL
289.74
Q_2-2-3_v-100-100-100_r-55.0
FAIL
289.84
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#2.asp
FAIL
290.46
Q_3-3-3_v-100-100-100_r-40.3
FAIL
290.55
Q_3-3_v-100-100_r-19.8
FAIL
290.75
Q_3-3-3_v-100-100-100_r-30.5
FAIL
291.24
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#5.asp
FAIL
291.94
Q_2-3_v-80-100_r-13.1
FAIL
292.25
T-adeu-9
FAIL
292.84
Q_2-3_v-80-100_r-11.1
FAIL
293.94
Q_2-3_v-80-100_r-13.4
FAIL
293.94
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#2.asp
FAIL
294.54
Q_2-2-3_v-100-100-100_r-55.6
FAIL
294.74
Q_3-3_v-100-100_r-15.3
FAIL
295.24
Q_2-3_v-80-100_r-13.0
FAIL
295.64
Q_3-3-3_v-100-100-100_r-40.0
FAIL
295.95
x35.11
FAIL
295.96
ncf_16_128_8_euad.4
FAIL
296.33
Q_3-3_v-100-100_r-15.5
FAIL
297.05
x165.9
FAIL
297.84
T-edau-6
FAIL
298.34
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#3.asp
FAIL
298.64
Q_3-3-3_v-100-100-100_r-40.9
FAIL
298.84
Q_3-3-3_v-100-100-100_r-30.3
FAIL
300.14
Q_3-3_v-100-100_r-13.0
FAIL
301.04
Q_2-3_v-80-100_r-11.6
FAIL
302.05
Q_3-3_v-100-100_r-11.9
FAIL
302.94
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#5.asp
FAIL
303.76
Q_3-3_v-100-100_r-13.1
FAIL
304.94
Q_3-3_v-100-100_r-11.8
FAIL
307.24
Q_2-3_v-80-100_r-13.7
FAIL
308.54
Q_2-3_v-80-100_r-13.3
FAIL
308.65
Q_2-2-3_v-100-100-100_r-55.3
FAIL
309.34
Q_3-3_v-100-100_r-13.7
FAIL
310.14
Q_2-2-3_v-100-100-100_r-55.9
FAIL
310.54
Q_3-3_v-100-100_r-11.7
FAIL
311.14
Q_3-3_v-100-100_r-13.4
FAIL
311.94
x165.19
FAIL
312.04
Q_2-2-3_v-100-100-100_r-55.5
FAIL
312.55
Q_3-3_v-100-100_r-11.2
FAIL
312.64
Q_3-3_v-100-100_r-13.6
FAIL
313.04
ncf_16_128_8_euad.5
FAIL
314.53
x25.7
FAIL
315.76
Q_2-2-3_v-100-100-100_r-35.9
FAIL
317.95
x35.9
FAIL
318.36
Q_3-3_v-100-100_r-11.5
FAIL
319.44
Q_2-2-3_v-100-100-100_r-45.7
FAIL
319.93
Q_3-3_v-100-100_r-17.9
FAIL
320.15
Q_2-3_v-80-100_r-11.8
FAIL
320.64
Q_2-3_v-80-100_r-11.2
FAIL
320.74
Q_2-3_v-80-100_r-13.6
FAIL
320.95
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#7.asp
FAIL
321.14
Q_3-3-3_v-100-100-100_r-40.5
FAIL
322.54
Q_2-3_v-80-100_r-11.0
FAIL
322.94
Q_2-2-3_v-100-100-100_r-55.7
FAIL
323.04
Q_2-3_v-80-100_r-9.6
FAIL
324.14
Q_3-3_v-100-100_r-11.3
FAIL
324.14
Q_3-3_v-100-100_r-13.2
FAIL
324.15
Q_3-3_v-100-100_r-11.6
FAIL
325.14
ncf_4_16_8_euad.10
FAIL
325.65
Q_2-3_v-80-100_r-11.9
FAIL
325.65
x35.10
FAIL
327.86
Q_3-3_v-100-100_r-11.1
FAIL
328.84
Q_2-3_v-80-100_r-9.8
FAIL
329.24
Q_2-2-3_v-100-100-100_r-35.4
FAIL
329.84
x70.12
FAIL
330.54
Q_2-3_v-80-100_r-13.2
FAIL
332.04
x40.17
FAIL
332.15
Q_2-3_v-80-100_r-9.3
FAIL
333.05
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#8.asp
FAIL
333.65
ci.e#1.a#3.E#40.A#60.c#312.w#2.s#3.asp
FAIL
333.85
Q_2-3_v-80-100_r-7.8
FAIL
334.46
x70.0
FAIL
334.94
Q_2-3_v-80-100_r-9.9
FAIL
335.04
Q_2-3_v-80-100_r-11.3
FAIL
335.55
Q_2-3_v-80-100_r-9.5
FAIL
335.85
x70.8
FAIL
335.94
S-adeu-32
FAIL
336.14
Q_2-3_v-80-100_r-11.4
FAIL
337.24
x70.16
FAIL
338.14
x70.1
FAIL
338.74
Q_2-3_v-80-100_r-5.8
FAIL
340.85
ncf_16_32_8_u.7
FAIL
341.53
x70.6
FAIL
342.04
Q_2-3_v-80-100_r-9.4
FAIL
342.75
Q_2-3_v-80-100_r-9.1
FAIL
343.65
Q_2-3_v-80-100_r-9.0
FAIL
343.65
x25.15
FAIL
343.85
Q_2-3_v-80-100_r-7.6
FAIL
344.06
x70.5
FAIL
344.24
Q_3-3-3_v-100-100-100_r-30.6
FAIL
345.14
x165.13
FAIL
345.84
Q_2-3_v-80-100_r-11.7
FAIL
346.14
Q_2-2-3_v-100-100-100_r-45.1
FAIL
348.14
Q_3-3_v-100-100_r-11.0
FAIL
348.24
Q_2-3_v-80-100_r-5.0
FAIL
348.35
Q_2-3_v-80-100_r-9.2
FAIL
348.65
Q_2-3_v-80-100_r-7.1
FAIL
349.55
x70.3
FAIL
349.95
Q_2-3_v-80-100_r-11.5
FAIL
350.15
x70.7
FAIL
350.34
x70.10
FAIL
350.34
Q_3-3-3_v-100-100-100_r-30.4
FAIL
350.64
ncf_4_16_8_euad.4
FAIL
351.64
Q_2-2-3_v-100-100-100_r-35.6
FAIL
351.84
Q_2-3_v-80-100_r-7.0
FAIL
353.95
Q_2-3_v-80-100_r-7.3
FAIL
354.36
Q_2-3_v-80-100_r-7.2
FAIL
355.46
T-edau-26
FAIL
356.65
Q_2-2-3_v-100-100-100_r-45.8
FAIL
357.04
Q_2-3_v-80-100_r-7.4
FAIL
357.35
Q_2-2-3_v-100-100-100_r-55.8
FAIL
359.34
S-adeu-19
FAIL
359.85
Q_2-3_v-80-100_r-7.7
FAIL
360.55
x165.3
FAIL
361.95
T-edau-2
FAIL
362.15
Q_2-3_v-80-100_r-5.5
FAIL
362.84
x40.1
FAIL
364.34
Q_2-2-3_v-100-100-100_r-45.6
FAIL
364.64
Q_2-3_v-80-100_r-5.1
FAIL
364.74
Q_2-2-3_v-100-100-100_r-55.4
FAIL
365.13
x165.17
FAIL
365.44
ncf_16_128_8_euad.7
FAIL
367.24
x210.15
FAIL
367.64
x210.16
FAIL
367.65
x210.17
FAIL
367.74
x210.9
FAIL
368.34
x210.11
FAIL
368.34
x165.11
FAIL
368.55
x165.0
FAIL
369.04
Q_2-3_v-80-100_r-5.3
FAIL
369.44
T-adeu-10
FAIL
372.65
ncf_16_64_4_d.1
FAIL
372.94
Q_2-2-3_v-100-100-100_r-55.2
FAIL
373.84
Q_2-2-3_v-100-100-100_r-35.2
FAIL
374.44
Q_3-3-3_v-100-100-100_r-30.7
FAIL
376.74
Q_3-3-3_v-100-100-100_r-30.0
FAIL
377.94
ci.e#1.a#3.E#40.A#60.c#368.w#6.s#7.asp
FAIL
378.46
Q_2-3_v-80-100_r-5.2
FAIL
378.55
x165.8
FAIL
378.64
x35.13
FAIL
379.05
x165.6
FAIL
379.34
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#8.asp
FAIL
380.54
x25.8
FAIL
381.44
robots_1_5_4_46.5
FAIL
383.84
Q_2-2-3_v-100-100-100_r-45.5
FAIL
384.44
Q_2-2-3_v-100-100-100_r-45.9
FAIL
384.83
Q_2-2-3_v-100-100-100_r-55.1
FAIL
388.74
Q_3-3_v-100-100_r-11.4
FAIL
388.84
Q_2-3_v-80-100_r-7.5
FAIL
389.04
x40.11
FAIL
389.46
x165.10
FAIL
392.04
Q_2-3_v-80-100_r-9.7
FAIL
392.05
Q_2-2-3_v-100-100-100_r-45.4
FAIL
393.85
x25.5
FAIL
396.75
ncf_16_32_8_u.2
FAIL
400.03
Q_3-3-3_v-100-100-100_r-30.8
FAIL
400.95
Q_2-3_v-80-100_r-5.7
FAIL
401.74
Q_2-3_v-80-100_r-5.9
FAIL
402.44
Q_3-3-3_v-100-100-100_r-30.2
FAIL
402.65
x220.13
FAIL
402.94
x220.9
FAIL
403.44
x220.10
FAIL
403.54
S-edau-1
FAIL
403.75
x220.16
FAIL
404.24
x220.8
FAIL
404.24
x220.2
FAIL
404.34
Q_2-2-3_v-100-100-100_r-35.8
FAIL
404.84
Q_2-3_v-80-100_r-5.6
FAIL
405.05
x220.6
FAIL
405.14
ncf_4_16_8_euad.1
FAIL
405.34
Q_3-3-3_v-100-100-100_r-30.9
FAIL
408.94
Q_2-2-3_v-100-100-100_r-35.0
FAIL
410.14
Q_2-3_v-80-100_r-5.4
FAIL
412.56
ncf_16_128_8_euad.8
FAIL
413.34
Q_2-2-3_v-100-100-100_r-45.0
FAIL
415.04
Q_2-3_v-80-100_r-7.9
FAIL
415.64
Q_2-2-3_v-100-100-100_r-35.5
FAIL
417.05
ncf_4_16_8_euad.9
FAIL
421.94
robots_1_5_5_45.10
FAIL
423.44
x25.10
FAIL
425.05
x35.15
FAIL
425.14
robots_1_5_4_54.5
FAIL
425.35
robots_1_5_3_94.5
FAIL
426.86
x25.19
FAIL
433.05
Q_2-2-3_v-100-100-100_r-45.3
FAIL
438.84
robots_1_5_5_58.6
FAIL
441.86
x35.3
FAIL
443.55
robots_1_5_5_91.6
FAIL
444.56
Q_2-2-3_v-100-100-100_r-45.2
FAIL
446.14
T-edau-44
FAIL
447.94
Q_3-3-3_v-100-100-100_r-30.1
FAIL
449.95
x25.4
FAIL
450.35
T-adeu-42
FAIL
453.35
robots_1_5_5_45.6
FAIL
454.46
robots_1_5_5_58.8
FAIL
455.85
x35.1
FAIL
457.34
Q_2-2-3_v-100-100-100_r-35.1
FAIL
457.65
x25.2
FAIL
457.66
Q_2-2-3_v-100-100-100_r-35.7
FAIL
459.44
robots_1_5_3_94.4
FAIL
459.96
S-adeu-15
FAIL
460.34
robots_1_5_5_45.5
FAIL
461.65
robots_1_5_3_98.4
FAIL
462.84
Q_2-2-3_v-100-100-100_r-35.3
FAIL
465.23
robots_1_5_3_98.7
FAIL
466.34
ncf_16_32_8_u.9
FAIL
468.23
x40.5
FAIL
470.35
ncf_8_16_4_u.9
FAIL
472.75
x40.19
FAIL
475.04
T-edau-24
FAIL
475.94
robots_1_5_3_94.9
FAIL
478.34
ncf_4_16_8_euad.6
FAIL
479.14
robots_1_5_4_54.6
FAIL
480.35
T-adeu-25
FAIL
481.64
ncf_4_16_8_euad.8
FAIL
486.04
robots_1_5_3_56.8
FAIL
486.54
robots_1_5_2_65.4
FAIL
489.25
x35.19
FAIL
490.05
ncf_4_16_8_euad.2
FAIL
491.54
robots_1_5_3_56.9
FAIL
492.14
x40.18
FAIL
492.44
x25.13
FAIL
492.55
x40.12
FAIL
493.05
robots_1_5_5_58.7
FAIL
493.96
S-adeu-28
FAIL
497.84
robots_1_5_4_74.8
FAIL
502.55
robots_1_5_3_56.5
FAIL
504.34
robots_1_5_4_46.6
FAIL
505.65
robots_1_5_2_93.4
FAIL
507.15
robots_1_5_3_98.5
FAIL
511.67
x35.5
FAIL
513.34
robots_1_5_4_54.8
FAIL
513.64
robots_1_5_4_74.7
FAIL
515.05
Q_2-2-3_v-100-100-100_r-65.5
FAIL
517.54
ncf_8_16_4_u.7
FAIL
521.94
robots_1_5_4_46.7
FAIL
523.35
ncf_4_16_8_euad.3
FAIL
524.44
robots_1_5_3_94.8
FAIL
526.84
robots_1_5_5_91.7
FAIL
531.85
robots_1_5_2_46.4
FAIL
534.76
robots_1_5_3_94.6
FAIL
537.44
ncf_16_32_8_u.1
FAIL
538.93
robots_1_5_5_45.7
FAIL
539.45
robots_1_5_2_46.7
FAIL
545.34
x40.4
FAIL
548.05
robots_1_5_4_74.9
FAIL
548.84
robots_1_5_3_56.10
FAIL
550.64
robots_1_5_4_46.8
FAIL
552.25
ncf_4_16_8_euad.5
FAIL
553.53
robots_1_5_2_93.6
FAIL
553.64
ncf_16_64_4_d.9
FAIL
561.83
robots_1_5_4_74.6
FAIL
561.84
robots_1_5_3_98.8
FAIL
571.94
robots_1_5_4_46.9
FAIL
574.04
robots_1_5_3_98.10
FAIL
575.14
T-adeu-15
FAIL
575.35
T-adeu-39
FAIL
575.64
S-edau-23
FAIL
580.34
S-adeu-49
FAIL
580.64
robots_1_5_3_98.9
FAIL
584.05
robots_1_5_4_54.7
FAIL
584.35
T-adeu-49
FAIL
586.24
robots_1_5_3_98.6
FAIL
587.34
x40.10
FAIL
587.64
robots_1_5_3_56.7
FAIL
590.54
robots_1_5_5_58.9
FAIL
593.16
ncf_16_64_4_d.10
FAIL
598.03
ncf_16_64_4_d.5
FAIL
599.12
robots_1_5_2_93.7
FAIL
599.12
x300.5
FAIL
599.12
robots_1_5_3_56.6
FAIL
599.12
robots_1_5_5_91.9
FAIL
599.12
robots_1_5_4_74.10
FAIL
599.12
robots_1_5_2_46.6
FAIL
599.12
robots_1_5_2_65.10
FAIL
599.12
robots_1_5_2_46.10
FAIL
599.12
S-edau-20
FAIL
599.12
robots_1_5_2_93.10
FAIL
599.13
x300.15
FAIL
599.13
robots_1_5_2_93.9
FAIL
599.13
robots_1_5_2_65.9
FAIL
599.13
x300.3
FAIL
599.13
robots_1_5_5_91.8
FAIL
599.13
S-adeu-6
FAIL
599.13
robots_1_5_2_65.7
FAIL
599.22
ncf_16_128_2_u.4
FAIL
599.22
ncf_16_128_2_u.3
FAIL
599.22
robots_1_5_2_65.5
FAIL
599.22
robots_1_5_4_46.10
FAIL
599.22
ncf_16_128_2_u.1
FAIL
599.22
ncf_16_64_4_d.7
FAIL
599.22
ncf_16_64_4_d.6
FAIL
599.22
ncf_16_128_2_u.6
FAIL
599.22
ncf_16_128_2_u.2
FAIL
599.22
robots_1_5_3_94.7
FAIL
599.22
robots_1_5_2_65.6
FAIL
599.22
robots_1_5_2_93.3
FAIL
599.22
robots_1_5_2_46.8
FAIL
599.22
robots_1_5_2_65.8
FAIL
599.22
robots_1_5_2_93.8
FAIL
599.22
ncf_16_128_2_u.5
FAIL
599.22
ncf_16_64_4_d.2
FAIL
599.22
ncf_16_64_4_d.8
FAIL
599.22
ncf_16_128_2_u.8
FAIL
599.22
S-edau-29
FAIL
599.22
x300.1
FAIL
599.22
S-adeu-47
FAIL
599.22
x300.6
FAIL
599.22
S-edau-17
FAIL
599.22
x300.8
FAIL
599.22
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#7.asp
FAIL
599.22
T-adeu-7
FAIL
599.22
Q_2-2-3_v-100-100-100_r-65.9
FAIL
599.22
S-adeu-30
FAIL
599.22
S-edau-34
FAIL
599.22
x300.16
FAIL
599.22
S-adeu-29
FAIL
599.22
Q_2-2-3_v-100-100-100_r-65.7
FAIL
599.22
Q_2-2-3_v-100-100-100_r-65.8
FAIL
599.22
x220.0
FAIL
599.22
Q_2-2-3_v-100-100-100_r-65.1
FAIL
599.22
x25.16
FAIL
599.22
x220.19
FAIL
599.22
ncf_16_64_4_d.3
FAIL
599.23
ncf_16_128_2_u.10
FAIL
599.23
Q_2-2-3_v-100-100-100_r-65.0
FAIL
599.23
Q_2-2-3_v-100-100-100_r-65.6
FAIL
599.23
Q_2-2-3_v-100-100-100_r-65.4
FAIL
599.23
Q_2-2-3_v-100-100-100_r-65.3
FAIL
599.23
ncf_16_64_4_d.4
FAIL
599.23
ncf_16_128_2_u.7
FAIL
599.23
x210.7
FAIL
599.23
ncf_16_128_2_u.9
FAIL
599.23
x300.4
FAIL
599.23
robots_1_5_5_91.10
FAIL
599.23
robots_1_5_5_45.9
FAIL
599.23
x210.12
FAIL
599.23
x210.3
FAIL
599.23
x210.6
FAIL
599.23
robots_1_5_5_45.8
FAIL
599.23
x220.12
FAIL
599.23
robots_1_5_3_94.10
FAIL
599.23
x300.12
FAIL
599.23
x300.19
FAIL
599.23
robots_1_5_2_46.9
FAIL
599.23
x40.6
FAIL
599.23
x210.1
FAIL
599.23
robots_1_5_2_93.5
FAIL
599.23
robots_1_5_2_46.5
FAIL
599.23
S-adeu-41
FAIL
599.23
robots_1_5_4_54.9
FAIL
599.23
Contact
|
Organization
|
Links
|
Citing QBFLIB