CIVL v1.11+ of 2017-07-07 -- http://vsl.cis.udel.edu/civl
19s: mem=2450Mb trans=30042 traceSteps=15067 explored=29940 saved=19950 prove=2
34s: mem=2450Mb trans=64043 traceSteps=32056 explored=63773 saved=42662 prove=2
49s: mem=2217Mb trans=98486 traceSteps=49316 explored=98050 saved=65704 prove=2
64s: mem=2046Mb trans=132605 traceSteps=66483 explored=131997 saved=88464 prove=2
79s: mem=1820Mb trans=166758 traceSteps=83584 explored=165980 saved=111273 prove=2
94s: mem=1688Mb trans=200243 traceSteps=100367 explored=199292 saved=133620 prove=2
109s: mem=1514Mb trans=233289 traceSteps=116911 explored=232181 saved=155693 prove=2
