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.r491-tall-167912711501192.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 UtilityControlRoom-PT-Z4T4N02, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r491-tall-167912711501192
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 984K
-rw-r--r-- 1 mcc users 16K Feb 26 14:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 107K Feb 26 14:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 24K Feb 26 14:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 116K Feb 26 14:49 CTLFireability.xml
-rw-r--r-- 1 mcc users 9.4K Feb 25 17:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 41K Feb 25 17:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 9.8K Feb 25 17:25 LTLFireability.txt
-rw-r--r-- 1 mcc users 38K Feb 25 17:25 LTLFireability.xml
-rw-r--r-- 1 mcc users 27K Feb 26 14:55 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 160K Feb 26 14:55 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 66K Feb 26 14:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 261K Feb 26 14:53 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.7K Feb 25 17:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.8K Feb 25 17:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 65K 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 1679317028265

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=UtilityControlRoom-PT-Z4T4N02
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 12:57:10] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 12:57:10] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 12:57:10] [INFO ] Load time of PNML (sax parser for PT used): 41 ms
[2023-03-20 12:57:10] [INFO ] Transformed 80 places.
[2023-03-20 12:57:10] [INFO ] Transformed 150 transitions.
[2023-03-20 12:57:10] [INFO ] Parsed PT model containing 80 places and 150 transitions and 482 arcs in 108 ms.
[2023-03-20 12:57:10] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 80 places, 150 transitions and 482 arcs took 5 ms.
Total runtime 147 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running UtilityControlRoom (PT), instance Z4T4N02
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: 80 places, 150 transitions, 482 arcs.
AT ITER 0 NEW BEST:: SOT 9652 SOS 7769 HAS SOPS 7769 HAS SOUS 4399 HAS SOUPS 4399 WITH SCORE 4406.769
AT ITER 1 NEW BEST:: SOT 9617 SOS 7580 HAS SOPS 7580 HAS SOUS 4383 HAS SOUPS 4383 WITH SCORE 4390.58
AT ITER 4 NEW BEST:: SOT 9610 SOS 7510 HAS SOPS 7510 HAS SOUS 4375 HAS SOUPS 4375 WITH SCORE 4382.51
AT ITER 9 NEW BEST:: SOT 9538 SOS 7439 HAS SOPS 7439 HAS SOUS 4336 HAS SOUPS 4336 WITH SCORE 4343.439
AT ITER 10 NEW BEST:: SOT 9539 SOS 7423 HAS SOPS 7423 HAS SOUS 4310 HAS SOUPS 4310 WITH SCORE 4317.423
AT ITER 11 NEW BEST:: SOT 9532 SOS 7418 HAS SOPS 7418 HAS SOUS 4280 HAS SOUPS 4280 WITH SCORE 4287.418
AT ITER 16 NEW BEST:: SOT 9532 SOS 7430 HAS SOPS 7430 HAS SOUS 4269 HAS SOUPS 4269 WITH SCORE 4276.43
AT ITER 17 NEW BEST:: SOT 9417 SOS 7390 HAS SOPS 7390 HAS SOUS 4203 HAS SOUPS 4203 WITH SCORE 4210.39
AT ITER 20 NEW BEST:: SOT 9429 SOS 7322 HAS SOPS 7322 HAS SOUS 4107 HAS SOUPS 4107 WITH SCORE 4114.322
AT ITER 21 NEW BEST:: SOT 9431 SOS 7254 HAS SOPS 7254 HAS SOUS 4036 HAS SOUPS 4036 WITH SCORE 4043.254
AT ITER 22 NEW BEST:: SOT 9402 SOS 7175 HAS SOPS 7175 HAS SOUS 3930 HAS SOUPS 3930 WITH SCORE 3937.175
AT ITER 24 NEW BEST:: SOT 9336 SOS 7109 HAS SOPS 7109 HAS SOUS 3858 HAS SOUPS 3858 WITH SCORE 3865.109
AT ITER 26 NEW BEST:: SOT 9336 SOS 7162 HAS SOPS 7162 HAS SOUS 3850 HAS SOUPS 3850 WITH SCORE 3857.162
AT ITER 31 NEW BEST:: SOT 9432 SOS 7261 HAS SOPS 7261 HAS SOUS 3776 HAS SOUPS 3776 WITH SCORE 3783.261
AT ITER 32 NEW BEST:: SOT 9447 SOS 7283 HAS SOPS 7283 HAS SOUS 3652 HAS SOUPS 3652 WITH SCORE 3659.283
AT ITER 34 NEW BEST:: SOT 9447 SOS 7150 HAS SOPS 7150 HAS SOUS 3630 HAS SOUPS 3630 WITH SCORE 3637.15
AT ITER 41 NEW BEST:: SOT 9504 SOS 7188 HAS SOPS 7188 HAS SOUS 3611 HAS SOUPS 3611 WITH SCORE 3618.188
AT ITER 42 NEW BEST:: SOT 9504 SOS 7168 HAS SOPS 7168 HAS SOUS 3543 HAS SOUPS 3543 WITH SCORE 3550.168
AT ITER 44 NEW BEST:: SOT 9499 SOS 7163 HAS SOPS 7163 HAS SOUS 3538 HAS SOUPS 3538 WITH SCORE 3545.163
AT ITER 46 NEW BEST:: SOT 9480 SOS 7123 HAS SOPS 7123 HAS SOUS 3529 HAS SOUPS 3529 WITH SCORE 3536.123
AT ITER 47 NEW BEST:: SOT 9480 SOS 7123 HAS SOPS 7123 HAS SOUS 3526 HAS SOUPS 3526 WITH SCORE 3533.123
AT ITER 50 NEW BEST:: SOT 9480 SOS 7123 HAS SOPS 7123 HAS SOUS 3522 HAS SOUPS 3522 WITH SCORE 3529.123
AT ITER 55 NEW BEST:: SOT 9448 SOS 6760 HAS SOPS 6760 HAS SOUS 3513 HAS SOUPS 3513 WITH SCORE 3519.76
AT ITER 57 NEW BEST:: SOT 9429 SOS 6748 HAS SOPS 6748 HAS SOUS 3492 HAS SOUPS 3492 WITH SCORE 3498.748
AT ITER 59 NEW BEST:: SOT 9327 SOS 6622 HAS SOPS 6622 HAS SOUS 3370 HAS SOUPS 3370 WITH SCORE 3376.622
AT ITER 62 NEW BEST:: SOT 9326 SOS 6584 HAS SOPS 6584 HAS SOUS 3368 HAS SOUPS 3368 WITH SCORE 3374.584
AT ITER 68 NEW BEST:: SOT 9321 SOS 6559 HAS SOPS 6559 HAS SOUS 3355 HAS SOUPS 3355 WITH SCORE 3361.559
AT ITER 69 NEW BEST:: SOT 9342 SOS 6601 HAS SOPS 6601 HAS SOUS 3341 HAS SOUPS 3341 WITH SCORE 3347.601
AT ITER 70 NEW BEST:: SOT 9342 SOS 6601 HAS SOPS 6601 HAS SOUS 3340 HAS SOUPS 3340 WITH SCORE 3346.601
AT ITER 71 NEW BEST:: SOT 9365 SOS 6534 HAS SOPS 6534 HAS SOUS 3315 HAS SOUPS 3315 WITH SCORE 3321.534
AT ITER 72 NEW BEST:: SOT 9364 SOS 6064 HAS SOPS 6064 HAS SOUS 3258 HAS SOUPS 3258 WITH SCORE 3264.064
AT ITER 74 NEW BEST:: SOT 9314 SOS 6074 HAS SOPS 6074 HAS SOUS 3248 HAS SOUPS 3248 WITH SCORE 3254.074
AT ITER 75 NEW BEST:: SOT 9285 SOS 6108 HAS SOPS 6108 HAS SOUS 3240 HAS SOUPS 3240 WITH SCORE 3246.108
AT ITER 76 NEW BEST:: SOT 9285 SOS 6088 HAS SOPS 6088 HAS SOUS 3232 HAS SOUPS 3232 WITH SCORE 3238.088
AT ITER 78 NEW BEST:: SOT 9279 SOS 6028 HAS SOPS 6028 HAS SOUS 3165 HAS SOUPS 3165 WITH SCORE 3171.028
AT ITER 80 NEW BEST:: SOT 9282 SOS 6078 HAS SOPS 6078 HAS SOUS 3157 HAS SOUPS 3157 WITH SCORE 3163.078
AT ITER 85 NEW BEST:: SOT 9284 SOS 6076 HAS SOPS 6076 HAS SOUS 3157 HAS SOUPS 3157 WITH SCORE 3163.076
AT ITER 93 NEW BEST:: SOT 9300 SOS 6006 HAS SOPS 6006 HAS SOUS 3142 HAS SOUPS 3142 WITH SCORE 3148.006
AT ITER 95 NEW BEST:: SOT 9302 SOS 6086 HAS SOPS 6086 HAS SOUS 3128 HAS SOUPS 3128 WITH SCORE 3134.086
AT ITER 96 NEW BEST:: SOT 8807 SOS 6794 HAS SOPS 6794 HAS SOUS 3050 HAS SOUPS 3050 WITH SCORE 3056.794
AT ITER 99 NEW BEST:: SOT 8804 SOS 6791 HAS SOPS 6791 HAS SOUS 3044 HAS SOUPS 3044 WITH SCORE 3050.791
AT ITER 100 NEW BEST:: SOT 8823 SOS 6810 HAS SOPS 6810 HAS SOUS 3029 HAS SOUPS 3029 WITH SCORE 3035.81
AT ITER 103 NEW BEST:: SOT 8823 SOS 6810 HAS SOPS 6810 HAS SOUS 3014 HAS SOUPS 3014 WITH SCORE 3020.81
AT ITER 104 NEW BEST:: SOT 8814 SOS 6801 HAS SOPS 6801 HAS SOUS 2992 HAS SOUPS 2992 WITH SCORE 2998.801
AT ITER 109 NEW BEST:: SOT 8715 SOS 6702 HAS SOPS 6702 HAS SOUS 2949 HAS SOUPS 2949 WITH SCORE 2955.702
AT ITER 110 NEW BEST:: SOT 8710 SOS 6600 HAS SOPS 6600 HAS SOUS 2935 HAS SOUPS 2935 WITH SCORE 2941.6
AT ITER 112 NEW BEST:: SOT 8619 SOS 6509 HAS SOPS 6509 HAS SOUS 2915 HAS SOUPS 2915 WITH SCORE 2921.509
AT ITER 115 NEW BEST:: SOT 8563 SOS 6453 HAS SOPS 6453 HAS SOUS 2810 HAS SOUPS 2810 WITH SCORE 2816.453
AT ITER 117 NEW BEST:: SOT 8571 SOS 6461 HAS SOPS 6461 HAS SOUS 2809 HAS SOUPS 2809 WITH SCORE 2815.461
AT ITER 119 NEW BEST:: SOT 8571 SOS 6457 HAS SOPS 6457 HAS SOUS 2809 HAS SOUPS 2809 WITH SCORE 2815.457
AT ITER 127 NEW BEST:: SOT 8571 SOS 6443 HAS SOPS 6443 HAS SOUS 2809 HAS SOUPS 2809 WITH SCORE 2815.443
AT ITER 128 NEW BEST:: SOT 8562 SOS 6461 HAS SOPS 6461 HAS SOUS 2764 HAS SOUPS 2764 WITH SCORE 2770.461
AT ITER 129 NEW BEST:: SOT 8559 SOS 6455 HAS SOPS 6455 HAS SOUS 2758 HAS SOUPS 2758 WITH SCORE 2764.455
AT ITER 134 NEW BEST:: SOT 8567 SOS 6307 HAS SOPS 6307 HAS SOUS 2751 HAS SOUPS 2751 WITH SCORE 2757.307
AT ITER 135 NEW BEST:: SOT 8567 SOS 6301 HAS SOPS 6301 HAS SOUS 2739 HAS SOUPS 2739 WITH SCORE 2745.301
AT ITER 136 NEW BEST:: SOT 8566 SOS 6300 HAS SOPS 6300 HAS SOUS 2738 HAS SOUPS 2738 WITH SCORE 2744.3
AT ITER 137 NEW BEST:: SOT 8574 SOS 6308 HAS SOPS 6308 HAS SOUS 2718 HAS SOUPS 2718 WITH SCORE 2724.308
AT ITER 138 NEW BEST:: SOT 8571 SOS 6302 HAS SOPS 6302 HAS SOUS 2715 HAS SOUPS 2715 WITH SCORE 2721.302
AT ITER 139 NEW BEST:: SOT 8564 SOS 6303 HAS SOPS 6303 HAS SOUS 2708 HAS SOUPS 2708 WITH SCORE 2714.303
AT ITER 141 NEW BEST:: SOT 8553 SOS 6279 HAS SOPS 6279 HAS SOUS 2681 HAS SOUPS 2681 WITH SCORE 2687.279
AT ITER 142 NEW BEST:: SOT 8553 SOS 6279 HAS SOPS 6279 HAS SOUS 2679 HAS SOUPS 2679 WITH SCORE 2685.279
AT ITER 145 NEW BEST:: SOT 8547 SOS 6267 HAS SOPS 6267 HAS SOUS 2673 HAS SOUPS 2673 WITH SCORE 2679.267
AT ITER 154 NEW BEST:: SOT 8517 SOS 6237 HAS SOPS 6237 HAS SOUS 2671 HAS SOUPS 2671 WITH SCORE 2677.237
AT ITER 155 NEW BEST:: SOT 8518 SOS 6248 HAS SOPS 6248 HAS SOUS 2657 HAS SOUPS 2657 WITH SCORE 2663.248
AT ITER 162 NEW BEST:: SOT 8356 SOS 5980 HAS SOPS 5980 HAS SOUS 2610 HAS SOUPS 2610 WITH SCORE 2615.98
AT ITER 167 NEW BEST:: SOT 8331 SOS 5955 HAS SOPS 5955 HAS SOUS 2603 HAS SOUPS 2603 WITH SCORE 2608.955
AT ITER 170 NEW BEST:: SOT 8285 SOS 5907 HAS SOPS 5907 HAS SOUS 2570 HAS SOUPS 2570 WITH SCORE 2575.907
AT ITER 177 NEW BEST:: SOT 8290 SOS 5902 HAS SOPS 5902 HAS SOUS 2563 HAS SOUPS 2563 WITH SCORE 2568.902
AT ITER 179 NEW BEST:: SOT 8283 SOS 5895 HAS SOPS 5895 HAS SOUS 2559 HAS SOUPS 2559 WITH SCORE 2564.895
AT ITER 180 NEW BEST:: SOT 8245 SOS 5823 HAS SOPS 5823 HAS SOUS 2536 HAS SOUPS 2536 WITH SCORE 2541.823
AT ITER 181 NEW BEST:: SOT 8252 SOS 5815 HAS SOPS 5815 HAS SOUS 2510 HAS SOUPS 2510 WITH SCORE 2515.815
AT ITER 184 NEW BEST:: SOT 8273 SOS 5763 HAS SOPS 5763 HAS SOUS 2502 HAS SOUPS 2502 WITH SCORE 2507.763
AT ITER 187 NEW BEST:: SOT 8255 SOS 5737 HAS SOPS 5737 HAS SOUS 2474 HAS SOUPS 2474 WITH SCORE 2479.737
AT ITER 188 NEW BEST:: SOT 8252 SOS 5770 HAS SOPS 5770 HAS SOUS 2456 HAS SOUPS 2456 WITH SCORE 2461.77
AT ITER 191 NEW BEST:: SOT 8138 SOS 5656 HAS SOPS 5656 HAS SOUS 2435 HAS SOUPS 2435 WITH SCORE 2440.656
AT ITER 194 NEW BEST:: SOT 8106 SOS 5626 HAS SOPS 5626 HAS SOUS 2434 HAS SOUPS 2434 WITH SCORE 2439.626
AT ITER 195 NEW BEST:: SOT 8104 SOS 5636 HAS SOPS 5636 HAS SOUS 2422 HAS SOUPS 2422 WITH SCORE 2427.636
AT ITER 208 NEW BEST:: SOT 8111 SOS 5622 HAS SOPS 5622 HAS SOUS 2393 HAS SOUPS 2393 WITH SCORE 2398.622
AT ITER 217 NEW BEST:: SOT 8142 SOS 5672 HAS SOPS 5672 HAS SOUS 2383 HAS SOUPS 2383 WITH SCORE 2388.672
AT ITER 219 NEW BEST:: SOT 8096 SOS 5618 HAS SOPS 5618 HAS SOUS 2341 HAS SOUPS 2341 WITH SCORE 2346.618
AT ITER 221 NEW BEST:: SOT 8099 SOS 5621 HAS SOPS 5621 HAS SOUS 2335 HAS SOUPS 2335 WITH SCORE 2340.621
AT ITER 222 NEW BEST:: SOT 8049 SOS 5571 HAS SOPS 5571 HAS SOUS 2299 HAS SOUPS 2299 WITH SCORE 2304.571
AT ITER 223 NEW BEST:: SOT 8042 SOS 5585 HAS SOPS 5585 HAS SOUS 2293 HAS SOUPS 2293 WITH SCORE 2298.585
AT ITER 226 NEW BEST:: SOT 8037 SOS 5586 HAS SOPS 5586 HAS SOUS 2290 HAS SOUPS 2290 WITH SCORE 2295.586
AT ITER 228 NEW BEST:: SOT 7981 SOS 5475 HAS SOPS 5475 HAS SOUS 2253 HAS SOUPS 2253 WITH SCORE 2258.475
AT ITER 231 NEW BEST:: SOT 7947 SOS 5441 HAS SOPS 5441 HAS SOUS 2219 HAS SOUPS 2219 WITH SCORE 2224.441
AT ITER 232 NEW BEST:: SOT 7930 SOS 5303 HAS SOPS 5303 HAS SOUS 2202 HAS SOUPS 2202 WITH SCORE 2207.303
AT ITER 236 NEW BEST:: SOT 7924 SOS 5297 HAS SOPS 5297 HAS SOUS 2199 HAS SOUPS 2199 WITH SCORE 2204.297
AT ITER 247 NEW BEST:: SOT 7916 SOS 5281 HAS SOPS 5281 HAS SOUS 2185 HAS SOUPS 2185 WITH SCORE 2190.281
AT ITER 252 NEW BEST:: SOT 7882 SOS 5247 HAS SOPS 5247 HAS SOUS 2163 HAS SOUPS 2163 WITH SCORE 2168.247
AT ITER 254 NEW BEST:: SOT 7958 SOS 5370 HAS SOPS 5370 HAS SOUS 2113 HAS SOUPS 2113 WITH SCORE 2118.37
AT ITER 259 NEW BEST:: SOT 7953 SOS 5438 HAS SOPS 5438 HAS SOUS 2112 HAS SOUPS 2112 WITH SCORE 2117.438
AT ITER 261 NEW BEST:: SOT 7957 SOS 5382 HAS SOPS 5382 HAS SOUS 2104 HAS SOUPS 2104 WITH SCORE 2109.382
AT ITER 266 NEW BEST:: SOT 7924 SOS 5368 HAS SOPS 5368 HAS SOUS 2067 HAS SOUPS 2067 WITH SCORE 2072.368
AT ITER 273 NEW BEST:: SOT 7922 SOS 5384 HAS SOPS 5384 HAS SOUS 2066 HAS SOUPS 2066 WITH SCORE 2071.384
AT ITER 278 NEW BEST:: SOT 7926 SOS 5380 HAS SOPS 5380 HAS SOUS 2062 HAS SOUPS 2062 WITH SCORE 2067.38
AT ITER 279 NEW BEST:: SOT 7906 SOS 5341 HAS SOPS 5341 HAS SOUS 2056 HAS SOUPS 2056 WITH SCORE 2061.341
AT ITER 282 NEW BEST:: SOT 7804 SOS 5079 HAS SOPS 5079 HAS SOUS 2033 HAS SOUPS 2033 WITH SCORE 2038.079
AT ITER 323 NEW BEST:: SOT 7757 SOS 4908 HAS SOPS 4908 HAS SOUS 2031 HAS SOUPS 2031 WITH SCORE 2035.908
AT ITER 324 NEW BEST:: SOT 7748 SOS 4932 HAS SOPS 4932 HAS SOUS 2011 HAS SOUPS 2011 WITH SCORE 2015.932
AT ITER 327 NEW BEST:: SOT 7769 SOS 4874 HAS SOPS 4874 HAS SOUS 2004 HAS SOUPS 2004 WITH SCORE 2008.874
AT ITER 335 NEW BEST:: SOT 7765 SOS 4870 HAS SOPS 4870 HAS SOUS 1998 HAS SOUPS 1998 WITH SCORE 2002.87
AT ITER 342 NEW BEST:: SOT 7741 SOS 4865 HAS SOPS 4865 HAS SOUS 1969 HAS SOUPS 1969 WITH SCORE 1973.865
AT ITER 354 NEW BEST:: SOT 7720 SOS 4827 HAS SOPS 4827 HAS SOUS 1951 HAS SOUPS 1951 WITH SCORE 1955.827
AT ITER 364 NEW BEST:: SOT 7719 SOS 4837 HAS SOPS 4837 HAS SOUS 1949 HAS SOUPS 1949 WITH SCORE 1953.837
AT ITER 375 NEW BEST:: SOT 7713 SOS 4834 HAS SOPS 4834 HAS SOUS 1943 HAS SOUPS 1943 WITH SCORE 1947.834
AT ITER 377 NEW BEST:: SOT 7710 SOS 4828 HAS SOPS 4828 HAS SOUS 1935 HAS SOUPS 1935 WITH SCORE 1939.828
AT ITER 405 NEW BEST:: SOT 7708 SOS 4824 HAS SOPS 4824 HAS SOUS 1933 HAS SOUPS 1933 WITH SCORE 1937.824
AT ITER 406 NEW BEST:: SOT 7710 SOS 4826 HAS SOPS 4826 HAS SOUS 1903 HAS SOUPS 1903 WITH SCORE 1907.826
AT ITER 418 NEW BEST:: SOT 7707 SOS 4820 HAS SOPS 4820 HAS SOUS 1903 HAS SOUPS 1903 WITH SCORE 1907.82
AT ITER 427 NEW BEST:: SOT 7670 SOS 4781 HAS SOPS 4781 HAS SOUS 1887 HAS SOUPS 1887 WITH SCORE 1891.781
AT ITER 428 NEW BEST:: SOT 7601 SOS 4699 HAS SOPS 4699 HAS SOUS 1839 HAS SOUPS 1839 WITH SCORE 1843.699
AT ITER 433 NEW BEST:: SOT 7601 SOS 4699 HAS SOPS 4699 HAS SOUS 1827 HAS SOUPS 1827 WITH SCORE 1831.699
AT ITER 437 NEW BEST:: SOT 7555 SOS 4696 HAS SOPS 4696 HAS SOUS 1786 HAS SOUPS 1786 WITH SCORE 1790.696
AT ITER 442 NEW BEST:: SOT 7550 SOS 4684 HAS SOPS 4684 HAS SOUS 1781 HAS SOUPS 1781 WITH SCORE 1785.684
AT ITER 460 NEW BEST:: SOT 7566 SOS 4700 HAS SOPS 4700 HAS SOUS 1777 HAS SOUPS 1777 WITH SCORE 1781.7
AT ITER 467 NEW BEST:: SOT 7572 SOS 4716 HAS SOPS 4716 HAS SOUS 1746 HAS SOUPS 1746 WITH SCORE 1750.716
AT ITER 473 NEW BEST:: SOT 7561 SOS 4305 HAS SOPS 4305 HAS SOUS 1739 HAS SOUPS 1739 WITH SCORE 1743.305
AT ITER 479 NEW BEST:: SOT 7561 SOS 4305 HAS SOPS 4305 HAS SOUS 1737 HAS SOUPS 1737 WITH SCORE 1741.305
AT ITER 488 NEW BEST:: SOT 7576 SOS 4313 HAS SOPS 4313 HAS SOUS 1736 HAS SOUPS 1736 WITH SCORE 1740.313
AT ITER 490 NEW BEST:: SOT 7600 SOS 4369 HAS SOPS 4369 HAS SOUS 1729 HAS SOUPS 1729 WITH SCORE 1733.369
AT ITER 491 NEW BEST:: SOT 7596 SOS 4346 HAS SOPS 4346 HAS SOUS 1717 HAS SOUPS 1717 WITH SCORE 1721.346
AT ITER 496 NEW BEST:: SOT 7594 SOS 4389 HAS SOPS 4389 HAS SOUS 1700 HAS SOUPS 1700 WITH SCORE 1704.389
AT ITER 544 NEW BEST:: SOT 7591 SOS 4383 HAS SOPS 4383 HAS SOUS 1697 HAS SOUPS 1697 WITH SCORE 1701.383
AT ITER 550 NEW BEST:: SOT 7585 SOS 4297 HAS SOPS 4297 HAS SOUS 1691 HAS SOUPS 1691 WITH SCORE 1695.297
AT ITER 553 NEW BEST:: SOT 7579 SOS 4283 HAS SOPS 4283 HAS SOUS 1683 HAS SOUPS 1683 WITH SCORE 1687.283
AT ITER 562 NEW BEST:: SOT 7579 SOS 4279 HAS SOPS 4279 HAS SOUS 1683 HAS SOUPS 1683 WITH SCORE 1687.279
AT ITER 593 NEW BEST:: SOT 7576 SOS 4287 HAS SOPS 4287 HAS SOUS 1675 HAS SOUPS 1675 WITH SCORE 1679.287
AT ITER 595 NEW BEST:: SOT 7559 SOS 4270 HAS SOPS 4270 HAS SOUS 1663 HAS SOUPS 1663 WITH SCORE 1667.27
AT ITER 602 NEW BEST:: SOT 7553 SOS 4264 HAS SOPS 4264 HAS SOUS 1660 HAS SOUPS 1660 WITH SCORE 1664.264
AT ITER 617 NEW BEST:: SOT 7574 SOS 4306 HAS SOPS 4306 HAS SOUS 1654 HAS SOUPS 1654 WITH SCORE 1658.306
AT ITER 640 NEW BEST:: SOT 7549 SOS 4316 HAS SOPS 4316 HAS SOUS 1629 HAS SOUPS 1629 WITH SCORE 1633.316
AT ITER 647 NEW BEST:: SOT 7545 SOS 4306 HAS SOPS 4306 HAS SOUS 1625 HAS SOUPS 1625 WITH SCORE 1629.306
AT ITER 654 NEW BEST:: SOT 7545 SOS 4297 HAS SOPS 4297 HAS SOUS 1625 HAS SOUPS 1625 WITH SCORE 1629.297
AT ITER 655 NEW BEST:: SOT 7545 SOS 4292 HAS SOPS 4292 HAS SOUS 1625 HAS SOUPS 1625 WITH SCORE 1629.292
AT ITER 658 NEW BEST:: SOT 7539 SOS 4291 HAS SOPS 4291 HAS SOUS 1624 HAS SOUPS 1624 WITH SCORE 1628.291
AT ITER 663 NEW BEST:: SOT 7537 SOS 4285 HAS SOPS 4285 HAS SOUS 1621 HAS SOUPS 1621 WITH SCORE 1625.285
AT ITER 694 NEW BEST:: SOT 7537 SOS 4285 HAS SOPS 4285 HAS SOUS 1617 HAS SOUPS 1617 WITH SCORE 1621.285
AT ITER 697 NEW BEST:: SOT 7535 SOS 4283 HAS SOPS 4283 HAS SOUS 1612 HAS SOUPS 1612 WITH SCORE 1616.283
AT ITER 713 NEW BEST:: SOT 7513 SOS 4261 HAS SOPS 4261 HAS SOUS 1612 HAS SOUPS 1612 WITH SCORE 1616.261
AT ITER 721 NEW BEST:: SOT 7493 SOS 4241 HAS SOPS 4241 HAS SOUS 1612 HAS SOUPS 1612 WITH SCORE 1616.241
AT ITER 735 NEW BEST:: SOT 7499 SOS 4244 HAS SOPS 4244 HAS SOUS 1609 HAS SOUPS 1609 WITH SCORE 1613.244
AT ITER 747 NEW BEST:: SOT 7497 SOS 4240 HAS SOPS 4240 HAS SOUS 1605 HAS SOUPS 1605 WITH SCORE 1609.24
AT ITER 751 NEW BEST:: SOT 7497 SOS 4240 HAS SOPS 4240 HAS SOUS 1601 HAS SOUPS 1601 WITH SCORE 1605.24
AT ITER 766 NEW BEST:: SOT 7508 SOS 4166 HAS SOPS 4166 HAS SOUS 1584 HAS SOUPS 1584 WITH SCORE 1588.166
AT ITER 771 NEW BEST:: SOT 7508 SOS 4166 HAS SOPS 4166 HAS SOUS 1583 HAS SOUPS 1583 WITH SCORE 1587.166
AT ITER 774 NEW BEST:: SOT 7510 SOS 4168 HAS SOPS 4168 HAS SOUS 1579 HAS SOUPS 1579 WITH SCORE 1583.168
AT ITER 797 NEW BEST:: SOT 7510 SOS 4168 HAS SOPS 4168 HAS SOUS 1574 HAS SOUPS 1574 WITH SCORE 1578.168
AT ITER 802 NEW BEST:: SOT 7512 SOS 4038 HAS SOPS 4038 HAS SOUS 1574 HAS SOUPS 1574 WITH SCORE 1578.038
AT ITER 803 NEW BEST:: SOT 7510 SOS 4036 HAS SOPS 4036 HAS SOUS 1529 HAS SOUPS 1529 WITH SCORE 1533.036
AT ITER 807 NEW BEST:: SOT 7508 SOS 4034 HAS SOPS 4034 HAS SOUS 1528 HAS SOUPS 1528 WITH SCORE 1532.034
AT ITER 811 NEW BEST:: SOT 7507 SOS 4032 HAS SOPS 4032 HAS SOUS 1525 HAS SOUPS 1525 WITH SCORE 1529.032
AT ITER 826 NEW BEST:: SOT 7502 SOS 4027 HAS SOPS 4027 HAS SOUS 1525 HAS SOUPS 1525 WITH SCORE 1529.027
AT ITER 840 NEW BEST:: SOT 7496 SOS 4021 HAS SOPS 4021 HAS SOUS 1519 HAS SOUPS 1519 WITH SCORE 1523.021
AT ITER 858 NEW BEST:: SOT 7452 SOS 3914 HAS SOPS 3914 HAS SOUS 1482 HAS SOUPS 1482 WITH SCORE 1485.914
AT ITER 868 NEW BEST:: SOT 7451 SOS 3927 HAS SOPS 3927 HAS SOUS 1480 HAS SOUPS 1480 WITH SCORE 1483.927
AT ITER 879 NEW BEST:: SOT 7451 SOS 3923 HAS SOPS 3923 HAS SOUS 1479 HAS SOUPS 1479 WITH SCORE 1482.923
AT ITER 898 NEW BEST:: SOT 7423 SOS 3895 HAS SOPS 3895 HAS SOUS 1473 HAS SOUPS 1473 WITH SCORE 1476.895
AT ITER 908 NEW BEST:: SOT 7424 SOS 3889 HAS SOPS 3889 HAS SOUS 1473 HAS SOUPS 1473 WITH SCORE 1476.889
AT ITER 950 NEW BEST:: SOT 7424 SOS 3885 HAS SOPS 3885 HAS SOUS 1472 HAS SOUPS 1472 WITH SCORE 1475.885
AT ITER 955 NEW BEST:: SOT 7422 SOS 3877 HAS SOPS 3877 HAS SOUS 1468 HAS SOUPS 1468 WITH SCORE 1471.877
AT ITER 973 NEW BEST:: SOT 7421 SOS 3875 HAS SOPS 3875 HAS SOUS 1465 HAS SOUPS 1465 WITH SCORE 1468.875
AT ITER 980 NEW BEST:: SOT 7421 SOS 3875 HAS SOPS 3875 HAS SOUS 1463 HAS SOUPS 1463 WITH SCORE 1466.875
AT ITER 983 NEW BEST:: SOT 7421 SOS 3875 HAS SOPS 3875 HAS SOUS 1457 HAS SOUPS 1457 WITH SCORE 1460.875
AT ITER 993 NEW BEST:: SOT 7418 SOS 3872 HAS SOPS 3872 HAS SOUS 1457 HAS SOUPS 1457 WITH SCORE 1460.872
AT ITER 998 NEW BEST:: SOT 7391 SOS 3848 HAS SOPS 3848 HAS SOUS 1448 HAS SOUPS 1448 WITH SCORE 1451.848
AT ITER 1004 NEW BEST:: SOT 7387 SOS 3844 HAS SOPS 3844 HAS SOUS 1446 HAS SOUPS 1446 WITH SCORE 1449.844
AT ITER 1021 NEW BEST:: SOT 7401 SOS 3831 HAS SOPS 3831 HAS SOUS 1435 HAS SOUPS 1435 WITH SCORE 1438.831
AT ITER 1053 NEW BEST:: SOT 7397 SOS 3827 HAS SOPS 3827 HAS SOUS 1426 HAS SOUPS 1426 WITH SCORE 1429.827
AT ITER 1099 NEW BEST:: SOT 7409 SOS 3839 HAS SOPS 3839 HAS SOUS 1418 HAS SOUPS 1418 WITH SCORE 1421.839
AT ITER 1103 NEW BEST:: SOT 7403 SOS 3833 HAS SOPS 3833 HAS SOUS 1415 HAS SOUPS 1415 WITH SCORE 1418.833
AT ITER 1105 NEW BEST:: SOT 7400 SOS 3830 HAS SOPS 3830 HAS SOUS 1415 HAS SOUPS 1415 WITH SCORE 1418.83
AT ITER 1113 NEW BEST:: SOT 7397 SOS 3827 HAS SOPS 3827 HAS SOUS 1412 HAS SOUPS 1412 WITH SCORE 1415.827
AT ITER 1117 NEW BEST:: SOT 7376 SOS 3810 HAS SOPS 3810 HAS SOUS 1398 HAS SOUPS 1398 WITH SCORE 1401.81
AT ITER 1120 NEW BEST:: SOT 7371 SOS 3798 HAS SOPS 3798 HAS SOUS 1386 HAS SOUPS 1386 WITH SCORE 1389.798
AT ITER 1129 NEW BEST:: SOT 7370 SOS 3865 HAS SOPS 3865 HAS SOUS 1385 HAS SOUPS 1385 WITH SCORE 1388.865
AT ITER 1186 NEW BEST:: SOT 7364 SOS 3847 HAS SOPS 3847 HAS SOUS 1385 HAS SOUPS 1385 WITH SCORE 1388.847
AT ITER 1207 NEW BEST:: SOT 7363 SOS 3770 HAS SOPS 3770 HAS SOUS 1382 HAS SOUPS 1382 WITH SCORE 1385.77
AT ITER 1226 NEW BEST:: SOT 7376 SOS 3783 HAS SOPS 3783 HAS SOUS 1359 HAS SOUPS 1359 WITH SCORE 1362.783
AT ITER 1232 NEW BEST:: SOT 7376 SOS 3759 HAS SOPS 3759 HAS SOUS 1351 HAS SOUPS 1351 WITH SCORE 1354.759
AT ITER 1234 NEW BEST:: SOT 7370 SOS 3753 HAS SOPS 3753 HAS SOUS 1351 HAS SOUPS 1351 WITH SCORE 1354.753
AT ITER 1247 NEW BEST:: SOT 7395 SOS 3778 HAS SOPS 3778 HAS SOUS 1334 HAS SOUPS 1334 WITH SCORE 1337.778
AT ITER 1251 NEW BEST:: SOT 7380 SOS 3725 HAS SOPS 3725 HAS SOUS 1334 HAS SOUPS 1334 WITH SCORE 1337.725
AT ITER 1258 NEW BEST:: SOT 7381 SOS 3723 HAS SOPS 3723 HAS SOUS 1331 HAS SOUPS 1331 WITH SCORE 1334.723
AT ITER 1303 NEW BEST:: SOT 7359 SOS 3701 HAS SOPS 3701 HAS SOUS 1323 HAS SOUPS 1323 WITH SCORE 1326.701
AT ITER 1315 NEW BEST:: SOT 7357 SOS 3699 HAS SOPS 3699 HAS SOUS 1319 HAS SOUPS 1319 WITH SCORE 1322.699
AT ITER 1320 NEW BEST:: SOT 7355 SOS 3697 HAS SOPS 3697 HAS SOUS 1310 HAS SOUPS 1310 WITH SCORE 1313.697
AT ITER 1369 NEW BEST:: SOT 7357 SOS 3699 HAS SOPS 3699 HAS SOUS 1309 HAS SOUPS 1309 WITH SCORE 1312.699
AT ITER 1374 NEW BEST:: SOT 7363 SOS 3695 HAS SOPS 3695 HAS SOUS 1292 HAS SOUPS 1292 WITH SCORE 1295.695
AT ITER 1382 NEW BEST:: SOT 7353 SOS 3675 HAS SOPS 3675 HAS SOUS 1282 HAS SOUPS 1282 WITH SCORE 1285.675
AT ITER 1383 NEW BEST:: SOT 7349 SOS 3667 HAS SOPS 3667 HAS SOUS 1278 HAS SOUPS 1278 WITH SCORE 1281.667
AT ITER 1394 NEW BEST:: SOT 7349 SOS 3667 HAS SOPS 3667 HAS SOUS 1276 HAS SOUPS 1276 WITH SCORE 1279.667
AT ITER 1440 NEW BEST:: SOT 7344 SOS 3642 HAS SOPS 3642 HAS SOUS 1276 HAS SOUPS 1276 WITH SCORE 1279.642
AT ITER 1443 NEW BEST:: SOT 7343 SOS 3640 HAS SOPS 3640 HAS SOUS 1271 HAS SOUPS 1271 WITH SCORE 1274.64
AT ITER 1456 NEW BEST:: SOT 7335 SOS 3630 HAS SOPS 3630 HAS SOUS 1269 HAS SOUPS 1269 WITH SCORE 1272.63
AT ITER 1489 NEW BEST:: SOT 7332 SOS 3626 HAS SOPS 3626 HAS SOUS 1266 HAS SOUPS 1266 WITH SCORE 1269.626
AT ITER 1507 NEW BEST:: SOT 7333 SOS 3620 HAS SOPS 3620 HAS SOUS 1263 HAS SOUPS 1263 WITH SCORE 1266.62
AT ITER 1537 NEW BEST:: SOT 7345 SOS 3619 HAS SOPS 3619 HAS SOUS 1261 HAS SOUPS 1261 WITH SCORE 1264.619
AT ITER 1605 NEW BEST:: SOT 7341 SOS 3615 HAS SOPS 3615 HAS SOUS 1253 HAS SOUPS 1253 WITH SCORE 1256.615
AT ITER 1728 NEW BEST:: SOT 7339 SOS 3608 HAS SOPS 3608 HAS SOUS 1249 HAS SOUPS 1249 WITH SCORE 1252.608
AT ITER 1729 NEW BEST:: SOT 7337 SOS 3608 HAS SOPS 3608 HAS SOUS 1247 HAS SOUPS 1247 WITH SCORE 1250.608
AT ITER 1821 NEW BEST:: SOT 7336 SOS 3610 HAS SOPS 3610 HAS SOUS 1246 HAS SOUPS 1246 WITH SCORE 1249.61
AT ITER 1827 NEW BEST:: SOT 7341 SOS 3606 HAS SOPS 3606 HAS SOUS 1232 HAS SOUPS 1232 WITH SCORE 1235.606
AT ITER 1857 NEW BEST:: SOT 7339 SOS 3601 HAS SOPS 3601 HAS SOUS 1230 HAS SOUPS 1230 WITH SCORE 1233.601
AT ITER 1879 NEW BEST:: SOT 7329 SOS 3591 HAS SOPS 3591 HAS SOUS 1230 HAS SOUPS 1230 WITH SCORE 1233.591
AT ITER 1957 NEW BEST:: SOT 7329 SOS 3591 HAS SOPS 3591 HAS SOUS 1228 HAS SOUPS 1228 WITH SCORE 1231.591
AT ITER 1968 NEW BEST:: SOT 7321 SOS 3583 HAS SOPS 3583 HAS SOUS 1220 HAS SOUPS 1220 WITH SCORE 1223.583
AT ITER 1977 NEW BEST:: SOT 7319 SOS 3615 HAS SOPS 3615 HAS SOUS 1219 HAS SOUPS 1219 WITH SCORE 1222.615
AT ITER 2014 NEW BEST:: SOT 7308 SOS 3604 HAS SOPS 3604 HAS SOUS 1215 HAS SOUPS 1215 WITH SCORE 1218.604
AT ITER 2022 NEW BEST:: SOT 7308 SOS 3604 HAS SOPS 3604 HAS SOUS 1211 HAS SOUPS 1211 WITH SCORE 1214.604
AT ITER 2044 NEW BEST:: SOT 7309 SOS 3598 HAS SOPS 3598 HAS SOUS 1211 HAS SOUPS 1211 WITH SCORE 1214.598
AT ITER 2087 NEW BEST:: SOT 7308 SOS 3596 HAS SOPS 3596 HAS SOUS 1205 HAS SOUPS 1205 WITH SCORE 1208.596
AT ITER 2099 NEW BEST:: SOT 7308 SOS 3596 HAS SOPS 3596 HAS SOUS 1203 HAS SOUPS 1203 WITH SCORE 1206.596
AT ITER 2126 NEW BEST:: SOT 7307 SOS 3592 HAS SOPS 3592 HAS SOUS 1202 HAS SOUPS 1202 WITH SCORE 1205.592
AT ITER 2132 NEW BEST:: SOT 7251 SOS 3499 HAS SOPS 3499 HAS SOUS 1186 HAS SOUPS 1186 WITH SCORE 1189.499
AT ITER 2149 NEW BEST:: SOT 7256 SOS 3517 HAS SOPS 3517 HAS SOUS 1185 HAS SOUPS 1185 WITH SCORE 1188.517
AT ITER 2170 NEW BEST:: SOT 7252 SOS 3513 HAS SOPS 3513 HAS SOUS 1183 HAS SOUPS 1183 WITH SCORE 1186.513
AT ITER 2229 NEW BEST:: SOT 7250 SOS 3503 HAS SOPS 3503 HAS SOUS 1179 HAS SOUPS 1179 WITH SCORE 1182.503
AT ITER 2248 NEW BEST:: SOT 7233 SOS 3485 HAS SOPS 3485 HAS SOUS 1179 HAS SOUPS 1179 WITH SCORE 1182.485
AT ITER 2269 NEW BEST:: SOT 7233 SOS 3483 HAS SOPS 3483 HAS SOUS 1179 HAS SOUPS 1179 WITH SCORE 1182.483
AT ITER 2287 NEW BEST:: SOT 7231 SOS 3481 HAS SOPS 3481 HAS SOUS 1176 HAS SOUPS 1176 WITH SCORE 1179.481
AT ITER 2364 NEW BEST:: SOT 7235 SOS 3477 HAS SOPS 3477 HAS SOUS 1176 HAS SOUPS 1176 WITH SCORE 1179.477
AT ITER 2416 NEW BEST:: SOT 7227 SOS 3477 HAS SOPS 3477 HAS SOUS 1168 HAS SOUPS 1168 WITH SCORE 1171.477
AT ITER 2430 NEW BEST:: SOT 7226 SOS 3475 HAS SOPS 3475 HAS SOUS 1167 HAS SOUPS 1167 WITH SCORE 1170.475
AT ITER 2441 NEW BEST:: SOT 7225 SOS 3474 HAS SOPS 3474 HAS SOUS 1166 HAS SOUPS 1166 WITH SCORE 1169.474
AT ITER 2455 NEW BEST:: SOT 7224 SOS 3465 HAS SOPS 3465 HAS SOUS 1161 HAS SOUPS 1161 WITH SCORE 1164.465
AT ITER 2460 NEW BEST:: SOT 7220 SOS 3461 HAS SOPS 3461 HAS SOUS 1159 HAS SOUPS 1159 WITH SCORE 1162.461
AT ITER 2544 NEW BEST:: SOT 7216 SOS 3455 HAS SOPS 3455 HAS SOUS 1155 HAS SOUPS 1155 WITH SCORE 1158.455
AT ITER 2568 NEW BEST:: SOT 7216 SOS 3458 HAS SOPS 3458 HAS SOUS 1152 HAS SOUPS 1152 WITH SCORE 1155.458
AT ITER 2613 NEW BEST:: SOT 7216 SOS 3455 HAS SOPS 3455 HAS SOUS 1152 HAS SOUPS 1152 WITH SCORE 1155.455
AT ITER 2686 NEW BEST:: SOT 7211 SOS 3437 HAS SOPS 3437 HAS SOUS 1139 HAS SOUPS 1139 WITH SCORE 1142.437
AT ITER 2694 NEW BEST:: SOT 7207 SOS 3446 HAS SOPS 3446 HAS SOUS 1138 HAS SOUPS 1138 WITH SCORE 1141.446
AT ITER 2699 NEW BEST:: SOT 7211 SOS 3430 HAS SOPS 3430 HAS SOUS 1137 HAS SOUPS 1137 WITH SCORE 1140.43
AT ITER 2765 NEW BEST:: SOT 7209 SOS 3434 HAS SOPS 3434 HAS SOUS 1135 HAS SOUPS 1135 WITH SCORE 1138.434
AT ITER 2785 NEW BEST:: SOT 7207 SOS 3434 HAS SOPS 3434 HAS SOUS 1133 HAS SOUPS 1133 WITH SCORE 1136.434
AT ITER 2816 NEW BEST:: SOT 7204 SOS 3431 HAS SOPS 3431 HAS SOUS 1133 HAS SOUPS 1133 WITH SCORE 1136.431
AT ITER 2992 NEW BEST:: SOT 7200 SOS 3427 HAS SOPS 3427 HAS SOUS 1126 HAS SOUPS 1126 WITH SCORE 1129.427
AT ITER 3019 NEW BEST:: SOT 7199 SOS 3422 HAS SOPS 3422 HAS SOUS 1123 HAS SOUPS 1123 WITH SCORE 1126.422
AT ITER 3035 NEW BEST:: SOT 7203 SOS 3426 HAS SOPS 3426 HAS SOUS 1119 HAS SOUPS 1119 WITH SCORE 1122.426
AT ITER 3092 NEW BEST:: SOT 7203 SOS 3423 HAS SOPS 3423 HAS SOUS 1119 HAS SOUPS 1119 WITH SCORE 1122.423
AT ITER 3115 NEW BEST:: SOT 7203 SOS 3421 HAS SOPS 3421 HAS SOUS 1118 HAS SOUPS 1118 WITH SCORE 1121.421
AT ITER 3138 NEW BEST:: SOT 7197 SOS 3412 HAS SOPS 3412 HAS SOUS 1112 HAS SOUPS 1112 WITH SCORE 1115.412
AT ITER 3187 NEW BEST:: SOT 7194 SOS 3426 HAS SOPS 3426 HAS SOUS 1110 HAS SOUPS 1110 WITH SCORE 1113.426
AT ITER 3215 NEW BEST:: SOT 7190 SOS 3422 HAS SOPS 3422 HAS SOUS 1109 HAS SOUPS 1109 WITH SCORE 1112.422
AT ITER 3337 NEW BEST:: SOT 7188 SOS 3416 HAS SOPS 3416 HAS SOUS 1109 HAS SOUPS 1109 WITH SCORE 1112.416
AT ITER 3370 NEW BEST:: SOT 7189 SOS 3422 HAS SOPS 3422 HAS SOUS 1107 HAS SOUPS 1107 WITH SCORE 1110.422
AT ITER 3485 NEW BEST:: SOT 7182 SOS 3414 HAS SOPS 3414 HAS SOUS 1102 HAS SOUPS 1102 WITH SCORE 1105.414
AT ITER 3490 NEW BEST:: SOT 7180 SOS 3412 HAS SOPS 3412 HAS SOUS 1099 HAS SOUPS 1099 WITH SCORE 1102.412
AT ITER 3526 NEW BEST:: SOT 7177 SOS 3409 HAS SOPS 3409 HAS SOUS 1099 HAS SOUPS 1099 WITH SCORE 1102.409
AT ITER 3607 NEW BEST:: SOT 7174 SOS 3401 HAS SOPS 3401 HAS SOUS 1094 HAS SOUPS 1094 WITH SCORE 1097.401
AT ITER 3702 NEW BEST:: SOT 7178 SOS 3405 HAS SOPS 3405 HAS SOUS 1090 HAS SOUPS 1090 WITH SCORE 1093.405
AT ITER 3723 NEW BEST:: SOT 7174 SOS 3401 HAS SOPS 3401 HAS SOUS 1082 HAS SOUPS 1082 WITH SCORE 1085.401
AT ITER 3907 NEW BEST:: SOT 7174 SOS 3401 HAS SOPS 3401 HAS SOUS 1080 HAS SOUPS 1080 WITH SCORE 1083.401
AT ITER 3944 NEW BEST:: SOT 7174 SOS 3401 HAS SOPS 3401 HAS SOUS 1079 HAS SOUPS 1079 WITH SCORE 1082.401
AT ITER 4035 NEW BEST:: SOT 7174 SOS 3398 HAS SOPS 3398 HAS SOUS 1079 HAS SOUPS 1079 WITH SCORE 1082.398
AT ITER 4451 NEW BEST:: SOT 7188 SOS 3412 HAS SOPS 3412 HAS SOUS 1077 HAS SOUPS 1077 WITH SCORE 1080.412
AT ITER 4557 NEW BEST:: SOT 7186 SOS 3409 HAS SOPS 3409 HAS SOUS 1077 HAS SOUPS 1077 WITH SCORE 1080.409
AT ITER 4708 NEW BEST:: SOT 7191 SOS 3414 HAS SOPS 3414 HAS SOUS 1071 HAS SOUPS 1071 WITH SCORE 1074.414
AT ITER 4786 NEW BEST:: SOT 7188 SOS 3412 HAS SOPS 3412 HAS SOUS 1066 HAS SOUPS 1066 WITH SCORE 1069.412
AT ITER 4820 NEW BEST:: SOT 7186 SOS 3411 HAS SOPS 3411 HAS SOUS 1065 HAS SOUPS 1065 WITH SCORE 1068.411
AT ITER 4904 NEW BEST:: SOT 7188 SOS 3412 HAS SOPS 3412 HAS SOUS 1064 HAS SOUPS 1064 WITH SCORE 1067.412
AT ITER 5073 NEW BEST:: SOT 7186 SOS 3410 HAS SOPS 3410 HAS SOUS 1064 HAS SOUPS 1064 WITH SCORE 1067.41
AT ITER 5100 NEW BEST:: SOT 7187 SOS 3404 HAS SOPS 3404 HAS SOUS 1064 HAS SOUPS 1064 WITH SCORE 1067.404
AT ITER 5545 NEW BEST:: SOT 7183 SOS 3391 HAS SOPS 3391 HAS SOUS 1060 HAS SOUPS 1060 WITH SCORE 1063.391
AT ITER 5601 NEW BEST:: SOT 7182 SOS 3441 HAS SOPS 3441 HAS SOUS 1059 HAS SOUPS 1059 WITH SCORE 1062.441
AT ITER 5614 NEW BEST:: SOT 7185 SOS 3452 HAS SOPS 3452 HAS SOUS 1058 HAS SOUPS 1058 WITH SCORE 1061.452
AT ITER 5805 NEW BEST:: SOT 7184 SOS 3451 HAS SOPS 3451 HAS SOUS 1057 HAS SOUPS 1057 WITH SCORE 1060.451
AT ITER 5816 NEW BEST:: SOT 7186 SOS 3453 HAS SOPS 3453 HAS SOUS 1055 HAS SOUPS 1055 WITH SCORE 1058.453
AT ITER 5835 NEW BEST:: SOT 7180 SOS 3457 HAS SOPS 3457 HAS SOUS 1054 HAS SOUPS 1054 WITH SCORE 1057.457
AT ITER 5968 NEW BEST:: SOT 7178 SOS 3455 HAS SOPS 3455 HAS SOUS 1052 HAS SOUPS 1052 WITH SCORE 1055.455
AT ITER 6038 NEW BEST:: SOT 7179 SOS 3451 HAS SOPS 3451 HAS SOUS 1052 HAS SOUPS 1052 WITH SCORE 1055.451
AT ITER 6042 NEW BEST:: SOT 7176 SOS 3448 HAS SOPS 3448 HAS SOUS 1052 HAS SOUPS 1052 WITH SCORE 1055.448
AT ITER 6068 NEW BEST:: SOT 7174 SOS 3570 HAS SOPS 3570 HAS SOUS 1050 HAS SOUPS 1050 WITH SCORE 1053.57
AT ITER 6133 NEW BEST:: SOT 7169 SOS 3554 HAS SOPS 3554 HAS SOUS 1043 HAS SOUPS 1043 WITH SCORE 1046.554
AT ITER 6158 NEW BEST:: SOT 7170 SOS 3487 HAS SOPS 3487 HAS SOUS 1043 HAS SOUPS 1043 WITH SCORE 1046.487
AT ITER 6211 NEW BEST:: SOT 7170 SOS 3487 HAS SOPS 3487 HAS SOUS 1042 HAS SOUPS 1042 WITH SCORE 1045.487
AT ITER 6340 NEW BEST:: SOT 7172 SOS 3495 HAS SOPS 3495 HAS SOUS 1039 HAS SOUPS 1039 WITH SCORE 1042.495
AT ITER 7144 NEW BEST:: SOT 7172 SOS 3495 HAS SOPS 3495 HAS SOUS 1038 HAS SOUPS 1038 WITH SCORE 1041.495
AT ITER 7233 NEW BEST:: SOT 7180 SOS 3503 HAS SOPS 3503 HAS SOUS 1035 HAS SOUPS 1035 WITH SCORE 1038.503
AT ITER 7483 NEW BEST:: SOT 7176 SOS 3491 HAS SOPS 3491 HAS SOUS 1030 HAS SOUPS 1030 WITH SCORE 1033.491
AT ITER 7548 NEW BEST:: SOT 7180 SOS 3495 HAS SOPS 3495 HAS SOUS 1028 HAS SOUPS 1028 WITH SCORE 1031.495
AT ITER 7956 NEW BEST:: SOT 7177 SOS 3492 HAS SOPS 3492 HAS SOUS 1028 HAS SOUPS 1028 WITH SCORE 1031.492
AT ITER 8315 NEW BEST:: SOT 7177 SOS 3488 HAS SOPS 3488 HAS SOUS 1026 HAS SOUPS 1026 WITH SCORE 1029.488
AT ITER 8345 NEW BEST:: SOT 7173 SOS 3476 HAS SOPS 3476 HAS SOUS 1026 HAS SOUPS 1026 WITH SCORE 1029.476
AT ITER 8931 NEW BEST:: SOT 7170 SOS 3473 HAS SOPS 3473 HAS SOUS 1026 HAS SOUPS 1026 WITH SCORE 1029.473
AT ITER 9047 NEW BEST:: SOT 7170 SOS 3473 HAS SOPS 3473 HAS SOUS 1025 HAS SOUPS 1025 WITH SCORE 1028.473
AT ITER 9401 NEW BEST:: SOT 7169 SOS 3475 HAS SOPS 3475 HAS SOUS 1024 HAS SOUPS 1024 WITH SCORE 1027.475
AT ITER 9428 NEW BEST:: SOT 7168 SOS 3477 HAS SOPS 3477 HAS SOUS 1023 HAS SOUPS 1023 WITH SCORE 1026.477
AT ITER 9560 NEW BEST:: SOT 7166 SOS 3475 HAS SOPS 3475 HAS SOUS 1021 HAS SOUPS 1021 WITH SCORE 1024.475
AT ITER 9623 NEW BEST:: SOT 7164 SOS 3473 HAS SOPS 3473 HAS SOUS 1020 HAS SOUPS 1020 WITH SCORE 1023.473
STATE_SPACE STATES 57040 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 4 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 14 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 268760 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679317037174

--------------------
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="UtilityControlRoom-PT-Z4T4N02"
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 UtilityControlRoom-PT-Z4T4N02, 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 r491-tall-167912711501192"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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