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 QLTL_safety
QBFEVAL'10 - Non-prenex Non-CNF Track.
Instance
Solver
Result
Time
assertion10_0_1-bin
CirQit2.1
UNSAT
61.44
assertion11_0_1-bin
qpro
UNSAT
0.03
assertion11_0_2-bin
CirQit2.1
UNSAT
23.84
assertion11_0_3-bin
CirQit2.1
UNSAT
163.9
assertion11_0_4-bin
CirQit2.1
UNSAT
164.59
assertion11_0_5-bin
CirQit2.1
UNSAT
458.31
assertion11_0_6-bin
CirQit2.1
UNSAT
429.47
assertion11_0_7-bin
CirQit2.1
UNSAT
844.37
assertion12_0_1-bin
qpro
UNSAT
0.05
assertion12_0_2-bin
CirQit2.1
UNSAT
115.3
assertion12_0_3-bin
CirQit2.1
UNSAT
534.98
assertion12_0_4-bin
CirQit2.1
UNSAT
998.86
assertion1_0_1-bin
CirQit2.1
UNSAT
57.5
assertion2_0_1-bin
CirQit2.1
UNSAT
13.49
assertion2_0_2-bin
CirQit2.1
UNSAT
39.96
assertion2_0_3-bin
CirQit2.1
UNSAT
164.14
assertion2_0_4-bin
CirQit2.1
UNSAT
386.02
assertion2_0_5-bin
CirQit2.1
UNSAT
590.32
assertion2_0_6-bin
CirQit2.1
UNSAT
1053.93
assertion3_0_1-bin
CirQit2.1
UNSAT
5.21
assertion3_0_2-bin
CirQit2.1
UNSAT
125.49
assertion3_0_3-bin
CirQit2.1
UNSAT
534.61
assertion3_0_4-bin
CirQit2.1
UNSAT
1096.13
assertion4_0_1-bin
CirQit2.1
UNSAT
7.36
assertion4_0_2-bin
CirQit2.1
UNSAT
80.93
assertion4_0_3-bin
CirQit2.1
UNSAT
464.99
assertion5_0_1-bin
CirQit2.1
UNSAT
0.05
assertion5_0_2-bin
CirQit2.1
UNSAT
136.63
assertion5_0_3-bin
CirQit2.1
UNSAT
404.67
assertion5_0_4-bin
CirQit2.1
UNSAT
878.4
assertion6_0_1-bin
CirQit2.1
UNSAT
0.74
assertion6_0_2-bin
CirQit2.1
UNSAT
84.61
assertion6_0_3-bin
CirQit2.1
UNSAT
126.04
assertion6_0_4-bin
CirQit2.1
UNSAT
199.55
assertion6_0_5-bin
CirQit2.1
UNSAT
379.77
assertion6_0_6-bin
CirQit2.1
UNSAT
638.58
assertion7_0_1-bin
CirQit2.1
UNSAT
9.6
assertion7_0_2-bin
CirQit2.1
UNSAT
88.36
assertion7_0_3-bin
CirQit2.1
UNSAT
329.02
assertion7_0_4-bin
CirQit2.1
UNSAT
408.15
assertion7_0_5-bin
CirQit2.1
UNSAT
554.47
assertion8_0_1-bin
CirQit2.1
UNSAT
61.03
assertion8_0_2-bin
CirQit2.1
UNSAT
453.08
assertion9_0_1-bin
CirQit2.1
UNSAT
47.01
assertion9_0_2-bin
CirQit2.1
UNSAT
164.37
assertion9_0_3-bin
CirQit2.1
UNSAT
329.37
assertion9_0_4-bin
CirQit2.1
UNSAT
547.38
assertion9_0_5-bin
CirQit2.1
UNSAT
1033.02
consistency_0_1-bin
CirQit2.1
SAT
10.33
consistency_0_2-bin
CirQit2.1
SAT
52.73
consistency_0_3-bin
CirQit2.1
SAT
95.49
consistency_0_4-bin
CirQit2.1
SAT
196.43
consistency_0_5-bin
CirQit2.1
SAT
441.31
consistency_0_6-bin
CirQit2.1
SAT
686.1
consistency_0_7-bin
CirQit2.1
SAT
817.59
possibility10_0_1-bin
CirQit2.1
UNSAT
3.84
possibility10_0_2-bin
CirQit2.1
UNSAT
39.38
possibility10_0_3-bin
CirQit2.1
UNSAT
137.56
possibility10_0_4-bin
CirQit2.1
UNSAT
431.05
possibility10_0_5-bin
CirQit2.1
UNSAT
700.05
possibility10_0_6-bin
CirQit2.1
UNSAT
1046.16
possibility11_0_1-bin
CirQit2.1
UNSAT
5.51
possibility11_0_2-bin
CirQit2.1
UNSAT
48.8
possibility11_0_3-bin
CirQit2.1
UNSAT
157.04
possibility11_0_4-bin
CirQit2.1
UNSAT
343.08
possibility11_0_5-bin
CirQit2.1
UNSAT
855.79
possibility12_0_1-bin
CirQit2.1
UNSAT
21.96
possibility12_0_2-bin
CirQit2.1
UNSAT
301.87
possibility1_0_1-bin
CirQit2.1
UNSAT
27.81
possibility1_0_2-bin
CirQit2.1
UNSAT
138.79
possibility1_0_3-bin
CirQit2.1
UNSAT
233.36
possibility1_0_4-bin
CirQit2.1
UNSAT
526.69
possibility1_0_5-bin
CirQit2.1
UNSAT
926.33
possibility2_0_1-bin
CirQit2.1
UNSAT
45.86
possibility2_0_2-bin
CirQit2.1
UNSAT
164.05
possibility2_0_3-bin
CirQit2.1
UNSAT
311.68
possibility2_0_4-bin
CirQit2.1
UNSAT
498.4
possibility2_0_5-bin
CirQit2.1
UNSAT
985.28
possibility3_0_1-bin
CirQit2.1
UNSAT
12.85
possibility3_0_2-bin
CirQit2.1
UNSAT
44.18
possibility3_0_3-bin
CirQit2.1
UNSAT
137.83
possibility3_0_4-bin
CirQit2.1
UNSAT
255.61
possibility3_0_5-bin
CirQit2.1
UNSAT
430.87
possibility3_0_6-bin
CirQit2.1
UNSAT
826.62
possibility3_0_7-bin
CirQit2.1
UNSAT
1087.52
possibility4_0_1-bin
CirQit2.1
UNSAT
5.03
possibility4_0_2-bin
CirQit2.1
UNSAT
147.21
possibility4_0_3-bin
CirQit2.1
UNSAT
406.95
possibility4_0_4-bin
CirQit2.1
UNSAT
993.52
possibility5_0_1-bin
qpro
UNSAT
4.41
possibility5_0_2-bin
CirQit2.1
UNSAT
34.8
possibility5_0_3-bin
CirQit2.1
UNSAT
365.51
possibility5_0_4-bin
CirQit2.1
UNSAT
992.89
possibility5_0_6-bin
CirQit2.1
UNSAT
1083.26
possibility6_0_1-bin
qpro
UNSAT
0.06
possibility6_0_2-bin
CirQit2.1
UNSAT
1.51
possibility6_0_3-bin
CirQit2.1
UNSAT
5.9
possibility6_0_4-bin
CirQit2.1
UNSAT
14.36
possibility6_0_5-bin
CirQit2.1
UNSAT
30.28
possibility6_0_6-bin
CirQit2.1
UNSAT
77.55
possibility6_0_7-bin
CirQit2.1
UNSAT
182.36
possibility6_0_8-bin
CirQit2.1
UNSAT
473.65
possibility7_0_1-bin
CirQit2.1
SAT
8.89
possibility7_0_2-bin
CirQit2.1
SAT
41.49
possibility7_0_3-bin
CirQit2.1
SAT
164.13
possibility7_0_4-bin
CirQit2.1
SAT
341.65
possibility7_0_5-bin
CirQit2.1
SAT
574.47
possibility7_0_6-bin
CirQit2.1
SAT
665.16
possibility7_0_7-bin
CirQit2.1
SAT
1100.57
possibility8_0_1-bin
CirQit2.1
UNSAT
7.38
possibility8_0_2-bin
CirQit2.1
UNSAT
95.1
possibility8_0_3-bin
CirQit2.1
UNSAT
437.38
possibility8_0_4-bin
CirQit2.1
UNSAT
908.76
possibility9_0_1-bin
CirQit2.1
UNSAT
9.41
possibility9_0_2-bin
CirQit2.1
UNSAT
241.47
possibility9_0_3-bin
CirQit2.1
UNSAT
467.74
Contact
|
Organization
|
Links
|
Citing QBFLIB