~/atva/Ocaml/speedtest/giop > runobli.sh 1
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: acceptance cycle (at depth 494)
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
  512916 states, stored
  320793 states, matched
  833709 transitions (= stored+matched)
      20 atomic steps
hash conflicts: 2567 (resolved)

Stats on memory usage (in Megabytes):
342.628 equivalent memory usage for states (stored*(State-vector + overhead))
269.493 actual memory usage for states (compression: 78.65%)
        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.331   memory lost to fragmentation
380.095 total actual memory usage


real    0m6.308s
user    0m5.540s
sys     0m0.760s