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-167903718500248.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-005A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r395-oct2-167903718500248
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 404K
-rw-r--r-- 1 mcc users 7.1K Feb 25 17:10 CTLCardinality.txt
-rw-r--r-- 1 mcc users 81K Feb 25 17:10 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.9K Feb 25 17:04 CTLFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 25 17:04 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K 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 18K Feb 25 16:56 LTLFireability.xml
-rw-r--r-- 1 mcc users 5.9K Feb 25 17:15 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 51K Feb 25 17:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.9K Feb 25 17:13 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 68K Feb 25 17:13 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 27K 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 1679560261788

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-005A
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-23 08:31:04] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-23 08:31:04] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-23 08:31:04] [INFO ] Load time of PNML (sax parser for PT used): 70 ms
[2023-03-23 08:31:04] [INFO ] Transformed 98 places.
[2023-03-23 08:31:04] [INFO ] Transformed 73 transitions.
[2023-03-23 08:31:04] [INFO ] Found NUPN structural information;
[2023-03-23 08:31:04] [INFO ] Parsed PT model containing 98 places and 73 transitions and 306 arcs in 195 ms.
[2023-03-23 08:31:04] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 98 places, 73 transitions and 306 arcs took 4 ms.
Total runtime 250 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldIIPt (PT), instance 005A
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: 98 places, 73 transitions, 306 arcs.
AT ITER 0 NEW BEST:: SOT 5690 SOS 4797 HAS SOPS 4797 HAS SOUS 4185 HAS SOUPS 4185 WITH SCORE 4189.797
AT ITER 1 NEW BEST:: SOT 5685 SOS 4792 HAS SOPS 4792 HAS SOUS 4180 HAS SOUPS 4180 WITH SCORE 4184.792
AT ITER 3 NEW BEST:: SOT 5685 SOS 4750 HAS SOPS 4750 HAS SOUS 4166 HAS SOUPS 4166 WITH SCORE 4170.75
AT ITER 4 NEW BEST:: SOT 5675 SOS 4741 HAS SOPS 4741 HAS SOUS 4157 HAS SOUPS 4157 WITH SCORE 4161.741
AT ITER 5 NEW BEST:: SOT 5675 SOS 4741 HAS SOPS 4741 HAS SOUS 4148 HAS SOUPS 4148 WITH SCORE 4152.741
AT ITER 8 NEW BEST:: SOT 5658 SOS 4730 HAS SOPS 4730 HAS SOUS 4139 HAS SOUPS 4139 WITH SCORE 4143.73
AT ITER 11 NEW BEST:: SOT 5621 SOS 4704 HAS SOPS 4704 HAS SOUS 4095 HAS SOUPS 4095 WITH SCORE 4099.704
AT ITER 12 NEW BEST:: SOT 5621 SOS 4719 HAS SOPS 4719 HAS SOUS 4088 HAS SOUPS 4088 WITH SCORE 4092.719
AT ITER 15 NEW BEST:: SOT 5583 SOS 4681 HAS SOPS 4681 HAS SOUS 4052 HAS SOUPS 4052 WITH SCORE 4056.681
AT ITER 16 NEW BEST:: SOT 5552 SOS 4650 HAS SOPS 4650 HAS SOUS 4021 HAS SOUPS 4021 WITH SCORE 4025.65
AT ITER 17 NEW BEST:: SOT 5545 SOS 4657 HAS SOPS 4657 HAS SOUS 4017 HAS SOUPS 4017 WITH SCORE 4021.657
AT ITER 19 NEW BEST:: SOT 5535 SOS 4590 HAS SOPS 4590 HAS SOUS 3989 HAS SOUPS 3989 WITH SCORE 3993.59
AT ITER 20 NEW BEST:: SOT 5528 SOS 4481 HAS SOPS 4481 HAS SOUS 3943 HAS SOUPS 3943 WITH SCORE 3947.481
AT ITER 21 NEW BEST:: SOT 5527 SOS 4480 HAS SOPS 4480 HAS SOUS 3942 HAS SOUPS 3942 WITH SCORE 3946.48
AT ITER 23 NEW BEST:: SOT 5527 SOS 4359 HAS SOPS 4359 HAS SOUS 3898 HAS SOUPS 3898 WITH SCORE 3902.359
AT ITER 24 NEW BEST:: SOT 5536 SOS 4313 HAS SOPS 4313 HAS SOUS 3847 HAS SOUPS 3847 WITH SCORE 3851.313
AT ITER 30 NEW BEST:: SOT 5536 SOS 4189 HAS SOPS 4189 HAS SOUS 3815 HAS SOUPS 3815 WITH SCORE 3819.189
AT ITER 31 NEW BEST:: SOT 5523 SOS 4176 HAS SOPS 4176 HAS SOUS 3800 HAS SOUPS 3800 WITH SCORE 3804.176
AT ITER 34 NEW BEST:: SOT 5523 SOS 4176 HAS SOPS 4176 HAS SOUS 3796 HAS SOUPS 3796 WITH SCORE 3800.176
AT ITER 35 NEW BEST:: SOT 5497 SOS 4139 HAS SOPS 4139 HAS SOUS 3759 HAS SOUPS 3759 WITH SCORE 3763.139
AT ITER 37 NEW BEST:: SOT 5495 SOS 4137 HAS SOPS 4137 HAS SOUS 3757 HAS SOUPS 3757 WITH SCORE 3761.137
AT ITER 40 NEW BEST:: SOT 5400 SOS 3958 HAS SOPS 3958 HAS SOUS 3639 HAS SOUPS 3639 WITH SCORE 3642.958
AT ITER 41 NEW BEST:: SOT 5400 SOS 3956 HAS SOPS 3956 HAS SOUS 3637 HAS SOUPS 3637 WITH SCORE 3640.956
AT ITER 44 NEW BEST:: SOT 5366 SOS 3920 HAS SOPS 3920 HAS SOUS 3612 HAS SOUPS 3612 WITH SCORE 3615.92
AT ITER 45 NEW BEST:: SOT 5366 SOS 3894 HAS SOPS 3894 HAS SOUS 3612 HAS SOUPS 3612 WITH SCORE 3615.894
AT ITER 48 NEW BEST:: SOT 5349 SOS 3870 HAS SOPS 3870 HAS SOUS 3592 HAS SOUPS 3592 WITH SCORE 3595.87
AT ITER 49 NEW BEST:: SOT 5335 SOS 3814 HAS SOPS 3814 HAS SOUS 3581 HAS SOUPS 3581 WITH SCORE 3584.814
AT ITER 50 NEW BEST:: SOT 5296 SOS 3778 HAS SOPS 3778 HAS SOUS 3515 HAS SOUPS 3515 WITH SCORE 3518.778
AT ITER 51 NEW BEST:: SOT 5273 SOS 3659 HAS SOPS 3659 HAS SOUS 3408 HAS SOUPS 3408 WITH SCORE 3411.659
AT ITER 53 NEW BEST:: SOT 5273 SOS 3659 HAS SOPS 3659 HAS SOUS 3406 HAS SOUPS 3406 WITH SCORE 3409.659
AT ITER 54 NEW BEST:: SOT 5273 SOS 3638 HAS SOPS 3638 HAS SOUS 3402 HAS SOUPS 3402 WITH SCORE 3405.638
AT ITER 57 NEW BEST:: SOT 5273 SOS 3557 HAS SOPS 3557 HAS SOUS 3366 HAS SOUPS 3366 WITH SCORE 3369.557
AT ITER 62 NEW BEST:: SOT 5314 SOS 3543 HAS SOPS 3543 HAS SOUS 3352 HAS SOUPS 3352 WITH SCORE 3355.543
AT ITER 63 NEW BEST:: SOT 5307 SOS 3536 HAS SOPS 3536 HAS SOUS 3345 HAS SOUPS 3345 WITH SCORE 3348.536
AT ITER 64 NEW BEST:: SOT 5307 SOS 3513 HAS SOPS 3513 HAS SOUS 3321 HAS SOUPS 3321 WITH SCORE 3324.513
AT ITER 72 NEW BEST:: SOT 5307 SOS 3517 HAS SOPS 3517 HAS SOUS 3320 HAS SOUPS 3320 WITH SCORE 3323.517
AT ITER 74 NEW BEST:: SOT 5279 SOS 3514 HAS SOPS 3514 HAS SOUS 3317 HAS SOUPS 3317 WITH SCORE 3320.514
AT ITER 75 NEW BEST:: SOT 5279 SOS 3545 HAS SOPS 3545 HAS SOUS 3312 HAS SOUPS 3312 WITH SCORE 3315.545
AT ITER 81 NEW BEST:: SOT 5279 SOS 3529 HAS SOPS 3529 HAS SOUS 3296 HAS SOUPS 3296 WITH SCORE 3299.529
AT ITER 83 NEW BEST:: SOT 5245 SOS 3448 HAS SOPS 3448 HAS SOUS 3203 HAS SOUPS 3203 WITH SCORE 3206.448
AT ITER 85 NEW BEST:: SOT 5245 SOS 3457 HAS SOPS 3457 HAS SOUS 3196 HAS SOUPS 3196 WITH SCORE 3199.457
AT ITER 87 NEW BEST:: SOT 5218 SOS 3422 HAS SOPS 3422 HAS SOUS 3153 HAS SOUPS 3153 WITH SCORE 3156.422
AT ITER 90 NEW BEST:: SOT 5179 SOS 3383 HAS SOPS 3383 HAS SOUS 3114 HAS SOUPS 3114 WITH SCORE 3117.383
AT ITER 94 NEW BEST:: SOT 5173 SOS 3377 HAS SOPS 3377 HAS SOUS 3108 HAS SOUPS 3108 WITH SCORE 3111.377
AT ITER 95 NEW BEST:: SOT 5154 SOS 3358 HAS SOPS 3358 HAS SOUS 3098 HAS SOUPS 3098 WITH SCORE 3101.358
AT ITER 96 NEW BEST:: SOT 5162 SOS 3366 HAS SOPS 3366 HAS SOUS 3092 HAS SOUPS 3092 WITH SCORE 3095.366
AT ITER 104 NEW BEST:: SOT 5111 SOS 3315 HAS SOPS 3315 HAS SOUS 3041 HAS SOUPS 3041 WITH SCORE 3044.315
AT ITER 109 NEW BEST:: SOT 5115 SOS 3255 HAS SOPS 3255 HAS SOUS 3024 HAS SOUPS 3024 WITH SCORE 3027.255
AT ITER 111 NEW BEST:: SOT 5049 SOS 3175 HAS SOPS 3175 HAS SOUS 2944 HAS SOUPS 2944 WITH SCORE 2947.175
AT ITER 112 NEW BEST:: SOT 5015 SOS 3107 HAS SOPS 3107 HAS SOUS 2910 HAS SOUPS 2910 WITH SCORE 2913.107
AT ITER 113 NEW BEST:: SOT 4951 SOS 3151 HAS SOPS 3151 HAS SOUS 2880 HAS SOUPS 2880 WITH SCORE 2883.151
AT ITER 115 NEW BEST:: SOT 4964 SOS 3156 HAS SOPS 3156 HAS SOUS 2875 HAS SOUPS 2875 WITH SCORE 2878.156
AT ITER 118 NEW BEST:: SOT 4941 SOS 3119 HAS SOPS 3119 HAS SOUS 2852 HAS SOUPS 2852 WITH SCORE 2855.119
AT ITER 122 NEW BEST:: SOT 4943 SOS 3099 HAS SOPS 3099 HAS SOUS 2835 HAS SOUPS 2835 WITH SCORE 2838.099
AT ITER 132 NEW BEST:: SOT 4940 SOS 3084 HAS SOPS 3084 HAS SOUS 2826 HAS SOUPS 2826 WITH SCORE 2829.084
AT ITER 137 NEW BEST:: SOT 4922 SOS 3071 HAS SOPS 3071 HAS SOUS 2805 HAS SOUPS 2805 WITH SCORE 2808.071
AT ITER 139 NEW BEST:: SOT 4915 SOS 3062 HAS SOPS 3062 HAS SOUS 2796 HAS SOUPS 2796 WITH SCORE 2799.062
AT ITER 140 NEW BEST:: SOT 4915 SOS 2977 HAS SOPS 2977 HAS SOUS 2711 HAS SOUPS 2711 WITH SCORE 2713.977
AT ITER 150 NEW BEST:: SOT 4892 SOS 2918 HAS SOPS 2918 HAS SOUS 2675 HAS SOUPS 2675 WITH SCORE 2677.918
AT ITER 153 NEW BEST:: SOT 4810 SOS 2836 HAS SOPS 2836 HAS SOUS 2593 HAS SOUPS 2593 WITH SCORE 2595.836
AT ITER 154 NEW BEST:: SOT 4810 SOS 2836 HAS SOPS 2836 HAS SOUS 2591 HAS SOUPS 2591 WITH SCORE 2593.836
AT ITER 155 NEW BEST:: SOT 4798 SOS 2825 HAS SOPS 2825 HAS SOUS 2570 HAS SOUPS 2570 WITH SCORE 2572.825
AT ITER 166 NEW BEST:: SOT 4797 SOS 2804 HAS SOPS 2804 HAS SOUS 2558 HAS SOUPS 2558 WITH SCORE 2560.804
AT ITER 167 NEW BEST:: SOT 4797 SOS 2791 HAS SOPS 2791 HAS SOUS 2558 HAS SOUPS 2558 WITH SCORE 2560.791
AT ITER 184 NEW BEST:: SOT 4782 SOS 2771 HAS SOPS 2771 HAS SOUS 2546 HAS SOUPS 2546 WITH SCORE 2548.771
AT ITER 194 NEW BEST:: SOT 4745 SOS 2719 HAS SOPS 2719 HAS SOUS 2494 HAS SOUPS 2494 WITH SCORE 2496.719
AT ITER 203 NEW BEST:: SOT 4742 SOS 2716 HAS SOPS 2716 HAS SOUS 2491 HAS SOUPS 2491 WITH SCORE 2493.716
AT ITER 216 NEW BEST:: SOT 4739 SOS 2707 HAS SOPS 2707 HAS SOUS 2485 HAS SOUPS 2485 WITH SCORE 2487.707
AT ITER 218 NEW BEST:: SOT 4742 SOS 2706 HAS SOPS 2706 HAS SOUS 2484 HAS SOUPS 2484 WITH SCORE 2486.706
AT ITER 230 NEW BEST:: SOT 4742 SOS 2697 HAS SOPS 2697 HAS SOUS 2475 HAS SOUPS 2475 WITH SCORE 2477.697
AT ITER 243 NEW BEST:: SOT 4740 SOS 2694 HAS SOPS 2694 HAS SOUS 2472 HAS SOUPS 2472 WITH SCORE 2474.694
AT ITER 245 NEW BEST:: SOT 4738 SOS 2689 HAS SOPS 2689 HAS SOUS 2469 HAS SOUPS 2469 WITH SCORE 2471.689
AT ITER 248 NEW BEST:: SOT 4751 SOS 2683 HAS SOPS 2683 HAS SOUS 2462 HAS SOUPS 2462 WITH SCORE 2464.683
AT ITER 250 NEW BEST:: SOT 4746 SOS 2646 HAS SOPS 2646 HAS SOUS 2443 HAS SOUPS 2443 WITH SCORE 2445.646
AT ITER 254 NEW BEST:: SOT 4747 SOS 2647 HAS SOPS 2647 HAS SOUS 2436 HAS SOUPS 2436 WITH SCORE 2438.647
AT ITER 260 NEW BEST:: SOT 4735 SOS 2635 HAS SOPS 2635 HAS SOUS 2430 HAS SOUPS 2430 WITH SCORE 2432.635
AT ITER 263 NEW BEST:: SOT 4737 SOS 2619 HAS SOPS 2619 HAS SOUS 2415 HAS SOUPS 2415 WITH SCORE 2417.619
AT ITER 264 NEW BEST:: SOT 4729 SOS 2607 HAS SOPS 2607 HAS SOUS 2407 HAS SOUPS 2407 WITH SCORE 2409.607
AT ITER 277 NEW BEST:: SOT 4728 SOS 2603 HAS SOPS 2603 HAS SOUS 2405 HAS SOUPS 2405 WITH SCORE 2407.603
AT ITER 289 NEW BEST:: SOT 4725 SOS 2608 HAS SOPS 2608 HAS SOUS 2384 HAS SOUPS 2384 WITH SCORE 2386.608
AT ITER 294 NEW BEST:: SOT 4714 SOS 2586 HAS SOPS 2586 HAS SOUS 2373 HAS SOUPS 2373 WITH SCORE 2375.586
AT ITER 309 NEW BEST:: SOT 4714 SOS 2581 HAS SOPS 2581 HAS SOUS 2373 HAS SOUPS 2373 WITH SCORE 2375.581
AT ITER 311 NEW BEST:: SOT 4699 SOS 2548 HAS SOPS 2548 HAS SOUS 2343 HAS SOUPS 2343 WITH SCORE 2345.548
AT ITER 312 NEW BEST:: SOT 4701 SOS 2526 HAS SOPS 2526 HAS SOUS 2321 HAS SOUPS 2321 WITH SCORE 2323.526
AT ITER 322 NEW BEST:: SOT 4709 SOS 2510 HAS SOPS 2510 HAS SOUS 2309 HAS SOUPS 2309 WITH SCORE 2311.51
AT ITER 330 NEW BEST:: SOT 4695 SOS 2467 HAS SOPS 2467 HAS SOUS 2280 HAS SOUPS 2280 WITH SCORE 2282.467
AT ITER 340 NEW BEST:: SOT 4657 SOS 2392 HAS SOPS 2392 HAS SOUS 2241 HAS SOUPS 2241 WITH SCORE 2243.392
AT ITER 346 NEW BEST:: SOT 4657 SOS 2359 HAS SOPS 2359 HAS SOUS 2238 HAS SOUPS 2238 WITH SCORE 2240.359
AT ITER 358 NEW BEST:: SOT 4657 SOS 2356 HAS SOPS 2356 HAS SOUS 2235 HAS SOUPS 2235 WITH SCORE 2237.356
AT ITER 370 NEW BEST:: SOT 4644 SOS 2342 HAS SOPS 2342 HAS SOUS 2221 HAS SOUPS 2221 WITH SCORE 2223.342
AT ITER 374 NEW BEST:: SOT 4611 SOS 2309 HAS SOPS 2309 HAS SOUS 2188 HAS SOUPS 2188 WITH SCORE 2190.309
AT ITER 378 NEW BEST:: SOT 4599 SOS 2297 HAS SOPS 2297 HAS SOUS 2176 HAS SOUPS 2176 WITH SCORE 2178.297
AT ITER 381 NEW BEST:: SOT 4597 SOS 2293 HAS SOPS 2293 HAS SOUS 2172 HAS SOUPS 2172 WITH SCORE 2174.293
AT ITER 388 NEW BEST:: SOT 4597 SOS 2283 HAS SOPS 2283 HAS SOUS 2167 HAS SOUPS 2167 WITH SCORE 2169.283
AT ITER 412 NEW BEST:: SOT 4596 SOS 2275 HAS SOPS 2275 HAS SOUS 2160 HAS SOUPS 2160 WITH SCORE 2162.275
AT ITER 421 NEW BEST:: SOT 4592 SOS 2271 HAS SOPS 2271 HAS SOUS 2156 HAS SOUPS 2156 WITH SCORE 2158.271
AT ITER 432 NEW BEST:: SOT 4631 SOS 2231 HAS SOPS 2231 HAS SOUS 2150 HAS SOUPS 2150 WITH SCORE 2152.231
AT ITER 435 NEW BEST:: SOT 4611 SOS 2221 HAS SOPS 2221 HAS SOUS 2149 HAS SOUPS 2149 WITH SCORE 2151.221
AT ITER 450 NEW BEST:: SOT 4611 SOS 2219 HAS SOPS 2219 HAS SOUS 2147 HAS SOUPS 2147 WITH SCORE 2149.219
AT ITER 470 NEW BEST:: SOT 4595 SOS 2203 HAS SOPS 2203 HAS SOUS 2139 HAS SOUPS 2139 WITH SCORE 2141.203
AT ITER 477 NEW BEST:: SOT 4594 SOS 2194 HAS SOPS 2194 HAS SOUS 2130 HAS SOUPS 2130 WITH SCORE 2132.194
AT ITER 478 NEW BEST:: SOT 4589 SOS 2177 HAS SOPS 2177 HAS SOUS 2113 HAS SOUPS 2113 WITH SCORE 2115.177
AT ITER 485 NEW BEST:: SOT 4569 SOS 2157 HAS SOPS 2157 HAS SOUS 2093 HAS SOUPS 2093 WITH SCORE 2095.157
AT ITER 500 NEW BEST:: SOT 4566 SOS 2151 HAS SOPS 2151 HAS SOUS 2090 HAS SOUPS 2090 WITH SCORE 2092.151
AT ITER 502 NEW BEST:: SOT 4537 SOS 2128 HAS SOPS 2128 HAS SOUS 2065 HAS SOUPS 2065 WITH SCORE 2067.128
AT ITER 503 NEW BEST:: SOT 4535 SOS 2122 HAS SOPS 2122 HAS SOUS 2059 HAS SOUPS 2059 WITH SCORE 2061.122
AT ITER 530 NEW BEST:: SOT 4519 SOS 2084 HAS SOPS 2084 HAS SOUS 2021 HAS SOUPS 2021 WITH SCORE 2023.084
AT ITER 556 NEW BEST:: SOT 4532 SOS 2079 HAS SOPS 2079 HAS SOUS 2016 HAS SOUPS 2016 WITH SCORE 2018.079
AT ITER 566 NEW BEST:: SOT 4532 SOS 2078 HAS SOPS 2078 HAS SOUS 2013 HAS SOUPS 2013 WITH SCORE 2015.078
AT ITER 575 NEW BEST:: SOT 4530 SOS 2076 HAS SOPS 2076 HAS SOUS 2011 HAS SOUPS 2011 WITH SCORE 2013.076
AT ITER 585 NEW BEST:: SOT 4528 SOS 2072 HAS SOPS 2072 HAS SOUS 2007 HAS SOUPS 2007 WITH SCORE 2009.072
AT ITER 587 NEW BEST:: SOT 4527 SOS 2070 HAS SOPS 2070 HAS SOUS 2005 HAS SOUPS 2005 WITH SCORE 2007.07
AT ITER 610 NEW BEST:: SOT 4518 SOS 2055 HAS SOPS 2055 HAS SOUS 1990 HAS SOUPS 1990 WITH SCORE 1992.055
AT ITER 615 NEW BEST:: SOT 4505 SOS 2042 HAS SOPS 2042 HAS SOUS 1988 HAS SOUPS 1988 WITH SCORE 1990.042
AT ITER 647 NEW BEST:: SOT 4503 SOS 2040 HAS SOPS 2040 HAS SOUS 1986 HAS SOUPS 1986 WITH SCORE 1988.04
AT ITER 649 NEW BEST:: SOT 4503 SOS 2033 HAS SOPS 2033 HAS SOUS 1979 HAS SOUPS 1979 WITH SCORE 1981.033
AT ITER 652 NEW BEST:: SOT 4501 SOS 2031 HAS SOPS 2031 HAS SOUS 1977 HAS SOUPS 1977 WITH SCORE 1979.031
AT ITER 663 NEW BEST:: SOT 4495 SOS 2025 HAS SOPS 2025 HAS SOUS 1973 HAS SOUPS 1973 WITH SCORE 1975.025
AT ITER 676 NEW BEST:: SOT 4495 SOS 2024 HAS SOPS 2024 HAS SOUS 1972 HAS SOUPS 1972 WITH SCORE 1974.024
AT ITER 730 NEW BEST:: SOT 4494 SOS 2004 HAS SOPS 2004 HAS SOUS 1949 HAS SOUPS 1949 WITH SCORE 1951.004
AT ITER 735 NEW BEST:: SOT 4487 SOS 1997 HAS SOPS 1997 HAS SOUS 1949 HAS SOUPS 1949 WITH SCORE 1950.997
AT ITER 743 NEW BEST:: SOT 4485 SOS 1995 HAS SOPS 1995 HAS SOUS 1947 HAS SOUPS 1947 WITH SCORE 1948.995
AT ITER 799 NEW BEST:: SOT 4487 SOS 1997 HAS SOPS 1997 HAS SOUS 1946 HAS SOUPS 1946 WITH SCORE 1947.997
AT ITER 821 NEW BEST:: SOT 4487 SOS 1991 HAS SOPS 1991 HAS SOUS 1937 HAS SOUPS 1937 WITH SCORE 1938.991
AT ITER 857 NEW BEST:: SOT 4482 SOS 1985 HAS SOPS 1985 HAS SOUS 1930 HAS SOUPS 1930 WITH SCORE 1931.985
AT ITER 875 NEW BEST:: SOT 4482 SOS 1984 HAS SOPS 1984 HAS SOUS 1930 HAS SOUPS 1930 WITH SCORE 1931.984
AT ITER 881 NEW BEST:: SOT 4472 SOS 1978 HAS SOPS 1978 HAS SOUS 1926 HAS SOUPS 1926 WITH SCORE 1927.978
AT ITER 915 NEW BEST:: SOT 4466 SOS 1972 HAS SOPS 1972 HAS SOUS 1920 HAS SOUPS 1920 WITH SCORE 1921.972
AT ITER 939 NEW BEST:: SOT 4458 SOS 1970 HAS SOPS 1970 HAS SOUS 1919 HAS SOUPS 1919 WITH SCORE 1920.97
AT ITER 947 NEW BEST:: SOT 4453 SOS 1960 HAS SOPS 1960 HAS SOUS 1909 HAS SOUPS 1909 WITH SCORE 1910.96
AT ITER 962 NEW BEST:: SOT 4452 SOS 1946 HAS SOPS 1946 HAS SOUS 1895 HAS SOUPS 1895 WITH SCORE 1896.946
AT ITER 965 NEW BEST:: SOT 4451 SOS 1945 HAS SOPS 1945 HAS SOUS 1894 HAS SOUPS 1894 WITH SCORE 1895.945
AT ITER 976 NEW BEST:: SOT 4448 SOS 1942 HAS SOPS 1942 HAS SOUS 1890 HAS SOUPS 1890 WITH SCORE 1891.942
AT ITER 1005 NEW BEST:: SOT 4447 SOS 1937 HAS SOPS 1937 HAS SOUS 1885 HAS SOUPS 1885 WITH SCORE 1886.937
AT ITER 1012 NEW BEST:: SOT 4443 SOS 1929 HAS SOPS 1929 HAS SOUS 1877 HAS SOUPS 1877 WITH SCORE 1878.929
AT ITER 1027 NEW BEST:: SOT 4441 SOS 1927 HAS SOPS 1927 HAS SOUS 1875 HAS SOUPS 1875 WITH SCORE 1876.927
AT ITER 1029 NEW BEST:: SOT 4437 SOS 1930 HAS SOPS 1930 HAS SOUS 1874 HAS SOUPS 1874 WITH SCORE 1875.93
AT ITER 1052 NEW BEST:: SOT 4434 SOS 1923 HAS SOPS 1923 HAS SOUS 1867 HAS SOUPS 1867 WITH SCORE 1868.923
AT ITER 1062 NEW BEST:: SOT 4431 SOS 1919 HAS SOPS 1919 HAS SOUS 1863 HAS SOUPS 1863 WITH SCORE 1864.919
AT ITER 1069 NEW BEST:: SOT 4433 SOS 1915 HAS SOPS 1915 HAS SOUS 1863 HAS SOUPS 1863 WITH SCORE 1864.915
AT ITER 1080 NEW BEST:: SOT 4429 SOS 1914 HAS SOPS 1914 HAS SOUS 1862 HAS SOUPS 1862 WITH SCORE 1863.914
AT ITER 1103 NEW BEST:: SOT 4432 SOS 1910 HAS SOPS 1910 HAS SOUS 1856 HAS SOUPS 1856 WITH SCORE 1857.91
AT ITER 1136 NEW BEST:: SOT 4423 SOS 1901 HAS SOPS 1901 HAS SOUS 1847 HAS SOUPS 1847 WITH SCORE 1848.901
AT ITER 1148 NEW BEST:: SOT 4422 SOS 1892 HAS SOPS 1892 HAS SOUS 1838 HAS SOUPS 1838 WITH SCORE 1839.892
AT ITER 1170 NEW BEST:: SOT 4428 SOS 1884 HAS SOPS 1884 HAS SOUS 1834 HAS SOUPS 1834 WITH SCORE 1835.884
AT ITER 1209 NEW BEST:: SOT 4416 SOS 1865 HAS SOPS 1865 HAS SOUS 1822 HAS SOUPS 1822 WITH SCORE 1823.865
AT ITER 1221 NEW BEST:: SOT 4431 SOS 1885 HAS SOPS 1885 HAS SOUS 1817 HAS SOUPS 1817 WITH SCORE 1818.885
AT ITER 1243 NEW BEST:: SOT 4429 SOS 1880 HAS SOPS 1880 HAS SOUS 1812 HAS SOUPS 1812 WITH SCORE 1813.88
AT ITER 1245 NEW BEST:: SOT 4429 SOS 1879 HAS SOPS 1879 HAS SOUS 1811 HAS SOUPS 1811 WITH SCORE 1812.879
AT ITER 1255 NEW BEST:: SOT 4425 SOS 1873 HAS SOPS 1873 HAS SOUS 1805 HAS SOUPS 1805 WITH SCORE 1806.873
AT ITER 1256 NEW BEST:: SOT 4424 SOS 1859 HAS SOPS 1859 HAS SOUS 1791 HAS SOUPS 1791 WITH SCORE 1792.859
AT ITER 1258 NEW BEST:: SOT 4424 SOS 1859 HAS SOPS 1859 HAS SOUS 1789 HAS SOUPS 1789 WITH SCORE 1790.859
AT ITER 1269 NEW BEST:: SOT 4431 SOS 1852 HAS SOPS 1852 HAS SOUS 1786 HAS SOUPS 1786 WITH SCORE 1787.852
AT ITER 1271 NEW BEST:: SOT 4428 SOS 1847 HAS SOPS 1847 HAS SOUS 1781 HAS SOUPS 1781 WITH SCORE 1782.847
AT ITER 1281 NEW BEST:: SOT 4427 SOS 1846 HAS SOPS 1846 HAS SOUS 1780 HAS SOUPS 1780 WITH SCORE 1781.846
AT ITER 1286 NEW BEST:: SOT 4418 SOS 1831 HAS SOPS 1831 HAS SOUS 1766 HAS SOUPS 1766 WITH SCORE 1767.831
AT ITER 1322 NEW BEST:: SOT 4410 SOS 1821 HAS SOPS 1821 HAS SOUS 1756 HAS SOUPS 1756 WITH SCORE 1757.821
AT ITER 1325 NEW BEST:: SOT 4410 SOS 1819 HAS SOPS 1819 HAS SOUS 1754 HAS SOUPS 1754 WITH SCORE 1755.819
AT ITER 1337 NEW BEST:: SOT 4410 SOS 1806 HAS SOPS 1806 HAS SOUS 1754 HAS SOUPS 1754 WITH SCORE 1755.806
AT ITER 1349 NEW BEST:: SOT 4387 SOS 1806 HAS SOPS 1806 HAS SOUS 1751 HAS SOUPS 1751 WITH SCORE 1752.806
AT ITER 1374 NEW BEST:: SOT 4384 SOS 1798 HAS SOPS 1798 HAS SOUS 1742 HAS SOUPS 1742 WITH SCORE 1743.798
AT ITER 1416 NEW BEST:: SOT 4354 SOS 1798 HAS SOPS 1798 HAS SOUS 1729 HAS SOUPS 1729 WITH SCORE 1730.798
AT ITER 1417 NEW BEST:: SOT 4350 SOS 1821 HAS SOPS 1821 HAS SOUS 1725 HAS SOUPS 1725 WITH SCORE 1726.821
AT ITER 1483 NEW BEST:: SOT 4339 SOS 1819 HAS SOPS 1819 HAS SOUS 1725 HAS SOUPS 1725 WITH SCORE 1726.819
AT ITER 1486 NEW BEST:: SOT 4340 SOS 1815 HAS SOPS 1815 HAS SOUS 1723 HAS SOUPS 1723 WITH SCORE 1724.815
AT ITER 1530 NEW BEST:: SOT 4335 SOS 1809 HAS SOPS 1809 HAS SOUS 1717 HAS SOUPS 1717 WITH SCORE 1718.809
AT ITER 1537 NEW BEST:: SOT 4347 SOS 1818 HAS SOPS 1818 HAS SOUS 1716 HAS SOUPS 1716 WITH SCORE 1717.818
AT ITER 1539 NEW BEST:: SOT 4358 SOS 1829 HAS SOPS 1829 HAS SOUS 1711 HAS SOUPS 1711 WITH SCORE 1712.829
AT ITER 1574 NEW BEST:: SOT 4333 SOS 1804 HAS SOPS 1804 HAS SOUS 1686 HAS SOUPS 1686 WITH SCORE 1687.804
AT ITER 1581 NEW BEST:: SOT 4339 SOS 1774 HAS SOPS 1774 HAS SOUS 1675 HAS SOUPS 1675 WITH SCORE 1676.774
AT ITER 1592 NEW BEST:: SOT 4340 SOS 1766 HAS SOPS 1766 HAS SOUS 1672 HAS SOUPS 1672 WITH SCORE 1673.766
AT ITER 1612 NEW BEST:: SOT 4339 SOS 1762 HAS SOPS 1762 HAS SOUS 1667 HAS SOUPS 1667 WITH SCORE 1668.762
AT ITER 1618 NEW BEST:: SOT 4335 SOS 1758 HAS SOPS 1758 HAS SOUS 1661 HAS SOUPS 1661 WITH SCORE 1662.758
AT ITER 1635 NEW BEST:: SOT 4334 SOS 1753 HAS SOPS 1753 HAS SOUS 1656 HAS SOUPS 1656 WITH SCORE 1657.753
AT ITER 1644 NEW BEST:: SOT 4328 SOS 1744 HAS SOPS 1744 HAS SOUS 1650 HAS SOUPS 1650 WITH SCORE 1651.744
AT ITER 1702 NEW BEST:: SOT 4318 SOS 1724 HAS SOPS 1724 HAS SOUS 1640 HAS SOUPS 1640 WITH SCORE 1641.724
AT ITER 1706 NEW BEST:: SOT 4311 SOS 1711 HAS SOPS 1711 HAS SOUS 1627 HAS SOUPS 1627 WITH SCORE 1628.711
AT ITER 1759 NEW BEST:: SOT 4313 SOS 1713 HAS SOPS 1713 HAS SOUS 1623 HAS SOUPS 1623 WITH SCORE 1624.713
AT ITER 1761 NEW BEST:: SOT 4312 SOS 1712 HAS SOPS 1712 HAS SOUS 1622 HAS SOUPS 1622 WITH SCORE 1623.712
AT ITER 1784 NEW BEST:: SOT 4311 SOS 1711 HAS SOPS 1711 HAS SOUS 1621 HAS SOUPS 1621 WITH SCORE 1622.711
AT ITER 1810 NEW BEST:: SOT 4310 SOS 1707 HAS SOPS 1707 HAS SOUS 1619 HAS SOUPS 1619 WITH SCORE 1620.707
AT ITER 1851 NEW BEST:: SOT 4304 SOS 1695 HAS SOPS 1695 HAS SOUS 1607 HAS SOUPS 1607 WITH SCORE 1608.695
AT ITER 1958 NEW BEST:: SOT 4295 SOS 1680 HAS SOPS 1680 HAS SOUS 1596 HAS SOUPS 1596 WITH SCORE 1597.68
AT ITER 1972 NEW BEST:: SOT 4290 SOS 1676 HAS SOPS 1676 HAS SOUS 1590 HAS SOUPS 1590 WITH SCORE 1591.676
AT ITER 1988 NEW BEST:: SOT 4285 SOS 1669 HAS SOPS 1669 HAS SOUS 1589 HAS SOUPS 1589 WITH SCORE 1590.669
AT ITER 1996 NEW BEST:: SOT 4284 SOS 1667 HAS SOPS 1667 HAS SOUS 1587 HAS SOUPS 1587 WITH SCORE 1588.667
AT ITER 2029 NEW BEST:: SOT 4272 SOS 1658 HAS SOPS 1658 HAS SOUS 1578 HAS SOUPS 1578 WITH SCORE 1579.658
AT ITER 2045 NEW BEST:: SOT 4266 SOS 1650 HAS SOPS 1650 HAS SOUS 1574 HAS SOUPS 1574 WITH SCORE 1575.65
AT ITER 2072 NEW BEST:: SOT 4265 SOS 1646 HAS SOPS 1646 HAS SOUS 1570 HAS SOUPS 1570 WITH SCORE 1571.646
AT ITER 2078 NEW BEST:: SOT 4262 SOS 1640 HAS SOPS 1640 HAS SOUS 1564 HAS SOUPS 1564 WITH SCORE 1565.64
AT ITER 2122 NEW BEST:: SOT 4256 SOS 1634 HAS SOPS 1634 HAS SOUS 1553 HAS SOUPS 1553 WITH SCORE 1554.634
AT ITER 2161 NEW BEST:: SOT 4256 SOS 1623 HAS SOPS 1623 HAS SOUS 1548 HAS SOUPS 1548 WITH SCORE 1549.623
AT ITER 2186 NEW BEST:: SOT 4256 SOS 1622 HAS SOPS 1622 HAS SOUS 1548 HAS SOUPS 1548 WITH SCORE 1549.622
AT ITER 2202 NEW BEST:: SOT 4238 SOS 1606 HAS SOPS 1606 HAS SOUS 1531 HAS SOUPS 1531 WITH SCORE 1532.606
AT ITER 2224 NEW BEST:: SOT 4225 SOS 1583 HAS SOPS 1583 HAS SOUS 1515 HAS SOUPS 1515 WITH SCORE 1516.583
AT ITER 2226 NEW BEST:: SOT 4221 SOS 1583 HAS SOPS 1583 HAS SOUS 1510 HAS SOUPS 1510 WITH SCORE 1511.583
AT ITER 2264 NEW BEST:: SOT 4223 SOS 1582 HAS SOPS 1582 HAS SOUS 1509 HAS SOUPS 1509 WITH SCORE 1510.582
AT ITER 2305 NEW BEST:: SOT 4217 SOS 1581 HAS SOPS 1581 HAS SOUS 1508 HAS SOUPS 1508 WITH SCORE 1509.581
AT ITER 2309 NEW BEST:: SOT 4219 SOS 1591 HAS SOPS 1591 HAS SOUS 1506 HAS SOUPS 1506 WITH SCORE 1507.591
AT ITER 2371 NEW BEST:: SOT 4221 SOS 1594 HAS SOPS 1594 HAS SOUS 1505 HAS SOUPS 1505 WITH SCORE 1506.594
AT ITER 2379 NEW BEST:: SOT 4220 SOS 1593 HAS SOPS 1593 HAS SOUS 1504 HAS SOUPS 1504 WITH SCORE 1505.593
AT ITER 2475 NEW BEST:: SOT 4215 SOS 1588 HAS SOPS 1588 HAS SOUS 1498 HAS SOUPS 1498 WITH SCORE 1499.588
AT ITER 2513 NEW BEST:: SOT 4214 SOS 1577 HAS SOPS 1577 HAS SOUS 1496 HAS SOUPS 1496 WITH SCORE 1497.577
AT ITER 2535 NEW BEST:: SOT 4212 SOS 1575 HAS SOPS 1575 HAS SOUS 1495 HAS SOUPS 1495 WITH SCORE 1496.575
AT ITER 2625 NEW BEST:: SOT 4210 SOS 1566 HAS SOPS 1566 HAS SOUS 1490 HAS SOUPS 1490 WITH SCORE 1491.566
AT ITER 2661 NEW BEST:: SOT 4210 SOS 1566 HAS SOPS 1566 HAS SOUS 1485 HAS SOUPS 1485 WITH SCORE 1486.566
AT ITER 2688 NEW BEST:: SOT 4203 SOS 1519 HAS SOPS 1519 HAS SOUS 1459 HAS SOUPS 1459 WITH SCORE 1460.519
AT ITER 2689 NEW BEST:: SOT 4193 SOS 1507 HAS SOPS 1507 HAS SOUS 1447 HAS SOUPS 1447 WITH SCORE 1448.507
AT ITER 2697 NEW BEST:: SOT 4192 SOS 1505 HAS SOPS 1505 HAS SOUS 1445 HAS SOUPS 1445 WITH SCORE 1446.505
AT ITER 2708 NEW BEST:: SOT 4190 SOS 1503 HAS SOPS 1503 HAS SOUS 1445 HAS SOUPS 1445 WITH SCORE 1446.503
AT ITER 2713 NEW BEST:: SOT 4188 SOS 1501 HAS SOPS 1501 HAS SOUS 1441 HAS SOUPS 1441 WITH SCORE 1442.501
AT ITER 2739 NEW BEST:: SOT 4178 SOS 1486 HAS SOPS 1486 HAS SOUS 1426 HAS SOUPS 1426 WITH SCORE 1427.486
AT ITER 2766 NEW BEST:: SOT 4178 SOS 1481 HAS SOPS 1481 HAS SOUS 1426 HAS SOUPS 1426 WITH SCORE 1427.481
AT ITER 2782 NEW BEST:: SOT 4177 SOS 1479 HAS SOPS 1479 HAS SOUS 1424 HAS SOUPS 1424 WITH SCORE 1425.479
AT ITER 2806 NEW BEST:: SOT 4178 SOS 1479 HAS SOPS 1479 HAS SOUS 1414 HAS SOUPS 1414 WITH SCORE 1415.479
AT ITER 2808 NEW BEST:: SOT 4178 SOS 1479 HAS SOPS 1479 HAS SOUS 1408 HAS SOUPS 1408 WITH SCORE 1409.479
AT ITER 2814 NEW BEST:: SOT 4176 SOS 1471 HAS SOPS 1471 HAS SOUS 1403 HAS SOUPS 1403 WITH SCORE 1404.471
AT ITER 2897 NEW BEST:: SOT 4177 SOS 1467 HAS SOPS 1467 HAS SOUS 1398 HAS SOUPS 1398 WITH SCORE 1399.467
AT ITER 2933 NEW BEST:: SOT 4177 SOS 1467 HAS SOPS 1467 HAS SOUS 1397 HAS SOUPS 1397 WITH SCORE 1398.467
AT ITER 2977 NEW BEST:: SOT 4177 SOS 1466 HAS SOPS 1466 HAS SOUS 1396 HAS SOUPS 1396 WITH SCORE 1397.466
AT ITER 2983 NEW BEST:: SOT 4176 SOS 1465 HAS SOPS 1465 HAS SOUS 1395 HAS SOUPS 1395 WITH SCORE 1396.465
AT ITER 2987 NEW BEST:: SOT 4173 SOS 1460 HAS SOPS 1460 HAS SOUS 1392 HAS SOUPS 1392 WITH SCORE 1393.46
AT ITER 3031 NEW BEST:: SOT 4173 SOS 1457 HAS SOPS 1457 HAS SOUS 1391 HAS SOUPS 1391 WITH SCORE 1392.457
AT ITER 3041 NEW BEST:: SOT 4171 SOS 1449 HAS SOPS 1449 HAS SOUS 1387 HAS SOUPS 1387 WITH SCORE 1388.449
AT ITER 3098 NEW BEST:: SOT 4170 SOS 1442 HAS SOPS 1442 HAS SOUS 1383 HAS SOUPS 1383 WITH SCORE 1384.442
AT ITER 3198 NEW BEST:: SOT 4168 SOS 1443 HAS SOPS 1443 HAS SOUS 1382 HAS SOUPS 1382 WITH SCORE 1383.443
AT ITER 3214 NEW BEST:: SOT 4169 SOS 1444 HAS SOPS 1444 HAS SOUS 1380 HAS SOUPS 1380 WITH SCORE 1381.444
AT ITER 3223 NEW BEST:: SOT 4171 SOS 1444 HAS SOPS 1444 HAS SOUS 1377 HAS SOUPS 1377 WITH SCORE 1378.444
AT ITER 3250 NEW BEST:: SOT 4169 SOS 1442 HAS SOPS 1442 HAS SOUS 1375 HAS SOUPS 1375 WITH SCORE 1376.442
AT ITER 3289 NEW BEST:: SOT 4172 SOS 1442 HAS SOPS 1442 HAS SOUS 1374 HAS SOUPS 1374 WITH SCORE 1375.442
AT ITER 3337 NEW BEST:: SOT 4171 SOS 1440 HAS SOPS 1440 HAS SOUS 1374 HAS SOUPS 1374 WITH SCORE 1375.44
AT ITER 3374 NEW BEST:: SOT 4171 SOS 1437 HAS SOPS 1437 HAS SOUS 1373 HAS SOUPS 1373 WITH SCORE 1374.437
AT ITER 3498 NEW BEST:: SOT 4171 SOS 1433 HAS SOPS 1433 HAS SOUS 1369 HAS SOUPS 1369 WITH SCORE 1370.433
AT ITER 3512 NEW BEST:: SOT 4169 SOS 1431 HAS SOPS 1431 HAS SOUS 1369 HAS SOUPS 1369 WITH SCORE 1370.431
AT ITER 3583 NEW BEST:: SOT 4173 SOS 1439 HAS SOPS 1439 HAS SOUS 1366 HAS SOUPS 1366 WITH SCORE 1367.439
AT ITER 3601 NEW BEST:: SOT 4171 SOS 1432 HAS SOPS 1432 HAS SOUS 1362 HAS SOUPS 1362 WITH SCORE 1363.432
AT ITER 3607 NEW BEST:: SOT 4164 SOS 1425 HAS SOPS 1425 HAS SOUS 1362 HAS SOUPS 1362 WITH SCORE 1363.425
AT ITER 3626 NEW BEST:: SOT 4162 SOS 1417 HAS SOPS 1417 HAS SOUS 1358 HAS SOUPS 1358 WITH SCORE 1359.417
AT ITER 3712 NEW BEST:: SOT 4159 SOS 1410 HAS SOPS 1410 HAS SOUS 1353 HAS SOUPS 1353 WITH SCORE 1354.41
AT ITER 3822 NEW BEST:: SOT 4155 SOS 1392 HAS SOPS 1392 HAS SOUS 1339 HAS SOUPS 1339 WITH SCORE 1340.392
AT ITER 3824 NEW BEST:: SOT 4154 SOS 1388 HAS SOPS 1388 HAS SOUS 1336 HAS SOUPS 1336 WITH SCORE 1337.388
AT ITER 3841 NEW BEST:: SOT 4153 SOS 1386 HAS SOPS 1386 HAS SOUS 1334 HAS SOUPS 1334 WITH SCORE 1335.386
AT ITER 3853 NEW BEST:: SOT 4152 SOS 1383 HAS SOPS 1383 HAS SOUS 1332 HAS SOUPS 1332 WITH SCORE 1333.383
AT ITER 3996 NEW BEST:: SOT 4148 SOS 1378 HAS SOPS 1378 HAS SOUS 1330 HAS SOUPS 1330 WITH SCORE 1331.378
AT ITER 4025 NEW BEST:: SOT 4148 SOS 1372 HAS SOPS 1372 HAS SOUS 1327 HAS SOUPS 1327 WITH SCORE 1328.372
AT ITER 4040 NEW BEST:: SOT 4151 SOS 1373 HAS SOPS 1373 HAS SOUS 1323 HAS SOUPS 1323 WITH SCORE 1324.373
AT ITER 4126 NEW BEST:: SOT 4151 SOS 1367 HAS SOPS 1367 HAS SOUS 1319 HAS SOUPS 1319 WITH SCORE 1320.367
AT ITER 4131 NEW BEST:: SOT 4145 SOS 1364 HAS SOPS 1364 HAS SOUS 1316 HAS SOUPS 1316 WITH SCORE 1317.364
AT ITER 4169 NEW BEST:: SOT 4145 SOS 1359 HAS SOPS 1359 HAS SOUS 1316 HAS SOUPS 1316 WITH SCORE 1317.359
AT ITER 4373 NEW BEST:: SOT 4144 SOS 1356 HAS SOPS 1356 HAS SOUS 1313 HAS SOUPS 1313 WITH SCORE 1314.356
AT ITER 4463 NEW BEST:: SOT 4141 SOS 1353 HAS SOPS 1353 HAS SOUS 1310 HAS SOUPS 1310 WITH SCORE 1311.353
AT ITER 4524 NEW BEST:: SOT 4139 SOS 1349 HAS SOPS 1349 HAS SOUS 1308 HAS SOUPS 1308 WITH SCORE 1309.349
AT ITER 4657 NEW BEST:: SOT 4137 SOS 1341 HAS SOPS 1341 HAS SOUS 1304 HAS SOUPS 1304 WITH SCORE 1305.341
AT ITER 4673 NEW BEST:: SOT 4133 SOS 1335 HAS SOPS 1335 HAS SOUS 1300 HAS SOUPS 1300 WITH SCORE 1301.335
AT ITER 4710 NEW BEST:: SOT 4130 SOS 1332 HAS SOPS 1332 HAS SOUS 1299 HAS SOUPS 1299 WITH SCORE 1300.332
AT ITER 4910 NEW BEST:: SOT 4128 SOS 1325 HAS SOPS 1325 HAS SOUS 1294 HAS SOUPS 1294 WITH SCORE 1295.325
AT ITER 5061 NEW BEST:: SOT 4128 SOS 1322 HAS SOPS 1322 HAS SOUS 1292 HAS SOUPS 1292 WITH SCORE 1293.322
AT ITER 5183 NEW BEST:: SOT 4127 SOS 1321 HAS SOPS 1321 HAS SOUS 1291 HAS SOUPS 1291 WITH SCORE 1292.321
AT ITER 5230 NEW BEST:: SOT 4126 SOS 1319 HAS SOPS 1319 HAS SOUS 1289 HAS SOUPS 1289 WITH SCORE 1290.319
AT ITER 5387 NEW BEST:: SOT 4124 SOS 1319 HAS SOPS 1319 HAS SOUS 1286 HAS SOUPS 1286 WITH SCORE 1287.319
AT ITER 5502 NEW BEST:: SOT 4123 SOS 1319 HAS SOPS 1319 HAS SOUS 1283 HAS SOUPS 1283 WITH SCORE 1284.319
AT ITER 5543 NEW BEST:: SOT 4122 SOS 1315 HAS SOPS 1315 HAS SOUS 1281 HAS SOUPS 1281 WITH SCORE 1282.315
AT ITER 5563 NEW BEST:: SOT 4120 SOS 1314 HAS SOPS 1314 HAS SOUS 1280 HAS SOUPS 1280 WITH SCORE 1281.314
AT ITER 5616 NEW BEST:: SOT 4119 SOS 1308 HAS SOPS 1308 HAS SOUS 1276 HAS SOUPS 1276 WITH SCORE 1277.308
AT ITER 5776 NEW BEST:: SOT 4118 SOS 1307 HAS SOPS 1307 HAS SOUS 1273 HAS SOUPS 1273 WITH SCORE 1274.307
AT ITER 5833 NEW BEST:: SOT 4117 SOS 1304 HAS SOPS 1304 HAS SOUS 1270 HAS SOUPS 1270 WITH SCORE 1271.304
AT ITER 5938 NEW BEST:: SOT 4116 SOS 1301 HAS SOPS 1301 HAS SOUS 1267 HAS SOUPS 1267 WITH SCORE 1268.301
AT ITER 5967 NEW BEST:: SOT 4116 SOS 1299 HAS SOPS 1299 HAS SOUS 1266 HAS SOUPS 1266 WITH SCORE 1267.299
AT ITER 5998 NEW BEST:: SOT 4111 SOS 1288 HAS SOPS 1288 HAS SOUS 1257 HAS SOUPS 1257 WITH SCORE 1258.288
AT ITER 6066 NEW BEST:: SOT 4111 SOS 1286 HAS SOPS 1286 HAS SOUS 1256 HAS SOUPS 1256 WITH SCORE 1257.286
AT ITER 6141 NEW BEST:: SOT 4113 SOS 1285 HAS SOPS 1285 HAS SOUS 1255 HAS SOUPS 1255 WITH SCORE 1256.285
AT ITER 6226 NEW BEST:: SOT 4110 SOS 1283 HAS SOPS 1283 HAS SOUS 1253 HAS SOUPS 1253 WITH SCORE 1254.283
AT ITER 6449 NEW BEST:: SOT 4110 SOS 1282 HAS SOPS 1282 HAS SOUS 1253 HAS SOUPS 1253 WITH SCORE 1254.282
AT ITER 6475 NEW BEST:: SOT 4109 SOS 1277 HAS SOPS 1277 HAS SOUS 1248 HAS SOUPS 1248 WITH SCORE 1249.277
AT ITER 6675 NEW BEST:: SOT 4109 SOS 1276 HAS SOPS 1276 HAS SOUS 1247 HAS SOUPS 1247 WITH SCORE 1248.276
AT ITER 6687 NEW BEST:: SOT 4106 SOS 1272 HAS SOPS 1272 HAS SOUS 1243 HAS SOUPS 1243 WITH SCORE 1244.272
AT ITER 7163 NEW BEST:: SOT 4106 SOS 1271 HAS SOPS 1271 HAS SOUS 1242 HAS SOUPS 1242 WITH SCORE 1243.271
AT ITER 7325 NEW BEST:: SOT 4106 SOS 1270 HAS SOPS 1270 HAS SOUS 1241 HAS SOUPS 1241 WITH SCORE 1242.27
AT ITER 8554 NEW BEST:: SOT 4108 SOS 1269 HAS SOPS 1269 HAS SOUS 1238 HAS SOUPS 1238 WITH SCORE 1239.269
AT ITER 8624 NEW BEST:: SOT 4108 SOS 1267 HAS SOPS 1267 HAS SOUS 1236 HAS SOUPS 1236 WITH SCORE 1237.267
AT ITER 8722 NEW BEST:: SOT 4107 SOS 1265 HAS SOPS 1265 HAS SOUS 1234 HAS SOUPS 1234 WITH SCORE 1235.265
AT ITER 8837 NEW BEST:: SOT 4107 SOS 1264 HAS SOPS 1264 HAS SOUS 1233 HAS SOUPS 1233 WITH SCORE 1234.264
AT ITER 8877 NEW BEST:: SOT 4107 SOS 1262 HAS SOPS 1262 HAS SOUS 1231 HAS SOUPS 1231 WITH SCORE 1232.262
AT ITER 8967 NEW BEST:: SOT 4107 SOS 1261 HAS SOPS 1261 HAS SOUS 1230 HAS SOUPS 1230 WITH SCORE 1231.261
AT ITER 8992 NEW BEST:: SOT 4109 SOS 1260 HAS SOPS 1260 HAS SOUS 1229 HAS SOUPS 1229 WITH SCORE 1230.26
AT ITER 8997 NEW BEST:: SOT 4106 SOS 1257 HAS SOPS 1257 HAS SOUS 1226 HAS SOUPS 1226 WITH SCORE 1227.257
AT ITER 9044 NEW BEST:: SOT 4108 SOS 1252 HAS SOPS 1252 HAS SOUS 1224 HAS SOUPS 1224 WITH SCORE 1225.252
AT ITER 9161 NEW BEST:: SOT 4107 SOS 1251 HAS SOPS 1251 HAS SOUS 1223 HAS SOUPS 1223 WITH SCORE 1224.251
AT ITER 9164 NEW BEST:: SOT 4107 SOS 1250 HAS SOPS 1250 HAS SOUS 1222 HAS SOUPS 1222 WITH SCORE 1223.25
AT ITER 9165 NEW BEST:: SOT 4106 SOS 1248 HAS SOPS 1248 HAS SOUS 1220 HAS SOUPS 1220 WITH SCORE 1221.248
AT ITER 9381 NEW BEST:: SOT 4101 SOS 1243 HAS SOPS 1243 HAS SOUS 1215 HAS SOUPS 1215 WITH SCORE 1216.243
AT ITER 9411 NEW BEST:: SOT 4098 SOS 1239 HAS SOPS 1239 HAS SOUS 1211 HAS SOUPS 1211 WITH SCORE 1212.239
AT ITER 9562 NEW BEST:: SOT 4096 SOS 1236 HAS SOPS 1236 HAS SOUS 1208 HAS SOUPS 1208 WITH SCORE 1209.236
AT ITER 9852 NEW BEST:: SOT 4096 SOS 1233 HAS SOPS 1233 HAS SOUS 1205 HAS SOUPS 1205 WITH SCORE 1206.233
STATE_SPACE STATES 214748364800001 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 46 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 4456028569600001 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679560267782

--------------------
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="ShieldIIPt-PT-005A"
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-005A, 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-167903718500248"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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