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.r207-tajo-159033469500448.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 ShieldPPPs-PT-004A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469500448
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 208K
-rw-r--r-- 1 mcc users 3.6K May 14 01:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K May 14 01:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 13 18:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 13 18:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K May 14 10:02 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K May 14 10:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K May 14 10:02 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K May 14 10:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.1K May 13 13:53 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K May 13 13:53 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.1K May 13 08:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 21K May 13 08:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 35K May 12 20:42 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 1590442912991

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

Filename model.pnml
Petri model created: 127 places, 107 transitions, 406 arcs.
AT ITER 0 NEW BEST:: SOT 8875 SOS 6347 HAS SOPS 6347 HAS SOUS 5065 HAS SOUPS 5065 WITH SCORE 5071.347
AT ITER 3 NEW BEST:: SOT 8879 SOS 6347 HAS SOPS 6347 HAS SOUS 5060 HAS SOUPS 5060 WITH SCORE 5066.347
AT ITER 5 NEW BEST:: SOT 8882 SOS 6348 HAS SOPS 6348 HAS SOUS 5058 HAS SOUPS 5058 WITH SCORE 5064.348
AT ITER 10 NEW BEST:: SOT 8852 SOS 6322 HAS SOPS 6322 HAS SOUS 5032 HAS SOUPS 5032 WITH SCORE 5038.322
AT ITER 15 NEW BEST:: SOT 8848 SOS 6316 HAS SOPS 6316 HAS SOUS 5026 HAS SOUPS 5026 WITH SCORE 5032.316
AT ITER 19 NEW BEST:: SOT 8858 SOS 6180 HAS SOPS 6180 HAS SOUS 4949 HAS SOUPS 4949 WITH SCORE 4955.18
AT ITER 20 NEW BEST:: SOT 8835 SOS 6115 HAS SOPS 6115 HAS SOUS 4883 HAS SOUPS 4883 WITH SCORE 4889.115
AT ITER 22 NEW BEST:: SOT 8729 SOS 6003 HAS SOPS 6003 HAS SOUS 4762 HAS SOUPS 4762 WITH SCORE 4768.003
AT ITER 34 NEW BEST:: SOT 8704 SOS 5978 HAS SOPS 5978 HAS SOUS 4737 HAS SOUPS 4737 WITH SCORE 4742.978
AT ITER 36 NEW BEST:: SOT 8703 SOS 5886 HAS SOPS 5886 HAS SOUS 4735 HAS SOUPS 4735 WITH SCORE 4740.886
AT ITER 40 NEW BEST:: SOT 8697 SOS 5878 HAS SOPS 5878 HAS SOUS 4727 HAS SOUPS 4727 WITH SCORE 4732.878
AT ITER 41 NEW BEST:: SOT 8623 SOS 5764 HAS SOPS 5764 HAS SOUS 4541 HAS SOUPS 4541 WITH SCORE 4546.764
AT ITER 51 NEW BEST:: SOT 8603 SOS 5744 HAS SOPS 5744 HAS SOUS 4521 HAS SOUPS 4521 WITH SCORE 4526.744
AT ITER 52 NEW BEST:: SOT 8602 SOS 5645 HAS SOPS 5645 HAS SOUS 4502 HAS SOUPS 4502 WITH SCORE 4507.645
AT ITER 79 NEW BEST:: SOT 8602 SOS 5634 HAS SOPS 5634 HAS SOUS 4491 HAS SOUPS 4491 WITH SCORE 4496.634
AT ITER 88 NEW BEST:: SOT 8598 SOS 5630 HAS SOPS 5630 HAS SOUS 4489 HAS SOUPS 4489 WITH SCORE 4494.63
AT ITER 91 NEW BEST:: SOT 8577 SOS 5601 HAS SOPS 5601 HAS SOUS 4459 HAS SOUPS 4459 WITH SCORE 4464.601
AT ITER 95 NEW BEST:: SOT 8577 SOS 5602 HAS SOPS 5602 HAS SOUS 4458 HAS SOUPS 4458 WITH SCORE 4463.602
AT ITER 99 NEW BEST:: SOT 8461 SOS 5169 HAS SOPS 5169 HAS SOUS 4184 HAS SOUPS 4184 WITH SCORE 4189.169
AT ITER 105 NEW BEST:: SOT 8478 SOS 5139 HAS SOPS 5139 HAS SOUS 4165 HAS SOUPS 4165 WITH SCORE 4170.139
AT ITER 115 NEW BEST:: SOT 8479 SOS 5130 HAS SOPS 5130 HAS SOUS 4156 HAS SOUPS 4156 WITH SCORE 4161.13
AT ITER 130 NEW BEST:: SOT 8451 SOS 5120 HAS SOPS 5120 HAS SOUS 4139 HAS SOUPS 4139 WITH SCORE 4144.12
AT ITER 135 NEW BEST:: SOT 8449 SOS 5102 HAS SOPS 5102 HAS SOUS 4129 HAS SOUPS 4129 WITH SCORE 4134.102
AT ITER 136 NEW BEST:: SOT 8449 SOS 5094 HAS SOPS 5094 HAS SOUS 4125 HAS SOUPS 4125 WITH SCORE 4130.094
AT ITER 141 NEW BEST:: SOT 8441 SOS 5079 HAS SOPS 5079 HAS SOUS 4110 HAS SOUPS 4110 WITH SCORE 4115.079
AT ITER 144 NEW BEST:: SOT 8439 SOS 5065 HAS SOPS 5065 HAS SOUS 4092 HAS SOUPS 4092 WITH SCORE 4097.065
AT ITER 153 NEW BEST:: SOT 8408 SOS 5051 HAS SOPS 5051 HAS SOUS 4084 HAS SOUPS 4084 WITH SCORE 4089.051
AT ITER 161 NEW BEST:: SOT 8408 SOS 5050 HAS SOPS 5050 HAS SOUS 4084 HAS SOUPS 4084 WITH SCORE 4089.05
AT ITER 165 NEW BEST:: SOT 8399 SOS 5041 HAS SOPS 5041 HAS SOUS 4075 HAS SOUPS 4075 WITH SCORE 4080.041
AT ITER 166 NEW BEST:: SOT 8343 SOS 4972 HAS SOPS 4972 HAS SOUS 4006 HAS SOUPS 4006 WITH SCORE 4010.972
AT ITER 169 NEW BEST:: SOT 8296 SOS 4905 HAS SOPS 4905 HAS SOUS 3939 HAS SOUPS 3939 WITH SCORE 3943.905
AT ITER 173 NEW BEST:: SOT 8275 SOS 4818 HAS SOPS 4818 HAS SOUS 3879 HAS SOUPS 3879 WITH SCORE 3883.818
AT ITER 194 NEW BEST:: SOT 8268 SOS 4740 HAS SOPS 4740 HAS SOUS 3878 HAS SOUPS 3878 WITH SCORE 3882.74
AT ITER 197 NEW BEST:: SOT 8224 SOS 4696 HAS SOPS 4696 HAS SOUS 3834 HAS SOUPS 3834 WITH SCORE 3838.696
AT ITER 198 NEW BEST:: SOT 8198 SOS 4628 HAS SOPS 4628 HAS SOUS 3787 HAS SOUPS 3787 WITH SCORE 3791.628
AT ITER 207 NEW BEST:: SOT 8199 SOS 4631 HAS SOPS 4631 HAS SOUS 3786 HAS SOUPS 3786 WITH SCORE 3790.631
AT ITER 240 NEW BEST:: SOT 8193 SOS 4616 HAS SOPS 4616 HAS SOUS 3774 HAS SOUPS 3774 WITH SCORE 3778.616
AT ITER 253 NEW BEST:: SOT 8175 SOS 4583 HAS SOPS 4583 HAS SOUS 3765 HAS SOUPS 3765 WITH SCORE 3769.583
AT ITER 260 NEW BEST:: SOT 8173 SOS 4581 HAS SOPS 4581 HAS SOUS 3763 HAS SOUPS 3763 WITH SCORE 3767.581
AT ITER 270 NEW BEST:: SOT 8171 SOS 4579 HAS SOPS 4579 HAS SOUS 3761 HAS SOUPS 3761 WITH SCORE 3765.579
AT ITER 279 NEW BEST:: SOT 8171 SOS 4529 HAS SOPS 4529 HAS SOUS 3750 HAS SOUPS 3750 WITH SCORE 3754.529
AT ITER 281 NEW BEST:: SOT 8167 SOS 4489 HAS SOPS 4489 HAS SOUS 3746 HAS SOUPS 3746 WITH SCORE 3750.489
AT ITER 286 NEW BEST:: SOT 8156 SOS 4455 HAS SOPS 4455 HAS SOUS 3712 HAS SOUPS 3712 WITH SCORE 3716.455
AT ITER 298 NEW BEST:: SOT 8156 SOS 4448 HAS SOPS 4448 HAS SOUS 3702 HAS SOUPS 3702 WITH SCORE 3706.448
AT ITER 308 NEW BEST:: SOT 8134 SOS 4297 HAS SOPS 4297 HAS SOUS 3646 HAS SOUPS 3646 WITH SCORE 3650.297
AT ITER 309 NEW BEST:: SOT 8092 SOS 4253 HAS SOPS 4253 HAS SOUS 3602 HAS SOUPS 3602 WITH SCORE 3606.253
AT ITER 312 NEW BEST:: SOT 8092 SOS 4246 HAS SOPS 4246 HAS SOUS 3587 HAS SOUPS 3587 WITH SCORE 3591.246
AT ITER 346 NEW BEST:: SOT 8092 SOS 4206 HAS SOPS 4206 HAS SOUS 3571 HAS SOUPS 3571 WITH SCORE 3575.206
AT ITER 349 NEW BEST:: SOT 8105 SOS 4215 HAS SOPS 4215 HAS SOUS 3564 HAS SOUPS 3564 WITH SCORE 3568.215
AT ITER 351 NEW BEST:: SOT 8109 SOS 4220 HAS SOPS 4220 HAS SOUS 3560 HAS SOUPS 3560 WITH SCORE 3564.22
AT ITER 377 NEW BEST:: SOT 8104 SOS 4213 HAS SOPS 4213 HAS SOUS 3553 HAS SOUPS 3553 WITH SCORE 3557.213
AT ITER 381 NEW BEST:: SOT 8103 SOS 4211 HAS SOPS 4211 HAS SOUS 3550 HAS SOUPS 3550 WITH SCORE 3554.211
AT ITER 394 NEW BEST:: SOT 8086 SOS 4193 HAS SOPS 4193 HAS SOUS 3531 HAS SOUPS 3531 WITH SCORE 3535.193
AT ITER 397 NEW BEST:: SOT 8087 SOS 4176 HAS SOPS 4176 HAS SOUS 3514 HAS SOUPS 3514 WITH SCORE 3518.176
AT ITER 410 NEW BEST:: SOT 8086 SOS 4177 HAS SOPS 4177 HAS SOUS 3511 HAS SOUPS 3511 WITH SCORE 3515.177
AT ITER 418 NEW BEST:: SOT 8086 SOS 4139 HAS SOPS 4139 HAS SOUS 3492 HAS SOUPS 3492 WITH SCORE 3496.139
AT ITER 425 NEW BEST:: SOT 8068 SOS 4127 HAS SOPS 4127 HAS SOUS 3480 HAS SOUPS 3480 WITH SCORE 3484.127
AT ITER 431 NEW BEST:: SOT 8068 SOS 4066 HAS SOPS 4066 HAS SOUS 3428 HAS SOUPS 3428 WITH SCORE 3432.066
AT ITER 478 NEW BEST:: SOT 8060 SOS 4036 HAS SOPS 4036 HAS SOUS 3408 HAS SOUPS 3408 WITH SCORE 3412.036
AT ITER 479 NEW BEST:: SOT 8042 SOS 4026 HAS SOPS 4026 HAS SOUS 3402 HAS SOUPS 3402 WITH SCORE 3406.026
AT ITER 494 NEW BEST:: SOT 8042 SOS 4020 HAS SOPS 4020 HAS SOUS 3396 HAS SOUPS 3396 WITH SCORE 3400.02
AT ITER 532 NEW BEST:: SOT 8030 SOS 4002 HAS SOPS 4002 HAS SOUS 3378 HAS SOUPS 3378 WITH SCORE 3382.002
AT ITER 543 NEW BEST:: SOT 8025 SOS 3995 HAS SOPS 3995 HAS SOUS 3371 HAS SOUPS 3371 WITH SCORE 3374.995
AT ITER 546 NEW BEST:: SOT 8025 SOS 3983 HAS SOPS 3983 HAS SOUS 3361 HAS SOUPS 3361 WITH SCORE 3364.983
AT ITER 554 NEW BEST:: SOT 8013 SOS 3964 HAS SOPS 3964 HAS SOUS 3342 HAS SOUPS 3342 WITH SCORE 3345.964
AT ITER 565 NEW BEST:: SOT 8013 SOS 3877 HAS SOPS 3877 HAS SOUS 3299 HAS SOUPS 3299 WITH SCORE 3302.877
AT ITER 575 NEW BEST:: SOT 8013 SOS 3875 HAS SOPS 3875 HAS SOUS 3297 HAS SOUPS 3297 WITH SCORE 3300.875
AT ITER 592 NEW BEST:: SOT 8011 SOS 3830 HAS SOPS 3830 HAS SOUS 3279 HAS SOUPS 3279 WITH SCORE 3282.83
AT ITER 595 NEW BEST:: SOT 8005 SOS 3821 HAS SOPS 3821 HAS SOUS 3268 HAS SOUPS 3268 WITH SCORE 3271.821
AT ITER 600 NEW BEST:: SOT 8014 SOS 3834 HAS SOPS 3834 HAS SOUS 3259 HAS SOUPS 3259 WITH SCORE 3262.834
AT ITER 620 NEW BEST:: SOT 8003 SOS 3818 HAS SOPS 3818 HAS SOUS 3245 HAS SOUPS 3245 WITH SCORE 3248.818
AT ITER 633 NEW BEST:: SOT 7989 SOS 3754 HAS SOPS 3754 HAS SOUS 3211 HAS SOUPS 3211 WITH SCORE 3214.754
AT ITER 658 NEW BEST:: SOT 7986 SOS 3744 HAS SOPS 3744 HAS SOUS 3205 HAS SOUPS 3205 WITH SCORE 3208.744
AT ITER 662 NEW BEST:: SOT 7982 SOS 3740 HAS SOPS 3740 HAS SOUS 3201 HAS SOUPS 3201 WITH SCORE 3204.74
AT ITER 665 NEW BEST:: SOT 7964 SOS 3750 HAS SOPS 3750 HAS SOUS 3178 HAS SOUPS 3178 WITH SCORE 3181.75
AT ITER 669 NEW BEST:: SOT 7914 SOS 3700 HAS SOPS 3700 HAS SOUS 3128 HAS SOUPS 3128 WITH SCORE 3131.7
AT ITER 686 NEW BEST:: SOT 7916 SOS 3696 HAS SOPS 3696 HAS SOUS 3124 HAS SOUPS 3124 WITH SCORE 3127.696
AT ITER 690 NEW BEST:: SOT 7914 SOS 3694 HAS SOPS 3694 HAS SOUS 3122 HAS SOUPS 3122 WITH SCORE 3125.694
AT ITER 697 NEW BEST:: SOT 7907 SOS 3686 HAS SOPS 3686 HAS SOUS 3114 HAS SOUPS 3114 WITH SCORE 3117.686
AT ITER 699 NEW BEST:: SOT 7895 SOS 3662 HAS SOPS 3662 HAS SOUS 3090 HAS SOUPS 3090 WITH SCORE 3093.662
AT ITER 710 NEW BEST:: SOT 7886 SOS 3648 HAS SOPS 3648 HAS SOUS 3076 HAS SOUPS 3076 WITH SCORE 3079.648
AT ITER 716 NEW BEST:: SOT 7877 SOS 3646 HAS SOPS 3646 HAS SOUS 3063 HAS SOUPS 3063 WITH SCORE 3066.646
AT ITER 745 NEW BEST:: SOT 7874 SOS 3646 HAS SOPS 3646 HAS SOUS 3060 HAS SOUPS 3060 WITH SCORE 3063.646
AT ITER 760 NEW BEST:: SOT 7871 SOS 3643 HAS SOPS 3643 HAS SOUS 3057 HAS SOUPS 3057 WITH SCORE 3060.643
AT ITER 761 NEW BEST:: SOT 7857 SOS 3629 HAS SOPS 3629 HAS SOUS 3043 HAS SOUPS 3043 WITH SCORE 3046.629
AT ITER 790 NEW BEST:: SOT 7835 SOS 3607 HAS SOPS 3607 HAS SOUS 3021 HAS SOUPS 3021 WITH SCORE 3024.607
AT ITER 796 NEW BEST:: SOT 7835 SOS 3623 HAS SOPS 3623 HAS SOUS 3017 HAS SOUPS 3017 WITH SCORE 3020.623
AT ITER 803 NEW BEST:: SOT 7827 SOS 3620 HAS SOPS 3620 HAS SOUS 3017 HAS SOUPS 3017 WITH SCORE 3020.62
AT ITER 812 NEW BEST:: SOT 7827 SOS 3620 HAS SOPS 3620 HAS SOUS 2995 HAS SOUPS 2995 WITH SCORE 2998.62
AT ITER 873 NEW BEST:: SOT 7795 SOS 3563 HAS SOPS 3563 HAS SOUS 2945 HAS SOUPS 2945 WITH SCORE 2948.563
AT ITER 885 NEW BEST:: SOT 7788 SOS 3556 HAS SOPS 3556 HAS SOUS 2938 HAS SOUPS 2938 WITH SCORE 2941.556
AT ITER 887 NEW BEST:: SOT 7768 SOS 3536 HAS SOPS 3536 HAS SOUS 2918 HAS SOUPS 2918 WITH SCORE 2921.536
AT ITER 898 NEW BEST:: SOT 7768 SOS 3529 HAS SOPS 3529 HAS SOUS 2912 HAS SOUPS 2912 WITH SCORE 2915.529
AT ITER 905 NEW BEST:: SOT 7768 SOS 3529 HAS SOPS 3529 HAS SOUS 2911 HAS SOUPS 2911 WITH SCORE 2914.529
AT ITER 906 NEW BEST:: SOT 7768 SOS 3528 HAS SOPS 3528 HAS SOUS 2910 HAS SOUPS 2910 WITH SCORE 2913.528
AT ITER 916 NEW BEST:: SOT 7750 SOS 3504 HAS SOPS 3504 HAS SOUS 2886 HAS SOUPS 2886 WITH SCORE 2889.504
AT ITER 925 NEW BEST:: SOT 7751 SOS 3476 HAS SOPS 3476 HAS SOUS 2876 HAS SOUPS 2876 WITH SCORE 2879.476
AT ITER 935 NEW BEST:: SOT 7748 SOS 3457 HAS SOPS 3457 HAS SOUS 2865 HAS SOUPS 2865 WITH SCORE 2868.457
AT ITER 943 NEW BEST:: SOT 7742 SOS 3451 HAS SOPS 3451 HAS SOUS 2861 HAS SOUPS 2861 WITH SCORE 2864.451
AT ITER 954 NEW BEST:: SOT 7739 SOS 3448 HAS SOPS 3448 HAS SOUS 2858 HAS SOUPS 2858 WITH SCORE 2861.448
AT ITER 955 NEW BEST:: SOT 7737 SOS 3438 HAS SOPS 3438 HAS SOUS 2852 HAS SOUPS 2852 WITH SCORE 2855.438
AT ITER 961 NEW BEST:: SOT 7734 SOS 3433 HAS SOPS 3433 HAS SOUS 2847 HAS SOUPS 2847 WITH SCORE 2850.433
AT ITER 977 NEW BEST:: SOT 7746 SOS 3420 HAS SOPS 3420 HAS SOUS 2827 HAS SOUPS 2827 WITH SCORE 2830.42
AT ITER 983 NEW BEST:: SOT 7748 SOS 3420 HAS SOPS 3420 HAS SOUS 2826 HAS SOUPS 2826 WITH SCORE 2829.42
AT ITER 1000 NEW BEST:: SOT 7738 SOS 3403 HAS SOPS 3403 HAS SOUS 2814 HAS SOUPS 2814 WITH SCORE 2817.403
AT ITER 1007 NEW BEST:: SOT 7757 SOS 3389 HAS SOPS 3389 HAS SOUS 2772 HAS SOUPS 2772 WITH SCORE 2775.389
AT ITER 1008 NEW BEST:: SOT 7777 SOS 3334 HAS SOPS 3334 HAS SOUS 2736 HAS SOUPS 2736 WITH SCORE 2739.334
AT ITER 1012 NEW BEST:: SOT 7777 SOS 3333 HAS SOPS 3333 HAS SOUS 2735 HAS SOUPS 2735 WITH SCORE 2738.333
AT ITER 1037 NEW BEST:: SOT 7773 SOS 3329 HAS SOPS 3329 HAS SOUS 2731 HAS SOUPS 2731 WITH SCORE 2734.329
AT ITER 1039 NEW BEST:: SOT 7741 SOS 3266 HAS SOPS 3266 HAS SOUS 2668 HAS SOUPS 2668 WITH SCORE 2671.266
AT ITER 1042 NEW BEST:: SOT 7749 SOS 3282 HAS SOPS 3282 HAS SOUS 2666 HAS SOUPS 2666 WITH SCORE 2669.282
AT ITER 1047 NEW BEST:: SOT 7749 SOS 3271 HAS SOPS 3271 HAS SOUS 2655 HAS SOUPS 2655 WITH SCORE 2658.271
AT ITER 1050 NEW BEST:: SOT 7743 SOS 3265 HAS SOPS 3265 HAS SOUS 2649 HAS SOUPS 2649 WITH SCORE 2652.265
AT ITER 1053 NEW BEST:: SOT 7748 SOS 3261 HAS SOPS 3261 HAS SOUS 2645 HAS SOUPS 2645 WITH SCORE 2648.261
AT ITER 1065 NEW BEST:: SOT 7748 SOS 3258 HAS SOPS 3258 HAS SOUS 2642 HAS SOUPS 2642 WITH SCORE 2645.258
AT ITER 1080 NEW BEST:: SOT 7748 SOS 3254 HAS SOPS 3254 HAS SOUS 2640 HAS SOUPS 2640 WITH SCORE 2643.254
AT ITER 1120 NEW BEST:: SOT 7731 SOS 3217 HAS SOPS 3217 HAS SOUS 2623 HAS SOUPS 2623 WITH SCORE 2626.217
AT ITER 1124 NEW BEST:: SOT 7729 SOS 3215 HAS SOPS 3215 HAS SOUS 2621 HAS SOUPS 2621 WITH SCORE 2624.215
AT ITER 1136 NEW BEST:: SOT 7726 SOS 3199 HAS SOPS 3199 HAS SOUS 2594 HAS SOUPS 2594 WITH SCORE 2597.199
AT ITER 1138 NEW BEST:: SOT 7724 SOS 3187 HAS SOPS 3187 HAS SOUS 2588 HAS SOUPS 2588 WITH SCORE 2591.187
AT ITER 1154 NEW BEST:: SOT 7724 SOS 3179 HAS SOPS 3179 HAS SOUS 2582 HAS SOUPS 2582 WITH SCORE 2585.179
AT ITER 1161 NEW BEST:: SOT 7735 SOS 3175 HAS SOPS 3175 HAS SOUS 2580 HAS SOUPS 2580 WITH SCORE 2583.175
AT ITER 1212 NEW BEST:: SOT 7734 SOS 3174 HAS SOPS 3174 HAS SOUS 2579 HAS SOUPS 2579 WITH SCORE 2582.174
AT ITER 1215 NEW BEST:: SOT 7722 SOS 3156 HAS SOPS 3156 HAS SOUS 2561 HAS SOUPS 2561 WITH SCORE 2564.156
AT ITER 1236 NEW BEST:: SOT 7716 SOS 3152 HAS SOPS 3152 HAS SOUS 2557 HAS SOUPS 2557 WITH SCORE 2560.152
AT ITER 1286 NEW BEST:: SOT 7716 SOS 3154 HAS SOPS 3154 HAS SOUS 2554 HAS SOUPS 2554 WITH SCORE 2557.154
AT ITER 1293 NEW BEST:: SOT 7716 SOS 3137 HAS SOPS 3137 HAS SOUS 2549 HAS SOUPS 2549 WITH SCORE 2552.137
AT ITER 1306 NEW BEST:: SOT 7711 SOS 3121 HAS SOPS 3121 HAS SOUS 2535 HAS SOUPS 2535 WITH SCORE 2538.121
AT ITER 1325 NEW BEST:: SOT 7703 SOS 3113 HAS SOPS 3113 HAS SOUS 2527 HAS SOUPS 2527 WITH SCORE 2530.113
AT ITER 1340 NEW BEST:: SOT 7703 SOS 3106 HAS SOPS 3106 HAS SOUS 2526 HAS SOUPS 2526 WITH SCORE 2529.106
AT ITER 1366 NEW BEST:: SOT 7702 SOS 3102 HAS SOPS 3102 HAS SOUS 2522 HAS SOUPS 2522 WITH SCORE 2525.102
AT ITER 1374 NEW BEST:: SOT 7697 SOS 3092 HAS SOPS 3092 HAS SOUS 2516 HAS SOUPS 2516 WITH SCORE 2519.092
AT ITER 1416 NEW BEST:: SOT 7695 SOS 3090 HAS SOPS 3090 HAS SOUS 2514 HAS SOUPS 2514 WITH SCORE 2517.09
AT ITER 1418 NEW BEST:: SOT 7681 SOS 3074 HAS SOPS 3074 HAS SOUS 2499 HAS SOUPS 2499 WITH SCORE 2502.074
AT ITER 1465 NEW BEST:: SOT 7669 SOS 3028 HAS SOPS 3028 HAS SOUS 2458 HAS SOUPS 2458 WITH SCORE 2461.028
AT ITER 1532 NEW BEST:: SOT 7667 SOS 2974 HAS SOPS 2974 HAS SOUS 2457 HAS SOUPS 2457 WITH SCORE 2459.974
AT ITER 1562 NEW BEST:: SOT 7666 SOS 2972 HAS SOPS 2972 HAS SOUS 2455 HAS SOUPS 2455 WITH SCORE 2457.972
AT ITER 1575 NEW BEST:: SOT 7663 SOS 2965 HAS SOPS 2965 HAS SOUS 2448 HAS SOUPS 2448 WITH SCORE 2450.965
AT ITER 1617 NEW BEST:: SOT 7660 SOS 2947 HAS SOPS 2947 HAS SOUS 2437 HAS SOUPS 2437 WITH SCORE 2439.947
AT ITER 1648 NEW BEST:: SOT 7662 SOS 2946 HAS SOPS 2946 HAS SOUS 2430 HAS SOUPS 2430 WITH SCORE 2432.946
AT ITER 1651 NEW BEST:: SOT 7661 SOS 2943 HAS SOPS 2943 HAS SOUS 2427 HAS SOUPS 2427 WITH SCORE 2429.943
AT ITER 1695 NEW BEST:: SOT 7661 SOS 2936 HAS SOPS 2936 HAS SOUS 2424 HAS SOUPS 2424 WITH SCORE 2426.936
AT ITER 1706 NEW BEST:: SOT 7673 SOS 2943 HAS SOPS 2943 HAS SOUS 2401 HAS SOUPS 2401 WITH SCORE 2403.943
AT ITER 1716 NEW BEST:: SOT 7663 SOS 2934 HAS SOPS 2934 HAS SOUS 2395 HAS SOUPS 2395 WITH SCORE 2397.934
AT ITER 1719 NEW BEST:: SOT 7663 SOS 2937 HAS SOPS 2937 HAS SOUS 2394 HAS SOUPS 2394 WITH SCORE 2396.937
AT ITER 1722 NEW BEST:: SOT 7661 SOS 2935 HAS SOPS 2935 HAS SOUS 2389 HAS SOUPS 2389 WITH SCORE 2391.935
AT ITER 1730 NEW BEST:: SOT 7654 SOS 2928 HAS SOPS 2928 HAS SOUS 2386 HAS SOUPS 2386 WITH SCORE 2388.928
AT ITER 1740 NEW BEST:: SOT 7657 SOS 2931 HAS SOPS 2931 HAS SOUS 2380 HAS SOUPS 2380 WITH SCORE 2382.931
AT ITER 1743 NEW BEST:: SOT 7647 SOS 2912 HAS SOPS 2912 HAS SOUS 2354 HAS SOUPS 2354 WITH SCORE 2356.912
AT ITER 1752 NEW BEST:: SOT 7639 SOS 2904 HAS SOPS 2904 HAS SOUS 2346 HAS SOUPS 2346 WITH SCORE 2348.904
AT ITER 1767 NEW BEST:: SOT 7640 SOS 2905 HAS SOPS 2905 HAS SOUS 2345 HAS SOUPS 2345 WITH SCORE 2347.905
AT ITER 1769 NEW BEST:: SOT 7641 SOS 2891 HAS SOPS 2891 HAS SOUS 2338 HAS SOUPS 2338 WITH SCORE 2340.891
AT ITER 1832 NEW BEST:: SOT 7637 SOS 2882 HAS SOPS 2882 HAS SOUS 2331 HAS SOUPS 2331 WITH SCORE 2333.882
AT ITER 1858 NEW BEST:: SOT 7641 SOS 2861 HAS SOPS 2861 HAS SOUS 2320 HAS SOUPS 2320 WITH SCORE 2322.861
AT ITER 1902 NEW BEST:: SOT 7643 SOS 2856 HAS SOPS 2856 HAS SOUS 2310 HAS SOUPS 2310 WITH SCORE 2312.856
AT ITER 1916 NEW BEST:: SOT 7643 SOS 2847 HAS SOPS 2847 HAS SOUS 2304 HAS SOUPS 2304 WITH SCORE 2306.847
AT ITER 1919 NEW BEST:: SOT 7631 SOS 2835 HAS SOPS 2835 HAS SOUS 2292 HAS SOUPS 2292 WITH SCORE 2294.835
AT ITER 1945 NEW BEST:: SOT 7644 SOS 2833 HAS SOPS 2833 HAS SOUS 2288 HAS SOUPS 2288 WITH SCORE 2290.833
AT ITER 1980 NEW BEST:: SOT 7634 SOS 2823 HAS SOPS 2823 HAS SOUS 2278 HAS SOUPS 2278 WITH SCORE 2280.823
AT ITER 1983 NEW BEST:: SOT 7620 SOS 2806 HAS SOPS 2806 HAS SOUS 2259 HAS SOUPS 2259 WITH SCORE 2261.806
AT ITER 1986 NEW BEST:: SOT 7615 SOS 2796 HAS SOPS 2796 HAS SOUS 2249 HAS SOUPS 2249 WITH SCORE 2251.796
AT ITER 2033 NEW BEST:: SOT 7611 SOS 2785 HAS SOPS 2785 HAS SOUS 2236 HAS SOUPS 2236 WITH SCORE 2238.785
AT ITER 2077 NEW BEST:: SOT 7606 SOS 2769 HAS SOPS 2769 HAS SOUS 2220 HAS SOUPS 2220 WITH SCORE 2222.769
AT ITER 2080 NEW BEST:: SOT 7606 SOS 2759 HAS SOPS 2759 HAS SOUS 2220 HAS SOUPS 2220 WITH SCORE 2222.759
AT ITER 2105 NEW BEST:: SOT 7605 SOS 2758 HAS SOPS 2758 HAS SOUS 2219 HAS SOUPS 2219 WITH SCORE 2221.758
AT ITER 2108 NEW BEST:: SOT 7604 SOS 2757 HAS SOPS 2757 HAS SOUS 2219 HAS SOUPS 2219 WITH SCORE 2221.757
AT ITER 2134 NEW BEST:: SOT 7600 SOS 2745 HAS SOPS 2745 HAS SOUS 2203 HAS SOUPS 2203 WITH SCORE 2205.745
AT ITER 2140 NEW BEST:: SOT 7591 SOS 2739 HAS SOPS 2739 HAS SOUS 2202 HAS SOUPS 2202 WITH SCORE 2204.739
AT ITER 2158 NEW BEST:: SOT 7591 SOS 2738 HAS SOPS 2738 HAS SOUS 2201 HAS SOUPS 2201 WITH SCORE 2203.738
AT ITER 2166 NEW BEST:: SOT 7589 SOS 2728 HAS SOPS 2728 HAS SOUS 2196 HAS SOUPS 2196 WITH SCORE 2198.728
AT ITER 2199 NEW BEST:: SOT 7581 SOS 2720 HAS SOPS 2720 HAS SOUS 2188 HAS SOUPS 2188 WITH SCORE 2190.72
AT ITER 2215 NEW BEST:: SOT 7573 SOS 2708 HAS SOPS 2708 HAS SOUS 2168 HAS SOUPS 2168 WITH SCORE 2170.708
AT ITER 2256 NEW BEST:: SOT 7573 SOS 2706 HAS SOPS 2706 HAS SOUS 2166 HAS SOUPS 2166 WITH SCORE 2168.706
AT ITER 2290 NEW BEST:: SOT 7573 SOS 2696 HAS SOPS 2696 HAS SOUS 2156 HAS SOUPS 2156 WITH SCORE 2158.696
AT ITER 2305 NEW BEST:: SOT 7574 SOS 2692 HAS SOPS 2692 HAS SOUS 2153 HAS SOUPS 2153 WITH SCORE 2155.692
AT ITER 2308 NEW BEST:: SOT 7566 SOS 2686 HAS SOPS 2686 HAS SOUS 2132 HAS SOUPS 2132 WITH SCORE 2134.686
AT ITER 2316 NEW BEST:: SOT 7566 SOS 2686 HAS SOPS 2686 HAS SOUS 2129 HAS SOUPS 2129 WITH SCORE 2131.686
AT ITER 2336 NEW BEST:: SOT 7575 SOS 2691 HAS SOPS 2691 HAS SOUS 2125 HAS SOUPS 2125 WITH SCORE 2127.691
AT ITER 2371 NEW BEST:: SOT 7566 SOS 2672 HAS SOPS 2672 HAS SOUS 2111 HAS SOUPS 2111 WITH SCORE 2113.672
AT ITER 2416 NEW BEST:: SOT 7566 SOS 2673 HAS SOPS 2673 HAS SOUS 2109 HAS SOUPS 2109 WITH SCORE 2111.673
AT ITER 2447 NEW BEST:: SOT 7558 SOS 2665 HAS SOPS 2665 HAS SOUS 2101 HAS SOUPS 2101 WITH SCORE 2103.665
AT ITER 2485 NEW BEST:: SOT 7558 SOS 2659 HAS SOPS 2659 HAS SOUS 2098 HAS SOUPS 2098 WITH SCORE 2100.659
AT ITER 2486 NEW BEST:: SOT 7557 SOS 2658 HAS SOPS 2658 HAS SOUS 2098 HAS SOUPS 2098 WITH SCORE 2100.658
AT ITER 2502 NEW BEST:: SOT 7557 SOS 2660 HAS SOPS 2660 HAS SOUS 2095 HAS SOUPS 2095 WITH SCORE 2097.66
AT ITER 2506 NEW BEST:: SOT 7564 SOS 2659 HAS SOPS 2659 HAS SOUS 2092 HAS SOUPS 2092 WITH SCORE 2094.659
AT ITER 2519 NEW BEST:: SOT 7552 SOS 2623 HAS SOPS 2623 HAS SOUS 2068 HAS SOUPS 2068 WITH SCORE 2070.623
AT ITER 2565 NEW BEST:: SOT 7552 SOS 2623 HAS SOPS 2623 HAS SOUS 2067 HAS SOUPS 2067 WITH SCORE 2069.623
AT ITER 2646 NEW BEST:: SOT 7550 SOS 2621 HAS SOPS 2621 HAS SOUS 2065 HAS SOUPS 2065 WITH SCORE 2067.621
AT ITER 2655 NEW BEST:: SOT 7546 SOS 2613 HAS SOPS 2613 HAS SOUS 2058 HAS SOUPS 2058 WITH SCORE 2060.613
AT ITER 2678 NEW BEST:: SOT 7544 SOS 2610 HAS SOPS 2610 HAS SOUS 2055 HAS SOUPS 2055 WITH SCORE 2057.61
AT ITER 2701 NEW BEST:: SOT 7552 SOS 2614 HAS SOPS 2614 HAS SOUS 2052 HAS SOUPS 2052 WITH SCORE 2054.614
AT ITER 2785 NEW BEST:: SOT 7557 SOS 2547 HAS SOPS 2547 HAS SOUS 2052 HAS SOUPS 2052 WITH SCORE 2054.547
AT ITER 2786 NEW BEST:: SOT 7541 SOS 2554 HAS SOPS 2554 HAS SOUS 2049 HAS SOUPS 2049 WITH SCORE 2051.554
AT ITER 2793 NEW BEST:: SOT 7542 SOS 2557 HAS SOPS 2557 HAS SOUS 2048 HAS SOUPS 2048 WITH SCORE 2050.557
AT ITER 2861 NEW BEST:: SOT 7542 SOS 2550 HAS SOPS 2550 HAS SOUS 2048 HAS SOUPS 2048 WITH SCORE 2050.55
AT ITER 2862 NEW BEST:: SOT 7538 SOS 2543 HAS SOPS 2543 HAS SOUS 2041 HAS SOUPS 2041 WITH SCORE 2043.543
AT ITER 2914 NEW BEST:: SOT 7546 SOS 2541 HAS SOPS 2541 HAS SOUS 2038 HAS SOUPS 2038 WITH SCORE 2040.541
AT ITER 2937 NEW BEST:: SOT 7538 SOS 2534 HAS SOPS 2534 HAS SOUS 2036 HAS SOUPS 2036 WITH SCORE 2038.534
AT ITER 2940 NEW BEST:: SOT 7514 SOS 2506 HAS SOPS 2506 HAS SOUS 2010 HAS SOUPS 2010 WITH SCORE 2012.506
AT ITER 2953 NEW BEST:: SOT 7522 SOS 2474 HAS SOPS 2474 HAS SOUS 2003 HAS SOUPS 2003 WITH SCORE 2005.474
AT ITER 3013 NEW BEST:: SOT 7521 SOS 2473 HAS SOPS 2473 HAS SOUS 2002 HAS SOUPS 2002 WITH SCORE 2004.473
AT ITER 3056 NEW BEST:: SOT 7521 SOS 2472 HAS SOPS 2472 HAS SOUS 2002 HAS SOUPS 2002 WITH SCORE 2004.472
AT ITER 3070 NEW BEST:: SOT 7516 SOS 2469 HAS SOPS 2469 HAS SOUS 1997 HAS SOUPS 1997 WITH SCORE 1999.469
AT ITER 3071 NEW BEST:: SOT 7507 SOS 2455 HAS SOPS 2455 HAS SOUS 1988 HAS SOUPS 1988 WITH SCORE 1990.455
AT ITER 3106 NEW BEST:: SOT 7509 SOS 2456 HAS SOPS 2456 HAS SOUS 1986 HAS SOUPS 1986 WITH SCORE 1988.456
AT ITER 3114 NEW BEST:: SOT 7507 SOS 2450 HAS SOPS 2450 HAS SOUS 1986 HAS SOUPS 1986 WITH SCORE 1988.45
AT ITER 3115 NEW BEST:: SOT 7506 SOS 2448 HAS SOPS 2448 HAS SOUS 1984 HAS SOUPS 1984 WITH SCORE 1986.448
AT ITER 3132 NEW BEST:: SOT 7495 SOS 2445 HAS SOPS 2445 HAS SOUS 1975 HAS SOUPS 1975 WITH SCORE 1977.445
AT ITER 3196 NEW BEST:: SOT 7493 SOS 2443 HAS SOPS 2443 HAS SOUS 1973 HAS SOUPS 1973 WITH SCORE 1975.443
AT ITER 3266 NEW BEST:: SOT 7532 SOS 2434 HAS SOPS 2434 HAS SOUS 1964 HAS SOUPS 1964 WITH SCORE 1966.434
AT ITER 3274 NEW BEST:: SOT 7534 SOS 2441 HAS SOPS 2441 HAS SOUS 1960 HAS SOUPS 1960 WITH SCORE 1962.441
AT ITER 3277 NEW BEST:: SOT 7534 SOS 2437 HAS SOPS 2437 HAS SOUS 1956 HAS SOUPS 1956 WITH SCORE 1958.437
AT ITER 3339 NEW BEST:: SOT 7534 SOS 2438 HAS SOPS 2438 HAS SOUS 1955 HAS SOUPS 1955 WITH SCORE 1957.438
AT ITER 3341 NEW BEST:: SOT 7531 SOS 2435 HAS SOPS 2435 HAS SOUS 1952 HAS SOUPS 1952 WITH SCORE 1954.435
AT ITER 3348 NEW BEST:: SOT 7528 SOS 2430 HAS SOPS 2430 HAS SOUS 1948 HAS SOUPS 1948 WITH SCORE 1950.43
AT ITER 3434 NEW BEST:: SOT 7528 SOS 2430 HAS SOPS 2430 HAS SOUS 1946 HAS SOUPS 1946 WITH SCORE 1948.43
AT ITER 3435 NEW BEST:: SOT 7527 SOS 2429 HAS SOPS 2429 HAS SOUS 1945 HAS SOUPS 1945 WITH SCORE 1947.429
AT ITER 3467 NEW BEST:: SOT 7521 SOS 2399 HAS SOPS 2399 HAS SOUS 1927 HAS SOUPS 1927 WITH SCORE 1929.399
AT ITER 3487 NEW BEST:: SOT 7519 SOS 2388 HAS SOPS 2388 HAS SOUS 1919 HAS SOUPS 1919 WITH SCORE 1921.388
AT ITER 3492 NEW BEST:: SOT 7575 SOS 2380 HAS SOPS 2380 HAS SOUS 1910 HAS SOUPS 1910 WITH SCORE 1912.38
AT ITER 3608 NEW BEST:: SOT 7551 SOS 2353 HAS SOPS 2353 HAS SOUS 1883 HAS SOUPS 1883 WITH SCORE 1885.353
AT ITER 3638 NEW BEST:: SOT 7551 SOS 2349 HAS SOPS 2349 HAS SOUS 1883 HAS SOUPS 1883 WITH SCORE 1885.349
AT ITER 3691 NEW BEST:: SOT 7547 SOS 2318 HAS SOPS 2318 HAS SOUS 1870 HAS SOUPS 1870 WITH SCORE 1872.318
AT ITER 3708 NEW BEST:: SOT 7548 SOS 2319 HAS SOPS 2319 HAS SOUS 1867 HAS SOUPS 1867 WITH SCORE 1869.319
AT ITER 3724 NEW BEST:: SOT 7548 SOS 2316 HAS SOPS 2316 HAS SOUS 1864 HAS SOUPS 1864 WITH SCORE 1866.316
AT ITER 3764 NEW BEST:: SOT 7540 SOS 2298 HAS SOPS 2298 HAS SOUS 1851 HAS SOUPS 1851 WITH SCORE 1853.298
AT ITER 3823 NEW BEST:: SOT 7539 SOS 2297 HAS SOPS 2297 HAS SOUS 1850 HAS SOUPS 1850 WITH SCORE 1852.297
AT ITER 3853 NEW BEST:: SOT 7537 SOS 2295 HAS SOPS 2295 HAS SOUS 1848 HAS SOUPS 1848 WITH SCORE 1850.295
AT ITER 3930 NEW BEST:: SOT 7537 SOS 2295 HAS SOPS 2295 HAS SOUS 1846 HAS SOUPS 1846 WITH SCORE 1848.295
AT ITER 3952 NEW BEST:: SOT 7533 SOS 2291 HAS SOPS 2291 HAS SOUS 1842 HAS SOUPS 1842 WITH SCORE 1844.291
AT ITER 3964 NEW BEST:: SOT 7527 SOS 2284 HAS SOPS 2284 HAS SOUS 1833 HAS SOUPS 1833 WITH SCORE 1835.284
AT ITER 3972 NEW BEST:: SOT 7527 SOS 2283 HAS SOPS 2283 HAS SOUS 1832 HAS SOUPS 1832 WITH SCORE 1834.283
AT ITER 4027 NEW BEST:: SOT 7555 SOS 2291 HAS SOPS 2291 HAS SOUS 1830 HAS SOUPS 1830 WITH SCORE 1832.291
AT ITER 4105 NEW BEST:: SOT 7547 SOS 2283 HAS SOPS 2283 HAS SOUS 1822 HAS SOUPS 1822 WITH SCORE 1824.283
AT ITER 4118 NEW BEST:: SOT 7546 SOS 2279 HAS SOPS 2279 HAS SOUS 1819 HAS SOUPS 1819 WITH SCORE 1821.279
AT ITER 4130 NEW BEST:: SOT 7546 SOS 2259 HAS SOPS 2259 HAS SOUS 1809 HAS SOUPS 1809 WITH SCORE 1811.259
AT ITER 4173 NEW BEST:: SOT 7546 SOS 2253 HAS SOPS 2253 HAS SOUS 1803 HAS SOUPS 1803 WITH SCORE 1805.253
AT ITER 4174 NEW BEST:: SOT 7545 SOS 2252 HAS SOPS 2252 HAS SOUS 1802 HAS SOUPS 1802 WITH SCORE 1804.252
AT ITER 4185 NEW BEST:: SOT 7543 SOS 2239 HAS SOPS 2239 HAS SOUS 1801 HAS SOUPS 1801 WITH SCORE 1803.239
AT ITER 4248 NEW BEST:: SOT 7540 SOS 2234 HAS SOPS 2234 HAS SOUS 1796 HAS SOUPS 1796 WITH SCORE 1798.234
AT ITER 4257 NEW BEST:: SOT 7537 SOS 2228 HAS SOPS 2228 HAS SOUS 1790 HAS SOUPS 1790 WITH SCORE 1792.228
AT ITER 4323 NEW BEST:: SOT 7536 SOS 2227 HAS SOPS 2227 HAS SOUS 1789 HAS SOUPS 1789 WITH SCORE 1791.227
AT ITER 4336 NEW BEST:: SOT 7531 SOS 2235 HAS SOPS 2235 HAS SOUS 1784 HAS SOUPS 1784 WITH SCORE 1786.235
AT ITER 4337 NEW BEST:: SOT 7525 SOS 2234 HAS SOPS 2234 HAS SOUS 1783 HAS SOUPS 1783 WITH SCORE 1785.234
AT ITER 4395 NEW BEST:: SOT 7525 SOS 2233 HAS SOPS 2233 HAS SOUS 1782 HAS SOUPS 1782 WITH SCORE 1784.233
AT ITER 4433 NEW BEST:: SOT 7524 SOS 2226 HAS SOPS 2226 HAS SOUS 1775 HAS SOUPS 1775 WITH SCORE 1777.226
AT ITER 4505 NEW BEST:: SOT 7524 SOS 2224 HAS SOPS 2224 HAS SOUS 1773 HAS SOUPS 1773 WITH SCORE 1775.224
AT ITER 4541 NEW BEST:: SOT 7518 SOS 2215 HAS SOPS 2215 HAS SOUS 1765 HAS SOUPS 1765 WITH SCORE 1767.215
AT ITER 4598 NEW BEST:: SOT 7520 SOS 2198 HAS SOPS 2198 HAS SOUS 1756 HAS SOUPS 1756 WITH SCORE 1758.198
AT ITER 4717 NEW BEST:: SOT 7520 SOS 2196 HAS SOPS 2196 HAS SOUS 1754 HAS SOUPS 1754 WITH SCORE 1756.196
AT ITER 4729 NEW BEST:: SOT 7529 SOS 2208 HAS SOPS 2208 HAS SOUS 1753 HAS SOUPS 1753 WITH SCORE 1755.208
AT ITER 4771 NEW BEST:: SOT 7527 SOS 2206 HAS SOPS 2206 HAS SOUS 1751 HAS SOUPS 1751 WITH SCORE 1753.206
AT ITER 5107 NEW BEST:: SOT 7524 SOS 2201 HAS SOPS 2201 HAS SOUS 1746 HAS SOUPS 1746 WITH SCORE 1748.201
AT ITER 5132 NEW BEST:: SOT 7524 SOS 2197 HAS SOPS 2197 HAS SOUS 1745 HAS SOUPS 1745 WITH SCORE 1747.197
AT ITER 5229 NEW BEST:: SOT 7516 SOS 2177 HAS SOPS 2177 HAS SOUS 1732 HAS SOUPS 1732 WITH SCORE 1734.177
AT ITER 5257 NEW BEST:: SOT 7516 SOS 2173 HAS SOPS 2173 HAS SOUS 1732 HAS SOUPS 1732 WITH SCORE 1734.173
AT ITER 5261 NEW BEST:: SOT 7515 SOS 2172 HAS SOPS 2172 HAS SOUS 1731 HAS SOUPS 1731 WITH SCORE 1733.172
AT ITER 5346 NEW BEST:: SOT 7515 SOS 2170 HAS SOPS 2170 HAS SOUS 1731 HAS SOUPS 1731 WITH SCORE 1733.17
AT ITER 5574 NEW BEST:: SOT 7515 SOS 2151 HAS SOPS 2151 HAS SOUS 1711 HAS SOUPS 1711 WITH SCORE 1713.151
AT ITER 5599 NEW BEST:: SOT 7515 SOS 2148 HAS SOPS 2148 HAS SOUS 1711 HAS SOUPS 1711 WITH SCORE 1713.148
AT ITER 5772 NEW BEST:: SOT 7515 SOS 2106 HAS SOPS 2106 HAS SOUS 1711 HAS SOUPS 1711 WITH SCORE 1713.106
AT ITER 5800 NEW BEST:: SOT 7509 SOS 2098 HAS SOPS 2098 HAS SOUS 1710 HAS SOUPS 1710 WITH SCORE 1712.098
AT ITER 5850 NEW BEST:: SOT 7507 SOS 2096 HAS SOPS 2096 HAS SOUS 1708 HAS SOUPS 1708 WITH SCORE 1710.096
AT ITER 5852 NEW BEST:: SOT 7507 SOS 2094 HAS SOPS 2094 HAS SOUS 1707 HAS SOUPS 1707 WITH SCORE 1709.094
AT ITER 5858 NEW BEST:: SOT 7506 SOS 2093 HAS SOPS 2093 HAS SOUS 1705 HAS SOUPS 1705 WITH SCORE 1707.093
AT ITER 5860 NEW BEST:: SOT 7505 SOS 2091 HAS SOPS 2091 HAS SOUS 1703 HAS SOUPS 1703 WITH SCORE 1705.091
AT ITER 5881 NEW BEST:: SOT 7498 SOS 2084 HAS SOPS 2084 HAS SOUS 1696 HAS SOUPS 1696 WITH SCORE 1698.084
AT ITER 5924 NEW BEST:: SOT 7498 SOS 2082 HAS SOPS 2082 HAS SOUS 1696 HAS SOUPS 1696 WITH SCORE 1698.082
AT ITER 5943 NEW BEST:: SOT 7498 SOS 2074 HAS SOPS 2074 HAS SOUS 1695 HAS SOUPS 1695 WITH SCORE 1697.074
AT ITER 6018 NEW BEST:: SOT 7495 SOS 2070 HAS SOPS 2070 HAS SOUS 1691 HAS SOUPS 1691 WITH SCORE 1693.07
AT ITER 6068 NEW BEST:: SOT 7482 SOS 1989 HAS SOPS 1989 HAS SOUS 1673 HAS SOUPS 1673 WITH SCORE 1674.989
AT ITER 6072 NEW BEST:: SOT 7480 SOS 1989 HAS SOPS 1989 HAS SOUS 1672 HAS SOUPS 1672 WITH SCORE 1673.989
AT ITER 6154 NEW BEST:: SOT 7478 SOS 1987 HAS SOPS 1987 HAS SOUS 1670 HAS SOUPS 1670 WITH SCORE 1671.987
AT ITER 6166 NEW BEST:: SOT 7479 SOS 1986 HAS SOPS 1986 HAS SOUS 1665 HAS SOUPS 1665 WITH SCORE 1666.986
AT ITER 6258 NEW BEST:: SOT 7470 SOS 1970 HAS SOPS 1970 HAS SOUS 1650 HAS SOUPS 1650 WITH SCORE 1651.97
AT ITER 6279 NEW BEST:: SOT 7469 SOS 1968 HAS SOPS 1968 HAS SOUS 1647 HAS SOUPS 1647 WITH SCORE 1648.968
AT ITER 6352 NEW BEST:: SOT 7468 SOS 1967 HAS SOPS 1967 HAS SOUS 1646 HAS SOUPS 1646 WITH SCORE 1647.967
AT ITER 6378 NEW BEST:: SOT 7468 SOS 1965 HAS SOPS 1965 HAS SOUS 1645 HAS SOUPS 1645 WITH SCORE 1646.965
AT ITER 6396 NEW BEST:: SOT 7468 SOS 1962 HAS SOPS 1962 HAS SOUS 1642 HAS SOUPS 1642 WITH SCORE 1643.962
AT ITER 6405 NEW BEST:: SOT 7470 SOS 1961 HAS SOPS 1961 HAS SOUS 1641 HAS SOUPS 1641 WITH SCORE 1642.961
AT ITER 6498 NEW BEST:: SOT 7470 SOS 1960 HAS SOPS 1960 HAS SOUS 1641 HAS SOUPS 1641 WITH SCORE 1642.96
AT ITER 6567 NEW BEST:: SOT 7471 SOS 1961 HAS SOPS 1961 HAS SOUS 1640 HAS SOUPS 1640 WITH SCORE 1641.961
AT ITER 6677 NEW BEST:: SOT 7471 SOS 1952 HAS SOPS 1952 HAS SOUS 1631 HAS SOUPS 1631 WITH SCORE 1632.952
AT ITER 6679 NEW BEST:: SOT 7470 SOS 1949 HAS SOPS 1949 HAS SOUS 1628 HAS SOUPS 1628 WITH SCORE 1629.949
AT ITER 6776 NEW BEST:: SOT 7468 SOS 1950 HAS SOPS 1950 HAS SOUS 1626 HAS SOUPS 1626 WITH SCORE 1627.95
AT ITER 6901 NEW BEST:: SOT 7468 SOS 1951 HAS SOPS 1951 HAS SOUS 1625 HAS SOUPS 1625 WITH SCORE 1626.951
AT ITER 7022 NEW BEST:: SOT 7467 SOS 1947 HAS SOPS 1947 HAS SOUS 1623 HAS SOUPS 1623 WITH SCORE 1624.947
AT ITER 7085 NEW BEST:: SOT 7466 SOS 1946 HAS SOPS 1946 HAS SOUS 1622 HAS SOUPS 1622 WITH SCORE 1623.946
AT ITER 7104 NEW BEST:: SOT 7465 SOS 1944 HAS SOPS 1944 HAS SOUS 1620 HAS SOUPS 1620 WITH SCORE 1621.944
AT ITER 7106 NEW BEST:: SOT 7463 SOS 1938 HAS SOPS 1938 HAS SOUS 1611 HAS SOUPS 1611 WITH SCORE 1612.938
AT ITER 7270 NEW BEST:: SOT 7461 SOS 1930 HAS SOPS 1930 HAS SOUS 1606 HAS SOUPS 1606 WITH SCORE 1607.93
AT ITER 7298 NEW BEST:: SOT 7461 SOS 1928 HAS SOPS 1928 HAS SOUS 1604 HAS SOUPS 1604 WITH SCORE 1605.928
AT ITER 7565 NEW BEST:: SOT 7460 SOS 1925 HAS SOPS 1925 HAS SOUS 1603 HAS SOUPS 1603 WITH SCORE 1604.925
AT ITER 7739 NEW BEST:: SOT 7460 SOS 1915 HAS SOPS 1915 HAS SOUS 1603 HAS SOUPS 1603 WITH SCORE 1604.915
AT ITER 7778 NEW BEST:: SOT 7463 SOS 1911 HAS SOPS 1911 HAS SOUS 1601 HAS SOUPS 1601 WITH SCORE 1602.911
AT ITER 7814 NEW BEST:: SOT 7460 SOS 1908 HAS SOPS 1908 HAS SOUS 1598 HAS SOUPS 1598 WITH SCORE 1599.908
AT ITER 7903 NEW BEST:: SOT 7455 SOS 1902 HAS SOPS 1902 HAS SOUS 1594 HAS SOUPS 1594 WITH SCORE 1595.902
AT ITER 7908 NEW BEST:: SOT 7454 SOS 1899 HAS SOPS 1899 HAS SOUS 1592 HAS SOUPS 1592 WITH SCORE 1593.899
AT ITER 8072 NEW BEST:: SOT 7452 SOS 1897 HAS SOPS 1897 HAS SOUS 1590 HAS SOUPS 1590 WITH SCORE 1591.897
AT ITER 8361 NEW BEST:: SOT 7450 SOS 1901 HAS SOPS 1901 HAS SOUS 1588 HAS SOUPS 1588 WITH SCORE 1589.901
AT ITER 8448 NEW BEST:: SOT 7448 SOS 1897 HAS SOPS 1897 HAS SOUS 1585 HAS SOUPS 1585 WITH SCORE 1586.897
AT ITER 8712 NEW BEST:: SOT 7444 SOS 1893 HAS SOPS 1893 HAS SOUS 1581 HAS SOUPS 1581 WITH SCORE 1582.893
AT ITER 8742 NEW BEST:: SOT 7443 SOS 1892 HAS SOPS 1892 HAS SOUS 1580 HAS SOUPS 1580 WITH SCORE 1581.892
AT ITER 8752 NEW BEST:: SOT 7442 SOS 1885 HAS SOPS 1885 HAS SOUS 1579 HAS SOUPS 1579 WITH SCORE 1580.885
AT ITER 8824 NEW BEST:: SOT 7439 SOS 1885 HAS SOPS 1885 HAS SOUS 1578 HAS SOUPS 1578 WITH SCORE 1579.885
AT ITER 8855 NEW BEST:: SOT 7438 SOS 1884 HAS SOPS 1884 HAS SOUS 1578 HAS SOUPS 1578 WITH SCORE 1579.884
AT ITER 8862 NEW BEST:: SOT 7437 SOS 1883 HAS SOPS 1883 HAS SOUS 1577 HAS SOUPS 1577 WITH SCORE 1578.883
AT ITER 8904 NEW BEST:: SOT 7439 SOS 1884 HAS SOPS 1884 HAS SOUS 1576 HAS SOUPS 1576 WITH SCORE 1577.884
AT ITER 9210 NEW BEST:: SOT 7438 SOS 1879 HAS SOPS 1879 HAS SOUS 1575 HAS SOUPS 1575 WITH SCORE 1576.879
AT ITER 9534 NEW BEST:: SOT 7437 SOS 1878 HAS SOPS 1878 HAS SOUS 1574 HAS SOUPS 1574 WITH SCORE 1575.878
AT ITER 9597 NEW BEST:: SOT 7436 SOS 1875 HAS SOPS 1875 HAS SOUS 1571 HAS SOUPS 1571 WITH SCORE 1572.875
AT ITER 9688 NEW BEST:: SOT 7435 SOS 1874 HAS SOPS 1874 HAS SOUS 1570 HAS SOUPS 1570 WITH SCORE 1571.874
AT ITER 9870 NEW BEST:: SOT 7435 SOS 1874 HAS SOPS 1874 HAS SOUS 1569 HAS SOUPS 1569 WITH SCORE 1570.874
AT ITER 9934 NEW BEST:: SOT 7433 SOS 1874 HAS SOPS 1874 HAS SOUS 1565 HAS SOUPS 1565 WITH SCORE 1566.874
AT ITER 9974 NEW BEST:: SOT 7430 SOS 1874 HAS SOPS 1874 HAS SOUS 1564 HAS SOUPS 1564 WITH SCORE 1565.874

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ShieldPPPs-PT-004A"
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 ShieldPPPs-PT-004A, 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 r207-tajo-159033469500448"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ShieldPPPs-PT-004A.tgz
mv ShieldPPPs-PT-004A 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 ;