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.r203-smll-167840349100088.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 GPUForwardProgress-PT-24a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r203-smll-167840349100088
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 512K
-rw-r--r-- 1 mcc users 7.6K Feb 25 14:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 83K Feb 25 14:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 25 14:16 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 25 14:16 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:11 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:11 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:11 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 14:26 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 114K Feb 25 14:26 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 25 14:24 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 107K Feb 25 14:24 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:11 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:11 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 38K 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 1678532467435

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=GPUForwardProgress-PT-24a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-11 11:01:10] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-11 11:01:10] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-11 11:01:10] [INFO ] Load time of PNML (sax parser for PT used): 68 ms
[2023-03-11 11:01:10] [INFO ] Transformed 104 places.
[2023-03-11 11:01:10] [INFO ] Transformed 129 transitions.
[2023-03-11 11:01:10] [INFO ] Found NUPN structural information;
[2023-03-11 11:01:11] [INFO ] Parsed PT model containing 104 places and 129 transitions and 501 arcs in 165 ms.
[2023-03-11 11:01:11] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 104 places, 129 transitions and 501 arcs took 6 ms.
Total runtime 217 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running GPUForwardProgress (PT), instance 24a
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: 104 places, 129 transitions, 501 arcs.
AT ITER 0 NEW BEST:: SOT 8760 SOS 7534 HAS SOPS 7532 HAS SOUS 5656 HAS SOUPS 5655 WITH SCORE 5662.534
AT ITER 1 NEW BEST:: SOT 8732 SOS 7444 HAS SOPS 7442 HAS SOUS 5606 HAS SOUPS 5605 WITH SCORE 5612.444
AT ITER 2 NEW BEST:: SOT 8592 SOS 7255 HAS SOPS 7253 HAS SOUS 5478 HAS SOUPS 5477 WITH SCORE 5484.255
AT ITER 4 NEW BEST:: SOT 8588 SOS 7251 HAS SOPS 7249 HAS SOUS 5474 HAS SOUPS 5473 WITH SCORE 5480.251
AT ITER 9 NEW BEST:: SOT 8590 SOS 7230 HAS SOPS 7228 HAS SOUS 5451 HAS SOUPS 5450 WITH SCORE 5457.23
AT ITER 10 NEW BEST:: SOT 8548 SOS 7118 HAS SOPS 7116 HAS SOUS 5380 HAS SOUPS 5379 WITH SCORE 5386.118
AT ITER 11 NEW BEST:: SOT 8622 SOS 7118 HAS SOPS 7116 HAS SOUS 5284 HAS SOUPS 5283 WITH SCORE 5290.118
AT ITER 12 NEW BEST:: SOT 8654 SOS 7150 HAS SOPS 7148 HAS SOUS 5277 HAS SOUPS 5276 WITH SCORE 5283.15
AT ITER 13 NEW BEST:: SOT 8681 SOS 7145 HAS SOPS 7143 HAS SOUS 5225 HAS SOUPS 5224 WITH SCORE 5231.145
AT ITER 16 NEW BEST:: SOT 8665 SOS 7129 HAS SOPS 7127 HAS SOUS 5209 HAS SOUPS 5208 WITH SCORE 5215.129
AT ITER 17 NEW BEST:: SOT 8700 SOS 7164 HAS SOPS 7162 HAS SOUS 5165 HAS SOUPS 5164 WITH SCORE 5171.164
AT ITER 18 NEW BEST:: SOT 8761 SOS 7225 HAS SOPS 7223 HAS SOUS 5153 HAS SOUPS 5152 WITH SCORE 5159.225
AT ITER 19 NEW BEST:: SOT 8761 SOS 7146 HAS SOPS 7144 HAS SOUS 5074 HAS SOUPS 5073 WITH SCORE 5080.146
AT ITER 20 NEW BEST:: SOT 8725 SOS 7056 HAS SOPS 7054 HAS SOUS 5020 HAS SOUPS 5019 WITH SCORE 5026.056
AT ITER 22 NEW BEST:: SOT 8756 SOS 7087 HAS SOPS 7085 HAS SOUS 4975 HAS SOUPS 4974 WITH SCORE 4981.087
AT ITER 24 NEW BEST:: SOT 8756 SOS 7084 HAS SOPS 7082 HAS SOUS 4972 HAS SOUPS 4971 WITH SCORE 4978.084
AT ITER 27 NEW BEST:: SOT 8824 SOS 7096 HAS SOPS 7094 HAS SOUS 4930 HAS SOUPS 4929 WITH SCORE 4936.096
AT ITER 29 NEW BEST:: SOT 8810 SOS 7103 HAS SOPS 7101 HAS SOUS 4920 HAS SOUPS 4919 WITH SCORE 4926.103
AT ITER 30 NEW BEST:: SOT 8764 SOS 6986 HAS SOPS 6984 HAS SOUS 4849 HAS SOUPS 4848 WITH SCORE 4854.986
AT ITER 34 NEW BEST:: SOT 8739 SOS 6961 HAS SOPS 6959 HAS SOUS 4824 HAS SOUPS 4823 WITH SCORE 4829.961
AT ITER 37 NEW BEST:: SOT 8667 SOS 6889 HAS SOPS 6887 HAS SOUS 4781 HAS SOUPS 4780 WITH SCORE 4786.889
AT ITER 38 NEW BEST:: SOT 8722 SOS 6944 HAS SOPS 6942 HAS SOUS 4727 HAS SOUPS 4726 WITH SCORE 4732.944
AT ITER 39 NEW BEST:: SOT 8796 SOS 6918 HAS SOPS 6916 HAS SOUS 4667 HAS SOUPS 4666 WITH SCORE 4672.918
AT ITER 49 NEW BEST:: SOT 8796 SOS 6907 HAS SOPS 6905 HAS SOUS 4656 HAS SOUPS 4655 WITH SCORE 4661.907
AT ITER 57 NEW BEST:: SOT 8796 SOS 6765 HAS SOPS 6763 HAS SOUS 4520 HAS SOUPS 4519 WITH SCORE 4525.765
AT ITER 59 NEW BEST:: SOT 8779 SOS 6669 HAS SOPS 6667 HAS SOUS 4441 HAS SOUPS 4440 WITH SCORE 4446.669
AT ITER 60 NEW BEST:: SOT 8779 SOS 6552 HAS SOPS 6550 HAS SOUS 4324 HAS SOUPS 4323 WITH SCORE 4329.552
AT ITER 61 NEW BEST:: SOT 8768 SOS 6541 HAS SOPS 6539 HAS SOUS 4320 HAS SOUPS 4319 WITH SCORE 4325.541
AT ITER 62 NEW BEST:: SOT 8768 SOS 6541 HAS SOPS 6539 HAS SOUS 4319 HAS SOUPS 4318 WITH SCORE 4324.541
AT ITER 67 NEW BEST:: SOT 8814 SOS 6501 HAS SOPS 6499 HAS SOUS 4238 HAS SOUPS 4237 WITH SCORE 4243.501
AT ITER 69 NEW BEST:: SOT 8815 SOS 6480 HAS SOPS 6478 HAS SOUS 4221 HAS SOUPS 4220 WITH SCORE 4226.48
AT ITER 73 NEW BEST:: SOT 8815 SOS 6480 HAS SOPS 6478 HAS SOUS 4218 HAS SOUPS 4217 WITH SCORE 4223.48
AT ITER 85 NEW BEST:: SOT 8815 SOS 6480 HAS SOPS 6478 HAS SOUS 4215 HAS SOUPS 4214 WITH SCORE 4220.48
AT ITER 86 NEW BEST:: SOT 8829 SOS 6474 HAS SOPS 6472 HAS SOUS 4195 HAS SOUPS 4194 WITH SCORE 4200.474
AT ITER 88 NEW BEST:: SOT 8771 SOS 6358 HAS SOPS 6356 HAS SOUS 4137 HAS SOUPS 4136 WITH SCORE 4142.358
AT ITER 90 NEW BEST:: SOT 8768 SOS 6352 HAS SOPS 6350 HAS SOUS 4123 HAS SOUPS 4122 WITH SCORE 4128.352
AT ITER 92 NEW BEST:: SOT 8774 SOS 6301 HAS SOPS 6299 HAS SOUS 4102 HAS SOUPS 4101 WITH SCORE 4107.301
AT ITER 97 NEW BEST:: SOT 8774 SOS 6301 HAS SOPS 6299 HAS SOUS 4091 HAS SOUPS 4090 WITH SCORE 4096.301
AT ITER 101 NEW BEST:: SOT 8773 SOS 6300 HAS SOPS 6298 HAS SOUS 4091 HAS SOUPS 4090 WITH SCORE 4096.3
AT ITER 102 NEW BEST:: SOT 8813 SOS 6320 HAS SOPS 6318 HAS SOUS 4078 HAS SOUPS 4077 WITH SCORE 4083.32
AT ITER 103 NEW BEST:: SOT 8841 SOS 6302 HAS SOPS 6300 HAS SOUS 4039 HAS SOUPS 4038 WITH SCORE 4044.302
AT ITER 105 NEW BEST:: SOT 8835 SOS 6296 HAS SOPS 6294 HAS SOUS 4029 HAS SOUPS 4028 WITH SCORE 4034.296
AT ITER 114 NEW BEST:: SOT 8837 SOS 6224 HAS SOPS 6222 HAS SOUS 3987 HAS SOUPS 3986 WITH SCORE 3992.224
AT ITER 116 NEW BEST:: SOT 8864 SOS 6176 HAS SOPS 6174 HAS SOUS 3907 HAS SOUPS 3906 WITH SCORE 3912.176
AT ITER 117 NEW BEST:: SOT 8964 SOS 6184 HAS SOPS 6182 HAS SOUS 3905 HAS SOUPS 3904 WITH SCORE 3910.184
AT ITER 119 NEW BEST:: SOT 8918 SOS 6158 HAS SOPS 6156 HAS SOUS 3887 HAS SOUPS 3886 WITH SCORE 3892.158
AT ITER 121 NEW BEST:: SOT 8903 SOS 6153 HAS SOPS 6151 HAS SOUS 3875 HAS SOUPS 3874 WITH SCORE 3880.153
AT ITER 126 NEW BEST:: SOT 8877 SOS 6127 HAS SOPS 6125 HAS SOUS 3875 HAS SOUPS 3874 WITH SCORE 3880.127
AT ITER 127 NEW BEST:: SOT 8883 SOS 6121 HAS SOPS 6119 HAS SOUS 3851 HAS SOUPS 3850 WITH SCORE 3856.121
AT ITER 130 NEW BEST:: SOT 8883 SOS 6120 HAS SOPS 6118 HAS SOUS 3849 HAS SOUPS 3848 WITH SCORE 3854.12
AT ITER 138 NEW BEST:: SOT 8883 SOS 6119 HAS SOPS 6117 HAS SOUS 3848 HAS SOUPS 3847 WITH SCORE 3853.119
AT ITER 140 NEW BEST:: SOT 8819 SOS 6047 HAS SOPS 6045 HAS SOUS 3837 HAS SOUPS 3836 WITH SCORE 3842.047
AT ITER 141 NEW BEST:: SOT 8439 SOS 5667 HAS SOPS 5665 HAS SOUS 3457 HAS SOUPS 3456 WITH SCORE 3461.667
AT ITER 142 NEW BEST:: SOT 8493 SOS 5670 HAS SOPS 5668 HAS SOUS 3441 HAS SOUPS 3440 WITH SCORE 3445.67
AT ITER 143 NEW BEST:: SOT 8494 SOS 5636 HAS SOPS 5634 HAS SOUS 3435 HAS SOUPS 3434 WITH SCORE 3439.636
AT ITER 144 NEW BEST:: SOT 8408 SOS 5511 HAS SOPS 5509 HAS SOUS 3368 HAS SOUPS 3367 WITH SCORE 3372.511
AT ITER 150 NEW BEST:: SOT 8400 SOS 5491 HAS SOPS 5489 HAS SOUS 3352 HAS SOUPS 3351 WITH SCORE 3356.491
AT ITER 151 NEW BEST:: SOT 8317 SOS 5408 HAS SOPS 5406 HAS SOUS 3217 HAS SOUPS 3216 WITH SCORE 3221.408
AT ITER 154 NEW BEST:: SOT 8261 SOS 5325 HAS SOPS 5323 HAS SOUS 3155 HAS SOUPS 3154 WITH SCORE 3159.325
AT ITER 160 NEW BEST:: SOT 8277 SOS 5324 HAS SOPS 5322 HAS SOUS 3138 HAS SOUPS 3137 WITH SCORE 3142.324
AT ITER 161 NEW BEST:: SOT 8277 SOS 5324 HAS SOPS 5322 HAS SOUS 3096 HAS SOUPS 3095 WITH SCORE 3100.324
AT ITER 165 NEW BEST:: SOT 8259 SOS 5306 HAS SOPS 5304 HAS SOUS 3078 HAS SOUPS 3077 WITH SCORE 3082.306
AT ITER 169 NEW BEST:: SOT 8259 SOS 5300 HAS SOPS 5298 HAS SOUS 3078 HAS SOUPS 3077 WITH SCORE 3082.3
AT ITER 175 NEW BEST:: SOT 7881 SOS 4912 HAS SOPS 4910 HAS SOUS 2635 HAS SOUPS 2634 WITH SCORE 2638.912
AT ITER 178 NEW BEST:: SOT 7878 SOS 4853 HAS SOPS 4851 HAS SOUS 2599 HAS SOUPS 2598 WITH SCORE 2602.853
AT ITER 181 NEW BEST:: SOT 7892 SOS 4871 HAS SOPS 4869 HAS SOUS 2503 HAS SOUPS 2502 WITH SCORE 2506.871
AT ITER 182 NEW BEST:: SOT 7892 SOS 4853 HAS SOPS 4851 HAS SOUS 2485 HAS SOUPS 2484 WITH SCORE 2488.853
AT ITER 183 NEW BEST:: SOT 7891 SOS 4850 HAS SOPS 4848 HAS SOUS 2483 HAS SOUPS 2482 WITH SCORE 2486.85
AT ITER 184 NEW BEST:: SOT 7881 SOS 4845 HAS SOPS 4843 HAS SOUS 2471 HAS SOUPS 2470 WITH SCORE 2474.845
AT ITER 203 NEW BEST:: SOT 7875 SOS 4839 HAS SOPS 4837 HAS SOUS 2432 HAS SOUPS 2431 WITH SCORE 2435.839
AT ITER 205 NEW BEST:: SOT 7973 SOS 4921 HAS SOPS 4919 HAS SOUS 2427 HAS SOUPS 2426 WITH SCORE 2430.921
AT ITER 209 NEW BEST:: SOT 7973 SOS 4921 HAS SOPS 4919 HAS SOUS 2422 HAS SOUPS 2421 WITH SCORE 2425.921
AT ITER 212 NEW BEST:: SOT 7963 SOS 4911 HAS SOPS 4909 HAS SOUS 2422 HAS SOUPS 2421 WITH SCORE 2425.911
AT ITER 220 NEW BEST:: SOT 7950 SOS 4896 HAS SOPS 4894 HAS SOUS 2398 HAS SOUPS 2397 WITH SCORE 2401.896
AT ITER 228 NEW BEST:: SOT 7929 SOS 4875 HAS SOPS 4873 HAS SOUS 2384 HAS SOUPS 2383 WITH SCORE 2387.875
AT ITER 232 NEW BEST:: SOT 7915 SOS 4852 HAS SOPS 4850 HAS SOUS 2356 HAS SOUPS 2355 WITH SCORE 2359.852
AT ITER 234 NEW BEST:: SOT 7875 SOS 4776 HAS SOPS 4774 HAS SOUS 2312 HAS SOUPS 2311 WITH SCORE 2315.776
AT ITER 237 NEW BEST:: SOT 7885 SOS 4796 HAS SOPS 4794 HAS SOUS 2311 HAS SOUPS 2310 WITH SCORE 2314.796
AT ITER 238 NEW BEST:: SOT 7884 SOS 4756 HAS SOPS 4754 HAS SOUS 2305 HAS SOUPS 2304 WITH SCORE 2308.756
AT ITER 243 NEW BEST:: SOT 7895 SOS 4679 HAS SOPS 4677 HAS SOUS 2278 HAS SOUPS 2277 WITH SCORE 2281.679
AT ITER 247 NEW BEST:: SOT 7887 SOS 4671 HAS SOPS 4669 HAS SOUS 2270 HAS SOUPS 2269 WITH SCORE 2273.671
AT ITER 252 NEW BEST:: SOT 7887 SOS 4648 HAS SOPS 4646 HAS SOUS 2270 HAS SOUPS 2269 WITH SCORE 2273.648
AT ITER 256 NEW BEST:: SOT 7887 SOS 4646 HAS SOPS 4644 HAS SOUS 2268 HAS SOUPS 2267 WITH SCORE 2271.646
AT ITER 263 NEW BEST:: SOT 7864 SOS 4612 HAS SOPS 4610 HAS SOUS 2240 HAS SOUPS 2239 WITH SCORE 2243.612
AT ITER 266 NEW BEST:: SOT 7864 SOS 4578 HAS SOPS 4576 HAS SOUS 2212 HAS SOUPS 2211 WITH SCORE 2215.578
AT ITER 279 NEW BEST:: SOT 7826 SOS 4550 HAS SOPS 4548 HAS SOUS 2201 HAS SOUPS 2200 WITH SCORE 2204.55
AT ITER 280 NEW BEST:: SOT 7836 SOS 4548 HAS SOPS 4546 HAS SOUS 2197 HAS SOUPS 2196 WITH SCORE 2200.548
AT ITER 283 NEW BEST:: SOT 7874 SOS 4492 HAS SOPS 4490 HAS SOUS 2189 HAS SOUPS 2188 WITH SCORE 2192.492
AT ITER 284 NEW BEST:: SOT 7860 SOS 4478 HAS SOPS 4476 HAS SOUS 2189 HAS SOUPS 2188 WITH SCORE 2192.478
AT ITER 291 NEW BEST:: SOT 7848 SOS 4466 HAS SOPS 4464 HAS SOUS 2177 HAS SOUPS 2176 WITH SCORE 2180.466
AT ITER 297 NEW BEST:: SOT 7838 SOS 4432 HAS SOPS 4430 HAS SOUS 2143 HAS SOUPS 2142 WITH SCORE 2146.432
AT ITER 320 NEW BEST:: SOT 7822 SOS 4406 HAS SOPS 4404 HAS SOUS 2121 HAS SOUPS 2120 WITH SCORE 2124.406
AT ITER 327 NEW BEST:: SOT 7831 SOS 4411 HAS SOPS 4409 HAS SOUS 2120 HAS SOUPS 2119 WITH SCORE 2123.411
AT ITER 338 NEW BEST:: SOT 7821 SOS 4401 HAS SOPS 4399 HAS SOUS 2110 HAS SOUPS 2109 WITH SCORE 2113.401
AT ITER 343 NEW BEST:: SOT 7798 SOS 4383 HAS SOPS 4381 HAS SOUS 2072 HAS SOUPS 2071 WITH SCORE 2075.383
AT ITER 347 NEW BEST:: SOT 7796 SOS 4381 HAS SOPS 4379 HAS SOUS 2068 HAS SOUPS 2067 WITH SCORE 2071.381
AT ITER 355 NEW BEST:: SOT 7788 SOS 4379 HAS SOPS 4377 HAS SOUS 2064 HAS SOUPS 2063 WITH SCORE 2067.379
AT ITER 357 NEW BEST:: SOT 7812 SOS 4292 HAS SOPS 4290 HAS SOUS 2038 HAS SOUPS 2037 WITH SCORE 2041.292
AT ITER 381 NEW BEST:: SOT 7813 SOS 4264 HAS SOPS 4262 HAS SOUS 2003 HAS SOUPS 2002 WITH SCORE 2006.264
AT ITER 383 NEW BEST:: SOT 7834 SOS 4284 HAS SOPS 4282 HAS SOUS 1996 HAS SOUPS 1995 WITH SCORE 1999.284
AT ITER 391 NEW BEST:: SOT 7825 SOS 4275 HAS SOPS 4273 HAS SOUS 1987 HAS SOUPS 1986 WITH SCORE 1990.275
AT ITER 395 NEW BEST:: SOT 7808 SOS 4241 HAS SOPS 4239 HAS SOUS 1953 HAS SOUPS 1952 WITH SCORE 1956.241
AT ITER 397 NEW BEST:: SOT 7808 SOS 4170 HAS SOPS 4168 HAS SOUS 1953 HAS SOUPS 1952 WITH SCORE 1956.17
AT ITER 400 NEW BEST:: SOT 7807 SOS 4169 HAS SOPS 4167 HAS SOUS 1951 HAS SOUPS 1950 WITH SCORE 1954.169
AT ITER 402 NEW BEST:: SOT 7806 SOS 4167 HAS SOPS 4165 HAS SOUS 1949 HAS SOUPS 1948 WITH SCORE 1952.167
AT ITER 404 NEW BEST:: SOT 7804 SOS 4122 HAS SOPS 4120 HAS SOUS 1911 HAS SOUPS 1910 WITH SCORE 1914.122
AT ITER 405 NEW BEST:: SOT 7800 SOS 4088 HAS SOPS 4086 HAS SOUS 1897 HAS SOUPS 1896 WITH SCORE 1900.088
AT ITER 406 NEW BEST:: SOT 7744 SOS 4000 HAS SOPS 3998 HAS SOUS 1841 HAS SOUPS 1840 WITH SCORE 1844.0
AT ITER 421 NEW BEST:: SOT 7756 SOS 3996 HAS SOPS 3994 HAS SOUS 1836 HAS SOUPS 1835 WITH SCORE 1838.996
AT ITER 422 NEW BEST:: SOT 7727 SOS 3957 HAS SOPS 3955 HAS SOUS 1819 HAS SOUPS 1818 WITH SCORE 1821.957
AT ITER 433 NEW BEST:: SOT 7713 SOS 3929 HAS SOPS 3927 HAS SOUS 1789 HAS SOUPS 1788 WITH SCORE 1791.929
AT ITER 436 NEW BEST:: SOT 7691 SOS 3907 HAS SOPS 3905 HAS SOUS 1773 HAS SOUPS 1772 WITH SCORE 1775.907
AT ITER 445 NEW BEST:: SOT 7621 SOS 3970 HAS SOPS 3968 HAS SOUS 1762 HAS SOUPS 1761 WITH SCORE 1764.97
AT ITER 448 NEW BEST:: SOT 7565 SOS 3914 HAS SOPS 3912 HAS SOUS 1707 HAS SOUPS 1706 WITH SCORE 1709.914
AT ITER 456 NEW BEST:: SOT 7530 SOS 3885 HAS SOPS 3883 HAS SOUS 1695 HAS SOUPS 1694 WITH SCORE 1697.885
AT ITER 479 NEW BEST:: SOT 7518 SOS 3875 HAS SOPS 3873 HAS SOUS 1689 HAS SOUPS 1688 WITH SCORE 1691.875
AT ITER 506 NEW BEST:: SOT 7508 SOS 3870 HAS SOPS 3868 HAS SOUS 1689 HAS SOUPS 1688 WITH SCORE 1691.87
AT ITER 516 NEW BEST:: SOT 7522 SOS 3840 HAS SOPS 3838 HAS SOUS 1674 HAS SOUPS 1673 WITH SCORE 1676.84
AT ITER 518 NEW BEST:: SOT 7513 SOS 3821 HAS SOPS 3819 HAS SOUS 1657 HAS SOUPS 1656 WITH SCORE 1659.821
AT ITER 540 NEW BEST:: SOT 7498 SOS 3808 HAS SOPS 3806 HAS SOUS 1645 HAS SOUPS 1644 WITH SCORE 1647.808
AT ITER 549 NEW BEST:: SOT 7502 SOS 3812 HAS SOPS 3810 HAS SOUS 1641 HAS SOUPS 1640 WITH SCORE 1643.812
AT ITER 553 NEW BEST:: SOT 7502 SOS 3803 HAS SOPS 3801 HAS SOUS 1622 HAS SOUPS 1621 WITH SCORE 1624.803
AT ITER 575 NEW BEST:: SOT 7481 SOS 3739 HAS SOPS 3737 HAS SOUS 1536 HAS SOUPS 1535 WITH SCORE 1538.739
AT ITER 584 NEW BEST:: SOT 7482 SOS 3741 HAS SOPS 3739 HAS SOUS 1535 HAS SOUPS 1534 WITH SCORE 1537.741
AT ITER 585 NEW BEST:: SOT 7481 SOS 3739 HAS SOPS 3737 HAS SOUS 1532 HAS SOUPS 1531 WITH SCORE 1534.739
AT ITER 586 NEW BEST:: SOT 7474 SOS 3722 HAS SOPS 3720 HAS SOUS 1528 HAS SOUPS 1527 WITH SCORE 1530.722
AT ITER 590 NEW BEST:: SOT 7462 SOS 3710 HAS SOPS 3708 HAS SOUS 1512 HAS SOUPS 1511 WITH SCORE 1514.71
AT ITER 592 NEW BEST:: SOT 7448 SOS 3693 HAS SOPS 3691 HAS SOUS 1500 HAS SOUPS 1499 WITH SCORE 1502.693
AT ITER 612 NEW BEST:: SOT 7437 SOS 3682 HAS SOPS 3680 HAS SOUS 1478 HAS SOUPS 1477 WITH SCORE 1480.682
AT ITER 613 NEW BEST:: SOT 7427 SOS 3677 HAS SOPS 3675 HAS SOUS 1478 HAS SOUPS 1477 WITH SCORE 1480.677
AT ITER 616 NEW BEST:: SOT 7427 SOS 3675 HAS SOPS 3673 HAS SOUS 1477 HAS SOUPS 1476 WITH SCORE 1479.675
AT ITER 660 NEW BEST:: SOT 7426 SOS 3674 HAS SOPS 3672 HAS SOUS 1477 HAS SOUPS 1476 WITH SCORE 1479.674
AT ITER 686 NEW BEST:: SOT 7424 SOS 3667 HAS SOPS 3665 HAS SOUS 1463 HAS SOUPS 1462 WITH SCORE 1465.667
AT ITER 695 NEW BEST:: SOT 7414 SOS 3657 HAS SOPS 3655 HAS SOUS 1455 HAS SOUPS 1454 WITH SCORE 1457.657
AT ITER 714 NEW BEST:: SOT 7417 SOS 3648 HAS SOPS 3646 HAS SOUS 1444 HAS SOUPS 1443 WITH SCORE 1446.648
AT ITER 722 NEW BEST:: SOT 7416 SOS 3647 HAS SOPS 3645 HAS SOUS 1442 HAS SOUPS 1441 WITH SCORE 1444.647
AT ITER 725 NEW BEST:: SOT 7408 SOS 3714 HAS SOPS 3712 HAS SOUS 1436 HAS SOUPS 1435 WITH SCORE 1438.714
AT ITER 747 NEW BEST:: SOT 7407 SOS 3718 HAS SOPS 3716 HAS SOUS 1435 HAS SOUPS 1434 WITH SCORE 1437.718
AT ITER 751 NEW BEST:: SOT 7403 SOS 3715 HAS SOPS 3713 HAS SOUS 1431 HAS SOUPS 1430 WITH SCORE 1433.715
AT ITER 767 NEW BEST:: SOT 7386 SOS 3698 HAS SOPS 3696 HAS SOUS 1397 HAS SOUPS 1396 WITH SCORE 1399.698
AT ITER 772 NEW BEST:: SOT 7374 SOS 3686 HAS SOPS 3684 HAS SOUS 1373 HAS SOUPS 1372 WITH SCORE 1375.686
AT ITER 778 NEW BEST:: SOT 7374 SOS 3683 HAS SOPS 3681 HAS SOUS 1367 HAS SOUPS 1366 WITH SCORE 1369.683
AT ITER 781 NEW BEST:: SOT 7371 SOS 3681 HAS SOPS 3679 HAS SOUS 1367 HAS SOUPS 1366 WITH SCORE 1369.681
AT ITER 789 NEW BEST:: SOT 7359 SOS 3673 HAS SOPS 3671 HAS SOUS 1359 HAS SOUPS 1358 WITH SCORE 1361.673
AT ITER 794 NEW BEST:: SOT 7377 SOS 3685 HAS SOPS 3683 HAS SOUS 1357 HAS SOUPS 1356 WITH SCORE 1359.685
AT ITER 803 NEW BEST:: SOT 7382 SOS 3689 HAS SOPS 3687 HAS SOUS 1355 HAS SOUPS 1354 WITH SCORE 1357.689
AT ITER 807 NEW BEST:: SOT 7380 SOS 3685 HAS SOPS 3683 HAS SOUS 1347 HAS SOUPS 1346 WITH SCORE 1349.685
AT ITER 818 NEW BEST:: SOT 7367 SOS 3662 HAS SOPS 3660 HAS SOUS 1331 HAS SOUPS 1330 WITH SCORE 1333.662
AT ITER 823 NEW BEST:: SOT 7329 SOS 3626 HAS SOPS 3624 HAS SOUS 1313 HAS SOUPS 1312 WITH SCORE 1315.626
AT ITER 827 NEW BEST:: SOT 7326 SOS 3618 HAS SOPS 3616 HAS SOUS 1307 HAS SOUPS 1306 WITH SCORE 1309.618
AT ITER 828 NEW BEST:: SOT 7335 SOS 3591 HAS SOPS 3589 HAS SOUS 1286 HAS SOUPS 1285 WITH SCORE 1288.591
AT ITER 841 NEW BEST:: SOT 7333 SOS 3589 HAS SOPS 3587 HAS SOUS 1284 HAS SOUPS 1283 WITH SCORE 1286.589
AT ITER 853 NEW BEST:: SOT 7335 SOS 3591 HAS SOPS 3589 HAS SOUS 1278 HAS SOUPS 1277 WITH SCORE 1280.591
AT ITER 875 NEW BEST:: SOT 7327 SOS 3587 HAS SOPS 3585 HAS SOUS 1271 HAS SOUPS 1270 WITH SCORE 1273.587
AT ITER 878 NEW BEST:: SOT 7341 SOS 3595 HAS SOPS 3593 HAS SOUS 1262 HAS SOUPS 1261 WITH SCORE 1264.595
AT ITER 897 NEW BEST:: SOT 7333 SOS 3591 HAS SOPS 3589 HAS SOUS 1262 HAS SOUPS 1261 WITH SCORE 1264.591
AT ITER 909 NEW BEST:: SOT 7326 SOS 3577 HAS SOPS 3575 HAS SOUS 1252 HAS SOUPS 1251 WITH SCORE 1254.577
AT ITER 931 NEW BEST:: SOT 7311 SOS 3555 HAS SOPS 3553 HAS SOUS 1236 HAS SOUPS 1235 WITH SCORE 1238.555
AT ITER 1012 NEW BEST:: SOT 7298 SOS 3542 HAS SOPS 3540 HAS SOUS 1210 HAS SOUPS 1209 WITH SCORE 1212.542
AT ITER 1051 NEW BEST:: SOT 7299 SOS 3547 HAS SOPS 3545 HAS SOUS 1208 HAS SOUPS 1207 WITH SCORE 1210.547
AT ITER 1147 NEW BEST:: SOT 7291 SOS 3539 HAS SOPS 3537 HAS SOUS 1192 HAS SOUPS 1191 WITH SCORE 1194.539
AT ITER 1153 NEW BEST:: SOT 7289 SOS 3535 HAS SOPS 3533 HAS SOUS 1188 HAS SOUPS 1187 WITH SCORE 1190.535
AT ITER 1195 NEW BEST:: SOT 7274 SOS 3516 HAS SOPS 3514 HAS SOUS 1176 HAS SOUPS 1175 WITH SCORE 1178.516
AT ITER 1239 NEW BEST:: SOT 7257 SOS 3493 HAS SOPS 3491 HAS SOUS 1153 HAS SOUPS 1152 WITH SCORE 1155.493
AT ITER 1240 NEW BEST:: SOT 7254 SOS 3487 HAS SOPS 3485 HAS SOUS 1147 HAS SOUPS 1146 WITH SCORE 1149.487
AT ITER 1257 NEW BEST:: SOT 7246 SOS 3483 HAS SOPS 3481 HAS SOUS 1137 HAS SOUPS 1136 WITH SCORE 1139.483
AT ITER 1303 NEW BEST:: SOT 7243 SOS 3480 HAS SOPS 3478 HAS SOUS 1133 HAS SOUPS 1132 WITH SCORE 1135.48
AT ITER 1308 NEW BEST:: SOT 7241 SOS 3478 HAS SOPS 3476 HAS SOUS 1129 HAS SOUPS 1128 WITH SCORE 1131.478
AT ITER 1314 NEW BEST:: SOT 7242 SOS 3476 HAS SOPS 3474 HAS SOUS 1129 HAS SOUPS 1128 WITH SCORE 1131.476
AT ITER 1334 NEW BEST:: SOT 7242 SOS 3474 HAS SOPS 3472 HAS SOUS 1127 HAS SOUPS 1126 WITH SCORE 1129.474
AT ITER 1416 NEW BEST:: SOT 7241 SOS 3466 HAS SOPS 3416 HAS SOUS 1128 HAS SOUPS 1125 WITH SCORE 1128.466
AT ITER 1439 NEW BEST:: SOT 7229 SOS 3454 HAS SOPS 3404 HAS SOUS 1104 HAS SOUPS 1101 WITH SCORE 1104.454
AT ITER 1456 NEW BEST:: SOT 7224 SOS 3449 HAS SOPS 3399 HAS SOUS 1099 HAS SOUPS 1096 WITH SCORE 1099.449
AT ITER 1458 NEW BEST:: SOT 7223 SOS 3447 HAS SOPS 3397 HAS SOUS 1096 HAS SOUPS 1093 WITH SCORE 1096.447
AT ITER 1482 NEW BEST:: SOT 7223 SOS 3439 HAS SOPS 3389 HAS SOUS 1092 HAS SOUPS 1089 WITH SCORE 1092.439
AT ITER 1488 NEW BEST:: SOT 7219 SOS 3435 HAS SOPS 3385 HAS SOUS 1072 HAS SOUPS 1069 WITH SCORE 1072.435
AT ITER 1505 NEW BEST:: SOT 7215 SOS 3431 HAS SOPS 3381 HAS SOUS 1066 HAS SOUPS 1063 WITH SCORE 1066.431
AT ITER 1531 NEW BEST:: SOT 7214 SOS 3429 HAS SOPS 3379 HAS SOUS 1064 HAS SOUPS 1061 WITH SCORE 1064.429
AT ITER 1551 NEW BEST:: SOT 7205 SOS 3420 HAS SOPS 3370 HAS SOUS 1055 HAS SOUPS 1052 WITH SCORE 1055.42
AT ITER 1627 NEW BEST:: SOT 7212 SOS 3417 HAS SOPS 3367 HAS SOUS 1052 HAS SOUPS 1049 WITH SCORE 1052.417
AT ITER 1714 NEW BEST:: SOT 7200 SOS 3405 HAS SOPS 3355 HAS SOUS 1041 HAS SOUPS 1038 WITH SCORE 1041.405
AT ITER 1768 NEW BEST:: SOT 7196 SOS 3399 HAS SOPS 3349 HAS SOUS 1035 HAS SOUPS 1032 WITH SCORE 1035.399
AT ITER 1773 NEW BEST:: SOT 7193 SOS 3396 HAS SOPS 3346 HAS SOUS 1031 HAS SOUPS 1028 WITH SCORE 1031.396
AT ITER 1777 NEW BEST:: SOT 7188 SOS 3401 HAS SOPS 3351 HAS SOUS 1029 HAS SOUPS 1026 WITH SCORE 1029.401
AT ITER 1878 NEW BEST:: SOT 7185 SOS 3396 HAS SOPS 3346 HAS SOUS 1025 HAS SOUPS 1022 WITH SCORE 1025.396
AT ITER 1921 NEW BEST:: SOT 7185 SOS 3390 HAS SOPS 3340 HAS SOUS 1024 HAS SOUPS 1021 WITH SCORE 1024.39
AT ITER 1951 NEW BEST:: SOT 7190 SOS 3390 HAS SOPS 3340 HAS SOUS 1020 HAS SOUPS 1017 WITH SCORE 1020.39
AT ITER 1960 NEW BEST:: SOT 7188 SOS 3388 HAS SOPS 3338 HAS SOUS 1019 HAS SOUPS 1016 WITH SCORE 1019.388
AT ITER 1969 NEW BEST:: SOT 7185 SOS 3392 HAS SOPS 3342 HAS SOUS 1016 HAS SOUPS 1013 WITH SCORE 1016.392
AT ITER 1982 NEW BEST:: SOT 7184 SOS 3391 HAS SOPS 3341 HAS SOUS 1014 HAS SOUPS 1011 WITH SCORE 1014.391
AT ITER 1983 NEW BEST:: SOT 7169 SOS 3384 HAS SOPS 3334 HAS SOUS 1010 HAS SOUPS 1007 WITH SCORE 1010.384
AT ITER 2024 NEW BEST:: SOT 7165 SOS 3378 HAS SOPS 3328 HAS SOUS 1005 HAS SOUPS 1002 WITH SCORE 1005.378
AT ITER 2030 NEW BEST:: SOT 7165 SOS 3377 HAS SOPS 3327 HAS SOUS 1005 HAS SOUPS 1002 WITH SCORE 1005.377
AT ITER 2095 NEW BEST:: SOT 7164 SOS 3368 HAS SOPS 3318 HAS SOUS 998 HAS SOUPS 995 WITH SCORE 998.368
AT ITER 2161 NEW BEST:: SOT 7162 SOS 3364 HAS SOPS 3314 HAS SOUS 996 HAS SOUPS 993 WITH SCORE 996.364
AT ITER 2221 NEW BEST:: SOT 7151 SOS 3350 HAS SOPS 3300 HAS SOUS 988 HAS SOUPS 985 WITH SCORE 988.35
AT ITER 2244 NEW BEST:: SOT 7151 SOS 3350 HAS SOPS 3300 HAS SOUS 986 HAS SOUPS 983 WITH SCORE 986.35
AT ITER 2309 NEW BEST:: SOT 7147 SOS 3354 HAS SOPS 3304 HAS SOUS 979 HAS SOUPS 976 WITH SCORE 979.354
AT ITER 2362 NEW BEST:: SOT 7139 SOS 3346 HAS SOPS 3296 HAS SOUS 963 HAS SOUPS 960 WITH SCORE 963.346
AT ITER 2465 NEW BEST:: SOT 7134 SOS 3353 HAS SOPS 3303 HAS SOUS 959 HAS SOUPS 956 WITH SCORE 959.353
AT ITER 2485 NEW BEST:: SOT 7124 SOS 3343 HAS SOPS 3293 HAS SOUS 939 HAS SOUPS 936 WITH SCORE 939.343
AT ITER 2565 NEW BEST:: SOT 7114 SOS 3333 HAS SOPS 3283 HAS SOUS 931 HAS SOUPS 928 WITH SCORE 931.333
AT ITER 2614 NEW BEST:: SOT 7110 SOS 3329 HAS SOPS 3279 HAS SOUS 926 HAS SOUPS 923 WITH SCORE 926.329
AT ITER 2623 NEW BEST:: SOT 7110 SOS 3325 HAS SOPS 3275 HAS SOUS 926 HAS SOUPS 923 WITH SCORE 926.325
AT ITER 2746 NEW BEST:: SOT 7117 SOS 3326 HAS SOPS 3276 HAS SOUS 925 HAS SOUPS 922 WITH SCORE 925.326
AT ITER 2771 NEW BEST:: SOT 7113 SOS 3322 HAS SOPS 3272 HAS SOUS 917 HAS SOUPS 914 WITH SCORE 917.322
AT ITER 2780 NEW BEST:: SOT 7113 SOS 3319 HAS SOPS 3269 HAS SOUS 915 HAS SOUPS 912 WITH SCORE 915.319
AT ITER 2806 NEW BEST:: SOT 7110 SOS 3316 HAS SOPS 3266 HAS SOUS 915 HAS SOUPS 912 WITH SCORE 915.316
AT ITER 2837 NEW BEST:: SOT 7104 SOS 3310 HAS SOPS 3260 HAS SOUS 911 HAS SOUPS 908 WITH SCORE 911.31
AT ITER 2859 NEW BEST:: SOT 7099 SOS 3304 HAS SOPS 3254 HAS SOUS 910 HAS SOUPS 907 WITH SCORE 910.304
AT ITER 2937 NEW BEST:: SOT 7098 SOS 3304 HAS SOPS 3254 HAS SOUS 909 HAS SOUPS 906 WITH SCORE 909.304
AT ITER 3001 NEW BEST:: SOT 7098 SOS 3302 HAS SOPS 3252 HAS SOUS 905 HAS SOUPS 902 WITH SCORE 905.302
AT ITER 3122 NEW BEST:: SOT 7097 SOS 3301 HAS SOPS 3251 HAS SOUS 903 HAS SOUPS 900 WITH SCORE 903.301
AT ITER 3136 NEW BEST:: SOT 7090 SOS 3299 HAS SOPS 3249 HAS SOUS 900 HAS SOUPS 897 WITH SCORE 900.299
AT ITER 3190 NEW BEST:: SOT 7085 SOS 3295 HAS SOPS 3245 HAS SOUS 896 HAS SOUPS 893 WITH SCORE 896.295
AT ITER 3233 NEW BEST:: SOT 7084 SOS 3296 HAS SOPS 3246 HAS SOUS 894 HAS SOUPS 891 WITH SCORE 894.296
AT ITER 3285 NEW BEST:: SOT 7087 SOS 3295 HAS SOPS 3245 HAS SOUS 893 HAS SOUPS 890 WITH SCORE 893.295
AT ITER 3294 NEW BEST:: SOT 7083 SOS 3291 HAS SOPS 3241 HAS SOUS 885 HAS SOUPS 882 WITH SCORE 885.291
AT ITER 3417 NEW BEST:: SOT 7084 SOS 3288 HAS SOPS 3238 HAS SOUS 883 HAS SOUPS 880 WITH SCORE 883.288
AT ITER 3456 NEW BEST:: SOT 7082 SOS 3287 HAS SOPS 3237 HAS SOUS 883 HAS SOUPS 880 WITH SCORE 883.287
AT ITER 3511 NEW BEST:: SOT 7081 SOS 3286 HAS SOPS 3236 HAS SOUS 881 HAS SOUPS 878 WITH SCORE 881.286
AT ITER 3525 NEW BEST:: SOT 7075 SOS 3280 HAS SOPS 3230 HAS SOUS 873 HAS SOUPS 870 WITH SCORE 873.28
AT ITER 3551 NEW BEST:: SOT 7065 SOS 3270 HAS SOPS 3220 HAS SOUS 863 HAS SOUPS 860 WITH SCORE 863.27
AT ITER 3599 NEW BEST:: SOT 7063 SOS 3272 HAS SOPS 3222 HAS SOUS 860 HAS SOUPS 857 WITH SCORE 860.272
AT ITER 3607 NEW BEST:: SOT 7065 SOS 3256 HAS SOPS 3206 HAS SOUS 852 HAS SOUPS 849 WITH SCORE 852.256
AT ITER 3646 NEW BEST:: SOT 7065 SOS 3255 HAS SOPS 3205 HAS SOUS 852 HAS SOUPS 849 WITH SCORE 852.255
AT ITER 3653 NEW BEST:: SOT 7054 SOS 3248 HAS SOPS 3198 HAS SOUS 848 HAS SOUPS 845 WITH SCORE 848.248
AT ITER 3717 NEW BEST:: SOT 7056 SOS 3246 HAS SOPS 3196 HAS SOUS 844 HAS SOUPS 841 WITH SCORE 844.246
AT ITER 3773 NEW BEST:: SOT 7055 SOS 3245 HAS SOPS 3195 HAS SOUS 842 HAS SOUPS 839 WITH SCORE 842.245
AT ITER 3981 NEW BEST:: SOT 7053 SOS 3243 HAS SOPS 3193 HAS SOUS 841 HAS SOUPS 838 WITH SCORE 841.243
AT ITER 4020 NEW BEST:: SOT 7051 SOS 3239 HAS SOPS 3189 HAS SOUS 839 HAS SOUPS 836 WITH SCORE 839.239
AT ITER 4066 NEW BEST:: SOT 7053 SOS 3226 HAS SOPS 3176 HAS SOUS 837 HAS SOUPS 834 WITH SCORE 837.226
AT ITER 4121 NEW BEST:: SOT 7053 SOS 3226 HAS SOPS 3176 HAS SOUS 835 HAS SOUPS 832 WITH SCORE 835.226
AT ITER 4171 NEW BEST:: SOT 7054 SOS 3225 HAS SOPS 3175 HAS SOUS 835 HAS SOUPS 832 WITH SCORE 835.225
AT ITER 4245 NEW BEST:: SOT 7050 SOS 3221 HAS SOPS 3171 HAS SOUS 829 HAS SOUPS 826 WITH SCORE 829.221
AT ITER 4294 NEW BEST:: SOT 7049 SOS 3220 HAS SOPS 3170 HAS SOUS 827 HAS SOUPS 824 WITH SCORE 827.22
AT ITER 4347 NEW BEST:: SOT 7048 SOS 3219 HAS SOPS 3169 HAS SOUS 826 HAS SOUPS 823 WITH SCORE 826.219
AT ITER 4374 NEW BEST:: SOT 7046 SOS 3218 HAS SOPS 3168 HAS SOUS 826 HAS SOUPS 823 WITH SCORE 826.218
AT ITER 4399 NEW BEST:: SOT 7047 SOS 3214 HAS SOPS 3164 HAS SOUS 826 HAS SOUPS 823 WITH SCORE 826.214
AT ITER 4461 NEW BEST:: SOT 7044 SOS 3211 HAS SOPS 3161 HAS SOUS 823 HAS SOUPS 820 WITH SCORE 823.211
AT ITER 4507 NEW BEST:: SOT 7031 SOS 3198 HAS SOPS 3148 HAS SOUS 817 HAS SOUPS 814 WITH SCORE 817.198
AT ITER 4609 NEW BEST:: SOT 7034 SOS 3197 HAS SOPS 3147 HAS SOUS 815 HAS SOUPS 812 WITH SCORE 815.197
AT ITER 4679 NEW BEST:: SOT 7031 SOS 3199 HAS SOPS 3149 HAS SOUS 813 HAS SOUPS 810 WITH SCORE 813.199
AT ITER 4723 NEW BEST:: SOT 7030 SOS 3198 HAS SOPS 3148 HAS SOUS 811 HAS SOUPS 808 WITH SCORE 811.198
AT ITER 4735 NEW BEST:: SOT 7027 SOS 3201 HAS SOPS 3151 HAS SOUS 810 HAS SOUPS 807 WITH SCORE 810.201
AT ITER 4812 NEW BEST:: SOT 7024 SOS 3198 HAS SOPS 3148 HAS SOUS 804 HAS SOUPS 801 WITH SCORE 804.198
AT ITER 4825 NEW BEST:: SOT 7027 SOS 3200 HAS SOPS 3150 HAS SOUS 801 HAS SOUPS 798 WITH SCORE 801.2
AT ITER 4834 NEW BEST:: SOT 7027 SOS 3199 HAS SOPS 3149 HAS SOUS 798 HAS SOUPS 795 WITH SCORE 798.199
AT ITER 4909 NEW BEST:: SOT 7021 SOS 3199 HAS SOPS 3149 HAS SOUS 796 HAS SOUPS 793 WITH SCORE 796.199
AT ITER 4931 NEW BEST:: SOT 7018 SOS 3196 HAS SOPS 3146 HAS SOUS 794 HAS SOUPS 791 WITH SCORE 794.196
AT ITER 4952 NEW BEST:: SOT 7011 SOS 3195 HAS SOPS 3145 HAS SOUS 792 HAS SOUPS 789 WITH SCORE 792.195
AT ITER 5050 NEW BEST:: SOT 7009 SOS 3169 HAS SOPS 3143 HAS SOUS 791 HAS SOUPS 789 WITH SCORE 792.169
AT ITER 5159 NEW BEST:: SOT 7000 SOS 3160 HAS SOPS 3134 HAS SOUS 773 HAS SOUPS 771 WITH SCORE 774.16
AT ITER 5443 NEW BEST:: SOT 7000 SOS 3158 HAS SOPS 3132 HAS SOUS 772 HAS SOUPS 770 WITH SCORE 773.158
AT ITER 5522 NEW BEST:: SOT 6998 SOS 3156 HAS SOPS 3130 HAS SOUS 768 HAS SOUPS 766 WITH SCORE 769.156
AT ITER 5526 NEW BEST:: SOT 6993 SOS 3150 HAS SOPS 3124 HAS SOUS 764 HAS SOUPS 762 WITH SCORE 765.15
AT ITER 5594 NEW BEST:: SOT 6994 SOS 3145 HAS SOPS 3119 HAS SOUS 763 HAS SOUPS 761 WITH SCORE 764.145
AT ITER 6084 NEW BEST:: SOT 6991 SOS 3142 HAS SOPS 3116 HAS SOUS 763 HAS SOUPS 761 WITH SCORE 764.142
AT ITER 6292 NEW BEST:: SOT 6991 SOS 3141 HAS SOPS 3115 HAS SOUS 760 HAS SOUPS 758 WITH SCORE 761.141
AT ITER 6328 NEW BEST:: SOT 6990 SOS 3140 HAS SOPS 3114 HAS SOUS 758 HAS SOUPS 756 WITH SCORE 759.14
AT ITER 6582 NEW BEST:: SOT 6989 SOS 3139 HAS SOPS 3113 HAS SOUS 757 HAS SOUPS 755 WITH SCORE 758.139
AT ITER 6607 NEW BEST:: SOT 6986 SOS 3137 HAS SOPS 3111 HAS SOUS 756 HAS SOUPS 754 WITH SCORE 757.137
AT ITER 6617 NEW BEST:: SOT 6986 SOS 3136 HAS SOPS 3110 HAS SOUS 755 HAS SOUPS 753 WITH SCORE 756.136
AT ITER 6707 NEW BEST:: SOT 6986 SOS 3135 HAS SOPS 3109 HAS SOUS 755 HAS SOUPS 753 WITH SCORE 756.135
AT ITER 7173 NEW BEST:: SOT 6984 SOS 3133 HAS SOPS 3107 HAS SOUS 753 HAS SOUPS 751 WITH SCORE 754.133
AT ITER 7209 NEW BEST:: SOT 6981 SOS 3131 HAS SOPS 3105 HAS SOUS 750 HAS SOUPS 748 WITH SCORE 751.131
AT ITER 7367 NEW BEST:: SOT 6980 SOS 3130 HAS SOPS 3104 HAS SOUS 749 HAS SOUPS 747 WITH SCORE 750.13
AT ITER 7546 NEW BEST:: SOT 6981 SOS 3129 HAS SOPS 3103 HAS SOUS 747 HAS SOUPS 745 WITH SCORE 748.129
AT ITER 7550 NEW BEST:: SOT 6978 SOS 3130 HAS SOPS 3104 HAS SOUS 746 HAS SOUPS 744 WITH SCORE 747.13
AT ITER 7683 NEW BEST:: SOT 6978 SOS 3131 HAS SOPS 3081 HAS SOUS 746 HAS SOUPS 743 WITH SCORE 746.131
AT ITER 8178 NEW BEST:: SOT 6979 SOS 3131 HAS SOPS 3081 HAS SOUS 745 HAS SOUPS 742 WITH SCORE 745.131
AT ITER 8258 NEW BEST:: SOT 6975 SOS 3126 HAS SOPS 3076 HAS SOUS 740 HAS SOUPS 737 WITH SCORE 740.126
AT ITER 8606 NEW BEST:: SOT 6975 SOS 3123 HAS SOPS 3073 HAS SOUS 738 HAS SOUPS 735 WITH SCORE 738.123
AT ITER 8873 NEW BEST:: SOT 6972 SOS 3122 HAS SOPS 3072 HAS SOUS 736 HAS SOUPS 733 WITH SCORE 736.122
AT ITER 9079 NEW BEST:: SOT 6975 SOS 3124 HAS SOPS 3074 HAS SOUS 734 HAS SOUPS 731 WITH SCORE 734.124
AT ITER 9188 NEW BEST:: SOT 6974 SOS 3123 HAS SOPS 3073 HAS SOUS 732 HAS SOUPS 729 WITH SCORE 732.123
AT ITER 9395 NEW BEST:: SOT 6971 SOS 3122 HAS SOPS 3072 HAS SOUS 730 HAS SOUPS 727 WITH SCORE 730.122
AT ITER 9459 NEW BEST:: SOT 6969 SOS 3120 HAS SOPS 3070 HAS SOUS 729 HAS SOUPS 726 WITH SCORE 729.12
AT ITER 9481 NEW BEST:: SOT 6973 SOS 3119 HAS SOPS 3069 HAS SOUS 729 HAS SOUPS 726 WITH SCORE 729.119
AT ITER 9657 NEW BEST:: SOT 6973 SOS 3117 HAS SOPS 3067 HAS SOUS 729 HAS SOUPS 726 WITH SCORE 729.117
AT ITER 9848 NEW BEST:: SOT 6976 SOS 3114 HAS SOPS 3064 HAS SOUS 729 HAS SOUPS 726 WITH SCORE 729.114
AT ITER 9894 NEW BEST:: SOT 6976 SOS 3113 HAS SOPS 3063 HAS SOUS 729 HAS SOUPS 726 WITH SCORE 729.113
STATE_SPACE STATES 1688285001190973 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 26 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 37140575448982534 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678532479286

--------------------
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="GPUForwardProgress-PT-24a"
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 GPUForwardProgress-PT-24a, 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 r203-smll-167840349100088"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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