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.r011-oct2-167813600200440.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 AutoFlight-PT-05a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r011-oct2-167813600200440
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 436K
-rw-r--r-- 1 mcc users 7.1K Feb 25 18:13 CTLCardinality.txt
-rw-r--r-- 1 mcc users 80K Feb 25 18:13 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Feb 25 18:11 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 25 18:11 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:32 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:32 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 15:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.9K Feb 25 18:15 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 80K Feb 25 18:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.2K Feb 25 18:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 72K Feb 25 18:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:32 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:32 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 36K Mar 5 18:22 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678735520837

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=AutoFlight-PT-05a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 19:25:23] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 19:25:23] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 19:25:23] [INFO ] Load time of PNML (sax parser for PT used): 46 ms
[2023-03-13 19:25:23] [INFO ] Transformed 132 places.
[2023-03-13 19:25:23] [INFO ] Transformed 130 transitions.
[2023-03-13 19:25:23] [INFO ] Found NUPN structural information;
[2023-03-13 19:25:23] [INFO ] Parsed PT model containing 132 places and 130 transitions and 420 arcs in 135 ms.
[2023-03-13 19:25:23] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 132 places, 130 transitions and 420 arcs took 5 ms.
Total runtime 192 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutoFlight (PT), instance 05a
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: 132 places, 130 transitions, 420 arcs.
AT ITER 0 NEW BEST:: SOT 13209 SOS 9331 HAS SOPS 9331 HAS SOUS 6480 HAS SOUPS 6480 WITH SCORE 6489.331
AT ITER 1 NEW BEST:: SOT 13193 SOS 9323 HAS SOPS 9323 HAS SOUS 6472 HAS SOUPS 6472 WITH SCORE 6481.323
AT ITER 2 NEW BEST:: SOT 13031 SOS 9172 HAS SOPS 9172 HAS SOUS 6360 HAS SOUPS 6360 WITH SCORE 6369.172
AT ITER 5 NEW BEST:: SOT 13031 SOS 9171 HAS SOPS 9171 HAS SOUS 6359 HAS SOUPS 6359 WITH SCORE 6368.171
AT ITER 7 NEW BEST:: SOT 13031 SOS 9171 HAS SOPS 9171 HAS SOUS 6355 HAS SOUPS 6355 WITH SCORE 6364.171
AT ITER 9 NEW BEST:: SOT 13031 SOS 9160 HAS SOPS 9160 HAS SOUS 6355 HAS SOUPS 6355 WITH SCORE 6364.16
AT ITER 17 NEW BEST:: SOT 12714 SOS 8875 HAS SOPS 8875 HAS SOUS 6198 HAS SOUPS 6198 WITH SCORE 6206.875
AT ITER 19 NEW BEST:: SOT 12366 SOS 8529 HAS SOPS 8529 HAS SOUS 5982 HAS SOUPS 5982 WITH SCORE 5990.529
AT ITER 20 NEW BEST:: SOT 12201 SOS 8364 HAS SOPS 8364 HAS SOUS 5925 HAS SOUPS 5925 WITH SCORE 5933.364
AT ITER 22 NEW BEST:: SOT 12105 SOS 8267 HAS SOPS 8267 HAS SOUS 5874 HAS SOUPS 5874 WITH SCORE 5882.267
AT ITER 28 NEW BEST:: SOT 12119 SOS 8144 HAS SOPS 8083 HAS SOUS 5814 HAS SOUPS 5753 WITH SCORE 5761.144
AT ITER 30 NEW BEST:: SOT 12094 SOS 8118 HAS SOPS 8057 HAS SOUS 5771 HAS SOUPS 5710 WITH SCORE 5718.118
AT ITER 32 NEW BEST:: SOT 11983 SOS 8007 HAS SOPS 7946 HAS SOUS 5665 HAS SOUPS 5604 WITH SCORE 5612.007
AT ITER 34 NEW BEST:: SOT 11983 SOS 7934 HAS SOPS 7873 HAS SOUS 5620 HAS SOUPS 5559 WITH SCORE 5566.934
AT ITER 35 NEW BEST:: SOT 11977 SOS 7712 HAS SOPS 7651 HAS SOUS 5494 HAS SOUPS 5433 WITH SCORE 5440.712
AT ITER 36 NEW BEST:: SOT 11905 SOS 7640 HAS SOPS 7579 HAS SOUS 5458 HAS SOUPS 5397 WITH SCORE 5404.64
AT ITER 40 NEW BEST:: SOT 11856 SOS 7366 HAS SOPS 7305 HAS SOUS 5277 HAS SOUPS 5216 WITH SCORE 5223.366
AT ITER 43 NEW BEST:: SOT 11722 SOS 7353 HAS SOPS 7292 HAS SOUS 5264 HAS SOUPS 5203 WITH SCORE 5210.353
AT ITER 44 NEW BEST:: SOT 11800 SOS 7327 HAS SOPS 7266 HAS SOUS 5234 HAS SOUPS 5173 WITH SCORE 5180.327
AT ITER 47 NEW BEST:: SOT 11802 SOS 7263 HAS SOPS 7202 HAS SOUS 5191 HAS SOUPS 5130 WITH SCORE 5137.263
AT ITER 54 NEW BEST:: SOT 11767 SOS 7228 HAS SOPS 7167 HAS SOUS 5164 HAS SOUPS 5103 WITH SCORE 5110.228
AT ITER 58 NEW BEST:: SOT 11738 SOS 7199 HAS SOPS 7138 HAS SOUS 5161 HAS SOUPS 5100 WITH SCORE 5107.199
AT ITER 66 NEW BEST:: SOT 11738 SOS 7194 HAS SOPS 7133 HAS SOUS 5156 HAS SOUPS 5095 WITH SCORE 5102.194
AT ITER 70 NEW BEST:: SOT 11738 SOS 7193 HAS SOPS 7132 HAS SOUS 5155 HAS SOUPS 5094 WITH SCORE 5101.193
AT ITER 71 NEW BEST:: SOT 11625 SOS 7234 HAS SOPS 7023 HAS SOUS 5095 HAS SOUPS 4985 WITH SCORE 4992.234
AT ITER 75 NEW BEST:: SOT 11612 SOS 7075 HAS SOPS 6864 HAS SOUS 5003 HAS SOUPS 4893 WITH SCORE 4900.075
AT ITER 76 NEW BEST:: SOT 11385 SOS 6793 HAS SOPS 6582 HAS SOUS 4861 HAS SOUPS 4751 WITH SCORE 4757.793
AT ITER 77 NEW BEST:: SOT 11353 SOS 6751 HAS SOPS 6540 HAS SOUS 4851 HAS SOUPS 4741 WITH SCORE 4747.751
AT ITER 78 NEW BEST:: SOT 11322 SOS 6681 HAS SOPS 6460 HAS SOUS 4781 HAS SOUPS 4661 WITH SCORE 4667.681
AT ITER 79 NEW BEST:: SOT 11225 SOS 6686 HAS SOPS 6465 HAS SOUS 4754 HAS SOUPS 4634 WITH SCORE 4640.686
AT ITER 80 NEW BEST:: SOT 11179 SOS 6629 HAS SOPS 6419 HAS SOUS 4719 HAS SOUPS 4610 WITH SCORE 4616.629
AT ITER 83 NEW BEST:: SOT 11174 SOS 6624 HAS SOPS 6414 HAS SOUS 4714 HAS SOUPS 4605 WITH SCORE 4611.624
AT ITER 84 NEW BEST:: SOT 11172 SOS 6624 HAS SOPS 6412 HAS SOUS 4714 HAS SOUPS 4603 WITH SCORE 4609.624
AT ITER 85 NEW BEST:: SOT 10894 SOS 6346 HAS SOPS 6134 HAS SOUS 4578 HAS SOUPS 4467 WITH SCORE 4473.346
AT ITER 87 NEW BEST:: SOT 10941 SOS 6275 HAS SOPS 6063 HAS SOUS 4507 HAS SOUPS 4396 WITH SCORE 4402.275
AT ITER 91 NEW BEST:: SOT 10941 SOS 6263 HAS SOPS 6051 HAS SOUS 4507 HAS SOUPS 4396 WITH SCORE 4402.263
AT ITER 97 NEW BEST:: SOT 10899 SOS 6276 HAS SOPS 6064 HAS SOUS 4486 HAS SOUPS 4375 WITH SCORE 4381.276
AT ITER 101 NEW BEST:: SOT 10992 SOS 5509 HAS SOPS 5222 HAS SOUS 4492 HAS SOUPS 4306 WITH SCORE 4311.509
AT ITER 105 NEW BEST:: SOT 10956 SOS 5429 HAS SOPS 5142 HAS SOUS 4448 HAS SOUPS 4262 WITH SCORE 4267.429
AT ITER 112 NEW BEST:: SOT 10853 SOS 5432 HAS SOPS 5145 HAS SOUS 4439 HAS SOUPS 4253 WITH SCORE 4258.432
AT ITER 115 NEW BEST:: SOT 10867 SOS 5484 HAS SOPS 5159 HAS SOUS 4420 HAS SOUPS 4214 WITH SCORE 4219.484
AT ITER 123 NEW BEST:: SOT 10871 SOS 5497 HAS SOPS 5172 HAS SOUS 4419 HAS SOUPS 4213 WITH SCORE 4218.497
AT ITER 125 NEW BEST:: SOT 10842 SOS 5399 HAS SOPS 5074 HAS SOUS 4405 HAS SOUPS 4199 WITH SCORE 4204.399
AT ITER 126 NEW BEST:: SOT 10840 SOS 5387 HAS SOPS 5062 HAS SOUS 4393 HAS SOUPS 4187 WITH SCORE 4192.387
AT ITER 137 NEW BEST:: SOT 10840 SOS 5383 HAS SOPS 5058 HAS SOUS 4393 HAS SOUPS 4187 WITH SCORE 4192.383
AT ITER 151 NEW BEST:: SOT 10840 SOS 5358 HAS SOPS 5033 HAS SOUS 4368 HAS SOUPS 4162 WITH SCORE 4167.358
AT ITER 152 NEW BEST:: SOT 10830 SOS 5335 HAS SOPS 5010 HAS SOUS 4363 HAS SOUPS 4157 WITH SCORE 4162.335
AT ITER 155 NEW BEST:: SOT 10781 SOS 5155 HAS SOPS 4881 HAS SOUS 4321 HAS SOUPS 4123 WITH SCORE 4128.155
AT ITER 161 NEW BEST:: SOT 10781 SOS 5188 HAS SOPS 4880 HAS SOUS 4320 HAS SOUPS 4122 WITH SCORE 4127.188
AT ITER 171 NEW BEST:: SOT 10650 SOS 5095 HAS SOPS 4749 HAS SOUS 4196 HAS SOUPS 3991 WITH SCORE 3996.095
AT ITER 178 NEW BEST:: SOT 10654 SOS 5060 HAS SOPS 4714 HAS SOUS 4185 HAS SOUPS 3980 WITH SCORE 3985.06
AT ITER 181 NEW BEST:: SOT 10654 SOS 4973 HAS SOPS 4627 HAS SOUS 4159 HAS SOUPS 3954 WITH SCORE 3958.973
AT ITER 184 NEW BEST:: SOT 10524 SOS 4775 HAS SOPS 4429 HAS SOUS 4022 HAS SOUPS 3817 WITH SCORE 3821.775
AT ITER 186 NEW BEST:: SOT 10512 SOS 4763 HAS SOPS 4417 HAS SOUS 4010 HAS SOUPS 3805 WITH SCORE 3809.763
AT ITER 189 NEW BEST:: SOT 10489 SOS 4740 HAS SOPS 4396 HAS SOUS 3994 HAS SOUPS 3791 WITH SCORE 3795.74
AT ITER 190 NEW BEST:: SOT 10457 SOS 4691 HAS SOPS 4339 HAS SOUS 3943 HAS SOUPS 3734 WITH SCORE 3738.691
AT ITER 202 NEW BEST:: SOT 10457 SOS 4604 HAS SOPS 4252 HAS SOUS 3902 HAS SOUPS 3693 WITH SCORE 3697.604
AT ITER 210 NEW BEST:: SOT 10452 SOS 4599 HAS SOPS 4247 HAS SOUS 3897 HAS SOUPS 3688 WITH SCORE 3692.599
AT ITER 220 NEW BEST:: SOT 10436 SOS 4587 HAS SOPS 4228 HAS SOUS 3885 HAS SOUPS 3669 WITH SCORE 3673.587
AT ITER 234 NEW BEST:: SOT 10440 SOS 4587 HAS SOPS 4228 HAS SOUS 3879 HAS SOUPS 3663 WITH SCORE 3667.587
AT ITER 240 NEW BEST:: SOT 10414 SOS 4531 HAS SOPS 4172 HAS SOUS 3853 HAS SOUPS 3637 WITH SCORE 3641.531
AT ITER 248 NEW BEST:: SOT 10285 SOS 4338 HAS SOPS 3979 HAS SOUS 3741 HAS SOUPS 3525 WITH SCORE 3529.338
AT ITER 250 NEW BEST:: SOT 10284 SOS 4336 HAS SOPS 3978 HAS SOUS 3740 HAS SOUPS 3524 WITH SCORE 3528.336
AT ITER 252 NEW BEST:: SOT 10238 SOS 4269 HAS SOPS 3911 HAS SOUS 3687 HAS SOUPS 3471 WITH SCORE 3475.269
AT ITER 262 NEW BEST:: SOT 10238 SOS 4261 HAS SOPS 3903 HAS SOUS 3683 HAS SOUPS 3467 WITH SCORE 3471.261
AT ITER 269 NEW BEST:: SOT 10234 SOS 4330 HAS SOPS 3972 HAS SOUS 3679 HAS SOUPS 3463 WITH SCORE 3467.33
AT ITER 274 NEW BEST:: SOT 10167 SOS 4255 HAS SOPS 3897 HAS SOUS 3640 HAS SOUPS 3424 WITH SCORE 3428.255
AT ITER 276 NEW BEST:: SOT 10165 SOS 4252 HAS SOPS 3894 HAS SOUS 3639 HAS SOUPS 3423 WITH SCORE 3427.252
AT ITER 286 NEW BEST:: SOT 10137 SOS 4224 HAS SOPS 3851 HAS SOUS 3646 HAS SOUPS 3415 WITH SCORE 3419.224
AT ITER 290 NEW BEST:: SOT 10135 SOS 4218 HAS SOPS 3845 HAS SOUS 3642 HAS SOUPS 3411 WITH SCORE 3415.218
AT ITER 303 NEW BEST:: SOT 10135 SOS 4214 HAS SOPS 3841 HAS SOUS 3640 HAS SOUPS 3409 WITH SCORE 3413.214
AT ITER 308 NEW BEST:: SOT 10135 SOS 4217 HAS SOPS 3832 HAS SOUS 3637 HAS SOUPS 3403 WITH SCORE 3407.217
AT ITER 311 NEW BEST:: SOT 10129 SOS 4204 HAS SOPS 3792 HAS SOUS 3624 HAS SOUPS 3363 WITH SCORE 3367.204
AT ITER 330 NEW BEST:: SOT 10141 SOS 4203 HAS SOPS 3791 HAS SOUS 3599 HAS SOUPS 3338 WITH SCORE 3342.203
AT ITER 348 NEW BEST:: SOT 10116 SOS 4178 HAS SOPS 3771 HAS SOUS 3567 HAS SOUPS 3311 WITH SCORE 3315.178
AT ITER 352 NEW BEST:: SOT 10097 SOS 4140 HAS SOPS 3752 HAS SOUS 3529 HAS SOUPS 3292 WITH SCORE 3296.14
AT ITER 357 NEW BEST:: SOT 10180 SOS 4165 HAS SOPS 3716 HAS SOUS 3571 HAS SOUPS 3273 WITH SCORE 3277.165
AT ITER 358 NEW BEST:: SOT 10155 SOS 4118 HAS SOPS 3669 HAS SOUS 3546 HAS SOUPS 3248 WITH SCORE 3252.118
AT ITER 360 NEW BEST:: SOT 10151 SOS 4106 HAS SOPS 3657 HAS SOUS 3538 HAS SOUPS 3240 WITH SCORE 3244.106
AT ITER 361 NEW BEST:: SOT 10163 SOS 4048 HAS SOPS 3599 HAS SOUS 3524 HAS SOUPS 3226 WITH SCORE 3230.048
AT ITER 369 NEW BEST:: SOT 10163 SOS 4039 HAS SOPS 3599 HAS SOUS 3524 HAS SOUPS 3226 WITH SCORE 3230.039
AT ITER 374 NEW BEST:: SOT 10172 SOS 4048 HAS SOPS 3608 HAS SOUS 3502 HAS SOUPS 3204 WITH SCORE 3208.048
AT ITER 388 NEW BEST:: SOT 10099 SOS 3993 HAS SOPS 3553 HAS SOUS 3459 HAS SOUPS 3161 WITH SCORE 3164.993
AT ITER 395 NEW BEST:: SOT 10081 SOS 3981 HAS SOPS 3541 HAS SOUS 3453 HAS SOUPS 3155 WITH SCORE 3158.981
AT ITER 412 NEW BEST:: SOT 10063 SOS 3945 HAS SOPS 3523 HAS SOUS 3417 HAS SOUPS 3137 WITH SCORE 3140.945
AT ITER 417 NEW BEST:: SOT 10057 SOS 3927 HAS SOPS 3512 HAS SOUS 3399 HAS SOUPS 3126 WITH SCORE 3129.927
AT ITER 424 NEW BEST:: SOT 10049 SOS 3919 HAS SOPS 3504 HAS SOUS 3391 HAS SOUPS 3118 WITH SCORE 3121.919
AT ITER 428 NEW BEST:: SOT 10040 SOS 3912 HAS SOPS 3486 HAS SOUS 3386 HAS SOUPS 3100 WITH SCORE 3103.912
AT ITER 429 NEW BEST:: SOT 10036 SOS 3876 HAS SOPS 3450 HAS SOUS 3379 HAS SOUPS 3093 WITH SCORE 3096.876
AT ITER 431 NEW BEST:: SOT 10012 SOS 3850 HAS SOPS 3406 HAS SOUS 3350 HAS SOUPS 3057 WITH SCORE 3060.85
AT ITER 433 NEW BEST:: SOT 10003 SOS 3841 HAS SOPS 3397 HAS SOUS 3341 HAS SOUPS 3048 WITH SCORE 3051.841
AT ITER 435 NEW BEST:: SOT 9992 SOS 3808 HAS SOPS 3386 HAS SOUS 3308 HAS SOUPS 3037 WITH SCORE 3040.808
AT ITER 444 NEW BEST:: SOT 10024 SOS 3840 HAS SOPS 3347 HAS SOUS 3327 HAS SOUPS 2985 WITH SCORE 2988.84
AT ITER 446 NEW BEST:: SOT 10007 SOS 3796 HAS SOPS 3303 HAS SOUS 3283 HAS SOUPS 2941 WITH SCORE 2944.796
AT ITER 448 NEW BEST:: SOT 9991 SOS 3749 HAS SOPS 3256 HAS SOUS 3252 HAS SOUPS 2910 WITH SCORE 2913.749
AT ITER 449 NEW BEST:: SOT 9982 SOS 3740 HAS SOPS 3247 HAS SOUS 3243 HAS SOUPS 2901 WITH SCORE 2904.74
AT ITER 467 NEW BEST:: SOT 9980 SOS 3736 HAS SOPS 3245 HAS SOUS 3242 HAS SOUPS 2901 WITH SCORE 2904.736
AT ITER 478 NEW BEST:: SOT 9923 SOS 3656 HAS SOPS 3182 HAS SOUS 3162 HAS SOUPS 2838 WITH SCORE 2841.656
AT ITER 482 NEW BEST:: SOT 9916 SOS 3649 HAS SOPS 3168 HAS SOUS 3155 HAS SOUPS 2824 WITH SCORE 2827.649
AT ITER 488 NEW BEST:: SOT 9892 SOS 3632 HAS SOPS 3168 HAS SOUS 3140 HAS SOUPS 2824 WITH SCORE 2827.632
AT ITER 501 NEW BEST:: SOT 9913 SOS 3629 HAS SOPS 3155 HAS SOUS 3146 HAS SOUPS 2820 WITH SCORE 2823.629
AT ITER 504 NEW BEST:: SOT 9905 SOS 3630 HAS SOPS 3156 HAS SOUS 3141 HAS SOUPS 2815 WITH SCORE 2818.63
AT ITER 513 NEW BEST:: SOT 9897 SOS 3622 HAS SOPS 3148 HAS SOUS 3137 HAS SOUPS 2811 WITH SCORE 2814.622
AT ITER 517 NEW BEST:: SOT 9897 SOS 3616 HAS SOPS 3142 HAS SOUS 3137 HAS SOUPS 2811 WITH SCORE 2814.616
AT ITER 521 NEW BEST:: SOT 9897 SOS 3605 HAS SOPS 3131 HAS SOUS 3130 HAS SOUPS 2804 WITH SCORE 2807.605
AT ITER 523 NEW BEST:: SOT 9886 SOS 3595 HAS SOPS 3121 HAS SOUS 3120 HAS SOUPS 2794 WITH SCORE 2797.595
AT ITER 526 NEW BEST:: SOT 9888 SOS 3597 HAS SOPS 3108 HAS SOUS 3114 HAS SOUPS 2781 WITH SCORE 2784.597
AT ITER 537 NEW BEST:: SOT 9866 SOS 3542 HAS SOPS 3053 HAS SOUS 3105 HAS SOUPS 2772 WITH SCORE 2775.542
AT ITER 538 NEW BEST:: SOT 9866 SOS 3527 HAS SOPS 3053 HAS SOUS 3105 HAS SOUPS 2772 WITH SCORE 2775.527
AT ITER 542 NEW BEST:: SOT 9872 SOS 3514 HAS SOPS 3040 HAS SOUS 3096 HAS SOUPS 2763 WITH SCORE 2766.514
AT ITER 548 NEW BEST:: SOT 9871 SOS 3513 HAS SOPS 3038 HAS SOUS 3095 HAS SOUPS 2761 WITH SCORE 2764.513
AT ITER 555 NEW BEST:: SOT 9895 SOS 3534 HAS SOPS 3071 HAS SOUS 3086 HAS SOUPS 2752 WITH SCORE 2755.534
AT ITER 561 NEW BEST:: SOT 9885 SOS 3517 HAS SOPS 3051 HAS SOUS 3068 HAS SOUPS 2732 WITH SCORE 2735.517
AT ITER 576 NEW BEST:: SOT 9883 SOS 3533 HAS SOPS 3049 HAS SOUS 3072 HAS SOUPS 2730 WITH SCORE 2733.533
AT ITER 577 NEW BEST:: SOT 9861 SOS 3566 HAS SOPS 3020 HAS SOUS 3071 HAS SOUPS 2701 WITH SCORE 2704.566
AT ITER 587 NEW BEST:: SOT 9845 SOS 3538 HAS SOPS 3004 HAS SOUS 3059 HAS SOUPS 2693 WITH SCORE 2696.538
AT ITER 608 NEW BEST:: SOT 9832 SOS 3525 HAS SOPS 2991 HAS SOUS 3046 HAS SOUPS 2680 WITH SCORE 2683.525
AT ITER 609 NEW BEST:: SOT 9839 SOS 3520 HAS SOPS 2986 HAS SOUS 3023 HAS SOUPS 2657 WITH SCORE 2660.52
AT ITER 610 NEW BEST:: SOT 9839 SOS 3519 HAS SOPS 2985 HAS SOUS 3022 HAS SOUPS 2656 WITH SCORE 2659.519
AT ITER 615 NEW BEST:: SOT 9839 SOS 3516 HAS SOPS 2985 HAS SOUS 3019 HAS SOUPS 2656 WITH SCORE 2659.516
AT ITER 617 NEW BEST:: SOT 9885 SOS 3641 HAS SOPS 3022 HAS SOUS 3040 HAS SOUPS 2651 WITH SCORE 2654.641
AT ITER 628 NEW BEST:: SOT 9873 SOS 3643 HAS SOPS 3024 HAS SOUS 3021 HAS SOUPS 2632 WITH SCORE 2635.643
AT ITER 641 NEW BEST:: SOT 9867 SOS 3625 HAS SOPS 3012 HAS SOUS 3015 HAS SOUPS 2626 WITH SCORE 2629.625
AT ITER 647 NEW BEST:: SOT 9862 SOS 3614 HAS SOPS 3001 HAS SOUS 3004 HAS SOUPS 2615 WITH SCORE 2618.614
AT ITER 648 NEW BEST:: SOT 9839 SOS 3561 HAS SOPS 2948 HAS SOUS 2981 HAS SOUPS 2592 WITH SCORE 2595.561
AT ITER 653 NEW BEST:: SOT 9837 SOS 3549 HAS SOPS 2936 HAS SOUS 2978 HAS SOUPS 2589 WITH SCORE 2592.549
AT ITER 666 NEW BEST:: SOT 9829 SOS 3541 HAS SOPS 2928 HAS SOUS 2970 HAS SOUPS 2581 WITH SCORE 2584.541
AT ITER 702 NEW BEST:: SOT 9770 SOS 3483 HAS SOPS 2870 HAS SOUS 2960 HAS SOUPS 2571 WITH SCORE 2574.483
AT ITER 710 NEW BEST:: SOT 9746 SOS 3436 HAS SOPS 2823 HAS SOUS 2912 HAS SOUPS 2523 WITH SCORE 2526.436
AT ITER 717 NEW BEST:: SOT 9745 SOS 3435 HAS SOPS 2821 HAS SOUS 2912 HAS SOUPS 2522 WITH SCORE 2525.435
AT ITER 727 NEW BEST:: SOT 9737 SOS 3426 HAS SOPS 2812 HAS SOUS 2907 HAS SOUPS 2517 WITH SCORE 2520.426
AT ITER 770 NEW BEST:: SOT 9735 SOS 3429 HAS SOPS 2810 HAS SOUS 2910 HAS SOUPS 2515 WITH SCORE 2518.429
AT ITER 777 NEW BEST:: SOT 9728 SOS 3410 HAS SOPS 2796 HAS SOUS 2891 HAS SOUPS 2501 WITH SCORE 2504.41
AT ITER 795 NEW BEST:: SOT 9728 SOS 3411 HAS SOPS 2796 HAS SOUS 2888 HAS SOUPS 2498 WITH SCORE 2501.411
AT ITER 799 NEW BEST:: SOT 9728 SOS 3408 HAS SOPS 2796 HAS SOUS 2888 HAS SOUPS 2498 WITH SCORE 2501.408
AT ITER 820 NEW BEST:: SOT 9680 SOS 3271 HAS SOPS 2672 HAS SOUS 2787 HAS SOUPS 2409 WITH SCORE 2412.271
AT ITER 847 NEW BEST:: SOT 9680 SOS 3268 HAS SOPS 2669 HAS SOUS 2784 HAS SOUPS 2406 WITH SCORE 2409.268
AT ITER 866 NEW BEST:: SOT 9680 SOS 3260 HAS SOPS 2661 HAS SOUS 2776 HAS SOUPS 2398 WITH SCORE 2401.26
AT ITER 882 NEW BEST:: SOT 9676 SOS 3254 HAS SOPS 2655 HAS SOUS 2772 HAS SOUPS 2394 WITH SCORE 2397.254
AT ITER 896 NEW BEST:: SOT 9679 SOS 3257 HAS SOPS 2641 HAS SOUS 2775 HAS SOUPS 2380 WITH SCORE 2383.257
AT ITER 912 NEW BEST:: SOT 9658 SOS 3218 HAS SOPS 2597 HAS SOUS 2736 HAS SOUPS 2336 WITH SCORE 2339.218
AT ITER 929 NEW BEST:: SOT 9658 SOS 3152 HAS SOPS 2531 HAS SOUS 2736 HAS SOUPS 2336 WITH SCORE 2339.152
AT ITER 939 NEW BEST:: SOT 9650 SOS 3137 HAS SOPS 2516 HAS SOUS 2729 HAS SOUPS 2329 WITH SCORE 2332.137
AT ITER 981 NEW BEST:: SOT 9556 SOS 3048 HAS SOPS 2448 HAS SOUS 2674 HAS SOUPS 2295 WITH SCORE 2298.048
AT ITER 997 NEW BEST:: SOT 9550 SOS 3042 HAS SOPS 2442 HAS SOUS 2670 HAS SOUPS 2291 WITH SCORE 2294.042
AT ITER 999 NEW BEST:: SOT 9517 SOS 2990 HAS SOPS 2390 HAS SOUS 2629 HAS SOUPS 2250 WITH SCORE 2252.99
AT ITER 1008 NEW BEST:: SOT 9516 SOS 2976 HAS SOPS 2388 HAS SOUS 2627 HAS SOUPS 2248 WITH SCORE 2250.976
AT ITER 1021 NEW BEST:: SOT 9530 SOS 2998 HAS SOPS 2377 HAS SOUS 2649 HAS SOUPS 2237 WITH SCORE 2239.998
AT ITER 1037 NEW BEST:: SOT 9530 SOS 2998 HAS SOPS 2376 HAS SOUS 2649 HAS SOUPS 2236 WITH SCORE 2238.998
AT ITER 1043 NEW BEST:: SOT 9524 SOS 2992 HAS SOPS 2363 HAS SOUS 2643 HAS SOUPS 2223 WITH SCORE 2225.992
AT ITER 1094 NEW BEST:: SOT 9526 SOS 2999 HAS SOPS 2362 HAS SOUS 2644 HAS SOUPS 2222 WITH SCORE 2224.999
AT ITER 1101 NEW BEST:: SOT 9524 SOS 2997 HAS SOPS 2358 HAS SOUS 2642 HAS SOUPS 2218 WITH SCORE 2220.997
AT ITER 1106 NEW BEST:: SOT 9557 SOS 3030 HAS SOPS 2350 HAS SOUS 2675 HAS SOUPS 2210 WITH SCORE 2213.03
AT ITER 1119 NEW BEST:: SOT 9546 SOS 2998 HAS SOPS 2340 HAS SOUS 2639 HAS SOUPS 2196 WITH SCORE 2198.998
AT ITER 1130 NEW BEST:: SOT 9532 SOS 2970 HAS SOPS 2326 HAS SOUS 2611 HAS SOUPS 2182 WITH SCORE 2184.97
AT ITER 1139 NEW BEST:: SOT 9529 SOS 2977 HAS SOPS 2323 HAS SOUS 2618 HAS SOUPS 2179 WITH SCORE 2181.977
AT ITER 1156 NEW BEST:: SOT 9493 SOS 2932 HAS SOPS 2321 HAS SOUS 2580 HAS SOUPS 2177 WITH SCORE 2179.932
AT ITER 1171 NEW BEST:: SOT 9541 SOS 2963 HAS SOPS 2352 HAS SOUS 2578 HAS SOUPS 2175 WITH SCORE 2177.963
AT ITER 1190 NEW BEST:: SOT 9538 SOS 2951 HAS SOPS 2352 HAS SOUS 2575 HAS SOUPS 2175 WITH SCORE 2177.951
AT ITER 1201 NEW BEST:: SOT 9534 SOS 2945 HAS SOPS 2346 HAS SOUS 2573 HAS SOUPS 2173 WITH SCORE 2175.945
AT ITER 1208 NEW BEST:: SOT 9522 SOS 2921 HAS SOPS 2322 HAS SOUS 2561 HAS SOUPS 2161 WITH SCORE 2163.921
AT ITER 1235 NEW BEST:: SOT 9514 SOS 2905 HAS SOPS 2306 HAS SOUS 2553 HAS SOUPS 2153 WITH SCORE 2155.905
AT ITER 1254 NEW BEST:: SOT 9478 SOS 2897 HAS SOPS 2298 HAS SOUS 2545 HAS SOUPS 2145 WITH SCORE 2147.897
AT ITER 1314 NEW BEST:: SOT 9476 SOS 2895 HAS SOPS 2296 HAS SOUS 2544 HAS SOUPS 2144 WITH SCORE 2146.895
AT ITER 1344 NEW BEST:: SOT 9476 SOS 2892 HAS SOPS 2293 HAS SOUS 2544 HAS SOUPS 2144 WITH SCORE 2146.892
AT ITER 1353 NEW BEST:: SOT 9474 SOS 2886 HAS SOPS 2285 HAS SOUS 2538 HAS SOUPS 2136 WITH SCORE 2138.886
AT ITER 1357 NEW BEST:: SOT 9470 SOS 2876 HAS SOPS 2281 HAS SOUS 2528 HAS SOUPS 2132 WITH SCORE 2134.876
AT ITER 1373 NEW BEST:: SOT 9490 SOS 2861 HAS SOPS 2235 HAS SOUS 2524 HAS SOUPS 2097 WITH SCORE 2099.861
AT ITER 1404 NEW BEST:: SOT 9490 SOS 2852 HAS SOPS 2226 HAS SOUS 2515 HAS SOUPS 2088 WITH SCORE 2090.852
AT ITER 1412 NEW BEST:: SOT 9450 SOS 2814 HAS SOPS 2226 HAS SOUS 2477 HAS SOUPS 2088 WITH SCORE 2090.814
AT ITER 1421 NEW BEST:: SOT 9450 SOS 2810 HAS SOPS 2222 HAS SOUS 2477 HAS SOUPS 2088 WITH SCORE 2090.81
AT ITER 1424 NEW BEST:: SOT 9450 SOS 2810 HAS SOPS 2221 HAS SOUS 2476 HAS SOUPS 2087 WITH SCORE 2089.81
AT ITER 1450 NEW BEST:: SOT 9450 SOS 2804 HAS SOPS 2215 HAS SOUS 2470 HAS SOUPS 2081 WITH SCORE 2083.804
AT ITER 1477 NEW BEST:: SOT 9450 SOS 2790 HAS SOPS 2215 HAS SOUS 2470 HAS SOUPS 2081 WITH SCORE 2083.79
AT ITER 1496 NEW BEST:: SOT 9450 SOS 2784 HAS SOPS 2209 HAS SOUS 2467 HAS SOUPS 2078 WITH SCORE 2080.784
AT ITER 1505 NEW BEST:: SOT 9450 SOS 2776 HAS SOPS 2209 HAS SOUS 2464 HAS SOUPS 2078 WITH SCORE 2080.776
AT ITER 1516 NEW BEST:: SOT 9448 SOS 2774 HAS SOPS 2207 HAS SOUS 2462 HAS SOUPS 2076 WITH SCORE 2078.774
AT ITER 1522 NEW BEST:: SOT 9443 SOS 2769 HAS SOPS 2202 HAS SOUS 2457 HAS SOUPS 2071 WITH SCORE 2073.769
AT ITER 1530 NEW BEST:: SOT 9440 SOS 2784 HAS SOPS 2187 HAS SOUS 2442 HAS SOUPS 2056 WITH SCORE 2058.784
AT ITER 1549 NEW BEST:: SOT 9446 SOS 2776 HAS SOPS 2179 HAS SOUS 2438 HAS SOUPS 2052 WITH SCORE 2054.776
AT ITER 1599 NEW BEST:: SOT 9445 SOS 2775 HAS SOPS 2178 HAS SOUS 2437 HAS SOUPS 2051 WITH SCORE 2053.775
AT ITER 1604 NEW BEST:: SOT 9443 SOS 2774 HAS SOPS 2177 HAS SOUS 2435 HAS SOUPS 2049 WITH SCORE 2051.774
AT ITER 1637 NEW BEST:: SOT 9444 SOS 2773 HAS SOPS 2177 HAS SOUS 2431 HAS SOUPS 2049 WITH SCORE 2051.773
AT ITER 1689 NEW BEST:: SOT 9444 SOS 2772 HAS SOPS 2176 HAS SOUS 2430 HAS SOUPS 2048 WITH SCORE 2050.772
AT ITER 1695 NEW BEST:: SOT 9433 SOS 2761 HAS SOPS 2172 HAS SOUS 2419 HAS SOUPS 2044 WITH SCORE 2046.761
AT ITER 1730 NEW BEST:: SOT 9424 SOS 2752 HAS SOPS 2163 HAS SOUS 2417 HAS SOUPS 2042 WITH SCORE 2044.752
AT ITER 1781 NEW BEST:: SOT 9422 SOS 2750 HAS SOPS 2159 HAS SOUS 2415 HAS SOUPS 2038 WITH SCORE 2040.75
AT ITER 1790 NEW BEST:: SOT 9428 SOS 2782 HAS SOPS 2158 HAS SOUS 2429 HAS SOUPS 2037 WITH SCORE 2039.782
AT ITER 1853 NEW BEST:: SOT 9427 SOS 2781 HAS SOPS 2157 HAS SOUS 2428 HAS SOUPS 2036 WITH SCORE 2038.781
AT ITER 1926 NEW BEST:: SOT 9431 SOS 2795 HAS SOPS 2145 HAS SOUS 2442 HAS SOUPS 2024 WITH SCORE 2026.795
AT ITER 1932 NEW BEST:: SOT 9431 SOS 2778 HAS SOPS 2145 HAS SOUS 2425 HAS SOUPS 2024 WITH SCORE 2026.778
AT ITER 1950 NEW BEST:: SOT 9426 SOS 2775 HAS SOPS 2135 HAS SOUS 2415 HAS SOUPS 2014 WITH SCORE 2016.775
AT ITER 1963 NEW BEST:: SOT 9415 SOS 2767 HAS SOPS 2127 HAS SOUS 2406 HAS SOUPS 2005 WITH SCORE 2007.767
AT ITER 1977 NEW BEST:: SOT 9413 SOS 2759 HAS SOPS 2121 HAS SOUS 2400 HAS SOUPS 2001 WITH SCORE 2003.759
AT ITER 1993 NEW BEST:: SOT 9422 SOS 2753 HAS SOPS 2134 HAS SOUS 2398 HAS SOUPS 1999 WITH SCORE 2001.753
AT ITER 2038 NEW BEST:: SOT 9381 SOS 2707 HAS SOPS 2126 HAS SOUS 2352 HAS SOUPS 1991 WITH SCORE 1993.707
AT ITER 2049 NEW BEST:: SOT 9373 SOS 2699 HAS SOPS 2126 HAS SOUS 2344 HAS SOUPS 1991 WITH SCORE 1993.699
AT ITER 2053 NEW BEST:: SOT 9371 SOS 2694 HAS SOPS 2124 HAS SOUS 2342 HAS SOUPS 1990 WITH SCORE 1992.694
AT ITER 2055 NEW BEST:: SOT 9371 SOS 2688 HAS SOPS 2124 HAS SOUS 2336 HAS SOUPS 1990 WITH SCORE 1992.688
AT ITER 2062 NEW BEST:: SOT 9370 SOS 2684 HAS SOPS 2120 HAS SOUS 2333 HAS SOUPS 1987 WITH SCORE 1989.684
AT ITER 2136 NEW BEST:: SOT 9366 SOS 2679 HAS SOPS 2119 HAS SOUS 2328 HAS SOUPS 1986 WITH SCORE 1988.679
AT ITER 2151 NEW BEST:: SOT 9394 SOS 2767 HAS SOPS 2117 HAS SOUS 2356 HAS SOUPS 1984 WITH SCORE 1986.767
AT ITER 2209 NEW BEST:: SOT 9393 SOS 2765 HAS SOPS 2115 HAS SOUS 2355 HAS SOUPS 1983 WITH SCORE 1985.765
AT ITER 2347 NEW BEST:: SOT 9377 SOS 2757 HAS SOPS 2083 HAS SOUS 2339 HAS SOUPS 1967 WITH SCORE 1969.757
AT ITER 2371 NEW BEST:: SOT 9378 SOS 2753 HAS SOPS 2079 HAS SOUS 2335 HAS SOUPS 1963 WITH SCORE 1965.753
AT ITER 2395 NEW BEST:: SOT 9380 SOS 2762 HAS SOPS 2075 HAS SOUS 2331 HAS SOUPS 1959 WITH SCORE 1961.762
AT ITER 2405 NEW BEST:: SOT 9380 SOS 2759 HAS SOPS 2072 HAS SOUS 2328 HAS SOUPS 1956 WITH SCORE 1958.759
AT ITER 2414 NEW BEST:: SOT 9374 SOS 2758 HAS SOPS 2071 HAS SOUS 2327 HAS SOUPS 1955 WITH SCORE 1957.758
AT ITER 2504 NEW BEST:: SOT 9375 SOS 2757 HAS SOPS 2070 HAS SOUS 2326 HAS SOUPS 1954 WITH SCORE 1956.757
AT ITER 2507 NEW BEST:: SOT 9373 SOS 2755 HAS SOPS 2070 HAS SOUS 2324 HAS SOUPS 1954 WITH SCORE 1956.755
AT ITER 2518 NEW BEST:: SOT 9387 SOS 2718 HAS SOPS 2049 HAS SOUS 2311 HAS SOUPS 1941 WITH SCORE 1943.718
AT ITER 2528 NEW BEST:: SOT 9390 SOS 2717 HAS SOPS 2048 HAS SOUS 2310 HAS SOUPS 1940 WITH SCORE 1942.717
AT ITER 2535 NEW BEST:: SOT 9380 SOS 2706 HAS SOPS 2037 HAS SOUS 2299 HAS SOUPS 1929 WITH SCORE 1931.706
AT ITER 2563 NEW BEST:: SOT 9377 SOS 2703 HAS SOPS 2034 HAS SOUS 2297 HAS SOUPS 1927 WITH SCORE 1929.703
AT ITER 2604 NEW BEST:: SOT 9376 SOS 2702 HAS SOPS 2032 HAS SOUS 2297 HAS SOUPS 1926 WITH SCORE 1928.702
AT ITER 2630 NEW BEST:: SOT 9373 SOS 2701 HAS SOPS 2031 HAS SOUS 2296 HAS SOUPS 1925 WITH SCORE 1927.701
AT ITER 2649 NEW BEST:: SOT 9402 SOS 2712 HAS SOPS 2030 HAS SOUS 2307 HAS SOUPS 1924 WITH SCORE 1926.712
AT ITER 2675 NEW BEST:: SOT 9400 SOS 2710 HAS SOPS 2026 HAS SOUS 2305 HAS SOUPS 1920 WITH SCORE 1922.71
AT ITER 2724 NEW BEST:: SOT 9400 SOS 2709 HAS SOPS 2026 HAS SOUS 2305 HAS SOUPS 1920 WITH SCORE 1922.709
AT ITER 2757 NEW BEST:: SOT 9400 SOS 2702 HAS SOPS 2019 HAS SOUS 2305 HAS SOUPS 1920 WITH SCORE 1922.702
AT ITER 2812 NEW BEST:: SOT 9400 SOS 2685 HAS SOPS 2019 HAS SOUS 2305 HAS SOUPS 1920 WITH SCORE 1922.685
AT ITER 2837 NEW BEST:: SOT 9400 SOS 2680 HAS SOPS 2019 HAS SOUS 2300 HAS SOUPS 1920 WITH SCORE 1922.68
AT ITER 2864 NEW BEST:: SOT 9393 SOS 2679 HAS SOPS 2018 HAS SOUS 2300 HAS SOUPS 1920 WITH SCORE 1922.679
AT ITER 2874 NEW BEST:: SOT 9393 SOS 2679 HAS SOPS 2015 HAS SOUS 2300 HAS SOUPS 1917 WITH SCORE 1919.679
AT ITER 2889 NEW BEST:: SOT 9392 SOS 2677 HAS SOPS 2013 HAS SOUS 2299 HAS SOUPS 1916 WITH SCORE 1918.677
AT ITER 2897 NEW BEST:: SOT 9392 SOS 2652 HAS SOPS 2013 HAS SOUS 2274 HAS SOUPS 1916 WITH SCORE 1918.652
AT ITER 2925 NEW BEST:: SOT 9395 SOS 2660 HAS SOPS 2021 HAS SOUS 2271 HAS SOUPS 1913 WITH SCORE 1915.66
AT ITER 2958 NEW BEST:: SOT 9388 SOS 2644 HAS SOPS 2005 HAS SOUS 2267 HAS SOUPS 1909 WITH SCORE 1911.644
AT ITER 3037 NEW BEST:: SOT 9388 SOS 2647 HAS SOPS 1999 HAS SOUS 2261 HAS SOUPS 1903 WITH SCORE 1905.647
AT ITER 3079 NEW BEST:: SOT 9390 SOS 2650 HAS SOPS 2002 HAS SOUS 2260 HAS SOUPS 1902 WITH SCORE 1904.65
AT ITER 3108 NEW BEST:: SOT 9390 SOS 2649 HAS SOPS 2002 HAS SOUS 2259 HAS SOUPS 1902 WITH SCORE 1904.649
AT ITER 3128 NEW BEST:: SOT 9344 SOS 2561 HAS SOPS 2002 HAS SOUS 2213 HAS SOUPS 1902 WITH SCORE 1904.561
AT ITER 3178 NEW BEST:: SOT 9345 SOS 2556 HAS SOPS 2002 HAS SOUS 2212 HAS SOUPS 1901 WITH SCORE 1903.556
AT ITER 3263 NEW BEST:: SOT 9344 SOS 2555 HAS SOPS 2001 HAS SOUS 2211 HAS SOUPS 1900 WITH SCORE 1902.555
AT ITER 3288 NEW BEST:: SOT 9363 SOS 2555 HAS SOPS 2001 HAS SOUS 2207 HAS SOUPS 1896 WITH SCORE 1898.555
AT ITER 3308 NEW BEST:: SOT 9367 SOS 2547 HAS SOPS 2005 HAS SOUS 2207 HAS SOUPS 1896 WITH SCORE 1898.547
AT ITER 3313 NEW BEST:: SOT 9366 SOS 2554 HAS SOPS 2004 HAS SOUS 2214 HAS SOUPS 1895 WITH SCORE 1897.554
AT ITER 3315 NEW BEST:: SOT 9361 SOS 2552 HAS SOPS 2002 HAS SOUS 2212 HAS SOUPS 1893 WITH SCORE 1895.552
AT ITER 3319 NEW BEST:: SOT 9346 SOS 2522 HAS SOPS 2002 HAS SOUS 2183 HAS SOUPS 1893 WITH SCORE 1895.522
AT ITER 3434 NEW BEST:: SOT 9345 SOS 2520 HAS SOPS 2002 HAS SOUS 2181 HAS SOUPS 1893 WITH SCORE 1895.52
AT ITER 3540 NEW BEST:: SOT 9336 SOS 2519 HAS SOPS 2001 HAS SOUS 2180 HAS SOUPS 1892 WITH SCORE 1894.519
AT ITER 3639 NEW BEST:: SOT 9343 SOS 2547 HAS SOPS 2002 HAS SOUS 2181 HAS SOUPS 1884 WITH SCORE 1886.547
AT ITER 3702 NEW BEST:: SOT 9345 SOS 2537 HAS SOPS 1992 HAS SOUS 2179 HAS SOUPS 1882 WITH SCORE 1884.537
AT ITER 3824 NEW BEST:: SOT 9346 SOS 2538 HAS SOPS 1989 HAS SOUS 2180 HAS SOUPS 1879 WITH SCORE 1881.538
AT ITER 3842 NEW BEST:: SOT 9342 SOS 2530 HAS SOPS 1981 HAS SOUS 2178 HAS SOUPS 1877 WITH SCORE 1879.53
AT ITER 4113 NEW BEST:: SOT 9334 SOS 2497 HAS SOPS 1980 HAS SOUS 2166 HAS SOUPS 1873 WITH SCORE 1875.497
AT ITER 4191 NEW BEST:: SOT 9381 SOS 2546 HAS SOPS 1968 HAS SOUS 2215 HAS SOUPS 1861 WITH SCORE 1863.546
AT ITER 4269 NEW BEST:: SOT 9381 SOS 2543 HAS SOPS 1968 HAS SOUS 2212 HAS SOUPS 1861 WITH SCORE 1863.543
AT ITER 4355 NEW BEST:: SOT 9362 SOS 2524 HAS SOPS 1968 HAS SOUS 2193 HAS SOUPS 1861 WITH SCORE 1863.524
AT ITER 4358 NEW BEST:: SOT 9363 SOS 2519 HAS SOPS 1963 HAS SOUS 2188 HAS SOUPS 1856 WITH SCORE 1858.519
AT ITER 4389 NEW BEST:: SOT 9379 SOS 2531 HAS SOPS 1975 HAS SOUS 2184 HAS SOUPS 1852 WITH SCORE 1854.531
AT ITER 4391 NEW BEST:: SOT 9378 SOS 2532 HAS SOPS 1973 HAS SOUS 2185 HAS SOUPS 1850 WITH SCORE 1852.532
AT ITER 4431 NEW BEST:: SOT 9379 SOS 2515 HAS SOPS 1969 HAS SOUS 2180 HAS SOUPS 1845 WITH SCORE 1847.515
AT ITER 4476 NEW BEST:: SOT 9379 SOS 2513 HAS SOPS 1969 HAS SOUS 2178 HAS SOUPS 1845 WITH SCORE 1847.513
AT ITER 4510 NEW BEST:: SOT 9390 SOS 2526 HAS SOPS 1968 HAS SOUS 2177 HAS SOUPS 1844 WITH SCORE 1846.526
AT ITER 4511 NEW BEST:: SOT 9391 SOS 2525 HAS SOPS 1968 HAS SOUS 2176 HAS SOUPS 1844 WITH SCORE 1846.525
AT ITER 4521 NEW BEST:: SOT 9391 SOS 2521 HAS SOPS 1968 HAS SOUS 2172 HAS SOUPS 1844 WITH SCORE 1846.521
AT ITER 4594 NEW BEST:: SOT 9395 SOS 2516 HAS SOPS 1963 HAS SOUS 2165 HAS SOUPS 1837 WITH SCORE 1839.516
AT ITER 4595 NEW BEST:: SOT 9389 SOS 2504 HAS SOPS 1951 HAS SOUS 2162 HAS SOUPS 1834 WITH SCORE 1836.504
AT ITER 4672 NEW BEST:: SOT 9389 SOS 2523 HAS SOPS 1940 HAS SOUS 2181 HAS SOUPS 1823 WITH SCORE 1825.523
AT ITER 4847 NEW BEST:: SOT 9388 SOS 2521 HAS SOPS 1938 HAS SOUS 2179 HAS SOUPS 1821 WITH SCORE 1823.521
AT ITER 4872 NEW BEST:: SOT 9385 SOS 2515 HAS SOPS 1932 HAS SOUS 2176 HAS SOUPS 1818 WITH SCORE 1820.515
AT ITER 4892 NEW BEST:: SOT 9385 SOS 2518 HAS SOPS 1931 HAS SOUS 2176 HAS SOUPS 1817 WITH SCORE 1819.518
AT ITER 4894 NEW BEST:: SOT 9385 SOS 2505 HAS SOPS 1931 HAS SOUS 2163 HAS SOUPS 1817 WITH SCORE 1819.505
AT ITER 4906 NEW BEST:: SOT 9374 SOS 2489 HAS SOPS 1930 HAS SOUS 2162 HAS SOUPS 1816 WITH SCORE 1818.489
AT ITER 4944 NEW BEST:: SOT 9374 SOS 2485 HAS SOPS 1930 HAS SOUS 2158 HAS SOUPS 1816 WITH SCORE 1818.485
AT ITER 5020 NEW BEST:: SOT 9380 SOS 2494 HAS SOPS 1936 HAS SOUS 2160 HAS SOUPS 1815 WITH SCORE 1817.494
AT ITER 5107 NEW BEST:: SOT 9380 SOS 2490 HAS SOPS 1932 HAS SOUS 2156 HAS SOUPS 1811 WITH SCORE 1813.49
AT ITER 5120 NEW BEST:: SOT 9390 SOS 2486 HAS SOPS 1928 HAS SOUS 2152 HAS SOUPS 1807 WITH SCORE 1809.486
AT ITER 5183 NEW BEST:: SOT 9353 SOS 2421 HAS SOPS 1928 HAS SOUS 2114 HAS SOUPS 1807 WITH SCORE 1809.421
AT ITER 5328 NEW BEST:: SOT 9353 SOS 2420 HAS SOPS 1927 HAS SOUS 2113 HAS SOUPS 1806 WITH SCORE 1808.42
AT ITER 5395 NEW BEST:: SOT 9350 SOS 2417 HAS SOPS 1924 HAS SOUS 2113 HAS SOUPS 1806 WITH SCORE 1808.417
AT ITER 5501 NEW BEST:: SOT 9349 SOS 2416 HAS SOPS 1923 HAS SOUS 2113 HAS SOUPS 1806 WITH SCORE 1808.416
AT ITER 5542 NEW BEST:: SOT 9349 SOS 2416 HAS SOPS 1923 HAS SOUS 2111 HAS SOUPS 1804 WITH SCORE 1806.416
AT ITER 5548 NEW BEST:: SOT 9346 SOS 2414 HAS SOPS 1921 HAS SOUS 2109 HAS SOUPS 1802 WITH SCORE 1804.414
AT ITER 5701 NEW BEST:: SOT 9346 SOS 2410 HAS SOPS 1917 HAS SOUS 2107 HAS SOUPS 1800 WITH SCORE 1802.41
AT ITER 5716 NEW BEST:: SOT 9346 SOS 2408 HAS SOPS 1917 HAS SOUS 2105 HAS SOUPS 1800 WITH SCORE 1802.408
AT ITER 5746 NEW BEST:: SOT 9346 SOS 2406 HAS SOPS 1917 HAS SOUS 2105 HAS SOUPS 1800 WITH SCORE 1802.406
AT ITER 5748 NEW BEST:: SOT 9347 SOS 2403 HAS SOPS 1914 HAS SOUS 2102 HAS SOUPS 1797 WITH SCORE 1799.403
AT ITER 5977 NEW BEST:: SOT 9345 SOS 2401 HAS SOPS 1912 HAS SOUS 2102 HAS SOUPS 1797 WITH SCORE 1799.401
AT ITER 5993 NEW BEST:: SOT 9340 SOS 2394 HAS SOPS 1905 HAS SOUS 2095 HAS SOUPS 1790 WITH SCORE 1792.394
AT ITER 6059 NEW BEST:: SOT 9336 SOS 2388 HAS SOPS 1899 HAS SOUS 2093 HAS SOUPS 1788 WITH SCORE 1790.388
AT ITER 6166 NEW BEST:: SOT 9335 SOS 2385 HAS SOPS 1897 HAS SOUS 2092 HAS SOUPS 1787 WITH SCORE 1789.385
AT ITER 6209 NEW BEST:: SOT 9321 SOS 2371 HAS SOPS 1897 HAS SOUS 2078 HAS SOUPS 1787 WITH SCORE 1789.371
AT ITER 6214 NEW BEST:: SOT 9312 SOS 2370 HAS SOPS 1892 HAS SOUS 2074 HAS SOUPS 1783 WITH SCORE 1785.37
AT ITER 6228 NEW BEST:: SOT 9312 SOS 2369 HAS SOPS 1892 HAS SOUS 2073 HAS SOUPS 1783 WITH SCORE 1785.369
AT ITER 6363 NEW BEST:: SOT 9312 SOS 2362 HAS SOPS 1892 HAS SOUS 2067 HAS SOUPS 1783 WITH SCORE 1785.362
AT ITER 6424 NEW BEST:: SOT 9310 SOS 2356 HAS SOPS 1888 HAS SOUS 2063 HAS SOUPS 1781 WITH SCORE 1783.356
AT ITER 6462 NEW BEST:: SOT 9310 SOS 2338 HAS SOPS 1888 HAS SOUS 2045 HAS SOUPS 1781 WITH SCORE 1783.338
AT ITER 6559 NEW BEST:: SOT 9310 SOS 2335 HAS SOPS 1888 HAS SOUS 2042 HAS SOUPS 1781 WITH SCORE 1783.335
AT ITER 6666 NEW BEST:: SOT 9311 SOS 2315 HAS SOPS 1873 HAS SOUS 2037 HAS SOUPS 1776 WITH SCORE 1778.315
AT ITER 6908 NEW BEST:: SOT 9311 SOS 2311 HAS SOPS 1873 HAS SOUS 2033 HAS SOUPS 1776 WITH SCORE 1778.311
AT ITER 6996 NEW BEST:: SOT 9302 SOS 2299 HAS SOPS 1871 HAS SOUS 2031 HAS SOUPS 1774 WITH SCORE 1776.299
AT ITER 7265 NEW BEST:: SOT 9297 SOS 2284 HAS SOPS 1871 HAS SOUS 2026 HAS SOUPS 1774 WITH SCORE 1776.284
AT ITER 7371 NEW BEST:: SOT 9305 SOS 2280 HAS SOPS 1867 HAS SOUS 2022 HAS SOUPS 1770 WITH SCORE 1772.28
AT ITER 7393 NEW BEST:: SOT 9294 SOS 2258 HAS SOPS 1867 HAS SOUS 2008 HAS SOUPS 1770 WITH SCORE 1772.258
AT ITER 7440 NEW BEST:: SOT 9290 SOS 2257 HAS SOPS 1866 HAS SOUS 2005 HAS SOUPS 1767 WITH SCORE 1769.257
AT ITER 7532 NEW BEST:: SOT 9289 SOS 2253 HAS SOPS 1862 HAS SOUS 2002 HAS SOUPS 1764 WITH SCORE 1766.253
AT ITER 7560 NEW BEST:: SOT 9288 SOS 2252 HAS SOPS 1861 HAS SOUS 2001 HAS SOUPS 1763 WITH SCORE 1765.252
AT ITER 7595 NEW BEST:: SOT 9306 SOS 2250 HAS SOPS 1859 HAS SOUS 1999 HAS SOUPS 1761 WITH SCORE 1763.25
AT ITER 7643 NEW BEST:: SOT 9302 SOS 2242 HAS SOPS 1855 HAS SOUS 1995 HAS SOUPS 1757 WITH SCORE 1759.242
AT ITER 7749 NEW BEST:: SOT 9302 SOS 2238 HAS SOPS 1851 HAS SOUS 1994 HAS SOUPS 1756 WITH SCORE 1758.238
AT ITER 7762 NEW BEST:: SOT 9293 SOS 2233 HAS SOPS 1851 HAS SOUS 1989 HAS SOUPS 1756 WITH SCORE 1758.233
AT ITER 7900 NEW BEST:: SOT 9292 SOS 2231 HAS SOPS 1851 HAS SOUS 1988 HAS SOUPS 1756 WITH SCORE 1758.231
AT ITER 7969 NEW BEST:: SOT 9292 SOS 2231 HAS SOPS 1851 HAS SOUS 1987 HAS SOUPS 1755 WITH SCORE 1757.231
AT ITER 8001 NEW BEST:: SOT 9290 SOS 2219 HAS SOPS 1841 HAS SOUS 1983 HAS SOUPS 1751 WITH SCORE 1753.219
AT ITER 8174 NEW BEST:: SOT 9290 SOS 2217 HAS SOPS 1839 HAS SOUS 1982 HAS SOUPS 1750 WITH SCORE 1752.217
AT ITER 8363 NEW BEST:: SOT 9290 SOS 2216 HAS SOPS 1838 HAS SOUS 1981 HAS SOUPS 1749 WITH SCORE 1751.216
AT ITER 8447 NEW BEST:: SOT 9289 SOS 2214 HAS SOPS 1837 HAS SOUS 1980 HAS SOUPS 1748 WITH SCORE 1750.214
AT ITER 8476 NEW BEST:: SOT 9289 SOS 2210 HAS SOPS 1833 HAS SOUS 1980 HAS SOUPS 1748 WITH SCORE 1750.21
AT ITER 8585 NEW BEST:: SOT 9285 SOS 2206 HAS SOPS 1833 HAS SOUS 1976 HAS SOUPS 1748 WITH SCORE 1750.206
AT ITER 8656 NEW BEST:: SOT 9286 SOS 2213 HAS SOPS 1831 HAS SOUS 1977 HAS SOUPS 1746 WITH SCORE 1748.213
AT ITER 8759 NEW BEST:: SOT 9284 SOS 2211 HAS SOPS 1831 HAS SOUS 1975 HAS SOUPS 1746 WITH SCORE 1748.211
AT ITER 8980 NEW BEST:: SOT 9283 SOS 2207 HAS SOPS 1828 HAS SOUS 1973 HAS SOUPS 1744 WITH SCORE 1746.207
AT ITER 9033 NEW BEST:: SOT 9283 SOS 2204 HAS SOPS 1825 HAS SOUS 1972 HAS SOUPS 1743 WITH SCORE 1745.204
AT ITER 9306 NEW BEST:: SOT 9269 SOS 2191 HAS SOPS 1825 HAS SOUS 1959 HAS SOUPS 1743 WITH SCORE 1745.191
AT ITER 9605 NEW BEST:: SOT 9269 SOS 2189 HAS SOPS 1823 HAS SOUS 1957 HAS SOUPS 1741 WITH SCORE 1743.189
AT ITER 9658 NEW BEST:: SOT 9275 SOS 2191 HAS SOPS 1825 HAS SOUS 1956 HAS SOUPS 1740 WITH SCORE 1742.191
AT ITER 9816 NEW BEST:: SOT 9273 SOS 2186 HAS SOPS 1820 HAS SOUS 1953 HAS SOUPS 1737 WITH SCORE 1739.186
AT ITER 9868 NEW BEST:: SOT 9273 SOS 2185 HAS SOPS 1819 HAS SOUS 1952 HAS SOUPS 1736 WITH SCORE 1738.185
STATE_SPACE STATES 68179969 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 33 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 1286180209 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678735527092

--------------------
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:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.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

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="AutoFlight-PT-05a"
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 AutoFlight-PT-05a, 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 r011-oct2-167813600200440"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/AutoFlight-PT-05a.tgz
mv AutoFlight-PT-05a execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;