Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: robots_1_5_2_65.4
Best Solver: qsts Time: 0.72 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - rareqs 2.37 caqe-minisat 6.18 depqbf-v1 9.41
- - hiqqer1ldsq 2.6 caqe-picosat 6.49 depqbf-v3 10.81
- - hiqqer1 2.64 - - depqbf-v2 11.31
- - qesto 2.82 - - xb-qsts 12.4
- - hiqqer3 3.02 - - xb-bid-qsts 12.74
- - qestos 3.59 - - - -
qsts(0.72)
rareqs(2.37)
hiqqer1ldsq(2.6)
hiqqer1(2.64)
qesto(2.82)
hiqqer3(3.02)
qestos(3.59)
caqe-minisat(6.18)
caqe-picosat(6.49)
depqbf-v1(9.41)
depqbf-v3(10.81)
depqbf-v2(11.31)
xb-qsts(12.4)
xb-bid-qsts(12.74)
aqua-s2v(88.29)
aqua-s3o(88.31)
aqua-f3v(88.98)