Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 552K
-rw-r--r-- 1 mcc users 7.1K Feb 25 20:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 75K Feb 25 20:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Feb 25 20:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 63K Feb 25 20:48 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:59 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:59 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:59 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:59 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 25 20:49 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 167K Feb 25 20:49 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.4K Feb 25 20:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 75K Feb 25 20:49 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:59 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:59 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 37K Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679573160698

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ShieldPPPt-PT-002B
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-23 12:06:03] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-23 12:06:03] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-23 12:06:03] [INFO ] Load time of PNML (sax parser for PT used): 43 ms
[2023-03-23 12:06:03] [INFO ] Transformed 159 places.
[2023-03-23 12:06:03] [INFO ] Transformed 145 transitions.
[2023-03-23 12:06:03] [INFO ] Found NUPN structural information;
[2023-03-23 12:06:03] [INFO ] Parsed PT model containing 159 places and 145 transitions and 362 arcs in 112 ms.
[2023-03-23 12:06:03] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 159 places, 145 transitions and 362 arcs took 4 ms.
Total runtime 161 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPt (PT), instance 002B
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: 159 places, 145 transitions, 362 arcs.
AT ITER 0 NEW BEST:: SOT 12637 SOS 3650 HAS SOPS 3650 HAS SOUS 3378 HAS SOUPS 3378 WITH SCORE 3381.65
AT ITER 2 NEW BEST:: SOT 12637 SOS 3649 HAS SOPS 3649 HAS SOUS 3377 HAS SOUPS 3377 WITH SCORE 3380.649
AT ITER 13 NEW BEST:: SOT 12616 SOS 3636 HAS SOPS 3636 HAS SOUS 3364 HAS SOUPS 3364 WITH SCORE 3367.636
AT ITER 34 NEW BEST:: SOT 12616 SOS 3626 HAS SOPS 3626 HAS SOUS 3359 HAS SOUPS 3359 WITH SCORE 3362.626
AT ITER 35 NEW BEST:: SOT 12616 SOS 3625 HAS SOPS 3625 HAS SOUS 3358 HAS SOUPS 3358 WITH SCORE 3361.625
AT ITER 41 NEW BEST:: SOT 12616 SOS 3618 HAS SOPS 3618 HAS SOUS 3351 HAS SOUPS 3351 WITH SCORE 3354.618
AT ITER 48 NEW BEST:: SOT 12611 SOS 3608 HAS SOPS 3608 HAS SOUS 3341 HAS SOUPS 3341 WITH SCORE 3344.608
AT ITER 55 NEW BEST:: SOT 12611 SOS 3604 HAS SOPS 3604 HAS SOUS 3337 HAS SOUPS 3337 WITH SCORE 3340.604
AT ITER 66 NEW BEST:: SOT 12611 SOS 3601 HAS SOPS 3601 HAS SOUS 3334 HAS SOUPS 3334 WITH SCORE 3337.601
AT ITER 71 NEW BEST:: SOT 12621 SOS 3621 HAS SOPS 3621 HAS SOUS 3328 HAS SOUPS 3328 WITH SCORE 3331.621
AT ITER 88 NEW BEST:: SOT 12621 SOS 3620 HAS SOPS 3620 HAS SOUS 3327 HAS SOUPS 3327 WITH SCORE 3330.62
AT ITER 95 NEW BEST:: SOT 12620 SOS 3597 HAS SOPS 3597 HAS SOUS 3315 HAS SOUPS 3315 WITH SCORE 3318.597
AT ITER 106 NEW BEST:: SOT 12614 SOS 3589 HAS SOPS 3589 HAS SOUS 3307 HAS SOUPS 3307 WITH SCORE 3310.589
AT ITER 124 NEW BEST:: SOT 12614 SOS 3588 HAS SOPS 3588 HAS SOUS 3306 HAS SOUPS 3306 WITH SCORE 3309.588
AT ITER 152 NEW BEST:: SOT 12611 SOS 3582 HAS SOPS 3582 HAS SOUS 3300 HAS SOUPS 3300 WITH SCORE 3303.582
AT ITER 155 NEW BEST:: SOT 12597 SOS 3573 HAS SOPS 3573 HAS SOUS 3291 HAS SOUPS 3291 WITH SCORE 3294.573
AT ITER 164 NEW BEST:: SOT 12597 SOS 3573 HAS SOPS 3573 HAS SOUS 3287 HAS SOUPS 3287 WITH SCORE 3290.573
AT ITER 187 NEW BEST:: SOT 12597 SOS 3569 HAS SOPS 3569 HAS SOUS 3287 HAS SOUPS 3287 WITH SCORE 3290.569
AT ITER 193 NEW BEST:: SOT 12597 SOS 3567 HAS SOPS 3567 HAS SOUS 3285 HAS SOUPS 3285 WITH SCORE 3288.567
AT ITER 252 NEW BEST:: SOT 12597 SOS 3575 HAS SOPS 3575 HAS SOUS 3277 HAS SOUPS 3277 WITH SCORE 3280.575
AT ITER 257 NEW BEST:: SOT 12592 SOS 3573 HAS SOPS 3573 HAS SOUS 3272 HAS SOUPS 3272 WITH SCORE 3275.573
AT ITER 260 NEW BEST:: SOT 12592 SOS 3570 HAS SOPS 3570 HAS SOUS 3268 HAS SOUPS 3268 WITH SCORE 3271.57
AT ITER 274 NEW BEST:: SOT 12559 SOS 3498 HAS SOPS 3498 HAS SOUS 3218 HAS SOUPS 3218 WITH SCORE 3221.498
AT ITER 282 NEW BEST:: SOT 12573 SOS 3468 HAS SOPS 3468 HAS SOUS 3188 HAS SOUPS 3188 WITH SCORE 3191.468
AT ITER 292 NEW BEST:: SOT 12572 SOS 3467 HAS SOPS 3467 HAS SOUS 3187 HAS SOUPS 3187 WITH SCORE 3190.467
AT ITER 307 NEW BEST:: SOT 12572 SOS 3460 HAS SOPS 3460 HAS SOUS 3180 HAS SOUPS 3180 WITH SCORE 3183.46
AT ITER 322 NEW BEST:: SOT 12558 SOS 3454 HAS SOPS 3454 HAS SOUS 3144 HAS SOUPS 3144 WITH SCORE 3147.454
AT ITER 344 NEW BEST:: SOT 12548 SOS 3416 HAS SOPS 3416 HAS SOUS 3134 HAS SOUPS 3134 WITH SCORE 3137.416
AT ITER 374 NEW BEST:: SOT 12545 SOS 3407 HAS SOPS 3407 HAS SOUS 3128 HAS SOUPS 3128 WITH SCORE 3131.407
AT ITER 389 NEW BEST:: SOT 12545 SOS 3402 HAS SOPS 3402 HAS SOUS 3123 HAS SOUPS 3123 WITH SCORE 3126.402
AT ITER 396 NEW BEST:: SOT 12544 SOS 3400 HAS SOPS 3400 HAS SOUS 3120 HAS SOUPS 3120 WITH SCORE 3123.4
AT ITER 425 NEW BEST:: SOT 12530 SOS 3420 HAS SOPS 3420 HAS SOUS 3116 HAS SOUPS 3116 WITH SCORE 3119.42
AT ITER 446 NEW BEST:: SOT 12532 SOS 3419 HAS SOPS 3419 HAS SOUS 3113 HAS SOUPS 3113 WITH SCORE 3116.419
AT ITER 450 NEW BEST:: SOT 12530 SOS 3415 HAS SOPS 3415 HAS SOUS 3111 HAS SOUPS 3111 WITH SCORE 3114.415
AT ITER 458 NEW BEST:: SOT 12519 SOS 3405 HAS SOPS 3405 HAS SOUS 3109 HAS SOUPS 3109 WITH SCORE 3112.405
AT ITER 469 NEW BEST:: SOT 12498 SOS 3398 HAS SOPS 3398 HAS SOUS 3102 HAS SOUPS 3102 WITH SCORE 3105.398
AT ITER 479 NEW BEST:: SOT 12498 SOS 3398 HAS SOPS 3398 HAS SOUS 3101 HAS SOUPS 3101 WITH SCORE 3104.398
AT ITER 484 NEW BEST:: SOT 12494 SOS 3390 HAS SOPS 3390 HAS SOUS 3093 HAS SOUPS 3093 WITH SCORE 3096.39
AT ITER 498 NEW BEST:: SOT 12496 SOS 3346 HAS SOPS 3346 HAS SOUS 3091 HAS SOUPS 3091 WITH SCORE 3094.346
AT ITER 507 NEW BEST:: SOT 12486 SOS 3329 HAS SOPS 3329 HAS SOUS 3074 HAS SOUPS 3074 WITH SCORE 3077.329
AT ITER 509 NEW BEST:: SOT 12485 SOS 3324 HAS SOPS 3324 HAS SOUS 3071 HAS SOUPS 3071 WITH SCORE 3074.324
AT ITER 511 NEW BEST:: SOT 12485 SOS 3322 HAS SOPS 3322 HAS SOUS 3069 HAS SOUPS 3069 WITH SCORE 3072.322
AT ITER 513 NEW BEST:: SOT 12482 SOS 3315 HAS SOPS 3315 HAS SOUS 3066 HAS SOUPS 3066 WITH SCORE 3069.315
AT ITER 515 NEW BEST:: SOT 12482 SOS 3315 HAS SOPS 3315 HAS SOUS 3065 HAS SOUPS 3065 WITH SCORE 3068.315
AT ITER 518 NEW BEST:: SOT 12478 SOS 3307 HAS SOPS 3307 HAS SOUS 3057 HAS SOUPS 3057 WITH SCORE 3060.307
AT ITER 521 NEW BEST:: SOT 12478 SOS 3306 HAS SOPS 3306 HAS SOUS 3056 HAS SOUPS 3056 WITH SCORE 3059.306
AT ITER 537 NEW BEST:: SOT 12470 SOS 3297 HAS SOPS 3297 HAS SOUS 3025 HAS SOUPS 3025 WITH SCORE 3028.297
AT ITER 566 NEW BEST:: SOT 12470 SOS 3288 HAS SOPS 3288 HAS SOUS 3016 HAS SOUPS 3016 WITH SCORE 3019.288
AT ITER 569 NEW BEST:: SOT 12473 SOS 3283 HAS SOPS 3283 HAS SOUS 3011 HAS SOUPS 3011 WITH SCORE 3014.283
AT ITER 608 NEW BEST:: SOT 12462 SOS 3250 HAS SOPS 3250 HAS SOUS 2989 HAS SOUPS 2989 WITH SCORE 2992.25
AT ITER 614 NEW BEST:: SOT 12462 SOS 3246 HAS SOPS 3246 HAS SOUS 2985 HAS SOUPS 2985 WITH SCORE 2988.246
AT ITER 641 NEW BEST:: SOT 12460 SOS 3242 HAS SOPS 3242 HAS SOUS 2985 HAS SOUPS 2985 WITH SCORE 2988.242
AT ITER 659 NEW BEST:: SOT 12451 SOS 3209 HAS SOPS 3209 HAS SOUS 2962 HAS SOUPS 2962 WITH SCORE 2965.209
AT ITER 678 NEW BEST:: SOT 12450 SOS 3196 HAS SOPS 3196 HAS SOUS 2942 HAS SOUPS 2942 WITH SCORE 2945.196
AT ITER 682 NEW BEST:: SOT 12436 SOS 3160 HAS SOPS 3160 HAS SOUS 2928 HAS SOUPS 2928 WITH SCORE 2931.16
AT ITER 724 NEW BEST:: SOT 12435 SOS 3159 HAS SOPS 3159 HAS SOUS 2927 HAS SOUPS 2927 WITH SCORE 2930.159
AT ITER 728 NEW BEST:: SOT 12458 SOS 3157 HAS SOPS 3157 HAS SOUS 2925 HAS SOUPS 2925 WITH SCORE 2928.157
AT ITER 729 NEW BEST:: SOT 12458 SOS 3170 HAS SOPS 3170 HAS SOUS 2916 HAS SOUPS 2916 WITH SCORE 2919.17
AT ITER 745 NEW BEST:: SOT 12444 SOS 3182 HAS SOPS 3182 HAS SOUS 2898 HAS SOUPS 2898 WITH SCORE 2901.182
AT ITER 753 NEW BEST:: SOT 12452 SOS 3184 HAS SOPS 3184 HAS SOUS 2896 HAS SOUPS 2896 WITH SCORE 2899.184
AT ITER 754 NEW BEST:: SOT 12459 SOS 3179 HAS SOPS 3179 HAS SOUS 2893 HAS SOUPS 2893 WITH SCORE 2896.179
AT ITER 762 NEW BEST:: SOT 12459 SOS 3174 HAS SOPS 3174 HAS SOUS 2888 HAS SOUPS 2888 WITH SCORE 2891.174
AT ITER 769 NEW BEST:: SOT 12461 SOS 3136 HAS SOPS 3136 HAS SOUS 2885 HAS SOUPS 2885 WITH SCORE 2888.136
AT ITER 793 NEW BEST:: SOT 12468 SOS 3133 HAS SOPS 3133 HAS SOUS 2882 HAS SOUPS 2882 WITH SCORE 2885.133
AT ITER 815 NEW BEST:: SOT 12467 SOS 3100 HAS SOPS 3100 HAS SOUS 2867 HAS SOUPS 2867 WITH SCORE 2870.1
AT ITER 839 NEW BEST:: SOT 12468 SOS 3105 HAS SOPS 3105 HAS SOUS 2864 HAS SOUPS 2864 WITH SCORE 2867.105
AT ITER 851 NEW BEST:: SOT 12456 SOS 3088 HAS SOPS 3088 HAS SOUS 2847 HAS SOUPS 2847 WITH SCORE 2850.088
AT ITER 853 NEW BEST:: SOT 12444 SOS 3076 HAS SOPS 3076 HAS SOUS 2835 HAS SOUPS 2835 WITH SCORE 2838.076
AT ITER 857 NEW BEST:: SOT 12443 SOS 3071 HAS SOPS 3071 HAS SOUS 2830 HAS SOUPS 2830 WITH SCORE 2833.071
AT ITER 860 NEW BEST:: SOT 12442 SOS 3069 HAS SOPS 3069 HAS SOUS 2829 HAS SOUPS 2829 WITH SCORE 2832.069
AT ITER 862 NEW BEST:: SOT 12437 SOS 3059 HAS SOPS 3059 HAS SOUS 2819 HAS SOUPS 2819 WITH SCORE 2822.059
AT ITER 913 NEW BEST:: SOT 12425 SOS 3065 HAS SOPS 3065 HAS SOUS 2813 HAS SOUPS 2813 WITH SCORE 2816.065
AT ITER 937 NEW BEST:: SOT 12410 SOS 3056 HAS SOPS 3056 HAS SOUS 2802 HAS SOUPS 2802 WITH SCORE 2805.056
AT ITER 984 NEW BEST:: SOT 12413 SOS 3048 HAS SOPS 3048 HAS SOUS 2799 HAS SOUPS 2799 WITH SCORE 2802.048
AT ITER 993 NEW BEST:: SOT 12438 SOS 3042 HAS SOPS 3042 HAS SOUS 2791 HAS SOUPS 2791 WITH SCORE 2794.042
AT ITER 1017 NEW BEST:: SOT 12425 SOS 3078 HAS SOPS 3078 HAS SOUS 2789 HAS SOUPS 2789 WITH SCORE 2792.078
AT ITER 1041 NEW BEST:: SOT 12420 SOS 3073 HAS SOPS 3073 HAS SOUS 2784 HAS SOUPS 2784 WITH SCORE 2787.073
AT ITER 1083 NEW BEST:: SOT 12418 SOS 3069 HAS SOPS 3069 HAS SOUS 2780 HAS SOUPS 2780 WITH SCORE 2783.069
AT ITER 1120 NEW BEST:: SOT 12418 SOS 3064 HAS SOPS 3064 HAS SOUS 2775 HAS SOUPS 2775 WITH SCORE 2778.064
AT ITER 1124 NEW BEST:: SOT 12418 SOS 3058 HAS SOPS 3058 HAS SOUS 2774 HAS SOUPS 2774 WITH SCORE 2777.058
AT ITER 1161 NEW BEST:: SOT 12422 SOS 3053 HAS SOPS 3053 HAS SOUS 2773 HAS SOUPS 2773 WITH SCORE 2776.053
AT ITER 1210 NEW BEST:: SOT 12422 SOS 3043 HAS SOPS 3043 HAS SOUS 2766 HAS SOUPS 2766 WITH SCORE 2769.043
AT ITER 1221 NEW BEST:: SOT 12422 SOS 3046 HAS SOPS 3046 HAS SOUS 2765 HAS SOUPS 2765 WITH SCORE 2768.046
AT ITER 1244 NEW BEST:: SOT 12422 SOS 3026 HAS SOPS 3026 HAS SOUS 2763 HAS SOUPS 2763 WITH SCORE 2766.026
AT ITER 1265 NEW BEST:: SOT 12436 SOS 2996 HAS SOPS 2996 HAS SOUS 2746 HAS SOUPS 2746 WITH SCORE 2748.996
AT ITER 1266 NEW BEST:: SOT 12432 SOS 2988 HAS SOPS 2988 HAS SOUS 2738 HAS SOUPS 2738 WITH SCORE 2740.988
AT ITER 1275 NEW BEST:: SOT 12425 SOS 2982 HAS SOPS 2982 HAS SOUS 2732 HAS SOUPS 2732 WITH SCORE 2734.982
AT ITER 1283 NEW BEST:: SOT 12433 SOS 2974 HAS SOPS 2974 HAS SOUS 2712 HAS SOUPS 2712 WITH SCORE 2714.974
AT ITER 1328 NEW BEST:: SOT 12437 SOS 2973 HAS SOPS 2973 HAS SOUS 2711 HAS SOUPS 2711 WITH SCORE 2713.973
AT ITER 1331 NEW BEST:: SOT 12447 SOS 2942 HAS SOPS 2942 HAS SOUS 2707 HAS SOUPS 2707 WITH SCORE 2709.942
AT ITER 1363 NEW BEST:: SOT 12443 SOS 2934 HAS SOPS 2934 HAS SOUS 2703 HAS SOUPS 2703 WITH SCORE 2705.934
AT ITER 1367 NEW BEST:: SOT 12454 SOS 2937 HAS SOPS 2937 HAS SOUS 2696 HAS SOUPS 2696 WITH SCORE 2698.937
AT ITER 1374 NEW BEST:: SOT 12447 SOS 2935 HAS SOPS 2935 HAS SOUS 2694 HAS SOUPS 2694 WITH SCORE 2696.935
AT ITER 1417 NEW BEST:: SOT 12439 SOS 2927 HAS SOPS 2927 HAS SOUS 2686 HAS SOUPS 2686 WITH SCORE 2688.927
AT ITER 1418 NEW BEST:: SOT 12450 SOS 2925 HAS SOPS 2925 HAS SOUS 2685 HAS SOUPS 2685 WITH SCORE 2687.925
AT ITER 1447 NEW BEST:: SOT 12438 SOS 2907 HAS SOPS 2907 HAS SOUS 2667 HAS SOUPS 2667 WITH SCORE 2669.907
AT ITER 1453 NEW BEST:: SOT 12438 SOS 2906 HAS SOPS 2906 HAS SOUS 2666 HAS SOUPS 2666 WITH SCORE 2668.906
AT ITER 1509 NEW BEST:: SOT 12433 SOS 2887 HAS SOPS 2887 HAS SOUS 2647 HAS SOUPS 2647 WITH SCORE 2649.887
AT ITER 1524 NEW BEST:: SOT 12429 SOS 2883 HAS SOPS 2883 HAS SOUS 2643 HAS SOUPS 2643 WITH SCORE 2645.883
AT ITER 1579 NEW BEST:: SOT 12410 SOS 2864 HAS SOPS 2864 HAS SOUS 2624 HAS SOUPS 2624 WITH SCORE 2626.864
AT ITER 1593 NEW BEST:: SOT 12389 SOS 2865 HAS SOPS 2865 HAS SOUS 2607 HAS SOUPS 2607 WITH SCORE 2609.865
AT ITER 1608 NEW BEST:: SOT 12387 SOS 2857 HAS SOPS 2857 HAS SOUS 2599 HAS SOUPS 2599 WITH SCORE 2601.857
AT ITER 1609 NEW BEST:: SOT 12396 SOS 2859 HAS SOPS 2859 HAS SOUS 2594 HAS SOUPS 2594 WITH SCORE 2596.859
AT ITER 1659 NEW BEST:: SOT 12393 SOS 2856 HAS SOPS 2856 HAS SOUS 2593 HAS SOUPS 2593 WITH SCORE 2595.856
AT ITER 1680 NEW BEST:: SOT 12388 SOS 2846 HAS SOPS 2846 HAS SOUS 2586 HAS SOUPS 2586 WITH SCORE 2588.846
AT ITER 1686 NEW BEST:: SOT 12385 SOS 2843 HAS SOPS 2843 HAS SOUS 2583 HAS SOUPS 2583 WITH SCORE 2585.843
AT ITER 1694 NEW BEST:: SOT 12387 SOS 2842 HAS SOPS 2842 HAS SOUS 2582 HAS SOUPS 2582 WITH SCORE 2584.842
AT ITER 1729 NEW BEST:: SOT 12393 SOS 2832 HAS SOPS 2832 HAS SOUS 2582 HAS SOUPS 2582 WITH SCORE 2584.832
AT ITER 1761 NEW BEST:: SOT 12388 SOS 2830 HAS SOPS 2830 HAS SOUS 2580 HAS SOUPS 2580 WITH SCORE 2582.83
AT ITER 1823 NEW BEST:: SOT 12385 SOS 2828 HAS SOPS 2828 HAS SOUS 2578 HAS SOUPS 2578 WITH SCORE 2580.828
AT ITER 1843 NEW BEST:: SOT 12385 SOS 2828 HAS SOPS 2828 HAS SOUS 2577 HAS SOUPS 2577 WITH SCORE 2579.828
AT ITER 1864 NEW BEST:: SOT 12388 SOS 2822 HAS SOPS 2822 HAS SOUS 2571 HAS SOUPS 2571 WITH SCORE 2573.822
AT ITER 1865 NEW BEST:: SOT 12387 SOS 2813 HAS SOPS 2813 HAS SOUS 2566 HAS SOUPS 2566 WITH SCORE 2568.813
AT ITER 1878 NEW BEST:: SOT 12385 SOS 2809 HAS SOPS 2809 HAS SOUS 2557 HAS SOUPS 2557 WITH SCORE 2559.809
AT ITER 1904 NEW BEST:: SOT 12408 SOS 2790 HAS SOPS 2790 HAS SOUS 2557 HAS SOUPS 2557 WITH SCORE 2559.79
AT ITER 1955 NEW BEST:: SOT 12391 SOS 2756 HAS SOPS 2756 HAS SOUS 2530 HAS SOUPS 2530 WITH SCORE 2532.756
AT ITER 1988 NEW BEST:: SOT 12391 SOS 2740 HAS SOPS 2740 HAS SOUS 2522 HAS SOUPS 2522 WITH SCORE 2524.74
AT ITER 2021 NEW BEST:: SOT 12393 SOS 2737 HAS SOPS 2737 HAS SOUS 2514 HAS SOUPS 2514 WITH SCORE 2516.737
AT ITER 2039 NEW BEST:: SOT 12391 SOS 2735 HAS SOPS 2735 HAS SOUS 2512 HAS SOUPS 2512 WITH SCORE 2514.735
AT ITER 2195 NEW BEST:: SOT 12391 SOS 2738 HAS SOPS 2738 HAS SOUS 2491 HAS SOUPS 2491 WITH SCORE 2493.738
AT ITER 2204 NEW BEST:: SOT 12386 SOS 2714 HAS SOPS 2714 HAS SOUS 2489 HAS SOUPS 2489 WITH SCORE 2491.714
AT ITER 2206 NEW BEST:: SOT 12384 SOS 2709 HAS SOPS 2709 HAS SOUS 2484 HAS SOUPS 2484 WITH SCORE 2486.709
AT ITER 2291 NEW BEST:: SOT 12380 SOS 2701 HAS SOPS 2701 HAS SOUS 2476 HAS SOUPS 2476 WITH SCORE 2478.701
AT ITER 2347 NEW BEST:: SOT 12379 SOS 2699 HAS SOPS 2699 HAS SOUS 2474 HAS SOUPS 2474 WITH SCORE 2476.699
AT ITER 2348 NEW BEST:: SOT 12374 SOS 2726 HAS SOPS 2726 HAS SOUS 2473 HAS SOUPS 2473 WITH SCORE 2475.726
AT ITER 2399 NEW BEST:: SOT 12373 SOS 2725 HAS SOPS 2725 HAS SOUS 2472 HAS SOUPS 2472 WITH SCORE 2474.725
AT ITER 2405 NEW BEST:: SOT 12373 SOS 2717 HAS SOPS 2717 HAS SOUS 2464 HAS SOUPS 2464 WITH SCORE 2466.717
AT ITER 2452 NEW BEST:: SOT 12373 SOS 2713 HAS SOPS 2713 HAS SOUS 2460 HAS SOUPS 2460 WITH SCORE 2462.713
AT ITER 2487 NEW BEST:: SOT 12369 SOS 2706 HAS SOPS 2706 HAS SOUS 2453 HAS SOUPS 2453 WITH SCORE 2455.706
AT ITER 2504 NEW BEST:: SOT 12351 SOS 2682 HAS SOPS 2682 HAS SOUS 2429 HAS SOUPS 2429 WITH SCORE 2431.682
AT ITER 2567 NEW BEST:: SOT 12352 SOS 2668 HAS SOPS 2668 HAS SOUS 2415 HAS SOUPS 2415 WITH SCORE 2417.668
AT ITER 2597 NEW BEST:: SOT 12351 SOS 2664 HAS SOPS 2664 HAS SOUS 2414 HAS SOUPS 2414 WITH SCORE 2416.664
AT ITER 2613 NEW BEST:: SOT 12351 SOS 2662 HAS SOPS 2662 HAS SOUS 2414 HAS SOUPS 2414 WITH SCORE 2416.662
AT ITER 2630 NEW BEST:: SOT 12349 SOS 2662 HAS SOPS 2662 HAS SOUS 2412 HAS SOUPS 2412 WITH SCORE 2414.662
AT ITER 2633 NEW BEST:: SOT 12341 SOS 2660 HAS SOPS 2660 HAS SOUS 2410 HAS SOUPS 2410 WITH SCORE 2412.66
AT ITER 2717 NEW BEST:: SOT 12318 SOS 2673 HAS SOPS 2673 HAS SOUS 2404 HAS SOUPS 2404 WITH SCORE 2406.673
AT ITER 2784 NEW BEST:: SOT 12314 SOS 2674 HAS SOPS 2674 HAS SOUS 2402 HAS SOUPS 2402 WITH SCORE 2404.674
AT ITER 2813 NEW BEST:: SOT 12312 SOS 2672 HAS SOPS 2672 HAS SOUS 2400 HAS SOUPS 2400 WITH SCORE 2402.672
AT ITER 2817 NEW BEST:: SOT 12309 SOS 2671 HAS SOPS 2671 HAS SOUS 2399 HAS SOUPS 2399 WITH SCORE 2401.671
AT ITER 2899 NEW BEST:: SOT 12309 SOS 2670 HAS SOPS 2670 HAS SOUS 2398 HAS SOUPS 2398 WITH SCORE 2400.67
AT ITER 2901 NEW BEST:: SOT 12308 SOS 2669 HAS SOPS 2669 HAS SOUS 2397 HAS SOUPS 2397 WITH SCORE 2399.669
AT ITER 2986 NEW BEST:: SOT 12308 SOS 2666 HAS SOPS 2666 HAS SOUS 2397 HAS SOUPS 2397 WITH SCORE 2399.666
AT ITER 3021 NEW BEST:: SOT 12308 SOS 2654 HAS SOPS 2654 HAS SOUS 2385 HAS SOUPS 2385 WITH SCORE 2387.654
AT ITER 3094 NEW BEST:: SOT 12302 SOS 2649 HAS SOPS 2649 HAS SOUS 2380 HAS SOUPS 2380 WITH SCORE 2382.649
AT ITER 3235 NEW BEST:: SOT 12289 SOS 2643 HAS SOPS 2643 HAS SOUS 2374 HAS SOUPS 2374 WITH SCORE 2376.643
AT ITER 3236 NEW BEST:: SOT 12289 SOS 2640 HAS SOPS 2640 HAS SOUS 2371 HAS SOUPS 2371 WITH SCORE 2373.64
AT ITER 3254 NEW BEST:: SOT 12286 SOS 2637 HAS SOPS 2637 HAS SOUS 2368 HAS SOUPS 2368 WITH SCORE 2370.637
AT ITER 3284 NEW BEST:: SOT 12284 SOS 2639 HAS SOPS 2639 HAS SOUS 2366 HAS SOUPS 2366 WITH SCORE 2368.639
AT ITER 3385 NEW BEST:: SOT 12281 SOS 2621 HAS SOPS 2621 HAS SOUS 2362 HAS SOUPS 2362 WITH SCORE 2364.621
AT ITER 3411 NEW BEST:: SOT 12282 SOS 2616 HAS SOPS 2616 HAS SOUS 2362 HAS SOUPS 2362 WITH SCORE 2364.616
AT ITER 3422 NEW BEST:: SOT 12280 SOS 2614 HAS SOPS 2614 HAS SOUS 2360 HAS SOUPS 2360 WITH SCORE 2362.614
AT ITER 3423 NEW BEST:: SOT 12278 SOS 2613 HAS SOPS 2613 HAS SOUS 2359 HAS SOUPS 2359 WITH SCORE 2361.613
AT ITER 3438 NEW BEST:: SOT 12265 SOS 2633 HAS SOPS 2633 HAS SOUS 2358 HAS SOUPS 2358 WITH SCORE 2360.633
AT ITER 3503 NEW BEST:: SOT 12262 SOS 2623 HAS SOPS 2623 HAS SOUS 2346 HAS SOUPS 2346 WITH SCORE 2348.623
AT ITER 3514 NEW BEST:: SOT 12262 SOS 2619 HAS SOPS 2619 HAS SOUS 2342 HAS SOUPS 2342 WITH SCORE 2344.619
AT ITER 3638 NEW BEST:: SOT 12260 SOS 2617 HAS SOPS 2617 HAS SOUS 2340 HAS SOUPS 2340 WITH SCORE 2342.617
AT ITER 3697 NEW BEST:: SOT 12260 SOS 2616 HAS SOPS 2616 HAS SOUS 2337 HAS SOUPS 2337 WITH SCORE 2339.616
AT ITER 3701 NEW BEST:: SOT 12259 SOS 2615 HAS SOPS 2615 HAS SOUS 2336 HAS SOUPS 2336 WITH SCORE 2338.615
AT ITER 3760 NEW BEST:: SOT 12263 SOS 2614 HAS SOPS 2614 HAS SOUS 2334 HAS SOUPS 2334 WITH SCORE 2336.614
AT ITER 3881 NEW BEST:: SOT 12260 SOS 2595 HAS SOPS 2595 HAS SOUS 2323 HAS SOUPS 2323 WITH SCORE 2325.595
AT ITER 3901 NEW BEST:: SOT 12263 SOS 2594 HAS SOPS 2594 HAS SOUS 2322 HAS SOUPS 2322 WITH SCORE 2324.594
AT ITER 3907 NEW BEST:: SOT 12263 SOS 2592 HAS SOPS 2592 HAS SOUS 2321 HAS SOUPS 2321 WITH SCORE 2323.592
AT ITER 3920 NEW BEST:: SOT 12263 SOS 2591 HAS SOPS 2591 HAS SOUS 2320 HAS SOUPS 2320 WITH SCORE 2322.591
AT ITER 3995 NEW BEST:: SOT 12263 SOS 2590 HAS SOPS 2590 HAS SOUS 2319 HAS SOUPS 2319 WITH SCORE 2321.59
AT ITER 4044 NEW BEST:: SOT 12263 SOS 2586 HAS SOPS 2586 HAS SOUS 2317 HAS SOUPS 2317 WITH SCORE 2319.586
AT ITER 4045 NEW BEST:: SOT 12263 SOS 2582 HAS SOPS 2582 HAS SOUS 2317 HAS SOUPS 2317 WITH SCORE 2319.582
AT ITER 4059 NEW BEST:: SOT 12267 SOS 2557 HAS SOPS 2557 HAS SOUS 2311 HAS SOUPS 2311 WITH SCORE 2313.557
AT ITER 4076 NEW BEST:: SOT 12262 SOS 2556 HAS SOPS 2556 HAS SOUS 2310 HAS SOUPS 2310 WITH SCORE 2312.556
AT ITER 4113 NEW BEST:: SOT 12262 SOS 2560 HAS SOPS 2560 HAS SOUS 2308 HAS SOUPS 2308 WITH SCORE 2310.56
AT ITER 4161 NEW BEST:: SOT 12256 SOS 2550 HAS SOPS 2550 HAS SOUS 2298 HAS SOUPS 2298 WITH SCORE 2300.55
AT ITER 4186 NEW BEST:: SOT 12256 SOS 2548 HAS SOPS 2548 HAS SOUS 2296 HAS SOUPS 2296 WITH SCORE 2298.548
AT ITER 4276 NEW BEST:: SOT 12255 SOS 2547 HAS SOPS 2547 HAS SOUS 2296 HAS SOUPS 2296 WITH SCORE 2298.547
AT ITER 4368 NEW BEST:: SOT 12240 SOS 2532 HAS SOPS 2532 HAS SOUS 2296 HAS SOUPS 2296 WITH SCORE 2298.532
AT ITER 4373 NEW BEST:: SOT 12240 SOS 2531 HAS SOPS 2531 HAS SOUS 2296 HAS SOUPS 2296 WITH SCORE 2298.531
AT ITER 4391 NEW BEST:: SOT 12239 SOS 2530 HAS SOPS 2530 HAS SOUS 2295 HAS SOUPS 2295 WITH SCORE 2297.53
AT ITER 4440 NEW BEST:: SOT 12239 SOS 2523 HAS SOPS 2523 HAS SOUS 2292 HAS SOUPS 2292 WITH SCORE 2294.523
AT ITER 4475 NEW BEST:: SOT 12238 SOS 2524 HAS SOPS 2524 HAS SOUS 2291 HAS SOUPS 2291 WITH SCORE 2293.524
AT ITER 4499 NEW BEST:: SOT 12237 SOS 2516 HAS SOPS 2516 HAS SOUS 2289 HAS SOUPS 2289 WITH SCORE 2291.516
AT ITER 4560 NEW BEST:: SOT 12237 SOS 2507 HAS SOPS 2507 HAS SOUS 2289 HAS SOUPS 2289 WITH SCORE 2291.507
AT ITER 4624 NEW BEST:: SOT 12237 SOS 2510 HAS SOPS 2510 HAS SOUS 2286 HAS SOUPS 2286 WITH SCORE 2288.51
AT ITER 4669 NEW BEST:: SOT 12252 SOS 2509 HAS SOPS 2509 HAS SOUS 2285 HAS SOUPS 2285 WITH SCORE 2287.509
AT ITER 4716 NEW BEST:: SOT 12251 SOS 2512 HAS SOPS 2512 HAS SOUS 2283 HAS SOUPS 2283 WITH SCORE 2285.512
AT ITER 4760 NEW BEST:: SOT 12252 SOS 2521 HAS SOPS 2521 HAS SOUS 2280 HAS SOUPS 2280 WITH SCORE 2282.521
AT ITER 4762 NEW BEST:: SOT 12252 SOS 2521 HAS SOPS 2521 HAS SOUS 2275 HAS SOUPS 2275 WITH SCORE 2277.521
AT ITER 4770 NEW BEST:: SOT 12250 SOS 2514 HAS SOPS 2514 HAS SOUS 2273 HAS SOUPS 2273 WITH SCORE 2275.514
AT ITER 4938 NEW BEST:: SOT 12250 SOS 2513 HAS SOPS 2513 HAS SOUS 2272 HAS SOUPS 2272 WITH SCORE 2274.513
AT ITER 4944 NEW BEST:: SOT 12251 SOS 2512 HAS SOPS 2512 HAS SOUS 2271 HAS SOUPS 2271 WITH SCORE 2273.512
AT ITER 4988 NEW BEST:: SOT 12255 SOS 2470 HAS SOPS 2470 HAS SOUS 2264 HAS SOUPS 2264 WITH SCORE 2266.47
AT ITER 5005 NEW BEST:: SOT 12254 SOS 2469 HAS SOPS 2469 HAS SOUS 2263 HAS SOUPS 2263 WITH SCORE 2265.469
AT ITER 5026 NEW BEST:: SOT 12242 SOS 2465 HAS SOPS 2465 HAS SOUS 2259 HAS SOUPS 2259 WITH SCORE 2261.465
AT ITER 5030 NEW BEST:: SOT 12239 SOS 2461 HAS SOPS 2461 HAS SOUS 2255 HAS SOUPS 2255 WITH SCORE 2257.461
AT ITER 5058 NEW BEST:: SOT 12239 SOS 2455 HAS SOPS 2455 HAS SOUS 2252 HAS SOUPS 2252 WITH SCORE 2254.455
AT ITER 5076 NEW BEST:: SOT 12237 SOS 2452 HAS SOPS 2452 HAS SOUS 2249 HAS SOUPS 2249 WITH SCORE 2251.452
AT ITER 5078 NEW BEST:: SOT 12235 SOS 2445 HAS SOPS 2445 HAS SOUS 2242 HAS SOUPS 2242 WITH SCORE 2244.445
AT ITER 5129 NEW BEST:: SOT 12231 SOS 2440 HAS SOPS 2440 HAS SOUS 2237 HAS SOUPS 2237 WITH SCORE 2239.44
AT ITER 5210 NEW BEST:: SOT 12231 SOS 2439 HAS SOPS 2439 HAS SOUS 2236 HAS SOUPS 2236 WITH SCORE 2238.439
AT ITER 5236 NEW BEST:: SOT 12231 SOS 2442 HAS SOPS 2442 HAS SOUS 2235 HAS SOUPS 2235 WITH SCORE 2237.442
AT ITER 5310 NEW BEST:: SOT 12227 SOS 2441 HAS SOPS 2441 HAS SOUS 2233 HAS SOUPS 2233 WITH SCORE 2235.441
AT ITER 5416 NEW BEST:: SOT 12232 SOS 2438 HAS SOPS 2438 HAS SOUS 2230 HAS SOUPS 2230 WITH SCORE 2232.438
AT ITER 5434 NEW BEST:: SOT 12228 SOS 2438 HAS SOPS 2438 HAS SOUS 2226 HAS SOUPS 2226 WITH SCORE 2228.438
AT ITER 5459 NEW BEST:: SOT 12212 SOS 2423 HAS SOPS 2423 HAS SOUS 2211 HAS SOUPS 2211 WITH SCORE 2213.423
AT ITER 5460 NEW BEST:: SOT 12211 SOS 2422 HAS SOPS 2422 HAS SOUS 2210 HAS SOUPS 2210 WITH SCORE 2212.422
AT ITER 5471 NEW BEST:: SOT 12207 SOS 2418 HAS SOPS 2418 HAS SOUS 2206 HAS SOUPS 2206 WITH SCORE 2208.418
AT ITER 5489 NEW BEST:: SOT 12207 SOS 2416 HAS SOPS 2416 HAS SOUS 2204 HAS SOUPS 2204 WITH SCORE 2206.416
AT ITER 5581 NEW BEST:: SOT 12201 SOS 2394 HAS SOPS 2394 HAS SOUS 2193 HAS SOUPS 2193 WITH SCORE 2195.394
AT ITER 5741 NEW BEST:: SOT 12201 SOS 2391 HAS SOPS 2391 HAS SOUS 2193 HAS SOUPS 2193 WITH SCORE 2195.391
AT ITER 5810 NEW BEST:: SOT 12201 SOS 2386 HAS SOPS 2386 HAS SOUS 2193 HAS SOUPS 2193 WITH SCORE 2195.386
AT ITER 5874 NEW BEST:: SOT 12201 SOS 2381 HAS SOPS 2381 HAS SOUS 2190 HAS SOUPS 2190 WITH SCORE 2192.381
AT ITER 5931 NEW BEST:: SOT 12195 SOS 2380 HAS SOPS 2380 HAS SOUS 2189 HAS SOUPS 2189 WITH SCORE 2191.38
AT ITER 5946 NEW BEST:: SOT 12195 SOS 2376 HAS SOPS 2376 HAS SOUS 2185 HAS SOUPS 2185 WITH SCORE 2187.376
AT ITER 5949 NEW BEST:: SOT 12194 SOS 2368 HAS SOPS 2368 HAS SOUS 2183 HAS SOUPS 2183 WITH SCORE 2185.368
AT ITER 6007 NEW BEST:: SOT 12180 SOS 2371 HAS SOPS 2371 HAS SOUS 2169 HAS SOUPS 2169 WITH SCORE 2171.371
AT ITER 6024 NEW BEST:: SOT 12180 SOS 2371 HAS SOPS 2371 HAS SOUS 2168 HAS SOUPS 2168 WITH SCORE 2170.371
AT ITER 6031 NEW BEST:: SOT 12176 SOS 2367 HAS SOPS 2367 HAS SOUS 2164 HAS SOUPS 2164 WITH SCORE 2166.367
AT ITER 6040 NEW BEST:: SOT 12174 SOS 2364 HAS SOPS 2364 HAS SOUS 2161 HAS SOUPS 2161 WITH SCORE 2163.364
AT ITER 6053 NEW BEST:: SOT 12178 SOS 2362 HAS SOPS 2362 HAS SOUS 2160 HAS SOUPS 2160 WITH SCORE 2162.362
AT ITER 6067 NEW BEST:: SOT 12178 SOS 2361 HAS SOPS 2361 HAS SOUS 2159 HAS SOUPS 2159 WITH SCORE 2161.361
AT ITER 6125 NEW BEST:: SOT 12178 SOS 2358 HAS SOPS 2358 HAS SOUS 2159 HAS SOUPS 2159 WITH SCORE 2161.358
AT ITER 6176 NEW BEST:: SOT 12177 SOS 2357 HAS SOPS 2357 HAS SOUS 2158 HAS SOUPS 2158 WITH SCORE 2160.357
AT ITER 6220 NEW BEST:: SOT 12177 SOS 2342 HAS SOPS 2342 HAS SOUS 2154 HAS SOUPS 2154 WITH SCORE 2156.342
AT ITER 6251 NEW BEST:: SOT 12175 SOS 2337 HAS SOPS 2337 HAS SOUS 2149 HAS SOUPS 2149 WITH SCORE 2151.337
AT ITER 6304 NEW BEST:: SOT 12174 SOS 2335 HAS SOPS 2335 HAS SOUS 2147 HAS SOUPS 2147 WITH SCORE 2149.335
AT ITER 6311 NEW BEST:: SOT 12173 SOS 2333 HAS SOPS 2333 HAS SOUS 2145 HAS SOUPS 2145 WITH SCORE 2147.333
AT ITER 6366 NEW BEST:: SOT 12175 SOS 2332 HAS SOPS 2332 HAS SOUS 2144 HAS SOUPS 2144 WITH SCORE 2146.332
AT ITER 6384 NEW BEST:: SOT 12175 SOS 2329 HAS SOPS 2329 HAS SOUS 2144 HAS SOUPS 2144 WITH SCORE 2146.329
AT ITER 6401 NEW BEST:: SOT 12173 SOS 2327 HAS SOPS 2327 HAS SOUS 2140 HAS SOUPS 2140 WITH SCORE 2142.327
AT ITER 6425 NEW BEST:: SOT 12173 SOS 2327 HAS SOPS 2327 HAS SOUS 2129 HAS SOUPS 2129 WITH SCORE 2131.327
AT ITER 6487 NEW BEST:: SOT 12170 SOS 2322 HAS SOPS 2322 HAS SOUS 2124 HAS SOUPS 2124 WITH SCORE 2126.322
AT ITER 6577 NEW BEST:: SOT 12169 SOS 2321 HAS SOPS 2321 HAS SOUS 2124 HAS SOUPS 2124 WITH SCORE 2126.321
AT ITER 6588 NEW BEST:: SOT 12167 SOS 2304 HAS SOPS 2304 HAS SOUS 2120 HAS SOUPS 2120 WITH SCORE 2122.304
AT ITER 6833 NEW BEST:: SOT 12167 SOS 2303 HAS SOPS 2303 HAS SOUS 2119 HAS SOUPS 2119 WITH SCORE 2121.303
AT ITER 6838 NEW BEST:: SOT 12167 SOS 2303 HAS SOPS 2303 HAS SOUS 2118 HAS SOUPS 2118 WITH SCORE 2120.303
AT ITER 6878 NEW BEST:: SOT 12166 SOS 2302 HAS SOPS 2302 HAS SOUS 2117 HAS SOUPS 2117 WITH SCORE 2119.302
AT ITER 6883 NEW BEST:: SOT 12164 SOS 2310 HAS SOPS 2310 HAS SOUS 2115 HAS SOUPS 2115 WITH SCORE 2117.31
AT ITER 6929 NEW BEST:: SOT 12163 SOS 2308 HAS SOPS 2308 HAS SOUS 2114 HAS SOUPS 2114 WITH SCORE 2116.308
AT ITER 7093 NEW BEST:: SOT 12164 SOS 2306 HAS SOPS 2306 HAS SOUS 2114 HAS SOUPS 2114 WITH SCORE 2116.306
AT ITER 7101 NEW BEST:: SOT 12161 SOS 2300 HAS SOPS 2300 HAS SOUS 2111 HAS SOUPS 2111 WITH SCORE 2113.3
AT ITER 7108 NEW BEST:: SOT 12159 SOS 2298 HAS SOPS 2298 HAS SOUS 2110 HAS SOUPS 2110 WITH SCORE 2112.298
AT ITER 7183 NEW BEST:: SOT 12159 SOS 2297 HAS SOPS 2297 HAS SOUS 2109 HAS SOUPS 2109 WITH SCORE 2111.297
AT ITER 7323 NEW BEST:: SOT 12159 SOS 2294 HAS SOPS 2294 HAS SOUS 2106 HAS SOUPS 2106 WITH SCORE 2108.294
AT ITER 7423 NEW BEST:: SOT 12160 SOS 2290 HAS SOPS 2290 HAS SOUS 2103 HAS SOUPS 2103 WITH SCORE 2105.29
AT ITER 7452 NEW BEST:: SOT 12160 SOS 2285 HAS SOPS 2285 HAS SOUS 2103 HAS SOUPS 2103 WITH SCORE 2105.285
AT ITER 7499 NEW BEST:: SOT 12160 SOS 2282 HAS SOPS 2282 HAS SOUS 2100 HAS SOUPS 2100 WITH SCORE 2102.282
AT ITER 7609 NEW BEST:: SOT 12158 SOS 2279 HAS SOPS 2279 HAS SOUS 2098 HAS SOUPS 2098 WITH SCORE 2100.279
AT ITER 7684 NEW BEST:: SOT 12156 SOS 2274 HAS SOPS 2274 HAS SOUS 2095 HAS SOUPS 2095 WITH SCORE 2097.274
AT ITER 7716 NEW BEST:: SOT 12155 SOS 2273 HAS SOPS 2273 HAS SOUS 2095 HAS SOUPS 2095 WITH SCORE 2097.273
AT ITER 7721 NEW BEST:: SOT 12150 SOS 2264 HAS SOPS 2264 HAS SOUS 2086 HAS SOUPS 2086 WITH SCORE 2088.264
AT ITER 7780 NEW BEST:: SOT 12150 SOS 2263 HAS SOPS 2263 HAS SOUS 2085 HAS SOUPS 2085 WITH SCORE 2087.263
AT ITER 7803 NEW BEST:: SOT 12147 SOS 2255 HAS SOPS 2255 HAS SOUS 2077 HAS SOUPS 2077 WITH SCORE 2079.255
AT ITER 7886 NEW BEST:: SOT 12146 SOS 2254 HAS SOPS 2254 HAS SOUS 2076 HAS SOUPS 2076 WITH SCORE 2078.254
AT ITER 7925 NEW BEST:: SOT 12147 SOS 2242 HAS SOPS 2242 HAS SOUS 2071 HAS SOUPS 2071 WITH SCORE 2073.242
AT ITER 7960 NEW BEST:: SOT 12144 SOS 2242 HAS SOPS 2242 HAS SOUS 2067 HAS SOUPS 2067 WITH SCORE 2069.242
AT ITER 8018 NEW BEST:: SOT 12143 SOS 2241 HAS SOPS 2241 HAS SOUS 2066 HAS SOUPS 2066 WITH SCORE 2068.241
AT ITER 8234 NEW BEST:: SOT 12141 SOS 2237 HAS SOPS 2237 HAS SOUS 2062 HAS SOUPS 2062 WITH SCORE 2064.237
AT ITER 8305 NEW BEST:: SOT 12140 SOS 2236 HAS SOPS 2236 HAS SOUS 2061 HAS SOUPS 2061 WITH SCORE 2063.236
AT ITER 8345 NEW BEST:: SOT 12139 SOS 2235 HAS SOPS 2235 HAS SOUS 2060 HAS SOUPS 2060 WITH SCORE 2062.235
AT ITER 8385 NEW BEST:: SOT 12138 SOS 2234 HAS SOPS 2234 HAS SOUS 2059 HAS SOUPS 2059 WITH SCORE 2061.234
AT ITER 8506 NEW BEST:: SOT 12137 SOS 2233 HAS SOPS 2233 HAS SOUS 2058 HAS SOUPS 2058 WITH SCORE 2060.233
AT ITER 8609 NEW BEST:: SOT 12136 SOS 2231 HAS SOPS 2231 HAS SOUS 2056 HAS SOUPS 2056 WITH SCORE 2058.231
AT ITER 8831 NEW BEST:: SOT 12133 SOS 2225 HAS SOPS 2225 HAS SOUS 2050 HAS SOUPS 2050 WITH SCORE 2052.225
AT ITER 8879 NEW BEST:: SOT 12132 SOS 2224 HAS SOPS 2224 HAS SOUS 2049 HAS SOUPS 2049 WITH SCORE 2051.224
AT ITER 9088 NEW BEST:: SOT 12132 SOS 2224 HAS SOPS 2224 HAS SOUS 2048 HAS SOUPS 2048 WITH SCORE 2050.224
AT ITER 9114 NEW BEST:: SOT 12131 SOS 2223 HAS SOPS 2223 HAS SOUS 2047 HAS SOUPS 2047 WITH SCORE 2049.223
AT ITER 9212 NEW BEST:: SOT 12130 SOS 2222 HAS SOPS 2222 HAS SOUS 2046 HAS SOUPS 2046 WITH SCORE 2048.222
AT ITER 9305 NEW BEST:: SOT 12135 SOS 2218 HAS SOPS 2218 HAS SOUS 2044 HAS SOUPS 2044 WITH SCORE 2046.218
AT ITER 9531 NEW BEST:: SOT 12136 SOS 2216 HAS SOPS 2216 HAS SOUS 2043 HAS SOUPS 2043 WITH SCORE 2045.216
AT ITER 9544 NEW BEST:: SOT 12131 SOS 2210 HAS SOPS 2210 HAS SOUS 2037 HAS SOUPS 2037 WITH SCORE 2039.21
AT ITER 9620 NEW BEST:: SOT 12130 SOS 2209 HAS SOPS 2209 HAS SOUS 2035 HAS SOUPS 2035 WITH SCORE 2037.209
AT ITER 9778 NEW BEST:: SOT 12131 SOS 2202 HAS SOPS 2202 HAS SOUS 2028 HAS SOUPS 2028 WITH SCORE 2030.202
AT ITER 9786 NEW BEST:: SOT 12128 SOS 2200 HAS SOPS 2200 HAS SOUS 2026 HAS SOUPS 2026 WITH SCORE 2028.2
AT ITER 9965 NEW BEST:: SOT 12128 SOS 2199 HAS SOPS 2199 HAS SOUS 2026 HAS SOUPS 2026 WITH SCORE 2028.199
AT ITER 9980 NEW BEST:: SOT 12128 SOS 2198 HAS SOPS 2198 HAS SOUS 2026 HAS SOUPS 2026 WITH SCORE 2028.198
STATE_SPACE STATES 100165008476333 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 23 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 1151279058792669 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679573270733

--------------------
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:
++ perl -pe 's/.*\.//g'
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ShieldPPPt-PT-002B"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is ShieldPPPt-PT-002B, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r395-oct2-167903718900560"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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