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-167903712000600.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 ShieldPPPt-PT-005A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r387-oct2-167903712000600
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 456K
-rw-r--r-- 1 mcc users 6.3K Feb 25 21:06 CTLCardinality.txt
-rw-r--r-- 1 mcc users 63K Feb 25 21:06 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.8K Feb 25 21:03 CTLFireability.txt
-rw-r--r-- 1 mcc users 42K Feb 25 21:03 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 17:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 17:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 17:00 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.8K Feb 25 21:08 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 106K Feb 25 21:08 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.6K Feb 25 21:07 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 77K Feb 25 21:07 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:00 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:00 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 33K 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 1679067702869

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=ShieldPPPt-PT-005A
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPt (PT), instance 005A
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: 128 places, 93 transitions, 366 arcs.
AT ITER 0 NEW BEST:: SOT 9765 SOS 8121 HAS SOPS 8121 HAS SOUS 6648 HAS SOUPS 6648 WITH SCORE 6656.121
AT ITER 2 NEW BEST:: SOT 9656 SOS 8041 HAS SOPS 8041 HAS SOUS 6608 HAS SOUPS 6608 WITH SCORE 6616.041
AT ITER 8 NEW BEST:: SOT 9611 SOS 8034 HAS SOPS 8034 HAS SOUS 6602 HAS SOUPS 6602 WITH SCORE 6610.034
AT ITER 10 NEW BEST:: SOT 9611 SOS 7968 HAS SOPS 7968 HAS SOUS 6591 HAS SOUPS 6591 WITH SCORE 6598.968
AT ITER 14 NEW BEST:: SOT 9553 SOS 7921 HAS SOPS 7921 HAS SOUS 6531 HAS SOUPS 6531 WITH SCORE 6538.921
AT ITER 18 NEW BEST:: SOT 9396 SOS 7596 HAS SOPS 7596 HAS SOUS 6270 HAS SOUPS 6270 WITH SCORE 6277.596
AT ITER 19 NEW BEST:: SOT 9395 SOS 7593 HAS SOPS 7593 HAS SOUS 6270 HAS SOUPS 6270 WITH SCORE 6277.593
AT ITER 20 NEW BEST:: SOT 9348 SOS 7356 HAS SOPS 7356 HAS SOUS 6156 HAS SOUPS 6156 WITH SCORE 6163.356
AT ITER 21 NEW BEST:: SOT 9248 SOS 7255 HAS SOPS 7255 HAS SOUS 6055 HAS SOUPS 6055 WITH SCORE 6062.255
AT ITER 22 NEW BEST:: SOT 9182 SOS 7189 HAS SOPS 7189 HAS SOUS 5988 HAS SOUPS 5988 WITH SCORE 5995.189
AT ITER 23 NEW BEST:: SOT 9182 SOS 7112 HAS SOPS 7112 HAS SOUS 5986 HAS SOUPS 5986 WITH SCORE 5993.112
AT ITER 25 NEW BEST:: SOT 9144 SOS 7074 HAS SOPS 7074 HAS SOUS 5966 HAS SOUPS 5966 WITH SCORE 5973.074
AT ITER 28 NEW BEST:: SOT 9144 SOS 7025 HAS SOPS 7025 HAS SOUS 5945 HAS SOUPS 5945 WITH SCORE 5952.025
AT ITER 29 NEW BEST:: SOT 9098 SOS 7022 HAS SOPS 7022 HAS SOUS 5940 HAS SOUPS 5940 WITH SCORE 5947.022
AT ITER 33 NEW BEST:: SOT 9098 SOS 7014 HAS SOPS 7014 HAS SOUS 5940 HAS SOUPS 5940 WITH SCORE 5947.014
AT ITER 35 NEW BEST:: SOT 8969 SOS 6764 HAS SOPS 6764 HAS SOUS 5732 HAS SOUPS 5732 WITH SCORE 5738.764
AT ITER 38 NEW BEST:: SOT 8861 SOS 6512 HAS SOPS 6512 HAS SOUS 5575 HAS SOUPS 5575 WITH SCORE 5581.512
AT ITER 40 NEW BEST:: SOT 8860 SOS 6487 HAS SOPS 6487 HAS SOUS 5542 HAS SOUPS 5542 WITH SCORE 5548.487
AT ITER 41 NEW BEST:: SOT 8762 SOS 6422 HAS SOPS 6422 HAS SOUS 5457 HAS SOUPS 5457 WITH SCORE 5463.422
AT ITER 42 NEW BEST:: SOT 8730 SOS 6386 HAS SOPS 6386 HAS SOUS 5409 HAS SOUPS 5409 WITH SCORE 5415.386
AT ITER 45 NEW BEST:: SOT 8760 SOS 6339 HAS SOPS 6339 HAS SOUS 5398 HAS SOUPS 5398 WITH SCORE 5404.339
AT ITER 47 NEW BEST:: SOT 8738 SOS 6232 HAS SOPS 6232 HAS SOUS 5385 HAS SOUPS 5385 WITH SCORE 5391.232
AT ITER 51 NEW BEST:: SOT 8738 SOS 6232 HAS SOPS 6232 HAS SOUS 5381 HAS SOUPS 5381 WITH SCORE 5387.232
AT ITER 55 NEW BEST:: SOT 8738 SOS 6090 HAS SOPS 6090 HAS SOUS 5363 HAS SOUPS 5363 WITH SCORE 5369.09
AT ITER 56 NEW BEST:: SOT 8738 SOS 6058 HAS SOPS 6058 HAS SOUS 5331 HAS SOUPS 5331 WITH SCORE 5337.058
AT ITER 57 NEW BEST:: SOT 8624 SOS 5944 HAS SOPS 5944 HAS SOUS 5226 HAS SOUPS 5226 WITH SCORE 5231.944
AT ITER 64 NEW BEST:: SOT 8596 SOS 5874 HAS SOPS 5874 HAS SOUS 5156 HAS SOUPS 5156 WITH SCORE 5161.874
AT ITER 65 NEW BEST:: SOT 8579 SOS 5857 HAS SOPS 5857 HAS SOUS 5137 HAS SOUPS 5137 WITH SCORE 5142.857
AT ITER 68 NEW BEST:: SOT 8554 SOS 5832 HAS SOPS 5832 HAS SOUS 5111 HAS SOUPS 5111 WITH SCORE 5116.832
AT ITER 69 NEW BEST:: SOT 8551 SOS 5829 HAS SOPS 5829 HAS SOUS 5108 HAS SOUPS 5108 WITH SCORE 5113.829
AT ITER 70 NEW BEST:: SOT 8511 SOS 5789 HAS SOPS 5789 HAS SOUS 5067 HAS SOUPS 5067 WITH SCORE 5072.789
AT ITER 71 NEW BEST:: SOT 8427 SOS 5705 HAS SOPS 5705 HAS SOUS 5008 HAS SOUPS 5008 WITH SCORE 5013.705
AT ITER 79 NEW BEST:: SOT 8526 SOS 5617 HAS SOPS 5617 HAS SOUS 4988 HAS SOUPS 4988 WITH SCORE 4993.617
AT ITER 81 NEW BEST:: SOT 8524 SOS 5583 HAS SOPS 5583 HAS SOUS 4954 HAS SOUPS 4954 WITH SCORE 4959.583
AT ITER 89 NEW BEST:: SOT 8485 SOS 5540 HAS SOPS 5540 HAS SOUS 4911 HAS SOUPS 4911 WITH SCORE 4916.54
AT ITER 95 NEW BEST:: SOT 8488 SOS 5457 HAS SOPS 5457 HAS SOUS 4894 HAS SOUPS 4894 WITH SCORE 4899.457
AT ITER 96 NEW BEST:: SOT 8468 SOS 5428 HAS SOPS 5428 HAS SOUS 4874 HAS SOUPS 4874 WITH SCORE 4879.428
AT ITER 100 NEW BEST:: SOT 8458 SOS 5392 HAS SOPS 5392 HAS SOUS 4838 HAS SOUPS 4838 WITH SCORE 4843.392
AT ITER 105 NEW BEST:: SOT 8440 SOS 5374 HAS SOPS 5374 HAS SOUS 4820 HAS SOUPS 4820 WITH SCORE 4825.374
AT ITER 117 NEW BEST:: SOT 8440 SOS 5283 HAS SOPS 5283 HAS SOUS 4772 HAS SOUPS 4772 WITH SCORE 4777.283
AT ITER 120 NEW BEST:: SOT 8440 SOS 5229 HAS SOPS 5229 HAS SOUS 4744 HAS SOUPS 4744 WITH SCORE 4749.229
AT ITER 122 NEW BEST:: SOT 8426 SOS 5230 HAS SOPS 5230 HAS SOUS 4731 HAS SOUPS 4731 WITH SCORE 4736.23
AT ITER 123 NEW BEST:: SOT 8422 SOS 5224 HAS SOPS 5224 HAS SOUS 4725 HAS SOUPS 4725 WITH SCORE 4730.224
AT ITER 124 NEW BEST:: SOT 8391 SOS 5180 HAS SOPS 5180 HAS SOUS 4681 HAS SOUPS 4681 WITH SCORE 4686.18
AT ITER 127 NEW BEST:: SOT 8380 SOS 5172 HAS SOPS 5172 HAS SOUS 4672 HAS SOUPS 4672 WITH SCORE 4677.172
AT ITER 133 NEW BEST:: SOT 8299 SOS 4867 HAS SOPS 4867 HAS SOUS 4488 HAS SOUPS 4488 WITH SCORE 4492.867
AT ITER 139 NEW BEST:: SOT 8299 SOS 4857 HAS SOPS 4857 HAS SOUS 4485 HAS SOUPS 4485 WITH SCORE 4489.857
AT ITER 150 NEW BEST:: SOT 8299 SOS 4851 HAS SOPS 4851 HAS SOUS 4479 HAS SOUPS 4479 WITH SCORE 4483.851
AT ITER 156 NEW BEST:: SOT 8243 SOS 4755 HAS SOPS 4755 HAS SOUS 4368 HAS SOUPS 4368 WITH SCORE 4372.755
AT ITER 157 NEW BEST:: SOT 8243 SOS 4754 HAS SOPS 4754 HAS SOUS 4367 HAS SOUPS 4367 WITH SCORE 4371.754
AT ITER 158 NEW BEST:: SOT 8158 SOS 4776 HAS SOPS 4776 HAS SOUS 4356 HAS SOUPS 4356 WITH SCORE 4360.776
AT ITER 162 NEW BEST:: SOT 8158 SOS 4775 HAS SOPS 4775 HAS SOUS 4355 HAS SOUPS 4355 WITH SCORE 4359.775
AT ITER 173 NEW BEST:: SOT 8068 SOS 4651 HAS SOPS 4651 HAS SOUS 4265 HAS SOUPS 4265 WITH SCORE 4269.651
AT ITER 180 NEW BEST:: SOT 8068 SOS 4652 HAS SOPS 4652 HAS SOUS 4264 HAS SOUPS 4264 WITH SCORE 4268.652
AT ITER 182 NEW BEST:: SOT 8054 SOS 4624 HAS SOPS 4624 HAS SOUS 4236 HAS SOUPS 4236 WITH SCORE 4240.624
AT ITER 185 NEW BEST:: SOT 8013 SOS 4622 HAS SOPS 4622 HAS SOUS 4234 HAS SOUPS 4234 WITH SCORE 4238.622
AT ITER 193 NEW BEST:: SOT 8012 SOS 4625 HAS SOPS 4625 HAS SOUS 4231 HAS SOUPS 4231 WITH SCORE 4235.625
AT ITER 197 NEW BEST:: SOT 7915 SOS 4521 HAS SOPS 4521 HAS SOUS 4109 HAS SOUPS 4109 WITH SCORE 4113.521
AT ITER 201 NEW BEST:: SOT 7904 SOS 4510 HAS SOPS 4510 HAS SOUS 4098 HAS SOUPS 4098 WITH SCORE 4102.51
AT ITER 204 NEW BEST:: SOT 7893 SOS 4524 HAS SOPS 4524 HAS SOUS 4050 HAS SOUPS 4050 WITH SCORE 4054.524
AT ITER 206 NEW BEST:: SOT 7843 SOS 4365 HAS SOPS 4365 HAS SOUS 3951 HAS SOUPS 3951 WITH SCORE 3955.365
AT ITER 219 NEW BEST:: SOT 7842 SOS 4364 HAS SOPS 4364 HAS SOUS 3950 HAS SOUPS 3950 WITH SCORE 3954.364
AT ITER 221 NEW BEST:: SOT 7826 SOS 4332 HAS SOPS 4332 HAS SOUS 3934 HAS SOUPS 3934 WITH SCORE 3938.332
AT ITER 223 NEW BEST:: SOT 7810 SOS 4316 HAS SOPS 4316 HAS SOUS 3918 HAS SOUPS 3918 WITH SCORE 3922.316
AT ITER 225 NEW BEST:: SOT 7800 SOS 4240 HAS SOPS 4240 HAS SOUS 3883 HAS SOUPS 3883 WITH SCORE 3887.24
AT ITER 231 NEW BEST:: SOT 7800 SOS 4228 HAS SOPS 4228 HAS SOUS 3864 HAS SOUPS 3864 WITH SCORE 3868.228
AT ITER 236 NEW BEST:: SOT 7782 SOS 4206 HAS SOPS 4206 HAS SOUS 3840 HAS SOUPS 3840 WITH SCORE 3844.206
AT ITER 262 NEW BEST:: SOT 7771 SOS 4195 HAS SOPS 4195 HAS SOUS 3829 HAS SOUPS 3829 WITH SCORE 3833.195
AT ITER 285 NEW BEST:: SOT 7771 SOS 4195 HAS SOPS 4195 HAS SOUS 3825 HAS SOUPS 3825 WITH SCORE 3829.195
AT ITER 293 NEW BEST:: SOT 7737 SOS 4153 HAS SOPS 4153 HAS SOUS 3783 HAS SOUPS 3783 WITH SCORE 3787.153
AT ITER 307 NEW BEST:: SOT 7703 SOS 4184 HAS SOPS 4184 HAS SOUS 3780 HAS SOUPS 3780 WITH SCORE 3784.184
AT ITER 308 NEW BEST:: SOT 7704 SOS 4185 HAS SOPS 4185 HAS SOUS 3778 HAS SOUPS 3778 WITH SCORE 3782.185
AT ITER 321 NEW BEST:: SOT 7637 SOS 4115 HAS SOPS 4115 HAS SOUS 3706 HAS SOUPS 3706 WITH SCORE 3710.115
AT ITER 336 NEW BEST:: SOT 7616 SOS 4073 HAS SOPS 4073 HAS SOUS 3664 HAS SOUPS 3664 WITH SCORE 3668.073
AT ITER 341 NEW BEST:: SOT 7583 SOS 4012 HAS SOPS 4012 HAS SOUS 3642 HAS SOUPS 3642 WITH SCORE 3646.012
AT ITER 347 NEW BEST:: SOT 7584 SOS 3988 HAS SOPS 3988 HAS SOUS 3642 HAS SOUPS 3642 WITH SCORE 3645.988
AT ITER 353 NEW BEST:: SOT 7563 SOS 3931 HAS SOPS 3931 HAS SOUS 3600 HAS SOUPS 3600 WITH SCORE 3603.931
AT ITER 359 NEW BEST:: SOT 7563 SOS 3928 HAS SOPS 3928 HAS SOUS 3597 HAS SOUPS 3597 WITH SCORE 3600.928
AT ITER 360 NEW BEST:: SOT 7553 SOS 3920 HAS SOPS 3920 HAS SOUS 3589 HAS SOUPS 3589 WITH SCORE 3592.92
AT ITER 367 NEW BEST:: SOT 7553 SOS 3867 HAS SOPS 3867 HAS SOUS 3536 HAS SOUPS 3536 WITH SCORE 3539.867
AT ITER 386 NEW BEST:: SOT 7514 SOS 3806 HAS SOPS 3806 HAS SOUS 3475 HAS SOUPS 3475 WITH SCORE 3478.806
AT ITER 388 NEW BEST:: SOT 7522 SOS 3777 HAS SOPS 3777 HAS SOUS 3421 HAS SOUPS 3421 WITH SCORE 3424.777
AT ITER 399 NEW BEST:: SOT 7486 SOS 3682 HAS SOPS 3682 HAS SOUS 3343 HAS SOUPS 3343 WITH SCORE 3346.682
AT ITER 407 NEW BEST:: SOT 7474 SOS 3670 HAS SOPS 3670 HAS SOUS 3331 HAS SOUPS 3331 WITH SCORE 3334.67
AT ITER 411 NEW BEST:: SOT 7461 SOS 3642 HAS SOPS 3642 HAS SOUS 3296 HAS SOUPS 3296 WITH SCORE 3299.642
AT ITER 414 NEW BEST:: SOT 7441 SOS 3622 HAS SOPS 3622 HAS SOUS 3276 HAS SOUPS 3276 WITH SCORE 3279.622
AT ITER 424 NEW BEST:: SOT 7412 SOS 3593 HAS SOPS 3593 HAS SOUS 3247 HAS SOUPS 3247 WITH SCORE 3250.593
AT ITER 431 NEW BEST:: SOT 7400 SOS 3578 HAS SOPS 3578 HAS SOUS 3232 HAS SOUPS 3232 WITH SCORE 3235.578
AT ITER 437 NEW BEST:: SOT 7400 SOS 3562 HAS SOPS 3562 HAS SOUS 3230 HAS SOUPS 3230 WITH SCORE 3233.562
AT ITER 450 NEW BEST:: SOT 7402 SOS 3561 HAS SOPS 3561 HAS SOUS 3229 HAS SOUPS 3229 WITH SCORE 3232.561
AT ITER 451 NEW BEST:: SOT 7398 SOS 3542 HAS SOPS 3542 HAS SOUS 3210 HAS SOUPS 3210 WITH SCORE 3213.542
AT ITER 455 NEW BEST:: SOT 7360 SOS 3475 HAS SOPS 3475 HAS SOUS 3117 HAS SOUPS 3117 WITH SCORE 3120.475
AT ITER 461 NEW BEST:: SOT 7368 SOS 3483 HAS SOPS 3483 HAS SOUS 3113 HAS SOUPS 3113 WITH SCORE 3116.483
AT ITER 475 NEW BEST:: SOT 7341 SOS 3451 HAS SOPS 3451 HAS SOUS 3081 HAS SOUPS 3081 WITH SCORE 3084.451
AT ITER 488 NEW BEST:: SOT 7341 SOS 3436 HAS SOPS 3436 HAS SOUS 3080 HAS SOUPS 3080 WITH SCORE 3083.436
AT ITER 495 NEW BEST:: SOT 7340 SOS 3435 HAS SOPS 3435 HAS SOUS 3079 HAS SOUPS 3079 WITH SCORE 3082.435
AT ITER 502 NEW BEST:: SOT 7316 SOS 3411 HAS SOPS 3411 HAS SOUS 3055 HAS SOUPS 3055 WITH SCORE 3058.411
AT ITER 510 NEW BEST:: SOT 7329 SOS 3406 HAS SOPS 3406 HAS SOUS 3055 HAS SOUPS 3055 WITH SCORE 3058.406
AT ITER 514 NEW BEST:: SOT 7329 SOS 3405 HAS SOPS 3405 HAS SOUS 3051 HAS SOUPS 3051 WITH SCORE 3054.405
AT ITER 533 NEW BEST:: SOT 7329 SOS 3392 HAS SOPS 3392 HAS SOUS 3045 HAS SOUPS 3045 WITH SCORE 3048.392
AT ITER 535 NEW BEST:: SOT 7328 SOS 3391 HAS SOPS 3391 HAS SOUS 3043 HAS SOUPS 3043 WITH SCORE 3046.391
AT ITER 538 NEW BEST:: SOT 7328 SOS 3380 HAS SOPS 3380 HAS SOUS 3032 HAS SOUPS 3032 WITH SCORE 3035.38
AT ITER 553 NEW BEST:: SOT 7326 SOS 3378 HAS SOPS 3378 HAS SOUS 3030 HAS SOUPS 3030 WITH SCORE 3033.378
AT ITER 555 NEW BEST:: SOT 7314 SOS 3366 HAS SOPS 3366 HAS SOUS 3018 HAS SOUPS 3018 WITH SCORE 3021.366
AT ITER 578 NEW BEST:: SOT 7300 SOS 3352 HAS SOPS 3352 HAS SOUS 3001 HAS SOUPS 3001 WITH SCORE 3004.352
AT ITER 596 NEW BEST:: SOT 7300 SOS 3351 HAS SOPS 3351 HAS SOUS 3000 HAS SOUPS 3000 WITH SCORE 3003.351
AT ITER 608 NEW BEST:: SOT 7290 SOS 3335 HAS SOPS 3335 HAS SOUS 2984 HAS SOUPS 2984 WITH SCORE 2987.335
AT ITER 610 NEW BEST:: SOT 7284 SOS 3311 HAS SOPS 3311 HAS SOUS 2966 HAS SOUPS 2966 WITH SCORE 2969.311
AT ITER 636 NEW BEST:: SOT 7288 SOS 3255 HAS SOPS 3255 HAS SOUS 2929 HAS SOUPS 2929 WITH SCORE 2932.255
AT ITER 653 NEW BEST:: SOT 7288 SOS 3256 HAS SOPS 3256 HAS SOUS 2924 HAS SOUPS 2924 WITH SCORE 2927.256
AT ITER 656 NEW BEST:: SOT 7288 SOS 3245 HAS SOPS 3245 HAS SOUS 2919 HAS SOUPS 2919 WITH SCORE 2922.245
AT ITER 658 NEW BEST:: SOT 7288 SOS 3233 HAS SOPS 3233 HAS SOUS 2907 HAS SOUPS 2907 WITH SCORE 2910.233
AT ITER 675 NEW BEST:: SOT 7267 SOS 3212 HAS SOPS 3212 HAS SOUS 2886 HAS SOUPS 2886 WITH SCORE 2889.212
AT ITER 683 NEW BEST:: SOT 7267 SOS 3195 HAS SOPS 3195 HAS SOUS 2880 HAS SOUPS 2880 WITH SCORE 2883.195
AT ITER 711 NEW BEST:: SOT 7267 SOS 3193 HAS SOPS 3193 HAS SOUS 2878 HAS SOUPS 2878 WITH SCORE 2881.193
AT ITER 738 NEW BEST:: SOT 7267 SOS 3188 HAS SOPS 3188 HAS SOUS 2878 HAS SOUPS 2878 WITH SCORE 2881.188
AT ITER 740 NEW BEST:: SOT 7267 SOS 3184 HAS SOPS 3184 HAS SOUS 2865 HAS SOUPS 2865 WITH SCORE 2868.184
AT ITER 762 NEW BEST:: SOT 7266 SOS 3183 HAS SOPS 3183 HAS SOUS 2864 HAS SOUPS 2864 WITH SCORE 2867.183
AT ITER 767 NEW BEST:: SOT 7263 SOS 3186 HAS SOPS 3186 HAS SOUS 2861 HAS SOUPS 2861 WITH SCORE 2864.186
AT ITER 784 NEW BEST:: SOT 7263 SOS 3186 HAS SOPS 3186 HAS SOUS 2858 HAS SOUPS 2858 WITH SCORE 2861.186
AT ITER 789 NEW BEST:: SOT 7263 SOS 3166 HAS SOPS 3166 HAS SOUS 2855 HAS SOUPS 2855 WITH SCORE 2858.166
AT ITER 802 NEW BEST:: SOT 7259 SOS 3156 HAS SOPS 3156 HAS SOUS 2847 HAS SOUPS 2847 WITH SCORE 2850.156
AT ITER 812 NEW BEST:: SOT 7259 SOS 3154 HAS SOPS 3154 HAS SOUS 2847 HAS SOUPS 2847 WITH SCORE 2850.154
AT ITER 814 NEW BEST:: SOT 7259 SOS 3152 HAS SOPS 3152 HAS SOUS 2846 HAS SOUPS 2846 WITH SCORE 2849.152
AT ITER 820 NEW BEST:: SOT 7253 SOS 3146 HAS SOPS 3146 HAS SOUS 2839 HAS SOUPS 2839 WITH SCORE 2842.146
AT ITER 823 NEW BEST:: SOT 7253 SOS 3143 HAS SOPS 3143 HAS SOUS 2837 HAS SOUPS 2837 WITH SCORE 2840.143
AT ITER 834 NEW BEST:: SOT 7250 SOS 3140 HAS SOPS 3140 HAS SOUS 2834 HAS SOUPS 2834 WITH SCORE 2837.14
AT ITER 837 NEW BEST:: SOT 7249 SOS 3139 HAS SOPS 3139 HAS SOUS 2833 HAS SOUPS 2833 WITH SCORE 2836.139
AT ITER 844 NEW BEST:: SOT 7249 SOS 3109 HAS SOPS 3109 HAS SOUS 2808 HAS SOUPS 2808 WITH SCORE 2811.109
AT ITER 849 NEW BEST:: SOT 7249 SOS 3105 HAS SOPS 3105 HAS SOUS 2797 HAS SOUPS 2797 WITH SCORE 2800.105
AT ITER 858 NEW BEST:: SOT 7234 SOS 3080 HAS SOPS 3080 HAS SOUS 2780 HAS SOUPS 2780 WITH SCORE 2783.08
AT ITER 862 NEW BEST:: SOT 7232 SOS 3066 HAS SOPS 3066 HAS SOUS 2777 HAS SOUPS 2777 WITH SCORE 2780.066
AT ITER 865 NEW BEST:: SOT 7225 SOS 3033 HAS SOPS 3033 HAS SOUS 2751 HAS SOUPS 2751 WITH SCORE 2754.033
AT ITER 879 NEW BEST:: SOT 7225 SOS 3030 HAS SOPS 3030 HAS SOUS 2750 HAS SOUPS 2750 WITH SCORE 2753.03
AT ITER 901 NEW BEST:: SOT 7227 SOS 2995 HAS SOPS 2995 HAS SOUS 2742 HAS SOUPS 2742 WITH SCORE 2744.995
AT ITER 906 NEW BEST:: SOT 7217 SOS 2985 HAS SOPS 2985 HAS SOUS 2727 HAS SOUPS 2727 WITH SCORE 2729.985
AT ITER 907 NEW BEST:: SOT 7217 SOS 2984 HAS SOPS 2984 HAS SOUS 2727 HAS SOUPS 2727 WITH SCORE 2729.984
AT ITER 915 NEW BEST:: SOT 7179 SOS 2915 HAS SOPS 2915 HAS SOUS 2655 HAS SOUPS 2655 WITH SCORE 2657.915
AT ITER 934 NEW BEST:: SOT 7179 SOS 2914 HAS SOPS 2914 HAS SOUS 2655 HAS SOUPS 2655 WITH SCORE 2657.914
AT ITER 937 NEW BEST:: SOT 7197 SOS 2910 HAS SOPS 2910 HAS SOUS 2647 HAS SOUPS 2647 WITH SCORE 2649.91
AT ITER 944 NEW BEST:: SOT 7193 SOS 2905 HAS SOPS 2905 HAS SOUS 2642 HAS SOUPS 2642 WITH SCORE 2644.905
AT ITER 954 NEW BEST:: SOT 7193 SOS 2901 HAS SOPS 2901 HAS SOUS 2640 HAS SOUPS 2640 WITH SCORE 2642.901
AT ITER 987 NEW BEST:: SOT 7157 SOS 2846 HAS SOPS 2846 HAS SOUS 2585 HAS SOUPS 2585 WITH SCORE 2587.846
AT ITER 991 NEW BEST:: SOT 7143 SOS 2832 HAS SOPS 2832 HAS SOUS 2571 HAS SOUPS 2571 WITH SCORE 2573.832
AT ITER 998 NEW BEST:: SOT 7122 SOS 2811 HAS SOPS 2811 HAS SOUS 2550 HAS SOUPS 2550 WITH SCORE 2552.811
AT ITER 1032 NEW BEST:: SOT 7090 SOS 2771 HAS SOPS 2771 HAS SOUS 2510 HAS SOUPS 2510 WITH SCORE 2512.771
AT ITER 1044 NEW BEST:: SOT 7128 SOS 2767 HAS SOPS 2767 HAS SOUS 2510 HAS SOUPS 2510 WITH SCORE 2512.767
AT ITER 1054 NEW BEST:: SOT 7127 SOS 2750 HAS SOPS 2750 HAS SOUS 2500 HAS SOUPS 2500 WITH SCORE 2502.75
AT ITER 1062 NEW BEST:: SOT 7131 SOS 2750 HAS SOPS 2750 HAS SOUS 2499 HAS SOUPS 2499 WITH SCORE 2501.75
AT ITER 1078 NEW BEST:: SOT 7116 SOS 2735 HAS SOPS 2735 HAS SOUS 2481 HAS SOUPS 2481 WITH SCORE 2483.735
AT ITER 1089 NEW BEST:: SOT 7116 SOS 2726 HAS SOPS 2726 HAS SOUS 2472 HAS SOUPS 2472 WITH SCORE 2474.726
AT ITER 1114 NEW BEST:: SOT 7106 SOS 2716 HAS SOPS 2716 HAS SOUS 2472 HAS SOUPS 2472 WITH SCORE 2474.716
AT ITER 1117 NEW BEST:: SOT 7101 SOS 2718 HAS SOPS 2718 HAS SOUS 2471 HAS SOUPS 2471 WITH SCORE 2473.718
AT ITER 1156 NEW BEST:: SOT 7099 SOS 2716 HAS SOPS 2716 HAS SOUS 2469 HAS SOUPS 2469 WITH SCORE 2471.716
AT ITER 1189 NEW BEST:: SOT 7089 SOS 2703 HAS SOPS 2703 HAS SOUS 2456 HAS SOUPS 2456 WITH SCORE 2458.703
AT ITER 1195 NEW BEST:: SOT 7089 SOS 2700 HAS SOPS 2700 HAS SOUS 2453 HAS SOUPS 2453 WITH SCORE 2455.7
AT ITER 1204 NEW BEST:: SOT 7086 SOS 2678 HAS SOPS 2678 HAS SOUS 2431 HAS SOUPS 2431 WITH SCORE 2433.678
AT ITER 1214 NEW BEST:: SOT 7086 SOS 2668 HAS SOPS 2668 HAS SOUS 2426 HAS SOUPS 2426 WITH SCORE 2428.668
AT ITER 1263 NEW BEST:: SOT 7085 SOS 2660 HAS SOPS 2660 HAS SOUS 2418 HAS SOUPS 2418 WITH SCORE 2420.66
AT ITER 1275 NEW BEST:: SOT 7085 SOS 2659 HAS SOPS 2659 HAS SOUS 2417 HAS SOUPS 2417 WITH SCORE 2419.659
AT ITER 1303 NEW BEST:: SOT 7084 SOS 2657 HAS SOPS 2657 HAS SOUS 2415 HAS SOUPS 2415 WITH SCORE 2417.657
AT ITER 1304 NEW BEST:: SOT 7084 SOS 2655 HAS SOPS 2655 HAS SOUS 2413 HAS SOUPS 2413 WITH SCORE 2415.655
AT ITER 1311 NEW BEST:: SOT 7084 SOS 2653 HAS SOPS 2653 HAS SOUS 2413 HAS SOUPS 2413 WITH SCORE 2415.653
AT ITER 1332 NEW BEST:: SOT 7074 SOS 2641 HAS SOPS 2641 HAS SOUS 2401 HAS SOUPS 2401 WITH SCORE 2403.641
AT ITER 1336 NEW BEST:: SOT 7074 SOS 2640 HAS SOPS 2640 HAS SOUS 2400 HAS SOUPS 2400 WITH SCORE 2402.64
AT ITER 1372 NEW BEST:: SOT 7066 SOS 2632 HAS SOPS 2632 HAS SOUS 2392 HAS SOUPS 2392 WITH SCORE 2394.632
AT ITER 1384 NEW BEST:: SOT 7047 SOS 2613 HAS SOPS 2613 HAS SOUS 2369 HAS SOUPS 2369 WITH SCORE 2371.613
AT ITER 1397 NEW BEST:: SOT 7047 SOS 2590 HAS SOPS 2590 HAS SOUS 2358 HAS SOUPS 2358 WITH SCORE 2360.59
AT ITER 1416 NEW BEST:: SOT 7045 SOS 2586 HAS SOPS 2586 HAS SOUS 2354 HAS SOUPS 2354 WITH SCORE 2356.586
AT ITER 1422 NEW BEST:: SOT 7027 SOS 2558 HAS SOPS 2558 HAS SOUS 2340 HAS SOUPS 2340 WITH SCORE 2342.558
AT ITER 1423 NEW BEST:: SOT 7027 SOS 2552 HAS SOPS 2552 HAS SOUS 2336 HAS SOUPS 2336 WITH SCORE 2338.552
AT ITER 1433 NEW BEST:: SOT 7031 SOS 2545 HAS SOPS 2545 HAS SOUS 2329 HAS SOUPS 2329 WITH SCORE 2331.545
AT ITER 1462 NEW BEST:: SOT 7031 SOS 2550 HAS SOPS 2550 HAS SOUS 2322 HAS SOUPS 2322 WITH SCORE 2324.55
AT ITER 1523 NEW BEST:: SOT 7029 SOS 2545 HAS SOPS 2545 HAS SOUS 2318 HAS SOUPS 2318 WITH SCORE 2320.545
AT ITER 1541 NEW BEST:: SOT 7008 SOS 2501 HAS SOPS 2501 HAS SOUS 2276 HAS SOUPS 2276 WITH SCORE 2278.501
AT ITER 1559 NEW BEST:: SOT 6996 SOS 2496 HAS SOPS 2496 HAS SOUS 2271 HAS SOUPS 2271 WITH SCORE 2273.496
AT ITER 1579 NEW BEST:: SOT 6995 SOS 2500 HAS SOPS 2500 HAS SOUS 2270 HAS SOUPS 2270 WITH SCORE 2272.5
AT ITER 1623 NEW BEST:: SOT 6993 SOS 2496 HAS SOPS 2496 HAS SOUS 2266 HAS SOUPS 2266 WITH SCORE 2268.496
AT ITER 1625 NEW BEST:: SOT 6992 SOS 2493 HAS SOPS 2493 HAS SOUS 2264 HAS SOUPS 2264 WITH SCORE 2266.493
AT ITER 1628 NEW BEST:: SOT 6992 SOS 2490 HAS SOPS 2490 HAS SOUS 2264 HAS SOUPS 2264 WITH SCORE 2266.49
AT ITER 1714 NEW BEST:: SOT 6984 SOS 2470 HAS SOPS 2470 HAS SOUS 2248 HAS SOUPS 2248 WITH SCORE 2250.47
AT ITER 1717 NEW BEST:: SOT 6988 SOS 2464 HAS SOPS 2464 HAS SOUS 2244 HAS SOUPS 2244 WITH SCORE 2246.464
AT ITER 1759 NEW BEST:: SOT 6980 SOS 2456 HAS SOPS 2456 HAS SOUS 2236 HAS SOUPS 2236 WITH SCORE 2238.456
AT ITER 1781 NEW BEST:: SOT 6979 SOS 2461 HAS SOPS 2461 HAS SOUS 2233 HAS SOUPS 2233 WITH SCORE 2235.461
AT ITER 1798 NEW BEST:: SOT 6971 SOS 2441 HAS SOPS 2441 HAS SOUS 2217 HAS SOUPS 2217 WITH SCORE 2219.441
AT ITER 1800 NEW BEST:: SOT 6963 SOS 2438 HAS SOPS 2438 HAS SOUS 2211 HAS SOUPS 2211 WITH SCORE 2213.438
AT ITER 1809 NEW BEST:: SOT 6954 SOS 2424 HAS SOPS 2424 HAS SOUS 2198 HAS SOUPS 2198 WITH SCORE 2200.424
AT ITER 1830 NEW BEST:: SOT 6923 SOS 2409 HAS SOPS 2409 HAS SOUS 2179 HAS SOUPS 2179 WITH SCORE 2181.409
AT ITER 1850 NEW BEST:: SOT 6915 SOS 2401 HAS SOPS 2401 HAS SOUS 2171 HAS SOUPS 2171 WITH SCORE 2173.401
AT ITER 1859 NEW BEST:: SOT 6915 SOS 2395 HAS SOPS 2395 HAS SOUS 2165 HAS SOUPS 2165 WITH SCORE 2167.395
AT ITER 1860 NEW BEST:: SOT 6911 SOS 2388 HAS SOPS 2388 HAS SOUS 2162 HAS SOUPS 2162 WITH SCORE 2164.388
AT ITER 1888 NEW BEST:: SOT 6911 SOS 2376 HAS SOPS 2376 HAS SOUS 2150 HAS SOUPS 2150 WITH SCORE 2152.376
AT ITER 1940 NEW BEST:: SOT 6908 SOS 2373 HAS SOPS 2373 HAS SOUS 2146 HAS SOUPS 2146 WITH SCORE 2148.373
AT ITER 1942 NEW BEST:: SOT 6906 SOS 2363 HAS SOPS 2363 HAS SOUS 2142 HAS SOUPS 2142 WITH SCORE 2144.363
AT ITER 1943 NEW BEST:: SOT 6905 SOS 2360 HAS SOPS 2360 HAS SOUS 2140 HAS SOUPS 2140 WITH SCORE 2142.36
AT ITER 1952 NEW BEST:: SOT 6905 SOS 2357 HAS SOPS 2357 HAS SOUS 2137 HAS SOUPS 2137 WITH SCORE 2139.357
AT ITER 2008 NEW BEST:: SOT 6905 SOS 2353 HAS SOPS 2353 HAS SOUS 2133 HAS SOUPS 2133 WITH SCORE 2135.353
AT ITER 2023 NEW BEST:: SOT 6903 SOS 2351 HAS SOPS 2351 HAS SOUS 2131 HAS SOUPS 2131 WITH SCORE 2133.351
AT ITER 2024 NEW BEST:: SOT 6903 SOS 2349 HAS SOPS 2349 HAS SOUS 2129 HAS SOUPS 2129 WITH SCORE 2131.349
AT ITER 2079 NEW BEST:: SOT 6899 SOS 2345 HAS SOPS 2345 HAS SOUS 2121 HAS SOUPS 2121 WITH SCORE 2123.345
AT ITER 2103 NEW BEST:: SOT 6895 SOS 2330 HAS SOPS 2330 HAS SOUS 2101 HAS SOUPS 2101 WITH SCORE 2103.33
AT ITER 2108 NEW BEST:: SOT 6893 SOS 2329 HAS SOPS 2329 HAS SOUS 2100 HAS SOUPS 2100 WITH SCORE 2102.329
AT ITER 2122 NEW BEST:: SOT 6890 SOS 2320 HAS SOPS 2320 HAS SOUS 2095 HAS SOUPS 2095 WITH SCORE 2097.32
AT ITER 2142 NEW BEST:: SOT 6872 SOS 2302 HAS SOPS 2302 HAS SOUS 2077 HAS SOUPS 2077 WITH SCORE 2079.302
AT ITER 2147 NEW BEST:: SOT 6868 SOS 2298 HAS SOPS 2298 HAS SOUS 2073 HAS SOUPS 2073 WITH SCORE 2075.298
AT ITER 2162 NEW BEST:: SOT 6876 SOS 2296 HAS SOPS 2296 HAS SOUS 2073 HAS SOUPS 2073 WITH SCORE 2075.296
AT ITER 2208 NEW BEST:: SOT 6870 SOS 2296 HAS SOPS 2296 HAS SOUS 2068 HAS SOUPS 2068 WITH SCORE 2070.296
AT ITER 2233 NEW BEST:: SOT 6867 SOS 2293 HAS SOPS 2293 HAS SOUS 2066 HAS SOUPS 2066 WITH SCORE 2068.293
AT ITER 2386 NEW BEST:: SOT 6867 SOS 2292 HAS SOPS 2292 HAS SOUS 2065 HAS SOUPS 2065 WITH SCORE 2067.292
AT ITER 2419 NEW BEST:: SOT 6864 SOS 2280 HAS SOPS 2280 HAS SOUS 2061 HAS SOUPS 2061 WITH SCORE 2063.28
AT ITER 2423 NEW BEST:: SOT 6858 SOS 2268 HAS SOPS 2268 HAS SOUS 2049 HAS SOUPS 2049 WITH SCORE 2051.268
AT ITER 2475 NEW BEST:: SOT 6858 SOS 2264 HAS SOPS 2264 HAS SOUS 2045 HAS SOUPS 2045 WITH SCORE 2047.264
AT ITER 2517 NEW BEST:: SOT 6858 SOS 2258 HAS SOPS 2258 HAS SOUS 2043 HAS SOUPS 2043 WITH SCORE 2045.258
AT ITER 2521 NEW BEST:: SOT 6857 SOS 2257 HAS SOPS 2257 HAS SOUS 2043 HAS SOUPS 2043 WITH SCORE 2045.257
AT ITER 2550 NEW BEST:: SOT 6856 SOS 2256 HAS SOPS 2256 HAS SOUS 2042 HAS SOUPS 2042 WITH SCORE 2044.256
AT ITER 2565 NEW BEST:: SOT 6852 SOS 2255 HAS SOPS 2255 HAS SOUS 2041 HAS SOUPS 2041 WITH SCORE 2043.255
AT ITER 2584 NEW BEST:: SOT 6851 SOS 2254 HAS SOPS 2254 HAS SOUS 2040 HAS SOUPS 2040 WITH SCORE 2042.254
AT ITER 2589 NEW BEST:: SOT 6851 SOS 2252 HAS SOPS 2252 HAS SOUS 2038 HAS SOUPS 2038 WITH SCORE 2040.252
AT ITER 2670 NEW BEST:: SOT 6850 SOS 2250 HAS SOPS 2250 HAS SOUS 2037 HAS SOUPS 2037 WITH SCORE 2039.25
AT ITER 2680 NEW BEST:: SOT 6844 SOS 2244 HAS SOPS 2244 HAS SOUS 2032 HAS SOUPS 2032 WITH SCORE 2034.244
AT ITER 2684 NEW BEST:: SOT 6843 SOS 2243 HAS SOPS 2243 HAS SOUS 2031 HAS SOUPS 2031 WITH SCORE 2033.243
AT ITER 2711 NEW BEST:: SOT 6836 SOS 2228 HAS SOPS 2228 HAS SOUS 2016 HAS SOUPS 2016 WITH SCORE 2018.228
AT ITER 2737 NEW BEST:: SOT 6840 SOS 2224 HAS SOPS 2224 HAS SOUS 2014 HAS SOUPS 2014 WITH SCORE 2016.224
AT ITER 2775 NEW BEST:: SOT 6839 SOS 2223 HAS SOPS 2223 HAS SOUS 2014 HAS SOUPS 2014 WITH SCORE 2016.223
AT ITER 2780 NEW BEST:: SOT 6846 SOS 2221 HAS SOPS 2221 HAS SOUS 2012 HAS SOUPS 2012 WITH SCORE 2014.221
AT ITER 2797 NEW BEST:: SOT 6844 SOS 2215 HAS SOPS 2215 HAS SOUS 2006 HAS SOUPS 2006 WITH SCORE 2008.215
AT ITER 2826 NEW BEST:: SOT 6843 SOS 2214 HAS SOPS 2214 HAS SOUS 2005 HAS SOUPS 2005 WITH SCORE 2007.214
AT ITER 2831 NEW BEST:: SOT 6841 SOS 2211 HAS SOPS 2211 HAS SOUS 2002 HAS SOUPS 2002 WITH SCORE 2004.211
AT ITER 2841 NEW BEST:: SOT 6846 SOS 2206 HAS SOPS 2206 HAS SOUS 1997 HAS SOUPS 1997 WITH SCORE 1999.206
AT ITER 2893 NEW BEST:: SOT 6843 SOS 2195 HAS SOPS 2195 HAS SOUS 1986 HAS SOUPS 1986 WITH SCORE 1988.195
AT ITER 2986 NEW BEST:: SOT 6842 SOS 2193 HAS SOPS 2193 HAS SOUS 1985 HAS SOUPS 1985 WITH SCORE 1987.193
AT ITER 3062 NEW BEST:: SOT 6840 SOS 2189 HAS SOPS 2189 HAS SOUS 1983 HAS SOUPS 1983 WITH SCORE 1985.189
AT ITER 3085 NEW BEST:: SOT 6830 SOS 2192 HAS SOPS 2192 HAS SOUS 1981 HAS SOUPS 1981 WITH SCORE 1983.192
AT ITER 3163 NEW BEST:: SOT 6828 SOS 2190 HAS SOPS 2190 HAS SOUS 1981 HAS SOUPS 1981 WITH SCORE 1983.19
AT ITER 3197 NEW BEST:: SOT 6821 SOS 2179 HAS SOPS 2179 HAS SOUS 1970 HAS SOUPS 1970 WITH SCORE 1972.179
AT ITER 3293 NEW BEST:: SOT 6821 SOS 2178 HAS SOPS 2178 HAS SOUS 1969 HAS SOUPS 1969 WITH SCORE 1971.178
AT ITER 3298 NEW BEST:: SOT 6820 SOS 2171 HAS SOPS 2171 HAS SOUS 1962 HAS SOUPS 1962 WITH SCORE 1964.171
AT ITER 3302 NEW BEST:: SOT 6815 SOS 2164 HAS SOPS 2164 HAS SOUS 1955 HAS SOUPS 1955 WITH SCORE 1957.164
AT ITER 3325 NEW BEST:: SOT 6806 SOS 2147 HAS SOPS 2147 HAS SOUS 1933 HAS SOUPS 1933 WITH SCORE 1935.147
AT ITER 3368 NEW BEST:: SOT 6804 SOS 2145 HAS SOPS 2145 HAS SOUS 1931 HAS SOUPS 1931 WITH SCORE 1933.145
AT ITER 3406 NEW BEST:: SOT 6810 SOS 2134 HAS SOPS 2134 HAS SOUS 1920 HAS SOUPS 1920 WITH SCORE 1922.134
AT ITER 3443 NEW BEST:: SOT 6807 SOS 2119 HAS SOPS 2119 HAS SOUS 1909 HAS SOUPS 1909 WITH SCORE 1911.119
AT ITER 3447 NEW BEST:: SOT 6806 SOS 2115 HAS SOPS 2115 HAS SOUS 1907 HAS SOUPS 1907 WITH SCORE 1909.115
AT ITER 3492 NEW BEST:: SOT 6806 SOS 2115 HAS SOPS 2115 HAS SOUS 1904 HAS SOUPS 1904 WITH SCORE 1906.115
AT ITER 3518 NEW BEST:: SOT 6805 SOS 2111 HAS SOPS 2111 HAS SOUS 1902 HAS SOUPS 1902 WITH SCORE 1904.111
AT ITER 3543 NEW BEST:: SOT 6803 SOS 2109 HAS SOPS 2109 HAS SOUS 1900 HAS SOUPS 1900 WITH SCORE 1902.109
AT ITER 3546 NEW BEST:: SOT 6801 SOS 2107 HAS SOPS 2107 HAS SOUS 1898 HAS SOUPS 1898 WITH SCORE 1900.107
AT ITER 3551 NEW BEST:: SOT 6801 SOS 2103 HAS SOPS 2103 HAS SOUS 1894 HAS SOUPS 1894 WITH SCORE 1896.103
AT ITER 3626 NEW BEST:: SOT 6776 SOS 2103 HAS SOPS 2103 HAS SOUS 1890 HAS SOUPS 1890 WITH SCORE 1892.103
AT ITER 3673 NEW BEST:: SOT 6770 SOS 2100 HAS SOPS 2100 HAS SOUS 1887 HAS SOUPS 1887 WITH SCORE 1889.1
AT ITER 3695 NEW BEST:: SOT 6770 SOS 2097 HAS SOPS 2097 HAS SOUS 1884 HAS SOUPS 1884 WITH SCORE 1886.097
AT ITER 3859 NEW BEST:: SOT 6771 SOS 2096 HAS SOPS 2096 HAS SOUS 1883 HAS SOUPS 1883 WITH SCORE 1885.096
AT ITER 3970 NEW BEST:: SOT 6769 SOS 2094 HAS SOPS 2094 HAS SOUS 1881 HAS SOUPS 1881 WITH SCORE 1883.094
AT ITER 3986 NEW BEST:: SOT 6763 SOS 2093 HAS SOPS 2093 HAS SOUS 1879 HAS SOUPS 1879 WITH SCORE 1881.093
AT ITER 4003 NEW BEST:: SOT 6754 SOS 2084 HAS SOPS 2084 HAS SOUS 1870 HAS SOUPS 1870 WITH SCORE 1872.084
AT ITER 4018 NEW BEST:: SOT 6753 SOS 2080 HAS SOPS 2080 HAS SOUS 1867 HAS SOUPS 1867 WITH SCORE 1869.08
AT ITER 4048 NEW BEST:: SOT 6751 SOS 2078 HAS SOPS 2078 HAS SOUS 1866 HAS SOUPS 1866 WITH SCORE 1868.078
AT ITER 4072 NEW BEST:: SOT 6749 SOS 2078 HAS SOPS 2078 HAS SOUS 1864 HAS SOUPS 1864 WITH SCORE 1866.078
AT ITER 4073 NEW BEST:: SOT 6749 SOS 2077 HAS SOPS 2077 HAS SOUS 1864 HAS SOUPS 1864 WITH SCORE 1866.077
AT ITER 4108 NEW BEST:: SOT 6742 SOS 2077 HAS SOPS 2077 HAS SOUS 1862 HAS SOUPS 1862 WITH SCORE 1864.077
AT ITER 4135 NEW BEST:: SOT 6742 SOS 2070 HAS SOPS 2070 HAS SOUS 1854 HAS SOUPS 1854 WITH SCORE 1856.07
AT ITER 4152 NEW BEST:: SOT 6742 SOS 2069 HAS SOPS 2069 HAS SOUS 1853 HAS SOUPS 1853 WITH SCORE 1855.069
AT ITER 4182 NEW BEST:: SOT 6742 SOS 2068 HAS SOPS 2068 HAS SOUS 1853 HAS SOUPS 1853 WITH SCORE 1855.068
AT ITER 4315 NEW BEST:: SOT 6740 SOS 2064 HAS SOPS 2064 HAS SOUS 1849 HAS SOUPS 1849 WITH SCORE 1851.064
AT ITER 4372 NEW BEST:: SOT 6736 SOS 2058 HAS SOPS 2058 HAS SOUS 1844 HAS SOUPS 1844 WITH SCORE 1846.058
AT ITER 4438 NEW BEST:: SOT 6734 SOS 2054 HAS SOPS 2054 HAS SOUS 1840 HAS SOUPS 1840 WITH SCORE 1842.054
AT ITER 4526 NEW BEST:: SOT 6733 SOS 2053 HAS SOPS 2053 HAS SOUS 1839 HAS SOUPS 1839 WITH SCORE 1841.053
AT ITER 4538 NEW BEST:: SOT 6721 SOS 2036 HAS SOPS 2036 HAS SOUS 1822 HAS SOUPS 1822 WITH SCORE 1824.036
AT ITER 4561 NEW BEST:: SOT 6720 SOS 2035 HAS SOPS 2035 HAS SOUS 1821 HAS SOUPS 1821 WITH SCORE 1823.035
AT ITER 4631 NEW BEST:: SOT 6719 SOS 2034 HAS SOPS 2034 HAS SOUS 1820 HAS SOUPS 1820 WITH SCORE 1822.034
AT ITER 4649 NEW BEST:: SOT 6718 SOS 2032 HAS SOPS 2032 HAS SOUS 1818 HAS SOUPS 1818 WITH SCORE 1820.032
AT ITER 4735 NEW BEST:: SOT 6720 SOS 2030 HAS SOPS 2030 HAS SOUS 1816 HAS SOUPS 1816 WITH SCORE 1818.03
AT ITER 4763 NEW BEST:: SOT 6720 SOS 2029 HAS SOPS 2029 HAS SOUS 1815 HAS SOUPS 1815 WITH SCORE 1817.029
AT ITER 4828 NEW BEST:: SOT 6716 SOS 2025 HAS SOPS 2025 HAS SOUS 1811 HAS SOUPS 1811 WITH SCORE 1813.025
AT ITER 4889 NEW BEST:: SOT 6714 SOS 2023 HAS SOPS 2023 HAS SOUS 1809 HAS SOUPS 1809 WITH SCORE 1811.023
AT ITER 4978 NEW BEST:: SOT 6714 SOS 2021 HAS SOPS 2021 HAS SOUS 1807 HAS SOUPS 1807 WITH SCORE 1809.021
AT ITER 5036 NEW BEST:: SOT 6715 SOS 2022 HAS SOPS 2022 HAS SOUS 1802 HAS SOUPS 1802 WITH SCORE 1804.022
AT ITER 5060 NEW BEST:: SOT 6715 SOS 2020 HAS SOPS 2020 HAS SOUS 1800 HAS SOUPS 1800 WITH SCORE 1802.02
AT ITER 5145 NEW BEST:: SOT 6725 SOS 2017 HAS SOPS 2017 HAS SOUS 1800 HAS SOUPS 1800 WITH SCORE 1802.017
AT ITER 5163 NEW BEST:: SOT 6721 SOS 2018 HAS SOPS 2018 HAS SOUS 1799 HAS SOUPS 1799 WITH SCORE 1801.018
AT ITER 5292 NEW BEST:: SOT 6719 SOS 2016 HAS SOPS 2016 HAS SOUS 1796 HAS SOUPS 1796 WITH SCORE 1798.016
AT ITER 5375 NEW BEST:: SOT 6717 SOS 2009 HAS SOPS 2009 HAS SOUS 1791 HAS SOUPS 1791 WITH SCORE 1793.009
AT ITER 5550 NEW BEST:: SOT 6717 SOS 2005 HAS SOPS 2005 HAS SOUS 1789 HAS SOUPS 1789 WITH SCORE 1791.005
AT ITER 5609 NEW BEST:: SOT 6714 SOS 2002 HAS SOPS 2002 HAS SOUS 1785 HAS SOUPS 1785 WITH SCORE 1787.002
AT ITER 5649 NEW BEST:: SOT 6714 SOS 1998 HAS SOPS 1998 HAS SOUS 1782 HAS SOUPS 1782 WITH SCORE 1783.998
AT ITER 5677 NEW BEST:: SOT 6716 SOS 1997 HAS SOPS 1997 HAS SOUS 1781 HAS SOUPS 1781 WITH SCORE 1782.997
AT ITER 5683 NEW BEST:: SOT 6707 SOS 1976 HAS SOPS 1976 HAS SOUS 1765 HAS SOUPS 1765 WITH SCORE 1766.976
AT ITER 5702 NEW BEST:: SOT 6701 SOS 1974 HAS SOPS 1974 HAS SOUS 1763 HAS SOUPS 1763 WITH SCORE 1764.974
AT ITER 5705 NEW BEST:: SOT 6699 SOS 1967 HAS SOPS 1967 HAS SOUS 1760 HAS SOUPS 1760 WITH SCORE 1761.967
AT ITER 5761 NEW BEST:: SOT 6699 SOS 1964 HAS SOPS 1964 HAS SOUS 1757 HAS SOUPS 1757 WITH SCORE 1758.964
AT ITER 5839 NEW BEST:: SOT 6695 SOS 1957 HAS SOPS 1957 HAS SOUS 1750 HAS SOUPS 1750 WITH SCORE 1751.957
AT ITER 5843 NEW BEST:: SOT 6693 SOS 1955 HAS SOPS 1955 HAS SOUS 1748 HAS SOUPS 1748 WITH SCORE 1749.955
AT ITER 6050 NEW BEST:: SOT 6692 SOS 1954 HAS SOPS 1954 HAS SOUS 1747 HAS SOUPS 1747 WITH SCORE 1748.954
AT ITER 6417 NEW BEST:: SOT 6692 SOS 1952 HAS SOPS 1952 HAS SOUS 1745 HAS SOUPS 1745 WITH SCORE 1746.952
AT ITER 6516 NEW BEST:: SOT 6692 SOS 1950 HAS SOPS 1950 HAS SOUS 1741 HAS SOUPS 1741 WITH SCORE 1742.95
AT ITER 6596 NEW BEST:: SOT 6692 SOS 1950 HAS SOPS 1950 HAS SOUS 1740 HAS SOUPS 1740 WITH SCORE 1741.95
AT ITER 6682 NEW BEST:: SOT 6691 SOS 1949 HAS SOPS 1949 HAS SOUS 1739 HAS SOUPS 1739 WITH SCORE 1740.949
AT ITER 6821 NEW BEST:: SOT 6691 SOS 1947 HAS SOPS 1947 HAS SOUS 1738 HAS SOUPS 1738 WITH SCORE 1739.947
AT ITER 6871 NEW BEST:: SOT 6691 SOS 1945 HAS SOPS 1945 HAS SOUS 1737 HAS SOUPS 1737 WITH SCORE 1738.945
AT ITER 6936 NEW BEST:: SOT 6691 SOS 1944 HAS SOPS 1944 HAS SOUS 1736 HAS SOUPS 1736 WITH SCORE 1737.944
AT ITER 6952 NEW BEST:: SOT 6689 SOS 1942 HAS SOPS 1942 HAS SOUS 1735 HAS SOUPS 1735 WITH SCORE 1736.942
AT ITER 7021 NEW BEST:: SOT 6688 SOS 1939 HAS SOPS 1939 HAS SOUS 1732 HAS SOUPS 1732 WITH SCORE 1733.939
AT ITER 7234 NEW BEST:: SOT 6687 SOS 1932 HAS SOPS 1932 HAS SOUS 1727 HAS SOUPS 1727 WITH SCORE 1728.932
AT ITER 7314 NEW BEST:: SOT 6687 SOS 1932 HAS SOPS 1932 HAS SOUS 1726 HAS SOUPS 1726 WITH SCORE 1727.932
AT ITER 7315 NEW BEST:: SOT 6685 SOS 1926 HAS SOPS 1926 HAS SOUS 1720 HAS SOUPS 1720 WITH SCORE 1721.926
AT ITER 7372 NEW BEST:: SOT 6682 SOS 1920 HAS SOPS 1920 HAS SOUS 1714 HAS SOUPS 1714 WITH SCORE 1715.92
AT ITER 7636 NEW BEST:: SOT 6684 SOS 1918 HAS SOPS 1918 HAS SOUS 1713 HAS SOUPS 1713 WITH SCORE 1714.918
AT ITER 7653 NEW BEST:: SOT 6683 SOS 1915 HAS SOPS 1915 HAS SOUS 1710 HAS SOUPS 1710 WITH SCORE 1711.915
AT ITER 7675 NEW BEST:: SOT 6681 SOS 1913 HAS SOPS 1913 HAS SOUS 1706 HAS SOUPS 1706 WITH SCORE 1707.913
AT ITER 7804 NEW BEST:: SOT 6680 SOS 1912 HAS SOPS 1912 HAS SOUS 1705 HAS SOUPS 1705 WITH SCORE 1706.912
AT ITER 7977 NEW BEST:: SOT 6679 SOS 1911 HAS SOPS 1911 HAS SOUS 1705 HAS SOUPS 1705 WITH SCORE 1706.911
AT ITER 7998 NEW BEST:: SOT 6677 SOS 1910 HAS SOPS 1910 HAS SOUS 1703 HAS SOUPS 1703 WITH SCORE 1704.91
AT ITER 8051 NEW BEST:: SOT 6676 SOS 1909 HAS SOPS 1909 HAS SOUS 1702 HAS SOUPS 1702 WITH SCORE 1703.909
AT ITER 8165 NEW BEST:: SOT 6675 SOS 1907 HAS SOPS 1907 HAS SOUS 1700 HAS SOUPS 1700 WITH SCORE 1701.907
AT ITER 8176 NEW BEST:: SOT 6674 SOS 1906 HAS SOPS 1906 HAS SOUS 1698 HAS SOUPS 1698 WITH SCORE 1699.906
AT ITER 8448 NEW BEST:: SOT 6673 SOS 1902 HAS SOPS 1902 HAS SOUS 1694 HAS SOUPS 1694 WITH SCORE 1695.902
AT ITER 8499 NEW BEST:: SOT 6669 SOS 1900 HAS SOPS 1900 HAS SOUS 1693 HAS SOUPS 1693 WITH SCORE 1694.9
AT ITER 8520 NEW BEST:: SOT 6668 SOS 1896 HAS SOPS 1896 HAS SOUS 1689 HAS SOUPS 1689 WITH SCORE 1690.896
AT ITER 8551 NEW BEST:: SOT 6668 SOS 1894 HAS SOPS 1894 HAS SOUS 1689 HAS SOUPS 1689 WITH SCORE 1690.894
AT ITER 8574 NEW BEST:: SOT 6666 SOS 1893 HAS SOPS 1893 HAS SOUS 1689 HAS SOUPS 1689 WITH SCORE 1690.893
AT ITER 8740 NEW BEST:: SOT 6665 SOS 1889 HAS SOPS 1889 HAS SOUS 1685 HAS SOUPS 1685 WITH SCORE 1686.889
AT ITER 8758 NEW BEST:: SOT 6664 SOS 1887 HAS SOPS 1887 HAS SOUS 1683 HAS SOUPS 1683 WITH SCORE 1684.887
AT ITER 8839 NEW BEST:: SOT 6669 SOS 1884 HAS SOPS 1884 HAS SOUS 1680 HAS SOUPS 1680 WITH SCORE 1681.884
AT ITER 8882 NEW BEST:: SOT 6665 SOS 1880 HAS SOPS 1880 HAS SOUS 1673 HAS SOUPS 1673 WITH SCORE 1674.88
AT ITER 8985 NEW BEST:: SOT 6662 SOS 1879 HAS SOPS 1879 HAS SOUS 1672 HAS SOUPS 1672 WITH SCORE 1673.879
AT ITER 9342 NEW BEST:: SOT 6662 SOS 1877 HAS SOPS 1877 HAS SOUS 1672 HAS SOUPS 1672 WITH SCORE 1673.877
AT ITER 9507 NEW BEST:: SOT 6662 SOS 1876 HAS SOPS 1876 HAS SOUS 1671 HAS SOUPS 1671 WITH SCORE 1672.876
AT ITER 9837 NEW BEST:: SOT 6660 SOS 1875 HAS SOPS 1875 HAS SOUS 1670 HAS SOUPS 1670 WITH SCORE 1671.875
STATE_SPACE STATES 2048000000000000001 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 56 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 48844800000000000001 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679067707875

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

Sequence of Actions to be Executed by the VM

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

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

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