Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: ii8c1-90
Best Solver: aqme-10 Time: 3.95 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - struqs-10 49.58
- - - - - - depqbf-pre 165.81
- - - - - - depqbf 169.92
- - - - - - QuBE7 216.15
- - - - - - QuBE7-m 225.2
- - - - - - QuBE7-c 234.36
aqme-10(3.95)
struqs-10(49.58)
depqbf-pre(165.81)
depqbf(169.92)
QuBE7(216.15)
QuBE7-m(225.2)
QuBE7-c(234.36)