fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r003-smll-158897508100113
Last Updated
Jun 28, 2020

About the Execution of smart for ASLink-PT-07b

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15765.320 3600000.00 3600000.00 0.00 [undef] Time out reached

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r003-smll-158897508100113.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/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 ASLink-PT-07b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897508100113
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 3.1K Mar 25 09:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 25 09:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 09:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 09:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.0K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Apr 8 14:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 25 09:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 25 09:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 08:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 25 08:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 09:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 25 09:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 1.1M 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 1589051950795

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

Filename model.pnml
Petri model created: 3222 places, 3986 transitions, 12126 arcs.
AT ITER 0 NEW BEST:: SOT 6887059 SOS 1328016 HAS SOPS 1328016 HAS SOUS 1070413 HAS SOUPS 1070413 WITH SCORE 1071741.016
AT ITER 2 NEW BEST:: SOT 6886791 SOS 1327327 HAS SOPS 1327327 HAS SOUS 1070171 HAS SOUPS 1070171 WITH SCORE 1071498.327
AT ITER 26 NEW BEST:: SOT 6886679 SOS 1326996 HAS SOPS 1326996 HAS SOUS 1069839 HAS SOUPS 1069839 WITH SCORE 1071165.996
AT ITER 35 NEW BEST:: SOT 6886528 SOS 1326901 HAS SOPS 1326901 HAS SOUS 1069744 HAS SOUPS 1069744 WITH SCORE 1071070.901
AT ITER 37 NEW BEST:: SOT 6886377 SOS 1326588 HAS SOPS 1326588 HAS SOUS 1069581 HAS SOUPS 1069581 WITH SCORE 1070907.588
AT ITER 41 NEW BEST:: SOT 6885679 SOS 1326188 HAS SOPS 1326188 HAS SOUS 1069023 HAS SOUPS 1069023 WITH SCORE 1070349.188
AT ITER 43 NEW BEST:: SOT 6885593 SOS 1326058 HAS SOPS 1326058 HAS SOUS 1068892 HAS SOUPS 1068892 WITH SCORE 1070218.058
AT ITER 56 NEW BEST:: SOT 6885473 SOS 1326042 HAS SOPS 1326042 HAS SOUS 1068892 HAS SOUPS 1068892 WITH SCORE 1070218.042
AT ITER 106 NEW BEST:: SOT 6885173 SOS 1325750 HAS SOPS 1325750 HAS SOUS 1068600 HAS SOUPS 1068600 WITH SCORE 1069925.75
AT ITER 107 NEW BEST:: SOT 6882267 SOS 1328069 HAS SOPS 1328069 HAS SOUS 1066345 HAS SOUPS 1066345 WITH SCORE 1067673.069
AT ITER 116 NEW BEST:: SOT 6882267 SOS 1328970 HAS SOPS 1328970 HAS SOUS 1066330 HAS SOUPS 1066330 WITH SCORE 1067658.97
AT ITER 131 NEW BEST:: SOT 6882256 SOS 1328959 HAS SOPS 1328959 HAS SOUS 1066318 HAS SOUPS 1066318 WITH SCORE 1067646.959
AT ITER 136 NEW BEST:: SOT 6882135 SOS 1328717 HAS SOPS 1328717 HAS SOUS 1066189 HAS SOUPS 1066189 WITH SCORE 1067517.717
AT ITER 153 NEW BEST:: SOT 6882135 SOS 1328636 HAS SOPS 1328636 HAS SOUS 1066189 HAS SOUPS 1066189 WITH SCORE 1067517.636
AT ITER 198 NEW BEST:: SOT 6882017 SOS 1328518 HAS SOPS 1328518 HAS SOUS 1066071 HAS SOUPS 1066071 WITH SCORE 1067399.518
AT ITER 208 NEW BEST:: SOT 6881270 SOS 1327987 HAS SOPS 1327987 HAS SOUS 1065397 HAS SOUPS 1065397 WITH SCORE 1066724.987
AT ITER 212 NEW BEST:: SOT 6881270 SOS 1327968 HAS SOPS 1327968 HAS SOUS 1065378 HAS SOUPS 1065378 WITH SCORE 1066705.968
AT ITER 221 NEW BEST:: SOT 6880872 SOS 1327348 HAS SOPS 1327348 HAS SOUS 1064977 HAS SOUPS 1064977 WITH SCORE 1066304.348
AT ITER 233 NEW BEST:: SOT 6880766 SOS 1327187 HAS SOPS 1327187 HAS SOUS 1064921 HAS SOUPS 1064921 WITH SCORE 1066248.187
AT ITER 236 NEW BEST:: SOT 6880623 SOS 1327148 HAS SOPS 1327148 HAS SOUS 1064830 HAS SOUPS 1064830 WITH SCORE 1066157.148
AT ITER 242 NEW BEST:: SOT 6880623 SOS 1328277 HAS SOPS 1328277 HAS SOUS 1064797 HAS SOUPS 1064797 WITH SCORE 1066125.277
AT ITER 248 NEW BEST:: SOT 6880489 SOS 1328137 HAS SOPS 1328137 HAS SOUS 1064683 HAS SOUPS 1064683 WITH SCORE 1066011.137
AT ITER 252 NEW BEST:: SOT 6880309 SOS 1327848 HAS SOPS 1327848 HAS SOUS 1064498 HAS SOUPS 1064498 WITH SCORE 1065825.848
AT ITER 260 NEW BEST:: SOT 6880199 SOS 1327354 HAS SOPS 1327354 HAS SOUS 1064485 HAS SOUPS 1064485 WITH SCORE 1065812.354
AT ITER 323 NEW BEST:: SOT 6879877 SOS 1327032 HAS SOPS 1327032 HAS SOUS 1064158 HAS SOUPS 1064158 WITH SCORE 1065485.032
AT ITER 353 NEW BEST:: SOT 6879877 SOS 1327015 HAS SOPS 1327015 HAS SOUS 1064141 HAS SOUPS 1064141 WITH SCORE 1065468.015
AT ITER 377 NEW BEST:: SOT 6879438 SOS 1326880 HAS SOPS 1326880 HAS SOUS 1063799 HAS SOUPS 1063799 WITH SCORE 1065125.88
AT ITER 396 NEW BEST:: SOT 6877888 SOS 1329070 HAS SOPS 1329070 HAS SOUS 1062850 HAS SOUPS 1062850 WITH SCORE 1064179.07
AT ITER 419 NEW BEST:: SOT 6877838 SOS 1328970 HAS SOPS 1328970 HAS SOUS 1062750 HAS SOUPS 1062750 WITH SCORE 1064078.97
AT ITER 420 NEW BEST:: SOT 6877835 SOS 1329718 HAS SOPS 1329718 HAS SOUS 1062735 HAS SOUPS 1062735 WITH SCORE 1064064.718
AT ITER 444 NEW BEST:: SOT 6877673 SOS 1329394 HAS SOPS 1329394 HAS SOUS 1062230 HAS SOUPS 1062230 WITH SCORE 1063559.394
AT ITER 453 NEW BEST:: SOT 6877672 SOS 1329392 HAS SOPS 1329392 HAS SOUS 1062228 HAS SOUPS 1062228 WITH SCORE 1063557.392
AT ITER 460 NEW BEST:: SOT 6877672 SOS 1329165 HAS SOPS 1329165 HAS SOUS 1062228 HAS SOUPS 1062228 WITH SCORE 1063557.165
AT ITER 462 NEW BEST:: SOT 6876578 SOS 1329587 HAS SOPS 1329587 HAS SOUS 1061465 HAS SOUPS 1061465 WITH SCORE 1062794.587
AT ITER 466 NEW BEST:: SOT 6876578 SOS 1329586 HAS SOPS 1329586 HAS SOUS 1061464 HAS SOUPS 1061464 WITH SCORE 1062793.586
AT ITER 475 NEW BEST:: SOT 6876480 SOS 1329529 HAS SOPS 1329529 HAS SOUS 1061407 HAS SOUPS 1061407 WITH SCORE 1062736.529
AT ITER 486 NEW BEST:: SOT 6876440 SOS 1329449 HAS SOPS 1329449 HAS SOUS 1061327 HAS SOUPS 1061327 WITH SCORE 1062656.449
AT ITER 493 NEW BEST:: SOT 6876295 SOS 1329474 HAS SOPS 1329474 HAS SOUS 1061182 HAS SOUPS 1061182 WITH SCORE 1062511.474
AT ITER 501 NEW BEST:: SOT 6876295 SOS 1329438 HAS SOPS 1329438 HAS SOUS 1061146 HAS SOUPS 1061146 WITH SCORE 1062475.438
AT ITER 539 NEW BEST:: SOT 6876084 SOS 1330322 HAS SOPS 1330322 HAS SOUS 1060903 HAS SOUPS 1060903 WITH SCORE 1062233.322
AT ITER 545 NEW BEST:: SOT 6875912 SOS 1329978 HAS SOPS 1329978 HAS SOUS 1060730 HAS SOUPS 1060730 WITH SCORE 1062059.978
AT ITER 548 NEW BEST:: SOT 6875822 SOS 1329798 HAS SOPS 1329798 HAS SOUS 1060550 HAS SOUPS 1060550 WITH SCORE 1061879.798
AT ITER 552 NEW BEST:: SOT 6875678 SOS 1329732 HAS SOPS 1329732 HAS SOUS 1060374 HAS SOUPS 1060374 WITH SCORE 1061703.732
AT ITER 564 NEW BEST:: SOT 6875526 SOS 1329428 HAS SOPS 1329428 HAS SOUS 1060069 HAS SOUPS 1060069 WITH SCORE 1061398.428
AT ITER 583 NEW BEST:: SOT 6875443 SOS 1329345 HAS SOPS 1329345 HAS SOUS 1059985 HAS SOUPS 1059985 WITH SCORE 1061314.345
AT ITER 606 NEW BEST:: SOT 6875262 SOS 1328440 HAS SOPS 1328440 HAS SOUS 1059623 HAS SOUPS 1059623 WITH SCORE 1060951.44
AT ITER 617 NEW BEST:: SOT 6875026 SOS 1328059 HAS SOPS 1328059 HAS SOUS 1059384 HAS SOUPS 1059384 WITH SCORE 1060712.059
AT ITER 619 NEW BEST:: SOT 6875026 SOS 1327877 HAS SOPS 1327877 HAS SOUS 1059202 HAS SOUPS 1059202 WITH SCORE 1060529.877
AT ITER 652 NEW BEST:: SOT 6874829 SOS 1327680 HAS SOPS 1327680 HAS SOUS 1059005 HAS SOUPS 1059005 WITH SCORE 1060332.68
AT ITER 671 NEW BEST:: SOT 6874829 SOS 1327663 HAS SOPS 1327663 HAS SOUS 1058988 HAS SOUPS 1058988 WITH SCORE 1060315.663
AT ITER 681 NEW BEST:: SOT 6874828 SOS 1327661 HAS SOPS 1327661 HAS SOUS 1058986 HAS SOUPS 1058986 WITH SCORE 1060313.661
AT ITER 695 NEW BEST:: SOT 6874679 SOS 1327512 HAS SOPS 1327512 HAS SOUS 1058837 HAS SOUPS 1058837 WITH SCORE 1060164.512
AT ITER 697 NEW BEST:: SOT 6874679 SOS 1327420 HAS SOPS 1327420 HAS SOUS 1058837 HAS SOUPS 1058837 WITH SCORE 1060164.42
AT ITER 705 NEW BEST:: SOT 6874637 SOS 1328117 HAS SOPS 1328117 HAS SOUS 1058795 HAS SOUPS 1058795 WITH SCORE 1060123.117
AT ITER 728 NEW BEST:: SOT 6874637 SOS 1328095 HAS SOPS 1328095 HAS SOUS 1058773 HAS SOUPS 1058773 WITH SCORE 1060101.095
AT ITER 734 NEW BEST:: SOT 6874070 SOS 1327483 HAS SOPS 1327483 HAS SOUS 1058118 HAS SOUPS 1058118 WITH SCORE 1059445.483
AT ITER 743 NEW BEST:: SOT 6874026 SOS 1327131 HAS SOPS 1327131 HAS SOUS 1058029 HAS SOUPS 1058029 WITH SCORE 1059356.131
AT ITER 761 NEW BEST:: SOT 6873945 SOS 1326154 HAS SOPS 1326154 HAS SOUS 1057778 HAS SOUPS 1057778 WITH SCORE 1059104.154
AT ITER 795 NEW BEST:: SOT 6873762 SOS 1326516 HAS SOPS 1326516 HAS SOUS 1057594 HAS SOUPS 1057594 WITH SCORE 1058920.516
AT ITER 833 NEW BEST:: SOT 6873762 SOS 1326514 HAS SOPS 1326514 HAS SOUS 1057592 HAS SOUPS 1057592 WITH SCORE 1058918.514
AT ITER 845 NEW BEST:: SOT 6873764 SOS 1326517 HAS SOPS 1326517 HAS SOUS 1057588 HAS SOUPS 1057588 WITH SCORE 1058914.517
AT ITER 851 NEW BEST:: SOT 6875918 SOS 1329077 HAS SOPS 1329077 HAS SOUS 1054976 HAS SOUPS 1054976 WITH SCORE 1056305.077
AT ITER 890 NEW BEST:: SOT 6877579 SOS 1331020 HAS SOPS 1331020 HAS SOUS 1051675 HAS SOUPS 1051675 WITH SCORE 1053006.02
AT ITER 915 NEW BEST:: SOT 6877456 SOS 1330896 HAS SOPS 1330896 HAS SOUS 1051551 HAS SOUPS 1051551 WITH SCORE 1052881.896
AT ITER 916 NEW BEST:: SOT 6877578 SOS 1330756 HAS SOPS 1330756 HAS SOUS 1051411 HAS SOUPS 1051411 WITH SCORE 1052741.756
AT ITER 947 NEW BEST:: SOT 6877577 SOS 1330306 HAS SOPS 1330306 HAS SOUS 1051409 HAS SOUPS 1051409 WITH SCORE 1052739.306
AT ITER 963 NEW BEST:: SOT 6877349 SOS 1330507 HAS SOPS 1330507 HAS SOUS 1051296 HAS SOUPS 1051296 WITH SCORE 1052626.507
AT ITER 967 NEW BEST:: SOT 6877320 SOS 1330449 HAS SOPS 1330449 HAS SOUS 1051175 HAS SOUPS 1051175 WITH SCORE 1052505.449
AT ITER 988 NEW BEST:: SOT 6877089 SOS 1330218 HAS SOPS 1330218 HAS SOUS 1050941 HAS SOUPS 1050941 WITH SCORE 1052271.218
AT ITER 1014 NEW BEST:: SOT 6876943 SOS 1329639 HAS SOPS 1329639 HAS SOUS 1050362 HAS SOUPS 1050362 WITH SCORE 1051691.639
AT ITER 1031 NEW BEST:: SOT 6876896 SOS 1329558 HAS SOPS 1329558 HAS SOUS 1050328 HAS SOUPS 1050328 WITH SCORE 1051657.558
AT ITER 1042 NEW BEST:: SOT 6876896 SOS 1329308 HAS SOPS 1329308 HAS SOUS 1050327 HAS SOUPS 1050327 WITH SCORE 1051656.308
AT ITER 1049 NEW BEST:: SOT 6876591 SOS 1328874 HAS SOPS 1328874 HAS SOUS 1050178 HAS SOUPS 1050178 WITH SCORE 1051506.874
AT ITER 1056 NEW BEST:: SOT 6876541 SOS 1328860 HAS SOPS 1328860 HAS SOUS 1050081 HAS SOUPS 1050081 WITH SCORE 1051409.86
AT ITER 1076 NEW BEST:: SOT 6876329 SOS 1328663 HAS SOPS 1328663 HAS SOUS 1049884 HAS SOUPS 1049884 WITH SCORE 1051212.663
AT ITER 1097 NEW BEST:: SOT 6876304 SOS 1328677 HAS SOPS 1328677 HAS SOUS 1049859 HAS SOUPS 1049859 WITH SCORE 1051187.677
AT ITER 1118 NEW BEST:: SOT 6876278 SOS 1328286 HAS SOPS 1328286 HAS SOUS 1049804 HAS SOUPS 1049804 WITH SCORE 1051132.286
AT ITER 1127 NEW BEST:: SOT 6876249 SOS 1328226 HAS SOPS 1328226 HAS SOUS 1049744 HAS SOUPS 1049744 WITH SCORE 1051072.226
AT ITER 1131 NEW BEST:: SOT 6876249 SOS 1328138 HAS SOPS 1328138 HAS SOUS 1049656 HAS SOUPS 1049656 WITH SCORE 1050984.138
AT ITER 1150 NEW BEST:: SOT 6876165 SOS 1327969 HAS SOPS 1327969 HAS SOUS 1049487 HAS SOUPS 1049487 WITH SCORE 1050814.969
AT ITER 1153 NEW BEST:: SOT 6876165 SOS 1327965 HAS SOPS 1327965 HAS SOUS 1049483 HAS SOUPS 1049483 WITH SCORE 1050810.965
AT ITER 1154 NEW BEST:: SOT 6876212 SOS 1327491 HAS SOPS 1327491 HAS SOUS 1049473 HAS SOUPS 1049473 WITH SCORE 1050800.491
AT ITER 1159 NEW BEST:: SOT 6876178 SOS 1327423 HAS SOPS 1327423 HAS SOUS 1049439 HAS SOUPS 1049439 WITH SCORE 1050766.423
AT ITER 1197 NEW BEST:: SOT 6876131 SOS 1327312 HAS SOPS 1327312 HAS SOUS 1049375 HAS SOUPS 1049375 WITH SCORE 1050702.312
AT ITER 1209 NEW BEST:: SOT 6874141 SOS 1325707 HAS SOPS 1325707 HAS SOUS 1047669 HAS SOUPS 1047669 WITH SCORE 1048994.707
AT ITER 1214 NEW BEST:: SOT 6874414 SOS 1322890 HAS SOPS 1322890 HAS SOUS 1047635 HAS SOUPS 1047635 WITH SCORE 1048957.89
AT ITER 1218 NEW BEST:: SOT 6874318 SOS 1322766 HAS SOPS 1322766 HAS SOUS 1047511 HAS SOUPS 1047511 WITH SCORE 1048833.766
AT ITER 1225 NEW BEST:: SOT 6873786 SOS 1322290 HAS SOPS 1322290 HAS SOUS 1047491 HAS SOUPS 1047491 WITH SCORE 1048813.29
AT ITER 1233 NEW BEST:: SOT 6873462 SOS 1321966 HAS SOPS 1321966 HAS SOUS 1046848 HAS SOUPS 1046848 WITH SCORE 1048169.966
AT ITER 1249 NEW BEST:: SOT 6871955 SOS 1320606 HAS SOPS 1320606 HAS SOUS 1045488 HAS SOUPS 1045488 WITH SCORE 1046808.606
AT ITER 1259 NEW BEST:: SOT 6871954 SOS 1320281 HAS SOPS 1320281 HAS SOUS 1045311 HAS SOUPS 1045311 WITH SCORE 1046631.281
AT ITER 1265 NEW BEST:: SOT 6871954 SOS 1320183 HAS SOPS 1320183 HAS SOUS 1045311 HAS SOUPS 1045311 WITH SCORE 1046631.183
AT ITER 1279 NEW BEST:: SOT 6871954 SOS 1320198 HAS SOPS 1320198 HAS SOUS 1045296 HAS SOUPS 1045296 WITH SCORE 1046616.198
AT ITER 1292 NEW BEST:: SOT 6875115 SOS 1323544 HAS SOPS 1323544 HAS SOUS 1043481 HAS SOUPS 1043481 WITH SCORE 1044804.544
AT ITER 1295 NEW BEST:: SOT 6875107 SOS 1323528 HAS SOPS 1323528 HAS SOUS 1043473 HAS SOUPS 1043473 WITH SCORE 1044796.528
AT ITER 1316 NEW BEST:: SOT 6875107 SOS 1323513 HAS SOPS 1323513 HAS SOUS 1043458 HAS SOUPS 1043458 WITH SCORE 1044781.513
AT ITER 1322 NEW BEST:: SOT 6875070 SOS 1323253 HAS SOPS 1323253 HAS SOUS 1043383 HAS SOUPS 1043383 WITH SCORE 1044706.253
AT ITER 1327 NEW BEST:: SOT 6874802 SOS 1322493 HAS SOPS 1322493 HAS SOUS 1037443 HAS SOUPS 1037443 WITH SCORE 1038765.493
AT ITER 1348 NEW BEST:: SOT 6874633 SOS 1322154 HAS SOPS 1322154 HAS SOUS 1037104 HAS SOUPS 1037104 WITH SCORE 1038426.154
AT ITER 1351 NEW BEST:: SOT 6874633 SOS 1321564 HAS SOPS 1321564 HAS SOUS 1036514 HAS SOUPS 1036514 WITH SCORE 1037835.564
AT ITER 1389 NEW BEST:: SOT 6874633 SOS 1321553 HAS SOPS 1321553 HAS SOUS 1036503 HAS SOUPS 1036503 WITH SCORE 1037824.553
AT ITER 1396 NEW BEST:: SOT 6874351 SOS 1320926 HAS SOPS 1320926 HAS SOUS 1035876 HAS SOUPS 1035876 WITH SCORE 1037196.926
AT ITER 1413 NEW BEST:: SOT 6874351 SOS 1321306 HAS SOPS 1321306 HAS SOUS 1035850 HAS SOUPS 1035850 WITH SCORE 1037171.306
AT ITER 1418 NEW BEST:: SOT 6874060 SOS 1320916 HAS SOPS 1320916 HAS SOUS 1035460 HAS SOUPS 1035460 WITH SCORE 1036780.916
AT ITER 1431 NEW BEST:: SOT 6872932 SOS 1321462 HAS SOPS 1321462 HAS SOUS 1034808 HAS SOUPS 1034808 WITH SCORE 1036129.462
AT ITER 1432 NEW BEST:: SOT 6872932 SOS 1321630 HAS SOPS 1321630 HAS SOUS 1034807 HAS SOUPS 1034807 WITH SCORE 1036128.63
AT ITER 1435 NEW BEST:: SOT 6872932 SOS 1321435 HAS SOPS 1321435 HAS SOUS 1034612 HAS SOUPS 1034612 WITH SCORE 1035933.435
AT ITER 1444 NEW BEST:: SOT 6871795 SOS 1320376 HAS SOPS 1320376 HAS SOUS 1033498 HAS SOUPS 1033498 WITH SCORE 1034818.376
AT ITER 1481 NEW BEST:: SOT 6871669 SOS 1320110 HAS SOPS 1320110 HAS SOUS 1033237 HAS SOUPS 1033237 WITH SCORE 1034557.11
AT ITER 1521 NEW BEST:: SOT 6871669 SOS 1320655 HAS SOPS 1320655 HAS SOUS 1033180 HAS SOUPS 1033180 WITH SCORE 1034500.655
AT ITER 1545 NEW BEST:: SOT 6871669 SOS 1320349 HAS SOPS 1320349 HAS SOUS 1033173 HAS SOUPS 1033173 WITH SCORE 1034493.349
AT ITER 1579 NEW BEST:: SOT 6871497 SOS 1320121 HAS SOPS 1320121 HAS SOUS 1032945 HAS SOUPS 1032945 WITH SCORE 1034265.121
AT ITER 1591 NEW BEST:: SOT 6871385 SOS 1319943 HAS SOPS 1319943 HAS SOUS 1032767 HAS SOUPS 1032767 WITH SCORE 1034086.943
AT ITER 1627 NEW BEST:: SOT 6871361 SOS 1319895 HAS SOPS 1319895 HAS SOUS 1032719 HAS SOUPS 1032719 WITH SCORE 1034038.895
AT ITER 1634 NEW BEST:: SOT 6868024 SOS 1331285 HAS SOPS 1331285 HAS SOUS 1030941 HAS SOUPS 1030941 WITH SCORE 1032272.285
AT ITER 1652 NEW BEST:: SOT 6867911 SOS 1331059 HAS SOPS 1331059 HAS SOUS 1030715 HAS SOUPS 1030715 WITH SCORE 1032046.059
AT ITER 1727 NEW BEST:: SOT 6867687 SOS 1331018 HAS SOPS 1331018 HAS SOUS 1030704 HAS SOUPS 1030704 WITH SCORE 1032035.018
AT ITER 1742 NEW BEST:: SOT 6867788 SOS 1330933 HAS SOPS 1330933 HAS SOUS 1030683 HAS SOUPS 1030683 WITH SCORE 1032013.933
AT ITER 1769 NEW BEST:: SOT 6867698 SOS 1330805 HAS SOPS 1330805 HAS SOUS 1030555 HAS SOUPS 1030555 WITH SCORE 1031885.805
AT ITER 1780 NEW BEST:: SOT 6867698 SOS 1330762 HAS SOPS 1330762 HAS SOUS 1030553 HAS SOUPS 1030553 WITH SCORE 1031883.762
AT ITER 1792 NEW BEST:: SOT 6867697 SOS 1330941 HAS SOPS 1330941 HAS SOUS 1030552 HAS SOUPS 1030552 WITH SCORE 1031882.941
AT ITER 1821 NEW BEST:: SOT 6866801 SOS 1330201 HAS SOPS 1330201 HAS SOUS 1029697 HAS SOUPS 1029697 WITH SCORE 1031027.201
AT ITER 1826 NEW BEST:: SOT 6866739 SOS 1330201 HAS SOPS 1330201 HAS SOUS 1029665 HAS SOUPS 1029665 WITH SCORE 1030995.201
AT ITER 1836 NEW BEST:: SOT 6866713 SOS 1330149 HAS SOPS 1330149 HAS SOUS 1029638 HAS SOUPS 1029638 WITH SCORE 1030968.149
AT ITER 1850 NEW BEST:: SOT 6866713 SOS 1330147 HAS SOPS 1330147 HAS SOUS 1029636 HAS SOUPS 1029636 WITH SCORE 1030966.147
AT ITER 1868 NEW BEST:: SOT 6866542 SOS 1330146 HAS SOPS 1330146 HAS SOUS 1029542 HAS SOUPS 1029542 WITH SCORE 1030872.146
AT ITER 1879 NEW BEST:: SOT 6866315 SOS 1329690 HAS SOPS 1329690 HAS SOUS 1029087 HAS SOUPS 1029087 WITH SCORE 1030416.69
AT ITER 1882 NEW BEST:: SOT 6866315 SOS 1329537 HAS SOPS 1329537 HAS SOUS 1028969 HAS SOUPS 1028969 WITH SCORE 1030298.537
AT ITER 1945 NEW BEST:: SOT 6866191 SOS 1329165 HAS SOPS 1329165 HAS SOUS 1028720 HAS SOUPS 1028720 WITH SCORE 1030049.165
AT ITER 1953 NEW BEST:: SOT 6865814 SOS 1328490 HAS SOPS 1328490 HAS SOUS 1028348 HAS SOUPS 1028348 WITH SCORE 1029676.49
AT ITER 1958 NEW BEST:: SOT 6865813 SOS 1328488 HAS SOPS 1328488 HAS SOUS 1028346 HAS SOUPS 1028346 WITH SCORE 1029674.488
AT ITER 1960 NEW BEST:: SOT 6865225 SOS 1328194 HAS SOPS 1328194 HAS SOUS 1028052 HAS SOUPS 1028052 WITH SCORE 1029380.194
AT ITER 1988 NEW BEST:: SOT 6863105 SOS 1327684 HAS SOPS 1327684 HAS SOUS 1026388 HAS SOUPS 1026388 WITH SCORE 1027715.684
AT ITER 2007 NEW BEST:: SOT 6863018 SOS 1329641 HAS SOPS 1329641 HAS SOUS 1026305 HAS SOUPS 1026305 WITH SCORE 1027634.641
AT ITER 2063 NEW BEST:: SOT 6862942 SOS 1329489 HAS SOPS 1329489 HAS SOUS 1026153 HAS SOUPS 1026153 WITH SCORE 1027482.489
AT ITER 2079 NEW BEST:: SOT 6862783 SOS 1329330 HAS SOPS 1329330 HAS SOUS 1025994 HAS SOUPS 1025994 WITH SCORE 1027323.33
AT ITER 2099 NEW BEST:: SOT 6862723 SOS 1328511 HAS SOPS 1328511 HAS SOUS 1025636 HAS SOUPS 1025636 WITH SCORE 1026964.511
AT ITER 2116 NEW BEST:: SOT 6862712 SOS 1328500 HAS SOPS 1328500 HAS SOUS 1025635 HAS SOUPS 1025635 WITH SCORE 1026963.5
AT ITER 2149 NEW BEST:: SOT 6862304 SOS 1327990 HAS SOPS 1327990 HAS SOUS 1025227 HAS SOUPS 1025227 WITH SCORE 1026554.99
AT ITER 2152 NEW BEST:: SOT 6861880 SOS 1327297 HAS SOPS 1327297 HAS SOUS 1024799 HAS SOUPS 1024799 WITH SCORE 1026126.297
AT ITER 2166 NEW BEST:: SOT 6860677 SOS 1329896 HAS SOPS 1329896 HAS SOUS 1024118 HAS SOUPS 1024118 WITH SCORE 1025447.896
AT ITER 2188 NEW BEST:: SOT 6860559 SOS 1327476 HAS SOPS 1327476 HAS SOUS 1023795 HAS SOUPS 1023795 WITH SCORE 1025122.476
AT ITER 2193 NEW BEST:: SOT 6860283 SOS 1327200 HAS SOPS 1327200 HAS SOUS 1023243 HAS SOUPS 1023243 WITH SCORE 1024570.2
AT ITER 2218 NEW BEST:: SOT 6859460 SOS 1335507 HAS SOPS 1335507 HAS SOUS 1023227 HAS SOUPS 1023227 WITH SCORE 1024562.507
AT ITER 2220 NEW BEST:: SOT 6859119 SOS 1334825 HAS SOPS 1334825 HAS SOUS 1022545 HAS SOUPS 1022545 WITH SCORE 1023879.825
AT ITER 2230 NEW BEST:: SOT 6857119 SOS 1332907 HAS SOPS 1332907 HAS SOUS 1022338 HAS SOUPS 1022338 WITH SCORE 1023670.907
AT ITER 2268 NEW BEST:: SOT 6857119 SOS 1332905 HAS SOPS 1332905 HAS SOUS 1022336 HAS SOUPS 1022336 WITH SCORE 1023668.905
AT ITER 2271 NEW BEST:: SOT 6857032 SOS 1332644 HAS SOPS 1332644 HAS SOUS 1022075 HAS SOUPS 1022075 WITH SCORE 1023407.644
AT ITER 2281 NEW BEST:: SOT 6857032 SOS 1332547 HAS SOPS 1332547 HAS SOUS 1022075 HAS SOUPS 1022075 WITH SCORE 1023407.547
AT ITER 2305 NEW BEST:: SOT 6857032 SOS 1332407 HAS SOPS 1332407 HAS SOUS 1022075 HAS SOUPS 1022075 WITH SCORE 1023407.407
AT ITER 2332 NEW BEST:: SOT 6856951 SOS 1332008 HAS SOPS 1332008 HAS SOUS 1021930 HAS SOUPS 1021930 WITH SCORE 1023262.008
AT ITER 2340 NEW BEST:: SOT 6856867 SOS 1331815 HAS SOPS 1331815 HAS SOUS 1021621 HAS SOUPS 1021621 WITH SCORE 1022952.815
AT ITER 2342 NEW BEST:: SOT 6856862 SOS 1331810 HAS SOPS 1331810 HAS SOUS 1021616 HAS SOUPS 1021616 WITH SCORE 1022947.81
AT ITER 2369 NEW BEST:: SOT 6856808 SOS 1331766 HAS SOPS 1331766 HAS SOUS 1021572 HAS SOUPS 1021572 WITH SCORE 1022903.766
AT ITER 2372 NEW BEST:: SOT 6856770 SOS 1331547 HAS SOPS 1331547 HAS SOUS 1021353 HAS SOUPS 1021353 WITH SCORE 1022684.547
AT ITER 2381 NEW BEST:: SOT 6856747 SOS 1331506 HAS SOPS 1331506 HAS SOUS 1021312 HAS SOUPS 1021312 WITH SCORE 1022643.506
AT ITER 2399 NEW BEST:: SOT 6856747 SOS 1331489 HAS SOPS 1331489 HAS SOUS 1021295 HAS SOUPS 1021295 WITH SCORE 1022626.489
AT ITER 2435 NEW BEST:: SOT 6856349 SOS 1330666 HAS SOPS 1330666 HAS SOUS 1020896 HAS SOUPS 1020896 WITH SCORE 1022226.666
AT ITER 2445 NEW BEST:: SOT 6856180 SOS 1330497 HAS SOPS 1330497 HAS SOUS 1020725 HAS SOUPS 1020725 WITH SCORE 1022055.497
AT ITER 2449 NEW BEST:: SOT 6856049 SOS 1329948 HAS SOPS 1329948 HAS SOUS 1020176 HAS SOUPS 1020176 WITH SCORE 1021505.948
AT ITER 2461 NEW BEST:: SOT 6856021 SOS 1329920 HAS SOPS 1329920 HAS SOUS 1020148 HAS SOUPS 1020148 WITH SCORE 1021477.92
AT ITER 2474 NEW BEST:: SOT 6855870 SOS 1329767 HAS SOPS 1329767 HAS SOUS 1019844 HAS SOUPS 1019844 WITH SCORE 1021173.767
AT ITER 2491 NEW BEST:: SOT 6854694 SOS 1328724 HAS SOPS 1328724 HAS SOUS 1018777 HAS SOUPS 1018777 WITH SCORE 1020105.724
AT ITER 2502 NEW BEST:: SOT 6851924 SOS 1329061 HAS SOPS 1329061 HAS SOUS 1016737 HAS SOUPS 1016737 WITH SCORE 1018066.061
AT ITER 2527 NEW BEST:: SOT 6851771 SOS 1328916 HAS SOPS 1328916 HAS SOUS 1016592 HAS SOUPS 1016592 WITH SCORE 1017920.916
AT ITER 2535 NEW BEST:: SOT 6851765 SOS 1328910 HAS SOPS 1328910 HAS SOUS 1016586 HAS SOUPS 1016586 WITH SCORE 1017914.91
AT ITER 2560 NEW BEST:: SOT 6851763 SOS 1328876 HAS SOPS 1328876 HAS SOUS 1016582 HAS SOUPS 1016582 WITH SCORE 1017910.876
AT ITER 2583 NEW BEST:: SOT 6851637 SOS 1328732 HAS SOPS 1328732 HAS SOUS 1016564 HAS SOUPS 1016564 WITH SCORE 1017892.732
AT ITER 2585 NEW BEST:: SOT 6851585 SOS 1328581 HAS SOPS 1328581 HAS SOUS 1016510 HAS SOUPS 1016510 WITH SCORE 1017838.581
AT ITER 2616 NEW BEST:: SOT 6851651 SOS 1328647 HAS SOPS 1328647 HAS SOUS 1016499 HAS SOUPS 1016499 WITH SCORE 1017827.647
AT ITER 2625 NEW BEST:: SOT 6851535 SOS 1328415 HAS SOPS 1328415 HAS SOUS 1016267 HAS SOUPS 1016267 WITH SCORE 1017595.415
AT ITER 2649 NEW BEST:: SOT 6851302 SOS 1328157 HAS SOPS 1328157 HAS SOUS 1015798 HAS SOUPS 1015798 WITH SCORE 1017126.157
AT ITER 2656 NEW BEST:: SOT 6851134 SOS 1327806 HAS SOPS 1327806 HAS SOUS 1015293 HAS SOUPS 1015293 WITH SCORE 1016620.806
AT ITER 2657 NEW BEST:: SOT 6849877 SOS 1328919 HAS SOPS 1328919 HAS SOUS 1014665 HAS SOUPS 1014665 WITH SCORE 1015993.919
AT ITER 2688 NEW BEST:: SOT 6849721 SOS 1328607 HAS SOPS 1328607 HAS SOUS 1014353 HAS SOUPS 1014353 WITH SCORE 1015681.607
AT ITER 2690 NEW BEST:: SOT 6849720 SOS 1328435 HAS SOPS 1328435 HAS SOUS 1014181 HAS SOUPS 1014181 WITH SCORE 1015509.435
AT ITER 2703 NEW BEST:: SOT 6849488 SOS 1328186 HAS SOPS 1328186 HAS SOUS 1013948 HAS SOUPS 1013948 WITH SCORE 1015276.186
AT ITER 2721 NEW BEST:: SOT 6849041 SOS 1327348 HAS SOPS 1327348 HAS SOUS 1013748 HAS SOUPS 1013748 WITH SCORE 1015075.348
AT ITER 2730 NEW BEST:: SOT 6849041 SOS 1327262 HAS SOPS 1327262 HAS SOUS 1013662 HAS SOUPS 1013662 WITH SCORE 1014989.262
AT ITER 2732 NEW BEST:: SOT 6849002 SOS 1327288 HAS SOPS 1327288 HAS SOUS 1013636 HAS SOUPS 1013636 WITH SCORE 1014963.288
AT ITER 2791 NEW BEST:: SOT 6849223 SOS 1327174 HAS SOPS 1327174 HAS SOUS 1013522 HAS SOUPS 1013522 WITH SCORE 1014849.174
AT ITER 2817 NEW BEST:: SOT 6849200 SOS 1327128 HAS SOPS 1327128 HAS SOUS 1013497 HAS SOUPS 1013497 WITH SCORE 1014824.128
AT ITER 2835 NEW BEST:: SOT 6849200 SOS 1327143 HAS SOPS 1327143 HAS SOUS 1013317 HAS SOUPS 1013317 WITH SCORE 1014644.143
AT ITER 2846 NEW BEST:: SOT 6849194 SOS 1327149 HAS SOPS 1327149 HAS SOUS 1013303 HAS SOUPS 1013303 WITH SCORE 1014630.149
AT ITER 2853 NEW BEST:: SOT 6849194 SOS 1326988 HAS SOPS 1326988 HAS SOUS 1013303 HAS SOUPS 1013303 WITH SCORE 1014629.988
AT ITER 2910 NEW BEST:: SOT 6849087 SOS 1326729 HAS SOPS 1326729 HAS SOUS 1013190 HAS SOUPS 1013190 WITH SCORE 1014516.729
AT ITER 2931 NEW BEST:: SOT 6848965 SOS 1326694 HAS SOPS 1326694 HAS SOUS 1013155 HAS SOUPS 1013155 WITH SCORE 1014481.694
AT ITER 2943 NEW BEST:: SOT 6848912 SOS 1326624 HAS SOPS 1326624 HAS SOUS 1013085 HAS SOUPS 1013085 WITH SCORE 1014411.624
AT ITER 2951 NEW BEST:: SOT 6848883 SOS 1326537 HAS SOPS 1326537 HAS SOUS 1013027 HAS SOUPS 1013027 WITH SCORE 1014353.537
AT ITER 2965 NEW BEST:: SOT 6848883 SOS 1326536 HAS SOPS 1326536 HAS SOUS 1013024 HAS SOUPS 1013024 WITH SCORE 1014350.536
AT ITER 3018 NEW BEST:: SOT 6848094 SOS 1325850 HAS SOPS 1325850 HAS SOUS 1012338 HAS SOUPS 1012338 WITH SCORE 1013663.85
AT ITER 3020 NEW BEST:: SOT 6848017 SOS 1325777 HAS SOPS 1325777 HAS SOUS 1012265 HAS SOUPS 1012265 WITH SCORE 1013590.777
AT ITER 3035 NEW BEST:: SOT 6847664 SOS 1325071 HAS SOPS 1325071 HAS SOUS 1011559 HAS SOUPS 1011559 WITH SCORE 1012884.071
AT ITER 3040 NEW BEST:: SOT 6847779 SOS 1324908 HAS SOPS 1324908 HAS SOUS 1011396 HAS SOUPS 1011396 WITH SCORE 1012720.908
AT ITER 3103 NEW BEST:: SOT 6847738 SOS 1324867 HAS SOPS 1324867 HAS SOUS 1011355 HAS SOUPS 1011355 WITH SCORE 1012679.867
AT ITER 3133 NEW BEST:: SOT 6848246 SOS 1325475 HAS SOPS 1325475 HAS SOUS 1009723 HAS SOUPS 1009723 WITH SCORE 1011048.475
AT ITER 3141 NEW BEST:: SOT 6848198 SOS 1325408 HAS SOPS 1325408 HAS SOUS 1009601 HAS SOUPS 1009601 WITH SCORE 1010926.408
AT ITER 3162 NEW BEST:: SOT 6848155 SOS 1325044 HAS SOPS 1325044 HAS SOUS 1009595 HAS SOUPS 1009595 WITH SCORE 1010920.044
AT ITER 3179 NEW BEST:: SOT 6847987 SOS 1324395 HAS SOPS 1324395 HAS SOUS 1009317 HAS SOUPS 1009317 WITH SCORE 1010641.395
AT ITER 3180 NEW BEST:: SOT 6847846 SOS 1324344 HAS SOPS 1324344 HAS SOUS 1009035 HAS SOUPS 1009035 WITH SCORE 1010359.344
AT ITER 3184 NEW BEST:: SOT 6847082 SOS 1322816 HAS SOPS 1322816 HAS SOUS 1007507 HAS SOUPS 1007507 WITH SCORE 1008829.816
AT ITER 3245 NEW BEST:: SOT 6847082 SOS 1322706 HAS SOPS 1322706 HAS SOUS 1007506 HAS SOUPS 1007506 WITH SCORE 1008828.706
AT ITER 3246 NEW BEST:: SOT 6847082 SOS 1322208 HAS SOPS 1322208 HAS SOUS 1007008 HAS SOUPS 1007008 WITH SCORE 1008330.208
AT ITER 3261 NEW BEST:: SOT 6847082 SOS 1322042 HAS SOPS 1322042 HAS SOUS 1007008 HAS SOUPS 1007008 WITH SCORE 1008330.042
AT ITER 3263 NEW BEST:: SOT 6847082 SOS 1322036 HAS SOPS 1322036 HAS SOUS 1007008 HAS SOUPS 1007008 WITH SCORE 1008330.036
AT ITER 3325 NEW BEST:: SOT 6846981 SOS 1321834 HAS SOPS 1321834 HAS SOUS 1006710 HAS SOUPS 1006710 WITH SCORE 1008031.834
AT ITER 3327 NEW BEST:: SOT 6846589 SOS 1321381 HAS SOPS 1321381 HAS SOUS 1006257 HAS SOUPS 1006257 WITH SCORE 1007578.381
AT ITER 3339 NEW BEST:: SOT 6845784 SOS 1320461 HAS SOPS 1320461 HAS SOUS 1006142 HAS SOUPS 1006142 WITH SCORE 1007462.461
AT ITER 3341 NEW BEST:: SOT 6845212 SOS 1323103 HAS SOPS 1323103 HAS SOUS 1005924 HAS SOUPS 1005924 WITH SCORE 1007247.103
AT ITER 3372 NEW BEST:: SOT 6845211 SOS 1323101 HAS SOPS 1323101 HAS SOUS 1005922 HAS SOUPS 1005922 WITH SCORE 1007245.101
AT ITER 3387 NEW BEST:: SOT 6844915 SOS 1323222 HAS SOPS 1323222 HAS SOUS 1005331 HAS SOUPS 1005331 WITH SCORE 1006654.222
AT ITER 3409 NEW BEST:: SOT 6843284 SOS 1321358 HAS SOPS 1321358 HAS SOUS 1003467 HAS SOUPS 1003467 WITH SCORE 1004788.358
AT ITER 3461 NEW BEST:: SOT 6843054 SOS 1321236 HAS SOPS 1321236 HAS SOUS 1003162 HAS SOUPS 1003162 WITH SCORE 1004483.236
AT ITER 3477 NEW BEST:: SOT 6843054 SOS 1321236 HAS SOPS 1321236 HAS SOUS 1003161 HAS SOUPS 1003161 WITH SCORE 1004482.236
AT ITER 3493 NEW BEST:: SOT 6842857 SOS 1320841 HAS SOPS 1320841 HAS SOUS 1002964 HAS SOUPS 1002964 WITH SCORE 1004284.841
AT ITER 3499 NEW BEST:: SOT 6842632 SOS 1320682 HAS SOPS 1320682 HAS SOUS 1002805 HAS SOUPS 1002805 WITH SCORE 1004125.682
AT ITER 3556 NEW BEST:: SOT 6842565 SOS 1320481 HAS SOPS 1320481 HAS SOUS 1002604 HAS SOUPS 1002604 WITH SCORE 1003924.481
AT ITER 3564 NEW BEST:: SOT 6842571 SOS 1320493 HAS SOPS 1320493 HAS SOUS 1002541 HAS SOUPS 1002541 WITH SCORE 1003861.493
AT ITER 3571 NEW BEST:: SOT 6842385 SOS 1320393 HAS SOPS 1320393 HAS SOUS 1002355 HAS SOUPS 1002355 WITH SCORE 1003675.393
AT ITER 3576 NEW BEST:: SOT 6842385 SOS 1320377 HAS SOPS 1320377 HAS SOUS 1002339 HAS SOUPS 1002339 WITH SCORE 1003659.377
AT ITER 3580 NEW BEST:: SOT 6842348 SOS 1320057 HAS SOPS 1320057 HAS SOUS 1002312 HAS SOUPS 1002312 WITH SCORE 1003632.057
AT ITER 3583 NEW BEST:: SOT 6842272 SOS 1319857 HAS SOPS 1319857 HAS SOUS 1002112 HAS SOUPS 1002112 WITH SCORE 1003431.857
AT ITER 3592 NEW BEST:: SOT 6842228 SOS 1319769 HAS SOPS 1319769 HAS SOUS 1002068 HAS SOUPS 1002068 WITH SCORE 1003387.769
AT ITER 3594 NEW BEST:: SOT 6842043 SOS 1319708 HAS SOPS 1319708 HAS SOUS 1002007 HAS SOUPS 1002007 WITH SCORE 1003326.708
AT ITER 3619 NEW BEST:: SOT 6842037 SOS 1319696 HAS SOPS 1319696 HAS SOUS 1001995 HAS SOUPS 1001995 WITH SCORE 1003314.696
AT ITER 3636 NEW BEST:: SOT 6842013 SOS 1319648 HAS SOPS 1319648 HAS SOUS 1001947 HAS SOUPS 1001947 WITH SCORE 1003266.648
AT ITER 3686 NEW BEST:: SOT 6842013 SOS 1319591 HAS SOPS 1319591 HAS SOUS 1001890 HAS SOUPS 1001890 WITH SCORE 1003209.591
AT ITER 3689 NEW BEST:: SOT 6841714 SOS 1319419 HAS SOPS 1319419 HAS SOUS 1001707 HAS SOUPS 1001707 WITH SCORE 1003026.419
AT ITER 3715 NEW BEST:: SOT 6841664 SOS 1319298 HAS SOPS 1319298 HAS SOUS 1001597 HAS SOUPS 1001597 WITH SCORE 1002916.298
AT ITER 3734 NEW BEST:: SOT 6841585 SOS 1319437 HAS SOPS 1319437 HAS SOUS 1000554 HAS SOUPS 1000554 WITH SCORE 1001873.437
AT ITER 3742 NEW BEST:: SOT 6841407 SOS 1319128 HAS SOPS 1319128 HAS SOUS 1000245 HAS SOUPS 1000245 WITH SCORE 1001564.128
AT ITER 3766 NEW BEST:: SOT 6840224 SOS 1318082 HAS SOPS 1318082 HAS SOUS 1000165 HAS SOUPS 1000165 WITH SCORE 1001483.082
AT ITER 3780 NEW BEST:: SOT 6839995 SOS 1318027 HAS SOPS 1318027 HAS SOUS 999962 HAS SOUPS 999962 WITH SCORE 1001280.027
AT ITER 3797 NEW BEST:: SOT 6839903 SOS 1317830 HAS SOPS 1317830 HAS SOUS 999765 HAS SOUPS 999765 WITH SCORE 1001082.83
AT ITER 3816 NEW BEST:: SOT 6839902 SOS 1317599 HAS SOPS 1317599 HAS SOUS 999534 HAS SOUPS 999534 WITH SCORE 1000851.599
AT ITER 3822 NEW BEST:: SOT 6839775 SOS 1317523 HAS SOPS 1317523 HAS SOUS 999458 HAS SOUPS 999458 WITH SCORE 1000775.523
AT ITER 3834 NEW BEST:: SOT 6839568 SOS 1317109 HAS SOPS 1317109 HAS SOUS 999044 HAS SOUPS 999044 WITH SCORE 1000361.109
AT ITER 3837 NEW BEST:: SOT 6838420 SOS 1315940 HAS SOPS 1315940 HAS SOUS 997880 HAS SOUPS 997880 WITH SCORE 999195.94
AT ITER 3909 NEW BEST:: SOT 6840149 SOS 1318359 HAS SOPS 1318359 HAS SOUS 997635 HAS SOUPS 997635 WITH SCORE 998953.359
AT ITER 3912 NEW BEST:: SOT 6840149 SOS 1318511 HAS SOPS 1318511 HAS SOUS 996265 HAS SOUPS 996265 WITH SCORE 997583.511
AT ITER 3940 NEW BEST:: SOT 6839776 SOS 1317932 HAS SOPS 1317932 HAS SOUS 995518 HAS SOUPS 995518 WITH SCORE 996835.932
AT ITER 3941 NEW BEST:: SOT 6839621 SOS 1317622 HAS SOPS 1317622 HAS SOUS 995208 HAS SOUPS 995208 WITH SCORE 996525.622
AT ITER 3946 NEW BEST:: SOT 6839560 SOS 1317561 HAS SOPS 1317561 HAS SOUS 995147 HAS SOUPS 995147 WITH SCORE 996464.561
AT ITER 3980 NEW BEST:: SOT 6839297 SOS 1317035 HAS SOPS 1317035 HAS SOUS 994621 HAS SOUPS 994621 WITH SCORE 995938.035
AT ITER 4033 NEW BEST:: SOT 6839327 SOS 1316909 HAS SOPS 1316909 HAS SOUS 994610 HAS SOUPS 994610 WITH SCORE 995926.909
AT ITER 4034 NEW BEST:: SOT 6839096 SOS 1316678 HAS SOPS 1316678 HAS SOUS 993915 HAS SOUPS 993915 WITH SCORE 995231.678
AT ITER 4041 NEW BEST:: SOT 6838904 SOS 1316390 HAS SOPS 1316390 HAS SOUS 993627 HAS SOUPS 993627 WITH SCORE 994943.39
AT ITER 4042 NEW BEST:: SOT 6838851 SOS 1316320 HAS SOPS 1316320 HAS SOUS 993557 HAS SOUPS 993557 WITH SCORE 994873.32
AT ITER 4053 NEW BEST:: SOT 6838851 SOS 1316122 HAS SOPS 1316122 HAS SOUS 993555 HAS SOUPS 993555 WITH SCORE 994871.122
AT ITER 4058 NEW BEST:: SOT 6838851 SOS 1316113 HAS SOPS 1316113 HAS SOUS 993555 HAS SOUPS 993555 WITH SCORE 994871.113
AT ITER 4080 NEW BEST:: SOT 6838851 SOS 1315959 HAS SOPS 1315959 HAS SOUS 993555 HAS SOUPS 993555 WITH SCORE 994870.959
AT ITER 4100 NEW BEST:: SOT 6838484 SOS 1315231 HAS SOPS 1315231 HAS SOUS 993168 HAS SOUPS 993168 WITH SCORE 994483.231
AT ITER 4119 NEW BEST:: SOT 6838358 SOS 1315087 HAS SOPS 1315087 HAS SOUS 993150 HAS SOUPS 993150 WITH SCORE 994465.087
AT ITER 4140 NEW BEST:: SOT 6838358 SOS 1315076 HAS SOPS 1315076 HAS SOUS 993150 HAS SOUPS 993150 WITH SCORE 994465.076
AT ITER 4155 NEW BEST:: SOT 6838324 SOS 1315008 HAS SOPS 1315008 HAS SOUS 993082 HAS SOUPS 993082 WITH SCORE 994397.008
AT ITER 4177 NEW BEST:: SOT 6838131 SOS 1314611 HAS SOPS 1314611 HAS SOUS 992685 HAS SOUPS 992685 WITH SCORE 993999.611
AT ITER 4180 NEW BEST:: SOT 6838131 SOS 1314472 HAS SOPS 1314472 HAS SOUS 992684 HAS SOUPS 992684 WITH SCORE 993998.472
AT ITER 4184 NEW BEST:: SOT 6838131 SOS 1314471 HAS SOPS 1314471 HAS SOUS 992496 HAS SOUPS 992496 WITH SCORE 993810.471
AT ITER 4197 NEW BEST:: SOT 6838090 SOS 1314363 HAS SOPS 1314363 HAS SOUS 992388 HAS SOUPS 992388 WITH SCORE 993702.363
AT ITER 4225 NEW BEST:: SOT 6837880 SOS 1314153 HAS SOPS 1314153 HAS SOUS 992387 HAS SOUPS 992387 WITH SCORE 993701.153
AT ITER 4230 NEW BEST:: SOT 6837880 SOS 1314043 HAS SOPS 1314043 HAS SOUS 992387 HAS SOUPS 992387 WITH SCORE 993701.043
AT ITER 4235 NEW BEST:: SOT 6837741 SOS 1313732 HAS SOPS 1313732 HAS SOUS 992076 HAS SOUPS 992076 WITH SCORE 993389.732
AT ITER 4256 NEW BEST:: SOT 6837410 SOS 1313070 HAS SOPS 1313070 HAS SOUS 991744 HAS SOUPS 991744 WITH SCORE 993057.07
AT ITER 4265 NEW BEST:: SOT 6837410 SOS 1312935 HAS SOPS 1312935 HAS SOUS 991743 HAS SOUPS 991743 WITH SCORE 993055.935
AT ITER 4303 NEW BEST:: SOT 6837409 SOS 1312933 HAS SOPS 1312933 HAS SOUS 991741 HAS SOUPS 991741 WITH SCORE 993053.933
AT ITER 4307 NEW BEST:: SOT 6837465 SOS 1312783 HAS SOPS 1312783 HAS SOUS 991591 HAS SOUPS 991591 WITH SCORE 992903.783
AT ITER 4319 NEW BEST:: SOT 6837263 SOS 1312379 HAS SOPS 1312379 HAS SOUS 991187 HAS SOUPS 991187 WITH SCORE 992499.379
AT ITER 4330 NEW BEST:: SOT 6837063 SOS 1311863 HAS SOPS 1311863 HAS SOUS 991002 HAS SOUPS 991002 WITH SCORE 992313.863
AT ITER 4359 NEW BEST:: SOT 6836813 SOS 1311582 HAS SOPS 1311582 HAS SOUS 990971 HAS SOUPS 990971 WITH SCORE 992282.582
AT ITER 4413 NEW BEST:: SOT 6836620 SOS 1311256 HAS SOPS 1311256 HAS SOUS 990777 HAS SOUPS 990777 WITH SCORE 992088.256
AT ITER 4427 NEW BEST:: SOT 6836360 SOS 1312767 HAS SOPS 1312767 HAS SOUS 990510 HAS SOUPS 990510 WITH SCORE 991822.767
AT ITER 4436 NEW BEST:: SOT 6836339 SOS 1312746 HAS SOPS 1312746 HAS SOUS 990468 HAS SOUPS 990468 WITH SCORE 991780.746
AT ITER 4439 NEW BEST:: SOT 6835996 SOS 1311590 HAS SOPS 1311590 HAS SOUS 990038 HAS SOUPS 990038 WITH SCORE 991349.59
AT ITER 4481 NEW BEST:: SOT 6835996 SOS 1311506 HAS SOPS 1311506 HAS SOUS 990037 HAS SOUPS 990037 WITH SCORE 991348.506
AT ITER 4489 NEW BEST:: SOT 6835884 SOS 1311282 HAS SOPS 1311282 HAS SOUS 989925 HAS SOUPS 989925 WITH SCORE 991236.282
AT ITER 4501 NEW BEST:: SOT 6835828 SOS 1310978 HAS SOPS 1310978 HAS SOUS 989579 HAS SOUPS 989579 WITH SCORE 990889.978
AT ITER 4511 NEW BEST:: SOT 6835159 SOS 1310379 HAS SOPS 1310379 HAS SOUS 988830 HAS SOUPS 988830 WITH SCORE 990140.379
AT ITER 4530 NEW BEST:: SOT 6834933 SOS 1309713 HAS SOPS 1309713 HAS SOUS 988164 HAS SOUPS 988164 WITH SCORE 989473.713
AT ITER 4554 NEW BEST:: SOT 6834749 SOS 1309701 HAS SOPS 1309701 HAS SOUS 988152 HAS SOUPS 988152 WITH SCORE 989461.701
AT ITER 4635 NEW BEST:: SOT 6834377 SOS 1309139 HAS SOPS 1309139 HAS SOUS 987780 HAS SOUPS 987780 WITH SCORE 989089.139
AT ITER 4636 NEW BEST:: SOT 6834361 SOS 1309139 HAS SOPS 1309139 HAS SOUS 987764 HAS SOUPS 987764 WITH SCORE 989073.139
AT ITER 4637 NEW BEST:: SOT 6834274 SOS 1308995 HAS SOPS 1308995 HAS SOUS 987620 HAS SOUPS 987620 WITH SCORE 988928.995
AT ITER 4654 NEW BEST:: SOT 6834190 SOS 1308900 HAS SOPS 1308900 HAS SOUS 987608 HAS SOUPS 987608 WITH SCORE 988916.9
AT ITER 4682 NEW BEST:: SOT 6834179 SOS 1308889 HAS SOPS 1308889 HAS SOUS 987597 HAS SOUPS 987597 WITH SCORE 988905.889
AT ITER 4721 NEW BEST:: SOT 6834126 SOS 1308783 HAS SOPS 1308783 HAS SOUS 987491 HAS SOUPS 987491 WITH SCORE 988799.783
AT ITER 4742 NEW BEST:: SOT 6834023 SOS 1306580 HAS SOPS 1306580 HAS SOUS 987285 HAS SOUPS 987285 WITH SCORE 988591.58
AT ITER 4760 NEW BEST:: SOT 6833767 SOS 1306309 HAS SOPS 1306309 HAS SOUS 984981 HAS SOUPS 984981 WITH SCORE 986287.309
AT ITER 4783 NEW BEST:: SOT 6833648 SOS 1306071 HAS SOPS 1306071 HAS SOUS 984743 HAS SOUPS 984743 WITH SCORE 986049.071
AT ITER 4797 NEW BEST:: SOT 6833648 SOS 1306058 HAS SOPS 1306058 HAS SOUS 984730 HAS SOUPS 984730 WITH SCORE 986036.058
AT ITER 4809 NEW BEST:: SOT 6833478 SOS 1307333 HAS SOPS 1307333 HAS SOUS 984689 HAS SOUPS 984689 WITH SCORE 985996.333
AT ITER 4828 NEW BEST:: SOT 6833478 SOS 1307298 HAS SOPS 1307298 HAS SOUS 984654 HAS SOUPS 984654 WITH SCORE 985961.298
AT ITER 4829 NEW BEST:: SOT 6833473 SOS 1307293 HAS SOPS 1307293 HAS SOUS 984649 HAS SOUPS 984649 WITH SCORE 985956.293
AT ITER 4843 NEW BEST:: SOT 6833219 SOS 1307130 HAS SOPS 1307130 HAS SOUS 984486 HAS SOUPS 984486 WITH SCORE 985793.13
AT ITER 4857 NEW BEST:: SOT 6832852 SOS 1306748 HAS SOPS 1306748 HAS SOUS 984118 HAS SOUPS 984118 WITH SCORE 985424.748
AT ITER 4876 NEW BEST:: SOT 6832525 SOS 1306421 HAS SOPS 1306421 HAS SOUS 984118 HAS SOUPS 984118 WITH SCORE 985424.421
AT ITER 4882 NEW BEST:: SOT 6832385 SOS 1306141 HAS SOPS 1306141 HAS SOUS 983698 HAS SOUPS 983698 WITH SCORE 985004.141
AT ITER 4887 NEW BEST:: SOT 6832349 SOS 1306103 HAS SOPS 1306103 HAS SOUS 983660 HAS SOUPS 983660 WITH SCORE 984966.103
AT ITER 4908 NEW BEST:: SOT 6832225 SOS 1305861 HAS SOPS 1305861 HAS SOUS 983535 HAS SOUPS 983535 WITH SCORE 984840.861
AT ITER 4911 NEW BEST:: SOT 6832093 SOS 1305729 HAS SOPS 1305729 HAS SOUS 983292 HAS SOUPS 983292 WITH SCORE 984597.729
AT ITER 4932 NEW BEST:: SOT 6832093 SOS 1306437 HAS SOPS 1306437 HAS SOUS 983251 HAS SOUPS 983251 WITH SCORE 984557.437
AT ITER 4951 NEW BEST:: SOT 6831988 SOS 1307149 HAS SOPS 1307149 HAS SOUS 983003 HAS SOUPS 983003 WITH SCORE 984310.149
AT ITER 4959 NEW BEST:: SOT 6831962 SOS 1307096 HAS SOPS 1307096 HAS SOUS 982950 HAS SOUPS 982950 WITH SCORE 984257.096
AT ITER 4963 NEW BEST:: SOT 6831901 SOS 1306197 HAS SOPS 1306197 HAS SOUS 982678 HAS SOUPS 982678 WITH SCORE 983984.197
AT ITER 4969 NEW BEST:: SOT 6831722 SOS 1306018 HAS SOPS 1306018 HAS SOUS 982499 HAS SOUPS 982499 WITH SCORE 983805.018
AT ITER 4983 NEW BEST:: SOT 6831406 SOS 1305469 HAS SOPS 1305469 HAS SOUS 982066 HAS SOUPS 982066 WITH SCORE 983371.469
AT ITER 5027 NEW BEST:: SOT 6831404 SOS 1305258 HAS SOPS 1305258 HAS SOUS 981855 HAS SOUPS 981855 WITH SCORE 983160.258
AT ITER 5029 NEW BEST:: SOT 6831338 SOS 1305192 HAS SOPS 1305192 HAS SOUS 981723 HAS SOUPS 981723 WITH SCORE 983028.192
AT ITER 5036 NEW BEST:: SOT 6831338 SOS 1305775 HAS SOPS 1305775 HAS SOUS 981662 HAS SOUPS 981662 WITH SCORE 982967.775
AT ITER 5065 NEW BEST:: SOT 6831338 SOS 1305773 HAS SOPS 1305773 HAS SOUS 981660 HAS SOUPS 981660 WITH SCORE 982965.773
AT ITER 5075 NEW BEST:: SOT 6831300 SOS 1305695 HAS SOPS 1305695 HAS SOUS 981619 HAS SOUPS 981619 WITH SCORE 982924.695
AT ITER 5076 NEW BEST:: SOT 6831299 SOS 1305694 HAS SOPS 1305694 HAS SOUS 981617 HAS SOUPS 981617 WITH SCORE 982922.694
AT ITER 5078 NEW BEST:: SOT 6831299 SOS 1305597 HAS SOPS 1305597 HAS SOUS 981520 HAS SOUPS 981520 WITH SCORE 982825.597
AT ITER 5080 NEW BEST:: SOT 6831093 SOS 1305185 HAS SOPS 1305185 HAS SOUS 981108 HAS SOUPS 981108 WITH SCORE 982413.185
AT ITER 5189 NEW BEST:: SOT 6831127 SOS 1305181 HAS SOPS 1305181 HAS SOUS 981104 HAS SOUPS 981104 WITH SCORE 982409.181
AT ITER 5204 NEW BEST:: SOT 6831061 SOS 1305079 HAS SOPS 1305079 HAS SOUS 980878 HAS SOUPS 980878 WITH SCORE 982183.079
AT ITER 5205 NEW BEST:: SOT 6831061 SOS 1305077 HAS SOPS 1305077 HAS SOUS 980876 HAS SOUPS 980876 WITH SCORE 982181.077
AT ITER 5222 NEW BEST:: SOT 6831060 SOS 1305075 HAS SOPS 1305075 HAS SOUS 980874 HAS SOUPS 980874 WITH SCORE 982179.075
AT ITER 5228 NEW BEST:: SOT 6830882 SOS 1305941 HAS SOPS 1305941 HAS SOUS 980870 HAS SOUPS 980870 WITH SCORE 982175.941
AT ITER 5231 NEW BEST:: SOT 6830882 SOS 1305735 HAS SOPS 1305735 HAS SOUS 980613 HAS SOUPS 980613 WITH SCORE 981918.735
AT ITER 5265 NEW BEST:: SOT 6830732 SOS 1305426 HAS SOPS 1305426 HAS SOUS 980304 HAS SOUPS 980304 WITH SCORE 981609.426
AT ITER 5280 NEW BEST:: SOT 6830732 SOS 1305280 HAS SOPS 1305280 HAS SOUS 980303 HAS SOUPS 980303 WITH SCORE 981608.28
AT ITER 5284 NEW BEST:: SOT 6830719 SOS 1305226 HAS SOPS 1305226 HAS SOUS 980236 HAS SOUPS 980236 WITH SCORE 981541.226
AT ITER 5294 NEW BEST:: SOT 6829945 SOS 1304785 HAS SOPS 1304785 HAS SOUS 979704 HAS SOUPS 979704 WITH SCORE 981008.785
AT ITER 5353 NEW BEST:: SOT 6829933 SOS 1304761 HAS SOPS 1304761 HAS SOUS 979686 HAS SOUPS 979686 WITH SCORE 980990.761
AT ITER 5354 NEW BEST:: SOT 6829800 SOS 1304604 HAS SOPS 1304604 HAS SOUS 979664 HAS SOUPS 979664 WITH SCORE 980968.604
AT ITER 5361 NEW BEST:: SOT 6829738 SOS 1303754 HAS SOPS 1303754 HAS SOUS 979425 HAS SOUPS 979425 WITH SCORE 980728.754
AT ITER 5376 NEW BEST:: SOT 6829736 SOS 1303750 HAS SOPS 1303750 HAS SOUS 979419 HAS SOUPS 979419 WITH SCORE 980722.75
AT ITER 5390 NEW BEST:: SOT 6829736 SOS 1303750 HAS SOPS 1303750 HAS SOUS 979409 HAS SOUPS 979409 WITH SCORE 980712.75
AT ITER 5445 NEW BEST:: SOT 6829720 SOS 1303690 HAS SOPS 1303690 HAS SOUS 979016 HAS SOUPS 979016 WITH SCORE 980319.69
AT ITER 5468 NEW BEST:: SOT 6829720 SOS 1303590 HAS SOPS 1303590 HAS SOUS 978916 HAS SOUPS 978916 WITH SCORE 980219.59
AT ITER 5474 NEW BEST:: SOT 6828771 SOS 1302310 HAS SOPS 1302310 HAS SOUS 978511 HAS SOUPS 978511 WITH SCORE 979813.31
AT ITER 5483 NEW BEST:: SOT 6828771 SOS 1302250 HAS SOPS 1302250 HAS SOUS 978504 HAS SOUPS 978504 WITH SCORE 979806.25
AT ITER 5486 NEW BEST:: SOT 6827187 SOS 1300930 HAS SOPS 1300930 HAS SOUS 977184 HAS SOUPS 977184 WITH SCORE 978484.93
AT ITER 5489 NEW BEST:: SOT 6827187 SOS 1300926 HAS SOPS 1300926 HAS SOUS 977180 HAS SOUPS 977180 WITH SCORE 978480.926
AT ITER 5490 NEW BEST:: SOT 6827187 SOS 1300558 HAS SOPS 1300558 HAS SOUS 977061 HAS SOUPS 977061 WITH SCORE 978361.558
AT ITER 5491 NEW BEST:: SOT 6827182 SOS 1300553 HAS SOPS 1300553 HAS SOUS 977056 HAS SOUPS 977056 WITH SCORE 978356.553
AT ITER 5495 NEW BEST:: SOT 6827122 SOS 1300551 HAS SOPS 1300551 HAS SOUS 976936 HAS SOUPS 976936 WITH SCORE 978236.551
AT ITER 5504 NEW BEST:: SOT 6827122 SOS 1300491 HAS SOPS 1300491 HAS SOUS 976936 HAS SOUPS 976936 WITH SCORE 978236.491
AT ITER 5551 NEW BEST:: SOT 6826904 SOS 1300245 HAS SOPS 1300245 HAS SOUS 976908 HAS SOUPS 976908 WITH SCORE 978208.245
AT ITER 5561 NEW BEST:: SOT 6826889 SOS 1300215 HAS SOPS 1300215 HAS SOUS 976878 HAS SOUPS 976878 WITH SCORE 978178.215
AT ITER 5567 NEW BEST:: SOT 6826914 SOS 1301035 HAS SOPS 1301035 HAS SOUS 976750 HAS SOUPS 976750 WITH SCORE 978051.035
AT ITER 5568 NEW BEST:: SOT 6826063 SOS 1300344 HAS SOPS 1300344 HAS SOUS 975980 HAS SOUPS 975980 WITH SCORE 977280.344
AT ITER 5582 NEW BEST:: SOT 6826063 SOS 1300268 HAS SOPS 1300268 HAS SOUS 975904 HAS SOUPS 975904 WITH SCORE 977204.268
AT ITER 5641 NEW BEST:: SOT 6826063 SOS 1300085 HAS SOPS 1300085 HAS SOUS 975721 HAS SOUPS 975721 WITH SCORE 977021.085
AT ITER 5643 NEW BEST:: SOT 6825959 SOS 1299877 HAS SOPS 1299877 HAS SOUS 975513 HAS SOUPS 975513 WITH SCORE 976812.877
AT ITER 5648 NEW BEST:: SOT 6825854 SOS 1299667 HAS SOPS 1299667 HAS SOUS 975303 HAS SOUPS 975303 WITH SCORE 976602.667
AT ITER 5655 NEW BEST:: SOT 6825764 SOS 1299532 HAS SOPS 1299532 HAS SOUS 975168 HAS SOUPS 975168 WITH SCORE 976467.532
AT ITER 5692 NEW BEST:: SOT 6825804 SOS 1299085 HAS SOPS 1299085 HAS SOUS 975096 HAS SOUPS 975096 WITH SCORE 976395.085
AT ITER 5700 NEW BEST:: SOT 6825635 SOS 1299085 HAS SOPS 1299085 HAS SOUS 974927 HAS SOUPS 974927 WITH SCORE 976226.085
AT ITER 5746 NEW BEST:: SOT 6825645 SOS 1298705 HAS SOPS 1298705 HAS SOUS 974830 HAS SOUPS 974830 WITH SCORE 976128.705
AT ITER 5782 NEW BEST:: SOT 6825199 SOS 1298344 HAS SOPS 1298344 HAS SOUS 974469 HAS SOUPS 974469 WITH SCORE 975767.344
AT ITER 5786 NEW BEST:: SOT 6824851 SOS 1298170 HAS SOPS 1298170 HAS SOUS 974121 HAS SOUPS 974121 WITH SCORE 975419.17
AT ITER 5834 NEW BEST:: SOT 6824822 SOS 1298102 HAS SOPS 1298102 HAS SOUS 974082 HAS SOUPS 974082 WITH SCORE 975380.102
AT ITER 5843 NEW BEST:: SOT 6824719 SOS 1298006 HAS SOPS 1298006 HAS SOUS 973986 HAS SOUPS 973986 WITH SCORE 975284.006
AT ITER 5860 NEW BEST:: SOT 6824467 SOS 1297520 HAS SOPS 1297520 HAS SOUS 973500 HAS SOUPS 973500 WITH SCORE 974797.52
AT ITER 5889 NEW BEST:: SOT 6824466 SOS 1297518 HAS SOPS 1297518 HAS SOUS 973498 HAS SOUPS 973498 WITH SCORE 974795.518
AT ITER 5897 NEW BEST:: SOT 6824418 SOS 1297520 HAS SOPS 1297520 HAS SOUS 973400 HAS SOUPS 973400 WITH SCORE 974697.52
AT ITER 5913 NEW BEST:: SOT 6824127 SOS 1297347 HAS SOPS 1297347 HAS SOUS 973041 HAS SOUPS 973041 WITH SCORE 974338.347
AT ITER 5958 NEW BEST:: SOT 6824094 SOS 1297696 HAS SOPS 1297696 HAS SOUS 972867 HAS SOUPS 972867 WITH SCORE 974164.696
AT ITER 5970 NEW BEST:: SOT 6824054 SOS 1297616 HAS SOPS 1297616 HAS SOUS 972787 HAS SOUPS 972787 WITH SCORE 974084.616
AT ITER 5974 NEW BEST:: SOT 6823839 SOS 1297244 HAS SOPS 1297244 HAS SOUS 972415 HAS SOUPS 972415 WITH SCORE 973712.244
AT ITER 5978 NEW BEST:: SOT 6823600 SOS 1296747 HAS SOPS 1296747 HAS SOUS 971918 HAS SOUPS 971918 WITH SCORE 973214.747
AT ITER 5994 NEW BEST:: SOT 6823585 SOS 1296732 HAS SOPS 1296732 HAS SOUS 971918 HAS SOUPS 971918 WITH SCORE 973214.732
AT ITER 5997 NEW BEST:: SOT 6823562 SOS 1296686 HAS SOPS 1296686 HAS SOUS 971872 HAS SOUPS 971872 WITH SCORE 973168.686
AT ITER 6008 NEW BEST:: SOT 6823562 SOS 1296664 HAS SOPS 1296664 HAS SOUS 971872 HAS SOUPS 971872 WITH SCORE 973168.664
AT ITER 6030 NEW BEST:: SOT 6823351 SOS 1291811 HAS SOPS 1291811 HAS SOUS 971449 HAS SOUPS 971449 WITH SCORE 972740.811
AT ITER 6071 NEW BEST:: SOT 6823133 SOS 1291577 HAS SOPS 1291577 HAS SOUS 971230 HAS SOUPS 971230 WITH SCORE 972521.577
AT ITER 6087 NEW BEST:: SOT 6823314 SOS 1291807 HAS SOPS 1291807 HAS SOUS 971213 HAS SOUPS 971213 WITH SCORE 972504.807
AT ITER 6094 NEW BEST:: SOT 6823306 SOS 1291793 HAS SOPS 1291793 HAS SOUS 971134 HAS SOUPS 971134 WITH SCORE 972425.793
AT ITER 6145 NEW BEST:: SOT 6823042 SOS 1291700 HAS SOPS 1291700 HAS SOUS 970606 HAS SOUPS 970606 WITH SCORE 971897.7
AT ITER 6151 NEW BEST:: SOT 6823042 SOS 1291140 HAS SOPS 1291140 HAS SOUS 970153 HAS SOUPS 970153 WITH SCORE 971444.14
AT ITER 6153 NEW BEST:: SOT 6822473 SOS 1290778 HAS SOPS 1290778 HAS SOUS 969791 HAS SOUPS 969791 WITH SCORE 971081.778
AT ITER 6181 NEW BEST:: SOT 6822229 SOS 1290498 HAS SOPS 1290498 HAS SOUS 969547 HAS SOUPS 969547 WITH SCORE 970837.498
AT ITER 6231 NEW BEST:: SOT 6822218 SOS 1290476 HAS SOPS 1290476 HAS SOUS 969525 HAS SOUPS 969525 WITH SCORE 970815.476
AT ITER 6266 NEW BEST:: SOT 6822218 SOS 1290551 HAS SOPS 1290551 HAS SOUS 968178 HAS SOUPS 968178 WITH SCORE 969468.551
AT ITER 6275 NEW BEST:: SOT 6822217 SOS 1290531 HAS SOPS 1290531 HAS SOUS 968158 HAS SOUPS 968158 WITH SCORE 969448.531
AT ITER 6278 NEW BEST:: SOT 6822176 SOS 1290649 HAS SOPS 1290649 HAS SOUS 968076 HAS SOUPS 968076 WITH SCORE 969366.649
AT ITER 6301 NEW BEST:: SOT 6821513 SOS 1290016 HAS SOPS 1290016 HAS SOUS 967443 HAS SOUPS 967443 WITH SCORE 968733.016
AT ITER 6305 NEW BEST:: SOT 6821513 SOS 1289909 HAS SOPS 1289909 HAS SOUS 967336 HAS SOUPS 967336 WITH SCORE 968625.909
AT ITER 6306 NEW BEST:: SOT 6821513 SOS 1289666 HAS SOPS 1289666 HAS SOUS 967176 HAS SOUPS 967176 WITH SCORE 968465.666
AT ITER 6338 NEW BEST:: SOT 6821470 SOS 1289662 HAS SOPS 1289662 HAS SOUS 967132 HAS SOUPS 967132 WITH SCORE 968421.662
AT ITER 6361 NEW BEST:: SOT 6821470 SOS 1289660 HAS SOPS 1289660 HAS SOUS 967130 HAS SOUPS 967130 WITH SCORE 968419.66
AT ITER 6369 NEW BEST:: SOT 6821361 SOS 1289110 HAS SOPS 1289110 HAS SOUS 966911 HAS SOUPS 966911 WITH SCORE 968200.11
AT ITER 6384 NEW BEST:: SOT 6820968 SOS 1288641 HAS SOPS 1288641 HAS SOUS 966092 HAS SOUPS 966092 WITH SCORE 967380.641
AT ITER 6389 NEW BEST:: SOT 6820756 SOS 1288202 HAS SOPS 1288202 HAS SOUS 965702 HAS SOUPS 965702 WITH SCORE 966990.202
AT ITER 6395 NEW BEST:: SOT 6820756 SOS 1288201 HAS SOPS 1288201 HAS SOUS 965462 HAS SOUPS 965462 WITH SCORE 966750.201
AT ITER 6405 NEW BEST:: SOT 6820756 SOS 1288116 HAS SOPS 1288116 HAS SOUS 965425 HAS SOUPS 965425 WITH SCORE 966713.116
AT ITER 6408 NEW BEST:: SOT 6820731 SOS 1287865 HAS SOPS 1287865 HAS SOUS 965421 HAS SOUPS 965421 WITH SCORE 966708.865
AT ITER 6418 NEW BEST:: SOT 6820730 SOS 1287863 HAS SOPS 1287863 HAS SOUS 965419 HAS SOUPS 965419 WITH SCORE 966706.863
AT ITER 6431 NEW BEST:: SOT 6820730 SOS 1287815 HAS SOPS 1287815 HAS SOUS 965371 HAS SOUPS 965371 WITH SCORE 966658.815
AT ITER 6438 NEW BEST:: SOT 6820470 SOS 1287497 HAS SOPS 1287497 HAS SOUS 964851 HAS SOUPS 964851 WITH SCORE 966138.497
AT ITER 6469 NEW BEST:: SOT 6820454 SOS 1287344 HAS SOPS 1287344 HAS SOUS 964588 HAS SOUPS 964588 WITH SCORE 965875.344
AT ITER 6546 NEW BEST:: SOT 6820194 SOS 1287082 HAS SOPS 1287082 HAS SOUS 964327 HAS SOUPS 964327 WITH SCORE 965614.082
AT ITER 6561 NEW BEST:: SOT 6820003 SOS 1286890 HAS SOPS 1286890 HAS SOUS 964135 HAS SOUPS 964135 WITH SCORE 965421.89
AT ITER 6570 NEW BEST:: SOT 6820003 SOS 1286630 HAS SOPS 1286630 HAS SOUS 964129 HAS SOUPS 964129 WITH SCORE 965415.63
AT ITER 6586 NEW BEST:: SOT 6821062 SOS 1287789 HAS SOPS 1287789 HAS SOUS 963502 HAS SOUPS 963502 WITH SCORE 964789.789
AT ITER 6605 NEW BEST:: SOT 6821062 SOS 1287787 HAS SOPS 1287787 HAS SOUS 963501 HAS SOUPS 963501 WITH SCORE 964788.787
AT ITER 6606 NEW BEST:: SOT 6821142 SOS 1287710 HAS SOPS 1287710 HAS SOUS 963269 HAS SOUPS 963269 WITH SCORE 964556.71
AT ITER 6614 NEW BEST:: SOT 6820976 SOS 1287378 HAS SOPS 1287378 HAS SOUS 962927 HAS SOUPS 962927 WITH SCORE 964214.378
AT ITER 6651 NEW BEST:: SOT 6821423 SOS 1288128 HAS SOPS 1288128 HAS SOUS 961767 HAS SOUPS 961767 WITH SCORE 963055.128
AT ITER 6655 NEW BEST:: SOT 6821338 SOS 1287928 HAS SOPS 1287928 HAS SOUS 961567 HAS SOUPS 961567 WITH SCORE 962854.928
AT ITER 6692 NEW BEST:: SOT 6821331 SOS 1287865 HAS SOPS 1287865 HAS SOUS 961559 HAS SOUPS 961559 WITH SCORE 962846.865
AT ITER 6707 NEW BEST:: SOT 6821330 SOS 1287863 HAS SOPS 1287863 HAS SOUS 961557 HAS SOUPS 961557 WITH SCORE 962844.863
AT ITER 6709 NEW BEST:: SOT 6821192 SOS 1287757 HAS SOPS 1287757 HAS SOUS 961451 HAS SOUPS 961451 WITH SCORE 962738.757
AT ITER 6717 NEW BEST:: SOT 6821106 SOS 1287248 HAS SOPS 1287248 HAS SOUS 961284 HAS SOUPS 961284 WITH SCORE 962571.248
AT ITER 6735 NEW BEST:: SOT 6820785 SOS 1286923 HAS SOPS 1286923 HAS SOUS 960526 HAS SOUPS 960526 WITH SCORE 961812.923
AT ITER 6740 NEW BEST:: SOT 6820558 SOS 1286669 HAS SOPS 1286669 HAS SOUS 960299 HAS SOUPS 960299 WITH SCORE 961585.669
AT ITER 6748 NEW BEST:: SOT 6820391 SOS 1286335 HAS SOPS 1286335 HAS SOUS 959965 HAS SOUPS 959965 WITH SCORE 961251.335
AT ITER 6759 NEW BEST:: SOT 6820097 SOS 1286009 HAS SOPS 1286009 HAS SOUS 959839 HAS SOUPS 959839 WITH SCORE 961125.009
AT ITER 6766 NEW BEST:: SOT 6820097 SOS 1286008 HAS SOPS 1286008 HAS SOUS 959838 HAS SOUPS 959838 WITH SCORE 961124.008
AT ITER 6786 NEW BEST:: SOT 6820096 SOS 1285946 HAS SOPS 1285946 HAS SOUS 959836 HAS SOUPS 959836 WITH SCORE 961121.946
AT ITER 6789 NEW BEST:: SOT 6820037 SOS 1285828 HAS SOPS 1285828 HAS SOUS 959718 HAS SOUPS 959718 WITH SCORE 961003.828
AT ITER 6811 NEW BEST:: SOT 6819825 SOS 1285647 HAS SOPS 1285647 HAS SOUS 957593 HAS SOUPS 957593 WITH SCORE 958878.647
AT ITER 6850 NEW BEST:: SOT 6819001 SOS 1284823 HAS SOPS 1284823 HAS SOUS 957490 HAS SOUPS 957490 WITH SCORE 958774.823
AT ITER 6857 NEW BEST:: SOT 6819001 SOS 1284760 HAS SOPS 1284760 HAS SOUS 957490 HAS SOUPS 957490 WITH SCORE 958774.76
AT ITER 6862 NEW BEST:: SOT 6819001 SOS 1284758 HAS SOPS 1284758 HAS SOUS 957488 HAS SOUPS 957488 WITH SCORE 958772.758
AT ITER 6869 NEW BEST:: SOT 6818778 SOS 1284664 HAS SOPS 1284664 HAS SOUS 957394 HAS SOUPS 957394 WITH SCORE 958678.664
AT ITER 6905 NEW BEST:: SOT 6818603 SOS 1284514 HAS SOPS 1284514 HAS SOUS 957219 HAS SOUPS 957219 WITH SCORE 958503.514
AT ITER 6906 NEW BEST:: SOT 6818580 SOS 1284476 HAS SOPS 1284476 HAS SOUS 957181 HAS SOUPS 957181 WITH SCORE 958465.476
AT ITER 6922 NEW BEST:: SOT 6818232 SOS 1284032 HAS SOPS 1284032 HAS SOUS 954817 HAS SOUPS 954817 WITH SCORE 956101.032
AT ITER 6925 NEW BEST:: SOT 6817817 SOS 1283821 HAS SOPS 1283821 HAS SOUS 954606 HAS SOUPS 954606 WITH SCORE 955889.821
AT ITER 6932 NEW BEST:: SOT 6817616 SOS 1283419 HAS SOPS 1283419 HAS SOUS 954103 HAS SOUPS 954103 WITH SCORE 955386.419
AT ITER 6940 NEW BEST:: SOT 6817616 SOS 1283143 HAS SOPS 1283143 HAS SOUS 954057 HAS SOUPS 954057 WITH SCORE 955340.143
AT ITER 6952 NEW BEST:: SOT 6817381 SOS 1282628 HAS SOPS 1282628 HAS SOUS 953372 HAS SOUPS 953372 WITH SCORE 954654.628
AT ITER 6956 NEW BEST:: SOT 6817350 SOS 1282566 HAS SOPS 1282566 HAS SOUS 953310 HAS SOUPS 953310 WITH SCORE 954592.566
AT ITER 6961 NEW BEST:: SOT 6817564 SOS 1282396 HAS SOPS 1282396 HAS SOUS 953140 HAS SOUPS 953140 WITH SCORE 954422.396
AT ITER 6974 NEW BEST:: SOT 6817385 SOS 1281849 HAS SOPS 1281849 HAS SOUS 952593 HAS SOUPS 952593 WITH SCORE 953874.849
AT ITER 6977 NEW BEST:: SOT 6817378 SOS 1281842 HAS SOPS 1281842 HAS SOUS 952586 HAS SOUPS 952586 WITH SCORE 953867.842
AT ITER 6992 NEW BEST:: SOT 6817378 SOS 1281664 HAS SOPS 1281664 HAS SOUS 952407 HAS SOUPS 952407 WITH SCORE 953688.664
AT ITER 7034 NEW BEST:: SOT 6817341 SOS 1281590 HAS SOPS 1281590 HAS SOUS 952333 HAS SOUPS 952333 WITH SCORE 953614.59
AT ITER 7050 NEW BEST:: SOT 6816937 SOS 1281135 HAS SOPS 1281135 HAS SOUS 951878 HAS SOUPS 951878 WITH SCORE 953159.135
AT ITER 7051 NEW BEST:: SOT 6816937 SOS 1281096 HAS SOPS 1281096 HAS SOUS 951865 HAS SOUPS 951865 WITH SCORE 953146.096
AT ITER 7054 NEW BEST:: SOT 6816937 SOS 1280892 HAS SOPS 1280892 HAS SOUS 951661 HAS SOUPS 951661 WITH SCORE 952941.892
AT ITER 7080 NEW BEST:: SOT 6816880 SOS 1280835 HAS SOPS 1280835 HAS SOUS 951604 HAS SOUPS 951604 WITH SCORE 952884.835
AT ITER 7084 NEW BEST:: SOT 6816868 SOS 1280823 HAS SOPS 1280823 HAS SOUS 951592 HAS SOUPS 951592 WITH SCORE 952872.823
AT ITER 7093 NEW BEST:: SOT 6816650 SOS 1281067 HAS SOPS 1281067 HAS SOUS 951369 HAS SOUPS 951369 WITH SCORE 952650.067
AT ITER 7109 NEW BEST:: SOT 6816612 SOS 1280991 HAS SOPS 1280991 HAS SOUS 951293 HAS SOUPS 951293 WITH SCORE 952573.991
AT ITER 7121 NEW BEST:: SOT 6815883 SOS 1280952 HAS SOPS 1280952 HAS SOUS 950407 HAS SOUPS 950407 WITH SCORE 951687.952
AT ITER 7156 NEW BEST:: SOT 6815830 SOS 1280899 HAS SOPS 1280899 HAS SOUS 950301 HAS SOUPS 950301 WITH SCORE 951581.899
AT ITER 7179 NEW BEST:: SOT 6815643 SOS 1282037 HAS SOPS 1282037 HAS SOUS 949913 HAS SOUPS 949913 WITH SCORE 951195.037
AT ITER 7188 NEW BEST:: SOT 6815570 SOS 1282441 HAS SOPS 1282441 HAS SOUS 949726 HAS SOUPS 949726 WITH SCORE 951008.441
AT ITER 7192 NEW BEST:: SOT 6815282 SOS 1282201 HAS SOPS 1282201 HAS SOUS 949147 HAS SOUPS 949147 WITH SCORE 950429.201
AT ITER 7199 NEW BEST:: SOT 6815253 SOS 1282114 HAS SOPS 1282114 HAS SOUS 949089 HAS SOUPS 949089 WITH SCORE 950371.114
AT ITER 7242 NEW BEST:: SOT 6815252 SOS 1282112 HAS SOPS 1282112 HAS SOUS 949087 HAS SOUPS 949087 WITH SCORE 950369.112
AT ITER 7246 NEW BEST:: SOT 6815539 SOS 1282524 HAS SOPS 1282524 HAS SOUS 947814 HAS SOUPS 947814 WITH SCORE 949096.524
AT ITER 7262 NEW BEST:: SOT 6815085 SOS 1282220 HAS SOPS 1282220 HAS SOUS 947777 HAS SOUPS 947777 WITH SCORE 949059.22
AT ITER 7268 NEW BEST:: SOT 6814710 SOS 1281965 HAS SOPS 1281965 HAS SOUS 947396 HAS SOUPS 947396 WITH SCORE 948677.965
AT ITER 7290 NEW BEST:: SOT 6814655 SOS 1281866 HAS SOPS 1281866 HAS SOUS 947242 HAS SOUPS 947242 WITH SCORE 948523.866
AT ITER 7293 NEW BEST:: SOT 6814235 SOS 1281446 HAS SOPS 1281446 HAS SOUS 946822 HAS SOUPS 946822 WITH SCORE 948103.446
AT ITER 7302 NEW BEST:: SOT 6814224 SOS 1281446 HAS SOPS 1281446 HAS SOUS 946811 HAS SOUPS 946811 WITH SCORE 948092.446
AT ITER 7318 NEW BEST:: SOT 6814224 SOS 1281444 HAS SOPS 1281444 HAS SOUS 946809 HAS SOUPS 946809 WITH SCORE 948090.444
AT ITER 7323 NEW BEST:: SOT 6814224 SOS 1281316 HAS SOPS 1281316 HAS SOUS 946681 HAS SOUPS 946681 WITH SCORE 947962.316
AT ITER 7330 NEW BEST:: SOT 6814025 SOS 1280814 HAS SOPS 1280814 HAS SOUS 946283 HAS SOUPS 946283 WITH SCORE 947563.814
AT ITER 7366 NEW BEST:: SOT 6814011 SOS 1280786 HAS SOPS 1280786 HAS SOUS 946268 HAS SOUPS 946268 WITH SCORE 947548.786
AT ITER 7369 NEW BEST:: SOT 6814019 SOS 1280711 HAS SOPS 1280711 HAS SOUS 946193 HAS SOUPS 946193 WITH SCORE 947473.711
AT ITER 7376 NEW BEST:: SOT 6814090 SOS 1280705 HAS SOPS 1280705 HAS SOUS 946187 HAS SOUPS 946187 WITH SCORE 947467.705
AT ITER 7380 NEW BEST:: SOT 6813964 SOS 1280291 HAS SOPS 1280291 HAS SOUS 945908 HAS SOUPS 945908 WITH SCORE 947188.291
AT ITER 7398 NEW BEST:: SOT 6815263 SOS 1282231 HAS SOPS 1282231 HAS SOUS 944712 HAS SOUPS 944712 WITH SCORE 945994.231
AT ITER 7407 NEW BEST:: SOT 6815101 SOS 1281885 HAS SOPS 1281885 HAS SOUS 944366 HAS SOUPS 944366 WITH SCORE 945647.885
AT ITER 7412 NEW BEST:: SOT 6815100 SOS 1281883 HAS SOPS 1281883 HAS SOUS 944364 HAS SOUPS 944364 WITH SCORE 945645.883
AT ITER 7420 NEW BEST:: SOT 6815030 SOS 1281778 HAS SOPS 1281778 HAS SOUS 944259 HAS SOUPS 944259 WITH SCORE 945540.778
AT ITER 7428 NEW BEST:: SOT 6814867 SOS 1281452 HAS SOPS 1281452 HAS SOUS 943932 HAS SOUPS 943932 WITH SCORE 945213.452
AT ITER 7458 NEW BEST:: SOT 6814711 SOS 1281140 HAS SOPS 1281140 HAS SOUS 943620 HAS SOUPS 943620 WITH SCORE 944901.14
AT ITER 7460 NEW BEST:: SOT 6814256 SOS 1280694 HAS SOPS 1280694 HAS SOUS 943174 HAS SOUPS 943174 WITH SCORE 944454.694
AT ITER 7462 NEW BEST:: SOT 6814255 SOS 1280680 HAS SOPS 1280680 HAS SOUS 943160 HAS SOUPS 943160 WITH SCORE 944440.68
AT ITER 7464 NEW BEST:: SOT 6814180 SOS 1280838 HAS SOPS 1280838 HAS SOUS 943062 HAS SOUPS 943062 WITH SCORE 944342.838
AT ITER 7481 NEW BEST:: SOT 6813466 SOS 1280124 HAS SOPS 1280124 HAS SOUS 942474 HAS SOUPS 942474 WITH SCORE 943754.124
AT ITER 7486 NEW BEST:: SOT 6813466 SOS 1280124 HAS SOPS 1280124 HAS SOUS 942423 HAS SOUPS 942423 WITH SCORE 943703.124
AT ITER 7533 NEW BEST:: SOT 6811731 SOS 1278623 HAS SOPS 1278623 HAS SOUS 941351 HAS SOUPS 941351 WITH SCORE 942629.623
AT ITER 7545 NEW BEST:: SOT 6811731 SOS 1278315 HAS SOPS 1278315 HAS SOUS 941205 HAS SOUPS 941205 WITH SCORE 942483.315
AT ITER 7580 NEW BEST:: SOT 6811740 SOS 1278263 HAS SOPS 1278263 HAS SOUS 941153 HAS SOUPS 941153 WITH SCORE 942431.263
AT ITER 7598 NEW BEST:: SOT 6811601 SOS 1277555 HAS SOPS 1277555 HAS SOUS 940875 HAS SOUPS 940875 WITH SCORE 942152.555
AT ITER 7607 NEW BEST:: SOT 6811613 SOS 1277484 HAS SOPS 1277484 HAS SOUS 940804 HAS SOUPS 940804 WITH SCORE 942081.484
AT ITER 7615 NEW BEST:: SOT 6811613 SOS 1277484 HAS SOPS 1277484 HAS SOUS 940685 HAS SOUPS 940685 WITH SCORE 941962.484
AT ITER 7622 NEW BEST:: SOT 6811593 SOS 1277444 HAS SOPS 1277444 HAS SOUS 940645 HAS SOUPS 940645 WITH SCORE 941922.444
AT ITER 7625 NEW BEST:: SOT 6810917 SOS 1279008 HAS SOPS 1279008 HAS SOUS 940510 HAS SOUPS 940510 WITH SCORE 941789.008
AT ITER 7663 NEW BEST:: SOT 6810826 SOS 1278913 HAS SOPS 1278913 HAS SOUS 940093 HAS SOUPS 940093 WITH SCORE 941371.913
AT ITER 7669 NEW BEST:: SOT 6810048 SOS 1278170 HAS SOPS 1278170 HAS SOUS 939297 HAS SOUPS 939297 WITH SCORE 940575.17
AT ITER 7673 NEW BEST:: SOT 6810048 SOS 1278122 HAS SOPS 1278122 HAS SOUS 939249 HAS SOUPS 939249 WITH SCORE 940527.122
AT ITER 7688 NEW BEST:: SOT 6809898 SOS 1277810 HAS SOPS 1277810 HAS SOUS 938994 HAS SOUPS 938994 WITH SCORE 940271.81
AT ITER 7698 NEW BEST:: SOT 6809697 SOS 1277408 HAS SOPS 1277408 HAS SOUS 938592 HAS SOUPS 938592 WITH SCORE 939869.408
AT ITER 7707 NEW BEST:: SOT 6809481 SOS 1277192 HAS SOPS 1277192 HAS SOUS 938347 HAS SOUPS 938347 WITH SCORE 939624.192
AT ITER 7726 NEW BEST:: SOT 6809327 SOS 1276273 HAS SOPS 1276273 HAS SOUS 937887 HAS SOUPS 937887 WITH SCORE 939163.273
AT ITER 7728 NEW BEST:: SOT 6809310 SOS 1276239 HAS SOPS 1276239 HAS SOUS 937853 HAS SOUPS 937853 WITH SCORE 939129.239
AT ITER 7732 NEW BEST:: SOT 6809288 SOS 1276217 HAS SOPS 1276217 HAS SOUS 937831 HAS SOUPS 937831 WITH SCORE 939107.217
AT ITER 7734 NEW BEST:: SOT 6809212 SOS 1276032 HAS SOPS 1276032 HAS SOUS 937755 HAS SOUPS 937755 WITH SCORE 939031.032
AT ITER 7741 NEW BEST:: SOT 6808893 SOS 1276451 HAS SOPS 1276451 HAS SOUS 937629 HAS SOUPS 937629 WITH SCORE 938905.451
AT ITER 7774 NEW BEST:: SOT 6808696 SOS 1276234 HAS SOPS 1276234 HAS SOUS 937412 HAS SOUPS 937412 WITH SCORE 938688.234
AT ITER 7831 NEW BEST:: SOT 6808664 SOS 1276164 HAS SOPS 1276164 HAS SOUS 937342 HAS SOUPS 937342 WITH SCORE 938618.164
AT ITER 7849 NEW BEST:: SOT 6808487 SOS 1275810 HAS SOPS 1275810 HAS SOUS 937165 HAS SOUPS 937165 WITH SCORE 938440.81
AT ITER 7892 NEW BEST:: SOT 6807504 SOS 1274740 HAS SOPS 1274740 HAS SOUS 936095 HAS SOUPS 936095 WITH SCORE 937369.74
AT ITER 7893 NEW BEST:: SOT 6807492 SOS 1274716 HAS SOPS 1274716 HAS SOUS 936071 HAS SOUPS 936071 WITH SCORE 937345.716
AT ITER 7894 NEW BEST:: SOT 6807644 SOS 1274869 HAS SOPS 1274869 HAS SOUS 933619 HAS SOUPS 933619 WITH SCORE 934893.869
AT ITER 7910 NEW BEST:: SOT 6807638 SOS 1274851 HAS SOPS 1274851 HAS SOUS 933601 HAS SOUPS 933601 WITH SCORE 934875.851
AT ITER 7953 NEW BEST:: SOT 6807512 SOS 1274725 HAS SOPS 1274725 HAS SOUS 933473 HAS SOUPS 933473 WITH SCORE 934747.725
AT ITER 8024 NEW BEST:: SOT 6807538 SOS 1274309 HAS SOPS 1274309 HAS SOUS 932728 HAS SOUPS 932728 WITH SCORE 934002.309
AT ITER 8038 NEW BEST:: SOT 6807537 SOS 1274143 HAS SOPS 1274143 HAS SOUS 932562 HAS SOUPS 932562 WITH SCORE 933836.143
AT ITER 8062 NEW BEST:: SOT 6807107 SOS 1273836 HAS SOPS 1273836 HAS SOUS 932319 HAS SOUPS 932319 WITH SCORE 933592.836
AT ITER 8110 NEW BEST:: SOT 6807107 SOS 1273836 HAS SOPS 1273836 HAS SOUS 932265 HAS SOUPS 932265 WITH SCORE 933538.836
AT ITER 8134 NEW BEST:: SOT 6806986 SOS 1274320 HAS SOPS 1274320 HAS SOUS 932023 HAS SOUPS 932023 WITH SCORE 933297.32
AT ITER 8146 NEW BEST:: SOT 6806918 SOS 1273675 HAS SOPS 1273675 HAS SOUS 931944 HAS SOUPS 931944 WITH SCORE 933217.675
AT ITER 8183 NEW BEST:: SOT 6806860 SOS 1273487 HAS SOPS 1273487 HAS SOUS 931756 HAS SOUPS 931756 WITH SCORE 933029.487
AT ITER 8194 NEW BEST:: SOT 6804666 SOS 1272923 HAS SOPS 1272923 HAS SOUS 930051 HAS SOUPS 930051 WITH SCORE 931323.923
AT ITER 8212 NEW BEST:: SOT 6804490 SOS 1272578 HAS SOPS 1272578 HAS SOUS 929873 HAS SOUPS 929873 WITH SCORE 931145.578
AT ITER 8224 NEW BEST:: SOT 6804490 SOS 1273290 HAS SOPS 1273290 HAS SOUS 929680 HAS SOUPS 929680 WITH SCORE 930953.29
AT ITER 8233 NEW BEST:: SOT 6804441 SOS 1273240 HAS SOPS 1273240 HAS SOUS 929581 HAS SOUPS 929581 WITH SCORE 930854.24
AT ITER 8240 NEW BEST:: SOT 6801506 SOS 1270458 HAS SOPS 1270458 HAS SOUS 927151 HAS SOUPS 927151 WITH SCORE 928421.458
AT ITER 8250 NEW BEST:: SOT 6801505 SOS 1270457 HAS SOPS 1270457 HAS SOUS 927150 HAS SOUPS 927150 WITH SCORE 928420.457
AT ITER 8271 NEW BEST:: SOT 6801501 SOS 1270449 HAS SOPS 1270449 HAS SOUS 927146 HAS SOUPS 927146 WITH SCORE 928416.449
AT ITER 8283 NEW BEST:: SOT 6801523 SOS 1270471 HAS SOPS 1270471 HAS SOUS 927040 HAS SOUPS 927040 WITH SCORE 928310.471
AT ITER 8294 NEW BEST:: SOT 6801289 SOS 1269622 HAS SOPS 1269622 HAS SOUS 926745 HAS SOUPS 926745 WITH SCORE 928014.622
AT ITER 8318 NEW BEST:: SOT 6801110 SOS 1269601 HAS SOPS 1269601 HAS SOUS 926724 HAS SOUPS 926724 WITH SCORE 927993.601
AT ITER 8319 NEW BEST:: SOT 6801110 SOS 1269490 HAS SOPS 1269490 HAS SOUS 926724 HAS SOUPS 926724 WITH SCORE 927993.49
AT ITER 8328 NEW BEST:: SOT 6801044 SOS 1269350 HAS SOPS 1269350 HAS SOUS 926584 HAS SOUPS 926584 WITH SCORE 927853.35
AT ITER 8389 NEW BEST:: SOT 6801035 SOS 1269341 HAS SOPS 1269341 HAS SOUS 926584 HAS SOUPS 926584 WITH SCORE 927853.341
AT ITER 8430 NEW BEST:: SOT 6801039 SOS 1269063 HAS SOPS 1269063 HAS SOUS 926306 HAS SOUPS 926306 WITH SCORE 927575.063
AT ITER 8433 NEW BEST:: SOT 6800953 SOS 1268889 HAS SOPS 1268889 HAS SOUS 926132 HAS SOUPS 926132 WITH SCORE 927400.889
AT ITER 8467 NEW BEST:: SOT 6800847 SOS 1268783 HAS SOPS 1268783 HAS SOUS 925994 HAS SOUPS 925994 WITH SCORE 927262.783
AT ITER 8474 NEW BEST:: SOT 6800847 SOS 1268261 HAS SOPS 1268261 HAS SOUS 925970 HAS SOUPS 925970 WITH SCORE 927238.261
AT ITER 8478 NEW BEST:: SOT 6800847 SOS 1268049 HAS SOPS 1268049 HAS SOUS 925966 HAS SOUPS 925966 WITH SCORE 927234.049
AT ITER 8480 NEW BEST:: SOT 6800846 SOS 1267768 HAS SOPS 1267768 HAS SOUS 925964 HAS SOUPS 925964 WITH SCORE 927231.768
AT ITER 8486 NEW BEST:: SOT 6800444 SOS 1267662 HAS SOPS 1267662 HAS SOUS 925710 HAS SOUPS 925710 WITH SCORE 926977.662
AT ITER 8504 NEW BEST:: SOT 6800426 SOS 1267632 HAS SOPS 1267632 HAS SOUS 925680 HAS SOUPS 925680 WITH SCORE 926947.632
AT ITER 8507 NEW BEST:: SOT 6800370 SOS 1267592 HAS SOPS 1267592 HAS SOUS 925640 HAS SOUPS 925640 WITH SCORE 926907.592
AT ITER 8526 NEW BEST:: SOT 6800251 SOS 1267510 HAS SOPS 1267510 HAS SOUS 925558 HAS SOUPS 925558 WITH SCORE 926825.51
AT ITER 8540 NEW BEST:: SOT 6800251 SOS 1267485 HAS SOPS 1267485 HAS SOUS 925533 HAS SOUPS 925533 WITH SCORE 926800.485
AT ITER 8565 NEW BEST:: SOT 6800251 SOS 1268503 HAS SOPS 1268503 HAS SOUS 925508 HAS SOUPS 925508 WITH SCORE 926776.503
AT ITER 8568 NEW BEST:: SOT 6800270 SOS 1265917 HAS SOPS 1265917 HAS SOUS 924821 HAS SOUPS 924821 WITH SCORE 926086.917
AT ITER 8615 NEW BEST:: SOT 6800270 SOS 1265914 HAS SOPS 1265914 HAS SOUS 924818 HAS SOUPS 924818 WITH SCORE 926083.914
AT ITER 8637 NEW BEST:: SOT 6800270 SOS 1265907 HAS SOPS 1265907 HAS SOUS 924811 HAS SOUPS 924811 WITH SCORE 926076.907
AT ITER 8646 NEW BEST:: SOT 6800167 SOS 1265804 HAS SOPS 1265804 HAS SOUS 924708 HAS SOUPS 924708 WITH SCORE 925973.804
AT ITER 8655 NEW BEST:: SOT 6800196 SOS 1266040 HAS SOPS 1266040 HAS SOUS 924692 HAS SOUPS 924692 WITH SCORE 925958.04
AT ITER 8656 NEW BEST:: SOT 6800162 SOS 1266220 HAS SOPS 1266220 HAS SOUS 924634 HAS SOUPS 924634 WITH SCORE 925900.22
AT ITER 8659 NEW BEST:: SOT 6799789 SOS 1265850 HAS SOPS 1265850 HAS SOUS 924264 HAS SOUPS 924264 WITH SCORE 925529.85
AT ITER 8764 NEW BEST:: SOT 6799631 SOS 1265630 HAS SOPS 1265630 HAS SOUS 924044 HAS SOUPS 924044 WITH SCORE 925309.63
AT ITER 8798 NEW BEST:: SOT 6799283 SOS 1265282 HAS SOPS 1265282 HAS SOUS 923696 HAS SOUPS 923696 WITH SCORE 924961.282
AT ITER 8865 NEW BEST:: SOT 6799231 SOS 1264746 HAS SOPS 1264746 HAS SOUS 923605 HAS SOUPS 923605 WITH SCORE 924869.746
AT ITER 8931 NEW BEST:: SOT 6799230 SOS 1264506 HAS SOPS 1264506 HAS SOUS 923603 HAS SOUPS 923603 WITH SCORE 924867.506
AT ITER 8953 NEW BEST:: SOT 6798864 SOS 1265267 HAS SOPS 1265267 HAS SOUS 923495 HAS SOUPS 923495 WITH SCORE 924760.267
AT ITER 8974 NEW BEST:: SOT 6798642 SOS 1265807 HAS SOPS 1265807 HAS SOUS 922963 HAS SOUPS 922963 WITH SCORE 924228.807
AT ITER 8996 NEW BEST:: SOT 6798642 SOS 1265796 HAS SOPS 1265796 HAS SOUS 922952 HAS SOUPS 922952 WITH SCORE 924217.796
AT ITER 9000 NEW BEST:: SOT 6798572 SOS 1265656 HAS SOPS 1265656 HAS SOUS 922812 HAS SOUPS 922812 WITH SCORE 924077.656
AT ITER 9010 NEW BEST:: SOT 6798418 SOS 1265965 HAS SOPS 1265965 HAS SOUS 922717 HAS SOUPS 922717 WITH SCORE 923982.965
AT ITER 9011 NEW BEST:: SOT 6797886 SOS 1265389 HAS SOPS 1265389 HAS SOUS 922711 HAS SOUPS 922711 WITH SCORE 923976.389
AT ITER 9028 NEW BEST:: SOT 6797804 SOS 1265080 HAS SOPS 1265080 HAS SOUS 922402 HAS SOUPS 922402 WITH SCORE 923667.08
AT ITER 9044 NEW BEST:: SOT 6797751 SOS 1264656 HAS SOPS 1264656 HAS SOUS 922349 HAS SOUPS 922349 WITH SCORE 923613.656
AT ITER 9060 NEW BEST:: SOT 6797750 SOS 1264650 HAS SOPS 1264650 HAS SOUS 922343 HAS SOUPS 922343 WITH SCORE 923607.65
AT ITER 9063 NEW BEST:: SOT 6797704 SOS 1264512 HAS SOPS 1264512 HAS SOUS 922205 HAS SOUPS 922205 WITH SCORE 923469.512
AT ITER 9064 NEW BEST:: SOT 6797681 SOS 1264465 HAS SOPS 1264465 HAS SOUS 922158 HAS SOUPS 922158 WITH SCORE 923422.465
AT ITER 9103 NEW BEST:: SOT 6797681 SOS 1264646 HAS SOPS 1264646 HAS SOUS 922110 HAS SOUPS 922110 WITH SCORE 923374.646
AT ITER 9108 NEW BEST:: SOT 6797266 SOS 1264231 HAS SOPS 1264231 HAS SOUS 921695 HAS SOUPS 921695 WITH SCORE 922959.231
AT ITER 9112 NEW BEST:: SOT 6797229 SOS 1264201 HAS SOPS 1264201 HAS SOUS 921665 HAS SOUPS 921665 WITH SCORE 922929.201
AT ITER 9144 NEW BEST:: SOT 6797159 SOS 1263813 HAS SOPS 1263813 HAS SOUS 921436 HAS SOUPS 921436 WITH SCORE 922699.813
AT ITER 9151 NEW BEST:: SOT 6797159 SOS 1263812 HAS SOPS 1263812 HAS SOUS 921435 HAS SOUPS 921435 WITH SCORE 922698.812
AT ITER 9153 NEW BEST:: SOT 6797049 SOS 1263657 HAS SOPS 1263657 HAS SOUS 921280 HAS SOUPS 921280 WITH SCORE 922543.657
AT ITER 9169 NEW BEST:: SOT 6797016 SOS 1263318 HAS SOPS 1263318 HAS SOUS 921058 HAS SOUPS 921058 WITH SCORE 922321.318
AT ITER 9172 NEW BEST:: SOT 6797016 SOS 1263318 HAS SOPS 1263318 HAS SOUS 920921 HAS SOUPS 920921 WITH SCORE 922184.318
AT ITER 9180 NEW BEST:: SOT 6796996 SOS 1263298 HAS SOPS 1263298 HAS SOUS 920881 HAS SOUPS 920881 WITH SCORE 922144.298
AT ITER 9212 NEW BEST:: SOT 6796930 SOS 1263155 HAS SOPS 1263155 HAS SOUS 920738 HAS SOUPS 920738 WITH SCORE 922001.155
AT ITER 9230 NEW BEST:: SOT 6796861 SOS 1263062 HAS SOPS 1263062 HAS SOUS 920507 HAS SOUPS 920507 WITH SCORE 921770.062
AT ITER 9254 NEW BEST:: SOT 6796860 SOS 1263060 HAS SOPS 1263060 HAS SOUS 920505 HAS SOUPS 920505 WITH SCORE 921768.06
AT ITER 9259 NEW BEST:: SOT 6796436 SOS 1262208 HAS SOPS 1262208 HAS SOUS 919653 HAS SOUPS 919653 WITH SCORE 920915.208
AT ITER 9279 NEW BEST:: SOT 6796398 SOS 1262170 HAS SOPS 1262170 HAS SOUS 919614 HAS SOUPS 919614 WITH SCORE 920876.17
AT ITER 9280 NEW BEST:: SOT 6796798 SOS 1265449 HAS SOPS 1265449 HAS SOUS 919529 HAS SOUPS 919529 WITH SCORE 920794.449
AT ITER 9302 NEW BEST:: SOT 6796545 SOS 1265291 HAS SOPS 1265291 HAS SOUS 919373 HAS SOUPS 919373 WITH SCORE 920638.291
AT ITER 9321 NEW BEST:: SOT 6796545 SOS 1265291 HAS SOPS 1265291 HAS SOUS 919367 HAS SOUPS 919367 WITH SCORE 920632.291
AT ITER 9328 NEW BEST:: SOT 6796545 SOS 1265275 HAS SOPS 1265275 HAS SOUS 919351 HAS SOUPS 919351 WITH SCORE 920616.275
AT ITER 9333 NEW BEST:: SOT 6796541 SOS 1265270 HAS SOPS 1265270 HAS SOUS 919346 HAS SOUPS 919346 WITH SCORE 920611.27
AT ITER 9334 NEW BEST:: SOT 6796236 SOS 1265217 HAS SOPS 1265217 HAS SOUS 919180 HAS SOUPS 919180 WITH SCORE 920445.217
AT ITER 9336 NEW BEST:: SOT 6796113 SOS 1264623 HAS SOPS 1264623 HAS SOUS 919059 HAS SOUPS 919059 WITH SCORE 920323.623
AT ITER 9341 NEW BEST:: SOT 6796050 SOS 1264560 HAS SOPS 1264560 HAS SOUS 919059 HAS SOUPS 919059 WITH SCORE 920323.56
AT ITER 9385 NEW BEST:: SOT 6795982 SOS 1264620 HAS SOPS 1264620 HAS SOUS 919051 HAS SOUPS 919051 WITH SCORE 920315.62
AT ITER 9434 NEW BEST:: SOT 6795963 SOS 1264601 HAS SOPS 1264601 HAS SOUS 919022 HAS SOUPS 919022 WITH SCORE 920286.601
AT ITER 9435 NEW BEST:: SOT 6795925 SOS 1264582 HAS SOPS 1264582 HAS SOUS 919003 HAS SOUPS 919003 WITH SCORE 920267.582
AT ITER 9449 NEW BEST:: SOT 6795859 SOS 1264517 HAS SOPS 1264517 HAS SOUS 918716 HAS SOUPS 918716 WITH SCORE 919980.517
AT ITER 9483 NEW BEST:: SOT 6795859 SOS 1264355 HAS SOPS 1264355 HAS SOUS 918708 HAS SOUPS 918708 WITH SCORE 919972.355
AT ITER 9491 NEW BEST:: SOT 6795638 SOS 1264188 HAS SOPS 1264188 HAS SOUS 918266 HAS SOUPS 918266 WITH SCORE 919530.188
AT ITER 9580 NEW BEST:: SOT 6795369 SOS 1263853 HAS SOPS 1263853 HAS SOUS 917997 HAS SOUPS 917997 WITH SCORE 919260.853
AT ITER 9600 NEW BEST:: SOT 6795358 SOS 1263831 HAS SOPS 1263831 HAS SOUS 917986 HAS SOUPS 917986 WITH SCORE 919249.831
AT ITER 9618 NEW BEST:: SOT 6795356 SOS 1263811 HAS SOPS 1263811 HAS SOUS 917980 HAS SOUPS 917980 WITH SCORE 919243.811
AT ITER 9622 NEW BEST:: SOT 6795431 SOS 1263714 HAS SOPS 1263714 HAS SOUS 917892 HAS SOUPS 917892 WITH SCORE 919155.714
AT ITER 9628 NEW BEST:: SOT 6795383 SOS 1263666 HAS SOPS 1263666 HAS SOUS 917844 HAS SOUPS 917844 WITH SCORE 919107.666
AT ITER 9635 NEW BEST:: SOT 6795383 SOS 1263645 HAS SOPS 1263645 HAS SOUS 917826 HAS SOUPS 917826 WITH SCORE 919089.645
AT ITER 9636 NEW BEST:: SOT 6795321 SOS 1263429 HAS SOPS 1263429 HAS SOUS 917762 HAS SOUPS 917762 WITH SCORE 919025.429
AT ITER 9705 NEW BEST:: SOT 6795227 SOS 1263241 HAS SOPS 1263241 HAS SOUS 917574 HAS SOUPS 917574 WITH SCORE 918837.241
AT ITER 9724 NEW BEST:: SOT 6795075 SOS 1262937 HAS SOPS 1262937 HAS SOUS 917413 HAS SOUPS 917413 WITH SCORE 918675.937
AT ITER 9726 NEW BEST:: SOT 6793896 SOS 1261758 HAS SOPS 1261758 HAS SOUS 916234 HAS SOUPS 916234 WITH SCORE 917495.758
AT ITER 9796 NEW BEST:: SOT 6793824 SOS 1261686 HAS SOPS 1261686 HAS SOUS 916090 HAS SOUPS 916090 WITH SCORE 917351.686
AT ITER 9835 NEW BEST:: SOT 6794050 SOS 1261655 HAS SOPS 1261655 HAS SOUS 916059 HAS SOUPS 916059 WITH SCORE 917320.655
AT ITER 9839 NEW BEST:: SOT 6793891 SOS 1261234 HAS SOPS 1261234 HAS SOUS 915894 HAS SOUPS 915894 WITH SCORE 917155.234
AT ITER 9847 NEW BEST:: SOT 6793845 SOS 1260928 HAS SOPS 1260928 HAS SOUS 915802 HAS SOUPS 915802 WITH SCORE 917062.928
AT ITER 9904 NEW BEST:: SOT 6793862 SOS 1260925 HAS SOPS 1260925 HAS SOUS 915799 HAS SOUPS 915799 WITH SCORE 917059.925
AT ITER 9916 NEW BEST:: SOT 6793879 SOS 1260897 HAS SOPS 1260897 HAS SOUS 915771 HAS SOUPS 915771 WITH SCORE 917031.897
AT ITER 9917 NEW BEST:: SOT 6793721 SOS 1260345 HAS SOPS 1260345 HAS SOUS 915219 HAS SOUPS 915219 WITH SCORE 916479.345
AT ITER 9929 NEW BEST:: SOT 6793632 SOS 1259968 HAS SOPS 1259968 HAS SOUS 915041 HAS SOUPS 915041 WITH SCORE 916300.968
AT ITER 9939 NEW BEST:: SOT 6793578 SOS 1259860 HAS SOPS 1259860 HAS SOUS 914974 HAS SOUPS 914974 WITH SCORE 916233.86
AT ITER 9955 NEW BEST:: SOT 6793578 SOS 1259860 HAS SOPS 1259860 HAS SOUS 914713 HAS SOUPS 914713 WITH SCORE 915972.86
AT ITER 9983 NEW BEST:: SOT 6793738 SOS 1260033 HAS SOPS 1260033 HAS SOUS 914679 HAS SOUPS 914679 WITH SCORE 915939.033

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="ASLink-PT-07b"
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 ASLink-PT-07b, 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 r003-smll-158897508100113"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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