Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: ev-pr-4x4-5-3-0-0-1-s
Best Solver: aqme-10 Time: 5.75 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QuBE7 16.91 - - qmaiga 241.86
- - - - - - AIGSolve 337.09
aqme-10(5.75)
QuBE7(16.91)
qmaiga(241.86)
AIGSolve(337.09)
struqs-10(832.74)