Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: C5315.blif_0.10_1.00_0_1_inp_exact
Best Solver: depqbf-pre Time: 0.17 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - quantor-3.1 0.26 QuBE7-m 0.88 QuBE7 2.02
- - depqbf 0.49 QuBE7-c 0.88 nenofex-qbfeval10 2.38
- - - - AIGSolve 1.28 aqme-10 3.16
- - - - qmaiga 1.43 - -
depqbf-pre(0.17)
quantor-3.1(0.26)
depqbf(0.49)
QuBE7-m(0.88)
QuBE7-c(0.88)
AIGSolve(1.28)
qmaiga(1.43)
QuBE7(2.02)
nenofex-qbfeval10(2.38)
aqme-10(3.16)
struqs-10(37.07)