Sota solver details
QBFEVAL'10 - Random QBFs Track.

Instance: robots_1_5_3_90.8
Best Solver: aqme-10 Time: 14.17 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - depqbf-pre 257.02
- - - - - - depqbf 674.37
- - - - - - QuBE7-m 845.38
- - - - - - QuBE7-c 846.12
- - - - - - QuBE7 853.72
aqme-10(14.17)
depqbf-pre(257.02)
depqbf(674.37)
QuBE7-m(845.38)
QuBE7-c(846.12)
QuBE7(853.72)