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.r203-smll-167840349300256.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 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 HealthRecord-PT-03, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r203-smll-167840349300256
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 552K
-rw-r--r-- 1 mcc users 8.5K Feb 26 17:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 99K Feb 26 17:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 26 17:44 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 26 17:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:13 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:13 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:13 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:13 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 26 17:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 160K Feb 26 17:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.7K Feb 26 17:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 65K Feb 26 17:49 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:13 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:13 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 49K 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 1678577084044

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=HealthRecord-PT-03
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-11 23:24:46] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-11 23:24:46] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-11 23:24:47] [INFO ] Load time of PNML (sax parser for PT used): 79 ms
[2023-03-11 23:24:47] [INFO ] Transformed 121 places.
[2023-03-11 23:24:47] [INFO ] Transformed 232 transitions.
[2023-03-11 23:24:47] [INFO ] Found NUPN structural information;
[2023-03-11 23:24:47] [INFO ] Parsed PT model containing 121 places and 232 transitions and 597 arcs in 192 ms.
[2023-03-11 23:24:47] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 121 places, 232 transitions and 597 arcs took 8 ms.
Total runtime 243 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HealthRecord (PT), instance 03
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: 121 places, 232 transitions, 597 arcs.
AT ITER 0 NEW BEST:: SOT 20504 SOS 11171 HAS SOPS 11159 HAS SOUS 6858 HAS SOUPS 6849 WITH SCORE 6860.171
AT ITER 1 NEW BEST:: SOT 20365 SOS 10873 HAS SOPS 10861 HAS SOUS 6829 HAS SOUPS 6820 WITH SCORE 6830.873
AT ITER 9 NEW BEST:: SOT 20365 SOS 10830 HAS SOPS 10818 HAS SOUS 6829 HAS SOUPS 6820 WITH SCORE 6830.83
AT ITER 10 NEW BEST:: SOT 20273 SOS 10739 HAS SOPS 10727 HAS SOUS 6788 HAS SOUPS 6779 WITH SCORE 6789.739
AT ITER 20 NEW BEST:: SOT 19373 SOS 10064 HAS SOPS 10052 HAS SOUS 6566 HAS SOUPS 6557 WITH SCORE 6567.064
AT ITER 21 NEW BEST:: SOT 19288 SOS 9922 HAS SOPS 9910 HAS SOUS 6493 HAS SOUPS 6484 WITH SCORE 6493.922
AT ITER 23 NEW BEST:: SOT 19170 SOS 9761 HAS SOPS 9749 HAS SOUS 6373 HAS SOUPS 6364 WITH SCORE 6373.761
AT ITER 24 NEW BEST:: SOT 19093 SOS 9606 HAS SOPS 9594 HAS SOUS 6285 HAS SOUPS 6276 WITH SCORE 6285.606
AT ITER 25 NEW BEST:: SOT 19061 SOS 9543 HAS SOPS 9531 HAS SOUS 6232 HAS SOUPS 6223 WITH SCORE 6232.543
AT ITER 26 NEW BEST:: SOT 19060 SOS 9542 HAS SOPS 9530 HAS SOUS 6231 HAS SOUPS 6222 WITH SCORE 6231.542
AT ITER 28 NEW BEST:: SOT 19044 SOS 9534 HAS SOPS 9522 HAS SOUS 6230 HAS SOUPS 6221 WITH SCORE 6230.534
AT ITER 29 NEW BEST:: SOT 19060 SOS 9550 HAS SOPS 9538 HAS SOUS 6214 HAS SOUPS 6205 WITH SCORE 6214.55
AT ITER 31 NEW BEST:: SOT 19060 SOS 9550 HAS SOPS 9538 HAS SOUS 6200 HAS SOUPS 6191 WITH SCORE 6200.55
AT ITER 34 NEW BEST:: SOT 18374 SOS 10137 HAS SOPS 10125 HAS SOUS 6036 HAS SOUPS 6027 WITH SCORE 6037.137
AT ITER 35 NEW BEST:: SOT 18356 SOS 10123 HAS SOPS 10111 HAS SOUS 6022 HAS SOUPS 6013 WITH SCORE 6023.123
AT ITER 37 NEW BEST:: SOT 18356 SOS 10078 HAS SOPS 10066 HAS SOUS 6022 HAS SOUPS 6013 WITH SCORE 6023.078
AT ITER 44 NEW BEST:: SOT 18270 SOS 9996 HAS SOPS 9984 HAS SOUS 5996 HAS SOUPS 5987 WITH SCORE 5996.996
AT ITER 55 NEW BEST:: SOT 18304 SOS 9908 HAS SOPS 9896 HAS SOUS 5941 HAS SOUPS 5932 WITH SCORE 5941.908
AT ITER 57 NEW BEST:: SOT 18256 SOS 9828 HAS SOPS 9816 HAS SOUS 5909 HAS SOUPS 5900 WITH SCORE 5909.828
AT ITER 62 NEW BEST:: SOT 18248 SOS 9804 HAS SOPS 9792 HAS SOUS 5901 HAS SOUPS 5892 WITH SCORE 5901.804
AT ITER 63 NEW BEST:: SOT 18247 SOS 9803 HAS SOPS 9791 HAS SOUS 5869 HAS SOUPS 5860 WITH SCORE 5869.803
AT ITER 72 NEW BEST:: SOT 18257 SOS 9833 HAS SOPS 9821 HAS SOUS 5859 HAS SOUPS 5850 WITH SCORE 5859.833
AT ITER 74 NEW BEST:: SOT 18208 SOS 9844 HAS SOPS 9832 HAS SOUS 5797 HAS SOUPS 5788 WITH SCORE 5797.844
AT ITER 75 NEW BEST:: SOT 18211 SOS 9812 HAS SOPS 9800 HAS SOUS 5762 HAS SOUPS 5753 WITH SCORE 5762.812
AT ITER 87 NEW BEST:: SOT 18325 SOS 10021 HAS SOPS 10009 HAS SOUS 5753 HAS SOUPS 5744 WITH SCORE 5754.021
AT ITER 90 NEW BEST:: SOT 18283 SOS 9958 HAS SOPS 9946 HAS SOUS 5711 HAS SOUPS 5702 WITH SCORE 5711.958
AT ITER 98 NEW BEST:: SOT 18270 SOS 9945 HAS SOPS 9933 HAS SOUS 5693 HAS SOUPS 5684 WITH SCORE 5693.945
AT ITER 106 NEW BEST:: SOT 17546 SOS 9459 HAS SOPS 9447 HAS SOUS 4990 HAS SOUPS 4981 WITH SCORE 4990.459
AT ITER 107 NEW BEST:: SOT 17510 SOS 9389 HAS SOPS 9377 HAS SOUS 4986 HAS SOUPS 4977 WITH SCORE 4986.389
AT ITER 112 NEW BEST:: SOT 17510 SOS 9373 HAS SOPS 9361 HAS SOUS 4986 HAS SOUPS 4977 WITH SCORE 4986.373
AT ITER 114 NEW BEST:: SOT 17490 SOS 9289 HAS SOPS 9277 HAS SOUS 4922 HAS SOUPS 4913 WITH SCORE 4922.289
AT ITER 115 NEW BEST:: SOT 17500 SOS 9314 HAS SOPS 9302 HAS SOUS 4905 HAS SOUPS 4896 WITH SCORE 4905.314
AT ITER 120 NEW BEST:: SOT 16566 SOS 8926 HAS SOPS 8914 HAS SOUS 3931 HAS SOUPS 3922 WITH SCORE 3930.926
AT ITER 121 NEW BEST:: SOT 16528 SOS 8796 HAS SOPS 8784 HAS SOUS 3929 HAS SOUPS 3920 WITH SCORE 3928.796
AT ITER 124 NEW BEST:: SOT 16549 SOS 8806 HAS SOPS 8794 HAS SOUS 3926 HAS SOUPS 3917 WITH SCORE 3925.806
AT ITER 125 NEW BEST:: SOT 16546 SOS 8804 HAS SOPS 8792 HAS SOUS 3923 HAS SOUPS 3914 WITH SCORE 3922.804
AT ITER 128 NEW BEST:: SOT 16585 SOS 8934 HAS SOPS 8922 HAS SOUS 3919 HAS SOUPS 3910 WITH SCORE 3918.934
AT ITER 130 NEW BEST:: SOT 16584 SOS 8934 HAS SOPS 8922 HAS SOUS 3918 HAS SOUPS 3909 WITH SCORE 3917.934
AT ITER 131 NEW BEST:: SOT 16574 SOS 8910 HAS SOPS 8898 HAS SOUS 3898 HAS SOUPS 3889 WITH SCORE 3897.91
AT ITER 139 NEW BEST:: SOT 16563 SOS 8670 HAS SOPS 8658 HAS SOUS 3884 HAS SOUPS 3875 WITH SCORE 3883.67
AT ITER 142 NEW BEST:: SOT 16517 SOS 8555 HAS SOPS 8543 HAS SOUS 3815 HAS SOUPS 3806 WITH SCORE 3814.555
AT ITER 146 NEW BEST:: SOT 16517 SOS 8555 HAS SOPS 8543 HAS SOUS 3810 HAS SOUPS 3801 WITH SCORE 3809.555
AT ITER 149 NEW BEST:: SOT 16510 SOS 8548 HAS SOPS 8536 HAS SOUS 3803 HAS SOUPS 3794 WITH SCORE 3802.548
AT ITER 151 NEW BEST:: SOT 16510 SOS 8548 HAS SOPS 8536 HAS SOUS 3802 HAS SOUPS 3793 WITH SCORE 3801.548
AT ITER 152 NEW BEST:: SOT 16520 SOS 8564 HAS SOPS 8552 HAS SOUS 3793 HAS SOUPS 3784 WITH SCORE 3792.564
AT ITER 154 NEW BEST:: SOT 16319 SOS 8532 HAS SOPS 8520 HAS SOUS 3623 HAS SOUPS 3614 WITH SCORE 3622.532
AT ITER 164 NEW BEST:: SOT 16316 SOS 8526 HAS SOPS 8514 HAS SOUS 3595 HAS SOUPS 3586 WITH SCORE 3594.526
AT ITER 165 NEW BEST:: SOT 16279 SOS 8393 HAS SOPS 8381 HAS SOUS 3527 HAS SOUPS 3518 WITH SCORE 3526.393
AT ITER 166 NEW BEST:: SOT 16252 SOS 8360 HAS SOPS 8348 HAS SOUS 3497 HAS SOUPS 3488 WITH SCORE 3496.36
AT ITER 169 NEW BEST:: SOT 16216 SOS 8242 HAS SOPS 8230 HAS SOUS 3461 HAS SOUPS 3452 WITH SCORE 3460.242
AT ITER 185 NEW BEST:: SOT 16208 SOS 8150 HAS SOPS 8138 HAS SOUS 3456 HAS SOUPS 3447 WITH SCORE 3455.15
AT ITER 188 NEW BEST:: SOT 16152 SOS 8066 HAS SOPS 8054 HAS SOUS 3450 HAS SOUPS 3441 WITH SCORE 3449.066
AT ITER 189 NEW BEST:: SOT 16119 SOS 8025 HAS SOPS 8013 HAS SOUS 3448 HAS SOUPS 3439 WITH SCORE 3447.025
AT ITER 200 NEW BEST:: SOT 16078 SOS 7943 HAS SOPS 7931 HAS SOUS 3414 HAS SOUPS 3405 WITH SCORE 3412.943
AT ITER 201 NEW BEST:: SOT 16066 SOS 7931 HAS SOPS 7919 HAS SOUS 3402 HAS SOUPS 3393 WITH SCORE 3400.931
AT ITER 211 NEW BEST:: SOT 16051 SOS 7901 HAS SOPS 7889 HAS SOUS 3402 HAS SOUPS 3393 WITH SCORE 3400.901
AT ITER 212 NEW BEST:: SOT 15996 SOS 7849 HAS SOPS 7837 HAS SOUS 3352 HAS SOUPS 3343 WITH SCORE 3350.849
AT ITER 215 NEW BEST:: SOT 15996 SOS 7849 HAS SOPS 7837 HAS SOUS 3347 HAS SOUPS 3338 WITH SCORE 3345.849
AT ITER 217 NEW BEST:: SOT 15986 SOS 7839 HAS SOPS 7827 HAS SOUS 3344 HAS SOUPS 3335 WITH SCORE 3342.839
AT ITER 223 NEW BEST:: SOT 15984 SOS 7835 HAS SOPS 7823 HAS SOUS 3342 HAS SOUPS 3333 WITH SCORE 3340.835
AT ITER 259 NEW BEST:: SOT 15998 SOS 7851 HAS SOPS 7839 HAS SOUS 3315 HAS SOUPS 3306 WITH SCORE 3313.851
AT ITER 271 NEW BEST:: SOT 15979 SOS 7823 HAS SOPS 7811 HAS SOUS 3293 HAS SOUPS 3284 WITH SCORE 3291.823
AT ITER 279 NEW BEST:: SOT 15979 SOS 7822 HAS SOPS 7810 HAS SOUS 3293 HAS SOUPS 3284 WITH SCORE 3291.822
AT ITER 282 NEW BEST:: SOT 15969 SOS 7797 HAS SOPS 7785 HAS SOUS 3273 HAS SOUPS 3264 WITH SCORE 3271.797
AT ITER 285 NEW BEST:: SOT 15864 SOS 7598 HAS SOPS 7586 HAS SOUS 3226 HAS SOUPS 3217 WITH SCORE 3224.598
AT ITER 303 NEW BEST:: SOT 15822 SOS 7578 HAS SOPS 7566 HAS SOUS 3200 HAS SOUPS 3191 WITH SCORE 3198.578
AT ITER 308 NEW BEST:: SOT 15715 SOS 7424 HAS SOPS 7412 HAS SOUS 3128 HAS SOUPS 3119 WITH SCORE 3126.424
AT ITER 330 NEW BEST:: SOT 15721 SOS 7430 HAS SOPS 7418 HAS SOUS 3121 HAS SOUPS 3112 WITH SCORE 3119.43
AT ITER 331 NEW BEST:: SOT 15703 SOS 7474 HAS SOPS 7462 HAS SOUS 3118 HAS SOUPS 3109 WITH SCORE 3116.474
AT ITER 334 NEW BEST:: SOT 15720 SOS 7491 HAS SOPS 7479 HAS SOUS 3109 HAS SOUPS 3100 WITH SCORE 3107.491
AT ITER 337 NEW BEST:: SOT 15710 SOS 7444 HAS SOPS 7432 HAS SOUS 3083 HAS SOUPS 3074 WITH SCORE 3081.444
AT ITER 338 NEW BEST:: SOT 15700 SOS 7431 HAS SOPS 7419 HAS SOUS 3073 HAS SOUPS 3064 WITH SCORE 3071.431
AT ITER 339 NEW BEST:: SOT 15692 SOS 7423 HAS SOPS 7411 HAS SOUS 3066 HAS SOUPS 3057 WITH SCORE 3064.423
AT ITER 351 NEW BEST:: SOT 15630 SOS 7370 HAS SOPS 7358 HAS SOUS 3041 HAS SOUPS 3032 WITH SCORE 3039.37
AT ITER 355 NEW BEST:: SOT 15593 SOS 7323 HAS SOPS 7311 HAS SOUS 2994 HAS SOUPS 2985 WITH SCORE 2992.323
AT ITER 359 NEW BEST:: SOT 15597 SOS 7326 HAS SOPS 7314 HAS SOUS 2986 HAS SOUPS 2977 WITH SCORE 2984.326
AT ITER 362 NEW BEST:: SOT 15607 SOS 7336 HAS SOPS 7324 HAS SOUS 2976 HAS SOUPS 2967 WITH SCORE 2974.336
AT ITER 366 NEW BEST:: SOT 15615 SOS 7320 HAS SOPS 7308 HAS SOUS 2972 HAS SOUPS 2963 WITH SCORE 2970.32
AT ITER 371 NEW BEST:: SOT 15620 SOS 7328 HAS SOPS 7316 HAS SOUS 2970 HAS SOUPS 2961 WITH SCORE 2968.328
AT ITER 373 NEW BEST:: SOT 15632 SOS 7356 HAS SOPS 7344 HAS SOUS 2968 HAS SOUPS 2959 WITH SCORE 2966.356
AT ITER 383 NEW BEST:: SOT 15619 SOS 7263 HAS SOPS 7251 HAS SOUS 2951 HAS SOUPS 2942 WITH SCORE 2949.263
AT ITER 391 NEW BEST:: SOT 15581 SOS 7193 HAS SOPS 7181 HAS SOUS 2913 HAS SOUPS 2904 WITH SCORE 2911.193
AT ITER 395 NEW BEST:: SOT 15576 SOS 7188 HAS SOPS 7176 HAS SOUS 2908 HAS SOUPS 2899 WITH SCORE 2906.188
AT ITER 396 NEW BEST:: SOT 15579 SOS 7191 HAS SOPS 7179 HAS SOUS 2889 HAS SOUPS 2880 WITH SCORE 2887.191
AT ITER 404 NEW BEST:: SOT 15563 SOS 7183 HAS SOPS 7171 HAS SOUS 2886 HAS SOUPS 2877 WITH SCORE 2884.183
AT ITER 411 NEW BEST:: SOT 15569 SOS 7189 HAS SOPS 7177 HAS SOUS 2876 HAS SOUPS 2867 WITH SCORE 2874.189
AT ITER 437 NEW BEST:: SOT 15569 SOS 7189 HAS SOPS 7177 HAS SOUS 2867 HAS SOUPS 2858 WITH SCORE 2865.189
AT ITER 438 NEW BEST:: SOT 15573 SOS 7175 HAS SOPS 7163 HAS SOUS 2866 HAS SOUPS 2857 WITH SCORE 2864.175
AT ITER 465 NEW BEST:: SOT 15537 SOS 7139 HAS SOPS 7127 HAS SOUS 2830 HAS SOUPS 2821 WITH SCORE 2828.139
AT ITER 468 NEW BEST:: SOT 15432 SOS 8319 HAS SOPS 8307 HAS SOUS 2757 HAS SOUPS 2748 WITH SCORE 2756.319
AT ITER 471 NEW BEST:: SOT 15420 SOS 8345 HAS SOPS 8333 HAS SOUS 2754 HAS SOUPS 2745 WITH SCORE 2753.345
AT ITER 480 NEW BEST:: SOT 15423 SOS 8338 HAS SOPS 8326 HAS SOUS 2747 HAS SOUPS 2738 WITH SCORE 2746.338
AT ITER 490 NEW BEST:: SOT 15411 SOS 8326 HAS SOPS 8314 HAS SOUS 2747 HAS SOUPS 2738 WITH SCORE 2746.326
AT ITER 491 NEW BEST:: SOT 15409 SOS 8324 HAS SOPS 8312 HAS SOUS 2743 HAS SOUPS 2734 WITH SCORE 2742.324
AT ITER 506 NEW BEST:: SOT 15398 SOS 8299 HAS SOPS 8287 HAS SOUS 2718 HAS SOUPS 2709 WITH SCORE 2717.299
AT ITER 521 NEW BEST:: SOT 15386 SOS 8268 HAS SOPS 8256 HAS SOUS 2703 HAS SOUPS 2694 WITH SCORE 2702.268
AT ITER 528 NEW BEST:: SOT 15375 SOS 8246 HAS SOPS 8234 HAS SOUS 2703 HAS SOUPS 2694 WITH SCORE 2702.246
AT ITER 533 NEW BEST:: SOT 15375 SOS 8246 HAS SOPS 8234 HAS SOUS 2702 HAS SOUPS 2693 WITH SCORE 2701.246
AT ITER 549 NEW BEST:: SOT 15368 SOS 8239 HAS SOPS 8227 HAS SOUS 2697 HAS SOUPS 2688 WITH SCORE 2696.239
AT ITER 554 NEW BEST:: SOT 15354 SOS 8248 HAS SOPS 8236 HAS SOUS 2687 HAS SOUPS 2678 WITH SCORE 2686.248
AT ITER 558 NEW BEST:: SOT 15350 SOS 8244 HAS SOPS 8232 HAS SOUS 2683 HAS SOUPS 2674 WITH SCORE 2682.244
AT ITER 559 NEW BEST:: SOT 15347 SOS 8241 HAS SOPS 8229 HAS SOUS 2676 HAS SOUPS 2667 WITH SCORE 2675.241
AT ITER 577 NEW BEST:: SOT 15349 SOS 8243 HAS SOPS 8231 HAS SOUS 2665 HAS SOUPS 2656 WITH SCORE 2664.243
AT ITER 579 NEW BEST:: SOT 15332 SOS 8211 HAS SOPS 8199 HAS SOUS 2660 HAS SOUPS 2651 WITH SCORE 2659.211
AT ITER 591 NEW BEST:: SOT 15324 SOS 8205 HAS SOPS 8193 HAS SOUS 2652 HAS SOUPS 2643 WITH SCORE 2651.205
AT ITER 625 NEW BEST:: SOT 15320 SOS 8050 HAS SOPS 8038 HAS SOUS 2645 HAS SOUPS 2636 WITH SCORE 2644.05
AT ITER 630 NEW BEST:: SOT 15318 SOS 8048 HAS SOPS 8036 HAS SOUS 2643 HAS SOUPS 2634 WITH SCORE 2642.048
AT ITER 652 NEW BEST:: SOT 15317 SOS 8045 HAS SOPS 8033 HAS SOUS 2628 HAS SOUPS 2619 WITH SCORE 2627.045
AT ITER 655 NEW BEST:: SOT 15262 SOS 8191 HAS SOPS 8179 HAS SOUS 2573 HAS SOUPS 2564 WITH SCORE 2572.191
AT ITER 672 NEW BEST:: SOT 15270 SOS 8199 HAS SOPS 8187 HAS SOUS 2555 HAS SOUPS 2546 WITH SCORE 2554.199
AT ITER 675 NEW BEST:: SOT 15267 SOS 8192 HAS SOPS 8180 HAS SOUS 2553 HAS SOUPS 2544 WITH SCORE 2552.192
AT ITER 686 NEW BEST:: SOT 15258 SOS 8173 HAS SOPS 8161 HAS SOUS 2542 HAS SOUPS 2533 WITH SCORE 2541.173
AT ITER 690 NEW BEST:: SOT 15236 SOS 8132 HAS SOPS 8120 HAS SOUS 2520 HAS SOUPS 2511 WITH SCORE 2519.132
AT ITER 736 NEW BEST:: SOT 15230 SOS 8126 HAS SOPS 8114 HAS SOUS 2514 HAS SOUPS 2505 WITH SCORE 2513.126
AT ITER 769 NEW BEST:: SOT 15223 SOS 8119 HAS SOPS 8107 HAS SOUS 2507 HAS SOUPS 2498 WITH SCORE 2506.119
AT ITER 770 NEW BEST:: SOT 15214 SOS 8120 HAS SOPS 8108 HAS SOUS 2495 HAS SOUPS 2486 WITH SCORE 2494.12
AT ITER 773 NEW BEST:: SOT 15211 SOS 8117 HAS SOPS 8105 HAS SOUS 2489 HAS SOUPS 2480 WITH SCORE 2488.117
AT ITER 781 NEW BEST:: SOT 15213 SOS 8119 HAS SOPS 8107 HAS SOUS 2486 HAS SOUPS 2477 WITH SCORE 2485.119
AT ITER 785 NEW BEST:: SOT 15225 SOS 8136 HAS SOPS 8124 HAS SOUS 2478 HAS SOUPS 2469 WITH SCORE 2477.136
AT ITER 797 NEW BEST:: SOT 15200 SOS 8126 HAS SOPS 8114 HAS SOUS 2478 HAS SOUPS 2469 WITH SCORE 2477.126
AT ITER 816 NEW BEST:: SOT 15196 SOS 8128 HAS SOPS 8116 HAS SOUS 2475 HAS SOUPS 2466 WITH SCORE 2474.128
AT ITER 826 NEW BEST:: SOT 15191 SOS 8112 HAS SOPS 8100 HAS SOUS 2474 HAS SOUPS 2465 WITH SCORE 2473.112
AT ITER 847 NEW BEST:: SOT 15211 SOS 8192 HAS SOPS 8180 HAS SOUS 2467 HAS SOUPS 2458 WITH SCORE 2466.192
AT ITER 848 NEW BEST:: SOT 15208 SOS 8147 HAS SOPS 8135 HAS SOUS 2464 HAS SOUPS 2455 WITH SCORE 2463.147
AT ITER 851 NEW BEST:: SOT 15196 SOS 8133 HAS SOPS 8121 HAS SOUS 2450 HAS SOUPS 2441 WITH SCORE 2449.133
AT ITER 852 NEW BEST:: SOT 15196 SOS 8133 HAS SOPS 8121 HAS SOUS 2443 HAS SOUPS 2434 WITH SCORE 2442.133
AT ITER 861 NEW BEST:: SOT 15196 SOS 8130 HAS SOPS 8118 HAS SOUS 2443 HAS SOUPS 2434 WITH SCORE 2442.13
AT ITER 880 NEW BEST:: SOT 15190 SOS 8124 HAS SOPS 8112 HAS SOUS 2443 HAS SOUPS 2434 WITH SCORE 2442.124
AT ITER 895 NEW BEST:: SOT 15194 SOS 8106 HAS SOPS 8094 HAS SOUS 2432 HAS SOUPS 2423 WITH SCORE 2431.106
AT ITER 908 NEW BEST:: SOT 15196 SOS 8084 HAS SOPS 8072 HAS SOUS 2423 HAS SOUPS 2414 WITH SCORE 2422.084
AT ITER 914 NEW BEST:: SOT 15206 SOS 8098 HAS SOPS 8086 HAS SOUS 2420 HAS SOUPS 2411 WITH SCORE 2419.098
AT ITER 929 NEW BEST:: SOT 15201 SOS 8087 HAS SOPS 8075 HAS SOUS 2420 HAS SOUPS 2411 WITH SCORE 2419.087
AT ITER 936 NEW BEST:: SOT 15197 SOS 8083 HAS SOPS 8071 HAS SOUS 2420 HAS SOUPS 2411 WITH SCORE 2419.083
AT ITER 1004 NEW BEST:: SOT 15202 SOS 8085 HAS SOPS 8073 HAS SOUS 2417 HAS SOUPS 2408 WITH SCORE 2416.085
AT ITER 1009 NEW BEST:: SOT 15203 SOS 8087 HAS SOPS 8075 HAS SOUS 2416 HAS SOUPS 2407 WITH SCORE 2415.087
AT ITER 1038 NEW BEST:: SOT 15212 SOS 8047 HAS SOPS 8035 HAS SOUS 2407 HAS SOUPS 2398 WITH SCORE 2406.047
AT ITER 1052 NEW BEST:: SOT 15209 SOS 8035 HAS SOPS 8023 HAS SOUS 2404 HAS SOUPS 2395 WITH SCORE 2403.035
AT ITER 1128 NEW BEST:: SOT 15237 SOS 8068 HAS SOPS 8056 HAS SOUS 2395 HAS SOUPS 2386 WITH SCORE 2394.068
AT ITER 1139 NEW BEST:: SOT 15237 SOS 8067 HAS SOPS 8055 HAS SOUS 2395 HAS SOUPS 2386 WITH SCORE 2394.067
AT ITER 1176 NEW BEST:: SOT 15222 SOS 8032 HAS SOPS 8020 HAS SOUS 2385 HAS SOUPS 2376 WITH SCORE 2384.032
AT ITER 1218 NEW BEST:: SOT 15220 SOS 8017 HAS SOPS 8005 HAS SOUS 2383 HAS SOUPS 2374 WITH SCORE 2382.017
AT ITER 1242 NEW BEST:: SOT 15216 SOS 8013 HAS SOPS 8001 HAS SOUS 2379 HAS SOUPS 2370 WITH SCORE 2378.013
AT ITER 1248 NEW BEST:: SOT 15242 SOS 8066 HAS SOPS 8054 HAS SOUS 2372 HAS SOUPS 2363 WITH SCORE 2371.066
AT ITER 1295 NEW BEST:: SOT 15238 SOS 8058 HAS SOPS 8046 HAS SOUS 2372 HAS SOUPS 2363 WITH SCORE 2371.058
AT ITER 1302 NEW BEST:: SOT 15228 SOS 8043 HAS SOPS 8031 HAS SOUS 2362 HAS SOUPS 2353 WITH SCORE 2361.043
AT ITER 1306 NEW BEST:: SOT 15208 SOS 8007 HAS SOPS 7995 HAS SOUS 2356 HAS SOUPS 2347 WITH SCORE 2355.007
AT ITER 1319 NEW BEST:: SOT 15226 SOS 8721 HAS SOPS 8709 HAS SOUS 2348 HAS SOUPS 2339 WITH SCORE 2347.721
AT ITER 1326 NEW BEST:: SOT 15214 SOS 8709 HAS SOPS 8697 HAS SOUS 2324 HAS SOUPS 2315 WITH SCORE 2323.709
AT ITER 1329 NEW BEST:: SOT 15213 SOS 8686 HAS SOPS 8674 HAS SOUS 2323 HAS SOUPS 2314 WITH SCORE 2322.686
AT ITER 1338 NEW BEST:: SOT 15212 SOS 8684 HAS SOPS 8672 HAS SOUS 2322 HAS SOUPS 2313 WITH SCORE 2321.684
AT ITER 1345 NEW BEST:: SOT 15208 SOS 8680 HAS SOPS 8668 HAS SOUS 2316 HAS SOUPS 2307 WITH SCORE 2315.68
AT ITER 1366 NEW BEST:: SOT 15190 SOS 8662 HAS SOPS 8650 HAS SOUS 2303 HAS SOUPS 2294 WITH SCORE 2302.662
AT ITER 1373 NEW BEST:: SOT 15189 SOS 8661 HAS SOPS 8649 HAS SOUS 2302 HAS SOUPS 2293 WITH SCORE 2301.661
AT ITER 1384 NEW BEST:: SOT 15184 SOS 8663 HAS SOPS 8651 HAS SOUS 2295 HAS SOUPS 2286 WITH SCORE 2294.663
AT ITER 1427 NEW BEST:: SOT 15184 SOS 8659 HAS SOPS 8647 HAS SOUS 2291 HAS SOUPS 2282 WITH SCORE 2290.659
AT ITER 1445 NEW BEST:: SOT 15168 SOS 8643 HAS SOPS 8631 HAS SOUS 2276 HAS SOUPS 2267 WITH SCORE 2275.643
AT ITER 1452 NEW BEST:: SOT 15056 SOS 8309 HAS SOPS 8297 HAS SOUS 2274 HAS SOUPS 2265 WITH SCORE 2273.309
AT ITER 1474 NEW BEST:: SOT 15060 SOS 8311 HAS SOPS 8299 HAS SOUS 2272 HAS SOUPS 2263 WITH SCORE 2271.311
AT ITER 1490 NEW BEST:: SOT 15066 SOS 8321 HAS SOPS 8309 HAS SOUS 2271 HAS SOUPS 2262 WITH SCORE 2270.321
AT ITER 1509 NEW BEST:: SOT 15063 SOS 8318 HAS SOPS 8306 HAS SOUS 2268 HAS SOUPS 2259 WITH SCORE 2267.318
AT ITER 1514 NEW BEST:: SOT 15049 SOS 8304 HAS SOPS 8292 HAS SOUS 2255 HAS SOUPS 2246 WITH SCORE 2254.304
AT ITER 1535 NEW BEST:: SOT 15002 SOS 8185 HAS SOPS 8173 HAS SOUS 2226 HAS SOUPS 2217 WITH SCORE 2225.185
AT ITER 1544 NEW BEST:: SOT 14999 SOS 8167 HAS SOPS 8155 HAS SOUS 2226 HAS SOUPS 2217 WITH SCORE 2225.167
AT ITER 1548 NEW BEST:: SOT 14997 SOS 8165 HAS SOPS 8153 HAS SOUS 2224 HAS SOUPS 2215 WITH SCORE 2223.165
AT ITER 1570 NEW BEST:: SOT 14990 SOS 8158 HAS SOPS 8146 HAS SOUS 2208 HAS SOUPS 2199 WITH SCORE 2207.158
AT ITER 1575 NEW BEST:: SOT 14977 SOS 8135 HAS SOPS 8123 HAS SOUS 2190 HAS SOUPS 2181 WITH SCORE 2189.135
AT ITER 1581 NEW BEST:: SOT 14974 SOS 8132 HAS SOPS 8120 HAS SOUS 2187 HAS SOUPS 2178 WITH SCORE 2186.132
AT ITER 1591 NEW BEST:: SOT 14974 SOS 8132 HAS SOPS 8120 HAS SOUS 2185 HAS SOUPS 2176 WITH SCORE 2184.132
AT ITER 1594 NEW BEST:: SOT 14976 SOS 8136 HAS SOPS 8124 HAS SOUS 2181 HAS SOUPS 2172 WITH SCORE 2180.136
AT ITER 1602 NEW BEST:: SOT 14968 SOS 8128 HAS SOPS 8116 HAS SOUS 2177 HAS SOUPS 2168 WITH SCORE 2176.128
AT ITER 1627 NEW BEST:: SOT 14946 SOS 8106 HAS SOPS 8094 HAS SOUS 2176 HAS SOUPS 2167 WITH SCORE 2175.106
AT ITER 1653 NEW BEST:: SOT 14942 SOS 8102 HAS SOPS 8090 HAS SOUS 2176 HAS SOUPS 2167 WITH SCORE 2175.102
AT ITER 1656 NEW BEST:: SOT 14944 SOS 8104 HAS SOPS 8092 HAS SOUS 2167 HAS SOUPS 2158 WITH SCORE 2166.104
AT ITER 1706 NEW BEST:: SOT 14951 SOS 8111 HAS SOPS 8099 HAS SOUS 2166 HAS SOUPS 2157 WITH SCORE 2165.111
AT ITER 1711 NEW BEST:: SOT 14956 SOS 8157 HAS SOPS 8145 HAS SOUS 2143 HAS SOUPS 2134 WITH SCORE 2142.157
AT ITER 1752 NEW BEST:: SOT 14950 SOS 8145 HAS SOPS 8133 HAS SOUS 2130 HAS SOUPS 2121 WITH SCORE 2129.145
AT ITER 1757 NEW BEST:: SOT 14951 SOS 8146 HAS SOPS 8134 HAS SOUS 2129 HAS SOUPS 2120 WITH SCORE 2128.146
AT ITER 1789 NEW BEST:: SOT 14925 SOS 8068 HAS SOPS 8056 HAS SOUS 2119 HAS SOUPS 2110 WITH SCORE 2118.068
AT ITER 1796 NEW BEST:: SOT 14922 SOS 8063 HAS SOPS 8051 HAS SOUS 2117 HAS SOUPS 2108 WITH SCORE 2116.063
AT ITER 1826 NEW BEST:: SOT 14911 SOS 8040 HAS SOPS 8028 HAS SOUS 2106 HAS SOUPS 2097 WITH SCORE 2105.04
AT ITER 1845 NEW BEST:: SOT 14908 SOS 8164 HAS SOPS 8152 HAS SOUS 2105 HAS SOUPS 2096 WITH SCORE 2104.164
AT ITER 1847 NEW BEST:: SOT 14902 SOS 8142 HAS SOPS 8130 HAS SOUS 2100 HAS SOUPS 2091 WITH SCORE 2099.142
AT ITER 1852 NEW BEST:: SOT 14901 SOS 8141 HAS SOPS 8129 HAS SOUS 2099 HAS SOUPS 2090 WITH SCORE 2098.141
AT ITER 1865 NEW BEST:: SOT 14892 SOS 8124 HAS SOPS 8112 HAS SOUS 2079 HAS SOUPS 2070 WITH SCORE 2078.124
AT ITER 1925 NEW BEST:: SOT 14900 SOS 8132 HAS SOPS 8120 HAS SOUS 2075 HAS SOUPS 2066 WITH SCORE 2074.132
AT ITER 1946 NEW BEST:: SOT 14900 SOS 8132 HAS SOPS 8120 HAS SOUS 2074 HAS SOUPS 2065 WITH SCORE 2073.132
AT ITER 1964 NEW BEST:: SOT 14899 SOS 8130 HAS SOPS 8118 HAS SOUS 2074 HAS SOUPS 2065 WITH SCORE 2073.13
AT ITER 1995 NEW BEST:: SOT 14906 SOS 8122 HAS SOPS 8110 HAS SOUS 2049 HAS SOUPS 2040 WITH SCORE 2048.122
AT ITER 2010 NEW BEST:: SOT 14899 SOS 8129 HAS SOPS 8117 HAS SOUS 2048 HAS SOUPS 2039 WITH SCORE 2047.129
AT ITER 2025 NEW BEST:: SOT 14899 SOS 8129 HAS SOPS 8117 HAS SOUS 2046 HAS SOUPS 2037 WITH SCORE 2045.129
AT ITER 2039 NEW BEST:: SOT 14899 SOS 8127 HAS SOPS 8115 HAS SOUS 2046 HAS SOUPS 2037 WITH SCORE 2045.127
AT ITER 2066 NEW BEST:: SOT 14881 SOS 8109 HAS SOPS 8097 HAS SOUS 2036 HAS SOUPS 2027 WITH SCORE 2035.109
AT ITER 2108 NEW BEST:: SOT 14869 SOS 8097 HAS SOPS 8085 HAS SOUS 2024 HAS SOUPS 2015 WITH SCORE 2023.097
AT ITER 2140 NEW BEST:: SOT 14870 SOS 8096 HAS SOPS 8084 HAS SOUS 2022 HAS SOUPS 2013 WITH SCORE 2021.096
AT ITER 2183 NEW BEST:: SOT 14868 SOS 8072 HAS SOPS 8060 HAS SOUS 2021 HAS SOUPS 2012 WITH SCORE 2020.072
AT ITER 2242 NEW BEST:: SOT 14906 SOS 8021 HAS SOPS 8009 HAS SOUS 2019 HAS SOUPS 2010 WITH SCORE 2018.021
AT ITER 2280 NEW BEST:: SOT 14906 SOS 7985 HAS SOPS 7973 HAS SOUS 2019 HAS SOUPS 2010 WITH SCORE 2017.985
AT ITER 2349 NEW BEST:: SOT 14904 SOS 7909 HAS SOPS 7897 HAS SOUS 2015 HAS SOUPS 2006 WITH SCORE 2013.909
AT ITER 2371 NEW BEST:: SOT 14900 SOS 7905 HAS SOPS 7893 HAS SOUS 2011 HAS SOUPS 2002 WITH SCORE 2009.905
AT ITER 2383 NEW BEST:: SOT 14911 SOS 7928 HAS SOPS 7916 HAS SOUS 2010 HAS SOUPS 2001 WITH SCORE 2008.928
AT ITER 2403 NEW BEST:: SOT 14909 SOS 7926 HAS SOPS 7914 HAS SOUS 2008 HAS SOUPS 1999 WITH SCORE 2006.926
AT ITER 2438 NEW BEST:: SOT 14909 SOS 7926 HAS SOPS 7914 HAS SOUS 2005 HAS SOUPS 1996 WITH SCORE 2003.926
AT ITER 2483 NEW BEST:: SOT 14909 SOS 7915 HAS SOPS 7903 HAS SOUS 2000 HAS SOUPS 1991 WITH SCORE 1998.915
AT ITER 2494 NEW BEST:: SOT 14903 SOS 7909 HAS SOPS 7897 HAS SOUS 1994 HAS SOUPS 1985 WITH SCORE 1992.909
AT ITER 2500 NEW BEST:: SOT 14903 SOS 7909 HAS SOPS 7897 HAS SOUS 1992 HAS SOUPS 1983 WITH SCORE 1990.909
AT ITER 2516 NEW BEST:: SOT 14894 SOS 7900 HAS SOPS 7888 HAS SOUS 1975 HAS SOUPS 1966 WITH SCORE 1973.9
AT ITER 2541 NEW BEST:: SOT 14891 SOS 7889 HAS SOPS 7877 HAS SOUS 1972 HAS SOUPS 1963 WITH SCORE 1970.889
AT ITER 2559 NEW BEST:: SOT 14889 SOS 7885 HAS SOPS 7873 HAS SOUS 1970 HAS SOUPS 1961 WITH SCORE 1968.885
AT ITER 2600 NEW BEST:: SOT 14881 SOS 7877 HAS SOPS 7865 HAS SOUS 1970 HAS SOUPS 1961 WITH SCORE 1968.877
AT ITER 2701 NEW BEST:: SOT 14878 SOS 7871 HAS SOPS 7859 HAS SOUS 1967 HAS SOUPS 1958 WITH SCORE 1965.871
AT ITER 2723 NEW BEST:: SOT 14874 SOS 7867 HAS SOPS 7855 HAS SOUS 1963 HAS SOUPS 1954 WITH SCORE 1961.867
AT ITER 2904 NEW BEST:: SOT 14870 SOS 7859 HAS SOPS 7847 HAS SOUS 1963 HAS SOUPS 1954 WITH SCORE 1961.859
AT ITER 2930 NEW BEST:: SOT 14870 SOS 7861 HAS SOPS 7849 HAS SOUS 1960 HAS SOUPS 1951 WITH SCORE 1958.861
AT ITER 2931 NEW BEST:: SOT 14876 SOS 7885 HAS SOPS 7873 HAS SOUS 1954 HAS SOUPS 1945 WITH SCORE 1952.885
AT ITER 2969 NEW BEST:: SOT 14868 SOS 7877 HAS SOPS 7865 HAS SOUS 1939 HAS SOUPS 1930 WITH SCORE 1937.877
AT ITER 3080 NEW BEST:: SOT 14867 SOS 7876 HAS SOPS 7864 HAS SOUS 1935 HAS SOUPS 1926 WITH SCORE 1933.876
AT ITER 3142 NEW BEST:: SOT 14863 SOS 7788 HAS SOPS 7776 HAS SOUS 1931 HAS SOUPS 1922 WITH SCORE 1929.788
AT ITER 3144 NEW BEST:: SOT 14866 SOS 7791 HAS SOPS 7779 HAS SOUS 1929 HAS SOUPS 1920 WITH SCORE 1927.791
AT ITER 3193 NEW BEST:: SOT 14868 SOS 7788 HAS SOPS 7776 HAS SOUS 1926 HAS SOUPS 1917 WITH SCORE 1924.788
AT ITER 3231 NEW BEST:: SOT 14869 SOS 7789 HAS SOPS 7777 HAS SOUS 1925 HAS SOUPS 1916 WITH SCORE 1923.789
AT ITER 3262 NEW BEST:: SOT 14872 SOS 7795 HAS SOPS 7783 HAS SOUS 1916 HAS SOUPS 1907 WITH SCORE 1914.795
AT ITER 3270 NEW BEST:: SOT 14872 SOS 7795 HAS SOPS 7783 HAS SOUS 1915 HAS SOUPS 1906 WITH SCORE 1913.795
AT ITER 3311 NEW BEST:: SOT 14871 SOS 7794 HAS SOPS 7782 HAS SOUS 1914 HAS SOUPS 1905 WITH SCORE 1912.794
AT ITER 3325 NEW BEST:: SOT 14870 SOS 7786 HAS SOPS 7774 HAS SOUS 1910 HAS SOUPS 1901 WITH SCORE 1908.786
AT ITER 3342 NEW BEST:: SOT 14869 SOS 7785 HAS SOPS 7773 HAS SOUS 1909 HAS SOUPS 1900 WITH SCORE 1907.785
AT ITER 3353 NEW BEST:: SOT 14870 SOS 7784 HAS SOPS 7772 HAS SOUS 1908 HAS SOUPS 1899 WITH SCORE 1906.784
AT ITER 3441 NEW BEST:: SOT 14868 SOS 7782 HAS SOPS 7770 HAS SOUS 1906 HAS SOUPS 1897 WITH SCORE 1904.782
AT ITER 3448 NEW BEST:: SOT 14873 SOS 7797 HAS SOPS 7785 HAS SOUS 1904 HAS SOUPS 1895 WITH SCORE 1902.797
AT ITER 3477 NEW BEST:: SOT 14870 SOS 7794 HAS SOPS 7782 HAS SOUS 1901 HAS SOUPS 1892 WITH SCORE 1899.794
AT ITER 3492 NEW BEST:: SOT 14870 SOS 7793 HAS SOPS 7781 HAS SOUS 1900 HAS SOUPS 1891 WITH SCORE 1898.793
AT ITER 3538 NEW BEST:: SOT 14867 SOS 7788 HAS SOPS 7776 HAS SOUS 1896 HAS SOUPS 1887 WITH SCORE 1894.788
AT ITER 3548 NEW BEST:: SOT 14863 SOS 7814 HAS SOPS 7802 HAS SOUS 1895 HAS SOUPS 1886 WITH SCORE 1893.814
AT ITER 3572 NEW BEST:: SOT 14862 SOS 7812 HAS SOPS 7800 HAS SOUS 1895 HAS SOUPS 1886 WITH SCORE 1893.812
AT ITER 3610 NEW BEST:: SOT 14860 SOS 7810 HAS SOPS 7798 HAS SOUS 1894 HAS SOUPS 1885 WITH SCORE 1892.81
AT ITER 3626 NEW BEST:: SOT 14860 SOS 7810 HAS SOPS 7798 HAS SOUS 1892 HAS SOUPS 1883 WITH SCORE 1890.81
AT ITER 3657 NEW BEST:: SOT 14860 SOS 7815 HAS SOPS 7803 HAS SOUS 1891 HAS SOUPS 1882 WITH SCORE 1889.815
AT ITER 3716 NEW BEST:: SOT 14851 SOS 7796 HAS SOPS 7784 HAS SOUS 1888 HAS SOUPS 1879 WITH SCORE 1886.796
AT ITER 3759 NEW BEST:: SOT 14854 SOS 7789 HAS SOPS 7777 HAS SOUS 1886 HAS SOUPS 1877 WITH SCORE 1884.789
AT ITER 3769 NEW BEST:: SOT 14856 SOS 7939 HAS SOPS 7927 HAS SOUS 1885 HAS SOUPS 1876 WITH SCORE 1883.939
AT ITER 3787 NEW BEST:: SOT 14855 SOS 7938 HAS SOPS 7926 HAS SOUS 1885 HAS SOUPS 1876 WITH SCORE 1883.938
AT ITER 3792 NEW BEST:: SOT 14849 SOS 7932 HAS SOPS 7920 HAS SOUS 1881 HAS SOUPS 1872 WITH SCORE 1879.932
AT ITER 3823 NEW BEST:: SOT 14841 SOS 7908 HAS SOPS 7896 HAS SOUS 1876 HAS SOUPS 1867 WITH SCORE 1874.908
AT ITER 3850 NEW BEST:: SOT 14841 SOS 7908 HAS SOPS 7896 HAS SOUS 1874 HAS SOUPS 1865 WITH SCORE 1872.908
AT ITER 3885 NEW BEST:: SOT 14841 SOS 7908 HAS SOPS 7896 HAS SOUS 1871 HAS SOUPS 1862 WITH SCORE 1869.908
AT ITER 3931 NEW BEST:: SOT 14838 SOS 7905 HAS SOPS 7893 HAS SOUS 1868 HAS SOUPS 1859 WITH SCORE 1866.905
AT ITER 3996 NEW BEST:: SOT 14835 SOS 7893 HAS SOPS 7881 HAS SOUS 1865 HAS SOUPS 1856 WITH SCORE 1863.893
AT ITER 4015 NEW BEST:: SOT 14833 SOS 7887 HAS SOPS 7875 HAS SOUS 1865 HAS SOUPS 1856 WITH SCORE 1863.887
AT ITER 4102 NEW BEST:: SOT 14830 SOS 7884 HAS SOPS 7872 HAS SOUS 1862 HAS SOUPS 1853 WITH SCORE 1860.884
AT ITER 4169 NEW BEST:: SOT 14828 SOS 7882 HAS SOPS 7870 HAS SOUS 1860 HAS SOUPS 1851 WITH SCORE 1858.882
AT ITER 4172 NEW BEST:: SOT 14828 SOS 7882 HAS SOPS 7870 HAS SOUS 1859 HAS SOUPS 1850 WITH SCORE 1857.882
AT ITER 4185 NEW BEST:: SOT 14809 SOS 7849 HAS SOPS 7837 HAS SOUS 1854 HAS SOUPS 1845 WITH SCORE 1852.849
AT ITER 4261 NEW BEST:: SOT 14804 SOS 7837 HAS SOPS 7825 HAS SOUS 1846 HAS SOUPS 1837 WITH SCORE 1844.837
AT ITER 4289 NEW BEST:: SOT 14802 SOS 7835 HAS SOPS 7823 HAS SOUS 1844 HAS SOUPS 1835 WITH SCORE 1842.835
AT ITER 4332 NEW BEST:: SOT 14801 SOS 7834 HAS SOPS 7822 HAS SOUS 1843 HAS SOUPS 1834 WITH SCORE 1841.834
AT ITER 4388 NEW BEST:: SOT 14800 SOS 7833 HAS SOPS 7821 HAS SOUS 1842 HAS SOUPS 1833 WITH SCORE 1840.833
AT ITER 4503 NEW BEST:: SOT 14812 SOS 7857 HAS SOPS 7845 HAS SOUS 1840 HAS SOUPS 1831 WITH SCORE 1838.857
AT ITER 4541 NEW BEST:: SOT 14810 SOS 7855 HAS SOPS 7843 HAS SOUS 1837 HAS SOUPS 1828 WITH SCORE 1835.855
AT ITER 4552 NEW BEST:: SOT 14809 SOS 7854 HAS SOPS 7842 HAS SOUS 1835 HAS SOUPS 1826 WITH SCORE 1833.854
AT ITER 4583 NEW BEST:: SOT 14809 SOS 7854 HAS SOPS 7842 HAS SOUS 1830 HAS SOUPS 1821 WITH SCORE 1828.854
AT ITER 4658 NEW BEST:: SOT 14810 SOS 7859 HAS SOPS 7847 HAS SOUS 1829 HAS SOUPS 1820 WITH SCORE 1827.859
AT ITER 4685 NEW BEST:: SOT 14809 SOS 7858 HAS SOPS 7846 HAS SOUS 1828 HAS SOUPS 1819 WITH SCORE 1826.858
AT ITER 4802 NEW BEST:: SOT 14808 SOS 7857 HAS SOPS 7845 HAS SOUS 1827 HAS SOUPS 1818 WITH SCORE 1825.857
AT ITER 4895 NEW BEST:: SOT 14808 SOS 7857 HAS SOPS 7845 HAS SOUS 1821 HAS SOUPS 1812 WITH SCORE 1819.857
AT ITER 4901 NEW BEST:: SOT 14804 SOS 7851 HAS SOPS 7839 HAS SOUS 1815 HAS SOUPS 1806 WITH SCORE 1813.851
AT ITER 4923 NEW BEST:: SOT 14802 SOS 7849 HAS SOPS 7837 HAS SOUS 1815 HAS SOUPS 1806 WITH SCORE 1813.849
AT ITER 4958 NEW BEST:: SOT 14792 SOS 7846 HAS SOPS 7834 HAS SOUS 1812 HAS SOUPS 1803 WITH SCORE 1810.846
AT ITER 5024 NEW BEST:: SOT 14788 SOS 7843 HAS SOPS 7831 HAS SOUS 1809 HAS SOUPS 1800 WITH SCORE 1807.843
AT ITER 5049 NEW BEST:: SOT 14787 SOS 7842 HAS SOPS 7830 HAS SOUS 1808 HAS SOUPS 1799 WITH SCORE 1806.842
AT ITER 5074 NEW BEST:: SOT 14785 SOS 7840 HAS SOPS 7828 HAS SOUS 1802 HAS SOUPS 1793 WITH SCORE 1800.84
AT ITER 5288 NEW BEST:: SOT 14781 SOS 7837 HAS SOPS 7825 HAS SOUS 1799 HAS SOUPS 1790 WITH SCORE 1797.837
AT ITER 5315 NEW BEST:: SOT 14769 SOS 7818 HAS SOPS 7806 HAS SOUS 1797 HAS SOUPS 1788 WITH SCORE 1795.818
AT ITER 5324 NEW BEST:: SOT 14769 SOS 7818 HAS SOPS 7806 HAS SOUS 1796 HAS SOUPS 1787 WITH SCORE 1794.818
AT ITER 5331 NEW BEST:: SOT 14767 SOS 7675 HAS SOPS 7663 HAS SOUS 1794 HAS SOUPS 1785 WITH SCORE 1792.675
AT ITER 5499 NEW BEST:: SOT 14761 SOS 7822 HAS SOPS 7810 HAS SOUS 1792 HAS SOUPS 1783 WITH SCORE 1790.822
AT ITER 5571 NEW BEST:: SOT 14760 SOS 7821 HAS SOPS 7809 HAS SOUS 1790 HAS SOUPS 1781 WITH SCORE 1788.821
AT ITER 5637 NEW BEST:: SOT 14760 SOS 7821 HAS SOPS 7809 HAS SOUS 1789 HAS SOUPS 1780 WITH SCORE 1787.821
AT ITER 5657 NEW BEST:: SOT 14752 SOS 7813 HAS SOPS 7801 HAS SOUS 1783 HAS SOUPS 1774 WITH SCORE 1781.813
AT ITER 5702 NEW BEST:: SOT 14751 SOS 7812 HAS SOPS 7800 HAS SOUS 1782 HAS SOUPS 1773 WITH SCORE 1780.812
AT ITER 5764 NEW BEST:: SOT 14750 SOS 7811 HAS SOPS 7799 HAS SOUS 1781 HAS SOUPS 1772 WITH SCORE 1779.811
AT ITER 5848 NEW BEST:: SOT 14742 SOS 7787 HAS SOPS 7775 HAS SOUS 1779 HAS SOUPS 1770 WITH SCORE 1777.787
AT ITER 5923 NEW BEST:: SOT 14740 SOS 7941 HAS SOPS 7929 HAS SOUS 1776 HAS SOUPS 1767 WITH SCORE 1774.941
AT ITER 6022 NEW BEST:: SOT 14738 SOS 7939 HAS SOPS 7927 HAS SOUS 1774 HAS SOUPS 1765 WITH SCORE 1772.939
AT ITER 6162 NEW BEST:: SOT 14724 SOS 7908 HAS SOPS 7896 HAS SOUS 1773 HAS SOUPS 1764 WITH SCORE 1771.908
AT ITER 6200 NEW BEST:: SOT 14720 SOS 7896 HAS SOPS 7884 HAS SOUS 1771 HAS SOUPS 1762 WITH SCORE 1769.896
AT ITER 6215 NEW BEST:: SOT 14720 SOS 7896 HAS SOPS 7884 HAS SOUS 1769 HAS SOUPS 1760 WITH SCORE 1767.896
AT ITER 6343 NEW BEST:: SOT 14719 SOS 7895 HAS SOPS 7883 HAS SOUS 1768 HAS SOUPS 1759 WITH SCORE 1766.895
AT ITER 6385 NEW BEST:: SOT 14718 SOS 7894 HAS SOPS 7882 HAS SOUS 1767 HAS SOUPS 1758 WITH SCORE 1765.894
AT ITER 6403 NEW BEST:: SOT 14715 SOS 7891 HAS SOPS 7879 HAS SOUS 1764 HAS SOUPS 1755 WITH SCORE 1762.891
AT ITER 6499 NEW BEST:: SOT 14715 SOS 7891 HAS SOPS 7879 HAS SOUS 1763 HAS SOUPS 1754 WITH SCORE 1761.891
AT ITER 6514 NEW BEST:: SOT 14717 SOS 7893 HAS SOPS 7881 HAS SOUS 1762 HAS SOUPS 1753 WITH SCORE 1760.893
AT ITER 6519 NEW BEST:: SOT 14716 SOS 7892 HAS SOPS 7880 HAS SOUS 1761 HAS SOUPS 1752 WITH SCORE 1759.892
AT ITER 6610 NEW BEST:: SOT 14707 SOS 7945 HAS SOPS 7933 HAS SOUS 1760 HAS SOUPS 1751 WITH SCORE 1758.945
AT ITER 6643 NEW BEST:: SOT 14710 SOS 7948 HAS SOPS 7936 HAS SOUS 1758 HAS SOUPS 1749 WITH SCORE 1756.948
AT ITER 6701 NEW BEST:: SOT 14710 SOS 7946 HAS SOPS 7934 HAS SOUS 1756 HAS SOUPS 1747 WITH SCORE 1754.946
AT ITER 6705 NEW BEST:: SOT 14707 SOS 7943 HAS SOPS 7931 HAS SOUS 1751 HAS SOUPS 1742 WITH SCORE 1749.943
AT ITER 6789 NEW BEST:: SOT 14705 SOS 7941 HAS SOPS 7929 HAS SOUS 1749 HAS SOUPS 1740 WITH SCORE 1747.941
AT ITER 6803 NEW BEST:: SOT 14709 SOS 7941 HAS SOPS 7929 HAS SOUS 1744 HAS SOUPS 1735 WITH SCORE 1742.941
AT ITER 6997 NEW BEST:: SOT 14703 SOS 7935 HAS SOPS 7923 HAS SOUS 1740 HAS SOUPS 1731 WITH SCORE 1738.935
AT ITER 7188 NEW BEST:: SOT 14703 SOS 7909 HAS SOPS 7897 HAS SOUS 1740 HAS SOUPS 1731 WITH SCORE 1738.909
AT ITER 7402 NEW BEST:: SOT 14691 SOS 7870 HAS SOPS 7858 HAS SOUS 1740 HAS SOUPS 1731 WITH SCORE 1738.87
AT ITER 7530 NEW BEST:: SOT 14690 SOS 7869 HAS SOPS 7857 HAS SOUS 1738 HAS SOUPS 1729 WITH SCORE 1736.869
AT ITER 7574 NEW BEST:: SOT 14692 SOS 7875 HAS SOPS 7863 HAS SOUS 1737 HAS SOUPS 1728 WITH SCORE 1735.875
AT ITER 7582 NEW BEST:: SOT 14692 SOS 7875 HAS SOPS 7863 HAS SOUS 1730 HAS SOUPS 1721 WITH SCORE 1728.875
AT ITER 7645 NEW BEST:: SOT 14692 SOS 7875 HAS SOPS 7863 HAS SOUS 1729 HAS SOUPS 1720 WITH SCORE 1727.875
AT ITER 7655 NEW BEST:: SOT 14691 SOS 7874 HAS SOPS 7862 HAS SOUS 1725 HAS SOUPS 1716 WITH SCORE 1723.874
AT ITER 7865 NEW BEST:: SOT 14690 SOS 7872 HAS SOPS 7860 HAS SOUS 1725 HAS SOUPS 1716 WITH SCORE 1723.872
AT ITER 7885 NEW BEST:: SOT 14688 SOS 7870 HAS SOPS 7858 HAS SOUS 1722 HAS SOUPS 1713 WITH SCORE 1720.87
AT ITER 7924 NEW BEST:: SOT 14686 SOS 7868 HAS SOPS 7856 HAS SOUS 1719 HAS SOUPS 1710 WITH SCORE 1717.868
AT ITER 7936 NEW BEST:: SOT 14684 SOS 7864 HAS SOPS 7852 HAS SOUS 1714 HAS SOUPS 1705 WITH SCORE 1712.864
AT ITER 8003 NEW BEST:: SOT 14683 SOS 7863 HAS SOPS 7851 HAS SOUS 1714 HAS SOUPS 1705 WITH SCORE 1712.863
AT ITER 8029 NEW BEST:: SOT 14683 SOS 7863 HAS SOPS 7851 HAS SOUS 1712 HAS SOUPS 1703 WITH SCORE 1710.863
AT ITER 8070 NEW BEST:: SOT 14684 SOS 7864 HAS SOPS 7852 HAS SOUS 1710 HAS SOUPS 1701 WITH SCORE 1708.864
AT ITER 8169 NEW BEST:: SOT 14680 SOS 7840 HAS SOPS 7828 HAS SOUS 1700 HAS SOUPS 1691 WITH SCORE 1698.84
AT ITER 8233 NEW BEST:: SOT 14679 SOS 7840 HAS SOPS 7828 HAS SOUS 1698 HAS SOUPS 1689 WITH SCORE 1696.84
AT ITER 8341 NEW BEST:: SOT 14679 SOS 7840 HAS SOPS 7828 HAS SOUS 1696 HAS SOUPS 1687 WITH SCORE 1694.84
AT ITER 8441 NEW BEST:: SOT 14678 SOS 7837 HAS SOPS 7825 HAS SOUS 1695 HAS SOUPS 1686 WITH SCORE 1693.837
AT ITER 8449 NEW BEST:: SOT 14678 SOS 7800 HAS SOPS 7788 HAS SOUS 1695 HAS SOUPS 1686 WITH SCORE 1693.8
AT ITER 8460 NEW BEST:: SOT 14677 SOS 7797 HAS SOPS 7785 HAS SOUS 1695 HAS SOUPS 1686 WITH SCORE 1693.797
AT ITER 8466 NEW BEST:: SOT 14678 SOS 7800 HAS SOPS 7788 HAS SOUS 1694 HAS SOUPS 1685 WITH SCORE 1692.8
AT ITER 8568 NEW BEST:: SOT 14672 SOS 7785 HAS SOPS 7773 HAS SOUS 1685 HAS SOUPS 1676 WITH SCORE 1683.785
AT ITER 8797 NEW BEST:: SOT 14671 SOS 7784 HAS SOPS 7772 HAS SOUS 1683 HAS SOUPS 1674 WITH SCORE 1681.784
AT ITER 8833 NEW BEST:: SOT 14671 SOS 7784 HAS SOPS 7772 HAS SOUS 1681 HAS SOUPS 1672 WITH SCORE 1679.784
AT ITER 8897 NEW BEST:: SOT 14669 SOS 7782 HAS SOPS 7770 HAS SOUS 1679 HAS SOUPS 1670 WITH SCORE 1677.782
AT ITER 9126 NEW BEST:: SOT 14670 SOS 7783 HAS SOPS 7771 HAS SOUS 1678 HAS SOUPS 1669 WITH SCORE 1676.783
AT ITER 9349 NEW BEST:: SOT 14667 SOS 7780 HAS SOPS 7768 HAS SOUS 1674 HAS SOUPS 1665 WITH SCORE 1672.78
AT ITER 9424 NEW BEST:: SOT 14667 SOS 7780 HAS SOPS 7768 HAS SOUS 1673 HAS SOUPS 1664 WITH SCORE 1671.78
AT ITER 9456 NEW BEST:: SOT 14665 SOS 7774 HAS SOPS 7762 HAS SOUS 1672 HAS SOUPS 1663 WITH SCORE 1670.774
AT ITER 9550 NEW BEST:: SOT 14661 SOS 7770 HAS SOPS 7758 HAS SOUS 1671 HAS SOUPS 1662 WITH SCORE 1669.77
AT ITER 9682 NEW BEST:: SOT 14660 SOS 7769 HAS SOPS 7757 HAS SOUS 1670 HAS SOUPS 1661 WITH SCORE 1668.769
AT ITER 9772 NEW BEST:: SOT 14661 SOS 7770 HAS SOPS 7758 HAS SOUS 1669 HAS SOUPS 1660 WITH SCORE 1667.77
AT ITER 9830 NEW BEST:: SOT 14655 SOS 7764 HAS SOPS 7752 HAS SOUS 1663 HAS SOUPS 1654 WITH SCORE 1661.764
STATE_SPACE STATES 4773308 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 8 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 54664040 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678577097647

--------------------
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="HealthRecord-PT-03"
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 HealthRecord-PT-03, 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 r203-smll-167840349300256"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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