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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 496K
-rw-r--r-- 1 mcc users 7.1K Feb 25 14:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 77K Feb 25 14:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Feb 25 14:17 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 25 14:17 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K 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.4K Feb 25 16:11 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:11 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 25 14:25 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 166K Feb 25 14:25 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.3K Feb 25 14:23 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 25 14:23 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 32K 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 1678528555226

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-20a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-11 09:55:58] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-11 09:55:58] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-11 09:55:58] [INFO ] Load time of PNML (sax parser for PT used): 64 ms
[2023-03-11 09:55:58] [INFO ] Transformed 88 places.
[2023-03-11 09:55:58] [INFO ] Transformed 109 transitions.
[2023-03-11 09:55:58] [INFO ] Found NUPN structural information;
[2023-03-11 09:55:58] [INFO ] Parsed PT model containing 88 places and 109 transitions and 421 arcs in 211 ms.
[2023-03-11 09:55:58] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 88 places, 109 transitions and 421 arcs took 7 ms.
Total runtime 279 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running GPUForwardProgress (PT), instance 20a
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: 88 places, 109 transitions, 421 arcs.
AT ITER 0 NEW BEST:: SOT 6268 SOS 5364 HAS SOPS 5362 HAS SOUS 4037 HAS SOUPS 4036 WITH SCORE 4041.364
AT ITER 1 NEW BEST:: SOT 6382 SOS 5332 HAS SOPS 5330 HAS SOUS 4036 HAS SOUPS 4035 WITH SCORE 4040.332
AT ITER 3 NEW BEST:: SOT 6412 SOS 5305 HAS SOPS 5303 HAS SOUS 4000 HAS SOUPS 3999 WITH SCORE 4004.305
AT ITER 5 NEW BEST:: SOT 6440 SOS 5333 HAS SOPS 5331 HAS SOUS 3981 HAS SOUPS 3980 WITH SCORE 3985.333
AT ITER 7 NEW BEST:: SOT 6453 SOS 5253 HAS SOPS 5251 HAS SOUS 3876 HAS SOUPS 3875 WITH SCORE 3880.253
AT ITER 12 NEW BEST:: SOT 6511 SOS 5249 HAS SOPS 5247 HAS SOUS 3832 HAS SOUPS 3831 WITH SCORE 3836.249
AT ITER 13 NEW BEST:: SOT 6497 SOS 5235 HAS SOPS 5233 HAS SOUS 3818 HAS SOUPS 3817 WITH SCORE 3822.235
AT ITER 16 NEW BEST:: SOT 6644 SOS 5286 HAS SOPS 5284 HAS SOUS 3793 HAS SOUPS 3792 WITH SCORE 3797.286
AT ITER 17 NEW BEST:: SOT 6616 SOS 5258 HAS SOPS 5256 HAS SOUS 3764 HAS SOUPS 3763 WITH SCORE 3768.258
AT ITER 19 NEW BEST:: SOT 6606 SOS 5228 HAS SOPS 5226 HAS SOUS 3745 HAS SOUPS 3744 WITH SCORE 3749.228
AT ITER 21 NEW BEST:: SOT 6655 SOS 5277 HAS SOPS 5275 HAS SOUS 3729 HAS SOUPS 3728 WITH SCORE 3733.277
AT ITER 22 NEW BEST:: SOT 6630 SOS 5252 HAS SOPS 5250 HAS SOUS 3704 HAS SOUPS 3703 WITH SCORE 3708.252
AT ITER 23 NEW BEST:: SOT 6627 SOS 5249 HAS SOPS 5247 HAS SOUS 3701 HAS SOUPS 3700 WITH SCORE 3705.249
AT ITER 24 NEW BEST:: SOT 6674 SOS 5207 HAS SOPS 5205 HAS SOUS 3604 HAS SOUPS 3603 WITH SCORE 3608.207
AT ITER 25 NEW BEST:: SOT 6503 SOS 5036 HAS SOPS 5034 HAS SOUS 3512 HAS SOUPS 3511 WITH SCORE 3516.036
AT ITER 26 NEW BEST:: SOT 6463 SOS 5004 HAS SOPS 5002 HAS SOUS 3512 HAS SOUPS 3511 WITH SCORE 3516.004
AT ITER 27 NEW BEST:: SOT 6418 SOS 4941 HAS SOPS 4939 HAS SOUS 3504 HAS SOUPS 3503 WITH SCORE 3507.941
AT ITER 31 NEW BEST:: SOT 6400 SOS 4875 HAS SOPS 4873 HAS SOUS 3456 HAS SOUPS 3455 WITH SCORE 3459.875
AT ITER 32 NEW BEST:: SOT 6430 SOS 4830 HAS SOPS 4828 HAS SOUS 3381 HAS SOUPS 3380 WITH SCORE 3384.83
AT ITER 33 NEW BEST:: SOT 6430 SOS 4811 HAS SOPS 4809 HAS SOUS 3362 HAS SOUPS 3361 WITH SCORE 3365.811
AT ITER 34 NEW BEST:: SOT 6416 SOS 4797 HAS SOPS 4795 HAS SOUS 3355 HAS SOUPS 3354 WITH SCORE 3358.797
AT ITER 37 NEW BEST:: SOT 6430 SOS 4798 HAS SOPS 4796 HAS SOUS 3342 HAS SOUPS 3341 WITH SCORE 3345.798
AT ITER 38 NEW BEST:: SOT 6430 SOS 4784 HAS SOPS 4782 HAS SOUS 3328 HAS SOUPS 3327 WITH SCORE 3331.784
AT ITER 41 NEW BEST:: SOT 6430 SOS 4784 HAS SOPS 4782 HAS SOUS 3326 HAS SOUPS 3325 WITH SCORE 3329.784
AT ITER 43 NEW BEST:: SOT 6468 SOS 4588 HAS SOPS 4586 HAS SOUS 3305 HAS SOUPS 3304 WITH SCORE 3308.588
AT ITER 44 NEW BEST:: SOT 6543 SOS 4620 HAS SOPS 4618 HAS SOUS 3286 HAS SOUPS 3285 WITH SCORE 3289.62
AT ITER 45 NEW BEST:: SOT 6445 SOS 4615 HAS SOPS 4613 HAS SOUS 3261 HAS SOUPS 3260 WITH SCORE 3264.615
AT ITER 46 NEW BEST:: SOT 6445 SOS 4543 HAS SOPS 4541 HAS SOUS 3228 HAS SOUPS 3227 WITH SCORE 3231.543
AT ITER 48 NEW BEST:: SOT 6152 SOS 4252 HAS SOPS 4250 HAS SOUS 2937 HAS SOUPS 2936 WITH SCORE 2940.252
AT ITER 52 NEW BEST:: SOT 6144 SOS 4244 HAS SOPS 4242 HAS SOUS 2937 HAS SOUPS 2936 WITH SCORE 2940.244
AT ITER 54 NEW BEST:: SOT 6135 SOS 4235 HAS SOPS 4233 HAS SOUS 2928 HAS SOUPS 2927 WITH SCORE 2931.235
AT ITER 55 NEW BEST:: SOT 6125 SOS 4225 HAS SOPS 4223 HAS SOUS 2918 HAS SOUPS 2917 WITH SCORE 2921.225
AT ITER 56 NEW BEST:: SOT 6125 SOS 4155 HAS SOPS 4153 HAS SOUS 2860 HAS SOUPS 2859 WITH SCORE 2863.155
AT ITER 58 NEW BEST:: SOT 6125 SOS 4115 HAS SOPS 4113 HAS SOUS 2827 HAS SOUPS 2826 WITH SCORE 2830.115
AT ITER 62 NEW BEST:: SOT 6050 SOS 4040 HAS SOPS 4038 HAS SOUS 2752 HAS SOUPS 2751 WITH SCORE 2755.04
AT ITER 63 NEW BEST:: SOT 6029 SOS 4028 HAS SOPS 4026 HAS SOUS 2722 HAS SOUPS 2721 WITH SCORE 2725.028
AT ITER 64 NEW BEST:: SOT 6018 SOS 4017 HAS SOPS 4015 HAS SOUS 2706 HAS SOUPS 2705 WITH SCORE 2709.017
AT ITER 66 NEW BEST:: SOT 5957 SOS 3968 HAS SOPS 3966 HAS SOUS 2625 HAS SOUPS 2624 WITH SCORE 2627.968
AT ITER 68 NEW BEST:: SOT 5918 SOS 3935 HAS SOPS 3933 HAS SOUS 2607 HAS SOUPS 2606 WITH SCORE 2609.935
AT ITER 69 NEW BEST:: SOT 5863 SOS 3915 HAS SOPS 3913 HAS SOUS 2595 HAS SOUPS 2594 WITH SCORE 2597.915
AT ITER 71 NEW BEST:: SOT 5858 SOS 3910 HAS SOPS 3908 HAS SOUS 2590 HAS SOUPS 2589 WITH SCORE 2592.91
AT ITER 74 NEW BEST:: SOT 5852 SOS 3898 HAS SOPS 3896 HAS SOUS 2581 HAS SOUPS 2580 WITH SCORE 2583.898
AT ITER 77 NEW BEST:: SOT 5847 SOS 3893 HAS SOPS 3891 HAS SOUS 2571 HAS SOUPS 2570 WITH SCORE 2573.893
AT ITER 86 NEW BEST:: SOT 5850 SOS 3824 HAS SOPS 3822 HAS SOUS 2511 HAS SOUPS 2510 WITH SCORE 2513.824
AT ITER 88 NEW BEST:: SOT 5857 SOS 3815 HAS SOPS 3813 HAS SOUS 2486 HAS SOUPS 2485 WITH SCORE 2488.815
AT ITER 91 NEW BEST:: SOT 5855 SOS 3813 HAS SOPS 3811 HAS SOUS 2473 HAS SOUPS 2472 WITH SCORE 2475.813
AT ITER 99 NEW BEST:: SOT 5847 SOS 3797 HAS SOPS 3795 HAS SOUS 2465 HAS SOUPS 2464 WITH SCORE 2467.797
AT ITER 100 NEW BEST:: SOT 5841 SOS 3779 HAS SOPS 3777 HAS SOUS 2465 HAS SOUPS 2464 WITH SCORE 2467.779
AT ITER 102 NEW BEST:: SOT 5840 SOS 3778 HAS SOPS 3776 HAS SOUS 2465 HAS SOUPS 2464 WITH SCORE 2467.778
AT ITER 103 NEW BEST:: SOT 5832 SOS 3770 HAS SOPS 3768 HAS SOUS 2465 HAS SOUPS 2464 WITH SCORE 2467.77
AT ITER 106 NEW BEST:: SOT 5801 SOS 3741 HAS SOPS 3739 HAS SOUS 2445 HAS SOUPS 2444 WITH SCORE 2447.741
AT ITER 108 NEW BEST:: SOT 5801 SOS 3699 HAS SOPS 3697 HAS SOUS 2425 HAS SOUPS 2424 WITH SCORE 2427.699
AT ITER 109 NEW BEST:: SOT 5859 SOS 3696 HAS SOPS 3694 HAS SOUS 2421 HAS SOUPS 2420 WITH SCORE 2423.696
AT ITER 110 NEW BEST:: SOT 5853 SOS 3645 HAS SOPS 3643 HAS SOUS 2391 HAS SOUPS 2390 WITH SCORE 2393.645
AT ITER 111 NEW BEST:: SOT 5804 SOS 3547 HAS SOPS 3545 HAS SOUS 2309 HAS SOUPS 2308 WITH SCORE 2311.547
AT ITER 119 NEW BEST:: SOT 5783 SOS 3531 HAS SOPS 3529 HAS SOUS 2238 HAS SOUPS 2237 WITH SCORE 2240.531
AT ITER 128 NEW BEST:: SOT 5787 SOS 3535 HAS SOPS 3533 HAS SOUS 2237 HAS SOUPS 2236 WITH SCORE 2239.535
AT ITER 132 NEW BEST:: SOT 5784 SOS 3514 HAS SOPS 3512 HAS SOUS 2213 HAS SOUPS 2212 WITH SCORE 2215.514
AT ITER 134 NEW BEST:: SOT 5776 SOS 3502 HAS SOPS 3500 HAS SOUS 2205 HAS SOUPS 2204 WITH SCORE 2207.502
AT ITER 137 NEW BEST:: SOT 5766 SOS 3530 HAS SOPS 3528 HAS SOUS 2204 HAS SOUPS 2203 WITH SCORE 2206.53
AT ITER 140 NEW BEST:: SOT 5808 SOS 3566 HAS SOPS 3564 HAS SOUS 2161 HAS SOUPS 2160 WITH SCORE 2163.566
AT ITER 141 NEW BEST:: SOT 5869 SOS 3596 HAS SOPS 3594 HAS SOUS 2141 HAS SOUPS 2140 WITH SCORE 2143.596
AT ITER 144 NEW BEST:: SOT 5835 SOS 3528 HAS SOPS 3526 HAS SOUS 2090 HAS SOUPS 2089 WITH SCORE 2092.528
AT ITER 148 NEW BEST:: SOT 5818 SOS 3511 HAS SOPS 3509 HAS SOUS 2087 HAS SOUPS 2086 WITH SCORE 2089.511
AT ITER 149 NEW BEST:: SOT 5752 SOS 3445 HAS SOPS 3443 HAS SOUS 2069 HAS SOUPS 2068 WITH SCORE 2071.445
AT ITER 158 NEW BEST:: SOT 5768 SOS 3438 HAS SOPS 3436 HAS SOUS 2045 HAS SOUPS 2044 WITH SCORE 2047.438
AT ITER 159 NEW BEST:: SOT 5773 SOS 3443 HAS SOPS 3441 HAS SOUS 2041 HAS SOUPS 2040 WITH SCORE 2043.443
AT ITER 160 NEW BEST:: SOT 5709 SOS 3392 HAS SOPS 3390 HAS SOUS 1963 HAS SOUPS 1962 WITH SCORE 1965.392
AT ITER 161 NEW BEST:: SOT 5547 SOS 3236 HAS SOPS 3234 HAS SOUS 1865 HAS SOUPS 1864 WITH SCORE 1867.236
AT ITER 164 NEW BEST:: SOT 5522 SOS 3211 HAS SOPS 3209 HAS SOUS 1840 HAS SOUPS 1839 WITH SCORE 1842.211
AT ITER 172 NEW BEST:: SOT 5449 SOS 3155 HAS SOPS 3153 HAS SOUS 1805 HAS SOUPS 1804 WITH SCORE 1807.155
AT ITER 174 NEW BEST:: SOT 5442 SOS 3148 HAS SOPS 3146 HAS SOUS 1798 HAS SOUPS 1797 WITH SCORE 1800.148
AT ITER 176 NEW BEST:: SOT 5432 SOS 3133 HAS SOPS 3131 HAS SOUS 1784 HAS SOUPS 1783 WITH SCORE 1786.133
AT ITER 179 NEW BEST:: SOT 5430 SOS 3127 HAS SOPS 3125 HAS SOUS 1778 HAS SOUPS 1777 WITH SCORE 1780.127
AT ITER 183 NEW BEST:: SOT 5385 SOS 3116 HAS SOPS 3114 HAS SOUS 1744 HAS SOUPS 1743 WITH SCORE 1746.116
AT ITER 187 NEW BEST:: SOT 5315 SOS 3050 HAS SOPS 3048 HAS SOUS 1724 HAS SOUPS 1723 WITH SCORE 1726.05
AT ITER 190 NEW BEST:: SOT 5265 SOS 2924 HAS SOPS 2922 HAS SOUS 1688 HAS SOUPS 1687 WITH SCORE 1689.924
AT ITER 196 NEW BEST:: SOT 5318 SOS 2954 HAS SOPS 2952 HAS SOUS 1650 HAS SOUPS 1649 WITH SCORE 1651.954
AT ITER 197 NEW BEST:: SOT 5305 SOS 2909 HAS SOPS 2907 HAS SOUS 1608 HAS SOUPS 1607 WITH SCORE 1609.909
AT ITER 214 NEW BEST:: SOT 5310 SOS 2908 HAS SOPS 2906 HAS SOUS 1602 HAS SOUPS 1601 WITH SCORE 1603.908
AT ITER 223 NEW BEST:: SOT 5327 SOS 2908 HAS SOPS 2906 HAS SOUS 1582 HAS SOUPS 1581 WITH SCORE 1583.908
AT ITER 228 NEW BEST:: SOT 5324 SOS 2904 HAS SOPS 2902 HAS SOUS 1578 HAS SOUPS 1577 WITH SCORE 1579.904
AT ITER 234 NEW BEST:: SOT 5335 SOS 2918 HAS SOPS 2916 HAS SOUS 1574 HAS SOUPS 1573 WITH SCORE 1575.918
AT ITER 236 NEW BEST:: SOT 5323 SOS 2832 HAS SOPS 2830 HAS SOUS 1504 HAS SOUPS 1503 WITH SCORE 1505.832
AT ITER 238 NEW BEST:: SOT 5323 SOS 2814 HAS SOPS 2812 HAS SOUS 1504 HAS SOUPS 1503 WITH SCORE 1505.814
AT ITER 239 NEW BEST:: SOT 5306 SOS 2827 HAS SOPS 2825 HAS SOUS 1488 HAS SOUPS 1487 WITH SCORE 1489.827
AT ITER 241 NEW BEST:: SOT 5305 SOS 2816 HAS SOPS 2814 HAS SOUS 1478 HAS SOUPS 1477 WITH SCORE 1479.816
AT ITER 249 NEW BEST:: SOT 5321 SOS 2796 HAS SOPS 2794 HAS SOUS 1466 HAS SOUPS 1465 WITH SCORE 1467.796
AT ITER 250 NEW BEST:: SOT 5320 SOS 2786 HAS SOPS 2784 HAS SOUS 1464 HAS SOUPS 1463 WITH SCORE 1465.786
AT ITER 254 NEW BEST:: SOT 5318 SOS 2782 HAS SOPS 2780 HAS SOUS 1463 HAS SOUPS 1462 WITH SCORE 1464.782
AT ITER 263 NEW BEST:: SOT 5303 SOS 2784 HAS SOPS 2782 HAS SOUS 1425 HAS SOUPS 1424 WITH SCORE 1426.784
AT ITER 294 NEW BEST:: SOT 5303 SOS 2781 HAS SOPS 2779 HAS SOUS 1420 HAS SOUPS 1419 WITH SCORE 1421.781
AT ITER 298 NEW BEST:: SOT 5301 SOS 2777 HAS SOPS 2775 HAS SOUS 1414 HAS SOUPS 1413 WITH SCORE 1415.777
AT ITER 303 NEW BEST:: SOT 5293 SOS 2761 HAS SOPS 2759 HAS SOUS 1390 HAS SOUPS 1389 WITH SCORE 1391.761
AT ITER 311 NEW BEST:: SOT 5285 SOS 2745 HAS SOPS 2743 HAS SOUS 1366 HAS SOUPS 1365 WITH SCORE 1367.745
AT ITER 315 NEW BEST:: SOT 5280 SOS 2682 HAS SOPS 2680 HAS SOUS 1359 HAS SOUPS 1358 WITH SCORE 1360.682
AT ITER 327 NEW BEST:: SOT 5281 SOS 2683 HAS SOPS 2681 HAS SOUS 1350 HAS SOUPS 1349 WITH SCORE 1351.683
AT ITER 341 NEW BEST:: SOT 5280 SOS 2682 HAS SOPS 2680 HAS SOUS 1348 HAS SOUPS 1347 WITH SCORE 1349.682
AT ITER 347 NEW BEST:: SOT 5275 SOS 2658 HAS SOPS 2656 HAS SOUS 1337 HAS SOUPS 1336 WITH SCORE 1338.658
AT ITER 365 NEW BEST:: SOT 5273 SOS 2655 HAS SOPS 2653 HAS SOUS 1336 HAS SOUPS 1335 WITH SCORE 1337.655
AT ITER 390 NEW BEST:: SOT 5290 SOS 2672 HAS SOPS 2670 HAS SOUS 1331 HAS SOUPS 1330 WITH SCORE 1332.672
AT ITER 392 NEW BEST:: SOT 5290 SOS 2548 HAS SOPS 2546 HAS SOUS 1324 HAS SOUPS 1323 WITH SCORE 1325.548
AT ITER 407 NEW BEST:: SOT 5287 SOS 2545 HAS SOPS 2543 HAS SOUS 1318 HAS SOUPS 1317 WITH SCORE 1319.545
AT ITER 412 NEW BEST:: SOT 5289 SOS 2541 HAS SOPS 2539 HAS SOUS 1318 HAS SOUPS 1317 WITH SCORE 1319.541
AT ITER 427 NEW BEST:: SOT 5289 SOS 2538 HAS SOPS 2536 HAS SOUS 1316 HAS SOUPS 1315 WITH SCORE 1317.538
AT ITER 435 NEW BEST:: SOT 5297 SOS 2503 HAS SOPS 2501 HAS SOUS 1292 HAS SOUPS 1291 WITH SCORE 1293.503
AT ITER 450 NEW BEST:: SOT 5300 SOS 2500 HAS SOPS 2498 HAS SOUS 1283 HAS SOUPS 1282 WITH SCORE 1284.5
AT ITER 460 NEW BEST:: SOT 5288 SOS 2473 HAS SOPS 2471 HAS SOUS 1283 HAS SOUPS 1282 WITH SCORE 1284.473
AT ITER 480 NEW BEST:: SOT 5255 SOS 2422 HAS SOPS 2420 HAS SOUS 1233 HAS SOUPS 1232 WITH SCORE 1234.422
AT ITER 488 NEW BEST:: SOT 5249 SOS 2422 HAS SOPS 2420 HAS SOUS 1219 HAS SOUPS 1218 WITH SCORE 1220.422
AT ITER 489 NEW BEST:: SOT 5242 SOS 2415 HAS SOPS 2413 HAS SOUS 1212 HAS SOUPS 1211 WITH SCORE 1213.415
AT ITER 498 NEW BEST:: SOT 5210 SOS 2407 HAS SOPS 2405 HAS SOUS 1206 HAS SOUPS 1205 WITH SCORE 1207.407
AT ITER 507 NEW BEST:: SOT 5200 SOS 2387 HAS SOPS 2385 HAS SOUS 1198 HAS SOUPS 1197 WITH SCORE 1199.387
AT ITER 534 NEW BEST:: SOT 5194 SOS 2375 HAS SOPS 2373 HAS SOUS 1188 HAS SOUPS 1187 WITH SCORE 1189.375
AT ITER 561 NEW BEST:: SOT 5192 SOS 2373 HAS SOPS 2371 HAS SOUS 1185 HAS SOUPS 1184 WITH SCORE 1186.373
AT ITER 569 NEW BEST:: SOT 5182 SOS 2354 HAS SOPS 2352 HAS SOUS 1175 HAS SOUPS 1174 WITH SCORE 1176.354
AT ITER 583 NEW BEST:: SOT 5183 SOS 2313 HAS SOPS 2311 HAS SOUS 1156 HAS SOUPS 1155 WITH SCORE 1157.313
AT ITER 588 NEW BEST:: SOT 5171 SOS 2301 HAS SOPS 2299 HAS SOUS 1147 HAS SOUPS 1146 WITH SCORE 1148.301
AT ITER 598 NEW BEST:: SOT 5194 SOS 2256 HAS SOPS 2254 HAS SOUS 1128 HAS SOUPS 1127 WITH SCORE 1129.256
AT ITER 603 NEW BEST:: SOT 5223 SOS 2248 HAS SOPS 2246 HAS SOUS 1122 HAS SOUPS 1121 WITH SCORE 1123.248
AT ITER 608 NEW BEST:: SOT 5237 SOS 2149 HAS SOPS 2147 HAS SOUS 1122 HAS SOUPS 1121 WITH SCORE 1123.149
AT ITER 619 NEW BEST:: SOT 5233 SOS 2145 HAS SOPS 2143 HAS SOUS 1114 HAS SOUPS 1113 WITH SCORE 1115.145
AT ITER 629 NEW BEST:: SOT 5225 SOS 2137 HAS SOPS 2135 HAS SOUS 1110 HAS SOUPS 1109 WITH SCORE 1111.137
AT ITER 651 NEW BEST:: SOT 5221 SOS 2133 HAS SOPS 2131 HAS SOUS 1106 HAS SOUPS 1105 WITH SCORE 1107.133
AT ITER 653 NEW BEST:: SOT 5190 SOS 2101 HAS SOPS 2099 HAS SOUS 1041 HAS SOUPS 1040 WITH SCORE 1042.101
AT ITER 661 NEW BEST:: SOT 5190 SOS 2095 HAS SOPS 2093 HAS SOUS 1032 HAS SOUPS 1031 WITH SCORE 1033.095
AT ITER 669 NEW BEST:: SOT 5174 SOS 2255 HAS SOPS 2253 HAS SOUS 1017 HAS SOUPS 1016 WITH SCORE 1018.255
AT ITER 673 NEW BEST:: SOT 5152 SOS 2237 HAS SOPS 2235 HAS SOUS 1015 HAS SOUPS 1014 WITH SCORE 1016.237
AT ITER 690 NEW BEST:: SOT 5155 SOS 2236 HAS SOPS 2234 HAS SOUS 1015 HAS SOUPS 1014 WITH SCORE 1016.236
AT ITER 706 NEW BEST:: SOT 5155 SOS 2227 HAS SOPS 2225 HAS SOUS 1009 HAS SOUPS 1008 WITH SCORE 1010.227
AT ITER 708 NEW BEST:: SOT 5147 SOS 2219 HAS SOPS 2217 HAS SOUS 993 HAS SOUPS 992 WITH SCORE 994.219
AT ITER 710 NEW BEST:: SOT 5147 SOS 2213 HAS SOPS 2211 HAS SOUS 993 HAS SOUPS 992 WITH SCORE 994.213
AT ITER 719 NEW BEST:: SOT 5139 SOS 2205 HAS SOPS 2203 HAS SOUS 989 HAS SOUPS 988 WITH SCORE 990.205
AT ITER 733 NEW BEST:: SOT 5135 SOS 2202 HAS SOPS 2200 HAS SOUS 986 HAS SOUPS 985 WITH SCORE 987.202
AT ITER 779 NEW BEST:: SOT 5120 SOS 2194 HAS SOPS 2192 HAS SOUS 973 HAS SOUPS 972 WITH SCORE 974.194
AT ITER 792 NEW BEST:: SOT 5121 SOS 2193 HAS SOPS 2191 HAS SOUS 968 HAS SOUPS 967 WITH SCORE 969.193
AT ITER 826 NEW BEST:: SOT 5121 SOS 2190 HAS SOPS 2188 HAS SOUS 967 HAS SOUPS 966 WITH SCORE 968.19
AT ITER 837 NEW BEST:: SOT 5121 SOS 2184 HAS SOPS 2182 HAS SOUS 964 HAS SOUPS 963 WITH SCORE 965.184
AT ITER 839 NEW BEST:: SOT 5105 SOS 2178 HAS SOPS 2176 HAS SOUS 948 HAS SOUPS 947 WITH SCORE 949.178
AT ITER 864 NEW BEST:: SOT 5105 SOS 2178 HAS SOPS 2176 HAS SOUS 946 HAS SOUPS 945 WITH SCORE 947.178
AT ITER 866 NEW BEST:: SOT 5103 SOS 2180 HAS SOPS 2178 HAS SOUS 944 HAS SOUPS 943 WITH SCORE 945.18
AT ITER 875 NEW BEST:: SOT 5111 SOS 2180 HAS SOPS 2178 HAS SOUS 932 HAS SOUPS 931 WITH SCORE 933.18
AT ITER 892 NEW BEST:: SOT 5111 SOS 2179 HAS SOPS 2177 HAS SOUS 931 HAS SOUPS 930 WITH SCORE 932.179
AT ITER 924 NEW BEST:: SOT 5112 SOS 2171 HAS SOPS 2169 HAS SOUS 924 HAS SOUPS 923 WITH SCORE 925.171
AT ITER 932 NEW BEST:: SOT 5108 SOS 2167 HAS SOPS 2165 HAS SOUS 920 HAS SOUPS 919 WITH SCORE 921.167
AT ITER 937 NEW BEST:: SOT 5098 SOS 2165 HAS SOPS 2163 HAS SOUS 920 HAS SOUPS 919 WITH SCORE 921.165
AT ITER 942 NEW BEST:: SOT 5092 SOS 2162 HAS SOPS 2160 HAS SOUS 917 HAS SOUPS 916 WITH SCORE 918.162
AT ITER 943 NEW BEST:: SOT 5089 SOS 2159 HAS SOPS 2157 HAS SOUS 911 HAS SOUPS 910 WITH SCORE 912.159
AT ITER 954 NEW BEST:: SOT 5089 SOS 2157 HAS SOPS 2155 HAS SOUS 910 HAS SOUPS 909 WITH SCORE 911.157
AT ITER 966 NEW BEST:: SOT 5090 SOS 2154 HAS SOPS 2152 HAS SOUS 908 HAS SOUPS 907 WITH SCORE 909.154
AT ITER 980 NEW BEST:: SOT 5088 SOS 2150 HAS SOPS 2148 HAS SOUS 906 HAS SOUPS 905 WITH SCORE 907.15
AT ITER 1062 NEW BEST:: SOT 5087 SOS 2147 HAS SOPS 2145 HAS SOUS 903 HAS SOUPS 902 WITH SCORE 904.147
AT ITER 1090 NEW BEST:: SOT 5085 SOS 2146 HAS SOPS 2144 HAS SOUS 899 HAS SOUPS 898 WITH SCORE 900.146
AT ITER 1121 NEW BEST:: SOT 5085 SOS 2144 HAS SOPS 2142 HAS SOUS 897 HAS SOUPS 896 WITH SCORE 898.144
AT ITER 1147 NEW BEST:: SOT 5084 SOS 2140 HAS SOPS 2138 HAS SOUS 895 HAS SOUPS 894 WITH SCORE 896.14
AT ITER 1152 NEW BEST:: SOT 5082 SOS 2139 HAS SOPS 2137 HAS SOUS 893 HAS SOUPS 892 WITH SCORE 894.139
AT ITER 1183 NEW BEST:: SOT 5081 SOS 2138 HAS SOPS 2136 HAS SOUS 891 HAS SOUPS 890 WITH SCORE 892.138
AT ITER 1224 NEW BEST:: SOT 5078 SOS 2120 HAS SOPS 2118 HAS SOUS 887 HAS SOUPS 886 WITH SCORE 888.12
AT ITER 1278 NEW BEST:: SOT 5070 SOS 2112 HAS SOPS 2110 HAS SOUS 879 HAS SOUPS 878 WITH SCORE 880.112
AT ITER 1287 NEW BEST:: SOT 5072 SOS 2110 HAS SOPS 2108 HAS SOUS 879 HAS SOUPS 878 WITH SCORE 880.11
AT ITER 1307 NEW BEST:: SOT 5070 SOS 2107 HAS SOPS 2105 HAS SOUS 877 HAS SOUPS 876 WITH SCORE 878.107
AT ITER 1328 NEW BEST:: SOT 5077 SOS 2110 HAS SOPS 2108 HAS SOUS 875 HAS SOUPS 874 WITH SCORE 876.11
AT ITER 1339 NEW BEST:: SOT 5079 SOS 2109 HAS SOPS 2107 HAS SOUS 875 HAS SOUPS 874 WITH SCORE 876.109
AT ITER 1364 NEW BEST:: SOT 5076 SOS 2104 HAS SOPS 2102 HAS SOUS 869 HAS SOUPS 868 WITH SCORE 870.104
AT ITER 1398 NEW BEST:: SOT 5072 SOS 2091 HAS SOPS 2089 HAS SOUS 860 HAS SOUPS 859 WITH SCORE 861.091
AT ITER 1420 NEW BEST:: SOT 5077 SOS 2088 HAS SOPS 2086 HAS SOUS 854 HAS SOUPS 853 WITH SCORE 855.088
AT ITER 1427 NEW BEST:: SOT 5076 SOS 2087 HAS SOPS 2085 HAS SOUS 853 HAS SOUPS 852 WITH SCORE 854.087
AT ITER 1520 NEW BEST:: SOT 5073 SOS 2084 HAS SOPS 2082 HAS SOUS 847 HAS SOUPS 846 WITH SCORE 848.084
AT ITER 1521 NEW BEST:: SOT 5071 SOS 2082 HAS SOPS 2080 HAS SOUS 843 HAS SOUPS 842 WITH SCORE 844.082
AT ITER 1558 NEW BEST:: SOT 5071 SOS 2081 HAS SOPS 2079 HAS SOUS 839 HAS SOUPS 838 WITH SCORE 840.081
AT ITER 1565 NEW BEST:: SOT 5061 SOS 2068 HAS SOPS 2066 HAS SOUS 829 HAS SOUPS 828 WITH SCORE 830.068
AT ITER 1572 NEW BEST:: SOT 5053 SOS 2061 HAS SOPS 2059 HAS SOUS 825 HAS SOUPS 824 WITH SCORE 826.061
AT ITER 1597 NEW BEST:: SOT 5053 SOS 2053 HAS SOPS 2051 HAS SOUS 821 HAS SOUPS 820 WITH SCORE 822.053
AT ITER 1643 NEW BEST:: SOT 5048 SOS 2048 HAS SOPS 2046 HAS SOUS 821 HAS SOUPS 820 WITH SCORE 822.048
AT ITER 1645 NEW BEST:: SOT 5044 SOS 2040 HAS SOPS 2038 HAS SOUS 809 HAS SOUPS 808 WITH SCORE 810.04
AT ITER 1661 NEW BEST:: SOT 5045 SOS 2039 HAS SOPS 2037 HAS SOUS 809 HAS SOUPS 808 WITH SCORE 810.039
AT ITER 1675 NEW BEST:: SOT 5045 SOS 2039 HAS SOPS 2037 HAS SOUS 804 HAS SOUPS 803 WITH SCORE 805.039
AT ITER 1682 NEW BEST:: SOT 5038 SOS 2242 HAS SOPS 2134 HAS SOUS 808 HAS SOUPS 801 WITH SCORE 803.242
AT ITER 1728 NEW BEST:: SOT 5031 SOS 2233 HAS SOPS 2125 HAS SOUS 804 HAS SOUPS 797 WITH SCORE 799.233
AT ITER 1738 NEW BEST:: SOT 5033 SOS 2231 HAS SOPS 2123 HAS SOUS 800 HAS SOUPS 793 WITH SCORE 795.231
AT ITER 1759 NEW BEST:: SOT 5030 SOS 2230 HAS SOPS 2122 HAS SOUS 798 HAS SOUPS 791 WITH SCORE 793.23
AT ITER 1800 NEW BEST:: SOT 5026 SOS 2226 HAS SOPS 2118 HAS SOUS 798 HAS SOUPS 791 WITH SCORE 793.226
AT ITER 1830 NEW BEST:: SOT 5025 SOS 2224 HAS SOPS 2116 HAS SOUS 798 HAS SOUPS 791 WITH SCORE 793.224
AT ITER 1850 NEW BEST:: SOT 5032 SOS 2223 HAS SOPS 2115 HAS SOUS 798 HAS SOUPS 791 WITH SCORE 793.223
AT ITER 1873 NEW BEST:: SOT 5029 SOS 2220 HAS SOPS 2112 HAS SOUS 798 HAS SOUPS 791 WITH SCORE 793.22
AT ITER 1881 NEW BEST:: SOT 5025 SOS 2218 HAS SOPS 2110 HAS SOUS 798 HAS SOUPS 791 WITH SCORE 793.218
AT ITER 1933 NEW BEST:: SOT 5026 SOS 2211 HAS SOPS 2103 HAS SOUS 796 HAS SOUPS 789 WITH SCORE 791.211
AT ITER 1979 NEW BEST:: SOT 5022 SOS 2207 HAS SOPS 2099 HAS SOUS 796 HAS SOUPS 789 WITH SCORE 791.207
AT ITER 2119 NEW BEST:: SOT 5018 SOS 2201 HAS SOPS 2093 HAS SOUS 790 HAS SOUPS 783 WITH SCORE 785.201
AT ITER 2148 NEW BEST:: SOT 5018 SOS 2201 HAS SOPS 2093 HAS SOUS 786 HAS SOUPS 779 WITH SCORE 781.201
AT ITER 2157 NEW BEST:: SOT 5016 SOS 2199 HAS SOPS 2091 HAS SOUS 782 HAS SOUPS 775 WITH SCORE 777.199
AT ITER 2173 NEW BEST:: SOT 5014 SOS 2197 HAS SOPS 2089 HAS SOUS 778 HAS SOUPS 771 WITH SCORE 773.197
AT ITER 2267 NEW BEST:: SOT 5005 SOS 2189 HAS SOPS 2081 HAS SOUS 771 HAS SOUPS 764 WITH SCORE 766.189
AT ITER 2270 NEW BEST:: SOT 5006 SOS 2188 HAS SOPS 2080 HAS SOUS 771 HAS SOUPS 764 WITH SCORE 766.188
AT ITER 2301 NEW BEST:: SOT 5008 SOS 2186 HAS SOPS 2078 HAS SOUS 769 HAS SOUPS 762 WITH SCORE 764.186
AT ITER 2368 NEW BEST:: SOT 5007 SOS 2184 HAS SOPS 2076 HAS SOUS 765 HAS SOUPS 758 WITH SCORE 760.184
AT ITER 2446 NEW BEST:: SOT 5008 SOS 2185 HAS SOPS 2077 HAS SOUS 764 HAS SOUPS 757 WITH SCORE 759.185
AT ITER 2462 NEW BEST:: SOT 5009 SOS 2184 HAS SOPS 2076 HAS SOUS 764 HAS SOUPS 757 WITH SCORE 759.184
AT ITER 2505 NEW BEST:: SOT 5007 SOS 2182 HAS SOPS 2074 HAS SOUS 764 HAS SOUPS 757 WITH SCORE 759.182
AT ITER 2546 NEW BEST:: SOT 5005 SOS 2180 HAS SOPS 2072 HAS SOUS 763 HAS SOUPS 756 WITH SCORE 758.18
AT ITER 2675 NEW BEST:: SOT 5016 SOS 2178 HAS SOPS 2070 HAS SOUS 759 HAS SOUPS 752 WITH SCORE 754.178
AT ITER 2743 NEW BEST:: SOT 5015 SOS 2176 HAS SOPS 2068 HAS SOUS 756 HAS SOUPS 749 WITH SCORE 751.176
AT ITER 2803 NEW BEST:: SOT 5013 SOS 2070 HAS SOPS 2017 HAS SOUS 751 HAS SOUPS 747 WITH SCORE 749.07
AT ITER 2805 NEW BEST:: SOT 5013 SOS 2068 HAS SOPS 2015 HAS SOUS 747 HAS SOUPS 743 WITH SCORE 745.068
AT ITER 2832 NEW BEST:: SOT 5022 SOS 2072 HAS SOPS 2019 HAS SOUS 741 HAS SOUPS 737 WITH SCORE 739.072
AT ITER 2869 NEW BEST:: SOT 5022 SOS 2070 HAS SOPS 2017 HAS SOUS 741 HAS SOUPS 737 WITH SCORE 739.07
AT ITER 2903 NEW BEST:: SOT 5022 SOS 2068 HAS SOPS 2015 HAS SOUS 740 HAS SOUPS 736 WITH SCORE 738.068
AT ITER 2986 NEW BEST:: SOT 5017 SOS 2062 HAS SOPS 2009 HAS SOUS 734 HAS SOUPS 730 WITH SCORE 732.062
AT ITER 3150 NEW BEST:: SOT 5017 SOS 2060 HAS SOPS 2007 HAS SOUS 734 HAS SOUPS 730 WITH SCORE 732.06
AT ITER 3165 NEW BEST:: SOT 5014 SOS 2053 HAS SOPS 2000 HAS SOUS 728 HAS SOUPS 724 WITH SCORE 726.053
AT ITER 3254 NEW BEST:: SOT 5015 SOS 2052 HAS SOPS 1999 HAS SOUS 727 HAS SOUPS 723 WITH SCORE 725.052
AT ITER 3269 NEW BEST:: SOT 5013 SOS 1949 HAS SOPS 1947 HAS SOUS 716 HAS SOUPS 715 WITH SCORE 716.949
AT ITER 3350 NEW BEST:: SOT 5012 SOS 1948 HAS SOPS 1946 HAS SOUS 714 HAS SOUPS 713 WITH SCORE 714.948
AT ITER 3434 NEW BEST:: SOT 5012 SOS 1946 HAS SOPS 1944 HAS SOUS 713 HAS SOUPS 712 WITH SCORE 713.946
AT ITER 3478 NEW BEST:: SOT 5009 SOS 1943 HAS SOPS 1941 HAS SOUS 713 HAS SOUPS 712 WITH SCORE 713.943
AT ITER 3634 NEW BEST:: SOT 5010 SOS 1938 HAS SOPS 1936 HAS SOUS 709 HAS SOUPS 708 WITH SCORE 709.938
AT ITER 3669 NEW BEST:: SOT 5008 SOS 1936 HAS SOPS 1934 HAS SOUS 705 HAS SOUPS 704 WITH SCORE 705.936
AT ITER 3742 NEW BEST:: SOT 5009 SOS 1932 HAS SOPS 1930 HAS SOUS 699 HAS SOUPS 698 WITH SCORE 699.932
AT ITER 3899 NEW BEST:: SOT 5008 SOS 1931 HAS SOPS 1929 HAS SOUS 697 HAS SOUPS 696 WITH SCORE 697.931
AT ITER 3922 NEW BEST:: SOT 5004 SOS 1931 HAS SOPS 1929 HAS SOUS 695 HAS SOUPS 694 WITH SCORE 695.931
AT ITER 3949 NEW BEST:: SOT 5006 SOS 1929 HAS SOPS 1927 HAS SOUS 695 HAS SOUPS 694 WITH SCORE 695.929
AT ITER 4077 NEW BEST:: SOT 5006 SOS 1928 HAS SOPS 1926 HAS SOUS 695 HAS SOUPS 694 WITH SCORE 695.928
AT ITER 4120 NEW BEST:: SOT 5006 SOS 1891 HAS SOPS 1857 HAS SOUS 695 HAS SOUPS 692 WITH SCORE 693.891
AT ITER 4235 NEW BEST:: SOT 5004 SOS 1890 HAS SOPS 1856 HAS SOUS 695 HAS SOUPS 692 WITH SCORE 693.89
AT ITER 4253 NEW BEST:: SOT 5004 SOS 1884 HAS SOPS 1850 HAS SOUS 689 HAS SOUPS 686 WITH SCORE 687.884
AT ITER 4322 NEW BEST:: SOT 5003 SOS 1883 HAS SOPS 1849 HAS SOUS 687 HAS SOUPS 684 WITH SCORE 685.883
AT ITER 4420 NEW BEST:: SOT 5002 SOS 1882 HAS SOPS 1848 HAS SOUS 686 HAS SOUPS 683 WITH SCORE 684.882
AT ITER 4518 NEW BEST:: SOT 5005 SOS 1883 HAS SOPS 1849 HAS SOUS 682 HAS SOUPS 679 WITH SCORE 680.883
AT ITER 4618 NEW BEST:: SOT 5003 SOS 1881 HAS SOPS 1847 HAS SOUS 678 HAS SOUPS 675 WITH SCORE 676.881
AT ITER 4663 NEW BEST:: SOT 5000 SOS 1878 HAS SOPS 1844 HAS SOUS 672 HAS SOUPS 669 WITH SCORE 670.878
AT ITER 4743 NEW BEST:: SOT 4995 SOS 1881 HAS SOPS 1847 HAS SOUS 669 HAS SOUPS 666 WITH SCORE 667.881
AT ITER 4804 NEW BEST:: SOT 4994 SOS 1876 HAS SOPS 1842 HAS SOUS 665 HAS SOUPS 662 WITH SCORE 663.876
AT ITER 5036 NEW BEST:: SOT 4994 SOS 1873 HAS SOPS 1839 HAS SOUS 663 HAS SOUPS 660 WITH SCORE 661.873
AT ITER 5045 NEW BEST:: SOT 4996 SOS 1871 HAS SOPS 1837 HAS SOUS 661 HAS SOUPS 658 WITH SCORE 659.871
AT ITER 5120 NEW BEST:: SOT 4998 SOS 1871 HAS SOPS 1837 HAS SOUS 658 HAS SOUPS 655 WITH SCORE 656.871
AT ITER 5485 NEW BEST:: SOT 4999 SOS 1870 HAS SOPS 1836 HAS SOUS 656 HAS SOUPS 653 WITH SCORE 654.87
AT ITER 5596 NEW BEST:: SOT 4997 SOS 1868 HAS SOPS 1834 HAS SOUS 655 HAS SOUPS 652 WITH SCORE 653.868
AT ITER 5609 NEW BEST:: SOT 4996 SOS 1867 HAS SOPS 1833 HAS SOUS 653 HAS SOUPS 650 WITH SCORE 651.867
AT ITER 5616 NEW BEST:: SOT 4992 SOS 1865 HAS SOPS 1831 HAS SOUS 651 HAS SOUPS 648 WITH SCORE 649.865
AT ITER 6177 NEW BEST:: SOT 4991 SOS 1861 HAS SOPS 1827 HAS SOUS 649 HAS SOUPS 646 WITH SCORE 647.861
AT ITER 6234 NEW BEST:: SOT 4989 SOS 1858 HAS SOPS 1824 HAS SOUS 646 HAS SOUPS 643 WITH SCORE 644.858
AT ITER 6268 NEW BEST:: SOT 4992 SOS 1859 HAS SOPS 1825 HAS SOUS 642 HAS SOUPS 639 WITH SCORE 640.859
AT ITER 6527 NEW BEST:: SOT 4994 SOS 1857 HAS SOPS 1823 HAS SOUS 641 HAS SOUPS 638 WITH SCORE 639.857
AT ITER 6633 NEW BEST:: SOT 4993 SOS 1856 HAS SOPS 1822 HAS SOUS 640 HAS SOUPS 637 WITH SCORE 638.856
AT ITER 6823 NEW BEST:: SOT 4993 SOS 1855 HAS SOPS 1821 HAS SOUS 639 HAS SOUPS 636 WITH SCORE 637.855
AT ITER 6874 NEW BEST:: SOT 4992 SOS 1852 HAS SOPS 1818 HAS SOUS 635 HAS SOUPS 632 WITH SCORE 633.852
AT ITER 6893 NEW BEST:: SOT 4989 SOS 1853 HAS SOPS 1819 HAS SOUS 634 HAS SOUPS 631 WITH SCORE 632.853
AT ITER 6977 NEW BEST:: SOT 4988 SOS 1852 HAS SOPS 1818 HAS SOUS 633 HAS SOUPS 630 WITH SCORE 631.852
AT ITER 7125 NEW BEST:: SOT 4987 SOS 1848 HAS SOPS 1814 HAS SOUS 631 HAS SOUPS 628 WITH SCORE 629.848
AT ITER 7231 NEW BEST:: SOT 4988 SOS 1848 HAS SOPS 1814 HAS SOUS 630 HAS SOUPS 627 WITH SCORE 628.848
AT ITER 7355 NEW BEST:: SOT 4989 SOS 1848 HAS SOPS 1814 HAS SOUS 629 HAS SOUPS 626 WITH SCORE 627.848
AT ITER 7414 NEW BEST:: SOT 4993 SOS 1844 HAS SOPS 1810 HAS SOUS 627 HAS SOUPS 624 WITH SCORE 625.844
AT ITER 7917 NEW BEST:: SOT 4990 SOS 1841 HAS SOPS 1807 HAS SOUS 623 HAS SOUPS 620 WITH SCORE 621.841
AT ITER 7919 NEW BEST:: SOT 4988 SOS 1824 HAS SOPS 1806 HAS SOUS 621 HAS SOUPS 619 WITH SCORE 620.824
AT ITER 8211 NEW BEST:: SOT 4987 SOS 1823 HAS SOPS 1805 HAS SOUS 619 HAS SOUPS 617 WITH SCORE 618.823
AT ITER 8346 NEW BEST:: SOT 4986 SOS 1804 HAS SOPS 1786 HAS SOUS 617 HAS SOUPS 615 WITH SCORE 616.804
AT ITER 8455 NEW BEST:: SOT 4985 SOS 1803 HAS SOPS 1785 HAS SOUS 616 HAS SOUPS 614 WITH SCORE 615.803
AT ITER 8488 NEW BEST:: SOT 4981 SOS 1803 HAS SOPS 1785 HAS SOUS 613 HAS SOUPS 611 WITH SCORE 612.803
AT ITER 8724 NEW BEST:: SOT 4981 SOS 1802 HAS SOPS 1784 HAS SOUS 613 HAS SOUPS 611 WITH SCORE 612.802
AT ITER 8846 NEW BEST:: SOT 4983 SOS 1801 HAS SOPS 1783 HAS SOUS 613 HAS SOUPS 611 WITH SCORE 612.801
AT ITER 8886 NEW BEST:: SOT 4982 SOS 1801 HAS SOPS 1783 HAS SOUS 612 HAS SOUPS 610 WITH SCORE 611.801
AT ITER 9199 NEW BEST:: SOT 4983 SOS 1801 HAS SOPS 1783 HAS SOUS 611 HAS SOUPS 609 WITH SCORE 610.801
AT ITER 9386 NEW BEST:: SOT 4978 SOS 1800 HAS SOPS 1782 HAS SOUS 611 HAS SOUPS 609 WITH SCORE 610.8
AT ITER 9401 NEW BEST:: SOT 4978 SOS 1799 HAS SOPS 1781 HAS SOUS 611 HAS SOUPS 609 WITH SCORE 610.799
AT ITER 9543 NEW BEST:: SOT 4979 SOS 1798 HAS SOPS 1780 HAS SOUS 609 HAS SOUPS 607 WITH SCORE 608.798
AT ITER 9815 NEW BEST:: SOT 4978 SOS 1799 HAS SOPS 1781 HAS SOUS 608 HAS SOUPS 606 WITH SCORE 607.799
STATE_SPACE STATES 6590096197853 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 22 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 122998857366062 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678528565525

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

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