SMAC calls TA with negative cutoff time

[Marius Lindauer]

I observed the following TA call -- current dev branch:

python -u ./target_algorithms/sat/scripts/SATCSSCWrapper.py --mem-limit 1024 --script ./target_algorithms/sat/spear-python/spearCSSCWrapper.py instances/sat/data/SPEAR-QCP/qcplin2006.58625.cnf 0 -16184172830.8

In this case, spear will never terminate :-/

I would guess that something in adaptive capping is broken...

[Marius Lindauer]

fixed in 37d0ba6