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.r139-smll-167819422900416.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 DiscoveryGPU-PT-14a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r139-smll-167819422900416
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 476K
-rw-r--r-- 1 mcc users 5.0K Feb 25 13:43 CTLCardinality.txt
-rw-r--r-- 1 mcc users 47K Feb 25 13:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 25 13:40 CTLFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 25 13:40 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:00 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 13:44 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 136K Feb 25 13:44 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.1K Feb 25 13:43 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 58K Feb 25 13:43 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:00 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:00 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 50K 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 1678398191236

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=DiscoveryGPU-PT-14a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 21:43:14] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 21:43:14] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 21:43:14] [INFO ] Load time of PNML (sax parser for PT used): 106 ms
[2023-03-09 21:43:14] [INFO ] Transformed 143 places.
[2023-03-09 21:43:14] [INFO ] Transformed 197 transitions.
[2023-03-09 21:43:14] [INFO ] Found NUPN structural information;
[2023-03-09 21:43:14] [INFO ] Parsed PT model containing 143 places and 197 transitions and 633 arcs in 246 ms.
[2023-03-09 21:43:14] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 143 places, 197 transitions and 633 arcs took 10 ms.
Total runtime 317 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DiscoveryGPU (PT), instance 14a
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: 143 places, 197 transitions, 633 arcs.
AT ITER 0 NEW BEST:: SOT 20697 SOS 10302 HAS SOPS 10302 HAS SOUS 10225 HAS SOUPS 10225 WITH SCORE 10235.302
AT ITER 1 NEW BEST:: SOT 20730 SOS 10302 HAS SOPS 10302 HAS SOUS 10192 HAS SOUPS 10192 WITH SCORE 10202.302
AT ITER 4 NEW BEST:: SOT 20787 SOS 10244 HAS SOPS 10244 HAS SOUS 10134 HAS SOUPS 10134 WITH SCORE 10144.244
AT ITER 5 NEW BEST:: SOT 20808 SOS 10249 HAS SOPS 10249 HAS SOUS 10126 HAS SOUPS 10126 WITH SCORE 10136.249
AT ITER 8 NEW BEST:: SOT 20841 SOS 10246 HAS SOPS 10246 HAS SOUS 10091 HAS SOUPS 10091 WITH SCORE 10101.246
AT ITER 16 NEW BEST:: SOT 20925 SOS 10245 HAS SOPS 10245 HAS SOUS 10090 HAS SOUPS 10090 WITH SCORE 10100.245
AT ITER 21 NEW BEST:: SOT 20917 SOS 10275 HAS SOPS 10275 HAS SOUS 10082 HAS SOUPS 10082 WITH SCORE 10092.275
AT ITER 25 NEW BEST:: SOT 20969 SOS 10278 HAS SOPS 10278 HAS SOUS 10079 HAS SOUPS 10079 WITH SCORE 10089.278
AT ITER 26 NEW BEST:: SOT 20986 SOS 10278 HAS SOPS 10278 HAS SOUS 10062 HAS SOUPS 10062 WITH SCORE 10072.278
AT ITER 36 NEW BEST:: SOT 20995 SOS 10275 HAS SOPS 10275 HAS SOUS 10041 HAS SOUPS 10041 WITH SCORE 10051.275
AT ITER 38 NEW BEST:: SOT 20075 SOS 9354 HAS SOPS 9354 HAS SOUS 9153 HAS SOUPS 9153 WITH SCORE 9162.354
AT ITER 39 NEW BEST:: SOT 20074 SOS 9404 HAS SOPS 9404 HAS SOUS 9113 HAS SOUPS 9113 WITH SCORE 9122.404
AT ITER 43 NEW BEST:: SOT 19050 SOS 8385 HAS SOPS 8362 HAS SOUS 8081 HAS SOUPS 8071 WITH SCORE 8079.385
AT ITER 44 NEW BEST:: SOT 19050 SOS 8340 HAS SOPS 8314 HAS SOUS 8057 HAS SOUPS 8044 WITH SCORE 8052.34
AT ITER 45 NEW BEST:: SOT 18960 SOS 8070 HAS SOPS 8044 HAS SOUS 7877 HAS SOUPS 7864 WITH SCORE 7872.07
AT ITER 51 NEW BEST:: SOT 18959 SOS 8077 HAS SOPS 8051 HAS SOUS 7876 HAS SOUPS 7863 WITH SCORE 7871.077
AT ITER 61 NEW BEST:: SOT 18963 SOS 8105 HAS SOPS 8079 HAS SOUS 7862 HAS SOUPS 7849 WITH SCORE 7857.105
AT ITER 65 NEW BEST:: SOT 18963 SOS 8105 HAS SOPS 8079 HAS SOUS 7830 HAS SOUPS 7817 WITH SCORE 7825.105
AT ITER 77 NEW BEST:: SOT 18962 SOS 8102 HAS SOPS 8076 HAS SOUS 7828 HAS SOUPS 7815 WITH SCORE 7823.102
AT ITER 79 NEW BEST:: SOT 18961 SOS 8140 HAS SOPS 8114 HAS SOUS 7827 HAS SOUPS 7814 WITH SCORE 7822.14
AT ITER 110 NEW BEST:: SOT 18961 SOS 8136 HAS SOPS 8110 HAS SOUS 7823 HAS SOUPS 7810 WITH SCORE 7818.136
AT ITER 113 NEW BEST:: SOT 18983 SOS 8156 HAS SOPS 8130 HAS SOUS 7821 HAS SOUPS 7808 WITH SCORE 7816.156
AT ITER 115 NEW BEST:: SOT 18993 SOS 8151 HAS SOPS 8113 HAS SOUS 7804 HAS SOUPS 7789 WITH SCORE 7797.151
AT ITER 123 NEW BEST:: SOT 18950 SOS 8133 HAS SOPS 8091 HAS SOUS 7783 HAS SOUPS 7767 WITH SCORE 7775.133
AT ITER 126 NEW BEST:: SOT 18949 SOS 8130 HAS SOPS 8088 HAS SOUS 7781 HAS SOUPS 7765 WITH SCORE 7773.13
AT ITER 140 NEW BEST:: SOT 18941 SOS 8122 HAS SOPS 8080 HAS SOUS 7781 HAS SOUPS 7765 WITH SCORE 7773.122
AT ITER 148 NEW BEST:: SOT 18940 SOS 8119 HAS SOPS 8077 HAS SOUS 7780 HAS SOUPS 7764 WITH SCORE 7772.119
AT ITER 158 NEW BEST:: SOT 18940 SOS 8121 HAS SOPS 8077 HAS SOUS 7786 HAS SOUPS 7762 WITH SCORE 7770.121
AT ITER 161 NEW BEST:: SOT 18940 SOS 8094 HAS SOPS 8037 HAS SOUS 7748 HAS SOUPS 7723 WITH SCORE 7731.094
AT ITER 162 NEW BEST:: SOT 18939 SOS 8092 HAS SOPS 8035 HAS SOUS 7747 HAS SOUPS 7722 WITH SCORE 7730.092
AT ITER 167 NEW BEST:: SOT 16555 SOS 9293 HAS SOPS 5740 HAS SOUS 5609 HAS SOUPS 5488 WITH SCORE 5497.293
AT ITER 181 NEW BEST:: SOT 16554 SOS 9318 HAS SOPS 5765 HAS SOUS 5593 HAS SOUPS 5472 WITH SCORE 5481.318
AT ITER 188 NEW BEST:: SOT 16613 SOS 9376 HAS SOPS 5761 HAS SOUS 5564 HAS SOUPS 5435 WITH SCORE 5444.376
AT ITER 194 NEW BEST:: SOT 15579 SOS 9693 HAS SOPS 4726 HAS SOUS 4915 HAS SOUPS 4704 WITH SCORE 4713.693
AT ITER 196 NEW BEST:: SOT 15557 SOS 9654 HAS SOPS 4682 HAS SOUS 4871 HAS SOUPS 4660 WITH SCORE 4669.654
AT ITER 205 NEW BEST:: SOT 15592 SOS 9673 HAS SOPS 4670 HAS SOUS 4865 HAS SOUPS 4648 WITH SCORE 4657.673
AT ITER 212 NEW BEST:: SOT 15582 SOS 9684 HAS SOPS 4650 HAS SOUS 4845 HAS SOUPS 4628 WITH SCORE 4637.684
AT ITER 214 NEW BEST:: SOT 15581 SOS 9642 HAS SOPS 4566 HAS SOUS 4761 HAS SOUPS 4544 WITH SCORE 4553.642
AT ITER 219 NEW BEST:: SOT 15563 SOS 9606 HAS SOPS 4512 HAS SOUS 4707 HAS SOUPS 4490 WITH SCORE 4499.606
AT ITER 226 NEW BEST:: SOT 15524 SOS 9548 HAS SOPS 4434 HAS SOUS 4629 HAS SOUPS 4412 WITH SCORE 4421.548
AT ITER 231 NEW BEST:: SOT 15481 SOS 9454 HAS SOPS 4289 HAS SOUS 4485 HAS SOUPS 4268 WITH SCORE 4277.454
AT ITER 233 NEW BEST:: SOT 15464 SOS 9437 HAS SOPS 4272 HAS SOUS 4468 HAS SOUPS 4251 WITH SCORE 4260.437
AT ITER 243 NEW BEST:: SOT 15520 SOS 9439 HAS SOPS 4222 HAS SOUS 4418 HAS SOUPS 4201 WITH SCORE 4210.439
AT ITER 248 NEW BEST:: SOT 15442 SOS 9364 HAS SOPS 4111 HAS SOUS 4307 HAS SOUPS 4090 WITH SCORE 4099.364
AT ITER 254 NEW BEST:: SOT 15452 SOS 9372 HAS SOPS 4119 HAS SOUS 4303 HAS SOUPS 4086 WITH SCORE 4095.372
AT ITER 280 NEW BEST:: SOT 15450 SOS 9390 HAS SOPS 4115 HAS SOUS 4299 HAS SOUPS 4082 WITH SCORE 4091.39
AT ITER 291 NEW BEST:: SOT 15445 SOS 9459 HAS SOPS 4109 HAS SOUS 4295 HAS SOUPS 4077 WITH SCORE 4086.459
AT ITER 306 NEW BEST:: SOT 15441 SOS 9519 HAS SOPS 4103 HAS SOUS 4295 HAS SOUPS 4075 WITH SCORE 4084.519
AT ITER 309 NEW BEST:: SOT 15392 SOS 9470 HAS SOPS 4023 HAS SOUS 4228 HAS SOUPS 3995 WITH SCORE 4004.47
AT ITER 313 NEW BEST:: SOT 15383 SOS 9460 HAS SOPS 4005 HAS SOUS 4210 HAS SOUPS 3977 WITH SCORE 3986.46
AT ITER 316 NEW BEST:: SOT 15357 SOS 9473 HAS SOPS 3953 HAS SOUS 4158 HAS SOUPS 3925 WITH SCORE 3934.473
AT ITER 318 NEW BEST:: SOT 15293 SOS 9415 HAS SOPS 3879 HAS SOUS 4084 HAS SOUPS 3851 WITH SCORE 3860.415
AT ITER 340 NEW BEST:: SOT 15301 SOS 9423 HAS SOPS 3864 HAS SOUS 4069 HAS SOUPS 3836 WITH SCORE 3845.423
AT ITER 342 NEW BEST:: SOT 15296 SOS 9430 HAS SOPS 3854 HAS SOUS 4059 HAS SOUPS 3826 WITH SCORE 3835.43
AT ITER 343 NEW BEST:: SOT 15289 SOS 9415 HAS SOPS 3831 HAS SOUS 4036 HAS SOUPS 3803 WITH SCORE 3812.415
AT ITER 344 NEW BEST:: SOT 15285 SOS 9409 HAS SOPS 3823 HAS SOUS 4028 HAS SOUPS 3795 WITH SCORE 3804.409
AT ITER 347 NEW BEST:: SOT 15309 SOS 9423 HAS SOPS 3813 HAS SOUS 4018 HAS SOUPS 3785 WITH SCORE 3794.423
AT ITER 348 NEW BEST:: SOT 15301 SOS 9415 HAS SOPS 3801 HAS SOUS 4006 HAS SOUPS 3773 WITH SCORE 3782.415
AT ITER 355 NEW BEST:: SOT 15297 SOS 9411 HAS SOPS 3793 HAS SOUS 3998 HAS SOUPS 3765 WITH SCORE 3774.411
AT ITER 362 NEW BEST:: SOT 15283 SOS 9412 HAS SOPS 3787 HAS SOUS 3992 HAS SOUPS 3759 WITH SCORE 3768.412
AT ITER 406 NEW BEST:: SOT 15283 SOS 9376 HAS SOPS 3751 HAS SOUS 3956 HAS SOUPS 3723 WITH SCORE 3732.376
AT ITER 409 NEW BEST:: SOT 15274 SOS 9367 HAS SOPS 3733 HAS SOUS 3938 HAS SOUPS 3705 WITH SCORE 3714.367
AT ITER 411 NEW BEST:: SOT 15265 SOS 9358 HAS SOPS 3715 HAS SOUS 3920 HAS SOUPS 3687 WITH SCORE 3696.358
AT ITER 422 NEW BEST:: SOT 15244 SOS 9354 HAS SOPS 3673 HAS SOUS 3878 HAS SOUPS 3645 WITH SCORE 3654.354
AT ITER 426 NEW BEST:: SOT 15244 SOS 9330 HAS SOPS 3625 HAS SOUS 3830 HAS SOUPS 3597 WITH SCORE 3606.33
AT ITER 435 NEW BEST:: SOT 15242 SOS 9327 HAS SOPS 3621 HAS SOUS 3826 HAS SOUPS 3593 WITH SCORE 3602.327
AT ITER 439 NEW BEST:: SOT 15218 SOS 9270 HAS SOPS 3489 HAS SOUS 3694 HAS SOUPS 3461 WITH SCORE 3470.27
AT ITER 446 NEW BEST:: SOT 15172 SOS 9201 HAS SOPS 3397 HAS SOUS 3602 HAS SOUPS 3369 WITH SCORE 3378.201
AT ITER 459 NEW BEST:: SOT 15167 SOS 9195 HAS SOPS 3387 HAS SOUS 3592 HAS SOUPS 3359 WITH SCORE 3368.195
AT ITER 499 NEW BEST:: SOT 15145 SOS 9190 HAS SOPS 3343 HAS SOUS 3548 HAS SOUPS 3315 WITH SCORE 3324.19
AT ITER 509 NEW BEST:: SOT 15164 SOS 9153 HAS SOPS 3325 HAS SOUS 3530 HAS SOUPS 3297 WITH SCORE 3306.153
AT ITER 524 NEW BEST:: SOT 15146 SOS 9126 HAS SOPS 3289 HAS SOUS 3494 HAS SOUPS 3261 WITH SCORE 3270.126
AT ITER 546 NEW BEST:: SOT 15138 SOS 9144 HAS SOPS 3273 HAS SOUS 3478 HAS SOUPS 3245 WITH SCORE 3254.144
AT ITER 554 NEW BEST:: SOT 15115 SOS 9098 HAS SOPS 3181 HAS SOUS 3386 HAS SOUPS 3153 WITH SCORE 3162.098
AT ITER 569 NEW BEST:: SOT 15114 SOS 9092 HAS SOPS 3174 HAS SOUS 3379 HAS SOUPS 3146 WITH SCORE 3155.092
AT ITER 587 NEW BEST:: SOT 15166 SOS 9088 HAS SOPS 3116 HAS SOUS 3321 HAS SOUPS 3088 WITH SCORE 3097.088
AT ITER 594 NEW BEST:: SOT 15164 SOS 9086 HAS SOPS 3112 HAS SOUS 3317 HAS SOUPS 3084 WITH SCORE 3093.086
AT ITER 602 NEW BEST:: SOT 15164 SOS 9085 HAS SOPS 3111 HAS SOUS 3316 HAS SOUPS 3083 WITH SCORE 3092.085
AT ITER 607 NEW BEST:: SOT 15146 SOS 9086 HAS SOPS 3098 HAS SOUS 3300 HAS SOUPS 3067 WITH SCORE 3076.086
AT ITER 629 NEW BEST:: SOT 15144 SOS 9083 HAS SOPS 3094 HAS SOUS 3296 HAS SOUPS 3063 WITH SCORE 3072.083
AT ITER 646 NEW BEST:: SOT 15147 SOS 9059 HAS SOPS 3073 HAS SOUS 3275 HAS SOUPS 3042 WITH SCORE 3051.059
AT ITER 649 NEW BEST:: SOT 15130 SOS 9042 HAS SOPS 3056 HAS SOUS 3258 HAS SOUPS 3025 WITH SCORE 3034.042
AT ITER 651 NEW BEST:: SOT 15124 SOS 9036 HAS SOPS 3038 HAS SOUS 3240 HAS SOUPS 3007 WITH SCORE 3016.036
AT ITER 665 NEW BEST:: SOT 15114 SOS 9027 HAS SOPS 3018 HAS SOUS 3220 HAS SOUPS 2987 WITH SCORE 2996.027
AT ITER 676 NEW BEST:: SOT 15109 SOS 9016 HAS SOPS 3008 HAS SOUS 3210 HAS SOUPS 2977 WITH SCORE 2986.016
AT ITER 680 NEW BEST:: SOT 15115 SOS 9022 HAS SOPS 2998 HAS SOUS 3200 HAS SOUPS 2967 WITH SCORE 2976.022
AT ITER 703 NEW BEST:: SOT 15155 SOS 8996 HAS SOPS 2943 HAS SOUS 3153 HAS SOUPS 2920 WITH SCORE 2928.996
AT ITER 710 NEW BEST:: SOT 15150 SOS 8991 HAS SOPS 2933 HAS SOUS 3143 HAS SOUPS 2910 WITH SCORE 2918.991
AT ITER 711 NEW BEST:: SOT 15136 SOS 8963 HAS SOPS 2905 HAS SOUS 3115 HAS SOUPS 2882 WITH SCORE 2890.963
AT ITER 754 NEW BEST:: SOT 15136 SOS 8959 HAS SOPS 2900 HAS SOUS 3114 HAS SOUPS 2881 WITH SCORE 2889.959
AT ITER 760 NEW BEST:: SOT 15136 SOS 8954 HAS SOPS 2890 HAS SOUS 3106 HAS SOUPS 2871 WITH SCORE 2879.954
AT ITER 774 NEW BEST:: SOT 15136 SOS 8954 HAS SOPS 2850 HAS SOUS 3066 HAS SOUPS 2831 WITH SCORE 2839.954
AT ITER 821 NEW BEST:: SOT 15138 SOS 8937 HAS SOPS 2835 HAS SOUS 3051 HAS SOUPS 2816 WITH SCORE 2824.937
AT ITER 829 NEW BEST:: SOT 15126 SOS 8925 HAS SOPS 2817 HAS SOUS 3033 HAS SOUPS 2798 WITH SCORE 2806.925
AT ITER 847 NEW BEST:: SOT 15116 SOS 8915 HAS SOPS 2807 HAS SOUS 3023 HAS SOUPS 2788 WITH SCORE 2796.915
AT ITER 853 NEW BEST:: SOT 15114 SOS 8913 HAS SOPS 2805 HAS SOUS 3021 HAS SOUPS 2786 WITH SCORE 2794.913
AT ITER 864 NEW BEST:: SOT 15113 SOS 8911 HAS SOPS 2803 HAS SOUS 3019 HAS SOUPS 2784 WITH SCORE 2792.911
AT ITER 868 NEW BEST:: SOT 15111 SOS 8908 HAS SOPS 2799 HAS SOUS 3015 HAS SOUPS 2780 WITH SCORE 2788.908
AT ITER 901 NEW BEST:: SOT 15061 SOS 8877 HAS SOPS 2742 HAS SOUS 2960 HAS SOUPS 2723 WITH SCORE 2731.877
AT ITER 908 NEW BEST:: SOT 15057 SOS 8873 HAS SOPS 2736 HAS SOUS 2954 HAS SOUPS 2717 WITH SCORE 2725.873
AT ITER 917 NEW BEST:: SOT 15066 SOS 8860 HAS SOPS 2723 HAS SOUS 2941 HAS SOUPS 2704 WITH SCORE 2712.86
AT ITER 940 NEW BEST:: SOT 15114 SOS 8867 HAS SOPS 2696 HAS SOUS 2914 HAS SOUPS 2677 WITH SCORE 2685.867
AT ITER 959 NEW BEST:: SOT 15112 SOS 8865 HAS SOPS 2696 HAS SOUS 2914 HAS SOUPS 2677 WITH SCORE 2685.865
AT ITER 966 NEW BEST:: SOT 15086 SOS 8840 HAS SOPS 2644 HAS SOUS 2862 HAS SOUPS 2625 WITH SCORE 2633.84
AT ITER 995 NEW BEST:: SOT 15084 SOS 8837 HAS SOPS 2640 HAS SOUS 2858 HAS SOUPS 2621 WITH SCORE 2629.837
AT ITER 1000 NEW BEST:: SOT 15083 SOS 8836 HAS SOPS 2638 HAS SOUS 2856 HAS SOUPS 2619 WITH SCORE 2627.836
AT ITER 1003 NEW BEST:: SOT 15100 SOS 8853 HAS SOPS 2633 HAS SOUS 2851 HAS SOUPS 2614 WITH SCORE 2622.853
AT ITER 1013 NEW BEST:: SOT 15097 SOS 8850 HAS SOPS 2627 HAS SOUS 2845 HAS SOUPS 2608 WITH SCORE 2616.85
AT ITER 1035 NEW BEST:: SOT 15114 SOS 8861 HAS SOPS 2619 HAS SOUS 2837 HAS SOUPS 2600 WITH SCORE 2608.861
AT ITER 1036 NEW BEST:: SOT 15103 SOS 8850 HAS SOPS 2597 HAS SOUS 2815 HAS SOUPS 2578 WITH SCORE 2586.85
AT ITER 1041 NEW BEST:: SOT 15101 SOS 8848 HAS SOPS 2593 HAS SOUS 2811 HAS SOUPS 2574 WITH SCORE 2582.848
AT ITER 1067 NEW BEST:: SOT 15099 SOS 8845 HAS SOPS 2589 HAS SOUS 2807 HAS SOUPS 2570 WITH SCORE 2578.845
AT ITER 1069 NEW BEST:: SOT 15097 SOS 8844 HAS SOPS 2587 HAS SOUS 2805 HAS SOUPS 2568 WITH SCORE 2576.844
AT ITER 1072 NEW BEST:: SOT 15088 SOS 8835 HAS SOPS 2572 HAS SOUS 2790 HAS SOUPS 2553 WITH SCORE 2561.835
AT ITER 1075 NEW BEST:: SOT 15074 SOS 9608 HAS SOPS 2563 HAS SOUS 2792 HAS SOUPS 2545 WITH SCORE 2554.608
AT ITER 1087 NEW BEST:: SOT 15073 SOS 9607 HAS SOPS 2561 HAS SOUS 2790 HAS SOUPS 2543 WITH SCORE 2552.607
AT ITER 1105 NEW BEST:: SOT 15073 SOS 9606 HAS SOPS 2559 HAS SOUS 2788 HAS SOUPS 2541 WITH SCORE 2550.606
AT ITER 1132 NEW BEST:: SOT 15033 SOS 9566 HAS SOPS 2533 HAS SOUS 2762 HAS SOUPS 2515 WITH SCORE 2524.566
AT ITER 1136 NEW BEST:: SOT 15033 SOS 9565 HAS SOPS 2532 HAS SOUS 2761 HAS SOUPS 2514 WITH SCORE 2523.565
AT ITER 1166 NEW BEST:: SOT 15033 SOS 9560 HAS SOPS 2522 HAS SOUS 2751 HAS SOUPS 2504 WITH SCORE 2513.56
AT ITER 1189 NEW BEST:: SOT 15023 SOS 9555 HAS SOPS 2512 HAS SOUS 2741 HAS SOUPS 2494 WITH SCORE 2503.555
AT ITER 1204 NEW BEST:: SOT 15023 SOS 9555 HAS SOPS 2511 HAS SOUS 2740 HAS SOUPS 2493 WITH SCORE 2502.555
AT ITER 1207 NEW BEST:: SOT 15029 SOS 9561 HAS SOPS 2509 HAS SOUS 2738 HAS SOUPS 2491 WITH SCORE 2500.561
AT ITER 1252 NEW BEST:: SOT 15029 SOS 9558 HAS SOPS 2509 HAS SOUS 2738 HAS SOUPS 2491 WITH SCORE 2500.558
AT ITER 1264 NEW BEST:: SOT 15029 SOS 9555 HAS SOPS 2503 HAS SOUS 2732 HAS SOUPS 2485 WITH SCORE 2494.555
AT ITER 1265 NEW BEST:: SOT 15015 SOS 9541 HAS SOPS 2500 HAS SOUS 2727 HAS SOUPS 2482 WITH SCORE 2491.541
AT ITER 1289 NEW BEST:: SOT 15018 SOS 9544 HAS SOPS 2492 HAS SOUS 2719 HAS SOUPS 2474 WITH SCORE 2483.544
AT ITER 1304 NEW BEST:: SOT 15007 SOS 9533 HAS SOPS 2484 HAS SOUS 2711 HAS SOUPS 2466 WITH SCORE 2475.533
AT ITER 1312 NEW BEST:: SOT 14978 SOS 9549 HAS SOPS 2480 HAS SOUS 2707 HAS SOUPS 2462 WITH SCORE 2471.549
AT ITER 1327 NEW BEST:: SOT 14976 SOS 9545 HAS SOPS 2476 HAS SOUS 2703 HAS SOUPS 2458 WITH SCORE 2467.545
AT ITER 1360 NEW BEST:: SOT 14964 SOS 9540 HAS SOPS 2466 HAS SOUS 2693 HAS SOUPS 2448 WITH SCORE 2457.54
AT ITER 1361 NEW BEST:: SOT 14960 SOS 9538 HAS SOPS 2466 HAS SOUS 2692 HAS SOUPS 2448 WITH SCORE 2457.538
AT ITER 1362 NEW BEST:: SOT 14934 SOS 9512 HAS SOPS 2426 HAS SOUS 2659 HAS SOUPS 2415 WITH SCORE 2424.512
AT ITER 1363 NEW BEST:: SOT 14934 SOS 9512 HAS SOPS 2421 HAS SOUS 2654 HAS SOUPS 2410 WITH SCORE 2419.512
AT ITER 1448 NEW BEST:: SOT 14938 SOS 9542 HAS SOPS 2429 HAS SOUS 2650 HAS SOUPS 2406 WITH SCORE 2415.542
AT ITER 1452 NEW BEST:: SOT 14932 SOS 9541 HAS SOPS 2425 HAS SOUS 2646 HAS SOUPS 2402 WITH SCORE 2411.541
AT ITER 1457 NEW BEST:: SOT 14925 SOS 9538 HAS SOPS 2421 HAS SOUS 2642 HAS SOUPS 2398 WITH SCORE 2407.538
AT ITER 1467 NEW BEST:: SOT 14925 SOS 9531 HAS SOPS 2407 HAS SOUS 2628 HAS SOUPS 2384 WITH SCORE 2393.531
AT ITER 1475 NEW BEST:: SOT 14916 SOS 9529 HAS SOPS 2405 HAS SOUS 2626 HAS SOUPS 2382 WITH SCORE 2391.529
AT ITER 1481 NEW BEST:: SOT 14914 SOS 9527 HAS SOPS 2403 HAS SOUS 2624 HAS SOUPS 2380 WITH SCORE 2389.527
AT ITER 1492 NEW BEST:: SOT 14921 SOS 9528 HAS SOPS 2399 HAS SOUS 2620 HAS SOUPS 2376 WITH SCORE 2385.528
AT ITER 1493 NEW BEST:: SOT 14918 SOS 9525 HAS SOPS 2398 HAS SOUS 2619 HAS SOUPS 2375 WITH SCORE 2384.525
AT ITER 1504 NEW BEST:: SOT 14916 SOS 9522 HAS SOPS 2394 HAS SOUS 2615 HAS SOUPS 2371 WITH SCORE 2380.522
AT ITER 1522 NEW BEST:: SOT 14912 SOS 9514 HAS SOPS 2386 HAS SOUS 2607 HAS SOUPS 2363 WITH SCORE 2372.514
AT ITER 1552 NEW BEST:: SOT 14881 SOS 9495 HAS SOPS 2372 HAS SOUS 2593 HAS SOUPS 2349 WITH SCORE 2358.495
AT ITER 1588 NEW BEST:: SOT 14907 SOS 9494 HAS SOPS 2370 HAS SOUS 2591 HAS SOUPS 2347 WITH SCORE 2356.494
AT ITER 1599 NEW BEST:: SOT 14897 SOS 9481 HAS SOPS 2350 HAS SOUS 2571 HAS SOUPS 2327 WITH SCORE 2336.481
AT ITER 1603 NEW BEST:: SOT 14884 SOS 9445 HAS SOPS 2301 HAS SOUS 2522 HAS SOUPS 2278 WITH SCORE 2287.445
AT ITER 1641 NEW BEST:: SOT 14880 SOS 9437 HAS SOPS 2293 HAS SOUS 2514 HAS SOUPS 2270 WITH SCORE 2279.437
AT ITER 1642 NEW BEST:: SOT 14873 SOS 9430 HAS SOPS 2286 HAS SOUS 2507 HAS SOUPS 2263 WITH SCORE 2272.43
AT ITER 1655 NEW BEST:: SOT 14888 SOS 9420 HAS SOPS 2256 HAS SOUS 2477 HAS SOUPS 2233 WITH SCORE 2242.42
AT ITER 1662 NEW BEST:: SOT 14892 SOS 9413 HAS SOPS 2227 HAS SOUS 2448 HAS SOUPS 2204 WITH SCORE 2213.413
AT ITER 1694 NEW BEST:: SOT 14911 SOS 9431 HAS SOPS 2225 HAS SOUS 2446 HAS SOUPS 2202 WITH SCORE 2211.431
AT ITER 1704 NEW BEST:: SOT 14911 SOS 9412 HAS SOPS 2212 HAS SOUS 2440 HAS SOUPS 2196 WITH SCORE 2205.412
AT ITER 1711 NEW BEST:: SOT 14990 SOS 9401 HAS SOPS 2190 HAS SOUS 2418 HAS SOUPS 2174 WITH SCORE 2183.401
AT ITER 1790 NEW BEST:: SOT 15006 SOS 9401 HAS SOPS 2174 HAS SOUS 2402 HAS SOUPS 2158 WITH SCORE 2167.401
AT ITER 1811 NEW BEST:: SOT 15002 SOS 9397 HAS SOPS 2166 HAS SOUS 2394 HAS SOUPS 2150 WITH SCORE 2159.397
AT ITER 1822 NEW BEST:: SOT 14994 SOS 9389 HAS SOPS 2166 HAS SOUS 2394 HAS SOUPS 2150 WITH SCORE 2159.389
AT ITER 1827 NEW BEST:: SOT 14994 SOS 9387 HAS SOPS 2166 HAS SOUS 2393 HAS SOUPS 2150 WITH SCORE 2159.387
AT ITER 1843 NEW BEST:: SOT 14987 SOS 9380 HAS SOPS 2159 HAS SOUS 2386 HAS SOUPS 2143 WITH SCORE 2152.38
AT ITER 1874 NEW BEST:: SOT 14987 SOS 9380 HAS SOPS 2155 HAS SOUS 2382 HAS SOUPS 2139 WITH SCORE 2148.38
AT ITER 1877 NEW BEST:: SOT 14983 SOS 9371 HAS SOPS 2138 HAS SOUS 2365 HAS SOUPS 2122 WITH SCORE 2131.371
AT ITER 1933 NEW BEST:: SOT 15047 SOS 9385 HAS SOPS 2116 HAS SOUS 2343 HAS SOUPS 2100 WITH SCORE 2109.385
AT ITER 1943 NEW BEST:: SOT 15051 SOS 9387 HAS SOPS 2112 HAS SOUS 2343 HAS SOUPS 2096 WITH SCORE 2105.387
AT ITER 1998 NEW BEST:: SOT 15050 SOS 9421 HAS SOPS 2110 HAS SOUS 2343 HAS SOUPS 2095 WITH SCORE 2104.421
AT ITER 2001 NEW BEST:: SOT 15041 SOS 9412 HAS SOPS 2092 HAS SOUS 2325 HAS SOUPS 2077 WITH SCORE 2086.412
AT ITER 2045 NEW BEST:: SOT 15041 SOS 9409 HAS SOPS 2089 HAS SOUS 2322 HAS SOUPS 2074 WITH SCORE 2083.409
AT ITER 2067 NEW BEST:: SOT 15038 SOS 9406 HAS SOPS 2083 HAS SOUS 2316 HAS SOUPS 2068 WITH SCORE 2077.406
AT ITER 2115 NEW BEST:: SOT 15037 SOS 9405 HAS SOPS 2083 HAS SOUS 2316 HAS SOUPS 2068 WITH SCORE 2077.405
AT ITER 2162 NEW BEST:: SOT 15027 SOS 9395 HAS SOPS 2063 HAS SOUS 2296 HAS SOUPS 2048 WITH SCORE 2057.395
AT ITER 2180 NEW BEST:: SOT 15019 SOS 9388 HAS SOPS 2057 HAS SOUS 2290 HAS SOUPS 2042 WITH SCORE 2051.388
AT ITER 2195 NEW BEST:: SOT 15018 SOS 9386 HAS SOPS 2054 HAS SOUS 2287 HAS SOUPS 2039 WITH SCORE 2048.386
AT ITER 2217 NEW BEST:: SOT 15015 SOS 9374 HAS SOPS 2042 HAS SOUS 2281 HAS SOUPS 2033 WITH SCORE 2042.374
AT ITER 2226 NEW BEST:: SOT 15021 SOS 9370 HAS SOPS 2032 HAS SOUS 2271 HAS SOUPS 2023 WITH SCORE 2032.37
AT ITER 2277 NEW BEST:: SOT 15018 SOS 9367 HAS SOPS 2026 HAS SOUS 2265 HAS SOUPS 2017 WITH SCORE 2026.367
AT ITER 2278 NEW BEST:: SOT 15005 SOS 9366 HAS SOPS 2017 HAS SOUS 2256 HAS SOUPS 2008 WITH SCORE 2017.366
AT ITER 2289 NEW BEST:: SOT 15004 SOS 9363 HAS SOPS 2015 HAS SOUS 2254 HAS SOUPS 2006 WITH SCORE 2015.363
AT ITER 2353 NEW BEST:: SOT 15003 SOS 9362 HAS SOPS 2014 HAS SOUS 2253 HAS SOUPS 2005 WITH SCORE 2014.362
AT ITER 2459 NEW BEST:: SOT 15000 SOS 9363 HAS SOPS 2012 HAS SOUS 2251 HAS SOUPS 2003 WITH SCORE 2012.363
AT ITER 2505 NEW BEST:: SOT 15000 SOS 9361 HAS SOPS 2011 HAS SOUS 2251 HAS SOUPS 2003 WITH SCORE 2012.361
AT ITER 2525 NEW BEST:: SOT 15000 SOS 9352 HAS SOPS 1993 HAS SOUS 2233 HAS SOUPS 1985 WITH SCORE 1994.352
AT ITER 2544 NEW BEST:: SOT 14999 SOS 9348 HAS SOPS 1991 HAS SOUS 2231 HAS SOUPS 1983 WITH SCORE 1992.348
AT ITER 2561 NEW BEST:: SOT 14998 SOS 9346 HAS SOPS 1988 HAS SOUS 2228 HAS SOUPS 1980 WITH SCORE 1989.346
AT ITER 2613 NEW BEST:: SOT 14998 SOS 9342 HAS SOPS 1984 HAS SOUS 2224 HAS SOUPS 1976 WITH SCORE 1985.342
AT ITER 2623 NEW BEST:: SOT 14974 SOS 9322 HAS SOPS 1952 HAS SOUS 2192 HAS SOUPS 1944 WITH SCORE 1953.322
AT ITER 2690 NEW BEST:: SOT 14952 SOS 9316 HAS SOPS 1940 HAS SOUS 2180 HAS SOUPS 1932 WITH SCORE 1941.316
AT ITER 2773 NEW BEST:: SOT 14999 SOS 9362 HAS SOPS 1936 HAS SOUS 2176 HAS SOUPS 1928 WITH SCORE 1937.362
AT ITER 2784 NEW BEST:: SOT 14997 SOS 9359 HAS SOPS 1932 HAS SOUS 2172 HAS SOUPS 1924 WITH SCORE 1933.359
AT ITER 2805 NEW BEST:: SOT 14996 SOS 9358 HAS SOPS 1930 HAS SOUS 2170 HAS SOUPS 1922 WITH SCORE 1931.358
AT ITER 2876 NEW BEST:: SOT 14994 SOS 9355 HAS SOPS 1926 HAS SOUS 2166 HAS SOUPS 1918 WITH SCORE 1927.355
AT ITER 2955 NEW BEST:: SOT 14992 SOS 9353 HAS SOPS 1922 HAS SOUS 2162 HAS SOUPS 1914 WITH SCORE 1923.353
AT ITER 2991 NEW BEST:: SOT 14997 SOS 9346 HAS SOPS 1906 HAS SOUS 2150 HAS SOUPS 1898 WITH SCORE 1907.346
AT ITER 3004 NEW BEST:: SOT 14995 SOS 9337 HAS SOPS 1895 HAS SOUS 2139 HAS SOUPS 1887 WITH SCORE 1896.337
AT ITER 3055 NEW BEST:: SOT 14998 SOS 9334 HAS SOPS 1895 HAS SOUS 2139 HAS SOUPS 1887 WITH SCORE 1896.334
AT ITER 3169 NEW BEST:: SOT 14978 SOS 9314 HAS SOPS 1855 HAS SOUS 2099 HAS SOUPS 1847 WITH SCORE 1856.314
AT ITER 3185 NEW BEST:: SOT 14978 SOS 9313 HAS SOPS 1855 HAS SOUS 2099 HAS SOUPS 1847 WITH SCORE 1856.313
AT ITER 3260 NEW BEST:: SOT 14981 SOS 9313 HAS SOPS 1846 HAS SOUS 2090 HAS SOUPS 1838 WITH SCORE 1847.313
AT ITER 3263 NEW BEST:: SOT 14978 SOS 9310 HAS SOPS 1840 HAS SOUS 2084 HAS SOUPS 1832 WITH SCORE 1841.31
AT ITER 3297 NEW BEST:: SOT 14973 SOS 9305 HAS SOPS 1830 HAS SOUS 2074 HAS SOUPS 1822 WITH SCORE 1831.305
AT ITER 3316 NEW BEST:: SOT 14971 SOS 9303 HAS SOPS 1828 HAS SOUS 2072 HAS SOUPS 1820 WITH SCORE 1829.303
AT ITER 3387 NEW BEST:: SOT 14966 SOS 9290 HAS SOPS 1818 HAS SOUS 2068 HAS SOUPS 1816 WITH SCORE 1825.29
AT ITER 3411 NEW BEST:: SOT 14952 SOS 9293 HAS SOPS 1807 HAS SOUS 2057 HAS SOUPS 1805 WITH SCORE 1814.293
AT ITER 3475 NEW BEST:: SOT 14949 SOS 9290 HAS SOPS 1803 HAS SOUS 2053 HAS SOUPS 1801 WITH SCORE 1810.29
AT ITER 3482 NEW BEST:: SOT 14948 SOS 9289 HAS SOPS 1801 HAS SOUS 2051 HAS SOUPS 1799 WITH SCORE 1808.289
AT ITER 3549 NEW BEST:: SOT 14946 SOS 9288 HAS SOPS 1800 HAS SOUS 2050 HAS SOUPS 1798 WITH SCORE 1807.288
AT ITER 3587 NEW BEST:: SOT 14967 SOS 9284 HAS SOPS 1767 HAS SOUS 2017 HAS SOUPS 1765 WITH SCORE 1774.284
AT ITER 3665 NEW BEST:: SOT 14966 SOS 9283 HAS SOPS 1765 HAS SOUS 2015 HAS SOUPS 1763 WITH SCORE 1772.283
AT ITER 3668 NEW BEST:: SOT 14964 SOS 9280 HAS SOPS 1761 HAS SOUS 2011 HAS SOUPS 1759 WITH SCORE 1768.28
AT ITER 3793 NEW BEST:: SOT 14961 SOS 9273 HAS SOPS 1745 HAS SOUS 1995 HAS SOUPS 1743 WITH SCORE 1752.273
AT ITER 3801 NEW BEST:: SOT 14959 SOS 9275 HAS SOPS 1741 HAS SOUS 1991 HAS SOUPS 1739 WITH SCORE 1748.275
AT ITER 3887 NEW BEST:: SOT 14955 SOS 9271 HAS SOPS 1736 HAS SOUS 1986 HAS SOUPS 1734 WITH SCORE 1743.271
AT ITER 3925 NEW BEST:: SOT 14953 SOS 9345 HAS SOPS 1732 HAS SOUS 1984 HAS SOUPS 1730 WITH SCORE 1739.345
AT ITER 3963 NEW BEST:: SOT 14952 SOS 9344 HAS SOPS 1731 HAS SOUS 1983 HAS SOUPS 1729 WITH SCORE 1738.344
AT ITER 4051 NEW BEST:: SOT 14952 SOS 9338 HAS SOPS 1719 HAS SOUS 1971 HAS SOUPS 1717 WITH SCORE 1726.338
AT ITER 4101 NEW BEST:: SOT 14952 SOS 9333 HAS SOPS 1709 HAS SOUS 1961 HAS SOUPS 1707 WITH SCORE 1716.333
AT ITER 4148 NEW BEST:: SOT 14950 SOS 9331 HAS SOPS 1705 HAS SOUS 1957 HAS SOUPS 1703 WITH SCORE 1712.331
AT ITER 4163 NEW BEST:: SOT 14948 SOS 9328 HAS SOPS 1701 HAS SOUS 1953 HAS SOUPS 1699 WITH SCORE 1708.328
AT ITER 4223 NEW BEST:: SOT 14946 SOS 9324 HAS SOPS 1697 HAS SOUS 1949 HAS SOUPS 1695 WITH SCORE 1704.324
AT ITER 4224 NEW BEST:: SOT 14945 SOS 9323 HAS SOPS 1695 HAS SOUS 1947 HAS SOUPS 1693 WITH SCORE 1702.323
AT ITER 4271 NEW BEST:: SOT 14942 SOS 9320 HAS SOPS 1689 HAS SOUS 1941 HAS SOUPS 1687 WITH SCORE 1696.32
AT ITER 4274 NEW BEST:: SOT 14940 SOS 9317 HAS SOPS 1685 HAS SOUS 1937 HAS SOUPS 1683 WITH SCORE 1692.317
AT ITER 4278 NEW BEST:: SOT 14940 SOS 9317 HAS SOPS 1684 HAS SOUS 1937 HAS SOUPS 1682 WITH SCORE 1691.317
AT ITER 4284 NEW BEST:: SOT 14912 SOS 9307 HAS SOPS 1663 HAS SOUS 1916 HAS SOUPS 1661 WITH SCORE 1670.307
AT ITER 4305 NEW BEST:: SOT 14902 SOS 9297 HAS SOPS 1656 HAS SOUS 1909 HAS SOUPS 1654 WITH SCORE 1663.297
AT ITER 4355 NEW BEST:: SOT 14902 SOS 9296 HAS SOPS 1655 HAS SOUS 1908 HAS SOUPS 1653 WITH SCORE 1662.296
AT ITER 4386 NEW BEST:: SOT 14899 SOS 9293 HAS SOPS 1652 HAS SOUS 1905 HAS SOUPS 1650 WITH SCORE 1659.293
AT ITER 4413 NEW BEST:: SOT 14898 SOS 9292 HAS SOPS 1650 HAS SOUS 1903 HAS SOUPS 1648 WITH SCORE 1657.292
AT ITER 4435 NEW BEST:: SOT 14892 SOS 9286 HAS SOPS 1638 HAS SOUS 1891 HAS SOUPS 1636 WITH SCORE 1645.286
AT ITER 4583 NEW BEST:: SOT 14889 SOS 9285 HAS SOPS 1635 HAS SOUS 1888 HAS SOUPS 1633 WITH SCORE 1642.285
AT ITER 4598 NEW BEST:: SOT 14889 SOS 9285 HAS SOPS 1633 HAS SOUS 1886 HAS SOUPS 1631 WITH SCORE 1640.285
AT ITER 4730 NEW BEST:: SOT 14888 SOS 9284 HAS SOPS 1631 HAS SOUS 1884 HAS SOUPS 1629 WITH SCORE 1638.284
AT ITER 4835 NEW BEST:: SOT 14890 SOS 9283 HAS SOPS 1627 HAS SOUS 1880 HAS SOUPS 1625 WITH SCORE 1634.283
AT ITER 4956 NEW BEST:: SOT 14889 SOS 9283 HAS SOPS 1626 HAS SOUS 1879 HAS SOUPS 1624 WITH SCORE 1633.283
AT ITER 4987 NEW BEST:: SOT 14896 SOS 9290 HAS SOPS 1619 HAS SOUS 1872 HAS SOUPS 1617 WITH SCORE 1626.29
AT ITER 5016 NEW BEST:: SOT 14896 SOS 9290 HAS SOPS 1618 HAS SOUS 1871 HAS SOUPS 1616 WITH SCORE 1625.29
AT ITER 5032 NEW BEST:: SOT 14894 SOS 9289 HAS SOPS 1616 HAS SOUS 1870 HAS SOUPS 1614 WITH SCORE 1623.289
AT ITER 5050 NEW BEST:: SOT 14892 SOS 9288 HAS SOPS 1614 HAS SOUS 1868 HAS SOUPS 1612 WITH SCORE 1621.288
AT ITER 5053 NEW BEST:: SOT 14891 SOS 9287 HAS SOPS 1613 HAS SOUS 1867 HAS SOUPS 1611 WITH SCORE 1620.287
AT ITER 5063 NEW BEST:: SOT 14888 SOS 9284 HAS SOPS 1613 HAS SOUS 1867 HAS SOUPS 1611 WITH SCORE 1620.284
AT ITER 5128 NEW BEST:: SOT 14884 SOS 9280 HAS SOPS 1608 HAS SOUS 1862 HAS SOUPS 1606 WITH SCORE 1615.28
AT ITER 5149 NEW BEST:: SOT 14882 SOS 9278 HAS SOPS 1604 HAS SOUS 1858 HAS SOUPS 1602 WITH SCORE 1611.278
AT ITER 5203 NEW BEST:: SOT 14878 SOS 9274 HAS SOPS 1600 HAS SOUS 1854 HAS SOUPS 1598 WITH SCORE 1607.274
AT ITER 5361 NEW BEST:: SOT 14875 SOS 9272 HAS SOPS 1598 HAS SOUS 1852 HAS SOUPS 1596 WITH SCORE 1605.272
AT ITER 5495 NEW BEST:: SOT 14880 SOS 9277 HAS SOPS 1594 HAS SOUS 1848 HAS SOUPS 1592 WITH SCORE 1601.277
AT ITER 5580 NEW BEST:: SOT 14880 SOS 9276 HAS SOPS 1590 HAS SOUS 1844 HAS SOUPS 1588 WITH SCORE 1597.276
AT ITER 5606 NEW BEST:: SOT 14873 SOS 9277 HAS SOPS 1584 HAS SOUS 1838 HAS SOUPS 1582 WITH SCORE 1591.277
AT ITER 5708 NEW BEST:: SOT 14867 SOS 9277 HAS SOPS 1578 HAS SOUS 1832 HAS SOUPS 1576 WITH SCORE 1585.277
AT ITER 5736 NEW BEST:: SOT 14863 SOS 9274 HAS SOPS 1576 HAS SOUS 1830 HAS SOUPS 1574 WITH SCORE 1583.274
AT ITER 5756 NEW BEST:: SOT 14861 SOS 9273 HAS SOPS 1574 HAS SOUS 1828 HAS SOUPS 1572 WITH SCORE 1581.273
AT ITER 5911 NEW BEST:: SOT 14860 SOS 9272 HAS SOPS 1572 HAS SOUS 1826 HAS SOUPS 1570 WITH SCORE 1579.272
AT ITER 6276 NEW BEST:: SOT 14852 SOS 9416 HAS SOPS 1556 HAS SOUS 1814 HAS SOUPS 1554 WITH SCORE 1563.416
AT ITER 6340 NEW BEST:: SOT 14851 SOS 9414 HAS SOPS 1554 HAS SOUS 1812 HAS SOUPS 1552 WITH SCORE 1561.414
AT ITER 6428 NEW BEST:: SOT 14812 SOS 9413 HAS SOPS 1552 HAS SOUS 1810 HAS SOUPS 1550 WITH SCORE 1559.413
AT ITER 6461 NEW BEST:: SOT 14807 SOS 9409 HAS SOPS 1546 HAS SOUS 1804 HAS SOUPS 1544 WITH SCORE 1553.409
AT ITER 6658 NEW BEST:: SOT 14810 SOS 9404 HAS SOPS 1542 HAS SOUS 1800 HAS SOUPS 1540 WITH SCORE 1549.404
AT ITER 6751 NEW BEST:: SOT 14808 SOS 9401 HAS SOPS 1538 HAS SOUS 1796 HAS SOUPS 1536 WITH SCORE 1545.401
AT ITER 6799 NEW BEST:: SOT 14808 SOS 9400 HAS SOPS 1537 HAS SOUS 1795 HAS SOUPS 1535 WITH SCORE 1544.4
AT ITER 6845 NEW BEST:: SOT 14808 SOS 9399 HAS SOPS 1536 HAS SOUS 1794 HAS SOUPS 1534 WITH SCORE 1543.399
AT ITER 6942 NEW BEST:: SOT 14806 SOS 9398 HAS SOPS 1536 HAS SOUS 1793 HAS SOUPS 1533 WITH SCORE 1542.398
AT ITER 7126 NEW BEST:: SOT 14800 SOS 9393 HAS SOPS 1532 HAS SOUS 1789 HAS SOUPS 1529 WITH SCORE 1538.393
AT ITER 7165 NEW BEST:: SOT 14798 SOS 9391 HAS SOPS 1530 HAS SOUS 1787 HAS SOUPS 1527 WITH SCORE 1536.391
AT ITER 7194 NEW BEST:: SOT 14800 SOS 9387 HAS SOPS 1528 HAS SOUS 1785 HAS SOUPS 1525 WITH SCORE 1534.387
AT ITER 7333 NEW BEST:: SOT 14798 SOS 9391 HAS SOPS 1524 HAS SOUS 1781 HAS SOUPS 1521 WITH SCORE 1530.391
AT ITER 7410 NEW BEST:: SOT 14794 SOS 9389 HAS SOPS 1524 HAS SOUS 1781 HAS SOUPS 1521 WITH SCORE 1530.389
AT ITER 7505 NEW BEST:: SOT 14788 SOS 9391 HAS SOPS 1520 HAS SOUS 1777 HAS SOUPS 1517 WITH SCORE 1526.391
AT ITER 7527 NEW BEST:: SOT 14788 SOS 9389 HAS SOPS 1520 HAS SOUS 1777 HAS SOUPS 1517 WITH SCORE 1526.389
AT ITER 7619 NEW BEST:: SOT 14778 SOS 9379 HAS SOPS 1513 HAS SOUS 1770 HAS SOUPS 1510 WITH SCORE 1519.379
AT ITER 7624 NEW BEST:: SOT 14778 SOS 9370 HAS SOPS 1495 HAS SOUS 1752 HAS SOUPS 1492 WITH SCORE 1501.37
AT ITER 7855 NEW BEST:: SOT 14776 SOS 9367 HAS SOPS 1491 HAS SOUS 1748 HAS SOUPS 1488 WITH SCORE 1497.367
AT ITER 7863 NEW BEST:: SOT 14775 SOS 9366 HAS SOPS 1488 HAS SOUS 1745 HAS SOUPS 1485 WITH SCORE 1494.366
AT ITER 7995 NEW BEST:: SOT 14775 SOS 9365 HAS SOPS 1488 HAS SOUS 1745 HAS SOUPS 1485 WITH SCORE 1494.365
AT ITER 8033 NEW BEST:: SOT 14767 SOS 9357 HAS SOPS 1485 HAS SOUS 1742 HAS SOUPS 1482 WITH SCORE 1491.357
AT ITER 8035 NEW BEST:: SOT 14766 SOS 9357 HAS SOPS 1483 HAS SOUS 1740 HAS SOUPS 1480 WITH SCORE 1489.357
AT ITER 8141 NEW BEST:: SOT 14765 SOS 9355 HAS SOPS 1481 HAS SOUS 1738 HAS SOUPS 1478 WITH SCORE 1487.355
AT ITER 8195 NEW BEST:: SOT 14765 SOS 9354 HAS SOPS 1481 HAS SOUS 1738 HAS SOUPS 1478 WITH SCORE 1487.354
AT ITER 8200 NEW BEST:: SOT 14765 SOS 9353 HAS SOPS 1479 HAS SOUS 1736 HAS SOUPS 1476 WITH SCORE 1485.353
AT ITER 8211 NEW BEST:: SOT 14765 SOS 9350 HAS SOPS 1476 HAS SOUS 1733 HAS SOUPS 1473 WITH SCORE 1482.35
AT ITER 8864 NEW BEST:: SOT 14763 SOS 9350 HAS SOPS 1472 HAS SOUS 1729 HAS SOUPS 1469 WITH SCORE 1478.35
AT ITER 9142 NEW BEST:: SOT 14751 SOS 9344 HAS SOPS 1466 HAS SOUS 1723 HAS SOUPS 1463 WITH SCORE 1472.344
AT ITER 9211 NEW BEST:: SOT 14750 SOS 9343 HAS SOPS 1464 HAS SOUS 1721 HAS SOUPS 1461 WITH SCORE 1470.343
AT ITER 9316 NEW BEST:: SOT 14747 SOS 9340 HAS SOPS 1461 HAS SOUS 1718 HAS SOUPS 1458 WITH SCORE 1467.34
AT ITER 9386 NEW BEST:: SOT 14739 SOS 9568 HAS SOPS 1447 HAS SOUS 1712 HAS SOUPS 1446 WITH SCORE 1455.568
AT ITER 9804 NEW BEST:: SOT 14739 SOS 9486 HAS SOPS 1447 HAS SOUS 1711 HAS SOUPS 1446 WITH SCORE 1455.486
AT ITER 9816 NEW BEST:: SOT 14735 SOS 9485 HAS SOPS 1444 HAS SOUS 1708 HAS SOUPS 1443 WITH SCORE 1452.485
AT ITER 9902 NEW BEST:: SOT 14733 SOS 9484 HAS SOPS 1444 HAS SOUS 1708 HAS SOUPS 1443 WITH SCORE 1452.484
AT ITER 9914 NEW BEST:: SOT 14739 SOS 9483 HAS SOPS 1442 HAS SOUS 1706 HAS SOUPS 1441 WITH SCORE 1450.483
AT ITER 9984 NEW BEST:: SOT 14736 SOS 9482 HAS SOPS 1440 HAS SOUS 1704 HAS SOUPS 1439 WITH SCORE 1448.482
AT ITER 9993 NEW BEST:: SOT 14735 SOS 9481 HAS SOPS 1438 HAS SOUS 1702 HAS SOUPS 1437 WITH SCORE 1446.481
STATE_SPACE STATES 379749833583242 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 16 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 6766451580210477 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678398205169

--------------------
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="DiscoveryGPU-PT-14a"
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 DiscoveryGPU-PT-14a, 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 r139-smll-167819422900416"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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