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-158961354700443.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-S02J06T08, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r123-tajo-158961354700443
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.7M
-rw-r--r-- 1 mcc users 12K Apr 12 05:40 CTLCardinality.txt
-rw-r--r-- 1 mcc users 41K Apr 12 05:40 CTLCardinality.xml
-rw-r--r-- 1 mcc users 10K Apr 11 04:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 43K Apr 11 04:57 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 7.2K 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 11K Apr 14 12:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 41K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.2K Apr 10 12:37 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 10 12:37 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Apr 9 17:48 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 45K Apr 9 17:48 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 4.6K Apr 10 22:22 UpperBounds.txt
-rw-r--r-- 1 mcc users 9.1K 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.3M 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-S02J06T08-CTLCardinality-00
FORMULA_NAME PolyORBLF-PT-S02J06T08-CTLCardinality-01
FORMULA_NAME PolyORBLF-PT-S02J06T08-CTLCardinality-02
FORMULA_NAME PolyORBLF-PT-S02J06T08-CTLCardinality-03
FORMULA_NAME PolyORBLF-PT-S02J06T08-CTLCardinality-04
FORMULA_NAME PolyORBLF-PT-S02J06T08-CTLCardinality-05
FORMULA_NAME PolyORBLF-PT-S02J06T08-CTLCardinality-06
FORMULA_NAME PolyORBLF-PT-S02J06T08-CTLCardinality-07
FORMULA_NAME PolyORBLF-PT-S02J06T08-CTLCardinality-08
FORMULA_NAME PolyORBLF-PT-S02J06T08-CTLCardinality-09
FORMULA_NAME PolyORBLF-PT-S02J06T08-CTLCardinality-10
FORMULA_NAME PolyORBLF-PT-S02J06T08-CTLCardinality-11
FORMULA_NAME PolyORBLF-PT-S02J06T08-CTLCardinality-12
FORMULA_NAME PolyORBLF-PT-S02J06T08-CTLCardinality-13
FORMULA_NAME PolyORBLF-PT-S02J06T08-CTLCardinality-14
FORMULA_NAME PolyORBLF-PT-S02J06T08-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589642549222

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (PT), instance S02J06T08
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: 690 places, 1434 transitions, 6564 arcs.
AT ITER 0 NEW BEST:: SOT 601586 SOS 333538 HAS SOPS 328708 HAS SOUS 188834 HAS SOUPS 188398 WITH SCORE 188731.538
AT ITER 1 NEW BEST:: SOT 601617 SOS 333522 HAS SOPS 328692 HAS SOUS 188818 HAS SOUPS 188382 WITH SCORE 188715.522
AT ITER 3 NEW BEST:: SOT 601260 SOS 333216 HAS SOPS 328386 HAS SOUS 188352 HAS SOUPS 187916 WITH SCORE 188249.216
AT ITER 24 NEW BEST:: SOT 594228 SOS 330626 HAS SOPS 325796 HAS SOUS 186185 HAS SOUPS 185749 WITH SCORE 186079.626
AT ITER 29 NEW BEST:: SOT 590317 SOS 326855 HAS SOPS 322025 HAS SOUS 184654 HAS SOUPS 184218 WITH SCORE 184544.855
AT ITER 32 NEW BEST:: SOT 587881 SOS 324388 HAS SOPS 319558 HAS SOUS 182148 HAS SOUPS 181712 WITH SCORE 182036.388
AT ITER 45 NEW BEST:: SOT 587837 SOS 324300 HAS SOPS 319470 HAS SOUS 182091 HAS SOUPS 181655 WITH SCORE 181979.3
AT ITER 48 NEW BEST:: SOT 587848 SOS 324311 HAS SOPS 319473 HAS SOUS 182099 HAS SOUPS 181645 WITH SCORE 181969.311
AT ITER 49 NEW BEST:: SOT 580567 SOS 317295 HAS SOPS 312457 HAS SOUS 179323 HAS SOUPS 178869 WITH SCORE 179186.295
AT ITER 63 NEW BEST:: SOT 574423 SOS 311151 HAS SOPS 306313 HAS SOUS 177587 HAS SOUPS 177133 WITH SCORE 177444.151
AT ITER 72 NEW BEST:: SOT 574031 SOS 310703 HAS SOPS 305865 HAS SOUS 177139 HAS SOUPS 176685 WITH SCORE 176995.703
AT ITER 74 NEW BEST:: SOT 573213 SOS 309977 HAS SOPS 305139 HAS SOUS 176110 HAS SOUPS 175656 WITH SCORE 175965.977
AT ITER 82 NEW BEST:: SOT 573157 SOS 309905 HAS SOPS 305067 HAS SOUS 176079 HAS SOUPS 175625 WITH SCORE 175934.905
AT ITER 84 NEW BEST:: SOT 573238 SOS 309986 HAS SOPS 305148 HAS SOUS 176078 HAS SOUPS 175624 WITH SCORE 175933.986
AT ITER 87 NEW BEST:: SOT 573238 SOS 309962 HAS SOPS 305124 HAS SOUS 176054 HAS SOUPS 175600 WITH SCORE 175909.962
AT ITER 113 NEW BEST:: SOT 573175 SOS 309836 HAS SOPS 304998 HAS SOUS 176054 HAS SOUPS 175600 WITH SCORE 175909.836
AT ITER 122 NEW BEST:: SOT 573138 SOS 309762 HAS SOPS 304924 HAS SOUS 175891 HAS SOUPS 175437 WITH SCORE 175746.762
AT ITER 128 NEW BEST:: SOT 572853 SOS 309512 HAS SOPS 304575 HAS SOUS 175436 HAS SOUPS 174982 WITH SCORE 175291.512
AT ITER 146 NEW BEST:: SOT 572801 SOS 309408 HAS SOPS 304471 HAS SOUS 175280 HAS SOUPS 174826 WITH SCORE 175135.408
AT ITER 154 NEW BEST:: SOT 572679 SOS 309270 HAS SOPS 304333 HAS SOUS 175056 HAS SOUPS 174602 WITH SCORE 174911.27
AT ITER 160 NEW BEST:: SOT 572620 SOS 309152 HAS SOPS 304215 HAS SOUS 174938 HAS SOUPS 174484 WITH SCORE 174793.152
AT ITER 163 NEW BEST:: SOT 572601 SOS 309114 HAS SOPS 304177 HAS SOUS 174900 HAS SOUPS 174446 WITH SCORE 174755.114
AT ITER 174 NEW BEST:: SOT 572328 SOS 308841 HAS SOPS 303904 HAS SOUS 174304 HAS SOUPS 173850 WITH SCORE 174158.841
AT ITER 190 NEW BEST:: SOT 565298 SOS 305665 HAS SOPS 300728 HAS SOUS 172177 HAS SOUPS 171723 WITH SCORE 172028.665
AT ITER 198 NEW BEST:: SOT 565070 SOS 305437 HAS SOPS 300500 HAS SOUS 171949 HAS SOUPS 171495 WITH SCORE 171800.437
AT ITER 203 NEW BEST:: SOT 565035 SOS 305644 HAS SOPS 300729 HAS SOUS 171928 HAS SOUPS 171474 WITH SCORE 171779.644
AT ITER 227 NEW BEST:: SOT 565018 SOS 305610 HAS SOPS 300695 HAS SOUS 171908 HAS SOUPS 171454 WITH SCORE 171759.61
AT ITER 243 NEW BEST:: SOT 564737 SOS 305016 HAS SOPS 300101 HAS SOUS 171454 HAS SOUPS 171000 WITH SCORE 171305.016
AT ITER 252 NEW BEST:: SOT 564164 SOS 304496 HAS SOPS 299581 HAS SOUS 170910 HAS SOUPS 170456 WITH SCORE 170760.496
AT ITER 273 NEW BEST:: SOT 564098 SOS 304098 HAS SOPS 296623 HAS SOUS 170888 HAS SOUPS 170114 WITH SCORE 170418.098
AT ITER 284 NEW BEST:: SOT 564020 SOS 304389 HAS SOPS 296935 HAS SOUS 170805 HAS SOUPS 170031 WITH SCORE 170335.389
AT ITER 292 NEW BEST:: SOT 564050 SOS 304961 HAS SOPS 297525 HAS SOUS 170784 HAS SOUPS 170010 WITH SCORE 170314.961
AT ITER 293 NEW BEST:: SOT 563863 SOS 304841 HAS SOPS 297405 HAS SOUS 170603 HAS SOUPS 169829 WITH SCORE 170133.841
AT ITER 324 NEW BEST:: SOT 563121 SOS 304099 HAS SOPS 296663 HAS SOUS 169847 HAS SOUPS 169073 WITH SCORE 169377.099
AT ITER 328 NEW BEST:: SOT 563114 SOS 304085 HAS SOPS 296649 HAS SOUS 169833 HAS SOUPS 169059 WITH SCORE 169363.085
AT ITER 332 NEW BEST:: SOT 558192 SOS 347957 HAS SOPS 343669 HAS SOUS 166427 HAS SOUPS 165855 WITH SCORE 166202.957
AT ITER 333 NEW BEST:: SOT 558168 SOS 347941 HAS SOPS 343653 HAS SOUS 166411 HAS SOUPS 165839 WITH SCORE 166186.941
AT ITER 337 NEW BEST:: SOT 558110 SOS 347887 HAS SOPS 343599 HAS SOUS 166357 HAS SOUPS 165785 WITH SCORE 166132.887
AT ITER 361 NEW BEST:: SOT 558066 SOS 347799 HAS SOPS 343511 HAS SOUS 166273 HAS SOUPS 165701 WITH SCORE 166048.799
AT ITER 367 NEW BEST:: SOT 558048 SOS 347780 HAS SOPS 343492 HAS SOUS 166237 HAS SOUPS 165665 WITH SCORE 166012.78
AT ITER 378 NEW BEST:: SOT 557850 SOS 347664 HAS SOPS 343376 HAS SOUS 166048 HAS SOUPS 165476 WITH SCORE 165823.664
AT ITER 381 NEW BEST:: SOT 557700 SOS 347514 HAS SOPS 343226 HAS SOUS 165568 HAS SOUPS 164996 WITH SCORE 165343.514
AT ITER 384 NEW BEST:: SOT 550524 SOS 343578 HAS SOPS 339290 HAS SOUS 163282 HAS SOUPS 162710 WITH SCORE 163053.578
AT ITER 392 NEW BEST:: SOT 550892 SOS 344238 HAS SOPS 339950 HAS SOUS 163227 HAS SOUPS 162655 WITH SCORE 162999.238
AT ITER 400 NEW BEST:: SOT 550697 SOS 344027 HAS SOPS 339739 HAS SOUS 163030 HAS SOUPS 162458 WITH SCORE 162802.027
AT ITER 407 NEW BEST:: SOT 550297 SOS 343627 HAS SOPS 339339 HAS SOUS 162630 HAS SOUPS 162058 WITH SCORE 162401.627
AT ITER 408 NEW BEST:: SOT 550295 SOS 343623 HAS SOPS 339335 HAS SOUS 162572 HAS SOUPS 162000 WITH SCORE 162343.623
AT ITER 418 NEW BEST:: SOT 550295 SOS 343570 HAS SOPS 339282 HAS SOUS 162418 HAS SOUPS 161846 WITH SCORE 162189.57
AT ITER 419 NEW BEST:: SOT 550295 SOS 343657 HAS SOPS 339369 HAS SOUS 162312 HAS SOUPS 161740 WITH SCORE 162083.657
AT ITER 420 NEW BEST:: SOT 549774 SOS 339853 HAS SOPS 335565 HAS SOUS 161948 HAS SOUPS 161376 WITH SCORE 161715.853
AT ITER 425 NEW BEST:: SOT 549774 SOS 339844 HAS SOPS 335556 HAS SOUS 161939 HAS SOUPS 161367 WITH SCORE 161706.844
AT ITER 438 NEW BEST:: SOT 549592 SOS 339662 HAS SOPS 335374 HAS SOUS 161211 HAS SOUPS 160639 WITH SCORE 160978.662
AT ITER 440 NEW BEST:: SOT 549273 SOS 293775 HAS SOPS 286752 HAS SOUS 160313 HAS SOUPS 159596 WITH SCORE 159889.775
AT ITER 441 NEW BEST:: SOT 548125 SOS 292228 HAS SOPS 285205 HAS SOUS 159907 HAS SOUPS 159190 WITH SCORE 159482.228
AT ITER 445 NEW BEST:: SOT 548092 SOS 292144 HAS SOPS 285121 HAS SOUS 159841 HAS SOUPS 159124 WITH SCORE 159416.144
AT ITER 457 NEW BEST:: SOT 548067 SOS 291911 HAS SOPS 284888 HAS SOUS 159710 HAS SOUPS 158993 WITH SCORE 159284.911
AT ITER 459 NEW BEST:: SOT 547424 SOS 291328 HAS SOPS 284305 HAS SOUS 159043 HAS SOUPS 158326 WITH SCORE 158617.328
AT ITER 470 NEW BEST:: SOT 547400 SOS 291304 HAS SOPS 284254 HAS SOUS 159033 HAS SOUPS 158307 WITH SCORE 158598.304
AT ITER 482 NEW BEST:: SOT 547099 SOS 291003 HAS SOPS 283953 HAS SOUS 158732 HAS SOUPS 158006 WITH SCORE 158297.003
AT ITER 485 NEW BEST:: SOT 547095 SOS 291153 HAS SOPS 284103 HAS SOUS 158706 HAS SOUPS 157980 WITH SCORE 158271.153
AT ITER 495 NEW BEST:: SOT 547089 SOS 291173 HAS SOPS 284123 HAS SOUS 158694 HAS SOUPS 157968 WITH SCORE 158259.173
AT ITER 522 NEW BEST:: SOT 546461 SOS 290059 HAS SOPS 283009 HAS SOUS 157876 HAS SOUPS 157150 WITH SCORE 157440.059
AT ITER 529 NEW BEST:: SOT 544531 SOS 288095 HAS SOPS 281045 HAS SOUS 155976 HAS SOUPS 155250 WITH SCORE 155538.095
AT ITER 550 NEW BEST:: SOT 544832 SOS 288510 HAS SOPS 281460 HAS SOUS 154630 HAS SOUPS 153904 WITH SCORE 154192.51
AT ITER 551 NEW BEST:: SOT 544832 SOS 288364 HAS SOPS 281314 HAS SOUS 154630 HAS SOUPS 153904 WITH SCORE 154192.364
AT ITER 561 NEW BEST:: SOT 544796 SOS 288417 HAS SOPS 281390 HAS SOUS 154609 HAS SOUPS 153883 WITH SCORE 154171.417
AT ITER 563 NEW BEST:: SOT 544667 SOS 288288 HAS SOPS 281261 HAS SOUS 154480 HAS SOUPS 153754 WITH SCORE 154042.288
AT ITER 571 NEW BEST:: SOT 544495 SOS 288101 HAS SOPS 281074 HAS SOUS 154453 HAS SOUPS 153727 WITH SCORE 154015.101
AT ITER 573 NEW BEST:: SOT 544468 SOS 288074 HAS SOPS 281047 HAS SOUS 154446 HAS SOUPS 153720 WITH SCORE 154008.074
AT ITER 584 NEW BEST:: SOT 544344 SOS 287950 HAS SOPS 280923 HAS SOUS 154117 HAS SOUPS 153391 WITH SCORE 153678.95
AT ITER 595 NEW BEST:: SOT 544321 SOS 287927 HAS SOPS 280900 HAS SOUS 154076 HAS SOUPS 153350 WITH SCORE 153637.927
AT ITER 616 NEW BEST:: SOT 544392 SOS 287998 HAS SOPS 280950 HAS SOUS 154069 HAS SOUPS 153337 WITH SCORE 153624.998
AT ITER 617 NEW BEST:: SOT 544128 SOS 287606 HAS SOPS 280558 HAS SOUS 153850 HAS SOUPS 153118 WITH SCORE 153405.606
AT ITER 623 NEW BEST:: SOT 544671 SOS 288179 HAS SOPS 281131 HAS SOUS 153784 HAS SOUPS 153052 WITH SCORE 153340.179
AT ITER 624 NEW BEST:: SOT 544605 SOS 288053 HAS SOPS 281005 HAS SOUS 153034 HAS SOUPS 152302 WITH SCORE 152590.053
AT ITER 636 NEW BEST:: SOT 544457 SOS 287757 HAS SOPS 280709 HAS SOUS 152738 HAS SOUPS 152006 WITH SCORE 152293.757
AT ITER 666 NEW BEST:: SOT 543837 SOS 287263 HAS SOPS 280215 HAS SOUS 152212 HAS SOUPS 151480 WITH SCORE 151767.263
AT ITER 667 NEW BEST:: SOT 543169 SOS 286315 HAS SOPS 279267 HAS SOUS 151458 HAS SOUPS 150726 WITH SCORE 151012.315
AT ITER 679 NEW BEST:: SOT 543030 SOS 286148 HAS SOPS 279100 HAS SOUS 151454 HAS SOUPS 150722 WITH SCORE 151008.148
AT ITER 680 NEW BEST:: SOT 537271 SOS 287557 HAS SOPS 278351 HAS SOUS 146085 HAS SOUPS 145001 WITH SCORE 145288.557
AT ITER 698 NEW BEST:: SOT 536931 SOS 286916 HAS SOPS 277466 HAS SOUS 145292 HAS SOUPS 144208 WITH SCORE 144494.916
AT ITER 700 NEW BEST:: SOT 535309 SOS 285344 HAS SOPS 275894 HAS SOUS 144557 HAS SOUPS 143473 WITH SCORE 143758.344
AT ITER 705 NEW BEST:: SOT 535162 SOS 285045 HAS SOPS 275595 HAS SOUS 144451 HAS SOUPS 143367 WITH SCORE 143652.045
AT ITER 709 NEW BEST:: SOT 535198 SOS 285224 HAS SOPS 275666 HAS SOUS 144391 HAS SOUPS 143307 WITH SCORE 143592.224
AT ITER 711 NEW BEST:: SOT 532540 SOS 282672 HAS SOPS 273114 HAS SOUS 143450 HAS SOUPS 142366 WITH SCORE 142648.672
AT ITER 725 NEW BEST:: SOT 532525 SOS 282513 HAS SOPS 272955 HAS SOUS 143291 HAS SOUPS 142207 WITH SCORE 142489.513
AT ITER 737 NEW BEST:: SOT 531814 SOS 281935 HAS SOPS 272377 HAS SOUS 143030 HAS SOUPS 141946 WITH SCORE 142227.935
AT ITER 743 NEW BEST:: SOT 531759 SOS 281846 HAS SOPS 272288 HAS SOUS 142941 HAS SOUPS 141857 WITH SCORE 142138.846
AT ITER 750 NEW BEST:: SOT 531467 SOS 281498 HAS SOPS 271940 HAS SOUS 142044 HAS SOUPS 140960 WITH SCORE 141241.498
AT ITER 757 NEW BEST:: SOT 531257 SOS 280509 HAS SOPS 270951 HAS SOUS 141890 HAS SOUPS 140806 WITH SCORE 141086.509
AT ITER 761 NEW BEST:: SOT 531071 SOS 279462 HAS SOPS 269904 HAS SOUS 141789 HAS SOUPS 140705 WITH SCORE 140984.462
AT ITER 767 NEW BEST:: SOT 531164 SOS 279555 HAS SOPS 269974 HAS SOUS 141781 HAS SOUPS 140697 WITH SCORE 140976.555
AT ITER 775 NEW BEST:: SOT 531131 SOS 279493 HAS SOPS 269912 HAS SOUS 141686 HAS SOUPS 140602 WITH SCORE 140881.493
AT ITER 777 NEW BEST:: SOT 531106 SOS 279468 HAS SOPS 269887 HAS SOUS 141636 HAS SOUPS 140552 WITH SCORE 140831.468
AT ITER 778 NEW BEST:: SOT 531176 SOS 279517 HAS SOPS 269966 HAS SOUS 141558 HAS SOUPS 140474 WITH SCORE 140753.517
AT ITER 780 NEW BEST:: SOT 531265 SOS 279606 HAS SOPS 270039 HAS SOUS 141545 HAS SOUPS 140461 WITH SCORE 140740.606
AT ITER 815 NEW BEST:: SOT 531247 SOS 279580 HAS SOPS 270013 HAS SOUS 141519 HAS SOUPS 140435 WITH SCORE 140714.58
AT ITER 833 NEW BEST:: SOT 531209 SOS 279551 HAS SOPS 269984 HAS SOUS 141372 HAS SOUPS 140288 WITH SCORE 140567.551
AT ITER 858 NEW BEST:: SOT 531209 SOS 279679 HAS SOPS 270112 HAS SOUS 141311 HAS SOUPS 140227 WITH SCORE 140506.679
AT ITER 866 NEW BEST:: SOT 530966 SOS 278932 HAS SOPS 269365 HAS SOUS 141084 HAS SOUPS 140000 WITH SCORE 140278.932
AT ITER 877 NEW BEST:: SOT 530966 SOS 278852 HAS SOPS 269285 HAS SOUS 141084 HAS SOUPS 140000 WITH SCORE 140278.852
AT ITER 881 NEW BEST:: SOT 530912 SOS 278813 HAS SOPS 269246 HAS SOUS 141013 HAS SOUPS 139929 WITH SCORE 140207.813
AT ITER 882 NEW BEST:: SOT 530894 SOS 278531 HAS SOPS 268964 HAS SOUS 140979 HAS SOUPS 139895 WITH SCORE 140173.531
AT ITER 885 NEW BEST:: SOT 530917 SOS 278573 HAS SOPS 269006 HAS SOUS 140867 HAS SOUPS 139783 WITH SCORE 140061.573
AT ITER 887 NEW BEST:: SOT 530873 SOS 278529 HAS SOPS 268929 HAS SOUS 140832 HAS SOUPS 139730 WITH SCORE 140008.529
AT ITER 891 NEW BEST:: SOT 530862 SOS 278938 HAS SOPS 269462 HAS SOUS 140820 HAS SOUPS 139718 WITH SCORE 139996.938
AT ITER 900 NEW BEST:: SOT 530731 SOS 278773 HAS SOPS 269297 HAS SOUS 140592 HAS SOUPS 139490 WITH SCORE 139768.773
AT ITER 916 NEW BEST:: SOT 530694 SOS 278952 HAS SOPS 269500 HAS SOUS 140571 HAS SOUPS 139469 WITH SCORE 139747.952
AT ITER 923 NEW BEST:: SOT 530602 SOS 278814 HAS SOPS 269362 HAS SOUS 140341 HAS SOUPS 139239 WITH SCORE 139517.814
AT ITER 936 NEW BEST:: SOT 530584 SOS 278796 HAS SOPS 269344 HAS SOUS 140305 HAS SOUPS 139203 WITH SCORE 139481.796
AT ITER 937 NEW BEST:: SOT 530513 SOS 278329 HAS SOPS 268877 HAS SOUS 140246 HAS SOUPS 139144 WITH SCORE 139422.329
AT ITER 944 NEW BEST:: SOT 530501 SOS 278317 HAS SOPS 268865 HAS SOUS 140232 HAS SOUPS 139130 WITH SCORE 139408.317
AT ITER 947 NEW BEST:: SOT 530500 SOS 278316 HAS SOPS 268864 HAS SOUS 140158 HAS SOUPS 139056 WITH SCORE 139334.316
AT ITER 948 NEW BEST:: SOT 530500 SOS 278295 HAS SOPS 268843 HAS SOUS 140158 HAS SOUPS 139056 WITH SCORE 139334.295
AT ITER 951 NEW BEST:: SOT 530291 SOS 278000 HAS SOPS 268548 HAS SOUS 140106 HAS SOUPS 139004 WITH SCORE 139282.0
AT ITER 964 NEW BEST:: SOT 529933 SOS 277706 HAS SOPS 268254 HAS SOUS 139812 HAS SOUPS 138710 WITH SCORE 138987.706
AT ITER 967 NEW BEST:: SOT 529875 SOS 277648 HAS SOPS 268196 HAS SOUS 139754 HAS SOUPS 138652 WITH SCORE 138929.648
AT ITER 979 NEW BEST:: SOT 529859 SOS 277522 HAS SOPS 268070 HAS SOUS 139628 HAS SOUPS 138526 WITH SCORE 138803.522
AT ITER 981 NEW BEST:: SOT 529859 SOS 277522 HAS SOPS 268070 HAS SOUS 139599 HAS SOUPS 138497 WITH SCORE 138774.522
AT ITER 987 NEW BEST:: SOT 529812 SOS 277475 HAS SOPS 268023 HAS SOUS 139505 HAS SOUPS 138403 WITH SCORE 138680.475
AT ITER 988 NEW BEST:: SOT 529742 SOS 277405 HAS SOPS 267953 HAS SOUS 139435 HAS SOUPS 138333 WITH SCORE 138610.405
AT ITER 1001 NEW BEST:: SOT 529724 SOS 277369 HAS SOPS 267917 HAS SOUS 139399 HAS SOUPS 138297 WITH SCORE 138574.369
AT ITER 1010 NEW BEST:: SOT 529708 SOS 277341 HAS SOPS 267889 HAS SOUS 139399 HAS SOUPS 138297 WITH SCORE 138574.341
AT ITER 1018 NEW BEST:: SOT 529691 SOS 277324 HAS SOPS 267872 HAS SOUS 139365 HAS SOUPS 138263 WITH SCORE 138540.324
AT ITER 1023 NEW BEST:: SOT 529817 SOS 277450 HAS SOPS 267998 HAS SOUS 138836 HAS SOUPS 137734 WITH SCORE 138011.45
AT ITER 1030 NEW BEST:: SOT 529777 SOS 277400 HAS SOPS 267948 HAS SOUS 138756 HAS SOUPS 137654 WITH SCORE 137931.4
AT ITER 1036 NEW BEST:: SOT 529472 SOS 277503 HAS SOPS 268043 HAS SOUS 138632 HAS SOUPS 137530 WITH SCORE 137807.503
AT ITER 1039 NEW BEST:: SOT 529444 SOS 277362 HAS SOPS 267902 HAS SOUS 138576 HAS SOUPS 137474 WITH SCORE 137751.362
AT ITER 1057 NEW BEST:: SOT 529535 SOS 277671 HAS SOPS 268211 HAS SOUS 138572 HAS SOUPS 137470 WITH SCORE 137747.671
AT ITER 1072 NEW BEST:: SOT 529378 SOS 277475 HAS SOPS 268015 HAS SOUS 138467 HAS SOUPS 137365 WITH SCORE 137642.475
AT ITER 1075 NEW BEST:: SOT 529162 SOS 277260 HAS SOPS 267799 HAS SOUS 138190 HAS SOUPS 137088 WITH SCORE 137365.26
AT ITER 1081 NEW BEST:: SOT 528811 SOS 276820 HAS SOPS 267359 HAS SOUS 137934 HAS SOUPS 136832 WITH SCORE 137108.82
AT ITER 1093 NEW BEST:: SOT 528822 SOS 276831 HAS SOPS 267370 HAS SOUS 137808 HAS SOUPS 136706 WITH SCORE 136982.831
AT ITER 1096 NEW BEST:: SOT 528686 SOS 277854 HAS SOPS 268413 HAS SOUS 137664 HAS SOUPS 136562 WITH SCORE 136839.854
AT ITER 1099 NEW BEST:: SOT 528686 SOS 277854 HAS SOPS 268413 HAS SOUS 137617 HAS SOUPS 136515 WITH SCORE 136792.854
AT ITER 1105 NEW BEST:: SOT 528574 SOS 277744 HAS SOPS 268473 HAS SOUS 137558 HAS SOUPS 136466 WITH SCORE 136743.744
AT ITER 1114 NEW BEST:: SOT 528565 SOS 277735 HAS SOPS 268464 HAS SOUS 137156 HAS SOUPS 136064 WITH SCORE 136341.735
AT ITER 1115 NEW BEST:: SOT 528558 SOS 277728 HAS SOPS 268457 HAS SOUS 137149 HAS SOUPS 136057 WITH SCORE 136334.728
AT ITER 1121 NEW BEST:: SOT 528524 SOS 277626 HAS SOPS 268321 HAS SOUS 137047 HAS SOUPS 135955 WITH SCORE 136232.626
AT ITER 1128 NEW BEST:: SOT 528524 SOS 277866 HAS SOPS 268561 HAS SOUS 136357 HAS SOUPS 135265 WITH SCORE 135542.866
AT ITER 1142 NEW BEST:: SOT 528413 SOS 277739 HAS SOPS 268434 HAS SOUS 136230 HAS SOUPS 135138 WITH SCORE 135415.739
AT ITER 1153 NEW BEST:: SOT 528312 SOS 278123 HAS SOPS 268837 HAS SOUS 136100 HAS SOUPS 135008 WITH SCORE 135286.123
AT ITER 1156 NEW BEST:: SOT 528290 SOS 278101 HAS SOPS 268815 HAS SOUS 136056 HAS SOUPS 134964 WITH SCORE 135242.101
AT ITER 1166 NEW BEST:: SOT 528279 SOS 278090 HAS SOPS 268804 HAS SOUS 136041 HAS SOUPS 134949 WITH SCORE 135227.09
AT ITER 1201 NEW BEST:: SOT 528329 SOS 278132 HAS SOPS 268598 HAS SOUS 135978 HAS SOUPS 134882 WITH SCORE 135160.132
AT ITER 1202 NEW BEST:: SOT 528232 SOS 278002 HAS SOPS 268468 HAS SOUS 135938 HAS SOUPS 134842 WITH SCORE 135120.002
AT ITER 1213 NEW BEST:: SOT 528357 SOS 278213 HAS SOPS 268679 HAS SOUS 135796 HAS SOUPS 134700 WITH SCORE 134978.213
AT ITER 1218 NEW BEST:: SOT 528352 SOS 278203 HAS SOPS 268669 HAS SOUS 135786 HAS SOUPS 134690 WITH SCORE 134968.203
AT ITER 1224 NEW BEST:: SOT 528350 SOS 278241 HAS SOPS 268707 HAS SOUS 135701 HAS SOUPS 134605 WITH SCORE 134883.241
AT ITER 1239 NEW BEST:: SOT 528848 SOS 278739 HAS SOPS 269205 HAS SOUS 135303 HAS SOUPS 134207 WITH SCORE 134485.739
AT ITER 1245 NEW BEST:: SOT 528777 SOS 278668 HAS SOPS 269134 HAS SOUS 135171 HAS SOUPS 134075 WITH SCORE 134353.668
AT ITER 1262 NEW BEST:: SOT 528644 SOS 278658 HAS SOPS 269124 HAS SOUS 135040 HAS SOUPS 133944 WITH SCORE 134222.658
AT ITER 1278 NEW BEST:: SOT 528605 SOS 278580 HAS SOPS 269046 HAS SOUS 134962 HAS SOUPS 133866 WITH SCORE 134144.58
AT ITER 1289 NEW BEST:: SOT 528580 SOS 278555 HAS SOPS 268974 HAS SOUS 134856 HAS SOUPS 133733 WITH SCORE 134011.555
AT ITER 1292 NEW BEST:: SOT 528570 SOS 278535 HAS SOPS 268954 HAS SOUS 134826 HAS SOUPS 133703 WITH SCORE 133981.535
AT ITER 1297 NEW BEST:: SOT 528570 SOS 277983 HAS SOPS 268402 HAS SOUS 134826 HAS SOUPS 133703 WITH SCORE 133980.983
AT ITER 1298 NEW BEST:: SOT 528570 SOS 277579 HAS SOPS 267998 HAS SOUS 134818 HAS SOUPS 133695 WITH SCORE 133972.579
AT ITER 1299 NEW BEST:: SOT 528616 SOS 277659 HAS SOPS 268078 HAS SOUS 134604 HAS SOUPS 133481 WITH SCORE 133758.659
AT ITER 1313 NEW BEST:: SOT 528583 SOS 277443 HAS SOPS 267862 HAS SOUS 134597 HAS SOUPS 133474 WITH SCORE 133751.443
AT ITER 1315 NEW BEST:: SOT 528547 SOS 276844 HAS SOPS 267263 HAS SOUS 134469 HAS SOUPS 133346 WITH SCORE 133622.844
AT ITER 1327 NEW BEST:: SOT 528580 SOS 276898 HAS SOPS 267317 HAS SOUS 134341 HAS SOUPS 133218 WITH SCORE 133494.898
AT ITER 1344 NEW BEST:: SOT 527835 SOS 276073 HAS SOPS 266492 HAS SOUS 133678 HAS SOUPS 132555 WITH SCORE 132831.073
AT ITER 1356 NEW BEST:: SOT 527811 SOS 276049 HAS SOPS 266468 HAS SOUS 133646 HAS SOUPS 132523 WITH SCORE 132799.049
AT ITER 1358 NEW BEST:: SOT 527811 SOS 276049 HAS SOPS 266468 HAS SOUS 133631 HAS SOUPS 132508 WITH SCORE 132784.049
AT ITER 1364 NEW BEST:: SOT 527811 SOS 276049 HAS SOPS 266468 HAS SOUS 133587 HAS SOUPS 132464 WITH SCORE 132740.049
AT ITER 1368 NEW BEST:: SOT 527765 SOS 275986 HAS SOPS 266405 HAS SOUS 133540 HAS SOUPS 132417 WITH SCORE 132692.986
AT ITER 1369 NEW BEST:: SOT 527676 SOS 275897 HAS SOPS 266316 HAS SOUS 133505 HAS SOUPS 132382 WITH SCORE 132657.897
AT ITER 1374 NEW BEST:: SOT 527709 SOS 275963 HAS SOPS 266382 HAS SOUS 133485 HAS SOUPS 132362 WITH SCORE 132637.963
AT ITER 1377 NEW BEST:: SOT 527633 SOS 275869 HAS SOPS 266288 HAS SOUS 133482 HAS SOUPS 132359 WITH SCORE 132634.869
AT ITER 1396 NEW BEST:: SOT 527659 SOS 275895 HAS SOPS 266314 HAS SOUS 133352 HAS SOUPS 132229 WITH SCORE 132504.895
AT ITER 1405 NEW BEST:: SOT 527631 SOS 275853 HAS SOPS 266272 HAS SOUS 133296 HAS SOUPS 132173 WITH SCORE 132448.853
AT ITER 1411 NEW BEST:: SOT 527480 SOS 275712 HAS SOPS 266131 HAS SOUS 133155 HAS SOUPS 132032 WITH SCORE 132307.712
AT ITER 1423 NEW BEST:: SOT 527547 SOS 275846 HAS SOPS 266265 HAS SOUS 133152 HAS SOUPS 132029 WITH SCORE 132304.846
AT ITER 1439 NEW BEST:: SOT 527530 SOS 275812 HAS SOPS 266231 HAS SOUS 133114 HAS SOUPS 131991 WITH SCORE 132266.812
AT ITER 1440 NEW BEST:: SOT 527474 SOS 275700 HAS SOPS 266119 HAS SOUS 133089 HAS SOUPS 131966 WITH SCORE 132241.7
AT ITER 1444 NEW BEST:: SOT 527264 SOS 275514 HAS SOPS 265933 HAS SOUS 132989 HAS SOUPS 131866 WITH SCORE 132141.514
AT ITER 1454 NEW BEST:: SOT 527176 SOS 275940 HAS SOPS 266384 HAS SOUS 132801 HAS SOUPS 131703 WITH SCORE 131978.94
AT ITER 1472 NEW BEST:: SOT 527131 SOS 275895 HAS SOPS 266339 HAS SOUS 132711 HAS SOUPS 131613 WITH SCORE 131888.895
AT ITER 1474 NEW BEST:: SOT 527053 SOS 275778 HAS SOPS 266222 HAS SOUS 132516 HAS SOUPS 131418 WITH SCORE 131693.778
AT ITER 1475 NEW BEST:: SOT 526828 SOS 275341 HAS SOPS 265785 HAS SOUS 132278 HAS SOUPS 131180 WITH SCORE 131455.341
AT ITER 1477 NEW BEST:: SOT 526741 SOS 275109 HAS SOPS 265553 HAS SOUS 132014 HAS SOUPS 130916 WITH SCORE 131191.109
AT ITER 1478 NEW BEST:: SOT 526486 SOS 274899 HAS SOPS 265343 HAS SOUS 131756 HAS SOUPS 130658 WITH SCORE 130932.899
AT ITER 1484 NEW BEST:: SOT 526057 SOS 274539 HAS SOPS 264983 HAS SOUS 131396 HAS SOUPS 130298 WITH SCORE 130572.539
AT ITER 1491 NEW BEST:: SOT 525994 SOS 274477 HAS SOPS 264920 HAS SOUS 131325 HAS SOUPS 130227 WITH SCORE 130501.477
AT ITER 1498 NEW BEST:: SOT 525994 SOS 274521 HAS SOPS 264964 HAS SOUS 131315 HAS SOUPS 130217 WITH SCORE 130491.521
AT ITER 1502 NEW BEST:: SOT 525920 SOS 274329 HAS SOPS 264772 HAS SOUS 131131 HAS SOUPS 130033 WITH SCORE 130307.329
AT ITER 1524 NEW BEST:: SOT 525950 SOS 274359 HAS SOPS 264802 HAS SOUS 131105 HAS SOUPS 130007 WITH SCORE 130281.359
AT ITER 1543 NEW BEST:: SOT 525950 SOS 274303 HAS SOPS 264746 HAS SOUS 131049 HAS SOUPS 129951 WITH SCORE 130225.303
AT ITER 1575 NEW BEST:: SOT 525922 SOS 274270 HAS SOPS 264713 HAS SOUS 131016 HAS SOUPS 129918 WITH SCORE 130192.27
AT ITER 1578 NEW BEST:: SOT 525922 SOS 274332 HAS SOPS 264775 HAS SOUS 130914 HAS SOUPS 129816 WITH SCORE 130090.332
AT ITER 1591 NEW BEST:: SOT 525890 SOS 274284 HAS SOPS 264727 HAS SOUS 130850 HAS SOUPS 129752 WITH SCORE 130026.284
AT ITER 1646 NEW BEST:: SOT 525890 SOS 274284 HAS SOPS 264727 HAS SOUS 130786 HAS SOUPS 129688 WITH SCORE 129962.284
AT ITER 1651 NEW BEST:: SOT 525678 SOS 274072 HAS SOPS 264515 HAS SOUS 130415 HAS SOUPS 129317 WITH SCORE 129591.072
AT ITER 1653 NEW BEST:: SOT 525655 SOS 274049 HAS SOPS 264492 HAS SOUS 130382 HAS SOUPS 129284 WITH SCORE 129558.049
AT ITER 1661 NEW BEST:: SOT 523849 SOS 272232 HAS SOPS 262675 HAS SOUS 129015 HAS SOUPS 127917 WITH SCORE 128189.232
AT ITER 1665 NEW BEST:: SOT 524064 SOS 272569 HAS SOPS 263012 HAS SOUS 128723 HAS SOUPS 127625 WITH SCORE 127897.569
AT ITER 1670 NEW BEST:: SOT 524036 SOS 272513 HAS SOPS 262956 HAS SOUS 128681 HAS SOUPS 127583 WITH SCORE 127855.513
AT ITER 1710 NEW BEST:: SOT 523910 SOS 272313 HAS SOPS 262756 HAS SOUS 128503 HAS SOUPS 127405 WITH SCORE 127677.313
AT ITER 1715 NEW BEST:: SOT 523890 SOS 272313 HAS SOPS 262756 HAS SOUS 128163 HAS SOUPS 127065 WITH SCORE 127337.313
AT ITER 1733 NEW BEST:: SOT 523802 SOS 272313 HAS SOPS 262756 HAS SOUS 128139 HAS SOUPS 127041 WITH SCORE 127313.313
AT ITER 1734 NEW BEST:: SOT 523733 SOS 272244 HAS SOPS 262687 HAS SOUS 128055 HAS SOUPS 126957 WITH SCORE 127229.244
AT ITER 1754 NEW BEST:: SOT 523733 SOS 272300 HAS SOPS 262743 HAS SOUS 127890 HAS SOUPS 126792 WITH SCORE 127064.3
AT ITER 1770 NEW BEST:: SOT 523733 SOS 271835 HAS SOPS 262278 HAS SOUS 127890 HAS SOUPS 126792 WITH SCORE 127063.835
AT ITER 1785 NEW BEST:: SOT 523733 SOS 271408 HAS SOPS 261851 HAS SOUS 127890 HAS SOUPS 126792 WITH SCORE 127063.408
AT ITER 1791 NEW BEST:: SOT 523753 SOS 271391 HAS SOPS 261834 HAS SOUS 127877 HAS SOUPS 126779 WITH SCORE 127050.391
AT ITER 1794 NEW BEST:: SOT 523761 SOS 271312 HAS SOPS 261755 HAS SOUS 127751 HAS SOUPS 126653 WITH SCORE 126924.312
AT ITER 1809 NEW BEST:: SOT 523833 SOS 271988 HAS SOPS 262431 HAS SOUS 127747 HAS SOUPS 126649 WITH SCORE 126920.988
AT ITER 1819 NEW BEST:: SOT 523830 SOS 271985 HAS SOPS 262423 HAS SOUS 127737 HAS SOUPS 126639 WITH SCORE 126910.985
AT ITER 1822 NEW BEST:: SOT 523815 SOS 271948 HAS SOPS 262386 HAS SOUS 127666 HAS SOUPS 126568 WITH SCORE 126839.948
AT ITER 1839 NEW BEST:: SOT 523596 SOS 271729 HAS SOPS 262167 HAS SOUS 127498 HAS SOUPS 126400 WITH SCORE 126671.729
AT ITER 1868 NEW BEST:: SOT 523540 SOS 271371 HAS SOPS 261809 HAS SOUS 127453 HAS SOUPS 126355 WITH SCORE 126626.371
AT ITER 1889 NEW BEST:: SOT 523571 SOS 271404 HAS SOPS 261803 HAS SOUS 127403 HAS SOUPS 126305 WITH SCORE 126576.404
AT ITER 1903 NEW BEST:: SOT 523582 SOS 271415 HAS SOPS 261783 HAS SOUS 127394 HAS SOUPS 126296 WITH SCORE 126567.415
AT ITER 1910 NEW BEST:: SOT 523558 SOS 271391 HAS SOPS 261759 HAS SOUS 127346 HAS SOUPS 126248 WITH SCORE 126519.391
AT ITER 1921 NEW BEST:: SOT 523495 SOS 271328 HAS SOPS 261696 HAS SOUS 127262 HAS SOUPS 126164 WITH SCORE 126435.328
AT ITER 1931 NEW BEST:: SOT 523445 SOS 271178 HAS SOPS 262346 HAS SOUS 127112 HAS SOUPS 126114 WITH SCORE 126385.178
AT ITER 1932 NEW BEST:: SOT 523443 SOS 271176 HAS SOPS 262326 HAS SOUS 127108 HAS SOUPS 126110 WITH SCORE 126381.176
AT ITER 1933 NEW BEST:: SOT 523272 SOS 270834 HAS SOPS 261984 HAS SOUS 126937 HAS SOUPS 125939 WITH SCORE 126209.834
AT ITER 1954 NEW BEST:: SOT 523272 SOS 270834 HAS SOPS 261984 HAS SOUS 126930 HAS SOUPS 125932 WITH SCORE 126202.834
AT ITER 1964 NEW BEST:: SOT 523256 SOS 270818 HAS SOPS 261968 HAS SOUS 126898 HAS SOUPS 125900 WITH SCORE 126170.818
AT ITER 1975 NEW BEST:: SOT 523226 SOS 270786 HAS SOPS 261936 HAS SOUS 126864 HAS SOUPS 125866 WITH SCORE 126136.786
AT ITER 1977 NEW BEST:: SOT 523192 SOS 270735 HAS SOPS 261885 HAS SOUS 126796 HAS SOUPS 125798 WITH SCORE 126068.735
AT ITER 1982 NEW BEST:: SOT 523180 SOS 270711 HAS SOPS 261861 HAS SOUS 126772 HAS SOUPS 125774 WITH SCORE 126044.711
AT ITER 2013 NEW BEST:: SOT 523216 SOS 270700 HAS SOPS 261850 HAS SOUS 126761 HAS SOUPS 125763 WITH SCORE 126033.7
AT ITER 2016 NEW BEST:: SOT 523216 SOS 270700 HAS SOPS 261847 HAS SOUS 126758 HAS SOUPS 125760 WITH SCORE 126030.7
AT ITER 2023 NEW BEST:: SOT 522676 SOS 270261 HAS SOPS 261408 HAS SOUS 126268 HAS SOUPS 125270 WITH SCORE 125540.261
AT ITER 2027 NEW BEST:: SOT 522655 SOS 270223 HAS SOPS 261370 HAS SOUS 126148 HAS SOUPS 125150 WITH SCORE 125420.223
AT ITER 2036 NEW BEST:: SOT 522421 SOS 270043 HAS SOPS 261190 HAS SOUS 125968 HAS SOUPS 124970 WITH SCORE 125240.043
AT ITER 2037 NEW BEST:: SOT 522409 SOS 270033 HAS SOPS 261180 HAS SOUS 125924 HAS SOUPS 124926 WITH SCORE 125196.033
AT ITER 2045 NEW BEST:: SOT 522409 SOS 270033 HAS SOPS 261180 HAS SOUS 125884 HAS SOUPS 124886 WITH SCORE 125156.033
AT ITER 2063 NEW BEST:: SOT 522349 SOS 269971 HAS SOPS 261118 HAS SOUS 125812 HAS SOUPS 124814 WITH SCORE 125083.971
AT ITER 2080 NEW BEST:: SOT 522205 SOS 269827 HAS SOPS 260974 HAS SOUS 125685 HAS SOUPS 124687 WITH SCORE 124956.827
AT ITER 2097 NEW BEST:: SOT 522075 SOS 269697 HAS SOPS 260124 HAS SOUS 125555 HAS SOUPS 124467 WITH SCORE 124736.697
AT ITER 2113 NEW BEST:: SOT 521992 SOS 269650 HAS SOPS 260077 HAS SOUS 125508 HAS SOUPS 124420 WITH SCORE 124689.65
AT ITER 2119 NEW BEST:: SOT 521970 SOS 269628 HAS SOPS 260055 HAS SOUS 125404 HAS SOUPS 124316 WITH SCORE 124585.628
AT ITER 2124 NEW BEST:: SOT 522084 SOS 269650 HAS SOPS 260077 HAS SOUS 125370 HAS SOUPS 124282 WITH SCORE 124551.65
AT ITER 2131 NEW BEST:: SOT 522073 SOS 269639 HAS SOPS 260066 HAS SOUS 125359 HAS SOUPS 124271 WITH SCORE 124540.639
AT ITER 2146 NEW BEST:: SOT 520496 SOS 268044 HAS SOPS 258471 HAS SOUS 125081 HAS SOUPS 123993 WITH SCORE 124261.044
AT ITER 2175 NEW BEST:: SOT 520494 SOS 268042 HAS SOPS 258469 HAS SOUS 125077 HAS SOUPS 123989 WITH SCORE 124257.042
AT ITER 2180 NEW BEST:: SOT 520413 SOS 267961 HAS SOPS 258388 HAS SOUS 124915 HAS SOUPS 123827 WITH SCORE 124094.961
AT ITER 2181 NEW BEST:: SOT 519811 SOS 267389 HAS SOPS 257816 HAS SOUS 124697 HAS SOUPS 123609 WITH SCORE 123876.389
AT ITER 2183 NEW BEST:: SOT 519652 SOS 267230 HAS SOPS 257657 HAS SOUS 124538 HAS SOUPS 123450 WITH SCORE 123717.23
AT ITER 2231 NEW BEST:: SOT 519659 SOS 267241 HAS SOPS 257668 HAS SOUS 124500 HAS SOUPS 123412 WITH SCORE 123679.241
AT ITER 2233 NEW BEST:: SOT 519539 SOS 267060 HAS SOPS 257487 HAS SOUS 124384 HAS SOUPS 123296 WITH SCORE 123563.06
AT ITER 2271 NEW BEST:: SOT 520201 SOS 267722 HAS SOPS 258149 HAS SOUS 123296 HAS SOUPS 122208 WITH SCORE 122475.722
AT ITER 2279 NEW BEST:: SOT 520201 SOS 267710 HAS SOPS 258137 HAS SOUS 123296 HAS SOUPS 122208 WITH SCORE 122475.71
AT ITER 2280 NEW BEST:: SOT 520189 SOS 267698 HAS SOPS 258116 HAS SOUS 123290 HAS SOUPS 122202 WITH SCORE 122469.698
AT ITER 2282 NEW BEST:: SOT 520189 SOS 268112 HAS SOPS 258530 HAS SOUS 123152 HAS SOUPS 122064 WITH SCORE 122332.112
AT ITER 2285 NEW BEST:: SOT 520133 SOS 267996 HAS SOPS 258414 HAS SOUS 123146 HAS SOUPS 122058 WITH SCORE 122325.996
AT ITER 2314 NEW BEST:: SOT 520131 SOS 267994 HAS SOPS 258415 HAS SOUS 123141 HAS SOUPS 122053 WITH SCORE 122320.994
AT ITER 2329 NEW BEST:: SOT 520060 SOS 267923 HAS SOPS 258344 HAS SOUS 123011 HAS SOUPS 121923 WITH SCORE 122190.923
AT ITER 2332 NEW BEST:: SOT 518244 SOS 266030 HAS SOPS 256451 HAS SOUS 122052 HAS SOUPS 120964 WITH SCORE 121230.03
AT ITER 2362 NEW BEST:: SOT 518228 SOS 265998 HAS SOPS 256419 HAS SOUS 122020 HAS SOUPS 120932 WITH SCORE 121197.998
AT ITER 2380 NEW BEST:: SOT 518445 SOS 266159 HAS SOPS 256580 HAS SOUS 122019 HAS SOUPS 120931 WITH SCORE 121197.159
AT ITER 2394 NEW BEST:: SOT 518407 SOS 266073 HAS SOPS 256494 HAS SOUS 121981 HAS SOUPS 120893 WITH SCORE 121159.073
AT ITER 2415 NEW BEST:: SOT 518427 SOS 266112 HAS SOPS 256386 HAS SOUS 121852 HAS SOUPS 120762 WITH SCORE 121028.112
AT ITER 2425 NEW BEST:: SOT 518413 SOS 266098 HAS SOPS 256372 HAS SOUS 121843 HAS SOUPS 120753 WITH SCORE 121019.098
AT ITER 2431 NEW BEST:: SOT 518835 SOS 266471 HAS SOPS 256745 HAS SOUS 121813 HAS SOUPS 120723 WITH SCORE 120989.471
AT ITER 2442 NEW BEST:: SOT 518793 SOS 266429 HAS SOPS 256703 HAS SOUS 121729 HAS SOUPS 120639 WITH SCORE 120905.429
AT ITER 2447 NEW BEST:: SOT 518742 SOS 266327 HAS SOPS 256601 HAS SOUS 121627 HAS SOUPS 120537 WITH SCORE 120803.327
AT ITER 2455 NEW BEST:: SOT 518587 SOS 266121 HAS SOPS 256395 HAS SOUS 121425 HAS SOUPS 120335 WITH SCORE 120601.121
AT ITER 2475 NEW BEST:: SOT 518567 SOS 266101 HAS SOPS 256375 HAS SOUS 121395 HAS SOUPS 120305 WITH SCORE 120571.101
AT ITER 2480 NEW BEST:: SOT 518540 SOS 266045 HAS SOPS 256319 HAS SOUS 121339 HAS SOUPS 120249 WITH SCORE 120515.045
AT ITER 2486 NEW BEST:: SOT 518471 SOS 265953 HAS SOPS 256227 HAS SOUS 121247 HAS SOUPS 120157 WITH SCORE 120422.953
AT ITER 2499 NEW BEST:: SOT 518428 SOS 265949 HAS SOPS 256223 HAS SOUS 121157 HAS SOUPS 120067 WITH SCORE 120332.949
AT ITER 2505 NEW BEST:: SOT 518421 SOS 265932 HAS SOPS 256206 HAS SOUS 121133 HAS SOUPS 120043 WITH SCORE 120308.932
AT ITER 2507 NEW BEST:: SOT 518419 SOS 265930 HAS SOPS 256204 HAS SOUS 121131 HAS SOUPS 120041 WITH SCORE 120306.93
AT ITER 2516 NEW BEST:: SOT 518381 SOS 265892 HAS SOPS 256166 HAS SOUS 121093 HAS SOUPS 120003 WITH SCORE 120268.892
AT ITER 2520 NEW BEST:: SOT 518358 SOS 266058 HAS SOPS 256332 HAS SOUS 121036 HAS SOUPS 119946 WITH SCORE 120212.058
AT ITER 2531 NEW BEST:: SOT 518358 SOS 266058 HAS SOPS 256332 HAS SOUS 121022 HAS SOUPS 119932 WITH SCORE 120198.058
AT ITER 2533 NEW BEST:: SOT 518358 SOS 266058 HAS SOPS 256332 HAS SOUS 120984 HAS SOUPS 119894 WITH SCORE 120160.058
AT ITER 2542 NEW BEST:: SOT 518355 SOS 266055 HAS SOPS 256329 HAS SOUS 120979 HAS SOUPS 119889 WITH SCORE 120155.055
AT ITER 2552 NEW BEST:: SOT 518211 SOS 265918 HAS SOPS 256332 HAS SOUS 120945 HAS SOUPS 119855 WITH SCORE 120120.918
AT ITER 2569 NEW BEST:: SOT 518182 SOS 265823 HAS SOPS 256237 HAS SOUS 120906 HAS SOUPS 119816 WITH SCORE 120081.823
AT ITER 2573 NEW BEST:: SOT 518190 SOS 265831 HAS SOPS 256245 HAS SOUS 120900 HAS SOUPS 119810 WITH SCORE 120075.831
AT ITER 2582 NEW BEST:: SOT 518166 SOS 265807 HAS SOPS 256221 HAS SOUS 120837 HAS SOUPS 119747 WITH SCORE 120012.807
AT ITER 2595 NEW BEST:: SOT 518056 SOS 265427 HAS SOPS 255841 HAS SOUS 120665 HAS SOUPS 119575 WITH SCORE 119840.427
AT ITER 2600 NEW BEST:: SOT 518056 SOS 265475 HAS SOPS 255889 HAS SOUS 120641 HAS SOUPS 119551 WITH SCORE 119816.475
AT ITER 2602 NEW BEST:: SOT 518056 SOS 265459 HAS SOPS 255873 HAS SOUS 120575 HAS SOUPS 119485 WITH SCORE 119750.459
AT ITER 2603 NEW BEST:: SOT 518035 SOS 265438 HAS SOPS 255852 HAS SOUS 120512 HAS SOUPS 119422 WITH SCORE 119687.438
AT ITER 2615 NEW BEST:: SOT 517802 SOS 265205 HAS SOPS 255619 HAS SOUS 120201 HAS SOUPS 119111 WITH SCORE 119376.205
AT ITER 2639 NEW BEST:: SOT 517725 SOS 265075 HAS SOPS 255489 HAS SOUS 119993 HAS SOUPS 118903 WITH SCORE 119168.075
AT ITER 2670 NEW BEST:: SOT 517613 SOS 264948 HAS SOPS 255362 HAS SOUS 119846 HAS SOUPS 118756 WITH SCORE 119020.948
AT ITER 2679 NEW BEST:: SOT 517551 SOS 264878 HAS SOPS 255292 HAS SOUS 119758 HAS SOUPS 118668 WITH SCORE 118932.878
AT ITER 2684 NEW BEST:: SOT 517551 SOS 264868 HAS SOPS 255282 HAS SOUS 119748 HAS SOUPS 118658 WITH SCORE 118922.868
AT ITER 2726 NEW BEST:: SOT 517303 SOS 264620 HAS SOPS 255034 HAS SOUS 119376 HAS SOUPS 118286 WITH SCORE 118550.62
AT ITER 2733 NEW BEST:: SOT 517314 SOS 264609 HAS SOPS 255023 HAS SOUS 119002 HAS SOUPS 117912 WITH SCORE 118176.609
AT ITER 2737 NEW BEST:: SOT 517277 SOS 264387 HAS SOPS 254801 HAS SOUS 118965 HAS SOUPS 117875 WITH SCORE 118139.387
AT ITER 2759 NEW BEST:: SOT 517238 SOS 264101 HAS SOPS 254515 HAS SOUS 118879 HAS SOUPS 117789 WITH SCORE 118053.101
AT ITER 2765 NEW BEST:: SOT 517225 SOS 264088 HAS SOPS 254502 HAS SOUS 118853 HAS SOUPS 117763 WITH SCORE 118027.088
AT ITER 2773 NEW BEST:: SOT 517189 SOS 264028 HAS SOPS 254442 HAS SOUS 118793 HAS SOUPS 117703 WITH SCORE 117967.028
AT ITER 2791 NEW BEST:: SOT 516983 SOS 263860 HAS SOPS 254274 HAS SOUS 118533 HAS SOUPS 117443 WITH SCORE 117706.86
AT ITER 2802 NEW BEST:: SOT 516983 SOS 264490 HAS SOPS 254904 HAS SOUS 118512 HAS SOUPS 117422 WITH SCORE 117686.49
AT ITER 2805 NEW BEST:: SOT 516973 SOS 264467 HAS SOPS 254882 HAS SOUS 118484 HAS SOUPS 117394 WITH SCORE 117658.467
AT ITER 2808 NEW BEST:: SOT 517210 SOS 265033 HAS SOPS 255448 HAS SOUS 117971 HAS SOUPS 116881 WITH SCORE 117146.033
AT ITER 2849 NEW BEST:: SOT 517195 SOS 265018 HAS SOPS 255433 HAS SOUS 117924 HAS SOUPS 116834 WITH SCORE 117099.018
AT ITER 2854 NEW BEST:: SOT 517159 SOS 264988 HAS SOPS 255403 HAS SOUS 117852 HAS SOUPS 116762 WITH SCORE 117026.988
AT ITER 2902 NEW BEST:: SOT 516884 SOS 264799 HAS SOPS 255214 HAS SOUS 117598 HAS SOUPS 116508 WITH SCORE 116772.799
AT ITER 2905 NEW BEST:: SOT 516884 SOS 264803 HAS SOPS 255218 HAS SOUS 117594 HAS SOUPS 116504 WITH SCORE 116768.803
AT ITER 2911 NEW BEST:: SOT 516785 SOS 264674 HAS SOPS 255089 HAS SOUS 117456 HAS SOUPS 116366 WITH SCORE 116630.674
AT ITER 2912 NEW BEST:: SOT 516747 SOS 264598 HAS SOPS 255013 HAS SOUS 117380 HAS SOUPS 116290 WITH SCORE 116554.598
AT ITER 2933 NEW BEST:: SOT 516736 SOS 264589 HAS SOPS 255004 HAS SOUS 117355 HAS SOUPS 116265 WITH SCORE 116529.589
AT ITER 2939 NEW BEST:: SOT 516736 SOS 261509 HAS SOPS 251924 HAS SOUS 117355 HAS SOUPS 116265 WITH SCORE 116526.509
AT ITER 2943 NEW BEST:: SOT 516424 SOS 261209 HAS SOPS 251624 HAS SOUS 117247 HAS SOUPS 116157 WITH SCORE 116418.209
AT ITER 2951 NEW BEST:: SOT 516423 SOS 261131 HAS SOPS 251407 HAS SOUS 117180 HAS SOUPS 116090 WITH SCORE 116351.131
AT ITER 2973 NEW BEST:: SOT 516258 SOS 260856 HAS SOPS 251132 HAS SOUS 116960 HAS SOUPS 115870 WITH SCORE 116130.856
AT ITER 2986 NEW BEST:: SOT 516162 SOS 260690 HAS SOPS 250966 HAS SOUS 116794 HAS SOUPS 115704 WITH SCORE 115964.69
AT ITER 2993 NEW BEST:: SOT 516134 SOS 260648 HAS SOPS 250924 HAS SOUS 116752 HAS SOUPS 115662 WITH SCORE 115922.648
AT ITER 3018 NEW BEST:: SOT 516134 SOS 260648 HAS SOPS 250924 HAS SOUS 116718 HAS SOUPS 115628 WITH SCORE 115888.648
AT ITER 3037 NEW BEST:: SOT 516106 SOS 260620 HAS SOPS 250896 HAS SOUS 116662 HAS SOUPS 115572 WITH SCORE 115832.62
AT ITER 3038 NEW BEST:: SOT 516128 SOS 260642 HAS SOPS 250918 HAS SOUS 116562 HAS SOUPS 115472 WITH SCORE 115732.642
AT ITER 3039 NEW BEST:: SOT 516128 SOS 261242 HAS SOPS 251518 HAS SOUS 116522 HAS SOUPS 115432 WITH SCORE 115693.242
AT ITER 3048 NEW BEST:: SOT 516140 SOS 261254 HAS SOPS 251530 HAS SOUS 116492 HAS SOUPS 115402 WITH SCORE 115663.254
AT ITER 3063 NEW BEST:: SOT 515945 SOS 260945 HAS SOPS 251221 HAS SOUS 116250 HAS SOUPS 115160 WITH SCORE 115420.945
AT ITER 3064 NEW BEST:: SOT 515867 SOS 260867 HAS SOPS 251143 HAS SOUS 116212 HAS SOUPS 115122 WITH SCORE 115382.867
AT ITER 3065 NEW BEST:: SOT 515867 SOS 260848 HAS SOPS 251124 HAS SOUS 116136 HAS SOUPS 115046 WITH SCORE 115306.848
AT ITER 3087 NEW BEST:: SOT 515867 SOS 260848 HAS SOPS 251124 HAS SOUS 116132 HAS SOUPS 115042 WITH SCORE 115302.848
AT ITER 3104 NEW BEST:: SOT 515855 SOS 260824 HAS SOPS 251100 HAS SOUS 116081 HAS SOUPS 114991 WITH SCORE 115251.824
AT ITER 3108 NEW BEST:: SOT 516145 SOS 261776 HAS SOPS 252052 HAS SOUS 115893 HAS SOUPS 114803 WITH SCORE 115064.776
AT ITER 3128 NEW BEST:: SOT 516149 SOS 261778 HAS SOPS 252054 HAS SOUS 115865 HAS SOUPS 114775 WITH SCORE 115036.778
AT ITER 3146 NEW BEST:: SOT 516163 SOS 261808 HAS SOPS 252012 HAS SOUS 115755 HAS SOUPS 114665 WITH SCORE 114926.808
AT ITER 3164 NEW BEST:: SOT 516050 SOS 261695 HAS SOPS 251899 HAS SOUS 115533 HAS SOUPS 114443 WITH SCORE 114704.695
AT ITER 3170 NEW BEST:: SOT 516014 SOS 261659 HAS SOPS 251843 HAS SOUS 115461 HAS SOUPS 114371 WITH SCORE 114632.659
AT ITER 3180 NEW BEST:: SOT 516013 SOS 261657 HAS SOPS 251841 HAS SOUS 115456 HAS SOUPS 114366 WITH SCORE 114627.657
AT ITER 3204 NEW BEST:: SOT 516013 SOS 261671 HAS SOPS 251855 HAS SOUS 115450 HAS SOUPS 114360 WITH SCORE 114621.671
AT ITER 3206 NEW BEST:: SOT 515914 SOS 261572 HAS SOPS 251756 HAS SOUS 115351 HAS SOUPS 114261 WITH SCORE 114522.572
AT ITER 3228 NEW BEST:: SOT 515878 SOS 261588 HAS SOPS 251775 HAS SOUS 115305 HAS SOUPS 114216 WITH SCORE 114477.588
AT ITER 3232 NEW BEST:: SOT 515853 SOS 261538 HAS SOPS 251725 HAS SOUS 115255 HAS SOUPS 114166 WITH SCORE 114427.538
AT ITER 3242 NEW BEST:: SOT 515909 SOS 261594 HAS SOPS 251765 HAS SOUS 115190 HAS SOUPS 114101 WITH SCORE 114362.594
AT ITER 3244 NEW BEST:: SOT 515909 SOS 259289 HAS SOPS 249764 HAS SOUS 115152 HAS SOUPS 114101 WITH SCORE 114360.289
AT ITER 3262 NEW BEST:: SOT 515749 SOS 259129 HAS SOPS 249604 HAS SOUS 115041 HAS SOUPS 113990 WITH SCORE 114249.129
AT ITER 3301 NEW BEST:: SOT 515749 SOS 259123 HAS SOPS 249598 HAS SOUS 115041 HAS SOUPS 113990 WITH SCORE 114249.123
AT ITER 3329 NEW BEST:: SOT 515744 SOS 259118 HAS SOPS 249593 HAS SOUS 115036 HAS SOUPS 113985 WITH SCORE 114244.118
AT ITER 3340 NEW BEST:: SOT 515734 SOS 258818 HAS SOPS 249273 HAS SOUS 114984 HAS SOUPS 113913 WITH SCORE 114171.818
AT ITER 3364 NEW BEST:: SOT 515774 SOS 258922 HAS SOPS 249377 HAS SOUS 114902 HAS SOUPS 113831 WITH SCORE 114089.922
AT ITER 3373 NEW BEST:: SOT 515714 SOS 258544 HAS SOPS 248999 HAS SOUS 114868 HAS SOUPS 113797 WITH SCORE 114055.544
AT ITER 3384 NEW BEST:: SOT 515672 SOS 258387 HAS SOPS 248842 HAS SOUS 114860 HAS SOUPS 113789 WITH SCORE 114047.387
AT ITER 3386 NEW BEST:: SOT 515663 SOS 258378 HAS SOPS 248833 HAS SOUS 114842 HAS SOUPS 113771 WITH SCORE 114029.378
AT ITER 3424 NEW BEST:: SOT 515633 SOS 258353 HAS SOPS 248808 HAS SOUS 114802 HAS SOUPS 113731 WITH SCORE 113989.353
AT ITER 3443 NEW BEST:: SOT 515544 SOS 256498 HAS SOPS 246953 HAS SOUS 114681 HAS SOUPS 113610 WITH SCORE 113866.498
AT ITER 3456 NEW BEST:: SOT 515544 SOS 256463 HAS SOPS 246799 HAS SOUS 114558 HAS SOUPS 113487 WITH SCORE 113743.463
AT ITER 3462 NEW BEST:: SOT 515461 SOS 256301 HAS SOPS 246673 HAS SOUS 114518 HAS SOUPS 113447 WITH SCORE 113703.301
AT ITER 3481 NEW BEST:: SOT 515461 SOS 256295 HAS SOPS 246667 HAS SOUS 114512 HAS SOUPS 113441 WITH SCORE 113697.295
AT ITER 3486 NEW BEST:: SOT 515418 SOS 256209 HAS SOPS 246581 HAS SOUS 114426 HAS SOUPS 113355 WITH SCORE 113611.209
AT ITER 3503 NEW BEST:: SOT 515314 SOS 256197 HAS SOPS 246569 HAS SOUS 114349 HAS SOUPS 113278 WITH SCORE 113534.197
AT ITER 3534 NEW BEST:: SOT 515254 SOS 256141 HAS SOPS 246513 HAS SOUS 114289 HAS SOUPS 113218 WITH SCORE 113474.141
AT ITER 3565 NEW BEST:: SOT 515226 SOS 256113 HAS SOPS 246485 HAS SOUS 114261 HAS SOUPS 113190 WITH SCORE 113446.113
AT ITER 3567 NEW BEST:: SOT 515182 SOS 256069 HAS SOPS 246441 HAS SOUS 114153 HAS SOUPS 113082 WITH SCORE 113338.069
AT ITER 3582 NEW BEST:: SOT 515169 SOS 255943 HAS SOPS 246315 HAS SOUS 114127 HAS SOUPS 113056 WITH SCORE 113311.943
AT ITER 3602 NEW BEST:: SOT 515169 SOS 255943 HAS SOPS 246315 HAS SOUS 114099 HAS SOUPS 113028 WITH SCORE 113283.943
AT ITER 3606 NEW BEST:: SOT 515147 SOS 255848 HAS SOPS 246220 HAS SOUS 113982 HAS SOUPS 112911 WITH SCORE 113166.848
AT ITER 3613 NEW BEST:: SOT 515149 SOS 255850 HAS SOPS 246222 HAS SOUS 113948 HAS SOUPS 112877 WITH SCORE 113132.85
AT ITER 3614 NEW BEST:: SOT 515118 SOS 255579 HAS SOPS 245951 HAS SOUS 113946 HAS SOUPS 112875 WITH SCORE 113130.579
AT ITER 3629 NEW BEST:: SOT 515074 SOS 255565 HAS SOPS 245937 HAS SOUS 113888 HAS SOUPS 112817 WITH SCORE 113072.565
AT ITER 3672 NEW BEST:: SOT 515074 SOS 255565 HAS SOPS 245937 HAS SOUS 113819 HAS SOUPS 112748 WITH SCORE 113003.565
AT ITER 3697 NEW BEST:: SOT 514473 SOS 254893 HAS SOPS 245265 HAS SOUS 113232 HAS SOUPS 112161 WITH SCORE 112415.893
AT ITER 3708 NEW BEST:: SOT 514776 SOS 255155 HAS SOPS 245527 HAS SOUS 113193 HAS SOUPS 112122 WITH SCORE 112377.155
AT ITER 3709 NEW BEST:: SOT 514736 SOS 255115 HAS SOPS 245487 HAS SOUS 113166 HAS SOUPS 112095 WITH SCORE 112350.115
AT ITER 3710 NEW BEST:: SOT 514721 SOS 254950 HAS SOPS 245322 HAS SOUS 113166 HAS SOUPS 112095 WITH SCORE 112349.95
AT ITER 3716 NEW BEST:: SOT 514537 SOS 254713 HAS SOPS 245085 HAS SOUS 113061 HAS SOUPS 111990 WITH SCORE 112244.713
AT ITER 3732 NEW BEST:: SOT 514535 SOS 254709 HAS SOPS 245081 HAS SOUS 113055 HAS SOUPS 111984 WITH SCORE 112238.709
AT ITER 3747 NEW BEST:: SOT 514519 SOS 255826 HAS SOPS 246198 HAS SOUS 112972 HAS SOUPS 111901 WITH SCORE 112156.826
AT ITER 3752 NEW BEST:: SOT 514415 SOS 255610 HAS SOPS 245982 HAS SOUS 112751 HAS SOUPS 111680 WITH SCORE 111935.61
AT ITER 3760 NEW BEST:: SOT 514415 SOS 255592 HAS SOPS 245964 HAS SOUS 112751 HAS SOUPS 111680 WITH SCORE 111935.592
AT ITER 3762 NEW BEST:: SOT 514406 SOS 255583 HAS SOPS 245955 HAS SOUS 112733 HAS SOUPS 111662 WITH SCORE 111917.583
AT ITER 3775 NEW BEST:: SOT 514406 SOS 255583 HAS SOPS 245955 HAS SOUS 112561 HAS SOUPS 111490 WITH SCORE 111745.583
AT ITER 3784 NEW BEST:: SOT 514334 SOS 255581 HAS SOPS 245953 HAS SOUS 112487 HAS SOUPS 111416 WITH SCORE 111671.581
AT ITER 3795 NEW BEST:: SOT 514306 SOS 255553 HAS SOPS 245925 HAS SOUS 112445 HAS SOUPS 111374 WITH SCORE 111629.553
AT ITER 3800 NEW BEST:: SOT 514291 SOS 255538 HAS SOPS 245910 HAS SOUS 112415 HAS SOUPS 111344 WITH SCORE 111599.538
AT ITER 3804 NEW BEST:: SOT 514258 SOS 255505 HAS SOPS 245877 HAS SOUS 112349 HAS SOUPS 111278 WITH SCORE 111533.505
AT ITER 3816 NEW BEST:: SOT 513793 SOS 255129 HAS SOPS 245501 HAS SOUS 111905 HAS SOUPS 110834 WITH SCORE 111089.129
AT ITER 3823 NEW BEST:: SOT 513697 SOS 255058 HAS SOPS 245494 HAS SOUS 111898 HAS SOUPS 110827 WITH SCORE 111082.058
AT ITER 3827 NEW BEST:: SOT 513683 SOS 255143 HAS SOPS 245579 HAS SOUS 111879 HAS SOUPS 110808 WITH SCORE 111063.143
AT ITER 3835 NEW BEST:: SOT 513654 SOS 254945 HAS SOPS 245514 HAS SOUS 111821 HAS SOUPS 110750 WITH SCORE 111004.945
AT ITER 3838 NEW BEST:: SOT 513846 SOS 255137 HAS SOPS 245706 HAS SOUS 111730 HAS SOUPS 110659 WITH SCORE 110914.137
AT ITER 3880 NEW BEST:: SOT 513846 SOS 254465 HAS SOPS 245034 HAS SOUS 111730 HAS SOUPS 110659 WITH SCORE 110913.465
AT ITER 3883 NEW BEST:: SOT 513381 SOS 254064 HAS SOPS 244633 HAS SOUS 111303 HAS SOUPS 110232 WITH SCORE 110486.064
AT ITER 3928 NEW BEST:: SOT 512868 SOS 253551 HAS SOPS 244120 HAS SOUS 111225 HAS SOUPS 110154 WITH SCORE 110407.551
AT ITER 3934 NEW BEST:: SOT 512800 SOS 253491 HAS SOPS 244060 HAS SOUS 111165 HAS SOUPS 110094 WITH SCORE 110347.491
AT ITER 3936 NEW BEST:: SOT 512467 SOS 253158 HAS SOPS 243727 HAS SOUS 110771 HAS SOUPS 109700 WITH SCORE 109953.158
AT ITER 3980 NEW BEST:: SOT 512409 SOS 253162 HAS SOPS 243731 HAS SOUS 110655 HAS SOUPS 109584 WITH SCORE 109837.162
AT ITER 4001 NEW BEST:: SOT 512101 SOS 252878 HAS SOPS 243447 HAS SOUS 110455 HAS SOUPS 109384 WITH SCORE 109636.878
AT ITER 4010 NEW BEST:: SOT 512029 SOS 252806 HAS SOPS 243375 HAS SOUS 110383 HAS SOUPS 109312 WITH SCORE 109564.806
AT ITER 4012 NEW BEST:: SOT 512027 SOS 252804 HAS SOPS 243373 HAS SOUS 110379 HAS SOUPS 109308 WITH SCORE 109560.804
AT ITER 4041 NEW BEST:: SOT 512032 SOS 252809 HAS SOPS 243378 HAS SOUS 110369 HAS SOUPS 109298 WITH SCORE 109550.809
AT ITER 4098 NEW BEST:: SOT 512008 SOS 252785 HAS SOPS 243354 HAS SOUS 110321 HAS SOUPS 109250 WITH SCORE 109502.785
AT ITER 4099 NEW BEST:: SOT 511986 SOS 252763 HAS SOPS 243332 HAS SOUS 110281 HAS SOUPS 109210 WITH SCORE 109462.763
AT ITER 4105 NEW BEST:: SOT 511711 SOS 252488 HAS SOPS 243057 HAS SOUS 110244 HAS SOUPS 109173 WITH SCORE 109425.488
AT ITER 4115 NEW BEST:: SOT 511711 SOS 252482 HAS SOPS 243051 HAS SOUS 110238 HAS SOUPS 109167 WITH SCORE 109419.482
AT ITER 4145 NEW BEST:: SOT 511669 SOS 252440 HAS SOPS 243009 HAS SOUS 110203 HAS SOUPS 109132 WITH SCORE 109384.44
AT ITER 4159 NEW BEST:: SOT 511658 SOS 252429 HAS SOPS 242998 HAS SOUS 110181 HAS SOUPS 109110 WITH SCORE 109362.429
AT ITER 4176 NEW BEST:: SOT 511658 SOS 252381 HAS SOPS 242950 HAS SOUS 110174 HAS SOUPS 109103 WITH SCORE 109355.381
AT ITER 4196 NEW BEST:: SOT 511638 SOS 252336 HAS SOPS 242905 HAS SOUS 110155 HAS SOUPS 109084 WITH SCORE 109336.336
AT ITER 4200 NEW BEST:: SOT 511638 SOS 252313 HAS SOPS 242882 HAS SOUS 110155 HAS SOUPS 109084 WITH SCORE 109336.313
AT ITER 4223 NEW BEST:: SOT 512055 SOS 252576 HAS SOPS 243145 HAS SOUS 110098 HAS SOUPS 109027 WITH SCORE 109279.576
AT ITER 4228 NEW BEST:: SOT 511881 SOS 251138 HAS SOPS 241707 HAS SOUS 109858 HAS SOUPS 108787 WITH SCORE 109038.138
AT ITER 4236 NEW BEST:: SOT 511778 SOS 251052 HAS SOPS 241621 HAS SOUS 109846 HAS SOUPS 108775 WITH SCORE 109026.052
AT ITER 4248 NEW BEST:: SOT 511067 SOS 250145 HAS SOPS 240714 HAS SOUS 109075 HAS SOUPS 108004 WITH SCORE 108254.145
AT ITER 4256 NEW BEST:: SOT 511059 SOS 250137 HAS SOPS 240706 HAS SOUS 109059 HAS SOUPS 107988 WITH SCORE 108238.137
AT ITER 4298 NEW BEST:: SOT 511058 SOS 250136 HAS SOPS 240705 HAS SOUS 109059 HAS SOUPS 107988 WITH SCORE 108238.136
AT ITER 4303 NEW BEST:: SOT 510982 SOS 250088 HAS SOPS 240657 HAS SOUS 109043 HAS SOUPS 107972 WITH SCORE 108222.088
AT ITER 4310 NEW BEST:: SOT 510994 SOS 250068 HAS SOPS 240637 HAS SOUS 109033 HAS SOUPS 107962 WITH SCORE 108212.068
AT ITER 4356 NEW BEST:: SOT 510991 SOS 250065 HAS SOPS 240634 HAS SOUS 108986 HAS SOUPS 107915 WITH SCORE 108165.065
AT ITER 4376 NEW BEST:: SOT 511030 SOS 249969 HAS SOPS 240538 HAS SOUS 108890 HAS SOUPS 107819 WITH SCORE 108068.969
AT ITER 4404 NEW BEST:: SOT 511796 SOS 250793 HAS SOPS 241362 HAS SOUS 108819 HAS SOUPS 107748 WITH SCORE 107998.793
AT ITER 4431 NEW BEST:: SOT 511774 SOS 250793 HAS SOPS 241362 HAS SOUS 108797 HAS SOUPS 107726 WITH SCORE 107976.793
AT ITER 4480 NEW BEST:: SOT 511774 SOS 250765 HAS SOPS 241334 HAS SOUS 108769 HAS SOUPS 107698 WITH SCORE 107948.765
AT ITER 4494 NEW BEST:: SOT 511717 SOS 250708 HAS SOPS 241277 HAS SOUS 108550 HAS SOUPS 107479 WITH SCORE 107729.708
AT ITER 4514 NEW BEST:: SOT 511672 SOS 250663 HAS SOPS 241232 HAS SOUS 108475 HAS SOUPS 107404 WITH SCORE 107654.663
AT ITER 4521 NEW BEST:: SOT 511645 SOS 250635 HAS SOPS 241204 HAS SOUS 108421 HAS SOUPS 107350 WITH SCORE 107600.635
AT ITER 4529 NEW BEST:: SOT 511680 SOS 250670 HAS SOPS 241239 HAS SOUS 108411 HAS SOUPS 107340 WITH SCORE 107590.67
AT ITER 4542 NEW BEST:: SOT 511575 SOS 250510 HAS SOPS 241079 HAS SOUS 108227 HAS SOUPS 107156 WITH SCORE 107406.51
AT ITER 4558 NEW BEST:: SOT 511504 SOS 250385 HAS SOPS 240954 HAS SOUS 108085 HAS SOUPS 107014 WITH SCORE 107264.385
AT ITER 4563 NEW BEST:: SOT 511371 SOS 249102 HAS SOPS 239823 HAS SOUS 107914 HAS SOUPS 106862 WITH SCORE 107111.102
AT ITER 4571 NEW BEST:: SOT 511349 SOS 249080 HAS SOPS 239801 HAS SOUS 107892 HAS SOUPS 106840 WITH SCORE 107089.08
AT ITER 4585 NEW BEST:: SOT 511346 SOS 249077 HAS SOPS 239798 HAS SOUS 107892 HAS SOUPS 106840 WITH SCORE 107089.077
AT ITER 4613 NEW BEST:: SOT 511283 SOS 247305 HAS SOPS 238026 HAS SOUS 107834 HAS SOUPS 106782 WITH SCORE 107029.305
AT ITER 4617 NEW BEST:: SOT 511272 SOS 247283 HAS SOPS 238004 HAS SOUS 107812 HAS SOUPS 106760 WITH SCORE 107007.283
AT ITER 4618 NEW BEST:: SOT 511269 SOS 247280 HAS SOPS 238001 HAS SOUS 107806 HAS SOUPS 106754 WITH SCORE 107001.28
AT ITER 4638 NEW BEST:: SOT 511269 SOS 247280 HAS SOPS 238001 HAS SOUS 107765 HAS SOUPS 106713 WITH SCORE 106960.28
AT ITER 4668 NEW BEST:: SOT 511152 SOS 247081 HAS SOPS 237802 HAS SOUS 107650 HAS SOUPS 106598 WITH SCORE 106845.081
AT ITER 4713 NEW BEST:: SOT 511149 SOS 247077 HAS SOPS 237798 HAS SOUS 107646 HAS SOUPS 106594 WITH SCORE 106841.077
AT ITER 4747 NEW BEST:: SOT 511152 SOS 247063 HAS SOPS 237784 HAS SOUS 107632 HAS SOUPS 106580 WITH SCORE 106827.063
AT ITER 4756 NEW BEST:: SOT 511143 SOS 247045 HAS SOPS 237766 HAS SOUS 107617 HAS SOUPS 106565 WITH SCORE 106812.045
AT ITER 4764 NEW BEST:: SOT 511093 SOS 246995 HAS SOPS 237716 HAS SOUS 107567 HAS SOUPS 106515 WITH SCORE 106761.995
AT ITER 4771 NEW BEST:: SOT 509672 SOS 245574 HAS SOPS 236295 HAS SOUS 106930 HAS SOUPS 105878 WITH SCORE 106123.574
AT ITER 4773 NEW BEST:: SOT 509562 SOS 245420 HAS SOPS 236141 HAS SOUS 106798 HAS SOUPS 105746 WITH SCORE 105991.42
AT ITER 4795 NEW BEST:: SOT 509561 SOS 245419 HAS SOPS 236140 HAS SOUS 106796 HAS SOUPS 105744 WITH SCORE 105989.419
AT ITER 4812 NEW BEST:: SOT 509517 SOS 245272 HAS SOPS 235993 HAS SOUS 106688 HAS SOUPS 105636 WITH SCORE 105881.272
AT ITER 4818 NEW BEST:: SOT 509514 SOS 245269 HAS SOPS 235990 HAS SOUS 106682 HAS SOUPS 105630 WITH SCORE 105875.269
AT ITER 4826 NEW BEST:: SOT 509509 SOS 245264 HAS SOPS 235985 HAS SOUS 106672 HAS SOUPS 105620 WITH SCORE 105865.264
AT ITER 4832 NEW BEST:: SOT 509485 SOS 245218 HAS SOPS 235939 HAS SOUS 106638 HAS SOUPS 105586 WITH SCORE 105831.218
AT ITER 4836 NEW BEST:: SOT 509506 SOS 245129 HAS SOPS 235850 HAS SOUS 106586 HAS SOUPS 105534 WITH SCORE 105779.129
AT ITER 4845 NEW BEST:: SOT 509494 SOS 245105 HAS SOPS 235826 HAS SOUS 106574 HAS SOUPS 105522 WITH SCORE 105767.105
AT ITER 4851 NEW BEST:: SOT 509360 SOS 244971 HAS SOPS 235692 HAS SOUS 106372 HAS SOUPS 105320 WITH SCORE 105564.971
AT ITER 4867 NEW BEST:: SOT 509311 SOS 244900 HAS SOPS 235621 HAS SOUS 106301 HAS SOUPS 105249 WITH SCORE 105493.9
AT ITER 4874 NEW BEST:: SOT 509306 SOS 244902 HAS SOPS 235623 HAS SOUS 106291 HAS SOUPS 105239 WITH SCORE 105483.902
AT ITER 4877 NEW BEST:: SOT 509188 SOS 244694 HAS SOPS 235415 HAS SOUS 106175 HAS SOUPS 105123 WITH SCORE 105367.694
AT ITER 4895 NEW BEST:: SOT 509152 SOS 244634 HAS SOPS 235355 HAS SOUS 106115 HAS SOUPS 105063 WITH SCORE 105307.634
AT ITER 4906 NEW BEST:: SOT 509154 SOS 244636 HAS SOPS 235357 HAS SOUS 106094 HAS SOUPS 105042 WITH SCORE 105286.636
AT ITER 4921 NEW BEST:: SOT 508034 SOS 243556 HAS SOPS 234277 HAS SOUS 105654 HAS SOUPS 104602 WITH SCORE 104845.556
AT ITER 4939 NEW BEST:: SOT 508050 SOS 243489 HAS SOPS 234196 HAS SOUS 105590 HAS SOUPS 104538 WITH SCORE 104781.489
AT ITER 4969 NEW BEST:: SOT 508063 SOS 243502 HAS SOPS 234209 HAS SOUS 105546 HAS SOUPS 104494 WITH SCORE 104737.502
AT ITER 4983 NEW BEST:: SOT 508060 SOS 243498 HAS SOPS 234205 HAS SOUS 105543 HAS SOUPS 104491 WITH SCORE 104734.498
AT ITER 4985 NEW BEST:: SOT 508049 SOS 243476 HAS SOPS 234183 HAS SOUS 105521 HAS SOUPS 104469 WITH SCORE 104712.476
AT ITER 4997 NEW BEST:: SOT 507519 SOS 242459 HAS SOPS 233166 HAS SOUS 105439 HAS SOUPS 104387 WITH SCORE 104629.459
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: PolyORBLF-PT-S02J06T08-CTLCardinality-00 ( (EF(potential( ( 2 ) <= (tk(P30) + tk(P177) + tk(P206) + tk(P255) + tk(P263) + tk(P446) + tk(P550) + tk(P668)) ))) & (! ( (EG( potential( (tk(P79) + tk(P157) + tk(P229) + tk(P372) + tk(P478) + tk(P554) + tk(P628) + tk(P639)) <= (tk(P635)) ))) | (EF(potential( ( 3 ) <= (tk(P452)) ))) )) )
PROPERTY: PolyORBLF-PT-S02J06T08-CTLCardinality-01 ( ( (EU( potential( (tk(P24) + tk(P45) + tk(P111) + tk(P222) + tk(P268) + tk(P271) + tk(P336) + tk(P349) + tk(P369) + tk(P434) + tk(P485) + tk(P487) + tk(P567) + tk(P582)) <= (tk(P68)) ),potential( (tk(P13) + tk(P41) + tk(P140) + tk(P154) + tk(P212) + tk(P265) + tk(P275) + tk(P276) + tk(P379) + tk(P383) + tk(P415) + tk(P429) + tk(P507) + tk(P562) + tk(P619) + tk(P658)) <= (tk(P77) + tk(P94) + tk(P164) + tk(P244) + tk(P264) + tk(P278) + tk(P318) + tk(P359)) ) )) | ( (AG( potential( ( 1 ) <= (tk(P198) + tk(P270)) ))) & ( ( potential( ( 1 ) <= (tk(P153) + tk(P220) + tk(P315) + tk(P394) + tk(P406) + tk(P532) + tk(P614)) ) & potential( ( 3 ) <= (tk(P79) + tk(P157) + tk(P229) + tk(P372) + tk(P478) + tk(P554) + tk(P628) + tk(P639)) ) ) | (! potential( ( 2 ) <= (tk(P19) + tk(P127) + tk(P146) + tk(P314) + tk(P371) + tk(P412) + tk(P512) + tk(P645)) )) ) ) ) & (EG( (! potential( ( 3 ) <= (tk(P89) + tk(P116) + tk(P191) + tk(P203) + tk(P363) + tk(P395) + tk(P480) + tk(P564)) )))) )
PROPERTY: PolyORBLF-PT-S02J06T08-CTLCardinality-02 (! (EF((EG( potential( (tk(P42) + tk(P62) + tk(P97) + tk(P180) + tk(P185) + tk(P232) + tk(P251) + tk(P311) + tk(P367) + tk(P401) + tk(P461) + tk(P491) + tk(P497) + tk(P557) + tk(P625) + tk(P685)) <= (tk(P79) + tk(P157) + tk(P229) + tk(P372) + tk(P478) + tk(P554) + tk(P628) + tk(P639)) ))))))
PROPERTY: PolyORBLF-PT-S02J06T08-CTLCardinality-03 (AG( ( ( potential( ( 1 ) <= (tk(P124) + tk(P159) + tk(P209) + tk(P235) + tk(P377) + tk(P414) + tk(P598) + tk(P610)) ) | ( potential( (tk(P40) + tk(P120) + tk(P151) + tk(P168) + tk(P378) + tk(P442) + tk(P484) + tk(P603)) <= (tk(P355)) ) | potential( (tk(P32) + tk(P139) + tk(P202) + tk(P297) + tk(P384) + tk(P460) + tk(P581) + tk(P585)) <= (tk(P36) + tk(P59) + tk(P83) + tk(P223) + tk(P319) + tk(P459) + tk(P547) + tk(P576)) ) ) ) | (EG( potential( ( 2 ) <= (tk(P56) + tk(P176) + tk(P307) + tk(P535) + tk(P588) + tk(P615) + tk(P670)) ))) )))
PROPERTY: PolyORBLF-PT-S02J06T08-CTLCardinality-04 (EG( (AU( potential( (tk(P5) + tk(P12) + tk(P16) + tk(P28) + tk(P35) + tk(P50) + tk(P65) + tk(P75) + tk(P96) + tk(P102) + tk(P123) + tk(P141) + tk(P144) + tk(P148) + tk(P152) + tk(P174) + tk(P178) + tk(P184) + tk(P216) + tk(P226) + tk(P230) + tk(P249) + tk(P261) + tk(P299) + tk(P310) + tk(P324) + tk(P325) + tk(P347) + tk(P352) + tk(P364) + tk(P366) + tk(P402) + tk(P411) + tk(P422) + tk(P453) + tk(P468) + tk(P474) + tk(P479) + tk(P529) + tk(P531) + tk(P537) + tk(P538) + tk(P540) + tk(P545) + tk(P568) + tk(P579) + tk(P586) + tk(P601) + tk(P616) + tk(P617) + tk(P633) + tk(P637) + tk(P641) + tk(P667) + tk(P671) + tk(P672)) <= (tk(P113) + tk(P250) + tk(P329) + tk(P524) + tk(P539) + tk(P624) + tk(P676)) ),potential( (tk(P612)) <= (tk(P449)) ) ))))
PROPERTY: PolyORBLF-PT-S02J06T08-CTLCardinality-05 (AU( ( ( potential( (tk(P17) + tk(P88) + tk(P101) + tk(P147) + tk(P234) + tk(P609) + tk(P647)) <= (tk(P57) + tk(P205) + tk(P277) + tk(P279) + tk(P447) + tk(P481) + tk(P552) + tk(P649)) ) | potential( (tk(P99)) <= (tk(P198) + tk(P270)) ) ) | potential( ( 2 ) <= (tk(P113) + tk(P250) + tk(P329) + tk(P524) + tk(P539) + tk(P624) + tk(P676)) ) ),( ( potential( ( 2 ) <= (tk(P322) + tk(P397)) ) & potential( (tk(P56) + tk(P176) + tk(P307) + tk(P535) + tk(P588) + tk(P615) + tk(P670)) <= (tk(P4) + tk(P10) + tk(P25) + tk(P26) + tk(P53) + tk(P74) + tk(P92) + tk(P106) + tk(P122) + tk(P129) + tk(P131) + tk(P133) + tk(P137) + tk(P138) + tk(P150) + tk(P201) + tk(P204) + tk(P207) + tk(P241) + tk(P256) + tk(P266) + tk(P267) + tk(P284) + tk(P287) + tk(P292) + tk(P298) + tk(P309) + tk(P312) + tk(P320) + tk(P332) + tk(P335) + tk(P344) + tk(P350) + tk(P360) + tk(P382) + tk(P385) + tk(P390) + tk(P400) + tk(P413) + tk(P482) + tk(P498) + tk(P501) + tk(P522) + tk(P560) + tk(P569) + tk(P573) + tk(P580) + tk(P607) + tk(P608) + tk(P627) + tk(P629) + tk(P630) + tk(P653) + tk(P659) + tk(P663) + tk(P687)) ) ) & ( potential( ( 1 ) <= (tk(P31) + tk(P46) + tk(P218) + tk(P303) + tk(P408) + tk(P466) + tk(P490) + tk(P597)) ) & potential( ( 3 ) <= (tk(P40) + tk(P120) + tk(P151) + tk(P168) + tk(P378) + tk(P442) + tk(P484) + tk(P603)) ) ) ) ))
PROPERTY: PolyORBLF-PT-S02J06T08-CTLCardinality-06 (EF(( ( ( potential( (tk(P467)) <= (tk(P467)) ) & potential( (tk(P11) + tk(P29) + tk(P52) + tk(P54) + tk(P60) + tk(P71) + tk(P76) + tk(P93) + tk(P107) + tk(P119) + tk(P121) + tk(P136) + tk(P155) + tk(P187) + tk(P193) + tk(P219) + tk(P224) + tk(P227) + tk(P239) + tk(P245) + tk(P248) + tk(P258) + tk(P269) + tk(P282) + tk(P290) + tk(P304) + tk(P328) + tk(P340) + tk(P346) + tk(P365) + tk(P391) + tk(P399) + tk(P430) + tk(P448) + tk(P451) + tk(P465) + tk(P475) + tk(P476) + tk(P486) + tk(P492) + tk(P499) + tk(P502) + tk(P513) + tk(P521) + tk(P544) + tk(P570) + tk(P574) + tk(P575) + tk(P587) + tk(P589) + tk(P622) + tk(P626) + tk(P650) + tk(P657) + tk(P684) + tk(P689)) <= (tk(P549)) ) ) | (! potential( (tk(P61) + tk(P199) + tk(P225) + tk(P357) + tk(P409) + tk(P510) + tk(P595) + tk(P665)) <= (tk(P17) + tk(P88) + tk(P101) + tk(P147) + tk(P234) + tk(P609) + tk(P647)) )) ) & ( potential( ( 2 ) <= (tk(P98) + tk(P253) + tk(P342) + tk(P392) + tk(P477) + tk(P520) + tk(P572) + tk(P652)) ) & potential( ( 1 ) <= (tk(P338)) ) ) )))
PROPERTY: PolyORBLF-PT-S02J06T08-CTLCardinality-07 (EG( (AF((! potential( ( 2 ) <= (tk(P39) + tk(P49) + tk(P171) + tk(P289) + tk(P362) + tk(P590) + tk(P677) + tk(P690)) ))))))
PROPERTY: PolyORBLF-PT-S02J06T08-CTLCardinality-08 (! (AF((EG( potential( (tk(P386)) <= (tk(P605)) ))))))
PROPERTY: PolyORBLF-PT-S02J06T08-CTLCardinality-09 (AF((AG( ( potential( (tk(P375)) <= (tk(P71)) ) | potential( (tk(P223)) <= (tk(P290)) ) )))))
PROPERTY: PolyORBLF-PT-S02J06T08-CTLCardinality-10 ( ( (EX( (! potential( ( 3 ) <= (tk(P397)) )))) & ( (AG( potential( ( 2 ) <= (tk(P158)) ))) & (EX( potential( ( 2 ) <= (tk(P248)) ))) ) ) | (EX( (EG( potential( (tk(P81)) <= (tk(P508)) ))))) )
PROPERTY: PolyORBLF-PT-S02J06T08-CTLCardinality-11 ( ( (! ( (! potential( ( 2 ) <= (tk(P479)) )) | ( potential( (tk(P197)) <= (tk(P626)) ) & potential( (tk(P555)) <= (tk(P356)) ) ) )) | (EG( (! potential( ( 3 ) <= (tk(P632)) )))) ) | ( potential( ( 1 ) <= (tk(P320)) ) & ( (EF(potential( (tk(P52)) <= (tk(P683)) ))) & (! ( potential( (tk(P455)) <= (tk(P665)) ) & potential( ( 1 ) <= (tk(P377)) ) )) ) ) )
PROPERTY: PolyORBLF-PT-S02J06T08-CTLCardinality-12 (AX( (! (AG( potential( (tk(P90)) <= (tk(P51)) ))))))
PROPERTY: PolyORBLF-PT-S02J06T08-CTLCardinality-13 (AG( potential( (tk(P409)) <= (tk(P464)) )))
PROPERTY: PolyORBLF-PT-S02J06T08-CTLCardinality-14 (AU( potential( (tk(P56)) <= (tk(P522)) ),( ( potential( ( 2 ) <= (tk(P279)) ) & potential( (tk(P122)) <= (tk(P205)) ) ) & ( potential( (tk(P264)) <= (tk(P664)) ) & potential( ( 3 ) <= (tk(P201)) ) ) ) ))
PROPERTY: PolyORBLF-PT-S02J06T08-CTLCardinality-15 (EF((EG( ( potential( (tk(P28)) <= (tk(P491)) ) & potential( (tk(P38)) <= (tk(P231)) ) )))))

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

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