Simulation Results

Individual System Results, CPU limit 300s

System
Solved
Time
Bliksem 1.01
1634
11.1
Gandalf c-1.0d
1551
15.6
OtterMACE 437
1892
12.4
SETHEO C-14
1220
18.0
SPASS 0.85
2054
16.6
Best system
2145
13.4

SSCPA Results, CPU limit 300s, minimal limits 60-15s

SSCPA
60 seconds
(3 systems)
30 seconds
(4 systems)
15 seconds
(5 systems)
Solved
Time
Solved
Time
Solved
Time
Naive
2266
19.4
2301
17.6
2297
17.2
Naive selective
2284
18.1
2304
16.8
2297
17.2
Eager
2309
20.6
2328
18.9
2324
18.9
Fair
2309
29.5
2328
17.8
2324
17.8
Reluctant
2309
24.1
2328
22.6
2324
19.2