SymCC MPI Parallel Concolic Execution
  Processes:     8
  Mode:          multi-master (2 masters, auto-scaled at 3 workers/master)
    Master 0: 3 workers
    Master 1: 3 workers
  Shared dir:    /tmp/symcc-f322-snapshot-partial-commit.ingfG8/out
  Input dir:     /tmp/symcc-f322-snapshot-partial-commit.ingfG8/in
  Target:        /bin/true
  Timeout:       1s per execution
  Work epoch:    4444444444444444444444444444444444444444444444444444444444444444 (configured recovery)
  Wall timeout:  30s total

[Master] Imported 0 initial inputs from /tmp/symcc-f322-snapshot-partial-commit.ingfG8/in
[Master] Using 2 master(s), 3 workers in this group
[Master] Durable work ownership: rendezvous + 64 fenced shards, lease=120s
[Master] Global quiescence commit proposed after 1.055s (limit 1s).
[Master 1] Worker shutdown: acked=3/3 pending=[] drained_results=0 result_errors=[] quarantined={} communication_errors=[] elapsed=0.010s
[Master] Global quiescence committed by all masters.
[Master 0] Worker shutdown: acked=3/3 pending=[] drained_results=0 result_errors=[] quarantined={} communication_errors=[] elapsed=0.010s
[Master 0] Work-control diagnostics: stale_results=0 recovered=0 replayed_commits=1 lost_leases=0 quarantined_control=0

[Master] === Final Statistics ===
[Master] Total analysis observations:       3
[Master] Total test cases generated:  2
[Master] New interesting test cases:  3
[Master] Throughput:                  1.6 tc/s
[Master] Masters used:               2
[Master] Workers used:               6
[Master] Analysis by master:         0=2, 1=1