Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: c1_BMC_p2_k512
Best Solver: AIGSolve Time: 3.85 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - hiqqer3 6.02 - - depqbf-v2 59.61
- - hiqqer1ldsq 6.03 - - depqbf-v3 60.56
- - hiqqer1 6.06 - - aqua-s3o 104.15
- - qestos 7.49 - - aqua-s2v 104.17
- - depqbf-v1 7.72 - - aqua-f3v 104.2
- - qesto 7.8 - - ghostq-plain 370.32
- - rareqs 7.8 - - - -
- - qsts 11.28 - - - -
AIGSolve(3.85)
hiqqer3(6.02)
hiqqer1ldsq(6.03)
hiqqer1(6.06)
qestos(7.49)
depqbf-v1(7.72)
qesto(7.8)
rareqs(7.8)
qsts(11.28)
depqbf-v2(59.61)
depqbf-v3(60.56)
aqua-s3o(104.15)
aqua-s2v(104.17)
aqua-f3v(104.2)
ghostq-plain(370.32)