Sota solver details
QBFEVAL'10 - Random QBFs Track.

Instance: robots_1_5_5_61.2
Best Solver: depqbf-pre Time: 0.3 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf 0.39 aqme-10 2.98 QuBE7 29.09
- - quantor-3.1 1.14 - - QuBE7-c 29.35
- - - - - - QuBE7-m 29.65
depqbf-pre(0.3)
depqbf(0.39)
quantor-3.1(1.14)
aqme-10(2.98)
QuBE7(29.09)
QuBE7-c(29.35)
QuBE7-m(29.65)
nenofex-qbfeval10(48.01)
struqs-10(757.57)