Sota solver details
QBFEVAL'10 - Random QBFs Track.

Instance: robots_1_5_3_91.2
Best Solver: depqbf Time: 0.43 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf-pre 0.46 aqme-10 2.84 - -
- - quantor-3.1 1.7 - - - -
depqbf(0.43)
depqbf-pre(0.46)
quantor-3.1(1.7)
aqme-10(2.84)
QuBE7-m(70.88)
QuBE7-c(71.1)
QuBE7(71.12)
nenofex-qbfeval10(115.3)