Sota solver details
QBFEVAL'10 - Random QBFs Track.

Instance: robots_1_5_3_44.8
Best Solver: aqme-10 Time: 6.62 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - depqbf-pre 34.41 QuBE7-m 67.05
- - - - depqbf 43.22 - -
- - - - QuBE7 57.6 - -
- - - - QuBE7-c 62.62 - -
aqme-10(6.62)
depqbf-pre(34.41)
depqbf(43.22)
QuBE7(57.6)
QuBE7-c(62.62)
QuBE7-m(67.05)