Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r451-smll-167912643700584.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is StigmergyElection-PT-03b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r451-smll-167912643700584
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 560K
-rw-r--r-- 1 mcc users 5.9K Feb 26 16:27 CTLCardinality.txt
-rw-r--r-- 1 mcc users 62K Feb 26 16:27 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 26 16:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 61K Feb 26 16:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 17:14 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 17:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 17:14 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 16:28 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 112K Feb 26 16:28 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.3K Feb 26 16:28 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 82K Feb 26 16:28 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 17:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 117K Mar 5 18:23 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679318098021

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=StigmergyElection-PT-03b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running StigmergyElection (PT), instance 03b
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 427 places, 518 transitions, 1323 arcs.
AT ITER 0 NEW BEST:: SOT 128454 SOS 23396 HAS SOPS 23396 HAS SOUS 22178 HAS SOUPS 22178 WITH SCORE 22201.396
AT ITER 16 NEW BEST:: SOT 128442 SOS 23384 HAS SOPS 23384 HAS SOUS 22166 HAS SOUPS 22166 WITH SCORE 22189.384
AT ITER 72 NEW BEST:: SOT 128393 SOS 24125 HAS SOPS 24125 HAS SOUS 22132 HAS SOUPS 22132 WITH SCORE 22156.125
AT ITER 95 NEW BEST:: SOT 127859 SOS 27975 HAS SOPS 27975 HAS SOUS 22095 HAS SOUPS 22095 WITH SCORE 22122.975
AT ITER 112 NEW BEST:: SOT 127816 SOS 27889 HAS SOPS 27889 HAS SOUS 22095 HAS SOUPS 22095 WITH SCORE 22122.889
AT ITER 117 NEW BEST:: SOT 127815 SOS 26887 HAS SOPS 26887 HAS SOUS 22093 HAS SOUPS 22093 WITH SCORE 22119.887
AT ITER 134 NEW BEST:: SOT 127835 SOS 26927 HAS SOPS 26927 HAS SOUS 22078 HAS SOUPS 22078 WITH SCORE 22104.927
AT ITER 158 NEW BEST:: SOT 127834 SOS 26925 HAS SOPS 26925 HAS SOUS 22076 HAS SOUPS 22076 WITH SCORE 22102.925
AT ITER 166 NEW BEST:: SOT 127833 SOS 26923 HAS SOPS 26923 HAS SOUS 22074 HAS SOUPS 22074 WITH SCORE 22100.923
AT ITER 172 NEW BEST:: SOT 127769 SOS 26795 HAS SOPS 26795 HAS SOUS 21946 HAS SOUPS 21946 WITH SCORE 21972.795
AT ITER 190 NEW BEST:: SOT 127192 SOS 26489 HAS SOPS 26489 HAS SOUS 21384 HAS SOUPS 21384 WITH SCORE 21410.489
AT ITER 194 NEW BEST:: SOT 127150 SOS 26405 HAS SOPS 26405 HAS SOUS 21300 HAS SOUPS 21300 WITH SCORE 21326.405
AT ITER 253 NEW BEST:: SOT 127116 SOS 26337 HAS SOPS 26337 HAS SOUS 21232 HAS SOUPS 21232 WITH SCORE 21258.337
AT ITER 255 NEW BEST:: SOT 127115 SOS 26335 HAS SOPS 26335 HAS SOUS 21230 HAS SOUPS 21230 WITH SCORE 21256.335
AT ITER 257 NEW BEST:: SOT 127042 SOS 26189 HAS SOPS 26189 HAS SOUS 21084 HAS SOUPS 21084 WITH SCORE 21110.189
AT ITER 266 NEW BEST:: SOT 127042 SOS 26178 HAS SOPS 26178 HAS SOUS 21084 HAS SOUPS 21084 WITH SCORE 21110.178
AT ITER 276 NEW BEST:: SOT 127021 SOS 26136 HAS SOPS 26136 HAS SOUS 21042 HAS SOUPS 21042 WITH SCORE 21068.136
AT ITER 281 NEW BEST:: SOT 127020 SOS 26134 HAS SOPS 26134 HAS SOUS 21040 HAS SOUPS 21040 WITH SCORE 21066.134
AT ITER 285 NEW BEST:: SOT 127012 SOS 26118 HAS SOPS 26118 HAS SOUS 21024 HAS SOUPS 21024 WITH SCORE 21050.118
AT ITER 288 NEW BEST:: SOT 127010 SOS 26079 HAS SOPS 26079 HAS SOUS 21019 HAS SOUPS 21019 WITH SCORE 21045.079
AT ITER 331 NEW BEST:: SOT 127009 SOS 26077 HAS SOPS 26077 HAS SOUS 21017 HAS SOUPS 21017 WITH SCORE 21043.077
AT ITER 337 NEW BEST:: SOT 126959 SOS 26051 HAS SOPS 26051 HAS SOUS 20980 HAS SOUPS 20980 WITH SCORE 21006.051
AT ITER 372 NEW BEST:: SOT 126922 SOS 25977 HAS SOPS 25977 HAS SOUS 20943 HAS SOUPS 20943 WITH SCORE 20968.977
AT ITER 416 NEW BEST:: SOT 126898 SOS 25929 HAS SOPS 25929 HAS SOUS 20895 HAS SOUPS 20895 WITH SCORE 20920.929
AT ITER 423 NEW BEST:: SOT 126897 SOS 25927 HAS SOPS 25927 HAS SOUS 20893 HAS SOUPS 20893 WITH SCORE 20918.927
AT ITER 464 NEW BEST:: SOT 126893 SOS 25919 HAS SOPS 25919 HAS SOUS 20887 HAS SOUPS 20887 WITH SCORE 20912.919
AT ITER 466 NEW BEST:: SOT 126887 SOS 25901 HAS SOPS 25901 HAS SOUS 20869 HAS SOUPS 20869 WITH SCORE 20894.901
AT ITER 469 NEW BEST:: SOT 126868 SOS 25863 HAS SOPS 25863 HAS SOUS 20808 HAS SOUPS 20808 WITH SCORE 20833.863
AT ITER 498 NEW BEST:: SOT 126854 SOS 25843 HAS SOPS 25843 HAS SOUS 20793 HAS SOUPS 20793 WITH SCORE 20818.843
AT ITER 509 NEW BEST:: SOT 126836 SOS 25807 HAS SOPS 25807 HAS SOUS 20775 HAS SOUPS 20775 WITH SCORE 20800.807
AT ITER 517 NEW BEST:: SOT 126813 SOS 25761 HAS SOPS 25761 HAS SOUS 20724 HAS SOUPS 20724 WITH SCORE 20749.761
AT ITER 519 NEW BEST:: SOT 126754 SOS 25643 HAS SOPS 25643 HAS SOUS 20606 HAS SOUPS 20606 WITH SCORE 20631.643
AT ITER 522 NEW BEST:: SOT 126742 SOS 25619 HAS SOPS 25619 HAS SOUS 20582 HAS SOUPS 20582 WITH SCORE 20607.619
AT ITER 524 NEW BEST:: SOT 126701 SOS 25578 HAS SOPS 25578 HAS SOUS 20554 HAS SOUPS 20554 WITH SCORE 20579.578
AT ITER 555 NEW BEST:: SOT 126658 SOS 25516 HAS SOPS 25516 HAS SOUS 20492 HAS SOUPS 20492 WITH SCORE 20517.516
AT ITER 577 NEW BEST:: SOT 126589 SOS 25378 HAS SOPS 25378 HAS SOUS 20354 HAS SOUPS 20354 WITH SCORE 20379.378
AT ITER 606 NEW BEST:: SOT 126583 SOS 25362 HAS SOPS 25362 HAS SOUS 20342 HAS SOUPS 20342 WITH SCORE 20367.362
AT ITER 608 NEW BEST:: SOT 126575 SOS 25346 HAS SOPS 25346 HAS SOUS 20326 HAS SOUPS 20326 WITH SCORE 20351.346
AT ITER 615 NEW BEST:: SOT 126571 SOS 25338 HAS SOPS 25338 HAS SOUS 20318 HAS SOUPS 20318 WITH SCORE 20343.338
AT ITER 622 NEW BEST:: SOT 126562 SOS 25311 HAS SOPS 25311 HAS SOUS 20291 HAS SOUPS 20291 WITH SCORE 20316.311
AT ITER 669 NEW BEST:: SOT 126518 SOS 25267 HAS SOPS 25267 HAS SOUS 20247 HAS SOUPS 20247 WITH SCORE 20272.267
AT ITER 686 NEW BEST:: SOT 126474 SOS 25179 HAS SOPS 25179 HAS SOUS 20210 HAS SOUPS 20210 WITH SCORE 20235.179
AT ITER 713 NEW BEST:: SOT 126467 SOS 25165 HAS SOPS 25165 HAS SOUS 20196 HAS SOUPS 20196 WITH SCORE 20221.165
AT ITER 747 NEW BEST:: SOT 126467 SOS 25165 HAS SOPS 25165 HAS SOUS 20175 HAS SOUPS 20175 WITH SCORE 20200.165
AT ITER 763 NEW BEST:: SOT 125869 SOS 25918 HAS SOPS 25918 HAS SOUS 19712 HAS SOUPS 19712 WITH SCORE 19737.918
AT ITER 770 NEW BEST:: SOT 125824 SOS 25873 HAS SOPS 25873 HAS SOUS 19677 HAS SOUPS 19677 WITH SCORE 19702.873
AT ITER 803 NEW BEST:: SOT 125804 SOS 25833 HAS SOPS 25833 HAS SOUS 19637 HAS SOUPS 19637 WITH SCORE 19662.833
AT ITER 894 NEW BEST:: SOT 125733 SOS 26250 HAS SOPS 26250 HAS SOUS 19494 HAS SOUPS 19494 WITH SCORE 19520.25
AT ITER 944 NEW BEST:: SOT 125725 SOS 26250 HAS SOPS 26250 HAS SOUS 19490 HAS SOUPS 19490 WITH SCORE 19516.25
AT ITER 945 NEW BEST:: SOT 125720 SOS 26235 HAS SOPS 26235 HAS SOUS 19485 HAS SOUPS 19485 WITH SCORE 19511.235
AT ITER 948 NEW BEST:: SOT 125642 SOS 26161 HAS SOPS 26161 HAS SOUS 19433 HAS SOUPS 19433 WITH SCORE 19459.161
AT ITER 988 NEW BEST:: SOT 125642 SOS 26273 HAS SOPS 26273 HAS SOUS 19419 HAS SOUPS 19419 WITH SCORE 19445.273
AT ITER 1010 NEW BEST:: SOT 125671 SOS 25660 HAS SOPS 25660 HAS SOUS 19387 HAS SOUPS 19387 WITH SCORE 19412.66
AT ITER 1041 NEW BEST:: SOT 125640 SOS 25598 HAS SOPS 25598 HAS SOUS 19356 HAS SOUPS 19356 WITH SCORE 19381.598
AT ITER 1054 NEW BEST:: SOT 125574 SOS 25590 HAS SOPS 25590 HAS SOUS 19301 HAS SOUPS 19301 WITH SCORE 19326.59
AT ITER 1057 NEW BEST:: SOT 125572 SOS 25588 HAS SOPS 25588 HAS SOUS 19299 HAS SOUPS 19299 WITH SCORE 19324.588
AT ITER 1096 NEW BEST:: SOT 125572 SOS 25588 HAS SOPS 25588 HAS SOUS 19292 HAS SOUPS 19292 WITH SCORE 19317.588
AT ITER 1104 NEW BEST:: SOT 125553 SOS 25550 HAS SOPS 25550 HAS SOUS 19254 HAS SOUPS 19254 WITH SCORE 19279.55
AT ITER 1148 NEW BEST:: SOT 125578 SOS 25600 HAS SOPS 25600 HAS SOUS 19214 HAS SOUPS 19214 WITH SCORE 19239.6
AT ITER 1163 NEW BEST:: SOT 125578 SOS 25592 HAS SOPS 25592 HAS SOUS 19214 HAS SOUPS 19214 WITH SCORE 19239.592
AT ITER 1176 NEW BEST:: SOT 125578 SOS 25392 HAS SOPS 25392 HAS SOUS 19214 HAS SOUPS 19214 WITH SCORE 19239.392
AT ITER 1214 NEW BEST:: SOT 125565 SOS 25366 HAS SOPS 25366 HAS SOUS 19199 HAS SOUPS 19199 WITH SCORE 19224.366
AT ITER 1246 NEW BEST:: SOT 125540 SOS 25316 HAS SOPS 25316 HAS SOUS 19149 HAS SOUPS 19149 WITH SCORE 19174.316
AT ITER 1281 NEW BEST:: SOT 125546 SOS 25680 HAS SOPS 25680 HAS SOUS 19117 HAS SOUPS 19117 WITH SCORE 19142.68
AT ITER 1299 NEW BEST:: SOT 125534 SOS 25656 HAS SOPS 25656 HAS SOUS 19093 HAS SOUPS 19093 WITH SCORE 19118.656
AT ITER 1358 NEW BEST:: SOT 125498 SOS 25584 HAS SOPS 25584 HAS SOUS 19039 HAS SOUPS 19039 WITH SCORE 19064.584
AT ITER 1371 NEW BEST:: SOT 125382 SOS 25439 HAS SOPS 25439 HAS SOUS 18894 HAS SOUPS 18894 WITH SCORE 18919.439
AT ITER 1399 NEW BEST:: SOT 125382 SOS 25450 HAS SOPS 25450 HAS SOUS 18797 HAS SOUPS 18797 WITH SCORE 18822.45
AT ITER 1424 NEW BEST:: SOT 125382 SOS 25450 HAS SOPS 25450 HAS SOUS 18765 HAS SOUPS 18765 WITH SCORE 18790.45
AT ITER 1442 NEW BEST:: SOT 125379 SOS 25432 HAS SOPS 25432 HAS SOUS 18762 HAS SOUPS 18762 WITH SCORE 18787.432
AT ITER 1443 NEW BEST:: SOT 125364 SOS 25432 HAS SOPS 25432 HAS SOUS 18760 HAS SOUPS 18760 WITH SCORE 18785.432
AT ITER 1463 NEW BEST:: SOT 125352 SOS 25408 HAS SOPS 25408 HAS SOUS 18740 HAS SOUPS 18740 WITH SCORE 18765.408
AT ITER 1472 NEW BEST:: SOT 125352 SOS 25813 HAS SOPS 25813 HAS SOUS 18739 HAS SOUPS 18739 WITH SCORE 18764.813
AT ITER 1487 NEW BEST:: SOT 125352 SOS 25830 HAS SOPS 25830 HAS SOUS 18732 HAS SOUPS 18732 WITH SCORE 18757.83
AT ITER 1508 NEW BEST:: SOT 125351 SOS 25829 HAS SOPS 25829 HAS SOUS 18731 HAS SOUPS 18731 WITH SCORE 18756.829
AT ITER 1538 NEW BEST:: SOT 125351 SOS 25829 HAS SOPS 25829 HAS SOUS 18727 HAS SOUPS 18727 WITH SCORE 18752.829
AT ITER 1547 NEW BEST:: SOT 125349 SOS 25825 HAS SOPS 25825 HAS SOUS 18723 HAS SOUPS 18723 WITH SCORE 18748.825
AT ITER 1592 NEW BEST:: SOT 125348 SOS 25823 HAS SOPS 25823 HAS SOUS 18721 HAS SOUPS 18721 WITH SCORE 18746.823
AT ITER 1597 NEW BEST:: SOT 125267 SOS 25661 HAS SOPS 25661 HAS SOUS 18655 HAS SOUPS 18655 WITH SCORE 18680.661
AT ITER 1611 NEW BEST:: SOT 125266 SOS 25659 HAS SOPS 25659 HAS SOUS 18653 HAS SOUPS 18653 WITH SCORE 18678.659
AT ITER 1630 NEW BEST:: SOT 125266 SOS 25609 HAS SOPS 25609 HAS SOUS 18603 HAS SOUPS 18603 WITH SCORE 18628.609
AT ITER 1633 NEW BEST:: SOT 125263 SOS 25603 HAS SOPS 25603 HAS SOUS 18597 HAS SOUPS 18597 WITH SCORE 18622.603
AT ITER 1646 NEW BEST:: SOT 125188 SOS 25528 HAS SOPS 25528 HAS SOUS 18539 HAS SOUPS 18539 WITH SCORE 18564.528
AT ITER 1706 NEW BEST:: SOT 125200 SOS 25552 HAS SOPS 25552 HAS SOUS 18501 HAS SOUPS 18501 WITH SCORE 18526.552
AT ITER 1713 NEW BEST:: SOT 125154 SOS 25460 HAS SOPS 25460 HAS SOUS 18455 HAS SOUPS 18455 WITH SCORE 18480.46
AT ITER 1727 NEW BEST:: SOT 125154 SOS 25438 HAS SOPS 25438 HAS SOUS 18455 HAS SOUPS 18455 WITH SCORE 18480.438
AT ITER 1788 NEW BEST:: SOT 125149 SOS 25428 HAS SOPS 25428 HAS SOUS 18445 HAS SOUPS 18445 WITH SCORE 18470.428
AT ITER 1799 NEW BEST:: SOT 125147 SOS 25424 HAS SOPS 25424 HAS SOUS 18426 HAS SOUPS 18426 WITH SCORE 18451.424
AT ITER 1817 NEW BEST:: SOT 125147 SOS 25424 HAS SOPS 25424 HAS SOUS 18421 HAS SOUPS 18421 WITH SCORE 18446.424
AT ITER 1841 NEW BEST:: SOT 125122 SOS 25374 HAS SOPS 25374 HAS SOUS 18410 HAS SOUPS 18410 WITH SCORE 18435.374
AT ITER 1865 NEW BEST:: SOT 125062 SOS 25543 HAS SOPS 25543 HAS SOUS 18369 HAS SOUPS 18369 WITH SCORE 18394.543
AT ITER 1905 NEW BEST:: SOT 125065 SOS 25542 HAS SOPS 25542 HAS SOUS 18368 HAS SOUPS 18368 WITH SCORE 18393.542
AT ITER 1936 NEW BEST:: SOT 125065 SOS 25542 HAS SOPS 25542 HAS SOUS 18361 HAS SOUPS 18361 WITH SCORE 18386.542
AT ITER 1955 NEW BEST:: SOT 125064 SOS 25507 HAS SOPS 25507 HAS SOUS 18342 HAS SOUPS 18342 WITH SCORE 18367.507
AT ITER 1986 NEW BEST:: SOT 125040 SOS 25459 HAS SOPS 25459 HAS SOUS 18318 HAS SOUPS 18318 WITH SCORE 18343.459
AT ITER 2025 NEW BEST:: SOT 125033 SOS 25445 HAS SOPS 25445 HAS SOUS 18304 HAS SOUPS 18304 WITH SCORE 18329.445
AT ITER 2033 NEW BEST:: SOT 124928 SOS 25235 HAS SOPS 25235 HAS SOUS 18207 HAS SOUPS 18207 WITH SCORE 18232.235
AT ITER 2059 NEW BEST:: SOT 124904 SOS 25208 HAS SOPS 25208 HAS SOUS 18180 HAS SOUPS 18180 WITH SCORE 18205.208
AT ITER 2077 NEW BEST:: SOT 124886 SOS 25191 HAS SOPS 25191 HAS SOUS 18170 HAS SOUPS 18170 WITH SCORE 18195.191
AT ITER 2122 NEW BEST:: SOT 124871 SOS 25161 HAS SOPS 25161 HAS SOUS 18140 HAS SOUPS 18140 WITH SCORE 18165.161
AT ITER 2141 NEW BEST:: SOT 124827 SOS 25073 HAS SOPS 25073 HAS SOUS 18052 HAS SOUPS 18052 WITH SCORE 18077.073
AT ITER 2180 NEW BEST:: SOT 124827 SOS 24996 HAS SOPS 24996 HAS SOUS 18052 HAS SOUPS 18052 WITH SCORE 18076.996
AT ITER 2224 NEW BEST:: SOT 124807 SOS 25116 HAS SOPS 25116 HAS SOUS 18042 HAS SOUPS 18042 WITH SCORE 18067.116
AT ITER 2225 NEW BEST:: SOT 124807 SOS 25116 HAS SOPS 25116 HAS SOUS 18040 HAS SOUPS 18040 WITH SCORE 18065.116
AT ITER 2253 NEW BEST:: SOT 124719 SOS 25028 HAS SOPS 25028 HAS SOUS 17974 HAS SOUPS 17974 WITH SCORE 17999.028
AT ITER 2268 NEW BEST:: SOT 124714 SOS 25018 HAS SOPS 25018 HAS SOUS 17964 HAS SOUPS 17964 WITH SCORE 17989.018
AT ITER 2282 NEW BEST:: SOT 124704 SOS 24998 HAS SOPS 24998 HAS SOUS 17954 HAS SOUPS 17954 WITH SCORE 17978.998
AT ITER 2316 NEW BEST:: SOT 124701 SOS 24992 HAS SOPS 24992 HAS SOUS 17948 HAS SOUPS 17948 WITH SCORE 17972.992
AT ITER 2352 NEW BEST:: SOT 124674 SOS 24938 HAS SOPS 24938 HAS SOUS 17894 HAS SOUPS 17894 WITH SCORE 17918.938
AT ITER 2365 NEW BEST:: SOT 124702 SOS 24994 HAS SOPS 24994 HAS SOUS 17889 HAS SOUPS 17889 WITH SCORE 17913.994
AT ITER 2383 NEW BEST:: SOT 124701 SOS 24992 HAS SOPS 24992 HAS SOUS 17888 HAS SOUPS 17888 WITH SCORE 17912.992
AT ITER 2385 NEW BEST:: SOT 124696 SOS 24990 HAS SOPS 24990 HAS SOUS 17886 HAS SOUPS 17886 WITH SCORE 17910.99
AT ITER 2392 NEW BEST:: SOT 124694 SOS 24986 HAS SOPS 24986 HAS SOUS 17882 HAS SOUPS 17882 WITH SCORE 17906.986
AT ITER 2451 NEW BEST:: SOT 124682 SOS 24962 HAS SOPS 24962 HAS SOUS 17870 HAS SOUPS 17870 WITH SCORE 17894.962
AT ITER 2501 NEW BEST:: SOT 124643 SOS 24884 HAS SOPS 24884 HAS SOUS 17855 HAS SOUPS 17855 WITH SCORE 17879.884
AT ITER 2517 NEW BEST:: SOT 124635 SOS 24868 HAS SOPS 24868 HAS SOUS 17839 HAS SOUPS 17839 WITH SCORE 17863.868
AT ITER 2531 NEW BEST:: SOT 124619 SOS 24836 HAS SOPS 24836 HAS SOUS 17807 HAS SOUPS 17807 WITH SCORE 17831.836
AT ITER 2585 NEW BEST:: SOT 124611 SOS 24828 HAS SOPS 24828 HAS SOUS 17799 HAS SOUPS 17799 WITH SCORE 17823.828
AT ITER 2591 NEW BEST:: SOT 124579 SOS 24764 HAS SOPS 24764 HAS SOUS 17735 HAS SOUPS 17735 WITH SCORE 17759.764
AT ITER 2617 NEW BEST:: SOT 124582 SOS 24755 HAS SOPS 24755 HAS SOUS 17726 HAS SOUPS 17726 WITH SCORE 17750.755
AT ITER 2645 NEW BEST:: SOT 124555 SOS 24701 HAS SOPS 24701 HAS SOUS 17699 HAS SOUPS 17699 WITH SCORE 17723.701
AT ITER 2676 NEW BEST:: SOT 124554 SOS 24699 HAS SOPS 24699 HAS SOUS 17697 HAS SOUPS 17697 WITH SCORE 17721.699
AT ITER 2691 NEW BEST:: SOT 124540 SOS 24685 HAS SOPS 24685 HAS SOUS 17683 HAS SOUPS 17683 WITH SCORE 17707.685
AT ITER 2711 NEW BEST:: SOT 124515 SOS 24675 HAS SOPS 24675 HAS SOUS 17660 HAS SOUPS 17660 WITH SCORE 17684.675
AT ITER 2721 NEW BEST:: SOT 124507 SOS 24666 HAS SOPS 24666 HAS SOUS 17651 HAS SOUPS 17651 WITH SCORE 17675.666
AT ITER 2744 NEW BEST:: SOT 124506 SOS 24664 HAS SOPS 24664 HAS SOUS 17649 HAS SOUPS 17649 WITH SCORE 17673.664
AT ITER 2745 NEW BEST:: SOT 124503 SOS 24629 HAS SOPS 24629 HAS SOUS 17636 HAS SOUPS 17636 WITH SCORE 17660.629
AT ITER 2762 NEW BEST:: SOT 124503 SOS 24610 HAS SOPS 24610 HAS SOUS 17595 HAS SOUPS 17595 WITH SCORE 17619.61
AT ITER 2838 NEW BEST:: SOT 124462 SOS 24528 HAS SOPS 24528 HAS SOUS 17487 HAS SOUPS 17487 WITH SCORE 17511.528
AT ITER 2852 NEW BEST:: SOT 124462 SOS 24527 HAS SOPS 24527 HAS SOUS 17486 HAS SOUPS 17486 WITH SCORE 17510.527
AT ITER 2855 NEW BEST:: SOT 124453 SOS 24509 HAS SOPS 24509 HAS SOUS 17468 HAS SOUPS 17468 WITH SCORE 17492.509
AT ITER 2868 NEW BEST:: SOT 124439 SOS 24481 HAS SOPS 24481 HAS SOUS 17440 HAS SOUPS 17440 WITH SCORE 17464.481
AT ITER 2877 NEW BEST:: SOT 124424 SOS 24466 HAS SOPS 24466 HAS SOUS 17420 HAS SOUPS 17420 WITH SCORE 17444.466
AT ITER 2943 NEW BEST:: SOT 124409 SOS 24451 HAS SOPS 24451 HAS SOUS 17405 HAS SOUPS 17405 WITH SCORE 17429.451
AT ITER 2960 NEW BEST:: SOT 124409 SOS 24448 HAS SOPS 24448 HAS SOUS 17402 HAS SOUPS 17402 WITH SCORE 17426.448
AT ITER 3016 NEW BEST:: SOT 124402 SOS 24434 HAS SOPS 24434 HAS SOUS 17395 HAS SOUPS 17395 WITH SCORE 17419.434
AT ITER 3032 NEW BEST:: SOT 124345 SOS 23989 HAS SOPS 23989 HAS SOUS 17342 HAS SOUPS 17342 WITH SCORE 17365.989
AT ITER 3049 NEW BEST:: SOT 124345 SOS 23989 HAS SOPS 23989 HAS SOUS 17332 HAS SOUPS 17332 WITH SCORE 17355.989
AT ITER 3069 NEW BEST:: SOT 124345 SOS 23988 HAS SOPS 23988 HAS SOUS 17332 HAS SOUPS 17332 WITH SCORE 17355.988
AT ITER 3088 NEW BEST:: SOT 124323 SOS 22444 HAS SOPS 22444 HAS SOUS 17235 HAS SOUPS 17235 WITH SCORE 17257.444
AT ITER 3097 NEW BEST:: SOT 124323 SOS 22422 HAS SOPS 22422 HAS SOUS 17213 HAS SOUPS 17213 WITH SCORE 17235.422
AT ITER 3131 NEW BEST:: SOT 124295 SOS 22366 HAS SOPS 22366 HAS SOUS 17157 HAS SOUPS 17157 WITH SCORE 17179.366
AT ITER 3138 NEW BEST:: SOT 124145 SOS 22684 HAS SOPS 22684 HAS SOUS 17060 HAS SOUPS 17060 WITH SCORE 17082.684
AT ITER 3162 NEW BEST:: SOT 124143 SOS 22680 HAS SOPS 22680 HAS SOUS 17056 HAS SOUPS 17056 WITH SCORE 17078.68
AT ITER 3188 NEW BEST:: SOT 124121 SOS 22676 HAS SOPS 22676 HAS SOUS 17031 HAS SOUPS 17031 WITH SCORE 17053.676
AT ITER 3206 NEW BEST:: SOT 124115 SOS 22670 HAS SOPS 22670 HAS SOUS 17025 HAS SOUPS 17025 WITH SCORE 17047.67
AT ITER 3221 NEW BEST:: SOT 124112 SOS 22664 HAS SOPS 22664 HAS SOUS 17019 HAS SOUPS 17019 WITH SCORE 17041.664
AT ITER 3279 NEW BEST:: SOT 124109 SOS 22658 HAS SOPS 22658 HAS SOUS 17013 HAS SOUPS 17013 WITH SCORE 17035.658
AT ITER 3338 NEW BEST:: SOT 124107 SOS 22654 HAS SOPS 22654 HAS SOUS 17011 HAS SOUPS 17011 WITH SCORE 17033.654
AT ITER 3347 NEW BEST:: SOT 124105 SOS 22650 HAS SOPS 22650 HAS SOUS 17007 HAS SOUPS 17007 WITH SCORE 17029.65
AT ITER 3371 NEW BEST:: SOT 124057 SOS 22554 HAS SOPS 22554 HAS SOUS 16937 HAS SOUPS 16937 WITH SCORE 16959.554
AT ITER 3409 NEW BEST:: SOT 124056 SOS 22552 HAS SOPS 22552 HAS SOUS 16935 HAS SOUPS 16935 WITH SCORE 16957.552
AT ITER 3413 NEW BEST:: SOT 124029 SOS 22498 HAS SOPS 22498 HAS SOUS 16901 HAS SOUPS 16901 WITH SCORE 16923.498
AT ITER 3521 NEW BEST:: SOT 124028 SOS 22496 HAS SOPS 22496 HAS SOUS 16899 HAS SOUPS 16899 WITH SCORE 16921.496
AT ITER 3568 NEW BEST:: SOT 124027 SOS 22494 HAS SOPS 22494 HAS SOUS 16897 HAS SOUPS 16897 WITH SCORE 16919.494
AT ITER 3585 NEW BEST:: SOT 124023 SOS 22486 HAS SOPS 22486 HAS SOUS 16889 HAS SOUPS 16889 WITH SCORE 16911.486
AT ITER 3601 NEW BEST:: SOT 123993 SOS 22426 HAS SOPS 22426 HAS SOUS 16861 HAS SOUPS 16861 WITH SCORE 16883.426
AT ITER 3615 NEW BEST:: SOT 123977 SOS 22394 HAS SOPS 22394 HAS SOUS 16845 HAS SOUPS 16845 WITH SCORE 16867.394
AT ITER 3630 NEW BEST:: SOT 123968 SOS 22376 HAS SOPS 22376 HAS SOUS 16827 HAS SOUPS 16827 WITH SCORE 16849.376
AT ITER 3635 NEW BEST:: SOT 123965 SOS 22362 HAS SOPS 22362 HAS SOUS 16826 HAS SOUPS 16826 WITH SCORE 16848.362
AT ITER 3684 NEW BEST:: SOT 123962 SOS 22356 HAS SOPS 22356 HAS SOUS 16823 HAS SOUPS 16823 WITH SCORE 16845.356
AT ITER 3704 NEW BEST:: SOT 123960 SOS 22353 HAS SOPS 22353 HAS SOUS 16820 HAS SOUPS 16820 WITH SCORE 16842.353
AT ITER 3757 NEW BEST:: SOT 123806 SOS 22394 HAS SOPS 22394 HAS SOUS 16814 HAS SOUPS 16814 WITH SCORE 16836.394
AT ITER 3780 NEW BEST:: SOT 123804 SOS 22390 HAS SOPS 22390 HAS SOUS 16810 HAS SOUPS 16810 WITH SCORE 16832.39
AT ITER 3788 NEW BEST:: SOT 123800 SOS 22382 HAS SOPS 22382 HAS SOUS 16802 HAS SOUPS 16802 WITH SCORE 16824.382
AT ITER 3874 NEW BEST:: SOT 123791 SOS 22364 HAS SOPS 22364 HAS SOUS 16789 HAS SOUPS 16789 WITH SCORE 16811.364
AT ITER 3879 NEW BEST:: SOT 123791 SOS 22339 HAS SOPS 22339 HAS SOUS 16789 HAS SOUPS 16789 WITH SCORE 16811.339
AT ITER 3884 NEW BEST:: SOT 123790 SOS 22328 HAS SOPS 22328 HAS SOUS 16787 HAS SOUPS 16787 WITH SCORE 16809.328
AT ITER 3886 NEW BEST:: SOT 123753 SOS 22111 HAS SOPS 22111 HAS SOUS 16716 HAS SOUPS 16716 WITH SCORE 16738.111
AT ITER 3912 NEW BEST:: SOT 123744 SOS 22093 HAS SOPS 22093 HAS SOUS 16698 HAS SOUPS 16698 WITH SCORE 16720.093
AT ITER 3956 NEW BEST:: SOT 123744 SOS 22088 HAS SOPS 22088 HAS SOUS 16698 HAS SOUPS 16698 WITH SCORE 16720.088
AT ITER 4026 NEW BEST:: SOT 123744 SOS 22087 HAS SOPS 22087 HAS SOUS 16697 HAS SOUPS 16697 WITH SCORE 16719.087
AT ITER 4073 NEW BEST:: SOT 123744 SOS 22087 HAS SOPS 22087 HAS SOUS 16683 HAS SOUPS 16683 WITH SCORE 16705.087
AT ITER 4184 NEW BEST:: SOT 123744 SOS 22081 HAS SOPS 22081 HAS SOUS 16677 HAS SOUPS 16677 WITH SCORE 16699.081
AT ITER 4201 NEW BEST:: SOT 123729 SOS 22051 HAS SOPS 22051 HAS SOUS 16647 HAS SOUPS 16647 WITH SCORE 16669.051
AT ITER 4227 NEW BEST:: SOT 123728 SOS 22049 HAS SOPS 22049 HAS SOUS 16635 HAS SOUPS 16635 WITH SCORE 16657.049
AT ITER 4253 NEW BEST:: SOT 123719 SOS 22031 HAS SOPS 22031 HAS SOUS 16626 HAS SOUPS 16626 WITH SCORE 16648.031
AT ITER 4257 NEW BEST:: SOT 123713 SOS 22019 HAS SOPS 22019 HAS SOUS 16614 HAS SOUPS 16614 WITH SCORE 16636.019
AT ITER 4261 NEW BEST:: SOT 123660 SOS 21969 HAS SOPS 21969 HAS SOUS 16559 HAS SOUPS 16559 WITH SCORE 16580.969
AT ITER 4263 NEW BEST:: SOT 123649 SOS 21955 HAS SOPS 21955 HAS SOUS 16543 HAS SOUPS 16543 WITH SCORE 16564.955
AT ITER 4319 NEW BEST:: SOT 123617 SOS 21924 HAS SOPS 21924 HAS SOUS 16512 HAS SOUPS 16512 WITH SCORE 16533.924
AT ITER 4323 NEW BEST:: SOT 123617 SOS 21816 HAS SOPS 21816 HAS SOUS 16500 HAS SOUPS 16500 WITH SCORE 16521.816
AT ITER 4336 NEW BEST:: SOT 123596 SOS 21774 HAS SOPS 21774 HAS SOUS 16479 HAS SOUPS 16479 WITH SCORE 16500.774
AT ITER 4400 NEW BEST:: SOT 123589 SOS 21760 HAS SOPS 21760 HAS SOUS 16465 HAS SOUPS 16465 WITH SCORE 16486.76
AT ITER 4451 NEW BEST:: SOT 123593 SOS 21768 HAS SOPS 21768 HAS SOUS 16457 HAS SOUPS 16457 WITH SCORE 16478.768
AT ITER 4452 NEW BEST:: SOT 123585 SOS 21756 HAS SOPS 21756 HAS SOUS 16449 HAS SOUPS 16449 WITH SCORE 16470.756
AT ITER 4492 NEW BEST:: SOT 123569 SOS 21758 HAS SOPS 21758 HAS SOUS 16445 HAS SOUPS 16445 WITH SCORE 16466.758
AT ITER 4497 NEW BEST:: SOT 123538 SOS 21696 HAS SOPS 21696 HAS SOUS 16414 HAS SOUPS 16414 WITH SCORE 16435.696
AT ITER 4508 NEW BEST:: SOT 123537 SOS 21694 HAS SOPS 21694 HAS SOUS 16413 HAS SOUPS 16413 WITH SCORE 16434.694
AT ITER 4516 NEW BEST:: SOT 123524 SOS 21642 HAS SOPS 21642 HAS SOUS 16413 HAS SOUPS 16413 WITH SCORE 16434.642
AT ITER 4561 NEW BEST:: SOT 123524 SOS 21641 HAS SOPS 21641 HAS SOUS 16412 HAS SOUPS 16412 WITH SCORE 16433.641
AT ITER 4612 NEW BEST:: SOT 123520 SOS 21633 HAS SOPS 21633 HAS SOUS 16404 HAS SOUPS 16404 WITH SCORE 16425.633
AT ITER 4662 NEW BEST:: SOT 123515 SOS 21623 HAS SOPS 21623 HAS SOUS 16399 HAS SOUPS 16399 WITH SCORE 16420.623
AT ITER 4700 NEW BEST:: SOT 123515 SOS 21327 HAS SOPS 21327 HAS SOUS 16399 HAS SOUPS 16399 WITH SCORE 16420.327
AT ITER 4711 NEW BEST:: SOT 123436 SOS 21265 HAS SOPS 21265 HAS SOUS 16305 HAS SOUPS 16305 WITH SCORE 16326.265
AT ITER 4775 NEW BEST:: SOT 123436 SOS 21264 HAS SOPS 21264 HAS SOUS 16304 HAS SOUPS 16304 WITH SCORE 16325.264
AT ITER 4780 NEW BEST:: SOT 123434 SOS 21260 HAS SOPS 21260 HAS SOUS 16300 HAS SOUPS 16300 WITH SCORE 16321.26
AT ITER 4802 NEW BEST:: SOT 123399 SOS 21190 HAS SOPS 21190 HAS SOUS 16263 HAS SOUPS 16263 WITH SCORE 16284.19
AT ITER 4824 NEW BEST:: SOT 123394 SOS 21163 HAS SOPS 21163 HAS SOUS 16236 HAS SOUPS 16236 WITH SCORE 16257.163
AT ITER 4883 NEW BEST:: SOT 123389 SOS 21141 HAS SOPS 21141 HAS SOUS 16208 HAS SOUPS 16208 WITH SCORE 16229.141
AT ITER 4886 NEW BEST:: SOT 123388 SOS 21139 HAS SOPS 21139 HAS SOUS 16204 HAS SOUPS 16204 WITH SCORE 16225.139
AT ITER 4900 NEW BEST:: SOT 123380 SOS 21123 HAS SOPS 21123 HAS SOUS 16188 HAS SOUPS 16188 WITH SCORE 16209.123
AT ITER 4950 NEW BEST:: SOT 123378 SOS 21121 HAS SOPS 21121 HAS SOUS 16148 HAS SOUPS 16148 WITH SCORE 16169.121
AT ITER 4987 NEW BEST:: SOT 123368 SOS 21101 HAS SOPS 21101 HAS SOUS 16138 HAS SOUPS 16138 WITH SCORE 16159.101
AT ITER 4998 NEW BEST:: SOT 123353 SOS 21071 HAS SOPS 21071 HAS SOUS 16119 HAS SOUPS 16119 WITH SCORE 16140.071
AT ITER 5040 NEW BEST:: SOT 123316 SOS 21046 HAS SOPS 21046 HAS SOUS 16094 HAS SOUPS 16094 WITH SCORE 16115.046
AT ITER 5055 NEW BEST:: SOT 123325 SOS 21054 HAS SOPS 21054 HAS SOUS 16092 HAS SOUPS 16092 WITH SCORE 16113.054
AT ITER 5074 NEW BEST:: SOT 123319 SOS 21042 HAS SOPS 21042 HAS SOUS 16080 HAS SOUPS 16080 WITH SCORE 16101.042
AT ITER 5138 NEW BEST:: SOT 123314 SOS 21032 HAS SOPS 21032 HAS SOUS 16070 HAS SOUPS 16070 WITH SCORE 16091.032
AT ITER 5178 NEW BEST:: SOT 123314 SOS 21022 HAS SOPS 21022 HAS SOUS 16065 HAS SOUPS 16065 WITH SCORE 16086.022
AT ITER 5194 NEW BEST:: SOT 123292 SOS 20998 HAS SOPS 20998 HAS SOUS 16043 HAS SOUPS 16043 WITH SCORE 16063.998
AT ITER 5242 NEW BEST:: SOT 123288 SOS 20987 HAS SOPS 20987 HAS SOUS 16021 HAS SOUPS 16021 WITH SCORE 16041.987
AT ITER 5397 NEW BEST:: SOT 123269 SOS 21089 HAS SOPS 21089 HAS SOUS 16009 HAS SOUPS 16009 WITH SCORE 16030.089
AT ITER 5408 NEW BEST:: SOT 123265 SOS 21081 HAS SOPS 21081 HAS SOUS 16003 HAS SOUPS 16003 WITH SCORE 16024.081
AT ITER 5413 NEW BEST:: SOT 123264 SOS 21079 HAS SOPS 21079 HAS SOUS 16001 HAS SOUPS 16001 WITH SCORE 16022.079
AT ITER 5423 NEW BEST:: SOT 123266 SOS 21072 HAS SOPS 21072 HAS SOUS 15998 HAS SOUPS 15998 WITH SCORE 16019.072
AT ITER 5569 NEW BEST:: SOT 123265 SOS 21071 HAS SOPS 21071 HAS SOUS 15997 HAS SOUPS 15997 WITH SCORE 16018.071
AT ITER 5676 NEW BEST:: SOT 123273 SOS 21015 HAS SOPS 21015 HAS SOUS 15997 HAS SOUPS 15997 WITH SCORE 16018.015
AT ITER 5691 NEW BEST:: SOT 123272 SOS 21013 HAS SOPS 21013 HAS SOUS 15995 HAS SOUPS 15995 WITH SCORE 16016.013
AT ITER 5895 NEW BEST:: SOT 123285 SOS 21011 HAS SOPS 21011 HAS SOUS 15993 HAS SOUPS 15993 WITH SCORE 16014.011
AT ITER 5951 NEW BEST:: SOT 123285 SOS 21142 HAS SOPS 21142 HAS SOUS 15980 HAS SOUPS 15980 WITH SCORE 16001.142
AT ITER 5960 NEW BEST:: SOT 123283 SOS 21138 HAS SOPS 21138 HAS SOUS 15976 HAS SOUPS 15976 WITH SCORE 15997.138
AT ITER 6015 NEW BEST:: SOT 123282 SOS 21136 HAS SOPS 21136 HAS SOUS 15974 HAS SOUPS 15974 WITH SCORE 15995.136
AT ITER 6041 NEW BEST:: SOT 123257 SOS 21086 HAS SOPS 21086 HAS SOUS 15919 HAS SOUPS 15919 WITH SCORE 15940.086
AT ITER 6063 NEW BEST:: SOT 123254 SOS 21080 HAS SOPS 21080 HAS SOUS 15919 HAS SOUPS 15919 WITH SCORE 15940.08
AT ITER 6157 NEW BEST:: SOT 123253 SOS 21076 HAS SOPS 21076 HAS SOUS 15917 HAS SOUPS 15917 WITH SCORE 15938.076
AT ITER 6172 NEW BEST:: SOT 123250 SOS 21070 HAS SOPS 21070 HAS SOUS 15911 HAS SOUPS 15911 WITH SCORE 15932.07
AT ITER 6177 NEW BEST:: SOT 123248 SOS 21066 HAS SOPS 21066 HAS SOUS 15907 HAS SOUPS 15907 WITH SCORE 15928.066
AT ITER 6199 NEW BEST:: SOT 123246 SOS 21060 HAS SOPS 21060 HAS SOUS 15902 HAS SOUPS 15902 WITH SCORE 15923.06
AT ITER 6219 NEW BEST:: SOT 123245 SOS 21058 HAS SOPS 21058 HAS SOUS 15899 HAS SOUPS 15899 WITH SCORE 15920.058
AT ITER 6265 NEW BEST:: SOT 123263 SOS 21076 HAS SOPS 21076 HAS SOUS 15891 HAS SOUPS 15891 WITH SCORE 15912.076
AT ITER 6269 NEW BEST:: SOT 123257 SOS 21064 HAS SOPS 21064 HAS SOUS 15890 HAS SOUPS 15890 WITH SCORE 15911.064
AT ITER 6356 NEW BEST:: SOT 123252 SOS 21054 HAS SOPS 21054 HAS SOUS 15885 HAS SOUPS 15885 WITH SCORE 15906.054
AT ITER 6487 NEW BEST:: SOT 123252 SOS 21054 HAS SOPS 21054 HAS SOUS 15877 HAS SOUPS 15877 WITH SCORE 15898.054
AT ITER 6538 NEW BEST:: SOT 123251 SOS 21052 HAS SOPS 21052 HAS SOUS 15875 HAS SOUPS 15875 WITH SCORE 15896.052
AT ITER 6568 NEW BEST:: SOT 123251 SOS 21041 HAS SOPS 21041 HAS SOUS 15864 HAS SOUPS 15864 WITH SCORE 15885.041
AT ITER 6584 NEW BEST:: SOT 123250 SOS 21039 HAS SOPS 21039 HAS SOUS 15862 HAS SOUPS 15862 WITH SCORE 15883.039
AT ITER 6601 NEW BEST:: SOT 123250 SOS 21039 HAS SOPS 21039 HAS SOUS 15857 HAS SOUPS 15857 WITH SCORE 15878.039
AT ITER 6603 NEW BEST:: SOT 123249 SOS 21037 HAS SOPS 21037 HAS SOUS 15855 HAS SOUPS 15855 WITH SCORE 15876.037
AT ITER 6608 NEW BEST:: SOT 123247 SOS 21033 HAS SOPS 21033 HAS SOUS 15851 HAS SOUPS 15851 WITH SCORE 15872.033
AT ITER 6616 NEW BEST:: SOT 123247 SOS 21018 HAS SOPS 21018 HAS SOUS 15836 HAS SOUPS 15836 WITH SCORE 15857.018
AT ITER 6642 NEW BEST:: SOT 123244 SOS 21012 HAS SOPS 21012 HAS SOUS 15830 HAS SOUPS 15830 WITH SCORE 15851.012
AT ITER 6648 NEW BEST:: SOT 123237 SOS 21054 HAS SOPS 21054 HAS SOUS 15816 HAS SOUPS 15816 WITH SCORE 15837.054
AT ITER 6681 NEW BEST:: SOT 123241 SOS 21042 HAS SOPS 21042 HAS SOUS 15810 HAS SOUPS 15810 WITH SCORE 15831.042
AT ITER 6703 NEW BEST:: SOT 123201 SOS 21178 HAS SOPS 21178 HAS SOUS 15794 HAS SOUPS 15794 WITH SCORE 15815.178
AT ITER 6708 NEW BEST:: SOT 123165 SOS 21052 HAS SOPS 21052 HAS SOUS 15758 HAS SOUPS 15758 WITH SCORE 15779.052
AT ITER 6747 NEW BEST:: SOT 123161 SOS 21044 HAS SOPS 21044 HAS SOUS 15750 HAS SOUPS 15750 WITH SCORE 15771.044
AT ITER 6872 NEW BEST:: SOT 123162 SOS 21046 HAS SOPS 21046 HAS SOUS 15749 HAS SOUPS 15749 WITH SCORE 15770.046
AT ITER 6959 NEW BEST:: SOT 123150 SOS 21022 HAS SOPS 21022 HAS SOUS 15725 HAS SOUPS 15725 WITH SCORE 15746.022
AT ITER 7120 NEW BEST:: SOT 123146 SOS 21019 HAS SOPS 21019 HAS SOUS 15721 HAS SOUPS 15721 WITH SCORE 15742.019
AT ITER 7201 NEW BEST:: SOT 123131 SOS 21009 HAS SOPS 21009 HAS SOUS 15711 HAS SOUPS 15711 WITH SCORE 15732.009
AT ITER 7204 NEW BEST:: SOT 123131 SOS 21006 HAS SOPS 21006 HAS SOUS 15708 HAS SOUPS 15708 WITH SCORE 15729.006
AT ITER 7256 NEW BEST:: SOT 123131 SOS 20978 HAS SOPS 20978 HAS SOUS 15708 HAS SOUPS 15708 WITH SCORE 15728.978
AT ITER 7279 NEW BEST:: SOT 123131 SOS 20972 HAS SOPS 20972 HAS SOUS 15705 HAS SOUPS 15705 WITH SCORE 15725.972
AT ITER 7299 NEW BEST:: SOT 123130 SOS 20971 HAS SOPS 20971 HAS SOUS 15698 HAS SOUPS 15698 WITH SCORE 15718.971
AT ITER 7324 NEW BEST:: SOT 123128 SOS 20967 HAS SOPS 20967 HAS SOUS 15695 HAS SOUPS 15695 WITH SCORE 15715.967
AT ITER 7357 NEW BEST:: SOT 123124 SOS 20959 HAS SOPS 20959 HAS SOUS 15687 HAS SOUPS 15687 WITH SCORE 15707.959
AT ITER 7388 NEW BEST:: SOT 123121 SOS 20953 HAS SOPS 20953 HAS SOUS 15681 HAS SOUPS 15681 WITH SCORE 15701.953
AT ITER 7419 NEW BEST:: SOT 123117 SOS 20949 HAS SOPS 20949 HAS SOUS 15677 HAS SOUPS 15677 WITH SCORE 15697.949
AT ITER 7470 NEW BEST:: SOT 123111 SOS 20937 HAS SOPS 20937 HAS SOUS 15665 HAS SOUPS 15665 WITH SCORE 15685.937
AT ITER 7487 NEW BEST:: SOT 123106 SOS 20927 HAS SOPS 20927 HAS SOUS 15665 HAS SOUPS 15665 WITH SCORE 15685.927
AT ITER 7496 NEW BEST:: SOT 123083 SOS 20881 HAS SOPS 20881 HAS SOUS 15648 HAS SOUPS 15648 WITH SCORE 15668.881
AT ITER 7579 NEW BEST:: SOT 123078 SOS 20871 HAS SOPS 20871 HAS SOUS 15638 HAS SOUPS 15638 WITH SCORE 15658.871
AT ITER 7599 NEW BEST:: SOT 123065 SOS 20845 HAS SOPS 20845 HAS SOUS 15612 HAS SOUPS 15612 WITH SCORE 15632.845
AT ITER 7634 NEW BEST:: SOT 123061 SOS 20841 HAS SOPS 20841 HAS SOUS 15612 HAS SOUPS 15612 WITH SCORE 15632.841
AT ITER 7638 NEW BEST:: SOT 123053 SOS 20837 HAS SOPS 20837 HAS SOUS 15608 HAS SOUPS 15608 WITH SCORE 15628.837
AT ITER 7646 NEW BEST:: SOT 123048 SOS 20827 HAS SOPS 20827 HAS SOUS 15598 HAS SOUPS 15598 WITH SCORE 15618.827
AT ITER 7652 NEW BEST:: SOT 123041 SOS 20813 HAS SOPS 20813 HAS SOUS 15589 HAS SOUPS 15589 WITH SCORE 15609.813
AT ITER 7726 NEW BEST:: SOT 123042 SOS 20815 HAS SOPS 20815 HAS SOUS 15575 HAS SOUPS 15575 WITH SCORE 15595.815
AT ITER 7741 NEW BEST:: SOT 123025 SOS 20889 HAS SOPS 20889 HAS SOUS 15553 HAS SOUPS 15553 WITH SCORE 15573.889
AT ITER 7797 NEW BEST:: SOT 122935 SOS 20946 HAS SOPS 20946 HAS SOUS 15533 HAS SOUPS 15533 WITH SCORE 15553.946
AT ITER 7830 NEW BEST:: SOT 122930 SOS 20936 HAS SOPS 20936 HAS SOUS 15523 HAS SOUPS 15523 WITH SCORE 15543.936
AT ITER 7879 NEW BEST:: SOT 122924 SOS 20924 HAS SOPS 20924 HAS SOUS 15511 HAS SOUPS 15511 WITH SCORE 15531.924
AT ITER 7915 NEW BEST:: SOT 122920 SOS 20922 HAS SOPS 20922 HAS SOUS 15507 HAS SOUPS 15507 WITH SCORE 15527.922
AT ITER 7992 NEW BEST:: SOT 122898 SOS 20912 HAS SOPS 20912 HAS SOUS 15491 HAS SOUPS 15491 WITH SCORE 15511.912
AT ITER 8003 NEW BEST:: SOT 122892 SOS 20900 HAS SOPS 20900 HAS SOUS 15479 HAS SOUPS 15479 WITH SCORE 15499.9
AT ITER 8021 NEW BEST:: SOT 122888 SOS 20892 HAS SOPS 20892 HAS SOUS 15475 HAS SOUPS 15475 WITH SCORE 15495.892
AT ITER 8089 NEW BEST:: SOT 122845 SOS 20820 HAS SOPS 20820 HAS SOUS 15444 HAS SOUPS 15444 WITH SCORE 15464.82
AT ITER 8117 NEW BEST:: SOT 122830 SOS 20902 HAS SOPS 20902 HAS SOUS 15436 HAS SOUPS 15436 WITH SCORE 15456.902
AT ITER 8364 NEW BEST:: SOT 122828 SOS 20898 HAS SOPS 20898 HAS SOUS 15432 HAS SOUPS 15432 WITH SCORE 15452.898
AT ITER 8367 NEW BEST:: SOT 122827 SOS 20896 HAS SOPS 20896 HAS SOUS 15430 HAS SOUPS 15430 WITH SCORE 15450.896
AT ITER 8387 NEW BEST:: SOT 122826 SOS 20894 HAS SOPS 20894 HAS SOUS 15428 HAS SOUPS 15428 WITH SCORE 15448.894
AT ITER 8457 NEW BEST:: SOT 122822 SOS 20918 HAS SOPS 20918 HAS SOUS 15420 HAS SOUPS 15420 WITH SCORE 15440.918
AT ITER 8529 NEW BEST:: SOT 122822 SOS 20906 HAS SOPS 20906 HAS SOUS 15408 HAS SOUPS 15408 WITH SCORE 15428.906
AT ITER 8581 NEW BEST:: SOT 122814 SOS 20890 HAS SOPS 20890 HAS SOUS 15400 HAS SOUPS 15400 WITH SCORE 15420.89
AT ITER 8606 NEW BEST:: SOT 122814 SOS 20886 HAS SOPS 20886 HAS SOUS 15396 HAS SOUPS 15396 WITH SCORE 15416.886
AT ITER 8653 NEW BEST:: SOT 122814 SOS 20884 HAS SOPS 20884 HAS SOUS 15396 HAS SOUPS 15396 WITH SCORE 15416.884
AT ITER 8676 NEW BEST:: SOT 122812 SOS 20880 HAS SOPS 20880 HAS SOUS 15392 HAS SOUPS 15392 WITH SCORE 15412.88
AT ITER 8708 NEW BEST:: SOT 122812 SOS 20880 HAS SOPS 20880 HAS SOUS 15382 HAS SOUPS 15382 WITH SCORE 15402.88
AT ITER 8712 NEW BEST:: SOT 122810 SOS 20876 HAS SOPS 20876 HAS SOUS 15378 HAS SOUPS 15378 WITH SCORE 15398.876
AT ITER 8724 NEW BEST:: SOT 122799 SOS 20854 HAS SOPS 20854 HAS SOUS 15356 HAS SOUPS 15356 WITH SCORE 15376.854
AT ITER 8788 NEW BEST:: SOT 122799 SOS 20837 HAS SOPS 20837 HAS SOUS 15339 HAS SOUPS 15339 WITH SCORE 15359.837
AT ITER 8846 NEW BEST:: SOT 122796 SOS 20831 HAS SOPS 20831 HAS SOUS 15333 HAS SOUPS 15333 WITH SCORE 15353.831
AT ITER 8885 NEW BEST:: SOT 122791 SOS 20821 HAS SOPS 20821 HAS SOUS 15323 HAS SOUPS 15323 WITH SCORE 15343.821
AT ITER 8988 NEW BEST:: SOT 122790 SOS 20819 HAS SOPS 20819 HAS SOUS 15321 HAS SOUPS 15321 WITH SCORE 15341.819
AT ITER 9005 NEW BEST:: SOT 122790 SOS 20810 HAS SOPS 20810 HAS SOUS 15318 HAS SOUPS 15318 WITH SCORE 15338.81
AT ITER 9127 NEW BEST:: SOT 122779 SOS 20788 HAS SOPS 20788 HAS SOUS 15296 HAS SOUPS 15296 WITH SCORE 15316.788
AT ITER 9145 NEW BEST:: SOT 122777 SOS 20784 HAS SOPS 20784 HAS SOUS 15292 HAS SOUPS 15292 WITH SCORE 15312.784
AT ITER 9227 NEW BEST:: SOT 122754 SOS 20738 HAS SOPS 20738 HAS SOUS 15269 HAS SOUPS 15269 WITH SCORE 15289.738
AT ITER 9234 NEW BEST:: SOT 122749 SOS 20723 HAS SOPS 20723 HAS SOUS 15254 HAS SOUPS 15254 WITH SCORE 15274.723
AT ITER 9269 NEW BEST:: SOT 122745 SOS 20719 HAS SOPS 20719 HAS SOUS 15250 HAS SOUPS 15250 WITH SCORE 15270.719
AT ITER 9321 NEW BEST:: SOT 122745 SOS 20715 HAS SOPS 20715 HAS SOUS 15250 HAS SOUPS 15250 WITH SCORE 15270.715
AT ITER 9354 NEW BEST:: SOT 122742 SOS 20709 HAS SOPS 20709 HAS SOUS 15244 HAS SOUPS 15244 WITH SCORE 15264.709
AT ITER 9364 NEW BEST:: SOT 122744 SOS 20713 HAS SOPS 20713 HAS SOUS 15230 HAS SOUPS 15230 WITH SCORE 15250.713
AT ITER 9482 NEW BEST:: SOT 122743 SOS 20711 HAS SOPS 20711 HAS SOUS 15228 HAS SOUPS 15228 WITH SCORE 15248.711
AT ITER 9515 NEW BEST:: SOT 122726 SOS 20677 HAS SOPS 20677 HAS SOUS 15194 HAS SOUPS 15194 WITH SCORE 15214.677
AT ITER 9527 NEW BEST:: SOT 122724 SOS 20673 HAS SOPS 20673 HAS SOUS 15190 HAS SOUPS 15190 WITH SCORE 15210.673
AT ITER 9621 NEW BEST:: SOT 122684 SOS 20648 HAS SOPS 20648 HAS SOUS 15180 HAS SOUPS 15180 WITH SCORE 15200.648
AT ITER 9727 NEW BEST:: SOT 122641 SOS 20562 HAS SOPS 20562 HAS SOUS 15130 HAS SOUPS 15130 WITH SCORE 15150.562
AT ITER 9769 NEW BEST:: SOT 122635 SOS 20556 HAS SOPS 20556 HAS SOUS 15124 HAS SOUPS 15124 WITH SCORE 15144.556
AT ITER 9840 NEW BEST:: SOT 122635 SOS 20554 HAS SOPS 20554 HAS SOUS 15124 HAS SOUPS 15124 WITH SCORE 15144.554
AT ITER 9927 NEW BEST:: SOT 122635 SOS 20550 HAS SOPS 20550 HAS SOUS 15112 HAS SOUPS 15112 WITH SCORE 15132.55
STATE_SPACE STATES 18282252 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 4 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 72667163 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679318129574

--------------------
content from stderr:

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="StigmergyElection-PT-03b"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is StigmergyElection-PT-03b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r451-smll-167912643700584"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/StigmergyElection-PT-03b.tgz
mv StigmergyElection-PT-03b execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;