Sota solver details
QBFEVAL'10 - Random QBFs Track.

Instance: robots_1_5_5_14.8
Best Solver: aqme-10 Time: 145.94 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf-pre 238.54 - - - -
- - QuBE7 339.64 - - - -
- - QuBE7-m 395.12 - - - -
- - QuBE7-c 421.59 - - - -
- - depqbf 489.59 - - - -
aqme-10(145.94)
depqbf-pre(238.54)
QuBE7(339.64)
QuBE7-m(395.12)
QuBE7-c(421.59)
depqbf(489.59)