Sota solver details
QBFEVAL'10 - Random QBFs Track.

Instance: robots_1_5_2_75.8
Best Solver: depqbf Time: 2.95 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - aqme-10 4.18 - - QuBE7 53.26
- - depqbf-pre 4.78 - - - -
depqbf(2.95)
aqme-10(4.18)
depqbf-pre(4.78)
QuBE7(53.26)
QuBE7-m(706.92)
QuBE7-c(776.8)