Sota solver details
QBFEVAL'10 - Random QBFs Track.

Instance: robots_1_5_2_100.8
Best Solver: aqme-10 Time: 154.3 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QuBE7 205.54 - - - -
- - depqbf-pre 387.36 - - - -
- - depqbf 433.01 - - - -
aqme-10(154.3)
QuBE7(205.54)
depqbf-pre(387.36)
depqbf(433.01)