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.r395-oct2-167903718500208.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 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 ShieldIIPt-PT-002B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r395-oct2-167903718500208
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 432K
-rw-r--r-- 1 mcc users 6.5K Feb 25 17:09 CTLCardinality.txt
-rw-r--r-- 1 mcc users 69K Feb 25 17:09 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.2K Feb 25 17:08 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 25 17:08 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:56 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:56 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:56 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:56 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.3K Feb 25 17:10 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 72K Feb 25 17:10 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.4K Feb 25 17:10 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 84K Feb 25 17:10 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:56 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:56 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 34K 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 1679559708959

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=ShieldIIPt-PT-002B
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-23 08:21:51] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-23 08:21:51] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-23 08:21:52] [INFO ] Load time of PNML (sax parser for PT used): 43 ms
[2023-03-23 08:21:52] [INFO ] Transformed 143 places.
[2023-03-23 08:21:52] [INFO ] Transformed 133 transitions.
[2023-03-23 08:21:52] [INFO ] Found NUPN structural information;
[2023-03-23 08:21:52] [INFO ] Parsed PT model containing 143 places and 133 transitions and 330 arcs in 131 ms.
[2023-03-23 08:21:52] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 143 places, 133 transitions and 330 arcs took 12 ms.
Total runtime 180 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldIIPt (PT), instance 002B
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 143 places, 133 transitions, 330 arcs.
AT ITER 0 NEW BEST:: SOT 10655 SOS 3389 HAS SOPS 3389 HAS SOUS 3061 HAS SOUPS 3061 WITH SCORE 3064.389
AT ITER 16 NEW BEST:: SOT 10654 SOS 3388 HAS SOPS 3388 HAS SOUS 3060 HAS SOUPS 3060 WITH SCORE 3063.388
AT ITER 26 NEW BEST:: SOT 10654 SOS 3388 HAS SOPS 3388 HAS SOUS 3059 HAS SOUPS 3059 WITH SCORE 3062.388
AT ITER 39 NEW BEST:: SOT 10654 SOS 3385 HAS SOPS 3385 HAS SOUS 3056 HAS SOUPS 3056 WITH SCORE 3059.385
AT ITER 41 NEW BEST:: SOT 10653 SOS 3378 HAS SOPS 3378 HAS SOUS 3051 HAS SOUPS 3051 WITH SCORE 3054.378
AT ITER 44 NEW BEST:: SOT 10653 SOS 3374 HAS SOPS 3374 HAS SOUS 3051 HAS SOUPS 3051 WITH SCORE 3054.374
AT ITER 48 NEW BEST:: SOT 10648 SOS 3343 HAS SOPS 3343 HAS SOUS 3001 HAS SOUPS 3001 WITH SCORE 3004.343
AT ITER 51 NEW BEST:: SOT 10648 SOS 3337 HAS SOPS 3337 HAS SOUS 2998 HAS SOUPS 2998 WITH SCORE 3001.337
AT ITER 52 NEW BEST:: SOT 10619 SOS 3221 HAS SOPS 3221 HAS SOUS 2911 HAS SOUPS 2911 WITH SCORE 2914.221
AT ITER 53 NEW BEST:: SOT 10574 SOS 3236 HAS SOPS 3236 HAS SOUS 2902 HAS SOUPS 2902 WITH SCORE 2905.236
AT ITER 56 NEW BEST:: SOT 10574 SOS 3235 HAS SOPS 3235 HAS SOUS 2901 HAS SOUPS 2901 WITH SCORE 2904.235
AT ITER 59 NEW BEST:: SOT 10567 SOS 3246 HAS SOPS 3246 HAS SOUS 2898 HAS SOUPS 2898 WITH SCORE 2901.246
AT ITER 65 NEW BEST:: SOT 10565 SOS 3263 HAS SOPS 3263 HAS SOUS 2894 HAS SOUPS 2894 WITH SCORE 2897.263
AT ITER 67 NEW BEST:: SOT 10558 SOS 3262 HAS SOPS 3262 HAS SOUS 2893 HAS SOUPS 2893 WITH SCORE 2896.262
AT ITER 87 NEW BEST:: SOT 10542 SOS 3235 HAS SOPS 3235 HAS SOUS 2861 HAS SOUPS 2861 WITH SCORE 2864.235
AT ITER 91 NEW BEST:: SOT 10538 SOS 3211 HAS SOPS 3211 HAS SOUS 2853 HAS SOUPS 2853 WITH SCORE 2856.211
AT ITER 109 NEW BEST:: SOT 10522 SOS 3161 HAS SOPS 3161 HAS SOUS 2842 HAS SOUPS 2842 WITH SCORE 2845.161
AT ITER 114 NEW BEST:: SOT 10530 SOS 3151 HAS SOPS 3151 HAS SOUS 2841 HAS SOUPS 2841 WITH SCORE 2844.151
AT ITER 115 NEW BEST:: SOT 10528 SOS 3147 HAS SOPS 3147 HAS SOUS 2837 HAS SOUPS 2837 WITH SCORE 2840.147
AT ITER 116 NEW BEST:: SOT 10525 SOS 3169 HAS SOPS 3169 HAS SOUS 2834 HAS SOUPS 2834 WITH SCORE 2837.169
AT ITER 189 NEW BEST:: SOT 10525 SOS 3186 HAS SOPS 3186 HAS SOUS 2831 HAS SOUPS 2831 WITH SCORE 2834.186
AT ITER 194 NEW BEST:: SOT 10510 SOS 3172 HAS SOPS 3172 HAS SOUS 2824 HAS SOUPS 2824 WITH SCORE 2827.172
AT ITER 199 NEW BEST:: SOT 10508 SOS 3170 HAS SOPS 3170 HAS SOUS 2822 HAS SOUPS 2822 WITH SCORE 2825.17
AT ITER 231 NEW BEST:: SOT 10508 SOS 3170 HAS SOPS 3170 HAS SOUS 2818 HAS SOUPS 2818 WITH SCORE 2821.17
AT ITER 233 NEW BEST:: SOT 10508 SOS 3168 HAS SOPS 3168 HAS SOUS 2816 HAS SOUPS 2816 WITH SCORE 2819.168
AT ITER 251 NEW BEST:: SOT 10489 SOS 3131 HAS SOPS 3131 HAS SOUS 2800 HAS SOUPS 2800 WITH SCORE 2803.131
AT ITER 276 NEW BEST:: SOT 10489 SOS 3115 HAS SOPS 3115 HAS SOUS 2794 HAS SOUPS 2794 WITH SCORE 2797.115
AT ITER 277 NEW BEST:: SOT 10486 SOS 3069 HAS SOPS 3069 HAS SOUS 2764 HAS SOUPS 2764 WITH SCORE 2767.069
AT ITER 283 NEW BEST:: SOT 10486 SOS 3064 HAS SOPS 3064 HAS SOUS 2759 HAS SOUPS 2759 WITH SCORE 2762.064
AT ITER 319 NEW BEST:: SOT 10488 SOS 3062 HAS SOPS 3062 HAS SOUS 2758 HAS SOUPS 2758 WITH SCORE 2761.062
AT ITER 375 NEW BEST:: SOT 10487 SOS 3058 HAS SOPS 3058 HAS SOUS 2754 HAS SOUPS 2754 WITH SCORE 2757.058
AT ITER 384 NEW BEST:: SOT 10486 SOS 3052 HAS SOPS 3052 HAS SOUS 2752 HAS SOUPS 2752 WITH SCORE 2755.052
AT ITER 387 NEW BEST:: SOT 10486 SOS 3034 HAS SOPS 3034 HAS SOUS 2734 HAS SOUPS 2734 WITH SCORE 2737.034
AT ITER 402 NEW BEST:: SOT 10499 SOS 3015 HAS SOPS 3015 HAS SOUS 2715 HAS SOUPS 2715 WITH SCORE 2718.015
AT ITER 416 NEW BEST:: SOT 10499 SOS 3012 HAS SOPS 3012 HAS SOUS 2712 HAS SOUPS 2712 WITH SCORE 2715.012
AT ITER 428 NEW BEST:: SOT 10499 SOS 3006 HAS SOPS 3006 HAS SOUS 2706 HAS SOUPS 2706 WITH SCORE 2709.006
AT ITER 450 NEW BEST:: SOT 10490 SOS 2977 HAS SOPS 2977 HAS SOUS 2696 HAS SOUPS 2696 WITH SCORE 2698.977
AT ITER 482 NEW BEST:: SOT 10502 SOS 2987 HAS SOPS 2987 HAS SOUS 2677 HAS SOUPS 2677 WITH SCORE 2679.987
AT ITER 485 NEW BEST:: SOT 10502 SOS 2979 HAS SOPS 2979 HAS SOUS 2677 HAS SOUPS 2677 WITH SCORE 2679.979
AT ITER 496 NEW BEST:: SOT 10476 SOS 2984 HAS SOPS 2984 HAS SOUS 2672 HAS SOUPS 2672 WITH SCORE 2674.984
AT ITER 514 NEW BEST:: SOT 10473 SOS 2984 HAS SOPS 2984 HAS SOUS 2669 HAS SOUPS 2669 WITH SCORE 2671.984
AT ITER 564 NEW BEST:: SOT 10449 SOS 2976 HAS SOPS 2976 HAS SOUS 2651 HAS SOUPS 2651 WITH SCORE 2653.976
AT ITER 587 NEW BEST:: SOT 10448 SOS 2972 HAS SOPS 2972 HAS SOUS 2648 HAS SOUPS 2648 WITH SCORE 2650.972
AT ITER 592 NEW BEST:: SOT 10455 SOS 2964 HAS SOPS 2964 HAS SOUS 2640 HAS SOUPS 2640 WITH SCORE 2642.964
AT ITER 597 NEW BEST:: SOT 10443 SOS 2929 HAS SOPS 2929 HAS SOUS 2605 HAS SOUPS 2605 WITH SCORE 2607.929
AT ITER 614 NEW BEST:: SOT 10441 SOS 2925 HAS SOPS 2925 HAS SOUS 2601 HAS SOUPS 2601 WITH SCORE 2603.925
AT ITER 625 NEW BEST:: SOT 10449 SOS 2911 HAS SOPS 2911 HAS SOUS 2581 HAS SOUPS 2581 WITH SCORE 2583.911
AT ITER 629 NEW BEST:: SOT 10443 SOS 2912 HAS SOPS 2912 HAS SOUS 2580 HAS SOUPS 2580 WITH SCORE 2582.912
AT ITER 675 NEW BEST:: SOT 10443 SOS 2925 HAS SOPS 2925 HAS SOUS 2577 HAS SOUPS 2577 WITH SCORE 2579.925
AT ITER 703 NEW BEST:: SOT 10441 SOS 2915 HAS SOPS 2915 HAS SOUS 2556 HAS SOUPS 2556 WITH SCORE 2558.915
AT ITER 710 NEW BEST:: SOT 10441 SOS 2913 HAS SOPS 2913 HAS SOUS 2556 HAS SOUPS 2556 WITH SCORE 2558.913
AT ITER 718 NEW BEST:: SOT 10439 SOS 2909 HAS SOPS 2909 HAS SOUS 2552 HAS SOUPS 2552 WITH SCORE 2554.909
AT ITER 728 NEW BEST:: SOT 10423 SOS 2861 HAS SOPS 2861 HAS SOUS 2504 HAS SOUPS 2504 WITH SCORE 2506.861
AT ITER 732 NEW BEST:: SOT 10423 SOS 2839 HAS SOPS 2839 HAS SOUS 2495 HAS SOUPS 2495 WITH SCORE 2497.839
AT ITER 741 NEW BEST:: SOT 10415 SOS 2827 HAS SOPS 2827 HAS SOUS 2487 HAS SOUPS 2487 WITH SCORE 2489.827
AT ITER 755 NEW BEST:: SOT 10415 SOS 2824 HAS SOPS 2824 HAS SOUS 2484 HAS SOUPS 2484 WITH SCORE 2486.824
AT ITER 769 NEW BEST:: SOT 10415 SOS 2823 HAS SOPS 2823 HAS SOUS 2483 HAS SOUPS 2483 WITH SCORE 2485.823
AT ITER 793 NEW BEST:: SOT 10413 SOS 2820 HAS SOPS 2820 HAS SOUS 2480 HAS SOUPS 2480 WITH SCORE 2482.82
AT ITER 808 NEW BEST:: SOT 10389 SOS 2760 HAS SOPS 2760 HAS SOUS 2456 HAS SOUPS 2456 WITH SCORE 2458.76
AT ITER 830 NEW BEST:: SOT 10395 SOS 2740 HAS SOPS 2740 HAS SOUS 2436 HAS SOUPS 2436 WITH SCORE 2438.74
AT ITER 831 NEW BEST:: SOT 10386 SOS 2731 HAS SOPS 2731 HAS SOUS 2427 HAS SOUPS 2427 WITH SCORE 2429.731
AT ITER 844 NEW BEST:: SOT 10386 SOS 2729 HAS SOPS 2729 HAS SOUS 2425 HAS SOUPS 2425 WITH SCORE 2427.729
AT ITER 890 NEW BEST:: SOT 10386 SOS 2719 HAS SOPS 2719 HAS SOUS 2422 HAS SOUPS 2422 WITH SCORE 2424.719
AT ITER 894 NEW BEST:: SOT 10386 SOS 2716 HAS SOPS 2716 HAS SOUS 2419 HAS SOUPS 2419 WITH SCORE 2421.716
AT ITER 897 NEW BEST:: SOT 10386 SOS 2715 HAS SOPS 2715 HAS SOUS 2418 HAS SOUPS 2418 WITH SCORE 2420.715
AT ITER 902 NEW BEST:: SOT 10378 SOS 2700 HAS SOPS 2700 HAS SOUS 2403 HAS SOUPS 2403 WITH SCORE 2405.7
AT ITER 924 NEW BEST:: SOT 10364 SOS 2679 HAS SOPS 2679 HAS SOUS 2388 HAS SOUPS 2388 WITH SCORE 2390.679
AT ITER 959 NEW BEST:: SOT 10359 SOS 2669 HAS SOPS 2669 HAS SOUS 2386 HAS SOUPS 2386 WITH SCORE 2388.669
AT ITER 966 NEW BEST:: SOT 10358 SOS 2668 HAS SOPS 2668 HAS SOUS 2385 HAS SOUPS 2385 WITH SCORE 2387.668
AT ITER 980 NEW BEST:: SOT 10359 SOS 2667 HAS SOPS 2667 HAS SOUS 2384 HAS SOUPS 2384 WITH SCORE 2386.667
AT ITER 998 NEW BEST:: SOT 10362 SOS 2665 HAS SOPS 2665 HAS SOUS 2382 HAS SOUPS 2382 WITH SCORE 2384.665
AT ITER 1030 NEW BEST:: SOT 10381 SOS 2686 HAS SOPS 2686 HAS SOUS 2373 HAS SOUPS 2373 WITH SCORE 2375.686
AT ITER 1035 NEW BEST:: SOT 10377 SOS 2674 HAS SOPS 2674 HAS SOUS 2365 HAS SOUPS 2365 WITH SCORE 2367.674
AT ITER 1047 NEW BEST:: SOT 10368 SOS 2635 HAS SOPS 2635 HAS SOUS 2333 HAS SOUPS 2333 WITH SCORE 2335.635
AT ITER 1078 NEW BEST:: SOT 10362 SOS 2617 HAS SOPS 2617 HAS SOUS 2333 HAS SOUPS 2333 WITH SCORE 2335.617
AT ITER 1117 NEW BEST:: SOT 10347 SOS 2617 HAS SOPS 2617 HAS SOUS 2325 HAS SOUPS 2325 WITH SCORE 2327.617
AT ITER 1149 NEW BEST:: SOT 10343 SOS 2564 HAS SOPS 2564 HAS SOUS 2300 HAS SOUPS 2300 WITH SCORE 2302.564
AT ITER 1162 NEW BEST:: SOT 10342 SOS 2555 HAS SOPS 2555 HAS SOUS 2298 HAS SOUPS 2298 WITH SCORE 2300.555
AT ITER 1198 NEW BEST:: SOT 10343 SOS 2557 HAS SOPS 2557 HAS SOUS 2292 HAS SOUPS 2292 WITH SCORE 2294.557
AT ITER 1254 NEW BEST:: SOT 10308 SOS 2517 HAS SOPS 2517 HAS SOUS 2259 HAS SOUPS 2259 WITH SCORE 2261.517
AT ITER 1317 NEW BEST:: SOT 10310 SOS 2478 HAS SOPS 2478 HAS SOUS 2245 HAS SOUPS 2245 WITH SCORE 2247.478
AT ITER 1318 NEW BEST:: SOT 10304 SOS 2464 HAS SOPS 2464 HAS SOUS 2233 HAS SOUPS 2233 WITH SCORE 2235.464
AT ITER 1368 NEW BEST:: SOT 10304 SOS 2471 HAS SOPS 2471 HAS SOUS 2229 HAS SOUPS 2229 WITH SCORE 2231.471
AT ITER 1369 NEW BEST:: SOT 10298 SOS 2470 HAS SOPS 2470 HAS SOUS 2228 HAS SOUPS 2228 WITH SCORE 2230.47
AT ITER 1400 NEW BEST:: SOT 10301 SOS 2458 HAS SOPS 2458 HAS SOUS 2225 HAS SOUPS 2225 WITH SCORE 2227.458
AT ITER 1404 NEW BEST:: SOT 10299 SOS 2456 HAS SOPS 2456 HAS SOUS 2223 HAS SOUPS 2223 WITH SCORE 2225.456
AT ITER 1416 NEW BEST:: SOT 10302 SOS 2462 HAS SOPS 2462 HAS SOUS 2218 HAS SOUPS 2218 WITH SCORE 2220.462
AT ITER 1432 NEW BEST:: SOT 10297 SOS 2426 HAS SOPS 2426 HAS SOUS 2197 HAS SOUPS 2197 WITH SCORE 2199.426
AT ITER 1441 NEW BEST:: SOT 10297 SOS 2414 HAS SOPS 2414 HAS SOUS 2197 HAS SOUPS 2197 WITH SCORE 2199.414
AT ITER 1448 NEW BEST:: SOT 10297 SOS 2413 HAS SOPS 2413 HAS SOUS 2197 HAS SOUPS 2197 WITH SCORE 2199.413
AT ITER 1457 NEW BEST:: SOT 10297 SOS 2409 HAS SOPS 2409 HAS SOUS 2194 HAS SOUPS 2194 WITH SCORE 2196.409
AT ITER 1459 NEW BEST:: SOT 10293 SOS 2401 HAS SOPS 2401 HAS SOUS 2194 HAS SOUPS 2194 WITH SCORE 2196.401
AT ITER 1504 NEW BEST:: SOT 10292 SOS 2400 HAS SOPS 2400 HAS SOUS 2193 HAS SOUPS 2193 WITH SCORE 2195.4
AT ITER 1508 NEW BEST:: SOT 10293 SOS 2398 HAS SOPS 2398 HAS SOUS 2191 HAS SOUPS 2191 WITH SCORE 2193.398
AT ITER 1541 NEW BEST:: SOT 10290 SOS 2395 HAS SOPS 2395 HAS SOUS 2188 HAS SOUPS 2188 WITH SCORE 2190.395
AT ITER 1546 NEW BEST:: SOT 10284 SOS 2386 HAS SOPS 2386 HAS SOUS 2181 HAS SOUPS 2181 WITH SCORE 2183.386
AT ITER 1561 NEW BEST:: SOT 10284 SOS 2383 HAS SOPS 2383 HAS SOUS 2181 HAS SOUPS 2181 WITH SCORE 2183.383
AT ITER 1589 NEW BEST:: SOT 10283 SOS 2381 HAS SOPS 2381 HAS SOUS 2180 HAS SOUPS 2180 WITH SCORE 2182.381
AT ITER 1609 NEW BEST:: SOT 10278 SOS 2377 HAS SOPS 2377 HAS SOUS 2176 HAS SOUPS 2176 WITH SCORE 2178.377
AT ITER 1618 NEW BEST:: SOT 10271 SOS 2368 HAS SOPS 2368 HAS SOUS 2167 HAS SOUPS 2167 WITH SCORE 2169.368
AT ITER 1677 NEW BEST:: SOT 10270 SOS 2367 HAS SOPS 2367 HAS SOUS 2165 HAS SOUPS 2165 WITH SCORE 2167.367
AT ITER 1702 NEW BEST:: SOT 10262 SOS 2354 HAS SOPS 2354 HAS SOUS 2162 HAS SOUPS 2162 WITH SCORE 2164.354
AT ITER 1706 NEW BEST:: SOT 10258 SOS 2350 HAS SOPS 2350 HAS SOUS 2158 HAS SOUPS 2158 WITH SCORE 2160.35
AT ITER 1720 NEW BEST:: SOT 10258 SOS 2349 HAS SOPS 2349 HAS SOUS 2157 HAS SOUPS 2157 WITH SCORE 2159.349
AT ITER 1721 NEW BEST:: SOT 10255 SOS 2331 HAS SOPS 2331 HAS SOUS 2150 HAS SOUPS 2150 WITH SCORE 2152.331
AT ITER 1723 NEW BEST:: SOT 10253 SOS 2327 HAS SOPS 2327 HAS SOUS 2146 HAS SOUPS 2146 WITH SCORE 2148.327
AT ITER 1798 NEW BEST:: SOT 10251 SOS 2325 HAS SOPS 2325 HAS SOUS 2142 HAS SOUPS 2142 WITH SCORE 2144.325
AT ITER 1800 NEW BEST:: SOT 10251 SOS 2317 HAS SOPS 2317 HAS SOUS 2142 HAS SOUPS 2142 WITH SCORE 2144.317
AT ITER 1826 NEW BEST:: SOT 10250 SOS 2315 HAS SOPS 2315 HAS SOUS 2140 HAS SOUPS 2140 WITH SCORE 2142.315
AT ITER 1853 NEW BEST:: SOT 10250 SOS 2301 HAS SOPS 2301 HAS SOUS 2140 HAS SOUPS 2140 WITH SCORE 2142.301
AT ITER 1867 NEW BEST:: SOT 10257 SOS 2298 HAS SOPS 2298 HAS SOUS 2139 HAS SOUPS 2139 WITH SCORE 2141.298
AT ITER 1870 NEW BEST:: SOT 10243 SOS 2284 HAS SOPS 2284 HAS SOUS 2123 HAS SOUPS 2123 WITH SCORE 2125.284
AT ITER 1884 NEW BEST:: SOT 10241 SOS 2280 HAS SOPS 2280 HAS SOUS 2120 HAS SOUPS 2120 WITH SCORE 2122.28
AT ITER 1891 NEW BEST:: SOT 10267 SOS 2245 HAS SOPS 2245 HAS SOUS 2116 HAS SOUPS 2116 WITH SCORE 2118.245
AT ITER 1962 NEW BEST:: SOT 10245 SOS 2236 HAS SOPS 2236 HAS SOUS 2108 HAS SOUPS 2108 WITH SCORE 2110.236
AT ITER 1987 NEW BEST:: SOT 10245 SOS 2227 HAS SOPS 2227 HAS SOUS 2099 HAS SOUPS 2099 WITH SCORE 2101.227
AT ITER 1990 NEW BEST:: SOT 10243 SOS 2223 HAS SOPS 2223 HAS SOUS 2097 HAS SOUPS 2097 WITH SCORE 2099.223
AT ITER 2005 NEW BEST:: SOT 10241 SOS 2223 HAS SOPS 2223 HAS SOUS 2095 HAS SOUPS 2095 WITH SCORE 2097.223
AT ITER 2007 NEW BEST:: SOT 10231 SOS 2217 HAS SOPS 2217 HAS SOUS 2089 HAS SOUPS 2089 WITH SCORE 2091.217
AT ITER 2015 NEW BEST:: SOT 10231 SOS 2216 HAS SOPS 2216 HAS SOUS 2088 HAS SOUPS 2088 WITH SCORE 2090.216
AT ITER 2016 NEW BEST:: SOT 10212 SOS 2210 HAS SOPS 2210 HAS SOUS 2069 HAS SOUPS 2069 WITH SCORE 2071.21
AT ITER 2074 NEW BEST:: SOT 10208 SOS 2209 HAS SOPS 2209 HAS SOUS 2069 HAS SOUPS 2069 WITH SCORE 2071.209
AT ITER 2077 NEW BEST:: SOT 10204 SOS 2201 HAS SOPS 2201 HAS SOUS 2060 HAS SOUPS 2060 WITH SCORE 2062.201
AT ITER 2083 NEW BEST:: SOT 10187 SOS 2178 HAS SOPS 2178 HAS SOUS 2037 HAS SOUPS 2037 WITH SCORE 2039.178
AT ITER 2085 NEW BEST:: SOT 10187 SOS 2192 HAS SOPS 2192 HAS SOUS 2031 HAS SOUPS 2031 WITH SCORE 2033.192
AT ITER 2092 NEW BEST:: SOT 10191 SOS 2184 HAS SOPS 2184 HAS SOUS 2031 HAS SOUPS 2031 WITH SCORE 2033.184
AT ITER 2105 NEW BEST:: SOT 10186 SOS 2183 HAS SOPS 2183 HAS SOUS 2025 HAS SOUPS 2025 WITH SCORE 2027.183
AT ITER 2114 NEW BEST:: SOT 10177 SOS 2170 HAS SOPS 2170 HAS SOUS 2021 HAS SOUPS 2021 WITH SCORE 2023.17
AT ITER 2182 NEW BEST:: SOT 10175 SOS 2166 HAS SOPS 2166 HAS SOUS 2017 HAS SOUPS 2017 WITH SCORE 2019.166
AT ITER 2205 NEW BEST:: SOT 10171 SOS 2158 HAS SOPS 2158 HAS SOUS 2013 HAS SOUPS 2013 WITH SCORE 2015.158
AT ITER 2234 NEW BEST:: SOT 10171 SOS 2157 HAS SOPS 2157 HAS SOUS 2012 HAS SOUPS 2012 WITH SCORE 2014.157
AT ITER 2274 NEW BEST:: SOT 10170 SOS 2155 HAS SOPS 2155 HAS SOUS 2010 HAS SOUPS 2010 WITH SCORE 2012.155
AT ITER 2281 NEW BEST:: SOT 10162 SOS 2143 HAS SOPS 2143 HAS SOUS 1998 HAS SOUPS 1998 WITH SCORE 2000.143
AT ITER 2287 NEW BEST:: SOT 10148 SOS 2120 HAS SOPS 2120 HAS SOUS 1975 HAS SOUPS 1975 WITH SCORE 1977.12
AT ITER 2295 NEW BEST:: SOT 10147 SOS 2117 HAS SOPS 2117 HAS SOUS 1972 HAS SOUPS 1972 WITH SCORE 1974.117
AT ITER 2296 NEW BEST:: SOT 10145 SOS 2115 HAS SOPS 2115 HAS SOUS 1970 HAS SOUPS 1970 WITH SCORE 1972.115
AT ITER 2300 NEW BEST:: SOT 10145 SOS 2099 HAS SOPS 2099 HAS SOUS 1945 HAS SOUPS 1945 WITH SCORE 1947.099
AT ITER 2313 NEW BEST:: SOT 10144 SOS 2119 HAS SOPS 2119 HAS SOUS 1943 HAS SOUPS 1943 WITH SCORE 1945.119
AT ITER 2323 NEW BEST:: SOT 10144 SOS 2117 HAS SOPS 2117 HAS SOUS 1943 HAS SOUPS 1943 WITH SCORE 1945.117
AT ITER 2334 NEW BEST:: SOT 10136 SOS 2093 HAS SOPS 2093 HAS SOUS 1927 HAS SOUPS 1927 WITH SCORE 1929.093
AT ITER 2336 NEW BEST:: SOT 10136 SOS 2076 HAS SOPS 2076 HAS SOUS 1927 HAS SOUPS 1927 WITH SCORE 1929.076
AT ITER 2344 NEW BEST:: SOT 10135 SOS 2074 HAS SOPS 2074 HAS SOUS 1926 HAS SOUPS 1926 WITH SCORE 1928.074
AT ITER 2348 NEW BEST:: SOT 10134 SOS 2072 HAS SOPS 2072 HAS SOUS 1925 HAS SOUPS 1925 WITH SCORE 1927.072
AT ITER 2352 NEW BEST:: SOT 10122 SOS 2059 HAS SOPS 2059 HAS SOUS 1912 HAS SOUPS 1912 WITH SCORE 1914.059
AT ITER 2362 NEW BEST:: SOT 10122 SOS 2057 HAS SOPS 2057 HAS SOUS 1910 HAS SOUPS 1910 WITH SCORE 1912.057
AT ITER 2394 NEW BEST:: SOT 10121 SOS 2048 HAS SOPS 2048 HAS SOUS 1910 HAS SOUPS 1910 WITH SCORE 1912.048
AT ITER 2417 NEW BEST:: SOT 10118 SOS 2047 HAS SOPS 2047 HAS SOUS 1909 HAS SOUPS 1909 WITH SCORE 1911.047
AT ITER 2440 NEW BEST:: SOT 10116 SOS 2043 HAS SOPS 2043 HAS SOUS 1905 HAS SOUPS 1905 WITH SCORE 1907.043
AT ITER 2450 NEW BEST:: SOT 10113 SOS 2034 HAS SOPS 2034 HAS SOUS 1901 HAS SOUPS 1901 WITH SCORE 1903.034
AT ITER 2499 NEW BEST:: SOT 10114 SOS 2026 HAS SOPS 2026 HAS SOUS 1897 HAS SOUPS 1897 WITH SCORE 1899.026
AT ITER 2523 NEW BEST:: SOT 10120 SOS 2022 HAS SOPS 2022 HAS SOUS 1893 HAS SOUPS 1893 WITH SCORE 1895.022
AT ITER 2526 NEW BEST:: SOT 10120 SOS 2021 HAS SOPS 2021 HAS SOUS 1892 HAS SOUPS 1892 WITH SCORE 1894.021
AT ITER 2563 NEW BEST:: SOT 10115 SOS 2013 HAS SOPS 2013 HAS SOUS 1884 HAS SOUPS 1884 WITH SCORE 1886.013
AT ITER 2643 NEW BEST:: SOT 10115 SOS 2011 HAS SOPS 2011 HAS SOUS 1882 HAS SOUPS 1882 WITH SCORE 1884.011
AT ITER 2659 NEW BEST:: SOT 10115 SOS 2009 HAS SOPS 2009 HAS SOUS 1880 HAS SOUPS 1880 WITH SCORE 1882.009
AT ITER 2704 NEW BEST:: SOT 10115 SOS 2004 HAS SOPS 2004 HAS SOUS 1875 HAS SOUPS 1875 WITH SCORE 1877.004
AT ITER 2749 NEW BEST:: SOT 10114 SOS 2006 HAS SOPS 2006 HAS SOUS 1874 HAS SOUPS 1874 WITH SCORE 1876.006
AT ITER 2765 NEW BEST:: SOT 10113 SOS 2004 HAS SOPS 2004 HAS SOUS 1872 HAS SOUPS 1872 WITH SCORE 1874.004
AT ITER 2837 NEW BEST:: SOT 10106 SOS 1974 HAS SOPS 1974 HAS SOUS 1856 HAS SOUPS 1856 WITH SCORE 1857.974
AT ITER 2838 NEW BEST:: SOT 10106 SOS 1973 HAS SOPS 1973 HAS SOUS 1856 HAS SOUPS 1856 WITH SCORE 1857.973
AT ITER 2851 NEW BEST:: SOT 10099 SOS 1972 HAS SOPS 1972 HAS SOUS 1855 HAS SOUPS 1855 WITH SCORE 1856.972
AT ITER 2858 NEW BEST:: SOT 10099 SOS 1970 HAS SOPS 1970 HAS SOUS 1853 HAS SOUPS 1853 WITH SCORE 1854.97
AT ITER 2921 NEW BEST:: SOT 10099 SOS 1968 HAS SOPS 1968 HAS SOUS 1851 HAS SOUPS 1851 WITH SCORE 1852.968
AT ITER 3018 NEW BEST:: SOT 10099 SOS 1967 HAS SOPS 1967 HAS SOUS 1850 HAS SOUPS 1850 WITH SCORE 1851.967
AT ITER 3124 NEW BEST:: SOT 10098 SOS 1966 HAS SOPS 1966 HAS SOUS 1849 HAS SOUPS 1849 WITH SCORE 1850.966
AT ITER 3177 NEW BEST:: SOT 10101 SOS 1952 HAS SOPS 1952 HAS SOUS 1845 HAS SOUPS 1845 WITH SCORE 1846.952
AT ITER 3227 NEW BEST:: SOT 10109 SOS 1948 HAS SOPS 1948 HAS SOUS 1838 HAS SOUPS 1838 WITH SCORE 1839.948
AT ITER 3259 NEW BEST:: SOT 10109 SOS 1946 HAS SOPS 1946 HAS SOUS 1836 HAS SOUPS 1836 WITH SCORE 1837.946
AT ITER 3262 NEW BEST:: SOT 10108 SOS 1945 HAS SOPS 1945 HAS SOUS 1835 HAS SOUPS 1835 WITH SCORE 1836.945
AT ITER 3270 NEW BEST:: SOT 10126 SOS 1961 HAS SOPS 1961 HAS SOUS 1832 HAS SOUPS 1832 WITH SCORE 1833.961
AT ITER 3318 NEW BEST:: SOT 10126 SOS 1956 HAS SOPS 1956 HAS SOUS 1827 HAS SOUPS 1827 WITH SCORE 1828.956
AT ITER 3380 NEW BEST:: SOT 10131 SOS 1950 HAS SOPS 1950 HAS SOUS 1821 HAS SOUPS 1821 WITH SCORE 1822.95
AT ITER 3387 NEW BEST:: SOT 10129 SOS 1946 HAS SOPS 1946 HAS SOUS 1818 HAS SOUPS 1818 WITH SCORE 1819.946
AT ITER 3395 NEW BEST:: SOT 10129 SOS 1945 HAS SOPS 1945 HAS SOUS 1817 HAS SOUPS 1817 WITH SCORE 1818.945
AT ITER 3413 NEW BEST:: SOT 10129 SOS 1945 HAS SOPS 1945 HAS SOUS 1812 HAS SOUPS 1812 WITH SCORE 1813.945
AT ITER 3415 NEW BEST:: SOT 10129 SOS 1943 HAS SOPS 1943 HAS SOUS 1810 HAS SOUPS 1810 WITH SCORE 1811.943
AT ITER 3422 NEW BEST:: SOT 10124 SOS 1933 HAS SOPS 1933 HAS SOUS 1800 HAS SOUPS 1800 WITH SCORE 1801.933
AT ITER 3447 NEW BEST:: SOT 10124 SOS 1934 HAS SOPS 1934 HAS SOUS 1799 HAS SOUPS 1799 WITH SCORE 1800.934
AT ITER 3461 NEW BEST:: SOT 10117 SOS 1927 HAS SOPS 1927 HAS SOUS 1792 HAS SOUPS 1792 WITH SCORE 1793.927
AT ITER 3462 NEW BEST:: SOT 10117 SOS 1917 HAS SOPS 1917 HAS SOUS 1787 HAS SOUPS 1787 WITH SCORE 1788.917
AT ITER 3548 NEW BEST:: SOT 10112 SOS 1912 HAS SOPS 1912 HAS SOUS 1782 HAS SOUPS 1782 WITH SCORE 1783.912
AT ITER 3568 NEW BEST:: SOT 10116 SOS 1925 HAS SOPS 1925 HAS SOUS 1781 HAS SOUPS 1781 WITH SCORE 1782.925
AT ITER 3654 NEW BEST:: SOT 10116 SOS 1923 HAS SOPS 1923 HAS SOUS 1779 HAS SOUPS 1779 WITH SCORE 1780.923
AT ITER 3670 NEW BEST:: SOT 10116 SOS 1917 HAS SOPS 1917 HAS SOUS 1777 HAS SOUPS 1777 WITH SCORE 1778.917
AT ITER 3674 NEW BEST:: SOT 10112 SOS 1901 HAS SOPS 1901 HAS SOUS 1771 HAS SOUPS 1771 WITH SCORE 1772.901
AT ITER 3684 NEW BEST:: SOT 10122 SOS 1900 HAS SOPS 1900 HAS SOUS 1770 HAS SOUPS 1770 WITH SCORE 1771.9
AT ITER 3703 NEW BEST:: SOT 10112 SOS 1911 HAS SOPS 1911 HAS SOUS 1769 HAS SOUPS 1769 WITH SCORE 1770.911
AT ITER 3729 NEW BEST:: SOT 10112 SOS 1910 HAS SOPS 1910 HAS SOUS 1768 HAS SOUPS 1768 WITH SCORE 1769.91
AT ITER 3796 NEW BEST:: SOT 10111 SOS 1909 HAS SOPS 1909 HAS SOUS 1767 HAS SOUPS 1767 WITH SCORE 1768.909
AT ITER 3871 NEW BEST:: SOT 10114 SOS 1915 HAS SOPS 1915 HAS SOUS 1766 HAS SOUPS 1766 WITH SCORE 1767.915
AT ITER 3998 NEW BEST:: SOT 10112 SOS 1913 HAS SOPS 1913 HAS SOUS 1764 HAS SOUPS 1764 WITH SCORE 1765.913
AT ITER 4036 NEW BEST:: SOT 10113 SOS 1911 HAS SOPS 1911 HAS SOUS 1762 HAS SOUPS 1762 WITH SCORE 1763.911
AT ITER 4063 NEW BEST:: SOT 10110 SOS 1893 HAS SOPS 1893 HAS SOUS 1759 HAS SOUPS 1759 WITH SCORE 1760.893
AT ITER 4084 NEW BEST:: SOT 10119 SOS 1888 HAS SOPS 1888 HAS SOUS 1758 HAS SOUPS 1758 WITH SCORE 1759.888
AT ITER 4215 NEW BEST:: SOT 10118 SOS 1888 HAS SOPS 1888 HAS SOUS 1757 HAS SOUPS 1757 WITH SCORE 1758.888
AT ITER 4302 NEW BEST:: SOT 10109 SOS 1886 HAS SOPS 1886 HAS SOUS 1747 HAS SOUPS 1747 WITH SCORE 1748.886
AT ITER 4312 NEW BEST:: SOT 10109 SOS 1885 HAS SOPS 1885 HAS SOUS 1746 HAS SOUPS 1746 WITH SCORE 1747.885
AT ITER 4460 NEW BEST:: SOT 10109 SOS 1884 HAS SOPS 1884 HAS SOUS 1745 HAS SOUPS 1745 WITH SCORE 1746.884
AT ITER 4461 NEW BEST:: SOT 10108 SOS 1882 HAS SOPS 1882 HAS SOUS 1743 HAS SOUPS 1743 WITH SCORE 1744.882
AT ITER 4587 NEW BEST:: SOT 10108 SOS 1877 HAS SOPS 1877 HAS SOUS 1738 HAS SOUPS 1738 WITH SCORE 1739.877
AT ITER 4597 NEW BEST:: SOT 10108 SOS 1874 HAS SOPS 1874 HAS SOUS 1738 HAS SOUPS 1738 WITH SCORE 1739.874
AT ITER 4598 NEW BEST:: SOT 10107 SOS 1873 HAS SOPS 1873 HAS SOUS 1737 HAS SOUPS 1737 WITH SCORE 1738.873
AT ITER 4701 NEW BEST:: SOT 10107 SOS 1872 HAS SOPS 1872 HAS SOUS 1737 HAS SOUPS 1737 WITH SCORE 1738.872
AT ITER 4724 NEW BEST:: SOT 10106 SOS 1874 HAS SOPS 1874 HAS SOUS 1735 HAS SOUPS 1735 WITH SCORE 1736.874
AT ITER 4761 NEW BEST:: SOT 10106 SOS 1873 HAS SOPS 1873 HAS SOUS 1735 HAS SOUPS 1735 WITH SCORE 1736.873
AT ITER 4795 NEW BEST:: SOT 10105 SOS 1871 HAS SOPS 1871 HAS SOUS 1733 HAS SOUPS 1733 WITH SCORE 1734.871
AT ITER 4798 NEW BEST:: SOT 10100 SOS 1864 HAS SOPS 1864 HAS SOUS 1726 HAS SOUPS 1726 WITH SCORE 1727.864
AT ITER 4816 NEW BEST:: SOT 10099 SOS 1862 HAS SOPS 1862 HAS SOUS 1724 HAS SOUPS 1724 WITH SCORE 1725.862
AT ITER 4897 NEW BEST:: SOT 10099 SOS 1856 HAS SOPS 1856 HAS SOUS 1724 HAS SOUPS 1724 WITH SCORE 1725.856
AT ITER 5263 NEW BEST:: SOT 10101 SOS 1855 HAS SOPS 1855 HAS SOUS 1723 HAS SOUPS 1723 WITH SCORE 1724.855
AT ITER 5401 NEW BEST:: SOT 10098 SOS 1849 HAS SOPS 1849 HAS SOUS 1720 HAS SOUPS 1720 WITH SCORE 1721.849
AT ITER 5418 NEW BEST:: SOT 10099 SOS 1848 HAS SOPS 1848 HAS SOUS 1719 HAS SOUPS 1719 WITH SCORE 1720.848
AT ITER 5561 NEW BEST:: SOT 10100 SOS 1847 HAS SOPS 1847 HAS SOUS 1719 HAS SOUPS 1719 WITH SCORE 1720.847
AT ITER 5863 NEW BEST:: SOT 10100 SOS 1845 HAS SOPS 1845 HAS SOUS 1717 HAS SOUPS 1717 WITH SCORE 1718.845
AT ITER 6024 NEW BEST:: SOT 10099 SOS 1844 HAS SOPS 1844 HAS SOUS 1716 HAS SOUPS 1716 WITH SCORE 1717.844
AT ITER 6104 NEW BEST:: SOT 10099 SOS 1843 HAS SOPS 1843 HAS SOUS 1715 HAS SOUPS 1715 WITH SCORE 1716.843
AT ITER 6117 NEW BEST:: SOT 10101 SOS 1841 HAS SOPS 1841 HAS SOUS 1715 HAS SOUPS 1715 WITH SCORE 1716.841
AT ITER 6141 NEW BEST:: SOT 10091 SOS 1827 HAS SOPS 1827 HAS SOUS 1711 HAS SOUPS 1711 WITH SCORE 1712.827
AT ITER 6153 NEW BEST:: SOT 10081 SOS 1825 HAS SOPS 1825 HAS SOUS 1709 HAS SOUPS 1709 WITH SCORE 1710.825
AT ITER 6184 NEW BEST:: SOT 10077 SOS 1824 HAS SOPS 1824 HAS SOUS 1708 HAS SOUPS 1708 WITH SCORE 1709.824
AT ITER 6376 NEW BEST:: SOT 10077 SOS 1822 HAS SOPS 1822 HAS SOUS 1706 HAS SOUPS 1706 WITH SCORE 1707.822
AT ITER 6412 NEW BEST:: SOT 10077 SOS 1822 HAS SOPS 1822 HAS SOUS 1705 HAS SOUPS 1705 WITH SCORE 1706.822
AT ITER 6438 NEW BEST:: SOT 10074 SOS 1819 HAS SOPS 1819 HAS SOUS 1702 HAS SOUPS 1702 WITH SCORE 1703.819
AT ITER 6506 NEW BEST:: SOT 10072 SOS 1818 HAS SOPS 1818 HAS SOUS 1701 HAS SOUPS 1701 WITH SCORE 1702.818
AT ITER 6573 NEW BEST:: SOT 10073 SOS 1821 HAS SOPS 1821 HAS SOUS 1700 HAS SOUPS 1700 WITH SCORE 1701.821
AT ITER 6614 NEW BEST:: SOT 10073 SOS 1816 HAS SOPS 1816 HAS SOUS 1694 HAS SOUPS 1694 WITH SCORE 1695.816
AT ITER 6648 NEW BEST:: SOT 10063 SOS 1808 HAS SOPS 1808 HAS SOUS 1686 HAS SOUPS 1686 WITH SCORE 1687.808
AT ITER 7348 NEW BEST:: SOT 10063 SOS 1807 HAS SOPS 1807 HAS SOUS 1686 HAS SOUPS 1686 WITH SCORE 1687.807
AT ITER 7386 NEW BEST:: SOT 10062 SOS 1806 HAS SOPS 1806 HAS SOUS 1686 HAS SOUPS 1686 WITH SCORE 1687.806
AT ITER 7502 NEW BEST:: SOT 10062 SOS 1808 HAS SOPS 1808 HAS SOUS 1683 HAS SOUPS 1683 WITH SCORE 1684.808
AT ITER 7653 NEW BEST:: SOT 10062 SOS 1801 HAS SOPS 1801 HAS SOUS 1682 HAS SOUPS 1682 WITH SCORE 1683.801
AT ITER 7660 NEW BEST:: SOT 10068 SOS 1812 HAS SOPS 1812 HAS SOUS 1681 HAS SOUPS 1681 WITH SCORE 1682.812
AT ITER 7674 NEW BEST:: SOT 10067 SOS 1809 HAS SOPS 1809 HAS SOUS 1678 HAS SOUPS 1678 WITH SCORE 1679.809
AT ITER 7764 NEW BEST:: SOT 10063 SOS 1807 HAS SOPS 1807 HAS SOUS 1676 HAS SOUPS 1676 WITH SCORE 1677.807
AT ITER 7916 NEW BEST:: SOT 10063 SOS 1804 HAS SOPS 1804 HAS SOUS 1676 HAS SOUPS 1676 WITH SCORE 1677.804
AT ITER 7993 NEW BEST:: SOT 10063 SOS 1804 HAS SOPS 1804 HAS SOUS 1675 HAS SOUPS 1675 WITH SCORE 1676.804
AT ITER 8009 NEW BEST:: SOT 10061 SOS 1800 HAS SOPS 1800 HAS SOUS 1671 HAS SOUPS 1671 WITH SCORE 1672.8
AT ITER 8046 NEW BEST:: SOT 10062 SOS 1800 HAS SOPS 1800 HAS SOUS 1670 HAS SOUPS 1670 WITH SCORE 1671.8
AT ITER 8098 NEW BEST:: SOT 10062 SOS 1799 HAS SOPS 1799 HAS SOUS 1669 HAS SOUPS 1669 WITH SCORE 1670.799
AT ITER 8320 NEW BEST:: SOT 10062 SOS 1796 HAS SOPS 1796 HAS SOUS 1666 HAS SOUPS 1666 WITH SCORE 1667.796
AT ITER 8378 NEW BEST:: SOT 10062 SOS 1794 HAS SOPS 1794 HAS SOUS 1664 HAS SOUPS 1664 WITH SCORE 1665.794
AT ITER 8411 NEW BEST:: SOT 10062 SOS 1792 HAS SOPS 1792 HAS SOUS 1662 HAS SOUPS 1662 WITH SCORE 1663.792
AT ITER 8432 NEW BEST:: SOT 10062 SOS 1791 HAS SOPS 1791 HAS SOUS 1661 HAS SOUPS 1661 WITH SCORE 1662.791
AT ITER 8530 NEW BEST:: SOT 10062 SOS 1788 HAS SOPS 1788 HAS SOUS 1661 HAS SOUPS 1661 WITH SCORE 1662.788
AT ITER 8571 NEW BEST:: SOT 10063 SOS 1781 HAS SOPS 1781 HAS SOUS 1659 HAS SOUPS 1659 WITH SCORE 1660.781
AT ITER 8687 NEW BEST:: SOT 10063 SOS 1777 HAS SOPS 1777 HAS SOUS 1659 HAS SOUPS 1659 WITH SCORE 1660.777
AT ITER 8703 NEW BEST:: SOT 10063 SOS 1776 HAS SOPS 1776 HAS SOUS 1658 HAS SOUPS 1658 WITH SCORE 1659.776
AT ITER 8795 NEW BEST:: SOT 10063 SOS 1774 HAS SOPS 1774 HAS SOUS 1658 HAS SOUPS 1658 WITH SCORE 1659.774
AT ITER 8924 NEW BEST:: SOT 10062 SOS 1772 HAS SOPS 1772 HAS SOUS 1656 HAS SOUPS 1656 WITH SCORE 1657.772
AT ITER 9171 NEW BEST:: SOT 10060 SOS 1768 HAS SOPS 1768 HAS SOUS 1652 HAS SOUPS 1652 WITH SCORE 1653.768
AT ITER 9236 NEW BEST:: SOT 10062 SOS 1767 HAS SOPS 1767 HAS SOUS 1652 HAS SOUPS 1652 WITH SCORE 1653.767
AT ITER 9358 NEW BEST:: SOT 10062 SOS 1764 HAS SOPS 1764 HAS SOUS 1651 HAS SOUPS 1651 WITH SCORE 1652.764
AT ITER 9375 NEW BEST:: SOT 10056 SOS 1756 HAS SOPS 1756 HAS SOUS 1643 HAS SOUPS 1643 WITH SCORE 1644.756
AT ITER 9389 NEW BEST:: SOT 10055 SOS 1756 HAS SOPS 1756 HAS SOUS 1642 HAS SOUPS 1642 WITH SCORE 1643.756
AT ITER 9549 NEW BEST:: SOT 10053 SOS 1752 HAS SOPS 1752 HAS SOUS 1639 HAS SOUPS 1639 WITH SCORE 1640.752
AT ITER 9632 NEW BEST:: SOT 10053 SOS 1750 HAS SOPS 1750 HAS SOUS 1639 HAS SOUPS 1639 WITH SCORE 1640.75
AT ITER 9701 NEW BEST:: SOT 10053 SOS 1744 HAS SOPS 1744 HAS SOUS 1636 HAS SOUPS 1636 WITH SCORE 1637.744
AT ITER 9772 NEW BEST:: SOT 10045 SOS 1736 HAS SOPS 1736 HAS SOUS 1628 HAS SOUPS 1628 WITH SCORE 1629.736
AT ITER 9935 NEW BEST:: SOT 10046 SOS 1733 HAS SOPS 1733 HAS SOUS 1625 HAS SOUPS 1625 WITH SCORE 1626.733
AT ITER 9952 NEW BEST:: SOT 10046 SOS 1733 HAS SOPS 1733 HAS SOUS 1620 HAS SOUPS 1620 WITH SCORE 1621.733
STATE_SPACE STATES 3407669456341 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 19 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 37972499236790 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679559719293

--------------------
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:
++ perl -pe 's/.*\.//g'
++ sed s/.jar//
++ 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="ShieldIIPt-PT-002B"
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 ShieldIIPt-PT-002B, 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 r395-oct2-167903718500208"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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