< prev | next >

rockit process (v0.5.227)

ID: daf801df-f6b2-4856-8565-27bf1be54ad2 (complete)

State: complete / restart

date / time / ip

added:2021-03-22 16:19:15 start:2021-03-22 16:19:15 end:2021-03-22 16:19:17 user IP:130.236.70.123

input information

gap: default inference: map input:prog.mln data:evidence.db

result

file:output.db duration:00:02 min

log