fond
Model Checking Contest 2025
15th edition, Paris, France, June 24, 2025
Execution of r087-smll-174860103300159
Last Updated
June 24, 2025

About the Execution of smpt for FamilyReunion-COL-L01200M0120C060P060G030

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15685.620 3600000.00 25299908.00 79561.50 TTFTTFTTFTFFF?TT normal

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2025-input.r087-smll-174860103300159.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2025-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)