Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2020-input.r108-csrt-158961250400376.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
............................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is NoC3x3-PT-3B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250400376
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 756K
-rw-r--r-- 1 mcc users 3.9K Apr 8 15:02 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 8 15:02 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 7 18:32 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 7 18:32 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.1K Apr 14 12:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 14 12:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Apr 6 20:17 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 6 20:17 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 6 03:58 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Apr 6 03:58 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 6 20:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 6 20:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 581K Mar 24 05:37 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 1589641503507

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

Filename model.pnml
Petri model created: 2117 places, 2435 transitions, 6177 arcs.
AT ITER 0 NEW BEST:: SOT 2770549 SOS 361350 HAS SOPS 361350 HAS SOUS 302551 HAS SOUPS 302551 WITH SCORE 302912.35
AT ITER 8 NEW BEST:: SOT 2770499 SOS 361150 HAS SOPS 361150 HAS SOUS 302401 HAS SOUPS 302401 WITH SCORE 302762.15
AT ITER 48 NEW BEST:: SOT 2770353 SOS 360884 HAS SOPS 360884 HAS SOUS 302182 HAS SOUPS 302182 WITH SCORE 302542.884
AT ITER 67 NEW BEST:: SOT 2770173 SOS 360722 HAS SOPS 360722 HAS SOUS 302019 HAS SOUPS 302019 WITH SCORE 302379.722
AT ITER 87 NEW BEST:: SOT 2770167 SOS 360709 HAS SOPS 360709 HAS SOUS 302012 HAS SOUPS 302012 WITH SCORE 302372.709
AT ITER 95 NEW BEST:: SOT 2770020 SOS 360629 HAS SOPS 360629 HAS SOUS 301931 HAS SOUPS 301931 WITH SCORE 302291.629
AT ITER 117 NEW BEST:: SOT 2769691 SOS 360387 HAS SOPS 360387 HAS SOUS 301718 HAS SOUPS 301718 WITH SCORE 302078.387
AT ITER 125 NEW BEST:: SOT 2769689 SOS 360384 HAS SOPS 360384 HAS SOUS 301715 HAS SOUPS 301715 WITH SCORE 302075.384
AT ITER 163 NEW BEST:: SOT 2769594 SOS 360240 HAS SOPS 360240 HAS SOUS 301620 HAS SOUPS 301620 WITH SCORE 301980.24
AT ITER 168 NEW BEST:: SOT 2768880 SOS 365682 HAS SOPS 365682 HAS SOUS 301552 HAS SOUPS 301552 WITH SCORE 301917.682
AT ITER 177 NEW BEST:: SOT 2768851 SOS 365653 HAS SOPS 365653 HAS SOUS 301549 HAS SOUPS 301549 WITH SCORE 301914.653
AT ITER 179 NEW BEST:: SOT 2768742 SOS 365362 HAS SOPS 365362 HAS SOUS 301258 HAS SOUPS 301258 WITH SCORE 301623.362
AT ITER 193 NEW BEST:: SOT 2768557 SOS 365177 HAS SOPS 365177 HAS SOUS 301073 HAS SOUPS 301073 WITH SCORE 301438.177
AT ITER 194 NEW BEST:: SOT 2768250 SOS 365764 HAS SOPS 365764 HAS SOUS 300883 HAS SOUPS 300883 WITH SCORE 301248.764
AT ITER 225 NEW BEST:: SOT 2767546 SOS 366663 HAS SOPS 366663 HAS SOUS 300246 HAS SOUPS 300246 WITH SCORE 300612.663
AT ITER 232 NEW BEST:: SOT 2767546 SOS 366663 HAS SOPS 366663 HAS SOUS 300245 HAS SOUPS 300245 WITH SCORE 300611.663
AT ITER 269 NEW BEST:: SOT 2767599 SOS 366627 HAS SOPS 366627 HAS SOUS 300215 HAS SOUPS 300215 WITH SCORE 300581.627
AT ITER 273 NEW BEST:: SOT 2767599 SOS 366627 HAS SOPS 366627 HAS SOUS 300193 HAS SOUPS 300193 WITH SCORE 300559.627
AT ITER 274 NEW BEST:: SOT 2767530 SOS 366547 HAS SOPS 366547 HAS SOUS 300124 HAS SOUPS 300124 WITH SCORE 300490.547
AT ITER 286 NEW BEST:: SOT 2767530 SOS 366535 HAS SOPS 366535 HAS SOUS 300112 HAS SOUPS 300112 WITH SCORE 300478.535
AT ITER 312 NEW BEST:: SOT 2766868 SOS 367111 HAS SOPS 367111 HAS SOUS 299809 HAS SOUPS 299809 WITH SCORE 300176.111
AT ITER 347 NEW BEST:: SOT 2766850 SOS 367100 HAS SOPS 367100 HAS SOUS 299798 HAS SOUPS 299798 WITH SCORE 300165.1
AT ITER 366 NEW BEST:: SOT 2766480 SOS 366840 HAS SOPS 366840 HAS SOUS 299442 HAS SOUPS 299442 WITH SCORE 299808.84
AT ITER 370 NEW BEST:: SOT 2766382 SOS 366644 HAS SOPS 366644 HAS SOUS 299136 HAS SOUPS 299136 WITH SCORE 299502.644
AT ITER 373 NEW BEST:: SOT 2766035 SOS 366316 HAS SOPS 366316 HAS SOUS 298789 HAS SOUPS 298789 WITH SCORE 299155.316
AT ITER 378 NEW BEST:: SOT 2766035 SOS 366231 HAS SOPS 366231 HAS SOUS 298789 HAS SOUPS 298789 WITH SCORE 299155.231
AT ITER 460 NEW BEST:: SOT 2766034 SOS 366229 HAS SOPS 366229 HAS SOUS 298787 HAS SOUPS 298787 WITH SCORE 299153.229
AT ITER 502 NEW BEST:: SOT 2765930 SOS 366021 HAS SOPS 366021 HAS SOUS 298678 HAS SOUPS 298678 WITH SCORE 299044.021
AT ITER 513 NEW BEST:: SOT 2765906 SOS 365973 HAS SOPS 365973 HAS SOUS 298652 HAS SOUPS 298652 WITH SCORE 299017.973
AT ITER 523 NEW BEST:: SOT 2765904 SOS 365968 HAS SOPS 365968 HAS SOUS 298649 HAS SOUPS 298649 WITH SCORE 299014.968
AT ITER 538 NEW BEST:: SOT 2765898 SOS 365944 HAS SOPS 365944 HAS SOUS 298631 HAS SOUPS 298631 WITH SCORE 298996.944
AT ITER 559 NEW BEST:: SOT 2765788 SOS 365724 HAS SOPS 365724 HAS SOUS 298466 HAS SOUPS 298466 WITH SCORE 298831.724
AT ITER 587 NEW BEST:: SOT 2765568 SOS 365443 HAS SOPS 365443 HAS SOUS 298191 HAS SOUPS 298191 WITH SCORE 298556.443
AT ITER 616 NEW BEST:: SOT 2765482 SOS 365395 HAS SOPS 365395 HAS SOUS 298125 HAS SOUPS 298125 WITH SCORE 298490.395
AT ITER 618 NEW BEST:: SOT 2765462 SOS 365355 HAS SOPS 365355 HAS SOUS 298105 HAS SOUPS 298105 WITH SCORE 298470.355
AT ITER 622 NEW BEST:: SOT 2765462 SOS 365349 HAS SOPS 365349 HAS SOUS 298104 HAS SOUPS 298104 WITH SCORE 298469.349
AT ITER 646 NEW BEST:: SOT 2764566 SOS 366007 HAS SOPS 366007 HAS SOUS 297298 HAS SOUPS 297298 WITH SCORE 297664.007
AT ITER 648 NEW BEST:: SOT 2764404 SOS 365354 HAS SOPS 365354 HAS SOUS 297253 HAS SOUPS 297253 WITH SCORE 297618.354
AT ITER 684 NEW BEST:: SOT 2764202 SOS 365126 HAS SOPS 365126 HAS SOUS 297059 HAS SOUPS 297059 WITH SCORE 297424.126
AT ITER 691 NEW BEST:: SOT 2764173 SOS 365144 HAS SOPS 365144 HAS SOUS 296778 HAS SOUPS 296778 WITH SCORE 297143.144
AT ITER 693 NEW BEST:: SOT 2763740 SOS 364772 HAS SOPS 364772 HAS SOUS 296512 HAS SOUPS 296512 WITH SCORE 296876.772
AT ITER 718 NEW BEST:: SOT 2763737 SOS 364769 HAS SOPS 364769 HAS SOUS 296507 HAS SOUPS 296507 WITH SCORE 296871.769
AT ITER 744 NEW BEST:: SOT 2763737 SOS 364767 HAS SOPS 364767 HAS SOUS 296507 HAS SOUPS 296507 WITH SCORE 296871.767
AT ITER 747 NEW BEST:: SOT 2763701 SOS 364694 HAS SOPS 364694 HAS SOUS 296470 HAS SOUPS 296470 WITH SCORE 296834.694
AT ITER 763 NEW BEST:: SOT 2763638 SOS 364623 HAS SOPS 364623 HAS SOUS 296427 HAS SOUPS 296427 WITH SCORE 296791.623
AT ITER 768 NEW BEST:: SOT 2763519 SOS 364505 HAS SOPS 364505 HAS SOUS 296248 HAS SOUPS 296248 WITH SCORE 296612.505
AT ITER 784 NEW BEST:: SOT 2763519 SOS 364465 HAS SOPS 364465 HAS SOUS 296241 HAS SOUPS 296241 WITH SCORE 296605.465
AT ITER 792 NEW BEST:: SOT 2763495 SOS 364482 HAS SOPS 364482 HAS SOUS 296217 HAS SOUPS 296217 WITH SCORE 296581.482
AT ITER 827 NEW BEST:: SOT 2763495 SOS 364425 HAS SOPS 364425 HAS SOUS 296160 HAS SOUPS 296160 WITH SCORE 296524.425
AT ITER 934 NEW BEST:: SOT 2763331 SOS 363752 HAS SOPS 363752 HAS SOUS 296157 HAS SOUPS 296157 WITH SCORE 296520.752
AT ITER 941 NEW BEST:: SOT 2763258 SOS 363606 HAS SOPS 363606 HAS SOUS 296084 HAS SOUPS 296084 WITH SCORE 296447.606
AT ITER 948 NEW BEST:: SOT 2762517 SOS 364408 HAS SOPS 364408 HAS SOUS 295607 HAS SOUPS 295607 WITH SCORE 295971.408
AT ITER 960 NEW BEST:: SOT 2762489 SOS 364503 HAS SOPS 364503 HAS SOUS 295528 HAS SOUPS 295528 WITH SCORE 295892.503
AT ITER 971 NEW BEST:: SOT 2762489 SOS 364449 HAS SOPS 364449 HAS SOUS 295474 HAS SOUPS 295474 WITH SCORE 295838.449
AT ITER 988 NEW BEST:: SOT 2762489 SOS 364438 HAS SOPS 364438 HAS SOUS 295463 HAS SOUPS 295463 WITH SCORE 295827.438
AT ITER 1030 NEW BEST:: SOT 2761894 SOS 364392 HAS SOPS 364392 HAS SOUS 295015 HAS SOUPS 295015 WITH SCORE 295379.392
AT ITER 1055 NEW BEST:: SOT 2761812 SOS 364064 HAS SOPS 364064 HAS SOUS 294851 HAS SOUPS 294851 WITH SCORE 295215.064
AT ITER 1068 NEW BEST:: SOT 2761806 SOS 364058 HAS SOPS 364058 HAS SOUS 294845 HAS SOUPS 294845 WITH SCORE 295209.058
AT ITER 1084 NEW BEST:: SOT 2761730 SOS 364150 HAS SOPS 364150 HAS SOUS 294826 HAS SOUPS 294826 WITH SCORE 295190.15
AT ITER 1104 NEW BEST:: SOT 2761684 SOS 364104 HAS SOPS 364104 HAS SOUS 294826 HAS SOUPS 294826 WITH SCORE 295190.104
AT ITER 1109 NEW BEST:: SOT 2761674 SOS 364164 HAS SOPS 364164 HAS SOUS 294816 HAS SOUPS 294816 WITH SCORE 295180.164
AT ITER 1112 NEW BEST:: SOT 2761646 SOS 364149 HAS SOPS 364149 HAS SOUS 294801 HAS SOUPS 294801 WITH SCORE 295165.149
AT ITER 1139 NEW BEST:: SOT 2761642 SOS 364141 HAS SOPS 364141 HAS SOUS 294797 HAS SOUPS 294797 WITH SCORE 295161.141
AT ITER 1169 NEW BEST:: SOT 2761574 SOS 364103 HAS SOPS 364103 HAS SOUS 294739 HAS SOUPS 294739 WITH SCORE 295103.103
AT ITER 1191 NEW BEST:: SOT 2761557 SOS 363999 HAS SOPS 363999 HAS SOUS 294683 HAS SOUPS 294683 WITH SCORE 295046.999
AT ITER 1195 NEW BEST:: SOT 2760914 SOS 363558 HAS SOPS 363558 HAS SOUS 294040 HAS SOUPS 294040 WITH SCORE 294403.558
AT ITER 1203 NEW BEST:: SOT 2760772 SOS 363420 HAS SOPS 363420 HAS SOUS 293943 HAS SOUPS 293943 WITH SCORE 294306.42
AT ITER 1216 NEW BEST:: SOT 2760712 SOS 363414 HAS SOPS 363414 HAS SOUS 293939 HAS SOUPS 293939 WITH SCORE 294302.414
AT ITER 1224 NEW BEST:: SOT 2760556 SOS 363480 HAS SOPS 363480 HAS SOUS 293669 HAS SOUPS 293669 WITH SCORE 294032.48
AT ITER 1233 NEW BEST:: SOT 2760513 SOS 363308 HAS SOPS 363308 HAS SOUS 293582 HAS SOUPS 293582 WITH SCORE 293945.308
AT ITER 1289 NEW BEST:: SOT 2760494 SOS 363327 HAS SOPS 363327 HAS SOUS 293521 HAS SOUPS 293521 WITH SCORE 293884.327
AT ITER 1310 NEW BEST:: SOT 2760098 SOS 364436 HAS SOPS 364436 HAS SOUS 293465 HAS SOUPS 293465 WITH SCORE 293829.436
AT ITER 1335 NEW BEST:: SOT 2760064 SOS 364368 HAS SOPS 364368 HAS SOUS 293393 HAS SOUPS 293393 WITH SCORE 293757.368
AT ITER 1377 NEW BEST:: SOT 2760034 SOS 364338 HAS SOPS 364338 HAS SOUS 293362 HAS SOUPS 293362 WITH SCORE 293726.338
AT ITER 1388 NEW BEST:: SOT 2760006 SOS 364282 HAS SOPS 364282 HAS SOUS 293320 HAS SOUPS 293320 WITH SCORE 293684.282
AT ITER 1395 NEW BEST:: SOT 2759953 SOS 364286 HAS SOPS 364286 HAS SOUS 293286 HAS SOUPS 293286 WITH SCORE 293650.286
AT ITER 1416 NEW BEST:: SOT 2759687 SOS 364151 HAS SOPS 364151 HAS SOUS 293215 HAS SOUPS 293215 WITH SCORE 293579.151
AT ITER 1417 NEW BEST:: SOT 2759634 SOS 364098 HAS SOPS 364098 HAS SOUS 293214 HAS SOUPS 293214 WITH SCORE 293578.098
AT ITER 1440 NEW BEST:: SOT 2759122 SOS 363926 HAS SOPS 363926 HAS SOUS 292826 HAS SOUPS 292826 WITH SCORE 293189.926
AT ITER 1442 NEW BEST:: SOT 2759085 SOS 363836 HAS SOPS 363836 HAS SOUS 292793 HAS SOUPS 292793 WITH SCORE 293156.836
AT ITER 1444 NEW BEST:: SOT 2758909 SOS 363936 HAS SOPS 363936 HAS SOUS 292629 HAS SOUPS 292629 WITH SCORE 292992.936
AT ITER 1447 NEW BEST:: SOT 2758875 SOS 363802 HAS SOPS 363802 HAS SOUS 292601 HAS SOUPS 292601 WITH SCORE 292964.802
AT ITER 1460 NEW BEST:: SOT 2759033 SOS 364086 HAS SOPS 364086 HAS SOUS 292561 HAS SOUPS 292561 WITH SCORE 292925.086
AT ITER 1472 NEW BEST:: SOT 2758994 SOS 364008 HAS SOPS 364008 HAS SOUS 292483 HAS SOUPS 292483 WITH SCORE 292847.008
AT ITER 1555 NEW BEST:: SOT 2758913 SOS 363846 HAS SOPS 363846 HAS SOUS 292432 HAS SOUPS 292432 WITH SCORE 292795.846
AT ITER 1557 NEW BEST:: SOT 2758893 SOS 363831 HAS SOPS 363831 HAS SOUS 292412 HAS SOUPS 292412 WITH SCORE 292775.831
AT ITER 1560 NEW BEST:: SOT 2758742 SOS 363529 HAS SOPS 363529 HAS SOUS 292286 HAS SOUPS 292286 WITH SCORE 292649.529
AT ITER 1562 NEW BEST:: SOT 2758719 SOS 363475 HAS SOPS 363475 HAS SOUS 292247 HAS SOUPS 292247 WITH SCORE 292610.475
AT ITER 1565 NEW BEST:: SOT 2758711 SOS 363302 HAS SOPS 363302 HAS SOUS 292167 HAS SOUPS 292167 WITH SCORE 292530.302
AT ITER 1567 NEW BEST:: SOT 2758730 SOS 363254 HAS SOPS 363254 HAS SOUS 292152 HAS SOUPS 292152 WITH SCORE 292515.254
AT ITER 1631 NEW BEST:: SOT 2758659 SOS 360722 HAS SOPS 360722 HAS SOUS 291944 HAS SOUPS 291944 WITH SCORE 292304.722
AT ITER 1637 NEW BEST:: SOT 2758610 SOS 360767 HAS SOPS 360767 HAS SOUS 291895 HAS SOUPS 291895 WITH SCORE 292255.767
AT ITER 1663 NEW BEST:: SOT 2758610 SOS 360787 HAS SOPS 360787 HAS SOUS 291894 HAS SOUPS 291894 WITH SCORE 292254.787
AT ITER 1666 NEW BEST:: SOT 2758610 SOS 360719 HAS SOPS 360719 HAS SOUS 291893 HAS SOUPS 291893 WITH SCORE 292253.719
AT ITER 1691 NEW BEST:: SOT 2758587 SOS 360729 HAS SOPS 360729 HAS SOUS 291856 HAS SOUPS 291856 WITH SCORE 292216.729
AT ITER 1701 NEW BEST:: SOT 2758526 SOS 360666 HAS SOPS 360666 HAS SOUS 291795 HAS SOUPS 291795 WITH SCORE 292155.666
AT ITER 1719 NEW BEST:: SOT 2758354 SOS 360673 HAS SOPS 360673 HAS SOUS 291623 HAS SOUPS 291623 WITH SCORE 291983.673
AT ITER 1721 NEW BEST:: SOT 2758229 SOS 360578 HAS SOPS 360578 HAS SOUS 291498 HAS SOUPS 291498 WITH SCORE 291858.578
AT ITER 1728 NEW BEST:: SOT 2758188 SOS 360496 HAS SOPS 360496 HAS SOUS 291416 HAS SOUPS 291416 WITH SCORE 291776.496
AT ITER 1787 NEW BEST:: SOT 2758078 SOS 360413 HAS SOPS 360413 HAS SOUS 291306 HAS SOUPS 291306 WITH SCORE 291666.413
AT ITER 1788 NEW BEST:: SOT 2758040 SOS 360375 HAS SOPS 360375 HAS SOUS 291291 HAS SOUPS 291291 WITH SCORE 291651.375
AT ITER 1797 NEW BEST:: SOT 2757963 SOS 360200 HAS SOPS 360200 HAS SOUS 291165 HAS SOUPS 291165 WITH SCORE 291525.2
AT ITER 1818 NEW BEST:: SOT 2757563 SOS 362277 HAS SOPS 362277 HAS SOUS 291058 HAS SOUPS 291058 WITH SCORE 291420.277
AT ITER 1820 NEW BEST:: SOT 2757499 SOS 362149 HAS SOPS 362149 HAS SOUS 291012 HAS SOUPS 291012 WITH SCORE 291374.149
AT ITER 1847 NEW BEST:: SOT 2757423 SOS 361847 HAS SOPS 361847 HAS SOUS 290898 HAS SOUPS 290898 WITH SCORE 291259.847
AT ITER 1848 NEW BEST:: SOT 2757401 SOS 361744 HAS SOPS 361744 HAS SOUS 290795 HAS SOUPS 290795 WITH SCORE 291156.744
AT ITER 1871 NEW BEST:: SOT 2757401 SOS 361744 HAS SOPS 361744 HAS SOUS 290793 HAS SOUPS 290793 WITH SCORE 291154.744
AT ITER 1889 NEW BEST:: SOT 2757241 SOS 362330 HAS SOPS 362330 HAS SOUS 290709 HAS SOUPS 290709 WITH SCORE 291071.33
AT ITER 1898 NEW BEST:: SOT 2756825 SOS 362842 HAS SOPS 362842 HAS SOUS 290273 HAS SOUPS 290273 WITH SCORE 290635.842
AT ITER 1942 NEW BEST:: SOT 2756907 SOS 362921 HAS SOPS 362921 HAS SOUS 290258 HAS SOUPS 290258 WITH SCORE 290620.921
AT ITER 1987 NEW BEST:: SOT 2756662 SOS 362676 HAS SOPS 362676 HAS SOUS 290013 HAS SOUPS 290013 WITH SCORE 290375.676
AT ITER 2004 NEW BEST:: SOT 2756594 SOS 362608 HAS SOPS 362608 HAS SOUS 289945 HAS SOUPS 289945 WITH SCORE 290307.608
AT ITER 2045 NEW BEST:: SOT 2756573 SOS 362566 HAS SOPS 362566 HAS SOUS 289924 HAS SOUPS 289924 WITH SCORE 290286.566
AT ITER 2057 NEW BEST:: SOT 2756536 SOS 362492 HAS SOPS 362492 HAS SOUS 289850 HAS SOUPS 289850 WITH SCORE 290212.492
AT ITER 2071 NEW BEST:: SOT 2756536 SOS 362652 HAS SOPS 362652 HAS SOUS 289663 HAS SOUPS 289663 WITH SCORE 290025.652
AT ITER 2076 NEW BEST:: SOT 2756315 SOS 362290 HAS SOPS 362290 HAS SOUS 289301 HAS SOUPS 289301 WITH SCORE 289663.29
AT ITER 2085 NEW BEST:: SOT 2756091 SOS 362130 HAS SOPS 362130 HAS SOUS 289077 HAS SOUPS 289077 WITH SCORE 289439.13
AT ITER 2146 NEW BEST:: SOT 2756091 SOS 362112 HAS SOPS 362112 HAS SOUS 289076 HAS SOUPS 289076 WITH SCORE 289438.112
AT ITER 2165 NEW BEST:: SOT 2755890 SOS 361902 HAS SOPS 361902 HAS SOUS 288803 HAS SOUPS 288803 WITH SCORE 289164.902
AT ITER 2197 NEW BEST:: SOT 2755783 SOS 360335 HAS SOPS 360335 HAS SOUS 288695 HAS SOUPS 288695 WITH SCORE 289055.335
AT ITER 2222 NEW BEST:: SOT 2755826 SOS 360139 HAS SOPS 360139 HAS SOUS 288648 HAS SOUPS 288648 WITH SCORE 289008.139
AT ITER 2228 NEW BEST:: SOT 2755807 SOS 360120 HAS SOPS 360120 HAS SOUS 288629 HAS SOUPS 288629 WITH SCORE 288989.12
AT ITER 2241 NEW BEST:: SOT 2755807 SOS 360120 HAS SOPS 360120 HAS SOUS 288593 HAS SOUPS 288593 WITH SCORE 288953.12
AT ITER 2251 NEW BEST:: SOT 2755582 SOS 359940 HAS SOPS 359940 HAS SOUS 288518 HAS SOUPS 288518 WITH SCORE 288877.94
AT ITER 2281 NEW BEST:: SOT 2755526 SOS 359828 HAS SOPS 359828 HAS SOUS 288404 HAS SOUPS 288404 WITH SCORE 288763.828
AT ITER 2329 NEW BEST:: SOT 2755387 SOS 359550 HAS SOPS 359550 HAS SOUS 288265 HAS SOUPS 288265 WITH SCORE 288624.55
AT ITER 2330 NEW BEST:: SOT 2755319 SOS 359278 HAS SOPS 359278 HAS SOUS 288163 HAS SOUPS 288163 WITH SCORE 288522.278
AT ITER 2366 NEW BEST:: SOT 2755319 SOS 359001 HAS SOPS 359001 HAS SOUS 288163 HAS SOUPS 288163 WITH SCORE 288522.001
AT ITER 2394 NEW BEST:: SOT 2755319 SOS 358900 HAS SOPS 358900 HAS SOUS 288162 HAS SOUPS 288162 WITH SCORE 288520.9
AT ITER 2406 NEW BEST:: SOT 2755319 SOS 358848 HAS SOPS 358848 HAS SOUS 288119 HAS SOUPS 288119 WITH SCORE 288477.848
AT ITER 2450 NEW BEST:: SOT 2755263 SOS 358718 HAS SOPS 358718 HAS SOUS 288063 HAS SOUPS 288063 WITH SCORE 288421.718
AT ITER 2500 NEW BEST:: SOT 2755238 SOS 358668 HAS SOPS 358668 HAS SOUS 288038 HAS SOUPS 288038 WITH SCORE 288396.668
AT ITER 2521 NEW BEST:: SOT 2754256 SOS 359090 HAS SOPS 359090 HAS SOUS 287204 HAS SOUPS 287204 WITH SCORE 287563.09
AT ITER 2568 NEW BEST:: SOT 2754256 SOS 358975 HAS SOPS 358975 HAS SOUS 287169 HAS SOUPS 287169 WITH SCORE 287527.975
AT ITER 2569 NEW BEST:: SOT 2754173 SOS 358906 HAS SOPS 358906 HAS SOUS 287152 HAS SOUPS 287152 WITH SCORE 287510.906
AT ITER 2591 NEW BEST:: SOT 2754173 SOS 358906 HAS SOPS 358906 HAS SOUS 287074 HAS SOUPS 287074 WITH SCORE 287432.906
AT ITER 2645 NEW BEST:: SOT 2754118 SOS 358884 HAS SOPS 358884 HAS SOUS 287019 HAS SOUPS 287019 WITH SCORE 287377.884
AT ITER 2688 NEW BEST:: SOT 2754082 SOS 358985 HAS SOPS 358985 HAS SOUS 286983 HAS SOUPS 286983 WITH SCORE 287341.985
AT ITER 2730 NEW BEST:: SOT 2754069 SOS 358940 HAS SOPS 358940 HAS SOUS 286888 HAS SOUPS 286888 WITH SCORE 287246.94
AT ITER 2738 NEW BEST:: SOT 2754069 SOS 358940 HAS SOPS 358940 HAS SOUS 286887 HAS SOUPS 286887 WITH SCORE 287245.94
AT ITER 2757 NEW BEST:: SOT 2754068 SOS 358919 HAS SOPS 358919 HAS SOUS 286866 HAS SOUPS 286866 WITH SCORE 287224.919
AT ITER 2771 NEW BEST:: SOT 2754048 SOS 358907 HAS SOPS 358907 HAS SOUS 286821 HAS SOUPS 286821 WITH SCORE 287179.907
AT ITER 2778 NEW BEST:: SOT 2754047 SOS 358906 HAS SOPS 358906 HAS SOUS 286820 HAS SOUPS 286820 WITH SCORE 287178.906
AT ITER 2791 NEW BEST:: SOT 2753926 SOS 358637 HAS SOPS 358637 HAS SOUS 286604 HAS SOUPS 286604 WITH SCORE 286962.637
AT ITER 2797 NEW BEST:: SOT 2753904 SOS 358560 HAS SOPS 358560 HAS SOUS 286582 HAS SOUPS 286582 WITH SCORE 286940.56
AT ITER 2820 NEW BEST:: SOT 2753487 SOS 358657 HAS SOPS 358657 HAS SOUS 286284 HAS SOUPS 286284 WITH SCORE 286642.657
AT ITER 2830 NEW BEST:: SOT 2753379 SOS 358593 HAS SOPS 358593 HAS SOUS 286175 HAS SOUPS 286175 WITH SCORE 286533.593
AT ITER 2832 NEW BEST:: SOT 2753379 SOS 358537 HAS SOPS 358537 HAS SOUS 286175 HAS SOUPS 286175 WITH SCORE 286533.537
AT ITER 2835 NEW BEST:: SOT 2753379 SOS 358429 HAS SOPS 358429 HAS SOUS 286107 HAS SOUPS 286107 WITH SCORE 286465.429
AT ITER 2889 NEW BEST:: SOT 2753379 SOS 358385 HAS SOPS 358385 HAS SOUS 286063 HAS SOUPS 286063 WITH SCORE 286421.385
AT ITER 2898 NEW BEST:: SOT 2753224 SOS 357926 HAS SOPS 357926 HAS SOUS 285794 HAS SOUPS 285794 WITH SCORE 286151.926
AT ITER 2927 NEW BEST:: SOT 2752569 SOS 357773 HAS SOPS 357773 HAS SOUS 285304 HAS SOUPS 285304 WITH SCORE 285661.773
AT ITER 2943 NEW BEST:: SOT 2752609 SOS 357740 HAS SOPS 357740 HAS SOUS 285270 HAS SOUPS 285270 WITH SCORE 285627.74
AT ITER 2972 NEW BEST:: SOT 2752585 SOS 357668 HAS SOPS 357668 HAS SOUS 285198 HAS SOUPS 285198 WITH SCORE 285555.668
AT ITER 2999 NEW BEST:: SOT 2752577 SOS 357652 HAS SOPS 357652 HAS SOUS 285190 HAS SOUPS 285190 WITH SCORE 285547.652
AT ITER 3035 NEW BEST:: SOT 2752576 SOS 357614 HAS SOPS 357614 HAS SOUS 285187 HAS SOUPS 285187 WITH SCORE 285544.614
AT ITER 3038 NEW BEST:: SOT 2752576 SOS 357550 HAS SOPS 357550 HAS SOUS 285123 HAS SOUPS 285123 WITH SCORE 285480.55
AT ITER 3045 NEW BEST:: SOT 2752574 SOS 357529 HAS SOPS 357529 HAS SOUS 285121 HAS SOUPS 285121 WITH SCORE 285478.529
AT ITER 3085 NEW BEST:: SOT 2752156 SOS 357148 HAS SOPS 357148 HAS SOUS 284740 HAS SOUPS 284740 WITH SCORE 285097.148
AT ITER 3093 NEW BEST:: SOT 2752155 SOS 357146 HAS SOPS 357146 HAS SOUS 284738 HAS SOUPS 284738 WITH SCORE 285095.146
AT ITER 3117 NEW BEST:: SOT 2752144 SOS 357073 HAS SOPS 357073 HAS SOUS 284581 HAS SOUPS 284581 WITH SCORE 284938.073
AT ITER 3122 NEW BEST:: SOT 2752036 SOS 357025 HAS SOPS 357025 HAS SOUS 284533 HAS SOUPS 284533 WITH SCORE 284890.025
AT ITER 3134 NEW BEST:: SOT 2751958 SOS 356849 HAS SOPS 356849 HAS SOUS 284413 HAS SOUPS 284413 WITH SCORE 284769.849
AT ITER 3156 NEW BEST:: SOT 2751945 SOS 356836 HAS SOPS 356836 HAS SOUS 284400 HAS SOUPS 284400 WITH SCORE 284756.836
AT ITER 3174 NEW BEST:: SOT 2751869 SOS 356760 HAS SOPS 356760 HAS SOUS 284323 HAS SOUPS 284323 WITH SCORE 284679.76
AT ITER 3175 NEW BEST:: SOT 2751869 SOS 356740 HAS SOPS 356740 HAS SOUS 284321 HAS SOUPS 284321 WITH SCORE 284677.74
AT ITER 3187 NEW BEST:: SOT 2751841 SOS 356740 HAS SOPS 356740 HAS SOUS 284293 HAS SOUPS 284293 WITH SCORE 284649.74
AT ITER 3202 NEW BEST:: SOT 2751838 SOS 356676 HAS SOPS 356676 HAS SOUS 284286 HAS SOUPS 284286 WITH SCORE 284642.676
AT ITER 3215 NEW BEST:: SOT 2751836 SOS 356672 HAS SOPS 356672 HAS SOUS 284283 HAS SOUPS 284283 WITH SCORE 284639.672
AT ITER 3244 NEW BEST:: SOT 2751836 SOS 356858 HAS SOPS 356858 HAS SOUS 284190 HAS SOUPS 284190 WITH SCORE 284546.858
AT ITER 3259 NEW BEST:: SOT 2751773 SOS 356858 HAS SOPS 356858 HAS SOUS 284189 HAS SOUPS 284189 WITH SCORE 284545.858
AT ITER 3282 NEW BEST:: SOT 2751745 SOS 356856 HAS SOPS 356856 HAS SOUS 284189 HAS SOUPS 284189 WITH SCORE 284545.856
AT ITER 3288 NEW BEST:: SOT 2751712 SOS 356724 HAS SOPS 356724 HAS SOUS 284156 HAS SOUPS 284156 WITH SCORE 284512.724
AT ITER 3300 NEW BEST:: SOT 2751686 SOS 356553 HAS SOPS 356553 HAS SOUS 284133 HAS SOUPS 284133 WITH SCORE 284489.553
AT ITER 3311 NEW BEST:: SOT 2751581 SOS 356343 HAS SOPS 356343 HAS SOUS 283831 HAS SOUPS 283831 WITH SCORE 284187.343
AT ITER 3327 NEW BEST:: SOT 2751580 SOS 356341 HAS SOPS 356341 HAS SOUS 283829 HAS SOUPS 283829 WITH SCORE 284185.341
AT ITER 3351 NEW BEST:: SOT 2751464 SOS 355896 HAS SOPS 355896 HAS SOUS 283595 HAS SOUPS 283595 WITH SCORE 283950.896
AT ITER 3366 NEW BEST:: SOT 2751464 SOS 355713 HAS SOPS 355713 HAS SOUS 283455 HAS SOUPS 283455 WITH SCORE 283810.713
AT ITER 3376 NEW BEST:: SOT 2751346 SOS 355593 HAS SOPS 355593 HAS SOUS 283334 HAS SOUPS 283334 WITH SCORE 283689.593
AT ITER 3377 NEW BEST:: SOT 2751030 SOS 356291 HAS SOPS 356291 HAS SOUS 283284 HAS SOUPS 283284 WITH SCORE 283640.291
AT ITER 3393 NEW BEST:: SOT 2751029 SOS 356290 HAS SOPS 356290 HAS SOUS 283282 HAS SOUPS 283282 WITH SCORE 283638.29
AT ITER 3410 NEW BEST:: SOT 2750971 SOS 355944 HAS SOPS 355944 HAS SOUS 283175 HAS SOUPS 283175 WITH SCORE 283530.944
AT ITER 3422 NEW BEST:: SOT 2750971 SOS 355906 HAS SOPS 355906 HAS SOUS 283175 HAS SOUPS 283175 WITH SCORE 283530.906
AT ITER 3424 NEW BEST:: SOT 2750939 SOS 356080 HAS SOPS 356080 HAS SOUS 283143 HAS SOUPS 283143 WITH SCORE 283499.08
AT ITER 3435 NEW BEST:: SOT 2750808 SOS 355971 HAS SOPS 355971 HAS SOUS 283058 HAS SOUPS 283058 WITH SCORE 283413.971
AT ITER 3453 NEW BEST:: SOT 2750808 SOS 355936 HAS SOPS 355936 HAS SOUS 283058 HAS SOUPS 283058 WITH SCORE 283413.936
AT ITER 3461 NEW BEST:: SOT 2750573 SOS 355902 HAS SOPS 355902 HAS SOUS 282911 HAS SOUPS 282911 WITH SCORE 283266.902
AT ITER 3465 NEW BEST:: SOT 2750505 SOS 355834 HAS SOPS 355834 HAS SOUS 282843 HAS SOUPS 282843 WITH SCORE 283198.834
AT ITER 3471 NEW BEST:: SOT 2750315 SOS 355794 HAS SOPS 355794 HAS SOUS 282703 HAS SOUPS 282703 WITH SCORE 283058.794
AT ITER 3517 NEW BEST:: SOT 2750297 SOS 355740 HAS SOPS 355740 HAS SOUS 282685 HAS SOUPS 282685 WITH SCORE 283040.74
AT ITER 3539 NEW BEST:: SOT 2750273 SOS 355692 HAS SOPS 355692 HAS SOUS 282637 HAS SOUPS 282637 WITH SCORE 282992.692
AT ITER 3544 NEW BEST:: SOT 2750149 SOS 355620 HAS SOPS 355620 HAS SOUS 282585 HAS SOUPS 282585 WITH SCORE 282940.62
AT ITER 3569 NEW BEST:: SOT 2750169 SOS 355615 HAS SOPS 355615 HAS SOUS 282576 HAS SOUPS 282576 WITH SCORE 282931.615
AT ITER 3584 NEW BEST:: SOT 2750160 SOS 355597 HAS SOPS 355597 HAS SOUS 282567 HAS SOUPS 282567 WITH SCORE 282922.597
AT ITER 3596 NEW BEST:: SOT 2750099 SOS 355470 HAS SOPS 355470 HAS SOUS 282431 HAS SOUPS 282431 WITH SCORE 282786.47
AT ITER 3605 NEW BEST:: SOT 2749638 SOS 357102 HAS SOPS 357102 HAS SOUS 282367 HAS SOUPS 282367 WITH SCORE 282724.102
AT ITER 3627 NEW BEST:: SOT 2749588 SOS 357002 HAS SOPS 357002 HAS SOUS 282196 HAS SOUPS 282196 WITH SCORE 282553.002
AT ITER 3629 NEW BEST:: SOT 2749446 SOS 356929 HAS SOPS 356929 HAS SOUS 282073 HAS SOUPS 282073 WITH SCORE 282429.929
AT ITER 3632 NEW BEST:: SOT 2749425 SOS 356887 HAS SOPS 356887 HAS SOUS 282050 HAS SOUPS 282050 WITH SCORE 282406.887
AT ITER 3644 NEW BEST:: SOT 2749492 SOS 357177 HAS SOPS 357177 HAS SOUS 281664 HAS SOUPS 281664 WITH SCORE 282021.177
AT ITER 3658 NEW BEST:: SOT 2749426 SOS 356990 HAS SOPS 356990 HAS SOUS 281516 HAS SOUPS 281516 WITH SCORE 281872.99
AT ITER 3682 NEW BEST:: SOT 2749320 SOS 356797 HAS SOPS 356797 HAS SOUS 281309 HAS SOUPS 281309 WITH SCORE 281665.797
AT ITER 3686 NEW BEST:: SOT 2749242 SOS 356736 HAS SOPS 356736 HAS SOUS 281290 HAS SOUPS 281290 WITH SCORE 281646.736
AT ITER 3689 NEW BEST:: SOT 2749194 SOS 356688 HAS SOPS 356688 HAS SOUS 281242 HAS SOUPS 281242 WITH SCORE 281598.688
AT ITER 3737 NEW BEST:: SOT 2748899 SOS 356704 HAS SOPS 356704 HAS SOUS 281224 HAS SOUPS 281224 WITH SCORE 281580.704
AT ITER 3756 NEW BEST:: SOT 2749101 SOS 357008 HAS SOPS 357008 HAS SOUS 281216 HAS SOUPS 281216 WITH SCORE 281573.008
AT ITER 3775 NEW BEST:: SOT 2748989 SOS 356823 HAS SOPS 356823 HAS SOUS 281104 HAS SOUPS 281104 WITH SCORE 281460.823
AT ITER 3778 NEW BEST:: SOT 2748948 SOS 356782 HAS SOPS 356782 HAS SOUS 281063 HAS SOUPS 281063 WITH SCORE 281419.782
AT ITER 3786 NEW BEST:: SOT 2748834 SOS 356641 HAS SOPS 356641 HAS SOUS 280958 HAS SOUPS 280958 WITH SCORE 281314.641
AT ITER 3808 NEW BEST:: SOT 2748834 SOS 356638 HAS SOPS 356638 HAS SOUS 280958 HAS SOUPS 280958 WITH SCORE 281314.638
AT ITER 3814 NEW BEST:: SOT 2748454 SOS 356258 HAS SOPS 356258 HAS SOUS 280483 HAS SOUPS 280483 WITH SCORE 280839.258
AT ITER 3818 NEW BEST:: SOT 2748062 SOS 356284 HAS SOPS 356284 HAS SOUS 280030 HAS SOUPS 280030 WITH SCORE 280386.284
AT ITER 3843 NEW BEST:: SOT 2748041 SOS 356257 HAS SOPS 356257 HAS SOUS 280024 HAS SOUPS 280024 WITH SCORE 280380.257
AT ITER 3850 NEW BEST:: SOT 2748021 SOS 356343 HAS SOPS 356343 HAS SOUS 280021 HAS SOUPS 280021 WITH SCORE 280377.343
AT ITER 3884 NEW BEST:: SOT 2747697 SOS 356235 HAS SOPS 356235 HAS SOUS 279697 HAS SOUPS 279697 WITH SCORE 280053.235
AT ITER 3886 NEW BEST:: SOT 2747616 SOS 356247 HAS SOPS 356247 HAS SOUS 279692 HAS SOUPS 279692 WITH SCORE 280048.247
AT ITER 3901 NEW BEST:: SOT 2747458 SOS 355027 HAS SOPS 355027 HAS SOUS 279636 HAS SOUPS 279636 WITH SCORE 279991.027
AT ITER 3904 NEW BEST:: SOT 2747404 SOS 355009 HAS SOPS 355009 HAS SOUS 279600 HAS SOUPS 279600 WITH SCORE 279955.009
AT ITER 3919 NEW BEST:: SOT 2747365 SOS 354970 HAS SOPS 354970 HAS SOUS 279561 HAS SOUPS 279561 WITH SCORE 279915.97
AT ITER 3929 NEW BEST:: SOT 2747216 SOS 354672 HAS SOPS 354672 HAS SOUS 279311 HAS SOUPS 279311 WITH SCORE 279665.672
AT ITER 3971 NEW BEST:: SOT 2747163 SOS 354531 HAS SOPS 354531 HAS SOUS 279291 HAS SOUPS 279291 WITH SCORE 279645.531
AT ITER 3992 NEW BEST:: SOT 2747163 SOS 354531 HAS SOPS 354531 HAS SOUS 279249 HAS SOUPS 279249 WITH SCORE 279603.531
AT ITER 4015 NEW BEST:: SOT 2746399 SOS 353957 HAS SOPS 353957 HAS SOUS 278485 HAS SOUPS 278485 WITH SCORE 278838.957
AT ITER 4020 NEW BEST:: SOT 2746056 SOS 353645 HAS SOPS 353645 HAS SOUS 278273 HAS SOUPS 278273 WITH SCORE 278626.645
AT ITER 4051 NEW BEST:: SOT 2746000 SOS 353533 HAS SOPS 353533 HAS SOUS 278159 HAS SOUPS 278159 WITH SCORE 278512.533
AT ITER 4081 NEW BEST:: SOT 2746000 SOS 353533 HAS SOPS 353533 HAS SOUS 278158 HAS SOUPS 278158 WITH SCORE 278511.533
AT ITER 4130 NEW BEST:: SOT 2745968 SOS 353530 HAS SOPS 353530 HAS SOUS 278155 HAS SOUPS 278155 WITH SCORE 278508.53
AT ITER 4161 NEW BEST:: SOT 2745923 SOS 353487 HAS SOPS 353487 HAS SOUS 278083 HAS SOUPS 278083 WITH SCORE 278436.487
AT ITER 4217 NEW BEST:: SOT 2745923 SOS 353473 HAS SOPS 353473 HAS SOUS 278083 HAS SOUPS 278083 WITH SCORE 278436.473
AT ITER 4262 NEW BEST:: SOT 2745923 SOS 353343 HAS SOPS 353343 HAS SOUS 278077 HAS SOUPS 278077 WITH SCORE 278430.343
AT ITER 4283 NEW BEST:: SOT 2745818 SOS 353133 HAS SOPS 353133 HAS SOUS 277867 HAS SOUPS 277867 WITH SCORE 278220.133
AT ITER 4295 NEW BEST:: SOT 2745818 SOS 353096 HAS SOPS 353096 HAS SOUS 277867 HAS SOUPS 277867 WITH SCORE 278220.096
AT ITER 4311 NEW BEST:: SOT 2745759 SOS 352897 HAS SOPS 352897 HAS SOUS 277744 HAS SOUPS 277744 WITH SCORE 278096.897
AT ITER 4369 NEW BEST:: SOT 2745694 SOS 352962 HAS SOPS 352962 HAS SOUS 277679 HAS SOUPS 277679 WITH SCORE 278031.962
AT ITER 4386 NEW BEST:: SOT 2745583 SOS 352833 HAS SOPS 352833 HAS SOUS 277637 HAS SOUPS 277637 WITH SCORE 277989.833
AT ITER 4443 NEW BEST:: SOT 2745465 SOS 352715 HAS SOPS 352715 HAS SOUS 277519 HAS SOUPS 277519 WITH SCORE 277871.715
AT ITER 4458 NEW BEST:: SOT 2745430 SOS 352645 HAS SOPS 352645 HAS SOUS 277484 HAS SOUPS 277484 WITH SCORE 277836.645
AT ITER 4484 NEW BEST:: SOT 2745430 SOS 352709 HAS SOPS 352709 HAS SOUS 277481 HAS SOUPS 277481 WITH SCORE 277833.709
AT ITER 4504 NEW BEST:: SOT 2745331 SOS 352487 HAS SOPS 352487 HAS SOUS 277259 HAS SOUPS 277259 WITH SCORE 277611.487
AT ITER 4523 NEW BEST:: SOT 2745162 SOS 352295 HAS SOPS 352295 HAS SOUS 277175 HAS SOUPS 277175 WITH SCORE 277527.295
AT ITER 4533 NEW BEST:: SOT 2744815 SOS 352297 HAS SOPS 352297 HAS SOUS 277039 HAS SOUPS 277039 WITH SCORE 277391.297
AT ITER 4564 NEW BEST:: SOT 2744815 SOS 352297 HAS SOPS 352297 HAS SOUS 276985 HAS SOUPS 276985 WITH SCORE 277337.297
AT ITER 4577 NEW BEST:: SOT 2744815 SOS 352297 HAS SOPS 352297 HAS SOUS 276975 HAS SOUPS 276975 WITH SCORE 277327.297
AT ITER 4582 NEW BEST:: SOT 2744795 SOS 352257 HAS SOPS 352257 HAS SOUS 276935 HAS SOUPS 276935 WITH SCORE 277287.257
AT ITER 4588 NEW BEST:: SOT 2744648 SOS 351945 HAS SOPS 351945 HAS SOUS 276753 HAS SOUPS 276753 WITH SCORE 277104.945
AT ITER 4599 NEW BEST:: SOT 2744646 SOS 351939 HAS SOPS 351939 HAS SOUS 276749 HAS SOUPS 276749 WITH SCORE 277100.939
AT ITER 4617 NEW BEST:: SOT 2744523 SOS 351876 HAS SOPS 351876 HAS SOUS 276655 HAS SOUPS 276655 WITH SCORE 277006.876
AT ITER 4633 NEW BEST:: SOT 2744523 SOS 351875 HAS SOPS 351875 HAS SOUS 276655 HAS SOUPS 276655 WITH SCORE 277006.875
AT ITER 4650 NEW BEST:: SOT 2744478 SOS 351763 HAS SOPS 351763 HAS SOUS 276604 HAS SOUPS 276604 WITH SCORE 276955.763
AT ITER 4719 NEW BEST:: SOT 2744349 SOS 351197 HAS SOPS 351197 HAS SOUS 276349 HAS SOUPS 276349 WITH SCORE 276700.197
AT ITER 4753 NEW BEST:: SOT 2744343 SOS 351237 HAS SOPS 351237 HAS SOUS 276290 HAS SOUPS 276290 WITH SCORE 276641.237
AT ITER 4756 NEW BEST:: SOT 2744291 SOS 351133 HAS SOPS 351133 HAS SOUS 276186 HAS SOUPS 276186 WITH SCORE 276537.133
AT ITER 4778 NEW BEST:: SOT 2744135 SOS 350991 HAS SOPS 350991 HAS SOUS 276019 HAS SOUPS 276019 WITH SCORE 276369.991
AT ITER 4833 NEW BEST:: SOT 2744054 SOS 350829 HAS SOPS 350829 HAS SOUS 275856 HAS SOUPS 275856 WITH SCORE 276206.829
AT ITER 4845 NEW BEST:: SOT 2743931 SOS 350757 HAS SOPS 350757 HAS SOUS 275733 HAS SOUPS 275733 WITH SCORE 276083.757
AT ITER 4849 NEW BEST:: SOT 2743603 SOS 353061 HAS SOPS 353061 HAS SOUS 275727 HAS SOUPS 275727 WITH SCORE 276080.061
AT ITER 4872 NEW BEST:: SOT 2743533 SOS 353085 HAS SOPS 353085 HAS SOUS 275587 HAS SOUPS 275587 WITH SCORE 275940.085
AT ITER 4886 NEW BEST:: SOT 2743532 SOS 353045 HAS SOPS 353045 HAS SOUS 275587 HAS SOUPS 275587 WITH SCORE 275940.045
AT ITER 4900 NEW BEST:: SOT 2743515 SOS 353011 HAS SOPS 353011 HAS SOUS 275570 HAS SOUPS 275570 WITH SCORE 275923.011
AT ITER 4910 NEW BEST:: SOT 2743433 SOS 352845 HAS SOPS 352845 HAS SOUS 275404 HAS SOUPS 275404 WITH SCORE 275756.845
AT ITER 4948 NEW BEST:: SOT 2743367 SOS 352713 HAS SOPS 352713 HAS SOUS 275284 HAS SOUPS 275284 WITH SCORE 275636.713
AT ITER 4982 NEW BEST:: SOT 2743364 SOS 352710 HAS SOPS 352710 HAS SOUS 275214 HAS SOUPS 275214 WITH SCORE 275566.71
AT ITER 4999 NEW BEST:: SOT 2741861 SOS 351619 HAS SOPS 351619 HAS SOUS 273721 HAS SOUPS 273721 WITH SCORE 274072.619
AT ITER 5003 NEW BEST:: SOT 2741861 SOS 351585 HAS SOPS 351585 HAS SOUS 273687 HAS SOUPS 273687 WITH SCORE 274038.585
AT ITER 5008 NEW BEST:: SOT 2741814 SOS 351435 HAS SOPS 351435 HAS SOUS 273656 HAS SOUPS 273656 WITH SCORE 274007.435
AT ITER 5163 NEW BEST:: SOT 2741723 SOS 350941 HAS SOPS 350941 HAS SOUS 273539 HAS SOUPS 273539 WITH SCORE 273889.941
AT ITER 5179 NEW BEST:: SOT 2741672 SOS 350735 HAS SOPS 350735 HAS SOUS 273509 HAS SOUPS 273509 WITH SCORE 273859.735
AT ITER 5269 NEW BEST:: SOT 2741611 SOS 350652 HAS SOPS 350652 HAS SOUS 273500 HAS SOUPS 273500 WITH SCORE 273850.652
AT ITER 5298 NEW BEST:: SOT 2741402 SOS 350234 HAS SOPS 350234 HAS SOUS 273093 HAS SOUPS 273093 WITH SCORE 273443.234
AT ITER 5397 NEW BEST:: SOT 2741250 SOS 350105 HAS SOPS 350105 HAS SOUS 272991 HAS SOUPS 272991 WITH SCORE 273341.105
AT ITER 5476 NEW BEST:: SOT 2741233 SOS 350071 HAS SOPS 350071 HAS SOUS 272974 HAS SOUPS 272974 WITH SCORE 273324.071
AT ITER 5501 NEW BEST:: SOT 2741044 SOS 349593 HAS SOPS 349593 HAS SOUS 272777 HAS SOUPS 272777 WITH SCORE 273126.593
AT ITER 5518 NEW BEST:: SOT 2741020 SOS 349588 HAS SOPS 349588 HAS SOUS 272772 HAS SOUPS 272772 WITH SCORE 273121.588
AT ITER 5541 NEW BEST:: SOT 2740970 SOS 349513 HAS SOPS 349513 HAS SOUS 272718 HAS SOUPS 272718 WITH SCORE 273067.513
AT ITER 5558 NEW BEST:: SOT 2740948 SOS 349469 HAS SOPS 349469 HAS SOUS 272674 HAS SOUPS 272674 WITH SCORE 273023.469
AT ITER 5567 NEW BEST:: SOT 2740781 SOS 348837 HAS SOPS 348837 HAS SOUS 272385 HAS SOUPS 272385 WITH SCORE 272733.837
AT ITER 5568 NEW BEST:: SOT 2740767 SOS 348825 HAS SOPS 348825 HAS SOUS 272371 HAS SOUPS 272371 WITH SCORE 272719.825
AT ITER 5580 NEW BEST:: SOT 2740745 SOS 348781 HAS SOPS 348781 HAS SOUS 272305 HAS SOUPS 272305 WITH SCORE 272653.781
AT ITER 5602 NEW BEST:: SOT 2740423 SOS 348488 HAS SOPS 348488 HAS SOUS 272012 HAS SOUPS 272012 WITH SCORE 272360.488
AT ITER 5621 NEW BEST:: SOT 2740422 SOS 348487 HAS SOPS 348487 HAS SOUS 272011 HAS SOUPS 272011 WITH SCORE 272359.487
AT ITER 5631 NEW BEST:: SOT 2740386 SOS 348379 HAS SOPS 348379 HAS SOUS 272011 HAS SOUPS 272011 WITH SCORE 272359.379
AT ITER 5727 NEW BEST:: SOT 2740398 SOS 348753 HAS SOPS 348753 HAS SOUS 271969 HAS SOUPS 271969 WITH SCORE 272317.753
AT ITER 5760 NEW BEST:: SOT 2740284 SOS 348685 HAS SOPS 348685 HAS SOUS 271887 HAS SOUPS 271887 WITH SCORE 272235.685
AT ITER 5764 NEW BEST:: SOT 2740245 SOS 348646 HAS SOPS 348646 HAS SOUS 271848 HAS SOUPS 271848 WITH SCORE 272196.646
AT ITER 5804 NEW BEST:: SOT 2740241 SOS 348642 HAS SOPS 348642 HAS SOUS 271848 HAS SOUPS 271848 WITH SCORE 272196.642
AT ITER 5820 NEW BEST:: SOT 2740240 SOS 348460 HAS SOPS 348460 HAS SOUS 271846 HAS SOUPS 271846 WITH SCORE 272194.46
AT ITER 5872 NEW BEST:: SOT 2740240 SOS 348397 HAS SOPS 348397 HAS SOUS 271783 HAS SOUPS 271783 WITH SCORE 272131.397
AT ITER 5903 NEW BEST:: SOT 2740240 SOS 348399 HAS SOPS 348399 HAS SOUS 271782 HAS SOUPS 271782 WITH SCORE 272130.399
AT ITER 5908 NEW BEST:: SOT 2740231 SOS 348462 HAS SOPS 348462 HAS SOUS 271764 HAS SOUPS 271764 WITH SCORE 272112.462
AT ITER 5970 NEW BEST:: SOT 2739549 SOS 347897 HAS SOPS 347897 HAS SOUS 271197 HAS SOUPS 271197 WITH SCORE 271544.897
AT ITER 5983 NEW BEST:: SOT 2739541 SOS 347881 HAS SOPS 347881 HAS SOUS 271181 HAS SOUPS 271181 WITH SCORE 271528.881
AT ITER 5989 NEW BEST:: SOT 2739541 SOS 347880 HAS SOPS 347880 HAS SOUS 271180 HAS SOUPS 271180 WITH SCORE 271527.88
AT ITER 5993 NEW BEST:: SOT 2739305 SOS 348234 HAS SOPS 348234 HAS SOUS 270944 HAS SOUPS 270944 WITH SCORE 271292.234
AT ITER 5998 NEW BEST:: SOT 2738837 SOS 347766 HAS SOPS 347766 HAS SOUS 270476 HAS SOUPS 270476 WITH SCORE 270823.766
AT ITER 6000 NEW BEST:: SOT 2738769 SOS 347562 HAS SOPS 347562 HAS SOUS 270340 HAS SOUPS 270340 WITH SCORE 270687.562
AT ITER 6009 NEW BEST:: SOT 2738757 SOS 347550 HAS SOPS 347550 HAS SOUS 270328 HAS SOUPS 270328 WITH SCORE 270675.55
AT ITER 6010 NEW BEST:: SOT 2738665 SOS 347255 HAS SOPS 347255 HAS SOUS 270125 HAS SOUPS 270125 WITH SCORE 270472.255
AT ITER 6028 NEW BEST:: SOT 2738606 SOS 347137 HAS SOPS 347137 HAS SOUS 270066 HAS SOUPS 270066 WITH SCORE 270413.137
AT ITER 6041 NEW BEST:: SOT 2738579 SOS 346587 HAS SOPS 346587 HAS SOUS 269977 HAS SOUPS 269977 WITH SCORE 270323.587
AT ITER 6065 NEW BEST:: SOT 2738587 SOS 346487 HAS SOPS 346487 HAS SOUS 269886 HAS SOUPS 269886 WITH SCORE 270232.487
AT ITER 6108 NEW BEST:: SOT 2738412 SOS 345948 HAS SOPS 345948 HAS SOUS 269639 HAS SOUPS 269639 WITH SCORE 269984.948
AT ITER 6118 NEW BEST:: SOT 2738396 SOS 345933 HAS SOPS 345933 HAS SOUS 269639 HAS SOUPS 269639 WITH SCORE 269984.933
AT ITER 6119 NEW BEST:: SOT 2738396 SOS 345885 HAS SOPS 345885 HAS SOUS 269623 HAS SOUPS 269623 WITH SCORE 269968.885
AT ITER 6120 NEW BEST:: SOT 2738396 SOS 345842 HAS SOPS 345842 HAS SOUS 269616 HAS SOUPS 269616 WITH SCORE 269961.842
AT ITER 6134 NEW BEST:: SOT 2738396 SOS 345842 HAS SOPS 345842 HAS SOUS 269580 HAS SOUPS 269580 WITH SCORE 269925.842
AT ITER 6185 NEW BEST:: SOT 2738382 SOS 345814 HAS SOPS 345814 HAS SOUS 269552 HAS SOUPS 269552 WITH SCORE 269897.814
AT ITER 6186 NEW BEST:: SOT 2738127 SOS 345499 HAS SOPS 345499 HAS SOUS 269212 HAS SOUPS 269212 WITH SCORE 269557.499
AT ITER 6196 NEW BEST:: SOT 2738093 SOS 345470 HAS SOPS 345470 HAS SOUS 269183 HAS SOUPS 269183 WITH SCORE 269528.47
AT ITER 6249 NEW BEST:: SOT 2738093 SOS 345376 HAS SOPS 345376 HAS SOUS 269089 HAS SOUPS 269089 WITH SCORE 269434.376
AT ITER 6258 NEW BEST:: SOT 2738093 SOS 345376 HAS SOPS 345376 HAS SOUS 269083 HAS SOUPS 269083 WITH SCORE 269428.376
AT ITER 6272 NEW BEST:: SOT 2738093 SOS 345365 HAS SOPS 345365 HAS SOUS 269083 HAS SOUPS 269083 WITH SCORE 269428.365
AT ITER 6293 NEW BEST:: SOT 2737933 SOS 345237 HAS SOPS 345237 HAS SOUS 268955 HAS SOUPS 268955 WITH SCORE 269300.237
AT ITER 6295 NEW BEST:: SOT 2737741 SOS 344849 HAS SOPS 344849 HAS SOUS 268677 HAS SOUPS 268677 WITH SCORE 269021.849
AT ITER 6304 NEW BEST:: SOT 2737741 SOS 344798 HAS SOPS 344798 HAS SOUS 268677 HAS SOUPS 268677 WITH SCORE 269021.798
AT ITER 6323 NEW BEST:: SOT 2737639 SOS 344423 HAS SOPS 344423 HAS SOUS 268400 HAS SOUPS 268400 WITH SCORE 268744.423
AT ITER 6333 NEW BEST:: SOT 2737654 SOS 344423 HAS SOPS 344423 HAS SOUS 268399 HAS SOUPS 268399 WITH SCORE 268743.423
AT ITER 6379 NEW BEST:: SOT 2737643 SOS 344367 HAS SOPS 344367 HAS SOUS 268324 HAS SOUPS 268324 WITH SCORE 268668.367
AT ITER 6393 NEW BEST:: SOT 2737493 SOS 344167 HAS SOPS 344167 HAS SOUS 268174 HAS SOUPS 268174 WITH SCORE 268518.167
AT ITER 6397 NEW BEST:: SOT 2737493 SOS 344145 HAS SOPS 344145 HAS SOUS 268152 HAS SOUPS 268152 WITH SCORE 268496.145
AT ITER 6436 NEW BEST:: SOT 2737459 SOS 344077 HAS SOPS 344077 HAS SOUS 268117 HAS SOUPS 268117 WITH SCORE 268461.077
AT ITER 6454 NEW BEST:: SOT 2737390 SOS 343939 HAS SOPS 343939 HAS SOUS 267893 HAS SOUPS 267893 WITH SCORE 268236.939
AT ITER 6477 NEW BEST:: SOT 2735776 SOS 353454 HAS SOPS 353454 HAS SOUS 267021 HAS SOUPS 267021 WITH SCORE 267374.454
AT ITER 6499 NEW BEST:: SOT 2735733 SOS 353948 HAS SOPS 353948 HAS SOUS 266862 HAS SOUPS 266862 WITH SCORE 267215.948
AT ITER 6536 NEW BEST:: SOT 2735674 SOS 353889 HAS SOPS 353889 HAS SOUS 266803 HAS SOUPS 266803 WITH SCORE 267156.889
AT ITER 6544 NEW BEST:: SOT 2735565 SOS 353770 HAS SOPS 353770 HAS SOUS 266613 HAS SOUPS 266613 WITH SCORE 266966.77
AT ITER 6589 NEW BEST:: SOT 2735492 SOS 353624 HAS SOPS 353624 HAS SOUS 266502 HAS SOUPS 266502 WITH SCORE 266855.624
AT ITER 6595 NEW BEST:: SOT 2735448 SOS 353611 HAS SOPS 353611 HAS SOUS 266489 HAS SOUPS 266489 WITH SCORE 266842.611
AT ITER 6600 NEW BEST:: SOT 2735441 SOS 353597 HAS SOPS 353597 HAS SOUS 266482 HAS SOUPS 266482 WITH SCORE 266835.597
AT ITER 6645 NEW BEST:: SOT 2735441 SOS 353571 HAS SOPS 353571 HAS SOUS 266456 HAS SOUPS 266456 WITH SCORE 266809.571
AT ITER 6650 NEW BEST:: SOT 2735309 SOS 353439 HAS SOPS 353439 HAS SOUS 266292 HAS SOUPS 266292 WITH SCORE 266645.439
AT ITER 6769 NEW BEST:: SOT 2735261 SOS 353354 HAS SOPS 353354 HAS SOUS 266226 HAS SOUPS 266226 WITH SCORE 266579.354
AT ITER 6788 NEW BEST:: SOT 2735220 SOS 353272 HAS SOPS 353272 HAS SOUS 266143 HAS SOUPS 266143 WITH SCORE 266496.272
AT ITER 6811 NEW BEST:: SOT 2735072 SOS 353570 HAS SOPS 353570 HAS SOUS 266082 HAS SOUPS 266082 WITH SCORE 266435.57
AT ITER 6840 NEW BEST:: SOT 2735047 SOS 353570 HAS SOPS 353570 HAS SOUS 266032 HAS SOUPS 266032 WITH SCORE 266385.57
AT ITER 6899 NEW BEST:: SOT 2734964 SOS 353321 HAS SOPS 353321 HAS SOUS 265949 HAS SOUPS 265949 WITH SCORE 266302.321
AT ITER 6970 NEW BEST:: SOT 2734298 SOS 353060 HAS SOPS 353060 HAS SOUS 265373 HAS SOUPS 265373 WITH SCORE 265726.06
AT ITER 6973 NEW BEST:: SOT 2734263 SOS 353026 HAS SOPS 353026 HAS SOUS 265338 HAS SOUPS 265338 WITH SCORE 265691.026
AT ITER 6988 NEW BEST:: SOT 2734390 SOS 353191 HAS SOPS 353191 HAS SOUS 265216 HAS SOUPS 265216 WITH SCORE 265569.191
AT ITER 7013 NEW BEST:: SOT 2734360 SOS 353131 HAS SOPS 353131 HAS SOUS 265199 HAS SOUPS 265199 WITH SCORE 265552.131
AT ITER 7036 NEW BEST:: SOT 2734360 SOS 353121 HAS SOPS 353121 HAS SOUS 265189 HAS SOUPS 265189 WITH SCORE 265542.121
AT ITER 7101 NEW BEST:: SOT 2734320 SOS 353081 HAS SOPS 353081 HAS SOUS 265149 HAS SOUPS 265149 WITH SCORE 265502.081
AT ITER 7112 NEW BEST:: SOT 2734322 SOS 353066 HAS SOPS 353066 HAS SOUS 265134 HAS SOUPS 265134 WITH SCORE 265487.066
AT ITER 7139 NEW BEST:: SOT 2734187 SOS 352796 HAS SOPS 352796 HAS SOUS 264995 HAS SOUPS 264995 WITH SCORE 265347.796
AT ITER 7167 NEW BEST:: SOT 2734467 SOS 353103 HAS SOPS 353103 HAS SOUS 264994 HAS SOUPS 264994 WITH SCORE 265347.103
AT ITER 7212 NEW BEST:: SOT 2734459 SOS 353079 HAS SOPS 353079 HAS SOUS 264978 HAS SOUPS 264978 WITH SCORE 265331.079
AT ITER 7225 NEW BEST:: SOT 2734314 SOS 352768 HAS SOPS 352768 HAS SOUS 264817 HAS SOUPS 264817 WITH SCORE 265169.768
AT ITER 7228 NEW BEST:: SOT 2734088 SOS 352695 HAS SOPS 352695 HAS SOUS 264815 HAS SOUPS 264815 WITH SCORE 265167.695
AT ITER 7240 NEW BEST:: SOT 2734085 SOS 352692 HAS SOPS 352692 HAS SOUS 264809 HAS SOUPS 264809 WITH SCORE 265161.692
AT ITER 7282 NEW BEST:: SOT 2734085 SOS 352619 HAS SOPS 352619 HAS SOUS 264663 HAS SOUPS 264663 WITH SCORE 265015.619
AT ITER 7293 NEW BEST:: SOT 2734124 SOS 352620 HAS SOPS 352620 HAS SOUS 264653 HAS SOUPS 264653 WITH SCORE 265005.62
AT ITER 7325 NEW BEST:: SOT 2734124 SOS 352555 HAS SOPS 352555 HAS SOUS 264653 HAS SOUPS 264653 WITH SCORE 265005.555
AT ITER 7361 NEW BEST:: SOT 2734076 SOS 352546 HAS SOPS 352546 HAS SOUS 264605 HAS SOUPS 264605 WITH SCORE 264957.546
AT ITER 7391 NEW BEST:: SOT 2733949 SOS 351336 HAS SOPS 351336 HAS SOUS 264340 HAS SOUPS 264340 WITH SCORE 264691.336
AT ITER 7400 NEW BEST:: SOT 2733863 SOS 351281 HAS SOPS 351281 HAS SOUS 264307 HAS SOUPS 264307 WITH SCORE 264658.281
AT ITER 7420 NEW BEST:: SOT 2733834 SOS 351238 HAS SOPS 351238 HAS SOUS 264264 HAS SOUPS 264264 WITH SCORE 264615.238
AT ITER 7428 NEW BEST:: SOT 2733809 SOS 351151 HAS SOPS 351151 HAS SOUS 264226 HAS SOUPS 264226 WITH SCORE 264577.151
AT ITER 7484 NEW BEST:: SOT 2733677 SOS 350773 HAS SOPS 350773 HAS SOUS 263991 HAS SOUPS 263991 WITH SCORE 264341.773
AT ITER 7492 NEW BEST:: SOT 2733677 SOS 350747 HAS SOPS 350747 HAS SOUS 263978 HAS SOUPS 263978 WITH SCORE 264328.747
AT ITER 7515 NEW BEST:: SOT 2733377 SOS 350693 HAS SOPS 350693 HAS SOUS 263832 HAS SOUPS 263832 WITH SCORE 264182.693
AT ITER 7575 NEW BEST:: SOT 2733025 SOS 351300 HAS SOPS 351300 HAS SOUS 263486 HAS SOUPS 263486 WITH SCORE 263837.3
AT ITER 7576 NEW BEST:: SOT 2732916 SOS 351171 HAS SOPS 351171 HAS SOUS 263416 HAS SOUPS 263416 WITH SCORE 263767.171
AT ITER 7607 NEW BEST:: SOT 2732916 SOS 351085 HAS SOPS 351085 HAS SOUS 263416 HAS SOUPS 263416 WITH SCORE 263767.085
AT ITER 7615 NEW BEST:: SOT 2732717 SOS 350918 HAS SOPS 350918 HAS SOUS 263217 HAS SOUPS 263217 WITH SCORE 263567.918
AT ITER 7646 NEW BEST:: SOT 2732715 SOS 350912 HAS SOPS 350912 HAS SOUS 263214 HAS SOUPS 263214 WITH SCORE 263564.912
AT ITER 7658 NEW BEST:: SOT 2732715 SOS 350861 HAS SOPS 350861 HAS SOUS 263202 HAS SOUPS 263202 WITH SCORE 263552.861
AT ITER 7667 NEW BEST:: SOT 2732646 SOS 350769 HAS SOPS 350769 HAS SOUS 263110 HAS SOUPS 263110 WITH SCORE 263460.769
AT ITER 7668 NEW BEST:: SOT 2732223 SOS 350299 HAS SOPS 350299 HAS SOUS 262714 HAS SOUPS 262714 WITH SCORE 263064.299
AT ITER 7829 NEW BEST:: SOT 2732189 SOS 350231 HAS SOPS 350231 HAS SOUS 262646 HAS SOUPS 262646 WITH SCORE 262996.231
AT ITER 7848 NEW BEST:: SOT 2732163 SOS 350204 HAS SOPS 350204 HAS SOUS 262638 HAS SOUPS 262638 WITH SCORE 262988.204
AT ITER 7872 NEW BEST:: SOT 2732172 SOS 350087 HAS SOPS 350087 HAS SOUS 262638 HAS SOUPS 262638 WITH SCORE 262988.087
AT ITER 7913 NEW BEST:: SOT 2732085 SOS 349912 HAS SOPS 349912 HAS SOUS 262482 HAS SOUPS 262482 WITH SCORE 262831.912
AT ITER 7917 NEW BEST:: SOT 2732063 SOS 349835 HAS SOPS 349835 HAS SOUS 262372 HAS SOUPS 262372 WITH SCORE 262721.835
AT ITER 7952 NEW BEST:: SOT 2731925 SOS 349559 HAS SOPS 349559 HAS SOUS 262183 HAS SOUPS 262183 WITH SCORE 262532.559
AT ITER 7963 NEW BEST:: SOT 2731823 SOS 349355 HAS SOPS 349355 HAS SOUS 261974 HAS SOUPS 261974 WITH SCORE 262323.355
AT ITER 8048 NEW BEST:: SOT 2731797 SOS 349295 HAS SOPS 349295 HAS SOUS 261922 HAS SOUPS 261922 WITH SCORE 262271.295
AT ITER 8052 NEW BEST:: SOT 2731789 SOS 349278 HAS SOPS 349278 HAS SOUS 261914 HAS SOUPS 261914 WITH SCORE 262263.278
AT ITER 8083 NEW BEST:: SOT 2731722 SOS 349210 HAS SOPS 349210 HAS SOUS 261846 HAS SOUPS 261846 WITH SCORE 262195.21
AT ITER 8089 NEW BEST:: SOT 2731698 SOS 349186 HAS SOPS 349186 HAS SOUS 261822 HAS SOUPS 261822 WITH SCORE 262171.186
AT ITER 8112 NEW BEST:: SOT 2731677 SOS 348939 HAS SOPS 348939 HAS SOUS 261688 HAS SOUPS 261688 WITH SCORE 262036.939
AT ITER 8147 NEW BEST:: SOT 2731654 SOS 348892 HAS SOPS 348892 HAS SOUS 261641 HAS SOUPS 261641 WITH SCORE 261989.892
AT ITER 8149 NEW BEST:: SOT 2731589 SOS 348672 HAS SOPS 348672 HAS SOUS 261545 HAS SOUPS 261545 WITH SCORE 261893.672
AT ITER 8153 NEW BEST:: SOT 2731576 SOS 348646 HAS SOPS 348646 HAS SOUS 261519 HAS SOUPS 261519 WITH SCORE 261867.646
AT ITER 8162 NEW BEST:: SOT 2731518 SOS 348607 HAS SOPS 348607 HAS SOUS 261476 HAS SOUPS 261476 WITH SCORE 261824.607
AT ITER 8200 NEW BEST:: SOT 2731510 SOS 348591 HAS SOPS 348591 HAS SOUS 261467 HAS SOUPS 261467 WITH SCORE 261815.591
AT ITER 8226 NEW BEST:: SOT 2731461 SOS 348424 HAS SOPS 348424 HAS SOUS 261359 HAS SOUPS 261359 WITH SCORE 261707.424
AT ITER 8270 NEW BEST:: SOT 2731681 SOS 348651 HAS SOPS 348651 HAS SOUS 261331 HAS SOUPS 261331 WITH SCORE 261679.651
AT ITER 8271 NEW BEST:: SOT 2731565 SOS 348316 HAS SOPS 348316 HAS SOUS 261201 HAS SOUPS 261201 WITH SCORE 261549.316
AT ITER 8340 NEW BEST:: SOT 2731481 SOS 346942 HAS SOPS 346942 HAS SOUS 260994 HAS SOUPS 260994 WITH SCORE 261340.942
AT ITER 8346 NEW BEST:: SOT 2731458 SOS 347070 HAS SOPS 347070 HAS SOUS 260971 HAS SOUPS 260971 WITH SCORE 261318.07
AT ITER 8365 NEW BEST:: SOT 2731316 SOS 346928 HAS SOPS 346928 HAS SOUS 260545 HAS SOUPS 260545 WITH SCORE 260891.928
AT ITER 8380 NEW BEST:: SOT 2731319 SOS 346955 HAS SOPS 346955 HAS SOUS 260524 HAS SOUPS 260524 WITH SCORE 260870.955
AT ITER 8407 NEW BEST:: SOT 2731308 SOS 346936 HAS SOPS 346936 HAS SOUS 260409 HAS SOUPS 260409 WITH SCORE 260755.936
AT ITER 8420 NEW BEST:: SOT 2731286 SOS 346859 HAS SOPS 346859 HAS SOUS 260387 HAS SOUPS 260387 WITH SCORE 260733.859
AT ITER 8468 NEW BEST:: SOT 2731249 SOS 346785 HAS SOPS 346785 HAS SOUS 260350 HAS SOUPS 260350 WITH SCORE 260696.785
AT ITER 8548 NEW BEST:: SOT 2731096 SOS 346632 HAS SOPS 346632 HAS SOUS 260197 HAS SOUPS 260197 WITH SCORE 260543.632
AT ITER 8569 NEW BEST:: SOT 2731029 SOS 346498 HAS SOPS 346498 HAS SOUS 260070 HAS SOUPS 260070 WITH SCORE 260416.498
AT ITER 8638 NEW BEST:: SOT 2730983 SOS 346525 HAS SOPS 346525 HAS SOUS 259978 HAS SOUPS 259978 WITH SCORE 260324.525
AT ITER 8670 NEW BEST:: SOT 2730983 SOS 346507 HAS SOPS 346507 HAS SOUS 259978 HAS SOUPS 259978 WITH SCORE 260324.507
AT ITER 8672 NEW BEST:: SOT 2730859 SOS 346043 HAS SOPS 346043 HAS SOUS 259787 HAS SOUPS 259787 WITH SCORE 260133.043
AT ITER 8726 NEW BEST:: SOT 2730922 SOS 346003 HAS SOPS 346003 HAS SOUS 259752 HAS SOUPS 259752 WITH SCORE 260098.003
AT ITER 8760 NEW BEST:: SOT 2730920 SOS 346001 HAS SOPS 346001 HAS SOUS 259750 HAS SOUPS 259750 WITH SCORE 260096.001
AT ITER 8770 NEW BEST:: SOT 2730899 SOS 346060 HAS SOPS 346060 HAS SOUS 259708 HAS SOUPS 259708 WITH SCORE 260054.06
AT ITER 8822 NEW BEST:: SOT 2730868 SOS 346023 HAS SOPS 346023 HAS SOUS 259662 HAS SOUPS 259662 WITH SCORE 260008.023
AT ITER 8836 NEW BEST:: SOT 2730791 SOS 345781 HAS SOPS 345781 HAS SOUS 259591 HAS SOUPS 259591 WITH SCORE 259936.781
AT ITER 8855 NEW BEST:: SOT 2730783 SOS 345757 HAS SOPS 345757 HAS SOUS 259583 HAS SOUPS 259583 WITH SCORE 259928.757
AT ITER 8881 NEW BEST:: SOT 2730726 SOS 345976 HAS SOPS 345976 HAS SOUS 259570 HAS SOUPS 259570 WITH SCORE 259915.976
AT ITER 8910 NEW BEST:: SOT 2730610 SOS 345860 HAS SOPS 345860 HAS SOUS 259451 HAS SOUPS 259451 WITH SCORE 259796.86
AT ITER 8959 NEW BEST:: SOT 2730574 SOS 345788 HAS SOPS 345788 HAS SOUS 259343 HAS SOUPS 259343 WITH SCORE 259688.788
AT ITER 8977 NEW BEST:: SOT 2730552 SOS 345755 HAS SOPS 345755 HAS SOUS 259321 HAS SOUPS 259321 WITH SCORE 259666.755
AT ITER 9086 NEW BEST:: SOT 2730545 SOS 345748 HAS SOPS 345748 HAS SOUS 259321 HAS SOUPS 259321 WITH SCORE 259666.748
AT ITER 9100 NEW BEST:: SOT 2730578 SOS 345845 HAS SOPS 345845 HAS SOUS 259205 HAS SOUPS 259205 WITH SCORE 259550.845
AT ITER 9113 NEW BEST:: SOT 2730578 SOS 345809 HAS SOPS 345809 HAS SOUS 259102 HAS SOUPS 259102 WITH SCORE 259447.809
AT ITER 9155 NEW BEST:: SOT 2730519 SOS 344920 HAS SOPS 344920 HAS SOUS 258984 HAS SOUPS 258984 WITH SCORE 259328.92
AT ITER 9172 NEW BEST:: SOT 2730499 SOS 344952 HAS SOPS 344952 HAS SOUS 258975 HAS SOUPS 258975 WITH SCORE 259319.952
AT ITER 9180 NEW BEST:: SOT 2730486 SOS 344958 HAS SOPS 344958 HAS SOUS 258886 HAS SOUPS 258886 WITH SCORE 259230.958
AT ITER 9186 NEW BEST:: SOT 2730529 SOS 344971 HAS SOPS 344971 HAS SOUS 258876 HAS SOUPS 258876 WITH SCORE 259220.971
AT ITER 9192 NEW BEST:: SOT 2730524 SOS 344966 HAS SOPS 344966 HAS SOUS 258844 HAS SOUPS 258844 WITH SCORE 259188.966
AT ITER 9203 NEW BEST:: SOT 2730333 SOS 345032 HAS SOPS 345032 HAS SOUS 258652 HAS SOUPS 258652 WITH SCORE 258997.032
AT ITER 9241 NEW BEST:: SOT 2730320 SOS 345003 HAS SOPS 345003 HAS SOUS 258635 HAS SOUPS 258635 WITH SCORE 258980.003
AT ITER 9242 NEW BEST:: SOT 2730228 SOS 344977 HAS SOPS 344977 HAS SOUS 258555 HAS SOUPS 258555 WITH SCORE 258899.977
AT ITER 9246 NEW BEST:: SOT 2730043 SOS 344464 HAS SOPS 344464 HAS SOUS 258397 HAS SOUPS 258397 WITH SCORE 258741.464
AT ITER 9249 NEW BEST:: SOT 2729786 SOS 343735 HAS SOPS 343735 HAS SOUS 258163 HAS SOUPS 258163 WITH SCORE 258506.735
AT ITER 9261 NEW BEST:: SOT 2729786 SOS 343735 HAS SOPS 343735 HAS SOUS 258160 HAS SOUPS 258160 WITH SCORE 258503.735
AT ITER 9282 NEW BEST:: SOT 2729662 SOS 343687 HAS SOPS 343687 HAS SOUS 258144 HAS SOUPS 258144 WITH SCORE 258487.687
AT ITER 9342 NEW BEST:: SOT 2729610 SOS 343609 HAS SOPS 343609 HAS SOUS 258066 HAS SOUPS 258066 WITH SCORE 258409.609
AT ITER 9363 NEW BEST:: SOT 2729500 SOS 343389 HAS SOPS 343389 HAS SOUS 257956 HAS SOUPS 257956 WITH SCORE 258299.389
AT ITER 9386 NEW BEST:: SOT 2729420 SOS 337076 HAS SOPS 337076 HAS SOUS 257796 HAS SOUPS 257796 WITH SCORE 258133.076
AT ITER 9426 NEW BEST:: SOT 2729293 SOS 336680 HAS SOPS 336680 HAS SOUS 257676 HAS SOUPS 257676 WITH SCORE 258012.68
AT ITER 9447 NEW BEST:: SOT 2729293 SOS 336736 HAS SOPS 336736 HAS SOUS 257647 HAS SOUPS 257647 WITH SCORE 257983.736
AT ITER 9466 NEW BEST:: SOT 2729293 SOS 336726 HAS SOPS 336726 HAS SOUS 257557 HAS SOUPS 257557 WITH SCORE 257893.726
AT ITER 9488 NEW BEST:: SOT 2729266 SOS 336545 HAS SOPS 336545 HAS SOUS 257376 HAS SOUPS 257376 WITH SCORE 257712.545
AT ITER 9490 NEW BEST:: SOT 2729224 SOS 336445 HAS SOPS 336445 HAS SOUS 257356 HAS SOUPS 257356 WITH SCORE 257692.445
AT ITER 9498 NEW BEST:: SOT 2729156 SOS 336225 HAS SOPS 336225 HAS SOUS 257152 HAS SOUPS 257152 WITH SCORE 257488.225
AT ITER 9523 NEW BEST:: SOT 2729077 SOS 336042 HAS SOPS 336042 HAS SOUS 257027 HAS SOUPS 257027 WITH SCORE 257363.042
AT ITER 9556 NEW BEST:: SOT 2729100 SOS 335968 HAS SOPS 335968 HAS SOUS 256953 HAS SOUPS 256953 WITH SCORE 257288.968
AT ITER 9560 NEW BEST:: SOT 2728879 SOS 335699 HAS SOPS 335699 HAS SOUS 256794 HAS SOUPS 256794 WITH SCORE 257129.699
AT ITER 9576 NEW BEST:: SOT 2728800 SOS 335616 HAS SOPS 335616 HAS SOUS 256740 HAS SOUPS 256740 WITH SCORE 257075.616
AT ITER 9577 NEW BEST:: SOT 2728782 SOS 335618 HAS SOPS 335618 HAS SOUS 256726 HAS SOUPS 256726 WITH SCORE 257061.618
AT ITER 9581 NEW BEST:: SOT 2728732 SOS 335518 HAS SOPS 335518 HAS SOUS 256674 HAS SOUPS 256674 WITH SCORE 257009.518
AT ITER 9597 NEW BEST:: SOT 2728760 SOS 335535 HAS SOPS 335535 HAS SOUS 256673 HAS SOUPS 256673 WITH SCORE 257008.535
AT ITER 9607 NEW BEST:: SOT 2728780 SOS 335559 HAS SOPS 335559 HAS SOUS 256661 HAS SOUPS 256661 WITH SCORE 256996.559
AT ITER 9608 NEW BEST:: SOT 2728780 SOS 335492 HAS SOPS 335492 HAS SOUS 256661 HAS SOUPS 256661 WITH SCORE 256996.492
AT ITER 9629 NEW BEST:: SOT 2728780 SOS 335492 HAS SOPS 335492 HAS SOUS 256653 HAS SOUPS 256653 WITH SCORE 256988.492
AT ITER 9638 NEW BEST:: SOT 2728759 SOS 335440 HAS SOPS 335440 HAS SOUS 256625 HAS SOUPS 256625 WITH SCORE 256960.44
AT ITER 9641 NEW BEST:: SOT 2728731 SOS 335411 HAS SOPS 335411 HAS SOUS 256596 HAS SOUPS 256596 WITH SCORE 256931.411
AT ITER 9662 NEW BEST:: SOT 2728796 SOS 335468 HAS SOPS 335468 HAS SOUS 256588 HAS SOUPS 256588 WITH SCORE 256923.468
AT ITER 9713 NEW BEST:: SOT 2728744 SOS 335276 HAS SOPS 335276 HAS SOUS 256491 HAS SOUPS 256491 WITH SCORE 256826.276
AT ITER 9720 NEW BEST:: SOT 2728699 SOS 335329 HAS SOPS 335329 HAS SOUS 256401 HAS SOUPS 256401 WITH SCORE 256736.329
AT ITER 9722 NEW BEST:: SOT 2728686 SOS 334702 HAS SOPS 334702 HAS SOUS 256309 HAS SOUPS 256309 WITH SCORE 256643.702
AT ITER 9734 NEW BEST:: SOT 2728636 SOS 334457 HAS SOPS 334457 HAS SOUS 256140 HAS SOUPS 256140 WITH SCORE 256474.457
AT ITER 9796 NEW BEST:: SOT 2728636 SOS 334454 HAS SOPS 334454 HAS SOUS 256134 HAS SOUPS 256134 WITH SCORE 256468.454
AT ITER 9815 NEW BEST:: SOT 2728597 SOS 334444 HAS SOPS 334444 HAS SOUS 256076 HAS SOUPS 256076 WITH SCORE 256410.444
AT ITER 9841 NEW BEST:: SOT 2728589 SOS 334436 HAS SOPS 334436 HAS SOUS 256068 HAS SOUPS 256068 WITH SCORE 256402.436
AT ITER 9858 NEW BEST:: SOT 2728589 SOS 334326 HAS SOPS 334326 HAS SOUS 256066 HAS SOUPS 256066 WITH SCORE 256400.326
AT ITER 9859 NEW BEST:: SOT 2728666 SOS 334317 HAS SOPS 334317 HAS SOUS 256057 HAS SOUPS 256057 WITH SCORE 256391.317
AT ITER 9868 NEW BEST:: SOT 2728670 SOS 334269 HAS SOPS 334269 HAS SOUS 256055 HAS SOUPS 256055 WITH SCORE 256389.269
AT ITER 9997 NEW BEST:: SOT 2728784 SOS 334596 HAS SOPS 334596 HAS SOUS 255815 HAS SOUPS 255815 WITH SCORE 256149.596

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="NoC3x3-PT-3B"
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 NoC3x3-PT-3B, 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 r108-csrt-158961250400376"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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