Sota solver details
QBFEVAL'10 - Random QBFs Track.

Instance: robots_1_5_3_66.4
Best Solver: depqbf-pre Time: 6.74 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf 8 - - QuBE7-c 122.89
- - aqme-10 8.91 - - QuBE7 123.08
- - - - - - QuBE7-m 124.25
- - - - - - nenofex-qbfeval10 479.76
depqbf-pre(6.74)
depqbf(8)
aqme-10(8.91)
QuBE7-c(122.89)
QuBE7(123.08)
QuBE7-m(124.25)
nenofex-qbfeval10(479.76)