Sota solver details
QBFEVAL'10 - Random QBFs Track.

Instance: robots_1_5_3_24.4
Best Solver: depqbf-pre Time: 8.1 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf 8.75 - - QuBE7 122.76
- - aqme-10 9.18 - - QuBE7-c 122.9
- - - - - - QuBE7-m 123.44
- - - - - - nenofex-qbfeval10 442.54
depqbf-pre(8.1)
depqbf(8.75)
aqme-10(9.18)
QuBE7(122.76)
QuBE7-c(122.9)
QuBE7-m(123.44)
nenofex-qbfeval10(442.54)