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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 420K
-rw-r--r-- 1 mcc users 7.7K Feb 25 13:34 CTLCardinality.txt
-rw-r--r-- 1 mcc users 88K Feb 25 13:34 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Feb 25 13:29 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 25 13:29 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K 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 6.3K Feb 25 13:35 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 60K Feb 25 13:35 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.0K Feb 25 13:35 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 25 13:35 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 43K 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 1678386823528

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-12a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 18:33:47] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 18:33:47] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 18:33:47] [INFO ] Load time of PNML (sax parser for PT used): 142 ms
[2023-03-09 18:33:47] [INFO ] Transformed 123 places.
[2023-03-09 18:33:47] [INFO ] Transformed 169 transitions.
[2023-03-09 18:33:47] [INFO ] Found NUPN structural information;
[2023-03-09 18:33:47] [INFO ] Parsed PT model containing 123 places and 169 transitions and 543 arcs in 294 ms.
[2023-03-09 18:33:47] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 123 places, 169 transitions and 543 arcs took 9 ms.
Total runtime 386 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DiscoveryGPU (PT), instance 12a
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 123 places, 169 transitions, 543 arcs.
AT ITER 0 NEW BEST:: SOT 15254 SOS 7627 HAS SOPS 7627 HAS SOUS 7565 HAS SOUPS 7565 WITH SCORE 7572.627
AT ITER 7 NEW BEST:: SOT 15282 SOS 7624 HAS SOPS 7624 HAS SOUS 7535 HAS SOUPS 7535 WITH SCORE 7542.624
AT ITER 10 NEW BEST:: SOT 15282 SOS 7630 HAS SOPS 7630 HAS SOUS 7513 HAS SOUPS 7513 WITH SCORE 7520.63
AT ITER 17 NEW BEST:: SOT 15368 SOS 7692 HAS SOPS 7692 HAS SOUS 7499 HAS SOUPS 7499 WITH SCORE 7506.692
AT ITER 20 NEW BEST:: SOT 15368 SOS 7738 HAS SOPS 7738 HAS SOUS 7462 HAS SOUPS 7462 WITH SCORE 7469.738
AT ITER 35 NEW BEST:: SOT 14706 SOS 7115 HAS SOPS 7096 HAS SOUS 6848 HAS SOUPS 6831 WITH SCORE 6838.115
AT ITER 41 NEW BEST:: SOT 12325 SOS 6521 HAS SOPS 4604 HAS SOUS 4571 HAS SOUPS 4464 WITH SCORE 4470.521
AT ITER 55 NEW BEST:: SOT 12323 SOS 6487 HAS SOPS 4569 HAS SOUS 4567 HAS SOUPS 4460 WITH SCORE 4466.487
AT ITER 56 NEW BEST:: SOT 12381 SOS 6549 HAS SOPS 4567 HAS SOUS 4492 HAS SOUPS 4385 WITH SCORE 4391.549
AT ITER 62 NEW BEST:: SOT 12284 SOS 6406 HAS SOPS 4375 HAS SOUS 4346 HAS SOUPS 4239 WITH SCORE 4245.406
AT ITER 69 NEW BEST:: SOT 12238 SOS 6460 HAS SOPS 4448 HAS SOUS 4339 HAS SOUPS 4232 WITH SCORE 4238.46
AT ITER 79 NEW BEST:: SOT 12219 SOS 6439 HAS SOPS 4445 HAS SOUS 4320 HAS SOUPS 4213 WITH SCORE 4219.439
AT ITER 92 NEW BEST:: SOT 12153 SOS 6236 HAS SOPS 4246 HAS SOUS 4196 HAS SOUPS 4089 WITH SCORE 4095.236
AT ITER 97 NEW BEST:: SOT 12153 SOS 6235 HAS SOPS 4245 HAS SOUS 4195 HAS SOUPS 4088 WITH SCORE 4094.235
AT ITER 106 NEW BEST:: SOT 12143 SOS 6293 HAS SOPS 4225 HAS SOUS 4156 HAS SOUPS 4049 WITH SCORE 4055.293
AT ITER 118 NEW BEST:: SOT 12137 SOS 6287 HAS SOPS 4213 HAS SOUS 4144 HAS SOUPS 4037 WITH SCORE 4043.287
AT ITER 122 NEW BEST:: SOT 12192 SOS 6296 HAS SOPS 4185 HAS SOUS 4116 HAS SOUPS 4009 WITH SCORE 4015.296
AT ITER 127 NEW BEST:: SOT 12242 SOS 6346 HAS SOPS 4200 HAS SOUS 4113 HAS SOUPS 4006 WITH SCORE 4012.346
AT ITER 132 NEW BEST:: SOT 12207 SOS 6340 HAS SOPS 4176 HAS SOUS 4060 HAS SOUPS 3953 WITH SCORE 3959.34
AT ITER 146 NEW BEST:: SOT 12163 SOS 6337 HAS SOPS 4173 HAS SOUS 4016 HAS SOUPS 3909 WITH SCORE 3915.337
AT ITER 151 NEW BEST:: SOT 12197 SOS 6308 HAS SOPS 4160 HAS SOUS 4006 HAS SOUPS 3899 WITH SCORE 3905.308
AT ITER 168 NEW BEST:: SOT 12199 SOS 6310 HAS SOPS 4154 HAS SOUS 4000 HAS SOUPS 3893 WITH SCORE 3899.31
AT ITER 169 NEW BEST:: SOT 12150 SOS 6257 HAS SOPS 4056 HAS SOUS 3895 HAS SOUPS 3784 WITH SCORE 3790.257
AT ITER 183 NEW BEST:: SOT 11558 SOS 6346 HAS SOPS 3351 HAS SOUS 3463 HAS SOUPS 3294 WITH SCORE 3300.346
AT ITER 188 NEW BEST:: SOT 11506 SOS 6268 HAS SOPS 3247 HAS SOUS 3359 HAS SOUPS 3190 WITH SCORE 3196.268
AT ITER 209 NEW BEST:: SOT 11485 SOS 6247 HAS SOPS 3226 HAS SOUS 3338 HAS SOUPS 3169 WITH SCORE 3175.247
AT ITER 213 NEW BEST:: SOT 11485 SOS 6237 HAS SOPS 3206 HAS SOUS 3320 HAS SOUPS 3149 WITH SCORE 3155.237
AT ITER 225 NEW BEST:: SOT 11481 SOS 6233 HAS SOPS 3202 HAS SOUS 3316 HAS SOUPS 3145 WITH SCORE 3151.233
AT ITER 226 NEW BEST:: SOT 11469 SOS 6193 HAS SOPS 3140 HAS SOUS 3254 HAS SOUPS 3083 WITH SCORE 3089.193
AT ITER 228 NEW BEST:: SOT 11466 SOS 6187 HAS SOPS 3134 HAS SOUS 3248 HAS SOUPS 3077 WITH SCORE 3083.187
AT ITER 251 NEW BEST:: SOT 11465 SOS 6196 HAS SOPS 3132 HAS SOUS 3246 HAS SOUPS 3075 WITH SCORE 3081.196
AT ITER 254 NEW BEST:: SOT 11443 SOS 6159 HAS SOPS 3088 HAS SOUS 3187 HAS SOUPS 3016 WITH SCORE 3022.159
AT ITER 279 NEW BEST:: SOT 11429 SOS 6152 HAS SOPS 3074 HAS SOUS 3173 HAS SOUPS 3002 WITH SCORE 3008.152
AT ITER 287 NEW BEST:: SOT 11424 SOS 6143 HAS SOPS 3060 HAS SOUS 3159 HAS SOUPS 2988 WITH SCORE 2994.143
AT ITER 294 NEW BEST:: SOT 11424 SOS 6143 HAS SOPS 3059 HAS SOUS 3158 HAS SOUPS 2987 WITH SCORE 2993.143
AT ITER 296 NEW BEST:: SOT 11526 SOS 6139 HAS SOPS 3042 HAS SOUS 3141 HAS SOUPS 2970 WITH SCORE 2976.139
AT ITER 299 NEW BEST:: SOT 11521 SOS 6134 HAS SOPS 3037 HAS SOUS 3136 HAS SOUPS 2965 WITH SCORE 2971.134
AT ITER 303 NEW BEST:: SOT 11506 SOS 6095 HAS SOPS 2998 HAS SOUS 3109 HAS SOUPS 2938 WITH SCORE 2944.095
AT ITER 317 NEW BEST:: SOT 11513 SOS 6090 HAS SOPS 2988 HAS SOUS 3099 HAS SOUPS 2928 WITH SCORE 2934.09
AT ITER 341 NEW BEST:: SOT 11506 SOS 6078 HAS SOPS 2975 HAS SOUS 3091 HAS SOUPS 2920 WITH SCORE 2926.078
AT ITER 361 NEW BEST:: SOT 11498 SOS 6070 HAS SOPS 2970 HAS SOUS 3084 HAS SOUPS 2915 WITH SCORE 2921.07
AT ITER 367 NEW BEST:: SOT 11490 SOS 6062 HAS SOPS 2954 HAS SOUS 3068 HAS SOUPS 2899 WITH SCORE 2905.062
AT ITER 384 NEW BEST:: SOT 11602 SOS 6071 HAS SOPS 2895 HAS SOUS 3009 HAS SOUPS 2840 WITH SCORE 2846.071
AT ITER 394 NEW BEST:: SOT 11599 SOS 6064 HAS SOPS 2889 HAS SOUS 3006 HAS SOUPS 2837 WITH SCORE 2843.064
AT ITER 423 NEW BEST:: SOT 11597 SOS 6061 HAS SOPS 2885 HAS SOUS 3002 HAS SOUPS 2833 WITH SCORE 2839.061
AT ITER 449 NEW BEST:: SOT 11597 SOS 6061 HAS SOPS 2878 HAS SOUS 2995 HAS SOUPS 2826 WITH SCORE 2832.061
AT ITER 450 NEW BEST:: SOT 11595 SOS 6096 HAS SOPS 2874 HAS SOUS 2991 HAS SOUPS 2822 WITH SCORE 2828.096
AT ITER 451 NEW BEST:: SOT 11590 SOS 6091 HAS SOPS 2868 HAS SOUS 2985 HAS SOUPS 2816 WITH SCORE 2822.091
AT ITER 461 NEW BEST:: SOT 11588 SOS 6091 HAS SOPS 2864 HAS SOUS 2981 HAS SOUPS 2812 WITH SCORE 2818.091
AT ITER 462 NEW BEST:: SOT 11583 SOS 6091 HAS SOPS 2859 HAS SOUS 2978 HAS SOUPS 2807 WITH SCORE 2813.091
AT ITER 470 NEW BEST:: SOT 11562 SOS 6097 HAS SOPS 2844 HAS SOUS 2963 HAS SOUPS 2792 WITH SCORE 2798.097
AT ITER 489 NEW BEST:: SOT 11536 SOS 6084 HAS SOPS 2835 HAS SOUS 2961 HAS SOUPS 2790 WITH SCORE 2796.084
AT ITER 507 NEW BEST:: SOT 11527 SOS 6063 HAS SOPS 2812 HAS SOUS 2950 HAS SOUPS 2779 WITH SCORE 2785.063
AT ITER 528 NEW BEST:: SOT 11526 SOS 6057 HAS SOPS 2805 HAS SOUS 2943 HAS SOUPS 2772 WITH SCORE 2778.057
AT ITER 541 NEW BEST:: SOT 11526 SOS 6053 HAS SOPS 2801 HAS SOUS 2942 HAS SOUPS 2771 WITH SCORE 2777.053
AT ITER 542 NEW BEST:: SOT 11521 SOS 6043 HAS SOPS 2791 HAS SOUS 2932 HAS SOUPS 2761 WITH SCORE 2767.043
AT ITER 560 NEW BEST:: SOT 11511 SOS 6040 HAS SOPS 2778 HAS SOUS 2919 HAS SOUPS 2748 WITH SCORE 2754.04
AT ITER 564 NEW BEST:: SOT 11511 SOS 6040 HAS SOPS 2777 HAS SOUS 2918 HAS SOUPS 2747 WITH SCORE 2753.04
AT ITER 571 NEW BEST:: SOT 11491 SOS 6011 HAS SOPS 2737 HAS SOUS 2878 HAS SOUPS 2707 WITH SCORE 2713.011
AT ITER 574 NEW BEST:: SOT 11549 SOS 6068 HAS SOPS 2733 HAS SOUS 2877 HAS SOUPS 2703 WITH SCORE 2709.068
AT ITER 578 NEW BEST:: SOT 11548 SOS 6067 HAS SOPS 2720 HAS SOUS 2864 HAS SOUPS 2690 WITH SCORE 2696.067
AT ITER 585 NEW BEST:: SOT 11549 SOS 6049 HAS SOPS 2702 HAS SOUS 2851 HAS SOUPS 2677 WITH SCORE 2683.049
AT ITER 586 NEW BEST:: SOT 11548 SOS 6047 HAS SOPS 2699 HAS SOUS 2848 HAS SOUPS 2674 WITH SCORE 2680.047
AT ITER 609 NEW BEST:: SOT 11548 SOS 6039 HAS SOPS 2691 HAS SOUS 2840 HAS SOUPS 2666 WITH SCORE 2672.039
AT ITER 612 NEW BEST:: SOT 11548 SOS 6033 HAS SOPS 2685 HAS SOUS 2834 HAS SOUPS 2660 WITH SCORE 2666.033
AT ITER 614 NEW BEST:: SOT 11482 SOS 5934 HAS SOPS 2520 HAS SOUS 2669 HAS SOUPS 2495 WITH SCORE 2500.934
AT ITER 629 NEW BEST:: SOT 11451 SOS 5903 HAS SOPS 2489 HAS SOUS 2638 HAS SOUPS 2464 WITH SCORE 2469.903
AT ITER 633 NEW BEST:: SOT 11439 SOS 5891 HAS SOPS 2465 HAS SOUS 2614 HAS SOUPS 2440 WITH SCORE 2445.891
AT ITER 641 NEW BEST:: SOT 11441 SOS 5884 HAS SOPS 2458 HAS SOUS 2611 HAS SOUPS 2437 WITH SCORE 2442.884
AT ITER 669 NEW BEST:: SOT 11457 SOS 5872 HAS SOPS 2446 HAS SOUS 2605 HAS SOUPS 2431 WITH SCORE 2436.872
AT ITER 679 NEW BEST:: SOT 11458 SOS 5872 HAS SOPS 2445 HAS SOUS 2604 HAS SOUPS 2430 WITH SCORE 2435.872
AT ITER 680 NEW BEST:: SOT 11451 SOS 5866 HAS SOPS 2431 HAS SOUS 2590 HAS SOUPS 2416 WITH SCORE 2421.866
AT ITER 726 NEW BEST:: SOT 11400 SOS 5815 HAS SOPS 2329 HAS SOUS 2488 HAS SOUPS 2314 WITH SCORE 2319.815
AT ITER 740 NEW BEST:: SOT 11420 SOS 5805 HAS SOPS 2309 HAS SOUS 2468 HAS SOUPS 2294 WITH SCORE 2299.805
AT ITER 759 NEW BEST:: SOT 11431 SOS 5796 HAS SOPS 2291 HAS SOUS 2450 HAS SOUPS 2276 WITH SCORE 2281.796
AT ITER 784 NEW BEST:: SOT 11423 SOS 5788 HAS SOPS 2279 HAS SOUS 2438 HAS SOUPS 2264 WITH SCORE 2269.788
AT ITER 797 NEW BEST:: SOT 11418 SOS 5881 HAS SOPS 2272 HAS SOUS 2437 HAS SOUPS 2259 WITH SCORE 2264.881
AT ITER 808 NEW BEST:: SOT 11409 SOS 5873 HAS SOPS 2261 HAS SOUS 2426 HAS SOUPS 2248 WITH SCORE 2253.873
AT ITER 811 NEW BEST:: SOT 11408 SOS 5872 HAS SOPS 2259 HAS SOUS 2424 HAS SOUPS 2246 WITH SCORE 2251.872
AT ITER 845 NEW BEST:: SOT 11408 SOS 5872 HAS SOPS 2252 HAS SOUS 2417 HAS SOUPS 2239 WITH SCORE 2244.872
AT ITER 862 NEW BEST:: SOT 11407 SOS 5868 HAS SOPS 2247 HAS SOUS 2412 HAS SOUPS 2234 WITH SCORE 2239.868
AT ITER 879 NEW BEST:: SOT 11408 SOS 5869 HAS SOPS 2246 HAS SOUS 2413 HAS SOUPS 2233 WITH SCORE 2238.869
AT ITER 883 NEW BEST:: SOT 11407 SOS 5867 HAS SOPS 2244 HAS SOUS 2411 HAS SOUPS 2231 WITH SCORE 2236.867
AT ITER 917 NEW BEST:: SOT 11407 SOS 5867 HAS SOPS 2232 HAS SOUS 2399 HAS SOUPS 2219 WITH SCORE 2224.867
AT ITER 924 NEW BEST:: SOT 11406 SOS 5865 HAS SOPS 2230 HAS SOUS 2397 HAS SOUPS 2217 WITH SCORE 2222.865
AT ITER 943 NEW BEST:: SOT 11422 SOS 5865 HAS SOPS 2214 HAS SOUS 2381 HAS SOUPS 2201 WITH SCORE 2206.865
AT ITER 945 NEW BEST:: SOT 11422 SOS 5855 HAS SOPS 2194 HAS SOUS 2361 HAS SOUPS 2181 WITH SCORE 2186.855
AT ITER 953 NEW BEST:: SOT 11412 SOS 5849 HAS SOPS 2186 HAS SOUS 2353 HAS SOUPS 2173 WITH SCORE 2178.849
AT ITER 972 NEW BEST:: SOT 11412 SOS 5817 HAS SOPS 2186 HAS SOUS 2353 HAS SOUPS 2173 WITH SCORE 2178.817
AT ITER 1018 NEW BEST:: SOT 11417 SOS 6058 HAS SOPS 2182 HAS SOUS 2361 HAS SOUPS 2172 WITH SCORE 2178.058
AT ITER 1028 NEW BEST:: SOT 11413 SOS 6049 HAS SOPS 2162 HAS SOUS 2341 HAS SOUPS 2152 WITH SCORE 2158.049
AT ITER 1085 NEW BEST:: SOT 11411 SOS 6046 HAS SOPS 2158 HAS SOUS 2337 HAS SOUPS 2148 WITH SCORE 2154.046
AT ITER 1097 NEW BEST:: SOT 11421 SOS 6056 HAS SOPS 2150 HAS SOUS 2329 HAS SOUPS 2140 WITH SCORE 2146.056
AT ITER 1103 NEW BEST:: SOT 11419 SOS 6053 HAS SOPS 2140 HAS SOUS 2319 HAS SOUPS 2130 WITH SCORE 2136.053
AT ITER 1114 NEW BEST:: SOT 11424 SOS 6045 HAS SOPS 2137 HAS SOUS 2316 HAS SOUPS 2127 WITH SCORE 2133.045
AT ITER 1137 NEW BEST:: SOT 11427 SOS 6047 HAS SOPS 2133 HAS SOUS 2312 HAS SOUPS 2123 WITH SCORE 2129.047
AT ITER 1169 NEW BEST:: SOT 11363 SOS 6784 HAS SOPS 2068 HAS SOUS 2263 HAS SOUPS 2061 WITH SCORE 2067.784
AT ITER 1234 NEW BEST:: SOT 11361 SOS 6788 HAS SOPS 2064 HAS SOUS 2259 HAS SOUPS 2057 WITH SCORE 2063.788
AT ITER 1274 NEW BEST:: SOT 11353 SOS 6789 HAS SOPS 2048 HAS SOUS 2243 HAS SOUPS 2041 WITH SCORE 2047.789
AT ITER 1279 NEW BEST:: SOT 11347 SOS 6547 HAS SOPS 2051 HAS SOUS 2233 HAS SOUPS 2040 WITH SCORE 2046.547
AT ITER 1305 NEW BEST:: SOT 11345 SOS 6546 HAS SOPS 2049 HAS SOUS 2231 HAS SOUPS 2038 WITH SCORE 2044.546
AT ITER 1312 NEW BEST:: SOT 11351 SOS 6815 HAS SOPS 2043 HAS SOUS 2240 HAS SOUPS 2037 WITH SCORE 2043.815
AT ITER 1394 NEW BEST:: SOT 11346 SOS 6803 HAS SOPS 2033 HAS SOUS 2230 HAS SOUPS 2027 WITH SCORE 2033.803
AT ITER 1423 NEW BEST:: SOT 11329 SOS 6788 HAS SOPS 1999 HAS SOUS 2196 HAS SOUPS 1993 WITH SCORE 1999.788
AT ITER 1542 NEW BEST:: SOT 11314 SOS 6774 HAS SOPS 1969 HAS SOUS 2166 HAS SOUPS 1963 WITH SCORE 1969.774
AT ITER 1555 NEW BEST:: SOT 11309 SOS 6768 HAS SOPS 1959 HAS SOUS 2156 HAS SOUPS 1953 WITH SCORE 1959.768
AT ITER 1594 NEW BEST:: SOT 11316 SOS 6774 HAS SOPS 1955 HAS SOUS 2154 HAS SOUPS 1949 WITH SCORE 1955.774
AT ITER 1598 NEW BEST:: SOT 11294 SOS 6764 HAS SOPS 1947 HAS SOUS 2146 HAS SOUPS 1941 WITH SCORE 1947.764
AT ITER 1615 NEW BEST:: SOT 11290 SOS 6761 HAS SOPS 1939 HAS SOUS 2138 HAS SOUPS 1933 WITH SCORE 1939.761
AT ITER 1650 NEW BEST:: SOT 11289 SOS 6760 HAS SOPS 1937 HAS SOUS 2136 HAS SOUPS 1931 WITH SCORE 1937.76
AT ITER 1652 NEW BEST:: SOT 11287 SOS 6758 HAS SOPS 1933 HAS SOUS 2132 HAS SOUPS 1927 WITH SCORE 1933.758
AT ITER 1692 NEW BEST:: SOT 11278 SOS 6749 HAS SOPS 1933 HAS SOUS 2132 HAS SOUPS 1927 WITH SCORE 1933.749
AT ITER 1698 NEW BEST:: SOT 11275 SOS 6743 HAS SOPS 1927 HAS SOUS 2126 HAS SOUPS 1921 WITH SCORE 1927.743
AT ITER 1764 NEW BEST:: SOT 11291 SOS 6758 HAS SOPS 1923 HAS SOUS 2122 HAS SOUPS 1917 WITH SCORE 1923.758
AT ITER 1774 NEW BEST:: SOT 11279 SOS 6741 HAS SOPS 1899 HAS SOUS 2099 HAS SOUPS 1894 WITH SCORE 1900.741
AT ITER 1824 NEW BEST:: SOT 11279 SOS 6739 HAS SOPS 1899 HAS SOUS 2099 HAS SOUPS 1894 WITH SCORE 1900.739
AT ITER 1827 NEW BEST:: SOT 11272 SOS 6734 HAS SOPS 1885 HAS SOUS 2085 HAS SOUPS 1880 WITH SCORE 1886.734
AT ITER 1899 NEW BEST:: SOT 11271 SOS 6734 HAS SOPS 1884 HAS SOUS 2084 HAS SOUPS 1879 WITH SCORE 1885.734
AT ITER 1944 NEW BEST:: SOT 11271 SOS 6733 HAS SOPS 1884 HAS SOUS 2084 HAS SOUPS 1879 WITH SCORE 1885.733
AT ITER 1977 NEW BEST:: SOT 11264 SOS 6726 HAS SOPS 1870 HAS SOUS 2070 HAS SOUPS 1865 WITH SCORE 1871.726
AT ITER 1999 NEW BEST:: SOT 11264 SOS 6717 HAS SOPS 1861 HAS SOUS 2061 HAS SOUPS 1856 WITH SCORE 1862.717
AT ITER 2003 NEW BEST:: SOT 11272 SOS 6724 HAS SOPS 1859 HAS SOUS 2059 HAS SOUPS 1854 WITH SCORE 1860.724
AT ITER 2034 NEW BEST:: SOT 11270 SOS 6722 HAS SOPS 1855 HAS SOUS 2055 HAS SOUPS 1850 WITH SCORE 1856.722
AT ITER 2072 NEW BEST:: SOT 11276 SOS 6713 HAS SOPS 1852 HAS SOUS 2052 HAS SOUPS 1847 WITH SCORE 1853.713
AT ITER 2073 NEW BEST:: SOT 11268 SOS 6709 HAS SOPS 1844 HAS SOUS 2044 HAS SOUPS 1839 WITH SCORE 1845.709
AT ITER 2109 NEW BEST:: SOT 11268 SOS 6708 HAS SOPS 1843 HAS SOUS 2043 HAS SOUPS 1838 WITH SCORE 1844.708
AT ITER 2235 NEW BEST:: SOT 11262 SOS 6723 HAS SOPS 1831 HAS SOUS 2031 HAS SOUPS 1826 WITH SCORE 1832.723
AT ITER 2248 NEW BEST:: SOT 11265 SOS 6722 HAS SOPS 1827 HAS SOUS 2028 HAS SOUPS 1823 WITH SCORE 1829.722
AT ITER 2280 NEW BEST:: SOT 11265 SOS 6720 HAS SOPS 1827 HAS SOUS 2028 HAS SOUPS 1823 WITH SCORE 1829.72
AT ITER 2375 NEW BEST:: SOT 11264 SOS 6718 HAS SOPS 1824 HAS SOUS 2025 HAS SOUPS 1820 WITH SCORE 1826.718
AT ITER 2381 NEW BEST:: SOT 11259 SOS 6715 HAS SOPS 1814 HAS SOUS 2015 HAS SOUPS 1810 WITH SCORE 1816.715
AT ITER 2390 NEW BEST:: SOT 11259 SOS 6714 HAS SOPS 1814 HAS SOUS 2015 HAS SOUPS 1810 WITH SCORE 1816.714
AT ITER 2416 NEW BEST:: SOT 11259 SOS 6715 HAS SOPS 1814 HAS SOUS 2014 HAS SOUPS 1809 WITH SCORE 1815.715
AT ITER 2430 NEW BEST:: SOT 11261 SOS 6709 HAS SOPS 1810 HAS SOUS 2010 HAS SOUPS 1805 WITH SCORE 1811.709
AT ITER 2557 NEW BEST:: SOT 11259 SOS 6707 HAS SOPS 1808 HAS SOUS 2008 HAS SOUPS 1803 WITH SCORE 1809.707
AT ITER 2566 NEW BEST:: SOT 11255 SOS 6706 HAS SOPS 1804 HAS SOUS 2008 HAS SOUPS 1799 WITH SCORE 1805.706
AT ITER 2630 NEW BEST:: SOT 11253 SOS 6704 HAS SOPS 1800 HAS SOUS 2004 HAS SOUPS 1795 WITH SCORE 1801.704
AT ITER 2645 NEW BEST:: SOT 11250 SOS 6707 HAS SOPS 1794 HAS SOUS 1998 HAS SOUPS 1789 WITH SCORE 1795.707
AT ITER 2704 NEW BEST:: SOT 11246 SOS 6706 HAS SOPS 1786 HAS SOUS 1990 HAS SOUPS 1781 WITH SCORE 1787.706
AT ITER 2726 NEW BEST:: SOT 11246 SOS 6766 HAS SOPS 1780 HAS SOUS 1986 HAS SOUPS 1775 WITH SCORE 1781.766
AT ITER 2741 NEW BEST:: SOT 11246 SOS 6763 HAS SOPS 1777 HAS SOUS 1983 HAS SOUPS 1772 WITH SCORE 1778.763
AT ITER 2744 NEW BEST:: SOT 11236 SOS 6748 HAS SOPS 1757 HAS SOUS 1963 HAS SOUPS 1752 WITH SCORE 1758.748
AT ITER 2790 NEW BEST:: SOT 11234 SOS 6745 HAS SOPS 1753 HAS SOUS 1959 HAS SOUPS 1748 WITH SCORE 1754.745
AT ITER 2830 NEW BEST:: SOT 11236 SOS 6747 HAS SOPS 1750 HAS SOUS 1961 HAS SOUPS 1745 WITH SCORE 1751.747
AT ITER 2834 NEW BEST:: SOT 11234 SOS 6744 HAS SOPS 1746 HAS SOUS 1957 HAS SOUPS 1741 WITH SCORE 1747.744
AT ITER 2840 NEW BEST:: SOT 11232 SOS 6751 HAS SOPS 1742 HAS SOUS 1953 HAS SOUPS 1737 WITH SCORE 1743.751
AT ITER 2842 NEW BEST:: SOT 11224 SOS 6743 HAS SOPS 1731 HAS SOUS 1942 HAS SOUPS 1726 WITH SCORE 1732.743
AT ITER 2891 NEW BEST:: SOT 11225 SOS 6737 HAS SOPS 1723 HAS SOUS 1936 HAS SOUPS 1720 WITH SCORE 1726.737
AT ITER 2909 NEW BEST:: SOT 11226 SOS 6738 HAS SOPS 1722 HAS SOUS 1935 HAS SOUPS 1719 WITH SCORE 1725.738
AT ITER 2920 NEW BEST:: SOT 11227 SOS 6742 HAS SOPS 1724 HAS SOUS 1934 HAS SOUPS 1718 WITH SCORE 1724.742
AT ITER 2941 NEW BEST:: SOT 11219 SOS 6735 HAS SOPS 1715 HAS SOUS 1925 HAS SOUPS 1709 WITH SCORE 1715.735
AT ITER 2965 NEW BEST:: SOT 11229 SOS 6744 HAS SOPS 1711 HAS SOUS 1921 HAS SOUPS 1705 WITH SCORE 1711.744
AT ITER 3003 NEW BEST:: SOT 11237 SOS 6752 HAS SOPS 1709 HAS SOUS 1919 HAS SOUPS 1703 WITH SCORE 1709.752
AT ITER 3054 NEW BEST:: SOT 11231 SOS 6752 HAS SOPS 1703 HAS SOUS 1913 HAS SOUPS 1697 WITH SCORE 1703.752
AT ITER 3056 NEW BEST:: SOT 11227 SOS 6748 HAS SOPS 1698 HAS SOUS 1908 HAS SOUPS 1692 WITH SCORE 1698.748
AT ITER 3137 NEW BEST:: SOT 11225 SOS 6747 HAS SOPS 1696 HAS SOUS 1906 HAS SOUPS 1690 WITH SCORE 1696.747
AT ITER 3176 NEW BEST:: SOT 11224 SOS 6745 HAS SOPS 1692 HAS SOUS 1902 HAS SOUPS 1686 WITH SCORE 1692.745
AT ITER 3209 NEW BEST:: SOT 11215 SOS 6738 HAS SOPS 1684 HAS SOUS 1894 HAS SOUPS 1678 WITH SCORE 1684.738
AT ITER 3248 NEW BEST:: SOT 11210 SOS 6733 HAS SOPS 1674 HAS SOUS 1884 HAS SOUPS 1668 WITH SCORE 1674.733
AT ITER 3265 NEW BEST:: SOT 11196 SOS 6719 HAS SOPS 1653 HAS SOUS 1863 HAS SOUPS 1647 WITH SCORE 1653.719
AT ITER 3298 NEW BEST:: SOT 11194 SOS 6717 HAS SOPS 1650 HAS SOUS 1860 HAS SOUPS 1644 WITH SCORE 1650.717
AT ITER 3313 NEW BEST:: SOT 11193 SOS 6849 HAS SOPS 1645 HAS SOUS 1857 HAS SOUPS 1639 WITH SCORE 1645.849
AT ITER 3627 NEW BEST:: SOT 11190 SOS 6846 HAS SOPS 1639 HAS SOUS 1851 HAS SOUPS 1633 WITH SCORE 1639.846
AT ITER 3628 NEW BEST:: SOT 11188 SOS 6842 HAS SOPS 1635 HAS SOUS 1847 HAS SOUPS 1629 WITH SCORE 1635.842
AT ITER 3661 NEW BEST:: SOT 11184 SOS 6843 HAS SOPS 1632 HAS SOUS 1844 HAS SOUPS 1626 WITH SCORE 1632.843
AT ITER 3667 NEW BEST:: SOT 11182 SOS 6840 HAS SOPS 1628 HAS SOUS 1840 HAS SOUPS 1622 WITH SCORE 1628.84
AT ITER 3873 NEW BEST:: SOT 11180 SOS 6838 HAS SOPS 1624 HAS SOUS 1836 HAS SOUPS 1618 WITH SCORE 1624.838
AT ITER 3936 NEW BEST:: SOT 11175 SOS 6833 HAS SOPS 1621 HAS SOUS 1833 HAS SOUPS 1615 WITH SCORE 1621.833
AT ITER 3999 NEW BEST:: SOT 11174 SOS 6832 HAS SOPS 1619 HAS SOUS 1831 HAS SOUPS 1613 WITH SCORE 1619.832
AT ITER 4095 NEW BEST:: SOT 11172 SOS 6830 HAS SOPS 1617 HAS SOUS 1829 HAS SOUPS 1611 WITH SCORE 1617.83
AT ITER 4122 NEW BEST:: SOT 11166 SOS 6826 HAS SOPS 1605 HAS SOUS 1817 HAS SOUPS 1599 WITH SCORE 1605.826
AT ITER 4145 NEW BEST:: SOT 11166 SOS 6825 HAS SOPS 1605 HAS SOUS 1817 HAS SOUPS 1599 WITH SCORE 1605.825
AT ITER 4282 NEW BEST:: SOT 11164 SOS 6831 HAS SOPS 1601 HAS SOUS 1813 HAS SOUPS 1595 WITH SCORE 1601.831
AT ITER 4327 NEW BEST:: SOT 11164 SOS 6830 HAS SOPS 1599 HAS SOUS 1811 HAS SOUPS 1593 WITH SCORE 1599.83
AT ITER 4432 NEW BEST:: SOT 11164 SOS 6830 HAS SOPS 1597 HAS SOUS 1809 HAS SOUPS 1591 WITH SCORE 1597.83
AT ITER 4454 NEW BEST:: SOT 11162 SOS 6835 HAS SOPS 1593 HAS SOUS 1805 HAS SOUPS 1587 WITH SCORE 1593.835
AT ITER 4485 NEW BEST:: SOT 11164 SOS 6835 HAS SOPS 1591 HAS SOUS 1803 HAS SOUPS 1585 WITH SCORE 1591.835
AT ITER 4537 NEW BEST:: SOT 11160 SOS 6831 HAS SOPS 1583 HAS SOUS 1795 HAS SOUPS 1577 WITH SCORE 1583.831
AT ITER 4576 NEW BEST:: SOT 11159 SOS 6830 HAS SOPS 1581 HAS SOUS 1793 HAS SOUPS 1575 WITH SCORE 1581.83
AT ITER 4660 NEW BEST:: SOT 11167 SOS 6837 HAS SOPS 1577 HAS SOUS 1789 HAS SOUPS 1571 WITH SCORE 1577.837
AT ITER 4790 NEW BEST:: SOT 11174 SOS 6844 HAS SOPS 1575 HAS SOUS 1787 HAS SOUPS 1569 WITH SCORE 1575.844
AT ITER 4798 NEW BEST:: SOT 11155 SOS 6840 HAS SOPS 1567 HAS SOUS 1779 HAS SOUPS 1561 WITH SCORE 1567.84
AT ITER 4864 NEW BEST:: SOT 11152 SOS 6840 HAS SOPS 1564 HAS SOUS 1776 HAS SOUPS 1558 WITH SCORE 1564.84
AT ITER 4942 NEW BEST:: SOT 11151 SOS 6836 HAS SOPS 1562 HAS SOUS 1774 HAS SOUPS 1556 WITH SCORE 1562.836
AT ITER 4967 NEW BEST:: SOT 11151 SOS 6835 HAS SOPS 1560 HAS SOUS 1772 HAS SOUPS 1554 WITH SCORE 1560.835
AT ITER 4977 NEW BEST:: SOT 11148 SOS 6828 HAS SOPS 1554 HAS SOUS 1766 HAS SOUPS 1548 WITH SCORE 1554.828
AT ITER 5049 NEW BEST:: SOT 11147 SOS 6825 HAS SOPS 1548 HAS SOUS 1760 HAS SOUPS 1542 WITH SCORE 1548.825
AT ITER 5075 NEW BEST:: SOT 11148 SOS 6822 HAS SOPS 1544 HAS SOUS 1757 HAS SOUPS 1539 WITH SCORE 1545.822
AT ITER 5140 NEW BEST:: SOT 11148 SOS 6820 HAS SOPS 1544 HAS SOUS 1757 HAS SOUPS 1539 WITH SCORE 1545.82
AT ITER 5411 NEW BEST:: SOT 11147 SOS 6818 HAS SOPS 1541 HAS SOUS 1754 HAS SOUPS 1536 WITH SCORE 1542.818
AT ITER 5419 NEW BEST:: SOT 11147 SOS 6817 HAS SOPS 1541 HAS SOUS 1754 HAS SOUPS 1536 WITH SCORE 1542.817
AT ITER 5568 NEW BEST:: SOT 11146 SOS 6816 HAS SOPS 1539 HAS SOUS 1752 HAS SOUPS 1534 WITH SCORE 1540.816
AT ITER 5680 NEW BEST:: SOT 11145 SOS 6813 HAS SOPS 1537 HAS SOUS 1752 HAS SOUPS 1534 WITH SCORE 1540.813
AT ITER 5682 NEW BEST:: SOT 11144 SOS 6811 HAS SOPS 1535 HAS SOUS 1750 HAS SOUPS 1532 WITH SCORE 1538.811
AT ITER 5697 NEW BEST:: SOT 11143 SOS 6809 HAS SOPS 1532 HAS SOUS 1747 HAS SOUPS 1529 WITH SCORE 1535.809
AT ITER 5698 NEW BEST:: SOT 11144 SOS 6809 HAS SOPS 1531 HAS SOUS 1746 HAS SOUPS 1528 WITH SCORE 1534.809
AT ITER 5700 NEW BEST:: SOT 11142 SOS 6806 HAS SOPS 1527 HAS SOUS 1742 HAS SOUPS 1524 WITH SCORE 1530.806
AT ITER 5780 NEW BEST:: SOT 11141 SOS 6804 HAS SOPS 1525 HAS SOUS 1740 HAS SOUPS 1522 WITH SCORE 1528.804
AT ITER 5916 NEW BEST:: SOT 11141 SOS 6802 HAS SOPS 1525 HAS SOUS 1740 HAS SOUPS 1522 WITH SCORE 1528.802
AT ITER 6129 NEW BEST:: SOT 11140 SOS 6801 HAS SOPS 1523 HAS SOUS 1738 HAS SOUPS 1520 WITH SCORE 1526.801
AT ITER 6168 NEW BEST:: SOT 11138 SOS 6799 HAS SOPS 1520 HAS SOUS 1735 HAS SOUPS 1517 WITH SCORE 1523.799
AT ITER 6183 NEW BEST:: SOT 11154 SOS 6801 HAS SOPS 1510 HAS SOUS 1725 HAS SOUPS 1507 WITH SCORE 1513.801
AT ITER 6207 NEW BEST:: SOT 11153 SOS 6799 HAS SOPS 1508 HAS SOUS 1723 HAS SOUPS 1505 WITH SCORE 1511.799
AT ITER 6297 NEW BEST:: SOT 11165 SOS 6811 HAS SOPS 1505 HAS SOUS 1720 HAS SOUPS 1502 WITH SCORE 1508.811
AT ITER 6330 NEW BEST:: SOT 11163 SOS 6809 HAS SOPS 1503 HAS SOUS 1718 HAS SOUPS 1500 WITH SCORE 1506.809
AT ITER 6359 NEW BEST:: SOT 11162 SOS 6808 HAS SOPS 1501 HAS SOUS 1716 HAS SOUPS 1498 WITH SCORE 1504.808
AT ITER 6380 NEW BEST:: SOT 11161 SOS 6808 HAS SOPS 1500 HAS SOUS 1715 HAS SOUPS 1497 WITH SCORE 1503.808
AT ITER 6436 NEW BEST:: SOT 11159 SOS 6806 HAS SOPS 1496 HAS SOUS 1711 HAS SOUPS 1493 WITH SCORE 1499.806
AT ITER 6463 NEW BEST:: SOT 11157 SOS 6803 HAS SOPS 1492 HAS SOUS 1707 HAS SOUPS 1489 WITH SCORE 1495.803
AT ITER 6464 NEW BEST:: SOT 11155 SOS 6800 HAS SOPS 1488 HAS SOUS 1704 HAS SOUPS 1486 WITH SCORE 1492.8
AT ITER 6468 NEW BEST:: SOT 11154 SOS 6799 HAS SOPS 1486 HAS SOUS 1702 HAS SOUPS 1484 WITH SCORE 1490.799
AT ITER 6577 NEW BEST:: SOT 11153 SOS 6798 HAS SOPS 1485 HAS SOUS 1701 HAS SOUPS 1483 WITH SCORE 1489.798
AT ITER 6581 NEW BEST:: SOT 11152 SOS 6796 HAS SOPS 1482 HAS SOUS 1698 HAS SOUPS 1480 WITH SCORE 1486.796
AT ITER 6796 NEW BEST:: SOT 11151 SOS 6794 HAS SOPS 1480 HAS SOUS 1696 HAS SOUPS 1478 WITH SCORE 1484.794
AT ITER 6952 NEW BEST:: SOT 11154 SOS 6796 HAS SOPS 1480 HAS SOUS 1694 HAS SOUPS 1476 WITH SCORE 1482.796
AT ITER 7078 NEW BEST:: SOT 11153 SOS 6796 HAS SOPS 1479 HAS SOUS 1693 HAS SOUPS 1475 WITH SCORE 1481.796
AT ITER 7115 NEW BEST:: SOT 11157 SOS 6795 HAS SOPS 1477 HAS SOUS 1691 HAS SOUPS 1473 WITH SCORE 1479.795
AT ITER 7366 NEW BEST:: SOT 11156 SOS 6794 HAS SOPS 1477 HAS SOUS 1691 HAS SOUPS 1473 WITH SCORE 1479.794
AT ITER 7706 NEW BEST:: SOT 11159 SOS 6795 HAS SOPS 1469 HAS SOUS 1683 HAS SOUPS 1465 WITH SCORE 1471.795
AT ITER 7731 NEW BEST:: SOT 11157 SOS 6796 HAS SOPS 1468 HAS SOUS 1682 HAS SOUPS 1464 WITH SCORE 1470.796
AT ITER 7801 NEW BEST:: SOT 11156 SOS 6795 HAS SOPS 1466 HAS SOUS 1680 HAS SOUPS 1462 WITH SCORE 1468.795
AT ITER 7953 NEW BEST:: SOT 11141 SOS 6787 HAS SOPS 1450 HAS SOUS 1664 HAS SOUPS 1446 WITH SCORE 1452.787
AT ITER 8051 NEW BEST:: SOT 11140 SOS 6786 HAS SOPS 1448 HAS SOUS 1662 HAS SOUPS 1444 WITH SCORE 1450.786
AT ITER 8182 NEW BEST:: SOT 11142 SOS 6999 HAS SOPS 1448 HAS SOUS 1664 HAS SOUPS 1443 WITH SCORE 1449.999
AT ITER 8399 NEW BEST:: SOT 11138 SOS 6993 HAS SOPS 1440 HAS SOUS 1656 HAS SOUPS 1435 WITH SCORE 1441.993
AT ITER 8407 NEW BEST:: SOT 11136 SOS 6990 HAS SOPS 1436 HAS SOUS 1653 HAS SOUPS 1432 WITH SCORE 1438.99
AT ITER 8439 NEW BEST:: SOT 11138 SOS 6992 HAS SOPS 1432 HAS SOUS 1649 HAS SOUPS 1428 WITH SCORE 1434.992
AT ITER 8546 NEW BEST:: SOT 11137 SOS 6990 HAS SOPS 1430 HAS SOUS 1647 HAS SOUPS 1426 WITH SCORE 1432.99
AT ITER 8561 NEW BEST:: SOT 11141 SOS 6993 HAS SOPS 1426 HAS SOUS 1643 HAS SOUPS 1422 WITH SCORE 1428.993
AT ITER 8589 NEW BEST:: SOT 11141 SOS 6992 HAS SOPS 1426 HAS SOUS 1643 HAS SOUPS 1422 WITH SCORE 1428.992
AT ITER 8806 NEW BEST:: SOT 11138 SOS 6989 HAS SOPS 1420 HAS SOUS 1637 HAS SOUPS 1416 WITH SCORE 1422.989
AT ITER 8849 NEW BEST:: SOT 11138 SOS 6990 HAS SOPS 1420 HAS SOUS 1636 HAS SOUPS 1415 WITH SCORE 1421.99
AT ITER 8901 NEW BEST:: SOT 11137 SOS 6988 HAS SOPS 1418 HAS SOUS 1635 HAS SOUPS 1414 WITH SCORE 1420.988
AT ITER 9011 NEW BEST:: SOT 11138 SOS 6989 HAS SOPS 1417 HAS SOUS 1634 HAS SOUPS 1413 WITH SCORE 1419.989
AT ITER 9033 NEW BEST:: SOT 11137 SOS 6988 HAS SOPS 1416 HAS SOUS 1633 HAS SOUPS 1412 WITH SCORE 1418.988
AT ITER 9759 NEW BEST:: SOT 11147 SOS 6990 HAS SOPS 1412 HAS SOUS 1631 HAS SOUPS 1408 WITH SCORE 1414.99
AT ITER 9767 NEW BEST:: SOT 11145 SOS 6989 HAS SOPS 1410 HAS SOUS 1629 HAS SOUPS 1406 WITH SCORE 1412.989
STATE_SPACE STATES 3138428376722 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 14 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 47932360662649 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678386836754

--------------------
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-12a"
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-12a, 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-167819422800384"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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