Sota solver details
QBFEVAL'10 - Random QBFs Track.

Instance: robots_1_5_3_8.8
Best Solver: aqme-10 Time: 6.94 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf-pre 27.35 depqbf 44.44 QuBE7 253.42
- - - - - - QuBE7-m 259.09
- - - - - - QuBE7-c 261.53
aqme-10(6.94)
depqbf-pre(27.35)
depqbf(44.44)
QuBE7(253.42)
QuBE7-m(259.09)
QuBE7-c(261.53)