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 of family CounterFactual solved by
iprover-QBF
QBFEVAL'16 - Random QBFs Track.
Instance
Result
Time
ncf_4_16_2_d.6
SAT
1.7
ncf_4_16_2_d.2
SAT
4.02
ncf_8_16_4_u.10
SAT
10.18
ncf_4_16_2_d.4
SAT
31.82
ncf_16_32_8_u.9
FAIL
164.34
ncf_16_32_8_u.7
FAIL
164.73
ncf_16_32_8_u.1
FAIL
169.45
ncf_16_128_2_u.4
FAIL
171.84
ncf_16_128_2_u.3
FAIL
171.94
ncf_16_128_2_u.10
FAIL
172.14
ncf_16_128_2_u.6
FAIL
172.43
ncf_16_128_2_u.9
FAIL
172.63
ncf_16_128_2_u.2
FAIL
173.13
ncf_16_128_2_u.1
FAIL
173.53
ncf_16_64_4_d.9
FAIL
293.84
ncf_16_64_4_d.8
FAIL
296.74
ncf_16_128_8_edau.4
FAIL
311.03
ncf_16_128_8_edau.1
FAIL
312.13
ncf_16_128_8_edau.9
FAIL
312.63
ncf_16_128_8_edau.10
FAIL
313.83
ncf_16_128_8_edau.5
FAIL
314.93
ncf_16_128_8_edau.6
FAIL
316.03
ncf_16_128_8_edau.7
FAIL
316.53
ncf_16_128_8_edau.3
FAIL
317.23
ncf_16_128_8_edau.2
FAIL
317.23
ncf_16_128_8_edau.8
FAIL
317.43
ncf_16_128_8_euad.2
FAIL
317.73
ncf_16_128_8_euad.9
FAIL
319.04
ncf_16_128_8_euad.4
FAIL
319.33
ncf_16_128_8_euad.1
FAIL
319.73
ncf_16_128_8_euad.5
FAIL
320.73
ncf_16_128_8_euad.10
FAIL
320.74
ncf_16_128_8_euad.6
FAIL
320.93
ncf_16_128_8_euad.7
FAIL
322.23
ncf_16_64_4_d.5
FAIL
322.35
ncf_16_128_8_euad.3
FAIL
323.63
ncf_16_128_8_euad.8
FAIL
324.43
ncf_16_64_4_d.4
FAIL
328.83
ncf_16_64_4_d.10
FAIL
368.65
ncf_16_128_2_u.5
FAIL
372.34
ncf_16_64_4_d.1
FAIL
373.83
ncf_16_128_2_u.8
FAIL
378.45
ncf_16_128_2_u.7
FAIL
387.25
ncf_16_64_4_d.6
FAIL
404.14
ncf_16_64_4_d.7
FAIL
414.85
ncf_16_64_4_d.2
FAIL
475.93
ncf_16_64_4_d.3
FAIL
481.53
ncf_4_16_8_euad.9
FAIL
500.14
ncf_16_32_8_u.5
FAIL
507.34
ncf_16_32_8_u.4
FAIL
513.13
ncf_4_16_2_d.3
FAIL
519.64
ncf_16_32_8_u.3
FAIL
535.63
ncf_8_16_4_u.9
FAIL
536.84
ncf_4_16_8_euad.1
FAIL
546.43
ncf_16_32_8_u.2
FAIL
566.13
ncf_16_32_8_u.6
FAIL
573.24
ncf_16_32_8_u.8
FAIL
589.93
ncf_16_32_8_u.10
FAIL
590.74
ncf_8_16_4_u.3
FAIL
599.12
ncf_4_16_2_d.5
FAIL
599.12
ncf_8_16_4_u.2
FAIL
599.12
ncf_8_16_4_u.4
FAIL
599.12
ncf_4_16_8_euad.8
FAIL
599.22
ncf_4_16_8_euad.6
FAIL
599.22
ncf_4_16_2_d.10
FAIL
599.22
ncf_4_16_8_euad.3
FAIL
599.22
ncf_4_16_8_euad.2
FAIL
599.22
ncf_4_16_2_d.7
FAIL
599.22
ncf_4_16_8_euad.5
FAIL
599.22
ncf_4_16_8_euad.4
FAIL
599.22
ncf_4_16_2_d.8
FAIL
599.22
ncf_8_16_4_u.7
FAIL
599.22
ncf_4_16_8_euad.7
FAIL
599.22
ncf_8_16_4_u.8
FAIL
599.22
ncf_4_16_8_euad.10
FAIL
599.22
ncf_4_16_2_d.1
FAIL
599.22
ncf_8_16_4_u.6
FAIL
599.22
ncf_8_16_4_u.1
FAIL
599.22
ncf_4_16_2_d.9
FAIL
599.22
ncf_8_16_4_u.5
FAIL
599.22
Contact
|
Organization
|
Links
|
Citing QBFLIB