Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: ken.flash^14.C-d4
Best Solver: aqme-10 Time: 11.07 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qmaiga 21.2 - - QuBE7 246.96
- - AIGSolve 30.97 - - - -
aqme-10(11.07)
qmaiga(21.2)
AIGSolve(30.97)
QuBE7(246.96)