Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: cmu.periodic.N-d4
Best Solver: QuBE7-m Time: 0.75 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - aqme-10 4.6 struqs-10 8.35
- - - - - - QuBE7 10.95
- - - - - - qmaiga 11.46
- - - - - - AIGSolve 19.11
QuBE7-c(0.75)
QuBE7-m(0.75)
aqme-10(4.6)
struqs-10(8.35)
QuBE7(10.95)
qmaiga(11.46)
AIGSolve(19.11)