Sota solver details
QBFEVAL'10 - Random QBFs Track.

Instance: Qq2k3k3v50v50m200s4
Best Solver: aqme-10 Time: 1.83 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QuBE7 2.32 - - depqbf 25.61
- - QuBE7-m 2.44 - - depqbf-pre 29.63
- - QuBE7-c 2.9 - - struqs-10 108.67
- - - - - - quantor-3.1 163.72
aqme-10(1.83)
QuBE7(2.32)
QuBE7-m(2.44)
QuBE7-c(2.9)
depqbf(25.61)
depqbf-pre(29.63)
struqs-10(108.67)
quantor-3.1(163.72)