Show if counterexample is found (no trace yet)
Show if counterexample is found (no trace yet)

vbloemen/ltsmin,vbloemen/ltsmin,vbloemen/ltsmin,vbloemen/ltsmin,vbloemen/ltsmin,vbloemen/ltsmin,vbloemen/ltsmin