Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: vonNeumann-ripple-carry-13-c
Best Solver: qmaiga Time: 1.7 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - struqs-10 2.32 nenofex-qbfeval10 9.64 depqbf-pre 17.74
- - quantor-3.1 4.46 - - AIGSolve 21.24
- - depqbf 4.5 - - QuBE7-c 46.71
- - - - - - QuBE7-m 46.94
- - - - - - QuBE7 47.22
- - - - - - aqme-10 53.98
qmaiga(1.7)
struqs-10(2.32)
quantor-3.1(4.46)
depqbf(4.5)
nenofex-qbfeval10(9.64)
depqbf-pre(17.74)
AIGSolve(21.24)
QuBE7-c(46.71)
QuBE7-m(46.94)
QuBE7(47.22)
aqme-10(53.98)