Sota solver details
QBFEVAL'10 - Random QBFs Track.

Instance: robots_1_5_5_56.2
Best Solver: depqbf-pre Time: 0.35 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf 0.4 - - aqme-10 3.57
- - quantor-3.1 1.22 - - QuBE7-c 14.99
- - - - - - QuBE7 15.12
- - - - - - QuBE7-m 15.31
depqbf-pre(0.35)
depqbf(0.4)
quantor-3.1(1.22)
aqme-10(3.57)
QuBE7-c(14.99)
QuBE7(15.12)
QuBE7-m(15.31)
nenofex-qbfeval10(49.38)
struqs-10(760.43)