Sota solver details
QBFEVAL'10 - Small Hard Track.

Instance: ii32c1-00
Best Solver: aqme-10 Time: 4.79 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - depqbf 119.07
- - - - - - QuBE7-m 231.37
- - - - - - QuBE7-c 255.7
aqme-10(4.79)
depqbf(119.07)
QuBE7-m(231.37)
QuBE7-c(255.7)
depqbf-pre(3823.52)