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'08
Instance
Solver
Result
Time
aim-100-1_6-yes1-1-00
QuBE6.1
SAT
0.06
aim-100-1_6-yes1-1-50
QuBE6.1
SAT
0.05
aim-100-1_6-yes1-1-90
QuBE6.1
UNSAT
0.05
aim-100-1_6-yes1-2-00
QuBE6.1
SAT
0.06
aim-100-1_6-yes1-2-50
QuBE6.1
SAT
0.05
aim-100-1_6-yes1-2-90
QuBE6.1
UNSAT
0.06
aim-100-1_6-yes1-3-00
QuBE6.1
UNSAT
0.06
aim-100-1_6-yes1-3-50
QuBE6.1
UNSAT
0.05
aim-100-1_6-yes1-3-90
QuBE6.1
SAT
0.04
aim-100-1_6-yes1-4-00
QuBE6.1
UNSAT
0.06
aim-100-1_6-yes1-4-50
QuBE6.1
UNSAT
0.06
aim-100-1_6-yes1-4-90
QuBE6.1
UNSAT
0.06
aim-100-2_0-yes1-1-00
QuBE6.1
UNSAT
0.07
aim-100-2_0-yes1-1-50
QuBE6.1
UNSAT
0.06
aim-100-2_0-yes1-1-90
QuBE6.1
UNSAT
0.06
aim-100-2_0-yes1-2-00
QuBE6.1
SAT
0.06
aim-100-2_0-yes1-2-50
QuBE6.1
SAT
0.05
aim-100-2_0-yes1-2-90
QuBE6.1
UNSAT
0.07
aim-100-2_0-yes1-3-00
QuBE6.1
UNSAT
0.07
aim-100-2_0-yes1-3-50
QuBE6.1
UNSAT
0.06
aim-100-2_0-yes1-3-90
QuBE6.1
UNSAT
0.06
aim-100-2_0-yes1-4-00
QuBE6.1
UNSAT
0.07
aim-100-2_0-yes1-4-50
QuBE6.1
UNSAT
0.06
aim-100-2_0-yes1-4-90
QuBE6.1
SAT
0.06
aim-100-3_4-yes1-1-00
QuBE6.1
UNSAT
0.1
aim-100-3_4-yes1-1-50
QuBE6.1
UNSAT
0.09
aim-100-3_4-yes1-1-90
QuBE6.1
SAT
0.08
aim-100-3_4-yes1-2-00
QuBE6.1
UNSAT
0.1
aim-100-3_4-yes1-2-50
QuBE6.1
SAT
0.08
aim-100-3_4-yes1-2-90
QuBE6.1
UNSAT
0.1
aim-100-3_4-yes1-3-00
QuBE6.1
SAT
0.08
aim-100-3_4-yes1-3-50
QuBE6.1
UNSAT
0.1
aim-100-3_4-yes1-3-90
QuBE6.1
UNSAT
0.11
aim-100-3_4-yes1-4-00
QuBE6.1
SAT
0.09
aim-100-3_4-yes1-4-50
QuBE6.1
UNSAT
0.09
aim-100-3_4-yes1-4-90
QuBE6.1
SAT
0.1
aim-100-6_0-yes1-1-00
QuBE6.1
SAT
0.14
aim-100-6_0-yes1-1-50
QuBE6.1
SAT
0.13
aim-100-6_0-yes1-1-90
QuBE6.1
UNSAT
0.15
aim-100-6_0-yes1-2-00
QuBE6.1
UNSAT
0.16
aim-100-6_0-yes1-2-50
QuBE6.1
UNSAT
0.15
aim-100-6_0-yes1-2-90
QuBE6.1
SAT
0.14
aim-100-6_0-yes1-3-00
QuBE6.1
SAT
0.14
aim-100-6_0-yes1-3-50
QuBE6.1
SAT
0.13
aim-100-6_0-yes1-3-90
QuBE6.1
UNSAT
0.15
aim-100-6_0-yes1-4-00
QuBE6.1
UNSAT
0.16
aim-100-6_0-yes1-4-50
QuBE6.1
UNSAT
0.15
aim-100-6_0-yes1-4-90
QuBE6.1
SAT
0.14
aim-200-1_6-yes1-1-00
QuBE6.1
SAT
0.11
aim-200-1_6-yes1-1-50
QuBE6.1
SAT
0.1
aim-200-1_6-yes1-1-90
QuBE6.1
SAT
0.1
aim-200-1_6-yes1-2-00
QuBE6.1
UNSAT
0.12
aim-200-1_6-yes1-2-50
QuBE6.1
SAT
0.09
aim-200-1_6-yes1-2-90
QuBE6.1
UNSAT
0.1
aim-200-1_6-yes1-3-00
QuBE6.1
UNSAT
0.12
aim-200-1_6-yes1-3-50
QuBE6.1
UNSAT
0.1
aim-200-1_6-yes1-3-90
QuBE6.1
UNSAT
0.12
aim-200-1_6-yes1-4-00
QuBE6.1
UNSAT
0.12
aim-200-1_6-yes1-4-50
QuBE6.1
SAT
0.12
aim-200-1_6-yes1-4-90
QuBE6.1
SAT
0.14
aim-200-2_0-yes1-1-00
QuBE6.1
SAT
0.15
aim-200-2_0-yes1-1-50
QuBE6.1
UNSAT
0.13
aim-200-2_0-yes1-1-90
QuBE6.1
UNSAT
0.14
aim-200-2_0-yes1-2-00
QuBE6.1
UNSAT
0.16
aim-200-2_0-yes1-2-50
QuBE6.1
UNSAT
0.13
aim-200-2_0-yes1-2-90
QuBE6.1
UNSAT
0.14
aim-200-2_0-yes1-3-00
QuBE6.1
UNSAT
0.16
aim-200-2_0-yes1-3-50
QuBE6.1
UNSAT
0.13
aim-200-2_0-yes1-3-90
QuBE6.1
SAT
0.12
aim-200-2_0-yes1-4-00
QuBE6.1
SAT
0.15
aim-200-2_0-yes1-4-50
QuBE6.1
SAT
0.12
aim-200-2_0-yes1-4-90
QuBE6.1
SAT
0.18
aim-200-3_4-yes1-1-00
QuBE6.1
UNSAT
0.29
aim-200-3_4-yes1-1-50
QuBE6.1
SAT
0.19
aim-200-3_4-yes1-1-90
QuBE6.1
SAT
0.22
aim-200-3_4-yes1-2-00
QuBE6.1
UNSAT
0.26
aim-200-3_4-yes1-2-50
QuBE6.1
SAT
0.24
aim-200-3_4-yes1-2-90
QuBE6.1
UNSAT
0.34
aim-200-3_4-yes1-3-00
QuBE6.1
SAT
0.25
aim-200-3_4-yes1-3-50
QuBE6.1
SAT
0.18
aim-200-3_4-yes1-3-90
QuBE6.1
UNSAT
0.32
aim-200-3_4-yes1-4-00
QuBE6.1
SAT
0.22
aim-200-3_4-yes1-4-50
QuBE6.1
SAT
0.19
aim-200-3_4-yes1-4-90
QuBE6.1
SAT
0.13
aim-200-6_0-yes1-1-00
QuBE6.1
UNSAT
0.48
aim-200-6_0-yes1-1-50
QuBE6.1
UNSAT
0.45
aim-200-6_0-yes1-1-90
QuBE6.1
SAT
0.51
aim-200-6_0-yes1-2-00
QuBE6.1
UNSAT
0.48
aim-200-6_0-yes1-2-50
QuBE6.1
UNSAT
0.44
aim-200-6_0-yes1-2-90
QuBE6.1
UNSAT
0.48
aim-200-6_0-yes1-3-00
QuBE6.1
SAT
0.4
aim-200-6_0-yes1-3-50
QuBE6.1
UNSAT
0.45
aim-200-6_0-yes1-3-90
QuBE6.1
UNSAT
0.46
aim-200-6_0-yes1-4-00
QuBE6.1
UNSAT
0.47
aim-200-6_0-yes1-4-50
QuBE6.1
SAT
0.38
aim-200-6_0-yes1-4-90
QuBE6.1
SAT
0.59
aim-50-1_6-yes1-1-00
QuBE6.1
SAT
0.04
aim-50-1_6-yes1-1-50
QuBE6.1
SAT
0.04
aim-50-1_6-yes1-1-90
QuBE6.1
UNSAT
0.04
aim-50-1_6-yes1-2-00
QuBE6.1
SAT
0.04
aim-50-1_6-yes1-2-50
QuBE6.1
SAT
0.03
aim-50-1_6-yes1-2-90
QuBE6.1
UNSAT
0.04
aim-50-1_6-yes1-3-00
QuBE6.1
SAT
0.04
aim-50-1_6-yes1-3-50
QuBE6.1
UNSAT
0.04
aim-50-1_6-yes1-3-90
QuBE6.1
SAT
0.03
aim-50-1_6-yes1-4-00
QuBE6.1
SAT
0.04
aim-50-1_6-yes1-4-50
QuBE6.1
SAT
0.04
aim-50-1_6-yes1-4-90
QuBE6.1
UNSAT
0.04
aim-50-2_0-yes1-1-00
QuBE6.1
UNSAT
0.04
aim-50-2_0-yes1-1-50
QuBE6.1
UNSAT
0.04
aim-50-2_0-yes1-1-90
QuBE6.1
UNSAT
0.04
aim-50-2_0-yes1-2-00
QuBE6.1
UNSAT
0.04
aim-50-2_0-yes1-2-50
QuBE6.1
UNSAT
0.04
aim-50-2_0-yes1-2-90
QuBE6.1
SAT
0.04
aim-50-2_0-yes1-3-00
QuBE6.1
UNSAT
0.04
aim-50-2_0-yes1-3-50
QuBE6.1
UNSAT
0.04
aim-50-2_0-yes1-3-90
QuBE6.1
UNSAT
0.04
aim-50-2_0-yes1-4-00
QuBE6.1
UNSAT
0.04
aim-50-2_0-yes1-4-50
QuBE6.1
SAT
0.04
aim-50-2_0-yes1-4-90
QuBE6.1
SAT
0.04
aim-50-3_4-yes1-1-00
QuBE6.1
UNSAT
0.06
aim-50-3_4-yes1-1-50
QuBE6.1
UNSAT
0.05
aim-50-3_4-yes1-1-90
QuBE6.1
UNSAT
0.05
aim-50-3_4-yes1-2-00
QuBE6.1
SAT
0.05
aim-50-3_4-yes1-2-50
QuBE6.1
SAT
0.05
aim-50-3_4-yes1-2-90
QuBE6.1
SAT
0.06
aim-50-3_4-yes1-3-00
QuBE6.1
SAT
0.05
aim-50-3_4-yes1-3-50
QuBE6.1
SAT
0.05
aim-50-3_4-yes1-3-90
QuBE6.1
UNSAT
0.06
aim-50-3_4-yes1-4-00
QuBE6.1
UNSAT
0.05
aim-50-3_4-yes1-4-50
QuBE6.1
UNSAT
0.05
aim-50-3_4-yes1-4-90
QuBE6.1
SAT
0.06
aim-50-6_0-yes1-1-00
QuBE6.1
UNSAT
0.08
aim-50-6_0-yes1-1-50
QuBE6.1
UNSAT
0.07
aim-50-6_0-yes1-1-90
QuBE6.1
SAT
0.06
aim-50-6_0-yes1-2-00
QuBE6.1
UNSAT
0.08
aim-50-6_0-yes1-2-50
QuBE6.1
UNSAT
0.07
aim-50-6_0-yes1-2-90
QuBE6.1
UNSAT
0.07
aim-50-6_0-yes1-3-00
QuBE6.1
UNSAT
0.06
aim-50-6_0-yes1-3-50
QuBE6.1
UNSAT
0.06
aim-50-6_0-yes1-3-90
QuBE6.1
SAT
0.07
aim-50-6_0-yes1-4-00
QuBE6.1
SAT
0.07
aim-50-6_0-yes1-4-50
QuBE6.1
UNSAT
0.07
aim-50-6_0-yes1-4-90
QuBE6.1
SAT
0.06
ii32b1-00
QuBE6.1
SAT
2.06
ii32b1-50
QuBE6.1
SAT
0.2
ii32b1-90
QuBE6.1
SAT
0.58
ii32b2-00
QuBE6.1
SAT
4.77
ii32b2-50
QuBE6.1
SAT
4.3
ii32b2-90
QuBE6.1
SAT
53.25
ii32c1-50
QuBE6.1
SAT
0.18
ii32c1-90
QuBE6.1
UNSAT
3.95
ii32c2-00
QuBE6.1
SAT
14.22
ii32c2-50
QuBE6.1
SAT
5.9
ii32c2-90
QuBE6.1
SAT
4.57
ii32c3-00
QuBE6.1
SAT
12.55
ii32c3-50
QuBE6.1
SAT
8.08
ii32c3-90
QuBE6.1
SAT
6.64
ii32d1-00
QuBE6.1
SAT
0.44
ii32d1-50
QuBE6.1
SAT
0.55
ii32d1-90
QuBE6.1
SAT
1.68
ii32e1-00
QuBE6.1
SAT
0.2
ii32e1-50
QuBE6.1
SAT
0.28
ii32e1-90
QuBE6.1
UNSAT
0.41
ii32e2-00
QuBE6.1
SAT
7.54
ii32e2-50
QuBE6.1
SAT
6.95
ii32e2-90
QuBE6.1
SAT
9.29
ii8a1-00
ssolveC
SAT
0.68
ii8a1-50
QuBE6.1
SAT
0.04
ii8a1-90
QuBE6.1
SAT
0.05
ii8a2-00
QuBE6.1
SAT
0.22
ii8a2-50
QuBE6.1
SAT
64.71
ii8a2-90
QuBE6.1
UNSAT
0.72
ii8a3-00
QuBE6.1
SAT
0.54
ii8a4-00
QuBE6.1
SAT
1.37
ii8a4-90
QuBE6.1
SAT
1.2
ii8b1-00
QuBE6.1
SAT
15.58
ii8b1-50
QuBE6.1
SAT
17.12
ii8b1-90
QuBE6.1
SAT
0.32
ii8c1-90
QuBE6.1
SAT
0.32
ii8d1-00
QuBE6.1
SAT
151.83
jnh1-00
QuBE6.1
SAT
0.26
jnh1-50
QuBE6.1
SAT
0.22
jnh1-90
QuBE6.1
UNSAT
2.51
jnh12-00
QuBE6.1
UNSAT
0.26
jnh12-50
QuBE6.1
UNSAT
0.24
jnh12-90
QuBE6.1
SAT
0.22
jnh17-00
QuBE6.1
SAT
0.22
jnh17-50
QuBE6.1
SAT
0.28
jnh17-90
QuBE6.1
UNSAT
0.67
jnh201-00
QuBE6.1
SAT
0.57
jnh201-50
QuBE6.1
SAT
0.2
jnh201-90
QuBE6.1
SAT
9.77
jnh204-00
QuBE6.1
SAT
0.38
jnh204-50
QuBE6.1
SAT
0.57
jnh204-90
QuBE6.1
SAT
1.3
jnh205-00
QuBE6.1
UNSAT
1.09
jnh205-50
QuBE6.1
SAT
0.25
jnh205-90
QuBE6.1
UNSAT
0.44
jnh207-00
QuBE6.1
UNSAT
0.42
jnh207-50
QuBE6.1
UNSAT
0.46
jnh207-90
QuBE6.1
SAT
0.3
jnh209-00
QuBE6.1
SAT
0.21
jnh209-50
QuBE6.1
UNSAT
1.68
jnh209-90
QuBE6.1
UNSAT
0.75
jnh210-00
QuBE6.1
UNSAT
39.95
jnh210-50
QuBE6.1
SAT
0.19
jnh210-90
QuBE6.1
UNSAT
0.58
jnh212-00
QuBE6.1
UNSAT
0.36
jnh212-50
QuBE6.1
UNSAT
0.43
jnh212-90
QuBE6.1
UNSAT
0.52
jnh213-00
QuBE6.1
SAT
0.2
jnh213-50
QuBE6.1
SAT
0.17
jnh213-90
QuBE6.1
SAT
0.27
jnh217-00
QuBE6.1
SAT
0.18
jnh217-50
QuBE6.1
SAT
0.23
jnh217-90
QuBE6.1
SAT
3.09
jnh218-00
QuBE6.1
SAT
0.21
jnh218-50
QuBE6.1
SAT
0.81
jnh218-90
QuBE6.1
SAT
0.32
jnh220-00
QuBE6.1
SAT
0.6
jnh220-50
QuBE6.1
SAT
0.25
jnh220-90
QuBE6.1
SAT
0.96
jnh301-00
QuBE6.1
UNSAT
0.54
jnh301-50
QuBE6.1
SAT
0.17
jnh301-90
QuBE6.1
UNSAT
0.47
jnh7-00
QuBE6.1
SAT
0.24
jnh7-50
QuBE6.1
SAT
0.26
jnh7-90
QuBE6.1
SAT
0.27
par16-1-00
QuBE6.1
UNSAT
10.26
par16-1-50
QuBE6.1
UNSAT
7.48
par16-1-90
QuBE6.1
UNSAT
5.54
par16-1-c-00
QuBE6.1
SAT
2.19
par16-1-c-50
QuBE6.1
SAT
2.04
par16-1-c-90
QuBE6.1
SAT
2.72
par16-2-c-00
QuBE6.1
SAT
13.11
par16-2-c-50
QuBE6.1
SAT
3.72
par16-2-c-90
QuBE6.1
SAT
5.13
par16-3-c-00
QuBE6.1
UNSAT
5.1
par16-3-c-50
QuBE6.1
UNSAT
7.31
par16-3-c-90
QuBE6.1
UNSAT
5.7
par16-4-00
QuBE6.1
UNSAT
4.06
par16-4-50
QuBE6.1
UNSAT
3.87
par16-4-90
QuBE6.1
UNSAT
3.6
par16-4-c-00
QuBE6.1
SAT
1.91
par16-4-c-50
QuBE6.1
UNSAT
2.44
par16-4-c-90
QuBE6.1
UNSAT
3.41
par16-5-c-00
QuBE6.1
SAT
4.18
par16-5-c-50
QuBE6.1
UNSAT
3.22
par16-5-c-90
QuBE6.1
SAT
3.38
par8-1-00
QuBE6.1
SAT
0.29
par8-1-50
QuBE6.1
SAT
0.23
par8-1-90
QuBE6.1
UNSAT
0.53
par8-1-c-00
QuBE6.1
UNSAT
0.07
par8-1-c-50
QuBE6.1
UNSAT
0.07
par8-1-c-90
QuBE6.1
UNSAT
0.06
par8-2-00
QuBE6.1
UNSAT
0.36
par8-2-50
QuBE6.1
UNSAT
0.68
par8-2-90
QuBE6.1
UNSAT
0.5
par8-2-c-00
QuBE6.1
UNSAT
0.08
par8-2-c-50
QuBE6.1
UNSAT
0.06
par8-2-c-90
QuBE6.1
UNSAT
0.07
par8-3-00
QuBE6.1
UNSAT
0.36
par8-3-50
QuBE6.1
UNSAT
0.6
par8-3-90
QuBE6.1
SAT
0.53
par8-3-c-00
QuBE6.1
SAT
0.08
par8-3-c-50
QuBE6.1
UNSAT
0.07
par8-3-c-90
QuBE6.1
UNSAT
0.08
par8-4-00
QuBE6.1
SAT
0.32
par8-4-50
QuBE6.1
UNSAT
0.46
par8-4-90
QuBE6.1
UNSAT
0.59
par8-4-c-00
QuBE6.1
SAT
0.07
par8-4-c-50
QuBE6.1
SAT
0.06
par8-4-c-90
QuBE6.1
SAT
0.05
par8-5-00
QuBE6.1
UNSAT
0.37
par8-5-50
QuBE6.1
SAT
0.35
par8-5-90
QuBE6.1
UNSAT
0.6
par8-5-c-00
QuBE6.1
UNSAT
0.08
par8-5-c-50
QuBE6.1
UNSAT
0.08
par8-5-c-90
QuBE6.1
UNSAT
0.08
ssa7552-158-50
QuBE6.1
SAT
2.01
ssa7552-158-90
QuBE6.1
SAT
1.45
ssa7552-159-00
quantor3.0
SAT
0.03
ssa7552-159-50
QuBE6.1
SAT
0.92
ssa7552-159-90
QuBE6.1
SAT
1.44
ssa7552-160-00
QuBE6.1
SAT
1.7
ssa7552-160-50
AQME-1NN
SAT
521.77
ssa7552-160-90
Nenofex
SAT
112.22
Contact
|
Organization
|
Links
|
Citing QBFLIB
qbflib.org