Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: ev-pr-8x8-7-7-0-1-2-lg
Best Solver: aqme-10 Time: 4.74 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - depqbf 53.6
- - - - - - depqbf-pre 76.25
- - - - - - QuBE7 142.53
- - - - - - QuBE7-c 142.62
- - - - - - QuBE7-m 147.89
aqme-10(4.74)
depqbf(53.6)
depqbf-pre(76.25)
QuBE7(142.53)
QuBE7-c(142.62)
QuBE7-m(147.89)
qmaiga(584.72)