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
quabs___caqe-hqspre
QBFEVAL'19 - Prenex non-CNF Track
Instance
Result
Time
chess_composing_8_template_12
FAIL
900
chess_composing_8_template_16
FAIL
900.01
chess_composing_8_template_27
FAIL
900.01
chess_composing_6_template_02
FAIL
900.01
chess_composing_8_template_47
FAIL
900.01
chess_composing_8_template_24
FAIL
900.01
chess_composing_8_template_01
FAIL
900.01
chess_composing_8_template_28
FAIL
900.02
chess_composing_6_template_07
FAIL
900.02
chess_composing_8_template_14
FAIL
900.02
chess_composing_8_template_05
FAIL
900.03
chess_composing_8_template_17
FAIL
900.03
chess_composing_6_template_05
FAIL
900.03
chess_composing_8_template_15
FAIL
900.03
chess_composing_8_template_37
FAIL
900.03
chess_composing_8_template_20
FAIL
900.04
chess_composing_8_template_21
FAIL
900.04
chess_composing_8_template_32
FAIL
900.04
chess_composing_8_template_23
FAIL
900.04
chess_composing_8_template_49
FAIL
900.04
chess_composing_8_template_50
FAIL
900.04
chess_composing_8_template_44
FAIL
900.05
chess_composing_8_template_39
FAIL
900.06
chess_composing_8_template_07
FAIL
900.06
chess_composing_8_template_11
FAIL
900.06
chess_composing_8_template_33
FAIL
900.06
chess_composing_8_template_04
FAIL
900.07
chess_composing_8_template_30
FAIL
900.07
chess_composing_8_template_25
FAIL
900.07
chess_composing_8_template_36
FAIL
900.07
chess_composing_6_template_03
FAIL
900.08
chess_composing_6_template_08
FAIL
900.08
chess_composing_8_template_40
FAIL
900.09
chess_composing_8_template_08
FAIL
900.09
chess_composing_8_template_26
FAIL
900.09
chess_composing_8_template_35
FAIL
900.1
Contact
|
Organization
|
Links
|
Citing QBFLIB