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.r227-tall-167856410500496.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 smart
Input is LeafsetExtension-PT-S16C4, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r227-tall-167856410500496
=====================================================================

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

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678614276743

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=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=LeafsetExtension-PT-S16C4
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running LeafsetExtension (PT), instance S16C4
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 1542 places, 1449 transitions, 4668 arcs.
AT ITER 0 NEW BEST:: SOT 1261325 SOS 307024 HAS SOPS 304970 HAS SOUS 260598 HAS SOUPS 260277 WITH SCORE 260584.024
AT ITER 5 NEW BEST:: SOT 1261274 SOS 306978 HAS SOPS 304924 HAS SOUS 260538 HAS SOUPS 260217 WITH SCORE 260523.978
AT ITER 10 NEW BEST:: SOT 1261274 SOS 306978 HAS SOPS 304924 HAS SOUS 260537 HAS SOUPS 260216 WITH SCORE 260522.978
AT ITER 37 NEW BEST:: SOT 1260993 SOS 305141 HAS SOPS 303087 HAS SOUS 260076 HAS SOUPS 259755 WITH SCORE 260060.141
AT ITER 55 NEW BEST:: SOT 1260993 SOS 303229 HAS SOPS 301175 HAS SOUS 260068 HAS SOUPS 259747 WITH SCORE 260050.229
AT ITER 62 NEW BEST:: SOT 1260977 SOS 303220 HAS SOPS 301166 HAS SOUS 260059 HAS SOUPS 259738 WITH SCORE 260041.22
AT ITER 80 NEW BEST:: SOT 1260916 SOS 303151 HAS SOPS 301097 HAS SOUS 259990 HAS SOUPS 259669 WITH SCORE 259972.151
AT ITER 90 NEW BEST:: SOT 1260875 SOS 302416 HAS SOPS 300362 HAS SOUS 259941 HAS SOUPS 259620 WITH SCORE 259922.416
AT ITER 107 NEW BEST:: SOT 1259598 SOS 308565 HAS SOPS 299779 HAS SOUS 259665 HAS SOUPS 258940 WITH SCORE 259248.565
AT ITER 129 NEW BEST:: SOT 1259598 SOS 308503 HAS SOPS 299717 HAS SOUS 259665 HAS SOUPS 258940 WITH SCORE 259248.503
AT ITER 139 NEW BEST:: SOT 1259598 SOS 308398 HAS SOPS 299612 HAS SOUS 259560 HAS SOUPS 258835 WITH SCORE 259143.398
AT ITER 144 NEW BEST:: SOT 1259541 SOS 308398 HAS SOPS 299612 HAS SOUS 259554 HAS SOUPS 258829 WITH SCORE 259137.398
AT ITER 152 NEW BEST:: SOT 1258967 SOS 311183 HAS SOPS 302409 HAS SOUS 259530 HAS SOUPS 258805 WITH SCORE 259116.183
AT ITER 235 NEW BEST:: SOT 1258967 SOS 311117 HAS SOPS 302343 HAS SOUS 259459 HAS SOUPS 258734 WITH SCORE 259045.117
AT ITER 247 NEW BEST:: SOT 1258967 SOS 311063 HAS SOPS 302289 HAS SOUS 259459 HAS SOUPS 258734 WITH SCORE 259045.063
AT ITER 255 NEW BEST:: SOT 1258995 SOS 311088 HAS SOPS 302314 HAS SOUS 259400 HAS SOUPS 258675 WITH SCORE 258986.088
AT ITER 283 NEW BEST:: SOT 1258988 SOS 311067 HAS SOPS 302293 HAS SOUS 259379 HAS SOUPS 258654 WITH SCORE 258965.067
AT ITER 284 NEW BEST:: SOT 1258988 SOS 311011 HAS SOPS 302237 HAS SOUS 259379 HAS SOUPS 258654 WITH SCORE 258965.011
AT ITER 286 NEW BEST:: SOT 1258934 SOS 311011 HAS SOPS 302237 HAS SOUS 259375 HAS SOUPS 258650 WITH SCORE 258961.011
AT ITER 289 NEW BEST:: SOT 1258706 SOS 311087 HAS SOPS 302009 HAS SOUS 259207 HAS SOUPS 258444 WITH SCORE 258755.087
AT ITER 291 NEW BEST:: SOT 1258706 SOS 310807 HAS SOPS 301729 HAS SOUS 259198 HAS SOUPS 258435 WITH SCORE 258745.807
AT ITER 299 NEW BEST:: SOT 1258512 SOS 310509 HAS SOPS 301525 HAS SOUS 258994 HAS SOUPS 258231 WITH SCORE 258541.509
AT ITER 300 NEW BEST:: SOT 1258308 SOS 310531 HAS SOPS 301547 HAS SOUS 258959 HAS SOUPS 258196 WITH SCORE 258506.531
AT ITER 306 NEW BEST:: SOT 1258183 SOS 310415 HAS SOPS 301431 HAS SOUS 258876 HAS SOUPS 258113 WITH SCORE 258423.415
AT ITER 312 NEW BEST:: SOT 1258183 SOS 310415 HAS SOPS 301431 HAS SOUS 258777 HAS SOUPS 258014 WITH SCORE 258324.415
AT ITER 328 NEW BEST:: SOT 1257793 SOS 310017 HAS SOPS 301098 HAS SOUS 258444 HAS SOUPS 257681 WITH SCORE 257991.017
AT ITER 355 NEW BEST:: SOT 1257793 SOS 309915 HAS SOPS 300996 HAS SOUS 258338 HAS SOUPS 257575 WITH SCORE 257884.915
AT ITER 413 NEW BEST:: SOT 1256720 SOS 310565 HAS SOPS 302035 HAS SOUS 257939 HAS SOUPS 257176 WITH SCORE 257486.565
AT ITER 415 NEW BEST:: SOT 1256648 SOS 310565 HAS SOPS 302035 HAS SOUS 257936 HAS SOUPS 257173 WITH SCORE 257483.565
AT ITER 501 NEW BEST:: SOT 1256637 SOS 310459 HAS SOPS 301929 HAS SOUS 257907 HAS SOUPS 257144 WITH SCORE 257454.459
AT ITER 516 NEW BEST:: SOT 1256509 SOS 310339 HAS SOPS 301809 HAS SOUS 257779 HAS SOUPS 257016 WITH SCORE 257326.339
AT ITER 566 NEW BEST:: SOT 1256072 SOS 310381 HAS SOPS 301851 HAS SOUS 257464 HAS SOUPS 256701 WITH SCORE 257011.381
AT ITER 584 NEW BEST:: SOT 1256043 SOS 310352 HAS SOPS 301822 HAS SOUS 257439 HAS SOUPS 256676 WITH SCORE 256986.352
AT ITER 587 NEW BEST:: SOT 1255811 SOS 310384 HAS SOPS 301854 HAS SOUS 257397 HAS SOUPS 256634 WITH SCORE 256944.384
AT ITER 593 NEW BEST:: SOT 1255692 SOS 310268 HAS SOPS 301738 HAS SOUS 257277 HAS SOUPS 256514 WITH SCORE 256824.268
AT ITER 595 NEW BEST:: SOT 1255499 SOS 306875 HAS SOPS 301545 HAS SOUS 256891 HAS SOUPS 256328 WITH SCORE 256634.875
AT ITER 620 NEW BEST:: SOT 1255494 SOS 306860 HAS SOPS 301530 HAS SOUS 256876 HAS SOUPS 256313 WITH SCORE 256619.86
AT ITER 643 NEW BEST:: SOT 1255393 SOS 306860 HAS SOPS 301530 HAS SOUS 256873 HAS SOUPS 256310 WITH SCORE 256616.86
AT ITER 672 NEW BEST:: SOT 1255393 SOS 306837 HAS SOPS 301507 HAS SOUS 256850 HAS SOUPS 256287 WITH SCORE 256593.837
AT ITER 714 NEW BEST:: SOT 1255288 SOS 306734 HAS SOPS 301404 HAS SOUS 256745 HAS SOUPS 256182 WITH SCORE 256488.734
AT ITER 754 NEW BEST:: SOT 1255165 SOS 306748 HAS SOPS 301418 HAS SOUS 256636 HAS SOUPS 256073 WITH SCORE 256379.748
AT ITER 766 NEW BEST:: SOT 1254324 SOS 309072 HAS SOPS 303751 HAS SOUS 256443 HAS SOUPS 255880 WITH SCORE 256189.072
AT ITER 803 NEW BEST:: SOT 1253090 SOS 309837 HAS SOPS 304707 HAS SOUS 255873 HAS SOUPS 255310 WITH SCORE 255619.837
AT ITER 807 NEW BEST:: SOT 1253090 SOS 309773 HAS SOPS 304643 HAS SOUS 255803 HAS SOUPS 255240 WITH SCORE 255549.773
AT ITER 823 NEW BEST:: SOT 1252112 SOS 312021 HAS SOPS 307079 HAS SOUS 255684 HAS SOUPS 255121 WITH SCORE 255433.021
AT ITER 833 NEW BEST:: SOT 1251931 SOS 311919 HAS SOPS 306977 HAS SOUS 255616 HAS SOUPS 255053 WITH SCORE 255364.919
AT ITER 870 NEW BEST:: SOT 1251211 SOS 311442 HAS SOPS 306500 HAS SOUS 254896 HAS SOUPS 254333 WITH SCORE 254644.442
AT ITER 878 NEW BEST:: SOT 1251211 SOS 311459 HAS SOPS 306517 HAS SOUS 254864 HAS SOUPS 254301 WITH SCORE 254612.459
AT ITER 886 NEW BEST:: SOT 1251978 SOS 312263 HAS SOPS 305725 HAS SOUS 255707 HAS SOUPS 253622 WITH SCORE 253934.263
AT ITER 904 NEW BEST:: SOT 1251851 SOS 312143 HAS SOPS 305605 HAS SOUS 255580 HAS SOUPS 253495 WITH SCORE 253807.143
AT ITER 909 NEW BEST:: SOT 1251851 SOS 312118 HAS SOPS 305580 HAS SOUS 255555 HAS SOUPS 253470 WITH SCORE 253782.118
AT ITER 915 NEW BEST:: SOT 1251843 SOS 312071 HAS SOPS 305533 HAS SOUS 255539 HAS SOUPS 253454 WITH SCORE 253766.071
AT ITER 930 NEW BEST:: SOT 1251649 SOS 311911 HAS SOPS 305373 HAS SOUS 255378 HAS SOUPS 253293 WITH SCORE 253604.911
AT ITER 939 NEW BEST:: SOT 1251547 SOS 311809 HAS SOPS 305169 HAS SOUS 255276 HAS SOUPS 253089 WITH SCORE 253400.809
AT ITER 992 NEW BEST:: SOT 1251106 SOS 311980 HAS SOPS 304796 HAS SOUS 254938 HAS SOUPS 252683 WITH SCORE 252994.98
AT ITER 999 NEW BEST:: SOT 1252401 SOS 314940 HAS SOPS 305943 HAS SOUS 255048 HAS SOUPS 252535 WITH SCORE 252849.94
AT ITER 1003 NEW BEST:: SOT 1252401 SOS 314135 HAS SOPS 305138 HAS SOUS 255048 HAS SOUPS 252535 WITH SCORE 252849.135
AT ITER 1015 NEW BEST:: SOT 1252136 SOS 312738 HAS SOPS 303741 HAS SOUS 254680 HAS SOUPS 252167 WITH SCORE 252479.738
AT ITER 1034 NEW BEST:: SOT 1245339 SOS 465205 HAS SOPS 456208 HAS SOUS 250023 HAS SOUPS 247510 WITH SCORE 247975.205
AT ITER 1040 NEW BEST:: SOT 1244769 SOS 464627 HAS SOPS 455725 HAS SOUS 249540 HAS SOUPS 247027 WITH SCORE 247491.627
AT ITER 1055 NEW BEST:: SOT 1244027 SOS 463951 HAS SOPS 455176 HAS SOUS 248904 HAS SOUPS 246391 WITH SCORE 246854.951
AT ITER 1057 NEW BEST:: SOT 1244103 SOS 464027 HAS SOPS 455252 HAS SOUS 248896 HAS SOUPS 246383 WITH SCORE 246847.027
AT ITER 1060 NEW BEST:: SOT 1243770 SOS 463694 HAS SOPS 454919 HAS SOUS 248561 HAS SOUPS 246048 WITH SCORE 246511.694
AT ITER 1079 NEW BEST:: SOT 1243770 SOS 463694 HAS SOPS 454919 HAS SOUS 248558 HAS SOUPS 246045 WITH SCORE 246508.694
AT ITER 1110 NEW BEST:: SOT 1243770 SOS 463694 HAS SOPS 454919 HAS SOUS 248550 HAS SOUPS 246037 WITH SCORE 246500.694
AT ITER 1127 NEW BEST:: SOT 1243770 SOS 463690 HAS SOPS 454915 HAS SOUS 248546 HAS SOUPS 246033 WITH SCORE 246496.69
AT ITER 1128 NEW BEST:: SOT 1243670 SOS 463732 HAS SOPS 454957 HAS SOUS 248488 HAS SOUPS 245975 WITH SCORE 246438.732
AT ITER 1133 NEW BEST:: SOT 1243662 SOS 463724 HAS SOPS 454949 HAS SOUS 248475 HAS SOUPS 245962 WITH SCORE 246425.724
AT ITER 1147 NEW BEST:: SOT 1243728 SOS 463519 HAS SOPS 454744 HAS SOUS 248456 HAS SOUPS 245943 WITH SCORE 246406.519
AT ITER 1156 NEW BEST:: SOT 1243683 SOS 463474 HAS SOPS 454654 HAS SOUS 248409 HAS SOUPS 245853 WITH SCORE 246316.474
AT ITER 1157 NEW BEST:: SOT 1243354 SOS 463145 HAS SOPS 454372 HAS SOUS 248127 HAS SOUPS 245571 WITH SCORE 246034.145
AT ITER 1187 NEW BEST:: SOT 1243354 SOS 463115 HAS SOPS 454342 HAS SOUS 248097 HAS SOUPS 245541 WITH SCORE 246004.115
AT ITER 1189 NEW BEST:: SOT 1243537 SOS 462405 HAS SOPS 453632 HAS SOUS 248026 HAS SOUPS 245470 WITH SCORE 245932.405
AT ITER 1201 NEW BEST:: SOT 1243514 SOS 462382 HAS SOPS 453609 HAS SOUS 247980 HAS SOUPS 245424 WITH SCORE 245886.382
AT ITER 1210 NEW BEST:: SOT 1243490 SOS 462358 HAS SOPS 453561 HAS SOUS 247998 HAS SOUPS 245418 WITH SCORE 245880.358
AT ITER 1220 NEW BEST:: SOT 1243490 SOS 331556 HAS SOPS 322759 HAS SOUS 248062 HAS SOUPS 245482 WITH SCORE 245813.556
AT ITER 1259 NEW BEST:: SOT 1243404 SOS 331541 HAS SOPS 322744 HAS SOUS 247971 HAS SOUPS 245391 WITH SCORE 245722.541
AT ITER 1269 NEW BEST:: SOT 1243278 SOS 331419 HAS SOPS 322622 HAS SOUS 247844 HAS SOUPS 245264 WITH SCORE 245595.419
AT ITER 1276 NEW BEST:: SOT 1243033 SOS 332232 HAS SOPS 323435 HAS SOUS 247607 HAS SOUPS 245027 WITH SCORE 245359.232
AT ITER 1289 NEW BEST:: SOT 1243076 SOS 332275 HAS SOPS 323478 HAS SOUS 247530 HAS SOUPS 244950 WITH SCORE 245282.275
AT ITER 1292 NEW BEST:: SOT 1243067 SOS 332275 HAS SOPS 323478 HAS SOUS 247526 HAS SOUPS 244946 WITH SCORE 245278.275
AT ITER 1300 NEW BEST:: SOT 1242959 SOS 332266 HAS SOPS 323469 HAS SOUS 247398 HAS SOUPS 244818 WITH SCORE 245150.266
AT ITER 1335 NEW BEST:: SOT 1242959 SOS 332266 HAS SOPS 323469 HAS SOUS 247340 HAS SOUPS 244760 WITH SCORE 245092.266
AT ITER 1339 NEW BEST:: SOT 1242959 SOS 332266 HAS SOPS 323469 HAS SOUS 247287 HAS SOUPS 244707 WITH SCORE 245039.266
AT ITER 1343 NEW BEST:: SOT 1242896 SOS 332203 HAS SOPS 323415 HAS SOUS 247228 HAS SOUPS 244648 WITH SCORE 244980.203
AT ITER 1365 NEW BEST:: SOT 1241826 SOS 334469 HAS SOPS 322501 HAS SOUS 246528 HAS SOUPS 243636 WITH SCORE 243970.469
AT ITER 1376 NEW BEST:: SOT 1241826 SOS 334469 HAS SOPS 322501 HAS SOUS 246384 HAS SOUPS 243492 WITH SCORE 243826.469
AT ITER 1415 NEW BEST:: SOT 1241793 SOS 334403 HAS SOPS 322435 HAS SOUS 246335 HAS SOUPS 243443 WITH SCORE 243777.403
AT ITER 1422 NEW BEST:: SOT 1241924 SOS 334492 HAS SOPS 322524 HAS SOUS 246312 HAS SOUPS 243420 WITH SCORE 243754.492
AT ITER 1440 NEW BEST:: SOT 1241868 SOS 334436 HAS SOPS 322468 HAS SOUS 246256 HAS SOUPS 243364 WITH SCORE 243698.436
AT ITER 1443 NEW BEST:: SOT 1241860 SOS 334428 HAS SOPS 322460 HAS SOUS 246253 HAS SOUPS 243361 WITH SCORE 243695.428
AT ITER 1452 NEW BEST:: SOT 1241860 SOS 334428 HAS SOPS 322460 HAS SOUS 246244 HAS SOUPS 243352 WITH SCORE 243686.428
AT ITER 1495 NEW BEST:: SOT 1241760 SOS 332401 HAS SOPS 320440 HAS SOUS 246044 HAS SOUPS 243152 WITH SCORE 243484.401
AT ITER 1501 NEW BEST:: SOT 1241752 SOS 332385 HAS SOPS 320424 HAS SOUS 246028 HAS SOUPS 243136 WITH SCORE 243468.385
AT ITER 1518 NEW BEST:: SOT 1241010 SOS 331643 HAS SOPS 319788 HAS SOUS 245388 HAS SOUPS 242496 WITH SCORE 242827.643
AT ITER 1534 NEW BEST:: SOT 1240924 SOS 331557 HAS SOPS 319702 HAS SOUS 245298 HAS SOUPS 242406 WITH SCORE 242737.557
AT ITER 1542 NEW BEST:: SOT 1240866 SOS 331441 HAS SOPS 319586 HAS SOUS 245224 HAS SOUPS 242332 WITH SCORE 242663.441
AT ITER 1553 NEW BEST:: SOT 1240410 SOS 330985 HAS SOPS 319187 HAS SOUS 244822 HAS SOUPS 241930 WITH SCORE 242260.985
AT ITER 1564 NEW BEST:: SOT 1240278 SOS 330259 HAS SOPS 318461 HAS SOUS 244558 HAS SOUPS 241666 WITH SCORE 241996.259
AT ITER 1565 NEW BEST:: SOT 1240301 SOS 330282 HAS SOPS 318484 HAS SOUS 244479 HAS SOUPS 241587 WITH SCORE 241917.282
AT ITER 1566 NEW BEST:: SOT 1240157 SOS 330142 HAS SOPS 318344 HAS SOUS 244335 HAS SOUPS 241443 WITH SCORE 241773.142
AT ITER 1581 NEW BEST:: SOT 1240141 SOS 330060 HAS SOPS 318262 HAS SOUS 244303 HAS SOUPS 241411 WITH SCORE 241741.06
AT ITER 1593 NEW BEST:: SOT 1240141 SOS 330059 HAS SOPS 318261 HAS SOUS 244302 HAS SOUPS 241410 WITH SCORE 241740.059
AT ITER 1600 NEW BEST:: SOT 1240035 SOS 328819 HAS SOPS 317021 HAS SOUS 244196 HAS SOUPS 241304 WITH SCORE 241632.819
AT ITER 1616 NEW BEST:: SOT 1240017 SOS 328810 HAS SOPS 317012 HAS SOUS 244161 HAS SOUPS 241269 WITH SCORE 241597.81
AT ITER 1627 NEW BEST:: SOT 1239993 SOS 328705 HAS SOPS 316819 HAS SOUS 244097 HAS SOUPS 241117 WITH SCORE 241445.705
AT ITER 1648 NEW BEST:: SOT 1239878 SOS 328622 HAS SOPS 316736 HAS SOUS 243924 HAS SOUPS 240944 WITH SCORE 241272.622
AT ITER 1651 NEW BEST:: SOT 1239942 SOS 328686 HAS SOPS 316800 HAS SOUS 243834 HAS SOUPS 240854 WITH SCORE 241182.686
AT ITER 1655 NEW BEST:: SOT 1239942 SOS 328686 HAS SOPS 316800 HAS SOUS 243832 HAS SOUPS 240852 WITH SCORE 241180.686
AT ITER 1657 NEW BEST:: SOT 1239888 SOS 328686 HAS SOPS 316800 HAS SOUS 243831 HAS SOUPS 240851 WITH SCORE 241179.686
AT ITER 1663 NEW BEST:: SOT 1239780 SOS 328582 HAS SOPS 316696 HAS SOUS 243723 HAS SOUPS 240743 WITH SCORE 241071.582
AT ITER 1668 NEW BEST:: SOT 1239780 SOS 328575 HAS SOPS 316689 HAS SOUS 243685 HAS SOUPS 240705 WITH SCORE 241033.575
AT ITER 1683 NEW BEST:: SOT 1239780 SOS 328575 HAS SOPS 316689 HAS SOUS 243587 HAS SOUPS 240607 WITH SCORE 240935.575
AT ITER 1690 NEW BEST:: SOT 1239780 SOS 328596 HAS SOPS 316710 HAS SOUS 243459 HAS SOUPS 240479 WITH SCORE 240807.596
AT ITER 1693 NEW BEST:: SOT 1239780 SOS 328553 HAS SOPS 316667 HAS SOUS 243287 HAS SOUPS 240307 WITH SCORE 240635.553
AT ITER 1717 NEW BEST:: SOT 1239859 SOS 328632 HAS SOPS 316746 HAS SOUS 243244 HAS SOUPS 240264 WITH SCORE 240592.632
AT ITER 1789 NEW BEST:: SOT 1239843 SOS 328644 HAS SOPS 316758 HAS SOUS 243141 HAS SOUPS 240161 WITH SCORE 240489.644
AT ITER 1790 NEW BEST:: SOT 1239835 SOS 328538 HAS SOPS 316652 HAS SOUS 243125 HAS SOUPS 240145 WITH SCORE 240473.538
AT ITER 1796 NEW BEST:: SOT 1239275 SOS 327978 HAS SOPS 316176 HAS SOUS 242642 HAS SOUPS 239662 WITH SCORE 239989.978
AT ITER 1797 NEW BEST:: SOT 1239180 SOS 328071 HAS SOPS 316269 HAS SOUS 242640 HAS SOUPS 239660 WITH SCORE 239988.071
AT ITER 1825 NEW BEST:: SOT 1239180 SOS 328071 HAS SOPS 316269 HAS SOUS 242632 HAS SOUPS 239652 WITH SCORE 239980.071
AT ITER 1829 NEW BEST:: SOT 1239274 SOS 328165 HAS SOPS 316363 HAS SOUS 242591 HAS SOUPS 239611 WITH SCORE 239939.165
AT ITER 1836 NEW BEST:: SOT 1239163 SOS 328054 HAS SOPS 316252 HAS SOUS 242369 HAS SOUPS 239389 WITH SCORE 239717.054
AT ITER 1837 NEW BEST:: SOT 1239209 SOS 328100 HAS SOPS 316298 HAS SOUS 242305 HAS SOUPS 239325 WITH SCORE 239653.1
AT ITER 1853 NEW BEST:: SOT 1239186 SOS 328077 HAS SOPS 316275 HAS SOUS 242282 HAS SOUPS 239302 WITH SCORE 239630.077
AT ITER 1869 NEW BEST:: SOT 1239144 SOS 328035 HAS SOPS 316233 HAS SOUS 242240 HAS SOUPS 239260 WITH SCORE 239588.035
AT ITER 1871 NEW BEST:: SOT 1239065 SOS 328018 HAS SOPS 316137 HAS SOUS 242082 HAS SOUPS 239102 WITH SCORE 239430.018
AT ITER 1877 NEW BEST:: SOT 1239002 SOS 328027 HAS SOPS 316146 HAS SOUS 242028 HAS SOUPS 239048 WITH SCORE 239376.027
AT ITER 1909 NEW BEST:: SOT 1238839 SOS 306900 HAS SOPS 295019 HAS SOUS 241865 HAS SOUPS 238885 WITH SCORE 239191.9
AT ITER 1927 NEW BEST:: SOT 1238814 SOS 306672 HAS SOPS 294791 HAS SOUS 241815 HAS SOUPS 238835 WITH SCORE 239141.672
AT ITER 1930 NEW BEST:: SOT 1238977 SOS 306810 HAS SOPS 294929 HAS SOUS 241742 HAS SOUPS 238762 WITH SCORE 239068.81
AT ITER 1957 NEW BEST:: SOT 1238880 SOS 306811 HAS SOPS 294930 HAS SOUS 241645 HAS SOUPS 238665 WITH SCORE 238971.811
AT ITER 1973 NEW BEST:: SOT 1239305 SOS 307267 HAS SOPS 293928 HAS SOUS 240765 HAS SOUPS 237752 WITH SCORE 238059.267
AT ITER 1976 NEW BEST:: SOT 1239263 SOS 307183 HAS SOPS 293844 HAS SOUS 240681 HAS SOUPS 237668 WITH SCORE 237975.183
AT ITER 1988 NEW BEST:: SOT 1238700 SOS 307430 HAS SOPS 293371 HAS SOUS 240275 HAS SOUPS 237172 WITH SCORE 237479.43
AT ITER 1990 NEW BEST:: SOT 1238681 SOS 307411 HAS SOPS 293333 HAS SOUS 240280 HAS SOUPS 237158 WITH SCORE 237465.411
AT ITER 1994 NEW BEST:: SOT 1237880 SOS 307120 HAS SOPS 293137 HAS SOUS 239548 HAS SOUPS 236426 WITH SCORE 236733.12
AT ITER 2010 NEW BEST:: SOT 1237830 SOS 307070 HAS SOPS 293087 HAS SOUS 239498 HAS SOUPS 236376 WITH SCORE 236683.07
AT ITER 2020 NEW BEST:: SOT 1237755 SOS 306333 HAS SOPS 292350 HAS SOUS 239345 HAS SOUPS 236223 WITH SCORE 236529.333
AT ITER 2044 NEW BEST:: SOT 1237755 SOS 306284 HAS SOPS 292301 HAS SOUS 239296 HAS SOUPS 236174 WITH SCORE 236480.284
AT ITER 2048 NEW BEST:: SOT 1237808 SOS 306337 HAS SOPS 292354 HAS SOUS 239250 HAS SOUPS 236128 WITH SCORE 236434.337
AT ITER 2057 NEW BEST:: SOT 1237670 SOS 306199 HAS SOPS 292216 HAS SOUS 239112 HAS SOUPS 235990 WITH SCORE 236296.199
AT ITER 2088 NEW BEST:: SOT 1237670 SOS 306178 HAS SOPS 292195 HAS SOUS 239091 HAS SOUPS 235969 WITH SCORE 236275.178
AT ITER 2091 NEW BEST:: SOT 1237544 SOS 306053 HAS SOPS 292070 HAS SOUS 238965 HAS SOUPS 235843 WITH SCORE 236149.053
AT ITER 2096 NEW BEST:: SOT 1237525 SOS 305878 HAS SOPS 291895 HAS SOUS 238771 HAS SOUPS 235649 WITH SCORE 235954.878
AT ITER 2108 NEW BEST:: SOT 1237340 SOS 305693 HAS SOPS 291710 HAS SOUS 238503 HAS SOUPS 235381 WITH SCORE 235686.693
AT ITER 2120 NEW BEST:: SOT 1237272 SOS 305697 HAS SOPS 291714 HAS SOUS 238447 HAS SOUPS 235325 WITH SCORE 235630.697
AT ITER 2131 NEW BEST:: SOT 1237272 SOS 305240 HAS SOPS 291202 HAS SOUS 238383 HAS SOUPS 235261 WITH SCORE 235566.24
AT ITER 2133 NEW BEST:: SOT 1237312 SOS 305127 HAS SOPS 291089 HAS SOUS 238270 HAS SOUPS 235148 WITH SCORE 235453.127
AT ITER 2139 NEW BEST:: SOT 1237312 SOS 305127 HAS SOPS 291089 HAS SOUS 238261 HAS SOUPS 235139 WITH SCORE 235444.127
AT ITER 2150 NEW BEST:: SOT 1237247 SOS 305128 HAS SOPS 291090 HAS SOUS 238196 HAS SOUPS 235074 WITH SCORE 235379.128
AT ITER 2152 NEW BEST:: SOT 1237251 SOS 305128 HAS SOPS 291090 HAS SOUS 238175 HAS SOUPS 235053 WITH SCORE 235358.128
AT ITER 2187 NEW BEST:: SOT 1237175 SOS 304438 HAS SOPS 290400 HAS SOUS 238023 HAS SOUPS 234901 WITH SCORE 235205.438
AT ITER 2206 NEW BEST:: SOT 1237049 SOS 304437 HAS SOPS 290399 HAS SOUS 237840 HAS SOUPS 234718 WITH SCORE 235022.437
AT ITER 2207 NEW BEST:: SOT 1237064 SOS 304452 HAS SOPS 290414 HAS SOUS 237751 HAS SOUPS 234629 WITH SCORE 234933.452
AT ITER 2210 NEW BEST:: SOT 1237064 SOS 304444 HAS SOPS 290406 HAS SOUS 237743 HAS SOUPS 234621 WITH SCORE 234925.444
AT ITER 2212 NEW BEST:: SOT 1237056 SOS 304428 HAS SOPS 290390 HAS SOUS 237719 HAS SOUPS 234597 WITH SCORE 234901.428
AT ITER 2214 NEW BEST:: SOT 1237056 SOS 304433 HAS SOPS 290395 HAS SOUS 237614 HAS SOUPS 234492 WITH SCORE 234796.433
AT ITER 2241 NEW BEST:: SOT 1236910 SOS 304433 HAS SOPS 290395 HAS SOUS 237561 HAS SOUPS 234439 WITH SCORE 234743.433
AT ITER 2286 NEW BEST:: SOT 1236910 SOS 304433 HAS SOPS 290395 HAS SOUS 237440 HAS SOUPS 234318 WITH SCORE 234622.433
AT ITER 2313 NEW BEST:: SOT 1236901 SOS 304424 HAS SOPS 290386 HAS SOUS 237431 HAS SOUPS 234309 WITH SCORE 234613.424
AT ITER 2317 NEW BEST:: SOT 1236883 SOS 304406 HAS SOPS 290350 HAS SOUS 237395 HAS SOUPS 234273 WITH SCORE 234577.406
AT ITER 2321 NEW BEST:: SOT 1236785 SOS 304406 HAS SOPS 290350 HAS SOUS 237297 HAS SOUPS 234175 WITH SCORE 234479.406
AT ITER 2325 NEW BEST:: SOT 1236658 SOS 304280 HAS SOPS 290224 HAS SOUS 237170 HAS SOUPS 234048 WITH SCORE 234352.28
AT ITER 2345 NEW BEST:: SOT 1236612 SOS 304234 HAS SOPS 290178 HAS SOUS 237078 HAS SOUPS 233956 WITH SCORE 234260.234
AT ITER 2362 NEW BEST:: SOT 1236440 SOS 304277 HAS SOPS 290221 HAS SOUS 236988 HAS SOUPS 233866 WITH SCORE 234170.277
AT ITER 2363 NEW BEST:: SOT 1236327 SOS 304096 HAS SOPS 290187 HAS SOUS 236953 HAS SOUPS 233832 WITH SCORE 234136.096
AT ITER 2367 NEW BEST:: SOT 1236228 SOS 304096 HAS SOPS 290187 HAS SOUS 236946 HAS SOUPS 233825 WITH SCORE 234129.096
AT ITER 2369 NEW BEST:: SOT 1236228 SOS 304096 HAS SOPS 290187 HAS SOUS 236867 HAS SOUPS 233746 WITH SCORE 234050.096
AT ITER 2386 NEW BEST:: SOT 1236130 SOS 304064 HAS SOPS 290155 HAS SOUS 236737 HAS SOUPS 233616 WITH SCORE 233920.064
AT ITER 2405 NEW BEST:: SOT 1236119 SOS 304217 HAS SOPS 290308 HAS SOUS 236735 HAS SOUPS 233614 WITH SCORE 233918.217
AT ITER 2411 NEW BEST:: SOT 1235973 SOS 304135 HAS SOPS 290226 HAS SOUS 236702 HAS SOUPS 233581 WITH SCORE 233885.135
AT ITER 2416 NEW BEST:: SOT 1236078 SOS 304240 HAS SOPS 290331 HAS SOUS 236695 HAS SOUPS 233574 WITH SCORE 233878.24
AT ITER 2421 NEW BEST:: SOT 1236078 SOS 304232 HAS SOPS 290323 HAS SOUS 236687 HAS SOUPS 233566 WITH SCORE 233870.232
AT ITER 2423 NEW BEST:: SOT 1236078 SOS 304204 HAS SOPS 290295 HAS SOUS 236630 HAS SOUPS 233509 WITH SCORE 233813.204
AT ITER 2431 NEW BEST:: SOT 1236071 SOS 304197 HAS SOPS 290288 HAS SOUS 236569 HAS SOUPS 233448 WITH SCORE 233752.197
AT ITER 2451 NEW BEST:: SOT 1236071 SOS 304197 HAS SOPS 290288 HAS SOUS 236561 HAS SOUPS 233440 WITH SCORE 233744.197
AT ITER 2456 NEW BEST:: SOT 1236071 SOS 304197 HAS SOPS 290288 HAS SOUS 236504 HAS SOUPS 233383 WITH SCORE 233687.197
AT ITER 2457 NEW BEST:: SOT 1236071 SOS 303424 HAS SOPS 289515 HAS SOUS 236358 HAS SOUPS 233237 WITH SCORE 233540.424
AT ITER 2460 NEW BEST:: SOT 1236087 SOS 303440 HAS SOPS 289531 HAS SOUS 236227 HAS SOUPS 233106 WITH SCORE 233409.44
AT ITER 2483 NEW BEST:: SOT 1236087 SOS 303399 HAS SOPS 289490 HAS SOUS 236138 HAS SOUPS 233017 WITH SCORE 233320.399
AT ITER 2489 NEW BEST:: SOT 1235845 SOS 303407 HAS SOPS 289498 HAS SOUS 235921 HAS SOUPS 232800 WITH SCORE 233103.407
AT ITER 2530 NEW BEST:: SOT 1235860 SOS 303422 HAS SOPS 289513 HAS SOUS 235894 HAS SOUPS 232773 WITH SCORE 233076.422
AT ITER 2550 NEW BEST:: SOT 1235821 SOS 303007 HAS SOPS 289098 HAS SOUS 235629 HAS SOUPS 232508 WITH SCORE 232811.007
AT ITER 2574 NEW BEST:: SOT 1235813 SOS 302999 HAS SOPS 289090 HAS SOUS 235613 HAS SOUPS 232492 WITH SCORE 232794.999
AT ITER 2581 NEW BEST:: SOT 1235737 SOS 302923 HAS SOPS 289014 HAS SOUS 235548 HAS SOUPS 232427 WITH SCORE 232729.923
AT ITER 2608 NEW BEST:: SOT 1235511 SOS 302697 HAS SOPS 288788 HAS SOUS 235114 HAS SOUPS 231993 WITH SCORE 232295.697
AT ITER 2617 NEW BEST:: SOT 1235357 SOS 302487 HAS SOPS 288578 HAS SOUS 234830 HAS SOUPS 231709 WITH SCORE 232011.487
AT ITER 2636 NEW BEST:: SOT 1235292 SOS 302422 HAS SOPS 288513 HAS SOUS 234765 HAS SOUPS 231644 WITH SCORE 231946.422
AT ITER 2649 NEW BEST:: SOT 1235265 SOS 302395 HAS SOPS 288486 HAS SOUS 234738 HAS SOUPS 231617 WITH SCORE 231919.395
AT ITER 2687 NEW BEST:: SOT 1235265 SOS 302275 HAS SOPS 288366 HAS SOUS 234738 HAS SOUPS 231617 WITH SCORE 231919.275
AT ITER 2706 NEW BEST:: SOT 1235265 SOS 302245 HAS SOPS 288336 HAS SOUS 234614 HAS SOUPS 231493 WITH SCORE 231795.245
AT ITER 2718 NEW BEST:: SOT 1235265 SOS 302245 HAS SOPS 288336 HAS SOUS 234550 HAS SOUPS 231429 WITH SCORE 231731.245
AT ITER 2720 NEW BEST:: SOT 1235247 SOS 302218 HAS SOPS 288309 HAS SOUS 234523 HAS SOUPS 231402 WITH SCORE 231704.218
AT ITER 2740 NEW BEST:: SOT 1235219 SOS 302170 HAS SOPS 288261 HAS SOUS 234487 HAS SOUPS 231366 WITH SCORE 231668.17
AT ITER 2742 NEW BEST:: SOT 1235211 SOS 302122 HAS SOPS 288213 HAS SOUS 234471 HAS SOUPS 231350 WITH SCORE 231652.122
AT ITER 2749 NEW BEST:: SOT 1235211 SOS 302101 HAS SOPS 288192 HAS SOUS 234471 HAS SOUPS 231350 WITH SCORE 231652.101
AT ITER 2771 NEW BEST:: SOT 1235001 SOS 302518 HAS SOPS 288798 HAS SOUS 234387 HAS SOUPS 231266 WITH SCORE 231568.518
AT ITER 2781 NEW BEST:: SOT 1234983 SOS 302500 HAS SOPS 288780 HAS SOUS 234351 HAS SOUPS 231230 WITH SCORE 231532.5
AT ITER 2791 NEW BEST:: SOT 1234975 SOS 302492 HAS SOPS 288772 HAS SOUS 234335 HAS SOUPS 231214 WITH SCORE 231516.492
AT ITER 2807 NEW BEST:: SOT 1235022 SOS 302579 HAS SOPS 288261 HAS SOUS 233827 HAS SOUPS 230706 WITH SCORE 231008.579
AT ITER 2810 NEW BEST:: SOT 1235014 SOS 302571 HAS SOPS 288253 HAS SOUS 233811 HAS SOUPS 230690 WITH SCORE 230992.571
AT ITER 2828 NEW BEST:: SOT 1234823 SOS 302406 HAS SOPS 288122 HAS SOUS 233680 HAS SOUPS 230559 WITH SCORE 230861.406
AT ITER 2844 NEW BEST:: SOT 1234823 SOS 302406 HAS SOPS 288122 HAS SOUS 233660 HAS SOUPS 230539 WITH SCORE 230841.406
AT ITER 2883 NEW BEST:: SOT 1234608 SOS 302191 HAS SOPS 287907 HAS SOUS 233441 HAS SOUPS 230320 WITH SCORE 230622.191
AT ITER 2884 NEW BEST:: SOT 1234548 SOS 302191 HAS SOPS 287907 HAS SOUS 233381 HAS SOUPS 230260 WITH SCORE 230562.191
AT ITER 2890 NEW BEST:: SOT 1234438 SOS 302191 HAS SOPS 287907 HAS SOUS 233271 HAS SOUPS 230150 WITH SCORE 230452.191
AT ITER 2893 NEW BEST:: SOT 1234322 SOS 302254 HAS SOPS 287970 HAS SOUS 233218 HAS SOUPS 230097 WITH SCORE 230399.254
AT ITER 2901 NEW BEST:: SOT 1234322 SOS 302254 HAS SOPS 287970 HAS SOUS 233193 HAS SOUPS 230072 WITH SCORE 230374.254
AT ITER 2903 NEW BEST:: SOT 1234215 SOS 302325 HAS SOPS 288041 HAS SOUS 233156 HAS SOUPS 230035 WITH SCORE 230337.325
AT ITER 2913 NEW BEST:: SOT 1234335 SOS 300937 HAS SOPS 286653 HAS SOUS 233136 HAS SOUPS 230015 WITH SCORE 230315.937
AT ITER 2914 NEW BEST:: SOT 1234188 SOS 300790 HAS SOPS 286506 HAS SOUS 232900 HAS SOUPS 229779 WITH SCORE 230079.79
AT ITER 2932 NEW BEST:: SOT 1234188 SOS 301033 HAS SOPS 286493 HAS SOUS 232887 HAS SOUPS 229750 WITH SCORE 230051.033
AT ITER 2962 NEW BEST:: SOT 1234146 SOS 301020 HAS SOPS 286480 HAS SOUS 232832 HAS SOUPS 229695 WITH SCORE 229996.02
AT ITER 2964 NEW BEST:: SOT 1234138 SOS 300868 HAS SOPS 286328 HAS SOUS 232816 HAS SOUPS 229679 WITH SCORE 229979.868
AT ITER 2975 NEW BEST:: SOT 1234106 SOS 300836 HAS SOPS 286296 HAS SOUS 232752 HAS SOUPS 229615 WITH SCORE 229915.836
AT ITER 2995 NEW BEST:: SOT 1234106 SOS 300895 HAS SOPS 286355 HAS SOUS 232626 HAS SOUPS 229489 WITH SCORE 229789.895
AT ITER 3012 NEW BEST:: SOT 1234047 SOS 300836 HAS SOPS 286296 HAS SOUS 232567 HAS SOUPS 229430 WITH SCORE 229730.836
AT ITER 3026 NEW BEST:: SOT 1234047 SOS 300836 HAS SOPS 286296 HAS SOUS 232554 HAS SOUPS 229417 WITH SCORE 229717.836
AT ITER 3028 NEW BEST:: SOT 1234012 SOS 300801 HAS SOPS 286261 HAS SOUS 232506 HAS SOUPS 229369 WITH SCORE 229669.801
AT ITER 3029 NEW BEST:: SOT 1234089 SOS 300852 HAS SOPS 286312 HAS SOUS 232410 HAS SOUPS 229273 WITH SCORE 229573.852
AT ITER 3083 NEW BEST:: SOT 1234089 SOS 300852 HAS SOPS 286312 HAS SOUS 232396 HAS SOUPS 229259 WITH SCORE 229559.852
AT ITER 3123 NEW BEST:: SOT 1233706 SOS 300469 HAS SOPS 285929 HAS SOUS 231782 HAS SOUPS 228645 WITH SCORE 228945.469
AT ITER 3141 NEW BEST:: SOT 1233672 SOS 300184 HAS SOPS 285644 HAS SOUS 231714 HAS SOUPS 228577 WITH SCORE 228877.184
AT ITER 3162 NEW BEST:: SOT 1233708 SOS 300220 HAS SOPS 285680 HAS SOUS 231636 HAS SOUPS 228499 WITH SCORE 228799.22
AT ITER 3186 NEW BEST:: SOT 1233708 SOS 300188 HAS SOPS 285648 HAS SOUS 231604 HAS SOUPS 228467 WITH SCORE 228767.188
AT ITER 3188 NEW BEST:: SOT 1233572 SOS 300052 HAS SOPS 285512 HAS SOUS 231400 HAS SOUPS 228263 WITH SCORE 228563.052
AT ITER 3243 NEW BEST:: SOT 1233545 SOS 300073 HAS SOPS 285533 HAS SOUS 231373 HAS SOUPS 228236 WITH SCORE 228536.073
AT ITER 3268 NEW BEST:: SOT 1233502 SOS 300030 HAS SOPS 285447 HAS SOUS 231287 HAS SOUPS 228150 WITH SCORE 228450.03
AT ITER 3272 NEW BEST:: SOT 1233502 SOS 300030 HAS SOPS 285447 HAS SOUS 231155 HAS SOUPS 228018 WITH SCORE 228318.03
AT ITER 3280 NEW BEST:: SOT 1233460 SOS 299588 HAS SOPS 285005 HAS SOUS 231063 HAS SOUPS 227926 WITH SCORE 228225.588
AT ITER 3318 NEW BEST:: SOT 1233308 SOS 299414 HAS SOPS 284978 HAS SOUS 231000 HAS SOUPS 227863 WITH SCORE 228162.414
AT ITER 3323 NEW BEST:: SOT 1233293 SOS 299399 HAS SOPS 284963 HAS SOUS 230970 HAS SOUPS 227833 WITH SCORE 228132.399
AT ITER 3346 NEW BEST:: SOT 1233204 SOS 299399 HAS SOPS 284963 HAS SOUS 230881 HAS SOUPS 227744 WITH SCORE 228043.399
AT ITER 3349 NEW BEST:: SOT 1232625 SOS 300544 HAS SOPS 286216 HAS SOUS 230646 HAS SOUPS 227509 WITH SCORE 227809.544
AT ITER 3353 NEW BEST:: SOT 1232689 SOS 300519 HAS SOPS 286191 HAS SOUS 230621 HAS SOUPS 227484 WITH SCORE 227784.519
AT ITER 3356 NEW BEST:: SOT 1232682 SOS 300448 HAS SOPS 286120 HAS SOUS 230607 HAS SOUPS 227470 WITH SCORE 227770.448
AT ITER 3361 NEW BEST:: SOT 1232646 SOS 300412 HAS SOPS 286084 HAS SOUS 230571 HAS SOUPS 227434 WITH SCORE 227734.412
AT ITER 3366 NEW BEST:: SOT 1232645 SOS 300408 HAS SOPS 286080 HAS SOUS 230548 HAS SOUPS 227411 WITH SCORE 227711.408
AT ITER 3372 NEW BEST:: SOT 1232706 SOS 300469 HAS SOPS 286141 HAS SOUS 230464 HAS SOUPS 227327 WITH SCORE 227627.469
AT ITER 3376 NEW BEST:: SOT 1232905 SOS 300440 HAS SOPS 286112 HAS SOUS 229943 HAS SOUPS 226806 WITH SCORE 227106.44
AT ITER 3378 NEW BEST:: SOT 1233023 SOS 300438 HAS SOPS 286110 HAS SOUS 229939 HAS SOUPS 226802 WITH SCORE 227102.438
AT ITER 3380 NEW BEST:: SOT 1233017 SOS 300499 HAS SOPS 286171 HAS SOUS 229935 HAS SOUPS 226798 WITH SCORE 227098.499
AT ITER 3413 NEW BEST:: SOT 1232928 SOS 300410 HAS SOPS 286163 HAS SOUS 229837 HAS SOUPS 226700 WITH SCORE 227000.41
AT ITER 3415 NEW BEST:: SOT 1232928 SOS 300327 HAS SOPS 286080 HAS SOUS 229754 HAS SOUPS 226617 WITH SCORE 226917.327
AT ITER 3426 NEW BEST:: SOT 1232842 SOS 299553 HAS SOPS 285306 HAS SOUS 229582 HAS SOUPS 226445 WITH SCORE 226744.553
AT ITER 3431 NEW BEST:: SOT 1232821 SOS 299532 HAS SOPS 285285 HAS SOUS 229496 HAS SOUPS 226359 WITH SCORE 226658.532
AT ITER 3444 NEW BEST:: SOT 1232709 SOS 299420 HAS SOPS 285246 HAS SOUS 229277 HAS SOUPS 226140 WITH SCORE 226439.42
AT ITER 3446 NEW BEST:: SOT 1232698 SOS 299420 HAS SOPS 285246 HAS SOUS 229266 HAS SOUPS 226129 WITH SCORE 226428.42
AT ITER 3455 NEW BEST:: SOT 1232698 SOS 299389 HAS SOPS 285215 HAS SOUS 229235 HAS SOUPS 226098 WITH SCORE 226397.389
AT ITER 3468 NEW BEST:: SOT 1232698 SOS 299374 HAS SOPS 285200 HAS SOUS 229220 HAS SOUPS 226083 WITH SCORE 226382.374
AT ITER 3476 NEW BEST:: SOT 1232655 SOS 299333 HAS SOPS 285159 HAS SOUS 229204 HAS SOUPS 226067 WITH SCORE 226366.333
AT ITER 3485 NEW BEST:: SOT 1232655 SOS 299290 HAS SOPS 285116 HAS SOUS 229161 HAS SOUPS 226024 WITH SCORE 226323.29
AT ITER 3486 NEW BEST:: SOT 1232606 SOS 299241 HAS SOPS 285067 HAS SOUS 229063 HAS SOUPS 225926 WITH SCORE 226225.241
AT ITER 3488 NEW BEST:: SOT 1232552 SOS 299111 HAS SOPS 284937 HAS SOUS 228866 HAS SOUPS 225729 WITH SCORE 226028.111
AT ITER 3493 NEW BEST:: SOT 1232545 SOS 299097 HAS SOPS 284916 HAS SOUS 228855 HAS SOUPS 225715 WITH SCORE 226014.097
AT ITER 3495 NEW BEST:: SOT 1232520 SOS 298569 HAS SOPS 284388 HAS SOUS 228822 HAS SOUPS 225682 WITH SCORE 225980.569
AT ITER 3507 NEW BEST:: SOT 1232473 SOS 298482 HAS SOPS 284254 HAS SOUS 228771 HAS SOUPS 225588 WITH SCORE 225886.482
AT ITER 3509 NEW BEST:: SOT 1232492 SOS 298469 HAS SOPS 284241 HAS SOUS 228745 HAS SOUPS 225562 WITH SCORE 225860.469
AT ITER 3510 NEW BEST:: SOT 1232441 SOS 298519 HAS SOPS 284291 HAS SOUS 228744 HAS SOUPS 225561 WITH SCORE 225859.519
AT ITER 3512 NEW BEST:: SOT 1232407 SOS 297499 HAS SOPS 283271 HAS SOUS 228719 HAS SOUPS 225536 WITH SCORE 225833.499
AT ITER 3518 NEW BEST:: SOT 1232427 SOS 297499 HAS SOPS 283271 HAS SOUS 228588 HAS SOUPS 225405 WITH SCORE 225702.499
AT ITER 3542 NEW BEST:: SOT 1232429 SOS 297409 HAS SOPS 283181 HAS SOUS 228490 HAS SOUPS 225307 WITH SCORE 225604.409
AT ITER 3560 NEW BEST:: SOT 1232421 SOS 297401 HAS SOPS 283173 HAS SOUS 228477 HAS SOUPS 225294 WITH SCORE 225591.401
AT ITER 3563 NEW BEST:: SOT 1232390 SOS 297370 HAS SOPS 283142 HAS SOUS 228415 HAS SOUPS 225232 WITH SCORE 225529.37
AT ITER 3569 NEW BEST:: SOT 1232380 SOS 297856 HAS SOPS 283665 HAS SOUS 228395 HAS SOUPS 225212 WITH SCORE 225509.856
AT ITER 3579 NEW BEST:: SOT 1232315 SOS 297692 HAS SOPS 283501 HAS SOUS 228265 HAS SOUPS 225082 WITH SCORE 225379.692
AT ITER 3584 NEW BEST:: SOT 1232188 SOS 297565 HAS SOPS 283374 HAS SOUS 228138 HAS SOUPS 224955 WITH SCORE 225252.565
AT ITER 3594 NEW BEST:: SOT 1232188 SOS 296836 HAS SOPS 282645 HAS SOUS 228138 HAS SOUPS 224955 WITH SCORE 225251.836
AT ITER 3600 NEW BEST:: SOT 1232030 SOS 296533 HAS SOPS 282328 HAS SOUS 227821 HAS SOUPS 224638 WITH SCORE 224934.533
AT ITER 3626 NEW BEST:: SOT 1231965 SOS 296468 HAS SOPS 282263 HAS SOUS 227750 HAS SOUPS 224567 WITH SCORE 224863.468
AT ITER 3628 NEW BEST:: SOT 1231956 SOS 296314 HAS SOPS 282100 HAS SOUS 227732 HAS SOUPS 224549 WITH SCORE 224845.314
AT ITER 3629 NEW BEST:: SOT 1231916 SOS 296274 HAS SOPS 282060 HAS SOUS 227692 HAS SOUPS 224509 WITH SCORE 224805.274
AT ITER 3683 NEW BEST:: SOT 1231916 SOS 296274 HAS SOPS 282060 HAS SOUS 227642 HAS SOUPS 224459 WITH SCORE 224755.274
AT ITER 3700 NEW BEST:: SOT 1231867 SOS 295509 HAS SOPS 281295 HAS SOUS 227585 HAS SOUPS 224402 WITH SCORE 224697.509
AT ITER 3725 NEW BEST:: SOT 1231751 SOS 295405 HAS SOPS 281191 HAS SOUS 227389 HAS SOUPS 224206 WITH SCORE 224501.405
AT ITER 3750 NEW BEST:: SOT 1231737 SOS 295391 HAS SOPS 281177 HAS SOUS 227298 HAS SOUPS 224115 WITH SCORE 224410.391
AT ITER 3784 NEW BEST:: SOT 1231699 SOS 295353 HAS SOPS 281139 HAS SOUS 227241 HAS SOUPS 224058 WITH SCORE 224353.353
AT ITER 3821 NEW BEST:: SOT 1231668 SOS 294882 HAS SOPS 280668 HAS SOUS 227172 HAS SOUPS 223989 WITH SCORE 224283.882
AT ITER 3841 NEW BEST:: SOT 1231599 SOS 295024 HAS SOPS 280810 HAS SOUS 227147 HAS SOUPS 223964 WITH SCORE 224259.024
AT ITER 3852 NEW BEST:: SOT 1231602 SOS 295027 HAS SOPS 280813 HAS SOUS 227136 HAS SOUPS 223953 WITH SCORE 224248.027
AT ITER 3879 NEW BEST:: SOT 1231381 SOS 294810 HAS SOPS 280596 HAS SOUS 226914 HAS SOUPS 223731 WITH SCORE 224025.81
AT ITER 3929 NEW BEST:: SOT 1231250 SOS 294918 HAS SOPS 280704 HAS SOUS 226891 HAS SOUPS 223708 WITH SCORE 224002.918
AT ITER 3951 NEW BEST:: SOT 1231250 SOS 294907 HAS SOPS 280693 HAS SOUS 226880 HAS SOUPS 223697 WITH SCORE 223991.907
AT ITER 3952 NEW BEST:: SOT 1231250 SOS 294801 HAS SOPS 280587 HAS SOUS 226774 HAS SOUPS 223591 WITH SCORE 223885.801
AT ITER 3981 NEW BEST:: SOT 1231198 SOS 294749 HAS SOPS 280535 HAS SOUS 226670 HAS SOUPS 223487 WITH SCORE 223781.749
AT ITER 3994 NEW BEST:: SOT 1231234 SOS 294790 HAS SOPS 280576 HAS SOUS 226646 HAS SOUPS 223463 WITH SCORE 223757.79
AT ITER 3997 NEW BEST:: SOT 1231234 SOS 294742 HAS SOPS 280528 HAS SOUS 226642 HAS SOUPS 223459 WITH SCORE 223753.742
AT ITER 4007 NEW BEST:: SOT 1231180 SOS 294685 HAS SOPS 280471 HAS SOUS 226572 HAS SOUPS 223389 WITH SCORE 223683.685
AT ITER 4008 NEW BEST:: SOT 1231156 SOS 293311 HAS SOPS 279097 HAS SOUS 226517 HAS SOUPS 223334 WITH SCORE 223627.311
AT ITER 4022 NEW BEST:: SOT 1231186 SOS 293341 HAS SOPS 279127 HAS SOUS 226516 HAS SOUPS 223333 WITH SCORE 223626.341
AT ITER 4027 NEW BEST:: SOT 1231186 SOS 293372 HAS SOPS 279158 HAS SOUS 226501 HAS SOUPS 223318 WITH SCORE 223611.372
AT ITER 4029 NEW BEST:: SOT 1231186 SOS 293370 HAS SOPS 279156 HAS SOUS 226501 HAS SOUPS 223318 WITH SCORE 223611.37
AT ITER 4046 NEW BEST:: SOT 1231141 SOS 293325 HAS SOPS 279111 HAS SOUS 226411 HAS SOUPS 223228 WITH SCORE 223521.325
AT ITER 4050 NEW BEST:: SOT 1231135 SOS 293313 HAS SOPS 279093 HAS SOUS 226400 HAS SOUPS 223216 WITH SCORE 223509.313
AT ITER 4061 NEW BEST:: SOT 1231135 SOS 293303 HAS SOPS 279083 HAS SOUS 226400 HAS SOUPS 223216 WITH SCORE 223509.303
AT ITER 4073 NEW BEST:: SOT 1231136 SOS 293415 HAS SOPS 279195 HAS SOUS 226399 HAS SOUPS 223215 WITH SCORE 223508.415
AT ITER 4078 NEW BEST:: SOT 1231058 SOS 293414 HAS SOPS 279194 HAS SOUS 226399 HAS SOUPS 223215 WITH SCORE 223508.414
AT ITER 4079 NEW BEST:: SOT 1231058 SOS 293370 HAS SOPS 279150 HAS SOUS 226355 HAS SOUPS 223171 WITH SCORE 223464.37
AT ITER 4112 NEW BEST:: SOT 1231046 SOS 293358 HAS SOPS 279138 HAS SOUS 226331 HAS SOUPS 223147 WITH SCORE 223440.358
AT ITER 4118 NEW BEST:: SOT 1230993 SOS 293333 HAS SOPS 279060 HAS SOUS 226272 HAS SOUPS 223041 WITH SCORE 223334.333
AT ITER 4154 NEW BEST:: SOT 1230839 SOS 293179 HAS SOPS 278906 HAS SOUS 226005 HAS SOUPS 222774 WITH SCORE 223067.179
AT ITER 4163 NEW BEST:: SOT 1230831 SOS 293171 HAS SOPS 278898 HAS SOUS 225994 HAS SOUPS 222763 WITH SCORE 223056.171
AT ITER 4175 NEW BEST:: SOT 1230831 SOS 293171 HAS SOPS 278898 HAS SOUS 225943 HAS SOUPS 222712 WITH SCORE 223005.171
AT ITER 4176 NEW BEST:: SOT 1230830 SOS 293170 HAS SOPS 278897 HAS SOUS 225941 HAS SOUPS 222710 WITH SCORE 223003.17
AT ITER 4194 NEW BEST:: SOT 1230644 SOS 293123 HAS SOPS 278850 HAS SOUS 225934 HAS SOUPS 222703 WITH SCORE 222996.123
AT ITER 4202 NEW BEST:: SOT 1230644 SOS 293054 HAS SOPS 278781 HAS SOUS 225796 HAS SOUPS 222565 WITH SCORE 222858.054
AT ITER 4203 NEW BEST:: SOT 1230614 SOS 292784 HAS SOPS 278511 HAS SOUS 225736 HAS SOUPS 222505 WITH SCORE 222797.784
AT ITER 4244 NEW BEST:: SOT 1230591 SOS 292761 HAS SOPS 278488 HAS SOUS 225690 HAS SOUPS 222459 WITH SCORE 222751.761
AT ITER 4246 NEW BEST:: SOT 1230579 SOS 292749 HAS SOPS 278476 HAS SOUS 225683 HAS SOUPS 222452 WITH SCORE 222744.749
AT ITER 4253 NEW BEST:: SOT 1230545 SOS 292715 HAS SOPS 278442 HAS SOUS 225615 HAS SOUPS 222384 WITH SCORE 222676.715
AT ITER 4267 NEW BEST:: SOT 1230428 SOS 292427 HAS SOPS 278154 HAS SOUS 225405 HAS SOUPS 222174 WITH SCORE 222466.427
AT ITER 4270 NEW BEST:: SOT 1229890 SOS 293641 HAS SOPS 279490 HAS SOUS 225314 HAS SOUPS 222083 WITH SCORE 222376.641
AT ITER 4286 NEW BEST:: SOT 1229890 SOS 292949 HAS SOPS 278798 HAS SOUS 225142 HAS SOUPS 221911 WITH SCORE 222203.949
AT ITER 4302 NEW BEST:: SOT 1229871 SOS 292816 HAS SOPS 278665 HAS SOUS 225022 HAS SOUPS 221791 WITH SCORE 222083.816
AT ITER 4348 NEW BEST:: SOT 1228955 SOS 292121 HAS SOPS 278151 HAS SOUS 224142 HAS SOUPS 220911 WITH SCORE 221203.121
AT ITER 4358 NEW BEST:: SOT 1228839 SOS 292005 HAS SOPS 278035 HAS SOUS 223968 HAS SOUPS 220737 WITH SCORE 221029.005
AT ITER 4397 NEW BEST:: SOT 1228839 SOS 291945 HAS SOPS 277975 HAS SOUS 223883 HAS SOUPS 220652 WITH SCORE 220943.945
AT ITER 4428 NEW BEST:: SOT 1228891 SOS 291997 HAS SOPS 278027 HAS SOUS 223812 HAS SOUPS 220581 WITH SCORE 220872.997
AT ITER 4440 NEW BEST:: SOT 1228849 SOS 291955 HAS SOPS 277943 HAS SOUS 223728 HAS SOUPS 220497 WITH SCORE 220788.955
AT ITER 4454 NEW BEST:: SOT 1228849 SOS 291943 HAS SOPS 277931 HAS SOUS 223728 HAS SOUPS 220497 WITH SCORE 220788.943
AT ITER 4459 NEW BEST:: SOT 1228849 SOS 291942 HAS SOPS 277930 HAS SOUS 223728 HAS SOUPS 220497 WITH SCORE 220788.942
AT ITER 4486 NEW BEST:: SOT 1228849 SOS 291936 HAS SOPS 277924 HAS SOUS 223728 HAS SOUPS 220497 WITH SCORE 220788.936
AT ITER 4509 NEW BEST:: SOT 1228738 SOS 291825 HAS SOPS 277813 HAS SOUS 223560 HAS SOUPS 220329 WITH SCORE 220620.825
AT ITER 4512 NEW BEST:: SOT 1228738 SOS 291876 HAS SOPS 277864 HAS SOUS 223528 HAS SOUPS 220297 WITH SCORE 220588.876
AT ITER 4521 NEW BEST:: SOT 1228738 SOS 291840 HAS SOPS 277828 HAS SOUS 223492 HAS SOUPS 220261 WITH SCORE 220552.84
AT ITER 4531 NEW BEST:: SOT 1228638 SOS 291705 HAS SOPS 277693 HAS SOUS 223392 HAS SOUPS 220161 WITH SCORE 220452.705
AT ITER 4532 NEW BEST:: SOT 1228638 SOS 291697 HAS SOPS 277685 HAS SOUS 223384 HAS SOUPS 220153 WITH SCORE 220444.697
AT ITER 4555 NEW BEST:: SOT 1228518 SOS 291435 HAS SOPS 277423 HAS SOUS 223143 HAS SOUPS 219912 WITH SCORE 220203.435
AT ITER 4564 NEW BEST:: SOT 1228499 SOS 291416 HAS SOPS 277404 HAS SOUS 223136 HAS SOUPS 219905 WITH SCORE 220196.416
AT ITER 4573 NEW BEST:: SOT 1228499 SOS 291387 HAS SOPS 277404 HAS SOUS 223136 HAS SOUPS 219905 WITH SCORE 220196.387
AT ITER 4600 NEW BEST:: SOT 1228314 SOS 289256 HAS SOPS 275273 HAS SOUS 222772 HAS SOUPS 219541 WITH SCORE 219830.256
AT ITER 4617 NEW BEST:: SOT 1228241 SOS 288532 HAS SOPS 274549 HAS SOUS 222626 HAS SOUPS 219395 WITH SCORE 219683.532
AT ITER 4628 NEW BEST:: SOT 1228233 SOS 288496 HAS SOPS 274485 HAS SOUS 222610 HAS SOUPS 219379 WITH SCORE 219667.496
AT ITER 4639 NEW BEST:: SOT 1228217 SOS 288471 HAS SOPS 274444 HAS SOUS 222594 HAS SOUPS 219347 WITH SCORE 219635.471
AT ITER 4652 NEW BEST:: SOT 1227490 SOS 289047 HAS SOPS 273738 HAS SOUS 222070 HAS SOUPS 218677 WITH SCORE 218966.047
AT ITER 4668 NEW BEST:: SOT 1227497 SOS 289054 HAS SOPS 273745 HAS SOUS 222036 HAS SOUPS 218643 WITH SCORE 218932.054
AT ITER 4683 NEW BEST:: SOT 1227497 SOS 289046 HAS SOPS 273737 HAS SOUS 222028 HAS SOUPS 218635 WITH SCORE 218924.046
AT ITER 4698 NEW BEST:: SOT 1227467 SOS 289016 HAS SOPS 273707 HAS SOUS 221968 HAS SOUPS 218575 WITH SCORE 218864.016
AT ITER 4780 NEW BEST:: SOT 1227034 SOS 289927 HAS SOPS 274677 HAS SOUS 221855 HAS SOUPS 218462 WITH SCORE 218751.927
AT ITER 4783 NEW BEST:: SOT 1226878 SOS 289663 HAS SOPS 274413 HAS SOUS 221550 HAS SOUPS 218157 WITH SCORE 218446.663
AT ITER 4824 NEW BEST:: SOT 1226878 SOS 289663 HAS SOPS 274413 HAS SOUS 221484 HAS SOUPS 218091 WITH SCORE 218380.663
AT ITER 4835 NEW BEST:: SOT 1226779 SOS 289656 HAS SOPS 274406 HAS SOUS 221437 HAS SOUPS 218044 WITH SCORE 218333.656
AT ITER 4850 NEW BEST:: SOT 1226779 SOS 289653 HAS SOPS 274403 HAS SOUS 221437 HAS SOUPS 218044 WITH SCORE 218333.653
AT ITER 4866 NEW BEST:: SOT 1226690 SOS 290384 HAS SOPS 275155 HAS SOUS 221383 HAS SOUPS 217990 WITH SCORE 218280.384
AT ITER 4876 NEW BEST:: SOT 1226682 SOS 290368 HAS SOPS 275139 HAS SOUS 221359 HAS SOUPS 217966 WITH SCORE 218256.368
AT ITER 4880 NEW BEST:: SOT 1226602 SOS 290305 HAS SOPS 275076 HAS SOUS 221255 HAS SOUPS 217862 WITH SCORE 218152.305
AT ITER 4899 NEW BEST:: SOT 1226602 SOS 290297 HAS SOPS 275068 HAS SOUS 221253 HAS SOUPS 217860 WITH SCORE 218150.297
AT ITER 4916 NEW BEST:: SOT 1226578 SOS 290057 HAS SOPS 274828 HAS SOUS 221205 HAS SOUPS 217812 WITH SCORE 218102.057
AT ITER 4917 NEW BEST:: SOT 1226540 SOS 290019 HAS SOPS 274752 HAS SOUS 221142 HAS SOUPS 217736 WITH SCORE 218026.019
AT ITER 4922 NEW BEST:: SOT 1226415 SOS 289894 HAS SOPS 274627 HAS SOUS 220956 HAS SOUPS 217550 WITH SCORE 217839.894
AT ITER 4933 NEW BEST:: SOT 1226139 SOS 290106 HAS SOPS 274351 HAS SOUS 220802 HAS SOUPS 217335 WITH SCORE 217625.106
AT ITER 4939 NEW BEST:: SOT 1226116 SOS 290121 HAS SOPS 274366 HAS SOUS 220794 HAS SOUPS 217327 WITH SCORE 217617.121
AT ITER 4954 NEW BEST:: SOT 1226121 SOS 290167 HAS SOPS 274412 HAS SOUS 220773 HAS SOUPS 217306 WITH SCORE 217596.167
AT ITER 4958 NEW BEST:: SOT 1226121 SOS 290167 HAS SOPS 274412 HAS SOUS 220762 HAS SOUPS 217295 WITH SCORE 217585.167
AT ITER 4965 NEW BEST:: SOT 1226086 SOS 290132 HAS SOPS 274342 HAS SOUS 220778 HAS SOUPS 217276 WITH SCORE 217566.132
AT ITER 5011 NEW BEST:: SOT 1225736 SOS 290177 HAS SOPS 274387 HAS SOUS 220438 HAS SOUPS 216936 WITH SCORE 217226.177
AT ITER 5012 NEW BEST:: SOT 1225736 SOS 289672 HAS SOPS 273814 HAS SOUS 220341 HAS SOUPS 216839 WITH SCORE 217128.672
AT ITER 5026 NEW BEST:: SOT 1225736 SOS 289638 HAS SOPS 273780 HAS SOUS 220341 HAS SOUPS 216839 WITH SCORE 217128.638
AT ITER 5033 NEW BEST:: SOT 1225730 SOS 289806 HAS SOPS 273850 HAS SOUS 220405 HAS SOUPS 216814 WITH SCORE 217103.806
AT ITER 5041 NEW BEST:: SOT 1225722 SOS 289717 HAS SOPS 273761 HAS SOUS 220311 HAS SOUPS 216720 WITH SCORE 217009.717
AT ITER 5046 NEW BEST:: SOT 1225720 SOS 289603 HAS SOPS 273647 HAS SOUS 220301 HAS SOUPS 216710 WITH SCORE 216999.603
AT ITER 5064 NEW BEST:: SOT 1225710 SOS 289679 HAS SOPS 273713 HAS SOUS 220309 HAS SOUPS 216708 WITH SCORE 216997.679
AT ITER 5075 NEW BEST:: SOT 1225707 SOS 289649 HAS SOPS 273683 HAS SOUS 220303 HAS SOUPS 216702 WITH SCORE 216991.649
AT ITER 5085 NEW BEST:: SOT 1225707 SOS 289538 HAS SOPS 273572 HAS SOUS 220183 HAS SOUPS 216582 WITH SCORE 216871.538
AT ITER 5089 NEW BEST:: SOT 1225618 SOS 289561 HAS SOPS 273483 HAS SOUS 220122 HAS SOUPS 216507 WITH SCORE 216796.561
AT ITER 5140 NEW BEST:: SOT 1225632 SOS 289508 HAS SOPS 273430 HAS SOUS 219947 HAS SOUPS 216332 WITH SCORE 216621.508
AT ITER 5146 NEW BEST:: SOT 1225509 SOS 289450 HAS SOPS 273372 HAS SOUS 219749 HAS SOUPS 216134 WITH SCORE 216423.45
AT ITER 5149 NEW BEST:: SOT 1225497 SOS 289438 HAS SOPS 273360 HAS SOUS 219725 HAS SOUPS 216110 WITH SCORE 216399.438
AT ITER 5154 NEW BEST:: SOT 1225497 SOS 289438 HAS SOPS 273360 HAS SOUS 219686 HAS SOUPS 216071 WITH SCORE 216360.438
AT ITER 5175 NEW BEST:: SOT 1225497 SOS 289430 HAS SOPS 273352 HAS SOUS 219678 HAS SOUPS 216063 WITH SCORE 216352.43
AT ITER 5182 NEW BEST:: SOT 1225382 SOS 289315 HAS SOPS 273237 HAS SOUS 219482 HAS SOUPS 215867 WITH SCORE 216156.315
AT ITER 5213 NEW BEST:: SOT 1225382 SOS 289282 HAS SOPS 273204 HAS SOUS 219449 HAS SOUPS 215834 WITH SCORE 216123.282
AT ITER 5239 NEW BEST:: SOT 1225370 SOS 289270 HAS SOPS 273192 HAS SOUS 219437 HAS SOUPS 215822 WITH SCORE 216111.27
AT ITER 5246 NEW BEST:: SOT 1225350 SOS 289301 HAS SOPS 273223 HAS SOUS 219397 HAS SOUPS 215782 WITH SCORE 216071.301
AT ITER 5251 NEW BEST:: SOT 1225233 SOS 288492 HAS SOPS 272297 HAS SOUS 219163 HAS SOUPS 215548 WITH SCORE 215836.492
AT ITER 5267 NEW BEST:: SOT 1225248 SOS 288507 HAS SOPS 272312 HAS SOUS 219116 HAS SOUPS 215501 WITH SCORE 215789.507
AT ITER 5285 NEW BEST:: SOT 1225232 SOS 288474 HAS SOPS 272279 HAS SOUS 219083 HAS SOUPS 215468 WITH SCORE 215756.474
AT ITER 5297 NEW BEST:: SOT 1225106 SOS 288330 HAS SOPS 272135 HAS SOUS 218831 HAS SOUPS 215216 WITH SCORE 215504.33
AT ITER 5303 NEW BEST:: SOT 1225097 SOS 288320 HAS SOPS 272125 HAS SOUS 218821 HAS SOUPS 215206 WITH SCORE 215494.32
AT ITER 5346 NEW BEST:: SOT 1224967 SOS 288187 HAS SOPS 271992 HAS SOUS 218688 HAS SOUPS 215073 WITH SCORE 215361.187
AT ITER 5348 NEW BEST:: SOT 1224967 SOS 288187 HAS SOPS 271992 HAS SOUS 218686 HAS SOUPS 215071 WITH SCORE 215359.187
AT ITER 5350 NEW BEST:: SOT 1224966 SOS 288033 HAS SOPS 271838 HAS SOUS 218532 HAS SOUPS 214917 WITH SCORE 215205.033
AT ITER 5352 NEW BEST:: SOT 1224916 SOS 288107 HAS SOPS 271862 HAS SOUS 218509 HAS SOUPS 214845 WITH SCORE 215133.107
AT ITER 5376 NEW BEST:: SOT 1224897 SOS 288092 HAS SOPS 271543 HAS SOUS 218190 HAS SOUPS 214526 WITH SCORE 214814.092
AT ITER 5405 NEW BEST:: SOT 1224954 SOS 288149 HAS SOPS 271600 HAS SOUS 218174 HAS SOUPS 214510 WITH SCORE 214798.149
AT ITER 5478 NEW BEST:: SOT 1224940 SOS 288190 HAS SOPS 271641 HAS SOUS 218151 HAS SOUPS 214487 WITH SCORE 214775.19
AT ITER 5513 NEW BEST:: SOT 1224927 SOS 288177 HAS SOPS 271628 HAS SOUS 218125 HAS SOUPS 214461 WITH SCORE 214749.177
AT ITER 5517 NEW BEST:: SOT 1224907 SOS 288157 HAS SOPS 271608 HAS SOUS 218085 HAS SOUPS 214421 WITH SCORE 214709.157
AT ITER 5520 NEW BEST:: SOT 1224924 SOS 288128 HAS SOPS 271579 HAS SOUS 218066 HAS SOUPS 214402 WITH SCORE 214690.128
AT ITER 5532 NEW BEST:: SOT 1224918 SOS 288121 HAS SOPS 271572 HAS SOUS 218054 HAS SOUPS 214390 WITH SCORE 214678.121
AT ITER 5542 NEW BEST:: SOT 1224554 SOS 287770 HAS SOPS 271340 HAS SOUS 217814 HAS SOUPS 214150 WITH SCORE 214437.77
AT ITER 5551 NEW BEST:: SOT 1224535 SOS 287738 HAS SOPS 271308 HAS SOUS 217763 HAS SOUPS 214099 WITH SCORE 214386.738
AT ITER 5618 NEW BEST:: SOT 1224528 SOS 287731 HAS SOPS 271301 HAS SOUS 217749 HAS SOUPS 214085 WITH SCORE 214372.731
AT ITER 5657 NEW BEST:: SOT 1224527 SOS 287730 HAS SOPS 271300 HAS SOUS 217747 HAS SOUPS 214083 WITH SCORE 214370.73
AT ITER 5659 NEW BEST:: SOT 1224527 SOS 287675 HAS SOPS 271245 HAS SOUS 217747 HAS SOUPS 214083 WITH SCORE 214370.675
AT ITER 5719 NEW BEST:: SOT 1224510 SOS 287631 HAS SOPS 271201 HAS SOUS 217703 HAS SOUPS 214039 WITH SCORE 214326.631
AT ITER 5744 NEW BEST:: SOT 1224478 SOS 287599 HAS SOPS 271169 HAS SOUS 217677 HAS SOUPS 214013 WITH SCORE 214300.599
AT ITER 5745 NEW BEST:: SOT 1224469 SOS 287558 HAS SOPS 271128 HAS SOUS 217636 HAS SOUPS 213972 WITH SCORE 214259.558
AT ITER 5749 NEW BEST:: SOT 1224416 SOS 287505 HAS SOPS 271075 HAS SOUS 217585 HAS SOUPS 213921 WITH SCORE 214208.505
AT ITER 5754 NEW BEST:: SOT 1224408 SOS 287497 HAS SOPS 271067 HAS SOUS 217569 HAS SOUPS 213905 WITH SCORE 214192.497
AT ITER 5775 NEW BEST:: SOT 1224328 SOS 287417 HAS SOPS 270987 HAS SOUS 217489 HAS SOUPS 213825 WITH SCORE 214112.417
AT ITER 5797 NEW BEST:: SOT 1224327 SOS 287416 HAS SOPS 270986 HAS SOUS 217487 HAS SOUPS 213823 WITH SCORE 214110.416
AT ITER 5804 NEW BEST:: SOT 1224271 SOS 287360 HAS SOPS 270936 HAS SOUS 217480 HAS SOUPS 213822 WITH SCORE 214109.36
AT ITER 5821 NEW BEST:: SOT 1224256 SOS 287395 HAS SOPS 270956 HAS SOUS 217473 HAS SOUPS 213792 WITH SCORE 214079.395
AT ITER 5857 NEW BEST:: SOT 1224256 SOS 287250 HAS SOPS 270811 HAS SOUS 217328 HAS SOUPS 213647 WITH SCORE 213934.25
AT ITER 5868 NEW BEST:: SOT 1224232 SOS 287204 HAS SOPS 270765 HAS SOUS 217280 HAS SOUPS 213599 WITH SCORE 213886.204
AT ITER 5888 NEW BEST:: SOT 1224224 SOS 287196 HAS SOPS 270757 HAS SOUS 217264 HAS SOUPS 213583 WITH SCORE 213870.196
AT ITER 5896 NEW BEST:: SOT 1223654 SOS 288419 HAS SOPS 270347 HAS SOUS 217219 HAS SOUPS 213364 WITH SCORE 213652.419
AT ITER 5900 NEW BEST:: SOT 1223651 SOS 288503 HAS SOPS 270431 HAS SOUS 217216 HAS SOUPS 213361 WITH SCORE 213649.503
AT ITER 5924 NEW BEST:: SOT 1223639 SOS 288491 HAS SOPS 270419 HAS SOUS 217204 HAS SOUPS 213349 WITH SCORE 213637.491
AT ITER 5942 NEW BEST:: SOT 1223564 SOS 288416 HAS SOPS 270344 HAS SOUS 217054 HAS SOUPS 213199 WITH SCORE 213487.416
AT ITER 5996 NEW BEST:: SOT 1223735 SOS 288587 HAS SOPS 270515 HAS SOUS 217000 HAS SOUPS 213145 WITH SCORE 213433.587
AT ITER 6021 NEW BEST:: SOT 1223735 SOS 288587 HAS SOPS 270515 HAS SOUS 216978 HAS SOUPS 213123 WITH SCORE 213411.587
AT ITER 6063 NEW BEST:: SOT 1223597 SOS 287258 HAS SOPS 269013 HAS SOUS 216687 HAS SOUPS 212832 WITH SCORE 213119.258
AT ITER 6106 NEW BEST:: SOT 1223597 SOS 287258 HAS SOPS 269013 HAS SOUS 216577 HAS SOUPS 212722 WITH SCORE 213009.258
AT ITER 6129 NEW BEST:: SOT 1223603 SOS 287247 HAS SOPS 269002 HAS SOUS 216574 HAS SOUPS 212719 WITH SCORE 213006.247
AT ITER 6138 NEW BEST:: SOT 1223317 SOS 286961 HAS SOPS 268716 HAS SOUS 216429 HAS SOUPS 212574 WITH SCORE 212860.961
AT ITER 6162 NEW BEST:: SOT 1223295 SOS 286953 HAS SOPS 268708 HAS SOUS 216407 HAS SOUPS 212552 WITH SCORE 212838.953
AT ITER 6186 NEW BEST:: SOT 1223234 SOS 286343 HAS SOPS 268098 HAS SOUS 216285 HAS SOUPS 212430 WITH SCORE 212716.343
AT ITER 6188 NEW BEST:: SOT 1223234 SOS 286343 HAS SOPS 268098 HAS SOUS 216212 HAS SOUPS 212357 WITH SCORE 212643.343
AT ITER 6208 NEW BEST:: SOT 1223234 SOS 286343 HAS SOPS 268098 HAS SOUS 216164 HAS SOUPS 212309 WITH SCORE 212595.343
AT ITER 6213 NEW BEST:: SOT 1223226 SOS 286239 HAS SOPS 267994 HAS SOUS 216148 HAS SOUPS 212293 WITH SCORE 212579.239
AT ITER 6217 NEW BEST:: SOT 1223226 SOS 286206 HAS SOPS 267961 HAS SOUS 216115 HAS SOUPS 212260 WITH SCORE 212546.206
AT ITER 6235 NEW BEST:: SOT 1223226 SOS 286137 HAS SOPS 267892 HAS SOUS 216046 HAS SOUPS 212191 WITH SCORE 212477.137
AT ITER 6238 NEW BEST:: SOT 1223226 SOS 286053 HAS SOPS 267808 HAS SOUS 216046 HAS SOUPS 212191 WITH SCORE 212477.053
AT ITER 6264 NEW BEST:: SOT 1223218 SOS 285978 HAS SOPS 267733 HAS SOUS 216030 HAS SOUPS 212175 WITH SCORE 212460.978
AT ITER 6265 NEW BEST:: SOT 1223199 SOS 286156 HAS SOPS 267911 HAS SOUS 216011 HAS SOUPS 212156 WITH SCORE 212442.156
AT ITER 6295 NEW BEST:: SOT 1223135 SOS 286092 HAS SOPS 267847 HAS SOUS 215947 HAS SOUPS 212092 WITH SCORE 212378.092
AT ITER 6296 NEW BEST:: SOT 1223120 SOS 286077 HAS SOPS 267832 HAS SOUS 215926 HAS SOUPS 212071 WITH SCORE 212357.077
AT ITER 6299 NEW BEST:: SOT 1223104 SOS 286070 HAS SOPS 267825 HAS SOUS 215910 HAS SOUPS 212055 WITH SCORE 212341.07
AT ITER 6320 NEW BEST:: SOT 1223027 SOS 285994 HAS SOPS 267749 HAS SOUS 215833 HAS SOUPS 211978 WITH SCORE 212263.994
AT ITER 6326 NEW BEST:: SOT 1222988 SOS 285768 HAS SOPS 267523 HAS SOUS 215762 HAS SOUPS 211907 WITH SCORE 212192.768
AT ITER 6386 NEW BEST:: SOT 1222957 SOS 285345 HAS SOPS 267100 HAS SOUS 215731 HAS SOUPS 211876 WITH SCORE 212161.345
AT ITER 6428 NEW BEST:: SOT 1222727 SOS 285056 HAS SOPS 266811 HAS SOUS 215451 HAS SOUPS 211596 WITH SCORE 211881.056
AT ITER 6434 NEW BEST:: SOT 1222636 SOS 285125 HAS SOPS 266880 HAS SOUS 215428 HAS SOUPS 211573 WITH SCORE 211858.125
AT ITER 6446 NEW BEST:: SOT 1222636 SOS 285118 HAS SOPS 266873 HAS SOUS 215411 HAS SOUPS 211556 WITH SCORE 211841.118
AT ITER 6496 NEW BEST:: SOT 1222636 SOS 285059 HAS SOPS 266814 HAS SOUS 215302 HAS SOUPS 211447 WITH SCORE 211732.059
AT ITER 6524 NEW BEST:: SOT 1222520 SOS 284863 HAS SOPS 266792 HAS SOUS 215162 HAS SOUPS 211307 WITH SCORE 211591.863
AT ITER 6573 NEW BEST:: SOT 1222517 SOS 284860 HAS SOPS 266789 HAS SOUS 215156 HAS SOUPS 211301 WITH SCORE 211585.86
AT ITER 6577 NEW BEST:: SOT 1222514 SOS 284857 HAS SOPS 266786 HAS SOUS 215151 HAS SOUPS 211296 WITH SCORE 211580.857
AT ITER 6609 NEW BEST:: SOT 1222496 SOS 284839 HAS SOPS 266768 HAS SOUS 215115 HAS SOUPS 211260 WITH SCORE 211544.839
AT ITER 6613 NEW BEST:: SOT 1222496 SOS 284818 HAS SOPS 266747 HAS SOUS 215115 HAS SOUPS 211260 WITH SCORE 211544.818
AT ITER 6626 NEW BEST:: SOT 1222455 SOS 284790 HAS SOPS 266719 HAS SOUS 215110 HAS SOUPS 211255 WITH SCORE 211539.79
AT ITER 6643 NEW BEST:: SOT 1222434 SOS 284769 HAS SOPS 266704 HAS SOUS 215078 HAS SOUPS 211223 WITH SCORE 211507.769
AT ITER 6652 NEW BEST:: SOT 1222408 SOS 284756 HAS SOPS 266691 HAS SOUS 215039 HAS SOUPS 211184 WITH SCORE 211468.756
AT ITER 6667 NEW BEST:: SOT 1222292 SOS 284640 HAS SOPS 266548 HAS SOUS 214907 HAS SOUPS 211025 WITH SCORE 211309.64
AT ITER 6672 NEW BEST:: SOT 1222292 SOS 284640 HAS SOPS 266548 HAS SOUS 214817 HAS SOUPS 210935 WITH SCORE 211219.64
AT ITER 6689 NEW BEST:: SOT 1222215 SOS 284602 HAS SOPS 266510 HAS SOUS 214663 HAS SOUPS 210781 WITH SCORE 211065.602
AT ITER 6699 NEW BEST:: SOT 1222215 SOS 284602 HAS SOPS 266510 HAS SOUS 214554 HAS SOUPS 210672 WITH SCORE 210956.602
AT ITER 6723 NEW BEST:: SOT 1222175 SOS 282699 HAS SOPS 264607 HAS SOUS 214340 HAS SOUPS 210458 WITH SCORE 210740.699
AT ITER 6744 NEW BEST:: SOT 1222153 SOS 282677 HAS SOPS 264585 HAS SOUS 214296 HAS SOUPS 210414 WITH SCORE 210696.677
AT ITER 6756 NEW BEST:: SOT 1222153 SOS 282625 HAS SOPS 264533 HAS SOUS 214244 HAS SOUPS 210362 WITH SCORE 210644.625
AT ITER 6769 NEW BEST:: SOT 1221991 SOS 282463 HAS SOPS 264502 HAS SOUS 214051 HAS SOUPS 210169 WITH SCORE 210451.463
AT ITER 6779 NEW BEST:: SOT 1221990 SOS 282425 HAS SOPS 264464 HAS SOUS 214049 HAS SOUPS 210167 WITH SCORE 210449.425
AT ITER 6805 NEW BEST:: SOT 1222014 SOS 282340 HAS SOPS 264379 HAS SOUS 214026 HAS SOUPS 210144 WITH SCORE 210426.34
AT ITER 6810 NEW BEST:: SOT 1221941 SOS 282242 HAS SOPS 264281 HAS SOUS 213888 HAS SOUPS 210006 WITH SCORE 210288.242
AT ITER 6874 NEW BEST:: SOT 1221933 SOS 282234 HAS SOPS 264273 HAS SOUS 213872 HAS SOUPS 209990 WITH SCORE 210272.234
AT ITER 6884 NEW BEST:: SOT 1221408 SOS 281929 HAS SOPS 264112 HAS SOUS 213456 HAS SOUPS 209574 WITH SCORE 209855.929
AT ITER 6885 NEW BEST:: SOT 1221407 SOS 281928 HAS SOPS 264132 HAS SOUS 213454 HAS SOUPS 209572 WITH SCORE 209853.928
AT ITER 6903 NEW BEST:: SOT 1221407 SOS 281919 HAS SOPS 264123 HAS SOUS 213454 HAS SOUPS 209572 WITH SCORE 209853.919
AT ITER 6915 NEW BEST:: SOT 1221424 SOS 281936 HAS SOPS 264140 HAS SOUS 213380 HAS SOUPS 209498 WITH SCORE 209779.936
AT ITER 6929 NEW BEST:: SOT 1221381 SOS 281893 HAS SOPS 264097 HAS SOUS 213261 HAS SOUPS 209379 WITH SCORE 209660.893
AT ITER 6946 NEW BEST:: SOT 1221174 SOS 281769 HAS SOPS 263973 HAS SOUS 213070 HAS SOUPS 209188 WITH SCORE 209469.769
AT ITER 6976 NEW BEST:: SOT 1221174 SOS 281771 HAS SOPS 263975 HAS SOUS 213062 HAS SOUPS 209180 WITH SCORE 209461.771
AT ITER 6983 NEW BEST:: SOT 1221119 SOS 281716 HAS SOPS 263920 HAS SOUS 212915 HAS SOUPS 209033 WITH SCORE 209314.716
AT ITER 7016 NEW BEST:: SOT 1221106 SOS 281738 HAS SOPS 263942 HAS SOUS 212902 HAS SOUPS 209020 WITH SCORE 209301.738
AT ITER 7018 NEW BEST:: SOT 1221005 SOS 281756 HAS SOPS 263960 HAS SOUS 212818 HAS SOUPS 208936 WITH SCORE 209217.756
AT ITER 7028 NEW BEST:: SOT 1220979 SOS 281730 HAS SOPS 263934 HAS SOUS 212766 HAS SOUPS 208884 WITH SCORE 209165.73
AT ITER 7044 NEW BEST:: SOT 1220847 SOS 281627 HAS SOPS 263831 HAS SOUS 212551 HAS SOUPS 208669 WITH SCORE 208950.627
AT ITER 7049 NEW BEST:: SOT 1220832 SOS 281716 HAS SOPS 263905 HAS SOUS 212536 HAS SOUPS 208654 WITH SCORE 208935.716
AT ITER 7060 NEW BEST:: SOT 1220768 SOS 281650 HAS SOPS 263839 HAS SOUS 212472 HAS SOUPS 208590 WITH SCORE 208871.65
AT ITER 7062 NEW BEST:: SOT 1220768 SOS 281652 HAS SOPS 263841 HAS SOUS 212434 HAS SOUPS 208552 WITH SCORE 208833.652
AT ITER 7114 NEW BEST:: SOT 1220768 SOS 281607 HAS SOPS 263796 HAS SOUS 212337 HAS SOUPS 208455 WITH SCORE 208736.607
AT ITER 7116 NEW BEST:: SOT 1220741 SOS 281499 HAS SOPS 263688 HAS SOUS 212232 HAS SOUPS 208350 WITH SCORE 208631.499
AT ITER 7144 NEW BEST:: SOT 1220741 SOS 281491 HAS SOPS 263680 HAS SOUS 212224 HAS SOUPS 208342 WITH SCORE 208623.491
AT ITER 7147 NEW BEST:: SOT 1220741 SOS 281483 HAS SOPS 263672 HAS SOUS 212224 HAS SOUPS 208342 WITH SCORE 208623.483
AT ITER 7162 NEW BEST:: SOT 1220566 SOS 281376 HAS SOPS 263565 HAS SOUS 212047 HAS SOUPS 208165 WITH SCORE 208446.376
AT ITER 7224 NEW BEST:: SOT 1220505 SOS 281315 HAS SOPS 263504 HAS SOUS 211986 HAS SOUPS 208104 WITH SCORE 208385.315
AT ITER 7238 NEW BEST:: SOT 1220546 SOS 281298 HAS SOPS 263487 HAS SOUS 211946 HAS SOUPS 208064 WITH SCORE 208345.298
AT ITER 7272 NEW BEST:: SOT 1220455 SOS 281318 HAS SOPS 263507 HAS SOUS 211849 HAS SOUPS 207967 WITH SCORE 208248.318
AT ITER 7343 NEW BEST:: SOT 1220455 SOS 281318 HAS SOPS 263507 HAS SOUS 211841 HAS SOUPS 207959 WITH SCORE 208240.318
AT ITER 7348 NEW BEST:: SOT 1220426 SOS 281289 HAS SOPS 263478 HAS SOUS 211796 HAS SOUPS 207914 WITH SCORE 208195.289
AT ITER 7355 NEW BEST:: SOT 1220391 SOS 281186 HAS SOPS 263375 HAS SOUS 211740 HAS SOUPS 207858 WITH SCORE 208139.186
AT ITER 7410 NEW BEST:: SOT 1220412 SOS 281207 HAS SOPS 263396 HAS SOUS 211706 HAS SOUPS 207824 WITH SCORE 208105.207
AT ITER 7420 NEW BEST:: SOT 1220390 SOS 281191 HAS SOPS 263380 HAS SOUS 211676 HAS SOUPS 207794 WITH SCORE 208075.191
AT ITER 7452 NEW BEST:: SOT 1220514 SOS 281337 HAS SOPS 262480 HAS SOUS 210776 HAS SOUPS 206894 WITH SCORE 207175.337
AT ITER 7470 NEW BEST:: SOT 1220506 SOS 281443 HAS SOPS 262586 HAS SOUS 210760 HAS SOUPS 206878 WITH SCORE 207159.443
AT ITER 7475 NEW BEST:: SOT 1220326 SOS 281201 HAS SOPS 262344 HAS SOUS 210420 HAS SOUPS 206538 WITH SCORE 206819.201
AT ITER 7483 NEW BEST:: SOT 1220303 SOS 281178 HAS SOPS 262321 HAS SOUS 210397 HAS SOUPS 206515 WITH SCORE 206796.178
AT ITER 7489 NEW BEST:: SOT 1220282 SOS 280897 HAS SOPS 262040 HAS SOUS 210342 HAS SOUPS 206460 WITH SCORE 206740.897
AT ITER 7491 NEW BEST:: SOT 1220282 SOS 280886 HAS SOPS 262029 HAS SOUS 210342 HAS SOUPS 206460 WITH SCORE 206740.886
AT ITER 7511 NEW BEST:: SOT 1220179 SOS 280808 HAS SOPS 261951 HAS SOUS 210260 HAS SOUPS 206378 WITH SCORE 206658.808
AT ITER 7536 NEW BEST:: SOT 1220187 SOS 280754 HAS SOPS 261897 HAS SOUS 210242 HAS SOUPS 206360 WITH SCORE 206640.754
AT ITER 7539 NEW BEST:: SOT 1220134 SOS 280701 HAS SOPS 261844 HAS SOUS 210152 HAS SOUPS 206270 WITH SCORE 206550.701
AT ITER 7559 NEW BEST:: SOT 1219962 SOS 281441 HAS SOPS 262584 HAS SOUS 209978 HAS SOUPS 206096 WITH SCORE 206377.441
AT ITER 7562 NEW BEST:: SOT 1219934 SOS 281385 HAS SOPS 262528 HAS SOUS 209950 HAS SOUPS 206068 WITH SCORE 206349.385
AT ITER 7595 NEW BEST:: SOT 1219920 SOS 281357 HAS SOPS 262500 HAS SOUS 209918 HAS SOUPS 206036 WITH SCORE 206317.357
AT ITER 7605 NEW BEST:: SOT 1219920 SOS 281309 HAS SOPS 262452 HAS SOUS 209918 HAS SOUPS 206036 WITH SCORE 206317.309
AT ITER 7616 NEW BEST:: SOT 1219918 SOS 279395 HAS SOPS 260544 HAS SOUS 209914 HAS SOUPS 206032 WITH SCORE 206311.395
AT ITER 7643 NEW BEST:: SOT 1219918 SOS 279330 HAS SOPS 260479 HAS SOUS 209914 HAS SOUPS 206032 WITH SCORE 206311.33
AT ITER 7678 NEW BEST:: SOT 1219928 SOS 279338 HAS SOPS 260487 HAS SOUS 209763 HAS SOUPS 205881 WITH SCORE 206160.338
AT ITER 7690 NEW BEST:: SOT 1219903 SOS 279406 HAS SOPS 260555 HAS SOUS 209746 HAS SOUPS 205864 WITH SCORE 206143.406
AT ITER 7693 NEW BEST:: SOT 1219784 SOS 279287 HAS SOPS 260580 HAS SOUS 209643 HAS SOUPS 205761 WITH SCORE 206040.287
AT ITER 7694 NEW BEST:: SOT 1219751 SOS 279313 HAS SOPS 260606 HAS SOUS 209610 HAS SOUPS 205728 WITH SCORE 206007.313
AT ITER 7716 NEW BEST:: SOT 1219705 SOS 279267 HAS SOPS 260514 HAS SOUS 209538 HAS SOUPS 205636 WITH SCORE 205915.267
AT ITER 7721 NEW BEST:: SOT 1219770 SOS 279103 HAS SOPS 260350 HAS SOUS 209516 HAS SOUPS 205614 WITH SCORE 205893.103
AT ITER 7737 NEW BEST:: SOT 1219738 SOS 278815 HAS SOPS 260062 HAS SOUS 209452 HAS SOUPS 205550 WITH SCORE 205828.815
AT ITER 7738 NEW BEST:: SOT 1219666 SOS 278163 HAS SOPS 259410 HAS SOUS 209308 HAS SOUPS 205406 WITH SCORE 205684.163
AT ITER 7781 NEW BEST:: SOT 1219666 SOS 278160 HAS SOPS 259407 HAS SOUS 209308 HAS SOUPS 205406 WITH SCORE 205684.16
AT ITER 7799 NEW BEST:: SOT 1219676 SOS 277540 HAS SOPS 258787 HAS SOUS 209226 HAS SOUPS 205324 WITH SCORE 205601.54
AT ITER 7802 NEW BEST:: SOT 1219326 SOS 277230 HAS SOPS 258553 HAS SOUS 208916 HAS SOUPS 205014 WITH SCORE 205291.23
AT ITER 7806 NEW BEST:: SOT 1219581 SOS 277485 HAS SOPS 258298 HAS SOUS 208712 HAS SOUPS 204810 WITH SCORE 205087.485
AT ITER 7812 NEW BEST:: SOT 1219393 SOS 277297 HAS SOPS 258110 HAS SOUS 208477 HAS SOUPS 204575 WITH SCORE 204852.297
AT ITER 7845 NEW BEST:: SOT 1219283 SOS 277382 HAS SOPS 258195 HAS SOUS 208476 HAS SOUPS 204574 WITH SCORE 204851.382
AT ITER 7868 NEW BEST:: SOT 1219264 SOS 277363 HAS SOPS 258176 HAS SOUS 208457 HAS SOUPS 204555 WITH SCORE 204832.363
AT ITER 7903 NEW BEST:: SOT 1219264 SOS 277330 HAS SOPS 258143 HAS SOUS 208457 HAS SOUPS 204555 WITH SCORE 204832.33
AT ITER 7904 NEW BEST:: SOT 1219200 SOS 277266 HAS SOPS 258079 HAS SOUS 208390 HAS SOUPS 204488 WITH SCORE 204765.266
AT ITER 7919 NEW BEST:: SOT 1219188 SOS 277254 HAS SOPS 258067 HAS SOUS 208377 HAS SOUPS 204475 WITH SCORE 204752.254
AT ITER 7947 NEW BEST:: SOT 1219189 SOS 277255 HAS SOPS 258068 HAS SOUS 208221 HAS SOUPS 204319 WITH SCORE 204596.255
AT ITER 7969 NEW BEST:: SOT 1219158 SOS 277255 HAS SOPS 258068 HAS SOUS 208190 HAS SOUPS 204288 WITH SCORE 204565.255
AT ITER 7972 NEW BEST:: SOT 1219158 SOS 277276 HAS SOPS 258089 HAS SOUS 208184 HAS SOUPS 204282 WITH SCORE 204559.276
AT ITER 8008 NEW BEST:: SOT 1219149 SOS 277267 HAS SOPS 258080 HAS SOUS 208166 HAS SOUPS 204264 WITH SCORE 204541.267
AT ITER 8040 NEW BEST:: SOT 1219105 SOS 277225 HAS SOPS 258038 HAS SOUS 208124 HAS SOUPS 204222 WITH SCORE 204499.225
AT ITER 8087 NEW BEST:: SOT 1219187 SOS 277307 HAS SOPS 258120 HAS SOUS 208100 HAS SOUPS 204198 WITH SCORE 204475.307
AT ITER 8089 NEW BEST:: SOT 1219187 SOS 277208 HAS SOPS 258021 HAS SOUS 208100 HAS SOUPS 204198 WITH SCORE 204475.208
AT ITER 8093 NEW BEST:: SOT 1219122 SOS 278012 HAS SOPS 258825 HAS SOUS 208063 HAS SOUPS 204161 WITH SCORE 204439.012
AT ITER 8166 NEW BEST:: SOT 1219161 SOS 278074 HAS SOPS 258887 HAS SOUS 207944 HAS SOUPS 204042 WITH SCORE 204320.074
AT ITER 8169 NEW BEST:: SOT 1219037 SOS 276081 HAS SOPS 256894 HAS SOUS 207667 HAS SOUPS 203765 WITH SCORE 204041.081
AT ITER 8179 NEW BEST:: SOT 1219032 SOS 276076 HAS SOPS 256889 HAS SOUS 207662 HAS SOUPS 203760 WITH SCORE 204036.076
AT ITER 8205 NEW BEST:: SOT 1218991 SOS 276035 HAS SOPS 256848 HAS SOUS 207591 HAS SOUPS 203689 WITH SCORE 203965.035
AT ITER 8232 NEW BEST:: SOT 1218983 SOS 276027 HAS SOPS 256840 HAS SOUS 207576 HAS SOUPS 203674 WITH SCORE 203950.027
AT ITER 8239 NEW BEST:: SOT 1218926 SOS 275970 HAS SOPS 256783 HAS SOUS 207462 HAS SOUPS 203560 WITH SCORE 203835.97
AT ITER 8240 NEW BEST:: SOT 1219003 SOS 276047 HAS SOPS 256860 HAS SOUS 207408 HAS SOUPS 203506 WITH SCORE 203782.047
AT ITER 8254 NEW BEST:: SOT 1219003 SOS 275843 HAS SOPS 256656 HAS SOUS 207408 HAS SOUPS 203506 WITH SCORE 203781.843
AT ITER 8288 NEW BEST:: SOT 1218978 SOS 275818 HAS SOPS 256606 HAS SOUS 207379 HAS SOUPS 203456 WITH SCORE 203731.818
AT ITER 8323 NEW BEST:: SOT 1218971 SOS 275811 HAS SOPS 256599 HAS SOUS 207365 HAS SOUPS 203442 WITH SCORE 203717.811
AT ITER 8333 NEW BEST:: SOT 1218683 SOS 275791 HAS SOPS 256581 HAS SOUS 207156 HAS SOUPS 203233 WITH SCORE 203508.791
AT ITER 8368 NEW BEST:: SOT 1218627 SOS 275707 HAS SOPS 256497 HAS SOUS 207072 HAS SOUPS 203149 WITH SCORE 203424.707
AT ITER 8370 NEW BEST:: SOT 1218649 SOS 274871 HAS SOPS 256454 HAS SOUS 206861 HAS SOUPS 203007 WITH SCORE 203281.871
AT ITER 8383 NEW BEST:: SOT 1218645 SOS 274867 HAS SOPS 256446 HAS SOUS 206849 HAS SOUPS 202995 WITH SCORE 203269.867
AT ITER 8417 NEW BEST:: SOT 1218625 SOS 274851 HAS SOPS 256430 HAS SOUS 206829 HAS SOUPS 202975 WITH SCORE 203249.851
AT ITER 8429 NEW BEST:: SOT 1218779 SOS 274844 HAS SOPS 256423 HAS SOUS 206822 HAS SOUPS 202968 WITH SCORE 203242.844
AT ITER 8443 NEW BEST:: SOT 1218771 SOS 274794 HAS SOPS 256373 HAS SOUS 206806 HAS SOUPS 202952 WITH SCORE 203226.794
AT ITER 8452 NEW BEST:: SOT 1218771 SOS 274754 HAS SOPS 256333 HAS SOUS 206806 HAS SOUPS 202952 WITH SCORE 203226.754
AT ITER 8457 NEW BEST:: SOT 1218771 SOS 274718 HAS SOPS 256297 HAS SOUS 206770 HAS SOUPS 202916 WITH SCORE 203190.718
AT ITER 8460 NEW BEST:: SOT 1218742 SOS 274689 HAS SOPS 256268 HAS SOUS 206712 HAS SOUPS 202858 WITH SCORE 203132.689
AT ITER 8495 NEW BEST:: SOT 1218715 SOS 274392 HAS SOPS 255944 HAS SOUS 206658 HAS SOUPS 202804 WITH SCORE 203078.392
AT ITER 8506 NEW BEST:: SOT 1218557 SOS 274234 HAS SOPS 255786 HAS SOUS 206500 HAS SOUPS 202646 WITH SCORE 202920.234
AT ITER 8510 NEW BEST:: SOT 1218493 SOS 274170 HAS SOPS 255722 HAS SOUS 206436 HAS SOUPS 202582 WITH SCORE 202856.17
AT ITER 8515 NEW BEST:: SOT 1218484 SOS 274152 HAS SOPS 255704 HAS SOUS 206409 HAS SOUPS 202555 WITH SCORE 202829.152
AT ITER 8538 NEW BEST:: SOT 1218460 SOS 274160 HAS SOPS 254893 HAS SOUS 205619 HAS SOUPS 201765 WITH SCORE 202039.16
AT ITER 8555 NEW BEST:: SOT 1218460 SOS 274110 HAS SOPS 254843 HAS SOUS 205561 HAS SOUPS 201707 WITH SCORE 201981.11
AT ITER 8588 NEW BEST:: SOT 1218331 SOS 273981 HAS SOPS 254714 HAS SOUS 205303 HAS SOUPS 201449 WITH SCORE 201722.981
AT ITER 8643 NEW BEST:: SOT 1218331 SOS 273981 HAS SOPS 254709 HAS SOUS 205298 HAS SOUPS 201444 WITH SCORE 201717.981
AT ITER 8657 NEW BEST:: SOT 1218311 SOS 273941 HAS SOPS 254669 HAS SOUS 205258 HAS SOUPS 201404 WITH SCORE 201677.941
AT ITER 8703 NEW BEST:: SOT 1218285 SOS 273957 HAS SOPS 254659 HAS SOUS 205275 HAS SOUPS 201352 WITH SCORE 201625.957
AT ITER 8705 NEW BEST:: SOT 1218342 SOS 274065 HAS SOPS 254767 HAS SOUS 205268 HAS SOUPS 201345 WITH SCORE 201619.065
AT ITER 8752 NEW BEST:: SOT 1218310 SOS 274008 HAS SOPS 254678 HAS SOUS 205231 HAS SOUPS 201281 WITH SCORE 201555.008
AT ITER 8795 NEW BEST:: SOT 1218315 SOS 274013 HAS SOPS 254683 HAS SOUS 205154 HAS SOUPS 201204 WITH SCORE 201478.013
AT ITER 8796 NEW BEST:: SOT 1218141 SOS 274071 HAS SOPS 254509 HAS SOUS 205020 HAS SOUPS 201041 WITH SCORE 201315.071
AT ITER 8846 NEW BEST:: SOT 1218133 SOS 274063 HAS SOPS 254501 HAS SOUS 205004 HAS SOUPS 201025 WITH SCORE 201299.063
AT ITER 8906 NEW BEST:: SOT 1218048 SOS 274063 HAS SOPS 254501 HAS SOUS 204919 HAS SOUPS 200940 WITH SCORE 201214.063
AT ITER 8907 NEW BEST:: SOT 1218019 SOS 274062 HAS SOPS 254471 HAS SOUS 204861 HAS SOUPS 200882 WITH SCORE 201156.062
AT ITER 8909 NEW BEST:: SOT 1217995 SOS 274038 HAS SOPS 254447 HAS SOUS 204813 HAS SOUPS 200834 WITH SCORE 201108.038
AT ITER 8978 NEW BEST:: SOT 1217938 SOS 273981 HAS SOPS 254390 HAS SOUS 204792 HAS SOUPS 200813 WITH SCORE 201086.981
AT ITER 8997 NEW BEST:: SOT 1218024 SOS 274067 HAS SOPS 254476 HAS SOUS 204774 HAS SOUPS 200795 WITH SCORE 201069.067
AT ITER 9020 NEW BEST:: SOT 1218011 SOS 274072 HAS SOPS 254468 HAS SOUS 204761 HAS SOUPS 200769 WITH SCORE 201043.072
AT ITER 9039 NEW BEST:: SOT 1218030 SOS 274091 HAS SOPS 254487 HAS SOUS 204756 HAS SOUPS 200764 WITH SCORE 201038.091
AT ITER 9066 NEW BEST:: SOT 1218030 SOS 274078 HAS SOPS 254474 HAS SOUS 204748 HAS SOUPS 200756 WITH SCORE 201030.078
AT ITER 9092 NEW BEST:: SOT 1218033 SOS 274081 HAS SOPS 254338 HAS SOUS 204612 HAS SOUPS 200620 WITH SCORE 200894.081
AT ITER 9112 NEW BEST:: SOT 1217879 SOS 272660 HAS SOPS 252917 HAS SOUS 204304 HAS SOUPS 200312 WITH SCORE 200584.66
AT ITER 9118 NEW BEST:: SOT 1217879 SOS 272658 HAS SOPS 252915 HAS SOUS 204304 HAS SOUPS 200312 WITH SCORE 200584.658
AT ITER 9143 NEW BEST:: SOT 1217843 SOS 272654 HAS SOPS 252911 HAS SOUS 204221 HAS SOUPS 200229 WITH SCORE 200501.654
AT ITER 9177 NEW BEST:: SOT 1217842 SOS 272653 HAS SOPS 252909 HAS SOUS 204219 HAS SOUPS 200227 WITH SCORE 200499.653
AT ITER 9204 NEW BEST:: SOT 1217842 SOS 272635 HAS SOPS 252891 HAS SOUS 204201 HAS SOUPS 200209 WITH SCORE 200481.635
AT ITER 9243 NEW BEST:: SOT 1217541 SOS 275225 HAS SOPS 252552 HAS SOUS 204299 HAS SOUPS 200060 WITH SCORE 200335.225
AT ITER 9249 NEW BEST:: SOT 1217488 SOS 275172 HAS SOPS 252499 HAS SOUS 204246 HAS SOUPS 200007 WITH SCORE 200282.172
AT ITER 9340 NEW BEST:: SOT 1217494 SOS 275178 HAS SOPS 252505 HAS SOUS 204169 HAS SOUPS 199930 WITH SCORE 200205.178
AT ITER 9359 NEW BEST:: SOT 1217494 SOS 275136 HAS SOPS 252463 HAS SOUS 204169 HAS SOUPS 199930 WITH SCORE 200205.136
AT ITER 9367 NEW BEST:: SOT 1217497 SOS 275139 HAS SOPS 252466 HAS SOUS 204139 HAS SOUPS 199900 WITH SCORE 200175.139
AT ITER 9383 NEW BEST:: SOT 1217444 SOS 275130 HAS SOPS 252457 HAS SOUS 204130 HAS SOUPS 199891 WITH SCORE 200166.13
AT ITER 9444 NEW BEST:: SOT 1217444 SOS 275129 HAS SOPS 252456 HAS SOUS 204129 HAS SOUPS 199890 WITH SCORE 200165.129
AT ITER 9449 NEW BEST:: SOT 1217379 SOS 275026 HAS SOPS 252434 HAS SOUS 204073 HAS SOUPS 199834 WITH SCORE 200109.026
AT ITER 9489 NEW BEST:: SOT 1217499 SOS 275081 HAS SOPS 252489 HAS SOUS 204004 HAS SOUPS 199765 WITH SCORE 200040.081
AT ITER 9501 NEW BEST:: SOT 1217451 SOS 275033 HAS SOPS 252441 HAS SOUS 203986 HAS SOUPS 199747 WITH SCORE 200022.033
AT ITER 9529 NEW BEST:: SOT 1217451 SOS 275033 HAS SOPS 252441 HAS SOUS 203918 HAS SOUPS 199679 WITH SCORE 199954.033
AT ITER 9531 NEW BEST:: SOT 1217445 SOS 275027 HAS SOPS 252435 HAS SOUS 203912 HAS SOUPS 199673 WITH SCORE 199948.027
AT ITER 9554 NEW BEST:: SOT 1217439 SOS 275021 HAS SOPS 252429 HAS SOUS 203900 HAS SOUPS 199661 WITH SCORE 199936.021
AT ITER 9560 NEW BEST:: SOT 1217408 SOS 275009 HAS SOPS 252417 HAS SOUS 203873 HAS SOUPS 199634 WITH SCORE 199909.009
AT ITER 9561 NEW BEST:: SOT 1217408 SOS 274978 HAS SOPS 252386 HAS SOUS 203842 HAS SOUPS 199603 WITH SCORE 199877.978
AT ITER 9569 NEW BEST:: SOT 1217408 SOS 274945 HAS SOPS 252353 HAS SOUS 203777 HAS SOUPS 199538 WITH SCORE 199812.945
AT ITER 9583 NEW BEST:: SOT 1217415 SOS 274952 HAS SOPS 252360 HAS SOUS 203774 HAS SOUPS 199535 WITH SCORE 199809.952
AT ITER 9595 NEW BEST:: SOT 1217375 SOS 274183 HAS SOPS 251591 HAS SOUS 203735 HAS SOUPS 199496 WITH SCORE 199770.183
AT ITER 9609 NEW BEST:: SOT 1217375 SOS 274183 HAS SOPS 251591 HAS SOUS 203727 HAS SOUPS 199488 WITH SCORE 199762.183
AT ITER 9621 NEW BEST:: SOT 1217361 SOS 274072 HAS SOPS 251466 HAS SOUS 203699 HAS SOUPS 199460 WITH SCORE 199734.072
AT ITER 9645 NEW BEST:: SOT 1217346 SOS 274057 HAS SOPS 251451 HAS SOUS 203684 HAS SOUPS 199445 WITH SCORE 199719.057
AT ITER 9657 NEW BEST:: SOT 1217331 SOS 274042 HAS SOPS 251436 HAS SOUS 203522 HAS SOUPS 199283 WITH SCORE 199557.042
AT ITER 9660 NEW BEST:: SOT 1217359 SOS 274029 HAS SOPS 251423 HAS SOUS 203509 HAS SOUPS 199270 WITH SCORE 199544.029
AT ITER 9676 NEW BEST:: SOT 1217359 SOS 274029 HAS SOPS 251423 HAS SOUS 203379 HAS SOUPS 199140 WITH SCORE 199414.029
AT ITER 9698 NEW BEST:: SOT 1217482 SOS 274148 HAS SOPS 251542 HAS SOUS 203362 HAS SOUPS 199123 WITH SCORE 199397.148
AT ITER 9711 NEW BEST:: SOT 1217482 SOS 274167 HAS SOPS 251561 HAS SOUS 203357 HAS SOUPS 199118 WITH SCORE 199392.167
AT ITER 9737 NEW BEST:: SOT 1217482 SOS 274167 HAS SOPS 251561 HAS SOUS 203340 HAS SOUPS 199101 WITH SCORE 199375.167
AT ITER 9764 NEW BEST:: SOT 1217435 SOS 274080 HAS SOPS 251474 HAS SOUS 203246 HAS SOUPS 199007 WITH SCORE 199281.08
AT ITER 9765 NEW BEST:: SOT 1217377 SOS 274022 HAS SOPS 251416 HAS SOUS 203188 HAS SOUPS 198949 WITH SCORE 199223.022
AT ITER 9787 NEW BEST:: SOT 1213234 SOS 277638 HAS SOPS 255032 HAS SOUS 199167 HAS SOUPS 194928 WITH SCORE 195205.638
AT ITER 9843 NEW BEST:: SOT 1213150 SOS 277707 HAS SOPS 255101 HAS SOUS 199152 HAS SOUPS 194913 WITH SCORE 195190.707
AT ITER 9848 NEW BEST:: SOT 1213063 SOS 277533 HAS SOPS 254927 HAS SOUS 198978 HAS SOUPS 194739 WITH SCORE 195016.533
AT ITER 9849 NEW BEST:: SOT 1213063 SOS 277458 HAS SOPS 254852 HAS SOUS 198977 HAS SOUPS 194738 WITH SCORE 195015.458
AT ITER 9850 NEW BEST:: SOT 1213063 SOS 277450 HAS SOPS 254844 HAS SOUS 198969 HAS SOUPS 194730 WITH SCORE 195007.45
AT ITER 9853 NEW BEST:: SOT 1213011 SOS 277190 HAS SOPS 254624 HAS SOUS 198863 HAS SOUPS 194624 WITH SCORE 194901.19
AT ITER 9864 NEW BEST:: SOT 1213015 SOS 277194 HAS SOPS 254628 HAS SOUS 198851 HAS SOUPS 194612 WITH SCORE 194889.194
AT ITER 9876 NEW BEST:: SOT 1212843 SOS 277161 HAS SOPS 254595 HAS SOUS 198728 HAS SOUPS 194489 WITH SCORE 194766.161
AT ITER 9898 NEW BEST:: SOT 1212790 SOS 277317 HAS SOPS 254751 HAS SOUS 198675 HAS SOUPS 194436 WITH SCORE 194713.317
AT ITER 9958 NEW BEST:: SOT 1212864 SOS 277287 HAS SOPS 254721 HAS SOUS 198653 HAS SOUPS 194414 WITH SCORE 194691.287
AT ITER 9969 NEW BEST:: SOT 1212883 SOS 277258 HAS SOPS 254692 HAS SOUS 198643 HAS SOUPS 194404 WITH SCORE 194681.258
AT ITER 9980 NEW BEST:: SOT 1212806 SOS 275453 HAS SOPS 254648 HAS SOUS 198405 HAS SOUPS 194285 WITH SCORE 194560.453
AT ITER 9989 NEW BEST:: SOT 1212809 SOS 275435 HAS SOPS 254630 HAS SOUS 198400 HAS SOUPS 194280 WITH SCORE 194555.435
AT ITER 9997 NEW BEST:: SOT 1212809 SOS 275339 HAS SOPS 254534 HAS SOUS 198400 HAS SOUPS 194280 WITH SCORE 194555.339
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 8301716 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16153816 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="LeafsetExtension-PT-S16C4"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
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 smart"
echo " Input is LeafsetExtension-PT-S16C4, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r227-tall-167856410500496"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/LeafsetExtension-PT-S16C4.tgz
mv LeafsetExtension-PT-S16C4 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;