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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 6.5M
-rw-r--r-- 1 mcc users 18K Apr 12 05:43 CTLCardinality.txt
-rw-r--r-- 1 mcc users 55K Apr 12 05:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 32K Apr 11 05:03 CTLFireability.txt
-rw-r--r-- 1 mcc users 116K Apr 11 05:03 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 11K Apr 14 12:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 44K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 19K Apr 14 12:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 70K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Apr 10 12:40 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 41K Apr 10 12:40 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Apr 9 17:55 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 43K Apr 9 17:55 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 10 22:22 UpperBounds.txt
-rw-r--r-- 1 mcc users 8.3K 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 6.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-S04J04T10-CTLCardinality-00
FORMULA_NAME PolyORBLF-PT-S04J04T10-CTLCardinality-01
FORMULA_NAME PolyORBLF-PT-S04J04T10-CTLCardinality-02
FORMULA_NAME PolyORBLF-PT-S04J04T10-CTLCardinality-03
FORMULA_NAME PolyORBLF-PT-S04J04T10-CTLCardinality-04
FORMULA_NAME PolyORBLF-PT-S04J04T10-CTLCardinality-05
FORMULA_NAME PolyORBLF-PT-S04J04T10-CTLCardinality-06
FORMULA_NAME PolyORBLF-PT-S04J04T10-CTLCardinality-07
FORMULA_NAME PolyORBLF-PT-S04J04T10-CTLCardinality-08
FORMULA_NAME PolyORBLF-PT-S04J04T10-CTLCardinality-09
FORMULA_NAME PolyORBLF-PT-S04J04T10-CTLCardinality-10
FORMULA_NAME PolyORBLF-PT-S04J04T10-CTLCardinality-11
FORMULA_NAME PolyORBLF-PT-S04J04T10-CTLCardinality-12
FORMULA_NAME PolyORBLF-PT-S04J04T10-CTLCardinality-13
FORMULA_NAME PolyORBLF-PT-S04J04T10-CTLCardinality-14
FORMULA_NAME PolyORBLF-PT-S04J04T10-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589644531070

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (PT), instance S04J04T10
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: 870 places, 5034 transitions, 34774 arcs.
AT ITER 0 NEW BEST:: SOT 2730706 SOS 1639160 HAS SOPS 1620123 HAS SOUS 514030 HAS SOUPS 513238 WITH SCORE 514877.16
AT ITER 1 NEW BEST:: SOT 2730696 SOS 1639088 HAS SOPS 1620051 HAS SOUS 513958 HAS SOUPS 513166 WITH SCORE 514805.088
AT ITER 13 NEW BEST:: SOT 2730293 SOS 1638748 HAS SOPS 1619711 HAS SOUS 513690 HAS SOUPS 512898 WITH SCORE 514536.748
AT ITER 14 NEW BEST:: SOT 2729341 SOS 1637959 HAS SOPS 1618922 HAS SOUS 512901 HAS SOUPS 512109 WITH SCORE 513746.959
AT ITER 29 NEW BEST:: SOT 2728526 SOS 1637428 HAS SOPS 1618391 HAS SOUS 512616 HAS SOUPS 511824 WITH SCORE 513461.428
AT ITER 32 NEW BEST:: SOT 2728106 SOS 1636868 HAS SOPS 1617831 HAS SOUS 512116 HAS SOUPS 511324 WITH SCORE 512960.868
AT ITER 33 NEW BEST:: SOT 2726364 SOS 1635242 HAS SOPS 1616205 HAS SOUS 510463 HAS SOUPS 509671 WITH SCORE 511306.242
AT ITER 48 NEW BEST:: SOT 2726284 SOS 1635162 HAS SOPS 1616118 HAS SOUS 510495 HAS SOUPS 509664 WITH SCORE 511299.162
AT ITER 63 NEW BEST:: SOT 2725868 SOS 1634418 HAS SOPS 1615814 HAS SOUS 510147 HAS SOUPS 509360 WITH SCORE 510994.418
AT ITER 68 NEW BEST:: SOT 2725827 SOS 1634172 HAS SOPS 1615568 HAS SOUS 510147 HAS SOUPS 509360 WITH SCORE 510994.172
AT ITER 69 NEW BEST:: SOT 2725298 SOS 1633662 HAS SOPS 1615058 HAS SOUS 509624 HAS SOUPS 508837 WITH SCORE 510470.662
AT ITER 71 NEW BEST:: SOT 2636529 SOS 1573882 HAS SOPS 1555278 HAS SOUS 492570 HAS SOUPS 491783 WITH SCORE 493356.882
AT ITER 77 NEW BEST:: SOT 2636217 SOS 1573648 HAS SOPS 1555044 HAS SOUS 492187 HAS SOUPS 491400 WITH SCORE 492973.648
AT ITER 91 NEW BEST:: SOT 2635993 SOS 1573424 HAS SOPS 1554810 HAS SOUS 491939 HAS SOUPS 491146 WITH SCORE 492719.424
AT ITER 94 NEW BEST:: SOT 2635813 SOS 1573076 HAS SOPS 1554462 HAS SOUS 491653 HAS SOUPS 490860 WITH SCORE 492433.076
AT ITER 99 NEW BEST:: SOT 2635293 SOS 1572559 HAS SOPS 1553945 HAS SOUS 490154 HAS SOUPS 489361 WITH SCORE 490933.559
AT ITER 103 NEW BEST:: SOT 2634699 SOS 1572067 HAS SOPS 1553453 HAS SOUS 489540 HAS SOUPS 488747 WITH SCORE 490319.067
AT ITER 108 NEW BEST:: SOT 2634304 SOS 1571672 HAS SOPS 1553058 HAS SOUS 488965 HAS SOUPS 488172 WITH SCORE 489743.672
AT ITER 119 NEW BEST:: SOT 2634262 SOS 1571630 HAS SOPS 1552995 HAS SOUS 488944 HAS SOUPS 488151 WITH SCORE 489722.63
AT ITER 138 NEW BEST:: SOT 2634227 SOS 1571595 HAS SOPS 1552960 HAS SOUS 488909 HAS SOUPS 488116 WITH SCORE 489687.595
AT ITER 146 NEW BEST:: SOT 2633904 SOS 1571302 HAS SOPS 1552667 HAS SOUS 488596 HAS SOUPS 487803 WITH SCORE 489374.302
AT ITER 147 NEW BEST:: SOT 2565171 SOS 1502878 HAS SOPS 1484243 HAS SOUS 473843 HAS SOUPS 473050 WITH SCORE 474552.878
AT ITER 156 NEW BEST:: SOT 2564435 SOS 1502313 HAS SOPS 1483678 HAS SOUS 473263 HAS SOUPS 472470 WITH SCORE 473972.313
AT ITER 158 NEW BEST:: SOT 2564482 SOS 1502360 HAS SOPS 1483623 HAS SOUS 473294 HAS SOUPS 472399 WITH SCORE 473901.36
AT ITER 160 NEW BEST:: SOT 2565292 SOS 1503376 HAS SOPS 1484639 HAS SOUS 472150 HAS SOUPS 471255 WITH SCORE 472758.376
AT ITER 163 NEW BEST:: SOT 2565212 SOS 1503296 HAS SOPS 1484530 HAS SOUS 472121 HAS SOUPS 471226 WITH SCORE 472729.296
AT ITER 176 NEW BEST:: SOT 2568108 SOS 1505742 HAS SOPS 1487426 HAS SOUS 470125 HAS SOUPS 469275 WITH SCORE 470780.742
AT ITER 183 NEW BEST:: SOT 2567880 SOS 1505362 HAS SOPS 1487046 HAS SOUS 469819 HAS SOUPS 468969 WITH SCORE 470474.362
AT ITER 184 NEW BEST:: SOT 2567638 SOS 1505170 HAS SOPS 1486854 HAS SOUS 469627 HAS SOUPS 468777 WITH SCORE 470282.17
AT ITER 186 NEW BEST:: SOT 2567403 SOS 1504935 HAS SOPS 1486619 HAS SOUS 469600 HAS SOUPS 468750 WITH SCORE 470254.935
AT ITER 199 NEW BEST:: SOT 2567435 SOS 1504967 HAS SOPS 1486539 HAS SOUS 469586 HAS SOUPS 468710 WITH SCORE 470214.967
AT ITER 202 NEW BEST:: SOT 2567310 SOS 1504794 HAS SOPS 1486366 HAS SOUS 469474 HAS SOUPS 468598 WITH SCORE 470102.794
AT ITER 210 NEW BEST:: SOT 2567182 SOS 1505299 HAS SOPS 1486890 HAS SOUS 469427 HAS SOUPS 468551 WITH SCORE 470056.299
AT ITER 224 NEW BEST:: SOT 2571500 SOS 1509635 HAS SOPS 1491226 HAS SOUS 469142 HAS SOUPS 468266 WITH SCORE 469775.635
AT ITER 225 NEW BEST:: SOT 2571192 SOS 1508793 HAS SOPS 1490384 HAS SOUS 468834 HAS SOUPS 467958 WITH SCORE 469466.793
AT ITER 227 NEW BEST:: SOT 2571114 SOS 1508715 HAS SOPS 1490306 HAS SOUS 468586 HAS SOUPS 467710 WITH SCORE 469218.715
AT ITER 229 NEW BEST:: SOT 2571114 SOS 1508715 HAS SOPS 1490306 HAS SOUS 468577 HAS SOUPS 467701 WITH SCORE 469209.715
AT ITER 232 NEW BEST:: SOT 2571056 SOS 1508599 HAS SOPS 1490190 HAS SOUS 468551 HAS SOUPS 467675 WITH SCORE 469183.599
AT ITER 236 NEW BEST:: SOT 2570978 SOS 1508292 HAS SOPS 1489883 HAS SOUS 468352 HAS SOUPS 467476 WITH SCORE 468984.292
AT ITER 242 NEW BEST:: SOT 2570942 SOS 1508220 HAS SOPS 1489811 HAS SOUS 468243 HAS SOUPS 467367 WITH SCORE 468875.22
AT ITER 247 NEW BEST:: SOT 2570971 SOS 1508249 HAS SOPS 1489731 HAS SOUS 468203 HAS SOUPS 467327 WITH SCORE 468835.249
AT ITER 272 NEW BEST:: SOT 2570926 SOS 1508204 HAS SOPS 1489686 HAS SOUS 468158 HAS SOUPS 467282 WITH SCORE 468790.204
AT ITER 276 NEW BEST:: SOT 2570889 SOS 1508130 HAS SOPS 1489612 HAS SOUS 468084 HAS SOUPS 467208 WITH SCORE 468716.13
AT ITER 311 NEW BEST:: SOT 2570707 SOS 1507781 HAS SOPS 1489263 HAS SOUS 467780 HAS SOUPS 466904 WITH SCORE 468411.781
AT ITER 313 NEW BEST:: SOT 2569719 SOS 1506965 HAS SOPS 1488447 HAS SOUS 466412 HAS SOUPS 465536 WITH SCORE 467042.965
AT ITER 317 NEW BEST:: SOT 2570080 SOS 1507679 HAS SOPS 1489161 HAS SOUS 466401 HAS SOUPS 465525 WITH SCORE 467032.679
AT ITER 321 NEW BEST:: SOT 2569693 SOS 1507467 HAS SOPS 1488949 HAS SOUS 466159 HAS SOUPS 465283 WITH SCORE 466790.467
AT ITER 340 NEW BEST:: SOT 2569687 SOS 1507461 HAS SOPS 1488943 HAS SOUS 466153 HAS SOUPS 465277 WITH SCORE 466784.461
AT ITER 359 NEW BEST:: SOT 2564992 SOS 1502766 HAS SOPS 1484248 HAS SOUS 465298 HAS SOUPS 464422 WITH SCORE 465924.766
AT ITER 360 NEW BEST:: SOT 2562889 SOS 1500808 HAS SOPS 1482290 HAS SOUS 463910 HAS SOUPS 463034 WITH SCORE 464534.808
AT ITER 364 NEW BEST:: SOT 2495689 SOS 1433608 HAS SOPS 1415090 HAS SOUS 450888 HAS SOUPS 450012 WITH SCORE 451445.608
AT ITER 368 NEW BEST:: SOT 2495218 SOS 1432858 HAS SOPS 1414340 HAS SOUS 450418 HAS SOUPS 449542 WITH SCORE 450974.858
AT ITER 371 NEW BEST:: SOT 2495127 SOS 1432767 HAS SOPS 1414249 HAS SOUS 450262 HAS SOUPS 449386 WITH SCORE 450818.767
AT ITER 373 NEW BEST:: SOT 2495204 SOS 1432921 HAS SOPS 1414403 HAS SOUS 450252 HAS SOUPS 449376 WITH SCORE 450808.921
AT ITER 375 NEW BEST:: SOT 2495169 SOS 1433119 HAS SOPS 1414617 HAS SOUS 450223 HAS SOUPS 449347 WITH SCORE 450780.119
AT ITER 384 NEW BEST:: SOT 2495025 SOS 1432975 HAS SOPS 1414577 HAS SOUS 449975 HAS SOUPS 449099 WITH SCORE 450531.975
AT ITER 385 NEW BEST:: SOT 2494879 SOS 1432829 HAS SOPS 1414431 HAS SOUS 449858 HAS SOUPS 448982 WITH SCORE 450414.829
AT ITER 391 NEW BEST:: SOT 2495788 SOS 1433360 HAS SOPS 1415382 HAS SOUS 449245 HAS SOUPS 448411 WITH SCORE 449844.36
AT ITER 408 NEW BEST:: SOT 2496181 SOS 1433595 HAS SOPS 1415617 HAS SOUS 448027 HAS SOUPS 447193 WITH SCORE 448626.595
AT ITER 410 NEW BEST:: SOT 2496232 SOS 1433468 HAS SOPS 1415490 HAS SOUS 447900 HAS SOUPS 447066 WITH SCORE 448499.468
AT ITER 411 NEW BEST:: SOT 2495121 SOS 1432628 HAS SOPS 1414650 HAS SOUS 447337 HAS SOUPS 446503 WITH SCORE 447935.628
AT ITER 417 NEW BEST:: SOT 2494196 SOS 1431918 HAS SOPS 1413940 HAS SOUS 445895 HAS SOUPS 445061 WITH SCORE 446492.918
AT ITER 421 NEW BEST:: SOT 2493728 SOS 1431459 HAS SOPS 1413481 HAS SOUS 444557 HAS SOUPS 443723 WITH SCORE 445154.459
AT ITER 444 NEW BEST:: SOT 2493205 SOS 1431049 HAS SOPS 1413071 HAS SOUS 444004 HAS SOUPS 443170 WITH SCORE 444601.049
AT ITER 450 NEW BEST:: SOT 2492917 SOS 1426056 HAS SOPS 1408078 HAS SOUS 443846 HAS SOUPS 443012 WITH SCORE 444438.056
AT ITER 477 NEW BEST:: SOT 2492777 SOS 1426170 HAS SOPS 1408192 HAS SOUS 443339 HAS SOUPS 442505 WITH SCORE 443931.17
AT ITER 489 NEW BEST:: SOT 2492712 SOS 1426120 HAS SOPS 1408371 HAS SOUS 443282 HAS SOUPS 442448 WITH SCORE 443874.12
AT ITER 490 NEW BEST:: SOT 2492662 SOS 1426070 HAS SOPS 1408321 HAS SOUS 443205 HAS SOUPS 442371 WITH SCORE 443797.07
AT ITER 495 NEW BEST:: SOT 2491384 SOS 1424855 HAS SOPS 1407106 HAS SOUS 441960 HAS SOUPS 441126 WITH SCORE 442550.855
AT ITER 504 NEW BEST:: SOT 2491483 SOS 1425057 HAS SOPS 1407308 HAS SOUS 441912 HAS SOUPS 441078 WITH SCORE 442503.057
AT ITER 509 NEW BEST:: SOT 2491507 SOS 1425071 HAS SOPS 1407470 HAS SOUS 441813 HAS SOUPS 440979 WITH SCORE 442404.071
AT ITER 520 NEW BEST:: SOT 2489778 SOS 1423411 HAS SOPS 1405810 HAS SOUS 440527 HAS SOUPS 439693 WITH SCORE 441116.411
AT ITER 521 NEW BEST:: SOT 2489396 SOS 1423170 HAS SOPS 1405569 HAS SOUS 440356 HAS SOUPS 439522 WITH SCORE 440945.17
AT ITER 528 NEW BEST:: SOT 2489004 SOS 1422933 HAS SOPS 1405332 HAS SOUS 439787 HAS SOUPS 438953 WITH SCORE 440375.933
AT ITER 530 NEW BEST:: SOT 2488639 SOS 1422566 HAS SOPS 1405116 HAS SOUS 439604 HAS SOUPS 438770 WITH SCORE 440192.566
AT ITER 539 NEW BEST:: SOT 2488312 SOS 1422239 HAS SOPS 1404789 HAS SOUS 437663 HAS SOUPS 436829 WITH SCORE 438251.239
AT ITER 550 NEW BEST:: SOT 2487897 SOS 1421992 HAS SOPS 1404542 HAS SOUS 437542 HAS SOUPS 436708 WITH SCORE 438129.992
AT ITER 553 NEW BEST:: SOT 2487897 SOS 1421964 HAS SOPS 1404514 HAS SOUS 437425 HAS SOUPS 436591 WITH SCORE 438012.964
AT ITER 560 NEW BEST:: SOT 2444170 SOS 1408664 HAS SOPS 1391214 HAS SOUS 431900 HAS SOUPS 431066 WITH SCORE 432474.664
AT ITER 570 NEW BEST:: SOT 2444254 SOS 1409258 HAS SOPS 1391808 HAS SOUS 431653 HAS SOUPS 430819 WITH SCORE 432228.258
AT ITER 590 NEW BEST:: SOT 2444298 SOS 1409302 HAS SOPS 1391810 HAS SOUS 431639 HAS SOUPS 430779 WITH SCORE 432188.302
AT ITER 593 NEW BEST:: SOT 2443994 SOS 1408922 HAS SOPS 1391430 HAS SOUS 430195 HAS SOUPS 429335 WITH SCORE 430743.922
AT ITER 613 NEW BEST:: SOT 2443948 SOS 1408830 HAS SOPS 1391338 HAS SOUS 430166 HAS SOUPS 429306 WITH SCORE 430714.83
AT ITER 626 NEW BEST:: SOT 2415201 SOS 1663048 HAS SOPS 1643616 HAS SOUS 428632 HAS SOUPS 427578 WITH SCORE 429241.048
AT ITER 646 NEW BEST:: SOT 2391556 SOS 1669919 HAS SOPS 1650487 HAS SOUS 427260 HAS SOUPS 426206 WITH SCORE 427875.919
AT ITER 651 NEW BEST:: SOT 2391474 SOS 1669919 HAS SOPS 1650487 HAS SOUS 427060 HAS SOUPS 426006 WITH SCORE 427675.919
AT ITER 663 NEW BEST:: SOT 2391012 SOS 1669554 HAS SOPS 1650122 HAS SOUS 426694 HAS SOUPS 425640 WITH SCORE 427309.554
AT ITER 664 NEW BEST:: SOT 2319812 SOS 1598354 HAS SOPS 1578922 HAS SOUS 412712 HAS SOUPS 411658 WITH SCORE 413256.354
AT ITER 666 NEW BEST:: SOT 2319765 SOS 1598410 HAS SOPS 1578978 HAS SOUS 412705 HAS SOUPS 411651 WITH SCORE 413249.41
AT ITER 670 NEW BEST:: SOT 2319125 SOS 1597385 HAS SOPS 1577953 HAS SOUS 412122 HAS SOUPS 411068 WITH SCORE 412665.385
AT ITER 671 NEW BEST:: SOT 2319310 SOS 1597702 HAS SOPS 1578270 HAS SOUS 412084 HAS SOUPS 411030 WITH SCORE 412627.702
AT ITER 681 NEW BEST:: SOT 2319274 SOS 1597657 HAS SOPS 1578225 HAS SOUS 412048 HAS SOUPS 410994 WITH SCORE 412591.657
AT ITER 689 NEW BEST:: SOT 2318888 SOS 1597417 HAS SOPS 1577985 HAS SOUS 411785 HAS SOUPS 410731 WITH SCORE 412328.417
AT ITER 694 NEW BEST:: SOT 2318789 SOS 1597318 HAS SOPS 1577886 HAS SOUS 411709 HAS SOUPS 410655 WITH SCORE 412252.318
AT ITER 696 NEW BEST:: SOT 2318508 SOS 1597186 HAS SOPS 1577754 HAS SOUS 411693 HAS SOUPS 410639 WITH SCORE 412236.186
AT ITER 700 NEW BEST:: SOT 2318515 SOS 1597200 HAS SOPS 1577768 HAS SOUS 411637 HAS SOUPS 410583 WITH SCORE 412180.2
AT ITER 713 NEW BEST:: SOT 2318500 SOS 1597170 HAS SOPS 1577738 HAS SOUS 411607 HAS SOUPS 410553 WITH SCORE 412150.17
AT ITER 727 NEW BEST:: SOT 2318293 SOS 1597031 HAS SOPS 1577599 HAS SOUS 411316 HAS SOUPS 410262 WITH SCORE 411859.031
AT ITER 728 NEW BEST:: SOT 2319473 SOS 1598230 HAS SOPS 1578798 HAS SOUS 410265 HAS SOUPS 409211 WITH SCORE 410809.23
AT ITER 729 NEW BEST:: SOT 2319281 SOS 1597953 HAS SOPS 1578721 HAS SOUS 410250 HAS SOUPS 409196 WITH SCORE 410793.953
AT ITER 731 NEW BEST:: SOT 2319417 SOS 1598146 HAS SOPS 1578914 HAS SOUS 410228 HAS SOUPS 409174 WITH SCORE 410772.146
AT ITER 734 NEW BEST:: SOT 2319417 SOS 1598167 HAS SOPS 1578935 HAS SOUS 410223 HAS SOUPS 409169 WITH SCORE 410767.167
AT ITER 744 NEW BEST:: SOT 2319474 SOS 1598224 HAS SOPS 1578855 HAS SOUS 410191 HAS SOUPS 409129 WITH SCORE 410727.224
AT ITER 748 NEW BEST:: SOT 2319467 SOS 1598217 HAS SOPS 1578848 HAS SOUS 410177 HAS SOUPS 409115 WITH SCORE 410713.217
AT ITER 752 NEW BEST:: SOT 2319379 SOS 1598129 HAS SOPS 1578760 HAS SOUS 409464 HAS SOUPS 408402 WITH SCORE 410000.129
AT ITER 774 NEW BEST:: SOT 2319254 SOS 1598078 HAS SOPS 1578709 HAS SOUS 408854 HAS SOUPS 407792 WITH SCORE 409390.078
AT ITER 782 NEW BEST:: SOT 2318996 SOS 1597562 HAS SOPS 1578193 HAS SOUS 408338 HAS SOUPS 407276 WITH SCORE 408873.562
AT ITER 783 NEW BEST:: SOT 2318828 SOS 1597286 HAS SOPS 1577917 HAS SOUS 408234 HAS SOUPS 407172 WITH SCORE 408769.286
AT ITER 786 NEW BEST:: SOT 2318725 SOS 1597350 HAS SOPS 1577981 HAS SOUS 407670 HAS SOUPS 406608 WITH SCORE 408205.35
AT ITER 801 NEW BEST:: SOT 2318717 SOS 1597342 HAS SOPS 1577973 HAS SOUS 407654 HAS SOUPS 406592 WITH SCORE 408189.342
AT ITER 809 NEW BEST:: SOT 2318663 SOS 1597288 HAS SOPS 1577892 HAS SOUS 407627 HAS SOUPS 406565 WITH SCORE 408162.288
AT ITER 810 NEW BEST:: SOT 2318663 SOS 1597240 HAS SOPS 1577844 HAS SOUS 407579 HAS SOUPS 406517 WITH SCORE 408114.24
AT ITER 824 NEW BEST:: SOT 2318503 SOS 1597080 HAS SOPS 1577684 HAS SOUS 407419 HAS SOUPS 406357 WITH SCORE 407954.08
AT ITER 835 NEW BEST:: SOT 2318503 SOS 1597063 HAS SOPS 1577667 HAS SOUS 407402 HAS SOUPS 406340 WITH SCORE 407937.063
AT ITER 844 NEW BEST:: SOT 2318367 SOS 1596927 HAS SOPS 1577531 HAS SOUS 406666 HAS SOUPS 405604 WITH SCORE 407200.927
AT ITER 850 NEW BEST:: SOT 2294742 SOS 1572987 HAS SOPS 1553591 HAS SOUS 402256 HAS SOUPS 401194 WITH SCORE 402766.987
AT ITER 855 NEW BEST:: SOT 2294657 SOS 1572836 HAS SOPS 1553440 HAS SOUS 402190 HAS SOUPS 401128 WITH SCORE 402700.836
AT ITER 857 NEW BEST:: SOT 2294565 SOS 1572959 HAS SOPS 1553563 HAS SOUS 401933 HAS SOUPS 400871 WITH SCORE 402443.959
AT ITER 865 NEW BEST:: SOT 2294466 SOS 1572817 HAS SOPS 1553421 HAS SOUS 401851 HAS SOUPS 400789 WITH SCORE 402361.817
AT ITER 867 NEW BEST:: SOT 2294466 SOS 1572759 HAS SOPS 1553363 HAS SOUS 401793 HAS SOUPS 400731 WITH SCORE 402303.759
AT ITER 869 NEW BEST:: SOT 2294450 SOS 1572711 HAS SOPS 1553315 HAS SOUS 401745 HAS SOUPS 400683 WITH SCORE 402255.711
AT ITER 872 NEW BEST:: SOT 2294376 SOS 1572692 HAS SOPS 1553296 HAS SOUS 401720 HAS SOUPS 400658 WITH SCORE 402230.692
AT ITER 876 NEW BEST:: SOT 2293899 SOS 1572391 HAS SOPS 1552995 HAS SOUS 401057 HAS SOUPS 399995 WITH SCORE 401567.391
AT ITER 878 NEW BEST:: SOT 2293509 SOS 1572093 HAS SOPS 1552697 HAS SOUS 400758 HAS SOUPS 399696 WITH SCORE 401268.093
AT ITER 885 NEW BEST:: SOT 2293368 SOS 1572032 HAS SOPS 1552889 HAS SOUS 400552 HAS SOUPS 399490 WITH SCORE 401062.032
AT ITER 886 NEW BEST:: SOT 2293342 SOS 1572006 HAS SOPS 1552863 HAS SOUS 400526 HAS SOUPS 399464 WITH SCORE 401036.006
AT ITER 890 NEW BEST:: SOT 2293095 SOS 1571989 HAS SOPS 1552846 HAS SOUS 400275 HAS SOUPS 399213 WITH SCORE 400784.989
AT ITER 891 NEW BEST:: SOT 2292861 SOS 1571663 HAS SOPS 1552520 HAS SOUS 399540 HAS SOUPS 398478 WITH SCORE 400049.663
AT ITER 896 NEW BEST:: SOT 2292781 SOS 1571583 HAS SOPS 1552433 HAS SOUS 399533 HAS SOUPS 398471 WITH SCORE 400042.583
AT ITER 912 NEW BEST:: SOT 2292553 SOS 1571298 HAS SOPS 1552148 HAS SOUS 399289 HAS SOUPS 398227 WITH SCORE 399798.298
AT ITER 923 NEW BEST:: SOT 2292346 SOS 1571237 HAS SOPS 1552087 HAS SOUS 398034 HAS SOUPS 396972 WITH SCORE 398543.237
AT ITER 937 NEW BEST:: SOT 2292331 SOS 1571550 HAS SOPS 1552653 HAS SOUS 397706 HAS SOUPS 396644 WITH SCORE 398215.55
AT ITER 938 NEW BEST:: SOT 2292153 SOS 1571400 HAS SOPS 1552503 HAS SOUS 397702 HAS SOUPS 396640 WITH SCORE 398211.4
AT ITER 944 NEW BEST:: SOT 2291721 SOS 1571112 HAS SOPS 1552215 HAS SOUS 397452 HAS SOUPS 396390 WITH SCORE 397961.112
AT ITER 948 NEW BEST:: SOT 2291083 SOS 1570474 HAS SOPS 1551577 HAS SOUS 397208 HAS SOUPS 396146 WITH SCORE 397716.474
AT ITER 959 NEW BEST:: SOT 2291069 SOS 1570460 HAS SOPS 1551563 HAS SOUS 397135 HAS SOUPS 396073 WITH SCORE 397643.46
AT ITER 981 NEW BEST:: SOT 2290774 SOS 1570232 HAS SOPS 1551335 HAS SOUS 396965 HAS SOUPS 395903 WITH SCORE 397473.232
AT ITER 984 NEW BEST:: SOT 2290553 SOS 1569954 HAS SOPS 1551057 HAS SOUS 395863 HAS SOUPS 394801 WITH SCORE 396370.954
AT ITER 987 NEW BEST:: SOT 2290328 SOS 1569579 HAS SOPS 1550682 HAS SOUS 395263 HAS SOUPS 394201 WITH SCORE 395770.579
AT ITER 988 NEW BEST:: SOT 2289116 SOS 1568526 HAS SOPS 1549629 HAS SOUS 394482 HAS SOUPS 393420 WITH SCORE 394988.526
AT ITER 989 NEW BEST:: SOT 2289567 SOS 1568917 HAS SOPS 1550020 HAS SOUS 394396 HAS SOUPS 393334 WITH SCORE 394902.917
AT ITER 1035 NEW BEST:: SOT 2289816 SOS 1569179 HAS SOPS 1550011 HAS SOUS 394236 HAS SOUPS 393161 WITH SCORE 394730.179
AT ITER 1043 NEW BEST:: SOT 2289816 SOS 1383832 HAS SOPS 1365694 HAS SOUS 393056 HAS SOUPS 392084 WITH SCORE 393467.832
AT ITER 1044 NEW BEST:: SOT 2289798 SOS 1383814 HAS SOPS 1365676 HAS SOUS 393020 HAS SOUPS 392048 WITH SCORE 393431.814
AT ITER 1056 NEW BEST:: SOT 2289849 SOS 1383819 HAS SOPS 1365681 HAS SOUS 393012 HAS SOUPS 392040 WITH SCORE 393423.819
AT ITER 1059 NEW BEST:: SOT 2269510 SOS 1363464 HAS SOPS 1345326 HAS SOUS 389636 HAS SOUPS 388664 WITH SCORE 390027.464
AT ITER 1061 NEW BEST:: SOT 2269505 SOS 1363451 HAS SOPS 1345313 HAS SOUS 389618 HAS SOUPS 388646 WITH SCORE 390009.451
AT ITER 1066 NEW BEST:: SOT 2269465 SOS 1363401 HAS SOPS 1345263 HAS SOUS 389558 HAS SOUPS 388586 WITH SCORE 389949.401
AT ITER 1075 NEW BEST:: SOT 2269465 SOS 1363401 HAS SOPS 1345213 HAS SOUS 389508 HAS SOUPS 388536 WITH SCORE 389899.401
AT ITER 1090 NEW BEST:: SOT 2268873 SOS 1362664 HAS SOPS 1344476 HAS SOUS 388324 HAS SOUPS 387352 WITH SCORE 388714.664
AT ITER 1099 NEW BEST:: SOT 2268569 SOS 1362322 HAS SOPS 1344134 HAS SOUS 387960 HAS SOUPS 386988 WITH SCORE 388350.322
AT ITER 1101 NEW BEST:: SOT 2268450 SOS 1363992 HAS SOPS 1345821 HAS SOUS 387301 HAS SOUPS 386329 WITH SCORE 387692.992
AT ITER 1102 NEW BEST:: SOT 2268491 SOS 1364045 HAS SOPS 1345874 HAS SOUS 387260 HAS SOUPS 386288 WITH SCORE 387652.045
AT ITER 1108 NEW BEST:: SOT 2267858 SOS 1363412 HAS SOPS 1345241 HAS SOUS 386149 HAS SOUPS 385177 WITH SCORE 386540.412
AT ITER 1112 NEW BEST:: SOT 2242158 SOS 1337507 HAS SOPS 1319336 HAS SOUS 383027 HAS SOUPS 382055 WITH SCORE 383392.507
AT ITER 1118 NEW BEST:: SOT 2241968 SOS 1337317 HAS SOPS 1319347 HAS SOUS 383001 HAS SOUPS 382029 WITH SCORE 383366.317
AT ITER 1127 NEW BEST:: SOT 2171665 SOS 1313706 HAS SOPS 1295736 HAS SOUS 373647 HAS SOUPS 372675 WITH SCORE 373988.706
AT ITER 1136 NEW BEST:: SOT 2171461 SOS 1313645 HAS SOPS 1295665 HAS SOUS 373380 HAS SOUPS 372408 WITH SCORE 373721.645
AT ITER 1161 NEW BEST:: SOT 2171250 SOS 1296017 HAS SOPS 1278037 HAS SOUS 372887 HAS SOUPS 371915 WITH SCORE 373211.017
AT ITER 1162 NEW BEST:: SOT 2170792 SOS 1295617 HAS SOPS 1277637 HAS SOUS 372487 HAS SOUPS 371515 WITH SCORE 372810.617
AT ITER 1168 NEW BEST:: SOT 2170742 SOS 1295567 HAS SOPS 1277587 HAS SOUS 372428 HAS SOUPS 371456 WITH SCORE 372751.567
AT ITER 1175 NEW BEST:: SOT 2170733 SOS 1295558 HAS SOPS 1277578 HAS SOUS 372410 HAS SOUPS 371438 WITH SCORE 372733.558
AT ITER 1178 NEW BEST:: SOT 2170733 SOS 1297238 HAS SOPS 1279258 HAS SOUS 370450 HAS SOUPS 369478 WITH SCORE 370775.238
AT ITER 1181 NEW BEST:: SOT 2170733 SOS 1297128 HAS SOPS 1279148 HAS SOUS 370395 HAS SOUPS 369423 WITH SCORE 370720.128
AT ITER 1190 NEW BEST:: SOT 2170733 SOS 1294911 HAS SOPS 1276931 HAS SOUS 370395 HAS SOUPS 369423 WITH SCORE 370717.911
AT ITER 1203 NEW BEST:: SOT 2170732 SOS 1294908 HAS SOPS 1276928 HAS SOUS 370392 HAS SOUPS 369420 WITH SCORE 370714.908
AT ITER 1208 NEW BEST:: SOT 2170744 SOS 1294557 HAS SOPS 1276577 HAS SOUS 370041 HAS SOUPS 369069 WITH SCORE 370363.557
AT ITER 1212 NEW BEST:: SOT 2170611 SOS 1294295 HAS SOPS 1276315 HAS SOUS 369904 HAS SOUPS 368932 WITH SCORE 370226.295
AT ITER 1214 NEW BEST:: SOT 2171158 SOS 1295225 HAS SOPS 1277245 HAS SOUS 368418 HAS SOUPS 367446 WITH SCORE 368741.225
AT ITER 1237 NEW BEST:: SOT 2171158 SOS 1295213 HAS SOPS 1277233 HAS SOUS 368338 HAS SOUPS 367366 WITH SCORE 368661.213
AT ITER 1240 NEW BEST:: SOT 2171060 SOS 1295115 HAS SOPS 1277135 HAS SOUS 368116 HAS SOUPS 367144 WITH SCORE 368439.115
AT ITER 1242 NEW BEST:: SOT 2171060 SOS 1295109 HAS SOPS 1277129 HAS SOUS 368110 HAS SOUPS 367138 WITH SCORE 368433.109
AT ITER 1249 NEW BEST:: SOT 2171007 SOS 1295037 HAS SOPS 1277057 HAS SOUS 368008 HAS SOUPS 367036 WITH SCORE 368331.037
AT ITER 1250 NEW BEST:: SOT 2171003 SOS 1295033 HAS SOPS 1277053 HAS SOUS 368004 HAS SOUPS 367032 WITH SCORE 368327.033
AT ITER 1262 NEW BEST:: SOT 2170983 SOS 1294989 HAS SOPS 1277009 HAS SOUS 367960 HAS SOUPS 366988 WITH SCORE 368282.989
AT ITER 1267 NEW BEST:: SOT 2091631 SOS 1247267 HAS SOPS 1229287 HAS SOUS 355297 HAS SOUPS 354325 WITH SCORE 355572.267
AT ITER 1271 NEW BEST:: SOT 2091592 SOS 1247228 HAS SOPS 1229248 HAS SOUS 355219 HAS SOUPS 354247 WITH SCORE 355494.228
AT ITER 1274 NEW BEST:: SOT 2091606 SOS 1247304 HAS SOPS 1229324 HAS SOUS 355162 HAS SOUPS 354190 WITH SCORE 355437.304
AT ITER 1280 NEW BEST:: SOT 2091369 SOS 1246830 HAS SOPS 1228850 HAS SOUS 354688 HAS SOUPS 353716 WITH SCORE 354962.83
AT ITER 1285 NEW BEST:: SOT 2091345 SOS 1246806 HAS SOPS 1228830 HAS SOUS 354644 HAS SOUPS 353672 WITH SCORE 354918.806
AT ITER 1286 NEW BEST:: SOT 2091206 SOS 1246735 HAS SOPS 1228759 HAS SOUS 353563 HAS SOUPS 352591 WITH SCORE 353837.735
AT ITER 1287 NEW BEST:: SOT 2091203 SOS 1246732 HAS SOPS 1228756 HAS SOUS 353557 HAS SOUPS 352585 WITH SCORE 353831.732
AT ITER 1299 NEW BEST:: SOT 2091240 SOS 1246712 HAS SOPS 1228736 HAS SOUS 353537 HAS SOUPS 352565 WITH SCORE 353811.712
AT ITER 1311 NEW BEST:: SOT 2091321 SOS 1246733 HAS SOPS 1228757 HAS SOUS 353475 HAS SOUPS 352503 WITH SCORE 353749.733
AT ITER 1314 NEW BEST:: SOT 2087253 SOS 1242677 HAS SOPS 1224701 HAS SOUS 352671 HAS SOUPS 351699 WITH SCORE 352941.677
AT ITER 1323 NEW BEST:: SOT 2087245 SOS 1242669 HAS SOPS 1224693 HAS SOUS 352663 HAS SOUPS 351691 WITH SCORE 352933.669
AT ITER 1326 NEW BEST:: SOT 2087001 SOS 1242234 HAS SOPS 1224258 HAS SOUS 352441 HAS SOUPS 351469 WITH SCORE 352711.234
AT ITER 1333 NEW BEST:: SOT 2086896 SOS 1242409 HAS SOPS 1224475 HAS SOUS 352336 HAS SOUPS 351406 WITH SCORE 352648.409
AT ITER 1345 NEW BEST:: SOT 2087317 SOS 1242420 HAS SOPS 1224486 HAS SOUS 352191 HAS SOUPS 351261 WITH SCORE 352503.42
AT ITER 1346 NEW BEST:: SOT 2087288 SOS 1242391 HAS SOPS 1224448 HAS SOUS 352117 HAS SOUPS 351187 WITH SCORE 352429.391
AT ITER 1347 NEW BEST:: SOT 2087107 SOS 1242242 HAS SOPS 1224202 HAS SOUS 351828 HAS SOUPS 350898 WITH SCORE 352140.242
AT ITER 1351 NEW BEST:: SOT 2086818 SOS 1242036 HAS SOPS 1223996 HAS SOUS 351607 HAS SOUPS 350677 WITH SCORE 351919.036
AT ITER 1354 NEW BEST:: SOT 2084563 SOS 1239295 HAS SOPS 1221255 HAS SOUS 348878 HAS SOUPS 347948 WITH SCORE 349187.295
AT ITER 1356 NEW BEST:: SOT 2084591 SOS 1238569 HAS SOPS 1220573 HAS SOUS 348872 HAS SOUPS 347944 WITH SCORE 349182.569
AT ITER 1363 NEW BEST:: SOT 2084587 SOS 1238675 HAS SOPS 1220679 HAS SOUS 348864 HAS SOUPS 347936 WITH SCORE 349174.675
AT ITER 1377 NEW BEST:: SOT 2084497 SOS 1238846 HAS SOPS 1220850 HAS SOUS 348788 HAS SOUPS 347860 WITH SCORE 349098.846
AT ITER 1389 NEW BEST:: SOT 2084467 SOS 1238801 HAS SOPS 1220805 HAS SOUS 348713 HAS SOUPS 347785 WITH SCORE 349023.801
AT ITER 1394 NEW BEST:: SOT 2084432 SOS 1238731 HAS SOPS 1220735 HAS SOUS 348608 HAS SOUPS 347680 WITH SCORE 348918.731
AT ITER 1403 NEW BEST:: SOT 2080188 SOS 1234137 HAS SOPS 1216141 HAS SOUS 344389 HAS SOUPS 343461 WITH SCORE 344695.137
AT ITER 1404 NEW BEST:: SOT 2079544 SOS 1233664 HAS SOPS 1215668 HAS SOUS 343784 HAS SOUPS 342856 WITH SCORE 344089.664
AT ITER 1416 NEW BEST:: SOT 2079549 SOS 1233621 HAS SOPS 1215625 HAS SOUS 343741 HAS SOUPS 342813 WITH SCORE 344046.621
AT ITER 1423 NEW BEST:: SOT 2079546 SOS 1233621 HAS SOPS 1215622 HAS SOUS 343741 HAS SOUPS 342810 WITH SCORE 344043.621
AT ITER 1424 NEW BEST:: SOT 2079028 SOS 1233123 HAS SOPS 1215124 HAS SOUS 343243 HAS SOUPS 342312 WITH SCORE 343545.123
AT ITER 1428 NEW BEST:: SOT 2078772 SOS 1232887 HAS SOPS 1214888 HAS SOUS 342935 HAS SOUPS 342004 WITH SCORE 343236.887
AT ITER 1436 NEW BEST:: SOT 2078598 SOS 1232502 HAS SOPS 1214503 HAS SOUS 342811 HAS SOUPS 341880 WITH SCORE 343112.502
AT ITER 1437 NEW BEST:: SOT 2078503 SOS 1232407 HAS SOPS 1214382 HAS SOUS 342664 HAS SOUPS 341733 WITH SCORE 342965.407
AT ITER 1440 NEW BEST:: SOT 2078349 SOS 1232099 HAS SOPS 1214074 HAS SOUS 342356 HAS SOUPS 341425 WITH SCORE 342657.099
AT ITER 1450 NEW BEST:: SOT 2078341 SOS 1232091 HAS SOPS 1214066 HAS SOUS 342348 HAS SOUPS 341417 WITH SCORE 342649.091
AT ITER 1454 NEW BEST:: SOT 2078341 SOS 1232091 HAS SOPS 1214187 HAS SOUS 342228 HAS SOUPS 341297 WITH SCORE 342529.091
AT ITER 1457 NEW BEST:: SOT 2078433 SOS 1232181 HAS SOPS 1214277 HAS SOUS 341951 HAS SOUPS 341020 WITH SCORE 342252.181
AT ITER 1459 NEW BEST:: SOT 2078393 SOS 1232121 HAS SOPS 1214217 HAS SOUS 341931 HAS SOUPS 341000 WITH SCORE 342232.121
AT ITER 1479 NEW BEST:: SOT 2078257 SOS 1231882 HAS SOPS 1214271 HAS SOUS 341891 HAS SOUPS 340960 WITH SCORE 342191.882
AT ITER 1484 NEW BEST:: SOT 2078176 SOS 1231801 HAS SOPS 1214190 HAS SOUS 341780 HAS SOUPS 340849 WITH SCORE 342080.801
AT ITER 1489 NEW BEST:: SOT 2078088 SOS 1231283 HAS SOPS 1210402 HAS SOUS 341773 HAS SOUPS 340515 WITH SCORE 341746.283
AT ITER 1505 NEW BEST:: SOT 2077879 SOS 1230428 HAS SOPS 1210386 HAS SOUS 341587 HAS SOUPS 340513 WITH SCORE 341743.428
AT ITER 1507 NEW BEST:: SOT 2077799 SOS 1230348 HAS SOPS 1210267 HAS SOUS 341524 HAS SOUPS 340450 WITH SCORE 341680.348
AT ITER 1509 NEW BEST:: SOT 2077752 SOS 1230254 HAS SOPS 1210173 HAS SOUS 341430 HAS SOUPS 340356 WITH SCORE 341586.254
AT ITER 1515 NEW BEST:: SOT 2077788 SOS 1230290 HAS SOPS 1210093 HAS SOUS 341374 HAS SOUPS 340299 WITH SCORE 341529.29
AT ITER 1525 NEW BEST:: SOT 2077788 SOS 1230289 HAS SOPS 1210092 HAS SOUS 341364 HAS SOUPS 340289 WITH SCORE 341519.289
AT ITER 1530 NEW BEST:: SOT 2077272 SOS 1229894 HAS SOPS 1209697 HAS SOUS 340961 HAS SOUPS 339886 WITH SCORE 341115.894
AT ITER 1534 NEW BEST:: SOT 2077305 SOS 1229874 HAS SOPS 1209677 HAS SOUS 340941 HAS SOUPS 339866 WITH SCORE 341095.874
AT ITER 1536 NEW BEST:: SOT 2077044 SOS 1229566 HAS SOPS 1209369 HAS SOUS 340825 HAS SOUPS 339750 WITH SCORE 340979.566
AT ITER 1544 NEW BEST:: SOT 2077044 SOS 1229941 HAS SOPS 1209744 HAS SOUS 340800 HAS SOUPS 339725 WITH SCORE 340954.941
AT ITER 1548 NEW BEST:: SOT 2076773 SOS 1229766 HAS SOPS 1209569 HAS SOUS 340566 HAS SOUPS 339491 WITH SCORE 340720.766
AT ITER 1549 NEW BEST:: SOT 2076868 SOS 1229981 HAS SOPS 1209784 HAS SOUS 340378 HAS SOUPS 339303 WITH SCORE 340532.981
AT ITER 1556 NEW BEST:: SOT 2076494 SOS 1229507 HAS SOPS 1209310 HAS SOUS 340300 HAS SOUPS 339225 WITH SCORE 340454.507
AT ITER 1560 NEW BEST:: SOT 2076494 SOS 1229248 HAS SOPS 1209051 HAS SOUS 340300 HAS SOUPS 339225 WITH SCORE 340454.248
AT ITER 1590 NEW BEST:: SOT 2076564 SOS 1229318 HAS SOPS 1209065 HAS SOUS 340258 HAS SOUPS 339183 WITH SCORE 340412.318
AT ITER 1597 NEW BEST:: SOT 2076556 SOS 1229306 HAS SOPS 1209053 HAS SOUS 340246 HAS SOUPS 339171 WITH SCORE 340400.306
AT ITER 1607 NEW BEST:: SOT 2076543 SOS 1229293 HAS SOPS 1209040 HAS SOUS 340229 HAS SOUPS 339154 WITH SCORE 340383.293
AT ITER 1608 NEW BEST:: SOT 2076529 SOS 1229279 HAS SOPS 1209026 HAS SOUS 340215 HAS SOUPS 339140 WITH SCORE 340369.279
AT ITER 1609 NEW BEST:: SOT 2076504 SOS 1229254 HAS SOPS 1209001 HAS SOUS 340190 HAS SOUPS 339115 WITH SCORE 340344.254
AT ITER 1614 NEW BEST:: SOT 2076248 SOS 1229144 HAS SOPS 1208891 HAS SOUS 339939 HAS SOUPS 338864 WITH SCORE 340093.144
AT ITER 1620 NEW BEST:: SOT 2076242 SOS 1229174 HAS SOPS 1208921 HAS SOUS 339927 HAS SOUPS 338852 WITH SCORE 340081.174
AT ITER 1649 NEW BEST:: SOT 2075967 SOS 1228899 HAS SOPS 1208646 HAS SOUS 339455 HAS SOUPS 338380 WITH SCORE 339608.899
AT ITER 1660 NEW BEST:: SOT 2075781 SOS 1228713 HAS SOPS 1208460 HAS SOUS 338801 HAS SOUPS 337726 WITH SCORE 338954.713
AT ITER 1704 NEW BEST:: SOT 2075752 SOS 1228655 HAS SOPS 1208402 HAS SOUS 338743 HAS SOUPS 337668 WITH SCORE 338896.655
AT ITER 1715 NEW BEST:: SOT 2075647 SOS 1228655 HAS SOPS 1208402 HAS SOUS 338533 HAS SOUPS 337458 WITH SCORE 338686.655
AT ITER 1721 NEW BEST:: SOT 2075524 SOS 1227460 HAS SOPS 1207453 HAS SOUS 337965 HAS SOUPS 336890 WITH SCORE 338117.46
AT ITER 1724 NEW BEST:: SOT 2075514 SOS 1227414 HAS SOPS 1207407 HAS SOUS 337919 HAS SOUPS 336844 WITH SCORE 338071.414
AT ITER 1733 NEW BEST:: SOT 2075514 SOS 1200870 HAS SOPS 1180863 HAS SOUS 337919 HAS SOUPS 336844 WITH SCORE 338044.87
AT ITER 1737 NEW BEST:: SOT 2075495 SOS 1200841 HAS SOPS 1180834 HAS SOUS 337890 HAS SOUPS 336815 WITH SCORE 338015.841
AT ITER 1775 NEW BEST:: SOT 2075471 SOS 1200735 HAS SOPS 1180728 HAS SOUS 337722 HAS SOUPS 336647 WITH SCORE 337847.735
AT ITER 1785 NEW BEST:: SOT 2075471 SOS 1200754 HAS SOPS 1180747 HAS SOUS 337494 HAS SOUPS 336419 WITH SCORE 337619.754
AT ITER 1786 NEW BEST:: SOT 2055809 SOS 1181034 HAS SOPS 1161027 HAS SOUS 333492 HAS SOUPS 332417 WITH SCORE 333598.034
AT ITER 1789 NEW BEST:: SOT 2055679 SOS 1181502 HAS SOPS 1161503 HAS SOUS 333296 HAS SOUPS 332221 WITH SCORE 333402.502
AT ITER 1797 NEW BEST:: SOT 2055528 SOS 1181331 HAS SOPS 1161332 HAS SOUS 332996 HAS SOUPS 331921 WITH SCORE 333102.331
AT ITER 1803 NEW BEST:: SOT 2055513 SOS 1181316 HAS SOPS 1161347 HAS SOUS 332996 HAS SOUPS 331921 WITH SCORE 333102.316
AT ITER 1811 NEW BEST:: SOT 2055405 SOS 1181263 HAS SOPS 1161294 HAS SOUS 332935 HAS SOUPS 331860 WITH SCORE 333041.263
AT ITER 1812 NEW BEST:: SOT 2055405 SOS 1181216 HAS SOPS 1161247 HAS SOUS 332888 HAS SOUPS 331813 WITH SCORE 332994.216
AT ITER 1852 NEW BEST:: SOT 2055089 SOS 1180356 HAS SOPS 1160387 HAS SOUS 332702 HAS SOUPS 331627 WITH SCORE 332807.356
AT ITER 1882 NEW BEST:: SOT 2055089 SOS 1180356 HAS SOPS 1160387 HAS SOUS 332679 HAS SOUPS 331604 WITH SCORE 332784.356
AT ITER 1883 NEW BEST:: SOT 2036024 SOS 1161291 HAS SOPS 1141322 HAS SOUS 330466 HAS SOUPS 329391 WITH SCORE 330552.291
AT ITER 1888 NEW BEST:: SOT 2036015 SOS 1161282 HAS SOPS 1141304 HAS SOUS 330288 HAS SOUPS 329213 WITH SCORE 330374.282
AT ITER 1903 NEW BEST:: SOT 2035951 SOS 1161264 HAS SOPS 1141286 HAS SOUS 330270 HAS SOUPS 329195 WITH SCORE 330356.264
AT ITER 1909 NEW BEST:: SOT 2035822 SOS 1162766 HAS SOPS 1142788 HAS SOUS 329867 HAS SOUPS 328792 WITH SCORE 329954.766
AT ITER 1922 NEW BEST:: SOT 2028379 SOS 1158130 HAS SOPS 1136579 HAS SOUS 322480 HAS SOUPS 321168 WITH SCORE 322326.13
AT ITER 1932 NEW BEST:: SOT 2029238 SOS 1159386 HAS SOPS 1137835 HAS SOUS 321859 HAS SOUPS 320547 WITH SCORE 321706.386
AT ITER 1956 NEW BEST:: SOT 2011311 SOS 1141532 HAS SOPS 1119981 HAS SOUS 318053 HAS SOUPS 316741 WITH SCORE 317882.532
AT ITER 1970 NEW BEST:: SOT 2011221 SOS 1141442 HAS SOPS 1119891 HAS SOUS 317873 HAS SOUPS 316561 WITH SCORE 317702.442
AT ITER 1971 NEW BEST:: SOT 2011315 SOS 1141590 HAS SOPS 1120039 HAS SOUS 317569 HAS SOUPS 316257 WITH SCORE 317398.59
AT ITER 1973 NEW BEST:: SOT 2011275 SOS 1141550 HAS SOPS 1119878 HAS SOUS 317462 HAS SOUPS 316147 WITH SCORE 317288.55
AT ITER 1999 NEW BEST:: SOT 2011275 SOS 1128630 HAS SOPS 1106958 HAS SOUS 317462 HAS SOUPS 316147 WITH SCORE 317275.63
AT ITER 2005 NEW BEST:: SOT 2011305 SOS 1128644 HAS SOPS 1106972 HAS SOUS 317311 HAS SOUPS 315996 WITH SCORE 317124.644
AT ITER 2012 NEW BEST:: SOT 2011266 SOS 1128605 HAS SOPS 1106933 HAS SOUS 317272 HAS SOUPS 315957 WITH SCORE 317085.605
AT ITER 2014 NEW BEST:: SOT 2010954 SOS 1128219 HAS SOPS 1106547 HAS SOUS 316886 HAS SOUPS 315571 WITH SCORE 316699.219
AT ITER 2016 NEW BEST:: SOT 2008770 SOS 1126035 HAS SOPS 1104363 HAS SOUS 316622 HAS SOUPS 315307 WITH SCORE 316433.035
AT ITER 2020 NEW BEST:: SOT 2010039 SOS 1127304 HAS SOPS 1105632 HAS SOUS 316397 HAS SOUPS 315082 WITH SCORE 316209.304
AT ITER 2024 NEW BEST:: SOT 2010047 SOS 1127333 HAS SOPS 1105613 HAS SOUS 316391 HAS SOUPS 315076 WITH SCORE 316203.333
AT ITER 2040 NEW BEST:: SOT 2009861 SOS 1127240 HAS SOPS 1105520 HAS SOUS 316140 HAS SOUPS 314825 WITH SCORE 315952.24
AT ITER 2059 NEW BEST:: SOT 2009675 SOS 1127086 HAS SOPS 1105366 HAS SOUS 316113 HAS SOUPS 314798 WITH SCORE 315925.086
AT ITER 2068 NEW BEST:: SOT 2009630 SOS 1127582 HAS SOPS 1105862 HAS SOUS 316019 HAS SOUPS 314704 WITH SCORE 315831.582
AT ITER 2071 NEW BEST:: SOT 2009385 SOS 1127103 HAS SOPS 1105383 HAS SOUS 315772 HAS SOUPS 314457 WITH SCORE 315584.103
AT ITER 2103 NEW BEST:: SOT 2008584 SOS 1126302 HAS SOPS 1104582 HAS SOUS 315767 HAS SOUPS 314452 WITH SCORE 315578.302
AT ITER 2104 NEW BEST:: SOT 2008512 SOS 1126177 HAS SOPS 1104457 HAS SOUS 315642 HAS SOUPS 314327 WITH SCORE 315453.177
AT ITER 2112 NEW BEST:: SOT 2008530 SOS 1126176 HAS SOPS 1104456 HAS SOUS 315622 HAS SOUPS 314307 WITH SCORE 315433.176
AT ITER 2113 NEW BEST:: SOT 2008092 SOS 1125702 HAS SOPS 1103982 HAS SOUS 315196 HAS SOUPS 313881 WITH SCORE 315006.702
AT ITER 2119 NEW BEST:: SOT 2008088 SOS 1125698 HAS SOPS 1103978 HAS SOUS 315192 HAS SOUPS 313877 WITH SCORE 315002.698
AT ITER 2128 NEW BEST:: SOT 2008019 SOS 1125627 HAS SOPS 1103907 HAS SOUS 315028 HAS SOUPS 313713 WITH SCORE 314838.627
AT ITER 2132 NEW BEST:: SOT 2007587 SOS 1125294 HAS SOPS 1103574 HAS SOUS 314684 HAS SOUPS 313369 WITH SCORE 314494.294
AT ITER 2150 NEW BEST:: SOT 2007542 SOS 1125198 HAS SOPS 1103478 HAS SOUS 314676 HAS SOUPS 313361 WITH SCORE 314486.198
AT ITER 2178 NEW BEST:: SOT 2006743 SOS 1123217 HAS SOPS 1101497 HAS SOUS 314613 HAS SOUPS 313298 WITH SCORE 314421.217
AT ITER 2192 NEW BEST:: SOT 2006731 SOS 1123208 HAS SOPS 1101488 HAS SOUS 314589 HAS SOUPS 313274 WITH SCORE 314397.208
AT ITER 2207 NEW BEST:: SOT 2006721 SOS 1123192 HAS SOPS 1101480 HAS SOUS 314581 HAS SOUPS 313266 WITH SCORE 314389.192
AT ITER 2223 NEW BEST:: SOT 2006222 SOS 1122816 HAS SOPS 1101104 HAS SOUS 314421 HAS SOUPS 313106 WITH SCORE 314228.816
AT ITER 2224 NEW BEST:: SOT 2006193 SOS 1122758 HAS SOPS 1101046 HAS SOUS 314306 HAS SOUPS 312991 WITH SCORE 314113.758
AT ITER 2261 NEW BEST:: SOT 2006153 SOS 1122718 HAS SOPS 1100914 HAS SOUS 314162 HAS SOUPS 312847 WITH SCORE 313969.718
AT ITER 2262 NEW BEST:: SOT 2005829 SOS 1122459 HAS SOPS 1100655 HAS SOUS 313676 HAS SOUPS 312361 WITH SCORE 313483.459
AT ITER 2271 NEW BEST:: SOT 2005931 SOS 1123404 HAS SOPS 1101600 HAS SOUS 313525 HAS SOUPS 312210 WITH SCORE 313333.404
AT ITER 2287 NEW BEST:: SOT 2005958 SOS 1123306 HAS SOPS 1101502 HAS SOUS 313427 HAS SOUPS 312112 WITH SCORE 313235.306
AT ITER 2288 NEW BEST:: SOT 2005966 SOS 1123414 HAS SOPS 1101610 HAS SOUS 313183 HAS SOUPS 311868 WITH SCORE 312991.414
AT ITER 2296 NEW BEST:: SOT 2005936 SOS 1123384 HAS SOPS 1101580 HAS SOUS 313163 HAS SOUPS 311848 WITH SCORE 312971.384
AT ITER 2299 NEW BEST:: SOT 2005890 SOS 1123314 HAS SOPS 1101510 HAS SOUS 313071 HAS SOUPS 311756 WITH SCORE 312879.314
AT ITER 2308 NEW BEST:: SOT 2005890 SOS 1123278 HAS SOPS 1101474 HAS SOUS 313071 HAS SOUPS 311756 WITH SCORE 312879.278
AT ITER 2310 NEW BEST:: SOT 2005769 SOS 1123181 HAS SOPS 1101377 HAS SOUS 312950 HAS SOUPS 311635 WITH SCORE 312758.181
AT ITER 2351 NEW BEST:: SOT 2006005 SOS 1123827 HAS SOPS 1102294 HAS SOUS 312753 HAS SOUPS 311438 WITH SCORE 312561.827
AT ITER 2352 NEW BEST:: SOT 2006023 SOS 1123845 HAS SOPS 1102312 HAS SOUS 312677 HAS SOUPS 311362 WITH SCORE 312485.845
AT ITER 2375 NEW BEST:: SOT 2006029 SOS 1123776 HAS SOPS 1102243 HAS SOUS 312608 HAS SOUPS 311293 WITH SCORE 312416.776
AT ITER 2380 NEW BEST:: SOT 2006012 SOS 1123767 HAS SOPS 1102234 HAS SOUS 312603 HAS SOUPS 311288 WITH SCORE 312411.767
AT ITER 2383 NEW BEST:: SOT 2006049 SOS 1123804 HAS SOPS 1102234 HAS SOUS 312566 HAS SOUPS 311251 WITH SCORE 312374.804
AT ITER 2400 NEW BEST:: SOT 2004309 SOS 1121642 HAS SOPS 1100072 HAS SOUS 311039 HAS SOUPS 309724 WITH SCORE 310845.642
AT ITER 2404 NEW BEST:: SOT 2004249 SOS 1121510 HAS SOPS 1099940 HAS SOUS 310907 HAS SOUPS 309592 WITH SCORE 310713.51
AT ITER 2417 NEW BEST:: SOT 2004263 SOS 1121524 HAS SOPS 1099940 HAS SOUS 310893 HAS SOUPS 309578 WITH SCORE 310699.524
AT ITER 2425 NEW BEST:: SOT 2004465 SOS 1121982 HAS SOPS 1100398 HAS SOUS 310821 HAS SOUPS 309506 WITH SCORE 310627.982
AT ITER 2426 NEW BEST:: SOT 2004476 SOS 1121993 HAS SOPS 1100409 HAS SOUS 310809 HAS SOUPS 309494 WITH SCORE 310615.993
AT ITER 2427 NEW BEST:: SOT 2003755 SOS 1121232 HAS SOPS 1099629 HAS SOUS 310029 HAS SOUPS 308714 WITH SCORE 309835.232
AT ITER 2434 NEW BEST:: SOT 2003750 SOS 1121227 HAS SOPS 1099774 HAS SOUS 310026 HAS SOUPS 308711 WITH SCORE 309832.227
AT ITER 2437 NEW BEST:: SOT 2003674 SOS 1121151 HAS SOPS 1099698 HAS SOUS 309901 HAS SOUPS 308586 WITH SCORE 309707.151
AT ITER 2461 NEW BEST:: SOT 2003661 SOS 1121151 HAS SOPS 1099698 HAS SOUS 309888 HAS SOUPS 308573 WITH SCORE 309694.151
AT ITER 2481 NEW BEST:: SOT 2003641 SOS 1121131 HAS SOPS 1099658 HAS SOUS 309888 HAS SOUPS 308573 WITH SCORE 309694.131
AT ITER 2483 NEW BEST:: SOT 2004082 SOS 1122049 HAS SOPS 1100576 HAS SOUS 309759 HAS SOUPS 308444 WITH SCORE 309566.049
AT ITER 2510 NEW BEST:: SOT 2004242 SOS 1122113 HAS SOPS 1100640 HAS SOUS 308975 HAS SOUPS 307660 WITH SCORE 308782.113
AT ITER 2511 NEW BEST:: SOT 2004017 SOS 1122018 HAS SOPS 1100545 HAS SOUS 308841 HAS SOUPS 307526 WITH SCORE 308648.018
AT ITER 2513 NEW BEST:: SOT 2003982 SOS 1121963 HAS SOPS 1100560 HAS SOUS 308774 HAS SOUPS 307459 WITH SCORE 308580.963
AT ITER 2515 NEW BEST:: SOT 2003609 SOS 1121590 HAS SOPS 1100187 HAS SOUS 308214 HAS SOUPS 306899 WITH SCORE 308020.59
AT ITER 2547 NEW BEST:: SOT 2003699 SOS 1121680 HAS SOPS 1100161 HAS SOUS 308242 HAS SOUPS 306889 WITH SCORE 308010.68
AT ITER 2556 NEW BEST:: SOT 1985116 SOS 1102861 HAS SOPS 1081342 HAS SOUS 304912 HAS SOUPS 303559 WITH SCORE 304661.861
AT ITER 2561 NEW BEST:: SOT 1984984 SOS 1102729 HAS SOPS 1081210 HAS SOUS 304780 HAS SOUPS 303427 WITH SCORE 304529.729
AT ITER 2569 NEW BEST:: SOT 1984984 SOS 1098582 HAS SOPS 1077063 HAS SOUS 304688 HAS SOUPS 303335 WITH SCORE 304433.582
AT ITER 2576 NEW BEST:: SOT 1984905 SOS 1098454 HAS SOPS 1076935 HAS SOUS 304504 HAS SOUPS 303151 WITH SCORE 304249.454
AT ITER 2580 NEW BEST:: SOT 1984854 SOS 1098262 HAS SOPS 1076743 HAS SOUS 304504 HAS SOUPS 303151 WITH SCORE 304249.262
AT ITER 2581 NEW BEST:: SOT 1985046 SOS 1098496 HAS SOPS 1076977 HAS SOUS 304290 HAS SOUPS 302937 WITH SCORE 304035.496
AT ITER 2595 NEW BEST:: SOT 1984859 SOS 1098201 HAS SOPS 1076682 HAS SOUS 303339 HAS SOUPS 301986 WITH SCORE 303084.201
AT ITER 2615 NEW BEST:: SOT 1983614 SOS 1096956 HAS SOPS 1075437 HAS SOUS 302253 HAS SOUPS 300900 WITH SCORE 301996.956
AT ITER 2618 NEW BEST:: SOT 1983608 SOS 1096795 HAS SOPS 1075473 HAS SOUS 301937 HAS SOUPS 300584 WITH SCORE 301680.795
AT ITER 2619 NEW BEST:: SOT 1983602 SOS 1096789 HAS SOPS 1075467 HAS SOUS 301919 HAS SOUPS 300566 WITH SCORE 301662.789
AT ITER 2631 NEW BEST:: SOT 1983586 SOS 1096773 HAS SOPS 1075451 HAS SOUS 301903 HAS SOUPS 300550 WITH SCORE 301646.773
AT ITER 2646 NEW BEST:: SOT 1983497 SOS 1096684 HAS SOPS 1075362 HAS SOUS 301824 HAS SOUPS 300471 WITH SCORE 301567.684
AT ITER 2685 NEW BEST:: SOT 1983507 SOS 1096682 HAS SOPS 1075360 HAS SOUS 301710 HAS SOUPS 300357 WITH SCORE 301453.682
AT ITER 2697 NEW BEST:: SOT 1983490 SOS 1096665 HAS SOPS 1075343 HAS SOUS 301685 HAS SOUPS 300332 WITH SCORE 301428.665
AT ITER 2712 NEW BEST:: SOT 1983557 SOS 1096822 HAS SOPS 1075500 HAS SOUS 301588 HAS SOUPS 300235 WITH SCORE 301331.822
AT ITER 2726 NEW BEST:: SOT 1983368 SOS 1096736 HAS SOPS 1075414 HAS SOUS 301532 HAS SOUPS 300179 WITH SCORE 301275.736
AT ITER 2749 NEW BEST:: SOT 1982682 SOS 1095646 HAS SOPS 1074324 HAS SOUS 300704 HAS SOUPS 299351 WITH SCORE 300446.646
AT ITER 2755 NEW BEST:: SOT 1970407 SOS 1083157 HAS SOPS 1061835 HAS SOUS 299915 HAS SOUPS 298562 WITH SCORE 299645.157
AT ITER 2764 NEW BEST:: SOT 1970317 SOS 1082957 HAS SOPS 1061635 HAS SOUS 299859 HAS SOUPS 298506 WITH SCORE 299588.957
AT ITER 2767 NEW BEST:: SOT 1970179 SOS 1082819 HAS SOPS 1061589 HAS SOUS 299686 HAS SOUPS 298333 WITH SCORE 299415.819
AT ITER 2776 NEW BEST:: SOT 1970196 SOS 1082792 HAS SOPS 1061562 HAS SOUS 299659 HAS SOUPS 298306 WITH SCORE 299388.792
AT ITER 2777 NEW BEST:: SOT 1970403 SOS 1083051 HAS SOPS 1061452 HAS SOUS 299602 HAS SOUPS 298249 WITH SCORE 299332.051
AT ITER 2778 NEW BEST:: SOT 1970393 SOS 1083073 HAS SOPS 1061474 HAS SOUS 299560 HAS SOUPS 298207 WITH SCORE 299290.073
AT ITER 2785 NEW BEST:: SOT 1970088 SOS 1082703 HAS SOPS 1061104 HAS SOUS 299209 HAS SOUPS 297856 WITH SCORE 298938.703
AT ITER 2793 NEW BEST:: SOT 1970081 SOS 1082696 HAS SOPS 1061145 HAS SOUS 299050 HAS SOUPS 297697 WITH SCORE 298779.696
AT ITER 2814 NEW BEST:: SOT 1968313 SOS 1080928 HAS SOPS 1059377 HAS SOUS 298770 HAS SOUPS 297417 WITH SCORE 298497.928
AT ITER 2815 NEW BEST:: SOT 1968179 SOS 1080656 HAS SOPS 1059133 HAS SOUS 298615 HAS SOUPS 297262 WITH SCORE 298342.656
AT ITER 2819 NEW BEST:: SOT 1967811 SOS 1079810 HAS SOPS 1058287 HAS SOUS 298051 HAS SOUPS 296698 WITH SCORE 297777.81
AT ITER 2826 NEW BEST:: SOT 1967409 SOS 1079410 HAS SOPS 1057845 HAS SOUS 297553 HAS SOUPS 296200 WITH SCORE 297279.41
AT ITER 2830 NEW BEST:: SOT 1967127 SOS 1079128 HAS SOPS 1057563 HAS SOUS 297376 HAS SOUPS 296023 WITH SCORE 297102.128
AT ITER 2864 NEW BEST:: SOT 1967009 SOS 1079010 HAS SOPS 1057525 HAS SOUS 297292 HAS SOUPS 295939 WITH SCORE 297018.01
AT ITER 2873 NEW BEST:: SOT 1966933 SOS 1078891 HAS SOPS 1057439 HAS SOUS 297206 HAS SOUPS 295886 WITH SCORE 296964.891
AT ITER 2891 NEW BEST:: SOT 1966933 SOS 1078891 HAS SOPS 1057417 HAS SOUS 297140 HAS SOUPS 295820 WITH SCORE 296898.891
AT ITER 2907 NEW BEST:: SOT 1967012 SOS 1079942 HAS SOPS 1058468 HAS SOUS 297084 HAS SOUPS 295764 WITH SCORE 296843.942
AT ITER 2917 NEW BEST:: SOT 1980434 SOS 1092803 HAS SOPS 1071959 HAS SOUS 296649 HAS SOUPS 295392 WITH SCORE 296484.803
AT ITER 2948 NEW BEST:: SOT 1980376 SOS 1092853 HAS SOPS 1072009 HAS SOUS 296591 HAS SOUPS 295334 WITH SCORE 296426.853
AT ITER 2962 NEW BEST:: SOT 1980376 SOS 1092856 HAS SOPS 1072012 HAS SOUS 296144 HAS SOUPS 294887 WITH SCORE 295979.856
AT ITER 2970 NEW BEST:: SOT 1980173 SOS 1092682 HAS SOPS 1071838 HAS SOUS 295978 HAS SOUPS 294721 WITH SCORE 295813.682
AT ITER 2974 NEW BEST:: SOT 1980318 SOS 1092827 HAS SOPS 1071883 HAS SOUS 295994 HAS SOUPS 294715 WITH SCORE 295807.827
AT ITER 2979 NEW BEST:: SOT 1980142 SOS 1092703 HAS SOPS 1071759 HAS SOUS 295870 HAS SOUPS 294591 WITH SCORE 295683.703
AT ITER 2985 NEW BEST:: SOT 1978408 SOS 1090824 HAS SOPS 1069880 HAS SOUS 295662 HAS SOUPS 294383 WITH SCORE 295473.824
AT ITER 2994 NEW BEST:: SOT 1978648 SOS 1091004 HAS SOPS 1070060 HAS SOUS 295497 HAS SOUPS 294218 WITH SCORE 295309.004
AT ITER 3002 NEW BEST:: SOT 1978682 SOS 1091038 HAS SOPS 1069974 HAS SOUS 295430 HAS SOUPS 294151 WITH SCORE 295242.038
AT ITER 3004 NEW BEST:: SOT 1976077 SOS 1088297 HAS SOPS 1067233 HAS SOUS 292506 HAS SOUPS 291227 WITH SCORE 292315.297
AT ITER 3006 NEW BEST:: SOT 1975883 SOS 1088017 HAS SOPS 1066953 HAS SOUS 292118 HAS SOUPS 290839 WITH SCORE 291927.017
AT ITER 3022 NEW BEST:: SOT 1975805 SOS 1087945 HAS SOPS 1066881 HAS SOUS 292066 HAS SOUPS 290787 WITH SCORE 291874.945
AT ITER 3032 NEW BEST:: SOT 1947805 SOS 1060104 HAS SOPS 1039040 HAS SOUS 288950 HAS SOUPS 287671 WITH SCORE 288731.104
AT ITER 3036 NEW BEST:: SOT 1932539 SOS 1045276 HAS SOPS 1024212 HAS SOUS 287780 HAS SOUPS 286501 WITH SCORE 287546.276
AT ITER 3038 NEW BEST:: SOT 1932411 SOS 1045045 HAS SOPS 1024230 HAS SOUS 287773 HAS SOUPS 286494 WITH SCORE 287539.045
AT ITER 3047 NEW BEST:: SOT 1932396 SOS 1045030 HAS SOPS 1024215 HAS SOUS 287758 HAS SOUPS 286479 WITH SCORE 287524.03
AT ITER 3048 NEW BEST:: SOT 1932704 SOS 1045372 HAS SOPS 1024557 HAS SOUS 287534 HAS SOUPS 286255 WITH SCORE 287300.372
AT ITER 3061 NEW BEST:: SOT 1932284 SOS 1045051 HAS SOPS 1024137 HAS SOUS 287008 HAS SOUPS 285729 WITH SCORE 286774.051
AT ITER 3069 NEW BEST:: SOT 1928534 SOS 1041265 HAS SOPS 1020351 HAS SOUS 286904 HAS SOUPS 285625 WITH SCORE 286666.265
AT ITER 3072 NEW BEST:: SOT 1928513 SOS 1041244 HAS SOPS 1020330 HAS SOUS 286883 HAS SOUPS 285604 WITH SCORE 286645.244
AT ITER 3090 NEW BEST:: SOT 1928456 SOS 1041187 HAS SOPS 1020273 HAS SOUS 286806 HAS SOUPS 285527 WITH SCORE 286568.187
AT ITER 3093 NEW BEST:: SOT 1928330 SOS 1041012 HAS SOPS 1020098 HAS SOUS 286611 HAS SOUPS 285332 WITH SCORE 286373.012
AT ITER 3135 NEW BEST:: SOT 1928322 SOS 1041004 HAS SOPS 1020090 HAS SOUS 286595 HAS SOUPS 285316 WITH SCORE 286357.004
AT ITER 3139 NEW BEST:: SOT 1928318 SOS 1042194 HAS SOPS 1021129 HAS SOUS 286495 HAS SOUPS 285216 WITH SCORE 286258.194
AT ITER 3153 NEW BEST:: SOT 1927965 SOS 1041841 HAS SOPS 1020776 HAS SOUS 286290 HAS SOUPS 285011 WITH SCORE 286052.841
AT ITER 3169 NEW BEST:: SOT 1928079 SOS 1042045 HAS SOPS 1020885 HAS SOUS 286277 HAS SOUPS 284998 WITH SCORE 286040.045
AT ITER 3171 NEW BEST:: SOT 1928038 SOS 1043135 HAS SOPS 1021805 HAS SOUS 286080 HAS SOUPS 284806 WITH SCORE 285849.135
AT ITER 3187 NEW BEST:: SOT 1928038 SOS 1043135 HAS SOPS 1021687 HAS SOUS 286017 HAS SOUPS 284743 WITH SCORE 285786.135
AT ITER 3198 NEW BEST:: SOT 1927817 SOS 1043104 HAS SOPS 1021656 HAS SOUS 285870 HAS SOUPS 284596 WITH SCORE 285639.104
AT ITER 3294 NEW BEST:: SOT 1927849 SOS 1043063 HAS SOPS 1021615 HAS SOUS 285861 HAS SOUPS 284587 WITH SCORE 285630.063
AT ITER 3301 NEW BEST:: SOT 1927800 SOS 1042965 HAS SOPS 1021517 HAS SOUS 285763 HAS SOUPS 284489 WITH SCORE 285531.965
AT ITER 3305 NEW BEST:: SOT 1927794 SOS 1042912 HAS SOPS 1021464 HAS SOUS 285710 HAS SOUPS 284436 WITH SCORE 285478.912
AT ITER 3311 NEW BEST:: SOT 1927839 SOS 1042954 HAS SOPS 1021506 HAS SOUS 285704 HAS SOUPS 284430 WITH SCORE 285472.954
AT ITER 3316 NEW BEST:: SOT 1927839 SOS 1042959 HAS SOPS 1021511 HAS SOUS 285689 HAS SOUPS 284415 WITH SCORE 285457.959
AT ITER 3319 NEW BEST:: SOT 1927604 SOS 1042734 HAS SOPS 1021286 HAS SOUS 284767 HAS SOUPS 283493 WITH SCORE 284535.734
AT ITER 3320 NEW BEST:: SOT 1927566 SOS 1042734 HAS SOPS 1021286 HAS SOUS 284691 HAS SOUPS 283417 WITH SCORE 284459.734
AT ITER 3324 NEW BEST:: SOT 1927430 SOS 1042609 HAS SOPS 1021161 HAS SOUS 284562 HAS SOUPS 283288 WITH SCORE 284330.609
AT ITER 3328 NEW BEST:: SOT 1927430 SOS 1042567 HAS SOPS 1021119 HAS SOUS 284562 HAS SOUPS 283288 WITH SCORE 284330.567
AT ITER 3333 NEW BEST:: SOT 1927427 SOS 1042564 HAS SOPS 1021117 HAS SOUS 284561 HAS SOUPS 283287 WITH SCORE 284329.564
AT ITER 3352 NEW BEST:: SOT 1927333 SOS 1042466 HAS SOPS 1021019 HAS SOUS 284493 HAS SOUPS 283219 WITH SCORE 284261.466
AT ITER 3373 NEW BEST:: SOT 1927330 SOS 1042463 HAS SOPS 1021016 HAS SOUS 284487 HAS SOUPS 283213 WITH SCORE 284255.463
AT ITER 3379 NEW BEST:: SOT 1927369 SOS 1042625 HAS SOPS 1021178 HAS SOUS 284294 HAS SOUPS 283020 WITH SCORE 284062.625
AT ITER 3386 NEW BEST:: SOT 1927268 SOS 1042524 HAS SOPS 1021077 HAS SOUS 284100 HAS SOUPS 282826 WITH SCORE 283868.524
AT ITER 3392 NEW BEST:: SOT 1927242 SOS 1042494 HAS SOPS 1021047 HAS SOUS 284070 HAS SOUPS 282796 WITH SCORE 283838.494
AT ITER 3401 NEW BEST:: SOT 1927253 SOS 1042505 HAS SOPS 1020909 HAS SOUS 284046 HAS SOUPS 282772 WITH SCORE 283814.505
AT ITER 3402 NEW BEST:: SOT 1927235 SOS 1042496 HAS SOPS 1020906 HAS SOUS 284014 HAS SOUPS 282742 WITH SCORE 283784.496
AT ITER 3405 NEW BEST:: SOT 1927202 SOS 1042430 HAS SOPS 1020840 HAS SOUS 284005 HAS SOUPS 282733 WITH SCORE 283775.43
AT ITER 3423 NEW BEST:: SOT 1927219 SOS 1042611 HAS SOPS 1021021 HAS SOUS 283976 HAS SOUPS 282704 WITH SCORE 283746.611
AT ITER 3428 NEW BEST:: SOT 1927179 SOS 1042571 HAS SOPS 1020981 HAS SOUS 283939 HAS SOUPS 282667 WITH SCORE 283709.571
AT ITER 3479 NEW BEST:: SOT 1927143 SOS 1042499 HAS SOPS 1020927 HAS SOUS 283861 HAS SOUPS 282589 WITH SCORE 283631.499
AT ITER 3485 NEW BEST:: SOT 1927121 SOS 1042586 HAS SOPS 1021014 HAS SOUS 283780 HAS SOUPS 282508 WITH SCORE 283550.586
AT ITER 3504 NEW BEST:: SOT 1927098 SOS 1042563 HAS SOPS 1020991 HAS SOUS 283759 HAS SOUPS 282487 WITH SCORE 283529.563
AT ITER 3557 NEW BEST:: SOT 1926886 SOS 1042498 HAS SOPS 1020926 HAS SOUS 283694 HAS SOUPS 282422 WITH SCORE 283464.498
AT ITER 3562 NEW BEST:: SOT 1926722 SOS 1042298 HAS SOPS 1020390 HAS SOUS 283315 HAS SOUPS 282043 WITH SCORE 283085.298
AT ITER 3595 NEW BEST:: SOT 1926706 SOS 1042282 HAS SOPS 1020358 HAS SOUS 283314 HAS SOUPS 282042 WITH SCORE 283084.282
AT ITER 3609 NEW BEST:: SOT 1926394 SOS 1041498 HAS SOPS 1019574 HAS SOUS 283001 HAS SOUPS 281729 WITH SCORE 282770.498
AT ITER 3622 NEW BEST:: SOT 1928301 SOS 1043405 HAS SOPS 1021481 HAS SOUS 282713 HAS SOUPS 281441 WITH SCORE 282484.405
AT ITER 3630 NEW BEST:: SOT 1928152 SOS 1043570 HAS SOPS 1021646 HAS SOUS 282570 HAS SOUPS 281298 WITH SCORE 282341.57
AT ITER 3647 NEW BEST:: SOT 1928215 SOS 1043558 HAS SOPS 1021634 HAS SOUS 282558 HAS SOUPS 281286 WITH SCORE 282329.558
AT ITER 3650 NEW BEST:: SOT 1928311 SOS 1043654 HAS SOPS 1021730 HAS SOUS 282499 HAS SOUPS 281227 WITH SCORE 282270.654
AT ITER 3658 NEW BEST:: SOT 1893146 SOS 1008489 HAS SOPS 986565 HAS SOUS 276812 HAS SOUPS 275540 WITH SCORE 276548.489
AT ITER 3663 NEW BEST:: SOT 1893146 SOS 1008529 HAS SOPS 986651 HAS SOUS 276789 HAS SOUPS 275517 WITH SCORE 276525.529
AT ITER 3672 NEW BEST:: SOT 1893146 SOS 1008569 HAS SOPS 986691 HAS SOUS 276749 HAS SOUPS 275477 WITH SCORE 276485.569
AT ITER 3678 NEW BEST:: SOT 1892989 SOS 1008387 HAS SOPS 986509 HAS SOUS 276567 HAS SOUPS 275295 WITH SCORE 276303.387
AT ITER 3686 NEW BEST:: SOT 1893047 SOS 1008445 HAS SOPS 986429 HAS SOUS 276504 HAS SOUPS 275232 WITH SCORE 276240.445
AT ITER 3698 NEW BEST:: SOT 1893338 SOS 982932 HAS SOPS 960916 HAS SOUS 274603 HAS SOUPS 273331 WITH SCORE 274313.932
AT ITER 3701 NEW BEST:: SOT 1893337 SOS 982930 HAS SOPS 960914 HAS SOUS 274601 HAS SOUPS 273329 WITH SCORE 274311.93
AT ITER 3715 NEW BEST:: SOT 1893507 SOS 983363 HAS SOPS 961033 HAS SOUS 274688 HAS SOUPS 273314 WITH SCORE 274297.363
AT ITER 3717 NEW BEST:: SOT 1893485 SOS 983341 HAS SOPS 961011 HAS SOUS 274676 HAS SOUPS 273302 WITH SCORE 274285.341
AT ITER 3718 NEW BEST:: SOT 1893446 SOS 983302 HAS SOPS 960972 HAS SOUS 274598 HAS SOUPS 273224 WITH SCORE 274207.302
AT ITER 3737 NEW BEST:: SOT 1892951 SOS 983080 HAS SOPS 960750 HAS SOUS 274117 HAS SOUPS 272743 WITH SCORE 273726.08
AT ITER 3753 NEW BEST:: SOT 1875985 SOS 965906 HAS SOPS 943576 HAS SOUS 273799 HAS SOUPS 272425 WITH SCORE 273390.906
AT ITER 3763 NEW BEST:: SOT 1875985 SOS 965898 HAS SOPS 943568 HAS SOUS 273795 HAS SOUPS 272421 WITH SCORE 273386.898
AT ITER 3779 NEW BEST:: SOT 1876015 SOS 965865 HAS SOPS 943535 HAS SOUS 273756 HAS SOUPS 272382 WITH SCORE 273347.865
AT ITER 3783 NEW BEST:: SOT 1876999 SOS 966849 HAS SOPS 944519 HAS SOUS 272868 HAS SOUPS 271494 WITH SCORE 272460.849
AT ITER 3799 NEW BEST:: SOT 1876972 SOS 966822 HAS SOPS 944492 HAS SOUS 272841 HAS SOUPS 271467 WITH SCORE 272433.822
AT ITER 3853 NEW BEST:: SOT 1876530 SOS 966479 HAS SOPS 944149 HAS SOUS 271432 HAS SOUPS 270058 WITH SCORE 271024.479
AT ITER 3862 NEW BEST:: SOT 1876522 SOS 966467 HAS SOPS 944137 HAS SOUS 271432 HAS SOUPS 270058 WITH SCORE 271024.467
AT ITER 3881 NEW BEST:: SOT 1876515 SOS 966460 HAS SOPS 944130 HAS SOUS 271425 HAS SOUPS 270051 WITH SCORE 271017.46
AT ITER 3885 NEW BEST:: SOT 1876515 SOS 966460 HAS SOPS 944130 HAS SOUS 271411 HAS SOUPS 270037 WITH SCORE 271003.46
AT ITER 3888 NEW BEST:: SOT 1876475 SOS 966427 HAS SOPS 944097 HAS SOUS 271391 HAS SOUPS 270017 WITH SCORE 270983.427
AT ITER 3890 NEW BEST:: SOT 1876390 SOS 966290 HAS SOPS 943960 HAS SOUS 271066 HAS SOUPS 269692 WITH SCORE 270658.29
AT ITER 3960 NEW BEST:: SOT 1876512 SOS 966659 HAS SOPS 944572 HAS SOUS 270958 HAS SOUPS 269584 WITH SCORE 270550.659
AT ITER 3978 NEW BEST:: SOT 1876458 SOS 966602 HAS SOPS 944515 HAS SOUS 270503 HAS SOUPS 269129 WITH SCORE 270095.602
AT ITER 3983 NEW BEST:: SOT 1876383 SOS 966527 HAS SOPS 944440 HAS SOUS 270353 HAS SOUPS 268979 WITH SCORE 269945.527
AT ITER 3984 NEW BEST:: SOT 1876383 SOS 966527 HAS SOPS 944512 HAS SOUS 270261 HAS SOUPS 268887 WITH SCORE 269853.527
AT ITER 3995 NEW BEST:: SOT 1876345 SOS 966489 HAS SOPS 944474 HAS SOUS 269807 HAS SOUPS 268433 WITH SCORE 269399.489
AT ITER 3997 NEW BEST:: SOT 1876289 SOS 966433 HAS SOPS 944418 HAS SOUS 269759 HAS SOUPS 268385 WITH SCORE 269351.433
AT ITER 4008 NEW BEST:: SOT 1876284 SOS 966428 HAS SOPS 944341 HAS SOUS 269741 HAS SOUPS 268367 WITH SCORE 269333.428
AT ITER 4058 NEW BEST:: SOT 1876247 SOS 966393 HAS SOPS 944306 HAS SOUS 269706 HAS SOUPS 268332 WITH SCORE 269298.393
AT ITER 4085 NEW BEST:: SOT 1876209 SOS 966305 HAS SOPS 944218 HAS SOUS 269618 HAS SOUPS 268244 WITH SCORE 269210.305
AT ITER 4101 NEW BEST:: SOT 1876255 SOS 966351 HAS SOPS 944218 HAS SOUS 269611 HAS SOUPS 268237 WITH SCORE 269203.351
AT ITER 4117 NEW BEST:: SOT 1876248 SOS 966344 HAS SOPS 944211 HAS SOUS 269576 HAS SOUPS 268202 WITH SCORE 269168.344
AT ITER 4134 NEW BEST:: SOT 1876248 SOS 966348 HAS SOPS 944215 HAS SOUS 269573 HAS SOUPS 268199 WITH SCORE 269165.348
AT ITER 4148 NEW BEST:: SOT 1872036 SOS 962230 HAS SOPS 940097 HAS SOUS 265313 HAS SOUPS 263939 WITH SCORE 264901.23
AT ITER 4179 NEW BEST:: SOT 1871976 SOS 962170 HAS SOPS 940037 HAS SOUS 265277 HAS SOUPS 263903 WITH SCORE 264865.17
AT ITER 4193 NEW BEST:: SOT 1871922 SOS 962116 HAS SOPS 939983 HAS SOUS 265169 HAS SOUPS 263795 WITH SCORE 264757.116
AT ITER 4195 NEW BEST:: SOT 1871856 SOS 962050 HAS SOPS 939917 HAS SOUS 265037 HAS SOUPS 263663 WITH SCORE 264625.05
AT ITER 4197 NEW BEST:: SOT 1871814 SOS 962008 HAS SOPS 939875 HAS SOUS 264953 HAS SOUPS 263579 WITH SCORE 264541.008
AT ITER 4201 NEW BEST:: SOT 1871780 SOS 961974 HAS SOPS 939841 HAS SOUS 264919 HAS SOUPS 263545 WITH SCORE 264506.974
AT ITER 4232 NEW BEST:: SOT 1871771 SOS 961956 HAS SOPS 939823 HAS SOUS 264901 HAS SOUPS 263527 WITH SCORE 264488.956
AT ITER 4233 NEW BEST:: SOT 1871697 SOS 961893 HAS SOPS 939760 HAS SOUS 264866 HAS SOUPS 263492 WITH SCORE 264453.893
AT ITER 4234 NEW BEST:: SOT 1871685 SOS 958285 HAS SOPS 936152 HAS SOUS 263367 HAS SOUPS 261993 WITH SCORE 262951.285
AT ITER 4247 NEW BEST:: SOT 1871652 SOS 958252 HAS SOPS 936119 HAS SOUS 263301 HAS SOUPS 261927 WITH SCORE 262885.252
AT ITER 4251 NEW BEST:: SOT 1871516 SOS 957436 HAS SOPS 935303 HAS SOUS 263155 HAS SOUPS 261781 WITH SCORE 262738.436
AT ITER 4255 NEW BEST:: SOT 1871545 SOS 957546 HAS SOPS 935413 HAS SOUS 263122 HAS SOUPS 261748 WITH SCORE 262705.546
AT ITER 4263 NEW BEST:: SOT 1871652 SOS 958876 HAS SOPS 936743 HAS SOUS 262924 HAS SOUPS 261550 WITH SCORE 262508.876
AT ITER 4277 NEW BEST:: SOT 1871567 SOS 958791 HAS SOPS 936658 HAS SOUS 262754 HAS SOUPS 261380 WITH SCORE 262338.791
AT ITER 4278 NEW BEST:: SOT 1871552 SOS 958779 HAS SOPS 936646 HAS SOUS 262742 HAS SOUPS 261368 WITH SCORE 262326.779
AT ITER 4294 NEW BEST:: SOT 1870896 SOS 957968 HAS SOPS 935680 HAS SOUS 261931 HAS SOUPS 260557 WITH SCORE 261514.968
AT ITER 4330 NEW BEST:: SOT 1870835 SOS 957843 HAS SOPS 935648 HAS SOUS 261882 HAS SOUPS 260508 WITH SCORE 261465.843
AT ITER 4353 NEW BEST:: SOT 1866639 SOS 953622 HAS SOPS 931427 HAS SOUS 261143 HAS SOUPS 259769 WITH SCORE 260722.622
AT ITER 4354 NEW BEST:: SOT 1866607 SOS 954317 HAS SOPS 932053 HAS SOUS 261067 HAS SOUPS 259693 WITH SCORE 260647.317
AT ITER 4357 NEW BEST:: SOT 1866607 SOS 955161 HAS SOPS 932897 HAS SOUS 261011 HAS SOUPS 259637 WITH SCORE 260592.161
AT ITER 4360 NEW BEST:: SOT 1866531 SOS 955085 HAS SOPS 932821 HAS SOUS 260928 HAS SOUPS 259554 WITH SCORE 260509.085
AT ITER 4421 NEW BEST:: SOT 1866401 SOS 954788 HAS SOPS 932524 HAS SOUS 260908 HAS SOUPS 259534 WITH SCORE 260488.788
AT ITER 4429 NEW BEST:: SOT 1866513 SOS 955587 HAS SOPS 933532 HAS SOUS 260157 HAS SOUPS 258783 WITH SCORE 259738.587
AT ITER 4434 NEW BEST:: SOT 1866389 SOS 955502 HAS SOPS 933447 HAS SOUS 259903 HAS SOUPS 258529 WITH SCORE 259484.502
AT ITER 4436 NEW BEST:: SOT 1866463 SOS 955485 HAS SOPS 933430 HAS SOUS 259953 HAS SOUPS 258529 WITH SCORE 259484.485
AT ITER 4458 NEW BEST:: SOT 1866463 SOS 955485 HAS SOPS 933430 HAS SOUS 259905 HAS SOUPS 258481 WITH SCORE 259436.485
AT ITER 4479 NEW BEST:: SOT 1866355 SOS 955377 HAS SOPS 933322 HAS SOUS 259803 HAS SOUPS 258379 WITH SCORE 259334.377
AT ITER 4491 NEW BEST:: SOT 1866117 SOS 955199 HAS SOPS 933144 HAS SOUS 259716 HAS SOUPS 258292 WITH SCORE 259247.199
AT ITER 4511 NEW BEST:: SOT 1866116 SOS 955201 HAS SOPS 933146 HAS SOUS 259702 HAS SOUPS 258278 WITH SCORE 259233.201
AT ITER 4512 NEW BEST:: SOT 1866116 SOS 955204 HAS SOPS 933149 HAS SOUS 259693 HAS SOUPS 258269 WITH SCORE 259224.204
AT ITER 4519 NEW BEST:: SOT 1866062 SOS 955049 HAS SOPS 932994 HAS SOUS 259669 HAS SOUPS 258245 WITH SCORE 259200.049
AT ITER 4545 NEW BEST:: SOT 1865170 SOS 954279 HAS SOPS 932224 HAS SOUS 259397 HAS SOUPS 257973 WITH SCORE 258927.279
AT ITER 4570 NEW BEST:: SOT 1865195 SOS 954304 HAS SOPS 932249 HAS SOUS 259326 HAS SOUPS 257902 WITH SCORE 258856.304
AT ITER 4578 NEW BEST:: SOT 1865187 SOS 954296 HAS SOPS 932241 HAS SOUS 259310 HAS SOUPS 257886 WITH SCORE 258840.296
AT ITER 4582 NEW BEST:: SOT 1865145 SOS 954254 HAS SOPS 932157 HAS SOUS 259296 HAS SOUPS 257872 WITH SCORE 258826.254
AT ITER 4594 NEW BEST:: SOT 1866393 SOS 955554 HAS SOPS 933457 HAS SOUS 259152 HAS SOUPS 257728 WITH SCORE 258683.554
AT ITER 4598 NEW BEST:: SOT 1866275 SOS 955129 HAS SOPS 933032 HAS SOUS 258776 HAS SOUPS 257352 WITH SCORE 258307.129
AT ITER 4621 NEW BEST:: SOT 1866197 SOS 955051 HAS SOPS 932918 HAS SOUS 258662 HAS SOUPS 257238 WITH SCORE 258193.051
AT ITER 4628 NEW BEST:: SOT 1866155 SOS 910809 HAS SOPS 888676 HAS SOUS 258699 HAS SOUPS 257275 WITH SCORE 258185.809
AT ITER 4631 NEW BEST:: SOT 1866112 SOS 910815 HAS SOPS 888682 HAS SOUS 258507 HAS SOUPS 257083 WITH SCORE 257993.815
AT ITER 4647 NEW BEST:: SOT 1866056 SOS 910759 HAS SOPS 888654 HAS SOUS 258507 HAS SOUPS 257083 WITH SCORE 257993.759
AT ITER 4676 NEW BEST:: SOT 1866056 SOS 910755 HAS SOPS 888650 HAS SOUS 258503 HAS SOUPS 257079 WITH SCORE 257989.755
AT ITER 4701 NEW BEST:: SOT 1866005 SOS 910647 HAS SOPS 888542 HAS SOUS 258395 HAS SOUPS 256971 WITH SCORE 257881.647
AT ITER 4703 NEW BEST:: SOT 1865937 SOS 910525 HAS SOPS 888420 HAS SOUS 258327 HAS SOUPS 256903 WITH SCORE 257813.525
AT ITER 4709 NEW BEST:: SOT 1865919 SOS 910507 HAS SOPS 888411 HAS SOUS 258327 HAS SOUPS 256903 WITH SCORE 257813.507
AT ITER 4714 NEW BEST:: SOT 1865913 SOS 910504 HAS SOPS 888402 HAS SOUS 258318 HAS SOUPS 256894 WITH SCORE 257804.504
AT ITER 4731 NEW BEST:: SOT 1866144 SOS 910821 HAS SOPS 888984 HAS SOUS 258279 HAS SOUPS 256855 WITH SCORE 257765.821
AT ITER 4739 NEW BEST:: SOT 1866052 SOS 910819 HAS SOPS 888982 HAS SOUS 258255 HAS SOUPS 256831 WITH SCORE 257741.819
AT ITER 4741 NEW BEST:: SOT 1866052 SOS 910819 HAS SOPS 888982 HAS SOUS 258192 HAS SOUPS 256768 WITH SCORE 257678.819
AT ITER 4746 NEW BEST:: SOT 1850354 SOS 903454 HAS SOPS 892624 HAS SOUS 244818 HAS SOUPS 243744 WITH SCORE 244647.454
AT ITER 4765 NEW BEST:: SOT 1850398 SOS 903565 HAS SOPS 892735 HAS SOUS 244708 HAS SOUPS 243634 WITH SCORE 244537.565
AT ITER 4766 NEW BEST:: SOT 1850471 SOS 903638 HAS SOPS 892808 HAS SOUS 244492 HAS SOUPS 243418 WITH SCORE 244321.638
AT ITER 4772 NEW BEST:: SOT 1849774 SOS 903036 HAS SOPS 892206 HAS SOUS 243401 HAS SOUPS 242327 WITH SCORE 243230.036
AT ITER 4778 NEW BEST:: SOT 1849757 SOS 903015 HAS SOPS 892185 HAS SOUS 243200 HAS SOUPS 242126 WITH SCORE 243029.015
AT ITER 4791 NEW BEST:: SOT 1849786 SOS 903044 HAS SOPS 892214 HAS SOUS 243187 HAS SOUPS 242113 WITH SCORE 243016.044
AT ITER 4794 NEW BEST:: SOT 1849443 SOS 902701 HAS SOPS 891871 HAS SOUS 242936 HAS SOUPS 241862 WITH SCORE 242764.701
AT ITER 4796 NEW BEST:: SOT 1849359 SOS 902617 HAS SOPS 891787 HAS SOUS 242852 HAS SOUPS 241778 WITH SCORE 242680.617
AT ITER 4801 NEW BEST:: SOT 1848559 SOS 901627 HAS SOPS 890797 HAS SOUS 242002 HAS SOUPS 240928 WITH SCORE 241829.627
AT ITER 4818 NEW BEST:: SOT 1848553 SOS 901618 HAS SOPS 890788 HAS SOUS 241993 HAS SOUPS 240919 WITH SCORE 241820.618
AT ITER 4868 NEW BEST:: SOT 1848410 SOS 901529 HAS SOPS 890575 HAS SOUS 241456 HAS SOUPS 240382 WITH SCORE 241283.529
AT ITER 4904 NEW BEST:: SOT 1848254 SOS 901412 HAS SOPS 890458 HAS SOUS 241295 HAS SOUPS 240221 WITH SCORE 241122.412
AT ITER 4906 NEW BEST:: SOT 1848237 SOS 901322 HAS SOPS 890246 HAS SOUS 241276 HAS SOUPS 240202 WITH SCORE 241103.322
AT ITER 4924 NEW BEST:: SOT 1848299 SOS 901384 HAS SOPS 890304 HAS SOUS 241268 HAS SOUPS 240194 WITH SCORE 241095.384
AT ITER 4925 NEW BEST:: SOT 1848231 SOS 901651 HAS SOPS 890571 HAS SOUS 241159 HAS SOUPS 240085 WITH SCORE 240986.651
AT ITER 4930 NEW BEST:: SOT 1848010 SOS 901341 HAS SOPS 890261 HAS SOUS 240980 HAS SOUPS 239906 WITH SCORE 240807.341
AT ITER 4932 NEW BEST:: SOT 1847744 SOS 901080 HAS SOPS 889927 HAS SOUS 240449 HAS SOUPS 239375 WITH SCORE 240276.08
AT ITER 4937 NEW BEST:: SOT 1847744 SOS 901036 HAS SOPS 889883 HAS SOUS 240405 HAS SOUPS 239331 WITH SCORE 240232.036
AT ITER 4941 NEW BEST:: SOT 1847794 SOS 901086 HAS SOPS 889893 HAS SOUS 240307 HAS SOUPS 239233 WITH SCORE 240134.086
AT ITER 4944 NEW BEST:: SOT 1847785 SOS 901103 HAS SOPS 889915 HAS SOUS 240292 HAS SOUPS 239219 WITH SCORE 240120.103
AT ITER 4945 NEW BEST:: SOT 1847775 SOS 901093 HAS SOPS 889905 HAS SOUS 240273 HAS SOUPS 239200 WITH SCORE 240101.093
AT ITER 4950 NEW BEST:: SOT 1847775 SOS 901093 HAS SOPS 889905 HAS SOUS 240264 HAS SOUPS 239191 WITH SCORE 240092.093
AT ITER 4954 NEW BEST:: SOT 1847890 SOS 901208 HAS SOPS 890020 HAS SOUS 240116 HAS SOUPS 239043 WITH SCORE 239944.208
AT ITER 4956 NEW BEST:: SOT 1847833 SOS 901151 HAS SOPS 889963 HAS SOUS 240104 HAS SOUPS 239031 WITH SCORE 239932.151
AT ITER 4972 NEW BEST:: SOT 1847761 SOS 901079 HAS SOPS 889826 HAS SOUS 239933 HAS SOUPS 238860 WITH SCORE 239761.079
AT ITER 4981 NEW BEST:: SOT 1848015 SOS 901333 HAS SOPS 890096 HAS SOUS 239827 HAS SOUPS 238754 WITH SCORE 239655.333
AT ITER 4985 NEW BEST:: SOT 1848051 SOS 901369 HAS SOPS 890132 HAS SOUS 239793 HAS SOUPS 238720 WITH SCORE 239621.369
AT ITER 4999 NEW BEST:: SOT 1848001 SOS 901319 HAS SOPS 890082 HAS SOUS 239742 HAS SOUPS 238669 WITH SCORE 239570.319
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: PolyORBLF-PT-S04J04T10-CTLCardinality-00 ( (AG( ( (! potential( ( 2 ) <= (tk(P72) + tk(P259) + tk(P348) + tk(P350) + tk(P457) + tk(P495) + tk(P610) + tk(P696) + tk(P713) + tk(P815)) )) | ( potential( ( 2 ) <= (tk(P47) + tk(P50) + tk(P62) + tk(P77) + tk(P98) + tk(P103) + tk(P118) + tk(P121) + tk(P208) + tk(P217) + tk(P230) + tk(P237) + tk(P274) + tk(P293) + tk(P307) + tk(P315) + tk(P331) + tk(P349) + tk(P361) + tk(P389) + tk(P396) + tk(P450) + tk(P456) + tk(P462) + tk(P501) + tk(P553) + tk(P582) + tk(P622) + tk(P628) + tk(P652) + tk(P671) + tk(P687) + tk(P703) + tk(P749) + tk(P750) + tk(P790) + tk(P850) + tk(P856) + tk(P865) + tk(P870)) ) | potential( ( 1 ) <= (tk(P34) + tk(P137) + tk(P301) + tk(P323) + tk(P362) + tk(P539) + tk(P589) + tk(P615) + tk(P748) + tk(P791)) ) ) ))) & (! (! (EF(potential( ( 2 ) <= (tk(P61) + tk(P192) + tk(P342) + tk(P449) + tk(P474) + tk(P552) + tk(P561) + tk(P602) + tk(P662) + tk(P853)) ))))) )
PROPERTY: PolyORBLF-PT-S04J04T10-CTLCardinality-01 ( (EF(( ( potential( (tk(P7) + tk(P8) + tk(P10) + tk(P13) + tk(P36) + tk(P37) + tk(P95) + tk(P99) + tk(P132) + tk(P143) + tk(P184) + tk(P186) + tk(P200) + tk(P206) + tk(P219) + tk(P239) + tk(P241) + tk(P244) + tk(P262) + tk(P265) + tk(P300) + tk(P312) + tk(P330) + tk(P338) + tk(P347) + tk(P367) + tk(P399) + tk(P400) + tk(P414) + tk(P453) + tk(P454) + tk(P484) + tk(P510) + tk(P519) + tk(P532) + tk(P550) + tk(P556) + tk(P562) + tk(P564) + tk(P587) + tk(P619) + tk(P656) + tk(P661) + tk(P712) + tk(P723) + tk(P731) + tk(P771) + tk(P837) + tk(P858) + tk(P863)) <= (tk(P61) + tk(P192) + tk(P342) + tk(P449) + tk(P474) + tk(P552) + tk(P561) + tk(P602) + tk(P662) + tk(P853)) ) & potential( ( 3 ) <= (tk(P840)) ) ) & ( potential( (tk(P19) + tk(P32) + tk(P35) + tk(P78) + tk(P115) + tk(P131) + tk(P144) + tk(P160) + tk(P183) + tk(P203) + tk(P204) + tk(P207) + tk(P227) + tk(P253) + tk(P263) + tk(P289) + tk(P316) + tk(P320) + tk(P329) + tk(P337) + tk(P394) + tk(P403) + tk(P441) + tk(P444) + tk(P472) + tk(P497) + tk(P507) + tk(P515) + tk(P526) + tk(P554) + tk(P563) + tk(P567) + tk(P584) + tk(P600) + tk(P618) + tk(P665) + tk(P669) + tk(P686) + tk(P692) + tk(P693) + tk(P694) + tk(P722) + tk(P735) + tk(P747) + tk(P757) + tk(P788) + tk(P801) + tk(P805) + tk(P838) + tk(P866)) <= (tk(P15)) ) | potential( (tk(P54) + tk(P129) + tk(P130) + tk(P182) + tk(P303) + tk(P425) + tk(P540) + tk(P616) + tk(P654) + tk(P807)) <= (tk(P44) + tk(P124) + tk(P242) + tk(P465) + tk(P469) + tk(P551) + tk(P739) + tk(P761) + tk(P846) + tk(P859)) ) ) ))) | ( potential( ( 1 ) <= (tk(P119)) ) | ( ( ( potential( (tk(P250)) <= (tk(P7) + tk(P8) + tk(P10) + tk(P13) + tk(P36) + tk(P37) + tk(P95) + tk(P99) + tk(P132) + tk(P143) + tk(P184) + tk(P186) + tk(P200) + tk(P206) + tk(P219) + tk(P239) + tk(P241) + tk(P244) + tk(P262) + tk(P265) + tk(P300) + tk(P312) + tk(P330) + tk(P338) + tk(P347) + tk(P367) + tk(P399) + tk(P400) + tk(P414) + tk(P453) + tk(P454) + tk(P484) + tk(P510) + tk(P519) + tk(P532) + tk(P550) + tk(P556) + tk(P562) + tk(P564) + tk(P587) + tk(P619) + tk(P656) + tk(P661) + tk(P712) + tk(P723) + tk(P731) + tk(P771) + tk(P837) + tk(P858) + tk(P863)) ) | potential( ( 3 ) <= (tk(P25) + tk(P52) + tk(P166) + tk(P294) + tk(P428) + tk(P541) + tk(P578) + tk(P675) + tk(P715) + tk(P833)) ) ) | potential( (tk(P272) + tk(P498) + tk(P648) + tk(P812)) <= (tk(P1) + tk(P100) + tk(P213) + tk(P310) + tk(P409) + tk(P547) + tk(P575) + tk(P777) + tk(P785) + tk(P803)) ) ) & potential( ( 3 ) <= (tk(P574)) ) ) ) )
PROPERTY: PolyORBLF-PT-S04J04T10-CTLCardinality-02 ( ( ( (EF(potential( (tk(P247)) <= (tk(P11) + tk(P128) + tk(P267) + tk(P306) + tk(P354) + tk(P422) + tk(P496) + tk(P525) + tk(P570) + tk(P839)) ))) & (EG( potential( ( 2 ) <= (tk(P482) + tk(P581) + tk(P744) + tk(P844)) ))) ) | ( ( ( potential( (tk(P92) + tk(P256) + tk(P632) + tk(P795) + tk(P819)) <= (tk(P101) + tk(P199) + tk(P202) + tk(P290) + tk(P468) + tk(P473) + tk(P520) + tk(P698) + tk(P793) + tk(P804)) ) & potential( (tk(P53) + tk(P79) + tk(P114) + tk(P180) + tk(P238) + tk(P281) + tk(P486) + tk(P543) + tk(P560) + tk(P855)) <= (tk(P5) + tk(P120) + tk(P228) + tk(P327) + tk(P670)) ) ) | ( potential( (tk(P167)) <= (tk(P170)) ) | potential( (tk(P76) + tk(P162) + tk(P254) + tk(P285) + tk(P443) + tk(P445) + tk(P514) + tk(P644) + tk(P755) + tk(P834)) <= (tk(P38) + tk(P56) + tk(P84) + tk(P278) + tk(P380) + tk(P512) + tk(P591) + tk(P621) + tk(P626) + tk(P758)) ) ) ) & ( ( potential( ( 2 ) <= (tk(P76) + tk(P162) + tk(P254) + tk(P285) + tk(P443) + tk(P445) + tk(P514) + tk(P644) + tk(P755) + tk(P834)) ) & potential( (tk(P7) + tk(P8) + tk(P10) + tk(P13) + tk(P36) + tk(P37) + tk(P95) + tk(P99) + tk(P132) + tk(P143) + tk(P184) + tk(P186) + tk(P200) + tk(P206) + tk(P219) + tk(P239) + tk(P241) + tk(P244) + tk(P262) + tk(P265) + tk(P300) + tk(P312) + tk(P330) + tk(P338) + tk(P347) + tk(P367) + tk(P399) + tk(P400) + tk(P414) + tk(P453) + tk(P454) + tk(P484) + tk(P510) + tk(P519) + tk(P532) + tk(P550) + tk(P556) + tk(P562) + tk(P564) + tk(P587) + tk(P619) + tk(P656) + tk(P661) + tk(P712) + tk(P723) + tk(P731) + tk(P771) + tk(P837) + tk(P858) + tk(P863)) <= (tk(P48) + tk(P106) + tk(P191) + tk(P214) + tk(P283) + tk(P397) + tk(P555) + tk(P613) + tk(P691) + tk(P765)) ) ) & ( potential( (tk(P384)) <= (tk(P222)) ) & potential( ( 2 ) <= (tk(P72) + tk(P259) + tk(P348) + tk(P350) + tk(P457) + tk(P495) + tk(P610) + tk(P696) + tk(P713) + tk(P815)) ) ) ) ) ) | (AG( ( ( potential( (tk(P70) + tk(P231) + tk(P269) + tk(P363) + tk(P369) + tk(P435) + tk(P595) + tk(P624) + tk(P733) + tk(P857)) <= (tk(P173)) ) | potential( (tk(P92) + tk(P256) + tk(P632) + tk(P795) + tk(P819)) <= (tk(P92) + tk(P256) + tk(P632) + tk(P795) + tk(P819)) ) ) & ( potential( (tk(P173)) <= (tk(P817)) ) | potential( (tk(P606)) <= (tk(P19) + tk(P32) + tk(P35) + tk(P78) + tk(P115) + tk(P131) + tk(P144) + tk(P160) + tk(P183) + tk(P203) + tk(P204) + tk(P207) + tk(P227) + tk(P253) + tk(P263) + tk(P289) + tk(P316) + tk(P320) + tk(P329) + tk(P337) + tk(P394) + tk(P403) + tk(P441) + tk(P444) + tk(P472) + tk(P497) + tk(P507) + tk(P515) + tk(P526) + tk(P554) + tk(P563) + tk(P567) + tk(P584) + tk(P600) + tk(P618) + tk(P665) + tk(P669) + tk(P686) + tk(P692) + tk(P693) + tk(P694) + tk(P722) + tk(P735) + tk(P747) + tk(P757) + tk(P788) + tk(P801) + tk(P805) + tk(P838) + tk(P866)) ) ) ))) )
PROPERTY: PolyORBLF-PT-S04J04T10-CTLCardinality-03 (AG( (EU( potential( (tk(P817)) <= (tk(P608)) ),potential( ( 2 ) <= (tk(P398) + tk(P490) + tk(P611) + tk(P770) + tk(P773)) ) ))))
PROPERTY: PolyORBLF-PT-S04J04T10-CTLCardinality-04 (AF(potential( ( 3 ) <= (tk(P70) + tk(P231) + tk(P269) + tk(P363) + tk(P369) + tk(P435) + tk(P595) + tk(P624) + tk(P733) + tk(P857)) )))
PROPERTY: PolyORBLF-PT-S04J04T10-CTLCardinality-05 ( (EG( (EF(potential( (tk(P606)) <= (tk(P53) + tk(P79) + tk(P114) + tk(P180) + tk(P238) + tk(P281) + tk(P486) + tk(P543) + tk(P560) + tk(P855)) ))))) & (! (EX( ( potential( ( 2 ) <= (tk(P817)) ) & potential( (tk(P6) + tk(P150) + tk(P158) + tk(P275) + tk(P292) + tk(P319) + tk(P386) + tk(P524) + tk(P643) + tk(P783)) <= (tk(P482) + tk(P581) + tk(P744) + tk(P844)) ) )))) )
PROPERTY: PolyORBLF-PT-S04J04T10-CTLCardinality-06 (EF(potential( (tk(P760)) <= (tk(P60) + tk(P86) + tk(P109) + tk(P189) + tk(P255) + tk(P302) + tk(P343) + tk(P463) + tk(P598) + tk(P776)) )))
PROPERTY: PolyORBLF-PT-S04J04T10-CTLCardinality-07 ( potential( (tk(P334)) <= (tk(P91) + tk(P110) + tk(P215) + tk(P270) + tk(P305) + tk(P401) + tk(P599) + tk(P695) + tk(P823) + tk(P868)) ) & ( (! (! potential( (tk(P108) + tk(P210) + tk(P357) + tk(P430) + tk(P447) + tk(P594) + tk(P681) + tk(P683) + tk(P842) + tk(P847)) <= (tk(P25) + tk(P52) + tk(P166) + tk(P294) + tk(P428) + tk(P541) + tk(P578) + tk(P675) + tk(P715) + tk(P833)) ))) & ( (AF(potential( ( 3 ) <= (tk(P40) + tk(P139) + tk(P252) + tk(P346) + tk(P481) + tk(P559) + tk(P573) + tk(P612) + tk(P690) + tk(P768)) ))) | (EX( potential( ( 3 ) <= (tk(P41) + tk(P46) + tk(P65) + tk(P83) + tk(P104) + tk(P105) + tk(P111) + tk(P201) + tk(P205) + tk(P211) + tk(P212) + tk(P218) + tk(P298) + tk(P299) + tk(P341) + tk(P352) + tk(P365) + tk(P372) + tk(P379) + tk(P408) + tk(P432) + tk(P442) + tk(P471) + tk(P477) + tk(P488) + tk(P504) + tk(P549) + tk(P568) + tk(P576) + tk(P596) + tk(P651) + tk(P653) + tk(P701) + tk(P742) + tk(P752) + tk(P809) + tk(P810) + tk(P829) + tk(P851) + tk(P854)) ))) ) ) )
PROPERTY: PolyORBLF-PT-S04J04T10-CTLCardinality-08 (AG( potential( (tk(P491)) <= (tk(P241)) )))
PROPERTY: PolyORBLF-PT-S04J04T10-CTLCardinality-09 ( (AG( (AF(potential( (tk(P754)) <= (tk(P377)) ))))) | (EU( ( potential( ( 2 ) <= (tk(P781)) ) | potential( (tk(P308)) <= (tk(P147)) ) ),( potential( ( 3 ) <= (tk(P240)) ) & potential( (tk(P160)) <= (tk(P381)) ) ) )) )
PROPERTY: PolyORBLF-PT-S04J04T10-CTLCardinality-10 (EF(( ( (! potential( (tk(P757)) <= (tk(P792)) )) | potential( ( 2 ) <= (tk(P853)) ) ) | ( potential( (tk(P828)) <= (tk(P327)) ) & potential( ( 2 ) <= (tk(P173)) ) ) )))
PROPERTY: PolyORBLF-PT-S04J04T10-CTLCardinality-11 (AX( (AF((! potential( (tk(P332)) <= (tk(P105)) ))))))
PROPERTY: PolyORBLF-PT-S04J04T10-CTLCardinality-12 ( (AX( ( ( potential( ( 3 ) <= (tk(P689)) ) | potential( ( 2 ) <= (tk(P509)) ) ) & (! potential( ( 3 ) <= (tk(P37)) )) ))) | (AF(potential( ( 2 ) <= (tk(P706)) ))) )
PROPERTY: PolyORBLF-PT-S04J04T10-CTLCardinality-13 (AF(potential( ( 1 ) <= (tk(P66)) )))
PROPERTY: PolyORBLF-PT-S04J04T10-CTLCardinality-14 ( (! ( ( (! potential( ( 3 ) <= (tk(P633)) )) & potential( (tk(P454)) <= (tk(P203)) ) ) & (EG( potential( (tk(P678)) <= (tk(P585)) ))) )) | ( (AG( (! potential( ( 2 ) <= (tk(P658)) )))) & ( ( ( potential( (tk(P643)) <= (tk(P804)) ) & potential( (tk(P331)) <= (tk(P415)) ) ) & ( potential( ( 3 ) <= (tk(P562)) ) & potential( (tk(P75)) <= (tk(P668)) ) ) ) | potential( ( 2 ) <= (tk(P198)) ) ) ) )
PROPERTY: PolyORBLF-PT-S04J04T10-CTLCardinality-15 ( (AG( potential( (tk(P317)) <= (tk(P542)) ))) & (! (! potential( (tk(P620)) <= (tk(P514)) ))) )

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

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