Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: ev-pr-8x8-5-7-0-1-2-lg
Best Solver: depqbf Time: 0.66 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf-pre 2.18 aqme-10 4.14 qmaiga 13.59
- - - - - - AIGSolve 59.92
depqbf(0.66)
depqbf-pre(2.18)
aqme-10(4.14)
qmaiga(13.59)
AIGSolve(59.92)
QuBE7-m(126.96)
QuBE7(128.67)
QuBE7-c(133.01)
struqs-10(528.1)