Sota solver details
QBFEVAL'10 - Random QBFs Track.

Instance: robots_1_5_2_33.2
Best Solver: depqbf-pre Time: 0.27 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf 0.35 - - aqme-10 3.98
- - quantor-3.1 1.32 - - QuBE7-c 12.06
- - - - - - QuBE7 12.06
- - - - - - QuBE7-m 12.07
depqbf-pre(0.27)
depqbf(0.35)
quantor-3.1(1.32)
aqme-10(3.98)
QuBE7-c(12.06)
QuBE7(12.06)
QuBE7-m(12.07)
nenofex-qbfeval10(112.49)