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 chess_composing solved by
PortfolioGhostQQfunQuAbSQute___pf2
QBFEVAL'19 - Prenex non-CNF Track
Instance
Result
Time
chess_composing_8_template_05
FAIL
7.13
chess_composing_8_template_21
FAIL
7.14
chess_composing_6_template_03
FAIL
7.15
chess_composing_8_template_08
FAIL
7.15
chess_composing_8_template_11
FAIL
7.15
chess_composing_8_template_25
FAIL
7.16
chess_composing_8_template_26
FAIL
7.16
chess_composing_6_template_05
FAIL
7.19
chess_composing_8_template_37
FAIL
7.19
chess_composing_6_template_07
FAIL
7.2
chess_composing_8_template_35
FAIL
7.2
chess_composing_6_template_08
FAIL
7.2
chess_composing_6_template_02
FAIL
7.2
chess_composing_8_template_50
FAIL
7.21
chess_composing_8_template_27
FAIL
7.21
chess_composing_8_template_17
FAIL
7.21
chess_composing_8_template_28
FAIL
7.21
chess_composing_8_template_40
FAIL
7.21
chess_composing_8_template_01
FAIL
7.22
chess_composing_8_template_07
FAIL
7.22
chess_composing_8_template_33
FAIL
7.23
chess_composing_8_template_04
FAIL
7.23
chess_composing_8_template_16
FAIL
7.23
chess_composing_8_template_32
FAIL
7.24
chess_composing_8_template_12
FAIL
7.24
chess_composing_8_template_24
FAIL
7.24
chess_composing_8_template_14
FAIL
7.24
chess_composing_8_template_36
FAIL
7.24
chess_composing_8_template_15
FAIL
7.24
chess_composing_8_template_39
FAIL
7.24
chess_composing_8_template_20
FAIL
7.24
chess_composing_8_template_30
FAIL
7.24
chess_composing_8_template_23
FAIL
7.25
chess_composing_8_template_49
FAIL
7.25
chess_composing_8_template_44
FAIL
7.26
chess_composing_8_template_47
FAIL
7.28
Contact
|
Organization
|
Links
|
Citing QBFLIB