Winner in stats

[Roland Kaminski]

For some reason clasp always reports the last thread as winner (with the attached example
test.sm.gz). With this example it is typically thread 0 which finds the model.

clasp -t6 test.sm
...
Models       : 1+
Calls        : 1
Time         : 18.680s (Solving: 18.47s 1st Model: 18.46s Unsat: 0.00s)
CPU Time     : 110.905s
Threads      : 6        (Winner: 6)

[Benjamin Kaufmann]

Thanks. This is indeed a regression in clasp-3.3.x. Fixed in dev.