~/atva/Ocaml/speedtest/giop > run_tmp.sh
warning: for p.o. reduction to be valid the never claim must be stutter-invariant
(never claims generated from LTL formulae are stutter-invariant)
pan: claim violated! (at depth 322)
pan: wrote giop3.pr.trail
(Spin Version 4.2.9 -- 8 February 2007)
Warning: Search not completed
        + Partial Order Reduction

Full statespace search for:
        never claim             +
        assertion violations    + (if within scope of claim)
        acceptance   cycles     + (fairness disabled)
        invalid end states      - (disabled by never claim)

State-vector 656 byte, depth reached 578, errors: 1
  512833 states, stored
  320793 states, matched
  833626 transitions (= stored+matched)
      20 atomic steps
hash conflicts: 2567 (resolved)

Stats on memory usage (in Megabytes):
342.572 equivalent memory usage for states (stored*(State-vector + overhead))
269.392 actual memory usage for states (compression: 78.64%)
        State-vector as stored = 513 byte + 12 byte overhead
67.109  memory used for hash table (-w24)
44.800  memory used for DFS stack (-m1400000)
1.332   memory lost to fragmentation
379.992 total actual memory usage


real    0m4.398s
user    0m3.660s
sys     0m0.730s