Runs with O2 are compiled with -O2.
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 |
DEOS | hc4_O2_n1.out | 179109 | 22452390 | 32433562 | 657.303 | 576 | 62.9 | 357067 |
DEOS | hc4_O2_n2.out | 189 | 22491820 | 32492963 | 1123.962 | 576 | 44.4 | 506230 |
DEOS | hc4_O2_n3.out | 189 | 22492264 | 32493653 | 1187.979 | 576 | 44.3 | 508070 |
DEOS | hc4_O2_n4.out | 189 | 22491549 | 32492818 | 1251.952 | 576 | 39.9 | 563133 |
DEOS | hc4_O2_n5.out | 189 | 22493024 | 32494669 | 1316.008 | 576 | 40.3 | 558140 |
DEOS | hc4_O2_n6.out | 189 | 22491468 | 32492413 | 1379.949 | 576 | 38.6 | 583285 |
DEOS | hc4_O2_n7.out | 189 | 22491675 | 32492955 | 1443.956 | 576 | 40.6 | 553846 |
DEOS | hc4_O2_n8.out | 189 | 22491880 | 32493426 | 1507.964 | 576 | 36.5 | 616892 |
Without -O2 optimization (hashcompact hc4): | ||||||||
DEOS | hc4_n1.out | 179109 | 22452390 | 32433562 | 657.303 | 576 | 135 | 166808 |
DEOS | hc4_n2.out | 189 | 22492134 | 32493353 | 1123.974 | 576 | 83.3 | 269949 |
DEOS | hc4_n3.out | 189 | 22492140 | 32493572 | 1187.974 | 576 | 66.8 | 336860 |
DEOS | hc4_n4.out | 189 | 22491686 | 32492974 | 1251.957 | 576 | 54.9 | 409909 |
DEOS | hc4_n5.out | 189 | 22491933 | 32493439 | 1315.966 | 576 | 48.4 | 464709 |
DEOS | hc4_n6.out | 189 | 22491725 | 32493117 | 1379.958 | 576 | 46.1 | 487678 |
DEOS | hc4_n7.out | 189 | 22491957 | 32493159 | 1443.967 | 576 | 42.9 | 524900 |
DEOS | hc4_n8.out | 189 | 22491853 | 32493186 | 1507.963 | 576 | 40.3 | 558665 |
Non-Progress (hashcompact hc4): | ||||||||
DEOS | hc4_liveness_dual | 631364 | 220946500 | 1146148300 | 17930.841 | 584 | 3.75e+03 | 87829 |
DEOS | hc4_liveness_single | 215215 | 67021116 | 150085950 | 2708.774 | 584 | 361 | 185669 |