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 CounterFactual solved by
Qbfl
QBFEVAL'06
Instance
Result
Time
ncf_8_16_4_edau.5
UNSAT
0
ncf_4_8_2_euad.4
UNSAT
0.01
ncf_4_8_2_u.1
UNSAT
0.01
ncf_4_8_2_euad.5
SAT
0.01
ncf_8_16_4_u.5
UNSAT
0.01
ncf_4_8_2_u.5
SAT
0.01
ncf_4_8_2_euad.1
UNSAT
0.01
ncf_4_8_4_u.9
SAT
0.01
ncf_4_8_4_u.4
FAIL
0.01
ncf_8_16_4_d.5
UNSAT
0.01
ncf_4_8_2_u.4
UNSAT
0.01
ncf_4_8_2_u.10
SAT
0.01
ncf_4_8_4_euad.9
SAT
0.01
ncf_8_16_4_euad.5
UNSAT
0.01
ncf_4_8_8_edau.9
UNSAT
0.02
ncf_8_16_4_euad.2
UNSAT
0.02
ncf_8_16_4_d.2
UNSAT
0.02
ncf_4_8_2_euad.10
SAT
0.02
ncf_4_8_4_euad.2
UNSAT
0.02
ncf_4_8_2_euad.2
SAT
0.02
ncf_4_8_4_u.2
UNSAT
0.02
ncf_4_8_2_euad.9
SAT
0.02
ncf_4_8_2_euad.8
SAT
0.02
ncf_4_8_2_u.7
UNSAT
0.02
ncf_4_8_2_u.8
SAT
0.03
ncf_8_16_4_u.2
UNSAT
0.03
ncf_4_8_8_u.9
UNSAT
0.03
ncf_4_8_2_u.9
SAT
0.04
ncf_8_16_4_edau.2
UNSAT
0.04
ncf_4_8_8_d.9
UNSAT
0.04
ncf_4_8_8_euad.9
UNSAT
0.04
ncf_4_8_2_euad.7
UNSAT
0.05
ncf_4_8_8_edau.4
SAT
0.08
ncf_4_8_2_u.2
SAT
0.09
ncf_4_8_8_d.4
SAT
0.11
ncf_4_8_2_euad.6
SAT
0.12
ncf_4_8_8_u.4
SAT
0.13
ncf_4_16_2_euad.6
SAT
0.15
ncf_4_8_8_euad.4
SAT
0.15
ncf_4_16_2_u.6
SAT
0.17
ncf_4_16_2_u.9
SAT
0.17
ncf_16_32_2_u.7
UNSAT
0.18
ncf_4_8_2_u.6
SAT
0.18
ncf_4_16_2_edau.9
SAT
0.2
ncf_4_16_2_d.9
SAT
0.21
ncf_16_32_2_edau.7
UNSAT
0.25
ncf_4_16_2_euad.9
SAT
0.25
ncf_4_16_2_edau.6
SAT
0.3
ncf_16_32_2_euad.7
UNSAT
0.34
ncf_16_32_2_d.7
UNSAT
0.42
ncf_4_8_4_euad.3
UNSAT
0.48
ncf_4_16_2_d.6
SAT
0.48
ncf_4_8_4_euad.10
UNSAT
0.52
ncf_8_16_4_u.6
UNSAT
0.63
ncf_8_16_4_u.8
UNSAT
0.85
ncf_8_16_4_euad.6
UNSAT
0.89
ncf_8_16_4_edau.6
UNSAT
0.97
ncf_8_16_4_euad.8
UNSAT
0.99
ncf_4_16_2_u.7
SAT
1.28
ncf_4_8_4_u.3
UNSAT
1.34
ncf_8_16_4_d.6
UNSAT
1.42
ncf_4_8_4_euad.8
UNSAT
1.78
ncf_8_16_8_d.1
SAT
2.49
ncf_8_16_8_euad.1
SAT
2.52
ncf_4_8_4_euad.6
SAT
2.52
ncf_4_8_4_u.8
UNSAT
2.53
ncf_4_8_8_euad.1
SAT
2.54
ncf_4_8_4_u.1
SAT
2.56
ncf_4_16_2_euad.7
SAT
2.78
ncf_4_16_2_edau.7
SAT
2.85
ncf_8_16_4_edau.1
SAT
3
ncf_8_16_4_u.1
SAT
3
ncf_4_8_8_edau.6
UNSAT
3.06
ncf_16_32_2_edau.9
UNSAT
3.14
ncf_16_32_2_u.9
UNSAT
3.15
ncf_4_16_4_euad.9
SAT
3.55
ncf_4_16_2_d.7
SAT
4.07
ncf_4_8_8_d.6
UNSAT
4.31
ncf_4_16_2_euad.2
SAT
4.83
ncf_8_16_4_edau.8
UNSAT
5.17
ncf_4_8_8_d.1
SAT
5.6
ncf_4_8_8_u.6
UNSAT
6.46
ncf_8_16_4_d.8
UNSAT
6.84
ncf_8_16_8_edau.1
SAT
7.69
ncf_8_16_4_euad.10
SAT
7.74
ncf_4_16_4_d.9
SAT
8.58
ncf_4_16_4_euad.5
SAT
9.05
ncf_4_8_4_euad.1
SAT
10.41
ncf_4_8_4_u.10
SAT
10.64
ncf_4_8_4_euad.4
UNSAT
10.69
ncf_4_16_4_edau.9
SAT
11.67
ncf_4_8_4_u.6
SAT
11.87
ncf_4_16_4_u.9
SAT
12.31
ncf_4_16_2_u.2
SAT
12.31
ncf_8_16_4_d.1
SAT
14.61
ncf_8_16_4_euad.1
SAT
14.72
ncf_4_16_2_euad.5
UNSAT
17.74
ncf_8_16_4_d.10
SAT
23.29
ncf_4_8_2_euad.3
UNSAT
26.05
ncf_4_16_2_u.5
UNSAT
30.93
ncf_4_8_4_euad.7
UNSAT
32.36
ncf_4_8_2_u.3
UNSAT
32.76
ncf_4_8_4_euad.5
SAT
34.36
ncf_4_16_2_d.4
SAT
46.59
ncf_4_16_2_edau.4
SAT
48.78
ncf_4_8_8_edau.1
SAT
51.7
ncf_4_16_2_d.2
SAT
51.91
ncf_4_8_4_u.7
UNSAT
55.72
ncf_4_16_2_edau.2
SAT
57.61
ncf_4_8_4_u.5
SAT
59.25
ncf_4_8_8_u.1
SAT
63.3
ncf_4_16_2_edau.1
UNSAT
96.41
ncf_4_16_2_d.3
UNSAT
111.57
ncf_16_32_2_euad.9
UNSAT
111.75
ncf_16_32_2_d.9
UNSAT
112.18
ncf_4_16_2_edau.3
UNSAT
112.3
ncf_8_16_4_u.10
SAT
117.87
ncf_4_16_2_d.1
UNSAT
118.42
ncf_4_16_2_d.10
UNSAT
151.37
ncf_4_16_2_edau.10
UNSAT
183.21
ncf_8_16_4_edau.10
SAT
184.75
ncf_4_16_2_d.8
SAT
193.86
ncf_4_8_8_d.7
SAT
196.12
ncf_4_8_8_euad.3
SAT
196.34
ncf_4_8_8_euad.6
UNSAT
249.39
ncf_4_16_2_edau.8
SAT
250.51
ncf_8_16_8_d.9
UNSAT
276.75
ncf_4_16_2_edau.5
UNSAT
293.38
ncf_4_16_2_d.5
UNSAT
337.31
ncf_4_16_2_euad.4
SAT
345.42
ncf_4_16_4_d.1
SAT
352.39
ncf_4_8_8_d.8
SAT
409.78
ncf_4_8_8_d.10
SAT
481.58
ncf_4_16_4_d.7
SAT
515.98
ncf_4_16_2_u.8
FAIL
593.84
ncf_4_16_2_euad.3
FAIL
593.87
ncf_4_16_2_euad.8
FAIL
594.5
ncf_4_8_8_d.5
FAIL
594.59
ncf_4_16_4_euad.7
FAIL
594.62
ncf_4_16_4_euad.6
FAIL
594.8
ncf_4_16_4_euad.2
FAIL
594.88
ncf_4_16_4_euad.8
FAIL
595.03
ncf_4_8_8_u.5
FAIL
595.04
ncf_4_8_8_edau.3
FAIL
595.12
ncf_4_8_8_d.3
FAIL
595.24
ncf_8_16_4_d.4
FAIL
595.35
ncf_4_16_4_d.8
FAIL
595.39
ncf_4_16_2_u.10
FAIL
595.41
ncf_4_16_4_d.2
FAIL
595.42
ncf_4_16_2_euad.10
FAIL
595.45
ncf_8_16_4_d.3
FAIL
595.52
ncf_4_16_2_u.3
FAIL
595.52
ncf_4_32_2_u.9
FAIL
595.53
ncf_8_16_4_d.7
FAIL
595.55
ncf_4_8_8_edau.8
FAIL
595.58
ncf_4_32_2_u.5
FAIL
595.59
ncf_4_8_8_euad.8
FAIL
595.6
ncf_4_8_8_edau.5
FAIL
595.63
ncf_4_16_4_euad.3
FAIL
595.82
ncf_4_16_4_euad.10
FAIL
595.82
ncf_4_8_8_d.2
FAIL
595.96
ncf_8_16_4_d.9
FAIL
595.96
ncf_4_32_2_edau.9
FAIL
595.99
ncf_4_16_4_u.2
FAIL
595.99
ncf_4_16_4_euad.4
FAIL
596
ncf_4_8_8_u.10
FAIL
596.03
ncf_4_16_4_u.1
FAIL
596.08
ncf_4_16_4_u.3
FAIL
596.09
ncf_4_16_4_d.4
FAIL
596.12
ncf_4_32_2_u.6
FAIL
596.13
ncf_4_16_2_euad.1
FAIL
596.15
ncf_4_16_4_d.3
FAIL
596.16
ncf_4_32_2_edau.5
FAIL
596.19
ncf_8_16_4_euad.3
FAIL
596.22
ncf_4_16_4_edau.8
FAIL
596.25
ncf_4_32_2_edau.7
FAIL
596.27
ncf_8_16_4_euad.7
FAIL
596.32
ncf_4_8_8_u.3
FAIL
596.34
ncf_8_16_4_u.7
FAIL
596.34
ncf_4_16_4_edau.1
FAIL
596.37
ncf_4_32_2_edau.6
FAIL
596.37
ncf_4_16_2_u.4
FAIL
596.42
ncf_4_16_2_u.1
FAIL
596.45
ncf_4_32_2_u.4
FAIL
596.48
ncf_8_16_8_edau.6
FAIL
596.51
ncf_4_16_4_euad.1
FAIL
596.51
ncf_4_8_8_u.2
FAIL
596.53
ncf_8_16_8_d.7
FAIL
596.56
ncf_4_8_8_euad.2
FAIL
596.63
ncf_4_16_4_edau.7
FAIL
596.63
ncf_4_16_4_u.4
FAIL
596.68
ncf_8_16_4_edau.4
FAIL
596.7
ncf_4_8_8_euad.10
FAIL
596.71
ncf_4_8_8_edau.2
FAIL
596.73
ncf_4_16_8_euad.6
FAIL
596.75
ncf_16_32_2_euad.5
FAIL
596.81
ncf_4_16_4_edau.5
FAIL
596.83
ncf_16_32_2_edau.3
FAIL
596.85
ncf_4_8_8_euad.7
FAIL
596.87
ncf_4_16_8_euad.1
FAIL
596.95
ncf_16_32_2_d.3
FAIL
596.97
ncf_4_16_8_euad.10
FAIL
596.98
ncf_8_16_4_edau.3
FAIL
596.99
ncf_4_16_4_edau.3
FAIL
597
ncf_4_8_8_u.8
FAIL
597
ncf_4_16_8_euad.3
FAIL
597.01
ncf_8_16_8_d.8
FAIL
597.05
ncf_4_16_8_d.7
FAIL
597.05
ncf_4_8_8_u.7
FAIL
597.07
ncf_4_16_4_u.8
FAIL
597.07
ncf_4_8_8_euad.5
FAIL
597.1
ncf_4_16_4_u.7
FAIL
597.11
ncf_4_16_8_euad.5
FAIL
597.14
ncf_8_16_8_euad.4
FAIL
597.15
ncf_4_16_4_d.5
FAIL
597.16
ncf_4_32_2_u.10
FAIL
597.17
ncf_4_32_2_edau.2
FAIL
597.18
ncf_4_16_4_d.6
FAIL
597.19
ncf_4_32_2_u.7
FAIL
597.23
ncf_4_32_2_edau.3
FAIL
597.27
ncf_4_16_4_u.6
FAIL
597.28
ncf_4_32_2_edau.1
FAIL
597.3
ncf_16_32_4_euad.10
FAIL
597.3
ncf_4_16_8_d.3
FAIL
597.3
ncf_4_16_8_u.9
FAIL
597.31
ncf_8_16_4_edau.7
FAIL
597.31
ncf_4_16_4_d.10
FAIL
597.34
ncf_4_16_8_d.8
FAIL
597.36
ncf_8_16_4_u.3
FAIL
597.43
ncf_8_16_4_edau.9
FAIL
597.44
ncf_4_16_8_euad.2
FAIL
597.44
ncf_4_16_8_d.4
FAIL
597.45
ncf_4_16_4_edau.2
FAIL
597.52
ncf_4_16_4_edau.4
FAIL
597.53
ncf_4_32_2_edau.4
FAIL
597.56
ncf_4_16_8_u.10
FAIL
597.56
ncf_16_32_4_d.10
FAIL
597.57
ncf_8_16_8_euad.8
FAIL
597.6
ncf_4_16_8_u.1
FAIL
597.61
ncf_4_8_8_edau.7
FAIL
597.62
ncf_8_16_8_euad.9
FAIL
597.66
ncf_8_16_8_d.4
FAIL
597.72
ncf_4_16_8_euad.4
FAIL
597.72
ncf_4_16_4_u.5
FAIL
597.76
ncf_4_16_8_d.5
FAIL
597.76
ncf_4_16_8_u.3
FAIL
597.77
ncf_8_16_8_d.6
FAIL
597.77
ncf_16_32_2_d.5
FAIL
597.79
ncf_4_16_8_u.5
FAIL
597.82
ncf_4_16_4_u.10
FAIL
597.85
ncf_4_16_8_euad.9
FAIL
597.85
ncf_4_32_2_edau.8
FAIL
597.88
ncf_16_32_2_d.2
FAIL
597.89
ncf_16_32_4_d.8
FAIL
597.93
ncf_16_32_4_d.6
FAIL
597.93
ncf_4_16_4_edau.10
FAIL
597.98
ncf_16_32_2_d.10
FAIL
597.99
ncf_4_16_8_euad.7
FAIL
598
ncf_16_32_4_edau.10
FAIL
598
ncf_4_16_8_euad.8
FAIL
598.01
ncf_8_16_8_edau.3
FAIL
598.01
ncf_8_16_4_euad.9
FAIL
598.02
ncf_16_32_2_euad.10
FAIL
598.05
ncf_4_16_8_u.6
FAIL
598.08
ncf_8_16_8_d.10
FAIL
598.12
ncf_8_16_8_edau.9
FAIL
598.13
ncf_16_32_4_d.5
FAIL
598.13
ncf_16_32_4_d.2
FAIL
598.13
ncf_4_32_2_edau.10
FAIL
598.13
ncf_4_32_2_u.2
FAIL
598.14
ncf_8_16_8_euad.7
FAIL
598.14
ncf_8_16_8_d.2
FAIL
598.16
ncf_8_16_8_edau.7
FAIL
598.17
ncf_8_16_8_euad.2
FAIL
598.21
ncf_4_16_8_u.8
FAIL
598.23
ncf_4_16_4_edau.6
FAIL
598.25
ncf_4_32_2_u.1
FAIL
598.27
ncf_16_32_2_edau.5
FAIL
598.28
ncf_4_16_8_d.10
FAIL
598.31
ncf_8_16_8_edau.8
FAIL
598.33
ncf_16_32_4_d.7
FAIL
598.35
ncf_8_16_8_euad.3
FAIL
598.37
ncf_4_32_2_u.8
FAIL
598.37
ncf_16_32_4_d.4
FAIL
598.38
ncf_8_16_4_u.9
FAIL
598.38
ncf_16_32_2_d.6
FAIL
598.4
ncf_16_32_4_euad.5
FAIL
598.4
ncf_4_16_8_u.7
FAIL
598.41
ncf_4_16_8_u.4
FAIL
598.48
ncf_8_16_8_euad.10
FAIL
598.48
ncf_16_32_4_u.5
FAIL
598.5
ncf_8_16_8_d.5
FAIL
598.5
ncf_4_32_2_u.3
FAIL
598.51
ncf_16_32_4_d.3
FAIL
598.53
ncf_16_32_2_edau.10
FAIL
598.54
ncf_16_32_4_edau.3
FAIL
598.6
ncf_8_16_8_euad.5
FAIL
598.64
ncf_4_16_8_u.2
FAIL
598.67
ncf_16_32_4_edau.6
FAIL
598.7
ncf_16_32_2_d.1
FAIL
598.71
ncf_16_32_4_edau.7
FAIL
598.72
ncf_4_16_8_d.2
FAIL
598.74
ncf_16_32_4_edau.8
FAIL
598.78
ncf_8_16_4_euad.4
FAIL
598.8
ncf_16_32_2_edau.1
FAIL
598.8
ncf_16_32_8_d.3
FAIL
598.81
ncf_16_32_4_edau.5
FAIL
598.81
ncf_16_32_4_d.9
FAIL
598.82
ncf_4_16_8_d.1
FAIL
598.84
ncf_16_32_2_u.5
FAIL
598.87
ncf_8_16_8_euad.6
FAIL
598.87
ncf_4_16_8_d.9
FAIL
598.9
ncf_16_32_2_d.8
FAIL
598.92
ncf_16_32_4_u.10
FAIL
598.95
ncf_4_8_8_edau.10
FAIL
599
ncf_16_32_2_edau.6
FAIL
599
ncf_16_32_8_d.2
FAIL
599.04
ncf_16_32_4_edau.9
FAIL
599.08
ncf_8_16_8_d.3
FAIL
599.09
ncf_16_32_2_edau.2
FAIL
599.09
ncf_16_32_8_euad.5
FAIL
599.16
ncf_8_16_4_u.4
FAIL
599.18
ncf_16_32_4_edau.4
FAIL
599.2
ncf_8_16_8_edau.4
FAIL
599.21
ncf_16_32_2_u.2
FAIL
599.23
ncf_16_32_4_d.1
FAIL
599.23
ncf_16_32_2_d.4
FAIL
599.23
ncf_16_32_8_d.6
FAIL
599.25
ncf_16_32_4_euad.6
FAIL
599.26
ncf_16_32_8_euad.3
FAIL
599.32
ncf_16_32_8_d.4
FAIL
599.35
ncf_8_16_8_edau.2
FAIL
599.35
ncf_16_32_8_u.3
FAIL
599.36
ncf_4_16_8_d.6
FAIL
599.38
ncf_8_16_8_edau.10
FAIL
599.4
ncf_8_16_8_edau.5
FAIL
599.4
ncf_16_32_4_edau.2
FAIL
599.42
ncf_16_32_2_u.10
FAIL
599.52
ncf_16_32_8_euad.4
FAIL
599.59
ncf_16_32_8_d.7
FAIL
599.6
ncf_16_32_2_edau.4
FAIL
599.6
ncf_16_32_8_u.7
FAIL
599.61
ncf_16_32_4_u.2
FAIL
599.61
ncf_16_32_8_d.8
FAIL
599.64
ncf_16_32_2_edau.8
FAIL
599.66
ncf_16_32_8_edau.10
FAIL
599.68
ncf_16_32_2_euad.2
FAIL
599.71
ncf_16_32_2_euad.1
FAIL
599.72
ncf_16_32_8_d.10
FAIL
599.72
ncf_16_32_4_edau.1
FAIL
599.72
ncf_16_32_8_edau.6
FAIL
599.75
ncf_16_32_4_euad.8
FAIL
599.77
ncf_16_32_4_u.6
FAIL
599.79
ncf_16_32_2_u.3
FAIL
599.82
ncf_16_32_4_euad.1
FAIL
599.84
ncf_16_32_8_edau.3
FAIL
599.86
ncf_16_32_2_euad.4
FAIL
599.88
ncf_16_32_8_edau.7
FAIL
599.89
ncf_16_32_4_u.8
FAIL
599.89
ncf_16_32_2_euad.3
FAIL
599.9
ncf_16_32_8_edau.2
FAIL
599.92
ncf_16_32_4_u.1
FAIL
599.94
ncf_16_32_8_d.9
FAIL
599.94
ncf_16_32_8_edau.4
FAIL
599.96
ncf_16_32_8_euad.7
FAIL
599.97
ncf_16_32_2_u.4
FAIL
599.97
ncf_16_32_4_euad.9
FAIL
599.98
ncf_16_32_2_u.6
FAIL
599.98
ncf_16_32_2_euad.6
SAT
2081.31
ncf_16_32_4_euad.4
FAIL
5976.52
ncf_16_32_8_euad.10
FAIL
5982.2
ncf_16_32_8_u.4
FAIL
5982.6
ncf_16_32_8_edau.8
FAIL
5983.6
ncf_16_32_8_edau.5
FAIL
5983.79
ncf_16_32_8_d.5
FAIL
5984.12
ncf_16_32_8_u.6
FAIL
5984.83
ncf_16_32_2_euad.8
FAIL
5986.28
ncf_16_32_8_u.10
FAIL
5986.63
ncf_16_32_4_euad.2
FAIL
5987.3
ncf_16_32_8_euad.8
FAIL
5987.57
ncf_16_32_8_u.9
FAIL
5987.6
ncf_16_32_8_u.8
FAIL
5988.26
ncf_16_32_8_u.5
FAIL
5988.47
ncf_16_32_8_edau.9
FAIL
5989.78
ncf_16_32_4_u.9
FAIL
5990.34
ncf_16_32_4_u.4
FAIL
5990.46
ncf_16_32_4_u.3
FAIL
5990.93
ncf_16_32_8_u.2
FAIL
5992.43
ncf_16_32_4_u.7
FAIL
5992.57
ncf_16_32_4_euad.7
FAIL
5992.69
ncf_16_32_2_u.1
FAIL
5993.02
ncf_16_32_2_u.8
FAIL
5993.57
ncf_16_32_8_euad.9
FAIL
5993.7
ncf_16_32_8_edau.1
FAIL
5994.61
ncf_16_32_8_euad.6
FAIL
5994.67
ncf_16_32_8_d.1
FAIL
5994.72
ncf_16_32_8_euad.2
FAIL
5995.25
ncf_16_32_4_euad.3
FAIL
5995.49
ncf_16_32_8_u.1
FAIL
5996.69
ncf_16_32_8_euad.1
FAIL
5997.22
Contact
|
Organization
|
Links
|
Citing QBFLIB