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'05
Instance
Result
Time
ncf_8_16_2_u.8
UNSAT
0
ncf_4_8_2_euad.7
UNSAT
0
ncf_8_16_2_edau.3
UNSAT
0
ncf_4_8_2_u.4
UNSAT
0
ncf_8_16_2_d.8
UNSAT
0
ncf_8_16_2_u.6
UNSAT
0
ncf_8_16_2_edau.6
UNSAT
0
ncf_8_16_2_euad.6
UNSAT
0
ncf_8_16_2_d.4
SAT
0
ncf_4_8_2_euad.3
UNSAT
0
ncf_4_8_2_edau.3
UNSAT
0
ncf_4_8_2_edau.4
UNSAT
0
ncf_4_8_2_d.1
UNSAT
0
ncf_8_16_2_euad.1
SAT
0.01
ncf_4_16_2_edau.6
SAT
0.01
ncf_8_16_2_euad.3
UNSAT
0.01
ncf_8_16_2_d.1
SAT
0.01
ncf_4_8_2_d.3
UNSAT
0.01
ncf_4_8_2_d.4
UNSAT
0.01
ncf_4_8_2_euad.1
UNSAT
0.01
ncf_4_8_2_d.2
SAT
0.01
ncf_8_16_2_d.6
UNSAT
0.01
ncf_4_8_2_euad.9
SAT
0.01
ncf_4_8_2_u.3
UNSAT
0.01
ncf_4_8_2_u.7
UNSAT
0.01
ncf_4_8_4_d.3
UNSAT
0.01
ncf_4_16_2_d.6
SAT
0.01
ncf_8_16_2_edau.8
UNSAT
0.01
ncf_8_16_2_u.3
UNSAT
0.01
ncf_4_8_2_edau.1
UNSAT
0.01
ncf_4_8_2_d.7
UNSAT
0.01
ncf_4_8_2_euad.2
SAT
0.01
ncf_4_8_2_euad.4
UNSAT
0.01
ncf_8_16_2_u.7
SAT
0.01
ncf_4_32_2_edau.1
UNSAT
0.01
ncf_4_8_2_edau.6
SAT
0.01
ncf_4_8_2_u.2
SAT
0.01
ncf_8_16_2_euad.7
SAT
0.01
ncf_4_8_2_edau.7
UNSAT
0.01
ncf_8_16_2_edau.4
SAT
0.01
ncf_8_16_2_u.1
SAT
0.01
ncf_4_16_2_euad.6
SAT
0.01
ncf_8_32_2_d.9
UNSAT
0.01
ncf_8_16_2_edau.7
SAT
0.01
ncf_8_16_2_edau.1
SAT
0.01
ncf_8_16_4_edau.8
UNSAT
0.02
ncf_4_8_4_euad.3
UNSAT
0.02
ncf_4_8_4_edau.3
UNSAT
0.02
ncf_4_16_2_u.6
SAT
0.02
ncf_4_8_2_d.9
SAT
0.02
ncf_8_16_4_d.8
UNSAT
0.02
ncf_4_32_2_d.1
UNSAT
0.02
ncf_4_8_2_d.6
SAT
0.02
ncf_16_32_2_d.2
UNSAT
0.02
ncf_4_8_2_u.10
SAT
0.02
ncf_4_8_2_edau.9
SAT
0.02
ncf_8_16_2_euad.5
UNSAT
0.02
ncf_16_32_2_d.5
UNSAT
0.02
ncf_8_16_2_d.5
UNSAT
0.02
ncf_8_32_2_euad.9
UNSAT
0.02
ncf_8_16_2_d.7
SAT
0.02
ncf_4_8_2_euad.10
SAT
0.02
ncf_8_16_2_euad.8
UNSAT
0.02
ncf_8_32_2_u.9
UNSAT
0.02
ncf_4_8_2_euad.8
SAT
0.02
ncf_4_8_4_u.3
UNSAT
0.02
ncf_8_16_2_d.3
UNSAT
0.02
ncf_4_8_2_edau.8
FAIL
0.03
ncf_16_32_2_d.8
UNSAT
0.03
ncf_16_32_2_edau.6
SAT
0.03
ncf_16_32_2_u.2
UNSAT
0.03
ncf_4_8_2_edau.2
SAT
0.03
ncf_8_32_2_edau.9
UNSAT
0.03
ncf_4_8_2_d.10
SAT
0.03
ncf_4_32_2_d.4
UNSAT
0.03
ncf_16_32_2_u.5
UNSAT
0.03
ncf_8_16_2_euad.4
SAT
0.03
ncf_4_8_2_d.8
SAT
0.03
ncf_8_16_4_d.6
UNSAT
0.03
ncf_16_32_2_d.6
SAT
0.04
ncf_4_16_2_d.2
SAT
0.04
ncf_4_8_2_edau.10
SAT
0.04
ncf_8_16_4_euad.6
UNSAT
0.04
ncf_4_32_2_edau.4
UNSAT
0.04
ncf_8_16_4_d.5
UNSAT
0.04
ncf_4_8_2_u.8
FAIL
0.04
ncf_4_8_2_u.6
SAT
0.04
ncf_16_32_2_euad.5
UNSAT
0.04
ncf_4_8_2_euad.6
SAT
0.04
ncf_8_16_4_euad.5
UNSAT
0.04
ncf_16_32_2_edau.2
UNSAT
0.04
ncf_4_16_2_euad.2
SAT
0.04
ncf_16_32_2_edau.5
UNSAT
0.04
ncf_8_16_4_euad.8
UNSAT
0.04
ncf_4_8_4_d.7
UNSAT
0.05
ncf_16_32_2_euad.8
UNSAT
0.05
ncf_8_32_2_edau.3
UNSAT
0.05
ncf_16_32_2_d.7
UNSAT
0.05
ncf_16_32_2_euad.2
UNSAT
0.05
ncf_8_16_2_u.4
SAT
0.05
ncf_16_32_2_euad.7
UNSAT
0.05
ncf_8_16_4_euad.2
UNSAT
0.05
ncf_4_8_2_u.9
SAT
0.05
ncf_4_8_2_u.1
UNSAT
0.06
ncf_4_8_4_euad.7
UNSAT
0.06
ncf_8_16_2_d.10
SAT
0.06
ncf_8_16_4_edau.5
UNSAT
0.06
ncf_8_32_2_d.3
UNSAT
0.06
ncf_4_8_4_u.6
SAT
0.06
ncf_4_8_4_edau.6
SAT
0.07
ncf_4_8_8_edau.5
UNSAT
0.07
ncf_4_8_4_edau.7
UNSAT
0.07
ncf_4_8_4_d.6
SAT
0.07
ncf_8_16_2_euad.10
SAT
0.07
ncf_8_16_4_d.2
UNSAT
0.07
ncf_16_32_4_d.4
UNSAT
0.07
ncf_16_32_2_edau.8
UNSAT
0.08
ncf_4_8_4_d.9
SAT
0.08
ncf_16_32_2_edau.9
UNSAT
0.09
ncf_4_8_4_euad.9
SAT
0.09
ncf_4_8_2_d.5
SAT
0.09
ncf_8_16_4_edau.2
UNSAT
0.09
ncf_16_32_4_d.10
UNSAT
0.09
ncf_8_16_4_u.2
UNSAT
0.09
ncf_4_8_4_euad.6
SAT
0.1
ncf_4_8_4_edau.9
SAT
0.1
ncf_16_32_2_d.4
UNSAT
0.1
ncf_4_8_8_u.5
UNSAT
0.1
ncf_16_32_2_d.9
UNSAT
0.1
ncf_4_8_2_edau.5
SAT
0.1
ncf_16_32_2_euad.9
UNSAT
0.12
ncf_16_32_2_u.8
UNSAT
0.13
ncf_4_8_2_u.5
SAT
0.14
ncf_16_32_2_d.1
UNSAT
0.14
ncf_8_32_4_edau.5
UNSAT
0.15
ncf_16_64_2_d.1
SAT
0.16
ncf_8_16_4_edau.6
UNSAT
0.17
ncf_16_32_4_d.7
UNSAT
0.17
ncf_16_32_4_euad.7
UNSAT
0.17
ncf_8_16_4_u.5
UNSAT
0.18
ncf_4_8_2_euad.5
SAT
0.18
ncf_8_16_2_u.5
UNSAT
0.18
ncf_4_16_2_euad.4
SAT
0.19
ncf_4_16_2_d.4
SAT
0.19
ncf_16_32_2_euad.4
UNSAT
0.2
ncf_8_16_2_edau.10
SAT
0.2
ncf_16_32_2_euad.10
UNSAT
0.2
ncf_8_64_2_d.2
UNSAT
0.2
ncf_16_64_2_edau.1
SAT
0.21
ncf_8_64_2_edau.2
UNSAT
0.21
ncf_8_16_2_edau.5
UNSAT
0.21
ncf_4_8_4_u.9
SAT
0.22
ncf_16_32_2_u.9
UNSAT
0.22
ncf_4_32_4_d.6
UNSAT
0.24
ncf_16_32_2_edau.7
UNSAT
0.25
ncf_8_16_4_u.6
UNSAT
0.25
ncf_16_32_4_d.5
UNSAT
0.25
ncf_4_16_2_edau.2
SAT
0.27
ncf_4_32_4_edau.6
UNSAT
0.27
ncf_8_16_8_d.6
UNSAT
0.27
ncf_4_8_8_d.5
UNSAT
0.29
ncf_16_32_2_euad.6
SAT
0.29
ncf_4_16_2_u.2
SAT
0.29
ncf_16_32_2_edau.10
UNSAT
0.3
ncf_16_32_4_edau.4
UNSAT
0.31
ncf_8_16_4_edau.10
SAT
0.31
ncf_4_8_8_euad.5
UNSAT
0.31
ncf_4_16_2_edau.7
SAT
0.35
ncf_16_32_2_u.6
SAT
0.36
ncf_16_32_4_euad.4
UNSAT
0.37
ncf_8_16_4_euad.10
SAT
0.39
ncf_8_64_4_edau.7
UNSAT
0.41
ncf_16_32_2_edau.4
UNSAT
0.41
ncf_16_32_2_d.10
UNSAT
0.42
ncf_8_16_4_d.10
SAT
0.43
ncf_16_32_4_edau.10
UNSAT
0.44
ncf_8_16_2_u.10
SAT
0.45
ncf_16_64_2_edau.2
UNSAT
0.46
ncf_16_32_4_euad.5
UNSAT
0.52
ncf_8_16_8_edau.6
UNSAT
0.61
ncf_16_32_4_u.5
UNSAT
0.67
ncf_16_32_2_d.3
SAT
0.7
ncf_8_32_2_d.8
SAT
0.71
ncf_4_8_8_d.9
UNSAT
0.73
ncf_4_16_2_d.7
SAT
0.77
ncf_4_8_8_euad.9
UNSAT
0.8
ncf_4_16_2_edau.4
SAT
0.89
ncf_16_32_2_edau.3
SAT
0.9
ncf_4_16_2_u.4
SAT
0.96
ncf_4_8_4_d.5
SAT
0.99
ncf_8_32_2_euad.8
SAT
1.16
ncf_4_32_2_u.4
UNSAT
1.22
ncf_4_32_2_euad.4
UNSAT
1.24
ncf_8_16_2_u.2
UNSAT
1.27
ncf_8_16_2_edau.2
UNSAT
1.36
ncf_8_16_2_euad.9
UNSAT
1.47
ncf_16_128_2_edau.1
UNSAT
1.48
ncf_16_128_2_d.2
UNSAT
1.5
ncf_8_16_8_euad.6
UNSAT
1.58
ncf_16_32_4_edau.5
UNSAT
1.76
ncf_4_8_4_edau.5
SAT
1.8
ncf_16_32_4_edau.7
UNSAT
1.95
ncf_8_16_4_u.10
SAT
2.04
ncf_16_32_4_u.7
UNSAT
2.09
ncf_16_32_4_edau.9
SAT
2.16
ncf_16_32_4_d.9
SAT
2.61
ncf_16_32_4_euad.9
SAT
2.76
ncf_8_32_8_d.3
UNSAT
2.93
ncf_16_32_2_u.7
UNSAT
3.23
ncf_4_8_4_d.4
UNSAT
3.29
ncf_8_32_8_d.5
UNSAT
3.71
ncf_16_32_4_edau.1
SAT
3.81
ncf_8_32_2_edau.8
SAT
4.19
ncf_16_32_4_u.1
SAT
4.58
ncf_4_8_4_u.7
UNSAT
4.91
ncf_8_32_2_u.8
SAT
4.92
ncf_16_32_4_euad.1
SAT
5.07
ncf_16_32_4_d.1
SAT
5.25
ncf_4_32_8_edau.9
UNSAT
5.55
ncf_16_32_2_euad.1
UNSAT
5.68
ncf_8_32_2_edau.7
UNSAT
6.89
ncf_4_8_4_euad.5
SAT
7.02
ncf_4_16_2_u.7
SAT
7.48
ncf_8_64_4_edau.10
UNSAT
8.6
ncf_4_16_2_edau.10
UNSAT
10.75
ncf_16_128_2_edau.8
UNSAT
11.21
ncf_8_16_2_d.9
UNSAT
12.31
ncf_16_32_8_d.8
UNSAT
13.24
ncf_4_16_2_edau.9
SAT
13.73
ncf_8_16_2_edau.9
UNSAT
16.34
ncf_4_16_2_d.10
UNSAT
16.35
ncf_4_16_2_u.9
SAT
17.01
ncf_8_16_4_d.4
SAT
20.12
ncf_8_32_2_u.3
UNSAT
22.5
ncf_4_16_4_d.5
SAT
22.85
ncf_16_32_4_euad.10
UNSAT
23.78
ncf_16_128_4_edau.10
UNSAT
23.89
ncf_4_16_4_euad.5
SAT
24.15
ncf_8_32_8_euad.3
UNSAT
25.9
ncf_4_16_4_edau.5
SAT
28.16
ncf_4_8_8_edau.9
UNSAT
28.29
ncf_16_32_2_u.10
UNSAT
29.42
ncf_4_16_4_u.5
SAT
31.9
ncf_8_64_8_edau.10
UNSAT
34.18
ncf_4_8_4_d.2
UNSAT
37.5
ncf_8_16_4_d.3
SAT
44.47
ncf_4_8_4_euad.2
UNSAT
44.85
ncf_8_16_4_edau.4
SAT
46.75
ncf_16_32_2_edau.1
UNSAT
46.92
ncf_4_16_2_d.9
SAT
47.49
ncf_8_32_8_edau.3
UNSAT
47.95
ncf_8_16_2_u.9
UNSAT
48.44
ncf_8_16_4_euad.4
SAT
50.05
ncf_4_8_4_u.5
SAT
50.24
ncf_4_8_4_edau.2
UNSAT
55.9
ncf_4_16_2_euad.9
SAT
57.12
ncf_16_128_4_d.10
UNSAT
58.7
ncf_16_32_2_euad.3
SAT
66.86
ncf_4_16_4_d.6
UNSAT
79.03
ncf_8_16_4_edau.3
FAIL
79.26
ncf_4_16_2_u.1
UNSAT
91.82
ncf_4_8_4_d.1
SAT
133.4
ncf_4_8_4_edau.10
SAT
136.91
ncf_4_16_2_edau.1
UNSAT
156.12
ncf_16_32_4_u.4
UNSAT
179.07
ncf_8_16_4_u.4
SAT
195.22
ncf_4_8_4_d.10
SAT
199.26
ncf_16_32_4_d.3
SAT
205.94
ncf_8_16_4_u.8
UNSAT
233.58
ncf_16_32_4_euad.3
SAT
237.4
ncf_4_8_4_edau.1
SAT
265.69
ncf_8_16_4_d.1
SAT
278.56
ncf_4_8_8_u.9
UNSAT
307
ncf_16_32_4_u.3
SAT
338.52
ncf_16_128_2_d.8
UNSAT
340.6
ncf_4_16_4_d.8
SAT
348.28
ncf_8_16_4_edau.1
SAT
358.75
ncf_4_16_4_euad.8
SAT
367.67
ncf_4_8_4_u.2
UNSAT
397.81
ncf_4_8_4_euad.1
SAT
406.03
ncf_16_32_4_edau.3
SAT
409.67
ncf_4_16_4_edau.8
SAT
413.28
ncf_4_16_2_edau.5
UNSAT
460.21
ncf_4_16_4_u.8
SAT
461.02
ncf_16_32_4_u.9
SAT
493.7
ncf_16_32_4_d.2
SAT
538.92
ncf_16_128_2_d.1
UNSAT
590.65
ncf_8_16_4_euad.1
SAT
600.83
ncf_4_16_4_u.9
SAT
633.09
ncf_4_16_2_u.5
UNSAT
653.08
ncf_16_128_8_d.1
FAIL
802.83
ncf_16_128_8_d.8
FAIL
803.81
ncf_16_128_8_d.10
FAIL
806.17
ncf_16_128_8_d.4
FAIL
806.36
ncf_16_128_8_d.6
FAIL
808.54
ncf_16_128_8_d.9
FAIL
810.45
ncf_16_128_8_d.5
FAIL
811.2
ncf_16_128_8_edau.2
FAIL
812.06
ncf_16_128_8_edau.9
FAIL
813.95
ncf_16_128_8_edau.8
FAIL
814.34
ncf_16_128_8_edau.10
FAIL
815.54
ncf_16_128_8_d.2
FAIL
816.71
ncf_16_128_8_edau.6
FAIL
816.86
ncf_16_128_8_euad.9
FAIL
818.21
ncf_16_128_8_euad.10
FAIL
820.41
ncf_16_128_8_d.7
FAIL
822.07
ncf_16_128_4_d.9
FAIL
822.84
ncf_16_128_4_euad.7
FAIL
823.68
ncf_16_128_4_d.8
FAIL
823.72
ncf_16_128_4_d.1
FAIL
824.45
ncf_16_128_4_d.4
FAIL
824.5
ncf_16_128_8_euad.6
FAIL
824.88
ncf_16_64_8_d.7
FAIL
826.24
ncf_16_128_8_u.6
FAIL
826.7
ncf_16_128_8_u.4
FAIL
827.51
ncf_8_64_8_edau.3
FAIL
827.9
ncf_16_128_8_d.3
FAIL
827.98
ncf_16_128_8_u.9
FAIL
827.99
ncf_16_64_8_d.8
FAIL
828.81
ncf_16_64_8_d.2
FAIL
829.04
ncf_16_128_4_d.7
FAIL
829.21
ncf_16_64_8_d.1
FAIL
829.53
ncf_16_128_4_edau.8
FAIL
830.02
ncf_16_64_8_d.9
FAIL
830.38
ncf_16_64_8_d.6
FAIL
830.76
ncf_16_64_8_d.5
FAIL
830.95
ncf_8_64_8_d.4
FAIL
831.02
ncf_8_64_8_d.10
FAIL
832.39
ncf_16_128_4_edau.4
FAIL
833.16
ncf_16_128_4_edau.7
FAIL
833.35
ncf_16_128_8_euad.3
FAIL
833.76
ncf_16_128_4_u.8
FAIL
833.93
ncf_8_64_8_d.7
FAIL
833.95
ncf_16_128_8_u.10
FAIL
834.04
ncf_16_128_8_u.5
FAIL
834.64
ncf_8_64_8_d.3
FAIL
834.71
ncf_16_128_4_euad.4
FAIL
834.72
ncf_16_64_8_d.10
FAIL
834.77
ncf_8_64_8_d.2
FAIL
834.82
ncf_16_128_4_edau.3
FAIL
834.87
ncf_16_128_4_edau.2
FAIL
834.95
ncf_16_128_8_edau.3
FAIL
835.48
ncf_16_128_8_u.3
FAIL
835.63
ncf_16_64_8_d.4
FAIL
835.83
ncf_16_64_8_d.3
FAIL
835.85
ncf_16_128_4_edau.1
FAIL
836.2
ncf_8_64_8_d.8
FAIL
836.3
ncf_8_64_8_d.1
FAIL
836.41
ncf_8_64_8_d.9
FAIL
836.81
ncf_16_128_4_euad.1
FAIL
837.15
ncf_8_64_8_edau.1
FAIL
837.39
ncf_16_128_8_edau.4
FAIL
837.5
ncf_8_64_8_d.5
FAIL
837.54
ncf_16_128_4_edau.6
FAIL
837.59
ncf_16_128_4_edau.9
FAIL
838.75
ncf_16_128_4_d.2
FAIL
839.03
ncf_16_64_8_euad.8
FAIL
839.78
ncf_16_64_8_edau.5
FAIL
839.81
ncf_16_128_8_u.2
FAIL
839.91
ncf_16_64_8_euad.2
FAIL
840.21
ncf_8_64_8_edau.5
FAIL
840.45
ncf_8_64_8_euad.9
FAIL
840.55
ncf_8_64_8_euad.1
FAIL
840.6
ncf_16_128_8_u.7
FAIL
840.61
ncf_8_64_8_d.6
FAIL
841.3
ncf_16_128_8_u.8
FAIL
841.38
ncf_16_128_8_euad.1
FAIL
841.5
ncf_8_64_8_euad.7
FAIL
842.01
ncf_16_128_2_edau.7
FAIL
842.02
ncf_16_64_8_edau.4
FAIL
842.07
ncf_16_128_4_euad.9
FAIL
842.1
ncf_16_64_8_euad.7
FAIL
842.51
ncf_8_64_8_edau.2
FAIL
842.69
ncf_16_64_8_euad.4
FAIL
842.75
ncf_16_64_8_edau.6
FAIL
842.89
ncf_16_128_4_u.4
FAIL
843.11
ncf_8_64_8_edau.4
FAIL
843.13
ncf_16_64_8_edau.8
FAIL
843.31
ncf_16_64_8_edau.1
FAIL
843.32
ncf_16_64_8_euad.5
FAIL
843.77
ncf_16_128_8_euad.7
FAIL
843.78
ncf_8_64_8_edau.9
FAIL
843.88
ncf_8_64_4_edau.8
FAIL
843.91
ncf_16_64_8_euad.3
FAIL
844.4
ncf_16_64_8_edau.9
FAIL
844.47
ncf_16_128_4_d.6
FAIL
844.63
ncf_8_64_8_euad.10
FAIL
844.81
ncf_16_128_4_euad.10
FAIL
844.97
ncf_8_64_8_euad.4
FAIL
845.04
ncf_16_64_8_edau.3
FAIL
845.19
ncf_8_64_8_edau.8
FAIL
845.22
ncf_16_128_4_u.5
FAIL
845.31
ncf_16_128_4_u.2
FAIL
845.52
ncf_16_64_8_edau.10
FAIL
845.59
ncf_8_64_8_edau.6
FAIL
845.92
ncf_8_64_8_euad.2
FAIL
846
ncf_16_128_8_edau.7
FAIL
846.12
ncf_16_64_8_euad.9
FAIL
846.43
ncf_8_64_8_edau.7
FAIL
846.44
ncf_16_128_8_edau.1
FAIL
847.34
ncf_16_128_4_euad.8
FAIL
847.61
ncf_16_64_8_euad.6
FAIL
847.81
ncf_8_64_8_euad.6
FAIL
847.89
ncf_16_128_4_u.10
FAIL
847.96
ncf_16_64_8_edau.7
FAIL
848.13
ncf_16_128_2_d.9
FAIL
848.19
ncf_8_64_8_euad.5
FAIL
848.25
ncf_16_128_4_d.5
FAIL
848.25
ncf_16_64_8_u.4
FAIL
848.34
ncf_16_64_8_u.5
FAIL
848.36
ncf_16_64_8_euad.10
FAIL
848.64
ncf_16_128_4_u.1
FAIL
848.9
ncf_16_64_8_u.2
FAIL
849.11
ncf_16_64_8_edau.2
FAIL
849.52
ncf_8_64_8_euad.8
FAIL
849.56
ncf_16_64_8_euad.1
FAIL
849.61
ncf_16_128_4_u.7
FAIL
849.82
ncf_16_128_2_edau.2
FAIL
849.83
ncf_8_64_8_euad.3
FAIL
849.97
ncf_8_64_8_u.3
FAIL
850.01
ncf_16_128_8_edau.5
FAIL
850.06
ncf_16_128_2_edau.6
FAIL
850.1
ncf_16_32_8_d.6
FAIL
850.43
ncf_16_128_2_edau.5
FAIL
850.81
ncf_16_128_2_edau.10
FAIL
851.25
ncf_16_64_8_u.1
FAIL
851.33
ncf_8_64_4_d.9
FAIL
851.73
ncf_16_128_2_edau.9
FAIL
851.76
ncf_16_64_8_u.8
FAIL
851.83
ncf_16_128_2_edau.3
FAIL
851.97
ncf_8_64_8_u.6
FAIL
852.42
ncf_16_128_2_d.10
FAIL
852.46
ncf_16_128_2_d.3
FAIL
852.59
ncf_16_64_8_u.10
FAIL
853.11
ncf_16_64_4_d.10
FAIL
853.24
ncf_16_64_8_u.6
FAIL
853.3
ncf_16_64_8_u.3
FAIL
853.41
ncf_8_64_8_u.1
FAIL
853.61
ncf_8_32_8_d.10
FAIL
853.85
ncf_16_32_8_edau.7
FAIL
854
ncf_8_64_8_u.9
FAIL
854.01
ncf_8_64_8_u.8
FAIL
854.04
ncf_8_32_8_d.8
FAIL
854.07
ncf_16_128_8_euad.2
FAIL
854.12
ncf_16_128_2_edau.4
FAIL
854.22
ncf_8_64_8_u.5
FAIL
854.45
ncf_16_64_4_d.8
FAIL
854.51
ncf_8_64_4_d.7
FAIL
854.68
ncf_16_128_8_euad.8
FAIL
855.42
ncf_16_128_2_d.4
FAIL
855.49
ncf_16_64_4_d.5
FAIL
855.49
ncf_8_32_8_d.2
FAIL
856.08
ncf_16_64_4_d.3
FAIL
856.16
ncf_8_32_8_d.4
FAIL
856.47
ncf_16_64_4_d.1
FAIL
856.55
ncf_16_128_4_edau.5
FAIL
856.59
ncf_16_64_4_d.9
FAIL
856.82
ncf_8_32_8_d.9
FAIL
856.89
ncf_8_32_8_euad.5
FAIL
856.99
ncf_8_64_4_d.8
FAIL
857.09
ncf_16_128_2_u.5
FAIL
857.21
ncf_8_64_4_d.10
FAIL
857.22
ncf_16_64_4_d.4
FAIL
857.76
ncf_16_128_4_u.9
FAIL
857.79
ncf_16_128_2_u.9
FAIL
857.81
ncf_16_128_2_u.2
FAIL
857.86
ncf_8_64_8_u.2
FAIL
857.9
ncf_16_64_8_u.9
FAIL
857.94
ncf_16_64_4_edau.10
FAIL
858
ncf_16_32_8_edau.3
FAIL
858.05
ncf_8_32_8_d.7
FAIL
858.2
ncf_16_32_2_u.3
SAT
858.44
ncf_8_32_8_d.6
FAIL
858.66
ncf_16_64_4_edau.7
FAIL
858.81
ncf_16_64_4_d.7
FAIL
858.83
ncf_16_128_2_u.10
FAIL
858.9
ncf_16_64_4_d.6
FAIL
858.92
ncf_16_64_4_edau.4
FAIL
858.98
ncf_16_32_8_euad.9
FAIL
859.09
ncf_16_64_4_d.2
FAIL
859.24
ncf_8_64_4_d.5
FAIL
859.46
ncf_16_128_2_u.1
FAIL
859.48
ncf_16_32_8_d.4
FAIL
859.5
ncf_4_32_8_d.6
FAIL
859.68
ncf_4_32_8_d.3
FAIL
859.83
ncf_4_32_8_d.5
FAIL
859.97
ncf_16_32_8_d.2
FAIL
859.99
ncf_8_64_8_u.7
FAIL
860.02
ncf_8_64_4_d.2
FAIL
860.46
ncf_4_32_8_d.10
FAIL
860.55
ncf_16_32_8_d.5
FAIL
860.55
ncf_16_64_4_edau.9
FAIL
860.72
ncf_16_32_8_euad.8
FAIL
860.83
ncf_16_128_2_d.6
FAIL
860.88
ncf_16_32_8_d.7
FAIL
861.01
ncf_16_32_8_d.3
FAIL
861.03
ncf_16_64_4_edau.3
FAIL
861.06
ncf_16_64_4_edau.6
FAIL
861.11
ncf_16_64_2_d.3
FAIL
861.15
ncf_4_32_8_d.1
FAIL
861.28
ncf_16_128_2_u.4
FAIL
861.42
ncf_16_64_4_edau.8
FAIL
861.51
ncf_8_32_8_edau.1
FAIL
861.6
ncf_8_64_4_d.3
FAIL
861.6
ncf_8_32_8_edau.5
FAIL
861.65
ncf_8_64_4_d.4
FAIL
861.67
ncf_16_32_8_edau.4
FAIL
861.7
ncf_16_128_2_d.5
FAIL
861.74
ncf_16_32_8_d.10
FAIL
861.93
ncf_16_64_8_u.7
FAIL
861.97
ncf_16_64_4_euad.3
FAIL
861.99
ncf_16_32_8_euad.2
FAIL
862.22
ncf_4_32_8_d.4
FAIL
862.47
ncf_8_64_4_euad.1
FAIL
862.58
ncf_16_64_4_euad.8
FAIL
862.79
ncf_8_64_4_euad.10
FAIL
862.82
ncf_8_32_8_euad.10
FAIL
862.84
ncf_16_64_4_euad.6
FAIL
862.88
ncf_16_128_4_euad.6
FAIL
862.98
ncf_8_32_8_edau.9
FAIL
862.99
ncf_8_32_8_edau.2
FAIL
863.01
ncf_8_64_4_d.1
FAIL
863.15
ncf_8_32_8_euad.8
FAIL
863.24
ncf_8_64_4_edau.1
FAIL
863.56
ncf_16_128_4_euad.5
FAIL
863.62
ncf_8_64_4_edau.6
FAIL
863.62
ncf_4_32_8_edau.4
FAIL
863.94
ncf_4_32_8_d.7
FAIL
864.25
ncf_4_32_8_d.2
FAIL
864.28
ncf_16_64_4_euad.5
FAIL
864.3
ncf_16_32_8_euad.6
FAIL
864.35
ncf_8_32_8_euad.9
FAIL
864.35
ncf_16_64_4_euad.2
FAIL
864.41
ncf_8_32_8_euad.2
FAIL
864.42
ncf_16_32_8_euad.5
FAIL
864.47
ncf_16_64_4_euad.1
FAIL
864.48
ncf_16_64_4_euad.4
FAIL
864.54
ncf_16_32_8_euad.10
FAIL
864.57
ncf_16_128_2_euad.2
FAIL
864.62
ncf_4_32_8_edau.6
FAIL
864.62
ncf_8_64_4_edau.4
FAIL
864.63
ncf_8_64_4_u.1
FAIL
864.66
ncf_8_64_4_euad.3
FAIL
864.67
ncf_4_32_8_euad.6
FAIL
864.68
ncf_16_64_4_euad.7
FAIL
864.69
ncf_8_64_4_edau.5
FAIL
864.78
ncf_8_64_4_euad.2
FAIL
864.8
ncf_16_32_8_u.3
FAIL
864.81
ncf_8_64_4_edau.3
FAIL
864.83
ncf_4_32_8_edau.2
FAIL
864.94
ncf_4_32_8_euad.10
FAIL
864.95
ncf_16_32_8_edau.2
FAIL
865.07
ncf_16_32_8_d.1
FAIL
865.19
ncf_8_32_8_edau.7
FAIL
865.38
ncf_8_64_8_u.10
FAIL
865.43
ncf_16_32_8_euad.1
FAIL
865.44
ncf_8_32_8_euad.7
FAIL
865.62
ncf_16_64_2_edau.7
FAIL
865.63
ncf_8_64_4_euad.6
FAIL
865.66
ncf_8_64_4_euad.9
FAIL
865.75
ncf_16_32_8_edau.6
FAIL
865.81
ncf_8_64_4_d.6
FAIL
865.92
ncf_4_32_8_d.9
FAIL
865.94
ncf_16_32_8_euad.3
FAIL
865.97
ncf_16_128_2_euad.4
FAIL
865.97
ncf_8_64_4_u.6
FAIL
866.03
ncf_4_32_8_euad.8
FAIL
866.2
ncf_8_32_8_edau.8
FAIL
866.21
ncf_8_64_4_euad.8
FAIL
866.25
ncf_16_64_4_u.9
FAIL
866.29
ncf_4_32_8_d.8
FAIL
866.36
ncf_16_32_8_edau.8
FAIL
866.46
ncf_16_32_8_edau.10
FAIL
866.72
ncf_16_64_4_u.10
FAIL
866.81
ncf_16_32_8_euad.7
FAIL
866.87
ncf_8_32_4_d.1
FAIL
867.01
ncf_16_128_2_euad.5
FAIL
867.08
ncf_8_32_8_edau.4
FAIL
867.09
ncf_16_64_4_u.6
FAIL
867.12
ncf_4_32_8_edau.10
FAIL
867.14
ncf_4_32_8_euad.1
FAIL
867.14
ncf_4_32_8_edau.3
FAIL
867.15
ncf_16_32_8_u.1
FAIL
867.16
ncf_8_32_8_u.10
FAIL
867.24
ncf_4_32_8_edau.7
FAIL
867.25
ncf_4_8_4_u.1
SAT
867.29
ncf_16_128_8_euad.4
FAIL
867.29
ncf_16_32_8_edau.9
FAIL
867.43
ncf_8_32_8_euad.4
FAIL
867.45
ncf_8_32_8_edau.10
FAIL
867.5
ncf_16_64_4_euad.10
FAIL
867.51
ncf_16_64_2_d.10
FAIL
867.53
ncf_16_32_8_euad.4
FAIL
867.55
ncf_8_64_4_euad.5
FAIL
867.7
ncf_8_64_4_euad.7
FAIL
867.72
ncf_4_32_8_edau.5
FAIL
867.92
ncf_4_32_8_euad.3
FAIL
868.28
ncf_16_64_4_edau.1
FAIL
868.31
ncf_16_64_4_u.5
FAIL
868.31
ncf_8_64_4_euad.4
FAIL
868.33
ncf_16_128_2_u.7
FAIL
868.46
ncf_16_64_4_u.3
FAIL
868.46
ncf_4_32_8_euad.7
FAIL
868.48
ncf_4_32_8_edau.1
FAIL
868.63
ncf_8_64_2_d.10
FAIL
868.65
ncf_4_32_8_euad.4
FAIL
868.68
ncf_4_32_8_euad.9
FAIL
868.8
ncf_8_32_8_d.1
FAIL
868.8
ncf_8_32_8_u.8
FAIL
869.01
ncf_16_128_8_u.1
FAIL
869.03
ncf_8_64_4_u.4
FAIL
869.04
ncf_16_128_4_d.3
FAIL
869.11
ncf_16_32_8_edau.1
FAIL
869.12
ncf_8_64_4_u.8
FAIL
869.15
ncf_4_32_8_edau.8
FAIL
869.16
ncf_8_32_8_u.5
FAIL
869.19
ncf_16_128_2_euad.3
FAIL
869.2
ncf_16_128_8_euad.5
FAIL
869.25
ncf_16_64_2_d.7
FAIL
869.28
ncf_8_64_4_u.2
FAIL
869.4
ncf_16_32_8_u.4
FAIL
869.42
ncf_16_128_2_euad.1
FAIL
869.45
ncf_8_64_4_u.7
FAIL
869.47
ncf_16_64_2_d.2
FAIL
869.52
ncf_8_16_8_d.10
FAIL
869.58
ncf_16_128_2_u.6
FAIL
869.67
ncf_16_64_4_euad.9
FAIL
869.73
ncf_8_32_8_euad.6
FAIL
869.77
ncf_8_64_4_edau.9
FAIL
869.87
ncf_4_32_8_u.6
FAIL
869.95
ncf_8_64_4_u.5
FAIL
870.1
ncf_8_16_8_d.3
FAIL
870.1
ncf_8_64_4_u.3
FAIL
870.18
ncf_4_32_8_euad.5
FAIL
870.22
ncf_8_64_4_edau.2
FAIL
870.3
ncf_16_128_2_euad.10
FAIL
870.32
ncf_16_32_8_u.7
FAIL
870.4
ncf_8_32_8_u.9
FAIL
870.4
ncf_16_128_2_u.8
FAIL
870.5
ncf_4_32_8_u.10
FAIL
870.52
ncf_16_32_8_u.10
FAIL
870.9
ncf_16_64_2_edau.8
FAIL
870.91
ncf_4_32_8_u.2
FAIL
871.24
ncf_8_16_8_d.2
FAIL
871.33
ncf_8_32_8_u.4
FAIL
871.34
ncf_4_16_8_d.10
FAIL
871.48
ncf_4_32_8_u.7
FAIL
871.61
ncf_16_64_4_u.1
FAIL
871.62
ncf_16_128_4_u.6
FAIL
871.74
ncf_16_128_4_u.3
FAIL
871.77
ncf_8_16_8_d.5
FAIL
871.89
ncf_8_32_8_u.1
FAIL
871.9
ncf_16_32_8_d.9
FAIL
871.96
ncf_16_128_2_d.7
FAIL
872.21
ncf_16_128_2_euad.9
FAIL
872.29
ncf_16_32_8_u.6
FAIL
872.31
ncf_4_32_8_u.1
FAIL
872.38
ncf_8_32_8_edau.6
FAIL
872.43
ncf_16_64_2_edau.3
FAIL
872.52
ncf_16_32_4_edau.6
FAIL
872.58
ncf_4_16_8_d.1
FAIL
872.81
ncf_8_16_8_edau.2
FAIL
872.94
ncf_8_16_8_d.9
FAIL
872.96
ncf_8_64_4_u.10
FAIL
872.98
ncf_16_64_4_u.8
FAIL
873.01
ncf_16_32_8_edau.5
FAIL
873.3
ncf_16_128_4_euad.3
FAIL
873.31
ncf_8_32_8_u.6
FAIL
873.36
ncf_8_64_8_u.4
FAIL
873.37
ncf_16_64_4_u.4
FAIL
873.37
ncf_16_64_2_d.9
FAIL
873.51
ncf_8_16_8_d.8
FAIL
873.53
ncf_8_16_8_d.4
FAIL
873.54
ncf_8_16_8_d.7
FAIL
873.71
ncf_8_64_2_edau.3
FAIL
873.96
ncf_4_32_8_u.4
FAIL
873.99
ncf_4_16_8_d.3
FAIL
874.08
ncf_16_64_4_edau.2
FAIL
874.12
ncf_4_16_8_d.4
FAIL
874.36
ncf_8_16_8_edau.10
FAIL
874.4
ncf_8_64_2_edau.7
FAIL
874.46
ncf_8_16_8_edau.9
FAIL
874.46
ncf_4_16_8_d.5
FAIL
874.49
ncf_16_32_8_u.9
FAIL
874.5
ncf_16_128_2_u.3
FAIL
874.53
ncf_4_16_8_d.6
FAIL
874.54
ncf_16_32_4_euad.6
FAIL
874.63
ncf_16_64_2_edau.5
FAIL
874.79
ncf_8_32_8_u.7
FAIL
874.85
ncf_16_64_4_edau.5
FAIL
874.88
ncf_16_64_2_d.8
FAIL
874.89
ncf_4_32_8_u.3
FAIL
874.96
ncf_8_16_8_edau.8
FAIL
875.1
ncf_4_32_8_euad.2
FAIL
875.15
ncf_8_64_2_edau.9
FAIL
875.21
ncf_8_64_2_d.8
FAIL
875.23
ncf_16_64_4_u.7
FAIL
875.35
ncf_4_32_4_d.8
FAIL
875.48
ncf_8_64_4_u.9
FAIL
875.48
ncf_4_32_8_u.5
FAIL
875.5
ncf_8_64_2_euad.4
FAIL
875.57
ncf_16_32_4_edau.2
SAT
875.61
ncf_16_32_8_u.5
FAIL
875.62
ncf_4_16_8_d.9
FAIL
875.76
ncf_16_128_2_euad.7
FAIL
875.9
ncf_16_64_2_u.9
FAIL
875.94
ncf_8_16_8_edau.1
FAIL
875.96
ncf_8_64_2_edau.5
FAIL
875.97
ncf_4_16_8_d.2
FAIL
876.08
ncf_16_64_2_euad.1
FAIL
876.14
ncf_8_32_4_d.8
FAIL
876.14
ncf_8_64_2_euad.7
FAIL
876.15
ncf_16_64_2_d.5
FAIL
876.15
ncf_8_16_8_euad.5
FAIL
876.18
ncf_16_64_2_u.3
FAIL
876.27
ncf_4_32_8_u.8
FAIL
876.31
ncf_8_16_8_euad.1
FAIL
876.35
ncf_8_64_2_d.4
FAIL
876.43
ncf_8_64_2_edau.10
FAIL
876.44
ncf_8_32_4_d.3
FAIL
876.5
ncf_8_64_2_edau.8
FAIL
876.54
ncf_16_64_2_edau.4
FAIL
876.61
ncf_8_16_8_edau.4
FAIL
876.63
ncf_4_32_4_d.3
FAIL
876.69
ncf_8_64_2_u.7
FAIL
876.7
ncf_8_32_4_d.4
FAIL
876.7
ncf_8_32_4_d.2
FAIL
876.76
ncf_8_32_8_u.2
FAIL
876.88
ncf_4_16_8_edau.10
FAIL
876.9
ncf_8_64_2_edau.4
FAIL
876.91
ncf_8_64_2_d.5
FAIL
876.96
ncf_8_32_8_euad.1
FAIL
877.06
ncf_16_64_2_euad.6
FAIL
877.13
ncf_16_64_2_euad.3
FAIL
877.2
ncf_4_16_8_d.8
FAIL
877.22
ncf_16_32_4_d.8
FAIL
877.32
ncf_4_16_8_u.5
FAIL
877.36
ncf_4_16_8_euad.1
FAIL
877.36
ncf_8_16_8_euad.8
FAIL
877.42
ncf_16_64_2_u.4
FAIL
877.44
ncf_8_16_8_euad.3
FAIL
877.48
ncf_8_32_4_edau.1
FAIL
877.48
ncf_4_16_8_edau.7
FAIL
877.49
ncf_8_16_8_edau.5
FAIL
877.49
ncf_4_16_8_edau.2
FAIL
877.56
ncf_16_128_4_euad.2
FAIL
877.57
ncf_8_32_4_d.10
FAIL
877.57
ncf_8_32_4_d.6
FAIL
877.75
ncf_4_16_8_edau.4
FAIL
877.84
ncf_8_64_2_euad.5
FAIL
877.93
ncf_4_16_8_edau.3
FAIL
877.96
ncf_16_32_4_u.2
FAIL
878.19
ncf_4_32_4_d.7
FAIL
878.24
ncf_8_16_8_edau.3
FAIL
878.36
ncf_8_32_4_edau.9
FAIL
878.54
ncf_16_32_8_u.8
FAIL
878.6
ncf_8_16_8_euad.4
FAIL
878.68
ncf_8_64_2_edau.6
FAIL
878.78
ncf_8_16_8_d.1
FAIL
878.81
ncf_8_64_2_u.6
FAIL
878.81
ncf_8_64_2_edau.1
FAIL
878.86
ncf_8_32_4_edau.8
FAIL
879.02
ncf_4_16_8_euad.10
FAIL
879.02
ncf_16_64_2_edau.6
FAIL
879.05
ncf_4_32_4_edau.5
FAIL
879.06
ncf_8_64_2_u.5
FAIL
879.14
ncf_16_32_8_u.2
FAIL
879.17
ncf_4_16_8_edau.5
FAIL
879.2
ncf_8_16_8_euad.2
FAIL
879.21
ncf_4_16_8_euad.6
FAIL
879.25
ncf_8_64_2_u.10
FAIL
879.26
ncf_8_32_4_d.5
FAIL
879.28
ncf_8_32_4_euad.4
FAIL
879.32
ncf_4_32_4_d.5
FAIL
879.32
ncf_8_64_2_u.3
FAIL
879.39
ncf_4_16_8_edau.1
FAIL
879.47
ncf_8_16_8_euad.7
FAIL
879.53
ncf_16_64_2_euad.7
FAIL
879.53
ncf_8_32_4_euad.1
FAIL
879.65
ncf_8_32_4_edau.3
FAIL
879.65
ncf_16_64_2_edau.9
FAIL
879.87
ncf_8_32_4_euad.8
FAIL
879.9
ncf_8_32_4_euad.5
FAIL
879.92
ncf_4_32_4_edau.9
FAIL
879.95
ncf_4_32_4_d.2
FAIL
879.98
ncf_8_16_8_euad.10
FAIL
879.99
ncf_16_32_4_euad.8
FAIL
880
ncf_16_64_2_edau.10
FAIL
880.14
ncf_8_64_2_u.9
FAIL
880.15
ncf_16_64_2_u.6
FAIL
880.15
ncf_4_16_8_edau.9
FAIL
880.15
ncf_8_32_2_edau.10
FAIL
880.17
ncf_4_32_4_u.3
FAIL
880.17
ncf_8_64_2_u.8
FAIL
880.2
ncf_8_16_8_edau.7
FAIL
880.23
ncf_4_16_8_euad.8
FAIL
880.3
ncf_8_16_8_euad.9
FAIL
880.3
ncf_16_32_4_d.6
FAIL
880.45
ncf_8_32_4_euad.3
FAIL
880.45
ncf_16_64_4_u.2
FAIL
880.46
ncf_8_32_4_d.9
FAIL
880.63
ncf_8_32_4_euad.7
FAIL
880.65
ncf_8_32_4_edau.7
FAIL
880.72
ncf_16_32_4_u.8
FAIL
880.74
ncf_8_16_8_u.9
FAIL
880.74
ncf_4_32_4_edau.2
FAIL
880.76
ncf_4_16_8_d.7
FAIL
880.79
ncf_16_64_2_euad.9
FAIL
880.79
ncf_4_16_8_euad.2
FAIL
880.83
ncf_8_32_4_edau.6
FAIL
880.85
ncf_4_32_4_euad.8
FAIL
880.89
ncf_4_32_4_d.9
FAIL
880.93
ncf_8_64_2_euad.2
FAIL
880.94
ncf_4_16_8_euad.4
FAIL
880.97
ncf_4_32_4_edau.4
FAIL
881
ncf_8_64_2_u.1
FAIL
881.1
ncf_8_32_4_edau.4
FAIL
881.12
ncf_8_32_4_u.8
FAIL
881.2
ncf_4_8_8_d.4
FAIL
881.26
ncf_8_32_4_edau.2
FAIL
881.28
ncf_4_32_4_euad.9
FAIL
881.29
ncf_4_16_8_u.7
FAIL
881.36
ncf_4_16_8_edau.8
FAIL
881.36
ncf_16_64_2_d.4
FAIL
881.37
ncf_4_32_4_u.8
FAIL
881.39
ncf_4_32_4_edau.3
FAIL
881.43
ncf_16_64_2_u.1
FAIL
881.47
ncf_8_32_4_euad.2
FAIL
881.49
ncf_8_32_4_u.9
FAIL
881.53
ncf_16_32_4_u.6
FAIL
881.55
ncf_4_16_8_u.6
FAIL
881.56
ncf_4_32_4_euad.6
FAIL
881.6
ncf_4_32_4_d.1
FAIL
881.7
ncf_4_32_4_euad.2
FAIL
881.73
ncf_4_16_8_edau.6
FAIL
881.76
ncf_4_32_4_edau.7
FAIL
881.8
ncf_4_32_4_edau.1
FAIL
881.93
ncf_8_16_8_u.2
FAIL
881.94
ncf_8_64_2_u.4
FAIL
881.98
ncf_4_32_4_euad.7
FAIL
882.09
ncf_4_16_8_u.10
FAIL
882.16
ncf_4_16_8_euad.3
FAIL
882.35
ncf_4_32_4_d.4
FAIL
882.44
ncf_8_16_8_u.1
FAIL
882.47
ncf_4_32_4_d.10
FAIL
882.48
ncf_8_32_4_u.7
FAIL
882.52
ncf_8_32_4_d.7
FAIL
882.53
ncf_8_64_2_euad.8
FAIL
882.54
ncf_4_32_8_u.9
FAIL
882.61
ncf_16_64_2_u.7
FAIL
882.62
ncf_4_32_4_u.6
FAIL
882.64
ncf_4_16_8_euad.5
FAIL
882.65
ncf_4_16_8_u.4
FAIL
882.77
ncf_8_32_8_u.3
FAIL
882.79
ncf_16_32_4_edau.8
FAIL
882.82
ncf_16_64_2_u.5
FAIL
882.83
ncf_4_32_4_euad.4
FAIL
882.83
ncf_4_8_8_d.2
FAIL
882.9
ncf_4_16_8_euad.9
FAIL
882.97
ncf_4_32_4_u.4
FAIL
883.26
ncf_8_64_2_d.7
FAIL
883.28
ncf_4_8_8_d.7
FAIL
883.32
ncf_8_32_4_edau.10
FAIL
883.35
ncf_4_16_8_u.2
FAIL
883.38
ncf_4_16_8_u.8
FAIL
883.4
ncf_4_32_4_edau.10
FAIL
883.42
ncf_4_16_8_u.3
FAIL
883.5
ncf_8_64_2_d.1
FAIL
883.69
ncf_8_16_8_u.8
FAIL
883.7
ncf_8_16_8_u.10
FAIL
883.71
ncf_16_64_2_euad.2
FAIL
883.79
ncf_8_32_4_u.6
FAIL
883.83
ncf_4_8_8_d.3
FAIL
883.86
ncf_4_32_4_euad.10
FAIL
883.86
ncf_8_64_2_d.6
FAIL
883.87
ncf_4_32_4_edau.8
FAIL
883.93
ncf_4_32_4_u.1
FAIL
884.03
ncf_4_16_8_euad.7
FAIL
884.06
ncf_8_64_2_euad.9
FAIL
884.21
ncf_4_32_4_u.5
FAIL
884.21
ncf_8_64_2_d.9
FAIL
884.28
ncf_8_32_4_u.10
FAIL
884.29
ncf_16_64_2_u.2
FAIL
884.55
ncf_8_32_4_u.3
FAIL
884.59
ncf_8_16_8_u.7
FAIL
884.59
ncf_8_16_8_u.3
FAIL
884.62
ncf_4_8_8_d.8
FAIL
884.68
ncf_4_32_2_d.3
FAIL
884.7
ncf_4_32_4_u.10
FAIL
884.72
ncf_8_32_4_euad.9
FAIL
884.72
ncf_4_32_4_u.9
FAIL
884.74
ncf_4_8_8_edau.2
FAIL
884.82
ncf_16_32_4_euad.2
FAIL
884.85
ncf_8_64_2_u.2
FAIL
884.86
ncf_4_32_4_euad.5
FAIL
884.86
ncf_16_64_2_u.8
FAIL
884.95
ncf_16_64_2_euad.5
FAIL
884.99
ncf_4_16_4_d.2
FAIL
885.01
ncf_4_8_8_d.10
FAIL
885.01
ncf_4_16_8_u.1
FAIL
885.03
ncf_16_64_2_u.10
FAIL
885.03
ncf_4_8_8_edau.7
FAIL
885.04
ncf_16_128_2_euad.8
FAIL
885.08
ncf_4_32_4_euad.1
FAIL
885.11
ncf_4_16_8_u.9
FAIL
885.14
ncf_4_8_8_d.6
FAIL
885.14
ncf_16_64_2_euad.4
FAIL
885.25
ncf_8_64_2_euad.6
FAIL
885.26
ncf_8_32_4_euad.6
FAIL
885.32
ncf_8_32_4_u.1
FAIL
885.38
ncf_8_32_2_d.1
FAIL
885.39
ncf_4_8_8_edau.3
FAIL
885.64
ncf_4_32_4_u.2
FAIL
885.78
ncf_4_8_8_euad.4
FAIL
885.85
ncf_8_64_2_euad.3
FAIL
885.85
ncf_4_32_4_euad.3
FAIL
886.03
ncf_8_32_4_u.4
FAIL
886.12
ncf_8_32_2_d.2
FAIL
886.27
ncf_4_8_8_euad.7
FAIL
886.28
ncf_4_8_8_euad.2
FAIL
886.28
ncf_8_32_2_d.6
FAIL
886.35
ncf_8_32_4_u.2
FAIL
886.37
ncf_16_64_2_euad.10
FAIL
886.41
ncf_4_8_8_edau.6
FAIL
886.41
ncf_4_32_2_euad.5
FAIL
886.61
ncf_8_16_4_d.7
FAIL
886.66
ncf_4_8_8_edau.8
FAIL
886.71
ncf_4_8_8_u.2
FAIL
886.73
ncf_4_8_8_euad.3
FAIL
886.74
ncf_4_8_8_d.1
FAIL
886.82
ncf_4_8_8_euad.8
FAIL
886.91
ncf_8_32_2_euad.1
FAIL
886.97
ncf_4_32_4_u.7
FAIL
886.99
ncf_4_16_4_d.10
FAIL
887.05
ncf_4_8_8_euad.6
FAIL
887.17
ncf_4_8_8_edau.10
FAIL
887.3
ncf_8_32_4_euad.10
FAIL
887.32
ncf_8_32_2_d.4
FAIL
887.47
ncf_8_32_2_edau.4
FAIL
887.5
ncf_16_64_2_euad.8
FAIL
887.56
ncf_4_32_2_edau.3
FAIL
887.6
ncf_8_32_4_u.5
FAIL
887.66
ncf_4_32_2_edau.2
FAIL
887.68
ncf_4_8_8_u.10
FAIL
887.74
ncf_4_32_2_d.6
FAIL
887.84
ncf_4_32_2_d.2
FAIL
887.89
ncf_4_32_2_edau.10
FAIL
887.97
ncf_4_32_2_d.10
FAIL
888.09
ncf_8_16_8_u.5
FAIL
888.12
ncf_8_16_8_u.4
FAIL
888.12
ncf_8_32_2_d.10
FAIL
888.24
ncf_8_64_2_d.3
FAIL
888.29
ncf_8_32_2_edau.6
FAIL
888.36
ncf_8_32_2_u.1
FAIL
888.5
ncf_8_32_2_edau.1
FAIL
888.5
ncf_8_64_2_euad.10
FAIL
888.51
ncf_4_16_4_edau.10
FAIL
888.53
ncf_4_8_8_u.3
FAIL
888.54
ncf_4_32_2_edau.6
FAIL
888.55
ncf_4_8_8_euad.10
FAIL
888.65
ncf_4_32_2_edau.8
FAIL
888.66
ncf_8_16_4_edau.7
FAIL
888.66
ncf_4_32_2_d.9
FAIL
888.71
ncf_8_64_2_euad.1
FAIL
888.73
ncf_4_32_2_d.5
FAIL
888.82
ncf_8_16_4_u.3
FAIL
888.84
ncf_8_16_8_u.6
FAIL
888.87
ncf_4_16_4_d.1
FAIL
888.96
ncf_4_16_4_edau.7
FAIL
889.05
ncf_8_32_2_euad.6
FAIL
889.15
ncf_4_32_2_edau.5
FAIL
889.15
ncf_4_16_4_edau.2
FAIL
889.27
ncf_8_16_4_edau.9
FAIL
889.28
ncf_4_32_2_u.5
FAIL
889.35
ncf_4_16_4_euad.7
FAIL
889.39
ncf_16_32_4_u.10
FAIL
889.47
ncf_4_32_2_edau.9
FAIL
889.47
ncf_8_32_2_euad.3
FAIL
889.49
ncf_4_16_4_edau.9
FAIL
889.49
ncf_4_8_8_u.8
FAIL
889.64
ncf_8_16_4_euad.7
FAIL
889.66
ncf_4_32_2_euad.8
FAIL
889.66
ncf_4_16_4_edau.6
FAIL
889.66
ncf_8_16_4_d.9
FAIL
889.66
ncf_4_16_4_d.9
FAIL
889.74
ncf_4_8_8_edau.4
FAIL
889.76
ncf_8_32_2_d.7
FAIL
889.8
ncf_4_32_2_edau.7
FAIL
889.88
ncf_4_16_4_u.3
FAIL
889.9
ncf_4_16_4_d.7
FAIL
889.91
ncf_4_16_4_d.4
FAIL
889.96
ncf_8_32_2_euad.10
FAIL
889.96
ncf_8_32_2_u.6
FAIL
889.99
ncf_4_32_2_d.7
FAIL
890.03
ncf_4_32_2_u.9
FAIL
890.04
ncf_4_16_4_euad.1
FAIL
890.17
ncf_8_32_2_edau.2
FAIL
890.2
ncf_4_16_4_d.3
FAIL
890.22
ncf_4_32_2_u.8
FAIL
890.23
ncf_4_8_8_edau.1
FAIL
890.23
ncf_4_32_2_u.10
FAIL
890.24
ncf_4_32_2_euad.9
FAIL
890.26
ncf_4_16_4_edau.1
FAIL
890.27
ncf_4_32_2_d.8
FAIL
890.34
ncf_4_32_2_u.6
FAIL
890.34
ncf_8_32_2_euad.4
FAIL
890.39
ncf_16_64_2_d.6
FAIL
890.41
ncf_4_16_4_edau.4
FAIL
890.45
ncf_4_32_2_u.2
FAIL
890.48
ncf_16_32_2_u.4
FAIL
890.58
ncf_8_16_2_d.2
FAIL
890.73
ncf_4_16_4_u.2
FAIL
890.74
ncf_8_32_2_d.5
FAIL
890.84
ncf_4_16_4_euad.9
FAIL
890.84
ncf_4_32_2_euad.6
FAIL
890.85
ncf_4_32_2_euad.2
FAIL
890.9
ncf_4_8_8_euad.1
FAIL
890.93
ncf_8_32_2_euad.5
FAIL
890.94
ncf_4_16_4_euad.3
FAIL
890.98
ncf_4_32_2_u.3
FAIL
891.02
ncf_4_16_4_euad.10
FAIL
891.21
ncf_4_16_4_u.10
FAIL
891.22
ncf_4_16_4_euad.2
FAIL
891.23
ncf_8_32_2_euad.7
FAIL
891.23
ncf_8_32_2_u.10
FAIL
891.28
ncf_8_32_2_u.4
FAIL
891.32
ncf_4_16_4_u.7
FAIL
891.38
ncf_4_8_8_u.7
FAIL
891.39
ncf_8_32_2_edau.5
FAIL
891.44
ncf_8_16_4_euad.3
FAIL
891.53
ncf_8_32_2_u.5
FAIL
891.54
ncf_4_32_2_euad.10
FAIL
891.54
ncf_4_8_8_u.4
FAIL
891.6
ncf_4_16_4_u.6
FAIL
891.63
ncf_4_32_2_u.1
FAIL
891.65
ncf_16_32_2_u.1
FAIL
891.67
ncf_8_16_4_u.1
FAIL
891.84
ncf_8_16_4_u.7
FAIL
891.84
ncf_4_16_4_euad.6
FAIL
892.03
ncf_8_32_2_euad.2
FAIL
892.05
ncf_4_16_4_u.1
FAIL
892.1
ncf_4_16_4_u.4
FAIL
892.14
ncf_8_32_2_u.2
FAIL
892.23
ncf_8_32_2_u.7
FAIL
892.24
ncf_16_128_2_euad.6
FAIL
892.32
ncf_4_16_4_euad.4
FAIL
892.44
ncf_4_32_2_euad.1
FAIL
892.5
ncf_4_16_4_edau.3
FAIL
892.56
ncf_4_16_2_edau.3
FAIL
892.57
ncf_8_16_4_u.9
FAIL
892.78
ncf_4_32_2_u.7
FAIL
892.95
ncf_4_8_8_u.6
FAIL
893
ncf_4_16_2_euad.1
FAIL
893.03
ncf_4_8_4_d.8
FAIL
893.11
ncf_4_32_2_euad.7
FAIL
893.17
ncf_4_8_4_edau.8
FAIL
893.32
ncf_4_8_4_edau.4
FAIL
893.35
ncf_4_16_2_euad.3
FAIL
893.46
ncf_4_16_2_d.1
FAIL
893.54
ncf_8_16_2_euad.2
FAIL
893.64
ncf_4_16_2_d.8
FAIL
893.75
ncf_8_16_4_euad.9
FAIL
893.82
ncf_4_8_8_u.1
FAIL
893.93
ncf_4_8_4_euad.4
FAIL
893.93
ncf_4_8_4_u.4
FAIL
893.96
ncf_4_32_2_euad.3
FAIL
894.14
ncf_4_16_2_edau.8
FAIL
894.2
ncf_4_8_4_euad.10
FAIL
894.46
ncf_4_16_2_euad.8
FAIL
894.48
ncf_4_16_2_u.8
FAIL
894.77
ncf_4_8_4_u.8
FAIL
895.05
ncf_4_16_2_d.5
FAIL
895.25
ncf_4_8_4_euad.8
FAIL
895.26
ncf_4_16_2_euad.7
FAIL
895.31
ncf_4_16_2_d.3
FAIL
895.32
ncf_4_8_4_u.10
FAIL
895.4
ncf_4_16_2_euad.10
FAIL
895.48
ncf_4_16_2_u.3
FAIL
896.27
ncf_4_16_2_euad.5
FAIL
896.31
ncf_4_16_2_u.10
FAIL
896.53
Contact
|
Organization
|
Links
|
Citing QBFLIB