Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r207-tajo-159033469200296.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ShieldIIPt-PT-005B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469200296
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 248K
-rw-r--r-- 1 mcc users 3.5K May 14 00:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K May 14 00:58 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 18:15 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 18:15 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K May 14 10:02 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 14 10:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:02 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 14 10:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.5K May 13 13:27 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K May 13 13:27 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 13 08:02 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 13 08:02 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 83K May 12 20:42 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 1590439226173

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldIIPt (PT), instance 005B
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 353 places, 328 transitions, 816 arcs.
AT ITER 0 NEW BEST:: SOT 64144 SOS 18153 HAS SOPS 18153 HAS SOUS 16578 HAS SOUPS 16578 WITH SCORE 16596.153
AT ITER 8 NEW BEST:: SOT 64142 SOS 18118 HAS SOPS 18118 HAS SOUS 16559 HAS SOUPS 16559 WITH SCORE 16577.118
AT ITER 23 NEW BEST:: SOT 64129 SOS 18066 HAS SOPS 18066 HAS SOUS 16520 HAS SOUPS 16520 WITH SCORE 16538.066
AT ITER 29 NEW BEST:: SOT 64129 SOS 18066 HAS SOPS 18066 HAS SOUS 16515 HAS SOUPS 16515 WITH SCORE 16533.066
AT ITER 34 NEW BEST:: SOT 64160 SOS 18058 HAS SOPS 18058 HAS SOUS 16506 HAS SOUPS 16506 WITH SCORE 16524.058
AT ITER 43 NEW BEST:: SOT 64192 SOS 18045 HAS SOPS 18045 HAS SOUS 16493 HAS SOUPS 16493 WITH SCORE 16511.045
AT ITER 52 NEW BEST:: SOT 64192 SOS 18041 HAS SOPS 18041 HAS SOUS 16489 HAS SOUPS 16489 WITH SCORE 16507.041
AT ITER 58 NEW BEST:: SOT 64176 SOS 17978 HAS SOPS 17978 HAS SOUS 16448 HAS SOUPS 16448 WITH SCORE 16465.978
AT ITER 61 NEW BEST:: SOT 64140 SOS 17953 HAS SOPS 17953 HAS SOUS 16424 HAS SOUPS 16424 WITH SCORE 16441.953
AT ITER 64 NEW BEST:: SOT 64111 SOS 17885 HAS SOPS 17885 HAS SOUS 16406 HAS SOUPS 16406 WITH SCORE 16423.885
AT ITER 67 NEW BEST:: SOT 64114 SOS 17875 HAS SOPS 17875 HAS SOUS 16367 HAS SOUPS 16367 WITH SCORE 16384.875
AT ITER 112 NEW BEST:: SOT 64114 SOS 17874 HAS SOPS 17874 HAS SOUS 16366 HAS SOUPS 16366 WITH SCORE 16383.874
AT ITER 123 NEW BEST:: SOT 63992 SOS 17683 HAS SOPS 17683 HAS SOUS 16222 HAS SOUPS 16222 WITH SCORE 16239.683
AT ITER 127 NEW BEST:: SOT 63987 SOS 17668 HAS SOPS 17668 HAS SOUS 16207 HAS SOUPS 16207 WITH SCORE 16224.668
AT ITER 148 NEW BEST:: SOT 63922 SOS 17658 HAS SOPS 17658 HAS SOUS 16197 HAS SOUPS 16197 WITH SCORE 16214.658
AT ITER 160 NEW BEST:: SOT 63862 SOS 17543 HAS SOPS 17543 HAS SOUS 16123 HAS SOUPS 16123 WITH SCORE 16140.543
AT ITER 172 NEW BEST:: SOT 63850 SOS 17519 HAS SOPS 17519 HAS SOUS 16098 HAS SOUPS 16098 WITH SCORE 16115.519
AT ITER 182 NEW BEST:: SOT 63818 SOS 17455 HAS SOPS 17455 HAS SOUS 16038 HAS SOUPS 16038 WITH SCORE 16055.455
AT ITER 192 NEW BEST:: SOT 63789 SOS 17418 HAS SOPS 17418 HAS SOUS 16001 HAS SOUPS 16001 WITH SCORE 16018.418
AT ITER 199 NEW BEST:: SOT 63770 SOS 17415 HAS SOPS 17415 HAS SOUS 15945 HAS SOUPS 15945 WITH SCORE 15962.415
AT ITER 203 NEW BEST:: SOT 63770 SOS 17387 HAS SOPS 17387 HAS SOUS 15917 HAS SOUPS 15917 WITH SCORE 15934.387
AT ITER 210 NEW BEST:: SOT 63809 SOS 17465 HAS SOPS 17465 HAS SOUS 15890 HAS SOUPS 15890 WITH SCORE 15907.465
AT ITER 219 NEW BEST:: SOT 63788 SOS 17493 HAS SOPS 17493 HAS SOUS 15879 HAS SOUPS 15879 WITH SCORE 15896.493
AT ITER 221 NEW BEST:: SOT 63777 SOS 17459 HAS SOPS 17459 HAS SOUS 15856 HAS SOUPS 15856 WITH SCORE 15873.459
AT ITER 223 NEW BEST:: SOT 63745 SOS 17346 HAS SOPS 17346 HAS SOUS 15792 HAS SOUPS 15792 WITH SCORE 15809.346
AT ITER 244 NEW BEST:: SOT 63745 SOS 17325 HAS SOPS 17325 HAS SOUS 15771 HAS SOUPS 15771 WITH SCORE 15788.325
AT ITER 251 NEW BEST:: SOT 63745 SOS 17306 HAS SOPS 17306 HAS SOUS 15752 HAS SOUPS 15752 WITH SCORE 15769.306
AT ITER 266 NEW BEST:: SOT 63745 SOS 17306 HAS SOPS 17306 HAS SOUS 15739 HAS SOUPS 15739 WITH SCORE 15756.306
AT ITER 273 NEW BEST:: SOT 63733 SOS 17190 HAS SOPS 17190 HAS SOUS 15623 HAS SOUPS 15623 WITH SCORE 15640.19
AT ITER 283 NEW BEST:: SOT 63686 SOS 17143 HAS SOPS 17143 HAS SOUS 15576 HAS SOUPS 15576 WITH SCORE 15593.143
AT ITER 290 NEW BEST:: SOT 63673 SOS 17130 HAS SOPS 17130 HAS SOUS 15576 HAS SOUPS 15576 WITH SCORE 15593.13
AT ITER 303 NEW BEST:: SOT 63686 SOS 17116 HAS SOPS 17116 HAS SOUS 15562 HAS SOUPS 15562 WITH SCORE 15579.116
AT ITER 330 NEW BEST:: SOT 63685 SOS 17114 HAS SOPS 17114 HAS SOUS 15560 HAS SOUPS 15560 WITH SCORE 15577.114
AT ITER 332 NEW BEST:: SOT 63685 SOS 17111 HAS SOPS 17111 HAS SOUS 15557 HAS SOUPS 15557 WITH SCORE 15574.111
AT ITER 336 NEW BEST:: SOT 63674 SOS 17089 HAS SOPS 17089 HAS SOUS 15543 HAS SOUPS 15543 WITH SCORE 15560.089
AT ITER 338 NEW BEST:: SOT 63727 SOS 17033 HAS SOPS 17033 HAS SOUS 15526 HAS SOUPS 15526 WITH SCORE 15543.033
AT ITER 344 NEW BEST:: SOT 63716 SOS 16973 HAS SOPS 16973 HAS SOUS 15466 HAS SOUPS 15466 WITH SCORE 15482.973
AT ITER 348 NEW BEST:: SOT 63676 SOS 16848 HAS SOPS 16848 HAS SOUS 15367 HAS SOUPS 15367 WITH SCORE 15383.848
AT ITER 354 NEW BEST:: SOT 63662 SOS 16834 HAS SOPS 16834 HAS SOUS 15353 HAS SOUPS 15353 WITH SCORE 15369.834
AT ITER 358 NEW BEST:: SOT 63696 SOS 16816 HAS SOPS 16816 HAS SOUS 15347 HAS SOUPS 15347 WITH SCORE 15363.816
AT ITER 362 NEW BEST:: SOT 63673 SOS 16793 HAS SOPS 16793 HAS SOUS 15287 HAS SOUPS 15287 WITH SCORE 15303.793
AT ITER 368 NEW BEST:: SOT 63673 SOS 16821 HAS SOPS 16821 HAS SOUS 15285 HAS SOUPS 15285 WITH SCORE 15301.821
AT ITER 377 NEW BEST:: SOT 63670 SOS 16837 HAS SOPS 16837 HAS SOUS 15284 HAS SOUPS 15284 WITH SCORE 15300.837
AT ITER 395 NEW BEST:: SOT 63669 SOS 16787 HAS SOPS 16787 HAS SOUS 15258 HAS SOUPS 15258 WITH SCORE 15274.787
AT ITER 397 NEW BEST:: SOT 63651 SOS 16751 HAS SOPS 16751 HAS SOUS 15222 HAS SOUPS 15222 WITH SCORE 15238.751
AT ITER 418 NEW BEST:: SOT 63738 SOS 16736 HAS SOPS 16736 HAS SOUS 15207 HAS SOUPS 15207 WITH SCORE 15223.736
AT ITER 437 NEW BEST:: SOT 63738 SOS 16722 HAS SOPS 16722 HAS SOUS 15193 HAS SOUPS 15193 WITH SCORE 15209.722
AT ITER 446 NEW BEST:: SOT 63684 SOS 16716 HAS SOPS 16716 HAS SOUS 15193 HAS SOUPS 15193 WITH SCORE 15209.716
AT ITER 461 NEW BEST:: SOT 63697 SOS 16727 HAS SOPS 16727 HAS SOUS 15176 HAS SOUPS 15176 WITH SCORE 15192.727
AT ITER 465 NEW BEST:: SOT 63697 SOS 16726 HAS SOPS 16726 HAS SOUS 15175 HAS SOUPS 15175 WITH SCORE 15191.726
AT ITER 480 NEW BEST:: SOT 63694 SOS 16723 HAS SOPS 16723 HAS SOUS 15172 HAS SOUPS 15172 WITH SCORE 15188.723
AT ITER 482 NEW BEST:: SOT 63693 SOS 16721 HAS SOPS 16721 HAS SOUS 15169 HAS SOUPS 15169 WITH SCORE 15185.721
AT ITER 486 NEW BEST:: SOT 63595 SOS 16626 HAS SOPS 16626 HAS SOUS 15071 HAS SOUPS 15071 WITH SCORE 15087.626
AT ITER 493 NEW BEST:: SOT 63549 SOS 16573 HAS SOPS 16573 HAS SOUS 15069 HAS SOUPS 15069 WITH SCORE 15085.573
AT ITER 500 NEW BEST:: SOT 63549 SOS 16569 HAS SOPS 16569 HAS SOUS 15065 HAS SOUPS 15065 WITH SCORE 15081.569
AT ITER 527 NEW BEST:: SOT 63544 SOS 16564 HAS SOPS 16564 HAS SOUS 15060 HAS SOUPS 15060 WITH SCORE 15076.564
AT ITER 540 NEW BEST:: SOT 63544 SOS 16564 HAS SOPS 16564 HAS SOUS 14988 HAS SOUPS 14988 WITH SCORE 15004.564
AT ITER 555 NEW BEST:: SOT 63540 SOS 16544 HAS SOPS 16544 HAS SOUS 14980 HAS SOUPS 14980 WITH SCORE 14996.544
AT ITER 559 NEW BEST:: SOT 63539 SOS 16462 HAS SOPS 16462 HAS SOUS 14938 HAS SOUPS 14938 WITH SCORE 14954.462
AT ITER 569 NEW BEST:: SOT 63541 SOS 16464 HAS SOPS 16464 HAS SOUS 14915 HAS SOUPS 14915 WITH SCORE 14931.464
AT ITER 577 NEW BEST:: SOT 63544 SOS 16416 HAS SOPS 16416 HAS SOUS 14899 HAS SOUPS 14899 WITH SCORE 14915.416
AT ITER 616 NEW BEST:: SOT 63542 SOS 16410 HAS SOPS 16410 HAS SOUS 14893 HAS SOUPS 14893 WITH SCORE 14909.41
AT ITER 622 NEW BEST:: SOT 63553 SOS 16401 HAS SOPS 16401 HAS SOUS 14884 HAS SOUPS 14884 WITH SCORE 14900.401
AT ITER 639 NEW BEST:: SOT 63550 SOS 16398 HAS SOPS 16398 HAS SOUS 14884 HAS SOUPS 14884 WITH SCORE 14900.398
AT ITER 643 NEW BEST:: SOT 63549 SOS 16386 HAS SOPS 16386 HAS SOUS 14872 HAS SOUPS 14872 WITH SCORE 14888.386
AT ITER 645 NEW BEST:: SOT 63548 SOS 16372 HAS SOPS 16372 HAS SOUS 14870 HAS SOUPS 14870 WITH SCORE 14886.372
AT ITER 665 NEW BEST:: SOT 63520 SOS 16365 HAS SOPS 16365 HAS SOUS 14835 HAS SOUPS 14835 WITH SCORE 14851.365
AT ITER 668 NEW BEST:: SOT 63520 SOS 16359 HAS SOPS 16359 HAS SOUS 14823 HAS SOUPS 14823 WITH SCORE 14839.359
AT ITER 682 NEW BEST:: SOT 63520 SOS 16350 HAS SOPS 16350 HAS SOUS 14823 HAS SOUPS 14823 WITH SCORE 14839.35
AT ITER 705 NEW BEST:: SOT 63520 SOS 16339 HAS SOPS 16339 HAS SOUS 14812 HAS SOUPS 14812 WITH SCORE 14828.339
AT ITER 707 NEW BEST:: SOT 63520 SOS 16335 HAS SOPS 16335 HAS SOUS 14808 HAS SOUPS 14808 WITH SCORE 14824.335
AT ITER 718 NEW BEST:: SOT 63546 SOS 16275 HAS SOPS 16275 HAS SOUS 14804 HAS SOUPS 14804 WITH SCORE 14820.275
AT ITER 742 NEW BEST:: SOT 63511 SOS 16101 HAS SOPS 16101 HAS SOUS 14716 HAS SOUPS 14716 WITH SCORE 14732.101
AT ITER 756 NEW BEST:: SOT 63531 SOS 16118 HAS SOPS 16118 HAS SOUS 14709 HAS SOUPS 14709 WITH SCORE 14725.118
AT ITER 790 NEW BEST:: SOT 63531 SOS 16102 HAS SOPS 16102 HAS SOUS 14709 HAS SOUPS 14709 WITH SCORE 14725.102
AT ITER 878 NEW BEST:: SOT 63475 SOS 16042 HAS SOPS 16042 HAS SOUS 14683 HAS SOUPS 14683 WITH SCORE 14699.042
AT ITER 890 NEW BEST:: SOT 63452 SOS 15996 HAS SOPS 15996 HAS SOUS 14644 HAS SOUPS 14644 WITH SCORE 14659.996
AT ITER 911 NEW BEST:: SOT 63498 SOS 15968 HAS SOPS 15968 HAS SOUS 14619 HAS SOUPS 14619 WITH SCORE 14634.968
AT ITER 919 NEW BEST:: SOT 63517 SOS 15952 HAS SOPS 15952 HAS SOUS 14603 HAS SOUPS 14603 WITH SCORE 14618.952
AT ITER 930 NEW BEST:: SOT 63517 SOS 15915 HAS SOPS 15915 HAS SOUS 14603 HAS SOUPS 14603 WITH SCORE 14618.915
AT ITER 932 NEW BEST:: SOT 63477 SOS 15814 HAS SOPS 15814 HAS SOUS 14502 HAS SOUPS 14502 WITH SCORE 14517.814
AT ITER 934 NEW BEST:: SOT 63477 SOS 15782 HAS SOPS 15782 HAS SOUS 14491 HAS SOUPS 14491 WITH SCORE 14506.782
AT ITER 954 NEW BEST:: SOT 63477 SOS 15779 HAS SOPS 15779 HAS SOUS 14488 HAS SOUPS 14488 WITH SCORE 14503.779
AT ITER 967 NEW BEST:: SOT 63477 SOS 15769 HAS SOPS 15769 HAS SOUS 14488 HAS SOUPS 14488 WITH SCORE 14503.769
AT ITER 969 NEW BEST:: SOT 63478 SOS 15770 HAS SOPS 15770 HAS SOUS 14459 HAS SOUPS 14459 WITH SCORE 14474.77
AT ITER 980 NEW BEST:: SOT 63474 SOS 15796 HAS SOPS 15796 HAS SOUS 14455 HAS SOUPS 14455 WITH SCORE 14470.796
AT ITER 986 NEW BEST:: SOT 63490 SOS 15796 HAS SOPS 15796 HAS SOUS 14454 HAS SOUPS 14454 WITH SCORE 14469.796
AT ITER 1025 NEW BEST:: SOT 63471 SOS 15562 HAS SOPS 15562 HAS SOUS 14351 HAS SOUPS 14351 WITH SCORE 14366.562
AT ITER 1045 NEW BEST:: SOT 63468 SOS 15546 HAS SOPS 15546 HAS SOUS 14348 HAS SOUPS 14348 WITH SCORE 14363.546
AT ITER 1047 NEW BEST:: SOT 63461 SOS 15543 HAS SOPS 15543 HAS SOUS 14345 HAS SOUPS 14345 WITH SCORE 14360.543
AT ITER 1048 NEW BEST:: SOT 63397 SOS 15479 HAS SOPS 15479 HAS SOUS 14281 HAS SOUPS 14281 WITH SCORE 14296.479
AT ITER 1050 NEW BEST:: SOT 63394 SOS 15473 HAS SOPS 15473 HAS SOUS 14275 HAS SOUPS 14275 WITH SCORE 14290.473
AT ITER 1060 NEW BEST:: SOT 63353 SOS 15492 HAS SOPS 15492 HAS SOUS 14252 HAS SOUPS 14252 WITH SCORE 14267.492
AT ITER 1069 NEW BEST:: SOT 63358 SOS 15499 HAS SOPS 15499 HAS SOUS 14217 HAS SOUPS 14217 WITH SCORE 14232.499
AT ITER 1106 NEW BEST:: SOT 63347 SOS 15505 HAS SOPS 15505 HAS SOUS 14209 HAS SOUPS 14209 WITH SCORE 14224.505
AT ITER 1182 NEW BEST:: SOT 63323 SOS 15430 HAS SOPS 15430 HAS SOUS 14180 HAS SOUPS 14180 WITH SCORE 14195.43
AT ITER 1186 NEW BEST:: SOT 63317 SOS 15418 HAS SOPS 15418 HAS SOUS 14168 HAS SOUPS 14168 WITH SCORE 14183.418
AT ITER 1194 NEW BEST:: SOT 63288 SOS 15355 HAS SOPS 15355 HAS SOUS 14134 HAS SOUPS 14134 WITH SCORE 14149.355
AT ITER 1204 NEW BEST:: SOT 63288 SOS 15350 HAS SOPS 15350 HAS SOUS 14076 HAS SOUPS 14076 WITH SCORE 14091.35
AT ITER 1223 NEW BEST:: SOT 63272 SOS 15300 HAS SOPS 15300 HAS SOUS 14042 HAS SOUPS 14042 WITH SCORE 14057.3
AT ITER 1228 NEW BEST:: SOT 63262 SOS 15262 HAS SOPS 15262 HAS SOUS 14004 HAS SOUPS 14004 WITH SCORE 14019.262
AT ITER 1234 NEW BEST:: SOT 63259 SOS 15226 HAS SOPS 15226 HAS SOUS 13968 HAS SOUPS 13968 WITH SCORE 13983.226
AT ITER 1241 NEW BEST:: SOT 63259 SOS 15197 HAS SOPS 15197 HAS SOUS 13939 HAS SOUPS 13939 WITH SCORE 13954.197
AT ITER 1253 NEW BEST:: SOT 63259 SOS 15196 HAS SOPS 15196 HAS SOUS 13938 HAS SOUPS 13938 WITH SCORE 13953.196
AT ITER 1270 NEW BEST:: SOT 63188 SOS 15321 HAS SOPS 15321 HAS SOUS 13910 HAS SOUPS 13910 WITH SCORE 13925.321
AT ITER 1277 NEW BEST:: SOT 63199 SOS 15274 HAS SOPS 15274 HAS SOUS 13910 HAS SOUPS 13910 WITH SCORE 13925.274
AT ITER 1287 NEW BEST:: SOT 63161 SOS 15152 HAS SOPS 15152 HAS SOUS 13826 HAS SOUPS 13826 WITH SCORE 13841.152
AT ITER 1291 NEW BEST:: SOT 63150 SOS 15080 HAS SOPS 15080 HAS SOUS 13760 HAS SOUPS 13760 WITH SCORE 13775.08
AT ITER 1295 NEW BEST:: SOT 63157 SOS 15101 HAS SOPS 15101 HAS SOUS 13738 HAS SOUPS 13738 WITH SCORE 13753.101
AT ITER 1316 NEW BEST:: SOT 63157 SOS 15096 HAS SOPS 15096 HAS SOUS 13738 HAS SOUPS 13738 WITH SCORE 13753.096
AT ITER 1337 NEW BEST:: SOT 63156 SOS 15074 HAS SOPS 15074 HAS SOUS 13716 HAS SOUPS 13716 WITH SCORE 13731.074
AT ITER 1366 NEW BEST:: SOT 63127 SOS 15050 HAS SOPS 15050 HAS SOUS 13692 HAS SOUPS 13692 WITH SCORE 13707.05
AT ITER 1369 NEW BEST:: SOT 63127 SOS 15015 HAS SOPS 15015 HAS SOUS 13655 HAS SOUPS 13655 WITH SCORE 13670.015
AT ITER 1396 NEW BEST:: SOT 63119 SOS 14981 HAS SOPS 14981 HAS SOUS 13639 HAS SOUPS 13639 WITH SCORE 13653.981
AT ITER 1405 NEW BEST:: SOT 63119 SOS 14963 HAS SOPS 14963 HAS SOUS 13621 HAS SOUPS 13621 WITH SCORE 13635.963
AT ITER 1410 NEW BEST:: SOT 63119 SOS 14955 HAS SOPS 14955 HAS SOUS 13613 HAS SOUPS 13613 WITH SCORE 13627.955
AT ITER 1427 NEW BEST:: SOT 63119 SOS 14949 HAS SOPS 14949 HAS SOUS 13610 HAS SOUPS 13610 WITH SCORE 13624.949
AT ITER 1435 NEW BEST:: SOT 63132 SOS 14947 HAS SOPS 14947 HAS SOUS 13610 HAS SOUPS 13610 WITH SCORE 13624.947
AT ITER 1446 NEW BEST:: SOT 63132 SOS 14940 HAS SOPS 14940 HAS SOUS 13610 HAS SOUPS 13610 WITH SCORE 13624.94
AT ITER 1484 NEW BEST:: SOT 63132 SOS 14940 HAS SOPS 14940 HAS SOUS 13606 HAS SOUPS 13606 WITH SCORE 13620.94
AT ITER 1490 NEW BEST:: SOT 63124 SOS 14908 HAS SOPS 14908 HAS SOUS 13574 HAS SOUPS 13574 WITH SCORE 13588.908
AT ITER 1492 NEW BEST:: SOT 63085 SOS 14866 HAS SOPS 14866 HAS SOUS 13532 HAS SOUPS 13532 WITH SCORE 13546.866
AT ITER 1562 NEW BEST:: SOT 63074 SOS 14844 HAS SOPS 14844 HAS SOUS 13510 HAS SOUPS 13510 WITH SCORE 13524.844
AT ITER 1573 NEW BEST:: SOT 63032 SOS 14774 HAS SOPS 14774 HAS SOUS 13482 HAS SOUPS 13482 WITH SCORE 13496.774
AT ITER 1578 NEW BEST:: SOT 63008 SOS 14702 HAS SOPS 14702 HAS SOUS 13410 HAS SOUPS 13410 WITH SCORE 13424.702
AT ITER 1607 NEW BEST:: SOT 62997 SOS 14607 HAS SOPS 14607 HAS SOUS 13372 HAS SOUPS 13372 WITH SCORE 13386.607
AT ITER 1611 NEW BEST:: SOT 62994 SOS 14601 HAS SOPS 14601 HAS SOUS 13366 HAS SOUPS 13366 WITH SCORE 13380.601
AT ITER 1620 NEW BEST:: SOT 62959 SOS 14566 HAS SOPS 14566 HAS SOUS 13331 HAS SOUPS 13331 WITH SCORE 13345.566
AT ITER 1628 NEW BEST:: SOT 62931 SOS 14538 HAS SOPS 14538 HAS SOUS 13303 HAS SOUPS 13303 WITH SCORE 13317.538
AT ITER 1644 NEW BEST:: SOT 62931 SOS 14537 HAS SOPS 14537 HAS SOUS 13302 HAS SOUPS 13302 WITH SCORE 13316.537
AT ITER 1648 NEW BEST:: SOT 62940 SOS 14531 HAS SOPS 14531 HAS SOUS 13296 HAS SOUPS 13296 WITH SCORE 13310.531
AT ITER 1703 NEW BEST:: SOT 62894 SOS 14485 HAS SOPS 14485 HAS SOUS 13249 HAS SOUPS 13249 WITH SCORE 13263.485
AT ITER 1710 NEW BEST:: SOT 62878 SOS 14477 HAS SOPS 14477 HAS SOUS 13241 HAS SOUPS 13241 WITH SCORE 13255.477
AT ITER 1718 NEW BEST:: SOT 62878 SOS 14477 HAS SOPS 14477 HAS SOUS 13231 HAS SOUPS 13231 WITH SCORE 13245.477
AT ITER 1724 NEW BEST:: SOT 62837 SOS 14456 HAS SOPS 14456 HAS SOUS 13210 HAS SOUPS 13210 WITH SCORE 13224.456
AT ITER 1751 NEW BEST:: SOT 62798 SOS 14504 HAS SOPS 14504 HAS SOUS 13207 HAS SOUPS 13207 WITH SCORE 13221.504
AT ITER 1823 NEW BEST:: SOT 62798 SOS 14502 HAS SOPS 14502 HAS SOUS 13205 HAS SOUPS 13205 WITH SCORE 13219.502
AT ITER 1830 NEW BEST:: SOT 62798 SOS 14495 HAS SOPS 14495 HAS SOUS 13203 HAS SOUPS 13203 WITH SCORE 13217.495
AT ITER 1836 NEW BEST:: SOT 62788 SOS 14461 HAS SOPS 14461 HAS SOUS 13169 HAS SOUPS 13169 WITH SCORE 13183.461
AT ITER 1858 NEW BEST:: SOT 62784 SOS 14453 HAS SOPS 14453 HAS SOUS 13166 HAS SOUPS 13166 WITH SCORE 13180.453
AT ITER 1872 NEW BEST:: SOT 62784 SOS 14452 HAS SOPS 14452 HAS SOUS 13165 HAS SOUPS 13165 WITH SCORE 13179.452
AT ITER 1880 NEW BEST:: SOT 62777 SOS 14447 HAS SOPS 14447 HAS SOUS 13160 HAS SOUPS 13160 WITH SCORE 13174.447
AT ITER 1885 NEW BEST:: SOT 62753 SOS 14423 HAS SOPS 14423 HAS SOUS 13136 HAS SOUPS 13136 WITH SCORE 13150.423
AT ITER 1888 NEW BEST:: SOT 62753 SOS 14416 HAS SOPS 14416 HAS SOUS 13129 HAS SOUPS 13129 WITH SCORE 13143.416
AT ITER 1929 NEW BEST:: SOT 62734 SOS 14397 HAS SOPS 14397 HAS SOUS 13110 HAS SOUPS 13110 WITH SCORE 13124.397
AT ITER 1944 NEW BEST:: SOT 62724 SOS 14361 HAS SOPS 14361 HAS SOUS 13068 HAS SOUPS 13068 WITH SCORE 13082.361
AT ITER 1965 NEW BEST:: SOT 62724 SOS 14352 HAS SOPS 14352 HAS SOUS 13068 HAS SOUPS 13068 WITH SCORE 13082.352
AT ITER 1989 NEW BEST:: SOT 62710 SOS 14311 HAS SOPS 14311 HAS SOUS 13009 HAS SOUPS 13009 WITH SCORE 13023.311
AT ITER 2029 NEW BEST:: SOT 62683 SOS 14309 HAS SOPS 14309 HAS SOUS 13007 HAS SOUPS 13007 WITH SCORE 13021.309
AT ITER 2099 NEW BEST:: SOT 62683 SOS 14308 HAS SOPS 14308 HAS SOUS 12997 HAS SOUPS 12997 WITH SCORE 13011.308
AT ITER 2111 NEW BEST:: SOT 62682 SOS 14250 HAS SOPS 14250 HAS SOUS 12990 HAS SOUPS 12990 WITH SCORE 13004.25
AT ITER 2119 NEW BEST:: SOT 62687 SOS 14245 HAS SOPS 14245 HAS SOUS 12990 HAS SOUPS 12990 WITH SCORE 13004.245
AT ITER 2138 NEW BEST:: SOT 62681 SOS 14252 HAS SOPS 14252 HAS SOUS 12984 HAS SOUPS 12984 WITH SCORE 12998.252
AT ITER 2146 NEW BEST:: SOT 62682 SOS 14233 HAS SOPS 14233 HAS SOUS 12965 HAS SOUPS 12965 WITH SCORE 12979.233
AT ITER 2170 NEW BEST:: SOT 62680 SOS 14264 HAS SOPS 14264 HAS SOUS 12961 HAS SOUPS 12961 WITH SCORE 12975.264
AT ITER 2193 NEW BEST:: SOT 62680 SOS 14236 HAS SOPS 14236 HAS SOUS 12953 HAS SOUPS 12953 WITH SCORE 12967.236
AT ITER 2200 NEW BEST:: SOT 62680 SOS 14234 HAS SOPS 14234 HAS SOUS 12951 HAS SOUPS 12951 WITH SCORE 12965.234
AT ITER 2216 NEW BEST:: SOT 62673 SOS 14194 HAS SOPS 14194 HAS SOUS 12918 HAS SOUPS 12918 WITH SCORE 12932.194
AT ITER 2219 NEW BEST:: SOT 62673 SOS 14194 HAS SOPS 14194 HAS SOUS 12917 HAS SOUPS 12917 WITH SCORE 12931.194
AT ITER 2226 NEW BEST:: SOT 62672 SOS 14158 HAS SOPS 14158 HAS SOUS 12881 HAS SOUPS 12881 WITH SCORE 12895.158
AT ITER 2249 NEW BEST:: SOT 62672 SOS 14106 HAS SOPS 14106 HAS SOUS 12843 HAS SOUPS 12843 WITH SCORE 12857.106
AT ITER 2253 NEW BEST:: SOT 62688 SOS 14077 HAS SOPS 14077 HAS SOUS 12828 HAS SOUPS 12828 WITH SCORE 12842.077
AT ITER 2284 NEW BEST:: SOT 62700 SOS 14076 HAS SOPS 14076 HAS SOUS 12827 HAS SOUPS 12827 WITH SCORE 12841.076
AT ITER 2285 NEW BEST:: SOT 62685 SOS 14046 HAS SOPS 14046 HAS SOUS 12797 HAS SOUPS 12797 WITH SCORE 12811.046
AT ITER 2300 NEW BEST:: SOT 62683 SOS 14044 HAS SOPS 14044 HAS SOUS 12797 HAS SOUPS 12797 WITH SCORE 12811.044
AT ITER 2302 NEW BEST:: SOT 62683 SOS 14037 HAS SOPS 14037 HAS SOUS 12790 HAS SOUPS 12790 WITH SCORE 12804.037
AT ITER 2303 NEW BEST:: SOT 62674 SOS 14019 HAS SOPS 14019 HAS SOUS 12781 HAS SOUPS 12781 WITH SCORE 12795.019
AT ITER 2311 NEW BEST:: SOT 62669 SOS 14021 HAS SOPS 14021 HAS SOUS 12776 HAS SOUPS 12776 WITH SCORE 12790.021
AT ITER 2315 NEW BEST:: SOT 62661 SOS 13997 HAS SOPS 13997 HAS SOUS 12752 HAS SOUPS 12752 WITH SCORE 12765.997
AT ITER 2323 NEW BEST:: SOT 62657 SOS 14024 HAS SOPS 14024 HAS SOUS 12750 HAS SOUPS 12750 WITH SCORE 12764.024
AT ITER 2360 NEW BEST:: SOT 62637 SOS 13874 HAS SOPS 13874 HAS SOUS 12700 HAS SOUPS 12700 WITH SCORE 12713.874
AT ITER 2401 NEW BEST:: SOT 62619 SOS 13863 HAS SOPS 13863 HAS SOUS 12645 HAS SOUPS 12645 WITH SCORE 12658.863
AT ITER 2430 NEW BEST:: SOT 62616 SOS 13857 HAS SOPS 13857 HAS SOUS 12645 HAS SOUPS 12645 WITH SCORE 12658.857
AT ITER 2440 NEW BEST:: SOT 62582 SOS 13831 HAS SOPS 13831 HAS SOUS 12622 HAS SOUPS 12622 WITH SCORE 12635.831
AT ITER 2450 NEW BEST:: SOT 62597 SOS 13816 HAS SOPS 13816 HAS SOUS 12622 HAS SOUPS 12622 WITH SCORE 12635.816
AT ITER 2469 NEW BEST:: SOT 62594 SOS 13799 HAS SOPS 13799 HAS SOUS 12605 HAS SOUPS 12605 WITH SCORE 12618.799
AT ITER 2484 NEW BEST:: SOT 62593 SOS 13797 HAS SOPS 13797 HAS SOUS 12604 HAS SOUPS 12604 WITH SCORE 12617.797
AT ITER 2536 NEW BEST:: SOT 62589 SOS 13797 HAS SOPS 13797 HAS SOUS 12600 HAS SOUPS 12600 WITH SCORE 12613.797
AT ITER 2540 NEW BEST:: SOT 62586 SOS 13780 HAS SOPS 13780 HAS SOUS 12594 HAS SOUPS 12594 WITH SCORE 12607.78
AT ITER 2581 NEW BEST:: SOT 62548 SOS 13608 HAS SOPS 13608 HAS SOUS 12460 HAS SOUPS 12460 WITH SCORE 12473.608
AT ITER 2593 NEW BEST:: SOT 62548 SOS 13602 HAS SOPS 13602 HAS SOUS 12454 HAS SOUPS 12454 WITH SCORE 12467.602
AT ITER 2636 NEW BEST:: SOT 62556 SOS 13565 HAS SOPS 13565 HAS SOUS 12417 HAS SOUPS 12417 WITH SCORE 12430.565
AT ITER 2637 NEW BEST:: SOT 62558 SOS 13545 HAS SOPS 13545 HAS SOUS 12409 HAS SOUPS 12409 WITH SCORE 12422.545
AT ITER 2679 NEW BEST:: SOT 62558 SOS 13542 HAS SOPS 13542 HAS SOUS 12406 HAS SOUPS 12406 WITH SCORE 12419.542
AT ITER 2700 NEW BEST:: SOT 62555 SOS 13544 HAS SOPS 13544 HAS SOUS 12404 HAS SOUPS 12404 WITH SCORE 12417.544
AT ITER 2718 NEW BEST:: SOT 62553 SOS 13538 HAS SOPS 13538 HAS SOUS 12402 HAS SOUPS 12402 WITH SCORE 12415.538
AT ITER 2735 NEW BEST:: SOT 62543 SOS 13505 HAS SOPS 13505 HAS SOUS 12366 HAS SOUPS 12366 WITH SCORE 12379.505
AT ITER 2762 NEW BEST:: SOT 62533 SOS 13519 HAS SOPS 13519 HAS SOUS 12346 HAS SOUPS 12346 WITH SCORE 12359.519
AT ITER 2801 NEW BEST:: SOT 62535 SOS 13515 HAS SOPS 13515 HAS SOUS 12342 HAS SOUPS 12342 WITH SCORE 12355.515
AT ITER 2816 NEW BEST:: SOT 62535 SOS 13501 HAS SOPS 13501 HAS SOUS 12342 HAS SOUPS 12342 WITH SCORE 12355.501
AT ITER 2857 NEW BEST:: SOT 62519 SOS 13477 HAS SOPS 13477 HAS SOUS 12310 HAS SOUPS 12310 WITH SCORE 12323.477
AT ITER 2902 NEW BEST:: SOT 62512 SOS 13473 HAS SOPS 13473 HAS SOUS 12306 HAS SOUPS 12306 WITH SCORE 12319.473
AT ITER 2909 NEW BEST:: SOT 62512 SOS 13460 HAS SOPS 13460 HAS SOUS 12293 HAS SOUPS 12293 WITH SCORE 12306.46
AT ITER 2918 NEW BEST:: SOT 62510 SOS 13454 HAS SOPS 13454 HAS SOUS 12287 HAS SOUPS 12287 WITH SCORE 12300.454
AT ITER 2933 NEW BEST:: SOT 62498 SOS 13439 HAS SOPS 13439 HAS SOUS 12272 HAS SOUPS 12272 WITH SCORE 12285.439
AT ITER 2940 NEW BEST:: SOT 62521 SOS 13393 HAS SOPS 13393 HAS SOUS 12250 HAS SOUPS 12250 WITH SCORE 12263.393
AT ITER 2941 NEW BEST:: SOT 62510 SOS 13371 HAS SOPS 13371 HAS SOUS 12245 HAS SOUPS 12245 WITH SCORE 12258.371
AT ITER 2948 NEW BEST:: SOT 62536 SOS 13354 HAS SOPS 13354 HAS SOUS 12228 HAS SOUPS 12228 WITH SCORE 12241.354
AT ITER 2949 NEW BEST:: SOT 62536 SOS 13354 HAS SOPS 13354 HAS SOUS 12223 HAS SOUPS 12223 WITH SCORE 12236.354
AT ITER 2961 NEW BEST:: SOT 62536 SOS 13354 HAS SOPS 13354 HAS SOUS 12219 HAS SOUPS 12219 WITH SCORE 12232.354
AT ITER 2967 NEW BEST:: SOT 62527 SOS 13327 HAS SOPS 13327 HAS SOUS 12210 HAS SOUPS 12210 WITH SCORE 12223.327
AT ITER 2969 NEW BEST:: SOT 62521 SOS 13321 HAS SOPS 13321 HAS SOUS 12207 HAS SOUPS 12207 WITH SCORE 12220.321
AT ITER 3021 NEW BEST:: SOT 62521 SOS 13319 HAS SOPS 13319 HAS SOUS 12205 HAS SOUPS 12205 WITH SCORE 12218.319
AT ITER 3061 NEW BEST:: SOT 62506 SOS 13311 HAS SOPS 13311 HAS SOUS 12197 HAS SOUPS 12197 WITH SCORE 12210.311
AT ITER 3073 NEW BEST:: SOT 62461 SOS 13316 HAS SOPS 13316 HAS SOUS 12167 HAS SOUPS 12167 WITH SCORE 12180.316
AT ITER 3108 NEW BEST:: SOT 62461 SOS 13274 HAS SOPS 13274 HAS SOUS 12167 HAS SOUPS 12167 WITH SCORE 12180.274
AT ITER 3112 NEW BEST:: SOT 62460 SOS 13273 HAS SOPS 13273 HAS SOUS 12166 HAS SOUPS 12166 WITH SCORE 12179.273
AT ITER 3114 NEW BEST:: SOT 62433 SOS 13257 HAS SOPS 13257 HAS SOUS 12139 HAS SOUPS 12139 WITH SCORE 12152.257
AT ITER 3121 NEW BEST:: SOT 62418 SOS 13216 HAS SOPS 13216 HAS SOUS 12098 HAS SOUPS 12098 WITH SCORE 12111.216
AT ITER 3137 NEW BEST:: SOT 62402 SOS 13177 HAS SOPS 13177 HAS SOUS 12084 HAS SOUPS 12084 WITH SCORE 12097.177
AT ITER 3171 NEW BEST:: SOT 62386 SOS 13145 HAS SOPS 13145 HAS SOUS 12052 HAS SOUPS 12052 WITH SCORE 12065.145
AT ITER 3200 NEW BEST:: SOT 62386 SOS 13145 HAS SOPS 13145 HAS SOUS 12034 HAS SOUPS 12034 WITH SCORE 12047.145
AT ITER 3208 NEW BEST:: SOT 62388 SOS 13139 HAS SOPS 13139 HAS SOUS 12032 HAS SOUPS 12032 WITH SCORE 12045.139
AT ITER 3255 NEW BEST:: SOT 62382 SOS 13127 HAS SOPS 13127 HAS SOUS 12020 HAS SOUPS 12020 WITH SCORE 12033.127
AT ITER 3256 NEW BEST:: SOT 62382 SOS 13118 HAS SOPS 13118 HAS SOUS 12020 HAS SOUPS 12020 WITH SCORE 12033.118
AT ITER 3261 NEW BEST:: SOT 62379 SOS 13112 HAS SOPS 13112 HAS SOUS 12014 HAS SOUPS 12014 WITH SCORE 12027.112
AT ITER 3263 NEW BEST:: SOT 62377 SOS 13110 HAS SOPS 13110 HAS SOUS 12012 HAS SOUPS 12012 WITH SCORE 12025.11
AT ITER 3275 NEW BEST:: SOT 62377 SOS 13109 HAS SOPS 13109 HAS SOUS 12012 HAS SOUPS 12012 WITH SCORE 12025.109
AT ITER 3304 NEW BEST:: SOT 62361 SOS 13093 HAS SOPS 13093 HAS SOUS 11996 HAS SOUPS 11996 WITH SCORE 12009.093
AT ITER 3311 NEW BEST:: SOT 62360 SOS 13091 HAS SOPS 13091 HAS SOUS 11995 HAS SOUPS 11995 WITH SCORE 12008.091
AT ITER 3317 NEW BEST:: SOT 62364 SOS 13086 HAS SOPS 13086 HAS SOUS 11988 HAS SOUPS 11988 WITH SCORE 12001.086
AT ITER 3322 NEW BEST:: SOT 62377 SOS 13096 HAS SOPS 13096 HAS SOUS 11985 HAS SOUPS 11985 WITH SCORE 11998.096
AT ITER 3326 NEW BEST:: SOT 62389 SOS 13100 HAS SOPS 13100 HAS SOUS 11966 HAS SOUPS 11966 WITH SCORE 11979.1
AT ITER 3330 NEW BEST:: SOT 62369 SOS 13060 HAS SOPS 13060 HAS SOUS 11946 HAS SOUPS 11946 WITH SCORE 11959.06
AT ITER 3396 NEW BEST:: SOT 62365 SOS 13056 HAS SOPS 13056 HAS SOUS 11942 HAS SOUPS 11942 WITH SCORE 11955.056
AT ITER 3441 NEW BEST:: SOT 62365 SOS 13056 HAS SOPS 13056 HAS SOUS 11937 HAS SOUPS 11937 WITH SCORE 11950.056
AT ITER 3444 NEW BEST:: SOT 62374 SOS 13065 HAS SOPS 13065 HAS SOUS 11928 HAS SOUPS 11928 WITH SCORE 11941.065
AT ITER 3445 NEW BEST:: SOT 62384 SOS 13057 HAS SOPS 13057 HAS SOUS 11904 HAS SOUPS 11904 WITH SCORE 11917.057
AT ITER 3452 NEW BEST:: SOT 62381 SOS 13031 HAS SOPS 13031 HAS SOUS 11898 HAS SOUPS 11898 WITH SCORE 11911.031
AT ITER 3471 NEW BEST:: SOT 62379 SOS 13005 HAS SOPS 13005 HAS SOUS 11872 HAS SOUPS 11872 WITH SCORE 11885.005
AT ITER 3506 NEW BEST:: SOT 62377 SOS 13003 HAS SOPS 13003 HAS SOUS 11870 HAS SOUPS 11870 WITH SCORE 11883.003
AT ITER 3509 NEW BEST:: SOT 62377 SOS 12933 HAS SOPS 12933 HAS SOUS 11835 HAS SOUPS 11835 WITH SCORE 11847.933
AT ITER 3510 NEW BEST:: SOT 62375 SOS 12931 HAS SOPS 12931 HAS SOUS 11835 HAS SOUPS 11835 WITH SCORE 11847.931
AT ITER 3552 NEW BEST:: SOT 62375 SOS 12916 HAS SOPS 12916 HAS SOUS 11812 HAS SOUPS 11812 WITH SCORE 11824.916
AT ITER 3583 NEW BEST:: SOT 62360 SOS 12901 HAS SOPS 12901 HAS SOUS 11797 HAS SOUPS 11797 WITH SCORE 11809.901
AT ITER 3677 NEW BEST:: SOT 62360 SOS 12904 HAS SOPS 12904 HAS SOUS 11785 HAS SOUPS 11785 WITH SCORE 11797.904
AT ITER 3697 NEW BEST:: SOT 62356 SOS 12896 HAS SOPS 12896 HAS SOUS 11781 HAS SOUPS 11781 WITH SCORE 11793.896
AT ITER 3746 NEW BEST:: SOT 62352 SOS 12796 HAS SOPS 12796 HAS SOUS 11724 HAS SOUPS 11724 WITH SCORE 11736.796
AT ITER 3766 NEW BEST:: SOT 62352 SOS 12791 HAS SOPS 12791 HAS SOUS 11723 HAS SOUPS 11723 WITH SCORE 11735.791
AT ITER 3784 NEW BEST:: SOT 62363 SOS 12795 HAS SOPS 12795 HAS SOUS 11716 HAS SOUPS 11716 WITH SCORE 11728.795
AT ITER 3816 NEW BEST:: SOT 62350 SOS 12789 HAS SOPS 12789 HAS SOUS 11708 HAS SOUPS 11708 WITH SCORE 11720.789
AT ITER 3854 NEW BEST:: SOT 62350 SOS 12783 HAS SOPS 12783 HAS SOUS 11708 HAS SOUPS 11708 WITH SCORE 11720.783
AT ITER 3856 NEW BEST:: SOT 62338 SOS 12747 HAS SOPS 12747 HAS SOUS 11684 HAS SOUPS 11684 WITH SCORE 11696.747
AT ITER 3887 NEW BEST:: SOT 62338 SOS 12747 HAS SOPS 12747 HAS SOUS 11679 HAS SOUPS 11679 WITH SCORE 11691.747
AT ITER 3897 NEW BEST:: SOT 62337 SOS 12735 HAS SOPS 12735 HAS SOUS 11667 HAS SOUPS 11667 WITH SCORE 11679.735
AT ITER 3915 NEW BEST:: SOT 62326 SOS 12724 HAS SOPS 12724 HAS SOUS 11656 HAS SOUPS 11656 WITH SCORE 11668.724
AT ITER 3917 NEW BEST:: SOT 62327 SOS 12720 HAS SOPS 12720 HAS SOUS 11652 HAS SOUPS 11652 WITH SCORE 11664.72
AT ITER 3944 NEW BEST:: SOT 62325 SOS 12717 HAS SOPS 12717 HAS SOUS 11645 HAS SOUPS 11645 WITH SCORE 11657.717
AT ITER 3970 NEW BEST:: SOT 62284 SOS 12655 HAS SOPS 12655 HAS SOUS 11604 HAS SOUPS 11604 WITH SCORE 11616.655
AT ITER 4010 NEW BEST:: SOT 62278 SOS 12655 HAS SOPS 12655 HAS SOUS 11598 HAS SOUPS 11598 WITH SCORE 11610.655
AT ITER 4012 NEW BEST:: SOT 62278 SOS 12652 HAS SOPS 12652 HAS SOUS 11595 HAS SOUPS 11595 WITH SCORE 11607.652
AT ITER 4049 NEW BEST:: SOT 62256 SOS 12586 HAS SOPS 12586 HAS SOUS 11573 HAS SOUPS 11573 WITH SCORE 11585.586
AT ITER 4056 NEW BEST:: SOT 62256 SOS 12569 HAS SOPS 12569 HAS SOUS 11573 HAS SOUPS 11573 WITH SCORE 11585.569
AT ITER 4058 NEW BEST:: SOT 62263 SOS 12605 HAS SOPS 12605 HAS SOUS 11563 HAS SOUPS 11563 WITH SCORE 11575.605
AT ITER 4093 NEW BEST:: SOT 62263 SOS 12605 HAS SOPS 12605 HAS SOUS 11554 HAS SOUPS 11554 WITH SCORE 11566.605
AT ITER 4098 NEW BEST:: SOT 62261 SOS 12599 HAS SOPS 12599 HAS SOUS 11550 HAS SOUPS 11550 WITH SCORE 11562.599
AT ITER 4114 NEW BEST:: SOT 62267 SOS 12605 HAS SOPS 12605 HAS SOUS 11541 HAS SOUPS 11541 WITH SCORE 11553.605
AT ITER 4115 NEW BEST:: SOT 62267 SOS 12586 HAS SOPS 12586 HAS SOUS 11529 HAS SOUPS 11529 WITH SCORE 11541.586
AT ITER 4119 NEW BEST:: SOT 62267 SOS 12576 HAS SOPS 12576 HAS SOUS 11529 HAS SOUPS 11529 WITH SCORE 11541.576
AT ITER 4125 NEW BEST:: SOT 62265 SOS 12575 HAS SOPS 12575 HAS SOUS 11522 HAS SOUPS 11522 WITH SCORE 11534.575
AT ITER 4128 NEW BEST:: SOT 62229 SOS 12539 HAS SOPS 12539 HAS SOUS 11450 HAS SOUPS 11450 WITH SCORE 11462.539
AT ITER 4154 NEW BEST:: SOT 62230 SOS 12528 HAS SOPS 12528 HAS SOUS 11445 HAS SOUPS 11445 WITH SCORE 11457.528
AT ITER 4171 NEW BEST:: SOT 62227 SOS 12531 HAS SOPS 12531 HAS SOUS 11443 HAS SOUPS 11443 WITH SCORE 11455.531
AT ITER 4270 NEW BEST:: SOT 62227 SOS 12525 HAS SOPS 12525 HAS SOUS 11437 HAS SOUPS 11437 WITH SCORE 11449.525
AT ITER 4292 NEW BEST:: SOT 62217 SOS 12505 HAS SOPS 12505 HAS SOUS 11417 HAS SOUPS 11417 WITH SCORE 11429.505
AT ITER 4367 NEW BEST:: SOT 62238 SOS 12515 HAS SOPS 12515 HAS SOUS 11402 HAS SOUPS 11402 WITH SCORE 11414.515
AT ITER 4395 NEW BEST:: SOT 62238 SOS 12501 HAS SOPS 12501 HAS SOUS 11388 HAS SOUPS 11388 WITH SCORE 11400.501
AT ITER 4424 NEW BEST:: SOT 62207 SOS 12470 HAS SOPS 12470 HAS SOUS 11357 HAS SOUPS 11357 WITH SCORE 11369.47
AT ITER 4451 NEW BEST:: SOT 62198 SOS 12392 HAS SOPS 12392 HAS SOUS 11309 HAS SOUPS 11309 WITH SCORE 11321.392
AT ITER 4453 NEW BEST:: SOT 62197 SOS 12390 HAS SOPS 12390 HAS SOUS 11305 HAS SOUPS 11305 WITH SCORE 11317.39
AT ITER 4478 NEW BEST:: SOT 62213 SOS 12359 HAS SOPS 12359 HAS SOUS 11293 HAS SOUPS 11293 WITH SCORE 11305.359
AT ITER 4479 NEW BEST:: SOT 62204 SOS 12352 HAS SOPS 12352 HAS SOUS 11291 HAS SOUPS 11291 WITH SCORE 11303.352
AT ITER 4498 NEW BEST:: SOT 62199 SOS 12347 HAS SOPS 12347 HAS SOUS 11286 HAS SOUPS 11286 WITH SCORE 11298.347
AT ITER 4508 NEW BEST:: SOT 62197 SOS 12305 HAS SOPS 12305 HAS SOUS 11278 HAS SOUPS 11278 WITH SCORE 11290.305
AT ITER 4516 NEW BEST:: SOT 62189 SOS 12289 HAS SOPS 12289 HAS SOUS 11278 HAS SOUPS 11278 WITH SCORE 11290.289
AT ITER 4526 NEW BEST:: SOT 62189 SOS 12287 HAS SOPS 12287 HAS SOUS 11278 HAS SOUPS 11278 WITH SCORE 11290.287
AT ITER 4535 NEW BEST:: SOT 62171 SOS 12251 HAS SOPS 12251 HAS SOUS 11242 HAS SOUPS 11242 WITH SCORE 11254.251
AT ITER 4565 NEW BEST:: SOT 62171 SOS 12245 HAS SOPS 12245 HAS SOUS 11236 HAS SOUPS 11236 WITH SCORE 11248.245
AT ITER 4584 NEW BEST:: SOT 62168 SOS 12238 HAS SOPS 12238 HAS SOUS 11229 HAS SOUPS 11229 WITH SCORE 11241.238
AT ITER 4617 NEW BEST:: SOT 62154 SOS 12224 HAS SOPS 12224 HAS SOUS 11224 HAS SOUPS 11224 WITH SCORE 11236.224
AT ITER 4629 NEW BEST:: SOT 62142 SOS 12200 HAS SOPS 12200 HAS SOUS 11200 HAS SOUPS 11200 WITH SCORE 11212.2
AT ITER 4669 NEW BEST:: SOT 62142 SOS 12196 HAS SOPS 12196 HAS SOUS 11196 HAS SOUPS 11196 WITH SCORE 11208.196
AT ITER 4691 NEW BEST:: SOT 62142 SOS 12174 HAS SOPS 12174 HAS SOUS 11196 HAS SOUPS 11196 WITH SCORE 11208.174
AT ITER 4708 NEW BEST:: SOT 62126 SOS 12158 HAS SOPS 12158 HAS SOUS 11180 HAS SOUPS 11180 WITH SCORE 11192.158
AT ITER 4713 NEW BEST:: SOT 62138 SOS 12149 HAS SOPS 12149 HAS SOUS 11173 HAS SOUPS 11173 WITH SCORE 11185.149
AT ITER 4743 NEW BEST:: SOT 62131 SOS 12135 HAS SOPS 12135 HAS SOUS 11166 HAS SOUPS 11166 WITH SCORE 11178.135
AT ITER 4846 NEW BEST:: SOT 62128 SOS 12132 HAS SOPS 12132 HAS SOUS 11163 HAS SOUPS 11163 WITH SCORE 11175.132
AT ITER 4852 NEW BEST:: SOT 62128 SOS 12124 HAS SOPS 12124 HAS SOUS 11163 HAS SOUPS 11163 WITH SCORE 11175.124
AT ITER 4862 NEW BEST:: SOT 62128 SOS 12104 HAS SOPS 12104 HAS SOUS 11153 HAS SOUPS 11153 WITH SCORE 11165.104
AT ITER 4877 NEW BEST:: SOT 62128 SOS 12087 HAS SOPS 12087 HAS SOUS 11136 HAS SOUPS 11136 WITH SCORE 11148.087
AT ITER 4888 NEW BEST:: SOT 62127 SOS 12081 HAS SOPS 12081 HAS SOUS 11130 HAS SOUPS 11130 WITH SCORE 11142.081
AT ITER 4969 NEW BEST:: SOT 62127 SOS 12080 HAS SOPS 12080 HAS SOUS 11129 HAS SOUPS 11129 WITH SCORE 11141.08
AT ITER 4970 NEW BEST:: SOT 62128 SOS 12053 HAS SOPS 12053 HAS SOUS 11115 HAS SOUPS 11115 WITH SCORE 11127.053
AT ITER 5009 NEW BEST:: SOT 62142 SOS 12052 HAS SOPS 12052 HAS SOUS 11114 HAS SOUPS 11114 WITH SCORE 11126.052
AT ITER 5031 NEW BEST:: SOT 62141 SOS 12050 HAS SOPS 12050 HAS SOUS 11113 HAS SOUPS 11113 WITH SCORE 11125.05
AT ITER 5037 NEW BEST:: SOT 62141 SOS 12031 HAS SOPS 12031 HAS SOUS 11105 HAS SOUPS 11105 WITH SCORE 11117.031
AT ITER 5040 NEW BEST:: SOT 62125 SOS 12027 HAS SOPS 12027 HAS SOUS 11083 HAS SOUPS 11083 WITH SCORE 11095.027
AT ITER 5060 NEW BEST:: SOT 62119 SOS 11954 HAS SOPS 11954 HAS SOUS 11036 HAS SOUPS 11036 WITH SCORE 11047.954
AT ITER 5078 NEW BEST:: SOT 62120 SOS 11951 HAS SOPS 11951 HAS SOUS 11033 HAS SOUPS 11033 WITH SCORE 11044.951
AT ITER 5083 NEW BEST:: SOT 62125 SOS 11956 HAS SOPS 11956 HAS SOUS 11032 HAS SOUPS 11032 WITH SCORE 11043.956
AT ITER 5141 NEW BEST:: SOT 62122 SOS 11933 HAS SOPS 11933 HAS SOUS 11032 HAS SOUPS 11032 WITH SCORE 11043.933
AT ITER 5156 NEW BEST:: SOT 62123 SOS 11915 HAS SOPS 11915 HAS SOUS 11014 HAS SOUPS 11014 WITH SCORE 11025.915
AT ITER 5196 NEW BEST:: SOT 62123 SOS 11912 HAS SOPS 11912 HAS SOUS 11011 HAS SOUPS 11011 WITH SCORE 11022.912
AT ITER 5216 NEW BEST:: SOT 62115 SOS 11855 HAS SOPS 11855 HAS SOUS 10954 HAS SOUPS 10954 WITH SCORE 10965.855
AT ITER 5221 NEW BEST:: SOT 62115 SOS 11854 HAS SOPS 11854 HAS SOUS 10953 HAS SOUPS 10953 WITH SCORE 10964.854
AT ITER 5264 NEW BEST:: SOT 62115 SOS 11851 HAS SOPS 11851 HAS SOUS 10950 HAS SOUPS 10950 WITH SCORE 10961.851
AT ITER 5275 NEW BEST:: SOT 62182 SOS 11838 HAS SOPS 11838 HAS SOUS 10943 HAS SOUPS 10943 WITH SCORE 10954.838
AT ITER 5308 NEW BEST:: SOT 62175 SOS 11831 HAS SOPS 11831 HAS SOUS 10936 HAS SOUPS 10936 WITH SCORE 10947.831
AT ITER 5324 NEW BEST:: SOT 62142 SOS 11784 HAS SOPS 11784 HAS SOUS 10884 HAS SOUPS 10884 WITH SCORE 10895.784
AT ITER 5345 NEW BEST:: SOT 62135 SOS 11770 HAS SOPS 11770 HAS SOUS 10877 HAS SOUPS 10877 WITH SCORE 10888.77
AT ITER 5353 NEW BEST:: SOT 62095 SOS 11730 HAS SOPS 11730 HAS SOUS 10877 HAS SOUPS 10877 WITH SCORE 10888.73
AT ITER 5390 NEW BEST:: SOT 62083 SOS 11692 HAS SOPS 11692 HAS SOUS 10877 HAS SOUPS 10877 WITH SCORE 10888.692
AT ITER 5395 NEW BEST:: SOT 62083 SOS 11691 HAS SOPS 11691 HAS SOUS 10876 HAS SOUPS 10876 WITH SCORE 10887.691
AT ITER 5398 NEW BEST:: SOT 62082 SOS 11690 HAS SOPS 11690 HAS SOUS 10875 HAS SOUPS 10875 WITH SCORE 10886.69
AT ITER 5405 NEW BEST:: SOT 62121 SOS 11687 HAS SOPS 11687 HAS SOUS 10872 HAS SOUPS 10872 WITH SCORE 10883.687
AT ITER 5447 NEW BEST:: SOT 62120 SOS 11683 HAS SOPS 11683 HAS SOUS 10866 HAS SOUPS 10866 WITH SCORE 10877.683
AT ITER 5499 NEW BEST:: SOT 62106 SOS 11648 HAS SOPS 11648 HAS SOUS 10814 HAS SOUPS 10814 WITH SCORE 10825.648
AT ITER 5512 NEW BEST:: SOT 62102 SOS 11650 HAS SOPS 11650 HAS SOUS 10812 HAS SOUPS 10812 WITH SCORE 10823.65
AT ITER 5536 NEW BEST:: SOT 62104 SOS 11652 HAS SOPS 11652 HAS SOUS 10810 HAS SOUPS 10810 WITH SCORE 10821.652
AT ITER 5555 NEW BEST:: SOT 62101 SOS 11647 HAS SOPS 11647 HAS SOUS 10809 HAS SOUPS 10809 WITH SCORE 10820.647
AT ITER 5556 NEW BEST:: SOT 62089 SOS 11623 HAS SOPS 11623 HAS SOUS 10766 HAS SOUPS 10766 WITH SCORE 10777.623
AT ITER 5683 NEW BEST:: SOT 62108 SOS 11615 HAS SOPS 11615 HAS SOUS 10758 HAS SOUPS 10758 WITH SCORE 10769.615
AT ITER 5687 NEW BEST:: SOT 62118 SOS 11592 HAS SOPS 11592 HAS SOUS 10753 HAS SOUPS 10753 WITH SCORE 10764.592
AT ITER 5719 NEW BEST:: SOT 62117 SOS 11583 HAS SOPS 11583 HAS SOUS 10746 HAS SOUPS 10746 WITH SCORE 10757.583
AT ITER 5750 NEW BEST:: SOT 62117 SOS 11576 HAS SOPS 11576 HAS SOUS 10739 HAS SOUPS 10739 WITH SCORE 10750.576
AT ITER 5928 NEW BEST:: SOT 62128 SOS 11587 HAS SOPS 11587 HAS SOUS 10707 HAS SOUPS 10707 WITH SCORE 10718.587
AT ITER 6069 NEW BEST:: SOT 62123 SOS 11589 HAS SOPS 11589 HAS SOUS 10706 HAS SOUPS 10706 WITH SCORE 10717.589
AT ITER 6096 NEW BEST:: SOT 62106 SOS 11572 HAS SOPS 11572 HAS SOUS 10689 HAS SOUPS 10689 WITH SCORE 10700.572
AT ITER 6099 NEW BEST:: SOT 62097 SOS 11568 HAS SOPS 11568 HAS SOUS 10685 HAS SOUPS 10685 WITH SCORE 10696.568
AT ITER 6145 NEW BEST:: SOT 62083 SOS 11547 HAS SOPS 11547 HAS SOUS 10671 HAS SOUPS 10671 WITH SCORE 10682.547
AT ITER 6155 NEW BEST:: SOT 62069 SOS 11547 HAS SOPS 11547 HAS SOUS 10657 HAS SOUPS 10657 WITH SCORE 10668.547
AT ITER 6205 NEW BEST:: SOT 62069 SOS 11557 HAS SOPS 11557 HAS SOUS 10638 HAS SOUPS 10638 WITH SCORE 10649.557
AT ITER 6259 NEW BEST:: SOT 62069 SOS 11557 HAS SOPS 11557 HAS SOUS 10634 HAS SOUPS 10634 WITH SCORE 10645.557
AT ITER 6277 NEW BEST:: SOT 62069 SOS 11541 HAS SOPS 11541 HAS SOUS 10626 HAS SOUPS 10626 WITH SCORE 10637.541
AT ITER 6292 NEW BEST:: SOT 62069 SOS 11539 HAS SOPS 11539 HAS SOUS 10624 HAS SOUPS 10624 WITH SCORE 10635.539
AT ITER 6351 NEW BEST:: SOT 62065 SOS 11534 HAS SOPS 11534 HAS SOUS 10619 HAS SOUPS 10619 WITH SCORE 10630.534
AT ITER 6362 NEW BEST:: SOT 62062 SOS 11504 HAS SOPS 11504 HAS SOUS 10613 HAS SOUPS 10613 WITH SCORE 10624.504
AT ITER 6395 NEW BEST:: SOT 62062 SOS 11500 HAS SOPS 11500 HAS SOUS 10613 HAS SOUPS 10613 WITH SCORE 10624.5
AT ITER 6454 NEW BEST:: SOT 62060 SOS 11498 HAS SOPS 11498 HAS SOUS 10611 HAS SOUPS 10611 WITH SCORE 10622.498
AT ITER 6471 NEW BEST:: SOT 62055 SOS 11493 HAS SOPS 11493 HAS SOUS 10606 HAS SOUPS 10606 WITH SCORE 10617.493
AT ITER 6514 NEW BEST:: SOT 62064 SOS 11528 HAS SOPS 11528 HAS SOUS 10603 HAS SOUPS 10603 WITH SCORE 10614.528
AT ITER 6577 NEW BEST:: SOT 62057 SOS 11494 HAS SOPS 11494 HAS SOUS 10589 HAS SOUPS 10589 WITH SCORE 10600.494
AT ITER 6579 NEW BEST:: SOT 62047 SOS 11479 HAS SOPS 11479 HAS SOUS 10579 HAS SOUPS 10579 WITH SCORE 10590.479
AT ITER 6587 NEW BEST:: SOT 62039 SOS 11457 HAS SOPS 11457 HAS SOUS 10557 HAS SOUPS 10557 WITH SCORE 10568.457
AT ITER 6611 NEW BEST:: SOT 62026 SOS 11435 HAS SOPS 11435 HAS SOUS 10535 HAS SOUPS 10535 WITH SCORE 10546.435
AT ITER 6627 NEW BEST:: SOT 62024 SOS 11420 HAS SOPS 11420 HAS SOUS 10532 HAS SOUPS 10532 WITH SCORE 10543.42
AT ITER 6629 NEW BEST:: SOT 62000 SOS 11329 HAS SOPS 11329 HAS SOUS 10486 HAS SOUPS 10486 WITH SCORE 10497.329
AT ITER 6659 NEW BEST:: SOT 62006 SOS 11326 HAS SOPS 11326 HAS SOUS 10484 HAS SOUPS 10484 WITH SCORE 10495.326
AT ITER 6673 NEW BEST:: SOT 62004 SOS 11324 HAS SOPS 11324 HAS SOUS 10482 HAS SOUPS 10482 WITH SCORE 10493.324
AT ITER 6724 NEW BEST:: SOT 61990 SOS 11377 HAS SOPS 11377 HAS SOUS 10474 HAS SOUPS 10474 WITH SCORE 10485.377
AT ITER 6763 NEW BEST:: SOT 61985 SOS 11369 HAS SOPS 11369 HAS SOUS 10471 HAS SOUPS 10471 WITH SCORE 10482.369
AT ITER 6854 NEW BEST:: SOT 61971 SOS 11341 HAS SOPS 11341 HAS SOUS 10440 HAS SOUPS 10440 WITH SCORE 10451.341
AT ITER 6927 NEW BEST:: SOT 61971 SOS 11334 HAS SOPS 11334 HAS SOUS 10433 HAS SOUPS 10433 WITH SCORE 10444.334
AT ITER 6928 NEW BEST:: SOT 61978 SOS 11323 HAS SOPS 11323 HAS SOUS 10426 HAS SOUPS 10426 WITH SCORE 10437.323
AT ITER 6946 NEW BEST:: SOT 61975 SOS 11317 HAS SOPS 11317 HAS SOUS 10423 HAS SOUPS 10423 WITH SCORE 10434.317
AT ITER 6962 NEW BEST:: SOT 61959 SOS 11325 HAS SOPS 11325 HAS SOUS 10419 HAS SOUPS 10419 WITH SCORE 10430.325
AT ITER 6971 NEW BEST:: SOT 61975 SOS 11314 HAS SOPS 11314 HAS SOUS 10419 HAS SOUPS 10419 WITH SCORE 10430.314
AT ITER 6978 NEW BEST:: SOT 61975 SOS 11312 HAS SOPS 11312 HAS SOUS 10419 HAS SOUPS 10419 WITH SCORE 10430.312
AT ITER 7001 NEW BEST:: SOT 61975 SOS 11308 HAS SOPS 11308 HAS SOUS 10417 HAS SOUPS 10417 WITH SCORE 10428.308
AT ITER 7002 NEW BEST:: SOT 61975 SOS 11304 HAS SOPS 11304 HAS SOUS 10417 HAS SOUPS 10417 WITH SCORE 10428.304
AT ITER 7003 NEW BEST:: SOT 61974 SOS 11296 HAS SOPS 11296 HAS SOUS 10409 HAS SOUPS 10409 WITH SCORE 10420.296
AT ITER 7016 NEW BEST:: SOT 61966 SOS 11288 HAS SOPS 11288 HAS SOUS 10401 HAS SOUPS 10401 WITH SCORE 10412.288
AT ITER 7122 NEW BEST:: SOT 61966 SOS 11274 HAS SOPS 11274 HAS SOUS 10394 HAS SOUPS 10394 WITH SCORE 10405.274
AT ITER 7142 NEW BEST:: SOT 61964 SOS 11270 HAS SOPS 11270 HAS SOUS 10385 HAS SOUPS 10385 WITH SCORE 10396.27
AT ITER 7171 NEW BEST:: SOT 61935 SOS 11148 HAS SOPS 11148 HAS SOUS 10344 HAS SOUPS 10344 WITH SCORE 10355.148
AT ITER 7239 NEW BEST:: SOT 61932 SOS 11166 HAS SOPS 11166 HAS SOUS 10338 HAS SOUPS 10338 WITH SCORE 10349.166
AT ITER 7249 NEW BEST:: SOT 61931 SOS 11165 HAS SOPS 11165 HAS SOUS 10338 HAS SOUPS 10338 WITH SCORE 10349.165
AT ITER 7262 NEW BEST:: SOT 61931 SOS 11163 HAS SOPS 11163 HAS SOUS 10336 HAS SOUPS 10336 WITH SCORE 10347.163
AT ITER 7285 NEW BEST:: SOT 61927 SOS 11155 HAS SOPS 11155 HAS SOUS 10332 HAS SOUPS 10332 WITH SCORE 10343.155
AT ITER 7287 NEW BEST:: SOT 61938 SOS 11144 HAS SOPS 11144 HAS SOUS 10304 HAS SOUPS 10304 WITH SCORE 10315.144
AT ITER 7335 NEW BEST:: SOT 61956 SOS 11142 HAS SOPS 11142 HAS SOUS 10302 HAS SOUPS 10302 WITH SCORE 10313.142
AT ITER 7359 NEW BEST:: SOT 61965 SOS 11133 HAS SOPS 11133 HAS SOUS 10302 HAS SOUPS 10302 WITH SCORE 10313.133
AT ITER 7373 NEW BEST:: SOT 61962 SOS 11130 HAS SOPS 11130 HAS SOUS 10299 HAS SOUPS 10299 WITH SCORE 10310.13
AT ITER 7382 NEW BEST:: SOT 61962 SOS 11121 HAS SOPS 11121 HAS SOUS 10290 HAS SOUPS 10290 WITH SCORE 10301.121
AT ITER 7388 NEW BEST:: SOT 61944 SOS 11103 HAS SOPS 11103 HAS SOUS 10272 HAS SOUPS 10272 WITH SCORE 10283.103
AT ITER 7409 NEW BEST:: SOT 61944 SOS 11101 HAS SOPS 11101 HAS SOUS 10270 HAS SOUPS 10270 WITH SCORE 10281.101
AT ITER 7414 NEW BEST:: SOT 61941 SOS 11098 HAS SOPS 11098 HAS SOUS 10267 HAS SOUPS 10267 WITH SCORE 10278.098
AT ITER 7415 NEW BEST:: SOT 61933 SOS 11082 HAS SOPS 11082 HAS SOUS 10262 HAS SOUPS 10262 WITH SCORE 10273.082
AT ITER 7423 NEW BEST:: SOT 61944 SOS 11040 HAS SOPS 11040 HAS SOUS 10225 HAS SOUPS 10225 WITH SCORE 10236.04
AT ITER 7426 NEW BEST:: SOT 61949 SOS 11045 HAS SOPS 11045 HAS SOUS 10217 HAS SOUPS 10217 WITH SCORE 10228.045
AT ITER 7543 NEW BEST:: SOT 61942 SOS 11024 HAS SOPS 11024 HAS SOUS 10210 HAS SOUPS 10210 WITH SCORE 10221.024
AT ITER 7618 NEW BEST:: SOT 61944 SOS 11008 HAS SOPS 11008 HAS SOUS 10203 HAS SOUPS 10203 WITH SCORE 10214.008
AT ITER 7638 NEW BEST:: SOT 61943 SOS 11006 HAS SOPS 11006 HAS SOUS 10201 HAS SOUPS 10201 WITH SCORE 10212.006
AT ITER 7679 NEW BEST:: SOT 61932 SOS 10997 HAS SOPS 10997 HAS SOUS 10192 HAS SOUPS 10192 WITH SCORE 10202.997
AT ITER 7685 NEW BEST:: SOT 61921 SOS 10962 HAS SOPS 10962 HAS SOUS 10181 HAS SOUPS 10181 WITH SCORE 10191.962
AT ITER 7687 NEW BEST:: SOT 61904 SOS 10928 HAS SOPS 10928 HAS SOUS 10178 HAS SOUPS 10178 WITH SCORE 10188.928
AT ITER 7803 NEW BEST:: SOT 61894 SOS 10908 HAS SOPS 10908 HAS SOUS 10168 HAS SOUPS 10168 WITH SCORE 10178.908
AT ITER 7833 NEW BEST:: SOT 61893 SOS 10906 HAS SOPS 10906 HAS SOUS 10166 HAS SOUPS 10166 WITH SCORE 10176.906
AT ITER 7850 NEW BEST:: SOT 61888 SOS 10876 HAS SOPS 10876 HAS SOUS 10136 HAS SOUPS 10136 WITH SCORE 10146.876
AT ITER 7919 NEW BEST:: SOT 61884 SOS 10868 HAS SOPS 10868 HAS SOUS 10132 HAS SOUPS 10132 WITH SCORE 10142.868
AT ITER 7957 NEW BEST:: SOT 61878 SOS 10862 HAS SOPS 10862 HAS SOUS 10126 HAS SOUPS 10126 WITH SCORE 10136.862
AT ITER 8003 NEW BEST:: SOT 61878 SOS 10860 HAS SOPS 10860 HAS SOUS 10126 HAS SOUPS 10126 WITH SCORE 10136.86
AT ITER 8165 NEW BEST:: SOT 61878 SOS 10849 HAS SOPS 10849 HAS SOUS 10115 HAS SOUPS 10115 WITH SCORE 10125.849
AT ITER 8189 NEW BEST:: SOT 61878 SOS 10849 HAS SOPS 10849 HAS SOUS 10114 HAS SOUPS 10114 WITH SCORE 10124.849
AT ITER 8196 NEW BEST:: SOT 61877 SOS 10847 HAS SOPS 10847 HAS SOUS 10112 HAS SOUPS 10112 WITH SCORE 10122.847
AT ITER 8302 NEW BEST:: SOT 61871 SOS 10841 HAS SOPS 10841 HAS SOUS 10106 HAS SOUPS 10106 WITH SCORE 10116.841
AT ITER 8303 NEW BEST:: SOT 61870 SOS 10828 HAS SOPS 10828 HAS SOUS 10093 HAS SOUPS 10093 WITH SCORE 10103.828
AT ITER 8304 NEW BEST:: SOT 61881 SOS 10829 HAS SOPS 10829 HAS SOUS 10089 HAS SOUPS 10089 WITH SCORE 10099.829
AT ITER 8417 NEW BEST:: SOT 61879 SOS 10842 HAS SOPS 10842 HAS SOUS 10087 HAS SOUPS 10087 WITH SCORE 10097.842
AT ITER 8453 NEW BEST:: SOT 61880 SOS 10828 HAS SOPS 10828 HAS SOUS 10073 HAS SOUPS 10073 WITH SCORE 10083.828
AT ITER 8528 NEW BEST:: SOT 61880 SOS 10783 HAS SOPS 10783 HAS SOUS 10063 HAS SOUPS 10063 WITH SCORE 10073.783
AT ITER 8574 NEW BEST:: SOT 61879 SOS 10782 HAS SOPS 10782 HAS SOUS 10062 HAS SOUPS 10062 WITH SCORE 10072.782
AT ITER 8584 NEW BEST:: SOT 61847 SOS 10802 HAS SOPS 10802 HAS SOUS 10030 HAS SOUPS 10030 WITH SCORE 10040.802
AT ITER 8624 NEW BEST:: SOT 61827 SOS 10795 HAS SOPS 10795 HAS SOUS 10021 HAS SOUPS 10021 WITH SCORE 10031.795
AT ITER 8714 NEW BEST:: SOT 61826 SOS 10793 HAS SOPS 10793 HAS SOUS 10019 HAS SOUPS 10019 WITH SCORE 10029.793
AT ITER 8716 NEW BEST:: SOT 61802 SOS 10745 HAS SOPS 10745 HAS SOUS 9995 HAS SOUPS 9995 WITH SCORE 10005.745
AT ITER 8731 NEW BEST:: SOT 61791 SOS 10723 HAS SOPS 10723 HAS SOUS 9987 HAS SOUPS 9987 WITH SCORE 9997.723
AT ITER 8736 NEW BEST:: SOT 61788 SOS 10717 HAS SOPS 10717 HAS SOUS 9981 HAS SOUPS 9981 WITH SCORE 9991.717
AT ITER 8756 NEW BEST:: SOT 61783 SOS 10713 HAS SOPS 10713 HAS SOUS 9977 HAS SOUPS 9977 WITH SCORE 9987.713
AT ITER 8766 NEW BEST:: SOT 61787 SOS 10713 HAS SOPS 10713 HAS SOUS 9975 HAS SOUPS 9975 WITH SCORE 9985.713
AT ITER 8771 NEW BEST:: SOT 61787 SOS 10711 HAS SOPS 10711 HAS SOUS 9973 HAS SOUPS 9973 WITH SCORE 9983.711
AT ITER 8778 NEW BEST:: SOT 61787 SOS 10706 HAS SOPS 10706 HAS SOUS 9973 HAS SOUPS 9973 WITH SCORE 9983.706
AT ITER 8800 NEW BEST:: SOT 61790 SOS 10709 HAS SOPS 10709 HAS SOUS 9972 HAS SOUPS 9972 WITH SCORE 9982.709
AT ITER 8804 NEW BEST:: SOT 61760 SOS 10672 HAS SOPS 10672 HAS SOUS 9947 HAS SOUPS 9947 WITH SCORE 9957.672
AT ITER 8807 NEW BEST:: SOT 61762 SOS 10705 HAS SOPS 10705 HAS SOUS 9943 HAS SOUPS 9943 WITH SCORE 9953.705
AT ITER 8808 NEW BEST:: SOT 61762 SOS 10685 HAS SOPS 10685 HAS SOUS 9943 HAS SOUPS 9943 WITH SCORE 9953.685
AT ITER 8812 NEW BEST:: SOT 61762 SOS 10667 HAS SOPS 10667 HAS SOUS 9943 HAS SOUPS 9943 WITH SCORE 9953.667
AT ITER 8817 NEW BEST:: SOT 61774 SOS 10652 HAS SOPS 10652 HAS SOUS 9928 HAS SOUPS 9928 WITH SCORE 9938.652
AT ITER 9019 NEW BEST:: SOT 61758 SOS 10620 HAS SOPS 10620 HAS SOUS 9901 HAS SOUPS 9901 WITH SCORE 9911.62
AT ITER 9059 NEW BEST:: SOT 61756 SOS 10616 HAS SOPS 10616 HAS SOUS 9897 HAS SOUPS 9897 WITH SCORE 9907.616
AT ITER 9115 NEW BEST:: SOT 61725 SOS 10588 HAS SOPS 10588 HAS SOUS 9875 HAS SOUPS 9875 WITH SCORE 9885.588
AT ITER 9185 NEW BEST:: SOT 61725 SOS 10582 HAS SOPS 10582 HAS SOUS 9869 HAS SOUPS 9869 WITH SCORE 9879.582
AT ITER 9186 NEW BEST:: SOT 61722 SOS 10579 HAS SOPS 10579 HAS SOUS 9866 HAS SOUPS 9866 WITH SCORE 9876.579
AT ITER 9190 NEW BEST:: SOT 61738 SOS 10579 HAS SOPS 10579 HAS SOUS 9863 HAS SOUPS 9863 WITH SCORE 9873.579
AT ITER 9313 NEW BEST:: SOT 61737 SOS 10563 HAS SOPS 10563 HAS SOUS 9850 HAS SOUPS 9850 WITH SCORE 9860.563
AT ITER 9379 NEW BEST:: SOT 61731 SOS 10557 HAS SOPS 10557 HAS SOUS 9844 HAS SOUPS 9844 WITH SCORE 9854.557
AT ITER 9543 NEW BEST:: SOT 61715 SOS 10553 HAS SOPS 10553 HAS SOUS 9840 HAS SOUPS 9840 WITH SCORE 9850.553
AT ITER 9563 NEW BEST:: SOT 61724 SOS 10540 HAS SOPS 10540 HAS SOUS 9827 HAS SOUPS 9827 WITH SCORE 9837.54
AT ITER 9568 NEW BEST:: SOT 61722 SOS 10534 HAS SOPS 10534 HAS SOUS 9825 HAS SOUPS 9825 WITH SCORE 9835.534
AT ITER 9609 NEW BEST:: SOT 61726 SOS 10535 HAS SOPS 10535 HAS SOUS 9824 HAS SOUPS 9824 WITH SCORE 9834.535
AT ITER 9630 NEW BEST:: SOT 61725 SOS 10534 HAS SOPS 10534 HAS SOUS 9823 HAS SOUPS 9823 WITH SCORE 9833.534
AT ITER 9655 NEW BEST:: SOT 61714 SOS 10524 HAS SOPS 10524 HAS SOUS 9798 HAS SOUPS 9798 WITH SCORE 9808.524
AT ITER 9719 NEW BEST:: SOT 61699 SOS 10518 HAS SOPS 10518 HAS SOUS 9792 HAS SOUPS 9792 WITH SCORE 9802.518
AT ITER 9740 NEW BEST:: SOT 61696 SOS 10517 HAS SOPS 10517 HAS SOUS 9791 HAS SOUPS 9791 WITH SCORE 9801.517
AT ITER 9741 NEW BEST:: SOT 61684 SOS 10514 HAS SOPS 10514 HAS SOUS 9787 HAS SOUPS 9787 WITH SCORE 9797.514
AT ITER 9828 NEW BEST:: SOT 61684 SOS 10512 HAS SOPS 10512 HAS SOUS 9787 HAS SOUPS 9787 WITH SCORE 9797.512
AT ITER 9841 NEW BEST:: SOT 61679 SOS 10507 HAS SOPS 10507 HAS SOUS 9782 HAS SOUPS 9782 WITH SCORE 9792.507
AT ITER 9916 NEW BEST:: SOT 61674 SOS 10497 HAS SOPS 10497 HAS SOUS 9772 HAS SOUPS 9772 WITH SCORE 9782.497
AT ITER 9934 NEW BEST:: SOT 61666 SOS 10489 HAS SOPS 10489 HAS SOUS 9756 HAS SOUPS 9756 WITH SCORE 9766.489
AT ITER 9935 NEW BEST:: SOT 61658 SOS 10484 HAS SOPS 10484 HAS SOUS 9751 HAS SOUPS 9751 WITH SCORE 9761.484
AT ITER 9950 NEW BEST:: SOT 61657 SOS 10483 HAS SOPS 10483 HAS SOUS 9750 HAS SOUPS 9750 WITH SCORE 9760.483

BK_TIME_CONFINEMENT_REACHED

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

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="ShieldIIPt-PT-005B"
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"

# 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-4028"
echo " Executing tool smart"
echo " Input is ShieldIIPt-PT-005B, 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 r207-tajo-159033469200296"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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