Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r427-tajo-167905979700440.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
........................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is SieveSingleMsgMbox-PT-d1m64, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r427-tajo-167905979700440
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 864K
-rw-r--r-- 1 mcc users 7.0K Feb 26 10:28 CTLCardinality.txt
-rw-r--r-- 1 mcc users 74K Feb 26 10:28 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 26 10:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 26 10:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 17:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 17:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 17:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 10:30 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 116K Feb 26 10:30 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.5K Feb 26 10:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 26 10:29 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 17:06 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:06 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 450K 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 1679387739447

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=SieveSingleMsgMbox-PT-d1m64
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-21 08:35:41] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-21 08:35:41] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-21 08:35:41] [INFO ] Load time of PNML (sax parser for PT used): 91 ms
[2023-03-21 08:35:41] [INFO ] Transformed 1295 places.
[2023-03-21 08:35:41] [INFO ] Transformed 749 transitions.
[2023-03-21 08:35:41] [INFO ] Parsed PT model containing 1295 places and 749 transitions and 2996 arcs in 158 ms.
[2023-03-21 08:35:41] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1295 places, 749 transitions and 2996 arcs took 10 ms.
Total runtime 202 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SieveSingleMsgMbox (PT), instance d1m64
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: 1295 places, 749 transitions, 2996 arcs.
AT ITER 0 NEW BEST:: SOT 191495 SOS 166175 HAS SOPS 166175 HAS SOUS 145713 HAS SOUPS 145713 WITH SCORE 145879.175
AT ITER 60 NEW BEST:: SOT 191548 SOS 166228 HAS SOPS 166228 HAS SOUS 145666 HAS SOUPS 145666 WITH SCORE 145832.228
AT ITER 97 NEW BEST:: SOT 191548 SOS 166100 HAS SOPS 166100 HAS SOUS 145666 HAS SOUPS 145666 WITH SCORE 145832.1
AT ITER 111 NEW BEST:: SOT 191548 SOS 165619 HAS SOPS 165619 HAS SOUS 145547 HAS SOUPS 145547 WITH SCORE 145712.619
AT ITER 139 NEW BEST:: SOT 191548 SOS 165251 HAS SOPS 165251 HAS SOUS 145497 HAS SOUPS 145497 WITH SCORE 145662.251
AT ITER 190 NEW BEST:: SOT 191548 SOS 165065 HAS SOPS 165065 HAS SOUS 145373 HAS SOUPS 145373 WITH SCORE 145538.065
AT ITER 193 NEW BEST:: SOT 191548 SOS 164348 HAS SOPS 164348 HAS SOUS 143699 HAS SOUPS 143699 WITH SCORE 143863.348
AT ITER 201 NEW BEST:: SOT 191748 SOS 163904 HAS SOPS 163904 HAS SOUS 143541 HAS SOUPS 143541 WITH SCORE 143704.904
AT ITER 219 NEW BEST:: SOT 191748 SOS 163950 HAS SOPS 163950 HAS SOUS 143491 HAS SOUPS 143491 WITH SCORE 143654.95
AT ITER 224 NEW BEST:: SOT 191748 SOS 163815 HAS SOPS 163815 HAS SOUS 142785 HAS SOUPS 142785 WITH SCORE 142948.815
AT ITER 234 NEW BEST:: SOT 191748 SOS 163203 HAS SOPS 163203 HAS SOUS 142533 HAS SOUPS 142533 WITH SCORE 142696.203
AT ITER 251 NEW BEST:: SOT 191748 SOS 163117 HAS SOPS 163117 HAS SOUS 141408 HAS SOUPS 141408 WITH SCORE 141571.117
AT ITER 258 NEW BEST:: SOT 191748 SOS 162847 HAS SOPS 162847 HAS SOUS 141370 HAS SOUPS 141370 WITH SCORE 141532.847
AT ITER 292 NEW BEST:: SOT 191784 SOS 162766 HAS SOPS 162766 HAS SOUS 141289 HAS SOUPS 141289 WITH SCORE 141451.766
AT ITER 308 NEW BEST:: SOT 191784 SOS 163242 HAS SOPS 163242 HAS SOUS 139706 HAS SOUPS 139706 WITH SCORE 139869.242
AT ITER 380 NEW BEST:: SOT 191784 SOS 162705 HAS SOPS 162705 HAS SOUS 139688 HAS SOUPS 139688 WITH SCORE 139850.705
AT ITER 412 NEW BEST:: SOT 182719 SOS 153660 HAS SOPS 153654 HAS SOUS 130643 HAS SOUPS 130637 WITH SCORE 130790.66
AT ITER 413 NEW BEST:: SOT 182719 SOS 153215 HAS SOPS 153209 HAS SOUS 129413 HAS SOUPS 129407 WITH SCORE 129560.215
AT ITER 423 NEW BEST:: SOT 182719 SOS 152824 HAS SOPS 152818 HAS SOUS 126531 HAS SOUPS 126525 WITH SCORE 126677.824
AT ITER 457 NEW BEST:: SOT 182719 SOS 152791 HAS SOPS 152785 HAS SOUS 124540 HAS SOUPS 124534 WITH SCORE 124686.791
AT ITER 487 NEW BEST:: SOT 182719 SOS 152595 HAS SOPS 152589 HAS SOUS 121570 HAS SOUPS 121564 WITH SCORE 121716.595
AT ITER 551 NEW BEST:: SOT 182732 SOS 152338 HAS SOPS 152332 HAS SOUS 121537 HAS SOUPS 121531 WITH SCORE 121683.338
AT ITER 636 NEW BEST:: SOT 185580 SOS 154980 HAS SOPS 154974 HAS SOUS 121487 HAS SOUPS 121481 WITH SCORE 121635.98
AT ITER 723 NEW BEST:: SOT 185716 SOS 154917 HAS SOPS 154911 HAS SOUS 121427 HAS SOUPS 121421 WITH SCORE 121575.917
AT ITER 730 NEW BEST:: SOT 186022 SOS 154769 HAS SOPS 154729 HAS SOUS 121264 HAS SOUPS 121230 WITH SCORE 121384.769
AT ITER 758 NEW BEST:: SOT 186614 SOS 155348 HAS SOPS 155308 HAS SOUS 119936 HAS SOUPS 119902 WITH SCORE 120057.348
AT ITER 781 NEW BEST:: SOT 186852 SOS 155368 HAS SOPS 155328 HAS SOUS 119874 HAS SOUPS 119840 WITH SCORE 119995.368
AT ITER 805 NEW BEST:: SOT 184360 SOS 152869 HAS SOPS 152829 HAS SOUS 118991 HAS SOUPS 118957 WITH SCORE 119109.869
AT ITER 839 NEW BEST:: SOT 184360 SOS 151738 HAS SOPS 151698 HAS SOUS 117155 HAS SOUPS 117121 WITH SCORE 117272.738
AT ITER 862 NEW BEST:: SOT 183827 SOS 151205 HAS SOPS 151165 HAS SOUS 117111 HAS SOUPS 117077 WITH SCORE 117228.205
AT ITER 931 NEW BEST:: SOT 184048 SOS 151271 HAS SOPS 151197 HAS SOUS 116508 HAS SOUPS 116474 WITH SCORE 116625.271
AT ITER 995 NEW BEST:: SOT 184048 SOS 151170 HAS SOPS 151096 HAS SOUS 114650 HAS SOUPS 114616 WITH SCORE 114767.17
AT ITER 1057 NEW BEST:: SOT 184048 SOS 151168 HAS SOPS 151094 HAS SOUS 114650 HAS SOUPS 114616 WITH SCORE 114767.168
AT ITER 1129 NEW BEST:: SOT 184048 SOS 151149 HAS SOPS 151075 HAS SOUS 114649 HAS SOUPS 114615 WITH SCORE 114766.149
AT ITER 1164 NEW BEST:: SOT 184048 SOS 151095 HAS SOPS 151021 HAS SOUS 114649 HAS SOUPS 114615 WITH SCORE 114766.095
AT ITER 1167 NEW BEST:: SOT 184048 SOS 150782 HAS SOPS 150708 HAS SOUS 111666 HAS SOUPS 111632 WITH SCORE 111782.782
AT ITER 1201 NEW BEST:: SOT 184041 SOS 150733 HAS SOPS 150652 HAS SOUS 111658 HAS SOUPS 111624 WITH SCORE 111774.733
AT ITER 1212 NEW BEST:: SOT 184041 SOS 150595 HAS SOPS 150514 HAS SOUS 111540 HAS SOUPS 111506 WITH SCORE 111656.595
AT ITER 1219 NEW BEST:: SOT 186047 SOS 152242 HAS SOPS 152161 HAS SOUS 110290 HAS SOUPS 110256 WITH SCORE 110408.242
AT ITER 1222 NEW BEST:: SOT 186047 SOS 151422 HAS SOPS 151341 HAS SOUS 109354 HAS SOUPS 109320 WITH SCORE 109471.422
AT ITER 1233 NEW BEST:: SOT 186047 SOS 150396 HAS SOPS 150315 HAS SOUS 107897 HAS SOUPS 107863 WITH SCORE 108013.396
AT ITER 1238 NEW BEST:: SOT 186187 SOS 150492 HAS SOPS 150411 HAS SOUS 106186 HAS SOUPS 106152 WITH SCORE 106302.492
AT ITER 1250 NEW BEST:: SOT 189211 SOS 153046 HAS SOPS 152965 HAS SOUS 104275 HAS SOUPS 104241 WITH SCORE 104394.046
AT ITER 1261 NEW BEST:: SOT 189211 SOS 150994 HAS SOPS 150913 HAS SOUS 101854 HAS SOUPS 101820 WITH SCORE 101970.994
AT ITER 1268 NEW BEST:: SOT 191707 SOS 153490 HAS SOPS 153409 HAS SOUS 100878 HAS SOUPS 100844 WITH SCORE 100997.49
AT ITER 1287 NEW BEST:: SOT 195211 SOS 156446 HAS SOPS 156365 HAS SOUS 98525 HAS SOUPS 98491 WITH SCORE 98647.446
AT ITER 1290 NEW BEST:: SOT 195211 SOS 154171 HAS SOPS 154090 HAS SOUS 96255 HAS SOUPS 96221 WITH SCORE 96375.171
AT ITER 1333 NEW BEST:: SOT 195211 SOS 153666 HAS SOPS 153585 HAS SOUS 95478 HAS SOUPS 95444 WITH SCORE 95597.666
AT ITER 1342 NEW BEST:: SOT 195211 SOS 153495 HAS SOPS 153414 HAS SOUS 95289 HAS SOUPS 95255 WITH SCORE 95408.495
AT ITER 1372 NEW BEST:: SOT 195211 SOS 153429 HAS SOPS 153348 HAS SOUS 95262 HAS SOUPS 95228 WITH SCORE 95381.429
AT ITER 1373 NEW BEST:: SOT 198347 SOS 156533 HAS SOPS 156452 HAS SOUS 94238 HAS SOUPS 94204 WITH SCORE 94360.533
AT ITER 1404 NEW BEST:: SOT 200929 SOS 156132 HAS SOPS 155501 HAS SOUS 93658 HAS SOUPS 93550 WITH SCORE 93706.132
AT ITER 1433 NEW BEST:: SOT 200929 SOS 156005 HAS SOPS 155374 HAS SOUS 93639 HAS SOUPS 93531 WITH SCORE 93687.005
AT ITER 1434 NEW BEST:: SOT 204741 SOS 158850 HAS SOPS 158111 HAS SOUS 91378 HAS SOUPS 91270 WITH SCORE 91428.85
AT ITER 1446 NEW BEST:: SOT 205893 SOS 158851 HAS SOPS 158048 HAS SOUS 88807 HAS SOUPS 88699 WITH SCORE 88857.851
AT ITER 1456 NEW BEST:: SOT 211929 SOS 163947 HAS SOPS 163036 HAS SOUS 88378 HAS SOUPS 88270 WITH SCORE 88433.947
AT ITER 1476 NEW BEST:: SOT 215612 SOS 166609 HAS SOPS 165590 HAS SOUS 85792 HAS SOUPS 85684 WITH SCORE 85850.609
AT ITER 1525 NEW BEST:: SOT 219429 SOS 168878 HAS SOPS 167743 HAS SOUS 83565 HAS SOUPS 83457 WITH SCORE 83625.878
AT ITER 1583 NEW BEST:: SOT 222058 SOS 171501 HAS SOPS 170258 HAS SOUS 83522 HAS SOUPS 83414 WITH SCORE 83585.501
AT ITER 1654 NEW BEST:: SOT 222100 SOS 171168 HAS SOPS 169911 HAS SOUS 83263 HAS SOUPS 83155 WITH SCORE 83326.168
AT ITER 1659 NEW BEST:: SOT 222100 SOS 171126 HAS SOPS 169869 HAS SOUS 83179 HAS SOUPS 83071 WITH SCORE 83242.126
AT ITER 1673 NEW BEST:: SOT 222100 SOS 170309 HAS SOPS 169052 HAS SOUS 81171 HAS SOUPS 81063 WITH SCORE 81233.309
AT ITER 1680 NEW BEST:: SOT 222103 SOS 170115 HAS SOPS 168858 HAS SOUS 81014 HAS SOUPS 80906 WITH SCORE 81076.115
AT ITER 1684 NEW BEST:: SOT 222080 SOS 170068 HAS SOPS 168788 HAS SOUS 80991 HAS SOUPS 80883 WITH SCORE 81053.068
AT ITER 1712 NEW BEST:: SOT 221930 SOS 169918 HAS SOPS 168638 HAS SOUS 80841 HAS SOUPS 80733 WITH SCORE 80902.918
AT ITER 1713 NEW BEST:: SOT 221982 SOS 169918 HAS SOPS 168586 HAS SOUS 80789 HAS SOUPS 80681 WITH SCORE 80850.918
AT ITER 1734 NEW BEST:: SOT 221982 SOS 169913 HAS SOPS 168581 HAS SOUS 80759 HAS SOUPS 80651 WITH SCORE 80820.913
AT ITER 1745 NEW BEST:: SOT 221982 SOS 170041 HAS SOPS 168709 HAS SOUS 80746 HAS SOUPS 80638 WITH SCORE 80808.041
AT ITER 1776 NEW BEST:: SOT 221982 SOS 170028 HAS SOPS 168696 HAS SOUS 80575 HAS SOUPS 80467 WITH SCORE 80637.028
AT ITER 1786 NEW BEST:: SOT 222017 SOS 170006 HAS SOPS 168639 HAS SOUS 80518 HAS SOUPS 80410 WITH SCORE 80580.006
AT ITER 1798 NEW BEST:: SOT 222023 SOS 170012 HAS SOPS 168631 HAS SOUS 80503 HAS SOUPS 80395 WITH SCORE 80565.012
AT ITER 1808 NEW BEST:: SOT 225953 SOS 169589 HAS SOPS 166309 HAS SOUS 79994 HAS SOUPS 79793 WITH SCORE 79962.589
AT ITER 1875 NEW BEST:: SOT 229979 SOS 169146 HAS SOPS 163947 HAS SOUS 77611 HAS SOUPS 77406 WITH SCORE 77575.146
AT ITER 1877 NEW BEST:: SOT 229979 SOS 165213 HAS SOPS 160014 HAS SOUS 75817 HAS SOUPS 75612 WITH SCORE 75777.213
AT ITER 1907 NEW BEST:: SOT 231031 SOS 163448 HAS SOPS 157590 HAS SOUS 73927 HAS SOUPS 73722 WITH SCORE 73885.448
AT ITER 1954 NEW BEST:: SOT 231031 SOS 159982 HAS SOPS 154124 HAS SOUS 72355 HAS SOUPS 72150 WITH SCORE 72309.982
AT ITER 1991 NEW BEST:: SOT 231031 SOS 159961 HAS SOPS 154103 HAS SOUS 72276 HAS SOUPS 72071 WITH SCORE 72230.961
AT ITER 2040 NEW BEST:: SOT 231031 SOS 159743 HAS SOPS 153885 HAS SOUS 72217 HAS SOUPS 72012 WITH SCORE 72171.743
AT ITER 2055 NEW BEST:: SOT 231124 SOS 159836 HAS SOPS 153978 HAS SOUS 72211 HAS SOUPS 72006 WITH SCORE 72165.836
AT ITER 2085 NEW BEST:: SOT 231850 SOS 160023 HAS SOPS 154131 HAS SOUS 71733 HAS SOUPS 71528 WITH SCORE 71688.023
AT ITER 2087 NEW BEST:: SOT 237933 SOS 164329 HAS SOPS 157864 HAS SOUS 70434 HAS SOUPS 70229 WITH SCORE 70393.329
AT ITER 2126 NEW BEST:: SOT 241824 SOS 166867 HAS SOPS 158261 HAS SOUS 69624 HAS SOUPS 69416 WITH SCORE 69582.867
AT ITER 2135 NEW BEST:: SOT 241934 SOS 166750 HAS SOPS 158144 HAS SOUS 69382 HAS SOUPS 69174 WITH SCORE 69340.75
AT ITER 2158 NEW BEST:: SOT 242396 SOS 166652 HAS SOPS 157778 HAS SOUS 69269 HAS SOUPS 69061 WITH SCORE 69227.652
AT ITER 2165 NEW BEST:: SOT 242403 SOS 166700 HAS SOPS 157833 HAS SOUS 69228 HAS SOUPS 69020 WITH SCORE 69186.7
AT ITER 2187 NEW BEST:: SOT 238688 SOS 162985 HAS SOPS 154195 HAS SOUS 68745 HAS SOUPS 68537 WITH SCORE 68699.985
AT ITER 2198 NEW BEST:: SOT 238688 SOS 162968 HAS SOPS 154178 HAS SOUS 68728 HAS SOUPS 68520 WITH SCORE 68682.968
AT ITER 2225 NEW BEST:: SOT 242650 SOS 165258 HAS SOPS 155687 HAS SOUS 67326 HAS SOUPS 67118 WITH SCORE 67283.258
AT ITER 2239 NEW BEST:: SOT 241631 SOS 168358 HAS SOPS 158759 HAS SOUS 66615 HAS SOUPS 66379 WITH SCORE 66547.358
AT ITER 2254 NEW BEST:: SOT 241631 SOS 168358 HAS SOPS 158759 HAS SOUS 66555 HAS SOUPS 66319 WITH SCORE 66487.358
AT ITER 2258 NEW BEST:: SOT 241664 SOS 168391 HAS SOPS 158792 HAS SOUS 66503 HAS SOUPS 66267 WITH SCORE 66435.391
AT ITER 2261 NEW BEST:: SOT 241664 SOS 168371 HAS SOPS 158772 HAS SOUS 66503 HAS SOUPS 66267 WITH SCORE 66435.371
AT ITER 2320 NEW BEST:: SOT 244449 SOS 171156 HAS SOPS 161510 HAS SOUS 66484 HAS SOUPS 66248 WITH SCORE 66419.156
AT ITER 2382 NEW BEST:: SOT 244449 SOS 169723 HAS SOPS 160077 HAS SOUS 65856 HAS SOUPS 65620 WITH SCORE 65789.723
AT ITER 2392 NEW BEST:: SOT 244131 SOS 169405 HAS SOPS 159764 HAS SOUS 65841 HAS SOUPS 65605 WITH SCORE 65774.405
AT ITER 2424 NEW BEST:: SOT 249215 SOS 172375 HAS SOPS 161953 HAS SOUS 64228 HAS SOUPS 63992 WITH SCORE 64164.375
AT ITER 2477 NEW BEST:: SOT 249215 SOS 172238 HAS SOPS 161816 HAS SOUS 64206 HAS SOUPS 63970 WITH SCORE 64142.238
AT ITER 2481 NEW BEST:: SOT 254156 SOS 172000 HAS SOPS 158747 HAS SOUS 63918 HAS SOUPS 63622 WITH SCORE 63794.0
AT ITER 2520 NEW BEST:: SOT 254345 SOS 171679 HAS SOPS 158230 HAS SOUS 63544 HAS SOUPS 63248 WITH SCORE 63419.679
AT ITER 2583 NEW BEST:: SOT 254345 SOS 169437 HAS SOPS 155988 HAS SOUS 63538 HAS SOUPS 63242 WITH SCORE 63411.437
AT ITER 2589 NEW BEST:: SOT 254500 SOS 169592 HAS SOPS 156143 HAS SOUS 63523 HAS SOUPS 63227 WITH SCORE 63396.592
AT ITER 2592 NEW BEST:: SOT 254509 SOS 169333 HAS SOPS 155884 HAS SOUS 63492 HAS SOUPS 63196 WITH SCORE 63365.333
AT ITER 2618 NEW BEST:: SOT 254509 SOS 167622 HAS SOPS 154173 HAS SOUS 63090 HAS SOUPS 62794 WITH SCORE 62961.622
AT ITER 2759 NEW BEST:: SOT 254509 SOS 167291 HAS SOPS 153842 HAS SOUS 62974 HAS SOUPS 62678 WITH SCORE 62845.291
AT ITER 2800 NEW BEST:: SOT 254735 SOS 167517 HAS SOPS 153946 HAS SOUS 62960 HAS SOUPS 62664 WITH SCORE 62831.517
AT ITER 2840 NEW BEST:: SOT 254735 SOS 167509 HAS SOPS 153938 HAS SOUS 62960 HAS SOUPS 62664 WITH SCORE 62831.509
AT ITER 2852 NEW BEST:: SOT 254735 SOS 167332 HAS SOPS 153761 HAS SOUS 62868 HAS SOUPS 62572 WITH SCORE 62739.332
AT ITER 2864 NEW BEST:: SOT 254735 SOS 166689 HAS SOPS 153118 HAS SOUS 62839 HAS SOUPS 62543 WITH SCORE 62709.689
AT ITER 2869 NEW BEST:: SOT 257421 SOS 169375 HAS SOPS 155706 HAS SOUS 62767 HAS SOUPS 62471 WITH SCORE 62640.375
AT ITER 2925 NEW BEST:: SOT 257421 SOS 168734 HAS SOPS 155065 HAS SOUS 62694 HAS SOUPS 62398 WITH SCORE 62566.734
AT ITER 2926 NEW BEST:: SOT 259847 SOS 171160 HAS SOPS 157325 HAS SOUS 62605 HAS SOUPS 62309 WITH SCORE 62480.16
AT ITER 2937 NEW BEST:: SOT 261181 SOS 172034 HAS SOPS 156981 HAS SOUS 62282 HAS SOUPS 61986 WITH SCORE 62158.034
AT ITER 3032 NEW BEST:: SOT 261181 SOS 171248 HAS SOPS 156195 HAS SOUS 61883 HAS SOUPS 61587 WITH SCORE 61758.248
AT ITER 3040 NEW BEST:: SOT 261181 SOS 171270 HAS SOPS 156217 HAS SOUS 61839 HAS SOUPS 61543 WITH SCORE 61714.27
AT ITER 3088 NEW BEST:: SOT 261181 SOS 170910 HAS SOPS 155857 HAS SOUS 61547 HAS SOUPS 61251 WITH SCORE 61421.91
AT ITER 3110 NEW BEST:: SOT 261037 SOS 170766 HAS SOPS 155713 HAS SOUS 61547 HAS SOUPS 61251 WITH SCORE 61421.766
AT ITER 3180 NEW BEST:: SOT 262534 SOS 172263 HAS SOPS 157187 HAS SOUS 61524 HAS SOUPS 61228 WITH SCORE 61400.263
AT ITER 3189 NEW BEST:: SOT 262534 SOS 172111 HAS SOPS 157035 HAS SOUS 61524 HAS SOUPS 61228 WITH SCORE 61400.111
AT ITER 3191 NEW BEST:: SOT 262534 SOS 172151 HAS SOPS 157075 HAS SOUS 61503 HAS SOUPS 61207 WITH SCORE 61379.151
AT ITER 3230 NEW BEST:: SOT 262635 SOS 172050 HAS SOPS 156974 HAS SOUS 61297 HAS SOUPS 61001 WITH SCORE 61173.05
AT ITER 3276 NEW BEST:: SOT 260990 SOS 170405 HAS SOPS 155350 HAS SOUS 61220 HAS SOUPS 60924 WITH SCORE 61094.405
AT ITER 3365 NEW BEST:: SOT 261204 SOS 170331 HAS SOPS 155275 HAS SOUS 61135 HAS SOUPS 60839 WITH SCORE 61009.331
AT ITER 3382 NEW BEST:: SOT 257150 SOS 166277 HAS SOPS 151711 HAS SOUS 61079 HAS SOUPS 60783 WITH SCORE 60949.277
AT ITER 3431 NEW BEST:: SOT 258637 SOS 167658 HAS SOPS 152301 HAS SOUS 60930 HAS SOUPS 60634 WITH SCORE 60801.658
AT ITER 3497 NEW BEST:: SOT 258637 SOS 167648 HAS SOPS 152291 HAS SOUS 60930 HAS SOUPS 60634 WITH SCORE 60801.648
AT ITER 3505 NEW BEST:: SOT 258637 SOS 167569 HAS SOPS 152212 HAS SOUS 60858 HAS SOUPS 60562 WITH SCORE 60729.569
AT ITER 3512 NEW BEST:: SOT 260338 SOS 168714 HAS SOPS 152450 HAS SOUS 60163 HAS SOUPS 59867 WITH SCORE 60035.714
AT ITER 3526 NEW BEST:: SOT 261287 SOS 169039 HAS SOPS 152774 HAS SOUS 60083 HAS SOUPS 59787 WITH SCORE 59956.039
AT ITER 3531 NEW BEST:: SOT 261513 SOS 169139 HAS SOPS 152874 HAS SOUS 60023 HAS SOUPS 59727 WITH SCORE 59896.139
AT ITER 3544 NEW BEST:: SOT 260489 SOS 168115 HAS SOPS 151850 HAS SOUS 60023 HAS SOUPS 59727 WITH SCORE 59895.115
AT ITER 3553 NEW BEST:: SOT 260489 SOS 168113 HAS SOPS 151848 HAS SOUS 60021 HAS SOUPS 59725 WITH SCORE 59893.113
AT ITER 3577 NEW BEST:: SOT 260489 SOS 168764 HAS SOPS 152499 HAS SOUS 59929 HAS SOUPS 59633 WITH SCORE 59801.764
AT ITER 3581 NEW BEST:: SOT 260109 SOS 168384 HAS SOPS 152119 HAS SOUS 59549 HAS SOUPS 59253 WITH SCORE 59421.384
AT ITER 3597 NEW BEST:: SOT 260109 SOS 168382 HAS SOPS 152117 HAS SOUS 59525 HAS SOUPS 59229 WITH SCORE 59397.382
AT ITER 3598 NEW BEST:: SOT 260109 SOS 168081 HAS SOPS 151816 HAS SOUS 59267 HAS SOUPS 58971 WITH SCORE 59139.081
AT ITER 3612 NEW BEST:: SOT 260109 SOS 167533 HAS SOPS 151268 HAS SOUS 58996 HAS SOUPS 58700 WITH SCORE 58867.533
AT ITER 3616 NEW BEST:: SOT 260139 SOS 167529 HAS SOPS 151264 HAS SOUS 58823 HAS SOUPS 58527 WITH SCORE 58694.529
AT ITER 3621 NEW BEST:: SOT 260305 SOS 167695 HAS SOPS 151430 HAS SOUS 58767 HAS SOUPS 58471 WITH SCORE 58638.695
AT ITER 3630 NEW BEST:: SOT 260177 SOS 167567 HAS SOPS 151302 HAS SOUS 58653 HAS SOUPS 58357 WITH SCORE 58524.567
AT ITER 3656 NEW BEST:: SOT 264240 SOS 169256 HAS SOPS 151854 HAS SOUS 57087 HAS SOUPS 56791 WITH SCORE 56960.256
AT ITER 3670 NEW BEST:: SOT 264240 SOS 169256 HAS SOPS 151854 HAS SOUS 57083 HAS SOUPS 56787 WITH SCORE 56956.256
AT ITER 3732 NEW BEST:: SOT 264740 SOS 166592 HAS SOPS 148466 HAS SOUS 56319 HAS SOUPS 56023 WITH SCORE 56189.592
AT ITER 3760 NEW BEST:: SOT 264725 SOS 166577 HAS SOPS 148451 HAS SOUS 56305 HAS SOUPS 56009 WITH SCORE 56175.577
AT ITER 3775 NEW BEST:: SOT 267480 SOS 168943 HAS SOPS 149652 HAS SOUS 55718 HAS SOUPS 55422 WITH SCORE 55590.943
AT ITER 3779 NEW BEST:: SOT 267480 SOS 166191 HAS SOPS 146928 HAS SOUS 55690 HAS SOUPS 55422 WITH SCORE 55588.191
AT ITER 3782 NEW BEST:: SOT 267563 SOS 165921 HAS SOPS 146658 HAS SOUS 55372 HAS SOUPS 55104 WITH SCORE 55269.921
AT ITER 3908 NEW BEST:: SOT 267563 SOS 165787 HAS SOPS 146524 HAS SOUS 55279 HAS SOUPS 55011 WITH SCORE 55176.787
AT ITER 3948 NEW BEST:: SOT 267931 SOS 165973 HAS SOPS 146563 HAS SOUS 55262 HAS SOUPS 54994 WITH SCORE 55159.973
AT ITER 3963 NEW BEST:: SOT 267931 SOS 165674 HAS SOPS 146264 HAS SOUS 55078 HAS SOUPS 54810 WITH SCORE 54975.674
AT ITER 4004 NEW BEST:: SOT 267931 SOS 165584 HAS SOPS 146174 HAS SOUS 54882 HAS SOUPS 54614 WITH SCORE 54779.584
AT ITER 4024 NEW BEST:: SOT 267931 SOS 165299 HAS SOPS 145889 HAS SOUS 54592 HAS SOUPS 54324 WITH SCORE 54489.299
AT ITER 4064 NEW BEST:: SOT 267931 SOS 165179 HAS SOPS 145769 HAS SOUS 54544 HAS SOUPS 54276 WITH SCORE 54441.179
AT ITER 4114 NEW BEST:: SOT 267931 SOS 165804 HAS SOPS 146394 HAS SOUS 54525 HAS SOUPS 54257 WITH SCORE 54422.804
AT ITER 4139 NEW BEST:: SOT 268011 SOS 165884 HAS SOPS 146474 HAS SOUS 54521 HAS SOUPS 54253 WITH SCORE 54418.884
AT ITER 4181 NEW BEST:: SOT 266675 SOS 164548 HAS SOPS 145383 HAS SOUS 54521 HAS SOUPS 54253 WITH SCORE 54417.548
AT ITER 4192 NEW BEST:: SOT 266675 SOS 164426 HAS SOPS 145261 HAS SOUS 54323 HAS SOUPS 54055 WITH SCORE 54219.426
AT ITER 4313 NEW BEST:: SOT 264104 SOS 161855 HAS SOPS 145426 HAS SOUS 54323 HAS SOUPS 54055 WITH SCORE 54216.855
AT ITER 4336 NEW BEST:: SOT 264104 SOS 161787 HAS SOPS 145358 HAS SOUS 54323 HAS SOUPS 54055 WITH SCORE 54216.787
AT ITER 4436 NEW BEST:: SOT 265098 SOS 156997 HAS SOPS 138781 HAS SOUS 53310 HAS SOUPS 53042 WITH SCORE 53198.997
AT ITER 4460 NEW BEST:: SOT 265894 SOS 155945 HAS SOPS 137053 HAS SOUS 52414 HAS SOUPS 52146 WITH SCORE 52301.945
AT ITER 4461 NEW BEST:: SOT 265894 SOS 151288 HAS SOPS 132396 HAS SOUS 51989 HAS SOUPS 51721 WITH SCORE 51872.288
AT ITER 4469 NEW BEST:: SOT 265894 SOS 151241 HAS SOPS 132349 HAS SOUS 51942 HAS SOUPS 51674 WITH SCORE 51825.241
AT ITER 4472 NEW BEST:: SOT 266148 SOS 151362 HAS SOPS 132470 HAS SOUS 51851 HAS SOUPS 51583 WITH SCORE 51734.362
AT ITER 4505 NEW BEST:: SOT 266148 SOS 151272 HAS SOPS 132380 HAS SOUS 51754 HAS SOUPS 51486 WITH SCORE 51637.272
AT ITER 4545 NEW BEST:: SOT 266148 SOS 151241 HAS SOPS 132349 HAS SOUS 51725 HAS SOUPS 51457 WITH SCORE 51608.241
AT ITER 4546 NEW BEST:: SOT 269048 SOS 154141 HAS SOPS 134245 HAS SOUS 51481 HAS SOUPS 51213 WITH SCORE 51367.141
AT ITER 4668 NEW BEST:: SOT 268616 SOS 153709 HAS SOPS 133813 HAS SOUS 51481 HAS SOUPS 51213 WITH SCORE 51366.709
AT ITER 4676 NEW BEST:: SOT 271863 SOS 156668 HAS SOPS 133088 HAS SOUS 51363 HAS SOUPS 51095 WITH SCORE 51251.668
AT ITER 4741 NEW BEST:: SOT 271863 SOS 156291 HAS SOPS 132711 HAS SOUS 51353 HAS SOUPS 51085 WITH SCORE 51241.291
AT ITER 4747 NEW BEST:: SOT 271847 SOS 156275 HAS SOPS 132699 HAS SOUS 51353 HAS SOUPS 51085 WITH SCORE 51241.275
AT ITER 4753 NEW BEST:: SOT 271832 SOS 156260 HAS SOPS 132684 HAS SOUS 51338 HAS SOUPS 51070 WITH SCORE 51226.26
AT ITER 4794 NEW BEST:: SOT 272074 SOS 156369 HAS SOPS 132793 HAS SOUS 51163 HAS SOUPS 50895 WITH SCORE 51051.369
AT ITER 4809 NEW BEST:: SOT 272074 SOS 156353 HAS SOPS 132777 HAS SOUS 51163 HAS SOUPS 50895 WITH SCORE 51051.353
AT ITER 4818 NEW BEST:: SOT 272482 SOS 154839 HAS SOPS 130770 HAS SOUS 50484 HAS SOUPS 50216 WITH SCORE 50370.839
AT ITER 4820 NEW BEST:: SOT 272452 SOS 154809 HAS SOPS 130740 HAS SOUS 50454 HAS SOUPS 50186 WITH SCORE 50340.809
AT ITER 4839 NEW BEST:: SOT 272751 SOS 154942 HAS SOPS 130873 HAS SOUS 50426 HAS SOUPS 50158 WITH SCORE 50312.942
AT ITER 4840 NEW BEST:: SOT 272865 SOS 154989 HAS SOPS 130920 HAS SOUS 50408 HAS SOUPS 50140 WITH SCORE 50294.989
AT ITER 4886 NEW BEST:: SOT 272815 SOS 154939 HAS SOPS 130870 HAS SOUS 50383 HAS SOUPS 50115 WITH SCORE 50269.939
AT ITER 4887 NEW BEST:: SOT 272749 SOS 154873 HAS SOPS 130804 HAS SOUS 50350 HAS SOUPS 50082 WITH SCORE 50236.873
AT ITER 4963 NEW BEST:: SOT 272797 SOS 154789 HAS SOPS 130632 HAS SOUS 50278 HAS SOUPS 50010 WITH SCORE 50164.789
AT ITER 5103 NEW BEST:: SOT 272547 SOS 155021 HAS SOPS 133279 HAS SOUS 49999 HAS SOUPS 49731 WITH SCORE 49886.021
AT ITER 5167 NEW BEST:: SOT 276701 SOS 159013 HAS SOPS 136129 HAS SOUS 49587 HAS SOUPS 49319 WITH SCORE 49478.013
AT ITER 5202 NEW BEST:: SOT 276701 SOS 159058 HAS SOPS 136174 HAS SOUS 49554 HAS SOUPS 49286 WITH SCORE 49445.058
AT ITER 5238 NEW BEST:: SOT 277005 SOS 159062 HAS SOPS 136178 HAS SOUS 49500 HAS SOUPS 49232 WITH SCORE 49391.062
AT ITER 5253 NEW BEST:: SOT 277173 SOS 159104 HAS SOPS 136220 HAS SOUS 49424 HAS SOUPS 49156 WITH SCORE 49315.104
AT ITER 5336 NEW BEST:: SOT 279786 SOS 160962 HAS SOPS 136979 HAS SOUS 48757 HAS SOUPS 48489 WITH SCORE 48649.962
AT ITER 5367 NEW BEST:: SOT 279786 SOS 160951 HAS SOPS 136968 HAS SOUS 48746 HAS SOUPS 48478 WITH SCORE 48638.951
AT ITER 5369 NEW BEST:: SOT 279786 SOS 160933 HAS SOPS 136950 HAS SOUS 48728 HAS SOUPS 48460 WITH SCORE 48620.933
AT ITER 5370 NEW BEST:: SOT 279786 SOS 160902 HAS SOPS 136919 HAS SOUS 48728 HAS SOUPS 48460 WITH SCORE 48620.902
AT ITER 5410 NEW BEST:: SOT 279921 SOS 161037 HAS SOPS 137054 HAS SOUS 48677 HAS SOUPS 48409 WITH SCORE 48570.037
AT ITER 5447 NEW BEST:: SOT 280113 SOS 161166 HAS SOPS 137183 HAS SOUS 48326 HAS SOUPS 48058 WITH SCORE 48219.166
AT ITER 5452 NEW BEST:: SOT 280113 SOS 161136 HAS SOPS 137153 HAS SOUS 48306 HAS SOUPS 48038 WITH SCORE 48199.136
AT ITER 5469 NEW BEST:: SOT 282068 SOS 161956 HAS SOPS 136945 HAS SOUS 47991 HAS SOUPS 47723 WITH SCORE 47884.956
AT ITER 5496 NEW BEST:: SOT 280708 SOS 160596 HAS SOPS 135840 HAS SOUS 47821 HAS SOUPS 47553 WITH SCORE 47713.596
AT ITER 5521 NEW BEST:: SOT 280693 SOS 160581 HAS SOPS 135825 HAS SOUS 47806 HAS SOUPS 47538 WITH SCORE 47698.581
AT ITER 5595 NEW BEST:: SOT 280693 SOS 160525 HAS SOPS 135769 HAS SOUS 47645 HAS SOUPS 47377 WITH SCORE 47537.525
AT ITER 5614 NEW BEST:: SOT 280923 SOS 160631 HAS SOPS 135875 HAS SOUS 47626 HAS SOUPS 47358 WITH SCORE 47518.631
AT ITER 5621 NEW BEST:: SOT 280868 SOS 160576 HAS SOPS 135820 HAS SOUS 47571 HAS SOUPS 47303 WITH SCORE 47463.576
AT ITER 5764 NEW BEST:: SOT 281185 SOS 160698 HAS SOPS 135942 HAS SOUS 47529 HAS SOUPS 47261 WITH SCORE 47421.698
AT ITER 5771 NEW BEST:: SOT 279006 SOS 158519 HAS SOPS 133808 HAS SOUS 47086 HAS SOUPS 46818 WITH SCORE 46976.519
AT ITER 5795 NEW BEST:: SOT 279067 SOS 158503 HAS SOPS 133792 HAS SOUS 47070 HAS SOUPS 46802 WITH SCORE 46960.503
AT ITER 5861 NEW BEST:: SOT 279114 SOS 158485 HAS SOPS 133774 HAS SOUS 47006 HAS SOUPS 46738 WITH SCORE 46896.485
AT ITER 5928 NEW BEST:: SOT 279080 SOS 158451 HAS SOPS 133740 HAS SOUS 47004 HAS SOUPS 46736 WITH SCORE 46894.451
AT ITER 5938 NEW BEST:: SOT 279080 SOS 158451 HAS SOPS 133740 HAS SOUS 46969 HAS SOUPS 46701 WITH SCORE 46859.451
AT ITER 5967 NEW BEST:: SOT 279080 SOS 158003 HAS SOPS 133292 HAS SOUS 46804 HAS SOUPS 46536 WITH SCORE 46694.003
AT ITER 6019 NEW BEST:: SOT 278763 SOS 157750 HAS SOPS 133039 HAS SOUS 46725 HAS SOUPS 46457 WITH SCORE 46614.75
AT ITER 6035 NEW BEST:: SOT 279318 SOS 156936 HAS SOPS 129619 HAS SOUS 46615 HAS SOUPS 46347 WITH SCORE 46503.936
AT ITER 6086 NEW BEST:: SOT 279088 SOS 156706 HAS SOPS 129389 HAS SOUS 46407 HAS SOUPS 46139 WITH SCORE 46295.706
AT ITER 6309 NEW BEST:: SOT 279128 SOS 156746 HAS SOPS 129362 HAS SOUS 46349 HAS SOUPS 46081 WITH SCORE 46237.746
AT ITER 6322 NEW BEST:: SOT 279128 SOS 156694 HAS SOPS 129310 HAS SOUS 46297 HAS SOUPS 46029 WITH SCORE 46185.694
AT ITER 6329 NEW BEST:: SOT 279102 SOS 156668 HAS SOPS 129310 HAS SOUS 46297 HAS SOUPS 46029 WITH SCORE 46185.668
AT ITER 6386 NEW BEST:: SOT 279134 SOS 156700 HAS SOPS 129342 HAS SOUS 46199 HAS SOUPS 45931 WITH SCORE 46087.7
AT ITER 6399 NEW BEST:: SOT 279134 SOS 156959 HAS SOPS 129601 HAS SOUS 46195 HAS SOUPS 45927 WITH SCORE 46083.959
AT ITER 6419 NEW BEST:: SOT 279134 SOS 156762 HAS SOPS 129404 HAS SOUS 45998 HAS SOUPS 45730 WITH SCORE 45886.762
AT ITER 6420 NEW BEST:: SOT 277994 SOS 155622 HAS SOPS 128994 HAS SOUS 45836 HAS SOUPS 45568 WITH SCORE 45723.622
AT ITER 6453 NEW BEST:: SOT 277642 SOS 155270 HAS SOPS 128642 HAS SOUS 45836 HAS SOUPS 45568 WITH SCORE 45723.27
AT ITER 6454 NEW BEST:: SOT 278867 SOS 156495 HAS SOPS 129844 HAS SOUS 45813 HAS SOUPS 45545 WITH SCORE 45701.495
AT ITER 6462 NEW BEST:: SOT 278867 SOS 156408 HAS SOPS 129757 HAS SOUS 45717 HAS SOUPS 45449 WITH SCORE 45605.408
AT ITER 6494 NEW BEST:: SOT 279052 SOS 156515 HAS SOPS 129864 HAS SOUS 45613 HAS SOUPS 45345 WITH SCORE 45501.515
AT ITER 6592 NEW BEST:: SOT 279048 SOS 156511 HAS SOPS 129860 HAS SOUS 45609 HAS SOUPS 45341 WITH SCORE 45497.511
AT ITER 6705 NEW BEST:: SOT 279048 SOS 155893 HAS SOPS 129242 HAS SOUS 45422 HAS SOUPS 45154 WITH SCORE 45309.893
AT ITER 6863 NEW BEST:: SOT 279067 SOS 155912 HAS SOPS 129261 HAS SOUS 45363 HAS SOUPS 45095 WITH SCORE 45250.912
AT ITER 6873 NEW BEST:: SOT 279107 SOS 155282 HAS SOPS 128571 HAS SOUS 45079 HAS SOUPS 44811 WITH SCORE 44966.282
AT ITER 6887 NEW BEST:: SOT 279313 SOS 155354 HAS SOPS 128643 HAS SOUS 45013 HAS SOUPS 44745 WITH SCORE 44900.354
AT ITER 6912 NEW BEST:: SOT 279313 SOS 155405 HAS SOPS 128694 HAS SOUS 44797 HAS SOUPS 44529 WITH SCORE 44684.405
AT ITER 6969 NEW BEST:: SOT 279307 SOS 155399 HAS SOPS 128688 HAS SOUS 44769 HAS SOUPS 44501 WITH SCORE 44656.399
AT ITER 7071 NEW BEST:: SOT 279379 SOS 154979 HAS SOPS 128268 HAS SOUS 44519 HAS SOUPS 44251 WITH SCORE 44405.979
AT ITER 7075 NEW BEST:: SOT 279361 SOS 154961 HAS SOPS 128250 HAS SOUS 44501 HAS SOUPS 44233 WITH SCORE 44387.961
AT ITER 7078 NEW BEST:: SOT 279261 SOS 154861 HAS SOPS 128150 HAS SOUS 44401 HAS SOUPS 44133 WITH SCORE 44287.861
AT ITER 7109 NEW BEST:: SOT 279261 SOS 154871 HAS SOPS 128160 HAS SOUS 44386 HAS SOUPS 44118 WITH SCORE 44272.871
AT ITER 7136 NEW BEST:: SOT 279130 SOS 154740 HAS SOPS 128000 HAS SOUS 44269 HAS SOUPS 44001 WITH SCORE 44155.74
AT ITER 7183 NEW BEST:: SOT 279125 SOS 154855 HAS SOPS 128542 HAS SOUS 44266 HAS SOUPS 43998 WITH SCORE 44152.855
AT ITER 7193 NEW BEST:: SOT 279606 SOS 155336 HAS SOPS 128912 HAS SOUS 44229 HAS SOUPS 43961 WITH SCORE 44116.336
AT ITER 7250 NEW BEST:: SOT 279953 SOS 154773 HAS SOPS 126104 HAS SOUS 44183 HAS SOUPS 43915 WITH SCORE 44069.773
AT ITER 7259 NEW BEST:: SOT 279830 SOS 154650 HAS SOPS 125981 HAS SOUS 44086 HAS SOUPS 43818 WITH SCORE 43972.65
AT ITER 7276 NEW BEST:: SOT 279234 SOS 154054 HAS SOPS 125517 HAS SOUS 44032 HAS SOUPS 43764 WITH SCORE 43918.054
AT ITER 7299 NEW BEST:: SOT 279467 SOS 154153 HAS SOPS 125616 HAS SOUS 43837 HAS SOUPS 43569 WITH SCORE 43723.153
AT ITER 7384 NEW BEST:: SOT 279606 SOS 154292 HAS SOPS 125670 HAS SOUS 43823 HAS SOUPS 43555 WITH SCORE 43709.292
AT ITER 7419 NEW BEST:: SOT 278510 SOS 153196 HAS SOPS 124668 HAS SOUS 43814 HAS SOUPS 43546 WITH SCORE 43699.196
AT ITER 7440 NEW BEST:: SOT 278605 SOS 153235 HAS SOPS 124707 HAS SOUS 43752 HAS SOUPS 43484 WITH SCORE 43637.235
AT ITER 7573 NEW BEST:: SOT 280466 SOS 151748 HAS SOPS 119223 HAS SOUS 43463 HAS SOUPS 43195 WITH SCORE 43346.748
AT ITER 7594 NEW BEST:: SOT 279850 SOS 151132 HAS SOPS 118790 HAS SOUS 43463 HAS SOUPS 43195 WITH SCORE 43346.132
AT ITER 7613 NEW BEST:: SOT 279850 SOS 151124 HAS SOPS 118782 HAS SOUS 43463 HAS SOUPS 43195 WITH SCORE 43346.124
AT ITER 7619 NEW BEST:: SOT 279146 SOS 150420 HAS SOPS 118768 HAS SOUS 43463 HAS SOUPS 43195 WITH SCORE 43345.42
AT ITER 7632 NEW BEST:: SOT 279146 SOS 150312 HAS SOPS 118660 HAS SOUS 43391 HAS SOUPS 43123 WITH SCORE 43273.312
AT ITER 7634 NEW BEST:: SOT 279146 SOS 150091 HAS SOPS 118439 HAS SOUS 43285 HAS SOUPS 43017 WITH SCORE 43167.091
AT ITER 7650 NEW BEST:: SOT 279188 SOS 150063 HAS SOPS 118411 HAS SOUS 43173 HAS SOUPS 42905 WITH SCORE 43055.063
AT ITER 7654 NEW BEST:: SOT 279359 SOS 150148 HAS SOPS 118496 HAS SOUS 43150 HAS SOUPS 42882 WITH SCORE 43032.148
AT ITER 7680 NEW BEST:: SOT 279359 SOS 150063 HAS SOPS 118411 HAS SOUS 43134 HAS SOUPS 42866 WITH SCORE 43016.063
AT ITER 7724 NEW BEST:: SOT 279359 SOS 149955 HAS SOPS 118303 HAS SOUS 43008 HAS SOUPS 42740 WITH SCORE 42889.955
AT ITER 7826 NEW BEST:: SOT 278799 SOS 149395 HAS SOPS 117743 HAS SOUS 43008 HAS SOUPS 42740 WITH SCORE 42889.395
AT ITER 7835 NEW BEST:: SOT 281429 SOS 146552 HAS SOPS 110715 HAS SOUS 42569 HAS SOUPS 42301 WITH SCORE 42447.552
AT ITER 7873 NEW BEST:: SOT 282159 SOS 146970 HAS SOPS 111028 HAS SOUS 42542 HAS SOUPS 42274 WITH SCORE 42420.97
AT ITER 7939 NEW BEST:: SOT 283647 SOS 148458 HAS SOPS 111924 HAS SOUS 42412 HAS SOUPS 42144 WITH SCORE 42292.458
AT ITER 7979 NEW BEST:: SOT 284124 SOS 148732 HAS SOPS 112198 HAS SOUS 42197 HAS SOUPS 41929 WITH SCORE 42077.732
AT ITER 7981 NEW BEST:: SOT 284124 SOS 148732 HAS SOPS 112198 HAS SOUS 42168 HAS SOUPS 41900 WITH SCORE 42048.732
AT ITER 7983 NEW BEST:: SOT 284092 SOS 148700 HAS SOPS 112166 HAS SOUS 42136 HAS SOUPS 41868 WITH SCORE 42016.7
AT ITER 8015 NEW BEST:: SOT 284176 SOS 148784 HAS SOPS 112250 HAS SOUS 42080 HAS SOUPS 41812 WITH SCORE 41960.784
AT ITER 8071 NEW BEST:: SOT 284176 SOS 148767 HAS SOPS 112233 HAS SOUS 42029 HAS SOUPS 41761 WITH SCORE 41909.767
AT ITER 8222 NEW BEST:: SOT 286156 SOS 150747 HAS SOPS 113841 HAS SOUS 41917 HAS SOUPS 41649 WITH SCORE 41799.747
AT ITER 8230 NEW BEST:: SOT 286246 SOS 150754 HAS SOPS 113848 HAS SOUS 41635 HAS SOUPS 41367 WITH SCORE 41517.754
AT ITER 8233 NEW BEST:: SOT 286948 SOS 150609 HAS SOPS 113320 HAS SOUS 41513 HAS SOUPS 41245 WITH SCORE 41395.609
AT ITER 8370 NEW BEST:: SOT 286948 SOS 150269 HAS SOPS 112980 HAS SOUS 41437 HAS SOUPS 41169 WITH SCORE 41319.269
AT ITER 8378 NEW BEST:: SOT 287080 SOS 150375 HAS SOPS 113086 HAS SOUS 41422 HAS SOUPS 41154 WITH SCORE 41304.375
AT ITER 8399 NEW BEST:: SOT 277063 SOS 217291 HAS SOPS 109328 HAS SOUS 31700 HAS SOUPS 31276 WITH SCORE 31493.291
AT ITER 8530 NEW BEST:: SOT 277063 SOS 217267 HAS SOPS 109304 HAS SOUS 31684 HAS SOUPS 31260 WITH SCORE 31477.267
AT ITER 8551 NEW BEST:: SOT 277063 SOS 217144 HAS SOPS 109178 HAS SOUS 31596 HAS SOUPS 31172 WITH SCORE 31389.144
AT ITER 8589 NEW BEST:: SOT 277036 SOS 217192 HAS SOPS 109199 HAS SOUS 31568 HAS SOUPS 31144 WITH SCORE 31361.192
AT ITER 8638 NEW BEST:: SOT 277393 SOS 217368 HAS SOPS 109044 HAS SOUS 31491 HAS SOUPS 31067 WITH SCORE 31284.368
AT ITER 8718 NEW BEST:: SOT 278435 SOS 218410 HAS SOPS 110072 HAS SOUS 31477 HAS SOUPS 31053 WITH SCORE 31271.41
AT ITER 8845 NEW BEST:: SOT 278435 SOS 218410 HAS SOPS 110045 HAS SOUS 31475 HAS SOUPS 31051 WITH SCORE 31269.41
AT ITER 8862 NEW BEST:: SOT 278246 SOS 218221 HAS SOPS 109982 HAS SOUS 31349 HAS SOUPS 30925 WITH SCORE 31143.221
AT ITER 8921 NEW BEST:: SOT 278167 SOS 218142 HAS SOPS 109978 HAS SOUS 31345 HAS SOUPS 30921 WITH SCORE 31139.142
AT ITER 8938 NEW BEST:: SOT 278167 SOS 217954 HAS SOPS 109790 HAS SOUS 31251 HAS SOUPS 30827 WITH SCORE 31044.954
AT ITER 8963 NEW BEST:: SOT 278257 SOS 218044 HAS SOPS 109880 HAS SOUS 31182 HAS SOUPS 30758 WITH SCORE 30976.044
AT ITER 9154 NEW BEST:: SOT 279070 SOS 218857 HAS SOPS 109400 HAS SOUS 31180 HAS SOUPS 30756 WITH SCORE 30974.857
AT ITER 9168 NEW BEST:: SOT 279070 SOS 218849 HAS SOPS 109392 HAS SOUS 31178 HAS SOUPS 30754 WITH SCORE 30972.849
AT ITER 9170 NEW BEST:: SOT 278831 SOS 218610 HAS SOPS 109551 HAS SOUS 30549 HAS SOUPS 30154 WITH SCORE 30372.61
AT ITER 9231 NEW BEST:: SOT 280533 SOS 220312 HAS SOPS 111243 HAS SOUS 30542 HAS SOUPS 30147 WITH SCORE 30367.312
AT ITER 9266 NEW BEST:: SOT 280548 SOS 220303 HAS SOPS 111234 HAS SOUS 30435 HAS SOUPS 30040 WITH SCORE 30260.303
AT ITER 9305 NEW BEST:: SOT 280536 SOS 220291 HAS SOPS 111222 HAS SOUS 30411 HAS SOUPS 30016 WITH SCORE 30236.291
AT ITER 9409 NEW BEST:: SOT 280530 SOS 220285 HAS SOPS 111216 HAS SOUS 30405 HAS SOUPS 30010 WITH SCORE 30230.285
AT ITER 9412 NEW BEST:: SOT 280872 SOS 220627 HAS SOPS 111558 HAS SOUS 30367 HAS SOUPS 29972 WITH SCORE 30192.627
AT ITER 9477 NEW BEST:: SOT 280909 SOS 220664 HAS SOPS 111595 HAS SOUS 30306 HAS SOUPS 29911 WITH SCORE 30131.664
AT ITER 9535 NEW BEST:: SOT 279832 SOS 219587 HAS SOPS 111674 HAS SOUS 30306 HAS SOUPS 29911 WITH SCORE 30130.587
AT ITER 9560 NEW BEST:: SOT 279812 SOS 219567 HAS SOPS 111654 HAS SOUS 30235 HAS SOUPS 29840 WITH SCORE 30059.567
AT ITER 9674 NEW BEST:: SOT 279802 SOS 219557 HAS SOPS 111644 HAS SOUS 30235 HAS SOUPS 29840 WITH SCORE 30059.557
AT ITER 9704 NEW BEST:: SOT 279381 SOS 219136 HAS SOPS 111241 HAS SOUS 30166 HAS SOUPS 29771 WITH SCORE 29990.136
AT ITER 9873 NEW BEST:: SOT 279404 SOS 219159 HAS SOPS 111252 HAS SOUS 30141 HAS SOUPS 29746 WITH SCORE 29965.159
AT ITER 9911 NEW BEST:: SOT 278780 SOS 218535 HAS SOPS 110628 HAS SOUS 30141 HAS SOUPS 29746 WITH SCORE 29964.535
AT ITER 9937 NEW BEST:: SOT 277765 SOS 217520 HAS SOPS 110433 HAS SOUS 30142 HAS SOUPS 29747 WITH SCORE 29964.52
AT ITER 9974 NEW BEST:: SOT 277785 SOS 217540 HAS SOPS 110407 HAS SOUS 30083 HAS SOUPS 29688 WITH SCORE 29905.54
AT ITER 9977 NEW BEST:: SOT 277785 SOS 217375 HAS SOPS 110242 HAS SOUS 30017 HAS SOUPS 29622 WITH SCORE 29839.375
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393340 kB
MemFree: 8396332 kB
After kill :
MemTotal: 16393340 kB
MemFree: 16124012 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="SieveSingleMsgMbox-PT-d1m64"
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 SieveSingleMsgMbox-PT-d1m64, 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 r427-tajo-167905979700440"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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