Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: s298_d11_s
Best Solver: AIGSolve Time: 90.53 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qmaiga 129.28 QuBE7-c 542.33 - -
- - - - QuBE7-m 557.5 - -
- - - - QuBE7 717.14 - -
AIGSolve(90.53)
qmaiga(129.28)
QuBE7-c(542.33)
QuBE7-m(557.5)
QuBE7(717.14)