Sota solver details
QBFEVAL'10 - 2QBF Track.

Instance: stmt16_818_819
Best Solver: aqme-10 Time: 20.94 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QuBE7-c 36.86 - - nenofex-qbfeval10 774.72
- - QuBE7 46.76 - - - -
- - QuBE7-m 57.73 - - - -
aqme-10(20.94)
QuBE7-c(36.86)
QuBE7(46.76)
QuBE7-m(57.73)
nenofex-qbfeval10(774.72)