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
Sota solver results for family Abduction
QBFEVAL'07 - Evaluation of Suite Audemard as hors concours formulas.
Instance
Solver
Result
Time
aim-100-1_6-yes1-1-00
yQuaffle
SAT
0.06
aim-100-1_6-yes1-1-50
yQuaffle
SAT
0.04
aim-100-1_6-yes1-1-90
yQuaffle
UNSAT
0.05
aim-100-1_6-yes1-2-00
yQuaffle
SAT
0.05
aim-100-1_6-yes1-2-50
yQuaffle
SAT
0.04
aim-100-1_6-yes1-2-90
yQuaffle
UNSAT
0.05
aim-100-1_6-yes1-3-00
yQuaffle
UNSAT
0.05
aim-100-1_6-yes1-3-50
yQuaffle
UNSAT
0.06
aim-100-1_6-yes1-3-90
yQuaffle
SAT
0.04
aim-100-1_6-yes1-4-00
yQuaffle
UNSAT
0.06
aim-100-1_6-yes1-4-50
yQuaffle
UNSAT
0.05
aim-100-1_6-yes1-4-90
yQuaffle
UNSAT
0.06
aim-100-2_0-yes1-1-00
yQuaffle
UNSAT
0.06
aim-100-2_0-yes1-1-50
yQuaffle
UNSAT
0.06
aim-100-2_0-yes1-1-90
yQuaffle
UNSAT
0.05
aim-100-2_0-yes1-2-00
yQuaffle
SAT
0.05
aim-100-2_0-yes1-2-50
yQuaffle
SAT
0.06
aim-100-2_0-yes1-2-90
yQuaffle
UNSAT
0.06
aim-100-2_0-yes1-3-00
yQuaffle
UNSAT
0.04
aim-100-2_0-yes1-3-50
yQuaffle
UNSAT
0.06
aim-100-2_0-yes1-3-90
yQuaffle
UNSAT
0.06
aim-100-2_0-yes1-4-00
yQuaffle
UNSAT
0.04
aim-100-2_0-yes1-4-50
yQuaffle
UNSAT
0.06
aim-100-2_0-yes1-4-90
yQuaffle
SAT
0.05
aim-100-3_4-yes1-1-00
yQuaffle
UNSAT
0.06
aim-100-3_4-yes1-1-50
yQuaffle
UNSAT
0.07
aim-100-3_4-yes1-1-90
yQuaffle
SAT
0.04
aim-100-3_4-yes1-2-00
yQuaffle
UNSAT
0.06
aim-100-3_4-yes1-2-50
yQuaffle
SAT
0.05
aim-100-3_4-yes1-2-90
yQuaffle
UNSAT
0.07
aim-100-3_4-yes1-3-00
yQuaffle
SAT
0.06
aim-100-3_4-yes1-3-50
yQuaffle
UNSAT
0.07
aim-100-3_4-yes1-3-90
yQuaffle
UNSAT
0.08
aim-100-3_4-yes1-4-00
yQuaffle
SAT
0.06
aim-100-3_4-yes1-4-50
yQuaffle
UNSAT
0.07
aim-100-3_4-yes1-4-90
yQuaffle
SAT
0.06
aim-100-6_0-yes1-1-00
yQuaffle
SAT
0.08
aim-100-6_0-yes1-1-50
yQuaffle
SAT
0.09
aim-100-6_0-yes1-1-90
yQuaffle
UNSAT
0.1
aim-100-6_0-yes1-2-00
yQuaffle
UNSAT
0.07
aim-100-6_0-yes1-2-50
yQuaffle
UNSAT
0.09
aim-100-6_0-yes1-2-90
yQuaffle
SAT
0.1
aim-100-6_0-yes1-3-00
yQuaffle
SAT
0.07
aim-100-6_0-yes1-3-50
yQuaffle
SAT
0.07
aim-100-6_0-yes1-3-90
yQuaffle
UNSAT
0.1
aim-100-6_0-yes1-4-00
yQuaffle
UNSAT
0.07
aim-100-6_0-yes1-4-50
yQuaffle
UNSAT
0.09
aim-100-6_0-yes1-4-90
yQuaffle
SAT
0.08
aim-200-1_6-yes1-1-00
yQuaffle
SAT
0.12
aim-200-1_6-yes1-1-50
yQuaffle
SAT
0.11
aim-200-1_6-yes1-1-90
yQuaffle
SAT
0.12
aim-200-1_6-yes1-2-00
yQuaffle
UNSAT
0.12
aim-200-1_6-yes1-2-50
yQuaffle
SAT
0.1
aim-200-1_6-yes1-2-90
yQuaffle
UNSAT
0.11
aim-200-1_6-yes1-3-00
yQuaffle
UNSAT
0.1
aim-200-1_6-yes1-3-50
yQuaffle
UNSAT
0.11
aim-200-1_6-yes1-3-90
yQuaffle
UNSAT
0.13
aim-200-1_6-yes1-4-00
yQuaffle
UNSAT
0.12
aim-200-1_6-yes1-4-50
yQuaffle
SAT
0.11
aim-200-1_6-yes1-4-90
yQuaffle
SAT
0.09
aim-200-2_0-yes1-1-00
yQuaffle
SAT
0.1
aim-200-2_0-yes1-1-50
yQuaffle
UNSAT
0.13
aim-200-2_0-yes1-1-90
yQuaffle
UNSAT
0.13
aim-200-2_0-yes1-2-00
yQuaffle
UNSAT
0.11
aim-200-2_0-yes1-2-50
yQuaffle
UNSAT
0.15
aim-200-2_0-yes1-2-90
yQuaffle
UNSAT
0.13
aim-200-2_0-yes1-3-00
yQuaffle
UNSAT
0.1
aim-200-2_0-yes1-3-50
yQuaffle
UNSAT
0.12
aim-200-2_0-yes1-3-90
yQuaffle
SAT
0.14
aim-200-2_0-yes1-4-00
yQuaffle
SAT
0.12
aim-200-2_0-yes1-4-50
yQuaffle
SAT
0.12
aim-200-2_0-yes1-4-90
yQuaffle
SAT
0.08
aim-200-3_4-yes1-1-00
yQuaffle
UNSAT
0.14
aim-200-3_4-yes1-1-50
yQuaffle
SAT
0.12
aim-200-3_4-yes1-1-90
yQuaffle
SAT
0.13
aim-200-3_4-yes1-2-00
yQuaffle
UNSAT
0.15
aim-200-3_4-yes1-2-50
yQuaffle
SAT
0.15
aim-200-3_4-yes1-2-90
yQuaffle
UNSAT
0.22
aim-200-3_4-yes1-3-00
yQuaffle
SAT
0.14
aim-200-3_4-yes1-3-50
yQuaffle
SAT
0.11
aim-200-3_4-yes1-3-90
yQuaffle
UNSAT
0.2
aim-200-3_4-yes1-4-00
yQuaffle
SAT
0.14
aim-200-3_4-yes1-4-50
yQuaffle
SAT
0.15
aim-200-3_4-yes1-4-90
yQuaffle
SAT
0.06
aim-200-6_0-yes1-1-00
yQuaffle
UNSAT
0.23
aim-200-6_0-yes1-1-50
yQuaffle
UNSAT
0.24
aim-200-6_0-yes1-1-90
yQuaffle
SAT
0.22
aim-200-6_0-yes1-2-00
yQuaffle
UNSAT
0.21
aim-200-6_0-yes1-2-50
yQuaffle
UNSAT
0.25
aim-200-6_0-yes1-2-90
yQuaffle
UNSAT
0.28
aim-200-6_0-yes1-3-00
yQuaffle
SAT
0.22
aim-200-6_0-yes1-3-50
yQuaffle
UNSAT
0.26
aim-200-6_0-yes1-3-90
yQuaffle
UNSAT
0.28
aim-200-6_0-yes1-4-00
yQuaffle
UNSAT
0.25
aim-200-6_0-yes1-4-50
yQuaffle
SAT
0.18
aim-200-6_0-yes1-4-90
yQuaffle
SAT
0.18
aim-50-1_6-yes1-1-00
yQuaffle
SAT
0.04
aim-50-1_6-yes1-1-50
yQuaffle
SAT
0.03
aim-50-1_6-yes1-1-90
yQuaffle
UNSAT
0.04
aim-50-1_6-yes1-2-00
yQuaffle
SAT
0.04
aim-50-1_6-yes1-2-50
yQuaffle
SAT
0.03
aim-50-1_6-yes1-2-90
yQuaffle
UNSAT
0.04
aim-50-1_6-yes1-3-00
yQuaffle
SAT
0.04
aim-50-1_6-yes1-3-50
yQuaffle
UNSAT
0.04
aim-50-1_6-yes1-3-90
yQuaffle
SAT
0.04
aim-50-1_6-yes1-4-00
yQuaffle
SAT
0.04
aim-50-1_6-yes1-4-50
yQuaffle
SAT
0.04
aim-50-1_6-yes1-4-90
yQuaffle
UNSAT
0.03
aim-50-2_0-yes1-1-00
yQuaffle
UNSAT
0.04
aim-50-2_0-yes1-1-50
yQuaffle
UNSAT
0.04
aim-50-2_0-yes1-1-90
yQuaffle
UNSAT
0.04
aim-50-2_0-yes1-2-00
yQuaffle
UNSAT
0.04
aim-50-2_0-yes1-2-50
yQuaffle
UNSAT
0.04
aim-50-2_0-yes1-2-90
yQuaffle
SAT
0.04
aim-50-2_0-yes1-3-00
yQuaffle
UNSAT
0.04
aim-50-2_0-yes1-3-50
yQuaffle
UNSAT
0.04
aim-50-2_0-yes1-3-90
yQuaffle
UNSAT
0.04
aim-50-2_0-yes1-4-00
yQuaffle
UNSAT
0.04
aim-50-2_0-yes1-4-50
yQuaffle
SAT
0.04
aim-50-2_0-yes1-4-90
yQuaffle
SAT
0.03
aim-50-3_4-yes1-1-00
yQuaffle
UNSAT
0.04
aim-50-3_4-yes1-1-50
yQuaffle
UNSAT
0.04
aim-50-3_4-yes1-1-90
yQuaffle
UNSAT
0.04
aim-50-3_4-yes1-2-00
yQuaffle
SAT
0.04
aim-50-3_4-yes1-2-50
yQuaffle
SAT
0.04
aim-50-3_4-yes1-2-90
yQuaffle
SAT
0.04
aim-50-3_4-yes1-3-00
yQuaffle
SAT
0.04
aim-50-3_4-yes1-3-50
yQuaffle
SAT
0.04
aim-50-3_4-yes1-3-90
yQuaffle
UNSAT
0.04
aim-50-3_4-yes1-4-00
yQuaffle
UNSAT
0.04
aim-50-3_4-yes1-4-50
yQuaffle
UNSAT
0.04
aim-50-3_4-yes1-4-90
yQuaffle
SAT
0.05
aim-50-6_0-yes1-1-00
yQuaffle
UNSAT
0.04
aim-50-6_0-yes1-1-50
yQuaffle
UNSAT
0.05
aim-50-6_0-yes1-1-90
yQuaffle
SAT
0.05
aim-50-6_0-yes1-2-00
yQuaffle
UNSAT
0.04
aim-50-6_0-yes1-2-50
yQuaffle
UNSAT
0.05
aim-50-6_0-yes1-2-90
yQuaffle
UNSAT
0.06
aim-50-6_0-yes1-3-00
yQuaffle
UNSAT
0.04
aim-50-6_0-yes1-3-50
yQuaffle
UNSAT
0.04
aim-50-6_0-yes1-3-90
yQuaffle
SAT
0.05
aim-50-6_0-yes1-4-00
yQuaffle
SAT
0.04
aim-50-6_0-yes1-4-50
yQuaffle
UNSAT
0.05
aim-50-6_0-yes1-4-90
yQuaffle
SAT
0.05
ii32b1-00
ncQuBE1.1
SAT
2.44
ii32b1-50
yQuaffle
SAT
0.09
ii32b1-90
ncQuBE1.1
SAT
0.82
ii32b2-00
yQuaffle
SAT
0.22
ii32b2-50
yQuaffle
SAT
0.2
ii32b2-90
yQuaffle
SAT
42.46
ii32c1-50
ncQuBE1.1
SAT
0.24
ii32c1-90
ncQuBE1.1
UNSAT
4.88
ii32c2-00
ncQuBE1.0
SAT
16.73
ii32c2-50
yQuaffle
SAT
0.17
ii32c2-90
ncQuBE1.0
SAT
3.44
ii32c3-00
yQuaffle
SAT
0.24
ii32c3-50
yQuaffle
SAT
0.29
ii32c3-90
yQuaffle
SAT
0.26
ii32d1-00
ncQuBE1.1
SAT
0.56
ii32d1-50
yQuaffle
SAT
0.49
ii32d1-90
ncQuBE1.1
SAT
2.46
ii32e1-00
yQuaffle
SAT
0.09
ii32e1-50
yQuaffle
SAT
0.09
ii32e1-90
ncQuBE1.1
UNSAT
0.53
ii32e2-00
ncQuBE1.0
SAT
5.82
ii32e2-50
yQuaffle
SAT
0.18
ii32e2-90
ncQuBE1.1
SAT
14.33
ii8a1-00
AQME-C4.5
SAT
6.39
ii8a1-50
yQuaffle
SAT
0.05
ii8a1-90
ncQuBE1.0
SAT
0.08
ii8a2-00
ncQuBE1.1
SAT
0.3
ii8a2-50
ncQuBE1.1
SAT
81.18
ii8a2-90
ncQuBE1.0
UNSAT
0.83
ii8a3-00
ncQuBE1.1
SAT
0.69
ii8a4-00
yQuaffle
SAT
0.55
ii8a4-90
AQME-C4.5
SAT
1
ii8b1-00
ncQuBE1.1
SAT
15.11
ii8b1-50
ncQuBE1.0
SAT
14.94
ii8b1-90
ncQuBE1.1
SAT
0.48
ii8c1-90
ncQuBE1.1
SAT
0.45
ii8d1-00
ncQuBE1.1
SAT
176.71
jnh1-00
ncQuBE1.1
SAT
0.32
jnh1-50
yQuaffle
SAT
0.1
jnh1-90
ncQuBE1.1
UNSAT
3.44
jnh12-00
ncQuBE1.1
UNSAT
0.32
jnh12-50
ncQuBE1.1
UNSAT
0.32
jnh12-90
yQuaffle
SAT
0.09
jnh17-00
yQuaffle
SAT
0.12
jnh17-50
yQuaffle
SAT
0.12
jnh17-90
yQuaffle
UNSAT
0.2
jnh201-00
ncQuBE1.1
SAT
0.71
jnh201-50
ncQuBE1.1
SAT
0.28
jnh201-90
ncQuBE1.1
SAT
14.1
jnh204-00
ncQuBE1.1
SAT
0.48
jnh204-50
yQuaffle
SAT
0.3
jnh204-90
ncQuBE1.1
SAT
1.74
jnh205-00
ncQuBE1.1
UNSAT
1.36
jnh205-50
yQuaffle
SAT
0.14
jnh205-90
yQuaffle
UNSAT
0.32
jnh207-00
ncQuBE1.1
UNSAT
0.52
jnh207-50
yQuaffle
UNSAT
0.5
jnh207-90
yQuaffle
SAT
0.18
jnh209-00
yQuaffle
SAT
0.12
jnh209-50
ncQuBE1.1
UNSAT
2.2
jnh209-90
ncQuBE1.0
UNSAT
0.9
jnh210-00
ncQuBE1.1
UNSAT
51.89
jnh210-50
yQuaffle
SAT
0.24
jnh210-90
yQuaffle
UNSAT
0.15
jnh212-00
yQuaffle
UNSAT
0.29
jnh212-50
yQuaffle
UNSAT
0.37
jnh212-90
yQuaffle
UNSAT
0.29
jnh213-00
yQuaffle
SAT
0.12
jnh213-50
yQuaffle
SAT
0.09
jnh213-90
yQuaffle
SAT
0.28
jnh217-00
yQuaffle
SAT
0.08
jnh217-50
ncQuBE1.1
SAT
0.31
jnh217-90
yQuaffle
SAT
2.43
jnh218-00
yQuaffle
SAT
0.12
jnh218-50
ncQuBE1.1
SAT
1.02
jnh218-90
yQuaffle
SAT
0.15
jnh220-00
yQuaffle
SAT
0.47
jnh220-50
yQuaffle
SAT
0.13
jnh220-90
yQuaffle
SAT
0.88
jnh301-00
ncQuBE1.0
UNSAT
0.66
jnh301-50
yQuaffle
SAT
0.15
jnh301-90
ncQuBE1.1
UNSAT
0.6
jnh7-00
yQuaffle
SAT
0.13
jnh7-50
ncQuBE1.1
SAT
0.35
jnh7-90
yQuaffle
SAT
0.16
par16-1-00
yQuaffle
UNSAT
9.46
par16-1-50
yQuaffle
UNSAT
8.71
par16-1-90
ncQuBE1.1
UNSAT
8.04
par16-1-c-00
yQuaffle
SAT
0.84
par16-1-c-50
yQuaffle
SAT
1.24
par16-1-c-90
yQuaffle
SAT
1.99
par16-2-c-00
AQME-RIPPER
SAT
6.26
par16-2-c-50
yQuaffle
SAT
3.1
par16-2-c-90
AQME-RIPPER
SAT
6.92
par16-3-c-00
yQuaffle
UNSAT
8.55
par16-3-c-50
yQuaffle
UNSAT
7.16
par16-3-c-90
ncQuBE1.1
UNSAT
8.08
par16-4-00
yQuaffle
UNSAT
3.93
par16-4-50
ncQuBE1.0
UNSAT
5.38
par16-4-90
ncQuBE1.1
UNSAT
5.02
par16-4-c-00
yQuaffle
SAT
0.88
par16-4-c-50
yQuaffle
UNSAT
1.9
par16-4-c-90
AQME-RIPPER
UNSAT
3.48
par16-5-c-00
yQuaffle
SAT
1.58
par16-5-c-50
yQuaffle
UNSAT
2
par16-5-c-90
yQuaffle
SAT
2.44
par8-1-00
yQuaffle
SAT
0.22
par8-1-50
ncQuBE1.1
SAT
0.3
par8-1-90
yQuaffle
UNSAT
0.6
par8-1-c-00
yQuaffle
UNSAT
0.05
par8-1-c-50
yQuaffle
UNSAT
0.05
par8-1-c-90
yQuaffle
UNSAT
0.06
par8-2-00
yQuaffle
UNSAT
0.2
par8-2-50
yQuaffle
UNSAT
0.62
par8-2-90
ncQuBE1.1
UNSAT
0.65
par8-2-c-00
yQuaffle
UNSAT
0.05
par8-2-c-50
yQuaffle
UNSAT
0.06
par8-2-c-90
yQuaffle
UNSAT
0.06
par8-3-00
yQuaffle
UNSAT
0.19
par8-3-50
yQuaffle
UNSAT
0.6
par8-3-90
ncQuBE1.0
SAT
0.72
par8-3-c-00
yQuaffle
SAT
0.05
par8-3-c-50
yQuaffle
UNSAT
0.06
par8-3-c-90
yQuaffle
UNSAT
0.07
par8-4-00
yQuaffle
SAT
0.24
par8-4-50
yQuaffle
UNSAT
0.52
par8-4-90
yQuaffle
UNSAT
0.62
par8-4-c-00
yQuaffle
SAT
0.06
par8-4-c-50
yQuaffle
SAT
0.05
par8-4-c-90
yQuaffle
SAT
0.04
par8-5-00
yQuaffle
UNSAT
0.21
par8-5-50
yQuaffle
SAT
0.25
par8-5-90
ncQuBE1.0
UNSAT
0.78
par8-5-c-00
yQuaffle
UNSAT
0.06
par8-5-c-50
yQuaffle
UNSAT
0.06
par8-5-c-90
yQuaffle
UNSAT
0.07
ssa7552-158-50
ncQuBE1.1
SAT
2.94
ssa7552-158-90
AQME-1NN
SAT
1.22
ssa7552-159-00
QUANTOR_2.15
SAT
0.06
ssa7552-159-50
ncQuBE1.1
SAT
1.14
ssa7552-159-90
AQME-C4.5
SAT
1.9
ssa7552-160-00
AQME-C4.5
SAT
1.55
ssa7552-160-50
AQME-RIPPER
SAT
1.54
Contact
|
Organization
|
Links
|
Citing QBFLIB