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.r063-tajo-158922807900736.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 DiscoveryGPU-PT-15a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922807900736
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 224K
-rw-r--r-- 1 mcc users 3.2K Mar 31 07:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 31 07:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 30 00:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 30 00:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Apr 8 14:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Mar 28 14:44 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 28 14:44 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 27 07:45 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 27 07:45 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:50 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:50 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 53K 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 1589365086242

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

Filename model.pnml
Petri model created: 153 places, 211 transitions, 678 arcs.
AT ITER 0 NEW BEST:: SOT 23730 SOS 11796 HAS SOPS 11796 HAS SOUS 11715 HAS SOUPS 11715 WITH SCORE 11726.796
AT ITER 4 NEW BEST:: SOT 23065 SOS 11146 HAS SOPS 11146 HAS SOUS 11065 HAS SOUPS 11065 WITH SCORE 11076.146
AT ITER 15 NEW BEST:: SOT 23150 SOS 11146 HAS SOPS 11146 HAS SOUS 10980 HAS SOUPS 10980 WITH SCORE 10991.146
AT ITER 23 NEW BEST:: SOT 23150 SOS 11142 HAS SOPS 11142 HAS SOUS 10976 HAS SOUPS 10976 WITH SCORE 10987.142
AT ITER 24 NEW BEST:: SOT 23150 SOS 11142 HAS SOPS 11142 HAS SOUS 10925 HAS SOUPS 10925 WITH SCORE 10936.142
AT ITER 25 NEW BEST:: SOT 23150 SOS 11093 HAS SOPS 11093 HAS SOUS 10876 HAS SOUPS 10876 WITH SCORE 10887.093
AT ITER 28 NEW BEST:: SOT 22302 SOS 10335 HAS SOPS 10245 HAS SOUS 10048 HAS SOUPS 10020 WITH SCORE 10030.335
AT ITER 34 NEW BEST:: SOT 22345 SOS 10301 HAS SOPS 10211 HAS SOUS 10014 HAS SOUPS 9986 WITH SCORE 9996.301
AT ITER 35 NEW BEST:: SOT 22397 SOS 10343 HAS SOPS 10252 HAS SOUS 10005 HAS SOUPS 9976 WITH SCORE 9986.343
AT ITER 38 NEW BEST:: SOT 22397 SOS 10348 HAS SOPS 10257 HAS SOUS 9990 HAS SOUPS 9961 WITH SCORE 9971.348
AT ITER 66 NEW BEST:: SOT 22396 SOS 10367 HAS SOPS 10276 HAS SOUS 9989 HAS SOUPS 9960 WITH SCORE 9970.367
AT ITER 67 NEW BEST:: SOT 22396 SOS 10318 HAS SOPS 10227 HAS SOUS 9940 HAS SOUPS 9911 WITH SCORE 9921.318
AT ITER 68 NEW BEST:: SOT 22381 SOS 10273 HAS SOPS 10182 HAS SOUS 9910 HAS SOUPS 9881 WITH SCORE 9891.273
AT ITER 96 NEW BEST:: SOT 22381 SOS 10273 HAS SOPS 10182 HAS SOUS 9909 HAS SOUPS 9880 WITH SCORE 9890.273
AT ITER 101 NEW BEST:: SOT 22473 SOS 10365 HAS SOPS 10248 HAS SOUS 9908 HAS SOUPS 9879 WITH SCORE 9889.365
AT ITER 106 NEW BEST:: SOT 22481 SOS 10349 HAS SOPS 10232 HAS SOUS 9885 HAS SOUPS 9856 WITH SCORE 9866.349
AT ITER 109 NEW BEST:: SOT 22491 SOS 10357 HAS SOPS 10240 HAS SOUS 9884 HAS SOUPS 9855 WITH SCORE 9865.357
AT ITER 114 NEW BEST:: SOT 22550 SOS 10323 HAS SOPS 10206 HAS SOUS 9850 HAS SOUPS 9821 WITH SCORE 9831.323
AT ITER 118 NEW BEST:: SOT 22550 SOS 10255 HAS SOPS 10138 HAS SOUS 9782 HAS SOUPS 9753 WITH SCORE 9763.255
AT ITER 122 NEW BEST:: SOT 22477 SOS 10057 HAS SOPS 9919 HAS SOUS 9615 HAS SOUPS 9586 WITH SCORE 9596.057
AT ITER 129 NEW BEST:: SOT 22470 SOS 10050 HAS SOPS 9905 HAS SOUS 9606 HAS SOUPS 9572 WITH SCORE 9582.05
AT ITER 131 NEW BEST:: SOT 22414 SOS 10031 HAS SOPS 9886 HAS SOUS 9587 HAS SOUPS 9553 WITH SCORE 9563.031
AT ITER 132 NEW BEST:: SOT 22413 SOS 10023 HAS SOPS 9878 HAS SOUS 9584 HAS SOUPS 9550 WITH SCORE 9560.023
AT ITER 143 NEW BEST:: SOT 22413 SOS 10018 HAS SOPS 9873 HAS SOUS 9579 HAS SOUPS 9545 WITH SCORE 9555.018
AT ITER 148 NEW BEST:: SOT 22440 SOS 9952 HAS SOPS 9807 HAS SOUS 9506 HAS SOUPS 9472 WITH SCORE 9481.952
AT ITER 149 NEW BEST:: SOT 22440 SOS 9990 HAS SOPS 9845 HAS SOUS 9496 HAS SOUPS 9462 WITH SCORE 9471.99
AT ITER 150 NEW BEST:: SOT 22440 SOS 9988 HAS SOPS 9843 HAS SOUS 9494 HAS SOUPS 9460 WITH SCORE 9469.988
AT ITER 154 NEW BEST:: SOT 21704 SOS 9264 HAS SOPS 9107 HAS SOUS 8780 HAS SOUPS 8735 WITH SCORE 8744.264
AT ITER 157 NEW BEST:: SOT 21706 SOS 9255 HAS SOPS 9098 HAS SOUS 8771 HAS SOUPS 8726 WITH SCORE 8735.255
AT ITER 159 NEW BEST:: SOT 21706 SOS 9253 HAS SOPS 9096 HAS SOUS 8769 HAS SOUPS 8724 WITH SCORE 8733.253
AT ITER 162 NEW BEST:: SOT 21708 SOS 9110 HAS SOPS 8916 HAS SOUS 8648 HAS SOUPS 8593 WITH SCORE 8602.11
AT ITER 164 NEW BEST:: SOT 21812 SOS 9167 HAS SOPS 8973 HAS SOUS 8620 HAS SOUPS 8565 WITH SCORE 8574.167
AT ITER 172 NEW BEST:: SOT 21811 SOS 9168 HAS SOPS 8970 HAS SOUS 8618 HAS SOUPS 8563 WITH SCORE 8572.168
AT ITER 183 NEW BEST:: SOT 19065 SOS 8144 HAS SOPS 6245 HAS SOUS 6045 HAS SOUPS 5918 WITH SCORE 5926.144
AT ITER 184 NEW BEST:: SOT 19035 SOS 8075 HAS SOPS 6185 HAS SOUS 6024 HAS SOUPS 5897 WITH SCORE 5905.075
AT ITER 185 NEW BEST:: SOT 19035 SOS 8087 HAS SOPS 6185 HAS SOUS 6012 HAS SOUPS 5885 WITH SCORE 5893.087
AT ITER 190 NEW BEST:: SOT 19029 SOS 8081 HAS SOPS 6156 HAS SOUS 5997 HAS SOUPS 5856 WITH SCORE 5864.081
AT ITER 194 NEW BEST:: SOT 19048 SOS 8062 HAS SOPS 6118 HAS SOUS 5997 HAS SOUPS 5856 WITH SCORE 5864.062
AT ITER 230 NEW BEST:: SOT 19126 SOS 8139 HAS SOPS 6114 HAS SOUS 5993 HAS SOUPS 5852 WITH SCORE 5860.139
AT ITER 235 NEW BEST:: SOT 19046 SOS 8071 HAS SOPS 5954 HAS SOUS 5833 HAS SOUPS 5692 WITH SCORE 5700.071
AT ITER 236 NEW BEST:: SOT 19043 SOS 8058 HAS SOPS 5928 HAS SOUS 5813 HAS SOUPS 5666 WITH SCORE 5674.058
AT ITER 238 NEW BEST:: SOT 19042 SOS 8017 HAS SOPS 5884 HAS SOUS 5769 HAS SOUPS 5622 WITH SCORE 5630.017
AT ITER 244 NEW BEST:: SOT 18977 SOS 7952 HAS SOPS 5790 HAS SOUS 5675 HAS SOUPS 5528 WITH SCORE 5535.952
AT ITER 254 NEW BEST:: SOT 18938 SOS 7873 HAS SOPS 5687 HAS SOUS 5596 HAS SOUPS 5449 WITH SCORE 5456.873
AT ITER 269 NEW BEST:: SOT 18937 SOS 7874 HAS SOPS 5684 HAS SOUS 5591 HAS SOUPS 5444 WITH SCORE 5451.874
AT ITER 275 NEW BEST:: SOT 19014 SOS 7869 HAS SOPS 5674 HAS SOUS 5581 HAS SOUPS 5434 WITH SCORE 5441.869
AT ITER 296 NEW BEST:: SOT 19029 SOS 7898 HAS SOPS 5703 HAS SOUS 5580 HAS SOUPS 5433 WITH SCORE 5440.898
AT ITER 300 NEW BEST:: SOT 19052 SOS 7908 HAS SOPS 5713 HAS SOUS 5570 HAS SOUPS 5423 WITH SCORE 5430.908
AT ITER 323 NEW BEST:: SOT 19041 SOS 7875 HAS SOPS 5680 HAS SOUS 5548 HAS SOUPS 5401 WITH SCORE 5408.875
AT ITER 326 NEW BEST:: SOT 19038 SOS 7885 HAS SOPS 5666 HAS SOUS 5528 HAS SOUPS 5381 WITH SCORE 5388.885
AT ITER 331 NEW BEST:: SOT 19038 SOS 7853 HAS SOPS 5634 HAS SOUS 5528 HAS SOUPS 5381 WITH SCORE 5388.853
AT ITER 341 NEW BEST:: SOT 18527 SOS 10000 HAS SOPS 5090 HAS SOUS 5069 HAS SOUPS 4880 WITH SCORE 4890.0
AT ITER 352 NEW BEST:: SOT 18549 SOS 9940 HAS SOPS 5005 HAS SOUS 4984 HAS SOUPS 4795 WITH SCORE 4804.94
AT ITER 353 NEW BEST:: SOT 18548 SOS 9945 HAS SOPS 5003 HAS SOUS 4979 HAS SOUPS 4790 WITH SCORE 4799.945
AT ITER 356 NEW BEST:: SOT 18536 SOS 9921 HAS SOPS 4967 HAS SOUS 4943 HAS SOUPS 4754 WITH SCORE 4763.921
AT ITER 384 NEW BEST:: SOT 17910 SOS 9842 HAS SOPS 4340 HAS SOUS 4445 HAS SOUPS 4223 WITH SCORE 4232.842
AT ITER 394 NEW BEST:: SOT 17872 SOS 9804 HAS SOPS 4264 HAS SOUS 4369 HAS SOUPS 4147 WITH SCORE 4156.804
AT ITER 402 NEW BEST:: SOT 17853 SOS 9806 HAS SOPS 4250 HAS SOUS 4355 HAS SOUPS 4133 WITH SCORE 4142.806
AT ITER 413 NEW BEST:: SOT 17843 SOS 9796 HAS SOPS 4240 HAS SOUS 4345 HAS SOUPS 4123 WITH SCORE 4132.796
AT ITER 420 NEW BEST:: SOT 17842 SOS 9794 HAS SOPS 4237 HAS SOUS 4342 HAS SOUPS 4120 WITH SCORE 4129.794
AT ITER 425 NEW BEST:: SOT 17841 SOS 9793 HAS SOPS 4207 HAS SOUS 4312 HAS SOUPS 4090 WITH SCORE 4099.793
AT ITER 427 NEW BEST:: SOT 17837 SOS 9800 HAS SOPS 4199 HAS SOUS 4304 HAS SOUPS 4082 WITH SCORE 4091.8
AT ITER 463 NEW BEST:: SOT 17837 SOS 9799 HAS SOPS 4198 HAS SOUS 4303 HAS SOUPS 4081 WITH SCORE 4090.799
AT ITER 504 NEW BEST:: SOT 17845 SOS 9836 HAS SOPS 4214 HAS SOUS 4290 HAS SOUPS 4068 WITH SCORE 4077.836
AT ITER 509 NEW BEST:: SOT 17833 SOS 9834 HAS SOPS 4213 HAS SOUS 4279 HAS SOUPS 4057 WITH SCORE 4066.834
AT ITER 582 NEW BEST:: SOT 17820 SOS 9836 HAS SOPS 4187 HAS SOUS 4253 HAS SOUPS 4031 WITH SCORE 4040.836
AT ITER 587 NEW BEST:: SOT 17801 SOS 9815 HAS SOPS 4138 HAS SOUS 4225 HAS SOUPS 4003 WITH SCORE 4012.815
AT ITER 590 NEW BEST:: SOT 17746 SOS 9733 HAS SOPS 4060 HAS SOUS 4179 HAS SOUPS 3957 WITH SCORE 3966.733
AT ITER 598 NEW BEST:: SOT 17736 SOS 9718 HAS SOPS 4031 HAS SOUS 4150 HAS SOUPS 3928 WITH SCORE 3937.718
AT ITER 610 NEW BEST:: SOT 17717 SOS 9680 HAS SOPS 4012 HAS SOUS 4150 HAS SOUPS 3928 WITH SCORE 3937.68
AT ITER 611 NEW BEST:: SOT 17717 SOS 9666 HAS SOPS 3998 HAS SOUS 4143 HAS SOUPS 3921 WITH SCORE 3930.666
AT ITER 623 NEW BEST:: SOT 17716 SOS 9665 HAS SOPS 3996 HAS SOUS 4141 HAS SOUPS 3919 WITH SCORE 3928.665
AT ITER 643 NEW BEST:: SOT 17715 SOS 9656 HAS SOPS 3994 HAS SOUS 4139 HAS SOUPS 3917 WITH SCORE 3926.656
AT ITER 659 NEW BEST:: SOT 17709 SOS 9656 HAS SOPS 3994 HAS SOUS 4133 HAS SOUPS 3911 WITH SCORE 3920.656
AT ITER 679 NEW BEST:: SOT 17781 SOS 9720 HAS SOPS 3990 HAS SOUS 4129 HAS SOUPS 3907 WITH SCORE 3916.72
AT ITER 683 NEW BEST:: SOT 17778 SOS 9714 HAS SOPS 3984 HAS SOUS 4123 HAS SOUPS 3901 WITH SCORE 3910.714
AT ITER 692 NEW BEST:: SOT 17752 SOS 9675 HAS SOPS 3932 HAS SOUS 4071 HAS SOUPS 3849 WITH SCORE 3858.675
AT ITER 699 NEW BEST:: SOT 17745 SOS 9668 HAS SOPS 3918 HAS SOUS 4057 HAS SOUPS 3835 WITH SCORE 3844.668
AT ITER 706 NEW BEST:: SOT 17726 SOS 9649 HAS SOPS 3901 HAS SOUS 4040 HAS SOUPS 3818 WITH SCORE 3827.649
AT ITER 709 NEW BEST:: SOT 17712 SOS 9657 HAS SOPS 3884 HAS SOUS 4027 HAS SOUPS 3804 WITH SCORE 3813.657
AT ITER 719 NEW BEST:: SOT 17710 SOS 9653 HAS SOPS 3876 HAS SOUS 4019 HAS SOUPS 3796 WITH SCORE 3805.653
AT ITER 729 NEW BEST:: SOT 17710 SOS 9653 HAS SOPS 3875 HAS SOUS 4018 HAS SOUPS 3795 WITH SCORE 3804.653
AT ITER 733 NEW BEST:: SOT 17717 SOS 9653 HAS SOPS 3868 HAS SOUS 4011 HAS SOUPS 3788 WITH SCORE 3797.653
AT ITER 734 NEW BEST:: SOT 17707 SOS 9643 HAS SOPS 3856 HAS SOUS 3999 HAS SOUPS 3776 WITH SCORE 3785.643
AT ITER 741 NEW BEST:: SOT 17695 SOS 9646 HAS SOPS 3832 HAS SOUS 3954 HAS SOUPS 3731 WITH SCORE 3740.646
AT ITER 756 NEW BEST:: SOT 17694 SOS 9644 HAS SOPS 3830 HAS SOUS 3952 HAS SOUPS 3729 WITH SCORE 3738.644
AT ITER 762 NEW BEST:: SOT 17694 SOS 9644 HAS SOPS 3826 HAS SOUS 3948 HAS SOUPS 3725 WITH SCORE 3734.644
AT ITER 770 NEW BEST:: SOT 17438 SOS 11055 HAS SOPS 3526 HAS SOUS 3797 HAS SOUPS 3523 WITH SCORE 3534.055
AT ITER 782 NEW BEST:: SOT 17438 SOS 11022 HAS SOPS 3526 HAS SOUS 3797 HAS SOUPS 3523 WITH SCORE 3534.022
AT ITER 784 NEW BEST:: SOT 17421 SOS 11031 HAS SOPS 3518 HAS SOUS 3789 HAS SOUPS 3515 WITH SCORE 3526.031
AT ITER 792 NEW BEST:: SOT 17432 SOS 11030 HAS SOPS 3470 HAS SOUS 3741 HAS SOUPS 3467 WITH SCORE 3478.03
AT ITER 797 NEW BEST:: SOT 17420 SOS 11021 HAS SOPS 3446 HAS SOUS 3717 HAS SOUPS 3443 WITH SCORE 3454.021
AT ITER 837 NEW BEST:: SOT 17415 SOS 11011 HAS SOPS 3426 HAS SOUS 3697 HAS SOUPS 3423 WITH SCORE 3434.011
AT ITER 881 NEW BEST:: SOT 17395 SOS 10991 HAS SOPS 3396 HAS SOUS 3667 HAS SOUPS 3393 WITH SCORE 3403.991
AT ITER 885 NEW BEST:: SOT 17381 SOS 10963 HAS SOPS 3368 HAS SOUS 3639 HAS SOUPS 3365 WITH SCORE 3375.963
AT ITER 902 NEW BEST:: SOT 17371 SOS 10963 HAS SOPS 3358 HAS SOUS 3629 HAS SOUPS 3355 WITH SCORE 3365.963
AT ITER 906 NEW BEST:: SOT 17361 SOS 11073 HAS SOPS 3348 HAS SOUS 3620 HAS SOUPS 3346 WITH SCORE 3357.073
AT ITER 907 NEW BEST:: SOT 17326 SOS 11028 HAS SOPS 3278 HAS SOUS 3550 HAS SOUPS 3276 WITH SCORE 3287.028
AT ITER 953 NEW BEST:: SOT 17308 SOS 11001 HAS SOPS 3242 HAS SOUS 3514 HAS SOUPS 3240 WITH SCORE 3251.001
AT ITER 960 NEW BEST:: SOT 17289 SOS 10982 HAS SOPS 3204 HAS SOUS 3476 HAS SOUPS 3202 WITH SCORE 3212.982
AT ITER 976 NEW BEST:: SOT 17281 SOS 10966 HAS SOPS 3188 HAS SOUS 3460 HAS SOUPS 3186 WITH SCORE 3196.966
AT ITER 990 NEW BEST:: SOT 17282 SOS 10964 HAS SOPS 3182 HAS SOUS 3454 HAS SOUPS 3180 WITH SCORE 3190.964
AT ITER 992 NEW BEST:: SOT 17278 SOS 10960 HAS SOPS 3174 HAS SOUS 3446 HAS SOUPS 3172 WITH SCORE 3182.96
AT ITER 998 NEW BEST:: SOT 17264 SOS 10932 HAS SOPS 3146 HAS SOUS 3418 HAS SOUPS 3144 WITH SCORE 3154.932
AT ITER 1026 NEW BEST:: SOT 17250 SOS 10905 HAS SOPS 3091 HAS SOUS 3363 HAS SOUPS 3089 WITH SCORE 3099.905
AT ITER 1039 NEW BEST:: SOT 17253 SOS 10899 HAS SOPS 3083 HAS SOUS 3355 HAS SOUPS 3081 WITH SCORE 3091.899
AT ITER 1093 NEW BEST:: SOT 17253 SOS 10887 HAS SOPS 3059 HAS SOUS 3331 HAS SOUPS 3057 WITH SCORE 3067.887
AT ITER 1095 NEW BEST:: SOT 17258 SOS 10885 HAS SOPS 3031 HAS SOUS 3303 HAS SOUPS 3029 WITH SCORE 3039.885
AT ITER 1096 NEW BEST:: SOT 17254 SOS 10881 HAS SOPS 3023 HAS SOUS 3295 HAS SOUPS 3021 WITH SCORE 3031.881
AT ITER 1133 NEW BEST:: SOT 17252 SOS 10880 HAS SOPS 3019 HAS SOUS 3291 HAS SOUPS 3017 WITH SCORE 3027.88
AT ITER 1143 NEW BEST:: SOT 17253 SOS 10881 HAS SOPS 3015 HAS SOUS 3289 HAS SOUPS 3013 WITH SCORE 3023.881
AT ITER 1145 NEW BEST:: SOT 17243 SOS 10871 HAS SOPS 3000 HAS SOUS 3274 HAS SOUPS 2998 WITH SCORE 3008.871
AT ITER 1153 NEW BEST:: SOT 17243 SOS 10871 HAS SOPS 2997 HAS SOUS 3271 HAS SOUPS 2995 WITH SCORE 3005.871
AT ITER 1163 NEW BEST:: SOT 17243 SOS 10871 HAS SOPS 2994 HAS SOUS 3268 HAS SOUPS 2992 WITH SCORE 3002.871
AT ITER 1169 NEW BEST:: SOT 17241 SOS 10872 HAS SOPS 2990 HAS SOUS 3264 HAS SOUPS 2988 WITH SCORE 2998.872
AT ITER 1203 NEW BEST:: SOT 17244 SOS 10873 HAS SOPS 2986 HAS SOUS 3260 HAS SOUPS 2984 WITH SCORE 2994.873
AT ITER 1229 NEW BEST:: SOT 17241 SOS 10865 HAS SOPS 2980 HAS SOUS 3254 HAS SOUPS 2978 WITH SCORE 2988.865
AT ITER 1231 NEW BEST:: SOT 17241 SOS 10865 HAS SOPS 2976 HAS SOUS 3250 HAS SOUPS 2974 WITH SCORE 2984.865
AT ITER 1289 NEW BEST:: SOT 17234 SOS 10858 HAS SOPS 2962 HAS SOUS 3236 HAS SOUPS 2960 WITH SCORE 2970.858
AT ITER 1293 NEW BEST:: SOT 17221 SOS 10831 HAS SOPS 2922 HAS SOUS 3196 HAS SOUPS 2920 WITH SCORE 2930.831
AT ITER 1294 NEW BEST:: SOT 17220 SOS 10829 HAS SOPS 2920 HAS SOUS 3194 HAS SOUPS 2918 WITH SCORE 2928.829
AT ITER 1317 NEW BEST:: SOT 17161 SOS 10823 HAS SOPS 2855 HAS SOUS 3129 HAS SOUPS 2853 WITH SCORE 2863.823
AT ITER 1329 NEW BEST:: SOT 17135 SOS 10805 HAS SOPS 2824 HAS SOUS 3098 HAS SOUPS 2822 WITH SCORE 2832.805
AT ITER 1333 NEW BEST:: SOT 17127 SOS 10788 HAS SOPS 2808 HAS SOUS 3082 HAS SOUPS 2806 WITH SCORE 2816.788
AT ITER 1364 NEW BEST:: SOT 17185 SOS 10780 HAS SOPS 2782 HAS SOUS 3056 HAS SOUPS 2780 WITH SCORE 2790.78
AT ITER 1375 NEW BEST:: SOT 17205 SOS 10779 HAS SOPS 2766 HAS SOUS 3040 HAS SOUPS 2764 WITH SCORE 2774.779
AT ITER 1377 NEW BEST:: SOT 17204 SOS 10779 HAS SOPS 2765 HAS SOUS 3039 HAS SOUPS 2763 WITH SCORE 2773.779
AT ITER 1381 NEW BEST:: SOT 17202 SOS 10782 HAS SOPS 2761 HAS SOUS 3035 HAS SOUPS 2759 WITH SCORE 2769.782
AT ITER 1416 NEW BEST:: SOT 17177 SOS 10764 HAS SOPS 2737 HAS SOUS 3011 HAS SOUPS 2735 WITH SCORE 2745.764
AT ITER 1443 NEW BEST:: SOT 17175 SOS 10761 HAS SOPS 2732 HAS SOUS 3006 HAS SOUPS 2730 WITH SCORE 2740.761
AT ITER 1453 NEW BEST:: SOT 17222 SOS 10759 HAS SOPS 2728 HAS SOUS 3002 HAS SOUPS 2726 WITH SCORE 2736.759
AT ITER 1458 NEW BEST:: SOT 17222 SOS 10753 HAS SOPS 2728 HAS SOUS 3002 HAS SOUPS 2726 WITH SCORE 2736.753
AT ITER 1459 NEW BEST:: SOT 17222 SOS 10750 HAS SOPS 2728 HAS SOUS 3002 HAS SOUPS 2726 WITH SCORE 2736.75
AT ITER 1461 NEW BEST:: SOT 17222 SOS 10747 HAS SOPS 2725 HAS SOUS 2999 HAS SOUPS 2723 WITH SCORE 2733.747
AT ITER 1475 NEW BEST:: SOT 17218 SOS 10743 HAS SOPS 2721 HAS SOUS 2995 HAS SOUPS 2719 WITH SCORE 2729.743
AT ITER 1478 NEW BEST:: SOT 17232 SOS 10742 HAS SOPS 2719 HAS SOUS 2993 HAS SOUPS 2717 WITH SCORE 2727.742
AT ITER 1484 NEW BEST:: SOT 17226 SOS 10736 HAS SOPS 2707 HAS SOUS 2981 HAS SOUPS 2705 WITH SCORE 2715.736
AT ITER 1489 NEW BEST:: SOT 17225 SOS 10730 HAS SOPS 2705 HAS SOUS 2979 HAS SOUPS 2703 WITH SCORE 2713.73
AT ITER 1490 NEW BEST:: SOT 17215 SOS 10721 HAS SOPS 2700 HAS SOUS 2974 HAS SOUPS 2698 WITH SCORE 2708.721
AT ITER 1523 NEW BEST:: SOT 17245 SOS 10726 HAS SOPS 2685 HAS SOUS 2959 HAS SOUPS 2683 WITH SCORE 2693.726
AT ITER 1538 NEW BEST:: SOT 17242 SOS 10723 HAS SOPS 2679 HAS SOUS 2953 HAS SOUPS 2677 WITH SCORE 2687.723
AT ITER 1622 NEW BEST:: SOT 17286 SOS 10762 HAS SOPS 2659 HAS SOUS 2933 HAS SOUPS 2657 WITH SCORE 2667.762
AT ITER 1626 NEW BEST:: SOT 17275 SOS 10751 HAS SOPS 2637 HAS SOUS 2911 HAS SOUPS 2635 WITH SCORE 2645.751
AT ITER 1636 NEW BEST:: SOT 17275 SOS 10748 HAS SOPS 2631 HAS SOUS 2905 HAS SOUPS 2629 WITH SCORE 2639.748
AT ITER 1637 NEW BEST:: SOT 17261 SOS 10751 HAS SOPS 2620 HAS SOUS 2894 HAS SOUPS 2618 WITH SCORE 2628.751
AT ITER 1649 NEW BEST:: SOT 17259 SOS 10748 HAS SOPS 2616 HAS SOUS 2890 HAS SOUPS 2614 WITH SCORE 2624.748
AT ITER 1654 NEW BEST:: SOT 17114 SOS 10721 HAS SOPS 2562 HAS SOUS 2836 HAS SOUPS 2560 WITH SCORE 2570.721
AT ITER 1655 NEW BEST:: SOT 17114 SOS 10720 HAS SOPS 2560 HAS SOUS 2834 HAS SOUPS 2558 WITH SCORE 2568.72
AT ITER 1667 NEW BEST:: SOT 17099 SOS 10705 HAS SOPS 2541 HAS SOUS 2815 HAS SOUPS 2539 WITH SCORE 2549.705
AT ITER 1681 NEW BEST:: SOT 17095 SOS 10701 HAS SOPS 2537 HAS SOUS 2811 HAS SOUPS 2535 WITH SCORE 2545.701
AT ITER 1719 NEW BEST:: SOT 17110 SOS 10716 HAS SOPS 2507 HAS SOUS 2781 HAS SOUPS 2505 WITH SCORE 2515.716
AT ITER 1724 NEW BEST:: SOT 17106 SOS 10717 HAS SOPS 2504 HAS SOUS 2778 HAS SOUPS 2502 WITH SCORE 2512.717
AT ITER 1743 NEW BEST:: SOT 17104 SOS 10716 HAS SOPS 2504 HAS SOUS 2778 HAS SOUPS 2502 WITH SCORE 2512.716
AT ITER 1745 NEW BEST:: SOT 17102 SOS 10713 HAS SOPS 2500 HAS SOUS 2774 HAS SOUPS 2498 WITH SCORE 2508.713
AT ITER 1748 NEW BEST:: SOT 17107 SOS 10711 HAS SOPS 2491 HAS SOUS 2765 HAS SOUPS 2489 WITH SCORE 2499.711
AT ITER 1750 NEW BEST:: SOT 17105 SOS 10709 HAS SOPS 2487 HAS SOUS 2761 HAS SOUPS 2485 WITH SCORE 2495.709
AT ITER 1771 NEW BEST:: SOT 17111 SOS 10714 HAS SOPS 2484 HAS SOUS 2758 HAS SOUPS 2482 WITH SCORE 2492.714
AT ITER 1793 NEW BEST:: SOT 17107 SOS 10715 HAS SOPS 2483 HAS SOUS 2757 HAS SOUPS 2481 WITH SCORE 2491.715
AT ITER 1808 NEW BEST:: SOT 17105 SOS 10753 HAS SOPS 2479 HAS SOUS 2753 HAS SOUPS 2477 WITH SCORE 2487.753
AT ITER 1813 NEW BEST:: SOT 17074 SOS 10722 HAS SOPS 2452 HAS SOUS 2726 HAS SOUPS 2450 WITH SCORE 2460.722
AT ITER 1827 NEW BEST:: SOT 17070 SOS 10719 HAS SOPS 2447 HAS SOUS 2724 HAS SOUPS 2445 WITH SCORE 2455.719
AT ITER 1852 NEW BEST:: SOT 17066 SOS 10696 HAS SOPS 2439 HAS SOUS 2716 HAS SOUPS 2437 WITH SCORE 2447.696
AT ITER 1879 NEW BEST:: SOT 17052 SOS 10688 HAS SOPS 2426 HAS SOUS 2703 HAS SOUPS 2424 WITH SCORE 2434.688
AT ITER 1902 NEW BEST:: SOT 17048 SOS 10684 HAS SOPS 2418 HAS SOUS 2695 HAS SOUPS 2416 WITH SCORE 2426.684
AT ITER 1923 NEW BEST:: SOT 17052 SOS 10682 HAS SOPS 2416 HAS SOUS 2693 HAS SOUPS 2414 WITH SCORE 2424.682
AT ITER 1924 NEW BEST:: SOT 17051 SOS 10681 HAS SOPS 2414 HAS SOUS 2691 HAS SOUPS 2412 WITH SCORE 2422.681
AT ITER 1951 NEW BEST:: SOT 17049 SOS 10676 HAS SOPS 2410 HAS SOUS 2687 HAS SOUPS 2408 WITH SCORE 2418.676
AT ITER 1963 NEW BEST:: SOT 17047 SOS 10673 HAS SOPS 2406 HAS SOUS 2683 HAS SOUPS 2404 WITH SCORE 2414.673
AT ITER 1971 NEW BEST:: SOT 17037 SOS 10658 HAS SOPS 2386 HAS SOUS 2663 HAS SOUPS 2384 WITH SCORE 2394.658
AT ITER 2002 NEW BEST:: SOT 17031 SOS 10653 HAS SOPS 2374 HAS SOUS 2651 HAS SOUPS 2372 WITH SCORE 2382.653
AT ITER 2018 NEW BEST:: SOT 17025 SOS 10647 HAS SOPS 2362 HAS SOUS 2639 HAS SOUPS 2360 WITH SCORE 2370.647
AT ITER 2033 NEW BEST:: SOT 17021 SOS 10643 HAS SOPS 2354 HAS SOUS 2631 HAS SOUPS 2352 WITH SCORE 2362.643
AT ITER 2068 NEW BEST:: SOT 17019 SOS 10641 HAS SOPS 2353 HAS SOUS 2630 HAS SOUPS 2351 WITH SCORE 2361.641
AT ITER 2108 NEW BEST:: SOT 17019 SOS 10640 HAS SOPS 2352 HAS SOUS 2629 HAS SOUPS 2350 WITH SCORE 2360.64
AT ITER 2135 NEW BEST:: SOT 17021 SOS 10637 HAS SOPS 2351 HAS SOUS 2628 HAS SOUPS 2349 WITH SCORE 2359.637
AT ITER 2163 NEW BEST:: SOT 17021 SOS 10637 HAS SOPS 2335 HAS SOUS 2612 HAS SOUPS 2333 WITH SCORE 2343.637
AT ITER 2173 NEW BEST:: SOT 17013 SOS 10638 HAS SOPS 2328 HAS SOUS 2605 HAS SOUPS 2326 WITH SCORE 2336.638
AT ITER 2185 NEW BEST:: SOT 17015 SOS 10624 HAS SOPS 2300 HAS SOUS 2577 HAS SOUPS 2298 WITH SCORE 2308.624
AT ITER 2222 NEW BEST:: SOT 17015 SOS 10599 HAS SOPS 2300 HAS SOUS 2577 HAS SOUPS 2298 WITH SCORE 2308.599
AT ITER 2285 NEW BEST:: SOT 17009 SOS 10593 HAS SOPS 2288 HAS SOUS 2565 HAS SOUPS 2286 WITH SCORE 2296.593
AT ITER 2314 NEW BEST:: SOT 17008 SOS 10595 HAS SOPS 2286 HAS SOUS 2563 HAS SOUPS 2284 WITH SCORE 2294.595
AT ITER 2356 NEW BEST:: SOT 17016 SOS 10590 HAS SOPS 2284 HAS SOUS 2561 HAS SOUPS 2282 WITH SCORE 2292.59
AT ITER 2367 NEW BEST:: SOT 17008 SOS 10597 HAS SOPS 2268 HAS SOUS 2545 HAS SOUPS 2266 WITH SCORE 2276.597
AT ITER 2377 NEW BEST:: SOT 17004 SOS 10589 HAS SOPS 2260 HAS SOUS 2537 HAS SOUPS 2258 WITH SCORE 2268.589
AT ITER 2386 NEW BEST:: SOT 16992 SOS 10562 HAS SOPS 2218 HAS SOUS 2495 HAS SOUPS 2216 WITH SCORE 2226.562
AT ITER 2415 NEW BEST:: SOT 16992 SOS 10553 HAS SOPS 2209 HAS SOUS 2486 HAS SOUPS 2207 WITH SCORE 2217.553
AT ITER 2470 NEW BEST:: SOT 16986 SOS 10545 HAS SOPS 2197 HAS SOUS 2474 HAS SOUPS 2195 WITH SCORE 2205.545
AT ITER 2481 NEW BEST:: SOT 16984 SOS 10542 HAS SOPS 2193 HAS SOUS 2470 HAS SOUPS 2191 WITH SCORE 2201.542
AT ITER 2491 NEW BEST:: SOT 16984 SOS 10536 HAS SOPS 2181 HAS SOUS 2458 HAS SOUPS 2179 WITH SCORE 2189.536
AT ITER 2492 NEW BEST:: SOT 16982 SOS 10533 HAS SOPS 2177 HAS SOUS 2454 HAS SOUPS 2175 WITH SCORE 2185.533
AT ITER 2518 NEW BEST:: SOT 16982 SOS 10533 HAS SOPS 2176 HAS SOUS 2453 HAS SOUPS 2174 WITH SCORE 2184.533
AT ITER 2524 NEW BEST:: SOT 16976 SOS 10535 HAS SOPS 2172 HAS SOUS 2449 HAS SOUPS 2170 WITH SCORE 2180.535
AT ITER 2531 NEW BEST:: SOT 16977 SOS 10536 HAS SOPS 2171 HAS SOUS 2448 HAS SOUPS 2169 WITH SCORE 2179.536
AT ITER 2544 NEW BEST:: SOT 16964 SOS 10523 HAS SOPS 2171 HAS SOUS 2448 HAS SOUPS 2169 WITH SCORE 2179.523
AT ITER 2599 NEW BEST:: SOT 16960 SOS 10519 HAS SOPS 2163 HAS SOUS 2440 HAS SOUPS 2161 WITH SCORE 2171.519
AT ITER 2617 NEW BEST:: SOT 16957 SOS 10516 HAS SOPS 2157 HAS SOUS 2434 HAS SOUPS 2155 WITH SCORE 2165.516
AT ITER 2652 NEW BEST:: SOT 16953 SOS 10510 HAS SOPS 2149 HAS SOUS 2426 HAS SOUPS 2147 WITH SCORE 2157.51
AT ITER 2698 NEW BEST:: SOT 16930 SOS 10508 HAS SOPS 2147 HAS SOUS 2424 HAS SOUPS 2145 WITH SCORE 2155.508
AT ITER 2815 NEW BEST:: SOT 16924 SOS 10671 HAS SOPS 2139 HAS SOUS 2418 HAS SOUPS 2137 WITH SCORE 2147.671
AT ITER 2830 NEW BEST:: SOT 16914 SOS 10656 HAS SOPS 2119 HAS SOUS 2398 HAS SOUPS 2117 WITH SCORE 2127.656
AT ITER 2846 NEW BEST:: SOT 16913 SOS 10652 HAS SOPS 2117 HAS SOUS 2396 HAS SOUPS 2115 WITH SCORE 2125.652
AT ITER 2913 NEW BEST:: SOT 16903 SOS 10649 HAS SOPS 2113 HAS SOUS 2392 HAS SOUPS 2111 WITH SCORE 2121.649
AT ITER 2976 NEW BEST:: SOT 16897 SOS 10640 HAS SOPS 2101 HAS SOUS 2380 HAS SOUPS 2099 WITH SCORE 2109.64
AT ITER 3022 NEW BEST:: SOT 16895 SOS 10638 HAS SOPS 2098 HAS SOUS 2377 HAS SOUPS 2096 WITH SCORE 2106.638
AT ITER 3077 NEW BEST:: SOT 16887 SOS 10647 HAS SOPS 2082 HAS SOUS 2361 HAS SOUPS 2080 WITH SCORE 2090.647
AT ITER 3117 NEW BEST:: SOT 16884 SOS 10645 HAS SOPS 2076 HAS SOUS 2355 HAS SOUPS 2074 WITH SCORE 2084.645
AT ITER 3126 NEW BEST:: SOT 16882 SOS 10642 HAS SOPS 2072 HAS SOUS 2351 HAS SOUPS 2070 WITH SCORE 2080.642
AT ITER 3152 NEW BEST:: SOT 16883 SOS 10642 HAS SOPS 2071 HAS SOUS 2350 HAS SOUPS 2069 WITH SCORE 2079.642
AT ITER 3180 NEW BEST:: SOT 16878 SOS 10635 HAS SOPS 2061 HAS SOUS 2340 HAS SOUPS 2059 WITH SCORE 2069.635
AT ITER 3223 NEW BEST:: SOT 16883 SOS 10628 HAS SOPS 2047 HAS SOUS 2326 HAS SOUPS 2045 WITH SCORE 2055.628
AT ITER 3253 NEW BEST:: SOT 16884 SOS 10628 HAS SOPS 2043 HAS SOUS 2322 HAS SOUPS 2041 WITH SCORE 2051.628
AT ITER 3268 NEW BEST:: SOT 16879 SOS 10621 HAS SOPS 2033 HAS SOUS 2312 HAS SOUPS 2031 WITH SCORE 2041.621
AT ITER 3289 NEW BEST:: SOT 16872 SOS 10617 HAS SOPS 2019 HAS SOUS 2298 HAS SOUPS 2017 WITH SCORE 2027.617
AT ITER 3314 NEW BEST:: SOT 16870 SOS 10614 HAS SOPS 2015 HAS SOUS 2294 HAS SOUPS 2013 WITH SCORE 2023.614
AT ITER 3379 NEW BEST:: SOT 16868 SOS 10612 HAS SOPS 2011 HAS SOUS 2290 HAS SOUPS 2009 WITH SCORE 2019.612
AT ITER 3445 NEW BEST:: SOT 16854 SOS 10597 HAS SOPS 1982 HAS SOUS 2261 HAS SOUPS 1980 WITH SCORE 1990.597
AT ITER 3462 NEW BEST:: SOT 16858 SOS 10598 HAS SOPS 1980 HAS SOUS 2259 HAS SOUPS 1978 WITH SCORE 1988.598
AT ITER 3487 NEW BEST:: SOT 16859 SOS 10591 HAS SOPS 1958 HAS SOUS 2237 HAS SOUPS 1956 WITH SCORE 1966.591
AT ITER 3595 NEW BEST:: SOT 16866 SOS 10892 HAS SOPS 1956 HAS SOUS 2243 HAS SOUPS 1955 WITH SCORE 1965.892
AT ITER 3653 NEW BEST:: SOT 16866 SOS 10891 HAS SOPS 1956 HAS SOUS 2243 HAS SOUPS 1955 WITH SCORE 1965.891
AT ITER 3708 NEW BEST:: SOT 16862 SOS 10889 HAS SOPS 1952 HAS SOUS 2239 HAS SOUPS 1951 WITH SCORE 1961.889
AT ITER 3713 NEW BEST:: SOT 16862 SOS 10889 HAS SOPS 1950 HAS SOUS 2237 HAS SOUPS 1949 WITH SCORE 1959.889
AT ITER 3803 NEW BEST:: SOT 16845 SOS 10872 HAS SOPS 1916 HAS SOUS 2203 HAS SOUPS 1915 WITH SCORE 1925.872
AT ITER 3811 NEW BEST:: SOT 16845 SOS 10868 HAS SOPS 1916 HAS SOUS 2203 HAS SOUPS 1915 WITH SCORE 1925.868
AT ITER 3861 NEW BEST:: SOT 16846 SOS 10865 HAS SOPS 1914 HAS SOUS 2201 HAS SOUPS 1913 WITH SCORE 1923.865
AT ITER 3877 NEW BEST:: SOT 16834 SOS 10854 HAS SOPS 1890 HAS SOUS 2177 HAS SOUPS 1889 WITH SCORE 1899.854
AT ITER 3904 NEW BEST:: SOT 16828 SOS 10830 HAS SOPS 1878 HAS SOUS 2165 HAS SOUPS 1877 WITH SCORE 1887.83
AT ITER 3907 NEW BEST:: SOT 16826 SOS 10827 HAS SOPS 1874 HAS SOUS 2161 HAS SOUPS 1873 WITH SCORE 1883.827
AT ITER 3946 NEW BEST:: SOT 16824 SOS 10823 HAS SOPS 1870 HAS SOUS 2157 HAS SOUPS 1869 WITH SCORE 1879.823
AT ITER 4038 NEW BEST:: SOT 16823 SOS 10822 HAS SOPS 1868 HAS SOUS 2155 HAS SOUPS 1867 WITH SCORE 1877.822
AT ITER 4070 NEW BEST:: SOT 16824 SOS 10823 HAS SOPS 1857 HAS SOUS 2144 HAS SOUPS 1856 WITH SCORE 1866.823
AT ITER 4120 NEW BEST:: SOT 16818 SOS 10817 HAS SOPS 1849 HAS SOUS 2136 HAS SOUPS 1848 WITH SCORE 1858.817
AT ITER 4162 NEW BEST:: SOT 16817 SOS 10815 HAS SOPS 1847 HAS SOUS 2134 HAS SOUPS 1846 WITH SCORE 1856.815
AT ITER 4202 NEW BEST:: SOT 16803 SOS 10811 HAS SOPS 1839 HAS SOUS 2126 HAS SOUPS 1838 WITH SCORE 1848.811
AT ITER 4218 NEW BEST:: SOT 16807 SOS 10804 HAS SOPS 1821 HAS SOUS 2108 HAS SOUPS 1820 WITH SCORE 1830.804
AT ITER 4334 NEW BEST:: SOT 16806 SOS 10804 HAS SOPS 1819 HAS SOUS 2106 HAS SOUPS 1818 WITH SCORE 1828.804
AT ITER 4351 NEW BEST:: SOT 16804 SOS 10802 HAS SOPS 1815 HAS SOUS 2102 HAS SOUPS 1814 WITH SCORE 1824.802
AT ITER 4404 NEW BEST:: SOT 16802 SOS 10798 HAS SOPS 1809 HAS SOUS 2096 HAS SOUPS 1808 WITH SCORE 1818.798
AT ITER 4417 NEW BEST:: SOT 16799 SOS 10796 HAS SOPS 1803 HAS SOUS 2090 HAS SOUPS 1802 WITH SCORE 1812.796
AT ITER 4478 NEW BEST:: SOT 16779 SOS 10786 HAS SOPS 1783 HAS SOUS 2070 HAS SOUPS 1782 WITH SCORE 1792.786
AT ITER 4650 NEW BEST:: SOT 16778 SOS 10783 HAS SOPS 1781 HAS SOUS 2068 HAS SOUPS 1780 WITH SCORE 1790.783
AT ITER 4720 NEW BEST:: SOT 16776 SOS 10783 HAS SOPS 1777 HAS SOUS 2064 HAS SOUPS 1776 WITH SCORE 1786.783
AT ITER 4734 NEW BEST:: SOT 16793 SOS 10786 HAS SOPS 1769 HAS SOUS 2056 HAS SOUPS 1768 WITH SCORE 1778.786
AT ITER 4738 NEW BEST:: SOT 16791 SOS 10783 HAS SOPS 1765 HAS SOUS 2052 HAS SOUPS 1764 WITH SCORE 1774.783
AT ITER 4805 NEW BEST:: SOT 16790 SOS 10782 HAS SOPS 1763 HAS SOUS 2050 HAS SOUPS 1762 WITH SCORE 1772.782
AT ITER 4843 NEW BEST:: SOT 16790 SOS 10779 HAS SOPS 1759 HAS SOUS 2046 HAS SOUPS 1758 WITH SCORE 1768.779
AT ITER 4995 NEW BEST:: SOT 16790 SOS 10778 HAS SOPS 1755 HAS SOUS 2042 HAS SOUPS 1754 WITH SCORE 1764.778
AT ITER 5057 NEW BEST:: SOT 16791 SOS 10771 HAS SOPS 1749 HAS SOUS 2036 HAS SOUPS 1748 WITH SCORE 1758.771
AT ITER 5079 NEW BEST:: SOT 16788 SOS 10771 HAS SOPS 1746 HAS SOUS 2033 HAS SOUPS 1745 WITH SCORE 1755.771
AT ITER 5111 NEW BEST:: SOT 16779 SOS 10770 HAS SOPS 1743 HAS SOUS 2030 HAS SOUPS 1742 WITH SCORE 1752.77
AT ITER 5120 NEW BEST:: SOT 16778 SOS 10769 HAS SOPS 1741 HAS SOUS 2028 HAS SOUPS 1740 WITH SCORE 1750.769
AT ITER 5137 NEW BEST:: SOT 16777 SOS 10768 HAS SOPS 1739 HAS SOUS 2026 HAS SOUPS 1738 WITH SCORE 1748.768
AT ITER 5150 NEW BEST:: SOT 16767 SOS 10464 HAS SOPS 1738 HAS SOUS 2017 HAS SOUPS 1736 WITH SCORE 1746.464
AT ITER 5168 NEW BEST:: SOT 16767 SOS 10464 HAS SOPS 1737 HAS SOUS 2016 HAS SOUPS 1735 WITH SCORE 1745.464
AT ITER 5274 NEW BEST:: SOT 16771 SOS 10458 HAS SOPS 1725 HAS SOUS 2004 HAS SOUPS 1723 WITH SCORE 1733.458
AT ITER 5316 NEW BEST:: SOT 16771 SOS 10455 HAS SOPS 1725 HAS SOUS 2004 HAS SOUPS 1723 WITH SCORE 1733.455
AT ITER 5323 NEW BEST:: SOT 16784 SOS 10454 HAS SOPS 1723 HAS SOUS 2002 HAS SOUPS 1721 WITH SCORE 1731.454
AT ITER 5335 NEW BEST:: SOT 16768 SOS 10440 HAS SOPS 1701 HAS SOUS 1980 HAS SOUPS 1699 WITH SCORE 1709.44
AT ITER 5354 NEW BEST:: SOT 16766 SOS 10454 HAS SOPS 1697 HAS SOUS 1976 HAS SOUPS 1695 WITH SCORE 1705.454
AT ITER 5454 NEW BEST:: SOT 16762 SOS 10450 HAS SOPS 1689 HAS SOUS 1968 HAS SOUPS 1687 WITH SCORE 1697.45
AT ITER 5503 NEW BEST:: SOT 16762 SOS 10446 HAS SOPS 1689 HAS SOUS 1968 HAS SOUPS 1687 WITH SCORE 1697.446
AT ITER 5504 NEW BEST:: SOT 16761 SOS 10530 HAS SOPS 1687 HAS SOUS 1967 HAS SOUPS 1685 WITH SCORE 1695.53
AT ITER 5618 NEW BEST:: SOT 16761 SOS 10530 HAS SOPS 1686 HAS SOUS 1966 HAS SOUPS 1684 WITH SCORE 1694.53
AT ITER 5663 NEW BEST:: SOT 16759 SOS 10528 HAS SOPS 1682 HAS SOUS 1962 HAS SOUPS 1680 WITH SCORE 1690.528
AT ITER 5816 NEW BEST:: SOT 16758 SOS 10527 HAS SOPS 1681 HAS SOUS 1961 HAS SOUPS 1679 WITH SCORE 1689.527
AT ITER 5861 NEW BEST:: SOT 16756 SOS 10525 HAS SOPS 1679 HAS SOUS 1959 HAS SOUPS 1677 WITH SCORE 1687.525
AT ITER 5941 NEW BEST:: SOT 16754 SOS 10523 HAS SOPS 1675 HAS SOUS 1955 HAS SOUPS 1673 WITH SCORE 1683.523
AT ITER 5953 NEW BEST:: SOT 16754 SOS 10520 HAS SOPS 1672 HAS SOUS 1952 HAS SOUPS 1670 WITH SCORE 1680.52
AT ITER 6100 NEW BEST:: SOT 16762 SOS 10520 HAS SOPS 1664 HAS SOUS 1944 HAS SOUPS 1662 WITH SCORE 1672.52
AT ITER 6204 NEW BEST:: SOT 16755 SOS 10517 HAS SOPS 1662 HAS SOUS 1942 HAS SOUPS 1660 WITH SCORE 1670.517
AT ITER 6343 NEW BEST:: SOT 16753 SOS 10514 HAS SOPS 1658 HAS SOUS 1938 HAS SOUPS 1656 WITH SCORE 1666.514
AT ITER 6356 NEW BEST:: SOT 16748 SOS 10516 HAS SOPS 1657 HAS SOUS 1937 HAS SOUPS 1655 WITH SCORE 1665.516
AT ITER 6458 NEW BEST:: SOT 16746 SOS 10599 HAS SOPS 1652 HAS SOUS 1934 HAS SOUPS 1651 WITH SCORE 1661.599
AT ITER 6605 NEW BEST:: SOT 16746 SOS 10598 HAS SOPS 1651 HAS SOUS 1933 HAS SOUPS 1650 WITH SCORE 1660.598
AT ITER 6738 NEW BEST:: SOT 16748 SOS 10591 HAS SOPS 1635 HAS SOUS 1917 HAS SOUPS 1634 WITH SCORE 1644.591
AT ITER 6821 NEW BEST:: SOT 16748 SOS 10590 HAS SOPS 1633 HAS SOUS 1915 HAS SOUPS 1632 WITH SCORE 1642.59
AT ITER 7066 NEW BEST:: SOT 16744 SOS 10590 HAS SOPS 1629 HAS SOUS 1915 HAS SOUPS 1628 WITH SCORE 1638.59
AT ITER 7071 NEW BEST:: SOT 16741 SOS 10584 HAS SOPS 1623 HAS SOUS 1909 HAS SOUPS 1622 WITH SCORE 1632.584
AT ITER 7143 NEW BEST:: SOT 16745 SOS 10711 HAS SOPS 1621 HAS SOUS 1910 HAS SOUPS 1620 WITH SCORE 1630.711
AT ITER 7312 NEW BEST:: SOT 16741 SOS 10707 HAS SOPS 1615 HAS SOUS 1904 HAS SOUPS 1614 WITH SCORE 1624.707
AT ITER 7314 NEW BEST:: SOT 16737 SOS 10699 HAS SOPS 1607 HAS SOUS 1896 HAS SOUPS 1606 WITH SCORE 1616.699
AT ITER 7426 NEW BEST:: SOT 16739 SOS 10699 HAS SOPS 1605 HAS SOUS 1894 HAS SOUPS 1604 WITH SCORE 1614.699
AT ITER 7502 NEW BEST:: SOT 16736 SOS 10696 HAS SOPS 1599 HAS SOUS 1888 HAS SOUPS 1598 WITH SCORE 1608.696
AT ITER 7681 NEW BEST:: SOT 16736 SOS 10693 HAS SOPS 1599 HAS SOUS 1888 HAS SOUPS 1598 WITH SCORE 1608.693
AT ITER 7729 NEW BEST:: SOT 16735 SOS 10693 HAS SOPS 1597 HAS SOUS 1886 HAS SOUPS 1596 WITH SCORE 1606.693
AT ITER 7764 NEW BEST:: SOT 16735 SOS 10691 HAS SOPS 1597 HAS SOUS 1886 HAS SOUPS 1596 WITH SCORE 1606.691
AT ITER 7783 NEW BEST:: SOT 16698 SOS 10677 HAS SOPS 1592 HAS SOUS 1881 HAS SOUPS 1591 WITH SCORE 1601.677
AT ITER 7819 NEW BEST:: SOT 16700 SOS 10676 HAS SOPS 1590 HAS SOUS 1879 HAS SOUPS 1589 WITH SCORE 1599.676
AT ITER 8008 NEW BEST:: SOT 16704 SOS 10676 HAS SOPS 1586 HAS SOUS 1875 HAS SOUPS 1585 WITH SCORE 1595.676
AT ITER 8079 NEW BEST:: SOT 16704 SOS 10675 HAS SOPS 1585 HAS SOUS 1874 HAS SOUPS 1584 WITH SCORE 1594.675
AT ITER 8165 NEW BEST:: SOT 16715 SOS 10686 HAS SOPS 1580 HAS SOUS 1869 HAS SOUPS 1579 WITH SCORE 1589.686
AT ITER 8282 NEW BEST:: SOT 16714 SOS 10685 HAS SOPS 1580 HAS SOUS 1869 HAS SOUPS 1579 WITH SCORE 1589.685
AT ITER 8373 NEW BEST:: SOT 16672 SOS 10680 HAS SOPS 1570 HAS SOUS 1859 HAS SOUPS 1569 WITH SCORE 1579.68
AT ITER 8382 NEW BEST:: SOT 16676 SOS 10812 HAS SOPS 1569 HAS SOUS 1861 HAS SOUPS 1568 WITH SCORE 1578.812
AT ITER 8515 NEW BEST:: SOT 16676 SOS 10812 HAS SOPS 1567 HAS SOUS 1859 HAS SOUPS 1566 WITH SCORE 1576.812
AT ITER 8578 NEW BEST:: SOT 16674 SOS 10808 HAS SOPS 1563 HAS SOUS 1855 HAS SOUPS 1562 WITH SCORE 1572.808
AT ITER 8639 NEW BEST:: SOT 16672 SOS 10808 HAS SOPS 1562 HAS SOUS 1854 HAS SOUPS 1561 WITH SCORE 1571.808
AT ITER 8657 NEW BEST:: SOT 16670 SOS 10808 HAS SOPS 1561 HAS SOUS 1853 HAS SOUPS 1560 WITH SCORE 1570.808
AT ITER 8734 NEW BEST:: SOT 16671 SOS 10808 HAS SOPS 1559 HAS SOUS 1851 HAS SOUPS 1558 WITH SCORE 1568.808
AT ITER 8846 NEW BEST:: SOT 16670 SOS 10807 HAS SOPS 1553 HAS SOUS 1845 HAS SOUPS 1552 WITH SCORE 1562.807
AT ITER 8959 NEW BEST:: SOT 16698 SOS 10810 HAS SOPS 1534 HAS SOUS 1826 HAS SOUPS 1533 WITH SCORE 1543.81
AT ITER 9164 NEW BEST:: SOT 16694 SOS 10810 HAS SOPS 1526 HAS SOUS 1818 HAS SOUPS 1525 WITH SCORE 1535.81
AT ITER 9340 NEW BEST:: SOT 16693 SOS 10809 HAS SOPS 1525 HAS SOUS 1817 HAS SOUPS 1524 WITH SCORE 1534.809
AT ITER 9558 NEW BEST:: SOT 16692 SOS 10807 HAS SOPS 1522 HAS SOUS 1814 HAS SOUPS 1521 WITH SCORE 1531.807
AT ITER 9571 NEW BEST:: SOT 16691 SOS 10811 HAS SOPS 1520 HAS SOUS 1812 HAS SOUPS 1519 WITH SCORE 1529.811
AT ITER 9807 NEW BEST:: SOT 16691 SOS 10810 HAS SOPS 1520 HAS SOUS 1812 HAS SOUPS 1519 WITH SCORE 1529.81
AT ITER 9872 NEW BEST:: SOT 16691 SOS 10809 HAS SOPS 1519 HAS SOUS 1811 HAS SOUPS 1518 WITH SCORE 1528.809
STATE_SPACE STATES 4177248169415652 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 17 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 79747465052480611 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589365098960

--------------------
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="DiscoveryGPU-PT-15a"
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 DiscoveryGPU-PT-15a, 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 r063-tajo-158922807900736"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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