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-167840349300248.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-02, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r203-smll-167840349300248
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 452K
-rw-r--r-- 1 mcc users 6.8K Feb 26 17:43 CTLCardinality.txt
-rw-r--r-- 1 mcc users 76K Feb 26 17:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.5K Feb 26 17:40 CTLFireability.txt
-rw-r--r-- 1 mcc users 38K Feb 26 17:40 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:13 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K 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 16K Feb 25 16:13 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 17:44 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 126K Feb 26 17:44 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.7K Feb 26 17:43 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 55K Feb 26 17:43 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 47K 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 1678576830817

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-02
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-11 23:20:34] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-11 23:20:34] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-11 23:20:34] [INFO ] Load time of PNML (sax parser for PT used): 80 ms
[2023-03-11 23:20:34] [INFO ] Transformed 119 places.
[2023-03-11 23:20:34] [INFO ] Transformed 225 transitions.
[2023-03-11 23:20:34] [INFO ] Found NUPN structural information;
[2023-03-11 23:20:34] [INFO ] Parsed PT model containing 119 places and 225 transitions and 577 arcs in 201 ms.
[2023-03-11 23:20:34] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 119 places, 225 transitions and 577 arcs took 8 ms.
Total runtime 261 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HealthRecord (PT), instance 02
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: 119 places, 225 transitions, 577 arcs.
AT ITER 0 NEW BEST:: SOT 19337 SOS 10290 HAS SOPS 10278 HAS SOUS 6423 HAS SOUPS 6414 WITH SCORE 6424.29
AT ITER 4 NEW BEST:: SOT 19337 SOS 10284 HAS SOPS 10272 HAS SOUS 6417 HAS SOUPS 6408 WITH SCORE 6418.284
AT ITER 6 NEW BEST:: SOT 19330 SOS 10323 HAS SOPS 10311 HAS SOUS 6394 HAS SOUPS 6385 WITH SCORE 6395.323
AT ITER 10 NEW BEST:: SOT 19330 SOS 10323 HAS SOPS 10311 HAS SOUS 6389 HAS SOUPS 6380 WITH SCORE 6390.323
AT ITER 18 NEW BEST:: SOT 18610 SOS 9739 HAS SOPS 9727 HAS SOUS 6255 HAS SOUPS 6246 WITH SCORE 6255.739
AT ITER 20 NEW BEST:: SOT 18620 SOS 9769 HAS SOPS 9757 HAS SOUS 6231 HAS SOUPS 6222 WITH SCORE 6231.769
AT ITER 21 NEW BEST:: SOT 18564 SOS 9727 HAS SOPS 9715 HAS SOUS 6217 HAS SOUPS 6208 WITH SCORE 6217.727
AT ITER 23 NEW BEST:: SOT 18558 SOS 9715 HAS SOPS 9703 HAS SOUS 6211 HAS SOUPS 6202 WITH SCORE 6211.715
AT ITER 26 NEW BEST:: SOT 18522 SOS 9633 HAS SOPS 9621 HAS SOUS 6210 HAS SOUPS 6201 WITH SCORE 6210.633
AT ITER 30 NEW BEST:: SOT 18453 SOS 9495 HAS SOPS 9483 HAS SOUS 6140 HAS SOUPS 6131 WITH SCORE 6140.495
AT ITER 31 NEW BEST:: SOT 18441 SOS 9480 HAS SOPS 9468 HAS SOUS 6099 HAS SOUPS 6090 WITH SCORE 6099.48
AT ITER 32 NEW BEST:: SOT 18413 SOS 9452 HAS SOPS 9440 HAS SOUS 6092 HAS SOUPS 6083 WITH SCORE 6092.452
AT ITER 33 NEW BEST:: SOT 18420 SOS 9498 HAS SOPS 9486 HAS SOUS 6066 HAS SOUPS 6057 WITH SCORE 6066.498
AT ITER 39 NEW BEST:: SOT 18369 SOS 9413 HAS SOPS 9401 HAS SOUS 6032 HAS SOUPS 6023 WITH SCORE 6032.413
AT ITER 43 NEW BEST:: SOT 18369 SOS 9413 HAS SOPS 9401 HAS SOUS 6021 HAS SOUPS 6012 WITH SCORE 6021.413
AT ITER 44 NEW BEST:: SOT 17944 SOS 9225 HAS SOPS 9213 HAS SOUS 5609 HAS SOUPS 5600 WITH SCORE 5609.225
AT ITER 45 NEW BEST:: SOT 17496 SOS 8877 HAS SOPS 8865 HAS SOUS 5183 HAS SOUPS 5174 WITH SCORE 5182.877
AT ITER 46 NEW BEST:: SOT 17512 SOS 8894 HAS SOPS 8882 HAS SOUS 5166 HAS SOUPS 5157 WITH SCORE 5165.894
AT ITER 50 NEW BEST:: SOT 17472 SOS 8814 HAS SOPS 8802 HAS SOUS 5126 HAS SOUPS 5117 WITH SCORE 5125.814
AT ITER 59 NEW BEST:: SOT 17472 SOS 8814 HAS SOPS 8802 HAS SOUS 5124 HAS SOUPS 5115 WITH SCORE 5123.814
AT ITER 61 NEW BEST:: SOT 17472 SOS 8813 HAS SOPS 8801 HAS SOUS 5124 HAS SOUPS 5115 WITH SCORE 5123.813
AT ITER 69 NEW BEST:: SOT 17493 SOS 8820 HAS SOPS 8808 HAS SOUS 5123 HAS SOUPS 5114 WITH SCORE 5122.82
AT ITER 70 NEW BEST:: SOT 17416 SOS 8703 HAS SOPS 8691 HAS SOUS 5081 HAS SOUPS 5072 WITH SCORE 5080.703
AT ITER 71 NEW BEST:: SOT 17406 SOS 8683 HAS SOPS 8671 HAS SOUS 5071 HAS SOUPS 5062 WITH SCORE 5070.683
AT ITER 78 NEW BEST:: SOT 17398 SOS 8671 HAS SOPS 8659 HAS SOUS 5066 HAS SOUPS 5057 WITH SCORE 5065.671
AT ITER 85 NEW BEST:: SOT 17398 SOS 8653 HAS SOPS 8641 HAS SOUS 5066 HAS SOUPS 5057 WITH SCORE 5065.653
AT ITER 88 NEW BEST:: SOT 17391 SOS 8639 HAS SOPS 8627 HAS SOUS 5059 HAS SOUPS 5050 WITH SCORE 5058.639
AT ITER 90 NEW BEST:: SOT 17399 SOS 8675 HAS SOPS 8663 HAS SOUS 5046 HAS SOUPS 5037 WITH SCORE 5045.675
AT ITER 91 NEW BEST:: SOT 17399 SOS 8674 HAS SOPS 8662 HAS SOUS 5045 HAS SOUPS 5036 WITH SCORE 5044.674
AT ITER 94 NEW BEST:: SOT 17396 SOS 8673 HAS SOPS 8661 HAS SOUS 5045 HAS SOUPS 5036 WITH SCORE 5044.673
AT ITER 97 NEW BEST:: SOT 17396 SOS 8613 HAS SOPS 8601 HAS SOUS 5016 HAS SOUPS 5007 WITH SCORE 5015.613
AT ITER 106 NEW BEST:: SOT 17382 SOS 8592 HAS SOPS 8580 HAS SOUS 5002 HAS SOUPS 4993 WITH SCORE 5001.592
AT ITER 109 NEW BEST:: SOT 17382 SOS 8592 HAS SOPS 8580 HAS SOUS 5000 HAS SOUPS 4991 WITH SCORE 4999.592
AT ITER 110 NEW BEST:: SOT 17382 SOS 8592 HAS SOPS 8580 HAS SOUS 4998 HAS SOUPS 4989 WITH SCORE 4997.592
AT ITER 113 NEW BEST:: SOT 17382 SOS 8590 HAS SOPS 8578 HAS SOUS 4998 HAS SOUPS 4989 WITH SCORE 4997.59
AT ITER 120 NEW BEST:: SOT 17367 SOS 8505 HAS SOPS 8493 HAS SOUS 4948 HAS SOUPS 4939 WITH SCORE 4947.505
AT ITER 123 NEW BEST:: SOT 17347 SOS 8507 HAS SOPS 8495 HAS SOUS 4928 HAS SOUPS 4919 WITH SCORE 4927.507
AT ITER 128 NEW BEST:: SOT 17337 SOS 8487 HAS SOPS 8475 HAS SOUS 4918 HAS SOUPS 4909 WITH SCORE 4917.487
AT ITER 129 NEW BEST:: SOT 17271 SOS 8411 HAS SOPS 8399 HAS SOUS 4875 HAS SOUPS 4866 WITH SCORE 4874.411
AT ITER 133 NEW BEST:: SOT 17242 SOS 8348 HAS SOPS 8336 HAS SOUS 4853 HAS SOUPS 4844 WITH SCORE 4852.348
AT ITER 135 NEW BEST:: SOT 17216 SOS 8309 HAS SOPS 8297 HAS SOUS 4827 HAS SOUPS 4818 WITH SCORE 4826.309
AT ITER 137 NEW BEST:: SOT 17229 SOS 8268 HAS SOPS 8256 HAS SOUS 4824 HAS SOUPS 4815 WITH SCORE 4823.268
AT ITER 139 NEW BEST:: SOT 16365 SOS 8215 HAS SOPS 8203 HAS SOUS 4618 HAS SOUPS 4609 WITH SCORE 4617.215
AT ITER 147 NEW BEST:: SOT 16311 SOS 8179 HAS SOPS 8167 HAS SOUS 4569 HAS SOUPS 4560 WITH SCORE 4568.179
AT ITER 154 NEW BEST:: SOT 16300 SOS 8167 HAS SOPS 8155 HAS SOUS 4567 HAS SOUPS 4558 WITH SCORE 4566.167
AT ITER 159 NEW BEST:: SOT 16298 SOS 8159 HAS SOPS 8147 HAS SOUS 4565 HAS SOUPS 4556 WITH SCORE 4564.159
AT ITER 160 NEW BEST:: SOT 16274 SOS 8111 HAS SOPS 8099 HAS SOUS 4546 HAS SOUPS 4537 WITH SCORE 4545.111
AT ITER 161 NEW BEST:: SOT 16294 SOS 8110 HAS SOPS 8098 HAS SOUS 4543 HAS SOUPS 4534 WITH SCORE 4542.11
AT ITER 178 NEW BEST:: SOT 16238 SOS 8033 HAS SOPS 8021 HAS SOUS 4535 HAS SOUPS 4526 WITH SCORE 4534.033
AT ITER 183 NEW BEST:: SOT 15610 SOS 7661 HAS SOPS 7649 HAS SOUS 3866 HAS SOUPS 3857 WITH SCORE 3864.661
AT ITER 195 NEW BEST:: SOT 15604 SOS 7655 HAS SOPS 7643 HAS SOUS 3828 HAS SOUPS 3819 WITH SCORE 3826.655
AT ITER 200 NEW BEST:: SOT 15536 SOS 7478 HAS SOPS 7466 HAS SOUS 3797 HAS SOUPS 3788 WITH SCORE 3795.478
AT ITER 203 NEW BEST:: SOT 15536 SOS 7478 HAS SOPS 7466 HAS SOUS 3788 HAS SOUPS 3779 WITH SCORE 3786.478
AT ITER 204 NEW BEST:: SOT 15536 SOS 7478 HAS SOPS 7466 HAS SOUS 3760 HAS SOUPS 3751 WITH SCORE 3758.478
AT ITER 233 NEW BEST:: SOT 15525 SOS 7467 HAS SOPS 7455 HAS SOUS 3749 HAS SOUPS 3740 WITH SCORE 3747.467
AT ITER 235 NEW BEST:: SOT 15525 SOS 7467 HAS SOPS 7455 HAS SOUS 3747 HAS SOUPS 3738 WITH SCORE 3745.467
AT ITER 244 NEW BEST:: SOT 15515 SOS 7447 HAS SOPS 7435 HAS SOUS 3731 HAS SOUPS 3722 WITH SCORE 3729.447
AT ITER 256 NEW BEST:: SOT 15585 SOS 6912 HAS SOPS 6900 HAS SOUS 3671 HAS SOUPS 3662 WITH SCORE 3668.912
AT ITER 257 NEW BEST:: SOT 15536 SOS 6826 HAS SOPS 6814 HAS SOUS 3622 HAS SOUPS 3613 WITH SCORE 3619.826
AT ITER 262 NEW BEST:: SOT 15524 SOS 6796 HAS SOPS 6784 HAS SOUS 3616 HAS SOUPS 3607 WITH SCORE 3613.796
AT ITER 266 NEW BEST:: SOT 15534 SOS 6791 HAS SOPS 6779 HAS SOUS 3614 HAS SOUPS 3605 WITH SCORE 3611.791
AT ITER 267 NEW BEST:: SOT 15529 SOS 6776 HAS SOPS 6764 HAS SOUS 3609 HAS SOUPS 3600 WITH SCORE 3606.776
AT ITER 273 NEW BEST:: SOT 15547 SOS 6770 HAS SOPS 6758 HAS SOUS 3587 HAS SOUPS 3578 WITH SCORE 3584.77
AT ITER 274 NEW BEST:: SOT 15542 SOS 6789 HAS SOPS 6777 HAS SOUS 3586 HAS SOUPS 3577 WITH SCORE 3583.789
AT ITER 279 NEW BEST:: SOT 15541 SOS 6784 HAS SOPS 6772 HAS SOUS 3584 HAS SOUPS 3575 WITH SCORE 3581.784
AT ITER 298 NEW BEST:: SOT 15540 SOS 6787 HAS SOPS 6775 HAS SOUS 3570 HAS SOUPS 3561 WITH SCORE 3567.787
AT ITER 306 NEW BEST:: SOT 15532 SOS 6771 HAS SOPS 6759 HAS SOUS 3552 HAS SOUPS 3543 WITH SCORE 3549.771
AT ITER 307 NEW BEST:: SOT 15513 SOS 6733 HAS SOPS 6721 HAS SOUS 3542 HAS SOUPS 3533 WITH SCORE 3539.733
AT ITER 312 NEW BEST:: SOT 15254 SOS 6881 HAS SOPS 6869 HAS SOUS 3470 HAS SOUPS 3461 WITH SCORE 3467.881
AT ITER 317 NEW BEST:: SOT 15227 SOS 6938 HAS SOPS 6926 HAS SOUS 3460 HAS SOUPS 3451 WITH SCORE 3457.938
AT ITER 321 NEW BEST:: SOT 15227 SOS 6932 HAS SOPS 6920 HAS SOUS 3457 HAS SOUPS 3448 WITH SCORE 3454.932
AT ITER 326 NEW BEST:: SOT 15227 SOS 6927 HAS SOPS 6915 HAS SOUS 3455 HAS SOUPS 3446 WITH SCORE 3452.927
AT ITER 332 NEW BEST:: SOT 15201 SOS 6980 HAS SOPS 6968 HAS SOUS 3443 HAS SOUPS 3434 WITH SCORE 3440.98
AT ITER 358 NEW BEST:: SOT 15196 SOS 6989 HAS SOPS 6977 HAS SOUS 3420 HAS SOUPS 3411 WITH SCORE 3417.989
AT ITER 373 NEW BEST:: SOT 15182 SOS 6924 HAS SOPS 6912 HAS SOUS 3419 HAS SOUPS 3410 WITH SCORE 3416.924
AT ITER 390 NEW BEST:: SOT 15175 SOS 6917 HAS SOPS 6905 HAS SOUS 3405 HAS SOUPS 3396 WITH SCORE 3402.917
AT ITER 400 NEW BEST:: SOT 15153 SOS 6873 HAS SOPS 6861 HAS SOUS 3403 HAS SOUPS 3394 WITH SCORE 3400.873
AT ITER 416 NEW BEST:: SOT 15085 SOS 6981 HAS SOPS 6969 HAS SOUS 3383 HAS SOUPS 3374 WITH SCORE 3380.981
AT ITER 418 NEW BEST:: SOT 15082 SOS 6978 HAS SOPS 6966 HAS SOUS 3370 HAS SOUPS 3361 WITH SCORE 3367.978
AT ITER 421 NEW BEST:: SOT 15090 SOS 6980 HAS SOPS 6968 HAS SOUS 3360 HAS SOUPS 3351 WITH SCORE 3357.98
AT ITER 431 NEW BEST:: SOT 15098 SOS 6960 HAS SOPS 6948 HAS SOUS 3340 HAS SOUPS 3331 WITH SCORE 3337.96
AT ITER 434 NEW BEST:: SOT 15100 SOS 6954 HAS SOPS 6942 HAS SOUS 3320 HAS SOUPS 3311 WITH SCORE 3317.954
AT ITER 447 NEW BEST:: SOT 15100 SOS 6954 HAS SOPS 6942 HAS SOUS 3314 HAS SOUPS 3305 WITH SCORE 3311.954
AT ITER 454 NEW BEST:: SOT 15123 SOS 6972 HAS SOPS 6960 HAS SOUS 3295 HAS SOUPS 3286 WITH SCORE 3292.972
AT ITER 457 NEW BEST:: SOT 14791 SOS 7234 HAS SOPS 7222 HAS SOUS 2986 HAS SOUPS 2977 WITH SCORE 2984.234
AT ITER 460 NEW BEST:: SOT 14770 SOS 7194 HAS SOPS 7182 HAS SOUS 2967 HAS SOUPS 2958 WITH SCORE 2965.194
AT ITER 461 NEW BEST:: SOT 14773 SOS 7196 HAS SOPS 7184 HAS SOUS 2951 HAS SOUPS 2942 WITH SCORE 2949.196
AT ITER 467 NEW BEST:: SOT 14784 SOS 7209 HAS SOPS 7197 HAS SOUS 2943 HAS SOUPS 2934 WITH SCORE 2941.209
AT ITER 475 NEW BEST:: SOT 14798 SOS 7223 HAS SOPS 7211 HAS SOUS 2940 HAS SOUPS 2931 WITH SCORE 2938.223
AT ITER 477 NEW BEST:: SOT 14846 SOS 7040 HAS SOPS 7028 HAS SOUS 2934 HAS SOUPS 2925 WITH SCORE 2932.04
AT ITER 478 NEW BEST:: SOT 14839 SOS 7019 HAS SOPS 7007 HAS SOUS 2917 HAS SOUPS 2908 WITH SCORE 2915.019
AT ITER 487 NEW BEST:: SOT 14851 SOS 7023 HAS SOPS 7011 HAS SOUS 2909 HAS SOUPS 2900 WITH SCORE 2907.023
AT ITER 501 NEW BEST:: SOT 14850 SOS 7029 HAS SOPS 7017 HAS SOUS 2895 HAS SOUPS 2886 WITH SCORE 2893.029
AT ITER 505 NEW BEST:: SOT 14829 SOS 6990 HAS SOPS 6978 HAS SOUS 2853 HAS SOUPS 2844 WITH SCORE 2850.99
AT ITER 510 NEW BEST:: SOT 14829 SOS 6990 HAS SOPS 6978 HAS SOUS 2851 HAS SOUPS 2842 WITH SCORE 2848.99
AT ITER 511 NEW BEST:: SOT 14834 SOS 6995 HAS SOPS 6983 HAS SOUS 2849 HAS SOUPS 2840 WITH SCORE 2846.995
AT ITER 523 NEW BEST:: SOT 14832 SOS 6993 HAS SOPS 6981 HAS SOUS 2849 HAS SOUPS 2840 WITH SCORE 2846.993
AT ITER 525 NEW BEST:: SOT 14836 SOS 6997 HAS SOPS 6985 HAS SOUS 2840 HAS SOUPS 2831 WITH SCORE 2837.997
AT ITER 536 NEW BEST:: SOT 14823 SOS 6983 HAS SOPS 6971 HAS SOUS 2839 HAS SOUPS 2830 WITH SCORE 2836.983
AT ITER 539 NEW BEST:: SOT 14776 SOS 6870 HAS SOPS 6858 HAS SOUS 2792 HAS SOUPS 2783 WITH SCORE 2789.87
AT ITER 545 NEW BEST:: SOT 14752 SOS 6786 HAS SOPS 6774 HAS SOUS 2754 HAS SOUPS 2745 WITH SCORE 2751.786
AT ITER 556 NEW BEST:: SOT 14751 SOS 6781 HAS SOPS 6769 HAS SOUS 2751 HAS SOUPS 2742 WITH SCORE 2748.781
AT ITER 565 NEW BEST:: SOT 14694 SOS 6676 HAS SOPS 6664 HAS SOUS 2708 HAS SOUPS 2699 WITH SCORE 2705.676
AT ITER 566 NEW BEST:: SOT 14670 SOS 6632 HAS SOPS 6620 HAS SOUS 2690 HAS SOUPS 2681 WITH SCORE 2687.632
AT ITER 572 NEW BEST:: SOT 14661 SOS 6621 HAS SOPS 6609 HAS SOUS 2688 HAS SOUPS 2679 WITH SCORE 2685.621
AT ITER 577 NEW BEST:: SOT 14663 SOS 6632 HAS SOPS 6620 HAS SOUS 2675 HAS SOUPS 2666 WITH SCORE 2672.632
AT ITER 579 NEW BEST:: SOT 14631 SOS 7553 HAS SOPS 7541 HAS SOUS 2660 HAS SOUPS 2651 WITH SCORE 2658.553
AT ITER 584 NEW BEST:: SOT 14628 SOS 7557 HAS SOPS 7545 HAS SOUS 2659 HAS SOUPS 2650 WITH SCORE 2657.557
AT ITER 586 NEW BEST:: SOT 14628 SOS 7555 HAS SOPS 7543 HAS SOUS 2659 HAS SOUPS 2650 WITH SCORE 2657.555
AT ITER 591 NEW BEST:: SOT 14623 SOS 7545 HAS SOPS 7533 HAS SOUS 2658 HAS SOUPS 2649 WITH SCORE 2656.545
AT ITER 598 NEW BEST:: SOT 14557 SOS 7479 HAS SOPS 7467 HAS SOUS 2609 HAS SOUPS 2600 WITH SCORE 2607.479
AT ITER 616 NEW BEST:: SOT 14543 SOS 7451 HAS SOPS 7439 HAS SOUS 2589 HAS SOUPS 2580 WITH SCORE 2587.451
AT ITER 641 NEW BEST:: SOT 14545 SOS 7453 HAS SOPS 7441 HAS SOUS 2584 HAS SOUPS 2575 WITH SCORE 2582.453
AT ITER 651 NEW BEST:: SOT 14539 SOS 7445 HAS SOPS 7433 HAS SOUS 2575 HAS SOUPS 2566 WITH SCORE 2573.445
AT ITER 656 NEW BEST:: SOT 14537 SOS 7443 HAS SOPS 7431 HAS SOUS 2571 HAS SOUPS 2562 WITH SCORE 2569.443
AT ITER 671 NEW BEST:: SOT 14531 SOS 7437 HAS SOPS 7425 HAS SOUS 2559 HAS SOUPS 2550 WITH SCORE 2557.437
AT ITER 672 NEW BEST:: SOT 14524 SOS 7419 HAS SOPS 7407 HAS SOUS 2551 HAS SOUPS 2542 WITH SCORE 2549.419
AT ITER 683 NEW BEST:: SOT 14520 SOS 7419 HAS SOPS 7407 HAS SOUS 2543 HAS SOUPS 2534 WITH SCORE 2541.419
AT ITER 704 NEW BEST:: SOT 14514 SOS 7406 HAS SOPS 7394 HAS SOUS 2539 HAS SOUPS 2530 WITH SCORE 2537.406
AT ITER 708 NEW BEST:: SOT 14488 SOS 7354 HAS SOPS 7342 HAS SOUS 2528 HAS SOUPS 2519 WITH SCORE 2526.354
AT ITER 714 NEW BEST:: SOT 14487 SOS 7353 HAS SOPS 7341 HAS SOUS 2525 HAS SOUPS 2516 WITH SCORE 2523.353
AT ITER 754 NEW BEST:: SOT 14487 SOS 7351 HAS SOPS 7339 HAS SOUS 2524 HAS SOUPS 2515 WITH SCORE 2522.351
AT ITER 779 NEW BEST:: SOT 14485 SOS 7346 HAS SOPS 7334 HAS SOUS 2521 HAS SOUPS 2512 WITH SCORE 2519.346
AT ITER 794 NEW BEST:: SOT 14480 SOS 7341 HAS SOPS 7329 HAS SOUS 2512 HAS SOUPS 2503 WITH SCORE 2510.341
AT ITER 798 NEW BEST:: SOT 14478 SOS 7329 HAS SOPS 7317 HAS SOUS 2510 HAS SOUPS 2501 WITH SCORE 2508.329
AT ITER 812 NEW BEST:: SOT 14473 SOS 7322 HAS SOPS 7310 HAS SOUS 2507 HAS SOUPS 2498 WITH SCORE 2505.322
AT ITER 831 NEW BEST:: SOT 14466 SOS 7315 HAS SOPS 7303 HAS SOUS 2504 HAS SOUPS 2495 WITH SCORE 2502.315
AT ITER 838 NEW BEST:: SOT 14455 SOS 7286 HAS SOPS 7274 HAS SOUS 2496 HAS SOUPS 2487 WITH SCORE 2494.286
AT ITER 840 NEW BEST:: SOT 14452 SOS 7283 HAS SOPS 7271 HAS SOUS 2496 HAS SOUPS 2487 WITH SCORE 2494.283
AT ITER 867 NEW BEST:: SOT 14444 SOS 7275 HAS SOPS 7263 HAS SOUS 2496 HAS SOUPS 2487 WITH SCORE 2494.275
AT ITER 881 NEW BEST:: SOT 14432 SOS 7237 HAS SOPS 7225 HAS SOUS 2481 HAS SOUPS 2472 WITH SCORE 2479.237
AT ITER 889 NEW BEST:: SOT 14428 SOS 7233 HAS SOPS 7221 HAS SOUS 2468 HAS SOUPS 2459 WITH SCORE 2466.233
AT ITER 906 NEW BEST:: SOT 14429 SOS 7238 HAS SOPS 7226 HAS SOUS 2463 HAS SOUPS 2454 WITH SCORE 2461.238
AT ITER 907 NEW BEST:: SOT 14431 SOS 7234 HAS SOPS 7222 HAS SOUS 2451 HAS SOUPS 2442 WITH SCORE 2449.234
AT ITER 910 NEW BEST:: SOT 14427 SOS 7222 HAS SOPS 7210 HAS SOUS 2443 HAS SOUPS 2434 WITH SCORE 2441.222
AT ITER 943 NEW BEST:: SOT 14428 SOS 7221 HAS SOPS 7209 HAS SOUS 2440 HAS SOUPS 2431 WITH SCORE 2438.221
AT ITER 978 NEW BEST:: SOT 14422 SOS 7215 HAS SOPS 7203 HAS SOUS 2437 HAS SOUPS 2428 WITH SCORE 2435.215
AT ITER 1009 NEW BEST:: SOT 14422 SOS 7217 HAS SOPS 7205 HAS SOUS 2435 HAS SOUPS 2426 WITH SCORE 2433.217
AT ITER 1016 NEW BEST:: SOT 14394 SOS 7344 HAS SOPS 7332 HAS SOUS 2414 HAS SOUPS 2405 WITH SCORE 2412.344
AT ITER 1024 NEW BEST:: SOT 14386 SOS 7331 HAS SOPS 7319 HAS SOUS 2411 HAS SOUPS 2402 WITH SCORE 2409.331
AT ITER 1031 NEW BEST:: SOT 14397 SOS 7353 HAS SOPS 7341 HAS SOUS 2405 HAS SOUPS 2396 WITH SCORE 2403.353
AT ITER 1033 NEW BEST:: SOT 14398 SOS 7350 HAS SOPS 7338 HAS SOUS 2403 HAS SOUPS 2394 WITH SCORE 2401.35
AT ITER 1034 NEW BEST:: SOT 14400 SOS 7352 HAS SOPS 7340 HAS SOUS 2402 HAS SOUPS 2393 WITH SCORE 2400.352
AT ITER 1043 NEW BEST:: SOT 14396 SOS 7344 HAS SOPS 7332 HAS SOUS 2398 HAS SOUPS 2389 WITH SCORE 2396.344
AT ITER 1044 NEW BEST:: SOT 14392 SOS 7340 HAS SOPS 7328 HAS SOUS 2392 HAS SOUPS 2383 WITH SCORE 2390.34
AT ITER 1045 NEW BEST:: SOT 14393 SOS 7341 HAS SOPS 7329 HAS SOUS 2380 HAS SOUPS 2371 WITH SCORE 2378.341
AT ITER 1054 NEW BEST:: SOT 14387 SOS 7326 HAS SOPS 7314 HAS SOUS 2377 HAS SOUPS 2368 WITH SCORE 2375.326
AT ITER 1064 NEW BEST:: SOT 14382 SOS 7321 HAS SOPS 7309 HAS SOUS 2375 HAS SOUPS 2366 WITH SCORE 2373.321
AT ITER 1074 NEW BEST:: SOT 14378 SOS 7317 HAS SOPS 7305 HAS SOUS 2371 HAS SOUPS 2362 WITH SCORE 2369.317
AT ITER 1106 NEW BEST:: SOT 14381 SOS 7309 HAS SOPS 7297 HAS SOUS 2354 HAS SOUPS 2345 WITH SCORE 2352.309
AT ITER 1118 NEW BEST:: SOT 14377 SOS 7301 HAS SOPS 7289 HAS SOUS 2352 HAS SOUPS 2343 WITH SCORE 2350.301
AT ITER 1120 NEW BEST:: SOT 14348 SOS 7243 HAS SOPS 7231 HAS SOUS 2336 HAS SOUPS 2327 WITH SCORE 2334.243
AT ITER 1124 NEW BEST:: SOT 14347 SOS 7242 HAS SOPS 7230 HAS SOUS 2336 HAS SOUPS 2327 WITH SCORE 2334.242
AT ITER 1129 NEW BEST:: SOT 14345 SOS 7239 HAS SOPS 7227 HAS SOUS 2335 HAS SOUPS 2326 WITH SCORE 2333.239
AT ITER 1179 NEW BEST:: SOT 14354 SOS 7248 HAS SOPS 7236 HAS SOUS 2326 HAS SOUPS 2317 WITH SCORE 2324.248
AT ITER 1188 NEW BEST:: SOT 14370 SOS 7260 HAS SOPS 7248 HAS SOUS 2322 HAS SOUPS 2313 WITH SCORE 2320.26
AT ITER 1242 NEW BEST:: SOT 14368 SOS 7251 HAS SOPS 7239 HAS SOUS 2322 HAS SOUPS 2313 WITH SCORE 2320.251
AT ITER 1264 NEW BEST:: SOT 14354 SOS 7223 HAS SOPS 7211 HAS SOUS 2305 HAS SOUPS 2296 WITH SCORE 2303.223
AT ITER 1278 NEW BEST:: SOT 14343 SOS 7258 HAS SOPS 7246 HAS SOUS 2301 HAS SOUPS 2292 WITH SCORE 2299.258
AT ITER 1286 NEW BEST:: SOT 14341 SOS 7255 HAS SOPS 7243 HAS SOUS 2300 HAS SOUPS 2291 WITH SCORE 2298.255
AT ITER 1409 NEW BEST:: SOT 14331 SOS 7284 HAS SOPS 7272 HAS SOUS 2290 HAS SOUPS 2281 WITH SCORE 2288.284
AT ITER 1454 NEW BEST:: SOT 14329 SOS 7280 HAS SOPS 7268 HAS SOUS 2290 HAS SOUPS 2281 WITH SCORE 2288.28
AT ITER 1471 NEW BEST:: SOT 14326 SOS 7277 HAS SOPS 7265 HAS SOUS 2284 HAS SOUPS 2275 WITH SCORE 2282.277
AT ITER 1473 NEW BEST:: SOT 14299 SOS 7243 HAS SOPS 7231 HAS SOUS 2273 HAS SOUPS 2264 WITH SCORE 2271.243
AT ITER 1495 NEW BEST:: SOT 14301 SOS 7235 HAS SOPS 7223 HAS SOUS 2273 HAS SOUPS 2264 WITH SCORE 2271.235
AT ITER 1544 NEW BEST:: SOT 14305 SOS 7243 HAS SOPS 7231 HAS SOUS 2268 HAS SOUPS 2259 WITH SCORE 2266.243
AT ITER 1584 NEW BEST:: SOT 14304 SOS 7241 HAS SOPS 7229 HAS SOUS 2268 HAS SOUPS 2259 WITH SCORE 2266.241
AT ITER 1589 NEW BEST:: SOT 14299 SOS 7236 HAS SOPS 7224 HAS SOUS 2263 HAS SOUPS 2254 WITH SCORE 2261.236
AT ITER 1595 NEW BEST:: SOT 14338 SOS 7325 HAS SOPS 7313 HAS SOUS 2241 HAS SOUPS 2232 WITH SCORE 2239.325
AT ITER 1604 NEW BEST:: SOT 14325 SOS 7300 HAS SOPS 7288 HAS SOUS 2234 HAS SOUPS 2225 WITH SCORE 2232.3
AT ITER 1622 NEW BEST:: SOT 14345 SOS 7325 HAS SOPS 7313 HAS SOUS 2227 HAS SOUPS 2218 WITH SCORE 2225.325
AT ITER 1685 NEW BEST:: SOT 14343 SOS 7319 HAS SOPS 7307 HAS SOUS 2223 HAS SOUPS 2214 WITH SCORE 2221.319
AT ITER 1767 NEW BEST:: SOT 14344 SOS 7320 HAS SOPS 7308 HAS SOUS 2222 HAS SOUPS 2213 WITH SCORE 2220.32
AT ITER 1770 NEW BEST:: SOT 14343 SOS 7318 HAS SOPS 7306 HAS SOUS 2222 HAS SOUPS 2213 WITH SCORE 2220.318
AT ITER 1839 NEW BEST:: SOT 14327 SOS 7286 HAS SOPS 7274 HAS SOUS 2204 HAS SOUPS 2195 WITH SCORE 2202.286
AT ITER 1840 NEW BEST:: SOT 14323 SOS 7282 HAS SOPS 7270 HAS SOUS 2200 HAS SOUPS 2191 WITH SCORE 2198.282
AT ITER 1864 NEW BEST:: SOT 14322 SOS 7257 HAS SOPS 7245 HAS SOUS 2199 HAS SOUPS 2190 WITH SCORE 2197.257
AT ITER 1906 NEW BEST:: SOT 14320 SOS 7253 HAS SOPS 7241 HAS SOUS 2198 HAS SOUPS 2189 WITH SCORE 2196.253
AT ITER 1910 NEW BEST:: SOT 14314 SOS 7233 HAS SOPS 7221 HAS SOUS 2190 HAS SOUPS 2181 WITH SCORE 2188.233
AT ITER 2002 NEW BEST:: SOT 14303 SOS 7219 HAS SOPS 7207 HAS SOUS 2190 HAS SOUPS 2181 WITH SCORE 2188.219
AT ITER 2022 NEW BEST:: SOT 14314 SOS 7230 HAS SOPS 7218 HAS SOUS 2188 HAS SOUPS 2179 WITH SCORE 2186.23
AT ITER 2038 NEW BEST:: SOT 14314 SOS 7359 HAS SOPS 7347 HAS SOUS 2187 HAS SOUPS 2178 WITH SCORE 2185.359
AT ITER 2063 NEW BEST:: SOT 14294 SOS 7328 HAS SOPS 7316 HAS SOUS 2185 HAS SOUPS 2176 WITH SCORE 2183.328
AT ITER 2079 NEW BEST:: SOT 14287 SOS 7309 HAS SOPS 7297 HAS SOUS 2178 HAS SOUPS 2169 WITH SCORE 2176.309
AT ITER 2135 NEW BEST:: SOT 14286 SOS 7300 HAS SOPS 7288 HAS SOUS 2173 HAS SOUPS 2164 WITH SCORE 2171.3
AT ITER 2174 NEW BEST:: SOT 14293 SOS 7312 HAS SOPS 7300 HAS SOUS 2171 HAS SOUPS 2162 WITH SCORE 2169.312
AT ITER 2180 NEW BEST:: SOT 14301 SOS 7314 HAS SOPS 7302 HAS SOUS 2167 HAS SOUPS 2158 WITH SCORE 2165.314
AT ITER 2181 NEW BEST:: SOT 14297 SOS 7310 HAS SOPS 7298 HAS SOUS 2167 HAS SOUPS 2158 WITH SCORE 2165.31
AT ITER 2229 NEW BEST:: SOT 14298 SOS 7306 HAS SOPS 7294 HAS SOUS 2162 HAS SOUPS 2153 WITH SCORE 2160.306
AT ITER 2240 NEW BEST:: SOT 14290 SOS 7298 HAS SOPS 7286 HAS SOUS 2162 HAS SOUPS 2153 WITH SCORE 2160.298
AT ITER 2259 NEW BEST:: SOT 14288 SOS 7295 HAS SOPS 7283 HAS SOUS 2161 HAS SOUPS 2152 WITH SCORE 2159.295
AT ITER 2289 NEW BEST:: SOT 14264 SOS 7255 HAS SOPS 7243 HAS SOUS 2161 HAS SOUPS 2152 WITH SCORE 2159.255
AT ITER 2351 NEW BEST:: SOT 14264 SOS 7255 HAS SOPS 7243 HAS SOUS 2160 HAS SOUPS 2151 WITH SCORE 2158.255
AT ITER 2363 NEW BEST:: SOT 14264 SOS 7255 HAS SOPS 7243 HAS SOUS 2156 HAS SOUPS 2147 WITH SCORE 2154.255
AT ITER 2428 NEW BEST:: SOT 14267 SOS 7258 HAS SOPS 7246 HAS SOUS 2155 HAS SOUPS 2146 WITH SCORE 2153.258
AT ITER 2455 NEW BEST:: SOT 14265 SOS 7254 HAS SOPS 7242 HAS SOUS 2155 HAS SOUPS 2146 WITH SCORE 2153.254
AT ITER 2492 NEW BEST:: SOT 14268 SOS 7257 HAS SOPS 7245 HAS SOUS 2152 HAS SOUPS 2143 WITH SCORE 2150.257
AT ITER 2493 NEW BEST:: SOT 14265 SOS 7256 HAS SOPS 7244 HAS SOUS 2146 HAS SOUPS 2137 WITH SCORE 2144.256
AT ITER 2500 NEW BEST:: SOT 14264 SOS 7253 HAS SOPS 7241 HAS SOUS 2144 HAS SOUPS 2135 WITH SCORE 2142.253
AT ITER 2519 NEW BEST:: SOT 14268 SOS 7257 HAS SOPS 7245 HAS SOUS 2141 HAS SOUPS 2132 WITH SCORE 2139.257
AT ITER 2579 NEW BEST:: SOT 14268 SOS 7259 HAS SOPS 7247 HAS SOUS 2139 HAS SOUPS 2130 WITH SCORE 2137.259
AT ITER 2604 NEW BEST:: SOT 14268 SOS 7254 HAS SOPS 7242 HAS SOUS 2139 HAS SOUPS 2130 WITH SCORE 2137.254
AT ITER 2651 NEW BEST:: SOT 14265 SOS 7251 HAS SOPS 7239 HAS SOUS 2136 HAS SOUPS 2127 WITH SCORE 2134.251
AT ITER 2673 NEW BEST:: SOT 14261 SOS 7247 HAS SOPS 7235 HAS SOUS 2132 HAS SOUPS 2123 WITH SCORE 2130.247
AT ITER 2676 NEW BEST:: SOT 14261 SOS 7247 HAS SOPS 7235 HAS SOUS 2131 HAS SOUPS 2122 WITH SCORE 2129.247
AT ITER 2788 NEW BEST:: SOT 14258 SOS 7244 HAS SOPS 7232 HAS SOUS 2128 HAS SOUPS 2119 WITH SCORE 2126.244
AT ITER 2840 NEW BEST:: SOT 14256 SOS 7242 HAS SOPS 7230 HAS SOUS 2126 HAS SOUPS 2117 WITH SCORE 2124.242
AT ITER 2870 NEW BEST:: SOT 14248 SOS 7226 HAS SOPS 7214 HAS SOUS 2126 HAS SOUPS 2117 WITH SCORE 2124.226
AT ITER 2893 NEW BEST:: SOT 14249 SOS 7227 HAS SOPS 7215 HAS SOUS 2125 HAS SOUPS 2116 WITH SCORE 2123.227
AT ITER 2897 NEW BEST:: SOT 14245 SOS 7219 HAS SOPS 7207 HAS SOUS 2125 HAS SOUPS 2116 WITH SCORE 2123.219
AT ITER 2908 NEW BEST:: SOT 14242 SOS 7216 HAS SOPS 7204 HAS SOUS 2124 HAS SOUPS 2115 WITH SCORE 2122.216
AT ITER 2914 NEW BEST:: SOT 14241 SOS 7214 HAS SOPS 7202 HAS SOUS 2123 HAS SOUPS 2114 WITH SCORE 2121.214
AT ITER 3007 NEW BEST:: SOT 14238 SOS 7211 HAS SOPS 7199 HAS SOUS 2118 HAS SOUPS 2109 WITH SCORE 2116.211
AT ITER 3028 NEW BEST:: SOT 14237 SOS 7210 HAS SOPS 7198 HAS SOUS 2116 HAS SOUPS 2107 WITH SCORE 2114.21
AT ITER 3055 NEW BEST:: SOT 14242 SOS 7220 HAS SOPS 7208 HAS SOUS 2115 HAS SOUPS 2106 WITH SCORE 2113.22
AT ITER 3146 NEW BEST:: SOT 14239 SOS 7214 HAS SOPS 7202 HAS SOUS 2115 HAS SOUPS 2106 WITH SCORE 2113.214
AT ITER 3206 NEW BEST:: SOT 14236 SOS 7199 HAS SOPS 7187 HAS SOUS 2107 HAS SOUPS 2098 WITH SCORE 2105.199
AT ITER 3281 NEW BEST:: SOT 14236 SOS 7199 HAS SOPS 7187 HAS SOUS 2105 HAS SOUPS 2096 WITH SCORE 2103.199
AT ITER 3284 NEW BEST:: SOT 14246 SOS 7109 HAS SOPS 7097 HAS SOUS 2100 HAS SOUPS 2091 WITH SCORE 2098.109
AT ITER 3289 NEW BEST:: SOT 14245 SOS 7108 HAS SOPS 7096 HAS SOUS 2100 HAS SOUPS 2091 WITH SCORE 2098.108
AT ITER 3317 NEW BEST:: SOT 14243 SOS 7106 HAS SOPS 7094 HAS SOUS 2097 HAS SOUPS 2088 WITH SCORE 2095.106
AT ITER 3325 NEW BEST:: SOT 14243 SOS 7106 HAS SOPS 7094 HAS SOUS 2096 HAS SOUPS 2087 WITH SCORE 2094.106
AT ITER 3372 NEW BEST:: SOT 14242 SOS 7105 HAS SOPS 7093 HAS SOUS 2094 HAS SOUPS 2085 WITH SCORE 2092.105
AT ITER 3383 NEW BEST:: SOT 14241 SOS 7103 HAS SOPS 7091 HAS SOUS 2093 HAS SOUPS 2084 WITH SCORE 2091.103
AT ITER 3389 NEW BEST:: SOT 14237 SOS 7099 HAS SOPS 7087 HAS SOUS 2088 HAS SOUPS 2079 WITH SCORE 2086.099
AT ITER 3392 NEW BEST:: SOT 14236 SOS 7076 HAS SOPS 7064 HAS SOUS 2088 HAS SOUPS 2079 WITH SCORE 2086.076
AT ITER 3455 NEW BEST:: SOT 14242 SOS 7074 HAS SOPS 7062 HAS SOUS 2088 HAS SOUPS 2079 WITH SCORE 2086.074
AT ITER 3469 NEW BEST:: SOT 14242 SOS 7074 HAS SOPS 7062 HAS SOUS 2080 HAS SOUPS 2071 WITH SCORE 2078.074
AT ITER 3479 NEW BEST:: SOT 14237 SOS 7064 HAS SOPS 7052 HAS SOUS 2075 HAS SOUPS 2066 WITH SCORE 2073.064
AT ITER 3540 NEW BEST:: SOT 14237 SOS 7064 HAS SOPS 7052 HAS SOUS 2074 HAS SOUPS 2065 WITH SCORE 2072.064
AT ITER 3547 NEW BEST:: SOT 14235 SOS 7062 HAS SOPS 7050 HAS SOUS 2073 HAS SOUPS 2064 WITH SCORE 2071.062
AT ITER 3635 NEW BEST:: SOT 14233 SOS 7046 HAS SOPS 7034 HAS SOUS 2070 HAS SOUPS 2061 WITH SCORE 2068.046
AT ITER 3636 NEW BEST:: SOT 14219 SOS 7032 HAS SOPS 7020 HAS SOUS 2056 HAS SOUPS 2047 WITH SCORE 2054.032
AT ITER 3650 NEW BEST:: SOT 14219 SOS 7032 HAS SOPS 7020 HAS SOUS 2050 HAS SOUPS 2041 WITH SCORE 2048.032
AT ITER 3664 NEW BEST:: SOT 14232 SOS 7043 HAS SOPS 7031 HAS SOUS 2048 HAS SOUPS 2039 WITH SCORE 2046.043
AT ITER 3774 NEW BEST:: SOT 14230 SOS 6965 HAS SOPS 6953 HAS SOUS 2045 HAS SOUPS 2036 WITH SCORE 2042.965
AT ITER 3823 NEW BEST:: SOT 14229 SOS 6964 HAS SOPS 6952 HAS SOUS 2044 HAS SOUPS 2035 WITH SCORE 2041.964
AT ITER 3865 NEW BEST:: SOT 14226 SOS 6961 HAS SOPS 6949 HAS SOUS 2041 HAS SOUPS 2032 WITH SCORE 2038.961
AT ITER 3895 NEW BEST:: SOT 14217 SOS 6952 HAS SOPS 6940 HAS SOUS 2035 HAS SOUPS 2026 WITH SCORE 2032.952
AT ITER 3910 NEW BEST:: SOT 14214 SOS 6949 HAS SOPS 6937 HAS SOUS 2035 HAS SOUPS 2026 WITH SCORE 2032.949
AT ITER 3981 NEW BEST:: SOT 14211 SOS 6942 HAS SOPS 6930 HAS SOUS 2031 HAS SOUPS 2022 WITH SCORE 2028.942
AT ITER 3997 NEW BEST:: SOT 14198 SOS 7030 HAS SOPS 7018 HAS SOUS 2013 HAS SOUPS 2004 WITH SCORE 2011.03
AT ITER 4042 NEW BEST:: SOT 14210 SOS 7042 HAS SOPS 7030 HAS SOUS 2011 HAS SOUPS 2002 WITH SCORE 2009.042
AT ITER 4080 NEW BEST:: SOT 14210 SOS 7042 HAS SOPS 7030 HAS SOUS 2009 HAS SOUPS 2000 WITH SCORE 2007.042
AT ITER 4094 NEW BEST:: SOT 14210 SOS 7038 HAS SOPS 7026 HAS SOUS 2009 HAS SOUPS 2000 WITH SCORE 2007.038
AT ITER 4290 NEW BEST:: SOT 14209 SOS 7037 HAS SOPS 7025 HAS SOUS 2006 HAS SOUPS 1997 WITH SCORE 2004.037
AT ITER 4306 NEW BEST:: SOT 14209 SOS 7037 HAS SOPS 7025 HAS SOUS 2005 HAS SOUPS 1996 WITH SCORE 2003.037
AT ITER 4344 NEW BEST:: SOT 14207 SOS 7035 HAS SOPS 7023 HAS SOUS 2001 HAS SOUPS 1992 WITH SCORE 1999.035
AT ITER 4357 NEW BEST:: SOT 14202 SOS 7030 HAS SOPS 7018 HAS SOUS 1995 HAS SOUPS 1986 WITH SCORE 1993.03
AT ITER 4363 NEW BEST:: SOT 14200 SOS 7028 HAS SOPS 7016 HAS SOUS 1991 HAS SOUPS 1982 WITH SCORE 1989.028
AT ITER 4369 NEW BEST:: SOT 14196 SOS 7024 HAS SOPS 7012 HAS SOUS 1987 HAS SOUPS 1978 WITH SCORE 1985.024
AT ITER 4432 NEW BEST:: SOT 14194 SOS 7022 HAS SOPS 7010 HAS SOUS 1985 HAS SOUPS 1976 WITH SCORE 1983.022
AT ITER 4522 NEW BEST:: SOT 14185 SOS 7013 HAS SOPS 7001 HAS SOUS 1979 HAS SOUPS 1970 WITH SCORE 1977.013
AT ITER 4530 NEW BEST:: SOT 14184 SOS 7012 HAS SOPS 7000 HAS SOUS 1977 HAS SOUPS 1968 WITH SCORE 1975.012
AT ITER 4751 NEW BEST:: SOT 14178 SOS 7006 HAS SOPS 6994 HAS SOUS 1977 HAS SOUPS 1968 WITH SCORE 1975.006
AT ITER 4788 NEW BEST:: SOT 14178 SOS 7004 HAS SOPS 6992 HAS SOUS 1977 HAS SOUPS 1968 WITH SCORE 1975.004
AT ITER 4837 NEW BEST:: SOT 14174 SOS 7001 HAS SOPS 6989 HAS SOUS 1974 HAS SOUPS 1965 WITH SCORE 1972.001
AT ITER 4893 NEW BEST:: SOT 14169 SOS 6996 HAS SOPS 6984 HAS SOUS 1972 HAS SOUPS 1963 WITH SCORE 1969.996
AT ITER 4954 NEW BEST:: SOT 14170 SOS 6998 HAS SOPS 6986 HAS SOUS 1971 HAS SOUPS 1962 WITH SCORE 1968.998
AT ITER 4985 NEW BEST:: SOT 14170 SOS 6997 HAS SOPS 6985 HAS SOUS 1969 HAS SOUPS 1960 WITH SCORE 1966.997
AT ITER 5161 NEW BEST:: SOT 14168 SOS 6994 HAS SOPS 6982 HAS SOUS 1968 HAS SOUPS 1959 WITH SCORE 1965.994
AT ITER 5164 NEW BEST:: SOT 14158 SOS 6984 HAS SOPS 6972 HAS SOUS 1968 HAS SOUPS 1959 WITH SCORE 1965.984
AT ITER 5166 NEW BEST:: SOT 14157 SOS 6983 HAS SOPS 6971 HAS SOUS 1966 HAS SOUPS 1957 WITH SCORE 1963.983
AT ITER 5209 NEW BEST:: SOT 14156 SOS 6982 HAS SOPS 6970 HAS SOUS 1966 HAS SOUPS 1957 WITH SCORE 1963.982
AT ITER 5248 NEW BEST:: SOT 14152 SOS 7023 HAS SOPS 7011 HAS SOUS 1962 HAS SOUPS 1953 WITH SCORE 1960.023
AT ITER 5285 NEW BEST:: SOT 14151 SOS 6984 HAS SOPS 6972 HAS SOUS 1961 HAS SOUPS 1952 WITH SCORE 1958.984
AT ITER 5403 NEW BEST:: SOT 14151 SOS 6984 HAS SOPS 6972 HAS SOUS 1960 HAS SOUPS 1951 WITH SCORE 1957.984
AT ITER 5422 NEW BEST:: SOT 14148 SOS 6979 HAS SOPS 6967 HAS SOUS 1957 HAS SOUPS 1948 WITH SCORE 1954.979
AT ITER 5486 NEW BEST:: SOT 14155 SOS 6986 HAS SOPS 6974 HAS SOUS 1956 HAS SOUPS 1947 WITH SCORE 1953.986
AT ITER 5498 NEW BEST:: SOT 14149 SOS 6980 HAS SOPS 6968 HAS SOUS 1950 HAS SOUPS 1941 WITH SCORE 1947.98
AT ITER 5633 NEW BEST:: SOT 14149 SOS 6980 HAS SOPS 6968 HAS SOUS 1942 HAS SOUPS 1933 WITH SCORE 1939.98
AT ITER 5669 NEW BEST:: SOT 14148 SOS 6978 HAS SOPS 6966 HAS SOUS 1940 HAS SOUPS 1931 WITH SCORE 1937.978
AT ITER 5860 NEW BEST:: SOT 14146 SOS 6974 HAS SOPS 6962 HAS SOUS 1936 HAS SOUPS 1927 WITH SCORE 1933.974
AT ITER 5893 NEW BEST:: SOT 14140 SOS 6962 HAS SOPS 6950 HAS SOUS 1933 HAS SOUPS 1924 WITH SCORE 1930.962
AT ITER 5906 NEW BEST:: SOT 14140 SOS 6962 HAS SOPS 6950 HAS SOUS 1932 HAS SOUPS 1923 WITH SCORE 1929.962
AT ITER 5914 NEW BEST:: SOT 14145 SOS 6963 HAS SOPS 6951 HAS SOUS 1929 HAS SOUPS 1920 WITH SCORE 1926.963
AT ITER 5961 NEW BEST:: SOT 14146 SOS 6964 HAS SOPS 6952 HAS SOUS 1928 HAS SOUPS 1919 WITH SCORE 1925.964
AT ITER 5990 NEW BEST:: SOT 14147 SOS 6965 HAS SOPS 6953 HAS SOUS 1924 HAS SOUPS 1915 WITH SCORE 1921.965
AT ITER 6096 NEW BEST:: SOT 14144 SOS 6962 HAS SOPS 6950 HAS SOUS 1921 HAS SOUPS 1912 WITH SCORE 1918.962
AT ITER 6153 NEW BEST:: SOT 14143 SOS 6961 HAS SOPS 6949 HAS SOUS 1921 HAS SOUPS 1912 WITH SCORE 1918.961
AT ITER 6156 NEW BEST:: SOT 14146 SOS 6964 HAS SOPS 6952 HAS SOUS 1920 HAS SOUPS 1911 WITH SCORE 1917.964
AT ITER 6230 NEW BEST:: SOT 14144 SOS 6962 HAS SOPS 6950 HAS SOUS 1917 HAS SOUPS 1908 WITH SCORE 1914.962
AT ITER 6336 NEW BEST:: SOT 14141 SOS 6959 HAS SOPS 6947 HAS SOUS 1914 HAS SOUPS 1905 WITH SCORE 1911.959
AT ITER 6360 NEW BEST:: SOT 14141 SOS 6887 HAS SOPS 6875 HAS SOUS 1914 HAS SOUPS 1905 WITH SCORE 1911.887
AT ITER 6428 NEW BEST:: SOT 14140 SOS 6885 HAS SOPS 6873 HAS SOUS 1914 HAS SOUPS 1905 WITH SCORE 1911.885
AT ITER 6429 NEW BEST:: SOT 14139 SOS 6884 HAS SOPS 6872 HAS SOUS 1913 HAS SOUPS 1904 WITH SCORE 1910.884
AT ITER 6446 NEW BEST:: SOT 14139 SOS 6884 HAS SOPS 6872 HAS SOUS 1911 HAS SOUPS 1902 WITH SCORE 1908.884
AT ITER 6535 NEW BEST:: SOT 14138 SOS 6883 HAS SOPS 6871 HAS SOUS 1910 HAS SOUPS 1901 WITH SCORE 1907.883
AT ITER 6536 NEW BEST:: SOT 14135 SOS 6877 HAS SOPS 6865 HAS SOUS 1910 HAS SOUPS 1901 WITH SCORE 1907.877
AT ITER 6556 NEW BEST:: SOT 14134 SOS 6876 HAS SOPS 6864 HAS SOUS 1909 HAS SOUPS 1900 WITH SCORE 1906.876
AT ITER 6561 NEW BEST:: SOT 14146 SOS 6880 HAS SOPS 6868 HAS SOUS 1906 HAS SOUPS 1897 WITH SCORE 1903.88
AT ITER 6618 NEW BEST:: SOT 14146 SOS 6876 HAS SOPS 6864 HAS SOUS 1904 HAS SOUPS 1895 WITH SCORE 1901.876
AT ITER 6676 NEW BEST:: SOT 14146 SOS 6876 HAS SOPS 6864 HAS SOUS 1902 HAS SOUPS 1893 WITH SCORE 1899.876
AT ITER 6700 NEW BEST:: SOT 14145 SOS 6878 HAS SOPS 6866 HAS SOUS 1900 HAS SOUPS 1891 WITH SCORE 1897.878
AT ITER 6728 NEW BEST:: SOT 14145 SOS 6878 HAS SOPS 6866 HAS SOUS 1898 HAS SOUPS 1889 WITH SCORE 1895.878
AT ITER 6877 NEW BEST:: SOT 14141 SOS 6870 HAS SOPS 6858 HAS SOUS 1895 HAS SOUPS 1886 WITH SCORE 1892.87
AT ITER 7108 NEW BEST:: SOT 14140 SOS 6866 HAS SOPS 6854 HAS SOUS 1894 HAS SOUPS 1885 WITH SCORE 1891.866
AT ITER 7139 NEW BEST:: SOT 14140 SOS 6866 HAS SOPS 6854 HAS SOUS 1892 HAS SOUPS 1883 WITH SCORE 1889.866
AT ITER 7249 NEW BEST:: SOT 14134 SOS 6860 HAS SOPS 6848 HAS SOUS 1892 HAS SOUPS 1883 WITH SCORE 1889.86
AT ITER 7351 NEW BEST:: SOT 14134 SOS 6860 HAS SOPS 6848 HAS SOUS 1889 HAS SOUPS 1880 WITH SCORE 1886.86
AT ITER 7447 NEW BEST:: SOT 14128 SOS 6854 HAS SOPS 6842 HAS SOUS 1883 HAS SOUPS 1874 WITH SCORE 1880.854
AT ITER 7749 NEW BEST:: SOT 14127 SOS 6853 HAS SOPS 6841 HAS SOUS 1882 HAS SOUPS 1873 WITH SCORE 1879.853
AT ITER 7753 NEW BEST:: SOT 14126 SOS 6852 HAS SOPS 6840 HAS SOUS 1881 HAS SOUPS 1872 WITH SCORE 1878.852
AT ITER 7983 NEW BEST:: SOT 14127 SOS 6853 HAS SOPS 6841 HAS SOUS 1880 HAS SOUPS 1871 WITH SCORE 1877.853
AT ITER 7999 NEW BEST:: SOT 14128 SOS 6854 HAS SOPS 6842 HAS SOUS 1878 HAS SOUPS 1869 WITH SCORE 1875.854
AT ITER 8163 NEW BEST:: SOT 14127 SOS 6852 HAS SOPS 6840 HAS SOUS 1875 HAS SOUPS 1866 WITH SCORE 1872.852
AT ITER 8271 NEW BEST:: SOT 14126 SOS 6851 HAS SOPS 6839 HAS SOUS 1875 HAS SOUPS 1866 WITH SCORE 1872.851
AT ITER 8274 NEW BEST:: SOT 14126 SOS 6854 HAS SOPS 6842 HAS SOUS 1872 HAS SOUPS 1863 WITH SCORE 1869.854
AT ITER 8409 NEW BEST:: SOT 14125 SOS 6839 HAS SOPS 6827 HAS SOUS 1871 HAS SOUPS 1862 WITH SCORE 1868.839
AT ITER 8464 NEW BEST:: SOT 14124 SOS 6838 HAS SOPS 6826 HAS SOUS 1869 HAS SOUPS 1860 WITH SCORE 1866.838
AT ITER 8566 NEW BEST:: SOT 14123 SOS 6837 HAS SOPS 6825 HAS SOUS 1868 HAS SOUPS 1859 WITH SCORE 1865.837
AT ITER 8568 NEW BEST:: SOT 14121 SOS 6837 HAS SOPS 6825 HAS SOUS 1867 HAS SOUPS 1858 WITH SCORE 1864.837
AT ITER 8780 NEW BEST:: SOT 14121 SOS 6837 HAS SOPS 6825 HAS SOUS 1866 HAS SOUPS 1857 WITH SCORE 1863.837
AT ITER 9117 NEW BEST:: SOT 14113 SOS 6823 HAS SOPS 6811 HAS SOUS 1866 HAS SOUPS 1857 WITH SCORE 1863.823
AT ITER 9213 NEW BEST:: SOT 14111 SOS 6813 HAS SOPS 6801 HAS SOUS 1860 HAS SOUPS 1851 WITH SCORE 1857.813
AT ITER 9332 NEW BEST:: SOT 14111 SOS 6813 HAS SOPS 6801 HAS SOUS 1859 HAS SOUPS 1850 WITH SCORE 1856.813
AT ITER 9342 NEW BEST:: SOT 14113 SOS 6815 HAS SOPS 6803 HAS SOUS 1857 HAS SOUPS 1848 WITH SCORE 1854.815
AT ITER 9344 NEW BEST:: SOT 14112 SOS 6800 HAS SOPS 6788 HAS SOUS 1856 HAS SOUPS 1847 WITH SCORE 1853.8
AT ITER 9386 NEW BEST:: SOT 14108 SOS 6793 HAS SOPS 6781 HAS SOUS 1855 HAS SOUPS 1846 WITH SCORE 1852.793
AT ITER 9448 NEW BEST:: SOT 14107 SOS 6792 HAS SOPS 6780 HAS SOUS 1854 HAS SOUPS 1845 WITH SCORE 1851.792
AT ITER 9679 NEW BEST:: SOT 14107 SOS 6796 HAS SOPS 6784 HAS SOUS 1852 HAS SOUPS 1843 WITH SCORE 1849.796
AT ITER 9713 NEW BEST:: SOT 14105 SOS 6790 HAS SOPS 6778 HAS SOUS 1849 HAS SOUPS 1840 WITH SCORE 1846.79
STATE_SPACE STATES 3055436 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 33979152 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678576845386

--------------------
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-02"
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-02, 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-167840349300248"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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