Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: s510_d4_s
Best Solver: AIGSolve Time: 18.03 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qmaiga 22.23 QuBE7-c 154.19 struqs-10 282.58
- - - - QuBE7-m 155.08 - -
- - - - QuBE7 172.54 - -
AIGSolve(18.03)
qmaiga(22.23)
QuBE7-c(154.19)
QuBE7-m(155.08)
QuBE7(172.54)
struqs-10(282.58)