Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: par16-1-50
Best Solver: hiqqer1ldsq Time: 11.78 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf-v2 11.91 xb-qsts 60.96 caqe-picosat 117.97
- - rareqs 13.03 xb-bid-qsts 61.07 qestos 231.79
- - depqbf-v3 13.59 AIGSolve 77.06 - -
- - ghostq-plain 16.02 aqua-s3o 106.19 - -
- - ghostq-cegar 17.03 aqua-s2v 107.42 - -
- - qesto 18.92 aqua-f3v 111.4 - -
- - hiqqer3 22.68 - - - -
- - qsts 27.13 - - - -
- - depqbf-v1 45.81 - - - -
hiqqer1(11.78)
hiqqer1ldsq(11.78)
depqbf-v2(11.91)
rareqs(13.03)
depqbf-v3(13.59)
ghostq-plain(16.02)
ghostq-cegar(17.03)
qesto(18.92)
hiqqer3(22.68)
qsts(27.13)
depqbf-v1(45.81)
xb-qsts(60.96)
xb-bid-qsts(61.07)
AIGSolve(77.06)
aqua-s3o(106.19)
aqua-s2v(107.42)
aqua-f3v(111.4)
caqe-picosat(117.97)
qestos(231.79)