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.r387-oct2-167903711400056.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 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 ShieldIIPs-PT-004A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r387-oct2-167903711400056
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 556K
-rw-r--r-- 1 mcc users 7.2K Feb 25 16:33 CTLCardinality.txt
-rw-r--r-- 1 mcc users 83K Feb 25 16:33 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.8K Feb 25 16:30 CTLFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 25 16:30 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 25 16:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 176K Feb 25 16:36 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.3K Feb 25 16:34 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 86K Feb 25 16:34 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 34K Mar 5 18:23 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 1679060188379

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=ShieldIIPs-PT-004A
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldIIPs (PT), instance 004A
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: 103 places, 99 transitions, 438 arcs.
AT ITER 0 NEW BEST:: SOT 6965 SOS 5440 HAS SOPS 5440 HAS SOUS 4664 HAS SOUPS 4664 WITH SCORE 4669.44
AT ITER 2 NEW BEST:: SOT 6951 SOS 5432 HAS SOPS 5432 HAS SOUS 4656 HAS SOUPS 4656 WITH SCORE 4661.432
AT ITER 6 NEW BEST:: SOT 6944 SOS 5397 HAS SOPS 5397 HAS SOUS 4655 HAS SOUPS 4655 WITH SCORE 4660.397
AT ITER 8 NEW BEST:: SOT 6944 SOS 5394 HAS SOPS 5394 HAS SOUS 4652 HAS SOUPS 4652 WITH SCORE 4657.394
AT ITER 10 NEW BEST:: SOT 6929 SOS 5313 HAS SOPS 5313 HAS SOUS 4612 HAS SOUPS 4612 WITH SCORE 4617.313
AT ITER 13 NEW BEST:: SOT 6917 SOS 5272 HAS SOPS 5272 HAS SOUS 4604 HAS SOUPS 4604 WITH SCORE 4609.272
AT ITER 15 NEW BEST:: SOT 6901 SOS 5259 HAS SOPS 5259 HAS SOUS 4591 HAS SOUPS 4591 WITH SCORE 4596.259
AT ITER 16 NEW BEST:: SOT 6880 SOS 5247 HAS SOPS 5247 HAS SOUS 4579 HAS SOUPS 4579 WITH SCORE 4584.247
AT ITER 21 NEW BEST:: SOT 6868 SOS 5235 HAS SOPS 5235 HAS SOUS 4567 HAS SOUPS 4567 WITH SCORE 4572.235
AT ITER 33 NEW BEST:: SOT 6847 SOS 5216 HAS SOPS 5216 HAS SOUS 4548 HAS SOUPS 4548 WITH SCORE 4553.216
AT ITER 34 NEW BEST:: SOT 6822 SOS 5190 HAS SOPS 5190 HAS SOUS 4522 HAS SOUPS 4522 WITH SCORE 4527.19
AT ITER 35 NEW BEST:: SOT 6847 SOS 5195 HAS SOPS 5195 HAS SOUS 4512 HAS SOUPS 4512 WITH SCORE 4517.195
AT ITER 38 NEW BEST:: SOT 6820 SOS 5183 HAS SOPS 5183 HAS SOUS 4496 HAS SOUPS 4496 WITH SCORE 4501.183
AT ITER 42 NEW BEST:: SOT 6799 SOS 5094 HAS SOPS 5094 HAS SOUS 4449 HAS SOUPS 4449 WITH SCORE 4454.094
AT ITER 48 NEW BEST:: SOT 6808 SOS 5076 HAS SOPS 5076 HAS SOUS 4430 HAS SOUPS 4430 WITH SCORE 4435.076
AT ITER 58 NEW BEST:: SOT 6813 SOS 5055 HAS SOPS 5055 HAS SOUS 4423 HAS SOUPS 4423 WITH SCORE 4428.055
AT ITER 60 NEW BEST:: SOT 6734 SOS 4977 HAS SOPS 4977 HAS SOUS 4344 HAS SOUPS 4344 WITH SCORE 4348.977
AT ITER 61 NEW BEST:: SOT 6703 SOS 4918 HAS SOPS 4918 HAS SOUS 4285 HAS SOUPS 4285 WITH SCORE 4289.918
AT ITER 62 NEW BEST:: SOT 6666 SOS 4881 HAS SOPS 4881 HAS SOUS 4231 HAS SOUPS 4231 WITH SCORE 4235.881
AT ITER 65 NEW BEST:: SOT 6642 SOS 4824 HAS SOPS 4824 HAS SOUS 4191 HAS SOUPS 4191 WITH SCORE 4195.824
AT ITER 70 NEW BEST:: SOT 6640 SOS 4822 HAS SOPS 4822 HAS SOUS 4189 HAS SOUPS 4189 WITH SCORE 4193.822
AT ITER 73 NEW BEST:: SOT 6668 SOS 4803 HAS SOPS 4803 HAS SOUS 4159 HAS SOUPS 4159 WITH SCORE 4163.803
AT ITER 83 NEW BEST:: SOT 6740 SOS 4786 HAS SOPS 4786 HAS SOUS 4145 HAS SOUPS 4145 WITH SCORE 4149.786
AT ITER 85 NEW BEST:: SOT 6689 SOS 4736 HAS SOPS 4736 HAS SOUS 4094 HAS SOUPS 4094 WITH SCORE 4098.736
AT ITER 87 NEW BEST:: SOT 6689 SOS 4721 HAS SOPS 4721 HAS SOUS 4061 HAS SOUPS 4061 WITH SCORE 4065.721
AT ITER 90 NEW BEST:: SOT 6687 SOS 4719 HAS SOPS 4719 HAS SOUS 4059 HAS SOUPS 4059 WITH SCORE 4063.719
AT ITER 98 NEW BEST:: SOT 6686 SOS 4666 HAS SOPS 4666 HAS SOUS 4045 HAS SOUPS 4045 WITH SCORE 4049.666
AT ITER 99 NEW BEST:: SOT 6641 SOS 4619 HAS SOPS 4619 HAS SOUS 3998 HAS SOUPS 3998 WITH SCORE 4002.619
AT ITER 101 NEW BEST:: SOT 6633 SOS 4591 HAS SOPS 4591 HAS SOUS 3970 HAS SOUPS 3970 WITH SCORE 3974.591
AT ITER 108 NEW BEST:: SOT 6603 SOS 4561 HAS SOPS 4561 HAS SOUS 3940 HAS SOUPS 3940 WITH SCORE 3944.561
AT ITER 109 NEW BEST:: SOT 6602 SOS 4558 HAS SOPS 4558 HAS SOUS 3937 HAS SOUPS 3937 WITH SCORE 3941.558
AT ITER 113 NEW BEST:: SOT 6589 SOS 4539 HAS SOPS 4539 HAS SOUS 3918 HAS SOUPS 3918 WITH SCORE 3922.539
AT ITER 120 NEW BEST:: SOT 6587 SOS 4537 HAS SOPS 4537 HAS SOUS 3916 HAS SOUPS 3916 WITH SCORE 3920.537
AT ITER 121 NEW BEST:: SOT 6586 SOS 4536 HAS SOPS 4536 HAS SOUS 3915 HAS SOUPS 3915 WITH SCORE 3919.536
AT ITER 127 NEW BEST:: SOT 6568 SOS 4497 HAS SOPS 4497 HAS SOUS 3864 HAS SOUPS 3864 WITH SCORE 3868.497
AT ITER 128 NEW BEST:: SOT 6564 SOS 4492 HAS SOPS 4492 HAS SOUS 3859 HAS SOUPS 3859 WITH SCORE 3863.492
AT ITER 130 NEW BEST:: SOT 6576 SOS 4444 HAS SOPS 4444 HAS SOUS 3857 HAS SOUPS 3857 WITH SCORE 3861.444
AT ITER 133 NEW BEST:: SOT 6574 SOS 4442 HAS SOPS 4442 HAS SOUS 3855 HAS SOUPS 3855 WITH SCORE 3859.442
AT ITER 135 NEW BEST:: SOT 6574 SOS 4440 HAS SOPS 4440 HAS SOUS 3853 HAS SOUPS 3853 WITH SCORE 3857.44
AT ITER 137 NEW BEST:: SOT 6568 SOS 4434 HAS SOPS 4434 HAS SOUS 3847 HAS SOUPS 3847 WITH SCORE 3851.434
AT ITER 138 NEW BEST:: SOT 6555 SOS 4424 HAS SOPS 4424 HAS SOUS 3840 HAS SOUPS 3840 WITH SCORE 3844.424
AT ITER 139 NEW BEST:: SOT 6555 SOS 4388 HAS SOPS 4388 HAS SOUS 3811 HAS SOUPS 3811 WITH SCORE 3815.388
AT ITER 143 NEW BEST:: SOT 6525 SOS 4370 HAS SOPS 4370 HAS SOUS 3793 HAS SOUPS 3793 WITH SCORE 3797.37
AT ITER 151 NEW BEST:: SOT 6538 SOS 4263 HAS SOPS 4263 HAS SOUS 3764 HAS SOUPS 3764 WITH SCORE 3768.263
AT ITER 167 NEW BEST:: SOT 6526 SOS 4246 HAS SOPS 4246 HAS SOUS 3747 HAS SOUPS 3747 WITH SCORE 3751.246
AT ITER 172 NEW BEST:: SOT 6508 SOS 4228 HAS SOPS 4228 HAS SOUS 3729 HAS SOUPS 3729 WITH SCORE 3733.228
AT ITER 179 NEW BEST:: SOT 6485 SOS 4188 HAS SOPS 4188 HAS SOUS 3693 HAS SOUPS 3693 WITH SCORE 3697.188
AT ITER 187 NEW BEST:: SOT 6475 SOS 4178 HAS SOPS 4178 HAS SOUS 3683 HAS SOUPS 3683 WITH SCORE 3687.178
AT ITER 193 NEW BEST:: SOT 6475 SOS 4177 HAS SOPS 4177 HAS SOUS 3682 HAS SOUPS 3682 WITH SCORE 3686.177
AT ITER 198 NEW BEST:: SOT 6458 SOS 4157 HAS SOPS 4157 HAS SOUS 3662 HAS SOUPS 3662 WITH SCORE 3666.157
AT ITER 199 NEW BEST:: SOT 6459 SOS 4114 HAS SOPS 4114 HAS SOUS 3634 HAS SOUPS 3634 WITH SCORE 3638.114
AT ITER 204 NEW BEST:: SOT 6454 SOS 4094 HAS SOPS 4094 HAS SOUS 3583 HAS SOUPS 3583 WITH SCORE 3587.094
AT ITER 205 NEW BEST:: SOT 6456 SOS 4090 HAS SOPS 4090 HAS SOUS 3573 HAS SOUPS 3573 WITH SCORE 3577.09
AT ITER 206 NEW BEST:: SOT 6455 SOS 4089 HAS SOPS 4089 HAS SOUS 3572 HAS SOUPS 3572 WITH SCORE 3576.089
AT ITER 208 NEW BEST:: SOT 6416 SOS 4047 HAS SOPS 4047 HAS SOUS 3530 HAS SOUPS 3530 WITH SCORE 3534.047
AT ITER 209 NEW BEST:: SOT 6428 SOS 4077 HAS SOPS 4077 HAS SOUS 3511 HAS SOUPS 3511 WITH SCORE 3515.077
AT ITER 215 NEW BEST:: SOT 6423 SOS 4067 HAS SOPS 4067 HAS SOUS 3505 HAS SOUPS 3505 WITH SCORE 3509.067
AT ITER 219 NEW BEST:: SOT 6423 SOS 4051 HAS SOPS 4051 HAS SOUS 3481 HAS SOUPS 3481 WITH SCORE 3485.051
AT ITER 226 NEW BEST:: SOT 6423 SOS 4046 HAS SOPS 4046 HAS SOUS 3475 HAS SOUPS 3475 WITH SCORE 3479.046
AT ITER 229 NEW BEST:: SOT 6417 SOS 4031 HAS SOPS 4031 HAS SOUS 3459 HAS SOUPS 3459 WITH SCORE 3463.031
AT ITER 231 NEW BEST:: SOT 6422 SOS 4026 HAS SOPS 4026 HAS SOUS 3459 HAS SOUPS 3459 WITH SCORE 3463.026
AT ITER 238 NEW BEST:: SOT 6423 SOS 4009 HAS SOPS 4009 HAS SOUS 3450 HAS SOUPS 3450 WITH SCORE 3454.009
AT ITER 254 NEW BEST:: SOT 6423 SOS 3985 HAS SOPS 3985 HAS SOUS 3431 HAS SOUPS 3431 WITH SCORE 3434.985
AT ITER 267 NEW BEST:: SOT 6426 SOS 3981 HAS SOPS 3981 HAS SOUS 3431 HAS SOUPS 3431 WITH SCORE 3434.981
AT ITER 275 NEW BEST:: SOT 6424 SOS 3969 HAS SOPS 3969 HAS SOUS 3419 HAS SOUPS 3419 WITH SCORE 3422.969
AT ITER 276 NEW BEST:: SOT 6424 SOS 3965 HAS SOPS 3965 HAS SOUS 3419 HAS SOUPS 3419 WITH SCORE 3422.965
AT ITER 281 NEW BEST:: SOT 6401 SOS 3921 HAS SOPS 3921 HAS SOUS 3375 HAS SOUPS 3375 WITH SCORE 3378.921
AT ITER 293 NEW BEST:: SOT 6416 SOS 3902 HAS SOPS 3902 HAS SOUS 3370 HAS SOUPS 3370 WITH SCORE 3373.902
AT ITER 296 NEW BEST:: SOT 6415 SOS 3867 HAS SOPS 3867 HAS SOUS 3367 HAS SOUPS 3367 WITH SCORE 3370.867
AT ITER 298 NEW BEST:: SOT 6413 SOS 3850 HAS SOPS 3850 HAS SOUS 3335 HAS SOUPS 3335 WITH SCORE 3338.85
AT ITER 315 NEW BEST:: SOT 6392 SOS 3817 HAS SOPS 3817 HAS SOUS 3302 HAS SOUPS 3302 WITH SCORE 3305.817
AT ITER 321 NEW BEST:: SOT 6371 SOS 3803 HAS SOPS 3803 HAS SOUS 3288 HAS SOUPS 3288 WITH SCORE 3291.803
AT ITER 338 NEW BEST:: SOT 6371 SOS 3803 HAS SOPS 3803 HAS SOUS 3266 HAS SOUPS 3266 WITH SCORE 3269.803
AT ITER 341 NEW BEST:: SOT 6373 SOS 3789 HAS SOPS 3789 HAS SOUS 3258 HAS SOUPS 3258 WITH SCORE 3261.789
AT ITER 365 NEW BEST:: SOT 6372 SOS 3742 HAS SOPS 3742 HAS SOUS 3232 HAS SOUPS 3232 WITH SCORE 3235.742
AT ITER 366 NEW BEST:: SOT 6366 SOS 3732 HAS SOPS 3732 HAS SOUS 3222 HAS SOUPS 3222 WITH SCORE 3225.732
AT ITER 368 NEW BEST:: SOT 6358 SOS 3724 HAS SOPS 3724 HAS SOUS 3214 HAS SOUPS 3214 WITH SCORE 3217.724
AT ITER 386 NEW BEST:: SOT 6355 SOS 3721 HAS SOPS 3721 HAS SOUS 3211 HAS SOUPS 3211 WITH SCORE 3214.721
AT ITER 392 NEW BEST:: SOT 6350 SOS 3716 HAS SOPS 3716 HAS SOUS 3200 HAS SOUPS 3200 WITH SCORE 3203.716
AT ITER 394 NEW BEST:: SOT 6337 SOS 3691 HAS SOPS 3691 HAS SOUS 3175 HAS SOUPS 3175 WITH SCORE 3178.691
AT ITER 421 NEW BEST:: SOT 6314 SOS 3733 HAS SOPS 3733 HAS SOUS 3110 HAS SOUPS 3110 WITH SCORE 3113.733
AT ITER 423 NEW BEST:: SOT 6313 SOS 3682 HAS SOPS 3682 HAS SOUS 3079 HAS SOUPS 3079 WITH SCORE 3082.682
AT ITER 429 NEW BEST:: SOT 6313 SOS 3643 HAS SOPS 3643 HAS SOUS 3079 HAS SOUPS 3079 WITH SCORE 3082.643
AT ITER 433 NEW BEST:: SOT 6313 SOS 3635 HAS SOPS 3635 HAS SOUS 3069 HAS SOUPS 3069 WITH SCORE 3072.635
AT ITER 443 NEW BEST:: SOT 6312 SOS 3634 HAS SOPS 3634 HAS SOUS 3068 HAS SOUPS 3068 WITH SCORE 3071.634
AT ITER 456 NEW BEST:: SOT 6365 SOS 3593 HAS SOPS 3593 HAS SOUS 3041 HAS SOUPS 3041 WITH SCORE 3044.593
AT ITER 468 NEW BEST:: SOT 6361 SOS 3593 HAS SOPS 3593 HAS SOUS 3026 HAS SOUPS 3026 WITH SCORE 3029.593
AT ITER 474 NEW BEST:: SOT 6359 SOS 3591 HAS SOPS 3591 HAS SOUS 3024 HAS SOUPS 3024 WITH SCORE 3027.591
AT ITER 479 NEW BEST:: SOT 6362 SOS 3588 HAS SOPS 3588 HAS SOUS 3021 HAS SOUPS 3021 WITH SCORE 3024.588
AT ITER 485 NEW BEST:: SOT 6362 SOS 3578 HAS SOPS 3578 HAS SOUS 3011 HAS SOUPS 3011 WITH SCORE 3014.578
AT ITER 486 NEW BEST:: SOT 6361 SOS 3576 HAS SOPS 3576 HAS SOUS 3010 HAS SOUPS 3010 WITH SCORE 3013.576
AT ITER 492 NEW BEST:: SOT 6349 SOS 3568 HAS SOPS 3568 HAS SOUS 3002 HAS SOUPS 3002 WITH SCORE 3005.568
AT ITER 504 NEW BEST:: SOT 6331 SOS 3537 HAS SOPS 3537 HAS SOUS 2971 HAS SOUPS 2971 WITH SCORE 2974.537
AT ITER 519 NEW BEST:: SOT 6329 SOS 3528 HAS SOPS 3528 HAS SOUS 2962 HAS SOUPS 2962 WITH SCORE 2965.528
AT ITER 521 NEW BEST:: SOT 6308 SOS 3516 HAS SOPS 3516 HAS SOUS 2950 HAS SOUPS 2950 WITH SCORE 2953.516
AT ITER 522 NEW BEST:: SOT 6288 SOS 3517 HAS SOPS 3517 HAS SOUS 2943 HAS SOUPS 2943 WITH SCORE 2946.517
AT ITER 526 NEW BEST:: SOT 6222 SOS 3438 HAS SOPS 3438 HAS SOUS 2863 HAS SOUPS 2863 WITH SCORE 2866.438
AT ITER 528 NEW BEST:: SOT 6185 SOS 3397 HAS SOPS 3397 HAS SOUS 2822 HAS SOUPS 2822 WITH SCORE 2825.397
AT ITER 529 NEW BEST:: SOT 6179 SOS 3385 HAS SOPS 3385 HAS SOUS 2813 HAS SOUPS 2813 WITH SCORE 2816.385
AT ITER 532 NEW BEST:: SOT 6169 SOS 3371 HAS SOPS 3371 HAS SOUS 2773 HAS SOUPS 2773 WITH SCORE 2776.371
AT ITER 534 NEW BEST:: SOT 6102 SOS 3304 HAS SOPS 3304 HAS SOUS 2706 HAS SOUPS 2706 WITH SCORE 2709.304
AT ITER 540 NEW BEST:: SOT 6082 SOS 3274 HAS SOPS 3274 HAS SOUS 2676 HAS SOUPS 2676 WITH SCORE 2679.274
AT ITER 542 NEW BEST:: SOT 6082 SOS 3273 HAS SOPS 3273 HAS SOUS 2675 HAS SOUPS 2675 WITH SCORE 2678.273
AT ITER 543 NEW BEST:: SOT 6082 SOS 3271 HAS SOPS 3271 HAS SOUS 2671 HAS SOUPS 2671 WITH SCORE 2674.271
AT ITER 550 NEW BEST:: SOT 6082 SOS 3286 HAS SOPS 3286 HAS SOUS 2661 HAS SOUPS 2661 WITH SCORE 2664.286
AT ITER 560 NEW BEST:: SOT 6079 SOS 3284 HAS SOPS 3284 HAS SOUS 2659 HAS SOUPS 2659 WITH SCORE 2662.284
AT ITER 562 NEW BEST:: SOT 6080 SOS 3285 HAS SOPS 3285 HAS SOUS 2657 HAS SOUPS 2657 WITH SCORE 2660.285
AT ITER 573 NEW BEST:: SOT 6077 SOS 3282 HAS SOPS 3282 HAS SOUS 2654 HAS SOUPS 2654 WITH SCORE 2657.282
AT ITER 612 NEW BEST:: SOT 6072 SOS 3277 HAS SOPS 3277 HAS SOUS 2649 HAS SOUPS 2649 WITH SCORE 2652.277
AT ITER 647 NEW BEST:: SOT 6107 SOS 3236 HAS SOPS 3236 HAS SOUS 2619 HAS SOUPS 2619 WITH SCORE 2622.236
AT ITER 667 NEW BEST:: SOT 6107 SOS 3227 HAS SOPS 3227 HAS SOUS 2611 HAS SOUPS 2611 WITH SCORE 2614.227
AT ITER 678 NEW BEST:: SOT 6105 SOS 3225 HAS SOPS 3225 HAS SOUS 2609 HAS SOUPS 2609 WITH SCORE 2612.225
AT ITER 679 NEW BEST:: SOT 6099 SOS 3219 HAS SOPS 3219 HAS SOUS 2602 HAS SOUPS 2602 WITH SCORE 2605.219
AT ITER 682 NEW BEST:: SOT 6079 SOS 3205 HAS SOPS 3205 HAS SOUS 2588 HAS SOUPS 2588 WITH SCORE 2591.205
AT ITER 684 NEW BEST:: SOT 6077 SOS 3203 HAS SOPS 3203 HAS SOUS 2586 HAS SOUPS 2586 WITH SCORE 2589.203
AT ITER 693 NEW BEST:: SOT 6065 SOS 3193 HAS SOPS 3193 HAS SOUS 2577 HAS SOUPS 2577 WITH SCORE 2580.193
AT ITER 697 NEW BEST:: SOT 6056 SOS 3184 HAS SOPS 3184 HAS SOUS 2566 HAS SOUPS 2566 WITH SCORE 2569.184
AT ITER 716 NEW BEST:: SOT 6055 SOS 3183 HAS SOPS 3183 HAS SOUS 2565 HAS SOUPS 2565 WITH SCORE 2568.183
AT ITER 719 NEW BEST:: SOT 6043 SOS 3171 HAS SOPS 3171 HAS SOUS 2549 HAS SOUPS 2549 WITH SCORE 2552.171
AT ITER 723 NEW BEST:: SOT 6053 SOS 3170 HAS SOPS 3170 HAS SOUS 2548 HAS SOUPS 2548 WITH SCORE 2551.17
AT ITER 732 NEW BEST:: SOT 6053 SOS 3154 HAS SOPS 3154 HAS SOUS 2532 HAS SOUPS 2532 WITH SCORE 2535.154
AT ITER 744 NEW BEST:: SOT 6048 SOS 3166 HAS SOPS 3166 HAS SOUS 2525 HAS SOUPS 2525 WITH SCORE 2528.166
AT ITER 761 NEW BEST:: SOT 6046 SOS 3156 HAS SOPS 3156 HAS SOUS 2524 HAS SOUPS 2524 WITH SCORE 2527.156
AT ITER 779 NEW BEST:: SOT 6034 SOS 3130 HAS SOPS 3130 HAS SOUS 2484 HAS SOUPS 2484 WITH SCORE 2487.13
AT ITER 783 NEW BEST:: SOT 6034 SOS 3129 HAS SOPS 3129 HAS SOUS 2484 HAS SOUPS 2484 WITH SCORE 2487.129
AT ITER 798 NEW BEST:: SOT 6044 SOS 3137 HAS SOPS 3137 HAS SOUS 2483 HAS SOUPS 2483 WITH SCORE 2486.137
AT ITER 801 NEW BEST:: SOT 6044 SOS 3135 HAS SOPS 3135 HAS SOUS 2481 HAS SOUPS 2481 WITH SCORE 2484.135
AT ITER 852 NEW BEST:: SOT 6032 SOS 3121 HAS SOPS 3121 HAS SOUS 2467 HAS SOUPS 2467 WITH SCORE 2470.121
AT ITER 864 NEW BEST:: SOT 6030 SOS 3118 HAS SOPS 3118 HAS SOUS 2464 HAS SOUPS 2464 WITH SCORE 2467.118
AT ITER 877 NEW BEST:: SOT 6021 SOS 3109 HAS SOPS 3109 HAS SOUS 2455 HAS SOUPS 2455 WITH SCORE 2458.109
AT ITER 895 NEW BEST:: SOT 6022 SOS 3108 HAS SOPS 3108 HAS SOUS 2455 HAS SOUPS 2455 WITH SCORE 2458.108
AT ITER 896 NEW BEST:: SOT 6016 SOS 3102 HAS SOPS 3102 HAS SOUS 2449 HAS SOUPS 2449 WITH SCORE 2452.102
AT ITER 898 NEW BEST:: SOT 6014 SOS 3095 HAS SOPS 3095 HAS SOUS 2442 HAS SOUPS 2442 WITH SCORE 2445.095
AT ITER 914 NEW BEST:: SOT 6015 SOS 3092 HAS SOPS 3092 HAS SOUS 2441 HAS SOUPS 2441 WITH SCORE 2444.092
AT ITER 931 NEW BEST:: SOT 6014 SOS 3091 HAS SOPS 3091 HAS SOUS 2440 HAS SOUPS 2440 WITH SCORE 2443.091
AT ITER 970 NEW BEST:: SOT 6014 SOS 3097 HAS SOPS 3097 HAS SOUS 2439 HAS SOUPS 2439 WITH SCORE 2442.097
AT ITER 985 NEW BEST:: SOT 6004 SOS 3082 HAS SOPS 3082 HAS SOUS 2424 HAS SOUPS 2424 WITH SCORE 2427.082
AT ITER 1046 NEW BEST:: SOT 6004 SOS 3080 HAS SOPS 3080 HAS SOUS 2423 HAS SOUPS 2423 WITH SCORE 2426.08
AT ITER 1052 NEW BEST:: SOT 6002 SOS 3078 HAS SOPS 3078 HAS SOUS 2421 HAS SOUPS 2421 WITH SCORE 2424.078
AT ITER 1076 NEW BEST:: SOT 5981 SOS 3041 HAS SOPS 3041 HAS SOUS 2391 HAS SOUPS 2391 WITH SCORE 2394.041
AT ITER 1083 NEW BEST:: SOT 5977 SOS 3029 HAS SOPS 3029 HAS SOUS 2379 HAS SOUPS 2379 WITH SCORE 2382.029
AT ITER 1097 NEW BEST:: SOT 5985 SOS 3029 HAS SOPS 3029 HAS SOUS 2359 HAS SOUPS 2359 WITH SCORE 2362.029
AT ITER 1123 NEW BEST:: SOT 5979 SOS 3020 HAS SOPS 3020 HAS SOUS 2352 HAS SOUPS 2352 WITH SCORE 2355.02
AT ITER 1126 NEW BEST:: SOT 5976 SOS 2966 HAS SOPS 2966 HAS SOUS 2317 HAS SOUPS 2317 WITH SCORE 2319.966
AT ITER 1159 NEW BEST:: SOT 5972 SOS 2959 HAS SOPS 2959 HAS SOUS 2309 HAS SOUPS 2309 WITH SCORE 2311.959
AT ITER 1176 NEW BEST:: SOT 5960 SOS 2947 HAS SOPS 2947 HAS SOUS 2298 HAS SOUPS 2298 WITH SCORE 2300.947
AT ITER 1205 NEW BEST:: SOT 5954 SOS 2935 HAS SOPS 2935 HAS SOUS 2290 HAS SOUPS 2290 WITH SCORE 2292.935
AT ITER 1235 NEW BEST:: SOT 5942 SOS 2917 HAS SOPS 2917 HAS SOUS 2283 HAS SOUPS 2283 WITH SCORE 2285.917
AT ITER 1239 NEW BEST:: SOT 5932 SOS 2914 HAS SOPS 2914 HAS SOUS 2280 HAS SOUPS 2280 WITH SCORE 2282.914
AT ITER 1313 NEW BEST:: SOT 5938 SOS 2874 HAS SOPS 2874 HAS SOUS 2240 HAS SOUPS 2240 WITH SCORE 2242.874
AT ITER 1318 NEW BEST:: SOT 5940 SOS 2873 HAS SOPS 2873 HAS SOUS 2239 HAS SOUPS 2239 WITH SCORE 2241.873
AT ITER 1319 NEW BEST:: SOT 5932 SOS 2863 HAS SOPS 2863 HAS SOUS 2229 HAS SOUPS 2229 WITH SCORE 2231.863
AT ITER 1346 NEW BEST:: SOT 5931 SOS 2862 HAS SOPS 2862 HAS SOUS 2228 HAS SOUPS 2228 WITH SCORE 2230.862
AT ITER 1374 NEW BEST:: SOT 5924 SOS 2850 HAS SOPS 2850 HAS SOUS 2216 HAS SOUPS 2216 WITH SCORE 2218.85
AT ITER 1427 NEW BEST:: SOT 5918 SOS 2838 HAS SOPS 2838 HAS SOUS 2204 HAS SOUPS 2204 WITH SCORE 2206.838
AT ITER 1456 NEW BEST:: SOT 5917 SOS 2837 HAS SOPS 2837 HAS SOUS 2203 HAS SOUPS 2203 WITH SCORE 2205.837
AT ITER 1475 NEW BEST:: SOT 5914 SOS 2829 HAS SOPS 2829 HAS SOUS 2193 HAS SOUPS 2193 WITH SCORE 2195.829
AT ITER 1497 NEW BEST:: SOT 5914 SOS 2827 HAS SOPS 2827 HAS SOUS 2191 HAS SOUPS 2191 WITH SCORE 2193.827
AT ITER 1574 NEW BEST:: SOT 5915 SOS 2819 HAS SOPS 2819 HAS SOUS 2186 HAS SOUPS 2186 WITH SCORE 2188.819
AT ITER 1578 NEW BEST:: SOT 5909 SOS 2815 HAS SOPS 2815 HAS SOUS 2182 HAS SOUPS 2182 WITH SCORE 2184.815
AT ITER 1586 NEW BEST:: SOT 5907 SOS 2813 HAS SOPS 2813 HAS SOUS 2182 HAS SOUPS 2182 WITH SCORE 2184.813
AT ITER 1592 NEW BEST:: SOT 5907 SOS 2812 HAS SOPS 2812 HAS SOUS 2179 HAS SOUPS 2179 WITH SCORE 2181.812
AT ITER 1599 NEW BEST:: SOT 5898 SOS 2809 HAS SOPS 2809 HAS SOUS 2176 HAS SOUPS 2176 WITH SCORE 2178.809
AT ITER 1627 NEW BEST:: SOT 5898 SOS 2807 HAS SOPS 2807 HAS SOUS 2176 HAS SOUPS 2176 WITH SCORE 2178.807
AT ITER 1633 NEW BEST:: SOT 5895 SOS 2803 HAS SOPS 2803 HAS SOUS 2172 HAS SOUPS 2172 WITH SCORE 2174.803
AT ITER 1637 NEW BEST:: SOT 5881 SOS 2791 HAS SOPS 2791 HAS SOUS 2161 HAS SOUPS 2161 WITH SCORE 2163.791
AT ITER 1656 NEW BEST:: SOT 5881 SOS 2783 HAS SOPS 2783 HAS SOUS 2149 HAS SOUPS 2149 WITH SCORE 2151.783
AT ITER 1716 NEW BEST:: SOT 5875 SOS 2777 HAS SOPS 2777 HAS SOUS 2142 HAS SOUPS 2142 WITH SCORE 2144.777
AT ITER 1742 NEW BEST:: SOT 5874 SOS 2776 HAS SOPS 2776 HAS SOUS 2142 HAS SOUPS 2142 WITH SCORE 2144.776
AT ITER 1743 NEW BEST:: SOT 5873 SOS 2775 HAS SOPS 2775 HAS SOUS 2141 HAS SOUPS 2141 WITH SCORE 2143.775
AT ITER 1761 NEW BEST:: SOT 5878 SOS 2771 HAS SOPS 2771 HAS SOUS 2140 HAS SOUPS 2140 WITH SCORE 2142.771
AT ITER 1763 NEW BEST:: SOT 5881 SOS 2760 HAS SOPS 2760 HAS SOUS 2133 HAS SOUPS 2133 WITH SCORE 2135.76
AT ITER 1803 NEW BEST:: SOT 5886 SOS 2758 HAS SOPS 2758 HAS SOUS 2133 HAS SOUPS 2133 WITH SCORE 2135.758
AT ITER 1806 NEW BEST:: SOT 5885 SOS 2752 HAS SOPS 2752 HAS SOUS 2131 HAS SOUPS 2131 WITH SCORE 2133.752
AT ITER 1810 NEW BEST:: SOT 5883 SOS 2752 HAS SOPS 2752 HAS SOUS 2129 HAS SOUPS 2129 WITH SCORE 2131.752
AT ITER 1841 NEW BEST:: SOT 5883 SOS 2731 HAS SOPS 2731 HAS SOUS 2127 HAS SOUPS 2127 WITH SCORE 2129.731
AT ITER 1866 NEW BEST:: SOT 5882 SOS 2729 HAS SOPS 2729 HAS SOUS 2126 HAS SOUPS 2126 WITH SCORE 2128.729
AT ITER 1906 NEW BEST:: SOT 5880 SOS 2727 HAS SOPS 2727 HAS SOUS 2126 HAS SOUPS 2126 WITH SCORE 2128.727
AT ITER 1933 NEW BEST:: SOT 5865 SOS 2722 HAS SOPS 2722 HAS SOUS 2121 HAS SOUPS 2121 WITH SCORE 2123.722
AT ITER 1952 NEW BEST:: SOT 5861 SOS 2718 HAS SOPS 2718 HAS SOUS 2117 HAS SOUPS 2117 WITH SCORE 2119.718
AT ITER 1987 NEW BEST:: SOT 5858 SOS 2715 HAS SOPS 2715 HAS SOUS 2114 HAS SOUPS 2114 WITH SCORE 2116.715
AT ITER 2147 NEW BEST:: SOT 5859 SOS 2714 HAS SOPS 2714 HAS SOUS 2113 HAS SOUPS 2113 WITH SCORE 2115.714
AT ITER 2227 NEW BEST:: SOT 5859 SOS 2714 HAS SOPS 2714 HAS SOUS 2112 HAS SOUPS 2112 WITH SCORE 2114.714
AT ITER 2239 NEW BEST:: SOT 5852 SOS 2707 HAS SOPS 2707 HAS SOUS 2105 HAS SOUPS 2105 WITH SCORE 2107.707
AT ITER 2291 NEW BEST:: SOT 5843 SOS 2697 HAS SOPS 2697 HAS SOUS 2095 HAS SOUPS 2095 WITH SCORE 2097.697
AT ITER 2292 NEW BEST:: SOT 5843 SOS 2696 HAS SOPS 2696 HAS SOUS 2092 HAS SOUPS 2092 WITH SCORE 2094.696
AT ITER 2296 NEW BEST:: SOT 5841 SOS 2693 HAS SOPS 2693 HAS SOUS 2089 HAS SOUPS 2089 WITH SCORE 2091.693
AT ITER 2301 NEW BEST:: SOT 5831 SOS 2687 HAS SOPS 2687 HAS SOUS 2083 HAS SOUPS 2083 WITH SCORE 2085.687
AT ITER 2310 NEW BEST:: SOT 5819 SOS 2677 HAS SOPS 2677 HAS SOUS 2068 HAS SOUPS 2068 WITH SCORE 2070.677
AT ITER 2320 NEW BEST:: SOT 5819 SOS 2673 HAS SOPS 2673 HAS SOUS 2068 HAS SOUPS 2068 WITH SCORE 2070.673
AT ITER 2325 NEW BEST:: SOT 5804 SOS 2655 HAS SOPS 2655 HAS SOUS 2050 HAS SOUPS 2050 WITH SCORE 2052.655
AT ITER 2332 NEW BEST:: SOT 5804 SOS 2650 HAS SOPS 2650 HAS SOUS 2045 HAS SOUPS 2045 WITH SCORE 2047.65
AT ITER 2458 NEW BEST:: SOT 5804 SOS 2647 HAS SOPS 2647 HAS SOUS 2042 HAS SOUPS 2042 WITH SCORE 2044.647
AT ITER 2473 NEW BEST:: SOT 5804 SOS 2643 HAS SOPS 2643 HAS SOUS 2040 HAS SOUPS 2040 WITH SCORE 2042.643
AT ITER 2724 NEW BEST:: SOT 5796 SOS 2635 HAS SOPS 2635 HAS SOUS 2032 HAS SOUPS 2032 WITH SCORE 2034.635
AT ITER 2781 NEW BEST:: SOT 5795 SOS 2633 HAS SOPS 2633 HAS SOUS 2028 HAS SOUPS 2028 WITH SCORE 2030.633
AT ITER 2785 NEW BEST:: SOT 5791 SOS 2629 HAS SOPS 2629 HAS SOUS 2024 HAS SOUPS 2024 WITH SCORE 2026.629
AT ITER 2800 NEW BEST:: SOT 5786 SOS 2621 HAS SOPS 2621 HAS SOUS 2016 HAS SOUPS 2016 WITH SCORE 2018.621
AT ITER 2858 NEW BEST:: SOT 5785 SOS 2619 HAS SOPS 2619 HAS SOUS 2014 HAS SOUPS 2014 WITH SCORE 2016.619
AT ITER 2951 NEW BEST:: SOT 5791 SOS 2621 HAS SOPS 2621 HAS SOUS 2002 HAS SOUPS 2002 WITH SCORE 2004.621
AT ITER 2993 NEW BEST:: SOT 5790 SOS 2620 HAS SOPS 2620 HAS SOUS 2001 HAS SOUPS 2001 WITH SCORE 2003.62
AT ITER 2997 NEW BEST:: SOT 5784 SOS 2611 HAS SOPS 2611 HAS SOUS 1992 HAS SOUPS 1992 WITH SCORE 1994.611
AT ITER 3010 NEW BEST:: SOT 5782 SOS 2599 HAS SOPS 2599 HAS SOUS 1988 HAS SOUPS 1988 WITH SCORE 1990.599
AT ITER 3011 NEW BEST:: SOT 5782 SOS 2597 HAS SOPS 2597 HAS SOUS 1986 HAS SOUPS 1986 WITH SCORE 1988.597
AT ITER 3089 NEW BEST:: SOT 5787 SOS 2596 HAS SOPS 2596 HAS SOUS 1985 HAS SOUPS 1985 WITH SCORE 1987.596
AT ITER 3119 NEW BEST:: SOT 5785 SOS 2590 HAS SOPS 2590 HAS SOUS 1975 HAS SOUPS 1975 WITH SCORE 1977.59
AT ITER 3266 NEW BEST:: SOT 5782 SOS 2587 HAS SOPS 2587 HAS SOUS 1975 HAS SOUPS 1975 WITH SCORE 1977.587
AT ITER 3279 NEW BEST:: SOT 5781 SOS 2586 HAS SOPS 2586 HAS SOUS 1974 HAS SOUPS 1974 WITH SCORE 1976.586
AT ITER 3286 NEW BEST:: SOT 5781 SOS 2584 HAS SOPS 2584 HAS SOUS 1974 HAS SOUPS 1974 WITH SCORE 1976.584
AT ITER 3315 NEW BEST:: SOT 5780 SOS 2583 HAS SOPS 2583 HAS SOUS 1973 HAS SOUPS 1973 WITH SCORE 1975.583
AT ITER 3373 NEW BEST:: SOT 5776 SOS 2579 HAS SOPS 2579 HAS SOUS 1967 HAS SOUPS 1967 WITH SCORE 1969.579
AT ITER 3425 NEW BEST:: SOT 5778 SOS 2564 HAS SOPS 2564 HAS SOUS 1959 HAS SOUPS 1959 WITH SCORE 1961.564
AT ITER 3442 NEW BEST:: SOT 5775 SOS 2560 HAS SOPS 2560 HAS SOUS 1956 HAS SOUPS 1956 WITH SCORE 1958.56
AT ITER 3492 NEW BEST:: SOT 5773 SOS 2560 HAS SOPS 2560 HAS SOUS 1955 HAS SOUPS 1955 WITH SCORE 1957.56
AT ITER 3667 NEW BEST:: SOT 5771 SOS 2558 HAS SOPS 2558 HAS SOUS 1953 HAS SOUPS 1953 WITH SCORE 1955.558
AT ITER 3840 NEW BEST:: SOT 5767 SOS 2557 HAS SOPS 2557 HAS SOUS 1946 HAS SOUPS 1946 WITH SCORE 1948.557
AT ITER 3844 NEW BEST:: SOT 5767 SOS 2557 HAS SOPS 2557 HAS SOUS 1944 HAS SOUPS 1944 WITH SCORE 1946.557
AT ITER 3885 NEW BEST:: SOT 5763 SOS 2553 HAS SOPS 2553 HAS SOUS 1943 HAS SOUPS 1943 WITH SCORE 1945.553
AT ITER 3891 NEW BEST:: SOT 5761 SOS 2552 HAS SOPS 2552 HAS SOUS 1941 HAS SOUPS 1941 WITH SCORE 1943.552
AT ITER 3936 NEW BEST:: SOT 5761 SOS 2551 HAS SOPS 2551 HAS SOUS 1940 HAS SOUPS 1940 WITH SCORE 1942.551
AT ITER 3970 NEW BEST:: SOT 5771 SOS 2552 HAS SOPS 2552 HAS SOUS 1939 HAS SOUPS 1939 WITH SCORE 1941.552
AT ITER 4203 NEW BEST:: SOT 5771 SOS 2550 HAS SOPS 2550 HAS SOUS 1936 HAS SOUPS 1936 WITH SCORE 1938.55
AT ITER 4225 NEW BEST:: SOT 5767 SOS 2544 HAS SOPS 2544 HAS SOUS 1930 HAS SOUPS 1930 WITH SCORE 1932.544
AT ITER 4228 NEW BEST:: SOT 5767 SOS 2542 HAS SOPS 2542 HAS SOUS 1930 HAS SOUPS 1930 WITH SCORE 1932.542
AT ITER 4249 NEW BEST:: SOT 5765 SOS 2541 HAS SOPS 2541 HAS SOUS 1929 HAS SOUPS 1929 WITH SCORE 1931.541
AT ITER 4304 NEW BEST:: SOT 5770 SOS 2541 HAS SOPS 2541 HAS SOUS 1925 HAS SOUPS 1925 WITH SCORE 1927.541
AT ITER 4372 NEW BEST:: SOT 5769 SOS 2540 HAS SOPS 2540 HAS SOUS 1924 HAS SOUPS 1924 WITH SCORE 1926.54
AT ITER 4606 NEW BEST:: SOT 5771 SOS 2540 HAS SOPS 2540 HAS SOUS 1920 HAS SOUPS 1920 WITH SCORE 1922.54
AT ITER 4733 NEW BEST:: SOT 5765 SOS 2535 HAS SOPS 2535 HAS SOUS 1915 HAS SOUPS 1915 WITH SCORE 1917.535
AT ITER 4782 NEW BEST:: SOT 5765 SOS 2524 HAS SOPS 2524 HAS SOUS 1908 HAS SOUPS 1908 WITH SCORE 1910.524
AT ITER 4841 NEW BEST:: SOT 5765 SOS 2514 HAS SOPS 2514 HAS SOUS 1906 HAS SOUPS 1906 WITH SCORE 1908.514
AT ITER 4872 NEW BEST:: SOT 5764 SOS 2513 HAS SOPS 2513 HAS SOUS 1905 HAS SOUPS 1905 WITH SCORE 1907.513
AT ITER 4942 NEW BEST:: SOT 5758 SOS 2512 HAS SOPS 2512 HAS SOUS 1904 HAS SOUPS 1904 WITH SCORE 1906.512
AT ITER 4996 NEW BEST:: SOT 5759 SOS 2507 HAS SOPS 2507 HAS SOUS 1902 HAS SOUPS 1902 WITH SCORE 1904.507
AT ITER 5038 NEW BEST:: SOT 5764 SOS 2510 HAS SOPS 2510 HAS SOUS 1898 HAS SOUPS 1898 WITH SCORE 1900.51
AT ITER 5052 NEW BEST:: SOT 5764 SOS 2508 HAS SOPS 2508 HAS SOUS 1894 HAS SOUPS 1894 WITH SCORE 1896.508
AT ITER 5081 NEW BEST:: SOT 5757 SOS 2501 HAS SOPS 2501 HAS SOUS 1890 HAS SOUPS 1890 WITH SCORE 1892.501
AT ITER 5094 NEW BEST:: SOT 5757 SOS 2500 HAS SOPS 2500 HAS SOUS 1889 HAS SOUPS 1889 WITH SCORE 1891.5
AT ITER 5141 NEW BEST:: SOT 5755 SOS 2505 HAS SOPS 2505 HAS SOUS 1887 HAS SOUPS 1887 WITH SCORE 1889.505
AT ITER 5185 NEW BEST:: SOT 5752 SOS 2502 HAS SOPS 2502 HAS SOUS 1884 HAS SOUPS 1884 WITH SCORE 1886.502
AT ITER 5243 NEW BEST:: SOT 5750 SOS 2499 HAS SOPS 2499 HAS SOUS 1881 HAS SOUPS 1881 WITH SCORE 1883.499
AT ITER 5288 NEW BEST:: SOT 5750 SOS 2497 HAS SOPS 2497 HAS SOUS 1881 HAS SOUPS 1881 WITH SCORE 1883.497
AT ITER 5357 NEW BEST:: SOT 5750 SOS 2496 HAS SOPS 2496 HAS SOUS 1880 HAS SOUPS 1880 WITH SCORE 1882.496
AT ITER 5498 NEW BEST:: SOT 5749 SOS 2495 HAS SOPS 2495 HAS SOUS 1876 HAS SOUPS 1876 WITH SCORE 1878.495
AT ITER 5548 NEW BEST:: SOT 5749 SOS 2494 HAS SOPS 2494 HAS SOUS 1876 HAS SOUPS 1876 WITH SCORE 1878.494
AT ITER 5573 NEW BEST:: SOT 5747 SOS 2487 HAS SOPS 2487 HAS SOUS 1873 HAS SOUPS 1873 WITH SCORE 1875.487
AT ITER 5584 NEW BEST:: SOT 5743 SOS 2485 HAS SOPS 2485 HAS SOUS 1871 HAS SOUPS 1871 WITH SCORE 1873.485
AT ITER 5659 NEW BEST:: SOT 5742 SOS 2484 HAS SOPS 2484 HAS SOUS 1870 HAS SOUPS 1870 WITH SCORE 1872.484
AT ITER 5771 NEW BEST:: SOT 5744 SOS 2484 HAS SOPS 2484 HAS SOUS 1868 HAS SOUPS 1868 WITH SCORE 1870.484
AT ITER 5899 NEW BEST:: SOT 5744 SOS 2482 HAS SOPS 2482 HAS SOUS 1866 HAS SOUPS 1866 WITH SCORE 1868.482
AT ITER 6267 NEW BEST:: SOT 5746 SOS 2479 HAS SOPS 2479 HAS SOUS 1860 HAS SOUPS 1860 WITH SCORE 1862.479
AT ITER 6327 NEW BEST:: SOT 5741 SOS 2472 HAS SOPS 2472 HAS SOUS 1855 HAS SOUPS 1855 WITH SCORE 1857.472
AT ITER 6351 NEW BEST:: SOT 5740 SOS 2470 HAS SOPS 2470 HAS SOUS 1851 HAS SOUPS 1851 WITH SCORE 1853.47
AT ITER 6359 NEW BEST:: SOT 5739 SOS 2467 HAS SOPS 2467 HAS SOUS 1849 HAS SOUPS 1849 WITH SCORE 1851.467
AT ITER 6570 NEW BEST:: SOT 5739 SOS 2466 HAS SOPS 2466 HAS SOUS 1849 HAS SOUPS 1849 WITH SCORE 1851.466
AT ITER 6621 NEW BEST:: SOT 5740 SOS 2463 HAS SOPS 2463 HAS SOUS 1847 HAS SOUPS 1847 WITH SCORE 1849.463
AT ITER 6695 NEW BEST:: SOT 5737 SOS 2459 HAS SOPS 2459 HAS SOUS 1843 HAS SOUPS 1843 WITH SCORE 1845.459
AT ITER 6816 NEW BEST:: SOT 5736 SOS 2457 HAS SOPS 2457 HAS SOUS 1841 HAS SOUPS 1841 WITH SCORE 1843.457
AT ITER 6844 NEW BEST:: SOT 5736 SOS 2454 HAS SOPS 2454 HAS SOUS 1837 HAS SOUPS 1837 WITH SCORE 1839.454
AT ITER 6870 NEW BEST:: SOT 5736 SOS 2449 HAS SOPS 2449 HAS SOUS 1835 HAS SOUPS 1835 WITH SCORE 1837.449
AT ITER 7187 NEW BEST:: SOT 5736 SOS 2446 HAS SOPS 2446 HAS SOUS 1834 HAS SOUPS 1834 WITH SCORE 1836.446
AT ITER 7197 NEW BEST:: SOT 5734 SOS 2443 HAS SOPS 2443 HAS SOUS 1831 HAS SOUPS 1831 WITH SCORE 1833.443
AT ITER 7233 NEW BEST:: SOT 5733 SOS 2440 HAS SOPS 2440 HAS SOUS 1829 HAS SOUPS 1829 WITH SCORE 1831.44
AT ITER 7431 NEW BEST:: SOT 5732 SOS 2439 HAS SOPS 2439 HAS SOUS 1828 HAS SOUPS 1828 WITH SCORE 1830.439
AT ITER 7745 NEW BEST:: SOT 5730 SOS 2437 HAS SOPS 2437 HAS SOUS 1826 HAS SOUPS 1826 WITH SCORE 1828.437
AT ITER 8014 NEW BEST:: SOT 5732 SOS 2441 HAS SOPS 2441 HAS SOUS 1825 HAS SOUPS 1825 WITH SCORE 1827.441
AT ITER 8293 NEW BEST:: SOT 5733 SOS 2448 HAS SOPS 2448 HAS SOUS 1824 HAS SOUPS 1824 WITH SCORE 1826.448
AT ITER 8324 NEW BEST:: SOT 5733 SOS 2436 HAS SOPS 2436 HAS SOUS 1824 HAS SOUPS 1824 WITH SCORE 1826.436
AT ITER 8354 NEW BEST:: SOT 5731 SOS 2434 HAS SOPS 2434 HAS SOUS 1820 HAS SOUPS 1820 WITH SCORE 1822.434
AT ITER 8475 NEW BEST:: SOT 5729 SOS 2433 HAS SOPS 2433 HAS SOUS 1819 HAS SOUPS 1819 WITH SCORE 1821.433
AT ITER 8631 NEW BEST:: SOT 5731 SOS 2450 HAS SOPS 2450 HAS SOUS 1818 HAS SOUPS 1818 WITH SCORE 1820.45
AT ITER 8648 NEW BEST:: SOT 5730 SOS 2449 HAS SOPS 2449 HAS SOUS 1817 HAS SOUPS 1817 WITH SCORE 1819.449
AT ITER 8765 NEW BEST:: SOT 5730 SOS 2447 HAS SOPS 2447 HAS SOUS 1817 HAS SOUPS 1817 WITH SCORE 1819.447
AT ITER 9009 NEW BEST:: SOT 5730 SOS 2448 HAS SOPS 2448 HAS SOUS 1816 HAS SOUPS 1816 WITH SCORE 1818.448
AT ITER 9032 NEW BEST:: SOT 5730 SOS 2447 HAS SOPS 2447 HAS SOUS 1816 HAS SOUPS 1816 WITH SCORE 1818.447
AT ITER 9177 NEW BEST:: SOT 5729 SOS 2445 HAS SOPS 2445 HAS SOUS 1814 HAS SOUPS 1814 WITH SCORE 1816.445
AT ITER 9463 NEW BEST:: SOT 5728 SOS 2443 HAS SOPS 2443 HAS SOUS 1812 HAS SOUPS 1812 WITH SCORE 1814.443
AT ITER 9544 NEW BEST:: SOT 5730 SOS 2442 HAS SOPS 2442 HAS SOUS 1811 HAS SOUPS 1811 WITH SCORE 1813.442
AT ITER 9620 NEW BEST:: SOT 5728 SOS 2439 HAS SOPS 2439 HAS SOUS 1808 HAS SOUPS 1808 WITH SCORE 1810.439
AT ITER 9718 NEW BEST:: SOT 5727 SOS 2438 HAS SOPS 2438 HAS SOUS 1806 HAS SOUPS 1806 WITH SCORE 1808.438
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 11489860 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16150892 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

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="ShieldIIPs-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"
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 ShieldIIPs-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 r387-oct2-167903711400056"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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