Sota solver details
QBFEVAL'10 - Random QBFs Track.

Instance: robots_1_5_5_34.4
Best Solver: aqme-10 Time: 3.52 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf-pre 7.36 - - QuBE7-m 284.53
- - depqbf 9.01 - - QuBE7 285.93
- - - - - - QuBE7-c 291.87
aqme-10(3.52)
depqbf-pre(7.36)
depqbf(9.01)
QuBE7-m(284.53)
QuBE7(285.93)
QuBE7-c(291.87)
nenofex-qbfeval10(545.34)