About the Execution of smart for BusinessProcesses-PT-06
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15768.020 | 3600000.00 | 3587030.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-158897680100491.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-06, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r018-oct2-158897680100491
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 256K
-rw-r--r-- 1 mcc users 2.8K Mar 26 02:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 14K Mar 26 02:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 25 22:43 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 25 22:43 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.2K Apr 8 14:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K 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.7K Mar 25 17:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 25 17:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 14:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K 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 85K 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-06-CTLCardinality-00
FORMULA_NAME BusinessProcesses-PT-06-CTLCardinality-01
FORMULA_NAME BusinessProcesses-PT-06-CTLCardinality-02
FORMULA_NAME BusinessProcesses-PT-06-CTLCardinality-03
FORMULA_NAME BusinessProcesses-PT-06-CTLCardinality-04
FORMULA_NAME BusinessProcesses-PT-06-CTLCardinality-05
FORMULA_NAME BusinessProcesses-PT-06-CTLCardinality-06
FORMULA_NAME BusinessProcesses-PT-06-CTLCardinality-07
FORMULA_NAME BusinessProcesses-PT-06-CTLCardinality-08
FORMULA_NAME BusinessProcesses-PT-06-CTLCardinality-09
FORMULA_NAME BusinessProcesses-PT-06-CTLCardinality-10
FORMULA_NAME BusinessProcesses-PT-06-CTLCardinality-11
FORMULA_NAME BusinessProcesses-PT-06-CTLCardinality-12
FORMULA_NAME BusinessProcesses-PT-06-CTLCardinality-13
FORMULA_NAME BusinessProcesses-PT-06-CTLCardinality-14
FORMULA_NAME BusinessProcesses-PT-06-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1589018300960
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 06
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: 376 places, 297 transitions, 830 arcs.
AT ITER 0 NEW BEST:: SOT 72155 SOS 29734 HAS SOPS 29734 HAS SOUS 29620 HAS SOUPS 29620 WITH SCORE 29649.734
AT ITER 4 NEW BEST:: SOT 72149 SOS 29726 HAS SOPS 29726 HAS SOUS 29612 HAS SOUPS 29612 WITH SCORE 29641.726
AT ITER 8 NEW BEST:: SOT 70245 SOS 38205 HAS SOPS 38205 HAS SOUS 28162 HAS SOUPS 28162 WITH SCORE 28200.205
AT ITER 14 NEW BEST:: SOT 70124 SOS 37964 HAS SOPS 37964 HAS SOUS 27988 HAS SOUPS 27988 WITH SCORE 28025.964
AT ITER 15 NEW BEST:: SOT 70136 SOS 37828 HAS SOPS 37828 HAS SOUS 27915 HAS SOUPS 27915 WITH SCORE 27952.828
AT ITER 16 NEW BEST:: SOT 70136 SOS 37828 HAS SOPS 37828 HAS SOUS 27889 HAS SOUPS 27889 WITH SCORE 27926.828
AT ITER 17 NEW BEST:: SOT 70108 SOS 37800 HAS SOPS 37800 HAS SOUS 27861 HAS SOUPS 27861 WITH SCORE 27898.8
AT ITER 19 NEW BEST:: SOT 69986 SOS 37556 HAS SOPS 37556 HAS SOUS 27693 HAS SOUPS 27693 WITH SCORE 27730.556
AT ITER 41 NEW BEST:: SOT 69986 SOS 37386 HAS SOPS 37386 HAS SOUS 27523 HAS SOUPS 27523 WITH SCORE 27560.386
AT ITER 46 NEW BEST:: SOT 69986 SOS 37218 HAS SOPS 37218 HAS SOUS 27439 HAS SOUPS 27439 WITH SCORE 27476.218
AT ITER 50 NEW BEST:: SOT 70107 SOS 37126 HAS SOPS 37126 HAS SOUS 27347 HAS SOUPS 27347 WITH SCORE 27384.126
AT ITER 52 NEW BEST:: SOT 69865 SOS 36772 HAS SOPS 36772 HAS SOUS 27123 HAS SOUPS 27123 WITH SCORE 27159.772
AT ITER 56 NEW BEST:: SOT 69742 SOS 36771 HAS SOPS 36771 HAS SOUS 27122 HAS SOUPS 27122 WITH SCORE 27158.771
AT ITER 59 NEW BEST:: SOT 69741 SOS 36669 HAS SOPS 36669 HAS SOUS 27020 HAS SOUPS 27020 WITH SCORE 27056.669
AT ITER 62 NEW BEST:: SOT 69740 SOS 36616 HAS SOPS 36616 HAS SOUS 27018 HAS SOUPS 27018 WITH SCORE 27054.616
AT ITER 64 NEW BEST:: SOT 69696 SOS 36572 HAS SOPS 36572 HAS SOUS 27018 HAS SOUPS 27018 WITH SCORE 27054.572
AT ITER 69 NEW BEST:: SOT 69818 SOS 36381 HAS SOPS 36381 HAS SOUS 26982 HAS SOUPS 26982 WITH SCORE 27018.381
AT ITER 71 NEW BEST:: SOT 69680 SOS 36106 HAS SOPS 36106 HAS SOUS 26883 HAS SOUPS 26883 WITH SCORE 26919.106
AT ITER 72 NEW BEST:: SOT 69692 SOS 36043 HAS SOPS 36043 HAS SOUS 26839 HAS SOUPS 26839 WITH SCORE 26875.043
AT ITER 84 NEW BEST:: SOT 69692 SOS 36042 HAS SOPS 36042 HAS SOUS 26838 HAS SOUPS 26838 WITH SCORE 26874.042
AT ITER 85 NEW BEST:: SOT 69653 SOS 36003 HAS SOPS 36003 HAS SOUS 26799 HAS SOUPS 26799 WITH SCORE 26835.003
AT ITER 91 NEW BEST:: SOT 69653 SOS 35940 HAS SOPS 35940 HAS SOUS 26736 HAS SOUPS 26736 WITH SCORE 26771.94
AT ITER 95 NEW BEST:: SOT 69629 SOS 35892 HAS SOPS 35892 HAS SOUS 26688 HAS SOUPS 26688 WITH SCORE 26723.892
AT ITER 99 NEW BEST:: SOT 69515 SOS 35777 HAS SOPS 35777 HAS SOUS 26573 HAS SOUPS 26573 WITH SCORE 26608.777
AT ITER 106 NEW BEST:: SOT 69515 SOS 32835 HAS SOPS 32835 HAS SOUS 26532 HAS SOUPS 26532 WITH SCORE 26564.835
AT ITER 108 NEW BEST:: SOT 69474 SOS 32756 HAS SOPS 32756 HAS SOUS 26491 HAS SOUPS 26491 WITH SCORE 26523.756
AT ITER 118 NEW BEST:: SOT 69505 SOS 32499 HAS SOPS 32499 HAS SOUS 26369 HAS SOUPS 26369 WITH SCORE 26401.499
AT ITER 129 NEW BEST:: SOT 69504 SOS 32498 HAS SOPS 32498 HAS SOUS 26368 HAS SOUPS 26368 WITH SCORE 26400.498
AT ITER 133 NEW BEST:: SOT 69301 SOS 32230 HAS SOPS 32230 HAS SOUS 26239 HAS SOUPS 26239 WITH SCORE 26271.23
AT ITER 144 NEW BEST:: SOT 69301 SOS 32148 HAS SOPS 32148 HAS SOUS 26075 HAS SOUPS 26075 WITH SCORE 26107.148
AT ITER 146 NEW BEST:: SOT 69336 SOS 32144 HAS SOPS 32144 HAS SOUS 26071 HAS SOUPS 26071 WITH SCORE 26103.144
AT ITER 162 NEW BEST:: SOT 69323 SOS 32131 HAS SOPS 32131 HAS SOUS 26071 HAS SOUPS 26071 WITH SCORE 26103.131
AT ITER 175 NEW BEST:: SOT 69322 SOS 32118 HAS SOPS 32118 HAS SOUS 26069 HAS SOUPS 26069 WITH SCORE 26101.118
AT ITER 176 NEW BEST:: SOT 69293 SOS 32065 HAS SOPS 32065 HAS SOUS 26016 HAS SOUPS 26016 WITH SCORE 26048.065
AT ITER 183 NEW BEST:: SOT 69276 SOS 31997 HAS SOPS 31997 HAS SOUS 25948 HAS SOUPS 25948 WITH SCORE 25979.997
AT ITER 192 NEW BEST:: SOT 69093 SOS 31796 HAS SOPS 31796 HAS SOUS 25865 HAS SOUPS 25865 WITH SCORE 25896.796
AT ITER 207 NEW BEST:: SOT 69092 SOS 31620 HAS SOPS 31620 HAS SOUS 25776 HAS SOUPS 25776 WITH SCORE 25807.62
AT ITER 208 NEW BEST:: SOT 69074 SOS 31210 HAS SOPS 31210 HAS SOUS 25597 HAS SOUPS 25597 WITH SCORE 25628.21
AT ITER 209 NEW BEST:: SOT 69074 SOS 31165 HAS SOPS 31165 HAS SOUS 25552 HAS SOUPS 25552 WITH SCORE 25583.165
AT ITER 228 NEW BEST:: SOT 69043 SOS 31103 HAS SOPS 31103 HAS SOUS 25490 HAS SOUPS 25490 WITH SCORE 25521.103
AT ITER 230 NEW BEST:: SOT 69017 SOS 31076 HAS SOPS 31076 HAS SOUS 25488 HAS SOUPS 25488 WITH SCORE 25519.076
AT ITER 250 NEW BEST:: SOT 68977 SOS 30996 HAS SOPS 30996 HAS SOUS 25448 HAS SOUPS 25448 WITH SCORE 25478.996
AT ITER 262 NEW BEST:: SOT 69004 SOS 31023 HAS SOPS 31023 HAS SOUS 25420 HAS SOUPS 25420 WITH SCORE 25451.023
AT ITER 272 NEW BEST:: SOT 68918 SOS 30894 HAS SOPS 30894 HAS SOUS 25365 HAS SOUPS 25365 WITH SCORE 25395.894
AT ITER 274 NEW BEST:: SOT 68938 SOS 30892 HAS SOPS 30892 HAS SOUS 25363 HAS SOUPS 25363 WITH SCORE 25393.892
AT ITER 279 NEW BEST:: SOT 68938 SOS 30787 HAS SOPS 30787 HAS SOUS 25288 HAS SOUPS 25288 WITH SCORE 25318.787
AT ITER 284 NEW BEST:: SOT 68953 SOS 30794 HAS SOPS 30794 HAS SOUS 25272 HAS SOUPS 25272 WITH SCORE 25302.794
AT ITER 294 NEW BEST:: SOT 69010 SOS 30711 HAS SOPS 30711 HAS SOUS 25261 HAS SOUPS 25261 WITH SCORE 25291.711
AT ITER 296 NEW BEST:: SOT 68838 SOS 30464 HAS SOPS 30464 HAS SOUS 25111 HAS SOUPS 25111 WITH SCORE 25141.464
AT ITER 312 NEW BEST:: SOT 68806 SOS 30400 HAS SOPS 30400 HAS SOUS 25047 HAS SOUPS 25047 WITH SCORE 25077.4
AT ITER 314 NEW BEST:: SOT 68929 SOS 30397 HAS SOPS 30397 HAS SOUS 25044 HAS SOUPS 25044 WITH SCORE 25074.397
AT ITER 315 NEW BEST:: SOT 68904 SOS 30372 HAS SOPS 30372 HAS SOUS 25019 HAS SOUPS 25019 WITH SCORE 25049.372
AT ITER 332 NEW BEST:: SOT 68875 SOS 30343 HAS SOPS 30343 HAS SOUS 24990 HAS SOUPS 24990 WITH SCORE 25020.343
AT ITER 341 NEW BEST:: SOT 68842 SOS 30277 HAS SOPS 30277 HAS SOUS 24924 HAS SOUPS 24924 WITH SCORE 24954.277
AT ITER 344 NEW BEST:: SOT 68802 SOS 30319 HAS SOPS 30319 HAS SOUS 24921 HAS SOUPS 24921 WITH SCORE 24951.319
AT ITER 346 NEW BEST:: SOT 68721 SOS 30156 HAS SOPS 30156 HAS SOUS 24758 HAS SOUPS 24758 WITH SCORE 24788.156
AT ITER 348 NEW BEST:: SOT 68720 SOS 30154 HAS SOPS 30154 HAS SOUS 24756 HAS SOUPS 24756 WITH SCORE 24786.154
AT ITER 351 NEW BEST:: SOT 68672 SOS 30106 HAS SOPS 30106 HAS SOUS 24708 HAS SOUPS 24708 WITH SCORE 24738.106
AT ITER 361 NEW BEST:: SOT 68658 SOS 30105 HAS SOPS 30105 HAS SOUS 24707 HAS SOUPS 24707 WITH SCORE 24737.105
AT ITER 363 NEW BEST:: SOT 68627 SOS 30009 HAS SOPS 30009 HAS SOUS 24611 HAS SOUPS 24611 WITH SCORE 24641.009
AT ITER 364 NEW BEST:: SOT 68556 SOS 29958 HAS SOPS 29958 HAS SOUS 24535 HAS SOUPS 24535 WITH SCORE 24564.958
AT ITER 368 NEW BEST:: SOT 68537 SOS 29920 HAS SOPS 29920 HAS SOUS 24516 HAS SOUPS 24516 WITH SCORE 24545.92
AT ITER 377 NEW BEST:: SOT 68566 SOS 29949 HAS SOPS 29949 HAS SOUS 24497 HAS SOUPS 24497 WITH SCORE 24526.949
AT ITER 378 NEW BEST:: SOT 68525 SOS 30002 HAS SOPS 30002 HAS SOUS 24454 HAS SOUPS 24454 WITH SCORE 24484.002
AT ITER 381 NEW BEST:: SOT 68524 SOS 30001 HAS SOPS 30001 HAS SOUS 24453 HAS SOUPS 24453 WITH SCORE 24483.001
AT ITER 388 NEW BEST:: SOT 68519 SOS 29991 HAS SOPS 29991 HAS SOUS 24448 HAS SOUPS 24448 WITH SCORE 24477.991
AT ITER 392 NEW BEST:: SOT 68423 SOS 29903 HAS SOPS 29903 HAS SOUS 24360 HAS SOUPS 24360 WITH SCORE 24389.903
AT ITER 393 NEW BEST:: SOT 68423 SOS 29876 HAS SOPS 29876 HAS SOUS 24333 HAS SOUPS 24333 WITH SCORE 24362.876
AT ITER 396 NEW BEST:: SOT 68425 SOS 29773 HAS SOPS 29773 HAS SOUS 24230 HAS SOUPS 24230 WITH SCORE 24259.773
AT ITER 410 NEW BEST:: SOT 68451 SOS 29771 HAS SOPS 29771 HAS SOUS 24228 HAS SOUPS 24228 WITH SCORE 24257.771
AT ITER 437 NEW BEST:: SOT 68363 SOS 29683 HAS SOPS 29683 HAS SOUS 24140 HAS SOUPS 24140 WITH SCORE 24169.683
AT ITER 442 NEW BEST:: SOT 68361 SOS 29676 HAS SOPS 29676 HAS SOUS 24133 HAS SOUPS 24133 WITH SCORE 24162.676
AT ITER 447 NEW BEST:: SOT 68361 SOS 29596 HAS SOPS 29596 HAS SOUS 24053 HAS SOUPS 24053 WITH SCORE 24082.596
AT ITER 454 NEW BEST:: SOT 68357 SOS 29592 HAS SOPS 29592 HAS SOUS 24049 HAS SOUPS 24049 WITH SCORE 24078.592
AT ITER 458 NEW BEST:: SOT 68325 SOS 29528 HAS SOPS 29528 HAS SOUS 23985 HAS SOUPS 23985 WITH SCORE 24014.528
AT ITER 466 NEW BEST:: SOT 68318 SOS 29484 HAS SOPS 29484 HAS SOUS 23941 HAS SOUPS 23941 WITH SCORE 23970.484
AT ITER 468 NEW BEST:: SOT 68318 SOS 29335 HAS SOPS 29335 HAS SOUS 23833 HAS SOUPS 23833 WITH SCORE 23862.335
AT ITER 474 NEW BEST:: SOT 68256 SOS 29247 HAS SOPS 29247 HAS SOUS 23745 HAS SOUPS 23745 WITH SCORE 23774.247
AT ITER 480 NEW BEST:: SOT 68186 SOS 29108 HAS SOPS 29108 HAS SOUS 23627 HAS SOUPS 23627 WITH SCORE 23656.108
AT ITER 481 NEW BEST:: SOT 68179 SOS 29094 HAS SOPS 29094 HAS SOUS 23613 HAS SOUPS 23613 WITH SCORE 23642.094
AT ITER 483 NEW BEST:: SOT 68166 SOS 29068 HAS SOPS 29068 HAS SOUS 23587 HAS SOUPS 23587 WITH SCORE 23616.068
AT ITER 486 NEW BEST:: SOT 68164 SOS 29066 HAS SOPS 29066 HAS SOUS 23585 HAS SOUPS 23585 WITH SCORE 23614.066
AT ITER 489 NEW BEST:: SOT 68156 SOS 29050 HAS SOPS 29050 HAS SOUS 23569 HAS SOUPS 23569 WITH SCORE 23598.05
AT ITER 498 NEW BEST:: SOT 68156 SOS 29037 HAS SOPS 29037 HAS SOUS 23556 HAS SOUPS 23556 WITH SCORE 23585.037
AT ITER 516 NEW BEST:: SOT 68017 SOS 28817 HAS SOPS 28817 HAS SOUS 23455 HAS SOUPS 23455 WITH SCORE 23483.817
AT ITER 517 NEW BEST:: SOT 67928 SOS 28694 HAS SOPS 28694 HAS SOUS 23359 HAS SOUPS 23359 WITH SCORE 23387.694
AT ITER 530 NEW BEST:: SOT 67899 SOS 28636 HAS SOPS 28636 HAS SOUS 23301 HAS SOUPS 23301 WITH SCORE 23329.636
AT ITER 532 NEW BEST:: SOT 67898 SOS 28634 HAS SOPS 28634 HAS SOUS 23299 HAS SOUPS 23299 WITH SCORE 23327.634
AT ITER 546 NEW BEST:: SOT 67897 SOS 28632 HAS SOPS 28632 HAS SOUS 23297 HAS SOUPS 23297 WITH SCORE 23325.632
AT ITER 553 NEW BEST:: SOT 67869 SOS 28577 HAS SOPS 28577 HAS SOUS 23242 HAS SOUPS 23242 WITH SCORE 23270.577
AT ITER 558 NEW BEST:: SOT 67913 SOS 28496 HAS SOPS 28496 HAS SOUS 23209 HAS SOUPS 23209 WITH SCORE 23237.496
AT ITER 560 NEW BEST:: SOT 67853 SOS 28436 HAS SOPS 28436 HAS SOUS 23149 HAS SOUPS 23149 WITH SCORE 23177.436
AT ITER 562 NEW BEST:: SOT 67830 SOS 28412 HAS SOPS 28412 HAS SOUS 23147 HAS SOUPS 23147 WITH SCORE 23175.412
AT ITER 567 NEW BEST:: SOT 67830 SOS 28385 HAS SOPS 28385 HAS SOUS 23147 HAS SOUPS 23147 WITH SCORE 23175.385
AT ITER 569 NEW BEST:: SOT 67811 SOS 28366 HAS SOPS 28366 HAS SOUS 23128 HAS SOUPS 23128 WITH SCORE 23156.366
AT ITER 574 NEW BEST:: SOT 67834 SOS 28389 HAS SOPS 28389 HAS SOUS 23083 HAS SOUPS 23083 WITH SCORE 23111.389
AT ITER 575 NEW BEST:: SOT 67830 SOS 28286 HAS SOPS 28286 HAS SOUS 22980 HAS SOUPS 22980 WITH SCORE 23008.286
AT ITER 576 NEW BEST:: SOT 67805 SOS 28271 HAS SOPS 28271 HAS SOUS 22965 HAS SOUPS 22965 WITH SCORE 22993.271
AT ITER 588 NEW BEST:: SOT 67794 SOS 28260 HAS SOPS 28260 HAS SOUS 22954 HAS SOUPS 22954 WITH SCORE 22982.26
AT ITER 590 NEW BEST:: SOT 67767 SOS 28274 HAS SOPS 28274 HAS SOUS 22938 HAS SOUPS 22938 WITH SCORE 22966.274
AT ITER 592 NEW BEST:: SOT 67726 SOS 28159 HAS SOPS 28159 HAS SOUS 22823 HAS SOUPS 22823 WITH SCORE 22851.159
AT ITER 607 NEW BEST:: SOT 67724 SOS 28157 HAS SOPS 28157 HAS SOUS 22821 HAS SOUPS 22821 WITH SCORE 22849.157
AT ITER 619 NEW BEST:: SOT 67802 SOS 28213 HAS SOPS 28213 HAS SOUS 22777 HAS SOUPS 22777 WITH SCORE 22805.213
AT ITER 633 NEW BEST:: SOT 67801 SOS 28200 HAS SOPS 28200 HAS SOUS 22764 HAS SOUPS 22764 WITH SCORE 22792.2
AT ITER 636 NEW BEST:: SOT 67779 SOS 28156 HAS SOPS 28156 HAS SOUS 22720 HAS SOUPS 22720 WITH SCORE 22748.156
AT ITER 640 NEW BEST:: SOT 67776 SOS 28153 HAS SOPS 28153 HAS SOUS 22720 HAS SOUPS 22720 WITH SCORE 22748.153
AT ITER 646 NEW BEST:: SOT 67802 SOS 28108 HAS SOPS 28108 HAS SOUS 22695 HAS SOUPS 22695 WITH SCORE 22723.108
AT ITER 659 NEW BEST:: SOT 67781 SOS 28065 HAS SOPS 28065 HAS SOUS 22652 HAS SOUPS 22652 WITH SCORE 22680.065
AT ITER 676 NEW BEST:: SOT 67647 SOS 27952 HAS SOPS 27952 HAS SOUS 22539 HAS SOUPS 22539 WITH SCORE 22566.952
AT ITER 681 NEW BEST:: SOT 67627 SOS 27894 HAS SOPS 27894 HAS SOUS 22481 HAS SOUPS 22481 WITH SCORE 22508.894
AT ITER 682 NEW BEST:: SOT 67602 SOS 27806 HAS SOPS 27806 HAS SOUS 22393 HAS SOUPS 22393 WITH SCORE 22420.806
AT ITER 683 NEW BEST:: SOT 67487 SOS 27691 HAS SOPS 27691 HAS SOUS 22393 HAS SOUPS 22393 WITH SCORE 22420.691
AT ITER 685 NEW BEST:: SOT 67439 SOS 27595 HAS SOPS 27595 HAS SOUS 22297 HAS SOUPS 22297 WITH SCORE 22324.595
AT ITER 692 NEW BEST:: SOT 67479 SOS 27549 HAS SOPS 27549 HAS SOUS 22251 HAS SOUPS 22251 WITH SCORE 22278.549
AT ITER 694 NEW BEST:: SOT 67415 SOS 27429 HAS SOPS 27429 HAS SOUS 22131 HAS SOUPS 22131 WITH SCORE 22158.429
AT ITER 712 NEW BEST:: SOT 67395 SOS 27409 HAS SOPS 27409 HAS SOUS 22111 HAS SOUPS 22111 WITH SCORE 22138.409
AT ITER 713 NEW BEST:: SOT 67316 SOS 27318 HAS SOPS 27318 HAS SOUS 21997 HAS SOUPS 21997 WITH SCORE 22024.318
AT ITER 726 NEW BEST:: SOT 67304 SOS 27306 HAS SOPS 27306 HAS SOUS 21985 HAS SOUPS 21985 WITH SCORE 22012.306
AT ITER 737 NEW BEST:: SOT 67276 SOS 27260 HAS SOPS 27260 HAS SOUS 21939 HAS SOUPS 21939 WITH SCORE 21966.26
AT ITER 748 NEW BEST:: SOT 67265 SOS 27250 HAS SOPS 27250 HAS SOUS 21929 HAS SOUPS 21929 WITH SCORE 21956.25
AT ITER 754 NEW BEST:: SOT 67251 SOS 27218 HAS SOPS 27218 HAS SOUS 21897 HAS SOUPS 21897 WITH SCORE 21924.218
AT ITER 768 NEW BEST:: SOT 67251 SOS 27217 HAS SOPS 27217 HAS SOUS 21868 HAS SOUPS 21868 WITH SCORE 21895.217
AT ITER 776 NEW BEST:: SOT 67250 SOS 27215 HAS SOPS 27215 HAS SOUS 21866 HAS SOUPS 21866 WITH SCORE 21893.215
AT ITER 782 NEW BEST:: SOT 67268 SOS 27206 HAS SOPS 27206 HAS SOUS 21857 HAS SOUPS 21857 WITH SCORE 21884.206
AT ITER 801 NEW BEST:: SOT 67247 SOS 27204 HAS SOPS 27204 HAS SOUS 21855 HAS SOUPS 21855 WITH SCORE 21882.204
AT ITER 814 NEW BEST:: SOT 67254 SOS 27161 HAS SOPS 27161 HAS SOUS 21812 HAS SOUPS 21812 WITH SCORE 21839.161
AT ITER 825 NEW BEST:: SOT 67122 SOS 27009 HAS SOPS 27009 HAS SOUS 21772 HAS SOUPS 21772 WITH SCORE 21799.009
AT ITER 831 NEW BEST:: SOT 67095 SOS 26928 HAS SOPS 26928 HAS SOUS 21691 HAS SOUPS 21691 WITH SCORE 21717.928
AT ITER 832 NEW BEST:: SOT 67037 SOS 26761 HAS SOPS 26761 HAS SOUS 21524 HAS SOUPS 21524 WITH SCORE 21550.761
AT ITER 851 NEW BEST:: SOT 67037 SOS 26745 HAS SOPS 26745 HAS SOUS 21508 HAS SOUPS 21508 WITH SCORE 21534.745
AT ITER 852 NEW BEST:: SOT 67031 SOS 26739 HAS SOPS 26739 HAS SOUS 21502 HAS SOUPS 21502 WITH SCORE 21528.739
AT ITER 886 NEW BEST:: SOT 66961 SOS 26529 HAS SOPS 26529 HAS SOUS 21362 HAS SOUPS 21362 WITH SCORE 21388.529
AT ITER 891 NEW BEST:: SOT 66851 SOS 26378 HAS SOPS 26378 HAS SOUS 21280 HAS SOUPS 21280 WITH SCORE 21306.378
AT ITER 897 NEW BEST:: SOT 66851 SOS 26285 HAS SOPS 26285 HAS SOUS 21187 HAS SOUPS 21187 WITH SCORE 21213.285
AT ITER 900 NEW BEST:: SOT 66793 SOS 26257 HAS SOPS 26257 HAS SOUS 21187 HAS SOUPS 21187 WITH SCORE 21213.257
AT ITER 901 NEW BEST:: SOT 66779 SOS 26199 HAS SOPS 26199 HAS SOUS 21129 HAS SOUPS 21129 WITH SCORE 21155.199
AT ITER 904 NEW BEST:: SOT 66756 SOS 26176 HAS SOPS 26176 HAS SOUS 21106 HAS SOUPS 21106 WITH SCORE 21132.176
AT ITER 906 NEW BEST:: SOT 66782 SOS 26197 HAS SOPS 26197 HAS SOUS 21085 HAS SOUPS 21085 WITH SCORE 21111.197
AT ITER 913 NEW BEST:: SOT 66775 SOS 26189 HAS SOPS 26189 HAS SOUS 21077 HAS SOUPS 21077 WITH SCORE 21103.189
AT ITER 920 NEW BEST:: SOT 66755 SOS 26159 HAS SOPS 26159 HAS SOUS 21057 HAS SOUPS 21057 WITH SCORE 21083.159
AT ITER 925 NEW BEST:: SOT 66741 SOS 26145 HAS SOPS 26145 HAS SOUS 21057 HAS SOUPS 21057 WITH SCORE 21083.145
AT ITER 930 NEW BEST:: SOT 66651 SOS 26055 HAS SOPS 26055 HAS SOUS 20967 HAS SOUPS 20967 WITH SCORE 20993.055
AT ITER 938 NEW BEST:: SOT 66651 SOS 26020 HAS SOPS 26020 HAS SOUS 20967 HAS SOUPS 20967 WITH SCORE 20993.02
AT ITER 943 NEW BEST:: SOT 66626 SOS 25995 HAS SOPS 25995 HAS SOUS 20942 HAS SOUPS 20942 WITH SCORE 20967.995
AT ITER 965 NEW BEST:: SOT 66545 SOS 25817 HAS SOPS 25817 HAS SOUS 20764 HAS SOUPS 20764 WITH SCORE 20789.817
AT ITER 979 NEW BEST:: SOT 66538 SOS 25745 HAS SOPS 25745 HAS SOUS 20697 HAS SOUPS 20697 WITH SCORE 20722.745
AT ITER 981 NEW BEST:: SOT 66510 SOS 25702 HAS SOPS 25702 HAS SOUS 20654 HAS SOUPS 20654 WITH SCORE 20679.702
AT ITER 993 NEW BEST:: SOT 66510 SOS 25672 HAS SOPS 25672 HAS SOUS 20624 HAS SOUPS 20624 WITH SCORE 20649.672
AT ITER 1000 NEW BEST:: SOT 66491 SOS 25646 HAS SOPS 25646 HAS SOUS 20598 HAS SOUPS 20598 WITH SCORE 20623.646
AT ITER 1001 NEW BEST:: SOT 66482 SOS 25630 HAS SOPS 25630 HAS SOUS 20589 HAS SOUPS 20589 WITH SCORE 20614.63
AT ITER 1002 NEW BEST:: SOT 66437 SOS 25585 HAS SOPS 25585 HAS SOUS 20544 HAS SOUPS 20544 WITH SCORE 20569.585
AT ITER 1010 NEW BEST:: SOT 66431 SOS 25555 HAS SOPS 25555 HAS SOUS 20524 HAS SOUPS 20524 WITH SCORE 20549.555
AT ITER 1030 NEW BEST:: SOT 66430 SOS 25553 HAS SOPS 25553 HAS SOUS 20522 HAS SOUPS 20522 WITH SCORE 20547.553
AT ITER 1048 NEW BEST:: SOT 66429 SOS 25551 HAS SOPS 25551 HAS SOUS 20520 HAS SOUPS 20520 WITH SCORE 20545.551
AT ITER 1049 NEW BEST:: SOT 66415 SOS 25537 HAS SOPS 25537 HAS SOUS 20506 HAS SOUPS 20506 WITH SCORE 20531.537
AT ITER 1052 NEW BEST:: SOT 66415 SOS 25460 HAS SOPS 25460 HAS SOUS 20444 HAS SOUPS 20444 WITH SCORE 20469.46
AT ITER 1057 NEW BEST:: SOT 66393 SOS 25438 HAS SOPS 25438 HAS SOUS 20422 HAS SOUPS 20422 WITH SCORE 20447.438
AT ITER 1064 NEW BEST:: SOT 66402 SOS 25436 HAS SOPS 25436 HAS SOUS 20404 HAS SOUPS 20404 WITH SCORE 20429.436
AT ITER 1068 NEW BEST:: SOT 66402 SOS 25420 HAS SOPS 25420 HAS SOUS 20388 HAS SOUPS 20388 WITH SCORE 20413.42
AT ITER 1112 NEW BEST:: SOT 66383 SOS 25382 HAS SOPS 25382 HAS SOUS 20387 HAS SOUPS 20387 WITH SCORE 20412.382
AT ITER 1118 NEW BEST:: SOT 66383 SOS 25382 HAS SOPS 25382 HAS SOUS 20370 HAS SOUPS 20370 WITH SCORE 20395.382
AT ITER 1121 NEW BEST:: SOT 66351 SOS 25350 HAS SOPS 25350 HAS SOUS 20370 HAS SOUPS 20370 WITH SCORE 20395.35
AT ITER 1127 NEW BEST:: SOT 66347 SOS 25342 HAS SOPS 25342 HAS SOUS 20370 HAS SOUPS 20370 WITH SCORE 20395.342
AT ITER 1153 NEW BEST:: SOT 66389 SOS 25267 HAS SOPS 25267 HAS SOUS 20295 HAS SOUPS 20295 WITH SCORE 20320.267
AT ITER 1160 NEW BEST:: SOT 66389 SOS 25250 HAS SOPS 25250 HAS SOUS 20278 HAS SOUPS 20278 WITH SCORE 20303.25
AT ITER 1168 NEW BEST:: SOT 66369 SOS 25219 HAS SOPS 25219 HAS SOUS 20247 HAS SOUPS 20247 WITH SCORE 20272.219
AT ITER 1169 NEW BEST:: SOT 66381 SOS 25183 HAS SOPS 25183 HAS SOUS 20211 HAS SOUPS 20211 WITH SCORE 20236.183
AT ITER 1170 NEW BEST:: SOT 66366 SOS 25151 HAS SOPS 25151 HAS SOUS 20179 HAS SOUPS 20179 WITH SCORE 20204.151
AT ITER 1174 NEW BEST:: SOT 66366 SOS 25150 HAS SOPS 25150 HAS SOUS 20178 HAS SOUPS 20178 WITH SCORE 20203.15
AT ITER 1175 NEW BEST:: SOT 66350 SOS 25118 HAS SOPS 25118 HAS SOUS 20146 HAS SOUPS 20146 WITH SCORE 20171.118
AT ITER 1177 NEW BEST:: SOT 66319 SOS 25098 HAS SOPS 25098 HAS SOUS 20126 HAS SOUPS 20126 WITH SCORE 20151.098
AT ITER 1184 NEW BEST:: SOT 66319 SOS 25079 HAS SOPS 25079 HAS SOUS 20112 HAS SOUPS 20112 WITH SCORE 20137.079
AT ITER 1196 NEW BEST:: SOT 66298 SOS 25037 HAS SOPS 25037 HAS SOUS 20086 HAS SOUPS 20086 WITH SCORE 20111.037
AT ITER 1199 NEW BEST:: SOT 66287 SOS 23942 HAS SOPS 23942 HAS SOUS 20035 HAS SOUPS 20035 WITH SCORE 20058.942
AT ITER 1200 NEW BEST:: SOT 66270 SOS 23919 HAS SOPS 23919 HAS SOUS 20012 HAS SOUPS 20012 WITH SCORE 20035.919
AT ITER 1205 NEW BEST:: SOT 66270 SOS 23910 HAS SOPS 23910 HAS SOUS 20003 HAS SOUPS 20003 WITH SCORE 20026.91
AT ITER 1214 NEW BEST:: SOT 66270 SOS 23862 HAS SOPS 23862 HAS SOUS 19955 HAS SOUPS 19955 WITH SCORE 19978.862
AT ITER 1217 NEW BEST:: SOT 66257 SOS 23786 HAS SOPS 23786 HAS SOUS 19876 HAS SOUPS 19876 WITH SCORE 19899.786
AT ITER 1218 NEW BEST:: SOT 66268 SOS 23732 HAS SOPS 23732 HAS SOUS 19825 HAS SOUPS 19825 WITH SCORE 19848.732
AT ITER 1221 NEW BEST:: SOT 66430 SOS 23866 HAS SOPS 23866 HAS SOUS 19795 HAS SOUPS 19795 WITH SCORE 19818.866
AT ITER 1226 NEW BEST:: SOT 66435 SOS 23871 HAS SOPS 23871 HAS SOUS 19794 HAS SOUPS 19794 WITH SCORE 19817.871
AT ITER 1227 NEW BEST:: SOT 66410 SOS 23846 HAS SOPS 23846 HAS SOUS 19769 HAS SOUPS 19769 WITH SCORE 19792.846
AT ITER 1260 NEW BEST:: SOT 66358 SOS 23794 HAS SOPS 23794 HAS SOUS 19717 HAS SOUPS 19717 WITH SCORE 19740.794
AT ITER 1273 NEW BEST:: SOT 66316 SOS 23710 HAS SOPS 23710 HAS SOUS 19633 HAS SOUPS 19633 WITH SCORE 19656.71
AT ITER 1283 NEW BEST:: SOT 66318 SOS 23705 HAS SOPS 23705 HAS SOUS 19628 HAS SOUPS 19628 WITH SCORE 19651.705
AT ITER 1289 NEW BEST:: SOT 66302 SOS 23681 HAS SOPS 23681 HAS SOUS 19604 HAS SOUPS 19604 WITH SCORE 19627.681
AT ITER 1292 NEW BEST:: SOT 66218 SOS 23557 HAS SOPS 23557 HAS SOUS 19524 HAS SOUPS 19524 WITH SCORE 19547.557
AT ITER 1301 NEW BEST:: SOT 66199 SOS 23535 HAS SOPS 23535 HAS SOUS 19502 HAS SOUPS 19502 WITH SCORE 19525.535
AT ITER 1311 NEW BEST:: SOT 66198 SOS 23533 HAS SOPS 23533 HAS SOUS 19500 HAS SOUPS 19500 WITH SCORE 19523.533
AT ITER 1318 NEW BEST:: SOT 66365 SOS 23471 HAS SOPS 23471 HAS SOUS 19438 HAS SOUPS 19438 WITH SCORE 19461.471
AT ITER 1321 NEW BEST:: SOT 66365 SOS 23469 HAS SOPS 23469 HAS SOUS 19436 HAS SOUPS 19436 WITH SCORE 19459.469
AT ITER 1331 NEW BEST:: SOT 66351 SOS 23455 HAS SOPS 23455 HAS SOUS 19422 HAS SOUPS 19422 WITH SCORE 19445.455
AT ITER 1356 NEW BEST:: SOT 66340 SOS 23433 HAS SOPS 23433 HAS SOUS 19400 HAS SOUPS 19400 WITH SCORE 19423.433
AT ITER 1377 NEW BEST:: SOT 66300 SOS 23353 HAS SOPS 23353 HAS SOUS 19344 HAS SOUPS 19344 WITH SCORE 19367.353
AT ITER 1435 NEW BEST:: SOT 66305 SOS 23348 HAS SOPS 23348 HAS SOUS 19339 HAS SOUPS 19339 WITH SCORE 19362.348
AT ITER 1437 NEW BEST:: SOT 66185 SOS 23180 HAS SOPS 23180 HAS SOUS 19294 HAS SOUPS 19294 WITH SCORE 19317.18
AT ITER 1439 NEW BEST:: SOT 66159 SOS 23153 HAS SOPS 23153 HAS SOUS 19267 HAS SOUPS 19267 WITH SCORE 19290.153
AT ITER 1453 NEW BEST:: SOT 66105 SOS 23099 HAS SOPS 23099 HAS SOUS 19213 HAS SOUPS 19213 WITH SCORE 19236.099
AT ITER 1462 NEW BEST:: SOT 66089 SOS 23099 HAS SOPS 23099 HAS SOUS 19212 HAS SOUPS 19212 WITH SCORE 19235.099
AT ITER 1464 NEW BEST:: SOT 66065 SOS 23051 HAS SOPS 23051 HAS SOUS 19164 HAS SOUPS 19164 WITH SCORE 19187.051
AT ITER 1465 NEW BEST:: SOT 66056 SOS 23021 HAS SOPS 23021 HAS SOUS 19134 HAS SOUPS 19134 WITH SCORE 19157.021
AT ITER 1466 NEW BEST:: SOT 66050 SOS 23010 HAS SOPS 23010 HAS SOUS 19123 HAS SOUPS 19123 WITH SCORE 19146.01
AT ITER 1469 NEW BEST:: SOT 66046 SOS 23002 HAS SOPS 23002 HAS SOUS 19115 HAS SOUPS 19115 WITH SCORE 19138.002
AT ITER 1473 NEW BEST:: SOT 66007 SOS 22924 HAS SOPS 22924 HAS SOUS 19037 HAS SOUPS 19037 WITH SCORE 19059.924
AT ITER 1475 NEW BEST:: SOT 65835 SOS 22752 HAS SOPS 22752 HAS SOUS 18865 HAS SOUPS 18865 WITH SCORE 18887.752
AT ITER 1477 NEW BEST:: SOT 65835 SOS 22727 HAS SOPS 22727 HAS SOUS 18840 HAS SOUPS 18840 WITH SCORE 18862.727
AT ITER 1478 NEW BEST:: SOT 65821 SOS 22713 HAS SOPS 22713 HAS SOUS 18840 HAS SOUPS 18840 WITH SCORE 18862.713
AT ITER 1484 NEW BEST:: SOT 65795 SOS 22673 HAS SOPS 22673 HAS SOUS 18800 HAS SOUPS 18800 WITH SCORE 18822.673
AT ITER 1521 NEW BEST:: SOT 65773 SOS 22652 HAS SOPS 22652 HAS SOUS 18779 HAS SOUPS 18779 WITH SCORE 18801.652
AT ITER 1530 NEW BEST:: SOT 65733 SOS 22592 HAS SOPS 22592 HAS SOUS 18739 HAS SOUPS 18739 WITH SCORE 18761.592
AT ITER 1565 NEW BEST:: SOT 65721 SOS 22581 HAS SOPS 22581 HAS SOUS 18728 HAS SOUPS 18728 WITH SCORE 18750.581
AT ITER 1577 NEW BEST:: SOT 65705 SOS 22564 HAS SOPS 22564 HAS SOUS 18711 HAS SOUPS 18711 WITH SCORE 18733.564
AT ITER 1621 NEW BEST:: SOT 65653 SOS 22531 HAS SOPS 22531 HAS SOUS 18678 HAS SOUPS 18678 WITH SCORE 18700.531
AT ITER 1625 NEW BEST:: SOT 65652 SOS 22530 HAS SOPS 22530 HAS SOUS 18677 HAS SOUPS 18677 WITH SCORE 18699.53
AT ITER 1629 NEW BEST:: SOT 65619 SOS 22497 HAS SOPS 22497 HAS SOUS 18644 HAS SOUPS 18644 WITH SCORE 18666.497
AT ITER 1655 NEW BEST:: SOT 65657 SOS 22362 HAS SOPS 22362 HAS SOUS 18580 HAS SOUPS 18580 WITH SCORE 18602.362
AT ITER 1682 NEW BEST:: SOT 65693 SOS 22346 HAS SOPS 22346 HAS SOUS 18564 HAS SOUPS 18564 WITH SCORE 18586.346
AT ITER 1687 NEW BEST:: SOT 65764 SOS 22224 HAS SOPS 22224 HAS SOUS 18499 HAS SOUPS 18499 WITH SCORE 18521.224
AT ITER 1695 NEW BEST:: SOT 65758 SOS 22215 HAS SOPS 22215 HAS SOUS 18490 HAS SOUPS 18490 WITH SCORE 18512.215
AT ITER 1704 NEW BEST:: SOT 65706 SOS 22138 HAS SOPS 22138 HAS SOUS 18413 HAS SOUPS 18413 WITH SCORE 18435.138
AT ITER 1717 NEW BEST:: SOT 65667 SOS 22063 HAS SOPS 22063 HAS SOUS 18338 HAS SOUPS 18338 WITH SCORE 18360.063
AT ITER 1737 NEW BEST:: SOT 65652 SOS 22033 HAS SOPS 22033 HAS SOUS 18293 HAS SOUPS 18293 WITH SCORE 18315.033
AT ITER 1744 NEW BEST:: SOT 65645 SOS 22025 HAS SOPS 22025 HAS SOUS 18285 HAS SOUPS 18285 WITH SCORE 18307.025
AT ITER 1766 NEW BEST:: SOT 65640 SOS 22022 HAS SOPS 22022 HAS SOUS 18282 HAS SOUPS 18282 WITH SCORE 18304.022
AT ITER 1767 NEW BEST:: SOT 65631 SOS 22013 HAS SOPS 22013 HAS SOUS 18273 HAS SOUPS 18273 WITH SCORE 18295.013
AT ITER 1777 NEW BEST:: SOT 65575 SOS 21957 HAS SOPS 21957 HAS SOUS 18217 HAS SOUPS 18217 WITH SCORE 18238.957
AT ITER 1782 NEW BEST:: SOT 65564 SOS 21935 HAS SOPS 21935 HAS SOUS 18195 HAS SOUPS 18195 WITH SCORE 18216.935
AT ITER 1792 NEW BEST:: SOT 65564 SOS 21935 HAS SOPS 21935 HAS SOUS 18163 HAS SOUPS 18163 WITH SCORE 18184.935
AT ITER 1827 NEW BEST:: SOT 65564 SOS 21929 HAS SOPS 21929 HAS SOUS 18163 HAS SOUPS 18163 WITH SCORE 18184.929
AT ITER 1830 NEW BEST:: SOT 65566 SOS 21910 HAS SOPS 21910 HAS SOUS 18160 HAS SOUPS 18160 WITH SCORE 18181.91
AT ITER 1832 NEW BEST:: SOT 65566 SOS 21908 HAS SOPS 21908 HAS SOUS 18158 HAS SOUPS 18158 WITH SCORE 18179.908
AT ITER 1855 NEW BEST:: SOT 65556 SOS 21888 HAS SOPS 21888 HAS SOUS 18138 HAS SOUPS 18138 WITH SCORE 18159.888
AT ITER 1862 NEW BEST:: SOT 65565 SOS 21878 HAS SOPS 21878 HAS SOUS 18128 HAS SOUPS 18128 WITH SCORE 18149.878
AT ITER 1863 NEW BEST:: SOT 65541 SOS 21848 HAS SOPS 21848 HAS SOUS 18098 HAS SOUPS 18098 WITH SCORE 18119.848
AT ITER 1871 NEW BEST:: SOT 65534 SOS 21834 HAS SOPS 21834 HAS SOUS 18084 HAS SOUPS 18084 WITH SCORE 18105.834
AT ITER 1893 NEW BEST:: SOT 65558 SOS 21848 HAS SOPS 21848 HAS SOUS 18081 HAS SOUPS 18081 WITH SCORE 18102.848
AT ITER 1913 NEW BEST:: SOT 65558 SOS 21844 HAS SOPS 21844 HAS SOUS 18077 HAS SOUPS 18077 WITH SCORE 18098.844
AT ITER 1945 NEW BEST:: SOT 65583 SOS 21828 HAS SOPS 21828 HAS SOUS 18061 HAS SOUPS 18061 WITH SCORE 18082.828
AT ITER 1960 NEW BEST:: SOT 65585 SOS 21825 HAS SOPS 21825 HAS SOUS 18045 HAS SOUPS 18045 WITH SCORE 18066.825
AT ITER 1966 NEW BEST:: SOT 65585 SOS 21807 HAS SOPS 21807 HAS SOUS 17957 HAS SOUPS 17957 WITH SCORE 17978.807
AT ITER 2021 NEW BEST:: SOT 65616 SOS 21804 HAS SOPS 21804 HAS SOUS 17954 HAS SOUPS 17954 WITH SCORE 17975.804
AT ITER 2044 NEW BEST:: SOT 65611 SOS 21791 HAS SOPS 21791 HAS SOUS 17941 HAS SOUPS 17941 WITH SCORE 17962.791
AT ITER 2055 NEW BEST:: SOT 65596 SOS 21776 HAS SOPS 21776 HAS SOUS 17926 HAS SOUPS 17926 WITH SCORE 17947.776
AT ITER 2064 NEW BEST:: SOT 65589 SOS 21769 HAS SOPS 21769 HAS SOUS 17919 HAS SOUPS 17919 WITH SCORE 17940.769
AT ITER 2099 NEW BEST:: SOT 65565 SOS 21733 HAS SOPS 21733 HAS SOUS 17883 HAS SOUPS 17883 WITH SCORE 17904.733
AT ITER 2100 NEW BEST:: SOT 65565 SOS 21732 HAS SOPS 21732 HAS SOUS 17882 HAS SOUPS 17882 WITH SCORE 17903.732
AT ITER 2141 NEW BEST:: SOT 65521 SOS 21710 HAS SOPS 21710 HAS SOUS 17860 HAS SOUPS 17860 WITH SCORE 17881.71
AT ITER 2190 NEW BEST:: SOT 65510 SOS 21692 HAS SOPS 21692 HAS SOUS 17842 HAS SOUPS 17842 WITH SCORE 17863.692
AT ITER 2191 NEW BEST:: SOT 65490 SOS 21651 HAS SOPS 21651 HAS SOUS 17779 HAS SOUPS 17779 WITH SCORE 17800.651
AT ITER 2195 NEW BEST:: SOT 65515 SOS 21623 HAS SOPS 21623 HAS SOUS 17751 HAS SOUPS 17751 WITH SCORE 17772.623
AT ITER 2203 NEW BEST:: SOT 65503 SOS 21599 HAS SOPS 21599 HAS SOUS 17739 HAS SOUPS 17739 WITH SCORE 17760.599
AT ITER 2243 NEW BEST:: SOT 65503 SOS 21552 HAS SOPS 21552 HAS SOUS 17692 HAS SOUPS 17692 WITH SCORE 17713.552
AT ITER 2250 NEW BEST:: SOT 65500 SOS 21549 HAS SOPS 21549 HAS SOUS 17689 HAS SOUPS 17689 WITH SCORE 17710.549
AT ITER 2276 NEW BEST:: SOT 65516 SOS 21542 HAS SOPS 21542 HAS SOUS 17682 HAS SOUPS 17682 WITH SCORE 17703.542
AT ITER 2301 NEW BEST:: SOT 65480 SOS 21496 HAS SOPS 21496 HAS SOUS 17636 HAS SOUPS 17636 WITH SCORE 17657.496
AT ITER 2322 NEW BEST:: SOT 65472 SOS 21480 HAS SOPS 21480 HAS SOUS 17620 HAS SOUPS 17620 WITH SCORE 17641.48
AT ITER 2329 NEW BEST:: SOT 65443 SOS 21451 HAS SOPS 21451 HAS SOUS 17591 HAS SOUPS 17591 WITH SCORE 17612.451
AT ITER 2338 NEW BEST:: SOT 65472 SOS 21418 HAS SOPS 21418 HAS SOUS 17521 HAS SOUPS 17521 WITH SCORE 17542.418
AT ITER 2383 NEW BEST:: SOT 65433 SOS 21310 HAS SOPS 21310 HAS SOUS 17450 HAS SOUPS 17450 WITH SCORE 17471.31
AT ITER 2388 NEW BEST:: SOT 65449 SOS 21287 HAS SOPS 21287 HAS SOUS 17427 HAS SOUPS 17427 WITH SCORE 17448.287
AT ITER 2396 NEW BEST:: SOT 65455 SOS 21282 HAS SOPS 21282 HAS SOUS 17422 HAS SOUPS 17422 WITH SCORE 17443.282
AT ITER 2406 NEW BEST:: SOT 65452 SOS 21279 HAS SOPS 21279 HAS SOUS 17419 HAS SOUPS 17419 WITH SCORE 17440.279
AT ITER 2423 NEW BEST:: SOT 65387 SOS 21218 HAS SOPS 21218 HAS SOUS 17358 HAS SOUPS 17358 WITH SCORE 17379.218
AT ITER 2424 NEW BEST:: SOT 65379 SOS 21202 HAS SOPS 21202 HAS SOUS 17342 HAS SOUPS 17342 WITH SCORE 17363.202
AT ITER 2459 NEW BEST:: SOT 65340 SOS 21177 HAS SOPS 21177 HAS SOUS 17317 HAS SOUPS 17317 WITH SCORE 17338.177
AT ITER 2480 NEW BEST:: SOT 65379 SOS 21147 HAS SOPS 21147 HAS SOUS 17287 HAS SOUPS 17287 WITH SCORE 17308.147
AT ITER 2494 NEW BEST:: SOT 65379 SOS 21130 HAS SOPS 21130 HAS SOUS 17253 HAS SOUPS 17253 WITH SCORE 17274.13
AT ITER 2506 NEW BEST:: SOT 65353 SOS 21104 HAS SOPS 21104 HAS SOUS 17227 HAS SOUPS 17227 WITH SCORE 17248.104
AT ITER 2510 NEW BEST:: SOT 65397 SOS 21102 HAS SOPS 21102 HAS SOUS 17209 HAS SOUPS 17209 WITH SCORE 17230.102
AT ITER 2511 NEW BEST:: SOT 65431 SOS 21096 HAS SOPS 21096 HAS SOUS 17203 HAS SOUPS 17203 WITH SCORE 17224.096
AT ITER 2553 NEW BEST:: SOT 65420 SOS 21085 HAS SOPS 21085 HAS SOUS 17192 HAS SOUPS 17192 WITH SCORE 17213.085
AT ITER 2555 NEW BEST:: SOT 65407 SOS 21072 HAS SOPS 21072 HAS SOUS 17179 HAS SOUPS 17179 WITH SCORE 17200.072
AT ITER 2572 NEW BEST:: SOT 65381 SOS 21065 HAS SOPS 21065 HAS SOUS 17172 HAS SOUPS 17172 WITH SCORE 17193.065
AT ITER 2586 NEW BEST:: SOT 65376 SOS 21055 HAS SOPS 21055 HAS SOUS 17162 HAS SOUPS 17162 WITH SCORE 17183.055
AT ITER 2627 NEW BEST:: SOT 65376 SOS 21049 HAS SOPS 21049 HAS SOUS 17150 HAS SOUPS 17150 WITH SCORE 17171.049
AT ITER 2641 NEW BEST:: SOT 65363 SOS 21045 HAS SOPS 21045 HAS SOUS 17146 HAS SOUPS 17146 WITH SCORE 17167.045
AT ITER 2645 NEW BEST:: SOT 65351 SOS 21021 HAS SOPS 21021 HAS SOUS 17110 HAS SOUPS 17110 WITH SCORE 17131.021
AT ITER 2648 NEW BEST:: SOT 65351 SOS 21021 HAS SOPS 21021 HAS SOUS 17105 HAS SOUPS 17105 WITH SCORE 17126.021
AT ITER 2676 NEW BEST:: SOT 65317 SOS 20896 HAS SOPS 20896 HAS SOUS 16980 HAS SOUPS 16980 WITH SCORE 17000.896
AT ITER 2734 NEW BEST:: SOT 65278 SOS 20857 HAS SOPS 20857 HAS SOUS 16941 HAS SOUPS 16941 WITH SCORE 16961.857
AT ITER 2740 NEW BEST:: SOT 65278 SOS 20854 HAS SOPS 20854 HAS SOUS 16938 HAS SOUPS 16938 WITH SCORE 16958.854
AT ITER 2764 NEW BEST:: SOT 65296 SOS 20852 HAS SOPS 20852 HAS SOUS 16936 HAS SOUPS 16936 WITH SCORE 16956.852
AT ITER 2809 NEW BEST:: SOT 65292 SOS 20848 HAS SOPS 20848 HAS SOUS 16932 HAS SOUPS 16932 WITH SCORE 16952.848
AT ITER 2843 NEW BEST:: SOT 65283 SOS 20839 HAS SOPS 20839 HAS SOUS 16923 HAS SOUPS 16923 WITH SCORE 16943.839
AT ITER 2850 NEW BEST:: SOT 65283 SOS 20830 HAS SOPS 20830 HAS SOUS 16914 HAS SOUPS 16914 WITH SCORE 16934.83
AT ITER 2867 NEW BEST:: SOT 65275 SOS 20814 HAS SOPS 20814 HAS SOUS 16898 HAS SOUPS 16898 WITH SCORE 16918.814
AT ITER 2884 NEW BEST:: SOT 65288 SOS 20798 HAS SOPS 20798 HAS SOUS 16882 HAS SOUPS 16882 WITH SCORE 16902.798
AT ITER 2895 NEW BEST:: SOT 65236 SOS 20766 HAS SOPS 20766 HAS SOUS 16850 HAS SOUPS 16850 WITH SCORE 16870.766
AT ITER 2924 NEW BEST:: SOT 65236 SOS 20761 HAS SOPS 20761 HAS SOUS 16836 HAS SOUPS 16836 WITH SCORE 16856.761
AT ITER 2931 NEW BEST:: SOT 65236 SOS 20750 HAS SOPS 20750 HAS SOUS 16825 HAS SOUPS 16825 WITH SCORE 16845.75
AT ITER 2943 NEW BEST:: SOT 65227 SOS 20741 HAS SOPS 20741 HAS SOUS 16816 HAS SOUPS 16816 WITH SCORE 16836.741
AT ITER 2964 NEW BEST:: SOT 65208 SOS 20679 HAS SOPS 20679 HAS SOUS 16754 HAS SOUPS 16754 WITH SCORE 16774.679
AT ITER 2977 NEW BEST:: SOT 65234 SOS 20732 HAS SOPS 20732 HAS SOUS 16750 HAS SOUPS 16750 WITH SCORE 16770.732
AT ITER 2988 NEW BEST:: SOT 65234 SOS 20732 HAS SOPS 20732 HAS SOUS 16733 HAS SOUPS 16733 WITH SCORE 16753.732
AT ITER 2999 NEW BEST:: SOT 65206 SOS 20704 HAS SOPS 20704 HAS SOUS 16705 HAS SOUPS 16705 WITH SCORE 16725.704
AT ITER 3032 NEW BEST:: SOT 65206 SOS 20714 HAS SOPS 20714 HAS SOUS 16703 HAS SOUPS 16703 WITH SCORE 16723.714
AT ITER 3052 NEW BEST:: SOT 65213 SOS 20705 HAS SOPS 20705 HAS SOUS 16694 HAS SOUPS 16694 WITH SCORE 16714.705
AT ITER 3099 NEW BEST:: SOT 65191 SOS 20654 HAS SOPS 20654 HAS SOUS 16643 HAS SOUPS 16643 WITH SCORE 16663.654
AT ITER 3106 NEW BEST:: SOT 65191 SOS 20651 HAS SOPS 20651 HAS SOUS 16640 HAS SOUPS 16640 WITH SCORE 16660.651
AT ITER 3107 NEW BEST:: SOT 65189 SOS 20648 HAS SOPS 20648 HAS SOUS 16637 HAS SOUPS 16637 WITH SCORE 16657.648
AT ITER 3134 NEW BEST:: SOT 65187 SOS 20644 HAS SOPS 20644 HAS SOUS 16635 HAS SOUPS 16635 WITH SCORE 16655.644
AT ITER 3144 NEW BEST:: SOT 65208 SOS 20637 HAS SOPS 20637 HAS SOUS 16628 HAS SOUPS 16628 WITH SCORE 16648.637
AT ITER 3185 NEW BEST:: SOT 65210 SOS 20635 HAS SOPS 20635 HAS SOUS 16626 HAS SOUPS 16626 WITH SCORE 16646.635
AT ITER 3211 NEW BEST:: SOT 65205 SOS 20592 HAS SOPS 20592 HAS SOUS 16583 HAS SOUPS 16583 WITH SCORE 16603.592
AT ITER 3250 NEW BEST:: SOT 65208 SOS 20523 HAS SOPS 20523 HAS SOUS 16533 HAS SOUPS 16533 WITH SCORE 16553.523
AT ITER 3254 NEW BEST:: SOT 65205 SOS 20491 HAS SOPS 20491 HAS SOUS 16519 HAS SOUPS 16519 WITH SCORE 16539.491
AT ITER 3262 NEW BEST:: SOT 65205 SOS 20491 HAS SOPS 20491 HAS SOUS 16515 HAS SOUPS 16515 WITH SCORE 16535.491
AT ITER 3277 NEW BEST:: SOT 65195 SOS 20482 HAS SOPS 20482 HAS SOUS 16506 HAS SOUPS 16506 WITH SCORE 16526.482
AT ITER 3295 NEW BEST:: SOT 65186 SOS 20473 HAS SOPS 20473 HAS SOUS 16497 HAS SOUPS 16497 WITH SCORE 16517.473
AT ITER 3305 NEW BEST:: SOT 65150 SOS 20430 HAS SOPS 20430 HAS SOUS 16454 HAS SOUPS 16454 WITH SCORE 16474.43
AT ITER 3314 NEW BEST:: SOT 65075 SOS 20425 HAS SOPS 20425 HAS SOUS 16449 HAS SOUPS 16449 WITH SCORE 16469.425
AT ITER 3343 NEW BEST:: SOT 65086 SOS 20400 HAS SOPS 20400 HAS SOUS 16424 HAS SOUPS 16424 WITH SCORE 16444.4
AT ITER 3352 NEW BEST:: SOT 65095 SOS 20391 HAS SOPS 20391 HAS SOUS 16415 HAS SOUPS 16415 WITH SCORE 16435.391
AT ITER 3379 NEW BEST:: SOT 65059 SOS 20366 HAS SOPS 20366 HAS SOUS 16390 HAS SOUPS 16390 WITH SCORE 16410.366
AT ITER 3384 NEW BEST:: SOT 65128 SOS 20368 HAS SOPS 20368 HAS SOUS 16324 HAS SOUPS 16324 WITH SCORE 16344.368
AT ITER 3399 NEW BEST:: SOT 65118 SOS 20348 HAS SOPS 20348 HAS SOUS 16316 HAS SOUPS 16316 WITH SCORE 16336.348
AT ITER 3415 NEW BEST:: SOT 65096 SOS 20304 HAS SOPS 20304 HAS SOUS 16272 HAS SOUPS 16272 WITH SCORE 16292.304
AT ITER 3439 NEW BEST:: SOT 65085 SOS 20285 HAS SOPS 20285 HAS SOUS 16253 HAS SOUPS 16253 WITH SCORE 16273.285
AT ITER 3462 NEW BEST:: SOT 65085 SOS 20234 HAS SOPS 20234 HAS SOUS 16202 HAS SOUPS 16202 WITH SCORE 16222.234
AT ITER 3471 NEW BEST:: SOT 65075 SOS 20224 HAS SOPS 20224 HAS SOUS 16192 HAS SOUPS 16192 WITH SCORE 16212.224
AT ITER 3545 NEW BEST:: SOT 65034 SOS 20179 HAS SOPS 20179 HAS SOUS 16147 HAS SOUPS 16147 WITH SCORE 16167.179
AT ITER 3591 NEW BEST:: SOT 65033 SOS 20177 HAS SOPS 20177 HAS SOUS 16145 HAS SOUPS 16145 WITH SCORE 16165.177
AT ITER 3688 NEW BEST:: SOT 65037 SOS 20175 HAS SOPS 20175 HAS SOUS 16143 HAS SOUPS 16143 WITH SCORE 16163.175
AT ITER 3700 NEW BEST:: SOT 65039 SOS 20175 HAS SOPS 20175 HAS SOUS 16141 HAS SOUPS 16141 WITH SCORE 16161.175
AT ITER 3730 NEW BEST:: SOT 65039 SOS 20161 HAS SOPS 20161 HAS SOUS 16127 HAS SOUPS 16127 WITH SCORE 16147.161
AT ITER 3750 NEW BEST:: SOT 65039 SOS 20159 HAS SOPS 20159 HAS SOUS 16127 HAS SOUPS 16127 WITH SCORE 16147.159
AT ITER 3775 NEW BEST:: SOT 65035 SOS 20150 HAS SOPS 20150 HAS SOUS 16118 HAS SOUPS 16118 WITH SCORE 16138.15
AT ITER 3783 NEW BEST:: SOT 65035 SOS 20147 HAS SOPS 20147 HAS SOUS 16115 HAS SOUPS 16115 WITH SCORE 16135.147
AT ITER 3797 NEW BEST:: SOT 65099 SOS 20183 HAS SOPS 20183 HAS SOUS 16103 HAS SOUPS 16103 WITH SCORE 16123.183
AT ITER 3811 NEW BEST:: SOT 65098 SOS 20181 HAS SOPS 20181 HAS SOUS 16101 HAS SOUPS 16101 WITH SCORE 16121.181
AT ITER 3814 NEW BEST:: SOT 65092 SOS 20175 HAS SOPS 20175 HAS SOUS 16095 HAS SOUPS 16095 WITH SCORE 16115.175
AT ITER 3855 NEW BEST:: SOT 65092 SOS 20124 HAS SOPS 20124 HAS SOUS 16044 HAS SOUPS 16044 WITH SCORE 16064.124
AT ITER 3865 NEW BEST:: SOT 65090 SOS 20120 HAS SOPS 20120 HAS SOUS 16040 HAS SOUPS 16040 WITH SCORE 16060.12
AT ITER 3960 NEW BEST:: SOT 65089 SOS 20118 HAS SOPS 20118 HAS SOUS 16038 HAS SOUPS 16038 WITH SCORE 16058.118
AT ITER 3965 NEW BEST:: SOT 65108 SOS 20117 HAS SOPS 20117 HAS SOUS 16037 HAS SOUPS 16037 WITH SCORE 16057.117
AT ITER 3978 NEW BEST:: SOT 65103 SOS 20112 HAS SOPS 20112 HAS SOUS 16032 HAS SOUPS 16032 WITH SCORE 16052.112
AT ITER 3985 NEW BEST:: SOT 65103 SOS 20110 HAS SOPS 20110 HAS SOUS 16030 HAS SOUPS 16030 WITH SCORE 16050.11
AT ITER 4003 NEW BEST:: SOT 65109 SOS 20116 HAS SOPS 20116 HAS SOUS 16025 HAS SOUPS 16025 WITH SCORE 16045.116
AT ITER 4012 NEW BEST:: SOT 65087 SOS 20094 HAS SOPS 20094 HAS SOUS 16003 HAS SOUPS 16003 WITH SCORE 16023.094
AT ITER 4016 NEW BEST:: SOT 65075 SOS 20082 HAS SOPS 20082 HAS SOUS 15991 HAS SOUPS 15991 WITH SCORE 16011.082
AT ITER 4026 NEW BEST:: SOT 65096 SOS 20092 HAS SOPS 20092 HAS SOUS 15989 HAS SOUPS 15989 WITH SCORE 16009.092
AT ITER 4042 NEW BEST:: SOT 65065 SOS 20068 HAS SOPS 20068 HAS SOUS 15965 HAS SOUPS 15965 WITH SCORE 15985.068
AT ITER 4131 NEW BEST:: SOT 65161 SOS 18195 HAS SOPS 18195 HAS SOUS 15966 HAS SOUPS 15966 WITH SCORE 15984.195
AT ITER 4197 NEW BEST:: SOT 65150 SOS 18192 HAS SOPS 18192 HAS SOUS 15963 HAS SOUPS 15963 WITH SCORE 15981.192
AT ITER 4203 NEW BEST:: SOT 65135 SOS 18185 HAS SOPS 18185 HAS SOUS 15956 HAS SOUPS 15956 WITH SCORE 15974.185
AT ITER 4226 NEW BEST:: SOT 65117 SOS 18176 HAS SOPS 18176 HAS SOUS 15947 HAS SOUPS 15947 WITH SCORE 15965.176
AT ITER 4243 NEW BEST:: SOT 65129 SOS 18176 HAS SOPS 18176 HAS SOUS 15923 HAS SOUPS 15923 WITH SCORE 15941.176
AT ITER 4245 NEW BEST:: SOT 65122 SOS 18169 HAS SOPS 18169 HAS SOUS 15916 HAS SOUPS 15916 WITH SCORE 15934.169
AT ITER 4248 NEW BEST:: SOT 65122 SOS 18156 HAS SOPS 18156 HAS SOUS 15890 HAS SOUPS 15890 WITH SCORE 15908.156
AT ITER 4249 NEW BEST:: SOT 65110 SOS 18146 HAS SOPS 18146 HAS SOUS 15880 HAS SOUPS 15880 WITH SCORE 15898.146
AT ITER 4257 NEW BEST:: SOT 65108 SOS 18145 HAS SOPS 18145 HAS SOUS 15879 HAS SOUPS 15879 WITH SCORE 15897.145
AT ITER 4266 NEW BEST:: SOT 65127 SOS 18127 HAS SOPS 18127 HAS SOUS 15861 HAS SOUPS 15861 WITH SCORE 15879.127
AT ITER 4350 NEW BEST:: SOT 65127 SOS 18122 HAS SOPS 18122 HAS SOUS 15856 HAS SOUPS 15856 WITH SCORE 15874.122
AT ITER 4352 NEW BEST:: SOT 65125 SOS 18120 HAS SOPS 18120 HAS SOUS 15854 HAS SOUPS 15854 WITH SCORE 15872.12
AT ITER 4354 NEW BEST:: SOT 65119 SOS 18114 HAS SOPS 18114 HAS SOUS 15848 HAS SOUPS 15848 WITH SCORE 15866.114
AT ITER 4459 NEW BEST:: SOT 65112 SOS 18100 HAS SOPS 18100 HAS SOUS 15834 HAS SOUPS 15834 WITH SCORE 15852.1
AT ITER 4471 NEW BEST:: SOT 65109 SOS 18094 HAS SOPS 18094 HAS SOUS 15831 HAS SOUPS 15831 WITH SCORE 15849.094
AT ITER 4478 NEW BEST:: SOT 65087 SOS 18084 HAS SOPS 18084 HAS SOUS 15821 HAS SOUPS 15821 WITH SCORE 15839.084
AT ITER 4498 NEW BEST:: SOT 64949 SOS 18054 HAS SOPS 18054 HAS SOUS 15791 HAS SOUPS 15791 WITH SCORE 15809.054
AT ITER 4511 NEW BEST:: SOT 64943 SOS 18029 HAS SOPS 18029 HAS SOUS 15766 HAS SOUPS 15766 WITH SCORE 15784.029
AT ITER 4536 NEW BEST:: SOT 64906 SOS 17903 HAS SOPS 17903 HAS SOUS 15625 HAS SOUPS 15625 WITH SCORE 15642.903
AT ITER 4547 NEW BEST:: SOT 64918 SOS 17915 HAS SOPS 17915 HAS SOUS 15619 HAS SOUPS 15619 WITH SCORE 15636.915
AT ITER 4595 NEW BEST:: SOT 64894 SOS 17908 HAS SOPS 17908 HAS SOUS 15612 HAS SOUPS 15612 WITH SCORE 15629.908
AT ITER 4615 NEW BEST:: SOT 64870 SOS 17844 HAS SOPS 17844 HAS SOUS 15548 HAS SOUPS 15548 WITH SCORE 15565.844
AT ITER 4628 NEW BEST:: SOT 64858 SOS 17843 HAS SOPS 17843 HAS SOUS 15547 HAS SOUPS 15547 WITH SCORE 15564.843
AT ITER 4652 NEW BEST:: SOT 64858 SOS 17837 HAS SOPS 17837 HAS SOUS 15541 HAS SOUPS 15541 WITH SCORE 15558.837
AT ITER 4654 NEW BEST:: SOT 64856 SOS 17828 HAS SOPS 17828 HAS SOUS 15532 HAS SOUPS 15532 WITH SCORE 15549.828
AT ITER 4692 NEW BEST:: SOT 64883 SOS 17853 HAS SOPS 17853 HAS SOUS 15529 HAS SOUPS 15529 WITH SCORE 15546.853
AT ITER 4706 NEW BEST:: SOT 64879 SOS 17845 HAS SOPS 17845 HAS SOUS 15521 HAS SOUPS 15521 WITH SCORE 15538.845
AT ITER 4741 NEW BEST:: SOT 64875 SOS 17834 HAS SOPS 17834 HAS SOUS 15510 HAS SOUPS 15510 WITH SCORE 15527.834
AT ITER 4759 NEW BEST:: SOT 64875 SOS 17831 HAS SOPS 17831 HAS SOUS 15507 HAS SOUPS 15507 WITH SCORE 15524.831
AT ITER 4773 NEW BEST:: SOT 64874 SOS 17829 HAS SOPS 17829 HAS SOUS 15505 HAS SOUPS 15505 WITH SCORE 15522.829
AT ITER 4777 NEW BEST:: SOT 64874 SOS 17819 HAS SOPS 17819 HAS SOUS 15495 HAS SOUPS 15495 WITH SCORE 15512.819
AT ITER 4780 NEW BEST:: SOT 64855 SOS 17816 HAS SOPS 17816 HAS SOUS 15492 HAS SOUPS 15492 WITH SCORE 15509.816
AT ITER 4809 NEW BEST:: SOT 64852 SOS 17813 HAS SOPS 17813 HAS SOUS 15489 HAS SOUPS 15489 WITH SCORE 15506.813
AT ITER 4899 NEW BEST:: SOT 64828 SOS 17788 HAS SOPS 17788 HAS SOUS 15481 HAS SOUPS 15481 WITH SCORE 15498.788
AT ITER 4901 NEW BEST:: SOT 64815 SOS 17784 HAS SOPS 17784 HAS SOUS 15477 HAS SOUPS 15477 WITH SCORE 15494.784
AT ITER 4912 NEW BEST:: SOT 64850 SOS 17817 HAS SOPS 17817 HAS SOUS 15463 HAS SOUPS 15463 WITH SCORE 15480.817
AT ITER 4933 NEW BEST:: SOT 64848 SOS 17815 HAS SOPS 17815 HAS SOUS 15461 HAS SOUPS 15461 WITH SCORE 15478.815
AT ITER 4982 NEW BEST:: SOT 64829 SOS 17796 HAS SOPS 17796 HAS SOUS 15442 HAS SOUPS 15442 WITH SCORE 15459.796
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: BusinessProcesses-PT-06-CTLCardinality-00 (! (! (EF(( potential( ( 1 ) <= (tk(P129)) ) | potential( ( 3 ) <= (tk(P245)) ) )))))
PROPERTY: BusinessProcesses-PT-06-CTLCardinality-01 (EF(( potential( ( 2 ) <= (tk(P280)) ) & (! ( potential( (tk(P242)) <= (tk(P146)) ) | potential( (tk(P75)) <= (tk(P25)) ) )) )))
PROPERTY: BusinessProcesses-PT-06-CTLCardinality-02 ( potential( (tk(P73)) <= (tk(P210)) ) & (EX( (AG( potential( (tk(P104)) <= (tk(P329)) ))))) )
PROPERTY: BusinessProcesses-PT-06-CTLCardinality-03 (EG( (EF(( potential( ( 3 ) <= (tk(P173)) ) & potential( ( 1 ) <= (tk(P331)) ) )))))
PROPERTY: BusinessProcesses-PT-06-CTLCardinality-04 (EU( (AG( potential( (tk(P17)) <= (tk(P333)) ))),(AX( potential( ( 1 ) <= (tk(P5)) ))) ))
PROPERTY: BusinessProcesses-PT-06-CTLCardinality-05 (EF(( (EX( potential( (tk(P376)) <= (tk(P134)) ))) & (AX( potential( ( 3 ) <= (tk(P48)) ))) )))
PROPERTY: BusinessProcesses-PT-06-CTLCardinality-06 (! (! ( (AG( potential( (tk(P146)) <= (tk(P222)) ))) | (! potential( (tk(P141)) <= (tk(P106)) )) )))
PROPERTY: BusinessProcesses-PT-06-CTLCardinality-07 (AG( (AF(potential( (tk(P264)) <= (tk(P304)) )))))
PROPERTY: BusinessProcesses-PT-06-CTLCardinality-08 (EF(( (AG( potential( ( 2 ) <= (tk(P102)) ))) & ( ( potential( ( 2 ) <= (tk(P294)) ) & potential( ( 2 ) <= (tk(P125)) ) ) | (! potential( ( 1 ) <= (tk(P155)) )) ) )))
PROPERTY: BusinessProcesses-PT-06-CTLCardinality-09 (EF(potential( ( 1 ) <= (tk(P18)) )))
PROPERTY: BusinessProcesses-PT-06-CTLCardinality-10 (! (AG( (EX( potential( (tk(P192)) <= (tk(P188)) ))))))
PROPERTY: BusinessProcesses-PT-06-CTLCardinality-11 (AX( (AG( potential( (tk(P107)) <= (tk(P218)) )))))
PROPERTY: BusinessProcesses-PT-06-CTLCardinality-12 (AG( ( potential( (tk(P228)) <= (tk(P63)) ) & (EF(potential( (tk(P297)) <= (tk(P171)) ))) )))
PROPERTY: BusinessProcesses-PT-06-CTLCardinality-13 (EF((EG( potential( ( 1 ) <= (tk(P218)) )))))
PROPERTY: BusinessProcesses-PT-06-CTLCardinality-14 (AG( (EX( ( potential( (tk(P279)) <= (tk(P143)) ) & potential( (tk(P246)) <= (tk(P39)) ) )))))
PROPERTY: BusinessProcesses-PT-06-CTLCardinality-15 (EG( (EU( potential( (tk(P237)) <= (tk(P371)) ),potential( ( 1 ) <= (tk(P161)) ) ))))
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-06"
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-06, 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-158897680100491"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/BusinessProcesses-PT-06.tgz
mv BusinessProcesses-PT-06 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 ;