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 PositionalGames_hex solved by
qbfrelay
QBFEVAL'17 - Random QBFs Track
Instance
Result
Time
hex_hein_4x4_04
SAT
0.1
hex_hein_7x7_18
SAT
11.65
hex_rand_6x6-12m-9
FAIL
13.96
hex_rand_6x6-12m-8
FAIL
15.71
hex_rand_6x6-12m-5
FAIL
17.7
hex_rand_6x6-12m-4
FAIL
21.59
hex_rand_6x6-12m-0
FAIL
21.61
hex_rand_6x6-12m-3
FAIL
22.09
hex_rand_6x6-12m-2
FAIL
32.36
hex_rand_6x6-12m-7
FAIL
32.91
hex_rand_6x6-12m-6
FAIL
39.51
hex_rand_6x6-12m-1
FAIL
46.08
hex_rand_6x6-6m-5
FAIL
91.93
hex_rand_6x6-6m-7
FAIL
105.27
hex_rand_6x6-6m-1
FAIL
107.05
hex_hein_6x6_03
FAIL
139.8
hex_rand_6x6-6m-3
FAIL
160.32
hex_rand_6x6-6m-0
FAIL
197.74
hex_hein_5x5_05
FAIL
296.9
hex_rand_6x6-6m-4
FAIL
310.05
hex_hein_6x6_20
FAIL
449.6
hex_rand_6x6-6m-9
FAIL
455.77
hex_rand_6x6-6m-8
FAIL
565
hex_rand_6x6-6m-6
FAIL
585.39
hex_rand_6x6-20m-9
FAIL
606.96
hex_rand_6x6-20m-2
FAIL
638.18
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
hex_hein_4x4_07
FAIL
705
hex_rand_6x6-20m-1
FAIL
708.34
hex_hein_5x5_02
FAIL
710.22
hex_rand_6x6-6m-2
FAIL
724.53
hex_rand_6x6-20m-6
FAIL
728.55
hex_rand_6x6-20m-3
FAIL
733.82
hex_rand_6x6-20m-8
FAIL
740.24
hex_hein_4x4_12
FAIL
770.09
hex_hein_5x5_11
FAIL
771.85
hex_hein_5x5_13
FAIL
774.17
hex_hein_5x5_10
FAIL
791.72
hex_hein_5x5_15
FAIL
826.01
hex_hein_5x5_16
FAIL
828.36
hex_hein_5x5_19
FAIL
833.52
hex_hein_6x6_17
FAIL
893.98
hex_hein_5x5_14
FAIL
894.69
Contact
|
Organization
|
Links
|
Citing QBFLIB