Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: c2_BMC_p1_k2048
Best Solver: rareqs Time: 22.19 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf-v1 37.42 depqbf-v3 111.86 hiqqer1ldsq 388.93
- - qestos 45.01 - - hiqqer1 390.17
- - depqbf-v2 109.03 - - - -
rareqs(22.19)
depqbf-v1(37.42)
qestos(45.01)
depqbf-v2(109.03)
depqbf-v3(111.86)
hiqqer1ldsq(388.93)
hiqqer1(390.17)