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 QLTL_safety solved by
quabs-minisat
QBFEVAL'16 - Prenex non-CNF Track.
Instance
Result
Time
assertion11_0_1
UNSAT
3.85
assertion12_0_1
UNSAT
3.92
assertion5_0_1
UNSAT
4.96
assertion7_0_1
UNSAT
7.48
assertion6_0_1
UNSAT
7.98
possibility6_0_2
FAIL
21.32
possibility4_0_2
FAIL
21.33
possibility11_0_2
FAIL
21.33
possibility1_0_2
FAIL
21.43
possibility3_0_2
FAIL
21.43
possibility7_0_2
FAIL
21.43
consistency_0_2
FAIL
21.43
assertion11_0_2
FAIL
21.52
assertion3_0_2
FAIL
21.53
possibility9_0_2
FAIL
21.53
assertion7_0_2
FAIL
21.63
possibility8_0_2
FAIL
21.63
assertion6_0_2
FAIL
21.63
assertion10_0_2
FAIL
21.74
assertion8_0_2
FAIL
21.74
possibility10_0_2
FAIL
21.74
possibility2_0_2
FAIL
21.84
assertion1_0_2
FAIL
21.84
possibility12_0_2
FAIL
21.84
assertion12_0_2
FAIL
22.03
assertion5_0_2
FAIL
22.03
assertion9_0_2
FAIL
22.03
possibility5_0_2
FAIL
22.03
assertion4_0_2
FAIL
22.13
assertion2_0_2
FAIL
22.13
possibility8_0_3
FAIL
40.94
consistency_0_3
FAIL
41.03
possibility1_0_3
FAIL
41.13
possibility11_0_3
FAIL
41.22
assertion3_0_3
FAIL
41.23
assertion7_0_3
FAIL
41.23
possibility4_0_3
FAIL
41.23
possibility9_0_3
FAIL
41.23
assertion6_0_3
FAIL
41.23
possibility3_0_3
FAIL
41.32
possibility7_0_3
FAIL
41.33
possibility6_0_3
FAIL
41.43
assertion11_0_3
FAIL
41.54
possibility2_0_3
FAIL
41.64
assertion10_0_3
FAIL
41.73
possibility10_0_3
FAIL
41.73
possibility12_0_3
FAIL
41.83
assertion1_0_3
FAIL
41.83
assertion8_0_3
FAIL
42.03
possibility5_0_3
FAIL
42.23
assertion12_0_3
FAIL
42.33
assertion5_0_3
FAIL
42.33
assertion9_0_3
FAIL
42.33
assertion2_0_3
FAIL
42.33
assertion4_0_3
FAIL
42.43
possibility8_0_4
FAIL
59.73
possibility9_0_4
FAIL
60.63
assertion3_0_4
FAIL
60.63
assertion7_0_4
FAIL
60.73
possibility11_0_4
FAIL
60.82
possibility3_0_4
FAIL
60.83
assertion6_0_4
FAIL
60.93
consistency_0_4
FAIL
61.03
possibility6_0_4
FAIL
61.03
possibility4_0_4
FAIL
61.03
possibility7_0_4
FAIL
61.13
possibility1_0_4
FAIL
61.23
assertion1_0_4
FAIL
61.34
assertion11_0_4
FAIL
61.34
possibility12_0_4
FAIL
61.44
assertion10_0_4
FAIL
61.63
assertion8_0_4
FAIL
61.72
possibility2_0_4
FAIL
61.82
possibility10_0_4
FAIL
61.93
possibility5_0_4
FAIL
62.23
assertion9_0_4
FAIL
62.32
assertion2_0_4
FAIL
62.33
assertion12_0_4
FAIL
62.44
assertion5_0_4
FAIL
62.54
assertion4_0_4
FAIL
62.63
possibility8_0_5
FAIL
80.83
possibility9_0_5
FAIL
81.34
assertion3_0_5
FAIL
81.63
possibility7_0_5
FAIL
81.92
possibility3_0_5
FAIL
81.93
possibility6_0_5
FAIL
82.03
assertion6_0_5
FAIL
82.13
possibility4_0_5
FAIL
82.13
possibility11_0_5
FAIL
82.13
assertion7_0_5
FAIL
82.24
possibility12_0_5
FAIL
82.34
consistency_0_5
FAIL
82.43
possibility1_0_5
FAIL
82.53
assertion11_0_5
FAIL
82.53
assertion8_0_5
FAIL
82.73
assertion1_0_5
FAIL
83.03
possibility2_0_5
FAIL
83.03
assertion10_0_5
FAIL
83.03
possibility10_0_5
FAIL
83.34
assertion2_0_5
FAIL
83.83
assertion4_0_5
FAIL
84.03
possibility5_0_5
FAIL
84.23
assertion12_0_5
FAIL
84.32
assertion5_0_5
FAIL
84.43
assertion9_0_5
FAIL
84.44
possibility8_0_6
FAIL
104.23
possibility9_0_6
FAIL
104.53
consistency_0_6
FAIL
104.63
possibility1_0_6
FAIL
104.63
assertion11_0_6
FAIL
104.63
possibility4_0_6
FAIL
104.83
possibility7_0_6
FAIL
104.93
possibility3_0_6
FAIL
105.03
assertion6_0_6
FAIL
105.23
assertion7_0_6
FAIL
105.23
assertion3_0_6
FAIL
105.26
possibility11_0_6
FAIL
105.48
possibility12_0_6
FAIL
105.93
possibility2_0_6
FAIL
106.03
assertion8_0_6
FAIL
106.13
possibility10_0_6
FAIL
106.22
possibility6_0_6
FAIL
106.23
assertion1_0_6
FAIL
106.32
assertion10_0_6
FAIL
106.33
possibility5_0_6
FAIL
107.64
assertion12_0_6
FAIL
107.83
assertion4_0_6
FAIL
107.83
assertion5_0_6
FAIL
108.03
assertion2_0_6
FAIL
108.15
assertion9_0_6
FAIL
109.23
possibility8_0_7
FAIL
121.43
possibility1_0_7
FAIL
121.63
possibility9_0_7
FAIL
121.73
consistency_0_7
FAIL
121.73
possibility4_0_7
FAIL
121.83
assertion11_0_7
FAIL
121.83
assertion7_0_7
FAIL
122.02
possibility11_0_7
FAIL
122.03
assertion6_0_7
FAIL
122.03
assertion3_0_7
FAIL
122.03
possibility6_0_7
FAIL
122.04
possibility3_0_7
FAIL
122.12
possibility7_0_7
FAIL
122.53
possibility12_0_7
FAIL
123.04
assertion8_0_7
FAIL
123.33
possibility2_0_7
FAIL
123.43
possibility10_0_7
FAIL
123.43
assertion1_0_7
FAIL
123.63
assertion10_0_7
FAIL
123.63
assertion2_0_7
FAIL
124.83
assertion4_0_7
FAIL
124.93
assertion12_0_7
FAIL
125.02
assertion5_0_7
FAIL
125.13
assertion9_0_7
FAIL
125.14
possibility5_0_7
FAIL
125.24
possibility8_0_8
FAIL
146.22
possibility12_0_8
FAIL
148.83
assertion8_0_8
FAIL
152.03
possibility9_0_8
FAIL
153.23
assertion3_0_8
FAIL
155.03
possibility3_0_8
FAIL
155.13
assertion7_0_8
FAIL
155.13
consistency_0_8
FAIL
155.23
assertion11_0_8
FAIL
155.33
possibility11_0_8
FAIL
155.33
assertion6_0_8
FAIL
155.42
possibility7_0_8
FAIL
155.43
possibility6_0_8
FAIL
155.43
possibility4_0_8
FAIL
155.53
possibility1_0_8
FAIL
155.53
assertion1_0_8
FAIL
156.83
assertion10_0_8
FAIL
157.14
possibility10_0_8
FAIL
157.43
possibility2_0_8
FAIL
157.43
possibility5_0_8
FAIL
159.02
assertion4_0_8
FAIL
159.12
assertion5_0_8
FAIL
159.13
assertion2_0_8
FAIL
159.13
assertion12_0_8
FAIL
159.23
assertion9_0_8
FAIL
159.24
possibility8_0_9
FAIL
168.73
possibility9_0_9
FAIL
170.02
assertion3_0_9
FAIL
170.13
assertion7_0_9
FAIL
170.13
possibility7_0_9
FAIL
170.24
possibility11_0_9
FAIL
170.24
possibility6_0_9
FAIL
170.24
possibility3_0_9
FAIL
170.42
assertion6_0_9
FAIL
170.43
possibility1_0_9
FAIL
170.53
possibility4_0_9
FAIL
170.54
consistency_0_9
FAIL
170.72
assertion11_0_9
FAIL
170.73
assertion1_0_9
FAIL
171.93
possibility12_0_9
FAIL
172.13
assertion10_0_9
FAIL
172.13
possibility10_0_9
FAIL
172.32
assertion8_0_9
FAIL
172.44
possibility2_0_9
FAIL
172.63
assertion9_0_9
FAIL
174.12
assertion12_0_9
FAIL
174.13
assertion5_0_9
FAIL
174.13
assertion2_0_9
FAIL
174.53
possibility5_0_9
FAIL
174.64
assertion4_0_9
FAIL
174.74
possibility8_0_10
FAIL
188.63
possibility9_0_10
FAIL
189.04
assertion3_0_10
FAIL
189.62
assertion8_0_10
FAIL
191.03
possibility12_0_10
FAIL
191.03
assertion2_0_10
FAIL
193.12
assertion7_0_10
FAIL
194.93
assertion4_0_10
FAIL
197.63
assertion1_0_10
FAIL
200.93
possibility3_0_10
FAIL
202.33
possibility11_0_10
FAIL
202.33
assertion6_0_10
FAIL
202.42
possibility4_0_10
FAIL
202.43
consistency_0_10
FAIL
202.43
possibility6_0_10
FAIL
202.53
possibility7_0_10
FAIL
202.63
possibility5_0_10
FAIL
202.73
assertion11_0_10
FAIL
202.85
possibility1_0_10
FAIL
202.93
possibility10_0_10
FAIL
204.03
possibility2_0_10
FAIL
204.13
assertion10_0_10
FAIL
204.63
assertion12_0_10
FAIL
206.64
assertion5_0_10
FAIL
206.73
assertion9_0_10
FAIL
206.74
possibility3_0_1
FAIL
599.71
possibility7_0_1
FAIL
599.71
assertion4_0_1
FAIL
599.71
assertion8_0_1
FAIL
599.71
possibility10_0_1
FAIL
599.71
possibility4_0_1
FAIL
599.71
possibility8_0_1
FAIL
599.71
possibility11_0_1
FAIL
599.71
possibility5_0_1
FAIL
599.71
possibility9_0_1
FAIL
599.71
assertion2_0_1
FAIL
599.71
consistency_0_1
FAIL
599.71
possibility12_0_1
FAIL
599.71
possibility2_0_1
FAIL
599.71
possibility6_0_1
FAIL
599.71
assertion10_0_1
FAIL
599.71
assertion3_0_1
FAIL
599.71
possibility1_0_1
FAIL
599.71
assertion9_0_1
FAIL
599.81
assertion1_0_1
FAIL
599.81
Contact
|
Organization
|
Links
|
Citing QBFLIB