Sota solver details
QBFEVAL'10 - Random QBFs Track.

Instance: robots_1_5_2_82.4
Best Solver: depqbf-pre Time: 8.14 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf 9.25 - - QuBE7 446
- - aqme-10 9.9 - - QuBE7-c 453.28
- - - - - - QuBE7-m 453.5
- - - - - - nenofex-qbfeval10 659.84
depqbf-pre(8.14)
depqbf(9.25)
aqme-10(9.9)
QuBE7(446)
QuBE7-c(453.28)
QuBE7-m(453.5)
nenofex-qbfeval10(659.84)