Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: c1_BMC_p2_k1024
Best Solver: AIGSolve Time: 7.5 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - hiqqer1ldsq 11.37 depqbf-v3 69.56 - -
- - hiqqer1 11.44 depqbf-v2 69.62 - -
- - hiqqer3 11.47 - - - -
- - qesto 13.16 - - - -
- - rareqs 13.19 - - - -
- - qestos 13.28 - - - -
- - depqbf-v1 15.32 - - - -
- - qsts 21.47 - - - -
AIGSolve(7.5)
hiqqer1ldsq(11.37)
hiqqer1(11.44)
hiqqer3(11.47)
qesto(13.16)
rareqs(13.19)
qestos(13.28)
depqbf-v1(15.32)
qsts(21.47)
depqbf-v3(69.56)
depqbf-v2(69.62)