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-158902542200456.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 DLCround-PT-03a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542200456
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 316K
-rw-r--r-- 1 mcc users 3.7K Mar 30 18:38 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 30 18:38 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 29 08:31 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 29 08:31 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.2K Apr 8 14:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K 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 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Mar 28 04:29 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 28 04:29 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Mar 26 22:59 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K Mar 26 22:59 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K 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 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 148K 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 1589121522102

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

Filename model.pnml
Petri model created: 113 places, 617 transitions, 2269 arcs.
AT ITER 0 NEW BEST:: SOT 47826 SOS 35768 HAS SOPS 21670 HAS SOUS 7938 HAS SOUPS 5125 WITH SCORE 5160.768
AT ITER 4 NEW BEST:: SOT 47817 SOS 35678 HAS SOPS 21643 HAS SOUS 7923 HAS SOUPS 5119 WITH SCORE 5154.678
AT ITER 5 NEW BEST:: SOT 47813 SOS 35642 HAS SOPS 21607 HAS SOUS 7919 HAS SOUPS 5115 WITH SCORE 5150.642
AT ITER 10 NEW BEST:: SOT 47675 SOS 35531 HAS SOPS 21496 HAS SOUS 7779 HAS SOUPS 4975 WITH SCORE 5010.531
AT ITER 11 NEW BEST:: SOT 47659 SOS 34925 HAS SOPS 20890 HAS SOUS 7777 HAS SOUPS 4973 WITH SCORE 5007.925
AT ITER 15 NEW BEST:: SOT 47626 SOS 34859 HAS SOPS 20896 HAS SOUS 7711 HAS SOUPS 4925 WITH SCORE 4959.859
AT ITER 34 NEW BEST:: SOT 47610 SOS 34859 HAS SOPS 20880 HAS SOUS 7701 HAS SOUPS 4915 WITH SCORE 4949.859
AT ITER 41 NEW BEST:: SOT 47566 SOS 34422 HAS SOPS 20606 HAS SOUS 7568 HAS SOUPS 4617 WITH SCORE 4651.422
AT ITER 42 NEW BEST:: SOT 47556 SOS 34002 HAS SOPS 20186 HAS SOUS 7568 HAS SOUPS 4617 WITH SCORE 4651.002
AT ITER 53 NEW BEST:: SOT 47493 SOS 34787 HAS SOPS 20527 HAS SOUS 7551 HAS SOUPS 4563 WITH SCORE 4597.787
AT ITER 59 NEW BEST:: SOT 47489 SOS 34779 HAS SOPS 20519 HAS SOUS 7543 HAS SOUPS 4555 WITH SCORE 4589.779
AT ITER 75 NEW BEST:: SOT 47493 SOS 34782 HAS SOPS 20515 HAS SOUS 7547 HAS SOUPS 4552 WITH SCORE 4586.782
AT ITER 80 NEW BEST:: SOT 47447 SOS 34762 HAS SOPS 20495 HAS SOUS 7545 HAS SOUPS 4550 WITH SCORE 4584.762
AT ITER 81 NEW BEST:: SOT 47414 SOS 34662 HAS SOPS 20463 HAS SOUS 7513 HAS SOUPS 4535 WITH SCORE 4569.662
AT ITER 83 NEW BEST:: SOT 47408 SOS 34611 HAS SOPS 20433 HAS SOUS 7504 HAS SOUPS 4529 WITH SCORE 4563.611
AT ITER 84 NEW BEST:: SOT 47155 SOS 34280 HAS SOPS 20227 HAS SOUS 7490 HAS SOUPS 4515 WITH SCORE 4549.28
AT ITER 85 NEW BEST:: SOT 47213 SOS 33986 HAS SOPS 20241 HAS SOUS 7404 HAS SOUPS 4473 WITH SCORE 4506.986
AT ITER 86 NEW BEST:: SOT 47270 SOS 34005 HAS SOPS 20260 HAS SOUS 7367 HAS SOUPS 4436 WITH SCORE 4470.005
AT ITER 103 NEW BEST:: SOT 47266 SOS 33773 HAS SOPS 20224 HAS SOUS 7337 HAS SOUPS 4434 WITH SCORE 4467.773
AT ITER 104 NEW BEST:: SOT 47330 SOS 33858 HAS SOPS 20204 HAS SOUS 7365 HAS SOUPS 4370 WITH SCORE 4403.858
AT ITER 106 NEW BEST:: SOT 47314 SOS 33826 HAS SOPS 20188 HAS SOUS 7356 HAS SOUPS 4365 WITH SCORE 4398.826
AT ITER 110 NEW BEST:: SOT 47310 SOS 33783 HAS SOPS 20320 HAS SOUS 7316 HAS SOUPS 4350 WITH SCORE 4383.783
AT ITER 112 NEW BEST:: SOT 47050 SOS 33403 HAS SOPS 20120 HAS SOUS 7256 HAS SOUPS 4310 WITH SCORE 4343.403
AT ITER 116 NEW BEST:: SOT 47037 SOS 33230 HAS SOPS 20059 HAS SOUS 7236 HAS SOUPS 4306 WITH SCORE 4339.23
AT ITER 121 NEW BEST:: SOT 46730 SOS 32669 HAS SOPS 19814 HAS SOUS 7217 HAS SOUPS 4285 WITH SCORE 4317.669
AT ITER 122 NEW BEST:: SOT 46284 SOS 32083 HAS SOPS 19522 HAS SOUS 7160 HAS SOUPS 4248 WITH SCORE 4280.083
AT ITER 125 NEW BEST:: SOT 46263 SOS 32062 HAS SOPS 19516 HAS SOUS 7139 HAS SOUPS 4242 WITH SCORE 4274.062
AT ITER 130 NEW BEST:: SOT 46253 SOS 31958 HAS SOPS 19496 HAS SOUS 7108 HAS SOUPS 4232 WITH SCORE 4263.958
AT ITER 141 NEW BEST:: SOT 46243 SOS 31868 HAS SOPS 19406 HAS SOUS 7103 HAS SOUPS 4227 WITH SCORE 4258.868
AT ITER 146 NEW BEST:: SOT 45859 SOS 31180 HAS SOPS 19136 HAS SOUS 7099 HAS SOUPS 4223 WITH SCORE 4254.18
AT ITER 156 NEW BEST:: SOT 45865 SOS 31170 HAS SOPS 19126 HAS SOUS 7083 HAS SOUPS 4207 WITH SCORE 4238.17
AT ITER 161 NEW BEST:: SOT 45764 SOS 31324 HAS SOPS 19128 HAS SOUS 7007 HAS SOUPS 4131 WITH SCORE 4162.324
AT ITER 163 NEW BEST:: SOT 45774 SOS 31288 HAS SOPS 19100 HAS SOUS 7071 HAS SOUPS 4122 WITH SCORE 4153.288
AT ITER 166 NEW BEST:: SOT 45757 SOS 31242 HAS SOPS 19078 HAS SOUS 7061 HAS SOUPS 4118 WITH SCORE 4149.242
AT ITER 171 NEW BEST:: SOT 45734 SOS 31088 HAS SOPS 19038 HAS SOUS 7133 HAS SOUPS 4112 WITH SCORE 4143.088
AT ITER 172 NEW BEST:: SOT 45753 SOS 31111 HAS SOPS 19049 HAS SOUS 7126 HAS SOUPS 4103 WITH SCORE 4134.111
AT ITER 204 NEW BEST:: SOT 45749 SOS 31395 HAS SOPS 19333 HAS SOUS 7122 HAS SOUPS 4099 WITH SCORE 4130.395
AT ITER 220 NEW BEST:: SOT 45509 SOS 31111 HAS SOPS 19166 HAS SOUS 7059 HAS SOUPS 4060 WITH SCORE 4091.111
AT ITER 226 NEW BEST:: SOT 45504 SOS 31101 HAS SOPS 19176 HAS SOUS 7049 HAS SOUPS 4055 WITH SCORE 4086.101
AT ITER 231 NEW BEST:: SOT 45391 SOS 31031 HAS SOPS 19176 HAS SOUS 6759 HAS SOUPS 3997 WITH SCORE 4028.031
AT ITER 246 NEW BEST:: SOT 45343 SOS 29708 HAS SOPS 18042 HAS SOUS 6718 HAS SOUPS 3983 WITH SCORE 4012.708
AT ITER 249 NEW BEST:: SOT 45193 SOS 29472 HAS SOPS 17950 HAS SOUS 6716 HAS SOUPS 3983 WITH SCORE 4012.472
AT ITER 259 NEW BEST:: SOT 45215 SOS 29555 HAS SOPS 17965 HAS SOUS 6721 HAS SOUPS 3971 WITH SCORE 4000.555
AT ITER 266 NEW BEST:: SOT 45290 SOS 29642 HAS SOPS 18004 HAS SOUS 6680 HAS SOUPS 3942 WITH SCORE 3971.642
AT ITER 288 NEW BEST:: SOT 45174 SOS 29496 HAS SOPS 17906 HAS SOUS 6665 HAS SOUPS 3927 WITH SCORE 3956.496
AT ITER 302 NEW BEST:: SOT 45177 SOS 29478 HAS SOPS 17909 HAS SOUS 6662 HAS SOUPS 3927 WITH SCORE 3956.478
AT ITER 308 NEW BEST:: SOT 45144 SOS 29456 HAS SOPS 17832 HAS SOUS 6578 HAS SOUPS 3830 WITH SCORE 3859.456
AT ITER 321 NEW BEST:: SOT 45122 SOS 29331 HAS SOPS 17737 HAS SOUS 6583 HAS SOUPS 3829 WITH SCORE 3858.331
AT ITER 335 NEW BEST:: SOT 45119 SOS 29329 HAS SOPS 17730 HAS SOUS 6574 HAS SOUPS 3820 WITH SCORE 3849.329
AT ITER 337 NEW BEST:: SOT 45206 SOS 29704 HAS SOPS 17913 HAS SOUS 6553 HAS SOUPS 3799 WITH SCORE 3828.704
AT ITER 381 NEW BEST:: SOT 45206 SOS 29704 HAS SOPS 17913 HAS SOUS 6549 HAS SOUPS 3795 WITH SCORE 3824.704
AT ITER 389 NEW BEST:: SOT 44949 SOS 28773 HAS SOPS 17654 HAS SOUS 6499 HAS SOUPS 3783 WITH SCORE 3811.773
AT ITER 395 NEW BEST:: SOT 44931 SOS 28751 HAS SOPS 17642 HAS SOUS 6479 HAS SOUPS 3771 WITH SCORE 3799.751
AT ITER 415 NEW BEST:: SOT 44940 SOS 28780 HAS SOPS 17627 HAS SOUS 6482 HAS SOUPS 3765 WITH SCORE 3793.78
AT ITER 433 NEW BEST:: SOT 44939 SOS 28779 HAS SOPS 17626 HAS SOUS 6480 HAS SOUPS 3763 WITH SCORE 3791.779
AT ITER 435 NEW BEST:: SOT 44919 SOS 28781 HAS SOPS 17619 HAS SOUS 6480 HAS SOUPS 3756 WITH SCORE 3784.781
AT ITER 436 NEW BEST:: SOT 44903 SOS 28465 HAS SOPS 17345 HAS SOUS 6462 HAS SOUPS 3744 WITH SCORE 3772.465
AT ITER 444 NEW BEST:: SOT 44903 SOS 28465 HAS SOPS 17345 HAS SOUS 6459 HAS SOUPS 3742 WITH SCORE 3770.465
AT ITER 446 NEW BEST:: SOT 44901 SOS 28465 HAS SOPS 17342 HAS SOUS 6457 HAS SOUPS 3740 WITH SCORE 3768.465
AT ITER 449 NEW BEST:: SOT 44920 SOS 28487 HAS SOPS 17352 HAS SOUS 6443 HAS SOUPS 3729 WITH SCORE 3757.487
AT ITER 460 NEW BEST:: SOT 44925 SOS 28496 HAS SOPS 17361 HAS SOUS 6438 HAS SOUPS 3724 WITH SCORE 3752.496
AT ITER 469 NEW BEST:: SOT 44924 SOS 28484 HAS SOPS 17353 HAS SOUS 6438 HAS SOUPS 3724 WITH SCORE 3752.484
AT ITER 492 NEW BEST:: SOT 44889 SOS 28469 HAS SOPS 17338 HAS SOUS 6438 HAS SOUPS 3719 WITH SCORE 3747.469
AT ITER 496 NEW BEST:: SOT 44918 SOS 28347 HAS SOPS 17356 HAS SOUS 6416 HAS SOUPS 3717 WITH SCORE 3745.347
AT ITER 509 NEW BEST:: SOT 44842 SOS 28301 HAS SOPS 17310 HAS SOUS 6424 HAS SOUPS 3716 WITH SCORE 3744.301
AT ITER 518 NEW BEST:: SOT 44841 SOS 28299 HAS SOPS 17308 HAS SOUS 6424 HAS SOUPS 3716 WITH SCORE 3744.299
AT ITER 537 NEW BEST:: SOT 44863 SOS 28335 HAS SOPS 17308 HAS SOUS 6432 HAS SOUPS 3712 WITH SCORE 3740.335
AT ITER 545 NEW BEST:: SOT 44873 SOS 28345 HAS SOPS 17268 HAS SOUS 6399 HAS SOUPS 3668 WITH SCORE 3696.345
AT ITER 551 NEW BEST:: SOT 44861 SOS 28321 HAS SOPS 17256 HAS SOUS 6382 HAS SOUPS 3667 WITH SCORE 3695.321
AT ITER 564 NEW BEST:: SOT 44860 SOS 28320 HAS SOPS 17255 HAS SOUS 6381 HAS SOUPS 3666 WITH SCORE 3694.32
AT ITER 577 NEW BEST:: SOT 44834 SOS 28265 HAS SOPS 17231 HAS SOUS 6236 HAS SOUPS 3585 WITH SCORE 3613.265
AT ITER 581 NEW BEST:: SOT 44876 SOS 28301 HAS SOPS 17255 HAS SOUS 6227 HAS SOUPS 3582 WITH SCORE 3610.301
AT ITER 584 NEW BEST:: SOT 45032 SOS 28483 HAS SOPS 17327 HAS SOUS 6163 HAS SOUPS 3518 WITH SCORE 3546.483
AT ITER 594 NEW BEST:: SOT 45049 SOS 28042 HAS SOPS 16963 HAS SOUS 6147 HAS SOUPS 3513 WITH SCORE 3541.042
AT ITER 607 NEW BEST:: SOT 45127 SOS 28403 HAS SOPS 17168 HAS SOUS 6122 HAS SOUPS 3503 WITH SCORE 3531.403
AT ITER 615 NEW BEST:: SOT 45121 SOS 28355 HAS SOPS 17162 HAS SOUS 6116 HAS SOUPS 3503 WITH SCORE 3531.355
AT ITER 626 NEW BEST:: SOT 45130 SOS 28285 HAS SOPS 17092 HAS SOUS 6108 HAS SOUPS 3495 WITH SCORE 3523.285
AT ITER 639 NEW BEST:: SOT 45108 SOS 28301 HAS SOPS 17108 HAS SOUS 6098 HAS SOUPS 3485 WITH SCORE 3513.301
AT ITER 643 NEW BEST:: SOT 45071 SOS 28292 HAS SOPS 17108 HAS SOUS 6022 HAS SOUPS 3446 WITH SCORE 3474.292
AT ITER 644 NEW BEST:: SOT 45103 SOS 28345 HAS SOPS 17128 HAS SOUS 6021 HAS SOUPS 3445 WITH SCORE 3473.345
AT ITER 655 NEW BEST:: SOT 45064 SOS 28342 HAS SOPS 17081 HAS SOUS 6036 HAS SOUPS 3438 WITH SCORE 3466.342
AT ITER 659 NEW BEST:: SOT 44851 SOS 27987 HAS SOPS 16720 HAS SOUS 6023 HAS SOUPS 3396 WITH SCORE 3423.987
AT ITER 661 NEW BEST:: SOT 44839 SOS 27909 HAS SOPS 16648 HAS SOUS 6014 HAS SOUPS 3387 WITH SCORE 3414.909
AT ITER 666 NEW BEST:: SOT 44841 SOS 27888 HAS SOPS 16639 HAS SOUS 6013 HAS SOUPS 3387 WITH SCORE 3414.888
AT ITER 667 NEW BEST:: SOT 44840 SOS 27788 HAS SOPS 16553 HAS SOUS 6010 HAS SOUPS 3386 WITH SCORE 3413.788
AT ITER 675 NEW BEST:: SOT 44840 SOS 27802 HAS SOPS 16539 HAS SOUS 6007 HAS SOUPS 3376 WITH SCORE 3403.802
AT ITER 694 NEW BEST:: SOT 44827 SOS 27783 HAS SOPS 16529 HAS SOUS 6004 HAS SOUPS 3374 WITH SCORE 3401.783
AT ITER 717 NEW BEST:: SOT 44825 SOS 27773 HAS SOPS 16519 HAS SOUS 6001 HAS SOUPS 3371 WITH SCORE 3398.773
AT ITER 726 NEW BEST:: SOT 44817 SOS 27761 HAS SOPS 16539 HAS SOUS 5993 HAS SOUPS 3371 WITH SCORE 3398.761
AT ITER 731 NEW BEST:: SOT 44823 SOS 27689 HAS SOPS 16530 HAS SOUS 5967 HAS SOUPS 3345 WITH SCORE 3372.689
AT ITER 735 NEW BEST:: SOT 44820 SOS 27603 HAS SOPS 16484 HAS SOUS 5960 HAS SOUPS 3342 WITH SCORE 3369.603
AT ITER 749 NEW BEST:: SOT 44900 SOS 27739 HAS SOPS 16532 HAS SOUS 5958 HAS SOUPS 3340 WITH SCORE 3367.739
AT ITER 770 NEW BEST:: SOT 44791 SOS 27558 HAS SOPS 16449 HAS SOUS 5951 HAS SOUPS 3333 WITH SCORE 3360.558
AT ITER 785 NEW BEST:: SOT 44793 SOS 27542 HAS SOPS 16433 HAS SOUS 5945 HAS SOUPS 3327 WITH SCORE 3354.542
AT ITER 818 NEW BEST:: SOT 44855 SOS 27710 HAS SOPS 16601 HAS SOUS 5935 HAS SOUPS 3325 WITH SCORE 3352.71
AT ITER 836 NEW BEST:: SOT 44805 SOS 27579 HAS SOPS 16519 HAS SOUS 5934 HAS SOUPS 3324 WITH SCORE 3351.579
AT ITER 848 NEW BEST:: SOT 44811 SOS 27874 HAS SOPS 16780 HAS SOUS 5931 HAS SOUPS 3321 WITH SCORE 3348.874
AT ITER 853 NEW BEST:: SOT 44751 SOS 27794 HAS SOPS 16740 HAS SOUS 5930 HAS SOUPS 3320 WITH SCORE 3347.794
AT ITER 857 NEW BEST:: SOT 44751 SOS 27794 HAS SOPS 16737 HAS SOUS 5927 HAS SOUPS 3317 WITH SCORE 3344.794
AT ITER 865 NEW BEST:: SOT 44748 SOS 27790 HAS SOPS 16732 HAS SOUS 5927 HAS SOUPS 3314 WITH SCORE 3341.79
AT ITER 871 NEW BEST:: SOT 44745 SOS 27787 HAS SOPS 16729 HAS SOUS 5927 HAS SOUPS 3314 WITH SCORE 3341.787
AT ITER 877 NEW BEST:: SOT 44780 SOS 27802 HAS SOPS 16744 HAS SOUS 5907 HAS SOUPS 3299 WITH SCORE 3326.802
AT ITER 896 NEW BEST:: SOT 44770 SOS 27793 HAS SOPS 16739 HAS SOUS 5907 HAS SOUPS 3298 WITH SCORE 3325.793
AT ITER 904 NEW BEST:: SOT 44782 SOS 27844 HAS SOPS 16754 HAS SOUS 5912 HAS SOUPS 3294 WITH SCORE 3321.844
AT ITER 920 NEW BEST:: SOT 44778 SOS 27957 HAS SOPS 16814 HAS SOUS 5909 HAS SOUPS 3291 WITH SCORE 3318.957
AT ITER 928 NEW BEST:: SOT 44759 SOS 27926 HAS SOPS 16818 HAS SOUS 5906 HAS SOUPS 3288 WITH SCORE 3315.926
AT ITER 930 NEW BEST:: SOT 44735 SOS 27896 HAS SOPS 16794 HAS SOUS 5904 HAS SOUPS 3284 WITH SCORE 3311.896
AT ITER 932 NEW BEST:: SOT 44772 SOS 27948 HAS SOPS 16860 HAS SOUS 5820 HAS SOUPS 3267 WITH SCORE 3294.948
AT ITER 933 NEW BEST:: SOT 44776 SOS 27886 HAS SOPS 16812 HAS SOUS 5812 HAS SOUPS 3261 WITH SCORE 3288.886
AT ITER 951 NEW BEST:: SOT 44785 SOS 27885 HAS SOPS 16811 HAS SOUS 5806 HAS SOUPS 3255 WITH SCORE 3282.885
AT ITER 960 NEW BEST:: SOT 44791 SOS 27891 HAS SOPS 16873 HAS SOUS 5796 HAS SOUPS 3253 WITH SCORE 3280.891
AT ITER 970 NEW BEST:: SOT 44795 SOS 27895 HAS SOPS 16877 HAS SOUS 5794 HAS SOUPS 3251 WITH SCORE 3278.895
AT ITER 990 NEW BEST:: SOT 44747 SOS 27827 HAS SOPS 16829 HAS SOUS 5790 HAS SOUPS 3247 WITH SCORE 3274.827
AT ITER 1003 NEW BEST:: SOT 44735 SOS 27816 HAS SOPS 16829 HAS SOUS 5799 HAS SOUPS 3247 WITH SCORE 3274.816
AT ITER 1021 NEW BEST:: SOT 44741 SOS 27738 HAS SOPS 16772 HAS SOUS 5794 HAS SOUPS 3245 WITH SCORE 3272.738
AT ITER 1070 NEW BEST:: SOT 44741 SOS 27738 HAS SOPS 16772 HAS SOUS 5782 HAS SOUPS 3233 WITH SCORE 3260.738
AT ITER 1074 NEW BEST:: SOT 44669 SOS 27618 HAS SOPS 16730 HAS SOUS 5774 HAS SOUPS 3231 WITH SCORE 3258.618
AT ITER 1077 NEW BEST:: SOT 44857 SOS 27957 HAS SOPS 16863 HAS SOUS 5780 HAS SOUPS 3223 WITH SCORE 3250.957
AT ITER 1085 NEW BEST:: SOT 44847 SOS 27909 HAS SOPS 16843 HAS SOUS 5757 HAS SOUPS 3207 WITH SCORE 3234.909
AT ITER 1122 NEW BEST:: SOT 44847 SOS 27909 HAS SOPS 16840 HAS SOUS 5754 HAS SOUPS 3204 WITH SCORE 3231.909
AT ITER 1149 NEW BEST:: SOT 44847 SOS 27909 HAS SOPS 16831 HAS SOUS 5745 HAS SOUPS 3195 WITH SCORE 3222.909
AT ITER 1162 NEW BEST:: SOT 44917 SOS 27574 HAS SOPS 16619 HAS SOUS 5784 HAS SOUPS 3194 WITH SCORE 3221.574
AT ITER 1174 NEW BEST:: SOT 44772 SOS 27392 HAS SOPS 16511 HAS SOUS 5748 HAS SOUPS 3184 WITH SCORE 3211.392
AT ITER 1206 NEW BEST:: SOT 44776 SOS 27404 HAS SOPS 16502 HAS SOUS 5750 HAS SOUPS 3183 WITH SCORE 3210.404
AT ITER 1216 NEW BEST:: SOT 44543 SOS 27134 HAS SOPS 16358 HAS SOUS 5749 HAS SOUPS 3182 WITH SCORE 3209.134
AT ITER 1249 NEW BEST:: SOT 44539 SOS 27126 HAS SOPS 16358 HAS SOUS 5743 HAS SOUPS 3180 WITH SCORE 3207.126
AT ITER 1280 NEW BEST:: SOT 44500 SOS 27089 HAS SOPS 16341 HAS SOUS 5744 HAS SOUPS 3179 WITH SCORE 3206.089
AT ITER 1282 NEW BEST:: SOT 44467 SOS 27023 HAS SOPS 16319 HAS SOUS 5730 HAS SOUPS 3176 WITH SCORE 3203.023
AT ITER 1308 NEW BEST:: SOT 44259 SOS 26644 HAS SOPS 16247 HAS SOUS 5687 HAS SOUPS 3170 WITH SCORE 3196.644
AT ITER 1367 NEW BEST:: SOT 44077 SOS 26365 HAS SOPS 16127 HAS SOUS 5651 HAS SOUPS 3135 WITH SCORE 3161.365
AT ITER 1397 NEW BEST:: SOT 44080 SOS 26368 HAS SOPS 16115 HAS SOUS 5636 HAS SOUPS 3119 WITH SCORE 3145.368
AT ITER 1400 NEW BEST:: SOT 44071 SOS 26134 HAS SOPS 15881 HAS SOUS 5635 HAS SOUPS 3118 WITH SCORE 3144.134
AT ITER 1405 NEW BEST:: SOT 44051 SOS 25975 HAS SOPS 15869 HAS SOUS 5613 HAS SOUPS 3117 WITH SCORE 3142.975
AT ITER 1408 NEW BEST:: SOT 44071 SOS 25355 HAS SOPS 15361 HAS SOUS 5579 HAS SOUPS 3099 WITH SCORE 3124.355
AT ITER 1418 NEW BEST:: SOT 43915 SOS 24975 HAS SOPS 15149 HAS SOUS 5549 HAS SOUPS 3083 WITH SCORE 3107.975
AT ITER 1429 NEW BEST:: SOT 43509 SOS 24307 HAS SOPS 14857 HAS SOUS 5519 HAS SOUPS 3066 WITH SCORE 3090.307
AT ITER 1440 NEW BEST:: SOT 43471 SOS 24219 HAS SOPS 14784 HAS SOUS 5514 HAS SOUPS 3061 WITH SCORE 3085.219
AT ITER 1445 NEW BEST:: SOT 43489 SOS 23324 HAS SOPS 14050 HAS SOUS 5476 HAS SOUPS 3046 WITH SCORE 3069.324
AT ITER 1472 NEW BEST:: SOT 43256 SOS 23085 HAS SOPS 13931 HAS SOUS 5330 HAS SOUPS 2992 WITH SCORE 3015.085
AT ITER 1498 NEW BEST:: SOT 43277 SOS 22892 HAS SOPS 13776 HAS SOUS 5321 HAS SOUPS 2987 WITH SCORE 3009.892
AT ITER 1555 NEW BEST:: SOT 43272 SOS 22881 HAS SOPS 13769 HAS SOUS 5313 HAS SOUPS 2980 WITH SCORE 3002.881
AT ITER 1556 NEW BEST:: SOT 43316 SOS 22938 HAS SOPS 13795 HAS SOUS 5298 HAS SOUPS 2967 WITH SCORE 2989.938
AT ITER 1559 NEW BEST:: SOT 43306 SOS 22931 HAS SOPS 13788 HAS SOUS 5298 HAS SOUPS 2966 WITH SCORE 2988.931
AT ITER 1574 NEW BEST:: SOT 43303 SOS 22924 HAS SOPS 13786 HAS SOUS 5297 HAS SOUPS 2966 WITH SCORE 2988.924
AT ITER 1575 NEW BEST:: SOT 43277 SOS 22898 HAS SOPS 13805 HAS SOUS 5291 HAS SOUPS 2960 WITH SCORE 2982.898
AT ITER 1579 NEW BEST:: SOT 43305 SOS 22922 HAS SOPS 13821 HAS SOUS 5285 HAS SOUPS 2958 WITH SCORE 2980.922
AT ITER 1599 NEW BEST:: SOT 43272 SOS 22819 HAS SOPS 13718 HAS SOUS 5269 HAS SOUPS 2942 WITH SCORE 2964.819
AT ITER 1601 NEW BEST:: SOT 43262 SOS 22773 HAS SOPS 13672 HAS SOUS 5259 HAS SOUPS 2932 WITH SCORE 2954.773
AT ITER 1611 NEW BEST:: SOT 43203 SOS 22451 HAS SOPS 13014 HAS SOUS 5271 HAS SOUPS 2896 WITH SCORE 2918.451
AT ITER 1649 NEW BEST:: SOT 43198 SOS 22469 HAS SOPS 13011 HAS SOUS 5268 HAS SOUPS 2893 WITH SCORE 2915.469
AT ITER 1656 NEW BEST:: SOT 43212 SOS 21763 HAS SOPS 12369 HAS SOUS 5243 HAS SOUPS 2871 WITH SCORE 2892.763
AT ITER 1677 NEW BEST:: SOT 43205 SOS 21752 HAS SOPS 12358 HAS SOUS 5244 HAS SOUPS 2871 WITH SCORE 2892.752
AT ITER 1687 NEW BEST:: SOT 43207 SOS 21719 HAS SOPS 12301 HAS SOUS 5238 HAS SOUPS 2859 WITH SCORE 2880.719
AT ITER 1688 NEW BEST:: SOT 43197 SOS 21697 HAS SOPS 12278 HAS SOUS 5237 HAS SOUPS 2858 WITH SCORE 2879.697
AT ITER 1700 NEW BEST:: SOT 43265 SOS 21813 HAS SOPS 12316 HAS SOUS 5239 HAS SOUPS 2854 WITH SCORE 2875.813
AT ITER 1710 NEW BEST:: SOT 43111 SOS 21653 HAS SOPS 12224 HAS SOUS 5241 HAS SOUPS 2852 WITH SCORE 2873.653
AT ITER 1721 NEW BEST:: SOT 43135 SOS 21675 HAS SOPS 12246 HAS SOUS 5237 HAS SOUPS 2850 WITH SCORE 2871.675
AT ITER 1723 NEW BEST:: SOT 43120 SOS 21645 HAS SOPS 12216 HAS SOUS 5231 HAS SOUPS 2844 WITH SCORE 2865.645
AT ITER 1726 NEW BEST:: SOT 43032 SOS 21513 HAS SOPS 12161 HAS SOUS 5231 HAS SOUPS 2844 WITH SCORE 2865.513
AT ITER 1727 NEW BEST:: SOT 43027 SOS 21472 HAS SOPS 12147 HAS SOUS 5221 HAS SOUPS 2839 WITH SCORE 2860.472
AT ITER 1736 NEW BEST:: SOT 43024 SOS 21506 HAS SOPS 12165 HAS SOUS 5220 HAS SOUPS 2838 WITH SCORE 2859.506
AT ITER 1757 NEW BEST:: SOT 43022 SOS 21470 HAS SOPS 12065 HAS SOUS 5234 HAS SOUPS 2836 WITH SCORE 2857.47
AT ITER 1766 NEW BEST:: SOT 42923 SOS 21242 HAS SOPS 11925 HAS SOUS 5214 HAS SOUPS 2816 WITH SCORE 2837.242
AT ITER 1769 NEW BEST:: SOT 42827 SOS 20612 HAS SOPS 11384 HAS SOUS 5202 HAS SOUPS 2795 WITH SCORE 2815.612
AT ITER 1778 NEW BEST:: SOT 42811 SOS 20586 HAS SOPS 11374 HAS SOUS 5202 HAS SOUPS 2795 WITH SCORE 2815.586
AT ITER 1782 NEW BEST:: SOT 42811 SOS 20575 HAS SOPS 11374 HAS SOUS 5202 HAS SOUPS 2795 WITH SCORE 2815.575
AT ITER 1788 NEW BEST:: SOT 42757 SOS 20845 HAS SOPS 11596 HAS SOUS 5190 HAS SOUPS 2783 WITH SCORE 2803.845
AT ITER 1803 NEW BEST:: SOT 42755 SOS 20827 HAS SOPS 11578 HAS SOUS 5188 HAS SOUPS 2781 WITH SCORE 2801.827
AT ITER 1840 NEW BEST:: SOT 42735 SOS 20671 HAS SOPS 11422 HAS SOUS 5135 HAS SOUPS 2728 WITH SCORE 2748.671
AT ITER 1844 NEW BEST:: SOT 42799 SOS 20301 HAS SOPS 11047 HAS SOUS 5148 HAS SOUPS 2725 WITH SCORE 2745.301
AT ITER 1847 NEW BEST:: SOT 42800 SOS 20283 HAS SOPS 11037 HAS SOUS 5148 HAS SOUPS 2725 WITH SCORE 2745.283
AT ITER 1860 NEW BEST:: SOT 42729 SOS 20151 HAS SOPS 10953 HAS SOUS 5141 HAS SOUPS 2718 WITH SCORE 2738.151
AT ITER 1872 NEW BEST:: SOT 42775 SOS 20227 HAS SOPS 11001 HAS SOUS 5099 HAS SOUPS 2702 WITH SCORE 2722.227
AT ITER 1878 NEW BEST:: SOT 42767 SOS 20211 HAS SOPS 10985 HAS SOUS 5088 HAS SOUPS 2691 WITH SCORE 2711.211
AT ITER 1879 NEW BEST:: SOT 42695 SOS 20040 HAS SOPS 10877 HAS SOUS 5079 HAS SOUPS 2682 WITH SCORE 2702.04
AT ITER 1884 NEW BEST:: SOT 42695 SOS 20040 HAS SOPS 10862 HAS SOUS 5071 HAS SOUPS 2674 WITH SCORE 2694.04
AT ITER 1897 NEW BEST:: SOT 42473 SOS 19634 HAS SOPS 10748 HAS SOUS 4993 HAS SOUPS 2627 WITH SCORE 2646.634
AT ITER 1903 NEW BEST:: SOT 42470 SOS 19628 HAS SOPS 10742 HAS SOUS 4990 HAS SOUPS 2624 WITH SCORE 2643.628
AT ITER 1919 NEW BEST:: SOT 42482 SOS 19640 HAS SOPS 10749 HAS SOUS 4989 HAS SOUPS 2623 WITH SCORE 2642.64
AT ITER 1923 NEW BEST:: SOT 42161 SOS 19057 HAS SOPS 10305 HAS SOUS 4914 HAS SOUPS 2587 WITH SCORE 2606.057
AT ITER 1929 NEW BEST:: SOT 42161 SOS 18928 HAS SOPS 10169 HAS SOUS 4910 HAS SOUPS 2583 WITH SCORE 2601.928
AT ITER 1950 NEW BEST:: SOT 42159 SOS 18923 HAS SOPS 10164 HAS SOUS 4908 HAS SOUPS 2581 WITH SCORE 2599.923
AT ITER 1981 NEW BEST:: SOT 42151 SOS 18915 HAS SOPS 10156 HAS SOUS 4907 HAS SOUPS 2580 WITH SCORE 2598.915
AT ITER 1991 NEW BEST:: SOT 42067 SOS 18551 HAS SOPS 10056 HAS SOUS 4895 HAS SOUPS 2574 WITH SCORE 2592.551
AT ITER 1996 NEW BEST:: SOT 42047 SOS 18603 HAS SOPS 10080 HAS SOUS 4887 HAS SOUPS 2566 WITH SCORE 2584.603
AT ITER 1998 NEW BEST:: SOT 42064 SOS 18479 HAS SOPS 9957 HAS SOUS 4886 HAS SOUPS 2565 WITH SCORE 2583.479
AT ITER 2010 NEW BEST:: SOT 42052 SOS 18371 HAS SOPS 9674 HAS SOUS 4901 HAS SOUPS 2555 WITH SCORE 2573.371
AT ITER 2019 NEW BEST:: SOT 42029 SOS 18361 HAS SOPS 9688 HAS SOUS 4890 HAS SOUPS 2550 WITH SCORE 2568.361
AT ITER 2021 NEW BEST:: SOT 42027 SOS 18359 HAS SOPS 9688 HAS SOUS 4890 HAS SOUPS 2550 WITH SCORE 2568.359
AT ITER 2039 NEW BEST:: SOT 42026 SOS 18380 HAS SOPS 9626 HAS SOUS 4883 HAS SOUPS 2536 WITH SCORE 2554.38
AT ITER 2057 NEW BEST:: SOT 42008 SOS 18379 HAS SOPS 9625 HAS SOUS 4852 HAS SOUPS 2505 WITH SCORE 2523.379
AT ITER 2065 NEW BEST:: SOT 42011 SOS 18380 HAS SOPS 9627 HAS SOUS 4849 HAS SOUPS 2503 WITH SCORE 2521.38
AT ITER 2079 NEW BEST:: SOT 42017 SOS 18483 HAS SOPS 9864 HAS SOUS 4816 HAS SOUPS 2489 WITH SCORE 2507.483
AT ITER 2085 NEW BEST:: SOT 42010 SOS 18448 HAS SOPS 9836 HAS SOUS 4816 HAS SOUPS 2489 WITH SCORE 2507.448
AT ITER 2086 NEW BEST:: SOT 41902 SOS 18340 HAS SOPS 9728 HAS SOUS 4816 HAS SOUPS 2489 WITH SCORE 2507.34
AT ITER 2095 NEW BEST:: SOT 41902 SOS 18340 HAS SOPS 9728 HAS SOUS 4797 HAS SOUPS 2487 WITH SCORE 2505.34
AT ITER 2098 NEW BEST:: SOT 41884 SOS 18322 HAS SOPS 9710 HAS SOUS 4788 HAS SOUPS 2482 WITH SCORE 2500.322
AT ITER 2108 NEW BEST:: SOT 41860 SOS 18304 HAS SOPS 9692 HAS SOUS 4788 HAS SOUPS 2482 WITH SCORE 2500.304
AT ITER 2132 NEW BEST:: SOT 41863 SOS 18203 HAS SOPS 9695 HAS SOUS 4766 HAS SOUPS 2474 WITH SCORE 2492.203
AT ITER 2162 NEW BEST:: SOT 41858 SOS 18198 HAS SOPS 9665 HAS SOUS 4756 HAS SOUPS 2459 WITH SCORE 2477.198
AT ITER 2163 NEW BEST:: SOT 41851 SOS 18244 HAS SOPS 9631 HAS SOUS 4762 HAS SOUPS 2455 WITH SCORE 2473.244
AT ITER 2164 NEW BEST:: SOT 41837 SOS 18230 HAS SOPS 9619 HAS SOUS 4762 HAS SOUPS 2455 WITH SCORE 2473.23
AT ITER 2171 NEW BEST:: SOT 41853 SOS 18257 HAS SOPS 9632 HAS SOUS 4756 HAS SOUPS 2453 WITH SCORE 2471.257
AT ITER 2176 NEW BEST:: SOT 41870 SOS 18307 HAS SOPS 9636 HAS SOUS 4757 HAS SOUPS 2451 WITH SCORE 2469.307
AT ITER 2201 NEW BEST:: SOT 41855 SOS 18287 HAS SOPS 9578 HAS SOUS 4753 HAS SOUPS 2443 WITH SCORE 2461.287
AT ITER 2210 NEW BEST:: SOT 41801 SOS 18233 HAS SOPS 9524 HAS SOUS 4753 HAS SOUPS 2443 WITH SCORE 2461.233
AT ITER 2213 NEW BEST:: SOT 41801 SOS 18233 HAS SOPS 9524 HAS SOUS 4730 HAS SOUPS 2441 WITH SCORE 2459.233
AT ITER 2223 NEW BEST:: SOT 41678 SOS 18052 HAS SOPS 9287 HAS SOUS 4740 HAS SOUPS 2430 WITH SCORE 2448.052
AT ITER 2224 NEW BEST:: SOT 41693 SOS 18146 HAS SOPS 9301 HAS SOUS 4741 HAS SOUPS 2429 WITH SCORE 2447.146
AT ITER 2249 NEW BEST:: SOT 41684 SOS 18137 HAS SOPS 9301 HAS SOUS 4731 HAS SOUPS 2419 WITH SCORE 2437.137
AT ITER 2260 NEW BEST:: SOT 41660 SOS 18121 HAS SOPS 9277 HAS SOUS 4723 HAS SOUPS 2411 WITH SCORE 2429.121
AT ITER 2301 NEW BEST:: SOT 41639 SOS 18100 HAS SOPS 9265 HAS SOUS 4723 HAS SOUPS 2411 WITH SCORE 2429.1
AT ITER 2312 NEW BEST:: SOT 41642 SOS 18022 HAS SOPS 9243 HAS SOUS 4716 HAS SOUPS 2411 WITH SCORE 2429.022
AT ITER 2360 NEW BEST:: SOT 41616 SOS 18004 HAS SOPS 9219 HAS SOUS 4704 HAS SOUPS 2405 WITH SCORE 2423.004
AT ITER 2368 NEW BEST:: SOT 41617 SOS 18006 HAS SOPS 9215 HAS SOUS 4696 HAS SOUPS 2397 WITH SCORE 2415.006
AT ITER 2377 NEW BEST:: SOT 41505 SOS 17810 HAS SOPS 9145 HAS SOUS 4691 HAS SOUPS 2387 WITH SCORE 2404.81
AT ITER 2399 NEW BEST:: SOT 41409 SOS 17160 HAS SOPS 8573 HAS SOUS 4704 HAS SOUPS 2384 WITH SCORE 2401.16
AT ITER 2433 NEW BEST:: SOT 41339 SOS 16835 HAS SOPS 8316 HAS SOUS 4697 HAS SOUPS 2377 WITH SCORE 2393.835
AT ITER 2459 NEW BEST:: SOT 41323 SOS 16827 HAS SOPS 8316 HAS SOUS 4677 HAS SOUPS 2369 WITH SCORE 2385.827
AT ITER 2478 NEW BEST:: SOT 41269 SOS 16775 HAS SOPS 8260 HAS SOUS 4674 HAS SOUPS 2368 WITH SCORE 2384.775
AT ITER 2480 NEW BEST:: SOT 41306 SOS 16687 HAS SOPS 8196 HAS SOUS 4666 HAS SOUPS 2360 WITH SCORE 2376.687
AT ITER 2481 NEW BEST:: SOT 41427 SOS 16729 HAS SOPS 8076 HAS SOUS 4663 HAS SOUPS 2318 WITH SCORE 2334.729
AT ITER 2485 NEW BEST:: SOT 41423 SOS 16707 HAS SOPS 8026 HAS SOUS 4663 HAS SOUPS 2311 WITH SCORE 2327.707
AT ITER 2509 NEW BEST:: SOT 41409 SOS 16691 HAS SOPS 8012 HAS SOUS 4653 HAS SOUPS 2302 WITH SCORE 2318.691
AT ITER 2528 NEW BEST:: SOT 41403 SOS 16679 HAS SOPS 8004 HAS SOUS 4648 HAS SOUPS 2298 WITH SCORE 2314.679
AT ITER 2532 NEW BEST:: SOT 41284 SOS 16615 HAS SOPS 7940 HAS SOUS 4606 HAS SOUPS 2277 WITH SCORE 2293.615
AT ITER 2579 NEW BEST:: SOT 41204 SOS 16595 HAS SOPS 7988 HAS SOUS 4610 HAS SOUPS 2277 WITH SCORE 2293.595
AT ITER 2611 NEW BEST:: SOT 41200 SOS 16575 HAS SOPS 7982 HAS SOUS 4606 HAS SOUPS 2275 WITH SCORE 2291.575
AT ITER 2625 NEW BEST:: SOT 41017 SOS 16231 HAS SOPS 7832 HAS SOUS 4582 HAS SOUPS 2267 WITH SCORE 2283.231
AT ITER 2646 NEW BEST:: SOT 40963 SOS 16132 HAS SOPS 7740 HAS SOUS 4574 HAS SOUPS 2263 WITH SCORE 2279.132
AT ITER 2674 NEW BEST:: SOT 40941 SOS 16058 HAS SOPS 7673 HAS SOUS 4568 HAS SOUPS 2257 WITH SCORE 2273.058
AT ITER 2678 NEW BEST:: SOT 41050 SOS 16211 HAS SOPS 7738 HAS SOUS 4578 HAS SOUPS 2256 WITH SCORE 2272.211
AT ITER 2706 NEW BEST:: SOT 41027 SOS 16171 HAS SOPS 7728 HAS SOUS 4543 HAS SOUPS 2251 WITH SCORE 2267.171
AT ITER 2841 NEW BEST:: SOT 41025 SOS 16171 HAS SOPS 7728 HAS SOUS 4541 HAS SOUPS 2249 WITH SCORE 2265.171
AT ITER 2844 NEW BEST:: SOT 41039 SOS 16197 HAS SOPS 7738 HAS SOUS 4539 HAS SOUPS 2245 WITH SCORE 2261.197
AT ITER 2849 NEW BEST:: SOT 41030 SOS 16173 HAS SOPS 7720 HAS SOUS 4530 HAS SOUPS 2239 WITH SCORE 2255.173
AT ITER 2855 NEW BEST:: SOT 41063 SOS 16157 HAS SOPS 7737 HAS SOUS 4530 HAS SOUPS 2239 WITH SCORE 2255.157
AT ITER 2885 NEW BEST:: SOT 41066 SOS 16162 HAS SOPS 7737 HAS SOUS 4527 HAS SOUPS 2237 WITH SCORE 2253.162
AT ITER 2891 NEW BEST:: SOT 41042 SOS 16161 HAS SOPS 7720 HAS SOUS 4526 HAS SOUPS 2236 WITH SCORE 2252.161
AT ITER 2892 NEW BEST:: SOT 41006 SOS 16294 HAS SOPS 7789 HAS SOUS 4523 HAS SOUPS 2233 WITH SCORE 2249.294
AT ITER 2896 NEW BEST:: SOT 41008 SOS 16288 HAS SOPS 7791 HAS SOUS 4521 HAS SOUPS 2232 WITH SCORE 2248.288
AT ITER 2946 NEW BEST:: SOT 40981 SOS 16421 HAS SOPS 7873 HAS SOUS 4510 HAS SOUPS 2221 WITH SCORE 2237.421
AT ITER 2961 NEW BEST:: SOT 40950 SOS 16381 HAS SOPS 7853 HAS SOUS 4509 HAS SOUPS 2221 WITH SCORE 2237.381
AT ITER 2970 NEW BEST:: SOT 40977 SOS 16387 HAS SOPS 7811 HAS SOUS 4509 HAS SOUPS 2209 WITH SCORE 2225.387
AT ITER 2982 NEW BEST:: SOT 40960 SOS 16357 HAS SOPS 7783 HAS SOUS 4508 HAS SOUPS 2206 WITH SCORE 2222.357
AT ITER 3018 NEW BEST:: SOT 40943 SOS 16403 HAS SOPS 7839 HAS SOUS 4507 HAS SOUPS 2205 WITH SCORE 2221.403
AT ITER 3046 NEW BEST:: SOT 40940 SOS 16402 HAS SOPS 7836 HAS SOUS 4507 HAS SOUPS 2204 WITH SCORE 2220.402
AT ITER 3064 NEW BEST:: SOT 40942 SOS 16406 HAS SOPS 7837 HAS SOUS 4506 HAS SOUPS 2203 WITH SCORE 2219.406
AT ITER 3073 NEW BEST:: SOT 40942 SOS 16371 HAS SOPS 7795 HAS SOUS 4499 HAS SOUPS 2196 WITH SCORE 2212.371
AT ITER 3091 NEW BEST:: SOT 40930 SOS 16299 HAS SOPS 7771 HAS SOUS 4481 HAS SOUPS 2184 WITH SCORE 2200.299
AT ITER 3110 NEW BEST:: SOT 40934 SOS 16253 HAS SOPS 7767 HAS SOUS 4473 HAS SOUPS 2182 WITH SCORE 2198.253
AT ITER 3123 NEW BEST:: SOT 40868 SOS 16187 HAS SOPS 7701 HAS SOUS 4455 HAS SOUPS 2172 WITH SCORE 2188.187
AT ITER 3151 NEW BEST:: SOT 40864 SOS 16187 HAS SOPS 7684 HAS SOUS 4456 HAS SOUPS 2171 WITH SCORE 2187.187
AT ITER 3179 NEW BEST:: SOT 40864 SOS 16152 HAS SOPS 7649 HAS SOUS 4451 HAS SOUPS 2166 WITH SCORE 2182.152
AT ITER 3207 NEW BEST:: SOT 40856 SOS 16138 HAS SOPS 7643 HAS SOUS 4441 HAS SOUPS 2160 WITH SCORE 2176.138
AT ITER 3220 NEW BEST:: SOT 40769 SOS 15903 HAS SOPS 7439 HAS SOUS 4430 HAS SOUPS 2133 WITH SCORE 2148.903
AT ITER 3237 NEW BEST:: SOT 40689 SOS 15743 HAS SOPS 7314 HAS SOUS 4426 HAS SOUPS 2129 WITH SCORE 2144.743
AT ITER 3281 NEW BEST:: SOT 40689 SOS 15743 HAS SOPS 7314 HAS SOUS 4431 HAS SOUPS 2127 WITH SCORE 2142.743
AT ITER 3308 NEW BEST:: SOT 40680 SOS 15722 HAS SOPS 7308 HAS SOUS 4428 HAS SOUPS 2127 WITH SCORE 2142.722
AT ITER 3315 NEW BEST:: SOT 40660 SOS 15682 HAS SOPS 7308 HAS SOUS 4423 HAS SOUPS 2127 WITH SCORE 2142.682
AT ITER 3367 NEW BEST:: SOT 40591 SOS 15667 HAS SOPS 7262 HAS SOUS 4426 HAS SOUPS 2118 WITH SCORE 2133.667
AT ITER 3378 NEW BEST:: SOT 40589 SOS 15658 HAS SOPS 7258 HAS SOUS 4423 HAS SOUPS 2116 WITH SCORE 2131.658
AT ITER 3438 NEW BEST:: SOT 40649 SOS 15628 HAS SOPS 7350 HAS SOUS 4393 HAS SOUPS 2105 WITH SCORE 2120.628
AT ITER 3443 NEW BEST:: SOT 40612 SOS 15555 HAS SOPS 7311 HAS SOUS 4390 HAS SOUPS 2102 WITH SCORE 2117.555
AT ITER 3456 NEW BEST:: SOT 40632 SOS 15541 HAS SOPS 7317 HAS SOUS 4386 HAS SOUPS 2101 WITH SCORE 2116.541
AT ITER 3468 NEW BEST:: SOT 40645 SOS 15619 HAS SOPS 7317 HAS SOUS 4390 HAS SOUPS 2097 WITH SCORE 2112.619
AT ITER 3471 NEW BEST:: SOT 40643 SOS 15587 HAS SOPS 7299 HAS SOUS 4382 HAS SOUPS 2091 WITH SCORE 2106.587
AT ITER 3483 NEW BEST:: SOT 40651 SOS 15548 HAS SOPS 7300 HAS SOUS 4376 HAS SOUPS 2090 WITH SCORE 2105.548
AT ITER 3498 NEW BEST:: SOT 40665 SOS 15571 HAS SOPS 7298 HAS SOUS 4368 HAS SOUPS 2082 WITH SCORE 2097.571
AT ITER 3511 NEW BEST:: SOT 40655 SOS 15556 HAS SOPS 7283 HAS SOUS 4363 HAS SOUPS 2077 WITH SCORE 2092.556
AT ITER 3566 NEW BEST:: SOT 40643 SOS 15535 HAS SOPS 7277 HAS SOUS 4354 HAS SOUPS 2071 WITH SCORE 2086.535
AT ITER 3576 NEW BEST:: SOT 40650 SOS 15576 HAS SOPS 7275 HAS SOUS 4341 HAS SOUPS 2066 WITH SCORE 2081.576
AT ITER 3617 NEW BEST:: SOT 40650 SOS 15576 HAS SOPS 7275 HAS SOUS 4339 HAS SOUPS 2064 WITH SCORE 2079.576
AT ITER 3653 NEW BEST:: SOT 40652 SOS 15550 HAS SOPS 7237 HAS SOUS 4345 HAS SOUPS 2064 WITH SCORE 2079.55
AT ITER 3666 NEW BEST:: SOT 41052 SOS 16354 HAS SOPS 7340 HAS SOUS 4399 HAS SOUPS 2060 WITH SCORE 2076.354
AT ITER 3778 NEW BEST:: SOT 40986 SOS 16299 HAS SOPS 7301 HAS SOUS 4349 HAS SOUPS 2037 WITH SCORE 2053.299
AT ITER 3783 NEW BEST:: SOT 40998 SOS 16208 HAS SOPS 7198 HAS SOUS 4354 HAS SOUPS 2033 WITH SCORE 2049.208
AT ITER 3807 NEW BEST:: SOT 40943 SOS 16022 HAS SOPS 7166 HAS SOUS 4328 HAS SOUPS 2026 WITH SCORE 2042.022
AT ITER 3818 NEW BEST:: SOT 40901 SOS 15980 HAS SOPS 7124 HAS SOUS 4328 HAS SOUPS 2026 WITH SCORE 2041.98
AT ITER 3836 NEW BEST:: SOT 40901 SOS 15985 HAS SOPS 7124 HAS SOUS 4323 HAS SOUPS 2021 WITH SCORE 2036.985
AT ITER 3853 NEW BEST:: SOT 40904 SOS 15954 HAS SOPS 7093 HAS SOUS 4323 HAS SOUPS 2020 WITH SCORE 2035.954
AT ITER 3930 NEW BEST:: SOT 40798 SOS 15498 HAS SOPS 7092 HAS SOUS 4287 HAS SOUPS 2019 WITH SCORE 2034.498
AT ITER 3958 NEW BEST:: SOT 40611 SOS 15124 HAS SOPS 7092 HAS SOUS 4249 HAS SOUPS 2019 WITH SCORE 2034.124
AT ITER 3969 NEW BEST:: SOT 40574 SOS 14950 HAS SOPS 7012 HAS SOUS 4235 HAS SOUPS 2009 WITH SCORE 2023.95
AT ITER 3987 NEW BEST:: SOT 40469 SOS 14756 HAS SOPS 6920 HAS SOUS 4223 HAS SOUPS 2001 WITH SCORE 2015.756
AT ITER 3989 NEW BEST:: SOT 40469 SOS 14741 HAS SOPS 6915 HAS SOUS 4217 HAS SOUPS 1995 WITH SCORE 2009.741
AT ITER 4017 NEW BEST:: SOT 40467 SOS 14737 HAS SOPS 6911 HAS SOUS 4216 HAS SOUPS 1994 WITH SCORE 2008.737
AT ITER 4078 NEW BEST:: SOT 40448 SOS 14757 HAS SOPS 6921 HAS SOUS 4205 HAS SOUPS 1986 WITH SCORE 2000.757
AT ITER 4112 NEW BEST:: SOT 40325 SOS 14575 HAS SOPS 6771 HAS SOUS 4195 HAS SOUPS 1966 WITH SCORE 1980.575
AT ITER 4228 NEW BEST:: SOT 40325 SOS 14575 HAS SOPS 6771 HAS SOUS 4177 HAS SOUPS 1956 WITH SCORE 1970.575
AT ITER 4349 NEW BEST:: SOT 40321 SOS 14567 HAS SOPS 6783 HAS SOUS 4168 HAS SOUPS 1956 WITH SCORE 1970.567
AT ITER 4447 NEW BEST:: SOT 40317 SOS 14577 HAS SOPS 6790 HAS SOUS 4167 HAS SOUPS 1950 WITH SCORE 1964.577
AT ITER 4457 NEW BEST:: SOT 40312 SOS 14568 HAS SOPS 6786 HAS SOUS 4164 HAS SOUPS 1948 WITH SCORE 1962.568
AT ITER 4501 NEW BEST:: SOT 40305 SOS 14561 HAS SOPS 6782 HAS SOUS 4164 HAS SOUPS 1948 WITH SCORE 1962.561
AT ITER 4544 NEW BEST:: SOT 40311 SOS 14559 HAS SOPS 6786 HAS SOUS 4162 HAS SOUPS 1948 WITH SCORE 1962.559
AT ITER 4599 NEW BEST:: SOT 40311 SOS 14557 HAS SOPS 6786 HAS SOUS 4156 HAS SOUPS 1944 WITH SCORE 1958.557
AT ITER 4620 NEW BEST:: SOT 40273 SOS 14478 HAS SOPS 6737 HAS SOUS 4154 HAS SOUPS 1943 WITH SCORE 1957.478
AT ITER 4632 NEW BEST:: SOT 40202 SOS 14406 HAS SOPS 6705 HAS SOUS 4134 HAS SOUPS 1931 WITH SCORE 1945.406
AT ITER 4643 NEW BEST:: SOT 40199 SOS 14410 HAS SOPS 6702 HAS SOUS 4133 HAS SOUPS 1929 WITH SCORE 1943.41
AT ITER 4659 NEW BEST:: SOT 40189 SOS 14424 HAS SOPS 6664 HAS SOUS 4128 HAS SOUPS 1918 WITH SCORE 1932.424
AT ITER 4738 NEW BEST:: SOT 40183 SOS 14410 HAS SOPS 6660 HAS SOUS 4126 HAS SOUPS 1918 WITH SCORE 1932.41
AT ITER 4759 NEW BEST:: SOT 40204 SOS 14214 HAS SOPS 6488 HAS SOUS 4118 HAS SOUPS 1910 WITH SCORE 1924.214
AT ITER 4839 NEW BEST:: SOT 40201 SOS 14207 HAS SOPS 6486 HAS SOUS 4117 HAS SOUPS 1910 WITH SCORE 1924.207
AT ITER 4847 NEW BEST:: SOT 40193 SOS 14199 HAS SOPS 6476 HAS SOUS 4117 HAS SOUPS 1906 WITH SCORE 1920.199
AT ITER 4877 NEW BEST:: SOT 40193 SOS 14199 HAS SOPS 6476 HAS SOUS 4115 HAS SOUPS 1904 WITH SCORE 1918.199
AT ITER 4906 NEW BEST:: SOT 40191 SOS 14200 HAS SOPS 6417 HAS SOUS 4119 HAS SOUPS 1901 WITH SCORE 1915.2
AT ITER 5006 NEW BEST:: SOT 40213 SOS 14243 HAS SOPS 6309 HAS SOUS 4148 HAS SOUPS 1897 WITH SCORE 1911.243
AT ITER 5012 NEW BEST:: SOT 40213 SOS 14255 HAS SOPS 6285 HAS SOUS 4153 HAS SOUPS 1890 WITH SCORE 1904.255
AT ITER 5036 NEW BEST:: SOT 40200 SOS 14242 HAS SOPS 6285 HAS SOUS 4153 HAS SOUPS 1890 WITH SCORE 1904.242
AT ITER 5102 NEW BEST:: SOT 40170 SOS 14212 HAS SOPS 6255 HAS SOUS 4153 HAS SOUPS 1890 WITH SCORE 1904.212
AT ITER 5108 NEW BEST:: SOT 40200 SOS 14263 HAS SOPS 6286 HAS SOUS 4130 HAS SOUPS 1882 WITH SCORE 1896.263
AT ITER 5126 NEW BEST:: SOT 40218 SOS 14273 HAS SOPS 6288 HAS SOUS 4124 HAS SOUPS 1880 WITH SCORE 1894.273
AT ITER 5139 NEW BEST:: SOT 40214 SOS 14243 HAS SOPS 6268 HAS SOUS 4114 HAS SOUPS 1872 WITH SCORE 1886.243
AT ITER 5164 NEW BEST:: SOT 40169 SOS 14158 HAS SOPS 6231 HAS SOUS 4072 HAS SOUPS 1850 WITH SCORE 1864.158
AT ITER 5165 NEW BEST:: SOT 40167 SOS 14139 HAS SOPS 6206 HAS SOUS 4073 HAS SOUPS 1848 WITH SCORE 1862.139
AT ITER 5419 NEW BEST:: SOT 40163 SOS 14141 HAS SOPS 6200 HAS SOUS 4072 HAS SOUPS 1845 WITH SCORE 1859.141
AT ITER 5446 NEW BEST:: SOT 40157 SOS 14129 HAS SOPS 6196 HAS SOUS 4072 HAS SOUPS 1845 WITH SCORE 1859.129
AT ITER 5477 NEW BEST:: SOT 40178 SOS 13934 HAS SOPS 5961 HAS SOUS 4082 HAS SOUPS 1843 WITH SCORE 1856.934
AT ITER 5551 NEW BEST:: SOT 40172 SOS 13985 HAS SOPS 5967 HAS SOUS 4087 HAS SOUPS 1839 WITH SCORE 1852.985
AT ITER 5592 NEW BEST:: SOT 40144 SOS 13914 HAS SOPS 5952 HAS SOUS 4081 HAS SOUPS 1833 WITH SCORE 1846.914
AT ITER 5631 NEW BEST:: SOT 40131 SOS 14016 HAS SOPS 5913 HAS SOUS 4082 HAS SOUPS 1817 WITH SCORE 1831.016
AT ITER 5640 NEW BEST:: SOT 40131 SOS 14013 HAS SOPS 5913 HAS SOUS 4082 HAS SOUPS 1817 WITH SCORE 1831.013
AT ITER 5643 NEW BEST:: SOT 40151 SOS 13912 HAS SOPS 5806 HAS SOUS 4090 HAS SOUPS 1813 WITH SCORE 1826.912
AT ITER 5724 NEW BEST:: SOT 40298 SOS 14544 HAS SOPS 5817 HAS SOUS 4128 HAS SOUPS 1810 WITH SCORE 1824.544
AT ITER 5734 NEW BEST:: SOT 40286 SOS 14548 HAS SOPS 5801 HAS SOUS 4129 HAS SOUPS 1809 WITH SCORE 1823.548
AT ITER 5817 NEW BEST:: SOT 40281 SOS 14539 HAS SOPS 5797 HAS SOUS 4122 HAS SOUPS 1807 WITH SCORE 1821.539
AT ITER 5846 NEW BEST:: SOT 40208 SOS 14429 HAS SOPS 5707 HAS SOUS 4110 HAS SOUPS 1793 WITH SCORE 1807.429
AT ITER 5924 NEW BEST:: SOT 40208 SOS 14326 HAS SOPS 5674 HAS SOUS 4100 HAS SOUPS 1793 WITH SCORE 1807.326
AT ITER 5947 NEW BEST:: SOT 40210 SOS 14315 HAS SOPS 5660 HAS SOUS 4098 HAS SOUPS 1791 WITH SCORE 1805.315
AT ITER 6065 NEW BEST:: SOT 40241 SOS 14370 HAS SOPS 5681 HAS SOUS 4097 HAS SOUPS 1790 WITH SCORE 1804.37
AT ITER 6083 NEW BEST:: SOT 40227 SOS 14357 HAS SOPS 5662 HAS SOUS 4094 HAS SOUPS 1787 WITH SCORE 1801.357
AT ITER 6145 NEW BEST:: SOT 40243 SOS 14380 HAS SOPS 5678 HAS SOUS 4092 HAS SOUPS 1786 WITH SCORE 1800.38
AT ITER 6322 NEW BEST:: SOT 40225 SOS 14371 HAS SOPS 5669 HAS SOUS 4080 HAS SOUPS 1778 WITH SCORE 1792.371
AT ITER 6395 NEW BEST:: SOT 40218 SOS 14364 HAS SOPS 5665 HAS SOUS 4080 HAS SOUPS 1778 WITH SCORE 1792.364
AT ITER 6406 NEW BEST:: SOT 40218 SOS 14357 HAS SOPS 5663 HAS SOUS 4079 HAS SOUPS 1778 WITH SCORE 1792.357
AT ITER 6489 NEW BEST:: SOT 40205 SOS 14339 HAS SOPS 5653 HAS SOUS 4076 HAS SOUPS 1776 WITH SCORE 1790.339
AT ITER 6513 NEW BEST:: SOT 40202 SOS 14332 HAS SOPS 5651 HAS SOUS 4075 HAS SOUPS 1776 WITH SCORE 1790.332
AT ITER 6520 NEW BEST:: SOT 40162 SOS 14232 HAS SOPS 5555 HAS SOUS 4044 HAS SOUPS 1753 WITH SCORE 1767.232
AT ITER 6526 NEW BEST:: SOT 40164 SOS 14227 HAS SOPS 5555 HAS SOUS 4043 HAS SOUPS 1753 WITH SCORE 1767.227
AT ITER 6540 NEW BEST:: SOT 40157 SOS 14136 HAS SOPS 5429 HAS SOUS 4033 HAS SOUPS 1736 WITH SCORE 1750.136
AT ITER 6567 NEW BEST:: SOT 40146 SOS 14105 HAS SOPS 5400 HAS SOUS 4020 HAS SOUPS 1723 WITH SCORE 1737.105
AT ITER 6690 NEW BEST:: SOT 40145 SOS 14097 HAS SOPS 5392 HAS SOUS 4019 HAS SOUPS 1722 WITH SCORE 1736.097
AT ITER 6703 NEW BEST:: SOT 40140 SOS 14085 HAS SOPS 5374 HAS SOUS 4017 HAS SOUPS 1719 WITH SCORE 1733.085
AT ITER 6705 NEW BEST:: SOT 40137 SOS 14009 HAS SOPS 5296 HAS SOUS 4017 HAS SOUPS 1719 WITH SCORE 1733.009
AT ITER 6796 NEW BEST:: SOT 40148 SOS 14023 HAS SOPS 5302 HAS SOUS 4015 HAS SOUPS 1717 WITH SCORE 1731.023
AT ITER 6802 NEW BEST:: SOT 40136 SOS 14011 HAS SOPS 5290 HAS SOUS 4006 HAS SOUPS 1712 WITH SCORE 1726.011
AT ITER 6812 NEW BEST:: SOT 40159 SOS 14057 HAS SOPS 5290 HAS SOUS 4051 HAS SOUPS 1706 WITH SCORE 1720.057
AT ITER 6861 NEW BEST:: SOT 40165 SOS 14045 HAS SOPS 5294 HAS SOUS 4049 HAS SOUPS 1706 WITH SCORE 1720.045
AT ITER 6888 NEW BEST:: SOT 40154 SOS 13999 HAS SOPS 5280 HAS SOUS 4052 HAS SOUPS 1701 WITH SCORE 1714.999
AT ITER 6933 NEW BEST:: SOT 40149 SOS 13992 HAS SOPS 5256 HAS SOUS 4052 HAS SOUPS 1698 WITH SCORE 1711.992
AT ITER 6945 NEW BEST:: SOT 40149 SOS 13992 HAS SOPS 5256 HAS SOUS 4049 HAS SOUPS 1696 WITH SCORE 1709.992
AT ITER 7103 NEW BEST:: SOT 40128 SOS 14004 HAS SOPS 5246 HAS SOUS 4050 HAS SOUPS 1692 WITH SCORE 1706.004
AT ITER 7163 NEW BEST:: SOT 40124 SOS 13996 HAS SOPS 5246 HAS SOUS 4049 HAS SOUPS 1692 WITH SCORE 1705.996
AT ITER 7185 NEW BEST:: SOT 40105 SOS 13936 HAS SOPS 5144 HAS SOUS 4017 HAS SOUPS 1660 WITH SCORE 1673.936
AT ITER 7218 NEW BEST:: SOT 40083 SOS 13901 HAS SOPS 5120 HAS SOUS 4007 HAS SOUPS 1650 WITH SCORE 1663.901
AT ITER 7228 NEW BEST:: SOT 40093 SOS 14338 HAS SOPS 5150 HAS SOUS 3993 HAS SOUPS 1636 WITH SCORE 1650.338
AT ITER 7405 NEW BEST:: SOT 39985 SOS 14230 HAS SOPS 5108 HAS SOUS 3992 HAS SOUPS 1635 WITH SCORE 1649.23
AT ITER 7421 NEW BEST:: SOT 39969 SOS 14195 HAS SOPS 5092 HAS SOUS 3988 HAS SOUPS 1631 WITH SCORE 1645.195
AT ITER 7694 NEW BEST:: SOT 39958 SOS 14187 HAS SOPS 5074 HAS SOUS 3982 HAS SOUPS 1621 WITH SCORE 1635.187
AT ITER 7757 NEW BEST:: SOT 39964 SOS 14200 HAS SOPS 5078 HAS SOUS 3980 HAS SOUPS 1619 WITH SCORE 1633.2
AT ITER 7783 NEW BEST:: SOT 39952 SOS 14176 HAS SOPS 5070 HAS SOUS 3980 HAS SOUPS 1619 WITH SCORE 1633.176
AT ITER 7824 NEW BEST:: SOT 39898 SOS 14062 HAS SOPS 5034 HAS SOUS 3969 HAS SOUPS 1618 WITH SCORE 1632.062
AT ITER 7851 NEW BEST:: SOT 39889 SOS 14048 HAS SOPS 5030 HAS SOUS 3969 HAS SOUPS 1618 WITH SCORE 1632.048
AT ITER 7905 NEW BEST:: SOT 39888 SOS 14051 HAS SOPS 5034 HAS SOUS 3968 HAS SOUPS 1617 WITH SCORE 1631.051
AT ITER 7980 NEW BEST:: SOT 39892 SOS 14059 HAS SOPS 5042 HAS SOUS 3964 HAS SOUPS 1613 WITH SCORE 1627.059
AT ITER 7986 NEW BEST:: SOT 39890 SOS 14051 HAS SOPS 5038 HAS SOUS 3964 HAS SOUPS 1613 WITH SCORE 1627.051
AT ITER 8015 NEW BEST:: SOT 39892 SOS 14022 HAS SOPS 5018 HAS SOUS 3962 HAS SOUPS 1611 WITH SCORE 1625.022
AT ITER 8097 NEW BEST:: SOT 39876 SOS 13997 HAS SOPS 5014 HAS SOUS 3950 HAS SOUPS 1609 WITH SCORE 1622.997
AT ITER 8212 NEW BEST:: SOT 39873 SOS 13989 HAS SOPS 5014 HAS SOUS 3948 HAS SOUPS 1609 WITH SCORE 1622.989
AT ITER 8321 NEW BEST:: SOT 39873 SOS 13990 HAS SOPS 5014 HAS SOUS 3947 HAS SOUPS 1608 WITH SCORE 1621.99
AT ITER 8442 NEW BEST:: SOT 39838 SOS 13996 HAS SOPS 5006 HAS SOUS 3936 HAS SOUPS 1601 WITH SCORE 1614.996
AT ITER 8612 NEW BEST:: SOT 39839 SOS 13990 HAS SOPS 5002 HAS SOUS 3931 HAS SOUPS 1598 WITH SCORE 1611.99
AT ITER 8757 NEW BEST:: SOT 39806 SOS 13947 HAS SOPS 4983 HAS SOUS 3928 HAS SOUPS 1598 WITH SCORE 1611.947
AT ITER 8833 NEW BEST:: SOT 39812 SOS 13951 HAS SOPS 4987 HAS SOUS 3922 HAS SOUPS 1592 WITH SCORE 1605.951
AT ITER 8879 NEW BEST:: SOT 39816 SOS 13934 HAS SOPS 4950 HAS SOUS 3926 HAS SOUPS 1591 WITH SCORE 1604.934
AT ITER 9076 NEW BEST:: SOT 39775 SOS 13937 HAS SOPS 4928 HAS SOUS 3910 HAS SOUPS 1575 WITH SCORE 1588.937
AT ITER 9154 NEW BEST:: SOT 39781 SOS 13944 HAS SOPS 4932 HAS SOUS 3906 HAS SOUPS 1572 WITH SCORE 1585.944
AT ITER 9181 NEW BEST:: SOT 39777 SOS 13936 HAS SOPS 4932 HAS SOUS 3905 HAS SOUPS 1572 WITH SCORE 1585.936
AT ITER 9198 NEW BEST:: SOT 39777 SOS 13935 HAS SOPS 4932 HAS SOUS 3905 HAS SOUPS 1572 WITH SCORE 1585.935
AT ITER 9236 NEW BEST:: SOT 39777 SOS 13928 HAS SOPS 4924 HAS SOUS 3903 HAS SOUPS 1570 WITH SCORE 1583.928
AT ITER 9237 NEW BEST:: SOT 39775 SOS 13932 HAS SOPS 4924 HAS SOUS 3902 HAS SOUPS 1569 WITH SCORE 1582.932
AT ITER 9265 NEW BEST:: SOT 39781 SOS 13925 HAS SOPS 4897 HAS SOUS 3898 HAS SOUPS 1565 WITH SCORE 1578.925
AT ITER 9307 NEW BEST:: SOT 39796 SOS 13940 HAS SOPS 4900 HAS SOUS 3895 HAS SOUPS 1562 WITH SCORE 1575.94
AT ITER 9532 NEW BEST:: SOT 39794 SOS 13924 HAS SOPS 4869 HAS SOUS 3890 HAS SOUPS 1554 WITH SCORE 1567.924
AT ITER 9794 NEW BEST:: SOT 39791 SOS 13908 HAS SOPS 4853 HAS SOUS 3886 HAS SOUPS 1550 WITH SCORE 1563.908
AT ITER 9910 NEW BEST:: SOT 39783 SOS 13913 HAS SOPS 4825 HAS SOUS 3888 HAS SOUPS 1546 WITH SCORE 1559.913
AT ITER 9929 NEW BEST:: SOT 39792 SOS 13934 HAS SOPS 4831 HAS SOUS 3882 HAS SOUPS 1541 WITH SCORE 1554.934
STATE_SPACE STATES 24010001 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 52 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 1664236001 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589121571786

--------------------
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="DLCround-PT-03a"
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 DLCround-PT-03a, 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-158902542200456"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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