Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: eijk.S1423.S-d4
Best Solver: QuBE7 Time: 0.78 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - QuBE7-c 7.73 qmaiga 8.67
- - - - - - QuBE7-m 9.93
- - - - - - AIGSolve 12.03
QuBE7(0.78)
QuBE7-c(7.73)
qmaiga(8.67)
QuBE7-m(9.93)
AIGSolve(12.03)
aqme-10(652.14)