Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: s298_d9_s
Best Solver: AIGSolve Time: 57.91 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qmaiga 66.98 - - - -
- - QuBE7 147.67 - - - -
- - QuBE7-m 231.19 - - - -
- - QuBE7-c 243.11 - - - -
AIGSolve(57.91)
qmaiga(66.98)
QuBE7(147.67)
QuBE7-m(231.19)
QuBE7-c(243.11)