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.r235-tall-167856421900496.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 LeafsetExtension-PT-S16C4, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r235-tall-167856421900496
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.4M
-rw-r--r-- 1 mcc users 14K Feb 25 16:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 96K Feb 25 16:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 15K Feb 25 16:51 CTLFireability.txt
-rw-r--r-- 1 mcc users 86K Feb 25 16:51 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.5K Feb 25 16:21 LTLCardinality.txt
-rw-r--r-- 1 mcc users 30K Feb 25 16:21 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.0K Feb 25 16:21 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:21 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 25 16:53 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 88K Feb 25 16:53 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 16K Feb 25 16:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 73K Feb 25 16:52 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.2K Feb 25 16:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 905K Mar 5 18:22 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678659778658

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=LeafsetExtension-PT-S16C4
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-12 22:23:00] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-12 22:23:00] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-12 22:23:00] [INFO ] Load time of PNML (sax parser for PT used): 103 ms
[2023-03-12 22:23:00] [INFO ] Transformed 1542 places.
[2023-03-12 22:23:00] [INFO ] Transformed 1449 transitions.
[2023-03-12 22:23:00] [INFO ] Parsed PT model containing 1542 places and 1449 transitions and 4668 arcs in 175 ms.
[2023-03-12 22:23:00] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1542 places, 1449 transitions and 4668 arcs took 15 ms.
Total runtime 222 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running LeafsetExtension (PT), instance S16C4
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: 1542 places, 1449 transitions, 4668 arcs.
AT ITER 0 NEW BEST:: SOT 1243930 SOS 267444 HAS SOPS 263534 HAS SOUS 236824 HAS SOUPS 235311 WITH SCORE 235578.444
AT ITER 2 NEW BEST:: SOT 1243845 SOS 267367 HAS SOPS 263457 HAS SOUS 236739 HAS SOUPS 235226 WITH SCORE 235493.367
AT ITER 14 NEW BEST:: SOT 1243845 SOS 267365 HAS SOPS 263455 HAS SOUS 236737 HAS SOUPS 235224 WITH SCORE 235491.365
AT ITER 18 NEW BEST:: SOT 1243729 SOS 267407 HAS SOPS 263497 HAS SOUS 236663 HAS SOUPS 235150 WITH SCORE 235417.407
AT ITER 37 NEW BEST:: SOT 1243729 SOS 267381 HAS SOPS 263471 HAS SOUS 236663 HAS SOUPS 235150 WITH SCORE 235417.381
AT ITER 59 NEW BEST:: SOT 1243719 SOS 267371 HAS SOPS 263461 HAS SOUS 236653 HAS SOUPS 235140 WITH SCORE 235407.371
AT ITER 72 NEW BEST:: SOT 1243562 SOS 267214 HAS SOPS 263304 HAS SOUS 236496 HAS SOUPS 234983 WITH SCORE 235250.214
AT ITER 80 NEW BEST:: SOT 1241814 SOS 274500 HAS SOPS 270590 HAS SOUS 235928 HAS SOUPS 234415 WITH SCORE 234689.5
AT ITER 93 NEW BEST:: SOT 1241432 SOS 274263 HAS SOPS 270349 HAS SOUS 235602 HAS SOUPS 234089 WITH SCORE 234363.263
AT ITER 99 NEW BEST:: SOT 1239637 SOS 275060 HAS SOPS 271146 HAS SOUS 234116 HAS SOUPS 232603 WITH SCORE 232878.06
AT ITER 205 NEW BEST:: SOT 1239603 SOS 275504 HAS SOPS 271059 HAS SOUS 234147 HAS SOUPS 232581 WITH SCORE 232856.504
AT ITER 228 NEW BEST:: SOT 1231255 SOS 317039 HAS SOPS 312594 HAS SOUS 226546 HAS SOUPS 224980 WITH SCORE 225297.039
AT ITER 236 NEW BEST:: SOT 1229744 SOS 317648 HAS SOPS 313187 HAS SOUS 225256 HAS SOUPS 223690 WITH SCORE 224007.648
AT ITER 262 NEW BEST:: SOT 1229798 SOS 317702 HAS SOPS 313241 HAS SOUS 225202 HAS SOUPS 223636 WITH SCORE 223953.702
AT ITER 267 NEW BEST:: SOT 1229798 SOS 317702 HAS SOPS 313241 HAS SOUS 225166 HAS SOUPS 223600 WITH SCORE 223917.702
AT ITER 292 NEW BEST:: SOT 1229883 SOS 317787 HAS SOPS 313326 HAS SOUS 225158 HAS SOUPS 223592 WITH SCORE 223909.787
AT ITER 306 NEW BEST:: SOT 1229807 SOS 317718 HAS SOPS 313257 HAS SOUS 225082 HAS SOUPS 223516 WITH SCORE 223833.718
AT ITER 318 NEW BEST:: SOT 1229762 SOS 317677 HAS SOPS 313216 HAS SOUS 225037 HAS SOUPS 223471 WITH SCORE 223788.677
AT ITER 325 NEW BEST:: SOT 1229640 SOS 317679 HAS SOPS 313218 HAS SOUS 224917 HAS SOUPS 223351 WITH SCORE 223668.679
AT ITER 334 NEW BEST:: SOT 1229640 SOS 317671 HAS SOPS 313210 HAS SOUS 224909 HAS SOUPS 223343 WITH SCORE 223660.671
AT ITER 378 NEW BEST:: SOT 1229640 SOS 317649 HAS SOPS 313188 HAS SOUS 224898 HAS SOUPS 223332 WITH SCORE 223649.649
AT ITER 381 NEW BEST:: SOT 1229640 SOS 317616 HAS SOPS 313155 HAS SOUS 224898 HAS SOUPS 223332 WITH SCORE 223649.616
AT ITER 446 NEW BEST:: SOT 1229715 SOS 317691 HAS SOPS 313230 HAS SOUS 224875 HAS SOUPS 223309 WITH SCORE 223626.691
AT ITER 497 NEW BEST:: SOT 1229715 SOS 317691 HAS SOPS 313230 HAS SOUS 224866 HAS SOUPS 223300 WITH SCORE 223617.691
AT ITER 503 NEW BEST:: SOT 1228222 SOS 321497 HAS SOPS 317036 HAS SOUS 224078 HAS SOUPS 222512 WITH SCORE 222833.497
AT ITER 551 NEW BEST:: SOT 1228195 SOS 321227 HAS SOPS 316766 HAS SOUS 224024 HAS SOUPS 222458 WITH SCORE 222779.227
AT ITER 557 NEW BEST:: SOT 1228324 SOS 321166 HAS SOPS 316705 HAS SOUS 223963 HAS SOUPS 222397 WITH SCORE 222718.166
AT ITER 569 NEW BEST:: SOT 1228400 SOS 321242 HAS SOPS 316781 HAS SOUS 223941 HAS SOUPS 222375 WITH SCORE 222696.242
AT ITER 572 NEW BEST:: SOT 1228445 SOS 321287 HAS SOPS 316826 HAS SOUS 223873 HAS SOUPS 222307 WITH SCORE 222628.287
AT ITER 575 NEW BEST:: SOT 1228400 SOS 321151 HAS SOPS 316690 HAS SOUS 223828 HAS SOUPS 222262 WITH SCORE 222583.151
AT ITER 584 NEW BEST:: SOT 1228400 SOS 320653 HAS SOPS 316192 HAS SOUS 223825 HAS SOUPS 222259 WITH SCORE 222579.653
AT ITER 610 NEW BEST:: SOT 1227962 SOS 320235 HAS SOPS 315774 HAS SOUS 223437 HAS SOUPS 221871 WITH SCORE 222191.235
AT ITER 630 NEW BEST:: SOT 1227826 SOS 320099 HAS SOPS 315638 HAS SOUS 223371 HAS SOUPS 221805 WITH SCORE 222125.099
AT ITER 659 NEW BEST:: SOT 1227826 SOS 320099 HAS SOPS 315638 HAS SOUS 223279 HAS SOUPS 221713 WITH SCORE 222033.099
AT ITER 666 NEW BEST:: SOT 1227826 SOS 320043 HAS SOPS 315582 HAS SOUS 223270 HAS SOUPS 221704 WITH SCORE 222024.043
AT ITER 678 NEW BEST:: SOT 1227815 SOS 320043 HAS SOPS 315582 HAS SOUS 223259 HAS SOUPS 221693 WITH SCORE 222013.043
AT ITER 715 NEW BEST:: SOT 1227679 SOS 319907 HAS SOPS 315446 HAS SOUS 223123 HAS SOUPS 221557 WITH SCORE 221876.907
AT ITER 719 NEW BEST:: SOT 1227649 SOS 319879 HAS SOPS 315418 HAS SOUS 223093 HAS SOUPS 221527 WITH SCORE 221846.879
AT ITER 734 NEW BEST:: SOT 1227649 SOS 319879 HAS SOPS 315418 HAS SOUS 223086 HAS SOUPS 221520 WITH SCORE 221839.879
AT ITER 783 NEW BEST:: SOT 1227535 SOS 319903 HAS SOPS 315442 HAS SOUS 222996 HAS SOUPS 221430 WITH SCORE 221749.903
AT ITER 817 NEW BEST:: SOT 1227322 SOS 319594 HAS SOPS 315252 HAS SOUS 222725 HAS SOUPS 221179 WITH SCORE 221498.594
AT ITER 834 NEW BEST:: SOT 1227279 SOS 319552 HAS SOPS 315210 HAS SOUS 222682 HAS SOUPS 221136 WITH SCORE 221455.552
AT ITER 850 NEW BEST:: SOT 1227279 SOS 319552 HAS SOPS 315210 HAS SOUS 222678 HAS SOUPS 221132 WITH SCORE 221451.552
AT ITER 883 NEW BEST:: SOT 1227242 SOS 319515 HAS SOPS 315173 HAS SOUS 222661 HAS SOUPS 221115 WITH SCORE 221434.515
AT ITER 886 NEW BEST:: SOT 1227225 SOS 319515 HAS SOPS 315173 HAS SOUS 222644 HAS SOUPS 221098 WITH SCORE 221417.515
AT ITER 912 NEW BEST:: SOT 1226949 SOS 319474 HAS SOPS 315148 HAS SOUS 222432 HAS SOUPS 220886 WITH SCORE 221205.474
AT ITER 921 NEW BEST:: SOT 1226949 SOS 319474 HAS SOPS 315148 HAS SOUS 222356 HAS SOUPS 220810 WITH SCORE 221129.474
AT ITER 941 NEW BEST:: SOT 1226949 SOS 319474 HAS SOPS 315148 HAS SOUS 222318 HAS SOUPS 220772 WITH SCORE 221091.474
AT ITER 957 NEW BEST:: SOT 1226639 SOS 319350 HAS SOPS 315030 HAS SOUS 222061 HAS SOUPS 220515 WITH SCORE 220834.35
AT ITER 1033 NEW BEST:: SOT 1226549 SOS 319269 HAS SOPS 314949 HAS SOUS 221971 HAS SOUPS 220425 WITH SCORE 220744.269
AT ITER 1045 NEW BEST:: SOT 1226520 SOS 319492 HAS SOPS 314920 HAS SOUS 221969 HAS SOUPS 220395 WITH SCORE 220714.492
AT ITER 1046 NEW BEST:: SOT 1226568 SOS 320174 HAS SOPS 314893 HAS SOUS 222017 HAS SOUPS 220368 WITH SCORE 220688.174
AT ITER 1051 NEW BEST:: SOT 1226547 SOS 320147 HAS SOPS 314866 HAS SOUS 221975 HAS SOUPS 220326 WITH SCORE 220646.147
AT ITER 1055 NEW BEST:: SOT 1226491 SOS 320096 HAS SOPS 314815 HAS SOUS 221919 HAS SOUPS 220270 WITH SCORE 220590.096
AT ITER 1067 NEW BEST:: SOT 1226500 SOS 320089 HAS SOPS 314808 HAS SOUS 221912 HAS SOUPS 220263 WITH SCORE 220583.089
AT ITER 1084 NEW BEST:: SOT 1226500 SOS 320071 HAS SOPS 314790 HAS SOUS 221912 HAS SOUPS 220263 WITH SCORE 220583.071
AT ITER 1100 NEW BEST:: SOT 1226502 SOS 320073 HAS SOPS 314792 HAS SOUS 221780 HAS SOUPS 220131 WITH SCORE 220451.073
AT ITER 1114 NEW BEST:: SOT 1226521 SOS 320043 HAS SOPS 313539 HAS SOUS 220816 HAS SOUPS 218950 WITH SCORE 219270.043
AT ITER 1129 NEW BEST:: SOT 1226421 SOS 319172 HAS SOPS 312668 HAS SOUS 220649 HAS SOUPS 218783 WITH SCORE 219102.172
AT ITER 1139 NEW BEST:: SOT 1226421 SOS 318133 HAS SOPS 311629 HAS SOUS 220649 HAS SOUPS 218783 WITH SCORE 219101.133
AT ITER 1152 NEW BEST:: SOT 1226348 SOS 318010 HAS SOPS 311506 HAS SOUS 220576 HAS SOUPS 218710 WITH SCORE 219028.01
AT ITER 1157 NEW BEST:: SOT 1226314 SOS 318061 HAS SOPS 311557 HAS SOUS 220542 HAS SOUPS 218676 WITH SCORE 218994.061
AT ITER 1158 NEW BEST:: SOT 1226388 SOS 317933 HAS SOPS 311617 HAS SOUS 220461 HAS SOUPS 218630 WITH SCORE 218947.933
AT ITER 1164 NEW BEST:: SOT 1226388 SOS 317879 HAS SOPS 311563 HAS SOUS 220460 HAS SOUPS 218629 WITH SCORE 218946.879
AT ITER 1202 NEW BEST:: SOT 1226388 SOS 317858 HAS SOPS 311542 HAS SOUS 220460 HAS SOUPS 218629 WITH SCORE 218946.858
AT ITER 1237 NEW BEST:: SOT 1226388 SOS 317807 HAS SOPS 311491 HAS SOUS 220460 HAS SOUPS 218629 WITH SCORE 218946.807
AT ITER 1244 NEW BEST:: SOT 1226388 SOS 317807 HAS SOPS 311491 HAS SOUS 220398 HAS SOUPS 218567 WITH SCORE 218884.807
AT ITER 1264 NEW BEST:: SOT 1226388 SOS 317756 HAS SOPS 311440 HAS SOUS 220398 HAS SOUPS 218567 WITH SCORE 218884.756
AT ITER 1269 NEW BEST:: SOT 1226327 SOS 317700 HAS SOPS 311384 HAS SOUS 220337 HAS SOUPS 218506 WITH SCORE 218823.7
AT ITER 1326 NEW BEST:: SOT 1226232 SOS 286636 HAS SOPS 280320 HAS SOUS 220053 HAS SOUPS 218222 WITH SCORE 218508.636
AT ITER 1330 NEW BEST:: SOT 1226178 SOS 287374 HAS SOPS 280266 HAS SOUS 220098 HAS SOUPS 218168 WITH SCORE 218455.374
AT ITER 1335 NEW BEST:: SOT 1226162 SOS 287348 HAS SOPS 280240 HAS SOUS 220072 HAS SOUPS 218142 WITH SCORE 218429.348
AT ITER 1345 NEW BEST:: SOT 1226072 SOS 287369 HAS SOPS 280261 HAS SOUS 220000 HAS SOUPS 218070 WITH SCORE 218357.369
AT ITER 1369 NEW BEST:: SOT 1226072 SOS 287369 HAS SOPS 280261 HAS SOUS 219903 HAS SOUPS 217973 WITH SCORE 218260.369
AT ITER 1374 NEW BEST:: SOT 1226072 SOS 287369 HAS SOPS 280261 HAS SOUS 219812 HAS SOUPS 217882 WITH SCORE 218169.369
AT ITER 1381 NEW BEST:: SOT 1226143 SOS 287440 HAS SOPS 280332 HAS SOUS 219783 HAS SOUPS 217853 WITH SCORE 218140.44
AT ITER 1383 NEW BEST:: SOT 1226143 SOS 287434 HAS SOPS 280326 HAS SOUS 219783 HAS SOUPS 217853 WITH SCORE 218140.434
AT ITER 1474 NEW BEST:: SOT 1226197 SOS 287488 HAS SOPS 280380 HAS SOUS 219728 HAS SOUPS 217798 WITH SCORE 218085.488
AT ITER 1484 NEW BEST:: SOT 1226160 SOS 287451 HAS SOPS 280343 HAS SOUS 219654 HAS SOUPS 217724 WITH SCORE 218011.451
AT ITER 1486 NEW BEST:: SOT 1226134 SOS 287399 HAS SOPS 280291 HAS SOUS 219628 HAS SOUPS 217698 WITH SCORE 217985.399
AT ITER 1542 NEW BEST:: SOT 1226095 SOS 287363 HAS SOPS 280255 HAS SOUS 219589 HAS SOUPS 217659 WITH SCORE 217946.363
AT ITER 1547 NEW BEST:: SOT 1226095 SOS 287352 HAS SOPS 280244 HAS SOUS 219589 HAS SOUPS 217659 WITH SCORE 217946.352
AT ITER 1548 NEW BEST:: SOT 1226095 SOS 287348 HAS SOPS 280240 HAS SOUS 219589 HAS SOUPS 217659 WITH SCORE 217946.348
AT ITER 1553 NEW BEST:: SOT 1226078 SOS 287331 HAS SOPS 280223 HAS SOUS 219555 HAS SOUPS 217625 WITH SCORE 217912.331
AT ITER 1564 NEW BEST:: SOT 1226078 SOS 287233 HAS SOPS 280125 HAS SOUS 219555 HAS SOUPS 217625 WITH SCORE 217912.233
AT ITER 1593 NEW BEST:: SOT 1226078 SOS 287233 HAS SOPS 280125 HAS SOUS 219474 HAS SOUPS 217544 WITH SCORE 217831.233
AT ITER 1600 NEW BEST:: SOT 1226029 SOS 287184 HAS SOPS 280076 HAS SOUS 219425 HAS SOUPS 217495 WITH SCORE 217782.184
AT ITER 1611 NEW BEST:: SOT 1225943 SOS 287106 HAS SOPS 279998 HAS SOUS 219339 HAS SOUPS 217409 WITH SCORE 217696.106
AT ITER 1623 NEW BEST:: SOT 1225881 SOS 286745 HAS SOPS 279637 HAS SOUS 219215 HAS SOUPS 217285 WITH SCORE 217571.745
AT ITER 1683 NEW BEST:: SOT 1225881 SOS 286721 HAS SOPS 279613 HAS SOUS 219215 HAS SOUPS 217285 WITH SCORE 217571.721
AT ITER 1703 NEW BEST:: SOT 1225881 SOS 286688 HAS SOPS 279580 HAS SOUS 219214 HAS SOUPS 217284 WITH SCORE 217570.688
AT ITER 1707 NEW BEST:: SOT 1225678 SOS 286485 HAS SOPS 279377 HAS SOUS 218907 HAS SOUPS 216977 WITH SCORE 217263.485
AT ITER 1714 NEW BEST:: SOT 1225636 SOS 284340 HAS SOPS 277232 HAS SOUS 218734 HAS SOUPS 216804 WITH SCORE 217088.34
AT ITER 1717 NEW BEST:: SOT 1225636 SOS 284340 HAS SOPS 277232 HAS SOUS 218631 HAS SOUPS 216701 WITH SCORE 216985.34
AT ITER 1738 NEW BEST:: SOT 1225636 SOS 284340 HAS SOPS 277232 HAS SOUS 218629 HAS SOUPS 216699 WITH SCORE 216983.34
AT ITER 1756 NEW BEST:: SOT 1225523 SOS 283436 HAS SOPS 276328 HAS SOUS 218403 HAS SOUPS 216473 WITH SCORE 216756.436
AT ITER 1777 NEW BEST:: SOT 1225605 SOS 282948 HAS SOPS 275840 HAS SOUS 218203 HAS SOUPS 216273 WITH SCORE 216555.948
AT ITER 1788 NEW BEST:: SOT 1225605 SOS 282948 HAS SOPS 275840 HAS SOUS 218148 HAS SOUPS 216218 WITH SCORE 216500.948
AT ITER 1813 NEW BEST:: SOT 1225527 SOS 282870 HAS SOPS 275762 HAS SOUS 218032 HAS SOUPS 216102 WITH SCORE 216384.87
AT ITER 1827 NEW BEST:: SOT 1225500 SOS 282845 HAS SOPS 275737 HAS SOUS 218005 HAS SOUPS 216075 WITH SCORE 216357.845
AT ITER 1835 NEW BEST:: SOT 1225049 SOS 282599 HAS SOPS 275491 HAS SOUS 217579 HAS SOUPS 215649 WITH SCORE 215931.599
AT ITER 1836 NEW BEST:: SOT 1225010 SOS 282560 HAS SOPS 275452 HAS SOUS 217561 HAS SOUPS 215631 WITH SCORE 215913.56
AT ITER 1837 NEW BEST:: SOT 1225010 SOS 282516 HAS SOPS 275408 HAS SOUS 217561 HAS SOUPS 215631 WITH SCORE 215913.516
AT ITER 1841 NEW BEST:: SOT 1224959 SOS 282006 HAS SOPS 274898 HAS SOUS 217459 HAS SOUPS 215529 WITH SCORE 215811.006
AT ITER 1857 NEW BEST:: SOT 1224959 SOS 282006 HAS SOPS 274898 HAS SOUS 217335 HAS SOUPS 215405 WITH SCORE 215687.006
AT ITER 1896 NEW BEST:: SOT 1224910 SOS 281773 HAS SOPS 274665 HAS SOUS 217237 HAS SOUPS 215307 WITH SCORE 215588.773
AT ITER 1921 NEW BEST:: SOT 1224910 SOS 281437 HAS SOPS 274329 HAS SOUS 217189 HAS SOUPS 215259 WITH SCORE 215540.437
AT ITER 1922 NEW BEST:: SOT 1224909 SOS 281436 HAS SOPS 274328 HAS SOUS 217187 HAS SOUPS 215257 WITH SCORE 215538.436
AT ITER 1928 NEW BEST:: SOT 1224909 SOS 281404 HAS SOPS 274296 HAS SOUS 217187 HAS SOUPS 215257 WITH SCORE 215538.404
AT ITER 1938 NEW BEST:: SOT 1224894 SOS 281389 HAS SOPS 274281 HAS SOUS 217157 HAS SOUPS 215227 WITH SCORE 215508.389
AT ITER 1988 NEW BEST:: SOT 1224864 SOS 281305 HAS SOPS 274197 HAS SOUS 217150 HAS SOUPS 215220 WITH SCORE 215501.305
AT ITER 2062 NEW BEST:: SOT 1224747 SOS 282384 HAS SOPS 274080 HAS SOUS 217181 HAS SOUPS 215103 WITH SCORE 215385.384
AT ITER 2068 NEW BEST:: SOT 1224743 SOS 282368 HAS SOPS 274064 HAS SOUS 217173 HAS SOUPS 215095 WITH SCORE 215377.368
AT ITER 2105 NEW BEST:: SOT 1224743 SOS 282368 HAS SOPS 274064 HAS SOUS 217096 HAS SOUPS 215018 WITH SCORE 215300.368
AT ITER 2114 NEW BEST:: SOT 1224743 SOS 282362 HAS SOPS 274058 HAS SOUS 217096 HAS SOUPS 215018 WITH SCORE 215300.362
AT ITER 2125 NEW BEST:: SOT 1224743 SOS 282362 HAS SOPS 274058 HAS SOUS 216994 HAS SOUPS 214916 WITH SCORE 215198.362
AT ITER 2149 NEW BEST:: SOT 1224811 SOS 282430 HAS SOPS 274126 HAS SOUS 216960 HAS SOUPS 214882 WITH SCORE 215164.43
AT ITER 2161 NEW BEST:: SOT 1224811 SOS 282430 HAS SOPS 274126 HAS SOUS 216830 HAS SOUPS 214752 WITH SCORE 215034.43
AT ITER 2174 NEW BEST:: SOT 1224811 SOS 282335 HAS SOPS 274031 HAS SOUS 216767 HAS SOUPS 214689 WITH SCORE 214971.335
AT ITER 2201 NEW BEST:: SOT 1224811 SOS 282332 HAS SOPS 274028 HAS SOUS 216767 HAS SOUPS 214689 WITH SCORE 214971.332
AT ITER 2214 NEW BEST:: SOT 1224728 SOS 281897 HAS SOPS 273593 HAS SOUS 216601 HAS SOUPS 214523 WITH SCORE 214804.897
AT ITER 2217 NEW BEST:: SOT 1224729 SOS 281898 HAS SOPS 273595 HAS SOUS 216599 HAS SOUPS 214522 WITH SCORE 214803.898
AT ITER 2304 NEW BEST:: SOT 1224729 SOS 281811 HAS SOPS 273508 HAS SOUS 216599 HAS SOUPS 214522 WITH SCORE 214803.811
AT ITER 2313 NEW BEST:: SOT 1224729 SOS 281811 HAS SOPS 273508 HAS SOUS 216535 HAS SOUPS 214458 WITH SCORE 214739.811
AT ITER 2325 NEW BEST:: SOT 1224729 SOS 281808 HAS SOPS 273505 HAS SOUS 216535 HAS SOUPS 214458 WITH SCORE 214739.808
AT ITER 2343 NEW BEST:: SOT 1224729 SOS 281802 HAS SOPS 273499 HAS SOUS 216535 HAS SOUPS 214458 WITH SCORE 214739.802
AT ITER 2348 NEW BEST:: SOT 1224711 SOS 281784 HAS SOPS 273481 HAS SOUS 216517 HAS SOUPS 214440 WITH SCORE 214721.784
AT ITER 2352 NEW BEST:: SOT 1224711 SOS 281784 HAS SOPS 273481 HAS SOUS 216403 HAS SOUPS 214326 WITH SCORE 214607.784
AT ITER 2403 NEW BEST:: SOT 1224585 SOS 282255 HAS SOPS 273962 HAS SOUS 216386 HAS SOUPS 214309 WITH SCORE 214591.255
AT ITER 2424 NEW BEST:: SOT 1224585 SOS 282255 HAS SOPS 273962 HAS SOUS 216366 HAS SOUPS 214289 WITH SCORE 214571.255
AT ITER 2449 NEW BEST:: SOT 1224585 SOS 282214 HAS SOPS 273921 HAS SOUS 216366 HAS SOUPS 214289 WITH SCORE 214571.214
AT ITER 2450 NEW BEST:: SOT 1224585 SOS 281942 HAS SOPS 273649 HAS SOUS 216366 HAS SOUPS 214289 WITH SCORE 214570.942
AT ITER 2468 NEW BEST:: SOT 1224552 SOS 281909 HAS SOPS 273616 HAS SOUS 216333 HAS SOUPS 214256 WITH SCORE 214537.909
AT ITER 2480 NEW BEST:: SOT 1224552 SOS 281882 HAS SOPS 273589 HAS SOUS 216333 HAS SOUPS 214256 WITH SCORE 214537.882
AT ITER 2494 NEW BEST:: SOT 1224608 SOS 281938 HAS SOPS 273645 HAS SOUS 216281 HAS SOUPS 214204 WITH SCORE 214485.938
AT ITER 2502 NEW BEST:: SOT 1224113 SOS 281443 HAS SOPS 273150 HAS SOUS 215779 HAS SOUPS 213702 WITH SCORE 213983.443
AT ITER 2526 NEW BEST:: SOT 1223970 SOS 281378 HAS SOPS 273085 HAS SOUS 215634 HAS SOUPS 213557 WITH SCORE 213838.378
AT ITER 2550 NEW BEST:: SOT 1223873 SOS 281737 HAS SOPS 272988 HAS SOUS 215651 HAS SOUPS 213517 WITH SCORE 213798.737
AT ITER 2576 NEW BEST:: SOT 1223770 SOS 281799 HAS SOPS 273050 HAS SOUS 215610 HAS SOUPS 213476 WITH SCORE 213757.799
AT ITER 2607 NEW BEST:: SOT 1223846 SOS 281875 HAS SOPS 273126 HAS SOUS 215551 HAS SOUPS 213417 WITH SCORE 213698.875
AT ITER 2611 NEW BEST:: SOT 1223846 SOS 281860 HAS SOPS 273111 HAS SOUS 215551 HAS SOUPS 213417 WITH SCORE 213698.86
AT ITER 2623 NEW BEST:: SOT 1223819 SOS 281833 HAS SOPS 273084 HAS SOUS 215498 HAS SOUPS 213364 WITH SCORE 213645.833
AT ITER 2635 NEW BEST:: SOT 1223785 SOS 281812 HAS SOPS 273063 HAS SOUS 215480 HAS SOUPS 213346 WITH SCORE 213627.812
AT ITER 2644 NEW BEST:: SOT 1223785 SOS 281772 HAS SOPS 273023 HAS SOUS 215480 HAS SOUPS 213346 WITH SCORE 213627.772
AT ITER 2663 NEW BEST:: SOT 1223731 SOS 281232 HAS SOPS 272483 HAS SOUS 215372 HAS SOUPS 213238 WITH SCORE 213519.232
AT ITER 2670 NEW BEST:: SOT 1223731 SOS 281232 HAS SOPS 272483 HAS SOUS 215365 HAS SOUPS 213231 WITH SCORE 213512.232
AT ITER 2694 NEW BEST:: SOT 1223731 SOS 281232 HAS SOPS 272483 HAS SOUS 215359 HAS SOUPS 213225 WITH SCORE 213506.232
AT ITER 2696 NEW BEST:: SOT 1224686 SOS 282134 HAS SOPS 271250 HAS SOUS 215112 HAS SOUPS 212143 WITH SCORE 212425.134
AT ITER 2707 NEW BEST:: SOT 1224599 SOS 282152 HAS SOPS 271181 HAS SOUS 215052 HAS SOUPS 211996 WITH SCORE 212278.152
AT ITER 2708 NEW BEST:: SOT 1224599 SOS 281359 HAS SOPS 270388 HAS SOUS 214951 HAS SOUPS 211895 WITH SCORE 212176.359
AT ITER 2763 NEW BEST:: SOT 1224637 SOS 281397 HAS SOPS 270426 HAS SOUS 214873 HAS SOUPS 211817 WITH SCORE 212098.397
AT ITER 2764 NEW BEST:: SOT 1224643 SOS 281403 HAS SOPS 270432 HAS SOUS 214845 HAS SOUPS 211789 WITH SCORE 212070.403
AT ITER 2784 NEW BEST:: SOT 1224214 SOS 282012 HAS SOPS 271041 HAS SOUS 214443 HAS SOUPS 211387 WITH SCORE 211669.012
AT ITER 2812 NEW BEST:: SOT 1224220 SOS 282018 HAS SOPS 271047 HAS SOUS 214317 HAS SOUPS 211261 WITH SCORE 211543.018
AT ITER 2822 NEW BEST:: SOT 1224220 SOS 282018 HAS SOPS 271047 HAS SOUS 214225 HAS SOUPS 211169 WITH SCORE 211451.018
AT ITER 2852 NEW BEST:: SOT 1224083 SOS 282018 HAS SOPS 271047 HAS SOUS 214088 HAS SOUPS 211032 WITH SCORE 211314.018
AT ITER 2870 NEW BEST:: SOT 1224083 SOS 281995 HAS SOPS 271024 HAS SOUS 214065 HAS SOUPS 211009 WITH SCORE 211290.995
AT ITER 2909 NEW BEST:: SOT 1224012 SOS 281995 HAS SOPS 271024 HAS SOUS 213994 HAS SOUPS 210938 WITH SCORE 211219.995
AT ITER 2920 NEW BEST:: SOT 1223921 SOS 281927 HAS SOPS 270956 HAS SOUS 213903 HAS SOUPS 210847 WITH SCORE 211128.927
AT ITER 2938 NEW BEST:: SOT 1223868 SOS 281821 HAS SOPS 270850 HAS SOUS 213850 HAS SOUPS 210794 WITH SCORE 211075.821
AT ITER 2939 NEW BEST:: SOT 1223868 SOS 281802 HAS SOPS 270831 HAS SOUS 213850 HAS SOUPS 210794 WITH SCORE 211075.802
AT ITER 3020 NEW BEST:: SOT 1223916 SOS 281850 HAS SOPS 270879 HAS SOUS 213787 HAS SOUPS 210731 WITH SCORE 211012.85
AT ITER 3025 NEW BEST:: SOT 1223916 SOS 281745 HAS SOPS 270774 HAS SOUS 213787 HAS SOUPS 210731 WITH SCORE 211012.745
AT ITER 3059 NEW BEST:: SOT 1223888 SOS 281717 HAS SOPS 270746 HAS SOUS 213731 HAS SOUPS 210675 WITH SCORE 210956.717
AT ITER 3112 NEW BEST:: SOT 1223800 SOS 281631 HAS SOPS 270512 HAS SOUS 213702 HAS SOUPS 210646 WITH SCORE 210927.631
AT ITER 3135 NEW BEST:: SOT 1223714 SOS 281545 HAS SOPS 270426 HAS SOUS 213593 HAS SOUPS 210537 WITH SCORE 210818.545
AT ITER 3143 NEW BEST:: SOT 1223714 SOS 281511 HAS SOPS 270392 HAS SOUS 213593 HAS SOUPS 210537 WITH SCORE 210818.511
AT ITER 3157 NEW BEST:: SOT 1223673 SOS 281083 HAS SOPS 269964 HAS SOUS 213504 HAS SOUPS 210448 WITH SCORE 210729.083
AT ITER 3186 NEW BEST:: SOT 1223673 SOS 281083 HAS SOPS 269964 HAS SOUS 213452 HAS SOUPS 210396 WITH SCORE 210677.083
AT ITER 3197 NEW BEST:: SOT 1223739 SOS 281149 HAS SOPS 270030 HAS SOUS 213408 HAS SOUPS 210352 WITH SCORE 210633.149
AT ITER 3208 NEW BEST:: SOT 1223734 SOS 281270 HAS SOPS 270151 HAS SOUS 213391 HAS SOUPS 210335 WITH SCORE 210616.27
AT ITER 3236 NEW BEST:: SOT 1223734 SOS 281265 HAS SOPS 270018 HAS SOUS 213391 HAS SOUPS 210335 WITH SCORE 210616.265
AT ITER 3268 NEW BEST:: SOT 1223734 SOS 281242 HAS SOPS 269995 HAS SOUS 213391 HAS SOUPS 210335 WITH SCORE 210616.242
AT ITER 3273 NEW BEST:: SOT 1223703 SOS 281154 HAS SOPS 269907 HAS SOUS 213329 HAS SOUPS 210273 WITH SCORE 210554.154
AT ITER 3289 NEW BEST:: SOT 1223656 SOS 281167 HAS SOPS 269920 HAS SOUS 213311 HAS SOUPS 210255 WITH SCORE 210536.167
AT ITER 3323 NEW BEST:: SOT 1223560 SOS 281167 HAS SOPS 269920 HAS SOUS 213215 HAS SOUPS 210159 WITH SCORE 210440.167
AT ITER 3344 NEW BEST:: SOT 1223560 SOS 281167 HAS SOPS 269920 HAS SOUS 213184 HAS SOUPS 210128 WITH SCORE 210409.167
AT ITER 3365 NEW BEST:: SOT 1223613 SOS 281220 HAS SOPS 269973 HAS SOUS 213128 HAS SOUPS 210072 WITH SCORE 210353.22
AT ITER 3420 NEW BEST:: SOT 1223574 SOS 281220 HAS SOPS 269973 HAS SOUS 213089 HAS SOUPS 210033 WITH SCORE 210314.22
AT ITER 3446 NEW BEST:: SOT 1223546 SOS 281192 HAS SOPS 269945 HAS SOUS 213061 HAS SOUPS 210005 WITH SCORE 210286.192
AT ITER 3481 NEW BEST:: SOT 1223546 SOS 281143 HAS SOPS 269896 HAS SOUS 213005 HAS SOUPS 209949 WITH SCORE 210230.143
AT ITER 3490 NEW BEST:: SOT 1223482 SOS 281043 HAS SOPS 269732 HAS SOUS 212877 HAS SOUPS 209821 WITH SCORE 210102.043
AT ITER 3567 NEW BEST:: SOT 1223423 SOS 280560 HAS SOPS 269249 HAS SOUS 212759 HAS SOUPS 209703 WITH SCORE 209983.56
AT ITER 3586 NEW BEST:: SOT 1223382 SOS 280544 HAS SOPS 269233 HAS SOUS 212718 HAS SOUPS 209662 WITH SCORE 209942.544
AT ITER 3596 NEW BEST:: SOT 1222749 SOS 280586 HAS SOPS 269288 HAS SOUS 212166 HAS SOUPS 209110 WITH SCORE 209390.586
AT ITER 3597 NEW BEST:: SOT 1222759 SOS 280596 HAS SOPS 269298 HAS SOUS 212045 HAS SOUPS 208989 WITH SCORE 209269.596
AT ITER 3668 NEW BEST:: SOT 1222759 SOS 280462 HAS SOPS 269164 HAS SOUS 212045 HAS SOUPS 208989 WITH SCORE 209269.462
AT ITER 3696 NEW BEST:: SOT 1222759 SOS 280462 HAS SOPS 269164 HAS SOUS 212031 HAS SOUPS 208975 WITH SCORE 209255.462
AT ITER 3713 NEW BEST:: SOT 1222693 SOS 280396 HAS SOPS 269098 HAS SOUS 211965 HAS SOUPS 208909 WITH SCORE 209189.396
AT ITER 3735 NEW BEST:: SOT 1222676 SOS 279802 HAS SOPS 268504 HAS SOUS 211948 HAS SOUPS 208892 WITH SCORE 209171.802
AT ITER 3739 NEW BEST:: SOT 1222676 SOS 279790 HAS SOPS 268492 HAS SOUS 211948 HAS SOUPS 208892 WITH SCORE 209171.79
AT ITER 3750 NEW BEST:: SOT 1222652 SOS 279463 HAS SOPS 268165 HAS SOUS 211916 HAS SOUPS 208860 WITH SCORE 209139.463
AT ITER 3784 NEW BEST:: SOT 1222652 SOS 279338 HAS SOPS 267987 HAS SOUS 211916 HAS SOUPS 208860 WITH SCORE 209139.338
AT ITER 3799 NEW BEST:: SOT 1222567 SOS 279253 HAS SOPS 267902 HAS SOUS 211831 HAS SOUPS 208775 WITH SCORE 209054.253
AT ITER 3815 NEW BEST:: SOT 1222543 SOS 279229 HAS SOPS 267878 HAS SOUS 211783 HAS SOUPS 208727 WITH SCORE 209006.229
AT ITER 3849 NEW BEST:: SOT 1222448 SOS 278258 HAS SOPS 266907 HAS SOUS 211498 HAS SOUPS 208442 WITH SCORE 208720.258
AT ITER 3878 NEW BEST:: SOT 1222448 SOS 278177 HAS SOPS 266826 HAS SOUS 211467 HAS SOUPS 208411 WITH SCORE 208689.177
AT ITER 3892 NEW BEST:: SOT 1222305 SOS 278185 HAS SOPS 266834 HAS SOUS 211332 HAS SOUPS 208276 WITH SCORE 208554.185
AT ITER 3895 NEW BEST:: SOT 1222256 SOS 278082 HAS SOPS 266731 HAS SOUS 211278 HAS SOUPS 208222 WITH SCORE 208500.082
AT ITER 3917 NEW BEST:: SOT 1222280 SOS 278106 HAS SOPS 266755 HAS SOUS 211166 HAS SOUPS 208110 WITH SCORE 208388.106
AT ITER 4000 NEW BEST:: SOT 1222280 SOS 278076 HAS SOPS 266725 HAS SOUS 211166 HAS SOUPS 208110 WITH SCORE 208388.076
AT ITER 4029 NEW BEST:: SOT 1222081 SOS 277877 HAS SOPS 266526 HAS SOUS 210967 HAS SOUPS 207911 WITH SCORE 208188.877
AT ITER 4070 NEW BEST:: SOT 1222081 SOS 277865 HAS SOPS 266514 HAS SOUS 210967 HAS SOUPS 207911 WITH SCORE 208188.865
AT ITER 4094 NEW BEST:: SOT 1222032 SOS 277816 HAS SOPS 266465 HAS SOUS 210918 HAS SOUPS 207862 WITH SCORE 208139.816
AT ITER 4104 NEW BEST:: SOT 1222032 SOS 277731 HAS SOPS 266380 HAS SOUS 210918 HAS SOUPS 207862 WITH SCORE 208139.731
AT ITER 4142 NEW BEST:: SOT 1222014 SOS 277322 HAS SOPS 265971 HAS SOUS 210914 HAS SOUPS 207858 WITH SCORE 208135.322
AT ITER 4181 NEW BEST:: SOT 1222014 SOS 277290 HAS SOPS 265939 HAS SOUS 210914 HAS SOUPS 207858 WITH SCORE 208135.29
AT ITER 4184 NEW BEST:: SOT 1222014 SOS 277290 HAS SOPS 265939 HAS SOUS 210858 HAS SOUPS 207802 WITH SCORE 208079.29
AT ITER 4225 NEW BEST:: SOT 1221996 SOS 277254 HAS SOPS 265885 HAS SOUS 210833 HAS SOUPS 207766 WITH SCORE 208043.254
AT ITER 4232 NEW BEST:: SOT 1221996 SOS 277248 HAS SOPS 265879 HAS SOUS 210832 HAS SOUPS 207765 WITH SCORE 208042.248
AT ITER 4330 NEW BEST:: SOT 1221954 SOS 277270 HAS SOPS 265901 HAS SOUS 210801 HAS SOUPS 207734 WITH SCORE 208011.27
AT ITER 4389 NEW BEST:: SOT 1221949 SOS 277265 HAS SOPS 265896 HAS SOUS 210791 HAS SOUPS 207724 WITH SCORE 208001.265
AT ITER 4401 NEW BEST:: SOT 1221774 SOS 278300 HAS SOPS 266942 HAS SOUS 210720 HAS SOUPS 207653 WITH SCORE 207931.3
AT ITER 4464 NEW BEST:: SOT 1221814 SOS 278340 HAS SOPS 266982 HAS SOUS 210644 HAS SOUPS 207577 WITH SCORE 207855.34
AT ITER 4513 NEW BEST:: SOT 1221715 SOS 278219 HAS SOPS 266861 HAS SOUS 210545 HAS SOUPS 207478 WITH SCORE 207756.219
AT ITER 4559 NEW BEST:: SOT 1221715 SOS 278205 HAS SOPS 266847 HAS SOUS 210541 HAS SOUPS 207474 WITH SCORE 207752.205
AT ITER 4563 NEW BEST:: SOT 1221692 SOS 277896 HAS SOPS 266538 HAS SOUS 210495 HAS SOUPS 207428 WITH SCORE 207705.896
AT ITER 4621 NEW BEST:: SOT 1221692 SOS 277873 HAS SOPS 266515 HAS SOUS 210495 HAS SOUPS 207428 WITH SCORE 207705.873
AT ITER 4633 NEW BEST:: SOT 1221691 SOS 277872 HAS SOPS 266514 HAS SOUS 210493 HAS SOUPS 207426 WITH SCORE 207703.872
AT ITER 4691 NEW BEST:: SOT 1221691 SOS 277872 HAS SOPS 266514 HAS SOUS 210453 HAS SOUPS 207386 WITH SCORE 207663.872
AT ITER 4768 NEW BEST:: SOT 1221691 SOS 277859 HAS SOPS 266501 HAS SOUS 210447 HAS SOUPS 207380 WITH SCORE 207657.859
AT ITER 4773 NEW BEST:: SOT 1221683 SOS 277851 HAS SOPS 266493 HAS SOUS 210439 HAS SOUPS 207372 WITH SCORE 207649.851
AT ITER 4776 NEW BEST:: SOT 1221539 SOS 277913 HAS SOPS 266555 HAS SOUS 210368 HAS SOUPS 207301 WITH SCORE 207578.913
AT ITER 4779 NEW BEST:: SOT 1221520 SOS 277907 HAS SOPS 266549 HAS SOUS 210362 HAS SOUPS 207295 WITH SCORE 207572.907
AT ITER 4876 NEW BEST:: SOT 1221358 SOS 279775 HAS SOPS 266387 HAS SOUS 210200 HAS SOUPS 206971 WITH SCORE 207250.775
AT ITER 4884 NEW BEST:: SOT 1221957 SOS 280309 HAS SOPS 265174 HAS SOUS 209287 HAS SOUPS 205975 WITH SCORE 206255.309
AT ITER 4906 NEW BEST:: SOT 1221890 SOS 280394 HAS SOPS 265259 HAS SOUS 209273 HAS SOUPS 205961 WITH SCORE 206241.394
AT ITER 4953 NEW BEST:: SOT 1221890 SOS 280394 HAS SOPS 265259 HAS SOUS 209183 HAS SOUPS 205871 WITH SCORE 206151.394
AT ITER 4956 NEW BEST:: SOT 1221885 SOS 280419 HAS SOPS 265284 HAS SOUS 209178 HAS SOUPS 205866 WITH SCORE 206146.419
AT ITER 4959 NEW BEST:: SOT 1220200 SOS 287515 HAS SOPS 272380 HAS SOUS 208579 HAS SOUPS 205267 WITH SCORE 205554.515
AT ITER 5014 NEW BEST:: SOT 1220125 SOS 287515 HAS SOPS 272380 HAS SOUS 208504 HAS SOUPS 205192 WITH SCORE 205479.515
AT ITER 5064 NEW BEST:: SOT 1220125 SOS 287511 HAS SOPS 272376 HAS SOUS 208504 HAS SOUPS 205192 WITH SCORE 205479.511
AT ITER 5071 NEW BEST:: SOT 1220043 SOS 287008 HAS SOPS 271873 HAS SOUS 208302 HAS SOUPS 204990 WITH SCORE 205277.008
AT ITER 5091 NEW BEST:: SOT 1220035 SOS 287000 HAS SOPS 271865 HAS SOUS 208294 HAS SOUPS 204982 WITH SCORE 205269.0
AT ITER 5112 NEW BEST:: SOT 1219121 SOS 287463 HAS SOPS 272314 HAS SOUS 207712 HAS SOUPS 204400 WITH SCORE 204687.463
AT ITER 5126 NEW BEST:: SOT 1218994 SOS 287463 HAS SOPS 272314 HAS SOUS 207585 HAS SOUPS 204273 WITH SCORE 204560.463
AT ITER 5133 NEW BEST:: SOT 1218979 SOS 287448 HAS SOPS 272299 HAS SOUS 207570 HAS SOUPS 204258 WITH SCORE 204545.448
AT ITER 5168 NEW BEST:: SOT 1218896 SOS 286701 HAS SOPS 271552 HAS SOUS 207404 HAS SOUPS 204092 WITH SCORE 204378.701
AT ITER 5175 NEW BEST:: SOT 1218300 SOS 286139 HAS SOPS 270990 HAS SOUS 206800 HAS SOUPS 203488 WITH SCORE 203774.139
AT ITER 5259 NEW BEST:: SOT 1218300 SOS 286133 HAS SOPS 270984 HAS SOUS 206800 HAS SOUPS 203488 WITH SCORE 203774.133
AT ITER 5266 NEW BEST:: SOT 1218300 SOS 286133 HAS SOPS 270984 HAS SOUS 206746 HAS SOUPS 203434 WITH SCORE 203720.133
AT ITER 5347 NEW BEST:: SOT 1218246 SOS 285863 HAS SOPS 270714 HAS SOUS 206613 HAS SOUPS 203301 WITH SCORE 203586.863
AT ITER 5355 NEW BEST:: SOT 1218196 SOS 285842 HAS SOPS 270693 HAS SOUS 206563 HAS SOUPS 203251 WITH SCORE 203536.842
AT ITER 5362 NEW BEST:: SOT 1218196 SOS 285810 HAS SOPS 270661 HAS SOUS 206563 HAS SOUPS 203251 WITH SCORE 203536.81
AT ITER 5368 NEW BEST:: SOT 1218196 SOS 285690 HAS SOPS 270541 HAS SOUS 206548 HAS SOUPS 203236 WITH SCORE 203521.69
AT ITER 5369 NEW BEST:: SOT 1218154 SOS 285648 HAS SOPS 270499 HAS SOUS 206531 HAS SOUPS 203219 WITH SCORE 203504.648
AT ITER 5415 NEW BEST:: SOT 1217842 SOS 287073 HAS SOPS 270249 HAS SOUS 206558 HAS SOUPS 203071 WITH SCORE 203358.073
AT ITER 5420 NEW BEST:: SOT 1217842 SOS 288789 HAS SOPS 270172 HAS SOUS 206587 HAS SOUPS 202994 WITH SCORE 203282.789
AT ITER 5425 NEW BEST:: SOT 1217842 SOS 288699 HAS SOPS 270082 HAS SOUS 206587 HAS SOUPS 202994 WITH SCORE 203282.699
AT ITER 5490 NEW BEST:: SOT 1217807 SOS 288553 HAS SOPS 269936 HAS SOUS 206517 HAS SOUPS 202924 WITH SCORE 203212.553
AT ITER 5493 NEW BEST:: SOT 1217807 SOS 288520 HAS SOPS 269903 HAS SOUS 206517 HAS SOUPS 202924 WITH SCORE 203212.52
AT ITER 5559 NEW BEST:: SOT 1217830 SOS 288543 HAS SOPS 269926 HAS SOUS 206444 HAS SOUPS 202851 WITH SCORE 203139.543
AT ITER 5570 NEW BEST:: SOT 1217726 SOS 288605 HAS SOPS 269988 HAS SOUS 206402 HAS SOUPS 202809 WITH SCORE 203097.605
AT ITER 5625 NEW BEST:: SOT 1217721 SOS 288626 HAS SOPS 270009 HAS SOUS 206385 HAS SOUPS 202792 WITH SCORE 203080.626
AT ITER 5668 NEW BEST:: SOT 1217721 SOS 288598 HAS SOPS 269981 HAS SOUS 206385 HAS SOUPS 202792 WITH SCORE 203080.598
AT ITER 5672 NEW BEST:: SOT 1218409 SOS 289389 HAS SOPS 268632 HAS SOUS 205275 HAS SOUPS 201462 WITH SCORE 201751.389
AT ITER 5695 NEW BEST:: SOT 1218405 SOS 289356 HAS SOPS 268599 HAS SOUS 205191 HAS SOUPS 201378 WITH SCORE 201667.356
AT ITER 5702 NEW BEST:: SOT 1218394 SOS 289345 HAS SOPS 268588 HAS SOUS 205169 HAS SOUPS 201356 WITH SCORE 201645.345
AT ITER 5741 NEW BEST:: SOT 1218378 SOS 289345 HAS SOPS 268588 HAS SOUS 205137 HAS SOUPS 201324 WITH SCORE 201613.345
AT ITER 5750 NEW BEST:: SOT 1218340 SOS 289535 HAS SOPS 268778 HAS SOUS 205099 HAS SOUPS 201286 WITH SCORE 201575.535
AT ITER 5791 NEW BEST:: SOT 1218340 SOS 289532 HAS SOPS 268775 HAS SOUS 205099 HAS SOUPS 201286 WITH SCORE 201575.532
AT ITER 5836 NEW BEST:: SOT 1218340 SOS 289532 HAS SOPS 268775 HAS SOUS 205072 HAS SOUPS 201259 WITH SCORE 201548.532
AT ITER 5840 NEW BEST:: SOT 1218340 SOS 289489 HAS SOPS 268732 HAS SOUS 205072 HAS SOUPS 201259 WITH SCORE 201548.489
AT ITER 5872 NEW BEST:: SOT 1218239 SOS 289499 HAS SOPS 268742 HAS SOUS 204981 HAS SOUPS 201168 WITH SCORE 201457.499
AT ITER 5884 NEW BEST:: SOT 1218239 SOS 289446 HAS SOPS 268689 HAS SOUS 204981 HAS SOUPS 201168 WITH SCORE 201457.446
AT ITER 5910 NEW BEST:: SOT 1218146 SOS 289353 HAS SOPS 268596 HAS SOUS 204786 HAS SOUPS 200973 WITH SCORE 201262.353
AT ITER 5915 NEW BEST:: SOT 1218146 SOS 289353 HAS SOPS 268596 HAS SOUS 204664 HAS SOUPS 200851 WITH SCORE 201140.353
AT ITER 5969 NEW BEST:: SOT 1218115 SOS 289312 HAS SOPS 268555 HAS SOUS 204633 HAS SOUPS 200820 WITH SCORE 201109.312
AT ITER 5991 NEW BEST:: SOT 1218088 SOS 289285 HAS SOPS 268528 HAS SOUS 204579 HAS SOUPS 200766 WITH SCORE 201055.285
AT ITER 6012 NEW BEST:: SOT 1218088 SOS 289193 HAS SOPS 268436 HAS SOUS 204487 HAS SOUPS 200674 WITH SCORE 200963.193
AT ITER 6046 NEW BEST:: SOT 1218088 SOS 289157 HAS SOPS 268400 HAS SOUS 204487 HAS SOUPS 200674 WITH SCORE 200963.157
AT ITER 6073 NEW BEST:: SOT 1218088 SOS 289157 HAS SOPS 268400 HAS SOUS 204384 HAS SOUPS 200571 WITH SCORE 200860.157
AT ITER 6087 NEW BEST:: SOT 1218064 SOS 289145 HAS SOPS 268364 HAS SOUS 204360 HAS SOUPS 200523 WITH SCORE 200812.145
AT ITER 6092 NEW BEST:: SOT 1218064 SOS 289145 HAS SOPS 268364 HAS SOUS 204359 HAS SOUPS 200522 WITH SCORE 200811.145
AT ITER 6102 NEW BEST:: SOT 1218021 SOS 288518 HAS SOPS 267737 HAS SOUS 204316 HAS SOUPS 200479 WITH SCORE 200767.518
AT ITER 6125 NEW BEST:: SOT 1217958 SOS 285755 HAS SOPS 265190 HAS SOUS 204190 HAS SOUPS 200353 WITH SCORE 200638.755
AT ITER 6137 NEW BEST:: SOT 1217869 SOS 285755 HAS SOPS 265190 HAS SOUS 204101 HAS SOUPS 200264 WITH SCORE 200549.755
AT ITER 6154 NEW BEST:: SOT 1217830 SOS 285761 HAS SOPS 265196 HAS SOUS 204076 HAS SOUPS 200239 WITH SCORE 200524.761
AT ITER 6180 NEW BEST:: SOT 1217614 SOS 285672 HAS SOPS 265107 HAS SOUS 203871 HAS SOUPS 200034 WITH SCORE 200319.672
AT ITER 6195 NEW BEST:: SOT 1217510 SOS 285743 HAS SOPS 265178 HAS SOUS 203784 HAS SOUPS 199947 WITH SCORE 200232.743
AT ITER 6225 NEW BEST:: SOT 1217488 SOS 285699 HAS SOPS 265156 HAS SOUS 203740 HAS SOUPS 199903 WITH SCORE 200188.699
AT ITER 6233 NEW BEST:: SOT 1217452 SOS 285699 HAS SOPS 265156 HAS SOUS 203704 HAS SOUPS 199867 WITH SCORE 200152.699
AT ITER 6299 NEW BEST:: SOT 1217452 SOS 285683 HAS SOPS 265140 HAS SOUS 203704 HAS SOUPS 199867 WITH SCORE 200152.683
AT ITER 6351 NEW BEST:: SOT 1217427 SOS 286807 HAS SOPS 265011 HAS SOUS 203679 HAS SOUPS 199738 WITH SCORE 200024.807
AT ITER 6422 NEW BEST:: SOT 1217292 SOS 286718 HAS SOPS 264922 HAS SOUS 203559 HAS SOUPS 199618 WITH SCORE 199904.718
AT ITER 6423 NEW BEST:: SOT 1217292 SOS 286718 HAS SOPS 264922 HAS SOUS 203541 HAS SOUPS 199600 WITH SCORE 199886.718
AT ITER 6432 NEW BEST:: SOT 1217292 SOS 286649 HAS SOPS 264853 HAS SOUS 203541 HAS SOUPS 199600 WITH SCORE 199886.649
AT ITER 6435 NEW BEST:: SOT 1217292 SOS 286649 HAS SOPS 264853 HAS SOUS 203535 HAS SOUPS 199594 WITH SCORE 199880.649
AT ITER 6453 NEW BEST:: SOT 1217292 SOS 286649 HAS SOPS 264835 HAS SOUS 203517 HAS SOUPS 199576 WITH SCORE 199862.649
AT ITER 6470 NEW BEST:: SOT 1217262 SOS 286570 HAS SOPS 264756 HAS SOUS 203487 HAS SOUPS 199546 WITH SCORE 199832.57
AT ITER 6473 NEW BEST:: SOT 1217210 SOS 286555 HAS SOPS 264741 HAS SOUS 203487 HAS SOUPS 199546 WITH SCORE 199832.555
AT ITER 6475 NEW BEST:: SOT 1217169 SOS 286555 HAS SOPS 264741 HAS SOUS 203446 HAS SOUPS 199505 WITH SCORE 199791.555
AT ITER 6491 NEW BEST:: SOT 1217147 SOS 286534 HAS SOPS 264720 HAS SOUS 203439 HAS SOUPS 199498 WITH SCORE 199784.534
AT ITER 6603 NEW BEST:: SOT 1217147 SOS 286532 HAS SOPS 264718 HAS SOUS 203439 HAS SOUPS 199498 WITH SCORE 199784.532
AT ITER 6612 NEW BEST:: SOT 1217147 SOS 286524 HAS SOPS 264710 HAS SOUS 203439 HAS SOUPS 199498 WITH SCORE 199784.524
AT ITER 6665 NEW BEST:: SOT 1216600 SOS 286882 HAS SOPS 265222 HAS SOUS 203175 HAS SOUPS 199234 WITH SCORE 199520.882
AT ITER 6674 NEW BEST:: SOT 1216577 SOS 286859 HAS SOPS 265199 HAS SOUS 203129 HAS SOUPS 199188 WITH SCORE 199474.859
AT ITER 6722 NEW BEST:: SOT 1216577 SOS 286858 HAS SOPS 265198 HAS SOUS 203106 HAS SOUPS 199165 WITH SCORE 199451.858
AT ITER 6734 NEW BEST:: SOT 1216577 SOS 286856 HAS SOPS 265196 HAS SOUS 203104 HAS SOUPS 199163 WITH SCORE 199449.856
AT ITER 6747 NEW BEST:: SOT 1216533 SOS 286856 HAS SOPS 265196 HAS SOUS 203060 HAS SOUPS 199119 WITH SCORE 199405.856
AT ITER 6762 NEW BEST:: SOT 1216480 SOS 286856 HAS SOPS 265196 HAS SOUS 203007 HAS SOUPS 199066 WITH SCORE 199352.856
AT ITER 6775 NEW BEST:: SOT 1216494 SOS 286842 HAS SOPS 265182 HAS SOUS 203007 HAS SOUPS 199066 WITH SCORE 199352.842
AT ITER 6843 NEW BEST:: SOT 1216465 SOS 286813 HAS SOPS 265153 HAS SOUS 202949 HAS SOUPS 199008 WITH SCORE 199294.813
AT ITER 6888 NEW BEST:: SOT 1216465 SOS 286813 HAS SOPS 265153 HAS SOUS 202945 HAS SOUPS 199004 WITH SCORE 199290.813
AT ITER 6897 NEW BEST:: SOT 1216465 SOS 286813 HAS SOPS 265153 HAS SOUS 202890 HAS SOUPS 198949 WITH SCORE 199235.813
AT ITER 6930 NEW BEST:: SOT 1216465 SOS 286813 HAS SOPS 265153 HAS SOUS 202853 HAS SOUPS 198912 WITH SCORE 199198.813
AT ITER 6963 NEW BEST:: SOT 1216465 SOS 286424 HAS SOPS 264764 HAS SOUS 202853 HAS SOUPS 198912 WITH SCORE 199198.424
AT ITER 6966 NEW BEST:: SOT 1215586 SOS 288206 HAS SOPS 266546 HAS SOUS 202301 HAS SOUPS 198360 WITH SCORE 198648.206
AT ITER 7003 NEW BEST:: SOT 1215334 SOS 291759 HAS SOPS 266552 HAS SOUS 202522 HAS SOUPS 198299 WITH SCORE 198590.759
AT ITER 7004 NEW BEST:: SOT 1215313 SOS 291759 HAS SOPS 266552 HAS SOUS 202501 HAS SOUPS 198278 WITH SCORE 198569.759
AT ITER 7040 NEW BEST:: SOT 1215313 SOS 291719 HAS SOPS 266512 HAS SOUS 202501 HAS SOUPS 198278 WITH SCORE 198569.719
AT ITER 7071 NEW BEST:: SOT 1215313 SOS 291719 HAS SOPS 266512 HAS SOUS 202497 HAS SOUPS 198274 WITH SCORE 198565.719
AT ITER 7079 NEW BEST:: SOT 1215293 SOS 290781 HAS SOPS 265555 HAS SOUS 202300 HAS SOUPS 198077 WITH SCORE 198367.781
AT ITER 7141 NEW BEST:: SOT 1215239 SOS 290727 HAS SOPS 265501 HAS SOUS 202192 HAS SOUPS 197969 WITH SCORE 198259.727
AT ITER 7177 NEW BEST:: SOT 1215239 SOS 289996 HAS SOPS 265501 HAS SOUS 202149 HAS SOUPS 197969 WITH SCORE 198258.996
AT ITER 7243 NEW BEST:: SOT 1215215 SOS 289972 HAS SOPS 265477 HAS SOUS 202101 HAS SOUPS 197921 WITH SCORE 198210.972
AT ITER 7266 NEW BEST:: SOT 1215097 SOS 289854 HAS SOPS 265359 HAS SOUS 201889 HAS SOUPS 197709 WITH SCORE 197998.854
AT ITER 7271 NEW BEST:: SOT 1215080 SOS 289783 HAS SOPS 264638 HAS SOUS 201222 HAS SOUPS 197042 WITH SCORE 197331.783
AT ITER 7273 NEW BEST:: SOT 1215019 SOS 289222 HAS SOPS 264077 HAS SOUS 201100 HAS SOUPS 196920 WITH SCORE 197209.222
AT ITER 7282 NEW BEST:: SOT 1215019 SOS 289183 HAS SOPS 264038 HAS SOUS 201100 HAS SOUPS 196920 WITH SCORE 197209.183
AT ITER 7299 NEW BEST:: SOT 1215019 SOS 289183 HAS SOPS 264038 HAS SOUS 201041 HAS SOUPS 196861 WITH SCORE 197150.183
AT ITER 7331 NEW BEST:: SOT 1215023 SOS 289187 HAS SOPS 264042 HAS SOUS 200969 HAS SOUPS 196789 WITH SCORE 197078.187
AT ITER 7343 NEW BEST:: SOT 1215472 SOS 289664 HAS SOPS 263892 HAS SOUS 200892 HAS SOUPS 196680 WITH SCORE 196969.664
AT ITER 7432 NEW BEST:: SOT 1215472 SOS 289685 HAS SOPS 263913 HAS SOUS 200891 HAS SOUPS 196679 WITH SCORE 196968.685
AT ITER 7460 NEW BEST:: SOT 1215370 SOS 289583 HAS SOPS 263687 HAS SOUS 200731 HAS SOUPS 196519 WITH SCORE 196808.583
AT ITER 7520 NEW BEST:: SOT 1215350 SOS 289632 HAS SOPS 263737 HAS SOUS 200725 HAS SOUPS 196513 WITH SCORE 196802.632
AT ITER 7524 NEW BEST:: SOT 1215353 SOS 289635 HAS SOPS 263740 HAS SOUS 200708 HAS SOUPS 196496 WITH SCORE 196785.635
AT ITER 7567 NEW BEST:: SOT 1215284 SOS 289538 HAS SOPS 263574 HAS SOUS 200574 HAS SOUPS 196362 WITH SCORE 196651.538
AT ITER 7591 NEW BEST:: SOT 1215286 SOS 288845 HAS SOPS 262881 HAS SOUS 200524 HAS SOUPS 196312 WITH SCORE 196600.845
AT ITER 7599 NEW BEST:: SOT 1215286 SOS 288845 HAS SOPS 262881 HAS SOUS 200522 HAS SOUPS 196310 WITH SCORE 196598.845
AT ITER 7657 NEW BEST:: SOT 1215276 SOS 288835 HAS SOPS 262871 HAS SOUS 200512 HAS SOUPS 196300 WITH SCORE 196588.835
AT ITER 7684 NEW BEST:: SOT 1215276 SOS 288783 HAS SOPS 262818 HAS SOUS 200512 HAS SOUPS 196300 WITH SCORE 196588.783
AT ITER 7697 NEW BEST:: SOT 1215242 SOS 288983 HAS SOPS 262873 HAS SOUS 200497 HAS SOUPS 196219 WITH SCORE 196507.983
AT ITER 7728 NEW BEST:: SOT 1215407 SOS 289119 HAS SOPS 261000 HAS SOUS 198769 HAS SOUPS 194461 WITH SCORE 194750.119
AT ITER 7743 NEW BEST:: SOT 1215407 SOS 288993 HAS SOPS 260874 HAS SOUS 198643 HAS SOUPS 194335 WITH SCORE 194623.993
AT ITER 7767 NEW BEST:: SOT 1215369 SOS 289086 HAS SOPS 260929 HAS SOUS 198614 HAS SOUPS 194306 WITH SCORE 194595.086
AT ITER 7772 NEW BEST:: SOT 1215369 SOS 289029 HAS SOPS 260872 HAS SOUS 198542 HAS SOUPS 194234 WITH SCORE 194523.029
AT ITER 7782 NEW BEST:: SOT 1215364 SOS 289024 HAS SOPS 260867 HAS SOUS 198532 HAS SOUPS 194224 WITH SCORE 194513.024
AT ITER 7968 NEW BEST:: SOT 1215394 SOS 289107 HAS SOPS 260950 HAS SOUS 198403 HAS SOUPS 194095 WITH SCORE 194384.107
AT ITER 7976 NEW BEST:: SOT 1215348 SOS 289061 HAS SOPS 260904 HAS SOUS 198392 HAS SOUPS 194084 WITH SCORE 194373.061
AT ITER 7982 NEW BEST:: SOT 1215271 SOS 289063 HAS SOPS 260829 HAS SOUS 198238 HAS SOUPS 193930 WITH SCORE 194219.063
AT ITER 7989 NEW BEST:: SOT 1215149 SOS 289296 HAS SOPS 260707 HAS SOUS 198249 HAS SOUPS 193897 WITH SCORE 194186.296
AT ITER 8041 NEW BEST:: SOT 1215116 SOS 289297 HAS SOPS 260708 HAS SOUS 198217 HAS SOUPS 193865 WITH SCORE 194154.297
AT ITER 8047 NEW BEST:: SOT 1215114 SOS 289295 HAS SOPS 260706 HAS SOUS 198215 HAS SOUPS 193863 WITH SCORE 194152.295
AT ITER 8051 NEW BEST:: SOT 1215099 SOS 289280 HAS SOPS 260691 HAS SOUS 198185 HAS SOUPS 193833 WITH SCORE 194122.28
AT ITER 8107 NEW BEST:: SOT 1215094 SOS 289275 HAS SOPS 260686 HAS SOUS 198180 HAS SOUPS 193828 WITH SCORE 194117.275
AT ITER 8222 NEW BEST:: SOT 1215094 SOS 289265 HAS SOPS 260676 HAS SOUS 198170 HAS SOUPS 193818 WITH SCORE 194107.265
AT ITER 8247 NEW BEST:: SOT 1215094 SOS 289231 HAS SOPS 260642 HAS SOUS 198170 HAS SOUPS 193818 WITH SCORE 194107.231
AT ITER 8288 NEW BEST:: SOT 1215011 SOS 289148 HAS SOPS 260559 HAS SOUS 198004 HAS SOUPS 193652 WITH SCORE 193941.148
AT ITER 8331 NEW BEST:: SOT 1214918 SOS 289125 HAS SOPS 260536 HAS SOUS 197988 HAS SOUPS 193636 WITH SCORE 193925.125
AT ITER 8350 NEW BEST:: SOT 1214918 SOS 289094 HAS SOPS 260505 HAS SOUS 197988 HAS SOUPS 193636 WITH SCORE 193925.094
AT ITER 8412 NEW BEST:: SOT 1214935 SOS 289111 HAS SOPS 260522 HAS SOUS 197973 HAS SOUPS 193621 WITH SCORE 193910.111
AT ITER 8418 NEW BEST:: SOT 1214935 SOS 289015 HAS SOPS 260426 HAS SOUS 197973 HAS SOUPS 193621 WITH SCORE 193910.015
AT ITER 8432 NEW BEST:: SOT 1214834 SOS 288285 HAS SOPS 259696 HAS SOUS 197829 HAS SOUPS 193477 WITH SCORE 193765.285
AT ITER 8444 NEW BEST:: SOT 1214834 SOS 288159 HAS SOPS 259570 HAS SOUS 197829 HAS SOUPS 193477 WITH SCORE 193765.159
AT ITER 8461 NEW BEST:: SOT 1214699 SOS 288024 HAS SOPS 259300 HAS SOUS 197559 HAS SOUPS 193207 WITH SCORE 193495.024
AT ITER 8472 NEW BEST:: SOT 1214680 SOS 286500 HAS SOPS 259290 HAS SOUS 197442 HAS SOUPS 193187 WITH SCORE 193473.5
AT ITER 8483 NEW BEST:: SOT 1214688 SOS 286461 HAS SOPS 259251 HAS SOUS 197441 HAS SOUPS 193186 WITH SCORE 193472.461
AT ITER 8484 NEW BEST:: SOT 1214521 SOS 286394 HAS SOPS 259238 HAS SOUS 197359 HAS SOUPS 193104 WITH SCORE 193390.394
AT ITER 8486 NEW BEST:: SOT 1214521 SOS 286391 HAS SOPS 259235 HAS SOUS 197359 HAS SOUPS 193104 WITH SCORE 193390.391
AT ITER 8492 NEW BEST:: SOT 1214502 SOS 286372 HAS SOPS 259216 HAS SOUS 197345 HAS SOUPS 193090 WITH SCORE 193376.372
AT ITER 8510 NEW BEST:: SOT 1214502 SOS 286372 HAS SOPS 259216 HAS SOUS 197252 HAS SOUPS 192997 WITH SCORE 193283.372
AT ITER 8513 NEW BEST:: SOT 1214484 SOS 286408 HAS SOPS 259234 HAS SOUS 197239 HAS SOUPS 192966 WITH SCORE 193252.408
AT ITER 8524 NEW BEST:: SOT 1214402 SOS 280736 HAS SOPS 253562 HAS SOUS 197055 HAS SOUPS 192782 WITH SCORE 193062.736
AT ITER 8535 NEW BEST:: SOT 1214402 SOS 280723 HAS SOPS 253549 HAS SOUS 197055 HAS SOUPS 192782 WITH SCORE 193062.723
AT ITER 8639 NEW BEST:: SOT 1214404 SOS 280719 HAS SOPS 253545 HAS SOUS 197053 HAS SOUPS 192780 WITH SCORE 193060.719
AT ITER 8653 NEW BEST:: SOT 1214389 SOS 280674 HAS SOPS 253500 HAS SOUS 197023 HAS SOUPS 192750 WITH SCORE 193030.674
AT ITER 8772 NEW BEST:: SOT 1214389 SOS 280674 HAS SOPS 253500 HAS SOUS 196988 HAS SOUPS 192715 WITH SCORE 192995.674
AT ITER 8786 NEW BEST:: SOT 1214353 SOS 280638 HAS SOPS 253446 HAS SOUS 196934 HAS SOUPS 192661 WITH SCORE 192941.638
AT ITER 8846 NEW BEST:: SOT 1214311 SOS 280669 HAS SOPS 253435 HAS SOUS 196905 HAS SOUPS 192590 WITH SCORE 192870.669
AT ITER 8876 NEW BEST:: SOT 1214311 SOS 280668 HAS SOPS 253434 HAS SOUS 196905 HAS SOUPS 192590 WITH SCORE 192870.668
AT ITER 8904 NEW BEST:: SOT 1214292 SOS 278071 HAS SOPS 250837 HAS SOUS 196886 HAS SOUPS 192571 WITH SCORE 192849.071
AT ITER 8970 NEW BEST:: SOT 1214310 SOS 278089 HAS SOPS 250855 HAS SOUS 196769 HAS SOUPS 192454 WITH SCORE 192732.089
AT ITER 9026 NEW BEST:: SOT 1214223 SOS 278002 HAS SOPS 250768 HAS SOUS 196679 HAS SOUPS 192364 WITH SCORE 192642.002
AT ITER 9056 NEW BEST:: SOT 1214199 SOS 277933 HAS SOPS 250083 HAS SOUS 196038 HAS SOUPS 191723 WITH SCORE 192000.933
AT ITER 9074 NEW BEST:: SOT 1214174 SOS 277908 HAS SOPS 250058 HAS SOUS 195988 HAS SOUPS 191673 WITH SCORE 191950.908
AT ITER 9120 NEW BEST:: SOT 1214157 SOS 277891 HAS SOPS 250041 HAS SOUS 195986 HAS SOUPS 191671 WITH SCORE 191948.891
AT ITER 9125 NEW BEST:: SOT 1214157 SOS 277885 HAS SOPS 250035 HAS SOUS 195986 HAS SOUPS 191671 WITH SCORE 191948.885
AT ITER 9135 NEW BEST:: SOT 1214103 SOS 277831 HAS SOPS 249981 HAS SOUS 195925 HAS SOUPS 191610 WITH SCORE 191887.831
AT ITER 9194 NEW BEST:: SOT 1214103 SOS 277821 HAS SOPS 249971 HAS SOUS 195925 HAS SOUPS 191610 WITH SCORE 191887.821
AT ITER 9250 NEW BEST:: SOT 1214073 SOS 277791 HAS SOPS 249941 HAS SOUS 195891 HAS SOUPS 191576 WITH SCORE 191853.791
AT ITER 9252 NEW BEST:: SOT 1214000 SOS 276545 HAS SOPS 248695 HAS SOUS 195745 HAS SOUPS 191430 WITH SCORE 191706.545
AT ITER 9267 NEW BEST:: SOT 1213977 SOS 276522 HAS SOPS 248672 HAS SOUS 195699 HAS SOUPS 191384 WITH SCORE 191660.522
AT ITER 9270 NEW BEST:: SOT 1213893 SOS 276438 HAS SOPS 248588 HAS SOUS 195464 HAS SOUPS 191149 WITH SCORE 191425.438
AT ITER 9275 NEW BEST:: SOT 1213893 SOS 276364 HAS SOPS 248500 HAS SOUS 195464 HAS SOUPS 191149 WITH SCORE 191425.364
AT ITER 9278 NEW BEST:: SOT 1213836 SOS 276455 HAS SOPS 248505 HAS SOUS 195407 HAS SOUPS 191057 WITH SCORE 191333.455
AT ITER 9285 NEW BEST:: SOT 1213832 SOS 276451 HAS SOPS 248501 HAS SOUS 195399 HAS SOUPS 191049 WITH SCORE 191325.451
AT ITER 9287 NEW BEST:: SOT 1213443 SOS 277990 HAS SOPS 250405 HAS SOUS 195390 HAS SOUPS 191040 WITH SCORE 191317.99
AT ITER 9292 NEW BEST:: SOT 1213424 SOS 277971 HAS SOPS 250403 HAS SOUS 195352 HAS SOUPS 191002 WITH SCORE 191279.971
AT ITER 9300 NEW BEST:: SOT 1213400 SOS 277922 HAS SOPS 250330 HAS SOUS 195314 HAS SOUPS 190944 WITH SCORE 191221.922
AT ITER 9358 NEW BEST:: SOT 1213400 SOS 277890 HAS SOPS 250298 HAS SOUS 195314 HAS SOUPS 190944 WITH SCORE 191221.89
AT ITER 9368 NEW BEST:: SOT 1213392 SOS 277882 HAS SOPS 250290 HAS SOUS 195298 HAS SOUPS 190928 WITH SCORE 191205.882
AT ITER 9373 NEW BEST:: SOT 1213427 SOS 277677 HAS SOPS 250048 HAS SOUS 195296 HAS SOUPS 190926 WITH SCORE 191203.677
AT ITER 9423 NEW BEST:: SOT 1213383 SOS 277633 HAS SOPS 250004 HAS SOUS 195208 HAS SOUPS 190838 WITH SCORE 191115.633
AT ITER 9481 NEW BEST:: SOT 1213813 SOS 278120 HAS SOPS 249703 HAS SOUS 194928 HAS SOUPS 190558 WITH SCORE 190836.12
AT ITER 9486 NEW BEST:: SOT 1213734 SOS 278069 HAS SOPS 249652 HAS SOUS 194849 HAS SOUPS 190479 WITH SCORE 190757.069
AT ITER 9518 NEW BEST:: SOT 1213720 SOS 278055 HAS SOPS 249624 HAS SOUS 194835 HAS SOUPS 190451 WITH SCORE 190729.055
AT ITER 9542 NEW BEST:: SOT 1213662 SOS 278121 HAS SOPS 249632 HAS SOUS 194801 HAS SOUPS 190370 WITH SCORE 190648.121
AT ITER 9554 NEW BEST:: SOT 1213591 SOS 278201 HAS SOPS 249616 HAS SOUS 194675 HAS SOUPS 190228 WITH SCORE 190506.201
AT ITER 9556 NEW BEST:: SOT 1213545 SOS 278141 HAS SOPS 249510 HAS SOUS 194583 HAS SOUPS 190136 WITH SCORE 190414.141
AT ITER 9584 NEW BEST:: SOT 1213516 SOS 278045 HAS SOPS 249414 HAS SOUS 194525 HAS SOUPS 190078 WITH SCORE 190356.045
AT ITER 9598 NEW BEST:: SOT 1213591 SOS 278120 HAS SOPS 249489 HAS SOUS 194516 HAS SOUPS 190069 WITH SCORE 190347.12
AT ITER 9604 NEW BEST:: SOT 1213545 SOS 277440 HAS SOPS 248809 HAS SOUS 194470 HAS SOUPS 190023 WITH SCORE 190300.44
AT ITER 9617 NEW BEST:: SOT 1213545 SOS 277437 HAS SOPS 248806 HAS SOUS 194470 HAS SOUPS 190023 WITH SCORE 190300.437
AT ITER 9624 NEW BEST:: SOT 1213545 SOS 277395 HAS SOPS 248764 HAS SOUS 194470 HAS SOUPS 190023 WITH SCORE 190300.395
AT ITER 9638 NEW BEST:: SOT 1213545 SOS 277368 HAS SOPS 248737 HAS SOUS 194443 HAS SOUPS 189996 WITH SCORE 190273.368
AT ITER 9650 NEW BEST:: SOT 1213522 SOS 277458 HAS SOPS 248804 HAS SOUS 194458 HAS SOUPS 189994 WITH SCORE 190271.458
AT ITER 9654 NEW BEST:: SOT 1213483 SOS 277419 HAS SOPS 248765 HAS SOUS 194446 HAS SOUPS 189982 WITH SCORE 190259.419
AT ITER 9700 NEW BEST:: SOT 1213455 SOS 277409 HAS SOPS 248737 HAS SOUS 194418 HAS SOUPS 189954 WITH SCORE 190231.409
AT ITER 9742 NEW BEST:: SOT 1213455 SOS 277002 HAS SOPS 248330 HAS SOUS 194418 HAS SOUPS 189954 WITH SCORE 190231.002
AT ITER 9751 NEW BEST:: SOT 1213439 SOS 276986 HAS SOPS 248314 HAS SOUS 194402 HAS SOUPS 189938 WITH SCORE 190214.986
AT ITER 9820 NEW BEST:: SOT 1213334 SOS 276146 HAS SOPS 247369 HAS SOUS 194192 HAS SOUPS 189728 WITH SCORE 190004.146
AT ITER 9837 NEW BEST:: SOT 1213303 SOS 276084 HAS SOPS 247307 HAS SOUS 194161 HAS SOUPS 189697 WITH SCORE 189973.084
AT ITER 9854 NEW BEST:: SOT 1213247 SOS 275411 HAS SOPS 246634 HAS SOUS 194017 HAS SOUPS 189553 WITH SCORE 189828.411
AT ITER 9877 NEW BEST:: SOT 1213201 SOS 275411 HAS SOPS 246634 HAS SOUS 193971 HAS SOUPS 189507 WITH SCORE 189782.411
AT ITER 9890 NEW BEST:: SOT 1213201 SOS 275411 HAS SOPS 246634 HAS SOUS 193951 HAS SOUPS 189487 WITH SCORE 189762.411
AT ITER 9899 NEW BEST:: SOT 1213183 SOS 275393 HAS SOPS 246616 HAS SOUS 193915 HAS SOUPS 189451 WITH SCORE 189726.393
AT ITER 9936 NEW BEST:: SOT 1213183 SOS 275393 HAS SOPS 246616 HAS SOUS 193895 HAS SOUPS 189431 WITH SCORE 189706.393
AT ITER 9988 NEW BEST:: SOT 1213144 SOS 275511 HAS SOPS 246734 HAS SOUS 193856 HAS SOUPS 189392 WITH SCORE 189667.511
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 6367436 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16122828 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//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
+ 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="LeafsetExtension-PT-S16C4"
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 LeafsetExtension-PT-S16C4, 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 r235-tall-167856421900496"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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