About the Execution of smart for NoC3x3-PT-7B
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15768.280 | 3600000.00 | 3599990.00 | 0.00 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/local/x2003239/mcc2020-input.r108-csrt-158961250500440.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is NoC3x3-PT-7B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250500440
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.1M
-rw-r--r-- 1 mcc users 3.5K Apr 8 15:09 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 8 15:09 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 7 18:39 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 7 18:39 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 14 12:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 14 12:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Apr 6 20:21 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 6 20:21 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 6 04:02 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 6 04:02 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 6 20:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 6 20:25 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 2.0M 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 1589643995514
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NoC3x3 (PT), instance 7B
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart
Filename model.pnml
Petri model created: 7014 places, 8833 transitions, 19619 arcs.
AT ITER 0 NEW BEST:: SOT 32421435 SOS 3262032 HAS SOPS 3262032 HAS SOUS 2812389 HAS SOUPS 2812389 WITH SCORE 2815651.032
AT ITER 20 NEW BEST:: SOT 32420292 SOS 3263262 HAS SOPS 3263262 HAS SOUS 2811504 HAS SOUPS 2811504 WITH SCORE 2814767.262
AT ITER 43 NEW BEST:: SOT 32420238 SOS 3263154 HAS SOPS 3263154 HAS SOUS 2811450 HAS SOUPS 2811450 WITH SCORE 2814713.154
AT ITER 48 NEW BEST:: SOT 32420012 SOS 3263025 HAS SOPS 3263025 HAS SOUS 2811224 HAS SOUPS 2811224 WITH SCORE 2814487.025
AT ITER 139 NEW BEST:: SOT 32420201 SOS 3263217 HAS SOPS 3263217 HAS SOUS 2811067 HAS SOUPS 2811067 WITH SCORE 2814330.217
AT ITER 144 NEW BEST:: SOT 32420201 SOS 3262999 HAS SOPS 3262999 HAS SOUS 2811067 HAS SOUPS 2811067 WITH SCORE 2814329.999
AT ITER 157 NEW BEST:: SOT 32420010 SOS 3262881 HAS SOPS 3262881 HAS SOUS 2810949 HAS SOUPS 2810949 WITH SCORE 2814211.881
AT ITER 169 NEW BEST:: SOT 32419905 SOS 3262671 HAS SOPS 3262671 HAS SOUS 2810844 HAS SOUPS 2810844 WITH SCORE 2814106.671
AT ITER 174 NEW BEST:: SOT 32419535 SOS 3262585 HAS SOPS 3262585 HAS SOUS 2810474 HAS SOUPS 2810474 WITH SCORE 2813736.585
AT ITER 186 NEW BEST:: SOT 32419648 SOS 3259598 HAS SOPS 3259598 HAS SOUS 2810051 HAS SOUPS 2810051 WITH SCORE 2813310.598
AT ITER 193 NEW BEST:: SOT 32417902 SOS 3257962 HAS SOPS 3257962 HAS SOUS 2808023 HAS SOUPS 2808023 WITH SCORE 2811280.962
AT ITER 208 NEW BEST:: SOT 32417810 SOS 3257686 HAS SOPS 3257686 HAS SOUS 2807839 HAS SOUPS 2807839 WITH SCORE 2811096.686
AT ITER 212 NEW BEST:: SOT 32417162 SOS 3257805 HAS SOPS 3257805 HAS SOUS 2807191 HAS SOUPS 2807191 WITH SCORE 2810448.805
AT ITER 255 NEW BEST:: SOT 32417035 SOS 3257719 HAS SOPS 3257719 HAS SOUS 2807064 HAS SOUPS 2807064 WITH SCORE 2810321.719
AT ITER 268 NEW BEST:: SOT 32417035 SOS 3257385 HAS SOPS 3257385 HAS SOUS 2806897 HAS SOUPS 2806897 WITH SCORE 2810154.385
AT ITER 300 NEW BEST:: SOT 32417276 SOS 3257636 HAS SOPS 3257636 HAS SOUS 2806616 HAS SOUPS 2806616 WITH SCORE 2809873.636
AT ITER 313 NEW BEST:: SOT 32417276 SOS 3257636 HAS SOPS 3257636 HAS SOUS 2806614 HAS SOUPS 2806614 WITH SCORE 2809871.636
AT ITER 347 NEW BEST:: SOT 32417276 SOS 3257297 HAS SOPS 3257297 HAS SOUS 2806275 HAS SOUPS 2806275 WITH SCORE 2809532.297
AT ITER 364 NEW BEST:: SOT 32416801 SOS 3256912 HAS SOPS 3256912 HAS SOUS 2805890 HAS SOUPS 2805890 WITH SCORE 2809146.912
AT ITER 365 NEW BEST:: SOT 32416640 SOS 3256822 HAS SOPS 3256822 HAS SOUS 2805729 HAS SOUPS 2805729 WITH SCORE 2808985.822
AT ITER 405 NEW BEST:: SOT 32415899 SOS 3256254 HAS SOPS 3256254 HAS SOUS 2805054 HAS SOUPS 2805054 WITH SCORE 2808310.254
AT ITER 409 NEW BEST:: SOT 32415658 SOS 3255768 HAS SOPS 3255768 HAS SOUS 2804328 HAS SOUPS 2804328 WITH SCORE 2807583.768
AT ITER 453 NEW BEST:: SOT 32415502 SOS 3255612 HAS SOPS 3255612 HAS SOUS 2804172 HAS SOUPS 2804172 WITH SCORE 2807427.612
AT ITER 493 NEW BEST:: SOT 32415502 SOS 3255612 HAS SOPS 3255612 HAS SOUS 2804107 HAS SOUPS 2804107 WITH SCORE 2807362.612
AT ITER 509 NEW BEST:: SOT 32409542 SOS 3255125 HAS SOPS 3255125 HAS SOUS 2799004 HAS SOUPS 2799004 WITH SCORE 2802259.125
AT ITER 518 NEW BEST:: SOT 32409467 SOS 3254975 HAS SOPS 3254975 HAS SOUS 2798854 HAS SOUPS 2798854 WITH SCORE 2802108.975
AT ITER 560 NEW BEST:: SOT 32409467 SOS 3254975 HAS SOPS 3254975 HAS SOUS 2798784 HAS SOUPS 2798784 WITH SCORE 2802038.975
AT ITER 578 NEW BEST:: SOT 32409165 SOS 3254969 HAS SOPS 3254969 HAS SOUS 2798701 HAS SOUPS 2798701 WITH SCORE 2801955.969
AT ITER 581 NEW BEST:: SOT 32408301 SOS 3253817 HAS SOPS 3253817 HAS SOUS 2797549 HAS SOUPS 2797549 WITH SCORE 2800802.817
AT ITER 595 NEW BEST:: SOT 32408300 SOS 3253815 HAS SOPS 3253815 HAS SOUS 2797547 HAS SOUPS 2797547 WITH SCORE 2800800.815
AT ITER 629 NEW BEST:: SOT 32408320 SOS 3253806 HAS SOPS 3253806 HAS SOUS 2797538 HAS SOUPS 2797538 WITH SCORE 2800791.806
AT ITER 691 NEW BEST:: SOT 32408080 SOS 3253735 HAS SOPS 3253735 HAS SOUS 2797383 HAS SOUPS 2797383 WITH SCORE 2800636.735
AT ITER 761 NEW BEST:: SOT 32407825 SOS 3253481 HAS SOPS 3253481 HAS SOUS 2797129 HAS SOUPS 2797129 WITH SCORE 2800382.481
AT ITER 824 NEW BEST:: SOT 32405972 SOS 3253510 HAS SOPS 3253510 HAS SOUS 2795388 HAS SOUPS 2795388 WITH SCORE 2798641.51
AT ITER 842 NEW BEST:: SOT 32405972 SOS 3253510 HAS SOPS 3253510 HAS SOUS 2795357 HAS SOUPS 2795357 WITH SCORE 2798610.51
AT ITER 848 NEW BEST:: SOT 32404465 SOS 3250496 HAS SOPS 3250496 HAS SOUS 2793247 HAS SOUPS 2793247 WITH SCORE 2796497.496
AT ITER 849 NEW BEST:: SOT 32404465 SOS 3250522 HAS SOPS 3250522 HAS SOUS 2793199 HAS SOUPS 2793199 WITH SCORE 2796449.522
AT ITER 885 NEW BEST:: SOT 32404458 SOS 3250508 HAS SOPS 3250508 HAS SOUS 2793185 HAS SOUPS 2793185 WITH SCORE 2796435.508
AT ITER 933 NEW BEST:: SOT 32404655 SOS 3250227 HAS SOPS 3250227 HAS SOUS 2793099 HAS SOUPS 2793099 WITH SCORE 2796349.227
AT ITER 971 NEW BEST:: SOT 32404611 SOS 3250095 HAS SOPS 3250095 HAS SOUS 2793055 HAS SOUPS 2793055 WITH SCORE 2796305.095
AT ITER 1014 NEW BEST:: SOT 32404525 SOS 3249923 HAS SOPS 3249923 HAS SOUS 2792926 HAS SOUPS 2792926 WITH SCORE 2796175.923
AT ITER 1020 NEW BEST:: SOT 32404443 SOS 3249841 HAS SOPS 3249841 HAS SOUS 2792844 HAS SOUPS 2792844 WITH SCORE 2796093.841
AT ITER 1034 NEW BEST:: SOT 32404623 SOS 3249661 HAS SOPS 3249661 HAS SOUS 2792843 HAS SOUPS 2792843 WITH SCORE 2796092.661
AT ITER 1043 NEW BEST:: SOT 32404487 SOS 3249389 HAS SOPS 3249389 HAS SOUS 2792571 HAS SOUPS 2792571 WITH SCORE 2795820.389
AT ITER 1094 NEW BEST:: SOT 32404397 SOS 3249389 HAS SOPS 3249389 HAS SOUS 2792481 HAS SOUPS 2792481 WITH SCORE 2795730.389
AT ITER 1136 NEW BEST:: SOT 32404046 SOS 3249028 HAS SOPS 3249028 HAS SOUS 2792007 HAS SOUPS 2792007 WITH SCORE 2795256.028
AT ITER 1173 NEW BEST:: SOT 32403806 SOS 3248548 HAS SOPS 3248548 HAS SOUS 2791514 HAS SOUPS 2791514 WITH SCORE 2794762.548
AT ITER 1176 NEW BEST:: SOT 32403471 SOS 3246873 HAS SOPS 3246873 HAS SOUS 2791178 HAS SOUPS 2791178 WITH SCORE 2794424.873
AT ITER 1227 NEW BEST:: SOT 32403055 SOS 3246457 HAS SOPS 3246457 HAS SOUS 2790554 HAS SOUPS 2790554 WITH SCORE 2793800.457
AT ITER 1268 NEW BEST:: SOT 32402902 SOS 3245998 HAS SOPS 3245998 HAS SOUS 2790248 HAS SOUPS 2790248 WITH SCORE 2793493.998
AT ITER 1279 NEW BEST:: SOT 32402700 SOS 3245594 HAS SOPS 3245594 HAS SOUS 2789945 HAS SOUPS 2789945 WITH SCORE 2793190.594
AT ITER 1287 NEW BEST:: SOT 32402700 SOS 3245549 HAS SOPS 3245549 HAS SOUS 2789945 HAS SOUPS 2789945 WITH SCORE 2793190.549
AT ITER 1295 NEW BEST:: SOT 32402700 SOS 3245233 HAS SOPS 3245233 HAS SOUS 2789629 HAS SOUPS 2789629 WITH SCORE 2792874.233
AT ITER 1311 NEW BEST:: SOT 32402058 SOS 3249871 HAS SOPS 3249871 HAS SOUS 2789407 HAS SOUPS 2789407 WITH SCORE 2792656.871
AT ITER 1369 NEW BEST:: SOT 32401861 SOS 3249730 HAS SOPS 3249730 HAS SOUS 2788989 HAS SOUPS 2788989 WITH SCORE 2792238.73
AT ITER 1472 NEW BEST:: SOT 32401947 SOS 3249592 HAS SOPS 3249592 HAS SOUS 2788957 HAS SOUPS 2788957 WITH SCORE 2792206.592
AT ITER 1498 NEW BEST:: SOT 32401947 SOS 3249592 HAS SOPS 3249592 HAS SOUS 2788956 HAS SOUPS 2788956 WITH SCORE 2792205.592
AT ITER 1508 NEW BEST:: SOT 32401771 SOS 3248624 HAS SOPS 3248624 HAS SOUS 2788463 HAS SOUPS 2788463 WITH SCORE 2791711.624
AT ITER 1567 NEW BEST:: SOT 32401771 SOS 3248386 HAS SOPS 3248386 HAS SOUS 2788462 HAS SOUPS 2788462 WITH SCORE 2791710.386
AT ITER 1581 NEW BEST:: SOT 32401771 SOS 3247949 HAS SOPS 3247949 HAS SOUS 2788025 HAS SOUPS 2788025 WITH SCORE 2791272.949
AT ITER 1598 NEW BEST:: SOT 32401771 SOS 3247949 HAS SOPS 3247949 HAS SOUS 2788021 HAS SOUPS 2788021 WITH SCORE 2791268.949
AT ITER 1601 NEW BEST:: SOT 32401743 SOS 3247893 HAS SOPS 3247893 HAS SOUS 2787738 HAS SOUPS 2787738 WITH SCORE 2790985.893
AT ITER 1618 NEW BEST:: SOT 32401846 SOS 3248099 HAS SOPS 3248099 HAS SOUS 2787452 HAS SOUPS 2787452 WITH SCORE 2790700.099
AT ITER 1621 NEW BEST:: SOT 32401609 SOS 3247625 HAS SOPS 3247625 HAS SOUS 2786978 HAS SOUPS 2786978 WITH SCORE 2790225.625
AT ITER 1652 NEW BEST:: SOT 32401442 SOS 3247359 HAS SOPS 3247359 HAS SOUS 2786712 HAS SOUPS 2786712 WITH SCORE 2789959.359
AT ITER 1695 NEW BEST:: SOT 32401312 SOS 3246921 HAS SOPS 3246921 HAS SOUS 2786566 HAS SOUPS 2786566 WITH SCORE 2789812.921
AT ITER 1728 NEW BEST:: SOT 32401013 SOS 3246769 HAS SOPS 3246769 HAS SOUS 2786276 HAS SOUPS 2786276 WITH SCORE 2789522.769
AT ITER 1781 NEW BEST:: SOT 32400525 SOS 3247573 HAS SOPS 3247573 HAS SOUS 2786206 HAS SOUPS 2786206 WITH SCORE 2789453.573
AT ITER 1784 NEW BEST:: SOT 32400481 SOS 3247573 HAS SOPS 3247573 HAS SOUS 2786118 HAS SOUPS 2786118 WITH SCORE 2789365.573
AT ITER 1786 NEW BEST:: SOT 32400444 SOS 3247499 HAS SOPS 3247499 HAS SOUS 2786044 HAS SOUPS 2786044 WITH SCORE 2789291.499
AT ITER 1828 NEW BEST:: SOT 32400268 SOS 3247147 HAS SOPS 3247147 HAS SOUS 2785692 HAS SOUPS 2785692 WITH SCORE 2788939.147
AT ITER 1891 NEW BEST:: SOT 32400494 SOS 3247599 HAS SOPS 3247599 HAS SOUS 2785653 HAS SOUPS 2785653 WITH SCORE 2788900.599
AT ITER 1910 NEW BEST:: SOT 32400441 SOS 3247686 HAS SOPS 3247686 HAS SOUS 2785600 HAS SOUPS 2785600 WITH SCORE 2788847.686
AT ITER 2001 NEW BEST:: SOT 32400633 SOS 3247554 HAS SOPS 3247554 HAS SOUS 2785217 HAS SOUPS 2785217 WITH SCORE 2788464.554
AT ITER 2076 NEW BEST:: SOT 32400141 SOS 3247204 HAS SOPS 3247204 HAS SOUS 2784725 HAS SOUPS 2784725 WITH SCORE 2787972.204
AT ITER 2086 NEW BEST:: SOT 32400335 SOS 3247592 HAS SOPS 3247592 HAS SOUS 2784704 HAS SOUPS 2784704 WITH SCORE 2787951.592
AT ITER 2129 NEW BEST:: SOT 32400468 SOS 3246778 HAS SOPS 3246778 HAS SOUS 2784543 HAS SOUPS 2784543 WITH SCORE 2787789.778
AT ITER 2131 NEW BEST:: SOT 32400431 SOS 3246704 HAS SOPS 3246704 HAS SOUS 2784469 HAS SOUPS 2784469 WITH SCORE 2787715.704
AT ITER 2193 NEW BEST:: SOT 32400364 SOS 3246570 HAS SOPS 3246570 HAS SOUS 2784316 HAS SOUPS 2784316 WITH SCORE 2787562.57
AT ITER 2214 NEW BEST:: SOT 32400627 SOS 3248028 HAS SOPS 3248028 HAS SOUS 2784272 HAS SOUPS 2784272 WITH SCORE 2787520.028
AT ITER 2225 NEW BEST:: SOT 32400528 SOS 3247830 HAS SOPS 3247830 HAS SOUS 2784074 HAS SOUPS 2784074 WITH SCORE 2787321.83
AT ITER 2258 NEW BEST:: SOT 32400399 SOS 3247701 HAS SOPS 3247701 HAS SOUS 2783945 HAS SOUPS 2783945 WITH SCORE 2787192.701
AT ITER 2283 NEW BEST:: SOT 32400340 SOS 3247583 HAS SOPS 3247583 HAS SOUS 2783886 HAS SOUPS 2783886 WITH SCORE 2787133.583
AT ITER 2434 NEW BEST:: SOT 32399869 SOS 3248086 HAS SOPS 3248086 HAS SOUS 2783415 HAS SOUPS 2783415 WITH SCORE 2786663.086
AT ITER 2466 NEW BEST:: SOT 32399717 SOS 3247782 HAS SOPS 3247782 HAS SOUS 2783111 HAS SOUPS 2783111 WITH SCORE 2786358.782
AT ITER 2499 NEW BEST:: SOT 32399717 SOS 3247573 HAS SOPS 3247573 HAS SOUS 2782902 HAS SOUPS 2782902 WITH SCORE 2786149.573
AT ITER 2514 NEW BEST:: SOT 32399971 SOS 3248081 HAS SOPS 3248081 HAS SOUS 2782805 HAS SOUPS 2782805 WITH SCORE 2786053.081
AT ITER 2522 NEW BEST:: SOT 32399832 SOS 3247942 HAS SOPS 3247942 HAS SOUS 2782666 HAS SOUPS 2782666 WITH SCORE 2785913.942
AT ITER 2526 NEW BEST:: SOT 32399832 SOS 3247249 HAS SOPS 3247249 HAS SOUS 2782666 HAS SOUPS 2782666 WITH SCORE 2785913.249
AT ITER 2536 NEW BEST:: SOT 32399773 SOS 3246659 HAS SOPS 3246659 HAS SOUS 2782548 HAS SOUPS 2782548 WITH SCORE 2785794.659
AT ITER 2543 NEW BEST:: SOT 32399773 SOS 3245732 HAS SOPS 3245732 HAS SOUS 2782238 HAS SOUPS 2782238 WITH SCORE 2785483.732
AT ITER 2547 NEW BEST:: SOT 32399514 SOS 3245214 HAS SOPS 3245214 HAS SOUS 2781547 HAS SOUPS 2781547 WITH SCORE 2784792.214
AT ITER 2558 NEW BEST:: SOT 32399242 SOS 3245618 HAS SOPS 3245618 HAS SOUS 2781403 HAS SOUPS 2781403 WITH SCORE 2784648.618
AT ITER 2598 NEW BEST:: SOT 32399378 SOS 3245754 HAS SOPS 3245754 HAS SOUS 2781402 HAS SOUPS 2781402 WITH SCORE 2784647.754
AT ITER 2678 NEW BEST:: SOT 32399617 SOS 3245037 HAS SOPS 3245037 HAS SOUS 2781402 HAS SOUPS 2781402 WITH SCORE 2784647.037
AT ITER 2694 NEW BEST:: SOT 32393147 SOS 3240606 HAS SOPS 3240606 HAS SOUS 2775271 HAS SOUPS 2775271 WITH SCORE 2778511.606
AT ITER 2710 NEW BEST:: SOT 32392921 SOS 3240643 HAS SOPS 3240643 HAS SOUS 2775083 HAS SOUPS 2775083 WITH SCORE 2778323.643
AT ITER 2717 NEW BEST:: SOT 32393352 SOS 3240643 HAS SOPS 3240643 HAS SOUS 2775082 HAS SOUPS 2775082 WITH SCORE 2778322.643
AT ITER 2749 NEW BEST:: SOT 32391745 SOS 3245371 HAS SOPS 3245371 HAS SOUS 2774233 HAS SOUPS 2774233 WITH SCORE 2777478.371
AT ITER 2790 NEW BEST:: SOT 32391320 SOS 3244989 HAS SOPS 3244989 HAS SOUS 2773806 HAS SOUPS 2773806 WITH SCORE 2777050.989
AT ITER 2806 NEW BEST:: SOT 32390949 SOS 3244450 HAS SOPS 3244450 HAS SOUS 2773249 HAS SOUPS 2773249 WITH SCORE 2776493.45
AT ITER 2808 NEW BEST:: SOT 32390949 SOS 3244322 HAS SOPS 3244322 HAS SOUS 2773121 HAS SOUPS 2773121 WITH SCORE 2776365.322
AT ITER 2809 NEW BEST:: SOT 32391031 SOS 3244486 HAS SOPS 3244486 HAS SOUS 2772776 HAS SOUPS 2772776 WITH SCORE 2776020.486
AT ITER 2834 NEW BEST:: SOT 32390474 SOS 3244314 HAS SOPS 3244314 HAS SOUS 2772243 HAS SOUPS 2772243 WITH SCORE 2775487.314
AT ITER 2836 NEW BEST:: SOT 32390428 SOS 3244222 HAS SOPS 3244222 HAS SOUS 2772174 HAS SOUPS 2772174 WITH SCORE 2775418.222
AT ITER 2858 NEW BEST:: SOT 32390249 SOS 3243864 HAS SOPS 3243864 HAS SOUS 2771993 HAS SOUPS 2771993 WITH SCORE 2775236.864
AT ITER 2880 NEW BEST:: SOT 32389851 SOS 3243466 HAS SOPS 3243466 HAS SOUS 2771595 HAS SOUPS 2771595 WITH SCORE 2774838.466
AT ITER 2903 NEW BEST:: SOT 32389884 SOS 3243532 HAS SOPS 3243532 HAS SOUS 2771390 HAS SOUPS 2771390 WITH SCORE 2774633.532
AT ITER 2919 NEW BEST:: SOT 32390065 SOS 3243278 HAS SOPS 3243278 HAS SOUS 2771263 HAS SOUPS 2771263 WITH SCORE 2774506.278
AT ITER 2922 NEW BEST:: SOT 32390051 SOS 3243250 HAS SOPS 3243250 HAS SOUS 2771221 HAS SOUPS 2771221 WITH SCORE 2774464.25
AT ITER 2949 NEW BEST:: SOT 32390051 SOS 3242670 HAS SOPS 3242670 HAS SOUS 2771219 HAS SOUPS 2771219 WITH SCORE 2774461.67
AT ITER 2978 NEW BEST:: SOT 32389471 SOS 3242235 HAS SOPS 3242235 HAS SOUS 2770639 HAS SOUPS 2770639 WITH SCORE 2773881.235
AT ITER 2983 NEW BEST:: SOT 32389180 SOS 3241981 HAS SOPS 3241981 HAS SOUS 2770346 HAS SOUPS 2770346 WITH SCORE 2773587.981
AT ITER 2986 NEW BEST:: SOT 32389044 SOS 3242041 HAS SOPS 3242041 HAS SOUS 2770149 HAS SOUPS 2770149 WITH SCORE 2773391.041
AT ITER 3012 NEW BEST:: SOT 32389044 SOS 3241985 HAS SOPS 3241985 HAS SOUS 2770093 HAS SOUPS 2770093 WITH SCORE 2773334.985
AT ITER 3022 NEW BEST:: SOT 32388805 SOS 3242187 HAS SOPS 3242187 HAS SOUS 2769642 HAS SOUPS 2769642 WITH SCORE 2772884.187
AT ITER 3023 NEW BEST:: SOT 32382332 SOS 3233595 HAS SOPS 3233595 HAS SOUS 2763380 HAS SOUPS 2763380 WITH SCORE 2766613.595
AT ITER 3051 NEW BEST:: SOT 32382331 SOS 3233593 HAS SOPS 3233593 HAS SOUS 2763378 HAS SOUPS 2763378 WITH SCORE 2766611.593
AT ITER 3056 NEW BEST:: SOT 32382331 SOS 3233095 HAS SOPS 3233095 HAS SOUS 2763129 HAS SOUPS 2763129 WITH SCORE 2766362.095
AT ITER 3111 NEW BEST:: SOT 32382285 SOS 3232911 HAS SOPS 3232911 HAS SOUS 2763060 HAS SOUPS 2763060 WITH SCORE 2766292.911
AT ITER 3130 NEW BEST:: SOT 32382285 SOS 3232857 HAS SOPS 3232857 HAS SOUS 2763033 HAS SOUPS 2763033 WITH SCORE 2766265.857
AT ITER 3136 NEW BEST:: SOT 32382192 SOS 3232764 HAS SOPS 3232764 HAS SOUS 2762920 HAS SOUPS 2762920 WITH SCORE 2766152.764
AT ITER 3235 NEW BEST:: SOT 32382510 SOS 3232895 HAS SOPS 3232895 HAS SOUS 2762909 HAS SOUPS 2762909 WITH SCORE 2766141.895
AT ITER 3288 NEW BEST:: SOT 32381905 SOS 3232156 HAS SOPS 3232156 HAS SOUS 2762406 HAS SOUPS 2762406 WITH SCORE 2765638.156
AT ITER 3323 NEW BEST:: SOT 32378497 SOS 3243676 HAS SOPS 3243676 HAS SOUS 2761378 HAS SOUPS 2761378 WITH SCORE 2764621.676
AT ITER 3468 NEW BEST:: SOT 32378649 SOS 3242920 HAS SOPS 3242920 HAS SOUS 2761318 HAS SOUPS 2761318 WITH SCORE 2764560.92
AT ITER 3515 NEW BEST:: SOT 32378436 SOS 3242829 HAS SOPS 3242829 HAS SOUS 2761105 HAS SOUPS 2761105 WITH SCORE 2764347.829
AT ITER 3538 NEW BEST:: SOT 32377979 SOS 3238963 HAS SOPS 3238963 HAS SOUS 2760190 HAS SOUPS 2760190 WITH SCORE 2763428.963
AT ITER 3542 NEW BEST:: SOT 32377979 SOS 3238753 HAS SOPS 3238753 HAS SOUS 2760189 HAS SOUPS 2760189 WITH SCORE 2763427.753
AT ITER 3554 NEW BEST:: SOT 32377748 SOS 3238824 HAS SOPS 3238824 HAS SOUS 2759955 HAS SOUPS 2759955 WITH SCORE 2763193.824
AT ITER 3633 NEW BEST:: SOT 32377748 SOS 3238738 HAS SOPS 3238738 HAS SOUS 2759912 HAS SOUPS 2759912 WITH SCORE 2763150.738
AT ITER 3712 NEW BEST:: SOT 32377641 SOS 3238658 HAS SOPS 3238658 HAS SOUS 2759832 HAS SOUPS 2759832 WITH SCORE 2763070.658
AT ITER 3719 NEW BEST:: SOT 32377259 SOS 3236956 HAS SOPS 3236956 HAS SOUS 2759009 HAS SOUPS 2759009 WITH SCORE 2762245.956
AT ITER 3721 NEW BEST:: SOT 32376878 SOS 3235377 HAS SOPS 3235377 HAS SOUS 2758601 HAS SOUPS 2758601 WITH SCORE 2761836.377
AT ITER 3761 NEW BEST:: SOT 32376878 SOS 3235352 HAS SOPS 3235352 HAS SOUS 2758569 HAS SOUPS 2758569 WITH SCORE 2761804.352
AT ITER 3772 NEW BEST:: SOT 32376372 SOS 3234735 HAS SOPS 3234735 HAS SOUS 2757877 HAS SOUPS 2757877 WITH SCORE 2761111.735
AT ITER 3781 NEW BEST:: SOT 32376372 SOS 3234596 HAS SOPS 3234596 HAS SOUS 2757738 HAS SOUPS 2757738 WITH SCORE 2760972.596
AT ITER 3783 NEW BEST:: SOT 32376258 SOS 3234482 HAS SOPS 3234482 HAS SOUS 2757567 HAS SOUPS 2757567 WITH SCORE 2760801.482
AT ITER 3791 NEW BEST:: SOT 32376258 SOS 3234482 HAS SOPS 3234482 HAS SOUS 2757565 HAS SOUPS 2757565 WITH SCORE 2760799.482
AT ITER 3796 NEW BEST:: SOT 32376126 SOS 3234218 HAS SOPS 3234218 HAS SOUS 2757433 HAS SOUPS 2757433 WITH SCORE 2760667.218
AT ITER 3825 NEW BEST:: SOT 32376047 SOS 3234060 HAS SOPS 3234060 HAS SOUS 2757072 HAS SOUPS 2757072 WITH SCORE 2760306.06
AT ITER 3844 NEW BEST:: SOT 32376047 SOS 3234052 HAS SOPS 3234052 HAS SOUS 2757066 HAS SOUPS 2757066 WITH SCORE 2760300.052
AT ITER 3851 NEW BEST:: SOT 32375908 SOS 3233458 HAS SOPS 3233458 HAS SOUS 2756994 HAS SOUPS 2756994 WITH SCORE 2760227.458
AT ITER 3853 NEW BEST:: SOT 32375801 SOS 3233178 HAS SOPS 3233178 HAS SOUS 2756821 HAS SOUPS 2756821 WITH SCORE 2760054.178
AT ITER 3859 NEW BEST:: SOT 32375801 SOS 3233178 HAS SOPS 3233178 HAS SOUS 2756805 HAS SOUPS 2756805 WITH SCORE 2760038.178
AT ITER 3865 NEW BEST:: SOT 32375581 SOS 3232738 HAS SOPS 3232738 HAS SOUS 2756365 HAS SOUPS 2756365 WITH SCORE 2759597.738
AT ITER 3888 NEW BEST:: SOT 32375491 SOS 3232715 HAS SOPS 3232715 HAS SOUS 2756275 HAS SOUPS 2756275 WITH SCORE 2759507.715
AT ITER 3897 NEW BEST:: SOT 32375491 SOS 3232669 HAS SOPS 3232669 HAS SOUS 2756270 HAS SOUPS 2756270 WITH SCORE 2759502.669
AT ITER 3911 NEW BEST:: SOT 32374514 SOS 3232863 HAS SOPS 3232863 HAS SOUS 2755293 HAS SOUPS 2755293 WITH SCORE 2758525.863
AT ITER 3939 NEW BEST:: SOT 32374184 SOS 3232533 HAS SOPS 3232533 HAS SOUS 2754963 HAS SOUPS 2754963 WITH SCORE 2758195.533
AT ITER 3948 NEW BEST:: SOT 32373798 SOS 3232247 HAS SOPS 3232247 HAS SOUS 2754442 HAS SOUPS 2754442 WITH SCORE 2757674.247
AT ITER 3963 NEW BEST:: SOT 32373591 SOS 3232247 HAS SOPS 3232247 HAS SOUS 2754371 HAS SOUPS 2754371 WITH SCORE 2757603.247
AT ITER 3977 NEW BEST:: SOT 32373591 SOS 3232247 HAS SOPS 3232247 HAS SOUS 2754221 HAS SOUPS 2754221 WITH SCORE 2757453.247
AT ITER 4002 NEW BEST:: SOT 32373765 SOS 3232100 HAS SOPS 3232100 HAS SOUS 2753430 HAS SOUPS 2753430 WITH SCORE 2756662.1
AT ITER 4013 NEW BEST:: SOT 32373765 SOS 3232099 HAS SOPS 3232099 HAS SOUS 2753429 HAS SOUPS 2753429 WITH SCORE 2756661.099
AT ITER 4037 NEW BEST:: SOT 32373765 SOS 3232099 HAS SOPS 3232099 HAS SOUS 2753158 HAS SOUPS 2753158 WITH SCORE 2756390.099
AT ITER 4053 NEW BEST:: SOT 32373765 SOS 3232519 HAS SOPS 3232519 HAS SOUS 2752738 HAS SOUPS 2752738 WITH SCORE 2755970.519
AT ITER 4081 NEW BEST:: SOT 32373743 SOS 3232475 HAS SOPS 3232475 HAS SOUS 2752705 HAS SOUPS 2752705 WITH SCORE 2755937.475
AT ITER 4116 NEW BEST:: SOT 32373636 SOS 3232475 HAS SOPS 3232475 HAS SOUS 2752598 HAS SOUPS 2752598 WITH SCORE 2755830.475
AT ITER 4123 NEW BEST:: SOT 32373636 SOS 3232453 HAS SOPS 3232453 HAS SOUS 2752587 HAS SOUPS 2752587 WITH SCORE 2755819.453
AT ITER 4139 NEW BEST:: SOT 32373635 SOS 3232450 HAS SOPS 3232450 HAS SOUS 2752586 HAS SOUPS 2752586 WITH SCORE 2755818.45
AT ITER 4152 NEW BEST:: SOT 32373456 SOS 3232378 HAS SOPS 3232378 HAS SOUS 2752407 HAS SOUPS 2752407 WITH SCORE 2755639.378
AT ITER 4162 NEW BEST:: SOT 32371780 SOS 3230948 HAS SOPS 3230948 HAS SOUS 2751232 HAS SOUPS 2751232 WITH SCORE 2754462.948
AT ITER 4181 NEW BEST:: SOT 32371780 SOS 3230771 HAS SOPS 3230771 HAS SOUS 2751232 HAS SOUPS 2751232 WITH SCORE 2754462.771
AT ITER 4192 NEW BEST:: SOT 32371706 SOS 3230621 HAS SOPS 3230621 HAS SOUS 2751121 HAS SOUPS 2751121 WITH SCORE 2754351.621
AT ITER 4204 NEW BEST:: SOT 32371706 SOS 3230564 HAS SOPS 3230564 HAS SOUS 2751121 HAS SOUPS 2751121 WITH SCORE 2754351.564
AT ITER 4281 NEW BEST:: SOT 32371706 SOS 3230564 HAS SOPS 3230564 HAS SOUS 2751081 HAS SOUPS 2751081 WITH SCORE 2754311.564
AT ITER 4295 NEW BEST:: SOT 32371611 SOS 3231225 HAS SOPS 3231225 HAS SOUS 2750381 HAS SOUPS 2750381 WITH SCORE 2753612.225
AT ITER 4313 NEW BEST:: SOT 32371607 SOS 3231217 HAS SOPS 3231217 HAS SOUS 2750373 HAS SOUPS 2750373 WITH SCORE 2753604.217
AT ITER 4318 NEW BEST:: SOT 32371868 SOS 3232214 HAS SOPS 3232214 HAS SOUS 2750293 HAS SOUPS 2750293 WITH SCORE 2753525.214
AT ITER 4324 NEW BEST:: SOT 32371535 SOS 3231880 HAS SOPS 3231880 HAS SOUS 2749959 HAS SOUPS 2749959 WITH SCORE 2753190.88
AT ITER 4331 NEW BEST:: SOT 32371535 SOS 3231813 HAS SOPS 3231813 HAS SOUS 2749959 HAS SOUPS 2749959 WITH SCORE 2753190.813
AT ITER 4353 NEW BEST:: SOT 32371465 SOS 3231631 HAS SOPS 3231631 HAS SOUS 2749847 HAS SOUPS 2749847 WITH SCORE 2753078.631
AT ITER 4372 NEW BEST:: SOT 32371640 SOS 3231981 HAS SOPS 3231981 HAS SOUS 2749529 HAS SOUPS 2749529 WITH SCORE 2752760.981
AT ITER 4411 NEW BEST:: SOT 32370798 SOS 3240662 HAS SOPS 3240662 HAS SOUS 2748965 HAS SOUPS 2748965 WITH SCORE 2752205.662
AT ITER 4413 NEW BEST:: SOT 32370604 SOS 3239886 HAS SOPS 3239886 HAS SOUS 2748577 HAS SOUPS 2748577 WITH SCORE 2751816.886
AT ITER 4463 NEW BEST:: SOT 32370050 SOS 3239426 HAS SOPS 3239426 HAS SOUS 2748023 HAS SOUPS 2748023 WITH SCORE 2751262.426
AT ITER 4468 NEW BEST:: SOT 32370050 SOS 3239426 HAS SOPS 3239426 HAS SOUS 2748022 HAS SOUPS 2748022 WITH SCORE 2751261.426
AT ITER 4551 NEW BEST:: SOT 32370114 SOS 3239508 HAS SOPS 3239508 HAS SOUS 2748014 HAS SOUPS 2748014 WITH SCORE 2751253.508
AT ITER 4609 NEW BEST:: SOT 32370114 SOS 3239269 HAS SOPS 3239269 HAS SOUS 2748013 HAS SOUPS 2748013 WITH SCORE 2751252.269
AT ITER 4618 NEW BEST:: SOT 32369866 SOS 3239220 HAS SOPS 3239220 HAS SOUS 2747871 HAS SOUPS 2747871 WITH SCORE 2751110.22
AT ITER 4639 NEW BEST:: SOT 32369508 SOS 3238956 HAS SOPS 3238956 HAS SOUS 2747513 HAS SOUPS 2747513 WITH SCORE 2750751.956
AT ITER 4658 NEW BEST:: SOT 32369404 SOS 3238713 HAS SOPS 3238713 HAS SOUS 2747398 HAS SOUPS 2747398 WITH SCORE 2750636.713
AT ITER 4681 NEW BEST:: SOT 32368391 SOS 3237401 HAS SOPS 3237401 HAS SOUS 2746067 HAS SOUPS 2746067 WITH SCORE 2749304.401
AT ITER 4684 NEW BEST:: SOT 32368391 SOS 3236978 HAS SOPS 3236978 HAS SOUS 2746067 HAS SOUPS 2746067 WITH SCORE 2749303.978
AT ITER 4699 NEW BEST:: SOT 32368391 SOS 3236844 HAS SOPS 3236844 HAS SOUS 2746066 HAS SOUPS 2746066 WITH SCORE 2749302.844
AT ITER 4726 NEW BEST:: SOT 32368402 SOS 3236473 HAS SOPS 3236473 HAS SOUS 2745658 HAS SOUPS 2745658 WITH SCORE 2748894.473
AT ITER 4767 NEW BEST:: SOT 32368381 SOS 3236431 HAS SOPS 3236431 HAS SOUS 2745453 HAS SOUPS 2745453 WITH SCORE 2748689.431
AT ITER 4783 NEW BEST:: SOT 32368000 SOS 3235669 HAS SOPS 3235669 HAS SOUS 2744542 HAS SOUPS 2744542 WITH SCORE 2747777.669
AT ITER 4851 NEW BEST:: SOT 32367762 SOS 3235865 HAS SOPS 3235865 HAS SOUS 2744097 HAS SOUPS 2744097 WITH SCORE 2747332.865
AT ITER 4855 NEW BEST:: SOT 32367800 SOS 3235862 HAS SOPS 3235862 HAS SOUS 2744096 HAS SOUPS 2744096 WITH SCORE 2747331.862
AT ITER 4923 NEW BEST:: SOT 32367423 SOS 3235484 HAS SOPS 3235484 HAS SOUS 2743718 HAS SOUPS 2743718 WITH SCORE 2746953.484
AT ITER 4927 NEW BEST:: SOT 32367423 SOS 3235301 HAS SOPS 3235301 HAS SOUS 2743714 HAS SOUPS 2743714 WITH SCORE 2746949.301
AT ITER 4936 NEW BEST:: SOT 32367588 SOS 3234812 HAS SOPS 3234812 HAS SOUS 2743225 HAS SOUPS 2743225 WITH SCORE 2746459.812
AT ITER 4942 NEW BEST:: SOT 32367260 SOS 3234558 HAS SOPS 3234558 HAS SOUS 2742971 HAS SOUPS 2742971 WITH SCORE 2746205.558
AT ITER 4960 NEW BEST:: SOT 32367699 SOS 3234964 HAS SOPS 3234964 HAS SOUS 2742857 HAS SOUPS 2742857 WITH SCORE 2746091.964
AT ITER 4979 NEW BEST:: SOT 32367699 SOS 3234964 HAS SOPS 3234964 HAS SOUS 2742856 HAS SOUPS 2742856 WITH SCORE 2746090.964
AT ITER 5006 NEW BEST:: SOT 32367699 SOS 3235335 HAS SOPS 3235335 HAS SOUS 2742449 HAS SOUPS 2742449 WITH SCORE 2745684.335
AT ITER 5083 NEW BEST:: SOT 32367493 SOS 3234719 HAS SOPS 3234719 HAS SOUS 2742033 HAS SOUPS 2742033 WITH SCORE 2745267.719
AT ITER 5112 NEW BEST:: SOT 32367304 SOS 3234701 HAS SOPS 3234701 HAS SOUS 2741484 HAS SOUPS 2741484 WITH SCORE 2744718.701
AT ITER 5113 NEW BEST:: SOT 32365977 SOS 3234959 HAS SOPS 3234959 HAS SOUS 2740863 HAS SOUPS 2740863 WITH SCORE 2744097.959
AT ITER 5121 NEW BEST:: SOT 32365436 SOS 3235732 HAS SOPS 3235732 HAS SOUS 2740051 HAS SOUPS 2740051 WITH SCORE 2743286.732
AT ITER 5142 NEW BEST:: SOT 32364045 SOS 3245396 HAS SOPS 3245396 HAS SOUS 2739684 HAS SOUPS 2739684 WITH SCORE 2742929.396
AT ITER 5166 NEW BEST:: SOT 32364063 SOS 3245359 HAS SOPS 3245359 HAS SOUS 2739664 HAS SOUPS 2739664 WITH SCORE 2742909.359
AT ITER 5178 NEW BEST:: SOT 32364062 SOS 3245357 HAS SOPS 3245357 HAS SOUS 2739662 HAS SOUPS 2739662 WITH SCORE 2742907.357
AT ITER 5207 NEW BEST:: SOT 32364293 SOS 3244664 HAS SOPS 3244664 HAS SOUS 2739662 HAS SOUPS 2739662 WITH SCORE 2742906.664
AT ITER 5215 NEW BEST:: SOT 32364402 SOS 3244432 HAS SOPS 3244432 HAS SOUS 2739295 HAS SOUPS 2739295 WITH SCORE 2742539.432
AT ITER 5234 NEW BEST:: SOT 32364263 SOS 3244432 HAS SOPS 3244432 HAS SOUS 2739156 HAS SOUPS 2739156 WITH SCORE 2742400.432
AT ITER 5256 NEW BEST:: SOT 32364263 SOS 3244420 HAS SOPS 3244420 HAS SOUS 2739155 HAS SOUPS 2739155 WITH SCORE 2742399.42
AT ITER 5260 NEW BEST:: SOT 32363977 SOS 3243548 HAS SOPS 3243548 HAS SOUS 2738868 HAS SOUPS 2738868 WITH SCORE 2742111.548
AT ITER 5283 NEW BEST:: SOT 32363977 SOS 3243441 HAS SOPS 3243441 HAS SOUS 2738867 HAS SOUPS 2738867 WITH SCORE 2742110.441
AT ITER 5294 NEW BEST:: SOT 32360334 SOS 3240306 HAS SOPS 3240306 HAS SOUS 2735462 HAS SOUPS 2735462 WITH SCORE 2738702.306
AT ITER 5305 NEW BEST:: SOT 32359861 SOS 3239773 HAS SOPS 3239773 HAS SOUS 2735145 HAS SOUPS 2735145 WITH SCORE 2738384.773
AT ITER 5326 NEW BEST:: SOT 32359843 SOS 3239737 HAS SOPS 3239737 HAS SOUS 2735109 HAS SOUPS 2735109 WITH SCORE 2738348.737
AT ITER 5349 NEW BEST:: SOT 32359832 SOS 3239355 HAS SOPS 3239355 HAS SOUS 2734661 HAS SOUPS 2734661 WITH SCORE 2737900.355
AT ITER 5372 NEW BEST:: SOT 32359542 SOS 3238775 HAS SOPS 3238775 HAS SOUS 2734371 HAS SOUPS 2734371 WITH SCORE 2737609.775
AT ITER 5411 NEW BEST:: SOT 32359137 SOS 3235130 HAS SOPS 3235130 HAS SOUS 2733761 HAS SOUPS 2733761 WITH SCORE 2736996.13
AT ITER 5480 NEW BEST:: SOT 32359034 SOS 3234821 HAS SOPS 3234821 HAS SOUS 2733555 HAS SOUPS 2733555 WITH SCORE 2736789.821
AT ITER 5482 NEW BEST:: SOT 32359212 SOS 3233932 HAS SOPS 3233932 HAS SOUS 2733195 HAS SOUPS 2733195 WITH SCORE 2736428.932
AT ITER 5490 NEW BEST:: SOT 32359147 SOS 3233802 HAS SOPS 3233802 HAS SOUS 2733130 HAS SOUPS 2733130 WITH SCORE 2736363.802
AT ITER 5529 NEW BEST:: SOT 32359238 SOS 3233186 HAS SOPS 3233186 HAS SOUS 2732822 HAS SOUPS 2732822 WITH SCORE 2736055.186
AT ITER 5533 NEW BEST:: SOT 32359139 SOS 3233087 HAS SOPS 3233087 HAS SOUS 2732723 HAS SOUPS 2732723 WITH SCORE 2735956.087
AT ITER 5543 NEW BEST:: SOT 32358065 SOS 3238439 HAS SOPS 3238439 HAS SOUS 2732512 HAS SOUPS 2732512 WITH SCORE 2735750.439
AT ITER 5548 NEW BEST:: SOT 32358042 SOS 3238516 HAS SOPS 3238516 HAS SOUS 2732489 HAS SOUPS 2732489 WITH SCORE 2735727.516
AT ITER 5570 NEW BEST:: SOT 32357966 SOS 3238440 HAS SOPS 3238440 HAS SOUS 2732413 HAS SOUPS 2732413 WITH SCORE 2735651.44
AT ITER 5579 NEW BEST:: SOT 32357724 SOS 3237956 HAS SOPS 3237956 HAS SOUS 2732171 HAS SOUPS 2732171 WITH SCORE 2735408.956
AT ITER 5621 NEW BEST:: SOT 32357230 SOS 3236968 HAS SOPS 3236968 HAS SOUS 2731183 HAS SOUPS 2731183 WITH SCORE 2734419.968
AT ITER 5649 NEW BEST:: SOT 32356060 SOS 3235798 HAS SOPS 3235798 HAS SOUS 2729818 HAS SOUPS 2729818 WITH SCORE 2733053.798
AT ITER 5656 NEW BEST:: SOT 32356416 SOS 3235660 HAS SOPS 3235660 HAS SOUS 2729749 HAS SOUPS 2729749 WITH SCORE 2732984.66
AT ITER 5732 NEW BEST:: SOT 32356403 SOS 3235634 HAS SOPS 3235634 HAS SOUS 2729736 HAS SOUPS 2729736 WITH SCORE 2732971.634
AT ITER 5771 NEW BEST:: SOT 32356124 SOS 3235355 HAS SOPS 3235355 HAS SOUS 2729457 HAS SOUPS 2729457 WITH SCORE 2732692.355
AT ITER 5802 NEW BEST:: SOT 32356628 SOS 3236363 HAS SOPS 3236363 HAS SOUS 2729339 HAS SOUPS 2729339 WITH SCORE 2732575.363
AT ITER 5810 NEW BEST:: SOT 32356628 SOS 3236363 HAS SOPS 3236363 HAS SOUS 2729154 HAS SOUPS 2729154 WITH SCORE 2732390.363
AT ITER 5845 NEW BEST:: SOT 32356628 SOS 3236277 HAS SOPS 3236277 HAS SOUS 2729068 HAS SOUPS 2729068 WITH SCORE 2732304.277
AT ITER 5914 NEW BEST:: SOT 32356756 SOS 3236533 HAS SOPS 3236533 HAS SOUS 2729013 HAS SOUPS 2729013 WITH SCORE 2732249.533
AT ITER 5915 NEW BEST:: SOT 32356742 SOS 3236505 HAS SOPS 3236505 HAS SOUS 2728908 HAS SOUPS 2728908 WITH SCORE 2732144.505
AT ITER 5971 NEW BEST:: SOT 32356996 SOS 3237631 HAS SOPS 3237631 HAS SOUS 2728841 HAS SOUPS 2728841 WITH SCORE 2732078.631
AT ITER 5997 NEW BEST:: SOT 32356921 SOS 3237117 HAS SOPS 3237117 HAS SOUS 2728584 HAS SOUPS 2728584 WITH SCORE 2731821.117
AT ITER 6027 NEW BEST:: SOT 32357074 SOS 3237423 HAS SOPS 3237423 HAS SOUS 2728158 HAS SOUPS 2728158 WITH SCORE 2731395.423
AT ITER 6039 NEW BEST:: SOT 32356955 SOS 3237185 HAS SOPS 3237185 HAS SOUS 2728039 HAS SOUPS 2728039 WITH SCORE 2731276.185
AT ITER 6051 NEW BEST:: SOT 32356771 SOS 3237001 HAS SOPS 3237001 HAS SOUS 2727855 HAS SOUPS 2727855 WITH SCORE 2731092.001
AT ITER 6061 NEW BEST:: SOT 32356716 SOS 3236781 HAS SOPS 3236781 HAS SOUS 2727745 HAS SOUPS 2727745 WITH SCORE 2730981.781
AT ITER 6106 NEW BEST:: SOT 32356716 SOS 3236781 HAS SOPS 3236781 HAS SOUS 2727601 HAS SOUPS 2727601 WITH SCORE 2730837.781
AT ITER 6124 NEW BEST:: SOT 32356679 SOS 3236834 HAS SOPS 3236834 HAS SOUS 2727527 HAS SOUPS 2727527 WITH SCORE 2730763.834
AT ITER 6140 NEW BEST:: SOT 32356504 SOS 3236834 HAS SOPS 3236834 HAS SOUS 2727352 HAS SOUPS 2727352 WITH SCORE 2730588.834
AT ITER 6146 NEW BEST:: SOT 32356478 SOS 3236782 HAS SOPS 3236782 HAS SOUS 2727300 HAS SOUPS 2727300 WITH SCORE 2730536.782
AT ITER 6151 NEW BEST:: SOT 32356478 SOS 3236592 HAS SOPS 3236592 HAS SOUS 2727205 HAS SOUPS 2727205 WITH SCORE 2730441.592
AT ITER 6162 NEW BEST:: SOT 32356150 SOS 3236440 HAS SOPS 3236440 HAS SOUS 2727052 HAS SOUPS 2727052 WITH SCORE 2730288.44
AT ITER 6172 NEW BEST:: SOT 32356213 SOS 3236566 HAS SOPS 3236566 HAS SOUS 2726527 HAS SOUPS 2726527 WITH SCORE 2729763.566
AT ITER 6192 NEW BEST:: SOT 32356088 SOS 3236316 HAS SOPS 3236316 HAS SOUS 2726402 HAS SOUPS 2726402 WITH SCORE 2729638.316
AT ITER 6218 NEW BEST:: SOT 32356088 SOS 3236316 HAS SOPS 3236316 HAS SOUS 2726343 HAS SOUPS 2726343 WITH SCORE 2729579.316
AT ITER 6255 NEW BEST:: SOT 32355978 SOS 3236274 HAS SOPS 3236274 HAS SOUS 2726283 HAS SOUPS 2726283 WITH SCORE 2729519.274
AT ITER 6294 NEW BEST:: SOT 32355978 SOS 3236274 HAS SOPS 3236274 HAS SOUS 2726051 HAS SOUPS 2726051 WITH SCORE 2729287.274
AT ITER 6359 NEW BEST:: SOT 32355966 SOS 3236250 HAS SOPS 3236250 HAS SOUS 2726027 HAS SOUPS 2726027 WITH SCORE 2729263.25
AT ITER 6377 NEW BEST:: SOT 32355804 SOS 3235699 HAS SOPS 3235699 HAS SOUS 2725699 HAS SOUPS 2725699 WITH SCORE 2728934.699
AT ITER 6397 NEW BEST:: SOT 32353983 SOS 3242932 HAS SOPS 3242932 HAS SOUS 2724784 HAS SOUPS 2724784 WITH SCORE 2728026.932
AT ITER 6408 NEW BEST:: SOT 32353603 SOS 3242594 HAS SOPS 3242594 HAS SOUS 2724110 HAS SOUPS 2724110 WITH SCORE 2727352.594
AT ITER 6461 NEW BEST:: SOT 32353603 SOS 3242561 HAS SOPS 3242561 HAS SOUS 2724077 HAS SOUPS 2724077 WITH SCORE 2727319.561
AT ITER 6465 NEW BEST:: SOT 32353573 SOS 3243321 HAS SOPS 3243321 HAS SOUS 2724047 HAS SOUPS 2724047 WITH SCORE 2727290.321
AT ITER 6478 NEW BEST:: SOT 32353501 SOS 3242747 HAS SOPS 3242747 HAS SOUS 2723903 HAS SOUPS 2723903 WITH SCORE 2727145.747
AT ITER 6526 NEW BEST:: SOT 32353422 SOS 3242495 HAS SOPS 3242495 HAS SOUS 2723691 HAS SOUPS 2723691 WITH SCORE 2726933.495
AT ITER 6530 NEW BEST:: SOT 32352264 SOS 3241727 HAS SOPS 3241727 HAS SOUS 2722317 HAS SOUPS 2722317 WITH SCORE 2725558.727
AT ITER 6568 NEW BEST:: SOT 32352067 SOS 3241590 HAS SOPS 3241590 HAS SOUS 2722118 HAS SOUPS 2722118 WITH SCORE 2725359.59
AT ITER 6577 NEW BEST:: SOT 32351625 SOS 3241608 HAS SOPS 3241608 HAS SOUS 2721906 HAS SOUPS 2721906 WITH SCORE 2725147.608
AT ITER 6581 NEW BEST:: SOT 32351471 SOS 3241488 HAS SOPS 3241488 HAS SOUS 2721557 HAS SOUPS 2721557 WITH SCORE 2724798.488
AT ITER 6616 NEW BEST:: SOT 32351471 SOS 3241477 HAS SOPS 3241477 HAS SOUS 2721556 HAS SOUPS 2721556 WITH SCORE 2724797.477
AT ITER 6621 NEW BEST:: SOT 32351471 SOS 3241205 HAS SOPS 3241205 HAS SOUS 2721284 HAS SOUPS 2721284 WITH SCORE 2724525.205
AT ITER 6624 NEW BEST:: SOT 32349733 SOS 3241678 HAS SOPS 3241678 HAS SOUS 2720150 HAS SOUPS 2720150 WITH SCORE 2723391.678
AT ITER 6641 NEW BEST:: SOT 32349409 SOS 3241030 HAS SOPS 3241030 HAS SOUS 2719826 HAS SOUPS 2719826 WITH SCORE 2723067.03
AT ITER 6662 NEW BEST:: SOT 32349409 SOS 3240870 HAS SOPS 3240870 HAS SOUS 2719666 HAS SOUPS 2719666 WITH SCORE 2722906.87
AT ITER 6679 NEW BEST:: SOT 32348377 SOS 3238906 HAS SOPS 3238906 HAS SOUS 2718731 HAS SOUPS 2718731 WITH SCORE 2721969.906
AT ITER 6687 NEW BEST:: SOT 32348215 SOS 3238774 HAS SOPS 3238774 HAS SOUS 2718599 HAS SOUPS 2718599 WITH SCORE 2721837.774
AT ITER 6688 NEW BEST:: SOT 32348033 SOS 3238592 HAS SOPS 3238592 HAS SOUS 2718326 HAS SOUPS 2718326 WITH SCORE 2721564.592
AT ITER 6701 NEW BEST:: SOT 32348033 SOS 3238333 HAS SOPS 3238333 HAS SOUS 2718326 HAS SOUPS 2718326 WITH SCORE 2721564.333
AT ITER 6781 NEW BEST:: SOT 32348033 SOS 3237707 HAS SOPS 3237707 HAS SOUS 2718326 HAS SOUPS 2718326 WITH SCORE 2721563.707
AT ITER 6784 NEW BEST:: SOT 32348070 SOS 3237328 HAS SOPS 3237328 HAS SOUS 2718095 HAS SOUPS 2718095 WITH SCORE 2721332.328
AT ITER 6795 NEW BEST:: SOT 32348070 SOS 3237227 HAS SOPS 3237227 HAS SOUS 2718093 HAS SOUPS 2718093 WITH SCORE 2721330.227
AT ITER 6813 NEW BEST:: SOT 32348070 SOS 3237135 HAS SOPS 3237135 HAS SOUS 2718093 HAS SOUPS 2718093 WITH SCORE 2721330.135
AT ITER 6832 NEW BEST:: SOT 32348069 SOS 3237133 HAS SOPS 3237133 HAS SOUS 2718091 HAS SOUPS 2718091 WITH SCORE 2721328.133
AT ITER 6835 NEW BEST:: SOT 32348101 SOS 3237383 HAS SOPS 3237383 HAS SOUS 2717886 HAS SOUPS 2717886 WITH SCORE 2721123.383
AT ITER 6955 NEW BEST:: SOT 32348058 SOS 3237340 HAS SOPS 3237340 HAS SOUS 2717843 HAS SOUPS 2717843 WITH SCORE 2721080.34
AT ITER 6971 NEW BEST:: SOT 32347606 SOS 3236662 HAS SOPS 3236662 HAS SOUS 2717391 HAS SOUPS 2717391 WITH SCORE 2720627.662
AT ITER 6977 NEW BEST:: SOT 32347606 SOS 3236477 HAS SOPS 3236477 HAS SOUS 2717391 HAS SOUPS 2717391 WITH SCORE 2720627.477
AT ITER 7098 NEW BEST:: SOT 32347493 SOS 3236473 HAS SOPS 3236473 HAS SOUS 2717300 HAS SOUPS 2717300 WITH SCORE 2720536.473
AT ITER 7153 NEW BEST:: SOT 32345799 SOS 3235549 HAS SOPS 3235549 HAS SOUS 2715914 HAS SOUPS 2715914 WITH SCORE 2719149.549
AT ITER 7166 NEW BEST:: SOT 32345714 SOS 3235379 HAS SOPS 3235379 HAS SOUS 2715798 HAS SOUPS 2715798 WITH SCORE 2719033.379
AT ITER 7167 NEW BEST:: SOT 32342857 SOS 3237714 HAS SOPS 3237714 HAS SOUS 2713748 HAS SOUPS 2713748 WITH SCORE 2716985.714
AT ITER 7182 NEW BEST:: SOT 32342584 SOS 3237381 HAS SOPS 3237381 HAS SOUS 2713459 HAS SOUPS 2713459 WITH SCORE 2716696.381
AT ITER 7185 NEW BEST:: SOT 32342490 SOS 3237427 HAS SOPS 3237427 HAS SOUS 2713329 HAS SOUPS 2713329 WITH SCORE 2716566.427
AT ITER 7226 NEW BEST:: SOT 32342490 SOS 3237253 HAS SOPS 3237253 HAS SOUS 2713241 HAS SOUPS 2713241 WITH SCORE 2716478.253
AT ITER 7261 NEW BEST:: SOT 32342076 SOS 3236701 HAS SOPS 3236701 HAS SOUS 2712689 HAS SOUPS 2712689 WITH SCORE 2715925.701
AT ITER 7285 NEW BEST:: SOT 32341962 SOS 3236885 HAS SOPS 3236885 HAS SOUS 2712667 HAS SOUPS 2712667 WITH SCORE 2715903.885
AT ITER 7316 NEW BEST:: SOT 32342057 SOS 3236450 HAS SOPS 3236450 HAS SOUS 2712233 HAS SOUPS 2712233 WITH SCORE 2715469.45
AT ITER 7356 NEW BEST:: SOT 32341976 SOS 3236288 HAS SOPS 3236288 HAS SOUS 2712151 HAS SOUPS 2712151 WITH SCORE 2715387.288
AT ITER 7407 NEW BEST:: SOT 32341853 SOS 3235385 HAS SOPS 3235385 HAS SOUS 2711442 HAS SOUPS 2711442 WITH SCORE 2714677.385
AT ITER 7422 NEW BEST:: SOT 32339577 SOS 3243592 HAS SOPS 3243592 HAS SOUS 2710694 HAS SOUPS 2710694 WITH SCORE 2713937.592
AT ITER 7434 NEW BEST:: SOT 32339577 SOS 3243592 HAS SOPS 3243592 HAS SOUS 2710546 HAS SOUPS 2710546 WITH SCORE 2713789.592
AT ITER 7477 NEW BEST:: SOT 32339121 SOS 3243136 HAS SOPS 3243136 HAS SOUS 2709634 HAS SOUPS 2709634 WITH SCORE 2712877.136
AT ITER 7505 NEW BEST:: SOT 32339084 SOS 3243062 HAS SOPS 3243062 HAS SOUS 2709560 HAS SOUPS 2709560 WITH SCORE 2712803.062
AT ITER 7508 NEW BEST:: SOT 32339084 SOS 3242909 HAS SOPS 3242909 HAS SOUS 2709559 HAS SOUPS 2709559 WITH SCORE 2712801.909
AT ITER 7521 NEW BEST:: SOT 32339084 SOS 3242700 HAS SOPS 3242700 HAS SOUS 2709558 HAS SOUPS 2709558 WITH SCORE 2712800.7
AT ITER 7531 NEW BEST:: SOT 32338999 SOS 3242530 HAS SOPS 3242530 HAS SOUS 2709473 HAS SOUPS 2709473 WITH SCORE 2712715.53
AT ITER 7547 NEW BEST:: SOT 32338891 SOS 3242314 HAS SOPS 3242314 HAS SOUS 2709257 HAS SOUPS 2709257 WITH SCORE 2712499.314
AT ITER 7548 NEW BEST:: SOT 32338919 SOS 3242181 HAS SOPS 3242181 HAS SOUS 2708907 HAS SOUPS 2708907 WITH SCORE 2712149.181
AT ITER 7564 NEW BEST:: SOT 32338915 SOS 3242175 HAS SOPS 3242175 HAS SOUS 2708903 HAS SOUPS 2708903 WITH SCORE 2712145.175
AT ITER 7584 NEW BEST:: SOT 32338977 SOS 3242299 HAS SOPS 3242299 HAS SOUS 2708545 HAS SOUPS 2708545 WITH SCORE 2711787.299
AT ITER 7689 NEW BEST:: SOT 32339323 SOS 3242991 HAS SOPS 3242991 HAS SOUS 2708203 HAS SOUPS 2708203 WITH SCORE 2711445.991
AT ITER 7696 NEW BEST:: SOT 32339323 SOS 3242963 HAS SOPS 3242963 HAS SOUS 2708190 HAS SOUPS 2708190 WITH SCORE 2711432.963
AT ITER 7732 NEW BEST:: SOT 32339256 SOS 3242829 HAS SOPS 3242829 HAS SOUS 2708056 HAS SOUPS 2708056 WITH SCORE 2711298.829
AT ITER 7785 NEW BEST:: SOT 32339304 SOS 3242925 HAS SOPS 3242925 HAS SOUS 2708041 HAS SOUPS 2708041 WITH SCORE 2711283.925
AT ITER 7790 NEW BEST:: SOT 32339252 SOS 3242821 HAS SOPS 3242821 HAS SOUS 2707937 HAS SOUPS 2707937 WITH SCORE 2711179.821
AT ITER 7820 NEW BEST:: SOT 32337631 SOS 3241019 HAS SOPS 3241019 HAS SOUS 2706316 HAS SOUPS 2706316 WITH SCORE 2709557.019
AT ITER 7881 NEW BEST:: SOT 32337340 SOS 3241226 HAS SOPS 3241226 HAS SOUS 2706203 HAS SOUPS 2706203 WITH SCORE 2709444.226
AT ITER 7886 NEW BEST:: SOT 32337080 SOS 3240901 HAS SOPS 3240901 HAS SOUS 2705878 HAS SOUPS 2705878 WITH SCORE 2709118.901
AT ITER 7907 NEW BEST:: SOT 32336884 SOS 3240705 HAS SOPS 3240705 HAS SOUS 2705862 HAS SOUPS 2705862 WITH SCORE 2709102.705
AT ITER 7962 NEW BEST:: SOT 32336884 SOS 3240697 HAS SOPS 3240697 HAS SOUS 2705856 HAS SOUPS 2705856 WITH SCORE 2709096.697
AT ITER 8034 NEW BEST:: SOT 32336896 SOS 3240567 HAS SOPS 3240567 HAS SOUS 2705726 HAS SOUPS 2705726 WITH SCORE 2708966.567
AT ITER 8038 NEW BEST:: SOT 32337049 SOS 3240873 HAS SOPS 3240873 HAS SOUS 2705656 HAS SOUPS 2705656 WITH SCORE 2708896.873
AT ITER 8049 NEW BEST:: SOT 32337244 SOS 3241263 HAS SOPS 3241263 HAS SOUS 2705570 HAS SOUPS 2705570 WITH SCORE 2708811.263
AT ITER 8065 NEW BEST:: SOT 32337123 SOS 3240900 HAS SOPS 3240900 HAS SOUS 2705328 HAS SOUPS 2705328 WITH SCORE 2708568.9
AT ITER 8115 NEW BEST:: SOT 32337123 SOS 3240581 HAS SOPS 3240581 HAS SOUS 2705328 HAS SOUPS 2705328 WITH SCORE 2708568.581
AT ITER 8126 NEW BEST:: SOT 32336962 SOS 3240499 HAS SOPS 3240499 HAS SOUS 2705166 HAS SOUPS 2705166 WITH SCORE 2708406.499
AT ITER 8133 NEW BEST:: SOT 32336762 SOS 3240099 HAS SOPS 3240099 HAS SOUS 2704966 HAS SOUPS 2704966 WITH SCORE 2708206.099
AT ITER 8158 NEW BEST:: SOT 32336720 SOS 3240780 HAS SOPS 3240780 HAS SOUS 2704924 HAS SOUPS 2704924 WITH SCORE 2708164.78
AT ITER 8187 NEW BEST:: SOT 32336720 SOS 3240780 HAS SOPS 3240780 HAS SOUS 2704891 HAS SOUPS 2704891 WITH SCORE 2708131.78
AT ITER 8188 NEW BEST:: SOT 32336720 SOS 3240780 HAS SOPS 3240780 HAS SOUS 2704850 HAS SOUPS 2704850 WITH SCORE 2708090.78
AT ITER 8225 NEW BEST:: SOT 32336720 SOS 3240780 HAS SOPS 3240780 HAS SOUS 2704757 HAS SOUPS 2704757 WITH SCORE 2707997.78
AT ITER 8258 NEW BEST:: SOT 32336703 SOS 3240746 HAS SOPS 3240746 HAS SOUS 2704737 HAS SOUPS 2704737 WITH SCORE 2707977.746
AT ITER 8269 NEW BEST:: SOT 32336746 SOS 3240652 HAS SOPS 3240652 HAS SOUS 2704643 HAS SOUPS 2704643 WITH SCORE 2707883.652
AT ITER 8272 NEW BEST:: SOT 32336499 SOS 3241633 HAS SOPS 3241633 HAS SOUS 2704444 HAS SOUPS 2704444 WITH SCORE 2707685.633
AT ITER 8328 NEW BEST:: SOT 32336216 SOS 3241837 HAS SOPS 3241837 HAS SOUS 2704161 HAS SOUPS 2704161 WITH SCORE 2707402.837
AT ITER 8398 NEW BEST:: SOT 32336216 SOS 3241600 HAS SOPS 3241600 HAS SOUS 2704017 HAS SOUPS 2704017 WITH SCORE 2707258.6
AT ITER 8434 NEW BEST:: SOT 32336216 SOS 3241503 HAS SOPS 3241503 HAS SOUS 2703919 HAS SOUPS 2703919 WITH SCORE 2707160.503
AT ITER 8450 NEW BEST:: SOT 32336216 SOS 3241503 HAS SOPS 3241503 HAS SOUS 2703812 HAS SOUPS 2703812 WITH SCORE 2707053.503
AT ITER 8461 NEW BEST:: SOT 32336157 SOS 3241444 HAS SOPS 3241444 HAS SOUS 2703753 HAS SOUPS 2703753 WITH SCORE 2706994.444
AT ITER 8503 NEW BEST:: SOT 32336157 SOS 3241376 HAS SOPS 3241376 HAS SOUS 2703685 HAS SOUPS 2703685 WITH SCORE 2706926.376
AT ITER 8523 NEW BEST:: SOT 32336157 SOS 3241275 HAS SOPS 3241275 HAS SOUS 2703685 HAS SOUPS 2703685 WITH SCORE 2706926.275
AT ITER 8527 NEW BEST:: SOT 32336113 SOS 3241231 HAS SOPS 3241231 HAS SOUS 2703641 HAS SOUPS 2703641 WITH SCORE 2706882.231
AT ITER 8558 NEW BEST:: SOT 32336035 SOS 3241075 HAS SOPS 3241075 HAS SOUS 2703485 HAS SOUPS 2703485 WITH SCORE 2706726.075
AT ITER 8560 NEW BEST:: SOT 32335939 SOS 3241043 HAS SOPS 3241043 HAS SOUS 2703357 HAS SOUPS 2703357 WITH SCORE 2706598.043
AT ITER 8583 NEW BEST:: SOT 32335913 SOS 3240991 HAS SOPS 3240991 HAS SOUS 2703305 HAS SOUPS 2703305 WITH SCORE 2706545.991
AT ITER 8611 NEW BEST:: SOT 32335893 SOS 3240951 HAS SOPS 3240951 HAS SOUS 2703265 HAS SOUPS 2703265 WITH SCORE 2706505.951
AT ITER 8642 NEW BEST:: SOT 32336252 SOS 3239874 HAS SOPS 3239874 HAS SOUS 2703265 HAS SOUPS 2703265 WITH SCORE 2706504.874
AT ITER 8664 NEW BEST:: SOT 32336107 SOS 3239584 HAS SOPS 3239584 HAS SOUS 2702827 HAS SOUPS 2702827 WITH SCORE 2706066.584
AT ITER 8695 NEW BEST:: SOT 32335851 SOS 3239072 HAS SOPS 3239072 HAS SOUS 2702607 HAS SOUPS 2702607 WITH SCORE 2705846.072
AT ITER 8698 NEW BEST:: SOT 32335491 SOS 3237637 HAS SOPS 3237637 HAS SOUS 2701640 HAS SOUPS 2701640 WITH SCORE 2704877.637
AT ITER 8744 NEW BEST:: SOT 32335492 SOS 3237152 HAS SOPS 3237152 HAS SOUS 2701636 HAS SOUPS 2701636 WITH SCORE 2704873.152
AT ITER 8782 NEW BEST:: SOT 32335450 SOS 3237068 HAS SOPS 3237068 HAS SOUS 2701573 HAS SOUPS 2701573 WITH SCORE 2704810.068
AT ITER 8805 NEW BEST:: SOT 32335615 SOS 3237398 HAS SOPS 3237398 HAS SOUS 2701298 HAS SOUPS 2701298 WITH SCORE 2704535.398
AT ITER 8820 NEW BEST:: SOT 32335338 SOS 3237558 HAS SOPS 3237558 HAS SOUS 2701021 HAS SOUPS 2701021 WITH SCORE 2704258.558
AT ITER 8827 NEW BEST:: SOT 32335164 SOS 3237509 HAS SOPS 3237509 HAS SOUS 2700548 HAS SOUPS 2700548 WITH SCORE 2703785.509
AT ITER 8909 NEW BEST:: SOT 32335221 SOS 3237204 HAS SOPS 3237204 HAS SOUS 2700407 HAS SOUPS 2700407 WITH SCORE 2703644.204
AT ITER 8985 NEW BEST:: SOT 32335124 SOS 3237010 HAS SOPS 3237010 HAS SOUS 2700310 HAS SOUPS 2700310 WITH SCORE 2703547.01
AT ITER 8988 NEW BEST:: SOT 32335124 SOS 3237010 HAS SOPS 3237010 HAS SOUS 2700305 HAS SOUPS 2700305 WITH SCORE 2703542.01
AT ITER 8993 NEW BEST:: SOT 32334575 SOS 3236276 HAS SOPS 3236276 HAS SOUS 2699756 HAS SOUPS 2699756 WITH SCORE 2702992.276
AT ITER 9036 NEW BEST:: SOT 32334568 SOS 3236072 HAS SOPS 3236072 HAS SOUS 2699559 HAS SOUPS 2699559 WITH SCORE 2702795.072
AT ITER 9042 NEW BEST:: SOT 32334568 SOS 3235895 HAS SOPS 3235895 HAS SOUS 2699382 HAS SOUPS 2699382 WITH SCORE 2702617.895
AT ITER 9067 NEW BEST:: SOT 32334038 SOS 3241960 HAS SOPS 3241960 HAS SOUS 2699227 HAS SOUPS 2699227 WITH SCORE 2702468.96
AT ITER 9081 NEW BEST:: SOT 32333943 SOS 3241810 HAS SOPS 3241810 HAS SOUS 2699171 HAS SOUPS 2699171 WITH SCORE 2702412.81
AT ITER 9091 NEW BEST:: SOT 32333583 SOS 3241514 HAS SOPS 3241514 HAS SOUS 2698451 HAS SOUPS 2698451 WITH SCORE 2701692.514
AT ITER 9161 NEW BEST:: SOT 32333447 SOS 3240877 HAS SOPS 3240877 HAS SOUS 2698298 HAS SOUPS 2698298 WITH SCORE 2701538.877
AT ITER 9174 NEW BEST:: SOT 32333447 SOS 3240877 HAS SOPS 3240877 HAS SOUS 2698261 HAS SOUPS 2698261 WITH SCORE 2701501.877
AT ITER 9204 NEW BEST:: SOT 32333290 SOS 3240563 HAS SOPS 3240563 HAS SOUS 2697947 HAS SOUPS 2697947 WITH SCORE 2701187.563
AT ITER 9293 NEW BEST:: SOT 32332945 SOS 3240633 HAS SOPS 3240633 HAS SOUS 2697606 HAS SOUPS 2697606 WITH SCORE 2700846.633
AT ITER 9301 NEW BEST:: SOT 32332945 SOS 3240633 HAS SOPS 3240633 HAS SOUS 2697110 HAS SOUPS 2697110 WITH SCORE 2700350.633
AT ITER 9322 NEW BEST:: SOT 32332337 SOS 3243137 HAS SOPS 3243137 HAS SOUS 2697016 HAS SOUPS 2697016 WITH SCORE 2700259.137
AT ITER 9327 NEW BEST:: SOT 32332337 SOS 3243137 HAS SOPS 3243137 HAS SOUS 2697002 HAS SOUPS 2697002 WITH SCORE 2700245.137
AT ITER 9333 NEW BEST:: SOT 32332324 SOS 3243112 HAS SOPS 3243112 HAS SOUS 2696988 HAS SOUPS 2696988 WITH SCORE 2700231.112
AT ITER 9370 NEW BEST:: SOT 32332278 SOS 3243020 HAS SOPS 3243020 HAS SOUS 2696896 HAS SOUPS 2696896 WITH SCORE 2700139.02
AT ITER 9418 NEW BEST:: SOT 32332555 SOS 3243574 HAS SOPS 3243574 HAS SOUS 2696779 HAS SOUPS 2696779 WITH SCORE 2700022.574
AT ITER 9428 NEW BEST:: SOT 32332055 SOS 3244714 HAS SOPS 3244714 HAS SOUS 2696238 HAS SOUPS 2696238 WITH SCORE 2699482.714
AT ITER 9492 NEW BEST:: SOT 32332055 SOS 3244714 HAS SOPS 3244714 HAS SOUS 2696107 HAS SOUPS 2696107 WITH SCORE 2699351.714
AT ITER 9496 NEW BEST:: SOT 32332055 SOS 3244554 HAS SOPS 3244554 HAS SOUS 2696106 HAS SOUPS 2696106 WITH SCORE 2699350.554
AT ITER 9504 NEW BEST:: SOT 32330045 SOS 3242544 HAS SOPS 3242544 HAS SOUS 2694096 HAS SOUPS 2694096 WITH SCORE 2697338.544
AT ITER 9513 NEW BEST:: SOT 32329893 SOS 3242504 HAS SOPS 3242504 HAS SOUS 2693944 HAS SOUPS 2693944 WITH SCORE 2697186.504
AT ITER 9588 NEW BEST:: SOT 32329645 SOS 3242456 HAS SOPS 3242456 HAS SOUS 2693696 HAS SOUPS 2693696 WITH SCORE 2696938.456
AT ITER 9597 NEW BEST:: SOT 32329645 SOS 3242305 HAS SOPS 3242305 HAS SOUS 2693695 HAS SOUPS 2693695 WITH SCORE 2696937.305
AT ITER 9630 NEW BEST:: SOT 32329460 SOS 3241750 HAS SOPS 3241750 HAS SOUS 2693307 HAS SOUPS 2693307 WITH SCORE 2696548.75
AT ITER 9643 NEW BEST:: SOT 32329460 SOS 3241076 HAS SOPS 3241076 HAS SOUS 2692970 HAS SOUPS 2692970 WITH SCORE 2696211.076
AT ITER 9684 NEW BEST:: SOT 32329703 SOS 3241090 HAS SOPS 3241090 HAS SOUS 2692579 HAS SOUPS 2692579 WITH SCORE 2695820.09
AT ITER 9703 NEW BEST:: SOT 32329703 SOS 3240912 HAS SOPS 3240912 HAS SOUS 2692490 HAS SOUPS 2692490 WITH SCORE 2695730.912
AT ITER 9709 NEW BEST:: SOT 32329676 SOS 3240858 HAS SOPS 3240858 HAS SOUS 2692436 HAS SOUPS 2692436 WITH SCORE 2695676.858
AT ITER 9747 NEW BEST:: SOT 32329409 SOS 3240650 HAS SOPS 3240650 HAS SOUS 2692169 HAS SOUPS 2692169 WITH SCORE 2695409.65
AT ITER 9799 NEW BEST:: SOT 32329409 SOS 3240418 HAS SOPS 3240418 HAS SOUS 2692169 HAS SOUPS 2692169 WITH SCORE 2695409.418
AT ITER 9831 NEW BEST:: SOT 32328320 SOS 3240244 HAS SOPS 3240244 HAS SOUS 2691719 HAS SOUPS 2691719 WITH SCORE 2694959.244
AT ITER 9838 NEW BEST:: SOT 32328237 SOS 3239932 HAS SOPS 3239932 HAS SOUS 2691490 HAS SOUPS 2691490 WITH SCORE 2694729.932
AT ITER 9853 NEW BEST:: SOT 32328237 SOS 3239878 HAS SOPS 3239878 HAS SOUS 2691490 HAS SOUPS 2691490 WITH SCORE 2694729.878
AT ITER 9854 NEW BEST:: SOT 32327947 SOS 3237374 HAS SOPS 3237374 HAS SOUS 2690910 HAS SOUPS 2690910 WITH SCORE 2694147.374
AT ITER 9888 NEW BEST:: SOT 32327839 SOS 3237158 HAS SOPS 3237158 HAS SOUS 2690694 HAS SOUPS 2690694 WITH SCORE 2693931.158
AT ITER 9892 NEW BEST:: SOT 32328190 SOS 3237860 HAS SOPS 3237860 HAS SOUS 2690686 HAS SOUPS 2690686 WITH SCORE 2693923.86
AT ITER 9893 NEW BEST:: SOT 32327829 SOS 3237138 HAS SOPS 3237138 HAS SOUS 2689964 HAS SOUPS 2689964 WITH SCORE 2693201.138
AT ITER 9934 NEW BEST:: SOT 32327614 SOS 3237078 HAS SOPS 3237078 HAS SOUS 2689749 HAS SOUPS 2689749 WITH SCORE 2692986.078
AT ITER 9946 NEW BEST:: SOT 32327435 SOS 3236362 HAS SOPS 3236362 HAS SOUS 2689570 HAS SOUPS 2689570 WITH SCORE 2692806.362
AT ITER 9959 NEW BEST:: SOT 32327302 SOS 3236096 HAS SOPS 3236096 HAS SOUS 2689437 HAS SOUPS 2689437 WITH SCORE 2692673.096
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="NoC3x3-PT-7B"
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 NoC3x3-PT-7B, 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 r108-csrt-158961250500440"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/NoC3x3-PT-7B.tgz
mv NoC3x3-PT-7B 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 '
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 ;