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
qsts
QBFEVAL'16 - Prenex non-CNF Track.
Instance
Result
Time
possibility1_0_5
FAIL
8.13
possibility6_0_5
FAIL
8.13
possibility10_0_5
FAIL
8.13
possibility4_0_5
FAIL
8.13
assertion1_0_5
FAIL
8.23
possibility2_0_5
FAIL
8.23
assertion4_0_5
FAIL
8.23
assertion12_0_5
FAIL
8.23
assertion5_0_5
FAIL
8.23
assertion3_0_5
FAIL
8.33
assertion11_0_5
FAIL
8.33
assertion9_0_5
FAIL
8.33
possibility12_0_5
FAIL
8.43
assertion2_0_5
FAIL
8.43
assertion7_0_5
FAIL
8.43
assertion8_0_5
FAIL
8.43
possibility3_0_5
FAIL
8.43
possibility7_0_5
FAIL
8.54
consistency_0_5
FAIL
8.61
possibility5_0_5
FAIL
8.61
possibility8_0_5
FAIL
8.64
assertion6_0_5
FAIL
8.67
possibility9_0_5
FAIL
8.69
assertion10_0_5
FAIL
9.13
possibility11_0_5
FAIL
9.27
possibility7_0_6
FAIL
12.23
possibility1_0_6
FAIL
12.33
assertion4_0_6
FAIL
12.33
possibility2_0_6
FAIL
12.43
possibility10_0_6
FAIL
12.43
possibility11_0_6
FAIL
12.43
possibility4_0_6
FAIL
12.43
assertion9_0_6
FAIL
12.44
consistency_0_6
FAIL
12.53
possibility5_0_6
FAIL
12.53
assertion1_0_6
FAIL
12.53
assertion2_0_6
FAIL
12.53
assertion6_0_6
FAIL
12.53
possibility6_0_6
FAIL
12.53
assertion10_0_6
FAIL
12.53
possibility12_0_6
FAIL
12.63
assertion8_0_6
FAIL
12.63
possibility3_0_6
FAIL
12.63
assertion3_0_6
FAIL
12.73
assertion5_0_6
FAIL
12.73
assertion11_0_6
FAIL
12.83
possibility8_0_6
FAIL
12.83
assertion7_0_6
FAIL
12.94
possibility9_0_6
FAIL
13.04
assertion12_0_6
FAIL
13.04
possibility4_0_7
FAIL
18.23
assertion1_0_7
FAIL
18.23
assertion4_0_7
FAIL
18.23
possibility10_0_7
FAIL
18.33
possibility5_0_7
FAIL
18.44
assertion6_0_7
FAIL
18.44
assertion3_0_7
FAIL
18.44
consistency_0_7
FAIL
18.47
possibility1_0_7
FAIL
18.48
assertion11_0_7
FAIL
18.51
assertion12_0_7
FAIL
18.54
assertion7_0_7
FAIL
18.54
possibility7_0_7
FAIL
18.54
possibility6_0_7
FAIL
18.61
possibility2_0_7
FAIL
18.62
possibility12_0_7
FAIL
18.63
assertion5_0_7
FAIL
18.67
assertion2_0_7
FAIL
18.7
possibility11_0_7
FAIL
18.71
possibility9_0_7
FAIL
18.83
assertion9_0_7
FAIL
18.84
assertion10_0_7
FAIL
18.93
assertion8_0_7
FAIL
19.03
possibility8_0_7
FAIL
19.13
possibility3_0_7
FAIL
22.93
consistency_0_8
FAIL
25.93
possibility7_0_8
FAIL
25.93
assertion12_0_8
FAIL
26.03
assertion2_0_8
FAIL
26.03
possibility6_0_8
FAIL
26.03
possibility5_0_8
FAIL
26.13
assertion5_0_8
FAIL
26.14
assertion10_0_8
FAIL
26.14
assertion11_0_8
FAIL
26.14
assertion9_0_8
FAIL
26.24
assertion4_0_8
FAIL
26.24
assertion6_0_8
FAIL
26.33
assertion3_0_8
FAIL
26.33
assertion7_0_8
FAIL
26.34
possibility11_0_8
FAIL
26.48
possibility3_0_8
FAIL
26.54
possibility10_0_8
FAIL
26.73
possibility9_0_8
FAIL
26.93
possibility1_0_8
FAIL
26.93
possibility2_0_8
FAIL
27.03
possibility12_0_8
FAIL
27.13
assertion1_0_8
FAIL
27.13
assertion8_0_8
FAIL
27.34
possibility8_0_8
FAIL
27.43
possibility4_0_8
FAIL
29.75
consistency_0_9
FAIL
36.23
possibility11_0_9
FAIL
36.31
possibility1_0_9
FAIL
36.43
possibility2_0_9
FAIL
36.43
possibility6_0_9
FAIL
36.43
assertion11_0_9
FAIL
36.46
possibility7_0_9
FAIL
36.53
possibility4_0_9
FAIL
36.63
assertion12_0_9
FAIL
36.63
assertion2_0_9
FAIL
36.63
possibility10_0_9
FAIL
36.68
possibility3_0_9
FAIL
36.73
possibility5_0_9
FAIL
36.73
assertion10_0_9
FAIL
36.73
assertion4_0_9
FAIL
36.83
assertion3_0_9
FAIL
36.93
assertion8_0_9
FAIL
37.14
assertion6_0_9
FAIL
37.24
possibility12_0_9
FAIL
37.33
possibility9_0_9
FAIL
37.73
assertion9_0_9
FAIL
37.83
assertion5_0_9
FAIL
37.83
assertion7_0_9
FAIL
38.34
possibility8_0_9
FAIL
38.53
assertion1_0_9
FAIL
40.45
possibility1_0_10
FAIL
47.83
possibility9_0_10
FAIL
48.93
assertion11_0_10
FAIL
49.18
assertion8_0_10
FAIL
49.93
possibility10_0_10
FAIL
49.93
assertion12_0_10
FAIL
50.03
possibility2_0_10
FAIL
50.03
assertion3_0_10
FAIL
50.03
possibility4_0_10
FAIL
50.13
possibility5_0_10
FAIL
50.13
assertion2_0_10
FAIL
50.13
possibility6_0_10
FAIL
50.13
assertion4_0_10
FAIL
50.23
possibility11_0_10
FAIL
50.23
assertion5_0_10
FAIL
50.23
assertion1_0_10
FAIL
50.23
possibility7_0_10
FAIL
50.34
assertion7_0_10
FAIL
50.34
assertion10_0_10
FAIL
50.34
assertion6_0_10
FAIL
50.77
possibility12_0_10
FAIL
51.44
possibility3_0_10
FAIL
51.45
consistency_0_10
FAIL
51.54
possibility8_0_10
FAIL
52.93
possibility2_0_4
FAIL
214.93
possibility8_0_4
FAIL
221.43
possibility3_0_4
FAIL
222.33
assertion6_0_4
FAIL
229.83
assertion12_0_4
FAIL
230.03
possibility11_0_4
FAIL
231.33
assertion9_0_4
FAIL
234.14
consistency_0_4
FAIL
248.53
possibility9_0_4
FAIL
293.54
possibility10_0_4
FAIL
293.93
possibility5_0_4
FAIL
306.93
assertion1_0_4
FAIL
308.13
possibility4_0_4
FAIL
308.73
possibility12_0_4
FAIL
309.94
assertion5_0_4
FAIL
313.35
possibility6_0_4
FAIL
314.54
assertion8_0_4
FAIL
316.93
assertion7_0_4
FAIL
327.23
assertion4_0_4
FAIL
327.64
possibility7_0_4
FAIL
330.03
possibility1_0_4
FAIL
335.63
assertion2_0_4
FAIL
340.84
assertion3_0_4
FAIL
344.73
assertion11_0_4
FAIL
353.43
assertion10_0_4
FAIL
367.03
assertion8_0_3
FAIL
433.14
assertion11_0_3
FAIL
437.74
assertion12_0_3
FAIL
441.13
assertion10_0_3
FAIL
443.33
consistency_0_3
FAIL
445.83
possibility11_0_3
FAIL
448.03
possibility6_0_3
FAIL
454.43
assertion6_0_3
FAIL
455.93
assertion2_0_3
FAIL
458.13
possibility9_0_3
FAIL
464.53
assertion9_0_3
FAIL
465.23
possibility8_0_3
FAIL
468.44
assertion5_0_3
FAIL
471.33
assertion7_0_3
FAIL
487.73
possibility12_0_3
FAIL
493.74
possibility10_0_3
FAIL
530.53
possibility4_0_3
FAIL
548.53
possibility7_0_3
FAIL
561.83
possibility2_0_3
FAIL
561.94
possibility1_0_3
FAIL
562.03
assertion4_0_3
FAIL
570.74
assertion3_0_3
FAIL
570.83
assertion8_0_2
FAIL
585.33
possibility10_0_2
FAIL
585.63
possibility5_0_3
FAIL
597.13
possibility3_0_3
FAIL
599.61
possibility4_0_2
FAIL
599.61
assertion1_0_3
FAIL
599.62
assertion9_0_1
FAIL
599.71
possibility4_0_1
FAIL
599.71
possibility7_0_2
FAIL
599.71
possibility8_0_1
FAIL
599.71
assertion11_0_2
FAIL
599.71
assertion4_0_2
FAIL
599.71
possibility12_0_1
FAIL
599.71
assertion1_0_1
FAIL
599.71
possibility8_0_2
FAIL
599.71
possibility9_0_1
FAIL
599.71
assertion12_0_2
FAIL
599.71
assertion2_0_1
FAIL
599.71
assertion5_0_2
FAIL
599.71
assertion6_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
possibility6_0_1
FAIL
599.71
assertion1_0_2
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_2
FAIL
599.71
possibility3_0_1
FAIL
599.71
possibility6_0_2
FAIL
599.71
possibility7_0_1
FAIL
599.71
assertion10_0_2
FAIL
599.71
assertion11_0_1
FAIL
599.71
assertion3_0_2
FAIL
599.71
assertion4_0_1
FAIL
599.71
possibility3_0_2
FAIL
599.72
assertion7_0_1
FAIL
599.72
possibility5_0_2
FAIL
599.72
assertion8_0_1
FAIL
599.72
possibility1_0_2
FAIL
599.72
possibility11_0_1
FAIL
599.81
consistency_0_1
FAIL
599.81
possibility5_0_1
FAIL
599.81
possibility2_0_2
FAIL
599.81
assertion5_0_1
FAIL
599.82
assertion9_0_10
FAIL
600
possibility11_0_2
FAIL
600.16
assertion12_0_1
FAIL
600.93
possibility10_0_1
FAIL
601.12
assertion9_0_2
FAIL
601.15
Contact
|
Organization
|
Links
|
Citing QBFLIB