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.r459-smll-167912651400584.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 smartxred
Input is StigmergyElection-PT-03b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r459-smll-167912651400584
=====================================================================

--------------------
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 1679434056314

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=StigmergyElection-PT-03b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-21 21:27:39] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-21 21:27:39] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-21 21:27:39] [INFO ] Load time of PNML (sax parser for PT used): 152 ms
[2023-03-21 21:27:39] [INFO ] Transformed 427 places.
[2023-03-21 21:27:39] [INFO ] Transformed 518 transitions.
[2023-03-21 21:27:39] [INFO ] Found NUPN structural information;
[2023-03-21 21:27:39] [INFO ] Parsed PT model containing 427 places and 518 transitions and 1323 arcs in 317 ms.
[2023-03-21 21:27:39] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 427 places, 518 transitions and 1323 arcs took 14 ms.
Total runtime 399 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running StigmergyElection (PT), instance 03b
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/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 26 NEW BEST:: SOT 128454 SOS 23368 HAS SOPS 23368 HAS SOUS 22178 HAS SOUPS 22178 WITH SCORE 22201.368
AT ITER 56 NEW BEST:: SOT 128439 SOS 23599 HAS SOPS 23599 HAS SOUS 22126 HAS SOUPS 22126 WITH SCORE 22149.599
AT ITER 60 NEW BEST:: SOT 128432 SOS 23585 HAS SOPS 23585 HAS SOUS 22112 HAS SOUPS 22112 WITH SCORE 22135.585
AT ITER 65 NEW BEST:: SOT 128427 SOS 23575 HAS SOPS 23575 HAS SOUS 22058 HAS SOUPS 22058 WITH SCORE 22081.575
AT ITER 115 NEW BEST:: SOT 128409 SOS 23556 HAS SOPS 23556 HAS SOUS 22050 HAS SOUPS 22050 WITH SCORE 22073.556
AT ITER 136 NEW BEST:: SOT 128355 SOS 23525 HAS SOPS 23525 HAS SOUS 21961 HAS SOUPS 21961 WITH SCORE 21984.525
AT ITER 141 NEW BEST:: SOT 128355 SOS 23518 HAS SOPS 23518 HAS SOUS 21961 HAS SOUPS 21961 WITH SCORE 21984.518
AT ITER 163 NEW BEST:: SOT 128392 SOS 23497 HAS SOPS 23497 HAS SOUS 21940 HAS SOUPS 21940 WITH SCORE 21963.497
AT ITER 164 NEW BEST:: SOT 128391 SOS 23495 HAS SOPS 23495 HAS SOUS 21938 HAS SOUPS 21938 WITH SCORE 21961.495
AT ITER 170 NEW BEST:: SOT 128355 SOS 23423 HAS SOPS 23423 HAS SOUS 21866 HAS SOUPS 21866 WITH SCORE 21889.423
AT ITER 183 NEW BEST:: SOT 128345 SOS 23412 HAS SOPS 23412 HAS SOUS 21855 HAS SOUPS 21855 WITH SCORE 21878.412
AT ITER 200 NEW BEST:: SOT 128344 SOS 23410 HAS SOPS 23410 HAS SOUS 21853 HAS SOUPS 21853 WITH SCORE 21876.41
AT ITER 233 NEW BEST:: SOT 128354 SOS 23430 HAS SOPS 23430 HAS SOUS 21835 HAS SOUPS 21835 WITH SCORE 21858.43
AT ITER 245 NEW BEST:: SOT 128380 SOS 23377 HAS SOPS 23377 HAS SOUS 21782 HAS SOUPS 21782 WITH SCORE 21805.377
AT ITER 302 NEW BEST:: SOT 128379 SOS 23375 HAS SOPS 23375 HAS SOUS 21780 HAS SOUPS 21780 WITH SCORE 21803.375
AT ITER 330 NEW BEST:: SOT 128340 SOS 23453 HAS SOPS 23453 HAS SOUS 21741 HAS SOUPS 21741 WITH SCORE 21764.453
AT ITER 348 NEW BEST:: SOT 128339 SOS 23451 HAS SOPS 23451 HAS SOUS 21739 HAS SOUPS 21739 WITH SCORE 21762.451
AT ITER 358 NEW BEST:: SOT 128335 SOS 23443 HAS SOPS 23443 HAS SOUS 21731 HAS SOUPS 21731 WITH SCORE 21754.443
AT ITER 426 NEW BEST:: SOT 128339 SOS 23451 HAS SOPS 23451 HAS SOUS 21675 HAS SOUPS 21675 WITH SCORE 21698.451
AT ITER 438 NEW BEST:: SOT 128308 SOS 23420 HAS SOPS 23420 HAS SOUS 21644 HAS SOUPS 21644 WITH SCORE 21667.42
AT ITER 453 NEW BEST:: SOT 128272 SOS 23348 HAS SOPS 23348 HAS SOUS 21572 HAS SOUPS 21572 WITH SCORE 21595.348
AT ITER 482 NEW BEST:: SOT 128258 SOS 23334 HAS SOPS 23334 HAS SOUS 21558 HAS SOUPS 21558 WITH SCORE 21581.334
AT ITER 524 NEW BEST:: SOT 128258 SOS 23333 HAS SOPS 23333 HAS SOUS 21557 HAS SOUPS 21557 WITH SCORE 21580.333
AT ITER 537 NEW BEST:: SOT 128257 SOS 23331 HAS SOPS 23331 HAS SOUS 21555 HAS SOUPS 21555 WITH SCORE 21578.331
AT ITER 553 NEW BEST:: SOT 128177 SOS 23320 HAS SOPS 23320 HAS SOUS 21496 HAS SOUPS 21496 WITH SCORE 21519.32
AT ITER 586 NEW BEST:: SOT 127397 SOS 24121 HAS SOPS 24121 HAS SOUS 20973 HAS SOUPS 20973 WITH SCORE 20997.121
AT ITER 590 NEW BEST:: SOT 127327 SOS 23981 HAS SOPS 23981 HAS SOUS 20903 HAS SOUPS 20903 WITH SCORE 20926.981
AT ITER 598 NEW BEST:: SOT 127308 SOS 23943 HAS SOPS 23943 HAS SOUS 20884 HAS SOUPS 20884 WITH SCORE 20907.943
AT ITER 612 NEW BEST:: SOT 127250 SOS 23827 HAS SOPS 23827 HAS SOUS 20826 HAS SOUPS 20826 WITH SCORE 20849.827
AT ITER 617 NEW BEST:: SOT 127245 SOS 23817 HAS SOPS 23817 HAS SOUS 20816 HAS SOUPS 20816 WITH SCORE 20839.817
AT ITER 623 NEW BEST:: SOT 126881 SOS 23557 HAS SOPS 23557 HAS SOUS 20452 HAS SOUPS 20452 WITH SCORE 20475.557
AT ITER 624 NEW BEST:: SOT 126807 SOS 23409 HAS SOPS 23409 HAS SOUS 20304 HAS SOUPS 20304 WITH SCORE 20327.409
AT ITER 636 NEW BEST:: SOT 126801 SOS 23403 HAS SOPS 23403 HAS SOUS 20298 HAS SOUPS 20298 WITH SCORE 20321.403
AT ITER 637 NEW BEST:: SOT 126800 SOS 23401 HAS SOPS 23401 HAS SOUS 20296 HAS SOUPS 20296 WITH SCORE 20319.401
AT ITER 675 NEW BEST:: SOT 126757 SOS 23315 HAS SOPS 23315 HAS SOUS 20253 HAS SOUPS 20253 WITH SCORE 20276.315
AT ITER 676 NEW BEST:: SOT 126747 SOS 23305 HAS SOPS 23305 HAS SOUS 20251 HAS SOUPS 20251 WITH SCORE 20274.305
AT ITER 711 NEW BEST:: SOT 126662 SOS 23135 HAS SOPS 23135 HAS SOUS 20081 HAS SOUPS 20081 WITH SCORE 20104.135
AT ITER 725 NEW BEST:: SOT 126662 SOS 23135 HAS SOPS 23135 HAS SOUS 20026 HAS SOUPS 20026 WITH SCORE 20049.135
AT ITER 743 NEW BEST:: SOT 126658 SOS 23110 HAS SOPS 23110 HAS SOUS 20018 HAS SOUPS 20018 WITH SCORE 20041.11
AT ITER 789 NEW BEST:: SOT 126633 SOS 23086 HAS SOPS 23086 HAS SOUS 19993 HAS SOUPS 19993 WITH SCORE 20016.086
AT ITER 798 NEW BEST:: SOT 126632 SOS 23084 HAS SOPS 23084 HAS SOUS 19991 HAS SOUPS 19991 WITH SCORE 20014.084
AT ITER 802 NEW BEST:: SOT 126619 SOS 23048 HAS SOPS 23048 HAS SOUS 19980 HAS SOUPS 19980 WITH SCORE 20003.048
AT ITER 862 NEW BEST:: SOT 126597 SOS 23058 HAS SOPS 23058 HAS SOUS 19974 HAS SOUPS 19974 WITH SCORE 19997.058
AT ITER 868 NEW BEST:: SOT 126583 SOS 23030 HAS SOPS 23030 HAS SOUS 19946 HAS SOUPS 19946 WITH SCORE 19969.03
AT ITER 936 NEW BEST:: SOT 126566 SOS 22996 HAS SOPS 22996 HAS SOUS 19940 HAS SOUPS 19940 WITH SCORE 19962.996
AT ITER 978 NEW BEST:: SOT 126565 SOS 22994 HAS SOPS 22994 HAS SOUS 19938 HAS SOUPS 19938 WITH SCORE 19960.994
AT ITER 1005 NEW BEST:: SOT 126544 SOS 22952 HAS SOPS 22952 HAS SOUS 19910 HAS SOUPS 19910 WITH SCORE 19932.952
AT ITER 1020 NEW BEST:: SOT 126537 SOS 22945 HAS SOPS 22945 HAS SOUS 19903 HAS SOUPS 19903 WITH SCORE 19925.945
AT ITER 1074 NEW BEST:: SOT 126523 SOS 22917 HAS SOPS 22917 HAS SOUS 19889 HAS SOUPS 19889 WITH SCORE 19911.917
AT ITER 1104 NEW BEST:: SOT 126512 SOS 22898 HAS SOPS 22898 HAS SOUS 19887 HAS SOUPS 19887 WITH SCORE 19909.898
AT ITER 1118 NEW BEST:: SOT 126490 SOS 22854 HAS SOPS 22854 HAS SOUS 19843 HAS SOUPS 19843 WITH SCORE 19865.854
AT ITER 1124 NEW BEST:: SOT 126490 SOS 22854 HAS SOPS 22854 HAS SOUS 19826 HAS SOUPS 19826 WITH SCORE 19848.854
AT ITER 1146 NEW BEST:: SOT 126486 SOS 22846 HAS SOPS 22846 HAS SOUS 19818 HAS SOUPS 19818 WITH SCORE 19840.846
AT ITER 1224 NEW BEST:: SOT 126486 SOS 22846 HAS SOPS 22846 HAS SOUS 19815 HAS SOUPS 19815 WITH SCORE 19837.846
AT ITER 1240 NEW BEST:: SOT 126486 SOS 23045 HAS SOPS 23045 HAS SOUS 19788 HAS SOUPS 19788 WITH SCORE 19811.045
AT ITER 1248 NEW BEST:: SOT 126447 SOS 23033 HAS SOPS 23033 HAS SOUS 19769 HAS SOUPS 19769 WITH SCORE 19792.033
AT ITER 1250 NEW BEST:: SOT 126390 SOS 23009 HAS SOPS 23009 HAS SOUS 19731 HAS SOUPS 19731 WITH SCORE 19754.009
AT ITER 1268 NEW BEST:: SOT 126363 SOS 23006 HAS SOPS 23006 HAS SOUS 19727 HAS SOUPS 19727 WITH SCORE 19750.006
AT ITER 1291 NEW BEST:: SOT 126348 SOS 22991 HAS SOPS 22991 HAS SOUS 19712 HAS SOUPS 19712 WITH SCORE 19734.991
AT ITER 1299 NEW BEST:: SOT 126335 SOS 22932 HAS SOPS 22932 HAS SOUS 19675 HAS SOUPS 19675 WITH SCORE 19697.932
AT ITER 1305 NEW BEST:: SOT 126304 SOS 22901 HAS SOPS 22901 HAS SOUS 19644 HAS SOUPS 19644 WITH SCORE 19666.901
AT ITER 1356 NEW BEST:: SOT 125915 SOS 24508 HAS SOPS 24508 HAS SOUS 19575 HAS SOUPS 19575 WITH SCORE 19599.508
AT ITER 1391 NEW BEST:: SOT 125912 SOS 24418 HAS SOPS 24418 HAS SOUS 19561 HAS SOUPS 19561 WITH SCORE 19585.418
AT ITER 1407 NEW BEST:: SOT 125910 SOS 24414 HAS SOPS 24414 HAS SOUS 19557 HAS SOUPS 19557 WITH SCORE 19581.414
AT ITER 1417 NEW BEST:: SOT 125899 SOS 24406 HAS SOPS 24406 HAS SOUS 19546 HAS SOUPS 19546 WITH SCORE 19570.406
AT ITER 1505 NEW BEST:: SOT 125890 SOS 24388 HAS SOPS 24388 HAS SOUS 19528 HAS SOUPS 19528 WITH SCORE 19552.388
AT ITER 1548 NEW BEST:: SOT 125864 SOS 24336 HAS SOPS 24336 HAS SOUS 19476 HAS SOUPS 19476 WITH SCORE 19500.336
AT ITER 1590 NEW BEST:: SOT 125816 SOS 24240 HAS SOPS 24240 HAS SOUS 19435 HAS SOUPS 19435 WITH SCORE 19459.24
AT ITER 1601 NEW BEST:: SOT 125736 SOS 24654 HAS SOPS 24654 HAS SOUS 19432 HAS SOUPS 19432 WITH SCORE 19456.654
AT ITER 1609 NEW BEST:: SOT 125690 SOS 24562 HAS SOPS 24562 HAS SOUS 19358 HAS SOUPS 19358 WITH SCORE 19382.562
AT ITER 1640 NEW BEST:: SOT 125690 SOS 24562 HAS SOPS 24562 HAS SOUS 19329 HAS SOUPS 19329 WITH SCORE 19353.562
AT ITER 1649 NEW BEST:: SOT 125738 SOS 24116 HAS SOPS 24116 HAS SOUS 19316 HAS SOUPS 19316 WITH SCORE 19340.116
AT ITER 1657 NEW BEST:: SOT 125737 SOS 24114 HAS SOPS 24114 HAS SOUS 19314 HAS SOUPS 19314 WITH SCORE 19338.114
AT ITER 1690 NEW BEST:: SOT 125717 SOS 24090 HAS SOPS 24090 HAS SOUS 19298 HAS SOUPS 19298 WITH SCORE 19322.09
AT ITER 1697 NEW BEST:: SOT 125716 SOS 24088 HAS SOPS 24088 HAS SOUS 19296 HAS SOUPS 19296 WITH SCORE 19320.088
AT ITER 1710 NEW BEST:: SOT 125696 SOS 24008 HAS SOPS 24008 HAS SOUS 19256 HAS SOUPS 19256 WITH SCORE 19280.008
AT ITER 1741 NEW BEST:: SOT 125679 SOS 23974 HAS SOPS 23974 HAS SOUS 19239 HAS SOUPS 19239 WITH SCORE 19262.974
AT ITER 1797 NEW BEST:: SOT 125521 SOS 24591 HAS SOPS 24591 HAS SOUS 19131 HAS SOUPS 19131 WITH SCORE 19155.591
AT ITER 1800 NEW BEST:: SOT 125521 SOS 24622 HAS SOPS 24622 HAS SOUS 19125 HAS SOUPS 19125 WITH SCORE 19149.622
AT ITER 1822 NEW BEST:: SOT 125403 SOS 24508 HAS SOPS 24508 HAS SOUS 19019 HAS SOUPS 19019 WITH SCORE 19043.508
AT ITER 1834 NEW BEST:: SOT 125400 SOS 24502 HAS SOPS 24502 HAS SOUS 19013 HAS SOUPS 19013 WITH SCORE 19037.502
AT ITER 1870 NEW BEST:: SOT 125388 SOS 24478 HAS SOPS 24478 HAS SOUS 18999 HAS SOUPS 18999 WITH SCORE 19023.478
AT ITER 1875 NEW BEST:: SOT 125367 SOS 24436 HAS SOPS 24436 HAS SOUS 18978 HAS SOUPS 18978 WITH SCORE 19002.436
AT ITER 1883 NEW BEST:: SOT 125367 SOS 24427 HAS SOPS 24427 HAS SOUS 18978 HAS SOUPS 18978 WITH SCORE 19002.427
AT ITER 1885 NEW BEST:: SOT 125345 SOS 24427 HAS SOPS 24427 HAS SOUS 18956 HAS SOUPS 18956 WITH SCORE 18980.427
AT ITER 1908 NEW BEST:: SOT 125327 SOS 24391 HAS SOPS 24391 HAS SOUS 18938 HAS SOUPS 18938 WITH SCORE 18962.391
AT ITER 1912 NEW BEST:: SOT 125327 SOS 24311 HAS SOPS 24311 HAS SOUS 18938 HAS SOUPS 18938 WITH SCORE 18962.311
AT ITER 1920 NEW BEST:: SOT 125319 SOS 24295 HAS SOPS 24295 HAS SOUS 18922 HAS SOUPS 18922 WITH SCORE 18946.295
AT ITER 1950 NEW BEST:: SOT 125318 SOS 24293 HAS SOPS 24293 HAS SOUS 18920 HAS SOUPS 18920 WITH SCORE 18944.293
AT ITER 1955 NEW BEST:: SOT 125316 SOS 24290 HAS SOPS 24290 HAS SOUS 18919 HAS SOUPS 18919 WITH SCORE 18943.29
AT ITER 1967 NEW BEST:: SOT 125281 SOS 24220 HAS SOPS 24220 HAS SOUS 18884 HAS SOUPS 18884 WITH SCORE 18908.22
AT ITER 2001 NEW BEST:: SOT 125107 SOS 23969 HAS SOPS 23969 HAS SOUS 18736 HAS SOUPS 18736 WITH SCORE 18759.969
AT ITER 2007 NEW BEST:: SOT 125107 SOS 23957 HAS SOPS 23957 HAS SOUS 18736 HAS SOUPS 18736 WITH SCORE 18759.957
AT ITER 2027 NEW BEST:: SOT 125069 SOS 23881 HAS SOPS 23881 HAS SOUS 18708 HAS SOUPS 18708 WITH SCORE 18731.881
AT ITER 2044 NEW BEST:: SOT 125069 SOS 23857 HAS SOPS 23857 HAS SOUS 18708 HAS SOUPS 18708 WITH SCORE 18731.857
AT ITER 2098 NEW BEST:: SOT 125062 SOS 23843 HAS SOPS 23843 HAS SOUS 18694 HAS SOUPS 18694 WITH SCORE 18717.843
AT ITER 2109 NEW BEST:: SOT 125060 SOS 23839 HAS SOPS 23839 HAS SOUS 18690 HAS SOUPS 18690 WITH SCORE 18713.839
AT ITER 2142 NEW BEST:: SOT 125053 SOS 23825 HAS SOPS 23825 HAS SOUS 18610 HAS SOUPS 18610 WITH SCORE 18633.825
AT ITER 2155 NEW BEST:: SOT 125065 SOS 23849 HAS SOPS 23849 HAS SOUS 18575 HAS SOUPS 18575 WITH SCORE 18598.849
AT ITER 2219 NEW BEST:: SOT 125065 SOS 23846 HAS SOPS 23846 HAS SOUS 18573 HAS SOUPS 18573 WITH SCORE 18596.846
AT ITER 2225 NEW BEST:: SOT 125058 SOS 23832 HAS SOPS 23832 HAS SOUS 18566 HAS SOUPS 18566 WITH SCORE 18589.832
AT ITER 2253 NEW BEST:: SOT 125036 SOS 23762 HAS SOPS 23762 HAS SOUS 18497 HAS SOUPS 18497 WITH SCORE 18520.762
AT ITER 2280 NEW BEST:: SOT 124958 SOS 23562 HAS SOPS 23562 HAS SOUS 18385 HAS SOUPS 18385 WITH SCORE 18408.562
AT ITER 2284 NEW BEST:: SOT 124954 SOS 23557 HAS SOPS 23557 HAS SOUS 18380 HAS SOUPS 18380 WITH SCORE 18403.557
AT ITER 2311 NEW BEST:: SOT 124944 SOS 23537 HAS SOPS 23537 HAS SOUS 18360 HAS SOUPS 18360 WITH SCORE 18383.537
AT ITER 2322 NEW BEST:: SOT 124936 SOS 23521 HAS SOPS 23521 HAS SOUS 18352 HAS SOUPS 18352 WITH SCORE 18375.521
AT ITER 2346 NEW BEST:: SOT 124934 SOS 23517 HAS SOPS 23517 HAS SOUS 18321 HAS SOUPS 18321 WITH SCORE 18344.517
AT ITER 2355 NEW BEST:: SOT 124931 SOS 23511 HAS SOPS 23511 HAS SOUS 18315 HAS SOUPS 18315 WITH SCORE 18338.511
AT ITER 2393 NEW BEST:: SOT 124908 SOS 23465 HAS SOPS 23465 HAS SOUS 18269 HAS SOUPS 18269 WITH SCORE 18292.465
AT ITER 2406 NEW BEST:: SOT 124884 SOS 23417 HAS SOPS 23417 HAS SOUS 18170 HAS SOUPS 18170 WITH SCORE 18193.417
AT ITER 2481 NEW BEST:: SOT 124902 SOS 23435 HAS SOPS 23435 HAS SOUS 18134 HAS SOUPS 18134 WITH SCORE 18157.435
AT ITER 2483 NEW BEST:: SOT 124894 SOS 23419 HAS SOPS 23419 HAS SOUS 18118 HAS SOUPS 18118 WITH SCORE 18141.419
AT ITER 2520 NEW BEST:: SOT 124879 SOS 23389 HAS SOPS 23389 HAS SOUS 18103 HAS SOUPS 18103 WITH SCORE 18126.389
AT ITER 2551 NEW BEST:: SOT 124871 SOS 23381 HAS SOPS 23381 HAS SOUS 18087 HAS SOUPS 18087 WITH SCORE 18110.381
AT ITER 2569 NEW BEST:: SOT 124859 SOS 23357 HAS SOPS 23357 HAS SOUS 18075 HAS SOUPS 18075 WITH SCORE 18098.357
AT ITER 2590 NEW BEST:: SOT 124890 SOS 23315 HAS SOPS 23315 HAS SOUS 18059 HAS SOUPS 18059 WITH SCORE 18082.315
AT ITER 2634 NEW BEST:: SOT 124871 SOS 23277 HAS SOPS 23277 HAS SOUS 18051 HAS SOUPS 18051 WITH SCORE 18074.277
AT ITER 2636 NEW BEST:: SOT 124867 SOS 23269 HAS SOPS 23269 HAS SOUS 18048 HAS SOUPS 18048 WITH SCORE 18071.269
AT ITER 2652 NEW BEST:: SOT 124829 SOS 23193 HAS SOPS 23193 HAS SOUS 18010 HAS SOUPS 18010 WITH SCORE 18033.193
AT ITER 2695 NEW BEST:: SOT 124817 SOS 23169 HAS SOPS 23169 HAS SOUS 17986 HAS SOUPS 17986 WITH SCORE 18009.169
AT ITER 2723 NEW BEST:: SOT 124787 SOS 23109 HAS SOPS 23109 HAS SOUS 17972 HAS SOUPS 17972 WITH SCORE 17995.109
AT ITER 2751 NEW BEST:: SOT 124786 SOS 23107 HAS SOPS 23107 HAS SOUS 17939 HAS SOUPS 17939 WITH SCORE 17962.107
AT ITER 2759 NEW BEST:: SOT 124753 SOS 23041 HAS SOPS 23041 HAS SOUS 17873 HAS SOUPS 17873 WITH SCORE 17896.041
AT ITER 2797 NEW BEST:: SOT 124681 SOS 22833 HAS SOPS 22833 HAS SOUS 17778 HAS SOUPS 17778 WITH SCORE 17800.833
AT ITER 2798 NEW BEST:: SOT 124678 SOS 22827 HAS SOPS 22827 HAS SOUS 17772 HAS SOUPS 17772 WITH SCORE 17794.827
AT ITER 2822 NEW BEST:: SOT 124674 SOS 22823 HAS SOPS 22823 HAS SOUS 17768 HAS SOUPS 17768 WITH SCORE 17790.823
AT ITER 2922 NEW BEST:: SOT 124675 SOS 22824 HAS SOPS 22824 HAS SOUS 17767 HAS SOUPS 17767 WITH SCORE 17789.824
AT ITER 2933 NEW BEST:: SOT 124664 SOS 22797 HAS SOPS 22797 HAS SOUS 17748 HAS SOUPS 17748 WITH SCORE 17770.797
AT ITER 2946 NEW BEST:: SOT 124662 SOS 22793 HAS SOPS 22793 HAS SOUS 17744 HAS SOUPS 17744 WITH SCORE 17766.793
AT ITER 2966 NEW BEST:: SOT 124640 SOS 22749 HAS SOPS 22749 HAS SOUS 17700 HAS SOUPS 17700 WITH SCORE 17722.749
AT ITER 2994 NEW BEST:: SOT 124518 SOS 22677 HAS SOPS 22677 HAS SOUS 17603 HAS SOUPS 17603 WITH SCORE 17625.677
AT ITER 3047 NEW BEST:: SOT 124434 SOS 22509 HAS SOPS 22509 HAS SOUS 17435 HAS SOUPS 17435 WITH SCORE 17457.509
AT ITER 3052 NEW BEST:: SOT 124424 SOS 22501 HAS SOPS 22501 HAS SOUS 17427 HAS SOUPS 17427 WITH SCORE 17449.501
AT ITER 3073 NEW BEST:: SOT 124392 SOS 22469 HAS SOPS 22469 HAS SOUS 17395 HAS SOUPS 17395 WITH SCORE 17417.469
AT ITER 3099 NEW BEST:: SOT 124392 SOS 22464 HAS SOPS 22464 HAS SOUS 17390 HAS SOUPS 17390 WITH SCORE 17412.464
AT ITER 3109 NEW BEST:: SOT 124368 SOS 22563 HAS SOPS 22563 HAS SOUS 17378 HAS SOUPS 17378 WITH SCORE 17400.563
AT ITER 3146 NEW BEST:: SOT 124360 SOS 22555 HAS SOPS 22555 HAS SOUS 17370 HAS SOUPS 17370 WITH SCORE 17392.555
AT ITER 3311 NEW BEST:: SOT 124352 SOS 22607 HAS SOPS 22607 HAS SOUS 17366 HAS SOUPS 17366 WITH SCORE 17388.607
AT ITER 3328 NEW BEST:: SOT 124350 SOS 22603 HAS SOPS 22603 HAS SOUS 17362 HAS SOUPS 17362 WITH SCORE 17384.603
AT ITER 3334 NEW BEST:: SOT 124348 SOS 22599 HAS SOPS 22599 HAS SOUS 17360 HAS SOUPS 17360 WITH SCORE 17382.599
AT ITER 3366 NEW BEST:: SOT 124343 SOS 22589 HAS SOPS 22589 HAS SOUS 17350 HAS SOUPS 17350 WITH SCORE 17372.589
AT ITER 3416 NEW BEST:: SOT 124327 SOS 22575 HAS SOPS 22575 HAS SOUS 17339 HAS SOUPS 17339 WITH SCORE 17361.575
AT ITER 3421 NEW BEST:: SOT 124301 SOS 22554 HAS SOPS 22554 HAS SOUS 17338 HAS SOUPS 17338 WITH SCORE 17360.554
AT ITER 3478 NEW BEST:: SOT 124301 SOS 22536 HAS SOPS 22536 HAS SOUS 17325 HAS SOUPS 17325 WITH SCORE 17347.536
AT ITER 3489 NEW BEST:: SOT 124298 SOS 22548 HAS SOPS 22548 HAS SOUS 17321 HAS SOUPS 17321 WITH SCORE 17343.548
AT ITER 3508 NEW BEST:: SOT 124287 SOS 22526 HAS SOPS 22526 HAS SOUS 17299 HAS SOUPS 17299 WITH SCORE 17321.526
AT ITER 3542 NEW BEST:: SOT 124267 SOS 22522 HAS SOPS 22522 HAS SOUS 17292 HAS SOUPS 17292 WITH SCORE 17314.522
AT ITER 3579 NEW BEST:: SOT 124226 SOS 22399 HAS SOPS 22399 HAS SOUS 17251 HAS SOUPS 17251 WITH SCORE 17273.399
AT ITER 3582 NEW BEST:: SOT 124187 SOS 22385 HAS SOPS 22385 HAS SOUS 17233 HAS SOUPS 17233 WITH SCORE 17255.385
AT ITER 3584 NEW BEST:: SOT 124176 SOS 22363 HAS SOPS 22363 HAS SOUS 17211 HAS SOUPS 17211 WITH SCORE 17233.363
AT ITER 3625 NEW BEST:: SOT 124177 SOS 22355 HAS SOPS 22355 HAS SOUS 17207 HAS SOUPS 17207 WITH SCORE 17229.355
AT ITER 3678 NEW BEST:: SOT 124150 SOS 22328 HAS SOPS 22328 HAS SOUS 17153 HAS SOUPS 17153 WITH SCORE 17175.328
AT ITER 3709 NEW BEST:: SOT 124149 SOS 22326 HAS SOPS 22326 HAS SOUS 17151 HAS SOUPS 17151 WITH SCORE 17173.326
AT ITER 3743 NEW BEST:: SOT 124134 SOS 22296 HAS SOPS 22296 HAS SOUS 17136 HAS SOUPS 17136 WITH SCORE 17158.296
AT ITER 3765 NEW BEST:: SOT 124157 SOS 22036 HAS SOPS 22036 HAS SOUS 17125 HAS SOUPS 17125 WITH SCORE 17147.036
AT ITER 3777 NEW BEST:: SOT 124154 SOS 22033 HAS SOPS 22033 HAS SOUS 17122 HAS SOUPS 17122 WITH SCORE 17144.033
AT ITER 3841 NEW BEST:: SOT 124102 SOS 21971 HAS SOPS 21971 HAS SOUS 17074 HAS SOUPS 17074 WITH SCORE 17095.971
AT ITER 3918 NEW BEST:: SOT 124100 SOS 21967 HAS SOPS 21967 HAS SOUS 17070 HAS SOUPS 17070 WITH SCORE 17091.967
AT ITER 4061 NEW BEST:: SOT 124093 SOS 21960 HAS SOPS 21960 HAS SOUS 17063 HAS SOUPS 17063 WITH SCORE 17084.96
AT ITER 4170 NEW BEST:: SOT 124088 SOS 21955 HAS SOPS 21955 HAS SOUS 17058 HAS SOUPS 17058 WITH SCORE 17079.955
AT ITER 4179 NEW BEST:: SOT 123965 SOS 21857 HAS SOPS 21857 HAS SOUS 17002 HAS SOUPS 17002 WITH SCORE 17023.857
AT ITER 4250 NEW BEST:: SOT 123957 SOS 21945 HAS SOPS 21945 HAS SOUS 16986 HAS SOUPS 16986 WITH SCORE 17007.945
AT ITER 4261 NEW BEST:: SOT 123892 SOS 21850 HAS SOPS 21850 HAS SOUS 16888 HAS SOUPS 16888 WITH SCORE 16909.85
AT ITER 4273 NEW BEST:: SOT 123892 SOS 21850 HAS SOPS 21850 HAS SOUS 16878 HAS SOUPS 16878 WITH SCORE 16899.85
AT ITER 4294 NEW BEST:: SOT 123892 SOS 21850 HAS SOPS 21850 HAS SOUS 16873 HAS SOUPS 16873 WITH SCORE 16894.85
AT ITER 4377 NEW BEST:: SOT 123890 SOS 21846 HAS SOPS 21846 HAS SOUS 16869 HAS SOUPS 16869 WITH SCORE 16890.846
AT ITER 4385 NEW BEST:: SOT 123887 SOS 21834 HAS SOPS 21834 HAS SOUS 16860 HAS SOUPS 16860 WITH SCORE 16881.834
AT ITER 4402 NEW BEST:: SOT 123885 SOS 21830 HAS SOPS 21830 HAS SOUS 16856 HAS SOUPS 16856 WITH SCORE 16877.83
AT ITER 4500 NEW BEST:: SOT 123875 SOS 21810 HAS SOPS 21810 HAS SOUS 16836 HAS SOUPS 16836 WITH SCORE 16857.81
AT ITER 4537 NEW BEST:: SOT 123825 SOS 21710 HAS SOPS 21710 HAS SOUS 16736 HAS SOUPS 16736 WITH SCORE 16757.71
AT ITER 4569 NEW BEST:: SOT 123811 SOS 21706 HAS SOPS 21706 HAS SOUS 16732 HAS SOUPS 16732 WITH SCORE 16753.706
AT ITER 4575 NEW BEST:: SOT 123803 SOS 21694 HAS SOPS 21694 HAS SOUS 16720 HAS SOUPS 16720 WITH SCORE 16741.694
AT ITER 4678 NEW BEST:: SOT 123795 SOS 21691 HAS SOPS 21691 HAS SOUS 16717 HAS SOUPS 16717 WITH SCORE 16738.691
AT ITER 4691 NEW BEST:: SOT 123793 SOS 21687 HAS SOPS 21687 HAS SOUS 16713 HAS SOUPS 16713 WITH SCORE 16734.687
AT ITER 4711 NEW BEST:: SOT 123693 SOS 21683 HAS SOPS 21683 HAS SOUS 16648 HAS SOUPS 16648 WITH SCORE 16669.683
AT ITER 4737 NEW BEST:: SOT 123689 SOS 21679 HAS SOPS 21679 HAS SOUS 16644 HAS SOUPS 16644 WITH SCORE 16665.679
AT ITER 4747 NEW BEST:: SOT 123660 SOS 21621 HAS SOPS 21621 HAS SOUS 16615 HAS SOUPS 16615 WITH SCORE 16636.621
AT ITER 4749 NEW BEST:: SOT 123656 SOS 21613 HAS SOPS 21613 HAS SOUS 16607 HAS SOUPS 16607 WITH SCORE 16628.613
AT ITER 4791 NEW BEST:: SOT 123655 SOS 21611 HAS SOPS 21611 HAS SOUS 16605 HAS SOUPS 16605 WITH SCORE 16626.611
AT ITER 4805 NEW BEST:: SOT 123654 SOS 21599 HAS SOPS 21599 HAS SOUS 16594 HAS SOUPS 16594 WITH SCORE 16615.599
AT ITER 4836 NEW BEST:: SOT 123654 SOS 21599 HAS SOPS 21599 HAS SOUS 16591 HAS SOUPS 16591 WITH SCORE 16612.599
AT ITER 4893 NEW BEST:: SOT 123654 SOS 21598 HAS SOPS 21598 HAS SOUS 16591 HAS SOUPS 16591 WITH SCORE 16612.598
AT ITER 4987 NEW BEST:: SOT 123654 SOS 21602 HAS SOPS 21602 HAS SOUS 16587 HAS SOUPS 16587 WITH SCORE 16608.602
AT ITER 5038 NEW BEST:: SOT 123645 SOS 21597 HAS SOPS 21597 HAS SOUS 16577 HAS SOUPS 16577 WITH SCORE 16598.597
AT ITER 5057 NEW BEST:: SOT 123643 SOS 21580 HAS SOPS 21580 HAS SOUS 16575 HAS SOUPS 16575 WITH SCORE 16596.58
AT ITER 5100 NEW BEST:: SOT 123624 SOS 21542 HAS SOPS 21542 HAS SOUS 16570 HAS SOUPS 16570 WITH SCORE 16591.542
AT ITER 5102 NEW BEST:: SOT 123601 SOS 21688 HAS SOPS 21688 HAS SOUS 16559 HAS SOUPS 16559 WITH SCORE 16580.688
AT ITER 5141 NEW BEST:: SOT 123596 SOS 21678 HAS SOPS 21678 HAS SOUS 16549 HAS SOUPS 16549 WITH SCORE 16570.678
AT ITER 5199 NEW BEST:: SOT 123573 SOS 21681 HAS SOPS 21681 HAS SOUS 16545 HAS SOUPS 16545 WITH SCORE 16566.681
AT ITER 5240 NEW BEST:: SOT 123573 SOS 21681 HAS SOPS 21681 HAS SOUS 16541 HAS SOUPS 16541 WITH SCORE 16562.681
AT ITER 5296 NEW BEST:: SOT 123510 SOS 21600 HAS SOPS 21600 HAS SOUS 16448 HAS SOUPS 16448 WITH SCORE 16469.6
AT ITER 5304 NEW BEST:: SOT 123505 SOS 21590 HAS SOPS 21590 HAS SOUS 16438 HAS SOUPS 16438 WITH SCORE 16459.59
AT ITER 5318 NEW BEST:: SOT 123495 SOS 21582 HAS SOPS 21582 HAS SOUS 16428 HAS SOUPS 16428 WITH SCORE 16449.582
AT ITER 5354 NEW BEST:: SOT 123491 SOS 21572 HAS SOPS 21572 HAS SOUS 16418 HAS SOUPS 16418 WITH SCORE 16439.572
AT ITER 5359 NEW BEST:: SOT 123485 SOS 21566 HAS SOPS 21566 HAS SOUS 16412 HAS SOUPS 16412 WITH SCORE 16433.566
AT ITER 5361 NEW BEST:: SOT 123470 SOS 21536 HAS SOPS 21536 HAS SOUS 16382 HAS SOUPS 16382 WITH SCORE 16403.536
AT ITER 5432 NEW BEST:: SOT 123458 SOS 21512 HAS SOPS 21512 HAS SOUS 16358 HAS SOUPS 16358 WITH SCORE 16379.512
AT ITER 5436 NEW BEST:: SOT 123458 SOS 21511 HAS SOPS 21511 HAS SOUS 16357 HAS SOUPS 16357 WITH SCORE 16378.511
AT ITER 5454 NEW BEST:: SOT 123451 SOS 21497 HAS SOPS 21497 HAS SOUS 16351 HAS SOUPS 16351 WITH SCORE 16372.497
AT ITER 5543 NEW BEST:: SOT 123443 SOS 21481 HAS SOPS 21481 HAS SOUS 16335 HAS SOUPS 16335 WITH SCORE 16356.481
AT ITER 5694 NEW BEST:: SOT 123436 SOS 21467 HAS SOPS 21467 HAS SOUS 16321 HAS SOUPS 16321 WITH SCORE 16342.467
AT ITER 5752 NEW BEST:: SOT 123420 SOS 21453 HAS SOPS 21453 HAS SOUS 16303 HAS SOUPS 16303 WITH SCORE 16324.453
AT ITER 5906 NEW BEST:: SOT 123420 SOS 21451 HAS SOPS 21451 HAS SOUS 16303 HAS SOUPS 16303 WITH SCORE 16324.451
AT ITER 6062 NEW BEST:: SOT 123423 SOS 21769 HAS SOPS 21769 HAS SOUS 16302 HAS SOUPS 16302 WITH SCORE 16323.769
AT ITER 6190 NEW BEST:: SOT 123418 SOS 21753 HAS SOPS 21753 HAS SOUS 16291 HAS SOUPS 16291 WITH SCORE 16312.753
AT ITER 6194 NEW BEST:: SOT 123411 SOS 21739 HAS SOPS 21739 HAS SOUS 16277 HAS SOUPS 16277 WITH SCORE 16298.739
AT ITER 6286 NEW BEST:: SOT 123382 SOS 21710 HAS SOPS 21710 HAS SOUS 16267 HAS SOUPS 16267 WITH SCORE 16288.71
AT ITER 6352 NEW BEST:: SOT 123381 SOS 21708 HAS SOPS 21708 HAS SOUS 16265 HAS SOUPS 16265 WITH SCORE 16286.708
AT ITER 6435 NEW BEST:: SOT 123358 SOS 22001 HAS SOPS 22001 HAS SOUS 16261 HAS SOUPS 16261 WITH SCORE 16283.001
AT ITER 6455 NEW BEST:: SOT 123356 SOS 21997 HAS SOPS 21997 HAS SOUS 16257 HAS SOUPS 16257 WITH SCORE 16278.997
AT ITER 6507 NEW BEST:: SOT 123339 SOS 21963 HAS SOPS 21963 HAS SOUS 16240 HAS SOUPS 16240 WITH SCORE 16261.963
AT ITER 6558 NEW BEST:: SOT 123339 SOS 21963 HAS SOPS 21963 HAS SOUS 16226 HAS SOUPS 16226 WITH SCORE 16247.963
AT ITER 6654 NEW BEST:: SOT 123335 SOS 21955 HAS SOPS 21955 HAS SOUS 16218 HAS SOUPS 16218 WITH SCORE 16239.955
AT ITER 6738 NEW BEST:: SOT 123312 SOS 21909 HAS SOPS 21909 HAS SOUS 16210 HAS SOUPS 16210 WITH SCORE 16231.909
AT ITER 6748 NEW BEST:: SOT 123311 SOS 21907 HAS SOPS 21907 HAS SOUS 16198 HAS SOUPS 16198 WITH SCORE 16219.907
AT ITER 6784 NEW BEST:: SOT 123293 SOS 21883 HAS SOPS 21883 HAS SOUS 16174 HAS SOUPS 16174 WITH SCORE 16195.883
AT ITER 6859 NEW BEST:: SOT 123290 SOS 21877 HAS SOPS 21877 HAS SOUS 16168 HAS SOUPS 16168 WITH SCORE 16189.877
AT ITER 6917 NEW BEST:: SOT 123267 SOS 21831 HAS SOPS 21831 HAS SOUS 16166 HAS SOUPS 16166 WITH SCORE 16187.831
AT ITER 6995 NEW BEST:: SOT 123267 SOS 21806 HAS SOPS 21806 HAS SOUS 16141 HAS SOUPS 16141 WITH SCORE 16162.806
AT ITER 7069 NEW BEST:: SOT 123262 SOS 21796 HAS SOPS 21796 HAS SOUS 16131 HAS SOUPS 16131 WITH SCORE 16152.796
AT ITER 7093 NEW BEST:: SOT 123237 SOS 21746 HAS SOPS 21746 HAS SOUS 16081 HAS SOUPS 16081 WITH SCORE 16102.746
AT ITER 7107 NEW BEST:: SOT 123236 SOS 21744 HAS SOPS 21744 HAS SOUS 16079 HAS SOUPS 16079 WITH SCORE 16100.744
AT ITER 7124 NEW BEST:: SOT 123236 SOS 21744 HAS SOPS 21744 HAS SOUS 16075 HAS SOUPS 16075 WITH SCORE 16096.744
AT ITER 7139 NEW BEST:: SOT 123230 SOS 21732 HAS SOPS 21732 HAS SOUS 16063 HAS SOUPS 16063 WITH SCORE 16084.732
AT ITER 7143 NEW BEST:: SOT 123230 SOS 21732 HAS SOPS 21732 HAS SOUS 16061 HAS SOUPS 16061 WITH SCORE 16082.732
AT ITER 7171 NEW BEST:: SOT 123238 SOS 21984 HAS SOPS 21984 HAS SOUS 16045 HAS SOUPS 16045 WITH SCORE 16066.984
AT ITER 7288 NEW BEST:: SOT 123227 SOS 21962 HAS SOPS 21962 HAS SOUS 16031 HAS SOUPS 16031 WITH SCORE 16052.962
AT ITER 7430 NEW BEST:: SOT 123224 SOS 21892 HAS SOPS 21892 HAS SOUS 16025 HAS SOUPS 16025 WITH SCORE 16046.892
AT ITER 7431 NEW BEST:: SOT 123190 SOS 21824 HAS SOPS 21824 HAS SOUS 16000 HAS SOUPS 16000 WITH SCORE 16021.824
AT ITER 7435 NEW BEST:: SOT 123193 SOS 21830 HAS SOPS 21830 HAS SOUS 15983 HAS SOUPS 15983 WITH SCORE 16004.83
AT ITER 7483 NEW BEST:: SOT 123193 SOS 22012 HAS SOPS 22012 HAS SOUS 15981 HAS SOUPS 15981 WITH SCORE 16003.012
AT ITER 7509 NEW BEST:: SOT 123192 SOS 22010 HAS SOPS 22010 HAS SOUS 15979 HAS SOUPS 15979 WITH SCORE 16001.01
AT ITER 7558 NEW BEST:: SOT 123186 SOS 21998 HAS SOPS 21998 HAS SOUS 15967 HAS SOUPS 15967 WITH SCORE 15988.998
AT ITER 7606 NEW BEST:: SOT 123184 SOS 21987 HAS SOPS 21987 HAS SOUS 15967 HAS SOUPS 15967 WITH SCORE 15988.987
AT ITER 7607 NEW BEST:: SOT 123183 SOS 21985 HAS SOPS 21985 HAS SOUS 15965 HAS SOUPS 15965 WITH SCORE 15986.985
AT ITER 7614 NEW BEST:: SOT 123182 SOS 21984 HAS SOPS 21984 HAS SOUS 15964 HAS SOUPS 15964 WITH SCORE 15985.984
AT ITER 7670 NEW BEST:: SOT 123181 SOS 21969 HAS SOPS 21969 HAS SOUS 15962 HAS SOUPS 15962 WITH SCORE 15983.969
AT ITER 7684 NEW BEST:: SOT 123181 SOS 21969 HAS SOPS 21969 HAS SOUS 15958 HAS SOUPS 15958 WITH SCORE 15979.969
AT ITER 7688 NEW BEST:: SOT 123165 SOS 21950 HAS SOPS 21950 HAS SOUS 15939 HAS SOUPS 15939 WITH SCORE 15960.95
AT ITER 7732 NEW BEST:: SOT 123165 SOS 21948 HAS SOPS 21948 HAS SOUS 15937 HAS SOUPS 15937 WITH SCORE 15958.948
AT ITER 7744 NEW BEST:: SOT 123163 SOS 21957 HAS SOPS 21957 HAS SOUS 15933 HAS SOUPS 15933 WITH SCORE 15954.957
AT ITER 7802 NEW BEST:: SOT 123161 SOS 21953 HAS SOPS 21953 HAS SOUS 15926 HAS SOUPS 15926 WITH SCORE 15947.953
AT ITER 7873 NEW BEST:: SOT 123160 SOS 21951 HAS SOPS 21951 HAS SOUS 15924 HAS SOUPS 15924 WITH SCORE 15945.951
AT ITER 7878 NEW BEST:: SOT 123156 SOS 21928 HAS SOPS 21928 HAS SOUS 15915 HAS SOUPS 15915 WITH SCORE 15936.928
AT ITER 7955 NEW BEST:: SOT 123157 SOS 21920 HAS SOPS 21920 HAS SOUS 15907 HAS SOUPS 15907 WITH SCORE 15928.92
AT ITER 8009 NEW BEST:: SOT 123155 SOS 21916 HAS SOPS 21916 HAS SOUS 15903 HAS SOUPS 15903 WITH SCORE 15924.916
AT ITER 8017 NEW BEST:: SOT 123155 SOS 21900 HAS SOPS 21900 HAS SOUS 15903 HAS SOUPS 15903 WITH SCORE 15924.9
AT ITER 8051 NEW BEST:: SOT 123146 SOS 21882 HAS SOPS 21882 HAS SOUS 15885 HAS SOUPS 15885 WITH SCORE 15906.882
AT ITER 8102 NEW BEST:: SOT 123125 SOS 21840 HAS SOPS 21840 HAS SOUS 15882 HAS SOUPS 15882 WITH SCORE 15903.84
AT ITER 8113 NEW BEST:: SOT 123119 SOS 21828 HAS SOPS 21828 HAS SOUS 15876 HAS SOUPS 15876 WITH SCORE 15897.828
AT ITER 8129 NEW BEST:: SOT 123118 SOS 21827 HAS SOPS 21827 HAS SOUS 15874 HAS SOUPS 15874 WITH SCORE 15895.827
AT ITER 8142 NEW BEST:: SOT 123119 SOS 21823 HAS SOPS 21823 HAS SOUS 15870 HAS SOUPS 15870 WITH SCORE 15891.823
AT ITER 8143 NEW BEST:: SOT 123109 SOS 21803 HAS SOPS 21803 HAS SOUS 15860 HAS SOUPS 15860 WITH SCORE 15881.803
AT ITER 8301 NEW BEST:: SOT 123105 SOS 21795 HAS SOPS 21795 HAS SOUS 15852 HAS SOUPS 15852 WITH SCORE 15873.795
AT ITER 8381 NEW BEST:: SOT 123100 SOS 21785 HAS SOPS 21785 HAS SOUS 15842 HAS SOUPS 15842 WITH SCORE 15863.785
AT ITER 8488 NEW BEST:: SOT 123090 SOS 21772 HAS SOPS 21772 HAS SOUS 15829 HAS SOUPS 15829 WITH SCORE 15850.772
AT ITER 8611 NEW BEST:: SOT 123090 SOS 21771 HAS SOPS 21771 HAS SOUS 15829 HAS SOUPS 15829 WITH SCORE 15850.771
AT ITER 8616 NEW BEST:: SOT 123046 SOS 22026 HAS SOPS 22026 HAS SOUS 15828 HAS SOUPS 15828 WITH SCORE 15850.026
AT ITER 8863 NEW BEST:: SOT 122999 SOS 21932 HAS SOPS 21932 HAS SOUS 15788 HAS SOUPS 15788 WITH SCORE 15809.932
AT ITER 8868 NEW BEST:: SOT 123005 SOS 21944 HAS SOPS 21944 HAS SOUS 15768 HAS SOUPS 15768 WITH SCORE 15789.944
AT ITER 8936 NEW BEST:: SOT 123000 SOS 21934 HAS SOPS 21934 HAS SOUS 15758 HAS SOUPS 15758 WITH SCORE 15779.934
AT ITER 9099 NEW BEST:: SOT 122993 SOS 21920 HAS SOPS 21920 HAS SOUS 15744 HAS SOUPS 15744 WITH SCORE 15765.92
AT ITER 9102 NEW BEST:: SOT 122984 SOS 21912 HAS SOPS 21912 HAS SOUS 15740 HAS SOUPS 15740 WITH SCORE 15761.912
AT ITER 9176 NEW BEST:: SOT 122982 SOS 21908 HAS SOPS 21908 HAS SOUS 15736 HAS SOUPS 15736 WITH SCORE 15757.908
AT ITER 9187 NEW BEST:: SOT 122957 SOS 21883 HAS SOPS 21883 HAS SOUS 15711 HAS SOUPS 15711 WITH SCORE 15732.883
AT ITER 9188 NEW BEST:: SOT 122949 SOS 21867 HAS SOPS 21867 HAS SOUS 15703 HAS SOUPS 15703 WITH SCORE 15724.867
AT ITER 9203 NEW BEST:: SOT 122924 SOS 21817 HAS SOPS 21817 HAS SOUS 15697 HAS SOUPS 15697 WITH SCORE 15718.817
AT ITER 9225 NEW BEST:: SOT 122922 SOS 21816 HAS SOPS 21816 HAS SOUS 15696 HAS SOUPS 15696 WITH SCORE 15717.816
AT ITER 9243 NEW BEST:: SOT 122922 SOS 21807 HAS SOPS 21807 HAS SOUS 15687 HAS SOUPS 15687 WITH SCORE 15708.807
AT ITER 9311 NEW BEST:: SOT 122920 SOS 21809 HAS SOPS 21809 HAS SOUS 15680 HAS SOUPS 15680 WITH SCORE 15701.809
AT ITER 9356 NEW BEST:: SOT 122925 SOS 21814 HAS SOPS 21814 HAS SOUS 15678 HAS SOUPS 15678 WITH SCORE 15699.814
AT ITER 9367 NEW BEST:: SOT 122944 SOS 21812 HAS SOPS 21812 HAS SOUS 15676 HAS SOUPS 15676 WITH SCORE 15697.812
AT ITER 9380 NEW BEST:: SOT 122934 SOS 21806 HAS SOPS 21806 HAS SOUS 15670 HAS SOUPS 15670 WITH SCORE 15691.806
AT ITER 9546 NEW BEST:: SOT 122933 SOS 21764 HAS SOPS 21764 HAS SOUS 15667 HAS SOUPS 15667 WITH SCORE 15688.764
AT ITER 9558 NEW BEST:: SOT 122876 SOS 21707 HAS SOPS 21707 HAS SOUS 15610 HAS SOUPS 15610 WITH SCORE 15631.707
AT ITER 9560 NEW BEST:: SOT 122858 SOS 21671 HAS SOPS 21671 HAS SOUS 15599 HAS SOUPS 15599 WITH SCORE 15620.671
AT ITER 9644 NEW BEST:: SOT 122851 SOS 21657 HAS SOPS 21657 HAS SOUS 15592 HAS SOUPS 15592 WITH SCORE 15613.657
AT ITER 9875 NEW BEST:: SOT 122843 SOS 21641 HAS SOPS 21641 HAS SOUS 15576 HAS SOUPS 15576 WITH SCORE 15597.641
AT ITER 9931 NEW BEST:: SOT 122823 SOS 21601 HAS SOPS 21601 HAS SOUS 15536 HAS SOUPS 15536 WITH SCORE 15557.601
AT ITER 9991 NEW BEST:: SOT 122823 SOS 21689 HAS SOPS 21689 HAS SOUS 15525 HAS SOUPS 15525 WITH SCORE 15546.689
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 1679434092307

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory

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="smartxred"
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 smartxred"
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 4"
echo " Run identifier is r459-smll-167912651400584"
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 ;