About the Execution of Smart+red for LeafsetExtension-PT-S16C2
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1672.636 | 1198712.00 | 1214150.00 | 4216.00 | 2.4477E+0006 5.0382E+0006 2 24 | normal |
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-167856421800480.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-S16C2, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r235-tall-167856421800480
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.4M
-rw-r--r-- 1 mcc users 11K Feb 25 16:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 74K Feb 25 16:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 10K Feb 25 16:51 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 25 16:51 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.4K Feb 25 16:20 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 16:20 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:20 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:20 LTLFireability.xml
-rw-r--r-- 1 mcc users 25K Feb 25 16:53 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 156K 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:20 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.2K Feb 25 16:20 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 1678658942843
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-S16C2
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-12 22:09:04] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-12 22:09:04] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-12 22:09:04] [INFO ] Load time of PNML (sax parser for PT used): 102 ms
[2023-03-12 22:09:04] [INFO ] Transformed 1542 places.
[2023-03-12 22:09:04] [INFO ] Transformed 1449 transitions.
[2023-03-12 22:09:04] [INFO ] Parsed PT model containing 1542 places and 1449 transitions and 4668 arcs in 170 ms.
[2023-03-12 22:09:04] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1542 places, 1449 transitions and 4668 arcs took 14 ms.
Total runtime 211 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running LeafsetExtension (PT), instance S16C2
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 7 NEW BEST:: SOT 1243839 SOS 267353 HAS SOPS 263443 HAS SOUS 236733 HAS SOUPS 235220 WITH SCORE 235487.353
AT ITER 12 NEW BEST:: SOT 1243669 SOS 267183 HAS SOPS 263273 HAS SOUS 236563 HAS SOUPS 235050 WITH SCORE 235317.183
AT ITER 26 NEW BEST:: SOT 1243595 SOS 266908 HAS SOPS 262998 HAS SOUS 236400 HAS SOUPS 234887 WITH SCORE 235153.908
AT ITER 30 NEW BEST:: SOT 1243562 SOS 266578 HAS SOPS 262668 HAS SOUS 236334 HAS SOUPS 234821 WITH SCORE 235087.578
AT ITER 35 NEW BEST:: SOT 1243510 SOS 266526 HAS SOPS 262616 HAS SOUS 236282 HAS SOUPS 234769 WITH SCORE 235035.526
AT ITER 51 NEW BEST:: SOT 1243142 SOS 270388 HAS SOPS 262643 HAS SOUS 236484 HAS SOUPS 234730 WITH SCORE 235000.388
AT ITER 68 NEW BEST:: SOT 1243142 SOS 270333 HAS SOPS 262588 HAS SOUS 236484 HAS SOUPS 234730 WITH SCORE 235000.333
AT ITER 81 NEW BEST:: SOT 1243142 SOS 270292 HAS SOPS 262547 HAS SOUS 236484 HAS SOUPS 234730 WITH SCORE 235000.292
AT ITER 82 NEW BEST:: SOT 1243008 SOS 270292 HAS SOPS 262547 HAS SOUS 236350 HAS SOUPS 234596 WITH SCORE 234866.292
AT ITER 176 NEW BEST:: SOT 1241072 SOS 270842 HAS SOPS 263097 HAS SOUS 234737 HAS SOUPS 232983 WITH SCORE 233253.842
AT ITER 248 NEW BEST:: SOT 1239368 SOS 272712 HAS SOPS 264967 HAS SOUS 233694 HAS SOUPS 231940 WITH SCORE 232212.712
AT ITER 283 NEW BEST:: SOT 1230437 SOS 271667 HAS SOPS 263922 HAS SOUS 224888 HAS SOUPS 223134 WITH SCORE 223405.667
AT ITER 296 NEW BEST:: SOT 1230432 SOS 271662 HAS SOPS 263917 HAS SOUS 224883 HAS SOUPS 223129 WITH SCORE 223400.662
AT ITER 306 NEW BEST:: SOT 1230432 SOS 271662 HAS SOPS 263917 HAS SOUS 224757 HAS SOUPS 223003 WITH SCORE 223274.662
AT ITER 313 NEW BEST:: SOT 1230487 SOS 271717 HAS SOPS 263972 HAS SOUS 224704 HAS SOUPS 222950 WITH SCORE 223221.717
AT ITER 349 NEW BEST:: SOT 1230487 SOS 271717 HAS SOPS 263972 HAS SOUS 224580 HAS SOUPS 222826 WITH SCORE 223097.717
AT ITER 379 NEW BEST:: SOT 1230387 SOS 271088 HAS SOPS 263343 HAS SOUS 224451 HAS SOUPS 222697 WITH SCORE 222968.088
AT ITER 408 NEW BEST:: SOT 1230315 SOS 271016 HAS SOPS 263271 HAS SOUS 224307 HAS SOUPS 222553 WITH SCORE 222824.016
AT ITER 445 NEW BEST:: SOT 1230256 SOS 270957 HAS SOPS 263212 HAS SOUS 224248 HAS SOUPS 222494 WITH SCORE 222764.957
AT ITER 501 NEW BEST:: SOT 1228444 SOS 269677 HAS SOPS 261930 HAS SOUS 222561 HAS SOUPS 220807 WITH SCORE 221076.677
AT ITER 509 NEW BEST:: SOT 1228355 SOS 269750 HAS SOPS 262003 HAS SOUS 222545 HAS SOUPS 220791 WITH SCORE 221060.75
AT ITER 552 NEW BEST:: SOT 1228291 SOS 269692 HAS SOPS 261945 HAS SOUS 222481 HAS SOUPS 220727 WITH SCORE 220996.692
AT ITER 568 NEW BEST:: SOT 1228291 SOS 269680 HAS SOPS 261933 HAS SOUS 222481 HAS SOUPS 220727 WITH SCORE 220996.68
AT ITER 578 NEW BEST:: SOT 1228381 SOS 269770 HAS SOPS 262023 HAS SOUS 222480 HAS SOUPS 220726 WITH SCORE 220995.77
AT ITER 588 NEW BEST:: SOT 1228352 SOS 269743 HAS SOPS 261996 HAS SOUS 222451 HAS SOUPS 220697 WITH SCORE 220966.743
AT ITER 612 NEW BEST:: SOT 1228262 SOS 268968 HAS SOPS 261221 HAS SOUS 222271 HAS SOUPS 220517 WITH SCORE 220785.968
AT ITER 637 NEW BEST:: SOT 1228172 SOS 268986 HAS SOPS 261239 HAS SOUS 222192 HAS SOUPS 220438 WITH SCORE 220706.986
AT ITER 647 NEW BEST:: SOT 1228172 SOS 268916 HAS SOPS 261169 HAS SOUS 222192 HAS SOUPS 220438 WITH SCORE 220706.916
AT ITER 673 NEW BEST:: SOT 1228310 SOS 270659 HAS SOPS 261162 HAS SOUS 222330 HAS SOUPS 220431 WITH SCORE 220701.659
AT ITER 691 NEW BEST:: SOT 1228310 SOS 270649 HAS SOPS 261152 HAS SOUS 222329 HAS SOUPS 220430 WITH SCORE 220700.649
AT ITER 720 NEW BEST:: SOT 1228247 SOS 270604 HAS SOPS 261107 HAS SOUS 222288 HAS SOUPS 220389 WITH SCORE 220659.604
AT ITER 771 NEW BEST:: SOT 1228247 SOS 270604 HAS SOPS 261107 HAS SOUS 222226 HAS SOUPS 220327 WITH SCORE 220597.604
AT ITER 779 NEW BEST:: SOT 1228247 SOS 270604 HAS SOPS 261107 HAS SOUS 222113 HAS SOUPS 220214 WITH SCORE 220484.604
AT ITER 811 NEW BEST:: SOT 1228177 SOS 270540 HAS SOPS 261043 HAS SOUS 222043 HAS SOUPS 220144 WITH SCORE 220414.54
AT ITER 814 NEW BEST:: SOT 1228177 SOS 270529 HAS SOPS 261032 HAS SOUS 222032 HAS SOUPS 220133 WITH SCORE 220403.529
AT ITER 816 NEW BEST:: SOT 1228615 SOS 270967 HAS SOPS 260543 HAS SOUS 222561 HAS SOUPS 219735 WITH SCORE 220005.967
AT ITER 837 NEW BEST:: SOT 1229013 SOS 271111 HAS SOPS 260931 HAS SOUS 222436 HAS SOUPS 219690 WITH SCORE 219961.111
AT ITER 857 NEW BEST:: SOT 1228815 SOS 270913 HAS SOPS 260638 HAS SOUS 222230 HAS SOUPS 219397 WITH SCORE 219667.913
AT ITER 883 NEW BEST:: SOT 1228858 SOS 270956 HAS SOPS 260681 HAS SOUS 222159 HAS SOUPS 219326 WITH SCORE 219596.956
AT ITER 904 NEW BEST:: SOT 1228858 SOS 270908 HAS SOPS 260633 HAS SOUS 222159 HAS SOUPS 219326 WITH SCORE 219596.908
AT ITER 947 NEW BEST:: SOT 1228812 SOS 270862 HAS SOPS 260587 HAS SOUS 222108 HAS SOUPS 219275 WITH SCORE 219545.862
AT ITER 961 NEW BEST:: SOT 1228812 SOS 270842 HAS SOPS 260567 HAS SOUS 222108 HAS SOUPS 219275 WITH SCORE 219545.842
AT ITER 978 NEW BEST:: SOT 1228674 SOS 268324 HAS SOPS 260429 HAS SOUS 221832 HAS SOUPS 219139 WITH SCORE 219407.324
AT ITER 992 NEW BEST:: SOT 1228674 SOS 268324 HAS SOPS 260429 HAS SOUS 221702 HAS SOUPS 219009 WITH SCORE 219277.324
AT ITER 995 NEW BEST:: SOT 1228581 SOS 267098 HAS SOPS 259203 HAS SOUS 221516 HAS SOUPS 218823 WITH SCORE 219090.098
AT ITER 996 NEW BEST:: SOT 1228511 SOS 267028 HAS SOPS 259133 HAS SOUS 221446 HAS SOUPS 218753 WITH SCORE 219020.028
AT ITER 1000 NEW BEST:: SOT 1228511 SOS 267028 HAS SOPS 259133 HAS SOUS 221350 HAS SOUPS 218657 WITH SCORE 218924.028
AT ITER 1041 NEW BEST:: SOT 1228511 SOS 266978 HAS SOPS 259083 HAS SOUS 221350 HAS SOUPS 218657 WITH SCORE 218923.978
AT ITER 1053 NEW BEST:: SOT 1228465 SOS 266932 HAS SOPS 259037 HAS SOUS 221258 HAS SOUPS 218565 WITH SCORE 218831.932
AT ITER 1069 NEW BEST:: SOT 1228241 SOS 266787 HAS SOPS 258892 HAS SOUS 221080 HAS SOUPS 218387 WITH SCORE 218653.787
AT ITER 1070 NEW BEST:: SOT 1228625 SOS 267119 HAS SOPS 257604 HAS SOUS 220031 HAS SOUPS 217225 WITH SCORE 217492.119
AT ITER 1147 NEW BEST:: SOT 1228558 SOS 266978 HAS SOPS 257396 HAS SOUS 219923 HAS SOUPS 217091 WITH SCORE 217357.978
AT ITER 1152 NEW BEST:: SOT 1228536 SOS 266978 HAS SOPS 257396 HAS SOUS 219901 HAS SOUPS 217069 WITH SCORE 217335.978
AT ITER 1162 NEW BEST:: SOT 1228536 SOS 266958 HAS SOPS 257376 HAS SOUS 219901 HAS SOUPS 217069 WITH SCORE 217335.958
AT ITER 1165 NEW BEST:: SOT 1228497 SOS 266922 HAS SOPS 257340 HAS SOUS 219868 HAS SOUPS 217036 WITH SCORE 217302.922
AT ITER 1222 NEW BEST:: SOT 1228497 SOS 266834 HAS SOPS 257252 HAS SOUS 219780 HAS SOUPS 216948 WITH SCORE 217214.834
AT ITER 1258 NEW BEST:: SOT 1228497 SOS 266732 HAS SOPS 257150 HAS SOUS 219748 HAS SOUPS 216916 WITH SCORE 217182.732
AT ITER 1262 NEW BEST:: SOT 1228497 SOS 266732 HAS SOPS 257150 HAS SOUS 219744 HAS SOUPS 216912 WITH SCORE 217178.732
AT ITER 1263 NEW BEST:: SOT 1227045 SOS 267175 HAS SOPS 257593 HAS SOUS 218571 HAS SOUPS 215739 WITH SCORE 216006.175
AT ITER 1325 NEW BEST:: SOT 1227045 SOS 267171 HAS SOPS 257589 HAS SOUS 218571 HAS SOUPS 215739 WITH SCORE 216006.171
AT ITER 1350 NEW BEST:: SOT 1226959 SOS 267093 HAS SOPS 257511 HAS SOUS 218485 HAS SOUPS 215653 WITH SCORE 215920.093
AT ITER 1385 NEW BEST:: SOT 1226869 SOS 267093 HAS SOPS 257511 HAS SOUS 218395 HAS SOUPS 215563 WITH SCORE 215830.093
AT ITER 1388 NEW BEST:: SOT 1226798 SOS 266951 HAS SOPS 257369 HAS SOUS 218253 HAS SOUPS 215421 WITH SCORE 215687.951
AT ITER 1396 NEW BEST:: SOT 1226765 SOS 266930 HAS SOPS 257348 HAS SOUS 218232 HAS SOUPS 215400 WITH SCORE 215666.93
AT ITER 1398 NEW BEST:: SOT 1226525 SOS 266710 HAS SOPS 257128 HAS SOUS 218012 HAS SOUPS 215180 WITH SCORE 215446.71
AT ITER 1419 NEW BEST:: SOT 1224990 SOS 270734 HAS SOPS 261152 HAS SOUS 217183 HAS SOUPS 214351 WITH SCORE 214621.734
AT ITER 1458 NEW BEST:: SOT 1224893 SOS 270143 HAS SOPS 260561 HAS SOUS 217070 HAS SOUPS 214238 WITH SCORE 214508.143
AT ITER 1469 NEW BEST:: SOT 1224854 SOS 270104 HAS SOPS 260522 HAS SOUS 216992 HAS SOUPS 214160 WITH SCORE 214430.104
AT ITER 1490 NEW BEST:: SOT 1224854 SOS 270104 HAS SOPS 260522 HAS SOUS 216944 HAS SOUPS 214112 WITH SCORE 214382.104
AT ITER 1501 NEW BEST:: SOT 1224854 SOS 270104 HAS SOPS 260522 HAS SOUS 216844 HAS SOUPS 214012 WITH SCORE 214282.104
AT ITER 1504 NEW BEST:: SOT 1224854 SOS 270104 HAS SOPS 260522 HAS SOUS 216767 HAS SOUPS 213935 WITH SCORE 214205.104
AT ITER 1543 NEW BEST:: SOT 1224672 SOS 269908 HAS SOPS 260144 HAS SOUS 216403 HAS SOUPS 213571 WITH SCORE 213840.908
AT ITER 1584 NEW BEST:: SOT 1224608 SOS 269426 HAS SOPS 259662 HAS SOUS 216291 HAS SOUPS 213459 WITH SCORE 213728.426
AT ITER 1686 NEW BEST:: SOT 1224676 SOS 269494 HAS SOPS 259730 HAS SOUS 216258 HAS SOUPS 213426 WITH SCORE 213695.494
AT ITER 1706 NEW BEST:: SOT 1224676 SOS 269465 HAS SOPS 259701 HAS SOUS 216229 HAS SOUPS 213397 WITH SCORE 213666.465
AT ITER 1764 NEW BEST:: SOT 1224648 SOS 269437 HAS SOPS 259673 HAS SOUS 216202 HAS SOUPS 213370 WITH SCORE 213639.437
AT ITER 1792 NEW BEST:: SOT 1224732 SOS 269521 HAS SOPS 259757 HAS SOUS 216192 HAS SOUPS 213360 WITH SCORE 213629.521
AT ITER 1810 NEW BEST:: SOT 1224708 SOS 269515 HAS SOPS 259751 HAS SOUS 216145 HAS SOUPS 213313 WITH SCORE 213582.515
AT ITER 1816 NEW BEST:: SOT 1224603 SOS 269577 HAS SOPS 259813 HAS SOUS 216102 HAS SOUPS 213270 WITH SCORE 213539.577
AT ITER 1840 NEW BEST:: SOT 1224498 SOS 269698 HAS SOPS 259934 HAS SOUS 216006 HAS SOUPS 213174 WITH SCORE 213443.698
AT ITER 1844 NEW BEST:: SOT 1224498 SOS 269652 HAS SOPS 259888 HAS SOUS 215955 HAS SOUPS 213123 WITH SCORE 213392.652
AT ITER 1848 NEW BEST:: SOT 1224502 SOS 270698 HAS SOPS 259892 HAS SOUS 214923 HAS SOUPS 212091 WITH SCORE 212361.698
AT ITER 1849 NEW BEST:: SOT 1224520 SOS 270560 HAS SOPS 259754 HAS SOUS 214863 HAS SOUPS 212031 WITH SCORE 212301.56
AT ITER 1860 NEW BEST:: SOT 1224520 SOS 270560 HAS SOPS 259754 HAS SOUS 214829 HAS SOUPS 211997 WITH SCORE 212267.56
AT ITER 1874 NEW BEST:: SOT 1224520 SOS 270560 HAS SOPS 259754 HAS SOUS 214718 HAS SOUPS 211886 WITH SCORE 212156.56
AT ITER 1918 NEW BEST:: SOT 1224595 SOS 270635 HAS SOPS 259829 HAS SOUS 214695 HAS SOUPS 211863 WITH SCORE 212133.635
AT ITER 1966 NEW BEST:: SOT 1223333 SOS 278370 HAS SOPS 267564 HAS SOUS 214631 HAS SOUPS 211799 WITH SCORE 212077.37
AT ITER 1972 NEW BEST:: SOT 1223265 SOS 278342 HAS SOPS 267536 HAS SOUS 214609 HAS SOUPS 211777 WITH SCORE 212055.342
AT ITER 2010 NEW BEST:: SOT 1223243 SOS 278383 HAS SOPS 267577 HAS SOUS 214600 HAS SOUPS 211768 WITH SCORE 212046.383
AT ITER 2016 NEW BEST:: SOT 1223243 SOS 278378 HAS SOPS 267572 HAS SOUS 214434 HAS SOUPS 211602 WITH SCORE 211880.378
AT ITER 2063 NEW BEST:: SOT 1223197 SOS 277466 HAS SOPS 266660 HAS SOUS 214427 HAS SOUPS 211595 WITH SCORE 211872.466
AT ITER 2112 NEW BEST:: SOT 1223197 SOS 277450 HAS SOPS 266644 HAS SOUS 214427 HAS SOUPS 211595 WITH SCORE 211872.45
AT ITER 2119 NEW BEST:: SOT 1223197 SOS 277375 HAS SOPS 266569 HAS SOUS 214427 HAS SOUPS 211595 WITH SCORE 211872.375
AT ITER 2178 NEW BEST:: SOT 1223196 SOS 277140 HAS SOPS 266334 HAS SOUS 214397 HAS SOUPS 211565 WITH SCORE 211842.14
AT ITER 2211 NEW BEST:: SOT 1224751 SOS 278746 HAS SOPS 265784 HAS SOUS 214232 HAS SOUPS 211243 WITH SCORE 211521.746
AT ITER 2232 NEW BEST:: SOT 1224751 SOS 278746 HAS SOPS 265784 HAS SOUS 214225 HAS SOUPS 211236 WITH SCORE 211514.746
AT ITER 2246 NEW BEST:: SOT 1224635 SOS 277897 HAS SOPS 264935 HAS SOUS 214031 HAS SOUPS 211042 WITH SCORE 211319.897
AT ITER 2283 NEW BEST:: SOT 1224487 SOS 277990 HAS SOPS 265028 HAS SOUS 214014 HAS SOUPS 211025 WITH SCORE 211302.99
AT ITER 2340 NEW BEST:: SOT 1224487 SOS 277983 HAS SOPS 265021 HAS SOUS 214014 HAS SOUPS 211025 WITH SCORE 211302.983
AT ITER 2371 NEW BEST:: SOT 1224367 SOS 278074 HAS SOPS 265112 HAS SOUS 213985 HAS SOUPS 210996 WITH SCORE 211274.074
AT ITER 2399 NEW BEST:: SOT 1224367 SOS 278066 HAS SOPS 265104 HAS SOUS 213977 HAS SOUPS 210988 WITH SCORE 211266.066
AT ITER 2427 NEW BEST:: SOT 1224367 SOS 278040 HAS SOPS 265078 HAS SOUS 213977 HAS SOUPS 210988 WITH SCORE 211266.04
AT ITER 2439 NEW BEST:: SOT 1224358 SOS 278031 HAS SOPS 265069 HAS SOUS 213939 HAS SOUPS 210950 WITH SCORE 211228.031
AT ITER 2440 NEW BEST:: SOT 1224358 SOS 278052 HAS SOPS 265090 HAS SOUS 213916 HAS SOUPS 210927 WITH SCORE 211205.052
AT ITER 2452 NEW BEST:: SOT 1224358 SOS 278034 HAS SOPS 265072 HAS SOUS 213916 HAS SOUPS 210927 WITH SCORE 211205.034
AT ITER 2466 NEW BEST:: SOT 1224292 SOS 277902 HAS SOPS 264874 HAS SOUS 213850 HAS SOUPS 210795 WITH SCORE 211072.902
AT ITER 2532 NEW BEST:: SOT 1224292 SOS 277902 HAS SOPS 264874 HAS SOUS 213728 HAS SOUPS 210673 WITH SCORE 210950.902
AT ITER 2537 NEW BEST:: SOT 1224247 SOS 277812 HAS SOPS 264644 HAS SOUS 213773 HAS SOUPS 210583 WITH SCORE 210860.812
AT ITER 2544 NEW BEST:: SOT 1224247 SOS 277812 HAS SOPS 264644 HAS SOUS 213677 HAS SOUPS 210487 WITH SCORE 210764.812
AT ITER 2593 NEW BEST:: SOT 1224177 SOS 277737 HAS SOPS 264569 HAS SOUS 213602 HAS SOUPS 210412 WITH SCORE 210689.737
AT ITER 2597 NEW BEST:: SOT 1224004 SOS 277600 HAS SOPS 264419 HAS SOUS 213429 HAS SOUPS 210239 WITH SCORE 210516.6
AT ITER 2635 NEW BEST:: SOT 1223878 SOS 277618 HAS SOPS 264437 HAS SOUS 213384 HAS SOUPS 210194 WITH SCORE 210471.618
AT ITER 2659 NEW BEST:: SOT 1223873 SOS 277613 HAS SOPS 264432 HAS SOUS 213374 HAS SOUPS 210184 WITH SCORE 210461.613
AT ITER 2718 NEW BEST:: SOT 1223873 SOS 277573 HAS SOPS 264392 HAS SOUS 213374 HAS SOUPS 210184 WITH SCORE 210461.573
AT ITER 2733 NEW BEST:: SOT 1223873 SOS 277569 HAS SOPS 264388 HAS SOUS 213374 HAS SOUPS 210184 WITH SCORE 210461.569
AT ITER 2762 NEW BEST:: SOT 1223828 SOS 277536 HAS SOPS 264355 HAS SOUS 213329 HAS SOUPS 210139 WITH SCORE 210416.536
AT ITER 2765 NEW BEST:: SOT 1223828 SOS 277536 HAS SOPS 264355 HAS SOUS 213305 HAS SOUPS 210115 WITH SCORE 210392.536
AT ITER 2868 NEW BEST:: SOT 1223828 SOS 277536 HAS SOPS 264355 HAS SOUS 213191 HAS SOUPS 210001 WITH SCORE 210278.536
AT ITER 2871 NEW BEST:: SOT 1223864 SOS 277572 HAS SOPS 264391 HAS SOUS 213153 HAS SOUPS 209963 WITH SCORE 210240.572
AT ITER 2879 NEW BEST:: SOT 1223864 SOS 276599 HAS SOPS 263418 HAS SOUS 213153 HAS SOUPS 209963 WITH SCORE 210239.599
AT ITER 2928 NEW BEST:: SOT 1223864 SOS 276599 HAS SOPS 263418 HAS SOUS 213091 HAS SOUPS 209901 WITH SCORE 210177.599
AT ITER 2953 NEW BEST:: SOT 1223394 SOS 276154 HAS SOPS 262973 HAS SOUS 212645 HAS SOUPS 209455 WITH SCORE 209731.154
AT ITER 2981 NEW BEST:: SOT 1223394 SOS 276154 HAS SOPS 262973 HAS SOUS 212640 HAS SOUPS 209450 WITH SCORE 209726.154
AT ITER 3003 NEW BEST:: SOT 1223400 SOS 276160 HAS SOPS 262979 HAS SOUS 212515 HAS SOUPS 209325 WITH SCORE 209601.16
AT ITER 3028 NEW BEST:: SOT 1223394 SOS 276135 HAS SOPS 262954 HAS SOUS 212503 HAS SOUPS 209313 WITH SCORE 209589.135
AT ITER 3037 NEW BEST:: SOT 1223378 SOS 276119 HAS SOPS 262922 HAS SOUS 212470 HAS SOUPS 209280 WITH SCORE 209556.119
AT ITER 3040 NEW BEST:: SOT 1223126 SOS 276930 HAS SOPS 262674 HAS SOUS 212615 HAS SOUPS 209276 WITH SCORE 209552.93
AT ITER 3070 NEW BEST:: SOT 1223126 SOS 276829 HAS SOPS 262573 HAS SOUS 212559 HAS SOUPS 209220 WITH SCORE 209496.829
AT ITER 3081 NEW BEST:: SOT 1223126 SOS 276829 HAS SOPS 262573 HAS SOUS 212495 HAS SOUPS 209156 WITH SCORE 209432.829
AT ITER 3132 NEW BEST:: SOT 1223150 SOS 276853 HAS SOPS 262597 HAS SOUS 212456 HAS SOUPS 209117 WITH SCORE 209393.853
AT ITER 3162 NEW BEST:: SOT 1223150 SOS 276853 HAS SOPS 262597 HAS SOUS 212416 HAS SOUPS 209077 WITH SCORE 209353.853
AT ITER 3178 NEW BEST:: SOT 1223148 SOS 276849 HAS SOPS 262593 HAS SOUS 212414 HAS SOUPS 209075 WITH SCORE 209351.849
AT ITER 3207 NEW BEST:: SOT 1223136 SOS 278247 HAS SOPS 262581 HAS SOUS 212568 HAS SOUPS 209063 WITH SCORE 209341.247
AT ITER 3231 NEW BEST:: SOT 1223136 SOS 278248 HAS SOPS 262558 HAS SOUS 212545 HAS SOUPS 209040 WITH SCORE 209318.248
AT ITER 3272 NEW BEST:: SOT 1223134 SOS 278246 HAS SOPS 262556 HAS SOUS 212541 HAS SOUPS 209036 WITH SCORE 209314.246
AT ITER 3284 NEW BEST:: SOT 1223112 SOS 278202 HAS SOPS 262490 HAS SOUS 212519 HAS SOUPS 208992 WITH SCORE 209270.202
AT ITER 3295 NEW BEST:: SOT 1223074 SOS 278257 HAS SOPS 262545 HAS SOUS 212492 HAS SOUPS 208965 WITH SCORE 209243.257
AT ITER 3305 NEW BEST:: SOT 1223042 SOS 278015 HAS SOPS 262303 HAS SOUS 212428 HAS SOUPS 208901 WITH SCORE 209179.015
AT ITER 3330 NEW BEST:: SOT 1222994 SOS 277970 HAS SOPS 262210 HAS SOUS 212378 HAS SOUPS 208805 WITH SCORE 209082.97
AT ITER 3358 NEW BEST:: SOT 1223015 SOS 277991 HAS SOPS 262231 HAS SOUS 212322 HAS SOUPS 208749 WITH SCORE 209026.991
AT ITER 3377 NEW BEST:: SOT 1223053 SOS 278029 HAS SOPS 262269 HAS SOUS 212243 HAS SOUPS 208670 WITH SCORE 208948.029
AT ITER 3513 NEW BEST:: SOT 1223053 SOS 277975 HAS SOPS 262215 HAS SOUS 212243 HAS SOUPS 208670 WITH SCORE 208947.975
AT ITER 3526 NEW BEST:: SOT 1223023 SOS 277975 HAS SOPS 262185 HAS SOUS 212219 HAS SOUPS 208616 WITH SCORE 208893.975
AT ITER 3653 NEW BEST:: SOT 1222901 SOS 277998 HAS SOPS 262071 HAS SOUS 212137 HAS SOUPS 208399 WITH SCORE 208676.998
AT ITER 3679 NEW BEST:: SOT 1222911 SOS 278008 HAS SOPS 262081 HAS SOUS 212073 HAS SOUPS 208335 WITH SCORE 208613.008
AT ITER 3687 NEW BEST:: SOT 1222852 SOS 277994 HAS SOPS 262067 HAS SOUS 212000 HAS SOUPS 208262 WITH SCORE 208539.994
AT ITER 3720 NEW BEST:: SOT 1222792 SOS 277934 HAS SOPS 262007 HAS SOUS 211997 HAS SOUPS 208259 WITH SCORE 208536.934
AT ITER 3766 NEW BEST:: SOT 1222792 SOS 277934 HAS SOPS 262007 HAS SOUS 211935 HAS SOUPS 208197 WITH SCORE 208474.934
AT ITER 3777 NEW BEST:: SOT 1222792 SOS 277931 HAS SOPS 262004 HAS SOUS 211935 HAS SOUPS 208197 WITH SCORE 208474.931
AT ITER 3779 NEW BEST:: SOT 1222755 SOS 277905 HAS SOPS 261978 HAS SOUS 211898 HAS SOUPS 208160 WITH SCORE 208437.905
AT ITER 3783 NEW BEST:: SOT 1223131 SOS 278214 HAS SOPS 260076 HAS SOUS 210259 HAS SOUPS 206430 WITH SCORE 206708.214
AT ITER 3817 NEW BEST:: SOT 1223117 SOS 278200 HAS SOPS 260062 HAS SOUS 210245 HAS SOUPS 206416 WITH SCORE 206694.2
AT ITER 3820 NEW BEST:: SOT 1223105 SOS 278195 HAS SOPS 260057 HAS SOUS 210221 HAS SOUPS 206392 WITH SCORE 206670.195
AT ITER 3835 NEW BEST:: SOT 1223011 SOS 274220 HAS SOPS 256082 HAS SOUS 209948 HAS SOUPS 206119 WITH SCORE 206393.22
AT ITER 3837 NEW BEST:: SOT 1223011 SOS 274150 HAS SOPS 256012 HAS SOUS 209948 HAS SOUPS 206119 WITH SCORE 206393.15
AT ITER 3845 NEW BEST:: SOT 1222993 SOS 274150 HAS SOPS 256012 HAS SOUS 209930 HAS SOUPS 206101 WITH SCORE 206375.15
AT ITER 3851 NEW BEST:: SOT 1222972 SOS 274143 HAS SOPS 256005 HAS SOUS 209926 HAS SOUPS 206097 WITH SCORE 206371.143
AT ITER 3882 NEW BEST:: SOT 1223004 SOS 274175 HAS SOPS 256037 HAS SOUS 209851 HAS SOUPS 206022 WITH SCORE 206296.175
AT ITER 3907 NEW BEST:: SOT 1222992 SOS 273987 HAS SOPS 255849 HAS SOUS 209839 HAS SOUPS 206010 WITH SCORE 206283.987
AT ITER 3909 NEW BEST:: SOT 1222955 SOS 273950 HAS SOPS 255812 HAS SOUS 209765 HAS SOUPS 205936 WITH SCORE 206209.95
AT ITER 3959 NEW BEST:: SOT 1222923 SOS 273917 HAS SOPS 255779 HAS SOUS 209733 HAS SOUPS 205904 WITH SCORE 206177.917
AT ITER 3967 NEW BEST:: SOT 1222893 SOS 273818 HAS SOPS 255680 HAS SOUS 209703 HAS SOUPS 205874 WITH SCORE 206147.818
AT ITER 4003 NEW BEST:: SOT 1222924 SOS 273849 HAS SOPS 255711 HAS SOUS 209613 HAS SOUPS 205784 WITH SCORE 206057.849
AT ITER 4048 NEW BEST:: SOT 1223074 SOS 273881 HAS SOPS 255365 HAS SOUS 209326 HAS SOUPS 205497 WITH SCORE 205770.881
AT ITER 4055 NEW BEST:: SOT 1223016 SOS 273900 HAS SOPS 255384 HAS SOUS 209287 HAS SOUPS 205458 WITH SCORE 205731.9
AT ITER 4069 NEW BEST:: SOT 1222807 SOS 276231 HAS SOPS 257715 HAS SOUS 209130 HAS SOUPS 205301 WITH SCORE 205577.231
AT ITER 4089 NEW BEST:: SOT 1222807 SOS 276173 HAS SOPS 257657 HAS SOUS 209130 HAS SOUPS 205301 WITH SCORE 205577.173
AT ITER 4099 NEW BEST:: SOT 1222807 SOS 276095 HAS SOPS 257579 HAS SOUS 209130 HAS SOUPS 205301 WITH SCORE 205577.095
AT ITER 4134 NEW BEST:: SOT 1222807 SOS 276095 HAS SOPS 257579 HAS SOUS 209070 HAS SOUPS 205241 WITH SCORE 205517.095
AT ITER 4137 NEW BEST:: SOT 1222801 SOS 276089 HAS SOPS 257573 HAS SOUS 209064 HAS SOUPS 205235 WITH SCORE 205511.089
AT ITER 4148 NEW BEST:: SOT 1222781 SOS 276452 HAS SOPS 257553 HAS SOUS 209088 HAS SOUPS 205215 WITH SCORE 205491.452
AT ITER 4149 NEW BEST:: SOT 1222781 SOS 276444 HAS SOPS 257545 HAS SOUS 209080 HAS SOUPS 205207 WITH SCORE 205483.444
AT ITER 4169 NEW BEST:: SOT 1222706 SOS 276294 HAS SOPS 257395 HAS SOUS 208930 HAS SOUPS 205057 WITH SCORE 205333.294
AT ITER 4200 NEW BEST:: SOT 1222595 SOS 276005 HAS SOPS 257084 HAS SOUS 208722 HAS SOUPS 204849 WITH SCORE 205125.005
AT ITER 4227 NEW BEST:: SOT 1222539 SOS 276005 HAS SOPS 257028 HAS SOUS 208662 HAS SOUPS 204737 WITH SCORE 205013.005
AT ITER 4235 NEW BEST:: SOT 1222513 SOS 276000 HAS SOPS 257023 HAS SOUS 208656 HAS SOUPS 204731 WITH SCORE 205007.0
AT ITER 4270 NEW BEST:: SOT 1222513 SOS 276000 HAS SOPS 257023 HAS SOUS 208628 HAS SOUPS 204703 WITH SCORE 204979.0
AT ITER 4273 NEW BEST:: SOT 1222479 SOS 275977 HAS SOPS 257000 HAS SOUS 208594 HAS SOUPS 204669 WITH SCORE 204944.977
AT ITER 4276 NEW BEST:: SOT 1222483 SOS 275977 HAS SOPS 256993 HAS SOUS 208591 HAS SOUPS 204666 WITH SCORE 204941.977
AT ITER 4282 NEW BEST:: SOT 1222483 SOS 275860 HAS SOPS 256876 HAS SOUS 208591 HAS SOUPS 204666 WITH SCORE 204941.86
AT ITER 4293 NEW BEST:: SOT 1222401 SOS 275854 HAS SOPS 256955 HAS SOUS 208573 HAS SOUPS 204648 WITH SCORE 204923.854
AT ITER 4309 NEW BEST:: SOT 1222401 SOS 275814 HAS SOPS 256915 HAS SOUS 208573 HAS SOUPS 204648 WITH SCORE 204923.814
AT ITER 4315 NEW BEST:: SOT 1222385 SOS 275798 HAS SOPS 256883 HAS SOUS 208553 HAS SOUPS 204616 WITH SCORE 204891.798
AT ITER 4370 NEW BEST:: SOT 1222385 SOS 275798 HAS SOPS 256883 HAS SOUS 208463 HAS SOUPS 204526 WITH SCORE 204801.798
AT ITER 4468 NEW BEST:: SOT 1222385 SOS 275771 HAS SOPS 256856 HAS SOUS 208463 HAS SOUPS 204526 WITH SCORE 204801.771
AT ITER 4482 NEW BEST:: SOT 1222355 SOS 275501 HAS SOPS 256586 HAS SOUS 208403 HAS SOUPS 204466 WITH SCORE 204741.501
AT ITER 4490 NEW BEST:: SOT 1222355 SOS 275490 HAS SOPS 256575 HAS SOUS 208392 HAS SOUPS 204455 WITH SCORE 204730.49
AT ITER 4506 NEW BEST:: SOT 1222305 SOS 275440 HAS SOPS 256525 HAS SOUS 208343 HAS SOUPS 204406 WITH SCORE 204681.44
AT ITER 4521 NEW BEST:: SOT 1222210 SOS 275520 HAS SOPS 256605 HAS SOUS 208290 HAS SOUPS 204353 WITH SCORE 204628.52
AT ITER 4548 NEW BEST:: SOT 1222131 SOS 275470 HAS SOPS 256555 HAS SOUS 208227 HAS SOUPS 204290 WITH SCORE 204565.47
AT ITER 4565 NEW BEST:: SOT 1221969 SOS 275343 HAS SOPS 256516 HAS SOUS 208188 HAS SOUPS 204251 WITH SCORE 204526.343
AT ITER 4578 NEW BEST:: SOT 1221970 SOS 275333 HAS SOPS 256506 HAS SOUS 208183 HAS SOUPS 204246 WITH SCORE 204521.333
AT ITER 4587 NEW BEST:: SOT 1221886 SOS 275383 HAS SOPS 256556 HAS SOUS 208158 HAS SOUPS 204221 WITH SCORE 204496.383
AT ITER 4621 NEW BEST:: SOT 1221886 SOS 274773 HAS SOPS 256495 HAS SOUS 208097 HAS SOUPS 204221 WITH SCORE 204495.773
AT ITER 4623 NEW BEST:: SOT 1221840 SOS 274771 HAS SOPS 256493 HAS SOUS 208051 HAS SOUPS 204175 WITH SCORE 204449.771
AT ITER 4650 NEW BEST:: SOT 1221754 SOS 274685 HAS SOPS 256407 HAS SOUS 207965 HAS SOUPS 204089 WITH SCORE 204363.685
AT ITER 4715 NEW BEST:: SOT 1221716 SOS 274647 HAS SOPS 256369 HAS SOUS 207889 HAS SOUPS 204013 WITH SCORE 204287.647
AT ITER 4731 NEW BEST:: SOT 1221548 SOS 274679 HAS SOPS 256401 HAS SOUS 207783 HAS SOUPS 203907 WITH SCORE 204181.679
AT ITER 4749 NEW BEST:: SOT 1221548 SOS 274479 HAS SOPS 256201 HAS SOUS 207783 HAS SOUPS 203907 WITH SCORE 204181.479
AT ITER 4765 NEW BEST:: SOT 1221548 SOS 274415 HAS SOPS 256137 HAS SOUS 207783 HAS SOUPS 203907 WITH SCORE 204181.415
AT ITER 4774 NEW BEST:: SOT 1221555 SOS 273829 HAS SOPS 255551 HAS SOUS 207759 HAS SOUPS 203883 WITH SCORE 204156.829
AT ITER 4775 NEW BEST:: SOT 1221555 SOS 273790 HAS SOPS 255512 HAS SOUS 207749 HAS SOUPS 203873 WITH SCORE 204146.79
AT ITER 4776 NEW BEST:: SOT 1221527 SOS 273762 HAS SOPS 255484 HAS SOUS 207693 HAS SOUPS 203817 WITH SCORE 204090.762
AT ITER 4814 NEW BEST:: SOT 1221453 SOS 273780 HAS SOPS 255428 HAS SOUS 207636 HAS SOUPS 203686 WITH SCORE 203959.78
AT ITER 4836 NEW BEST:: SOT 1221453 SOS 273740 HAS SOPS 255388 HAS SOUS 207619 HAS SOUPS 203669 WITH SCORE 203942.74
AT ITER 4840 NEW BEST:: SOT 1221422 SOS 273709 HAS SOPS 255326 HAS SOUS 207575 HAS SOUPS 203607 WITH SCORE 203880.709
AT ITER 4841 NEW BEST:: SOT 1221422 SOS 273709 HAS SOPS 255326 HAS SOUS 207561 HAS SOUPS 203593 WITH SCORE 203866.709
AT ITER 4898 NEW BEST:: SOT 1221492 SOS 273779 HAS SOPS 255396 HAS SOUS 207531 HAS SOUPS 203563 WITH SCORE 203836.779
AT ITER 4942 NEW BEST:: SOT 1221366 SOS 273811 HAS SOPS 255428 HAS SOUS 207437 HAS SOUPS 203469 WITH SCORE 203742.811
AT ITER 4967 NEW BEST:: SOT 1221364 SOS 266753 HAS SOPS 248370 HAS SOUS 207352 HAS SOUPS 203384 WITH SCORE 203650.753
AT ITER 4976 NEW BEST:: SOT 1221364 SOS 266753 HAS SOPS 248370 HAS SOUS 207250 HAS SOUPS 203282 WITH SCORE 203548.753
AT ITER 4983 NEW BEST:: SOT 1221364 SOS 266502 HAS SOPS 248119 HAS SOUS 207250 HAS SOUPS 203282 WITH SCORE 203548.502
AT ITER 5014 NEW BEST:: SOT 1221364 SOS 266485 HAS SOPS 248102 HAS SOUS 207250 HAS SOUPS 203282 WITH SCORE 203548.485
AT ITER 5035 NEW BEST:: SOT 1221364 SOS 267390 HAS SOPS 248080 HAS SOUS 207287 HAS SOUPS 203260 WITH SCORE 203527.39
AT ITER 5072 NEW BEST:: SOT 1221296 SOS 267334 HAS SOPS 248024 HAS SOUS 207218 HAS SOUPS 203191 WITH SCORE 203458.334
AT ITER 5086 NEW BEST:: SOT 1221245 SOS 267327 HAS SOPS 248017 HAS SOUS 207165 HAS SOUPS 203138 WITH SCORE 203405.327
AT ITER 5101 NEW BEST:: SOT 1221245 SOS 267299 HAS SOPS 247989 HAS SOUS 207137 HAS SOUPS 203110 WITH SCORE 203377.299
AT ITER 5110 NEW BEST:: SOT 1221245 SOS 267299 HAS SOPS 247989 HAS SOUS 207112 HAS SOUPS 203085 WITH SCORE 203352.299
AT ITER 5157 NEW BEST:: SOT 1221218 SOS 267218 HAS SOPS 247530 HAS SOUS 206707 HAS SOUPS 202680 WITH SCORE 202947.218
AT ITER 5160 NEW BEST:: SOT 1221218 SOS 267218 HAS SOPS 247530 HAS SOUS 206694 HAS SOUPS 202667 WITH SCORE 202934.218
AT ITER 5192 NEW BEST:: SOT 1221218 SOS 267209 HAS SOPS 247521 HAS SOUS 206692 HAS SOUPS 202665 WITH SCORE 202932.209
AT ITER 5196 NEW BEST:: SOT 1221209 SOS 267056 HAS SOPS 247368 HAS SOUS 206674 HAS SOUPS 202647 WITH SCORE 202914.056
AT ITER 5244 NEW BEST:: SOT 1221209 SOS 267056 HAS SOPS 247368 HAS SOUS 206671 HAS SOUPS 202644 WITH SCORE 202911.056
AT ITER 5255 NEW BEST:: SOT 1221180 SOS 266998 HAS SOPS 247281 HAS SOUS 206630 HAS SOUPS 202586 WITH SCORE 202852.998
AT ITER 5277 NEW BEST:: SOT 1221180 SOS 266796 HAS SOPS 247079 HAS SOUS 206615 HAS SOUPS 202571 WITH SCORE 202837.796
AT ITER 5303 NEW BEST:: SOT 1220458 SOS 265557 HAS SOPS 246797 HAS SOUS 205860 HAS SOUPS 201933 WITH SCORE 202198.557
AT ITER 5317 NEW BEST:: SOT 1220404 SOS 265561 HAS SOPS 246801 HAS SOUS 205810 HAS SOUPS 201883 WITH SCORE 202148.561
AT ITER 5376 NEW BEST:: SOT 1220376 SOS 265533 HAS SOPS 246773 HAS SOUS 205754 HAS SOUPS 201827 WITH SCORE 202092.533
AT ITER 5401 NEW BEST:: SOT 1220323 SOS 265716 HAS SOPS 247065 HAS SOUS 205720 HAS SOUPS 201793 WITH SCORE 202058.716
AT ITER 5403 NEW BEST:: SOT 1220354 SOS 265635 HAS SOPS 246984 HAS SOUS 205661 HAS SOUPS 201734 WITH SCORE 201999.635
AT ITER 5408 NEW BEST:: SOT 1220354 SOS 265558 HAS SOPS 246907 HAS SOUS 205661 HAS SOUPS 201734 WITH SCORE 201999.558
AT ITER 5529 NEW BEST:: SOT 1220354 SOS 265558 HAS SOPS 246907 HAS SOUS 205606 HAS SOUPS 201679 WITH SCORE 201944.558
AT ITER 5537 NEW BEST:: SOT 1220289 SOS 265493 HAS SOPS 246781 HAS SOUS 205480 HAS SOUPS 201553 WITH SCORE 201818.493
AT ITER 5538 NEW BEST:: SOT 1220289 SOS 265493 HAS SOPS 246781 HAS SOUS 205479 HAS SOUPS 201552 WITH SCORE 201817.493
AT ITER 5545 NEW BEST:: SOT 1220289 SOS 264933 HAS SOPS 246725 HAS SOUS 205408 HAS SOUPS 201537 WITH SCORE 201801.933
AT ITER 5554 NEW BEST:: SOT 1220289 SOS 264860 HAS SOPS 246652 HAS SOUS 205408 HAS SOUPS 201537 WITH SCORE 201801.86
AT ITER 5555 NEW BEST:: SOT 1220284 SOS 264770 HAS SOPS 246562 HAS SOUS 205398 HAS SOUPS 201527 WITH SCORE 201791.77
AT ITER 5572 NEW BEST:: SOT 1220284 SOS 264726 HAS SOPS 246518 HAS SOUS 205398 HAS SOUPS 201527 WITH SCORE 201791.726
AT ITER 5578 NEW BEST:: SOT 1220284 SOS 264649 HAS SOPS 246441 HAS SOUS 205398 HAS SOUPS 201527 WITH SCORE 201791.649
AT ITER 5579 NEW BEST:: SOT 1220263 SOS 264832 HAS SOPS 246470 HAS SOUS 205479 HAS SOUPS 201485 WITH SCORE 201749.832
AT ITER 5584 NEW BEST:: SOT 1220263 SOS 264795 HAS SOPS 246433 HAS SOUS 205478 HAS SOUPS 201484 WITH SCORE 201748.795
AT ITER 5635 NEW BEST:: SOT 1220212 SOS 264693 HAS SOPS 246331 HAS SOUS 205376 HAS SOUPS 201382 WITH SCORE 201646.693
AT ITER 5666 NEW BEST:: SOT 1220117 SOS 264693 HAS SOPS 246236 HAS SOUS 205279 HAS SOUPS 201192 WITH SCORE 201456.693
AT ITER 5686 NEW BEST:: SOT 1220069 SOS 264645 HAS SOPS 246188 HAS SOUS 205187 HAS SOUPS 201100 WITH SCORE 201364.645
AT ITER 5690 NEW BEST:: SOT 1220060 SOS 264685 HAS SOPS 246179 HAS SOUS 205178 HAS SOUPS 201091 WITH SCORE 201355.685
AT ITER 5701 NEW BEST:: SOT 1220009 SOS 264705 HAS SOPS 246199 HAS SOUS 205127 HAS SOUPS 201040 WITH SCORE 201304.705
AT ITER 5731 NEW BEST:: SOT 1220079 SOS 264726 HAS SOPS 246118 HAS SOUS 205114 HAS SOUPS 201027 WITH SCORE 201291.726
AT ITER 5750 NEW BEST:: SOT 1219877 SOS 262733 HAS SOPS 243810 HAS SOUS 204358 HAS SOUPS 200271 WITH SCORE 200533.733
AT ITER 5755 NEW BEST:: SOT 1219876 SOS 262557 HAS SOPS 243634 HAS SOUS 204345 HAS SOUPS 200258 WITH SCORE 200520.557
AT ITER 5759 NEW BEST:: SOT 1219876 SOS 262546 HAS SOPS 243623 HAS SOUS 204345 HAS SOUPS 200258 WITH SCORE 200520.546
AT ITER 5793 NEW BEST:: SOT 1219867 SOS 262537 HAS SOPS 243605 HAS SOUS 204328 HAS SOUPS 200241 WITH SCORE 200503.537
AT ITER 5833 NEW BEST:: SOT 1219840 SOS 262496 HAS SOPS 243564 HAS SOUS 204322 HAS SOUPS 200235 WITH SCORE 200497.496
AT ITER 5836 NEW BEST:: SOT 1219840 SOS 262471 HAS SOPS 243539 HAS SOUS 204322 HAS SOUPS 200235 WITH SCORE 200497.471
AT ITER 5839 NEW BEST:: SOT 1219775 SOS 262406 HAS SOPS 243409 HAS SOUS 204192 HAS SOUPS 200105 WITH SCORE 200367.406
AT ITER 5866 NEW BEST:: SOT 1219774 SOS 262405 HAS SOPS 243408 HAS SOUS 204190 HAS SOUPS 200103 WITH SCORE 200365.405
AT ITER 5878 NEW BEST:: SOT 1219484 SOS 262183 HAS SOPS 243186 HAS SOUS 203903 HAS SOUPS 199816 WITH SCORE 200078.183
AT ITER 5885 NEW BEST:: SOT 1219495 SOS 262194 HAS SOPS 243197 HAS SOUS 203839 HAS SOUPS 199752 WITH SCORE 200014.194
AT ITER 5886 NEW BEST:: SOT 1219495 SOS 262175 HAS SOPS 243178 HAS SOUS 203820 HAS SOUPS 199733 WITH SCORE 199995.175
AT ITER 5957 NEW BEST:: SOT 1219478 SOS 262525 HAS SOPS 243120 HAS SOUS 203804 HAS SOUPS 199676 WITH SCORE 199938.525
AT ITER 5982 NEW BEST:: SOT 1219495 SOS 262505 HAS SOPS 243100 HAS SOUS 203771 HAS SOUPS 199643 WITH SCORE 199905.505
AT ITER 6037 NEW BEST:: SOT 1219495 SOS 262505 HAS SOPS 243100 HAS SOUS 203699 HAS SOUPS 199571 WITH SCORE 199833.505
AT ITER 6095 NEW BEST:: SOT 1219495 SOS 262486 HAS SOPS 243081 HAS SOUS 203680 HAS SOUPS 199552 WITH SCORE 199814.486
AT ITER 6109 NEW BEST:: SOT 1219495 SOS 262382 HAS SOPS 242977 HAS SOUS 203680 HAS SOUPS 199552 WITH SCORE 199814.382
AT ITER 6132 NEW BEST:: SOT 1219106 SOS 262092 HAS SOPS 242687 HAS SOUS 203358 HAS SOUPS 199230 WITH SCORE 199492.092
AT ITER 6146 NEW BEST:: SOT 1219016 SOS 261920 HAS SOPS 242515 HAS SOUS 203268 HAS SOUPS 199140 WITH SCORE 199401.92
AT ITER 6171 NEW BEST:: SOT 1218998 SOS 261827 HAS SOPS 242422 HAS SOUS 203250 HAS SOUPS 199122 WITH SCORE 199383.827
AT ITER 6236 NEW BEST:: SOT 1218982 SOS 261811 HAS SOPS 242406 HAS SOUS 203218 HAS SOUPS 199090 WITH SCORE 199351.811
AT ITER 6249 NEW BEST:: SOT 1218950 SOS 261779 HAS SOPS 242374 HAS SOUS 203154 HAS SOUPS 199026 WITH SCORE 199287.779
AT ITER 6272 NEW BEST:: SOT 1218761 SOS 261759 HAS SOPS 242354 HAS SOUS 202965 HAS SOUPS 198837 WITH SCORE 199098.759
AT ITER 6276 NEW BEST:: SOT 1218647 SOS 261531 HAS SOPS 242126 HAS SOUS 202851 HAS SOUPS 198723 WITH SCORE 198984.531
AT ITER 6292 NEW BEST:: SOT 1218647 SOS 261384 HAS SOPS 241979 HAS SOUS 202704 HAS SOUPS 198576 WITH SCORE 198837.384
AT ITER 6295 NEW BEST:: SOT 1218647 SOS 261134 HAS SOPS 241729 HAS SOUS 202704 HAS SOUPS 198576 WITH SCORE 198837.134
AT ITER 6313 NEW BEST:: SOT 1218647 SOS 261132 HAS SOPS 241727 HAS SOUS 202702 HAS SOUPS 198574 WITH SCORE 198835.132
AT ITER 6323 NEW BEST:: SOT 1218638 SOS 261121 HAS SOPS 241709 HAS SOUS 202684 HAS SOUPS 198556 WITH SCORE 198817.121
AT ITER 6341 NEW BEST:: SOT 1218615 SOS 261106 HAS SOPS 241694 HAS SOUS 202678 HAS SOUPS 198550 WITH SCORE 198811.106
AT ITER 6342 NEW BEST:: SOT 1218623 SOS 261114 HAS SOPS 241702 HAS SOUS 202662 HAS SOUPS 198534 WITH SCORE 198795.114
AT ITER 6356 NEW BEST:: SOT 1218600 SOS 261091 HAS SOPS 241712 HAS SOUS 202646 HAS SOUPS 198518 WITH SCORE 198779.091
AT ITER 6357 NEW BEST:: SOT 1218567 SOS 261058 HAS SOPS 241679 HAS SOUS 202613 HAS SOUPS 198485 WITH SCORE 198746.058
AT ITER 6391 NEW BEST:: SOT 1218559 SOS 261050 HAS SOPS 241671 HAS SOUS 202597 HAS SOUPS 198469 WITH SCORE 198730.05
AT ITER 6412 NEW BEST:: SOT 1218559 SOS 261049 HAS SOPS 241670 HAS SOUS 202597 HAS SOUPS 198469 WITH SCORE 198730.049
AT ITER 6435 NEW BEST:: SOT 1218048 SOS 260542 HAS SOPS 241163 HAS SOUS 202024 HAS SOUPS 197896 WITH SCORE 198156.542
AT ITER 6524 NEW BEST:: SOT 1218055 SOS 260549 HAS SOPS 241170 HAS SOUS 201999 HAS SOUPS 197871 WITH SCORE 198131.549
AT ITER 6613 NEW BEST:: SOT 1218042 SOS 260536 HAS SOPS 241157 HAS SOUS 201973 HAS SOUPS 197845 WITH SCORE 198105.536
AT ITER 6665 NEW BEST:: SOT 1218042 SOS 260524 HAS SOPS 241145 HAS SOUS 201973 HAS SOUPS 197845 WITH SCORE 198105.524
AT ITER 6671 NEW BEST:: SOT 1218012 SOS 260522 HAS SOPS 241143 HAS SOUS 201913 HAS SOUPS 197785 WITH SCORE 198045.522
AT ITER 6729 NEW BEST:: SOT 1217975 SOS 260536 HAS SOPS 241120 HAS SOUS 201876 HAS SOUPS 197711 WITH SCORE 197971.536
AT ITER 6734 NEW BEST:: SOT 1217935 SOS 260496 HAS SOPS 241080 HAS SOUS 201836 HAS SOUPS 197671 WITH SCORE 197931.496
AT ITER 6748 NEW BEST:: SOT 1217913 SOS 260474 HAS SOPS 241058 HAS SOUS 201831 HAS SOUPS 197666 WITH SCORE 197926.474
AT ITER 6781 NEW BEST:: SOT 1217775 SOS 260516 HAS SOPS 241100 HAS SOUS 201798 HAS SOUPS 197633 WITH SCORE 197893.516
AT ITER 6818 NEW BEST:: SOT 1217724 SOS 260488 HAS SOPS 241021 HAS SOUS 201705 HAS SOUPS 197531 WITH SCORE 197791.488
AT ITER 6830 NEW BEST:: SOT 1217724 SOS 260483 HAS SOPS 241021 HAS SOUS 201705 HAS SOUPS 197531 WITH SCORE 197791.483
AT ITER 6876 NEW BEST:: SOT 1217721 SOS 260602 HAS SOPS 241018 HAS SOUS 201634 HAS SOUPS 197406 WITH SCORE 197666.602
AT ITER 6878 NEW BEST:: SOT 1217617 SOS 260452 HAS SOPS 240868 HAS SOUS 201392 HAS SOUPS 197164 WITH SCORE 197424.452
AT ITER 6892 NEW BEST:: SOT 1217617 SOS 260390 HAS SOPS 240806 HAS SOUS 201392 HAS SOUPS 197164 WITH SCORE 197424.39
AT ITER 6928 NEW BEST:: SOT 1217617 SOS 260370 HAS SOPS 240786 HAS SOUS 201392 HAS SOUPS 197164 WITH SCORE 197424.37
AT ITER 6954 NEW BEST:: SOT 1217617 SOS 260370 HAS SOPS 240786 HAS SOUS 201385 HAS SOUPS 197157 WITH SCORE 197417.37
AT ITER 6959 NEW BEST:: SOT 1217617 SOS 260368 HAS SOPS 240784 HAS SOUS 201385 HAS SOUPS 197157 WITH SCORE 197417.368
AT ITER 6968 NEW BEST:: SOT 1217617 SOS 260268 HAS SOPS 240684 HAS SOUS 201335 HAS SOUPS 197107 WITH SCORE 197367.268
AT ITER 6972 NEW BEST:: SOT 1217599 SOS 260210 HAS SOPS 240626 HAS SOUS 201299 HAS SOUPS 197071 WITH SCORE 197331.21
AT ITER 6979 NEW BEST:: SOT 1217459 SOS 260210 HAS SOPS 240626 HAS SOUS 201159 HAS SOUPS 196931 WITH SCORE 197191.21
AT ITER 6981 NEW BEST:: SOT 1217376 SOS 258184 HAS SOPS 238600 HAS SOUS 201024 HAS SOUPS 196796 WITH SCORE 197054.184
AT ITER 7003 NEW BEST:: SOT 1217336 SOS 257979 HAS SOPS 238355 HAS SOUS 200944 HAS SOUPS 196716 WITH SCORE 196973.979
AT ITER 7016 NEW BEST:: SOT 1217336 SOS 257970 HAS SOPS 238346 HAS SOUS 200940 HAS SOUPS 196712 WITH SCORE 196969.97
AT ITER 7028 NEW BEST:: SOT 1217328 SOS 258117 HAS SOPS 238320 HAS SOUS 200932 HAS SOUPS 196686 WITH SCORE 196944.117
AT ITER 7031 NEW BEST:: SOT 1217332 SOS 258121 HAS SOPS 238324 HAS SOUS 200802 HAS SOUPS 196556 WITH SCORE 196814.121
AT ITER 7063 NEW BEST:: SOT 1217289 SOS 258035 HAS SOPS 238238 HAS SOUS 200716 HAS SOUPS 196470 WITH SCORE 196728.035
AT ITER 7065 NEW BEST:: SOT 1217260 SOS 257846 HAS SOPS 238049 HAS SOUS 200527 HAS SOUPS 196281 WITH SCORE 196538.846
AT ITER 7112 NEW BEST:: SOT 1217253 SOS 257825 HAS SOPS 238028 HAS SOUS 200520 HAS SOUPS 196274 WITH SCORE 196531.825
AT ITER 7167 NEW BEST:: SOT 1217246 SOS 257818 HAS SOPS 238021 HAS SOUS 200506 HAS SOUPS 196260 WITH SCORE 196517.818
AT ITER 7195 NEW BEST:: SOT 1217211 SOS 257783 HAS SOPS 237986 HAS SOUS 200436 HAS SOUPS 196190 WITH SCORE 196447.783
AT ITER 7234 NEW BEST:: SOT 1217208 SOS 257777 HAS SOPS 237980 HAS SOUS 200433 HAS SOUPS 196187 WITH SCORE 196444.777
AT ITER 7253 NEW BEST:: SOT 1217208 SOS 257773 HAS SOPS 237976 HAS SOUS 200433 HAS SOUPS 196187 WITH SCORE 196444.773
AT ITER 7270 NEW BEST:: SOT 1217164 SOS 257729 HAS SOPS 237932 HAS SOUS 200389 HAS SOUPS 196143 WITH SCORE 196400.729
AT ITER 7404 NEW BEST:: SOT 1217188 SOS 257753 HAS SOPS 237956 HAS SOUS 200354 HAS SOUPS 196108 WITH SCORE 196365.753
AT ITER 7462 NEW BEST:: SOT 1217113 SOS 257678 HAS SOPS 237881 HAS SOUS 200204 HAS SOUPS 195958 WITH SCORE 196215.678
AT ITER 7473 NEW BEST:: SOT 1217100 SOS 257665 HAS SOPS 237868 HAS SOUS 200178 HAS SOUPS 195932 WITH SCORE 196189.665
AT ITER 7498 NEW BEST:: SOT 1217099 SOS 257553 HAS SOPS 237756 HAS SOUS 200169 HAS SOUPS 195923 WITH SCORE 196180.553
AT ITER 7499 NEW BEST:: SOT 1217058 SOS 257512 HAS SOPS 237674 HAS SOUS 200128 HAS SOUPS 195882 WITH SCORE 196139.512
AT ITER 7516 NEW BEST:: SOT 1217057 SOS 257511 HAS SOPS 237673 HAS SOUS 200126 HAS SOUPS 195880 WITH SCORE 196137.511
AT ITER 7523 NEW BEST:: SOT 1217057 SOS 257484 HAS SOPS 237646 HAS SOUS 200126 HAS SOUPS 195880 WITH SCORE 196137.484
AT ITER 7554 NEW BEST:: SOT 1217051 SOS 257478 HAS SOPS 237634 HAS SOUS 200120 HAS SOUPS 195868 WITH SCORE 196125.478
AT ITER 7555 NEW BEST:: SOT 1217007 SOS 258675 HAS SOPS 238948 HAS SOUS 200040 HAS SOUPS 195788 WITH SCORE 196046.675
AT ITER 7570 NEW BEST:: SOT 1217007 SOS 258651 HAS SOPS 238924 HAS SOUS 200040 HAS SOUPS 195788 WITH SCORE 196046.651
AT ITER 7602 NEW BEST:: SOT 1217007 SOS 258642 HAS SOPS 238915 HAS SOUS 200031 HAS SOUPS 195779 WITH SCORE 196037.642
AT ITER 7716 NEW BEST:: SOT 1216952 SOS 258587 HAS SOPS 238805 HAS SOUS 199978 HAS SOUPS 195726 WITH SCORE 195984.587
AT ITER 7796 NEW BEST:: SOT 1216778 SOS 258491 HAS SOPS 238709 HAS SOUS 199825 HAS SOUPS 195573 WITH SCORE 195831.491
AT ITER 7872 NEW BEST:: SOT 1216626 SOS 258468 HAS SOPS 238686 HAS SOUS 199695 HAS SOUPS 195443 WITH SCORE 195701.468
AT ITER 7912 NEW BEST:: SOT 1216559 SOS 258468 HAS SOPS 238686 HAS SOUS 199628 HAS SOUPS 195376 WITH SCORE 195634.468
AT ITER 7942 NEW BEST:: SOT 1216517 SOS 258426 HAS SOPS 238644 HAS SOUS 199608 HAS SOUPS 195356 WITH SCORE 195614.426
AT ITER 7963 NEW BEST:: SOT 1216496 SOS 258311 HAS SOPS 238602 HAS SOUS 199566 HAS SOUPS 195314 WITH SCORE 195572.311
AT ITER 7964 NEW BEST:: SOT 1216496 SOS 258295 HAS SOPS 238586 HAS SOUS 199550 HAS SOUPS 195298 WITH SCORE 195556.295
AT ITER 7966 NEW BEST:: SOT 1216463 SOS 258262 HAS SOPS 238520 HAS SOUS 199517 HAS SOUPS 195265 WITH SCORE 195523.262
AT ITER 8035 NEW BEST:: SOT 1216463 SOS 258242 HAS SOPS 238370 HAS SOUS 199387 HAS SOUPS 195135 WITH SCORE 195393.242
AT ITER 8067 NEW BEST:: SOT 1216199 SOS 259541 HAS SOPS 239666 HAS SOUS 199153 HAS SOUPS 194901 WITH SCORE 195160.541
AT ITER 8076 NEW BEST:: SOT 1216126 SOS 259481 HAS SOPS 239606 HAS SOUS 199080 HAS SOUPS 194828 WITH SCORE 195087.481
AT ITER 8086 NEW BEST:: SOT 1215941 SOS 260382 HAS SOPS 240514 HAS SOUS 199071 HAS SOUPS 194819 WITH SCORE 195079.382
AT ITER 8175 NEW BEST:: SOT 1215940 SOS 260864 HAS SOPS 240931 HAS SOUS 199069 HAS SOUPS 194817 WITH SCORE 195077.864
AT ITER 8194 NEW BEST:: SOT 1215858 SOS 260893 HAS SOPS 240960 HAS SOUS 199016 HAS SOUPS 194764 WITH SCORE 195024.893
AT ITER 8203 NEW BEST:: SOT 1215793 SOS 260873 HAS SOPS 240940 HAS SOUS 198951 HAS SOUPS 194699 WITH SCORE 194959.873
AT ITER 8286 NEW BEST:: SOT 1215719 SOS 261170 HAS SOPS 240876 HAS SOUS 198921 HAS SOUPS 194635 WITH SCORE 194896.17
AT ITER 8313 NEW BEST:: SOT 1215693 SOS 261050 HAS SOPS 240756 HAS SOUS 198895 HAS SOUPS 194609 WITH SCORE 194870.05
AT ITER 8329 NEW BEST:: SOT 1215644 SOS 260228 HAS SOPS 240707 HAS SOUS 198797 HAS SOUPS 194560 WITH SCORE 194820.228
AT ITER 8344 NEW BEST:: SOT 1215644 SOS 260255 HAS SOPS 240734 HAS SOUS 198772 HAS SOUPS 194535 WITH SCORE 194795.255
AT ITER 8349 NEW BEST:: SOT 1215644 SOS 260254 HAS SOPS 240733 HAS SOUS 198771 HAS SOUPS 194534 WITH SCORE 194794.254
AT ITER 8399 NEW BEST:: SOT 1215644 SOS 260254 HAS SOPS 240733 HAS SOUS 198720 HAS SOUPS 194483 WITH SCORE 194743.254
AT ITER 8462 NEW BEST:: SOT 1215634 SOS 260244 HAS SOPS 240723 HAS SOUS 198700 HAS SOUPS 194463 WITH SCORE 194723.244
AT ITER 8560 NEW BEST:: SOT 1215635 SOS 260115 HAS SOPS 240594 HAS SOUS 198572 HAS SOUPS 194335 WITH SCORE 194595.115
AT ITER 8612 NEW BEST:: SOT 1215590 SOS 260070 HAS SOPS 240549 HAS SOUS 198495 HAS SOUPS 194258 WITH SCORE 194518.07
AT ITER 8626 NEW BEST:: SOT 1215522 SOS 260011 HAS SOPS 240490 HAS SOUS 198427 HAS SOUPS 194190 WITH SCORE 194450.011
AT ITER 8627 NEW BEST:: SOT 1215522 SOS 259960 HAS SOPS 240439 HAS SOUS 198427 HAS SOUPS 194190 WITH SCORE 194449.96
AT ITER 8689 NEW BEST:: SOT 1214976 SOS 259414 HAS SOPS 240403 HAS SOUS 197815 HAS SOUPS 194088 WITH SCORE 194347.414
AT ITER 8713 NEW BEST:: SOT 1214976 SOS 259382 HAS SOPS 240371 HAS SOUS 197815 HAS SOUPS 194088 WITH SCORE 194347.382
AT ITER 8718 NEW BEST:: SOT 1214974 SOS 259355 HAS SOPS 240344 HAS SOUS 197797 HAS SOUPS 194070 WITH SCORE 194329.355
AT ITER 8727 NEW BEST:: SOT 1214915 SOS 259436 HAS SOPS 240363 HAS SOUS 197739 HAS SOUPS 193952 WITH SCORE 194211.436
AT ITER 8767 NEW BEST:: SOT 1214908 SOS 259429 HAS SOPS 240356 HAS SOUS 197725 HAS SOUPS 193938 WITH SCORE 194197.429
AT ITER 8768 NEW BEST:: SOT 1214838 SOS 259387 HAS SOPS 240244 HAS SOUS 197655 HAS SOUPS 193868 WITH SCORE 194127.387
AT ITER 8777 NEW BEST:: SOT 1214838 SOS 259387 HAS SOPS 240244 HAS SOUS 197652 HAS SOUPS 193865 WITH SCORE 194124.387
AT ITER 8789 NEW BEST:: SOT 1214838 SOS 259379 HAS SOPS 240236 HAS SOUS 197652 HAS SOUPS 193865 WITH SCORE 194124.379
AT ITER 8828 NEW BEST:: SOT 1214730 SOS 262194 HAS SOPS 240374 HAS SOUS 197873 HAS SOUPS 193840 WITH SCORE 194102.194
AT ITER 8858 NEW BEST:: SOT 1214730 SOS 262176 HAS SOPS 240356 HAS SOUS 197873 HAS SOUPS 193840 WITH SCORE 194102.176
AT ITER 8923 NEW BEST:: SOT 1214723 SOS 259912 HAS SOPS 240177 HAS SOUS 197658 HAS SOUPS 193797 WITH SCORE 194056.912
AT ITER 8948 NEW BEST:: SOT 1214669 SOS 260323 HAS SOPS 240588 HAS SOUS 197626 HAS SOUPS 193765 WITH SCORE 194025.323
AT ITER 8976 NEW BEST:: SOT 1214649 SOS 260308 HAS SOPS 240573 HAS SOUS 197611 HAS SOUPS 193750 WITH SCORE 194010.308
AT ITER 9022 NEW BEST:: SOT 1214649 SOS 260288 HAS SOPS 240553 HAS SOUS 197611 HAS SOUPS 193750 WITH SCORE 194010.288
AT ITER 9039 NEW BEST:: SOT 1214616 SOS 260310 HAS SOPS 240575 HAS SOUS 197578 HAS SOUPS 193717 WITH SCORE 193977.31
AT ITER 9044 NEW BEST:: SOT 1214461 SOS 261492 HAS SOPS 240317 HAS SOUS 197604 HAS SOUPS 193600 WITH SCORE 193861.492
AT ITER 9086 NEW BEST:: SOT 1214461 SOS 261492 HAS SOPS 240317 HAS SOUS 197541 HAS SOUPS 193537 WITH SCORE 193798.492
AT ITER 9090 NEW BEST:: SOT 1214441 SOS 261472 HAS SOPS 240257 HAS SOUS 197461 HAS SOUPS 193457 WITH SCORE 193718.472
AT ITER 9096 NEW BEST:: SOT 1214388 SOS 261472 HAS SOPS 240257 HAS SOUS 197408 HAS SOUPS 193404 WITH SCORE 193665.472
AT ITER 9100 NEW BEST:: SOT 1214388 SOS 261448 HAS SOPS 240233 HAS SOUS 197408 HAS SOUPS 193404 WITH SCORE 193665.448
AT ITER 9147 NEW BEST:: SOT 1214376 SOS 261436 HAS SOPS 240221 HAS SOUS 197396 HAS SOUPS 193392 WITH SCORE 193653.436
AT ITER 9152 NEW BEST:: SOT 1214376 SOS 261309 HAS SOPS 240094 HAS SOUS 197396 HAS SOUPS 193392 WITH SCORE 193653.309
AT ITER 9166 NEW BEST:: SOT 1214391 SOS 261266 HAS SOPS 240051 HAS SOUS 197353 HAS SOUPS 193349 WITH SCORE 193610.266
AT ITER 9191 NEW BEST:: SOT 1214391 SOS 261266 HAS SOPS 240051 HAS SOUS 197318 HAS SOUPS 193314 WITH SCORE 193575.266
AT ITER 9213 NEW BEST:: SOT 1214299 SOS 260758 HAS SOPS 239543 HAS SOUS 197134 HAS SOUPS 193130 WITH SCORE 193390.758
AT ITER 9275 NEW BEST:: SOT 1214274 SOS 260733 HAS SOPS 239518 HAS SOUS 197084 HAS SOUPS 193080 WITH SCORE 193340.733
AT ITER 9357 NEW BEST:: SOT 1214279 SOS 260738 HAS SOPS 239523 HAS SOUS 196985 HAS SOUPS 192981 WITH SCORE 193241.738
AT ITER 9378 NEW BEST:: SOT 1214278 SOS 260737 HAS SOPS 239522 HAS SOUS 196983 HAS SOUPS 192979 WITH SCORE 193239.737
AT ITER 9401 NEW BEST:: SOT 1214267 SOS 260726 HAS SOPS 239511 HAS SOUS 196972 HAS SOUPS 192968 WITH SCORE 193228.726
AT ITER 9417 NEW BEST:: SOT 1214267 SOS 260710 HAS SOPS 239495 HAS SOUS 196962 HAS SOUPS 192958 WITH SCORE 193218.71
AT ITER 9418 NEW BEST:: SOT 1214267 SOS 260710 HAS SOPS 239495 HAS SOUS 196935 HAS SOUPS 192931 WITH SCORE 193191.71
AT ITER 9455 NEW BEST:: SOT 1214181 SOS 260940 HAS SOPS 239725 HAS SOUS 196882 HAS SOUPS 192878 WITH SCORE 193138.94
AT ITER 9465 NEW BEST:: SOT 1214093 SOS 261250 HAS SOPS 240035 HAS SOUS 196706 HAS SOUPS 192702 WITH SCORE 192963.25
AT ITER 9547 NEW BEST:: SOT 1214093 SOS 261235 HAS SOPS 240020 HAS SOUS 196706 HAS SOUPS 192702 WITH SCORE 192963.235
AT ITER 9590 NEW BEST:: SOT 1214093 SOS 261087 HAS SOPS 239872 HAS SOUS 196706 HAS SOUPS 192702 WITH SCORE 192963.087
AT ITER 9601 NEW BEST:: SOT 1213813 SOS 261424 HAS SOPS 240209 HAS SOUS 196494 HAS SOUPS 192490 WITH SCORE 192751.424
AT ITER 9613 NEW BEST:: SOT 1213751 SOS 261362 HAS SOPS 240147 HAS SOUS 196432 HAS SOUPS 192428 WITH SCORE 192689.362
AT ITER 9677 NEW BEST:: SOT 1213751 SOS 261300 HAS SOPS 240085 HAS SOUS 196432 HAS SOUPS 192428 WITH SCORE 192689.3
AT ITER 9727 NEW BEST:: SOT 1213727 SOS 261491 HAS SOPS 240276 HAS SOUS 196408 HAS SOUPS 192404 WITH SCORE 192665.491
AT ITER 9798 NEW BEST:: SOT 1213653 SOS 261511 HAS SOPS 240296 HAS SOUS 196387 HAS SOUPS 192383 WITH SCORE 192644.511
AT ITER 9813 NEW BEST:: SOT 1213653 SOS 261486 HAS SOPS 240271 HAS SOUS 196387 HAS SOUPS 192383 WITH SCORE 192644.486
AT ITER 9830 NEW BEST:: SOT 1213634 SOS 261548 HAS SOPS 240333 HAS SOUS 196380 HAS SOUPS 192376 WITH SCORE 192637.548
AT ITER 9838 NEW BEST:: SOT 1213632 SOS 261540 HAS SOPS 240325 HAS SOUS 196372 HAS SOUPS 192368 WITH SCORE 192629.54
AT ITER 9847 NEW BEST:: SOT 1213603 SOS 261564 HAS SOPS 240306 HAS SOUS 196354 HAS SOUPS 192350 WITH SCORE 192611.564
AT ITER 9862 NEW BEST:: SOT 1213603 SOS 261535 HAS SOPS 240277 HAS SOUS 196354 HAS SOUPS 192350 WITH SCORE 192611.535
AT ITER 9879 NEW BEST:: SOT 1213603 SOS 261465 HAS SOPS 240207 HAS SOUS 196354 HAS SOUPS 192350 WITH SCORE 192611.465
AT ITER 9887 NEW BEST:: SOT 1213573 SOS 261435 HAS SOPS 240147 HAS SOUS 196294 HAS SOUPS 192290 WITH SCORE 192551.435
AT ITER 9894 NEW BEST:: SOT 1213573 SOS 261429 HAS SOPS 240141 HAS SOUS 196294 HAS SOUPS 192290 WITH SCORE 192551.429
STATE_SPACE STATES 2447720 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 2 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 24 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 5038187 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
BK_STOP 1678660141555
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="LeafsetExtension-PT-S16C2"
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-S16C2, 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-167856421800480"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/LeafsetExtension-PT-S16C2.tgz
mv LeafsetExtension-PT-S16C2 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;