< prev | next >

rockit process (v0.5.227)

ID: a02fe06b-512b-48d4-a17f-7fe7dff3e72a (canceled)

State: canceled / restart

date / time / ip

added:2021-03-22 15:21:18 start:2021-03-22 15:21:18 user IP:130.236.70.123

input information

gap: default inference: map input:prog.mln data:t.txt

log