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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 5.4M
-rw-r--r-- 1 mcc users 8.8K Apr 12 05:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 34K Apr 12 05:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.3K Apr 11 05:06 CTLFireability.txt
-rw-r--r-- 1 mcc users 37K Apr 11 05:06 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 9.7K Apr 14 12:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 37K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 14K Apr 14 12:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 52K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Apr 10 12:41 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 35K Apr 10 12:41 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Apr 9 17:58 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 39K Apr 9 17:58 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.3K Apr 10 22:22 UpperBounds.txt
-rw-r--r-- 1 mcc users 6.5K 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 5.0M 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-S04J06T08-CTLCardinality-00
FORMULA_NAME PolyORBLF-PT-S04J06T08-CTLCardinality-01
FORMULA_NAME PolyORBLF-PT-S04J06T08-CTLCardinality-02
FORMULA_NAME PolyORBLF-PT-S04J06T08-CTLCardinality-03
FORMULA_NAME PolyORBLF-PT-S04J06T08-CTLCardinality-04
FORMULA_NAME PolyORBLF-PT-S04J06T08-CTLCardinality-05
FORMULA_NAME PolyORBLF-PT-S04J06T08-CTLCardinality-06
FORMULA_NAME PolyORBLF-PT-S04J06T08-CTLCardinality-07
FORMULA_NAME PolyORBLF-PT-S04J06T08-CTLCardinality-08
FORMULA_NAME PolyORBLF-PT-S04J06T08-CTLCardinality-09
FORMULA_NAME PolyORBLF-PT-S04J06T08-CTLCardinality-10
FORMULA_NAME PolyORBLF-PT-S04J06T08-CTLCardinality-11
FORMULA_NAME PolyORBLF-PT-S04J06T08-CTLCardinality-12
FORMULA_NAME PolyORBLF-PT-S04J06T08-CTLCardinality-13
FORMULA_NAME PolyORBLF-PT-S04J06T08-CTLCardinality-14
FORMULA_NAME PolyORBLF-PT-S04J06T08-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589646002112

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (PT), instance S04J06T08
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: 792 places, 4268 transitions, 28832 arcs.
AT ITER 0 NEW BEST:: SOT 2182365 SOS 1271407 HAS SOPS 1258917 HAS SOUS 414316 HAS SOUPS 413668 WITH SCORE 414939.407
AT ITER 6 NEW BEST:: SOT 2100701 SOS 1189999 HAS SOPS 1177509 HAS SOUS 402283 HAS SOUPS 401635 WITH SCORE 402824.999
AT ITER 16 NEW BEST:: SOT 2100342 SOS 1189680 HAS SOPS 1177190 HAS SOUS 402198 HAS SOUPS 401550 WITH SCORE 402739.68
AT ITER 17 NEW BEST:: SOT 2100240 SOS 1189680 HAS SOPS 1177182 HAS SOUS 402168 HAS SOUPS 401517 WITH SCORE 402706.68
AT ITER 22 NEW BEST:: SOT 2099105 SOS 1188837 HAS SOPS 1176339 HAS SOUS 401897 HAS SOUPS 401246 WITH SCORE 402434.837
AT ITER 29 NEW BEST:: SOT 2099105 SOS 1189061 HAS SOPS 1176563 HAS SOUS 401764 HAS SOUPS 401113 WITH SCORE 402302.061
AT ITER 35 NEW BEST:: SOT 2099083 SOS 1188219 HAS SOPS 1175805 HAS SOUS 401632 HAS SOUPS 400974 WITH SCORE 402162.219
AT ITER 51 NEW BEST:: SOT 2098698 SOS 1187834 HAS SOPS 1175420 HAS SOUS 401100 HAS SOUPS 400442 WITH SCORE 401629.834
AT ITER 74 NEW BEST:: SOT 2098718 SOS 1187814 HAS SOPS 1175339 HAS SOUS 401095 HAS SOUPS 400440 WITH SCORE 401627.814
AT ITER 85 NEW BEST:: SOT 2098588 SOS 1187684 HAS SOPS 1175275 HAS SOUS 401059 HAS SOUPS 400404 WITH SCORE 401591.684
AT ITER 88 NEW BEST:: SOT 2004823 SOS 1094198 HAS SOPS 1081789 HAS SOUS 383170 HAS SOUPS 382515 WITH SCORE 383609.198
AT ITER 89 NEW BEST:: SOT 1991882 SOS 1150537 HAS SOPS 1138128 HAS SOUS 382100 HAS SOUPS 381445 WITH SCORE 382595.537
AT ITER 100 NEW BEST:: SOT 1990588 SOS 1149384 HAS SOPS 1136975 HAS SOUS 380870 HAS SOUPS 380215 WITH SCORE 381364.384
AT ITER 107 NEW BEST:: SOT 1990186 SOS 1149048 HAS SOPS 1136639 HAS SOUS 380305 HAS SOUPS 379650 WITH SCORE 380799.048
AT ITER 111 NEW BEST:: SOT 1988711 SOS 1147573 HAS SOPS 1135140 HAS SOUS 378830 HAS SOUPS 378151 WITH SCORE 379298.573
AT ITER 129 NEW BEST:: SOT 1987285 SOS 1146388 HAS SOPS 1133955 HAS SOUS 377799 HAS SOUPS 377120 WITH SCORE 378266.388
AT ITER 134 NEW BEST:: SOT 1986370 SOS 1145473 HAS SOPS 1133025 HAS SOUS 376884 HAS SOUPS 376190 WITH SCORE 377335.473
AT ITER 140 NEW BEST:: SOT 1986449 SOS 1147812 HAS SOPS 1135364 HAS SOUS 376872 HAS SOUPS 376178 WITH SCORE 377325.812
AT ITER 148 NEW BEST:: SOT 1986397 SOS 1147789 HAS SOPS 1135341 HAS SOUS 376201 HAS SOUPS 375507 WITH SCORE 376654.789
AT ITER 151 NEW BEST:: SOT 1986263 SOS 1147662 HAS SOPS 1135214 HAS SOUS 374876 HAS SOUPS 374182 WITH SCORE 375329.662
AT ITER 152 NEW BEST:: SOT 1986372 SOS 1147839 HAS SOPS 1135388 HAS SOUS 374849 HAS SOUPS 374155 WITH SCORE 375302.839
AT ITER 170 NEW BEST:: SOT 1986372 SOS 1147839 HAS SOPS 1135388 HAS SOUS 374834 HAS SOUPS 374140 WITH SCORE 375287.839
AT ITER 183 NEW BEST:: SOT 1985312 SOS 1147038 HAS SOPS 1134587 HAS SOUS 374333 HAS SOUPS 373639 WITH SCORE 374786.038
AT ITER 194 NEW BEST:: SOT 1985430 SOS 1147156 HAS SOPS 1134705 HAS SOUS 373903 HAS SOUPS 373209 WITH SCORE 374356.156
AT ITER 205 NEW BEST:: SOT 1984767 SOS 1146619 HAS SOPS 1134168 HAS SOUS 372841 HAS SOUPS 372147 WITH SCORE 373293.619
AT ITER 245 NEW BEST:: SOT 1984760 SOS 1146612 HAS SOPS 1134161 HAS SOUS 372830 HAS SOUPS 372136 WITH SCORE 373282.612
AT ITER 262 NEW BEST:: SOT 1974381 SOS 1137311 HAS SOPS 1124951 HAS SOUS 362751 HAS SOUPS 362070 WITH SCORE 363207.311
AT ITER 265 NEW BEST:: SOT 1975283 SOS 1138478 HAS SOPS 1126118 HAS SOUS 361868 HAS SOUPS 361187 WITH SCORE 362325.478
AT ITER 271 NEW BEST:: SOT 1974256 SOS 1137691 HAS SOPS 1125331 HAS SOUS 361212 HAS SOUPS 360531 WITH SCORE 361668.691
AT ITER 276 NEW BEST:: SOT 1973842 SOS 1136951 HAS SOPS 1124591 HAS SOUS 360696 HAS SOUPS 360015 WITH SCORE 361151.951
AT ITER 282 NEW BEST:: SOT 1969946 SOS 1134330 HAS SOPS 1120467 HAS SOUS 355940 HAS SOUPS 355023 WITH SCORE 356157.33
AT ITER 284 NEW BEST:: SOT 1969923 SOS 1134314 HAS SOPS 1120451 HAS SOUS 355924 HAS SOUPS 355007 WITH SCORE 356141.314
AT ITER 288 NEW BEST:: SOT 1969812 SOS 1134203 HAS SOPS 1120340 HAS SOUS 355813 HAS SOUPS 354896 WITH SCORE 356030.203
AT ITER 308 NEW BEST:: SOT 1969674 SOS 1133661 HAS SOPS 1120022 HAS SOUS 355527 HAS SOUPS 354610 WITH SCORE 355743.661
AT ITER 326 NEW BEST:: SOT 1969636 SOS 1133585 HAS SOPS 1119946 HAS SOUS 355451 HAS SOUPS 354534 WITH SCORE 355667.585
AT ITER 327 NEW BEST:: SOT 1968969 SOS 1132937 HAS SOPS 1119298 HAS SOUS 354182 HAS SOUPS 353265 WITH SCORE 354397.937
AT ITER 328 NEW BEST:: SOT 1968969 SOS 1132934 HAS SOPS 1119295 HAS SOUS 354179 HAS SOUPS 353262 WITH SCORE 354394.934
AT ITER 329 NEW BEST:: SOT 1969536 SOS 1133701 HAS SOPS 1120062 HAS SOUS 351476 HAS SOUPS 350559 WITH SCORE 351692.701
AT ITER 335 NEW BEST:: SOT 1969536 SOS 1133701 HAS SOPS 1120062 HAS SOUS 351462 HAS SOUPS 350545 WITH SCORE 351678.701
AT ITER 345 NEW BEST:: SOT 1967592 SOS 1131857 HAS SOPS 1118218 HAS SOUS 350910 HAS SOUPS 349993 WITH SCORE 351124.857
AT ITER 348 NEW BEST:: SOT 1967639 SOS 1132062 HAS SOPS 1118423 HAS SOUS 350671 HAS SOUPS 349754 WITH SCORE 350886.062
AT ITER 349 NEW BEST:: SOT 1967591 SOS 1132014 HAS SOPS 1118375 HAS SOUS 350623 HAS SOUPS 349706 WITH SCORE 350838.014
AT ITER 353 NEW BEST:: SOT 1967322 SOS 1131603 HAS SOPS 1117964 HAS SOUS 350290 HAS SOUPS 349373 WITH SCORE 350504.603
AT ITER 357 NEW BEST:: SOT 1967315 SOS 1131589 HAS SOPS 1117950 HAS SOUS 350276 HAS SOUPS 349359 WITH SCORE 350490.589
AT ITER 368 NEW BEST:: SOT 1967346 SOS 1131892 HAS SOPS 1118253 HAS SOUS 350258 HAS SOUPS 349341 WITH SCORE 350472.892
AT ITER 372 NEW BEST:: SOT 1966979 SOS 1131568 HAS SOPS 1117929 HAS SOUS 349895 HAS SOUPS 348978 WITH SCORE 350109.568
AT ITER 376 NEW BEST:: SOT 1966974 SOS 1131558 HAS SOPS 1117919 HAS SOUS 349885 HAS SOUPS 348968 WITH SCORE 350099.558
AT ITER 392 NEW BEST:: SOT 1967175 SOS 1132011 HAS SOPS 1118372 HAS SOUS 349729 HAS SOUPS 348812 WITH SCORE 349944.011
AT ITER 394 NEW BEST:: SOT 1960616 SOS 1125475 HAS SOPS 1111836 HAS SOUS 348429 HAS SOUPS 347512 WITH SCORE 348637.475
AT ITER 397 NEW BEST:: SOT 1960950 SOS 1126013 HAS SOPS 1112374 HAS SOUS 348382 HAS SOUPS 347465 WITH SCORE 348591.013
AT ITER 401 NEW BEST:: SOT 1958819 SOS 1133383 HAS SOPS 1127256 HAS SOUS 347408 HAS SOUPS 346684 WITH SCORE 347817.383
AT ITER 416 NEW BEST:: SOT 1958773 SOS 1133312 HAS SOPS 1127185 HAS SOUS 347365 HAS SOUPS 346641 WITH SCORE 347774.312
AT ITER 419 NEW BEST:: SOT 1859658 SOS 1100632 HAS SOPS 1094505 HAS SOUS 330749 HAS SOUPS 330025 WITH SCORE 331125.632
AT ITER 421 NEW BEST:: SOT 1859658 SOS 1100632 HAS SOPS 1094505 HAS SOUS 330735 HAS SOUPS 330011 WITH SCORE 331111.632
AT ITER 422 NEW BEST:: SOT 1859654 SOS 1100932 HAS SOPS 1094805 HAS SOUS 330254 HAS SOUPS 329530 WITH SCORE 330630.932
AT ITER 423 NEW BEST:: SOT 1859268 SOS 1100263 HAS SOPS 1094136 HAS SOUS 329968 HAS SOUPS 329244 WITH SCORE 330344.263
AT ITER 431 NEW BEST:: SOT 1859092 SOS 1100087 HAS SOPS 1093960 HAS SOUS 329592 HAS SOUPS 328868 WITH SCORE 329968.087
AT ITER 432 NEW BEST:: SOT 1858876 SOS 1099785 HAS SOPS 1093658 HAS SOUS 329290 HAS SOUPS 328566 WITH SCORE 329665.785
AT ITER 434 NEW BEST:: SOT 1828241 SOS 1069153 HAS SOPS 1063026 HAS SOUS 320195 HAS SOUPS 319471 WITH SCORE 320540.153
AT ITER 448 NEW BEST:: SOT 1827545 SOS 1068573 HAS SOPS 1062446 HAS SOUS 319594 HAS SOUPS 318870 WITH SCORE 319938.573
AT ITER 455 NEW BEST:: SOT 1827017 SOS 1068133 HAS SOPS 1062006 HAS SOUS 318840 HAS SOUPS 318116 WITH SCORE 319184.133
AT ITER 462 NEW BEST:: SOT 1826884 SOS 1068468 HAS SOPS 1062341 HAS SOUS 318759 HAS SOUPS 318035 WITH SCORE 319103.468
AT ITER 466 NEW BEST:: SOT 1826513 SOS 1068097 HAS SOPS 1061970 HAS SOUS 318241 HAS SOUPS 317517 WITH SCORE 318585.097
AT ITER 472 NEW BEST:: SOT 1826513 SOS 1068097 HAS SOPS 1061970 HAS SOUS 318239 HAS SOUPS 317515 WITH SCORE 318583.097
AT ITER 474 NEW BEST:: SOT 1738169 SOS 1013780 HAS SOPS 1007653 HAS SOUS 302653 HAS SOUPS 301929 WITH SCORE 302942.78
AT ITER 481 NEW BEST:: SOT 1738113 SOS 1013520 HAS SOPS 1007393 HAS SOUS 302543 HAS SOUPS 301819 WITH SCORE 302832.52
AT ITER 482 NEW BEST:: SOT 1737779 SOS 1013257 HAS SOPS 1007130 HAS SOUS 302215 HAS SOUPS 301491 WITH SCORE 302504.257
AT ITER 483 NEW BEST:: SOT 1737506 SOS 1012889 HAS SOPS 1006762 HAS SOUS 300060 HAS SOUPS 299336 WITH SCORE 300348.889
AT ITER 485 NEW BEST:: SOT 1737454 SOS 1012785 HAS SOPS 1006658 HAS SOUS 300008 HAS SOUPS 299284 WITH SCORE 300296.785
AT ITER 486 NEW BEST:: SOT 1720078 SOS 995556 HAS SOPS 989429 HAS SOUS 295918 HAS SOUPS 295194 WITH SCORE 296189.556
AT ITER 491 NEW BEST:: SOT 1719115 SOS 994849 HAS SOPS 988722 HAS SOUS 295536 HAS SOUPS 294812 WITH SCORE 295806.849
AT ITER 492 NEW BEST:: SOT 1715909 SOS 991522 HAS SOPS 985395 HAS SOUS 293269 HAS SOUPS 292545 WITH SCORE 293536.522
AT ITER 510 NEW BEST:: SOT 1714950 SOS 990727 HAS SOPS 984600 HAS SOUS 292582 HAS SOUPS 291858 WITH SCORE 292848.727
AT ITER 544 NEW BEST:: SOT 1714439 SOS 990304 HAS SOPS 984177 HAS SOUS 292167 HAS SOUPS 291443 WITH SCORE 292433.304
AT ITER 546 NEW BEST:: SOT 1714439 SOS 990304 HAS SOPS 984177 HAS SOUS 292121 HAS SOUPS 291397 WITH SCORE 292387.304
AT ITER 548 NEW BEST:: SOT 1714418 SOS 990283 HAS SOPS 984135 HAS SOUS 292095 HAS SOUPS 291363 WITH SCORE 292353.283
AT ITER 553 NEW BEST:: SOT 1714262 SOS 989971 HAS SOPS 983823 HAS SOUS 291861 HAS SOUPS 291129 WITH SCORE 292118.971
AT ITER 556 NEW BEST:: SOT 1714044 SOS 989398 HAS SOPS 983250 HAS SOUS 291825 HAS SOUPS 291093 WITH SCORE 292082.398
AT ITER 567 NEW BEST:: SOT 1698127 SOS 973740 HAS SOPS 967592 HAS SOUS 287942 HAS SOUPS 287210 WITH SCORE 288183.74
AT ITER 573 NEW BEST:: SOT 1698178 SOS 973877 HAS SOPS 967729 HAS SOUS 287814 HAS SOUPS 287082 WITH SCORE 288055.877
AT ITER 588 NEW BEST:: SOT 1691766 SOS 967465 HAS SOPS 961317 HAS SOUS 287137 HAS SOUPS 286405 WITH SCORE 287372.465
AT ITER 593 NEW BEST:: SOT 1691492 SOS 967191 HAS SOPS 961043 HAS SOUS 286589 HAS SOUPS 285857 WITH SCORE 286824.191
AT ITER 595 NEW BEST:: SOT 1691478 SOS 967177 HAS SOPS 961029 HAS SOUS 286530 HAS SOUPS 285798 WITH SCORE 286765.177
AT ITER 628 NEW BEST:: SOT 1691443 SOS 967142 HAS SOPS 960994 HAS SOUS 286460 HAS SOUPS 285728 WITH SCORE 286695.142
AT ITER 634 NEW BEST:: SOT 1691468 SOS 966999 HAS SOPS 960851 HAS SOUS 286452 HAS SOUPS 285720 WITH SCORE 286686.999
AT ITER 638 NEW BEST:: SOT 1691429 SOS 966960 HAS SOPS 960812 HAS SOUS 286374 HAS SOUPS 285642 WITH SCORE 286608.96
AT ITER 646 NEW BEST:: SOT 1691415 SOS 966946 HAS SOPS 960798 HAS SOUS 286346 HAS SOUPS 285614 WITH SCORE 286580.946
AT ITER 653 NEW BEST:: SOT 1690699 SOS 966401 HAS SOPS 960253 HAS SOUS 285644 HAS SOUPS 284912 WITH SCORE 285878.401
AT ITER 654 NEW BEST:: SOT 1690674 SOS 966376 HAS SOPS 960228 HAS SOUS 285557 HAS SOUPS 284825 WITH SCORE 285791.376
AT ITER 660 NEW BEST:: SOT 1690650 SOS 966352 HAS SOPS 960259 HAS SOUS 285536 HAS SOUPS 284804 WITH SCORE 285770.352
AT ITER 666 NEW BEST:: SOT 1690369 SOS 965921 HAS SOPS 959828 HAS SOUS 284899 HAS SOUPS 284167 WITH SCORE 285132.921
AT ITER 668 NEW BEST:: SOT 1690310 SOS 965567 HAS SOPS 959474 HAS SOUS 284878 HAS SOUPS 284146 WITH SCORE 285111.567
AT ITER 689 NEW BEST:: SOT 1690084 SOS 965171 HAS SOPS 959078 HAS SOUS 284256 HAS SOUPS 283524 WITH SCORE 284489.171
AT ITER 692 NEW BEST:: SOT 1689860 SOS 965881 HAS SOPS 959788 HAS SOUS 284046 HAS SOUPS 283314 WITH SCORE 284279.881
AT ITER 693 NEW BEST:: SOT 1689849 SOS 965870 HAS SOPS 959777 HAS SOUS 284035 HAS SOUPS 283303 WITH SCORE 284268.87
AT ITER 701 NEW BEST:: SOT 1689826 SOS 965847 HAS SOPS 959754 HAS SOUS 284000 HAS SOUPS 283268 WITH SCORE 284233.847
AT ITER 707 NEW BEST:: SOT 1689391 SOS 965144 HAS SOPS 959051 HAS SOUS 283391 HAS SOUPS 282659 WITH SCORE 283624.144
AT ITER 710 NEW BEST:: SOT 1689391 SOS 965191 HAS SOPS 959098 HAS SOUS 283341 HAS SOUPS 282609 WITH SCORE 283574.191
AT ITER 713 NEW BEST:: SOT 1689151 SOS 964823 HAS SOPS 958730 HAS SOUS 283276 HAS SOUPS 282544 WITH SCORE 283508.823
AT ITER 719 NEW BEST:: SOT 1688887 SOS 964625 HAS SOPS 958532 HAS SOUS 283156 HAS SOUPS 282424 WITH SCORE 283388.625
AT ITER 728 NEW BEST:: SOT 1688878 SOS 964616 HAS SOPS 958561 HAS SOUS 283062 HAS SOUPS 282330 WITH SCORE 283294.616
AT ITER 731 NEW BEST:: SOT 1688878 SOS 964616 HAS SOPS 958561 HAS SOUS 283042 HAS SOUPS 282310 WITH SCORE 283274.616
AT ITER 734 NEW BEST:: SOT 1688368 SOS 964266 HAS SOPS 958211 HAS SOUS 282967 HAS SOUPS 282235 WITH SCORE 283199.266
AT ITER 737 NEW BEST:: SOT 1687647 SOS 965361 HAS SOPS 959306 HAS SOUS 282775 HAS SOUPS 282043 WITH SCORE 283008.361
AT ITER 744 NEW BEST:: SOT 1687451 SOS 965165 HAS SOPS 959110 HAS SOUS 282433 HAS SOUPS 281701 WITH SCORE 282666.165
AT ITER 747 NEW BEST:: SOT 1687173 SOS 964927 HAS SOPS 958872 HAS SOUS 282271 HAS SOUPS 281539 WITH SCORE 282503.927
AT ITER 753 NEW BEST:: SOT 1686893 SOS 964687 HAS SOPS 958632 HAS SOUS 282073 HAS SOUPS 281341 WITH SCORE 282305.687
AT ITER 755 NEW BEST:: SOT 1645289 SOS 922784 HAS SOPS 916729 HAS SOUS 273994 HAS SOUPS 273262 WITH SCORE 274184.784
AT ITER 757 NEW BEST:: SOT 1645286 SOS 923293 HAS SOPS 917238 HAS SOUS 273780 HAS SOUPS 273048 WITH SCORE 273971.293
AT ITER 758 NEW BEST:: SOT 1645267 SOS 923530 HAS SOPS 917475 HAS SOUS 273753 HAS SOUPS 273021 WITH SCORE 273944.53
AT ITER 768 NEW BEST:: SOT 1645235 SOS 923498 HAS SOPS 917411 HAS SOUS 273699 HAS SOUPS 272946 WITH SCORE 273869.498
AT ITER 772 NEW BEST:: SOT 1644356 SOS 922619 HAS SOPS 916532 HAS SOUS 272522 HAS SOUPS 271769 WITH SCORE 272691.619
AT ITER 783 NEW BEST:: SOT 1643157 SOS 927580 HAS SOPS 921493 HAS SOUS 272089 HAS SOUPS 271336 WITH SCORE 272263.58
AT ITER 784 NEW BEST:: SOT 1643109 SOS 927557 HAS SOPS 921470 HAS SOUS 272047 HAS SOUPS 271294 WITH SCORE 272221.557
AT ITER 795 NEW BEST:: SOT 1643043 SOS 927414 HAS SOPS 921415 HAS SOUS 271981 HAS SOUPS 271239 WITH SCORE 272166.414
AT ITER 798 NEW BEST:: SOT 1642439 SOS 926892 HAS SOPS 920893 HAS SOUS 271681 HAS SOUPS 270939 WITH SCORE 271865.892
AT ITER 801 NEW BEST:: SOT 1642417 SOS 926870 HAS SOPS 920871 HAS SOUS 271666 HAS SOUPS 270924 WITH SCORE 271850.87
AT ITER 803 NEW BEST:: SOT 1642422 SOS 926830 HAS SOPS 920831 HAS SOUS 271666 HAS SOUPS 270924 WITH SCORE 271850.83
AT ITER 807 NEW BEST:: SOT 1642174 SOS 926582 HAS SOPS 920583 HAS SOUS 271506 HAS SOUPS 270764 WITH SCORE 271690.582
AT ITER 831 NEW BEST:: SOT 1642158 SOS 926566 HAS SOPS 920377 HAS SOUS 271490 HAS SOUPS 270558 WITH SCORE 271484.566
AT ITER 843 NEW BEST:: SOT 1641809 SOS 926433 HAS SOPS 920244 HAS SOUS 271461 HAS SOUPS 270529 WITH SCORE 271455.433
AT ITER 865 NEW BEST:: SOT 1641767 SOS 926508 HAS SOPS 920319 HAS SOUS 271409 HAS SOUPS 270477 WITH SCORE 271403.508
AT ITER 877 NEW BEST:: SOT 1641767 SOS 926452 HAS SOPS 920263 HAS SOUS 271409 HAS SOUPS 270477 WITH SCORE 271403.452
AT ITER 879 NEW BEST:: SOT 1641767 SOS 926452 HAS SOPS 920263 HAS SOUS 271380 HAS SOUPS 270448 WITH SCORE 271374.452
AT ITER 881 NEW BEST:: SOT 1641739 SOS 926429 HAS SOPS 920240 HAS SOUS 271357 HAS SOUPS 270425 WITH SCORE 271351.429
AT ITER 892 NEW BEST:: SOT 1641513 SOS 926318 HAS SOPS 920129 HAS SOUS 271111 HAS SOUPS 270179 WITH SCORE 271105.318
AT ITER 906 NEW BEST:: SOT 1641513 SOS 926352 HAS SOPS 920163 HAS SOUS 270997 HAS SOUPS 270065 WITH SCORE 270991.352
AT ITER 907 NEW BEST:: SOT 1641513 SOS 926341 HAS SOPS 920152 HAS SOUS 270986 HAS SOUPS 270054 WITH SCORE 270980.341
AT ITER 910 NEW BEST:: SOT 1641523 SOS 926409 HAS SOPS 920220 HAS SOUS 270979 HAS SOUPS 270047 WITH SCORE 270973.409
AT ITER 915 NEW BEST:: SOT 1641489 SOS 926375 HAS SOPS 920186 HAS SOUS 270894 HAS SOUPS 269962 WITH SCORE 270888.375
AT ITER 917 NEW BEST:: SOT 1641542 SOS 926428 HAS SOPS 920239 HAS SOUS 270756 HAS SOUPS 269824 WITH SCORE 270750.428
AT ITER 931 NEW BEST:: SOT 1641542 SOS 926468 HAS SOPS 920279 HAS SOUS 270676 HAS SOUPS 269744 WITH SCORE 270670.468
AT ITER 940 NEW BEST:: SOT 1641332 SOS 926121 HAS SOPS 919932 HAS SOUS 270339 HAS SOUPS 269407 WITH SCORE 270333.121
AT ITER 950 NEW BEST:: SOT 1641424 SOS 926856 HAS SOPS 920667 HAS SOUS 270252 HAS SOUPS 269320 WITH SCORE 270246.856
AT ITER 955 NEW BEST:: SOT 1641385 SOS 926738 HAS SOPS 920546 HAS SOUS 270203 HAS SOUPS 269271 WITH SCORE 270197.738
AT ITER 957 NEW BEST:: SOT 1641382 SOS 926732 HAS SOPS 920540 HAS SOUS 270197 HAS SOUPS 269265 WITH SCORE 270191.732
AT ITER 964 NEW BEST:: SOT 1641247 SOS 926582 HAS SOPS 920479 HAS SOUS 270140 HAS SOUPS 269208 WITH SCORE 270134.582
AT ITER 971 NEW BEST:: SOT 1640348 SOS 925683 HAS SOPS 919580 HAS SOUS 269316 HAS SOUPS 268384 WITH SCORE 269309.683
AT ITER 996 NEW BEST:: SOT 1640330 SOS 925665 HAS SOPS 919562 HAS SOUS 269280 HAS SOUPS 268348 WITH SCORE 269273.665
AT ITER 1006 NEW BEST:: SOT 1640133 SOS 924956 HAS SOPS 918853 HAS SOUS 269280 HAS SOUPS 268348 WITH SCORE 269272.956
AT ITER 1010 NEW BEST:: SOT 1640109 SOS 924968 HAS SOPS 918865 HAS SOUS 269260 HAS SOUPS 268328 WITH SCORE 269252.968
AT ITER 1018 NEW BEST:: SOT 1640600 SOS 925519 HAS SOPS 919416 HAS SOUS 269203 HAS SOUPS 268271 WITH SCORE 269196.519
AT ITER 1027 NEW BEST:: SOT 1640502 SOS 932812 HAS SOPS 926709 HAS SOUS 269161 HAS SOUPS 268229 WITH SCORE 269161.812
AT ITER 1041 NEW BEST:: SOT 1640508 SOS 933205 HAS SOPS 927102 HAS SOUS 269122 HAS SOUPS 268190 WITH SCORE 269123.205
AT ITER 1043 NEW BEST:: SOT 1640344 SOS 933041 HAS SOPS 927015 HAS SOUS 269054 HAS SOUPS 268122 WITH SCORE 269055.041
AT ITER 1045 NEW BEST:: SOT 1640318 SOS 933015 HAS SOPS 926989 HAS SOUS 269054 HAS SOUPS 268122 WITH SCORE 269055.015
AT ITER 1048 NEW BEST:: SOT 1640389 SOS 933026 HAS SOPS 926799 HAS SOUS 268966 HAS SOUPS 268034 WITH SCORE 268967.026
AT ITER 1056 NEW BEST:: SOT 1640372 SOS 933009 HAS SOPS 926782 HAS SOUS 268934 HAS SOUPS 268002 WITH SCORE 268935.009
AT ITER 1066 NEW BEST:: SOT 1640318 SOS 932964 HAS SOPS 926737 HAS SOUS 268880 HAS SOUPS 267948 WITH SCORE 268880.964
AT ITER 1112 NEW BEST:: SOT 1640318 SOS 932774 HAS SOPS 926547 HAS SOUS 268880 HAS SOUPS 267948 WITH SCORE 268880.774
AT ITER 1119 NEW BEST:: SOT 1640202 SOS 933860 HAS SOPS 927630 HAS SOUS 268698 HAS SOUPS 267766 WITH SCORE 268699.86
AT ITER 1120 NEW BEST:: SOT 1640255 SOS 934014 HAS SOPS 927784 HAS SOUS 268424 HAS SOUPS 267492 WITH SCORE 268426.014
AT ITER 1149 NEW BEST:: SOT 1640365 SOS 934124 HAS SOPS 927894 HAS SOUS 268380 HAS SOUPS 267448 WITH SCORE 268382.124
AT ITER 1155 NEW BEST:: SOT 1640365 SOS 934124 HAS SOPS 927894 HAS SOUS 268282 HAS SOUPS 267350 WITH SCORE 268284.124
AT ITER 1158 NEW BEST:: SOT 1640309 SOS 934068 HAS SOPS 927810 HAS SOUS 268170 HAS SOUPS 267238 WITH SCORE 268172.068
AT ITER 1165 NEW BEST:: SOT 1639865 SOS 933368 HAS SOPS 927110 HAS SOUS 267715 HAS SOUPS 266783 WITH SCORE 267716.368
AT ITER 1209 NEW BEST:: SOT 1640064 SOS 933773 HAS SOPS 927515 HAS SOUS 267570 HAS SOUPS 266638 WITH SCORE 267571.773
AT ITER 1210 NEW BEST:: SOT 1638018 SOS 931727 HAS SOPS 925469 HAS SOUS 267064 HAS SOUPS 266132 WITH SCORE 267063.727
AT ITER 1219 NEW BEST:: SOT 1637961 SOS 931641 HAS SOPS 925383 HAS SOUS 266978 HAS SOUPS 266046 WITH SCORE 266977.641
AT ITER 1234 NEW BEST:: SOT 1637925 SOS 931569 HAS SOPS 925311 HAS SOUS 266906 HAS SOUPS 265974 WITH SCORE 266905.569
AT ITER 1239 NEW BEST:: SOT 1580982 SOS 875123 HAS SOPS 868865 HAS SOUS 256925 HAS SOUPS 255993 WITH SCORE 256868.123
AT ITER 1257 NEW BEST:: SOT 1580982 SOS 872703 HAS SOPS 866445 HAS SOUS 256925 HAS SOUPS 255993 WITH SCORE 256865.703
AT ITER 1258 NEW BEST:: SOT 1580216 SOS 871694 HAS SOPS 865436 HAS SOUS 255914 HAS SOUPS 254982 WITH SCORE 255853.694
AT ITER 1262 NEW BEST:: SOT 1579820 SOS 871298 HAS SOPS 865040 HAS SOUS 255497 HAS SOUPS 254565 WITH SCORE 255436.298
AT ITER 1271 NEW BEST:: SOT 1579214 SOS 870828 HAS SOPS 864570 HAS SOUS 255040 HAS SOUPS 254108 WITH SCORE 254978.828
AT ITER 1276 NEW BEST:: SOT 1579185 SOS 870799 HAS SOPS 864541 HAS SOUS 255006 HAS SOUPS 254074 WITH SCORE 254944.799
AT ITER 1292 NEW BEST:: SOT 1571062 SOS 862583 HAS SOPS 856325 HAS SOUS 253300 HAS SOUPS 252368 WITH SCORE 253230.583
AT ITER 1296 NEW BEST:: SOT 1558401 SOS 849861 HAS SOPS 843603 HAS SOUS 250938 HAS SOUPS 250006 WITH SCORE 250855.861
AT ITER 1300 NEW BEST:: SOT 1558376 SOS 849924 HAS SOPS 843666 HAS SOUS 250902 HAS SOUPS 249970 WITH SCORE 250819.924
AT ITER 1301 NEW BEST:: SOT 1558134 SOS 849590 HAS SOPS 843332 HAS SOUS 250618 HAS SOUPS 249686 WITH SCORE 250535.59
AT ITER 1303 NEW BEST:: SOT 1558033 SOS 849467 HAS SOPS 843209 HAS SOUS 250556 HAS SOUPS 249624 WITH SCORE 250473.467
AT ITER 1305 NEW BEST:: SOT 1558007 SOS 849441 HAS SOPS 843183 HAS SOUS 250543 HAS SOUPS 249611 WITH SCORE 250460.441
AT ITER 1351 NEW BEST:: SOT 1557968 SOS 849324 HAS SOPS 843066 HAS SOUS 250543 HAS SOUPS 249611 WITH SCORE 250460.324
AT ITER 1361 NEW BEST:: SOT 1557968 SOS 849322 HAS SOPS 843064 HAS SOUS 250538 HAS SOUPS 249606 WITH SCORE 250455.322
AT ITER 1365 NEW BEST:: SOT 1557815 SOS 849220 HAS SOPS 842962 HAS SOUS 250509 HAS SOUPS 249577 WITH SCORE 250426.22
AT ITER 1370 NEW BEST:: SOT 1557776 SOS 849214 HAS SOPS 842956 HAS SOUS 250431 HAS SOUPS 249499 WITH SCORE 250348.214
AT ITER 1372 NEW BEST:: SOT 1557744 SOS 849182 HAS SOPS 842892 HAS SOUS 250327 HAS SOUPS 249395 WITH SCORE 250244.182
AT ITER 1378 NEW BEST:: SOT 1557744 SOS 849182 HAS SOPS 842892 HAS SOUS 250287 HAS SOUPS 249355 WITH SCORE 250204.182
AT ITER 1387 NEW BEST:: SOT 1557886 SOS 849324 HAS SOPS 843034 HAS SOUS 250248 HAS SOUPS 249316 WITH SCORE 250165.324
AT ITER 1394 NEW BEST:: SOT 1557474 SOS 849069 HAS SOPS 842779 HAS SOUS 250145 HAS SOUPS 249213 WITH SCORE 250062.069
AT ITER 1404 NEW BEST:: SOT 1555646 SOS 847343 HAS SOPS 841053 HAS SOUS 248863 HAS SOUPS 247931 WITH SCORE 248778.343
AT ITER 1408 NEW BEST:: SOT 1555812 SOS 847580 HAS SOPS 841290 HAS SOUS 248836 HAS SOUPS 247904 WITH SCORE 248751.58
AT ITER 1418 NEW BEST:: SOT 1555466 SOS 846249 HAS SOPS 839959 HAS SOUS 248613 HAS SOUPS 247681 WITH SCORE 248527.249
AT ITER 1423 NEW BEST:: SOT 1554832 SOS 845615 HAS SOPS 839325 HAS SOUS 247853 HAS SOUPS 246921 WITH SCORE 247766.615
AT ITER 1426 NEW BEST:: SOT 1554769 SOS 844581 HAS SOPS 838291 HAS SOUS 247792 HAS SOUPS 246860 WITH SCORE 247704.581
AT ITER 1427 NEW BEST:: SOT 1554768 SOS 844580 HAS SOPS 838290 HAS SOUS 247791 HAS SOUPS 246859 WITH SCORE 247703.58
AT ITER 1441 NEW BEST:: SOT 1554689 SOS 845087 HAS SOPS 838797 HAS SOUS 247674 HAS SOUPS 246742 WITH SCORE 247587.087
AT ITER 1479 NEW BEST:: SOT 1554783 SOS 845181 HAS SOPS 838891 HAS SOUS 247594 HAS SOUPS 246662 WITH SCORE 247507.181
AT ITER 1481 NEW BEST:: SOT 1554783 SOS 845129 HAS SOPS 838839 HAS SOUS 247542 HAS SOUPS 246610 WITH SCORE 247455.129
AT ITER 1492 NEW BEST:: SOT 1554976 SOS 845502 HAS SOPS 839212 HAS SOUS 247425 HAS SOUPS 246493 WITH SCORE 247338.502
AT ITER 1512 NEW BEST:: SOT 1554973 SOS 845500 HAS SOPS 839210 HAS SOUS 247407 HAS SOUPS 246475 WITH SCORE 247320.5
AT ITER 1531 NEW BEST:: SOT 1554949 SOS 845476 HAS SOPS 839186 HAS SOUS 247383 HAS SOUPS 246451 WITH SCORE 247296.476
AT ITER 1544 NEW BEST:: SOT 1554949 SOS 845836 HAS SOPS 839546 HAS SOUS 247369 HAS SOUPS 246437 WITH SCORE 247282.836
AT ITER 1549 NEW BEST:: SOT 1554949 SOS 845836 HAS SOPS 839546 HAS SOUS 247341 HAS SOUPS 246409 WITH SCORE 247254.836
AT ITER 1559 NEW BEST:: SOT 1554820 SOS 845674 HAS SOPS 839384 HAS SOUS 246729 HAS SOUPS 245797 WITH SCORE 246642.674
AT ITER 1562 NEW BEST:: SOT 1554819 SOS 845619 HAS SOPS 839329 HAS SOUS 246722 HAS SOUPS 245790 WITH SCORE 246635.619
AT ITER 1577 NEW BEST:: SOT 1554802 SOS 845602 HAS SOPS 839312 HAS SOUS 246705 HAS SOUPS 245773 WITH SCORE 246618.602
AT ITER 1578 NEW BEST:: SOT 1554682 SOS 845528 HAS SOPS 839238 HAS SOUS 245888 HAS SOUPS 244956 WITH SCORE 245801.528
AT ITER 1584 NEW BEST:: SOT 1554694 SOS 845540 HAS SOPS 839250 HAS SOUS 245870 HAS SOUPS 244938 WITH SCORE 245783.54
AT ITER 1592 NEW BEST:: SOT 1554692 SOS 845536 HAS SOPS 839246 HAS SOUS 245866 HAS SOUPS 244934 WITH SCORE 245779.536
AT ITER 1611 NEW BEST:: SOT 1554258 SOS 845166 HAS SOPS 838876 HAS SOUS 245566 HAS SOUPS 244634 WITH SCORE 245479.166
AT ITER 1627 NEW BEST:: SOT 1554086 SOS 844934 HAS SOPS 838644 HAS SOUS 245539 HAS SOUPS 244607 WITH SCORE 245451.934
AT ITER 1654 NEW BEST:: SOT 1553878 SOS 844693 HAS SOPS 838403 HAS SOUS 245421 HAS SOUPS 244489 WITH SCORE 245333.693
AT ITER 1657 NEW BEST:: SOT 1553857 SOS 842285 HAS SOPS 835995 HAS SOUS 245414 HAS SOUPS 244482 WITH SCORE 245324.285
AT ITER 1670 NEW BEST:: SOT 1553738 SOS 842166 HAS SOPS 835954 HAS SOUS 245396 HAS SOUPS 244464 WITH SCORE 245306.166
AT ITER 1673 NEW BEST:: SOT 1553549 SOS 842293 HAS SOPS 836166 HAS SOUS 244615 HAS SOUPS 243683 WITH SCORE 244525.293
AT ITER 1693 NEW BEST:: SOT 1552111 SOS 840865 HAS SOPS 834738 HAS SOUS 243796 HAS SOUPS 242864 WITH SCORE 243704.865
AT ITER 1735 NEW BEST:: SOT 1538806 SOS 877954 HAS SOPS 871827 HAS SOUS 242519 HAS SOUPS 241587 WITH SCORE 242464.954
AT ITER 1741 NEW BEST:: SOT 1538799 SOS 877760 HAS SOPS 871633 HAS SOUS 242505 HAS SOUPS 241573 WITH SCORE 242450.76
AT ITER 1756 NEW BEST:: SOT 1539080 SOS 877887 HAS SOPS 871760 HAS SOUS 242295 HAS SOUPS 241363 WITH SCORE 242240.887
AT ITER 1769 NEW BEST:: SOT 1539085 SOS 877869 HAS SOPS 871742 HAS SOUS 242277 HAS SOUPS 241345 WITH SCORE 242222.869
AT ITER 1792 NEW BEST:: SOT 1538665 SOS 877749 HAS SOPS 871622 HAS SOUS 241768 HAS SOUPS 240836 WITH SCORE 241713.749
AT ITER 1793 NEW BEST:: SOT 1538632 SOS 877708 HAS SOPS 871581 HAS SOUS 241702 HAS SOUPS 240770 WITH SCORE 241647.708
AT ITER 1825 NEW BEST:: SOT 1508375 SOS 847318 HAS SOPS 841191 HAS SOUS 237316 HAS SOUPS 236384 WITH SCORE 237231.318
AT ITER 1829 NEW BEST:: SOT 1508401 SOS 847322 HAS SOPS 841195 HAS SOUS 236994 HAS SOUPS 236062 WITH SCORE 236909.322
AT ITER 1834 NEW BEST:: SOT 1508398 SOS 847319 HAS SOPS 841192 HAS SOUS 236988 HAS SOUPS 236056 WITH SCORE 236903.319
AT ITER 1840 NEW BEST:: SOT 1507797 SOS 846757 HAS SOPS 840630 HAS SOUS 236900 HAS SOUPS 235968 WITH SCORE 236814.757
AT ITER 1873 NEW BEST:: SOT 1507561 SOS 827274 HAS SOPS 821147 HAS SOUS 236632 HAS SOUPS 235700 WITH SCORE 236527.274
AT ITER 1874 NEW BEST:: SOT 1506366 SOS 826133 HAS SOPS 820006 HAS SOUS 235401 HAS SOUPS 234469 WITH SCORE 235295.133
AT ITER 1877 NEW BEST:: SOT 1506271 SOS 826007 HAS SOPS 819880 HAS SOUS 235314 HAS SOUPS 234382 WITH SCORE 235208.007
AT ITER 1878 NEW BEST:: SOT 1506227 SOS 825951 HAS SOPS 819824 HAS SOUS 235277 HAS SOUPS 234345 WITH SCORE 235170.951
AT ITER 1880 NEW BEST:: SOT 1506205 SOS 825929 HAS SOPS 819802 HAS SOUS 235211 HAS SOUPS 234279 WITH SCORE 235104.929
AT ITER 1893 NEW BEST:: SOT 1506090 SOS 825910 HAS SOPS 819783 HAS SOUS 235154 HAS SOUPS 234222 WITH SCORE 235047.91
AT ITER 1939 NEW BEST:: SOT 1505574 SOS 825565 HAS SOPS 819438 HAS SOUS 234753 HAS SOUPS 233821 WITH SCORE 234646.565
AT ITER 1962 NEW BEST:: SOT 1505574 SOS 826415 HAS SOPS 820276 HAS SOUS 234586 HAS SOUPS 233645 WITH SCORE 234471.415
AT ITER 1978 NEW BEST:: SOT 1505338 SOS 826164 HAS SOPS 820025 HAS SOUS 234408 HAS SOUPS 233467 WITH SCORE 234293.164
AT ITER 1996 NEW BEST:: SOT 1505349 SOS 826186 HAS SOPS 819991 HAS SOUS 234458 HAS SOUPS 233461 WITH SCORE 234287.186
AT ITER 2037 NEW BEST:: SOT 1505348 SOS 826185 HAS SOPS 819990 HAS SOUS 234356 HAS SOUPS 233359 WITH SCORE 234185.185
AT ITER 2041 NEW BEST:: SOT 1505328 SOS 826100 HAS SOPS 819905 HAS SOUS 233199 HAS SOUPS 232202 WITH SCORE 233028.1
AT ITER 2046 NEW BEST:: SOT 1505065 SOS 825868 HAS SOPS 819673 HAS SOUS 232820 HAS SOUPS 231823 WITH SCORE 232648.868
AT ITER 2047 NEW BEST:: SOT 1505025 SOS 825830 HAS SOPS 819635 HAS SOUS 232776 HAS SOUPS 231779 WITH SCORE 232604.83
AT ITER 2061 NEW BEST:: SOT 1504832 SOS 825705 HAS SOPS 819510 HAS SOUS 232743 HAS SOUPS 231746 WITH SCORE 232571.705
AT ITER 2062 NEW BEST:: SOT 1504554 SOS 825380 HAS SOPS 819185 HAS SOUS 232330 HAS SOUPS 231333 WITH SCORE 232158.38
AT ITER 2077 NEW BEST:: SOT 1496316 SOS 817104 HAS SOPS 810909 HAS SOUS 231757 HAS SOUPS 230760 WITH SCORE 231577.104
AT ITER 2079 NEW BEST:: SOT 1496263 SOS 817043 HAS SOPS 810848 HAS SOUS 231651 HAS SOUPS 230654 WITH SCORE 231471.043
AT ITER 2095 NEW BEST:: SOT 1496259 SOS 817039 HAS SOPS 810844 HAS SOUS 231634 HAS SOUPS 230637 WITH SCORE 231454.039
AT ITER 2102 NEW BEST:: SOT 1496203 SOS 816945 HAS SOPS 810750 HAS SOUS 231483 HAS SOUPS 230486 WITH SCORE 231302.945
AT ITER 2107 NEW BEST:: SOT 1496167 SOS 816857 HAS SOPS 810662 HAS SOUS 231387 HAS SOUPS 230390 WITH SCORE 231206.857
AT ITER 2122 NEW BEST:: SOT 1492915 SOS 813352 HAS SOPS 807157 HAS SOUS 228513 HAS SOUPS 227516 WITH SCORE 228329.352
AT ITER 2124 NEW BEST:: SOT 1492883 SOS 813320 HAS SOPS 807093 HAS SOUS 228451 HAS SOUPS 227454 WITH SCORE 228267.32
AT ITER 2135 NEW BEST:: SOT 1492841 SOS 813278 HAS SOPS 807019 HAS SOUS 228443 HAS SOUPS 227446 WITH SCORE 228259.278
AT ITER 2152 NEW BEST:: SOT 1492825 SOS 813262 HAS SOPS 807003 HAS SOUS 228427 HAS SOUPS 227430 WITH SCORE 228243.262
AT ITER 2154 NEW BEST:: SOT 1492780 SOS 813209 HAS SOPS 806950 HAS SOUS 228337 HAS SOUPS 227340 WITH SCORE 228153.209
AT ITER 2157 NEW BEST:: SOT 1492872 SOS 813463 HAS SOPS 807204 HAS SOUS 228189 HAS SOUPS 227192 WITH SCORE 228005.463
AT ITER 2165 NEW BEST:: SOT 1492847 SOS 813438 HAS SOPS 807154 HAS SOUS 228139 HAS SOUPS 227142 WITH SCORE 227955.438
AT ITER 2184 NEW BEST:: SOT 1492847 SOS 813422 HAS SOPS 807138 HAS SOUS 228139 HAS SOUPS 227142 WITH SCORE 227955.422
AT ITER 2195 NEW BEST:: SOT 1492687 SOS 813097 HAS SOPS 805757 HAS SOUS 227979 HAS SOUPS 226850 WITH SCORE 227663.097
AT ITER 2205 NEW BEST:: SOT 1492449 SOS 812695 HAS SOPS 805355 HAS SOUS 227653 HAS SOUPS 226524 WITH SCORE 227336.695
AT ITER 2207 NEW BEST:: SOT 1491145 SOS 811160 HAS SOPS 803820 HAS SOUS 226516 HAS SOUPS 225387 WITH SCORE 226198.16
AT ITER 2222 NEW BEST:: SOT 1491089 SOS 811104 HAS SOPS 803764 HAS SOUS 226433 HAS SOUPS 225304 WITH SCORE 226115.104
AT ITER 2225 NEW BEST:: SOT 1491075 SOS 811090 HAS SOPS 803755 HAS SOUS 226416 HAS SOUPS 225287 WITH SCORE 226098.09
AT ITER 2226 NEW BEST:: SOT 1470349 SOS 790350 HAS SOPS 783015 HAS SOUS 223291 HAS SOUPS 222162 WITH SCORE 222952.35
AT ITER 2228 NEW BEST:: SOT 1470182 SOS 790111 HAS SOPS 782776 HAS SOUS 223101 HAS SOUPS 221972 WITH SCORE 222762.111
AT ITER 2229 NEW BEST:: SOT 1470072 SOS 790017 HAS SOPS 782682 HAS SOUS 223070 HAS SOUPS 221941 WITH SCORE 222731.017
AT ITER 2236 NEW BEST:: SOT 1469903 SOS 789848 HAS SOPS 782513 HAS SOUS 222857 HAS SOUPS 221728 WITH SCORE 222517.848
AT ITER 2242 NEW BEST:: SOT 1469804 SOS 789766 HAS SOPS 782431 HAS SOUS 222846 HAS SOUPS 221717 WITH SCORE 222506.766
AT ITER 2248 NEW BEST:: SOT 1469862 SOS 789941 HAS SOPS 782606 HAS SOUS 222844 HAS SOUPS 221715 WITH SCORE 222504.941
AT ITER 2259 NEW BEST:: SOT 1469382 SOS 789381 HAS SOPS 781966 HAS SOUS 222284 HAS SOUPS 221155 WITH SCORE 221944.381
AT ITER 2279 NEW BEST:: SOT 1469258 SOS 789257 HAS SOPS 781842 HAS SOUS 221987 HAS SOUPS 220858 WITH SCORE 221647.257
AT ITER 2293 NEW BEST:: SOT 1469263 SOS 789262 HAS SOPS 781852 HAS SOUS 221972 HAS SOUPS 220843 WITH SCORE 221632.262
AT ITER 2296 NEW BEST:: SOT 1469263 SOS 789262 HAS SOPS 781852 HAS SOUS 221867 HAS SOUPS 220738 WITH SCORE 221527.262
AT ITER 2307 NEW BEST:: SOT 1469263 SOS 789231 HAS SOPS 781821 HAS SOUS 221867 HAS SOUPS 220738 WITH SCORE 221527.231
AT ITER 2317 NEW BEST:: SOT 1469373 SOS 789305 HAS SOPS 781895 HAS SOUS 221475 HAS SOUPS 220346 WITH SCORE 221135.305
AT ITER 2344 NEW BEST:: SOT 1469390 SOS 789322 HAS SOPS 781881 HAS SOUS 221426 HAS SOUPS 220289 WITH SCORE 221078.322
AT ITER 2346 NEW BEST:: SOT 1469277 SOS 752573 HAS SOPS 745132 HAS SOUS 221200 HAS SOUPS 220063 WITH SCORE 220815.573
AT ITER 2355 NEW BEST:: SOT 1469293 SOS 752597 HAS SOPS 745156 HAS SOUS 221138 HAS SOUPS 220001 WITH SCORE 220753.597
AT ITER 2358 NEW BEST:: SOT 1469282 SOS 752586 HAS SOPS 745145 HAS SOUS 221111 HAS SOUPS 219974 WITH SCORE 220726.586
AT ITER 2359 NEW BEST:: SOT 1469616 SOS 752920 HAS SOPS 745479 HAS SOUS 221096 HAS SOUPS 219959 WITH SCORE 220711.92
AT ITER 2381 NEW BEST:: SOT 1469505 SOS 752634 HAS SOPS 745193 HAS SOUS 221016 HAS SOUPS 219879 WITH SCORE 220631.634
AT ITER 2385 NEW BEST:: SOT 1469453 SOS 752582 HAS SOPS 745141 HAS SOUS 220860 HAS SOUPS 219723 WITH SCORE 220475.582
AT ITER 2422 NEW BEST:: SOT 1469164 SOS 752268 HAS SOPS 744827 HAS SOUS 220546 HAS SOUPS 219409 WITH SCORE 220161.268
AT ITER 2434 NEW BEST:: SOT 1469159 SOS 752255 HAS SOPS 744814 HAS SOUS 220533 HAS SOUPS 219396 WITH SCORE 220148.255
AT ITER 2444 NEW BEST:: SOT 1469129 SOS 752225 HAS SOPS 744784 HAS SOUS 220473 HAS SOUPS 219336 WITH SCORE 220088.225
AT ITER 2445 NEW BEST:: SOT 1469105 SOS 752201 HAS SOPS 744760 HAS SOUS 220413 HAS SOUPS 219276 WITH SCORE 220028.201
AT ITER 2508 NEW BEST:: SOT 1469195 SOS 752278 HAS SOPS 744837 HAS SOUS 220402 HAS SOUPS 219265 WITH SCORE 220017.278
AT ITER 2515 NEW BEST:: SOT 1468171 SOS 751092 HAS SOPS 743651 HAS SOUS 219302 HAS SOUPS 218165 WITH SCORE 218916.092
AT ITER 2535 NEW BEST:: SOT 1468111 SOS 750968 HAS SOPS 743527 HAS SOUS 219154 HAS SOUPS 218017 WITH SCORE 218767.968
AT ITER 2541 NEW BEST:: SOT 1467572 SOS 750737 HAS SOPS 743296 HAS SOUS 218845 HAS SOUPS 217708 WITH SCORE 218458.737
AT ITER 2542 NEW BEST:: SOT 1467330 SOS 750600 HAS SOPS 743159 HAS SOUS 218670 HAS SOUPS 217533 WITH SCORE 218283.6
AT ITER 2548 NEW BEST:: SOT 1467363 SOS 750633 HAS SOPS 743160 HAS SOUS 218620 HAS SOUPS 217483 WITH SCORE 218233.633
AT ITER 2550 NEW BEST:: SOT 1467344 SOS 750595 HAS SOPS 743122 HAS SOUS 218582 HAS SOUPS 217445 WITH SCORE 218195.595
AT ITER 2552 NEW BEST:: SOT 1468217 SOS 751587 HAS SOPS 744114 HAS SOUS 217956 HAS SOUPS 216819 WITH SCORE 217570.587
AT ITER 2553 NEW BEST:: SOT 1467887 SOS 751331 HAS SOPS 743858 HAS SOUS 217628 HAS SOUPS 216491 WITH SCORE 217242.331
AT ITER 2558 NEW BEST:: SOT 1467775 SOS 741440 HAS SOPS 733967 HAS SOUS 217142 HAS SOUPS 216005 WITH SCORE 216746.44
AT ITER 2563 NEW BEST:: SOT 1467738 SOS 741403 HAS SOPS 733930 HAS SOUS 217105 HAS SOUPS 215968 WITH SCORE 216709.403
AT ITER 2587 NEW BEST:: SOT 1467733 SOS 741389 HAS SOPS 733916 HAS SOUS 217082 HAS SOUPS 215945 WITH SCORE 216686.389
AT ITER 2590 NEW BEST:: SOT 1467738 SOS 741394 HAS SOPS 733921 HAS SOUS 217063 HAS SOUPS 215926 WITH SCORE 216667.394
AT ITER 2607 NEW BEST:: SOT 1467681 SOS 741337 HAS SOPS 733864 HAS SOUS 216988 HAS SOUPS 215851 WITH SCORE 216592.337
AT ITER 2621 NEW BEST:: SOT 1467473 SOS 741077 HAS SOPS 733604 HAS SOUS 216704 HAS SOUPS 215567 WITH SCORE 216308.077
AT ITER 2630 NEW BEST:: SOT 1467451 SOS 741055 HAS SOPS 733582 HAS SOUS 216643 HAS SOUPS 215506 WITH SCORE 216247.055
AT ITER 2694 NEW BEST:: SOT 1467501 SOS 740910 HAS SOPS 733437 HAS SOUS 216609 HAS SOUPS 215472 WITH SCORE 216212.91
AT ITER 2714 NEW BEST:: SOT 1467496 SOS 740970 HAS SOPS 733497 HAS SOUS 215905 HAS SOUPS 214768 WITH SCORE 215508.97
AT ITER 2725 NEW BEST:: SOT 1467479 SOS 740952 HAS SOPS 733479 HAS SOUS 215887 HAS SOUPS 214750 WITH SCORE 215490.952
AT ITER 2733 NEW BEST:: SOT 1467479 SOS 739182 HAS SOPS 728249 HAS SOUS 215857 HAS SOUPS 214682 WITH SCORE 215421.182
AT ITER 2752 NEW BEST:: SOT 1467513 SOS 739216 HAS SOPS 728326 HAS SOUS 215792 HAS SOUPS 214617 WITH SCORE 215356.216
AT ITER 2757 NEW BEST:: SOT 1467401 SOS 739104 HAS SOPS 728214 HAS SOUS 215683 HAS SOUPS 214508 WITH SCORE 215247.104
AT ITER 2786 NEW BEST:: SOT 1467373 SOS 739090 HAS SOPS 728200 HAS SOUS 215627 HAS SOUPS 214452 WITH SCORE 215191.09
AT ITER 2788 NEW BEST:: SOT 1467158 SOS 738675 HAS SOPS 727785 HAS SOUS 215445 HAS SOUPS 214270 WITH SCORE 215008.675
AT ITER 2800 NEW BEST:: SOT 1467234 SOS 738900 HAS SOPS 727777 HAS SOUS 215362 HAS SOUPS 214187 WITH SCORE 214925.9
AT ITER 2836 NEW BEST:: SOT 1467234 SOS 739019 HAS SOPS 727896 HAS SOUS 215036 HAS SOUPS 213861 WITH SCORE 214600.019
AT ITER 2851 NEW BEST:: SOT 1467095 SOS 738926 HAS SOPS 727803 HAS SOUS 215016 HAS SOUPS 213841 WITH SCORE 214579.926
AT ITER 2855 NEW BEST:: SOT 1467085 SOS 738916 HAS SOPS 727793 HAS SOUS 214996 HAS SOUPS 213821 WITH SCORE 214559.916
AT ITER 2862 NEW BEST:: SOT 1467085 SOS 738864 HAS SOPS 727741 HAS SOUS 214994 HAS SOUPS 213819 WITH SCORE 214557.864
AT ITER 2879 NEW BEST:: SOT 1467041 SOS 738820 HAS SOPS 727697 HAS SOUS 214841 HAS SOUPS 213666 WITH SCORE 214404.82
AT ITER 2889 NEW BEST:: SOT 1467106 SOS 738885 HAS SOPS 727730 HAS SOUS 214825 HAS SOUPS 213650 WITH SCORE 214388.885
AT ITER 2900 NEW BEST:: SOT 1466505 SOS 738404 HAS SOPS 727249 HAS SOUS 214344 HAS SOUPS 213169 WITH SCORE 213907.404
AT ITER 2914 NEW BEST:: SOT 1466421 SOS 738320 HAS SOPS 727165 HAS SOUS 214228 HAS SOUPS 213053 WITH SCORE 213791.32
AT ITER 2964 NEW BEST:: SOT 1466334 SOS 738233 HAS SOPS 727078 HAS SOUS 214141 HAS SOUPS 212966 WITH SCORE 213704.233
AT ITER 2966 NEW BEST:: SOT 1466294 SOS 738173 HAS SOPS 727018 HAS SOUS 214061 HAS SOUPS 212886 WITH SCORE 213624.173
AT ITER 2969 NEW BEST:: SOT 1466243 SOS 738122 HAS SOPS 726967 HAS SOUS 213955 HAS SOUPS 212780 WITH SCORE 213518.122
AT ITER 2979 NEW BEST:: SOT 1466157 SOS 738036 HAS SOPS 726881 HAS SOUS 213869 HAS SOUPS 212694 WITH SCORE 213432.036
AT ITER 2994 NEW BEST:: SOT 1466276 SOS 738472 HAS SOPS 727469 HAS SOUS 213817 HAS SOUPS 212642 WITH SCORE 213380.472
AT ITER 3016 NEW BEST:: SOT 1427360 SOS 731457 HAS SOPS 720454 HAS SOUS 210574 HAS SOUPS 209399 WITH SCORE 210130.457
AT ITER 3022 NEW BEST:: SOT 1427420 SOS 731485 HAS SOPS 720482 HAS SOUS 210239 HAS SOUPS 209064 WITH SCORE 209795.485
AT ITER 3031 NEW BEST:: SOT 1427392 SOS 731457 HAS SOPS 720449 HAS SOUS 210102 HAS SOUPS 208927 WITH SCORE 209658.457
AT ITER 3063 NEW BEST:: SOT 1427696 SOS 730980 HAS SOPS 720171 HAS SOUS 210100 HAS SOUPS 208925 WITH SCORE 209655.98
AT ITER 3067 NEW BEST:: SOT 1427444 SOS 730602 HAS SOPS 719730 HAS SOUS 209722 HAS SOUPS 208547 WITH SCORE 209277.602
AT ITER 3070 NEW BEST:: SOT 1427410 SOS 730568 HAS SOPS 719696 HAS SOUS 209682 HAS SOUPS 208507 WITH SCORE 209237.568
AT ITER 3071 NEW BEST:: SOT 1427408 SOS 730549 HAS SOPS 719677 HAS SOUS 209663 HAS SOUPS 208488 WITH SCORE 209218.549
AT ITER 3076 NEW BEST:: SOT 1427376 SOS 730517 HAS SOPS 719613 HAS SOUS 209599 HAS SOUPS 208424 WITH SCORE 209154.517
AT ITER 3082 NEW BEST:: SOT 1427319 SOS 730460 HAS SOPS 719556 HAS SOUS 209493 HAS SOUPS 208318 WITH SCORE 209048.46
AT ITER 3087 NEW BEST:: SOT 1427277 SOS 730418 HAS SOPS 719482 HAS SOUS 209432 HAS SOUPS 208257 WITH SCORE 208987.418
AT ITER 3097 NEW BEST:: SOT 1428471 SOS 731356 HAS SOPS 720420 HAS SOUS 207739 HAS SOUPS 206564 WITH SCORE 207295.356
AT ITER 3099 NEW BEST:: SOT 1428388 SOS 731273 HAS SOPS 720337 HAS SOUS 207573 HAS SOUPS 206398 WITH SCORE 207129.273
AT ITER 3116 NEW BEST:: SOT 1428370 SOS 731237 HAS SOPS 720301 HAS SOUS 207537 HAS SOUPS 206362 WITH SCORE 207093.237
AT ITER 3156 NEW BEST:: SOT 1428377 SOS 731283 HAS SOPS 720315 HAS SOUS 207529 HAS SOUPS 206354 WITH SCORE 207085.283
AT ITER 3158 NEW BEST:: SOT 1428455 SOS 731315 HAS SOPS 720347 HAS SOUS 206857 HAS SOUPS 205682 WITH SCORE 206413.315
AT ITER 3167 NEW BEST:: SOT 1428303 SOS 731087 HAS SOPS 720119 HAS SOUS 206667 HAS SOUPS 205492 WITH SCORE 206223.087
AT ITER 3168 NEW BEST:: SOT 1428303 SOS 731033 HAS SOPS 720065 HAS SOUS 206649 HAS SOUPS 205474 WITH SCORE 206205.033
AT ITER 3184 NEW BEST:: SOT 1427975 SOS 730674 HAS SOPS 719706 HAS SOUS 206645 HAS SOUPS 205470 WITH SCORE 206200.674
AT ITER 3188 NEW BEST:: SOT 1427712 SOS 730471 HAS SOPS 719503 HAS SOUS 206621 HAS SOUPS 205446 WITH SCORE 206176.471
AT ITER 3190 NEW BEST:: SOT 1427673 SOS 730432 HAS SOPS 719464 HAS SOUS 206594 HAS SOUPS 205419 WITH SCORE 206149.432
AT ITER 3194 NEW BEST:: SOT 1427673 SOS 729268 HAS SOPS 719356 HAS SOUS 206570 HAS SOUPS 205407 WITH SCORE 206136.268
AT ITER 3212 NEW BEST:: SOT 1427278 SOS 728824 HAS SOPS 718912 HAS SOUS 206280 HAS SOUPS 205117 WITH SCORE 205845.824
AT ITER 3216 NEW BEST:: SOT 1427199 SOS 728379 HAS SOPS 718566 HAS SOUS 206201 HAS SOUPS 205038 WITH SCORE 205766.379
AT ITER 3225 NEW BEST:: SOT 1427178 SOS 728358 HAS SOPS 718545 HAS SOUS 206189 HAS SOUPS 205026 WITH SCORE 205754.358
AT ITER 3240 NEW BEST:: SOT 1427150 SOS 728330 HAS SOPS 718517 HAS SOUS 206162 HAS SOUPS 204999 WITH SCORE 205727.33
AT ITER 3247 NEW BEST:: SOT 1427290 SOS 728470 HAS SOPS 718657 HAS SOUS 206118 HAS SOUPS 204955 WITH SCORE 205683.47
AT ITER 3253 NEW BEST:: SOT 1418188 SOS 721587 HAS SOPS 711774 HAS SOUS 205750 HAS SOUPS 204587 WITH SCORE 205308.587
AT ITER 3257 NEW BEST:: SOT 1418168 SOS 721557 HAS SOPS 711744 HAS SOUS 205740 HAS SOUPS 204577 WITH SCORE 205298.557
AT ITER 3265 NEW BEST:: SOT 1417439 SOS 720828 HAS SOPS 711015 HAS SOUS 204638 HAS SOUPS 203475 WITH SCORE 204195.828
AT ITER 3273 NEW BEST:: SOT 1417433 SOS 720824 HAS SOPS 711011 HAS SOUS 204634 HAS SOUPS 203471 WITH SCORE 204191.824
AT ITER 3280 NEW BEST:: SOT 1417464 SOS 720999 HAS SOPS 711186 HAS SOUS 204617 HAS SOUPS 203454 WITH SCORE 204174.999
AT ITER 3283 NEW BEST:: SOT 1417451 SOS 720986 HAS SOPS 711173 HAS SOUS 204591 HAS SOUPS 203428 WITH SCORE 204148.986
AT ITER 3308 NEW BEST:: SOT 1417406 SOS 720941 HAS SOPS 711128 HAS SOUS 204570 HAS SOUPS 203407 WITH SCORE 204127.941
AT ITER 3320 NEW BEST:: SOT 1417394 SOS 720725 HAS SOPS 710912 HAS SOUS 204546 HAS SOUPS 203383 WITH SCORE 204103.725
AT ITER 3352 NEW BEST:: SOT 1417554 SOS 721072 HAS SOPS 711489 HAS SOUS 204304 HAS SOUPS 203149 WITH SCORE 203870.072
AT ITER 3354 NEW BEST:: SOT 1417767 SOS 719882 HAS SOPS 710299 HAS SOUS 204115 HAS SOUPS 202960 WITH SCORE 203679.882
AT ITER 3367 NEW BEST:: SOT 1417758 SOS 719873 HAS SOPS 710290 HAS SOUS 204097 HAS SOUPS 202942 WITH SCORE 203661.873
AT ITER 3375 NEW BEST:: SOT 1417755 SOS 719870 HAS SOPS 710287 HAS SOUS 204094 HAS SOUPS 202939 WITH SCORE 203658.87
AT ITER 3379 NEW BEST:: SOT 1417920 SOS 719932 HAS SOPS 710349 HAS SOUS 204023 HAS SOUPS 202868 WITH SCORE 203587.932
AT ITER 3389 NEW BEST:: SOT 1418230 SOS 719994 HAS SOPS 710411 HAS SOUS 203841 HAS SOUPS 202686 WITH SCORE 203405.994
AT ITER 3390 NEW BEST:: SOT 1418252 SOS 691833 HAS SOPS 682250 HAS SOUS 202050 HAS SOUPS 200895 WITH SCORE 201586.833
AT ITER 3398 NEW BEST:: SOT 1418252 SOS 691833 HAS SOPS 682250 HAS SOUS 202029 HAS SOUPS 200874 WITH SCORE 201565.833
AT ITER 3399 NEW BEST:: SOT 1417961 SOS 691602 HAS SOPS 682019 HAS SOUS 201866 HAS SOUPS 200711 WITH SCORE 201402.602
AT ITER 3407 NEW BEST:: SOT 1417961 SOS 691602 HAS SOPS 682019 HAS SOUS 201824 HAS SOUPS 200669 WITH SCORE 201360.602
AT ITER 3421 NEW BEST:: SOT 1417926 SOS 691462 HAS SOPS 681879 HAS SOUS 201824 HAS SOUPS 200669 WITH SCORE 201360.462
AT ITER 3434 NEW BEST:: SOT 1417926 SOS 691476 HAS SOPS 681893 HAS SOUS 201810 HAS SOUPS 200655 WITH SCORE 201346.476
AT ITER 3446 NEW BEST:: SOT 1417620 SOS 691229 HAS SOPS 681646 HAS SOUS 201698 HAS SOUPS 200543 WITH SCORE 201234.229
AT ITER 3448 NEW BEST:: SOT 1417515 SOS 691124 HAS SOPS 681541 HAS SOUS 201615 HAS SOUPS 200460 WITH SCORE 201151.124
AT ITER 3457 NEW BEST:: SOT 1417678 SOS 691142 HAS SOPS 681559 HAS SOUS 201586 HAS SOUPS 200431 WITH SCORE 201122.142
AT ITER 3478 NEW BEST:: SOT 1417678 SOS 691104 HAS SOPS 681521 HAS SOUS 201586 HAS SOUPS 200431 WITH SCORE 201122.104
AT ITER 3482 NEW BEST:: SOT 1417431 SOS 690579 HAS SOPS 680996 HAS SOUS 201297 HAS SOUPS 200142 WITH SCORE 200832.579
AT ITER 3495 NEW BEST:: SOT 1417475 SOS 690623 HAS SOPS 681040 HAS SOUS 201250 HAS SOUPS 200095 WITH SCORE 200785.623
AT ITER 3502 NEW BEST:: SOT 1417373 SOS 690521 HAS SOPS 681040 HAS SOUS 201148 HAS SOUPS 199993 WITH SCORE 200683.521
AT ITER 3507 NEW BEST:: SOT 1417131 SOS 690048 HAS SOPS 680567 HAS SOUS 200884 HAS SOUPS 199729 WITH SCORE 200419.048
AT ITER 3548 NEW BEST:: SOT 1417151 SOS 690114 HAS SOPS 680633 HAS SOUS 200878 HAS SOUPS 199723 WITH SCORE 200413.114
AT ITER 3558 NEW BEST:: SOT 1417040 SOS 690003 HAS SOPS 680522 HAS SOUS 200664 HAS SOUPS 199509 WITH SCORE 200199.003
AT ITER 3564 NEW BEST:: SOT 1417022 SOS 689985 HAS SOPS 680504 HAS SOUS 200641 HAS SOUPS 199486 WITH SCORE 200175.985
AT ITER 3570 NEW BEST:: SOT 1416264 SOS 689338 HAS SOPS 679857 HAS SOUS 199939 HAS SOUPS 198784 WITH SCORE 199473.338
AT ITER 3578 NEW BEST:: SOT 1416136 SOS 689210 HAS SOPS 679729 HAS SOUS 199786 HAS SOUPS 198631 WITH SCORE 199320.21
AT ITER 3588 NEW BEST:: SOT 1416080 SOS 689127 HAS SOPS 679646 HAS SOUS 199646 HAS SOUPS 198491 WITH SCORE 199180.127
AT ITER 3595 NEW BEST:: SOT 1416080 SOS 689113 HAS SOPS 679646 HAS SOUS 199646 HAS SOUPS 198491 WITH SCORE 199180.113
AT ITER 3619 NEW BEST:: SOT 1416052 SOS 689029 HAS SOPS 679562 HAS SOUS 199590 HAS SOUPS 198435 WITH SCORE 199124.029
AT ITER 3623 NEW BEST:: SOT 1413668 SOS 686645 HAS SOPS 677178 HAS SOUS 198994 HAS SOUPS 197839 WITH SCORE 198525.645
AT ITER 3660 NEW BEST:: SOT 1413654 SOS 686631 HAS SOPS 677164 HAS SOUS 198913 HAS SOUPS 197758 WITH SCORE 198444.631
AT ITER 3663 NEW BEST:: SOT 1413654 SOS 686631 HAS SOPS 677164 HAS SOUS 198911 HAS SOUPS 197756 WITH SCORE 198442.631
AT ITER 3679 NEW BEST:: SOT 1413562 SOS 686509 HAS SOPS 677042 HAS SOUS 198817 HAS SOUPS 197662 WITH SCORE 198348.509
AT ITER 3680 NEW BEST:: SOT 1413463 SOS 686410 HAS SOPS 676943 HAS SOUS 198751 HAS SOUPS 197596 WITH SCORE 198282.41
AT ITER 3687 NEW BEST:: SOT 1413429 SOS 686469 HAS SOPS 677002 HAS SOUS 198474 HAS SOUPS 197319 WITH SCORE 198005.469
AT ITER 3692 NEW BEST:: SOT 1413378 SOS 686418 HAS SOPS 676951 HAS SOUS 198458 HAS SOUPS 197303 WITH SCORE 197989.418
AT ITER 3706 NEW BEST:: SOT 1413350 SOS 686390 HAS SOPS 676895 HAS SOUS 198402 HAS SOUPS 197247 WITH SCORE 197933.39
AT ITER 3722 NEW BEST:: SOT 1413317 SOS 686311 HAS SOPS 676816 HAS SOUS 198331 HAS SOUPS 197176 WITH SCORE 197862.311
AT ITER 3742 NEW BEST:: SOT 1412646 SOS 685938 HAS SOPS 676443 HAS SOUS 198273 HAS SOUPS 197118 WITH SCORE 197803.938
AT ITER 3753 NEW BEST:: SOT 1412646 SOS 685949 HAS SOPS 676454 HAS SOUS 198262 HAS SOUPS 197107 WITH SCORE 197792.949
AT ITER 3781 NEW BEST:: SOT 1412627 SOS 685930 HAS SOPS 676435 HAS SOUS 198148 HAS SOUPS 196993 WITH SCORE 197678.93
AT ITER 3788 NEW BEST:: SOT 1412627 SOS 685919 HAS SOPS 676424 HAS SOUS 198137 HAS SOUPS 196982 WITH SCORE 197667.919
AT ITER 3791 NEW BEST:: SOT 1412560 SOS 685852 HAS SOPS 676357 HAS SOUS 197953 HAS SOUPS 196798 WITH SCORE 197483.852
AT ITER 3813 NEW BEST:: SOT 1412560 SOS 685852 HAS SOPS 676357 HAS SOUS 197915 HAS SOUPS 196760 WITH SCORE 197445.852
AT ITER 3825 NEW BEST:: SOT 1412312 SOS 685680 HAS SOPS 676185 HAS SOUS 197721 HAS SOUPS 196566 WITH SCORE 197251.68
AT ITER 3839 NEW BEST:: SOT 1412262 SOS 685474 HAS SOPS 675979 HAS SOUS 197505 HAS SOUPS 196350 WITH SCORE 197035.474
AT ITER 3844 NEW BEST:: SOT 1412241 SOS 685453 HAS SOPS 675926 HAS SOUS 197463 HAS SOUPS 196308 WITH SCORE 196993.453
AT ITER 3857 NEW BEST:: SOT 1412262 SOS 685474 HAS SOPS 675947 HAS SOUS 197446 HAS SOUPS 196291 WITH SCORE 196976.474
AT ITER 3864 NEW BEST:: SOT 1412253 SOS 685465 HAS SOPS 675934 HAS SOUS 197438 HAS SOUPS 196283 WITH SCORE 196968.465
AT ITER 3917 NEW BEST:: SOT 1412208 SOS 685420 HAS SOPS 675889 HAS SOUS 197363 HAS SOUPS 196208 WITH SCORE 196893.42
AT ITER 3948 NEW BEST:: SOT 1412229 SOS 685547 HAS SOPS 676016 HAS SOUS 197331 HAS SOUPS 196176 WITH SCORE 196861.547
AT ITER 3953 NEW BEST:: SOT 1412049 SOS 685306 HAS SOPS 675775 HAS SOUS 197077 HAS SOUPS 195922 WITH SCORE 196607.306
AT ITER 4005 NEW BEST:: SOT 1410044 SOS 683301 HAS SOPS 673770 HAS SOUS 196646 HAS SOUPS 195491 WITH SCORE 196174.301
AT ITER 4008 NEW BEST:: SOT 1410041 SOS 683299 HAS SOPS 673768 HAS SOUS 196644 HAS SOUPS 195489 WITH SCORE 196172.299
AT ITER 4012 NEW BEST:: SOT 1410041 SOS 682021 HAS SOPS 672490 HAS SOUS 196642 HAS SOUPS 195487 WITH SCORE 196169.021
AT ITER 4021 NEW BEST:: SOT 1409936 SOS 682329 HAS SOPS 672798 HAS SOUS 196537 HAS SOUPS 195382 WITH SCORE 196064.329
AT ITER 4024 NEW BEST:: SOT 1409926 SOS 682319 HAS SOPS 672788 HAS SOUS 196527 HAS SOUPS 195372 WITH SCORE 196054.319
AT ITER 4033 NEW BEST:: SOT 1409976 SOS 682152 HAS SOPS 672621 HAS SOUS 196410 HAS SOUPS 195255 WITH SCORE 195937.152
AT ITER 4035 NEW BEST:: SOT 1409976 SOS 682152 HAS SOPS 672621 HAS SOUS 196387 HAS SOUPS 195232 WITH SCORE 195914.152
AT ITER 4047 NEW BEST:: SOT 1410069 SOS 682267 HAS SOPS 672736 HAS SOUS 196375 HAS SOUPS 195220 WITH SCORE 195902.267
AT ITER 4049 NEW BEST:: SOT 1409528 SOS 682090 HAS SOPS 672559 HAS SOUS 196185 HAS SOUPS 195030 WITH SCORE 195712.09
AT ITER 4083 NEW BEST:: SOT 1409555 SOS 682117 HAS SOPS 672586 HAS SOUS 196163 HAS SOUPS 195008 WITH SCORE 195690.117
AT ITER 4091 NEW BEST:: SOT 1409530 SOS 682092 HAS SOPS 672561 HAS SOUS 196138 HAS SOUPS 194983 WITH SCORE 195665.092
AT ITER 4098 NEW BEST:: SOT 1409602 SOS 682164 HAS SOPS 672629 HAS SOUS 196130 HAS SOUPS 194975 WITH SCORE 195657.164
AT ITER 4138 NEW BEST:: SOT 1409577 SOS 682139 HAS SOPS 672604 HAS SOUS 196080 HAS SOUPS 194925 WITH SCORE 195607.139
AT ITER 4152 NEW BEST:: SOT 1409117 SOS 681679 HAS SOPS 672144 HAS SOUS 195538 HAS SOUPS 194383 WITH SCORE 195064.679
AT ITER 4154 NEW BEST:: SOT 1409117 SOS 681679 HAS SOPS 672144 HAS SOUS 195537 HAS SOUPS 194382 WITH SCORE 195063.679
AT ITER 4185 NEW BEST:: SOT 1409087 SOS 681593 HAS SOPS 672058 HAS SOUS 195409 HAS SOUPS 194254 WITH SCORE 194935.593
AT ITER 4187 NEW BEST:: SOT 1409057 SOS 681563 HAS SOPS 672028 HAS SOUS 195349 HAS SOUPS 194194 WITH SCORE 194875.563
AT ITER 4188 NEW BEST:: SOT 1408962 SOS 681468 HAS SOPS 671933 HAS SOUS 195203 HAS SOUPS 194048 WITH SCORE 194729.468
AT ITER 4194 NEW BEST:: SOT 1408853 SOS 681399 HAS SOPS 671864 HAS SOUS 195083 HAS SOUPS 193928 WITH SCORE 194609.399
AT ITER 4202 NEW BEST:: SOT 1408832 SOS 681209 HAS SOPS 671674 HAS SOUS 195041 HAS SOUPS 193886 WITH SCORE 194567.209
AT ITER 4223 NEW BEST:: SOT 1408677 SOS 680984 HAS SOPS 671470 HAS SOUS 194688 HAS SOUPS 193533 WITH SCORE 194213.984
AT ITER 4234 NEW BEST:: SOT 1408382 SOS 680739 HAS SOPS 671225 HAS SOUS 194363 HAS SOUPS 193208 WITH SCORE 193888.739
AT ITER 4261 NEW BEST:: SOT 1408317 SOS 680035 HAS SOPS 670521 HAS SOUS 194220 HAS SOUPS 193065 WITH SCORE 193745.035
AT ITER 4284 NEW BEST:: SOT 1408306 SOS 680025 HAS SOPS 670511 HAS SOUS 194210 HAS SOUPS 193055 WITH SCORE 193735.025
AT ITER 4293 NEW BEST:: SOT 1408144 SOS 679808 HAS SOPS 670294 HAS SOUS 194123 HAS SOUPS 192968 WITH SCORE 193647.808
AT ITER 4295 NEW BEST:: SOT 1408126 SOS 679772 HAS SOPS 670258 HAS SOUS 194101 HAS SOUPS 192946 WITH SCORE 193625.772
AT ITER 4300 NEW BEST:: SOT 1408170 SOS 679816 HAS SOPS 670257 HAS SOUS 194094 HAS SOUPS 192920 WITH SCORE 193599.816
AT ITER 4311 NEW BEST:: SOT 1408122 SOS 679768 HAS SOPS 670220 HAS SOUS 193998 HAS SOUPS 192824 WITH SCORE 193503.768
AT ITER 4325 NEW BEST:: SOT 1408039 SOS 679740 HAS SOPS 670192 HAS SOUS 193975 HAS SOUPS 192801 WITH SCORE 193480.74
AT ITER 4328 NEW BEST:: SOT 1407990 SOS 679691 HAS SOPS 670153 HAS SOUS 193902 HAS SOUPS 192728 WITH SCORE 193407.691
AT ITER 4351 NEW BEST:: SOT 1407972 SOS 679682 HAS SOPS 670144 HAS SOUS 193857 HAS SOUPS 192683 WITH SCORE 193362.682
AT ITER 4371 NEW BEST:: SOT 1407955 SOS 679712 HAS SOPS 670174 HAS SOUS 193840 HAS SOUPS 192666 WITH SCORE 193345.712
AT ITER 4384 NEW BEST:: SOT 1407925 SOS 679682 HAS SOPS 670144 HAS SOUS 193832 HAS SOUPS 192658 WITH SCORE 193337.682
AT ITER 4405 NEW BEST:: SOT 1407916 SOS 679682 HAS SOPS 670135 HAS SOUS 193797 HAS SOUPS 192623 WITH SCORE 193302.682
AT ITER 4421 NEW BEST:: SOT 1407821 SOS 679456 HAS SOPS 669909 HAS SOUS 193606 HAS SOUPS 192432 WITH SCORE 193111.456
AT ITER 4444 NEW BEST:: SOT 1407821 SOS 679427 HAS SOPS 669880 HAS SOUS 193606 HAS SOUPS 192432 WITH SCORE 193111.427
AT ITER 4464 NEW BEST:: SOT 1407593 SOS 679102 HAS SOPS 669555 HAS SOUS 193384 HAS SOUPS 192210 WITH SCORE 192889.102
AT ITER 4465 NEW BEST:: SOT 1407481 SOS 678990 HAS SOPS 669443 HAS SOUS 193180 HAS SOUPS 192006 WITH SCORE 192684.99
AT ITER 4483 NEW BEST:: SOT 1407461 SOS 678953 HAS SOPS 669406 HAS SOUS 193151 HAS SOUPS 191977 WITH SCORE 192655.953
AT ITER 4487 NEW BEST:: SOT 1407067 SOS 678353 HAS SOPS 668806 HAS SOUS 192670 HAS SOUPS 191496 WITH SCORE 192174.353
AT ITER 4513 NEW BEST:: SOT 1407080 SOS 678371 HAS SOPS 668824 HAS SOUS 192644 HAS SOUPS 191470 WITH SCORE 192148.371
AT ITER 4542 NEW BEST:: SOT 1406909 SOS 678200 HAS SOPS 668653 HAS SOUS 192553 HAS SOUPS 191379 WITH SCORE 192057.2
AT ITER 4566 NEW BEST:: SOT 1406877 SOS 678168 HAS SOPS 668589 HAS SOUS 192489 HAS SOUPS 191315 WITH SCORE 191993.168
AT ITER 4568 NEW BEST:: SOT 1406810 SOS 678102 HAS SOPS 668523 HAS SOUS 192117 HAS SOUPS 190943 WITH SCORE 191621.102
AT ITER 4576 NEW BEST:: SOT 1406810 SOS 662618 HAS SOPS 653039 HAS SOUS 192117 HAS SOUPS 190943 WITH SCORE 191605.618
AT ITER 4589 NEW BEST:: SOT 1406766 SOS 662576 HAS SOPS 652997 HAS SOUS 192095 HAS SOUPS 190921 WITH SCORE 191583.576
AT ITER 4603 NEW BEST:: SOT 1406766 SOS 662576 HAS SOPS 652997 HAS SOUS 191984 HAS SOUPS 190810 WITH SCORE 191472.576
AT ITER 4612 NEW BEST:: SOT 1406404 SOS 662373 HAS SOPS 652794 HAS SOUS 191685 HAS SOUPS 190511 WITH SCORE 191173.373
AT ITER 4627 NEW BEST:: SOT 1406464 SOS 662272 HAS SOPS 652693 HAS SOUS 191619 HAS SOUPS 190445 WITH SCORE 191107.272
AT ITER 4640 NEW BEST:: SOT 1406249 SOS 662080 HAS SOPS 652501 HAS SOUS 191450 HAS SOUPS 190276 WITH SCORE 190938.08
AT ITER 4647 NEW BEST:: SOT 1406191 SOS 661964 HAS SOPS 652385 HAS SOUS 191334 HAS SOUPS 190160 WITH SCORE 190821.964
AT ITER 4649 NEW BEST:: SOT 1406365 SOS 662138 HAS SOPS 652559 HAS SOUS 191324 HAS SOUPS 190150 WITH SCORE 190812.138
AT ITER 4670 NEW BEST:: SOT 1406367 SOS 661943 HAS SOPS 652451 HAS SOUS 191239 HAS SOUPS 190065 WITH SCORE 190726.943
AT ITER 4675 NEW BEST:: SOT 1406347 SOS 662627 HAS SOPS 653038 HAS SOUS 191228 HAS SOUPS 190054 WITH SCORE 190716.627
AT ITER 4689 NEW BEST:: SOT 1406338 SOS 662610 HAS SOPS 653021 HAS SOUS 191211 HAS SOUPS 190037 WITH SCORE 190699.61
AT ITER 4692 NEW BEST:: SOT 1406338 SOS 662145 HAS SOPS 652556 HAS SOUS 191204 HAS SOUPS 190030 WITH SCORE 190692.145
AT ITER 4712 NEW BEST:: SOT 1406345 SOS 662143 HAS SOPS 652554 HAS SOUS 191189 HAS SOUPS 190015 WITH SCORE 190677.143
AT ITER 4747 NEW BEST:: SOT 1406336 SOS 662134 HAS SOPS 652545 HAS SOUS 191189 HAS SOUPS 190015 WITH SCORE 190677.134
AT ITER 4754 NEW BEST:: SOT 1405967 SOS 661639 HAS SOPS 652050 HAS SOUS 190777 HAS SOUPS 189603 WITH SCORE 190264.639
AT ITER 4755 NEW BEST:: SOT 1405705 SOS 661397 HAS SOPS 651808 HAS SOUS 190593 HAS SOUPS 189419 WITH SCORE 190080.397
AT ITER 4765 NEW BEST:: SOT 1405723 SOS 661415 HAS SOPS 651826 HAS SOUS 190559 HAS SOUPS 189385 WITH SCORE 190046.415
AT ITER 4782 NEW BEST:: SOT 1405715 SOS 661407 HAS SOPS 651818 HAS SOUS 190543 HAS SOUPS 189369 WITH SCORE 190030.407
AT ITER 4797 NEW BEST:: SOT 1405729 SOS 661400 HAS SOPS 651811 HAS SOUS 190536 HAS SOUPS 189362 WITH SCORE 190023.4
AT ITER 4823 NEW BEST:: SOT 1405709 SOS 661375 HAS SOPS 651786 HAS SOUS 190526 HAS SOUPS 189352 WITH SCORE 190013.375
AT ITER 4826 NEW BEST:: SOT 1405702 SOS 661361 HAS SOPS 651772 HAS SOUS 190512 HAS SOUPS 189338 WITH SCORE 189999.361
AT ITER 4842 NEW BEST:: SOT 1405702 SOS 661390 HAS SOPS 651801 HAS SOUS 190425 HAS SOUPS 189251 WITH SCORE 189912.39
AT ITER 4847 NEW BEST:: SOT 1405702 SOS 661390 HAS SOPS 651801 HAS SOUS 190394 HAS SOUPS 189220 WITH SCORE 189881.39
AT ITER 4850 NEW BEST:: SOT 1405526 SOS 660862 HAS SOPS 651273 HAS SOUS 190218 HAS SOUPS 189044 WITH SCORE 189704.862
AT ITER 4863 NEW BEST:: SOT 1404896 SOS 660232 HAS SOPS 650643 HAS SOUS 190064 HAS SOUPS 188890 WITH SCORE 189550.232
AT ITER 4873 NEW BEST:: SOT 1404741 SOS 660156 HAS SOPS 650567 HAS SOUS 189977 HAS SOUPS 188803 WITH SCORE 189463.156
AT ITER 4905 NEW BEST:: SOT 1404769 SOS 660184 HAS SOPS 650595 HAS SOUS 189955 HAS SOUPS 188781 WITH SCORE 189441.184
AT ITER 4915 NEW BEST:: SOT 1404741 SOS 660156 HAS SOPS 650567 HAS SOUS 189906 HAS SOUPS 188732 WITH SCORE 189392.156
AT ITER 4918 NEW BEST:: SOT 1404703 SOS 660054 HAS SOPS 650465 HAS SOUS 189676 HAS SOUPS 188502 WITH SCORE 189162.054
AT ITER 4931 NEW BEST:: SOT 1388546 SOS 648421 HAS SOPS 638832 HAS SOUS 188540 HAS SOUPS 187366 WITH SCORE 188014.421
AT ITER 4944 NEW BEST:: SOT 1388544 SOS 648419 HAS SOPS 638830 HAS SOUS 188538 HAS SOUPS 187364 WITH SCORE 188012.419
AT ITER 4951 NEW BEST:: SOT 1388539 SOS 648438 HAS SOPS 638849 HAS SOUS 188528 HAS SOUPS 187354 WITH SCORE 188002.438
AT ITER 4955 NEW BEST:: SOT 1387199 SOS 647142 HAS SOPS 637553 HAS SOUS 187283 HAS SOUPS 186109 WITH SCORE 186756.142
AT ITER 4960 NEW BEST:: SOT 1387354 SOS 647297 HAS SOPS 637708 HAS SOUS 187136 HAS SOUPS 185962 WITH SCORE 186609.297
AT ITER 4962 NEW BEST:: SOT 1387198 SOS 647004 HAS SOPS 637469 HAS SOUS 186996 HAS SOUPS 185822 WITH SCORE 186469.004
AT ITER 4996 NEW BEST:: SOT 1387264 SOS 647070 HAS SOPS 637535 HAS SOUS 186930 HAS SOUPS 185756 WITH SCORE 186403.07
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: PolyORBLF-PT-S04J06T08-CTLCardinality-00 (AU( ( ( potential( (tk(P20) + tk(P63) + tk(P73) + tk(P159) + tk(P208) + tk(P211) + tk(P243) + tk(P260) + tk(P285) + tk(P332) + tk(P337) + tk(P398) + tk(P399) + tk(P414) + tk(P486) + tk(P542) + tk(P543) + tk(P570) + tk(P583) + tk(P614) + tk(P629) + tk(P669) + tk(P671) + tk(P676) + tk(P764) + tk(P769) + tk(P770) + tk(P781)) <= (tk(P181)) ) & potential( (tk(P19) + tk(P129) + tk(P184) + tk(P187) + tk(P288) + tk(P465) + tk(P632) + tk(P735)) <= (tk(P57) + tk(P116) + tk(P174) + tk(P264) + tk(P355) + tk(P403) + tk(P622) + tk(P711)) ) ) | (! potential( (tk(P92) + tk(P192) + tk(P282) + tk(P376) + tk(P501) + tk(P527) + tk(P715) + tk(P733)) <= (tk(P101) + tk(P185) + tk(P272) + tk(P334) + tk(P448) + tk(P544) + tk(P739) + tk(P776)) )) ),(AF(potential( ( 3 ) <= (tk(P722)) ))) ))
PROPERTY: PolyORBLF-PT-S04J06T08-CTLCardinality-01 (EG( (! ( ( potential( ( 3 ) <= (tk(P38) + tk(P157) + tk(P233) + tk(P341) + tk(P442) + tk(P532) + tk(P673) + tk(P783)) ) & potential( ( 2 ) <= (tk(P105) + tk(P118) + tk(P163) + tk(P262) + tk(P433) + tk(P611) + tk(P718)) ) ) & potential( (tk(P757)) <= (tk(P481) + tk(P564) + tk(P659) + tk(P689)) ) ))))
PROPERTY: PolyORBLF-PT-S04J06T08-CTLCardinality-02 (! (! (EG( ( potential( ( 3 ) <= (tk(P662)) ) | potential( (tk(P30) + tk(P121) + tk(P235) + tk(P292) + tk(P325) + tk(P357) + tk(P413) + tk(P474)) <= (tk(P128) + tk(P166) + tk(P301) + tk(P317) + tk(P367) + tk(P415) + tk(P468) + tk(P517)) ) )))))
PROPERTY: PolyORBLF-PT-S04J06T08-CTLCardinality-03 (EG( potential( (tk(P6) + tk(P142) + tk(P248) + tk(P265) + tk(P290) + tk(P479) + tk(P588) + tk(P713)) <= (tk(P19) + tk(P129) + tk(P184) + tk(P187) + tk(P288) + tk(P465) + tk(P632) + tk(P735)) )))
PROPERTY: PolyORBLF-PT-S04J06T08-CTLCardinality-04 ( (! ( (EG( potential( ( 2 ) <= (tk(P145)) ))) & ( potential( ( 3 ) <= (tk(P310)) ) & ( potential( ( 3 ) <= (tk(P153) + tk(P246) + tk(P458) + tk(P593) + tk(P677) + tk(P741) + tk(P759) + tk(P771)) ) | potential( ( 1 ) <= (tk(P32) + tk(P41) + tk(P162) + tk(P343) + tk(P373) + tk(P472) + tk(P655) + tk(P736)) ) ) ) )) & (AG( (AF(potential( ( 1 ) <= (tk(P38) + tk(P157) + tk(P233) + tk(P341) + tk(P442) + tk(P532) + tk(P673) + tk(P783)) ))))) )
PROPERTY: PolyORBLF-PT-S04J06T08-CTLCardinality-05 (AF((AU( potential( ( 3 ) <= (tk(P28) + tk(P255) + tk(P306) + tk(P425) + tk(P499) + tk(P561) + tk(P615) + tk(P709)) ),potential( ( 2 ) <= (tk(P57) + tk(P116) + tk(P174) + tk(P264) + tk(P355) + tk(P403) + tk(P622) + tk(P711)) ) ))))
PROPERTY: PolyORBLF-PT-S04J06T08-CTLCardinality-06 ( (! (AU( potential( ( 1 ) <= (tk(P2) + tk(P22) + tk(P120) + tk(P250) + tk(P345) + tk(P482) + tk(P637) + tk(P695)) ),potential( ( 2 ) <= (tk(P481) + tk(P564) + tk(P659) + tk(P689)) ) ))) | ( ( ( potential( ( 1 ) <= (tk(P10) + tk(P186) + tk(P273) + tk(P419) + tk(P515) + tk(P537) + tk(P545) + tk(P765)) ) | ( potential( ( 3 ) <= (tk(P310)) ) & potential( (tk(P626)) <= (tk(P40) + tk(P346) + tk(P528) + tk(P778)) ) ) ) & ( potential( ( 2 ) <= (tk(P16) + tk(P85) + tk(P200) + tk(P205) + tk(P462) + tk(P555) + tk(P624) + tk(P694)) ) & (! potential( ( 2 ) <= (tk(P107)) )) ) ) | ( (AG( potential( (tk(P6) + tk(P142) + tk(P248) + tk(P265) + tk(P290) + tk(P479) + tk(P588) + tk(P713)) <= (tk(P93) + tk(P179) + tk(P263) + tk(P289) + tk(P392) + tk(P429) + tk(P554) + tk(P599)) ))) | potential( ( 3 ) <= (tk(P139) + tk(P240) + tk(P382) + tk(P460) + tk(P603) + tk(P657) + tk(P724)) ) ) ) )
PROPERTY: PolyORBLF-PT-S04J06T08-CTLCardinality-07 ( (! (! ( ( potential( ( 1 ) <= (tk(P101) + tk(P185) + tk(P272) + tk(P334) + tk(P448) + tk(P544) + tk(P739) + tk(P776)) ) | potential( ( 3 ) <= (tk(P757)) ) ) & potential( ( 3 ) <= (tk(P626)) ) ))) | (EU( ( potential( (tk(P1) + tk(P131) + tk(P152) + tk(P206) + tk(P439) + tk(P502) + tk(P580) + tk(P687)) <= (tk(P29) + tk(P61) + tk(P146) + tk(P304) + tk(P328) + tk(P395) + tk(P756)) ) & potential( (tk(P17) + tk(P176) + tk(P303) + tk(P315) + tk(P437) + tk(P493) + tk(P648) + tk(P755)) <= (tk(P128) + tk(P166) + tk(P301) + tk(P317) + tk(P367) + tk(P415) + tk(P468) + tk(P517)) ) ),(! potential( (tk(P6) + tk(P142) + tk(P248) + tk(P265) + tk(P290) + tk(P479) + tk(P588) + tk(P713)) <= (tk(P75) + tk(P195) + tk(P524) + tk(P566) + tk(P621) + tk(P649) + tk(P716) + tk(P737)) )) )) )
PROPERTY: PolyORBLF-PT-S04J06T08-CTLCardinality-08 (AF((AU( potential( (tk(P615)) <= (tk(P486)) ),potential( ( 1 ) <= (tk(P198)) ) ))))
PROPERTY: PolyORBLF-PT-S04J06T08-CTLCardinality-09 (EG( (EF(( potential( (tk(P209)) <= (tk(P722)) ) & potential( ( 1 ) <= (tk(P382)) ) )))))
PROPERTY: PolyORBLF-PT-S04J06T08-CTLCardinality-10 ( (EG( (! potential( ( 1 ) <= (tk(P737)) )))) & (AU( (! potential( ( 2 ) <= (tk(P309)) )),(! potential( (tk(P332)) <= (tk(P785)) )) )) )
PROPERTY: PolyORBLF-PT-S04J06T08-CTLCardinality-11 (EF(( (AF(potential( ( 1 ) <= (tk(P721)) ))) | (EX( potential( ( 1 ) <= (tk(P664)) ))) )))
PROPERTY: PolyORBLF-PT-S04J06T08-CTLCardinality-12 ( (EU( (! potential( ( 3 ) <= (tk(P445)) )),( potential( ( 1 ) <= (tk(P771)) ) | potential( ( 1 ) <= (tk(P785)) ) ) )) | (EX( ( ( potential( (tk(P615)) <= (tk(P482)) ) | potential( ( 2 ) <= (tk(P105)) ) ) & ( potential( (tk(P731)) <= (tk(P667)) ) & potential( (tk(P147)) <= (tk(P230)) ) ) ))) )
PROPERTY: PolyORBLF-PT-S04J06T08-CTLCardinality-13 (EF((AX( (! potential( (tk(P75)) <= (tk(P421)) ))))))
PROPERTY: PolyORBLF-PT-S04J06T08-CTLCardinality-14 ( (! (AF(potential( ( 1 ) <= (tk(P585)) )))) | ( (! potential( (tk(P302)) <= (tk(P511)) )) & ( (! ( potential( (tk(P277)) <= (tk(P150)) ) & potential( ( 1 ) <= (tk(P511)) ) )) | (EG( potential( (tk(P565)) <= (tk(P233)) ))) ) ) )
PROPERTY: PolyORBLF-PT-S04J06T08-CTLCardinality-15 (EG( potential( (tk(P373)) <= (tk(P280)) )))

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

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