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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 196K
-rw-r--r-- 1 mcc users 3.4K Mar 30 01:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 30 01:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 28 16:17 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 16:17 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.0K Apr 8 14:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.7K Apr 8 14:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 2.8K Mar 27 08:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 14K Mar 27 08:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 26 08:16 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 26 08:16 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K 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 37K 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 1589103097284

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

Filename model.pnml
Petri model created: 135 places, 92 transitions, 457 arcs.
AT ITER 0 NEW BEST:: SOT 9263 SOS 7681 HAS SOPS 7681 HAS SOUS 5420 HAS SOUPS 5420 WITH SCORE 5427.681
AT ITER 10 NEW BEST:: SOT 8978 SOS 7452 HAS SOPS 7452 HAS SOUS 5419 HAS SOUPS 5419 WITH SCORE 5426.452
AT ITER 12 NEW BEST:: SOT 8950 SOS 7424 HAS SOPS 7424 HAS SOUS 5391 HAS SOUPS 5391 WITH SCORE 5398.424
AT ITER 13 NEW BEST:: SOT 8949 SOS 7423 HAS SOPS 7423 HAS SOUS 5390 HAS SOUPS 5390 WITH SCORE 5397.423
AT ITER 15 NEW BEST:: SOT 8949 SOS 7423 HAS SOPS 7423 HAS SOUS 5389 HAS SOUPS 5389 WITH SCORE 5396.423
AT ITER 17 NEW BEST:: SOT 8949 SOS 7440 HAS SOPS 7440 HAS SOUS 5388 HAS SOUPS 5388 WITH SCORE 5395.44
AT ITER 18 NEW BEST:: SOT 9045 SOS 7485 HAS SOPS 7485 HAS SOUS 5322 HAS SOUPS 5322 WITH SCORE 5329.485
AT ITER 19 NEW BEST:: SOT 8880 SOS 7255 HAS SOPS 7255 HAS SOUS 5113 HAS SOUPS 5113 WITH SCORE 5120.255
AT ITER 20 NEW BEST:: SOT 8880 SOS 6988 HAS SOPS 6988 HAS SOUS 5082 HAS SOUPS 5082 WITH SCORE 5088.988
AT ITER 21 NEW BEST:: SOT 8823 SOS 6922 HAS SOPS 6922 HAS SOUS 5016 HAS SOUPS 5016 WITH SCORE 5022.922
AT ITER 22 NEW BEST:: SOT 8789 SOS 6870 HAS SOPS 6870 HAS SOUS 4964 HAS SOUPS 4964 WITH SCORE 4970.87
AT ITER 25 NEW BEST:: SOT 8793 SOS 6874 HAS SOPS 6874 HAS SOUS 4962 HAS SOUPS 4962 WITH SCORE 4968.874
AT ITER 28 NEW BEST:: SOT 8793 SOS 6830 HAS SOPS 6830 HAS SOUS 4918 HAS SOUPS 4918 WITH SCORE 4924.83
AT ITER 29 NEW BEST:: SOT 8793 SOS 6811 HAS SOPS 6811 HAS SOUS 4903 HAS SOUPS 4903 WITH SCORE 4909.811
AT ITER 33 NEW BEST:: SOT 8791 SOS 6775 HAS SOPS 6775 HAS SOUS 4867 HAS SOUPS 4867 WITH SCORE 4873.775
AT ITER 35 NEW BEST:: SOT 8771 SOS 6527 HAS SOPS 6527 HAS SOUS 4787 HAS SOUPS 4787 WITH SCORE 4793.527
AT ITER 40 NEW BEST:: SOT 8781 SOS 6466 HAS SOPS 6466 HAS SOUS 4731 HAS SOUPS 4731 WITH SCORE 4737.466
AT ITER 42 NEW BEST:: SOT 8778 SOS 6463 HAS SOPS 6463 HAS SOUS 4728 HAS SOUPS 4728 WITH SCORE 4734.463
AT ITER 48 NEW BEST:: SOT 8766 SOS 6451 HAS SOPS 6451 HAS SOUS 4724 HAS SOUPS 4724 WITH SCORE 4730.451
AT ITER 58 NEW BEST:: SOT 8567 SOS 6229 HAS SOPS 6229 HAS SOUS 4598 HAS SOUPS 4598 WITH SCORE 4604.229
AT ITER 66 NEW BEST:: SOT 8552 SOS 6214 HAS SOPS 6214 HAS SOUS 4593 HAS SOUPS 4593 WITH SCORE 4599.214
AT ITER 69 NEW BEST:: SOT 8554 SOS 6201 HAS SOPS 6201 HAS SOUS 4580 HAS SOUPS 4580 WITH SCORE 4586.201
AT ITER 70 NEW BEST:: SOT 8558 SOS 6193 HAS SOPS 6193 HAS SOUS 4572 HAS SOUPS 4572 WITH SCORE 4578.193
AT ITER 71 NEW BEST:: SOT 8547 SOS 6182 HAS SOPS 6182 HAS SOUS 4561 HAS SOUPS 4561 WITH SCORE 4567.182
AT ITER 76 NEW BEST:: SOT 8524 SOS 6171 HAS SOPS 6171 HAS SOUS 4550 HAS SOUPS 4550 WITH SCORE 4556.171
AT ITER 78 NEW BEST:: SOT 8524 SOS 6166 HAS SOPS 6166 HAS SOUS 4545 HAS SOUPS 4545 WITH SCORE 4551.166
AT ITER 82 NEW BEST:: SOT 8495 SOS 6155 HAS SOPS 6155 HAS SOUS 4534 HAS SOUPS 4534 WITH SCORE 4540.155
AT ITER 85 NEW BEST:: SOT 8495 SOS 6152 HAS SOPS 6152 HAS SOUS 4532 HAS SOUPS 4532 WITH SCORE 4538.152
AT ITER 97 NEW BEST:: SOT 8480 SOS 6137 HAS SOPS 6137 HAS SOUS 4455 HAS SOUPS 4455 WITH SCORE 4461.137
AT ITER 103 NEW BEST:: SOT 8452 SOS 6081 HAS SOPS 6081 HAS SOUS 4399 HAS SOUPS 4399 WITH SCORE 4405.081
AT ITER 114 NEW BEST:: SOT 8440 SOS 6085 HAS SOPS 6085 HAS SOUS 4392 HAS SOUPS 4392 WITH SCORE 4398.085
AT ITER 127 NEW BEST:: SOT 8421 SOS 6066 HAS SOPS 6066 HAS SOUS 4369 HAS SOUPS 4369 WITH SCORE 4375.066
AT ITER 132 NEW BEST:: SOT 8452 SOS 6062 HAS SOPS 6062 HAS SOUS 4363 HAS SOUPS 4363 WITH SCORE 4369.062
AT ITER 133 NEW BEST:: SOT 8452 SOS 6004 HAS SOPS 6004 HAS SOUS 4305 HAS SOUPS 4305 WITH SCORE 4311.004
AT ITER 134 NEW BEST:: SOT 8403 SOS 5955 HAS SOPS 5955 HAS SOUS 4256 HAS SOUPS 4256 WITH SCORE 4261.955
AT ITER 138 NEW BEST:: SOT 8390 SOS 5942 HAS SOPS 5942 HAS SOUS 4243 HAS SOUPS 4243 WITH SCORE 4248.942
AT ITER 145 NEW BEST:: SOT 8344 SOS 5831 HAS SOPS 5831 HAS SOUS 4151 HAS SOUPS 4151 WITH SCORE 4156.831
AT ITER 148 NEW BEST:: SOT 8338 SOS 5813 HAS SOPS 5813 HAS SOUS 4133 HAS SOUPS 4133 WITH SCORE 4138.813
AT ITER 152 NEW BEST:: SOT 8312 SOS 5787 HAS SOPS 5787 HAS SOUS 4107 HAS SOUPS 4107 WITH SCORE 4112.787
AT ITER 161 NEW BEST:: SOT 8313 SOS 5783 HAS SOPS 5783 HAS SOUS 4103 HAS SOUPS 4103 WITH SCORE 4108.783
AT ITER 163 NEW BEST:: SOT 8250 SOS 5718 HAS SOPS 5718 HAS SOUS 4080 HAS SOUPS 4080 WITH SCORE 4085.718
AT ITER 166 NEW BEST:: SOT 8124 SOS 5537 HAS SOPS 5537 HAS SOUS 4052 HAS SOUPS 4052 WITH SCORE 4057.537
AT ITER 174 NEW BEST:: SOT 8096 SOS 5497 HAS SOPS 5497 HAS SOUS 4012 HAS SOUPS 4012 WITH SCORE 4017.497
AT ITER 175 NEW BEST:: SOT 8096 SOS 5497 HAS SOPS 5497 HAS SOUS 4010 HAS SOUPS 4010 WITH SCORE 4015.497
AT ITER 176 NEW BEST:: SOT 8092 SOS 5493 HAS SOPS 5493 HAS SOUS 4006 HAS SOUPS 4006 WITH SCORE 4011.493
AT ITER 178 NEW BEST:: SOT 8031 SOS 5403 HAS SOPS 5403 HAS SOUS 3916 HAS SOUPS 3916 WITH SCORE 3921.403
AT ITER 183 NEW BEST:: SOT 7891 SOS 5263 HAS SOPS 5263 HAS SOUS 3862 HAS SOUPS 3862 WITH SCORE 3867.263
AT ITER 190 NEW BEST:: SOT 7815 SOS 5177 HAS SOPS 5177 HAS SOUS 3812 HAS SOUPS 3812 WITH SCORE 3817.177
AT ITER 201 NEW BEST:: SOT 7815 SOS 5177 HAS SOPS 5177 HAS SOUS 3763 HAS SOUPS 3763 WITH SCORE 3768.177
AT ITER 206 NEW BEST:: SOT 7811 SOS 5174 HAS SOPS 5174 HAS SOUS 3760 HAS SOUPS 3760 WITH SCORE 3765.174
AT ITER 212 NEW BEST:: SOT 7642 SOS 4992 HAS SOPS 4992 HAS SOUS 3694 HAS SOUPS 3694 WITH SCORE 3698.992
AT ITER 216 NEW BEST:: SOT 7642 SOS 4978 HAS SOPS 4978 HAS SOUS 3688 HAS SOUPS 3688 WITH SCORE 3692.978
AT ITER 219 NEW BEST:: SOT 7625 SOS 4961 HAS SOPS 4961 HAS SOUS 3603 HAS SOUPS 3603 WITH SCORE 3607.961
AT ITER 227 NEW BEST:: SOT 7625 SOS 4962 HAS SOPS 4962 HAS SOUS 3598 HAS SOUPS 3598 WITH SCORE 3602.962
AT ITER 230 NEW BEST:: SOT 7625 SOS 4944 HAS SOPS 4944 HAS SOUS 3580 HAS SOUPS 3580 WITH SCORE 3584.944
AT ITER 237 NEW BEST:: SOT 7569 SOS 4888 HAS SOPS 4888 HAS SOUS 3548 HAS SOUPS 3548 WITH SCORE 3552.888
AT ITER 244 NEW BEST:: SOT 7561 SOS 4880 HAS SOPS 4880 HAS SOUS 3540 HAS SOUPS 3540 WITH SCORE 3544.88
AT ITER 248 NEW BEST:: SOT 7555 SOS 4874 HAS SOPS 4874 HAS SOUS 3534 HAS SOUPS 3534 WITH SCORE 3538.874
AT ITER 258 NEW BEST:: SOT 7549 SOS 4870 HAS SOPS 4870 HAS SOUS 3534 HAS SOUPS 3534 WITH SCORE 3538.87
AT ITER 263 NEW BEST:: SOT 7533 SOS 4900 HAS SOPS 4900 HAS SOUS 3532 HAS SOUPS 3532 WITH SCORE 3536.9
AT ITER 278 NEW BEST:: SOT 7533 SOS 4886 HAS SOPS 4886 HAS SOUS 3516 HAS SOUPS 3516 WITH SCORE 3520.886
AT ITER 282 NEW BEST:: SOT 7524 SOS 4877 HAS SOPS 4877 HAS SOUS 3507 HAS SOUPS 3507 WITH SCORE 3511.877
AT ITER 286 NEW BEST:: SOT 7526 SOS 4879 HAS SOPS 4879 HAS SOUS 3466 HAS SOUPS 3466 WITH SCORE 3470.879
AT ITER 295 NEW BEST:: SOT 7526 SOS 4893 HAS SOPS 4893 HAS SOUS 3454 HAS SOUPS 3454 WITH SCORE 3458.893
AT ITER 296 NEW BEST:: SOT 7498 SOS 4865 HAS SOPS 4865 HAS SOUS 3426 HAS SOUPS 3426 WITH SCORE 3430.865
AT ITER 298 NEW BEST:: SOT 7478 SOS 4859 HAS SOPS 4859 HAS SOUS 3422 HAS SOUPS 3422 WITH SCORE 3426.859
AT ITER 306 NEW BEST:: SOT 7478 SOS 4853 HAS SOPS 4853 HAS SOUS 3420 HAS SOUPS 3420 WITH SCORE 3424.853
AT ITER 307 NEW BEST:: SOT 7459 SOS 4840 HAS SOPS 4840 HAS SOUS 3406 HAS SOUPS 3406 WITH SCORE 3410.84
AT ITER 311 NEW BEST:: SOT 7393 SOS 4774 HAS SOPS 4774 HAS SOUS 3340 HAS SOUPS 3340 WITH SCORE 3344.774
AT ITER 315 NEW BEST:: SOT 7375 SOS 4756 HAS SOPS 4756 HAS SOUS 3340 HAS SOUPS 3340 WITH SCORE 3344.756
AT ITER 319 NEW BEST:: SOT 7373 SOS 4752 HAS SOPS 4752 HAS SOUS 3338 HAS SOUPS 3338 WITH SCORE 3342.752
AT ITER 320 NEW BEST:: SOT 7387 SOS 4742 HAS SOPS 4742 HAS SOUS 3328 HAS SOUPS 3328 WITH SCORE 3332.742
AT ITER 326 NEW BEST:: SOT 7361 SOS 4703 HAS SOPS 4703 HAS SOUS 3308 HAS SOUPS 3308 WITH SCORE 3312.703
AT ITER 332 NEW BEST:: SOT 7352 SOS 4676 HAS SOPS 4676 HAS SOUS 3281 HAS SOUPS 3281 WITH SCORE 3285.676
AT ITER 337 NEW BEST:: SOT 7351 SOS 4675 HAS SOPS 4675 HAS SOUS 3279 HAS SOUPS 3279 WITH SCORE 3283.675
AT ITER 338 NEW BEST:: SOT 7346 SOS 4665 HAS SOPS 4665 HAS SOUS 3269 HAS SOUPS 3269 WITH SCORE 3273.665
AT ITER 343 NEW BEST:: SOT 7343 SOS 4662 HAS SOPS 4662 HAS SOUS 3266 HAS SOUPS 3266 WITH SCORE 3270.662
AT ITER 355 NEW BEST:: SOT 7265 SOS 4562 HAS SOPS 4562 HAS SOUS 3218 HAS SOUPS 3218 WITH SCORE 3222.562
AT ITER 367 NEW BEST:: SOT 7265 SOS 4566 HAS SOPS 4566 HAS SOUS 3217 HAS SOUPS 3217 WITH SCORE 3221.566
AT ITER 369 NEW BEST:: SOT 7265 SOS 4567 HAS SOPS 4567 HAS SOUS 3216 HAS SOUPS 3216 WITH SCORE 3220.567
AT ITER 388 NEW BEST:: SOT 7254 SOS 4532 HAS SOPS 4532 HAS SOUS 3194 HAS SOUPS 3194 WITH SCORE 3198.532
AT ITER 419 NEW BEST:: SOT 7254 SOS 4532 HAS SOPS 4532 HAS SOUS 3191 HAS SOUPS 3191 WITH SCORE 3195.532
AT ITER 428 NEW BEST:: SOT 7197 SOS 4475 HAS SOPS 4475 HAS SOUS 3151 HAS SOUPS 3151 WITH SCORE 3155.475
AT ITER 434 NEW BEST:: SOT 7173 SOS 4454 HAS SOPS 4454 HAS SOUS 3142 HAS SOUPS 3142 WITH SCORE 3146.454
AT ITER 443 NEW BEST:: SOT 7186 SOS 4453 HAS SOPS 4453 HAS SOUS 3140 HAS SOUPS 3140 WITH SCORE 3144.453
AT ITER 467 NEW BEST:: SOT 7190 SOS 4457 HAS SOPS 4457 HAS SOUS 3121 HAS SOUPS 3121 WITH SCORE 3125.457
AT ITER 471 NEW BEST:: SOT 7182 SOS 4449 HAS SOPS 4449 HAS SOUS 3113 HAS SOUPS 3113 WITH SCORE 3117.449
AT ITER 472 NEW BEST:: SOT 7185 SOS 4440 HAS SOPS 4440 HAS SOUS 3104 HAS SOUPS 3104 WITH SCORE 3108.44
AT ITER 481 NEW BEST:: SOT 7175 SOS 4419 HAS SOPS 4419 HAS SOUS 3082 HAS SOUPS 3082 WITH SCORE 3086.419
AT ITER 482 NEW BEST:: SOT 7175 SOS 4410 HAS SOPS 4410 HAS SOUS 3073 HAS SOUPS 3073 WITH SCORE 3077.41
AT ITER 503 NEW BEST:: SOT 7182 SOS 4394 HAS SOPS 4394 HAS SOUS 3057 HAS SOUPS 3057 WITH SCORE 3061.394
AT ITER 526 NEW BEST:: SOT 7179 SOS 4390 HAS SOPS 4390 HAS SOUS 3054 HAS SOUPS 3054 WITH SCORE 3058.39
AT ITER 539 NEW BEST:: SOT 7169 SOS 4367 HAS SOPS 4367 HAS SOUS 3033 HAS SOUPS 3033 WITH SCORE 3037.367
AT ITER 550 NEW BEST:: SOT 7165 SOS 4358 HAS SOPS 4358 HAS SOUS 3024 HAS SOUPS 3024 WITH SCORE 3028.358
AT ITER 553 NEW BEST:: SOT 7159 SOS 4350 HAS SOPS 4350 HAS SOUS 3016 HAS SOUPS 3016 WITH SCORE 3020.35
AT ITER 554 NEW BEST:: SOT 7152 SOS 4343 HAS SOPS 4343 HAS SOUS 3012 HAS SOUPS 3012 WITH SCORE 3016.343
AT ITER 558 NEW BEST:: SOT 7157 SOS 4343 HAS SOPS 4343 HAS SOUS 3009 HAS SOUPS 3009 WITH SCORE 3013.343
AT ITER 561 NEW BEST:: SOT 7157 SOS 4342 HAS SOPS 4342 HAS SOUS 3008 HAS SOUPS 3008 WITH SCORE 3012.342
AT ITER 563 NEW BEST:: SOT 7101 SOS 4295 HAS SOPS 4295 HAS SOUS 2987 HAS SOUPS 2987 WITH SCORE 2991.295
AT ITER 564 NEW BEST:: SOT 7094 SOS 4279 HAS SOPS 4279 HAS SOUS 2970 HAS SOUPS 2970 WITH SCORE 2974.279
AT ITER 580 NEW BEST:: SOT 7077 SOS 4259 HAS SOPS 4259 HAS SOUS 2948 HAS SOUPS 2948 WITH SCORE 2952.259
AT ITER 581 NEW BEST:: SOT 7080 SOS 4261 HAS SOPS 4261 HAS SOUS 2946 HAS SOUPS 2946 WITH SCORE 2950.261
AT ITER 599 NEW BEST:: SOT 7065 SOS 4231 HAS SOPS 4231 HAS SOUS 2916 HAS SOUPS 2916 WITH SCORE 2920.231
AT ITER 618 NEW BEST:: SOT 7045 SOS 4210 HAS SOPS 4210 HAS SOUS 2896 HAS SOUPS 2896 WITH SCORE 2900.21
AT ITER 619 NEW BEST:: SOT 7023 SOS 4188 HAS SOPS 4188 HAS SOUS 2863 HAS SOUPS 2863 WITH SCORE 2867.188
AT ITER 623 NEW BEST:: SOT 7012 SOS 4169 HAS SOPS 4169 HAS SOUS 2850 HAS SOUPS 2850 WITH SCORE 2854.169
AT ITER 624 NEW BEST:: SOT 6980 SOS 4146 HAS SOPS 4146 HAS SOUS 2845 HAS SOUPS 2845 WITH SCORE 2849.146
AT ITER 632 NEW BEST:: SOT 6976 SOS 4140 HAS SOPS 4140 HAS SOUS 2839 HAS SOUPS 2839 WITH SCORE 2843.14
AT ITER 634 NEW BEST:: SOT 6974 SOS 4139 HAS SOPS 4139 HAS SOUS 2838 HAS SOUPS 2838 WITH SCORE 2842.139
AT ITER 637 NEW BEST:: SOT 6974 SOS 4101 HAS SOPS 4101 HAS SOUS 2800 HAS SOUPS 2800 WITH SCORE 2804.101
AT ITER 641 NEW BEST:: SOT 6973 SOS 4093 HAS SOPS 4093 HAS SOUS 2796 HAS SOUPS 2796 WITH SCORE 2800.093
AT ITER 661 NEW BEST:: SOT 6970 SOS 3969 HAS SOPS 3969 HAS SOUS 2719 HAS SOUPS 2719 WITH SCORE 2722.969
AT ITER 676 NEW BEST:: SOT 6991 SOS 3990 HAS SOPS 3990 HAS SOUS 2711 HAS SOUPS 2711 WITH SCORE 2714.99
AT ITER 696 NEW BEST:: SOT 6951 SOS 3950 HAS SOPS 3950 HAS SOUS 2711 HAS SOUPS 2711 WITH SCORE 2714.95
AT ITER 700 NEW BEST:: SOT 6949 SOS 3948 HAS SOPS 3948 HAS SOUS 2711 HAS SOUPS 2711 WITH SCORE 2714.948
AT ITER 722 NEW BEST:: SOT 6950 SOS 3944 HAS SOPS 3944 HAS SOUS 2707 HAS SOUPS 2707 WITH SCORE 2710.944
AT ITER 726 NEW BEST:: SOT 6909 SOS 3923 HAS SOPS 3923 HAS SOUS 2686 HAS SOUPS 2686 WITH SCORE 2689.923
AT ITER 733 NEW BEST:: SOT 6909 SOS 3922 HAS SOPS 3922 HAS SOUS 2686 HAS SOUPS 2686 WITH SCORE 2689.922
AT ITER 737 NEW BEST:: SOT 6909 SOS 3924 HAS SOPS 3924 HAS SOUS 2685 HAS SOUPS 2685 WITH SCORE 2688.924
AT ITER 787 NEW BEST:: SOT 6907 SOS 3922 HAS SOPS 3922 HAS SOUS 2683 HAS SOUPS 2683 WITH SCORE 2686.922
AT ITER 795 NEW BEST:: SOT 6907 SOS 3922 HAS SOPS 3922 HAS SOUS 2677 HAS SOUPS 2677 WITH SCORE 2680.922
AT ITER 813 NEW BEST:: SOT 6907 SOS 3921 HAS SOPS 3921 HAS SOUS 2677 HAS SOUPS 2677 WITH SCORE 2680.921
AT ITER 816 NEW BEST:: SOT 6909 SOS 3917 HAS SOPS 3917 HAS SOUS 2674 HAS SOUPS 2674 WITH SCORE 2677.917
AT ITER 824 NEW BEST:: SOT 6903 SOS 3909 HAS SOPS 3909 HAS SOUS 2666 HAS SOUPS 2666 WITH SCORE 2669.909
AT ITER 835 NEW BEST:: SOT 6900 SOS 3906 HAS SOPS 3906 HAS SOUS 2663 HAS SOUPS 2663 WITH SCORE 2666.906
AT ITER 838 NEW BEST:: SOT 6895 SOS 3901 HAS SOPS 3901 HAS SOUS 2658 HAS SOUPS 2658 WITH SCORE 2661.901
AT ITER 843 NEW BEST:: SOT 6895 SOS 3887 HAS SOPS 3887 HAS SOUS 2644 HAS SOUPS 2644 WITH SCORE 2647.887
AT ITER 853 NEW BEST:: SOT 6893 SOS 3880 HAS SOPS 3880 HAS SOUS 2637 HAS SOUPS 2637 WITH SCORE 2640.88
AT ITER 868 NEW BEST:: SOT 6848 SOS 3841 HAS SOPS 3841 HAS SOUS 2628 HAS SOUPS 2628 WITH SCORE 2631.841
AT ITER 883 NEW BEST:: SOT 6821 SOS 3800 HAS SOPS 3800 HAS SOUS 2590 HAS SOUPS 2590 WITH SCORE 2593.8
AT ITER 894 NEW BEST:: SOT 6821 SOS 3801 HAS SOPS 3801 HAS SOUS 2589 HAS SOUPS 2589 WITH SCORE 2592.801
AT ITER 898 NEW BEST:: SOT 6821 SOS 3798 HAS SOPS 3798 HAS SOUS 2589 HAS SOUPS 2589 WITH SCORE 2592.798
AT ITER 905 NEW BEST:: SOT 6802 SOS 3755 HAS SOPS 3755 HAS SOUS 2579 HAS SOUPS 2579 WITH SCORE 2582.755
AT ITER 918 NEW BEST:: SOT 6794 SOS 3733 HAS SOPS 3733 HAS SOUS 2557 HAS SOUPS 2557 WITH SCORE 2560.733
AT ITER 927 NEW BEST:: SOT 6794 SOS 3729 HAS SOPS 3729 HAS SOUS 2547 HAS SOUPS 2547 WITH SCORE 2550.729
AT ITER 934 NEW BEST:: SOT 6790 SOS 3724 HAS SOPS 3724 HAS SOUS 2542 HAS SOUPS 2542 WITH SCORE 2545.724
AT ITER 947 NEW BEST:: SOT 6787 SOS 3721 HAS SOPS 3721 HAS SOUS 2539 HAS SOUPS 2539 WITH SCORE 2542.721
AT ITER 951 NEW BEST:: SOT 6787 SOS 3721 HAS SOPS 3721 HAS SOUS 2533 HAS SOUPS 2533 WITH SCORE 2536.721
AT ITER 955 NEW BEST:: SOT 6783 SOS 3717 HAS SOPS 3717 HAS SOUS 2501 HAS SOUPS 2501 WITH SCORE 2504.717
AT ITER 957 NEW BEST:: SOT 6783 SOS 3717 HAS SOPS 3717 HAS SOUS 2488 HAS SOUPS 2488 WITH SCORE 2491.717
AT ITER 958 NEW BEST:: SOT 6775 SOS 3709 HAS SOPS 3709 HAS SOUS 2477 HAS SOUPS 2477 WITH SCORE 2480.709
AT ITER 971 NEW BEST:: SOT 6773 SOS 3706 HAS SOPS 3706 HAS SOUS 2474 HAS SOUPS 2474 WITH SCORE 2477.706
AT ITER 990 NEW BEST:: SOT 6746 SOS 3660 HAS SOPS 3660 HAS SOUS 2428 HAS SOUPS 2428 WITH SCORE 2431.66
AT ITER 991 NEW BEST:: SOT 6746 SOS 3657 HAS SOPS 3657 HAS SOUS 2425 HAS SOUPS 2425 WITH SCORE 2428.657
AT ITER 995 NEW BEST:: SOT 6709 SOS 3645 HAS SOPS 3645 HAS SOUS 2413 HAS SOUPS 2413 WITH SCORE 2416.645
AT ITER 1022 NEW BEST:: SOT 6666 SOS 3651 HAS SOPS 3651 HAS SOUS 2405 HAS SOUPS 2405 WITH SCORE 2408.651
AT ITER 1033 NEW BEST:: SOT 6676 SOS 3630 HAS SOPS 3630 HAS SOUS 2399 HAS SOUPS 2399 WITH SCORE 2402.63
AT ITER 1045 NEW BEST:: SOT 6641 SOS 3609 HAS SOPS 3609 HAS SOUS 2387 HAS SOUPS 2387 WITH SCORE 2390.609
AT ITER 1048 NEW BEST:: SOT 6635 SOS 3603 HAS SOPS 3603 HAS SOUS 2381 HAS SOUPS 2381 WITH SCORE 2384.603
AT ITER 1060 NEW BEST:: SOT 6635 SOS 3603 HAS SOPS 3603 HAS SOUS 2377 HAS SOUPS 2377 WITH SCORE 2380.603
AT ITER 1086 NEW BEST:: SOT 6629 SOS 3609 HAS SOPS 3609 HAS SOUS 2375 HAS SOUPS 2375 WITH SCORE 2378.609
AT ITER 1122 NEW BEST:: SOT 6597 SOS 3608 HAS SOPS 3608 HAS SOUS 2374 HAS SOUPS 2374 WITH SCORE 2377.608
AT ITER 1124 NEW BEST:: SOT 6597 SOS 3605 HAS SOPS 3605 HAS SOUS 2371 HAS SOUPS 2371 WITH SCORE 2374.605
AT ITER 1143 NEW BEST:: SOT 6597 SOS 3599 HAS SOPS 3599 HAS SOUS 2369 HAS SOUPS 2369 WITH SCORE 2372.599
AT ITER 1152 NEW BEST:: SOT 6591 SOS 3587 HAS SOPS 3587 HAS SOUS 2363 HAS SOUPS 2363 WITH SCORE 2366.587
AT ITER 1173 NEW BEST:: SOT 6589 SOS 3584 HAS SOPS 3584 HAS SOUS 2361 HAS SOUPS 2361 WITH SCORE 2364.584
AT ITER 1179 NEW BEST:: SOT 6576 SOS 3571 HAS SOPS 3571 HAS SOUS 2335 HAS SOUPS 2335 WITH SCORE 2338.571
AT ITER 1184 NEW BEST:: SOT 6569 SOS 3564 HAS SOPS 3564 HAS SOUS 2328 HAS SOUPS 2328 WITH SCORE 2331.564
AT ITER 1191 NEW BEST:: SOT 6567 SOS 3562 HAS SOPS 3562 HAS SOUS 2326 HAS SOUPS 2326 WITH SCORE 2329.562
AT ITER 1201 NEW BEST:: SOT 6568 SOS 3563 HAS SOPS 3563 HAS SOUS 2322 HAS SOUPS 2322 WITH SCORE 2325.563
AT ITER 1232 NEW BEST:: SOT 6566 SOS 3560 HAS SOPS 3560 HAS SOUS 2319 HAS SOUPS 2319 WITH SCORE 2322.56
AT ITER 1243 NEW BEST:: SOT 6566 SOS 3554 HAS SOPS 3554 HAS SOUS 2313 HAS SOUPS 2313 WITH SCORE 2316.554
AT ITER 1327 NEW BEST:: SOT 6557 SOS 3527 HAS SOPS 3527 HAS SOUS 2286 HAS SOUPS 2286 WITH SCORE 2289.527
AT ITER 1332 NEW BEST:: SOT 6557 SOS 3527 HAS SOPS 3527 HAS SOUS 2282 HAS SOUPS 2282 WITH SCORE 2285.527
AT ITER 1367 NEW BEST:: SOT 6553 SOS 3523 HAS SOPS 3523 HAS SOUS 2278 HAS SOUPS 2278 WITH SCORE 2281.523
AT ITER 1387 NEW BEST:: SOT 6540 SOS 3504 HAS SOPS 3504 HAS SOUS 2259 HAS SOUPS 2259 WITH SCORE 2262.504
AT ITER 1390 NEW BEST:: SOT 6537 SOS 3501 HAS SOPS 3501 HAS SOUS 2256 HAS SOUPS 2256 WITH SCORE 2259.501
AT ITER 1401 NEW BEST:: SOT 6529 SOS 3489 HAS SOPS 3489 HAS SOUS 2244 HAS SOUPS 2244 WITH SCORE 2247.489
AT ITER 1451 NEW BEST:: SOT 6527 SOS 3487 HAS SOPS 3487 HAS SOUS 2242 HAS SOUPS 2242 WITH SCORE 2245.487
AT ITER 1470 NEW BEST:: SOT 6520 SOS 3474 HAS SOPS 3474 HAS SOUS 2229 HAS SOUPS 2229 WITH SCORE 2232.474
AT ITER 1518 NEW BEST:: SOT 6514 SOS 3465 HAS SOPS 3465 HAS SOUS 2222 HAS SOUPS 2222 WITH SCORE 2225.465
AT ITER 1533 NEW BEST:: SOT 6505 SOS 3456 HAS SOPS 3456 HAS SOUS 2213 HAS SOUPS 2213 WITH SCORE 2216.456
AT ITER 1569 NEW BEST:: SOT 6494 SOS 3424 HAS SOPS 3424 HAS SOUS 2181 HAS SOUPS 2181 WITH SCORE 2184.424
AT ITER 1592 NEW BEST:: SOT 6496 SOS 3423 HAS SOPS 3423 HAS SOUS 2180 HAS SOUPS 2180 WITH SCORE 2183.423
AT ITER 1610 NEW BEST:: SOT 6495 SOS 3422 HAS SOPS 3422 HAS SOUS 2179 HAS SOUPS 2179 WITH SCORE 2182.422
AT ITER 1646 NEW BEST:: SOT 6489 SOS 3409 HAS SOPS 3409 HAS SOUS 2166 HAS SOUPS 2166 WITH SCORE 2169.409
AT ITER 1707 NEW BEST:: SOT 6492 SOS 3413 HAS SOPS 3413 HAS SOUS 2165 HAS SOUPS 2165 WITH SCORE 2168.413
AT ITER 1753 NEW BEST:: SOT 6492 SOS 3389 HAS SOPS 3389 HAS SOUS 2159 HAS SOUPS 2159 WITH SCORE 2162.389
AT ITER 1767 NEW BEST:: SOT 6492 SOS 3381 HAS SOPS 3381 HAS SOUS 2152 HAS SOUPS 2152 WITH SCORE 2155.381
AT ITER 1829 NEW BEST:: SOT 6489 SOS 3379 HAS SOPS 3379 HAS SOUS 2149 HAS SOUPS 2149 WITH SCORE 2152.379
AT ITER 1831 NEW BEST:: SOT 6491 SOS 3381 HAS SOPS 3381 HAS SOUS 2144 HAS SOUPS 2144 WITH SCORE 2147.381
AT ITER 1849 NEW BEST:: SOT 6486 SOS 3376 HAS SOPS 3376 HAS SOUS 2139 HAS SOUPS 2139 WITH SCORE 2142.376
AT ITER 1854 NEW BEST:: SOT 6486 SOS 3373 HAS SOPS 3373 HAS SOUS 2136 HAS SOUPS 2136 WITH SCORE 2139.373
AT ITER 1870 NEW BEST:: SOT 6481 SOS 3364 HAS SOPS 3364 HAS SOUS 2133 HAS SOUPS 2133 WITH SCORE 2136.364
AT ITER 1970 NEW BEST:: SOT 6476 SOS 3360 HAS SOPS 3360 HAS SOUS 2133 HAS SOUPS 2133 WITH SCORE 2136.36
AT ITER 1972 NEW BEST:: SOT 6480 SOS 3365 HAS SOPS 3365 HAS SOUS 2130 HAS SOUPS 2130 WITH SCORE 2133.365
AT ITER 1975 NEW BEST:: SOT 6480 SOS 3357 HAS SOPS 3357 HAS SOUS 2126 HAS SOUPS 2126 WITH SCORE 2129.357
AT ITER 2000 NEW BEST:: SOT 6478 SOS 3355 HAS SOPS 3355 HAS SOUS 2124 HAS SOUPS 2124 WITH SCORE 2127.355
AT ITER 2058 NEW BEST:: SOT 6462 SOS 3335 HAS SOPS 3335 HAS SOUS 2112 HAS SOUPS 2112 WITH SCORE 2115.335
AT ITER 2068 NEW BEST:: SOT 6463 SOS 3332 HAS SOPS 3332 HAS SOUS 2111 HAS SOUPS 2111 WITH SCORE 2114.332
AT ITER 2151 NEW BEST:: SOT 6462 SOS 3331 HAS SOPS 3331 HAS SOUS 2110 HAS SOUPS 2110 WITH SCORE 2113.331
AT ITER 2178 NEW BEST:: SOT 6464 SOS 3328 HAS SOPS 3328 HAS SOUS 2107 HAS SOUPS 2107 WITH SCORE 2110.328
AT ITER 2202 NEW BEST:: SOT 6463 SOS 3326 HAS SOPS 3326 HAS SOUS 2105 HAS SOUPS 2105 WITH SCORE 2108.326
AT ITER 2203 NEW BEST:: SOT 6464 SOS 3327 HAS SOPS 3327 HAS SOUS 2104 HAS SOUPS 2104 WITH SCORE 2107.327
AT ITER 2271 NEW BEST:: SOT 6469 SOS 3330 HAS SOPS 3330 HAS SOUS 2100 HAS SOUPS 2100 WITH SCORE 2103.33
AT ITER 2309 NEW BEST:: SOT 6461 SOS 3317 HAS SOPS 3317 HAS SOUS 2087 HAS SOUPS 2087 WITH SCORE 2090.317
AT ITER 2342 NEW BEST:: SOT 6471 SOS 3304 HAS SOPS 3304 HAS SOUS 2074 HAS SOUPS 2074 WITH SCORE 2077.304
AT ITER 2356 NEW BEST:: SOT 6471 SOS 3308 HAS SOPS 3308 HAS SOUS 2073 HAS SOUPS 2073 WITH SCORE 2076.308
AT ITER 2362 NEW BEST:: SOT 6471 SOS 3307 HAS SOPS 3307 HAS SOUS 2072 HAS SOUPS 2072 WITH SCORE 2075.307
AT ITER 2365 NEW BEST:: SOT 6473 SOS 3309 HAS SOPS 3309 HAS SOUS 2070 HAS SOUPS 2070 WITH SCORE 2073.309
AT ITER 2399 NEW BEST:: SOT 6467 SOS 3303 HAS SOPS 3303 HAS SOUS 2064 HAS SOUPS 2064 WITH SCORE 2067.303
AT ITER 2415 NEW BEST:: SOT 6466 SOS 3111 HAS SOPS 3111 HAS SOUS 2063 HAS SOUPS 2063 WITH SCORE 2066.111
AT ITER 2499 NEW BEST:: SOT 6465 SOS 3109 HAS SOPS 3109 HAS SOUS 2061 HAS SOUPS 2061 WITH SCORE 2064.109
AT ITER 2507 NEW BEST:: SOT 6465 SOS 3099 HAS SOPS 3099 HAS SOUS 2056 HAS SOUPS 2056 WITH SCORE 2059.099
AT ITER 2593 NEW BEST:: SOT 6446 SOS 3079 HAS SOPS 3079 HAS SOUS 2042 HAS SOUPS 2042 WITH SCORE 2045.079
AT ITER 2614 NEW BEST:: SOT 6446 SOS 3076 HAS SOPS 3076 HAS SOUS 2039 HAS SOUPS 2039 WITH SCORE 2042.076
AT ITER 2632 NEW BEST:: SOT 6442 SOS 3076 HAS SOPS 3076 HAS SOUS 2028 HAS SOUPS 2028 WITH SCORE 2031.076
AT ITER 2645 NEW BEST:: SOT 6439 SOS 3069 HAS SOPS 3069 HAS SOUS 2026 HAS SOUPS 2026 WITH SCORE 2029.069
AT ITER 2703 NEW BEST:: SOT 6427 SOS 3054 HAS SOPS 3054 HAS SOUS 2014 HAS SOUPS 2014 WITH SCORE 2017.054
AT ITER 2767 NEW BEST:: SOT 6421 SOS 3044 HAS SOPS 3044 HAS SOUS 2008 HAS SOUPS 2008 WITH SCORE 2011.044
AT ITER 2772 NEW BEST:: SOT 6399 SOS 3039 HAS SOPS 3039 HAS SOUS 2002 HAS SOUPS 2002 WITH SCORE 2005.039
AT ITER 2871 NEW BEST:: SOT 6398 SOS 3037 HAS SOPS 3037 HAS SOUS 2000 HAS SOUPS 2000 WITH SCORE 2003.037
AT ITER 2918 NEW BEST:: SOT 6395 SOS 3031 HAS SOPS 3031 HAS SOUS 1994 HAS SOUPS 1994 WITH SCORE 1997.031
AT ITER 2929 NEW BEST:: SOT 6395 SOS 3021 HAS SOPS 3021 HAS SOUS 1986 HAS SOUPS 1986 WITH SCORE 1989.021
AT ITER 2950 NEW BEST:: SOT 6394 SOS 2996 HAS SOPS 2996 HAS SOUS 1969 HAS SOUPS 1969 WITH SCORE 1971.996
AT ITER 2966 NEW BEST:: SOT 6493 SOS 3095 HAS SOPS 3095 HAS SOUS 1964 HAS SOUPS 1964 WITH SCORE 1967.095
AT ITER 3004 NEW BEST:: SOT 6489 SOS 3095 HAS SOPS 3095 HAS SOUS 1962 HAS SOUPS 1962 WITH SCORE 1965.095
AT ITER 3015 NEW BEST:: SOT 6489 SOS 3091 HAS SOPS 3091 HAS SOUS 1958 HAS SOUPS 1958 WITH SCORE 1961.091
AT ITER 3026 NEW BEST:: SOT 6489 SOS 3089 HAS SOPS 3089 HAS SOUS 1956 HAS SOUPS 1956 WITH SCORE 1959.089
AT ITER 3108 NEW BEST:: SOT 6484 SOS 3059 HAS SOPS 3059 HAS SOUS 1954 HAS SOUPS 1954 WITH SCORE 1957.059
AT ITER 3155 NEW BEST:: SOT 6478 SOS 3053 HAS SOPS 3053 HAS SOUS 1948 HAS SOUPS 1948 WITH SCORE 1951.053
AT ITER 3167 NEW BEST:: SOT 6478 SOS 3051 HAS SOPS 3051 HAS SOUS 1946 HAS SOUPS 1946 WITH SCORE 1949.051
AT ITER 3200 NEW BEST:: SOT 6459 SOS 3031 HAS SOPS 3031 HAS SOUS 1936 HAS SOUPS 1936 WITH SCORE 1939.031
AT ITER 3208 NEW BEST:: SOT 6455 SOS 3027 HAS SOPS 3027 HAS SOUS 1932 HAS SOUPS 1932 WITH SCORE 1935.027
AT ITER 3232 NEW BEST:: SOT 6455 SOS 3024 HAS SOPS 3024 HAS SOUS 1929 HAS SOUPS 1929 WITH SCORE 1932.024
AT ITER 3244 NEW BEST:: SOT 6453 SOS 3022 HAS SOPS 3022 HAS SOUS 1927 HAS SOUPS 1927 WITH SCORE 1930.022
AT ITER 3256 NEW BEST:: SOT 6449 SOS 3016 HAS SOPS 3016 HAS SOUS 1921 HAS SOUPS 1921 WITH SCORE 1924.016
AT ITER 3258 NEW BEST:: SOT 6441 SOS 3002 HAS SOPS 3002 HAS SOUS 1911 HAS SOUPS 1911 WITH SCORE 1914.002
AT ITER 3310 NEW BEST:: SOT 6438 SOS 2999 HAS SOPS 2999 HAS SOUS 1905 HAS SOUPS 1905 WITH SCORE 1907.999
AT ITER 3364 NEW BEST:: SOT 6438 SOS 2997 HAS SOPS 2997 HAS SOUS 1905 HAS SOUPS 1905 WITH SCORE 1907.997
AT ITER 3381 NEW BEST:: SOT 6434 SOS 2983 HAS SOPS 2983 HAS SOUS 1891 HAS SOUPS 1891 WITH SCORE 1893.983
AT ITER 3403 NEW BEST:: SOT 6431 SOS 2980 HAS SOPS 2980 HAS SOUS 1888 HAS SOUPS 1888 WITH SCORE 1890.98
AT ITER 3517 NEW BEST:: SOT 6422 SOS 2989 HAS SOPS 2989 HAS SOUS 1884 HAS SOUPS 1884 WITH SCORE 1886.989
AT ITER 3520 NEW BEST:: SOT 6430 SOS 2983 HAS SOPS 2983 HAS SOUS 1878 HAS SOUPS 1878 WITH SCORE 1880.983
AT ITER 3539 NEW BEST:: SOT 6430 SOS 2979 HAS SOPS 2979 HAS SOUS 1874 HAS SOUPS 1874 WITH SCORE 1876.979
AT ITER 3542 NEW BEST:: SOT 6430 SOS 2979 HAS SOPS 2979 HAS SOUS 1871 HAS SOUPS 1871 WITH SCORE 1873.979
AT ITER 3560 NEW BEST:: SOT 6419 SOS 2959 HAS SOPS 2959 HAS SOUS 1858 HAS SOUPS 1858 WITH SCORE 1860.959
AT ITER 3564 NEW BEST:: SOT 6416 SOS 2956 HAS SOPS 2956 HAS SOUS 1855 HAS SOUPS 1855 WITH SCORE 1857.956
AT ITER 3575 NEW BEST:: SOT 6424 SOS 2967 HAS SOPS 2967 HAS SOUS 1853 HAS SOUPS 1853 WITH SCORE 1855.967
AT ITER 3669 NEW BEST:: SOT 6399 SOS 2942 HAS SOPS 2942 HAS SOUS 1848 HAS SOUPS 1848 WITH SCORE 1850.942
AT ITER 3704 NEW BEST:: SOT 6437 SOS 2985 HAS SOPS 2985 HAS SOUS 1839 HAS SOUPS 1839 WITH SCORE 1841.985
AT ITER 3734 NEW BEST:: SOT 6436 SOS 2984 HAS SOPS 2984 HAS SOUS 1838 HAS SOUPS 1838 WITH SCORE 1840.984
AT ITER 3877 NEW BEST:: SOT 6434 SOS 2982 HAS SOPS 2982 HAS SOUS 1836 HAS SOUPS 1836 WITH SCORE 1838.982
AT ITER 3888 NEW BEST:: SOT 6432 SOS 2980 HAS SOPS 2980 HAS SOUS 1832 HAS SOUPS 1832 WITH SCORE 1834.98
AT ITER 3895 NEW BEST:: SOT 6432 SOS 2978 HAS SOPS 2978 HAS SOUS 1831 HAS SOUPS 1831 WITH SCORE 1833.978
AT ITER 3915 NEW BEST:: SOT 6424 SOS 2972 HAS SOPS 2972 HAS SOUS 1825 HAS SOUPS 1825 WITH SCORE 1827.972
AT ITER 3943 NEW BEST:: SOT 6419 SOS 2966 HAS SOPS 2966 HAS SOUS 1823 HAS SOUPS 1823 WITH SCORE 1825.966
AT ITER 3960 NEW BEST:: SOT 6417 SOS 2960 HAS SOPS 2960 HAS SOUS 1818 HAS SOUPS 1818 WITH SCORE 1820.96
AT ITER 4033 NEW BEST:: SOT 6418 SOS 2959 HAS SOPS 2959 HAS SOUS 1817 HAS SOUPS 1817 WITH SCORE 1819.959
AT ITER 4056 NEW BEST:: SOT 6377 SOS 2918 HAS SOPS 2918 HAS SOUS 1812 HAS SOUPS 1812 WITH SCORE 1814.918
AT ITER 4083 NEW BEST:: SOT 6367 SOS 2905 HAS SOPS 2905 HAS SOUS 1809 HAS SOUPS 1809 WITH SCORE 1811.905
AT ITER 4086 NEW BEST:: SOT 6366 SOS 2902 HAS SOPS 2902 HAS SOUS 1806 HAS SOUPS 1806 WITH SCORE 1808.902
AT ITER 4094 NEW BEST:: SOT 6366 SOS 2902 HAS SOPS 2902 HAS SOUS 1805 HAS SOUPS 1805 WITH SCORE 1807.902
AT ITER 4152 NEW BEST:: SOT 6365 SOS 2901 HAS SOPS 2901 HAS SOUS 1804 HAS SOUPS 1804 WITH SCORE 1806.901
AT ITER 4165 NEW BEST:: SOT 6362 SOS 2895 HAS SOPS 2895 HAS SOUS 1798 HAS SOUPS 1798 WITH SCORE 1800.895
AT ITER 4255 NEW BEST:: SOT 6361 SOS 2894 HAS SOPS 2894 HAS SOUS 1797 HAS SOUPS 1797 WITH SCORE 1799.894
AT ITER 4270 NEW BEST:: SOT 6361 SOS 2885 HAS SOPS 2885 HAS SOUS 1794 HAS SOUPS 1794 WITH SCORE 1796.885
AT ITER 4285 NEW BEST:: SOT 6360 SOS 2881 HAS SOPS 2881 HAS SOUS 1790 HAS SOUPS 1790 WITH SCORE 1792.881
AT ITER 4315 NEW BEST:: SOT 6352 SOS 2866 HAS SOPS 2866 HAS SOUS 1784 HAS SOUPS 1784 WITH SCORE 1786.866
AT ITER 4428 NEW BEST:: SOT 6349 SOS 2863 HAS SOPS 2863 HAS SOUS 1780 HAS SOUPS 1780 WITH SCORE 1782.863
AT ITER 4450 NEW BEST:: SOT 6336 SOS 2851 HAS SOPS 2851 HAS SOUS 1779 HAS SOUPS 1779 WITH SCORE 1781.851
AT ITER 4556 NEW BEST:: SOT 6341 SOS 2850 HAS SOPS 2850 HAS SOUS 1777 HAS SOUPS 1777 WITH SCORE 1779.85
AT ITER 4622 NEW BEST:: SOT 6340 SOS 2842 HAS SOPS 2842 HAS SOUS 1769 HAS SOUPS 1769 WITH SCORE 1771.842
AT ITER 4731 NEW BEST:: SOT 6338 SOS 2838 HAS SOPS 2838 HAS SOUS 1765 HAS SOUPS 1765 WITH SCORE 1767.838
AT ITER 4764 NEW BEST:: SOT 6346 SOS 2856 HAS SOPS 2856 HAS SOUS 1763 HAS SOUPS 1763 WITH SCORE 1765.856
AT ITER 4889 NEW BEST:: SOT 6346 SOS 2855 HAS SOPS 2855 HAS SOUS 1762 HAS SOUPS 1762 WITH SCORE 1764.855
AT ITER 4926 NEW BEST:: SOT 6347 SOS 2851 HAS SOPS 2851 HAS SOUS 1758 HAS SOUPS 1758 WITH SCORE 1760.851
AT ITER 4947 NEW BEST:: SOT 6346 SOS 2848 HAS SOPS 2848 HAS SOUS 1756 HAS SOUPS 1756 WITH SCORE 1758.848
AT ITER 5059 NEW BEST:: SOT 6352 SOS 2848 HAS SOPS 2848 HAS SOUS 1752 HAS SOUPS 1752 WITH SCORE 1754.848
AT ITER 5078 NEW BEST:: SOT 6349 SOS 2847 HAS SOPS 2847 HAS SOUS 1751 HAS SOUPS 1751 WITH SCORE 1753.847
AT ITER 5083 NEW BEST:: SOT 6349 SOS 2845 HAS SOPS 2845 HAS SOUS 1750 HAS SOUPS 1750 WITH SCORE 1752.845
AT ITER 5124 NEW BEST:: SOT 6346 SOS 2842 HAS SOPS 2842 HAS SOUS 1747 HAS SOUPS 1747 WITH SCORE 1749.842
AT ITER 5154 NEW BEST:: SOT 6357 SOS 2841 HAS SOPS 2841 HAS SOUS 1746 HAS SOUPS 1746 WITH SCORE 1748.841
AT ITER 5193 NEW BEST:: SOT 6349 SOS 2826 HAS SOPS 2826 HAS SOUS 1736 HAS SOUPS 1736 WITH SCORE 1738.826
AT ITER 5194 NEW BEST:: SOT 6345 SOS 2825 HAS SOPS 2825 HAS SOUS 1735 HAS SOUPS 1735 WITH SCORE 1737.825
AT ITER 5206 NEW BEST:: SOT 6341 SOS 2820 HAS SOPS 2820 HAS SOUS 1730 HAS SOUPS 1730 WITH SCORE 1732.82
AT ITER 5207 NEW BEST:: SOT 6341 SOS 2819 HAS SOPS 2819 HAS SOUS 1729 HAS SOUPS 1729 WITH SCORE 1731.819
AT ITER 5291 NEW BEST:: SOT 6340 SOS 2817 HAS SOPS 2817 HAS SOUS 1727 HAS SOUPS 1727 WITH SCORE 1729.817
AT ITER 5340 NEW BEST:: SOT 6333 SOS 2822 HAS SOPS 2822 HAS SOUS 1726 HAS SOUPS 1726 WITH SCORE 1728.822
AT ITER 5355 NEW BEST:: SOT 6330 SOS 2816 HAS SOPS 2816 HAS SOUS 1720 HAS SOUPS 1720 WITH SCORE 1722.816
AT ITER 5394 NEW BEST:: SOT 6330 SOS 2814 HAS SOPS 2814 HAS SOUS 1720 HAS SOUPS 1720 WITH SCORE 1722.814
AT ITER 5496 NEW BEST:: SOT 6331 SOS 2825 HAS SOPS 2825 HAS SOUS 1719 HAS SOUPS 1719 WITH SCORE 1721.825
AT ITER 5501 NEW BEST:: SOT 6331 SOS 2820 HAS SOPS 2820 HAS SOUS 1719 HAS SOUPS 1719 WITH SCORE 1721.82
AT ITER 5546 NEW BEST:: SOT 6364 SOS 2855 HAS SOPS 2855 HAS SOUS 1718 HAS SOUPS 1718 WITH SCORE 1720.855
AT ITER 5624 NEW BEST:: SOT 6356 SOS 2845 HAS SOPS 2845 HAS SOUS 1713 HAS SOUPS 1713 WITH SCORE 1715.845
AT ITER 5628 NEW BEST:: SOT 6355 SOS 2843 HAS SOPS 2843 HAS SOUS 1711 HAS SOUPS 1711 WITH SCORE 1713.843
AT ITER 5629 NEW BEST:: SOT 6354 SOS 2842 HAS SOPS 2842 HAS SOUS 1710 HAS SOUPS 1710 WITH SCORE 1712.842
AT ITER 5670 NEW BEST:: SOT 6354 SOS 2840 HAS SOPS 2840 HAS SOUS 1708 HAS SOUPS 1708 WITH SCORE 1710.84
AT ITER 5753 NEW BEST:: SOT 6344 SOS 2828 HAS SOPS 2828 HAS SOUS 1704 HAS SOUPS 1704 WITH SCORE 1706.828
AT ITER 5766 NEW BEST:: SOT 6344 SOS 2829 HAS SOPS 2829 HAS SOUS 1703 HAS SOUPS 1703 WITH SCORE 1705.829
AT ITER 5783 NEW BEST:: SOT 6343 SOS 2828 HAS SOPS 2828 HAS SOUS 1702 HAS SOUPS 1702 WITH SCORE 1704.828
AT ITER 5994 NEW BEST:: SOT 6338 SOS 2821 HAS SOPS 2821 HAS SOUS 1695 HAS SOUPS 1695 WITH SCORE 1697.821
AT ITER 5995 NEW BEST:: SOT 6337 SOS 2819 HAS SOPS 2819 HAS SOUS 1695 HAS SOUPS 1695 WITH SCORE 1697.819
AT ITER 6002 NEW BEST:: SOT 6335 SOS 2817 HAS SOPS 2817 HAS SOUS 1693 HAS SOUPS 1693 WITH SCORE 1695.817
AT ITER 6052 NEW BEST:: SOT 6331 SOS 2813 HAS SOPS 2813 HAS SOUS 1693 HAS SOUPS 1693 WITH SCORE 1695.813
AT ITER 6114 NEW BEST:: SOT 6328 SOS 2810 HAS SOPS 2810 HAS SOUS 1690 HAS SOUPS 1690 WITH SCORE 1692.81
AT ITER 6259 NEW BEST:: SOT 6328 SOS 2809 HAS SOPS 2809 HAS SOUS 1690 HAS SOUPS 1690 WITH SCORE 1692.809
AT ITER 6305 NEW BEST:: SOT 6328 SOS 2808 HAS SOPS 2808 HAS SOUS 1689 HAS SOUPS 1689 WITH SCORE 1691.808
AT ITER 6334 NEW BEST:: SOT 6326 SOS 2802 HAS SOPS 2802 HAS SOUS 1685 HAS SOUPS 1685 WITH SCORE 1687.802
AT ITER 6365 NEW BEST:: SOT 6322 SOS 2798 HAS SOPS 2798 HAS SOUS 1685 HAS SOUPS 1685 WITH SCORE 1687.798
AT ITER 6401 NEW BEST:: SOT 6322 SOS 2797 HAS SOPS 2797 HAS SOUS 1684 HAS SOUPS 1684 WITH SCORE 1686.797
AT ITER 6449 NEW BEST:: SOT 6321 SOS 2796 HAS SOPS 2796 HAS SOUS 1682 HAS SOUPS 1682 WITH SCORE 1684.796
AT ITER 6450 NEW BEST:: SOT 6319 SOS 2793 HAS SOPS 2793 HAS SOUS 1679 HAS SOUPS 1679 WITH SCORE 1681.793
AT ITER 6637 NEW BEST:: SOT 6315 SOS 2788 HAS SOPS 2788 HAS SOUS 1674 HAS SOUPS 1674 WITH SCORE 1676.788
AT ITER 6674 NEW BEST:: SOT 6314 SOS 2787 HAS SOPS 2787 HAS SOUS 1673 HAS SOUPS 1673 WITH SCORE 1675.787
AT ITER 6855 NEW BEST:: SOT 6310 SOS 2783 HAS SOPS 2783 HAS SOUS 1663 HAS SOUPS 1663 WITH SCORE 1665.783
AT ITER 6895 NEW BEST:: SOT 6309 SOS 2781 HAS SOPS 2781 HAS SOUS 1661 HAS SOUPS 1661 WITH SCORE 1663.781
AT ITER 6980 NEW BEST:: SOT 6307 SOS 2778 HAS SOPS 2778 HAS SOUS 1658 HAS SOUPS 1658 WITH SCORE 1660.778
AT ITER 7313 NEW BEST:: SOT 6306 SOS 2776 HAS SOPS 2776 HAS SOUS 1656 HAS SOUPS 1656 WITH SCORE 1658.776
AT ITER 7518 NEW BEST:: SOT 6308 SOS 2779 HAS SOPS 2779 HAS SOUS 1655 HAS SOUPS 1655 WITH SCORE 1657.779
AT ITER 7521 NEW BEST:: SOT 6306 SOS 2777 HAS SOPS 2777 HAS SOUS 1653 HAS SOUPS 1653 WITH SCORE 1655.777
AT ITER 7558 NEW BEST:: SOT 6306 SOS 2776 HAS SOPS 2776 HAS SOUS 1652 HAS SOUPS 1652 WITH SCORE 1654.776
AT ITER 7813 NEW BEST:: SOT 6305 SOS 2775 HAS SOPS 2775 HAS SOUS 1650 HAS SOUPS 1650 WITH SCORE 1652.775
AT ITER 7956 NEW BEST:: SOT 6302 SOS 2773 HAS SOPS 2773 HAS SOUS 1650 HAS SOUPS 1650 WITH SCORE 1652.773
AT ITER 8093 NEW BEST:: SOT 6302 SOS 2772 HAS SOPS 2772 HAS SOUS 1649 HAS SOUPS 1649 WITH SCORE 1651.772
AT ITER 8191 NEW BEST:: SOT 6299 SOS 2769 HAS SOPS 2769 HAS SOUS 1646 HAS SOUPS 1646 WITH SCORE 1648.769
AT ITER 8224 NEW BEST:: SOT 6299 SOS 2762 HAS SOPS 2762 HAS SOUS 1636 HAS SOUPS 1636 WITH SCORE 1638.762
AT ITER 8313 NEW BEST:: SOT 6297 SOS 2760 HAS SOPS 2760 HAS SOUS 1634 HAS SOUPS 1634 WITH SCORE 1636.76
AT ITER 8435 NEW BEST:: SOT 6298 SOS 2761 HAS SOPS 2761 HAS SOUS 1632 HAS SOUPS 1632 WITH SCORE 1634.761
AT ITER 8843 NEW BEST:: SOT 6295 SOS 2756 HAS SOPS 2756 HAS SOUS 1630 HAS SOUPS 1630 WITH SCORE 1632.756
AT ITER 8898 NEW BEST:: SOT 6294 SOS 2754 HAS SOPS 2754 HAS SOUS 1628 HAS SOUPS 1628 WITH SCORE 1630.754
AT ITER 9169 NEW BEST:: SOT 6292 SOS 2749 HAS SOPS 2749 HAS SOUS 1626 HAS SOUPS 1626 WITH SCORE 1628.749
AT ITER 9182 NEW BEST:: SOT 6292 SOS 2747 HAS SOPS 2747 HAS SOUS 1625 HAS SOUPS 1625 WITH SCORE 1627.747
AT ITER 9297 NEW BEST:: SOT 6291 SOS 2745 HAS SOPS 2745 HAS SOUS 1623 HAS SOUPS 1623 WITH SCORE 1625.745
AT ITER 9431 NEW BEST:: SOT 6290 SOS 2743 HAS SOPS 2743 HAS SOUS 1621 HAS SOUPS 1621 WITH SCORE 1623.743
AT ITER 9434 NEW BEST:: SOT 6291 SOS 2731 HAS SOPS 2731 HAS SOUS 1621 HAS SOUPS 1621 WITH SCORE 1623.731
AT ITER 9576 NEW BEST:: SOT 6288 SOS 2728 HAS SOPS 2728 HAS SOUS 1621 HAS SOUPS 1621 WITH SCORE 1623.728
AT ITER 9708 NEW BEST:: SOT 6287 SOS 2726 HAS SOPS 2726 HAS SOUS 1619 HAS SOUPS 1619 WITH SCORE 1621.726
AT ITER 9903 NEW BEST:: SOT 6287 SOS 2724 HAS SOPS 2724 HAS SOUS 1617 HAS SOUPS 1617 WITH SCORE 1619.724
STATE_SPACE STATES 230998451325 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 51 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 2803883967521 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589103474154

--------------------
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="DES-PT-05a"
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 DES-PT-05a, 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-158902541900232"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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