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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 5.7M
-rw-r--r-- 1 mcc users 5.9K Feb 26 16:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 58K Feb 26 16:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.7K Feb 26 16:40 CTLFireability.txt
-rw-r--r-- 1 mcc users 40K Feb 26 16:40 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 17:15 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 17:15 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 17:15 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 17:15 LTLFireability.xml
-rw-r--r-- 1 mcc users 6.9K Feb 26 16:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 65K Feb 26 16:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 16:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 95K Feb 26 16:49 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 5.3M 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 1679334170746

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-08a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running StigmergyElection (PT), instance 08a
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: 114 places, 6882 transitions, 107626 arcs.
AT ITER 0 NEW BEST:: SOT 415512 SOS 141303 HAS SOPS 130431 HAS SOUS 10896 HAS SOUPS 10864 WITH SCORE 11005.303
AT ITER 7 NEW BEST:: SOT 415504 SOS 141302 HAS SOPS 130429 HAS SOUS 10882 HAS SOUPS 10850 WITH SCORE 10991.302
AT ITER 8 NEW BEST:: SOT 460683 SOS 186437 HAS SOPS 168676 HAS SOUS 10133 HAS SOUPS 10082 WITH SCORE 10268.437
AT ITER 9 NEW BEST:: SOT 460698 SOS 186450 HAS SOPS 168689 HAS SOUS 10125 HAS SOUPS 10074 WITH SCORE 10260.45
AT ITER 11 NEW BEST:: SOT 460668 SOS 186427 HAS SOPS 168663 HAS SOUS 10099 HAS SOUPS 10048 WITH SCORE 10234.427
AT ITER 14 NEW BEST:: SOT 460663 SOS 186428 HAS SOPS 168664 HAS SOUS 10098 HAS SOUPS 10047 WITH SCORE 10233.428
AT ITER 25 NEW BEST:: SOT 460680 SOS 186423 HAS SOPS 168659 HAS SOUS 10089 HAS SOUPS 10038 WITH SCORE 10224.423
AT ITER 27 NEW BEST:: SOT 460651 SOS 186389 HAS SOPS 168625 HAS SOUS 10072 HAS SOUPS 10021 WITH SCORE 10207.389
AT ITER 30 NEW BEST:: SOT 460659 SOS 186389 HAS SOPS 168625 HAS SOUS 10064 HAS SOUPS 10013 WITH SCORE 10199.389
AT ITER 35 NEW BEST:: SOT 460647 SOS 186365 HAS SOPS 168601 HAS SOUS 10046 HAS SOUPS 9995 WITH SCORE 10181.365
AT ITER 39 NEW BEST:: SOT 460616 SOS 186330 HAS SOPS 168561 HAS SOUS 10013 HAS SOUPS 9962 WITH SCORE 10148.33
AT ITER 40 NEW BEST:: SOT 460627 SOS 186319 HAS SOPS 168550 HAS SOUS 10002 HAS SOUPS 9951 WITH SCORE 10137.319
AT ITER 51 NEW BEST:: SOT 460644 SOS 186243 HAS SOPS 168474 HAS SOUS 9924 HAS SOUPS 9873 WITH SCORE 10059.243
AT ITER 58 NEW BEST:: SOT 460669 SOS 186210 HAS SOPS 168441 HAS SOUS 9882 HAS SOUPS 9831 WITH SCORE 10017.21
AT ITER 65 NEW BEST:: SOT 460637 SOS 186206 HAS SOPS 168435 HAS SOUS 9858 HAS SOUPS 9807 WITH SCORE 9993.206
AT ITER 85 NEW BEST:: SOT 460643 SOS 186208 HAS SOPS 168437 HAS SOUS 9854 HAS SOUPS 9803 WITH SCORE 9989.208
AT ITER 86 NEW BEST:: SOT 460643 SOS 186203 HAS SOPS 168432 HAS SOUS 9854 HAS SOUPS 9803 WITH SCORE 9989.203
AT ITER 92 NEW BEST:: SOT 460746 SOS 186253 HAS SOPS 168482 HAS SOUS 9848 HAS SOUPS 9797 WITH SCORE 9983.253
AT ITER 97 NEW BEST:: SOT 460722 SOS 186229 HAS SOPS 168458 HAS SOUS 9848 HAS SOUPS 9797 WITH SCORE 9983.229
AT ITER 102 NEW BEST:: SOT 460754 SOS 186261 HAS SOPS 166990 HAS SOUS 9576 HAS SOUPS 9525 WITH SCORE 9711.261
AT ITER 110 NEW BEST:: SOT 460793 SOS 186287 HAS SOPS 162639 HAS SOUS 8911 HAS SOUPS 8860 WITH SCORE 9046.287
AT ITER 112 NEW BEST:: SOT 460805 SOS 186287 HAS SOPS 162639 HAS SOUS 8899 HAS SOUPS 8848 WITH SCORE 9034.287
AT ITER 117 NEW BEST:: SOT 460875 SOS 186315 HAS SOPS 162667 HAS SOUS 8882 HAS SOUPS 8831 WITH SCORE 9017.315
AT ITER 122 NEW BEST:: SOT 460957 SOS 186288 HAS SOPS 162645 HAS SOUS 8839 HAS SOUPS 8788 WITH SCORE 8974.288
AT ITER 124 NEW BEST:: SOT 460140 SOS 185528 HAS SOPS 161812 HAS SOUS 8416 HAS SOUPS 8345 WITH SCORE 8530.528
AT ITER 126 NEW BEST:: SOT 460120 SOS 185488 HAS SOPS 161772 HAS SOUS 8380 HAS SOUPS 8309 WITH SCORE 8494.488
AT ITER 128 NEW BEST:: SOT 454737 SOS 180109 HAS SOPS 156505 HAS SOUS 7992 HAS SOUPS 7922 WITH SCORE 8102.109
AT ITER 133 NEW BEST:: SOT 454709 SOS 180050 HAS SOPS 156439 HAS SOUS 7957 HAS SOUPS 7887 WITH SCORE 8067.05
AT ITER 134 NEW BEST:: SOT 454732 SOS 180066 HAS SOPS 156455 HAS SOUS 7950 HAS SOUPS 7880 WITH SCORE 8060.066
AT ITER 143 NEW BEST:: SOT 456692 SOS 182026 HAS SOPS 158347 HAS SOUS 7880 HAS SOUPS 7810 WITH SCORE 7992.026
AT ITER 150 NEW BEST:: SOT 456692 SOS 182017 HAS SOPS 158338 HAS SOUS 7871 HAS SOUPS 7801 WITH SCORE 7983.017
AT ITER 159 NEW BEST:: SOT 456665 SOS 181989 HAS SOPS 158304 HAS SOUS 7844 HAS SOUPS 7774 WITH SCORE 7955.989
AT ITER 160 NEW BEST:: SOT 456649 SOS 181989 HAS SOPS 156949 HAS SOUS 7789 HAS SOUPS 7719 WITH SCORE 7900.989
AT ITER 162 NEW BEST:: SOT 456639 SOS 181970 HAS SOPS 156940 HAS SOUS 7780 HAS SOUPS 7710 WITH SCORE 7891.97
AT ITER 164 NEW BEST:: SOT 455990 SOS 181765 HAS SOPS 156295 HAS SOUS 7792 HAS SOUPS 7682 WITH SCORE 7863.765
AT ITER 166 NEW BEST:: SOT 455962 SOS 181737 HAS SOPS 156267 HAS SOUS 7764 HAS SOUPS 7654 WITH SCORE 7835.737
AT ITER 172 NEW BEST:: SOT 455990 SOS 181758 HAS SOPS 154604 HAS SOUS 7593 HAS SOUPS 7483 WITH SCORE 7664.758
AT ITER 179 NEW BEST:: SOT 455983 SOS 181744 HAS SOPS 154590 HAS SOUS 7579 HAS SOUPS 7469 WITH SCORE 7650.744
AT ITER 182 NEW BEST:: SOT 455997 SOS 181751 HAS SOPS 153746 HAS SOUS 7332 HAS SOUPS 7222 WITH SCORE 7403.751
AT ITER 184 NEW BEST:: SOT 455941 SOS 181695 HAS SOPS 153690 HAS SOUS 7332 HAS SOUPS 7222 WITH SCORE 7403.695
AT ITER 196 NEW BEST:: SOT 455925 SOS 181679 HAS SOPS 153674 HAS SOUS 7332 HAS SOUPS 7222 WITH SCORE 7403.679
AT ITER 207 NEW BEST:: SOT 447679 SOS 173439 HAS SOPS 145728 HAS SOUS 7010 HAS SOUPS 6902 WITH SCORE 7075.439
AT ITER 218 NEW BEST:: SOT 447670 SOS 173398 HAS SOPS 145693 HAS SOUS 6994 HAS SOUPS 6886 WITH SCORE 7059.398
AT ITER 221 NEW BEST:: SOT 447669 SOS 173397 HAS SOPS 145692 HAS SOUS 6993 HAS SOUPS 6885 WITH SCORE 7058.397
AT ITER 223 NEW BEST:: SOT 447682 SOS 173397 HAS SOPS 145692 HAS SOUS 6980 HAS SOUPS 6872 WITH SCORE 7045.397
AT ITER 225 NEW BEST:: SOT 447750 SOS 173387 HAS SOPS 145682 HAS SOUS 6957 HAS SOUPS 6849 WITH SCORE 7022.387
AT ITER 228 NEW BEST:: SOT 447745 SOS 173377 HAS SOPS 145672 HAS SOUS 6952 HAS SOUPS 6844 WITH SCORE 7017.377
AT ITER 242 NEW BEST:: SOT 447744 SOS 173376 HAS SOPS 145670 HAS SOUS 6950 HAS SOUPS 6842 WITH SCORE 7015.376
AT ITER 247 NEW BEST:: SOT 447753 SOS 173373 HAS SOPS 145667 HAS SOUS 6940 HAS SOUPS 6832 WITH SCORE 7005.373
AT ITER 249 NEW BEST:: SOT 447751 SOS 173369 HAS SOPS 145663 HAS SOUS 6933 HAS SOUPS 6825 WITH SCORE 6998.369
AT ITER 261 NEW BEST:: SOT 447769 SOS 173369 HAS SOPS 145663 HAS SOUS 6924 HAS SOUPS 6816 WITH SCORE 6989.369
AT ITER 277 NEW BEST:: SOT 447734 SOS 173375 HAS SOPS 145669 HAS SOUS 6898 HAS SOUPS 6790 WITH SCORE 6963.375
AT ITER 278 NEW BEST:: SOT 447738 SOS 173363 HAS SOPS 145657 HAS SOUS 6882 HAS SOUPS 6774 WITH SCORE 6947.363
AT ITER 279 NEW BEST:: SOT 447708 SOS 173373 HAS SOPS 145667 HAS SOUS 6876 HAS SOUPS 6768 WITH SCORE 6941.373
AT ITER 294 NEW BEST:: SOT 447688 SOS 173343 HAS SOPS 145625 HAS SOUS 6855 HAS SOUPS 6747 WITH SCORE 6920.343
AT ITER 309 NEW BEST:: SOT 447697 SOS 173336 HAS SOPS 145627 HAS SOUS 6850 HAS SOUPS 6742 WITH SCORE 6915.336
AT ITER 344 NEW BEST:: SOT 447718 SOS 173336 HAS SOPS 145627 HAS SOUS 6847 HAS SOUPS 6739 WITH SCORE 6912.336
AT ITER 352 NEW BEST:: SOT 447685 SOS 173270 HAS SOPS 145561 HAS SOUS 6814 HAS SOUPS 6706 WITH SCORE 6879.27
AT ITER 377 NEW BEST:: SOT 447682 SOS 173264 HAS SOPS 145555 HAS SOUS 6811 HAS SOUPS 6703 WITH SCORE 6876.264
AT ITER 379 NEW BEST:: SOT 447723 SOS 173294 HAS SOPS 145585 HAS SOUS 6800 HAS SOUPS 6692 WITH SCORE 6865.294
AT ITER 389 NEW BEST:: SOT 447711 SOS 174463 HAS SOPS 145485 HAS SOUS 6792 HAS SOUPS 6652 WITH SCORE 6826.463
AT ITER 395 NEW BEST:: SOT 447697 SOS 174435 HAS SOPS 145485 HAS SOUS 6792 HAS SOUPS 6652 WITH SCORE 6826.435
AT ITER 400 NEW BEST:: SOT 447693 SOS 174341 HAS SOPS 145483 HAS SOUS 6788 HAS SOUPS 6650 WITH SCORE 6824.341
AT ITER 406 NEW BEST:: SOT 447699 SOS 174337 HAS SOPS 145479 HAS SOUS 6786 HAS SOUPS 6648 WITH SCORE 6822.337
AT ITER 435 NEW BEST:: SOT 447711 SOS 174352 HAS SOPS 143997 HAS SOUS 6766 HAS SOUPS 6628 WITH SCORE 6802.352
AT ITER 443 NEW BEST:: SOT 447711 SOS 174338 HAS SOPS 143983 HAS SOUS 6766 HAS SOUPS 6628 WITH SCORE 6802.338
AT ITER 462 NEW BEST:: SOT 447690 SOS 174276 HAS SOPS 143941 HAS SOUS 6745 HAS SOUPS 6607 WITH SCORE 6781.276
AT ITER 490 NEW BEST:: SOT 447684 SOS 174290 HAS SOPS 143929 HAS SOUS 6739 HAS SOUPS 6601 WITH SCORE 6775.29
AT ITER 499 NEW BEST:: SOT 447688 SOS 174290 HAS SOPS 143929 HAS SOUS 6737 HAS SOUPS 6599 WITH SCORE 6773.29
AT ITER 500 NEW BEST:: SOT 447720 SOS 174250 HAS SOPS 143917 HAS SOUS 6725 HAS SOUPS 6587 WITH SCORE 6761.25
AT ITER 513 NEW BEST:: SOT 447724 SOS 174242 HAS SOPS 143917 HAS SOUS 6721 HAS SOUPS 6583 WITH SCORE 6757.242
AT ITER 515 NEW BEST:: SOT 447759 SOS 174222 HAS SOPS 143903 HAS SOUS 6704 HAS SOUPS 6566 WITH SCORE 6740.222
AT ITER 522 NEW BEST:: SOT 447766 SOS 174208 HAS SOPS 143903 HAS SOUS 6697 HAS SOUPS 6559 WITH SCORE 6733.208
AT ITER 526 NEW BEST:: SOT 447766 SOS 174423 HAS SOPS 143898 HAS SOUS 6697 HAS SOUPS 6554 WITH SCORE 6728.423
AT ITER 529 NEW BEST:: SOT 447766 SOS 174423 HAS SOPS 144020 HAS SOUS 6524 HAS SOUPS 6381 WITH SCORE 6555.423
AT ITER 542 NEW BEST:: SOT 447786 SOS 174400 HAS SOPS 144028 HAS SOUS 6512 HAS SOUPS 6371 WITH SCORE 6545.4
AT ITER 555 NEW BEST:: SOT 447804 SOS 174403 HAS SOPS 144031 HAS SOUS 6506 HAS SOUPS 6365 WITH SCORE 6539.403
AT ITER 569 NEW BEST:: SOT 447780 SOS 174387 HAS SOPS 143999 HAS SOUS 6498 HAS SOUPS 6357 WITH SCORE 6531.387
AT ITER 578 NEW BEST:: SOT 447792 SOS 174396 HAS SOPS 143225 HAS SOUS 6481 HAS SOUPS 6340 WITH SCORE 6514.396
AT ITER 593 NEW BEST:: SOT 447792 SOS 174392 HAS SOPS 143223 HAS SOUS 6481 HAS SOUPS 6340 WITH SCORE 6514.392
AT ITER 614 NEW BEST:: SOT 447803 SOS 174385 HAS SOPS 143221 HAS SOUS 6473 HAS SOUPS 6332 WITH SCORE 6506.385
AT ITER 645 NEW BEST:: SOT 447915 SOS 174408 HAS SOPS 143244 HAS SOUS 6466 HAS SOUPS 6325 WITH SCORE 6499.408
AT ITER 678 NEW BEST:: SOT 447913 SOS 174386 HAS SOPS 143227 HAS SOUS 6449 HAS SOUPS 6308 WITH SCORE 6482.386
AT ITER 686 NEW BEST:: SOT 448003 SOS 174408 HAS SOPS 143263 HAS SOUS 6445 HAS SOUPS 6304 WITH SCORE 6478.408
AT ITER 706 NEW BEST:: SOT 448003 SOS 174402 HAS SOPS 143260 HAS SOUS 6445 HAS SOUPS 6304 WITH SCORE 6478.402
AT ITER 707 NEW BEST:: SOT 447907 SOS 174306 HAS SOPS 143164 HAS SOUS 6441 HAS SOUPS 6300 WITH SCORE 6474.306
AT ITER 713 NEW BEST:: SOT 447911 SOS 174303 HAS SOPS 143161 HAS SOUS 6438 HAS SOUPS 6297 WITH SCORE 6471.303
AT ITER 716 NEW BEST:: SOT 447911 SOS 154444 HAS SOPS 132039 HAS SOUS 6310 HAS SOUPS 6173 WITH SCORE 6327.444
AT ITER 717 NEW BEST:: SOT 447944 SOS 154434 HAS SOPS 132067 HAS SOUS 6305 HAS SOUPS 6168 WITH SCORE 6322.434
AT ITER 743 NEW BEST:: SOT 447846 SOS 154395 HAS SOPS 132018 HAS SOUS 6285 HAS SOUPS 6148 WITH SCORE 6302.395
AT ITER 746 NEW BEST:: SOT 447848 SOS 154395 HAS SOPS 132018 HAS SOUS 6283 HAS SOUPS 6146 WITH SCORE 6300.395
AT ITER 758 NEW BEST:: SOT 446192 SOS 162435 HAS SOPS 143506 HAS SOUS 6254 HAS SOUPS 6117 WITH SCORE 6279.435
AT ITER 766 NEW BEST:: SOT 446326 SOS 162413 HAS SOPS 143542 HAS SOUS 6232 HAS SOUPS 6095 WITH SCORE 6257.4130000000005
AT ITER 773 NEW BEST:: SOT 446323 SOS 162407 HAS SOPS 143536 HAS SOUS 6226 HAS SOUPS 6089 WITH SCORE 6251.407
AT ITER 792 NEW BEST:: SOT 446310 SOS 162391 HAS SOPS 143520 HAS SOUS 6223 HAS SOUPS 6086 WITH SCORE 6248.391
AT ITER 795 NEW BEST:: SOT 446430 SOS 162360 HAS SOPS 143520 HAS SOUS 6163 HAS SOUPS 6026 WITH SCORE 6188.36
AT ITER 797 NEW BEST:: SOT 446429 SOS 162341 HAS SOPS 143509 HAS SOUS 6161 HAS SOUPS 6024 WITH SCORE 6186.341
AT ITER 802 NEW BEST:: SOT 446426 SOS 162338 HAS SOPS 143506 HAS SOUS 6161 HAS SOUPS 6024 WITH SCORE 6186.338
AT ITER 808 NEW BEST:: SOT 446451 SOS 162332 HAS SOPS 143500 HAS SOUS 6155 HAS SOUPS 6018 WITH SCORE 6180.332
AT ITER 810 NEW BEST:: SOT 446442 SOS 162330 HAS SOPS 143498 HAS SOUS 6151 HAS SOUPS 6014 WITH SCORE 6176.33
AT ITER 811 NEW BEST:: SOT 446443 SOS 162331 HAS SOPS 143498 HAS SOUS 6150 HAS SOUPS 6012 WITH SCORE 6174.331
AT ITER 831 NEW BEST:: SOT 446423 SOS 162311 HAS SOPS 143478 HAS SOUS 6150 HAS SOUPS 6012 WITH SCORE 6174.311
AT ITER 841 NEW BEST:: SOT 446309 SOS 162113 HAS SOPS 143250 HAS SOUS 6028 HAS SOUPS 5890 WITH SCORE 6052.113
AT ITER 849 NEW BEST:: SOT 446297 SOS 162077 HAS SOPS 143226 HAS SOUS 6016 HAS SOUPS 5878 WITH SCORE 6040.077
AT ITER 860 NEW BEST:: SOT 446291 SOS 162071 HAS SOPS 143220 HAS SOUS 6010 HAS SOUPS 5872 WITH SCORE 6034.071
AT ITER 891 NEW BEST:: SOT 446299 SOS 162071 HAS SOPS 143032 HAS SOUS 5999 HAS SOUPS 5861 WITH SCORE 6023.071
AT ITER 952 NEW BEST:: SOT 446287 SOS 162062 HAS SOPS 143023 HAS SOUS 5997 HAS SOUPS 5859 WITH SCORE 6021.062
AT ITER 957 NEW BEST:: SOT 446279 SOS 162054 HAS SOPS 143007 HAS SOUS 5990 HAS SOUPS 5852 WITH SCORE 6014.054
AT ITER 978 NEW BEST:: SOT 446281 SOS 162052 HAS SOPS 143005 HAS SOUS 5988 HAS SOUPS 5850 WITH SCORE 6012.052
AT ITER 1013 NEW BEST:: SOT 446282 SOS 161218 HAS SOPS 142173 HAS SOUS 5988 HAS SOUPS 5850 WITH SCORE 6011.218
AT ITER 1043 NEW BEST:: SOT 446281 SOS 161217 HAS SOPS 142171 HAS SOUS 5986 HAS SOUPS 5848 WITH SCORE 6009.217
AT ITER 1073 NEW BEST:: SOT 446285 SOS 161213 HAS SOPS 142159 HAS SOUS 5982 HAS SOUPS 5844 WITH SCORE 6005.213
AT ITER 1098 NEW BEST:: SOT 446285 SOS 161213 HAS SOPS 141858 HAS SOUS 5852 HAS SOUPS 5714 WITH SCORE 5875.213
AT ITER 1105 NEW BEST:: SOT 446294 SOS 161195 HAS SOPS 141858 HAS SOUS 5843 HAS SOUPS 5705 WITH SCORE 5866.195
AT ITER 1115 NEW BEST:: SOT 446351 SOS 161171 HAS SOPS 141880 HAS SOUS 5843 HAS SOUPS 5705 WITH SCORE 5866.171
AT ITER 1187 NEW BEST:: SOT 446350 SOS 161169 HAS SOPS 141878 HAS SOUS 5841 HAS SOUPS 5703 WITH SCORE 5864.169
AT ITER 1227 NEW BEST:: SOT 446349 SOS 161168 HAS SOPS 141877 HAS SOUS 5840 HAS SOUPS 5702 WITH SCORE 5863.168
AT ITER 1315 NEW BEST:: SOT 446342 SOS 161149 HAS SOPS 141863 HAS SOUS 5826 HAS SOUPS 5688 WITH SCORE 5849.149
AT ITER 1325 NEW BEST:: SOT 446318 SOS 161137 HAS SOPS 141839 HAS SOUS 5826 HAS SOUPS 5688 WITH SCORE 5849.137
AT ITER 1330 NEW BEST:: SOT 446307 SOS 161115 HAS SOPS 141827 HAS SOUS 5814 HAS SOUPS 5676 WITH SCORE 5837.115
AT ITER 1351 NEW BEST:: SOT 446304 SOS 161119 HAS SOPS 141831 HAS SOUS 5810 HAS SOUPS 5672 WITH SCORE 5833.119
AT ITER 1357 NEW BEST:: SOT 446437 SOS 161098 HAS SOPS 141810 HAS SOUS 5785 HAS SOUPS 5647 WITH SCORE 5808.098
AT ITER 1389 NEW BEST:: SOT 443025 SOS 157691 HAS SOPS 138548 HAS SOUS 5719 HAS SOUPS 5582 WITH SCORE 5739.691
AT ITER 1396 NEW BEST:: SOT 443023 SOS 157689 HAS SOPS 138546 HAS SOUS 5718 HAS SOUPS 5581 WITH SCORE 5738.689
AT ITER 1408 NEW BEST:: SOT 443032 SOS 157687 HAS SOPS 138554 HAS SOUS 5717 HAS SOUPS 5580 WITH SCORE 5737.687
AT ITER 1409 NEW BEST:: SOT 443032 SOS 157687 HAS SOPS 138534 HAS SOUS 5670 HAS SOUPS 5533 WITH SCORE 5690.687
AT ITER 1453 NEW BEST:: SOT 443031 SOS 157680 HAS SOPS 138522 HAS SOUS 5666 HAS SOUPS 5529 WITH SCORE 5686.68
AT ITER 1455 NEW BEST:: SOT 443029 SOS 157679 HAS SOPS 138521 HAS SOUS 5666 HAS SOUPS 5529 WITH SCORE 5686.679
AT ITER 1462 NEW BEST:: SOT 443036 SOS 157666 HAS SOPS 138517 HAS SOUS 5664 HAS SOUPS 5527 WITH SCORE 5684.666
AT ITER 1487 NEW BEST:: SOT 443034 SOS 158498 HAS SOPS 139347 HAS SOUS 5663 HAS SOUPS 5526 WITH SCORE 5684.498
AT ITER 1505 NEW BEST:: SOT 443013 SOS 158480 HAS SOPS 139329 HAS SOUS 5658 HAS SOUPS 5521 WITH SCORE 5679.48
AT ITER 1531 NEW BEST:: SOT 443011 SOS 158488 HAS SOPS 139325 HAS SOUS 5656 HAS SOUPS 5519 WITH SCORE 5677.488
AT ITER 1534 NEW BEST:: SOT 443037 SOS 158512 HAS SOPS 139349 HAS SOUS 5654 HAS SOUPS 5517 WITH SCORE 5675.512
AT ITER 1538 NEW BEST:: SOT 443064 SOS 158511 HAS SOPS 139295 HAS SOUS 5636 HAS SOUPS 5499 WITH SCORE 5657.511
AT ITER 1567 NEW BEST:: SOT 443134 SOS 158589 HAS SOPS 139343 HAS SOUS 5622 HAS SOUPS 5485 WITH SCORE 5643.589
AT ITER 1629 NEW BEST:: SOT 443128 SOS 158583 HAS SOPS 139331 HAS SOUS 5611 HAS SOUPS 5474 WITH SCORE 5632.583
AT ITER 1645 NEW BEST:: SOT 443127 SOS 158581 HAS SOPS 139329 HAS SOUS 5610 HAS SOUPS 5473 WITH SCORE 5631.581
AT ITER 1647 NEW BEST:: SOT 443119 SOS 158575 HAS SOPS 139323 HAS SOUS 5604 HAS SOUPS 5467 WITH SCORE 5625.575
AT ITER 1707 NEW BEST:: SOT 443101 SOS 158565 HAS SOPS 139309 HAS SOUS 5604 HAS SOUPS 5467 WITH SCORE 5625.565
AT ITER 1716 NEW BEST:: SOT 443101 SOS 158569 HAS SOPS 139311 HAS SOUS 5602 HAS SOUPS 5465 WITH SCORE 5623.569
AT ITER 1776 NEW BEST:: SOT 443101 SOS 158543 HAS SOPS 139311 HAS SOUS 5602 HAS SOUPS 5465 WITH SCORE 5623.543
AT ITER 1804 NEW BEST:: SOT 443101 SOS 158543 HAS SOPS 139311 HAS SOUS 5601 HAS SOUPS 5464 WITH SCORE 5622.543
AT ITER 1819 NEW BEST:: SOT 443121 SOS 158527 HAS SOPS 139295 HAS SOUS 5595 HAS SOUPS 5458 WITH SCORE 5616.527
AT ITER 1820 NEW BEST:: SOT 443145 SOS 158515 HAS SOPS 139295 HAS SOUS 5595 HAS SOUPS 5458 WITH SCORE 5616.515
AT ITER 1833 NEW BEST:: SOT 443147 SOS 158513 HAS SOPS 139293 HAS SOUS 5593 HAS SOUPS 5456 WITH SCORE 5614.513
AT ITER 1834 NEW BEST:: SOT 443141 SOS 158509 HAS SOPS 139289 HAS SOUS 5589 HAS SOUPS 5452 WITH SCORE 5610.509
AT ITER 1866 NEW BEST:: SOT 443142 SOS 158507 HAS SOPS 139287 HAS SOUS 5586 HAS SOUPS 5449 WITH SCORE 5607.507
AT ITER 1888 NEW BEST:: SOT 443115 SOS 158465 HAS SOPS 139233 HAS SOUS 5568 HAS SOUPS 5431 WITH SCORE 5589.465
AT ITER 1893 NEW BEST:: SOT 443106 SOS 158462 HAS SOPS 139227 HAS SOUS 5562 HAS SOUPS 5425 WITH SCORE 5583.462
AT ITER 1901 NEW BEST:: SOT 443064 SOS 158428 HAS SOPS 139177 HAS SOUS 5528 HAS SOUPS 5391 WITH SCORE 5549.428
AT ITER 1911 NEW BEST:: SOT 443067 SOS 158428 HAS SOPS 139177 HAS SOUS 5525 HAS SOUPS 5388 WITH SCORE 5546.428
AT ITER 1913 NEW BEST:: SOT 443083 SOS 158460 HAS SOPS 139209 HAS SOUS 5520 HAS SOUPS 5383 WITH SCORE 5541.46
AT ITER 1923 NEW BEST:: SOT 443074 SOS 158445 HAS SOPS 138757 HAS SOUS 5444 HAS SOUPS 5307 WITH SCORE 5465.445
AT ITER 1972 NEW BEST:: SOT 443961 SOS 149715 HAS SOPS 126045 HAS SOUS 5420 HAS SOUPS 5283 WITH SCORE 5432.715
AT ITER 1994 NEW BEST:: SOT 443961 SOS 149711 HAS SOPS 126041 HAS SOUS 5420 HAS SOUPS 5283 WITH SCORE 5432.711
AT ITER 2020 NEW BEST:: SOT 443918 SOS 149689 HAS SOPS 126019 HAS SOUS 5398 HAS SOUPS 5261 WITH SCORE 5410.689
AT ITER 2026 NEW BEST:: SOT 443925 SOS 149683 HAS SOPS 126023 HAS SOUS 5395 HAS SOUPS 5258 WITH SCORE 5407.683
AT ITER 2067 NEW BEST:: SOT 443925 SOS 149680 HAS SOPS 126014 HAS SOUS 5392 HAS SOUPS 5255 WITH SCORE 5404.68
AT ITER 2123 NEW BEST:: SOT 443963 SOS 149742 HAS SOPS 126000 HAS SOUS 5366 HAS SOUPS 5229 WITH SCORE 5378.742
AT ITER 2176 NEW BEST:: SOT 443957 SOS 149732 HAS SOPS 125990 HAS SOUS 5362 HAS SOUPS 5225 WITH SCORE 5374.732
AT ITER 2198 NEW BEST:: SOT 443957 SOS 149730 HAS SOPS 125988 HAS SOUS 5361 HAS SOUPS 5224 WITH SCORE 5373.73
AT ITER 2268 NEW BEST:: SOT 443944 SOS 149726 HAS SOPS 125984 HAS SOUS 5357 HAS SOUPS 5220 WITH SCORE 5369.726
AT ITER 2363 NEW BEST:: SOT 443942 SOS 149723 HAS SOPS 125979 HAS SOUS 5354 HAS SOUPS 5217 WITH SCORE 5366.723
AT ITER 2422 NEW BEST:: SOT 443941 SOS 149721 HAS SOPS 125977 HAS SOUS 5352 HAS SOUPS 5215 WITH SCORE 5364.721
AT ITER 2434 NEW BEST:: SOT 443947 SOS 149706 HAS SOPS 125962 HAS SOUS 5347 HAS SOUPS 5210 WITH SCORE 5359.706
AT ITER 2435 NEW BEST:: SOT 443948 SOS 149704 HAS SOPS 125962 HAS SOUS 5346 HAS SOUPS 5209 WITH SCORE 5358.704
AT ITER 2469 NEW BEST:: SOT 443975 SOS 149628 HAS SOPS 125936 HAS SOUS 5333 HAS SOUPS 5196 WITH SCORE 5345.628
AT ITER 2474 NEW BEST:: SOT 443982 SOS 149622 HAS SOPS 125930 HAS SOUS 5333 HAS SOUPS 5196 WITH SCORE 5345.622
AT ITER 2511 NEW BEST:: SOT 443970 SOS 149610 HAS SOPS 125951 HAS SOUS 5289 HAS SOUPS 5152 WITH SCORE 5301.61
AT ITER 2533 NEW BEST:: SOT 443968 SOS 149606 HAS SOPS 125947 HAS SOUS 5285 HAS SOUPS 5148 WITH SCORE 5297.606
AT ITER 2610 NEW BEST:: SOT 443984 SOS 149887 HAS SOPS 125949 HAS SOUS 5289 HAS SOUPS 5146 WITH SCORE 5295.887
AT ITER 2623 NEW BEST:: SOT 443950 SOS 149853 HAS SOPS 129227 HAS SOUS 5274 HAS SOUPS 5131 WITH SCORE 5280.853
AT ITER 2638 NEW BEST:: SOT 444112 SOS 149895 HAS SOPS 129269 HAS SOUS 5269 HAS SOUPS 5126 WITH SCORE 5275.895
AT ITER 2676 NEW BEST:: SOT 444117 SOS 149880 HAS SOPS 128873 HAS SOUS 4950 HAS SOUPS 4807 WITH SCORE 4956.88
AT ITER 2678 NEW BEST:: SOT 444117 SOS 149880 HAS SOPS 128873 HAS SOUS 4947 HAS SOUPS 4804 WITH SCORE 4953.88
AT ITER 2731 NEW BEST:: SOT 444116 SOS 149832 HAS SOPS 128873 HAS SOUS 4946 HAS SOUPS 4804 WITH SCORE 4953.832
AT ITER 2738 NEW BEST:: SOT 444144 SOS 149852 HAS SOPS 128857 HAS SOUS 4938 HAS SOUPS 4796 WITH SCORE 4945.852
AT ITER 2742 NEW BEST:: SOT 444108 SOS 149804 HAS SOPS 128809 HAS SOUS 4926 HAS SOUPS 4784 WITH SCORE 4933.804
AT ITER 2744 NEW BEST:: SOT 444163 SOS 149762 HAS SOPS 128791 HAS SOUS 4920 HAS SOUPS 4778 WITH SCORE 4927.762
AT ITER 2745 NEW BEST:: SOT 444206 SOS 149767 HAS SOPS 128801 HAS SOUS 4911 HAS SOUPS 4769 WITH SCORE 4918.767
AT ITER 2806 NEW BEST:: SOT 444206 SOS 149767 HAS SOPS 128801 HAS SOUS 4910 HAS SOUPS 4768 WITH SCORE 4917.767
AT ITER 2904 NEW BEST:: SOT 444223 SOS 149780 HAS SOPS 128793 HAS SOUS 4906 HAS SOUPS 4764 WITH SCORE 4913.78
AT ITER 2906 NEW BEST:: SOT 444223 SOS 149770 HAS SOPS 128788 HAS SOUS 4906 HAS SOUPS 4764 WITH SCORE 4913.77
AT ITER 3011 NEW BEST:: SOT 444353 SOS 149826 HAS SOPS 128844 HAS SOUS 4900 HAS SOUPS 4758 WITH SCORE 4907.826
AT ITER 3022 NEW BEST:: SOT 444311 SOS 149784 HAS SOPS 128796 HAS SOUS 4880 HAS SOUPS 4738 WITH SCORE 4887.784
AT ITER 3023 NEW BEST:: SOT 444308 SOS 149779 HAS SOPS 128790 HAS SOUS 4875 HAS SOUPS 4733 WITH SCORE 4882.779
AT ITER 3031 NEW BEST:: SOT 444308 SOS 149779 HAS SOPS 128786 HAS SOUS 4871 HAS SOUPS 4729 WITH SCORE 4878.779
AT ITER 3039 NEW BEST:: SOT 444307 SOS 149777 HAS SOPS 128784 HAS SOUS 4870 HAS SOUPS 4728 WITH SCORE 4877.777
AT ITER 3048 NEW BEST:: SOT 444292 SOS 149767 HAS SOPS 128764 HAS SOUS 4865 HAS SOUPS 4723 WITH SCORE 4872.767
AT ITER 3072 NEW BEST:: SOT 444291 SOS 149765 HAS SOPS 128762 HAS SOUS 4863 HAS SOUPS 4721 WITH SCORE 4870.765
AT ITER 3115 NEW BEST:: SOT 444268 SOS 149719 HAS SOPS 128716 HAS SOUS 4841 HAS SOUPS 4699 WITH SCORE 4848.719
AT ITER 3137 NEW BEST:: SOT 444270 SOS 149697 HAS SOPS 128694 HAS SOUS 4830 HAS SOUPS 4688 WITH SCORE 4837.697
AT ITER 3168 NEW BEST:: SOT 444267 SOS 149692 HAS SOPS 128690 HAS SOUS 4826 HAS SOUPS 4684 WITH SCORE 4833.692
AT ITER 3175 NEW BEST:: SOT 444268 SOS 149688 HAS SOPS 128686 HAS SOUS 4825 HAS SOUPS 4683 WITH SCORE 4832.688
AT ITER 3184 NEW BEST:: SOT 444257 SOS 149672 HAS SOPS 128670 HAS SOUS 4825 HAS SOUPS 4683 WITH SCORE 4832.672
AT ITER 3187 NEW BEST:: SOT 444229 SOS 156204 HAS SOPS 136122 HAS SOUS 4808 HAS SOUPS 4666 WITH SCORE 4822.204
AT ITER 3204 NEW BEST:: SOT 444230 SOS 156203 HAS SOPS 136121 HAS SOUS 4807 HAS SOUPS 4665 WITH SCORE 4821.203
AT ITER 3213 NEW BEST:: SOT 444223 SOS 160253 HAS SOPS 138741 HAS SOUS 4800 HAS SOUPS 4657 WITH SCORE 4817.253
AT ITER 3256 NEW BEST:: SOT 444223 SOS 160253 HAS SOPS 138738 HAS SOUS 4797 HAS SOUPS 4654 WITH SCORE 4814.253
AT ITER 3382 NEW BEST:: SOT 444223 SOS 160250 HAS SOPS 138735 HAS SOUS 4794 HAS SOUPS 4651 WITH SCORE 4811.25
AT ITER 3393 NEW BEST:: SOT 444226 SOS 160247 HAS SOPS 137247 HAS SOUS 4782 HAS SOUPS 4639 WITH SCORE 4799.247
AT ITER 3403 NEW BEST:: SOT 444216 SOS 160232 HAS SOPS 137253 HAS SOUS 4780 HAS SOUPS 4637 WITH SCORE 4797.232
AT ITER 3493 NEW BEST:: SOT 444218 SOS 162140 HAS SOPS 137979 HAS SOUS 4763 HAS SOUPS 4620 WITH SCORE 4782.14
AT ITER 3610 NEW BEST:: SOT 444211 SOS 162134 HAS SOPS 137973 HAS SOUS 4753 HAS SOUPS 4610 WITH SCORE 4772.134
AT ITER 3647 NEW BEST:: SOT 444221 SOS 162114 HAS SOPS 137973 HAS SOUS 4743 HAS SOUPS 4600 WITH SCORE 4762.114
AT ITER 3678 NEW BEST:: SOT 444221 SOS 162138 HAS SOPS 137205 HAS SOUS 4741 HAS SOUPS 4598 WITH SCORE 4760.138
AT ITER 3712 NEW BEST:: SOT 444231 SOS 162152 HAS SOPS 137219 HAS SOUS 4739 HAS SOUPS 4596 WITH SCORE 4758.152
AT ITER 3867 NEW BEST:: SOT 444231 SOS 162146 HAS SOPS 137216 HAS SOUS 4736 HAS SOUPS 4593 WITH SCORE 4755.146
AT ITER 3881 NEW BEST:: SOT 444230 SOS 162144 HAS SOPS 137214 HAS SOUS 4735 HAS SOUPS 4592 WITH SCORE 4754.144
AT ITER 3977 NEW BEST:: SOT 444240 SOS 162164 HAS SOPS 137234 HAS SOUS 4725 HAS SOUPS 4582 WITH SCORE 4744.164
AT ITER 4003 NEW BEST:: SOT 444240 SOS 162163 HAS SOPS 137233 HAS SOUS 4724 HAS SOUPS 4581 WITH SCORE 4743.1630000000005
AT ITER 4033 NEW BEST:: SOT 444217 SOS 178245 HAS SOPS 153291 HAS SOUS 4701 HAS SOUPS 4558 WITH SCORE 4736.245
AT ITER 4039 NEW BEST:: SOT 444217 SOS 178243 HAS SOPS 153291 HAS SOUS 4701 HAS SOUPS 4558 WITH SCORE 4736.243
AT ITER 4162 NEW BEST:: SOT 444213 SOS 178240 HAS SOPS 153287 HAS SOUS 4698 HAS SOUPS 4555 WITH SCORE 4733.24
AT ITER 4238 NEW BEST:: SOT 444206 SOS 178244 HAS SOPS 153291 HAS SOUS 4693 HAS SOUPS 4550 WITH SCORE 4728.244
AT ITER 4239 NEW BEST:: SOT 444207 SOS 178237 HAS SOPS 153287 HAS SOUS 4691 HAS SOUPS 4548 WITH SCORE 4726.237
AT ITER 4330 NEW BEST:: SOT 444201 SOS 177425 HAS SOPS 152475 HAS SOUS 4691 HAS SOUPS 4548 WITH SCORE 4725.425
AT ITER 4357 NEW BEST:: SOT 444197 SOS 177421 HAS SOPS 152471 HAS SOUS 4691 HAS SOUPS 4548 WITH SCORE 4725.421
AT ITER 4381 NEW BEST:: SOT 444203 SOS 177421 HAS SOPS 152471 HAS SOUS 4687 HAS SOUPS 4544 WITH SCORE 4721.421
AT ITER 4418 NEW BEST:: SOT 444203 SOS 177411 HAS SOPS 152471 HAS SOUS 4687 HAS SOUPS 4544 WITH SCORE 4721.411
AT ITER 4566 NEW BEST:: SOT 444202 SOS 177402 HAS SOPS 152465 HAS SOUS 4685 HAS SOUPS 4542 WITH SCORE 4719.402
AT ITER 4615 NEW BEST:: SOT 444192 SOS 177392 HAS SOPS 152455 HAS SOUS 4680 HAS SOUPS 4537 WITH SCORE 4714.392
AT ITER 4634 NEW BEST:: SOT 444195 SOS 177392 HAS SOPS 152455 HAS SOUS 4678 HAS SOUPS 4535 WITH SCORE 4712.392
AT ITER 4636 NEW BEST:: SOT 442975 SOS 176170 HAS SOPS 151235 HAS SOUS 4553 HAS SOUPS 4410 WITH SCORE 4586.17
AT ITER 4668 NEW BEST:: SOT 442978 SOS 176167 HAS SOPS 151235 HAS SOUS 4553 HAS SOUPS 4410 WITH SCORE 4586.167
AT ITER 4686 NEW BEST:: SOT 442978 SOS 176164 HAS SOPS 151229 HAS SOUS 4553 HAS SOUPS 4410 WITH SCORE 4586.164
AT ITER 4728 NEW BEST:: SOT 443006 SOS 176170 HAS SOPS 151235 HAS SOUS 4551 HAS SOUPS 4408 WITH SCORE 4584.17
AT ITER 4764 NEW BEST:: SOT 443036 SOS 176188 HAS SOPS 151253 HAS SOUS 4549 HAS SOUPS 4406 WITH SCORE 4582.188
AT ITER 4819 NEW BEST:: SOT 443009 SOS 220324 HAS SOPS 161711 HAS SOUS 4513 HAS SOUPS 4361 WITH SCORE 4581.324
AT ITER 4907 NEW BEST:: SOT 443009 SOS 220322 HAS SOPS 161711 HAS SOUS 4513 HAS SOUPS 4361 WITH SCORE 4581.322
AT ITER 4958 NEW BEST:: SOT 443009 SOS 220322 HAS SOPS 161711 HAS SOUS 4512 HAS SOUPS 4360 WITH SCORE 4580.322
AT ITER 5003 NEW BEST:: SOT 442952 SOS 220266 HAS SOPS 161629 HAS SOUS 4472 HAS SOUPS 4320 WITH SCORE 4540.266
AT ITER 5172 NEW BEST:: SOT 442943 SOS 220260 HAS SOPS 161617 HAS SOUS 4469 HAS SOUPS 4317 WITH SCORE 4537.26
AT ITER 5185 NEW BEST:: SOT 442925 SOS 220248 HAS SOPS 167929 HAS SOUS 4462 HAS SOUPS 4310 WITH SCORE 4530.248
AT ITER 5210 NEW BEST:: SOT 442924 SOS 220249 HAS SOPS 167924 HAS SOUS 4461 HAS SOUPS 4309 WITH SCORE 4529.249
AT ITER 5241 NEW BEST:: SOT 442914 SOS 220245 HAS SOPS 167912 HAS SOUS 4459 HAS SOUPS 4307 WITH SCORE 4527.245
AT ITER 5266 NEW BEST:: SOT 442924 SOS 220240 HAS SOPS 167912 HAS SOUS 4454 HAS SOUPS 4302 WITH SCORE 4522.24
AT ITER 5327 NEW BEST:: SOT 442922 SOS 220145 HAS SOPS 167912 HAS SOUS 4452 HAS SOUPS 4302 WITH SCORE 4522.145
AT ITER 5450 NEW BEST:: SOT 442918 SOS 220141 HAS SOPS 167916 HAS SOUS 4452 HAS SOUPS 4302 WITH SCORE 4522.141
AT ITER 5551 NEW BEST:: SOT 442912 SOS 220139 HAS SOPS 167912 HAS SOUS 4450 HAS SOUPS 4300 WITH SCORE 4520.139
AT ITER 5607 NEW BEST:: SOT 442912 SOS 220133 HAS SOPS 167908 HAS SOUS 4448 HAS SOUPS 4298 WITH SCORE 4518.133
AT ITER 5630 NEW BEST:: SOT 442911 SOS 220132 HAS SOPS 167908 HAS SOUS 4448 HAS SOUPS 4298 WITH SCORE 4518.132
AT ITER 5652 NEW BEST:: SOT 442905 SOS 220135 HAS SOPS 167911 HAS SOUS 4445 HAS SOUPS 4295 WITH SCORE 4515.135
AT ITER 5664 NEW BEST:: SOT 442904 SOS 220133 HAS SOPS 167909 HAS SOUS 4444 HAS SOUPS 4294 WITH SCORE 4514.133
AT ITER 5713 NEW BEST:: SOT 442903 SOS 220132 HAS SOPS 167908 HAS SOUS 4443 HAS SOUPS 4293 WITH SCORE 4513.132
AT ITER 5755 NEW BEST:: SOT 442903 SOS 220132 HAS SOPS 167803 HAS SOUS 4412 HAS SOUPS 4262 WITH SCORE 4482.132
AT ITER 5786 NEW BEST:: SOT 442902 SOS 220130 HAS SOPS 167801 HAS SOUS 4409 HAS SOUPS 4259 WITH SCORE 4479.13
AT ITER 5794 NEW BEST:: SOT 442901 SOS 220120 HAS SOPS 167795 HAS SOUS 4407 HAS SOUPS 4257 WITH SCORE 4477.12
AT ITER 5852 NEW BEST:: SOT 442897 SOS 220098 HAS SOPS 167769 HAS SOUS 4394 HAS SOUPS 4244 WITH SCORE 4464.098
AT ITER 5864 NEW BEST:: SOT 442889 SOS 220092 HAS SOPS 167761 HAS SOUS 4386 HAS SOUPS 4236 WITH SCORE 4456.092
AT ITER 5939 NEW BEST:: SOT 442889 SOS 220089 HAS SOPS 167758 HAS SOUS 4383 HAS SOUPS 4233 WITH SCORE 4453.089
AT ITER 5975 NEW BEST:: SOT 442889 SOS 220086 HAS SOPS 167755 HAS SOUS 4381 HAS SOUPS 4231 WITH SCORE 4451.086
AT ITER 6142 NEW BEST:: SOT 442890 SOS 220085 HAS SOPS 167751 HAS SOUS 4379 HAS SOUPS 4229 WITH SCORE 4449.085
AT ITER 6165 NEW BEST:: SOT 442888 SOS 220083 HAS SOPS 167747 HAS SOUS 4375 HAS SOUPS 4225 WITH SCORE 4445.083
AT ITER 6211 NEW BEST:: SOT 442885 SOS 214717 HAS SOPS 162381 HAS SOUS 4380 HAS SOUPS 4230 WITH SCORE 4444.717
AT ITER 6261 NEW BEST:: SOT 442902 SOS 219963 HAS SOPS 170795 HAS SOUS 4371 HAS SOUPS 4221 WITH SCORE 4440.963
AT ITER 6268 NEW BEST:: SOT 442898 SOS 216707 HAS SOPS 167539 HAS SOUS 4371 HAS SOUPS 4221 WITH SCORE 4437.707
AT ITER 6279 NEW BEST:: SOT 442899 SOS 216707 HAS SOPS 167537 HAS SOUS 4369 HAS SOUPS 4219 WITH SCORE 4435.707
AT ITER 6341 NEW BEST:: SOT 442897 SOS 216703 HAS SOPS 167533 HAS SOUS 4363 HAS SOUPS 4213 WITH SCORE 4429.703
AT ITER 6374 NEW BEST:: SOT 442896 SOS 216702 HAS SOPS 167532 HAS SOUS 4362 HAS SOUPS 4212 WITH SCORE 4428.702
AT ITER 6376 NEW BEST:: SOT 442899 SOS 212748 HAS SOPS 163578 HAS SOUS 4362 HAS SOUPS 4212 WITH SCORE 4424.748
AT ITER 6551 NEW BEST:: SOT 442903 SOS 212756 HAS SOPS 163562 HAS SOUS 4354 HAS SOUPS 4204 WITH SCORE 4416.756
AT ITER 6625 NEW BEST:: SOT 442903 SOS 212750 HAS SOPS 163559 HAS SOUS 4354 HAS SOUPS 4204 WITH SCORE 4416.75
AT ITER 6679 NEW BEST:: SOT 442904 SOS 212749 HAS SOPS 163559 HAS SOUS 4354 HAS SOUPS 4204 WITH SCORE 4416.749
AT ITER 6767 NEW BEST:: SOT 442907 SOS 212747 HAS SOPS 163561 HAS SOUS 4353 HAS SOUPS 4203 WITH SCORE 4415.747
AT ITER 6808 NEW BEST:: SOT 442908 SOS 212745 HAS SOPS 161975 HAS SOUS 4350 HAS SOUPS 4200 WITH SCORE 4412.745
AT ITER 6815 NEW BEST:: SOT 442907 SOS 212744 HAS SOPS 161974 HAS SOUS 4349 HAS SOUPS 4199 WITH SCORE 4411.744
AT ITER 6947 NEW BEST:: SOT 442909 SOS 212742 HAS SOPS 161974 HAS SOUS 4349 HAS SOUPS 4199 WITH SCORE 4411.742
AT ITER 7086 NEW BEST:: SOT 442915 SOS 212730 HAS SOPS 161974 HAS SOUS 4343 HAS SOUPS 4193 WITH SCORE 4405.73
AT ITER 7201 NEW BEST:: SOT 442913 SOS 212729 HAS SOPS 161973 HAS SOUS 4343 HAS SOUPS 4193 WITH SCORE 4405.729
AT ITER 7229 NEW BEST:: SOT 442917 SOS 212725 HAS SOPS 161969 HAS SOUS 4343 HAS SOUPS 4193 WITH SCORE 4405.725
AT ITER 7245 NEW BEST:: SOT 442922 SOS 212727 HAS SOPS 161971 HAS SOUS 4340 HAS SOUPS 4190 WITH SCORE 4402.727
AT ITER 7298 NEW BEST:: SOT 442921 SOS 212727 HAS SOPS 161971 HAS SOUS 4339 HAS SOUPS 4189 WITH SCORE 4401.727
AT ITER 7511 NEW BEST:: SOT 442921 SOS 212723 HAS SOPS 161971 HAS SOUS 4339 HAS SOUPS 4189 WITH SCORE 4401.723
AT ITER 7545 NEW BEST:: SOT 442920 SOS 212723 HAS SOPS 161969 HAS SOUS 4338 HAS SOUPS 4188 WITH SCORE 4400.723
AT ITER 7562 NEW BEST:: SOT 442920 SOS 212721 HAS SOPS 161967 HAS SOUS 4337 HAS SOUPS 4187 WITH SCORE 4399.721
AT ITER 7721 NEW BEST:: SOT 442919 SOS 212721 HAS SOPS 161967 HAS SOUS 4336 HAS SOUPS 4186 WITH SCORE 4398.721
AT ITER 7724 NEW BEST:: SOT 442917 SOS 212717 HAS SOPS 161963 HAS SOUS 4334 HAS SOUPS 4184 WITH SCORE 4396.717
AT ITER 7727 NEW BEST:: SOT 442917 SOS 212716 HAS SOPS 161962 HAS SOUS 4334 HAS SOUPS 4184 WITH SCORE 4396.716
AT ITER 7884 NEW BEST:: SOT 442915 SOS 212716 HAS SOPS 161962 HAS SOUS 4333 HAS SOUPS 4183 WITH SCORE 4395.716
AT ITER 7896 NEW BEST:: SOT 442910 SOS 212714 HAS SOPS 163544 HAS SOUS 4332 HAS SOUPS 4182 WITH SCORE 4394.714
AT ITER 7953 NEW BEST:: SOT 442912 SOS 209294 HAS SOPS 159332 HAS SOUS 4332 HAS SOUPS 4182 WITH SCORE 4391.294
AT ITER 7976 NEW BEST:: SOT 442908 SOS 209292 HAS SOPS 159330 HAS SOUS 4330 HAS SOUPS 4180 WITH SCORE 4389.292
AT ITER 7999 NEW BEST:: SOT 442906 SOS 209197 HAS SOPS 159329 HAS SOUS 4327 HAS SOUPS 4179 WITH SCORE 4388.197
AT ITER 8070 NEW BEST:: SOT 442906 SOS 209197 HAS SOPS 158759 HAS SOUS 4310 HAS SOUPS 4162 WITH SCORE 4371.197
AT ITER 8126 NEW BEST:: SOT 442900 SOS 209197 HAS SOPS 161135 HAS SOUS 4307 HAS SOUPS 4159 WITH SCORE 4368.197
AT ITER 8214 NEW BEST:: SOT 442900 SOS 209196 HAS SOPS 161134 HAS SOUS 4307 HAS SOUPS 4159 WITH SCORE 4368.196
AT ITER 8274 NEW BEST:: SOT 442901 SOS 209198 HAS SOPS 161130 HAS SOUS 4305 HAS SOUPS 4157 WITH SCORE 4366.198
AT ITER 8407 NEW BEST:: SOT 442900 SOS 209193 HAS SOPS 161126 HAS SOUS 4303 HAS SOUPS 4155 WITH SCORE 4364.193
AT ITER 8441 NEW BEST:: SOT 442900 SOS 209193 HAS SOPS 161126 HAS SOUS 4301 HAS SOUPS 4153 WITH SCORE 4362.193
AT ITER 8463 NEW BEST:: SOT 442899 SOS 209191 HAS SOPS 161118 HAS SOUS 4297 HAS SOUPS 4149 WITH SCORE 4358.191
AT ITER 8645 NEW BEST:: SOT 442903 SOS 209195 HAS SOPS 161122 HAS SOUS 4296 HAS SOUPS 4148 WITH SCORE 4357.195
AT ITER 8718 NEW BEST:: SOT 442903 SOS 209195 HAS SOPS 161124 HAS SOUS 4295 HAS SOUPS 4147 WITH SCORE 4356.195
AT ITER 8989 NEW BEST:: SOT 442902 SOS 209193 HAS SOPS 161122 HAS SOUS 4293 HAS SOUPS 4145 WITH SCORE 4354.193
AT ITER 9386 NEW BEST:: SOT 442899 SOS 209191 HAS SOPS 161120 HAS SOUS 4291 HAS SOUPS 4143 WITH SCORE 4352.191
AT ITER 9399 NEW BEST:: SOT 442898 SOS 209189 HAS SOPS 161116 HAS SOUS 4289 HAS SOUPS 4141 WITH SCORE 4350.189
AT ITER 9981 NEW BEST:: SOT 442897 SOS 209187 HAS SOPS 161114 HAS SOUS 4287 HAS SOUPS 4139 WITH SCORE 4348.187
STATE_SPACE STATES 462753 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 9 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 6584234 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679336903031

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

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