Sota solver details
QBFEVAL'10 - Random QBFs Track.

Instance: robots_1_5_5_12.4
Best Solver: aqme-10 Time: 3.4 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf-pre 9.15 - - QuBE7 93.69
- - depqbf 12.3 - - QuBE7-m 94.02
- - - - - - QuBE7-c 94.53
aqme-10(3.4)
depqbf-pre(9.15)
depqbf(12.3)
QuBE7(93.69)
QuBE7-m(94.02)
QuBE7-c(94.53)
nenofex-qbfeval10(454.62)