Sota solver details
QBFEVAL'10 - Random QBFs Track.

Instance: robots_1_5_4_98.4
Best Solver: depqbf-pre Time: 5.04 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf 6.11 - - QuBE7 256.08
- - aqme-10 6.46 - - QuBE7-m 260.34
- - - - - - QuBE7-c 264.89
depqbf-pre(5.04)
depqbf(6.11)
aqme-10(6.46)
QuBE7(256.08)
QuBE7-m(260.34)
QuBE7-c(264.89)
nenofex-qbfeval10(536.29)