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-167912651400568.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-02b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r459-smll-167912651400568
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 532K
-rw-r--r-- 1 mcc users 6.3K Feb 26 16:33 CTLCardinality.txt
-rw-r--r-- 1 mcc users 68K Feb 26 16:33 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.5K Feb 26 16:32 CTLFireability.txt
-rw-r--r-- 1 mcc users 76K Feb 26 16:32 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K 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 17K Feb 25 17:14 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 16:34 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 125K Feb 26 16:34 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.5K Feb 26 16:33 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 74K Feb 26 16:33 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 71K 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 1679433581775

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-02b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-21 21:19:44] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-21 21:19:44] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-21 21:19:45] [INFO ] Load time of PNML (sax parser for PT used): 206 ms
[2023-03-21 21:19:45] [INFO ] Transformed 291 places.
[2023-03-21 21:19:45] [INFO ] Transformed 332 transitions.
[2023-03-21 21:19:45] [INFO ] Found NUPN structural information;
[2023-03-21 21:19:45] [INFO ] Parsed PT model containing 291 places and 332 transitions and 734 arcs in 348 ms.
[2023-03-21 21:19:45] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 291 places, 332 transitions and 734 arcs took 13 ms.
Total runtime 427 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running StigmergyElection (PT), instance 02b
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: 291 places, 332 transitions, 734 arcs.
AT ITER 0 NEW BEST:: SOT 54333 SOS 10063 HAS SOPS 10063 HAS SOUS 9659 HAS SOUPS 9659 WITH SCORE 9669.063
AT ITER 37 NEW BEST:: SOT 54317 SOS 10031 HAS SOPS 10031 HAS SOUS 9643 HAS SOUPS 9643 WITH SCORE 9653.031
AT ITER 62 NEW BEST:: SOT 54294 SOS 9985 HAS SOPS 9985 HAS SOUS 9597 HAS SOUPS 9597 WITH SCORE 9606.985
AT ITER 82 NEW BEST:: SOT 54013 SOS 10103 HAS SOPS 10103 HAS SOUS 9346 HAS SOUPS 9346 WITH SCORE 9356.103
AT ITER 85 NEW BEST:: SOT 54013 SOS 10095 HAS SOPS 10095 HAS SOUS 9345 HAS SOUPS 9345 WITH SCORE 9355.095
AT ITER 91 NEW BEST:: SOT 54013 SOS 10138 HAS SOPS 10138 HAS SOUS 9344 HAS SOUPS 9344 WITH SCORE 9354.138
AT ITER 103 NEW BEST:: SOT 53987 SOS 10086 HAS SOPS 10086 HAS SOUS 9302 HAS SOUPS 9302 WITH SCORE 9312.086
AT ITER 111 NEW BEST:: SOT 53987 SOS 10060 HAS SOPS 10060 HAS SOUS 9302 HAS SOUPS 9302 WITH SCORE 9312.06
AT ITER 121 NEW BEST:: SOT 53987 SOS 10060 HAS SOPS 10060 HAS SOUS 9292 HAS SOUPS 9292 WITH SCORE 9302.06
AT ITER 160 NEW BEST:: SOT 53986 SOS 10058 HAS SOPS 10058 HAS SOUS 9290 HAS SOUPS 9290 WITH SCORE 9300.058
AT ITER 180 NEW BEST:: SOT 53926 SOS 9975 HAS SOPS 9975 HAS SOUS 9230 HAS SOUPS 9230 WITH SCORE 9239.975
AT ITER 200 NEW BEST:: SOT 53849 SOS 9911 HAS SOPS 9911 HAS SOUS 9153 HAS SOUPS 9153 WITH SCORE 9162.911
AT ITER 209 NEW BEST:: SOT 53838 SOS 9889 HAS SOPS 9889 HAS SOUS 9131 HAS SOUPS 9131 WITH SCORE 9140.889
AT ITER 226 NEW BEST:: SOT 53831 SOS 9882 HAS SOPS 9882 HAS SOUS 9124 HAS SOUPS 9124 WITH SCORE 9133.882
AT ITER 234 NEW BEST:: SOT 53822 SOS 9864 HAS SOPS 9864 HAS SOUS 9106 HAS SOUPS 9106 WITH SCORE 9115.864
AT ITER 244 NEW BEST:: SOT 53822 SOS 9863 HAS SOPS 9863 HAS SOUS 9105 HAS SOUPS 9105 WITH SCORE 9114.863
AT ITER 281 NEW BEST:: SOT 53836 SOS 9836 HAS SOPS 9836 HAS SOUS 9078 HAS SOUPS 9078 WITH SCORE 9087.836
AT ITER 291 NEW BEST:: SOT 53836 SOS 9816 HAS SOPS 9816 HAS SOUS 9078 HAS SOUPS 9078 WITH SCORE 9087.816
AT ITER 326 NEW BEST:: SOT 53857 SOS 9855 HAS SOPS 9855 HAS SOUS 9058 HAS SOUPS 9058 WITH SCORE 9067.855
AT ITER 327 NEW BEST:: SOT 53809 SOS 9688 HAS SOPS 9688 HAS SOUS 9002 HAS SOUPS 9002 WITH SCORE 9011.688
AT ITER 328 NEW BEST:: SOT 53799 SOS 9642 HAS SOPS 9642 HAS SOUS 8982 HAS SOUPS 8982 WITH SCORE 8991.642
AT ITER 351 NEW BEST:: SOT 53791 SOS 9647 HAS SOPS 9647 HAS SOUS 8980 HAS SOUPS 8980 WITH SCORE 8989.647
AT ITER 360 NEW BEST:: SOT 53790 SOS 9645 HAS SOPS 9645 HAS SOUS 8978 HAS SOUPS 8978 WITH SCORE 8987.645
AT ITER 372 NEW BEST:: SOT 53776 SOS 9640 HAS SOPS 9640 HAS SOUS 8965 HAS SOUPS 8965 WITH SCORE 8974.64
AT ITER 433 NEW BEST:: SOT 53418 SOS 11543 HAS SOPS 11543 HAS SOUS 8870 HAS SOUPS 8870 WITH SCORE 8881.543
AT ITER 445 NEW BEST:: SOT 53417 SOS 11541 HAS SOPS 11541 HAS SOUS 8868 HAS SOUPS 8868 WITH SCORE 8879.541
AT ITER 448 NEW BEST:: SOT 53416 SOS 11539 HAS SOPS 11539 HAS SOUS 8863 HAS SOUPS 8863 WITH SCORE 8874.539
AT ITER 451 NEW BEST:: SOT 53414 SOS 11531 HAS SOPS 11531 HAS SOUS 8861 HAS SOUPS 8861 WITH SCORE 8872.531
AT ITER 454 NEW BEST:: SOT 53414 SOS 11531 HAS SOPS 11531 HAS SOUS 8844 HAS SOUPS 8844 WITH SCORE 8855.531
AT ITER 456 NEW BEST:: SOT 53398 SOS 11515 HAS SOPS 11515 HAS SOUS 8828 HAS SOUPS 8828 WITH SCORE 8839.515
AT ITER 460 NEW BEST:: SOT 53374 SOS 11495 HAS SOPS 11495 HAS SOUS 8808 HAS SOUPS 8808 WITH SCORE 8819.495
AT ITER 485 NEW BEST:: SOT 53355 SOS 11457 HAS SOPS 11457 HAS SOUS 8789 HAS SOUPS 8789 WITH SCORE 8800.457
AT ITER 489 NEW BEST:: SOT 53350 SOS 11447 HAS SOPS 11447 HAS SOUS 8779 HAS SOUPS 8779 WITH SCORE 8790.447
AT ITER 505 NEW BEST:: SOT 53345 SOS 11437 HAS SOPS 11437 HAS SOUS 8769 HAS SOUPS 8769 WITH SCORE 8780.437
AT ITER 556 NEW BEST:: SOT 53343 SOS 11433 HAS SOPS 11433 HAS SOUS 8767 HAS SOUPS 8767 WITH SCORE 8778.433
AT ITER 557 NEW BEST:: SOT 53326 SOS 11399 HAS SOPS 11399 HAS SOUS 8730 HAS SOUPS 8730 WITH SCORE 8741.399
AT ITER 562 NEW BEST:: SOT 53323 SOS 11393 HAS SOPS 11393 HAS SOUS 8724 HAS SOUPS 8724 WITH SCORE 8735.393
AT ITER 589 NEW BEST:: SOT 53322 SOS 11391 HAS SOPS 11391 HAS SOUS 8722 HAS SOUPS 8722 WITH SCORE 8733.391
AT ITER 617 NEW BEST:: SOT 53308 SOS 11363 HAS SOPS 11363 HAS SOUS 8694 HAS SOUPS 8694 WITH SCORE 8705.363
AT ITER 630 NEW BEST:: SOT 53307 SOS 11361 HAS SOPS 11361 HAS SOUS 8692 HAS SOUPS 8692 WITH SCORE 8703.361
AT ITER 670 NEW BEST:: SOT 53307 SOS 11433 HAS SOPS 11433 HAS SOUS 8668 HAS SOUPS 8668 WITH SCORE 8679.433
AT ITER 671 NEW BEST:: SOT 53320 SOS 11459 HAS SOPS 11459 HAS SOUS 8660 HAS SOUPS 8660 WITH SCORE 8671.459
AT ITER 703 NEW BEST:: SOT 53316 SOS 11451 HAS SOPS 11451 HAS SOUS 8652 HAS SOUPS 8652 WITH SCORE 8663.451
AT ITER 719 NEW BEST:: SOT 53306 SOS 11431 HAS SOPS 11431 HAS SOUS 8632 HAS SOUPS 8632 WITH SCORE 8643.431
AT ITER 727 NEW BEST:: SOT 53300 SOS 11425 HAS SOPS 11425 HAS SOUS 8626 HAS SOUPS 8626 WITH SCORE 8637.425
AT ITER 760 NEW BEST:: SOT 53290 SOS 11405 HAS SOPS 11405 HAS SOUS 8624 HAS SOUPS 8624 WITH SCORE 8635.405
AT ITER 802 NEW BEST:: SOT 53284 SOS 11393 HAS SOPS 11393 HAS SOUS 8612 HAS SOUPS 8612 WITH SCORE 8623.393
AT ITER 824 NEW BEST:: SOT 53277 SOS 11393 HAS SOPS 11393 HAS SOUS 8609 HAS SOUPS 8609 WITH SCORE 8620.393
AT ITER 884 NEW BEST:: SOT 53249 SOS 11337 HAS SOPS 11337 HAS SOUS 8578 HAS SOUPS 8578 WITH SCORE 8589.337
AT ITER 885 NEW BEST:: SOT 53248 SOS 11333 HAS SOPS 11333 HAS SOUS 8574 HAS SOUPS 8574 WITH SCORE 8585.333
AT ITER 952 NEW BEST:: SOT 53220 SOS 11277 HAS SOPS 11277 HAS SOUS 8563 HAS SOUPS 8563 WITH SCORE 8574.277
AT ITER 955 NEW BEST:: SOT 53217 SOS 11271 HAS SOPS 11271 HAS SOUS 8560 HAS SOUPS 8560 WITH SCORE 8571.271
AT ITER 966 NEW BEST:: SOT 53217 SOS 11265 HAS SOPS 11265 HAS SOUS 8560 HAS SOUPS 8560 WITH SCORE 8571.265
AT ITER 975 NEW BEST:: SOT 53213 SOS 11257 HAS SOPS 11257 HAS SOUS 8552 HAS SOUPS 8552 WITH SCORE 8563.257
AT ITER 1016 NEW BEST:: SOT 53194 SOS 11219 HAS SOPS 11219 HAS SOUS 8514 HAS SOUPS 8514 WITH SCORE 8525.219
AT ITER 1020 NEW BEST:: SOT 53176 SOS 11343 HAS SOPS 11343 HAS SOUS 8506 HAS SOUPS 8506 WITH SCORE 8517.343
AT ITER 1036 NEW BEST:: SOT 53177 SOS 11334 HAS SOPS 11334 HAS SOUS 8497 HAS SOUPS 8497 WITH SCORE 8508.334
AT ITER 1080 NEW BEST:: SOT 53154 SOS 11314 HAS SOPS 11314 HAS SOUS 8477 HAS SOUPS 8477 WITH SCORE 8488.314
AT ITER 1093 NEW BEST:: SOT 53153 SOS 11312 HAS SOPS 11312 HAS SOUS 8476 HAS SOUPS 8476 WITH SCORE 8487.312
AT ITER 1165 NEW BEST:: SOT 53153 SOS 11298 HAS SOPS 11298 HAS SOUS 8476 HAS SOUPS 8476 WITH SCORE 8487.298
AT ITER 1176 NEW BEST:: SOT 53150 SOS 11292 HAS SOPS 11292 HAS SOUS 8470 HAS SOUPS 8470 WITH SCORE 8481.292
AT ITER 1211 NEW BEST:: SOT 53148 SOS 11288 HAS SOPS 11288 HAS SOUS 8466 HAS SOUPS 8466 WITH SCORE 8477.288
AT ITER 1284 NEW BEST:: SOT 53132 SOS 11189 HAS SOPS 11189 HAS SOUS 8449 HAS SOUPS 8449 WITH SCORE 8460.189
AT ITER 1305 NEW BEST:: SOT 53161 SOS 11247 HAS SOPS 11247 HAS SOUS 8432 HAS SOUPS 8432 WITH SCORE 8443.247
AT ITER 1340 NEW BEST:: SOT 53160 SOS 11245 HAS SOPS 11245 HAS SOUS 8430 HAS SOUPS 8430 WITH SCORE 8441.245
AT ITER 1373 NEW BEST:: SOT 53154 SOS 11233 HAS SOPS 11233 HAS SOUS 8418 HAS SOUPS 8418 WITH SCORE 8429.233
AT ITER 1379 NEW BEST:: SOT 53135 SOS 11195 HAS SOPS 11195 HAS SOUS 8400 HAS SOUPS 8400 WITH SCORE 8411.195
AT ITER 1435 NEW BEST:: SOT 53120 SOS 11111 HAS SOPS 11111 HAS SOUS 8360 HAS SOUPS 8360 WITH SCORE 8371.111
AT ITER 1530 NEW BEST:: SOT 53114 SOS 11099 HAS SOPS 11099 HAS SOUS 8348 HAS SOUPS 8348 WITH SCORE 8359.099
AT ITER 1581 NEW BEST:: SOT 53106 SOS 11087 HAS SOPS 11087 HAS SOUS 8340 HAS SOUPS 8340 WITH SCORE 8351.087
AT ITER 1593 NEW BEST:: SOT 53106 SOS 11060 HAS SOPS 11060 HAS SOUS 8313 HAS SOUPS 8313 WITH SCORE 8324.06
AT ITER 1596 NEW BEST:: SOT 53106 SOS 11142 HAS SOPS 11142 HAS SOUS 8272 HAS SOUPS 8272 WITH SCORE 8283.142
AT ITER 1609 NEW BEST:: SOT 53104 SOS 11138 HAS SOPS 11138 HAS SOUS 8256 HAS SOUPS 8256 WITH SCORE 8267.138
AT ITER 1616 NEW BEST:: SOT 53088 SOS 11114 HAS SOPS 11114 HAS SOUS 8240 HAS SOUPS 8240 WITH SCORE 8251.114
AT ITER 1630 NEW BEST:: SOT 53082 SOS 11102 HAS SOPS 11102 HAS SOUS 8228 HAS SOUPS 8228 WITH SCORE 8239.102
AT ITER 1640 NEW BEST:: SOT 53078 SOS 11098 HAS SOPS 11098 HAS SOUS 8224 HAS SOUPS 8224 WITH SCORE 8235.098
AT ITER 1681 NEW BEST:: SOT 53081 SOS 11128 HAS SOPS 11128 HAS SOUS 8219 HAS SOUPS 8219 WITH SCORE 8230.128
AT ITER 1700 NEW BEST:: SOT 53074 SOS 11114 HAS SOPS 11114 HAS SOUS 8193 HAS SOUPS 8193 WITH SCORE 8204.114
AT ITER 1731 NEW BEST:: SOT 53067 SOS 11100 HAS SOPS 11100 HAS SOUS 8179 HAS SOUPS 8179 WITH SCORE 8190.1
AT ITER 1761 NEW BEST:: SOT 53068 SOS 11094 HAS SOPS 11094 HAS SOUS 8173 HAS SOUPS 8173 WITH SCORE 8184.094
AT ITER 1803 NEW BEST:: SOT 53065 SOS 11088 HAS SOPS 11088 HAS SOUS 8167 HAS SOUPS 8167 WITH SCORE 8178.088
AT ITER 1807 NEW BEST:: SOT 53060 SOS 11078 HAS SOPS 11078 HAS SOUS 8157 HAS SOUPS 8157 WITH SCORE 8168.078
AT ITER 1847 NEW BEST:: SOT 53055 SOS 11068 HAS SOPS 11068 HAS SOUS 8149 HAS SOUPS 8149 WITH SCORE 8160.068
AT ITER 1849 NEW BEST:: SOT 53025 SOS 11008 HAS SOPS 11008 HAS SOUS 8119 HAS SOUPS 8119 WITH SCORE 8130.008
AT ITER 1851 NEW BEST:: SOT 52996 SOS 10950 HAS SOPS 10950 HAS SOUS 8095 HAS SOUPS 8095 WITH SCORE 8105.95
AT ITER 1873 NEW BEST:: SOT 52995 SOS 10948 HAS SOPS 10948 HAS SOUS 8093 HAS SOUPS 8093 WITH SCORE 8103.948
AT ITER 1875 NEW BEST:: SOT 52991 SOS 10906 HAS SOPS 10906 HAS SOUS 8085 HAS SOUPS 8085 WITH SCORE 8095.906
AT ITER 1911 NEW BEST:: SOT 52990 SOS 10905 HAS SOPS 10905 HAS SOUS 8083 HAS SOUPS 8083 WITH SCORE 8093.905
AT ITER 1922 NEW BEST:: SOT 52976 SOS 10911 HAS SOPS 10911 HAS SOUS 8055 HAS SOUPS 8055 WITH SCORE 8065.911
AT ITER 1963 NEW BEST:: SOT 52975 SOS 10909 HAS SOPS 10909 HAS SOUS 8053 HAS SOUPS 8053 WITH SCORE 8063.909
AT ITER 2023 NEW BEST:: SOT 52971 SOS 10901 HAS SOPS 10901 HAS SOUS 8045 HAS SOUPS 8045 WITH SCORE 8055.901
AT ITER 2072 NEW BEST:: SOT 52969 SOS 10897 HAS SOPS 10897 HAS SOUS 8041 HAS SOUPS 8041 WITH SCORE 8051.897
AT ITER 2109 NEW BEST:: SOT 52976 SOS 9885 HAS SOPS 9885 HAS SOUS 8033 HAS SOUPS 8033 WITH SCORE 8042.885
AT ITER 2138 NEW BEST:: SOT 52976 SOS 9883 HAS SOPS 9883 HAS SOUS 8031 HAS SOUPS 8031 WITH SCORE 8040.883
AT ITER 2145 NEW BEST:: SOT 52970 SOS 9871 HAS SOPS 9871 HAS SOUS 8019 HAS SOUPS 8019 WITH SCORE 8028.871
AT ITER 2208 NEW BEST:: SOT 52979 SOS 9889 HAS SOPS 9889 HAS SOUS 8013 HAS SOUPS 8013 WITH SCORE 8022.889
AT ITER 2234 NEW BEST:: SOT 52965 SOS 9861 HAS SOPS 9861 HAS SOUS 7990 HAS SOUPS 7990 WITH SCORE 7999.861
AT ITER 2307 NEW BEST:: SOT 52974 SOS 9879 HAS SOPS 9879 HAS SOUS 7989 HAS SOUPS 7989 WITH SCORE 7998.879
AT ITER 2310 NEW BEST:: SOT 52973 SOS 9877 HAS SOPS 9877 HAS SOUS 7987 HAS SOUPS 7987 WITH SCORE 7996.877
AT ITER 2321 NEW BEST:: SOT 52958 SOS 9847 HAS SOPS 9847 HAS SOUS 7972 HAS SOUPS 7972 WITH SCORE 7981.847
AT ITER 2351 NEW BEST:: SOT 52941 SOS 9867 HAS SOPS 9867 HAS SOUS 7942 HAS SOUPS 7942 WITH SCORE 7951.867
AT ITER 2354 NEW BEST:: SOT 52918 SOS 9821 HAS SOPS 9821 HAS SOUS 7896 HAS SOUPS 7896 WITH SCORE 7905.821
AT ITER 2361 NEW BEST:: SOT 52912 SOS 9809 HAS SOPS 9809 HAS SOUS 7884 HAS SOUPS 7884 WITH SCORE 7893.809
AT ITER 2435 NEW BEST:: SOT 52895 SOS 9775 HAS SOPS 9775 HAS SOUS 7867 HAS SOUPS 7867 WITH SCORE 7876.775
AT ITER 2440 NEW BEST:: SOT 52880 SOS 9745 HAS SOPS 9745 HAS SOUS 7837 HAS SOUPS 7837 WITH SCORE 7846.745
AT ITER 2441 NEW BEST:: SOT 52880 SOS 9738 HAS SOPS 9738 HAS SOUS 7830 HAS SOUPS 7830 WITH SCORE 7839.738
AT ITER 2448 NEW BEST:: SOT 52881 SOS 9734 HAS SOPS 9734 HAS SOUS 7826 HAS SOUPS 7826 WITH SCORE 7835.734
AT ITER 2474 NEW BEST:: SOT 52868 SOS 9740 HAS SOPS 9740 HAS SOUS 7823 HAS SOUPS 7823 WITH SCORE 7832.74
AT ITER 2486 NEW BEST:: SOT 52865 SOS 9734 HAS SOPS 9734 HAS SOUS 7817 HAS SOUPS 7817 WITH SCORE 7826.734
AT ITER 2487 NEW BEST:: SOT 52860 SOS 9724 HAS SOPS 9724 HAS SOUS 7817 HAS SOUPS 7817 WITH SCORE 7826.724
AT ITER 2500 NEW BEST:: SOT 52858 SOS 9722 HAS SOPS 9722 HAS SOUS 7815 HAS SOUPS 7815 WITH SCORE 7824.722
AT ITER 2506 NEW BEST:: SOT 52858 SOS 9722 HAS SOPS 9722 HAS SOUS 7795 HAS SOUPS 7795 WITH SCORE 7804.722
AT ITER 2527 NEW BEST:: SOT 52858 SOS 9722 HAS SOPS 9722 HAS SOUS 7793 HAS SOUPS 7793 WITH SCORE 7802.722
AT ITER 2541 NEW BEST:: SOT 52857 SOS 9720 HAS SOPS 9720 HAS SOUS 7791 HAS SOUPS 7791 WITH SCORE 7800.72
AT ITER 2550 NEW BEST:: SOT 52843 SOS 9697 HAS SOPS 9697 HAS SOUS 7773 HAS SOUPS 7773 WITH SCORE 7782.697
AT ITER 2601 NEW BEST:: SOT 52843 SOS 9705 HAS SOPS 9705 HAS SOUS 7769 HAS SOUPS 7769 WITH SCORE 7778.705
AT ITER 2611 NEW BEST:: SOT 52840 SOS 9773 HAS SOPS 9773 HAS SOUS 7763 HAS SOUPS 7763 WITH SCORE 7772.773
AT ITER 2613 NEW BEST:: SOT 52836 SOS 9765 HAS SOPS 9765 HAS SOUS 7755 HAS SOUPS 7755 WITH SCORE 7764.765
AT ITER 2619 NEW BEST:: SOT 52831 SOS 9755 HAS SOPS 9755 HAS SOUS 7750 HAS SOUPS 7750 WITH SCORE 7759.755
AT ITER 2638 NEW BEST:: SOT 52826 SOS 9751 HAS SOPS 9751 HAS SOUS 7746 HAS SOUPS 7746 WITH SCORE 7755.751
AT ITER 2675 NEW BEST:: SOT 52825 SOS 9749 HAS SOPS 9749 HAS SOUS 7744 HAS SOUPS 7744 WITH SCORE 7753.749
AT ITER 2676 NEW BEST:: SOT 52810 SOS 9734 HAS SOPS 9734 HAS SOUS 7744 HAS SOUPS 7744 WITH SCORE 7753.734
AT ITER 2699 NEW BEST:: SOT 52808 SOS 9712 HAS SOPS 9712 HAS SOUS 7740 HAS SOUPS 7740 WITH SCORE 7749.712
AT ITER 2703 NEW BEST:: SOT 52803 SOS 9702 HAS SOPS 9702 HAS SOUS 7735 HAS SOUPS 7735 WITH SCORE 7744.702
AT ITER 2733 NEW BEST:: SOT 52793 SOS 9682 HAS SOPS 9682 HAS SOUS 7715 HAS SOUPS 7715 WITH SCORE 7724.682
AT ITER 2749 NEW BEST:: SOT 52787 SOS 9676 HAS SOPS 9676 HAS SOUS 7709 HAS SOUPS 7709 WITH SCORE 7718.676
AT ITER 2767 NEW BEST:: SOT 52786 SOS 9674 HAS SOPS 9674 HAS SOUS 7707 HAS SOUPS 7707 WITH SCORE 7716.674
AT ITER 2782 NEW BEST:: SOT 52792 SOS 9686 HAS SOPS 9686 HAS SOUS 7696 HAS SOUPS 7696 WITH SCORE 7705.686
AT ITER 2806 NEW BEST:: SOT 52767 SOS 9636 HAS SOPS 9636 HAS SOUS 7671 HAS SOUPS 7671 WITH SCORE 7680.636
AT ITER 2829 NEW BEST:: SOT 52753 SOS 9608 HAS SOPS 9608 HAS SOUS 7657 HAS SOUPS 7657 WITH SCORE 7666.608
AT ITER 2837 NEW BEST:: SOT 52747 SOS 9596 HAS SOPS 9596 HAS SOUS 7645 HAS SOUPS 7645 WITH SCORE 7654.596
AT ITER 2838 NEW BEST:: SOT 52744 SOS 9590 HAS SOPS 9590 HAS SOUS 7645 HAS SOUPS 7645 WITH SCORE 7654.59
AT ITER 2874 NEW BEST:: SOT 52738 SOS 9589 HAS SOPS 9589 HAS SOUS 7644 HAS SOUPS 7644 WITH SCORE 7653.589
AT ITER 2877 NEW BEST:: SOT 52729 SOS 9571 HAS SOPS 9571 HAS SOUS 7626 HAS SOUPS 7626 WITH SCORE 7635.571
AT ITER 2886 NEW BEST:: SOT 52699 SOS 9511 HAS SOPS 9511 HAS SOUS 7595 HAS SOUPS 7595 WITH SCORE 7604.511
AT ITER 2935 NEW BEST:: SOT 52698 SOS 9509 HAS SOPS 9509 HAS SOUS 7593 HAS SOUPS 7593 WITH SCORE 7602.509
AT ITER 3018 NEW BEST:: SOT 52687 SOS 9487 HAS SOPS 9487 HAS SOUS 7558 HAS SOUPS 7558 WITH SCORE 7567.487
AT ITER 3034 NEW BEST:: SOT 52673 SOS 9461 HAS SOPS 9461 HAS SOUS 7531 HAS SOUPS 7531 WITH SCORE 7540.461
AT ITER 3046 NEW BEST:: SOT 52672 SOS 9459 HAS SOPS 9459 HAS SOUS 7529 HAS SOUPS 7529 WITH SCORE 7538.459
AT ITER 3110 NEW BEST:: SOT 52668 SOS 9451 HAS SOPS 9451 HAS SOUS 7521 HAS SOUPS 7521 WITH SCORE 7530.451
AT ITER 3115 NEW BEST:: SOT 52658 SOS 9431 HAS SOPS 9431 HAS SOUS 7514 HAS SOUPS 7514 WITH SCORE 7523.431
AT ITER 3132 NEW BEST:: SOT 52653 SOS 9393 HAS SOPS 9393 HAS SOUS 7507 HAS SOUPS 7507 WITH SCORE 7516.393
AT ITER 3181 NEW BEST:: SOT 52636 SOS 9359 HAS SOPS 9359 HAS SOUS 7478 HAS SOUPS 7478 WITH SCORE 7487.359
AT ITER 3198 NEW BEST:: SOT 52627 SOS 9341 HAS SOPS 9341 HAS SOUS 7396 HAS SOUPS 7396 WITH SCORE 7405.341
AT ITER 3202 NEW BEST:: SOT 52620 SOS 9329 HAS SOPS 9329 HAS SOUS 7391 HAS SOUPS 7391 WITH SCORE 7400.329
AT ITER 3226 NEW BEST:: SOT 52614 SOS 9317 HAS SOPS 9317 HAS SOUS 7379 HAS SOUPS 7379 WITH SCORE 7388.317
AT ITER 3239 NEW BEST:: SOT 52609 SOS 9307 HAS SOPS 9307 HAS SOUS 7374 HAS SOUPS 7374 WITH SCORE 7383.307
AT ITER 3249 NEW BEST:: SOT 52593 SOS 9359 HAS SOPS 9359 HAS SOUS 7330 HAS SOUPS 7330 WITH SCORE 7339.359
AT ITER 3279 NEW BEST:: SOT 52585 SOS 9343 HAS SOPS 9343 HAS SOUS 7314 HAS SOUPS 7314 WITH SCORE 7323.343
AT ITER 3352 NEW BEST:: SOT 52585 SOS 9329 HAS SOPS 9329 HAS SOUS 7306 HAS SOUPS 7306 WITH SCORE 7315.329
AT ITER 3366 NEW BEST:: SOT 52560 SOS 9325 HAS SOPS 9325 HAS SOUS 7302 HAS SOUPS 7302 WITH SCORE 7311.325
AT ITER 3374 NEW BEST:: SOT 52560 SOS 9318 HAS SOPS 9318 HAS SOUS 7295 HAS SOUPS 7295 WITH SCORE 7304.318
AT ITER 3409 NEW BEST:: SOT 52557 SOS 9312 HAS SOPS 9312 HAS SOUS 7292 HAS SOUPS 7292 WITH SCORE 7301.312
AT ITER 3411 NEW BEST:: SOT 52536 SOS 9270 HAS SOPS 9270 HAS SOUS 7250 HAS SOUPS 7250 WITH SCORE 7259.27
AT ITER 3437 NEW BEST:: SOT 52535 SOS 9268 HAS SOPS 9268 HAS SOUS 7248 HAS SOUPS 7248 WITH SCORE 7257.268
AT ITER 3439 NEW BEST:: SOT 52528 SOS 9254 HAS SOPS 9254 HAS SOUS 7234 HAS SOUPS 7234 WITH SCORE 7243.254
AT ITER 3499 NEW BEST:: SOT 52525 SOS 9248 HAS SOPS 9248 HAS SOUS 7228 HAS SOUPS 7228 WITH SCORE 7237.248
AT ITER 3526 NEW BEST:: SOT 52527 SOS 9245 HAS SOPS 9245 HAS SOUS 7225 HAS SOUPS 7225 WITH SCORE 7234.245
AT ITER 3538 NEW BEST:: SOT 52528 SOS 9244 HAS SOPS 9244 HAS SOUS 7224 HAS SOUPS 7224 WITH SCORE 7233.244
AT ITER 3552 NEW BEST:: SOT 52522 SOS 9241 HAS SOPS 9241 HAS SOUS 7221 HAS SOUPS 7221 WITH SCORE 7230.241
AT ITER 3591 NEW BEST:: SOT 52522 SOS 9241 HAS SOPS 9241 HAS SOUS 7212 HAS SOUPS 7212 WITH SCORE 7221.241
AT ITER 3597 NEW BEST:: SOT 52506 SOS 9209 HAS SOPS 9209 HAS SOUS 7184 HAS SOUPS 7184 WITH SCORE 7193.209
AT ITER 3603 NEW BEST:: SOT 52519 SOS 9235 HAS SOPS 9235 HAS SOUS 7175 HAS SOUPS 7175 WITH SCORE 7184.235
AT ITER 3672 NEW BEST:: SOT 52519 SOS 9245 HAS SOPS 9245 HAS SOUS 7172 HAS SOUPS 7172 WITH SCORE 7181.245
AT ITER 3689 NEW BEST:: SOT 52515 SOS 9197 HAS SOPS 9197 HAS SOUS 7164 HAS SOUPS 7164 WITH SCORE 7173.197
AT ITER 3713 NEW BEST:: SOT 52515 SOS 9196 HAS SOPS 9196 HAS SOUS 7163 HAS SOUPS 7163 WITH SCORE 7172.196
AT ITER 3754 NEW BEST:: SOT 52480 SOS 9126 HAS SOPS 9126 HAS SOUS 7128 HAS SOUPS 7128 WITH SCORE 7137.126
AT ITER 3823 NEW BEST:: SOT 52475 SOS 9044 HAS SOPS 9044 HAS SOUS 7118 HAS SOUPS 7118 WITH SCORE 7127.044
AT ITER 3868 NEW BEST:: SOT 52474 SOS 9042 HAS SOPS 9042 HAS SOUS 7116 HAS SOUPS 7116 WITH SCORE 7125.042
AT ITER 3940 NEW BEST:: SOT 52473 SOS 9040 HAS SOPS 9040 HAS SOUS 7114 HAS SOUPS 7114 WITH SCORE 7123.04
AT ITER 3966 NEW BEST:: SOT 52470 SOS 9036 HAS SOPS 9036 HAS SOUS 7110 HAS SOUPS 7110 WITH SCORE 7119.036
AT ITER 3993 NEW BEST:: SOT 52470 SOS 9031 HAS SOPS 9031 HAS SOUS 7110 HAS SOUPS 7110 WITH SCORE 7119.031
AT ITER 4051 NEW BEST:: SOT 52468 SOS 9027 HAS SOPS 9027 HAS SOUS 7106 HAS SOUPS 7106 WITH SCORE 7115.027
AT ITER 4065 NEW BEST:: SOT 52464 SOS 9019 HAS SOPS 9019 HAS SOUS 7103 HAS SOUPS 7103 WITH SCORE 7112.019
AT ITER 4097 NEW BEST:: SOT 52461 SOS 9029 HAS SOPS 9029 HAS SOUS 7097 HAS SOUPS 7097 WITH SCORE 7106.029
AT ITER 4132 NEW BEST:: SOT 52460 SOS 9028 HAS SOPS 9028 HAS SOUS 7096 HAS SOUPS 7096 WITH SCORE 7105.028
AT ITER 4161 NEW BEST:: SOT 52449 SOS 9017 HAS SOPS 9017 HAS SOUS 7085 HAS SOUPS 7085 WITH SCORE 7094.017
AT ITER 4180 NEW BEST:: SOT 52430 SOS 9001 HAS SOPS 9001 HAS SOUS 7069 HAS SOUPS 7069 WITH SCORE 7078.001
AT ITER 4213 NEW BEST:: SOT 52428 SOS 8999 HAS SOPS 8999 HAS SOUS 7069 HAS SOUPS 7069 WITH SCORE 7077.999
AT ITER 4256 NEW BEST:: SOT 52424 SOS 8991 HAS SOPS 8991 HAS SOUS 7061 HAS SOUPS 7061 WITH SCORE 7069.991
AT ITER 4399 NEW BEST:: SOT 52422 SOS 8987 HAS SOPS 8987 HAS SOUS 7059 HAS SOUPS 7059 WITH SCORE 7067.987
AT ITER 4414 NEW BEST:: SOT 52421 SOS 8985 HAS SOPS 8985 HAS SOUS 7058 HAS SOUPS 7058 WITH SCORE 7066.985
AT ITER 4436 NEW BEST:: SOT 52414 SOS 8971 HAS SOPS 8971 HAS SOUS 7044 HAS SOUPS 7044 WITH SCORE 7052.971
AT ITER 4638 NEW BEST:: SOT 52405 SOS 8953 HAS SOPS 8953 HAS SOUS 7026 HAS SOUPS 7026 WITH SCORE 7034.953
AT ITER 4662 NEW BEST:: SOT 52405 SOS 8953 HAS SOPS 8953 HAS SOUS 7022 HAS SOUPS 7022 WITH SCORE 7030.953
AT ITER 4770 NEW BEST:: SOT 52404 SOS 8951 HAS SOPS 8951 HAS SOUS 7021 HAS SOUPS 7021 WITH SCORE 7029.951
AT ITER 4865 NEW BEST:: SOT 52403 SOS 8949 HAS SOPS 8949 HAS SOUS 7019 HAS SOUPS 7019 WITH SCORE 7027.949
AT ITER 4890 NEW BEST:: SOT 52401 SOS 8945 HAS SOPS 8945 HAS SOUS 7015 HAS SOUPS 7015 WITH SCORE 7023.945
AT ITER 4903 NEW BEST:: SOT 52399 SOS 8941 HAS SOPS 8941 HAS SOUS 7011 HAS SOUPS 7011 WITH SCORE 7019.941
AT ITER 4949 NEW BEST:: SOT 52396 SOS 8935 HAS SOPS 8935 HAS SOUS 7005 HAS SOUPS 7005 WITH SCORE 7013.935
AT ITER 4969 NEW BEST:: SOT 52396 SOS 8934 HAS SOPS 8934 HAS SOUS 7004 HAS SOUPS 7004 WITH SCORE 7012.934
AT ITER 5048 NEW BEST:: SOT 52368 SOS 8990 HAS SOPS 8990 HAS SOUS 6983 HAS SOUPS 6983 WITH SCORE 6991.99
AT ITER 5200 NEW BEST:: SOT 52354 SOS 8962 HAS SOPS 8962 HAS SOUS 6955 HAS SOUPS 6955 WITH SCORE 6963.962
AT ITER 5245 NEW BEST:: SOT 52354 SOS 8954 HAS SOPS 8954 HAS SOUS 6949 HAS SOUPS 6949 WITH SCORE 6957.954
AT ITER 5362 NEW BEST:: SOT 52354 SOS 8952 HAS SOPS 8952 HAS SOUS 6947 HAS SOUPS 6947 WITH SCORE 6955.952
AT ITER 5413 NEW BEST:: SOT 52344 SOS 8922 HAS SOPS 8922 HAS SOUS 6937 HAS SOUPS 6937 WITH SCORE 6945.922
AT ITER 5422 NEW BEST:: SOT 52342 SOS 8918 HAS SOPS 8918 HAS SOUS 6934 HAS SOUPS 6934 WITH SCORE 6942.918
AT ITER 5427 NEW BEST:: SOT 52327 SOS 8906 HAS SOPS 8906 HAS SOUS 6919 HAS SOUPS 6919 WITH SCORE 6927.906
AT ITER 5494 NEW BEST:: SOT 52323 SOS 8898 HAS SOPS 8898 HAS SOUS 6911 HAS SOUPS 6911 WITH SCORE 6919.898
AT ITER 5637 NEW BEST:: SOT 52316 SOS 8884 HAS SOPS 8884 HAS SOUS 6897 HAS SOUPS 6897 WITH SCORE 6905.884
AT ITER 5669 NEW BEST:: SOT 52308 SOS 8868 HAS SOPS 8868 HAS SOUS 6881 HAS SOUPS 6881 WITH SCORE 6889.868
AT ITER 5675 NEW BEST:: SOT 52304 SOS 8860 HAS SOPS 8860 HAS SOUS 6877 HAS SOUPS 6877 WITH SCORE 6885.86
AT ITER 5687 NEW BEST:: SOT 52295 SOS 8842 HAS SOPS 8842 HAS SOUS 6859 HAS SOUPS 6859 WITH SCORE 6867.842
AT ITER 5956 NEW BEST:: SOT 52291 SOS 8834 HAS SOPS 8834 HAS SOUS 6851 HAS SOUPS 6851 WITH SCORE 6859.834
AT ITER 6103 NEW BEST:: SOT 52290 SOS 8832 HAS SOPS 8832 HAS SOUS 6849 HAS SOUPS 6849 WITH SCORE 6857.832
AT ITER 6108 NEW BEST:: SOT 52283 SOS 8818 HAS SOPS 8818 HAS SOUS 6843 HAS SOUPS 6843 WITH SCORE 6851.818
AT ITER 6118 NEW BEST:: SOT 52286 SOS 8816 HAS SOPS 8816 HAS SOUS 6841 HAS SOUPS 6841 WITH SCORE 6849.816
AT ITER 6119 NEW BEST:: SOT 52242 SOS 8728 HAS SOPS 8728 HAS SOUS 6797 HAS SOUPS 6797 WITH SCORE 6805.728
AT ITER 6236 NEW BEST:: SOT 52234 SOS 8712 HAS SOPS 8712 HAS SOUS 6797 HAS SOUPS 6797 WITH SCORE 6805.712
AT ITER 6257 NEW BEST:: SOT 52233 SOS 8710 HAS SOPS 8710 HAS SOUS 6795 HAS SOUPS 6795 WITH SCORE 6803.71
AT ITER 6303 NEW BEST:: SOT 52197 SOS 8697 HAS SOPS 8697 HAS SOUS 6775 HAS SOUPS 6775 WITH SCORE 6783.697
AT ITER 6309 NEW BEST:: SOT 52193 SOS 8693 HAS SOPS 8693 HAS SOUS 6771 HAS SOUPS 6771 WITH SCORE 6779.693
AT ITER 6404 NEW BEST:: SOT 52197 SOS 8690 HAS SOPS 8690 HAS SOUS 6768 HAS SOUPS 6768 WITH SCORE 6776.69
AT ITER 6464 NEW BEST:: SOT 52197 SOS 8685 HAS SOPS 8685 HAS SOUS 6763 HAS SOUPS 6763 WITH SCORE 6771.685
AT ITER 6488 NEW BEST:: SOT 52183 SOS 8657 HAS SOPS 8657 HAS SOUS 6749 HAS SOUPS 6749 WITH SCORE 6757.657
AT ITER 6541 NEW BEST:: SOT 52132 SOS 8638 HAS SOPS 8638 HAS SOUS 6712 HAS SOUPS 6712 WITH SCORE 6720.638
AT ITER 6694 NEW BEST:: SOT 52107 SOS 8588 HAS SOPS 8588 HAS SOUS 6676 HAS SOUPS 6676 WITH SCORE 6684.588
AT ITER 6714 NEW BEST:: SOT 52106 SOS 8586 HAS SOPS 8586 HAS SOUS 6674 HAS SOUPS 6674 WITH SCORE 6682.586
AT ITER 6742 NEW BEST:: SOT 52102 SOS 8580 HAS SOPS 8580 HAS SOUS 6670 HAS SOUPS 6670 WITH SCORE 6678.58
AT ITER 6791 NEW BEST:: SOT 52095 SOS 8566 HAS SOPS 8566 HAS SOUS 6667 HAS SOUPS 6667 WITH SCORE 6675.566
AT ITER 6915 NEW BEST:: SOT 52094 SOS 8556 HAS SOPS 8556 HAS SOUS 6657 HAS SOUPS 6657 WITH SCORE 6665.556
AT ITER 6935 NEW BEST:: SOT 52093 SOS 8554 HAS SOPS 8554 HAS SOUS 6655 HAS SOUPS 6655 WITH SCORE 6663.554
AT ITER 6976 NEW BEST:: SOT 52100 SOS 8557 HAS SOPS 8557 HAS SOUS 6651 HAS SOUPS 6651 WITH SCORE 6659.557
AT ITER 7005 NEW BEST:: SOT 52087 SOS 8539 HAS SOPS 8539 HAS SOUS 6643 HAS SOUPS 6643 WITH SCORE 6651.539
AT ITER 7113 NEW BEST:: SOT 52084 SOS 8536 HAS SOPS 8536 HAS SOUS 6640 HAS SOUPS 6640 WITH SCORE 6648.536
AT ITER 7217 NEW BEST:: SOT 52080 SOS 8532 HAS SOPS 8532 HAS SOUS 6636 HAS SOUPS 6636 WITH SCORE 6644.532
AT ITER 7326 NEW BEST:: SOT 52075 SOS 8516 HAS SOPS 8516 HAS SOUS 6632 HAS SOUPS 6632 WITH SCORE 6640.516
AT ITER 7354 NEW BEST:: SOT 52062 SOS 8586 HAS SOPS 8586 HAS SOUS 6626 HAS SOUPS 6626 WITH SCORE 6634.586
AT ITER 7359 NEW BEST:: SOT 52060 SOS 8582 HAS SOPS 8582 HAS SOUS 6624 HAS SOUPS 6624 WITH SCORE 6632.582
AT ITER 7423 NEW BEST:: SOT 52062 SOS 8586 HAS SOPS 8586 HAS SOUS 6622 HAS SOUPS 6622 WITH SCORE 6630.586
AT ITER 7424 NEW BEST:: SOT 52060 SOS 8582 HAS SOPS 8582 HAS SOUS 6618 HAS SOUPS 6618 WITH SCORE 6626.582
AT ITER 7428 NEW BEST:: SOT 52045 SOS 8552 HAS SOPS 8552 HAS SOUS 6612 HAS SOUPS 6612 WITH SCORE 6620.552
AT ITER 7491 NEW BEST:: SOT 52039 SOS 8540 HAS SOPS 8540 HAS SOUS 6600 HAS SOUPS 6600 WITH SCORE 6608.54
AT ITER 7563 NEW BEST:: SOT 52038 SOS 8538 HAS SOPS 8538 HAS SOUS 6598 HAS SOUPS 6598 WITH SCORE 6606.538
AT ITER 7578 NEW BEST:: SOT 52034 SOS 8530 HAS SOPS 8530 HAS SOUS 6594 HAS SOUPS 6594 WITH SCORE 6602.53
AT ITER 7627 NEW BEST:: SOT 52031 SOS 8524 HAS SOPS 8524 HAS SOUS 6588 HAS SOUPS 6588 WITH SCORE 6596.524
AT ITER 7659 NEW BEST:: SOT 52029 SOS 8520 HAS SOPS 8520 HAS SOUS 6586 HAS SOUPS 6586 WITH SCORE 6594.52
AT ITER 7664 NEW BEST:: SOT 52021 SOS 8504 HAS SOPS 8504 HAS SOUS 6570 HAS SOUPS 6570 WITH SCORE 6578.504
AT ITER 7751 NEW BEST:: SOT 52016 SOS 8487 HAS SOPS 8487 HAS SOUS 6560 HAS SOUPS 6560 WITH SCORE 6568.487
AT ITER 7762 NEW BEST:: SOT 52016 SOS 8439 HAS SOPS 8439 HAS SOUS 6560 HAS SOUPS 6560 WITH SCORE 6568.439
AT ITER 7790 NEW BEST:: SOT 52014 SOS 8435 HAS SOPS 8435 HAS SOUS 6556 HAS SOUPS 6556 WITH SCORE 6564.435
AT ITER 7905 NEW BEST:: SOT 52007 SOS 8541 HAS SOPS 8541 HAS SOUS 6553 HAS SOUPS 6553 WITH SCORE 6561.541
AT ITER 8005 NEW BEST:: SOT 51968 SOS 8833 HAS SOPS 8833 HAS SOUS 6543 HAS SOUPS 6543 WITH SCORE 6551.833
AT ITER 8070 NEW BEST:: SOT 51946 SOS 8798 HAS SOPS 8798 HAS SOUS 6519 HAS SOUPS 6519 WITH SCORE 6527.798
AT ITER 8081 NEW BEST:: SOT 51945 SOS 8796 HAS SOPS 8796 HAS SOUS 6517 HAS SOUPS 6517 WITH SCORE 6525.796
AT ITER 8242 NEW BEST:: SOT 51945 SOS 8793 HAS SOPS 8793 HAS SOUS 6517 HAS SOUPS 6517 WITH SCORE 6525.793
AT ITER 8248 NEW BEST:: SOT 51941 SOS 8777 HAS SOPS 8777 HAS SOUS 6517 HAS SOUPS 6517 WITH SCORE 6525.777
AT ITER 8254 NEW BEST:: SOT 51917 SOS 8740 HAS SOPS 8740 HAS SOUS 6512 HAS SOUPS 6512 WITH SCORE 6520.74
AT ITER 8257 NEW BEST:: SOT 51943 SOS 8766 HAS SOPS 8766 HAS SOUS 6506 HAS SOUPS 6506 WITH SCORE 6514.766
AT ITER 8262 NEW BEST:: SOT 51940 SOS 8760 HAS SOPS 8760 HAS SOUS 6500 HAS SOUPS 6500 WITH SCORE 6508.76
AT ITER 8495 NEW BEST:: SOT 51946 SOS 8551 HAS SOPS 8551 HAS SOUS 6480 HAS SOUPS 6480 WITH SCORE 6488.551
AT ITER 8653 NEW BEST:: SOT 51943 SOS 8545 HAS SOPS 8545 HAS SOUS 6474 HAS SOUPS 6474 WITH SCORE 6482.545
AT ITER 8682 NEW BEST:: SOT 51931 SOS 8533 HAS SOPS 8533 HAS SOUS 6473 HAS SOUPS 6473 WITH SCORE 6481.533
AT ITER 8751 NEW BEST:: SOT 51922 SOS 8529 HAS SOPS 8529 HAS SOUS 6469 HAS SOUPS 6469 WITH SCORE 6477.529
AT ITER 8788 NEW BEST:: SOT 51914 SOS 8524 HAS SOPS 8524 HAS SOUS 6461 HAS SOUPS 6461 WITH SCORE 6469.524
AT ITER 8806 NEW BEST:: SOT 51908 SOS 8512 HAS SOPS 8512 HAS SOUS 6449 HAS SOUPS 6449 WITH SCORE 6457.512
AT ITER 8874 NEW BEST:: SOT 51895 SOS 8486 HAS SOPS 8486 HAS SOUS 6436 HAS SOUPS 6436 WITH SCORE 6444.486
AT ITER 9089 NEW BEST:: SOT 51893 SOS 8482 HAS SOPS 8482 HAS SOUS 6432 HAS SOUPS 6432 WITH SCORE 6440.482
AT ITER 9104 NEW BEST:: SOT 51895 SOS 8481 HAS SOPS 8481 HAS SOUS 6431 HAS SOUPS 6431 WITH SCORE 6439.481
AT ITER 9186 NEW BEST:: SOT 51895 SOS 8447 HAS SOPS 8447 HAS SOUS 6431 HAS SOUPS 6431 WITH SCORE 6439.447
AT ITER 9207 NEW BEST:: SOT 51894 SOS 8450 HAS SOPS 8450 HAS SOUS 6429 HAS SOUPS 6429 WITH SCORE 6437.45
AT ITER 9281 NEW BEST:: SOT 51891 SOS 8444 HAS SOPS 8444 HAS SOUS 6423 HAS SOUPS 6423 WITH SCORE 6431.444
AT ITER 9462 NEW BEST:: SOT 51890 SOS 8442 HAS SOPS 8442 HAS SOUS 6421 HAS SOUPS 6421 WITH SCORE 6429.442
AT ITER 9595 NEW BEST:: SOT 51884 SOS 8426 HAS SOPS 8426 HAS SOUS 6421 HAS SOUPS 6421 WITH SCORE 6429.426
AT ITER 9645 NEW BEST:: SOT 51893 SOS 8435 HAS SOPS 8435 HAS SOUS 6415 HAS SOUPS 6415 WITH SCORE 6423.435
AT ITER 9666 NEW BEST:: SOT 51892 SOS 8433 HAS SOPS 8433 HAS SOUS 6413 HAS SOUPS 6413 WITH SCORE 6421.433
AT ITER 9745 NEW BEST:: SOT 51890 SOS 8429 HAS SOPS 8429 HAS SOUS 6409 HAS SOUPS 6409 WITH SCORE 6417.429
AT ITER 9806 NEW BEST:: SOT 51889 SOS 8428 HAS SOPS 8428 HAS SOUS 6408 HAS SOUPS 6408 WITH SCORE 6416.428
AT ITER 9945 NEW BEST:: SOT 51885 SOS 8424 HAS SOPS 8424 HAS SOUS 6404 HAS SOUPS 6404 WITH SCORE 6412.424
AT ITER 9995 NEW BEST:: SOT 51872 SOS 8411 HAS SOPS 8411 HAS SOUS 6395 HAS SOUPS 6395 WITH SCORE 6403.411
STATE_SPACE STATES 216668 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 3 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 644026 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679433594535

--------------------
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-02b"
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-02b, 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-167912651400568"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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