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
CirQit2.1
QBFEVAL'10 - Non-prenex Non-CNF Track.
Instance
Result
Time
assertion11_0_1-bin
UNSAT
0.04
assertion5_0_1-bin
UNSAT
0.05
assertion12_0_1-bin
UNSAT
0.05
possibility6_0_1-bin
UNSAT
0.19
assertion6_0_1-bin
UNSAT
0.74
possibility6_0_2-bin
UNSAT
1.51
possibility10_0_1-bin
UNSAT
3.84
possibility4_0_1-bin
UNSAT
5.03
assertion3_0_1-bin
UNSAT
5.21
possibility11_0_1-bin
UNSAT
5.51
possibility6_0_3-bin
UNSAT
5.9
possibility5_0_1-bin
UNSAT
6.94
assertion4_0_1-bin
UNSAT
7.36
possibility8_0_1-bin
UNSAT
7.38
possibility7_0_1-bin
SAT
8.89
possibility9_0_1-bin
UNSAT
9.41
assertion7_0_1-bin
UNSAT
9.6
consistency_0_1-bin
SAT
10.33
possibility3_0_1-bin
UNSAT
12.85
assertion2_0_1-bin
UNSAT
13.49
possibility6_0_4-bin
UNSAT
14.36
possibility12_0_1-bin
UNSAT
21.96
assertion11_0_2-bin
UNSAT
23.84
possibility1_0_1-bin
UNSAT
27.81
possibility6_0_5-bin
UNSAT
30.28
possibility5_0_2-bin
UNSAT
34.8
possibility10_0_2-bin
UNSAT
39.38
assertion2_0_2-bin
UNSAT
39.96
possibility7_0_2-bin
SAT
41.49
possibility3_0_2-bin
UNSAT
44.18
possibility2_0_1-bin
UNSAT
45.86
assertion9_0_1-bin
UNSAT
47.01
possibility11_0_2-bin
UNSAT
48.8
consistency_0_2-bin
SAT
52.73
assertion1_0_1-bin
UNSAT
57.5
assertion8_0_1-bin
UNSAT
61.03
assertion10_0_1-bin
UNSAT
61.44
possibility6_0_6-bin
UNSAT
77.55
assertion4_0_2-bin
UNSAT
80.93
assertion6_0_2-bin
UNSAT
84.61
assertion7_0_2-bin
UNSAT
88.36
possibility8_0_2-bin
UNSAT
95.1
consistency_0_3-bin
SAT
95.49
assertion12_0_2-bin
UNSAT
115.3
assertion3_0_2-bin
UNSAT
125.49
assertion6_0_3-bin
UNSAT
126.04
assertion5_0_2-bin
UNSAT
136.63
possibility10_0_3-bin
UNSAT
137.56
possibility3_0_3-bin
UNSAT
137.83
possibility1_0_2-bin
UNSAT
138.79
possibility4_0_2-bin
UNSAT
147.21
possibility11_0_3-bin
UNSAT
157.04
assertion11_0_3-bin
UNSAT
163.9
possibility2_0_2-bin
UNSAT
164.05
possibility7_0_3-bin
SAT
164.13
assertion2_0_3-bin
UNSAT
164.14
assertion9_0_2-bin
UNSAT
164.37
assertion11_0_4-bin
UNSAT
164.59
possibility6_0_7-bin
UNSAT
182.36
consistency_0_4-bin
SAT
196.43
assertion6_0_4-bin
UNSAT
199.55
possibility1_0_3-bin
UNSAT
233.36
possibility9_0_2-bin
UNSAT
241.47
possibility3_0_4-bin
UNSAT
255.61
possibility12_0_2-bin
UNSAT
301.87
possibility2_0_3-bin
UNSAT
311.68
assertion7_0_3-bin
UNSAT
329.02
assertion9_0_3-bin
UNSAT
329.37
possibility7_0_4-bin
SAT
341.65
possibility11_0_4-bin
UNSAT
343.08
possibility5_0_3-bin
UNSAT
365.51
assertion6_0_5-bin
UNSAT
379.77
assertion2_0_4-bin
UNSAT
386.02
assertion5_0_3-bin
UNSAT
404.67
possibility4_0_3-bin
UNSAT
406.95
assertion7_0_4-bin
UNSAT
408.15
assertion11_0_6-bin
UNSAT
429.47
possibility3_0_5-bin
UNSAT
430.87
possibility10_0_4-bin
UNSAT
431.05
possibility8_0_3-bin
UNSAT
437.38
consistency_0_5-bin
SAT
441.31
assertion8_0_2-bin
UNSAT
453.08
assertion11_0_5-bin
UNSAT
458.31
assertion4_0_3-bin
UNSAT
464.99
possibility9_0_3-bin
UNSAT
467.74
possibility6_0_8-bin
UNSAT
473.65
possibility2_0_4-bin
UNSAT
498.4
possibility1_0_4-bin
UNSAT
526.69
assertion3_0_3-bin
UNSAT
534.61
assertion12_0_3-bin
UNSAT
534.98
assertion9_0_4-bin
UNSAT
547.38
assertion7_0_5-bin
UNSAT
554.47
possibility7_0_5-bin
SAT
574.47
assertion2_0_5-bin
UNSAT
590.32
assertion6_0_6-bin
UNSAT
638.58
possibility7_0_6-bin
SAT
665.16
consistency_0_6-bin
SAT
686.1
possibility10_0_5-bin
UNSAT
700.05
consistency_0_7-bin
SAT
817.59
possibility3_0_6-bin
UNSAT
826.62
assertion11_0_7-bin
UNSAT
844.37
possibility11_0_5-bin
UNSAT
855.79
assertion5_0_4-bin
UNSAT
878.4
possibility8_0_4-bin
UNSAT
908.76
possibility1_0_5-bin
UNSAT
926.33
possibility2_0_5-bin
UNSAT
985.28
possibility5_0_4-bin
UNSAT
992.89
possibility4_0_4-bin
UNSAT
993.52
assertion12_0_4-bin
UNSAT
998.86
assertion9_0_5-bin
UNSAT
1033.02
possibility10_0_6-bin
UNSAT
1046.16
assertion2_0_6-bin
UNSAT
1053.93
possibility5_0_6-bin
UNSAT
1083.26
possibility3_0_7-bin
UNSAT
1087.52
assertion3_0_4-bin
UNSAT
1096.13
possibility7_0_7-bin
SAT
1100.57
possibility12_0_3-bin
FAIL
1201.04
possibility9_0_5-bin
FAIL
1201.05
possibility12_0_5-bin
FAIL
1201.05
possibility8_0_5-bin
FAIL
1201.06
possibility4_0_5-bin
FAIL
1201.06
assertion4_0_5-bin
FAIL
1201.06
assertion12_0_5-bin
FAIL
1201.06
possibility11_0_7-bin
FAIL
1201.06
assertion12_0_6-bin
FAIL
1201.06
possibility8_0_6-bin
FAIL
1201.06
assertion5_0_5-bin
FAIL
1201.06
assertion7_0_6-bin
FAIL
1201.06
possibility9_0_6-bin
FAIL
1201.06
possibility9_0_4-bin
FAIL
1201.06
assertion6_0_8-bin
FAIL
1201.07
possibility12_0_7-bin
FAIL
1201.07
assertion3_0_8-bin
FAIL
1201.07
possibility9_0_7-bin
FAIL
1201.07
assertion6_0_7-bin
FAIL
1201.07
assertion3_0_5-bin
FAIL
1201.07
assertion4_0_6-bin
FAIL
1201.07
assertion9_0_6-bin
FAIL
1201.07
possibility4_0_6-bin
FAIL
1201.07
assertion8_0_5-bin
FAIL
1201.07
assertion5_0_6-bin
FAIL
1201.07
assertion4_0_4-bin
FAIL
1201.07
assertion9_0_7-bin
FAIL
1201.07
possibility12_0_4-bin
FAIL
1201.07
assertion10_0_7-bin
FAIL
1201.07
assertion3_0_6-bin
FAIL
1201.07
possibility5_0_5-bin
FAIL
1201.07
possibility11_0_6-bin
FAIL
1201.07
assertion10_0_6-bin
FAIL
1201.07
assertion9_0_8-bin
FAIL
1201.07
assertion12_0_7-bin
FAIL
1201.07
possibility10_0_7-bin
FAIL
1201.07
possibility1_0_6-bin
FAIL
1201.07
assertion1_0_6-bin
FAIL
1201.07
possibility4_0_10-bin
FAIL
1201.08
assertion4_0_8-bin
FAIL
1201.08
consistency_0_9-bin
FAIL
1201.08
possibility1_0_7-bin
FAIL
1201.08
possibility11_0_8-bin
FAIL
1201.08
possibility7_0_10-bin
FAIL
1201.08
assertion11_0_8-bin
FAIL
1201.08
possibility1_0_9-bin
FAIL
1201.08
assertion8_0_7-bin
FAIL
1201.08
assertion5_0_9-bin
FAIL
1201.08
possibility11_0_9-bin
FAIL
1201.08
possibility1_0_10-bin
FAIL
1201.08
possibility6_0_10-bin
FAIL
1201.08
possibility9_0_9-bin
FAIL
1201.08
possibility5_0_10-bin
FAIL
1201.08
assertion3_0_7-bin
FAIL
1201.08
assertion8_0_6-bin
FAIL
1201.08
assertion1_0_8-bin
FAIL
1201.08
possibility10_0_10-bin
FAIL
1201.08
possibility9_0_8-bin
FAIL
1201.08
assertion1_0_7-bin
FAIL
1201.08
assertion5_0_10-bin
FAIL
1201.08
possibility5_0_9-bin
FAIL
1201.08
assertion2_0_8-bin
FAIL
1201.08
assertion6_0_10-bin
FAIL
1201.08
assertion7_0_9-bin
FAIL
1201.08
possibility12_0_8-bin
FAIL
1201.08
possibility12_0_6-bin
FAIL
1201.08
possibility2_0_9-bin
FAIL
1201.08
assertion8_0_4-bin
FAIL
1201.08
assertion8_0_3-bin
FAIL
1201.08
assertion1_0_9-bin
FAIL
1201.08
possibility10_0_9-bin
FAIL
1201.08
possibility10_0_8-bin
FAIL
1201.08
assertion10_0_8-bin
FAIL
1201.08
possibility8_0_7-bin
FAIL
1201.08
possibility8_0_8-bin
FAIL
1201.08
possibility8_0_9-bin
FAIL
1201.08
possibility7_0_8-bin
FAIL
1201.08
assertion12_0_10-bin
FAIL
1201.08
assertion1_0_5-bin
FAIL
1201.08
assertion8_0_9-bin
FAIL
1201.08
assertion6_0_9-bin
FAIL
1201.08
possibility12_0_10-bin
FAIL
1201.08
possibility3_0_10-bin
FAIL
1201.08
possibility6_0_9-bin
FAIL
1201.08
possibility12_0_9-bin
FAIL
1201.08
assertion8_0_10-bin
FAIL
1201.08
possibility5_0_7-bin
FAIL
1201.08
assertion11_0_10-bin
FAIL
1201.08
assertion9_0_9-bin
FAIL
1201.08
possibility5_0_8-bin
FAIL
1201.08
assertion10_0_5-bin
FAIL
1201.08
possibility11_0_10-bin
FAIL
1201.08
assertion5_0_7-bin
FAIL
1201.08
possibility9_0_10-bin
FAIL
1201.08
consistency_0_8-bin
FAIL
1201.08
possibility7_0_9-bin
FAIL
1201.08
assertion4_0_7-bin
FAIL
1201.08
assertion12_0_9-bin
FAIL
1201.08
assertion10_0_4-bin
FAIL
1201.08
possibility2_0_10-bin
FAIL
1201.08
possibility2_0_7-bin
FAIL
1201.08
consistency_0_10-bin
FAIL
1201.08
assertion4_0_10-bin
FAIL
1201.08
possibility1_0_8-bin
FAIL
1201.08
assertion11_0_9-bin
FAIL
1201.09
assertion1_0_3-bin
FAIL
1201.09
possibility3_0_9-bin
FAIL
1201.09
possibility8_0_10-bin
FAIL
1201.09
possibility3_0_8-bin
FAIL
1201.09
assertion2_0_7-bin
FAIL
1201.09
assertion1_0_10-bin
FAIL
1201.09
assertion4_0_9-bin
FAIL
1201.09
possibility2_0_8-bin
FAIL
1201.09
assertion3_0_10-bin
FAIL
1201.09
assertion12_0_8-bin
FAIL
1201.09
assertion9_0_10-bin
FAIL
1201.09
assertion3_0_9-bin
FAIL
1201.09
assertion8_0_8-bin
FAIL
1201.09
assertion10_0_9-bin
FAIL
1201.09
assertion2_0_9-bin
FAIL
1201.09
assertion5_0_8-bin
FAIL
1201.09
possibility2_0_6-bin
FAIL
1201.09
assertion10_0_2-bin
FAIL
1201.09
assertion7_0_8-bin
FAIL
1201.09
assertion7_0_7-bin
FAIL
1201.09
possibility4_0_9-bin
FAIL
1201.09
assertion2_0_10-bin
FAIL
1201.09
assertion7_0_10-bin
FAIL
1201.09
assertion10_0_3-bin
FAIL
1201.09
assertion10_0_10-bin
FAIL
1201.09
possibility4_0_8-bin
FAIL
1201.1
possibility4_0_7-bin
FAIL
1201.1
assertion1_0_2-bin
FAIL
1201.11
assertion1_0_4-bin
FAIL
1201.11
Contact
|
Organization
|
Links
|
Citing QBFLIB