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-picosat
QBFEVAL'16 - Prenex non-CNF Track.
Instance
Result
Time
assertion11_0_1
UNSAT
11.55
assertion12_0_1
UNSAT
12.42
assertion5_0_1
UNSAT
14.09
consistency_0_3
FAIL
37.93
possibility1_0_3
FAIL
38.03
possibility7_0_3
FAIL
38.12
assertion11_0_3
FAIL
38.13
possibility11_0_3
FAIL
38.13
possibility4_0_3
FAIL
38.13
possibility6_0_3
FAIL
38.13
assertion3_0_3
FAIL
38.23
possibility9_0_3
FAIL
38.24
possibility3_0_3
FAIL
38.34
assertion6_0_3
FAIL
38.34
assertion7_0_3
FAIL
38.34
possibility8_0_3
FAIL
38.53
assertion10_0_3
FAIL
38.63
possibility12_0_3
FAIL
38.82
assertion8_0_3
FAIL
38.83
possibility10_0_3
FAIL
38.83
assertion1_0_3
FAIL
38.92
assertion9_0_3
FAIL
39.22
possibility2_0_3
FAIL
39.22
assertion12_0_3
FAIL
39.23
assertion2_0_3
FAIL
39.34
assertion4_0_3
FAIL
39.44
possibility5_0_3
FAIL
39.44
assertion5_0_3
FAIL
39.71
assertion3_0_4
FAIL
52.22
possibility9_0_4
FAIL
52.23
assertion6_0_4
FAIL
52.23
assertion7_0_4
FAIL
52.23
possibility8_0_4
FAIL
52.33
assertion8_0_4
FAIL
52.93
assertion1_0_4
FAIL
53.23
assertion10_0_4
FAIL
53.31
possibility12_0_4
FAIL
53.33
assertion2_0_4
FAIL
53.73
assertion4_0_4
FAIL
53.74
possibility5_0_4
FAIL
53.74
assertion12_0_4
FAIL
53.83
possibility11_0_4
FAIL
66.53
possibility7_0_4
FAIL
66.63
possibility3_0_4
FAIL
66.63
possibility4_0_4
FAIL
66.63
possibility1_0_4
FAIL
66.63
possibility6_0_4
FAIL
66.63
consistency_0_4
FAIL
66.73
assertion11_0_4
FAIL
66.84
possibility10_0_4
FAIL
67.52
possibility2_0_4
FAIL
67.83
assertion5_0_4
FAIL
68.53
assertion9_0_4
FAIL
68.53
possibility11_0_5
FAIL
84.32
consistency_0_5
FAIL
84.33
possibility1_0_5
FAIL
84.44
possibility6_0_5
FAIL
84.44
possibility7_0_5
FAIL
84.44
assertion6_0_5
FAIL
84.54
assertion3_0_5
FAIL
84.63
possibility3_0_5
FAIL
84.63
assertion7_0_5
FAIL
84.73
assertion11_0_5
FAIL
84.73
possibility4_0_5
FAIL
84.73
possibility9_0_5
FAIL
85.03
possibility8_0_5
FAIL
85.43
possibility10_0_5
FAIL
85.64
assertion10_0_5
FAIL
85.83
possibility2_0_5
FAIL
85.83
assertion1_0_5
FAIL
85.83
possibility12_0_5
FAIL
85.92
assertion8_0_5
FAIL
86.03
assertion9_0_5
FAIL
87.03
assertion4_0_5
FAIL
87.13
possibility5_0_5
FAIL
87.13
assertion12_0_5
FAIL
87.22
assertion5_0_5
FAIL
87.23
assertion2_0_5
FAIL
87.33
possibility7_0_6
FAIL
92.83
assertion3_0_6
FAIL
92.93
assertion6_0_6
FAIL
92.93
possibility1_0_6
FAIL
93.03
possibility6_0_6
FAIL
93.03
possibility4_0_6
FAIL
93.03
possibility9_0_6
FAIL
93.03
consistency_0_6
FAIL
93.03
assertion7_0_6
FAIL
93.13
assertion11_0_6
FAIL
93.13
possibility3_0_6
FAIL
93.13
possibility11_0_6
FAIL
93.24
possibility8_0_6
FAIL
94.06
possibility2_0_6
FAIL
94.13
possibility12_0_6
FAIL
94.13
possibility10_0_6
FAIL
94.23
assertion10_0_6
FAIL
94.34
assertion1_0_6
FAIL
94.34
assertion8_0_6
FAIL
94.63
assertion5_0_6
FAIL
95.54
assertion12_0_6
FAIL
95.63
possibility5_0_6
FAIL
95.63
assertion4_0_6
FAIL
95.73
assertion9_0_6
FAIL
95.73
assertion2_0_6
FAIL
95.73
possibility8_0_7
FAIL
102.53
possibility12_0_7
FAIL
104.34
assertion3_0_7
FAIL
133.03
assertion7_0_7
FAIL
133.03
possibility9_0_7
FAIL
133.33
consistency_0_7
FAIL
133.43
possibility1_0_7
FAIL
133.43
assertion11_0_7
FAIL
133.43
possibility6_0_7
FAIL
133.52
possibility7_0_7
FAIL
133.52
assertion6_0_7
FAIL
133.53
possibility3_0_7
FAIL
133.63
possibility11_0_7
FAIL
133.63
possibility4_0_7
FAIL
133.63
assertion8_0_7
FAIL
135.24
assertion1_0_7
FAIL
135.33
assertion10_0_7
FAIL
135.33
possibility2_0_7
FAIL
135.33
possibility10_0_7
FAIL
135.33
possibility8_0_8
FAIL
135.43
possibility1_0_9
FAIL
135.92
possibility4_0_9
FAIL
135.93
assertion6_0_9
FAIL
136.03
possibility3_0_9
FAIL
136.13
possibility7_0_9
FAIL
136.14
possibility11_0_9
FAIL
136.42
assertion3_0_9
FAIL
136.42
possibility6_0_9
FAIL
136.43
possibility9_0_9
FAIL
136.53
consistency_0_9
FAIL
136.53
assertion7_0_9
FAIL
136.53
assertion11_0_9
FAIL
136.53
possibility5_0_7
FAIL
136.63
assertion2_0_7
FAIL
136.73
assertion12_0_7
FAIL
136.82
assertion4_0_7
FAIL
136.93
assertion9_0_7
FAIL
136.93
assertion5_0_7
FAIL
137.03
possibility8_0_9
FAIL
137.23
assertion10_0_9
FAIL
137.83
assertion1_0_9
FAIL
137.93
possibility10_0_9
FAIL
138.12
possibility2_0_9
FAIL
138.23
possibility12_0_9
FAIL
138.53
assertion8_0_9
FAIL
138.53
assertion9_0_9
FAIL
139.54
possibility5_0_9
FAIL
139.54
assertion12_0_9
FAIL
139.63
assertion2_0_9
FAIL
139.63
assertion5_0_9
FAIL
139.73
assertion4_0_9
FAIL
139.82
possibility9_0_8
FAIL
141.23
consistency_0_8
FAIL
141.43
possibility1_0_8
FAIL
141.43
assertion11_0_8
FAIL
141.43
possibility11_0_8
FAIL
141.74
possibility4_0_8
FAIL
141.74
assertion6_0_8
FAIL
142.03
assertion3_0_8
FAIL
142.03
possibility6_0_8
FAIL
142.22
possibility7_0_8
FAIL
142.23
assertion7_0_8
FAIL
142.33
possibility3_0_8
FAIL
142.53
assertion8_0_8
FAIL
143.22
possibility10_0_8
FAIL
143.43
assertion1_0_8
FAIL
143.53
possibility12_0_8
FAIL
143.63
possibility2_0_8
FAIL
143.73
assertion10_0_8
FAIL
143.83
possibility5_0_8
FAIL
145.43
assertion5_0_8
FAIL
145.53
assertion2_0_8
FAIL
145.73
assertion12_0_8
FAIL
145.73
assertion9_0_8
FAIL
145.93
assertion4_0_8
FAIL
146.13
consistency_0_10
FAIL
176.84
possibility1_0_10
FAIL
176.94
possibility11_0_10
FAIL
177.03
assertion11_0_10
FAIL
177.03
assertion6_0_10
FAIL
177.13
possibility6_0_10
FAIL
177.23
possibility3_0_10
FAIL
177.23
possibility7_0_10
FAIL
177.23
assertion3_0_10
FAIL
177.33
assertion7_0_10
FAIL
177.43
possibility4_0_10
FAIL
177.53
possibility9_0_10
FAIL
177.73
possibility8_0_10
FAIL
177.83
assertion8_0_10
FAIL
179.04
possibility10_0_10
FAIL
179.23
possibility2_0_10
FAIL
179.33
assertion1_0_10
FAIL
179.53
possibility12_0_10
FAIL
179.53
assertion10_0_10
FAIL
179.73
assertion9_0_10
FAIL
181.43
assertion2_0_10
FAIL
181.52
assertion12_0_10
FAIL
181.63
possibility5_0_10
FAIL
181.63
assertion5_0_10
FAIL
181.72
assertion4_0_10
FAIL
181.73
assertion1_0_1
FAIL
599.71
possibility8_0_2
FAIL
599.71
possibility9_0_1
FAIL
599.71
assertion12_0_2
FAIL
599.71
assertion5_0_2
FAIL
599.71
assertion6_0_1
FAIL
599.71
assertion9_0_2
FAIL
599.71
consistency_0_1
FAIL
599.71
possibility12_0_1
FAIL
599.71
possibility4_0_2
FAIL
599.71
possibility5_0_1
FAIL
599.71
assertion10_0_1
FAIL
599.71
possibility9_0_2
FAIL
599.71
assertion2_0_2
FAIL
599.71
assertion3_0_1
FAIL
599.71
assertion6_0_2
FAIL
599.71
assertion7_0_1
FAIL
599.71
consistency_0_2
FAIL
599.71
possibility1_0_1
FAIL
599.71
possibility12_0_2
FAIL
599.71
possibility2_0_1
FAIL
599.71
possibility5_0_2
FAIL
599.71
possibility6_0_1
FAIL
599.71
assertion3_0_2
FAIL
599.71
assertion4_0_1
FAIL
599.71
assertion7_0_2
FAIL
599.71
assertion8_0_1
FAIL
599.71
possibility1_0_2
FAIL
599.71
possibility10_0_1
FAIL
599.71
possibility2_0_2
FAIL
599.71
possibility3_0_1
FAIL
599.71
possibility8_0_1
FAIL
599.71
assertion11_0_2
FAIL
599.71
assertion4_0_2
FAIL
599.71
assertion8_0_2
FAIL
599.71
assertion9_0_1
FAIL
599.71
possibility10_0_2
FAIL
599.71
possibility4_0_1
FAIL
599.71
assertion10_0_2
FAIL
599.72
possibility7_0_1
FAIL
599.72
assertion2_0_1
FAIL
599.81
possibility11_0_2
FAIL
599.81
assertion1_0_2
FAIL
599.81
possibility11_0_1
FAIL
599.81
possibility3_0_2
FAIL
599.81
possibility7_0_2
FAIL
599.81
possibility6_0_2
FAIL
600.2
Contact
|
Organization
|
Links
|
Citing QBFLIB