Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: gttt_2_1_00011020_4x4_b
Best Solver: xb-qsts Time: 10.46 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - ghostq-plain 21.94 hiqqer1ldsq 59.64 depqbf-v1 148.81
- - xb-bid-qsts 41.67 hiqqer1 65.82 caqe-minisat 159.77
- - - - hiqqer3 68.88 caqe-picosat 216.73
- - - - depqbf-v2 74.01 qesto 528.36
- - - - depqbf-v3 75.2 - -
xb-qsts(10.46)
ghostq-plain(21.94)
xb-bid-qsts(41.67)
hiqqer1ldsq(59.64)
hiqqer1(65.82)
hiqqer3(68.88)
depqbf-v2(74.01)
depqbf-v3(75.2)
depqbf-v1(148.81)
caqe-minisat(159.77)
caqe-picosat(216.73)
qesto(528.36)