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.r107-tall-167814485001016.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 DNAwalker-PT-18lozangeBlock, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814485001016
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.0M
-rw-r--r-- 1 mcc users 6.0K Feb 25 13:02 CTLCardinality.txt
-rw-r--r-- 1 mcc users 61K Feb 25 13:02 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Feb 25 13:00 CTLFireability.txt
-rw-r--r-- 1 mcc users 43K Feb 25 13:00 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:55 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:55 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 15:56 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:56 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 13:05 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 123K Feb 25 13:05 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 13:03 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 92K Feb 25 13:03 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:56 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:56 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 15 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 1.6M Mar 5 18:22 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 1678447352422

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=DNAwalker-PT-18lozangeBlock
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-10 11:22:34] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-10 11:22:34] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-10 11:22:34] [INFO ] Load time of PNML (sax parser for PT used): 155 ms
[2023-03-10 11:22:34] [INFO ] Transformed 164 places.
[2023-03-10 11:22:34] [INFO ] Transformed 3697 transitions.
[2023-03-10 11:22:34] [INFO ] Parsed PT model containing 164 places and 3697 transitions and 10898 arcs in 244 ms.
[2023-03-10 11:22:34] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 164 places, 3697 transitions and 10898 arcs took 27 ms.
Total runtime 300 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DNAwalker (PT), instance 18lozangeBlock
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: 164 places, 3697 transitions, 10898 arcs.
AT ITER 0 NEW BEST:: SOT 386532 SOS 101757 HAS SOPS 101756 HAS SOUS 14398 HAS SOUPS 14397 WITH SCORE 14498.757
AT ITER 29 NEW BEST:: SOT 386378 SOS 101209 HAS SOPS 101208 HAS SOUS 14396 HAS SOUPS 14395 WITH SCORE 14496.209
AT ITER 60 NEW BEST:: SOT 386288 SOS 100999 HAS SOPS 100998 HAS SOUS 14396 HAS SOUPS 14395 WITH SCORE 14495.999
AT ITER 84 NEW BEST:: SOT 386370 SOS 100687 HAS SOPS 100686 HAS SOUS 14390 HAS SOUPS 14389 WITH SCORE 14489.687
AT ITER 93 NEW BEST:: SOT 386362 SOS 100639 HAS SOPS 100638 HAS SOUS 14384 HAS SOUPS 14383 WITH SCORE 14483.639
AT ITER 104 NEW BEST:: SOT 386336 SOS 100587 HAS SOPS 100586 HAS SOUS 14368 HAS SOUPS 14367 WITH SCORE 14467.587
AT ITER 105 NEW BEST:: SOT 386261 SOS 102501 HAS SOPS 102500 HAS SOUS 14363 HAS SOUPS 14362 WITH SCORE 14464.501
AT ITER 141 NEW BEST:: SOT 386267 SOS 102495 HAS SOPS 102494 HAS SOUS 14363 HAS SOUPS 14362 WITH SCORE 14464.495
AT ITER 163 NEW BEST:: SOT 386881 SOS 102450 HAS SOPS 102449 HAS SOUS 14363 HAS SOUPS 14362 WITH SCORE 14464.45
AT ITER 164 NEW BEST:: SOT 387375 SOS 102298 HAS SOPS 102297 HAS SOUS 14363 HAS SOUPS 14362 WITH SCORE 14464.298
AT ITER 169 NEW BEST:: SOT 386715 SOS 102078 HAS SOPS 102077 HAS SOUS 14343 HAS SOUPS 14342 WITH SCORE 14444.078
AT ITER 187 NEW BEST:: SOT 386786 SOS 101990 HAS SOPS 101989 HAS SOUS 14330 HAS SOUPS 14329 WITH SCORE 14430.99
AT ITER 200 NEW BEST:: SOT 386156 SOS 102192 HAS SOPS 102191 HAS SOUS 14321 HAS SOUPS 14320 WITH SCORE 14422.192
AT ITER 206 NEW BEST:: SOT 386116 SOS 102116 HAS SOPS 102115 HAS SOUS 14305 HAS SOUPS 14304 WITH SCORE 14406.116
AT ITER 227 NEW BEST:: SOT 385160 SOS 102004 HAS SOPS 102003 HAS SOUS 14297 HAS SOUPS 14296 WITH SCORE 14398.004
AT ITER 248 NEW BEST:: SOT 385598 SOS 101764 HAS SOPS 101763 HAS SOUS 14273 HAS SOUPS 14272 WITH SCORE 14373.764
AT ITER 272 NEW BEST:: SOT 384118 SOS 100964 HAS SOPS 100963 HAS SOUS 14217 HAS SOUPS 14216 WITH SCORE 14316.964
AT ITER 291 NEW BEST:: SOT 384102 SOS 100900 HAS SOPS 100899 HAS SOUS 14217 HAS SOUPS 14216 WITH SCORE 14316.9
AT ITER 292 NEW BEST:: SOT 384098 SOS 100886 HAS SOPS 100885 HAS SOUS 14217 HAS SOUPS 14216 WITH SCORE 14316.886
AT ITER 300 NEW BEST:: SOT 383429 SOS 100528 HAS SOPS 100527 HAS SOUS 14208 HAS SOUPS 14207 WITH SCORE 14307.528
AT ITER 307 NEW BEST:: SOT 383343 SOS 100482 HAS SOPS 100481 HAS SOUS 14184 HAS SOUPS 14183 WITH SCORE 14283.482
AT ITER 314 NEW BEST:: SOT 383339 SOS 100474 HAS SOPS 100473 HAS SOUS 14176 HAS SOUPS 14175 WITH SCORE 14275.474
AT ITER 344 NEW BEST:: SOT 383948 SOS 99448 HAS SOPS 99447 HAS SOUS 14133 HAS SOUPS 14132 WITH SCORE 14231.448
AT ITER 345 NEW BEST:: SOT 382988 SOS 98988 HAS SOPS 98987 HAS SOUS 14113 HAS SOUPS 14112 WITH SCORE 14210.988
AT ITER 347 NEW BEST:: SOT 382964 SOS 98920 HAS SOPS 98919 HAS SOUS 14113 HAS SOUPS 14112 WITH SCORE 14210.92
AT ITER 385 NEW BEST:: SOT 382967 SOS 98923 HAS SOPS 98922 HAS SOUS 14112 HAS SOUPS 14111 WITH SCORE 14209.923
AT ITER 403 NEW BEST:: SOT 383123 SOS 98830 HAS SOPS 98829 HAS SOUS 14112 HAS SOUPS 14111 WITH SCORE 14209.83
AT ITER 456 NEW BEST:: SOT 383153 SOS 100696 HAS SOPS 100695 HAS SOUS 14070 HAS SOUPS 14069 WITH SCORE 14169.696
AT ITER 462 NEW BEST:: SOT 381977 SOS 104421 HAS SOPS 104420 HAS SOUS 14048 HAS SOUPS 14047 WITH SCORE 14151.421
AT ITER 466 NEW BEST:: SOT 381277 SOS 103956 HAS SOPS 103955 HAS SOUS 13987 HAS SOUPS 13986 WITH SCORE 14089.956
AT ITER 489 NEW BEST:: SOT 380447 SOS 103508 HAS SOPS 103507 HAS SOUS 13933 HAS SOUPS 13932 WITH SCORE 14035.508
AT ITER 490 NEW BEST:: SOT 379774 SOS 103188 HAS SOPS 103187 HAS SOUS 13924 HAS SOUPS 13923 WITH SCORE 14026.188
AT ITER 499 NEW BEST:: SOT 379734 SOS 103180 HAS SOPS 103179 HAS SOUS 13924 HAS SOUPS 13923 WITH SCORE 14026.18
AT ITER 533 NEW BEST:: SOT 380588 SOS 102076 HAS SOPS 102075 HAS SOUS 13924 HAS SOUPS 13923 WITH SCORE 14025.076
AT ITER 540 NEW BEST:: SOT 380454 SOS 101621 HAS SOPS 101620 HAS SOUS 13924 HAS SOUPS 13923 WITH SCORE 14024.621
AT ITER 550 NEW BEST:: SOT 380390 SOS 101477 HAS SOPS 101476 HAS SOUS 13912 HAS SOUPS 13911 WITH SCORE 14012.477
AT ITER 574 NEW BEST:: SOT 380256 SOS 101401 HAS SOPS 101400 HAS SOUS 13900 HAS SOUPS 13899 WITH SCORE 14000.401
AT ITER 599 NEW BEST:: SOT 380244 SOS 101377 HAS SOPS 101376 HAS SOUS 13877 HAS SOUPS 13876 WITH SCORE 13977.377
AT ITER 601 NEW BEST:: SOT 380850 SOS 101161 HAS SOPS 101160 HAS SOUS 13852 HAS SOUPS 13851 WITH SCORE 13952.161
AT ITER 612 NEW BEST:: SOT 381545 SOS 100661 HAS SOPS 100660 HAS SOUS 13833 HAS SOUPS 13832 WITH SCORE 13932.661
AT ITER 652 NEW BEST:: SOT 380459 SOS 100269 HAS SOPS 100268 HAS SOUS 13779 HAS SOUPS 13778 WITH SCORE 13878.269
AT ITER 659 NEW BEST:: SOT 380586 SOS 96334 HAS SOPS 96333 HAS SOUS 13708 HAS SOUPS 13707 WITH SCORE 13803.334
AT ITER 660 NEW BEST:: SOT 379380 SOS 95872 HAS SOPS 95871 HAS SOUS 13646 HAS SOUPS 13645 WITH SCORE 13740.872
AT ITER 661 NEW BEST:: SOT 379128 SOS 95808 HAS SOPS 95807 HAS SOUS 13646 HAS SOUPS 13645 WITH SCORE 13740.808
AT ITER 667 NEW BEST:: SOT 379006 SOS 95768 HAS SOPS 95767 HAS SOUS 13642 HAS SOUPS 13641 WITH SCORE 13736.768
AT ITER 676 NEW BEST:: SOT 378926 SOS 95560 HAS SOPS 95559 HAS SOUS 13642 HAS SOUPS 13641 WITH SCORE 13736.56
AT ITER 678 NEW BEST:: SOT 379124 SOS 95344 HAS SOPS 95343 HAS SOUS 13642 HAS SOUPS 13641 WITH SCORE 13736.344
AT ITER 741 NEW BEST:: SOT 379604 SOS 95126 HAS SOPS 95125 HAS SOUS 13622 HAS SOUPS 13621 WITH SCORE 13716.126
AT ITER 768 NEW BEST:: SOT 379798 SOS 95261 HAS SOPS 95260 HAS SOUS 13613 HAS SOUPS 13612 WITH SCORE 13707.261
AT ITER 769 NEW BEST:: SOT 379136 SOS 94749 HAS SOPS 94748 HAS SOUS 13555 HAS SOUPS 13554 WITH SCORE 13648.749
AT ITER 780 NEW BEST:: SOT 379166 SOS 94733 HAS SOPS 94732 HAS SOUS 13555 HAS SOUPS 13554 WITH SCORE 13648.733
AT ITER 802 NEW BEST:: SOT 377998 SOS 94733 HAS SOPS 94732 HAS SOUS 13501 HAS SOUPS 13500 WITH SCORE 13594.733
AT ITER 837 NEW BEST:: SOT 378621 SOS 98070 HAS SOPS 98069 HAS SOUS 13485 HAS SOUPS 13484 WITH SCORE 13582.07
AT ITER 840 NEW BEST:: SOT 378595 SOS 98802 HAS SOPS 98801 HAS SOUS 13482 HAS SOUPS 13481 WITH SCORE 13579.802
AT ITER 863 NEW BEST:: SOT 378837 SOS 98824 HAS SOPS 98823 HAS SOUS 13466 HAS SOUPS 13465 WITH SCORE 13563.824
AT ITER 872 NEW BEST:: SOT 378967 SOS 97104 HAS SOPS 97103 HAS SOUS 13441 HAS SOUPS 13440 WITH SCORE 13537.104
AT ITER 883 NEW BEST:: SOT 378927 SOS 97015 HAS SOPS 97014 HAS SOUS 13425 HAS SOUPS 13424 WITH SCORE 13521.015
AT ITER 915 NEW BEST:: SOT 378905 SOS 96973 HAS SOPS 96972 HAS SOUS 13423 HAS SOUPS 13422 WITH SCORE 13518.973
AT ITER 931 NEW BEST:: SOT 378819 SOS 97005 HAS SOPS 97004 HAS SOUS 13413 HAS SOUPS 13412 WITH SCORE 13509.005
AT ITER 938 NEW BEST:: SOT 378677 SOS 96757 HAS SOPS 96756 HAS SOUS 13413 HAS SOUPS 13412 WITH SCORE 13508.757
AT ITER 939 NEW BEST:: SOT 378712 SOS 96687 HAS SOPS 96686 HAS SOUS 13406 HAS SOUPS 13405 WITH SCORE 13501.687
AT ITER 964 NEW BEST:: SOT 378712 SOS 96507 HAS SOPS 96506 HAS SOUS 13406 HAS SOUPS 13405 WITH SCORE 13501.507
AT ITER 965 NEW BEST:: SOT 378824 SOS 96323 HAS SOPS 96322 HAS SOUS 13406 HAS SOUPS 13405 WITH SCORE 13501.323
AT ITER 987 NEW BEST:: SOT 379120 SOS 96231 HAS SOPS 96230 HAS SOUS 13406 HAS SOUPS 13405 WITH SCORE 13501.231
AT ITER 992 NEW BEST:: SOT 378848 SOS 96093 HAS SOPS 96092 HAS SOUS 13399 HAS SOUPS 13398 WITH SCORE 13494.093
AT ITER 1010 NEW BEST:: SOT 378815 SOS 95992 HAS SOPS 95991 HAS SOUS 13364 HAS SOUPS 13363 WITH SCORE 13458.992
AT ITER 1017 NEW BEST:: SOT 379227 SOS 95372 HAS SOPS 95371 HAS SOUS 13364 HAS SOUPS 13363 WITH SCORE 13458.372
AT ITER 1021 NEW BEST:: SOT 379155 SOS 95884 HAS SOPS 95883 HAS SOUS 13350 HAS SOUPS 13349 WITH SCORE 13444.884
AT ITER 1042 NEW BEST:: SOT 379073 SOS 95900 HAS SOPS 95899 HAS SOUS 13344 HAS SOUPS 13343 WITH SCORE 13438.9
AT ITER 1103 NEW BEST:: SOT 379034 SOS 95889 HAS SOPS 95888 HAS SOUS 13344 HAS SOUPS 13343 WITH SCORE 13438.889
AT ITER 1127 NEW BEST:: SOT 379074 SOS 95913 HAS SOPS 95912 HAS SOUS 13340 HAS SOUPS 13339 WITH SCORE 13434.913
AT ITER 1128 NEW BEST:: SOT 379215 SOS 95907 HAS SOPS 95906 HAS SOUS 13334 HAS SOUPS 13333 WITH SCORE 13428.907
AT ITER 1169 NEW BEST:: SOT 378625 SOS 95897 HAS SOPS 95896 HAS SOUS 13330 HAS SOUPS 13329 WITH SCORE 13424.897
AT ITER 1180 NEW BEST:: SOT 378591 SOS 95853 HAS SOPS 95852 HAS SOUS 13314 HAS SOUPS 13313 WITH SCORE 13408.853
AT ITER 1204 NEW BEST:: SOT 379399 SOS 95837 HAS SOPS 95836 HAS SOUS 13314 HAS SOUPS 13313 WITH SCORE 13408.837
AT ITER 1207 NEW BEST:: SOT 379291 SOS 95693 HAS SOPS 95692 HAS SOUS 13308 HAS SOUPS 13307 WITH SCORE 13402.693
AT ITER 1211 NEW BEST:: SOT 379315 SOS 95621 HAS SOPS 95620 HAS SOUS 13308 HAS SOUPS 13307 WITH SCORE 13402.621
AT ITER 1240 NEW BEST:: SOT 379314 SOS 95619 HAS SOPS 95618 HAS SOUS 13305 HAS SOUPS 13304 WITH SCORE 13399.619
AT ITER 1255 NEW BEST:: SOT 379326 SOS 95532 HAS SOPS 95531 HAS SOUS 13290 HAS SOUPS 13289 WITH SCORE 13384.532
AT ITER 1270 NEW BEST:: SOT 378902 SOS 95333 HAS SOPS 95332 HAS SOUS 13262 HAS SOUPS 13261 WITH SCORE 13356.333
AT ITER 1278 NEW BEST:: SOT 378302 SOS 95393 HAS SOPS 95392 HAS SOUS 13260 HAS SOUPS 13259 WITH SCORE 13354.393
AT ITER 1293 NEW BEST:: SOT 378480 SOS 95341 HAS SOPS 95340 HAS SOUS 13260 HAS SOUPS 13259 WITH SCORE 13354.341
AT ITER 1301 NEW BEST:: SOT 378637 SOS 95124 HAS SOPS 95123 HAS SOUS 13251 HAS SOUPS 13250 WITH SCORE 13345.124
AT ITER 1302 NEW BEST:: SOT 378799 SOS 95070 HAS SOPS 95069 HAS SOUS 13251 HAS SOUPS 13250 WITH SCORE 13345.07
AT ITER 1305 NEW BEST:: SOT 378515 SOS 94886 HAS SOPS 94885 HAS SOUS 13251 HAS SOUPS 13250 WITH SCORE 13344.886
AT ITER 1324 NEW BEST:: SOT 378521 SOS 94816 HAS SOPS 94815 HAS SOUS 13251 HAS SOUPS 13250 WITH SCORE 13344.816
AT ITER 1344 NEW BEST:: SOT 378530 SOS 94803 HAS SOPS 94802 HAS SOUS 13250 HAS SOUPS 13249 WITH SCORE 13343.803
AT ITER 1374 NEW BEST:: SOT 378698 SOS 94691 HAS SOPS 94690 HAS SOUS 13250 HAS SOUPS 13249 WITH SCORE 13343.691
AT ITER 1383 NEW BEST:: SOT 378496 SOS 94617 HAS SOPS 94616 HAS SOUS 13244 HAS SOUPS 13243 WITH SCORE 13337.617
AT ITER 1394 NEW BEST:: SOT 377614 SOS 92341 HAS SOPS 92340 HAS SOUS 13194 HAS SOUPS 13193 WITH SCORE 13285.341
AT ITER 1403 NEW BEST:: SOT 377108 SOS 92209 HAS SOPS 92208 HAS SOUS 13178 HAS SOUPS 13177 WITH SCORE 13269.209
AT ITER 1407 NEW BEST:: SOT 377540 SOS 91945 HAS SOPS 91944 HAS SOUS 13178 HAS SOUPS 13177 WITH SCORE 13268.945
AT ITER 1448 NEW BEST:: SOT 377812 SOS 91401 HAS SOPS 91400 HAS SOUS 13178 HAS SOUPS 13177 WITH SCORE 13268.401
AT ITER 1464 NEW BEST:: SOT 378236 SOS 91149 HAS SOPS 91148 HAS SOUS 13178 HAS SOUPS 13177 WITH SCORE 13268.149
AT ITER 1477 NEW BEST:: SOT 378262 SOS 91147 HAS SOPS 91146 HAS SOUS 13177 HAS SOUPS 13176 WITH SCORE 13267.147
AT ITER 1491 NEW BEST:: SOT 378032 SOS 91137 HAS SOPS 91136 HAS SOUS 13167 HAS SOUPS 13166 WITH SCORE 13257.137
AT ITER 1499 NEW BEST:: SOT 378066 SOS 91115 HAS SOPS 91114 HAS SOUS 13167 HAS SOUPS 13166 WITH SCORE 13257.115
AT ITER 1581 NEW BEST:: SOT 378522 SOS 90949 HAS SOPS 90948 HAS SOUS 13167 HAS SOUPS 13166 WITH SCORE 13256.949
AT ITER 1599 NEW BEST:: SOT 377545 SOS 90647 HAS SOPS 90646 HAS SOUS 13164 HAS SOUPS 13163 WITH SCORE 13253.647
AT ITER 1788 NEW BEST:: SOT 377437 SOS 90057 HAS SOPS 90056 HAS SOUS 13164 HAS SOUPS 13163 WITH SCORE 13253.057
AT ITER 1789 NEW BEST:: SOT 377407 SOS 90247 HAS SOPS 90246 HAS SOUS 13154 HAS SOUPS 13153 WITH SCORE 13243.247
AT ITER 1791 NEW BEST:: SOT 377323 SOS 90179 HAS SOPS 90178 HAS SOUS 13154 HAS SOUPS 13153 WITH SCORE 13243.179
AT ITER 1792 NEW BEST:: SOT 377325 SOS 90023 HAS SOPS 90022 HAS SOUS 13154 HAS SOUPS 13153 WITH SCORE 13243.023
AT ITER 1797 NEW BEST:: SOT 377727 SOS 89687 HAS SOPS 89686 HAS SOUS 13154 HAS SOUPS 13153 WITH SCORE 13242.687
AT ITER 1820 NEW BEST:: SOT 377726 SOS 89685 HAS SOPS 89684 HAS SOUS 13152 HAS SOUPS 13151 WITH SCORE 13240.685
AT ITER 1823 NEW BEST:: SOT 377992 SOS 89907 HAS SOPS 89906 HAS SOUS 13148 HAS SOUPS 13147 WITH SCORE 13236.907
AT ITER 1844 NEW BEST:: SOT 378132 SOS 89917 HAS SOPS 89916 HAS SOUS 13143 HAS SOUPS 13142 WITH SCORE 13231.917
AT ITER 1848 NEW BEST:: SOT 378120 SOS 89851 HAS SOPS 89850 HAS SOUS 13143 HAS SOUPS 13142 WITH SCORE 13231.851
AT ITER 1900 NEW BEST:: SOT 378313 SOS 90020 HAS SOPS 90019 HAS SOUS 13142 HAS SOUPS 13141 WITH SCORE 13231.02
AT ITER 1946 NEW BEST:: SOT 378313 SOS 89980 HAS SOPS 89979 HAS SOUS 13142 HAS SOUPS 13141 WITH SCORE 13230.98
AT ITER 1953 NEW BEST:: SOT 378383 SOS 89940 HAS SOPS 89939 HAS SOUS 13142 HAS SOUPS 13141 WITH SCORE 13230.94
AT ITER 1962 NEW BEST:: SOT 378777 SOS 89402 HAS SOPS 89401 HAS SOUS 13142 HAS SOUPS 13141 WITH SCORE 13230.402
AT ITER 1993 NEW BEST:: SOT 378896 SOS 90760 HAS SOPS 90759 HAS SOUS 13131 HAS SOUPS 13130 WITH SCORE 13220.76
AT ITER 2019 NEW BEST:: SOT 379128 SOS 90752 HAS SOPS 90751 HAS SOUS 13123 HAS SOUPS 13122 WITH SCORE 13212.752
AT ITER 2055 NEW BEST:: SOT 379159 SOS 90755 HAS SOPS 90754 HAS SOUS 13122 HAS SOUPS 13121 WITH SCORE 13211.755
AT ITER 2060 NEW BEST:: SOT 378547 SOS 90541 HAS SOPS 90540 HAS SOUS 13107 HAS SOUPS 13106 WITH SCORE 13196.541
AT ITER 2068 NEW BEST:: SOT 378421 SOS 90661 HAS SOPS 90660 HAS SOUS 13095 HAS SOUPS 13094 WITH SCORE 13184.661
AT ITER 2070 NEW BEST:: SOT 378394 SOS 90529 HAS SOPS 90528 HAS SOUS 13086 HAS SOUPS 13085 WITH SCORE 13175.529
AT ITER 2082 NEW BEST:: SOT 378190 SOS 90491 HAS SOPS 90490 HAS SOUS 13066 HAS SOUPS 13065 WITH SCORE 13155.491
AT ITER 2083 NEW BEST:: SOT 378124 SOS 90161 HAS SOPS 90160 HAS SOUS 13035 HAS SOUPS 13034 WITH SCORE 13124.161
AT ITER 2085 NEW BEST:: SOT 378118 SOS 90149 HAS SOPS 90148 HAS SOUS 13035 HAS SOUPS 13034 WITH SCORE 13124.149
AT ITER 2101 NEW BEST:: SOT 378117 SOS 90147 HAS SOPS 90146 HAS SOUS 13033 HAS SOUPS 13032 WITH SCORE 13122.147
AT ITER 2143 NEW BEST:: SOT 378087 SOS 90093 HAS SOPS 90092 HAS SOUS 13033 HAS SOUPS 13032 WITH SCORE 13122.093
AT ITER 2167 NEW BEST:: SOT 378083 SOS 90085 HAS SOPS 90084 HAS SOUS 13025 HAS SOUPS 13024 WITH SCORE 13114.085
AT ITER 2180 NEW BEST:: SOT 378078 SOS 90075 HAS SOPS 90074 HAS SOUS 13016 HAS SOUPS 13015 WITH SCORE 13105.075
AT ITER 2217 NEW BEST:: SOT 378025 SOS 90044 HAS SOPS 90043 HAS SOUS 13009 HAS SOUPS 13008 WITH SCORE 13098.044
AT ITER 2244 NEW BEST:: SOT 377960 SOS 89974 HAS SOPS 89973 HAS SOUS 12979 HAS SOUPS 12978 WITH SCORE 13067.974
AT ITER 2259 NEW BEST:: SOT 377716 SOS 89918 HAS SOPS 89917 HAS SOUS 12973 HAS SOUPS 12972 WITH SCORE 13061.918
AT ITER 2267 NEW BEST:: SOT 377748 SOS 88044 HAS SOPS 88043 HAS SOUS 12973 HAS SOUPS 12972 WITH SCORE 13060.044
AT ITER 2282 NEW BEST:: SOT 377732 SOS 88012 HAS SOPS 88011 HAS SOUS 12941 HAS SOUPS 12940 WITH SCORE 13028.012
AT ITER 2315 NEW BEST:: SOT 377547 SOS 87829 HAS SOPS 87828 HAS SOUS 12915 HAS SOUPS 12914 WITH SCORE 13001.829
AT ITER 2356 NEW BEST:: SOT 377609 SOS 87647 HAS SOPS 87646 HAS SOUS 12913 HAS SOUPS 12912 WITH SCORE 12999.647
AT ITER 2358 NEW BEST:: SOT 377497 SOS 87551 HAS SOPS 87550 HAS SOUS 12877 HAS SOUPS 12876 WITH SCORE 12963.551
AT ITER 2377 NEW BEST:: SOT 377019 SOS 87479 HAS SOPS 87478 HAS SOUS 12851 HAS SOUPS 12850 WITH SCORE 12937.479
AT ITER 2393 NEW BEST:: SOT 376837 SOS 87427 HAS SOPS 87426 HAS SOUS 12847 HAS SOUPS 12846 WITH SCORE 12933.427
AT ITER 2399 NEW BEST:: SOT 376437 SOS 87265 HAS SOPS 87264 HAS SOUS 12842 HAS SOUPS 12841 WITH SCORE 12928.265
AT ITER 2427 NEW BEST:: SOT 376427 SOS 87245 HAS SOPS 87244 HAS SOUS 12821 HAS SOUPS 12820 WITH SCORE 12907.245
AT ITER 2450 NEW BEST:: SOT 376521 SOS 87229 HAS SOPS 87228 HAS SOUS 12821 HAS SOUPS 12820 WITH SCORE 12907.229
AT ITER 2474 NEW BEST:: SOT 376465 SOS 87199 HAS SOPS 87198 HAS SOUS 12821 HAS SOUPS 12820 WITH SCORE 12907.199
AT ITER 2480 NEW BEST:: SOT 376375 SOS 87211 HAS SOPS 87210 HAS SOUS 12817 HAS SOUPS 12816 WITH SCORE 12903.211
AT ITER 2562 NEW BEST:: SOT 375417 SOS 87170 HAS SOPS 87169 HAS SOUS 12803 HAS SOUPS 12802 WITH SCORE 12889.17
AT ITER 2564 NEW BEST:: SOT 375415 SOS 87166 HAS SOPS 87165 HAS SOUS 12798 HAS SOUPS 12797 WITH SCORE 12884.166
AT ITER 2593 NEW BEST:: SOT 375405 SOS 86976 HAS SOPS 86975 HAS SOUS 12798 HAS SOUPS 12797 WITH SCORE 12883.976
AT ITER 2594 NEW BEST:: SOT 375411 SOS 86834 HAS SOPS 86833 HAS SOUS 12798 HAS SOUPS 12797 WITH SCORE 12883.834
AT ITER 2689 NEW BEST:: SOT 375416 SOS 86789 HAS SOPS 86788 HAS SOUS 12797 HAS SOUPS 12796 WITH SCORE 12882.789
AT ITER 2696 NEW BEST:: SOT 374385 SOS 86556 HAS SOPS 86555 HAS SOUS 12741 HAS SOUPS 12740 WITH SCORE 12826.556
AT ITER 2832 NEW BEST:: SOT 374379 SOS 86614 HAS SOPS 86613 HAS SOUS 12739 HAS SOUPS 12738 WITH SCORE 12824.614
AT ITER 2873 NEW BEST:: SOT 374383 SOS 86554 HAS SOPS 86553 HAS SOUS 12739 HAS SOUPS 12738 WITH SCORE 12824.554
AT ITER 2882 NEW BEST:: SOT 374095 SOS 86650 HAS SOPS 86649 HAS SOUS 12735 HAS SOUPS 12734 WITH SCORE 12820.65
AT ITER 2935 NEW BEST:: SOT 373721 SOS 86412 HAS SOPS 86411 HAS SOUS 12699 HAS SOUPS 12698 WITH SCORE 12784.412
AT ITER 3086 NEW BEST:: SOT 373751 SOS 86397 HAS SOPS 86396 HAS SOUS 12699 HAS SOUPS 12698 WITH SCORE 12784.397
AT ITER 3124 NEW BEST:: SOT 373753 SOS 86249 HAS SOPS 86248 HAS SOUS 12699 HAS SOUPS 12698 WITH SCORE 12784.249
AT ITER 3133 NEW BEST:: SOT 373686 SOS 85933 HAS SOPS 85932 HAS SOUS 12698 HAS SOUPS 12697 WITH SCORE 12782.933
AT ITER 3134 NEW BEST:: SOT 373620 SOS 85903 HAS SOPS 85902 HAS SOUS 12696 HAS SOUPS 12695 WITH SCORE 12780.903
AT ITER 3141 NEW BEST:: SOT 373798 SOS 84525 HAS SOPS 84524 HAS SOUS 12696 HAS SOUPS 12695 WITH SCORE 12779.525
AT ITER 3151 NEW BEST:: SOT 373503 SOS 84655 HAS SOPS 84654 HAS SOUS 12695 HAS SOUPS 12694 WITH SCORE 12778.655
AT ITER 3161 NEW BEST:: SOT 372692 SOS 84393 HAS SOPS 84392 HAS SOUS 12645 HAS SOUPS 12644 WITH SCORE 12728.393
AT ITER 3211 NEW BEST:: SOT 372706 SOS 84385 HAS SOPS 84384 HAS SOUS 12641 HAS SOUPS 12640 WITH SCORE 12724.385
AT ITER 3247 NEW BEST:: SOT 372638 SOS 84383 HAS SOPS 84382 HAS SOUS 12637 HAS SOUPS 12636 WITH SCORE 12720.383
AT ITER 3261 NEW BEST:: SOT 372512 SOS 84383 HAS SOPS 84382 HAS SOUS 12621 HAS SOUPS 12620 WITH SCORE 12704.383
AT ITER 3308 NEW BEST:: SOT 372511 SOS 84381 HAS SOPS 84380 HAS SOUS 12618 HAS SOUPS 12617 WITH SCORE 12701.381
AT ITER 3327 NEW BEST:: SOT 372397 SOS 84153 HAS SOPS 84152 HAS SOUS 12608 HAS SOUPS 12607 WITH SCORE 12691.153
AT ITER 3367 NEW BEST:: SOT 372891 SOS 84016 HAS SOPS 84015 HAS SOUS 12583 HAS SOUPS 12582 WITH SCORE 12666.016
AT ITER 3424 NEW BEST:: SOT 372846 SOS 83971 HAS SOPS 83970 HAS SOUS 12564 HAS SOUPS 12563 WITH SCORE 12646.971
AT ITER 3442 NEW BEST:: SOT 372671 SOS 83913 HAS SOPS 83912 HAS SOUS 12555 HAS SOUPS 12554 WITH SCORE 12637.913
AT ITER 3452 NEW BEST:: SOT 372669 SOS 83909 HAS SOPS 83908 HAS SOUS 12550 HAS SOUPS 12549 WITH SCORE 12632.909
AT ITER 3461 NEW BEST:: SOT 372496 SOS 83883 HAS SOPS 83882 HAS SOUS 12542 HAS SOUPS 12541 WITH SCORE 12624.883
AT ITER 3529 NEW BEST:: SOT 372412 SOS 83869 HAS SOPS 83868 HAS SOUS 12538 HAS SOUPS 12537 WITH SCORE 12620.869
AT ITER 3539 NEW BEST:: SOT 372427 SOS 83884 HAS SOPS 83883 HAS SOUS 12535 HAS SOUPS 12534 WITH SCORE 12617.884
AT ITER 3638 NEW BEST:: SOT 372415 SOS 83860 HAS SOPS 83859 HAS SOUS 12512 HAS SOUPS 12511 WITH SCORE 12594.86
AT ITER 3748 NEW BEST:: SOT 372483 SOS 83816 HAS SOPS 83815 HAS SOUS 12512 HAS SOUPS 12511 WITH SCORE 12594.816
AT ITER 3754 NEW BEST:: SOT 372479 SOS 83924 HAS SOPS 83923 HAS SOUS 12508 HAS SOUPS 12507 WITH SCORE 12590.924
AT ITER 3755 NEW BEST:: SOT 372478 SOS 83922 HAS SOPS 83921 HAS SOUS 12506 HAS SOUPS 12505 WITH SCORE 12588.922
AT ITER 3762 NEW BEST:: SOT 372475 SOS 83916 HAS SOPS 83915 HAS SOUS 12500 HAS SOUPS 12499 WITH SCORE 12582.916
AT ITER 3768 NEW BEST:: SOT 372415 SOS 83880 HAS SOPS 83879 HAS SOUS 12500 HAS SOUPS 12499 WITH SCORE 12582.88
AT ITER 3780 NEW BEST:: SOT 372591 SOS 83872 HAS SOPS 83871 HAS SOUS 12500 HAS SOUPS 12499 WITH SCORE 12582.872
AT ITER 3783 NEW BEST:: SOT 372467 SOS 83858 HAS SOPS 83857 HAS SOUS 12496 HAS SOUPS 12495 WITH SCORE 12578.858
AT ITER 3827 NEW BEST:: SOT 372505 SOS 83844 HAS SOPS 83843 HAS SOUS 12496 HAS SOUPS 12495 WITH SCORE 12578.844
AT ITER 3839 NEW BEST:: SOT 372515 SOS 83782 HAS SOPS 83781 HAS SOUS 12494 HAS SOUPS 12493 WITH SCORE 12576.782
AT ITER 3852 NEW BEST:: SOT 371898 SOS 84259 HAS SOPS 84258 HAS SOUS 12493 HAS SOUPS 12492 WITH SCORE 12576.259
AT ITER 3872 NEW BEST:: SOT 371962 SOS 83403 HAS SOPS 83402 HAS SOUS 12493 HAS SOUPS 12492 WITH SCORE 12575.403
AT ITER 3924 NEW BEST:: SOT 372080 SOS 83247 HAS SOPS 83246 HAS SOUS 12493 HAS SOUPS 12492 WITH SCORE 12575.247
AT ITER 4092 NEW BEST:: SOT 372143 SOS 83085 HAS SOPS 83084 HAS SOUS 12488 HAS SOUPS 12487 WITH SCORE 12570.085
AT ITER 4146 NEW BEST:: SOT 371432 SOS 83020 HAS SOPS 83019 HAS SOUS 12485 HAS SOUPS 12484 WITH SCORE 12567.02
AT ITER 4156 NEW BEST:: SOT 371431 SOS 83018 HAS SOPS 83017 HAS SOUS 12484 HAS SOUPS 12483 WITH SCORE 12566.018
AT ITER 4214 NEW BEST:: SOT 371126 SOS 82749 HAS SOPS 82748 HAS SOUS 12469 HAS SOUPS 12468 WITH SCORE 12550.749
AT ITER 4225 NEW BEST:: SOT 370252 SOS 83751 HAS SOPS 83750 HAS SOUS 12463 HAS SOUPS 12462 WITH SCORE 12545.751
AT ITER 4241 NEW BEST:: SOT 370373 SOS 84452 HAS SOPS 84451 HAS SOUS 12460 HAS SOUPS 12459 WITH SCORE 12543.452
AT ITER 4263 NEW BEST:: SOT 370327 SOS 84428 HAS SOPS 84427 HAS SOUS 12460 HAS SOUPS 12459 WITH SCORE 12543.428
AT ITER 4371 NEW BEST:: SOT 370629 SOS 84500 HAS SOPS 84499 HAS SOUS 12459 HAS SOUPS 12458 WITH SCORE 12542.5
AT ITER 4385 NEW BEST:: SOT 370649 SOS 84456 HAS SOPS 84455 HAS SOUS 12455 HAS SOUPS 12454 WITH SCORE 12538.456
AT ITER 4421 NEW BEST:: SOT 369937 SOS 84766 HAS SOPS 84765 HAS SOUS 12447 HAS SOUPS 12446 WITH SCORE 12530.766
AT ITER 4469 NEW BEST:: SOT 369753 SOS 84653 HAS SOPS 84652 HAS SOUS 12442 HAS SOUPS 12441 WITH SCORE 12525.653
AT ITER 4496 NEW BEST:: SOT 368696 SOS 84249 HAS SOPS 84248 HAS SOUS 12382 HAS SOUPS 12381 WITH SCORE 12465.249
AT ITER 4499 NEW BEST:: SOT 368691 SOS 84239 HAS SOPS 84238 HAS SOUS 12372 HAS SOUPS 12371 WITH SCORE 12455.239
AT ITER 4534 NEW BEST:: SOT 368691 SOS 84215 HAS SOPS 84214 HAS SOUS 12372 HAS SOUPS 12371 WITH SCORE 12455.215
AT ITER 4540 NEW BEST:: SOT 368603 SOS 84131 HAS SOPS 84130 HAS SOUS 12368 HAS SOUPS 12367 WITH SCORE 12451.131
AT ITER 4596 NEW BEST:: SOT 368621 SOS 84095 HAS SOPS 84094 HAS SOUS 12362 HAS SOUPS 12361 WITH SCORE 12445.095
AT ITER 4618 NEW BEST:: SOT 368610 SOS 84104 HAS SOPS 84103 HAS SOUS 12361 HAS SOUPS 12360 WITH SCORE 12444.104
AT ITER 4678 NEW BEST:: SOT 368610 SOS 84034 HAS SOPS 84033 HAS SOUS 12361 HAS SOUPS 12360 WITH SCORE 12444.034
AT ITER 4679 NEW BEST:: SOT 368606 SOS 84026 HAS SOPS 84025 HAS SOUS 12353 HAS SOUPS 12352 WITH SCORE 12436.026
AT ITER 4756 NEW BEST:: SOT 368612 SOS 83998 HAS SOPS 83997 HAS SOUS 12353 HAS SOUPS 12352 WITH SCORE 12435.998
AT ITER 4766 NEW BEST:: SOT 367808 SOS 84700 HAS SOPS 84699 HAS SOUS 12349 HAS SOUPS 12348 WITH SCORE 12432.7
AT ITER 4836 NEW BEST:: SOT 367854 SOS 84464 HAS SOPS 84463 HAS SOUS 12349 HAS SOUPS 12348 WITH SCORE 12432.464
AT ITER 4846 NEW BEST:: SOT 367804 SOS 84434 HAS SOPS 84433 HAS SOUS 12347 HAS SOUPS 12346 WITH SCORE 12430.434
AT ITER 4954 NEW BEST:: SOT 367558 SOS 84386 HAS SOPS 84385 HAS SOUS 12329 HAS SOUPS 12328 WITH SCORE 12412.386
AT ITER 4959 NEW BEST:: SOT 367588 SOS 84381 HAS SOPS 84380 HAS SOUS 12329 HAS SOUPS 12328 WITH SCORE 12412.381
AT ITER 5012 NEW BEST:: SOT 366592 SOS 85353 HAS SOPS 85352 HAS SOUS 12317 HAS SOUPS 12316 WITH SCORE 12401.353
AT ITER 5026 NEW BEST:: SOT 366402 SOS 85279 HAS SOPS 85278 HAS SOUS 12303 HAS SOUPS 12302 WITH SCORE 12387.279
AT ITER 5054 NEW BEST:: SOT 366007 SOS 85173 HAS SOPS 85172 HAS SOUS 12293 HAS SOUPS 12292 WITH SCORE 12377.173
AT ITER 5094 NEW BEST:: SOT 366085 SOS 84999 HAS SOPS 84998 HAS SOUS 12293 HAS SOUPS 12292 WITH SCORE 12376.999
AT ITER 5101 NEW BEST:: SOT 365979 SOS 84959 HAS SOPS 84958 HAS SOUS 12293 HAS SOUPS 12292 WITH SCORE 12376.959
AT ITER 5149 NEW BEST:: SOT 365891 SOS 84895 HAS SOPS 84894 HAS SOUS 12285 HAS SOUPS 12284 WITH SCORE 12368.895
AT ITER 5261 NEW BEST:: SOT 364953 SOS 87039 HAS SOPS 87038 HAS SOUS 12279 HAS SOUPS 12278 WITH SCORE 12365.039
AT ITER 5270 NEW BEST:: SOT 364907 SOS 87022 HAS SOPS 87021 HAS SOUS 12274 HAS SOUPS 12273 WITH SCORE 12360.022
AT ITER 5322 NEW BEST:: SOT 364885 SOS 87188 HAS SOPS 87187 HAS SOUS 12268 HAS SOUPS 12267 WITH SCORE 12354.188
AT ITER 5413 NEW BEST:: SOT 364875 SOS 87178 HAS SOPS 87177 HAS SOUS 12266 HAS SOUPS 12265 WITH SCORE 12352.178
AT ITER 5419 NEW BEST:: SOT 364793 SOS 86933 HAS SOPS 86932 HAS SOUS 12258 HAS SOUPS 12257 WITH SCORE 12343.933
AT ITER 5467 NEW BEST:: SOT 364793 SOS 86885 HAS SOPS 86884 HAS SOUS 12258 HAS SOUPS 12257 WITH SCORE 12343.885
AT ITER 5475 NEW BEST:: SOT 364733 SOS 86855 HAS SOPS 86854 HAS SOUS 12254 HAS SOUPS 12253 WITH SCORE 12339.855
AT ITER 5479 NEW BEST:: SOT 364689 SOS 86835 HAS SOPS 86834 HAS SOUS 12254 HAS SOUPS 12253 WITH SCORE 12339.835
AT ITER 5505 NEW BEST:: SOT 364839 SOS 86410 HAS SOPS 86409 HAS SOUS 12254 HAS SOUPS 12253 WITH SCORE 12339.41
AT ITER 5508 NEW BEST:: SOT 365021 SOS 85679 HAS SOPS 85678 HAS SOUS 12254 HAS SOUPS 12253 WITH SCORE 12338.679
AT ITER 5521 NEW BEST:: SOT 364577 SOS 85772 HAS SOPS 85771 HAS SOUS 12252 HAS SOUPS 12251 WITH SCORE 12336.772
AT ITER 5562 NEW BEST:: SOT 364617 SOS 85572 HAS SOPS 85571 HAS SOUS 12250 HAS SOUPS 12249 WITH SCORE 12334.572
AT ITER 5573 NEW BEST:: SOT 364629 SOS 85562 HAS SOPS 85561 HAS SOUS 12244 HAS SOUPS 12243 WITH SCORE 12328.562
AT ITER 5589 NEW BEST:: SOT 364624 SOS 85552 HAS SOPS 85551 HAS SOUS 12235 HAS SOUPS 12234 WITH SCORE 12319.552
AT ITER 5727 NEW BEST:: SOT 364854 SOS 85572 HAS SOPS 85571 HAS SOUS 12230 HAS SOUPS 12229 WITH SCORE 12314.572
AT ITER 5783 NEW BEST:: SOT 364929 SOS 85792 HAS SOPS 85791 HAS SOUS 12225 HAS SOUPS 12224 WITH SCORE 12309.792
AT ITER 5815 NEW BEST:: SOT 364815 SOS 85711 HAS SOPS 85710 HAS SOUS 12220 HAS SOUPS 12219 WITH SCORE 12304.711
AT ITER 5862 NEW BEST:: SOT 364437 SOS 85529 HAS SOPS 85528 HAS SOUS 12210 HAS SOUPS 12209 WITH SCORE 12294.529
AT ITER 5884 NEW BEST:: SOT 364379 SOS 85523 HAS SOPS 85522 HAS SOUS 12208 HAS SOUPS 12207 WITH SCORE 12292.523
AT ITER 5916 NEW BEST:: SOT 364185 SOS 85489 HAS SOPS 85488 HAS SOUS 12202 HAS SOUPS 12201 WITH SCORE 12286.489
AT ITER 6073 NEW BEST:: SOT 364178 SOS 85475 HAS SOPS 85474 HAS SOUS 12188 HAS SOUPS 12187 WITH SCORE 12272.475
AT ITER 6078 NEW BEST:: SOT 364218 SOS 84355 HAS SOPS 84354 HAS SOUS 12188 HAS SOUPS 12187 WITH SCORE 12271.355
AT ITER 6090 NEW BEST:: SOT 364286 SOS 84187 HAS SOPS 84186 HAS SOUS 12188 HAS SOUPS 12187 WITH SCORE 12271.187
AT ITER 6102 NEW BEST:: SOT 364282 SOS 84177 HAS SOPS 84176 HAS SOUS 12188 HAS SOUPS 12187 WITH SCORE 12271.177
AT ITER 6151 NEW BEST:: SOT 364245 SOS 84162 HAS SOPS 84161 HAS SOUS 12187 HAS SOUPS 12186 WITH SCORE 12270.162
AT ITER 6236 NEW BEST:: SOT 364593 SOS 83262 HAS SOPS 83261 HAS SOUS 12187 HAS SOUPS 12186 WITH SCORE 12269.262
AT ITER 6282 NEW BEST:: SOT 364643 SOS 82546 HAS SOPS 82545 HAS SOUS 12187 HAS SOUPS 12186 WITH SCORE 12268.546
AT ITER 6351 NEW BEST:: SOT 364653 SOS 82434 HAS SOPS 82433 HAS SOUS 12187 HAS SOUPS 12186 WITH SCORE 12268.434
AT ITER 6358 NEW BEST:: SOT 364665 SOS 82372 HAS SOPS 82371 HAS SOUS 12183 HAS SOUPS 12182 WITH SCORE 12264.372
AT ITER 6392 NEW BEST:: SOT 364663 SOS 82368 HAS SOPS 82367 HAS SOUS 12179 HAS SOUPS 12178 WITH SCORE 12260.368
AT ITER 6398 NEW BEST:: SOT 365255 SOS 81212 HAS SOPS 81211 HAS SOUS 12179 HAS SOUPS 12178 WITH SCORE 12259.212
AT ITER 6442 NEW BEST:: SOT 365288 SOS 81068 HAS SOPS 81067 HAS SOUS 12170 HAS SOUPS 12169 WITH SCORE 12250.068
AT ITER 6528 NEW BEST:: SOT 365392 SOS 81040 HAS SOPS 81039 HAS SOUS 12170 HAS SOUPS 12169 WITH SCORE 12250.04
AT ITER 6687 NEW BEST:: SOT 365332 SOS 80980 HAS SOPS 80979 HAS SOUS 12158 HAS SOUPS 12157 WITH SCORE 12237.98
AT ITER 6771 NEW BEST:: SOT 365320 SOS 80974 HAS SOPS 80973 HAS SOUS 12158 HAS SOUPS 12157 WITH SCORE 12237.974
AT ITER 6794 NEW BEST:: SOT 365683 SOS 81077 HAS SOPS 81076 HAS SOUS 12157 HAS SOUPS 12156 WITH SCORE 12237.077
AT ITER 6795 NEW BEST:: SOT 364861 SOS 83287 HAS SOPS 83286 HAS SOUS 12154 HAS SOUPS 12153 WITH SCORE 12236.287
AT ITER 6811 NEW BEST:: SOT 364875 SOS 83288 HAS SOPS 83287 HAS SOUS 12153 HAS SOUPS 12152 WITH SCORE 12235.288
AT ITER 6814 NEW BEST:: SOT 365037 SOS 83876 HAS SOPS 83875 HAS SOUS 12147 HAS SOUPS 12146 WITH SCORE 12229.876
AT ITER 6841 NEW BEST:: SOT 365037 SOS 83616 HAS SOPS 83615 HAS SOUS 12147 HAS SOUPS 12146 WITH SCORE 12229.616
AT ITER 6849 NEW BEST:: SOT 365035 SOS 83612 HAS SOPS 83611 HAS SOUS 12142 HAS SOUPS 12141 WITH SCORE 12224.612
AT ITER 6865 NEW BEST:: SOT 364884 SOS 83556 HAS SOPS 83555 HAS SOUS 12142 HAS SOUPS 12141 WITH SCORE 12224.556
AT ITER 6890 NEW BEST:: SOT 364884 SOS 83538 HAS SOPS 83537 HAS SOUS 12142 HAS SOUPS 12141 WITH SCORE 12224.538
AT ITER 6955 NEW BEST:: SOT 364884 SOS 83256 HAS SOPS 83255 HAS SOUS 12142 HAS SOUPS 12141 WITH SCORE 12224.256
AT ITER 7009 NEW BEST:: SOT 364896 SOS 83196 HAS SOPS 83195 HAS SOUS 12138 HAS SOUPS 12137 WITH SCORE 12220.196
AT ITER 7021 NEW BEST:: SOT 364908 SOS 83138 HAS SOPS 83137 HAS SOUS 12138 HAS SOUPS 12137 WITH SCORE 12220.138
AT ITER 7044 NEW BEST:: SOT 364872 SOS 83134 HAS SOPS 83133 HAS SOUS 12138 HAS SOUPS 12137 WITH SCORE 12220.134
AT ITER 7124 NEW BEST:: SOT 364824 SOS 83128 HAS SOPS 83127 HAS SOUS 12138 HAS SOUPS 12137 WITH SCORE 12220.128
AT ITER 7180 NEW BEST:: SOT 364824 SOS 83104 HAS SOPS 83103 HAS SOUS 12138 HAS SOUPS 12137 WITH SCORE 12220.104
AT ITER 7204 NEW BEST:: SOT 364817 SOS 83090 HAS SOPS 83089 HAS SOUS 12125 HAS SOUPS 12124 WITH SCORE 12207.09
AT ITER 7253 NEW BEST:: SOT 364303 SOS 83490 HAS SOPS 83489 HAS SOUS 12123 HAS SOUPS 12122 WITH SCORE 12205.49
AT ITER 7269 NEW BEST:: SOT 364321 SOS 83442 HAS SOPS 83441 HAS SOUS 12123 HAS SOUPS 12122 WITH SCORE 12205.442
AT ITER 7415 NEW BEST:: SOT 363971 SOS 83354 HAS SOPS 83353 HAS SOUS 12114 HAS SOUPS 12113 WITH SCORE 12196.354
AT ITER 7426 NEW BEST:: SOT 364343 SOS 82346 HAS SOPS 82345 HAS SOUS 12114 HAS SOUPS 12113 WITH SCORE 12195.346
AT ITER 7446 NEW BEST:: SOT 363726 SOS 82252 HAS SOPS 82251 HAS SOUS 12113 HAS SOUPS 12112 WITH SCORE 12194.252
AT ITER 7465 NEW BEST:: SOT 363730 SOS 81884 HAS SOPS 81883 HAS SOUS 12113 HAS SOUPS 12112 WITH SCORE 12193.884
AT ITER 7565 NEW BEST:: SOT 363806 SOS 81684 HAS SOPS 81683 HAS SOUS 12113 HAS SOUPS 12112 WITH SCORE 12193.684
AT ITER 7572 NEW BEST:: SOT 363794 SOS 81636 HAS SOPS 81635 HAS SOUS 12113 HAS SOUPS 12112 WITH SCORE 12193.636
AT ITER 7716 NEW BEST:: SOT 363474 SOS 81586 HAS SOPS 81585 HAS SOUS 12109 HAS SOUPS 12108 WITH SCORE 12189.586
AT ITER 7836 NEW BEST:: SOT 363474 SOS 81404 HAS SOPS 81403 HAS SOUS 12109 HAS SOUPS 12108 WITH SCORE 12189.404
AT ITER 7879 NEW BEST:: SOT 363305 SOS 81361 HAS SOPS 81360 HAS SOUS 12104 HAS SOUPS 12103 WITH SCORE 12184.361
AT ITER 7894 NEW BEST:: SOT 363263 SOS 81193 HAS SOPS 81192 HAS SOUS 12104 HAS SOUPS 12103 WITH SCORE 12184.193
AT ITER 7958 NEW BEST:: SOT 363133 SOS 81236 HAS SOPS 81235 HAS SOUS 12100 HAS SOUPS 12099 WITH SCORE 12180.236
AT ITER 7974 NEW BEST:: SOT 362965 SOS 81190 HAS SOPS 81189 HAS SOUS 12099 HAS SOUPS 12098 WITH SCORE 12179.19
AT ITER 7984 NEW BEST:: SOT 363351 SOS 80270 HAS SOPS 80269 HAS SOUS 12099 HAS SOUPS 12098 WITH SCORE 12178.27
AT ITER 8190 NEW BEST:: SOT 363817 SOS 80435 HAS SOPS 80434 HAS SOUS 12096 HAS SOUPS 12095 WITH SCORE 12175.435
AT ITER 8196 NEW BEST:: SOT 363769 SOS 80434 HAS SOPS 80433 HAS SOUS 12094 HAS SOUPS 12093 WITH SCORE 12173.434
AT ITER 8212 NEW BEST:: SOT 363797 SOS 80432 HAS SOPS 80431 HAS SOUS 12094 HAS SOUPS 12093 WITH SCORE 12173.432
AT ITER 8351 NEW BEST:: SOT 363259 SOS 80246 HAS SOPS 80245 HAS SOUS 12093 HAS SOUPS 12092 WITH SCORE 12172.246
AT ITER 8358 NEW BEST:: SOT 363288 SOS 80245 HAS SOPS 80244 HAS SOUS 12092 HAS SOUPS 12091 WITH SCORE 12171.245
AT ITER 8390 NEW BEST:: SOT 363296 SOS 80149 HAS SOPS 80148 HAS SOUS 12092 HAS SOUPS 12091 WITH SCORE 12171.149
AT ITER 8397 NEW BEST:: SOT 363289 SOS 80166 HAS SOPS 80165 HAS SOUS 12091 HAS SOUPS 12090 WITH SCORE 12170.166
AT ITER 8407 NEW BEST:: SOT 363183 SOS 80118 HAS SOPS 80117 HAS SOUS 12091 HAS SOUPS 12090 WITH SCORE 12170.118
AT ITER 8496 NEW BEST:: SOT 363201 SOS 80082 HAS SOPS 80081 HAS SOUS 12091 HAS SOUPS 12090 WITH SCORE 12170.082
AT ITER 8566 NEW BEST:: SOT 363201 SOS 80076 HAS SOPS 80075 HAS SOUS 12091 HAS SOUPS 12090 WITH SCORE 12170.076
AT ITER 8647 NEW BEST:: SOT 363206 SOS 80081 HAS SOPS 80080 HAS SOUS 12090 HAS SOUPS 12089 WITH SCORE 12169.081
AT ITER 8920 NEW BEST:: SOT 363392 SOS 80003 HAS SOPS 80002 HAS SOUS 12090 HAS SOUPS 12089 WITH SCORE 12169.003
AT ITER 8952 NEW BEST:: SOT 363056 SOS 80081 HAS SOPS 80080 HAS SOUS 12085 HAS SOUPS 12084 WITH SCORE 12164.081
AT ITER 8969 NEW BEST:: SOT 362966 SOS 80006 HAS SOPS 80005 HAS SOUS 12074 HAS SOUPS 12073 WITH SCORE 12153.006
AT ITER 9039 NEW BEST:: SOT 363015 SOS 80419 HAS SOPS 80418 HAS SOUS 12071 HAS SOUPS 12070 WITH SCORE 12150.419
AT ITER 9088 NEW BEST:: SOT 362951 SOS 80435 HAS SOPS 80434 HAS SOUS 12065 HAS SOUPS 12064 WITH SCORE 12144.435
AT ITER 9128 NEW BEST:: SOT 362828 SOS 80366 HAS SOPS 80365 HAS SOUS 12052 HAS SOUPS 12051 WITH SCORE 12131.366
AT ITER 9182 NEW BEST:: SOT 362820 SOS 80350 HAS SOPS 80349 HAS SOUS 12052 HAS SOUPS 12051 WITH SCORE 12131.35
AT ITER 9187 NEW BEST:: SOT 362767 SOS 80326 HAS SOPS 80325 HAS SOUS 12052 HAS SOUPS 12051 WITH SCORE 12131.326
AT ITER 9253 NEW BEST:: SOT 362747 SOS 80316 HAS SOPS 80315 HAS SOUS 12052 HAS SOUPS 12051 WITH SCORE 12131.316
AT ITER 9296 NEW BEST:: SOT 362781 SOS 79704 HAS SOPS 79703 HAS SOUS 12052 HAS SOUPS 12051 WITH SCORE 12130.704
AT ITER 9382 NEW BEST:: SOT 362718 SOS 79734 HAS SOPS 79733 HAS SOUS 12051 HAS SOUPS 12050 WITH SCORE 12129.734
AT ITER 9400 NEW BEST:: SOT 362680 SOS 79742 HAS SOPS 79741 HAS SOUS 12047 HAS SOUPS 12046 WITH SCORE 12125.742
AT ITER 9511 NEW BEST:: SOT 362669 SOS 79720 HAS SOPS 79719 HAS SOUS 12025 HAS SOUPS 12024 WITH SCORE 12103.72
AT ITER 9524 NEW BEST:: SOT 362679 SOS 79614 HAS SOPS 79613 HAS SOUS 12023 HAS SOUPS 12022 WITH SCORE 12101.614
AT ITER 9591 NEW BEST:: SOT 362677 SOS 79610 HAS SOPS 79609 HAS SOUS 12019 HAS SOUPS 12018 WITH SCORE 12097.61
AT ITER 9677 NEW BEST:: SOT 362681 SOS 79562 HAS SOPS 79561 HAS SOUS 12019 HAS SOUPS 12018 WITH SCORE 12097.562
AT ITER 9760 NEW BEST:: SOT 362639 SOS 79566 HAS SOPS 79565 HAS SOUS 12013 HAS SOUPS 12012 WITH SCORE 12091.566
AT ITER 9797 NEW BEST:: SOT 362647 SOS 79544 HAS SOPS 79543 HAS SOUS 12013 HAS SOUPS 12012 WITH SCORE 12091.544
AT ITER 9805 NEW BEST:: SOT 362689 SOS 79526 HAS SOPS 79525 HAS SOUS 12013 HAS SOUPS 12012 WITH SCORE 12091.526
AT ITER 9992 NEW BEST:: SOT 362629 SOS 79514 HAS SOPS 79513 HAS SOUS 12013 HAS SOUPS 12012 WITH SCORE 12091.514

BK_STOP 1678450788556

--------------------
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
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 485 Killed ${SMART}/smart ${INPUT_SM}

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="DNAwalker-PT-18lozangeBlock"
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 DNAwalker-PT-18lozangeBlock, 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 r107-tall-167814485001016"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DNAwalker-PT-18lozangeBlock.tgz
mv DNAwalker-PT-18lozangeBlock 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 ;