Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: jnh1-50
Best Solver: depqbf Time: 0.18 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf-pre 0.2 QuBE7 1.19 aqme-10 2.92
- - - - QuBE7-m 1.29 - -
- - - - QuBE7-c 1.32 - -
depqbf(0.18)
depqbf-pre(0.2)
QuBE7(1.19)
QuBE7-m(1.29)
QuBE7-c(1.32)
aqme-10(2.92)
nenofex-qbfeval10(334.51)