Sota solver details
QBFEVAL'10 - Random QBFs Track.

Instance: robots_1_5_5_12.8
Best Solver: aqme-10 Time: 13.25 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - depqbf-pre 272.24
- - - - - - depqbf 272.74
- - - - - - QuBE7 499.04
- - - - - - QuBE7-c 523.88
- - - - - - QuBE7-m 540.86
aqme-10(13.25)
depqbf-pre(272.24)
depqbf(272.74)
QuBE7(499.04)
QuBE7-c(523.88)
QuBE7-m(540.86)