Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r131-smll-167819407600416.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...........................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is DiscoveryGPU-PT-14a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r131-smll-167819407600416
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 476K
-rw-r--r-- 1 mcc users 5.0K Feb 25 13:43 CTLCardinality.txt
-rw-r--r-- 1 mcc users 47K Feb 25 13:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 25 13:40 CTLFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 25 13:40 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:00 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 13:44 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 136K Feb 25 13:44 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.1K Feb 25 13:43 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 58K Feb 25 13:43 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:00 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:00 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 50K Mar 5 18:22 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 1679904851290

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DiscoveryGPU-PT-14a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DiscoveryGPU (PT), instance 14a
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 143 places, 197 transitions, 633 arcs.
AT ITER 0 NEW BEST:: SOT 20697 SOS 10302 HAS SOPS 10302 HAS SOUS 10225 HAS SOUPS 10225 WITH SCORE 10235.302
AT ITER 7 NEW BEST:: SOT 20743 SOS 10255 HAS SOPS 10255 HAS SOUS 10178 HAS SOUPS 10178 WITH SCORE 10188.255
AT ITER 8 NEW BEST:: SOT 20742 SOS 10264 HAS SOPS 10264 HAS SOUS 10177 HAS SOUPS 10177 WITH SCORE 10187.264
AT ITER 13 NEW BEST:: SOT 20742 SOS 10258 HAS SOPS 10258 HAS SOUS 10176 HAS SOUPS 10176 WITH SCORE 10186.258
AT ITER 15 NEW BEST:: SOT 20799 SOS 10300 HAS SOPS 10300 HAS SOUS 10161 HAS SOUPS 10161 WITH SCORE 10171.3
AT ITER 26 NEW BEST:: SOT 17779 SOS 8247 HAS SOPS 7294 HAS SOUS 7155 HAS SOUPS 7094 WITH SCORE 7102.247
AT ITER 28 NEW BEST:: SOT 17775 SOS 8241 HAS SOPS 7286 HAS SOUS 7149 HAS SOUPS 7088 WITH SCORE 7096.241
AT ITER 29 NEW BEST:: SOT 17774 SOS 8238 HAS SOPS 7283 HAS SOUS 7116 HAS SOUPS 7055 WITH SCORE 7063.238
AT ITER 32 NEW BEST:: SOT 17731 SOS 8245 HAS SOPS 7247 HAS SOUS 7014 HAS SOUPS 6953 WITH SCORE 6961.245
AT ITER 36 NEW BEST:: SOT 17802 SOS 8325 HAS SOPS 7279 HAS SOUS 6935 HAS SOUPS 6874 WITH SCORE 6882.325
AT ITER 49 NEW BEST:: SOT 17911 SOS 8419 HAS SOPS 7373 HAS SOUS 6925 HAS SOUPS 6864 WITH SCORE 6872.419
AT ITER 50 NEW BEST:: SOT 17896 SOS 8406 HAS SOPS 7364 HAS SOUS 6914 HAS SOUPS 6853 WITH SCORE 6861.406
AT ITER 51 NEW BEST:: SOT 17954 SOS 8406 HAS SOPS 7364 HAS SOUS 6901 HAS SOUPS 6840 WITH SCORE 6848.406
AT ITER 56 NEW BEST:: SOT 17964 SOS 8414 HAS SOPS 7372 HAS SOUS 6829 HAS SOUPS 6768 WITH SCORE 6776.414
AT ITER 60 NEW BEST:: SOT 18029 SOS 8431 HAS SOPS 7358 HAS SOUS 6824 HAS SOUPS 6754 WITH SCORE 6762.431
AT ITER 70 NEW BEST:: SOT 17985 SOS 8371 HAS SOPS 7254 HAS SOUS 6720 HAS SOUPS 6650 WITH SCORE 6658.371
AT ITER 71 NEW BEST:: SOT 17984 SOS 8370 HAS SOPS 7219 HAS SOUS 6685 HAS SOUPS 6615 WITH SCORE 6623.37
AT ITER 76 NEW BEST:: SOT 17933 SOS 8366 HAS SOPS 7235 HAS SOUS 6654 HAS SOUPS 6584 WITH SCORE 6592.366
AT ITER 87 NEW BEST:: SOT 17931 SOS 8369 HAS SOPS 7237 HAS SOUS 6651 HAS SOUPS 6581 WITH SCORE 6589.369
AT ITER 92 NEW BEST:: SOT 17865 SOS 8115 HAS SOPS 6981 HAS SOUS 6504 HAS SOUPS 6432 WITH SCORE 6440.115
AT ITER 95 NEW BEST:: SOT 17864 SOS 8113 HAS SOPS 6980 HAS SOUS 6504 HAS SOUPS 6432 WITH SCORE 6440.113
AT ITER 116 NEW BEST:: SOT 17711 SOS 7891 HAS SOPS 6783 HAS SOUS 6416 HAS SOUPS 6344 WITH SCORE 6351.891
AT ITER 118 NEW BEST:: SOT 17721 SOS 7887 HAS SOPS 6775 HAS SOUS 6408 HAS SOUPS 6336 WITH SCORE 6343.887
AT ITER 121 NEW BEST:: SOT 17641 SOS 7759 HAS SOPS 6622 HAS SOUS 6304 HAS SOUPS 6231 WITH SCORE 6238.759
AT ITER 125 NEW BEST:: SOT 17612 SOS 7768 HAS SOPS 6591 HAS SOUS 6276 HAS SOUPS 6202 WITH SCORE 6209.768
AT ITER 152 NEW BEST:: SOT 17693 SOS 7785 HAS SOPS 6561 HAS SOUS 6246 HAS SOUPS 6172 WITH SCORE 6179.785
AT ITER 164 NEW BEST:: SOT 17721 SOS 7778 HAS SOPS 6547 HAS SOUS 6232 HAS SOUPS 6158 WITH SCORE 6165.778
AT ITER 173 NEW BEST:: SOT 17663 SOS 7604 HAS SOPS 6373 HAS SOUS 6174 HAS SOUPS 6100 WITH SCORE 6107.604
AT ITER 202 NEW BEST:: SOT 17632 SOS 7634 HAS SOPS 6433 HAS SOUS 6173 HAS SOUPS 6099 WITH SCORE 6106.634
AT ITER 226 NEW BEST:: SOT 17632 SOS 7634 HAS SOPS 6433 HAS SOUS 6168 HAS SOUPS 6094 WITH SCORE 6101.634
AT ITER 227 NEW BEST:: SOT 17631 SOS 7633 HAS SOPS 6382 HAS SOUS 6117 HAS SOUPS 6043 WITH SCORE 6050.633
AT ITER 228 NEW BEST:: SOT 17605 SOS 7620 HAS SOPS 6317 HAS SOUS 6026 HAS SOUPS 5952 WITH SCORE 5959.62
AT ITER 232 NEW BEST:: SOT 17598 SOS 7613 HAS SOPS 6317 HAS SOUS 6026 HAS SOUPS 5952 WITH SCORE 5959.613
AT ITER 236 NEW BEST:: SOT 16628 SOS 6945 HAS SOPS 5294 HAS SOUS 5261 HAS SOUPS 5133 WITH SCORE 5139.945
AT ITER 239 NEW BEST:: SOT 16603 SOS 6924 HAS SOPS 5244 HAS SOUS 5212 HAS SOUPS 5084 WITH SCORE 5090.924
AT ITER 240 NEW BEST:: SOT 16602 SOS 6926 HAS SOPS 5246 HAS SOUS 5211 HAS SOUPS 5083 WITH SCORE 5089.926
AT ITER 243 NEW BEST:: SOT 16609 SOS 6926 HAS SOPS 5220 HAS SOUS 5185 HAS SOUPS 5057 WITH SCORE 5063.926
AT ITER 248 NEW BEST:: SOT 16608 SOS 6925 HAS SOPS 5210 HAS SOUS 5175 HAS SOUPS 5047 WITH SCORE 5053.925
AT ITER 249 NEW BEST:: SOT 16608 SOS 6923 HAS SOPS 5208 HAS SOUS 5175 HAS SOUPS 5047 WITH SCORE 5053.923
AT ITER 256 NEW BEST:: SOT 16672 SOS 6961 HAS SOPS 5218 HAS SOUS 5148 HAS SOUPS 5020 WITH SCORE 5026.961
AT ITER 264 NEW BEST:: SOT 16662 SOS 6966 HAS SOPS 5207 HAS SOUS 5142 HAS SOUPS 5013 WITH SCORE 5019.966
AT ITER 276 NEW BEST:: SOT 16660 SOS 6963 HAS SOPS 5203 HAS SOUS 5138 HAS SOUPS 5009 WITH SCORE 5015.963
AT ITER 277 NEW BEST:: SOT 16648 SOS 6951 HAS SOPS 5188 HAS SOUS 5123 HAS SOUPS 4994 WITH SCORE 5000.951
AT ITER 285 NEW BEST:: SOT 16645 SOS 6950 HAS SOPS 5182 HAS SOUS 5117 HAS SOUPS 4988 WITH SCORE 4994.95
AT ITER 287 NEW BEST:: SOT 16417 SOS 7395 HAS SOPS 4885 HAS SOUS 4977 HAS SOUPS 4814 WITH SCORE 4821.395
AT ITER 301 NEW BEST:: SOT 16409 SOS 7393 HAS SOPS 4879 HAS SOUS 4971 HAS SOUPS 4808 WITH SCORE 4815.393
AT ITER 302 NEW BEST:: SOT 16411 SOS 7398 HAS SOPS 4867 HAS SOUS 4959 HAS SOUPS 4796 WITH SCORE 4803.398
AT ITER 304 NEW BEST:: SOT 16444 SOS 7311 HAS SOPS 4780 HAS SOUS 4876 HAS SOUPS 4713 WITH SCORE 4720.311
AT ITER 309 NEW BEST:: SOT 16443 SOS 7302 HAS SOPS 4770 HAS SOUS 4866 HAS SOUPS 4703 WITH SCORE 4710.302
AT ITER 310 NEW BEST:: SOT 16441 SOS 7297 HAS SOPS 4763 HAS SOUS 4859 HAS SOUPS 4696 WITH SCORE 4703.297
AT ITER 322 NEW BEST:: SOT 16441 SOS 7295 HAS SOPS 4763 HAS SOUS 4859 HAS SOUPS 4696 WITH SCORE 4703.295
AT ITER 344 NEW BEST:: SOT 16378 SOS 7185 HAS SOPS 4637 HAS SOUS 4733 HAS SOUPS 4570 WITH SCORE 4577.185
AT ITER 349 NEW BEST:: SOT 16372 SOS 7178 HAS SOPS 4625 HAS SOUS 4721 HAS SOUPS 4558 WITH SCORE 4565.178
AT ITER 362 NEW BEST:: SOT 16434 SOS 7102 HAS SOPS 4492 HAS SOUS 4633 HAS SOUPS 4470 WITH SCORE 4477.102
AT ITER 365 NEW BEST:: SOT 16427 SOS 7123 HAS SOPS 4485 HAS SOUS 4629 HAS SOUPS 4465 WITH SCORE 4472.123
AT ITER 377 NEW BEST:: SOT 16448 SOS 7119 HAS SOPS 4481 HAS SOUS 4625 HAS SOUPS 4461 WITH SCORE 4468.119
AT ITER 383 NEW BEST:: SOT 16444 SOS 7115 HAS SOPS 4473 HAS SOUS 4617 HAS SOUPS 4453 WITH SCORE 4460.115
AT ITER 386 NEW BEST:: SOT 16425 SOS 7096 HAS SOPS 4435 HAS SOUS 4579 HAS SOUPS 4415 WITH SCORE 4422.096
AT ITER 390 NEW BEST:: SOT 16435 SOS 7084 HAS SOPS 4401 HAS SOUS 4545 HAS SOUPS 4381 WITH SCORE 4388.084
AT ITER 398 NEW BEST:: SOT 16434 SOS 7083 HAS SOPS 4399 HAS SOUS 4543 HAS SOUPS 4379 WITH SCORE 4386.083
AT ITER 408 NEW BEST:: SOT 16426 SOS 7083 HAS SOPS 4391 HAS SOUS 4535 HAS SOUPS 4371 WITH SCORE 4378.083
AT ITER 456 NEW BEST:: SOT 16432 SOS 7084 HAS SOPS 4377 HAS SOUS 4525 HAS SOUPS 4357 WITH SCORE 4364.084
AT ITER 486 NEW BEST:: SOT 16353 SOS 7072 HAS SOPS 4353 HAS SOUS 4510 HAS SOUPS 4333 WITH SCORE 4340.072
AT ITER 493 NEW BEST:: SOT 16371 SOS 7073 HAS SOPS 4362 HAS SOUS 4509 HAS SOUPS 4332 WITH SCORE 4339.073
AT ITER 494 NEW BEST:: SOT 16413 SOS 7049 HAS SOPS 4338 HAS SOUS 4485 HAS SOUPS 4308 WITH SCORE 4315.049
AT ITER 499 NEW BEST:: SOT 16408 SOS 7039 HAS SOPS 4328 HAS SOUS 4475 HAS SOUPS 4298 WITH SCORE 4305.039
AT ITER 508 NEW BEST:: SOT 16407 SOS 7038 HAS SOPS 4326 HAS SOUS 4473 HAS SOUPS 4296 WITH SCORE 4303.038
AT ITER 511 NEW BEST:: SOT 16403 SOS 7060 HAS SOPS 4318 HAS SOUS 4465 HAS SOUPS 4288 WITH SCORE 4295.06
AT ITER 548 NEW BEST:: SOT 16402 SOS 7059 HAS SOPS 4316 HAS SOUS 4463 HAS SOUPS 4286 WITH SCORE 4293.059
AT ITER 552 NEW BEST:: SOT 16373 SOS 7004 HAS SOPS 4258 HAS SOUS 4405 HAS SOUPS 4228 WITH SCORE 4235.004
AT ITER 554 NEW BEST:: SOT 16373 SOS 7001 HAS SOPS 4250 HAS SOUS 4394 HAS SOUPS 4217 WITH SCORE 4224.001
AT ITER 567 NEW BEST:: SOT 16367 SOS 6966 HAS SOPS 4238 HAS SOUS 4382 HAS SOUPS 4205 WITH SCORE 4211.966
AT ITER 608 NEW BEST:: SOT 16362 SOS 6961 HAS SOPS 4228 HAS SOUS 4372 HAS SOUPS 4195 WITH SCORE 4201.961
AT ITER 610 NEW BEST:: SOT 16298 SOS 8113 HAS SOPS 4163 HAS SOUS 4316 HAS SOUPS 4103 WITH SCORE 4111.113
AT ITER 618 NEW BEST:: SOT 16289 SOS 8095 HAS SOPS 4127 HAS SOUS 4280 HAS SOUPS 4067 WITH SCORE 4075.095
AT ITER 619 NEW BEST:: SOT 16294 SOS 8100 HAS SOPS 4118 HAS SOUS 4271 HAS SOUPS 4058 WITH SCORE 4066.1
AT ITER 646 NEW BEST:: SOT 16289 SOS 8100 HAS SOPS 4108 HAS SOUS 4261 HAS SOUPS 4048 WITH SCORE 4056.1
AT ITER 653 NEW BEST:: SOT 16289 SOS 8076 HAS SOPS 4084 HAS SOUS 4234 HAS SOUPS 4021 WITH SCORE 4029.076
AT ITER 666 NEW BEST:: SOT 16324 SOS 8074 HAS SOPS 4080 HAS SOUS 4230 HAS SOUPS 4017 WITH SCORE 4025.074
AT ITER 669 NEW BEST:: SOT 16324 SOS 8072 HAS SOPS 4078 HAS SOUS 4228 HAS SOUPS 4015 WITH SCORE 4023.072
AT ITER 706 NEW BEST:: SOT 16324 SOS 8029 HAS SOPS 3992 HAS SOUS 4142 HAS SOUPS 3929 WITH SCORE 3937.029
AT ITER 713 NEW BEST:: SOT 16296 SOS 8004 HAS SOPS 3970 HAS SOUS 4120 HAS SOUPS 3907 WITH SCORE 3915.004
AT ITER 714 NEW BEST:: SOT 16293 SOS 8001 HAS SOPS 3964 HAS SOUS 4114 HAS SOUPS 3901 WITH SCORE 3909.001
AT ITER 715 NEW BEST:: SOT 15962 SOS 8345 HAS SOPS 3591 HAS SOUS 3776 HAS SOUPS 3549 WITH SCORE 3557.345
AT ITER 742 NEW BEST:: SOT 15940 SOS 8323 HAS SOPS 3583 HAS SOUS 3768 HAS SOUPS 3541 WITH SCORE 3549.323
AT ITER 752 NEW BEST:: SOT 15938 SOS 8321 HAS SOPS 3579 HAS SOUS 3764 HAS SOUPS 3537 WITH SCORE 3545.321
AT ITER 757 NEW BEST:: SOT 15931 SOS 8289 HAS SOPS 3509 HAS SOUS 3694 HAS SOUPS 3467 WITH SCORE 3475.289
AT ITER 769 NEW BEST:: SOT 15949 SOS 8285 HAS SOPS 3501 HAS SOUS 3686 HAS SOUPS 3459 WITH SCORE 3467.285
AT ITER 771 NEW BEST:: SOT 15921 SOS 8243 HAS SOPS 3424 HAS SOUS 3609 HAS SOUPS 3382 WITH SCORE 3390.243
AT ITER 782 NEW BEST:: SOT 15919 SOS 8240 HAS SOPS 3420 HAS SOUS 3605 HAS SOUPS 3378 WITH SCORE 3386.24
AT ITER 787 NEW BEST:: SOT 15819 SOS 8221 HAS SOPS 3386 HAS SOUS 3570 HAS SOUPS 3343 WITH SCORE 3351.221
AT ITER 808 NEW BEST:: SOT 15772 SOS 8174 HAS SOPS 3341 HAS SOUS 3525 HAS SOUPS 3298 WITH SCORE 3306.174
AT ITER 828 NEW BEST:: SOT 15745 SOS 8147 HAS SOPS 3323 HAS SOUS 3507 HAS SOUPS 3280 WITH SCORE 3288.147
AT ITER 849 NEW BEST:: SOT 15743 SOS 8144 HAS SOPS 3319 HAS SOUS 3503 HAS SOUPS 3276 WITH SCORE 3284.144
AT ITER 852 NEW BEST:: SOT 15729 SOS 8130 HAS SOPS 3291 HAS SOUS 3475 HAS SOUPS 3248 WITH SCORE 3256.13
AT ITER 864 NEW BEST:: SOT 15739 SOS 8135 HAS SOPS 3265 HAS SOUS 3449 HAS SOUPS 3222 WITH SCORE 3230.135
AT ITER 873 NEW BEST:: SOT 15733 SOS 8129 HAS SOPS 3259 HAS SOUS 3443 HAS SOUPS 3216 WITH SCORE 3224.129
AT ITER 880 NEW BEST:: SOT 15696 SOS 8092 HAS SOPS 3229 HAS SOUS 3413 HAS SOUPS 3186 WITH SCORE 3194.092
AT ITER 882 NEW BEST:: SOT 15718 SOS 8104 HAS SOPS 3219 HAS SOUS 3403 HAS SOUPS 3176 WITH SCORE 3184.104
AT ITER 894 NEW BEST:: SOT 15722 SOS 8113 HAS SOPS 3206 HAS SOUS 3390 HAS SOUPS 3163 WITH SCORE 3171.113
AT ITER 900 NEW BEST:: SOT 15732 SOS 8092 HAS SOPS 3170 HAS SOUS 3354 HAS SOUPS 3127 WITH SCORE 3135.092
AT ITER 913 NEW BEST:: SOT 15775 SOS 8083 HAS SOPS 3152 HAS SOUS 3336 HAS SOUPS 3109 WITH SCORE 3117.083
AT ITER 914 NEW BEST:: SOT 15775 SOS 8061 HAS SOPS 3108 HAS SOUS 3292 HAS SOUPS 3065 WITH SCORE 3073.061
AT ITER 921 NEW BEST:: SOT 15794 SOS 8048 HAS SOPS 3079 HAS SOUS 3263 HAS SOUPS 3036 WITH SCORE 3044.048
AT ITER 947 NEW BEST:: SOT 15768 SOS 8062 HAS SOPS 3067 HAS SOUS 3251 HAS SOUPS 3024 WITH SCORE 3032.062
AT ITER 965 NEW BEST:: SOT 15744 SOS 8026 HAS SOPS 3019 HAS SOUS 3203 HAS SOUPS 2976 WITH SCORE 2984.026
AT ITER 969 NEW BEST:: SOT 15743 SOS 8018 HAS SOPS 3017 HAS SOUS 3201 HAS SOUPS 2974 WITH SCORE 2982.018
AT ITER 970 NEW BEST:: SOT 15737 SOS 8019 HAS SOPS 3005 HAS SOUS 3189 HAS SOUPS 2962 WITH SCORE 2970.019
AT ITER 981 NEW BEST:: SOT 15736 SOS 8017 HAS SOPS 3003 HAS SOUS 3187 HAS SOUPS 2960 WITH SCORE 2968.017
AT ITER 986 NEW BEST:: SOT 15734 SOS 8013 HAS SOPS 2999 HAS SOUS 3183 HAS SOUPS 2956 WITH SCORE 2964.013
AT ITER 1001 NEW BEST:: SOT 15719 SOS 7998 HAS SOPS 2969 HAS SOUS 3153 HAS SOUPS 2926 WITH SCORE 2933.998
AT ITER 1009 NEW BEST:: SOT 15714 SOS 7987 HAS SOPS 2959 HAS SOUS 3143 HAS SOUPS 2916 WITH SCORE 2923.987
AT ITER 1050 NEW BEST:: SOT 15691 SOS 7874 HAS SOPS 2857 HAS SOUS 3076 HAS SOUPS 2849 WITH SCORE 2856.874
AT ITER 1051 NEW BEST:: SOT 15690 SOS 7873 HAS SOPS 2855 HAS SOUS 3074 HAS SOUPS 2847 WITH SCORE 2854.873
AT ITER 1070 NEW BEST:: SOT 15687 SOS 7870 HAS SOPS 2838 HAS SOUS 3057 HAS SOUPS 2830 WITH SCORE 2837.87
AT ITER 1077 NEW BEST:: SOT 15683 SOS 7864 HAS SOPS 2830 HAS SOUS 3049 HAS SOUPS 2822 WITH SCORE 2829.864
AT ITER 1095 NEW BEST:: SOT 15681 SOS 7860 HAS SOPS 2826 HAS SOUS 3045 HAS SOUPS 2818 WITH SCORE 2825.86
AT ITER 1131 NEW BEST:: SOT 15681 SOS 7855 HAS SOPS 2821 HAS SOUS 3040 HAS SOUPS 2813 WITH SCORE 2820.855
AT ITER 1180 NEW BEST:: SOT 15676 SOS 7852 HAS SOPS 2814 HAS SOUS 3033 HAS SOUPS 2806 WITH SCORE 2813.852
AT ITER 1197 NEW BEST:: SOT 15691 SOS 7833 HAS SOPS 2795 HAS SOUS 3015 HAS SOUPS 2788 WITH SCORE 2795.833
AT ITER 1229 NEW BEST:: SOT 15661 SOS 7773 HAS SOPS 2735 HAS SOUS 2955 HAS SOUPS 2728 WITH SCORE 2735.773
AT ITER 1257 NEW BEST:: SOT 15659 SOS 7768 HAS SOPS 2725 HAS SOUS 2947 HAS SOUPS 2718 WITH SCORE 2725.768
AT ITER 1270 NEW BEST:: SOT 15647 SOS 7762 HAS SOPS 2719 HAS SOUS 2941 HAS SOUPS 2712 WITH SCORE 2719.762
AT ITER 1288 NEW BEST:: SOT 15612 SOS 7727 HAS SOPS 2661 HAS SOUS 2883 HAS SOUPS 2654 WITH SCORE 2661.727
AT ITER 1291 NEW BEST:: SOT 15608 SOS 7718 HAS SOPS 2653 HAS SOUS 2875 HAS SOUPS 2646 WITH SCORE 2653.718
AT ITER 1316 NEW BEST:: SOT 15607 SOS 7710 HAS SOPS 2645 HAS SOUS 2868 HAS SOUPS 2639 WITH SCORE 2646.71
AT ITER 1329 NEW BEST:: SOT 15606 SOS 7707 HAS SOPS 2643 HAS SOUS 2866 HAS SOUPS 2637 WITH SCORE 2644.707
AT ITER 1343 NEW BEST:: SOT 15596 SOS 7706 HAS SOPS 2623 HAS SOUS 2846 HAS SOUPS 2617 WITH SCORE 2624.706
AT ITER 1350 NEW BEST:: SOT 15571 SOS 7681 HAS SOPS 2623 HAS SOUS 2846 HAS SOUPS 2617 WITH SCORE 2624.681
AT ITER 1372 NEW BEST:: SOT 15565 SOS 7675 HAS SOPS 2619 HAS SOUS 2842 HAS SOUPS 2613 WITH SCORE 2620.675
AT ITER 1379 NEW BEST:: SOT 15565 SOS 7674 HAS SOPS 2618 HAS SOUS 2840 HAS SOUPS 2611 WITH SCORE 2618.674
AT ITER 1401 NEW BEST:: SOT 15568 SOS 7677 HAS SOPS 2581 HAS SOUS 2803 HAS SOUPS 2574 WITH SCORE 2581.677
AT ITER 1409 NEW BEST:: SOT 15589 SOS 7680 HAS SOPS 2574 HAS SOUS 2796 HAS SOUPS 2567 WITH SCORE 2574.68
AT ITER 1432 NEW BEST:: SOT 15587 SOS 7674 HAS SOPS 2562 HAS SOUS 2784 HAS SOUPS 2555 WITH SCORE 2562.674
AT ITER 1481 NEW BEST:: SOT 15587 SOS 7673 HAS SOPS 2562 HAS SOUS 2784 HAS SOUPS 2555 WITH SCORE 2562.673
AT ITER 1487 NEW BEST:: SOT 15586 SOS 7672 HAS SOPS 2560 HAS SOUS 2782 HAS SOUPS 2553 WITH SCORE 2560.672
AT ITER 1506 NEW BEST:: SOT 15584 SOS 7669 HAS SOPS 2556 HAS SOUS 2778 HAS SOUPS 2549 WITH SCORE 2556.669
AT ITER 1521 NEW BEST:: SOT 15576 SOS 7665 HAS SOPS 2548 HAS SOUS 2769 HAS SOUPS 2540 WITH SCORE 2547.665
AT ITER 1595 NEW BEST:: SOT 15574 SOS 7665 HAS SOPS 2546 HAS SOUS 2767 HAS SOUPS 2538 WITH SCORE 2545.665
AT ITER 1619 NEW BEST:: SOT 15568 SOS 7659 HAS SOPS 2528 HAS SOUS 2743 HAS SOUPS 2514 WITH SCORE 2521.659
AT ITER 1622 NEW BEST:: SOT 15494 SOS 7812 HAS SOPS 2452 HAS SOUS 2675 HAS SOUPS 2442 WITH SCORE 2449.812
AT ITER 1637 NEW BEST:: SOT 15493 SOS 7811 HAS SOPS 2450 HAS SOUS 2673 HAS SOUPS 2440 WITH SCORE 2447.811
AT ITER 1652 NEW BEST:: SOT 15496 SOS 7792 HAS SOPS 2412 HAS SOUS 2635 HAS SOUPS 2402 WITH SCORE 2409.792
AT ITER 1713 NEW BEST:: SOT 15479 SOS 7774 HAS SOPS 2378 HAS SOUS 2601 HAS SOUPS 2368 WITH SCORE 2375.774
AT ITER 1714 NEW BEST:: SOT 15474 SOS 7774 HAS SOPS 2368 HAS SOUS 2591 HAS SOUPS 2358 WITH SCORE 2365.774
AT ITER 1752 NEW BEST:: SOT 15468 SOS 7768 HAS SOPS 2356 HAS SOUS 2579 HAS SOUPS 2346 WITH SCORE 2353.768
AT ITER 1760 NEW BEST:: SOT 15468 SOS 7761 HAS SOPS 2351 HAS SOUS 2577 HAS SOUPS 2344 WITH SCORE 2351.761
AT ITER 1762 NEW BEST:: SOT 15461 SOS 7761 HAS SOPS 2337 HAS SOUS 2563 HAS SOUPS 2330 WITH SCORE 2337.761
AT ITER 1785 NEW BEST:: SOT 15464 SOS 7759 HAS SOPS 2333 HAS SOUS 2559 HAS SOUPS 2326 WITH SCORE 2333.759
AT ITER 1796 NEW BEST:: SOT 15464 SOS 7758 HAS SOPS 2327 HAS SOUS 2553 HAS SOUPS 2320 WITH SCORE 2327.758
AT ITER 1885 NEW BEST:: SOT 15453 SOS 7747 HAS SOPS 2327 HAS SOUS 2553 HAS SOUPS 2320 WITH SCORE 2327.747
AT ITER 1897 NEW BEST:: SOT 15445 SOS 7739 HAS SOPS 2327 HAS SOUS 2553 HAS SOUPS 2320 WITH SCORE 2327.739
AT ITER 1912 NEW BEST:: SOT 15443 SOS 7736 HAS SOPS 2323 HAS SOUS 2549 HAS SOUPS 2316 WITH SCORE 2323.736
AT ITER 1966 NEW BEST:: SOT 15440 SOS 7732 HAS SOPS 2316 HAS SOUS 2542 HAS SOUPS 2309 WITH SCORE 2316.732
AT ITER 2048 NEW BEST:: SOT 15429 SOS 7727 HAS SOPS 2306 HAS SOUS 2534 HAS SOUPS 2299 WITH SCORE 2306.727
AT ITER 2136 NEW BEST:: SOT 15423 SOS 7731 HAS SOPS 2305 HAS SOUS 2533 HAS SOUPS 2298 WITH SCORE 2305.731
AT ITER 2145 NEW BEST:: SOT 15421 SOS 7731 HAS SOPS 2301 HAS SOUS 2529 HAS SOUPS 2294 WITH SCORE 2301.731
AT ITER 2153 NEW BEST:: SOT 15424 SOS 7734 HAS SOPS 2296 HAS SOUS 2524 HAS SOUPS 2289 WITH SCORE 2296.734
AT ITER 2194 NEW BEST:: SOT 15422 SOS 7729 HAS SOPS 2288 HAS SOUS 2516 HAS SOUPS 2281 WITH SCORE 2288.729
AT ITER 2200 NEW BEST:: SOT 15417 SOS 7723 HAS SOPS 2278 HAS SOUS 2506 HAS SOUPS 2271 WITH SCORE 2278.723
AT ITER 2203 NEW BEST:: SOT 15309 SOS 8060 HAS SOPS 2169 HAS SOUS 2406 HAS SOUPS 2164 WITH SCORE 2172.06
AT ITER 2219 NEW BEST:: SOT 15308 SOS 8056 HAS SOPS 2162 HAS SOUS 2399 HAS SOUPS 2157 WITH SCORE 2165.056
AT ITER 2244 NEW BEST:: SOT 15308 SOS 8050 HAS SOPS 2156 HAS SOUS 2393 HAS SOUPS 2151 WITH SCORE 2159.05
AT ITER 2287 NEW BEST:: SOT 15304 SOS 8047 HAS SOPS 2150 HAS SOUS 2387 HAS SOUPS 2145 WITH SCORE 2153.047
AT ITER 2335 NEW BEST:: SOT 15300 SOS 8045 HAS SOPS 2148 HAS SOUS 2385 HAS SOUPS 2143 WITH SCORE 2151.045
AT ITER 2369 NEW BEST:: SOT 15299 SOS 8044 HAS SOPS 2146 HAS SOUS 2383 HAS SOUPS 2141 WITH SCORE 2149.044
AT ITER 2448 NEW BEST:: SOT 15299 SOS 8043 HAS SOPS 2146 HAS SOUS 2383 HAS SOUPS 2141 WITH SCORE 2149.043
AT ITER 2517 NEW BEST:: SOT 15288 SOS 8038 HAS SOPS 2132 HAS SOUS 2369 HAS SOUPS 2127 WITH SCORE 2135.038
AT ITER 2543 NEW BEST:: SOT 15288 SOS 8035 HAS SOPS 2129 HAS SOUS 2366 HAS SOUPS 2124 WITH SCORE 2132.035
AT ITER 2580 NEW BEST:: SOT 15197 SOS 8420 HAS SOPS 2029 HAS SOUS 2275 HAS SOUPS 2026 WITH SCORE 2034.42
AT ITER 2650 NEW BEST:: SOT 15177 SOS 8409 HAS SOPS 2027 HAS SOUS 2273 HAS SOUPS 2024 WITH SCORE 2032.409
AT ITER 2674 NEW BEST:: SOT 15165 SOS 8404 HAS SOPS 2020 HAS SOUS 2266 HAS SOUPS 2017 WITH SCORE 2025.404
AT ITER 2816 NEW BEST:: SOT 15167 SOS 8398 HAS SOPS 2015 HAS SOUS 2261 HAS SOUPS 2012 WITH SCORE 2020.398
AT ITER 2889 NEW BEST:: SOT 15165 SOS 8395 HAS SOPS 2011 HAS SOUS 2257 HAS SOUPS 2008 WITH SCORE 2016.395
AT ITER 2950 NEW BEST:: SOT 15163 SOS 8393 HAS SOPS 2007 HAS SOUS 2253 HAS SOUPS 2004 WITH SCORE 2012.393
AT ITER 2967 NEW BEST:: SOT 15163 SOS 8389 HAS SOPS 2007 HAS SOUS 2253 HAS SOUPS 2004 WITH SCORE 2012.389
AT ITER 2983 NEW BEST:: SOT 15163 SOS 8381 HAS SOPS 1999 HAS SOUS 2245 HAS SOUPS 1996 WITH SCORE 2004.381
AT ITER 3059 NEW BEST:: SOT 15162 SOS 8381 HAS SOPS 1998 HAS SOUS 2244 HAS SOUPS 1995 WITH SCORE 2003.381
AT ITER 3293 NEW BEST:: SOT 15162 SOS 8376 HAS SOPS 1988 HAS SOUS 2234 HAS SOUPS 1985 WITH SCORE 1993.376
AT ITER 3385 NEW BEST:: SOT 15159 SOS 8372 HAS SOPS 1982 HAS SOUS 2228 HAS SOUPS 1979 WITH SCORE 1987.372
AT ITER 3472 NEW BEST:: SOT 15156 SOS 8361 HAS SOPS 1968 HAS SOUS 2214 HAS SOUPS 1965 WITH SCORE 1973.361
AT ITER 3489 NEW BEST:: SOT 15155 SOS 8359 HAS SOPS 1965 HAS SOUS 2211 HAS SOUPS 1962 WITH SCORE 1970.359
AT ITER 3498 NEW BEST:: SOT 15160 SOS 8363 HAS SOPS 1961 HAS SOUS 2207 HAS SOUPS 1958 WITH SCORE 1966.363
AT ITER 3545 NEW BEST:: SOT 15116 SOS 8828 HAS SOPS 1917 HAS SOUS 2171 HAS SOUPS 1915 WITH SCORE 1923.828
AT ITER 3547 NEW BEST:: SOT 15121 SOS 8830 HAS SOPS 1916 HAS SOUS 2170 HAS SOUPS 1914 WITH SCORE 1922.83
AT ITER 3658 NEW BEST:: SOT 15117 SOS 8826 HAS SOPS 1912 HAS SOUS 2166 HAS SOUPS 1910 WITH SCORE 1918.826
AT ITER 3674 NEW BEST:: SOT 15114 SOS 8823 HAS SOPS 1907 HAS SOUS 2161 HAS SOUPS 1905 WITH SCORE 1913.823
AT ITER 3689 NEW BEST:: SOT 15114 SOS 8823 HAS SOPS 1904 HAS SOUS 2158 HAS SOUPS 1902 WITH SCORE 1910.823
AT ITER 3726 NEW BEST:: SOT 15112 SOS 8821 HAS SOPS 1900 HAS SOUS 2154 HAS SOUPS 1898 WITH SCORE 1906.821
AT ITER 3775 NEW BEST:: SOT 15107 SOS 8814 HAS SOPS 1890 HAS SOUS 2144 HAS SOUPS 1888 WITH SCORE 1896.814
AT ITER 3791 NEW BEST:: SOT 15104 SOS 8886 HAS SOPS 1886 HAS SOUS 2141 HAS SOUPS 1884 WITH SCORE 1892.886
AT ITER 3794 NEW BEST:: SOT 15126 SOS 8906 HAS SOPS 1882 HAS SOUS 2137 HAS SOUPS 1880 WITH SCORE 1888.906
AT ITER 3823 NEW BEST:: SOT 15119 SOS 8899 HAS SOPS 1868 HAS SOUS 2123 HAS SOUPS 1866 WITH SCORE 1874.899
AT ITER 3891 NEW BEST:: SOT 15119 SOS 8895 HAS SOPS 1864 HAS SOUS 2119 HAS SOUPS 1862 WITH SCORE 1870.895
AT ITER 3923 NEW BEST:: SOT 15118 SOS 8895 HAS SOPS 1863 HAS SOUS 2118 HAS SOUPS 1861 WITH SCORE 1869.895
AT ITER 4004 NEW BEST:: SOT 15116 SOS 8895 HAS SOPS 1859 HAS SOUS 2114 HAS SOUPS 1857 WITH SCORE 1865.895
AT ITER 4026 NEW BEST:: SOT 15116 SOS 8894 HAS SOPS 1855 HAS SOUS 2110 HAS SOUPS 1853 WITH SCORE 1861.894
AT ITER 4059 NEW BEST:: SOT 15114 SOS 8894 HAS SOPS 1854 HAS SOUS 2109 HAS SOUPS 1852 WITH SCORE 1860.894
AT ITER 4183 NEW BEST:: SOT 15112 SOS 8894 HAS SOPS 1852 HAS SOUS 2107 HAS SOUPS 1850 WITH SCORE 1858.894
AT ITER 4392 NEW BEST:: SOT 15110 SOS 9044 HAS SOPS 1850 HAS SOUS 2108 HAS SOUPS 1849 WITH SCORE 1858.044
AT ITER 4422 NEW BEST:: SOT 15106 SOS 9040 HAS SOPS 1844 HAS SOUS 2102 HAS SOUPS 1843 WITH SCORE 1852.04
AT ITER 4452 NEW BEST:: SOT 15106 SOS 9040 HAS SOPS 1830 HAS SOUS 2088 HAS SOUPS 1829 WITH SCORE 1838.04
AT ITER 4472 NEW BEST:: SOT 15102 SOS 9038 HAS SOPS 1826 HAS SOUS 2084 HAS SOUPS 1825 WITH SCORE 1834.038
AT ITER 4503 NEW BEST:: SOT 15107 SOS 9041 HAS SOPS 1818 HAS SOUS 2076 HAS SOUPS 1817 WITH SCORE 1826.041
AT ITER 4654 NEW BEST:: SOT 15105 SOS 9039 HAS SOPS 1816 HAS SOUS 2074 HAS SOUPS 1815 WITH SCORE 1824.039
AT ITER 4664 NEW BEST:: SOT 15105 SOS 9038 HAS SOPS 1816 HAS SOUS 2074 HAS SOUPS 1815 WITH SCORE 1824.038
AT ITER 4668 NEW BEST:: SOT 15104 SOS 9034 HAS SOPS 1814 HAS SOUS 2072 HAS SOUPS 1813 WITH SCORE 1822.034
AT ITER 4723 NEW BEST:: SOT 15102 SOS 9032 HAS SOPS 1810 HAS SOUS 2068 HAS SOUPS 1809 WITH SCORE 1818.032
AT ITER 4805 NEW BEST:: SOT 15099 SOS 9025 HAS SOPS 1804 HAS SOUS 2062 HAS SOUPS 1803 WITH SCORE 1812.025
AT ITER 4813 NEW BEST:: SOT 15100 SOS 9339 HAS SOPS 1801 HAS SOUS 2063 HAS SOUPS 1800 WITH SCORE 1809.339
AT ITER 4817 NEW BEST:: SOT 15105 SOS 9337 HAS SOPS 1797 HAS SOUS 2059 HAS SOUPS 1796 WITH SCORE 1805.337
AT ITER 4872 NEW BEST:: SOT 15104 SOS 9335 HAS SOPS 1795 HAS SOUS 2057 HAS SOUPS 1794 WITH SCORE 1803.335
AT ITER 4973 NEW BEST:: SOT 15118 SOS 9337 HAS SOPS 1787 HAS SOUS 2049 HAS SOUPS 1786 WITH SCORE 1795.337
AT ITER 5004 NEW BEST:: SOT 15118 SOS 9416 HAS SOPS 1785 HAS SOUS 2049 HAS SOUPS 1784 WITH SCORE 1793.416
AT ITER 5005 NEW BEST:: SOT 15119 SOS 9415 HAS SOPS 1784 HAS SOUS 2048 HAS SOUPS 1783 WITH SCORE 1792.415
AT ITER 5108 NEW BEST:: SOT 15117 SOS 9411 HAS SOPS 1780 HAS SOUS 2044 HAS SOUPS 1779 WITH SCORE 1788.411
AT ITER 5138 NEW BEST:: SOT 15116 SOS 9410 HAS SOPS 1778 HAS SOUS 2042 HAS SOUPS 1777 WITH SCORE 1786.41
AT ITER 5150 NEW BEST:: SOT 15114 SOS 9408 HAS SOPS 1774 HAS SOUS 2038 HAS SOUPS 1773 WITH SCORE 1782.408
AT ITER 5221 NEW BEST:: SOT 15113 SOS 9408 HAS SOPS 1772 HAS SOUS 2036 HAS SOUPS 1771 WITH SCORE 1780.408
AT ITER 5323 NEW BEST:: SOT 15113 SOS 9407 HAS SOPS 1770 HAS SOUS 2034 HAS SOUPS 1769 WITH SCORE 1778.407
AT ITER 5380 NEW BEST:: SOT 15112 SOS 9405 HAS SOPS 1768 HAS SOUS 2032 HAS SOUPS 1767 WITH SCORE 1776.405
AT ITER 5387 NEW BEST:: SOT 15108 SOS 9402 HAS SOPS 1760 HAS SOUS 2024 HAS SOUPS 1759 WITH SCORE 1768.402
AT ITER 5402 NEW BEST:: SOT 15100 SOS 9379 HAS SOPS 1722 HAS SOUS 1986 HAS SOUPS 1721 WITH SCORE 1730.379
AT ITER 5434 NEW BEST:: SOT 15085 SOS 9375 HAS SOPS 1719 HAS SOUS 1982 HAS SOUPS 1717 WITH SCORE 1726.375
AT ITER 5506 NEW BEST:: SOT 15085 SOS 9374 HAS SOPS 1719 HAS SOUS 1982 HAS SOUPS 1717 WITH SCORE 1726.374
AT ITER 5533 NEW BEST:: SOT 15083 SOS 9372 HAS SOPS 1719 HAS SOUS 1982 HAS SOUPS 1717 WITH SCORE 1726.372
AT ITER 5646 NEW BEST:: SOT 15084 SOS 9371 HAS SOPS 1717 HAS SOUS 1980 HAS SOUPS 1715 WITH SCORE 1724.371
AT ITER 5666 NEW BEST:: SOT 15086 SOS 9367 HAS SOPS 1705 HAS SOUS 1968 HAS SOUPS 1703 WITH SCORE 1712.367
AT ITER 5762 NEW BEST:: SOT 15091 SOS 9370 HAS SOPS 1703 HAS SOUS 1966 HAS SOUPS 1701 WITH SCORE 1710.37
AT ITER 5784 NEW BEST:: SOT 15090 SOS 9368 HAS SOPS 1701 HAS SOUS 1964 HAS SOUPS 1699 WITH SCORE 1708.368
AT ITER 5871 NEW BEST:: SOT 15088 SOS 9366 HAS SOPS 1693 HAS SOUS 1956 HAS SOUPS 1691 WITH SCORE 1700.366
AT ITER 6077 NEW BEST:: SOT 15092 SOS 9373 HAS SOPS 1697 HAS SOUS 1955 HAS SOUPS 1690 WITH SCORE 1699.373
AT ITER 6117 NEW BEST:: SOT 15090 SOS 9371 HAS SOPS 1694 HAS SOUS 1952 HAS SOUPS 1687 WITH SCORE 1696.371
AT ITER 6158 NEW BEST:: SOT 15103 SOS 9377 HAS SOPS 1692 HAS SOUS 1950 HAS SOUPS 1685 WITH SCORE 1694.377
AT ITER 6184 NEW BEST:: SOT 15090 SOS 9368 HAS SOPS 1674 HAS SOUS 1930 HAS SOUPS 1665 WITH SCORE 1674.368
AT ITER 6217 NEW BEST:: SOT 15086 SOS 9362 HAS SOPS 1666 HAS SOUS 1922 HAS SOUPS 1657 WITH SCORE 1666.362
AT ITER 6324 NEW BEST:: SOT 15082 SOS 9356 HAS SOPS 1658 HAS SOUS 1914 HAS SOUPS 1649 WITH SCORE 1658.356
AT ITER 6327 NEW BEST:: SOT 15081 SOS 9355 HAS SOPS 1656 HAS SOUS 1912 HAS SOUPS 1647 WITH SCORE 1656.355
AT ITER 6345 NEW BEST:: SOT 15072 SOS 9355 HAS SOPS 1650 HAS SOUS 1906 HAS SOUPS 1641 WITH SCORE 1650.355
AT ITER 6571 NEW BEST:: SOT 15072 SOS 9352 HAS SOPS 1647 HAS SOUS 1903 HAS SOUPS 1638 WITH SCORE 1647.352
AT ITER 6607 NEW BEST:: SOT 15070 SOS 9350 HAS SOPS 1644 HAS SOUS 1900 HAS SOUPS 1635 WITH SCORE 1644.35
AT ITER 6677 NEW BEST:: SOT 15069 SOS 9350 HAS SOPS 1642 HAS SOUS 1898 HAS SOUPS 1633 WITH SCORE 1642.35
AT ITER 6713 NEW BEST:: SOT 15071 SOS 9345 HAS SOPS 1636 HAS SOUS 1897 HAS SOUPS 1632 WITH SCORE 1641.345
AT ITER 6784 NEW BEST:: SOT 15064 SOS 9338 HAS SOPS 1622 HAS SOUS 1883 HAS SOUPS 1618 WITH SCORE 1627.338
AT ITER 6817 NEW BEST:: SOT 15065 SOS 9338 HAS SOPS 1621 HAS SOUS 1882 HAS SOUPS 1617 WITH SCORE 1626.338
AT ITER 6819 NEW BEST:: SOT 15065 SOS 9417 HAS SOPS 1617 HAS SOUS 1882 HAS SOUPS 1615 WITH SCORE 1624.417
AT ITER 6925 NEW BEST:: SOT 15057 SOS 9408 HAS SOPS 1601 HAS SOUS 1866 HAS SOUPS 1599 WITH SCORE 1608.408
AT ITER 6941 NEW BEST:: SOT 15050 SOS 9401 HAS SOPS 1601 HAS SOUS 1866 HAS SOUPS 1599 WITH SCORE 1608.401
AT ITER 6947 NEW BEST:: SOT 15049 SOS 9398 HAS SOPS 1599 HAS SOUS 1864 HAS SOUPS 1597 WITH SCORE 1606.398
AT ITER 6991 NEW BEST:: SOT 15047 SOS 9396 HAS SOPS 1595 HAS SOUS 1860 HAS SOUPS 1593 WITH SCORE 1602.396
AT ITER 7029 NEW BEST:: SOT 15047 SOS 9393 HAS SOPS 1594 HAS SOUS 1859 HAS SOUPS 1592 WITH SCORE 1601.393
AT ITER 7086 NEW BEST:: SOT 15043 SOS 9390 HAS SOPS 1588 HAS SOUS 1853 HAS SOUPS 1586 WITH SCORE 1595.39
AT ITER 7089 NEW BEST:: SOT 15043 SOS 9388 HAS SOPS 1584 HAS SOUS 1849 HAS SOUPS 1582 WITH SCORE 1591.388
AT ITER 7202 NEW BEST:: SOT 15041 SOS 9386 HAS SOPS 1580 HAS SOUS 1845 HAS SOUPS 1578 WITH SCORE 1587.386
AT ITER 7225 NEW BEST:: SOT 15040 SOS 9385 HAS SOPS 1579 HAS SOUS 1844 HAS SOUPS 1577 WITH SCORE 1586.385
AT ITER 7700 NEW BEST:: SOT 15053 SOS 9396 HAS SOPS 1571 HAS SOUS 1836 HAS SOUPS 1569 WITH SCORE 1578.396
AT ITER 7866 NEW BEST:: SOT 15055 SOS 9395 HAS SOPS 1571 HAS SOUS 1836 HAS SOUPS 1569 WITH SCORE 1578.395
AT ITER 7883 NEW BEST:: SOT 15056 SOS 9395 HAS SOPS 1570 HAS SOUS 1835 HAS SOUPS 1568 WITH SCORE 1577.395
AT ITER 7891 NEW BEST:: SOT 15055 SOS 9552 HAS SOPS 1565 HAS SOUS 1833 HAS SOUPS 1564 WITH SCORE 1573.552
AT ITER 8063 NEW BEST:: SOT 15054 SOS 9796 HAS SOPS 1558 HAS SOUS 1830 HAS SOUPS 1558 WITH SCORE 1567.796
AT ITER 8387 NEW BEST:: SOT 15058 SOS 9799 HAS SOPS 1554 HAS SOUS 1826 HAS SOUPS 1554 WITH SCORE 1563.799
AT ITER 8475 NEW BEST:: SOT 15058 SOS 9797 HAS SOPS 1554 HAS SOUS 1826 HAS SOUPS 1554 WITH SCORE 1563.797
AT ITER 8534 NEW BEST:: SOT 15056 SOS 9797 HAS SOPS 1553 HAS SOUS 1825 HAS SOUPS 1553 WITH SCORE 1562.797
AT ITER 8598 NEW BEST:: SOT 15056 SOS 9795 HAS SOPS 1551 HAS SOUS 1823 HAS SOUPS 1551 WITH SCORE 1560.795
AT ITER 8605 NEW BEST:: SOT 15048 SOS 9787 HAS SOPS 1535 HAS SOUS 1807 HAS SOUPS 1535 WITH SCORE 1544.787
AT ITER 8707 NEW BEST:: SOT 15050 SOS 9789 HAS SOPS 1533 HAS SOUS 1805 HAS SOUPS 1533 WITH SCORE 1542.789
AT ITER 8808 NEW BEST:: SOT 15048 SOS 9773 HAS SOPS 1529 HAS SOUS 1801 HAS SOUPS 1529 WITH SCORE 1538.773
AT ITER 8868 NEW BEST:: SOT 15046 SOS 9771 HAS SOPS 1525 HAS SOUS 1797 HAS SOUPS 1525 WITH SCORE 1534.771
AT ITER 8906 NEW BEST:: SOT 15044 SOS 9769 HAS SOPS 1523 HAS SOUS 1795 HAS SOUPS 1523 WITH SCORE 1532.769
AT ITER 9032 NEW BEST:: SOT 15044 SOS 9768 HAS SOPS 1519 HAS SOUS 1791 HAS SOUPS 1519 WITH SCORE 1528.768
AT ITER 9085 NEW BEST:: SOT 15043 SOS 9767 HAS SOPS 1519 HAS SOUS 1791 HAS SOUPS 1519 WITH SCORE 1528.767
AT ITER 9406 NEW BEST:: SOT 15045 SOS 9765 HAS SOPS 1514 HAS SOUS 1786 HAS SOUPS 1514 WITH SCORE 1523.765
AT ITER 9606 NEW BEST:: SOT 15046 SOS 9765 HAS SOPS 1510 HAS SOUS 1782 HAS SOUPS 1510 WITH SCORE 1519.765
AT ITER 9636 NEW BEST:: SOT 15046 SOS 9765 HAS SOPS 1509 HAS SOUS 1781 HAS SOUPS 1509 WITH SCORE 1518.765
AT ITER 9647 NEW BEST:: SOT 15048 SOS 9767 HAS SOPS 1508 HAS SOUS 1780 HAS SOUPS 1508 WITH SCORE 1517.767
AT ITER 9805 NEW BEST:: SOT 15047 SOS 9766 HAS SOPS 1507 HAS SOUS 1779 HAS SOUPS 1507 WITH SCORE 1516.766
AT ITER 9836 NEW BEST:: SOT 15045 SOS 9762 HAS SOPS 1503 HAS SOUS 1775 HAS SOUPS 1503 WITH SCORE 1512.762
AT ITER 9851 NEW BEST:: SOT 15045 SOS 9760 HAS SOPS 1503 HAS SOUS 1775 HAS SOUPS 1503 WITH SCORE 1512.76
AT ITER 9867 NEW BEST:: SOT 15043 SOS 9758 HAS SOPS 1503 HAS SOUS 1775 HAS SOUPS 1503 WITH SCORE 1512.758
STATE_SPACE STATES 379749833583242 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 16 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 6766451580210477 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679904867666

--------------------
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-14a"
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"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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-5348"
echo " Executing tool smart"
echo " Input is DiscoveryGPU-PT-14a, 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 r131-smll-167819407600416"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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