Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: query51_query50_1344
Best Solver: rareqs Time: 0.2 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qestos 0.27 ghostq-cegar 1.41 caqe-picosat 2.17
- - - - caqe-minisat 1.76 xb-qsts 3.49
- - - - - - xb-bid-qsts 3.68
- - - - - - aqua-s3o 4.28
- - - - - - aqua-s2v 6.72
- - - - - - depqbf-v1 7.31
- - - - - - depqbf-v3 8.67
- - - - - - depqbf-v2 9.81
- - - - - - aqua-f3v 11.41
- - - - - - ghostq-plain 11.6
- - - - - - hiqqer1 13.43
- - - - - - hiqqer3 13.74
rareqs(0.2)
qestos(0.27)
ghostq-cegar(1.41)
caqe-minisat(1.76)
caqe-picosat(2.17)
xb-qsts(3.49)
xb-bid-qsts(3.68)
aqua-s3o(4.28)
aqua-s2v(6.72)
depqbf-v1(7.31)
depqbf-v3(8.67)
depqbf-v2(9.81)
aqua-f3v(11.41)
ghostq-plain(11.6)
hiqqer1(13.43)
hiqqer3(13.74)
qesto(32.08)
iprover-QBF-bloqqer(480.39)