< prev | next >

rockit process (v0.5.227)

ID: 2bc6ddf3-a088-4b2e-92cc-2da25e741714 (complete)

State: complete / restart

date / time / ip

added:2023-03-01 12:37:23 start:2023-03-01 12:37:23 end:2023-03-01 12:37:24 user IP:134.155.132.218

input information

gap: default inference: exact marginal input:prog.mln data:evidence.db

result

file:output.db duration:00:01 min

log