Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: gttt_2_1_00102030_4x4_torus_b
Best Solver: hiqqer1 Time: 10.58 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - xb-qsts 10.89 depqbf-v3 59.5 qesto 126.96
- - hiqqer1ldsq 11.57 caqe-minisat 78.36 ghostq-plain 161.88
- - xb-bid-qsts 12.85 - - - -
- - hiqqer3 16.15 - - - -
- - depqbf-v1 37.91 - - - -
- - depqbf-v2 45.71 - - - -
- - caqe-picosat 46.03 - - - -
hiqqer1(10.58)
xb-qsts(10.89)
hiqqer1ldsq(11.57)
xb-bid-qsts(12.85)
hiqqer3(16.15)
depqbf-v1(37.91)
depqbf-v2(45.71)
caqe-picosat(46.03)
depqbf-v3(59.5)
caqe-minisat(78.36)
qesto(126.96)
ghostq-plain(161.88)