About the Execution of Smart+red for TokenRing-PT-030
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 10321.987 | 3600000.00 | 3656765.00 | 22779.10 | [undef] | Time out reached |
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.r491-tall-167912710800688.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 TokenRing-PT-030, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r491-tall-167912710800688
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 231M
-rw-r--r-- 1 mcc users 842K Feb 25 17:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 4.0M Feb 25 17:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 20M Feb 25 16:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 69M Feb 25 16:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 583K Feb 25 17:20 LTLCardinality.txt
-rw-r--r-- 1 mcc users 2.0M Feb 25 17:20 LTLCardinality.xml
-rw-r--r-- 1 mcc users 9.7M Feb 25 17:20 LTLFireability.txt
-rw-r--r-- 1 mcc users 26M Feb 25 17:20 LTLFireability.xml
-rw-r--r-- 1 mcc users 2.6M Feb 25 20:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 13M Feb 25 20:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 17M Feb 25 19:00 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 57M Feb 25 18:58 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 102K Feb 25 17:20 UpperBounds.txt
-rw-r--r-- 1 mcc users 262K Feb 25 17:20 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 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 14M 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 1679281590926
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=TokenRing-PT-030
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 03:06:32] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 03:06:32] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 03:06:33] [INFO ] Load time of PNML (sax parser for PT used): 564 ms
[2023-03-20 03:06:33] [INFO ] Transformed 961 places.
[2023-03-20 03:06:33] [INFO ] Transformed 27931 transitions.
[2023-03-20 03:06:35] [INFO ] Parsed PT model containing 961 places and 27931 transitions and 111724 arcs in 2476 ms.
[2023-03-20 03:06:35] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 961 places, 27931 transitions and 111724 arcs took 154 ms.
Total runtime 2668 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running TokenRing (PT), instance 030
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: 961 places, 27931 transitions, 111724 arcs.
AT ITER 0 NEW BEST:: SOT 14060624 SOS 2028619 HAS SOPS 1323150 HAS SOUS 962804 HAS SOUPS 934282 WITH SCORE 936310.619
AT ITER 38 NEW BEST:: SOT 14060772 SOS 2030455 HAS SOPS 1324986 HAS SOUS 962194 HAS SOUPS 933672 WITH SCORE 935702.455
AT ITER 89 NEW BEST:: SOT 14060764 SOS 2030433 HAS SOPS 1324956 HAS SOUS 962194 HAS SOUPS 933672 WITH SCORE 935702.433
AT ITER 98 NEW BEST:: SOT 14060592 SOS 2030139 HAS SOPS 1324490 HAS SOUS 962094 HAS SOUPS 933572 WITH SCORE 935602.139
AT ITER 100 NEW BEST:: SOT 14060047 SOS 2030012 HAS SOPS 1323575 HAS SOUS 961188 HAS SOUPS 932666 WITH SCORE 934696.012
AT ITER 105 NEW BEST:: SOT 14060505 SOS 2032073 HAS SOPS 1325479 HAS SOUS 960694 HAS SOUPS 932159 WITH SCORE 934191.073
AT ITER 133 NEW BEST:: SOT 14060927 SOS 2034317 HAS SOPS 1327723 HAS SOUS 959728 HAS SOUPS 931193 WITH SCORE 933227.317
AT ITER 178 NEW BEST:: SOT 14060897 SOS 2034327 HAS SOPS 1327703 HAS SOUS 959644 HAS SOUPS 931109 WITH SCORE 933143.327
AT ITER 238 NEW BEST:: SOT 14061694 SOS 2036669 HAS SOPS 1330362 HAS SOUS 959168 HAS SOUPS 930636 WITH SCORE 932672.669
AT ITER 239 NEW BEST:: SOT 14061482 SOS 2036658 HAS SOPS 1330118 HAS SOUS 958725 HAS SOUPS 930193 WITH SCORE 932229.658
AT ITER 244 NEW BEST:: SOT 14062089 SOS 2038495 HAS SOPS 1332223 HAS SOUS 958175 HAS SOUPS 929642 WITH SCORE 931680.495
AT ITER 255 NEW BEST:: SOT 14062011 SOS 2038495 HAS SOPS 1332145 HAS SOUS 958023 HAS SOUPS 929490 WITH SCORE 931528.495
AT ITER 268 NEW BEST:: SOT 14062011 SOS 2038489 HAS SOPS 1332145 HAS SOUS 958017 HAS SOUPS 929490 WITH SCORE 931528.489
AT ITER 331 NEW BEST:: SOT 14062256 SOS 2040215 HAS SOPS 1333872 HAS SOUS 957835 HAS SOUPS 929308 WITH SCORE 931348.215
AT ITER 338 NEW BEST:: SOT 14061211 SOS 2038483 HAS SOPS 1334771 HAS SOUS 957455 HAS SOUPS 928983 WITH SCORE 931021.483
AT ITER 359 NEW BEST:: SOT 14060678 SOS 2037729 HAS SOPS 1334238 HAS SOUS 956337 HAS SOUPS 927891 WITH SCORE 929928.729
AT ITER 372 NEW BEST:: SOT 14060576 SOS 2037699 HAS SOPS 1334106 HAS SOUS 956169 HAS SOUPS 927723 WITH SCORE 929760.699
AT ITER 375 NEW BEST:: SOT 14060396 SOS 2037649 HAS SOPS 1333876 HAS SOUS 955869 HAS SOUPS 927423 WITH SCORE 929460.649
AT ITER 397 NEW BEST:: SOT 14060386 SOS 2037727 HAS SOPS 1333944 HAS SOUS 955764 HAS SOUPS 927318 WITH SCORE 929355.727
AT ITER 427 NEW BEST:: SOT 14061318 SOS 2040799 HAS SOPS 1336676 HAS SOUS 955610 HAS SOUPS 927136 WITH SCORE 929176.799
AT ITER 470 NEW BEST:: SOT 14061250 SOS 2040763 HAS SOPS 1336572 HAS SOUS 955490 HAS SOUPS 927016 WITH SCORE 929056.763
AT ITER 503 NEW BEST:: SOT 14061677 SOS 2042088 HAS SOPS 1338925 HAS SOUS 955433 HAS SOUPS 926966 WITH SCORE 929008.088
AT ITER 507 NEW BEST:: SOT 14061319 SOS 2042030 HAS SOPS 1338495 HAS SOUS 954748 HAS SOUPS 926283 WITH SCORE 928325.03
AT ITER 528 NEW BEST:: SOT 14061306 SOS 2042012 HAS SOPS 1338467 HAS SOUS 954730 HAS SOUPS 926255 WITH SCORE 928297.012
AT ITER 533 NEW BEST:: SOT 14061622 SOS 2044672 HAS SOPS 1341127 HAS SOUS 954376 HAS SOUPS 925901 WITH SCORE 927945.672
AT ITER 534 NEW BEST:: SOT 14062699 SOS 2047994 HAS SOPS 1344392 HAS SOUS 953270 HAS SOUPS 924793 WITH SCORE 926840.994
AT ITER 579 NEW BEST:: SOT 14063450 SOS 2051208 HAS SOPS 1347527 HAS SOUS 953015 HAS SOUPS 924533 WITH SCORE 926584.208
AT ITER 610 NEW BEST:: SOT 14063348 SOS 2051202 HAS SOPS 1347413 HAS SOUS 952826 HAS SOUPS 924344 WITH SCORE 926395.202
AT ITER 626 NEW BEST:: SOT 14063993 SOS 2054270 HAS SOPS 1350474 HAS SOUS 952319 HAS SOUPS 923830 WITH SCORE 925884.27
AT ITER 701 NEW BEST:: SOT 14063796 SOS 2054317 HAS SOPS 1350315 HAS SOUS 951929 HAS SOUPS 923442 WITH SCORE 925496.317
AT ITER 717 NEW BEST:: SOT 14063788 SOS 2054309 HAS SOPS 1350307 HAS SOUS 951921 HAS SOUPS 923434 WITH SCORE 925488.309
AT ITER 725 NEW BEST:: SOT 14063656 SOS 2054339 HAS SOPS 1350205 HAS SOUS 951620 HAS SOUPS 923133 WITH SCORE 925187.339
AT ITER 742 NEW BEST:: SOT 14063634 SOS 2054305 HAS SOPS 1350183 HAS SOUS 951586 HAS SOUPS 923111 WITH SCORE 925165.305
AT ITER 863 NEW BEST:: SOT 14063639 SOS 2054316 HAS SOPS 1350198 HAS SOUS 951584 HAS SOUPS 923109 WITH SCORE 925163.316
AT ITER 894 NEW BEST:: SOT 14064229 SOS 2057446 HAS SOPS 1353328 HAS SOUS 950564 HAS SOUPS 922089 WITH SCORE 924146.446
AT ITER 914 NEW BEST:: SOT 14061438 SOS 2053526 HAS SOPS 1351095 HAS SOUS 949187 HAS SOUPS 920783 WITH SCORE 922836.526
AT ITER 917 NEW BEST:: SOT 14061249 SOS 2053433 HAS SOPS 1350818 HAS SOUS 948956 HAS SOUPS 920552 WITH SCORE 922605.433
AT ITER 1064 NEW BEST:: SOT 14061384 SOS 2053918 HAS SOPS 1351303 HAS SOUS 948741 HAS SOUPS 920337 WITH SCORE 922390.918
AT ITER 1195 NEW BEST:: SOT 14061352 SOS 2053958 HAS SOPS 1351307 HAS SOUS 948633 HAS SOUPS 920229 WITH SCORE 922282.958
AT ITER 1218 NEW BEST:: SOT 14062202 SOS 2056942 HAS SOPS 1354261 HAS SOUS 947597 HAS SOUPS 919191 WITH SCORE 921247.942
AT ITER 1226 NEW BEST:: SOT 14062122 SOS 2057034 HAS SOPS 1354273 HAS SOUS 947336 HAS SOUPS 918930 WITH SCORE 920987.034
AT ITER 1244 NEW BEST:: SOT 14062034 SOS 2056736 HAS SOPS 1354005 HAS SOUS 947031 HAS SOUPS 918625 WITH SCORE 920681.736
AT ITER 1296 NEW BEST:: SOT 14061736 SOS 2056712 HAS SOPS 1353683 HAS SOUS 946472 HAS SOUPS 918066 WITH SCORE 920122.712
AT ITER 1418 NEW BEST:: SOT 14061766 SOS 2056836 HAS SOPS 1353821 HAS SOUS 946392 HAS SOUPS 917986 WITH SCORE 920042.836
AT ITER 1449 NEW BEST:: SOT 14061590 SOS 2056606 HAS SOPS 1353419 HAS SOUS 946248 HAS SOUPS 917842 WITH SCORE 919898.606
AT ITER 1477 NEW BEST:: SOT 14061933 SOS 2058991 HAS SOPS 1355804 HAS SOUS 944797 HAS SOUPS 916391 WITH SCORE 918449.991
AT ITER 1490 NEW BEST:: SOT 14061425 SOS 2058701 HAS SOPS 1354998 HAS SOUS 944101 HAS SOUPS 915695 WITH SCORE 917753.701
AT ITER 1495 NEW BEST:: SOT 14062649 SOS 2063243 HAS SOPS 1359540 HAS SOUS 942999 HAS SOUPS 914593 WITH SCORE 916656.243
AT ITER 1563 NEW BEST:: SOT 14062533 SOS 2063155 HAS SOPS 1359300 HAS SOUS 942843 HAS SOUPS 914437 WITH SCORE 916500.155
AT ITER 1565 NEW BEST:: SOT 14062446 SOS 2063091 HAS SOPS 1359167 HAS SOUS 942774 HAS SOUPS 914368 WITH SCORE 916431.091
AT ITER 1607 NEW BEST:: SOT 14062300 SOS 2062844 HAS SOPS 1359001 HAS SOUS 942485 HAS SOUPS 914086 WITH SCORE 916148.844
AT ITER 1658 NEW BEST:: SOT 14060213 SOS 2060473 HAS SOPS 1360446 HAS SOUS 941249 HAS SOUPS 912931 WITH SCORE 914991.473
AT ITER 1701 NEW BEST:: SOT 14060134 SOS 2060357 HAS SOPS 1360367 HAS SOUS 941083 HAS SOUPS 912769 WITH SCORE 914829.357
AT ITER 1702 NEW BEST:: SOT 14059944 SOS 2060473 HAS SOPS 1360293 HAS SOUS 940571 HAS SOUPS 912257 WITH SCORE 914317.473
AT ITER 1752 NEW BEST:: SOT 14060045 SOS 2061550 HAS SOPS 1361370 HAS SOUS 939944 HAS SOUPS 911630 WITH SCORE 913691.55
AT ITER 1774 NEW BEST:: SOT 14060978 SOS 2065504 HAS SOPS 1365113 HAS SOUS 939437 HAS SOUPS 911114 WITH SCORE 913179.504
AT ITER 1935 NEW BEST:: SOT 14060902 SOS 2065502 HAS SOPS 1365035 HAS SOUS 939282 HAS SOUPS 910959 WITH SCORE 913024.502
AT ITER 1959 NEW BEST:: SOT 14062022 SOS 2068882 HAS SOPS 1368021 HAS SOUS 939111 HAS SOUPS 910768 WITH SCORE 912836.882
AT ITER 2014 NEW BEST:: SOT 14062016 SOS 2068866 HAS SOPS 1368005 HAS SOUS 939095 HAS SOUPS 910752 WITH SCORE 912820.866
AT ITER 2016 NEW BEST:: SOT 14061893 SOS 2068553 HAS SOPS 1367918 HAS SOUS 938804 HAS SOUPS 910473 WITH SCORE 912541.553
AT ITER 2051 NEW BEST:: SOT 14061803 SOS 2068548 HAS SOPS 1368002 HAS SOUS 938714 HAS SOUPS 910384 WITH SCORE 912452.548
AT ITER 2070 NEW BEST:: SOT 14061742 SOS 2068759 HAS SOPS 1368077 HAS SOUS 938412 HAS SOUPS 910082 WITH SCORE 912150.759
AT ITER 2077 NEW BEST:: SOT 14062671 SOS 2070877 HAS SOPS 1370794 HAS SOUS 938346 HAS SOUPS 910020 WITH SCORE 912090.877
AT ITER 2137 NEW BEST:: SOT 14060671 SOS 2068280 HAS SOPS 1371774 HAS SOUS 936940 HAS SOUPS 908630 WITH SCORE 910698.28
AT ITER 2207 NEW BEST:: SOT 14060550 SOS 2068191 HAS SOPS 1371553 HAS SOUS 936865 HAS SOUPS 908552 WITH SCORE 910620.191
AT ITER 2236 NEW BEST:: SOT 14060628 SOS 2068435 HAS SOPS 1371979 HAS SOUS 936821 HAS SOUPS 908508 WITH SCORE 910576.435
AT ITER 2261 NEW BEST:: SOT 14060563 SOS 2068247 HAS SOPS 1372118 HAS SOUS 936569 HAS SOUPS 908266 WITH SCORE 910334.247
AT ITER 2273 NEW BEST:: SOT 14060218 SOS 2068292 HAS SOPS 1371879 HAS SOUS 935869 HAS SOUPS 907566 WITH SCORE 909634.292
AT ITER 2310 NEW BEST:: SOT 14060006 SOS 2067980 HAS SOPS 1371691 HAS SOUS 935761 HAS SOUPS 907462 WITH SCORE 909529.98
AT ITER 2335 NEW BEST:: SOT 14060074 SOS 2068263 HAS SOPS 1372063 HAS SOUS 935661 HAS SOUPS 907362 WITH SCORE 909430.263
AT ITER 2338 NEW BEST:: SOT 14059857 SOS 2067798 HAS SOPS 1371598 HAS SOUS 935010 HAS SOUPS 906711 WITH SCORE 908778.798
AT ITER 2341 NEW BEST:: SOT 14059515 SOS 2067802 HAS SOPS 1371260 HAS SOUS 934553 HAS SOUPS 906255 WITH SCORE 908322.802
AT ITER 2349 NEW BEST:: SOT 14059909 SOS 2068401 HAS SOPS 1370890 HAS SOUS 934377 HAS SOUPS 906073 WITH SCORE 908141.401
AT ITER 2375 NEW BEST:: SOT 14059879 SOS 2068339 HAS SOPS 1370856 HAS SOUS 934348 HAS SOUPS 906045 WITH SCORE 908113.339
AT ITER 2457 NEW BEST:: SOT 14059848 SOS 2068430 HAS SOPS 1370907 HAS SOUS 934186 HAS SOUPS 905883 WITH SCORE 907951.43
AT ITER 2521 NEW BEST:: SOT 14059739 SOS 2068365 HAS SOPS 1370806 HAS SOUS 934064 HAS SOUPS 905761 WITH SCORE 907829.365
AT ITER 2522 NEW BEST:: SOT 14059634 SOS 2068326 HAS SOPS 1370649 HAS SOUS 933935 HAS SOUPS 905632 WITH SCORE 907700.326
AT ITER 2537 NEW BEST:: SOT 14059693 SOS 2068453 HAS SOPS 1370776 HAS SOUS 933926 HAS SOUPS 905623 WITH SCORE 907691.453
AT ITER 2650 NEW BEST:: SOT 14060654 SOS 2070962 HAS SOPS 1373443 HAS SOUS 933790 HAS SOUPS 905479 WITH SCORE 907549.962
AT ITER 2671 NEW BEST:: SOT 14060679 SOS 2071014 HAS SOPS 1373435 HAS SOUS 933789 HAS SOUPS 905477 WITH SCORE 907548.014
AT ITER 2766 NEW BEST:: SOT 14060761 SOS 2071924 HAS SOPS 1374345 HAS SOUS 933787 HAS SOUPS 905475 WITH SCORE 907546.924
AT ITER 2777 NEW BEST:: SOT 14060925 SOS 2073737 HAS SOPS 1376159 HAS SOUS 933108 HAS SOUPS 904796 WITH SCORE 906869.737
AT ITER 2830 NEW BEST:: SOT 14061266 SOS 2076124 HAS SOPS 1378546 HAS SOUS 932953 HAS SOUPS 904641 WITH SCORE 906717.124
AT ITER 2860 NEW BEST:: SOT 14061902 SOS 2078526 HAS SOPS 1380948 HAS SOUS 931823 HAS SOUPS 903511 WITH SCORE 905589.526
AT ITER 2905 NEW BEST:: SOT 14061878 SOS 2078511 HAS SOPS 1380924 HAS SOUS 931808 HAS SOUPS 903487 WITH SCORE 905565.511
AT ITER 2913 NEW BEST:: SOT 14063355 SOS 2082901 HAS SOPS 1384271 HAS SOUS 931674 HAS SOUPS 903311 WITH SCORE 905393.901
AT ITER 2936 NEW BEST:: SOT 14063272 SOS 2082960 HAS SOPS 1384196 HAS SOUS 931467 HAS SOUPS 903104 WITH SCORE 905186.96
AT ITER 2947 NEW BEST:: SOT 14063245 SOS 2082840 HAS SOPS 1384219 HAS SOUS 931378 HAS SOUPS 903020 WITH SCORE 905102.84
AT ITER 2956 NEW BEST:: SOT 14063136 SOS 2082724 HAS SOPS 1383878 HAS SOUS 931276 HAS SOUPS 902918 WITH SCORE 905000.724
AT ITER 2961 NEW BEST:: SOT 14062984 SOS 2082984 HAS SOPS 1383986 HAS SOUS 930759 HAS SOUPS 902401 WITH SCORE 904483.984
AT ITER 2965 NEW BEST:: SOT 14063338 SOS 2084490 HAS SOPS 1385492 HAS SOUS 929961 HAS SOUPS 901603 WITH SCORE 903687.49
AT ITER 3082 NEW BEST:: SOT 14064222 SOS 2086647 HAS SOPS 1388152 HAS SOUS 929685 HAS SOUPS 901324 WITH SCORE 903410.647
AT ITER 3095 NEW BEST:: SOT 14065211 SOS 2090414 HAS SOPS 1391573 HAS SOUS 928795 HAS SOUPS 900411 WITH SCORE 902501.414
AT ITER 3114 NEW BEST:: SOT 14066062 SOS 2093343 HAS SOPS 1394408 HAS SOUS 927816 HAS SOUPS 899424 WITH SCORE 901517.343
AT ITER 3238 NEW BEST:: SOT 14066109 SOS 2093575 HAS SOPS 1394587 HAS SOUS 927531 HAS SOUPS 899137 WITH SCORE 901230.575
AT ITER 3246 NEW BEST:: SOT 14067316 SOS 2096388 HAS SOPS 1398010 HAS SOUS 927472 HAS SOUPS 899085 WITH SCORE 901181.388
AT ITER 3293 NEW BEST:: SOT 14068118 SOS 2098179 HAS SOPS 1400386 HAS SOUS 927455 HAS SOUPS 899070 WITH SCORE 901168.179
AT ITER 3333 NEW BEST:: SOT 14068009 SOS 2098022 HAS SOPS 1400235 HAS SOUS 927274 HAS SOUPS 898893 WITH SCORE 900991.022
AT ITER 3415 NEW BEST:: SOT 14068749 SOS 2100542 HAS SOPS 1402755 HAS SOUS 926234 HAS SOUPS 897853 WITH SCORE 899953.542
AT ITER 3430 NEW BEST:: SOT 14068720 SOS 2100507 HAS SOPS 1402712 HAS SOUS 926218 HAS SOUPS 897837 WITH SCORE 899937.507
AT ITER 3435 NEW BEST:: SOT 14068793 SOS 2100992 HAS SOPS 1403197 HAS SOUS 925879 HAS SOUPS 897498 WITH SCORE 899598.992
AT ITER 3450 NEW BEST:: SOT 14070938 SOS 2106179 HAS SOPS 1407986 HAS SOUS 925416 HAS SOUPS 897021 WITH SCORE 899127.179
AT ITER 3459 NEW BEST:: SOT 14072438 SOS 2110264 HAS SOPS 1411728 HAS SOUS 925354 HAS SOUPS 896934 WITH SCORE 899044.264
AT ITER 3464 NEW BEST:: SOT 14072245 SOS 2110157 HAS SOPS 1411421 HAS SOUS 925095 HAS SOUPS 896675 WITH SCORE 898785.157
AT ITER 3583 NEW BEST:: SOT 14071987 SOS 2110130 HAS SOPS 1411083 HAS SOUS 924587 HAS SOUPS 896167 WITH SCORE 898277.13
AT ITER 3593 NEW BEST:: SOT 14070765 SOS 2107548 HAS SOPS 1408885 HAS SOUS 924322 HAS SOUPS 895915 WITH SCORE 898022.548
AT ITER 3618 NEW BEST:: SOT 14070493 SOS 2107572 HAS SOPS 1408663 HAS SOUS 923789 HAS SOUPS 895382 WITH SCORE 897489.572
AT ITER 3658 NEW BEST:: SOT 14071169 SOS 2109282 HAS SOPS 1410749 HAS SOUS 923529 HAS SOUPS 895123 WITH SCORE 897232.282
AT ITER 3699 NEW BEST:: SOT 14070999 SOS 2109244 HAS SOPS 1410543 HAS SOUS 923232 HAS SOUPS 894826 WITH SCORE 896935.244
AT ITER 3716 NEW BEST:: SOT 14072021 SOS 2113295 HAS SOPS 1414529 HAS SOUS 922558 HAS SOUPS 894149 WITH SCORE 896262.295
AT ITER 3773 NEW BEST:: SOT 14072022 SOS 2113301 HAS SOPS 1414534 HAS SOUS 922553 HAS SOUPS 894144 WITH SCORE 896257.301
AT ITER 3836 NEW BEST:: SOT 14071727 SOS 2112784 HAS SOPS 1414047 HAS SOUS 922449 HAS SOUPS 894041 WITH SCORE 896153.784
AT ITER 3856 NEW BEST:: SOT 14071705 SOS 2112782 HAS SOPS 1414037 HAS SOUS 922418 HAS SOUPS 894010 WITH SCORE 896122.782
AT ITER 3904 NEW BEST:: SOT 14071644 SOS 2112743 HAS SOPS 1413898 HAS SOUS 922335 HAS SOUPS 893927 WITH SCORE 896039.743
AT ITER 3926 NEW BEST:: SOT 14072450 SOS 2114576 HAS SOPS 1416276 HAS SOUS 922158 HAS SOUPS 893743 WITH SCORE 895857.576
AT ITER 3958 NEW BEST:: SOT 14074895 SOS 2120266 HAS SOPS 1421539 HAS SOUS 921792 HAS SOUPS 893363 WITH SCORE 895483.266
AT ITER 4011 NEW BEST:: SOT 14074865 SOS 2120266 HAS SOPS 1421509 HAS SOUS 921763 HAS SOUPS 893333 WITH SCORE 895453.266
AT ITER 4046 NEW BEST:: SOT 14075339 SOS 2122331 HAS SOPS 1423573 HAS SOUS 921576 HAS SOUPS 893146 WITH SCORE 895268.331
AT ITER 4062 NEW BEST:: SOT 14076687 SOS 2127373 HAS SOPS 1428289 HAS SOUS 921524 HAS SOUPS 893080 WITH SCORE 895207.373
AT ITER 4069 NEW BEST:: SOT 14077176 SOS 2129550 HAS SOPS 1430466 HAS SOUS 920325 HAS SOUPS 891881 WITH SCORE 894010.55
AT ITER 4107 NEW BEST:: SOT 14076833 SOS 2130960 HAS SOPS 1431993 HAS SOUS 918976 HAS SOUPS 890512 WITH SCORE 892642.96
AT ITER 4109 NEW BEST:: SOT 14076758 SOS 2132570 HAS SOPS 1433500 HAS SOUS 918618 HAS SOUPS 890102 WITH SCORE 892234.57
AT ITER 4177 NEW BEST:: SOT 14076468 SOS 2132280 HAS SOPS 1433210 HAS SOUS 918328 HAS SOUPS 889812 WITH SCORE 891944.28
AT ITER 4190 NEW BEST:: SOT 14079565 SOS 2141318 HAS SOPS 1440397 HAS SOUS 918150 HAS SOUPS 889566 WITH SCORE 891707.318
AT ITER 4192 NEW BEST:: SOT 14079564 SOS 2141296 HAS SOPS 1440396 HAS SOUS 918128 HAS SOUPS 889565 WITH SCORE 891706.296
AT ITER 4199 NEW BEST:: SOT 14081204 SOS 2146697 HAS SOPS 1445234 HAS SOUS 917650 HAS SOUPS 889062 WITH SCORE 891208.697
AT ITER 4206 NEW BEST:: SOT 14080105 SOS 2143649 HAS SOPS 1443713 HAS SOUS 916826 HAS SOUPS 888292 WITH SCORE 890435.649
AT ITER 4211 NEW BEST:: SOT 14080043 SOS 2143543 HAS SOPS 1443553 HAS SOUS 916805 HAS SOUPS 888272 WITH SCORE 890415.543
AT ITER 4220 NEW BEST:: SOT 14080189 SOS 2144066 HAS SOPS 1443023 HAS SOUS 916594 HAS SOUPS 888048 WITH SCORE 890192.066
AT ITER 4270 NEW BEST:: SOT 14079838 SOS 2143355 HAS SOPS 1442082 HAS SOUS 915871 HAS SOUPS 887325 WITH SCORE 889468.355
AT ITER 4311 NEW BEST:: SOT 14079869 SOS 2143820 HAS SOPS 1442547 HAS SOUS 915468 HAS SOUPS 886922 WITH SCORE 889065.82
AT ITER 4314 NEW BEST:: SOT 14079385 SOS 2143583 HAS SOPS 1441995 HAS SOUS 914518 HAS SOUPS 885980 WITH SCORE 888123.583
AT ITER 4328 NEW BEST:: SOT 14077597 SOS 2139117 HAS SOPS 1438853 HAS SOUS 913331 HAS SOUPS 884860 WITH SCORE 886999.117
AT ITER 4356 NEW BEST:: SOT 14077340 SOS 2139228 HAS SOPS 1438632 HAS SOUS 912681 HAS SOUPS 884210 WITH SCORE 886349.228
AT ITER 4386 NEW BEST:: SOT 14077215 SOS 2139291 HAS SOPS 1438571 HAS SOUS 912378 HAS SOUPS 883907 WITH SCORE 886046.291
AT ITER 4454 NEW BEST:: SOT 14079086 SOS 2144071 HAS SOPS 1442948 HAS SOUS 912239 HAS SOUPS 883739 WITH SCORE 885883.071
AT ITER 4479 NEW BEST:: SOT 14078948 SOS 2143807 HAS SOPS 1442522 HAS SOUS 912206 HAS SOUPS 883706 WITH SCORE 885849.807
AT ITER 4482 NEW BEST:: SOT 14078703 SOS 2143929 HAS SOPS 1442421 HAS SOUS 911632 HAS SOUPS 883132 WITH SCORE 885275.929
AT ITER 4518 NEW BEST:: SOT 14078678 SOS 2143964 HAS SOPS 1442418 HAS SOUS 911543 HAS SOUPS 883043 WITH SCORE 885186.964
AT ITER 4530 NEW BEST:: SOT 14078506 SOS 2143981 HAS SOPS 1442262 HAS SOUS 911199 HAS SOUPS 882699 WITH SCORE 884842.981
AT ITER 4536 NEW BEST:: SOT 14078475 SOS 2144013 HAS SOPS 1442237 HAS SOUS 911090 HAS SOUPS 882590 WITH SCORE 884734.013
AT ITER 4579 NEW BEST:: SOT 14078264 SOS 2144242 HAS SOPS 1442274 HAS SOUS 910472 HAS SOUPS 881972 WITH SCORE 884116.242
AT ITER 4580 NEW BEST:: SOT 14077433 SOS 2142667 HAS SOPS 1440353 HAS SOUS 910258 HAS SOUPS 881762 WITH SCORE 883904.667
AT ITER 4640 NEW BEST:: SOT 14078515 SOS 2144342 HAS SOPS 1441045 HAS SOUS 910228 HAS SOUPS 881699 WITH SCORE 883843.342
AT ITER 4713 NEW BEST:: SOT 14079601 SOS 2147466 HAS SOPS 1444185 HAS SOUS 909679 HAS SOUPS 881143 WITH SCORE 883290.466
AT ITER 4735 NEW BEST:: SOT 14079386 SOS 2147657 HAS SOPS 1444126 HAS SOUS 909025 HAS SOUPS 880489 WITH SCORE 882636.657
AT ITER 4755 NEW BEST:: SOT 14079780 SOS 2149053 HAS SOPS 1445492 HAS SOUS 908727 HAS SOUPS 880181 WITH SCORE 882330.053
AT ITER 4786 NEW BEST:: SOT 14081055 SOS 2153339 HAS SOPS 1449755 HAS SOUS 907301 HAS SOUPS 878755 WITH SCORE 880908.339
AT ITER 4818 NEW BEST:: SOT 14081411 SOS 2154087 HAS SOPS 1450503 HAS SOUS 907265 HAS SOUPS 878719 WITH SCORE 880873.087
AT ITER 4863 NEW BEST:: SOT 14081694 SOS 2155930 HAS SOPS 1452360 HAS SOUS 906484 HAS SOUPS 877938 WITH SCORE 880093.93
AT ITER 4869 NEW BEST:: SOT 14081691 SOS 2155927 HAS SOPS 1452357 HAS SOUS 906481 HAS SOUPS 877935 WITH SCORE 880090.927
AT ITER 4896 NEW BEST:: SOT 14081707 SOS 2156055 HAS SOPS 1452425 HAS SOUS 906389 HAS SOUPS 877843 WITH SCORE 879999.055
AT ITER 4960 NEW BEST:: SOT 14081629 SOS 2156035 HAS SOPS 1452329 HAS SOUS 906255 HAS SOUPS 877709 WITH SCORE 879865.035
AT ITER 5027 NEW BEST:: SOT 14081616 SOS 2156136 HAS SOPS 1452376 HAS SOUS 906078 HAS SOUPS 877532 WITH SCORE 879688.136
AT ITER 5080 NEW BEST:: SOT 14082980 SOS 2160122 HAS SOPS 1455902 HAS SOUS 905502 HAS SOUPS 876936 WITH SCORE 879096.122
AT ITER 5130 NEW BEST:: SOT 14082675 SOS 2160014 HAS SOPS 1455579 HAS SOUS 905047 HAS SOUPS 876481 WITH SCORE 878641.014
AT ITER 5143 NEW BEST:: SOT 14082608 SOS 2159933 HAS SOPS 1455464 HAS SOUS 905040 HAS SOUPS 876474 WITH SCORE 878633.933
AT ITER 5198 NEW BEST:: SOT 14082467 SOS 2159759 HAS SOPS 1455323 HAS SOUS 904746 HAS SOUPS 876186 WITH SCORE 878345.759
AT ITER 5236 NEW BEST:: SOT 14082431 SOS 2159721 HAS SOPS 1455247 HAS SOUS 904717 HAS SOUPS 876157 WITH SCORE 878316.721
AT ITER 5251 NEW BEST:: SOT 14082729 SOS 2160275 HAS SOPS 1456033 HAS SOUS 904706 HAS SOUPS 876146 WITH SCORE 878306.275
AT ITER 5263 NEW BEST:: SOT 14082705 SOS 2160284 HAS SOPS 1456013 HAS SOUS 904640 HAS SOUPS 876080 WITH SCORE 878240.284
AT ITER 5270 NEW BEST:: SOT 14082700 SOS 2160289 HAS SOPS 1456010 HAS SOUS 904624 HAS SOUPS 876064 WITH SCORE 878224.289
AT ITER 5304 NEW BEST:: SOT 14082480 SOS 2159765 HAS SOPS 1455566 HAS SOUS 904553 HAS SOUPS 875998 WITH SCORE 878157.765
AT ITER 5386 NEW BEST:: SOT 14084528 SOS 2166074 HAS SOPS 1460404 HAS SOUS 904479 HAS SOUPS 875869 WITH SCORE 878035.074
AT ITER 5567 NEW BEST:: SOT 14084770 SOS 2167528 HAS SOPS 1461840 HAS SOUS 904377 HAS SOUPS 875763 WITH SCORE 877930.528
AT ITER 5606 NEW BEST:: SOT 14084161 SOS 2166452 HAS SOPS 1461724 HAS SOUS 904202 HAS SOUPS 875616 WITH SCORE 877782.452
AT ITER 5712 NEW BEST:: SOT 14085256 SOS 2169783 HAS SOPS 1464865 HAS SOUS 904084 HAS SOUPS 875481 WITH SCORE 877650.783
AT ITER 5729 NEW BEST:: SOT 14084961 SOS 2169561 HAS SOPS 1464306 HAS SOUS 903802 HAS SOUPS 875197 WITH SCORE 877366.561
AT ITER 5748 NEW BEST:: SOT 14084945 SOS 2169641 HAS SOPS 1464272 HAS SOUS 903732 HAS SOUPS 875127 WITH SCORE 877296.641
AT ITER 5753 NEW BEST:: SOT 14085015 SOS 2169790 HAS SOPS 1464408 HAS SOUS 903727 HAS SOUPS 875122 WITH SCORE 877291.79
AT ITER 5763 NEW BEST:: SOT 14084923 SOS 2169529 HAS SOPS 1464316 HAS SOUS 903525 HAS SOUPS 874929 WITH SCORE 877098.529
AT ITER 5922 NEW BEST:: SOT 14085045 SOS 2169828 HAS SOPS 1465230 HAS SOUS 903494 HAS SOUPS 874898 WITH SCORE 877067.828
AT ITER 5939 NEW BEST:: SOT 14085207 SOS 2170906 HAS SOPS 1466308 HAS SOUS 902926 HAS SOUPS 874330 WITH SCORE 876500.906
AT ITER 5943 NEW BEST:: SOT 14085272 SOS 2171461 HAS SOPS 1466863 HAS SOUS 902501 HAS SOUPS 873905 WITH SCORE 876076.461
AT ITER 5964 NEW BEST:: SOT 14085895 SOS 2173362 HAS SOPS 1470398 HAS SOUS 901398 HAS SOUPS 872852 WITH SCORE 875025.362
AT ITER 5969 NEW BEST:: SOT 14087829 SOS 2178848 HAS SOPS 1474664 HAS SOUS 901113 HAS SOUPS 872524 WITH SCORE 874702.848
AT ITER 5977 NEW BEST:: SOT 14086935 SOS 2176768 HAS SOPS 1472858 HAS SOUS 900659 HAS SOUPS 872093 WITH SCORE 874269.768
AT ITER 6001 NEW BEST:: SOT 14086626 SOS 2176252 HAS SOPS 1472109 HAS SOUS 900545 HAS SOUPS 871982 WITH SCORE 874158.252
AT ITER 6083 NEW BEST:: SOT 14086445 SOS 2176204 HAS SOPS 1471856 HAS SOUS 900221 HAS SOUPS 871660 WITH SCORE 873836.204
AT ITER 6151 NEW BEST:: SOT 14086912 SOS 2177951 HAS SOPS 1473623 HAS SOUS 899501 HAS SOUPS 870937 WITH SCORE 873114.951
AT ITER 6200 NEW BEST:: SOT 14087191 SOS 2178912 HAS SOPS 1474584 HAS SOUS 899098 HAS SOUPS 870534 WITH SCORE 872712.912
AT ITER 6253 NEW BEST:: SOT 14088707 SOS 2183016 HAS SOPS 1478484 HAS SOUS 898646 HAS SOUPS 870062 WITH SCORE 872245.016
AT ITER 6281 NEW BEST:: SOT 14088521 SOS 2183493 HAS SOPS 1478664 HAS SOUS 898224 HAS SOUPS 869638 WITH SCORE 871821.493
AT ITER 6296 NEW BEST:: SOT 14088417 SOS 2183319 HAS SOPS 1478560 HAS SOUS 898004 HAS SOUPS 869424 WITH SCORE 871607.319
AT ITER 6310 NEW BEST:: SOT 14088377 SOS 2183244 HAS SOPS 1478486 HAS SOUS 897968 HAS SOUPS 869389 WITH SCORE 871572.244
AT ITER 6314 NEW BEST:: SOT 14088516 SOS 2183888 HAS SOPS 1479377 HAS SOUS 897967 HAS SOUPS 869377 WITH SCORE 871560.888
AT ITER 6315 NEW BEST:: SOT 14088193 SOS 2183465 HAS SOPS 1478738 HAS SOUS 897793 HAS SOUPS 869203 WITH SCORE 871386.465
AT ITER 6323 NEW BEST:: SOT 14088761 SOS 2184612 HAS SOPS 1479864 HAS SOUS 897782 HAS SOUPS 869192 WITH SCORE 871376.612
AT ITER 6340 NEW BEST:: SOT 14088227 SOS 2186110 HAS SOPS 1480418 HAS SOUS 896685 HAS SOUPS 868104 WITH SCORE 870290.11
AT ITER 6344 NEW BEST:: SOT 14088355 SOS 2186850 HAS SOPS 1481158 HAS SOUS 896201 HAS SOUPS 867620 WITH SCORE 869806.85
AT ITER 6385 NEW BEST:: SOT 14089776 SOS 2190550 HAS SOPS 1484459 HAS SOUS 896025 HAS SOUPS 867422 WITH SCORE 869612.55
AT ITER 6402 NEW BEST:: SOT 14089591 SOS 2190738 HAS SOPS 1485000 HAS SOUS 895687 HAS SOUPS 867078 WITH SCORE 869268.738
AT ITER 6412 NEW BEST:: SOT 14089513 SOS 2190651 HAS SOPS 1484922 HAS SOUS 895580 HAS SOUPS 866974 WITH SCORE 869164.651
AT ITER 6439 NEW BEST:: SOT 14090694 SOS 2194250 HAS SOPS 1488533 HAS SOUS 894467 HAS SOUPS 865861 WITH SCORE 868055.25
AT ITER 6477 NEW BEST:: SOT 14090204 SOS 2193317 HAS SOPS 1487343 HAS SOUS 894438 HAS SOUPS 865832 WITH SCORE 868025.317
AT ITER 6480 NEW BEST:: SOT 14090612 SOS 2195480 HAS SOPS 1489523 HAS SOUS 893711 HAS SOUPS 865105 WITH SCORE 867300.48
AT ITER 6524 NEW BEST:: SOT 14090590 SOS 2195484 HAS SOPS 1489501 HAS SOUS 893661 HAS SOUPS 865056 WITH SCORE 867251.484
AT ITER 6536 NEW BEST:: SOT 14090576 SOS 2195470 HAS SOPS 1489487 HAS SOUS 893647 HAS SOUPS 865042 WITH SCORE 867237.47
AT ITER 6561 NEW BEST:: SOT 14090597 SOS 2195454 HAS SOPS 1489564 HAS SOUS 893639 HAS SOUPS 865036 WITH SCORE 867231.454
AT ITER 6624 NEW BEST:: SOT 14090964 SOS 2196838 HAS SOPS 1490959 HAS SOUS 892989 HAS SOUPS 864386 WITH SCORE 866582.838
AT ITER 6643 NEW BEST:: SOT 14090960 SOS 2196819 HAS SOPS 1490955 HAS SOUS 892970 HAS SOUPS 864382 WITH SCORE 866578.819
AT ITER 6662 NEW BEST:: SOT 14089693 SOS 2195662 HAS SOPS 1490344 HAS SOUS 892461 HAS SOUPS 863891 WITH SCORE 866086.662
AT ITER 6695 NEW BEST:: SOT 14089760 SOS 2195843 HAS SOPS 1490525 HAS SOUS 892414 HAS SOUPS 863844 WITH SCORE 866039.843
AT ITER 6779 NEW BEST:: SOT 14089572 SOS 2195714 HAS SOPS 1490259 HAS SOUS 892192 HAS SOUPS 863622 WITH SCORE 865817.714
AT ITER 6791 NEW BEST:: SOT 14090850 SOS 2199197 HAS SOPS 1493779 HAS SOUS 891389 HAS SOUPS 862815 WITH SCORE 865014.197
AT ITER 6814 NEW BEST:: SOT 14091295 SOS 2200565 HAS SOPS 1495058 HAS SOUS 891190 HAS SOUPS 862607 WITH SCORE 864807.565
AT ITER 6892 NEW BEST:: SOT 14091376 SOS 2201973 HAS SOPS 1496473 HAS SOUS 890750 HAS SOUPS 862167 WITH SCORE 864368.973
AT ITER 6924 NEW BEST:: SOT 14091606 SOS 2203030 HAS SOPS 1497533 HAS SOUS 890153 HAS SOUPS 861570 WITH SCORE 863773.03
AT ITER 6963 NEW BEST:: SOT 14091531 SOS 2202943 HAS SOPS 1497380 HAS SOUS 890102 HAS SOUPS 861519 WITH SCORE 863721.943
AT ITER 6981 NEW BEST:: SOT 14091345 SOS 2203837 HAS SOPS 1497712 HAS SOUS 889770 HAS SOUPS 861158 WITH SCORE 863361.837
AT ITER 6993 NEW BEST:: SOT 14091024 SOS 2203894 HAS SOPS 1497353 HAS SOUS 888985 HAS SOUPS 860373 WITH SCORE 862576.894
AT ITER 6998 NEW BEST:: SOT 14091787 SOS 2206539 HAS SOPS 1499776 HAS SOUS 888269 HAS SOUPS 859644 WITH SCORE 861850.539
AT ITER 7144 NEW BEST:: SOT 14091713 SOS 2206220 HAS SOPS 1499844 HAS SOUS 888037 HAS SOUPS 859425 WITH SCORE 861631.22
AT ITER 7209 NEW BEST:: SOT 14091558 SOS 2206062 HAS SOPS 1499455 HAS SOUS 887858 HAS SOUPS 859246 WITH SCORE 861452.062
AT ITER 7236 NEW BEST:: SOT 14092325 SOS 2208032 HAS SOPS 1501392 HAS SOUS 887422 HAS SOUPS 858810 WITH SCORE 861018.032
AT ITER 7294 NEW BEST:: SOT 14092255 SOS 2208206 HAS SOPS 1501322 HAS SOUS 887294 HAS SOUPS 858676 WITH SCORE 860884.206
AT ITER 7309 NEW BEST:: SOT 14092485 SOS 2208664 HAS SOPS 1501928 HAS SOUS 887287 HAS SOUPS 858669 WITH SCORE 860877.664
AT ITER 7363 NEW BEST:: SOT 14092108 SOS 2208349 HAS SOPS 1501209 HAS SOUS 886888 HAS SOUPS 858270 WITH SCORE 860478.349
AT ITER 7429 NEW BEST:: SOT 14089301 SOS 2205216 HAS SOPS 1500068 HAS SOUS 884757 HAS SOUPS 856240 WITH SCORE 858445.216
AT ITER 7565 NEW BEST:: SOT 14089171 SOS 2204839 HAS SOPS 1499938 HAS SOUS 884471 HAS SOUPS 855967 WITH SCORE 858171.839
AT ITER 7577 NEW BEST:: SOT 14088741 SOS 2204523 HAS SOPS 1499220 HAS SOUS 883947 HAS SOUPS 855443 WITH SCORE 857647.523
AT ITER 7590 NEW BEST:: SOT 14089554 SOS 2206860 HAS SOPS 1501615 HAS SOUS 883763 HAS SOUPS 855254 WITH SCORE 857460.86
AT ITER 7630 NEW BEST:: SOT 14089446 SOS 2206896 HAS SOPS 1501515 HAS SOUS 883504 HAS SOUPS 854995 WITH SCORE 857201.896
AT ITER 7632 NEW BEST:: SOT 14089011 SOS 2206402 HAS SOPS 1500640 HAS SOUS 882799 HAS SOUPS 854281 WITH SCORE 856487.402
AT ITER 7653 NEW BEST:: SOT 14088994 SOS 2206333 HAS SOPS 1500579 HAS SOUS 882598 HAS SOUPS 854097 WITH SCORE 856303.333
AT ITER 7896 NEW BEST:: SOT 14088928 SOS 2206072 HAS SOPS 1500513 HAS SOUS 882448 HAS SOUPS 853956 WITH SCORE 856162.072
AT ITER 7900 NEW BEST:: SOT 14089782 SOS 2208319 HAS SOPS 1502755 HAS SOUS 881909 HAS SOUPS 853417 WITH SCORE 855625.319
AT ITER 7907 NEW BEST:: SOT 14089498 SOS 2208171 HAS SOPS 1502293 HAS SOUS 881503 HAS SOUPS 853011 WITH SCORE 855219.171
AT ITER 7930 NEW BEST:: SOT 14089332 SOS 2208127 HAS SOPS 1502047 HAS SOUS 881223 HAS SOUPS 852731 WITH SCORE 854939.127
AT ITER 7937 NEW BEST:: SOT 14089116 SOS 2207837 HAS SOPS 1501831 HAS SOUS 880771 HAS SOUPS 852289 WITH SCORE 854496.837
AT ITER 7971 NEW BEST:: SOT 14089527 SOS 2208787 HAS SOPS 1502798 HAS SOUS 880581 HAS SOUPS 852101 WITH SCORE 854309.787
AT ITER 7993 NEW BEST:: SOT 14089025 SOS 2208489 HAS SOPS 1502678 HAS SOUS 879909 HAS SOUPS 851428 WITH SCORE 853636.489
AT ITER 8032 NEW BEST:: SOT 14089076 SOS 2208741 HAS SOPS 1502927 HAS SOUS 879759 HAS SOUPS 851278 WITH SCORE 853486.741
AT ITER 8066 NEW BEST:: SOT 14089017 SOS 2208654 HAS SOPS 1502868 HAS SOUS 879635 HAS SOUPS 851157 WITH SCORE 853365.654
AT ITER 8111 NEW BEST:: SOT 14088909 SOS 2208590 HAS SOPS 1502608 HAS SOUS 879483 HAS SOUPS 851005 WITH SCORE 853213.59
AT ITER 8123 NEW BEST:: SOT 14088499 SOS 2208093 HAS SOPS 1501566 HAS SOUS 879115 HAS SOUPS 850640 WITH SCORE 852848.093
AT ITER 8150 NEW BEST:: SOT 14087754 SOS 2209371 HAS SOPS 1501113 HAS SOUS 878185 HAS SOUPS 849661 WITH SCORE 851870.371
AT ITER 8213 NEW BEST:: SOT 14088498 SOS 2211262 HAS SOPS 1503197 HAS SOUS 877953 HAS SOUPS 849431 WITH SCORE 851642.262
AT ITER 8218 NEW BEST:: SOT 14088834 SOS 2211603 HAS SOPS 1503101 HAS SOUS 877814 HAS SOUPS 849285 WITH SCORE 851496.603
AT ITER 8274 NEW BEST:: SOT 14088923 SOS 2211824 HAS SOPS 1503322 HAS SOUS 877771 HAS SOUPS 849242 WITH SCORE 851453.824
AT ITER 8333 NEW BEST:: SOT 14088341 SOS 2211546 HAS SOPS 1502590 HAS SOUS 876922 HAS SOUPS 848393 WITH SCORE 850604.546
AT ITER 8412 NEW BEST:: SOT 14089861 SOS 2215599 HAS SOPS 1506198 HAS SOUS 876839 HAS SOUPS 848280 WITH SCORE 850495.599
AT ITER 8519 NEW BEST:: SOT 14089971 SOS 2216072 HAS SOPS 1506678 HAS SOUS 876617 HAS SOUPS 848057 WITH SCORE 850273.072
AT ITER 8520 NEW BEST:: SOT 14089885 SOS 2216062 HAS SOPS 1506552 HAS SOUS 876443 HAS SOUPS 847883 WITH SCORE 850099.062
AT ITER 8532 NEW BEST:: SOT 14091017 SOS 2218989 HAS SOPS 1509478 HAS SOUS 875904 HAS SOUPS 847340 WITH SCORE 849558.989
AT ITER 8575 NEW BEST:: SOT 14091347 SOS 2220027 HAS SOPS 1510356 HAS SOUS 875712 HAS SOUPS 847142 WITH SCORE 849362.027
AT ITER 8588 NEW BEST:: SOT 14091157 SOS 2219447 HAS SOPS 1510166 HAS SOUS 875292 HAS SOUPS 846742 WITH SCORE 848961.447
AT ITER 8643 NEW BEST:: SOT 14090484 SOS 2218774 HAS SOPS 1509605 HAS SOUS 875068 HAS SOUPS 846516 WITH SCORE 848734.774
AT ITER 8666 NEW BEST:: SOT 14090364 SOS 2218702 HAS SOPS 1509401 HAS SOUS 874906 HAS SOUPS 846354 WITH SCORE 848572.702
AT ITER 8671 NEW BEST:: SOT 14090192 SOS 2218588 HAS SOPS 1509165 HAS SOUS 874692 HAS SOUPS 846140 WITH SCORE 848358.588
AT ITER 8704 NEW BEST:: SOT 14090015 SOS 2218298 HAS SOPS 1508988 HAS SOUS 874318 HAS SOUPS 845776 WITH SCORE 847994.298
AT ITER 8790 NEW BEST:: SOT 14089686 SOS 2218627 HAS SOPS 1508461 HAS SOUS 873373 HAS SOUPS 844814 WITH SCORE 847032.627
AT ITER 8877 NEW BEST:: SOT 14091009 SOS 2221579 HAS SOPS 1511420 HAS SOUS 873067 HAS SOUPS 844508 WITH SCORE 846729.579
AT ITER 8878 NEW BEST:: SOT 14091055 SOS 2221662 HAS SOPS 1511458 HAS SOUS 873053 HAS SOUPS 844494 WITH SCORE 846715.662
AT ITER 8900 NEW BEST:: SOT 14092238 SOS 2225277 HAS SOPS 1514161 HAS SOUS 872765 HAS SOUPS 844175 WITH SCORE 846400.277
AT ITER 8902 NEW BEST:: SOT 14092229 SOS 2225262 HAS SOPS 1514152 HAS SOUS 872750 HAS SOUPS 844166 WITH SCORE 846391.262
AT ITER 8917 NEW BEST:: SOT 14092225 SOS 2225258 HAS SOPS 1514144 HAS SOUS 872746 HAS SOUPS 844158 WITH SCORE 846383.258
AT ITER 8929 NEW BEST:: SOT 14092099 SOS 2225230 HAS SOPS 1513846 HAS SOUS 872524 HAS SOUPS 843935 WITH SCORE 846160.23
AT ITER 9035 NEW BEST:: SOT 14091946 SOS 2224737 HAS SOPS 1513693 HAS SOUS 872184 HAS SOUPS 843612 WITH SCORE 845836.737
AT ITER 9036 NEW BEST:: SOT 14093524 SOS 2228910 HAS SOPS 1517139 HAS SOUS 872190 HAS SOUPS 843585 WITH SCORE 845813.91
AT ITER 9077 NEW BEST:: SOT 14093351 SOS 2228710 HAS SOPS 1517004 HAS SOUS 872071 HAS SOUPS 843473 WITH SCORE 845701.71
AT ITER 9172 NEW BEST:: SOT 14093241 SOS 2228507 HAS SOPS 1516894 HAS SOUS 871837 HAS SOUPS 843246 WITH SCORE 845474.507
AT ITER 9206 NEW BEST:: SOT 14093589 SOS 2229387 HAS SOPS 1517764 HAS SOUS 871653 HAS SOUPS 843062 WITH SCORE 845291.387
AT ITER 9257 NEW BEST:: SOT 14090857 SOS 2226988 HAS SOPS 1516590 HAS SOUS 870025 HAS SOUPS 841493 WITH SCORE 843719.988
AT ITER 9315 NEW BEST:: SOT 14090722 SOS 2227053 HAS SOPS 1516371 HAS SOUS 869660 HAS SOUPS 841128 WITH SCORE 843355.053
AT ITER 9443 NEW BEST:: SOT 14090607 SOS 2227171 HAS SOPS 1516298 HAS SOUS 869539 HAS SOUPS 841000 WITH SCORE 843227.171
AT ITER 9521 NEW BEST:: SOT 14091014 SOS 2228156 HAS SOPS 1515401 HAS SOUS 869286 HAS SOUPS 840702 WITH SCORE 842930.156
AT ITER 9582 NEW BEST:: SOT 14089352 SOS 2223738 HAS SOPS 1512165 HAS SOUS 869047 HAS SOUPS 840506 WITH SCORE 842729.738
AT ITER 9680 NEW BEST:: SOT 14089418 SOS 2224230 HAS SOPS 1512657 HAS SOUS 868687 HAS SOUPS 840146 WITH SCORE 842370.23
AT ITER 9864 NEW BEST:: SOT 14089064 SOS 2223934 HAS SOPS 1512119 HAS SOUS 868312 HAS SOUPS 839771 WITH SCORE 841994.934
AT ITER 9936 NEW BEST:: SOT 14088469 SOS 2223704 HAS SOPS 1512446 HAS SOUS 867865 HAS SOUPS 839343 WITH SCORE 841566.704
AT ITER 9940 NEW BEST:: SOT 14089449 SOS 2226592 HAS SOPS 1515496 HAS SOUS 867371 HAS SOUPS 838857 WITH SCORE 841083.592
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 5561248 kB
After kill :
MemTotal: 16393232 kB
MemFree: 15838336 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
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
Caught signal 15, terminating.
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="TokenRing-PT-030"
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 TokenRing-PT-030, 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 r491-tall-167912710800688"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/TokenRing-PT-030.tgz
mv TokenRing-PT-030 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 '
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 ;