fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r018-oct2-158897680100523
Last Updated
Jun 28, 2020

About the Execution of smart for BusinessProcesses-PT-10

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15766.890 3600000.00 3598950.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-158897680100523.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-10, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r018-oct2-158897680100523
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 304K
-rw-r--r-- 1 mcc users 3.6K Mar 26 02:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 26 02:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 22:44 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 22:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.6K Apr 8 14:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Mar 25 17:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 25 17:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 14:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K 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 131K 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-10-CTLCardinality-00
FORMULA_NAME BusinessProcesses-PT-10-CTLCardinality-01
FORMULA_NAME BusinessProcesses-PT-10-CTLCardinality-02
FORMULA_NAME BusinessProcesses-PT-10-CTLCardinality-03
FORMULA_NAME BusinessProcesses-PT-10-CTLCardinality-04
FORMULA_NAME BusinessProcesses-PT-10-CTLCardinality-05
FORMULA_NAME BusinessProcesses-PT-10-CTLCardinality-06
FORMULA_NAME BusinessProcesses-PT-10-CTLCardinality-07
FORMULA_NAME BusinessProcesses-PT-10-CTLCardinality-08
FORMULA_NAME BusinessProcesses-PT-10-CTLCardinality-09
FORMULA_NAME BusinessProcesses-PT-10-CTLCardinality-10
FORMULA_NAME BusinessProcesses-PT-10-CTLCardinality-11
FORMULA_NAME BusinessProcesses-PT-10-CTLCardinality-12
FORMULA_NAME BusinessProcesses-PT-10-CTLCardinality-13
FORMULA_NAME BusinessProcesses-PT-10-CTLCardinality-14
FORMULA_NAME BusinessProcesses-PT-10-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589019257520

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 10
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: 518 places, 471 transitions, 1415 arcs.
AT ITER 0 NEW BEST:: SOT 157270 SOS 64272 HAS SOPS 64272 HAS SOUS 61445 HAS SOUPS 61445 WITH SCORE 61509.272
AT ITER 7 NEW BEST:: SOT 157166 SOS 63682 HAS SOPS 63682 HAS SOUS 60972 HAS SOUPS 60972 WITH SCORE 61035.682
AT ITER 12 NEW BEST:: SOT 157021 SOS 63615 HAS SOPS 63615 HAS SOUS 60905 HAS SOUPS 60905 WITH SCORE 60968.615
AT ITER 24 NEW BEST:: SOT 153479 SOS 60492 HAS SOPS 60492 HAS SOUS 57457 HAS SOUPS 57457 WITH SCORE 57517.492
AT ITER 32 NEW BEST:: SOT 153423 SOS 60452 HAS SOPS 60452 HAS SOUS 57344 HAS SOUPS 57344 WITH SCORE 57404.452
AT ITER 43 NEW BEST:: SOT 153445 SOS 60369 HAS SOPS 60369 HAS SOUS 57261 HAS SOUPS 57261 WITH SCORE 57321.369
AT ITER 61 NEW BEST:: SOT 153445 SOS 60275 HAS SOPS 60275 HAS SOUS 57167 HAS SOUPS 57167 WITH SCORE 57227.275
AT ITER 73 NEW BEST:: SOT 153292 SOS 60119 HAS SOPS 60119 HAS SOUS 57013 HAS SOUPS 57013 WITH SCORE 57073.119
AT ITER 77 NEW BEST:: SOT 151644 SOS 58471 HAS SOPS 58471 HAS SOUS 55365 HAS SOUPS 55365 WITH SCORE 55423.471
AT ITER 80 NEW BEST:: SOT 151644 SOS 58469 HAS SOPS 58469 HAS SOUS 55362 HAS SOUPS 55362 WITH SCORE 55420.469
AT ITER 88 NEW BEST:: SOT 151644 SOS 58412 HAS SOPS 58412 HAS SOUS 55355 HAS SOUPS 55355 WITH SCORE 55413.412
AT ITER 98 NEW BEST:: SOT 151642 SOS 58409 HAS SOPS 58409 HAS SOUS 55352 HAS SOUPS 55352 WITH SCORE 55410.409
AT ITER 101 NEW BEST:: SOT 151642 SOS 58408 HAS SOPS 58408 HAS SOUS 55351 HAS SOUPS 55351 WITH SCORE 55409.408
AT ITER 103 NEW BEST:: SOT 151642 SOS 58389 HAS SOPS 58389 HAS SOUS 55332 HAS SOUPS 55332 WITH SCORE 55390.389
AT ITER 109 NEW BEST:: SOT 151641 SOS 58387 HAS SOPS 58387 HAS SOUS 55330 HAS SOUPS 55330 WITH SCORE 55388.387
AT ITER 119 NEW BEST:: SOT 151640 SOS 58386 HAS SOPS 58386 HAS SOUS 55329 HAS SOUPS 55329 WITH SCORE 55387.386
AT ITER 133 NEW BEST:: SOT 151616 SOS 58176 HAS SOPS 58176 HAS SOUS 55305 HAS SOUPS 55305 WITH SCORE 55363.176
AT ITER 136 NEW BEST:: SOT 151657 SOS 58217 HAS SOPS 58217 HAS SOUS 55304 HAS SOUPS 55304 WITH SCORE 55362.217
AT ITER 137 NEW BEST:: SOT 151556 SOS 58116 HAS SOPS 58116 HAS SOUS 55203 HAS SOUPS 55203 WITH SCORE 55261.116
AT ITER 147 NEW BEST:: SOT 151417 SOS 57977 HAS SOPS 57977 HAS SOUS 55064 HAS SOUPS 55064 WITH SCORE 55121.977
AT ITER 186 NEW BEST:: SOT 151417 SOS 57977 HAS SOPS 57977 HAS SOUS 55057 HAS SOUPS 55057 WITH SCORE 55114.977
AT ITER 190 NEW BEST:: SOT 151433 SOS 57917 HAS SOPS 57917 HAS SOUS 54913 HAS SOUPS 54913 WITH SCORE 54970.917
AT ITER 209 NEW BEST:: SOT 151319 SOS 57464 HAS SOPS 57464 HAS SOUS 54574 HAS SOUPS 54574 WITH SCORE 54631.464
AT ITER 219 NEW BEST:: SOT 151228 SOS 57375 HAS SOPS 57375 HAS SOUS 54485 HAS SOUPS 54485 WITH SCORE 54542.375
AT ITER 220 NEW BEST:: SOT 151238 SOS 57360 HAS SOPS 57360 HAS SOUS 54460 HAS SOUPS 54460 WITH SCORE 54517.36
AT ITER 225 NEW BEST:: SOT 151287 SOS 57409 HAS SOPS 57409 HAS SOUS 54459 HAS SOUPS 54459 WITH SCORE 54516.409
AT ITER 235 NEW BEST:: SOT 151238 SOS 57360 HAS SOPS 57360 HAS SOUS 54410 HAS SOUPS 54410 WITH SCORE 54467.36
AT ITER 236 NEW BEST:: SOT 151223 SOS 57330 HAS SOPS 57330 HAS SOUS 54395 HAS SOUPS 54395 WITH SCORE 54452.33
AT ITER 240 NEW BEST:: SOT 151113 SOS 57219 HAS SOPS 57219 HAS SOUS 54284 HAS SOUPS 54284 WITH SCORE 54341.219
AT ITER 244 NEW BEST:: SOT 151111 SOS 57080 HAS SOPS 57080 HAS SOUS 54224 HAS SOUPS 54224 WITH SCORE 54281.08
AT ITER 249 NEW BEST:: SOT 151110 SOS 57079 HAS SOPS 57079 HAS SOUS 54223 HAS SOUPS 54223 WITH SCORE 54280.079
AT ITER 252 NEW BEST:: SOT 151128 SOS 57085 HAS SOPS 57085 HAS SOUS 54211 HAS SOUPS 54211 WITH SCORE 54268.085
AT ITER 263 NEW BEST:: SOT 150974 SOS 56897 HAS SOPS 56897 HAS SOUS 54023 HAS SOUPS 54023 WITH SCORE 54079.897
AT ITER 266 NEW BEST:: SOT 151068 SOS 56868 HAS SOPS 56868 HAS SOUS 53994 HAS SOUPS 53994 WITH SCORE 54050.868
AT ITER 268 NEW BEST:: SOT 151080 SOS 56876 HAS SOPS 56876 HAS SOUS 53990 HAS SOUPS 53990 WITH SCORE 54046.876
AT ITER 273 NEW BEST:: SOT 150952 SOS 56748 HAS SOPS 56748 HAS SOUS 53862 HAS SOUPS 53862 WITH SCORE 53918.748
AT ITER 277 NEW BEST:: SOT 150917 SOS 56713 HAS SOPS 56713 HAS SOUS 53827 HAS SOUPS 53827 WITH SCORE 53883.713
AT ITER 283 NEW BEST:: SOT 150917 SOS 56681 HAS SOPS 56681 HAS SOUS 53795 HAS SOUPS 53795 WITH SCORE 53851.681
AT ITER 294 NEW BEST:: SOT 150867 SOS 56531 HAS SOPS 56531 HAS SOUS 53645 HAS SOUPS 53645 WITH SCORE 53701.531
AT ITER 320 NEW BEST:: SOT 150865 SOS 56528 HAS SOPS 56528 HAS SOUS 53642 HAS SOUPS 53642 WITH SCORE 53698.528
AT ITER 328 NEW BEST:: SOT 150941 SOS 56566 HAS SOPS 56566 HAS SOUS 53603 HAS SOUPS 53603 WITH SCORE 53659.566
AT ITER 331 NEW BEST:: SOT 150850 SOS 56511 HAS SOPS 56511 HAS SOUS 53548 HAS SOUPS 53548 WITH SCORE 53604.511
AT ITER 344 NEW BEST:: SOT 150980 SOS 56621 HAS SOPS 56621 HAS SOUS 53505 HAS SOUPS 53505 WITH SCORE 53561.621
AT ITER 347 NEW BEST:: SOT 150978 SOS 56619 HAS SOPS 56619 HAS SOUS 53503 HAS SOUPS 53503 WITH SCORE 53559.619
AT ITER 359 NEW BEST:: SOT 150978 SOS 56646 HAS SOPS 56646 HAS SOUS 53501 HAS SOUPS 53501 WITH SCORE 53557.646
AT ITER 360 NEW BEST:: SOT 149643 SOS 55311 HAS SOPS 55311 HAS SOUS 52166 HAS SOUPS 52166 WITH SCORE 52221.311
AT ITER 361 NEW BEST:: SOT 149544 SOS 55059 HAS SOPS 55059 HAS SOUS 51914 HAS SOUPS 51914 WITH SCORE 51969.059
AT ITER 376 NEW BEST:: SOT 149535 SOS 55034 HAS SOPS 55034 HAS SOUS 51898 HAS SOUPS 51898 WITH SCORE 51953.034
AT ITER 379 NEW BEST:: SOT 149523 SOS 55022 HAS SOPS 55022 HAS SOUS 51898 HAS SOUPS 51898 WITH SCORE 51953.022
AT ITER 384 NEW BEST:: SOT 149621 SOS 55018 HAS SOPS 55018 HAS SOUS 51894 HAS SOUPS 51894 WITH SCORE 51949.018
AT ITER 389 NEW BEST:: SOT 146654 SOS 52692 HAS SOPS 52692 HAS SOUS 48968 HAS SOUPS 48968 WITH SCORE 49020.692
AT ITER 393 NEW BEST:: SOT 146597 SOS 52635 HAS SOPS 52635 HAS SOUS 48911 HAS SOUPS 48911 WITH SCORE 48963.635
AT ITER 394 NEW BEST:: SOT 146594 SOS 52632 HAS SOPS 52632 HAS SOUS 48911 HAS SOUPS 48911 WITH SCORE 48963.632
AT ITER 400 NEW BEST:: SOT 146102 SOS 71385 HAS SOPS 71385 HAS SOUS 48858 HAS SOUPS 48858 WITH SCORE 48929.385
AT ITER 408 NEW BEST:: SOT 146133 SOS 71257 HAS SOPS 71257 HAS SOUS 48748 HAS SOUPS 48748 WITH SCORE 48819.257
AT ITER 410 NEW BEST:: SOT 146133 SOS 71257 HAS SOPS 71257 HAS SOUS 48733 HAS SOUPS 48733 WITH SCORE 48804.257
AT ITER 415 NEW BEST:: SOT 146110 SOS 71233 HAS SOPS 71233 HAS SOUS 48731 HAS SOUPS 48731 WITH SCORE 48802.233
AT ITER 420 NEW BEST:: SOT 144878 SOS 70001 HAS SOPS 70001 HAS SOUS 47542 HAS SOUPS 47542 WITH SCORE 47612.001
AT ITER 422 NEW BEST:: SOT 144794 SOS 69485 HAS SOPS 69485 HAS SOUS 47506 HAS SOUPS 47506 WITH SCORE 47575.485
AT ITER 426 NEW BEST:: SOT 144826 SOS 69277 HAS SOPS 69277 HAS SOUS 47474 HAS SOUPS 47474 WITH SCORE 47543.277
AT ITER 441 NEW BEST:: SOT 144524 SOS 68824 HAS SOPS 68824 HAS SOUS 47172 HAS SOUPS 47172 WITH SCORE 47240.824
AT ITER 443 NEW BEST:: SOT 144540 SOS 68868 HAS SOPS 68868 HAS SOUS 47107 HAS SOUPS 47107 WITH SCORE 47175.868
AT ITER 457 NEW BEST:: SOT 144540 SOS 68853 HAS SOPS 68853 HAS SOUS 47092 HAS SOUPS 47092 WITH SCORE 47160.853
AT ITER 459 NEW BEST:: SOT 144539 SOS 68851 HAS SOPS 68851 HAS SOUS 47090 HAS SOUPS 47090 WITH SCORE 47158.851
AT ITER 482 NEW BEST:: SOT 144491 SOS 68692 HAS SOPS 68692 HAS SOUS 46973 HAS SOUPS 46973 WITH SCORE 47041.692
AT ITER 486 NEW BEST:: SOT 143382 SOS 67583 HAS SOPS 67583 HAS SOUS 45977 HAS SOUPS 45977 WITH SCORE 46044.583
AT ITER 495 NEW BEST:: SOT 143336 SOS 67477 HAS SOPS 67477 HAS SOUS 45871 HAS SOUPS 45871 WITH SCORE 45938.477
AT ITER 498 NEW BEST:: SOT 143336 SOS 67428 HAS SOPS 67428 HAS SOUS 45871 HAS SOUPS 45871 WITH SCORE 45938.428
AT ITER 505 NEW BEST:: SOT 143242 SOS 67504 HAS SOPS 67504 HAS SOUS 45751 HAS SOUPS 45751 WITH SCORE 45818.504
AT ITER 508 NEW BEST:: SOT 143067 SOS 67154 HAS SOPS 67154 HAS SOUS 45493 HAS SOUPS 45493 WITH SCORE 45560.154
AT ITER 510 NEW BEST:: SOT 143028 SOS 67083 HAS SOPS 67083 HAS SOUS 45470 HAS SOUPS 45470 WITH SCORE 45537.083
AT ITER 514 NEW BEST:: SOT 143005 SOS 67037 HAS SOPS 67037 HAS SOUS 45447 HAS SOUPS 45447 WITH SCORE 45514.037
AT ITER 515 NEW BEST:: SOT 142989 SOS 67002 HAS SOPS 67002 HAS SOUS 45436 HAS SOUPS 45436 WITH SCORE 45503.002
AT ITER 520 NEW BEST:: SOT 142984 SOS 66997 HAS SOPS 66997 HAS SOUS 45431 HAS SOUPS 45431 WITH SCORE 45497.997
AT ITER 554 NEW BEST:: SOT 142944 SOS 67049 HAS SOPS 67049 HAS SOUS 45391 HAS SOUPS 45391 WITH SCORE 45458.049
AT ITER 555 NEW BEST:: SOT 142944 SOS 67088 HAS SOPS 67088 HAS SOUS 45370 HAS SOUPS 45370 WITH SCORE 45437.088
AT ITER 556 NEW BEST:: SOT 142919 SOS 67074 HAS SOPS 67074 HAS SOUS 45340 HAS SOUPS 45340 WITH SCORE 45407.074
AT ITER 573 NEW BEST:: SOT 142759 SOS 66874 HAS SOPS 66874 HAS SOUS 45140 HAS SOUPS 45140 WITH SCORE 45206.874
AT ITER 576 NEW BEST:: SOT 142790 SOS 66758 HAS SOPS 66758 HAS SOUS 44917 HAS SOUPS 44917 WITH SCORE 44983.758
AT ITER 581 NEW BEST:: SOT 142771 SOS 66733 HAS SOPS 66733 HAS SOUS 44905 HAS SOUPS 44905 WITH SCORE 44971.733
AT ITER 596 NEW BEST:: SOT 142771 SOS 66760 HAS SOPS 66760 HAS SOUS 44904 HAS SOUPS 44904 WITH SCORE 44970.76
AT ITER 620 NEW BEST:: SOT 142771 SOS 66569 HAS SOPS 66569 HAS SOUS 44790 HAS SOUPS 44790 WITH SCORE 44856.569
AT ITER 640 NEW BEST:: SOT 142769 SOS 66546 HAS SOPS 66546 HAS SOUS 44787 HAS SOUPS 44787 WITH SCORE 44853.546
AT ITER 655 NEW BEST:: SOT 142645 SOS 66298 HAS SOPS 66298 HAS SOUS 44667 HAS SOUPS 44667 WITH SCORE 44733.298
AT ITER 656 NEW BEST:: SOT 142607 SOS 66222 HAS SOPS 66222 HAS SOUS 44536 HAS SOUPS 44536 WITH SCORE 44602.222
AT ITER 657 NEW BEST:: SOT 142600 SOS 66208 HAS SOPS 66208 HAS SOUS 44522 HAS SOUPS 44522 WITH SCORE 44588.208
AT ITER 660 NEW BEST:: SOT 142547 SOS 66155 HAS SOPS 66155 HAS SOUS 44481 HAS SOUPS 44481 WITH SCORE 44547.155
AT ITER 661 NEW BEST:: SOT 142506 SOS 66073 HAS SOPS 66073 HAS SOUS 44440 HAS SOUPS 44440 WITH SCORE 44506.073
AT ITER 673 NEW BEST:: SOT 142480 SOS 66047 HAS SOPS 66047 HAS SOUS 44440 HAS SOUPS 44440 WITH SCORE 44506.047
AT ITER 678 NEW BEST:: SOT 142467 SOS 66028 HAS SOPS 66028 HAS SOUS 44421 HAS SOUPS 44421 WITH SCORE 44487.028
AT ITER 699 NEW BEST:: SOT 142443 SOS 65980 HAS SOPS 65980 HAS SOUS 44373 HAS SOUPS 44373 WITH SCORE 44438.98
AT ITER 710 NEW BEST:: SOT 142365 SOS 65824 HAS SOPS 65824 HAS SOUS 44364 HAS SOUPS 44364 WITH SCORE 44429.824
AT ITER 715 NEW BEST:: SOT 142365 SOS 65798 HAS SOPS 65798 HAS SOUS 44338 HAS SOUPS 44338 WITH SCORE 44403.798
AT ITER 717 NEW BEST:: SOT 142247 SOS 65680 HAS SOPS 65680 HAS SOUS 44220 HAS SOUPS 44220 WITH SCORE 44285.68
AT ITER 718 NEW BEST:: SOT 142324 SOS 65373 HAS SOPS 65373 HAS SOUS 44177 HAS SOUPS 44177 WITH SCORE 44242.373
AT ITER 720 NEW BEST:: SOT 142272 SOS 65269 HAS SOPS 65269 HAS SOUS 44107 HAS SOUPS 44107 WITH SCORE 44172.269
AT ITER 726 NEW BEST:: SOT 142198 SOS 65158 HAS SOPS 65158 HAS SOUS 43996 HAS SOUPS 43996 WITH SCORE 44061.158
AT ITER 731 NEW BEST:: SOT 142135 SOS 65032 HAS SOPS 65032 HAS SOUS 43933 HAS SOUPS 43933 WITH SCORE 43998.032
AT ITER 744 NEW BEST:: SOT 142085 SOS 64932 HAS SOPS 64932 HAS SOUS 43833 HAS SOUPS 43833 WITH SCORE 43897.932
AT ITER 760 NEW BEST:: SOT 141905 SOS 64602 HAS SOPS 64602 HAS SOUS 43542 HAS SOUPS 43542 WITH SCORE 43606.602
AT ITER 766 NEW BEST:: SOT 141904 SOS 64601 HAS SOPS 64601 HAS SOUS 43541 HAS SOUPS 43541 WITH SCORE 43605.601
AT ITER 767 NEW BEST:: SOT 141779 SOS 64351 HAS SOPS 64351 HAS SOUS 43291 HAS SOUPS 43291 WITH SCORE 43355.351
AT ITER 778 NEW BEST:: SOT 141489 SOS 63917 HAS SOPS 63917 HAS SOUS 43174 HAS SOUPS 43174 WITH SCORE 43237.917
AT ITER 802 NEW BEST:: SOT 141544 SOS 63906 HAS SOPS 63906 HAS SOUS 43097 HAS SOUPS 43097 WITH SCORE 43160.906
AT ITER 806 NEW BEST:: SOT 141498 SOS 63497 HAS SOPS 63497 HAS SOUS 42944 HAS SOUPS 42944 WITH SCORE 43007.497
AT ITER 820 NEW BEST:: SOT 141446 SOS 63454 HAS SOPS 63454 HAS SOUS 42859 HAS SOUPS 42859 WITH SCORE 42922.454
AT ITER 837 NEW BEST:: SOT 141446 SOS 63429 HAS SOPS 63429 HAS SOUS 42858 HAS SOUPS 42858 WITH SCORE 42921.429
AT ITER 839 NEW BEST:: SOT 141348 SOS 63330 HAS SOPS 63330 HAS SOUS 42792 HAS SOUPS 42792 WITH SCORE 42855.33
AT ITER 848 NEW BEST:: SOT 141196 SOS 63027 HAS SOPS 63027 HAS SOUS 42586 HAS SOUPS 42586 WITH SCORE 42649.027
AT ITER 874 NEW BEST:: SOT 141044 SOS 62722 HAS SOPS 62722 HAS SOUS 42513 HAS SOUPS 42513 WITH SCORE 42575.722
AT ITER 883 NEW BEST:: SOT 140905 SOS 62582 HAS SOPS 62582 HAS SOUS 42511 HAS SOUPS 42511 WITH SCORE 42573.582
AT ITER 903 NEW BEST:: SOT 140900 SOS 62572 HAS SOPS 62572 HAS SOUS 42501 HAS SOUPS 42501 WITH SCORE 42563.572
AT ITER 908 NEW BEST:: SOT 140862 SOS 62496 HAS SOPS 62496 HAS SOUS 42441 HAS SOUPS 42441 WITH SCORE 42503.496
AT ITER 930 NEW BEST:: SOT 140901 SOS 62510 HAS SOPS 62510 HAS SOUS 42385 HAS SOUPS 42385 WITH SCORE 42447.51
AT ITER 939 NEW BEST:: SOT 140915 SOS 62517 HAS SOPS 62517 HAS SOUS 42358 HAS SOUPS 42358 WITH SCORE 42420.517
AT ITER 940 NEW BEST:: SOT 140856 SOS 62399 HAS SOPS 62399 HAS SOUS 42240 HAS SOUPS 42240 WITH SCORE 42302.399
AT ITER 962 NEW BEST:: SOT 140879 SOS 62422 HAS SOPS 62422 HAS SOUS 42234 HAS SOUPS 42234 WITH SCORE 42296.422
AT ITER 967 NEW BEST:: SOT 140871 SOS 62406 HAS SOPS 62406 HAS SOUS 42210 HAS SOUPS 42210 WITH SCORE 42272.406
AT ITER 978 NEW BEST:: SOT 140748 SOS 62160 HAS SOPS 62160 HAS SOUS 41964 HAS SOUPS 41964 WITH SCORE 42026.16
AT ITER 984 NEW BEST:: SOT 140748 SOS 62128 HAS SOPS 62128 HAS SOUS 41956 HAS SOUPS 41956 WITH SCORE 42018.128
AT ITER 1000 NEW BEST:: SOT 140679 SOS 62034 HAS SOPS 62034 HAS SOUS 41906 HAS SOUPS 41906 WITH SCORE 41968.034
AT ITER 1015 NEW BEST:: SOT 140547 SOS 61806 HAS SOPS 61806 HAS SOUS 41726 HAS SOUPS 41726 WITH SCORE 41787.806
AT ITER 1016 NEW BEST:: SOT 140391 SOS 61426 HAS SOPS 61426 HAS SOUS 41565 HAS SOUPS 41565 WITH SCORE 41626.426
AT ITER 1033 NEW BEST:: SOT 139925 SOS 61201 HAS SOPS 61201 HAS SOUS 41158 HAS SOUPS 41158 WITH SCORE 41219.201
AT ITER 1058 NEW BEST:: SOT 139891 SOS 61150 HAS SOPS 61150 HAS SOUS 41124 HAS SOUPS 41124 WITH SCORE 41185.15
AT ITER 1076 NEW BEST:: SOT 139888 SOS 61147 HAS SOPS 61147 HAS SOUS 41121 HAS SOUPS 41121 WITH SCORE 41182.147
AT ITER 1086 NEW BEST:: SOT 139880 SOS 61131 HAS SOPS 61131 HAS SOUS 41105 HAS SOUPS 41105 WITH SCORE 41166.131
AT ITER 1097 NEW BEST:: SOT 139845 SOS 61061 HAS SOPS 61061 HAS SOUS 41035 HAS SOUPS 41035 WITH SCORE 41096.061
AT ITER 1122 NEW BEST:: SOT 139760 SOS 60677 HAS SOPS 60677 HAS SOUS 40651 HAS SOUPS 40651 WITH SCORE 40711.677
AT ITER 1134 NEW BEST:: SOT 139760 SOS 60675 HAS SOPS 60675 HAS SOUS 40649 HAS SOUPS 40649 WITH SCORE 40709.675
AT ITER 1140 NEW BEST:: SOT 139760 SOS 60675 HAS SOPS 60675 HAS SOUS 40648 HAS SOUPS 40648 WITH SCORE 40708.675
AT ITER 1143 NEW BEST:: SOT 139755 SOS 60670 HAS SOPS 60670 HAS SOUS 40643 HAS SOUPS 40643 WITH SCORE 40703.67
AT ITER 1154 NEW BEST:: SOT 139754 SOS 60668 HAS SOPS 60668 HAS SOUS 40641 HAS SOUPS 40641 WITH SCORE 40701.668
AT ITER 1167 NEW BEST:: SOT 139706 SOS 60625 HAS SOPS 60625 HAS SOUS 40598 HAS SOUPS 40598 WITH SCORE 40658.625
AT ITER 1176 NEW BEST:: SOT 139705 SOS 60623 HAS SOPS 60623 HAS SOUS 40596 HAS SOUPS 40596 WITH SCORE 40656.623
AT ITER 1186 NEW BEST:: SOT 139635 SOS 60640 HAS SOPS 60640 HAS SOUS 40595 HAS SOUPS 40595 WITH SCORE 40655.64
AT ITER 1206 NEW BEST:: SOT 139528 SOS 60405 HAS SOPS 60405 HAS SOUS 40360 HAS SOUPS 40360 WITH SCORE 40420.405
AT ITER 1212 NEW BEST:: SOT 139504 SOS 60227 HAS SOPS 60227 HAS SOUS 40182 HAS SOUPS 40182 WITH SCORE 40242.227
AT ITER 1218 NEW BEST:: SOT 139504 SOS 60119 HAS SOPS 60119 HAS SOUS 40074 HAS SOUPS 40074 WITH SCORE 40134.119
AT ITER 1224 NEW BEST:: SOT 139500 SOS 60115 HAS SOPS 60115 HAS SOUS 40070 HAS SOUPS 40070 WITH SCORE 40130.115
AT ITER 1232 NEW BEST:: SOT 139485 SOS 60100 HAS SOPS 60100 HAS SOUS 40055 HAS SOUPS 40055 WITH SCORE 40115.1
AT ITER 1239 NEW BEST:: SOT 139485 SOS 60100 HAS SOPS 60100 HAS SOUS 39995 HAS SOUPS 39995 WITH SCORE 40055.1
AT ITER 1269 NEW BEST:: SOT 139472 SOS 60083 HAS SOPS 60083 HAS SOUS 39978 HAS SOUPS 39978 WITH SCORE 40038.083
AT ITER 1281 NEW BEST:: SOT 139460 SOS 60059 HAS SOPS 60059 HAS SOUS 39966 HAS SOUPS 39966 WITH SCORE 40026.059
AT ITER 1289 NEW BEST:: SOT 139460 SOS 60030 HAS SOPS 60030 HAS SOUS 39937 HAS SOUPS 39937 WITH SCORE 39997.03
AT ITER 1293 NEW BEST:: SOT 139450 SOS 60010 HAS SOPS 60010 HAS SOUS 39908 HAS SOUPS 39908 WITH SCORE 39968.01
AT ITER 1306 NEW BEST:: SOT 139447 SOS 60001 HAS SOPS 60001 HAS SOUS 39899 HAS SOUPS 39899 WITH SCORE 39959.001
AT ITER 1310 NEW BEST:: SOT 139444 SOS 59995 HAS SOPS 59995 HAS SOUS 39890 HAS SOUPS 39890 WITH SCORE 39949.995
AT ITER 1316 NEW BEST:: SOT 139340 SOS 59893 HAS SOPS 59893 HAS SOUS 39788 HAS SOUPS 39788 WITH SCORE 39847.893
AT ITER 1317 NEW BEST:: SOT 139340 SOS 59854 HAS SOPS 59854 HAS SOUS 39749 HAS SOUPS 39749 WITH SCORE 39808.854
AT ITER 1336 NEW BEST:: SOT 139340 SOS 59853 HAS SOPS 59853 HAS SOUS 39748 HAS SOUPS 39748 WITH SCORE 39807.853
AT ITER 1350 NEW BEST:: SOT 139308 SOS 59807 HAS SOPS 59807 HAS SOUS 39720 HAS SOUPS 39720 WITH SCORE 39779.807
AT ITER 1351 NEW BEST:: SOT 139135 SOS 59461 HAS SOPS 59461 HAS SOUS 39549 HAS SOUPS 39549 WITH SCORE 39608.461
AT ITER 1355 NEW BEST:: SOT 139134 SOS 59470 HAS SOPS 59470 HAS SOUS 39547 HAS SOUPS 39547 WITH SCORE 39606.47
AT ITER 1365 NEW BEST:: SOT 139113 SOS 59449 HAS SOPS 59449 HAS SOUS 39544 HAS SOUPS 39544 WITH SCORE 39603.449
AT ITER 1384 NEW BEST:: SOT 139117 SOS 59397 HAS SOPS 59397 HAS SOUS 39492 HAS SOUPS 39492 WITH SCORE 39551.397
AT ITER 1402 NEW BEST:: SOT 139115 SOS 59395 HAS SOPS 59395 HAS SOUS 39490 HAS SOUPS 39490 WITH SCORE 39549.395
AT ITER 1409 NEW BEST:: SOT 139149 SOS 59421 HAS SOPS 59421 HAS SOUS 39473 HAS SOUPS 39473 WITH SCORE 39532.421
AT ITER 1412 NEW BEST:: SOT 139054 SOS 59417 HAS SOPS 59417 HAS SOUS 39412 HAS SOUPS 39412 WITH SCORE 39471.417
AT ITER 1442 NEW BEST:: SOT 139048 SOS 59405 HAS SOPS 59405 HAS SOUS 39400 HAS SOUPS 39400 WITH SCORE 39459.405
AT ITER 1467 NEW BEST:: SOT 139048 SOS 59404 HAS SOPS 59404 HAS SOUS 39399 HAS SOUPS 39399 WITH SCORE 39458.404
AT ITER 1496 NEW BEST:: SOT 139172 SOS 59646 HAS SOPS 59646 HAS SOUS 39315 HAS SOUPS 39315 WITH SCORE 39374.646
AT ITER 1501 NEW BEST:: SOT 139056 SOS 59503 HAS SOPS 59503 HAS SOUS 39229 HAS SOUPS 39229 WITH SCORE 39288.503
AT ITER 1505 NEW BEST:: SOT 139166 SOS 59613 HAS SOPS 59613 HAS SOUS 39115 HAS SOUPS 39115 WITH SCORE 39174.613
AT ITER 1524 NEW BEST:: SOT 139137 SOS 59555 HAS SOPS 59555 HAS SOUS 39057 HAS SOUPS 39057 WITH SCORE 39116.555
AT ITER 1527 NEW BEST:: SOT 139102 SOS 59486 HAS SOPS 59486 HAS SOUS 38988 HAS SOUPS 38988 WITH SCORE 39047.486
AT ITER 1536 NEW BEST:: SOT 138927 SOS 59262 HAS SOPS 59262 HAS SOUS 38919 HAS SOUPS 38919 WITH SCORE 38978.262
AT ITER 1550 NEW BEST:: SOT 138911 SOS 59230 HAS SOPS 59230 HAS SOUS 38887 HAS SOUPS 38887 WITH SCORE 38946.23
AT ITER 1553 NEW BEST:: SOT 138955 SOS 59180 HAS SOPS 59180 HAS SOUS 38837 HAS SOUPS 38837 WITH SCORE 38896.18
AT ITER 1557 NEW BEST:: SOT 138955 SOS 59170 HAS SOPS 59170 HAS SOUS 38827 HAS SOUPS 38827 WITH SCORE 38886.17
AT ITER 1565 NEW BEST:: SOT 138940 SOS 59163 HAS SOPS 59163 HAS SOUS 38820 HAS SOUPS 38820 WITH SCORE 38879.163
AT ITER 1566 NEW BEST:: SOT 138946 SOS 59166 HAS SOPS 59166 HAS SOUS 38817 HAS SOUPS 38817 WITH SCORE 38876.166
AT ITER 1575 NEW BEST:: SOT 138930 SOS 59150 HAS SOPS 59150 HAS SOUS 38817 HAS SOUPS 38817 WITH SCORE 38876.15
AT ITER 1599 NEW BEST:: SOT 138930 SOS 59141 HAS SOPS 59141 HAS SOUS 38808 HAS SOUPS 38808 WITH SCORE 38867.141
AT ITER 1601 NEW BEST:: SOT 138893 SOS 59038 HAS SOPS 59038 HAS SOUS 38640 HAS SOUPS 38640 WITH SCORE 38699.038
AT ITER 1631 NEW BEST:: SOT 138886 SOS 58869 HAS SOPS 58869 HAS SOUS 38617 HAS SOUPS 38617 WITH SCORE 38675.869
AT ITER 1633 NEW BEST:: SOT 138886 SOS 58836 HAS SOPS 58836 HAS SOUS 38617 HAS SOUPS 38617 WITH SCORE 38675.836
AT ITER 1634 NEW BEST:: SOT 138897 SOS 58783 HAS SOPS 58783 HAS SOUS 38572 HAS SOUPS 38572 WITH SCORE 38630.783
AT ITER 1646 NEW BEST:: SOT 138833 SOS 58687 HAS SOPS 58687 HAS SOUS 38508 HAS SOUPS 38508 WITH SCORE 38566.687
AT ITER 1658 NEW BEST:: SOT 138598 SOS 58452 HAS SOPS 58452 HAS SOUS 38501 HAS SOUPS 38501 WITH SCORE 38559.452
AT ITER 1659 NEW BEST:: SOT 138578 SOS 58422 HAS SOPS 58422 HAS SOUS 38471 HAS SOUPS 38471 WITH SCORE 38529.422
AT ITER 1670 NEW BEST:: SOT 138451 SOS 58535 HAS SOPS 58535 HAS SOUS 38422 HAS SOUPS 38422 WITH SCORE 38480.535
AT ITER 1675 NEW BEST:: SOT 138451 SOS 58511 HAS SOPS 58511 HAS SOUS 38398 HAS SOUPS 38398 WITH SCORE 38456.511
AT ITER 1689 NEW BEST:: SOT 138447 SOS 58507 HAS SOPS 58507 HAS SOUS 38394 HAS SOUPS 38394 WITH SCORE 38452.507
AT ITER 1697 NEW BEST:: SOT 138429 SOS 58471 HAS SOPS 58471 HAS SOUS 38358 HAS SOUPS 38358 WITH SCORE 38416.471
AT ITER 1702 NEW BEST:: SOT 138182 SOS 58188 HAS SOPS 58188 HAS SOUS 38262 HAS SOUPS 38262 WITH SCORE 38320.188
AT ITER 1703 NEW BEST:: SOT 138072 SOS 57847 HAS SOPS 57847 HAS SOUS 37926 HAS SOUPS 37926 WITH SCORE 37983.847
AT ITER 1704 NEW BEST:: SOT 138047 SOS 57798 HAS SOPS 57798 HAS SOUS 37883 HAS SOUPS 37883 WITH SCORE 37940.798
AT ITER 1712 NEW BEST:: SOT 138021 SOS 57724 HAS SOPS 57724 HAS SOUS 37809 HAS SOUPS 37809 WITH SCORE 37866.724
AT ITER 1725 NEW BEST:: SOT 138015 SOS 57684 HAS SOPS 57684 HAS SOUS 37769 HAS SOUPS 37769 WITH SCORE 37826.684
AT ITER 1730 NEW BEST:: SOT 138010 SOS 57639 HAS SOPS 57639 HAS SOUS 37724 HAS SOUPS 37724 WITH SCORE 37781.639
AT ITER 1733 NEW BEST:: SOT 138010 SOS 57608 HAS SOPS 57608 HAS SOUS 37662 HAS SOUPS 37662 WITH SCORE 37719.608
AT ITER 1736 NEW BEST:: SOT 138006 SOS 57614 HAS SOPS 57614 HAS SOUS 37654 HAS SOUPS 37654 WITH SCORE 37711.614
AT ITER 1741 NEW BEST:: SOT 138005 SOS 57612 HAS SOPS 57612 HAS SOUS 37652 HAS SOUPS 37652 WITH SCORE 37709.612
AT ITER 1754 NEW BEST:: SOT 137885 SOS 58433 HAS SOPS 58433 HAS SOUS 37630 HAS SOUPS 37630 WITH SCORE 37688.433
AT ITER 1788 NEW BEST:: SOT 137881 SOS 58425 HAS SOPS 58425 HAS SOUS 37622 HAS SOUPS 37622 WITH SCORE 37680.425
AT ITER 1795 NEW BEST:: SOT 137866 SOS 58369 HAS SOPS 58369 HAS SOUS 37608 HAS SOUPS 37608 WITH SCORE 37666.369
AT ITER 1801 NEW BEST:: SOT 137788 SOS 58291 HAS SOPS 58291 HAS SOUS 37442 HAS SOUPS 37442 WITH SCORE 37500.291
AT ITER 1803 NEW BEST:: SOT 137660 SOS 58131 HAS SOPS 58131 HAS SOUS 37282 HAS SOUPS 37282 WITH SCORE 37340.131
AT ITER 1807 NEW BEST:: SOT 137592 SOS 58097 HAS SOPS 58097 HAS SOUS 37248 HAS SOUPS 37248 WITH SCORE 37306.097
AT ITER 1815 NEW BEST:: SOT 137634 SOS 58139 HAS SOPS 58139 HAS SOUS 37247 HAS SOUPS 37247 WITH SCORE 37305.139
AT ITER 1819 NEW BEST:: SOT 137636 SOS 58133 HAS SOPS 58133 HAS SOUS 37241 HAS SOUPS 37241 WITH SCORE 37299.133
AT ITER 1826 NEW BEST:: SOT 137624 SOS 58109 HAS SOPS 58109 HAS SOUS 37217 HAS SOUPS 37217 WITH SCORE 37275.109
AT ITER 1839 NEW BEST:: SOT 137624 SOS 58109 HAS SOPS 58109 HAS SOUS 37177 HAS SOUPS 37177 WITH SCORE 37235.109
AT ITER 1866 NEW BEST:: SOT 137622 SOS 58266 HAS SOPS 58266 HAS SOUS 37169 HAS SOUPS 37169 WITH SCORE 37227.266
AT ITER 1881 NEW BEST:: SOT 137622 SOS 58122 HAS SOPS 58122 HAS SOUS 37160 HAS SOUPS 37160 WITH SCORE 37218.122
AT ITER 1889 NEW BEST:: SOT 137622 SOS 58116 HAS SOPS 58116 HAS SOUS 37154 HAS SOUPS 37154 WITH SCORE 37212.116
AT ITER 1897 NEW BEST:: SOT 137608 SOS 58088 HAS SOPS 58088 HAS SOUS 37126 HAS SOUPS 37126 WITH SCORE 37184.088
AT ITER 1900 NEW BEST:: SOT 137680 SOS 58143 HAS SOPS 58143 HAS SOUS 37043 HAS SOUPS 37043 WITH SCORE 37101.143
AT ITER 1934 NEW BEST:: SOT 137666 SOS 58117 HAS SOPS 58117 HAS SOUS 37017 HAS SOUPS 37017 WITH SCORE 37075.117
AT ITER 1938 NEW BEST:: SOT 137673 SOS 58074 HAS SOPS 58074 HAS SOUS 36970 HAS SOUPS 36970 WITH SCORE 37028.074
AT ITER 1942 NEW BEST:: SOT 137673 SOS 58047 HAS SOPS 58047 HAS SOUS 36970 HAS SOUPS 36970 WITH SCORE 37028.047
AT ITER 1943 NEW BEST:: SOT 137639 SOS 58046 HAS SOPS 58046 HAS SOUS 36969 HAS SOUPS 36969 WITH SCORE 37027.046
AT ITER 1956 NEW BEST:: SOT 137595 SOS 58012 HAS SOPS 58012 HAS SOUS 36946 HAS SOUPS 36946 WITH SCORE 37004.012
AT ITER 1971 NEW BEST:: SOT 137574 SOS 57970 HAS SOPS 57970 HAS SOUS 36928 HAS SOUPS 36928 WITH SCORE 36985.97
AT ITER 1974 NEW BEST:: SOT 137542 SOS 57938 HAS SOPS 57938 HAS SOUS 36928 HAS SOUPS 36928 WITH SCORE 36985.938
AT ITER 1975 NEW BEST:: SOT 137309 SOS 57705 HAS SOPS 57705 HAS SOUS 36882 HAS SOUPS 36882 WITH SCORE 36939.705
AT ITER 1983 NEW BEST:: SOT 137335 SOS 57653 HAS SOPS 57653 HAS SOUS 36833 HAS SOUPS 36833 WITH SCORE 36890.653
AT ITER 2004 NEW BEST:: SOT 137337 SOS 57622 HAS SOPS 57622 HAS SOUS 36802 HAS SOUPS 36802 WITH SCORE 36859.622
AT ITER 2012 NEW BEST:: SOT 137314 SOS 57599 HAS SOPS 57599 HAS SOUS 36779 HAS SOUPS 36779 WITH SCORE 36836.599
AT ITER 2032 NEW BEST:: SOT 137223 SOS 57462 HAS SOPS 57462 HAS SOUS 36710 HAS SOUPS 36710 WITH SCORE 36767.462
AT ITER 2036 NEW BEST:: SOT 137266 SOS 57399 HAS SOPS 57399 HAS SOUS 36498 HAS SOUPS 36498 WITH SCORE 36555.399
AT ITER 2059 NEW BEST:: SOT 137239 SOS 57259 HAS SOPS 57259 HAS SOUS 36460 HAS SOUPS 36460 WITH SCORE 36517.259
AT ITER 2069 NEW BEST:: SOT 137239 SOS 57259 HAS SOPS 57259 HAS SOUS 36441 HAS SOUPS 36441 WITH SCORE 36498.259
AT ITER 2074 NEW BEST:: SOT 137203 SOS 56974 HAS SOPS 56974 HAS SOUS 36204 HAS SOUPS 36204 WITH SCORE 36260.974
AT ITER 2075 NEW BEST:: SOT 137206 SOS 56952 HAS SOPS 56952 HAS SOUS 36182 HAS SOUPS 36182 WITH SCORE 36238.952
AT ITER 2092 NEW BEST:: SOT 137142 SOS 56888 HAS SOPS 56888 HAS SOUS 36118 HAS SOUPS 36118 WITH SCORE 36174.888
AT ITER 2100 NEW BEST:: SOT 137135 SOS 56874 HAS SOPS 56874 HAS SOUS 36104 HAS SOUPS 36104 WITH SCORE 36160.874
AT ITER 2101 NEW BEST:: SOT 137125 SOS 56854 HAS SOPS 56854 HAS SOUS 36084 HAS SOUPS 36084 WITH SCORE 36140.854
AT ITER 2117 NEW BEST:: SOT 137105 SOS 56814 HAS SOPS 56814 HAS SOUS 36044 HAS SOUPS 36044 WITH SCORE 36100.814
AT ITER 2130 NEW BEST:: SOT 137093 SOS 56790 HAS SOPS 56790 HAS SOUS 36031 HAS SOUPS 36031 WITH SCORE 36087.79
AT ITER 2134 NEW BEST:: SOT 137082 SOS 56784 HAS SOPS 56784 HAS SOUS 36005 HAS SOUPS 36005 WITH SCORE 36061.784
AT ITER 2151 NEW BEST:: SOT 137040 SOS 56840 HAS SOPS 56840 HAS SOUS 35993 HAS SOUPS 35993 WITH SCORE 36049.84
AT ITER 2166 NEW BEST:: SOT 136939 SOS 56639 HAS SOPS 56639 HAS SOUS 35724 HAS SOUPS 35724 WITH SCORE 35780.639
AT ITER 2179 NEW BEST:: SOT 136936 SOS 56633 HAS SOPS 56633 HAS SOUS 35718 HAS SOUPS 35718 WITH SCORE 35774.633
AT ITER 2185 NEW BEST:: SOT 136936 SOS 56632 HAS SOPS 56632 HAS SOUS 35717 HAS SOUPS 35717 WITH SCORE 35773.632
AT ITER 2192 NEW BEST:: SOT 136933 SOS 56629 HAS SOPS 56629 HAS SOUS 35714 HAS SOUPS 35714 WITH SCORE 35770.629
AT ITER 2204 NEW BEST:: SOT 136878 SOS 56602 HAS SOPS 56602 HAS SOUS 35696 HAS SOUPS 35696 WITH SCORE 35752.602
AT ITER 2218 NEW BEST:: SOT 136847 SOS 56589 HAS SOPS 56589 HAS SOUS 35683 HAS SOUPS 35683 WITH SCORE 35739.589
AT ITER 2229 NEW BEST:: SOT 136804 SOS 56544 HAS SOPS 56544 HAS SOUS 35679 HAS SOUPS 35679 WITH SCORE 35735.544
AT ITER 2236 NEW BEST:: SOT 136793 SOS 56536 HAS SOPS 56536 HAS SOUS 35671 HAS SOUPS 35671 WITH SCORE 35727.536
AT ITER 2244 NEW BEST:: SOT 136883 SOS 56592 HAS SOPS 56592 HAS SOUS 35653 HAS SOUPS 35653 WITH SCORE 35709.592
AT ITER 2251 NEW BEST:: SOT 136915 SOS 56570 HAS SOPS 56570 HAS SOUS 35631 HAS SOUPS 35631 WITH SCORE 35687.57
AT ITER 2292 NEW BEST:: SOT 136897 SOS 56534 HAS SOPS 56534 HAS SOUS 35595 HAS SOUPS 35595 WITH SCORE 35651.534
AT ITER 2310 NEW BEST:: SOT 136893 SOS 56526 HAS SOPS 56526 HAS SOUS 35587 HAS SOUPS 35587 WITH SCORE 35643.526
AT ITER 2320 NEW BEST:: SOT 136857 SOS 56472 HAS SOPS 56472 HAS SOUS 35551 HAS SOUPS 35551 WITH SCORE 35607.472
AT ITER 2345 NEW BEST:: SOT 136855 SOS 56470 HAS SOPS 56470 HAS SOUS 35551 HAS SOUPS 35551 WITH SCORE 35607.47
AT ITER 2353 NEW BEST:: SOT 136843 SOS 56458 HAS SOPS 56458 HAS SOUS 35539 HAS SOUPS 35539 WITH SCORE 35595.458
AT ITER 2364 NEW BEST:: SOT 136892 SOS 56480 HAS SOPS 56480 HAS SOUS 35506 HAS SOUPS 35506 WITH SCORE 35562.48
AT ITER 2371 NEW BEST:: SOT 137021 SOS 56596 HAS SOPS 56596 HAS SOUS 35480 HAS SOUPS 35480 WITH SCORE 35536.596
AT ITER 2373 NEW BEST:: SOT 137020 SOS 56594 HAS SOPS 56594 HAS SOUS 35451 HAS SOUPS 35451 WITH SCORE 35507.594
AT ITER 2376 NEW BEST:: SOT 137134 SOS 56564 HAS SOPS 56564 HAS SOUS 35440 HAS SOUPS 35440 WITH SCORE 35496.564
AT ITER 2377 NEW BEST:: SOT 137134 SOS 56557 HAS SOPS 56557 HAS SOUS 35436 HAS SOUPS 35436 WITH SCORE 35492.557
AT ITER 2384 NEW BEST:: SOT 137134 SOS 56536 HAS SOPS 56536 HAS SOUS 35436 HAS SOUPS 35436 WITH SCORE 35492.536
AT ITER 2408 NEW BEST:: SOT 137120 SOS 56476 HAS SOPS 56476 HAS SOUS 35418 HAS SOUPS 35418 WITH SCORE 35474.476
AT ITER 2411 NEW BEST:: SOT 137095 SOS 56426 HAS SOPS 56426 HAS SOUS 35368 HAS SOUPS 35368 WITH SCORE 35424.426
AT ITER 2426 NEW BEST:: SOT 136955 SOS 56286 HAS SOPS 56286 HAS SOUS 35228 HAS SOUPS 35228 WITH SCORE 35284.286
AT ITER 2427 NEW BEST:: SOT 136975 SOS 56154 HAS SOPS 56154 HAS SOUS 35182 HAS SOUPS 35182 WITH SCORE 35238.154
AT ITER 2434 NEW BEST:: SOT 136969 SOS 56148 HAS SOPS 56148 HAS SOUS 35176 HAS SOUPS 35176 WITH SCORE 35232.148
AT ITER 2468 NEW BEST:: SOT 136938 SOS 56117 HAS SOPS 56117 HAS SOUS 35145 HAS SOUPS 35145 WITH SCORE 35201.117
AT ITER 2495 NEW BEST:: SOT 136935 SOS 56123 HAS SOPS 56123 HAS SOUS 35142 HAS SOUPS 35142 WITH SCORE 35198.123
AT ITER 2528 NEW BEST:: SOT 136926 SOS 56111 HAS SOPS 56111 HAS SOUS 35136 HAS SOUPS 35136 WITH SCORE 35192.111
AT ITER 2530 NEW BEST:: SOT 136926 SOS 56111 HAS SOPS 56111 HAS SOUS 35118 HAS SOUPS 35118 WITH SCORE 35174.111
AT ITER 2533 NEW BEST:: SOT 136930 SOS 56109 HAS SOPS 56109 HAS SOUS 35116 HAS SOUPS 35116 WITH SCORE 35172.109
AT ITER 2541 NEW BEST:: SOT 136920 SOS 56061 HAS SOPS 56061 HAS SOUS 35068 HAS SOUPS 35068 WITH SCORE 35124.061
AT ITER 2557 NEW BEST:: SOT 136878 SOS 55877 HAS SOPS 55877 HAS SOUS 34884 HAS SOUPS 34884 WITH SCORE 34939.877
AT ITER 2590 NEW BEST:: SOT 136873 SOS 55867 HAS SOPS 55867 HAS SOUS 34874 HAS SOUPS 34874 WITH SCORE 34929.867
AT ITER 2619 NEW BEST:: SOT 136690 SOS 55722 HAS SOPS 55722 HAS SOUS 34729 HAS SOUPS 34729 WITH SCORE 34784.722
AT ITER 2629 NEW BEST:: SOT 136480 SOS 55363 HAS SOPS 55363 HAS SOUS 34545 HAS SOUPS 34545 WITH SCORE 34600.363
AT ITER 2639 NEW BEST:: SOT 136454 SOS 55328 HAS SOPS 55328 HAS SOUS 34510 HAS SOUPS 34510 WITH SCORE 34565.328
AT ITER 2659 NEW BEST:: SOT 136451 SOS 55322 HAS SOPS 55322 HAS SOUS 34504 HAS SOUPS 34504 WITH SCORE 34559.322
AT ITER 2666 NEW BEST:: SOT 136349 SOS 55160 HAS SOPS 55160 HAS SOUS 34342 HAS SOUPS 34342 WITH SCORE 34397.16
AT ITER 2698 NEW BEST:: SOT 136348 SOS 55198 HAS SOPS 55198 HAS SOUS 34334 HAS SOUPS 34334 WITH SCORE 34389.198
AT ITER 2704 NEW BEST:: SOT 136322 SOS 55172 HAS SOPS 55172 HAS SOUS 34320 HAS SOUPS 34320 WITH SCORE 34375.172
AT ITER 2706 NEW BEST:: SOT 136309 SOS 55159 HAS SOPS 55159 HAS SOUS 34267 HAS SOUPS 34267 WITH SCORE 34322.159
AT ITER 2708 NEW BEST:: SOT 136298 SOS 55146 HAS SOPS 55146 HAS SOUS 34254 HAS SOUPS 34254 WITH SCORE 34309.146
AT ITER 2733 NEW BEST:: SOT 136116 SOS 54964 HAS SOPS 54964 HAS SOUS 34163 HAS SOUPS 34163 WITH SCORE 34217.964
AT ITER 2745 NEW BEST:: SOT 136002 SOS 54698 HAS SOPS 54698 HAS SOUS 33897 HAS SOUPS 33897 WITH SCORE 33951.698
AT ITER 2790 NEW BEST:: SOT 136006 SOS 54706 HAS SOPS 54706 HAS SOUS 33833 HAS SOUPS 33833 WITH SCORE 33887.706
AT ITER 2809 NEW BEST:: SOT 136047 SOS 54686 HAS SOPS 54686 HAS SOUS 33813 HAS SOUPS 33813 WITH SCORE 33867.686
AT ITER 2811 NEW BEST:: SOT 136045 SOS 54682 HAS SOPS 54682 HAS SOUS 33809 HAS SOUPS 33809 WITH SCORE 33863.682
AT ITER 2815 NEW BEST:: SOT 136038 SOS 54675 HAS SOPS 54675 HAS SOUS 33802 HAS SOUPS 33802 WITH SCORE 33856.675
AT ITER 2843 NEW BEST:: SOT 135925 SOS 54456 HAS SOPS 54456 HAS SOUS 33651 HAS SOUPS 33651 WITH SCORE 33705.456
AT ITER 2880 NEW BEST:: SOT 135924 SOS 54455 HAS SOPS 54455 HAS SOUS 33650 HAS SOUPS 33650 WITH SCORE 33704.455
AT ITER 2891 NEW BEST:: SOT 135933 SOS 54464 HAS SOPS 54464 HAS SOUS 33641 HAS SOUPS 33641 WITH SCORE 33695.464
AT ITER 2938 NEW BEST:: SOT 135900 SOS 54398 HAS SOPS 54398 HAS SOUS 33575 HAS SOUPS 33575 WITH SCORE 33629.398
AT ITER 2966 NEW BEST:: SOT 135883 SOS 54381 HAS SOPS 54381 HAS SOUS 33558 HAS SOUPS 33558 WITH SCORE 33612.381
AT ITER 2968 NEW BEST:: SOT 135799 SOS 54167 HAS SOPS 54167 HAS SOUS 33364 HAS SOUPS 33364 WITH SCORE 33418.167
AT ITER 2972 NEW BEST:: SOT 135778 SOS 54146 HAS SOPS 54146 HAS SOUS 33343 HAS SOUPS 33343 WITH SCORE 33397.146
AT ITER 2973 NEW BEST:: SOT 135764 SOS 54161 HAS SOPS 54161 HAS SOUS 33308 HAS SOUPS 33308 WITH SCORE 33362.161
AT ITER 2987 NEW BEST:: SOT 135772 SOS 54177 HAS SOPS 54177 HAS SOUS 33255 HAS SOUPS 33255 WITH SCORE 33309.177
AT ITER 3005 NEW BEST:: SOT 135809 SOS 54172 HAS SOPS 54172 HAS SOUS 33208 HAS SOUPS 33208 WITH SCORE 33262.172
AT ITER 3046 NEW BEST:: SOT 135761 SOS 54123 HAS SOPS 54123 HAS SOUS 33206 HAS SOUPS 33206 WITH SCORE 33260.123
AT ITER 3078 NEW BEST:: SOT 135736 SOS 54111 HAS SOPS 54111 HAS SOUS 33194 HAS SOUPS 33194 WITH SCORE 33248.111
AT ITER 3079 NEW BEST:: SOT 135736 SOS 54102 HAS SOPS 54102 HAS SOUS 33194 HAS SOUPS 33194 WITH SCORE 33248.102
AT ITER 3094 NEW BEST:: SOT 135715 SOS 54096 HAS SOPS 54096 HAS SOUS 33188 HAS SOUPS 33188 WITH SCORE 33242.096
AT ITER 3095 NEW BEST:: SOT 135723 SOS 54112 HAS SOPS 54112 HAS SOUS 33173 HAS SOUPS 33173 WITH SCORE 33227.112
AT ITER 3105 NEW BEST:: SOT 135723 SOS 54112 HAS SOPS 54112 HAS SOUS 33167 HAS SOUPS 33167 WITH SCORE 33221.112
AT ITER 3115 NEW BEST:: SOT 135715 SOS 54116 HAS SOPS 54116 HAS SOUS 33150 HAS SOUPS 33150 WITH SCORE 33204.116
AT ITER 3138 NEW BEST:: SOT 135711 SOS 54108 HAS SOPS 54108 HAS SOUS 33132 HAS SOUPS 33132 WITH SCORE 33186.108
AT ITER 3143 NEW BEST:: SOT 135713 SOS 54097 HAS SOPS 54097 HAS SOUS 33106 HAS SOUPS 33106 WITH SCORE 33160.097
AT ITER 3145 NEW BEST:: SOT 135711 SOS 54045 HAS SOPS 54045 HAS SOUS 33102 HAS SOUPS 33102 WITH SCORE 33156.045
AT ITER 3159 NEW BEST:: SOT 135693 SOS 54009 HAS SOPS 54009 HAS SOUS 33066 HAS SOUPS 33066 WITH SCORE 33120.009
AT ITER 3174 NEW BEST:: SOT 135660 SOS 53736 HAS SOPS 53736 HAS SOUS 32920 HAS SOUPS 32920 WITH SCORE 32973.736
AT ITER 3186 NEW BEST:: SOT 135664 SOS 53697 HAS SOPS 53697 HAS SOUS 32881 HAS SOUPS 32881 WITH SCORE 32934.697
AT ITER 3191 NEW BEST:: SOT 135556 SOS 53571 HAS SOPS 53571 HAS SOUS 32755 HAS SOUPS 32755 WITH SCORE 32808.571
AT ITER 3199 NEW BEST:: SOT 135366 SOS 53134 HAS SOPS 53134 HAS SOUS 32540 HAS SOUPS 32540 WITH SCORE 32593.134
AT ITER 3224 NEW BEST:: SOT 135386 SOS 53174 HAS SOPS 53174 HAS SOUS 32532 HAS SOUPS 32532 WITH SCORE 32585.174
AT ITER 3250 NEW BEST:: SOT 135386 SOS 53132 HAS SOPS 53132 HAS SOUS 32525 HAS SOUPS 32525 WITH SCORE 32578.132
AT ITER 3268 NEW BEST:: SOT 135361 SOS 53109 HAS SOPS 53109 HAS SOUS 32502 HAS SOUPS 32502 WITH SCORE 32555.109
AT ITER 3287 NEW BEST:: SOT 135315 SOS 53017 HAS SOPS 53017 HAS SOUS 32456 HAS SOUPS 32456 WITH SCORE 32509.017
AT ITER 3332 NEW BEST:: SOT 135286 SOS 52987 HAS SOPS 52987 HAS SOUS 32426 HAS SOUPS 32426 WITH SCORE 32478.987
AT ITER 3337 NEW BEST:: SOT 135269 SOS 52953 HAS SOPS 52953 HAS SOUS 32392 HAS SOUPS 32392 WITH SCORE 32444.953
AT ITER 3351 NEW BEST:: SOT 135240 SOS 52893 HAS SOPS 52893 HAS SOUS 32315 HAS SOUPS 32315 WITH SCORE 32367.893
AT ITER 3382 NEW BEST:: SOT 135155 SOS 52693 HAS SOPS 52693 HAS SOUS 32115 HAS SOUPS 32115 WITH SCORE 32167.693
AT ITER 3384 NEW BEST:: SOT 135144 SOS 52681 HAS SOPS 52681 HAS SOUS 32103 HAS SOUPS 32103 WITH SCORE 32155.681
AT ITER 3389 NEW BEST:: SOT 135144 SOS 52672 HAS SOPS 52672 HAS SOUS 32103 HAS SOUPS 32103 WITH SCORE 32155.672
AT ITER 3434 NEW BEST:: SOT 135184 SOS 52712 HAS SOPS 52712 HAS SOUS 32092 HAS SOUPS 32092 WITH SCORE 32144.712
AT ITER 3477 NEW BEST:: SOT 135161 SOS 52689 HAS SOPS 52689 HAS SOUS 32086 HAS SOUPS 32086 WITH SCORE 32138.689
AT ITER 3478 NEW BEST:: SOT 135134 SOS 52646 HAS SOPS 52646 HAS SOUS 32043 HAS SOUPS 32043 WITH SCORE 32095.646
AT ITER 3488 NEW BEST:: SOT 135131 SOS 52643 HAS SOPS 52643 HAS SOUS 32043 HAS SOUPS 32043 WITH SCORE 32095.643
AT ITER 3508 NEW BEST:: SOT 135121 SOS 52623 HAS SOPS 52623 HAS SOUS 32023 HAS SOUPS 32023 WITH SCORE 32075.623
AT ITER 3526 NEW BEST:: SOT 135103 SOS 52605 HAS SOPS 52605 HAS SOUS 32005 HAS SOUPS 32005 WITH SCORE 32057.605
AT ITER 3539 NEW BEST:: SOT 135123 SOS 52473 HAS SOPS 52473 HAS SOUS 31873 HAS SOUPS 31873 WITH SCORE 31925.473
AT ITER 3540 NEW BEST:: SOT 135106 SOS 52439 HAS SOPS 52439 HAS SOUS 31839 HAS SOUPS 31839 WITH SCORE 31891.439
AT ITER 3579 NEW BEST:: SOT 135090 SOS 52407 HAS SOPS 52407 HAS SOUS 31804 HAS SOUPS 31804 WITH SCORE 31856.407
AT ITER 3600 NEW BEST:: SOT 135014 SOS 52276 HAS SOPS 52276 HAS SOUS 31749 HAS SOUPS 31749 WITH SCORE 31801.276
AT ITER 3602 NEW BEST:: SOT 135014 SOS 52249 HAS SOPS 52249 HAS SOUS 31722 HAS SOUPS 31722 WITH SCORE 31774.249
AT ITER 3612 NEW BEST:: SOT 134909 SOS 52016 HAS SOPS 52016 HAS SOUS 31597 HAS SOUPS 31597 WITH SCORE 31649.016
AT ITER 3628 NEW BEST:: SOT 134909 SOS 51996 HAS SOPS 51996 HAS SOUS 31597 HAS SOUPS 31597 WITH SCORE 31648.996
AT ITER 3656 NEW BEST:: SOT 134787 SOS 51874 HAS SOPS 51874 HAS SOUS 31463 HAS SOUPS 31463 WITH SCORE 31514.874
AT ITER 3659 NEW BEST:: SOT 134769 SOS 51820 HAS SOPS 51820 HAS SOUS 31427 HAS SOUPS 31427 WITH SCORE 31478.82
AT ITER 3668 NEW BEST:: SOT 134757 SOS 51808 HAS SOPS 51808 HAS SOUS 31418 HAS SOUPS 31418 WITH SCORE 31469.808
AT ITER 3709 NEW BEST:: SOT 134757 SOS 51808 HAS SOPS 51808 HAS SOUS 31404 HAS SOUPS 31404 WITH SCORE 31455.808
AT ITER 3733 NEW BEST:: SOT 134748 SOS 51781 HAS SOPS 51781 HAS SOUS 31386 HAS SOUPS 31386 WITH SCORE 31437.781
AT ITER 3741 NEW BEST:: SOT 134744 SOS 51854 HAS SOPS 51854 HAS SOUS 31381 HAS SOUPS 31381 WITH SCORE 31432.854
AT ITER 3755 NEW BEST:: SOT 134807 SOS 51891 HAS SOPS 51891 HAS SOUS 31367 HAS SOUPS 31367 WITH SCORE 31418.891
AT ITER 3825 NEW BEST:: SOT 134778 SOS 51842 HAS SOPS 51842 HAS SOUS 31318 HAS SOUPS 31318 WITH SCORE 31369.842
AT ITER 3839 NEW BEST:: SOT 134794 SOS 51828 HAS SOPS 51828 HAS SOUS 31304 HAS SOUPS 31304 WITH SCORE 31355.828
AT ITER 3859 NEW BEST:: SOT 134788 SOS 51822 HAS SOPS 51822 HAS SOUS 31298 HAS SOUPS 31298 WITH SCORE 31349.822
AT ITER 3861 NEW BEST:: SOT 134765 SOS 51783 HAS SOPS 51783 HAS SOUS 31258 HAS SOUPS 31258 WITH SCORE 31309.783
AT ITER 3876 NEW BEST:: SOT 134758 SOS 51660 HAS SOPS 51660 HAS SOUS 31135 HAS SOUPS 31135 WITH SCORE 31186.66
AT ITER 3906 NEW BEST:: SOT 134760 SOS 51630 HAS SOPS 51630 HAS SOUS 31105 HAS SOUPS 31105 WITH SCORE 31156.63
AT ITER 3940 NEW BEST:: SOT 134767 SOS 51603 HAS SOPS 51603 HAS SOUS 31034 HAS SOUPS 31034 WITH SCORE 31085.603
AT ITER 3955 NEW BEST:: SOT 134744 SOS 51652 HAS SOPS 51652 HAS SOUS 31020 HAS SOUPS 31020 WITH SCORE 31071.652
AT ITER 3981 NEW BEST:: SOT 134742 SOS 51652 HAS SOPS 51652 HAS SOUS 31018 HAS SOUPS 31018 WITH SCORE 31069.652
AT ITER 4006 NEW BEST:: SOT 134724 SOS 51634 HAS SOPS 51634 HAS SOUS 31000 HAS SOUPS 31000 WITH SCORE 31051.634
AT ITER 4046 NEW BEST:: SOT 134707 SOS 51617 HAS SOPS 51617 HAS SOUS 31000 HAS SOUPS 31000 WITH SCORE 31051.617
AT ITER 4052 NEW BEST:: SOT 134680 SOS 51589 HAS SOPS 51589 HAS SOUS 30972 HAS SOUPS 30972 WITH SCORE 31023.589
AT ITER 4073 NEW BEST:: SOT 134680 SOS 51682 HAS SOPS 51682 HAS SOUS 30969 HAS SOUPS 30969 WITH SCORE 31020.682
AT ITER 4090 NEW BEST:: SOT 134675 SOS 51677 HAS SOPS 51677 HAS SOUS 30964 HAS SOUPS 30964 WITH SCORE 31015.677
AT ITER 4132 NEW BEST:: SOT 134649 SOS 51638 HAS SOPS 51638 HAS SOUS 30925 HAS SOUPS 30925 WITH SCORE 30976.638
AT ITER 4159 NEW BEST:: SOT 134599 SOS 51588 HAS SOPS 51588 HAS SOUS 30875 HAS SOUPS 30875 WITH SCORE 30926.588
AT ITER 4187 NEW BEST:: SOT 134589 SOS 51578 HAS SOPS 51578 HAS SOUS 30875 HAS SOUPS 30875 WITH SCORE 30926.578
AT ITER 4197 NEW BEST:: SOT 134501 SOS 51578 HAS SOPS 51578 HAS SOUS 30856 HAS SOUPS 30856 WITH SCORE 30907.578
AT ITER 4203 NEW BEST:: SOT 134479 SOS 51556 HAS SOPS 51556 HAS SOUS 30834 HAS SOUPS 30834 WITH SCORE 30885.556
AT ITER 4204 NEW BEST:: SOT 134456 SOS 51533 HAS SOPS 51533 HAS SOUS 30811 HAS SOUPS 30811 WITH SCORE 30862.533
AT ITER 4219 NEW BEST:: SOT 134428 SOS 51424 HAS SOPS 51424 HAS SOUS 30799 HAS SOUPS 30799 WITH SCORE 30850.424
AT ITER 4224 NEW BEST:: SOT 134416 SOS 51418 HAS SOPS 51418 HAS SOUS 30793 HAS SOUPS 30793 WITH SCORE 30844.418
AT ITER 4257 NEW BEST:: SOT 134389 SOS 51377 HAS SOPS 51377 HAS SOUS 30752 HAS SOUPS 30752 WITH SCORE 30803.377
AT ITER 4266 NEW BEST:: SOT 134373 SOS 51355 HAS SOPS 51355 HAS SOUS 30730 HAS SOUPS 30730 WITH SCORE 30781.355
AT ITER 4272 NEW BEST:: SOT 134334 SOS 51316 HAS SOPS 51316 HAS SOUS 30691 HAS SOUPS 30691 WITH SCORE 30742.316
AT ITER 4305 NEW BEST:: SOT 134328 SOS 51301 HAS SOPS 51301 HAS SOUS 30676 HAS SOUPS 30676 WITH SCORE 30727.301
AT ITER 4323 NEW BEST:: SOT 134301 SOS 51220 HAS SOPS 51220 HAS SOUS 30595 HAS SOUPS 30595 WITH SCORE 30646.22
AT ITER 4327 NEW BEST:: SOT 134293 SOS 51184 HAS SOPS 51184 HAS SOUS 30579 HAS SOUPS 30579 WITH SCORE 30630.184
AT ITER 4346 NEW BEST:: SOT 134203 SOS 51183 HAS SOPS 51183 HAS SOUS 30550 HAS SOUPS 30550 WITH SCORE 30601.183
AT ITER 4351 NEW BEST:: SOT 134197 SOS 51171 HAS SOPS 51171 HAS SOUS 30538 HAS SOUPS 30538 WITH SCORE 30589.171
AT ITER 4356 NEW BEST:: SOT 134143 SOS 51171 HAS SOPS 51171 HAS SOUS 30529 HAS SOUPS 30529 WITH SCORE 30580.171
AT ITER 4379 NEW BEST:: SOT 134140 SOS 51168 HAS SOPS 51168 HAS SOUS 30526 HAS SOUPS 30526 WITH SCORE 30577.168
AT ITER 4380 NEW BEST:: SOT 134139 SOS 51167 HAS SOPS 51167 HAS SOUS 30525 HAS SOUPS 30525 WITH SCORE 30576.167
AT ITER 4387 NEW BEST:: SOT 134139 SOS 51115 HAS SOPS 51115 HAS SOUS 30473 HAS SOUPS 30473 WITH SCORE 30524.115
AT ITER 4398 NEW BEST:: SOT 134137 SOS 51113 HAS SOPS 51113 HAS SOUS 30471 HAS SOUPS 30471 WITH SCORE 30522.113
AT ITER 4450 NEW BEST:: SOT 134137 SOS 51061 HAS SOPS 51061 HAS SOUS 30433 HAS SOUPS 30433 WITH SCORE 30484.061
AT ITER 4451 NEW BEST:: SOT 134125 SOS 51040 HAS SOPS 51040 HAS SOUS 30427 HAS SOUPS 30427 WITH SCORE 30478.04
AT ITER 4513 NEW BEST:: SOT 134132 SOS 51046 HAS SOPS 51046 HAS SOUS 30425 HAS SOUPS 30425 WITH SCORE 30476.046
AT ITER 4515 NEW BEST:: SOT 134132 SOS 51014 HAS SOPS 51014 HAS SOUS 30423 HAS SOUPS 30423 WITH SCORE 30474.014
AT ITER 4528 NEW BEST:: SOT 134137 SOS 51019 HAS SOPS 51019 HAS SOUS 30422 HAS SOUPS 30422 WITH SCORE 30473.019
AT ITER 4535 NEW BEST:: SOT 134075 SOS 50969 HAS SOPS 50969 HAS SOUS 30398 HAS SOUPS 30398 WITH SCORE 30448.969
AT ITER 4536 NEW BEST:: SOT 133953 SOS 50725 HAS SOPS 50725 HAS SOUS 30296 HAS SOUPS 30296 WITH SCORE 30346.725
AT ITER 4541 NEW BEST:: SOT 133901 SOS 50621 HAS SOPS 50621 HAS SOUS 30280 HAS SOUPS 30280 WITH SCORE 30330.621
AT ITER 4554 NEW BEST:: SOT 133894 SOS 50614 HAS SOPS 50614 HAS SOUS 30273 HAS SOUPS 30273 WITH SCORE 30323.614
AT ITER 4565 NEW BEST:: SOT 133879 SOS 50583 HAS SOPS 50583 HAS SOUS 30257 HAS SOUPS 30257 WITH SCORE 30307.583
AT ITER 4576 NEW BEST:: SOT 133872 SOS 50569 HAS SOPS 50569 HAS SOUS 30243 HAS SOUPS 30243 WITH SCORE 30293.569
AT ITER 4646 NEW BEST:: SOT 133815 SOS 50455 HAS SOPS 50455 HAS SOUS 30227 HAS SOUPS 30227 WITH SCORE 30277.455
AT ITER 4651 NEW BEST:: SOT 133806 SOS 50453 HAS SOPS 50453 HAS SOUS 30202 HAS SOUPS 30202 WITH SCORE 30252.453
AT ITER 4687 NEW BEST:: SOT 133780 SOS 50427 HAS SOPS 50427 HAS SOUS 30176 HAS SOUPS 30176 WITH SCORE 30226.427
AT ITER 4718 NEW BEST:: SOT 133805 SOS 50423 HAS SOPS 50423 HAS SOUS 30172 HAS SOUPS 30172 WITH SCORE 30222.423
AT ITER 4748 NEW BEST:: SOT 133794 SOS 50401 HAS SOPS 50401 HAS SOUS 30167 HAS SOUPS 30167 WITH SCORE 30217.401
AT ITER 4761 NEW BEST:: SOT 133770 SOS 50257 HAS SOPS 50257 HAS SOUS 30040 HAS SOUPS 30040 WITH SCORE 30090.257
AT ITER 4796 NEW BEST:: SOT 133770 SOS 50234 HAS SOPS 50234 HAS SOUS 30017 HAS SOUPS 30017 WITH SCORE 30067.234
AT ITER 4801 NEW BEST:: SOT 133770 SOS 50176 HAS SOPS 50176 HAS SOUS 29910 HAS SOUPS 29910 WITH SCORE 29960.176
AT ITER 4805 NEW BEST:: SOT 133784 SOS 48964 HAS SOPS 48964 HAS SOUS 29904 HAS SOUPS 29904 WITH SCORE 29952.964
AT ITER 4836 NEW BEST:: SOT 133777 SOS 48956 HAS SOPS 48956 HAS SOUS 29896 HAS SOUPS 29896 WITH SCORE 29944.956
AT ITER 4871 NEW BEST:: SOT 133772 SOS 48946 HAS SOPS 48946 HAS SOUS 29886 HAS SOUPS 29886 WITH SCORE 29934.946
AT ITER 4901 NEW BEST:: SOT 133772 SOS 48951 HAS SOPS 48951 HAS SOUS 29881 HAS SOUPS 29881 WITH SCORE 29929.951
AT ITER 4915 NEW BEST:: SOT 133790 SOS 48869 HAS SOPS 48869 HAS SOUS 29801 HAS SOUPS 29801 WITH SCORE 29849.869
AT ITER 4924 NEW BEST:: SOT 133788 SOS 48837 HAS SOPS 48837 HAS SOUS 29771 HAS SOUPS 29771 WITH SCORE 29819.837
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: BusinessProcesses-PT-10-CTLCardinality-00 (AG( ( (AG( potential( ( 1 ) <= (tk(P29)) ))) | ( ( potential( (tk(P255)) <= (tk(P215)) ) | potential( (tk(P364)) <= (tk(P471)) ) ) | (! potential( (tk(P257)) <= (tk(P376)) )) ) )))
PROPERTY: BusinessProcesses-PT-10-CTLCardinality-01 (! ( ( (EX( potential( ( 2 ) <= (tk(P223)) ))) | (! potential( (tk(P486)) <= (tk(P356)) )) ) | ( (EF(potential( ( 2 ) <= (tk(P151)) ))) | (! (! potential( ( 2 ) <= (tk(P163)) ))) ) ))
PROPERTY: BusinessProcesses-PT-10-CTLCardinality-02 (EU( ( ( potential( (tk(P231)) <= (tk(P482)) ) & potential( (tk(P384)) <= (tk(P496)) ) ) | (! potential( ( 2 ) <= (tk(P337)) )) ),(EX( potential( ( 2 ) <= (tk(P470)) ))) ))
PROPERTY: BusinessProcesses-PT-10-CTLCardinality-03 (AG( (EG( (! potential( ( 2 ) <= (tk(P204)) ))))))
PROPERTY: BusinessProcesses-PT-10-CTLCardinality-04 (! ( ( (EF(potential( ( 1 ) <= (tk(P16)) ))) | ( potential( ( 3 ) <= (tk(P169)) ) & ( potential( ( 3 ) <= (tk(P311)) ) & potential( (tk(P139)) <= (tk(P117)) ) ) ) ) | ( ( ( potential( (tk(P512)) <= (tk(P208)) ) & potential( ( 1 ) <= (tk(P476)) ) ) & ( potential( ( 3 ) <= (tk(P416)) ) & potential( (tk(P184)) <= (tk(P485)) ) ) ) & ( potential( ( 1 ) <= (tk(P212)) ) & (! potential( ( 2 ) <= (tk(P237)) )) ) ) ))
PROPERTY: BusinessProcesses-PT-10-CTLCardinality-05 (! ( ( (! (! potential( (tk(P154)) <= (tk(P129)) ))) | (AG( potential( ( 2 ) <= (tk(P139)) ))) ) & (AG( ( potential( (tk(P117)) <= (tk(P108)) ) | potential( (tk(P166)) <= (tk(P251)) ) ))) ))
PROPERTY: BusinessProcesses-PT-10-CTLCardinality-06 (AG( (EX( ( potential( ( 3 ) <= (tk(P50)) ) | potential( (tk(P338)) <= (tk(P97)) ) )))))
PROPERTY: BusinessProcesses-PT-10-CTLCardinality-07 (EF((AF(( potential( ( 1 ) <= (tk(P76)) ) & potential( (tk(P365)) <= (tk(P278)) ) )))))
PROPERTY: BusinessProcesses-PT-10-CTLCardinality-08 (AG( ( ( ( potential( (tk(P54)) <= (tk(P373)) ) | potential( ( 2 ) <= (tk(P231)) ) ) | potential( (tk(P325)) <= (tk(P510)) ) ) | potential( ( 2 ) <= (tk(P216)) ) )))
PROPERTY: BusinessProcesses-PT-10-CTLCardinality-09 ( ( (EF(potential( ( 3 ) <= (tk(P379)) ))) & potential( (tk(P384)) <= (tk(P402)) ) ) | (AX( (EG( potential( ( 2 ) <= (tk(P389)) ))))) )
PROPERTY: BusinessProcesses-PT-10-CTLCardinality-10 (! (AX( (AG( potential( (tk(P63)) <= (tk(P151)) ))))))
PROPERTY: BusinessProcesses-PT-10-CTLCardinality-11 (AX( ( (AG( potential( (tk(P123)) <= (tk(P5)) ))) & potential( (tk(P58)) <= (tk(P381)) ) )))
PROPERTY: BusinessProcesses-PT-10-CTLCardinality-12 (EU( potential( ( 1 ) <= (tk(P395)) ),(EF(potential( ( 1 ) <= (tk(P49)) ))) ))
PROPERTY: BusinessProcesses-PT-10-CTLCardinality-13 (AG( ( ( potential( (tk(P27)) <= (tk(P414)) ) | ( potential( (tk(P429)) <= (tk(P395)) ) & potential( (tk(P173)) <= (tk(P168)) ) ) ) & potential( (tk(P77)) <= (tk(P249)) ) )))
PROPERTY: BusinessProcesses-PT-10-CTLCardinality-14 (! ( (! (! potential( ( 3 ) <= (tk(P355)) ))) | (AG( ( potential( (tk(P130)) <= (tk(P506)) ) | potential( (tk(P175)) <= (tk(P445)) ) ))) ))
PROPERTY: BusinessProcesses-PT-10-CTLCardinality-15 (EF(potential( ( 2 ) <= (tk(P453)) )))

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-10"
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-10, 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-158897680100523"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/BusinessProcesses-PT-10.tgz
mv BusinessProcesses-PT-10 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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
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 ;