Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: s386_d12_u
Best Solver: AIGSolve Time: 715.71 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QuBE7-c 819.84 - - - -
- - QuBE7 857.66 - - - -
- - QuBE7-m 882.9 - - - -
- - qmaiga 1090.25 - - - -
AIGSolve(715.71)
QuBE7-c(819.84)
QuBE7(857.66)
QuBE7-m(882.9)
qmaiga(1090.25)