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.r107-tall-167814484100384.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 DES-PT-02a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814484100384
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 528K
-rw-r--r-- 1 mcc users 6.9K Feb 26 15:39 CTLCardinality.txt
-rw-r--r-- 1 mcc users 77K Feb 26 15:39 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 26 15:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 62K Feb 26 15:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:50 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 15:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:50 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 15:41 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 153K Feb 26 15:41 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.7K Feb 26 15:40 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 69K Feb 26 15:40 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 25 15:50 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:50 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 33K 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 1678367350038

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=DES-PT-02a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 13:09:11] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 13:09:11] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 13:09:11] [INFO ] Load time of PNML (sax parser for PT used): 44 ms
[2023-03-09 13:09:11] [INFO ] Transformed 123 places.
[2023-03-09 13:09:11] [INFO ] Transformed 80 transitions.
[2023-03-09 13:09:11] [INFO ] Found NUPN structural information;
[2023-03-09 13:09:11] [INFO ] Parsed PT model containing 123 places and 80 transitions and 400 arcs in 105 ms.
[2023-03-09 13:09:11] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 123 places, 80 transitions and 400 arcs took 4 ms.
Total runtime 137 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DES (PT), instance 02a
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: 123 places, 80 transitions, 400 arcs.
AT ITER 0 NEW BEST:: SOT 7200 SOS 5608 HAS SOPS 5608 HAS SOUS 4155 HAS SOUPS 4155 WITH SCORE 4160.608
AT ITER 6 NEW BEST:: SOT 7224 SOS 5640 HAS SOPS 5640 HAS SOUS 4154 HAS SOUPS 4154 WITH SCORE 4159.64
AT ITER 11 NEW BEST:: SOT 7217 SOS 5624 HAS SOPS 5624 HAS SOUS 4138 HAS SOUPS 4138 WITH SCORE 4143.624
AT ITER 15 NEW BEST:: SOT 7212 SOS 5618 HAS SOPS 5618 HAS SOUS 4136 HAS SOUPS 4136 WITH SCORE 4141.618
AT ITER 18 NEW BEST:: SOT 7212 SOS 5617 HAS SOPS 5617 HAS SOUS 4135 HAS SOUPS 4135 WITH SCORE 4140.617
AT ITER 25 NEW BEST:: SOT 7208 SOS 5613 HAS SOPS 5613 HAS SOUS 4131 HAS SOUPS 4131 WITH SCORE 4136.613
AT ITER 26 NEW BEST:: SOT 7207 SOS 5612 HAS SOPS 5612 HAS SOUS 4129 HAS SOUPS 4129 WITH SCORE 4134.612
AT ITER 29 NEW BEST:: SOT 7192 SOS 5588 HAS SOPS 5588 HAS SOUS 4115 HAS SOUPS 4115 WITH SCORE 4120.588
AT ITER 36 NEW BEST:: SOT 7185 SOS 5581 HAS SOPS 5581 HAS SOUS 4108 HAS SOUPS 4108 WITH SCORE 4113.581
AT ITER 40 NEW BEST:: SOT 7160 SOS 5462 HAS SOPS 5462 HAS SOUS 4035 HAS SOUPS 4035 WITH SCORE 4040.462
AT ITER 41 NEW BEST:: SOT 7160 SOS 5418 HAS SOPS 5418 HAS SOUS 4031 HAS SOUPS 4031 WITH SCORE 4036.418
AT ITER 43 NEW BEST:: SOT 7160 SOS 5415 HAS SOPS 5415 HAS SOUS 4028 HAS SOUPS 4028 WITH SCORE 4033.415
AT ITER 47 NEW BEST:: SOT 7176 SOS 5446 HAS SOPS 5446 HAS SOUS 3975 HAS SOUPS 3975 WITH SCORE 3980.446
AT ITER 48 NEW BEST:: SOT 7197 SOS 5412 HAS SOPS 5412 HAS SOUS 3948 HAS SOUPS 3948 WITH SCORE 3953.412
AT ITER 55 NEW BEST:: SOT 7165 SOS 5383 HAS SOPS 5383 HAS SOUS 3919 HAS SOUPS 3919 WITH SCORE 3924.383
AT ITER 64 NEW BEST:: SOT 7203 SOS 5122 HAS SOPS 5122 HAS SOUS 3898 HAS SOUPS 3898 WITH SCORE 3903.122
AT ITER 72 NEW BEST:: SOT 7197 SOS 5116 HAS SOPS 5116 HAS SOUS 3898 HAS SOUPS 3898 WITH SCORE 3903.116
AT ITER 79 NEW BEST:: SOT 7194 SOS 5109 HAS SOPS 5109 HAS SOUS 3896 HAS SOUPS 3896 WITH SCORE 3901.109
AT ITER 89 NEW BEST:: SOT 7233 SOS 5118 HAS SOPS 5118 HAS SOUS 3891 HAS SOUPS 3891 WITH SCORE 3896.118
AT ITER 92 NEW BEST:: SOT 7244 SOS 5115 HAS SOPS 5115 HAS SOUS 3888 HAS SOUPS 3888 WITH SCORE 3893.115
AT ITER 93 NEW BEST:: SOT 7279 SOS 5158 HAS SOPS 5158 HAS SOUS 3877 HAS SOUPS 3877 WITH SCORE 3882.158
AT ITER 94 NEW BEST:: SOT 7279 SOS 5157 HAS SOPS 5157 HAS SOUS 3876 HAS SOUPS 3876 WITH SCORE 3881.157
AT ITER 96 NEW BEST:: SOT 7268 SOS 5146 HAS SOPS 5146 HAS SOUS 3865 HAS SOUPS 3865 WITH SCORE 3870.146
AT ITER 101 NEW BEST:: SOT 7281 SOS 5088 HAS SOPS 5088 HAS SOUS 3788 HAS SOUPS 3788 WITH SCORE 3793.088
AT ITER 103 NEW BEST:: SOT 7303 SOS 5110 HAS SOPS 5110 HAS SOUS 3765 HAS SOUPS 3765 WITH SCORE 3770.11
AT ITER 105 NEW BEST:: SOT 7303 SOS 5110 HAS SOPS 5110 HAS SOUS 3760 HAS SOUPS 3760 WITH SCORE 3765.11
AT ITER 112 NEW BEST:: SOT 7303 SOS 5173 HAS SOPS 5173 HAS SOUS 3723 HAS SOUPS 3723 WITH SCORE 3728.173
AT ITER 116 NEW BEST:: SOT 7248 SOS 5100 HAS SOPS 5100 HAS SOUS 3636 HAS SOUPS 3636 WITH SCORE 3641.1
AT ITER 119 NEW BEST:: SOT 7248 SOS 5099 HAS SOPS 5099 HAS SOUS 3635 HAS SOUPS 3635 WITH SCORE 3640.099
AT ITER 121 NEW BEST:: SOT 7204 SOS 5027 HAS SOPS 5027 HAS SOUS 3577 HAS SOUPS 3577 WITH SCORE 3582.027
AT ITER 140 NEW BEST:: SOT 7204 SOS 4980 HAS SOPS 4980 HAS SOUS 3570 HAS SOUPS 3570 WITH SCORE 3574.98
AT ITER 145 NEW BEST:: SOT 7199 SOS 4969 HAS SOPS 4969 HAS SOUS 3561 HAS SOUPS 3561 WITH SCORE 3565.969
AT ITER 149 NEW BEST:: SOT 7199 SOS 4955 HAS SOPS 4955 HAS SOUS 3561 HAS SOUPS 3561 WITH SCORE 3565.955
AT ITER 150 NEW BEST:: SOT 7197 SOS 4953 HAS SOPS 4953 HAS SOUS 3557 HAS SOUPS 3557 WITH SCORE 3561.953
AT ITER 151 NEW BEST:: SOT 7207 SOS 4933 HAS SOPS 4933 HAS SOUS 3548 HAS SOUPS 3548 WITH SCORE 3552.933
AT ITER 163 NEW BEST:: SOT 7177 SOS 4893 HAS SOPS 4893 HAS SOUS 3524 HAS SOUPS 3524 WITH SCORE 3528.893
AT ITER 170 NEW BEST:: SOT 7177 SOS 4892 HAS SOPS 4892 HAS SOUS 3523 HAS SOUPS 3523 WITH SCORE 3527.892
AT ITER 171 NEW BEST:: SOT 7194 SOS 4868 HAS SOPS 4868 HAS SOUS 3521 HAS SOUPS 3521 WITH SCORE 3525.868
AT ITER 183 NEW BEST:: SOT 7181 SOS 4763 HAS SOPS 4763 HAS SOUS 3489 HAS SOUPS 3489 WITH SCORE 3493.763
AT ITER 184 NEW BEST:: SOT 7177 SOS 4758 HAS SOPS 4758 HAS SOUS 3484 HAS SOUPS 3484 WITH SCORE 3488.758
AT ITER 185 NEW BEST:: SOT 7175 SOS 4747 HAS SOPS 4747 HAS SOUS 3476 HAS SOUPS 3476 WITH SCORE 3480.747
AT ITER 188 NEW BEST:: SOT 7166 SOS 4737 HAS SOPS 4737 HAS SOUS 3466 HAS SOUPS 3466 WITH SCORE 3470.737
AT ITER 189 NEW BEST:: SOT 7142 SOS 4713 HAS SOPS 4713 HAS SOUS 3442 HAS SOUPS 3442 WITH SCORE 3446.713
AT ITER 208 NEW BEST:: SOT 7142 SOS 4710 HAS SOPS 4710 HAS SOUS 3439 HAS SOUPS 3439 WITH SCORE 3443.71
AT ITER 219 NEW BEST:: SOT 7118 SOS 4688 HAS SOPS 4688 HAS SOUS 3436 HAS SOUPS 3436 WITH SCORE 3440.688
AT ITER 220 NEW BEST:: SOT 7097 SOS 4667 HAS SOPS 4667 HAS SOUS 3415 HAS SOUPS 3415 WITH SCORE 3419.667
AT ITER 221 NEW BEST:: SOT 7090 SOS 4643 HAS SOPS 4643 HAS SOUS 3391 HAS SOUPS 3391 WITH SCORE 3395.643
AT ITER 224 NEW BEST:: SOT 7089 SOS 4640 HAS SOPS 4640 HAS SOUS 3388 HAS SOUPS 3388 WITH SCORE 3392.64
AT ITER 227 NEW BEST:: SOT 7039 SOS 4633 HAS SOPS 4633 HAS SOUS 3381 HAS SOUPS 3381 WITH SCORE 3385.633
AT ITER 230 NEW BEST:: SOT 7025 SOS 4619 HAS SOPS 4619 HAS SOUS 3374 HAS SOUPS 3374 WITH SCORE 3378.619
AT ITER 234 NEW BEST:: SOT 6990 SOS 4499 HAS SOPS 4499 HAS SOUS 3340 HAS SOUPS 3340 WITH SCORE 3344.499
AT ITER 236 NEW BEST:: SOT 6981 SOS 4462 HAS SOPS 4462 HAS SOUS 3303 HAS SOUPS 3303 WITH SCORE 3307.462
AT ITER 238 NEW BEST:: SOT 6977 SOS 4422 HAS SOPS 4422 HAS SOUS 3263 HAS SOUPS 3263 WITH SCORE 3267.422
AT ITER 240 NEW BEST:: SOT 6976 SOS 4419 HAS SOPS 4419 HAS SOUS 3260 HAS SOUPS 3260 WITH SCORE 3264.419
AT ITER 251 NEW BEST:: SOT 6976 SOS 4394 HAS SOPS 4394 HAS SOUS 3257 HAS SOUPS 3257 WITH SCORE 3261.394
AT ITER 254 NEW BEST:: SOT 6954 SOS 4350 HAS SOPS 4350 HAS SOUS 3213 HAS SOUPS 3213 WITH SCORE 3217.35
AT ITER 284 NEW BEST:: SOT 6813 SOS 4182 HAS SOPS 4182 HAS SOUS 3109 HAS SOUPS 3109 WITH SCORE 3113.182
AT ITER 288 NEW BEST:: SOT 6808 SOS 4177 HAS SOPS 4177 HAS SOUS 3104 HAS SOUPS 3104 WITH SCORE 3108.177
AT ITER 291 NEW BEST:: SOT 6808 SOS 4163 HAS SOPS 4163 HAS SOUS 3090 HAS SOUPS 3090 WITH SCORE 3094.163
AT ITER 319 NEW BEST:: SOT 6745 SOS 4058 HAS SOPS 4058 HAS SOUS 3027 HAS SOUPS 3027 WITH SCORE 3031.058
AT ITER 327 NEW BEST:: SOT 6733 SOS 4046 HAS SOPS 4046 HAS SOUS 3027 HAS SOUPS 3027 WITH SCORE 3031.046
AT ITER 332 NEW BEST:: SOT 6729 SOS 4030 HAS SOPS 4030 HAS SOUS 3019 HAS SOUPS 3019 WITH SCORE 3023.03
AT ITER 334 NEW BEST:: SOT 6736 SOS 4029 HAS SOPS 4029 HAS SOUS 3018 HAS SOUPS 3018 WITH SCORE 3022.029
AT ITER 350 NEW BEST:: SOT 6743 SOS 4034 HAS SOPS 4034 HAS SOUS 2992 HAS SOUPS 2992 WITH SCORE 2996.034
AT ITER 351 NEW BEST:: SOT 6736 SOS 4026 HAS SOPS 4026 HAS SOUS 2991 HAS SOUPS 2991 WITH SCORE 2995.026
AT ITER 356 NEW BEST:: SOT 6736 SOS 4024 HAS SOPS 4024 HAS SOUS 2989 HAS SOUPS 2989 WITH SCORE 2993.024
AT ITER 388 NEW BEST:: SOT 6758 SOS 4050 HAS SOPS 4050 HAS SOUS 2964 HAS SOUPS 2964 WITH SCORE 2968.05
AT ITER 393 NEW BEST:: SOT 6739 SOS 4024 HAS SOPS 4024 HAS SOUS 2954 HAS SOUPS 2954 WITH SCORE 2958.024
AT ITER 394 NEW BEST:: SOT 6735 SOS 4022 HAS SOPS 4022 HAS SOUS 2952 HAS SOUPS 2952 WITH SCORE 2956.022
AT ITER 396 NEW BEST:: SOT 6722 SOS 4009 HAS SOPS 4009 HAS SOUS 2939 HAS SOUPS 2939 WITH SCORE 2943.009
AT ITER 401 NEW BEST:: SOT 6701 SOS 3998 HAS SOPS 3998 HAS SOUS 2931 HAS SOUPS 2931 WITH SCORE 2934.998
AT ITER 402 NEW BEST:: SOT 6656 SOS 3951 HAS SOPS 3951 HAS SOUS 2915 HAS SOUPS 2915 WITH SCORE 2918.951
AT ITER 408 NEW BEST:: SOT 6626 SOS 3845 HAS SOPS 3845 HAS SOUS 2873 HAS SOUPS 2873 WITH SCORE 2876.845
AT ITER 415 NEW BEST:: SOT 6606 SOS 3809 HAS SOPS 3809 HAS SOUS 2837 HAS SOUPS 2837 WITH SCORE 2840.809
AT ITER 418 NEW BEST:: SOT 6606 SOS 3809 HAS SOPS 3809 HAS SOUS 2833 HAS SOUPS 2833 WITH SCORE 2836.809
AT ITER 420 NEW BEST:: SOT 6606 SOS 3788 HAS SOPS 3788 HAS SOUS 2812 HAS SOUPS 2812 WITH SCORE 2815.788
AT ITER 423 NEW BEST:: SOT 6644 SOS 3750 HAS SOPS 3750 HAS SOUS 2812 HAS SOUPS 2812 WITH SCORE 2815.75
AT ITER 424 NEW BEST:: SOT 6644 SOS 3747 HAS SOPS 3747 HAS SOUS 2809 HAS SOUPS 2809 WITH SCORE 2812.747
AT ITER 432 NEW BEST:: SOT 6631 SOS 3727 HAS SOPS 3727 HAS SOUS 2789 HAS SOUPS 2789 WITH SCORE 2792.727
AT ITER 438 NEW BEST:: SOT 6631 SOS 3726 HAS SOPS 3726 HAS SOUS 2786 HAS SOUPS 2786 WITH SCORE 2789.726
AT ITER 439 NEW BEST:: SOT 6611 SOS 3706 HAS SOPS 3706 HAS SOUS 2766 HAS SOUPS 2766 WITH SCORE 2769.706
AT ITER 444 NEW BEST:: SOT 6611 SOS 3705 HAS SOPS 3705 HAS SOUS 2766 HAS SOUPS 2766 WITH SCORE 2769.705
AT ITER 445 NEW BEST:: SOT 6600 SOS 3715 HAS SOPS 3715 HAS SOUS 2750 HAS SOUPS 2750 WITH SCORE 2753.715
AT ITER 456 NEW BEST:: SOT 6475 SOS 3497 HAS SOPS 3497 HAS SOUS 2610 HAS SOUPS 2610 WITH SCORE 2613.497
AT ITER 459 NEW BEST:: SOT 6469 SOS 3481 HAS SOPS 3481 HAS SOUS 2605 HAS SOUPS 2605 WITH SCORE 2608.481
AT ITER 463 NEW BEST:: SOT 6469 SOS 3481 HAS SOPS 3481 HAS SOUS 2603 HAS SOUPS 2603 WITH SCORE 2606.481
AT ITER 469 NEW BEST:: SOT 6488 SOS 3513 HAS SOPS 3513 HAS SOUS 2599 HAS SOUPS 2599 WITH SCORE 2602.513
AT ITER 470 NEW BEST:: SOT 6480 SOS 3505 HAS SOPS 3505 HAS SOUS 2591 HAS SOUPS 2591 WITH SCORE 2594.505
AT ITER 471 NEW BEST:: SOT 6478 SOS 3503 HAS SOPS 3503 HAS SOUS 2589 HAS SOUPS 2589 WITH SCORE 2592.503
AT ITER 480 NEW BEST:: SOT 6579 SOS 3276 HAS SOPS 3276 HAS SOUS 2585 HAS SOUPS 2585 WITH SCORE 2588.276
AT ITER 505 NEW BEST:: SOT 6579 SOS 3264 HAS SOPS 3264 HAS SOUS 2573 HAS SOUPS 2573 WITH SCORE 2576.264
AT ITER 514 NEW BEST:: SOT 6562 SOS 3243 HAS SOPS 3243 HAS SOUS 2554 HAS SOUPS 2554 WITH SCORE 2557.243
AT ITER 531 NEW BEST:: SOT 6562 SOS 3239 HAS SOPS 3239 HAS SOUS 2552 HAS SOUPS 2552 WITH SCORE 2555.239
AT ITER 546 NEW BEST:: SOT 6509 SOS 3211 HAS SOPS 3211 HAS SOUS 2525 HAS SOUPS 2525 WITH SCORE 2528.211
AT ITER 548 NEW BEST:: SOT 6471 SOS 3173 HAS SOPS 3173 HAS SOUS 2503 HAS SOUPS 2503 WITH SCORE 2506.173
AT ITER 555 NEW BEST:: SOT 6471 SOS 3173 HAS SOPS 3173 HAS SOUS 2500 HAS SOUPS 2500 WITH SCORE 2503.173
AT ITER 558 NEW BEST:: SOT 6456 SOS 3150 HAS SOPS 3150 HAS SOUS 2490 HAS SOUPS 2490 WITH SCORE 2493.15
AT ITER 560 NEW BEST:: SOT 6456 SOS 3141 HAS SOPS 3141 HAS SOUS 2481 HAS SOUPS 2481 WITH SCORE 2484.141
AT ITER 577 NEW BEST:: SOT 6419 SOS 3104 HAS SOPS 3104 HAS SOUS 2445 HAS SOUPS 2445 WITH SCORE 2448.104
AT ITER 591 NEW BEST:: SOT 6420 SOS 3084 HAS SOPS 3084 HAS SOUS 2412 HAS SOUPS 2412 WITH SCORE 2415.084
AT ITER 599 NEW BEST:: SOT 6413 SOS 3077 HAS SOPS 3077 HAS SOUS 2405 HAS SOUPS 2405 WITH SCORE 2408.077
AT ITER 602 NEW BEST:: SOT 6413 SOS 3033 HAS SOPS 3033 HAS SOUS 2361 HAS SOUPS 2361 WITH SCORE 2364.033
AT ITER 609 NEW BEST:: SOT 6382 SOS 2988 HAS SOPS 2988 HAS SOUS 2316 HAS SOUPS 2316 WITH SCORE 2318.988
AT ITER 617 NEW BEST:: SOT 6338 SOS 2915 HAS SOPS 2915 HAS SOUS 2300 HAS SOUPS 2300 WITH SCORE 2302.915
AT ITER 647 NEW BEST:: SOT 6330 SOS 2885 HAS SOPS 2885 HAS SOUS 2270 HAS SOUPS 2270 WITH SCORE 2272.885
AT ITER 652 NEW BEST:: SOT 6329 SOS 2883 HAS SOPS 2883 HAS SOUS 2268 HAS SOUPS 2268 WITH SCORE 2270.883
AT ITER 656 NEW BEST:: SOT 6328 SOS 2882 HAS SOPS 2882 HAS SOUS 2267 HAS SOUPS 2267 WITH SCORE 2269.882
AT ITER 660 NEW BEST:: SOT 6328 SOS 2879 HAS SOPS 2879 HAS SOUS 2266 HAS SOUPS 2266 WITH SCORE 2268.879
AT ITER 663 NEW BEST:: SOT 6318 SOS 2869 HAS SOPS 2869 HAS SOUS 2252 HAS SOUPS 2252 WITH SCORE 2254.869
AT ITER 665 NEW BEST:: SOT 6301 SOS 2826 HAS SOPS 2826 HAS SOUS 2226 HAS SOUPS 2226 WITH SCORE 2228.826
AT ITER 677 NEW BEST:: SOT 6299 SOS 2823 HAS SOPS 2823 HAS SOUS 2223 HAS SOUPS 2223 WITH SCORE 2225.823
AT ITER 681 NEW BEST:: SOT 6294 SOS 2818 HAS SOPS 2818 HAS SOUS 2218 HAS SOUPS 2218 WITH SCORE 2220.818
AT ITER 725 NEW BEST:: SOT 6291 SOS 2812 HAS SOPS 2812 HAS SOUS 2212 HAS SOUPS 2212 WITH SCORE 2214.812
AT ITER 726 NEW BEST:: SOT 6303 SOS 2800 HAS SOPS 2800 HAS SOUS 2195 HAS SOUPS 2195 WITH SCORE 2197.8
AT ITER 738 NEW BEST:: SOT 6303 SOS 2776 HAS SOPS 2776 HAS SOUS 2179 HAS SOUPS 2179 WITH SCORE 2181.776
AT ITER 747 NEW BEST:: SOT 6303 SOS 2786 HAS SOPS 2786 HAS SOUS 2176 HAS SOUPS 2176 WITH SCORE 2178.786
AT ITER 756 NEW BEST:: SOT 6304 SOS 2784 HAS SOPS 2784 HAS SOUS 2175 HAS SOUPS 2175 WITH SCORE 2177.784
AT ITER 758 NEW BEST:: SOT 6276 SOS 2756 HAS SOPS 2756 HAS SOUS 2147 HAS SOUPS 2147 WITH SCORE 2149.756
AT ITER 770 NEW BEST:: SOT 6276 SOS 2752 HAS SOPS 2752 HAS SOUS 2147 HAS SOUPS 2147 WITH SCORE 2149.752
AT ITER 773 NEW BEST:: SOT 6276 SOS 2743 HAS SOPS 2743 HAS SOUS 2146 HAS SOUPS 2146 WITH SCORE 2148.743
AT ITER 783 NEW BEST:: SOT 6268 SOS 2735 HAS SOPS 2735 HAS SOUS 2138 HAS SOUPS 2138 WITH SCORE 2140.735
AT ITER 785 NEW BEST:: SOT 6267 SOS 2722 HAS SOPS 2722 HAS SOUS 2128 HAS SOUPS 2128 WITH SCORE 2130.722
AT ITER 786 NEW BEST:: SOT 6267 SOS 2710 HAS SOPS 2710 HAS SOUS 2128 HAS SOUPS 2128 WITH SCORE 2130.71
AT ITER 791 NEW BEST:: SOT 6264 SOS 2707 HAS SOPS 2707 HAS SOUS 2125 HAS SOUPS 2125 WITH SCORE 2127.707
AT ITER 810 NEW BEST:: SOT 6257 SOS 2693 HAS SOPS 2693 HAS SOUS 2111 HAS SOUPS 2111 WITH SCORE 2113.693
AT ITER 821 NEW BEST:: SOT 6254 SOS 2687 HAS SOPS 2687 HAS SOUS 2105 HAS SOUPS 2105 WITH SCORE 2107.687
AT ITER 827 NEW BEST:: SOT 6232 SOS 2659 HAS SOPS 2659 HAS SOUS 2080 HAS SOUPS 2080 WITH SCORE 2082.659
AT ITER 854 NEW BEST:: SOT 6224 SOS 2651 HAS SOPS 2651 HAS SOUS 2074 HAS SOUPS 2074 WITH SCORE 2076.651
AT ITER 857 NEW BEST:: SOT 6219 SOS 2646 HAS SOPS 2646 HAS SOUS 2069 HAS SOUPS 2069 WITH SCORE 2071.646
AT ITER 862 NEW BEST:: SOT 6216 SOS 2634 HAS SOPS 2634 HAS SOUS 2061 HAS SOUPS 2061 WITH SCORE 2063.634
AT ITER 868 NEW BEST:: SOT 6212 SOS 2632 HAS SOPS 2632 HAS SOUS 2059 HAS SOUPS 2059 WITH SCORE 2061.632
AT ITER 873 NEW BEST:: SOT 6207 SOS 2627 HAS SOPS 2627 HAS SOUS 2054 HAS SOUPS 2054 WITH SCORE 2056.627
AT ITER 878 NEW BEST:: SOT 6204 SOS 2624 HAS SOPS 2624 HAS SOUS 2051 HAS SOUPS 2051 WITH SCORE 2053.624
AT ITER 898 NEW BEST:: SOT 6189 SOS 2608 HAS SOPS 2608 HAS SOUS 2035 HAS SOUPS 2035 WITH SCORE 2037.608
AT ITER 918 NEW BEST:: SOT 6185 SOS 2604 HAS SOPS 2604 HAS SOUS 2031 HAS SOUPS 2031 WITH SCORE 2033.604
AT ITER 932 NEW BEST:: SOT 6150 SOS 2735 HAS SOPS 2735 HAS SOUS 2024 HAS SOUPS 2024 WITH SCORE 2026.735
AT ITER 938 NEW BEST:: SOT 6145 SOS 2725 HAS SOPS 2725 HAS SOUS 2019 HAS SOUPS 2019 WITH SCORE 2021.725
AT ITER 939 NEW BEST:: SOT 6132 SOS 2504 HAS SOPS 2504 HAS SOUS 1936 HAS SOUPS 1936 WITH SCORE 1938.504
AT ITER 942 NEW BEST:: SOT 6132 SOS 2501 HAS SOPS 2501 HAS SOUS 1933 HAS SOUPS 1933 WITH SCORE 1935.501
AT ITER 980 NEW BEST:: SOT 6148 SOS 2499 HAS SOPS 2499 HAS SOUS 1931 HAS SOUPS 1931 WITH SCORE 1933.499
AT ITER 983 NEW BEST:: SOT 6143 SOS 2479 HAS SOPS 2479 HAS SOUS 1907 HAS SOUPS 1907 WITH SCORE 1909.479
AT ITER 984 NEW BEST:: SOT 6137 SOS 2473 HAS SOPS 2473 HAS SOUS 1901 HAS SOUPS 1901 WITH SCORE 1903.473
AT ITER 989 NEW BEST:: SOT 6135 SOS 2471 HAS SOPS 2471 HAS SOUS 1899 HAS SOUPS 1899 WITH SCORE 1901.471
AT ITER 994 NEW BEST:: SOT 6140 SOS 2466 HAS SOPS 2466 HAS SOUS 1894 HAS SOUPS 1894 WITH SCORE 1896.466
AT ITER 1000 NEW BEST:: SOT 6137 SOS 2465 HAS SOPS 2465 HAS SOUS 1893 HAS SOUPS 1893 WITH SCORE 1895.465
AT ITER 1005 NEW BEST:: SOT 6077 SOS 2416 HAS SOPS 2416 HAS SOUS 1884 HAS SOUPS 1884 WITH SCORE 1886.416
AT ITER 1006 NEW BEST:: SOT 6084 SOS 2417 HAS SOPS 2417 HAS SOUS 1882 HAS SOUPS 1882 WITH SCORE 1884.417
AT ITER 1010 NEW BEST:: SOT 6081 SOS 2414 HAS SOPS 2414 HAS SOUS 1865 HAS SOUPS 1865 WITH SCORE 1867.414
AT ITER 1017 NEW BEST:: SOT 6080 SOS 2413 HAS SOPS 2413 HAS SOUS 1864 HAS SOUPS 1864 WITH SCORE 1866.413
AT ITER 1028 NEW BEST:: SOT 6084 SOS 2374 HAS SOPS 2374 HAS SOUS 1847 HAS SOUPS 1847 WITH SCORE 1849.374
AT ITER 1033 NEW BEST:: SOT 6075 SOS 2356 HAS SOPS 2356 HAS SOUS 1829 HAS SOUPS 1829 WITH SCORE 1831.356
AT ITER 1048 NEW BEST:: SOT 6074 SOS 2353 HAS SOPS 2353 HAS SOUS 1828 HAS SOUPS 1828 WITH SCORE 1830.353
AT ITER 1073 NEW BEST:: SOT 6067 SOS 2334 HAS SOPS 2334 HAS SOUS 1809 HAS SOUPS 1809 WITH SCORE 1811.334
AT ITER 1090 NEW BEST:: SOT 6025 SOS 2292 HAS SOPS 2292 HAS SOUS 1803 HAS SOUPS 1803 WITH SCORE 1805.292
AT ITER 1110 NEW BEST:: SOT 6033 SOS 2291 HAS SOPS 2291 HAS SOUS 1802 HAS SOUPS 1802 WITH SCORE 1804.291
AT ITER 1113 NEW BEST:: SOT 6033 SOS 2294 HAS SOPS 2294 HAS SOUS 1800 HAS SOUPS 1800 WITH SCORE 1802.294
AT ITER 1114 NEW BEST:: SOT 6035 SOS 2260 HAS SOPS 2260 HAS SOUS 1776 HAS SOUPS 1776 WITH SCORE 1778.26
AT ITER 1119 NEW BEST:: SOT 6034 SOS 2259 HAS SOPS 2259 HAS SOUS 1775 HAS SOUPS 1775 WITH SCORE 1777.259
AT ITER 1131 NEW BEST:: SOT 6031 SOS 2250 HAS SOPS 2250 HAS SOUS 1766 HAS SOUPS 1766 WITH SCORE 1768.25
AT ITER 1142 NEW BEST:: SOT 6031 SOS 2249 HAS SOPS 2249 HAS SOUS 1765 HAS SOUPS 1765 WITH SCORE 1767.249
AT ITER 1145 NEW BEST:: SOT 6031 SOS 2239 HAS SOPS 2239 HAS SOUS 1755 HAS SOUPS 1755 WITH SCORE 1757.239
AT ITER 1171 NEW BEST:: SOT 6033 SOS 2244 HAS SOPS 2244 HAS SOUS 1753 HAS SOUPS 1753 WITH SCORE 1755.244
AT ITER 1178 NEW BEST:: SOT 6022 SOS 2233 HAS SOPS 2233 HAS SOUS 1748 HAS SOUPS 1748 WITH SCORE 1750.233
AT ITER 1187 NEW BEST:: SOT 6018 SOS 2230 HAS SOPS 2230 HAS SOUS 1744 HAS SOUPS 1744 WITH SCORE 1746.23
AT ITER 1203 NEW BEST:: SOT 6024 SOS 2223 HAS SOPS 2223 HAS SOUS 1743 HAS SOUPS 1743 WITH SCORE 1745.223
AT ITER 1204 NEW BEST:: SOT 6016 SOS 2215 HAS SOPS 2215 HAS SOUS 1735 HAS SOUPS 1735 WITH SCORE 1737.215
AT ITER 1215 NEW BEST:: SOT 6011 SOS 2213 HAS SOPS 2213 HAS SOUS 1733 HAS SOUPS 1733 WITH SCORE 1735.213
AT ITER 1232 NEW BEST:: SOT 6009 SOS 2209 HAS SOPS 2209 HAS SOUS 1732 HAS SOUPS 1732 WITH SCORE 1734.209
AT ITER 1253 NEW BEST:: SOT 6009 SOS 2201 HAS SOPS 2201 HAS SOUS 1732 HAS SOUPS 1732 WITH SCORE 1734.201
AT ITER 1266 NEW BEST:: SOT 6004 SOS 2196 HAS SOPS 2196 HAS SOUS 1717 HAS SOUPS 1717 WITH SCORE 1719.196
AT ITER 1281 NEW BEST:: SOT 5998 SOS 2181 HAS SOPS 2181 HAS SOUS 1708 HAS SOUPS 1708 WITH SCORE 1710.181
AT ITER 1310 NEW BEST:: SOT 5988 SOS 2171 HAS SOPS 2171 HAS SOUS 1698 HAS SOUPS 1698 WITH SCORE 1700.171
AT ITER 1321 NEW BEST:: SOT 5989 SOS 2170 HAS SOPS 2170 HAS SOUS 1697 HAS SOUPS 1697 WITH SCORE 1699.17
AT ITER 1338 NEW BEST:: SOT 5989 SOS 2164 HAS SOPS 2164 HAS SOUS 1691 HAS SOUPS 1691 WITH SCORE 1693.164
AT ITER 1357 NEW BEST:: SOT 5985 SOS 2160 HAS SOPS 2160 HAS SOUS 1687 HAS SOUPS 1687 WITH SCORE 1689.16
AT ITER 1362 NEW BEST:: SOT 5985 SOS 2155 HAS SOPS 2155 HAS SOUS 1682 HAS SOUPS 1682 WITH SCORE 1684.155
AT ITER 1371 NEW BEST:: SOT 5985 SOS 2154 HAS SOPS 2154 HAS SOUS 1673 HAS SOUPS 1673 WITH SCORE 1675.154
AT ITER 1399 NEW BEST:: SOT 5984 SOS 2151 HAS SOPS 2151 HAS SOUS 1655 HAS SOUPS 1655 WITH SCORE 1657.151
AT ITER 1401 NEW BEST:: SOT 5979 SOS 2138 HAS SOPS 2138 HAS SOUS 1642 HAS SOUPS 1642 WITH SCORE 1644.138
AT ITER 1450 NEW BEST:: SOT 5981 SOS 2145 HAS SOPS 2145 HAS SOUS 1641 HAS SOUPS 1641 WITH SCORE 1643.145
AT ITER 1469 NEW BEST:: SOT 5979 SOS 2143 HAS SOPS 2143 HAS SOUS 1640 HAS SOUPS 1640 WITH SCORE 1642.143
AT ITER 1576 NEW BEST:: SOT 5975 SOS 2139 HAS SOPS 2139 HAS SOUS 1638 HAS SOUPS 1638 WITH SCORE 1640.139
AT ITER 1619 NEW BEST:: SOT 5963 SOS 2120 HAS SOPS 2120 HAS SOUS 1630 HAS SOUPS 1630 WITH SCORE 1632.12
AT ITER 1667 NEW BEST:: SOT 5956 SOS 2113 HAS SOPS 2113 HAS SOUS 1628 HAS SOUPS 1628 WITH SCORE 1630.113
AT ITER 1701 NEW BEST:: SOT 5956 SOS 2111 HAS SOPS 2111 HAS SOUS 1626 HAS SOUPS 1626 WITH SCORE 1628.111
AT ITER 1832 NEW BEST:: SOT 5952 SOS 2107 HAS SOPS 2107 HAS SOUS 1622 HAS SOUPS 1622 WITH SCORE 1624.107
AT ITER 1834 NEW BEST:: SOT 5951 SOS 2106 HAS SOPS 2106 HAS SOUS 1621 HAS SOUPS 1621 WITH SCORE 1623.106
AT ITER 1844 NEW BEST:: SOT 5947 SOS 2098 HAS SOPS 2098 HAS SOUS 1613 HAS SOUPS 1613 WITH SCORE 1615.098
AT ITER 1855 NEW BEST:: SOT 5947 SOS 2096 HAS SOPS 2096 HAS SOUS 1612 HAS SOUPS 1612 WITH SCORE 1614.096
AT ITER 1908 NEW BEST:: SOT 5945 SOS 2084 HAS SOPS 2084 HAS SOUS 1611 HAS SOUPS 1611 WITH SCORE 1613.084
AT ITER 1916 NEW BEST:: SOT 5945 SOS 2074 HAS SOPS 2074 HAS SOUS 1611 HAS SOUPS 1611 WITH SCORE 1613.074
AT ITER 1936 NEW BEST:: SOT 5943 SOS 2062 HAS SOPS 2062 HAS SOUS 1607 HAS SOUPS 1607 WITH SCORE 1609.062
AT ITER 1970 NEW BEST:: SOT 5927 SOS 2066 HAS SOPS 2066 HAS SOUS 1604 HAS SOUPS 1604 WITH SCORE 1606.066
AT ITER 1971 NEW BEST:: SOT 5918 SOS 2057 HAS SOPS 2057 HAS SOUS 1595 HAS SOUPS 1595 WITH SCORE 1597.057
AT ITER 2072 NEW BEST:: SOT 5917 SOS 2056 HAS SOPS 2056 HAS SOUS 1594 HAS SOUPS 1594 WITH SCORE 1596.056
AT ITER 2086 NEW BEST:: SOT 5917 SOS 2054 HAS SOPS 2054 HAS SOUS 1592 HAS SOUPS 1592 WITH SCORE 1594.054
AT ITER 2107 NEW BEST:: SOT 5915 SOS 2052 HAS SOPS 2052 HAS SOUS 1588 HAS SOUPS 1588 WITH SCORE 1590.052
AT ITER 2113 NEW BEST:: SOT 5911 SOS 2044 HAS SOPS 2044 HAS SOUS 1580 HAS SOUPS 1580 WITH SCORE 1582.044
AT ITER 2144 NEW BEST:: SOT 5911 SOS 2024 HAS SOPS 2024 HAS SOUS 1577 HAS SOUPS 1577 WITH SCORE 1579.024
AT ITER 2167 NEW BEST:: SOT 5907 SOS 2018 HAS SOPS 2018 HAS SOUS 1572 HAS SOUPS 1572 WITH SCORE 1574.018
AT ITER 2188 NEW BEST:: SOT 5905 SOS 2014 HAS SOPS 2014 HAS SOUS 1570 HAS SOUPS 1570 WITH SCORE 1572.014
AT ITER 2225 NEW BEST:: SOT 5899 SOS 2007 HAS SOPS 2007 HAS SOUS 1569 HAS SOUPS 1569 WITH SCORE 1571.007
AT ITER 2226 NEW BEST:: SOT 5898 SOS 2006 HAS SOPS 2006 HAS SOUS 1568 HAS SOUPS 1568 WITH SCORE 1570.006
AT ITER 2228 NEW BEST:: SOT 5896 SOS 1995 HAS SOPS 1995 HAS SOUS 1564 HAS SOUPS 1564 WITH SCORE 1565.995
AT ITER 2284 NEW BEST:: SOT 5896 SOS 1997 HAS SOPS 1997 HAS SOUS 1563 HAS SOUPS 1563 WITH SCORE 1564.997
AT ITER 2329 NEW BEST:: SOT 5892 SOS 2003 HAS SOPS 2003 HAS SOUS 1561 HAS SOUPS 1561 WITH SCORE 1563.003
AT ITER 2350 NEW BEST:: SOT 5891 SOS 2001 HAS SOPS 2001 HAS SOUS 1559 HAS SOUPS 1559 WITH SCORE 1561.001
AT ITER 2365 NEW BEST:: SOT 5892 SOS 1996 HAS SOPS 1996 HAS SOUS 1554 HAS SOUPS 1554 WITH SCORE 1555.996
AT ITER 2406 NEW BEST:: SOT 5891 SOS 1989 HAS SOPS 1989 HAS SOUS 1547 HAS SOUPS 1547 WITH SCORE 1548.989
AT ITER 2438 NEW BEST:: SOT 5884 SOS 1978 HAS SOPS 1978 HAS SOUS 1536 HAS SOUPS 1536 WITH SCORE 1537.978
AT ITER 2487 NEW BEST:: SOT 5880 SOS 1974 HAS SOPS 1974 HAS SOUS 1532 HAS SOUPS 1532 WITH SCORE 1533.974
AT ITER 2529 NEW BEST:: SOT 5884 SOS 1973 HAS SOPS 1973 HAS SOUS 1531 HAS SOUPS 1531 WITH SCORE 1532.973
AT ITER 2552 NEW BEST:: SOT 5884 SOS 1966 HAS SOPS 1966 HAS SOUS 1524 HAS SOUPS 1524 WITH SCORE 1525.966
AT ITER 2565 NEW BEST:: SOT 5884 SOS 1966 HAS SOPS 1966 HAS SOUS 1521 HAS SOUPS 1521 WITH SCORE 1522.966
AT ITER 2645 NEW BEST:: SOT 5883 SOS 1963 HAS SOPS 1963 HAS SOUS 1519 HAS SOUPS 1519 WITH SCORE 1520.963
AT ITER 2683 NEW BEST:: SOT 5881 SOS 1959 HAS SOPS 1959 HAS SOUS 1515 HAS SOUPS 1515 WITH SCORE 1516.959
AT ITER 2703 NEW BEST:: SOT 5878 SOS 1955 HAS SOPS 1955 HAS SOUS 1510 HAS SOUPS 1510 WITH SCORE 1511.955
AT ITER 2789 NEW BEST:: SOT 5854 SOS 1930 HAS SOPS 1930 HAS SOUS 1496 HAS SOUPS 1496 WITH SCORE 1497.93
AT ITER 2808 NEW BEST:: SOT 5849 SOS 1925 HAS SOPS 1925 HAS SOUS 1491 HAS SOUPS 1491 WITH SCORE 1492.925
AT ITER 2810 NEW BEST:: SOT 5846 SOS 1922 HAS SOPS 1922 HAS SOUS 1488 HAS SOUPS 1488 WITH SCORE 1489.922
AT ITER 2845 NEW BEST:: SOT 5845 SOS 1921 HAS SOPS 1921 HAS SOUS 1487 HAS SOUPS 1487 WITH SCORE 1488.921
AT ITER 2878 NEW BEST:: SOT 5840 SOS 1916 HAS SOPS 1916 HAS SOUS 1486 HAS SOUPS 1486 WITH SCORE 1487.916
AT ITER 2948 NEW BEST:: SOT 5839 SOS 1915 HAS SOPS 1915 HAS SOUS 1485 HAS SOUPS 1485 WITH SCORE 1486.915
AT ITER 3075 NEW BEST:: SOT 5839 SOS 1913 HAS SOPS 1913 HAS SOUS 1483 HAS SOUPS 1483 WITH SCORE 1484.913
AT ITER 3096 NEW BEST:: SOT 5829 SOS 1899 HAS SOPS 1899 HAS SOUS 1469 HAS SOUPS 1469 WITH SCORE 1470.899
AT ITER 3119 NEW BEST:: SOT 5815 SOS 1884 HAS SOPS 1884 HAS SOUS 1454 HAS SOUPS 1454 WITH SCORE 1455.884
AT ITER 3151 NEW BEST:: SOT 5822 SOS 1874 HAS SOPS 1874 HAS SOUS 1453 HAS SOUPS 1453 WITH SCORE 1454.874
AT ITER 3198 NEW BEST:: SOT 5820 SOS 1872 HAS SOPS 1872 HAS SOUS 1452 HAS SOUPS 1452 WITH SCORE 1453.872
AT ITER 3200 NEW BEST:: SOT 5821 SOS 1873 HAS SOPS 1873 HAS SOUS 1451 HAS SOUPS 1451 WITH SCORE 1452.873
AT ITER 3208 NEW BEST:: SOT 5817 SOS 1868 HAS SOPS 1868 HAS SOUS 1446 HAS SOUPS 1446 WITH SCORE 1447.868
AT ITER 3210 NEW BEST:: SOT 5815 SOS 1865 HAS SOPS 1865 HAS SOUS 1443 HAS SOUPS 1443 WITH SCORE 1444.865
AT ITER 3224 NEW BEST:: SOT 5814 SOS 1864 HAS SOPS 1864 HAS SOUS 1442 HAS SOUPS 1442 WITH SCORE 1443.864
AT ITER 3399 NEW BEST:: SOT 5810 SOS 1859 HAS SOPS 1859 HAS SOUS 1437 HAS SOUPS 1437 WITH SCORE 1438.859
AT ITER 3554 NEW BEST:: SOT 5802 SOS 1851 HAS SOPS 1851 HAS SOUS 1429 HAS SOUPS 1429 WITH SCORE 1430.851
AT ITER 3681 NEW BEST:: SOT 5798 SOS 1845 HAS SOPS 1845 HAS SOUS 1425 HAS SOUPS 1425 WITH SCORE 1426.845
AT ITER 3699 NEW BEST:: SOT 5796 SOS 1843 HAS SOPS 1843 HAS SOUS 1423 HAS SOUPS 1423 WITH SCORE 1424.843
AT ITER 3872 NEW BEST:: SOT 5793 SOS 1838 HAS SOPS 1838 HAS SOUS 1416 HAS SOUPS 1416 WITH SCORE 1417.838
AT ITER 3877 NEW BEST:: SOT 5793 SOS 1837 HAS SOPS 1837 HAS SOUS 1416 HAS SOUPS 1416 WITH SCORE 1417.837
AT ITER 3987 NEW BEST:: SOT 5791 SOS 1835 HAS SOPS 1835 HAS SOUS 1414 HAS SOUPS 1414 WITH SCORE 1415.835
AT ITER 4299 NEW BEST:: SOT 5790 SOS 1833 HAS SOPS 1833 HAS SOUS 1412 HAS SOUPS 1412 WITH SCORE 1413.833
AT ITER 4368 NEW BEST:: SOT 5792 SOS 1831 HAS SOPS 1831 HAS SOUS 1412 HAS SOUPS 1412 WITH SCORE 1413.831
AT ITER 4441 NEW BEST:: SOT 5792 SOS 1831 HAS SOPS 1831 HAS SOUS 1409 HAS SOUPS 1409 WITH SCORE 1410.831
AT ITER 4452 NEW BEST:: SOT 5792 SOS 1827 HAS SOPS 1827 HAS SOUS 1407 HAS SOUPS 1407 WITH SCORE 1408.827
AT ITER 4484 NEW BEST:: SOT 5789 SOS 1824 HAS SOPS 1824 HAS SOUS 1404 HAS SOUPS 1404 WITH SCORE 1405.824
AT ITER 4528 NEW BEST:: SOT 5788 SOS 1823 HAS SOPS 1823 HAS SOUS 1403 HAS SOUPS 1403 WITH SCORE 1404.823
AT ITER 4655 NEW BEST:: SOT 5787 SOS 1807 HAS SOPS 1807 HAS SOUS 1399 HAS SOUPS 1399 WITH SCORE 1400.807
AT ITER 4685 NEW BEST:: SOT 5787 SOS 1807 HAS SOPS 1807 HAS SOUS 1398 HAS SOUPS 1398 WITH SCORE 1399.807
AT ITER 4725 NEW BEST:: SOT 5788 SOS 1806 HAS SOPS 1806 HAS SOUS 1395 HAS SOUPS 1395 WITH SCORE 1396.806
AT ITER 4727 NEW BEST:: SOT 5785 SOS 1805 HAS SOPS 1805 HAS SOUS 1391 HAS SOUPS 1391 WITH SCORE 1392.805
AT ITER 4800 NEW BEST:: SOT 5784 SOS 1804 HAS SOPS 1804 HAS SOUS 1390 HAS SOUPS 1390 WITH SCORE 1391.804
AT ITER 4817 NEW BEST:: SOT 5784 SOS 1804 HAS SOPS 1804 HAS SOUS 1387 HAS SOUPS 1387 WITH SCORE 1388.804
AT ITER 4835 NEW BEST:: SOT 5784 SOS 1802 HAS SOPS 1802 HAS SOUS 1386 HAS SOUPS 1386 WITH SCORE 1387.802
AT ITER 4848 NEW BEST:: SOT 5789 SOS 1839 HAS SOPS 1839 HAS SOUS 1382 HAS SOUPS 1382 WITH SCORE 1383.839
AT ITER 4924 NEW BEST:: SOT 5786 SOS 1838 HAS SOPS 1838 HAS SOUS 1381 HAS SOUPS 1381 WITH SCORE 1382.838
AT ITER 4939 NEW BEST:: SOT 5786 SOS 1838 HAS SOPS 1838 HAS SOUS 1377 HAS SOUPS 1377 WITH SCORE 1378.838
AT ITER 4973 NEW BEST:: SOT 5769 SOS 1825 HAS SOPS 1825 HAS SOUS 1373 HAS SOUPS 1373 WITH SCORE 1374.825
AT ITER 5009 NEW BEST:: SOT 5769 SOS 1824 HAS SOPS 1824 HAS SOUS 1372 HAS SOUPS 1372 WITH SCORE 1373.824
AT ITER 5166 NEW BEST:: SOT 5769 SOS 1821 HAS SOPS 1821 HAS SOUS 1371 HAS SOUPS 1371 WITH SCORE 1372.821
AT ITER 5247 NEW BEST:: SOT 5727 SOS 1801 HAS SOPS 1801 HAS SOUS 1370 HAS SOUPS 1370 WITH SCORE 1371.801
AT ITER 5310 NEW BEST:: SOT 5725 SOS 1799 HAS SOPS 1799 HAS SOUS 1368 HAS SOUPS 1368 WITH SCORE 1369.799
AT ITER 5326 NEW BEST:: SOT 5724 SOS 1797 HAS SOPS 1797 HAS SOUS 1366 HAS SOUPS 1366 WITH SCORE 1367.797
AT ITER 5333 NEW BEST:: SOT 5718 SOS 1789 HAS SOPS 1789 HAS SOUS 1360 HAS SOUPS 1360 WITH SCORE 1361.789
AT ITER 5334 NEW BEST:: SOT 5713 SOS 1769 HAS SOPS 1769 HAS SOUS 1350 HAS SOUPS 1350 WITH SCORE 1351.769
AT ITER 5394 NEW BEST:: SOT 5713 SOS 1768 HAS SOPS 1768 HAS SOUS 1349 HAS SOUPS 1349 WITH SCORE 1350.768
AT ITER 5407 NEW BEST:: SOT 5663 SOS 1718 HAS SOPS 1718 HAS SOUS 1349 HAS SOUPS 1349 WITH SCORE 1350.718
AT ITER 5446 NEW BEST:: SOT 5664 SOS 1715 HAS SOPS 1715 HAS SOUS 1348 HAS SOUPS 1348 WITH SCORE 1349.715
AT ITER 5468 NEW BEST:: SOT 5662 SOS 1713 HAS SOPS 1713 HAS SOUS 1346 HAS SOUPS 1346 WITH SCORE 1347.713
AT ITER 5483 NEW BEST:: SOT 5662 SOS 1705 HAS SOPS 1705 HAS SOUS 1342 HAS SOUPS 1342 WITH SCORE 1343.705
AT ITER 5504 NEW BEST:: SOT 5659 SOS 1696 HAS SOPS 1696 HAS SOUS 1335 HAS SOUPS 1335 WITH SCORE 1336.696
AT ITER 5615 NEW BEST:: SOT 5659 SOS 1695 HAS SOPS 1695 HAS SOUS 1334 HAS SOUPS 1334 WITH SCORE 1335.695
AT ITER 5632 NEW BEST:: SOT 5692 SOS 1728 HAS SOPS 1728 HAS SOUS 1333 HAS SOUPS 1333 WITH SCORE 1334.728
AT ITER 5665 NEW BEST:: SOT 5691 SOS 1727 HAS SOPS 1727 HAS SOUS 1331 HAS SOUPS 1331 WITH SCORE 1332.727
AT ITER 5833 NEW BEST:: SOT 5690 SOS 1726 HAS SOPS 1726 HAS SOUS 1330 HAS SOUPS 1330 WITH SCORE 1331.726
AT ITER 5856 NEW BEST:: SOT 5688 SOS 1721 HAS SOPS 1721 HAS SOUS 1325 HAS SOUPS 1325 WITH SCORE 1326.721
AT ITER 6116 NEW BEST:: SOT 5686 SOS 1719 HAS SOPS 1719 HAS SOUS 1324 HAS SOUPS 1324 WITH SCORE 1325.719
AT ITER 6225 NEW BEST:: SOT 5685 SOS 1718 HAS SOPS 1718 HAS SOUS 1323 HAS SOUPS 1323 WITH SCORE 1324.718
AT ITER 6306 NEW BEST:: SOT 5685 SOS 1715 HAS SOPS 1715 HAS SOUS 1320 HAS SOUPS 1320 WITH SCORE 1321.715
AT ITER 6345 NEW BEST:: SOT 5682 SOS 1712 HAS SOPS 1712 HAS SOUS 1317 HAS SOUPS 1317 WITH SCORE 1318.712
AT ITER 6724 NEW BEST:: SOT 5681 SOS 1711 HAS SOPS 1711 HAS SOUS 1316 HAS SOUPS 1316 WITH SCORE 1317.711
AT ITER 6964 NEW BEST:: SOT 5680 SOS 1704 HAS SOPS 1704 HAS SOUS 1309 HAS SOUPS 1309 WITH SCORE 1310.704
AT ITER 7043 NEW BEST:: SOT 5678 SOS 1701 HAS SOPS 1701 HAS SOUS 1306 HAS SOUPS 1306 WITH SCORE 1307.701
AT ITER 7088 NEW BEST:: SOT 5677 SOS 1700 HAS SOPS 1700 HAS SOUS 1305 HAS SOUPS 1305 WITH SCORE 1306.7
AT ITER 7205 NEW BEST:: SOT 5677 SOS 1685 HAS SOPS 1685 HAS SOUS 1296 HAS SOUPS 1296 WITH SCORE 1297.685
AT ITER 7209 NEW BEST:: SOT 5676 SOS 1682 HAS SOPS 1682 HAS SOUS 1294 HAS SOUPS 1294 WITH SCORE 1295.682
AT ITER 7262 NEW BEST:: SOT 5673 SOS 1678 HAS SOPS 1678 HAS SOUS 1290 HAS SOUPS 1290 WITH SCORE 1291.678
AT ITER 7394 NEW BEST:: SOT 5668 SOS 1676 HAS SOPS 1676 HAS SOUS 1290 HAS SOUPS 1290 WITH SCORE 1291.676
AT ITER 7448 NEW BEST:: SOT 5668 SOS 1675 HAS SOPS 1675 HAS SOUS 1289 HAS SOUPS 1289 WITH SCORE 1290.675
AT ITER 7453 NEW BEST:: SOT 5668 SOS 1674 HAS SOPS 1674 HAS SOUS 1289 HAS SOUPS 1289 WITH SCORE 1290.674
AT ITER 7613 NEW BEST:: SOT 5665 SOS 1671 HAS SOPS 1671 HAS SOUS 1288 HAS SOUPS 1288 WITH SCORE 1289.671
AT ITER 7814 NEW BEST:: SOT 5666 SOS 1667 HAS SOPS 1667 HAS SOUS 1284 HAS SOUPS 1284 WITH SCORE 1285.667
AT ITER 8054 NEW BEST:: SOT 5665 SOS 1665 HAS SOPS 1665 HAS SOUS 1282 HAS SOUPS 1282 WITH SCORE 1283.665
AT ITER 8135 NEW BEST:: SOT 5673 SOS 1668 HAS SOPS 1668 HAS SOUS 1281 HAS SOUPS 1281 WITH SCORE 1282.668
AT ITER 8180 NEW BEST:: SOT 5672 SOS 1666 HAS SOPS 1666 HAS SOUS 1279 HAS SOUPS 1279 WITH SCORE 1280.666
AT ITER 8196 NEW BEST:: SOT 5672 SOS 1665 HAS SOPS 1665 HAS SOUS 1278 HAS SOUPS 1278 WITH SCORE 1279.665
AT ITER 8250 NEW BEST:: SOT 5671 SOS 1662 HAS SOPS 1662 HAS SOUS 1274 HAS SOUPS 1274 WITH SCORE 1275.662
AT ITER 8848 NEW BEST:: SOT 5670 SOS 1661 HAS SOPS 1661 HAS SOUS 1273 HAS SOUPS 1273 WITH SCORE 1274.661
AT ITER 8906 NEW BEST:: SOT 5670 SOS 1660 HAS SOPS 1660 HAS SOUS 1272 HAS SOUPS 1272 WITH SCORE 1273.66
AT ITER 8984 NEW BEST:: SOT 5669 SOS 1658 HAS SOPS 1658 HAS SOUS 1270 HAS SOUPS 1270 WITH SCORE 1271.658
AT ITER 9246 NEW BEST:: SOT 5668 SOS 1656 HAS SOPS 1656 HAS SOUS 1268 HAS SOUPS 1268 WITH SCORE 1269.656
AT ITER 9481 NEW BEST:: SOT 5666 SOS 1654 HAS SOPS 1654 HAS SOUS 1266 HAS SOUPS 1266 WITH SCORE 1267.654
AT ITER 9776 NEW BEST:: SOT 5665 SOS 1653 HAS SOPS 1653 HAS SOUS 1265 HAS SOUPS 1265 WITH SCORE 1266.653
AT ITER 9788 NEW BEST:: SOT 5664 SOS 1651 HAS SOPS 1651 HAS SOUS 1263 HAS SOUPS 1263 WITH SCORE 1264.651
AT ITER 9883 NEW BEST:: SOT 5660 SOS 1645 HAS SOPS 1645 HAS SOUS 1257 HAS SOUPS 1257 WITH SCORE 1258.645
AT ITER 9943 NEW BEST:: SOT 5660 SOS 1643 HAS SOPS 1643 HAS SOUS 1256 HAS SOUPS 1256 WITH SCORE 1257.643
AT ITER 9951 NEW BEST:: SOT 5660 SOS 1642 HAS SOPS 1642 HAS SOUS 1255 HAS SOUPS 1255 WITH SCORE 1256.642
AT ITER 9952 NEW BEST:: SOT 5661 SOS 1640 HAS SOPS 1640 HAS SOUS 1254 HAS SOUPS 1254 WITH SCORE 1255.64
STATE_SPACE STATES 4953223116 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 51 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 59186435125 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678367357727

--------------------
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//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
+ 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="DES-PT-02a"
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 DES-PT-02a, 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 r107-tall-167814484100384"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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