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-158897680200580.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-17, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r018-oct2-158897680200580
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 356K
-rw-r--r-- 1 mcc users 4.3K Mar 26 02:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Mar 26 02:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 22:45 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 25 22:45 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.6K Apr 8 14:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 25 17:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 25 17:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Mar 25 14:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 25 14:38 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 161K 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-17-CTLFireability-00
FORMULA_NAME BusinessProcesses-PT-17-CTLFireability-01
FORMULA_NAME BusinessProcesses-PT-17-CTLFireability-02
FORMULA_NAME BusinessProcesses-PT-17-CTLFireability-03
FORMULA_NAME BusinessProcesses-PT-17-CTLFireability-04
FORMULA_NAME BusinessProcesses-PT-17-CTLFireability-05
FORMULA_NAME BusinessProcesses-PT-17-CTLFireability-06
FORMULA_NAME BusinessProcesses-PT-17-CTLFireability-07
FORMULA_NAME BusinessProcesses-PT-17-CTLFireability-08
FORMULA_NAME BusinessProcesses-PT-17-CTLFireability-09
FORMULA_NAME BusinessProcesses-PT-17-CTLFireability-10
FORMULA_NAME BusinessProcesses-PT-17-CTLFireability-11
FORMULA_NAME BusinessProcesses-PT-17-CTLFireability-12
FORMULA_NAME BusinessProcesses-PT-17-CTLFireability-13
FORMULA_NAME BusinessProcesses-PT-17-CTLFireability-14
FORMULA_NAME BusinessProcesses-PT-17-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1590869257961

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 17
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 650 places, 580 transitions, 1709 arcs.
AT ITER 0 NEW BEST:: SOT 238524 SOS 92850 HAS SOPS 92850 HAS SOUS 90208 HAS SOUPS 90208 WITH SCORE 90300.85
AT ITER 11 NEW BEST:: SOT 238595 SOS 92907 HAS SOPS 92907 HAS SOUS 90192 HAS SOUPS 90192 WITH SCORE 90284.907
AT ITER 17 NEW BEST:: SOT 238594 SOS 92905 HAS SOPS 92905 HAS SOUS 90190 HAS SOUPS 90190 WITH SCORE 90282.905
AT ITER 26 NEW BEST:: SOT 238423 SOS 92798 HAS SOPS 92798 HAS SOUS 90083 HAS SOUPS 90083 WITH SCORE 90175.798
AT ITER 40 NEW BEST:: SOT 238214 SOS 92507 HAS SOPS 92507 HAS SOUS 89792 HAS SOUPS 89792 WITH SCORE 89884.507
AT ITER 55 NEW BEST:: SOT 238213 SOS 92505 HAS SOPS 92505 HAS SOUS 89790 HAS SOUPS 89790 WITH SCORE 89882.505
AT ITER 67 NEW BEST:: SOT 238213 SOS 92384 HAS SOPS 92384 HAS SOUS 89669 HAS SOUPS 89669 WITH SCORE 89761.384
AT ITER 94 NEW BEST:: SOT 238069 SOS 92218 HAS SOPS 92218 HAS SOUS 89503 HAS SOUPS 89503 WITH SCORE 89595.218
AT ITER 103 NEW BEST:: SOT 238069 SOS 92115 HAS SOPS 92115 HAS SOUS 89400 HAS SOUPS 89400 WITH SCORE 89492.115
AT ITER 111 NEW BEST:: SOT 238115 SOS 92090 HAS SOPS 92090 HAS SOUS 89375 HAS SOUPS 89375 WITH SCORE 89467.09
AT ITER 114 NEW BEST:: SOT 237930 SOS 91803 HAS SOPS 91803 HAS SOUS 89088 HAS SOUPS 89088 WITH SCORE 89179.803
AT ITER 116 NEW BEST:: SOT 237925 SOS 91682 HAS SOPS 91682 HAS SOUS 88967 HAS SOUPS 88967 WITH SCORE 89058.682
AT ITER 141 NEW BEST:: SOT 237925 SOS 91552 HAS SOPS 91552 HAS SOUS 88837 HAS SOUPS 88837 WITH SCORE 88928.552
AT ITER 151 NEW BEST:: SOT 237959 SOS 91519 HAS SOPS 91519 HAS SOUS 88804 HAS SOUPS 88804 WITH SCORE 88895.519
AT ITER 153 NEW BEST:: SOT 237958 SOS 91517 HAS SOPS 91517 HAS SOUS 88802 HAS SOUPS 88802 WITH SCORE 88893.517
AT ITER 154 NEW BEST:: SOT 238011 SOS 91476 HAS SOPS 91476 HAS SOUS 88761 HAS SOUPS 88761 WITH SCORE 88852.476
AT ITER 155 NEW BEST:: SOT 238011 SOS 91468 HAS SOPS 91468 HAS SOUS 88753 HAS SOUPS 88753 WITH SCORE 88844.468
AT ITER 170 NEW BEST:: SOT 237924 SOS 91313 HAS SOPS 91313 HAS SOUS 88685 HAS SOUPS 88685 WITH SCORE 88776.313
AT ITER 171 NEW BEST:: SOT 237924 SOS 91226 HAS SOPS 91226 HAS SOUS 88598 HAS SOUPS 88598 WITH SCORE 88689.226
AT ITER 173 NEW BEST:: SOT 237941 SOS 91132 HAS SOPS 91132 HAS SOUS 88504 HAS SOUPS 88504 WITH SCORE 88595.132
AT ITER 191 NEW BEST:: SOT 237787 SOS 90978 HAS SOPS 90978 HAS SOUS 88350 HAS SOUPS 88350 WITH SCORE 88440.978
AT ITER 194 NEW BEST:: SOT 237787 SOS 90916 HAS SOPS 90916 HAS SOUS 88324 HAS SOUPS 88324 WITH SCORE 88414.916
AT ITER 196 NEW BEST:: SOT 237596 SOS 90793 HAS SOPS 90793 HAS SOUS 88241 HAS SOUPS 88241 WITH SCORE 88331.793
AT ITER 201 NEW BEST:: SOT 237468 SOS 90409 HAS SOPS 90409 HAS SOUS 87857 HAS SOUPS 87857 WITH SCORE 87947.409
AT ITER 204 NEW BEST:: SOT 237448 SOS 90262 HAS SOPS 90262 HAS SOUS 87710 HAS SOUPS 87710 WITH SCORE 87800.262
AT ITER 211 NEW BEST:: SOT 237192 SOS 89974 HAS SOPS 89974 HAS SOUS 87422 HAS SOUPS 87422 WITH SCORE 87511.974
AT ITER 213 NEW BEST:: SOT 237192 SOS 89919 HAS SOPS 89919 HAS SOUS 87367 HAS SOUPS 87367 WITH SCORE 87456.919
AT ITER 218 NEW BEST:: SOT 237119 SOS 89752 HAS SOPS 89752 HAS SOUS 87273 HAS SOUPS 87273 WITH SCORE 87362.752
AT ITER 256 NEW BEST:: SOT 237170 SOS 89727 HAS SOPS 89727 HAS SOUS 87248 HAS SOUPS 87248 WITH SCORE 87337.727
AT ITER 260 NEW BEST:: SOT 237170 SOS 89695 HAS SOPS 89695 HAS SOUS 87219 HAS SOUPS 87219 WITH SCORE 87308.695
AT ITER 267 NEW BEST:: SOT 237170 SOS 89620 HAS SOPS 89620 HAS SOUS 87144 HAS SOUPS 87144 WITH SCORE 87233.62
AT ITER 281 NEW BEST:: SOT 237170 SOS 89601 HAS SOPS 89601 HAS SOUS 87125 HAS SOUPS 87125 WITH SCORE 87214.601
AT ITER 284 NEW BEST:: SOT 237169 SOS 89599 HAS SOPS 89599 HAS SOUS 87123 HAS SOUPS 87123 WITH SCORE 87212.599
AT ITER 293 NEW BEST:: SOT 237337 SOS 89555 HAS SOPS 89555 HAS SOUS 87079 HAS SOUPS 87079 WITH SCORE 87168.555
AT ITER 299 NEW BEST:: SOT 237242 SOS 89580 HAS SOPS 89580 HAS SOUS 87034 HAS SOUPS 87034 WITH SCORE 87123.58
AT ITER 311 NEW BEST:: SOT 237231 SOS 89558 HAS SOPS 89558 HAS SOUS 87012 HAS SOUPS 87012 WITH SCORE 87101.558
AT ITER 327 NEW BEST:: SOT 237231 SOS 89435 HAS SOPS 89435 HAS SOUS 86889 HAS SOUPS 86889 WITH SCORE 86978.435
AT ITER 330 NEW BEST:: SOT 237231 SOS 89402 HAS SOPS 89402 HAS SOUS 86856 HAS SOUPS 86856 WITH SCORE 86945.402
AT ITER 338 NEW BEST:: SOT 237186 SOS 89267 HAS SOPS 89267 HAS SOUS 86721 HAS SOUPS 86721 WITH SCORE 86810.267
AT ITER 383 NEW BEST:: SOT 237186 SOS 89241 HAS SOPS 89241 HAS SOUS 86719 HAS SOUPS 86719 WITH SCORE 86808.241
AT ITER 385 NEW BEST:: SOT 237186 SOS 89227 HAS SOPS 89227 HAS SOUS 86705 HAS SOUPS 86705 WITH SCORE 86794.227
AT ITER 389 NEW BEST:: SOT 237186 SOS 89082 HAS SOPS 89082 HAS SOUS 86612 HAS SOUPS 86612 WITH SCORE 86701.082
AT ITER 398 NEW BEST:: SOT 237068 SOS 88920 HAS SOPS 88920 HAS SOUS 86450 HAS SOUPS 86450 WITH SCORE 86538.92
AT ITER 402 NEW BEST:: SOT 237068 SOS 88799 HAS SOPS 88799 HAS SOUS 86329 HAS SOUPS 86329 WITH SCORE 86417.799
AT ITER 406 NEW BEST:: SOT 237020 SOS 88797 HAS SOPS 88797 HAS SOUS 86280 HAS SOUPS 86280 WITH SCORE 86368.797
AT ITER 408 NEW BEST:: SOT 236939 SOS 88561 HAS SOPS 88561 HAS SOUS 86044 HAS SOUPS 86044 WITH SCORE 86132.561
AT ITER 413 NEW BEST:: SOT 236962 SOS 88607 HAS SOPS 88607 HAS SOUS 85904 HAS SOUPS 85904 WITH SCORE 85992.607
AT ITER 429 NEW BEST:: SOT 236944 SOS 88588 HAS SOPS 88588 HAS SOUS 85903 HAS SOUPS 85903 WITH SCORE 85991.588
AT ITER 444 NEW BEST:: SOT 237033 SOS 88223 HAS SOPS 88223 HAS SOUS 85595 HAS SOUPS 85595 WITH SCORE 85683.223
AT ITER 447 NEW BEST:: SOT 235177 SOS 86251 HAS SOPS 86251 HAS SOUS 83623 HAS SOUPS 83623 WITH SCORE 83709.251
AT ITER 450 NEW BEST:: SOT 235025 SOS 86101 HAS SOPS 86101 HAS SOUS 83536 HAS SOUPS 83536 WITH SCORE 83622.101
AT ITER 457 NEW BEST:: SOT 235025 SOS 86079 HAS SOPS 86079 HAS SOUS 83514 HAS SOUPS 83514 WITH SCORE 83600.079
AT ITER 467 NEW BEST:: SOT 235028 SOS 85850 HAS SOPS 85850 HAS SOUS 83285 HAS SOUPS 83285 WITH SCORE 83370.85
AT ITER 471 NEW BEST:: SOT 235028 SOS 85811 HAS SOPS 85811 HAS SOUS 83246 HAS SOUPS 83246 WITH SCORE 83331.811
AT ITER 482 NEW BEST:: SOT 234886 SOS 85593 HAS SOPS 85593 HAS SOUS 83028 HAS SOUPS 83028 WITH SCORE 83113.593
AT ITER 484 NEW BEST:: SOT 234889 SOS 85688 HAS SOPS 85688 HAS SOUS 83006 HAS SOUPS 83006 WITH SCORE 83091.688
AT ITER 488 NEW BEST:: SOT 234889 SOS 85656 HAS SOPS 85656 HAS SOUS 82974 HAS SOUPS 82974 WITH SCORE 83059.656
AT ITER 504 NEW BEST:: SOT 234889 SOS 85528 HAS SOPS 85528 HAS SOUS 82845 HAS SOUPS 82845 WITH SCORE 82930.528
AT ITER 523 NEW BEST:: SOT 234281 SOS 85586 HAS SOPS 85586 HAS SOUS 82462 HAS SOUPS 82462 WITH SCORE 82547.586
AT ITER 524 NEW BEST:: SOT 228170 SOS 90822 HAS SOPS 90822 HAS SOUS 76956 HAS SOUPS 76956 WITH SCORE 77046.822
AT ITER 540 NEW BEST:: SOT 228168 SOS 90810 HAS SOPS 90810 HAS SOUS 76916 HAS SOUPS 76916 WITH SCORE 77006.81
AT ITER 551 NEW BEST:: SOT 228029 SOS 90671 HAS SOPS 90671 HAS SOUS 76910 HAS SOUPS 76910 WITH SCORE 77000.671
AT ITER 556 NEW BEST:: SOT 227959 SOS 90610 HAS SOPS 90610 HAS SOUS 76849 HAS SOUPS 76849 WITH SCORE 76939.61
AT ITER 557 NEW BEST:: SOT 225633 SOS 88283 HAS SOPS 88283 HAS SOUS 74522 HAS SOUPS 74522 WITH SCORE 74610.283
AT ITER 558 NEW BEST:: SOT 225506 SOS 88155 HAS SOPS 88155 HAS SOUS 74520 HAS SOUPS 74520 WITH SCORE 74608.155
AT ITER 588 NEW BEST:: SOT 225595 SOS 88213 HAS SOPS 88213 HAS SOUS 74481 HAS SOUPS 74481 WITH SCORE 74569.213
AT ITER 592 NEW BEST:: SOT 225382 SOS 87890 HAS SOPS 87890 HAS SOUS 74268 HAS SOUPS 74268 WITH SCORE 74355.89
AT ITER 594 NEW BEST:: SOT 225373 SOS 87825 HAS SOPS 87825 HAS SOUS 74250 HAS SOUPS 74250 WITH SCORE 74337.825
AT ITER 600 NEW BEST:: SOT 225370 SOS 87819 HAS SOPS 87819 HAS SOUS 74244 HAS SOUPS 74244 WITH SCORE 74331.819
AT ITER 601 NEW BEST:: SOT 225161 SOS 87444 HAS SOPS 87444 HAS SOUS 73985 HAS SOUPS 73985 WITH SCORE 74072.444
AT ITER 615 NEW BEST:: SOT 225161 SOS 87435 HAS SOPS 87435 HAS SOUS 73976 HAS SOUPS 73976 WITH SCORE 74063.435
AT ITER 621 NEW BEST:: SOT 225161 SOS 87463 HAS SOPS 87463 HAS SOUS 73974 HAS SOUPS 73974 WITH SCORE 74061.463
AT ITER 641 NEW BEST:: SOT 225010 SOS 87312 HAS SOPS 87312 HAS SOUS 73823 HAS SOUPS 73823 WITH SCORE 73910.312
AT ITER 649 NEW BEST:: SOT 225010 SOS 87300 HAS SOPS 87300 HAS SOUS 73799 HAS SOUPS 73799 WITH SCORE 73886.3
AT ITER 670 NEW BEST:: SOT 224801 SOS 86910 HAS SOPS 86910 HAS SOUS 73562 HAS SOUPS 73562 WITH SCORE 73648.91
AT ITER 696 NEW BEST:: SOT 224593 SOS 86607 HAS SOPS 86607 HAS SOUS 73357 HAS SOUPS 73357 WITH SCORE 73443.607
AT ITER 697 NEW BEST:: SOT 224754 SOS 86643 HAS SOPS 86643 HAS SOUS 73327 HAS SOUPS 73327 WITH SCORE 73413.643
AT ITER 711 NEW BEST:: SOT 224632 SOS 86521 HAS SOPS 86521 HAS SOUS 73205 HAS SOUPS 73205 WITH SCORE 73291.521
AT ITER 719 NEW BEST:: SOT 224632 SOS 86381 HAS SOPS 86381 HAS SOUS 73165 HAS SOUPS 73165 WITH SCORE 73251.381
AT ITER 726 NEW BEST:: SOT 224632 SOS 86380 HAS SOPS 86380 HAS SOUS 73164 HAS SOUPS 73164 WITH SCORE 73250.38
AT ITER 731 NEW BEST:: SOT 224569 SOS 86317 HAS SOPS 86317 HAS SOUS 73101 HAS SOUPS 73101 WITH SCORE 73187.317
AT ITER 739 NEW BEST:: SOT 224551 SOS 86323 HAS SOPS 86323 HAS SOUS 73095 HAS SOUPS 73095 WITH SCORE 73181.323
AT ITER 754 NEW BEST:: SOT 224551 SOS 86322 HAS SOPS 86322 HAS SOUS 73094 HAS SOUPS 73094 WITH SCORE 73180.322
AT ITER 770 NEW BEST:: SOT 221875 SOS 83724 HAS SOPS 83724 HAS SOUS 70424 HAS SOUPS 70424 WITH SCORE 70507.724
AT ITER 773 NEW BEST:: SOT 221819 SOS 83543 HAS SOPS 83543 HAS SOUS 70352 HAS SOUPS 70352 WITH SCORE 70435.543
AT ITER 775 NEW BEST:: SOT 221790 SOS 83514 HAS SOPS 83514 HAS SOUS 70352 HAS SOUPS 70352 WITH SCORE 70435.514
AT ITER 780 NEW BEST:: SOT 221716 SOS 83403 HAS SOPS 83403 HAS SOUS 70278 HAS SOUPS 70278 WITH SCORE 70361.403
AT ITER 781 NEW BEST:: SOT 221735 SOS 83332 HAS SOPS 83332 HAS SOUS 70208 HAS SOUPS 70208 WITH SCORE 70291.332
AT ITER 786 NEW BEST:: SOT 221740 SOS 83078 HAS SOPS 83078 HAS SOUS 70073 HAS SOUPS 70073 WITH SCORE 70156.078
AT ITER 799 NEW BEST:: SOT 219895 SOS 82050 HAS SOPS 82050 HAS SOUS 68223 HAS SOUPS 68223 WITH SCORE 68305.05
AT ITER 815 NEW BEST:: SOT 219810 SOS 81840 HAS SOPS 81840 HAS SOUS 68013 HAS SOUPS 68013 WITH SCORE 68094.84
AT ITER 824 NEW BEST:: SOT 219671 SOS 81623 HAS SOPS 81623 HAS SOUS 67874 HAS SOUPS 67874 WITH SCORE 67955.623
AT ITER 832 NEW BEST:: SOT 219513 SOS 81361 HAS SOPS 81361 HAS SOUS 67772 HAS SOUPS 67772 WITH SCORE 67853.361
AT ITER 835 NEW BEST:: SOT 219323 SOS 80968 HAS SOPS 80968 HAS SOUS 67379 HAS SOUPS 67379 WITH SCORE 67459.968
AT ITER 839 NEW BEST:: SOT 219243 SOS 80753 HAS SOPS 80753 HAS SOUS 67164 HAS SOUPS 67164 WITH SCORE 67244.753
AT ITER 844 NEW BEST:: SOT 219243 SOS 80752 HAS SOPS 80752 HAS SOUS 67163 HAS SOUPS 67163 WITH SCORE 67243.752
AT ITER 846 NEW BEST:: SOT 219204 SOS 80667 HAS SOPS 80667 HAS SOUS 67078 HAS SOUPS 67078 WITH SCORE 67158.667
AT ITER 853 NEW BEST:: SOT 218966 SOS 80441 HAS SOPS 80441 HAS SOUS 66980 HAS SOUPS 66980 WITH SCORE 67060.441
AT ITER 856 NEW BEST:: SOT 218875 SOS 80322 HAS SOPS 80322 HAS SOUS 66875 HAS SOUPS 66875 WITH SCORE 66955.322
AT ITER 870 NEW BEST:: SOT 218879 SOS 80301 HAS SOPS 80301 HAS SOUS 66854 HAS SOUPS 66854 WITH SCORE 66934.301
AT ITER 879 NEW BEST:: SOT 218799 SOS 80141 HAS SOPS 80141 HAS SOUS 66694 HAS SOUPS 66694 WITH SCORE 66774.141
AT ITER 882 NEW BEST:: SOT 218777 SOS 80123 HAS SOPS 80123 HAS SOUS 66676 HAS SOUPS 66676 WITH SCORE 66756.123
AT ITER 883 NEW BEST:: SOT 218612 SOS 79957 HAS SOPS 79957 HAS SOUS 66675 HAS SOUPS 66675 WITH SCORE 66754.957
AT ITER 885 NEW BEST:: SOT 218502 SOS 79737 HAS SOPS 79737 HAS SOUS 66455 HAS SOUPS 66455 WITH SCORE 66534.737
AT ITER 886 NEW BEST:: SOT 218411 SOS 79660 HAS SOPS 79660 HAS SOUS 66349 HAS SOUPS 66349 WITH SCORE 66428.66
AT ITER 897 NEW BEST:: SOT 218406 SOS 79618 HAS SOPS 79618 HAS SOUS 66333 HAS SOUPS 66333 WITH SCORE 66412.618
AT ITER 898 NEW BEST:: SOT 218397 SOS 79371 HAS SOPS 79371 HAS SOUS 66086 HAS SOUPS 66086 WITH SCORE 66165.371
AT ITER 910 NEW BEST:: SOT 218177 SOS 79095 HAS SOPS 79095 HAS SOUS 65977 HAS SOUPS 65977 WITH SCORE 66056.095
AT ITER 917 NEW BEST:: SOT 218127 SOS 79045 HAS SOPS 79045 HAS SOUS 65977 HAS SOUPS 65977 WITH SCORE 66056.045
AT ITER 919 NEW BEST:: SOT 218127 SOS 79009 HAS SOPS 79009 HAS SOUS 65940 HAS SOUPS 65940 WITH SCORE 66019.009
AT ITER 930 NEW BEST:: SOT 218397 SOS 78990 HAS SOPS 78990 HAS SOUS 65921 HAS SOUPS 65921 WITH SCORE 65999.99
AT ITER 950 NEW BEST:: SOT 218409 SOS 78978 HAS SOPS 78978 HAS SOUS 65909 HAS SOUPS 65909 WITH SCORE 65987.978
AT ITER 952 NEW BEST:: SOT 218273 SOS 78812 HAS SOPS 78812 HAS SOUS 65743 HAS SOUPS 65743 WITH SCORE 65821.812
AT ITER 953 NEW BEST:: SOT 218273 SOS 78811 HAS SOPS 78811 HAS SOUS 65742 HAS SOUPS 65742 WITH SCORE 65820.811
AT ITER 954 NEW BEST:: SOT 217798 SOS 80406 HAS SOPS 80406 HAS SOUS 65601 HAS SOUPS 65601 WITH SCORE 65681.406
AT ITER 967 NEW BEST:: SOT 217798 SOS 80358 HAS SOPS 80358 HAS SOUS 65598 HAS SOUPS 65598 WITH SCORE 65678.358
AT ITER 971 NEW BEST:: SOT 217752 SOS 80312 HAS SOPS 80312 HAS SOUS 65598 HAS SOUPS 65598 WITH SCORE 65678.312
AT ITER 975 NEW BEST:: SOT 217722 SOS 80112 HAS SOPS 80112 HAS SOUS 65398 HAS SOUPS 65398 WITH SCORE 65478.112
AT ITER 980 NEW BEST:: SOT 217722 SOS 80107 HAS SOPS 80107 HAS SOUS 65393 HAS SOUPS 65393 WITH SCORE 65473.107
AT ITER 983 NEW BEST:: SOT 217722 SOS 80069 HAS SOPS 80069 HAS SOUS 65355 HAS SOUPS 65355 WITH SCORE 65435.069
AT ITER 996 NEW BEST:: SOT 217716 SOS 80051 HAS SOPS 80051 HAS SOUS 65337 HAS SOUPS 65337 WITH SCORE 65417.051
AT ITER 1004 NEW BEST:: SOT 217471 SOS 79863 HAS SOPS 79863 HAS SOUS 65259 HAS SOUPS 65259 WITH SCORE 65338.863
AT ITER 1020 NEW BEST:: SOT 217470 SOS 79861 HAS SOPS 79861 HAS SOUS 65257 HAS SOUPS 65257 WITH SCORE 65336.861
AT ITER 1030 NEW BEST:: SOT 217384 SOS 79689 HAS SOPS 79689 HAS SOUS 65129 HAS SOUPS 65129 WITH SCORE 65208.689
AT ITER 1037 NEW BEST:: SOT 217187 SOS 79476 HAS SOPS 79476 HAS SOUS 65078 HAS SOUPS 65078 WITH SCORE 65157.476
AT ITER 1045 NEW BEST:: SOT 217152 SOS 79435 HAS SOPS 79435 HAS SOUS 65037 HAS SOUPS 65037 WITH SCORE 65116.435
AT ITER 1063 NEW BEST:: SOT 217177 SOS 79496 HAS SOPS 79496 HAS SOUS 65029 HAS SOUPS 65029 WITH SCORE 65108.496
AT ITER 1065 NEW BEST:: SOT 217206 SOS 79482 HAS SOPS 79482 HAS SOUS 65014 HAS SOUPS 65014 WITH SCORE 65093.482
AT ITER 1066 NEW BEST:: SOT 217044 SOS 79132 HAS SOPS 79132 HAS SOUS 64770 HAS SOUPS 64770 WITH SCORE 64849.132
AT ITER 1071 NEW BEST:: SOT 217057 SOS 79131 HAS SOPS 79131 HAS SOUS 64769 HAS SOUPS 64769 WITH SCORE 64848.131
AT ITER 1082 NEW BEST:: SOT 217064 SOS 79106 HAS SOPS 79106 HAS SOUS 64641 HAS SOUPS 64641 WITH SCORE 64720.106
AT ITER 1084 NEW BEST:: SOT 217128 SOS 79170 HAS SOPS 79170 HAS SOUS 64587 HAS SOUPS 64587 WITH SCORE 64666.17
AT ITER 1088 NEW BEST:: SOT 217094 SOS 79102 HAS SOPS 79102 HAS SOUS 64519 HAS SOUPS 64519 WITH SCORE 64598.102
AT ITER 1091 NEW BEST:: SOT 216997 SOS 78953 HAS SOPS 78953 HAS SOUS 64370 HAS SOUPS 64370 WITH SCORE 64448.953
AT ITER 1112 NEW BEST:: SOT 216899 SOS 78857 HAS SOPS 78857 HAS SOUS 64345 HAS SOUPS 64345 WITH SCORE 64423.857
AT ITER 1114 NEW BEST:: SOT 216715 SOS 78673 HAS SOPS 78673 HAS SOUS 64161 HAS SOUPS 64161 WITH SCORE 64239.673
AT ITER 1121 NEW BEST:: SOT 216715 SOS 78634 HAS SOPS 78634 HAS SOUS 64119 HAS SOUPS 64119 WITH SCORE 64197.634
AT ITER 1126 NEW BEST:: SOT 216714 SOS 78633 HAS SOPS 78633 HAS SOUS 64118 HAS SOUPS 64118 WITH SCORE 64196.633
AT ITER 1147 NEW BEST:: SOT 216713 SOS 78631 HAS SOPS 78631 HAS SOUS 64116 HAS SOUPS 64116 WITH SCORE 64194.631
AT ITER 1157 NEW BEST:: SOT 215731 SOS 78200 HAS SOPS 78200 HAS SOUS 63123 HAS SOUPS 63123 WITH SCORE 63201.2
AT ITER 1177 NEW BEST:: SOT 215698 SOS 78176 HAS SOPS 78176 HAS SOUS 63099 HAS SOUPS 63099 WITH SCORE 63177.176
AT ITER 1191 NEW BEST:: SOT 215567 SOS 78045 HAS SOPS 78045 HAS SOUS 62968 HAS SOUPS 62968 WITH SCORE 63046.045
AT ITER 1200 NEW BEST:: SOT 215514 SOS 77939 HAS SOPS 77939 HAS SOUS 62941 HAS SOUPS 62941 WITH SCORE 63018.939
AT ITER 1204 NEW BEST:: SOT 215514 SOS 77936 HAS SOPS 77936 HAS SOUS 62938 HAS SOUPS 62938 WITH SCORE 63015.936
AT ITER 1205 NEW BEST:: SOT 215376 SOS 77699 HAS SOPS 77699 HAS SOUS 62815 HAS SOUPS 62815 WITH SCORE 62892.699
AT ITER 1217 NEW BEST:: SOT 215204 SOS 77527 HAS SOPS 77527 HAS SOUS 62563 HAS SOUPS 62563 WITH SCORE 62640.527
AT ITER 1222 NEW BEST:: SOT 215204 SOS 77454 HAS SOPS 77454 HAS SOUS 62563 HAS SOUPS 62563 WITH SCORE 62640.454
AT ITER 1223 NEW BEST:: SOT 215304 SOS 77554 HAS SOPS 77554 HAS SOUS 62547 HAS SOUPS 62547 WITH SCORE 62624.554
AT ITER 1230 NEW BEST:: SOT 215201 SOS 77348 HAS SOPS 77348 HAS SOUS 62440 HAS SOUPS 62440 WITH SCORE 62517.348
AT ITER 1231 NEW BEST:: SOT 215181 SOS 77328 HAS SOPS 77328 HAS SOUS 62440 HAS SOUPS 62440 WITH SCORE 62517.328
AT ITER 1240 NEW BEST:: SOT 215055 SOS 77163 HAS SOPS 77163 HAS SOUS 62279 HAS SOUPS 62279 WITH SCORE 62356.163
AT ITER 1245 NEW BEST:: SOT 215050 SOS 77158 HAS SOPS 77158 HAS SOUS 62274 HAS SOUPS 62274 WITH SCORE 62351.158
AT ITER 1250 NEW BEST:: SOT 215000 SOS 77108 HAS SOPS 77108 HAS SOUS 62224 HAS SOUPS 62224 WITH SCORE 62301.108
AT ITER 1251 NEW BEST:: SOT 215000 SOS 77094 HAS SOPS 77094 HAS SOUS 62210 HAS SOUPS 62210 WITH SCORE 62287.094
AT ITER 1254 NEW BEST:: SOT 215000 SOS 77076 HAS SOPS 77076 HAS SOUS 62174 HAS SOUPS 62174 WITH SCORE 62251.076
AT ITER 1268 NEW BEST:: SOT 214710 SOS 76378 HAS SOPS 76378 HAS SOUS 62007 HAS SOUPS 62007 WITH SCORE 62083.378
AT ITER 1273 NEW BEST:: SOT 214462 SOS 76130 HAS SOPS 76130 HAS SOUS 61866 HAS SOUPS 61866 WITH SCORE 61942.13
AT ITER 1285 NEW BEST:: SOT 214184 SOS 75821 HAS SOPS 75821 HAS SOUS 61819 HAS SOUPS 61819 WITH SCORE 61894.821
AT ITER 1286 NEW BEST:: SOT 214087 SOS 75820 HAS SOPS 75820 HAS SOUS 61818 HAS SOUPS 61818 WITH SCORE 61893.82
AT ITER 1287 NEW BEST:: SOT 214063 SOS 75702 HAS SOPS 75702 HAS SOUS 61700 HAS SOUPS 61700 WITH SCORE 61775.702
AT ITER 1289 NEW BEST:: SOT 214061 SOS 75700 HAS SOPS 75700 HAS SOUS 61698 HAS SOUPS 61698 WITH SCORE 61773.7
AT ITER 1297 NEW BEST:: SOT 213931 SOS 75481 HAS SOPS 75481 HAS SOUS 61482 HAS SOUPS 61482 WITH SCORE 61557.481
AT ITER 1307 NEW BEST:: SOT 213915 SOS 75449 HAS SOPS 75449 HAS SOUS 61466 HAS SOUPS 61466 WITH SCORE 61541.449
AT ITER 1316 NEW BEST:: SOT 213881 SOS 75381 HAS SOPS 75381 HAS SOUS 61432 HAS SOUPS 61432 WITH SCORE 61507.381
AT ITER 1323 NEW BEST:: SOT 213821 SOS 75293 HAS SOPS 75293 HAS SOUS 61344 HAS SOUPS 61344 WITH SCORE 61419.293
AT ITER 1324 NEW BEST:: SOT 213825 SOS 75278 HAS SOPS 75278 HAS SOUS 61329 HAS SOUPS 61329 WITH SCORE 61404.278
AT ITER 1329 NEW BEST:: SOT 213779 SOS 75186 HAS SOPS 75186 HAS SOUS 61283 HAS SOUPS 61283 WITH SCORE 61358.186
AT ITER 1354 NEW BEST:: SOT 213779 SOS 75109 HAS SOPS 75109 HAS SOUS 61227 HAS SOUPS 61227 WITH SCORE 61302.109
AT ITER 1360 NEW BEST:: SOT 213741 SOS 75071 HAS SOPS 75071 HAS SOUS 61189 HAS SOUPS 61189 WITH SCORE 61264.071
AT ITER 1362 NEW BEST:: SOT 213607 SOS 74715 HAS SOPS 74715 HAS SOUS 60833 HAS SOUPS 60833 WITH SCORE 60907.715
AT ITER 1374 NEW BEST:: SOT 213466 SOS 74613 HAS SOPS 74613 HAS SOUS 60664 HAS SOUPS 60664 WITH SCORE 60738.613
AT ITER 1376 NEW BEST:: SOT 213394 SOS 74470 HAS SOPS 74470 HAS SOUS 60592 HAS SOUPS 60592 WITH SCORE 60666.47
AT ITER 1398 NEW BEST:: SOT 213232 SOS 74269 HAS SOPS 74269 HAS SOUS 60500 HAS SOUPS 60500 WITH SCORE 60574.269
AT ITER 1402 NEW BEST:: SOT 213140 SOS 74177 HAS SOPS 74177 HAS SOUS 60408 HAS SOUPS 60408 WITH SCORE 60482.177
AT ITER 1409 NEW BEST:: SOT 213101 SOS 74049 HAS SOPS 74049 HAS SOUS 60280 HAS SOUPS 60280 WITH SCORE 60354.049
AT ITER 1438 NEW BEST:: SOT 213089 SOS 74025 HAS SOPS 74025 HAS SOUS 60256 HAS SOUPS 60256 WITH SCORE 60330.025
AT ITER 1439 NEW BEST:: SOT 213089 SOS 73964 HAS SOPS 73964 HAS SOUS 60256 HAS SOUPS 60256 WITH SCORE 60329.964
AT ITER 1441 NEW BEST:: SOT 212938 SOS 73806 HAS SOPS 73806 HAS SOUS 60253 HAS SOUPS 60253 WITH SCORE 60326.806
AT ITER 1452 NEW BEST:: SOT 212898 SOS 73766 HAS SOPS 73766 HAS SOUS 60253 HAS SOUPS 60253 WITH SCORE 60326.766
AT ITER 1459 NEW BEST:: SOT 212885 SOS 73753 HAS SOPS 73753 HAS SOUS 60240 HAS SOUPS 60240 WITH SCORE 60313.753
AT ITER 1463 NEW BEST:: SOT 212844 SOS 73494 HAS SOPS 73494 HAS SOUS 59981 HAS SOUPS 59981 WITH SCORE 60054.494
AT ITER 1472 NEW BEST:: SOT 212754 SOS 73404 HAS SOPS 73404 HAS SOUS 59981 HAS SOUPS 59981 WITH SCORE 60054.404
AT ITER 1475 NEW BEST:: SOT 212625 SOS 73240 HAS SOPS 73240 HAS SOUS 59817 HAS SOUPS 59817 WITH SCORE 59890.24
AT ITER 1519 NEW BEST:: SOT 212573 SOS 73124 HAS SOPS 73124 HAS SOUS 59701 HAS SOUPS 59701 WITH SCORE 59774.124
AT ITER 1522 NEW BEST:: SOT 212547 SOS 73072 HAS SOPS 73072 HAS SOUS 59639 HAS SOUPS 59639 WITH SCORE 59712.072
AT ITER 1560 NEW BEST:: SOT 212484 SOS 72995 HAS SOPS 72995 HAS SOUS 59562 HAS SOUPS 59562 WITH SCORE 59634.995
AT ITER 1583 NEW BEST:: SOT 212445 SOS 72909 HAS SOPS 72909 HAS SOUS 59375 HAS SOUPS 59375 WITH SCORE 59447.909
AT ITER 1589 NEW BEST:: SOT 212445 SOS 72882 HAS SOPS 72882 HAS SOUS 59348 HAS SOUPS 59348 WITH SCORE 59420.882
AT ITER 1619 NEW BEST:: SOT 212354 SOS 73139 HAS SOPS 73139 HAS SOUS 59338 HAS SOUPS 59338 WITH SCORE 59411.139
AT ITER 1623 NEW BEST:: SOT 212300 SOS 73031 HAS SOPS 73031 HAS SOUS 59230 HAS SOUPS 59230 WITH SCORE 59303.031
AT ITER 1643 NEW BEST:: SOT 212289 SOS 72921 HAS SOPS 72921 HAS SOUS 59149 HAS SOUPS 59149 WITH SCORE 59221.921
AT ITER 1672 NEW BEST:: SOT 212283 SOS 72804 HAS SOPS 72804 HAS SOUS 59032 HAS SOUPS 59032 WITH SCORE 59104.804
AT ITER 1678 NEW BEST:: SOT 212283 SOS 72804 HAS SOPS 72804 HAS SOUS 59029 HAS SOUPS 59029 WITH SCORE 59101.804
AT ITER 1679 NEW BEST:: SOT 212127 SOS 72647 HAS SOPS 72647 HAS SOUS 59027 HAS SOUPS 59027 WITH SCORE 59099.647
AT ITER 1691 NEW BEST:: SOT 212097 SOS 72571 HAS SOPS 72571 HAS SOUS 58951 HAS SOUPS 58951 WITH SCORE 59023.571
AT ITER 1694 NEW BEST:: SOT 212276 SOS 72571 HAS SOPS 72571 HAS SOUS 58772 HAS SOUPS 58772 WITH SCORE 58844.571
AT ITER 1710 NEW BEST:: SOT 212105 SOS 72400 HAS SOPS 72400 HAS SOUS 58772 HAS SOUPS 58772 WITH SCORE 58844.4
AT ITER 1720 NEW BEST:: SOT 212068 SOS 72272 HAS SOPS 72272 HAS SOUS 58681 HAS SOUPS 58681 WITH SCORE 58753.272
AT ITER 1721 NEW BEST:: SOT 212124 SOS 72328 HAS SOPS 72328 HAS SOUS 58609 HAS SOUPS 58609 WITH SCORE 58681.328
AT ITER 1724 NEW BEST:: SOT 212124 SOS 72328 HAS SOPS 72328 HAS SOUS 58514 HAS SOUPS 58514 WITH SCORE 58586.328
AT ITER 1737 NEW BEST:: SOT 212113 SOS 72306 HAS SOPS 72306 HAS SOUS 58492 HAS SOUPS 58492 WITH SCORE 58564.306
AT ITER 1748 NEW BEST:: SOT 212113 SOS 72253 HAS SOPS 72253 HAS SOUS 58439 HAS SOUPS 58439 WITH SCORE 58511.253
AT ITER 1749 NEW BEST:: SOT 211916 SOS 72072 HAS SOPS 72072 HAS SOUS 58258 HAS SOUPS 58258 WITH SCORE 58330.072
AT ITER 1751 NEW BEST:: SOT 211902 SOS 72058 HAS SOPS 72058 HAS SOUS 58244 HAS SOUPS 58244 WITH SCORE 58316.058
AT ITER 1773 NEW BEST:: SOT 211845 SOS 71993 HAS SOPS 71993 HAS SOUS 58109 HAS SOUPS 58109 WITH SCORE 58180.993
AT ITER 1774 NEW BEST:: SOT 211786 SOS 71971 HAS SOPS 71971 HAS SOUS 58087 HAS SOUPS 58087 WITH SCORE 58158.971
AT ITER 1778 NEW BEST:: SOT 211754 SOS 71969 HAS SOPS 71969 HAS SOUS 58085 HAS SOUPS 58085 WITH SCORE 58156.969
AT ITER 1798 NEW BEST:: SOT 211727 SOS 71606 HAS SOPS 71606 HAS SOUS 57989 HAS SOUPS 57989 WITH SCORE 58060.606
AT ITER 1840 NEW BEST:: SOT 211712 SOS 71544 HAS SOPS 71544 HAS SOUS 57927 HAS SOUPS 57927 WITH SCORE 57998.544
AT ITER 1851 NEW BEST:: SOT 211690 SOS 71414 HAS SOPS 71414 HAS SOUS 57797 HAS SOUPS 57797 WITH SCORE 57868.414
AT ITER 1858 NEW BEST:: SOT 211767 SOS 71465 HAS SOPS 71465 HAS SOUS 57771 HAS SOUPS 57771 WITH SCORE 57842.465
AT ITER 1873 NEW BEST:: SOT 211815 SOS 71454 HAS SOPS 71454 HAS SOUS 57712 HAS SOUPS 57712 WITH SCORE 57783.454
AT ITER 1875 NEW BEST:: SOT 211815 SOS 71438 HAS SOPS 71438 HAS SOUS 57696 HAS SOUPS 57696 WITH SCORE 57767.438
AT ITER 1895 NEW BEST:: SOT 211815 SOS 71338 HAS SOPS 71338 HAS SOUS 57596 HAS SOUPS 57596 WITH SCORE 57667.338
AT ITER 1896 NEW BEST:: SOT 211831 SOS 71271 HAS SOPS 71271 HAS SOUS 57529 HAS SOUPS 57529 WITH SCORE 57600.271
AT ITER 1912 NEW BEST:: SOT 211781 SOS 71236 HAS SOPS 71236 HAS SOUS 57494 HAS SOUPS 57494 WITH SCORE 57565.236
AT ITER 1915 NEW BEST:: SOT 211733 SOS 71140 HAS SOPS 71140 HAS SOUS 57398 HAS SOUPS 57398 WITH SCORE 57469.14
AT ITER 1925 NEW BEST:: SOT 211721 SOS 71128 HAS SOPS 71128 HAS SOUS 57398 HAS SOUPS 57398 WITH SCORE 57469.128
AT ITER 1970 NEW BEST:: SOT 211590 SOS 71006 HAS SOPS 71006 HAS SOUS 57276 HAS SOUPS 57276 WITH SCORE 57347.006
AT ITER 1977 NEW BEST:: SOT 211551 SOS 70944 HAS SOPS 70944 HAS SOUS 57214 HAS SOUPS 57214 WITH SCORE 57284.944
AT ITER 1994 NEW BEST:: SOT 211486 SOS 70814 HAS SOPS 70814 HAS SOUS 57149 HAS SOUPS 57149 WITH SCORE 57219.814
AT ITER 1999 NEW BEST:: SOT 211442 SOS 70770 HAS SOPS 70770 HAS SOUS 57105 HAS SOUPS 57105 WITH SCORE 57175.77
AT ITER 2030 NEW BEST:: SOT 211462 SOS 70786 HAS SOPS 70786 HAS SOUS 57097 HAS SOUPS 57097 WITH SCORE 57167.786
AT ITER 2044 NEW BEST:: SOT 211459 SOS 70783 HAS SOPS 70783 HAS SOUS 57094 HAS SOUPS 57094 WITH SCORE 57164.783
AT ITER 2048 NEW BEST:: SOT 211437 SOS 70708 HAS SOPS 70708 HAS SOUS 57019 HAS SOUPS 57019 WITH SCORE 57089.708
AT ITER 2063 NEW BEST:: SOT 211387 SOS 70619 HAS SOPS 70619 HAS SOUS 56930 HAS SOUPS 56930 WITH SCORE 57000.619
AT ITER 2080 NEW BEST:: SOT 211387 SOS 70615 HAS SOPS 70615 HAS SOUS 56926 HAS SOUPS 56926 WITH SCORE 56996.615
AT ITER 2091 NEW BEST:: SOT 211258 SOS 70486 HAS SOPS 70486 HAS SOUS 56926 HAS SOUPS 56926 WITH SCORE 56996.486
AT ITER 2093 NEW BEST:: SOT 211345 SOS 70538 HAS SOPS 70538 HAS SOUS 56805 HAS SOUPS 56805 WITH SCORE 56875.538
AT ITER 2128 NEW BEST:: SOT 211228 SOS 70343 HAS SOPS 70343 HAS SOUS 56784 HAS SOUPS 56784 WITH SCORE 56854.343
AT ITER 2135 NEW BEST:: SOT 211197 SOS 70311 HAS SOPS 70311 HAS SOUS 56783 HAS SOUPS 56783 WITH SCORE 56853.311
AT ITER 2137 NEW BEST:: SOT 211268 SOS 70426 HAS SOPS 70426 HAS SOUS 56764 HAS SOUPS 56764 WITH SCORE 56834.426
AT ITER 2153 NEW BEST:: SOT 211249 SOS 70222 HAS SOPS 70222 HAS SOUS 56560 HAS SOUPS 56560 WITH SCORE 56630.222
AT ITER 2155 NEW BEST:: SOT 211118 SOS 70185 HAS SOPS 70185 HAS SOUS 56536 HAS SOUPS 56536 WITH SCORE 56606.185
AT ITER 2164 NEW BEST:: SOT 211183 SOS 70261 HAS SOPS 70261 HAS SOUS 56534 HAS SOUPS 56534 WITH SCORE 56604.261
AT ITER 2169 NEW BEST:: SOT 211082 SOS 70247 HAS SOPS 70247 HAS SOUS 56496 HAS SOUPS 56496 WITH SCORE 56566.247
AT ITER 2174 NEW BEST:: SOT 211082 SOS 70243 HAS SOPS 70243 HAS SOUS 56492 HAS SOUPS 56492 WITH SCORE 56562.243
AT ITER 2201 NEW BEST:: SOT 211141 SOS 70361 HAS SOPS 70361 HAS SOUS 56487 HAS SOUPS 56487 WITH SCORE 56557.361
AT ITER 2221 NEW BEST:: SOT 211140 SOS 70359 HAS SOPS 70359 HAS SOUS 56485 HAS SOUPS 56485 WITH SCORE 56555.359
AT ITER 2244 NEW BEST:: SOT 211037 SOS 70269 HAS SOPS 70269 HAS SOUS 56464 HAS SOUPS 56464 WITH SCORE 56534.269
AT ITER 2258 NEW BEST:: SOT 211047 SOS 70230 HAS SOPS 70230 HAS SOUS 56425 HAS SOUPS 56425 WITH SCORE 56495.23
AT ITER 2261 NEW BEST:: SOT 211047 SOS 70229 HAS SOPS 70229 HAS SOUS 56424 HAS SOUPS 56424 WITH SCORE 56494.229
AT ITER 2281 NEW BEST:: SOT 211048 SOS 70227 HAS SOPS 70227 HAS SOUS 56422 HAS SOUPS 56422 WITH SCORE 56492.227
AT ITER 2295 NEW BEST:: SOT 210876 SOS 69917 HAS SOPS 69917 HAS SOUS 56112 HAS SOUPS 56112 WITH SCORE 56181.917
AT ITER 2298 NEW BEST:: SOT 210919 SOS 69929 HAS SOPS 69929 HAS SOUS 56033 HAS SOUPS 56033 WITH SCORE 56102.929
AT ITER 2299 NEW BEST:: SOT 210957 SOS 69866 HAS SOPS 69866 HAS SOUS 55970 HAS SOUPS 55970 WITH SCORE 56039.866
AT ITER 2305 NEW BEST:: SOT 210911 SOS 69758 HAS SOPS 69758 HAS SOUS 55878 HAS SOUPS 55878 WITH SCORE 55947.758
AT ITER 2307 NEW BEST:: SOT 210834 SOS 69613 HAS SOPS 69613 HAS SOUS 55650 HAS SOUPS 55650 WITH SCORE 55719.613
AT ITER 2311 NEW BEST:: SOT 210833 SOS 69589 HAS SOPS 69589 HAS SOUS 55627 HAS SOUPS 55627 WITH SCORE 55696.589
AT ITER 2315 NEW BEST:: SOT 210831 SOS 69419 HAS SOPS 69419 HAS SOUS 55457 HAS SOUPS 55457 WITH SCORE 55526.419
AT ITER 2336 NEW BEST:: SOT 210827 SOS 69411 HAS SOPS 69411 HAS SOUS 55449 HAS SOUPS 55449 WITH SCORE 55518.411
AT ITER 2341 NEW BEST:: SOT 210815 SOS 69399 HAS SOPS 69399 HAS SOUS 55437 HAS SOUPS 55437 WITH SCORE 55506.399
AT ITER 2346 NEW BEST:: SOT 211091 SOS 69351 HAS SOPS 69351 HAS SOUS 55389 HAS SOUPS 55389 WITH SCORE 55458.351
AT ITER 2352 NEW BEST:: SOT 211091 SOS 69236 HAS SOPS 69236 HAS SOUS 55274 HAS SOUPS 55274 WITH SCORE 55343.236
AT ITER 2363 NEW BEST:: SOT 211070 SOS 69194 HAS SOPS 69194 HAS SOUS 55232 HAS SOUPS 55232 WITH SCORE 55301.194
AT ITER 2364 NEW BEST:: SOT 210784 SOS 69044 HAS SOPS 69044 HAS SOUS 55082 HAS SOUPS 55082 WITH SCORE 55151.044
AT ITER 2379 NEW BEST:: SOT 210784 SOS 68966 HAS SOPS 68966 HAS SOUS 55004 HAS SOUPS 55004 WITH SCORE 55072.966
AT ITER 2385 NEW BEST:: SOT 210892 SOS 68964 HAS SOPS 68964 HAS SOUS 55002 HAS SOUPS 55002 WITH SCORE 55070.964
AT ITER 2412 NEW BEST:: SOT 210887 SOS 68954 HAS SOPS 68954 HAS SOUS 54992 HAS SOUPS 54992 WITH SCORE 55060.954
AT ITER 2413 NEW BEST:: SOT 210791 SOS 68872 HAS SOPS 68872 HAS SOUS 54910 HAS SOUPS 54910 WITH SCORE 54978.872
AT ITER 2441 NEW BEST:: SOT 210791 SOS 68843 HAS SOPS 68843 HAS SOUS 54881 HAS SOUPS 54881 WITH SCORE 54949.843
AT ITER 2446 NEW BEST:: SOT 210770 SOS 68801 HAS SOPS 68801 HAS SOUS 54860 HAS SOUPS 54860 WITH SCORE 54928.801
AT ITER 2467 NEW BEST:: SOT 210770 SOS 68770 HAS SOPS 68770 HAS SOUS 54832 HAS SOUPS 54832 WITH SCORE 54900.77
AT ITER 2473 NEW BEST:: SOT 210759 SOS 68759 HAS SOPS 68759 HAS SOUS 54832 HAS SOUPS 54832 WITH SCORE 54900.759
AT ITER 2474 NEW BEST:: SOT 210679 SOS 68599 HAS SOPS 68599 HAS SOUS 54744 HAS SOUPS 54744 WITH SCORE 54812.599
AT ITER 2475 NEW BEST:: SOT 210575 SOS 68572 HAS SOPS 68572 HAS SOUS 54563 HAS SOUPS 54563 WITH SCORE 54631.572
AT ITER 2490 NEW BEST:: SOT 210548 SOS 68532 HAS SOPS 68532 HAS SOUS 54523 HAS SOUPS 54523 WITH SCORE 54591.532
AT ITER 2491 NEW BEST:: SOT 210524 SOS 68450 HAS SOPS 68450 HAS SOUS 54469 HAS SOUPS 54469 WITH SCORE 54537.45
AT ITER 2501 NEW BEST:: SOT 210524 SOS 68450 HAS SOPS 68450 HAS SOUS 54416 HAS SOUPS 54416 WITH SCORE 54484.45
AT ITER 2503 NEW BEST:: SOT 210301 SOS 68206 HAS SOPS 68206 HAS SOUS 54167 HAS SOUPS 54167 WITH SCORE 54235.206
AT ITER 2609 NEW BEST:: SOT 210328 SOS 68139 HAS SOPS 68139 HAS SOUS 54100 HAS SOUPS 54100 WITH SCORE 54168.139
AT ITER 2613 NEW BEST:: SOT 210328 SOS 68131 HAS SOPS 68131 HAS SOUS 54092 HAS SOUPS 54092 WITH SCORE 54160.131
AT ITER 2628 NEW BEST:: SOT 210290 SOS 68093 HAS SOPS 68093 HAS SOUS 54073 HAS SOUPS 54073 WITH SCORE 54141.093
AT ITER 2634 NEW BEST:: SOT 210165 SOS 67843 HAS SOPS 67843 HAS SOUS 53948 HAS SOUPS 53948 WITH SCORE 54015.843
AT ITER 2671 NEW BEST:: SOT 210129 SOS 67807 HAS SOPS 67807 HAS SOUS 53912 HAS SOUPS 53912 WITH SCORE 53979.807
AT ITER 2682 NEW BEST:: SOT 210079 SOS 67707 HAS SOPS 67707 HAS SOUS 53812 HAS SOUPS 53812 WITH SCORE 53879.707
AT ITER 2724 NEW BEST:: SOT 210079 SOS 67661 HAS SOPS 67661 HAS SOUS 53812 HAS SOUPS 53812 WITH SCORE 53879.661
AT ITER 2744 NEW BEST:: SOT 210074 SOS 67650 HAS SOPS 67650 HAS SOUS 53801 HAS SOUPS 53801 WITH SCORE 53868.65
AT ITER 2758 NEW BEST:: SOT 210019 SOS 67550 HAS SOPS 67550 HAS SOUS 53701 HAS SOUPS 53701 WITH SCORE 53768.55
AT ITER 2779 NEW BEST:: SOT 209895 SOS 67426 HAS SOPS 67426 HAS SOUS 53577 HAS SOUPS 53577 WITH SCORE 53644.426
AT ITER 2780 NEW BEST:: SOT 209787 SOS 67605 HAS SOPS 67605 HAS SOUS 53510 HAS SOUPS 53510 WITH SCORE 53577.605
AT ITER 2784 NEW BEST:: SOT 209773 SOS 67596 HAS SOPS 67596 HAS SOUS 53501 HAS SOUPS 53501 WITH SCORE 53568.596
AT ITER 2802 NEW BEST:: SOT 209690 SOS 67446 HAS SOPS 67446 HAS SOUS 53351 HAS SOUPS 53351 WITH SCORE 53418.446
AT ITER 2844 NEW BEST:: SOT 209638 SOS 67532 HAS SOPS 67532 HAS SOUS 53337 HAS SOUPS 53337 WITH SCORE 53404.532
AT ITER 2847 NEW BEST:: SOT 209606 SOS 67230 HAS SOPS 67230 HAS SOUS 53290 HAS SOUPS 53290 WITH SCORE 53357.23
AT ITER 2855 NEW BEST:: SOT 209525 SOS 67068 HAS SOPS 67068 HAS SOUS 53128 HAS SOUPS 53128 WITH SCORE 53195.068
AT ITER 2865 NEW BEST:: SOT 209395 SOS 66773 HAS SOPS 66773 HAS SOUS 52833 HAS SOUPS 52833 WITH SCORE 52899.773
AT ITER 2870 NEW BEST:: SOT 209371 SOS 66691 HAS SOPS 66691 HAS SOUS 52775 HAS SOUPS 52775 WITH SCORE 52841.691
AT ITER 2881 NEW BEST:: SOT 209258 SOS 66578 HAS SOPS 66578 HAS SOUS 52662 HAS SOUPS 52662 WITH SCORE 52728.578
AT ITER 2942 NEW BEST:: SOT 209215 SOS 66476 HAS SOPS 66476 HAS SOUS 52488 HAS SOUPS 52488 WITH SCORE 52554.476
AT ITER 2948 NEW BEST:: SOT 209166 SOS 66414 HAS SOPS 66414 HAS SOUS 52462 HAS SOUPS 52462 WITH SCORE 52528.414
AT ITER 2952 NEW BEST:: SOT 209084 SOS 66250 HAS SOPS 66250 HAS SOUS 52380 HAS SOUPS 52380 WITH SCORE 52446.25
AT ITER 2960 NEW BEST:: SOT 209051 SOS 66217 HAS SOPS 66217 HAS SOUS 52347 HAS SOUPS 52347 WITH SCORE 52413.217
AT ITER 2975 NEW BEST:: SOT 209012 SOS 66178 HAS SOPS 66178 HAS SOUS 52308 HAS SOUPS 52308 WITH SCORE 52374.178
AT ITER 2986 NEW BEST:: SOT 209012 SOS 66162 HAS SOPS 66162 HAS SOUS 52292 HAS SOUPS 52292 WITH SCORE 52358.162
AT ITER 3025 NEW BEST:: SOT 209012 SOS 66158 HAS SOPS 66158 HAS SOUS 52288 HAS SOUPS 52288 WITH SCORE 52354.158
AT ITER 3052 NEW BEST:: SOT 209018 SOS 65932 HAS SOPS 65932 HAS SOUS 52062 HAS SOUPS 52062 WITH SCORE 52127.932
AT ITER 3058 NEW BEST:: SOT 209017 SOS 65931 HAS SOPS 65931 HAS SOUS 52061 HAS SOUPS 52061 WITH SCORE 52126.931
AT ITER 3117 NEW BEST:: SOT 208994 SOS 65908 HAS SOPS 65908 HAS SOUS 52038 HAS SOUPS 52038 WITH SCORE 52103.908
AT ITER 3133 NEW BEST:: SOT 208980 SOS 65880 HAS SOPS 65880 HAS SOUS 52010 HAS SOUPS 52010 WITH SCORE 52075.88
AT ITER 3135 NEW BEST:: SOT 208947 SOS 65824 HAS SOPS 65824 HAS SOUS 51954 HAS SOUPS 51954 WITH SCORE 52019.824
AT ITER 3153 NEW BEST:: SOT 208945 SOS 65820 HAS SOPS 65820 HAS SOUS 51950 HAS SOUPS 51950 WITH SCORE 52015.82
AT ITER 3154 NEW BEST:: SOT 208945 SOS 65813 HAS SOPS 65813 HAS SOUS 51943 HAS SOUPS 51943 WITH SCORE 52008.813
AT ITER 3171 NEW BEST:: SOT 208916 SOS 65769 HAS SOPS 65769 HAS SOUS 51899 HAS SOUPS 51899 WITH SCORE 51964.769
AT ITER 3206 NEW BEST:: SOT 208874 SOS 65685 HAS SOPS 65685 HAS SOUS 51815 HAS SOUPS 51815 WITH SCORE 51880.685
AT ITER 3215 NEW BEST:: SOT 208874 SOS 65685 HAS SOPS 65685 HAS SOUS 51776 HAS SOUPS 51776 WITH SCORE 51841.685
AT ITER 3243 NEW BEST:: SOT 208760 SOS 65475 HAS SOPS 65475 HAS SOUS 51683 HAS SOUPS 51683 WITH SCORE 51748.475
AT ITER 3246 NEW BEST:: SOT 208841 SOS 65233 HAS SOPS 65233 HAS SOUS 51455 HAS SOUPS 51455 WITH SCORE 51520.233
AT ITER 3249 NEW BEST:: SOT 208841 SOS 65209 HAS SOPS 65209 HAS SOUS 51431 HAS SOUPS 51431 WITH SCORE 51496.209
AT ITER 3278 NEW BEST:: SOT 208807 SOS 65175 HAS SOPS 65175 HAS SOUS 51397 HAS SOUPS 51397 WITH SCORE 51462.175
AT ITER 3293 NEW BEST:: SOT 208709 SOS 64979 HAS SOPS 64979 HAS SOUS 51327 HAS SOUPS 51327 WITH SCORE 51391.979
AT ITER 3328 NEW BEST:: SOT 208708 SOS 64977 HAS SOPS 64977 HAS SOUS 51325 HAS SOUPS 51325 WITH SCORE 51389.977
AT ITER 3340 NEW BEST:: SOT 208706 SOS 64973 HAS SOPS 64973 HAS SOUS 51321 HAS SOUPS 51321 WITH SCORE 51385.973
AT ITER 3390 NEW BEST:: SOT 208718 SOS 64952 HAS SOPS 64952 HAS SOUS 51300 HAS SOUPS 51300 WITH SCORE 51364.952
AT ITER 3401 NEW BEST:: SOT 208692 SOS 64900 HAS SOPS 64900 HAS SOUS 51246 HAS SOUPS 51246 WITH SCORE 51310.9
AT ITER 3408 NEW BEST:: SOT 208712 SOS 64886 HAS SOPS 64886 HAS SOUS 51232 HAS SOUPS 51232 WITH SCORE 51296.886
AT ITER 3434 NEW BEST:: SOT 208712 SOS 64975 HAS SOPS 64975 HAS SOUS 51159 HAS SOUPS 51159 WITH SCORE 51223.975
AT ITER 3451 NEW BEST:: SOT 208712 SOS 64856 HAS SOPS 64856 HAS SOUS 51090 HAS SOUPS 51090 WITH SCORE 51154.856
AT ITER 3465 NEW BEST:: SOT 208684 SOS 64800 HAS SOPS 64800 HAS SOUS 51034 HAS SOUPS 51034 WITH SCORE 51098.8
AT ITER 3466 NEW BEST:: SOT 208677 SOS 64786 HAS SOPS 64786 HAS SOUS 51020 HAS SOUPS 51020 WITH SCORE 51084.786
AT ITER 3467 NEW BEST:: SOT 208608 SOS 64726 HAS SOPS 64726 HAS SOUS 50960 HAS SOUPS 50960 WITH SCORE 51024.726
AT ITER 3473 NEW BEST:: SOT 208588 SOS 64686 HAS SOPS 64686 HAS SOUS 50942 HAS SOUPS 50942 WITH SCORE 51006.686
AT ITER 3476 NEW BEST:: SOT 208588 SOS 64666 HAS SOPS 64666 HAS SOUS 50922 HAS SOUPS 50922 WITH SCORE 50986.666
AT ITER 3499 NEW BEST:: SOT 208588 SOS 64654 HAS SOPS 64654 HAS SOUS 50910 HAS SOUPS 50910 WITH SCORE 50974.654
AT ITER 3516 NEW BEST:: SOT 208538 SOS 64566 HAS SOPS 64566 HAS SOUS 50860 HAS SOUPS 50860 WITH SCORE 50924.566
AT ITER 3522 NEW BEST:: SOT 208500 SOS 64305 HAS SOPS 64305 HAS SOUS 50646 HAS SOUPS 50646 WITH SCORE 50710.305
AT ITER 3538 NEW BEST:: SOT 208533 SOS 64186 HAS SOPS 64186 HAS SOUS 50527 HAS SOUPS 50527 WITH SCORE 50591.186
AT ITER 3557 NEW BEST:: SOT 208548 SOS 64145 HAS SOPS 64145 HAS SOUS 50486 HAS SOUPS 50486 WITH SCORE 50550.145
AT ITER 3573 NEW BEST:: SOT 208546 SOS 64135 HAS SOPS 64135 HAS SOUS 50476 HAS SOUPS 50476 WITH SCORE 50540.135
AT ITER 3576 NEW BEST:: SOT 208536 SOS 64115 HAS SOPS 64115 HAS SOUS 50456 HAS SOUPS 50456 WITH SCORE 50520.115
AT ITER 3616 NEW BEST:: SOT 208536 SOS 64075 HAS SOPS 64075 HAS SOUS 50416 HAS SOUPS 50416 WITH SCORE 50480.075
AT ITER 3640 NEW BEST:: SOT 208548 SOS 64027 HAS SOPS 64027 HAS SOUS 50368 HAS SOUPS 50368 WITH SCORE 50432.027
AT ITER 3675 NEW BEST:: SOT 208518 SOS 63997 HAS SOPS 63997 HAS SOUS 50338 HAS SOUPS 50338 WITH SCORE 50401.997
AT ITER 3681 NEW BEST:: SOT 208499 SOS 63978 HAS SOPS 63978 HAS SOUS 50338 HAS SOUPS 50338 WITH SCORE 50401.978
AT ITER 3694 NEW BEST:: SOT 208498 SOS 63975 HAS SOPS 63975 HAS SOUS 50335 HAS SOUPS 50335 WITH SCORE 50398.975
AT ITER 3697 NEW BEST:: SOT 208498 SOS 63973 HAS SOPS 63973 HAS SOUS 50252 HAS SOUPS 50252 WITH SCORE 50315.973
AT ITER 3707 NEW BEST:: SOT 208442 SOS 63972 HAS SOPS 63972 HAS SOUS 50251 HAS SOUPS 50251 WITH SCORE 50314.972
AT ITER 3724 NEW BEST:: SOT 208442 SOS 63969 HAS SOPS 63969 HAS SOUS 50248 HAS SOUPS 50248 WITH SCORE 50311.969
AT ITER 3731 NEW BEST:: SOT 208440 SOS 63966 HAS SOPS 63966 HAS SOUS 50246 HAS SOUPS 50246 WITH SCORE 50309.966
AT ITER 3734 NEW BEST:: SOT 208425 SOS 63946 HAS SOPS 63946 HAS SOUS 50226 HAS SOUPS 50226 WITH SCORE 50289.946
AT ITER 3736 NEW BEST:: SOT 208424 SOS 63944 HAS SOPS 63944 HAS SOUS 50224 HAS SOUPS 50224 WITH SCORE 50287.944
AT ITER 3744 NEW BEST:: SOT 208377 SOS 63897 HAS SOPS 63897 HAS SOUS 50224 HAS SOUPS 50224 WITH SCORE 50287.897
AT ITER 3751 NEW BEST:: SOT 208277 SOS 63855 HAS SOPS 63855 HAS SOUS 50182 HAS SOUPS 50182 WITH SCORE 50245.855
AT ITER 3806 NEW BEST:: SOT 208207 SOS 63519 HAS SOPS 63519 HAS SOUS 49951 HAS SOUPS 49951 WITH SCORE 50014.519
AT ITER 3835 NEW BEST:: SOT 208137 SOS 63379 HAS SOPS 63379 HAS SOUS 49737 HAS SOUPS 49737 WITH SCORE 49800.379
AT ITER 3852 NEW BEST:: SOT 208274 SOS 63501 HAS SOPS 63501 HAS SOUS 49722 HAS SOUPS 49722 WITH SCORE 49785.501
AT ITER 3864 NEW BEST:: SOT 208263 SOS 63479 HAS SOPS 63479 HAS SOUS 49690 HAS SOUPS 49690 WITH SCORE 49753.479
AT ITER 3879 NEW BEST:: SOT 208233 SOS 63449 HAS SOPS 63449 HAS SOUS 49660 HAS SOUPS 49660 WITH SCORE 49723.449
AT ITER 3882 NEW BEST:: SOT 208223 SOS 63439 HAS SOPS 63439 HAS SOUS 49650 HAS SOUPS 49650 WITH SCORE 49713.439
AT ITER 3899 NEW BEST:: SOT 208205 SOS 63376 HAS SOPS 63376 HAS SOUS 49587 HAS SOUPS 49587 WITH SCORE 49650.376
AT ITER 3907 NEW BEST:: SOT 208109 SOS 63280 HAS SOPS 63280 HAS SOUS 49587 HAS SOUPS 49587 WITH SCORE 49650.28
AT ITER 3918 NEW BEST:: SOT 208075 SOS 63495 HAS SOPS 63495 HAS SOUS 49539 HAS SOUPS 49539 WITH SCORE 49602.495
AT ITER 3919 NEW BEST:: SOT 208053 SOS 63473 HAS SOPS 63473 HAS SOUS 49517 HAS SOUPS 49517 WITH SCORE 49580.473
AT ITER 3944 NEW BEST:: SOT 208041 SOS 63461 HAS SOPS 63461 HAS SOUS 49505 HAS SOUPS 49505 WITH SCORE 49568.461
AT ITER 3961 NEW BEST:: SOT 208060 SOS 63452 HAS SOPS 63452 HAS SOUS 49496 HAS SOUPS 49496 WITH SCORE 49559.452
AT ITER 3972 NEW BEST:: SOT 208054 SOS 63434 HAS SOPS 63434 HAS SOUS 49484 HAS SOUPS 49484 WITH SCORE 49547.434
AT ITER 3980 NEW BEST:: SOT 208054 SOS 63416 HAS SOPS 63416 HAS SOUS 49483 HAS SOUPS 49483 WITH SCORE 49546.416
AT ITER 4000 NEW BEST:: SOT 208054 SOS 63416 HAS SOPS 63416 HAS SOUS 49464 HAS SOUPS 49464 WITH SCORE 49527.416
AT ITER 4007 NEW BEST:: SOT 207998 SOS 63360 HAS SOPS 63360 HAS SOUS 49408 HAS SOUPS 49408 WITH SCORE 49471.36
AT ITER 4011 NEW BEST:: SOT 207982 SOS 63305 HAS SOPS 63305 HAS SOUS 49353 HAS SOUPS 49353 WITH SCORE 49416.305
AT ITER 4027 NEW BEST:: SOT 208024 SOS 63305 HAS SOPS 63305 HAS SOUS 49311 HAS SOUPS 49311 WITH SCORE 49374.305
AT ITER 4028 NEW BEST:: SOT 208096 SOS 63226 HAS SOPS 63226 HAS SOUS 49232 HAS SOUPS 49232 WITH SCORE 49295.226
AT ITER 4030 NEW BEST:: SOT 208092 SOS 63001 HAS SOPS 63001 HAS SOUS 49089 HAS SOUPS 49089 WITH SCORE 49152.001
AT ITER 4045 NEW BEST:: SOT 208077 SOS 62986 HAS SOPS 62986 HAS SOUS 49074 HAS SOUPS 49074 WITH SCORE 49136.986
AT ITER 4080 NEW BEST:: SOT 208056 SOS 62945 HAS SOPS 62945 HAS SOUS 49033 HAS SOUPS 49033 WITH SCORE 49095.945
AT ITER 4081 NEW BEST:: SOT 208055 SOS 62943 HAS SOPS 62943 HAS SOUS 49031 HAS SOUPS 49031 WITH SCORE 49093.943
AT ITER 4093 NEW BEST:: SOT 208049 SOS 63104 HAS SOPS 63104 HAS SOUS 49019 HAS SOUPS 49019 WITH SCORE 49082.104
AT ITER 4101 NEW BEST:: SOT 208041 SOS 63096 HAS SOPS 63096 HAS SOUS 49011 HAS SOUPS 49011 WITH SCORE 49074.096
AT ITER 4104 NEW BEST:: SOT 208040 SOS 63094 HAS SOPS 63094 HAS SOUS 49009 HAS SOUPS 49009 WITH SCORE 49072.094
AT ITER 4122 NEW BEST:: SOT 208012 SOS 63066 HAS SOPS 63066 HAS SOUS 49009 HAS SOUPS 49009 WITH SCORE 49072.066
AT ITER 4125 NEW BEST:: SOT 207969 SOS 63141 HAS SOPS 63141 HAS SOUS 48908 HAS SOUPS 48908 WITH SCORE 48971.141
AT ITER 4131 NEW BEST:: SOT 207969 SOS 63118 HAS SOPS 63118 HAS SOUS 48885 HAS SOUPS 48885 WITH SCORE 48948.118
AT ITER 4193 NEW BEST:: SOT 207945 SOS 63134 HAS SOPS 63134 HAS SOUS 48861 HAS SOUPS 48861 WITH SCORE 48924.134
AT ITER 4196 NEW BEST:: SOT 207880 SOS 63069 HAS SOPS 63069 HAS SOUS 48796 HAS SOUPS 48796 WITH SCORE 48859.069
AT ITER 4205 NEW BEST:: SOT 207906 SOS 63040 HAS SOPS 63040 HAS SOUS 48767 HAS SOUPS 48767 WITH SCORE 48830.04
AT ITER 4211 NEW BEST:: SOT 207904 SOS 63036 HAS SOPS 63036 HAS SOUS 48763 HAS SOUPS 48763 WITH SCORE 48826.036
AT ITER 4212 NEW BEST:: SOT 207881 SOS 62933 HAS SOPS 62933 HAS SOUS 48580 HAS SOUPS 48580 WITH SCORE 48642.933
AT ITER 4218 NEW BEST:: SOT 207879 SOS 62799 HAS SOPS 62799 HAS SOUS 48446 HAS SOUPS 48446 WITH SCORE 48508.799
AT ITER 4225 NEW BEST:: SOT 207877 SOS 62798 HAS SOPS 62798 HAS SOUS 48445 HAS SOUPS 48445 WITH SCORE 48507.798
AT ITER 4233 NEW BEST:: SOT 207856 SOS 62623 HAS SOPS 62623 HAS SOUS 48270 HAS SOUPS 48270 WITH SCORE 48332.623
AT ITER 4251 NEW BEST:: SOT 207856 SOS 62613 HAS SOPS 62613 HAS SOUS 48260 HAS SOUPS 48260 WITH SCORE 48322.613
AT ITER 4256 NEW BEST:: SOT 207828 SOS 62567 HAS SOPS 62567 HAS SOUS 48214 HAS SOUPS 48214 WITH SCORE 48276.567
AT ITER 4264 NEW BEST:: SOT 207828 SOS 62566 HAS SOPS 62566 HAS SOUS 48213 HAS SOUPS 48213 WITH SCORE 48275.566
AT ITER 4286 NEW BEST:: SOT 207828 SOS 62538 HAS SOPS 62538 HAS SOUS 48185 HAS SOUPS 48185 WITH SCORE 48247.538
AT ITER 4288 NEW BEST:: SOT 207814 SOS 62510 HAS SOPS 62510 HAS SOUS 48157 HAS SOUPS 48157 WITH SCORE 48219.51
AT ITER 4290 NEW BEST:: SOT 207808 SOS 62504 HAS SOPS 62504 HAS SOUS 48151 HAS SOUPS 48151 WITH SCORE 48213.504
AT ITER 4300 NEW BEST:: SOT 207952 SOS 62584 HAS SOPS 62584 HAS SOUS 48046 HAS SOUPS 48046 WITH SCORE 48108.584
AT ITER 4306 NEW BEST:: SOT 207933 SOS 62546 HAS SOPS 62546 HAS SOUS 47995 HAS SOUPS 47995 WITH SCORE 48057.546
AT ITER 4316 NEW BEST:: SOT 207918 SOS 62516 HAS SOPS 62516 HAS SOUS 47980 HAS SOUPS 47980 WITH SCORE 48042.516
AT ITER 4319 NEW BEST:: SOT 207848 SOS 62446 HAS SOPS 62446 HAS SOUS 47910 HAS SOUPS 47910 WITH SCORE 47972.446
AT ITER 4366 NEW BEST:: SOT 207848 SOS 62446 HAS SOPS 62446 HAS SOUS 47893 HAS SOUPS 47893 WITH SCORE 47955.446
AT ITER 4375 NEW BEST:: SOT 207891 SOS 62439 HAS SOPS 62439 HAS SOUS 47886 HAS SOUPS 47886 WITH SCORE 47948.439
AT ITER 4388 NEW BEST:: SOT 207832 SOS 62303 HAS SOPS 62303 HAS SOUS 47750 HAS SOUPS 47750 WITH SCORE 47812.303
AT ITER 4421 NEW BEST:: SOT 207791 SOS 62261 HAS SOPS 62261 HAS SOUS 47708 HAS SOUPS 47708 WITH SCORE 47770.261
AT ITER 4422 NEW BEST:: SOT 207790 SOS 62218 HAS SOPS 62218 HAS SOUS 47665 HAS SOUPS 47665 WITH SCORE 47727.218
AT ITER 4429 NEW BEST:: SOT 207604 SOS 61999 HAS SOPS 61999 HAS SOUS 47645 HAS SOUPS 47645 WITH SCORE 47706.999
AT ITER 4439 NEW BEST:: SOT 207575 SOS 61970 HAS SOPS 61970 HAS SOUS 47616 HAS SOUPS 47616 WITH SCORE 47677.97
AT ITER 4443 NEW BEST:: SOT 207576 SOS 61964 HAS SOPS 61964 HAS SOUS 47610 HAS SOUPS 47610 WITH SCORE 47671.964
AT ITER 4447 NEW BEST:: SOT 207389 SOS 61666 HAS SOPS 61666 HAS SOUS 47312 HAS SOUPS 47312 WITH SCORE 47373.666
AT ITER 4466 NEW BEST:: SOT 207389 SOS 61666 HAS SOPS 61666 HAS SOUS 47275 HAS SOUPS 47275 WITH SCORE 47336.666
AT ITER 4478 NEW BEST:: SOT 207389 SOS 61659 HAS SOPS 61659 HAS SOUS 47268 HAS SOUPS 47268 WITH SCORE 47329.659
AT ITER 4507 NEW BEST:: SOT 207378 SOS 61568 HAS SOPS 61568 HAS SOUS 47177 HAS SOUPS 47177 WITH SCORE 47238.568
AT ITER 4552 NEW BEST:: SOT 207376 SOS 61566 HAS SOPS 61566 HAS SOUS 47175 HAS SOUPS 47175 WITH SCORE 47236.566
AT ITER 4585 NEW BEST:: SOT 207376 SOS 61547 HAS SOPS 61547 HAS SOUS 47156 HAS SOUPS 47156 WITH SCORE 47217.547
AT ITER 4592 NEW BEST:: SOT 207376 SOS 61534 HAS SOPS 61534 HAS SOUS 47143 HAS SOUPS 47143 WITH SCORE 47204.534
AT ITER 4598 NEW BEST:: SOT 207339 SOS 61497 HAS SOPS 61497 HAS SOUS 47143 HAS SOUPS 47143 WITH SCORE 47204.497
AT ITER 4632 NEW BEST:: SOT 207270 SOS 62845 HAS SOPS 62845 HAS SOUS 47117 HAS SOUPS 47117 WITH SCORE 47179.845
AT ITER 4633 NEW BEST:: SOT 207178 SOS 62761 HAS SOPS 62761 HAS SOUS 47033 HAS SOUPS 47033 WITH SCORE 47095.761
AT ITER 4664 NEW BEST:: SOT 207173 SOS 62751 HAS SOPS 62751 HAS SOUS 47023 HAS SOUPS 47023 WITH SCORE 47085.751
AT ITER 4672 NEW BEST:: SOT 207208 SOS 62786 HAS SOPS 62786 HAS SOUS 47012 HAS SOUPS 47012 WITH SCORE 47074.786
AT ITER 4711 NEW BEST:: SOT 207104 SOS 62764 HAS SOPS 62764 HAS SOUS 46977 HAS SOUPS 46977 WITH SCORE 47039.764
AT ITER 4728 NEW BEST:: SOT 207069 SOS 62624 HAS SOPS 62624 HAS SOUS 46907 HAS SOUPS 46907 WITH SCORE 46969.624
AT ITER 4753 NEW BEST:: SOT 207055 SOS 62610 HAS SOPS 62610 HAS SOUS 46907 HAS SOUPS 46907 WITH SCORE 46969.61
AT ITER 4800 NEW BEST:: SOT 207152 SOS 62584 HAS SOPS 62584 HAS SOUS 46881 HAS SOUPS 46881 WITH SCORE 46943.584
AT ITER 4802 NEW BEST:: SOT 207115 SOS 62473 HAS SOPS 62473 HAS SOUS 46807 HAS SOUPS 46807 WITH SCORE 46869.473
AT ITER 4810 NEW BEST:: SOT 207090 SOS 62447 HAS SOPS 62447 HAS SOUS 46805 HAS SOUPS 46805 WITH SCORE 46867.447
AT ITER 4812 NEW BEST:: SOT 207090 SOS 62447 HAS SOPS 62447 HAS SOUS 46777 HAS SOUPS 46777 WITH SCORE 46839.447
AT ITER 4823 NEW BEST:: SOT 207090 SOS 62447 HAS SOPS 62447 HAS SOUS 46769 HAS SOUPS 46769 WITH SCORE 46831.447
AT ITER 4832 NEW BEST:: SOT 207090 SOS 62437 HAS SOPS 62437 HAS SOUS 46759 HAS SOUPS 46759 WITH SCORE 46821.437
AT ITER 4842 NEW BEST:: SOT 207053 SOS 62378 HAS SOPS 62378 HAS SOUS 46700 HAS SOUPS 46700 WITH SCORE 46762.378
AT ITER 4873 NEW BEST:: SOT 207045 SOS 62371 HAS SOPS 62371 HAS SOUS 46693 HAS SOUPS 46693 WITH SCORE 46755.371
AT ITER 4891 NEW BEST:: SOT 206806 SOS 62094 HAS SOPS 62094 HAS SOUS 46675 HAS SOUPS 46675 WITH SCORE 46737.094
AT ITER 4912 NEW BEST:: SOT 206926 SOS 62073 HAS SOPS 62073 HAS SOUS 46654 HAS SOUPS 46654 WITH SCORE 46716.073
AT ITER 4927 NEW BEST:: SOT 206926 SOS 62069 HAS SOPS 62069 HAS SOUS 46654 HAS SOUPS 46654 WITH SCORE 46716.069
AT ITER 4974 NEW BEST:: SOT 207044 SOS 62069 HAS SOPS 62069 HAS SOUS 46536 HAS SOUPS 46536 WITH SCORE 46598.069
AT ITER 4976 NEW BEST:: SOT 207024 SOS 62049 HAS SOPS 62049 HAS SOUS 46516 HAS SOUPS 46516 WITH SCORE 46578.049
AT ITER 4980 NEW BEST:: SOT 207024 SOS 62048 HAS SOPS 62048 HAS SOUS 46515 HAS SOUPS 46515 WITH SCORE 46577.048
Bounds file is: CTLFireability.xml
PROPERTY: BusinessProcesses-PT-17-CTLFireability-00 (AG( ( (! ((potential((tk(P196)>=1))))) & (! (AX( ((potential((tk(P319)>=1))))))) )))
PROPERTY: BusinessProcesses-PT-17-CTLFireability-01 (AG( (! ((potential((tk(P125)>=1)))))))
PROPERTY: BusinessProcesses-PT-17-CTLFireability-02 (AU( (AF( ( ((potential((tk(P352)>=1) & (tk(P135)>=1) & (tk(P635)>=1)))) & ((potential((tk(P246)>=1)))) ))) , (EF( ( ((potential((tk(P211)>=1)))) & ((potential((tk(P303)>=1)))) ))) ))
PROPERTY: BusinessProcesses-PT-17-CTLFireability-03 ( (! (! ( (AF( ((potential((tk(P159)>=1)))))) & ( (! ((potential((tk(P433)>=1))))) | ( ((potential((tk(P466)>=1)))) & ((potential((tk(P119)>=1)))) ) ) ))) | (EU( (EF( ((potential((tk(P585)>=1)))))) , ( ( ((potential((tk(P580)>=1)))) & ((potential((tk(P245)>=1)))) ) & ( ((potential((tk(P505)>=1)))) | ((potential((tk(P281)>=1)))) ) ) )) )
PROPERTY: BusinessProcesses-PT-17-CTLFireability-04 (EF( ( ((potential((tk(P191)>=1)))) | (AG( ((potential((tk(P354)>=1)))))) )))
PROPERTY: BusinessProcesses-PT-17-CTLFireability-05 ( (EF( ((potential((tk(P187)>=1)))))) | ((potential((tk(P570)>=1)))) )
PROPERTY: BusinessProcesses-PT-17-CTLFireability-06 (! (EF( ((potential((tk(P62)>=1)))))))
PROPERTY: BusinessProcesses-PT-17-CTLFireability-07 (EU( (! (! ( ((potential((tk(P536)>=1)))) & ((potential((tk(P166)>=1)))) ))) , (! (EF( ((potential((tk(P165)>=1))))))) ))
PROPERTY: BusinessProcesses-PT-17-CTLFireability-08 (EF( (! (AG( (! ((potential((tk(P52)>=1))))))))))
PROPERTY: BusinessProcesses-PT-17-CTLFireability-09 (EU( ( (EX( ((potential((tk(P416)>=1) & (tk(P192)>=1) & (tk(P612)>=1)))))) & (! (! ((potential((tk(P550)>=1)))))) ) , (EF( ((potential((tk(P106)>=1)))))) ))
PROPERTY: BusinessProcesses-PT-17-CTLFireability-10 (EX( (AG( (! ( ((potential((tk(P88)>=1)))) | ((potential((tk(P541)>=1)))) ))))))
PROPERTY: BusinessProcesses-PT-17-CTLFireability-11 ( (AF( ((potential((tk(P357)>=1) & (tk(P138)>=1) & (tk(P620)>=1)))))) | (AU( (EF( ((potential((tk(P607)>=1)))))) , (EF( ((potential((tk(P352)>=1) & (tk(P135)>=1) & (tk(P626)>=1)))))) )) )
PROPERTY: BusinessProcesses-PT-17-CTLFireability-12 (EF( ((potential((tk(P59)>=1))))))
PROPERTY: BusinessProcesses-PT-17-CTLFireability-13 ( ( (EU( (! ((potential((tk(P308)>=1))))) , ( ((potential((tk(P447)>=1) & (tk(P247)>=1) & (tk(P604)>=1)))) & ((potential((tk(P357)>=1) & (tk(P110)>=1) & (tk(P632)>=1)))) ) )) | ( (AF( ( ((potential((tk(P157)>=1)))) & ((potential((tk(P365)>=1)))) ))) | ( (EG( ((potential((tk(P352)>=1) & (tk(P117)>=1) & (tk(P535)>=1)))))) & (AG( ((potential((tk(P337)>=1) & (tk(P66)>=1) & (tk(P474)>=1)))))) ) ) ) & (EX( ( (EG( ((potential((tk(P357)>=1) & (tk(P110)>=1) & (tk(P632)>=1)))))) | ( (! ((potential((tk(P14)>=1))))) | ( ((potential((tk(P327)>=1) & (tk(P104)>=1) & (tk(P532)>=1)))) | ((potential((tk(P492)>=1)))) ) ) ))) )
PROPERTY: BusinessProcesses-PT-17-CTLFireability-14 (EF( ((potential((tk(P628)>=1))))))
PROPERTY: BusinessProcesses-PT-17-CTLFireability-15 (AU( ( ( ( ((potential((tk(P268)>=1)))) | ((potential((tk(P601)>=1)))) ) | (! ((potential((tk(P32)>=1))))) ) | (AX( ((potential((tk(P374)>=1)))))) ) , (EF( ( ((potential((tk(P591)>=1)))) & ((potential((tk(P593)>=1)))) ))) ))

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-17"
export BK_EXAMINATION="CTLFireability"
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-17, examination is CTLFireability"
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-158897680200580"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/BusinessProcesses-PT-17.tgz
mv BusinessProcesses-PT-17 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;