Sota solver details
QBFEVAL'10 - Random QBFs Track.

Instance: robots_1_5_4_51.4
Best Solver: aqme-10 Time: 7.33 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf-pre 8.21 - - QuBE7 205.24
- - depqbf 9.41 - - QuBE7-c 205.86
- - - - - - QuBE7-m 206.64
- - - - - - nenofex-qbfeval10 564.94
aqme-10(7.33)
depqbf-pre(8.21)
depqbf(9.41)
QuBE7(205.24)
QuBE7-c(205.86)
QuBE7-m(206.64)
nenofex-qbfeval10(564.94)