fond

jQuery Multi Level CSS Menu Css3Menu.com

Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r235-tall-167856421400176
Last Updated
May 14, 2023

About the Execution of Smart+red for JoinFreeModules-PT-0020

Execution Summary
Max Memory
Used (MB)		 Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
312.976 12930.00 16707.00 423.80 4.1123E+0084 4.0369E+0086 23 461 normal

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.r235-tall-167856421400176.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 JoinFreeModules-PT-0020, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r235-tall-167856421400176
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 532K
-rw-r--r-- 1 mcc users 6.5K Feb 25 11:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 68K Feb 25 11:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 25 11:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 58K Feb 25 11:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:18 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:18 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:18 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:18 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 11:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 118K Feb 25 11:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 11:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 94K Feb 25 11:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:18 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:18 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 61K 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 1678634611876

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=JoinFreeModules-PT-0020
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-12 15:23:33] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-12 15:23:33] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-12 15:23:33] [INFO ] Load time of PNML (sax parser for PT used): 44 ms
[2023-03-12 15:23:33] [INFO ] Transformed 101 places.
[2023-03-12 15:23:33] [INFO ] Transformed 161 transitions.
[2023-03-12 15:23:33] [INFO ] Parsed PT model containing 101 places and 161 transitions and 462 arcs in 101 ms.
[2023-03-12 15:23:33] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 101 places, 161 transitions and 462 arcs took 5 ms.
Total runtime 131 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running JoinFreeModules (PT), instance 0020
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: 101 places, 161 transitions, 462 arcs.
AT ITER 0 NEW BEST:: SOT 11381 SOS 7781 HAS SOPS 7760 HAS SOUS 7781 HAS SOUPS 7760 WITH SCORE 7767.781
AT ITER 1 NEW BEST:: SOT 11284 SOS 7687 HAS SOPS 7623 HAS SOUS 7687 HAS SOUPS 7623 WITH SCORE 7630.687
AT ITER 2 NEW BEST:: SOT 11263 SOS 7666 HAS SOPS 7602 HAS SOUS 7666 HAS SOUPS 7602 WITH SCORE 7609.666
AT ITER 3 NEW BEST:: SOT 11239 SOS 7624 HAS SOPS 7559 HAS SOUS 7624 HAS SOUPS 7559 WITH SCORE 7566.624
AT ITER 4 NEW BEST:: SOT 11182 SOS 7507 HAS SOPS 7442 HAS SOUS 7490 HAS SOUPS 7425 WITH SCORE 7432.507
AT ITER 5 NEW BEST:: SOT 11212 SOS 7459 HAS SOPS 7394 HAS SOUS 7412 HAS SOUPS 7347 WITH SCORE 7354.459
AT ITER 6 NEW BEST:: SOT 11157 SOS 7352 HAS SOPS 7287 HAS SOUS 7282 HAS SOUPS 7217 WITH SCORE 7224.352
AT ITER 7 NEW BEST:: SOT 11150 SOS 7291 HAS SOPS 7226 HAS SOUS 7195 HAS SOUPS 7130 WITH SCORE 7137.291
AT ITER 11 NEW BEST:: SOT 11148 SOS 7287 HAS SOPS 7222 HAS SOUS 7191 HAS SOUPS 7126 WITH SCORE 7133.287
AT ITER 12 NEW BEST:: SOT 11139 SOS 7247 HAS SOPS 7182 HAS SOUS 7151 HAS SOUPS 7086 WITH SCORE 7093.247
AT ITER 15 NEW BEST:: SOT 11017 SOS 6999 HAS SOPS 6931 HAS SOUS 6933 HAS SOUPS 6865 WITH SCORE 6871.999
AT ITER 18 NEW BEST:: SOT 11005 SOS 6946 HAS SOPS 6878 HAS SOUS 6880 HAS SOUPS 6812 WITH SCORE 6818.946
AT ITER 20 NEW BEST:: SOT 10990 SOS 6852 HAS SOPS 6784 HAS SOUS 6809 HAS SOUPS 6741 WITH SCORE 6747.852
AT ITER 22 NEW BEST:: SOT 10990 SOS 6836 HAS SOPS 6768 HAS SOUS 6777 HAS SOUPS 6709 WITH SCORE 6715.836
AT ITER 24 NEW BEST:: SOT 10998 SOS 6693 HAS SOPS 6625 HAS SOUS 6634 HAS SOUPS 6566 WITH SCORE 6572.693
AT ITER 29 NEW BEST:: SOT 10962 SOS 6653 HAS SOPS 6571 HAS SOUS 6594 HAS SOUPS 6512 WITH SCORE 6518.653
AT ITER 34 NEW BEST:: SOT 10892 SOS 6513 HAS SOPS 6420 HAS SOUS 6401 HAS SOUPS 6308 WITH SCORE 6314.513
AT ITER 35 NEW BEST:: SOT 10873 SOS 6494 HAS SOPS 6401 HAS SOUS 6382 HAS SOUPS 6289 WITH SCORE 6295.494
AT ITER 38 NEW BEST:: SOT 10863 SOS 6483 HAS SOPS 6390 HAS SOUS 6371 HAS SOUPS 6278 WITH SCORE 6284.483
AT ITER 40 NEW BEST:: SOT 10872 SOS 6489 HAS SOPS 6396 HAS SOUS 6368 HAS SOUPS 6275 WITH SCORE 6281.489
AT ITER 41 NEW BEST:: SOT 10850 SOS 6454 HAS SOPS 6361 HAS SOUS 6350 HAS SOUPS 6257 WITH SCORE 6263.454
AT ITER 42 NEW BEST:: SOT 10796 SOS 6340 HAS SOPS 6247 HAS SOUS 6236 HAS SOUPS 6143 WITH SCORE 6149.34
AT ITER 53 NEW BEST:: SOT 10712 SOS 6224 HAS SOPS 6131 HAS SOUS 6120 HAS SOUPS 6027 WITH SCORE 6033.224
AT ITER 54 NEW BEST:: SOT 10712 SOS 6216 HAS SOPS 6123 HAS SOUS 6112 HAS SOUPS 6019 WITH SCORE 6025.216
AT ITER 56 NEW BEST:: SOT 10706 SOS 6207 HAS SOPS 6114 HAS SOUS 6103 HAS SOUPS 6010 WITH SCORE 6016.207
AT ITER 59 NEW BEST:: SOT 10672 SOS 6071 HAS SOPS 5978 HAS SOUS 6001 HAS SOUPS 5908 WITH SCORE 5914.071
AT ITER 61 NEW BEST:: SOT 10656 SOS 6039 HAS SOPS 5946 HAS SOUS 5969 HAS SOUPS 5876 WITH SCORE 5882.039
AT ITER 62 NEW BEST:: SOT 10663 SOS 5984 HAS SOPS 5891 HAS SOUS 5914 HAS SOUPS 5821 WITH SCORE 5826.984
AT ITER 66 NEW BEST:: SOT 10653 SOS 5969 HAS SOPS 5876 HAS SOUS 5899 HAS SOUPS 5806 WITH SCORE 5811.969
AT ITER 67 NEW BEST:: SOT 10509 SOS 5776 HAS SOPS 5683 HAS SOUS 5706 HAS SOUPS 5613 WITH SCORE 5618.776
AT ITER 71 NEW BEST:: SOT 10471 SOS 5689 HAS SOPS 5596 HAS SOUS 5580 HAS SOUPS 5487 WITH SCORE 5492.689
AT ITER 76 NEW BEST:: SOT 10468 SOS 5663 HAS SOPS 5570 HAS SOUS 5537 HAS SOUPS 5444 WITH SCORE 5449.663
AT ITER 77 NEW BEST:: SOT 10430 SOS 5625 HAS SOPS 5532 HAS SOUS 5499 HAS SOUPS 5406 WITH SCORE 5411.625
AT ITER 82 NEW BEST:: SOT 10397 SOS 5359 HAS SOPS 5266 HAS SOUS 5242 HAS SOUPS 5149 WITH SCORE 5154.359
AT ITER 83 NEW BEST:: SOT 10397 SOS 5349 HAS SOPS 5256 HAS SOUS 5232 HAS SOUPS 5139 WITH SCORE 5144.349
AT ITER 85 NEW BEST:: SOT 10415 SOS 5356 HAS SOPS 5263 HAS SOUS 5210 HAS SOUPS 5117 WITH SCORE 5122.356
AT ITER 86 NEW BEST:: SOT 10375 SOS 5312 HAS SOPS 5219 HAS SOUS 5166 HAS SOUPS 5073 WITH SCORE 5078.312
AT ITER 90 NEW BEST:: SOT 10395 SOS 5290 HAS SOPS 5197 HAS SOUS 5144 HAS SOUPS 5051 WITH SCORE 5056.29
AT ITER 92 NEW BEST:: SOT 10379 SOS 5258 HAS SOPS 5165 HAS SOUS 5112 HAS SOUPS 5019 WITH SCORE 5024.258
AT ITER 97 NEW BEST:: SOT 10370 SOS 5251 HAS SOPS 5158 HAS SOUS 5105 HAS SOUPS 5012 WITH SCORE 5017.251
AT ITER 98 NEW BEST:: SOT 10369 SOS 5250 HAS SOPS 5157 HAS SOUS 5104 HAS SOUPS 5011 WITH SCORE 5016.25
AT ITER 100 NEW BEST:: SOT 10323 SOS 5156 HAS SOPS 5063 HAS SOUS 5010 HAS SOUPS 4917 WITH SCORE 4922.156
AT ITER 104 NEW BEST:: SOT 10333 SOS 5110 HAS SOPS 5017 HAS SOUS 4958 HAS SOUPS 4865 WITH SCORE 4870.11
AT ITER 109 NEW BEST:: SOT 10327 SOS 5098 HAS SOPS 5005 HAS SOUS 4946 HAS SOUPS 4853 WITH SCORE 4858.098
AT ITER 111 NEW BEST:: SOT 10328 SOS 5095 HAS SOPS 5002 HAS SOUS 4943 HAS SOUPS 4850 WITH SCORE 4855.095
AT ITER 119 NEW BEST:: SOT 10320 SOS 5055 HAS SOPS 4962 HAS SOUS 4903 HAS SOUPS 4810 WITH SCORE 4815.055
AT ITER 124 NEW BEST:: SOT 10297 SOS 5033 HAS SOPS 4940 HAS SOUS 4881 HAS SOUPS 4788 WITH SCORE 4793.033
AT ITER 128 NEW BEST:: SOT 10291 SOS 5023 HAS SOPS 4930 HAS SOUS 4877 HAS SOUPS 4784 WITH SCORE 4789.023
AT ITER 143 NEW BEST:: SOT 10271 SOS 5010 HAS SOPS 4917 HAS SOUS 4864 HAS SOUPS 4771 WITH SCORE 4776.01
AT ITER 144 NEW BEST:: SOT 10239 SOS 4961 HAS SOPS 4868 HAS SOUS 4826 HAS SOUPS 4733 WITH SCORE 4737.961
AT ITER 145 NEW BEST:: SOT 10247 SOS 4852 HAS SOPS 4759 HAS SOUS 4722 HAS SOUPS 4629 WITH SCORE 4633.852
AT ITER 147 NEW BEST:: SOT 10244 SOS 4852 HAS SOPS 4759 HAS SOUS 4719 HAS SOUPS 4626 WITH SCORE 4630.852
AT ITER 151 NEW BEST:: SOT 10231 SOS 4824 HAS SOPS 4731 HAS SOUS 4691 HAS SOUPS 4598 WITH SCORE 4602.824
AT ITER 152 NEW BEST:: SOT 10201 SOS 4758 HAS SOPS 4665 HAS SOUS 4665 HAS SOUPS 4572 WITH SCORE 4576.758
AT ITER 162 NEW BEST:: SOT 10198 SOS 4753 HAS SOPS 4660 HAS SOUS 4653 HAS SOUPS 4560 WITH SCORE 4564.753
AT ITER 163 NEW BEST:: SOT 10125 SOS 4652 HAS SOPS 4559 HAS SOUS 4534 HAS SOUPS 4441 WITH SCORE 4445.652
AT ITER 165 NEW BEST:: SOT 10126 SOS 4656 HAS SOPS 4563 HAS SOUS 4524 HAS SOUPS 4431 WITH SCORE 4435.656
AT ITER 166 NEW BEST:: SOT 10054 SOS 4493 HAS SOPS 4400 HAS SOUS 4361 HAS SOUPS 4268 WITH SCORE 4272.493
AT ITER 168 NEW BEST:: SOT 10054 SOS 4484 HAS SOPS 4391 HAS SOUS 4352 HAS SOUPS 4259 WITH SCORE 4263.484
AT ITER 170 NEW BEST:: SOT 10024 SOS 4358 HAS SOPS 4265 HAS SOUS 4226 HAS SOUPS 4133 WITH SCORE 4137.358
AT ITER 180 NEW BEST:: SOT 10016 SOS 4350 HAS SOPS 4257 HAS SOUS 4214 HAS SOUPS 4121 WITH SCORE 4125.35
AT ITER 181 NEW BEST:: SOT 10016 SOS 4349 HAS SOPS 4256 HAS SOUS 4213 HAS SOUPS 4120 WITH SCORE 4124.349
AT ITER 183 NEW BEST:: SOT 10036 SOS 4281 HAS SOPS 4188 HAS SOUS 4143 HAS SOUPS 4050 WITH SCORE 4054.281
AT ITER 192 NEW BEST:: SOT 9990 SOS 4222 HAS SOPS 4129 HAS SOUS 4084 HAS SOUPS 3991 WITH SCORE 3995.222
AT ITER 196 NEW BEST:: SOT 9989 SOS 4209 HAS SOPS 4116 HAS SOUS 4063 HAS SOUPS 3970 WITH SCORE 3974.209
AT ITER 198 NEW BEST:: SOT 9989 SOS 4153 HAS SOPS 4060 HAS SOUS 4026 HAS SOUPS 3933 WITH SCORE 3937.153
AT ITER 200 NEW BEST:: SOT 9974 SOS 4085 HAS SOPS 3992 HAS SOUS 3958 HAS SOUPS 3865 WITH SCORE 3869.085
AT ITER 208 NEW BEST:: SOT 9974 SOS 4065 HAS SOPS 3967 HAS SOUS 3938 HAS SOUPS 3840 WITH SCORE 3844.065
AT ITER 209 NEW BEST:: SOT 9966 SOS 4056 HAS SOPS 3958 HAS SOUS 3929 HAS SOUPS 3831 WITH SCORE 3835.056
AT ITER 212 NEW BEST:: SOT 9950 SOS 4042 HAS SOPS 3944 HAS SOUS 3915 HAS SOUPS 3817 WITH SCORE 3821.042
AT ITER 213 NEW BEST:: SOT 9950 SOS 4009 HAS SOPS 3911 HAS SOUS 3915 HAS SOUPS 3817 WITH SCORE 3821.009
AT ITER 214 NEW BEST:: SOT 9906 SOS 3927 HAS SOPS 3829 HAS SOUS 3838 HAS SOUPS 3740 WITH SCORE 3743.927
AT ITER 224 NEW BEST:: SOT 9877 SOS 3868 HAS SOPS 3775 HAS SOUS 3779 HAS SOUPS 3686 WITH SCORE 3689.868
AT ITER 230 NEW BEST:: SOT 9853 SOS 3851 HAS SOPS 3758 HAS SOUS 3764 HAS SOUPS 3671 WITH SCORE 3674.851
AT ITER 236 NEW BEST:: SOT 9817 SOS 3815 HAS SOPS 3722 HAS SOUS 3723 HAS SOUPS 3630 WITH SCORE 3633.815
AT ITER 252 NEW BEST:: SOT 9816 SOS 3813 HAS SOPS 3719 HAS SOUS 3722 HAS SOUPS 3628 WITH SCORE 3631.813
AT ITER 261 NEW BEST:: SOT 9813 SOS 3808 HAS SOPS 3714 HAS SOUS 3717 HAS SOUPS 3623 WITH SCORE 3626.808
AT ITER 265 NEW BEST:: SOT 9661 SOS 3574 HAS SOPS 3480 HAS SOUS 3483 HAS SOUPS 3389 WITH SCORE 3392.574
AT ITER 270 NEW BEST:: SOT 9655 SOS 3572 HAS SOPS 3478 HAS SOUS 3481 HAS SOUPS 3387 WITH SCORE 3390.572
AT ITER 274 NEW BEST:: SOT 9625 SOS 3538 HAS SOPS 3444 HAS SOUS 3447 HAS SOUPS 3353 WITH SCORE 3356.538
AT ITER 278 NEW BEST:: SOT 9648 SOS 3532 HAS SOPS 3438 HAS SOUS 3433 HAS SOUPS 3339 WITH SCORE 3342.532
AT ITER 291 NEW BEST:: SOT 9630 SOS 3505 HAS SOPS 3411 HAS SOUS 3414 HAS SOUPS 3320 WITH SCORE 3323.505
AT ITER 297 NEW BEST:: SOT 9630 SOS 3478 HAS SOPS 3384 HAS SOUS 3387 HAS SOUPS 3293 WITH SCORE 3296.478
AT ITER 300 NEW BEST:: SOT 9622 SOS 3464 HAS SOPS 3370 HAS SOUS 3373 HAS SOUPS 3279 WITH SCORE 3282.464
AT ITER 302 NEW BEST:: SOT 9625 SOS 3441 HAS SOPS 3347 HAS SOUS 3350 HAS SOUPS 3256 WITH SCORE 3259.441
AT ITER 304 NEW BEST:: SOT 9616 SOS 3396 HAS SOPS 3302 HAS SOUS 3305 HAS SOUPS 3211 WITH SCORE 3214.396
AT ITER 306 NEW BEST:: SOT 9614 SOS 3388 HAS SOPS 3294 HAS SOUS 3299 HAS SOUPS 3205 WITH SCORE 3208.388
AT ITER 309 NEW BEST:: SOT 9596 SOS 3369 HAS SOPS 3275 HAS SOUS 3287 HAS SOUPS 3193 WITH SCORE 3196.369
AT ITER 310 NEW BEST:: SOT 9554 SOS 3331 HAS SOPS 3237 HAS SOUS 3262 HAS SOUPS 3168 WITH SCORE 3171.331
AT ITER 313 NEW BEST:: SOT 9554 SOS 3327 HAS SOPS 3233 HAS SOUS 3258 HAS SOUPS 3164 WITH SCORE 3167.327
AT ITER 321 NEW BEST:: SOT 9543 SOS 3323 HAS SOPS 3229 HAS SOUS 3254 HAS SOUPS 3160 WITH SCORE 3163.323
AT ITER 336 NEW BEST:: SOT 9527 SOS 3299 HAS SOPS 3205 HAS SOUS 3230 HAS SOUPS 3136 WITH SCORE 3139.299
AT ITER 353 NEW BEST:: SOT 9561 SOS 3273 HAS SOPS 3179 HAS SOUS 3224 HAS SOUPS 3130 WITH SCORE 3133.273
AT ITER 378 NEW BEST:: SOT 9561 SOS 3271 HAS SOPS 3177 HAS SOUS 3222 HAS SOUPS 3128 WITH SCORE 3131.271
AT ITER 381 NEW BEST:: SOT 9425 SOS 3049 HAS SOPS 2955 HAS SOUS 2978 HAS SOUPS 2884 WITH SCORE 2887.049
AT ITER 403 NEW BEST:: SOT 9417 SOS 3017 HAS SOPS 2923 HAS SOUS 2946 HAS SOUPS 2852 WITH SCORE 2855.017
AT ITER 422 NEW BEST:: SOT 9415 SOS 3011 HAS SOPS 2917 HAS SOUS 2942 HAS SOUPS 2848 WITH SCORE 2851.011
AT ITER 427 NEW BEST:: SOT 9415 SOS 3000 HAS SOPS 2906 HAS SOUS 2941 HAS SOUPS 2847 WITH SCORE 2850.0
AT ITER 428 NEW BEST:: SOT 9408 SOS 2972 HAS SOPS 2878 HAS SOUS 2920 HAS SOUPS 2826 WITH SCORE 2828.972
AT ITER 429 NEW BEST:: SOT 9405 SOS 2965 HAS SOPS 2871 HAS SOUS 2913 HAS SOUPS 2819 WITH SCORE 2821.965
AT ITER 434 NEW BEST:: SOT 9388 SOS 2925 HAS SOPS 2831 HAS SOUS 2882 HAS SOUPS 2788 WITH SCORE 2790.925
AT ITER 444 NEW BEST:: SOT 9384 SOS 2915 HAS SOPS 2821 HAS SOUS 2872 HAS SOUPS 2778 WITH SCORE 2780.915
AT ITER 453 NEW BEST:: SOT 9375 SOS 2906 HAS SOPS 2812 HAS SOUS 2863 HAS SOUPS 2769 WITH SCORE 2771.906
AT ITER 454 NEW BEST:: SOT 9373 SOS 2878 HAS SOPS 2784 HAS SOUS 2854 HAS SOUPS 2760 WITH SCORE 2762.878
AT ITER 477 NEW BEST:: SOT 9362 SOS 2803 HAS SOPS 2709 HAS SOUS 2779 HAS SOUPS 2685 WITH SCORE 2687.803
AT ITER 485 NEW BEST:: SOT 9361 SOS 2800 HAS SOPS 2706 HAS SOUS 2777 HAS SOUPS 2683 WITH SCORE 2685.8
AT ITER 489 NEW BEST:: SOT 9368 SOS 2789 HAS SOPS 2695 HAS SOUS 2764 HAS SOUPS 2670 WITH SCORE 2672.789
AT ITER 515 NEW BEST:: SOT 9367 SOS 2789 HAS SOPS 2695 HAS SOUS 2761 HAS SOUPS 2667 WITH SCORE 2669.789
AT ITER 516 NEW BEST:: SOT 9361 SOS 2777 HAS SOPS 2683 HAS SOUS 2749 HAS SOUPS 2655 WITH SCORE 2657.777
AT ITER 526 NEW BEST:: SOT 9353 SOS 2755 HAS SOPS 2661 HAS SOUS 2727 HAS SOUPS 2633 WITH SCORE 2635.755
AT ITER 528 NEW BEST:: SOT 9341 SOS 2724 HAS SOPS 2630 HAS SOUS 2696 HAS SOUPS 2602 WITH SCORE 2604.724
AT ITER 534 NEW BEST:: SOT 9315 SOS 2670 HAS SOPS 2576 HAS SOUS 2642 HAS SOUPS 2548 WITH SCORE 2550.67
AT ITER 541 NEW BEST:: SOT 9303 SOS 2646 HAS SOPS 2552 HAS SOUS 2618 HAS SOUPS 2524 WITH SCORE 2526.646
AT ITER 557 NEW BEST:: SOT 9307 SOS 2662 HAS SOPS 2568 HAS SOUS 2617 HAS SOUPS 2523 WITH SCORE 2525.662
AT ITER 564 NEW BEST:: SOT 9220 SOS 2513 HAS SOPS 2419 HAS SOUS 2472 HAS SOUPS 2378 WITH SCORE 2380.513
AT ITER 567 NEW BEST:: SOT 9227 SOS 2516 HAS SOPS 2422 HAS SOUS 2468 HAS SOUPS 2374 WITH SCORE 2376.516
AT ITER 569 NEW BEST:: SOT 9203 SOS 2492 HAS SOPS 2398 HAS SOUS 2444 HAS SOUPS 2350 WITH SCORE 2352.492
AT ITER 576 NEW BEST:: SOT 9200 SOS 2487 HAS SOPS 2393 HAS SOUS 2438 HAS SOUPS 2344 WITH SCORE 2346.487
AT ITER 579 NEW BEST:: SOT 9200 SOS 2480 HAS SOPS 2386 HAS SOUS 2431 HAS SOUPS 2337 WITH SCORE 2339.48
AT ITER 588 NEW BEST:: SOT 9188 SOS 2470 HAS SOPS 2376 HAS SOUS 2421 HAS SOUPS 2327 WITH SCORE 2329.47
AT ITER 597 NEW BEST:: SOT 9186 SOS 2465 HAS SOPS 2371 HAS SOUS 2415 HAS SOUPS 2321 WITH SCORE 2323.465
AT ITER 615 NEW BEST:: SOT 9152 SOS 2384 HAS SOPS 2290 HAS SOUS 2334 HAS SOUPS 2240 WITH SCORE 2242.384
AT ITER 619 NEW BEST:: SOT 9152 SOS 2384 HAS SOPS 2290 HAS SOUS 2329 HAS SOUPS 2235 WITH SCORE 2237.384
AT ITER 627 NEW BEST:: SOT 9145 SOS 2364 HAS SOPS 2270 HAS SOUS 2313 HAS SOUPS 2219 WITH SCORE 2221.364
AT ITER 635 NEW BEST:: SOT 9139 SOS 2355 HAS SOPS 2261 HAS SOUS 2307 HAS SOUPS 2213 WITH SCORE 2215.355
AT ITER 638 NEW BEST:: SOT 9142 SOS 2377 HAS SOPS 2283 HAS SOUS 2305 HAS SOUPS 2211 WITH SCORE 2213.377
AT ITER 647 NEW BEST:: SOT 9142 SOS 2367 HAS SOPS 2273 HAS SOUS 2296 HAS SOUPS 2202 WITH SCORE 2204.367
AT ITER 650 NEW BEST:: SOT 9090 SOS 2325 HAS SOPS 2231 HAS SOUS 2254 HAS SOUPS 2160 WITH SCORE 2162.325
AT ITER 659 NEW BEST:: SOT 9082 SOS 2301 HAS SOPS 2207 HAS SOUS 2229 HAS SOUPS 2135 WITH SCORE 2137.301
AT ITER 677 NEW BEST:: SOT 9082 SOS 2300 HAS SOPS 2206 HAS SOUS 2229 HAS SOUPS 2135 WITH SCORE 2137.3
AT ITER 692 NEW BEST:: SOT 9071 SOS 2284 HAS SOPS 2190 HAS SOUS 2206 HAS SOUPS 2112 WITH SCORE 2114.284
AT ITER 693 NEW BEST:: SOT 9089 SOS 2282 HAS SOPS 2188 HAS SOUS 2204 HAS SOUPS 2110 WITH SCORE 2112.282
AT ITER 706 NEW BEST:: SOT 9083 SOS 2270 HAS SOPS 2176 HAS SOUS 2192 HAS SOUPS 2098 WITH SCORE 2100.27
AT ITER 713 NEW BEST:: SOT 9094 SOS 2239 HAS SOPS 2145 HAS SOUS 2171 HAS SOUPS 2077 WITH SCORE 2079.239
AT ITER 717 NEW BEST:: SOT 9089 SOS 2221 HAS SOPS 2127 HAS SOUS 2153 HAS SOUPS 2059 WITH SCORE 2061.221
AT ITER 727 NEW BEST:: SOT 9087 SOS 2216 HAS SOPS 2122 HAS SOUS 2148 HAS SOUPS 2054 WITH SCORE 2056.216
AT ITER 733 NEW BEST:: SOT 9087 SOS 2216 HAS SOPS 2122 HAS SOUS 2138 HAS SOUPS 2044 WITH SCORE 2046.216
AT ITER 752 NEW BEST:: SOT 9074 SOS 2189 HAS SOPS 2095 HAS SOUS 2111 HAS SOUPS 2017 WITH SCORE 2019.189
AT ITER 760 NEW BEST:: SOT 9068 SOS 2171 HAS SOPS 2077 HAS SOUS 2097 HAS SOUPS 2003 WITH SCORE 2005.171
AT ITER 762 NEW BEST:: SOT 9067 SOS 2170 HAS SOPS 2076 HAS SOUS 2096 HAS SOUPS 2002 WITH SCORE 2004.17
AT ITER 766 NEW BEST:: SOT 9051 SOS 2138 HAS SOPS 2044 HAS SOUS 2072 HAS SOUPS 1978 WITH SCORE 1980.138
AT ITER 818 NEW BEST:: SOT 9049 SOS 2130 HAS SOPS 2036 HAS SOUS 2066 HAS SOUPS 1972 WITH SCORE 1974.13
AT ITER 819 NEW BEST:: SOT 9043 SOS 2112 HAS SOPS 2018 HAS SOUS 2048 HAS SOUPS 1954 WITH SCORE 1956.112
AT ITER 845 NEW BEST:: SOT 9039 SOS 2104 HAS SOPS 2010 HAS SOUS 2040 HAS SOUPS 1946 WITH SCORE 1948.104
AT ITER 850 NEW BEST:: SOT 9039 SOS 2102 HAS SOPS 2008 HAS SOUS 2038 HAS SOUPS 1944 WITH SCORE 1946.102
AT ITER 883 NEW BEST:: SOT 9035 SOS 2076 HAS SOPS 1982 HAS SOUS 2026 HAS SOUPS 1932 WITH SCORE 1934.076
AT ITER 898 NEW BEST:: SOT 9027 SOS 2044 HAS SOPS 1950 HAS SOUS 1982 HAS SOUPS 1888 WITH SCORE 1890.044
AT ITER 920 NEW BEST:: SOT 9005 SOS 2014 HAS SOPS 1920 HAS SOUS 1951 HAS SOUPS 1857 WITH SCORE 1859.014
AT ITER 923 NEW BEST:: SOT 8999 SOS 2004 HAS SOPS 1910 HAS SOUS 1941 HAS SOUPS 1847 WITH SCORE 1849.004
AT ITER 961 NEW BEST:: SOT 8994 SOS 1985 HAS SOPS 1891 HAS SOUS 1929 HAS SOUPS 1835 WITH SCORE 1836.985
AT ITER 970 NEW BEST:: SOT 8981 SOS 1957 HAS SOPS 1863 HAS SOUS 1895 HAS SOUPS 1801 WITH SCORE 1802.957
AT ITER 975 NEW BEST:: SOT 8969 SOS 1929 HAS SOPS 1835 HAS SOUS 1871 HAS SOUPS 1777 WITH SCORE 1778.929
AT ITER 989 NEW BEST:: SOT 8967 SOS 1928 HAS SOPS 1834 HAS SOUS 1870 HAS SOUPS 1776 WITH SCORE 1777.928
AT ITER 993 NEW BEST:: SOT 8968 SOS 1925 HAS SOPS 1831 HAS SOUS 1867 HAS SOUPS 1773 WITH SCORE 1774.925
AT ITER 994 NEW BEST:: SOT 8965 SOS 1921 HAS SOPS 1827 HAS SOUS 1862 HAS SOUPS 1768 WITH SCORE 1769.921
AT ITER 1011 NEW BEST:: SOT 8965 SOS 1919 HAS SOPS 1825 HAS SOUS 1860 HAS SOUPS 1766 WITH SCORE 1767.919
AT ITER 1050 NEW BEST:: SOT 8965 SOS 1914 HAS SOPS 1820 HAS SOUS 1855 HAS SOUPS 1761 WITH SCORE 1762.914
AT ITER 1052 NEW BEST:: SOT 8958 SOS 1900 HAS SOPS 1806 HAS SOUS 1848 HAS SOUPS 1754 WITH SCORE 1755.9
AT ITER 1064 NEW BEST:: SOT 8942 SOS 1888 HAS SOPS 1794 HAS SOUS 1834 HAS SOUPS 1740 WITH SCORE 1741.888
AT ITER 1078 NEW BEST:: SOT 8934 SOS 1887 HAS SOPS 1793 HAS SOUS 1833 HAS SOUPS 1739 WITH SCORE 1740.887
AT ITER 1081 NEW BEST:: SOT 8935 SOS 1872 HAS SOPS 1778 HAS SOUS 1827 HAS SOUPS 1733 WITH SCORE 1734.872
AT ITER 1086 NEW BEST:: SOT 8934 SOS 1871 HAS SOPS 1777 HAS SOUS 1826 HAS SOUPS 1732 WITH SCORE 1733.871
AT ITER 1097 NEW BEST:: SOT 8929 SOS 1863 HAS SOPS 1769 HAS SOUS 1818 HAS SOUPS 1724 WITH SCORE 1725.863
AT ITER 1131 NEW BEST:: SOT 8927 SOS 1862 HAS SOPS 1768 HAS SOUS 1817 HAS SOUPS 1723 WITH SCORE 1724.862
AT ITER 1146 NEW BEST:: SOT 8915 SOS 1789 HAS SOPS 1695 HAS SOUS 1744 HAS SOUPS 1650 WITH SCORE 1651.789
AT ITER 1152 NEW BEST:: SOT 8914 SOS 1785 HAS SOPS 1691 HAS SOUS 1741 HAS SOUPS 1647 WITH SCORE 1648.785
AT ITER 1156 NEW BEST:: SOT 8914 SOS 1779 HAS SOPS 1685 HAS SOUS 1735 HAS SOUPS 1641 WITH SCORE 1642.779
AT ITER 1159 NEW BEST:: SOT 8906 SOS 1763 HAS SOPS 1669 HAS SOUS 1723 HAS SOUPS 1629 WITH SCORE 1630.763
AT ITER 1163 NEW BEST:: SOT 8900 SOS 1754 HAS SOPS 1660 HAS SOUS 1713 HAS SOUPS 1619 WITH SCORE 1620.754
AT ITER 1187 NEW BEST:: SOT 8895 SOS 1747 HAS SOPS 1649 HAS SOUS 1706 HAS SOUPS 1608 WITH SCORE 1609.747
AT ITER 1204 NEW BEST:: SOT 8867 SOS 1704 HAS SOPS 1606 HAS SOUS 1663 HAS SOUPS 1565 WITH SCORE 1566.704
AT ITER 1205 NEW BEST:: SOT 8866 SOS 1700 HAS SOPS 1602 HAS SOUS 1656 HAS SOUPS 1558 WITH SCORE 1559.7
AT ITER 1222 NEW BEST:: SOT 8858 SOS 1682 HAS SOPS 1584 HAS SOUS 1638 HAS SOUPS 1540 WITH SCORE 1541.682
AT ITER 1227 NEW BEST:: SOT 8855 SOS 1678 HAS SOPS 1580 HAS SOUS 1637 HAS SOUPS 1539 WITH SCORE 1540.678
AT ITER 1245 NEW BEST:: SOT 8848 SOS 1661 HAS SOPS 1563 HAS SOUS 1620 HAS SOUPS 1522 WITH SCORE 1523.661
AT ITER 1250 NEW BEST:: SOT 8847 SOS 1660 HAS SOPS 1562 HAS SOUS 1619 HAS SOUPS 1521 WITH SCORE 1522.66
AT ITER 1310 NEW BEST:: SOT 8841 SOS 1644 HAS SOPS 1546 HAS SOUS 1588 HAS SOUPS 1490 WITH SCORE 1491.644
AT ITER 1329 NEW BEST:: SOT 8815 SOS 1611 HAS SOPS 1513 HAS SOUS 1558 HAS SOUPS 1460 WITH SCORE 1461.611
AT ITER 1344 NEW BEST:: SOT 8811 SOS 1602 HAS SOPS 1504 HAS SOUS 1557 HAS SOUPS 1459 WITH SCORE 1460.602
AT ITER 1357 NEW BEST:: SOT 8810 SOS 1598 HAS SOPS 1500 HAS SOUS 1553 HAS SOUPS 1455 WITH SCORE 1456.598
AT ITER 1406 NEW BEST:: SOT 8809 SOS 1589 HAS SOPS 1491 HAS SOUS 1540 HAS SOUPS 1442 WITH SCORE 1443.589
AT ITER 1436 NEW BEST:: SOT 8796 SOS 1586 HAS SOPS 1488 HAS SOUS 1537 HAS SOUPS 1439 WITH SCORE 1440.586
AT ITER 1438 NEW BEST:: SOT 8784 SOS 1549 HAS SOPS 1451 HAS SOUS 1498 HAS SOUPS 1400 WITH SCORE 1401.549
AT ITER 1460 NEW BEST:: SOT 8774 SOS 1536 HAS SOPS 1438 HAS SOUS 1485 HAS SOUPS 1387 WITH SCORE 1388.536
AT ITER 1464 NEW BEST:: SOT 8774 SOS 1535 HAS SOPS 1437 HAS SOUS 1484 HAS SOUPS 1386 WITH SCORE 1387.535
AT ITER 1466 NEW BEST:: SOT 8760 SOS 1514 HAS SOPS 1416 HAS SOUS 1463 HAS SOUPS 1365 WITH SCORE 1366.514
AT ITER 1473 NEW BEST:: SOT 8760 SOS 1510 HAS SOPS 1412 HAS SOUS 1460 HAS SOUPS 1362 WITH SCORE 1363.51
AT ITER 1501 NEW BEST:: SOT 8759 SOS 1507 HAS SOPS 1409 HAS SOUS 1456 HAS SOUPS 1358 WITH SCORE 1359.507
AT ITER 1535 NEW BEST:: SOT 8762 SOS 1504 HAS SOPS 1406 HAS SOUS 1453 HAS SOUPS 1355 WITH SCORE 1356.504
AT ITER 1574 NEW BEST:: SOT 8741 SOS 1469 HAS SOPS 1371 HAS SOUS 1418 HAS SOUPS 1320 WITH SCORE 1321.469
AT ITER 1645 NEW BEST:: SOT 8734 SOS 1462 HAS SOPS 1364 HAS SOUS 1411 HAS SOUPS 1313 WITH SCORE 1314.462
AT ITER 1646 NEW BEST:: SOT 8730 SOS 1442 HAS SOPS 1344 HAS SOUS 1391 HAS SOUPS 1293 WITH SCORE 1294.442
AT ITER 1649 NEW BEST:: SOT 8731 SOS 1429 HAS SOPS 1331 HAS SOUS 1378 HAS SOUPS 1280 WITH SCORE 1281.429
AT ITER 1676 NEW BEST:: SOT 8721 SOS 1426 HAS SOPS 1328 HAS SOUS 1375 HAS SOUPS 1277 WITH SCORE 1278.426
AT ITER 1694 NEW BEST:: SOT 8721 SOS 1425 HAS SOPS 1326 HAS SOUS 1374 HAS SOUPS 1275 WITH SCORE 1276.425
AT ITER 1721 NEW BEST:: SOT 8719 SOS 1424 HAS SOPS 1325 HAS SOUS 1370 HAS SOUPS 1271 WITH SCORE 1272.424
AT ITER 1726 NEW BEST:: SOT 8717 SOS 1416 HAS SOPS 1317 HAS SOUS 1362 HAS SOUPS 1263 WITH SCORE 1264.416
AT ITER 1752 NEW BEST:: SOT 8711 SOS 1404 HAS SOPS 1305 HAS SOUS 1350 HAS SOUPS 1251 WITH SCORE 1252.404
AT ITER 1782 NEW BEST:: SOT 8711 SOS 1403 HAS SOPS 1304 HAS SOUS 1349 HAS SOUPS 1250 WITH SCORE 1251.403
AT ITER 1783 NEW BEST:: SOT 8705 SOS 1398 HAS SOPS 1299 HAS SOUS 1344 HAS SOUPS 1245 WITH SCORE 1246.398
AT ITER 1812 NEW BEST:: SOT 8697 SOS 1395 HAS SOPS 1296 HAS SOUS 1338 HAS SOUPS 1239 WITH SCORE 1240.395
AT ITER 1832 NEW BEST:: SOT 8697 SOS 1391 HAS SOPS 1292 HAS SOUS 1334 HAS SOUPS 1235 WITH SCORE 1236.391
AT ITER 1834 NEW BEST:: SOT 8691 SOS 1389 HAS SOPS 1290 HAS SOUS 1330 HAS SOUPS 1231 WITH SCORE 1232.389
AT ITER 1843 NEW BEST:: SOT 8687 SOS 1379 HAS SOPS 1280 HAS SOUS 1324 HAS SOUPS 1225 WITH SCORE 1226.379
AT ITER 1899 NEW BEST:: SOT 8682 SOS 1365 HAS SOPS 1266 HAS SOUS 1321 HAS SOUPS 1222 WITH SCORE 1223.365
AT ITER 1905 NEW BEST:: SOT 8685 SOS 1370 HAS SOPS 1271 HAS SOUS 1315 HAS SOUPS 1216 WITH SCORE 1217.37
AT ITER 1938 NEW BEST:: SOT 8680 SOS 1347 HAS SOPS 1248 HAS SOUS 1297 HAS SOUPS 1198 WITH SCORE 1199.347
AT ITER 1951 NEW BEST:: SOT 8679 SOS 1342 HAS SOPS 1243 HAS SOUS 1294 HAS SOUPS 1195 WITH SCORE 1196.342
AT ITER 1966 NEW BEST:: SOT 8674 SOS 1330 HAS SOPS 1231 HAS SOUS 1284 HAS SOUPS 1185 WITH SCORE 1186.33
AT ITER 1970 NEW BEST:: SOT 8666 SOS 1306 HAS SOPS 1207 HAS SOUS 1265 HAS SOUPS 1166 WITH SCORE 1167.306
AT ITER 1980 NEW BEST:: SOT 8660 SOS 1300 HAS SOPS 1201 HAS SOUS 1259 HAS SOUPS 1160 WITH SCORE 1161.3
AT ITER 2015 NEW BEST:: SOT 8658 SOS 1298 HAS SOPS 1199 HAS SOUS 1257 HAS SOUPS 1158 WITH SCORE 1159.298
AT ITER 2042 NEW BEST:: SOT 8649 SOS 1270 HAS SOPS 1171 HAS SOUS 1235 HAS SOUPS 1136 WITH SCORE 1137.27
AT ITER 2048 NEW BEST:: SOT 8648 SOS 1264 HAS SOPS 1165 HAS SOUS 1229 HAS SOUPS 1130 WITH SCORE 1131.264
AT ITER 2062 NEW BEST:: SOT 8646 SOS 1260 HAS SOPS 1161 HAS SOUS 1227 HAS SOUPS 1128 WITH SCORE 1129.26
AT ITER 2088 NEW BEST:: SOT 8644 SOS 1250 HAS SOPS 1151 HAS SOUS 1215 HAS SOUPS 1116 WITH SCORE 1117.25
AT ITER 2113 NEW BEST:: SOT 8643 SOS 1249 HAS SOPS 1150 HAS SOUS 1214 HAS SOUPS 1115 WITH SCORE 1116.249
AT ITER 2117 NEW BEST:: SOT 8642 SOS 1246 HAS SOPS 1147 HAS SOUS 1211 HAS SOUPS 1112 WITH SCORE 1113.246
AT ITER 2181 NEW BEST:: SOT 8644 SOS 1234 HAS SOPS 1135 HAS SOUS 1199 HAS SOUPS 1100 WITH SCORE 1101.234
AT ITER 2213 NEW BEST:: SOT 8648 SOS 1230 HAS SOPS 1131 HAS SOUS 1195 HAS SOUPS 1096 WITH SCORE 1097.23
AT ITER 2217 NEW BEST:: SOT 8646 SOS 1222 HAS SOPS 1123 HAS SOUS 1191 HAS SOUPS 1092 WITH SCORE 1093.222
AT ITER 2279 NEW BEST:: SOT 8647 SOS 1212 HAS SOPS 1113 HAS SOUS 1176 HAS SOUPS 1077 WITH SCORE 1078.212
AT ITER 2338 NEW BEST:: SOT 8641 SOS 1192 HAS SOPS 1093 HAS SOUS 1158 HAS SOUPS 1059 WITH SCORE 1060.192
AT ITER 2345 NEW BEST:: SOT 8636 SOS 1183 HAS SOPS 1084 HAS SOUS 1149 HAS SOUPS 1050 WITH SCORE 1051.183
AT ITER 2349 NEW BEST:: SOT 8633 SOS 1176 HAS SOPS 1077 HAS SOUS 1143 HAS SOUPS 1044 WITH SCORE 1045.176
AT ITER 2355 NEW BEST:: SOT 8630 SOS 1167 HAS SOPS 1068 HAS SOUS 1134 HAS SOUPS 1035 WITH SCORE 1036.167
AT ITER 2406 NEW BEST:: SOT 8630 SOS 1165 HAS SOPS 1066 HAS SOUS 1132 HAS SOUPS 1033 WITH SCORE 1034.165
AT ITER 2410 NEW BEST:: SOT 8623 SOS 1149 HAS SOPS 1050 HAS SOUS 1116 HAS SOUPS 1017 WITH SCORE 1018.149
AT ITER 2414 NEW BEST:: SOT 8597 SOS 1105 HAS SOPS 1006 HAS SOUS 1072 HAS SOUPS 973 WITH SCORE 974.105
AT ITER 2548 NEW BEST:: SOT 8583 SOS 1076 HAS SOPS 977 HAS SOUS 1043 HAS SOUPS 944 WITH SCORE 945.076
AT ITER 2691 NEW BEST:: SOT 8580 SOS 1072 HAS SOPS 973 HAS SOUS 1038 HAS SOUPS 939 WITH SCORE 940.072
AT ITER 2765 NEW BEST:: SOT 8579 SOS 1071 HAS SOPS 972 HAS SOUS 1037 HAS SOUPS 938 WITH SCORE 939.071
AT ITER 2779 NEW BEST:: SOT 8575 SOS 1067 HAS SOPS 968 HAS SOUS 1033 HAS SOUPS 934 WITH SCORE 935.067
AT ITER 2800 NEW BEST:: SOT 8565 SOS 1053 HAS SOPS 954 HAS SOUS 1020 HAS SOUPS 921 WITH SCORE 922.053
AT ITER 2810 NEW BEST:: SOT 8565 SOS 1043 HAS SOPS 944 HAS SOUS 1014 HAS SOUPS 915 WITH SCORE 916.043
AT ITER 2820 NEW BEST:: SOT 8563 SOS 1041 HAS SOPS 942 HAS SOUS 1010 HAS SOUPS 911 WITH SCORE 912.041
AT ITER 2828 NEW BEST:: SOT 8556 SOS 1019 HAS SOPS 920 HAS SOUS 994 HAS SOUPS 895 WITH SCORE 896.019
AT ITER 2874 NEW BEST:: SOT 8551 SOS 1015 HAS SOPS 916 HAS SOUS 990 HAS SOUPS 891 WITH SCORE 892.015
AT ITER 2908 NEW BEST:: SOT 8534 SOS 992 HAS SOPS 893 HAS SOUS 966 HAS SOUPS 867 WITH SCORE 867.992
AT ITER 2994 NEW BEST:: SOT 8531 SOS 986 HAS SOPS 887 HAS SOUS 961 HAS SOUPS 862 WITH SCORE 862.986
AT ITER 2995 NEW BEST:: SOT 8531 SOS 981 HAS SOPS 882 HAS SOUS 961 HAS SOUPS 862 WITH SCORE 862.981
AT ITER 3050 NEW BEST:: SOT 8527 SOS 972 HAS SOPS 873 HAS SOUS 952 HAS SOUPS 853 WITH SCORE 853.972
AT ITER 3076 NEW BEST:: SOT 8526 SOS 971 HAS SOPS 872 HAS SOUS 951 HAS SOUPS 852 WITH SCORE 852.971
AT ITER 3118 NEW BEST:: SOT 8521 SOS 959 HAS SOPS 860 HAS SOUS 939 HAS SOUPS 840 WITH SCORE 840.959
AT ITER 3130 NEW BEST:: SOT 8521 SOS 959 HAS SOPS 860 HAS SOUS 938 HAS SOUPS 839 WITH SCORE 839.959
AT ITER 3188 NEW BEST:: SOT 8520 SOS 958 HAS SOPS 859 HAS SOUS 937 HAS SOUPS 838 WITH SCORE 838.958
AT ITER 3204 NEW BEST:: SOT 8522 SOS 956 HAS SOPS 857 HAS SOUS 934 HAS SOUPS 835 WITH SCORE 835.956
AT ITER 3227 NEW BEST:: SOT 8524 SOS 954 HAS SOPS 855 HAS SOUS 932 HAS SOUPS 833 WITH SCORE 833.954
AT ITER 3235 NEW BEST:: SOT 8521 SOS 946 HAS SOPS 847 HAS SOUS 925 HAS SOUPS 826 WITH SCORE 826.946
AT ITER 3261 NEW BEST:: SOT 8520 SOS 949 HAS SOPS 850 HAS SOUS 924 HAS SOUPS 825 WITH SCORE 825.949
AT ITER 3310 NEW BEST:: SOT 8505 SOS 915 HAS SOPS 816 HAS SOUS 894 HAS SOUPS 795 WITH SCORE 795.915
AT ITER 3312 NEW BEST:: SOT 8504 SOS 913 HAS SOPS 815 HAS SOUS 892 HAS SOUPS 794 WITH SCORE 794.913
AT ITER 3375 NEW BEST:: SOT 8496 SOS 894 HAS SOPS 796 HAS SOUS 873 HAS SOUPS 775 WITH SCORE 775.894
AT ITER 3382 NEW BEST:: SOT 8496 SOS 892 HAS SOPS 794 HAS SOUS 871 HAS SOUPS 773 WITH SCORE 773.892
AT ITER 3388 NEW BEST:: SOT 8494 SOS 890 HAS SOPS 792 HAS SOUS 869 HAS SOUPS 771 WITH SCORE 771.89
AT ITER 3405 NEW BEST:: SOT 8489 SOS 873 HAS SOPS 775 HAS SOUS 856 HAS SOUPS 758 WITH SCORE 758.873
AT ITER 3503 NEW BEST:: SOT 8488 SOS 869 HAS SOPS 771 HAS SOUS 853 HAS SOUPS 755 WITH SCORE 755.869
AT ITER 3505 NEW BEST:: SOT 8482 SOS 853 HAS SOPS 755 HAS SOUS 840 HAS SOUPS 742 WITH SCORE 742.853
AT ITER 3538 NEW BEST:: SOT 8481 SOS 850 HAS SOPS 752 HAS SOUS 837 HAS SOUPS 739 WITH SCORE 739.85
AT ITER 3583 NEW BEST:: SOT 8481 SOS 849 HAS SOPS 751 HAS SOUS 836 HAS SOUPS 738 WITH SCORE 738.849
AT ITER 3671 NEW BEST:: SOT 8478 SOS 842 HAS SOPS 744 HAS SOUS 829 HAS SOUPS 731 WITH SCORE 731.842
AT ITER 3728 NEW BEST:: SOT 8476 SOS 840 HAS SOPS 742 HAS SOUS 827 HAS SOUPS 729 WITH SCORE 729.84
AT ITER 3739 NEW BEST:: SOT 8478 SOS 839 HAS SOPS 741 HAS SOUS 826 HAS SOUPS 728 WITH SCORE 728.839
AT ITER 3750 NEW BEST:: SOT 8478 SOS 836 HAS SOPS 738 HAS SOUS 824 HAS SOUPS 726 WITH SCORE 726.836
AT ITER 3812 NEW BEST:: SOT 8477 SOS 832 HAS SOPS 734 HAS SOUS 824 HAS SOUPS 726 WITH SCORE 726.832
AT ITER 3819 NEW BEST:: SOT 8476 SOS 827 HAS SOPS 729 HAS SOUS 819 HAS SOUPS 721 WITH SCORE 721.827
AT ITER 3831 NEW BEST:: SOT 8476 SOS 824 HAS SOPS 726 HAS SOUS 816 HAS SOUPS 718 WITH SCORE 718.824
AT ITER 3863 NEW BEST:: SOT 8475 SOS 822 HAS SOPS 724 HAS SOUS 814 HAS SOUPS 716 WITH SCORE 716.822
AT ITER 3875 NEW BEST:: SOT 8474 SOS 820 HAS SOPS 722 HAS SOUS 812 HAS SOUPS 714 WITH SCORE 714.82
AT ITER 3966 NEW BEST:: SOT 8467 SOS 811 HAS SOPS 713 HAS SOUS 803 HAS SOUPS 705 WITH SCORE 705.811
AT ITER 4019 NEW BEST:: SOT 8463 SOS 803 HAS SOPS 705 HAS SOUS 795 HAS SOUPS 697 WITH SCORE 697.803
AT ITER 4136 NEW BEST:: SOT 8463 SOS 802 HAS SOPS 704 HAS SOUS 794 HAS SOUPS 696 WITH SCORE 696.802
AT ITER 4145 NEW BEST:: SOT 8450 SOS 776 HAS SOPS 678 HAS SOUS 770 HAS SOUPS 672 WITH SCORE 672.776
AT ITER 4163 NEW BEST:: SOT 8448 SOS 774 HAS SOPS 676 HAS SOUS 768 HAS SOUPS 670 WITH SCORE 670.774
AT ITER 4176 NEW BEST:: SOT 8442 SOS 768 HAS SOPS 670 HAS SOUS 762 HAS SOUPS 664 WITH SCORE 664.768
AT ITER 4220 NEW BEST:: SOT 8441 SOS 766 HAS SOPS 668 HAS SOUS 761 HAS SOUPS 663 WITH SCORE 663.766
AT ITER 4312 NEW BEST:: SOT 8440 SOS 764 HAS SOPS 666 HAS SOUS 759 HAS SOUPS 661 WITH SCORE 661.764
AT ITER 4325 NEW BEST:: SOT 8436 SOS 761 HAS SOPS 663 HAS SOUS 756 HAS SOUPS 658 WITH SCORE 658.761
AT ITER 4356 NEW BEST:: SOT 8434 SOS 759 HAS SOPS 661 HAS SOUS 754 HAS SOUPS 656 WITH SCORE 656.759
AT ITER 4486 NEW BEST:: SOT 8432 SOS 751 HAS SOPS 653 HAS SOUS 746 HAS SOUPS 648 WITH SCORE 648.751
AT ITER 4623 NEW BEST:: SOT 8434 SOS 749 HAS SOPS 651 HAS SOUS 744 HAS SOUPS 646 WITH SCORE 646.749
AT ITER 4767 NEW BEST:: SOT 8433 SOS 748 HAS SOPS 650 HAS SOUS 743 HAS SOUPS 645 WITH SCORE 645.748
AT ITER 4807 NEW BEST:: SOT 8433 SOS 747 HAS SOPS 649 HAS SOUS 742 HAS SOUPS 644 WITH SCORE 644.747
AT ITER 4826 NEW BEST:: SOT 8431 SOS 742 HAS SOPS 644 HAS SOUS 737 HAS SOUPS 639 WITH SCORE 639.742
AT ITER 4882 NEW BEST:: SOT 8431 SOS 741 HAS SOPS 643 HAS SOUS 735 HAS SOUPS 637 WITH SCORE 637.741
AT ITER 4964 NEW BEST:: SOT 8425 SOS 731 HAS SOPS 633 HAS SOUS 725 HAS SOUPS 627 WITH SCORE 627.731
AT ITER 4971 NEW BEST:: SOT 8423 SOS 730 HAS SOPS 632 HAS SOUS 724 HAS SOUPS 626 WITH SCORE 626.73
AT ITER 5136 NEW BEST:: SOT 8424 SOS 727 HAS SOPS 629 HAS SOUS 721 HAS SOUPS 623 WITH SCORE 623.727
AT ITER 5340 NEW BEST:: SOT 8423 SOS 725 HAS SOPS 627 HAS SOUS 719 HAS SOUPS 621 WITH SCORE 621.725
AT ITER 5589 NEW BEST:: SOT 8420 SOS 719 HAS SOPS 621 HAS SOUS 713 HAS SOUPS 615 WITH SCORE 615.719
AT ITER 5602 NEW BEST:: SOT 8420 SOS 719 HAS SOPS 621 HAS SOUS 712 HAS SOUPS 614 WITH SCORE 614.719
AT ITER 5646 NEW BEST:: SOT 8414 SOS 717 HAS SOPS 619 HAS SOUS 711 HAS SOUPS 613 WITH SCORE 613.717
AT ITER 5668 NEW BEST:: SOT 8409 SOS 708 HAS SOPS 610 HAS SOUS 702 HAS SOUPS 604 WITH SCORE 604.708
AT ITER 5688 NEW BEST:: SOT 8410 SOS 708 HAS SOPS 610 HAS SOUS 701 HAS SOUPS 603 WITH SCORE 603.708
AT ITER 5738 NEW BEST:: SOT 8406 SOS 698 HAS SOPS 600 HAS SOUS 691 HAS SOUPS 593 WITH SCORE 593.698
AT ITER 5860 NEW BEST:: SOT 8405 SOS 698 HAS SOPS 600 HAS SOUS 688 HAS SOUPS 590 WITH SCORE 590.698
AT ITER 6105 NEW BEST:: SOT 8408 SOS 695 HAS SOPS 597 HAS SOUS 688 HAS SOUPS 590 WITH SCORE 590.695
AT ITER 6188 NEW BEST:: SOT 8406 SOS 692 HAS SOPS 594 HAS SOUS 685 HAS SOUPS 587 WITH SCORE 587.692
AT ITER 6264 NEW BEST:: SOT 8404 SOS 691 HAS SOPS 593 HAS SOUS 684 HAS SOUPS 586 WITH SCORE 586.691
AT ITER 6328 NEW BEST:: SOT 8398 SOS 684 HAS SOPS 586 HAS SOUS 677 HAS SOUPS 579 WITH SCORE 579.684
AT ITER 6388 NEW BEST:: SOT 8394 SOS 677 HAS SOPS 579 HAS SOUS 670 HAS SOUPS 572 WITH SCORE 572.677
AT ITER 6413 NEW BEST:: SOT 8390 SOS 672 HAS SOPS 574 HAS SOUS 665 HAS SOUPS 567 WITH SCORE 567.672
AT ITER 7154 NEW BEST:: SOT 8390 SOS 670 HAS SOPS 572 HAS SOUS 663 HAS SOUPS 565 WITH SCORE 565.67
AT ITER 7570 NEW BEST:: SOT 8389 SOS 669 HAS SOPS 571 HAS SOUS 662 HAS SOUPS 564 WITH SCORE 564.669
AT ITER 7615 NEW BEST:: SOT 8388 SOS 669 HAS SOPS 571 HAS SOUS 661 HAS SOUPS 563 WITH SCORE 563.669
AT ITER 7830 NEW BEST:: SOT 8385 SOS 664 HAS SOPS 566 HAS SOUS 657 HAS SOUPS 559 WITH SCORE 559.664
AT ITER 7910 NEW BEST:: SOT 8373 SOS 647 HAS SOPS 549 HAS SOUS 638 HAS SOUPS 540 WITH SCORE 540.647
AT ITER 8127 NEW BEST:: SOT 8371 SOS 646 HAS SOPS 548 HAS SOUS 637 HAS SOUPS 539 WITH SCORE 539.646
AT ITER 8640 NEW BEST:: SOT 8370 SOS 645 HAS SOPS 547 HAS SOUS 636 HAS SOUPS 538 WITH SCORE 538.645
AT ITER 8718 NEW BEST:: SOT 8369 SOS 644 HAS SOPS 546 HAS SOUS 635 HAS SOUPS 537 WITH SCORE 537.644
AT ITER 8742 NEW BEST:: SOT 8368 SOS 641 HAS SOPS 543 HAS SOUS 632 HAS SOUPS 534 WITH SCORE 534.641
AT ITER 8894 NEW BEST:: SOT 8368 SOS 640 HAS SOPS 542 HAS SOUS 631 HAS SOUPS 533 WITH SCORE 533.64
AT ITER 9165 NEW BEST:: SOT 8369 SOS 640 HAS SOPS 542 HAS SOUS 630 HAS SOUPS 532 WITH SCORE 532.64
AT ITER 9377 NEW BEST:: SOT 8369 SOS 637 HAS SOPS 539 HAS SOUS 627 HAS SOUPS 529 WITH SCORE 529.637
STATE_SPACE STATES 4112314037805169805654823914935357103497231013314554080586913400100000000000000000000 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 23 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 461 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 403688534998652118840824513413230998907682324869643880291829982098000000000003486784401 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678634624806

--------------------
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="JoinFreeModules-PT-0020"
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 JoinFreeModules-PT-0020, 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 r235-tall-167856421400176"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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