Sota solver details
QBFEVAL'10 - Random QBFs Track.

Instance: robots_1_5_5_38.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.39 aqme-10 3 QuBE7 15.01
- - quantor-3.1 1.23 - - QuBE7-m 15.13
- - - - - - QuBE7-c 15.17
depqbf-pre(0.35)
depqbf(0.39)
quantor-3.1(1.23)
aqme-10(3)
QuBE7(15.01)
QuBE7-m(15.13)
QuBE7-c(15.17)
nenofex-qbfeval10(46.22)
struqs-10(772.76)