Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r427-tajo-167905979400224.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
......................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is ShieldRVt-PT-003B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r427-tajo-167905979400224
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 476K
-rw-r--r-- 1 mcc users 6.5K Feb 25 22:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 68K Feb 25 22:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Feb 25 22:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 64K Feb 25 22:49 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 17:03 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 17:03 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 17:03 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 17:03 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 22:51 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 120K Feb 25 22:51 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.0K Feb 25 22:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 70K Feb 25 22:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:03 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:03 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 36K 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 1679383428296

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=ShieldRVt-PT-003B
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-21 07:23:50] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-21 07:23:50] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-21 07:23:50] [INFO ] Load time of PNML (sax parser for PT used): 59 ms
[2023-03-21 07:23:50] [INFO ] Transformed 153 places.
[2023-03-21 07:23:50] [INFO ] Transformed 153 transitions.
[2023-03-21 07:23:50] [INFO ] Found NUPN structural information;
[2023-03-21 07:23:50] [INFO ] Parsed PT model containing 153 places and 153 transitions and 360 arcs in 134 ms.
[2023-03-21 07:23:50] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 153 places, 153 transitions and 360 arcs took 4 ms.
Total runtime 174 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldRVt (PT), instance 003B
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: 153 places, 153 transitions, 360 arcs.
AT ITER 0 NEW BEST:: SOT 12982 SOS 4327 HAS SOPS 4327 HAS SOUS 3893 HAS SOUPS 3893 WITH SCORE 3897.327
AT ITER 20 NEW BEST:: SOT 12982 SOS 4326 HAS SOPS 4326 HAS SOUS 3889 HAS SOUPS 3889 WITH SCORE 3893.326
AT ITER 21 NEW BEST:: SOT 12982 SOS 4314 HAS SOPS 4314 HAS SOUS 3889 HAS SOUPS 3889 WITH SCORE 3893.314
AT ITER 32 NEW BEST:: SOT 12982 SOS 4298 HAS SOPS 4298 HAS SOUS 3873 HAS SOUPS 3873 WITH SCORE 3877.298
AT ITER 33 NEW BEST:: SOT 13001 SOS 4312 HAS SOPS 4312 HAS SOUS 3868 HAS SOUPS 3868 WITH SCORE 3872.312
AT ITER 35 NEW BEST:: SOT 13001 SOS 4297 HAS SOPS 4297 HAS SOUS 3834 HAS SOUPS 3834 WITH SCORE 3838.297
AT ITER 43 NEW BEST:: SOT 13000 SOS 4295 HAS SOPS 4295 HAS SOUS 3832 HAS SOUPS 3832 WITH SCORE 3836.295
AT ITER 47 NEW BEST:: SOT 13000 SOS 4285 HAS SOPS 4285 HAS SOUS 3822 HAS SOUPS 3822 WITH SCORE 3826.285
AT ITER 53 NEW BEST:: SOT 13000 SOS 4285 HAS SOPS 4285 HAS SOUS 3803 HAS SOUPS 3803 WITH SCORE 3807.285
AT ITER 55 NEW BEST:: SOT 13000 SOS 4256 HAS SOPS 4256 HAS SOUS 3775 HAS SOUPS 3775 WITH SCORE 3779.256
AT ITER 58 NEW BEST:: SOT 13000 SOS 4236 HAS SOPS 4236 HAS SOUS 3774 HAS SOUPS 3774 WITH SCORE 3778.236
AT ITER 63 NEW BEST:: SOT 13000 SOS 4224 HAS SOPS 4224 HAS SOUS 3767 HAS SOUPS 3767 WITH SCORE 3771.224
AT ITER 88 NEW BEST:: SOT 13000 SOS 4196 HAS SOPS 4196 HAS SOUS 3739 HAS SOUPS 3739 WITH SCORE 3743.196
AT ITER 95 NEW BEST:: SOT 13008 SOS 4212 HAS SOPS 4212 HAS SOUS 3718 HAS SOUPS 3718 WITH SCORE 3722.212
AT ITER 119 NEW BEST:: SOT 13004 SOS 4211 HAS SOPS 4211 HAS SOUS 3717 HAS SOUPS 3717 WITH SCORE 3721.211
AT ITER 145 NEW BEST:: SOT 12985 SOS 4216 HAS SOPS 4216 HAS SOUS 3698 HAS SOUPS 3698 WITH SCORE 3702.216
AT ITER 148 NEW BEST:: SOT 12984 SOS 4211 HAS SOPS 4211 HAS SOUS 3693 HAS SOUPS 3693 WITH SCORE 3697.211
AT ITER 149 NEW BEST:: SOT 12984 SOS 4211 HAS SOPS 4211 HAS SOUS 3677 HAS SOUPS 3677 WITH SCORE 3681.211
AT ITER 153 NEW BEST:: SOT 13006 SOS 4201 HAS SOPS 4201 HAS SOUS 3667 HAS SOUPS 3667 WITH SCORE 3671.201
AT ITER 155 NEW BEST:: SOT 13018 SOS 4174 HAS SOPS 4174 HAS SOUS 3665 HAS SOUPS 3665 WITH SCORE 3669.174
AT ITER 165 NEW BEST:: SOT 13019 SOS 4158 HAS SOPS 4158 HAS SOUS 3665 HAS SOUPS 3665 WITH SCORE 3669.158
AT ITER 168 NEW BEST:: SOT 13006 SOS 4148 HAS SOPS 4148 HAS SOUS 3646 HAS SOUPS 3646 WITH SCORE 3650.148
AT ITER 180 NEW BEST:: SOT 13000 SOS 4143 HAS SOPS 4143 HAS SOUS 3638 HAS SOUPS 3638 WITH SCORE 3642.143
AT ITER 182 NEW BEST:: SOT 13000 SOS 4104 HAS SOPS 4104 HAS SOUS 3638 HAS SOUPS 3638 WITH SCORE 3642.104
AT ITER 210 NEW BEST:: SOT 12997 SOS 4171 HAS SOPS 4171 HAS SOUS 3630 HAS SOUPS 3630 WITH SCORE 3634.171
AT ITER 212 NEW BEST:: SOT 13000 SOS 4148 HAS SOPS 4148 HAS SOUS 3607 HAS SOUPS 3607 WITH SCORE 3611.148
AT ITER 213 NEW BEST:: SOT 12979 SOS 4106 HAS SOPS 4106 HAS SOUS 3565 HAS SOUPS 3565 WITH SCORE 3569.106
AT ITER 218 NEW BEST:: SOT 13015 SOS 4136 HAS SOPS 4136 HAS SOUS 3538 HAS SOUPS 3538 WITH SCORE 3542.136
AT ITER 229 NEW BEST:: SOT 13015 SOS 4176 HAS SOPS 4176 HAS SOUS 3534 HAS SOUPS 3534 WITH SCORE 3538.176
AT ITER 238 NEW BEST:: SOT 13015 SOS 4171 HAS SOPS 4171 HAS SOUS 3534 HAS SOUPS 3534 WITH SCORE 3538.171
AT ITER 262 NEW BEST:: SOT 13000 SOS 4141 HAS SOPS 4141 HAS SOUS 3528 HAS SOUPS 3528 WITH SCORE 3532.141
AT ITER 284 NEW BEST:: SOT 13000 SOS 4138 HAS SOPS 4138 HAS SOUS 3525 HAS SOUPS 3525 WITH SCORE 3529.138
AT ITER 288 NEW BEST:: SOT 12998 SOS 4134 HAS SOPS 4134 HAS SOUS 3521 HAS SOUPS 3521 WITH SCORE 3525.134
AT ITER 291 NEW BEST:: SOT 12974 SOS 4127 HAS SOPS 4127 HAS SOUS 3476 HAS SOUPS 3476 WITH SCORE 3480.127
AT ITER 293 NEW BEST:: SOT 12963 SOS 4087 HAS SOPS 4087 HAS SOUS 3447 HAS SOUPS 3447 WITH SCORE 3451.087
AT ITER 295 NEW BEST:: SOT 12960 SOS 4081 HAS SOPS 4081 HAS SOUS 3444 HAS SOUPS 3444 WITH SCORE 3448.081
AT ITER 296 NEW BEST:: SOT 12931 SOS 4023 HAS SOPS 4023 HAS SOUS 3386 HAS SOUPS 3386 WITH SCORE 3390.023
AT ITER 317 NEW BEST:: SOT 12930 SOS 4020 HAS SOPS 4020 HAS SOUS 3384 HAS SOUPS 3384 WITH SCORE 3388.02
AT ITER 341 NEW BEST:: SOT 12900 SOS 3960 HAS SOPS 3960 HAS SOUS 3332 HAS SOUPS 3332 WITH SCORE 3335.96
AT ITER 356 NEW BEST:: SOT 12900 SOS 3960 HAS SOPS 3960 HAS SOUS 3324 HAS SOUPS 3324 WITH SCORE 3327.96
AT ITER 369 NEW BEST:: SOT 12900 SOS 3960 HAS SOPS 3960 HAS SOUS 3321 HAS SOUPS 3321 WITH SCORE 3324.96
AT ITER 392 NEW BEST:: SOT 12881 SOS 3922 HAS SOPS 3922 HAS SOUS 3302 HAS SOUPS 3302 WITH SCORE 3305.922
AT ITER 399 NEW BEST:: SOT 12879 SOS 3921 HAS SOPS 3921 HAS SOUS 3301 HAS SOUPS 3301 WITH SCORE 3304.921
AT ITER 420 NEW BEST:: SOT 12879 SOS 3906 HAS SOPS 3906 HAS SOUS 3297 HAS SOUPS 3297 WITH SCORE 3300.906
AT ITER 421 NEW BEST:: SOT 12866 SOS 3940 HAS SOPS 3940 HAS SOUS 3284 HAS SOUPS 3284 WITH SCORE 3287.94
AT ITER 429 NEW BEST:: SOT 12860 SOS 3921 HAS SOPS 3921 HAS SOUS 3279 HAS SOUPS 3279 WITH SCORE 3282.921
AT ITER 434 NEW BEST:: SOT 12860 SOS 3917 HAS SOPS 3917 HAS SOUS 3275 HAS SOUPS 3275 WITH SCORE 3278.917
AT ITER 469 NEW BEST:: SOT 12860 SOS 3911 HAS SOPS 3911 HAS SOUS 3269 HAS SOUPS 3269 WITH SCORE 3272.911
AT ITER 486 NEW BEST:: SOT 12855 SOS 3901 HAS SOPS 3901 HAS SOUS 3259 HAS SOUPS 3259 WITH SCORE 3262.901
AT ITER 488 NEW BEST:: SOT 12850 SOS 3891 HAS SOPS 3891 HAS SOUS 3254 HAS SOUPS 3254 WITH SCORE 3257.891
AT ITER 509 NEW BEST:: SOT 12845 SOS 3861 HAS SOPS 3861 HAS SOUS 3239 HAS SOUPS 3239 WITH SCORE 3242.861
AT ITER 512 NEW BEST:: SOT 12845 SOS 3847 HAS SOPS 3847 HAS SOUS 3225 HAS SOUPS 3225 WITH SCORE 3228.847
AT ITER 516 NEW BEST:: SOT 12830 SOS 3846 HAS SOPS 3846 HAS SOUS 3211 HAS SOUPS 3211 WITH SCORE 3214.846
AT ITER 518 NEW BEST:: SOT 12823 SOS 3839 HAS SOPS 3839 HAS SOUS 3183 HAS SOUPS 3183 WITH SCORE 3186.839
AT ITER 527 NEW BEST:: SOT 12823 SOS 3830 HAS SOPS 3830 HAS SOUS 3183 HAS SOUPS 3183 WITH SCORE 3186.83
AT ITER 531 NEW BEST:: SOT 12817 SOS 3754 HAS SOPS 3754 HAS SOUS 3177 HAS SOUPS 3177 WITH SCORE 3180.754
AT ITER 540 NEW BEST:: SOT 12817 SOS 3742 HAS SOPS 3742 HAS SOUS 3165 HAS SOUPS 3165 WITH SCORE 3168.742
AT ITER 546 NEW BEST:: SOT 12814 SOS 3736 HAS SOPS 3736 HAS SOUS 3159 HAS SOUPS 3159 WITH SCORE 3162.736
AT ITER 558 NEW BEST:: SOT 12846 SOS 3640 HAS SOPS 3640 HAS SOUS 3152 HAS SOUPS 3152 WITH SCORE 3155.64
AT ITER 574 NEW BEST:: SOT 12849 SOS 3627 HAS SOPS 3627 HAS SOUS 3150 HAS SOUPS 3150 WITH SCORE 3153.627
AT ITER 581 NEW BEST:: SOT 12849 SOS 3623 HAS SOPS 3623 HAS SOUS 3146 HAS SOUPS 3146 WITH SCORE 3149.623
AT ITER 584 NEW BEST:: SOT 12847 SOS 3623 HAS SOPS 3623 HAS SOUS 3144 HAS SOUPS 3144 WITH SCORE 3147.623
AT ITER 635 NEW BEST:: SOT 12844 SOS 3617 HAS SOPS 3617 HAS SOUS 3138 HAS SOUPS 3138 WITH SCORE 3141.617
AT ITER 642 NEW BEST:: SOT 12844 SOS 3614 HAS SOPS 3614 HAS SOUS 3135 HAS SOUPS 3135 WITH SCORE 3138.614
AT ITER 666 NEW BEST:: SOT 12844 SOS 3612 HAS SOPS 3612 HAS SOUS 3133 HAS SOUPS 3133 WITH SCORE 3136.612
AT ITER 669 NEW BEST:: SOT 12844 SOS 3608 HAS SOPS 3608 HAS SOUS 3131 HAS SOUPS 3131 WITH SCORE 3134.608
AT ITER 689 NEW BEST:: SOT 12843 SOS 3607 HAS SOPS 3607 HAS SOUS 3130 HAS SOUPS 3130 WITH SCORE 3133.607
AT ITER 713 NEW BEST:: SOT 12819 SOS 3583 HAS SOPS 3583 HAS SOUS 3082 HAS SOUPS 3082 WITH SCORE 3085.583
AT ITER 714 NEW BEST:: SOT 12788 SOS 3551 HAS SOPS 3551 HAS SOUS 3047 HAS SOUPS 3047 WITH SCORE 3050.551
AT ITER 717 NEW BEST:: SOT 12787 SOS 3559 HAS SOPS 3559 HAS SOUS 3046 HAS SOUPS 3046 WITH SCORE 3049.559
AT ITER 737 NEW BEST:: SOT 12786 SOS 3557 HAS SOPS 3557 HAS SOUS 3044 HAS SOUPS 3044 WITH SCORE 3047.557
AT ITER 745 NEW BEST:: SOT 12785 SOS 3507 HAS SOPS 3507 HAS SOUS 3042 HAS SOUPS 3042 WITH SCORE 3045.507
AT ITER 765 NEW BEST:: SOT 12773 SOS 3483 HAS SOPS 3483 HAS SOUS 3018 HAS SOUPS 3018 WITH SCORE 3021.483
AT ITER 780 NEW BEST:: SOT 12771 SOS 3477 HAS SOPS 3477 HAS SOUS 3016 HAS SOUPS 3016 WITH SCORE 3019.477
AT ITER 801 NEW BEST:: SOT 12768 SOS 3470 HAS SOPS 3470 HAS SOUS 3016 HAS SOUPS 3016 WITH SCORE 3019.47
AT ITER 813 NEW BEST:: SOT 12768 SOS 3446 HAS SOPS 3446 HAS SOUS 3016 HAS SOUPS 3016 WITH SCORE 3019.446
AT ITER 822 NEW BEST:: SOT 12763 SOS 3441 HAS SOPS 3441 HAS SOUS 3011 HAS SOUPS 3011 WITH SCORE 3014.441
AT ITER 828 NEW BEST:: SOT 12763 SOS 3450 HAS SOPS 3450 HAS SOUS 3009 HAS SOUPS 3009 WITH SCORE 3012.45
AT ITER 837 NEW BEST:: SOT 12763 SOS 3448 HAS SOPS 3448 HAS SOUS 3007 HAS SOUPS 3007 WITH SCORE 3010.448
AT ITER 847 NEW BEST:: SOT 12763 SOS 3447 HAS SOPS 3447 HAS SOUS 3006 HAS SOUPS 3006 WITH SCORE 3009.447
AT ITER 863 NEW BEST:: SOT 12763 SOS 3448 HAS SOPS 3448 HAS SOUS 3005 HAS SOUPS 3005 WITH SCORE 3008.448
AT ITER 885 NEW BEST:: SOT 12775 SOS 3447 HAS SOPS 3447 HAS SOUS 3004 HAS SOUPS 3004 WITH SCORE 3007.447
AT ITER 905 NEW BEST:: SOT 12775 SOS 3443 HAS SOPS 3443 HAS SOUS 3000 HAS SOUPS 3000 WITH SCORE 3003.443
AT ITER 954 NEW BEST:: SOT 12767 SOS 3427 HAS SOPS 3427 HAS SOUS 2992 HAS SOUPS 2992 WITH SCORE 2995.427
AT ITER 956 NEW BEST:: SOT 12760 SOS 3413 HAS SOPS 3413 HAS SOUS 2978 HAS SOUPS 2978 WITH SCORE 2981.413
AT ITER 960 NEW BEST:: SOT 12758 SOS 3404 HAS SOPS 3404 HAS SOUS 2974 HAS SOUPS 2974 WITH SCORE 2977.404
AT ITER 1011 NEW BEST:: SOT 12757 SOS 3402 HAS SOPS 3402 HAS SOUS 2972 HAS SOUPS 2972 WITH SCORE 2975.402
AT ITER 1034 NEW BEST:: SOT 12753 SOS 3398 HAS SOPS 3398 HAS SOUS 2968 HAS SOUPS 2968 WITH SCORE 2971.398
AT ITER 1129 NEW BEST:: SOT 12754 SOS 3479 HAS SOPS 3479 HAS SOUS 2960 HAS SOUPS 2960 WITH SCORE 2963.479
AT ITER 1141 NEW BEST:: SOT 12742 SOS 3473 HAS SOPS 3473 HAS SOUS 2948 HAS SOUPS 2948 WITH SCORE 2951.473
AT ITER 1185 NEW BEST:: SOT 12741 SOS 3471 HAS SOPS 3471 HAS SOUS 2946 HAS SOUPS 2946 WITH SCORE 2949.471
AT ITER 1186 NEW BEST:: SOT 12751 SOS 3491 HAS SOPS 3491 HAS SOUS 2908 HAS SOUPS 2908 WITH SCORE 2911.491
AT ITER 1188 NEW BEST:: SOT 12734 SOS 3471 HAS SOPS 3471 HAS SOUS 2905 HAS SOUPS 2905 WITH SCORE 2908.471
AT ITER 1205 NEW BEST:: SOT 12733 SOS 3469 HAS SOPS 3469 HAS SOUS 2903 HAS SOUPS 2903 WITH SCORE 2906.469
AT ITER 1207 NEW BEST:: SOT 12732 SOS 3467 HAS SOPS 3467 HAS SOUS 2901 HAS SOUPS 2901 WITH SCORE 2904.467
AT ITER 1213 NEW BEST:: SOT 12732 SOS 3447 HAS SOPS 3447 HAS SOUS 2891 HAS SOUPS 2891 WITH SCORE 2894.447
AT ITER 1236 NEW BEST:: SOT 12713 SOS 3376 HAS SOPS 3376 HAS SOUS 2870 HAS SOUPS 2870 WITH SCORE 2873.376
AT ITER 1289 NEW BEST:: SOT 12708 SOS 3366 HAS SOPS 3366 HAS SOUS 2863 HAS SOUPS 2863 WITH SCORE 2866.366
AT ITER 1291 NEW BEST:: SOT 12704 SOS 3360 HAS SOPS 3360 HAS SOUS 2859 HAS SOUPS 2859 WITH SCORE 2862.36
AT ITER 1295 NEW BEST:: SOT 12701 SOS 3354 HAS SOPS 3354 HAS SOUS 2856 HAS SOUPS 2856 WITH SCORE 2859.354
AT ITER 1315 NEW BEST:: SOT 12680 SOS 3358 HAS SOPS 3358 HAS SOUS 2836 HAS SOUPS 2836 WITH SCORE 2839.358
AT ITER 1337 NEW BEST:: SOT 12680 SOS 3354 HAS SOPS 3354 HAS SOUS 2835 HAS SOUPS 2835 WITH SCORE 2838.354
AT ITER 1348 NEW BEST:: SOT 12680 SOS 3351 HAS SOPS 3351 HAS SOUS 2832 HAS SOUPS 2832 WITH SCORE 2835.351
AT ITER 1360 NEW BEST:: SOT 12680 SOS 3351 HAS SOPS 3351 HAS SOUS 2826 HAS SOUPS 2826 WITH SCORE 2829.351
AT ITER 1378 NEW BEST:: SOT 12681 SOS 3350 HAS SOPS 3350 HAS SOUS 2825 HAS SOUPS 2825 WITH SCORE 2828.35
AT ITER 1399 NEW BEST:: SOT 12680 SOS 3348 HAS SOPS 3348 HAS SOUS 2824 HAS SOUPS 2824 WITH SCORE 2827.348
AT ITER 1407 NEW BEST:: SOT 12679 SOS 3346 HAS SOPS 3346 HAS SOUS 2822 HAS SOUPS 2822 WITH SCORE 2825.346
AT ITER 1411 NEW BEST:: SOT 12675 SOS 3302 HAS SOPS 3302 HAS SOUS 2809 HAS SOUPS 2809 WITH SCORE 2812.302
AT ITER 1435 NEW BEST:: SOT 12672 SOS 3299 HAS SOPS 3299 HAS SOUS 2806 HAS SOUPS 2806 WITH SCORE 2809.299
AT ITER 1478 NEW BEST:: SOT 12672 SOS 3298 HAS SOPS 3298 HAS SOUS 2806 HAS SOUPS 2806 WITH SCORE 2809.298
AT ITER 1482 NEW BEST:: SOT 12672 SOS 3286 HAS SOPS 3286 HAS SOUS 2800 HAS SOUPS 2800 WITH SCORE 2803.286
AT ITER 1497 NEW BEST:: SOT 12672 SOS 3275 HAS SOPS 3275 HAS SOUS 2789 HAS SOUPS 2789 WITH SCORE 2792.275
AT ITER 1504 NEW BEST:: SOT 12669 SOS 3269 HAS SOPS 3269 HAS SOUS 2788 HAS SOUPS 2788 WITH SCORE 2791.269
AT ITER 1516 NEW BEST:: SOT 12669 SOS 3260 HAS SOPS 3260 HAS SOUS 2779 HAS SOUPS 2779 WITH SCORE 2782.26
AT ITER 1525 NEW BEST:: SOT 12661 SOS 3244 HAS SOPS 3244 HAS SOUS 2771 HAS SOUPS 2771 WITH SCORE 2774.244
AT ITER 1526 NEW BEST:: SOT 12661 SOS 3238 HAS SOPS 3238 HAS SOUS 2768 HAS SOUPS 2768 WITH SCORE 2771.238
AT ITER 1530 NEW BEST:: SOT 12629 SOS 3213 HAS SOPS 3213 HAS SOUS 2750 HAS SOUPS 2750 WITH SCORE 2753.213
AT ITER 1567 NEW BEST:: SOT 12621 SOS 3205 HAS SOPS 3205 HAS SOUS 2750 HAS SOUPS 2750 WITH SCORE 2753.205
AT ITER 1599 NEW BEST:: SOT 12619 SOS 3206 HAS SOPS 3206 HAS SOUS 2749 HAS SOUPS 2749 WITH SCORE 2752.206
AT ITER 1612 NEW BEST:: SOT 12614 SOS 3206 HAS SOPS 3206 HAS SOUS 2744 HAS SOUPS 2744 WITH SCORE 2747.206
AT ITER 1627 NEW BEST:: SOT 12608 SOS 3194 HAS SOPS 3194 HAS SOUS 2732 HAS SOUPS 2732 WITH SCORE 2735.194
AT ITER 1639 NEW BEST:: SOT 12596 SOS 3152 HAS SOPS 3152 HAS SOUS 2704 HAS SOUPS 2704 WITH SCORE 2707.152
AT ITER 1662 NEW BEST:: SOT 12564 SOS 3074 HAS SOPS 3074 HAS SOUS 2657 HAS SOUPS 2657 WITH SCORE 2660.074
AT ITER 1698 NEW BEST:: SOT 12560 SOS 3051 HAS SOPS 3051 HAS SOUS 2655 HAS SOUPS 2655 WITH SCORE 2658.051
AT ITER 1699 NEW BEST:: SOT 12559 SOS 3049 HAS SOPS 3049 HAS SOUS 2653 HAS SOUPS 2653 WITH SCORE 2656.049
AT ITER 1706 NEW BEST:: SOT 12559 SOS 3039 HAS SOPS 3039 HAS SOUS 2653 HAS SOUPS 2653 WITH SCORE 2656.039
AT ITER 1707 NEW BEST:: SOT 12549 SOS 3029 HAS SOPS 3029 HAS SOUS 2643 HAS SOUPS 2643 WITH SCORE 2646.029
AT ITER 1709 NEW BEST:: SOT 12547 SOS 3027 HAS SOPS 3027 HAS SOUS 2641 HAS SOUPS 2641 WITH SCORE 2644.027
AT ITER 1714 NEW BEST:: SOT 12544 SOS 3039 HAS SOPS 3039 HAS SOUS 2640 HAS SOUPS 2640 WITH SCORE 2643.039
AT ITER 1734 NEW BEST:: SOT 12553 SOS 3028 HAS SOPS 3028 HAS SOUS 2629 HAS SOUPS 2629 WITH SCORE 2632.028
AT ITER 1757 NEW BEST:: SOT 12545 SOS 3012 HAS SOPS 3012 HAS SOUS 2627 HAS SOUPS 2627 WITH SCORE 2630.012
AT ITER 1762 NEW BEST:: SOT 12545 SOS 3012 HAS SOPS 3012 HAS SOUS 2623 HAS SOUPS 2623 WITH SCORE 2626.012
AT ITER 1772 NEW BEST:: SOT 12534 SOS 3004 HAS SOPS 3004 HAS SOUS 2604 HAS SOUPS 2604 WITH SCORE 2607.004
AT ITER 1799 NEW BEST:: SOT 12533 SOS 3002 HAS SOPS 3002 HAS SOUS 2602 HAS SOUPS 2602 WITH SCORE 2605.002
AT ITER 1802 NEW BEST:: SOT 12535 SOS 3003 HAS SOPS 3003 HAS SOUS 2601 HAS SOUPS 2601 WITH SCORE 2604.003
AT ITER 1822 NEW BEST:: SOT 12535 SOS 2999 HAS SOPS 2999 HAS SOUS 2597 HAS SOUPS 2597 WITH SCORE 2599.999
AT ITER 1837 NEW BEST:: SOT 12535 SOS 2999 HAS SOPS 2999 HAS SOUS 2596 HAS SOUPS 2596 WITH SCORE 2598.999
AT ITER 1839 NEW BEST:: SOT 12535 SOS 2999 HAS SOPS 2999 HAS SOUS 2594 HAS SOUPS 2594 WITH SCORE 2596.999
AT ITER 1911 NEW BEST:: SOT 12533 SOS 2985 HAS SOPS 2985 HAS SOUS 2592 HAS SOUPS 2592 WITH SCORE 2594.985
AT ITER 1913 NEW BEST:: SOT 12576 SOS 3071 HAS SOPS 3071 HAS SOUS 2590 HAS SOUPS 2590 WITH SCORE 2593.071
AT ITER 1922 NEW BEST:: SOT 12576 SOS 3070 HAS SOPS 3070 HAS SOUS 2589 HAS SOUPS 2589 WITH SCORE 2592.07
AT ITER 1978 NEW BEST:: SOT 12576 SOS 3070 HAS SOPS 3070 HAS SOUS 2587 HAS SOUPS 2587 WITH SCORE 2590.07
AT ITER 1984 NEW BEST:: SOT 12558 SOS 3043 HAS SOPS 3043 HAS SOUS 2578 HAS SOUPS 2578 WITH SCORE 2581.043
AT ITER 2021 NEW BEST:: SOT 12558 SOS 3043 HAS SOPS 3043 HAS SOUS 2556 HAS SOUPS 2556 WITH SCORE 2559.043
AT ITER 2081 NEW BEST:: SOT 12551 SOS 3029 HAS SOPS 3029 HAS SOUS 2542 HAS SOUPS 2542 WITH SCORE 2545.029
AT ITER 2094 NEW BEST:: SOT 12552 SOS 3025 HAS SOPS 3025 HAS SOUS 2538 HAS SOUPS 2538 WITH SCORE 2541.025
AT ITER 2096 NEW BEST:: SOT 12552 SOS 3015 HAS SOPS 3015 HAS SOUS 2533 HAS SOUPS 2533 WITH SCORE 2536.015
AT ITER 2120 NEW BEST:: SOT 12552 SOS 2996 HAS SOPS 2996 HAS SOUS 2533 HAS SOUPS 2533 WITH SCORE 2535.996
AT ITER 2147 NEW BEST:: SOT 12552 SOS 2996 HAS SOPS 2996 HAS SOUS 2531 HAS SOUPS 2531 WITH SCORE 2533.996
AT ITER 2150 NEW BEST:: SOT 12546 SOS 2978 HAS SOPS 2978 HAS SOUS 2531 HAS SOUPS 2531 WITH SCORE 2533.978
AT ITER 2153 NEW BEST:: SOT 12520 SOS 2947 HAS SOPS 2947 HAS SOUS 2525 HAS SOUPS 2525 WITH SCORE 2527.947
AT ITER 2249 NEW BEST:: SOT 12520 SOS 2933 HAS SOPS 2933 HAS SOUS 2518 HAS SOUPS 2518 WITH SCORE 2520.933
AT ITER 2282 NEW BEST:: SOT 12520 SOS 2918 HAS SOPS 2918 HAS SOUS 2503 HAS SOUPS 2503 WITH SCORE 2505.918
AT ITER 2346 NEW BEST:: SOT 12503 SOS 2882 HAS SOPS 2882 HAS SOUS 2467 HAS SOUPS 2467 WITH SCORE 2469.882
AT ITER 2375 NEW BEST:: SOT 12486 SOS 2848 HAS SOPS 2848 HAS SOUS 2446 HAS SOUPS 2446 WITH SCORE 2448.848
AT ITER 2432 NEW BEST:: SOT 12485 SOS 2846 HAS SOPS 2846 HAS SOUS 2444 HAS SOUPS 2444 WITH SCORE 2446.846
AT ITER 2517 NEW BEST:: SOT 12485 SOS 2844 HAS SOPS 2844 HAS SOUS 2444 HAS SOUPS 2444 WITH SCORE 2446.844
AT ITER 2532 NEW BEST:: SOT 12485 SOS 2830 HAS SOPS 2830 HAS SOUS 2444 HAS SOUPS 2444 WITH SCORE 2446.83
AT ITER 2563 NEW BEST:: SOT 12484 SOS 2828 HAS SOPS 2828 HAS SOUS 2442 HAS SOUPS 2442 WITH SCORE 2444.828
AT ITER 2571 NEW BEST:: SOT 12487 SOS 2814 HAS SOPS 2814 HAS SOUS 2430 HAS SOUPS 2430 WITH SCORE 2432.814
AT ITER 2595 NEW BEST:: SOT 12473 SOS 2786 HAS SOPS 2786 HAS SOUS 2409 HAS SOUPS 2409 WITH SCORE 2411.786
AT ITER 2635 NEW BEST:: SOT 12473 SOS 2786 HAS SOPS 2786 HAS SOUS 2407 HAS SOUPS 2407 WITH SCORE 2409.786
AT ITER 2652 NEW BEST:: SOT 12470 SOS 2777 HAS SOPS 2777 HAS SOUS 2404 HAS SOUPS 2404 WITH SCORE 2406.777
AT ITER 2668 NEW BEST:: SOT 12474 SOS 2773 HAS SOPS 2773 HAS SOUS 2404 HAS SOUPS 2404 WITH SCORE 2406.773
AT ITER 2696 NEW BEST:: SOT 12473 SOS 2756 HAS SOPS 2756 HAS SOUS 2387 HAS SOUPS 2387 WITH SCORE 2389.756
AT ITER 2749 NEW BEST:: SOT 12473 SOS 2743 HAS SOPS 2743 HAS SOUS 2387 HAS SOUPS 2387 WITH SCORE 2389.743
AT ITER 2776 NEW BEST:: SOT 12484 SOS 2729 HAS SOPS 2729 HAS SOUS 2373 HAS SOUPS 2373 WITH SCORE 2375.729
AT ITER 2794 NEW BEST:: SOT 12474 SOS 2696 HAS SOPS 2696 HAS SOUS 2364 HAS SOUPS 2364 WITH SCORE 2366.696
AT ITER 2813 NEW BEST:: SOT 12472 SOS 2695 HAS SOPS 2695 HAS SOUS 2363 HAS SOUPS 2363 WITH SCORE 2365.695
AT ITER 2829 NEW BEST:: SOT 12469 SOS 2702 HAS SOPS 2702 HAS SOUS 2358 HAS SOUPS 2358 WITH SCORE 2360.702
AT ITER 2862 NEW BEST:: SOT 12469 SOS 2694 HAS SOPS 2694 HAS SOUS 2350 HAS SOUPS 2350 WITH SCORE 2352.694
AT ITER 2896 NEW BEST:: SOT 12462 SOS 2683 HAS SOPS 2683 HAS SOUS 2339 HAS SOUPS 2339 WITH SCORE 2341.683
AT ITER 2915 NEW BEST:: SOT 12461 SOS 2675 HAS SOPS 2675 HAS SOUS 2337 HAS SOUPS 2337 WITH SCORE 2339.675
AT ITER 2921 NEW BEST:: SOT 12461 SOS 2667 HAS SOPS 2667 HAS SOUS 2337 HAS SOUPS 2337 WITH SCORE 2339.667
AT ITER 2939 NEW BEST:: SOT 12464 SOS 2673 HAS SOPS 2673 HAS SOUS 2334 HAS SOUPS 2334 WITH SCORE 2336.673
AT ITER 3004 NEW BEST:: SOT 12464 SOS 2671 HAS SOPS 2671 HAS SOUS 2334 HAS SOUPS 2334 WITH SCORE 2336.671
AT ITER 3007 NEW BEST:: SOT 12467 SOS 2661 HAS SOPS 2661 HAS SOUS 2324 HAS SOUPS 2324 WITH SCORE 2326.661
AT ITER 3029 NEW BEST:: SOT 12460 SOS 2659 HAS SOPS 2659 HAS SOUS 2322 HAS SOUPS 2322 WITH SCORE 2324.659
AT ITER 3053 NEW BEST:: SOT 12460 SOS 2657 HAS SOPS 2657 HAS SOUS 2321 HAS SOUPS 2321 WITH SCORE 2323.657
AT ITER 3096 NEW BEST:: SOT 12458 SOS 2661 HAS SOPS 2661 HAS SOUS 2319 HAS SOUPS 2319 WITH SCORE 2321.661
AT ITER 3117 NEW BEST:: SOT 12433 SOS 2644 HAS SOPS 2644 HAS SOUS 2317 HAS SOUPS 2317 WITH SCORE 2319.644
AT ITER 3144 NEW BEST:: SOT 12429 SOS 2644 HAS SOPS 2644 HAS SOUS 2313 HAS SOUPS 2313 WITH SCORE 2315.644
AT ITER 3195 NEW BEST:: SOT 12425 SOS 2636 HAS SOPS 2636 HAS SOUS 2303 HAS SOUPS 2303 WITH SCORE 2305.636
AT ITER 3201 NEW BEST:: SOT 12425 SOS 2634 HAS SOPS 2634 HAS SOUS 2303 HAS SOUPS 2303 WITH SCORE 2305.634
AT ITER 3259 NEW BEST:: SOT 12419 SOS 2613 HAS SOPS 2613 HAS SOUS 2282 HAS SOUPS 2282 WITH SCORE 2284.613
AT ITER 3263 NEW BEST:: SOT 12418 SOS 2600 HAS SOPS 2600 HAS SOUS 2274 HAS SOUPS 2274 WITH SCORE 2276.6
AT ITER 3286 NEW BEST:: SOT 12416 SOS 2596 HAS SOPS 2596 HAS SOUS 2270 HAS SOUPS 2270 WITH SCORE 2272.596
AT ITER 3321 NEW BEST:: SOT 12410 SOS 2584 HAS SOPS 2584 HAS SOUS 2258 HAS SOUPS 2258 WITH SCORE 2260.584
AT ITER 3326 NEW BEST:: SOT 12406 SOS 2580 HAS SOPS 2580 HAS SOUS 2254 HAS SOUPS 2254 WITH SCORE 2256.58
AT ITER 3327 NEW BEST:: SOT 12406 SOS 2572 HAS SOPS 2572 HAS SOUS 2254 HAS SOUPS 2254 WITH SCORE 2256.572
AT ITER 3333 NEW BEST:: SOT 12386 SOS 2560 HAS SOPS 2560 HAS SOUS 2234 HAS SOUPS 2234 WITH SCORE 2236.56
AT ITER 3362 NEW BEST:: SOT 12385 SOS 2559 HAS SOPS 2559 HAS SOUS 2233 HAS SOUPS 2233 WITH SCORE 2235.559
AT ITER 3385 NEW BEST:: SOT 12384 SOS 2561 HAS SOPS 2561 HAS SOUS 2232 HAS SOUPS 2232 WITH SCORE 2234.561
AT ITER 3479 NEW BEST:: SOT 12384 SOS 2543 HAS SOPS 2543 HAS SOUS 2232 HAS SOUPS 2232 WITH SCORE 2234.543
AT ITER 3506 NEW BEST:: SOT 12381 SOS 2542 HAS SOPS 2542 HAS SOUS 2231 HAS SOUPS 2231 WITH SCORE 2233.542
AT ITER 3538 NEW BEST:: SOT 12387 SOS 2506 HAS SOPS 2506 HAS SOUS 2225 HAS SOUPS 2225 WITH SCORE 2227.506
AT ITER 3541 NEW BEST:: SOT 12386 SOS 2504 HAS SOPS 2504 HAS SOUS 2210 HAS SOUPS 2210 WITH SCORE 2212.504
AT ITER 3543 NEW BEST:: SOT 12384 SOS 2504 HAS SOPS 2504 HAS SOUS 2208 HAS SOUPS 2208 WITH SCORE 2210.504
AT ITER 3586 NEW BEST:: SOT 12361 SOS 2467 HAS SOPS 2467 HAS SOUS 2182 HAS SOUPS 2182 WITH SCORE 2184.467
AT ITER 3650 NEW BEST:: SOT 12361 SOS 2464 HAS SOPS 2464 HAS SOUS 2179 HAS SOUPS 2179 WITH SCORE 2181.464
AT ITER 3651 NEW BEST:: SOT 12357 SOS 2460 HAS SOPS 2460 HAS SOUS 2179 HAS SOUPS 2179 WITH SCORE 2181.46
AT ITER 3806 NEW BEST:: SOT 12358 SOS 2450 HAS SOPS 2450 HAS SOUS 2175 HAS SOUPS 2175 WITH SCORE 2177.45
AT ITER 3808 NEW BEST:: SOT 12354 SOS 2452 HAS SOPS 2452 HAS SOUS 2171 HAS SOUPS 2171 WITH SCORE 2173.452
AT ITER 3907 NEW BEST:: SOT 12352 SOS 2457 HAS SOPS 2457 HAS SOUS 2167 HAS SOUPS 2167 WITH SCORE 2169.457
AT ITER 3920 NEW BEST:: SOT 12345 SOS 2466 HAS SOPS 2466 HAS SOUS 2161 HAS SOUPS 2161 WITH SCORE 2163.466
AT ITER 3995 NEW BEST:: SOT 12335 SOS 2462 HAS SOPS 2462 HAS SOUS 2157 HAS SOUPS 2157 WITH SCORE 2159.462
AT ITER 4059 NEW BEST:: SOT 12330 SOS 2453 HAS SOPS 2453 HAS SOUS 2152 HAS SOUPS 2152 WITH SCORE 2154.453
AT ITER 4081 NEW BEST:: SOT 12330 SOS 2451 HAS SOPS 2451 HAS SOUS 2151 HAS SOUPS 2151 WITH SCORE 2153.451
AT ITER 4109 NEW BEST:: SOT 12328 SOS 2449 HAS SOPS 2449 HAS SOUS 2148 HAS SOUPS 2148 WITH SCORE 2150.449
AT ITER 4143 NEW BEST:: SOT 12323 SOS 2439 HAS SOPS 2439 HAS SOUS 2148 HAS SOUPS 2148 WITH SCORE 2150.439
AT ITER 4173 NEW BEST:: SOT 12323 SOS 2430 HAS SOPS 2430 HAS SOUS 2139 HAS SOUPS 2139 WITH SCORE 2141.43
AT ITER 4274 NEW BEST:: SOT 12323 SOS 2430 HAS SOPS 2430 HAS SOUS 2136 HAS SOUPS 2136 WITH SCORE 2138.43
AT ITER 4326 NEW BEST:: SOT 12324 SOS 2432 HAS SOPS 2432 HAS SOUS 2130 HAS SOUPS 2130 WITH SCORE 2132.432
AT ITER 4429 NEW BEST:: SOT 12318 SOS 2409 HAS SOPS 2409 HAS SOUS 2124 HAS SOUPS 2124 WITH SCORE 2126.409
AT ITER 4484 NEW BEST:: SOT 12314 SOS 2405 HAS SOPS 2405 HAS SOUS 2121 HAS SOUPS 2121 WITH SCORE 2123.405
AT ITER 4501 NEW BEST:: SOT 12310 SOS 2399 HAS SOPS 2399 HAS SOUS 2117 HAS SOUPS 2117 WITH SCORE 2119.399
AT ITER 4513 NEW BEST:: SOT 12301 SOS 2389 HAS SOPS 2389 HAS SOUS 2109 HAS SOUPS 2109 WITH SCORE 2111.389
AT ITER 4532 NEW BEST:: SOT 12290 SOS 2395 HAS SOPS 2395 HAS SOUS 2101 HAS SOUPS 2101 WITH SCORE 2103.395
AT ITER 4547 NEW BEST:: SOT 12289 SOS 2389 HAS SOPS 2389 HAS SOUS 2098 HAS SOUPS 2098 WITH SCORE 2100.389
AT ITER 4564 NEW BEST:: SOT 12284 SOS 2388 HAS SOPS 2388 HAS SOUS 2096 HAS SOUPS 2096 WITH SCORE 2098.388
AT ITER 4625 NEW BEST:: SOT 12280 SOS 2383 HAS SOPS 2383 HAS SOUS 2091 HAS SOUPS 2091 WITH SCORE 2093.383
AT ITER 4646 NEW BEST:: SOT 12277 SOS 2371 HAS SOPS 2371 HAS SOUS 2079 HAS SOUPS 2079 WITH SCORE 2081.371
AT ITER 4690 NEW BEST:: SOT 12282 SOS 2376 HAS SOPS 2376 HAS SOUS 2078 HAS SOUPS 2078 WITH SCORE 2080.376
AT ITER 4711 NEW BEST:: SOT 12279 SOS 2370 HAS SOPS 2370 HAS SOUS 2073 HAS SOUPS 2073 WITH SCORE 2075.37
AT ITER 4798 NEW BEST:: SOT 12272 SOS 2356 HAS SOPS 2356 HAS SOUS 2059 HAS SOUPS 2059 WITH SCORE 2061.356
AT ITER 4839 NEW BEST:: SOT 12271 SOS 2349 HAS SOPS 2349 HAS SOUS 2057 HAS SOUPS 2057 WITH SCORE 2059.349
AT ITER 4874 NEW BEST:: SOT 12269 SOS 2344 HAS SOPS 2344 HAS SOUS 2053 HAS SOUPS 2053 WITH SCORE 2055.344
AT ITER 4894 NEW BEST:: SOT 12269 SOS 2341 HAS SOPS 2341 HAS SOUS 2052 HAS SOUPS 2052 WITH SCORE 2054.341
AT ITER 4951 NEW BEST:: SOT 12266 SOS 2340 HAS SOPS 2340 HAS SOUS 2051 HAS SOUPS 2051 WITH SCORE 2053.34
AT ITER 4978 NEW BEST:: SOT 12265 SOS 2338 HAS SOPS 2338 HAS SOUS 2050 HAS SOUPS 2050 WITH SCORE 2052.338
AT ITER 5036 NEW BEST:: SOT 12265 SOS 2337 HAS SOPS 2337 HAS SOUS 2049 HAS SOUPS 2049 WITH SCORE 2051.337
AT ITER 5104 NEW BEST:: SOT 12258 SOS 2323 HAS SOPS 2323 HAS SOUS 2044 HAS SOUPS 2044 WITH SCORE 2046.323
AT ITER 5192 NEW BEST:: SOT 12257 SOS 2321 HAS SOPS 2321 HAS SOUS 2043 HAS SOUPS 2043 WITH SCORE 2045.321
AT ITER 5272 NEW BEST:: SOT 12257 SOS 2320 HAS SOPS 2320 HAS SOUS 2042 HAS SOUPS 2042 WITH SCORE 2044.32
AT ITER 5358 NEW BEST:: SOT 12247 SOS 2300 HAS SOPS 2300 HAS SOUS 2032 HAS SOUPS 2032 WITH SCORE 2034.3
AT ITER 5371 NEW BEST:: SOT 12244 SOS 2294 HAS SOPS 2294 HAS SOUS 2027 HAS SOUPS 2027 WITH SCORE 2029.294
AT ITER 5382 NEW BEST:: SOT 12242 SOS 2284 HAS SOPS 2284 HAS SOUS 2023 HAS SOUPS 2023 WITH SCORE 2025.284
AT ITER 5529 NEW BEST:: SOT 12246 SOS 2293 HAS SOPS 2293 HAS SOUS 2022 HAS SOUPS 2022 WITH SCORE 2024.293
AT ITER 5553 NEW BEST:: SOT 12243 SOS 2275 HAS SOPS 2275 HAS SOUS 2019 HAS SOUPS 2019 WITH SCORE 2021.275
AT ITER 5569 NEW BEST:: SOT 12241 SOS 2272 HAS SOPS 2272 HAS SOUS 2018 HAS SOUPS 2018 WITH SCORE 2020.272
AT ITER 5572 NEW BEST:: SOT 12241 SOS 2272 HAS SOPS 2272 HAS SOUS 2014 HAS SOUPS 2014 WITH SCORE 2016.272
AT ITER 5616 NEW BEST:: SOT 12238 SOS 2254 HAS SOPS 2254 HAS SOUS 2007 HAS SOUPS 2007 WITH SCORE 2009.254
AT ITER 5703 NEW BEST:: SOT 12238 SOS 2253 HAS SOPS 2253 HAS SOUS 2006 HAS SOUPS 2006 WITH SCORE 2008.253
AT ITER 5713 NEW BEST:: SOT 12246 SOS 2251 HAS SOPS 2251 HAS SOUS 2005 HAS SOUPS 2005 WITH SCORE 2007.251
AT ITER 5724 NEW BEST:: SOT 12245 SOS 2255 HAS SOPS 2255 HAS SOUS 2004 HAS SOUPS 2004 WITH SCORE 2006.255
AT ITER 5850 NEW BEST:: SOT 12245 SOS 2253 HAS SOPS 2253 HAS SOUS 2003 HAS SOUPS 2003 WITH SCORE 2005.253
AT ITER 5876 NEW BEST:: SOT 12240 SOS 2243 HAS SOPS 2243 HAS SOUS 1997 HAS SOUPS 1997 WITH SCORE 1999.243
AT ITER 5980 NEW BEST:: SOT 12236 SOS 2239 HAS SOPS 2239 HAS SOUS 1993 HAS SOUPS 1993 WITH SCORE 1995.239
AT ITER 6010 NEW BEST:: SOT 12235 SOS 2238 HAS SOPS 2238 HAS SOUS 1991 HAS SOUPS 1991 WITH SCORE 1993.238
AT ITER 6159 NEW BEST:: SOT 12231 SOS 2234 HAS SOPS 2234 HAS SOUS 1987 HAS SOUPS 1987 WITH SCORE 1989.234
AT ITER 6188 NEW BEST:: SOT 12228 SOS 2221 HAS SOPS 2221 HAS SOUS 1984 HAS SOUPS 1984 WITH SCORE 1986.221
AT ITER 6262 NEW BEST:: SOT 12237 SOS 2238 HAS SOPS 2238 HAS SOUS 1983 HAS SOUPS 1983 WITH SCORE 1985.238
AT ITER 6355 NEW BEST:: SOT 12236 SOS 2240 HAS SOPS 2240 HAS SOUS 1982 HAS SOUPS 1982 WITH SCORE 1984.24
AT ITER 6416 NEW BEST:: SOT 12236 SOS 2229 HAS SOPS 2229 HAS SOUS 1982 HAS SOUPS 1982 WITH SCORE 1984.229
AT ITER 6419 NEW BEST:: SOT 12237 SOS 2228 HAS SOPS 2228 HAS SOUS 1981 HAS SOUPS 1981 WITH SCORE 1983.228
AT ITER 6529 NEW BEST:: SOT 12236 SOS 2225 HAS SOPS 2225 HAS SOUS 1981 HAS SOUPS 1981 WITH SCORE 1983.225
AT ITER 6542 NEW BEST:: SOT 12235 SOS 2223 HAS SOPS 2223 HAS SOUS 1980 HAS SOUPS 1980 WITH SCORE 1982.223
AT ITER 6562 NEW BEST:: SOT 12238 SOS 2222 HAS SOPS 2222 HAS SOUS 1979 HAS SOUPS 1979 WITH SCORE 1981.222
AT ITER 6566 NEW BEST:: SOT 12238 SOS 2221 HAS SOPS 2221 HAS SOUS 1978 HAS SOUPS 1978 WITH SCORE 1980.221
AT ITER 6661 NEW BEST:: SOT 12234 SOS 2229 HAS SOPS 2229 HAS SOUS 1972 HAS SOUPS 1972 WITH SCORE 1974.229
AT ITER 6876 NEW BEST:: SOT 12231 SOS 2227 HAS SOPS 2227 HAS SOUS 1969 HAS SOUPS 1969 WITH SCORE 1971.227
AT ITER 6905 NEW BEST:: SOT 12231 SOS 2224 HAS SOPS 2224 HAS SOUS 1969 HAS SOUPS 1969 WITH SCORE 1971.224
AT ITER 6983 NEW BEST:: SOT 12237 SOS 2223 HAS SOPS 2223 HAS SOUS 1969 HAS SOUPS 1969 WITH SCORE 1971.223
AT ITER 7049 NEW BEST:: SOT 12233 SOS 2221 HAS SOPS 2221 HAS SOUS 1967 HAS SOUPS 1967 WITH SCORE 1969.221
AT ITER 7058 NEW BEST:: SOT 12232 SOS 2222 HAS SOPS 2222 HAS SOUS 1965 HAS SOUPS 1965 WITH SCORE 1967.222
AT ITER 7304 NEW BEST:: SOT 12228 SOS 2218 HAS SOPS 2218 HAS SOUS 1961 HAS SOUPS 1961 WITH SCORE 1963.218
AT ITER 7583 NEW BEST:: SOT 12228 SOS 2216 HAS SOPS 2216 HAS SOUS 1959 HAS SOUPS 1959 WITH SCORE 1961.216
AT ITER 7587 NEW BEST:: SOT 12222 SOS 2209 HAS SOPS 2209 HAS SOUS 1952 HAS SOUPS 1952 WITH SCORE 1954.209
AT ITER 7711 NEW BEST:: SOT 12222 SOS 2203 HAS SOPS 2203 HAS SOUS 1949 HAS SOUPS 1949 WITH SCORE 1951.203
AT ITER 7715 NEW BEST:: SOT 12221 SOS 2200 HAS SOPS 2200 HAS SOUS 1946 HAS SOUPS 1946 WITH SCORE 1948.2
AT ITER 7805 NEW BEST:: SOT 12221 SOS 2199 HAS SOPS 2199 HAS SOUS 1945 HAS SOUPS 1945 WITH SCORE 1947.199
AT ITER 7826 NEW BEST:: SOT 12221 SOS 2195 HAS SOPS 2195 HAS SOUS 1945 HAS SOUPS 1945 WITH SCORE 1947.195
AT ITER 8016 NEW BEST:: SOT 12227 SOS 2192 HAS SOPS 2192 HAS SOUS 1945 HAS SOUPS 1945 WITH SCORE 1947.192
AT ITER 8464 NEW BEST:: SOT 12222 SOS 2187 HAS SOPS 2187 HAS SOUS 1940 HAS SOUPS 1940 WITH SCORE 1942.187
AT ITER 8549 NEW BEST:: SOT 12219 SOS 2181 HAS SOPS 2181 HAS SOUS 1940 HAS SOUPS 1940 WITH SCORE 1942.181
AT ITER 8792 NEW BEST:: SOT 12219 SOS 2180 HAS SOPS 2180 HAS SOUS 1940 HAS SOUPS 1940 WITH SCORE 1942.18
AT ITER 8864 NEW BEST:: SOT 12219 SOS 2178 HAS SOPS 2178 HAS SOUS 1940 HAS SOUPS 1940 WITH SCORE 1942.178
AT ITER 8894 NEW BEST:: SOT 12217 SOS 2176 HAS SOPS 2176 HAS SOUS 1938 HAS SOUPS 1938 WITH SCORE 1940.176
AT ITER 9032 NEW BEST:: SOT 12214 SOS 2186 HAS SOPS 2186 HAS SOUS 1935 HAS SOUPS 1935 WITH SCORE 1937.186
AT ITER 9116 NEW BEST:: SOT 12214 SOS 2180 HAS SOPS 2180 HAS SOUS 1935 HAS SOUPS 1935 WITH SCORE 1937.18
AT ITER 9138 NEW BEST:: SOT 12214 SOS 2175 HAS SOPS 2175 HAS SOUS 1935 HAS SOUPS 1935 WITH SCORE 1937.175
AT ITER 9250 NEW BEST:: SOT 12214 SOS 2174 HAS SOPS 2174 HAS SOUS 1935 HAS SOUPS 1935 WITH SCORE 1937.174
AT ITER 9273 NEW BEST:: SOT 12212 SOS 2170 HAS SOPS 2170 HAS SOUS 1933 HAS SOUPS 1933 WITH SCORE 1935.17
AT ITER 9299 NEW BEST:: SOT 12208 SOS 2166 HAS SOPS 2166 HAS SOUS 1929 HAS SOUPS 1929 WITH SCORE 1931.166
AT ITER 9369 NEW BEST:: SOT 12208 SOS 2164 HAS SOPS 2164 HAS SOUS 1927 HAS SOUPS 1927 WITH SCORE 1929.164
AT ITER 9569 NEW BEST:: SOT 12206 SOS 2162 HAS SOPS 2162 HAS SOUS 1927 HAS SOUPS 1927 WITH SCORE 1929.162
AT ITER 9877 NEW BEST:: SOT 12205 SOS 2161 HAS SOPS 2161 HAS SOUS 1926 HAS SOUPS 1926 WITH SCORE 1928.161
STATE_SPACE STATES 1226909246274 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 13 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 13618790532084 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679383456724

--------------------
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="ShieldRVt-PT-003B"
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 ShieldRVt-PT-003B, 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 r427-tajo-167905979400224"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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