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.r048-ebro-158902542100352.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 DLCflexbar-PT-2b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542100352
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.7M
-rw-r--r-- 1 mcc users 3.7K Mar 30 02:13 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 30 02:13 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 28 16:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 16:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Apr 8 14:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 27 09:10 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 27 09:10 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 26 08:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 26 08:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 1.5M Mar 24 05:37 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589113786391

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCflexbar (PT), instance 2b
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 4456 places, 6272 transitions, 16411 arcs.
AT ITER 0 NEW BEST:: SOT 17497634 SOS 3463966 HAS SOPS 3463966 HAS SOUS 2667365 HAS SOUPS 2667365 WITH SCORE 2670828.966
AT ITER 62 NEW BEST:: SOT 17497137 SOS 3463699 HAS SOPS 3463699 HAS SOUS 2667098 HAS SOUPS 2667098 WITH SCORE 2670561.699
AT ITER 65 NEW BEST:: SOT 17497137 SOS 3463551 HAS SOPS 3463551 HAS SOUS 2666950 HAS SOUPS 2666950 WITH SCORE 2670413.551
AT ITER 70 NEW BEST:: SOT 17496810 SOS 3462897 HAS SOPS 3462897 HAS SOUS 2666296 HAS SOUPS 2666296 WITH SCORE 2669758.897
AT ITER 83 NEW BEST:: SOT 17496339 SOS 3462425 HAS SOPS 3462425 HAS SOUS 2665824 HAS SOUPS 2665824 WITH SCORE 2669286.425
AT ITER 87 NEW BEST:: SOT 17495674 SOS 3459100 HAS SOPS 3459100 HAS SOUS 2664494 HAS SOUPS 2664494 WITH SCORE 2667953.1
AT ITER 99 NEW BEST:: SOT 17493882 SOS 3457308 HAS SOPS 3457308 HAS SOUS 2662702 HAS SOUPS 2662702 WITH SCORE 2666159.308
AT ITER 105 NEW BEST:: SOT 17493278 SOS 3456704 HAS SOPS 3456704 HAS SOUS 2662098 HAS SOUPS 2662098 WITH SCORE 2665554.704
AT ITER 115 NEW BEST:: SOT 17493220 SOS 3456588 HAS SOPS 3456588 HAS SOUS 2661758 HAS SOUPS 2661758 WITH SCORE 2665214.588
AT ITER 149 NEW BEST:: SOT 17493302 SOS 3456752 HAS SOPS 3456752 HAS SOUS 2660808 HAS SOUPS 2660808 WITH SCORE 2664264.752
AT ITER 209 NEW BEST:: SOT 17490770 SOS 3456189 HAS SOPS 3456189 HAS SOUS 2659415 HAS SOUPS 2659415 WITH SCORE 2662871.189
AT ITER 229 NEW BEST:: SOT 17490636 SOS 3455921 HAS SOPS 3455921 HAS SOUS 2659147 HAS SOUPS 2659147 WITH SCORE 2662602.921
AT ITER 238 NEW BEST:: SOT 17490138 SOS 3455581 HAS SOPS 3455581 HAS SOUS 2658807 HAS SOUPS 2658807 WITH SCORE 2662262.581
AT ITER 260 NEW BEST:: SOT 17490104 SOS 3455192 HAS SOPS 3455192 HAS SOUS 2658418 HAS SOUPS 2658418 WITH SCORE 2661873.192
AT ITER 273 NEW BEST:: SOT 17488934 SOS 3453632 HAS SOPS 3453632 HAS SOUS 2658218 HAS SOUPS 2658218 WITH SCORE 2661671.632
AT ITER 281 NEW BEST:: SOT 17488816 SOS 3453396 HAS SOPS 3453396 HAS SOUS 2657465 HAS SOUPS 2657465 WITH SCORE 2660918.396
AT ITER 288 NEW BEST:: SOT 17488816 SOS 3453396 HAS SOPS 3453396 HAS SOUS 2657464 HAS SOUPS 2657464 WITH SCORE 2660917.396
AT ITER 296 NEW BEST:: SOT 17487983 SOS 3453242 HAS SOPS 3453242 HAS SOUS 2657310 HAS SOUPS 2657310 WITH SCORE 2660763.242
AT ITER 300 NEW BEST:: SOT 17487983 SOS 3453242 HAS SOPS 3453242 HAS SOUS 2656502 HAS SOUPS 2656502 WITH SCORE 2659955.242
AT ITER 322 NEW BEST:: SOT 17487983 SOS 3453106 HAS SOPS 3453106 HAS SOUS 2656434 HAS SOUPS 2656434 WITH SCORE 2659887.106
AT ITER 349 NEW BEST:: SOT 17484338 SOS 3464248 HAS SOPS 3464248 HAS SOUS 2655835 HAS SOUPS 2655835 WITH SCORE 2659299.248
AT ITER 362 NEW BEST:: SOT 17484226 SOS 3464135 HAS SOPS 3464135 HAS SOUS 2655619 HAS SOUPS 2655619 WITH SCORE 2659083.135
AT ITER 386 NEW BEST:: SOT 17484226 SOS 3464055 HAS SOPS 3464055 HAS SOUS 2655539 HAS SOUPS 2655539 WITH SCORE 2659003.055
AT ITER 405 NEW BEST:: SOT 17483968 SOS 3463926 HAS SOPS 3463926 HAS SOUS 2655410 HAS SOUPS 2655410 WITH SCORE 2658873.926
AT ITER 452 NEW BEST:: SOT 17483613 SOS 3463216 HAS SOPS 3463216 HAS SOUS 2654700 HAS SOUPS 2654700 WITH SCORE 2658163.216
AT ITER 472 NEW BEST:: SOT 17483105 SOS 3462962 HAS SOPS 3462962 HAS SOUS 2654446 HAS SOUPS 2654446 WITH SCORE 2657908.962
AT ITER 491 NEW BEST:: SOT 17483443 SOS 3463638 HAS SOPS 3463638 HAS SOUS 2654427 HAS SOUPS 2654427 WITH SCORE 2657890.638
AT ITER 493 NEW BEST:: SOT 17483305 SOS 3463362 HAS SOPS 3463362 HAS SOUS 2653843 HAS SOUPS 2653843 WITH SCORE 2657306.362
AT ITER 498 NEW BEST:: SOT 17483589 SOS 3463508 HAS SOPS 3463508 HAS SOUS 2653704 HAS SOUPS 2653704 WITH SCORE 2657167.508
AT ITER 528 NEW BEST:: SOT 17483588 SOS 3463459 HAS SOPS 3463459 HAS SOUS 2653655 HAS SOUPS 2653655 WITH SCORE 2657118.459
AT ITER 554 NEW BEST:: SOT 17482892 SOS 3463111 HAS SOPS 3463111 HAS SOUS 2653307 HAS SOUPS 2653307 WITH SCORE 2656770.111
AT ITER 589 NEW BEST:: SOT 17482400 SOS 3462903 HAS SOPS 3462903 HAS SOUS 2653099 HAS SOUPS 2653099 WITH SCORE 2656561.903
AT ITER 612 NEW BEST:: SOT 17482400 SOS 3462903 HAS SOPS 3462903 HAS SOUS 2652994 HAS SOUPS 2652994 WITH SCORE 2656456.903
AT ITER 651 NEW BEST:: SOT 17482739 SOS 3463581 HAS SOPS 3463581 HAS SOUS 2652598 HAS SOUPS 2652598 WITH SCORE 2656061.581
AT ITER 666 NEW BEST:: SOT 17482668 SOS 3463439 HAS SOPS 3463439 HAS SOUS 2652456 HAS SOUPS 2652456 WITH SCORE 2655919.439
AT ITER 675 NEW BEST:: SOT 17482943 SOS 3463473 HAS SOPS 3463473 HAS SOUS 2652364 HAS SOUPS 2652364 WITH SCORE 2655827.473
AT ITER 678 NEW BEST:: SOT 17482660 SOS 3463190 HAS SOPS 3463190 HAS SOUS 2652081 HAS SOUPS 2652081 WITH SCORE 2655544.19
AT ITER 684 NEW BEST:: SOT 17482840 SOS 3462801 HAS SOPS 3462801 HAS SOUS 2651692 HAS SOUPS 2651692 WITH SCORE 2655154.801
AT ITER 715 NEW BEST:: SOT 17482777 SOS 3462791 HAS SOPS 3462791 HAS SOUS 2651691 HAS SOUPS 2651691 WITH SCORE 2655153.791
AT ITER 726 NEW BEST:: SOT 17476354 SOS 3467356 HAS SOPS 3467356 HAS SOUS 2648679 HAS SOUPS 2648679 WITH SCORE 2652146.356
AT ITER 728 NEW BEST:: SOT 17475914 SOS 3466916 HAS SOPS 3466916 HAS SOUS 2648239 HAS SOUPS 2648239 WITH SCORE 2651705.916
AT ITER 751 NEW BEST:: SOT 17473324 SOS 3466540 HAS SOPS 3466540 HAS SOUS 2646850 HAS SOUPS 2646850 WITH SCORE 2650316.54
AT ITER 786 NEW BEST:: SOT 17471760 SOS 3464631 HAS SOPS 3464631 HAS SOUS 2645783 HAS SOUPS 2645783 WITH SCORE 2649247.631
AT ITER 789 NEW BEST:: SOT 17471305 SOS 3463721 HAS SOPS 3463721 HAS SOUS 2645409 HAS SOUPS 2645409 WITH SCORE 2648872.721
AT ITER 816 NEW BEST:: SOT 17471302 SOS 3463715 HAS SOPS 3463715 HAS SOUS 2645405 HAS SOUPS 2645405 WITH SCORE 2648868.715
AT ITER 822 NEW BEST:: SOT 17468939 SOS 3460747 HAS SOPS 3460747 HAS SOUS 2643105 HAS SOUPS 2643105 WITH SCORE 2646565.747
AT ITER 836 NEW BEST:: SOT 17467717 SOS 3460136 HAS SOPS 3460136 HAS SOUS 2642494 HAS SOUPS 2642494 WITH SCORE 2645954.136
AT ITER 848 NEW BEST:: SOT 17467596 SOS 3459894 HAS SOPS 3459894 HAS SOUS 2642252 HAS SOUPS 2642252 WITH SCORE 2645711.894
AT ITER 889 NEW BEST:: SOT 17467596 SOS 3460578 HAS SOPS 3460578 HAS SOUS 2642248 HAS SOUPS 2642248 WITH SCORE 2645708.578
AT ITER 908 NEW BEST:: SOT 17467593 SOS 3460572 HAS SOPS 3460572 HAS SOUS 2642242 HAS SOUPS 2642242 WITH SCORE 2645702.572
AT ITER 909 NEW BEST:: SOT 17467593 SOS 3460513 HAS SOPS 3460513 HAS SOUS 2642183 HAS SOUPS 2642183 WITH SCORE 2645643.513
AT ITER 911 NEW BEST:: SOT 17466937 SOS 3460051 HAS SOPS 3460051 HAS SOUS 2641527 HAS SOUPS 2641527 WITH SCORE 2644987.051
AT ITER 919 NEW BEST:: SOT 17466250 SOS 3458677 HAS SOPS 3458677 HAS SOUS 2640031 HAS SOUPS 2640031 WITH SCORE 2643489.677
AT ITER 985 NEW BEST:: SOT 17466250 SOS 3458620 HAS SOPS 3458620 HAS SOUS 2640031 HAS SOUPS 2640031 WITH SCORE 2643489.62
AT ITER 995 NEW BEST:: SOT 17465574 SOS 3457940 HAS SOPS 3457940 HAS SOUS 2639354 HAS SOUPS 2639354 WITH SCORE 2642811.94
AT ITER 998 NEW BEST:: SOT 17465170 SOS 3457536 HAS SOPS 3457536 HAS SOUS 2638950 HAS SOUPS 2638950 WITH SCORE 2642407.536
AT ITER 1029 NEW BEST:: SOT 17464945 SOS 3457086 HAS SOPS 3457086 HAS SOUS 2638500 HAS SOUPS 2638500 WITH SCORE 2641957.086
AT ITER 1033 NEW BEST:: SOT 17464945 SOS 3457082 HAS SOPS 3457082 HAS SOUS 2638499 HAS SOUPS 2638499 WITH SCORE 2641956.082
AT ITER 1037 NEW BEST:: SOT 17464701 SOS 3456572 HAS SOPS 3456572 HAS SOUS 2638324 HAS SOUPS 2638324 WITH SCORE 2641780.572
AT ITER 1080 NEW BEST:: SOT 17465276 SOS 3443546 HAS SOPS 3443546 HAS SOUS 2637539 HAS SOUPS 2637539 WITH SCORE 2640982.546
AT ITER 1096 NEW BEST:: SOT 17465505 SOS 3444004 HAS SOPS 3444004 HAS SOUS 2637115 HAS SOUPS 2637115 WITH SCORE 2640559.004
AT ITER 1111 NEW BEST:: SOT 17465536 SOS 3444610 HAS SOPS 3444610 HAS SOUS 2636667 HAS SOUPS 2636667 WITH SCORE 2640111.61
AT ITER 1114 NEW BEST:: SOT 17465536 SOS 3445215 HAS SOPS 3445215 HAS SOUS 2636666 HAS SOUPS 2636666 WITH SCORE 2640111.215
AT ITER 1153 NEW BEST:: SOT 17464754 SOS 3444472 HAS SOPS 3444472 HAS SOUS 2635908 HAS SOUPS 2635908 WITH SCORE 2639352.472
AT ITER 1159 NEW BEST:: SOT 17464754 SOS 3444361 HAS SOPS 3444361 HAS SOUS 2635908 HAS SOUPS 2635908 WITH SCORE 2639352.361
AT ITER 1180 NEW BEST:: SOT 17464178 SOS 3443876 HAS SOPS 3443876 HAS SOUS 2635379 HAS SOUPS 2635379 WITH SCORE 2638822.876
AT ITER 1196 NEW BEST:: SOT 17464148 SOS 3443816 HAS SOPS 3443816 HAS SOUS 2635319 HAS SOUPS 2635319 WITH SCORE 2638762.816
AT ITER 1212 NEW BEST:: SOT 17463330 SOS 3439726 HAS SOPS 3439726 HAS SOUS 2633683 HAS SOUPS 2633683 WITH SCORE 2637122.726
AT ITER 1228 NEW BEST:: SOT 17462760 SOS 3439281 HAS SOPS 3439281 HAS SOUS 2633358 HAS SOUPS 2633358 WITH SCORE 2636797.281
AT ITER 1229 NEW BEST:: SOT 17462262 SOS 3439149 HAS SOPS 3439149 HAS SOUS 2633226 HAS SOUPS 2633226 WITH SCORE 2636665.149
AT ITER 1262 NEW BEST:: SOT 17459760 SOS 3439313 HAS SOPS 3439313 HAS SOUS 2632016 HAS SOUPS 2632016 WITH SCORE 2635455.313
AT ITER 1269 NEW BEST:: SOT 17459111 SOS 3437472 HAS SOPS 3437472 HAS SOUS 2631327 HAS SOUPS 2631327 WITH SCORE 2634764.472
AT ITER 1270 NEW BEST:: SOT 17458861 SOS 3437218 HAS SOPS 3437218 HAS SOUS 2631076 HAS SOUPS 2631076 WITH SCORE 2634513.218
AT ITER 1293 NEW BEST:: SOT 17457638 SOS 3436570 HAS SOPS 3436570 HAS SOUS 2630059 HAS SOUPS 2630059 WITH SCORE 2633495.57
AT ITER 1295 NEW BEST:: SOT 17457633 SOS 3436560 HAS SOPS 3436560 HAS SOUS 2630049 HAS SOUPS 2630049 WITH SCORE 2633485.56
AT ITER 1300 NEW BEST:: SOT 17456979 SOS 3435252 HAS SOPS 3435252 HAS SOUS 2628741 HAS SOUPS 2628741 WITH SCORE 2632176.252
AT ITER 1330 NEW BEST:: SOT 17457063 SOS 3435420 HAS SOPS 3435420 HAS SOUS 2628639 HAS SOUPS 2628639 WITH SCORE 2632074.42
AT ITER 1372 NEW BEST:: SOT 17456601 SOS 3434496 HAS SOPS 3434496 HAS SOUS 2628177 HAS SOUPS 2628177 WITH SCORE 2631611.496
AT ITER 1375 NEW BEST:: SOT 17456601 SOS 3434496 HAS SOPS 3434496 HAS SOUS 2627319 HAS SOUPS 2627319 WITH SCORE 2630753.496
AT ITER 1403 NEW BEST:: SOT 17456462 SOS 3434631 HAS SOPS 3434631 HAS SOUS 2627318 HAS SOUPS 2627318 WITH SCORE 2630752.631
AT ITER 1434 NEW BEST:: SOT 17451622 SOS 3435103 HAS SOPS 3435103 HAS SOUS 2624890 HAS SOUPS 2624890 WITH SCORE 2628325.103
AT ITER 1457 NEW BEST:: SOT 17451622 SOS 3434891 HAS SOPS 3434891 HAS SOUS 2624890 HAS SOUPS 2624890 WITH SCORE 2628324.891
AT ITER 1481 NEW BEST:: SOT 17451325 SOS 3434297 HAS SOPS 3434297 HAS SOUS 2624593 HAS SOUPS 2624593 WITH SCORE 2628027.297
AT ITER 1499 NEW BEST:: SOT 17451275 SOS 3434197 HAS SOPS 3434197 HAS SOUS 2624493 HAS SOUPS 2624493 WITH SCORE 2627927.197
AT ITER 1501 NEW BEST:: SOT 17451275 SOS 3434098 HAS SOPS 3434098 HAS SOUS 2624394 HAS SOUPS 2624394 WITH SCORE 2627828.098
AT ITER 1502 NEW BEST:: SOT 17451145 SOS 3434478 HAS SOPS 3434478 HAS SOUS 2624238 HAS SOUPS 2624238 WITH SCORE 2627672.478
AT ITER 1524 NEW BEST:: SOT 17450990 SOS 3434168 HAS SOPS 3434168 HAS SOUS 2623998 HAS SOUPS 2623998 WITH SCORE 2627432.168
AT ITER 1529 NEW BEST:: SOT 17450510 SOS 3433499 HAS SOPS 3433499 HAS SOUS 2623517 HAS SOUPS 2623517 WITH SCORE 2626950.499
AT ITER 1542 NEW BEST:: SOT 17450510 SOS 3433499 HAS SOPS 3433499 HAS SOUS 2622554 HAS SOUPS 2622554 WITH SCORE 2625987.499
AT ITER 1583 NEW BEST:: SOT 17450483 SOS 3433445 HAS SOPS 3433445 HAS SOUS 2622511 HAS SOUPS 2622511 WITH SCORE 2625944.445
AT ITER 1607 NEW BEST:: SOT 17450483 SOS 3432961 HAS SOPS 3432961 HAS SOUS 2622511 HAS SOUPS 2622511 WITH SCORE 2625943.961
AT ITER 1618 NEW BEST:: SOT 17448200 SOS 3433639 HAS SOPS 3433639 HAS SOUS 2621539 HAS SOUPS 2621539 WITH SCORE 2624972.639
AT ITER 1658 NEW BEST:: SOT 17447991 SOS 3432662 HAS SOPS 3432662 HAS SOUS 2621138 HAS SOUPS 2621138 WITH SCORE 2624570.662
AT ITER 1700 NEW BEST:: SOT 17447991 SOS 3435172 HAS SOPS 3435172 HAS SOUS 2620857 HAS SOUPS 2620857 WITH SCORE 2624292.172
AT ITER 1715 NEW BEST:: SOT 17447169 SOS 3434346 HAS SOPS 3434346 HAS SOUS 2620034 HAS SOUPS 2620034 WITH SCORE 2623468.346
AT ITER 1749 NEW BEST:: SOT 17447169 SOS 3434341 HAS SOPS 3434341 HAS SOUS 2619772 HAS SOUPS 2619772 WITH SCORE 2623206.341
AT ITER 1756 NEW BEST:: SOT 17446652 SOS 3437939 HAS SOPS 3437939 HAS SOUS 2619342 HAS SOUPS 2619342 WITH SCORE 2622779.939
AT ITER 1775 NEW BEST:: SOT 17446652 SOS 3437617 HAS SOPS 3437617 HAS SOUS 2619342 HAS SOUPS 2619342 WITH SCORE 2622779.617
AT ITER 1787 NEW BEST:: SOT 17446173 SOS 3437146 HAS SOPS 3437146 HAS SOUS 2618871 HAS SOUPS 2618871 WITH SCORE 2622308.146
AT ITER 1813 NEW BEST:: SOT 17446173 SOS 3437114 HAS SOPS 3437114 HAS SOUS 2618839 HAS SOUPS 2618839 WITH SCORE 2622276.114
AT ITER 1824 NEW BEST:: SOT 17446173 SOS 3436934 HAS SOPS 3436934 HAS SOUS 2618839 HAS SOUPS 2618839 WITH SCORE 2622275.934
AT ITER 1842 NEW BEST:: SOT 17445674 SOS 3436717 HAS SOPS 3436717 HAS SOUS 2618622 HAS SOUPS 2618622 WITH SCORE 2622058.717
AT ITER 1864 NEW BEST:: SOT 17445674 SOS 3437328 HAS SOPS 3437328 HAS SOUS 2618621 HAS SOUPS 2618621 WITH SCORE 2622058.328
AT ITER 1873 NEW BEST:: SOT 17441042 SOS 3453768 HAS SOPS 3453768 HAS SOUS 2618440 HAS SOUPS 2618440 WITH SCORE 2621893.768
AT ITER 1880 NEW BEST:: SOT 17440859 SOS 3453600 HAS SOPS 3453600 HAS SOUS 2618072 HAS SOUPS 2618072 WITH SCORE 2621525.6
AT ITER 1890 NEW BEST:: SOT 17439231 SOS 3451953 HAS SOPS 3451953 HAS SOUS 2616429 HAS SOUPS 2616429 WITH SCORE 2619880.953
AT ITER 1901 NEW BEST:: SOT 17439231 SOS 3451837 HAS SOPS 3451837 HAS SOUS 2616313 HAS SOUPS 2616313 WITH SCORE 2619764.837
AT ITER 1902 NEW BEST:: SOT 17439018 SOS 3451624 HAS SOPS 3451624 HAS SOUS 2616100 HAS SOUPS 2616100 WITH SCORE 2619551.624
AT ITER 1945 NEW BEST:: SOT 17439322 SOS 3452232 HAS SOPS 3452232 HAS SOUS 2615583 HAS SOUPS 2615583 WITH SCORE 2619035.232
AT ITER 1962 NEW BEST:: SOT 17436881 SOS 3450023 HAS SOPS 3450023 HAS SOUS 2613666 HAS SOUPS 2613666 WITH SCORE 2617116.023
AT ITER 1978 NEW BEST:: SOT 17436778 SOS 3449920 HAS SOPS 3449920 HAS SOUS 2613460 HAS SOUPS 2613460 WITH SCORE 2616909.92
AT ITER 1985 NEW BEST:: SOT 17436660 SOS 3450034 HAS SOPS 3450034 HAS SOUS 2613459 HAS SOUPS 2613459 WITH SCORE 2616909.034
AT ITER 2024 NEW BEST:: SOT 17436234 SOS 3449431 HAS SOPS 3449431 HAS SOUS 2612856 HAS SOUPS 2612856 WITH SCORE 2616305.431
AT ITER 2027 NEW BEST:: SOT 17436161 SOS 3449285 HAS SOPS 3449285 HAS SOUS 2612710 HAS SOUPS 2612710 WITH SCORE 2616159.285
AT ITER 2038 NEW BEST:: SOT 17436161 SOS 3448605 HAS SOPS 3448605 HAS SOUS 2612370 HAS SOUPS 2612370 WITH SCORE 2615818.605
AT ITER 2050 NEW BEST:: SOT 17435974 SOS 3448231 HAS SOPS 3448231 HAS SOUS 2611996 HAS SOUPS 2611996 WITH SCORE 2615444.231
AT ITER 2053 NEW BEST:: SOT 17435974 SOS 3450286 HAS SOPS 3450286 HAS SOUS 2611786 HAS SOUPS 2611786 WITH SCORE 2615236.286
AT ITER 2072 NEW BEST:: SOT 17424909 SOS 3478615 HAS SOPS 3478615 HAS SOUS 2603664 HAS SOUPS 2603664 WITH SCORE 2607142.615
AT ITER 2109 NEW BEST:: SOT 17424909 SOS 3478555 HAS SOPS 3478555 HAS SOUS 2603664 HAS SOUPS 2603664 WITH SCORE 2607142.555
AT ITER 2118 NEW BEST:: SOT 17424482 SOS 3478749 HAS SOPS 3478749 HAS SOUS 2603237 HAS SOUPS 2603237 WITH SCORE 2606715.749
AT ITER 2149 NEW BEST:: SOT 17423965 SOS 3478907 HAS SOPS 3478907 HAS SOUS 2602720 HAS SOUPS 2602720 WITH SCORE 2606198.907
AT ITER 2157 NEW BEST:: SOT 17423543 SOS 3478063 HAS SOPS 3478063 HAS SOUS 2601876 HAS SOUPS 2601876 WITH SCORE 2605354.063
AT ITER 2179 NEW BEST:: SOT 17422991 SOS 3477232 HAS SOPS 3477232 HAS SOUS 2601322 HAS SOUPS 2601322 WITH SCORE 2604799.232
AT ITER 2184 NEW BEST:: SOT 17422939 SOS 3477128 HAS SOPS 3477128 HAS SOUS 2601218 HAS SOUPS 2601218 WITH SCORE 2604695.128
AT ITER 2192 NEW BEST:: SOT 17422444 SOS 3476877 HAS SOPS 3476877 HAS SOUS 2600967 HAS SOUPS 2600967 WITH SCORE 2604443.877
AT ITER 2210 NEW BEST:: SOT 17421708 SOS 3474929 HAS SOPS 3474929 HAS SOUS 2599928 HAS SOUPS 2599928 WITH SCORE 2603402.929
AT ITER 2221 NEW BEST:: SOT 17421707 SOS 3474927 HAS SOPS 3474927 HAS SOUS 2599926 HAS SOUPS 2599926 WITH SCORE 2603400.927
AT ITER 2223 NEW BEST:: SOT 17421629 SOS 3474615 HAS SOPS 3474615 HAS SOUS 2599848 HAS SOUPS 2599848 WITH SCORE 2603322.615
AT ITER 2261 NEW BEST:: SOT 17420328 SOS 3474251 HAS SOPS 3474251 HAS SOUS 2599293 HAS SOUPS 2599293 WITH SCORE 2602767.251
AT ITER 2267 NEW BEST:: SOT 17420039 SOS 3473673 HAS SOPS 3473673 HAS SOUS 2598715 HAS SOUPS 2598715 WITH SCORE 2602188.673
AT ITER 2270 NEW BEST:: SOT 17419845 SOS 3473285 HAS SOPS 3473285 HAS SOUS 2598521 HAS SOUPS 2598521 WITH SCORE 2601994.285
AT ITER 2282 NEW BEST:: SOT 17419845 SOS 3474145 HAS SOPS 3474145 HAS SOUS 2598520 HAS SOUPS 2598520 WITH SCORE 2601994.145
AT ITER 2307 NEW BEST:: SOT 17418549 SOS 3474121 HAS SOPS 3474121 HAS SOUS 2598195 HAS SOUPS 2598195 WITH SCORE 2601669.121
AT ITER 2329 NEW BEST:: SOT 17418548 SOS 3474119 HAS SOPS 3474119 HAS SOUS 2598193 HAS SOUPS 2598193 WITH SCORE 2601667.119
AT ITER 2438 NEW BEST:: SOT 17413071 SOS 3476044 HAS SOPS 3476044 HAS SOUS 2596546 HAS SOUPS 2596546 WITH SCORE 2600022.044
AT ITER 2446 NEW BEST:: SOT 17412399 SOS 3475368 HAS SOPS 3475368 HAS SOUS 2595873 HAS SOUPS 2595873 WITH SCORE 2599348.368
AT ITER 2456 NEW BEST:: SOT 17412383 SOS 3475336 HAS SOPS 3475336 HAS SOUS 2595841 HAS SOUPS 2595841 WITH SCORE 2599316.336
AT ITER 2471 NEW BEST:: SOT 17412383 SOS 3475336 HAS SOPS 3475336 HAS SOUS 2594993 HAS SOUPS 2594993 WITH SCORE 2598468.336
AT ITER 2483 NEW BEST:: SOT 17411886 SOS 3475515 HAS SOPS 3475515 HAS SOUS 2594887 HAS SOUPS 2594887 WITH SCORE 2598362.515
AT ITER 2484 NEW BEST:: SOT 17411886 SOS 3475430 HAS SOPS 3475430 HAS SOUS 2594802 HAS SOUPS 2594802 WITH SCORE 2598277.43
AT ITER 2486 NEW BEST:: SOT 17411395 SOS 3474939 HAS SOPS 3474939 HAS SOUS 2594311 HAS SOUPS 2594311 WITH SCORE 2597785.939
AT ITER 2511 NEW BEST:: SOT 17410869 SOS 3472309 HAS SOPS 3472309 HAS SOUS 2593259 HAS SOUPS 2593259 WITH SCORE 2596731.309
AT ITER 2517 NEW BEST:: SOT 17410868 SOS 3472307 HAS SOPS 3472307 HAS SOUS 2593257 HAS SOUPS 2593257 WITH SCORE 2596729.307
AT ITER 2532 NEW BEST:: SOT 17410867 SOS 3472305 HAS SOPS 3472305 HAS SOUS 2593255 HAS SOUPS 2593255 WITH SCORE 2596727.305
AT ITER 2535 NEW BEST:: SOT 17410893 SOS 3472357 HAS SOPS 3472357 HAS SOUS 2592790 HAS SOUPS 2592790 WITH SCORE 2596262.357
AT ITER 2551 NEW BEST:: SOT 17410893 SOS 3472447 HAS SOPS 3472447 HAS SOUS 2592783 HAS SOUPS 2592783 WITH SCORE 2596255.447
AT ITER 2552 NEW BEST:: SOT 17408989 SOS 3472123 HAS SOPS 3472123 HAS SOUS 2592227 HAS SOUPS 2592227 WITH SCORE 2595699.123
AT ITER 2556 NEW BEST:: SOT 17407942 SOS 3471826 HAS SOPS 3471826 HAS SOUS 2591930 HAS SOUPS 2591930 WITH SCORE 2595401.826
AT ITER 2559 NEW BEST:: SOT 17408563 SOS 3472649 HAS SOPS 3472649 HAS SOUS 2591487 HAS SOUPS 2591487 WITH SCORE 2594959.649
AT ITER 2579 NEW BEST:: SOT 17408323 SOS 3472169 HAS SOPS 3472169 HAS SOUS 2591247 HAS SOUPS 2591247 WITH SCORE 2594719.169
AT ITER 2582 NEW BEST:: SOT 17407919 SOS 3470149 HAS SOPS 3470149 HAS SOUS 2590439 HAS SOUPS 2590439 WITH SCORE 2593909.149
AT ITER 2583 NEW BEST:: SOT 17407919 SOS 3469174 HAS SOPS 3469174 HAS SOUS 2590114 HAS SOUPS 2590114 WITH SCORE 2593583.174
AT ITER 2611 NEW BEST:: SOT 17407729 SOS 3469173 HAS SOPS 3469173 HAS SOUS 2590113 HAS SOUPS 2590113 WITH SCORE 2593582.173
AT ITER 2635 NEW BEST:: SOT 17407729 SOS 3469853 HAS SOPS 3469853 HAS SOUS 2590112 HAS SOUPS 2590112 WITH SCORE 2593581.853
AT ITER 2661 NEW BEST:: SOT 17407657 SOS 3469709 HAS SOPS 3469709 HAS SOUS 2589968 HAS SOUPS 2589968 WITH SCORE 2593437.709
AT ITER 2682 NEW BEST:: SOT 17407353 SOS 3469101 HAS SOPS 3469101 HAS SOUS 2589360 HAS SOUPS 2589360 WITH SCORE 2592829.101
AT ITER 2708 NEW BEST:: SOT 17407314 SOS 3469023 HAS SOPS 3469023 HAS SOUS 2588987 HAS SOUPS 2588987 WITH SCORE 2592456.023
AT ITER 2718 NEW BEST:: SOT 17407314 SOS 3469703 HAS SOPS 3469703 HAS SOUS 2588986 HAS SOUPS 2588986 WITH SCORE 2592455.703
AT ITER 2741 NEW BEST:: SOT 17405998 SOS 3469045 HAS SOPS 3469045 HAS SOUS 2588328 HAS SOUPS 2588328 WITH SCORE 2591797.045
AT ITER 2744 NEW BEST:: SOT 17405449 SOS 3468323 HAS SOPS 3468323 HAS SOUS 2587779 HAS SOUPS 2587779 WITH SCORE 2591247.323
AT ITER 2784 NEW BEST:: SOT 17405412 SOS 3468249 HAS SOPS 3468249 HAS SOUS 2587705 HAS SOUPS 2587705 WITH SCORE 2591173.249
AT ITER 2785 NEW BEST:: SOT 17405208 SOS 3467841 HAS SOPS 3467841 HAS SOUS 2587297 HAS SOUPS 2587297 WITH SCORE 2590764.841
AT ITER 2790 NEW BEST:: SOT 17405208 SOS 3467789 HAS SOPS 3467789 HAS SOUS 2587297 HAS SOUPS 2587297 WITH SCORE 2590764.789
AT ITER 2796 NEW BEST:: SOT 17405208 SOS 3467789 HAS SOPS 3467789 HAS SOUS 2586553 HAS SOUPS 2586553 WITH SCORE 2590020.789
AT ITER 2810 NEW BEST:: SOT 17401295 SOS 3496852 HAS SOPS 3496852 HAS SOUS 2583837 HAS SOUPS 2583837 WITH SCORE 2587333.852
AT ITER 2821 NEW BEST:: SOT 17401282 SOS 3496846 HAS SOPS 3496846 HAS SOUS 2583831 HAS SOUPS 2583831 WITH SCORE 2587327.846
AT ITER 2831 NEW BEST:: SOT 17401376 SOS 3497034 HAS SOPS 3497034 HAS SOUS 2583558 HAS SOUPS 2583558 WITH SCORE 2587055.034
AT ITER 2838 NEW BEST:: SOT 17401013 SOS 3496308 HAS SOPS 3496308 HAS SOUS 2583195 HAS SOUPS 2583195 WITH SCORE 2586691.308
AT ITER 2869 NEW BEST:: SOT 17400277 SOS 3502396 HAS SOPS 3502396 HAS SOUS 2582067 HAS SOUPS 2582067 WITH SCORE 2585569.396
AT ITER 2893 NEW BEST:: SOT 17398495 SOS 3501100 HAS SOPS 3501100 HAS SOUS 2580771 HAS SOUPS 2580771 WITH SCORE 2584272.1
AT ITER 2924 NEW BEST:: SOT 17398419 SOS 3500948 HAS SOPS 3500948 HAS SOUS 2580619 HAS SOUPS 2580619 WITH SCORE 2584119.948
AT ITER 2928 NEW BEST:: SOT 17398220 SOS 3500550 HAS SOPS 3500550 HAS SOUS 2579763 HAS SOUPS 2579763 WITH SCORE 2583263.55
AT ITER 2931 NEW BEST:: SOT 17391733 SOS 3497762 HAS SOPS 3497762 HAS SOUS 2575858 HAS SOUPS 2575858 WITH SCORE 2579355.762
AT ITER 2950 NEW BEST:: SOT 17390736 SOS 3495768 HAS SOPS 3495768 HAS SOUS 2573926 HAS SOUPS 2573926 WITH SCORE 2577421.768
AT ITER 2973 NEW BEST:: SOT 17390342 SOS 3495625 HAS SOPS 3495625 HAS SOUS 2573747 HAS SOUPS 2573747 WITH SCORE 2577242.625
AT ITER 2986 NEW BEST:: SOT 17390074 SOS 3495491 HAS SOPS 3495491 HAS SOUS 2573613 HAS SOUPS 2573613 WITH SCORE 2577108.491
AT ITER 2991 NEW BEST:: SOT 17389725 SOS 3495142 HAS SOPS 3495142 HAS SOUS 2573264 HAS SOUPS 2573264 WITH SCORE 2576759.142
AT ITER 3019 NEW BEST:: SOT 17389206 SOS 3494188 HAS SOPS 3494188 HAS SOUS 2572857 HAS SOUPS 2572857 WITH SCORE 2576351.188
AT ITER 3031 NEW BEST:: SOT 17389206 SOS 3494188 HAS SOPS 3494188 HAS SOUS 2572787 HAS SOUPS 2572787 WITH SCORE 2576281.188
AT ITER 3033 NEW BEST:: SOT 17388102 SOS 3493636 HAS SOPS 3493636 HAS SOUS 2572235 HAS SOUPS 2572235 WITH SCORE 2575728.636
AT ITER 3036 NEW BEST:: SOT 17388476 SOS 3491727 HAS SOPS 3491727 HAS SOUS 2572170 HAS SOUPS 2572170 WITH SCORE 2575661.727
AT ITER 3037 NEW BEST:: SOT 17388728 SOS 3491375 HAS SOPS 3491375 HAS SOUS 2572103 HAS SOUPS 2572103 WITH SCORE 2575594.375
AT ITER 3040 NEW BEST:: SOT 17388290 SOS 3490500 HAS SOPS 3490500 HAS SOUS 2571228 HAS SOUPS 2571228 WITH SCORE 2574718.5
AT ITER 3042 NEW BEST:: SOT 17388589 SOS 3489577 HAS SOPS 3489577 HAS SOUS 2571169 HAS SOUPS 2571169 WITH SCORE 2574658.577
AT ITER 3050 NEW BEST:: SOT 17388409 SOS 3488857 HAS SOPS 3488857 HAS SOUS 2570809 HAS SOUPS 2570809 WITH SCORE 2574297.857
AT ITER 3057 NEW BEST:: SOT 17388600 SOS 3489239 HAS SOPS 3489239 HAS SOUS 2570703 HAS SOUPS 2570703 WITH SCORE 2574192.239
AT ITER 3060 NEW BEST:: SOT 17388418 SOS 3488875 HAS SOPS 3488875 HAS SOUS 2570587 HAS SOUPS 2570587 WITH SCORE 2574075.875
AT ITER 3063 NEW BEST:: SOT 17387192 SOS 3487032 HAS SOPS 3487032 HAS SOUS 2568744 HAS SOUPS 2568744 WITH SCORE 2572231.032
AT ITER 3095 NEW BEST:: SOT 17387192 SOS 3486346 HAS SOPS 3486346 HAS SOUS 2568744 HAS SOUPS 2568744 WITH SCORE 2572230.346
AT ITER 3106 NEW BEST:: SOT 17386778 SOS 3485932 HAS SOPS 3485932 HAS SOUS 2568330 HAS SOUPS 2568330 WITH SCORE 2571815.932
AT ITER 3127 NEW BEST:: SOT 17386489 SOS 3485355 HAS SOPS 3485355 HAS SOUS 2567753 HAS SOUPS 2567753 WITH SCORE 2571238.355
AT ITER 3130 NEW BEST:: SOT 17385578 SOS 3484739 HAS SOPS 3484739 HAS SOUS 2566842 HAS SOUPS 2566842 WITH SCORE 2570326.739
AT ITER 3139 NEW BEST:: SOT 17385327 SOS 3484488 HAS SOPS 3484488 HAS SOUS 2566842 HAS SOUPS 2566842 WITH SCORE 2570326.488
AT ITER 3152 NEW BEST:: SOT 17385327 SOS 3484488 HAS SOPS 3484488 HAS SOUS 2566841 HAS SOUPS 2566841 WITH SCORE 2570325.488
AT ITER 3169 NEW BEST:: SOT 17385326 SOS 3484486 HAS SOPS 3484486 HAS SOUS 2566839 HAS SOUPS 2566839 WITH SCORE 2570323.486
AT ITER 3172 NEW BEST:: SOT 17385298 SOS 3484402 HAS SOPS 3484402 HAS SOUS 2566783 HAS SOUPS 2566783 WITH SCORE 2570267.402
AT ITER 3185 NEW BEST:: SOT 17385230 SOS 3484267 HAS SOPS 3484267 HAS SOUS 2566648 HAS SOUPS 2566648 WITH SCORE 2570132.267
AT ITER 3189 NEW BEST:: SOT 17384918 SOS 3483955 HAS SOPS 3483955 HAS SOUS 2566336 HAS SOUPS 2566336 WITH SCORE 2569819.955
AT ITER 3199 NEW BEST:: SOT 17384696 SOS 3483511 HAS SOPS 3483511 HAS SOUS 2566281 HAS SOUPS 2566281 WITH SCORE 2569764.511
AT ITER 3212 NEW BEST:: SOT 17384696 SOS 3482918 HAS SOPS 3482918 HAS SOUS 2566281 HAS SOUPS 2566281 WITH SCORE 2569763.918
AT ITER 3213 NEW BEST:: SOT 17384049 SOS 3482268 HAS SOPS 3482268 HAS SOUS 2565632 HAS SOUPS 2565632 WITH SCORE 2569114.268
AT ITER 3222 NEW BEST:: SOT 17383889 SOS 3481948 HAS SOPS 3481948 HAS SOUS 2565472 HAS SOUPS 2565472 WITH SCORE 2568953.948
AT ITER 3230 NEW BEST:: SOT 17383710 SOS 3483381 HAS SOPS 3483381 HAS SOUS 2565357 HAS SOUPS 2565357 WITH SCORE 2568840.381
AT ITER 3255 NEW BEST:: SOT 17383710 SOS 3483630 HAS SOPS 3483630 HAS SOUS 2565354 HAS SOUPS 2565354 WITH SCORE 2568837.63
AT ITER 3269 NEW BEST:: SOT 17383709 SOS 3483509 HAS SOPS 3483509 HAS SOUS 2565233 HAS SOUPS 2565233 WITH SCORE 2568716.509
AT ITER 3279 NEW BEST:: SOT 17383100 SOS 3482900 HAS SOPS 3482900 HAS SOUS 2564624 HAS SOUPS 2564624 WITH SCORE 2568106.9
AT ITER 3294 NEW BEST:: SOT 17382829 SOS 3481816 HAS SOPS 3481816 HAS SOUS 2564353 HAS SOUPS 2564353 WITH SCORE 2567834.816
AT ITER 3299 NEW BEST:: SOT 17380431 SOS 3480072 HAS SOPS 3480072 HAS SOUS 2562609 HAS SOUPS 2562609 WITH SCORE 2566089.072
AT ITER 3305 NEW BEST:: SOT 17380361 SOS 3480050 HAS SOPS 3480050 HAS SOUS 2562587 HAS SOUPS 2562587 WITH SCORE 2566067.05
AT ITER 3312 NEW BEST:: SOT 17380278 SOS 3479884 HAS SOPS 3479884 HAS SOUS 2562421 HAS SOUPS 2562421 WITH SCORE 2565900.884
AT ITER 3313 NEW BEST:: SOT 17379700 SOS 3479207 HAS SOPS 3479207 HAS SOUS 2561843 HAS SOUPS 2561843 WITH SCORE 2565322.207
AT ITER 3328 NEW BEST:: SOT 17379700 SOS 3479207 HAS SOPS 3479207 HAS SOUS 2561715 HAS SOUPS 2561715 WITH SCORE 2565194.207
AT ITER 3340 NEW BEST:: SOT 17378879 SOS 3480701 HAS SOPS 3480701 HAS SOUS 2561090 HAS SOUPS 2561090 WITH SCORE 2564570.701
AT ITER 3354 NEW BEST:: SOT 17378278 SOS 3479499 HAS SOPS 3479499 HAS SOUS 2560489 HAS SOUPS 2560489 WITH SCORE 2563968.499
AT ITER 3368 NEW BEST:: SOT 17378120 SOS 3479183 HAS SOPS 3479183 HAS SOUS 2560173 HAS SOUPS 2560173 WITH SCORE 2563652.183
AT ITER 3376 NEW BEST:: SOT 17377915 SOS 3479583 HAS SOPS 3479583 HAS SOUS 2560172 HAS SOUPS 2560172 WITH SCORE 2563651.583
AT ITER 3379 NEW BEST:: SOT 17376808 SOS 3478453 HAS SOPS 3478453 HAS SOUS 2559364 HAS SOUPS 2559364 WITH SCORE 2562842.453
AT ITER 3389 NEW BEST:: SOT 17376807 SOS 3478671 HAS SOPS 3478671 HAS SOUS 2559362 HAS SOUPS 2559362 WITH SCORE 2562840.671
AT ITER 3405 NEW BEST:: SOT 17375644 SOS 3477217 HAS SOPS 3477217 HAS SOUS 2558961 HAS SOUPS 2558961 WITH SCORE 2562438.217
AT ITER 3412 NEW BEST:: SOT 17374403 SOS 3471774 HAS SOPS 3471774 HAS SOUS 2556214 HAS SOUPS 2556214 WITH SCORE 2559685.774
AT ITER 3433 NEW BEST:: SOT 17373580 SOS 3470947 HAS SOPS 3470947 HAS SOUS 2555390 HAS SOUPS 2555390 WITH SCORE 2558860.947
AT ITER 3437 NEW BEST:: SOT 17372535 SOS 3468857 HAS SOPS 3468857 HAS SOUS 2553300 HAS SOUPS 2553300 WITH SCORE 2556768.857
AT ITER 3444 NEW BEST:: SOT 17372635 SOS 3468605 HAS SOPS 3468605 HAS SOUS 2552814 HAS SOUPS 2552814 WITH SCORE 2556282.605
AT ITER 3452 NEW BEST:: SOT 17372635 SOS 3468605 HAS SOPS 3468605 HAS SOUS 2552657 HAS SOUPS 2552657 WITH SCORE 2556125.605
AT ITER 3476 NEW BEST:: SOT 17372635 SOS 3468438 HAS SOPS 3468438 HAS SOUS 2552657 HAS SOUPS 2552657 WITH SCORE 2556125.438
AT ITER 3490 NEW BEST:: SOT 17372487 SOS 3468142 HAS SOPS 3468142 HAS SOUS 2552361 HAS SOUPS 2552361 WITH SCORE 2555829.142
AT ITER 3497 NEW BEST:: SOT 17371556 SOS 3467234 HAS SOPS 3467234 HAS SOUS 2551429 HAS SOUPS 2551429 WITH SCORE 2554896.234
AT ITER 3513 NEW BEST:: SOT 17371066 SOS 3466915 HAS SOPS 3466915 HAS SOUS 2551113 HAS SOUPS 2551113 WITH SCORE 2554579.915
AT ITER 3537 NEW BEST:: SOT 17370334 SOS 3466549 HAS SOPS 3466549 HAS SOUS 2550747 HAS SOUPS 2550747 WITH SCORE 2554213.549
AT ITER 3555 NEW BEST:: SOT 17369894 SOS 3466146 HAS SOPS 3466146 HAS SOUS 2550344 HAS SOUPS 2550344 WITH SCORE 2553810.146
AT ITER 3559 NEW BEST:: SOT 17369769 SOS 3465896 HAS SOPS 3465896 HAS SOUS 2550094 HAS SOUPS 2550094 WITH SCORE 2553559.896
AT ITER 3568 NEW BEST:: SOT 17369769 SOS 3465895 HAS SOPS 3465895 HAS SOUS 2550093 HAS SOUPS 2550093 WITH SCORE 2553558.895
AT ITER 3577 NEW BEST:: SOT 17369709 SOS 3465775 HAS SOPS 3465775 HAS SOUS 2550033 HAS SOUPS 2550033 WITH SCORE 2553498.775
AT ITER 3593 NEW BEST:: SOT 17369776 SOS 3465909 HAS SOPS 3465909 HAS SOUS 2549996 HAS SOUPS 2549996 WITH SCORE 2553461.909
AT ITER 3612 NEW BEST:: SOT 17369776 SOS 3465845 HAS SOPS 3465845 HAS SOUS 2549964 HAS SOUPS 2549964 WITH SCORE 2553429.845
AT ITER 3623 NEW BEST:: SOT 17369222 SOS 3465568 HAS SOPS 3465568 HAS SOUS 2549687 HAS SOUPS 2549687 WITH SCORE 2553152.568
AT ITER 3627 NEW BEST:: SOT 17368681 SOS 3464486 HAS SOPS 3464486 HAS SOUS 2548975 HAS SOUPS 2548975 WITH SCORE 2552439.486
AT ITER 3637 NEW BEST:: SOT 17368621 SOS 3464366 HAS SOPS 3464366 HAS SOUS 2548855 HAS SOUPS 2548855 WITH SCORE 2552319.366
AT ITER 3658 NEW BEST:: SOT 17368459 SOS 3446442 HAS SOPS 3446442 HAS SOUS 2546632 HAS SOUPS 2546632 WITH SCORE 2550078.442
AT ITER 3684 NEW BEST:: SOT 17368455 SOS 3449008 HAS SOPS 3449008 HAS SOUS 2546624 HAS SOUPS 2546624 WITH SCORE 2550073.008
AT ITER 3686 NEW BEST:: SOT 17367843 SOS 3445516 HAS SOPS 3445516 HAS SOUS 2545256 HAS SOUPS 2545256 WITH SCORE 2548701.516
AT ITER 3703 NEW BEST:: SOT 17363574 SOS 3484645 HAS SOPS 3484645 HAS SOUS 2543038 HAS SOUPS 2543038 WITH SCORE 2546522.645
AT ITER 3728 NEW BEST:: SOT 17362269 SOS 3484009 HAS SOPS 3484009 HAS SOUS 2541739 HAS SOUPS 2541739 WITH SCORE 2545223.009
AT ITER 3735 NEW BEST:: SOT 17362209 SOS 3483979 HAS SOPS 3483979 HAS SOUS 2541709 HAS SOUPS 2541709 WITH SCORE 2545192.979
AT ITER 3743 NEW BEST:: SOT 17362209 SOS 3484375 HAS SOPS 3484375 HAS SOUS 2541631 HAS SOUPS 2541631 WITH SCORE 2545115.375
AT ITER 3792 NEW BEST:: SOT 17362099 SOS 3484265 HAS SOPS 3484265 HAS SOUS 2541521 HAS SOUPS 2541521 WITH SCORE 2545005.265
AT ITER 3832 NEW BEST:: SOT 17362099 SOS 3483367 HAS SOPS 3483367 HAS SOUS 2541520 HAS SOUPS 2541520 WITH SCORE 2545003.367
AT ITER 3910 NEW BEST:: SOT 17361153 SOS 3484246 HAS SOPS 3484246 HAS SOUS 2541326 HAS SOUPS 2541326 WITH SCORE 2544810.246
AT ITER 3912 NEW BEST:: SOT 17361152 SOS 3484244 HAS SOPS 3484244 HAS SOUS 2541324 HAS SOUPS 2541324 WITH SCORE 2544808.244
AT ITER 3943 NEW BEST:: SOT 17360745 SOS 3484372 HAS SOPS 3484372 HAS SOUS 2541231 HAS SOUPS 2541231 WITH SCORE 2544715.372
AT ITER 3982 NEW BEST:: SOT 17360316 SOS 3482596 HAS SOPS 3482596 HAS SOUS 2540004 HAS SOUPS 2540004 WITH SCORE 2543486.596
AT ITER 3984 NEW BEST:: SOT 17360208 SOS 3482380 HAS SOPS 3482380 HAS SOUS 2539788 HAS SOUPS 2539788 WITH SCORE 2543270.38
AT ITER 3997 NEW BEST:: SOT 17360208 SOS 3480004 HAS SOPS 3480004 HAS SOUS 2539194 HAS SOUPS 2539194 WITH SCORE 2542674.004
AT ITER 4009 NEW BEST:: SOT 17360208 SOS 3479942 HAS SOPS 3479942 HAS SOUS 2539194 HAS SOUPS 2539194 WITH SCORE 2542673.942
AT ITER 4011 NEW BEST:: SOT 17360208 SOS 3480093 HAS SOPS 3480093 HAS SOUS 2539193 HAS SOUPS 2539193 WITH SCORE 2542673.093
AT ITER 4037 NEW BEST:: SOT 17359653 SOS 3479538 HAS SOPS 3479538 HAS SOUS 2538638 HAS SOUPS 2538638 WITH SCORE 2542117.538
AT ITER 4063 NEW BEST:: SOT 17359441 SOS 3479432 HAS SOPS 3479432 HAS SOUS 2538532 HAS SOUPS 2538532 WITH SCORE 2542011.432
AT ITER 4066 NEW BEST:: SOT 17359441 SOS 3479432 HAS SOPS 3479432 HAS SOUS 2538322 HAS SOUPS 2538322 WITH SCORE 2541801.432
AT ITER 4076 NEW BEST:: SOT 17359290 SOS 3479130 HAS SOPS 3479130 HAS SOUS 2538020 HAS SOUPS 2538020 WITH SCORE 2541499.13
AT ITER 4077 NEW BEST:: SOT 17358756 SOS 3478873 HAS SOPS 3478873 HAS SOUS 2537882 HAS SOUPS 2537882 WITH SCORE 2541360.873
AT ITER 4086 NEW BEST:: SOT 17358658 SOS 3476265 HAS SOPS 3476265 HAS SOUS 2537737 HAS SOUPS 2537737 WITH SCORE 2541213.265
AT ITER 4093 NEW BEST:: SOT 17358655 SOS 3476262 HAS SOPS 3476262 HAS SOUS 2537730 HAS SOUPS 2537730 WITH SCORE 2541206.262
AT ITER 4094 NEW BEST:: SOT 17358464 SOS 3476060 HAS SOPS 3476060 HAS SOUS 2537539 HAS SOUPS 2537539 WITH SCORE 2541015.06
AT ITER 4118 NEW BEST:: SOT 17357926 SOS 3474177 HAS SOPS 3474177 HAS SOUS 2536732 HAS SOUPS 2536732 WITH SCORE 2540206.177
AT ITER 4119 NEW BEST:: SOT 17357015 SOS 3472811 HAS SOPS 3472811 HAS SOUS 2535366 HAS SOUPS 2535366 WITH SCORE 2538838.811
AT ITER 4128 NEW BEST:: SOT 17357015 SOS 3472629 HAS SOPS 3472629 HAS SOUS 2535365 HAS SOUPS 2535365 WITH SCORE 2538837.629
AT ITER 4176 NEW BEST:: SOT 17357071 SOS 3472741 HAS SOPS 3472741 HAS SOUS 2535105 HAS SOUPS 2535105 WITH SCORE 2538577.741
AT ITER 4229 NEW BEST:: SOT 17357267 SOS 3472599 HAS SOPS 3472599 HAS SOUS 2535034 HAS SOUPS 2535034 WITH SCORE 2538506.599
AT ITER 4255 NEW BEST:: SOT 17357267 SOS 3472177 HAS SOPS 3472177 HAS SOUS 2534612 HAS SOUPS 2534612 WITH SCORE 2538084.177
AT ITER 4299 NEW BEST:: SOT 17356290 SOS 3470223 HAS SOPS 3470223 HAS SOUS 2532844 HAS SOUPS 2532844 WITH SCORE 2536314.223
AT ITER 4312 NEW BEST:: SOT 17356151 SOS 3469945 HAS SOPS 3469945 HAS SOUS 2532761 HAS SOUPS 2532761 WITH SCORE 2536230.945
AT ITER 4355 NEW BEST:: SOT 17356093 SOS 3469829 HAS SOPS 3469829 HAS SOUS 2532645 HAS SOUPS 2532645 WITH SCORE 2536114.829
AT ITER 4358 NEW BEST:: SOT 17355971 SOS 3470063 HAS SOPS 3470063 HAS SOUS 2532644 HAS SOUPS 2532644 WITH SCORE 2536114.063
AT ITER 4373 NEW BEST:: SOT 17355544 SOS 3469986 HAS SOPS 3469986 HAS SOUS 2532476 HAS SOUPS 2532476 WITH SCORE 2535945.986
AT ITER 4392 NEW BEST:: SOT 17355522 SOS 3469975 HAS SOPS 3469975 HAS SOUS 2532465 HAS SOUPS 2532465 WITH SCORE 2535934.975
AT ITER 4405 NEW BEST:: SOT 17355499 SOS 3469929 HAS SOPS 3469929 HAS SOUS 2532030 HAS SOUPS 2532030 WITH SCORE 2535499.929
AT ITER 4428 NEW BEST:: SOT 17355076 SOS 3469506 HAS SOPS 3469506 HAS SOUS 2531607 HAS SOUPS 2531607 WITH SCORE 2535076.506
AT ITER 4462 NEW BEST:: SOT 17354938 SOS 3469230 HAS SOPS 3469230 HAS SOUS 2531331 HAS SOUPS 2531331 WITH SCORE 2534800.23
AT ITER 4474 NEW BEST:: SOT 17354565 SOS 3468853 HAS SOPS 3468853 HAS SOUS 2530957 HAS SOUPS 2530957 WITH SCORE 2534425.853
AT ITER 4486 NEW BEST:: SOT 17354521 SOS 3468809 HAS SOPS 3468809 HAS SOUS 2530913 HAS SOUPS 2530913 WITH SCORE 2534381.809
AT ITER 4504 NEW BEST:: SOT 17354264 SOS 3468413 HAS SOPS 3468413 HAS SOUS 2530517 HAS SOUPS 2530517 WITH SCORE 2533985.413
AT ITER 4537 NEW BEST:: SOT 17354021 SOS 3470911 HAS SOPS 3470911 HAS SOUS 2530030 HAS SOUPS 2530030 WITH SCORE 2533500.911
AT ITER 4550 NEW BEST:: SOT 17353993 SOS 3470601 HAS SOPS 3470601 HAS SOUS 2529735 HAS SOUPS 2529735 WITH SCORE 2533205.601
AT ITER 4575 NEW BEST:: SOT 17353727 SOS 3470335 HAS SOPS 3470335 HAS SOUS 2529469 HAS SOUPS 2529469 WITH SCORE 2532939.335
AT ITER 4620 NEW BEST:: SOT 17353419 SOS 3470232 HAS SOPS 3470232 HAS SOUS 2529332 HAS SOUPS 2529332 WITH SCORE 2532802.232
AT ITER 4634 NEW BEST:: SOT 17353329 SOS 3470052 HAS SOPS 3470052 HAS SOUS 2529152 HAS SOUPS 2529152 WITH SCORE 2532622.052
AT ITER 4654 NEW BEST:: SOT 17353119 SOS 3469633 HAS SOPS 3469633 HAS SOUS 2528733 HAS SOUPS 2528733 WITH SCORE 2532202.633
AT ITER 4662 NEW BEST:: SOT 17353119 SOS 3470563 HAS SOPS 3470563 HAS SOUS 2528732 HAS SOUPS 2528732 WITH SCORE 2532202.563
AT ITER 4710 NEW BEST:: SOT 17352890 SOS 3470105 HAS SOPS 3470105 HAS SOUS 2528274 HAS SOUPS 2528274 WITH SCORE 2531744.105
AT ITER 4712 NEW BEST:: SOT 17352890 SOS 3470581 HAS SOPS 3470581 HAS SOUS 2528273 HAS SOUPS 2528273 WITH SCORE 2531743.581
AT ITER 4728 NEW BEST:: SOT 17352733 SOS 3470683 HAS SOPS 3470683 HAS SOUS 2528116 HAS SOUPS 2528116 WITH SCORE 2531586.683
AT ITER 4731 NEW BEST:: SOT 17352560 SOS 3470337 HAS SOPS 3470337 HAS SOUS 2527770 HAS SOUPS 2527770 WITH SCORE 2531240.337
AT ITER 4739 NEW BEST:: SOT 17352559 SOS 3470335 HAS SOPS 3470335 HAS SOUS 2527768 HAS SOUPS 2527768 WITH SCORE 2531238.335
AT ITER 4765 NEW BEST:: SOT 17352435 SOS 3470087 HAS SOPS 3470087 HAS SOUS 2526991 HAS SOUPS 2526991 WITH SCORE 2530461.087
AT ITER 4782 NEW BEST:: SOT 17351896 SOS 3469009 HAS SOPS 3469009 HAS SOUS 2525913 HAS SOUPS 2525913 WITH SCORE 2529382.009
AT ITER 4796 NEW BEST:: SOT 17351625 SOS 3468507 HAS SOPS 3468507 HAS SOUS 2525661 HAS SOUPS 2525661 WITH SCORE 2529129.507
AT ITER 4814 NEW BEST:: SOT 17351625 SOS 3468280 HAS SOPS 3468280 HAS SOUS 2525661 HAS SOUPS 2525661 WITH SCORE 2529129.28
AT ITER 4830 NEW BEST:: SOT 17351624 SOS 3468168 HAS SOPS 3468168 HAS SOUS 2525549 HAS SOUPS 2525549 WITH SCORE 2529017.168
AT ITER 4832 NEW BEST:: SOT 17351056 SOS 3467596 HAS SOPS 3467596 HAS SOUS 2524980 HAS SOUPS 2524980 WITH SCORE 2528447.596
AT ITER 4853 NEW BEST:: SOT 17351471 SOS 3468426 HAS SOPS 3468426 HAS SOUS 2524853 HAS SOUPS 2524853 WITH SCORE 2528321.426
AT ITER 4860 NEW BEST:: SOT 17351388 SOS 3468260 HAS SOPS 3468260 HAS SOUS 2524687 HAS SOUPS 2524687 WITH SCORE 2528155.26
AT ITER 4888 NEW BEST:: SOT 17351532 SOS 3467792 HAS SOPS 3467792 HAS SOUS 2524471 HAS SOUPS 2524471 WITH SCORE 2527938.792
AT ITER 4898 NEW BEST:: SOT 17351525 SOS 3466902 HAS SOPS 3466902 HAS SOUS 2524172 HAS SOUPS 2524172 WITH SCORE 2527638.902
AT ITER 4929 NEW BEST:: SOT 17351243 SOS 3466875 HAS SOPS 3466875 HAS SOUS 2524069 HAS SOUPS 2524069 WITH SCORE 2527535.875
AT ITER 4937 NEW BEST:: SOT 17351179 SOS 3466747 HAS SOPS 3466747 HAS SOUS 2523941 HAS SOUPS 2523941 WITH SCORE 2527407.747
AT ITER 4971 NEW BEST:: SOT 17350828 SOS 3466465 HAS SOPS 3466465 HAS SOUS 2523659 HAS SOUPS 2523659 WITH SCORE 2527125.465
AT ITER 5000 NEW BEST:: SOT 17350397 SOS 3465603 HAS SOPS 3465603 HAS SOUS 2522797 HAS SOUPS 2522797 WITH SCORE 2526262.603
AT ITER 5001 NEW BEST:: SOT 17350385 SOS 3465579 HAS SOPS 3465579 HAS SOUS 2522785 HAS SOUPS 2522785 WITH SCORE 2526250.579
AT ITER 5005 NEW BEST:: SOT 17350176 SOS 3465161 HAS SOPS 3465161 HAS SOUS 2522576 HAS SOUPS 2522576 WITH SCORE 2526041.161
AT ITER 5011 NEW BEST:: SOT 17349886 SOS 3465466 HAS SOPS 3465466 HAS SOUS 2522575 HAS SOUPS 2522575 WITH SCORE 2526040.466
AT ITER 5026 NEW BEST:: SOT 17348906 SOS 3464976 HAS SOPS 3464976 HAS SOUS 2521595 HAS SOUPS 2521595 WITH SCORE 2525059.976
AT ITER 5028 NEW BEST:: SOT 17348561 SOS 3464286 HAS SOPS 3464286 HAS SOUS 2521249 HAS SOUPS 2521249 WITH SCORE 2524713.286
AT ITER 5044 NEW BEST:: SOT 17348509 SOS 3464260 HAS SOPS 3464260 HAS SOUS 2521223 HAS SOUPS 2521223 WITH SCORE 2524687.26
AT ITER 5046 NEW BEST:: SOT 17348483 SOS 3464481 HAS SOPS 3464481 HAS SOUS 2521186 HAS SOUPS 2521186 WITH SCORE 2524650.481
AT ITER 5066 NEW BEST:: SOT 17348096 SOS 3462933 HAS SOPS 3462933 HAS SOUS 2520412 HAS SOUPS 2520412 WITH SCORE 2523874.933
AT ITER 5070 NEW BEST:: SOT 17348286 SOS 3462550 HAS SOPS 3462550 HAS SOUS 2520220 HAS SOUPS 2520220 WITH SCORE 2523682.55
AT ITER 5084 NEW BEST:: SOT 17348286 SOS 3462385 HAS SOPS 3462385 HAS SOUS 2520165 HAS SOUPS 2520165 WITH SCORE 2523627.385
AT ITER 5114 NEW BEST:: SOT 17347461 SOS 3461679 HAS SOPS 3461679 HAS SOUS 2519407 HAS SOUPS 2519407 WITH SCORE 2522868.679
AT ITER 5121 NEW BEST:: SOT 17347452 SOS 3461661 HAS SOPS 3461661 HAS SOUS 2519396 HAS SOUPS 2519396 WITH SCORE 2522857.661
AT ITER 5125 NEW BEST:: SOT 17347620 SOS 3461827 HAS SOPS 3461827 HAS SOUS 2519394 HAS SOUPS 2519394 WITH SCORE 2522855.827
AT ITER 5127 NEW BEST:: SOT 17347620 SOS 3462557 HAS SOPS 3462557 HAS SOUS 2519393 HAS SOUPS 2519393 WITH SCORE 2522855.557
AT ITER 5132 NEW BEST:: SOT 17346905 SOS 3462037 HAS SOPS 3462037 HAS SOUS 2518873 HAS SOUPS 2518873 WITH SCORE 2522335.037
AT ITER 5167 NEW BEST:: SOT 17346553 SOS 3461333 HAS SOPS 3461333 HAS SOUS 2518521 HAS SOUPS 2518521 WITH SCORE 2521982.333
AT ITER 5174 NEW BEST:: SOT 17346266 SOS 3461046 HAS SOPS 3461046 HAS SOUS 2518234 HAS SOUPS 2518234 WITH SCORE 2521695.046
AT ITER 5195 NEW BEST:: SOT 17345424 SOS 3460337 HAS SOPS 3460337 HAS SOUS 2517457 HAS SOUPS 2517457 WITH SCORE 2520917.337
AT ITER 5264 NEW BEST:: SOT 17345156 SOS 3458997 HAS SOPS 3458997 HAS SOUS 2516921 HAS SOUPS 2516921 WITH SCORE 2520379.997
AT ITER 5270 NEW BEST:: SOT 17345044 SOS 3458774 HAS SOPS 3458774 HAS SOUS 2516698 HAS SOUPS 2516698 WITH SCORE 2520156.774
AT ITER 5283 NEW BEST:: SOT 17344524 SOS 3458659 HAS SOPS 3458659 HAS SOUS 2516583 HAS SOUPS 2516583 WITH SCORE 2520041.659
AT ITER 5310 NEW BEST:: SOT 17344524 SOS 3458614 HAS SOPS 3458614 HAS SOUS 2516583 HAS SOUPS 2516583 WITH SCORE 2520041.614
AT ITER 5319 NEW BEST:: SOT 17344008 SOS 3458286 HAS SOPS 3458286 HAS SOUS 2516255 HAS SOUPS 2516255 WITH SCORE 2519713.286
AT ITER 5331 NEW BEST:: SOT 17343145 SOS 3458279 HAS SOPS 3458279 HAS SOUS 2516248 HAS SOUPS 2516248 WITH SCORE 2519706.279
AT ITER 5369 NEW BEST:: SOT 17343134 SOS 3458257 HAS SOPS 3458257 HAS SOUS 2516226 HAS SOUPS 2516226 WITH SCORE 2519684.257
AT ITER 5370 NEW BEST:: SOT 17343134 SOS 3457312 HAS SOPS 3457312 HAS SOUS 2515911 HAS SOUPS 2515911 WITH SCORE 2519368.312
AT ITER 5407 NEW BEST:: SOT 17343111 SOS 3457266 HAS SOPS 3457266 HAS SOUS 2515865 HAS SOUPS 2515865 WITH SCORE 2519322.266
AT ITER 5428 NEW BEST:: SOT 17343110 SOS 3457264 HAS SOPS 3457264 HAS SOUS 2515863 HAS SOUPS 2515863 WITH SCORE 2519320.264
AT ITER 5429 NEW BEST:: SOT 17343110 SOS 3457264 HAS SOPS 3457264 HAS SOUS 2515832 HAS SOUPS 2515832 WITH SCORE 2519289.264
AT ITER 5492 NEW BEST:: SOT 17343110 SOS 3456820 HAS SOPS 3456820 HAS SOUS 2515388 HAS SOUPS 2515388 WITH SCORE 2518844.82
AT ITER 5521 NEW BEST:: SOT 17342919 SOS 3456438 HAS SOPS 3456438 HAS SOUS 2515006 HAS SOUPS 2515006 WITH SCORE 2518462.438
AT ITER 5523 NEW BEST:: SOT 17342919 SOS 3456384 HAS SOPS 3456384 HAS SOUS 2514952 HAS SOUPS 2514952 WITH SCORE 2518408.384
AT ITER 5551 NEW BEST:: SOT 17342914 SOS 3454814 HAS SOPS 3454814 HAS SOUS 2514942 HAS SOUPS 2514942 WITH SCORE 2518396.814
AT ITER 5575 NEW BEST:: SOT 17343093 SOS 3455172 HAS SOPS 3455172 HAS SOUS 2514794 HAS SOUPS 2514794 WITH SCORE 2518249.172
AT ITER 5579 NEW BEST:: SOT 17343093 SOS 3454686 HAS SOPS 3454686 HAS SOUS 2514794 HAS SOUPS 2514794 WITH SCORE 2518248.686
AT ITER 5606 NEW BEST:: SOT 17343050 SOS 3454643 HAS SOPS 3454643 HAS SOUS 2514751 HAS SOUPS 2514751 WITH SCORE 2518205.643
AT ITER 5657 NEW BEST:: SOT 17343050 SOS 3454948 HAS SOPS 3454948 HAS SOUS 2514750 HAS SOUPS 2514750 WITH SCORE 2518204.948
AT ITER 5666 NEW BEST:: SOT 17342907 SOS 3454662 HAS SOPS 3454662 HAS SOUS 2514607 HAS SOUPS 2514607 WITH SCORE 2518061.662
AT ITER 5678 NEW BEST:: SOT 17342899 SOS 3454658 HAS SOPS 3454658 HAS SOUS 2514603 HAS SOUPS 2514603 WITH SCORE 2518057.658
AT ITER 5683 NEW BEST:: SOT 17342671 SOS 3454202 HAS SOPS 3454202 HAS SOUS 2513969 HAS SOUPS 2513969 WITH SCORE 2517423.202
AT ITER 5691 NEW BEST:: SOT 17342671 SOS 3454500 HAS SOPS 3454500 HAS SOUS 2513968 HAS SOUPS 2513968 WITH SCORE 2517422.5
AT ITER 5707 NEW BEST:: SOT 17342357 SOS 3453872 HAS SOPS 3453872 HAS SOUS 2513340 HAS SOUPS 2513340 WITH SCORE 2516793.872
AT ITER 5723 NEW BEST:: SOT 17342766 SOS 3453463 HAS SOPS 3453463 HAS SOUS 2512931 HAS SOUPS 2512931 WITH SCORE 2516384.463
AT ITER 5729 NEW BEST:: SOT 17342571 SOS 3453073 HAS SOPS 3453073 HAS SOUS 2512541 HAS SOUPS 2512541 WITH SCORE 2515994.073
AT ITER 5792 NEW BEST:: SOT 17338993 SOS 3457031 HAS SOPS 3457031 HAS SOUS 2511119 HAS SOUPS 2511119 WITH SCORE 2514576.031
AT ITER 5810 NEW BEST:: SOT 17338775 SOS 3456595 HAS SOPS 3456595 HAS SOUS 2511082 HAS SOUPS 2511082 WITH SCORE 2514538.595
AT ITER 5819 NEW BEST:: SOT 17338678 SOS 3456498 HAS SOPS 3456498 HAS SOUS 2510985 HAS SOUPS 2510985 WITH SCORE 2514441.498
AT ITER 5899 NEW BEST:: SOT 17338120 SOS 3456131 HAS SOPS 3456131 HAS SOUS 2510426 HAS SOUPS 2510426 WITH SCORE 2513882.131
AT ITER 5918 NEW BEST:: SOT 17336753 SOS 3455737 HAS SOPS 3455737 HAS SOUS 2509839 HAS SOUPS 2509839 WITH SCORE 2513294.737
AT ITER 5940 NEW BEST:: SOT 17336214 SOS 3455247 HAS SOPS 3455247 HAS SOUS 2509300 HAS SOUPS 2509300 WITH SCORE 2512755.247
AT ITER 5952 NEW BEST:: SOT 17336209 SOS 3455237 HAS SOPS 3455237 HAS SOUS 2509294 HAS SOUPS 2509294 WITH SCORE 2512749.237
AT ITER 5972 NEW BEST:: SOT 17335713 SOS 3452905 HAS SOPS 3452905 HAS SOUS 2508339 HAS SOUPS 2508339 WITH SCORE 2511791.905
AT ITER 5982 NEW BEST:: SOT 17335713 SOS 3452925 HAS SOPS 3452925 HAS SOUS 2508338 HAS SOUPS 2508338 WITH SCORE 2511790.925
AT ITER 6009 NEW BEST:: SOT 17335713 SOS 3452258 HAS SOPS 3452258 HAS SOUS 2507671 HAS SOUPS 2507671 WITH SCORE 2511123.258
AT ITER 6011 NEW BEST:: SOT 17335693 SOS 3452218 HAS SOPS 3452218 HAS SOUS 2507631 HAS SOUPS 2507631 WITH SCORE 2511083.218
AT ITER 6021 NEW BEST:: SOT 17334981 SOS 3451506 HAS SOPS 3451506 HAS SOUS 2506919 HAS SOUPS 2506919 WITH SCORE 2510370.506
AT ITER 6045 NEW BEST:: SOT 17334981 SOS 3452477 HAS SOPS 3452477 HAS SOUS 2506918 HAS SOUPS 2506918 WITH SCORE 2510370.477
AT ITER 6061 NEW BEST:: SOT 17334702 SOS 3451919 HAS SOPS 3451919 HAS SOUS 2505988 HAS SOUPS 2505988 WITH SCORE 2509439.919
AT ITER 6119 NEW BEST:: SOT 17334572 SOS 3451659 HAS SOPS 3451659 HAS SOUS 2505728 HAS SOUPS 2505728 WITH SCORE 2509179.659
AT ITER 6144 NEW BEST:: SOT 17334547 SOS 3451609 HAS SOPS 3451609 HAS SOUS 2505629 HAS SOUPS 2505629 WITH SCORE 2509080.609
AT ITER 6153 NEW BEST:: SOT 17333920 SOS 3451204 HAS SOPS 3451204 HAS SOUS 2505224 HAS SOUPS 2505224 WITH SCORE 2508675.204
AT ITER 6171 NEW BEST:: SOT 17333919 SOS 3451167 HAS SOPS 3451167 HAS SOUS 2505187 HAS SOUPS 2505187 WITH SCORE 2508638.167
AT ITER 6175 NEW BEST:: SOT 17333919 SOS 3451130 HAS SOPS 3451130 HAS SOUS 2505187 HAS SOUPS 2505187 WITH SCORE 2508638.13
AT ITER 6230 NEW BEST:: SOT 17333507 SOS 3449894 HAS SOPS 3449894 HAS SOUS 2504632 HAS SOUPS 2504632 WITH SCORE 2508081.894
AT ITER 6256 NEW BEST:: SOT 17332759 SOS 3448768 HAS SOPS 3448768 HAS SOUS 2503883 HAS SOUPS 2503883 WITH SCORE 2507331.768
AT ITER 6262 NEW BEST:: SOT 17332625 SOS 3448500 HAS SOPS 3448500 HAS SOUS 2503558 HAS SOUPS 2503558 WITH SCORE 2507006.5
AT ITER 6266 NEW BEST:: SOT 17332625 SOS 3447812 HAS SOPS 3447812 HAS SOUS 2503214 HAS SOUPS 2503214 WITH SCORE 2506661.812
AT ITER 6278 NEW BEST:: SOT 17332452 SOS 3447639 HAS SOPS 3447639 HAS SOUS 2503041 HAS SOUPS 2503041 WITH SCORE 2506488.639
AT ITER 6288 NEW BEST:: SOT 17332219 SOS 3447406 HAS SOPS 3447406 HAS SOUS 2502808 HAS SOUPS 2502808 WITH SCORE 2506255.406
AT ITER 6300 NEW BEST:: SOT 17331705 SOS 3446922 HAS SOPS 3446922 HAS SOUS 2502311 HAS SOUPS 2502311 WITH SCORE 2505757.922
AT ITER 6387 NEW BEST:: SOT 17331384 SOS 3446280 HAS SOPS 3446280 HAS SOUS 2501990 HAS SOUPS 2501990 WITH SCORE 2505436.28
AT ITER 6458 NEW BEST:: SOT 17331312 SOS 3446136 HAS SOPS 3446136 HAS SOUS 2501846 HAS SOUPS 2501846 WITH SCORE 2505292.136
AT ITER 6490 NEW BEST:: SOT 17331312 SOS 3446136 HAS SOPS 3446136 HAS SOUS 2501420 HAS SOUPS 2501420 WITH SCORE 2504866.136
AT ITER 6493 NEW BEST:: SOT 17331250 SOS 3446012 HAS SOPS 3446012 HAS SOUS 2501296 HAS SOUPS 2501296 WITH SCORE 2504742.012
AT ITER 6509 NEW BEST:: SOT 17331201 SOS 3445914 HAS SOPS 3445914 HAS SOUS 2501247 HAS SOUPS 2501247 WITH SCORE 2504692.914
AT ITER 6529 NEW BEST:: SOT 17330759 SOS 3445030 HAS SOPS 3445030 HAS SOUS 2500805 HAS SOUPS 2500805 WITH SCORE 2504250.03
AT ITER 6541 NEW BEST:: SOT 17330759 SOS 3445030 HAS SOPS 3445030 HAS SOUS 2500680 HAS SOUPS 2500680 WITH SCORE 2504125.03
AT ITER 6558 NEW BEST:: SOT 17330615 SOS 3444742 HAS SOPS 3444742 HAS SOUS 2500392 HAS SOUPS 2500392 WITH SCORE 2503836.742
AT ITER 6571 NEW BEST:: SOT 17330377 SOS 3444741 HAS SOPS 3444741 HAS SOUS 2500391 HAS SOUPS 2500391 WITH SCORE 2503835.741
AT ITER 6572 NEW BEST:: SOT 17330377 SOS 3442635 HAS SOPS 3442635 HAS SOUS 2500391 HAS SOUPS 2500391 WITH SCORE 2503833.635
AT ITER 6577 NEW BEST:: SOT 17330377 SOS 3442581 HAS SOPS 3442581 HAS SOUS 2500391 HAS SOUPS 2500391 WITH SCORE 2503833.581
AT ITER 6585 NEW BEST:: SOT 17330594 SOS 3442244 HAS SOPS 3442244 HAS SOUS 2500351 HAS SOUPS 2500351 WITH SCORE 2503793.244
AT ITER 6606 NEW BEST:: SOT 17330347 SOS 3441750 HAS SOPS 3441750 HAS SOUS 2500104 HAS SOUPS 2500104 WITH SCORE 2503545.75
AT ITER 6630 NEW BEST:: SOT 17330347 SOS 3441750 HAS SOPS 3441750 HAS SOUS 2499922 HAS SOUPS 2499922 WITH SCORE 2503363.75
AT ITER 6657 NEW BEST:: SOT 17330354 SOS 3441483 HAS SOPS 3441483 HAS SOUS 2499402 HAS SOUPS 2499402 WITH SCORE 2502843.483
AT ITER 6684 NEW BEST:: SOT 17329708 SOS 3440837 HAS SOPS 3440837 HAS SOUS 2498756 HAS SOUPS 2498756 WITH SCORE 2502196.837
AT ITER 6687 NEW BEST:: SOT 17328465 SOS 3440415 HAS SOPS 3440415 HAS SOUS 2498201 HAS SOUPS 2498201 WITH SCORE 2501641.415
AT ITER 6714 NEW BEST:: SOT 17328193 SOS 3440143 HAS SOPS 3440143 HAS SOUS 2498201 HAS SOUPS 2498201 WITH SCORE 2501641.143
AT ITER 6735 NEW BEST:: SOT 17328193 SOS 3440044 HAS SOPS 3440044 HAS SOUS 2498102 HAS SOUPS 2498102 WITH SCORE 2501542.044
AT ITER 6777 NEW BEST:: SOT 17328148 SOS 3439954 HAS SOPS 3439954 HAS SOUS 2497680 HAS SOUPS 2497680 WITH SCORE 2501119.954
AT ITER 6806 NEW BEST:: SOT 17328148 SOS 3439767 HAS SOPS 3439767 HAS SOUS 2497493 HAS SOUPS 2497493 WITH SCORE 2500932.767
AT ITER 6822 NEW BEST:: SOT 17328047 SOS 3439280 HAS SOPS 3439280 HAS SOUS 2496948 HAS SOUPS 2496948 WITH SCORE 2500387.28
AT ITER 6824 NEW BEST:: SOT 17327779 SOS 3439146 HAS SOPS 3439146 HAS SOUS 2496814 HAS SOUPS 2496814 WITH SCORE 2500253.146
AT ITER 6829 NEW BEST:: SOT 17320340 SOS 3497539 HAS SOPS 3497539 HAS SOUS 2494845 HAS SOUPS 2494845 WITH SCORE 2498342.539
AT ITER 6840 NEW BEST:: SOT 17320303 SOS 3497465 HAS SOPS 3497465 HAS SOUS 2494771 HAS SOUPS 2494771 WITH SCORE 2498268.465
AT ITER 6873 NEW BEST:: SOT 17320013 SOS 3496885 HAS SOPS 3496885 HAS SOUS 2494481 HAS SOUPS 2494481 WITH SCORE 2497977.885
AT ITER 6882 NEW BEST:: SOT 17319382 SOS 3510161 HAS SOPS 3510161 HAS SOUS 2493949 HAS SOUPS 2493949 WITH SCORE 2497459.161
AT ITER 6954 NEW BEST:: SOT 17319204 SOS 3509983 HAS SOPS 3509983 HAS SOUS 2493771 HAS SOUPS 2493771 WITH SCORE 2497280.983
AT ITER 6977 NEW BEST:: SOT 17319536 SOS 3510647 HAS SOPS 3510647 HAS SOUS 2493739 HAS SOUPS 2493739 WITH SCORE 2497249.647
AT ITER 6985 NEW BEST:: SOT 17319536 SOS 3510566 HAS SOPS 3510566 HAS SOUS 2493685 HAS SOUPS 2493685 WITH SCORE 2497195.566
AT ITER 7036 NEW BEST:: SOT 17319025 SOS 3479052 HAS SOPS 3479052 HAS SOUS 2492663 HAS SOUPS 2492663 WITH SCORE 2496142.052
AT ITER 7047 NEW BEST:: SOT 17318506 SOS 3478014 HAS SOPS 3478014 HAS SOUS 2491625 HAS SOUPS 2491625 WITH SCORE 2495103.014
AT ITER 7073 NEW BEST:: SOT 17318506 SOS 3478581 HAS SOPS 3478581 HAS SOUS 2491624 HAS SOUPS 2491624 WITH SCORE 2495102.581
AT ITER 7097 NEW BEST:: SOT 17318169 SOS 3477907 HAS SOPS 3477907 HAS SOUS 2490950 HAS SOUPS 2490950 WITH SCORE 2494427.907
AT ITER 7103 NEW BEST:: SOT 17317872 SOS 3476719 HAS SOPS 3476719 HAS SOUS 2490653 HAS SOUPS 2490653 WITH SCORE 2494129.719
AT ITER 7109 NEW BEST:: SOT 17317872 SOS 3476719 HAS SOPS 3476719 HAS SOUS 2490050 HAS SOUPS 2490050 WITH SCORE 2493526.719
AT ITER 7119 NEW BEST:: SOT 17317524 SOS 3476023 HAS SOPS 3476023 HAS SOUS 2489354 HAS SOUPS 2489354 WITH SCORE 2492830.023
AT ITER 7127 NEW BEST:: SOT 17317005 SOS 3474662 HAS SOPS 3474662 HAS SOUS 2488835 HAS SOUPS 2488835 WITH SCORE 2492309.662
AT ITER 7145 NEW BEST:: SOT 17316386 SOS 3474454 HAS SOPS 3474454 HAS SOUS 2488627 HAS SOUPS 2488627 WITH SCORE 2492101.454
AT ITER 7179 NEW BEST:: SOT 17316319 SOS 3474171 HAS SOPS 3474171 HAS SOUS 2488493 HAS SOUPS 2488493 WITH SCORE 2491967.171
AT ITER 7250 NEW BEST:: SOT 17315830 SOS 3471450 HAS SOPS 3471450 HAS SOUS 2487515 HAS SOUPS 2487515 WITH SCORE 2490986.45
AT ITER 7268 NEW BEST:: SOT 17308403 SOS 3468360 HAS SOPS 3468360 HAS SOUS 2482624 HAS SOUPS 2482624 WITH SCORE 2486092.36
AT ITER 7289 NEW BEST:: SOT 17307761 SOS 3468035 HAS SOPS 3468035 HAS SOUS 2482302 HAS SOUPS 2482302 WITH SCORE 2485770.035
AT ITER 7321 NEW BEST:: SOT 17307027 SOS 3464365 HAS SOPS 3464365 HAS SOUS 2480834 HAS SOUPS 2480834 WITH SCORE 2484298.365
AT ITER 7355 NEW BEST:: SOT 17306584 SOS 3463480 HAS SOPS 3463480 HAS SOUS 2479949 HAS SOUPS 2479949 WITH SCORE 2483412.48
AT ITER 7365 NEW BEST:: SOT 17306627 SOS 3463566 HAS SOPS 3463566 HAS SOUS 2479446 HAS SOUPS 2479446 WITH SCORE 2482909.566
AT ITER 7369 NEW BEST:: SOT 17306146 SOS 3462565 HAS SOPS 3462565 HAS SOUS 2478828 HAS SOUPS 2478828 WITH SCORE 2482290.565
AT ITER 7374 NEW BEST:: SOT 17305589 SOS 3461451 HAS SOPS 3461451 HAS SOUS 2478618 HAS SOUPS 2478618 WITH SCORE 2482079.451
AT ITER 7378 NEW BEST:: SOT 17305177 SOS 3461288 HAS SOPS 3461288 HAS SOUS 2478455 HAS SOUPS 2478455 WITH SCORE 2481916.288
AT ITER 7386 NEW BEST:: SOT 17305261 SOS 3459605 HAS SOPS 3459605 HAS SOUS 2478345 HAS SOUPS 2478345 WITH SCORE 2481804.605
AT ITER 7401 NEW BEST:: SOT 17305196 SOS 3459475 HAS SOPS 3459475 HAS SOUS 2478215 HAS SOUPS 2478215 WITH SCORE 2481674.475
AT ITER 7405 NEW BEST:: SOT 17305050 SOS 3458052 HAS SOPS 3458052 HAS SOUS 2477923 HAS SOUPS 2477923 WITH SCORE 2481381.052
AT ITER 7420 NEW BEST:: SOT 17305050 SOS 3457331 HAS SOPS 3457331 HAS SOUS 2477923 HAS SOUPS 2477923 WITH SCORE 2481380.331
AT ITER 7421 NEW BEST:: SOT 17305020 SOS 3457271 HAS SOPS 3457271 HAS SOUS 2477863 HAS SOUPS 2477863 WITH SCORE 2481320.271
AT ITER 7424 NEW BEST:: SOT 17304294 SOS 3456709 HAS SOPS 3456709 HAS SOUS 2477218 HAS SOUPS 2477218 WITH SCORE 2480674.709
AT ITER 7445 NEW BEST:: SOT 17302350 SOS 3457001 HAS SOPS 3457001 HAS SOUS 2476857 HAS SOUPS 2476857 WITH SCORE 2480314.001
AT ITER 7466 NEW BEST:: SOT 17302633 SOS 3456718 HAS SOPS 3456718 HAS SOUS 2476857 HAS SOUPS 2476857 WITH SCORE 2480313.718
AT ITER 7470 NEW BEST:: SOT 17302633 SOS 3456718 HAS SOPS 3456718 HAS SOUS 2476823 HAS SOUPS 2476823 WITH SCORE 2480279.718
AT ITER 7496 NEW BEST:: SOT 17302330 SOS 3456414 HAS SOPS 3456414 HAS SOUS 2476519 HAS SOUPS 2476519 WITH SCORE 2479975.414
AT ITER 7503 NEW BEST:: SOT 17302125 SOS 3456013 HAS SOPS 3456013 HAS SOUS 2476118 HAS SOUPS 2476118 WITH SCORE 2479574.013
AT ITER 7514 NEW BEST:: SOT 17302026 SOS 3455815 HAS SOPS 3455815 HAS SOUS 2475486 HAS SOUPS 2475486 WITH SCORE 2478941.815
AT ITER 7534 NEW BEST:: SOT 17300958 SOS 3454837 HAS SOPS 3454837 HAS SOUS 2474508 HAS SOUPS 2474508 WITH SCORE 2477962.837
AT ITER 7537 NEW BEST:: SOT 17301275 SOS 3453782 HAS SOPS 3453782 HAS SOUS 2474398 HAS SOUPS 2474398 WITH SCORE 2477851.782
AT ITER 7600 NEW BEST:: SOT 17300431 SOS 3452094 HAS SOPS 3452094 HAS SOUS 2473554 HAS SOUPS 2473554 WITH SCORE 2477006.094
AT ITER 7609 NEW BEST:: SOT 17299907 SOS 3451947 HAS SOPS 3451947 HAS SOUS 2473407 HAS SOUPS 2473407 WITH SCORE 2476858.947
AT ITER 7628 NEW BEST:: SOT 17299907 SOS 3451621 HAS SOPS 3451621 HAS SOUS 2473407 HAS SOUPS 2473407 WITH SCORE 2476858.621
AT ITER 7644 NEW BEST:: SOT 17298235 SOS 3451085 HAS SOPS 3451085 HAS SOUS 2472871 HAS SOUPS 2472871 WITH SCORE 2476322.085
AT ITER 7653 NEW BEST:: SOT 17297647 SOS 3451083 HAS SOPS 3451083 HAS SOUS 2472869 HAS SOUPS 2472869 WITH SCORE 2476320.083
AT ITER 7692 NEW BEST:: SOT 17297321 SOS 3450431 HAS SOPS 3450431 HAS SOUS 2472571 HAS SOUPS 2472571 WITH SCORE 2476021.431
AT ITER 7698 NEW BEST:: SOT 17297306 SOS 3450386 HAS SOPS 3450386 HAS SOUS 2472541 HAS SOUPS 2472541 WITH SCORE 2475991.386
AT ITER 7700 NEW BEST:: SOT 17297306 SOS 3450307 HAS SOPS 3450307 HAS SOUS 2472462 HAS SOUPS 2472462 WITH SCORE 2475912.307
AT ITER 7768 NEW BEST:: SOT 17293217 SOS 3448890 HAS SOPS 3448890 HAS SOUS 2470919 HAS SOUPS 2470919 WITH SCORE 2474367.89
AT ITER 7775 NEW BEST:: SOT 17292965 SOS 3448828 HAS SOPS 3448828 HAS SOUS 2470779 HAS SOUPS 2470779 WITH SCORE 2474227.828
AT ITER 7792 NEW BEST:: SOT 17292518 SOS 3446593 HAS SOPS 3446593 HAS SOUS 2469885 HAS SOUPS 2469885 WITH SCORE 2473331.593
AT ITER 7797 NEW BEST:: SOT 17292468 SOS 3446493 HAS SOPS 3446493 HAS SOUS 2469835 HAS SOUPS 2469835 WITH SCORE 2473281.493
AT ITER 7801 NEW BEST:: SOT 17288191 SOS 3449491 HAS SOPS 3449491 HAS SOUS 2468735 HAS SOUPS 2468735 WITH SCORE 2472184.491
AT ITER 7807 NEW BEST:: SOT 17286456 SOS 3446986 HAS SOPS 3446986 HAS SOUS 2466999 HAS SOUPS 2466999 WITH SCORE 2470445.986
AT ITER 7845 NEW BEST:: SOT 17286331 SOS 3446737 HAS SOPS 3446737 HAS SOUS 2466750 HAS SOUPS 2466750 WITH SCORE 2470196.737
AT ITER 7855 NEW BEST:: SOT 17286330 SOS 3446323 HAS SOPS 3446323 HAS SOUS 2466749 HAS SOUPS 2466749 WITH SCORE 2470195.323
AT ITER 7873 NEW BEST:: SOT 17286408 SOS 3445889 HAS SOPS 3445889 HAS SOUS 2466532 HAS SOUPS 2466532 WITH SCORE 2469977.889
AT ITER 7874 NEW BEST:: SOT 17286000 SOS 3445073 HAS SOPS 3445073 HAS SOUS 2465716 HAS SOUPS 2465716 WITH SCORE 2469161.073
AT ITER 7881 NEW BEST:: SOT 17285661 SOS 3444395 HAS SOPS 3444395 HAS SOUS 2464512 HAS SOUPS 2464512 WITH SCORE 2467956.395
AT ITER 7882 NEW BEST:: SOT 17285620 SOS 3444313 HAS SOPS 3444313 HAS SOUS 2464430 HAS SOUPS 2464430 WITH SCORE 2467874.313
AT ITER 7885 NEW BEST:: SOT 17284501 SOS 3442842 HAS SOPS 3442842 HAS SOUS 2464045 HAS SOUPS 2464045 WITH SCORE 2467487.842
AT ITER 7888 NEW BEST:: SOT 17284017 SOS 3442520 HAS SOPS 3442520 HAS SOUS 2463723 HAS SOUPS 2463723 WITH SCORE 2467165.52
AT ITER 7891 NEW BEST:: SOT 17284017 SOS 3442212 HAS SOPS 3442212 HAS SOUS 2463723 HAS SOUPS 2463723 WITH SCORE 2467165.212
AT ITER 7898 NEW BEST:: SOT 17284049 SOS 3442020 HAS SOPS 3442020 HAS SOUS 2463691 HAS SOUPS 2463691 WITH SCORE 2467133.02
AT ITER 7905 NEW BEST:: SOT 17284049 SOS 3442020 HAS SOPS 3442020 HAS SOUS 2463690 HAS SOUPS 2463690 WITH SCORE 2467132.02
AT ITER 7913 NEW BEST:: SOT 17283723 SOS 3442012 HAS SOPS 3442012 HAS SOUS 2463602 HAS SOUPS 2463602 WITH SCORE 2467044.012
AT ITER 7914 NEW BEST:: SOT 17283565 SOS 3441696 HAS SOPS 3441696 HAS SOUS 2463444 HAS SOUPS 2463444 WITH SCORE 2466885.696
AT ITER 7951 NEW BEST:: SOT 17283564 SOS 3441694 HAS SOPS 3441694 HAS SOUS 2463442 HAS SOUPS 2463442 WITH SCORE 2466883.694
AT ITER 7960 NEW BEST:: SOT 17283305 SOS 3441176 HAS SOPS 3441176 HAS SOUS 2463183 HAS SOUPS 2463183 WITH SCORE 2466624.176
AT ITER 7970 NEW BEST:: SOT 17282087 SOS 3439809 HAS SOPS 3439809 HAS SOUS 2462441 HAS SOUPS 2462441 WITH SCORE 2465880.809
AT ITER 7990 NEW BEST:: SOT 17282005 SOS 3439727 HAS SOPS 3439727 HAS SOUS 2462359 HAS SOUPS 2462359 WITH SCORE 2465798.727
AT ITER 7991 NEW BEST:: SOT 17282005 SOS 3439696 HAS SOPS 3439696 HAS SOUS 2462328 HAS SOUPS 2462328 WITH SCORE 2465767.696
AT ITER 8022 NEW BEST:: SOT 17282004 SOS 3439694 HAS SOPS 3439694 HAS SOUS 2462326 HAS SOUPS 2462326 WITH SCORE 2465765.694
AT ITER 8050 NEW BEST:: SOT 17280516 SOS 3436982 HAS SOPS 3436982 HAS SOUS 2460904 HAS SOUPS 2460904 WITH SCORE 2464340.982
AT ITER 8058 NEW BEST:: SOT 17280462 SOS 3436874 HAS SOPS 3436874 HAS SOUS 2460796 HAS SOUPS 2460796 WITH SCORE 2464232.874
AT ITER 8085 NEW BEST:: SOT 17280085 SOS 3436120 HAS SOPS 3436120 HAS SOUS 2459867 HAS SOUPS 2459867 WITH SCORE 2463303.12
AT ITER 8086 NEW BEST:: SOT 17280487 SOS 3435715 HAS SOPS 3435715 HAS SOUS 2459866 HAS SOUPS 2459866 WITH SCORE 2463301.715
AT ITER 8090 NEW BEST:: SOT 17280277 SOS 3435295 HAS SOPS 3435295 HAS SOUS 2459656 HAS SOUPS 2459656 WITH SCORE 2463091.295
AT ITER 8166 NEW BEST:: SOT 17280309 SOS 3435359 HAS SOPS 3435359 HAS SOUS 2459212 HAS SOUPS 2459212 WITH SCORE 2462647.359
AT ITER 8176 NEW BEST:: SOT 17279855 SOS 3434973 HAS SOPS 3434973 HAS SOUS 2458794 HAS SOUPS 2458794 WITH SCORE 2462228.973
AT ITER 8194 NEW BEST:: SOT 17279855 SOS 3435801 HAS SOPS 3435801 HAS SOUS 2458743 HAS SOUPS 2458743 WITH SCORE 2462178.801
AT ITER 8197 NEW BEST:: SOT 17279372 SOS 3434835 HAS SOPS 3434835 HAS SOUS 2457777 HAS SOUPS 2457777 WITH SCORE 2461211.835
AT ITER 8230 NEW BEST:: SOT 17279307 SOS 3434770 HAS SOPS 3434770 HAS SOUS 2457712 HAS SOUPS 2457712 WITH SCORE 2461146.77
AT ITER 8255 NEW BEST:: SOT 17279279 SOS 3434659 HAS SOPS 3434659 HAS SOUS 2457656 HAS SOUPS 2457656 WITH SCORE 2461090.659
AT ITER 8266 NEW BEST:: SOT 17279279 SOS 3434081 HAS SOPS 3434081 HAS SOUS 2457367 HAS SOUPS 2457367 WITH SCORE 2460801.081
AT ITER 8284 NEW BEST:: SOT 17279001 SOS 3436237 HAS SOPS 3436237 HAS SOUS 2456768 HAS SOUPS 2456768 WITH SCORE 2460204.237
AT ITER 8295 NEW BEST:: SOT 17278626 SOS 3435488 HAS SOPS 3435488 HAS SOUS 2456019 HAS SOUPS 2456019 WITH SCORE 2459454.488
AT ITER 8302 NEW BEST:: SOT 17278582 SOS 3435400 HAS SOPS 3435400 HAS SOUS 2455931 HAS SOUPS 2455931 WITH SCORE 2459366.4
AT ITER 8318 NEW BEST:: SOT 17278563 SOS 3435362 HAS SOPS 3435362 HAS SOUS 2455912 HAS SOUPS 2455912 WITH SCORE 2459347.362
AT ITER 8341 NEW BEST:: SOT 17278251 SOS 3435616 HAS SOPS 3435616 HAS SOUS 2455599 HAS SOUPS 2455599 WITH SCORE 2459034.616
AT ITER 8358 NEW BEST:: SOT 17278113 SOS 3435825 HAS SOPS 3435825 HAS SOUS 2455323 HAS SOUPS 2455323 WITH SCORE 2458758.825
AT ITER 8374 NEW BEST:: SOT 17278113 SOS 3435429 HAS SOPS 3435429 HAS SOUS 2455323 HAS SOUPS 2455323 WITH SCORE 2458758.429
AT ITER 8416 NEW BEST:: SOT 17278080 SOS 3435363 HAS SOPS 3435363 HAS SOUS 2455290 HAS SOUPS 2455290 WITH SCORE 2458725.363
AT ITER 8429 NEW BEST:: SOT 17278079 SOS 3435361 HAS SOPS 3435361 HAS SOUS 2455288 HAS SOUPS 2455288 WITH SCORE 2458723.361
AT ITER 8440 NEW BEST:: SOT 17277454 SOS 3433166 HAS SOPS 3433166 HAS SOUS 2454353 HAS SOUPS 2454353 WITH SCORE 2457786.166
AT ITER 8461 NEW BEST:: SOT 17277453 SOS 3433164 HAS SOPS 3433164 HAS SOUS 2454351 HAS SOUPS 2454351 WITH SCORE 2457784.164
AT ITER 8478 NEW BEST:: SOT 17277099 SOS 3433065 HAS SOPS 3433065 HAS SOUS 2454166 HAS SOUPS 2454166 WITH SCORE 2457599.065
AT ITER 8506 NEW BEST:: SOT 17277586 SOS 3432575 HAS SOPS 3432575 HAS SOUS 2454165 HAS SOUPS 2454165 WITH SCORE 2457597.575
AT ITER 8512 NEW BEST:: SOT 17277271 SOS 3431945 HAS SOPS 3431945 HAS SOUS 2453535 HAS SOUPS 2453535 WITH SCORE 2456966.945
AT ITER 8532 NEW BEST:: SOT 17277031 SOS 3427454 HAS SOPS 3427454 HAS SOUS 2453104 HAS SOUPS 2453104 WITH SCORE 2456531.454
AT ITER 8557 NEW BEST:: SOT 17277031 SOS 3427454 HAS SOPS 3427454 HAS SOUS 2452420 HAS SOUPS 2452420 WITH SCORE 2455847.454
AT ITER 8578 NEW BEST:: SOT 17276511 SOS 3426652 HAS SOPS 3426652 HAS SOUS 2451618 HAS SOUPS 2451618 WITH SCORE 2455044.652
AT ITER 8581 NEW BEST:: SOT 17276511 SOS 3425808 HAS SOPS 3425808 HAS SOUS 2451196 HAS SOUPS 2451196 WITH SCORE 2454621.808
AT ITER 8583 NEW BEST:: SOT 17276511 SOS 3425719 HAS SOPS 3425719 HAS SOUS 2451196 HAS SOUPS 2451196 WITH SCORE 2454621.719
AT ITER 8608 NEW BEST:: SOT 17277046 SOS 3425590 HAS SOPS 3425590 HAS SOUS 2451067 HAS SOUPS 2451067 WITH SCORE 2454492.59
AT ITER 8628 NEW BEST:: SOT 17277045 SOS 3425588 HAS SOPS 3425588 HAS SOUS 2451065 HAS SOUPS 2451065 WITH SCORE 2454490.588
AT ITER 8631 NEW BEST:: SOT 17277299 SOS 3424866 HAS SOPS 3424866 HAS SOUS 2450955 HAS SOUPS 2450955 WITH SCORE 2454379.866
AT ITER 8651 NEW BEST:: SOT 17277299 SOS 3424788 HAS SOPS 3424788 HAS SOUS 2450929 HAS SOUPS 2450929 WITH SCORE 2454353.788
AT ITER 8712 NEW BEST:: SOT 17277298 SOS 3424669 HAS SOPS 3424669 HAS SOUS 2450810 HAS SOUPS 2450810 WITH SCORE 2454234.669
AT ITER 8721 NEW BEST:: SOT 17277174 SOS 3423797 HAS SOPS 3423797 HAS SOUS 2450562 HAS SOUPS 2450562 WITH SCORE 2453985.797
AT ITER 8725 NEW BEST:: SOT 17277173 SOS 3423733 HAS SOPS 3423733 HAS SOUS 2450498 HAS SOUPS 2450498 WITH SCORE 2453921.733
AT ITER 8750 NEW BEST:: SOT 17276280 SOS 3421947 HAS SOPS 3421947 HAS SOUS 2448712 HAS SOUPS 2448712 WITH SCORE 2452133.947
AT ITER 8784 NEW BEST:: SOT 17276064 SOS 3421515 HAS SOPS 3421515 HAS SOUS 2448496 HAS SOUPS 2448496 WITH SCORE 2451917.515
AT ITER 8795 NEW BEST:: SOT 17276522 SOS 3422431 HAS SOPS 3422431 HAS SOUS 2448439 HAS SOUPS 2448439 WITH SCORE 2451861.431
AT ITER 8798 NEW BEST:: SOT 17276059 SOS 3423607 HAS SOPS 3423607 HAS SOUS 2447463 HAS SOUPS 2447463 WITH SCORE 2450886.607
AT ITER 8824 NEW BEST:: SOT 17275796 SOS 3423081 HAS SOPS 3423081 HAS SOUS 2446937 HAS SOUPS 2446937 WITH SCORE 2450360.081
AT ITER 8825 NEW BEST:: SOT 17275423 SOS 3421962 HAS SOPS 3421962 HAS SOUS 2446348 HAS SOUPS 2446348 WITH SCORE 2449769.962
AT ITER 8828 NEW BEST:: SOT 17274984 SOS 3421084 HAS SOPS 3421084 HAS SOUS 2445470 HAS SOUPS 2445470 WITH SCORE 2448891.084
AT ITER 8833 NEW BEST:: SOT 17274368 SOS 3419852 HAS SOPS 3419852 HAS SOUS 2443938 HAS SOUPS 2443938 WITH SCORE 2447357.852
AT ITER 8837 NEW BEST:: SOT 17274158 SOS 3419432 HAS SOPS 3419432 HAS SOUS 2443518 HAS SOUPS 2443518 WITH SCORE 2446937.432
AT ITER 8847 NEW BEST:: SOT 17273429 SOS 3417974 HAS SOPS 3417974 HAS SOUS 2442060 HAS SOUPS 2442060 WITH SCORE 2445477.974
AT ITER 8848 NEW BEST:: SOT 17273408 SOS 3417932 HAS SOPS 3417932 HAS SOUS 2442039 HAS SOUPS 2442039 WITH SCORE 2445456.932
AT ITER 8862 NEW BEST:: SOT 17273379 SOS 3417816 HAS SOPS 3417816 HAS SOUS 2441981 HAS SOUPS 2441981 WITH SCORE 2445398.816
AT ITER 8884 NEW BEST:: SOT 17273320 SOS 3417698 HAS SOPS 3417698 HAS SOUS 2441922 HAS SOUPS 2441922 WITH SCORE 2445339.698
AT ITER 8926 NEW BEST:: SOT 17272348 SOS 3414522 HAS SOPS 3414522 HAS SOUS 2440024 HAS SOUPS 2440024 WITH SCORE 2443438.522
AT ITER 8928 NEW BEST:: SOT 17272348 SOS 3414301 HAS SOPS 3414301 HAS SOUS 2439803 HAS SOUPS 2439803 WITH SCORE 2443217.301
AT ITER 8936 NEW BEST:: SOT 17272334 SOS 3414273 HAS SOPS 3414273 HAS SOUS 2439775 HAS SOUPS 2439775 WITH SCORE 2443189.273
AT ITER 8940 NEW BEST:: SOT 17271809 SOS 3414155 HAS SOPS 3414155 HAS SOUS 2439657 HAS SOUPS 2439657 WITH SCORE 2443071.155
AT ITER 8944 NEW BEST:: SOT 17271790 SOS 3414117 HAS SOPS 3414117 HAS SOUS 2439619 HAS SOUPS 2439619 WITH SCORE 2443033.117
AT ITER 8945 NEW BEST:: SOT 17271562 SOS 3413889 HAS SOPS 3413889 HAS SOUS 2439391 HAS SOUPS 2439391 WITH SCORE 2442804.889
AT ITER 8951 NEW BEST:: SOT 17271490 SOS 3413745 HAS SOPS 3413745 HAS SOUS 2439247 HAS SOUPS 2439247 WITH SCORE 2442660.745
AT ITER 8982 NEW BEST:: SOT 17271297 SOS 3413359 HAS SOPS 3413359 HAS SOUS 2439116 HAS SOUPS 2439116 WITH SCORE 2442529.359
AT ITER 8997 NEW BEST:: SOT 17270839 SOS 3412443 HAS SOPS 3412443 HAS SOUS 2437996 HAS SOUPS 2437996 WITH SCORE 2441408.443
AT ITER 9037 NEW BEST:: SOT 17270583 SOS 3412551 HAS SOPS 3412551 HAS SOUS 2437931 HAS SOUPS 2437931 WITH SCORE 2441343.551
AT ITER 9041 NEW BEST:: SOT 17270633 SOS 3412651 HAS SOPS 3412651 HAS SOUS 2437427 HAS SOUPS 2437427 WITH SCORE 2440839.651
AT ITER 9047 NEW BEST:: SOT 17270633 SOS 3412433 HAS SOPS 3412433 HAS SOUS 2437427 HAS SOUPS 2437427 WITH SCORE 2440839.433
AT ITER 9066 NEW BEST:: SOT 17270249 SOS 3411665 HAS SOPS 3411665 HAS SOUS 2436659 HAS SOUPS 2436659 WITH SCORE 2440070.665
AT ITER 9076 NEW BEST:: SOT 17270249 SOS 3411665 HAS SOPS 3411665 HAS SOUS 2436485 HAS SOUPS 2436485 WITH SCORE 2439896.665
AT ITER 9109 NEW BEST:: SOT 17268660 SOS 3411328 HAS SOPS 3411328 HAS SOUS 2434603 HAS SOUPS 2434603 WITH SCORE 2438014.328
AT ITER 9125 NEW BEST:: SOT 17267988 SOS 3410656 HAS SOPS 3410656 HAS SOUS 2433931 HAS SOUPS 2433931 WITH SCORE 2437341.656
AT ITER 9130 NEW BEST:: SOT 17267892 SOS 3410464 HAS SOPS 3410464 HAS SOUS 2433835 HAS SOUPS 2433835 WITH SCORE 2437245.464
AT ITER 9141 NEW BEST:: SOT 17267581 SOS 3409842 HAS SOPS 3409842 HAS SOUS 2433213 HAS SOUPS 2433213 WITH SCORE 2436622.842
AT ITER 9155 NEW BEST:: SOT 17267089 SOS 3409186 HAS SOPS 3409186 HAS SOUS 2432721 HAS SOUPS 2432721 WITH SCORE 2436130.186
AT ITER 9182 NEW BEST:: SOT 17267148 SOS 3408825 HAS SOPS 3408825 HAS SOUS 2432360 HAS SOUPS 2432360 WITH SCORE 2435768.825
AT ITER 9194 NEW BEST:: SOT 17267148 SOS 3408687 HAS SOPS 3408687 HAS SOUS 2432360 HAS SOUPS 2432360 WITH SCORE 2435768.687
AT ITER 9198 NEW BEST:: SOT 17267144 SOS 3408679 HAS SOPS 3408679 HAS SOUS 2432355 HAS SOUPS 2432355 WITH SCORE 2435763.679
AT ITER 9234 NEW BEST:: SOT 17267144 SOS 3408679 HAS SOPS 3408679 HAS SOUS 2432348 HAS SOUPS 2432348 WITH SCORE 2435756.679
AT ITER 9245 NEW BEST:: SOT 17267052 SOS 3408405 HAS SOPS 3408405 HAS SOUS 2432253 HAS SOUPS 2432253 WITH SCORE 2435661.405
AT ITER 9258 NEW BEST:: SOT 17267052 SOS 3408249 HAS SOPS 3408249 HAS SOUS 2432097 HAS SOUPS 2432097 WITH SCORE 2435505.249
AT ITER 9260 NEW BEST:: SOT 17266914 SOS 3408132 HAS SOPS 3408132 HAS SOUS 2431980 HAS SOUPS 2431980 WITH SCORE 2435388.132
AT ITER 9264 NEW BEST:: SOT 17266914 SOS 3408132 HAS SOPS 3408132 HAS SOUS 2431771 HAS SOUPS 2431771 WITH SCORE 2435179.132
AT ITER 9279 NEW BEST:: SOT 17266624 SOS 3407552 HAS SOPS 3407552 HAS SOUS 2431191 HAS SOUPS 2431191 WITH SCORE 2434598.552
AT ITER 9282 NEW BEST:: SOT 17266238 SOS 3407166 HAS SOPS 3407166 HAS SOUS 2430805 HAS SOUPS 2430805 WITH SCORE 2434212.166
AT ITER 9302 NEW BEST:: SOT 17266238 SOS 3407026 HAS SOPS 3407026 HAS SOUS 2430665 HAS SOUPS 2430665 WITH SCORE 2434072.026
AT ITER 9307 NEW BEST:: SOT 17266238 SOS 3407026 HAS SOPS 3407026 HAS SOUS 2430655 HAS SOUPS 2430655 WITH SCORE 2434062.026
AT ITER 9348 NEW BEST:: SOT 17265876 SOS 3406302 HAS SOPS 3406302 HAS SOUS 2429931 HAS SOUPS 2429931 WITH SCORE 2433337.302
AT ITER 9361 NEW BEST:: SOT 17265666 SOS 3406092 HAS SOPS 3406092 HAS SOUS 2429721 HAS SOUPS 2429721 WITH SCORE 2433127.092
AT ITER 9363 NEW BEST:: SOT 17265663 SOS 3406086 HAS SOPS 3406086 HAS SOUS 2429715 HAS SOUPS 2429715 WITH SCORE 2433121.086
AT ITER 9399 NEW BEST:: SOT 17265634 SOS 3406028 HAS SOPS 3406028 HAS SOUS 2429657 HAS SOUPS 2429657 WITH SCORE 2433063.028
AT ITER 9401 NEW BEST:: SOT 17265195 SOS 3406176 HAS SOPS 3406176 HAS SOUS 2429295 HAS SOUPS 2429295 WITH SCORE 2432701.176
AT ITER 9406 NEW BEST:: SOT 17264835 SOS 3404736 HAS SOPS 3404736 HAS SOUS 2428215 HAS SOUPS 2428215 WITH SCORE 2431619.736
AT ITER 9434 NEW BEST:: SOT 17264791 SOS 3404648 HAS SOPS 3404648 HAS SOUS 2428127 HAS SOUPS 2428127 WITH SCORE 2431531.648
AT ITER 9450 NEW BEST:: SOT 17264790 SOS 3404646 HAS SOPS 3404646 HAS SOUS 2428125 HAS SOUPS 2428125 WITH SCORE 2431529.646
AT ITER 9461 NEW BEST:: SOT 17264885 SOS 3404456 HAS SOPS 3404456 HAS SOUS 2428125 HAS SOUPS 2428125 WITH SCORE 2431529.456
AT ITER 9476 NEW BEST:: SOT 17264884 SOS 3404110 HAS SOPS 3404110 HAS SOUS 2427779 HAS SOUPS 2427779 WITH SCORE 2431183.11
AT ITER 9480 NEW BEST:: SOT 17264568 SOS 3404048 HAS SOPS 3404048 HAS SOUS 2427491 HAS SOUPS 2427491 WITH SCORE 2430895.048
AT ITER 9483 NEW BEST:: SOT 17264408 SOS 3403728 HAS SOPS 3403728 HAS SOUS 2427331 HAS SOUPS 2427331 WITH SCORE 2430734.728
AT ITER 9517 NEW BEST:: SOT 17264397 SOS 3403706 HAS SOPS 3403706 HAS SOUS 2427320 HAS SOUPS 2427320 WITH SCORE 2430723.706
AT ITER 9560 NEW BEST:: SOT 17263783 SOS 3402478 HAS SOPS 3402478 HAS SOUS 2426758 HAS SOUPS 2426758 WITH SCORE 2430160.478
AT ITER 9589 NEW BEST:: SOT 17262648 SOS 3401882 HAS SOPS 3401882 HAS SOUS 2425831 HAS SOUPS 2425831 WITH SCORE 2429232.882
AT ITER 9590 NEW BEST:: SOT 17262648 SOS 3401882 HAS SOPS 3401882 HAS SOUS 2425764 HAS SOUPS 2425764 WITH SCORE 2429165.882
AT ITER 9628 NEW BEST:: SOT 17262443 SOS 3401472 HAS SOPS 3401472 HAS SOUS 2425559 HAS SOUPS 2425559 WITH SCORE 2428960.472
AT ITER 9631 NEW BEST:: SOT 17262320 SOS 3401458 HAS SOPS 3401458 HAS SOUS 2425545 HAS SOUPS 2425545 WITH SCORE 2428946.458
AT ITER 9638 NEW BEST:: SOT 17262346 SOS 3401055 HAS SOPS 3401055 HAS SOUS 2424800 HAS SOUPS 2424800 WITH SCORE 2428201.055
AT ITER 9639 NEW BEST:: SOT 17262346 SOS 3400605 HAS SOPS 3400605 HAS SOUS 2424800 HAS SOUPS 2424800 WITH SCORE 2428200.605
AT ITER 9650 NEW BEST:: SOT 17262381 SOS 3400507 HAS SOPS 3400507 HAS SOUS 2424769 HAS SOUPS 2424769 WITH SCORE 2428169.507
AT ITER 9697 NEW BEST:: SOT 17262190 SOS 3400125 HAS SOPS 3400125 HAS SOUS 2424387 HAS SOUPS 2424387 WITH SCORE 2427787.125
AT ITER 9730 NEW BEST:: SOT 17262190 SOS 3399891 HAS SOPS 3399891 HAS SOUS 2424270 HAS SOUPS 2424270 WITH SCORE 2427669.891
AT ITER 9807 NEW BEST:: SOT 17262190 SOS 3399891 HAS SOPS 3399891 HAS SOUS 2424049 HAS SOUPS 2424049 WITH SCORE 2427448.891
AT ITER 9810 NEW BEST:: SOT 17262189 SOS 3399345 HAS SOPS 3399345 HAS SOUS 2423503 HAS SOUPS 2423503 WITH SCORE 2426902.345
AT ITER 9825 NEW BEST:: SOT 17262185 SOS 3399337 HAS SOPS 3399337 HAS SOUS 2423495 HAS SOUPS 2423495 WITH SCORE 2426894.337
AT ITER 9835 NEW BEST:: SOT 17261882 SOS 3397527 HAS SOPS 3397527 HAS SOUS 2422891 HAS SOUPS 2422891 WITH SCORE 2426288.527
AT ITER 9857 NEW BEST:: SOT 17261822 SOS 3397407 HAS SOPS 3397407 HAS SOUS 2422771 HAS SOUPS 2422771 WITH SCORE 2426168.407
AT ITER 9901 NEW BEST:: SOT 17261153 SOS 3396069 HAS SOPS 3396069 HAS SOUS 2422193 HAS SOUPS 2422193 WITH SCORE 2425589.069
AT ITER 9905 NEW BEST:: SOT 17260904 SOS 3395820 HAS SOPS 3395820 HAS SOUS 2421944 HAS SOUPS 2421944 WITH SCORE 2425339.82
AT ITER 9908 NEW BEST:: SOT 17260840 SOS 3395692 HAS SOPS 3395692 HAS SOUS 2421816 HAS SOUPS 2421816 WITH SCORE 2425211.692
AT ITER 9917 NEW BEST:: SOT 17260840 SOS 3395516 HAS SOPS 3395516 HAS SOUS 2421640 HAS SOUPS 2421640 WITH SCORE 2425035.516
AT ITER 9918 NEW BEST:: SOT 17260748 SOS 3395470 HAS SOPS 3395470 HAS SOUS 2421594 HAS SOUPS 2421594 WITH SCORE 2424989.47
AT ITER 9974 NEW BEST:: SOT 17260503 SOS 3394980 HAS SOPS 3394980 HAS SOUS 2421389 HAS SOUPS 2421389 WITH SCORE 2424783.98
AT ITER 9984 NEW BEST:: SOT 17260502 SOS 3394978 HAS SOPS 3394978 HAS SOUS 2421387 HAS SOUPS 2421387 WITH SCORE 2424781.978

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="DLCflexbar-PT-2b"
export BK_EXAMINATION="StateSpace"
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 DLCflexbar-PT-2b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r048-ebro-158902542100352"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DLCflexbar-PT-2b.tgz
mv DLCflexbar-PT-2b execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "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 [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "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 "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.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 '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
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 ;