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-167912643800672.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-09a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r451-smll-167912643800672
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 17M
-rw-r--r-- 1 mcc users 8.1K Feb 26 16:20 CTLCardinality.txt
-rw-r--r-- 1 mcc users 89K Feb 26 16:20 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 26 16:16 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 26 16:16 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 17:15 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 17:15 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 17:15 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:15 LTLFireability.xml
-rw-r--r-- 1 mcc users 6.5K Feb 26 16:29 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 61K Feb 26 16:29 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.0K Feb 26 16:25 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 64K Feb 26 16:25 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 17:15 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:15 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 17M 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 1679341837594

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-09a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running StigmergyElection (PT), instance 09a
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: 128 places, 18490 transitions, 329609 arcs.
AT ITER 0 NEW BEST:: SOT 1262381 SOS 431681 HAS SOPS 401711 HAS SOUS 20882 HAS SOUPS 20846 WITH SCORE 21277.681
AT ITER 1 NEW BEST:: SOT 1262364 SOS 431671 HAS SOPS 401699 HAS SOUS 20867 HAS SOUPS 20831 WITH SCORE 21262.671
AT ITER 17 NEW BEST:: SOT 1262351 SOS 431668 HAS SOPS 401693 HAS SOUS 20856 HAS SOUPS 20820 WITH SCORE 21251.668
AT ITER 18 NEW BEST:: SOT 1261486 SOS 430869 HAS SOPS 400846 HAS SOUS 20409 HAS SOUPS 20357 WITH SCORE 20787.869
AT ITER 19 NEW BEST:: SOT 1261464 SOS 430828 HAS SOPS 400806 HAS SOUS 20367 HAS SOUPS 20315 WITH SCORE 20745.828
AT ITER 28 NEW BEST:: SOT 1261464 SOS 430823 HAS SOPS 400796 HAS SOUS 20364 HAS SOUPS 20312 WITH SCORE 20742.823
AT ITER 30 NEW BEST:: SOT 1261469 SOS 430823 HAS SOPS 400796 HAS SOUS 20359 HAS SOUPS 20307 WITH SCORE 20737.823
AT ITER 33 NEW BEST:: SOT 1261583 SOS 430875 HAS SOPS 400848 HAS SOUS 20349 HAS SOUPS 20297 WITH SCORE 20727.875
AT ITER 41 NEW BEST:: SOT 1261585 SOS 430863 HAS SOPS 400836 HAS SOUS 20337 HAS SOUPS 20285 WITH SCORE 20715.863
AT ITER 46 NEW BEST:: SOT 1261585 SOS 430862 HAS SOPS 400836 HAS SOUS 20336 HAS SOUPS 20285 WITH SCORE 20715.862
AT ITER 50 NEW BEST:: SOT 1261659 SOS 430850 HAS SOPS 400824 HAS SOUS 20269 HAS SOUPS 20218 WITH SCORE 20648.85
AT ITER 58 NEW BEST:: SOT 1261645 SOS 430816 HAS SOPS 400784 HAS SOUS 20251 HAS SOUPS 20200 WITH SCORE 20630.816
AT ITER 63 NEW BEST:: SOT 1261645 SOS 430803 HAS SOPS 400771 HAS SOUS 20251 HAS SOUPS 20200 WITH SCORE 20630.803
AT ITER 64 NEW BEST:: SOT 1261641 SOS 430806 HAS SOPS 400774 HAS SOUS 20243 HAS SOUPS 20192 WITH SCORE 20622.806
AT ITER 67 NEW BEST:: SOT 1261640 SOS 430782 HAS SOPS 400750 HAS SOUS 20231 HAS SOUPS 20180 WITH SCORE 20610.782
AT ITER 77 NEW BEST:: SOT 1261691 SOS 430770 HAS SOPS 400738 HAS SOUS 20176 HAS SOUPS 20125 WITH SCORE 20555.77
AT ITER 80 NEW BEST:: SOT 1261715 SOS 430784 HAS SOPS 400752 HAS SOUS 20166 HAS SOUPS 20115 WITH SCORE 20545.784
AT ITER 83 NEW BEST:: SOT 1261713 SOS 430788 HAS SOPS 400756 HAS SOUS 20164 HAS SOUPS 20113 WITH SCORE 20543.788
AT ITER 90 NEW BEST:: SOT 1270542 SOS 424904 HAS SOPS 397717 HAS SOUS 16266 HAS SOUPS 16206 WITH SCORE 16630.904
AT ITER 91 NEW BEST:: SOT 1270528 SOS 424876 HAS SOPS 397689 HAS SOUS 16252 HAS SOUPS 16192 WITH SCORE 16616.876
AT ITER 98 NEW BEST:: SOT 1270545 SOS 424874 HAS SOPS 397687 HAS SOUS 16245 HAS SOUPS 16185 WITH SCORE 16609.874
AT ITER 100 NEW BEST:: SOT 1270460 SOS 424810 HAS SOPS 397623 HAS SOUS 16233 HAS SOUPS 16173 WITH SCORE 16597.81
AT ITER 112 NEW BEST:: SOT 1270459 SOS 424809 HAS SOPS 397622 HAS SOUS 16232 HAS SOUPS 16172 WITH SCORE 16596.809
AT ITER 118 NEW BEST:: SOT 1270459 SOS 424791 HAS SOPS 397604 HAS SOUS 16214 HAS SOUPS 16154 WITH SCORE 16578.791
AT ITER 121 NEW BEST:: SOT 1270487 SOS 424784 HAS SOPS 397597 HAS SOUS 16200 HAS SOUPS 16140 WITH SCORE 16564.784
AT ITER 123 NEW BEST:: SOT 1262208 SOS 471948 HAS SOPS 444761 HAS SOUS 16029 HAS SOUPS 15969 WITH SCORE 16440.948
AT ITER 128 NEW BEST:: SOT 1254728 SOS 524656 HAS SOPS 497469 HAS SOUS 15666 HAS SOUPS 15606 WITH SCORE 16130.656
AT ITER 142 NEW BEST:: SOT 1254653 SOS 524593 HAS SOPS 497396 HAS SOUS 15642 HAS SOUPS 15580 WITH SCORE 16104.593
AT ITER 150 NEW BEST:: SOT 1254639 SOS 524600 HAS SOPS 497386 HAS SOUS 15619 HAS SOUPS 15557 WITH SCORE 16081.6
AT ITER 172 NEW BEST:: SOT 1254633 SOS 524588 HAS SOPS 497374 HAS SOUS 15613 HAS SOUPS 15551 WITH SCORE 16075.588
AT ITER 189 NEW BEST:: SOT 1254619 SOS 524543 HAS SOPS 497330 HAS SOUS 15582 HAS SOUPS 15520 WITH SCORE 16044.543
AT ITER 201 NEW BEST:: SOT 1254618 SOS 524542 HAS SOPS 497328 HAS SOUS 15580 HAS SOUPS 15518 WITH SCORE 16042.542
AT ITER 236 NEW BEST:: SOT 1254758 SOS 524636 HAS SOPS 497422 HAS SOUS 15565 HAS SOUPS 15503 WITH SCORE 16027.636
AT ITER 242 NEW BEST:: SOT 1254913 SOS 524651 HAS SOPS 497437 HAS SOUS 15529 HAS SOUPS 15467 WITH SCORE 15991.651
AT ITER 258 NEW BEST:: SOT 1254912 SOS 524649 HAS SOPS 497435 HAS SOUS 15527 HAS SOUPS 15465 WITH SCORE 15989.649
AT ITER 272 NEW BEST:: SOT 1254918 SOS 524643 HAS SOPS 497429 HAS SOUS 15521 HAS SOUPS 15459 WITH SCORE 15983.643
AT ITER 280 NEW BEST:: SOT 1254934 SOS 524653 HAS SOPS 497439 HAS SOUS 15515 HAS SOUPS 15453 WITH SCORE 15977.653
AT ITER 284 NEW BEST:: SOT 1247645 SOS 536625 HAS SOPS 511571 HAS SOUS 15318 HAS SOUPS 15256 WITH SCORE 15792.625
AT ITER 286 NEW BEST:: SOT 1247669 SOS 536641 HAS SOPS 511525 HAS SOUS 14990 HAS SOUPS 14928 WITH SCORE 15464.641
AT ITER 289 NEW BEST:: SOT 1239889 SOS 528879 HAS SOPS 503818 HAS SOUS 14400 HAS SOUPS 14338 WITH SCORE 14866.879
AT ITER 297 NEW BEST:: SOT 1239909 SOS 528859 HAS SOPS 502402 HAS SOUS 13650 HAS SOUPS 13588 WITH SCORE 14116.859
AT ITER 314 NEW BEST:: SOT 1239936 SOS 528829 HAS SOPS 502372 HAS SOUS 13612 HAS SOUPS 13550 WITH SCORE 14078.829
AT ITER 316 NEW BEST:: SOT 1239936 SOS 528827 HAS SOPS 502372 HAS SOUS 13612 HAS SOUPS 13550 WITH SCORE 14078.827
AT ITER 323 NEW BEST:: SOT 1239932 SOS 528823 HAS SOPS 502368 HAS SOUS 13610 HAS SOUPS 13548 WITH SCORE 14076.823
AT ITER 324 NEW BEST:: SOT 1239958 SOS 528797 HAS SOPS 502342 HAS SOUS 13584 HAS SOUPS 13522 WITH SCORE 14050.797
AT ITER 327 NEW BEST:: SOT 1239952 SOS 528785 HAS SOPS 502330 HAS SOUS 13578 HAS SOUPS 13516 WITH SCORE 14044.785
AT ITER 329 NEW BEST:: SOT 1240021 SOS 528769 HAS SOPS 502314 HAS SOUS 13540 HAS SOUPS 13478 WITH SCORE 14006.769
AT ITER 333 NEW BEST:: SOT 1240026 SOS 528779 HAS SOPS 502234 HAS SOUS 13418 HAS SOUPS 13356 WITH SCORE 13884.779
AT ITER 339 NEW BEST:: SOT 1240016 SOS 528759 HAS SOPS 502214 HAS SOUS 13408 HAS SOUPS 13346 WITH SCORE 13874.759
AT ITER 340 NEW BEST:: SOT 1240196 SOS 528811 HAS SOPS 502266 HAS SOUS 13399 HAS SOUPS 13337 WITH SCORE 13865.811
AT ITER 367 NEW BEST:: SOT 1240189 SOS 528677 HAS SOPS 502132 HAS SOUS 13332 HAS SOUPS 13270 WITH SCORE 13798.677
AT ITER 386 NEW BEST:: SOT 1240170 SOS 528622 HAS SOPS 502092 HAS SOUS 13296 HAS SOUPS 13234 WITH SCORE 13762.622
AT ITER 394 NEW BEST:: SOT 1240186 SOS 528630 HAS SOPS 502108 HAS SOUS 13279 HAS SOUPS 13217 WITH SCORE 13745.63
AT ITER 400 NEW BEST:: SOT 1240180 SOS 499884 HAS SOPS 473362 HAS SOUS 13272 HAS SOUPS 13210 WITH SCORE 13709.884
AT ITER 422 NEW BEST:: SOT 1240198 SOS 499884 HAS SOPS 470900 HAS SOUS 13013 HAS SOUPS 12951 WITH SCORE 13450.884
AT ITER 424 NEW BEST:: SOT 1240140 SOS 499768 HAS SOPS 470784 HAS SOUS 12928 HAS SOUPS 12866 WITH SCORE 13365.768
AT ITER 425 NEW BEST:: SOT 1239691 SOS 499428 HAS SOPS 470351 HAS SOUS 12864 HAS SOUPS 12786 WITH SCORE 13285.428
AT ITER 435 NEW BEST:: SOT 1239687 SOS 499420 HAS SOPS 470411 HAS SOUS 12604 HAS SOUPS 12526 WITH SCORE 13025.42
AT ITER 436 NEW BEST:: SOT 1237665 SOS 497400 HAS SOPS 468391 HAS SOUS 12479 HAS SOUPS 12401 WITH SCORE 12898.4
AT ITER 451 NEW BEST:: SOT 1237670 SOS 497362 HAS SOPS 468353 HAS SOUS 12450 HAS SOUPS 12372 WITH SCORE 12869.362
AT ITER 455 NEW BEST:: SOT 1237658 SOS 497338 HAS SOPS 468329 HAS SOUS 12433 HAS SOUPS 12355 WITH SCORE 12852.338
AT ITER 462 NEW BEST:: SOT 1237638 SOS 497322 HAS SOPS 468313 HAS SOUS 12423 HAS SOUPS 12345 WITH SCORE 12842.322
AT ITER 473 NEW BEST:: SOT 1237623 SOS 497292 HAS SOPS 468283 HAS SOUS 12408 HAS SOUPS 12330 WITH SCORE 12827.292
AT ITER 477 NEW BEST:: SOT 1237618 SOS 497278 HAS SOPS 468273 HAS SOUS 12398 HAS SOUPS 12320 WITH SCORE 12817.278
AT ITER 481 NEW BEST:: SOT 1237600 SOS 497244 HAS SOPS 468239 HAS SOUS 12381 HAS SOUPS 12303 WITH SCORE 12800.244
AT ITER 509 NEW BEST:: SOT 1237600 SOS 497344 HAS SOPS 468575 HAS SOUS 11594 HAS SOUPS 11516 WITH SCORE 12013.344
AT ITER 515 NEW BEST:: SOT 1237598 SOS 497340 HAS SOPS 468571 HAS SOUS 11590 HAS SOUPS 11512 WITH SCORE 12009.34
AT ITER 521 NEW BEST:: SOT 1237614 SOS 497340 HAS SOPS 468571 HAS SOUS 11582 HAS SOUPS 11504 WITH SCORE 12001.34
AT ITER 526 NEW BEST:: SOT 1237608 SOS 497334 HAS SOPS 468565 HAS SOUS 11582 HAS SOUPS 11504 WITH SCORE 12001.334
AT ITER 533 NEW BEST:: SOT 1237750 SOS 497307 HAS SOPS 468553 HAS SOUS 11581 HAS SOUPS 11503 WITH SCORE 12000.307
AT ITER 536 NEW BEST:: SOT 1237739 SOS 497305 HAS SOPS 468551 HAS SOUS 11580 HAS SOUPS 11502 WITH SCORE 11999.305
AT ITER 542 NEW BEST:: SOT 1237745 SOS 497311 HAS SOPS 468549 HAS SOUS 11579 HAS SOUPS 11500 WITH SCORE 11997.311
AT ITER 548 NEW BEST:: SOT 1237819 SOS 497320 HAS SOPS 468558 HAS SOUS 11573 HAS SOUPS 11494 WITH SCORE 11991.32
AT ITER 553 NEW BEST:: SOT 1239175 SOS 498676 HAS SOPS 469812 HAS SOUS 11542 HAS SOUPS 11463 WITH SCORE 11961.676
AT ITER 554 NEW BEST:: SOT 1233548 SOS 556958 HAS SOPS 529454 HAS SOUS 11299 HAS SOUPS 11220 WITH SCORE 11776.958
AT ITER 559 NEW BEST:: SOT 1233533 SOS 556942 HAS SOPS 529438 HAS SOUS 11296 HAS SOUPS 11217 WITH SCORE 11773.942
AT ITER 569 NEW BEST:: SOT 1229935 SOS 553344 HAS SOPS 525840 HAS SOUS 11041 HAS SOUPS 10962 WITH SCORE 11515.344000000001
AT ITER 576 NEW BEST:: SOT 1229924 SOS 553280 HAS SOPS 525776 HAS SOUS 11005 HAS SOUPS 10926 WITH SCORE 11479.28
AT ITER 579 NEW BEST:: SOT 1229923 SOS 553279 HAS SOPS 525774 HAS SOUS 11003 HAS SOUPS 10924 WITH SCORE 11477.279
AT ITER 594 NEW BEST:: SOT 1229981 SOS 553299 HAS SOPS 525794 HAS SOUS 11001 HAS SOUPS 10922 WITH SCORE 11475.298999999999
AT ITER 623 NEW BEST:: SOT 1230005 SOS 553301 HAS SOPS 525796 HAS SOUS 10979 HAS SOUPS 10900 WITH SCORE 11453.301
AT ITER 639 NEW BEST:: SOT 1230037 SOS 553304 HAS SOPS 525808 HAS SOUS 10978 HAS SOUPS 10899 WITH SCORE 11452.304
AT ITER 681 NEW BEST:: SOT 1229927 SOS 553157 HAS SOPS 525651 HAS SOUS 10877 HAS SOUPS 10798 WITH SCORE 11351.157
AT ITER 692 NEW BEST:: SOT 1229921 SOS 553154 HAS SOPS 525648 HAS SOUS 10874 HAS SOUPS 10795 WITH SCORE 11348.154
AT ITER 717 NEW BEST:: SOT 1229920 SOS 553152 HAS SOPS 525646 HAS SOUS 10873 HAS SOUPS 10794 WITH SCORE 11347.152
AT ITER 735 NEW BEST:: SOT 1229882 SOS 553143 HAS SOPS 525637 HAS SOUS 10831 HAS SOUPS 10752 WITH SCORE 11305.143
AT ITER 794 NEW BEST:: SOT 1229881 SOS 553141 HAS SOPS 525635 HAS SOUS 10830 HAS SOUPS 10751 WITH SCORE 11304.141
AT ITER 799 NEW BEST:: SOT 1229881 SOS 553133 HAS SOPS 525627 HAS SOUS 10822 HAS SOUPS 10743 WITH SCORE 11296.133
AT ITER 809 NEW BEST:: SOT 1229881 SOS 553133 HAS SOPS 525123 HAS SOUS 10798 HAS SOUPS 10719 WITH SCORE 11272.133
AT ITER 816 NEW BEST:: SOT 1229881 SOS 553141 HAS SOPS 520199 HAS SOUS 10778 HAS SOUPS 10699 WITH SCORE 11252.141
AT ITER 853 NEW BEST:: SOT 1229921 SOS 553177 HAS SOPS 520235 HAS SOUS 10774 HAS SOUPS 10695 WITH SCORE 11248.177
AT ITER 867 NEW BEST:: SOT 1229940 SOS 553244 HAS SOPS 520290 HAS SOUS 10771 HAS SOUPS 10692 WITH SCORE 11245.244
AT ITER 920 NEW BEST:: SOT 1215540 SOS 575240 HAS SOPS 546806 HAS SOUS 10456 HAS SOUPS 10377 WITH SCORE 10952.24
AT ITER 922 NEW BEST:: SOT 1215532 SOS 575224 HAS SOPS 546790 HAS SOUS 10448 HAS SOUPS 10369 WITH SCORE 10944.224
AT ITER 926 NEW BEST:: SOT 1215529 SOS 575218 HAS SOPS 546784 HAS SOUS 10442 HAS SOUPS 10363 WITH SCORE 10938.218
AT ITER 934 NEW BEST:: SOT 1215528 SOS 575195 HAS SOPS 546762 HAS SOUS 10424 HAS SOUPS 10345 WITH SCORE 10920.195
AT ITER 942 NEW BEST:: SOT 1215488 SOS 575155 HAS SOPS 546722 HAS SOUS 10424 HAS SOUPS 10345 WITH SCORE 10920.155
AT ITER 1020 NEW BEST:: SOT 1215488 SOS 575155 HAS SOPS 546722 HAS SOUS 10423 HAS SOUPS 10344 WITH SCORE 10919.155
AT ITER 1025 NEW BEST:: SOT 1215617 SOS 575222 HAS SOPS 546793 HAS SOUS 10418 HAS SOUPS 10339 WITH SCORE 10914.222
AT ITER 1039 NEW BEST:: SOT 1214932 SOS 576595 HAS SOPS 546040 HAS SOUS 10349 HAS SOUPS 10193 WITH SCORE 10769.595
AT ITER 1040 NEW BEST:: SOT 1214931 SOS 576594 HAS SOPS 546038 HAS SOUS 10347 HAS SOUPS 10191 WITH SCORE 10767.594000000001
AT ITER 1052 NEW BEST:: SOT 1214922 SOS 572226 HAS SOPS 541664 HAS SOUS 10335 HAS SOUPS 10179 WITH SCORE 10751.226
AT ITER 1053 NEW BEST:: SOT 1214923 SOS 572225 HAS SOPS 541663 HAS SOUS 10334 HAS SOUPS 10178 WITH SCORE 10750.225
AT ITER 1061 NEW BEST:: SOT 1214916 SOS 572217 HAS SOPS 541663 HAS SOUS 10333 HAS SOUPS 10178 WITH SCORE 10750.217
AT ITER 1064 NEW BEST:: SOT 1214936 SOS 572215 HAS SOPS 541681 HAS SOUS 10329 HAS SOUPS 10176 WITH SCORE 10748.215
AT ITER 1069 NEW BEST:: SOT 1214892 SOS 572144 HAS SOPS 541606 HAS SOUS 10308 HAS SOUPS 10155 WITH SCORE 10727.144
AT ITER 1089 NEW BEST:: SOT 1214885 SOS 572130 HAS SOPS 541592 HAS SOUS 10301 HAS SOUPS 10148 WITH SCORE 10720.13
AT ITER 1092 NEW BEST:: SOT 1214811 SOS 572068 HAS SOPS 541523 HAS SOUS 10274 HAS SOUPS 10121 WITH SCORE 10693.068
AT ITER 1096 NEW BEST:: SOT 1236551 SOS 593800 HAS SOPS 562335 HAS SOUS 9897 HAS SOUPS 9742 WITH SCORE 10335.8
AT ITER 1112 NEW BEST:: SOT 1236517 SOS 593749 HAS SOPS 562284 HAS SOUS 9897 HAS SOUPS 9742 WITH SCORE 10335.749
AT ITER 1144 NEW BEST:: SOT 1236526 SOS 593758 HAS SOPS 562293 HAS SOUS 9890 HAS SOUPS 9735 WITH SCORE 10328.758
AT ITER 1171 NEW BEST:: SOT 1236525 SOS 593756 HAS SOPS 562291 HAS SOUS 9889 HAS SOUPS 9734 WITH SCORE 10327.756
AT ITER 1176 NEW BEST:: SOT 1236575 SOS 593764 HAS SOPS 562299 HAS SOUS 9878 HAS SOUPS 9723 WITH SCORE 10316.764
AT ITER 1197 NEW BEST:: SOT 1236567 SOS 593760 HAS SOPS 562295 HAS SOUS 9874 HAS SOUPS 9719 WITH SCORE 10312.76
AT ITER 1198 NEW BEST:: SOT 1236567 SOS 593760 HAS SOPS 562295 HAS SOUS 9872 HAS SOUPS 9717 WITH SCORE 10310.76
AT ITER 1219 NEW BEST:: SOT 1236567 SOS 593756 HAS SOPS 562291 HAS SOUS 9868 HAS SOUPS 9713 WITH SCORE 10306.756
AT ITER 1221 NEW BEST:: SOT 1236567 SOS 593741 HAS SOPS 562276 HAS SOUS 9864 HAS SOUPS 9709 WITH SCORE 10302.741
AT ITER 1281 NEW BEST:: SOT 1236567 SOS 593726 HAS SOPS 561333 HAS SOUS 9671 HAS SOUPS 9516 WITH SCORE 10109.726
AT ITER 1304 NEW BEST:: SOT 1236563 SOS 593511 HAS SOPS 561333 HAS SOUS 9667 HAS SOUPS 9516 WITH SCORE 10109.511
AT ITER 1312 NEW BEST:: SOT 1236562 SOS 593509 HAS SOPS 561331 HAS SOUS 9666 HAS SOUPS 9515 WITH SCORE 10108.509
AT ITER 1357 NEW BEST:: SOT 1236547 SOS 593479 HAS SOPS 561301 HAS SOUS 9636 HAS SOUPS 9485 WITH SCORE 10078.479
AT ITER 1372 NEW BEST:: SOT 1236523 SOS 593431 HAS SOPS 557873 HAS SOUS 9435 HAS SOUPS 9284 WITH SCORE 9877.431
AT ITER 1381 NEW BEST:: SOT 1236516 SOS 593431 HAS SOPS 557866 HAS SOUS 9430 HAS SOUPS 9277 WITH SCORE 9870.431
AT ITER 1404 NEW BEST:: SOT 1236499 SOS 593311 HAS SOPS 557746 HAS SOUS 9311 HAS SOUPS 9158 WITH SCORE 9751.311
AT ITER 1439 NEW BEST:: SOT 1236605 SOS 593275 HAS SOPS 557710 HAS SOUS 9227 HAS SOUPS 9074 WITH SCORE 9667.275
AT ITER 1473 NEW BEST:: SOT 1236605 SOS 593272 HAS SOPS 557707 HAS SOUS 9224 HAS SOUPS 9071 WITH SCORE 9664.272
AT ITER 1481 NEW BEST:: SOT 1236589 SOS 593280 HAS SOPS 561005 HAS SOUS 8996 HAS SOUPS 8843 WITH SCORE 9436.28
AT ITER 1496 NEW BEST:: SOT 1236596 SOS 593405 HAS SOPS 561068 HAS SOUS 8974 HAS SOUPS 8821 WITH SCORE 9414.405
AT ITER 1522 NEW BEST:: SOT 1236540 SOS 593377 HAS SOPS 561040 HAS SOUS 8974 HAS SOUPS 8821 WITH SCORE 9414.377
AT ITER 1526 NEW BEST:: SOT 1236534 SOS 593374 HAS SOPS 561037 HAS SOUS 8974 HAS SOUPS 8821 WITH SCORE 9414.374
AT ITER 1560 NEW BEST:: SOT 1236526 SOS 593346 HAS SOPS 561001 HAS SOUS 8958 HAS SOUPS 8805 WITH SCORE 9398.346
AT ITER 1595 NEW BEST:: SOT 1236520 SOS 593334 HAS SOPS 560989 HAS SOUS 8946 HAS SOUPS 8793 WITH SCORE 9386.334
AT ITER 1599 NEW BEST:: SOT 1236474 SOS 593242 HAS SOPS 560906 HAS SOUS 8903 HAS SOUPS 8750 WITH SCORE 9343.242
AT ITER 1615 NEW BEST:: SOT 1236496 SOS 593253 HAS SOPS 560041 HAS SOUS 8895 HAS SOUPS 8742 WITH SCORE 9335.253
AT ITER 1678 NEW BEST:: SOT 1236506 SOS 583153 HAS SOPS 549951 HAS SOUS 8900 HAS SOUPS 8747 WITH SCORE 9330.153
AT ITER 1694 NEW BEST:: SOT 1236502 SOS 582677 HAS SOPS 549471 HAS SOUS 8896 HAS SOUPS 8743 WITH SCORE 9325.677
AT ITER 1709 NEW BEST:: SOT 1236502 SOS 582673 HAS SOPS 549467 HAS SOUS 8894 HAS SOUPS 8741 WITH SCORE 9323.673
AT ITER 1743 NEW BEST:: SOT 1236504 SOS 582674 HAS SOPS 549468 HAS SOUS 8893 HAS SOUPS 8740 WITH SCORE 9322.673999999999
AT ITER 1760 NEW BEST:: SOT 1236504 SOS 582668 HAS SOPS 549468 HAS SOUS 8891 HAS SOUPS 8740 WITH SCORE 9322.668
AT ITER 1785 NEW BEST:: SOT 1236499 SOS 582665 HAS SOPS 549451 HAS SOUS 8886 HAS SOUPS 8735 WITH SCORE 9317.665
AT ITER 1865 NEW BEST:: SOT 1236498 SOS 582664 HAS SOPS 549450 HAS SOUS 8885 HAS SOUPS 8734 WITH SCORE 9316.664
AT ITER 1878 NEW BEST:: SOT 1236499 SOS 582657 HAS SOPS 549446 HAS SOUS 8883 HAS SOUPS 8732 WITH SCORE 9314.657
AT ITER 1902 NEW BEST:: SOT 1236629 SOS 582649 HAS SOPS 549438 HAS SOUS 8810 HAS SOUPS 8659 WITH SCORE 9241.649
AT ITER 1906 NEW BEST:: SOT 1236622 SOS 557575 HAS SOPS 524364 HAS SOUS 8817 HAS SOUPS 8666 WITH SCORE 9223.575
AT ITER 1921 NEW BEST:: SOT 1236562 SOS 557554 HAS SOPS 524333 HAS SOUS 8814 HAS SOUPS 8663 WITH SCORE 9220.554
AT ITER 1968 NEW BEST:: SOT 1236550 SOS 557536 HAS SOPS 524315 HAS SOUS 8807 HAS SOUPS 8656 WITH SCORE 9213.536
AT ITER 1981 NEW BEST:: SOT 1236548 SOS 557534 HAS SOPS 524311 HAS SOUS 8805 HAS SOUPS 8654 WITH SCORE 9211.534
AT ITER 1989 NEW BEST:: SOT 1236547 SOS 557561 HAS SOPS 524280 HAS SOUS 8804 HAS SOUPS 8653 WITH SCORE 9210.561
AT ITER 2008 NEW BEST:: SOT 1236521 SOS 557569 HAS SOPS 524288 HAS SOUS 8786 HAS SOUPS 8635 WITH SCORE 9192.569
AT ITER 2028 NEW BEST:: SOT 1236514 SOS 557570 HAS SOPS 524282 HAS SOUS 8783 HAS SOUPS 8629 WITH SCORE 9186.57
AT ITER 2063 NEW BEST:: SOT 1236492 SOS 512532 HAS SOPS 478442 HAS SOUS 8774 HAS SOUPS 8620 WITH SCORE 9132.532
AT ITER 2101 NEW BEST:: SOT 1236488 SOS 512538 HAS SOPS 478448 HAS SOUS 8770 HAS SOUPS 8616 WITH SCORE 9128.538
AT ITER 2104 NEW BEST:: SOT 1236488 SOS 512486 HAS SOPS 478448 HAS SOUS 8770 HAS SOUPS 8616 WITH SCORE 9128.486
AT ITER 2127 NEW BEST:: SOT 1236488 SOS 492434 HAS SOPS 458396 HAS SOUS 8770 HAS SOUPS 8616 WITH SCORE 9108.434
AT ITER 2146 NEW BEST:: SOT 1236489 SOS 492435 HAS SOPS 458395 HAS SOUS 8766 HAS SOUPS 8612 WITH SCORE 9104.435
AT ITER 2157 NEW BEST:: SOT 1236479 SOS 492415 HAS SOPS 458375 HAS SOUS 8756 HAS SOUPS 8602 WITH SCORE 9094.415
AT ITER 2164 NEW BEST:: SOT 1236479 SOS 492351 HAS SOPS 456375 HAS SOUS 8716 HAS SOUPS 8562 WITH SCORE 9054.351
AT ITER 2170 NEW BEST:: SOT 1236477 SOS 492343 HAS SOPS 456371 HAS SOUS 8714 HAS SOUPS 8560 WITH SCORE 9052.343
AT ITER 2219 NEW BEST:: SOT 1236486 SOS 492333 HAS SOPS 456375 HAS SOUS 8709 HAS SOUPS 8555 WITH SCORE 9047.333
AT ITER 2241 NEW BEST:: SOT 1236448 SOS 492311 HAS SOPS 456353 HAS SOUS 8692 HAS SOUPS 8538 WITH SCORE 9030.311
AT ITER 2276 NEW BEST:: SOT 1236438 SOS 492301 HAS SOPS 456333 HAS SOUS 8682 HAS SOUPS 8528 WITH SCORE 9020.301
AT ITER 2315 NEW BEST:: SOT 1236434 SOS 482869 HAS SOPS 446901 HAS SOUS 8683 HAS SOUPS 8529 WITH SCORE 9011.869
AT ITER 2359 NEW BEST:: SOT 1236434 SOS 482859 HAS SOPS 446891 HAS SOUS 8678 HAS SOUPS 8524 WITH SCORE 9006.859
AT ITER 2382 NEW BEST:: SOT 1236436 SOS 482858 HAS SOPS 446890 HAS SOUS 8677 HAS SOUPS 8523 WITH SCORE 9005.858
AT ITER 2396 NEW BEST:: SOT 1236432 SOS 459102 HAS SOPS 423134 HAS SOUS 8686 HAS SOUPS 8532 WITH SCORE 8991.102
AT ITER 2459 NEW BEST:: SOT 1236435 SOS 452292 HAS SOPS 416330 HAS SOUS 8686 HAS SOUPS 8532 WITH SCORE 8984.292
AT ITER 2473 NEW BEST:: SOT 1236431 SOS 452288 HAS SOPS 416322 HAS SOUS 8682 HAS SOUPS 8528 WITH SCORE 8980.288
AT ITER 2490 NEW BEST:: SOT 1236432 SOS 452288 HAS SOPS 416322 HAS SOUS 8681 HAS SOUPS 8527 WITH SCORE 8979.288
AT ITER 2514 NEW BEST:: SOT 1236431 SOS 452294 HAS SOPS 416320 HAS SOUS 8680 HAS SOUPS 8526 WITH SCORE 8978.294
AT ITER 2596 NEW BEST:: SOT 1236419 SOS 452286 HAS SOPS 416312 HAS SOUS 8676 HAS SOUPS 8522 WITH SCORE 8974.286
AT ITER 2608 NEW BEST:: SOT 1236411 SOS 452270 HAS SOPS 416296 HAS SOUS 8660 HAS SOUPS 8506 WITH SCORE 8958.27
AT ITER 2625 NEW BEST:: SOT 1236357 SOS 452189 HAS SOPS 416215 HAS SOUS 8660 HAS SOUPS 8506 WITH SCORE 8958.189
AT ITER 2628 NEW BEST:: SOT 1236369 SOS 452191 HAS SOPS 416217 HAS SOUS 8651 HAS SOUPS 8497 WITH SCORE 8949.191
AT ITER 2696 NEW BEST:: SOT 1236365 SOS 452183 HAS SOPS 416209 HAS SOUS 8643 HAS SOUPS 8489 WITH SCORE 8941.183
AT ITER 2770 NEW BEST:: SOT 1236363 SOS 452179 HAS SOPS 416205 HAS SOUS 8639 HAS SOUPS 8485 WITH SCORE 8937.179
AT ITER 2798 NEW BEST:: SOT 1227285 SOS 443103 HAS SOPS 407372 HAS SOUS 8507 HAS SOUPS 8354 WITH SCORE 8797.103
AT ITER 2826 NEW BEST:: SOT 1227282 SOS 443103 HAS SOPS 407372 HAS SOUS 8504 HAS SOUPS 8351 WITH SCORE 8794.103
AT ITER 2836 NEW BEST:: SOT 1227281 SOS 443101 HAS SOPS 407370 HAS SOUS 8502 HAS SOUPS 8349 WITH SCORE 8792.101
AT ITER 2856 NEW BEST:: SOT 1227279 SOS 443097 HAS SOPS 407366 HAS SOUS 8500 HAS SOUPS 8347 WITH SCORE 8790.097
AT ITER 2909 NEW BEST:: SOT 1227276 SOS 443091 HAS SOPS 407360 HAS SOUS 8497 HAS SOUPS 8344 WITH SCORE 8787.091
AT ITER 2966 NEW BEST:: SOT 1227270 SOS 425663 HAS SOPS 389932 HAS SOUS 8501 HAS SOUPS 8348 WITH SCORE 8773.663
AT ITER 3051 NEW BEST:: SOT 1227264 SOS 425623 HAS SOPS 389903 HAS SOUS 8489 HAS SOUPS 8336 WITH SCORE 8761.623
AT ITER 3126 NEW BEST:: SOT 1227264 SOS 425603 HAS SOPS 389893 HAS SOUS 8489 HAS SOUPS 8336 WITH SCORE 8761.603
AT ITER 3136 NEW BEST:: SOT 1227260 SOS 425595 HAS SOPS 389885 HAS SOUS 8485 HAS SOUPS 8332 WITH SCORE 8757.595
AT ITER 3144 NEW BEST:: SOT 1227259 SOS 425593 HAS SOPS 389883 HAS SOUS 8483 HAS SOUPS 8330 WITH SCORE 8755.593
AT ITER 3183 NEW BEST:: SOT 1227253 SOS 431233 HAS SOPS 389879 HAS SOUS 8478 HAS SOUPS 8324 WITH SCORE 8755.233
AT ITER 3228 NEW BEST:: SOT 1227248 SOS 431223 HAS SOPS 389869 HAS SOUS 8478 HAS SOUPS 8324 WITH SCORE 8755.223
AT ITER 3245 NEW BEST:: SOT 1227239 SOS 431232 HAS SOPS 389368 HAS SOUS 8472 HAS SOUPS 8318 WITH SCORE 8749.232
AT ITER 3266 NEW BEST:: SOT 1227229 SOS 431202 HAS SOPS 389348 HAS SOUS 8462 HAS SOUPS 8308 WITH SCORE 8739.202
AT ITER 3273 NEW BEST:: SOT 1227226 SOS 431196 HAS SOPS 389336 HAS SOUS 8456 HAS SOUPS 8302 WITH SCORE 8733.196
AT ITER 3297 NEW BEST:: SOT 1227225 SOS 431191 HAS SOPS 389334 HAS SOUS 8454 HAS SOUPS 8300 WITH SCORE 8731.191
AT ITER 3354 NEW BEST:: SOT 1227222 SOS 427583 HAS SOPS 385724 HAS SOUS 8453 HAS SOUPS 8299 WITH SCORE 8726.583
AT ITER 3432 NEW BEST:: SOT 1227222 SOS 427579 HAS SOPS 385720 HAS SOUS 8451 HAS SOUPS 8297 WITH SCORE 8724.579
AT ITER 3464 NEW BEST:: SOT 1227222 SOS 427579 HAS SOPS 386080 HAS SOUS 8443 HAS SOUPS 8289 WITH SCORE 8716.579
AT ITER 3539 NEW BEST:: SOT 1227211 SOS 427583 HAS SOPS 386058 HAS SOUS 8432 HAS SOUPS 8278 WITH SCORE 8705.583
AT ITER 3582 NEW BEST:: SOT 1227211 SOS 427579 HAS SOPS 386056 HAS SOUS 8430 HAS SOUPS 8276 WITH SCORE 8703.579
AT ITER 3606 NEW BEST:: SOT 1227202 SOS 427570 HAS SOPS 386047 HAS SOUS 8427 HAS SOUPS 8273 WITH SCORE 8700.57
AT ITER 3623 NEW BEST:: SOT 1227196 SOS 427564 HAS SOPS 386035 HAS SOUS 8421 HAS SOUPS 8267 WITH SCORE 8694.564
AT ITER 3659 NEW BEST:: SOT 1227216 SOS 427532 HAS SOPS 386039 HAS SOUS 8405 HAS SOUPS 8251 WITH SCORE 8678.532
AT ITER 3662 NEW BEST:: SOT 1227218 SOS 427529 HAS SOPS 386038 HAS SOUS 8404 HAS SOUPS 8250 WITH SCORE 8677.529
AT ITER 3737 NEW BEST:: SOT 1227218 SOS 427515 HAS SOPS 386031 HAS SOUS 8404 HAS SOUPS 8250 WITH SCORE 8677.515
AT ITER 3758 NEW BEST:: SOT 1227216 SOS 427511 HAS SOPS 386027 HAS SOUS 8403 HAS SOUPS 8249 WITH SCORE 8676.511
AT ITER 3841 NEW BEST:: SOT 1227216 SOS 427511 HAS SOPS 385415 HAS SOUS 8341 HAS SOUPS 8187 WITH SCORE 8614.511
AT ITER 3856 NEW BEST:: SOT 1227112 SOS 427460 HAS SOPS 385351 HAS SOUS 8322 HAS SOUPS 8168 WITH SCORE 8595.46
AT ITER 3965 NEW BEST:: SOT 1227112 SOS 427445 HAS SOPS 385326 HAS SOUS 8317 HAS SOUPS 8163 WITH SCORE 8590.445
AT ITER 3984 NEW BEST:: SOT 1227108 SOS 427437 HAS SOPS 385318 HAS SOUS 8309 HAS SOUPS 8155 WITH SCORE 8582.437
AT ITER 4067 NEW BEST:: SOT 1227108 SOS 427436 HAS SOPS 385317 HAS SOUS 8308 HAS SOUPS 8154 WITH SCORE 8581.436
AT ITER 4077 NEW BEST:: SOT 1227105 SOS 427434 HAS SOPS 385315 HAS SOUS 8307 HAS SOUPS 8153 WITH SCORE 8580.434
AT ITER 4143 NEW BEST:: SOT 1227105 SOS 427433 HAS SOPS 385314 HAS SOUS 8306 HAS SOUPS 8152 WITH SCORE 8579.433
AT ITER 4165 NEW BEST:: SOT 1227105 SOS 427432 HAS SOPS 385313 HAS SOUS 8306 HAS SOUPS 8152 WITH SCORE 8579.432
AT ITER 4183 NEW BEST:: SOT 1227104 SOS 427429 HAS SOPS 385311 HAS SOUS 8303 HAS SOUPS 8150 WITH SCORE 8577.429
AT ITER 4192 NEW BEST:: SOT 1227116 SOS 427440 HAS SOPS 385322 HAS SOUS 8301 HAS SOUPS 8148 WITH SCORE 8575.44
AT ITER 4201 NEW BEST:: SOT 1227115 SOS 427431 HAS SOPS 385327 HAS SOUS 8300 HAS SOUPS 8147 WITH SCORE 8574.431
AT ITER 4412 NEW BEST:: SOT 1227113 SOS 427428 HAS SOPS 385324 HAS SOUS 8300 HAS SOUPS 8147 WITH SCORE 8574.428
AT ITER 4418 NEW BEST:: SOT 1227113 SOS 427421 HAS SOPS 385324 HAS SOUS 8300 HAS SOUPS 8147 WITH SCORE 8574.421
AT ITER 4467 NEW BEST:: SOT 1227112 SOS 427419 HAS SOPS 385322 HAS SOUS 8299 HAS SOUPS 8146 WITH SCORE 8573.419
AT ITER 4524 NEW BEST:: SOT 1227111 SOS 427419 HAS SOPS 385321 HAS SOUS 8298 HAS SOUPS 8145 WITH SCORE 8572.419
AT ITER 4552 NEW BEST:: SOT 1227111 SOS 427417 HAS SOPS 385319 HAS SOUS 8298 HAS SOUPS 8145 WITH SCORE 8572.417
AT ITER 4636 NEW BEST:: SOT 1227109 SOS 427413 HAS SOPS 385315 HAS SOUS 8294 HAS SOUPS 8141 WITH SCORE 8568.413
AT ITER 4791 NEW BEST:: SOT 1227108 SOS 427413 HAS SOPS 385314 HAS SOUS 8293 HAS SOUPS 8140 WITH SCORE 8567.413
AT ITER 4841 NEW BEST:: SOT 1227106 SOS 427413 HAS SOPS 385310 HAS SOUS 8291 HAS SOUPS 8138 WITH SCORE 8565.413
AT ITER 4851 NEW BEST:: SOT 1227106 SOS 427411 HAS SOPS 385310 HAS SOUS 8291 HAS SOUPS 8138 WITH SCORE 8565.411
AT ITER 4929 NEW BEST:: SOT 1227098 SOS 427407 HAS SOPS 385420 HAS SOUS 8287 HAS SOUPS 8134 WITH SCORE 8561.407
AT ITER 4945 NEW BEST:: SOT 1227083 SOS 427392 HAS SOPS 385405 HAS SOUS 8282 HAS SOUPS 8129 WITH SCORE 8556.392
AT ITER 4992 NEW BEST:: SOT 1227105 SOS 427436 HAS SOPS 386775 HAS SOUS 8270 HAS SOUPS 8117 WITH SCORE 8544.436
AT ITER 5089 NEW BEST:: SOT 1227097 SOS 427432 HAS SOPS 386765 HAS SOUS 8268 HAS SOUPS 8115 WITH SCORE 8542.432
AT ITER 5115 NEW BEST:: SOT 1223757 SOS 424090 HAS SOPS 383425 HAS SOUS 8015 HAS SOUPS 7862 WITH SCORE 8286.09
AT ITER 5223 NEW BEST:: SOT 1223769 SOS 424084 HAS SOPS 378139 HAS SOUS 7967 HAS SOUPS 7814 WITH SCORE 8238.084
AT ITER 5232 NEW BEST:: SOT 1223762 SOS 424085 HAS SOPS 378133 HAS SOUS 7964 HAS SOUPS 7811 WITH SCORE 8235.085
AT ITER 5363 NEW BEST:: SOT 1223762 SOS 424080 HAS SOPS 378128 HAS SOUS 7963 HAS SOUPS 7810 WITH SCORE 8234.08
AT ITER 5536 NEW BEST:: SOT 1223762 SOS 424077 HAS SOPS 378128 HAS SOUS 7963 HAS SOUPS 7810 WITH SCORE 8234.077
AT ITER 5561 NEW BEST:: SOT 1223762 SOS 424075 HAS SOPS 378128 HAS SOUS 7963 HAS SOUPS 7810 WITH SCORE 8234.075
AT ITER 5594 NEW BEST:: SOT 1223761 SOS 424074 HAS SOPS 378127 HAS SOUS 7962 HAS SOUPS 7809 WITH SCORE 8233.074
AT ITER 5615 NEW BEST:: SOT 1223757 SOS 423542 HAS SOPS 377591 HAS SOUS 7958 HAS SOUPS 7805 WITH SCORE 8228.542
AT ITER 5704 NEW BEST:: SOT 1223753 SOS 423512 HAS SOPS 377570 HAS SOUS 7950 HAS SOUPS 7797 WITH SCORE 8220.512
AT ITER 5724 NEW BEST:: SOT 1223753 SOS 423510 HAS SOPS 377570 HAS SOUS 7950 HAS SOUPS 7797 WITH SCORE 8220.51
AT ITER 5730 NEW BEST:: SOT 1223736 SOS 423509 HAS SOPS 377568 HAS SOUS 7948 HAS SOUPS 7795 WITH SCORE 8218.509
AT ITER 5785 NEW BEST:: SOT 1223731 SOS 423509 HAS SOPS 377566 HAS SOUS 7947 HAS SOUPS 7794 WITH SCORE 8217.509
AT ITER 5839 NEW BEST:: SOT 1223731 SOS 423509 HAS SOPS 378898 HAS SOUS 7931 HAS SOUPS 7778 WITH SCORE 8201.509
AT ITER 5905 NEW BEST:: SOT 1223725 SOS 423497 HAS SOPS 378886 HAS SOUS 7919 HAS SOUPS 7766 WITH SCORE 8189.497
AT ITER 5906 NEW BEST:: SOT 1223725 SOS 423495 HAS SOPS 378886 HAS SOUS 7919 HAS SOUPS 7766 WITH SCORE 8189.495
AT ITER 5968 NEW BEST:: SOT 1223717 SOS 423488 HAS SOPS 378879 HAS SOUS 7918 HAS SOUPS 7765 WITH SCORE 8188.488
AT ITER 6031 NEW BEST:: SOT 1223716 SOS 423486 HAS SOPS 378877 HAS SOUS 7917 HAS SOUPS 7764 WITH SCORE 8187.486
AT ITER 6103 NEW BEST:: SOT 1223715 SOS 423484 HAS SOPS 378875 HAS SOUS 7917 HAS SOUPS 7764 WITH SCORE 8187.484
AT ITER 6142 NEW BEST:: SOT 1223695 SOS 422472 HAS SOPS 379067 HAS SOUS 7847 HAS SOUPS 7694 WITH SCORE 8116.472
AT ITER 6151 NEW BEST:: SOT 1223696 SOS 422576 HAS SOPS 379065 HAS SOUS 7848 HAS SOUPS 7693 WITH SCORE 8115.576
AT ITER 6249 NEW BEST:: SOT 1223691 SOS 422574 HAS SOPS 379059 HAS SOUS 7847 HAS SOUPS 7692 WITH SCORE 8114.574
AT ITER 6285 NEW BEST:: SOT 1223690 SOS 422572 HAS SOPS 379057 HAS SOUS 7845 HAS SOUPS 7690 WITH SCORE 8112.572
AT ITER 6330 NEW BEST:: SOT 1223690 SOS 422572 HAS SOPS 379321 HAS SOUS 7789 HAS SOUPS 7634 WITH SCORE 8056.572
AT ITER 6366 NEW BEST:: SOT 1223692 SOS 422568 HAS SOPS 379317 HAS SOUS 7787 HAS SOUPS 7632 WITH SCORE 8054.568
AT ITER 6434 NEW BEST:: SOT 1223691 SOS 422566 HAS SOPS 379315 HAS SOUS 7784 HAS SOUPS 7629 WITH SCORE 8051.566
AT ITER 6499 NEW BEST:: SOT 1223691 SOS 422559 HAS SOPS 379308 HAS SOUS 7781 HAS SOUPS 7626 WITH SCORE 8048.559
AT ITER 6669 NEW BEST:: SOT 1223691 SOS 422559 HAS SOPS 379572 HAS SOUS 7773 HAS SOUPS 7618 WITH SCORE 8040.559
AT ITER 6768 NEW BEST:: SOT 1223675 SOS 422548 HAS SOPS 379561 HAS SOUS 7765 HAS SOUPS 7610 WITH SCORE 8032.548
AT ITER 6803 NEW BEST:: SOT 1223673 SOS 422547 HAS SOPS 379559 HAS SOUS 7765 HAS SOUPS 7610 WITH SCORE 8032.5470000000005
AT ITER 6861 NEW BEST:: SOT 1223675 SOS 422539 HAS SOPS 379557 HAS SOUS 7763 HAS SOUPS 7608 WITH SCORE 8030.539
AT ITER 6958 NEW BEST:: SOT 1223674 SOS 422486 HAS SOPS 379557 HAS SOUS 7762 HAS SOUPS 7608 WITH SCORE 8030.486
AT ITER 7007 NEW BEST:: SOT 1223674 SOS 422486 HAS SOPS 379557 HAS SOUS 7760 HAS SOUPS 7606 WITH SCORE 8028.486
AT ITER 7038 NEW BEST:: SOT 1223674 SOS 422485 HAS SOPS 379556 HAS SOUS 7760 HAS SOUPS 7606 WITH SCORE 8028.485
AT ITER 7052 NEW BEST:: SOT 1223676 SOS 422489 HAS SOPS 379552 HAS SOUS 7758 HAS SOUPS 7604 WITH SCORE 8026.489
AT ITER 7334 NEW BEST:: SOT 1223676 SOS 422487 HAS SOPS 379551 HAS SOUS 7758 HAS SOUPS 7604 WITH SCORE 8026.487
AT ITER 7402 NEW BEST:: SOT 1223675 SOS 422483 HAS SOPS 379547 HAS SOUS 7756 HAS SOUPS 7602 WITH SCORE 8024.483
AT ITER 7529 NEW BEST:: SOT 1223675 SOS 422482 HAS SOPS 379546 HAS SOUS 7756 HAS SOUPS 7602 WITH SCORE 8024.482
AT ITER 7560 NEW BEST:: SOT 1223675 SOS 422480 HAS SOPS 379546 HAS SOUS 7756 HAS SOUPS 7602 WITH SCORE 8024.48
AT ITER 7603 NEW BEST:: SOT 1223674 SOS 422486 HAS SOPS 379552 HAS SOUS 7755 HAS SOUPS 7601 WITH SCORE 8023.486
AT ITER 7619 NEW BEST:: SOT 1223673 SOS 422484 HAS SOPS 379550 HAS SOUS 7754 HAS SOUPS 7600 WITH SCORE 8022.484
AT ITER 7626 NEW BEST:: SOT 1223672 SOS 422378 HAS SOPS 379550 HAS SOUS 7752 HAS SOUPS 7600 WITH SCORE 8022.378
AT ITER 7688 NEW BEST:: SOT 1223671 SOS 422377 HAS SOPS 379549 HAS SOUS 7751 HAS SOUPS 7599 WITH SCORE 8021.377
AT ITER 7749 NEW BEST:: SOT 1223673 SOS 422375 HAS SOPS 379547 HAS SOUS 7749 HAS SOUPS 7597 WITH SCORE 8019.375
AT ITER 7793 NEW BEST:: SOT 1223667 SOS 422373 HAS SOPS 379543 HAS SOUS 7747 HAS SOUPS 7595 WITH SCORE 8017.373
AT ITER 7988 NEW BEST:: SOT 1223669 SOS 422375 HAS SOPS 380171 HAS SOUS 7745 HAS SOUPS 7593 WITH SCORE 8015.375
AT ITER 8170 NEW BEST:: SOT 1223649 SOS 422365 HAS SOPS 380161 HAS SOUS 7745 HAS SOUPS 7593 WITH SCORE 8015.365
AT ITER 8244 NEW BEST:: SOT 1223639 SOS 422357 HAS SOPS 380153 HAS SOUS 7743 HAS SOUPS 7591 WITH SCORE 8013.357
AT ITER 8290 NEW BEST:: SOT 1223638 SOS 422355 HAS SOPS 380151 HAS SOUS 7742 HAS SOUPS 7590 WITH SCORE 8012.355
AT ITER 8294 NEW BEST:: SOT 1223567 SOS 422312 HAS SOPS 380108 HAS SOUS 7732 HAS SOUPS 7580 WITH SCORE 8002.312
AT ITER 8304 NEW BEST:: SOT 1223566 SOS 422313 HAS SOPS 380109 HAS SOUS 7731 HAS SOUPS 7579 WITH SCORE 8001.313
AT ITER 8323 NEW BEST:: SOT 1223565 SOS 422315 HAS SOPS 380109 HAS SOUS 7730 HAS SOUPS 7578 WITH SCORE 8000.315
AT ITER 8382 NEW BEST:: SOT 1223565 SOS 422313 HAS SOPS 380107 HAS SOUS 7730 HAS SOUPS 7578 WITH SCORE 8000.313
AT ITER 8449 NEW BEST:: SOT 1223557 SOS 422321 HAS SOPS 380115 HAS SOUS 7729 HAS SOUPS 7577 WITH SCORE 7999.321
AT ITER 8546 NEW BEST:: SOT 1223557 SOS 422001 HAS SOPS 379795 HAS SOUS 7728 HAS SOUPS 7576 WITH SCORE 7998.001
AT ITER 8626 NEW BEST:: SOT 1223552 SOS 422003 HAS SOPS 379792 HAS SOUS 7725 HAS SOUPS 7573 WITH SCORE 7995.003
AT ITER 8638 NEW BEST:: SOT 1223545 SOS 421995 HAS SOPS 379784 HAS SOUS 7720 HAS SOUPS 7568 WITH SCORE 7989.995
AT ITER 8650 NEW BEST:: SOT 1223544 SOS 421989 HAS SOPS 379778 HAS SOUS 7719 HAS SOUPS 7567 WITH SCORE 7988.989
AT ITER 8802 NEW BEST:: SOT 1223544 SOS 422821 HAS SOPS 380610 HAS SOUS 7718 HAS SOUPS 7566 WITH SCORE 7988.821
AT ITER 8843 NEW BEST:: SOT 1223536 SOS 422815 HAS SOPS 380604 HAS SOUS 7717 HAS SOUPS 7565 WITH SCORE 7987.815
AT ITER 8854 NEW BEST:: SOT 1223510 SOS 422802 HAS SOPS 380578 HAS SOUS 7717 HAS SOUPS 7565 WITH SCORE 7987.802
AT ITER 9291 NEW BEST:: SOT 1223508 SOS 422800 HAS SOPS 380576 HAS SOUS 7715 HAS SOUPS 7563 WITH SCORE 7985.8
AT ITER 9401 NEW BEST:: SOT 1223497 SOS 422794 HAS SOPS 380562 HAS SOUS 7712 HAS SOUPS 7560 WITH SCORE 7982.794
AT ITER 9587 NEW BEST:: SOT 1223499 SOS 422790 HAS SOPS 380558 HAS SOUS 7712 HAS SOUPS 7560 WITH SCORE 7982.79
AT ITER 9682 NEW BEST:: SOT 1223497 SOS 422792 HAS SOPS 380557 HAS SOUS 7710 HAS SOUPS 7558 WITH SCORE 7980.792
AT ITER 9687 NEW BEST:: SOT 1223495 SOS 422794 HAS SOPS 380559 HAS SOUS 7709 HAS SOUPS 7557 WITH SCORE 7979.794
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 15830016 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16139892 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
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-09a"
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-09a, 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-167912643800672"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/StigmergyElection-PT-09a.tgz
mv StigmergyElection-PT-09a 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 ;