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.r395-oct2-167903718300056.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 smartxred
Input is ShieldIIPs-PT-004A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r395-oct2-167903718300056
=====================================================================

--------------------
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 1679552790314

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ShieldIIPs-PT-004A
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-23 06:26:34] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-23 06:26:34] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-23 06:26:34] [INFO ] Load time of PNML (sax parser for PT used): 68 ms
[2023-03-23 06:26:34] [INFO ] Transformed 103 places.
[2023-03-23 06:26:34] [INFO ] Transformed 99 transitions.
[2023-03-23 06:26:34] [INFO ] Found NUPN structural information;
[2023-03-23 06:26:34] [INFO ] Parsed PT model containing 103 places and 99 transitions and 438 arcs in 178 ms.
[2023-03-23 06:26:34] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 103 places, 99 transitions and 438 arcs took 5 ms.
Total runtime 231 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldIIPs (PT), instance 004A
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/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 7 NEW BEST:: SOT 6956 SOS 5431 HAS SOPS 5431 HAS SOUS 4655 HAS SOUPS 4655 WITH SCORE 4660.431
AT ITER 12 NEW BEST:: SOT 6946 SOS 5391 HAS SOPS 5391 HAS SOUS 4645 HAS SOUPS 4645 WITH SCORE 4650.391
AT ITER 22 NEW BEST:: SOT 6897 SOS 5350 HAS SOPS 5350 HAS SOUS 4604 HAS SOUPS 4604 WITH SCORE 4609.35
AT ITER 31 NEW BEST:: SOT 6894 SOS 5347 HAS SOPS 5347 HAS SOUS 4601 HAS SOUPS 4601 WITH SCORE 4606.347
AT ITER 41 NEW BEST:: SOT 6884 SOS 5309 HAS SOPS 5309 HAS SOUS 4583 HAS SOUPS 4583 WITH SCORE 4588.309
AT ITER 44 NEW BEST:: SOT 6870 SOS 5298 HAS SOPS 5298 HAS SOUS 4572 HAS SOUPS 4572 WITH SCORE 4577.298
AT ITER 47 NEW BEST:: SOT 6886 SOS 5297 HAS SOPS 5297 HAS SOUS 4568 HAS SOUPS 4568 WITH SCORE 4573.297
AT ITER 48 NEW BEST:: SOT 6885 SOS 5294 HAS SOPS 5294 HAS SOUS 4565 HAS SOUPS 4565 WITH SCORE 4570.294
AT ITER 52 NEW BEST:: SOT 6882 SOS 5289 HAS SOPS 5289 HAS SOUS 4560 HAS SOUPS 4560 WITH SCORE 4565.289
AT ITER 53 NEW BEST:: SOT 6877 SOS 5282 HAS SOPS 5282 HAS SOUS 4553 HAS SOUPS 4553 WITH SCORE 4558.282
AT ITER 55 NEW BEST:: SOT 6872 SOS 5277 HAS SOPS 5277 HAS SOUS 4553 HAS SOUPS 4553 WITH SCORE 4558.277
AT ITER 59 NEW BEST:: SOT 6862 SOS 5267 HAS SOPS 5267 HAS SOUS 4523 HAS SOUPS 4523 WITH SCORE 4528.267
AT ITER 65 NEW BEST:: SOT 6928 SOS 5174 HAS SOPS 5174 HAS SOUS 4451 HAS SOUPS 4451 WITH SCORE 4456.174
AT ITER 83 NEW BEST:: SOT 6821 SOS 5001 HAS SOPS 5001 HAS SOUS 4278 HAS SOUPS 4278 WITH SCORE 4283.001
AT ITER 87 NEW BEST:: SOT 6794 SOS 4974 HAS SOPS 4974 HAS SOUS 4251 HAS SOUPS 4251 WITH SCORE 4255.974
AT ITER 88 NEW BEST:: SOT 6774 SOS 4954 HAS SOPS 4954 HAS SOUS 4231 HAS SOUPS 4231 WITH SCORE 4235.954
AT ITER 94 NEW BEST:: SOT 6700 SOS 4887 HAS SOPS 4887 HAS SOUS 4143 HAS SOUPS 4143 WITH SCORE 4147.887
AT ITER 102 NEW BEST:: SOT 6687 SOS 4754 HAS SOPS 4754 HAS SOUS 4139 HAS SOUPS 4139 WITH SCORE 4143.754
AT ITER 103 NEW BEST:: SOT 6706 SOS 4713 HAS SOPS 4713 HAS SOUS 4137 HAS SOUPS 4137 WITH SCORE 4141.713
AT ITER 105 NEW BEST:: SOT 6706 SOS 4710 HAS SOPS 4710 HAS SOUS 4117 HAS SOUPS 4117 WITH SCORE 4121.71
AT ITER 106 NEW BEST:: SOT 6704 SOS 4679 HAS SOPS 4679 HAS SOUS 3979 HAS SOUPS 3979 WITH SCORE 3983.679
AT ITER 111 NEW BEST:: SOT 6677 SOS 4648 HAS SOPS 4648 HAS SOUS 3950 HAS SOUPS 3950 WITH SCORE 3954.648
AT ITER 133 NEW BEST:: SOT 6646 SOS 4616 HAS SOPS 4616 HAS SOUS 3918 HAS SOUPS 3918 WITH SCORE 3922.616
AT ITER 144 NEW BEST:: SOT 6644 SOS 4615 HAS SOPS 4615 HAS SOUS 3910 HAS SOUPS 3910 WITH SCORE 3914.615
AT ITER 145 NEW BEST:: SOT 6627 SOS 4598 HAS SOPS 4598 HAS SOUS 3893 HAS SOUPS 3893 WITH SCORE 3897.598
AT ITER 147 NEW BEST:: SOT 6603 SOS 4574 HAS SOPS 4574 HAS SOUS 3836 HAS SOUPS 3836 WITH SCORE 3840.574
AT ITER 154 NEW BEST:: SOT 6596 SOS 4540 HAS SOPS 4540 HAS SOUS 3820 HAS SOUPS 3820 WITH SCORE 3824.54
AT ITER 155 NEW BEST:: SOT 6590 SOS 4534 HAS SOPS 4534 HAS SOUS 3814 HAS SOUPS 3814 WITH SCORE 3818.534
AT ITER 163 NEW BEST:: SOT 6590 SOS 4551 HAS SOPS 4551 HAS SOUS 3773 HAS SOUPS 3773 WITH SCORE 3777.551
AT ITER 168 NEW BEST:: SOT 6590 SOS 4547 HAS SOPS 4547 HAS SOUS 3769 HAS SOUPS 3769 WITH SCORE 3773.547
AT ITER 169 NEW BEST:: SOT 6590 SOS 4498 HAS SOPS 4498 HAS SOUS 3721 HAS SOUPS 3721 WITH SCORE 3725.498
AT ITER 178 NEW BEST:: SOT 6578 SOS 4488 HAS SOPS 4488 HAS SOUS 3711 HAS SOUPS 3711 WITH SCORE 3715.488
AT ITER 184 NEW BEST:: SOT 6577 SOS 4485 HAS SOPS 4485 HAS SOUS 3702 HAS SOUPS 3702 WITH SCORE 3706.485
AT ITER 188 NEW BEST:: SOT 6577 SOS 4475 HAS SOPS 4475 HAS SOUS 3689 HAS SOUPS 3689 WITH SCORE 3693.475
AT ITER 198 NEW BEST:: SOT 6568 SOS 4460 HAS SOPS 4460 HAS SOUS 3677 HAS SOUPS 3677 WITH SCORE 3681.46
AT ITER 205 NEW BEST:: SOT 6579 SOS 4471 HAS SOPS 4471 HAS SOUS 3654 HAS SOUPS 3654 WITH SCORE 3658.471
AT ITER 209 NEW BEST:: SOT 6579 SOS 4470 HAS SOPS 4470 HAS SOUS 3653 HAS SOUPS 3653 WITH SCORE 3657.47
AT ITER 211 NEW BEST:: SOT 6565 SOS 4439 HAS SOPS 4439 HAS SOUS 3622 HAS SOUPS 3622 WITH SCORE 3626.439
AT ITER 215 NEW BEST:: SOT 6548 SOS 4422 HAS SOPS 4422 HAS SOUS 3615 HAS SOUPS 3615 WITH SCORE 3619.422
AT ITER 222 NEW BEST:: SOT 6545 SOS 4411 HAS SOPS 4411 HAS SOUS 3604 HAS SOUPS 3604 WITH SCORE 3608.411
AT ITER 225 NEW BEST:: SOT 6549 SOS 4442 HAS SOPS 4442 HAS SOUS 3593 HAS SOUPS 3593 WITH SCORE 3597.442
AT ITER 226 NEW BEST:: SOT 6532 SOS 4438 HAS SOPS 4438 HAS SOUS 3589 HAS SOUPS 3589 WITH SCORE 3593.438
AT ITER 231 NEW BEST:: SOT 6532 SOS 4436 HAS SOPS 4436 HAS SOUS 3587 HAS SOUPS 3587 WITH SCORE 3591.436
AT ITER 236 NEW BEST:: SOT 6504 SOS 4390 HAS SOPS 4390 HAS SOUS 3541 HAS SOUPS 3541 WITH SCORE 3545.39
AT ITER 239 NEW BEST:: SOT 6504 SOS 4373 HAS SOPS 4373 HAS SOUS 3524 HAS SOUPS 3524 WITH SCORE 3528.373
AT ITER 243 NEW BEST:: SOT 6498 SOS 4361 HAS SOPS 4361 HAS SOUS 3512 HAS SOUPS 3512 WITH SCORE 3516.361
AT ITER 244 NEW BEST:: SOT 6495 SOS 4341 HAS SOPS 4341 HAS SOUS 3505 HAS SOUPS 3505 WITH SCORE 3509.341
AT ITER 252 NEW BEST:: SOT 6492 SOS 4338 HAS SOPS 4338 HAS SOUS 3502 HAS SOUPS 3502 WITH SCORE 3506.338
AT ITER 253 NEW BEST:: SOT 6484 SOS 4337 HAS SOPS 4337 HAS SOUS 3501 HAS SOUPS 3501 WITH SCORE 3505.337
AT ITER 255 NEW BEST:: SOT 6442 SOS 4294 HAS SOPS 4294 HAS SOUS 3457 HAS SOUPS 3457 WITH SCORE 3461.294
AT ITER 256 NEW BEST:: SOT 6442 SOS 4324 HAS SOPS 4324 HAS SOUS 3448 HAS SOUPS 3448 WITH SCORE 3452.324
AT ITER 263 NEW BEST:: SOT 6430 SOS 4303 HAS SOPS 4303 HAS SOUS 3427 HAS SOUPS 3427 WITH SCORE 3431.303
AT ITER 265 NEW BEST:: SOT 6401 SOS 4139 HAS SOPS 4139 HAS SOUS 3368 HAS SOUPS 3368 WITH SCORE 3372.139
AT ITER 266 NEW BEST:: SOT 6391 SOS 4127 HAS SOPS 4127 HAS SOUS 3334 HAS SOUPS 3334 WITH SCORE 3338.127
AT ITER 278 NEW BEST:: SOT 6379 SOS 4103 HAS SOPS 4103 HAS SOUS 3310 HAS SOUPS 3310 WITH SCORE 3314.103
AT ITER 279 NEW BEST:: SOT 6379 SOS 4098 HAS SOPS 4098 HAS SOUS 3295 HAS SOUPS 3295 WITH SCORE 3299.098
AT ITER 299 NEW BEST:: SOT 6377 SOS 4088 HAS SOPS 4088 HAS SOUS 3290 HAS SOUPS 3290 WITH SCORE 3294.088
AT ITER 300 NEW BEST:: SOT 6377 SOS 4021 HAS SOPS 4021 HAS SOUS 3268 HAS SOUPS 3268 WITH SCORE 3272.021
AT ITER 301 NEW BEST:: SOT 6376 SOS 4023 HAS SOPS 4023 HAS SOUS 3262 HAS SOUPS 3262 WITH SCORE 3266.023
AT ITER 315 NEW BEST:: SOT 6366 SOS 4013 HAS SOPS 4013 HAS SOUS 3245 HAS SOUPS 3245 WITH SCORE 3249.013
AT ITER 333 NEW BEST:: SOT 6351 SOS 3972 HAS SOPS 3972 HAS SOUS 3207 HAS SOUPS 3207 WITH SCORE 3210.972
AT ITER 343 NEW BEST:: SOT 6341 SOS 3962 HAS SOPS 3962 HAS SOUS 3197 HAS SOUPS 3197 WITH SCORE 3200.962
AT ITER 347 NEW BEST:: SOT 6321 SOS 3899 HAS SOPS 3899 HAS SOUS 3145 HAS SOUPS 3145 WITH SCORE 3148.899
AT ITER 349 NEW BEST:: SOT 6323 SOS 3881 HAS SOPS 3881 HAS SOUS 3130 HAS SOUPS 3130 WITH SCORE 3133.881
AT ITER 361 NEW BEST:: SOT 6318 SOS 3876 HAS SOPS 3876 HAS SOUS 3125 HAS SOUPS 3125 WITH SCORE 3128.876
AT ITER 380 NEW BEST:: SOT 6304 SOS 3862 HAS SOPS 3862 HAS SOUS 3111 HAS SOUPS 3111 WITH SCORE 3114.862
AT ITER 384 NEW BEST:: SOT 6334 SOS 3873 HAS SOPS 3873 HAS SOUS 3102 HAS SOUPS 3102 WITH SCORE 3105.873
AT ITER 389 NEW BEST:: SOT 6325 SOS 3864 HAS SOPS 3864 HAS SOUS 3093 HAS SOUPS 3093 WITH SCORE 3096.864
AT ITER 397 NEW BEST:: SOT 6325 SOS 3843 HAS SOPS 3843 HAS SOUS 3093 HAS SOUPS 3093 WITH SCORE 3096.843
AT ITER 406 NEW BEST:: SOT 6323 SOS 3841 HAS SOPS 3841 HAS SOUS 3091 HAS SOUPS 3091 WITH SCORE 3094.841
AT ITER 408 NEW BEST:: SOT 6311 SOS 3828 HAS SOPS 3828 HAS SOUS 3078 HAS SOUPS 3078 WITH SCORE 3081.828
AT ITER 410 NEW BEST:: SOT 6309 SOS 3826 HAS SOPS 3826 HAS SOUS 3076 HAS SOUPS 3076 WITH SCORE 3079.826
AT ITER 418 NEW BEST:: SOT 6309 SOS 3820 HAS SOPS 3820 HAS SOUS 3072 HAS SOUPS 3072 WITH SCORE 3075.82
AT ITER 423 NEW BEST:: SOT 6307 SOS 3816 HAS SOPS 3816 HAS SOUS 3066 HAS SOUPS 3066 WITH SCORE 3069.816
AT ITER 426 NEW BEST:: SOT 6308 SOS 3814 HAS SOPS 3814 HAS SOUS 3064 HAS SOUPS 3064 WITH SCORE 3067.814
AT ITER 427 NEW BEST:: SOT 6304 SOS 3806 HAS SOPS 3806 HAS SOUS 3056 HAS SOUPS 3056 WITH SCORE 3059.806
AT ITER 435 NEW BEST:: SOT 6310 SOS 3807 HAS SOPS 3807 HAS SOUS 3054 HAS SOUPS 3054 WITH SCORE 3057.807
AT ITER 441 NEW BEST:: SOT 6310 SOS 3809 HAS SOPS 3809 HAS SOUS 3013 HAS SOUPS 3013 WITH SCORE 3016.809
AT ITER 446 NEW BEST:: SOT 6310 SOS 3806 HAS SOPS 3806 HAS SOUS 3010 HAS SOUPS 3010 WITH SCORE 3013.806
AT ITER 455 NEW BEST:: SOT 6311 SOS 3799 HAS SOPS 3799 HAS SOUS 3010 HAS SOUPS 3010 WITH SCORE 3013.799
AT ITER 471 NEW BEST:: SOT 6245 SOS 3733 HAS SOPS 3733 HAS SOUS 2944 HAS SOUPS 2944 WITH SCORE 2947.733
AT ITER 478 NEW BEST:: SOT 6244 SOS 3714 HAS SOPS 3714 HAS SOUS 2935 HAS SOUPS 2935 WITH SCORE 2938.714
AT ITER 482 NEW BEST:: SOT 6242 SOS 3713 HAS SOPS 3713 HAS SOUS 2933 HAS SOUPS 2933 WITH SCORE 2936.713
AT ITER 484 NEW BEST:: SOT 6239 SOS 3702 HAS SOPS 3702 HAS SOUS 2930 HAS SOUPS 2930 WITH SCORE 2933.702
AT ITER 487 NEW BEST:: SOT 6256 SOS 3560 HAS SOPS 3560 HAS SOUS 2892 HAS SOUPS 2892 WITH SCORE 2895.56
AT ITER 488 NEW BEST:: SOT 6259 SOS 3524 HAS SOPS 3524 HAS SOUS 2875 HAS SOUPS 2875 WITH SCORE 2878.524
AT ITER 505 NEW BEST:: SOT 6255 SOS 3516 HAS SOPS 3516 HAS SOUS 2867 HAS SOUPS 2867 WITH SCORE 2870.516
AT ITER 513 NEW BEST:: SOT 6240 SOS 3498 HAS SOPS 3498 HAS SOUS 2844 HAS SOUPS 2844 WITH SCORE 2847.498
AT ITER 521 NEW BEST:: SOT 6240 SOS 3494 HAS SOPS 3494 HAS SOUS 2840 HAS SOUPS 2840 WITH SCORE 2843.494
AT ITER 522 NEW BEST:: SOT 6240 SOS 3492 HAS SOPS 3492 HAS SOUS 2837 HAS SOUPS 2837 WITH SCORE 2840.492
AT ITER 547 NEW BEST:: SOT 6244 SOS 3476 HAS SOPS 3476 HAS SOUS 2829 HAS SOUPS 2829 WITH SCORE 2832.476
AT ITER 552 NEW BEST:: SOT 6227 SOS 3452 HAS SOPS 3452 HAS SOUS 2805 HAS SOUPS 2805 WITH SCORE 2808.452
AT ITER 556 NEW BEST:: SOT 6229 SOS 3446 HAS SOPS 3446 HAS SOUS 2799 HAS SOUPS 2799 WITH SCORE 2802.446
AT ITER 564 NEW BEST:: SOT 6105 SOS 3168 HAS SOPS 3168 HAS SOUS 2623 HAS SOUPS 2623 WITH SCORE 2626.168
AT ITER 578 NEW BEST:: SOT 6099 SOS 3161 HAS SOPS 3161 HAS SOUS 2618 HAS SOUPS 2618 WITH SCORE 2621.161
AT ITER 610 NEW BEST:: SOT 6083 SOS 3145 HAS SOPS 3145 HAS SOUS 2602 HAS SOUPS 2602 WITH SCORE 2605.145
AT ITER 619 NEW BEST:: SOT 6083 SOS 3140 HAS SOPS 3140 HAS SOUS 2582 HAS SOUPS 2582 WITH SCORE 2585.14
AT ITER 634 NEW BEST:: SOT 6049 SOS 3051 HAS SOPS 3051 HAS SOUS 2529 HAS SOUPS 2529 WITH SCORE 2532.051
AT ITER 664 NEW BEST:: SOT 6049 SOS 3048 HAS SOPS 3048 HAS SOUS 2528 HAS SOUPS 2528 WITH SCORE 2531.048
AT ITER 673 NEW BEST:: SOT 6047 SOS 3046 HAS SOPS 3046 HAS SOUS 2526 HAS SOUPS 2526 WITH SCORE 2529.046
AT ITER 684 NEW BEST:: SOT 6077 SOS 3038 HAS SOPS 3038 HAS SOUS 2483 HAS SOUPS 2483 WITH SCORE 2486.038
AT ITER 688 NEW BEST:: SOT 6075 SOS 3033 HAS SOPS 3033 HAS SOUS 2478 HAS SOUPS 2478 WITH SCORE 2481.033
AT ITER 711 NEW BEST:: SOT 6075 SOS 3027 HAS SOPS 3027 HAS SOUS 2477 HAS SOUPS 2477 WITH SCORE 2480.027
AT ITER 718 NEW BEST:: SOT 6041 SOS 2993 HAS SOPS 2993 HAS SOUS 2443 HAS SOUPS 2443 WITH SCORE 2445.993
AT ITER 725 NEW BEST:: SOT 6043 SOS 3013 HAS SOPS 3013 HAS SOUS 2427 HAS SOUPS 2427 WITH SCORE 2430.013
AT ITER 731 NEW BEST:: SOT 6043 SOS 3005 HAS SOPS 3005 HAS SOUS 2417 HAS SOUPS 2417 WITH SCORE 2420.005
AT ITER 744 NEW BEST:: SOT 6066 SOS 3000 HAS SOPS 3000 HAS SOUS 2390 HAS SOUPS 2390 WITH SCORE 2393.0
AT ITER 769 NEW BEST:: SOT 6066 SOS 2985 HAS SOPS 2985 HAS SOUS 2375 HAS SOUPS 2375 WITH SCORE 2377.985
AT ITER 803 NEW BEST:: SOT 6068 SOS 2983 HAS SOPS 2983 HAS SOUS 2373 HAS SOUPS 2373 WITH SCORE 2375.983
AT ITER 809 NEW BEST:: SOT 6067 SOS 2982 HAS SOPS 2982 HAS SOUS 2372 HAS SOUPS 2372 WITH SCORE 2374.982
AT ITER 828 NEW BEST:: SOT 6067 SOS 2945 HAS SOPS 2945 HAS SOUS 2353 HAS SOUPS 2353 WITH SCORE 2355.945
AT ITER 830 NEW BEST:: SOT 6067 SOS 2935 HAS SOPS 2935 HAS SOUS 2348 HAS SOUPS 2348 WITH SCORE 2350.935
AT ITER 837 NEW BEST:: SOT 6067 SOS 2936 HAS SOPS 2936 HAS SOUS 2347 HAS SOUPS 2347 WITH SCORE 2349.936
AT ITER 840 NEW BEST:: SOT 6067 SOS 2922 HAS SOPS 2922 HAS SOUS 2340 HAS SOUPS 2340 WITH SCORE 2342.922
AT ITER 849 NEW BEST:: SOT 6063 SOS 2927 HAS SOPS 2927 HAS SOUS 2336 HAS SOUPS 2336 WITH SCORE 2338.927
AT ITER 867 NEW BEST:: SOT 6060 SOS 2915 HAS SOPS 2915 HAS SOUS 2324 HAS SOUPS 2324 WITH SCORE 2326.915
AT ITER 889 NEW BEST:: SOT 6060 SOS 2905 HAS SOPS 2905 HAS SOUS 2321 HAS SOUPS 2321 WITH SCORE 2323.905
AT ITER 910 NEW BEST:: SOT 6060 SOS 2898 HAS SOPS 2898 HAS SOUS 2314 HAS SOUPS 2314 WITH SCORE 2316.898
AT ITER 913 NEW BEST:: SOT 6063 SOS 2892 HAS SOPS 2892 HAS SOUS 2311 HAS SOUPS 2311 WITH SCORE 2313.892
AT ITER 943 NEW BEST:: SOT 6013 SOS 2853 HAS SOPS 2853 HAS SOUS 2294 HAS SOUPS 2294 WITH SCORE 2296.853
AT ITER 945 NEW BEST:: SOT 6011 SOS 2850 HAS SOPS 2850 HAS SOUS 2290 HAS SOUPS 2290 WITH SCORE 2292.85
AT ITER 946 NEW BEST:: SOT 6011 SOS 2850 HAS SOPS 2850 HAS SOUS 2288 HAS SOUPS 2288 WITH SCORE 2290.85
AT ITER 956 NEW BEST:: SOT 5999 SOS 2829 HAS SOPS 2829 HAS SOUS 2267 HAS SOUPS 2267 WITH SCORE 2269.829
AT ITER 958 NEW BEST:: SOT 6001 SOS 2819 HAS SOPS 2819 HAS SOUS 2257 HAS SOUPS 2257 WITH SCORE 2259.819
AT ITER 979 NEW BEST:: SOT 6001 SOS 2813 HAS SOPS 2813 HAS SOUS 2253 HAS SOUPS 2253 WITH SCORE 2255.813
AT ITER 985 NEW BEST:: SOT 6001 SOS 2816 HAS SOPS 2816 HAS SOUS 2244 HAS SOUPS 2244 WITH SCORE 2246.816
AT ITER 996 NEW BEST:: SOT 6000 SOS 2815 HAS SOPS 2815 HAS SOUS 2243 HAS SOUPS 2243 WITH SCORE 2245.815
AT ITER 1002 NEW BEST:: SOT 6006 SOS 2817 HAS SOPS 2817 HAS SOUS 2242 HAS SOUPS 2242 WITH SCORE 2244.817
AT ITER 1005 NEW BEST:: SOT 6015 SOS 2820 HAS SOPS 2820 HAS SOUS 2195 HAS SOUPS 2195 WITH SCORE 2197.82
AT ITER 1014 NEW BEST:: SOT 6016 SOS 2832 HAS SOPS 2832 HAS SOUS 2187 HAS SOUPS 2187 WITH SCORE 2189.832
AT ITER 1021 NEW BEST:: SOT 6019 SOS 2831 HAS SOPS 2831 HAS SOUS 2187 HAS SOUPS 2187 WITH SCORE 2189.831
AT ITER 1030 NEW BEST:: SOT 6015 SOS 2819 HAS SOPS 2819 HAS SOUS 2170 HAS SOUPS 2170 WITH SCORE 2172.819
AT ITER 1038 NEW BEST:: SOT 6008 SOS 2818 HAS SOPS 2818 HAS SOUS 2169 HAS SOUPS 2169 WITH SCORE 2171.818
AT ITER 1040 NEW BEST:: SOT 6011 SOS 2794 HAS SOPS 2794 HAS SOUS 2160 HAS SOUPS 2160 WITH SCORE 2162.794
AT ITER 1048 NEW BEST:: SOT 6001 SOS 2785 HAS SOPS 2785 HAS SOUS 2151 HAS SOUPS 2151 WITH SCORE 2153.785
AT ITER 1118 NEW BEST:: SOT 6001 SOS 2783 HAS SOPS 2783 HAS SOUS 2149 HAS SOUPS 2149 WITH SCORE 2151.783
AT ITER 1131 NEW BEST:: SOT 5989 SOS 2768 HAS SOPS 2768 HAS SOUS 2138 HAS SOUPS 2138 WITH SCORE 2140.768
AT ITER 1174 NEW BEST:: SOT 5956 SOS 2730 HAS SOPS 2730 HAS SOUS 2100 HAS SOUPS 2100 WITH SCORE 2102.73
AT ITER 1252 NEW BEST:: SOT 5956 SOS 2727 HAS SOPS 2727 HAS SOUS 2097 HAS SOUPS 2097 WITH SCORE 2099.727
AT ITER 1297 NEW BEST:: SOT 5954 SOS 2719 HAS SOPS 2719 HAS SOUS 2093 HAS SOUPS 2093 WITH SCORE 2095.719
AT ITER 1304 NEW BEST:: SOT 5947 SOS 2712 HAS SOPS 2712 HAS SOUS 2086 HAS SOUPS 2086 WITH SCORE 2088.712
AT ITER 1315 NEW BEST:: SOT 5939 SOS 2700 HAS SOPS 2700 HAS SOUS 2074 HAS SOUPS 2074 WITH SCORE 2076.7
AT ITER 1332 NEW BEST:: SOT 5941 SOS 2700 HAS SOPS 2700 HAS SOUS 2072 HAS SOUPS 2072 WITH SCORE 2074.7
AT ITER 1334 NEW BEST:: SOT 5936 SOS 2697 HAS SOPS 2697 HAS SOUS 2072 HAS SOUPS 2072 WITH SCORE 2074.697
AT ITER 1381 NEW BEST:: SOT 5932 SOS 2693 HAS SOPS 2693 HAS SOUS 2068 HAS SOUPS 2068 WITH SCORE 2070.693
AT ITER 1443 NEW BEST:: SOT 5932 SOS 2682 HAS SOPS 2682 HAS SOUS 2068 HAS SOUPS 2068 WITH SCORE 2070.682
AT ITER 1502 NEW BEST:: SOT 5935 SOS 2685 HAS SOPS 2685 HAS SOUS 2066 HAS SOUPS 2066 WITH SCORE 2068.685
AT ITER 1525 NEW BEST:: SOT 5914 SOS 2669 HAS SOPS 2669 HAS SOUS 2049 HAS SOUPS 2049 WITH SCORE 2051.669
AT ITER 1544 NEW BEST:: SOT 5912 SOS 2667 HAS SOPS 2667 HAS SOUS 2041 HAS SOUPS 2041 WITH SCORE 2043.667
AT ITER 1625 NEW BEST:: SOT 5910 SOS 2660 HAS SOPS 2660 HAS SOUS 2034 HAS SOUPS 2034 WITH SCORE 2036.66
AT ITER 1686 NEW BEST:: SOT 5910 SOS 2660 HAS SOPS 2660 HAS SOUS 2027 HAS SOUPS 2027 WITH SCORE 2029.66
AT ITER 1716 NEW BEST:: SOT 5909 SOS 2659 HAS SOPS 2659 HAS SOUS 2026 HAS SOUPS 2026 WITH SCORE 2028.659
AT ITER 1719 NEW BEST:: SOT 5909 SOS 2659 HAS SOPS 2659 HAS SOUS 2024 HAS SOUPS 2024 WITH SCORE 2026.659
AT ITER 1774 NEW BEST:: SOT 5908 SOS 2658 HAS SOPS 2658 HAS SOUS 2023 HAS SOUPS 2023 WITH SCORE 2025.658
AT ITER 1800 NEW BEST:: SOT 5908 SOS 2655 HAS SOPS 2655 HAS SOUS 2023 HAS SOUPS 2023 WITH SCORE 2025.655
AT ITER 1827 NEW BEST:: SOT 5904 SOS 2651 HAS SOPS 2651 HAS SOUS 2019 HAS SOUPS 2019 WITH SCORE 2021.651
AT ITER 1854 NEW BEST:: SOT 5902 SOS 2645 HAS SOPS 2645 HAS SOUS 2015 HAS SOUPS 2015 WITH SCORE 2017.645
AT ITER 1875 NEW BEST:: SOT 5902 SOS 2642 HAS SOPS 2642 HAS SOUS 2014 HAS SOUPS 2014 WITH SCORE 2016.642
AT ITER 1895 NEW BEST:: SOT 5901 SOS 2633 HAS SOPS 2633 HAS SOUS 2005 HAS SOUPS 2005 WITH SCORE 2007.633
AT ITER 1903 NEW BEST:: SOT 5896 SOS 2622 HAS SOPS 2622 HAS SOUS 1998 HAS SOUPS 1998 WITH SCORE 2000.622
AT ITER 1921 NEW BEST:: SOT 5895 SOS 2618 HAS SOPS 2618 HAS SOUS 1994 HAS SOUPS 1994 WITH SCORE 1996.618
AT ITER 1938 NEW BEST:: SOT 5892 SOS 2615 HAS SOPS 2615 HAS SOUS 1992 HAS SOUPS 1992 WITH SCORE 1994.615
AT ITER 1946 NEW BEST:: SOT 5913 SOS 2579 HAS SOPS 2579 HAS SOUS 1983 HAS SOUPS 1983 WITH SCORE 1985.579
AT ITER 2041 NEW BEST:: SOT 5903 SOS 2569 HAS SOPS 2569 HAS SOUS 1973 HAS SOUPS 1973 WITH SCORE 1975.569
AT ITER 2042 NEW BEST:: SOT 5903 SOS 2533 HAS SOPS 2533 HAS SOUS 1971 HAS SOUPS 1971 WITH SCORE 1973.533
AT ITER 2046 NEW BEST:: SOT 5903 SOS 2531 HAS SOPS 2531 HAS SOUS 1963 HAS SOUPS 1963 WITH SCORE 1965.531
AT ITER 2050 NEW BEST:: SOT 5901 SOS 2529 HAS SOPS 2529 HAS SOUS 1961 HAS SOUPS 1961 WITH SCORE 1963.529
AT ITER 2080 NEW BEST:: SOT 5867 SOS 2515 HAS SOPS 2515 HAS SOUS 1947 HAS SOUPS 1947 WITH SCORE 1949.515
AT ITER 2116 NEW BEST:: SOT 5867 SOS 2514 HAS SOPS 2514 HAS SOUS 1946 HAS SOUPS 1946 WITH SCORE 1948.514
AT ITER 2122 NEW BEST:: SOT 5859 SOS 2499 HAS SOPS 2499 HAS SOUS 1931 HAS SOUPS 1931 WITH SCORE 1933.499
AT ITER 2194 NEW BEST:: SOT 5858 SOS 2493 HAS SOPS 2493 HAS SOUS 1931 HAS SOUPS 1931 WITH SCORE 1933.493
AT ITER 2195 NEW BEST:: SOT 5850 SOS 2482 HAS SOPS 2482 HAS SOUS 1920 HAS SOUPS 1920 WITH SCORE 1922.482
AT ITER 2205 NEW BEST:: SOT 5851 SOS 2478 HAS SOPS 2478 HAS SOUS 1914 HAS SOUPS 1914 WITH SCORE 1916.478
AT ITER 2212 NEW BEST:: SOT 5850 SOS 2472 HAS SOPS 2472 HAS SOUS 1911 HAS SOUPS 1911 WITH SCORE 1913.472
AT ITER 2279 NEW BEST:: SOT 5846 SOS 2467 HAS SOPS 2467 HAS SOUS 1906 HAS SOUPS 1906 WITH SCORE 1908.467
AT ITER 2313 NEW BEST:: SOT 5845 SOS 2466 HAS SOPS 2466 HAS SOUS 1906 HAS SOUPS 1906 WITH SCORE 1908.466
AT ITER 2357 NEW BEST:: SOT 5845 SOS 2461 HAS SOPS 2461 HAS SOUS 1901 HAS SOUPS 1901 WITH SCORE 1903.461
AT ITER 2390 NEW BEST:: SOT 5844 SOS 2460 HAS SOPS 2460 HAS SOUS 1900 HAS SOUPS 1900 WITH SCORE 1902.46
AT ITER 2458 NEW BEST:: SOT 5850 SOS 2455 HAS SOPS 2455 HAS SOUS 1898 HAS SOUPS 1898 WITH SCORE 1900.455
AT ITER 2466 NEW BEST:: SOT 5844 SOS 2445 HAS SOPS 2445 HAS SOUS 1893 HAS SOUPS 1893 WITH SCORE 1895.445
AT ITER 2517 NEW BEST:: SOT 5844 SOS 2441 HAS SOPS 2441 HAS SOUS 1891 HAS SOUPS 1891 WITH SCORE 1893.441
AT ITER 2533 NEW BEST:: SOT 5844 SOS 2435 HAS SOPS 2435 HAS SOUS 1888 HAS SOUPS 1888 WITH SCORE 1890.435
AT ITER 2545 NEW BEST:: SOT 5836 SOS 2427 HAS SOPS 2427 HAS SOUS 1879 HAS SOUPS 1879 WITH SCORE 1881.427
AT ITER 2561 NEW BEST:: SOT 5830 SOS 2411 HAS SOPS 2411 HAS SOUS 1876 HAS SOUPS 1876 WITH SCORE 1878.411
AT ITER 2614 NEW BEST:: SOT 5820 SOS 2399 HAS SOPS 2399 HAS SOUS 1864 HAS SOUPS 1864 WITH SCORE 1866.399
AT ITER 2672 NEW BEST:: SOT 5806 SOS 2383 HAS SOPS 2383 HAS SOUS 1848 HAS SOUPS 1848 WITH SCORE 1850.383
AT ITER 2703 NEW BEST:: SOT 5806 SOS 2367 HAS SOPS 2367 HAS SOUS 1841 HAS SOUPS 1841 WITH SCORE 1843.367
AT ITER 2727 NEW BEST:: SOT 5799 SOS 2360 HAS SOPS 2360 HAS SOUS 1837 HAS SOUPS 1837 WITH SCORE 1839.36
AT ITER 2742 NEW BEST:: SOT 5797 SOS 2358 HAS SOPS 2358 HAS SOUS 1835 HAS SOUPS 1835 WITH SCORE 1837.358
AT ITER 2788 NEW BEST:: SOT 5800 SOS 2359 HAS SOPS 2359 HAS SOUS 1829 HAS SOUPS 1829 WITH SCORE 1831.359
AT ITER 2824 NEW BEST:: SOT 5798 SOS 2356 HAS SOPS 2356 HAS SOUS 1826 HAS SOUPS 1826 WITH SCORE 1828.356
AT ITER 2846 NEW BEST:: SOT 5791 SOS 2356 HAS SOPS 2356 HAS SOUS 1819 HAS SOUPS 1819 WITH SCORE 1821.356
AT ITER 2911 NEW BEST:: SOT 5791 SOS 2354 HAS SOPS 2354 HAS SOUS 1819 HAS SOUPS 1819 WITH SCORE 1821.354
AT ITER 2927 NEW BEST:: SOT 5787 SOS 2352 HAS SOPS 2352 HAS SOUS 1817 HAS SOUPS 1817 WITH SCORE 1819.352
AT ITER 2938 NEW BEST:: SOT 5783 SOS 2346 HAS SOPS 2346 HAS SOUS 1811 HAS SOUPS 1811 WITH SCORE 1813.346
AT ITER 2939 NEW BEST:: SOT 5783 SOS 2345 HAS SOPS 2345 HAS SOUS 1811 HAS SOUPS 1811 WITH SCORE 1813.345
AT ITER 3190 NEW BEST:: SOT 5782 SOS 2343 HAS SOPS 2343 HAS SOUS 1807 HAS SOUPS 1807 WITH SCORE 1809.343
AT ITER 3198 NEW BEST:: SOT 5787 SOS 2337 HAS SOPS 2337 HAS SOUS 1806 HAS SOUPS 1806 WITH SCORE 1808.337
AT ITER 3227 NEW BEST:: SOT 5787 SOS 2329 HAS SOPS 2329 HAS SOUS 1806 HAS SOUPS 1806 WITH SCORE 1808.329
AT ITER 3269 NEW BEST:: SOT 5780 SOS 2322 HAS SOPS 2322 HAS SOUS 1799 HAS SOUPS 1799 WITH SCORE 1801.322
AT ITER 3331 NEW BEST:: SOT 5778 SOS 2317 HAS SOPS 2317 HAS SOUS 1794 HAS SOUPS 1794 WITH SCORE 1796.317
AT ITER 3349 NEW BEST:: SOT 5766 SOS 2312 HAS SOPS 2312 HAS SOUS 1788 HAS SOUPS 1788 WITH SCORE 1790.312
AT ITER 3377 NEW BEST:: SOT 5745 SOS 2291 HAS SOPS 2291 HAS SOUS 1758 HAS SOUPS 1758 WITH SCORE 1760.291
AT ITER 3380 NEW BEST:: SOT 5742 SOS 2288 HAS SOPS 2288 HAS SOUS 1755 HAS SOUPS 1755 WITH SCORE 1757.288
AT ITER 3423 NEW BEST:: SOT 5742 SOS 2281 HAS SOPS 2281 HAS SOUS 1753 HAS SOUPS 1753 WITH SCORE 1755.281
AT ITER 3424 NEW BEST:: SOT 5737 SOS 2273 HAS SOPS 2273 HAS SOUS 1744 HAS SOUPS 1744 WITH SCORE 1746.273
AT ITER 3445 NEW BEST:: SOT 5735 SOS 2271 HAS SOPS 2271 HAS SOUS 1742 HAS SOUPS 1742 WITH SCORE 1744.271
AT ITER 3533 NEW BEST:: SOT 5730 SOS 2264 HAS SOPS 2264 HAS SOUS 1739 HAS SOUPS 1739 WITH SCORE 1741.264
AT ITER 3540 NEW BEST:: SOT 5730 SOS 2263 HAS SOPS 2263 HAS SOUS 1738 HAS SOUPS 1738 WITH SCORE 1740.263
AT ITER 3571 NEW BEST:: SOT 5743 SOS 2254 HAS SOPS 2254 HAS SOUS 1738 HAS SOUPS 1738 WITH SCORE 1740.254
AT ITER 3656 NEW BEST:: SOT 5746 SOS 2250 HAS SOPS 2250 HAS SOUS 1735 HAS SOUPS 1735 WITH SCORE 1737.25
AT ITER 3689 NEW BEST:: SOT 5742 SOS 2247 HAS SOPS 2247 HAS SOUS 1732 HAS SOUPS 1732 WITH SCORE 1734.247
AT ITER 3800 NEW BEST:: SOT 5745 SOS 2246 HAS SOPS 2246 HAS SOUS 1729 HAS SOUPS 1729 WITH SCORE 1731.246
AT ITER 3837 NEW BEST:: SOT 5744 SOS 2246 HAS SOPS 2246 HAS SOUS 1727 HAS SOUPS 1727 WITH SCORE 1729.246
AT ITER 3887 NEW BEST:: SOT 5745 SOS 2243 HAS SOPS 2243 HAS SOUS 1721 HAS SOUPS 1721 WITH SCORE 1723.243
AT ITER 3937 NEW BEST:: SOT 5745 SOS 2235 HAS SOPS 2235 HAS SOUS 1713 HAS SOUPS 1713 WITH SCORE 1715.235
AT ITER 4104 NEW BEST:: SOT 5744 SOS 2236 HAS SOPS 2236 HAS SOUS 1712 HAS SOUPS 1712 WITH SCORE 1714.236
AT ITER 4133 NEW BEST:: SOT 5743 SOS 2235 HAS SOPS 2235 HAS SOUS 1711 HAS SOUPS 1711 WITH SCORE 1713.235
AT ITER 4135 NEW BEST:: SOT 5742 SOS 2232 HAS SOPS 2232 HAS SOUS 1710 HAS SOUPS 1710 WITH SCORE 1712.232
AT ITER 4252 NEW BEST:: SOT 5742 SOS 2226 HAS SOPS 2226 HAS SOUS 1704 HAS SOUPS 1704 WITH SCORE 1706.226
AT ITER 4254 NEW BEST:: SOT 5741 SOS 2218 HAS SOPS 2218 HAS SOUS 1697 HAS SOUPS 1697 WITH SCORE 1699.218
AT ITER 4258 NEW BEST:: SOT 5740 SOS 2216 HAS SOPS 2216 HAS SOUS 1697 HAS SOUPS 1697 WITH SCORE 1699.216
AT ITER 4314 NEW BEST:: SOT 5739 SOS 2214 HAS SOPS 2214 HAS SOUS 1696 HAS SOUPS 1696 WITH SCORE 1698.214
AT ITER 4361 NEW BEST:: SOT 5734 SOS 2209 HAS SOPS 2209 HAS SOUS 1691 HAS SOUPS 1691 WITH SCORE 1693.209
AT ITER 4372 NEW BEST:: SOT 5734 SOS 2204 HAS SOPS 2204 HAS SOUS 1690 HAS SOUPS 1690 WITH SCORE 1692.204
AT ITER 4457 NEW BEST:: SOT 5736 SOS 2206 HAS SOPS 2206 HAS SOUS 1688 HAS SOUPS 1688 WITH SCORE 1690.206
AT ITER 4507 NEW BEST:: SOT 5750 SOS 2192 HAS SOPS 2192 HAS SOUS 1688 HAS SOUPS 1688 WITH SCORE 1690.192
AT ITER 4641 NEW BEST:: SOT 5745 SOS 2184 HAS SOPS 2184 HAS SOUS 1676 HAS SOUPS 1676 WITH SCORE 1678.184
AT ITER 4651 NEW BEST:: SOT 5747 SOS 2182 HAS SOPS 2182 HAS SOUS 1674 HAS SOUPS 1674 WITH SCORE 1676.182
AT ITER 4714 NEW BEST:: SOT 5747 SOS 2176 HAS SOPS 2176 HAS SOUS 1668 HAS SOUPS 1668 WITH SCORE 1670.176
AT ITER 4834 NEW BEST:: SOT 5748 SOS 2175 HAS SOPS 2175 HAS SOUS 1662 HAS SOUPS 1662 WITH SCORE 1664.175
AT ITER 4941 NEW BEST:: SOT 5740 SOS 2154 HAS SOPS 2154 HAS SOUS 1653 HAS SOUPS 1653 WITH SCORE 1655.154
AT ITER 4962 NEW BEST:: SOT 5736 SOS 2152 HAS SOPS 2152 HAS SOUS 1651 HAS SOUPS 1651 WITH SCORE 1653.152
AT ITER 4973 NEW BEST:: SOT 5728 SOS 2146 HAS SOPS 2146 HAS SOUS 1645 HAS SOUPS 1645 WITH SCORE 1647.146
AT ITER 5159 NEW BEST:: SOT 5724 SOS 2142 HAS SOPS 2142 HAS SOUS 1641 HAS SOUPS 1641 WITH SCORE 1643.142
AT ITER 5189 NEW BEST:: SOT 5720 SOS 2137 HAS SOPS 2137 HAS SOUS 1636 HAS SOUPS 1636 WITH SCORE 1638.137
AT ITER 5237 NEW BEST:: SOT 5718 SOS 2135 HAS SOPS 2135 HAS SOUS 1635 HAS SOUPS 1635 WITH SCORE 1637.135
AT ITER 5241 NEW BEST:: SOT 5712 SOS 2133 HAS SOPS 2133 HAS SOUS 1633 HAS SOUPS 1633 WITH SCORE 1635.133
AT ITER 5258 NEW BEST:: SOT 5708 SOS 2133 HAS SOPS 2133 HAS SOUS 1631 HAS SOUPS 1631 WITH SCORE 1633.133
AT ITER 5299 NEW BEST:: SOT 5705 SOS 2129 HAS SOPS 2129 HAS SOUS 1627 HAS SOUPS 1627 WITH SCORE 1629.129
AT ITER 5395 NEW BEST:: SOT 5703 SOS 2127 HAS SOPS 2127 HAS SOUS 1624 HAS SOUPS 1624 WITH SCORE 1626.127
AT ITER 5452 NEW BEST:: SOT 5702 SOS 2125 HAS SOPS 2125 HAS SOUS 1622 HAS SOUPS 1622 WITH SCORE 1624.125
AT ITER 5519 NEW BEST:: SOT 5695 SOS 2090 HAS SOPS 2090 HAS SOUS 1608 HAS SOUPS 1608 WITH SCORE 1610.09
AT ITER 5997 NEW BEST:: SOT 5693 SOS 2086 HAS SOPS 2086 HAS SOUS 1604 HAS SOUPS 1604 WITH SCORE 1606.086
AT ITER 6033 NEW BEST:: SOT 5693 SOS 2086 HAS SOPS 2086 HAS SOUS 1603 HAS SOUPS 1603 WITH SCORE 1605.086
AT ITER 6049 NEW BEST:: SOT 5692 SOS 2085 HAS SOPS 2085 HAS SOUS 1602 HAS SOUPS 1602 WITH SCORE 1604.085
AT ITER 6156 NEW BEST:: SOT 5690 SOS 2081 HAS SOPS 2081 HAS SOUS 1602 HAS SOUPS 1602 WITH SCORE 1604.081
AT ITER 6343 NEW BEST:: SOT 5688 SOS 2079 HAS SOPS 2079 HAS SOUS 1600 HAS SOUPS 1600 WITH SCORE 1602.079
AT ITER 6344 NEW BEST:: SOT 5686 SOS 2074 HAS SOPS 2074 HAS SOUS 1598 HAS SOUPS 1598 WITH SCORE 1600.074
AT ITER 6653 NEW BEST:: SOT 5685 SOS 2070 HAS SOPS 2070 HAS SOUS 1593 HAS SOUPS 1593 WITH SCORE 1595.07
AT ITER 6992 NEW BEST:: SOT 5684 SOS 2069 HAS SOPS 2069 HAS SOUS 1592 HAS SOUPS 1592 WITH SCORE 1594.069
AT ITER 7001 NEW BEST:: SOT 5682 SOS 2067 HAS SOPS 2067 HAS SOUS 1590 HAS SOUPS 1590 WITH SCORE 1592.067
AT ITER 7019 NEW BEST:: SOT 5682 SOS 2061 HAS SOPS 2061 HAS SOUS 1586 HAS SOUPS 1586 WITH SCORE 1588.061
AT ITER 7126 NEW BEST:: SOT 5681 SOS 2060 HAS SOPS 2060 HAS SOUS 1585 HAS SOUPS 1585 WITH SCORE 1587.06
AT ITER 7171 NEW BEST:: SOT 5678 SOS 2058 HAS SOPS 2058 HAS SOUS 1583 HAS SOUPS 1583 WITH SCORE 1585.058
AT ITER 7499 NEW BEST:: SOT 5678 SOS 2061 HAS SOPS 2061 HAS SOUS 1582 HAS SOUPS 1582 WITH SCORE 1584.061
AT ITER 7528 NEW BEST:: SOT 5674 SOS 2054 HAS SOPS 2054 HAS SOUS 1573 HAS SOUPS 1573 WITH SCORE 1575.054
AT ITER 7574 NEW BEST:: SOT 5674 SOS 2053 HAS SOPS 2053 HAS SOUS 1572 HAS SOUPS 1572 WITH SCORE 1574.053
AT ITER 7620 NEW BEST:: SOT 5672 SOS 2050 HAS SOPS 2050 HAS SOUS 1569 HAS SOUPS 1569 WITH SCORE 1571.05
AT ITER 8029 NEW BEST:: SOT 5674 SOS 2059 HAS SOPS 2059 HAS SOUS 1568 HAS SOUPS 1568 WITH SCORE 1570.059
AT ITER 8081 NEW BEST:: SOT 5672 SOS 2058 HAS SOPS 2058 HAS SOUS 1567 HAS SOUPS 1567 WITH SCORE 1569.058
AT ITER 8107 NEW BEST:: SOT 5672 SOS 2043 HAS SOPS 2043 HAS SOUS 1562 HAS SOUPS 1562 WITH SCORE 1564.043
AT ITER 8144 NEW BEST:: SOT 5671 SOS 2042 HAS SOPS 2042 HAS SOUS 1561 HAS SOUPS 1561 WITH SCORE 1563.042
AT ITER 8549 NEW BEST:: SOT 5670 SOS 2041 HAS SOPS 2041 HAS SOUS 1560 HAS SOUPS 1560 WITH SCORE 1562.041
AT ITER 8762 NEW BEST:: SOT 5668 SOS 2039 HAS SOPS 2039 HAS SOUS 1558 HAS SOUPS 1558 WITH SCORE 1560.039
AT ITER 8843 NEW BEST:: SOT 5668 SOS 2037 HAS SOPS 2037 HAS SOUS 1558 HAS SOUPS 1558 WITH SCORE 1560.037
AT ITER 9335 NEW BEST:: SOT 5667 SOS 2036 HAS SOPS 2036 HAS SOUS 1557 HAS SOUPS 1557 WITH SCORE 1559.036
AT ITER 9681 NEW BEST:: SOT 5668 SOS 2032 HAS SOPS 2032 HAS SOUS 1557 HAS SOUPS 1557 WITH SCORE 1559.032
AT ITER 9690 NEW BEST:: SOT 5666 SOS 2030 HAS SOPS 2030 HAS SOUS 1555 HAS SOUPS 1555 WITH SCORE 1557.03
AT ITER 9920 NEW BEST:: SOT 5665 SOS 2029 HAS SOPS 2029 HAS SOUS 1554 HAS SOUPS 1554 WITH SCORE 1556.029
AT ITER 9934 NEW BEST:: SOT 5665 SOS 2029 HAS SOPS 2029 HAS SOUS 1553 HAS SOUPS 1553 WITH SCORE 1555.029

BK_STOP 1679556060621

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
++ sed s/.jar//
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 501 Killed ${SMART}/smart ${INPUT_SM}

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="smartxred"
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 smartxred"
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 4"
echo " Run identifier is r395-oct2-167903718300056"
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 ;