The number following the "_n" indicates the number of CPU cores used.
(1 being a single-core run and 8 a run using all 8-cores on the test system).
Safety (hashcompact hc4): | ||||||||
Model | Full Results | Max Depth | Nr States | Nr Transitions | Memory | StateVector | Time | Rate |
Gurdag | hc4_n1.out | 597084 | 601780380 | 1409072300 | 14842.482 | 964 | 2.14e+03 | 280833 |
Gurdag | hc4_n2.out | 5007 | 590134050 | 1371810300 | 19162.701 | 964 | 1.37e+03 | 431032 |
Gurdag | hc4_n3.out | 5007 | 590146520 | 1371821700 | 19227.277 | 964 | 992 | 595002 |
Gurdag | hc4_n4.out | 5007 | 590154450 | 1371824600 | 19291.714 | 964 | 819 | 720447 |
Gurdag | hc4_n5.out | 5007 | 590148740 | 1371876400 | 19355.735 | 964 | 764 | 772780 |
Gurdag | hc4_n6.out | 5007 | 590161580 | 1371915500 | 19420.322 | 964 | 708 | 833514 |
Gurdag | hc4_n7.out | 5007 | 590071330 | 1371385200 | 19481.764 | 964 | 616 | 958546 |
Gurdag | hc4_n8.out | 5007 | 590075440 | 1371400800 | 19546.084 | 964 | 654 | 902201 |
Non-Progress (bitstate -w30): | ||||||||
Gurdag | B30_np_n1.out | 1101754 | 170019240 | 348270800 | 5957.932 | 972 | 1.91e+03 | 88923 |
Gurdag | B30_np_n2.out | 23133841 | 533181520 | 2897198600 | 16269.331 | 972 | 1.32e+04 | 40402 |
Never Claim (bitstate -w30): | ||||||||
Gurdag | B30_liveness_n1.out | 1101754 | 156459110 | 342145680 | 5957.932 | 972 | 1.67e+03 | 93665 |
Gurdag | B30_liveness_n2.out | 23139169 | 517104380 | 2787411000 | 15812.397 | 972 | 1.02e+04 | 50631 |