Sota solver details
QBFEVAL'10 - Random QBFs Track.

Instance: robots_1_5_4_2.4
Best Solver: depqbf-pre Time: 6.71 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - aqme-10 6.94 - - QuBE7 169.82
- - depqbf 7.48 - - QuBE7-c 170.86
- - - - - - QuBE7-m 174.75
- - - - - - nenofex-qbfeval10 556.08
depqbf-pre(6.71)
aqme-10(6.94)
depqbf(7.48)
QuBE7(169.82)
QuBE7-c(170.86)
QuBE7-m(174.75)
nenofex-qbfeval10(556.08)