Sota solver details
QBFEVAL'10 - Random QBFs Track.

Instance: robots_1_5_3_70.8
Best Solver: aqme-10 Time: 7.37 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - depqbf-pre 47.26 QuBE7 266.6
- - - - depqbf 56.9 QuBE7-c 281.91
- - - - - - QuBE7-m 282.57
aqme-10(7.37)
depqbf-pre(47.26)
depqbf(56.9)
QuBE7(266.6)
QuBE7-c(281.91)
QuBE7-m(282.57)