Sota solver details
QBFEVAL'10 - Random QBFs Track.

Instance: robots_1_5_3_64.8
Best Solver: aqme-10 Time: 23.49 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QuBE7 66.19 - - QuBE7-m 533.67
- - depqbf 82.97 - - QuBE7-c 574.18
- - depqbf-pre 106.59 - - - -
aqme-10(23.49)
QuBE7(66.19)
depqbf(82.97)
depqbf-pre(106.59)
QuBE7-m(533.67)
QuBE7-c(574.18)