Sota solver details
QBFEVAL'10 - Random QBFs Track.

Instance: robots_1_5_4_46.4
Best Solver: aqme-10 Time: 3.53 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf-pre 5.72 - - QuBE7-c 246.48
- - depqbf 6.56 - - QuBE7 247.03
- - - - - - QuBE7-m 248.67
aqme-10(3.53)
depqbf-pre(5.72)
depqbf(6.56)
QuBE7-c(246.48)
QuBE7(247.03)
QuBE7-m(248.67)
nenofex-qbfeval10(473.05)