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

About the Execution of smart for ASLink-PT-02a

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

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r003-smll-158897508000027.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ASLink-PT-02a, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897508000027
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 444K
-rw-r--r-- 1 mcc users 3.4K Mar 25 09:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 25 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 25 09:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 25 09:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.0K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 25 09:02 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 25 09:02 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 25 08:56 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 25 08:56 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 09:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 25 09:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 279K 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 ASLink-PT-02a-CTLCardinality-00
FORMULA_NAME ASLink-PT-02a-CTLCardinality-01
FORMULA_NAME ASLink-PT-02a-CTLCardinality-02
FORMULA_NAME ASLink-PT-02a-CTLCardinality-03
FORMULA_NAME ASLink-PT-02a-CTLCardinality-04
FORMULA_NAME ASLink-PT-02a-CTLCardinality-05
FORMULA_NAME ASLink-PT-02a-CTLCardinality-06
FORMULA_NAME ASLink-PT-02a-CTLCardinality-07
FORMULA_NAME ASLink-PT-02a-CTLCardinality-08
FORMULA_NAME ASLink-PT-02a-CTLCardinality-09
FORMULA_NAME ASLink-PT-02a-CTLCardinality-10
FORMULA_NAME ASLink-PT-02a-CTLCardinality-11
FORMULA_NAME ASLink-PT-02a-CTLCardinality-12
FORMULA_NAME ASLink-PT-02a-CTLCardinality-13
FORMULA_NAME ASLink-PT-02a-CTLCardinality-14
FORMULA_NAME ASLink-PT-02a-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1588993409731

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 02a
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: 626 places, 1008 transitions, 3820 arcs.
AT ITER 0 NEW BEST:: SOT 346575 SOS 237428 HAS SOPS 237428 HAS SOUS 138866 HAS SOUPS 138866 WITH SCORE 139103.428
AT ITER 2 NEW BEST:: SOT 341793 SOS 232992 HAS SOPS 232992 HAS SOUS 133958 HAS SOUPS 133958 WITH SCORE 134190.992
AT ITER 35 NEW BEST:: SOT 341915 SOS 232546 HAS SOPS 232546 HAS SOUS 133591 HAS SOUPS 133591 WITH SCORE 133823.546
AT ITER 36 NEW BEST:: SOT 341900 SOS 232531 HAS SOPS 232531 HAS SOUS 133591 HAS SOUPS 133591 WITH SCORE 133823.531
AT ITER 46 NEW BEST:: SOT 341900 SOS 232374 HAS SOPS 232374 HAS SOUS 133470 HAS SOUPS 133470 WITH SCORE 133702.374
AT ITER 47 NEW BEST:: SOT 341588 SOS 232062 HAS SOPS 232062 HAS SOUS 133451 HAS SOUPS 133451 WITH SCORE 133683.062
AT ITER 50 NEW BEST:: SOT 341755 SOS 231548 HAS SOPS 231548 HAS SOUS 133450 HAS SOUPS 133450 WITH SCORE 133681.548
AT ITER 55 NEW BEST:: SOT 341408 SOS 228824 HAS SOPS 228824 HAS SOUS 133011 HAS SOUPS 133011 WITH SCORE 133239.824
AT ITER 60 NEW BEST:: SOT 341408 SOS 228764 HAS SOPS 228764 HAS SOUS 133009 HAS SOUPS 133009 WITH SCORE 133237.764
AT ITER 61 NEW BEST:: SOT 338990 SOS 226346 HAS SOPS 226346 HAS SOUS 130591 HAS SOUPS 130591 WITH SCORE 130817.346
AT ITER 65 NEW BEST:: SOT 338999 SOS 226316 HAS SOPS 226316 HAS SOUS 130442 HAS SOUPS 130442 WITH SCORE 130668.316
AT ITER 66 NEW BEST:: SOT 338955 SOS 226315 HAS SOPS 226315 HAS SOUS 130436 HAS SOUPS 130436 WITH SCORE 130662.315
AT ITER 74 NEW BEST:: SOT 338954 SOS 226079 HAS SOPS 226079 HAS SOUS 130434 HAS SOUPS 130434 WITH SCORE 130660.079
AT ITER 76 NEW BEST:: SOT 338954 SOS 226299 HAS SOPS 226299 HAS SOUS 130432 HAS SOUPS 130432 WITH SCORE 130658.299
AT ITER 77 NEW BEST:: SOT 337871 SOS 225229 HAS SOPS 225229 HAS SOUS 129359 HAS SOUPS 129359 WITH SCORE 129584.229
AT ITER 79 NEW BEST:: SOT 337871 SOS 224297 HAS SOPS 224297 HAS SOUS 129352 HAS SOUPS 129352 WITH SCORE 129576.297
AT ITER 80 NEW BEST:: SOT 337487 SOS 223685 HAS SOPS 223685 HAS SOUS 128836 HAS SOUPS 128836 WITH SCORE 129059.685
AT ITER 88 NEW BEST:: SOT 337468 SOS 223673 HAS SOPS 223673 HAS SOUS 128797 HAS SOUPS 128797 WITH SCORE 129020.673
AT ITER 107 NEW BEST:: SOT 337438 SOS 223347 HAS SOPS 223347 HAS SOUS 128588 HAS SOUPS 128588 WITH SCORE 128811.347
AT ITER 110 NEW BEST:: SOT 337411 SOS 223320 HAS SOPS 223320 HAS SOUS 128575 HAS SOUPS 128575 WITH SCORE 128798.32
AT ITER 112 NEW BEST:: SOT 331758 SOS 219406 HAS SOPS 219406 HAS SOUS 122820 HAS SOUPS 122820 WITH SCORE 123039.406
AT ITER 118 NEW BEST:: SOT 331517 SOS 218584 HAS SOPS 218584 HAS SOUS 122024 HAS SOUPS 122024 WITH SCORE 122242.584
AT ITER 119 NEW BEST:: SOT 331231 SOS 218186 HAS SOPS 218186 HAS SOUS 121734 HAS SOUPS 121734 WITH SCORE 121952.186
AT ITER 121 NEW BEST:: SOT 331196 SOS 218151 HAS SOPS 218151 HAS SOUS 121699 HAS SOUPS 121699 WITH SCORE 121917.151
AT ITER 131 NEW BEST:: SOT 331170 SOS 218086 HAS SOPS 218086 HAS SOUS 121660 HAS SOUPS 121660 WITH SCORE 121878.086
AT ITER 137 NEW BEST:: SOT 331098 SOS 218022 HAS SOPS 218022 HAS SOUS 121647 HAS SOUPS 121647 WITH SCORE 121865.022
AT ITER 144 NEW BEST:: SOT 331092 SOS 217235 HAS SOPS 217235 HAS SOUS 121505 HAS SOUPS 121505 WITH SCORE 121722.235
AT ITER 147 NEW BEST:: SOT 330157 SOS 216300 HAS SOPS 216300 HAS SOUS 120570 HAS SOUPS 120570 WITH SCORE 120786.3
AT ITER 152 NEW BEST:: SOT 329958 SOS 215934 HAS SOPS 215934 HAS SOUS 120235 HAS SOUPS 120235 WITH SCORE 120450.934
AT ITER 161 NEW BEST:: SOT 329938 SOS 215914 HAS SOPS 215914 HAS SOUS 120215 HAS SOUPS 120215 WITH SCORE 120430.914
AT ITER 169 NEW BEST:: SOT 329093 SOS 216001 HAS SOPS 216001 HAS SOUS 119492 HAS SOUPS 119492 WITH SCORE 119708.001
AT ITER 175 NEW BEST:: SOT 328987 SOS 215930 HAS SOPS 215930 HAS SOUS 119398 HAS SOUPS 119398 WITH SCORE 119613.93
AT ITER 177 NEW BEST:: SOT 328903 SOS 215921 HAS SOPS 215921 HAS SOUS 119389 HAS SOUPS 119389 WITH SCORE 119604.921
AT ITER 183 NEW BEST:: SOT 328938 SOS 215856 HAS SOPS 215856 HAS SOUS 119215 HAS SOUPS 119215 WITH SCORE 119430.856
AT ITER 189 NEW BEST:: SOT 328677 SOS 215595 HAS SOPS 215595 HAS SOUS 118590 HAS SOUPS 118590 WITH SCORE 118805.595
AT ITER 193 NEW BEST:: SOT 328425 SOS 215147 HAS SOPS 215147 HAS SOUS 118345 HAS SOUPS 118345 WITH SCORE 118560.147
AT ITER 198 NEW BEST:: SOT 328460 SOS 215227 HAS SOPS 215227 HAS SOUS 118300 HAS SOUPS 118300 WITH SCORE 118515.227
AT ITER 199 NEW BEST:: SOT 328455 SOS 215222 HAS SOPS 215222 HAS SOUS 118295 HAS SOUPS 118295 WITH SCORE 118510.222
AT ITER 218 NEW BEST:: SOT 328312 SOS 214724 HAS SOPS 214724 HAS SOUS 118009 HAS SOUPS 118009 WITH SCORE 118223.724
AT ITER 219 NEW BEST:: SOT 328309 SOS 214721 HAS SOPS 214721 HAS SOUS 118006 HAS SOUPS 118006 WITH SCORE 118220.721
AT ITER 221 NEW BEST:: SOT 328221 SOS 214101 HAS SOPS 214101 HAS SOUS 117755 HAS SOUPS 117755 WITH SCORE 117969.101
AT ITER 225 NEW BEST:: SOT 327646 SOS 213526 HAS SOPS 213526 HAS SOUS 117306 HAS SOUPS 117306 WITH SCORE 117519.526
AT ITER 227 NEW BEST:: SOT 327829 SOS 213359 HAS SOPS 213359 HAS SOUS 117139 HAS SOUPS 117139 WITH SCORE 117352.359
AT ITER 230 NEW BEST:: SOT 327703 SOS 212963 HAS SOPS 212963 HAS SOUS 116883 HAS SOUPS 116883 WITH SCORE 117095.963
AT ITER 242 NEW BEST:: SOT 325955 SOS 211215 HAS SOPS 211215 HAS SOUS 115135 HAS SOUPS 115135 WITH SCORE 115346.215
AT ITER 248 NEW BEST:: SOT 325954 SOS 211214 HAS SOPS 211214 HAS SOUS 115134 HAS SOUPS 115134 WITH SCORE 115345.214
AT ITER 252 NEW BEST:: SOT 325950 SOS 211210 HAS SOPS 211210 HAS SOUS 115130 HAS SOUPS 115130 WITH SCORE 115341.21
AT ITER 259 NEW BEST:: SOT 325670 SOS 210201 HAS SOPS 210201 HAS SOUS 114860 HAS SOUPS 114860 WITH SCORE 115070.201
AT ITER 263 NEW BEST:: SOT 325669 SOS 210068 HAS SOPS 210068 HAS SOUS 114858 HAS SOUPS 114858 WITH SCORE 115068.068
AT ITER 288 NEW BEST:: SOT 325472 SOS 209803 HAS SOPS 209803 HAS SOUS 114750 HAS SOUPS 114750 WITH SCORE 114959.803
AT ITER 301 NEW BEST:: SOT 325335 SOS 209666 HAS SOPS 209666 HAS SOUS 114339 HAS SOUPS 114339 WITH SCORE 114548.666
AT ITER 303 NEW BEST:: SOT 325330 SOS 209656 HAS SOPS 209656 HAS SOUS 114325 HAS SOUPS 114325 WITH SCORE 114534.656
AT ITER 305 NEW BEST:: SOT 325213 SOS 209539 HAS SOPS 209539 HAS SOUS 114182 HAS SOUPS 114182 WITH SCORE 114391.539
AT ITER 317 NEW BEST:: SOT 325179 SOS 209505 HAS SOPS 209505 HAS SOUS 114151 HAS SOUPS 114151 WITH SCORE 114360.505
AT ITER 340 NEW BEST:: SOT 325113 SOS 209425 HAS SOPS 209425 HAS SOUS 114071 HAS SOUPS 114071 WITH SCORE 114280.425
AT ITER 344 NEW BEST:: SOT 325076 SOS 209412 HAS SOPS 209412 HAS SOUS 114058 HAS SOUPS 114058 WITH SCORE 114267.412
AT ITER 352 NEW BEST:: SOT 325073 SOS 209363 HAS SOPS 209363 HAS SOUS 114050 HAS SOUPS 114050 WITH SCORE 114259.363
AT ITER 355 NEW BEST:: SOT 324985 SOS 209360 HAS SOPS 209360 HAS SOUS 114045 HAS SOUPS 114045 WITH SCORE 114254.36
AT ITER 357 NEW BEST:: SOT 324985 SOS 209641 HAS SOPS 209641 HAS SOUS 113949 HAS SOUPS 113949 WITH SCORE 114158.641
AT ITER 358 NEW BEST:: SOT 324310 SOS 209884 HAS SOPS 209884 HAS SOUS 113569 HAS SOUPS 113569 WITH SCORE 113778.884
AT ITER 360 NEW BEST:: SOT 324280 SOS 209854 HAS SOPS 209854 HAS SOUS 113538 HAS SOUPS 113538 WITH SCORE 113747.854
AT ITER 364 NEW BEST:: SOT 324280 SOS 209125 HAS SOPS 209125 HAS SOUS 113490 HAS SOUPS 113490 WITH SCORE 113699.125
AT ITER 374 NEW BEST:: SOT 324280 SOS 209125 HAS SOPS 209125 HAS SOUS 113489 HAS SOUPS 113489 WITH SCORE 113698.125
AT ITER 379 NEW BEST:: SOT 324121 SOS 208412 HAS SOPS 208412 HAS SOUS 113141 HAS SOUPS 113141 WITH SCORE 113349.412
AT ITER 384 NEW BEST:: SOT 323803 SOS 208094 HAS SOPS 208094 HAS SOUS 112823 HAS SOUPS 112823 WITH SCORE 113031.094
AT ITER 387 NEW BEST:: SOT 323576 SOS 207110 HAS SOPS 207110 HAS SOUS 112347 HAS SOUPS 112347 WITH SCORE 112554.11
AT ITER 398 NEW BEST:: SOT 323275 SOS 206809 HAS SOPS 206809 HAS SOUS 112042 HAS SOUPS 112042 WITH SCORE 112248.809
AT ITER 400 NEW BEST:: SOT 322367 SOS 205901 HAS SOPS 205901 HAS SOUS 111131 HAS SOUPS 111131 WITH SCORE 111336.901
AT ITER 401 NEW BEST:: SOT 322061 SOS 205106 HAS SOPS 205106 HAS SOUS 110336 HAS SOUPS 110336 WITH SCORE 110541.106
AT ITER 404 NEW BEST:: SOT 322061 SOS 204762 HAS SOPS 204762 HAS SOUS 110008 HAS SOUPS 110008 WITH SCORE 110212.762
AT ITER 405 NEW BEST:: SOT 321946 SOS 205320 HAS SOPS 205320 HAS SOUS 109981 HAS SOUPS 109981 WITH SCORE 110186.32
AT ITER 412 NEW BEST:: SOT 321946 SOS 205320 HAS SOPS 205320 HAS SOUS 109979 HAS SOUPS 109979 WITH SCORE 110184.32
AT ITER 418 NEW BEST:: SOT 321941 SOS 205305 HAS SOPS 205305 HAS SOUS 109968 HAS SOUPS 109968 WITH SCORE 110173.305
AT ITER 427 NEW BEST:: SOT 321697 SOS 204789 HAS SOPS 204789 HAS SOUS 109452 HAS SOUPS 109452 WITH SCORE 109656.789
AT ITER 429 NEW BEST:: SOT 321692 SOS 204603 HAS SOPS 204603 HAS SOUS 109353 HAS SOUPS 109353 WITH SCORE 109557.603
AT ITER 435 NEW BEST:: SOT 321692 SOS 204499 HAS SOPS 204499 HAS SOUS 109352 HAS SOUPS 109352 WITH SCORE 109556.499
AT ITER 463 NEW BEST:: SOT 321430 SOS 204287 HAS SOPS 204287 HAS SOUS 109140 HAS SOUPS 109140 WITH SCORE 109344.287
AT ITER 466 NEW BEST:: SOT 321430 SOS 203638 HAS SOPS 203638 HAS SOUS 109140 HAS SOUPS 109140 WITH SCORE 109343.638
AT ITER 478 NEW BEST:: SOT 321452 SOS 203681 HAS SOPS 203681 HAS SOUS 109139 HAS SOUPS 109139 WITH SCORE 109342.681
AT ITER 486 NEW BEST:: SOT 320985 SOS 203179 HAS SOPS 203179 HAS SOUS 108637 HAS SOUPS 108637 WITH SCORE 108840.179
AT ITER 491 NEW BEST:: SOT 320671 SOS 203017 HAS SOPS 203017 HAS SOUS 107774 HAS SOUPS 107774 WITH SCORE 107977.017
AT ITER 495 NEW BEST:: SOT 320671 SOS 203448 HAS SOPS 203448 HAS SOUS 107654 HAS SOUPS 107654 WITH SCORE 107857.448
AT ITER 504 NEW BEST:: SOT 320668 SOS 203445 HAS SOPS 203445 HAS SOUS 107654 HAS SOUPS 107654 WITH SCORE 107857.445
AT ITER 507 NEW BEST:: SOT 320590 SOS 203367 HAS SOPS 203367 HAS SOUS 107568 HAS SOUPS 107568 WITH SCORE 107771.367
AT ITER 518 NEW BEST:: SOT 320586 SOS 203363 HAS SOPS 203363 HAS SOUS 107564 HAS SOUPS 107564 WITH SCORE 107767.363
AT ITER 519 NEW BEST:: SOT 320586 SOS 203114 HAS SOPS 203114 HAS SOUS 107439 HAS SOUPS 107439 WITH SCORE 107642.114
AT ITER 527 NEW BEST:: SOT 320521 SOS 203049 HAS SOPS 203049 HAS SOUS 107374 HAS SOUPS 107374 WITH SCORE 107577.049
AT ITER 528 NEW BEST:: SOT 319927 SOS 202455 HAS SOPS 202455 HAS SOUS 106780 HAS SOUPS 106780 WITH SCORE 106982.455
AT ITER 539 NEW BEST:: SOT 319882 SOS 200326 HAS SOPS 200326 HAS SOUS 106689 HAS SOUPS 106689 WITH SCORE 106889.326
AT ITER 546 NEW BEST:: SOT 319828 SOS 200259 HAS SOPS 200259 HAS SOUS 106656 HAS SOUPS 106656 WITH SCORE 106856.259
AT ITER 554 NEW BEST:: SOT 319832 SOS 200267 HAS SOPS 200267 HAS SOUS 106353 HAS SOUPS 106353 WITH SCORE 106553.267
AT ITER 559 NEW BEST:: SOT 319793 SOS 200228 HAS SOPS 200228 HAS SOUS 106314 HAS SOUPS 106314 WITH SCORE 106514.228
AT ITER 566 NEW BEST:: SOT 319711 SOS 200146 HAS SOPS 200146 HAS SOUS 106232 HAS SOUPS 106232 WITH SCORE 106432.146
AT ITER 567 NEW BEST:: SOT 319860 SOS 200189 HAS SOPS 200189 HAS SOUS 106227 HAS SOUPS 106227 WITH SCORE 106427.189
AT ITER 572 NEW BEST:: SOT 318746 SOS 202205 HAS SOPS 202205 HAS SOUS 105828 HAS SOUPS 105828 WITH SCORE 106030.205
AT ITER 573 NEW BEST:: SOT 318711 SOS 202189 HAS SOPS 202189 HAS SOUS 105825 HAS SOUPS 105825 WITH SCORE 106027.189
AT ITER 582 NEW BEST:: SOT 318845 SOS 202177 HAS SOPS 202177 HAS SOUS 105673 HAS SOUPS 105673 WITH SCORE 105875.177
AT ITER 585 NEW BEST:: SOT 318907 SOS 202301 HAS SOPS 202301 HAS SOUS 105500 HAS SOUPS 105500 WITH SCORE 105702.301
AT ITER 603 NEW BEST:: SOT 318897 SOS 202236 HAS SOPS 202236 HAS SOUS 105477 HAS SOUPS 105477 WITH SCORE 105679.236
AT ITER 609 NEW BEST:: SOT 318897 SOS 202241 HAS SOPS 202241 HAS SOUS 105476 HAS SOUPS 105476 WITH SCORE 105678.241
AT ITER 618 NEW BEST:: SOT 318826 SOS 201381 HAS SOPS 201381 HAS SOUS 105210 HAS SOUPS 105210 WITH SCORE 105411.381
AT ITER 621 NEW BEST:: SOT 318820 SOS 201366 HAS SOPS 201366 HAS SOUS 105201 HAS SOUPS 105201 WITH SCORE 105402.366
AT ITER 625 NEW BEST:: SOT 318737 SOS 201177 HAS SOPS 201177 HAS SOUS 105020 HAS SOUPS 105020 WITH SCORE 105221.177
AT ITER 631 NEW BEST:: SOT 318759 SOS 201149 HAS SOPS 201149 HAS SOUS 104992 HAS SOUPS 104992 WITH SCORE 105193.149
AT ITER 642 NEW BEST:: SOT 318758 SOS 201148 HAS SOPS 201148 HAS SOUS 104991 HAS SOUPS 104991 WITH SCORE 105192.148
AT ITER 647 NEW BEST:: SOT 318758 SOS 201090 HAS SOPS 201090 HAS SOUS 104991 HAS SOUPS 104991 WITH SCORE 105192.09
AT ITER 666 NEW BEST:: SOT 318728 SOS 200832 HAS SOPS 200832 HAS SOUS 104952 HAS SOUPS 104952 WITH SCORE 105152.832
AT ITER 680 NEW BEST:: SOT 318728 SOS 200832 HAS SOPS 200832 HAS SOUS 104946 HAS SOUPS 104946 WITH SCORE 105146.832
AT ITER 686 NEW BEST:: SOT 318625 SOS 199845 HAS SOPS 199845 HAS SOUS 104854 HAS SOUPS 104854 WITH SCORE 105053.845
AT ITER 693 NEW BEST:: SOT 318470 SOS 199690 HAS SOPS 199690 HAS SOUS 104699 HAS SOUPS 104699 WITH SCORE 104898.69
AT ITER 700 NEW BEST:: SOT 318517 SOS 199571 HAS SOPS 199571 HAS SOUS 104633 HAS SOUPS 104633 WITH SCORE 104832.571
AT ITER 729 NEW BEST:: SOT 318504 SOS 199439 HAS SOPS 199439 HAS SOUS 104607 HAS SOUPS 104607 WITH SCORE 104806.439
AT ITER 730 NEW BEST:: SOT 318448 SOS 199304 HAS SOPS 199304 HAS SOUS 104489 HAS SOUPS 104489 WITH SCORE 104688.304
AT ITER 742 NEW BEST:: SOT 317511 SOS 198367 HAS SOPS 198367 HAS SOUS 103552 HAS SOUPS 103552 WITH SCORE 103750.367
AT ITER 743 NEW BEST:: SOT 317425 SOS 198281 HAS SOPS 198281 HAS SOUS 103466 HAS SOUPS 103466 WITH SCORE 103664.281
AT ITER 747 NEW BEST:: SOT 317147 SOS 197192 HAS SOPS 197192 HAS SOUS 102584 HAS SOUPS 102584 WITH SCORE 102781.192
AT ITER 751 NEW BEST:: SOT 316998 SOS 197043 HAS SOPS 197043 HAS SOUS 102435 HAS SOUPS 102435 WITH SCORE 102632.043
AT ITER 762 NEW BEST:: SOT 316365 SOS 196398 HAS SOPS 196398 HAS SOUS 101768 HAS SOUPS 101768 WITH SCORE 101964.398
AT ITER 769 NEW BEST:: SOT 316309 SOS 196286 HAS SOPS 196286 HAS SOUS 101712 HAS SOUPS 101712 WITH SCORE 101908.286
AT ITER 771 NEW BEST:: SOT 316207 SOS 196057 HAS SOPS 196057 HAS SOUS 101699 HAS SOUPS 101699 WITH SCORE 101895.057
AT ITER 774 NEW BEST:: SOT 315913 SOS 195554 HAS SOPS 195554 HAS SOUS 101405 HAS SOUPS 101405 WITH SCORE 101600.554
AT ITER 785 NEW BEST:: SOT 315890 SOS 194963 HAS SOPS 194963 HAS SOUS 101261 HAS SOUPS 101261 WITH SCORE 101455.963
AT ITER 789 NEW BEST:: SOT 315889 SOS 194860 HAS SOPS 194860 HAS SOUS 101259 HAS SOUPS 101259 WITH SCORE 101453.86
AT ITER 796 NEW BEST:: SOT 315835 SOS 194806 HAS SOPS 194806 HAS SOUS 101205 HAS SOUPS 101205 WITH SCORE 101399.806
AT ITER 815 NEW BEST:: SOT 315552 SOS 194408 HAS SOPS 194408 HAS SOUS 101170 HAS SOUPS 101170 WITH SCORE 101364.408
AT ITER 825 NEW BEST:: SOT 315551 SOS 194400 HAS SOPS 194400 HAS SOUS 101144 HAS SOUPS 101144 WITH SCORE 101338.4
AT ITER 833 NEW BEST:: SOT 307622 SOS 186711 HAS SOPS 186711 HAS SOUS 93106 HAS SOUPS 93106 WITH SCORE 93292.711
AT ITER 840 NEW BEST:: SOT 307562 SOS 186396 HAS SOPS 186396 HAS SOUS 92791 HAS SOUPS 92791 WITH SCORE 92977.396
AT ITER 855 NEW BEST:: SOT 305317 SOS 193503 HAS SOPS 193503 HAS SOUS 91518 HAS SOUPS 91518 WITH SCORE 91711.503
AT ITER 867 NEW BEST:: SOT 305169 SOS 193355 HAS SOPS 193355 HAS SOUS 91370 HAS SOUPS 91370 WITH SCORE 91563.355
AT ITER 872 NEW BEST:: SOT 305080 SOS 193511 HAS SOPS 193511 HAS SOUS 91151 HAS SOUPS 91151 WITH SCORE 91344.511
AT ITER 877 NEW BEST:: SOT 305062 SOS 193493 HAS SOPS 193493 HAS SOUS 91133 HAS SOUPS 91133 WITH SCORE 91326.493
AT ITER 887 NEW BEST:: SOT 304873 SOS 192823 HAS SOPS 192823 HAS SOUS 90755 HAS SOUPS 90755 WITH SCORE 90947.823
AT ITER 889 NEW BEST:: SOT 304861 SOS 192811 HAS SOPS 192811 HAS SOUS 90743 HAS SOUPS 90743 WITH SCORE 90935.811
AT ITER 890 NEW BEST:: SOT 304861 SOS 193447 HAS SOPS 193447 HAS SOUS 90742 HAS SOUPS 90742 WITH SCORE 90935.447
AT ITER 972 NEW BEST:: SOT 304604 SOS 192974 HAS SOPS 192974 HAS SOUS 90313 HAS SOUPS 90313 WITH SCORE 90505.974
AT ITER 978 NEW BEST:: SOT 304582 SOS 192930 HAS SOPS 192930 HAS SOUS 90247 HAS SOUPS 90247 WITH SCORE 90439.93
AT ITER 982 NEW BEST:: SOT 304304 SOS 192652 HAS SOPS 192652 HAS SOUS 89969 HAS SOUPS 89969 WITH SCORE 90161.652
AT ITER 985 NEW BEST:: SOT 304305 SOS 192653 HAS SOPS 192653 HAS SOUS 89962 HAS SOUPS 89962 WITH SCORE 90154.653
AT ITER 991 NEW BEST:: SOT 304207 SOS 192555 HAS SOPS 192555 HAS SOUS 89864 HAS SOUPS 89864 WITH SCORE 90056.555
AT ITER 1024 NEW BEST:: SOT 302984 SOS 192328 HAS SOPS 192328 HAS SOUS 89115 HAS SOUPS 89115 WITH SCORE 89307.328
AT ITER 1046 NEW BEST:: SOT 302974 SOS 192325 HAS SOPS 192325 HAS SOUS 89112 HAS SOUPS 89112 WITH SCORE 89304.325
AT ITER 1048 NEW BEST:: SOT 302761 SOS 192049 HAS SOPS 192049 HAS SOUS 88836 HAS SOUPS 88836 WITH SCORE 89028.049
AT ITER 1066 NEW BEST:: SOT 302761 SOS 191591 HAS SOPS 191591 HAS SOUS 88480 HAS SOUPS 88480 WITH SCORE 88671.591
AT ITER 1076 NEW BEST:: SOT 302540 SOS 191370 HAS SOPS 191370 HAS SOUS 88296 HAS SOUPS 88296 WITH SCORE 88487.37
AT ITER 1077 NEW BEST:: SOT 302127 SOS 190957 HAS SOPS 190957 HAS SOUS 87806 HAS SOUPS 87806 WITH SCORE 87996.957
AT ITER 1085 NEW BEST:: SOT 302097 SOS 191744 HAS SOPS 191744 HAS SOUS 87756 HAS SOUPS 87756 WITH SCORE 87947.744
AT ITER 1097 NEW BEST:: SOT 302096 SOS 191743 HAS SOPS 191743 HAS SOUS 87564 HAS SOUPS 87564 WITH SCORE 87755.743
AT ITER 1107 NEW BEST:: SOT 302070 SOS 191717 HAS SOPS 191717 HAS SOUS 87538 HAS SOUPS 87538 WITH SCORE 87729.717
AT ITER 1134 NEW BEST:: SOT 301717 SOS 191554 HAS SOPS 191554 HAS SOUS 87307 HAS SOUPS 87307 WITH SCORE 87498.554
AT ITER 1152 NEW BEST:: SOT 301323 SOS 190959 HAS SOPS 190959 HAS SOUS 86712 HAS SOUPS 86712 WITH SCORE 86902.959
AT ITER 1171 NEW BEST:: SOT 301248 SOS 190884 HAS SOPS 190884 HAS SOUS 86637 HAS SOUPS 86637 WITH SCORE 86827.884
AT ITER 1180 NEW BEST:: SOT 301044 SOS 192741 HAS SOPS 192741 HAS SOUS 86619 HAS SOUPS 86619 WITH SCORE 86811.741
AT ITER 1196 NEW BEST:: SOT 301309 SOS 192956 HAS SOPS 192956 HAS SOUS 86356 HAS SOUPS 86356 WITH SCORE 86548.956
AT ITER 1200 NEW BEST:: SOT 301299 SOS 192959 HAS SOPS 192959 HAS SOUS 86346 HAS SOUPS 86346 WITH SCORE 86538.959
AT ITER 1202 NEW BEST:: SOT 301146 SOS 192806 HAS SOPS 192806 HAS SOUS 86193 HAS SOUPS 86193 WITH SCORE 86385.806
AT ITER 1205 NEW BEST:: SOT 301141 SOS 192801 HAS SOPS 192801 HAS SOUS 86193 HAS SOUPS 86193 WITH SCORE 86385.801
AT ITER 1212 NEW BEST:: SOT 301142 SOS 192791 HAS SOPS 192791 HAS SOUS 86183 HAS SOUPS 86183 WITH SCORE 86375.791
AT ITER 1221 NEW BEST:: SOT 301138 SOS 192787 HAS SOPS 192787 HAS SOUS 86175 HAS SOUPS 86175 WITH SCORE 86367.787
AT ITER 1228 NEW BEST:: SOT 301054 SOS 192703 HAS SOPS 192703 HAS SOUS 86070 HAS SOUPS 86070 WITH SCORE 86262.703
AT ITER 1230 NEW BEST:: SOT 301068 SOS 192712 HAS SOPS 192712 HAS SOUS 86069 HAS SOUPS 86069 WITH SCORE 86261.712
AT ITER 1242 NEW BEST:: SOT 300824 SOS 193180 HAS SOPS 193180 HAS SOUS 86042 HAS SOUPS 86042 WITH SCORE 86235.18
AT ITER 1265 NEW BEST:: SOT 297543 SOS 189899 HAS SOPS 189899 HAS SOUS 82761 HAS SOUPS 82761 WITH SCORE 82950.899
AT ITER 1282 NEW BEST:: SOT 297531 SOS 189887 HAS SOPS 189887 HAS SOUS 82746 HAS SOUPS 82746 WITH SCORE 82935.887
AT ITER 1290 NEW BEST:: SOT 297526 SOS 189882 HAS SOPS 189882 HAS SOUS 82741 HAS SOUPS 82741 WITH SCORE 82930.882
AT ITER 1292 NEW BEST:: SOT 297465 SOS 189821 HAS SOPS 189821 HAS SOUS 82732 HAS SOUPS 82732 WITH SCORE 82921.821
AT ITER 1295 NEW BEST:: SOT 297252 SOS 189818 HAS SOPS 189818 HAS SOUS 82548 HAS SOUPS 82548 WITH SCORE 82737.818
AT ITER 1316 NEW BEST:: SOT 297033 SOS 189599 HAS SOPS 189599 HAS SOUS 82329 HAS SOUPS 82329 WITH SCORE 82518.599
AT ITER 1319 NEW BEST:: SOT 297104 SOS 190615 HAS SOPS 190615 HAS SOUS 82306 HAS SOUPS 82306 WITH SCORE 82496.615
AT ITER 1329 NEW BEST:: SOT 297079 SOS 190590 HAS SOPS 190590 HAS SOUS 82231 HAS SOUPS 82231 WITH SCORE 82421.59
AT ITER 1330 NEW BEST:: SOT 297109 SOS 190589 HAS SOPS 190589 HAS SOUS 82229 HAS SOUPS 82229 WITH SCORE 82419.589
AT ITER 1336 NEW BEST:: SOT 296915 SOS 190139 HAS SOPS 190139 HAS SOUS 81907 HAS SOUPS 81907 WITH SCORE 82097.139
AT ITER 1345 NEW BEST:: SOT 296120 SOS 189344 HAS SOPS 189344 HAS SOUS 81110 HAS SOUPS 81110 WITH SCORE 81299.344
AT ITER 1347 NEW BEST:: SOT 296120 SOS 189344 HAS SOPS 189344 HAS SOUS 81080 HAS SOUPS 81080 WITH SCORE 81269.344
AT ITER 1363 NEW BEST:: SOT 295374 SOS 188957 HAS SOPS 188957 HAS SOUS 80434 HAS SOUPS 80434 WITH SCORE 80622.957
AT ITER 1369 NEW BEST:: SOT 295108 SOS 188379 HAS SOPS 188379 HAS SOUS 80291 HAS SOUPS 80291 WITH SCORE 80479.379
AT ITER 1371 NEW BEST:: SOT 295124 SOS 187964 HAS SOPS 187964 HAS SOUS 79876 HAS SOUPS 79876 WITH SCORE 80063.964
AT ITER 1384 NEW BEST:: SOT 295157 SOS 187997 HAS SOPS 187997 HAS SOUS 79857 HAS SOUPS 79857 WITH SCORE 80044.997
AT ITER 1386 NEW BEST:: SOT 295165 SOS 188005 HAS SOPS 188005 HAS SOUS 79856 HAS SOUPS 79856 WITH SCORE 80044.005
AT ITER 1394 NEW BEST:: SOT 294967 SOS 187792 HAS SOPS 187792 HAS SOUS 79643 HAS SOUPS 79643 WITH SCORE 79830.792
AT ITER 1400 NEW BEST:: SOT 294499 SOS 187499 HAS SOPS 187499 HAS SOUS 79341 HAS SOUPS 79341 WITH SCORE 79528.499
AT ITER 1403 NEW BEST:: SOT 294475 SOS 187475 HAS SOPS 187475 HAS SOUS 79317 HAS SOUPS 79317 WITH SCORE 79504.475
AT ITER 1404 NEW BEST:: SOT 294504 SOS 187441 HAS SOPS 187441 HAS SOUS 79256 HAS SOUPS 79256 WITH SCORE 79443.441
AT ITER 1420 NEW BEST:: SOT 294497 SOS 187428 HAS SOPS 187428 HAS SOUS 79242 HAS SOUPS 79242 WITH SCORE 79429.428
AT ITER 1453 NEW BEST:: SOT 294525 SOS 187411 HAS SOPS 187411 HAS SOUS 79225 HAS SOUPS 79225 WITH SCORE 79412.411
AT ITER 1466 NEW BEST:: SOT 294424 SOS 187310 HAS SOPS 187310 HAS SOUS 79124 HAS SOUPS 79124 WITH SCORE 79311.31
AT ITER 1468 NEW BEST:: SOT 294764 SOS 186687 HAS SOPS 186687 HAS SOUS 78989 HAS SOUPS 78989 WITH SCORE 79175.687
AT ITER 1482 NEW BEST:: SOT 294764 SOS 186683 HAS SOPS 186683 HAS SOUS 78989 HAS SOUPS 78989 WITH SCORE 79175.683
AT ITER 1485 NEW BEST:: SOT 294555 SOS 186584 HAS SOPS 186584 HAS SOUS 78835 HAS SOUPS 78835 WITH SCORE 79021.584
AT ITER 1494 NEW BEST:: SOT 294277 SOS 185994 HAS SOPS 185994 HAS SOUS 78245 HAS SOUPS 78245 WITH SCORE 78430.994
AT ITER 1498 NEW BEST:: SOT 294087 SOS 185804 HAS SOPS 185804 HAS SOUS 78114 HAS SOUPS 78114 WITH SCORE 78299.804
AT ITER 1507 NEW BEST:: SOT 294032 SOS 185749 HAS SOPS 185749 HAS SOUS 78079 HAS SOUPS 78079 WITH SCORE 78264.749
AT ITER 1508 NEW BEST:: SOT 294030 SOS 185697 HAS SOPS 185697 HAS SOUS 78027 HAS SOUPS 78027 WITH SCORE 78212.697
AT ITER 1515 NEW BEST:: SOT 294029 SOS 185695 HAS SOPS 185695 HAS SOUS 78025 HAS SOUPS 78025 WITH SCORE 78210.695
AT ITER 1516 NEW BEST:: SOT 294029 SOS 185662 HAS SOPS 185662 HAS SOUS 77992 HAS SOUPS 77992 WITH SCORE 78177.662
AT ITER 1519 NEW BEST:: SOT 293555 SOS 185940 HAS SOPS 185940 HAS SOUS 77612 HAS SOUPS 77612 WITH SCORE 77797.94
AT ITER 1535 NEW BEST:: SOT 293525 SOS 185910 HAS SOPS 185910 HAS SOUS 77560 HAS SOUPS 77560 WITH SCORE 77745.91
AT ITER 1538 NEW BEST:: SOT 293385 SOS 185770 HAS SOPS 185770 HAS SOUS 77420 HAS SOUPS 77420 WITH SCORE 77605.77
AT ITER 1543 NEW BEST:: SOT 293384 SOS 185659 HAS SOPS 185659 HAS SOUS 77309 HAS SOUPS 77309 WITH SCORE 77494.659
AT ITER 1567 NEW BEST:: SOT 293388 SOS 185149 HAS SOPS 185149 HAS SOUS 76855 HAS SOUPS 76855 WITH SCORE 77040.149
AT ITER 1581 NEW BEST:: SOT 292800 SOS 175529 HAS SOPS 175529 HAS SOUS 75603 HAS SOUPS 75603 WITH SCORE 75778.529
AT ITER 1609 NEW BEST:: SOT 292790 SOS 175509 HAS SOPS 175509 HAS SOUS 75589 HAS SOUPS 75589 WITH SCORE 75764.509
AT ITER 1632 NEW BEST:: SOT 292791 SOS 175460 HAS SOPS 175460 HAS SOUS 75588 HAS SOUPS 75588 WITH SCORE 75763.46
AT ITER 1669 NEW BEST:: SOT 292824 SOS 175745 HAS SOPS 175745 HAS SOUS 75570 HAS SOUPS 75570 WITH SCORE 75745.745
AT ITER 1671 NEW BEST:: SOT 292832 SOS 175577 HAS SOPS 175577 HAS SOUS 75402 HAS SOUPS 75402 WITH SCORE 75577.577
AT ITER 1678 NEW BEST:: SOT 292749 SOS 175494 HAS SOPS 175494 HAS SOUS 75297 HAS SOUPS 75297 WITH SCORE 75472.494
AT ITER 1699 NEW BEST:: SOT 292782 SOS 175574 HAS SOPS 175574 HAS SOUS 75096 HAS SOUPS 75096 WITH SCORE 75271.574
AT ITER 1701 NEW BEST:: SOT 292776 SOS 175294 HAS SOPS 175294 HAS SOUS 75081 HAS SOUPS 75081 WITH SCORE 75256.294
AT ITER 1706 NEW BEST:: SOT 292533 SOS 175175 HAS SOPS 175175 HAS SOUS 74869 HAS SOUPS 74869 WITH SCORE 75044.175
AT ITER 1712 NEW BEST:: SOT 292464 SOS 175075 HAS SOPS 175075 HAS SOUS 74769 HAS SOUPS 74769 WITH SCORE 74944.075
AT ITER 1723 NEW BEST:: SOT 292463 SOS 175074 HAS SOPS 175074 HAS SOUS 74768 HAS SOUPS 74768 WITH SCORE 74943.074
AT ITER 1735 NEW BEST:: SOT 292463 SOS 174810 HAS SOPS 174810 HAS SOUS 74768 HAS SOUPS 74768 WITH SCORE 74942.81
AT ITER 1774 NEW BEST:: SOT 292416 SOS 174763 HAS SOPS 174763 HAS SOUS 74767 HAS SOUPS 74767 WITH SCORE 74941.763
AT ITER 1796 NEW BEST:: SOT 292370 SOS 174629 HAS SOPS 174629 HAS SOUS 74675 HAS SOUPS 74675 WITH SCORE 74849.629
AT ITER 1811 NEW BEST:: SOT 292366 SOS 174625 HAS SOPS 174625 HAS SOUS 74671 HAS SOUPS 74671 WITH SCORE 74845.625
AT ITER 1828 NEW BEST:: SOT 292361 SOS 174584 HAS SOPS 174584 HAS SOUS 74572 HAS SOUPS 74572 WITH SCORE 74746.584
AT ITER 1835 NEW BEST:: SOT 292368 SOS 174507 HAS SOPS 174507 HAS SOUS 74453 HAS SOUPS 74453 WITH SCORE 74627.507
AT ITER 1880 NEW BEST:: SOT 292031 SOS 174286 HAS SOPS 174286 HAS SOUS 74117 HAS SOUPS 74117 WITH SCORE 74291.286
AT ITER 1913 NEW BEST:: SOT 291961 SOS 174151 HAS SOPS 174151 HAS SOUS 74089 HAS SOUPS 74089 WITH SCORE 74263.151
AT ITER 1926 NEW BEST:: SOT 291946 SOS 174136 HAS SOPS 174136 HAS SOUS 74074 HAS SOUPS 74074 WITH SCORE 74248.136
AT ITER 1934 NEW BEST:: SOT 291946 SOS 174174 HAS SOPS 174174 HAS SOUS 74072 HAS SOUPS 74072 WITH SCORE 74246.174
AT ITER 1941 NEW BEST:: SOT 291956 SOS 174103 HAS SOPS 174103 HAS SOUS 74001 HAS SOUPS 74001 WITH SCORE 74175.103
AT ITER 1943 NEW BEST:: SOT 291952 SOS 174095 HAS SOPS 174095 HAS SOUS 73993 HAS SOUPS 73993 WITH SCORE 74167.095
AT ITER 1965 NEW BEST:: SOT 291838 SOS 173924 HAS SOPS 173924 HAS SOUS 73820 HAS SOUPS 73820 WITH SCORE 73993.924
AT ITER 1992 NEW BEST:: SOT 291843 SOS 173912 HAS SOPS 173912 HAS SOUS 73808 HAS SOUPS 73808 WITH SCORE 73981.912
AT ITER 1999 NEW BEST:: SOT 291829 SOS 173898 HAS SOPS 173898 HAS SOUS 73794 HAS SOUPS 73794 WITH SCORE 73967.898
AT ITER 2027 NEW BEST:: SOT 291759 SOS 173774 HAS SOPS 173774 HAS SOUS 73708 HAS SOUPS 73708 WITH SCORE 73881.774
AT ITER 2039 NEW BEST:: SOT 291733 SOS 173748 HAS SOPS 173748 HAS SOUS 73656 HAS SOUPS 73656 WITH SCORE 73829.748
AT ITER 2049 NEW BEST:: SOT 290652 SOS 173364 HAS SOPS 173364 HAS SOUS 72723 HAS SOUPS 72723 WITH SCORE 72896.364
AT ITER 2060 NEW BEST:: SOT 290574 SOS 173286 HAS SOPS 173286 HAS SOUS 72623 HAS SOUPS 72623 WITH SCORE 72796.286
AT ITER 2115 NEW BEST:: SOT 290684 SOS 173119 HAS SOPS 173119 HAS SOUS 72607 HAS SOUPS 72607 WITH SCORE 72780.119
AT ITER 2131 NEW BEST:: SOT 290584 SOS 172943 HAS SOPS 172943 HAS SOUS 72517 HAS SOUPS 72517 WITH SCORE 72689.943
AT ITER 2149 NEW BEST:: SOT 290584 SOS 172948 HAS SOPS 172948 HAS SOUS 72515 HAS SOUPS 72515 WITH SCORE 72687.948
AT ITER 2153 NEW BEST:: SOT 290353 SOS 173037 HAS SOPS 173037 HAS SOUS 72330 HAS SOUPS 72330 WITH SCORE 72503.037
AT ITER 2167 NEW BEST:: SOT 290353 SOS 173007 HAS SOPS 173007 HAS SOUS 72307 HAS SOUPS 72307 WITH SCORE 72480.007
AT ITER 2182 NEW BEST:: SOT 290308 SOS 172962 HAS SOPS 172962 HAS SOUS 72262 HAS SOUPS 72262 WITH SCORE 72434.962
AT ITER 2198 NEW BEST:: SOT 290263 SOS 172917 HAS SOPS 172917 HAS SOUS 72217 HAS SOUPS 72217 WITH SCORE 72389.917
AT ITER 2199 NEW BEST:: SOT 290105 SOS 172583 HAS SOPS 172583 HAS SOUS 71962 HAS SOUPS 71962 WITH SCORE 72134.583
AT ITER 2219 NEW BEST:: SOT 289971 SOS 172723 HAS SOPS 172723 HAS SOUS 71781 HAS SOUPS 71781 WITH SCORE 71953.723
AT ITER 2235 NEW BEST:: SOT 289937 SOS 172802 HAS SOPS 172802 HAS SOUS 71655 HAS SOUPS 71655 WITH SCORE 71827.802
AT ITER 2236 NEW BEST:: SOT 290087 SOS 177729 HAS SOPS 177729 HAS SOUS 71580 HAS SOUPS 71580 WITH SCORE 71757.729
AT ITER 2240 NEW BEST:: SOT 289982 SOS 177462 HAS SOPS 177462 HAS SOUS 71313 HAS SOUPS 71313 WITH SCORE 71490.462
AT ITER 2258 NEW BEST:: SOT 289974 SOS 177420 HAS SOPS 177420 HAS SOUS 71281 HAS SOUPS 71281 WITH SCORE 71458.42
AT ITER 2289 NEW BEST:: SOT 289606 SOS 176838 HAS SOPS 176838 HAS SOUS 70699 HAS SOUPS 70699 WITH SCORE 70875.838
AT ITER 2297 NEW BEST:: SOT 289606 SOS 176654 HAS SOPS 176654 HAS SOUS 70676 HAS SOUPS 70676 WITH SCORE 70852.654
AT ITER 2319 NEW BEST:: SOT 289571 SOS 176477 HAS SOPS 176477 HAS SOUS 70605 HAS SOUPS 70605 WITH SCORE 70781.477
AT ITER 2326 NEW BEST:: SOT 289563 SOS 176469 HAS SOPS 176469 HAS SOUS 70589 HAS SOUPS 70589 WITH SCORE 70765.469
AT ITER 2339 NEW BEST:: SOT 289365 SOS 176110 HAS SOPS 176110 HAS SOUS 70230 HAS SOUPS 70230 WITH SCORE 70406.11
AT ITER 2340 NEW BEST:: SOT 289365 SOS 176110 HAS SOPS 176110 HAS SOUS 70224 HAS SOUPS 70224 WITH SCORE 70400.11
AT ITER 2346 NEW BEST:: SOT 289305 SOS 176050 HAS SOPS 176050 HAS SOUS 70054 HAS SOUPS 70054 WITH SCORE 70230.05
AT ITER 2363 NEW BEST:: SOT 289185 SOS 175893 HAS SOPS 175893 HAS SOUS 69897 HAS SOUPS 69897 WITH SCORE 70072.893
AT ITER 2383 NEW BEST:: SOT 289124 SOS 175801 HAS SOPS 175801 HAS SOUS 69805 HAS SOUPS 69805 WITH SCORE 69980.801
AT ITER 2388 NEW BEST:: SOT 289124 SOS 175693 HAS SOPS 175693 HAS SOUS 69697 HAS SOUPS 69697 WITH SCORE 69872.693
AT ITER 2395 NEW BEST:: SOT 289124 SOS 175587 HAS SOPS 175587 HAS SOUS 69591 HAS SOUPS 69591 WITH SCORE 69766.587
AT ITER 2413 NEW BEST:: SOT 288930 SOS 175393 HAS SOPS 175393 HAS SOUS 69448 HAS SOUPS 69448 WITH SCORE 69623.393
AT ITER 2415 NEW BEST:: SOT 288929 SOS 175128 HAS SOPS 175128 HAS SOUS 69446 HAS SOUPS 69446 WITH SCORE 69621.128
AT ITER 2435 NEW BEST:: SOT 288917 SOS 175110 HAS SOPS 175110 HAS SOUS 69428 HAS SOUPS 69428 WITH SCORE 69603.11
AT ITER 2443 NEW BEST:: SOT 288550 SOS 174729 HAS SOPS 174729 HAS SOUS 68987 HAS SOUPS 68987 WITH SCORE 69161.729
AT ITER 2456 NEW BEST:: SOT 288472 SOS 174651 HAS SOPS 174651 HAS SOUS 68909 HAS SOUPS 68909 WITH SCORE 69083.651
AT ITER 2468 NEW BEST:: SOT 288469 SOS 174648 HAS SOPS 174648 HAS SOUS 68908 HAS SOUPS 68908 WITH SCORE 69082.648
AT ITER 2477 NEW BEST:: SOT 288448 SOS 174632 HAS SOPS 174632 HAS SOUS 68907 HAS SOUPS 68907 WITH SCORE 69081.632
AT ITER 2532 NEW BEST:: SOT 288401 SOS 174585 HAS SOPS 174585 HAS SOUS 68860 HAS SOUPS 68860 WITH SCORE 69034.585
AT ITER 2543 NEW BEST:: SOT 288460 SOS 174644 HAS SOPS 174644 HAS SOUS 68845 HAS SOUPS 68845 WITH SCORE 69019.644
AT ITER 2583 NEW BEST:: SOT 288460 SOS 174564 HAS SOPS 174564 HAS SOUS 68739 HAS SOUPS 68739 WITH SCORE 68913.564
AT ITER 2594 NEW BEST:: SOT 288460 SOS 174550 HAS SOPS 174550 HAS SOUS 68725 HAS SOUPS 68725 WITH SCORE 68899.55
AT ITER 2598 NEW BEST:: SOT 288459 SOS 174288 HAS SOPS 174288 HAS SOUS 68721 HAS SOUPS 68721 WITH SCORE 68895.288
AT ITER 2600 NEW BEST:: SOT 288445 SOS 174274 HAS SOPS 174274 HAS SOUS 68712 HAS SOUPS 68712 WITH SCORE 68886.274
AT ITER 2605 NEW BEST:: SOT 288402 SOS 174305 HAS SOPS 174305 HAS SOUS 68677 HAS SOUPS 68677 WITH SCORE 68851.305
AT ITER 2618 NEW BEST:: SOT 288398 SOS 174301 HAS SOPS 174301 HAS SOUS 68673 HAS SOUPS 68673 WITH SCORE 68847.301
AT ITER 2619 NEW BEST:: SOT 288265 SOS 173619 HAS SOPS 173619 HAS SOUS 68357 HAS SOUPS 68357 WITH SCORE 68530.619
AT ITER 2621 NEW BEST:: SOT 288241 SOS 173595 HAS SOPS 173595 HAS SOUS 68345 HAS SOUPS 68345 WITH SCORE 68518.595
AT ITER 2636 NEW BEST:: SOT 288197 SOS 173551 HAS SOPS 173551 HAS SOUS 68301 HAS SOUPS 68301 WITH SCORE 68474.551
AT ITER 2639 NEW BEST:: SOT 288146 SOS 173356 HAS SOPS 173356 HAS SOUS 68106 HAS SOUPS 68106 WITH SCORE 68279.356
AT ITER 2649 NEW BEST:: SOT 288142 SOS 173222 HAS SOPS 173222 HAS SOUS 68098 HAS SOUPS 68098 WITH SCORE 68271.222
AT ITER 2663 NEW BEST:: SOT 288095 SOS 173074 HAS SOPS 173074 HAS SOUS 67950 HAS SOUPS 67950 WITH SCORE 68123.074
AT ITER 2664 NEW BEST:: SOT 288095 SOS 173127 HAS SOPS 173127 HAS SOUS 67857 HAS SOUPS 67857 WITH SCORE 68030.127
AT ITER 2671 NEW BEST:: SOT 288110 SOS 172442 HAS SOPS 172442 HAS SOUS 67797 HAS SOUPS 67797 WITH SCORE 67969.442
AT ITER 2734 NEW BEST:: SOT 288087 SOS 172153 HAS SOPS 172153 HAS SOUS 67725 HAS SOUPS 67725 WITH SCORE 67897.153
AT ITER 2743 NEW BEST:: SOT 288087 SOS 172017 HAS SOPS 172017 HAS SOUS 67724 HAS SOUPS 67724 WITH SCORE 67896.017
AT ITER 2746 NEW BEST:: SOT 288081 SOS 172011 HAS SOPS 172011 HAS SOUS 67718 HAS SOUPS 67718 WITH SCORE 67890.011
AT ITER 2749 NEW BEST:: SOT 288080 SOS 172047 HAS SOPS 172047 HAS SOUS 67711 HAS SOUPS 67711 WITH SCORE 67883.047
AT ITER 2753 NEW BEST:: SOT 288080 SOS 171903 HAS SOPS 171903 HAS SOUS 67693 HAS SOUPS 67693 WITH SCORE 67864.903
AT ITER 2768 NEW BEST:: SOT 288062 SOS 171859 HAS SOPS 171859 HAS SOUS 67649 HAS SOUPS 67649 WITH SCORE 67820.859
AT ITER 2788 NEW BEST:: SOT 287667 SOS 171343 HAS SOPS 171343 HAS SOUS 66996 HAS SOUPS 66996 WITH SCORE 67167.343
AT ITER 2794 NEW BEST:: SOT 287662 SOS 171328 HAS SOPS 171328 HAS SOUS 66981 HAS SOUPS 66981 WITH SCORE 67152.328
AT ITER 2797 NEW BEST:: SOT 287662 SOS 171476 HAS SOPS 171476 HAS SOUS 66945 HAS SOUPS 66945 WITH SCORE 67116.476
AT ITER 2815 NEW BEST:: SOT 287646 SOS 171456 HAS SOPS 171456 HAS SOUS 66925 HAS SOUPS 66925 WITH SCORE 67096.456
AT ITER 2836 NEW BEST:: SOT 287646 SOS 171433 HAS SOPS 171433 HAS SOUS 66902 HAS SOUPS 66902 WITH SCORE 67073.433
AT ITER 2846 NEW BEST:: SOT 287591 SOS 171252 HAS SOPS 171252 HAS SOUS 66847 HAS SOUPS 66847 WITH SCORE 67018.252
AT ITER 2850 NEW BEST:: SOT 287668 SOS 171471 HAS SOPS 171471 HAS SOUS 66827 HAS SOUPS 66827 WITH SCORE 66998.471
AT ITER 2856 NEW BEST:: SOT 287651 SOS 171454 HAS SOPS 171454 HAS SOUS 66819 HAS SOUPS 66819 WITH SCORE 66990.454
AT ITER 2882 NEW BEST:: SOT 287593 SOS 171367 HAS SOPS 171367 HAS SOUS 66732 HAS SOUPS 66732 WITH SCORE 66903.367
AT ITER 2888 NEW BEST:: SOT 287550 SOS 171280 HAS SOPS 171280 HAS SOUS 66705 HAS SOUPS 66705 WITH SCORE 66876.28
AT ITER 2905 NEW BEST:: SOT 287224 SOS 170954 HAS SOPS 170954 HAS SOUS 66327 HAS SOUPS 66327 WITH SCORE 66497.954
AT ITER 2913 NEW BEST:: SOT 287214 SOS 170924 HAS SOPS 170924 HAS SOUS 66307 HAS SOUPS 66307 WITH SCORE 66477.924
AT ITER 2915 NEW BEST:: SOT 287209 SOS 170919 HAS SOPS 170919 HAS SOUS 66299 HAS SOUPS 66299 WITH SCORE 66469.919
AT ITER 2926 NEW BEST:: SOT 287125 SOS 170847 HAS SOPS 170847 HAS SOUS 66216 HAS SOUPS 66216 WITH SCORE 66386.847
AT ITER 2928 NEW BEST:: SOT 286941 SOS 170663 HAS SOPS 170663 HAS SOUS 66032 HAS SOUPS 66032 WITH SCORE 66202.663
AT ITER 2942 NEW BEST:: SOT 286902 SOS 170584 HAS SOPS 170584 HAS SOUS 65844 HAS SOUPS 65844 WITH SCORE 66014.584
AT ITER 2952 NEW BEST:: SOT 286878 SOS 170548 HAS SOPS 170548 HAS SOUS 65808 HAS SOUPS 65808 WITH SCORE 65978.548
AT ITER 2958 NEW BEST:: SOT 286832 SOS 170495 HAS SOPS 170495 HAS SOUS 65749 HAS SOUPS 65749 WITH SCORE 65919.495
AT ITER 3001 NEW BEST:: SOT 286750 SOS 170372 HAS SOPS 170372 HAS SOUS 65585 HAS SOUPS 65585 WITH SCORE 65755.372
AT ITER 3041 NEW BEST:: SOT 286749 SOS 170368 HAS SOPS 170368 HAS SOUS 65581 HAS SOUPS 65581 WITH SCORE 65751.368
AT ITER 3066 NEW BEST:: SOT 286748 SOS 170367 HAS SOPS 170367 HAS SOUS 65579 HAS SOUPS 65579 WITH SCORE 65749.367
AT ITER 3071 NEW BEST:: SOT 286738 SOS 170350 HAS SOPS 170350 HAS SOUS 65562 HAS SOUPS 65562 WITH SCORE 65732.35
AT ITER 3080 NEW BEST:: SOT 286750 SOS 170362 HAS SOPS 170362 HAS SOUS 65530 HAS SOUPS 65530 WITH SCORE 65700.362
AT ITER 3113 NEW BEST:: SOT 286750 SOS 170266 HAS SOPS 170266 HAS SOUS 65518 HAS SOUPS 65518 WITH SCORE 65688.266
AT ITER 3121 NEW BEST:: SOT 286750 SOS 170261 HAS SOPS 170261 HAS SOUS 65513 HAS SOUPS 65513 WITH SCORE 65683.261
AT ITER 3140 NEW BEST:: SOT 286750 SOS 169898 HAS SOPS 169898 HAS SOUS 65513 HAS SOUPS 65513 WITH SCORE 65682.898
AT ITER 3142 NEW BEST:: SOT 286733 SOS 169869 HAS SOPS 169869 HAS SOUS 65465 HAS SOUPS 65465 WITH SCORE 65634.869
AT ITER 3143 NEW BEST:: SOT 286730 SOS 169866 HAS SOPS 169866 HAS SOUS 65462 HAS SOUPS 65462 WITH SCORE 65631.866
AT ITER 3157 NEW BEST:: SOT 286724 SOS 169860 HAS SOPS 169860 HAS SOUS 65446 HAS SOUPS 65446 WITH SCORE 65615.86
AT ITER 3169 NEW BEST:: SOT 286695 SOS 169921 HAS SOPS 169921 HAS SOUS 65445 HAS SOUPS 65445 WITH SCORE 65614.921
AT ITER 3182 NEW BEST:: SOT 286570 SOS 169745 HAS SOPS 169745 HAS SOUS 65269 HAS SOUPS 65269 WITH SCORE 65438.745
AT ITER 3195 NEW BEST:: SOT 286564 SOS 169739 HAS SOPS 169739 HAS SOUS 65263 HAS SOUPS 65263 WITH SCORE 65432.739
AT ITER 3224 NEW BEST:: SOT 286484 SOS 169659 HAS SOPS 169659 HAS SOUS 65173 HAS SOUPS 65173 WITH SCORE 65342.659
AT ITER 3229 NEW BEST:: SOT 286484 SOS 169659 HAS SOPS 169659 HAS SOUS 65158 HAS SOUPS 65158 WITH SCORE 65327.659
AT ITER 3279 NEW BEST:: SOT 286307 SOS 169482 HAS SOPS 169482 HAS SOUS 64967 HAS SOUPS 64967 WITH SCORE 65136.482
AT ITER 3295 NEW BEST:: SOT 286243 SOS 169418 HAS SOPS 169418 HAS SOUS 64903 HAS SOUPS 64903 WITH SCORE 65072.418
AT ITER 3304 NEW BEST:: SOT 286179 SOS 169354 HAS SOPS 169354 HAS SOUS 64839 HAS SOUPS 64839 WITH SCORE 65008.354
AT ITER 3314 NEW BEST:: SOT 286178 SOS 169345 HAS SOPS 169345 HAS SOUS 64836 HAS SOUPS 64836 WITH SCORE 65005.345
AT ITER 3350 NEW BEST:: SOT 286148 SOS 169546 HAS SOPS 169546 HAS SOUS 64833 HAS SOUPS 64833 WITH SCORE 65002.546
AT ITER 3380 NEW BEST:: SOT 286125 SOS 169504 HAS SOPS 169504 HAS SOUS 64791 HAS SOUPS 64791 WITH SCORE 64960.504
AT ITER 3388 NEW BEST:: SOT 286125 SOS 169604 HAS SOPS 169604 HAS SOUS 64766 HAS SOUPS 64766 WITH SCORE 64935.604
AT ITER 3412 NEW BEST:: SOT 286094 SOS 169573 HAS SOPS 169573 HAS SOUS 64735 HAS SOUPS 64735 WITH SCORE 64904.573
AT ITER 3430 NEW BEST:: SOT 285953 SOS 169408 HAS SOPS 169408 HAS SOUS 64570 HAS SOUPS 64570 WITH SCORE 64739.408
AT ITER 3446 NEW BEST:: SOT 285856 SOS 169227 HAS SOPS 169227 HAS SOUS 64368 HAS SOUPS 64368 WITH SCORE 64537.227
AT ITER 3488 NEW BEST:: SOT 285855 SOS 169170 HAS SOPS 169170 HAS SOUS 64366 HAS SOUPS 64366 WITH SCORE 64535.17
AT ITER 3489 NEW BEST:: SOT 285853 SOS 169135 HAS SOPS 169135 HAS SOUS 64362 HAS SOUPS 64362 WITH SCORE 64531.135
AT ITER 3506 NEW BEST:: SOT 285851 SOS 169133 HAS SOPS 169133 HAS SOUS 64359 HAS SOUPS 64359 WITH SCORE 64528.133
AT ITER 3509 NEW BEST:: SOT 285834 SOS 169099 HAS SOPS 169099 HAS SOUS 64325 HAS SOUPS 64325 WITH SCORE 64494.099
AT ITER 3537 NEW BEST:: SOT 285834 SOS 169007 HAS SOPS 169007 HAS SOUS 64325 HAS SOUPS 64325 WITH SCORE 64494.007
AT ITER 3538 NEW BEST:: SOT 285829 SOS 169002 HAS SOPS 169002 HAS SOUS 64320 HAS SOUPS 64320 WITH SCORE 64489.002
AT ITER 3586 NEW BEST:: SOT 285826 SOS 169009 HAS SOPS 169009 HAS SOUS 64255 HAS SOUPS 64255 WITH SCORE 64424.009
AT ITER 3598 NEW BEST:: SOT 285803 SOS 168935 HAS SOPS 168935 HAS SOUS 64153 HAS SOUPS 64153 WITH SCORE 64321.935
AT ITER 3621 NEW BEST:: SOT 285801 SOS 168931 HAS SOPS 168931 HAS SOUS 64149 HAS SOUPS 64149 WITH SCORE 64317.931
AT ITER 3649 NEW BEST:: SOT 285765 SOS 168913 HAS SOPS 168913 HAS SOUS 64125 HAS SOUPS 64125 WITH SCORE 64293.913
AT ITER 3654 NEW BEST:: SOT 285765 SOS 168913 HAS SOPS 168913 HAS SOUS 64111 HAS SOUPS 64111 WITH SCORE 64279.913
AT ITER 3670 NEW BEST:: SOT 284698 SOS 167776 HAS SOPS 167776 HAS SOUS 62988 HAS SOUPS 62988 WITH SCORE 63155.776
AT ITER 3671 NEW BEST:: SOT 284698 SOS 167760 HAS SOPS 167760 HAS SOUS 62980 HAS SOUPS 62980 WITH SCORE 63147.76
AT ITER 3673 NEW BEST:: SOT 284695 SOS 167757 HAS SOPS 167757 HAS SOUS 62974 HAS SOUPS 62974 WITH SCORE 63141.757
AT ITER 3707 NEW BEST:: SOT 284663 SOS 167660 HAS SOPS 167660 HAS SOUS 62949 HAS SOUPS 62949 WITH SCORE 63116.66
AT ITER 3708 NEW BEST:: SOT 284645 SOS 167642 HAS SOPS 167642 HAS SOUS 62931 HAS SOUPS 62931 WITH SCORE 63098.642
AT ITER 3720 NEW BEST:: SOT 284604 SOS 167601 HAS SOPS 167601 HAS SOUS 62821 HAS SOUPS 62821 WITH SCORE 62988.601
AT ITER 3730 NEW BEST:: SOT 284604 SOS 167785 HAS SOPS 167785 HAS SOUS 62810 HAS SOUPS 62810 WITH SCORE 62977.785
AT ITER 3738 NEW BEST:: SOT 284603 SOS 167784 HAS SOPS 167784 HAS SOUS 62799 HAS SOUPS 62799 WITH SCORE 62966.784
AT ITER 3756 NEW BEST:: SOT 284603 SOS 167778 HAS SOPS 167778 HAS SOUS 62799 HAS SOUPS 62799 WITH SCORE 62966.778
AT ITER 3794 NEW BEST:: SOT 284603 SOS 167583 HAS SOPS 167583 HAS SOUS 62653 HAS SOUPS 62653 WITH SCORE 62820.583
AT ITER 3803 NEW BEST:: SOT 284596 SOS 167576 HAS SOPS 167576 HAS SOUS 62646 HAS SOUPS 62646 WITH SCORE 62813.576
AT ITER 3819 NEW BEST:: SOT 283742 SOS 164148 HAS SOPS 164148 HAS SOUS 61594 HAS SOUPS 61594 WITH SCORE 61758.148
AT ITER 3841 NEW BEST:: SOT 283820 SOS 164226 HAS SOPS 164226 HAS SOUS 61566 HAS SOUPS 61566 WITH SCORE 61730.226
AT ITER 3842 NEW BEST:: SOT 283820 SOS 164096 HAS SOPS 164096 HAS SOUS 61436 HAS SOUPS 61436 WITH SCORE 61600.096
AT ITER 3851 NEW BEST:: SOT 283752 SOS 164325 HAS SOPS 164325 HAS SOUS 61395 HAS SOUPS 61395 WITH SCORE 61559.325
AT ITER 3854 NEW BEST:: SOT 283751 SOS 164323 HAS SOPS 164323 HAS SOUS 61393 HAS SOUPS 61393 WITH SCORE 61557.323
AT ITER 3859 NEW BEST:: SOT 283751 SOS 164279 HAS SOPS 164279 HAS SOUS 61345 HAS SOUPS 61345 WITH SCORE 61509.279
AT ITER 3882 NEW BEST:: SOT 283753 SOS 164277 HAS SOPS 164277 HAS SOUS 61343 HAS SOUPS 61343 WITH SCORE 61507.277
AT ITER 3905 NEW BEST:: SOT 283746 SOS 164270 HAS SOPS 164270 HAS SOUS 61322 HAS SOUPS 61322 WITH SCORE 61486.27
AT ITER 3916 NEW BEST:: SOT 283685 SOS 164262 HAS SOPS 164262 HAS SOUS 61321 HAS SOUPS 61321 WITH SCORE 61485.262
AT ITER 3925 NEW BEST:: SOT 283655 SOS 164340 HAS SOPS 164340 HAS SOUS 61261 HAS SOUPS 61261 WITH SCORE 61425.34
AT ITER 3938 NEW BEST:: SOT 283652 SOS 164334 HAS SOPS 164334 HAS SOUS 61252 HAS SOUPS 61252 WITH SCORE 61416.334
AT ITER 3950 NEW BEST:: SOT 283625 SOS 164300 HAS SOPS 164300 HAS SOUS 61234 HAS SOUPS 61234 WITH SCORE 61398.3
AT ITER 3969 NEW BEST:: SOT 283593 SOS 164268 HAS SOPS 164268 HAS SOUS 61202 HAS SOUPS 61202 WITH SCORE 61366.268
AT ITER 3985 NEW BEST:: SOT 283548 SOS 164223 HAS SOPS 164223 HAS SOUS 61089 HAS SOUPS 61089 WITH SCORE 61253.223
AT ITER 4016 NEW BEST:: SOT 283518 SOS 164193 HAS SOPS 164193 HAS SOUS 61059 HAS SOUPS 61059 WITH SCORE 61223.193
AT ITER 4036 NEW BEST:: SOT 283445 SOS 164366 HAS SOPS 164366 HAS SOUS 61009 HAS SOUPS 61009 WITH SCORE 61173.366
AT ITER 4048 NEW BEST:: SOT 283440 SOS 164351 HAS SOPS 164351 HAS SOUS 60994 HAS SOUPS 60994 WITH SCORE 61158.351
AT ITER 4110 NEW BEST:: SOT 283241 SOS 164010 HAS SOPS 164010 HAS SOUS 60969 HAS SOUPS 60969 WITH SCORE 61133.01
AT ITER 4138 NEW BEST:: SOT 283213 SOS 163982 HAS SOPS 163982 HAS SOUS 60934 HAS SOUPS 60934 WITH SCORE 61097.982
AT ITER 4143 NEW BEST:: SOT 283183 SOS 163947 HAS SOPS 163947 HAS SOUS 60869 HAS SOUPS 60869 WITH SCORE 61032.947
AT ITER 4183 NEW BEST:: SOT 283141 SOS 163674 HAS SOPS 163674 HAS SOUS 60797 HAS SOUPS 60797 WITH SCORE 60960.674
AT ITER 4184 NEW BEST:: SOT 282819 SOS 163349 HAS SOPS 163349 HAS SOUS 60472 HAS SOUPS 60472 WITH SCORE 60635.349
AT ITER 4216 NEW BEST:: SOT 282839 SOS 163369 HAS SOPS 163369 HAS SOUS 60460 HAS SOUPS 60460 WITH SCORE 60623.369
AT ITER 4285 NEW BEST:: SOT 282838 SOS 163373 HAS SOPS 163373 HAS SOUS 60458 HAS SOUPS 60458 WITH SCORE 60621.373
AT ITER 4326 NEW BEST:: SOT 282718 SOS 162847 HAS SOPS 162847 HAS SOUS 60330 HAS SOUPS 60330 WITH SCORE 60492.847
AT ITER 4342 NEW BEST:: SOT 282787 SOS 161849 HAS SOPS 161849 HAS SOUS 60092 HAS SOUPS 60092 WITH SCORE 60253.849
AT ITER 4350 NEW BEST:: SOT 282772 SOS 161834 HAS SOPS 161834 HAS SOUS 60082 HAS SOUPS 60082 WITH SCORE 60243.834
AT ITER 4390 NEW BEST:: SOT 282724 SOS 161752 HAS SOPS 161752 HAS SOUS 60007 HAS SOUPS 60007 WITH SCORE 60168.752
AT ITER 4401 NEW BEST:: SOT 282516 SOS 161178 HAS SOPS 161178 HAS SOUS 59641 HAS SOUPS 59641 WITH SCORE 59802.178
AT ITER 4406 NEW BEST:: SOT 282501 SOS 161100 HAS SOPS 161100 HAS SOUS 59584 HAS SOUPS 59584 WITH SCORE 59745.1
AT ITER 4409 NEW BEST:: SOT 282420 SOS 160780 HAS SOPS 160780 HAS SOUS 59512 HAS SOUPS 59512 WITH SCORE 59672.78
AT ITER 4442 NEW BEST:: SOT 282372 SOS 160667 HAS SOPS 160667 HAS SOUS 59477 HAS SOUPS 59477 WITH SCORE 59637.667
AT ITER 4464 NEW BEST:: SOT 282371 SOS 160610 HAS SOPS 160610 HAS SOUS 59475 HAS SOUPS 59475 WITH SCORE 59635.61
AT ITER 4501 NEW BEST:: SOT 282329 SOS 160547 HAS SOPS 160547 HAS SOUS 59454 HAS SOUPS 59454 WITH SCORE 59614.547
AT ITER 4504 NEW BEST:: SOT 282316 SOS 160534 HAS SOPS 160534 HAS SOUS 59420 HAS SOUPS 59420 WITH SCORE 59580.534
AT ITER 4524 NEW BEST:: SOT 282314 SOS 160505 HAS SOPS 160505 HAS SOUS 59418 HAS SOUPS 59418 WITH SCORE 59578.505
AT ITER 4533 NEW BEST:: SOT 282300 SOS 160438 HAS SOPS 160438 HAS SOUS 59402 HAS SOUPS 59402 WITH SCORE 59562.438
AT ITER 4539 NEW BEST:: SOT 282218 SOS 160267 HAS SOPS 160267 HAS SOUS 59285 HAS SOUPS 59285 WITH SCORE 59445.267
AT ITER 4546 NEW BEST:: SOT 282171 SOS 160205 HAS SOPS 160205 HAS SOUS 59223 HAS SOUPS 59223 WITH SCORE 59383.205
AT ITER 4570 NEW BEST:: SOT 282170 SOS 160196 HAS SOPS 160196 HAS SOUS 59222 HAS SOUPS 59222 WITH SCORE 59382.196
AT ITER 4576 NEW BEST:: SOT 282170 SOS 160196 HAS SOPS 160196 HAS SOUS 59221 HAS SOUPS 59221 WITH SCORE 59381.196
AT ITER 4594 NEW BEST:: SOT 282170 SOS 160188 HAS SOPS 160188 HAS SOUS 59221 HAS SOUPS 59221 WITH SCORE 59381.188
AT ITER 4630 NEW BEST:: SOT 282112 SOS 160130 HAS SOPS 160130 HAS SOUS 59105 HAS SOUPS 59105 WITH SCORE 59265.13
AT ITER 4655 NEW BEST:: SOT 282176 SOS 160255 HAS SOPS 160255 HAS SOUS 59072 HAS SOUPS 59072 WITH SCORE 59232.255
AT ITER 4732 NEW BEST:: SOT 282176 SOS 160247 HAS SOPS 160247 HAS SOUS 59057 HAS SOUPS 59057 WITH SCORE 59217.247
AT ITER 4772 NEW BEST:: SOT 282164 SOS 160075 HAS SOPS 160075 HAS SOUS 59015 HAS SOUPS 59015 WITH SCORE 59175.075
AT ITER 4782 NEW BEST:: SOT 282145 SOS 159800 HAS SOPS 159800 HAS SOUS 58996 HAS SOUPS 58996 WITH SCORE 59155.8
AT ITER 4788 NEW BEST:: SOT 282193 SOS 159791 HAS SOPS 159791 HAS SOUS 58986 HAS SOUPS 58986 WITH SCORE 59145.791
AT ITER 4802 NEW BEST:: SOT 282194 SOS 159796 HAS SOPS 159796 HAS SOUS 58985 HAS SOUPS 58985 WITH SCORE 59144.796
AT ITER 4806 NEW BEST:: SOT 282300 SOS 158748 HAS SOPS 158748 HAS SOUS 58955 HAS SOUPS 58955 WITH SCORE 59113.748
AT ITER 4824 NEW BEST:: SOT 282289 SOS 158723 HAS SOPS 158723 HAS SOUS 58930 HAS SOUPS 58930 WITH SCORE 59088.723
AT ITER 4845 NEW BEST:: SOT 282250 SOS 158671 HAS SOPS 158671 HAS SOUS 58865 HAS SOUPS 58865 WITH SCORE 59023.671
AT ITER 4864 NEW BEST:: SOT 281642 SOS 158618 HAS SOPS 158618 HAS SOUS 58540 HAS SOUPS 58540 WITH SCORE 58698.618
AT ITER 4867 NEW BEST:: SOT 281510 SOS 158343 HAS SOPS 158343 HAS SOUS 58203 HAS SOUPS 58203 WITH SCORE 58361.343
AT ITER 4890 NEW BEST:: SOT 281532 SOS 158313 HAS SOPS 158313 HAS SOUS 58185 HAS SOUPS 58185 WITH SCORE 58343.313
AT ITER 4915 NEW BEST:: SOT 281409 SOS 158129 HAS SOPS 158129 HAS SOUS 57959 HAS SOUPS 57959 WITH SCORE 58117.129
AT ITER 4985 NEW BEST:: SOT 281409 SOS 158114 HAS SOPS 158114 HAS SOUS 57944 HAS SOUPS 57944 WITH SCORE 58102.114
AT ITER 4995 NEW BEST:: SOT 281303 SOS 157875 HAS SOPS 157875 HAS SOUS 57878 HAS SOUPS 57878 WITH SCORE 58035.875
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ASLink-PT-02a-CTLCardinality-00 ( ( ( (EX( potential( (tk(P316)) <= (tk(P118)) ))) | (AF(potential( ( 2 ) <= (tk(P509)) ))) ) & (EU( potential( (tk(P242)) <= (tk(P414)) ),potential( ( 1 ) <= (tk(P354)) ) )) ) | (AF((AG( potential( (tk(P132)) <= (tk(P186)) ))))) )
PROPERTY: ASLink-PT-02a-CTLCardinality-01 ( potential( (tk(P305)) <= (tk(P2)) ) & (! ( potential( (tk(P26)) <= (tk(P244)) ) & (EG( potential( (tk(P16)) <= (tk(P49)) ))) )) )
PROPERTY: ASLink-PT-02a-CTLCardinality-02 (EG( (EU( potential( (tk(P176)) <= (tk(P459)) ),potential( ( 3 ) <= (tk(P10)) ) ))))
PROPERTY: ASLink-PT-02a-CTLCardinality-03 (EG( (! ( (! potential( (tk(P396)) <= (tk(P475)) )) | ( potential( (tk(P12)) <= (tk(P572)) ) & potential( ( 3 ) <= (tk(P6)) ) ) ))))
PROPERTY: ASLink-PT-02a-CTLCardinality-04 ( ( (! ( ( potential( (tk(P333)) <= (tk(P294)) ) | potential( ( 3 ) <= (tk(P477)) ) ) | potential( (tk(P104)) <= (tk(P487)) ) )) | (AG( potential( (tk(P151)) <= (tk(P580)) ))) ) & ( potential( (tk(P281)) <= (tk(P294)) ) & ( potential( (tk(P170)) <= (tk(P217)) ) & (! potential( ( 1 ) <= (tk(P167)) )) ) ) )
PROPERTY: ASLink-PT-02a-CTLCardinality-05 ( (AU( potential( (tk(P614)) <= (tk(P156)) ),(! potential( (tk(P342)) <= (tk(P514)) )) )) | (AU( ( potential( ( 2 ) <= (tk(P241)) ) & potential( ( 1 ) <= (tk(P70)) ) ),(! potential( (tk(P567)) <= (tk(P576)) )) )) )
PROPERTY: ASLink-PT-02a-CTLCardinality-06 (! (! (! (AG( potential( (tk(P618)) <= (tk(P420)) ))))))
PROPERTY: ASLink-PT-02a-CTLCardinality-07 ( ( potential( (tk(P226)) <= (tk(P329)) ) | (AU( potential( (tk(P159)) <= (tk(P520)) ),potential( ( 2 ) <= (tk(P393)) ) )) ) & (EG( potential( (tk(P165)) <= (tk(P234)) ))) )
PROPERTY: ASLink-PT-02a-CTLCardinality-08 (! (EF(potential( ( 1 ) <= (tk(P31)) ))))
PROPERTY: ASLink-PT-02a-CTLCardinality-09 (EF((! ( potential( (tk(P299)) <= (tk(P227)) ) & potential( (tk(P28)) <= (tk(P611)) ) ))))
PROPERTY: ASLink-PT-02a-CTLCardinality-10 (! (EF((EG( potential( (tk(P144)) <= (tk(P421)) ))))))
PROPERTY: ASLink-PT-02a-CTLCardinality-11 (AF((! (! ( potential( ( 3 ) <= (tk(P479)) ) & potential( (tk(P482)) <= (tk(P314)) ) )))))
PROPERTY: ASLink-PT-02a-CTLCardinality-12 ( ( ( (EG( potential( ( 1 ) <= (tk(P558)) ))) & potential( (tk(P82)) <= (tk(P280)) ) ) & (EG( potential( (tk(P471)) <= (tk(P217)) ))) ) | (! (AF((! potential( (tk(P391)) <= (tk(P194)) ))))) )
PROPERTY: ASLink-PT-02a-CTLCardinality-13 (AX( ( (EG( potential( (tk(P416)) <= (tk(P199)) ))) | (AG( potential( (tk(P226)) <= (tk(P101)) ))) )))
PROPERTY: ASLink-PT-02a-CTLCardinality-14 (EG( ( (AF(potential( (tk(P333)) <= (tk(P111)) ))) & (EX( potential( (tk(P125)) <= (tk(P469)) ))) )))
PROPERTY: ASLink-PT-02a-CTLCardinality-15 (AG( (AX( (! potential( ( 3 ) <= (tk(P347)) ))))))

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ASLink-PT-02a"
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 ASLink-PT-02a, 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 r003-smll-158897508000027"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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