Last active
December 21, 2015 05:59
-
-
Save draftcode/6260813 to your computer and use it in GitHub Desktop.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| (Spin Version 6.2.5 -- 3 May 2013) | |
| + Partial Order Reduction | |
| Full statespace search for: | |
| never claim - (none specified) | |
| assertion violations + | |
| acceptance cycles - (not selected) | |
| invalid end states + | |
| State-vector 244 byte, depth reached 169, errors: 0 | |
| 22978791 states, stored | |
| 16678406 states, matched | |
| 39657197 transitions (= stored+matched) | |
| 0 atomic steps | |
| hash conflicts: 7975445 (resolved) | |
| Stats on memory usage (in Megabytes): | |
| 5960.685 equivalent memory usage for states (stored*(State-vector + overhead)) | |
| 3328.087 actual memory usage for states (compression: 55.83%) | |
| state-vector as stored = 124 byte + 28 byte overhead | |
| 128.000 memory used for hash table (-w24) | |
| 0.534 memory used for DFS stack (-m10000) | |
| 2.209 memory lost to fragmentation | |
| 3454.413 total actual memory usage | |
| unreached in proctype Arbiter | |
| (0 of 55 states) | |
| unreached in proctype Worker | |
| (0 of 20 states) | |
| pan: elapsed time 21.8 seconds | |
| pan: rate 1055525.5 states/second |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| (Spin Version 6.2.5 -- 3 May 2013) | |
| + Partial Order Reduction | |
| Full statespace search for: | |
| never claim - (none specified) | |
| assertion violations + | |
| acceptance cycles - (not selected) | |
| invalid end states + | |
| State-vector 244 byte, depth reached 161, errors: 0 | |
| 4124293 states, stored | |
| 4039360 states, matched | |
| 8163653 transitions (= stored+matched) | |
| 0 atomic steps | |
| hash conflicts: 225530 (resolved) | |
| Stats on memory usage (in Megabytes): | |
| 1069.839 equivalent memory usage for states (stored*(State-vector + overhead)) | |
| 599.226 actual memory usage for states (compression: 56.01%) | |
| state-vector as stored = 124 byte + 28 byte overhead | |
| 128.000 memory used for hash table (-w24) | |
| 0.534 memory used for DFS stack (-m10000) | |
| 727.069 total actual memory usage | |
| unreached in proctype Arbiter | |
| /home/draftcode/src/SpinModels/two_phase_commit.pml:20, state 23, "all_ready = 0" | |
| (1 of 55 states) | |
| unreached in proctype Worker | |
| (0 of 16 states) | |
| pan: elapsed time 3.7 seconds | |
| pan: rate 1114673.8 states/second |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment