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
yQuaffle
QBFEVAL'06
Instance
Result
Time
ncf_4_8_2_euad.4
UNSAT
0
ncf_4_8_2_u.3
UNSAT
0
ncf_4_8_2_u.2
SAT
0.01
ncf_16_32_2_edau.5
UNSAT
0.01
ncf_4_8_2_euad.10
SAT
0.01
ncf_4_8_4_u.3
UNSAT
0.01
ncf_4_8_2_euad.2
SAT
0.01
ncf_4_8_2_euad.7
UNSAT
0.01
ncf_4_8_2_u.4
UNSAT
0.01
ncf_4_8_2_u.7
UNSAT
0.01
ncf_4_16_2_d.6
SAT
0.01
ncf_4_32_2_edau.1
UNSAT
0.02
ncf_16_32_2_d.5
UNSAT
0.02
ncf_4_8_2_euad.1
UNSAT
0.02
ncf_4_8_2_euad.3
UNSAT
0.02
ncf_4_16_2_edau.6
SAT
0.02
ncf_16_32_2_edau.2
UNSAT
0.02
ncf_8_16_4_d.8
UNSAT
0.02
ncf_16_32_2_d.2
UNSAT
0.02
ncf_4_16_2_euad.6
SAT
0.02
ncf_4_8_4_euad.3
UNSAT
0.03
ncf_4_8_2_u.8
SAT
0.03
ncf_16_32_2_u.2
UNSAT
0.03
ncf_4_16_2_u.6
SAT
0.03
ncf_4_8_2_euad.6
SAT
0.03
ncf_8_16_4_edau.8
UNSAT
0.03
ncf_16_32_2_d.6
SAT
0.03
ncf_4_8_2_euad.9
SAT
0.03
ncf_8_16_4_d.5
UNSAT
0.03
ncf_4_8_2_u.10
SAT
0.03
ncf_4_8_2_euad.8
SAT
0.03
ncf_8_16_4_euad.5
UNSAT
0.03
ncf_4_16_2_euad.2
SAT
0.04
ncf_16_32_2_u.5
UNSAT
0.04
ncf_4_32_2_edau.4
UNSAT
0.04
ncf_16_32_2_euad.8
UNSAT
0.04
ncf_16_32_2_edau.6
SAT
0.04
ncf_16_32_2_d.8
UNSAT
0.04
ncf_4_16_2_d.2
SAT
0.04
ncf_8_16_4_d.6
UNSAT
0.04
ncf_8_16_4_euad.6
UNSAT
0.04
ncf_4_8_2_u.9
SAT
0.05
ncf_4_8_2_u.1
UNSAT
0.05
ncf_16_32_2_d.7
UNSAT
0.05
ncf_8_16_4_euad.8
UNSAT
0.05
ncf_16_32_2_euad.5
UNSAT
0.05
ncf_4_8_2_u.6
SAT
0.05
ncf_4_8_4_euad.7
UNSAT
0.06
ncf_4_8_4_u.6
SAT
0.06
ncf_16_32_2_euad.2
UNSAT
0.06
ncf_16_32_2_d.9
UNSAT
0.08
ncf_8_16_4_euad.2
UNSAT
0.08
ncf_8_16_4_u.2
UNSAT
0.08
ncf_16_32_2_edau.8
UNSAT
0.08
ncf_8_16_4_d.2
UNSAT
0.08
ncf_8_16_4_edau.5
UNSAT
0.08
ncf_4_8_4_euad.6
SAT
0.09
ncf_16_32_2_euad.7
UNSAT
0.09
ncf_8_16_4_edau.2
UNSAT
0.09
ncf_16_32_4_d.4
UNSAT
0.1
ncf_4_8_4_euad.9
SAT
0.1
ncf_4_8_8_edau.5
UNSAT
0.11
ncf_16_32_4_d.10
UNSAT
0.11
ncf_16_32_2_d.4
UNSAT
0.11
ncf_16_32_2_edau.9
UNSAT
0.12
ncf_16_32_2_u.8
UNSAT
0.13
ncf_4_8_8_u.5
UNSAT
0.13
ncf_16_32_2_euad.9
UNSAT
0.15
ncf_4_8_2_u.5
SAT
0.16
ncf_16_32_2_d.1
UNSAT
0.16
ncf_4_8_2_euad.5
SAT
0.18
ncf_8_16_4_u.5
UNSAT
0.19
ncf_16_32_4_euad.7
UNSAT
0.2
ncf_4_16_2_euad.4
SAT
0.21
ncf_16_32_4_d.7
UNSAT
0.21
ncf_4_8_4_u.9
SAT
0.21
ncf_8_16_4_edau.6
UNSAT
0.21
ncf_4_16_2_d.4
SAT
0.22
ncf_16_32_2_euad.4
UNSAT
0.24
ncf_16_32_2_euad.10
UNSAT
0.25
ncf_16_32_2_u.9
UNSAT
0.27
ncf_16_32_2_euad.6
SAT
0.28
ncf_4_8_8_d.5
UNSAT
0.29
ncf_16_32_2_edau.7
UNSAT
0.32
ncf_4_16_2_u.2
SAT
0.33
ncf_16_32_4_d.5
UNSAT
0.34
ncf_8_16_4_u.6
UNSAT
0.36
ncf_4_16_2_edau.2
SAT
0.37
ncf_8_16_8_d.6
UNSAT
0.37
ncf_16_32_4_edau.4
UNSAT
0.39
ncf_4_8_8_euad.5
UNSAT
0.39
ncf_16_32_2_edau.10
UNSAT
0.4
ncf_8_16_4_edau.10
SAT
0.4
ncf_16_32_2_u.6
SAT
0.41
ncf_4_16_2_edau.7
SAT
0.41
ncf_16_32_2_d.10
UNSAT
0.43
ncf_16_32_4_euad.4
UNSAT
0.47
ncf_8_16_4_d.10
SAT
0.48
ncf_8_16_4_euad.10
SAT
0.5
ncf_16_32_4_edau.10
UNSAT
0.52
ncf_16_32_2_edau.4
UNSAT
0.52
ncf_16_32_4_euad.5
UNSAT
0.62
ncf_8_16_8_edau.6
UNSAT
0.78
ncf_16_32_4_u.5
UNSAT
0.83
ncf_4_8_8_d.9
UNSAT
0.91
ncf_4_16_2_d.7
SAT
0.93
ncf_4_16_2_edau.4
SAT
0.97
ncf_16_32_2_d.3
SAT
0.97
ncf_16_32_2_edau.3
SAT
0.99
ncf_4_8_8_euad.9
UNSAT
1.01
ncf_4_16_2_u.4
SAT
1.09
ncf_4_32_2_u.4
UNSAT
1.34
ncf_16_32_4_edau.5
UNSAT
1.98
ncf_8_16_8_euad.6
UNSAT
2
ncf_8_16_4_u.10
SAT
2.18
ncf_16_32_4_edau.7
UNSAT
2.19
ncf_16_32_4_u.7
UNSAT
2.36
ncf_16_32_4_edau.9
SAT
2.61
ncf_16_32_4_d.9
SAT
3.08
ncf_16_32_4_euad.9
SAT
3.36
ncf_16_32_2_u.7
UNSAT
3.64
ncf_16_32_4_edau.1
SAT
4.38
ncf_4_8_4_u.7
UNSAT
5.13
ncf_16_32_4_u.1
SAT
5.29
ncf_16_32_4_d.1
SAT
5.63
ncf_16_32_4_euad.1
SAT
6.14
ncf_16_32_2_euad.1
UNSAT
6.57
ncf_4_8_4_euad.5
SAT
7.45
ncf_4_16_2_u.7
SAT
8.15
ncf_4_16_2_edau.10
UNSAT
11.36
ncf_4_16_2_edau.9
SAT
14.41
ncf_16_32_8_d.8
UNSAT
16.81
ncf_4_16_2_u.9
SAT
17.27
ncf_4_16_2_d.10
UNSAT
17.39
ncf_8_16_4_d.4
SAT
21.56
ncf_4_16_4_d.5
SAT
24.11
ncf_4_16_4_euad.5
SAT
25.37
ncf_16_32_4_euad.10
UNSAT
26.44
ncf_4_8_8_edau.9
UNSAT
30.07
ncf_4_16_4_edau.5
SAT
30.47
ncf_16_32_2_u.10
UNSAT
30.67
ncf_4_16_4_u.5
SAT
34.43
ncf_8_16_4_d.3
SAT
47.72
ncf_4_8_4_euad.2
UNSAT
48.03
ncf_4_16_2_d.9
SAT
49.3
ncf_8_16_4_edau.4
SAT
49.82
ncf_16_32_2_edau.1
UNSAT
50.35
ncf_4_8_4_u.5
SAT
51.94
ncf_8_16_4_euad.4
SAT
54.2
ncf_4_16_2_euad.9
SAT
59.57
ncf_16_32_2_euad.3
SAT
70.56
ncf_4_16_4_d.6
UNSAT
83.26
ncf_8_16_4_edau.3
SAT
84.26
ncf_4_16_2_u.1
UNSAT
96.36
ncf_4_16_2_edau.1
UNSAT
166.65
ncf_16_32_4_u.4
UNSAT
177.33
ncf_8_16_4_u.4
SAT
200.87
ncf_16_32_4_d.3
SAT
220.98
ncf_8_16_4_u.8
UNSAT
228.56
ncf_16_32_4_euad.3
SAT
252.26
ncf_8_16_4_d.1
SAT
290.53
ncf_4_8_8_u.9
UNSAT
316.54
ncf_16_32_4_u.3
SAT
346.09
ncf_4_16_4_d.8
SAT
359.27
ncf_8_16_4_edau.1
SAT
373.12
ncf_4_16_4_euad.8
SAT
375.07
ncf_4_8_4_u.2
UNSAT
419.84
ncf_4_8_4_euad.1
SAT
425.18
ncf_16_32_4_edau.3
SAT
425.96
ncf_4_16_4_edau.8
SAT
436.83
ncf_16_32_4_u.9
SAT
483.72
ncf_4_16_2_edau.5
UNSAT
485.75
ncf_4_16_4_u.8
SAT
486.3
ncf_16_32_4_d.2
SAT
556.77
ncf_16_32_8_d.6
FAIL
566.42
ncf_16_32_8_edau.7
FAIL
567.64
ncf_16_32_8_edau.3
FAIL
568.08
ncf_16_32_8_euad.9
FAIL
568.97
ncf_16_32_8_d.5
FAIL
569.14
ncf_16_32_8_d.2
FAIL
569.27
ncf_16_32_8_euad.8
FAIL
570.68
ncf_16_32_8_d.3
FAIL
570.82
ncf_16_32_8_d.7
FAIL
570.83
ncf_16_32_8_d.4
FAIL
570.89
ncf_16_32_8_edau.4
FAIL
571.51
ncf_16_32_8_euad.2
FAIL
571.62
ncf_16_32_8_edau.9
FAIL
572.44
ncf_16_32_8_u.3
FAIL
572.79
ncf_16_32_8_d.10
FAIL
572.85
ncf_16_32_8_euad.5
FAIL
573.1
ncf_16_32_8_euad.10
FAIL
573.24
ncf_16_32_8_euad.1
FAIL
573.49
ncf_16_32_8_edau.8
FAIL
574
ncf_16_32_8_euad.7
FAIL
574.03
ncf_16_32_8_edau.10
FAIL
574.23
ncf_16_32_8_euad.6
FAIL
574.27
ncf_16_32_8_edau.1
FAIL
574.31
ncf_16_32_8_edau.2
FAIL
574.6
ncf_16_32_8_euad.4
FAIL
574.61
ncf_16_32_8_d.1
FAIL
574.69
ncf_16_32_8_u.1
FAIL
575.13
ncf_16_32_8_edau.6
FAIL
575.26
ncf_8_16_8_d.10
FAIL
575.67
ncf_16_32_8_euad.3
FAIL
576.03
ncf_16_32_8_u.4
FAIL
576.32
ncf_8_16_8_d.5
FAIL
577.04
ncf_16_32_8_u.7
FAIL
577.08
ncf_4_16_8_d.10
FAIL
577.68
ncf_8_16_8_d.3
FAIL
578.13
ncf_16_32_8_u.10
FAIL
578.13
ncf_8_16_8_d.2
FAIL
578.67
ncf_4_16_8_d.1
FAIL
578.71
ncf_8_16_8_d.8
FAIL
578.99
ncf_8_16_8_d.9
FAIL
579.03
ncf_4_16_8_d.4
FAIL
579.32
ncf_4_16_8_d.5
FAIL
579.51
ncf_8_16_8_d.4
FAIL
579.71
ncf_16_32_8_d.9
FAIL
579.8
ncf_16_32_8_edau.5
FAIL
579.97
ncf_16_32_8_u.9
FAIL
580.45
ncf_8_16_8_edau.10
FAIL
580.46
ncf_16_32_4_euad.6
FAIL
580.63
ncf_4_16_8_d.6
FAIL
580.76
ncf_4_16_8_d.3
FAIL
580.83
ncf_16_32_4_d.8
FAIL
580.84
ncf_8_16_8_d.7
FAIL
580.88
ncf_16_32_4_edau.6
FAIL
580.94
ncf_4_16_8_d.8
FAIL
580.97
ncf_8_16_8_edau.1
FAIL
581.1
ncf_8_16_8_edau.8
FAIL
581.13
ncf_8_16_8_edau.2
FAIL
581.17
ncf_8_16_8_euad.1
FAIL
581.18
ncf_8_16_8_edau.9
FAIL
581.41
ncf_4_16_8_d.2
FAIL
581.44
ncf_4_16_8_d.9
FAIL
581.54
ncf_4_16_8_u.5
FAIL
581.83
ncf_16_32_8_u.5
FAIL
581.9
ncf_8_16_8_euad.7
FAIL
581.96
ncf_8_16_8_euad.5
FAIL
582.04
ncf_8_16_8_euad.4
FAIL
582.3
ncf_8_16_8_edau.4
FAIL
582.31
ncf_4_16_8_euad.1
FAIL
582.34
ncf_8_16_8_euad.3
FAIL
582.94
ncf_16_32_4_u.2
FAIL
582.94
ncf_8_16_8_d.1
FAIL
583.07
ncf_8_16_8_euad.8
FAIL
583.09
ncf_16_32_8_u.8
FAIL
583.26
ncf_4_16_8_euad.10
FAIL
583.3
ncf_4_16_8_euad.6
FAIL
583.34
ncf_8_16_8_edau.3
FAIL
583.76
ncf_16_32_8_u.2
FAIL
583.89
ncf_8_16_8_edau.5
FAIL
583.99
ncf_8_16_8_euad.2
FAIL
584.07
ncf_8_16_8_edau.7
FAIL
584.07
ncf_16_32_4_u.6
FAIL
584.31
ncf_4_16_8_euad.4
FAIL
584.51
ncf_8_16_8_euad.10
FAIL
584.6
ncf_4_16_8_euad.8
FAIL
584.62
ncf_16_32_4_d.6
FAIL
584.67
ncf_8_16_8_euad.9
FAIL
584.93
ncf_4_16_8_euad.2
FAIL
585.19
ncf_16_32_4_edau.8
FAIL
585.37
ncf_16_32_4_u.8
FAIL
585.43
ncf_4_16_8_u.4
FAIL
585.56
ncf_4_8_8_d.4
FAIL
585.63
ncf_4_16_8_d.7
FAIL
585.68
ncf_16_32_4_euad.8
FAIL
585.95
ncf_4_16_8_u.6
FAIL
586.11
ncf_4_8_8_d.2
FAIL
586.12
ncf_4_16_8_u.7
FAIL
586.29
ncf_16_32_8_u.6
FAIL
586.31
ncf_16_32_4_edau.2
FAIL
586.48
ncf_4_8_8_d.7
FAIL
586.59
ncf_4_16_8_u.8
FAIL
586.77
ncf_4_16_8_euad.3
FAIL
586.81
ncf_16_32_4_euad.2
FAIL
586.81
ncf_4_16_8_u.2
FAIL
586.99
ncf_4_16_8_u.10
FAIL
587.35
ncf_4_8_8_d.3
FAIL
587.44
ncf_4_16_8_euad.9
FAIL
587.55
ncf_4_16_8_u.3
FAIL
587.64
ncf_4_8_8_edau.7
FAIL
587.67
ncf_4_16_8_euad.7
FAIL
587.68
ncf_4_16_8_euad.5
FAIL
587.74
ncf_4_16_8_u.9
FAIL
588
ncf_4_16_8_u.1
FAIL
588.06
ncf_4_16_4_d.2
FAIL
588.06
ncf_4_8_8_d.8
FAIL
588.13
ncf_4_8_8_d.6
FAIL
588.75
ncf_4_8_8_euad.2
FAIL
588.76
ncf_4_8_8_edau.2
FAIL
588.78
ncf_4_8_8_euad.4
FAIL
588.81
ncf_4_8_8_d.10
FAIL
588.97
ncf_4_8_8_euad.3
FAIL
588.98
ncf_4_8_8_d.1
FAIL
589.27
ncf_4_8_8_edau.10
FAIL
589.32
ncf_4_8_8_u.2
FAIL
589.34
ncf_4_8_8_edau.3
FAIL
589.38
ncf_8_16_4_d.7
FAIL
589.46
ncf_4_8_8_euad.7
FAIL
589.58
ncf_4_8_8_edau.6
FAIL
589.94
ncf_4_8_8_edau.8
FAIL
589.98
ncf_4_32_2_edau.3
FAIL
590
ncf_4_8_8_euad.6
FAIL
590.05
ncf_4_8_8_euad.8
FAIL
590.05
ncf_4_8_8_u.10
FAIL
590.15
ncf_4_32_2_edau.2
FAIL
590.56
ncf_4_16_4_d.10
FAIL
590.57
ncf_8_16_4_u.3
FAIL
590.68
ncf_4_32_2_edau.10
FAIL
590.82
ncf_4_16_4_edau.2
FAIL
591.02
ncf_4_32_2_edau.6
FAIL
591.13
ncf_8_16_4_edau.7
FAIL
591.14
ncf_4_32_2_u.5
FAIL
591.18
ncf_4_16_4_d.1
FAIL
591.19
ncf_4_8_8_u.3
FAIL
591.47
ncf_4_16_4_edau.10
FAIL
591.48
ncf_4_8_8_euad.10
FAIL
591.51
ncf_4_32_2_edau.8
FAIL
591.51
ncf_4_16_4_edau.6
FAIL
591.54
ncf_4_32_2_edau.5
FAIL
591.78
ncf_16_32_4_u.10
FAIL
591.8
ncf_4_16_4_edau.7
FAIL
591.89
ncf_4_32_2_edau.7
FAIL
592.02
ncf_4_16_4_d.3
FAIL
592.07
ncf_4_16_4_edau.9
FAIL
592.07
ncf_4_16_4_d.4
FAIL
592.1
ncf_4_8_8_edau.4
FAIL
592.14
ncf_4_16_4_d.9
FAIL
592.16
ncf_4_16_4_edau.1
FAIL
592.18
ncf_4_32_2_u.9
FAIL
592.19
ncf_4_32_2_edau.9
FAIL
592.2
ncf_8_16_4_edau.9
FAIL
592.22
ncf_4_16_4_d.7
FAIL
592.25
ncf_4_16_4_u.3
FAIL
592.29
ncf_8_16_4_euad.7
FAIL
592.41
ncf_4_16_4_edau.4
FAIL
592.43
ncf_4_32_2_u.6
FAIL
592.45
ncf_4_8_8_u.8
FAIL
592.45
ncf_4_16_4_euad.1
FAIL
592.52
ncf_16_32_2_u.1
FAIL
592.57
ncf_4_16_4_euad.3
FAIL
592.64
ncf_4_16_4_euad.7
FAIL
592.64
ncf_4_8_8_edau.1
FAIL
592.66
ncf_4_32_2_u.2
FAIL
592.66
ncf_4_32_2_u.8
FAIL
592.7
ncf_4_16_4_u.2
FAIL
592.72
ncf_8_16_4_d.9
FAIL
592.8
ncf_4_32_2_u.3
FAIL
592.81
ncf_4_16_4_euad.9
FAIL
592.84
ncf_4_16_4_euad.2
FAIL
592.91
ncf_4_8_8_euad.1
FAIL
592.99
ncf_4_16_4_u.7
FAIL
593.04
ncf_16_32_2_u.4
FAIL
593.06
ncf_4_16_4_u.10
FAIL
593.16
ncf_8_16_4_u.1
FAIL
593.21
ncf_8_16_4_euad.3
FAIL
593.22
ncf_4_32_2_u.1
FAIL
593.34
ncf_4_16_4_euad.10
FAIL
593.39
ncf_4_16_4_euad.6
FAIL
593.43
ncf_4_32_2_u.10
FAIL
593.52
ncf_8_16_4_euad.1
FAIL
593.58
ncf_4_16_4_u.6
FAIL
593.6
ncf_4_16_4_edau.3
FAIL
593.6
ncf_4_16_4_u.4
FAIL
593.6
ncf_4_8_8_u.7
FAIL
593.84
ncf_4_16_2_edau.3
FAIL
593.93
ncf_4_16_4_u.1
FAIL
594.01
ncf_16_32_2_u.3
FAIL
594.02
ncf_4_16_4_u.9
FAIL
594.08
ncf_8_16_4_u.7
FAIL
594.1
ncf_4_32_2_u.7
FAIL
594.23
ncf_4_16_4_euad.4
FAIL
594.26
ncf_4_8_8_u.4
FAIL
594.37
ncf_8_16_4_u.9
FAIL
594.63
ncf_4_16_2_euad.1
FAIL
594.64
ncf_4_8_4_euad.4
FAIL
594.97
ncf_4_8_8_u.6
FAIL
595.05
ncf_4_16_2_d.1
FAIL
595.13
ncf_4_16_2_euad.3
FAIL
595.13
ncf_8_16_4_euad.9
FAIL
595.13
ncf_4_16_2_edau.8
FAIL
595.25
ncf_4_8_8_u.1
FAIL
595.29
ncf_4_16_2_d.8
FAIL
595.42
ncf_4_8_4_u.4
FAIL
595.52
ncf_4_8_4_euad.10
FAIL
595.73
ncf_4_16_2_euad.8
FAIL
595.76
ncf_4_8_4_u.8
FAIL
595.78
ncf_4_16_2_u.8
FAIL
595.84
ncf_4_8_4_euad.8
FAIL
596.06
ncf_4_16_2_euad.10
FAIL
596.07
ncf_4_8_4_u.1
FAIL
596.12
ncf_4_16_2_d.5
FAIL
596.15
ncf_4_8_4_u.10
FAIL
596.46
ncf_4_16_2_d.3
FAIL
596.48
ncf_4_16_2_euad.7
FAIL
596.61
ncf_4_16_2_u.3
FAIL
596.99
ncf_4_16_2_euad.5
FAIL
596.99
ncf_4_16_2_u.10
FAIL
597.37
ncf_4_16_2_u.5
FAIL
597.45
Contact
|
Organization
|
Links
|
Citing QBFLIB