Sota solver details
QBFEVAL'10 - Random QBFs Track.

Instance: robots_1_5_3_20.4
Best Solver: aqme-10 Time: 3.56 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf-pre 6.9 - - QuBE7-m 125.91
- - depqbf 8.62 - - QuBE7 125.99
- - - - - - QuBE7-c 126.56
aqme-10(3.56)
depqbf-pre(6.9)
depqbf(8.62)
QuBE7-m(125.91)
QuBE7(125.99)
QuBE7-c(126.56)
nenofex-qbfeval10(463.91)