< prev | next >

rockit process (v0.5.227)

ID: d2d7fec8-282e-4c80-8c7b-02d17ae52c55 (complete)

State: complete / restart

date / time / ip

added:2021-03-22 16:21:07 start:2021-03-22 16:21:07 end:2021-03-22 16:21:09 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