About the Execution of smart for BusinessProcesses-PT-07
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15761.840 | 3600000.00 | 3597121.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/fko/mcc2020-input.r018-oct2-158897680100499.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 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 BusinessProcesses-PT-07, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r018-oct2-158897680100499
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 260K
-rw-r--r-- 1 mcc users 3.4K Mar 26 02:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 26 02:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 22:44 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 22:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 25 17:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 25 17:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 14:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 25 14:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 25 17:55 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 25 17:55 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 100K Mar 24 05:37 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME BusinessProcesses-PT-07-CTLCardinality-00
FORMULA_NAME BusinessProcesses-PT-07-CTLCardinality-01
FORMULA_NAME BusinessProcesses-PT-07-CTLCardinality-02
FORMULA_NAME BusinessProcesses-PT-07-CTLCardinality-03
FORMULA_NAME BusinessProcesses-PT-07-CTLCardinality-04
FORMULA_NAME BusinessProcesses-PT-07-CTLCardinality-05
FORMULA_NAME BusinessProcesses-PT-07-CTLCardinality-06
FORMULA_NAME BusinessProcesses-PT-07-CTLCardinality-07
FORMULA_NAME BusinessProcesses-PT-07-CTLCardinality-08
FORMULA_NAME BusinessProcesses-PT-07-CTLCardinality-09
FORMULA_NAME BusinessProcesses-PT-07-CTLCardinality-10
FORMULA_NAME BusinessProcesses-PT-07-CTLCardinality-11
FORMULA_NAME BusinessProcesses-PT-07-CTLCardinality-12
FORMULA_NAME BusinessProcesses-PT-07-CTLCardinality-13
FORMULA_NAME BusinessProcesses-PT-07-CTLCardinality-14
FORMULA_NAME BusinessProcesses-PT-07-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1589018473065
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 07
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart
GOT IT HERE. BS
Petri model created: 386 places, 360 transitions, 1110 arcs.
AT ITER 0 NEW BEST:: SOT 89715 SOS 36715 HAS SOPS 36715 HAS SOUS 34995 HAS SOUPS 34995 WITH SCORE 35031.715
AT ITER 7 NEW BEST:: SOT 89677 SOS 36715 HAS SOPS 36715 HAS SOUS 34992 HAS SOUPS 34992 WITH SCORE 35028.715
AT ITER 8 NEW BEST:: SOT 88372 SOS 35496 HAS SOPS 35496 HAS SOUS 33773 HAS SOUPS 33773 WITH SCORE 33808.496
AT ITER 11 NEW BEST:: SOT 88372 SOS 35445 HAS SOPS 35445 HAS SOUS 33722 HAS SOUPS 33722 WITH SCORE 33757.445
AT ITER 13 NEW BEST:: SOT 88071 SOS 35143 HAS SOPS 35143 HAS SOUS 33420 HAS SOUPS 33420 WITH SCORE 33455.143
AT ITER 18 NEW BEST:: SOT 88071 SOS 35107 HAS SOPS 35107 HAS SOUS 33418 HAS SOUPS 33418 WITH SCORE 33453.107
AT ITER 25 NEW BEST:: SOT 88071 SOS 34967 HAS SOPS 34967 HAS SOUS 33278 HAS SOUPS 33278 WITH SCORE 33312.967
AT ITER 39 NEW BEST:: SOT 88096 SOS 34987 HAS SOPS 34987 HAS SOUS 33273 HAS SOUPS 33273 WITH SCORE 33307.987
AT ITER 45 NEW BEST:: SOT 88096 SOS 34931 HAS SOPS 34931 HAS SOUS 33217 HAS SOUPS 33217 WITH SCORE 33251.931
AT ITER 46 NEW BEST:: SOT 88096 SOS 34628 HAS SOPS 34628 HAS SOUS 33151 HAS SOUPS 33151 WITH SCORE 33185.628
AT ITER 47 NEW BEST:: SOT 88050 SOS 34627 HAS SOPS 34627 HAS SOUS 33150 HAS SOUPS 33150 WITH SCORE 33184.627
AT ITER 49 NEW BEST:: SOT 88033 SOS 34610 HAS SOPS 34610 HAS SOUS 33133 HAS SOUPS 33133 WITH SCORE 33167.61
AT ITER 61 NEW BEST:: SOT 87994 SOS 34575 HAS SOPS 34575 HAS SOUS 33098 HAS SOUPS 33098 WITH SCORE 33132.575
AT ITER 68 NEW BEST:: SOT 87990 SOS 34567 HAS SOPS 34567 HAS SOUS 33090 HAS SOUPS 33090 WITH SCORE 33124.567
AT ITER 73 NEW BEST:: SOT 87990 SOS 34513 HAS SOPS 34513 HAS SOUS 33036 HAS SOUPS 33036 WITH SCORE 33070.513
AT ITER 74 NEW BEST:: SOT 87989 SOS 34511 HAS SOPS 34511 HAS SOUS 33034 HAS SOUPS 33034 WITH SCORE 33068.511
AT ITER 96 NEW BEST:: SOT 87988 SOS 34509 HAS SOPS 34509 HAS SOUS 33032 HAS SOUPS 33032 WITH SCORE 33066.509
AT ITER 102 NEW BEST:: SOT 88018 SOS 34539 HAS SOPS 34539 HAS SOUS 33031 HAS SOUPS 33031 WITH SCORE 33065.539
AT ITER 106 NEW BEST:: SOT 87976 SOS 34499 HAS SOPS 34499 HAS SOUS 32991 HAS SOUPS 32991 WITH SCORE 33025.499
AT ITER 113 NEW BEST:: SOT 88035 SOS 34458 HAS SOPS 34458 HAS SOUS 32950 HAS SOUPS 32950 WITH SCORE 32984.458
AT ITER 125 NEW BEST:: SOT 88035 SOS 34411 HAS SOPS 34411 HAS SOUS 32903 HAS SOUPS 32903 WITH SCORE 32937.411
AT ITER 133 NEW BEST:: SOT 87671 SOS 34067 HAS SOPS 34067 HAS SOUS 32559 HAS SOUPS 32559 WITH SCORE 32593.067
AT ITER 138 NEW BEST:: SOT 87645 SOS 34012 HAS SOPS 34012 HAS SOUS 32504 HAS SOUPS 32504 WITH SCORE 32538.012
AT ITER 144 NEW BEST:: SOT 87645 SOS 34004 HAS SOPS 34004 HAS SOUS 32500 HAS SOUPS 32500 WITH SCORE 32534.004
AT ITER 153 NEW BEST:: SOT 87598 SOS 33938 HAS SOPS 33938 HAS SOUS 32434 HAS SOUPS 32434 WITH SCORE 32467.938
AT ITER 167 NEW BEST:: SOT 87501 SOS 33728 HAS SOPS 33728 HAS SOUS 32224 HAS SOUPS 32224 WITH SCORE 32257.728
AT ITER 191 NEW BEST:: SOT 87106 SOS 33474 HAS SOPS 33474 HAS SOUS 31897 HAS SOUPS 31897 WITH SCORE 31930.474
AT ITER 200 NEW BEST:: SOT 87092 SOS 33474 HAS SOPS 33474 HAS SOUS 31883 HAS SOUPS 31883 WITH SCORE 31916.474
AT ITER 207 NEW BEST:: SOT 87114 SOS 33430 HAS SOPS 33430 HAS SOUS 31866 HAS SOUPS 31866 WITH SCORE 31899.43
AT ITER 208 NEW BEST:: SOT 87077 SOS 33319 HAS SOPS 33319 HAS SOUS 31755 HAS SOUPS 31755 WITH SCORE 31788.319
AT ITER 213 NEW BEST:: SOT 87077 SOS 33305 HAS SOPS 33305 HAS SOUS 31741 HAS SOUPS 31741 WITH SCORE 31774.305
AT ITER 214 NEW BEST:: SOT 87053 SOS 33282 HAS SOPS 33282 HAS SOUS 31718 HAS SOUPS 31718 WITH SCORE 31751.282
AT ITER 222 NEW BEST:: SOT 86993 SOS 33232 HAS SOPS 33232 HAS SOUS 31668 HAS SOUPS 31668 WITH SCORE 31701.232
AT ITER 244 NEW BEST:: SOT 87037 SOS 33180 HAS SOPS 33180 HAS SOUS 31616 HAS SOUPS 31616 WITH SCORE 31649.18
AT ITER 245 NEW BEST:: SOT 85973 SOS 32075 HAS SOPS 32075 HAS SOUS 30504 HAS SOUPS 30504 WITH SCORE 30536.075
AT ITER 248 NEW BEST:: SOT 85973 SOS 32075 HAS SOPS 32075 HAS SOUS 30502 HAS SOUPS 30502 WITH SCORE 30534.075
AT ITER 256 NEW BEST:: SOT 85953 SOS 32007 HAS SOPS 32007 HAS SOUS 30434 HAS SOUPS 30434 WITH SCORE 30466.007
AT ITER 262 NEW BEST:: SOT 84520 SOS 30540 HAS SOPS 30540 HAS SOUS 28967 HAS SOUPS 28967 WITH SCORE 28997.54
AT ITER 264 NEW BEST:: SOT 84488 SOS 30476 HAS SOPS 30476 HAS SOUS 28903 HAS SOUPS 28903 WITH SCORE 28933.476
AT ITER 267 NEW BEST:: SOT 84375 SOS 30283 HAS SOPS 30283 HAS SOUS 28710 HAS SOUPS 28710 WITH SCORE 28740.283
AT ITER 270 NEW BEST:: SOT 84406 SOS 30261 HAS SOPS 30261 HAS SOUS 28688 HAS SOUPS 28688 WITH SCORE 28718.261
AT ITER 281 NEW BEST:: SOT 84361 SOS 30216 HAS SOPS 30216 HAS SOUS 28643 HAS SOUPS 28643 WITH SCORE 28673.216
AT ITER 291 NEW BEST:: SOT 84361 SOS 30176 HAS SOPS 30176 HAS SOUS 28603 HAS SOUPS 28603 WITH SCORE 28633.176
AT ITER 303 NEW BEST:: SOT 84190 SOS 30005 HAS SOPS 30005 HAS SOUS 28405 HAS SOUPS 28405 WITH SCORE 28435.005
AT ITER 314 NEW BEST:: SOT 84189 SOS 30003 HAS SOPS 30003 HAS SOUS 28403 HAS SOUPS 28403 WITH SCORE 28433.003
AT ITER 318 NEW BEST:: SOT 84189 SOS 30001 HAS SOPS 30001 HAS SOUS 28401 HAS SOUPS 28401 WITH SCORE 28431.001
AT ITER 359 NEW BEST:: SOT 84105 SOS 29856 HAS SOPS 29856 HAS SOUS 28256 HAS SOUPS 28256 WITH SCORE 28285.856
AT ITER 398 NEW BEST:: SOT 84155 SOS 29800 HAS SOPS 29800 HAS SOUS 28200 HAS SOUPS 28200 WITH SCORE 28229.8
AT ITER 406 NEW BEST:: SOT 84084 SOS 29658 HAS SOPS 29658 HAS SOUS 28058 HAS SOUPS 28058 WITH SCORE 28087.658
AT ITER 428 NEW BEST:: SOT 84083 SOS 29579 HAS SOPS 29579 HAS SOUS 27979 HAS SOUPS 27979 WITH SCORE 28008.579
AT ITER 442 NEW BEST:: SOT 84045 SOS 29503 HAS SOPS 29503 HAS SOUS 27928 HAS SOUPS 27928 WITH SCORE 27957.503
AT ITER 443 NEW BEST:: SOT 83328 SOS 30056 HAS SOPS 30056 HAS SOUS 27375 HAS SOUPS 27375 WITH SCORE 27405.056
AT ITER 445 NEW BEST:: SOT 83466 SOS 30023 HAS SOPS 30023 HAS SOUS 27342 HAS SOUPS 27342 WITH SCORE 27372.023
AT ITER 449 NEW BEST:: SOT 81542 SOS 29314 HAS SOPS 29314 HAS SOUS 25593 HAS SOUPS 25593 WITH SCORE 25622.314
AT ITER 454 NEW BEST:: SOT 81573 SOS 29275 HAS SOPS 29275 HAS SOUS 25523 HAS SOUPS 25523 WITH SCORE 25552.275
AT ITER 455 NEW BEST:: SOT 81592 SOS 29065 HAS SOPS 29065 HAS SOUS 25313 HAS SOUPS 25313 WITH SCORE 25342.065
AT ITER 475 NEW BEST:: SOT 81652 SOS 29116 HAS SOPS 29116 HAS SOUS 25294 HAS SOUPS 25294 WITH SCORE 25323.116
AT ITER 482 NEW BEST:: SOT 81691 SOS 29115 HAS SOPS 29115 HAS SOUS 25293 HAS SOUPS 25293 WITH SCORE 25322.115
AT ITER 485 NEW BEST:: SOT 81580 SOS 29089 HAS SOPS 29089 HAS SOUS 25267 HAS SOUPS 25267 WITH SCORE 25296.089
AT ITER 501 NEW BEST:: SOT 81571 SOS 29080 HAS SOPS 29080 HAS SOUS 25258 HAS SOUPS 25258 WITH SCORE 25287.08
AT ITER 502 NEW BEST:: SOT 81458 SOS 29011 HAS SOPS 29011 HAS SOUS 25189 HAS SOUPS 25189 WITH SCORE 25218.011
AT ITER 506 NEW BEST:: SOT 81387 SOS 28869 HAS SOPS 28869 HAS SOUS 25096 HAS SOUPS 25096 WITH SCORE 25124.869
AT ITER 514 NEW BEST:: SOT 81378 SOS 28866 HAS SOPS 28866 HAS SOUS 25093 HAS SOUPS 25093 WITH SCORE 25121.866
AT ITER 528 NEW BEST:: SOT 81378 SOS 28798 HAS SOPS 28798 HAS SOUS 25089 HAS SOUPS 25089 WITH SCORE 25117.798
AT ITER 536 NEW BEST:: SOT 81367 SOS 28787 HAS SOPS 28787 HAS SOUS 25088 HAS SOUPS 25088 WITH SCORE 25116.787
AT ITER 543 NEW BEST:: SOT 81318 SOS 28719 HAS SOPS 28719 HAS SOUS 25050 HAS SOUPS 25050 WITH SCORE 25078.719
AT ITER 560 NEW BEST:: SOT 81306 SOS 28711 HAS SOPS 28711 HAS SOUS 25042 HAS SOUPS 25042 WITH SCORE 25070.711
AT ITER 569 NEW BEST:: SOT 81282 SOS 28696 HAS SOPS 28696 HAS SOUS 25027 HAS SOUPS 25027 WITH SCORE 25055.696
AT ITER 572 NEW BEST:: SOT 81274 SOS 28688 HAS SOPS 28688 HAS SOUS 25019 HAS SOUPS 25019 WITH SCORE 25047.688
AT ITER 578 NEW BEST:: SOT 81201 SOS 33727 HAS SOPS 33727 HAS SOUS 24946 HAS SOUPS 24946 WITH SCORE 24979.727
AT ITER 583 NEW BEST:: SOT 81189 SOS 33709 HAS SOPS 33709 HAS SOUS 24928 HAS SOUPS 24928 WITH SCORE 24961.709
AT ITER 586 NEW BEST:: SOT 81188 SOS 33646 HAS SOPS 33646 HAS SOUS 24923 HAS SOUPS 24923 WITH SCORE 24956.646
AT ITER 589 NEW BEST:: SOT 81247 SOS 33617 HAS SOPS 33617 HAS SOUS 24900 HAS SOUPS 24900 WITH SCORE 24933.617
AT ITER 593 NEW BEST:: SOT 81142 SOS 33512 HAS SOPS 33512 HAS SOUS 24900 HAS SOUPS 24900 WITH SCORE 24933.512
AT ITER 597 NEW BEST:: SOT 81088 SOS 33317 HAS SOPS 33317 HAS SOUS 24771 HAS SOUPS 24771 WITH SCORE 24804.317
AT ITER 598 NEW BEST:: SOT 80972 SOS 33232 HAS SOPS 33232 HAS SOUS 24686 HAS SOUPS 24686 WITH SCORE 24719.232
AT ITER 610 NEW BEST:: SOT 80896 SOS 33080 HAS SOPS 33080 HAS SOUS 24674 HAS SOUPS 24674 WITH SCORE 24707.08
AT ITER 614 NEW BEST:: SOT 81005 SOS 33074 HAS SOPS 33074 HAS SOUS 24668 HAS SOUPS 24668 WITH SCORE 24701.074
AT ITER 619 NEW BEST:: SOT 81005 SOS 33071 HAS SOPS 33071 HAS SOUS 24665 HAS SOUPS 24665 WITH SCORE 24698.071
AT ITER 621 NEW BEST:: SOT 80902 SOS 32936 HAS SOPS 32936 HAS SOUS 24530 HAS SOUPS 24530 WITH SCORE 24562.936
AT ITER 647 NEW BEST:: SOT 80970 SOS 33004 HAS SOPS 33004 HAS SOUS 24470 HAS SOUPS 24470 WITH SCORE 24503.004
AT ITER 658 NEW BEST:: SOT 80880 SOS 33437 HAS SOPS 33437 HAS SOUS 24459 HAS SOUPS 24459 WITH SCORE 24492.437
AT ITER 663 NEW BEST:: SOT 80792 SOS 33296 HAS SOPS 33296 HAS SOUS 24393 HAS SOUPS 24393 WITH SCORE 24426.296
AT ITER 665 NEW BEST:: SOT 80780 SOS 33255 HAS SOPS 33255 HAS SOUS 24369 HAS SOUPS 24369 WITH SCORE 24402.255
AT ITER 669 NEW BEST:: SOT 80780 SOS 33214 HAS SOPS 33214 HAS SOUS 24328 HAS SOUPS 24328 WITH SCORE 24361.214
AT ITER 670 NEW BEST:: SOT 80775 SOS 33166 HAS SOPS 33166 HAS SOUS 24280 HAS SOUPS 24280 WITH SCORE 24313.166
AT ITER 676 NEW BEST:: SOT 80752 SOS 33120 HAS SOPS 33120 HAS SOUS 24257 HAS SOUPS 24257 WITH SCORE 24290.12
AT ITER 687 NEW BEST:: SOT 80752 SOS 33119 HAS SOPS 33119 HAS SOUS 24256 HAS SOUPS 24256 WITH SCORE 24289.119
AT ITER 689 NEW BEST:: SOT 80557 SOS 32989 HAS SOPS 32989 HAS SOUS 24126 HAS SOUPS 24126 WITH SCORE 24158.989
AT ITER 690 NEW BEST:: SOT 80546 SOS 32967 HAS SOPS 32967 HAS SOUS 24104 HAS SOUPS 24104 WITH SCORE 24136.967
AT ITER 691 NEW BEST:: SOT 80440 SOS 32901 HAS SOPS 32901 HAS SOUS 24038 HAS SOUPS 24038 WITH SCORE 24070.901
AT ITER 693 NEW BEST:: SOT 80410 SOS 32858 HAS SOPS 32858 HAS SOUS 23995 HAS SOUPS 23995 WITH SCORE 24027.858
AT ITER 701 NEW BEST:: SOT 80426 SOS 32779 HAS SOPS 32779 HAS SOUS 23916 HAS SOUPS 23916 WITH SCORE 23948.779
AT ITER 706 NEW BEST:: SOT 80414 SOS 32755 HAS SOPS 32755 HAS SOUS 23904 HAS SOUPS 23904 WITH SCORE 23936.755
AT ITER 710 NEW BEST:: SOT 80368 SOS 32672 HAS SOPS 32672 HAS SOUS 23821 HAS SOUPS 23821 WITH SCORE 23853.672
AT ITER 716 NEW BEST:: SOT 80410 SOS 32624 HAS SOPS 32624 HAS SOUS 23726 HAS SOUPS 23726 WITH SCORE 23758.624
AT ITER 733 NEW BEST:: SOT 80404 SOS 32618 HAS SOPS 32618 HAS SOUS 23720 HAS SOUPS 23720 WITH SCORE 23752.618
AT ITER 739 NEW BEST:: SOT 80303 SOS 32370 HAS SOPS 32370 HAS SOUS 23472 HAS SOUPS 23472 WITH SCORE 23504.37
AT ITER 752 NEW BEST:: SOT 80303 SOS 32370 HAS SOPS 32370 HAS SOUS 23459 HAS SOUPS 23459 WITH SCORE 23491.37
AT ITER 753 NEW BEST:: SOT 80237 SOS 32317 HAS SOPS 32317 HAS SOUS 23406 HAS SOUPS 23406 WITH SCORE 23438.317
AT ITER 766 NEW BEST:: SOT 80209 SOS 32261 HAS SOPS 32261 HAS SOUS 23350 HAS SOUPS 23350 WITH SCORE 23382.261
AT ITER 783 NEW BEST:: SOT 80209 SOS 32261 HAS SOPS 32261 HAS SOUS 23298 HAS SOUPS 23298 WITH SCORE 23330.261
AT ITER 787 NEW BEST:: SOT 80209 SOS 32261 HAS SOPS 32261 HAS SOUS 23269 HAS SOUPS 23269 WITH SCORE 23301.261
AT ITER 807 NEW BEST:: SOT 80268 SOS 32204 HAS SOPS 32204 HAS SOUS 23212 HAS SOUPS 23212 WITH SCORE 23244.204
AT ITER 817 NEW BEST:: SOT 80254 SOS 32176 HAS SOPS 32176 HAS SOUS 23194 HAS SOUPS 23194 WITH SCORE 23226.176
AT ITER 820 NEW BEST:: SOT 80113 SOS 32113 HAS SOPS 32113 HAS SOUS 23114 HAS SOUPS 23114 WITH SCORE 23146.113
AT ITER 822 NEW BEST:: SOT 80110 SOS 32107 HAS SOPS 32107 HAS SOUS 23108 HAS SOUPS 23108 WITH SCORE 23140.107
AT ITER 827 NEW BEST:: SOT 80088 SOS 32085 HAS SOPS 32085 HAS SOUS 23086 HAS SOUPS 23086 WITH SCORE 23118.085
AT ITER 832 NEW BEST:: SOT 80046 SOS 32013 HAS SOPS 32013 HAS SOUS 23014 HAS SOUPS 23014 WITH SCORE 23046.013
AT ITER 838 NEW BEST:: SOT 80024 SOS 31986 HAS SOPS 31986 HAS SOUS 23009 HAS SOUPS 23009 WITH SCORE 23040.986
AT ITER 846 NEW BEST:: SOT 80072 SOS 31933 HAS SOPS 31933 HAS SOUS 22946 HAS SOUPS 22946 WITH SCORE 22977.933
AT ITER 858 NEW BEST:: SOT 80072 SOS 31933 HAS SOPS 31933 HAS SOUS 22922 HAS SOUPS 22922 WITH SCORE 22953.933
AT ITER 868 NEW BEST:: SOT 79921 SOS 31631 HAS SOPS 31631 HAS SOUS 22713 HAS SOUPS 22713 WITH SCORE 22744.631
AT ITER 875 NEW BEST:: SOT 79903 SOS 31626 HAS SOPS 31626 HAS SOUS 22708 HAS SOUPS 22708 WITH SCORE 22739.626
AT ITER 884 NEW BEST:: SOT 79869 SOS 31558 HAS SOPS 31558 HAS SOUS 22674 HAS SOUPS 22674 WITH SCORE 22705.558
AT ITER 896 NEW BEST:: SOT 79863 SOS 31555 HAS SOPS 31555 HAS SOUS 22671 HAS SOUPS 22671 WITH SCORE 22702.555
AT ITER 915 NEW BEST:: SOT 79841 SOS 31528 HAS SOPS 31528 HAS SOUS 22644 HAS SOUPS 22644 WITH SCORE 22675.528
AT ITER 916 NEW BEST:: SOT 79740 SOS 31255 HAS SOPS 31255 HAS SOUS 22472 HAS SOUPS 22472 WITH SCORE 22503.255
AT ITER 920 NEW BEST:: SOT 79729 SOS 31233 HAS SOPS 31233 HAS SOUS 22430 HAS SOUPS 22430 WITH SCORE 22461.233
AT ITER 939 NEW BEST:: SOT 79729 SOS 31229 HAS SOPS 31229 HAS SOUS 22426 HAS SOUPS 22426 WITH SCORE 22457.229
AT ITER 944 NEW BEST:: SOT 79729 SOS 31217 HAS SOPS 31217 HAS SOUS 22414 HAS SOUPS 22414 WITH SCORE 22445.217
AT ITER 966 NEW BEST:: SOT 79721 SOS 31209 HAS SOPS 31209 HAS SOUS 22414 HAS SOUPS 22414 WITH SCORE 22445.209
AT ITER 974 NEW BEST:: SOT 79667 SOS 31172 HAS SOPS 31172 HAS SOUS 22350 HAS SOUPS 22350 WITH SCORE 22381.172
AT ITER 978 NEW BEST:: SOT 79666 SOS 31170 HAS SOPS 31170 HAS SOUS 22350 HAS SOUPS 22350 WITH SCORE 22381.17
AT ITER 981 NEW BEST:: SOT 79659 SOS 31162 HAS SOPS 31162 HAS SOUS 22342 HAS SOUPS 22342 WITH SCORE 22373.162
AT ITER 985 NEW BEST:: SOT 79705 SOS 31130 HAS SOPS 31130 HAS SOUS 22310 HAS SOUPS 22310 WITH SCORE 22341.13
AT ITER 991 NEW BEST:: SOT 79673 SOS 31065 HAS SOPS 31065 HAS SOUS 22195 HAS SOUPS 22195 WITH SCORE 22226.065
AT ITER 992 NEW BEST:: SOT 79673 SOS 31065 HAS SOPS 31065 HAS SOUS 22149 HAS SOUPS 22149 WITH SCORE 22180.065
AT ITER 1000 NEW BEST:: SOT 79636 SOS 30998 HAS SOPS 30998 HAS SOUS 22082 HAS SOUPS 22082 WITH SCORE 22112.998
AT ITER 1002 NEW BEST:: SOT 79553 SOS 30915 HAS SOPS 30915 HAS SOUS 21999 HAS SOUPS 21999 WITH SCORE 22029.915
AT ITER 1005 NEW BEST:: SOT 79553 SOS 30854 HAS SOPS 30854 HAS SOUS 21938 HAS SOUPS 21938 WITH SCORE 21968.854
AT ITER 1012 NEW BEST:: SOT 79310 SOS 30461 HAS SOPS 30461 HAS SOUS 21697 HAS SOUPS 21697 WITH SCORE 21727.461
AT ITER 1018 NEW BEST:: SOT 79259 SOS 30435 HAS SOPS 30435 HAS SOUS 21671 HAS SOUPS 21671 WITH SCORE 21701.435
AT ITER 1025 NEW BEST:: SOT 79235 SOS 30387 HAS SOPS 30387 HAS SOUS 21623 HAS SOUPS 21623 WITH SCORE 21653.387
AT ITER 1029 NEW BEST:: SOT 79249 SOS 30385 HAS SOPS 30385 HAS SOUS 21622 HAS SOUPS 21622 WITH SCORE 21652.385
AT ITER 1048 NEW BEST:: SOT 79243 SOS 30373 HAS SOPS 30373 HAS SOUS 21610 HAS SOUPS 21610 WITH SCORE 21640.373
AT ITER 1065 NEW BEST:: SOT 79276 SOS 30366 HAS SOPS 30366 HAS SOUS 21603 HAS SOUPS 21603 WITH SCORE 21633.366
AT ITER 1075 NEW BEST:: SOT 79271 SOS 30356 HAS SOPS 30356 HAS SOUS 21593 HAS SOUPS 21593 WITH SCORE 21623.356
AT ITER 1079 NEW BEST:: SOT 79252 SOS 30337 HAS SOPS 30337 HAS SOUS 21574 HAS SOUPS 21574 WITH SCORE 21604.337
AT ITER 1085 NEW BEST:: SOT 78963 SOS 30092 HAS SOPS 30092 HAS SOUS 21348 HAS SOUPS 21348 WITH SCORE 21378.092
AT ITER 1089 NEW BEST:: SOT 78947 SOS 30165 HAS SOPS 30165 HAS SOUS 21332 HAS SOUPS 21332 WITH SCORE 21362.165
AT ITER 1124 NEW BEST:: SOT 78953 SOS 30147 HAS SOPS 30147 HAS SOUS 21241 HAS SOUPS 21241 WITH SCORE 21271.147
AT ITER 1138 NEW BEST:: SOT 78945 SOS 30138 HAS SOPS 30138 HAS SOUS 21232 HAS SOUPS 21232 WITH SCORE 21262.138
AT ITER 1141 NEW BEST:: SOT 78869 SOS 30068 HAS SOPS 30068 HAS SOUS 21162 HAS SOUPS 21162 WITH SCORE 21192.068
AT ITER 1150 NEW BEST:: SOT 78786 SOS 29919 HAS SOPS 29919 HAS SOUS 21016 HAS SOUPS 21016 WITH SCORE 21045.919
AT ITER 1168 NEW BEST:: SOT 78647 SOS 29679 HAS SOPS 29679 HAS SOUS 20916 HAS SOUPS 20916 WITH SCORE 20945.679
AT ITER 1181 NEW BEST:: SOT 78563 SOS 29594 HAS SOPS 29594 HAS SOUS 20915 HAS SOUPS 20915 WITH SCORE 20944.594
AT ITER 1212 NEW BEST:: SOT 78563 SOS 29534 HAS SOPS 29534 HAS SOUS 20855 HAS SOUPS 20855 WITH SCORE 20884.534
AT ITER 1219 NEW BEST:: SOT 78562 SOS 29532 HAS SOPS 29532 HAS SOUS 20853 HAS SOUPS 20853 WITH SCORE 20882.532
AT ITER 1221 NEW BEST:: SOT 78534 SOS 29488 HAS SOPS 29488 HAS SOUS 20809 HAS SOUPS 20809 WITH SCORE 20838.488
AT ITER 1223 NEW BEST:: SOT 78406 SOS 29361 HAS SOPS 29361 HAS SOUS 20706 HAS SOUPS 20706 WITH SCORE 20735.361
AT ITER 1226 NEW BEST:: SOT 78339 SOS 29294 HAS SOPS 29294 HAS SOUS 20639 HAS SOUPS 20639 WITH SCORE 20668.294
AT ITER 1235 NEW BEST:: SOT 78333 SOS 29288 HAS SOPS 29288 HAS SOUS 20633 HAS SOUPS 20633 WITH SCORE 20662.288
AT ITER 1242 NEW BEST:: SOT 78332 SOS 29283 HAS SOPS 29283 HAS SOUS 20628 HAS SOUPS 20628 WITH SCORE 20657.283
AT ITER 1270 NEW BEST:: SOT 78313 SOS 29261 HAS SOPS 29261 HAS SOUS 20606 HAS SOUPS 20606 WITH SCORE 20635.261
AT ITER 1274 NEW BEST:: SOT 78307 SOS 29255 HAS SOPS 29255 HAS SOUS 20606 HAS SOUPS 20606 WITH SCORE 20635.255
AT ITER 1289 NEW BEST:: SOT 78293 SOS 29227 HAS SOPS 29227 HAS SOUS 20578 HAS SOUPS 20578 WITH SCORE 20607.227
AT ITER 1290 NEW BEST:: SOT 78248 SOS 29182 HAS SOPS 29182 HAS SOUS 20533 HAS SOUPS 20533 WITH SCORE 20562.182
AT ITER 1292 NEW BEST:: SOT 78247 SOS 29180 HAS SOPS 29180 HAS SOUS 20531 HAS SOUPS 20531 WITH SCORE 20560.18
AT ITER 1294 NEW BEST:: SOT 78240 SOS 29173 HAS SOPS 29173 HAS SOUS 20517 HAS SOUPS 20517 WITH SCORE 20546.173
AT ITER 1322 NEW BEST:: SOT 78197 SOS 29087 HAS SOPS 29087 HAS SOUS 20431 HAS SOUPS 20431 WITH SCORE 20460.087
AT ITER 1341 NEW BEST:: SOT 78197 SOS 29078 HAS SOPS 29078 HAS SOUS 20422 HAS SOUPS 20422 WITH SCORE 20451.078
AT ITER 1353 NEW BEST:: SOT 78108 SOS 29328 HAS SOPS 29328 HAS SOUS 20408 HAS SOUPS 20408 WITH SCORE 20437.328
AT ITER 1365 NEW BEST:: SOT 78055 SOS 29222 HAS SOPS 29222 HAS SOUS 20381 HAS SOUPS 20381 WITH SCORE 20410.222
AT ITER 1408 NEW BEST:: SOT 78047 SOS 29212 HAS SOPS 29212 HAS SOUS 20371 HAS SOUPS 20371 WITH SCORE 20400.212
AT ITER 1437 NEW BEST:: SOT 78047 SOS 29263 HAS SOPS 29263 HAS SOUS 20369 HAS SOUPS 20369 WITH SCORE 20398.263
AT ITER 1448 NEW BEST:: SOT 78043 SOS 29095 HAS SOPS 29095 HAS SOUS 20361 HAS SOUPS 20361 WITH SCORE 20390.095
AT ITER 1455 NEW BEST:: SOT 78040 SOS 29084 HAS SOPS 29084 HAS SOUS 20350 HAS SOUPS 20350 WITH SCORE 20379.084
AT ITER 1483 NEW BEST:: SOT 78035 SOS 29079 HAS SOPS 29079 HAS SOUS 20345 HAS SOUPS 20345 WITH SCORE 20374.079
AT ITER 1495 NEW BEST:: SOT 77976 SOS 28961 HAS SOPS 28961 HAS SOUS 20312 HAS SOUPS 20312 WITH SCORE 20340.961
AT ITER 1523 NEW BEST:: SOT 77910 SOS 28829 HAS SOPS 28829 HAS SOUS 20246 HAS SOUPS 20246 WITH SCORE 20274.829
AT ITER 1543 NEW BEST:: SOT 77900 SOS 28804 HAS SOPS 28804 HAS SOUS 20231 HAS SOUPS 20231 WITH SCORE 20259.804
AT ITER 1558 NEW BEST:: SOT 77889 SOS 28793 HAS SOPS 28793 HAS SOUS 20220 HAS SOUPS 20220 WITH SCORE 20248.793
AT ITER 1585 NEW BEST:: SOT 77884 SOS 28703 HAS SOPS 28703 HAS SOUS 20210 HAS SOUPS 20210 WITH SCORE 20238.703
AT ITER 1591 NEW BEST:: SOT 77847 SOS 28649 HAS SOPS 28649 HAS SOUS 20176 HAS SOUPS 20176 WITH SCORE 20204.649
AT ITER 1646 NEW BEST:: SOT 77842 SOS 28637 HAS SOPS 28637 HAS SOUS 20167 HAS SOUPS 20167 WITH SCORE 20195.637
AT ITER 1653 NEW BEST:: SOT 77798 SOS 28578 HAS SOPS 28578 HAS SOUS 20108 HAS SOUPS 20108 WITH SCORE 20136.578
AT ITER 1661 NEW BEST:: SOT 77798 SOS 28573 HAS SOPS 28573 HAS SOUS 20051 HAS SOUPS 20051 WITH SCORE 20079.573
AT ITER 1665 NEW BEST:: SOT 77745 SOS 28410 HAS SOPS 28410 HAS SOUS 19945 HAS SOUPS 19945 WITH SCORE 19973.41
AT ITER 1669 NEW BEST:: SOT 77743 SOS 28406 HAS SOPS 28406 HAS SOUS 19939 HAS SOUPS 19939 WITH SCORE 19967.406
AT ITER 1703 NEW BEST:: SOT 77730 SOS 28380 HAS SOPS 28380 HAS SOUS 19938 HAS SOUPS 19938 WITH SCORE 19966.38
AT ITER 1716 NEW BEST:: SOT 77726 SOS 28372 HAS SOPS 28372 HAS SOUS 19908 HAS SOUPS 19908 WITH SCORE 19936.372
AT ITER 1735 NEW BEST:: SOT 77698 SOS 28344 HAS SOPS 28344 HAS SOUS 19880 HAS SOUPS 19880 WITH SCORE 19908.344
AT ITER 1737 NEW BEST:: SOT 77746 SOS 28392 HAS SOPS 28392 HAS SOUS 19858 HAS SOUPS 19858 WITH SCORE 19886.392
AT ITER 1747 NEW BEST:: SOT 77746 SOS 28373 HAS SOPS 28373 HAS SOUS 19839 HAS SOUPS 19839 WITH SCORE 19867.373
AT ITER 1762 NEW BEST:: SOT 77746 SOS 28350 HAS SOPS 28350 HAS SOUS 19793 HAS SOUPS 19793 WITH SCORE 19821.35
AT ITER 1765 NEW BEST:: SOT 77737 SOS 28341 HAS SOPS 28341 HAS SOUS 19784 HAS SOUPS 19784 WITH SCORE 19812.341
AT ITER 1774 NEW BEST:: SOT 77481 SOS 28085 HAS SOPS 28085 HAS SOUS 19656 HAS SOUPS 19656 WITH SCORE 19684.085
AT ITER 1789 NEW BEST:: SOT 77481 SOS 28065 HAS SOPS 28065 HAS SOUS 19656 HAS SOUPS 19656 WITH SCORE 19684.065
AT ITER 1808 NEW BEST:: SOT 77495 SOS 28040 HAS SOPS 28040 HAS SOUS 19631 HAS SOUPS 19631 WITH SCORE 19659.04
AT ITER 1847 NEW BEST:: SOT 77509 SOS 28045 HAS SOPS 28045 HAS SOUS 19613 HAS SOUPS 19613 WITH SCORE 19641.045
AT ITER 1860 NEW BEST:: SOT 77504 SOS 28024 HAS SOPS 28024 HAS SOUS 19603 HAS SOUPS 19603 WITH SCORE 19631.024
AT ITER 1863 NEW BEST:: SOT 77501 SOS 28018 HAS SOPS 28018 HAS SOUS 19597 HAS SOUPS 19597 WITH SCORE 19625.018
AT ITER 1867 NEW BEST:: SOT 77476 SOS 27993 HAS SOPS 27993 HAS SOUS 19570 HAS SOUPS 19570 WITH SCORE 19597.993
AT ITER 1907 NEW BEST:: SOT 77475 SOS 27982 HAS SOPS 27982 HAS SOUS 19560 HAS SOUPS 19560 WITH SCORE 19587.982
AT ITER 1921 NEW BEST:: SOT 77468 SOS 27968 HAS SOPS 27968 HAS SOUS 19546 HAS SOUPS 19546 WITH SCORE 19573.968
AT ITER 1934 NEW BEST:: SOT 77459 SOS 27959 HAS SOPS 27959 HAS SOUS 19537 HAS SOUPS 19537 WITH SCORE 19564.959
AT ITER 1947 NEW BEST:: SOT 77457 SOS 27955 HAS SOPS 27955 HAS SOUS 19533 HAS SOUPS 19533 WITH SCORE 19560.955
AT ITER 1948 NEW BEST:: SOT 77457 SOS 27954 HAS SOPS 27954 HAS SOUS 19532 HAS SOUPS 19532 WITH SCORE 19559.954
AT ITER 1964 NEW BEST:: SOT 77454 SOS 27952 HAS SOPS 27952 HAS SOUS 19530 HAS SOUPS 19530 WITH SCORE 19557.952
AT ITER 1983 NEW BEST:: SOT 77413 SOS 27911 HAS SOPS 27911 HAS SOUS 19530 HAS SOUPS 19530 WITH SCORE 19557.911
AT ITER 1996 NEW BEST:: SOT 77416 SOS 27898 HAS SOPS 27898 HAS SOUS 19517 HAS SOUPS 19517 WITH SCORE 19544.898
AT ITER 2016 NEW BEST:: SOT 77403 SOS 27885 HAS SOPS 27885 HAS SOUS 19504 HAS SOUPS 19504 WITH SCORE 19531.885
AT ITER 2019 NEW BEST:: SOT 77392 SOS 27863 HAS SOPS 27863 HAS SOUS 19493 HAS SOUPS 19493 WITH SCORE 19520.863
AT ITER 2037 NEW BEST:: SOT 77393 SOS 27781 HAS SOPS 27781 HAS SOUS 19359 HAS SOUPS 19359 WITH SCORE 19386.781
AT ITER 2046 NEW BEST:: SOT 77393 SOS 27770 HAS SOPS 27770 HAS SOUS 19348 HAS SOUPS 19348 WITH SCORE 19375.77
AT ITER 2070 NEW BEST:: SOT 77401 SOS 27784 HAS SOPS 27784 HAS SOUS 19334 HAS SOUPS 19334 WITH SCORE 19361.784
AT ITER 2093 NEW BEST:: SOT 77387 SOS 27748 HAS SOPS 27748 HAS SOUS 19319 HAS SOUPS 19319 WITH SCORE 19346.748
AT ITER 2115 NEW BEST:: SOT 77379 SOS 27732 HAS SOPS 27732 HAS SOUS 19303 HAS SOUPS 19303 WITH SCORE 19330.732
AT ITER 2122 NEW BEST:: SOT 77376 SOS 27726 HAS SOPS 27726 HAS SOUS 19300 HAS SOUPS 19300 WITH SCORE 19327.726
AT ITER 2156 NEW BEST:: SOT 77325 SOS 27675 HAS SOPS 27675 HAS SOUS 19292 HAS SOUPS 19292 WITH SCORE 19319.675
AT ITER 2173 NEW BEST:: SOT 77317 SOS 27598 HAS SOPS 27598 HAS SOUS 19215 HAS SOUPS 19215 WITH SCORE 19242.598
AT ITER 2180 NEW BEST:: SOT 77350 SOS 27629 HAS SOPS 27629 HAS SOUS 19211 HAS SOUPS 19211 WITH SCORE 19238.629
AT ITER 2192 NEW BEST:: SOT 77295 SOS 27625 HAS SOPS 27625 HAS SOUS 19207 HAS SOUPS 19207 WITH SCORE 19234.625
AT ITER 2212 NEW BEST:: SOT 77293 SOS 27621 HAS SOPS 27621 HAS SOUS 19203 HAS SOUPS 19203 WITH SCORE 19230.621
AT ITER 2214 NEW BEST:: SOT 77298 SOS 27565 HAS SOPS 27565 HAS SOUS 19147 HAS SOUPS 19147 WITH SCORE 19174.565
AT ITER 2222 NEW BEST:: SOT 77288 SOS 27545 HAS SOPS 27545 HAS SOUS 19127 HAS SOUPS 19127 WITH SCORE 19154.545
AT ITER 2231 NEW BEST:: SOT 77322 SOS 27579 HAS SOPS 27579 HAS SOUS 19126 HAS SOUPS 19126 WITH SCORE 19153.579
AT ITER 2240 NEW BEST:: SOT 77322 SOS 27512 HAS SOPS 27512 HAS SOUS 19078 HAS SOUPS 19078 WITH SCORE 19105.512
AT ITER 2243 NEW BEST:: SOT 77306 SOS 27467 HAS SOPS 27467 HAS SOUS 19062 HAS SOUPS 19062 WITH SCORE 19089.467
AT ITER 2254 NEW BEST:: SOT 77287 SOS 27448 HAS SOPS 27448 HAS SOUS 19043 HAS SOUPS 19043 WITH SCORE 19070.448
AT ITER 2264 NEW BEST:: SOT 77285 SOS 27446 HAS SOPS 27446 HAS SOUS 19041 HAS SOUPS 19041 WITH SCORE 19068.446
AT ITER 2282 NEW BEST:: SOT 77276 SOS 27437 HAS SOPS 27437 HAS SOUS 19032 HAS SOUPS 19032 WITH SCORE 19059.437
AT ITER 2303 NEW BEST:: SOT 77261 SOS 27436 HAS SOPS 27436 HAS SOUS 19023 HAS SOUPS 19023 WITH SCORE 19050.436
AT ITER 2381 NEW BEST:: SOT 77240 SOS 27429 HAS SOPS 27429 HAS SOUS 19014 HAS SOUPS 19014 WITH SCORE 19041.429
AT ITER 2411 NEW BEST:: SOT 77217 SOS 27497 HAS SOPS 27497 HAS SOUS 19013 HAS SOUPS 19013 WITH SCORE 19040.497
AT ITER 2450 NEW BEST:: SOT 77190 SOS 27470 HAS SOPS 27470 HAS SOUS 18986 HAS SOUPS 18986 WITH SCORE 19013.47
AT ITER 2452 NEW BEST:: SOT 77120 SOS 27381 HAS SOPS 27381 HAS SOUS 18967 HAS SOUPS 18967 WITH SCORE 18994.381
AT ITER 2459 NEW BEST:: SOT 77113 SOS 27362 HAS SOPS 27362 HAS SOUS 18948 HAS SOUPS 18948 WITH SCORE 18975.362
AT ITER 2463 NEW BEST:: SOT 77106 SOS 27355 HAS SOPS 27355 HAS SOUS 18941 HAS SOUPS 18941 WITH SCORE 18968.355
AT ITER 2499 NEW BEST:: SOT 77115 SOS 27284 HAS SOPS 27284 HAS SOUS 18941 HAS SOUPS 18941 WITH SCORE 18968.284
AT ITER 2501 NEW BEST:: SOT 77104 SOS 27276 HAS SOPS 27276 HAS SOUS 18933 HAS SOUPS 18933 WITH SCORE 18960.276
AT ITER 2504 NEW BEST:: SOT 77041 SOS 27150 HAS SOPS 27150 HAS SOUS 18807 HAS SOUPS 18807 WITH SCORE 18834.15
AT ITER 2515 NEW BEST:: SOT 77036 SOS 27135 HAS SOPS 27135 HAS SOUS 18797 HAS SOUPS 18797 WITH SCORE 18824.135
AT ITER 2555 NEW BEST:: SOT 76987 SOS 27068 HAS SOPS 27068 HAS SOUS 18730 HAS SOUPS 18730 WITH SCORE 18757.068
AT ITER 2562 NEW BEST:: SOT 76992 SOS 27078 HAS SOPS 27078 HAS SOUS 18721 HAS SOUPS 18721 WITH SCORE 18748.078
AT ITER 2565 NEW BEST:: SOT 76992 SOS 27078 HAS SOPS 27078 HAS SOUS 18718 HAS SOUPS 18718 WITH SCORE 18745.078
AT ITER 2581 NEW BEST:: SOT 76988 SOS 27070 HAS SOPS 27070 HAS SOUS 18713 HAS SOUPS 18713 WITH SCORE 18740.07
AT ITER 2586 NEW BEST:: SOT 76955 SOS 27037 HAS SOPS 27037 HAS SOUS 18680 HAS SOUPS 18680 WITH SCORE 18707.037
AT ITER 2605 NEW BEST:: SOT 76926 SOS 26979 HAS SOPS 26979 HAS SOUS 18622 HAS SOUPS 18622 WITH SCORE 18648.979
AT ITER 2628 NEW BEST:: SOT 76944 SOS 26947 HAS SOPS 26947 HAS SOUS 18590 HAS SOUPS 18590 WITH SCORE 18616.947
AT ITER 2638 NEW BEST:: SOT 76917 SOS 26910 HAS SOPS 26910 HAS SOUS 18553 HAS SOUPS 18553 WITH SCORE 18579.91
AT ITER 2640 NEW BEST:: SOT 76914 SOS 26907 HAS SOPS 26907 HAS SOUS 18550 HAS SOUPS 18550 WITH SCORE 18576.907
AT ITER 2664 NEW BEST:: SOT 76915 SOS 26908 HAS SOPS 26908 HAS SOUS 18545 HAS SOUPS 18545 WITH SCORE 18571.908
AT ITER 2673 NEW BEST:: SOT 76855 SOS 26865 HAS SOPS 26865 HAS SOUS 18502 HAS SOUPS 18502 WITH SCORE 18528.865
AT ITER 2692 NEW BEST:: SOT 76890 SOS 26949 HAS SOPS 26949 HAS SOUS 18486 HAS SOUPS 18486 WITH SCORE 18512.949
AT ITER 2700 NEW BEST:: SOT 76837 SOS 26843 HAS SOPS 26843 HAS SOUS 18380 HAS SOUPS 18380 WITH SCORE 18406.843
AT ITER 2724 NEW BEST:: SOT 76833 SOS 26833 HAS SOPS 26833 HAS SOUS 18370 HAS SOUPS 18370 WITH SCORE 18396.833
AT ITER 2764 NEW BEST:: SOT 76828 SOS 26823 HAS SOPS 26823 HAS SOUS 18360 HAS SOUPS 18360 WITH SCORE 18386.823
AT ITER 2767 NEW BEST:: SOT 76828 SOS 26820 HAS SOPS 26820 HAS SOUS 18357 HAS SOUPS 18357 WITH SCORE 18383.82
AT ITER 2771 NEW BEST:: SOT 76813 SOS 26813 HAS SOPS 26813 HAS SOUS 18350 HAS SOUPS 18350 WITH SCORE 18376.813
AT ITER 2781 NEW BEST:: SOT 76807 SOS 26801 HAS SOPS 26801 HAS SOUS 18338 HAS SOUPS 18338 WITH SCORE 18364.801
AT ITER 2783 NEW BEST:: SOT 76720 SOS 26706 HAS SOPS 26706 HAS SOUS 18243 HAS SOUPS 18243 WITH SCORE 18269.706
AT ITER 2793 NEW BEST:: SOT 76705 SOS 26691 HAS SOPS 26691 HAS SOUS 18228 HAS SOUPS 18228 WITH SCORE 18254.691
AT ITER 2795 NEW BEST:: SOT 76705 SOS 26690 HAS SOPS 26690 HAS SOUS 18227 HAS SOUPS 18227 WITH SCORE 18253.69
AT ITER 2815 NEW BEST:: SOT 76699 SOS 26684 HAS SOPS 26684 HAS SOUS 18221 HAS SOUPS 18221 WITH SCORE 18247.684
AT ITER 2834 NEW BEST:: SOT 76615 SOS 26558 HAS SOPS 26558 HAS SOUS 18160 HAS SOUPS 18160 WITH SCORE 18186.558
AT ITER 2835 NEW BEST:: SOT 76592 SOS 26505 HAS SOPS 26505 HAS SOUS 18115 HAS SOUPS 18115 WITH SCORE 18141.505
AT ITER 2865 NEW BEST:: SOT 76589 SOS 26501 HAS SOPS 26501 HAS SOUS 18111 HAS SOUPS 18111 WITH SCORE 18137.501
AT ITER 2887 NEW BEST:: SOT 76589 SOS 26500 HAS SOPS 26500 HAS SOUS 18104 HAS SOUPS 18104 WITH SCORE 18130.5
AT ITER 2905 NEW BEST:: SOT 76573 SOS 26440 HAS SOPS 26440 HAS SOUS 18044 HAS SOUPS 18044 WITH SCORE 18070.44
AT ITER 2907 NEW BEST:: SOT 76630 SOS 26492 HAS SOPS 26492 HAS SOUS 18031 HAS SOUPS 18031 WITH SCORE 18057.492
AT ITER 2911 NEW BEST:: SOT 76601 SOS 26434 HAS SOPS 26434 HAS SOUS 17984 HAS SOUPS 17984 WITH SCORE 18010.434
AT ITER 2917 NEW BEST:: SOT 76609 SOS 26442 HAS SOPS 26442 HAS SOUS 17976 HAS SOUPS 17976 WITH SCORE 18002.442
AT ITER 2918 NEW BEST:: SOT 76610 SOS 26332 HAS SOPS 26332 HAS SOUS 17951 HAS SOUPS 17951 WITH SCORE 17977.332
AT ITER 2922 NEW BEST:: SOT 76598 SOS 26299 HAS SOPS 26299 HAS SOUS 17918 HAS SOUPS 17918 WITH SCORE 17944.299
AT ITER 2925 NEW BEST:: SOT 76512 SOS 26260 HAS SOPS 26260 HAS SOUS 17913 HAS SOUPS 17913 WITH SCORE 17939.26
AT ITER 2934 NEW BEST:: SOT 76503 SOS 26233 HAS SOPS 26233 HAS SOUS 17884 HAS SOUPS 17884 WITH SCORE 17910.233
AT ITER 2945 NEW BEST:: SOT 76503 SOS 26233 HAS SOPS 26233 HAS SOUS 17837 HAS SOUPS 17837 WITH SCORE 17863.233
AT ITER 2950 NEW BEST:: SOT 76503 SOS 26233 HAS SOPS 26233 HAS SOUS 17819 HAS SOUPS 17819 WITH SCORE 17845.233
AT ITER 2979 NEW BEST:: SOT 76503 SOS 26230 HAS SOPS 26230 HAS SOUS 17816 HAS SOUPS 17816 WITH SCORE 17842.23
AT ITER 3002 NEW BEST:: SOT 76513 SOS 26227 HAS SOPS 26227 HAS SOUS 17813 HAS SOUPS 17813 WITH SCORE 17839.227
AT ITER 3080 NEW BEST:: SOT 76513 SOS 26175 HAS SOPS 26175 HAS SOUS 17787 HAS SOUPS 17787 WITH SCORE 17813.175
AT ITER 3133 NEW BEST:: SOT 76502 SOS 26153 HAS SOPS 26153 HAS SOUS 17754 HAS SOUPS 17754 WITH SCORE 17780.153
AT ITER 3136 NEW BEST:: SOT 76501 SOS 26151 HAS SOPS 26151 HAS SOUS 17741 HAS SOUPS 17741 WITH SCORE 17767.151
AT ITER 3152 NEW BEST:: SOT 76495 SOS 26115 HAS SOPS 26115 HAS SOUS 17705 HAS SOUPS 17705 WITH SCORE 17731.115
AT ITER 3172 NEW BEST:: SOT 76467 SOS 26086 HAS SOPS 26086 HAS SOUS 17676 HAS SOUPS 17676 WITH SCORE 17702.086
AT ITER 3178 NEW BEST:: SOT 76482 SOS 26024 HAS SOPS 26024 HAS SOUS 17646 HAS SOUPS 17646 WITH SCORE 17672.024
AT ITER 3189 NEW BEST:: SOT 76482 SOS 26002 HAS SOPS 26002 HAS SOUS 17637 HAS SOUPS 17637 WITH SCORE 17663.002
AT ITER 3226 NEW BEST:: SOT 76482 SOS 25970 HAS SOPS 25970 HAS SOUS 17605 HAS SOUPS 17605 WITH SCORE 17630.97
AT ITER 3236 NEW BEST:: SOT 76468 SOS 25956 HAS SOPS 25956 HAS SOUS 17605 HAS SOUPS 17605 WITH SCORE 17630.956
AT ITER 3260 NEW BEST:: SOT 76449 SOS 25918 HAS SOPS 25918 HAS SOUS 17546 HAS SOUPS 17546 WITH SCORE 17571.918
AT ITER 3267 NEW BEST:: SOT 76449 SOS 25917 HAS SOPS 25917 HAS SOUS 17545 HAS SOUPS 17545 WITH SCORE 17570.917
AT ITER 3272 NEW BEST:: SOT 76449 SOS 25910 HAS SOPS 25910 HAS SOUS 17538 HAS SOUPS 17538 WITH SCORE 17563.91
AT ITER 3274 NEW BEST:: SOT 76442 SOS 25903 HAS SOPS 25903 HAS SOUS 17538 HAS SOUPS 17538 WITH SCORE 17563.903
AT ITER 3280 NEW BEST:: SOT 76436 SOS 25891 HAS SOPS 25891 HAS SOUS 17526 HAS SOUPS 17526 WITH SCORE 17551.891
AT ITER 3331 NEW BEST:: SOT 76404 SOS 25850 HAS SOPS 25850 HAS SOUS 17485 HAS SOUPS 17485 WITH SCORE 17510.85
AT ITER 3337 NEW BEST:: SOT 76395 SOS 25845 HAS SOPS 25845 HAS SOUS 17480 HAS SOUPS 17480 WITH SCORE 17505.845
AT ITER 3342 NEW BEST:: SOT 76385 SOS 25839 HAS SOPS 25839 HAS SOUS 17474 HAS SOUPS 17474 WITH SCORE 17499.839
AT ITER 3346 NEW BEST:: SOT 76345 SOS 25759 HAS SOPS 25759 HAS SOUS 17434 HAS SOUPS 17434 WITH SCORE 17459.759
AT ITER 3363 NEW BEST:: SOT 76345 SOS 25725 HAS SOPS 25725 HAS SOUS 17400 HAS SOUPS 17400 WITH SCORE 17425.725
AT ITER 3369 NEW BEST:: SOT 76331 SOS 25697 HAS SOPS 25697 HAS SOUS 17372 HAS SOUPS 17372 WITH SCORE 17397.697
AT ITER 3379 NEW BEST:: SOT 76323 SOS 25577 HAS SOPS 25577 HAS SOUS 17357 HAS SOUPS 17357 WITH SCORE 17382.577
AT ITER 3381 NEW BEST:: SOT 76339 SOS 25495 HAS SOPS 25495 HAS SOUS 17340 HAS SOUPS 17340 WITH SCORE 17365.495
AT ITER 3391 NEW BEST:: SOT 76335 SOS 25487 HAS SOPS 25487 HAS SOUS 17332 HAS SOUPS 17332 WITH SCORE 17357.487
AT ITER 3399 NEW BEST:: SOT 76311 SOS 25486 HAS SOPS 25486 HAS SOUS 17204 HAS SOUPS 17204 WITH SCORE 17229.486
AT ITER 3404 NEW BEST:: SOT 76267 SOS 25430 HAS SOPS 25430 HAS SOUS 17148 HAS SOUPS 17148 WITH SCORE 17173.43
AT ITER 3423 NEW BEST:: SOT 76235 SOS 25394 HAS SOPS 25394 HAS SOUS 17112 HAS SOUPS 17112 WITH SCORE 17137.394
AT ITER 3437 NEW BEST:: SOT 76228 SOS 25380 HAS SOPS 25380 HAS SOUS 17095 HAS SOUPS 17095 WITH SCORE 17120.38
AT ITER 3439 NEW BEST:: SOT 76228 SOS 25377 HAS SOPS 25377 HAS SOUS 17092 HAS SOUPS 17092 WITH SCORE 17117.377
AT ITER 3440 NEW BEST:: SOT 76228 SOS 25377 HAS SOPS 25377 HAS SOUS 17079 HAS SOUPS 17079 WITH SCORE 17104.377
AT ITER 3443 NEW BEST:: SOT 76193 SOS 25349 HAS SOPS 25349 HAS SOUS 17063 HAS SOUPS 17063 WITH SCORE 17088.349
AT ITER 3483 NEW BEST:: SOT 76193 SOS 25349 HAS SOPS 25349 HAS SOUS 17013 HAS SOUPS 17013 WITH SCORE 17038.349
AT ITER 3500 NEW BEST:: SOT 76185 SOS 25319 HAS SOPS 25319 HAS SOUS 16983 HAS SOUPS 16983 WITH SCORE 17008.319
AT ITER 3537 NEW BEST:: SOT 76174 SOS 25297 HAS SOPS 25297 HAS SOUS 16972 HAS SOUPS 16972 WITH SCORE 16997.297
AT ITER 3543 NEW BEST:: SOT 76168 SOS 25285 HAS SOPS 25285 HAS SOUS 16960 HAS SOUPS 16960 WITH SCORE 16985.285
AT ITER 3557 NEW BEST:: SOT 76161 SOS 25271 HAS SOPS 25271 HAS SOUS 16946 HAS SOUPS 16946 WITH SCORE 16971.271
AT ITER 3561 NEW BEST:: SOT 76174 SOS 25243 HAS SOPS 25243 HAS SOUS 16945 HAS SOUPS 16945 WITH SCORE 16970.243
AT ITER 3571 NEW BEST:: SOT 76153 SOS 25228 HAS SOPS 25228 HAS SOUS 16930 HAS SOUPS 16930 WITH SCORE 16955.228
AT ITER 3589 NEW BEST:: SOT 76145 SOS 25223 HAS SOPS 25223 HAS SOUS 16923 HAS SOUPS 16923 WITH SCORE 16948.223
AT ITER 3594 NEW BEST:: SOT 76123 SOS 25179 HAS SOPS 25179 HAS SOUS 16906 HAS SOUPS 16906 WITH SCORE 16931.179
AT ITER 3612 NEW BEST:: SOT 76121 SOS 25177 HAS SOPS 25177 HAS SOUS 16904 HAS SOUPS 16904 WITH SCORE 16929.177
AT ITER 3628 NEW BEST:: SOT 76094 SOS 25188 HAS SOPS 25188 HAS SOUS 16869 HAS SOUPS 16869 WITH SCORE 16894.188
AT ITER 3641 NEW BEST:: SOT 76090 SOS 25189 HAS SOPS 25189 HAS SOUS 16855 HAS SOUPS 16855 WITH SCORE 16880.189
AT ITER 3675 NEW BEST:: SOT 76069 SOS 25147 HAS SOPS 25147 HAS SOUS 16813 HAS SOUPS 16813 WITH SCORE 16838.147
AT ITER 3685 NEW BEST:: SOT 76064 SOS 25137 HAS SOPS 25137 HAS SOUS 16803 HAS SOUPS 16803 WITH SCORE 16828.137
AT ITER 3697 NEW BEST:: SOT 76064 SOS 25129 HAS SOPS 25129 HAS SOUS 16803 HAS SOUPS 16803 WITH SCORE 16828.129
AT ITER 3721 NEW BEST:: SOT 76038 SOS 25119 HAS SOPS 25119 HAS SOUS 16793 HAS SOUPS 16793 WITH SCORE 16818.119
AT ITER 3744 NEW BEST:: SOT 76038 SOS 25137 HAS SOPS 25137 HAS SOUS 16781 HAS SOUPS 16781 WITH SCORE 16806.137
AT ITER 3750 NEW BEST:: SOT 75993 SOS 25215 HAS SOPS 25215 HAS SOUS 16736 HAS SOUPS 16736 WITH SCORE 16761.215
AT ITER 3802 NEW BEST:: SOT 75987 SOS 25210 HAS SOPS 25210 HAS SOUS 16731 HAS SOUPS 16731 WITH SCORE 16756.21
AT ITER 3819 NEW BEST:: SOT 75960 SOS 25156 HAS SOPS 25156 HAS SOUS 16704 HAS SOUPS 16704 WITH SCORE 16729.156
AT ITER 3870 NEW BEST:: SOT 75930 SOS 25126 HAS SOPS 25126 HAS SOUS 16674 HAS SOUPS 16674 WITH SCORE 16699.126
AT ITER 3872 NEW BEST:: SOT 75886 SOS 25122 HAS SOPS 25122 HAS SOUS 16671 HAS SOUPS 16671 WITH SCORE 16696.122
AT ITER 3905 NEW BEST:: SOT 75886 SOS 25118 HAS SOPS 25118 HAS SOUS 16667 HAS SOUPS 16667 WITH SCORE 16692.118
AT ITER 3916 NEW BEST:: SOT 75884 SOS 25087 HAS SOPS 25087 HAS SOUS 16636 HAS SOUPS 16636 WITH SCORE 16661.087
AT ITER 3934 NEW BEST:: SOT 75859 SOS 25056 HAS SOPS 25056 HAS SOUS 16624 HAS SOUPS 16624 WITH SCORE 16649.056
AT ITER 3970 NEW BEST:: SOT 75852 SOS 25037 HAS SOPS 25037 HAS SOUS 16605 HAS SOUPS 16605 WITH SCORE 16630.037
AT ITER 3980 NEW BEST:: SOT 75852 SOS 25037 HAS SOPS 25037 HAS SOUS 16604 HAS SOUPS 16604 WITH SCORE 16629.037
AT ITER 3988 NEW BEST:: SOT 75853 SOS 24931 HAS SOPS 24931 HAS SOUS 16497 HAS SOUPS 16497 WITH SCORE 16521.931
AT ITER 3993 NEW BEST:: SOT 75853 SOS 24833 HAS SOPS 24833 HAS SOUS 16399 HAS SOUPS 16399 WITH SCORE 16423.833
AT ITER 4005 NEW BEST:: SOT 75846 SOS 24815 HAS SOPS 24815 HAS SOUS 16381 HAS SOUPS 16381 WITH SCORE 16405.815
AT ITER 4014 NEW BEST:: SOT 75846 SOS 24808 HAS SOPS 24808 HAS SOUS 16381 HAS SOUPS 16381 WITH SCORE 16405.808
AT ITER 4055 NEW BEST:: SOT 75835 SOS 24786 HAS SOPS 24786 HAS SOUS 16359 HAS SOUPS 16359 WITH SCORE 16383.786
AT ITER 4067 NEW BEST:: SOT 75814 SOS 24785 HAS SOPS 24785 HAS SOUS 16356 HAS SOUPS 16356 WITH SCORE 16380.785
AT ITER 4092 NEW BEST:: SOT 75826 SOS 24793 HAS SOPS 24793 HAS SOUS 16351 HAS SOUPS 16351 WITH SCORE 16375.793
AT ITER 4097 NEW BEST:: SOT 75819 SOS 24779 HAS SOPS 24779 HAS SOUS 16337 HAS SOUPS 16337 WITH SCORE 16361.779
AT ITER 4109 NEW BEST:: SOT 75819 SOS 24752 HAS SOPS 24752 HAS SOUS 16337 HAS SOUPS 16337 WITH SCORE 16361.752
AT ITER 4146 NEW BEST:: SOT 75822 SOS 24713 HAS SOPS 24713 HAS SOUS 16255 HAS SOUPS 16255 WITH SCORE 16279.713
AT ITER 4165 NEW BEST:: SOT 75822 SOS 24705 HAS SOPS 24705 HAS SOUS 16247 HAS SOUPS 16247 WITH SCORE 16271.705
AT ITER 4205 NEW BEST:: SOT 75818 SOS 24697 HAS SOPS 24697 HAS SOUS 16239 HAS SOUPS 16239 WITH SCORE 16263.697
AT ITER 4215 NEW BEST:: SOT 75818 SOS 24695 HAS SOPS 24695 HAS SOUS 16237 HAS SOUPS 16237 WITH SCORE 16261.695
AT ITER 4248 NEW BEST:: SOT 75818 SOS 24704 HAS SOPS 24704 HAS SOUS 16235 HAS SOUPS 16235 WITH SCORE 16259.704
AT ITER 4268 NEW BEST:: SOT 75854 SOS 24716 HAS SOPS 24716 HAS SOUS 16187 HAS SOUPS 16187 WITH SCORE 16211.716
AT ITER 4339 NEW BEST:: SOT 75852 SOS 24702 HAS SOPS 24702 HAS SOUS 16173 HAS SOUPS 16173 WITH SCORE 16197.702
AT ITER 4385 NEW BEST:: SOT 75844 SOS 24686 HAS SOPS 24686 HAS SOUS 16166 HAS SOUPS 16166 WITH SCORE 16190.686
AT ITER 4402 NEW BEST:: SOT 75844 SOS 24677 HAS SOPS 24677 HAS SOUS 16157 HAS SOUPS 16157 WITH SCORE 16181.677
AT ITER 4438 NEW BEST:: SOT 75828 SOS 24661 HAS SOPS 24661 HAS SOUS 16141 HAS SOUPS 16141 WITH SCORE 16165.661
AT ITER 4461 NEW BEST:: SOT 75816 SOS 24649 HAS SOPS 24649 HAS SOUS 16129 HAS SOUPS 16129 WITH SCORE 16153.649
AT ITER 4482 NEW BEST:: SOT 75782 SOS 24581 HAS SOPS 24581 HAS SOUS 16061 HAS SOUPS 16061 WITH SCORE 16085.581
AT ITER 4488 NEW BEST:: SOT 75782 SOS 24544 HAS SOPS 24544 HAS SOUS 16020 HAS SOUPS 16020 WITH SCORE 16044.544
AT ITER 4594 NEW BEST:: SOT 75777 SOS 24541 HAS SOPS 24541 HAS SOUS 16019 HAS SOUPS 16019 WITH SCORE 16043.541
AT ITER 4616 NEW BEST:: SOT 75777 SOS 24537 HAS SOPS 24537 HAS SOUS 16017 HAS SOUPS 16017 WITH SCORE 16041.537
AT ITER 4638 NEW BEST:: SOT 75758 SOS 24482 HAS SOPS 24482 HAS SOUS 15996 HAS SOUPS 15996 WITH SCORE 16020.482
AT ITER 4662 NEW BEST:: SOT 75758 SOS 24472 HAS SOPS 24472 HAS SOUS 15986 HAS SOUPS 15986 WITH SCORE 16010.472
AT ITER 4687 NEW BEST:: SOT 75758 SOS 24463 HAS SOPS 24463 HAS SOUS 15986 HAS SOUPS 15986 WITH SCORE 16010.463
AT ITER 4731 NEW BEST:: SOT 75763 SOS 24461 HAS SOPS 24461 HAS SOUS 15984 HAS SOUPS 15984 WITH SCORE 16008.461
AT ITER 4732 NEW BEST:: SOT 75763 SOS 24460 HAS SOPS 24460 HAS SOUS 15983 HAS SOUPS 15983 WITH SCORE 16007.46
AT ITER 4779 NEW BEST:: SOT 75762 SOS 24451 HAS SOPS 24451 HAS SOUS 15975 HAS SOUPS 15975 WITH SCORE 15999.451
AT ITER 4834 NEW BEST:: SOT 75731 SOS 24389 HAS SOPS 24389 HAS SOUS 15913 HAS SOUPS 15913 WITH SCORE 15937.389
AT ITER 4836 NEW BEST:: SOT 75731 SOS 24376 HAS SOPS 24376 HAS SOUS 15900 HAS SOUPS 15900 WITH SCORE 15924.376
AT ITER 4846 NEW BEST:: SOT 75714 SOS 24346 HAS SOPS 24346 HAS SOUS 15887 HAS SOUPS 15887 WITH SCORE 15911.346
AT ITER 4848 NEW BEST:: SOT 75709 SOS 24336 HAS SOPS 24336 HAS SOUS 15877 HAS SOUPS 15877 WITH SCORE 15901.336
AT ITER 4863 NEW BEST:: SOT 75722 SOS 24362 HAS SOPS 24362 HAS SOUS 15868 HAS SOUPS 15868 WITH SCORE 15892.362
AT ITER 4874 NEW BEST:: SOT 75677 SOS 24272 HAS SOPS 24272 HAS SOUS 15778 HAS SOUPS 15778 WITH SCORE 15802.272
AT ITER 4886 NEW BEST:: SOT 75653 SOS 24238 HAS SOPS 24238 HAS SOUS 15766 HAS SOUPS 15766 WITH SCORE 15790.238
AT ITER 4887 NEW BEST:: SOT 75645 SOS 24222 HAS SOPS 24222 HAS SOUS 15758 HAS SOUPS 15758 WITH SCORE 15782.222
AT ITER 4903 NEW BEST:: SOT 75645 SOS 24222 HAS SOPS 24222 HAS SOUS 15756 HAS SOUPS 15756 WITH SCORE 15780.222
AT ITER 4923 NEW BEST:: SOT 75645 SOS 24217 HAS SOPS 24217 HAS SOUS 15751 HAS SOUPS 15751 WITH SCORE 15775.217
AT ITER 4925 NEW BEST:: SOT 75642 SOS 24208 HAS SOPS 24208 HAS SOUS 15742 HAS SOUPS 15742 WITH SCORE 15766.208
AT ITER 4970 NEW BEST:: SOT 75623 SOS 24170 HAS SOPS 24170 HAS SOUS 15704 HAS SOUPS 15704 WITH SCORE 15728.17
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: BusinessProcesses-PT-07-CTLCardinality-00 (EF(( potential( ( 3 ) <= (tk(P102)) ) | ( ( potential( ( 1 ) <= (tk(P148)) ) & potential( ( 1 ) <= (tk(P33)) ) ) & ( potential( (tk(P2)) <= (tk(P97)) ) & potential( ( 2 ) <= (tk(P184)) ) ) ) )))
PROPERTY: BusinessProcesses-PT-07-CTLCardinality-01 (AG( (EU( potential( ( 3 ) <= (tk(P104)) ),potential( (tk(P372)) <= (tk(P1)) ) ))))
PROPERTY: BusinessProcesses-PT-07-CTLCardinality-02 (AG( ( potential( (tk(P91)) <= (tk(P383)) ) & (AG( potential( (tk(P339)) <= (tk(P18)) ))) )))
PROPERTY: BusinessProcesses-PT-07-CTLCardinality-03 (EU( potential( (tk(P303)) <= (tk(P152)) ),( ( potential( ( 2 ) <= (tk(P126)) ) & potential( ( 3 ) <= (tk(P89)) ) ) & (! potential( ( 1 ) <= (tk(P123)) )) ) ))
PROPERTY: BusinessProcesses-PT-07-CTLCardinality-04 (EF((EF(( potential( ( 1 ) <= (tk(P81)) ) & potential( ( 3 ) <= (tk(P259)) ) )))))
PROPERTY: BusinessProcesses-PT-07-CTLCardinality-05 (EG( (EU( potential( (tk(P239)) <= (tk(P294)) ),potential( ( 3 ) <= (tk(P189)) ) ))))
PROPERTY: BusinessProcesses-PT-07-CTLCardinality-06 (! (AG( ( (! potential( ( 2 ) <= (tk(P263)) )) | potential( ( 2 ) <= (tk(P274)) ) ))))
PROPERTY: BusinessProcesses-PT-07-CTLCardinality-07 (! ( (EU( potential( (tk(P65)) <= (tk(P89)) ),potential( ( 1 ) <= (tk(P21)) ) )) & (EG( ( potential( ( 2 ) <= (tk(P4)) ) | potential( (tk(P337)) <= (tk(P274)) ) ))) ))
PROPERTY: BusinessProcesses-PT-07-CTLCardinality-08 ( (! ( (EX( potential( (tk(P47)) <= (tk(P227)) ))) & (AG( potential( ( 2 ) <= (tk(P94)) ))) )) & (EF((AG( potential( (tk(P221)) <= (tk(P68)) ))))) )
PROPERTY: BusinessProcesses-PT-07-CTLCardinality-09 (! ( (AG( (! potential( ( 2 ) <= (tk(P15)) )))) | (AG( ( potential( (tk(P90)) <= (tk(P131)) ) | potential( ( 1 ) <= (tk(P255)) ) ))) ))
PROPERTY: BusinessProcesses-PT-07-CTLCardinality-10 (EF((EU( potential( (tk(P107)) <= (tk(P277)) ),potential( ( 3 ) <= (tk(P125)) ) ))))
PROPERTY: BusinessProcesses-PT-07-CTLCardinality-11 (AG( ( (EF(potential( (tk(P116)) <= (tk(P164)) ))) | (EF(potential( ( 2 ) <= (tk(P214)) ))) )))
PROPERTY: BusinessProcesses-PT-07-CTLCardinality-12 ( ( ( (! ( potential( (tk(P169)) <= (tk(P360)) ) & potential( (tk(P207)) <= (tk(P302)) ) )) & potential( (tk(P268)) <= (tk(P195)) ) ) & potential( ( 1 ) <= (tk(P243)) ) ) | (EF((EG( potential( ( 2 ) <= (tk(P162)) ))))) )
PROPERTY: BusinessProcesses-PT-07-CTLCardinality-13 (EF(( potential( ( 2 ) <= (tk(P72)) ) & ( potential( ( 3 ) <= (tk(P174)) ) & ( potential( (tk(P159)) <= (tk(P197)) ) | potential( ( 1 ) <= (tk(P4)) ) ) ) )))
PROPERTY: BusinessProcesses-PT-07-CTLCardinality-14 ( potential( ( 3 ) <= (tk(P228)) ) | (EF(( (! potential( ( 3 ) <= (tk(P156)) )) & ( potential( ( 1 ) <= (tk(P152)) ) & potential( ( 1 ) <= (tk(P316)) ) ) ))) )
PROPERTY: BusinessProcesses-PT-07-CTLCardinality-15 (AF((EU( potential( (tk(P357)) <= (tk(P103)) ),potential( ( 1 ) <= (tk(P78)) ) ))))
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="BusinessProcesses-PT-07"
export BK_EXAMINATION="CTLCardinality"
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 BusinessProcesses-PT-07, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r018-oct2-158897680100499"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/BusinessProcesses-PT-07.tgz
mv BusinessProcesses-PT-07 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;