Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r123-tajo-158961354700427.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/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 PolyORBLF-PT-S02J04T10, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r123-tajo-158961354700427
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.9M
-rw-r--r-- 1 mcc users 8.3K Apr 12 05:39 CTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Apr 12 05:39 CTLCardinality.xml
-rw-r--r-- 1 mcc users 23K Apr 11 04:55 CTLFireability.txt
-rw-r--r-- 1 mcc users 87K Apr 11 04:55 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 8.0K Apr 14 12:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 33K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 9.9K Apr 14 12:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 47K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Apr 10 12:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 36K Apr 10 12:36 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.9K Apr 9 17:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 39K Apr 9 17:46 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.0K Apr 10 22:22 UpperBounds.txt
-rw-r--r-- 1 mcc users 6.2K Apr 10 22:22 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 1.5M 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 PolyORBLF-PT-S02J04T10-CTLCardinality-00
FORMULA_NAME PolyORBLF-PT-S02J04T10-CTLCardinality-01
FORMULA_NAME PolyORBLF-PT-S02J04T10-CTLCardinality-02
FORMULA_NAME PolyORBLF-PT-S02J04T10-CTLCardinality-03
FORMULA_NAME PolyORBLF-PT-S02J04T10-CTLCardinality-04
FORMULA_NAME PolyORBLF-PT-S02J04T10-CTLCardinality-05
FORMULA_NAME PolyORBLF-PT-S02J04T10-CTLCardinality-06
FORMULA_NAME PolyORBLF-PT-S02J04T10-CTLCardinality-07
FORMULA_NAME PolyORBLF-PT-S02J04T10-CTLCardinality-08
FORMULA_NAME PolyORBLF-PT-S02J04T10-CTLCardinality-09
FORMULA_NAME PolyORBLF-PT-S02J04T10-CTLCardinality-10
FORMULA_NAME PolyORBLF-PT-S02J04T10-CTLCardinality-11
FORMULA_NAME PolyORBLF-PT-S02J04T10-CTLCardinality-12
FORMULA_NAME PolyORBLF-PT-S02J04T10-CTLCardinality-13
FORMULA_NAME PolyORBLF-PT-S02J04T10-CTLCardinality-14
FORMULA_NAME PolyORBLF-PT-S02J04T10-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589642542328

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (PT), instance S02J04T10
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: 752 places, 1572 transitions, 7262 arcs.
AT ITER 0 NEW BEST:: SOT 715590 SOS 379362 HAS SOPS 372459 HAS SOUS 221796 HAS SOUPS 221303 WITH SCORE 221682.362
AT ITER 15 NEW BEST:: SOT 715520 SOS 379292 HAS SOPS 372389 HAS SOUS 221656 HAS SOUPS 221163 WITH SCORE 221542.292
AT ITER 18 NEW BEST:: SOT 715377 SOS 379149 HAS SOPS 372246 HAS SOUS 221439 HAS SOUPS 220946 WITH SCORE 221325.149
AT ITER 21 NEW BEST:: SOT 715243 SOS 379010 HAS SOPS 372143 HAS SOUS 221216 HAS SOUPS 220723 WITH SCORE 221102.01
AT ITER 22 NEW BEST:: SOT 714877 SOS 378589 HAS SOPS 371722 HAS SOUS 220775 HAS SOUPS 220282 WITH SCORE 220660.589
AT ITER 23 NEW BEST:: SOT 714877 SOS 378589 HAS SOPS 371712 HAS SOUS 220759 HAS SOUPS 220264 WITH SCORE 220642.589
AT ITER 27 NEW BEST:: SOT 714857 SOS 378549 HAS SOPS 371672 HAS SOUS 220729 HAS SOUPS 220234 WITH SCORE 220612.549
AT ITER 29 NEW BEST:: SOT 714791 SOS 378483 HAS SOPS 371596 HAS SOUS 220653 HAS SOUPS 220153 WITH SCORE 220531.483
AT ITER 30 NEW BEST:: SOT 715247 SOS 379414 HAS SOPS 372527 HAS SOUS 220498 HAS SOUPS 219998 WITH SCORE 220377.414
AT ITER 48 NEW BEST:: SOT 715213 SOS 379380 HAS SOPS 372483 HAS SOUS 220446 HAS SOUPS 219945 WITH SCORE 220324.38
AT ITER 51 NEW BEST:: SOT 712056 SOS 376336 HAS SOPS 369439 HAS SOUS 219210 HAS SOUPS 218709 WITH SCORE 219085.336
AT ITER 52 NEW BEST:: SOT 711580 SOS 375979 HAS SOPS 369082 HAS SOUS 218843 HAS SOUPS 218342 WITH SCORE 218717.979
AT ITER 58 NEW BEST:: SOT 711455 SOS 375656 HAS SOPS 368759 HAS SOUS 218589 HAS SOUPS 218088 WITH SCORE 218463.656
AT ITER 61 NEW BEST:: SOT 711409 SOS 375564 HAS SOPS 368667 HAS SOUS 218504 HAS SOUPS 218003 WITH SCORE 218378.564
AT ITER 76 NEW BEST:: SOT 711184 SOS 375330 HAS SOPS 368433 HAS SOUS 218270 HAS SOUPS 217769 WITH SCORE 218144.33
AT ITER 78 NEW BEST:: SOT 711184 SOS 375330 HAS SOPS 368423 HAS SOUS 218250 HAS SOUPS 217749 WITH SCORE 218124.33
AT ITER 85 NEW BEST:: SOT 711124 SOS 375270 HAS SOPS 368363 HAS SOUS 218130 HAS SOUPS 217629 WITH SCORE 218004.27
AT ITER 86 NEW BEST:: SOT 705981 SOS 370654 HAS SOPS 363747 HAS SOUS 216297 HAS SOUPS 215796 WITH SCORE 216166.654
AT ITER 89 NEW BEST:: SOT 705411 SOS 370230 HAS SOPS 363323 HAS SOUS 215978 HAS SOUPS 215477 WITH SCORE 215847.23
AT ITER 92 NEW BEST:: SOT 705287 SOS 370584 HAS SOPS 363707 HAS SOUS 215940 HAS SOUPS 215440 WITH SCORE 215810.584
AT ITER 97 NEW BEST:: SOT 705185 SOS 370380 HAS SOPS 363503 HAS SOUS 215753 HAS SOUPS 215253 WITH SCORE 215623.38
AT ITER 100 NEW BEST:: SOT 705052 SOS 370071 HAS SOPS 363078 HAS SOUS 215508 HAS SOUPS 215008 WITH SCORE 215378.071
AT ITER 114 NEW BEST:: SOT 704721 SOS 369829 HAS SOPS 362836 HAS SOUS 215266 HAS SOUPS 214766 WITH SCORE 215135.829
AT ITER 127 NEW BEST:: SOT 699226 SOS 364538 HAS SOPS 357545 HAS SOUS 213219 HAS SOUPS 212719 WITH SCORE 213083.538
AT ITER 140 NEW BEST:: SOT 699316 SOS 364668 HAS SOPS 357674 HAS SOUS 213212 HAS SOUPS 212712 WITH SCORE 213076.668
AT ITER 146 NEW BEST:: SOT 697548 SOS 363002 HAS SOPS 356008 HAS SOUS 211535 HAS SOUPS 211035 WITH SCORE 211398.002
AT ITER 173 NEW BEST:: SOT 697434 SOS 362717 HAS SOPS 355723 HAS SOUS 211307 HAS SOUPS 210807 WITH SCORE 211169.717
AT ITER 177 NEW BEST:: SOT 695740 SOS 361106 HAS SOPS 354112 HAS SOUS 209684 HAS SOUPS 209184 WITH SCORE 209545.106
AT ITER 179 NEW BEST:: SOT 695432 SOS 360643 HAS SOPS 353649 HAS SOUS 209291 HAS SOUPS 208791 WITH SCORE 209151.643
AT ITER 182 NEW BEST:: SOT 695174 SOS 360385 HAS SOPS 353391 HAS SOUS 208219 HAS SOUPS 207719 WITH SCORE 208079.385
AT ITER 186 NEW BEST:: SOT 694921 SOS 360228 HAS SOPS 353358 HAS SOUS 208079 HAS SOUPS 207579 WITH SCORE 207939.228
AT ITER 193 NEW BEST:: SOT 696973 SOS 362845 HAS SOPS 355975 HAS SOUS 208076 HAS SOUPS 207576 WITH SCORE 207938.845
AT ITER 207 NEW BEST:: SOT 695995 SOS 361872 HAS SOPS 355002 HAS SOUS 207088 HAS SOUPS 206588 WITH SCORE 206949.872
AT ITER 219 NEW BEST:: SOT 695578 SOS 361605 HAS SOPS 354735 HAS SOUS 206831 HAS SOUPS 206331 WITH SCORE 206692.605
AT ITER 220 NEW BEST:: SOT 695208 SOS 361161 HAS SOPS 354291 HAS SOUS 206387 HAS SOUPS 205887 WITH SCORE 206248.161
AT ITER 221 NEW BEST:: SOT 694644 SOS 360738 HAS SOPS 353868 HAS SOUS 205682 HAS SOUPS 205182 WITH SCORE 205542.738
AT ITER 225 NEW BEST:: SOT 694618 SOS 360701 HAS SOPS 353831 HAS SOUS 205641 HAS SOUPS 205141 WITH SCORE 205501.701
AT ITER 230 NEW BEST:: SOT 694265 SOS 360416 HAS SOPS 353546 HAS SOUS 205288 HAS SOUPS 204788 WITH SCORE 205148.416
AT ITER 234 NEW BEST:: SOT 694083 SOS 360184 HAS SOPS 353314 HAS SOUS 205102 HAS SOUPS 204602 WITH SCORE 204962.184
AT ITER 268 NEW BEST:: SOT 694061 SOS 360140 HAS SOPS 353270 HAS SOUS 205087 HAS SOUPS 204587 WITH SCORE 204947.14
AT ITER 285 NEW BEST:: SOT 694009 SOS 360420 HAS SOPS 353578 HAS SOUS 205063 HAS SOUPS 204563 WITH SCORE 204923.42
AT ITER 289 NEW BEST:: SOT 693866 SOS 360333 HAS SOPS 353491 HAS SOUS 204976 HAS SOUPS 204476 WITH SCORE 204836.333
AT ITER 291 NEW BEST:: SOT 693866 SOS 360360 HAS SOPS 353518 HAS SOUS 204966 HAS SOUPS 204466 WITH SCORE 204826.36
AT ITER 299 NEW BEST:: SOT 693725 SOS 360219 HAS SOPS 353377 HAS SOUS 204771 HAS SOUPS 204271 WITH SCORE 204631.219
AT ITER 300 NEW BEST:: SOT 693412 SOS 370770 HAS SOPS 363928 HAS SOUS 204729 HAS SOUPS 204229 WITH SCORE 204599.77
AT ITER 315 NEW BEST:: SOT 693010 SOS 370535 HAS SOPS 363693 HAS SOUS 204540 HAS SOUPS 204040 WITH SCORE 204410.535
AT ITER 319 NEW BEST:: SOT 692973 SOS 370498 HAS SOPS 363656 HAS SOUS 204252 HAS SOUPS 203752 WITH SCORE 204122.498
AT ITER 329 NEW BEST:: SOT 692615 SOS 370266 HAS SOPS 363424 HAS SOUS 203888 HAS SOUPS 203388 WITH SCORE 203758.266
AT ITER 333 NEW BEST:: SOT 692336 SOS 369987 HAS SOPS 363145 HAS SOUS 202330 HAS SOUPS 201830 WITH SCORE 202199.987
AT ITER 334 NEW BEST:: SOT 682720 SOS 363367 HAS SOPS 357610 HAS SOUS 193364 HAS SOUPS 192953 WITH SCORE 193316.367
AT ITER 339 NEW BEST:: SOT 682720 SOS 363347 HAS SOPS 357590 HAS SOUS 193308 HAS SOUPS 192897 WITH SCORE 193260.347
AT ITER 345 NEW BEST:: SOT 682649 SOS 363326 HAS SOPS 357569 HAS SOUS 193094 HAS SOUPS 192683 WITH SCORE 193046.326
AT ITER 351 NEW BEST:: SOT 675276 SOS 359484 HAS SOPS 353727 HAS SOUS 191124 HAS SOUPS 190713 WITH SCORE 191072.484
AT ITER 354 NEW BEST:: SOT 675257 SOS 359465 HAS SOPS 353708 HAS SOUS 191105 HAS SOUPS 190694 WITH SCORE 191053.465
AT ITER 366 NEW BEST:: SOT 675123 SOS 360051 HAS SOPS 354318 HAS SOUS 190924 HAS SOUPS 190513 WITH SCORE 190873.051
AT ITER 372 NEW BEST:: SOT 674812 SOS 359740 HAS SOPS 354007 HAS SOUS 190613 HAS SOUPS 190202 WITH SCORE 190561.74
AT ITER 379 NEW BEST:: SOT 674783 SOS 359682 HAS SOPS 353949 HAS SOUS 190484 HAS SOUPS 190073 WITH SCORE 190432.682
AT ITER 387 NEW BEST:: SOT 667858 SOS 355073 HAS SOPS 349340 HAS SOUS 188484 HAS SOUPS 188073 WITH SCORE 188428.073
AT ITER 388 NEW BEST:: SOT 667588 SOS 354783 HAS SOPS 349050 HAS SOUS 188291 HAS SOUPS 187880 WITH SCORE 188234.783
AT ITER 390 NEW BEST:: SOT 667511 SOS 354674 HAS SOPS 348941 HAS SOUS 188182 HAS SOUPS 187771 WITH SCORE 188125.674
AT ITER 394 NEW BEST:: SOT 667565 SOS 354728 HAS SOPS 348975 HAS SOUS 188070 HAS SOUPS 187649 WITH SCORE 188003.728
AT ITER 403 NEW BEST:: SOT 667565 SOS 354742 HAS SOPS 348989 HAS SOUS 188026 HAS SOUPS 187605 WITH SCORE 187959.742
AT ITER 407 NEW BEST:: SOT 667299 SOS 354467 HAS SOPS 348714 HAS SOUS 187751 HAS SOUPS 187330 WITH SCORE 187684.467
AT ITER 414 NEW BEST:: SOT 667220 SOS 354393 HAS SOPS 348640 HAS SOUS 187746 HAS SOUPS 187325 WITH SCORE 187679.393
AT ITER 441 NEW BEST:: SOT 666250 SOS 353423 HAS SOPS 347670 HAS SOUS 187344 HAS SOUPS 186923 WITH SCORE 187276.423
AT ITER 448 NEW BEST:: SOT 666218 SOS 353391 HAS SOPS 347638 HAS SOUS 187313 HAS SOUPS 186892 WITH SCORE 187245.391
AT ITER 457 NEW BEST:: SOT 666212 SOS 353379 HAS SOPS 347638 HAS SOUS 187295 HAS SOUPS 186874 WITH SCORE 187227.379
AT ITER 474 NEW BEST:: SOT 666100 SOS 354967 HAS SOPS 349249 HAS SOUS 187222 HAS SOUPS 186801 WITH SCORE 187155.967
AT ITER 480 NEW BEST:: SOT 666086 SOS 354939 HAS SOPS 349221 HAS SOUS 187194 HAS SOUPS 186773 WITH SCORE 187127.939
AT ITER 481 NEW BEST:: SOT 666057 SOS 354751 HAS SOPS 349033 HAS SOUS 187136 HAS SOUPS 186715 WITH SCORE 187069.751
AT ITER 484 NEW BEST:: SOT 666057 SOS 354902 HAS SOPS 349184 HAS SOUS 187002 HAS SOUPS 186581 WITH SCORE 186935.902
AT ITER 497 NEW BEST:: SOT 665911 SOS 354756 HAS SOPS 349038 HAS SOUS 186775 HAS SOUPS 186354 WITH SCORE 186708.756
AT ITER 502 NEW BEST:: SOT 665876 SOS 354721 HAS SOPS 349003 HAS SOUS 186740 HAS SOUPS 186319 WITH SCORE 186673.721
AT ITER 507 NEW BEST:: SOT 665876 SOS 354721 HAS SOPS 349003 HAS SOUS 186706 HAS SOUPS 186285 WITH SCORE 186639.721
AT ITER 524 NEW BEST:: SOT 665656 SOS 354524 HAS SOPS 348806 HAS SOUS 186543 HAS SOUPS 186122 WITH SCORE 186476.524
AT ITER 562 NEW BEST:: SOT 665656 SOS 354464 HAS SOPS 348746 HAS SOUS 186483 HAS SOUPS 186062 WITH SCORE 186416.464
AT ITER 618 NEW BEST:: SOT 665646 SOS 354444 HAS SOPS 348726 HAS SOUS 186463 HAS SOUPS 186042 WITH SCORE 186396.444
AT ITER 631 NEW BEST:: SOT 665610 SOS 354336 HAS SOPS 348618 HAS SOUS 186350 HAS SOUPS 185929 WITH SCORE 186283.336
AT ITER 636 NEW BEST:: SOT 665158 SOS 354137 HAS SOPS 348419 HAS SOUS 185516 HAS SOUPS 185095 WITH SCORE 185449.137
AT ITER 637 NEW BEST:: SOT 658088 SOS 350258 HAS SOPS 344540 HAS SOUS 183850 HAS SOUPS 183429 WITH SCORE 183779.258
AT ITER 638 NEW BEST:: SOT 657865 SOS 350120 HAS SOPS 344402 HAS SOUS 183809 HAS SOUPS 183388 WITH SCORE 183738.12
AT ITER 642 NEW BEST:: SOT 657660 SOS 349915 HAS SOPS 344197 HAS SOUS 183535 HAS SOUPS 183114 WITH SCORE 183463.915
AT ITER 651 NEW BEST:: SOT 657707 SOS 350009 HAS SOPS 344291 HAS SOUS 183533 HAS SOUPS 183112 WITH SCORE 183462.009
AT ITER 690 NEW BEST:: SOT 657714 SOS 350021 HAS SOPS 344303 HAS SOUS 183531 HAS SOUPS 183110 WITH SCORE 183460.021
AT ITER 704 NEW BEST:: SOT 657673 SOS 349825 HAS SOPS 344107 HAS SOUS 183449 HAS SOUPS 183028 WITH SCORE 183377.825
AT ITER 711 NEW BEST:: SOT 655661 SOS 347216 HAS SOPS 341498 HAS SOUS 182114 HAS SOUPS 181693 WITH SCORE 182040.216
AT ITER 722 NEW BEST:: SOT 655120 SOS 346806 HAS SOPS 341088 HAS SOUS 181709 HAS SOUPS 181288 WITH SCORE 181634.806
AT ITER 724 NEW BEST:: SOT 655100 SOS 346786 HAS SOPS 341068 HAS SOUS 181669 HAS SOUPS 181248 WITH SCORE 181594.786
AT ITER 733 NEW BEST:: SOT 648223 SOS 342912 HAS SOPS 335338 HAS SOUS 175130 HAS SOUPS 174405 WITH SCORE 174747.912
AT ITER 734 NEW BEST:: SOT 648203 SOS 342892 HAS SOPS 335318 HAS SOUS 175110 HAS SOUPS 174385 WITH SCORE 174727.892
AT ITER 752 NEW BEST:: SOT 648000 SOS 342582 HAS SOPS 335008 HAS SOUS 174868 HAS SOUPS 174143 WITH SCORE 174485.582
AT ITER 770 NEW BEST:: SOT 646738 SOS 341320 HAS SOPS 333746 HAS SOUS 174294 HAS SOUPS 173569 WITH SCORE 173910.32
AT ITER 777 NEW BEST:: SOT 646734 SOS 341312 HAS SOPS 333738 HAS SOUS 174286 HAS SOUPS 173561 WITH SCORE 173902.312
AT ITER 806 NEW BEST:: SOT 646356 SOS 341000 HAS SOPS 333426 HAS SOUS 173904 HAS SOUPS 173179 WITH SCORE 173520.0
AT ITER 813 NEW BEST:: SOT 646384 SOS 341028 HAS SOPS 333375 HAS SOUS 173924 HAS SOUPS 173120 WITH SCORE 173461.028
AT ITER 817 NEW BEST:: SOT 646312 SOS 340854 HAS SOPS 333201 HAS SOUS 173750 HAS SOUPS 172946 WITH SCORE 173286.854
AT ITER 821 NEW BEST:: SOT 646262 SOS 338700 HAS SOPS 331047 HAS SOUS 173711 HAS SOUPS 172907 WITH SCORE 173245.7
AT ITER 823 NEW BEST:: SOT 645959 SOS 338401 HAS SOPS 330748 HAS SOUS 173289 HAS SOUPS 172485 WITH SCORE 172823.401
AT ITER 824 NEW BEST:: SOT 644858 SOS 337284 HAS SOPS 329631 HAS SOUS 172221 HAS SOUPS 171417 WITH SCORE 171754.284
AT ITER 842 NEW BEST:: SOT 644819 SOS 337206 HAS SOPS 329553 HAS SOUS 172170 HAS SOUPS 171366 WITH SCORE 171703.206
AT ITER 862 NEW BEST:: SOT 644755 SOS 337142 HAS SOPS 329489 HAS SOUS 172123 HAS SOUPS 171319 WITH SCORE 171656.142
AT ITER 867 NEW BEST:: SOT 644880 SOS 337609 HAS SOPS 329956 HAS SOUS 172036 HAS SOUPS 171232 WITH SCORE 171569.609
AT ITER 868 NEW BEST:: SOT 644026 SOS 336821 HAS SOPS 329168 HAS SOUS 171227 HAS SOUPS 170423 WITH SCORE 170759.821
AT ITER 884 NEW BEST:: SOT 644026 SOS 337111 HAS SOPS 329458 HAS SOUS 170995 HAS SOUPS 170191 WITH SCORE 170528.111
AT ITER 896 NEW BEST:: SOT 644006 SOS 337091 HAS SOPS 329438 HAS SOUS 170975 HAS SOUPS 170171 WITH SCORE 170508.091
AT ITER 902 NEW BEST:: SOT 643992 SOS 337077 HAS SOPS 329424 HAS SOUS 170918 HAS SOUPS 170114 WITH SCORE 170451.077
AT ITER 904 NEW BEST:: SOT 643901 SOS 336939 HAS SOPS 329286 HAS SOUS 170683 HAS SOUPS 169879 WITH SCORE 170215.939
AT ITER 906 NEW BEST:: SOT 643895 SOS 336933 HAS SOPS 329280 HAS SOUS 170677 HAS SOUPS 169873 WITH SCORE 170209.933
AT ITER 922 NEW BEST:: SOT 643640 SOS 336468 HAS SOPS 328815 HAS SOUS 170377 HAS SOUPS 169573 WITH SCORE 169909.468
AT ITER 925 NEW BEST:: SOT 643568 SOS 336396 HAS SOPS 328743 HAS SOUS 170377 HAS SOUPS 169573 WITH SCORE 169909.396
AT ITER 927 NEW BEST:: SOT 643608 SOS 336587 HAS SOPS 328798 HAS SOUS 170309 HAS SOUPS 169493 WITH SCORE 169829.587
AT ITER 930 NEW BEST:: SOT 641448 SOS 334376 HAS SOPS 326587 HAS SOUS 169241 HAS SOUPS 168425 WITH SCORE 168759.376
AT ITER 931 NEW BEST:: SOT 641427 SOS 334308 HAS SOPS 326519 HAS SOUS 168863 HAS SOUPS 168047 WITH SCORE 168381.308
AT ITER 933 NEW BEST:: SOT 639616 SOS 332584 HAS SOPS 324795 HAS SOUS 167503 HAS SOUPS 166687 WITH SCORE 167019.584
AT ITER 951 NEW BEST:: SOT 639539 SOS 332518 HAS SOPS 324729 HAS SOUS 167113 HAS SOUPS 166297 WITH SCORE 166629.518
AT ITER 953 NEW BEST:: SOT 639390 SOS 332369 HAS SOPS 324580 HAS SOUS 166993 HAS SOUPS 166177 WITH SCORE 166509.369
AT ITER 956 NEW BEST:: SOT 639371 SOS 332350 HAS SOPS 324542 HAS SOUS 166974 HAS SOUPS 166158 WITH SCORE 166490.35
AT ITER 962 NEW BEST:: SOT 639423 SOS 332454 HAS SOPS 324646 HAS SOUS 166957 HAS SOUPS 166141 WITH SCORE 166473.454
AT ITER 966 NEW BEST:: SOT 639420 SOS 332024 HAS SOPS 324456 HAS SOUS 166908 HAS SOUPS 166116 WITH SCORE 166448.024
AT ITER 967 NEW BEST:: SOT 635347 SOS 328128 HAS SOPS 320560 HAS SOUS 164903 HAS SOUPS 164111 WITH SCORE 164439.128
AT ITER 979 NEW BEST:: SOT 635045 SOS 327957 HAS SOPS 320389 HAS SOUS 164696 HAS SOUPS 163904 WITH SCORE 164231.957
AT ITER 986 NEW BEST:: SOT 635066 SOS 327978 HAS SOPS 320410 HAS SOUS 164581 HAS SOUPS 163789 WITH SCORE 164116.978
AT ITER 990 NEW BEST:: SOT 635048 SOS 327960 HAS SOPS 320392 HAS SOUS 164500 HAS SOUPS 163708 WITH SCORE 164035.96
AT ITER 991 NEW BEST:: SOT 634779 SOS 327762 HAS SOPS 320310 HAS SOUS 164299 HAS SOUPS 163507 WITH SCORE 163834.762
AT ITER 997 NEW BEST:: SOT 634867 SOS 328590 HAS SOPS 321138 HAS SOUS 164229 HAS SOUPS 163437 WITH SCORE 163765.59
AT ITER 1000 NEW BEST:: SOT 634867 SOS 328540 HAS SOPS 321088 HAS SOUS 164078 HAS SOUPS 163286 WITH SCORE 163614.54
AT ITER 1002 NEW BEST:: SOT 634857 SOS 328383 HAS SOPS 320797 HAS SOUS 163921 HAS SOUPS 163129 WITH SCORE 163457.383
AT ITER 1005 NEW BEST:: SOT 634699 SOS 328925 HAS SOPS 321340 HAS SOUS 163705 HAS SOUPS 162913 WITH SCORE 163241.925
AT ITER 1012 NEW BEST:: SOT 634645 SOS 328939 HAS SOPS 321516 HAS SOUS 163605 HAS SOUPS 162813 WITH SCORE 163141.939
AT ITER 1014 NEW BEST:: SOT 634628 SOS 328922 HAS SOPS 321499 HAS SOUS 163587 HAS SOUPS 162795 WITH SCORE 163123.922
AT ITER 1017 NEW BEST:: SOT 635017 SOS 329183 HAS SOPS 321760 HAS SOUS 163175 HAS SOUPS 162383 WITH SCORE 162712.183
AT ITER 1022 NEW BEST:: SOT 634963 SOS 328887 HAS SOPS 321464 HAS SOUS 163122 HAS SOUPS 162330 WITH SCORE 162658.887
AT ITER 1023 NEW BEST:: SOT 634690 SOS 328614 HAS SOPS 321191 HAS SOUS 162904 HAS SOUPS 162112 WITH SCORE 162440.614
AT ITER 1028 NEW BEST:: SOT 634710 SOS 328690 HAS SOPS 321267 HAS SOUS 162770 HAS SOUPS 161978 WITH SCORE 162306.69
AT ITER 1042 NEW BEST:: SOT 634709 SOS 328689 HAS SOPS 321266 HAS SOUS 162712 HAS SOUPS 161920 WITH SCORE 162248.689
AT ITER 1065 NEW BEST:: SOT 634842 SOS 328828 HAS SOPS 321057 HAS SOUS 162978 HAS SOUPS 161838 WITH SCORE 162166.828
AT ITER 1075 NEW BEST:: SOT 634694 SOS 329070 HAS SOPS 321299 HAS SOUS 162845 HAS SOUPS 161705 WITH SCORE 162034.07
AT ITER 1076 NEW BEST:: SOT 633275 SOS 327594 HAS SOPS 319823 HAS SOUS 161642 HAS SOUPS 160502 WITH SCORE 160829.594
AT ITER 1084 NEW BEST:: SOT 633151 SOS 327470 HAS SOPS 319699 HAS SOUS 161409 HAS SOUPS 160269 WITH SCORE 160596.47
AT ITER 1089 NEW BEST:: SOT 632179 SOS 326498 HAS SOPS 318727 HAS SOUS 160683 HAS SOUPS 159543 WITH SCORE 159869.498
AT ITER 1092 NEW BEST:: SOT 632171 SOS 326490 HAS SOPS 318719 HAS SOUS 160675 HAS SOUPS 159535 WITH SCORE 159861.49
AT ITER 1100 NEW BEST:: SOT 632109 SOS 326428 HAS SOPS 318657 HAS SOUS 160545 HAS SOUPS 159405 WITH SCORE 159731.428
AT ITER 1110 NEW BEST:: SOT 632059 SOS 326341 HAS SOPS 318570 HAS SOUS 160489 HAS SOUPS 159349 WITH SCORE 159675.341
AT ITER 1122 NEW BEST:: SOT 631037 SOS 324973 HAS SOPS 317202 HAS SOUS 159724 HAS SOUPS 158584 WITH SCORE 158908.973
AT ITER 1124 NEW BEST:: SOT 630153 SOS 324163 HAS SOPS 316392 HAS SOUS 158885 HAS SOUPS 157745 WITH SCORE 158069.163
AT ITER 1133 NEW BEST:: SOT 630167 SOS 322385 HAS SOPS 314614 HAS SOUS 158787 HAS SOUPS 157647 WITH SCORE 157969.385
AT ITER 1135 NEW BEST:: SOT 630207 SOS 322349 HAS SOPS 314578 HAS SOUS 158786 HAS SOUPS 157646 WITH SCORE 157968.349
AT ITER 1140 NEW BEST:: SOT 630177 SOS 322318 HAS SOPS 314547 HAS SOUS 158771 HAS SOUPS 157631 WITH SCORE 157953.318
AT ITER 1145 NEW BEST:: SOT 630164 SOS 322296 HAS SOPS 314525 HAS SOUS 158728 HAS SOUPS 157588 WITH SCORE 157910.296
AT ITER 1168 NEW BEST:: SOT 629953 SOS 322006 HAS SOPS 314235 HAS SOUS 158385 HAS SOUPS 157245 WITH SCORE 157567.006
AT ITER 1172 NEW BEST:: SOT 629839 SOS 322042 HAS SOPS 314271 HAS SOUS 158250 HAS SOUPS 157110 WITH SCORE 157432.042
AT ITER 1183 NEW BEST:: SOT 629795 SOS 321997 HAS SOPS 314227 HAS SOUS 158163 HAS SOUPS 157023 WITH SCORE 157344.997
AT ITER 1187 NEW BEST:: SOT 629721 SOS 321913 HAS SOPS 314143 HAS SOUS 158069 HAS SOUPS 156929 WITH SCORE 157250.913
AT ITER 1189 NEW BEST:: SOT 629748 SOS 321940 HAS SOPS 314170 HAS SOUS 158035 HAS SOUPS 156895 WITH SCORE 157216.94
AT ITER 1200 NEW BEST:: SOT 629526 SOS 321496 HAS SOPS 313726 HAS SOUS 157813 HAS SOUPS 156673 WITH SCORE 156994.496
AT ITER 1211 NEW BEST:: SOT 629367 SOS 321210 HAS SOPS 313440 HAS SOUS 157542 HAS SOUPS 156402 WITH SCORE 156723.21
AT ITER 1217 NEW BEST:: SOT 629158 SOS 320759 HAS SOPS 312989 HAS SOUS 157221 HAS SOUPS 156081 WITH SCORE 156401.759
AT ITER 1221 NEW BEST:: SOT 629151 SOS 320752 HAS SOPS 312982 HAS SOUS 157214 HAS SOUPS 156074 WITH SCORE 156394.752
AT ITER 1253 NEW BEST:: SOT 629087 SOS 320656 HAS SOPS 312886 HAS SOUS 157118 HAS SOUPS 155978 WITH SCORE 156298.656
AT ITER 1257 NEW BEST:: SOT 628740 SOS 320309 HAS SOPS 312539 HAS SOUS 155410 HAS SOUPS 154270 WITH SCORE 154590.309
AT ITER 1275 NEW BEST:: SOT 628745 SOS 319874 HAS SOPS 312104 HAS SOUS 155391 HAS SOUPS 154251 WITH SCORE 154570.874
AT ITER 1296 NEW BEST:: SOT 628730 SOS 319787 HAS SOPS 312017 HAS SOUS 154497 HAS SOUPS 153357 WITH SCORE 153676.787
AT ITER 1320 NEW BEST:: SOT 628751 SOS 319808 HAS SOPS 312038 HAS SOUS 154389 HAS SOUPS 153249 WITH SCORE 153568.808
AT ITER 1322 NEW BEST:: SOT 628751 SOS 319808 HAS SOPS 312038 HAS SOUS 154364 HAS SOUPS 153224 WITH SCORE 153543.808
AT ITER 1330 NEW BEST:: SOT 628726 SOS 320614 HAS SOPS 312873 HAS SOUS 154292 HAS SOUPS 153154 WITH SCORE 153474.614
AT ITER 1345 NEW BEST:: SOT 628682 SOS 320526 HAS SOPS 312785 HAS SOUS 154243 HAS SOUPS 153105 WITH SCORE 153425.526
AT ITER 1374 NEW BEST:: SOT 628451 SOS 319943 HAS SOPS 312202 HAS SOUS 153962 HAS SOUPS 152824 WITH SCORE 153143.943
AT ITER 1378 NEW BEST:: SOT 628461 SOS 320083 HAS SOPS 312342 HAS SOUS 153920 HAS SOUPS 152782 WITH SCORE 153102.083
AT ITER 1392 NEW BEST:: SOT 628459 SOS 320177 HAS SOPS 312436 HAS SOUS 152130 HAS SOUPS 150992 WITH SCORE 151312.177
AT ITER 1424 NEW BEST:: SOT 628439 SOS 320157 HAS SOPS 312416 HAS SOUS 152110 HAS SOUPS 150972 WITH SCORE 151292.157
AT ITER 1435 NEW BEST:: SOT 628385 SOS 320103 HAS SOPS 312362 HAS SOUS 152050 HAS SOUPS 150912 WITH SCORE 151232.103
AT ITER 1436 NEW BEST:: SOT 628321 SOS 319976 HAS SOPS 312373 HAS SOUS 151969 HAS SOUPS 150831 WITH SCORE 151150.976
AT ITER 1442 NEW BEST:: SOT 628161 SOS 319805 HAS SOPS 312453 HAS SOUS 151900 HAS SOUPS 150762 WITH SCORE 151081.805
AT ITER 1444 NEW BEST:: SOT 629609 SOS 321477 HAS SOPS 314237 HAS SOUS 151838 HAS SOUPS 150700 WITH SCORE 151021.477
AT ITER 1462 NEW BEST:: SOT 629367 SOS 321296 HAS SOPS 314056 HAS SOUS 151657 HAS SOUPS 150519 WITH SCORE 150840.296
AT ITER 1465 NEW BEST:: SOT 629357 SOS 321286 HAS SOPS 314046 HAS SOUS 151647 HAS SOUPS 150509 WITH SCORE 150830.286
AT ITER 1477 NEW BEST:: SOT 629450 SOS 321190 HAS SOPS 313950 HAS SOUS 151574 HAS SOUPS 150436 WITH SCORE 150757.19
AT ITER 1490 NEW BEST:: SOT 629444 SOS 321190 HAS SOPS 313950 HAS SOUS 151562 HAS SOUPS 150424 WITH SCORE 150745.19
AT ITER 1515 NEW BEST:: SOT 629443 SOS 320908 HAS SOPS 313668 HAS SOUS 151561 HAS SOUPS 150423 WITH SCORE 150743.908
AT ITER 1524 NEW BEST:: SOT 629321 SOS 320692 HAS SOPS 313452 HAS SOUS 151444 HAS SOUPS 150306 WITH SCORE 150626.692
AT ITER 1525 NEW BEST:: SOT 629304 SOS 320675 HAS SOPS 313435 HAS SOUS 151410 HAS SOUPS 150272 WITH SCORE 150592.675
AT ITER 1535 NEW BEST:: SOT 629265 SOS 320558 HAS SOPS 313318 HAS SOUS 151371 HAS SOUPS 150233 WITH SCORE 150553.558
AT ITER 1546 NEW BEST:: SOT 629265 SOS 320494 HAS SOPS 313254 HAS SOUS 151307 HAS SOUPS 150169 WITH SCORE 150489.494
AT ITER 1547 NEW BEST:: SOT 629268 SOS 320497 HAS SOPS 313257 HAS SOUS 151290 HAS SOUPS 150152 WITH SCORE 150472.497
AT ITER 1556 NEW BEST:: SOT 628870 SOS 319709 HAS SOPS 312469 HAS SOUS 150689 HAS SOUPS 149551 WITH SCORE 149870.709
AT ITER 1568 NEW BEST:: SOT 628818 SOS 319609 HAS SOPS 312369 HAS SOUS 150441 HAS SOUPS 149303 WITH SCORE 149622.609
AT ITER 1608 NEW BEST:: SOT 628770 SOS 319833 HAS SOPS 312759 HAS SOUS 150275 HAS SOUPS 149137 WITH SCORE 149456.833
AT ITER 1622 NEW BEST:: SOT 628737 SOS 319783 HAS SOPS 312709 HAS SOUS 150225 HAS SOUPS 149087 WITH SCORE 149406.783
AT ITER 1627 NEW BEST:: SOT 628645 SOS 319370 HAS SOPS 310956 HAS SOUS 150220 HAS SOUPS 148948 WITH SCORE 149267.37
AT ITER 1629 NEW BEST:: SOT 626147 SOS 316872 HAS SOPS 308458 HAS SOUS 149471 HAS SOUPS 148199 WITH SCORE 148515.872
AT ITER 1632 NEW BEST:: SOT 626105 SOS 316684 HAS SOPS 308197 HAS SOUS 149231 HAS SOUPS 147959 WITH SCORE 148275.684
AT ITER 1634 NEW BEST:: SOT 626086 SOS 316623 HAS SOPS 308136 HAS SOUS 149214 HAS SOUPS 147942 WITH SCORE 148258.623
AT ITER 1645 NEW BEST:: SOT 626074 SOS 316599 HAS SOPS 308112 HAS SOUS 149190 HAS SOUPS 147918 WITH SCORE 148234.599
AT ITER 1646 NEW BEST:: SOT 626093 SOS 316559 HAS SOPS 308072 HAS SOUS 149150 HAS SOUPS 147878 WITH SCORE 148194.559
AT ITER 1664 NEW BEST:: SOT 626042 SOS 316491 HAS SOPS 308004 HAS SOUS 149082 HAS SOUPS 147810 WITH SCORE 148126.491
AT ITER 1666 NEW BEST:: SOT 626043 SOS 316492 HAS SOPS 307948 HAS SOUS 149081 HAS SOUPS 147809 WITH SCORE 148125.492
AT ITER 1682 NEW BEST:: SOT 625997 SOS 316931 HAS SOPS 308350 HAS SOUS 148930 HAS SOUPS 147658 WITH SCORE 147974.931
AT ITER 1694 NEW BEST:: SOT 625995 SOS 316927 HAS SOPS 308346 HAS SOUS 148926 HAS SOUPS 147654 WITH SCORE 147970.927
AT ITER 1695 NEW BEST:: SOT 625950 SOS 316882 HAS SOPS 308301 HAS SOUS 148836 HAS SOUPS 147564 WITH SCORE 147880.882
AT ITER 1703 NEW BEST:: SOT 626029 SOS 316961 HAS SOPS 308360 HAS SOUS 148830 HAS SOUPS 147558 WITH SCORE 147874.961
AT ITER 1724 NEW BEST:: SOT 626011 SOS 316961 HAS SOPS 308360 HAS SOUS 148794 HAS SOUPS 147522 WITH SCORE 147838.961
AT ITER 1733 NEW BEST:: SOT 625746 SOS 316500 HAS SOPS 307899 HAS SOUS 148362 HAS SOUPS 147090 WITH SCORE 147406.5
AT ITER 1736 NEW BEST:: SOT 625741 SOS 316495 HAS SOPS 307894 HAS SOUS 148357 HAS SOUPS 147085 WITH SCORE 147401.495
AT ITER 1757 NEW BEST:: SOT 625689 SOS 316443 HAS SOPS 307842 HAS SOUS 148253 HAS SOUPS 146981 WITH SCORE 147297.443
AT ITER 1771 NEW BEST:: SOT 625659 SOS 316413 HAS SOPS 307792 HAS SOUS 148155 HAS SOUPS 146883 WITH SCORE 147199.413
AT ITER 1788 NEW BEST:: SOT 625597 SOS 316275 HAS SOPS 307654 HAS SOUS 148059 HAS SOUPS 146787 WITH SCORE 147103.275
AT ITER 1792 NEW BEST:: SOT 625550 SOS 316218 HAS SOPS 307597 HAS SOUS 147965 HAS SOUPS 146693 WITH SCORE 147009.218
AT ITER 1793 NEW BEST:: SOT 624531 SOS 315199 HAS SOPS 306578 HAS SOUS 146863 HAS SOUPS 145591 WITH SCORE 145906.199
AT ITER 1795 NEW BEST:: SOT 624498 SOS 314836 HAS SOPS 306215 HAS SOUS 146830 HAS SOUPS 145558 WITH SCORE 145872.836
AT ITER 1797 NEW BEST:: SOT 624485 SOS 314818 HAS SOPS 306197 HAS SOUS 146814 HAS SOUPS 145542 WITH SCORE 145856.818
AT ITER 1805 NEW BEST:: SOT 622906 SOS 313174 HAS SOPS 304553 HAS SOUS 145938 HAS SOUPS 144666 WITH SCORE 144979.174
AT ITER 1819 NEW BEST:: SOT 622895 SOS 313163 HAS SOPS 304542 HAS SOUS 145927 HAS SOUPS 144655 WITH SCORE 144968.163
AT ITER 1839 NEW BEST:: SOT 621892 SOS 312144 HAS SOPS 303523 HAS SOUS 144879 HAS SOUPS 143607 WITH SCORE 143919.144
AT ITER 1847 NEW BEST:: SOT 619282 SOS 309648 HAS SOPS 301027 HAS SOUS 143991 HAS SOUPS 142719 WITH SCORE 143028.648
AT ITER 1859 NEW BEST:: SOT 619295 SOS 309661 HAS SOPS 301040 HAS SOUS 143961 HAS SOUPS 142689 WITH SCORE 142998.661
AT ITER 1862 NEW BEST:: SOT 619192 SOS 309455 HAS SOPS 300834 HAS SOUS 143755 HAS SOUPS 142483 WITH SCORE 142792.455
AT ITER 1866 NEW BEST:: SOT 619343 SOS 309556 HAS SOPS 300935 HAS SOUS 143717 HAS SOUPS 142445 WITH SCORE 142754.556
AT ITER 1890 NEW BEST:: SOT 619301 SOS 309541 HAS SOPS 300920 HAS SOUS 143714 HAS SOUPS 142442 WITH SCORE 142751.541
AT ITER 1896 NEW BEST:: SOT 619250 SOS 309388 HAS SOPS 300767 HAS SOUS 143648 HAS SOUPS 142376 WITH SCORE 142685.388
AT ITER 1903 NEW BEST:: SOT 619250 SOS 309416 HAS SOPS 300795 HAS SOUS 143620 HAS SOUPS 142348 WITH SCORE 142657.416
AT ITER 1919 NEW BEST:: SOT 619330 SOS 309496 HAS SOPS 300875 HAS SOUS 143540 HAS SOUPS 142268 WITH SCORE 142577.496
AT ITER 1930 NEW BEST:: SOT 620244 SOS 310410 HAS SOPS 301789 HAS SOUS 143504 HAS SOUPS 142232 WITH SCORE 142542.41
AT ITER 1944 NEW BEST:: SOT 620198 SOS 310318 HAS SOPS 301697 HAS SOUS 143412 HAS SOUPS 142140 WITH SCORE 142450.318
AT ITER 1953 NEW BEST:: SOT 620198 SOS 310318 HAS SOPS 301697 HAS SOUS 143383 HAS SOUPS 142111 WITH SCORE 142421.318
AT ITER 1969 NEW BEST:: SOT 620121 SOS 310241 HAS SOPS 301620 HAS SOUS 143339 HAS SOUPS 142067 WITH SCORE 142377.241
AT ITER 1983 NEW BEST:: SOT 620000 SOS 310092 HAS SOPS 301471 HAS SOUS 143185 HAS SOUPS 141913 WITH SCORE 142223.092
AT ITER 1985 NEW BEST:: SOT 620039 SOS 310131 HAS SOPS 301510 HAS SOUS 142896 HAS SOUPS 141624 WITH SCORE 141934.131
AT ITER 2012 NEW BEST:: SOT 620019 SOS 310103 HAS SOPS 301482 HAS SOUS 142856 HAS SOUPS 141584 WITH SCORE 141894.103
AT ITER 2019 NEW BEST:: SOT 619856 SOS 309978 HAS SOPS 301357 HAS SOUS 142447 HAS SOUPS 141175 WITH SCORE 141484.978
AT ITER 2028 NEW BEST:: SOT 619859 SOS 309981 HAS SOPS 301460 HAS SOUS 142422 HAS SOUPS 141150 WITH SCORE 141459.981
AT ITER 2037 NEW BEST:: SOT 619783 SOS 309884 HAS SOPS 301363 HAS SOUS 142361 HAS SOUPS 141089 WITH SCORE 141398.884
AT ITER 2040 NEW BEST:: SOT 619725 SOS 309377 HAS SOPS 301305 HAS SOUS 142285 HAS SOUPS 141058 WITH SCORE 141367.377
AT ITER 2041 NEW BEST:: SOT 619708 SOS 309353 HAS SOPS 301281 HAS SOUS 142261 HAS SOUPS 141034 WITH SCORE 141343.353
AT ITER 2054 NEW BEST:: SOT 619505 SOS 309241 HAS SOPS 301169 HAS SOUS 142097 HAS SOUPS 140870 WITH SCORE 141179.241
AT ITER 2062 NEW BEST:: SOT 619520 SOS 309035 HAS SOPS 300963 HAS SOUS 142093 HAS SOUPS 140866 WITH SCORE 141175.035
AT ITER 2065 NEW BEST:: SOT 619520 SOS 309031 HAS SOPS 300959 HAS SOUS 142093 HAS SOUPS 140866 WITH SCORE 141175.031
AT ITER 2069 NEW BEST:: SOT 619520 SOS 308873 HAS SOPS 300801 HAS SOUS 142063 HAS SOUPS 140836 WITH SCORE 141144.873
AT ITER 2070 NEW BEST:: SOT 619450 SOS 308803 HAS SOPS 300731 HAS SOUS 141997 HAS SOUPS 140770 WITH SCORE 141078.803
AT ITER 2081 NEW BEST:: SOT 619984 SOS 309235 HAS SOPS 301163 HAS SOUS 141640 HAS SOUPS 140413 WITH SCORE 140722.235
AT ITER 2092 NEW BEST:: SOT 620069 SOS 309320 HAS SOPS 301248 HAS SOUS 141613 HAS SOUPS 140386 WITH SCORE 140695.32
AT ITER 2097 NEW BEST:: SOT 620067 SOS 309318 HAS SOPS 301246 HAS SOUS 141613 HAS SOUPS 140386 WITH SCORE 140695.318
AT ITER 2120 NEW BEST:: SOT 620017 SOS 309233 HAS SOPS 301161 HAS SOUS 141594 HAS SOUPS 140367 WITH SCORE 140676.233
AT ITER 2155 NEW BEST:: SOT 618477 SOS 307507 HAS SOPS 299435 HAS SOUS 141387 HAS SOUPS 140160 WITH SCORE 140467.507
AT ITER 2168 NEW BEST:: SOT 618357 SOS 307400 HAS SOPS 299328 HAS SOUS 141363 HAS SOUPS 140136 WITH SCORE 140443.4
AT ITER 2180 NEW BEST:: SOT 618302 SOS 307422 HAS SOPS 299350 HAS SOUS 141325 HAS SOUPS 140098 WITH SCORE 140405.422
AT ITER 2181 NEW BEST:: SOT 617974 SOS 307085 HAS SOPS 299013 HAS SOUS 140937 HAS SOUPS 139710 WITH SCORE 140017.085
AT ITER 2184 NEW BEST:: SOT 617790 SOS 306545 HAS SOPS 298623 HAS SOUS 140569 HAS SOUPS 139342 WITH SCORE 139648.545
AT ITER 2202 NEW BEST:: SOT 617721 SOS 306476 HAS SOPS 298554 HAS SOUS 140500 HAS SOUPS 139273 WITH SCORE 139579.476
AT ITER 2216 NEW BEST:: SOT 617619 SOS 306374 HAS SOPS 298452 HAS SOUS 140388 HAS SOUPS 139161 WITH SCORE 139467.374
AT ITER 2239 NEW BEST:: SOT 617640 SOS 306361 HAS SOPS 298439 HAS SOUS 140375 HAS SOUPS 139148 WITH SCORE 139454.361
AT ITER 2246 NEW BEST:: SOT 617739 SOS 306460 HAS SOPS 298515 HAS SOUS 140293 HAS SOUPS 139066 WITH SCORE 139372.46
AT ITER 2253 NEW BEST:: SOT 617584 SOS 306596 HAS SOPS 298651 HAS SOUS 140280 HAS SOUPS 139053 WITH SCORE 139359.596
AT ITER 2255 NEW BEST:: SOT 617562 SOS 306574 HAS SOPS 298629 HAS SOUS 140258 HAS SOUPS 139031 WITH SCORE 139337.574
AT ITER 2276 NEW BEST:: SOT 617506 SOS 306546 HAS SOPS 298601 HAS SOUS 140258 HAS SOUPS 139031 WITH SCORE 139337.546
AT ITER 2278 NEW BEST:: SOT 617477 SOS 306451 HAS SOPS 298506 HAS SOUS 140148 HAS SOUPS 138921 WITH SCORE 139227.451
AT ITER 2280 NEW BEST:: SOT 617459 SOS 306433 HAS SOPS 298488 HAS SOUS 140121 HAS SOUPS 138894 WITH SCORE 139200.433
AT ITER 2283 NEW BEST:: SOT 617441 SOS 306415 HAS SOPS 298470 HAS SOUS 140103 HAS SOUPS 138876 WITH SCORE 139182.415
AT ITER 2286 NEW BEST:: SOT 617590 SOS 306495 HAS SOPS 298550 HAS SOUS 139899 HAS SOUPS 138672 WITH SCORE 138978.495
AT ITER 2313 NEW BEST:: SOT 617553 SOS 306448 HAS SOPS 298503 HAS SOUS 139825 HAS SOUPS 138598 WITH SCORE 138904.448
AT ITER 2345 NEW BEST:: SOT 617496 SOS 306391 HAS SOPS 298446 HAS SOUS 139816 HAS SOUPS 138589 WITH SCORE 138895.391
AT ITER 2351 NEW BEST:: SOT 617472 SOS 306367 HAS SOPS 298422 HAS SOUS 139674 HAS SOUPS 138447 WITH SCORE 138753.367
AT ITER 2370 NEW BEST:: SOT 617462 SOS 306357 HAS SOPS 298412 HAS SOUS 139659 HAS SOUPS 138432 WITH SCORE 138738.357
AT ITER 2381 NEW BEST:: SOT 617281 SOS 306176 HAS SOPS 298231 HAS SOUS 139243 HAS SOUPS 138016 WITH SCORE 138322.176
AT ITER 2384 NEW BEST:: SOT 617131 SOS 305926 HAS SOPS 297981 HAS SOUS 138993 HAS SOUPS 137766 WITH SCORE 138071.926
AT ITER 2407 NEW BEST:: SOT 617123 SOS 305910 HAS SOPS 297965 HAS SOUS 138985 HAS SOUPS 137758 WITH SCORE 138063.91
AT ITER 2441 NEW BEST:: SOT 616785 SOS 305674 HAS SOPS 297729 HAS SOUS 138661 HAS SOUPS 137434 WITH SCORE 137739.674
AT ITER 2443 NEW BEST:: SOT 616826 SOS 305577 HAS SOPS 297632 HAS SOUS 138564 HAS SOUPS 137337 WITH SCORE 137642.577
AT ITER 2448 NEW BEST:: SOT 616347 SOS 305057 HAS SOPS 297112 HAS SOUS 137965 HAS SOUPS 136738 WITH SCORE 137043.057
AT ITER 2449 NEW BEST:: SOT 616187 SOS 304117 HAS SOPS 296172 HAS SOUS 137135 HAS SOUPS 135908 WITH SCORE 136212.117
AT ITER 2458 NEW BEST:: SOT 616176 SOS 304098 HAS SOPS 296153 HAS SOUS 137106 HAS SOUPS 135879 WITH SCORE 136183.098
AT ITER 2471 NEW BEST:: SOT 616139 SOS 304012 HAS SOPS 296067 HAS SOUS 137020 HAS SOUPS 135793 WITH SCORE 136097.012
AT ITER 2472 NEW BEST:: SOT 616154 SOS 304027 HAS SOPS 296082 HAS SOUS 136990 HAS SOUPS 135763 WITH SCORE 136067.027
AT ITER 2481 NEW BEST:: SOT 616165 SOS 304034 HAS SOPS 296089 HAS SOUS 136979 HAS SOUPS 135752 WITH SCORE 136056.034
AT ITER 2497 NEW BEST:: SOT 616149 SOS 303992 HAS SOPS 296047 HAS SOUS 136963 HAS SOUPS 135736 WITH SCORE 136039.992
AT ITER 2524 NEW BEST:: SOT 616134 SOS 303977 HAS SOPS 296032 HAS SOUS 136938 HAS SOUPS 135711 WITH SCORE 136014.977
AT ITER 2549 NEW BEST:: SOT 616086 SOS 303958 HAS SOPS 296013 HAS SOUS 136909 HAS SOUPS 135682 WITH SCORE 135985.958
AT ITER 2595 NEW BEST:: SOT 616191 SOS 304030 HAS SOPS 296085 HAS SOUS 136732 HAS SOUPS 135505 WITH SCORE 135809.03
AT ITER 2642 NEW BEST:: SOT 616310 SOS 301657 HAS SOPS 293712 HAS SOUS 136625 HAS SOUPS 135398 WITH SCORE 135699.657
AT ITER 2689 NEW BEST:: SOT 616334 SOS 301645 HAS SOPS 293700 HAS SOUS 136613 HAS SOUPS 135386 WITH SCORE 135687.645
AT ITER 2706 NEW BEST:: SOT 616330 SOS 301641 HAS SOPS 293696 HAS SOUS 136593 HAS SOUPS 135366 WITH SCORE 135667.641
AT ITER 2711 NEW BEST:: SOT 616289 SOS 301611 HAS SOPS 293666 HAS SOUS 136511 HAS SOUPS 135284 WITH SCORE 135585.611
AT ITER 2713 NEW BEST:: SOT 616240 SOS 301611 HAS SOPS 293666 HAS SOUS 136462 HAS SOUPS 135235 WITH SCORE 135536.611
AT ITER 2714 NEW BEST:: SOT 616234 SOS 301605 HAS SOPS 293660 HAS SOUS 136456 HAS SOUPS 135229 WITH SCORE 135530.605
AT ITER 2717 NEW BEST:: SOT 614674 SOS 299145 HAS SOPS 291200 HAS SOUS 136336 HAS SOUPS 135109 WITH SCORE 135408.145
AT ITER 2720 NEW BEST:: SOT 614556 SOS 299027 HAS SOPS 291082 HAS SOUS 136158 HAS SOUPS 134931 WITH SCORE 135230.027
AT ITER 2730 NEW BEST:: SOT 614601 SOS 298941 HAS SOPS 290996 HAS SOUS 136125 HAS SOUPS 134898 WITH SCORE 135196.941
AT ITER 2740 NEW BEST:: SOT 614688 SOS 298457 HAS SOPS 290171 HAS SOUS 136093 HAS SOUPS 134850 WITH SCORE 135148.457
AT ITER 2745 NEW BEST:: SOT 614731 SOS 298500 HAS SOPS 290214 HAS SOUS 135454 HAS SOUPS 134211 WITH SCORE 134509.5
AT ITER 2768 NEW BEST:: SOT 614716 SOS 298485 HAS SOPS 290180 HAS SOUS 135422 HAS SOUPS 134179 WITH SCORE 134477.485
AT ITER 2771 NEW BEST:: SOT 614652 SOS 297895 HAS SOPS 289590 HAS SOUS 135358 HAS SOUPS 134115 WITH SCORE 134412.895
AT ITER 2772 NEW BEST:: SOT 614252 SOS 297495 HAS SOPS 289190 HAS SOUS 135331 HAS SOUPS 134088 WITH SCORE 134385.495
AT ITER 2775 NEW BEST:: SOT 614252 SOS 297461 HAS SOPS 289156 HAS SOUS 135227 HAS SOUPS 133984 WITH SCORE 134281.461
AT ITER 2780 NEW BEST:: SOT 614252 SOS 297394 HAS SOPS 289089 HAS SOUS 135204 HAS SOUPS 133961 WITH SCORE 134258.394
AT ITER 2799 NEW BEST:: SOT 614235 SOS 297360 HAS SOPS 289055 HAS SOUS 135176 HAS SOUPS 133933 WITH SCORE 134230.36
AT ITER 2814 NEW BEST:: SOT 614301 SOS 297852 HAS SOPS 289547 HAS SOUS 135173 HAS SOUPS 133930 WITH SCORE 134227.852
AT ITER 2835 NEW BEST:: SOT 614320 SOS 297837 HAS SOPS 289532 HAS SOUS 135158 HAS SOUPS 133915 WITH SCORE 134212.837
AT ITER 2865 NEW BEST:: SOT 614272 SOS 297789 HAS SOPS 289484 HAS SOUS 135127 HAS SOUPS 133884 WITH SCORE 134181.789
AT ITER 2882 NEW BEST:: SOT 614127 SOS 297551 HAS SOPS 289246 HAS SOUS 134984 HAS SOUPS 133741 WITH SCORE 134038.551
AT ITER 2886 NEW BEST:: SOT 614031 SOS 297480 HAS SOPS 289175 HAS SOUS 134850 HAS SOUPS 133607 WITH SCORE 133904.48
AT ITER 2891 NEW BEST:: SOT 614011 SOS 298002 HAS SOPS 289724 HAS SOUS 134774 HAS SOUPS 133532 WITH SCORE 133830.002
AT ITER 2897 NEW BEST:: SOT 614115 SOS 299684 HAS SOPS 291206 HAS SOUS 134767 HAS SOUPS 133525 WITH SCORE 133824.684
AT ITER 2903 NEW BEST:: SOT 614001 SOS 299602 HAS SOPS 291124 HAS SOUS 134572 HAS SOUPS 133330 WITH SCORE 133629.602
AT ITER 2904 NEW BEST:: SOT 614081 SOS 299682 HAS SOPS 291204 HAS SOUS 134540 HAS SOUPS 133298 WITH SCORE 133597.682
AT ITER 2911 NEW BEST:: SOT 614077 SOS 299674 HAS SOPS 291196 HAS SOUS 134492 HAS SOUPS 133250 WITH SCORE 133549.674
AT ITER 2916 NEW BEST:: SOT 614074 SOS 299671 HAS SOPS 291193 HAS SOUS 134488 HAS SOUPS 133246 WITH SCORE 133545.671
AT ITER 2944 NEW BEST:: SOT 614074 SOS 299608 HAS SOPS 291092 HAS SOUS 134414 HAS SOUPS 133172 WITH SCORE 133471.608
AT ITER 2947 NEW BEST:: SOT 614042 SOS 299576 HAS SOPS 291060 HAS SOUS 134400 HAS SOUPS 133158 WITH SCORE 133457.576
AT ITER 2949 NEW BEST:: SOT 614042 SOS 299557 HAS SOPS 291041 HAS SOUS 134400 HAS SOUPS 133158 WITH SCORE 133457.557
AT ITER 2950 NEW BEST:: SOT 614032 SOS 299547 HAS SOPS 291039 HAS SOUS 134367 HAS SOUPS 133125 WITH SCORE 133424.547
AT ITER 2956 NEW BEST:: SOT 613977 SOS 299492 HAS SOPS 290962 HAS SOUS 134257 HAS SOUPS 133015 WITH SCORE 133314.492
AT ITER 2972 NEW BEST:: SOT 613977 SOS 299355 HAS SOPS 290825 HAS SOUS 134257 HAS SOUPS 133015 WITH SCORE 133314.355
AT ITER 2986 NEW BEST:: SOT 613977 SOS 299155 HAS SOPS 290625 HAS SOUS 134255 HAS SOUPS 133013 WITH SCORE 133312.155
AT ITER 2987 NEW BEST:: SOT 613815 SOS 298993 HAS SOPS 290463 HAS SOUS 133907 HAS SOUPS 132665 WITH SCORE 132963.993
AT ITER 3007 NEW BEST:: SOT 613804 SOS 298971 HAS SOPS 290441 HAS SOUS 133885 HAS SOUPS 132643 WITH SCORE 132941.971
AT ITER 3022 NEW BEST:: SOT 613148 SOS 297930 HAS SOPS 289400 HAS SOUS 133242 HAS SOUPS 132000 WITH SCORE 132297.93
AT ITER 3033 NEW BEST:: SOT 613136 SOS 297918 HAS SOPS 289380 HAS SOUS 133222 HAS SOUPS 131980 WITH SCORE 132277.918
AT ITER 3048 NEW BEST:: SOT 612789 SOS 297572 HAS SOPS 289034 HAS SOUS 132824 HAS SOUPS 131582 WITH SCORE 131879.572
AT ITER 3049 NEW BEST:: SOT 612659 SOS 297442 HAS SOPS 288904 HAS SOUS 132641 HAS SOUPS 131399 WITH SCORE 131696.442
AT ITER 3080 NEW BEST:: SOT 612633 SOS 297403 HAS SOPS 288865 HAS SOUS 132576 HAS SOUPS 131334 WITH SCORE 131631.403
AT ITER 3087 NEW BEST:: SOT 612628 SOS 297393 HAS SOPS 288855 HAS SOUS 132571 HAS SOUPS 131329 WITH SCORE 131626.393
AT ITER 3089 NEW BEST:: SOT 612628 SOS 296656 HAS SOPS 288121 HAS SOUS 132509 HAS SOUPS 131267 WITH SCORE 131563.656
AT ITER 3106 NEW BEST:: SOT 612601 SOS 296638 HAS SOPS 288103 HAS SOUS 132491 HAS SOUPS 131249 WITH SCORE 131545.638
AT ITER 3111 NEW BEST:: SOT 612527 SOS 296564 HAS SOPS 288029 HAS SOUS 132343 HAS SOUPS 131101 WITH SCORE 131397.564
AT ITER 3138 NEW BEST:: SOT 612400 SOS 296437 HAS SOPS 287902 HAS SOUS 132196 HAS SOUPS 130954 WITH SCORE 131250.437
AT ITER 3142 NEW BEST:: SOT 612448 SOS 296313 HAS SOPS 287778 HAS SOUS 132072 HAS SOUPS 130830 WITH SCORE 131126.313
AT ITER 3149 NEW BEST:: SOT 612408 SOS 296775 HAS SOPS 288186 HAS SOUS 131921 HAS SOUPS 130679 WITH SCORE 130975.775
AT ITER 3151 NEW BEST:: SOT 612333 SOS 296700 HAS SOPS 288111 HAS SOUS 131828 HAS SOUPS 130586 WITH SCORE 130882.7
AT ITER 3156 NEW BEST:: SOT 612245 SOS 296632 HAS SOPS 288043 HAS SOUS 131690 HAS SOUPS 130448 WITH SCORE 130744.632
AT ITER 3189 NEW BEST:: SOT 612212 SOS 296654 HAS SOPS 288065 HAS SOUS 131634 HAS SOUPS 130392 WITH SCORE 130688.654
AT ITER 3218 NEW BEST:: SOT 612199 SOS 296641 HAS SOPS 288052 HAS SOUS 131497 HAS SOUPS 130255 WITH SCORE 130551.641
AT ITER 3220 NEW BEST:: SOT 612161 SOS 296920 HAS SOPS 288353 HAS SOUS 131425 HAS SOUPS 130183 WITH SCORE 130479.92
AT ITER 3224 NEW BEST:: SOT 612040 SOS 296862 HAS SOPS 288295 HAS SOUS 131312 HAS SOUPS 130070 WITH SCORE 130366.862
AT ITER 3229 NEW BEST:: SOT 612058 SOS 296880 HAS SOPS 288292 HAS SOUS 131276 HAS SOUPS 130034 WITH SCORE 130330.88
AT ITER 3230 NEW BEST:: SOT 612058 SOS 296880 HAS SOPS 288292 HAS SOUS 131258 HAS SOUPS 130016 WITH SCORE 130312.88
AT ITER 3239 NEW BEST:: SOT 612019 SOS 296841 HAS SOPS 288253 HAS SOUS 131114 HAS SOUPS 129872 WITH SCORE 130168.841
AT ITER 3255 NEW BEST:: SOT 611814 SOS 296620 HAS SOPS 288032 HAS SOUS 131055 HAS SOUPS 129813 WITH SCORE 130109.62
AT ITER 3278 NEW BEST:: SOT 611777 SOS 296891 HAS SOPS 288303 HAS SOUS 130993 HAS SOUPS 129751 WITH SCORE 130047.891
AT ITER 3293 NEW BEST:: SOT 611786 SOS 296943 HAS SOPS 288355 HAS SOUS 130891 HAS SOUPS 129649 WITH SCORE 129945.943
AT ITER 3296 NEW BEST:: SOT 611776 SOS 297513 HAS SOPS 288925 HAS SOUS 130881 HAS SOUPS 129639 WITH SCORE 129936.513
AT ITER 3317 NEW BEST:: SOT 611714 SOS 296961 HAS SOPS 288373 HAS SOUS 130826 HAS SOUPS 129584 WITH SCORE 129880.961
AT ITER 3326 NEW BEST:: SOT 611724 SOS 296961 HAS SOPS 288373 HAS SOUS 130716 HAS SOUPS 129474 WITH SCORE 129770.961
AT ITER 3331 NEW BEST:: SOT 611666 SOS 296845 HAS SOPS 288257 HAS SOUS 130591 HAS SOUPS 129349 WITH SCORE 129645.845
AT ITER 3362 NEW BEST:: SOT 611541 SOS 296624 HAS SOPS 288036 HAS SOUS 130458 HAS SOUPS 129216 WITH SCORE 129512.624
AT ITER 3380 NEW BEST:: SOT 611535 SOS 296618 HAS SOPS 288030 HAS SOUS 130446 HAS SOUPS 129204 WITH SCORE 129500.618
AT ITER 3397 NEW BEST:: SOT 611449 SOS 296489 HAS SOPS 287901 HAS SOUS 130317 HAS SOUPS 129075 WITH SCORE 129371.489
AT ITER 3423 NEW BEST:: SOT 611337 SOS 296321 HAS SOPS 287733 HAS SOUS 130252 HAS SOUPS 129010 WITH SCORE 129306.321
AT ITER 3429 NEW BEST:: SOT 611202 SOS 296170 HAS SOPS 287582 HAS SOUS 130133 HAS SOUPS 128891 WITH SCORE 129187.17
AT ITER 3435 NEW BEST:: SOT 611239 SOS 296074 HAS SOPS 287486 HAS SOUS 130121 HAS SOUPS 128879 WITH SCORE 129175.074
AT ITER 3459 NEW BEST:: SOT 611222 SOS 296040 HAS SOPS 287452 HAS SOUS 130087 HAS SOUPS 128845 WITH SCORE 129141.04
AT ITER 3472 NEW BEST:: SOT 611222 SOS 296061 HAS SOPS 287473 HAS SOUS 130085 HAS SOUPS 128843 WITH SCORE 129139.061
AT ITER 3475 NEW BEST:: SOT 611090 SOS 295929 HAS SOPS 287341 HAS SOUS 130072 HAS SOUPS 128830 WITH SCORE 129125.929
AT ITER 3495 NEW BEST:: SOT 611078 SOS 295917 HAS SOPS 287329 HAS SOUS 130062 HAS SOUPS 128820 WITH SCORE 129115.917
AT ITER 3499 NEW BEST:: SOT 611070 SOS 295909 HAS SOPS 287321 HAS SOUS 130054 HAS SOUPS 128812 WITH SCORE 129107.909
AT ITER 3517 NEW BEST:: SOT 611080 SOS 295919 HAS SOPS 287331 HAS SOUS 130012 HAS SOUPS 128770 WITH SCORE 129065.919
AT ITER 3533 NEW BEST:: SOT 611060 SOS 295905 HAS SOPS 287317 HAS SOUS 129978 HAS SOUPS 128736 WITH SCORE 129031.905
AT ITER 3545 NEW BEST:: SOT 611053 SOS 295898 HAS SOPS 287310 HAS SOUS 129971 HAS SOUPS 128729 WITH SCORE 129024.898
AT ITER 3547 NEW BEST:: SOT 610993 SOS 295805 HAS SOPS 287288 HAS SOUS 129821 HAS SOUPS 128579 WITH SCORE 128874.805
AT ITER 3552 NEW BEST:: SOT 610874 SOS 295542 HAS SOPS 287025 HAS SOUS 129558 HAS SOUPS 128316 WITH SCORE 128611.542
AT ITER 3556 NEW BEST:: SOT 610687 SOS 295416 HAS SOPS 286899 HAS SOUS 129309 HAS SOUPS 128067 WITH SCORE 128362.416
AT ITER 3592 NEW BEST:: SOT 610638 SOS 295324 HAS SOPS 286807 HAS SOUS 129271 HAS SOUPS 128029 WITH SCORE 128324.324
AT ITER 3595 NEW BEST:: SOT 610595 SOS 295190 HAS SOPS 286673 HAS SOUS 129090 HAS SOUPS 127848 WITH SCORE 128143.19
AT ITER 3596 NEW BEST:: SOT 610581 SOS 295176 HAS SOPS 286659 HAS SOUS 129062 HAS SOUPS 127820 WITH SCORE 128115.176
AT ITER 3635 NEW BEST:: SOT 610519 SOS 295102 HAS SOPS 286585 HAS SOUS 129000 HAS SOUPS 127758 WITH SCORE 128053.102
AT ITER 3670 NEW BEST:: SOT 610414 SOS 294752 HAS SOPS 286235 HAS SOUS 128907 HAS SOUPS 127665 WITH SCORE 127959.752
AT ITER 3672 NEW BEST:: SOT 610414 SOS 294752 HAS SOPS 286235 HAS SOUS 128844 HAS SOUPS 127602 WITH SCORE 127896.752
AT ITER 3680 NEW BEST:: SOT 610400 SOS 294706 HAS SOPS 286189 HAS SOUS 128814 HAS SOUPS 127572 WITH SCORE 127866.706
AT ITER 3682 NEW BEST:: SOT 610376 SOS 294570 HAS SOPS 286053 HAS SOUS 128757 HAS SOUPS 127515 WITH SCORE 127809.57
AT ITER 3683 NEW BEST:: SOT 610309 SOS 294532 HAS SOPS 286015 HAS SOUS 128422 HAS SOUPS 127180 WITH SCORE 127474.532
AT ITER 3698 NEW BEST:: SOT 610445 SOS 294525 HAS SOPS 285851 HAS SOUS 128415 HAS SOUPS 127173 WITH SCORE 127467.525
AT ITER 3711 NEW BEST:: SOT 610393 SOS 294421 HAS SOPS 285747 HAS SOUS 128311 HAS SOUPS 127069 WITH SCORE 127363.421
AT ITER 3721 NEW BEST:: SOT 610389 SOS 294413 HAS SOPS 285739 HAS SOUS 128303 HAS SOUPS 127061 WITH SCORE 127355.413
AT ITER 3776 NEW BEST:: SOT 610369 SOS 294393 HAS SOPS 285719 HAS SOUS 128297 HAS SOUPS 127055 WITH SCORE 127349.393
AT ITER 3782 NEW BEST:: SOT 610351 SOS 294375 HAS SOPS 285701 HAS SOUS 128261 HAS SOUPS 127019 WITH SCORE 127313.375
AT ITER 3786 NEW BEST:: SOT 610349 SOS 294373 HAS SOPS 285699 HAS SOUS 128257 HAS SOUPS 127015 WITH SCORE 127309.373
AT ITER 3794 NEW BEST:: SOT 610322 SOS 294282 HAS SOPS 285608 HAS SOUS 128235 HAS SOUPS 126993 WITH SCORE 127287.282
AT ITER 3803 NEW BEST:: SOT 610309 SOS 294346 HAS SOPS 285505 HAS SOUS 128193 HAS SOUPS 126951 WITH SCORE 127245.346
AT ITER 3804 NEW BEST:: SOT 610291 SOS 294328 HAS SOPS 285487 HAS SOUS 128185 HAS SOUPS 126943 WITH SCORE 127237.328
AT ITER 3812 NEW BEST:: SOT 610231 SOS 294266 HAS SOPS 285425 HAS SOUS 128155 HAS SOUPS 126913 WITH SCORE 127207.266
AT ITER 3822 NEW BEST:: SOT 610231 SOS 294266 HAS SOPS 285425 HAS SOUS 128152 HAS SOUPS 126910 WITH SCORE 127204.266
AT ITER 3839 NEW BEST:: SOT 610171 SOS 294206 HAS SOPS 285365 HAS SOUS 128138 HAS SOUPS 126896 WITH SCORE 127190.206
AT ITER 3843 NEW BEST:: SOT 610166 SOS 294201 HAS SOPS 285360 HAS SOUS 128128 HAS SOUPS 126886 WITH SCORE 127180.201
AT ITER 3873 NEW BEST:: SOT 610141 SOS 294151 HAS SOPS 285310 HAS SOUS 128078 HAS SOUPS 126836 WITH SCORE 127130.151
AT ITER 3880 NEW BEST:: SOT 609995 SOS 293248 HAS SOPS 284407 HAS SOUS 128058 HAS SOUPS 126816 WITH SCORE 127109.248
AT ITER 3881 NEW BEST:: SOT 609990 SOS 293243 HAS SOPS 284402 HAS SOUS 128039 HAS SOUPS 126797 WITH SCORE 127090.243
AT ITER 3882 NEW BEST:: SOT 609984 SOS 293231 HAS SOPS 284390 HAS SOUS 128027 HAS SOUPS 126785 WITH SCORE 127078.231
AT ITER 3900 NEW BEST:: SOT 609985 SOS 293264 HAS SOPS 284423 HAS SOUS 127977 HAS SOUPS 126735 WITH SCORE 127028.264
AT ITER 3922 NEW BEST:: SOT 609930 SOS 292321 HAS SOPS 283541 HAS SOUS 127924 HAS SOUPS 126682 WITH SCORE 126974.321
AT ITER 3931 NEW BEST:: SOT 609852 SOS 292243 HAS SOPS 283463 HAS SOUS 127786 HAS SOUPS 126544 WITH SCORE 126836.243
AT ITER 3958 NEW BEST:: SOT 609849 SOS 292238 HAS SOPS 283458 HAS SOUS 127782 HAS SOUPS 126540 WITH SCORE 126832.238
AT ITER 3965 NEW BEST:: SOT 609543 SOS 291997 HAS SOPS 283217 HAS SOUS 127464 HAS SOUPS 126222 WITH SCORE 126513.997
AT ITER 3969 NEW BEST:: SOT 609537 SOS 291991 HAS SOPS 283211 HAS SOUS 127452 HAS SOUPS 126210 WITH SCORE 126501.991
AT ITER 3985 NEW BEST:: SOT 609410 SOS 291835 HAS SOPS 283055 HAS SOUS 127336 HAS SOUPS 126094 WITH SCORE 126385.835
AT ITER 3986 NEW BEST:: SOT 609395 SOS 291820 HAS SOPS 283035 HAS SOUS 127321 HAS SOUPS 126074 WITH SCORE 126365.82
AT ITER 3991 NEW BEST:: SOT 607684 SOS 290050 HAS SOPS 281265 HAS SOUS 126554 HAS SOUPS 125307 WITH SCORE 125597.05
AT ITER 4003 NEW BEST:: SOT 607681 SOS 290047 HAS SOPS 281262 HAS SOUS 126548 HAS SOUPS 125301 WITH SCORE 125591.047
AT ITER 4005 NEW BEST:: SOT 607704 SOS 297572 HAS SOPS 288787 HAS SOUS 126535 HAS SOUPS 125288 WITH SCORE 125585.572
AT ITER 4036 NEW BEST:: SOT 607649 SOS 297462 HAS SOPS 288677 HAS SOUS 125765 HAS SOUPS 124518 WITH SCORE 124815.462
AT ITER 4038 NEW BEST:: SOT 607643 SOS 297453 HAS SOPS 288668 HAS SOUS 125753 HAS SOUPS 124506 WITH SCORE 124803.453
AT ITER 4040 NEW BEST:: SOT 607642 SOS 297456 HAS SOPS 288677 HAS SOUS 125752 HAS SOUPS 124505 WITH SCORE 124802.456
AT ITER 4058 NEW BEST:: SOT 607628 SOS 297449 HAS SOPS 288670 HAS SOUS 125738 HAS SOUPS 124491 WITH SCORE 124788.449
AT ITER 4063 NEW BEST:: SOT 607519 SOS 297379 HAS SOPS 288600 HAS SOUS 125520 HAS SOUPS 124273 WITH SCORE 124570.379
AT ITER 4068 NEW BEST:: SOT 607519 SOS 297387 HAS SOPS 288608 HAS SOUS 125512 HAS SOUPS 124265 WITH SCORE 124562.387
AT ITER 4077 NEW BEST:: SOT 607478 SOS 297295 HAS SOPS 288516 HAS SOUS 125430 HAS SOUPS 124183 WITH SCORE 124480.295
AT ITER 4119 NEW BEST:: SOT 607477 SOS 297293 HAS SOPS 288514 HAS SOUS 125428 HAS SOUPS 124181 WITH SCORE 124478.293
AT ITER 4124 NEW BEST:: SOT 607477 SOS 297118 HAS SOPS 288164 HAS SOUS 125253 HAS SOUPS 124006 WITH SCORE 124303.118
AT ITER 4127 NEW BEST:: SOT 607491 SOS 297145 HAS SOPS 288146 HAS SOUS 125235 HAS SOUPS 123988 WITH SCORE 124285.145
AT ITER 4130 NEW BEST:: SOT 607507 SOS 297153 HAS SOPS 288154 HAS SOUS 125202 HAS SOUPS 123955 WITH SCORE 124252.153
AT ITER 4132 NEW BEST:: SOT 607507 SOS 297153 HAS SOPS 288154 HAS SOUS 125201 HAS SOUPS 123954 WITH SCORE 124251.153
AT ITER 4139 NEW BEST:: SOT 607489 SOS 297135 HAS SOPS 288136 HAS SOUS 125183 HAS SOUPS 123936 WITH SCORE 124233.135
AT ITER 4146 NEW BEST:: SOT 607165 SOS 296929 HAS SOPS 287930 HAS SOUS 124959 HAS SOUPS 123712 WITH SCORE 124008.929
AT ITER 4149 NEW BEST:: SOT 607120 SOS 296879 HAS SOPS 287880 HAS SOUS 124929 HAS SOUPS 123682 WITH SCORE 123978.879
AT ITER 4164 NEW BEST:: SOT 607072 SOS 296532 HAS SOPS 287533 HAS SOUS 124856 HAS SOUPS 123609 WITH SCORE 123905.532
AT ITER 4188 NEW BEST:: SOT 607054 SOS 296514 HAS SOPS 287515 HAS SOUS 124838 HAS SOUPS 123591 WITH SCORE 123887.514
AT ITER 4230 NEW BEST:: SOT 607046 SOS 296506 HAS SOPS 287507 HAS SOUS 124822 HAS SOUPS 123575 WITH SCORE 123871.506
AT ITER 4239 NEW BEST:: SOT 607248 SOS 296724 HAS SOPS 287725 HAS SOUS 124814 HAS SOUPS 123567 WITH SCORE 123863.724
AT ITER 4242 NEW BEST:: SOT 607064 SOS 296553 HAS SOPS 287554 HAS SOUS 124716 HAS SOUPS 123469 WITH SCORE 123765.553
AT ITER 4248 NEW BEST:: SOT 607013 SOS 296492 HAS SOPS 287493 HAS SOUS 124671 HAS SOUPS 123424 WITH SCORE 123720.492
AT ITER 4251 NEW BEST:: SOT 606967 SOS 296446 HAS SOPS 287447 HAS SOUS 124547 HAS SOUPS 123300 WITH SCORE 123596.446
AT ITER 4265 NEW BEST:: SOT 606965 SOS 296434 HAS SOPS 287435 HAS SOUS 124545 HAS SOUPS 123298 WITH SCORE 123594.434
AT ITER 4280 NEW BEST:: SOT 606887 SOS 296356 HAS SOPS 287357 HAS SOUS 124414 HAS SOUPS 123167 WITH SCORE 123463.356
AT ITER 4305 NEW BEST:: SOT 606886 SOS 296354 HAS SOPS 287355 HAS SOUS 124413 HAS SOUPS 123166 WITH SCORE 123462.354
AT ITER 4327 NEW BEST:: SOT 606840 SOS 296298 HAS SOPS 287299 HAS SOUS 124321 HAS SOUPS 123074 WITH SCORE 123370.298
AT ITER 4336 NEW BEST:: SOT 606840 SOS 296298 HAS SOPS 287296 HAS SOUS 124315 HAS SOUPS 123068 WITH SCORE 123364.298
AT ITER 4343 NEW BEST:: SOT 606821 SOS 296181 HAS SOPS 287179 HAS SOUS 124234 HAS SOUPS 122987 WITH SCORE 123283.181
AT ITER 4344 NEW BEST:: SOT 606770 SOS 296130 HAS SOPS 287128 HAS SOUS 124185 HAS SOUPS 122938 WITH SCORE 123234.13
AT ITER 4350 NEW BEST:: SOT 606767 SOS 296043 HAS SOPS 287041 HAS SOUS 124133 HAS SOUPS 122886 WITH SCORE 123182.043
AT ITER 4367 NEW BEST:: SOT 606671 SOS 295947 HAS SOPS 286945 HAS SOUS 124028 HAS SOUPS 122781 WITH SCORE 123076.947
AT ITER 4375 NEW BEST:: SOT 606617 SOS 294983 HAS SOPS 285975 HAS SOUS 123934 HAS SOUPS 122687 WITH SCORE 122981.983
AT ITER 4409 NEW BEST:: SOT 606596 SOS 294941 HAS SOPS 285933 HAS SOUS 123892 HAS SOUPS 122645 WITH SCORE 122939.941
AT ITER 4411 NEW BEST:: SOT 606575 SOS 294920 HAS SOPS 285912 HAS SOUS 123850 HAS SOUPS 122603 WITH SCORE 122897.92
AT ITER 4434 NEW BEST:: SOT 606553 SOS 294898 HAS SOPS 285890 HAS SOUS 123833 HAS SOUPS 122586 WITH SCORE 122880.898
AT ITER 4435 NEW BEST:: SOT 606553 SOS 294859 HAS SOPS 285851 HAS SOUS 123755 HAS SOUPS 122508 WITH SCORE 122802.859
AT ITER 4440 NEW BEST:: SOT 606539 SOS 294835 HAS SOPS 285827 HAS SOUS 123727 HAS SOUPS 122480 WITH SCORE 122774.835
AT ITER 4451 NEW BEST:: SOT 606519 SOS 294343 HAS SOPS 285335 HAS SOUS 123655 HAS SOUPS 122408 WITH SCORE 122702.343
AT ITER 4473 NEW BEST:: SOT 606573 SOS 294383 HAS SOPS 285375 HAS SOUS 123595 HAS SOUPS 122348 WITH SCORE 122642.383
AT ITER 4552 NEW BEST:: SOT 606572 SOS 294382 HAS SOPS 285374 HAS SOUS 123588 HAS SOUPS 122341 WITH SCORE 122635.382
AT ITER 4560 NEW BEST:: SOT 606560 SOS 294358 HAS SOPS 285350 HAS SOUS 123576 HAS SOUPS 122329 WITH SCORE 122623.358
AT ITER 4576 NEW BEST:: SOT 606514 SOS 294266 HAS SOPS 285258 HAS SOUS 123530 HAS SOUPS 122283 WITH SCORE 122577.266
AT ITER 4580 NEW BEST:: SOT 606373 SOS 294125 HAS SOPS 285117 HAS SOUS 123210 HAS SOUPS 121963 WITH SCORE 122257.125
AT ITER 4583 NEW BEST:: SOT 606298 SOS 294237 HAS SOPS 285229 HAS SOUS 123152 HAS SOUPS 121905 WITH SCORE 122199.237
AT ITER 4593 NEW BEST:: SOT 606236 SOS 294128 HAS SOPS 285087 HAS SOUS 123010 HAS SOUPS 121763 WITH SCORE 122057.128
AT ITER 4611 NEW BEST:: SOT 606283 SOS 294037 HAS SOPS 284996 HAS SOUS 122978 HAS SOUPS 121731 WITH SCORE 122025.037
AT ITER 4631 NEW BEST:: SOT 606278 SOS 294032 HAS SOPS 284991 HAS SOUS 122975 HAS SOUPS 121728 WITH SCORE 122022.032
AT ITER 4632 NEW BEST:: SOT 606246 SOS 293748 HAS SOPS 284707 HAS SOUS 122914 HAS SOUPS 121667 WITH SCORE 121960.748
AT ITER 4649 NEW BEST:: SOT 606232 SOS 293720 HAS SOPS 284693 HAS SOUS 122914 HAS SOUPS 121667 WITH SCORE 121960.72
AT ITER 4664 NEW BEST:: SOT 606217 SOS 293700 HAS SOPS 284673 HAS SOUS 122824 HAS SOUPS 121577 WITH SCORE 121870.7
AT ITER 4686 NEW BEST:: SOT 606180 SOS 293626 HAS SOPS 284599 HAS SOUS 122750 HAS SOUPS 121503 WITH SCORE 121796.626
AT ITER 4692 NEW BEST:: SOT 606141 SOS 293795 HAS SOPS 284869 HAS SOUS 122669 HAS SOUPS 121422 WITH SCORE 121715.795
AT ITER 4694 NEW BEST:: SOT 606139 SOS 293793 HAS SOPS 284867 HAS SOUS 122665 HAS SOUPS 121418 WITH SCORE 121711.793
AT ITER 4738 NEW BEST:: SOT 606098 SOS 293220 HAS SOPS 284294 HAS SOUS 122592 HAS SOUPS 121345 WITH SCORE 121638.22
AT ITER 4744 NEW BEST:: SOT 606044 SOS 293166 HAS SOPS 284240 HAS SOUS 122306 HAS SOUPS 121059 WITH SCORE 121352.166
AT ITER 4745 NEW BEST:: SOT 606039 SOS 293161 HAS SOPS 284235 HAS SOUS 122301 HAS SOUPS 121054 WITH SCORE 121347.161
AT ITER 4758 NEW BEST:: SOT 606030 SOS 293152 HAS SOPS 284226 HAS SOUS 122284 HAS SOUPS 121037 WITH SCORE 121330.152
AT ITER 4767 NEW BEST:: SOT 605854 SOS 292888 HAS SOPS 283962 HAS SOUS 122070 HAS SOUPS 120823 WITH SCORE 121115.888
AT ITER 4816 NEW BEST:: SOT 605865 SOS 292902 HAS SOPS 283931 HAS SOUS 122025 HAS SOUPS 120778 WITH SCORE 121070.902
AT ITER 4834 NEW BEST:: SOT 605840 SOS 292877 HAS SOPS 283906 HAS SOUS 121892 HAS SOUPS 120645 WITH SCORE 120937.877
AT ITER 4856 NEW BEST:: SOT 605774 SOS 292860 HAS SOPS 283889 HAS SOUS 121867 HAS SOUPS 120620 WITH SCORE 120912.86
AT ITER 4868 NEW BEST:: SOT 605728 SOS 292791 HAS SOPS 283797 HAS SOUS 121798 HAS SOUPS 120551 WITH SCORE 120843.791
AT ITER 4899 NEW BEST:: SOT 605728 SOS 292971 HAS SOPS 283977 HAS SOUS 121741 HAS SOUPS 120494 WITH SCORE 120786.971
AT ITER 4908 NEW BEST:: SOT 605618 SOS 292853 HAS SOPS 283859 HAS SOUS 121521 HAS SOUPS 120274 WITH SCORE 120566.853
AT ITER 4909 NEW BEST:: SOT 605550 SOS 293107 HAS SOPS 283895 HAS SOUS 121509 HAS SOUPS 120238 WITH SCORE 120531.107
AT ITER 4914 NEW BEST:: SOT 605486 SOS 293862 HAS SOPS 284650 HAS SOUS 121494 HAS SOUPS 120223 WITH SCORE 120516.862
AT ITER 4922 NEW BEST:: SOT 605493 SOS 293823 HAS SOPS 284556 HAS SOUS 121454 HAS SOUPS 120183 WITH SCORE 120476.823
AT ITER 4942 NEW BEST:: SOT 605510 SOS 293869 HAS SOPS 284602 HAS SOUS 121445 HAS SOUPS 120174 WITH SCORE 120467.869
AT ITER 4947 NEW BEST:: SOT 605429 SOS 293859 HAS SOPS 284592 HAS SOUS 121441 HAS SOUPS 120170 WITH SCORE 120463.859
AT ITER 4956 NEW BEST:: SOT 605463 SOS 293690 HAS SOPS 284423 HAS SOUS 121305 HAS SOUPS 120034 WITH SCORE 120327.69
AT ITER 4964 NEW BEST:: SOT 605539 SOS 294108 HAS SOPS 284461 HAS SOUS 121268 HAS SOUPS 119959 WITH SCORE 120253.108
AT ITER 4967 NEW BEST:: SOT 605515 SOS 294075 HAS SOPS 284419 HAS SOUS 121192 HAS SOUPS 119875 WITH SCORE 120169.075
AT ITER 4972 NEW BEST:: SOT 605509 SOS 294069 HAS SOPS 284413 HAS SOUS 121192 HAS SOUPS 119875 WITH SCORE 120169.069
AT ITER 4977 NEW BEST:: SOT 605577 SOS 294667 HAS SOPS 284481 HAS SOUS 121169 HAS SOUPS 119799 WITH SCORE 120093.667
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: PolyORBLF-PT-S02J04T10-CTLCardinality-00 ( potential( (tk(P253)) <= (tk(P51) + tk(P75) + tk(P92) + tk(P159) + tk(P215) + tk(P257) + tk(P293) + tk(P401) + tk(P518) + tk(P669)) ) & (! (AF(potential( ( 1 ) <= (tk(P59) + tk(P73) + tk(P195) + tk(P317) + tk(P377) + tk(P515) + tk(P541) + tk(P543) + tk(P634) + tk(P641)) )))) )
PROPERTY: PolyORBLF-PT-S02J04T10-CTLCardinality-01 (! (EF(potential( ( 3 ) <= (tk(P601)) ))))
PROPERTY: PolyORBLF-PT-S02J04T10-CTLCardinality-02 (! (EF(( ( potential( ( 2 ) <= (tk(P26) + tk(P165) + tk(P237) + tk(P287) + tk(P340) + tk(P429) + tk(P441) + tk(P533) + tk(P583) + tk(P672)) ) & potential( (tk(P3) + tk(P6) + tk(P10) + tk(P25) + tk(P47) + tk(P68) + tk(P71) + tk(P79) + tk(P97) + tk(P126) + tk(P133) + tk(P138) + tk(P152) + tk(P168) + tk(P183) + tk(P200) + tk(P204) + tk(P205) + tk(P230) + tk(P236) + tk(P247) + tk(P263) + tk(P271) + tk(P278) + tk(P306) + tk(P309) + tk(P333) + tk(P348) + tk(P359) + tk(P370) + tk(P421) + tk(P453) + tk(P462) + tk(P471) + tk(P484) + tk(P486) + tk(P497) + tk(P508) + tk(P537) + tk(P553) + tk(P559) + tk(P561) + tk(P577) + tk(P588) + tk(P616) + tk(P676) + tk(P679) + tk(P692) + tk(P700) + tk(P741)) <= (tk(P258) + tk(P322) + tk(P334) + tk(P416) + tk(P419)) ) ) & potential( ( 2 ) <= (tk(P258) + tk(P322) + tk(P334) + tk(P416) + tk(P419)) ) ))))
PROPERTY: PolyORBLF-PT-S02J04T10-CTLCardinality-03 (! ( (! (AG( potential( (tk(P54) + tk(P109) + tk(P158) + tk(P164) + tk(P246) + tk(P335) + tk(P381) + tk(P459) + tk(P589) + tk(P674)) <= (tk(P5) + tk(P103) + tk(P192) + tk(P279) + tk(P397) + tk(P437) + tk(P527) + tk(P580) + tk(P591) + tk(P675)) )))) & potential( (tk(P38) + tk(P131) + tk(P153) + tk(P231) + tk(P352) + tk(P399) + tk(P521) + tk(P643) + tk(P691) + tk(P695)) <= (tk(P78) + tk(P163) + tk(P175) + tk(P276) + tk(P396) + tk(P420) + tk(P488) + tk(P517) + tk(P606) + tk(P712)) ) ))
PROPERTY: PolyORBLF-PT-S02J04T10-CTLCardinality-04 (AF((EG( (! potential( (tk(P23) + tk(P249) + tk(P372) + tk(P464) + tk(P469) + tk(P502) + tk(P584) + tk(P585) + tk(P619) + tk(P723)) <= (tk(P42) + tk(P53) + tk(P87) + tk(P101) + tk(P184) + tk(P229) + tk(P261) + tk(P283) + tk(P299) + tk(P310) + tk(P343) + tk(P390) + tk(P394) + tk(P568) + tk(P581) + tk(P647) + tk(P648) + tk(P737) + tk(P742) + tk(P752)) ))))))
PROPERTY: PolyORBLF-PT-S02J04T10-CTLCardinality-05 (EF(( ( ( potential( (tk(P34) + tk(P49) + tk(P102) + tk(P196) + tk(P233) + tk(P327) + tk(P444) + tk(P512) + tk(P538) + tk(P655)) <= (tk(P39) + tk(P63) + tk(P143) + tk(P193) + tk(P415) + tk(P476) + tk(P503) + tk(P551) + tk(P631) + tk(P652)) ) | potential( (tk(P492)) <= (tk(P40) + tk(P107) + tk(P207) + tk(P331) + tk(P360) + tk(P406) + tk(P474) + tk(P479) + tk(P658) + tk(P734)) ) ) & ( potential( ( 1 ) <= (tk(P93) + tk(P182) + tk(P226) + tk(P259) + tk(P411) + tk(P480) + tk(P519) + tk(P602) + tk(P715) + tk(P750)) ) | potential( ( 2 ) <= (tk(P122)) ) ) ) | (AF(potential( ( 2 ) <= (tk(P59) + tk(P73) + tk(P195) + tk(P317) + tk(P377) + tk(P515) + tk(P541) + tk(P543) + tk(P634) + tk(P641)) ))) )))
PROPERTY: PolyORBLF-PT-S02J04T10-CTLCardinality-06 (AU( (AF(potential( ( 1 ) <= (tk(P717)) ))),(AF(potential( ( 1 ) <= (tk(P18) + tk(P69) + tk(P198) + tk(P225) + tk(P312) + tk(P392) + tk(P460) + tk(P554) + tk(P636) + tk(P743)) ))) ))
PROPERTY: PolyORBLF-PT-S02J04T10-CTLCardinality-07 (EF((EG( ( potential( (tk(P601)) <= (tk(P72) + tk(P383) + tk(P414) + tk(P470) + tk(P477) + tk(P544) + tk(P640) + tk(P649) + tk(P714) + tk(P720)) ) & potential( ( 3 ) <= (tk(P142) + tk(P241) + tk(P318) + tk(P354) + tk(P451) + tk(P472) + tk(P558) + tk(P628) + tk(P633) + tk(P745)) ) )))))
PROPERTY: PolyORBLF-PT-S02J04T10-CTLCardinality-08 ( (! ( ( potential( (tk(P663)) <= (tk(P29)) ) & potential( (tk(P414)) <= (tk(P67)) ) ) & (EG( potential( (tk(P345)) <= (tk(P506)) ))) )) | (EX( (! potential( (tk(P396)) <= (tk(P13)) )))) )
PROPERTY: PolyORBLF-PT-S02J04T10-CTLCardinality-09 (EG( (EG( ( potential( ( 2 ) <= (tk(P448)) ) | potential( (tk(P311)) <= (tk(P435)) ) )))))
PROPERTY: PolyORBLF-PT-S02J04T10-CTLCardinality-10 ( (EF((! potential( (tk(P560)) <= (tk(P421)) )))) & (AG( (AG( potential( (tk(P332)) <= (tk(P613)) ))))) )
PROPERTY: PolyORBLF-PT-S02J04T10-CTLCardinality-11 (EX( (EG( ( potential( (tk(P7)) <= (tk(P479)) ) & potential( (tk(P225)) <= (tk(P213)) ) )))))
PROPERTY: PolyORBLF-PT-S02J04T10-CTLCardinality-12 ( (AF((! (! potential( ( 3 ) <= (tk(P717)) ))))) | (AG( ( (! potential( (tk(P136)) <= (tk(P571)) )) & ( potential( ( 1 ) <= (tk(P78)) ) | potential( ( 2 ) <= (tk(P568)) ) ) ))) )
PROPERTY: PolyORBLF-PT-S02J04T10-CTLCardinality-13 (EU( (! (! potential( (tk(P337)) <= (tk(P259)) ))),(! ( potential( ( 1 ) <= (tk(P652)) ) | potential( (tk(P87)) <= (tk(P567)) ) )) ))
PROPERTY: PolyORBLF-PT-S02J04T10-CTLCardinality-14 (EF(( ( ( potential( (tk(P670)) <= (tk(P670)) ) & potential( ( 2 ) <= (tk(P119)) ) ) | potential( (tk(P122)) <= (tk(P83)) ) ) | (EX( potential( ( 2 ) <= (tk(P125)) ))) )))
PROPERTY: PolyORBLF-PT-S02J04T10-CTLCardinality-15 (AX( (EF(( potential( ( 2 ) <= (tk(P322)) ) | potential( ( 2 ) <= (tk(P222)) ) )))))

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="PolyORBLF-PT-S02J04T10"
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 PolyORBLF-PT-S02J04T10, 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 r123-tajo-158961354700427"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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