Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r395-oct2-167903719000600.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is ShieldPPPt-PT-005A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r395-oct2-167903719000600
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 456K
-rw-r--r-- 1 mcc users 6.3K Feb 25 21:06 CTLCardinality.txt
-rw-r--r-- 1 mcc users 63K Feb 25 21:06 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.8K Feb 25 21:03 CTLFireability.txt
-rw-r--r-- 1 mcc users 42K Feb 25 21:03 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 17:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 17:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 17:00 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.8K Feb 25 21:08 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 106K Feb 25 21:08 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.6K Feb 25 21:07 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 77K Feb 25 21:07 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:00 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:00 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 33K Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679573582988

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=ShieldPPPt-PT-005A
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-23 12:13:05] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-23 12:13:05] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-23 12:13:05] [INFO ] Load time of PNML (sax parser for PT used): 52 ms
[2023-03-23 12:13:05] [INFO ] Transformed 128 places.
[2023-03-23 12:13:05] [INFO ] Transformed 93 transitions.
[2023-03-23 12:13:05] [INFO ] Found NUPN structural information;
[2023-03-23 12:13:05] [INFO ] Parsed PT model containing 128 places and 93 transitions and 366 arcs in 169 ms.
[2023-03-23 12:13:05] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 128 places, 93 transitions and 366 arcs took 3 ms.
Total runtime 206 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPt (PT), instance 005A
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: 128 places, 93 transitions, 366 arcs.
AT ITER 0 NEW BEST:: SOT 9765 SOS 8121 HAS SOPS 8121 HAS SOUS 6648 HAS SOUPS 6648 WITH SCORE 6656.121
AT ITER 1 NEW BEST:: SOT 9723 SOS 8119 HAS SOPS 8119 HAS SOUS 6645 HAS SOUPS 6645 WITH SCORE 6653.119
AT ITER 2 NEW BEST:: SOT 9719 SOS 8115 HAS SOPS 8115 HAS SOUS 6641 HAS SOUPS 6641 WITH SCORE 6649.115
AT ITER 3 NEW BEST:: SOT 9676 SOS 8072 HAS SOPS 8072 HAS SOUS 6598 HAS SOUPS 6598 WITH SCORE 6606.072
AT ITER 4 NEW BEST:: SOT 9635 SOS 7871 HAS SOPS 7871 HAS SOUS 6502 HAS SOUPS 6502 WITH SCORE 6509.871
AT ITER 5 NEW BEST:: SOT 9596 SOS 7633 HAS SOPS 7633 HAS SOUS 6371 HAS SOUPS 6371 WITH SCORE 6378.633
AT ITER 6 NEW BEST:: SOT 9594 SOS 7546 HAS SOPS 7546 HAS SOUS 6352 HAS SOUPS 6352 WITH SCORE 6359.546
AT ITER 8 NEW BEST:: SOT 9540 SOS 7492 HAS SOPS 7492 HAS SOUS 6298 HAS SOUPS 6298 WITH SCORE 6305.492
AT ITER 9 NEW BEST:: SOT 9525 SOS 7477 HAS SOPS 7477 HAS SOUS 6283 HAS SOUPS 6283 WITH SCORE 6290.477
AT ITER 10 NEW BEST:: SOT 9463 SOS 7164 HAS SOPS 7164 HAS SOUS 6111 HAS SOUPS 6111 WITH SCORE 6118.164
AT ITER 11 NEW BEST:: SOT 9463 SOS 7034 HAS SOPS 7034 HAS SOUS 6111 HAS SOUPS 6111 WITH SCORE 6118.034
AT ITER 16 NEW BEST:: SOT 9388 SOS 6855 HAS SOPS 6855 HAS SOUS 5963 HAS SOUPS 5963 WITH SCORE 5969.855
AT ITER 19 NEW BEST:: SOT 9333 SOS 6800 HAS SOPS 6800 HAS SOUS 5906 HAS SOUPS 5906 WITH SCORE 5912.8
AT ITER 22 NEW BEST:: SOT 9327 SOS 6794 HAS SOPS 6794 HAS SOUS 5900 HAS SOUPS 5900 WITH SCORE 5906.794
AT ITER 24 NEW BEST:: SOT 9291 SOS 6756 HAS SOPS 6756 HAS SOUS 5873 HAS SOUPS 5873 WITH SCORE 5879.756
AT ITER 25 NEW BEST:: SOT 9291 SOS 6756 HAS SOPS 6756 HAS SOUS 5872 HAS SOUPS 5872 WITH SCORE 5878.756
AT ITER 26 NEW BEST:: SOT 9172 SOS 6637 HAS SOPS 6637 HAS SOUS 5779 HAS SOUPS 5779 WITH SCORE 5785.637
AT ITER 28 NEW BEST:: SOT 9041 SOS 6506 HAS SOPS 6506 HAS SOUS 5620 HAS SOUPS 5620 WITH SCORE 5626.506
AT ITER 30 NEW BEST:: SOT 9014 SOS 6456 HAS SOPS 6456 HAS SOUS 5570 HAS SOUPS 5570 WITH SCORE 5576.456
AT ITER 32 NEW BEST:: SOT 9014 SOS 6447 HAS SOPS 6447 HAS SOUS 5561 HAS SOUPS 5561 WITH SCORE 5567.447
AT ITER 34 NEW BEST:: SOT 8989 SOS 6422 HAS SOPS 6422 HAS SOUS 5556 HAS SOUPS 5556 WITH SCORE 5562.422
AT ITER 35 NEW BEST:: SOT 8989 SOS 6420 HAS SOPS 6420 HAS SOUS 5553 HAS SOUPS 5553 WITH SCORE 5559.42
AT ITER 39 NEW BEST:: SOT 8935 SOS 6462 HAS SOPS 6462 HAS SOUS 5525 HAS SOUPS 5525 WITH SCORE 5531.462
AT ITER 42 NEW BEST:: SOT 8921 SOS 6445 HAS SOPS 6445 HAS SOUS 5508 HAS SOUPS 5508 WITH SCORE 5514.445
AT ITER 44 NEW BEST:: SOT 8921 SOS 6429 HAS SOPS 6429 HAS SOUS 5505 HAS SOUPS 5505 WITH SCORE 5511.429
AT ITER 45 NEW BEST:: SOT 8839 SOS 6345 HAS SOPS 6345 HAS SOUS 5458 HAS SOUPS 5458 WITH SCORE 5464.345
AT ITER 46 NEW BEST:: SOT 8820 SOS 6326 HAS SOPS 6326 HAS SOUS 5439 HAS SOUPS 5439 WITH SCORE 5445.326
AT ITER 49 NEW BEST:: SOT 8820 SOS 6229 HAS SOPS 6229 HAS SOUS 5420 HAS SOUPS 5420 WITH SCORE 5426.229
AT ITER 50 NEW BEST:: SOT 8791 SOS 6200 HAS SOPS 6200 HAS SOUS 5391 HAS SOUPS 5391 WITH SCORE 5397.2
AT ITER 51 NEW BEST:: SOT 8789 SOS 6163 HAS SOPS 6163 HAS SOUS 5354 HAS SOUPS 5354 WITH SCORE 5360.163
AT ITER 66 NEW BEST:: SOT 8777 SOS 6111 HAS SOPS 6111 HAS SOUS 5317 HAS SOUPS 5317 WITH SCORE 5323.111
AT ITER 67 NEW BEST:: SOT 8734 SOS 6049 HAS SOPS 6049 HAS SOUS 5255 HAS SOUPS 5255 WITH SCORE 5261.049
AT ITER 75 NEW BEST:: SOT 8734 SOS 5953 HAS SOPS 5953 HAS SOUS 5226 HAS SOUPS 5226 WITH SCORE 5231.953
AT ITER 79 NEW BEST:: SOT 8727 SOS 5940 HAS SOPS 5940 HAS SOUS 5220 HAS SOUPS 5220 WITH SCORE 5225.94
AT ITER 82 NEW BEST:: SOT 8635 SOS 5848 HAS SOPS 5848 HAS SOUS 5135 HAS SOUPS 5135 WITH SCORE 5140.848
AT ITER 83 NEW BEST:: SOT 8601 SOS 5811 HAS SOPS 5811 HAS SOUS 5098 HAS SOUPS 5098 WITH SCORE 5103.811
AT ITER 84 NEW BEST:: SOT 8528 SOS 5736 HAS SOPS 5736 HAS SOUS 5023 HAS SOUPS 5023 WITH SCORE 5028.736
AT ITER 85 NEW BEST:: SOT 8403 SOS 5571 HAS SOPS 5571 HAS SOUS 4856 HAS SOUPS 4856 WITH SCORE 4861.571
AT ITER 86 NEW BEST:: SOT 8403 SOS 5561 HAS SOPS 5561 HAS SOUS 4856 HAS SOUPS 4856 WITH SCORE 4861.561
AT ITER 87 NEW BEST:: SOT 8409 SOS 5470 HAS SOPS 5470 HAS SOUS 4816 HAS SOUPS 4816 WITH SCORE 4821.47
AT ITER 92 NEW BEST:: SOT 8415 SOS 5299 HAS SOPS 5299 HAS SOUS 4732 HAS SOUPS 4732 WITH SCORE 4737.299
AT ITER 98 NEW BEST:: SOT 8414 SOS 5295 HAS SOPS 5295 HAS SOUS 4730 HAS SOUPS 4730 WITH SCORE 4735.295
AT ITER 102 NEW BEST:: SOT 8410 SOS 5155 HAS SOPS 5155 HAS SOUS 4651 HAS SOUPS 4651 WITH SCORE 4656.155
AT ITER 103 NEW BEST:: SOT 8421 SOS 5166 HAS SOPS 5166 HAS SOUS 4632 HAS SOUPS 4632 WITH SCORE 4637.166
AT ITER 106 NEW BEST:: SOT 8426 SOS 5153 HAS SOPS 5153 HAS SOUS 4630 HAS SOUPS 4630 WITH SCORE 4635.153
AT ITER 108 NEW BEST:: SOT 8333 SOS 5060 HAS SOPS 5060 HAS SOUS 4518 HAS SOUPS 4518 WITH SCORE 4523.06
AT ITER 113 NEW BEST:: SOT 8333 SOS 5024 HAS SOPS 5024 HAS SOUS 4503 HAS SOUPS 4503 WITH SCORE 4508.024
AT ITER 114 NEW BEST:: SOT 8326 SOS 4990 HAS SOPS 4990 HAS SOUS 4473 HAS SOUPS 4473 WITH SCORE 4477.99
AT ITER 117 NEW BEST:: SOT 8269 SOS 4933 HAS SOPS 4933 HAS SOUS 4416 HAS SOUPS 4416 WITH SCORE 4420.933
AT ITER 118 NEW BEST:: SOT 8269 SOS 4901 HAS SOPS 4901 HAS SOUS 4414 HAS SOUPS 4414 WITH SCORE 4418.901
AT ITER 121 NEW BEST:: SOT 8234 SOS 4864 HAS SOPS 4864 HAS SOUS 4377 HAS SOUPS 4377 WITH SCORE 4381.864
AT ITER 124 NEW BEST:: SOT 8209 SOS 4802 HAS SOPS 4802 HAS SOUS 4307 HAS SOUPS 4307 WITH SCORE 4311.802
AT ITER 127 NEW BEST:: SOT 8179 SOS 4786 HAS SOPS 4786 HAS SOUS 4289 HAS SOUPS 4289 WITH SCORE 4293.786
AT ITER 130 NEW BEST:: SOT 8090 SOS 4595 HAS SOPS 4595 HAS SOUS 4132 HAS SOUPS 4132 WITH SCORE 4136.595
AT ITER 132 NEW BEST:: SOT 8081 SOS 4629 HAS SOPS 4629 HAS SOUS 4119 HAS SOUPS 4119 WITH SCORE 4123.629
AT ITER 143 NEW BEST:: SOT 8070 SOS 4618 HAS SOPS 4618 HAS SOUS 4106 HAS SOUPS 4106 WITH SCORE 4110.618
AT ITER 145 NEW BEST:: SOT 8049 SOS 4595 HAS SOPS 4595 HAS SOUS 4060 HAS SOUPS 4060 WITH SCORE 4064.595
AT ITER 147 NEW BEST:: SOT 7994 SOS 4522 HAS SOPS 4522 HAS SOUS 3987 HAS SOUPS 3987 WITH SCORE 3991.522
AT ITER 148 NEW BEST:: SOT 7956 SOS 4472 HAS SOPS 4472 HAS SOUS 3930 HAS SOUPS 3930 WITH SCORE 3934.472
AT ITER 150 NEW BEST:: SOT 7954 SOS 4470 HAS SOPS 4470 HAS SOUS 3929 HAS SOUPS 3929 WITH SCORE 3933.47
AT ITER 155 NEW BEST:: SOT 7931 SOS 4423 HAS SOPS 4423 HAS SOUS 3882 HAS SOUPS 3882 WITH SCORE 3886.423
AT ITER 160 NEW BEST:: SOT 7931 SOS 4405 HAS SOPS 4405 HAS SOUS 3879 HAS SOUPS 3879 WITH SCORE 3883.405
AT ITER 169 NEW BEST:: SOT 7916 SOS 4390 HAS SOPS 4390 HAS SOUS 3864 HAS SOUPS 3864 WITH SCORE 3868.39
AT ITER 172 NEW BEST:: SOT 7904 SOS 4321 HAS SOPS 4321 HAS SOUS 3823 HAS SOUPS 3823 WITH SCORE 3827.321
AT ITER 184 NEW BEST:: SOT 7807 SOS 4156 HAS SOPS 4156 HAS SOUS 3680 HAS SOUPS 3680 WITH SCORE 3684.156
AT ITER 202 NEW BEST:: SOT 7801 SOS 4150 HAS SOPS 4150 HAS SOUS 3674 HAS SOUPS 3674 WITH SCORE 3678.15
AT ITER 214 NEW BEST:: SOT 7793 SOS 4149 HAS SOPS 4149 HAS SOUS 3673 HAS SOUPS 3673 WITH SCORE 3677.149
AT ITER 223 NEW BEST:: SOT 7784 SOS 4140 HAS SOPS 4140 HAS SOUS 3664 HAS SOUPS 3664 WITH SCORE 3668.14
AT ITER 226 NEW BEST:: SOT 7777 SOS 4082 HAS SOPS 4082 HAS SOUS 3639 HAS SOUPS 3639 WITH SCORE 3643.082
AT ITER 238 NEW BEST:: SOT 7761 SOS 4042 HAS SOPS 4042 HAS SOUS 3607 HAS SOUPS 3607 WITH SCORE 3611.042
AT ITER 251 NEW BEST:: SOT 7754 SOS 4007 HAS SOPS 4007 HAS SOUS 3586 HAS SOUPS 3586 WITH SCORE 3590.007
AT ITER 260 NEW BEST:: SOT 7740 SOS 3952 HAS SOPS 3952 HAS SOUS 3564 HAS SOUPS 3564 WITH SCORE 3567.952
AT ITER 261 NEW BEST:: SOT 7704 SOS 3883 HAS SOPS 3883 HAS SOUS 3560 HAS SOUPS 3560 WITH SCORE 3563.883
AT ITER 270 NEW BEST:: SOT 7688 SOS 3852 HAS SOPS 3852 HAS SOUS 3529 HAS SOUPS 3529 WITH SCORE 3532.852
AT ITER 274 NEW BEST:: SOT 7718 SOS 3846 HAS SOPS 3846 HAS SOUS 3522 HAS SOUPS 3522 WITH SCORE 3525.846
AT ITER 284 NEW BEST:: SOT 7717 SOS 3844 HAS SOPS 3844 HAS SOUS 3520 HAS SOUPS 3520 WITH SCORE 3523.844
AT ITER 287 NEW BEST:: SOT 7711 SOS 3828 HAS SOPS 3828 HAS SOUS 3504 HAS SOUPS 3504 WITH SCORE 3507.828
AT ITER 302 NEW BEST:: SOT 7704 SOS 3812 HAS SOPS 3812 HAS SOUS 3494 HAS SOUPS 3494 WITH SCORE 3497.812
AT ITER 308 NEW BEST:: SOT 7690 SOS 3798 HAS SOPS 3798 HAS SOUS 3481 HAS SOUPS 3481 WITH SCORE 3484.798
AT ITER 314 NEW BEST:: SOT 7671 SOS 3777 HAS SOPS 3777 HAS SOUS 3460 HAS SOUPS 3460 WITH SCORE 3463.777
AT ITER 319 NEW BEST:: SOT 7664 SOS 3762 HAS SOPS 3762 HAS SOUS 3445 HAS SOUPS 3445 WITH SCORE 3448.762
AT ITER 326 NEW BEST:: SOT 7671 SOS 3769 HAS SOPS 3769 HAS SOUS 3441 HAS SOUPS 3441 WITH SCORE 3444.769
AT ITER 359 NEW BEST:: SOT 7672 SOS 3764 HAS SOPS 3764 HAS SOUS 3440 HAS SOUPS 3440 WITH SCORE 3443.764
AT ITER 363 NEW BEST:: SOT 7568 SOS 3640 HAS SOPS 3640 HAS SOUS 3316 HAS SOUPS 3316 WITH SCORE 3319.64
AT ITER 369 NEW BEST:: SOT 7564 SOS 3636 HAS SOPS 3636 HAS SOUS 3312 HAS SOUPS 3312 WITH SCORE 3315.636
AT ITER 370 NEW BEST:: SOT 7538 SOS 3620 HAS SOPS 3620 HAS SOUS 3296 HAS SOUPS 3296 WITH SCORE 3299.62
AT ITER 383 NEW BEST:: SOT 7536 SOS 3618 HAS SOPS 3618 HAS SOUS 3294 HAS SOUPS 3294 WITH SCORE 3297.618
AT ITER 401 NEW BEST:: SOT 7517 SOS 3599 HAS SOPS 3599 HAS SOUS 3275 HAS SOUPS 3275 WITH SCORE 3278.599
AT ITER 409 NEW BEST:: SOT 7517 SOS 3551 HAS SOPS 3551 HAS SOUS 3261 HAS SOUPS 3261 WITH SCORE 3264.551
AT ITER 431 NEW BEST:: SOT 7509 SOS 3522 HAS SOPS 3522 HAS SOUS 3232 HAS SOUPS 3232 WITH SCORE 3235.522
AT ITER 435 NEW BEST:: SOT 7456 SOS 3434 HAS SOPS 3434 HAS SOUS 3144 HAS SOUPS 3144 WITH SCORE 3147.434
AT ITER 444 NEW BEST:: SOT 7450 SOS 3428 HAS SOPS 3428 HAS SOUS 3138 HAS SOUPS 3138 WITH SCORE 3141.428
AT ITER 454 NEW BEST:: SOT 7439 SOS 3402 HAS SOPS 3402 HAS SOUS 3112 HAS SOUPS 3112 WITH SCORE 3115.402
AT ITER 456 NEW BEST:: SOT 7430 SOS 3374 HAS SOPS 3374 HAS SOUS 3084 HAS SOUPS 3084 WITH SCORE 3087.374
AT ITER 466 NEW BEST:: SOT 7415 SOS 3364 HAS SOPS 3364 HAS SOUS 3077 HAS SOUPS 3077 WITH SCORE 3080.364
AT ITER 467 NEW BEST:: SOT 7415 SOS 3364 HAS SOPS 3364 HAS SOUS 3072 HAS SOUPS 3072 WITH SCORE 3075.364
AT ITER 471 NEW BEST:: SOT 7409 SOS 3373 HAS SOPS 3373 HAS SOUS 3071 HAS SOUPS 3071 WITH SCORE 3074.373
AT ITER 476 NEW BEST:: SOT 7383 SOS 3295 HAS SOPS 3295 HAS SOUS 3019 HAS SOUPS 3019 WITH SCORE 3022.295
AT ITER 480 NEW BEST:: SOT 7382 SOS 3289 HAS SOPS 3289 HAS SOUS 3016 HAS SOUPS 3016 WITH SCORE 3019.289
AT ITER 498 NEW BEST:: SOT 7370 SOS 3277 HAS SOPS 3277 HAS SOUS 3014 HAS SOUPS 3014 WITH SCORE 3017.277
AT ITER 500 NEW BEST:: SOT 7399 SOS 3204 HAS SOPS 3204 HAS SOUS 2998 HAS SOUPS 2998 WITH SCORE 3001.204
AT ITER 503 NEW BEST:: SOT 7389 SOS 3142 HAS SOPS 3142 HAS SOUS 2953 HAS SOUPS 2953 WITH SCORE 2956.142
AT ITER 505 NEW BEST:: SOT 7387 SOS 3140 HAS SOPS 3140 HAS SOUS 2949 HAS SOUPS 2949 WITH SCORE 2952.14
AT ITER 509 NEW BEST:: SOT 7381 SOS 3137 HAS SOPS 3137 HAS SOUS 2946 HAS SOUPS 2946 WITH SCORE 2949.137
AT ITER 510 NEW BEST:: SOT 7375 SOS 3131 HAS SOPS 3131 HAS SOUS 2940 HAS SOUPS 2940 WITH SCORE 2943.131
AT ITER 526 NEW BEST:: SOT 7375 SOS 3130 HAS SOPS 3130 HAS SOUS 2939 HAS SOUPS 2939 WITH SCORE 2942.13
AT ITER 528 NEW BEST:: SOT 7374 SOS 3127 HAS SOPS 3127 HAS SOUS 2936 HAS SOUPS 2936 WITH SCORE 2939.127
AT ITER 531 NEW BEST:: SOT 7367 SOS 3110 HAS SOPS 3110 HAS SOUS 2929 HAS SOUPS 2929 WITH SCORE 2932.11
AT ITER 533 NEW BEST:: SOT 7366 SOS 3107 HAS SOPS 3107 HAS SOUS 2926 HAS SOUPS 2926 WITH SCORE 2929.107
AT ITER 542 NEW BEST:: SOT 7369 SOS 3103 HAS SOPS 3103 HAS SOUS 2922 HAS SOUPS 2922 WITH SCORE 2925.103
AT ITER 546 NEW BEST:: SOT 7364 SOS 3103 HAS SOPS 3103 HAS SOUS 2913 HAS SOUPS 2913 WITH SCORE 2916.103
AT ITER 566 NEW BEST:: SOT 7354 SOS 3069 HAS SOPS 3069 HAS SOUS 2879 HAS SOUPS 2879 WITH SCORE 2882.069
AT ITER 568 NEW BEST:: SOT 7354 SOS 3068 HAS SOPS 3068 HAS SOUS 2878 HAS SOUPS 2878 WITH SCORE 2881.068
AT ITER 569 NEW BEST:: SOT 7353 SOS 3067 HAS SOPS 3067 HAS SOUS 2877 HAS SOUPS 2877 WITH SCORE 2880.067
AT ITER 579 NEW BEST:: SOT 7353 SOS 3063 HAS SOPS 3063 HAS SOUS 2873 HAS SOUPS 2873 WITH SCORE 2876.063
AT ITER 581 NEW BEST:: SOT 7353 SOS 3063 HAS SOPS 3063 HAS SOUS 2871 HAS SOUPS 2871 WITH SCORE 2874.063
AT ITER 584 NEW BEST:: SOT 7351 SOS 3061 HAS SOPS 3061 HAS SOUS 2869 HAS SOUPS 2869 WITH SCORE 2872.061
AT ITER 602 NEW BEST:: SOT 7344 SOS 3052 HAS SOPS 3052 HAS SOUS 2860 HAS SOUPS 2860 WITH SCORE 2863.052
AT ITER 607 NEW BEST:: SOT 7345 SOS 3043 HAS SOPS 3043 HAS SOUS 2851 HAS SOUPS 2851 WITH SCORE 2854.043
AT ITER 629 NEW BEST:: SOT 7345 SOS 3036 HAS SOPS 3036 HAS SOUS 2851 HAS SOUPS 2851 WITH SCORE 2854.036
AT ITER 639 NEW BEST:: SOT 7330 SOS 3019 HAS SOPS 3019 HAS SOUS 2851 HAS SOUPS 2851 WITH SCORE 2854.019
AT ITER 649 NEW BEST:: SOT 7327 SOS 3013 HAS SOPS 3013 HAS SOUS 2845 HAS SOUPS 2845 WITH SCORE 2848.013
AT ITER 661 NEW BEST:: SOT 7322 SOS 2988 HAS SOPS 2988 HAS SOUS 2823 HAS SOUPS 2823 WITH SCORE 2825.988
AT ITER 670 NEW BEST:: SOT 7320 SOS 2974 HAS SOPS 2974 HAS SOUS 2813 HAS SOUPS 2813 WITH SCORE 2815.974
AT ITER 688 NEW BEST:: SOT 7309 SOS 2954 HAS SOPS 2954 HAS SOUS 2793 HAS SOUPS 2793 WITH SCORE 2795.954
AT ITER 690 NEW BEST:: SOT 7309 SOS 2952 HAS SOPS 2952 HAS SOUS 2791 HAS SOUPS 2791 WITH SCORE 2793.952
AT ITER 692 NEW BEST:: SOT 7273 SOS 2909 HAS SOPS 2909 HAS SOUS 2748 HAS SOUPS 2748 WITH SCORE 2750.909
AT ITER 706 NEW BEST:: SOT 7224 SOS 2860 HAS SOPS 2860 HAS SOUS 2683 HAS SOUPS 2683 WITH SCORE 2685.86
AT ITER 710 NEW BEST:: SOT 7221 SOS 2857 HAS SOPS 2857 HAS SOUS 2677 HAS SOUPS 2677 WITH SCORE 2679.857
AT ITER 738 NEW BEST:: SOT 7181 SOS 2831 HAS SOPS 2831 HAS SOUS 2656 HAS SOUPS 2656 WITH SCORE 2658.831
AT ITER 753 NEW BEST:: SOT 7174 SOS 2812 HAS SOPS 2812 HAS SOUS 2637 HAS SOUPS 2637 WITH SCORE 2639.812
AT ITER 756 NEW BEST:: SOT 7175 SOS 2794 HAS SOPS 2794 HAS SOUS 2613 HAS SOUPS 2613 WITH SCORE 2615.794
AT ITER 773 NEW BEST:: SOT 7175 SOS 2783 HAS SOPS 2783 HAS SOUS 2602 HAS SOUPS 2602 WITH SCORE 2604.783
AT ITER 783 NEW BEST:: SOT 7175 SOS 2744 HAS SOPS 2744 HAS SOUS 2596 HAS SOUPS 2596 WITH SCORE 2598.744
AT ITER 786 NEW BEST:: SOT 7157 SOS 2710 HAS SOPS 2710 HAS SOUS 2562 HAS SOUPS 2562 WITH SCORE 2564.71
AT ITER 832 NEW BEST:: SOT 7153 SOS 2705 HAS SOPS 2705 HAS SOUS 2555 HAS SOUPS 2555 WITH SCORE 2557.705
AT ITER 841 NEW BEST:: SOT 7132 SOS 2684 HAS SOPS 2684 HAS SOUS 2534 HAS SOUPS 2534 WITH SCORE 2536.684
AT ITER 858 NEW BEST:: SOT 7127 SOS 2677 HAS SOPS 2677 HAS SOUS 2527 HAS SOUPS 2527 WITH SCORE 2529.677
AT ITER 871 NEW BEST:: SOT 7127 SOS 2624 HAS SOPS 2624 HAS SOUS 2470 HAS SOUPS 2470 WITH SCORE 2472.624
AT ITER 872 NEW BEST:: SOT 7125 SOS 2622 HAS SOPS 2622 HAS SOUS 2470 HAS SOUPS 2470 WITH SCORE 2472.622
AT ITER 878 NEW BEST:: SOT 7123 SOS 2617 HAS SOPS 2617 HAS SOUS 2465 HAS SOUPS 2465 WITH SCORE 2467.617
AT ITER 883 NEW BEST:: SOT 7123 SOS 2616 HAS SOPS 2616 HAS SOUS 2464 HAS SOUPS 2464 WITH SCORE 2466.616
AT ITER 901 NEW BEST:: SOT 7125 SOS 2615 HAS SOPS 2615 HAS SOUS 2463 HAS SOUPS 2463 WITH SCORE 2465.615
AT ITER 907 NEW BEST:: SOT 7123 SOS 2610 HAS SOPS 2610 HAS SOUS 2458 HAS SOUPS 2458 WITH SCORE 2460.61
AT ITER 916 NEW BEST:: SOT 7121 SOS 2608 HAS SOPS 2608 HAS SOUS 2456 HAS SOUPS 2456 WITH SCORE 2458.608
AT ITER 934 NEW BEST:: SOT 7109 SOS 2596 HAS SOPS 2596 HAS SOUS 2444 HAS SOUPS 2444 WITH SCORE 2446.596
AT ITER 961 NEW BEST:: SOT 7101 SOS 2581 HAS SOPS 2581 HAS SOUS 2429 HAS SOUPS 2429 WITH SCORE 2431.581
AT ITER 974 NEW BEST:: SOT 7098 SOS 2556 HAS SOPS 2556 HAS SOUS 2423 HAS SOUPS 2423 WITH SCORE 2425.556
AT ITER 1005 NEW BEST:: SOT 7110 SOS 2555 HAS SOPS 2555 HAS SOUS 2422 HAS SOUPS 2422 WITH SCORE 2424.555
AT ITER 1006 NEW BEST:: SOT 7093 SOS 2538 HAS SOPS 2538 HAS SOUS 2402 HAS SOUPS 2402 WITH SCORE 2404.538
AT ITER 1016 NEW BEST:: SOT 7088 SOS 2533 HAS SOPS 2533 HAS SOUS 2397 HAS SOUPS 2397 WITH SCORE 2399.533
AT ITER 1032 NEW BEST:: SOT 7072 SOS 2488 HAS SOPS 2488 HAS SOUS 2352 HAS SOUPS 2352 WITH SCORE 2354.488
AT ITER 1044 NEW BEST:: SOT 7044 SOS 2457 HAS SOPS 2457 HAS SOUS 2321 HAS SOUPS 2321 WITH SCORE 2323.457
AT ITER 1054 NEW BEST:: SOT 7043 SOS 2456 HAS SOPS 2456 HAS SOUS 2320 HAS SOUPS 2320 WITH SCORE 2322.456
AT ITER 1055 NEW BEST:: SOT 7043 SOS 2460 HAS SOPS 2460 HAS SOUS 2319 HAS SOUPS 2319 WITH SCORE 2321.46
AT ITER 1099 NEW BEST:: SOT 7043 SOS 2461 HAS SOPS 2461 HAS SOUS 2317 HAS SOUPS 2317 WITH SCORE 2319.461
AT ITER 1136 NEW BEST:: SOT 7037 SOS 2451 HAS SOPS 2451 HAS SOUS 2307 HAS SOUPS 2307 WITH SCORE 2309.451
AT ITER 1163 NEW BEST:: SOT 7039 SOS 2445 HAS SOPS 2445 HAS SOUS 2301 HAS SOUPS 2301 WITH SCORE 2303.445
AT ITER 1181 NEW BEST:: SOT 7038 SOS 2441 HAS SOPS 2441 HAS SOUS 2297 HAS SOUPS 2297 WITH SCORE 2299.441
AT ITER 1192 NEW BEST:: SOT 7036 SOS 2439 HAS SOPS 2439 HAS SOUS 2295 HAS SOUPS 2295 WITH SCORE 2297.439
AT ITER 1199 NEW BEST:: SOT 7037 SOS 2436 HAS SOPS 2436 HAS SOUS 2293 HAS SOUPS 2293 WITH SCORE 2295.436
AT ITER 1225 NEW BEST:: SOT 7034 SOS 2433 HAS SOPS 2433 HAS SOUS 2290 HAS SOUPS 2290 WITH SCORE 2292.433
AT ITER 1233 NEW BEST:: SOT 7008 SOS 2423 HAS SOPS 2423 HAS SOUS 2280 HAS SOUPS 2280 WITH SCORE 2282.423
AT ITER 1244 NEW BEST:: SOT 6996 SOS 2411 HAS SOPS 2411 HAS SOUS 2268 HAS SOUPS 2268 WITH SCORE 2270.411
AT ITER 1264 NEW BEST:: SOT 6997 SOS 2404 HAS SOPS 2404 HAS SOUS 2268 HAS SOUPS 2268 WITH SCORE 2270.404
AT ITER 1287 NEW BEST:: SOT 6992 SOS 2390 HAS SOPS 2390 HAS SOUS 2263 HAS SOUPS 2263 WITH SCORE 2265.39
AT ITER 1321 NEW BEST:: SOT 7021 SOS 2408 HAS SOPS 2408 HAS SOUS 2257 HAS SOUPS 2257 WITH SCORE 2259.408
AT ITER 1355 NEW BEST:: SOT 7011 SOS 2378 HAS SOPS 2378 HAS SOUS 2227 HAS SOUPS 2227 WITH SCORE 2229.378
AT ITER 1356 NEW BEST:: SOT 7005 SOS 2377 HAS SOPS 2377 HAS SOUS 2226 HAS SOUPS 2226 WITH SCORE 2228.377
AT ITER 1359 NEW BEST:: SOT 7000 SOS 2367 HAS SOPS 2367 HAS SOUS 2216 HAS SOUPS 2216 WITH SCORE 2218.367
AT ITER 1369 NEW BEST:: SOT 7000 SOS 2366 HAS SOPS 2366 HAS SOUS 2209 HAS SOUPS 2209 WITH SCORE 2211.366
AT ITER 1388 NEW BEST:: SOT 7000 SOS 2369 HAS SOPS 2369 HAS SOUS 2204 HAS SOUPS 2204 WITH SCORE 2206.369
AT ITER 1430 NEW BEST:: SOT 6997 SOS 2359 HAS SOPS 2359 HAS SOUS 2200 HAS SOUPS 2200 WITH SCORE 2202.359
AT ITER 1446 NEW BEST:: SOT 6998 SOS 2356 HAS SOPS 2356 HAS SOUS 2197 HAS SOUPS 2197 WITH SCORE 2199.356
AT ITER 1462 NEW BEST:: SOT 6990 SOS 2344 HAS SOPS 2344 HAS SOUS 2185 HAS SOUPS 2185 WITH SCORE 2187.344
AT ITER 1467 NEW BEST:: SOT 6986 SOS 2340 HAS SOPS 2340 HAS SOUS 2181 HAS SOUPS 2181 WITH SCORE 2183.34
AT ITER 1486 NEW BEST:: SOT 6984 SOS 2335 HAS SOPS 2335 HAS SOUS 2176 HAS SOUPS 2176 WITH SCORE 2178.335
AT ITER 1515 NEW BEST:: SOT 6981 SOS 2331 HAS SOPS 2331 HAS SOUS 2166 HAS SOUPS 2166 WITH SCORE 2168.331
AT ITER 1523 NEW BEST:: SOT 6977 SOS 2314 HAS SOPS 2314 HAS SOUS 2149 HAS SOUPS 2149 WITH SCORE 2151.314
AT ITER 1532 NEW BEST:: SOT 6975 SOS 2307 HAS SOPS 2307 HAS SOUS 2142 HAS SOUPS 2142 WITH SCORE 2144.307
AT ITER 1545 NEW BEST:: SOT 6972 SOS 2304 HAS SOPS 2304 HAS SOUS 2139 HAS SOUPS 2139 WITH SCORE 2141.304
AT ITER 1555 NEW BEST:: SOT 6947 SOS 2222 HAS SOPS 2222 HAS SOUS 2085 HAS SOUPS 2085 WITH SCORE 2087.222
AT ITER 1569 NEW BEST:: SOT 6946 SOS 2221 HAS SOPS 2221 HAS SOUS 2085 HAS SOUPS 2085 WITH SCORE 2087.221
AT ITER 1578 NEW BEST:: SOT 6946 SOS 2218 HAS SOPS 2218 HAS SOUS 2082 HAS SOUPS 2082 WITH SCORE 2084.218
AT ITER 1579 NEW BEST:: SOT 6940 SOS 2214 HAS SOPS 2214 HAS SOUS 2078 HAS SOUPS 2078 WITH SCORE 2080.214
AT ITER 1620 NEW BEST:: SOT 6933 SOS 2192 HAS SOPS 2192 HAS SOUS 2056 HAS SOUPS 2056 WITH SCORE 2058.192
AT ITER 1649 NEW BEST:: SOT 6938 SOS 2170 HAS SOPS 2170 HAS SOUS 2039 HAS SOUPS 2039 WITH SCORE 2041.17
AT ITER 1694 NEW BEST:: SOT 6928 SOS 2157 HAS SOPS 2157 HAS SOUS 2026 HAS SOUPS 2026 WITH SCORE 2028.157
AT ITER 1730 NEW BEST:: SOT 6923 SOS 2152 HAS SOPS 2152 HAS SOUS 2021 HAS SOUPS 2021 WITH SCORE 2023.152
AT ITER 1734 NEW BEST:: SOT 6923 SOS 2151 HAS SOPS 2151 HAS SOUS 2020 HAS SOUPS 2020 WITH SCORE 2022.151
AT ITER 1762 NEW BEST:: SOT 6914 SOS 2143 HAS SOPS 2143 HAS SOUS 2012 HAS SOUPS 2012 WITH SCORE 2014.143
AT ITER 1778 NEW BEST:: SOT 6912 SOS 2142 HAS SOPS 2142 HAS SOUS 2011 HAS SOUPS 2011 WITH SCORE 2013.142
AT ITER 1817 NEW BEST:: SOT 6906 SOS 2134 HAS SOPS 2134 HAS SOUS 2003 HAS SOUPS 2003 WITH SCORE 2005.134
AT ITER 1854 NEW BEST:: SOT 6905 SOS 2132 HAS SOPS 2132 HAS SOUS 2002 HAS SOUPS 2002 WITH SCORE 2004.132
AT ITER 1928 NEW BEST:: SOT 6903 SOS 2133 HAS SOPS 2133 HAS SOUS 1998 HAS SOUPS 1998 WITH SCORE 2000.133
AT ITER 1946 NEW BEST:: SOT 6903 SOS 2132 HAS SOPS 2132 HAS SOUS 1997 HAS SOUPS 1997 WITH SCORE 1999.132
AT ITER 1959 NEW BEST:: SOT 6901 SOS 2128 HAS SOPS 2128 HAS SOUS 1995 HAS SOUPS 1995 WITH SCORE 1997.128
AT ITER 1989 NEW BEST:: SOT 6896 SOS 2131 HAS SOPS 2131 HAS SOUS 1993 HAS SOUPS 1993 WITH SCORE 1995.131
AT ITER 2058 NEW BEST:: SOT 6896 SOS 2125 HAS SOPS 2125 HAS SOUS 1987 HAS SOUPS 1987 WITH SCORE 1989.125
AT ITER 2068 NEW BEST:: SOT 6893 SOS 2122 HAS SOPS 2122 HAS SOUS 1984 HAS SOUPS 1984 WITH SCORE 1986.122
AT ITER 2113 NEW BEST:: SOT 6891 SOS 2120 HAS SOPS 2120 HAS SOUS 1982 HAS SOUPS 1982 WITH SCORE 1984.12
AT ITER 2167 NEW BEST:: SOT 6891 SOS 2119 HAS SOPS 2119 HAS SOUS 1981 HAS SOUPS 1981 WITH SCORE 1983.119
AT ITER 2168 NEW BEST:: SOT 6888 SOS 2116 HAS SOPS 2116 HAS SOUS 1978 HAS SOUPS 1978 WITH SCORE 1980.116
AT ITER 2221 NEW BEST:: SOT 6882 SOS 2107 HAS SOPS 2107 HAS SOUS 1969 HAS SOUPS 1969 WITH SCORE 1971.107
AT ITER 2295 NEW BEST:: SOT 6878 SOS 2103 HAS SOPS 2103 HAS SOUS 1964 HAS SOUPS 1964 WITH SCORE 1966.103
AT ITER 2327 NEW BEST:: SOT 6878 SOS 2101 HAS SOPS 2101 HAS SOUS 1963 HAS SOUPS 1963 WITH SCORE 1965.101
AT ITER 2367 NEW BEST:: SOT 6876 SOS 2095 HAS SOPS 2095 HAS SOUS 1959 HAS SOUPS 1959 WITH SCORE 1961.095
AT ITER 2379 NEW BEST:: SOT 6875 SOS 2093 HAS SOPS 2093 HAS SOUS 1957 HAS SOUPS 1957 WITH SCORE 1959.093
AT ITER 2432 NEW BEST:: SOT 6867 SOS 2077 HAS SOPS 2077 HAS SOUS 1944 HAS SOUPS 1944 WITH SCORE 1946.077
AT ITER 2507 NEW BEST:: SOT 6869 SOS 2068 HAS SOPS 2068 HAS SOUS 1935 HAS SOUPS 1935 WITH SCORE 1937.068
AT ITER 2513 NEW BEST:: SOT 6870 SOS 2066 HAS SOPS 2066 HAS SOUS 1934 HAS SOUPS 1934 WITH SCORE 1936.066
AT ITER 2539 NEW BEST:: SOT 6869 SOS 2060 HAS SOPS 2060 HAS SOUS 1930 HAS SOUPS 1930 WITH SCORE 1932.06
AT ITER 2596 NEW BEST:: SOT 6871 SOS 2059 HAS SOPS 2059 HAS SOUS 1929 HAS SOUPS 1929 WITH SCORE 1931.059
AT ITER 2651 NEW BEST:: SOT 6878 SOS 2057 HAS SOPS 2057 HAS SOUS 1929 HAS SOUPS 1929 WITH SCORE 1931.057
AT ITER 2666 NEW BEST:: SOT 6876 SOS 2041 HAS SOPS 2041 HAS SOUS 1918 HAS SOUPS 1918 WITH SCORE 1920.041
AT ITER 2676 NEW BEST:: SOT 6873 SOS 2035 HAS SOPS 2035 HAS SOUS 1915 HAS SOUPS 1915 WITH SCORE 1917.035
AT ITER 2708 NEW BEST:: SOT 6871 SOS 2034 HAS SOPS 2034 HAS SOUS 1914 HAS SOUPS 1914 WITH SCORE 1916.034
AT ITER 2760 NEW BEST:: SOT 6870 SOS 2033 HAS SOPS 2033 HAS SOUS 1913 HAS SOUPS 1913 WITH SCORE 1915.033
AT ITER 2766 NEW BEST:: SOT 6871 SOS 2025 HAS SOPS 2025 HAS SOUS 1910 HAS SOUPS 1910 WITH SCORE 1912.025
AT ITER 2772 NEW BEST:: SOT 6870 SOS 2023 HAS SOPS 2023 HAS SOUS 1908 HAS SOUPS 1908 WITH SCORE 1910.023
AT ITER 2795 NEW BEST:: SOT 6868 SOS 2019 HAS SOPS 2019 HAS SOUS 1904 HAS SOUPS 1904 WITH SCORE 1906.019
AT ITER 2864 NEW BEST:: SOT 6868 SOS 2017 HAS SOPS 2017 HAS SOUS 1904 HAS SOUPS 1904 WITH SCORE 1906.017
AT ITER 2913 NEW BEST:: SOT 6867 SOS 2016 HAS SOPS 2016 HAS SOUS 1903 HAS SOUPS 1903 WITH SCORE 1905.016
AT ITER 2946 NEW BEST:: SOT 6866 SOS 2013 HAS SOPS 2013 HAS SOUS 1900 HAS SOUPS 1900 WITH SCORE 1902.013
AT ITER 3012 NEW BEST:: SOT 6864 SOS 2010 HAS SOPS 2010 HAS SOUS 1897 HAS SOUPS 1897 WITH SCORE 1899.01
AT ITER 3019 NEW BEST:: SOT 6862 SOS 2007 HAS SOPS 2007 HAS SOUS 1894 HAS SOUPS 1894 WITH SCORE 1896.007
AT ITER 3107 NEW BEST:: SOT 6862 SOS 2006 HAS SOPS 2006 HAS SOUS 1894 HAS SOUPS 1894 WITH SCORE 1896.006
AT ITER 3135 NEW BEST:: SOT 6862 SOS 2004 HAS SOPS 2004 HAS SOUS 1892 HAS SOUPS 1892 WITH SCORE 1894.004
AT ITER 3165 NEW BEST:: SOT 6862 SOS 2002 HAS SOPS 2002 HAS SOUS 1892 HAS SOUPS 1892 WITH SCORE 1894.002
AT ITER 3168 NEW BEST:: SOT 6856 SOS 1999 HAS SOPS 1999 HAS SOUS 1889 HAS SOUPS 1889 WITH SCORE 1890.999
AT ITER 3252 NEW BEST:: SOT 6846 SOS 1990 HAS SOPS 1990 HAS SOUS 1880 HAS SOUPS 1880 WITH SCORE 1881.99
AT ITER 3293 NEW BEST:: SOT 6843 SOS 1985 HAS SOPS 1985 HAS SOUS 1875 HAS SOUPS 1875 WITH SCORE 1876.985
AT ITER 3300 NEW BEST:: SOT 6843 SOS 1982 HAS SOPS 1982 HAS SOUS 1875 HAS SOUPS 1875 WITH SCORE 1876.982
AT ITER 3333 NEW BEST:: SOT 6842 SOS 1979 HAS SOPS 1979 HAS SOUS 1872 HAS SOUPS 1872 WITH SCORE 1873.979
AT ITER 3350 NEW BEST:: SOT 6841 SOS 1976 HAS SOPS 1976 HAS SOUS 1871 HAS SOUPS 1871 WITH SCORE 1872.976
AT ITER 3364 NEW BEST:: SOT 6841 SOS 1971 HAS SOPS 1971 HAS SOUS 1868 HAS SOUPS 1868 WITH SCORE 1869.971
AT ITER 3442 NEW BEST:: SOT 6841 SOS 1970 HAS SOPS 1970 HAS SOUS 1867 HAS SOUPS 1867 WITH SCORE 1868.97
AT ITER 3491 NEW BEST:: SOT 6839 SOS 1968 HAS SOPS 1968 HAS SOUS 1865 HAS SOUPS 1865 WITH SCORE 1866.968
AT ITER 3559 NEW BEST:: SOT 6841 SOS 1966 HAS SOPS 1966 HAS SOUS 1863 HAS SOUPS 1863 WITH SCORE 1864.966
AT ITER 3586 NEW BEST:: SOT 6840 SOS 1964 HAS SOPS 1964 HAS SOUS 1861 HAS SOUPS 1861 WITH SCORE 1862.964
AT ITER 3596 NEW BEST:: SOT 6835 SOS 1955 HAS SOPS 1955 HAS SOUS 1856 HAS SOUPS 1856 WITH SCORE 1857.955
AT ITER 3599 NEW BEST:: SOT 6836 SOS 1953 HAS SOPS 1953 HAS SOUS 1854 HAS SOUPS 1854 WITH SCORE 1855.953
AT ITER 3663 NEW BEST:: SOT 6835 SOS 1952 HAS SOPS 1952 HAS SOUS 1853 HAS SOUPS 1853 WITH SCORE 1854.952
AT ITER 3737 NEW BEST:: SOT 6832 SOS 1950 HAS SOPS 1950 HAS SOUS 1851 HAS SOUPS 1851 WITH SCORE 1852.95
AT ITER 3739 NEW BEST:: SOT 6831 SOS 1946 HAS SOPS 1946 HAS SOUS 1846 HAS SOUPS 1846 WITH SCORE 1847.946
AT ITER 3885 NEW BEST:: SOT 6831 SOS 1945 HAS SOPS 1945 HAS SOUS 1845 HAS SOUPS 1845 WITH SCORE 1846.945
AT ITER 4008 NEW BEST:: SOT 6832 SOS 1943 HAS SOPS 1943 HAS SOUS 1843 HAS SOUPS 1843 WITH SCORE 1844.943
AT ITER 4015 NEW BEST:: SOT 6832 SOS 1940 HAS SOPS 1940 HAS SOUS 1841 HAS SOUPS 1841 WITH SCORE 1842.94
AT ITER 4121 NEW BEST:: SOT 6831 SOS 1936 HAS SOPS 1936 HAS SOUS 1838 HAS SOUPS 1838 WITH SCORE 1839.936
AT ITER 4134 NEW BEST:: SOT 6829 SOS 1935 HAS SOPS 1935 HAS SOUS 1834 HAS SOUPS 1834 WITH SCORE 1835.935
AT ITER 4224 NEW BEST:: SOT 6823 SOS 1929 HAS SOPS 1929 HAS SOUS 1828 HAS SOUPS 1828 WITH SCORE 1829.929
AT ITER 4245 NEW BEST:: SOT 6824 SOS 1924 HAS SOPS 1924 HAS SOUS 1823 HAS SOUPS 1823 WITH SCORE 1824.924
AT ITER 4384 NEW BEST:: SOT 6823 SOS 1922 HAS SOPS 1922 HAS SOUS 1821 HAS SOUPS 1821 WITH SCORE 1822.922
AT ITER 4396 NEW BEST:: SOT 6818 SOS 1916 HAS SOPS 1916 HAS SOUS 1815 HAS SOUPS 1815 WITH SCORE 1816.916
AT ITER 4407 NEW BEST:: SOT 6816 SOS 1913 HAS SOPS 1913 HAS SOUS 1812 HAS SOUPS 1812 WITH SCORE 1813.913
AT ITER 4425 NEW BEST:: SOT 6814 SOS 1911 HAS SOPS 1911 HAS SOUS 1810 HAS SOUPS 1810 WITH SCORE 1811.911
AT ITER 4560 NEW BEST:: SOT 6812 SOS 1906 HAS SOPS 1906 HAS SOUS 1805 HAS SOUPS 1805 WITH SCORE 1806.906
AT ITER 4663 NEW BEST:: SOT 6809 SOS 1903 HAS SOPS 1903 HAS SOUS 1803 HAS SOUPS 1803 WITH SCORE 1804.903
AT ITER 4665 NEW BEST:: SOT 6808 SOS 1902 HAS SOPS 1902 HAS SOUS 1802 HAS SOUPS 1802 WITH SCORE 1803.902
AT ITER 4674 NEW BEST:: SOT 6800 SOS 1898 HAS SOPS 1898 HAS SOUS 1798 HAS SOUPS 1798 WITH SCORE 1799.898
AT ITER 4803 NEW BEST:: SOT 6799 SOS 1896 HAS SOPS 1896 HAS SOUS 1796 HAS SOUPS 1796 WITH SCORE 1797.896
AT ITER 4857 NEW BEST:: SOT 6793 SOS 1894 HAS SOPS 1894 HAS SOUS 1794 HAS SOUPS 1794 WITH SCORE 1795.894
AT ITER 4931 NEW BEST:: SOT 6793 SOS 1893 HAS SOPS 1893 HAS SOUS 1793 HAS SOUPS 1793 WITH SCORE 1794.893
AT ITER 4957 NEW BEST:: SOT 6791 SOS 1890 HAS SOPS 1890 HAS SOUS 1790 HAS SOUPS 1790 WITH SCORE 1791.89
AT ITER 5083 NEW BEST:: SOT 6791 SOS 1890 HAS SOPS 1890 HAS SOUS 1789 HAS SOUPS 1789 WITH SCORE 1790.89
AT ITER 5177 NEW BEST:: SOT 6791 SOS 1889 HAS SOPS 1889 HAS SOUS 1789 HAS SOUPS 1789 WITH SCORE 1790.889
AT ITER 5218 NEW BEST:: SOT 6789 SOS 1886 HAS SOPS 1886 HAS SOUS 1786 HAS SOUPS 1786 WITH SCORE 1787.886
AT ITER 5299 NEW BEST:: SOT 6788 SOS 1885 HAS SOPS 1885 HAS SOUS 1783 HAS SOUPS 1783 WITH SCORE 1784.885
AT ITER 5536 NEW BEST:: SOT 6788 SOS 1885 HAS SOPS 1885 HAS SOUS 1782 HAS SOUPS 1782 WITH SCORE 1783.885
AT ITER 5537 NEW BEST:: SOT 6786 SOS 1881 HAS SOPS 1881 HAS SOUS 1778 HAS SOUPS 1778 WITH SCORE 1779.881
AT ITER 5687 NEW BEST:: SOT 6784 SOS 1879 HAS SOPS 1879 HAS SOUS 1776 HAS SOUPS 1776 WITH SCORE 1777.879
AT ITER 5688 NEW BEST:: SOT 6783 SOS 1879 HAS SOPS 1879 HAS SOUS 1772 HAS SOUPS 1772 WITH SCORE 1773.879
AT ITER 5883 NEW BEST:: SOT 6788 SOS 1877 HAS SOPS 1877 HAS SOUS 1770 HAS SOUPS 1770 WITH SCORE 1771.877
AT ITER 5889 NEW BEST:: SOT 6784 SOS 1870 HAS SOPS 1870 HAS SOUS 1765 HAS SOUPS 1765 WITH SCORE 1766.87
AT ITER 6263 NEW BEST:: SOT 6776 SOS 1861 HAS SOPS 1861 HAS SOUS 1756 HAS SOUPS 1756 WITH SCORE 1757.861
AT ITER 6480 NEW BEST:: SOT 6772 SOS 1856 HAS SOPS 1856 HAS SOUS 1751 HAS SOUPS 1751 WITH SCORE 1752.856
AT ITER 6531 NEW BEST:: SOT 6772 SOS 1855 HAS SOPS 1855 HAS SOUS 1750 HAS SOUPS 1750 WITH SCORE 1751.855
AT ITER 6604 NEW BEST:: SOT 6766 SOS 1851 HAS SOPS 1851 HAS SOUS 1746 HAS SOUPS 1746 WITH SCORE 1747.851
AT ITER 6806 NEW BEST:: SOT 6766 SOS 1849 HAS SOPS 1849 HAS SOUS 1744 HAS SOUPS 1744 WITH SCORE 1745.849
AT ITER 6887 NEW BEST:: SOT 6772 SOS 1846 HAS SOPS 1846 HAS SOUS 1741 HAS SOUPS 1741 WITH SCORE 1742.846
AT ITER 6954 NEW BEST:: SOT 6773 SOS 1844 HAS SOPS 1844 HAS SOUS 1739 HAS SOUPS 1739 WITH SCORE 1740.844
AT ITER 6997 NEW BEST:: SOT 6771 SOS 1842 HAS SOPS 1842 HAS SOUS 1735 HAS SOUPS 1735 WITH SCORE 1736.842
AT ITER 7036 NEW BEST:: SOT 6771 SOS 1841 HAS SOPS 1841 HAS SOUS 1728 HAS SOUPS 1728 WITH SCORE 1729.841
AT ITER 7329 NEW BEST:: SOT 6769 SOS 1839 HAS SOPS 1839 HAS SOUS 1726 HAS SOUPS 1726 WITH SCORE 1727.839
AT ITER 7394 NEW BEST:: SOT 6752 SOS 1829 HAS SOPS 1829 HAS SOUS 1716 HAS SOUPS 1716 WITH SCORE 1717.829
AT ITER 7423 NEW BEST:: SOT 6751 SOS 1827 HAS SOPS 1827 HAS SOUS 1714 HAS SOUPS 1714 WITH SCORE 1715.827
AT ITER 7536 NEW BEST:: SOT 6751 SOS 1826 HAS SOPS 1826 HAS SOUS 1714 HAS SOUPS 1714 WITH SCORE 1715.826
AT ITER 7553 NEW BEST:: SOT 6750 SOS 1825 HAS SOPS 1825 HAS SOUS 1713 HAS SOUPS 1713 WITH SCORE 1714.825
AT ITER 7802 NEW BEST:: SOT 6750 SOS 1824 HAS SOPS 1824 HAS SOUS 1712 HAS SOUPS 1712 WITH SCORE 1713.824
AT ITER 8095 NEW BEST:: SOT 6749 SOS 1823 HAS SOPS 1823 HAS SOUS 1711 HAS SOUPS 1711 WITH SCORE 1712.823
AT ITER 8129 NEW BEST:: SOT 6752 SOS 1822 HAS SOPS 1822 HAS SOUS 1710 HAS SOUPS 1710 WITH SCORE 1711.822
AT ITER 8246 NEW BEST:: SOT 6752 SOS 1821 HAS SOPS 1821 HAS SOUS 1709 HAS SOUPS 1709 WITH SCORE 1710.821
AT ITER 8337 NEW BEST:: SOT 6752 SOS 1818 HAS SOPS 1818 HAS SOUS 1706 HAS SOUPS 1706 WITH SCORE 1707.818
AT ITER 8355 NEW BEST:: SOT 6752 SOS 1816 HAS SOPS 1816 HAS SOUS 1704 HAS SOUPS 1704 WITH SCORE 1705.816
AT ITER 8385 NEW BEST:: SOT 6748 SOS 1815 HAS SOPS 1815 HAS SOUS 1703 HAS SOUPS 1703 WITH SCORE 1704.815
AT ITER 8468 NEW BEST:: SOT 6748 SOS 1815 HAS SOPS 1815 HAS SOUS 1701 HAS SOUPS 1701 WITH SCORE 1702.815
AT ITER 9325 NEW BEST:: SOT 6747 SOS 1813 HAS SOPS 1813 HAS SOUS 1699 HAS SOUPS 1699 WITH SCORE 1700.813
AT ITER 9862 NEW BEST:: SOT 6747 SOS 1812 HAS SOPS 1812 HAS SOUS 1698 HAS SOUPS 1698 WITH SCORE 1699.812
AT ITER 9925 NEW BEST:: SOT 6746 SOS 1811 HAS SOPS 1811 HAS SOUS 1697 HAS SOUPS 1697 WITH SCORE 1698.811
STATE_SPACE STATES 2048000000000000001 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 56 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 48844800000000000001 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679573589074

--------------------
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="ShieldPPPt-PT-005A"
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 ShieldPPPt-PT-005A, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r395-oct2-167903719000600"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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