Sota solver details
QBFEVAL'10 - Random QBFs Track.

Instance: robots_1_5_2_82.8
Best Solver: depqbf Time: 74.71 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - aqme-10 128.95 - - - -
- - QuBE7 169.61 - - - -
- - QuBE7-c 186.97 - - - -
- - QuBE7-m 187.32 - - - -
- - depqbf-pre 210.4 - - - -
depqbf(74.71)
aqme-10(128.95)
QuBE7(169.61)
QuBE7-c(186.97)
QuBE7-m(187.32)
depqbf-pre(210.4)