Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r035-tajo-167813688400616.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is CANConstruction-PT-005, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r035-tajo-167813688400616
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 696K
-rw-r--r-- 1 mcc users 11K Feb 25 21:13 CTLCardinality.txt
-rw-r--r-- 1 mcc users 95K Feb 25 21:13 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.4K Feb 25 21:11 CTLFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 25 21:11 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.7K Feb 25 15:39 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:39 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 25 15:39 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 15:39 LTLFireability.xml
-rw-r--r-- 1 mcc users 19K Feb 25 21:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 166K Feb 25 21:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 25 21:13 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 80K Feb 25 21:13 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 15:39 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 15:39 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 167K 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 1678471234168

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=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=CANConstruction-PT-005
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CANConstruction (PT), instance 005
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 112 places, 140 transitions, 400 arcs.
AT ITER 0 NEW BEST:: SOT 10461 SOS 5345 HAS SOPS 5305 HAS SOUS 3909 HAS SOUPS 3869 WITH SCORE 3874.345
AT ITER 5 NEW BEST:: SOT 10471 SOS 5345 HAS SOPS 5305 HAS SOUS 3899 HAS SOUPS 3859 WITH SCORE 3864.345
AT ITER 6 NEW BEST:: SOT 10451 SOS 5256 HAS SOPS 5216 HAS SOUS 3876 HAS SOUPS 3836 WITH SCORE 3841.256
AT ITER 9 NEW BEST:: SOT 10450 SOS 5209 HAS SOPS 5169 HAS SOUS 3874 HAS SOUPS 3834 WITH SCORE 3839.209
AT ITER 11 NEW BEST:: SOT 10339 SOS 5281 HAS SOPS 5164 HAS SOUS 3763 HAS SOUPS 3673 WITH SCORE 3678.281
AT ITER 19 NEW BEST:: SOT 10385 SOS 5302 HAS SOPS 5185 HAS SOUS 3750 HAS SOUPS 3660 WITH SCORE 3665.302
AT ITER 26 NEW BEST:: SOT 10377 SOS 5296 HAS SOPS 5179 HAS SOUS 3735 HAS SOUPS 3645 WITH SCORE 3650.296
AT ITER 28 NEW BEST:: SOT 10361 SOS 5300 HAS SOPS 5183 HAS SOUS 3732 HAS SOUPS 3642 WITH SCORE 3647.3
AT ITER 30 NEW BEST:: SOT 10342 SOS 5224 HAS SOPS 5107 HAS SOUS 3694 HAS SOUPS 3604 WITH SCORE 3609.224
AT ITER 41 NEW BEST:: SOT 10306 SOS 5119 HAS SOPS 5002 HAS SOUS 3680 HAS SOUPS 3590 WITH SCORE 3595.119
AT ITER 54 NEW BEST:: SOT 10272 SOS 5051 HAS SOPS 4934 HAS SOUS 3629 HAS SOUPS 3539 WITH SCORE 3544.051
AT ITER 58 NEW BEST:: SOT 10272 SOS 5032 HAS SOPS 4915 HAS SOUS 3608 HAS SOUPS 3518 WITH SCORE 3523.032
AT ITER 64 NEW BEST:: SOT 10272 SOS 4993 HAS SOPS 4876 HAS SOUS 3594 HAS SOUPS 3504 WITH SCORE 3508.993
AT ITER 68 NEW BEST:: SOT 10246 SOS 4829 HAS SOPS 4712 HAS SOUS 3561 HAS SOUPS 3471 WITH SCORE 3475.829
AT ITER 70 NEW BEST:: SOT 10208 SOS 4727 HAS SOPS 4617 HAS SOUS 3523 HAS SOUPS 3433 WITH SCORE 3437.727
AT ITER 73 NEW BEST:: SOT 10212 SOS 4747 HAS SOPS 4637 HAS SOUS 3518 HAS SOUPS 3428 WITH SCORE 3432.747
AT ITER 81 NEW BEST:: SOT 10207 SOS 4742 HAS SOPS 4632 HAS SOUS 3513 HAS SOUPS 3423 WITH SCORE 3427.742
AT ITER 82 NEW BEST:: SOT 10203 SOS 4733 HAS SOPS 4624 HAS SOUS 3501 HAS SOUPS 3411 WITH SCORE 3415.733
AT ITER 92 NEW BEST:: SOT 10203 SOS 4715 HAS SOPS 4606 HAS SOUS 3497 HAS SOUPS 3407 WITH SCORE 3411.715
AT ITER 96 NEW BEST:: SOT 10175 SOS 4692 HAS SOPS 4578 HAS SOUS 3474 HAS SOUPS 3379 WITH SCORE 3383.692
AT ITER 108 NEW BEST:: SOT 10169 SOS 4667 HAS SOPS 4553 HAS SOUS 3471 HAS SOUPS 3376 WITH SCORE 3380.667
AT ITER 120 NEW BEST:: SOT 10162 SOS 4684 HAS SOPS 4570 HAS SOUS 3469 HAS SOUPS 3374 WITH SCORE 3378.684
AT ITER 123 NEW BEST:: SOT 10161 SOS 4686 HAS SOPS 4569 HAS SOUS 3471 HAS SOUPS 3373 WITH SCORE 3377.686
AT ITER 127 NEW BEST:: SOT 10163 SOS 4677 HAS SOPS 4560 HAS SOUS 3462 HAS SOUPS 3364 WITH SCORE 3368.677
AT ITER 132 NEW BEST:: SOT 10160 SOS 4674 HAS SOPS 4557 HAS SOUS 3461 HAS SOUPS 3363 WITH SCORE 3367.674
AT ITER 139 NEW BEST:: SOT 10096 SOS 4627 HAS SOPS 4470 HAS SOUS 3451 HAS SOUPS 3328 WITH SCORE 3332.627
AT ITER 141 NEW BEST:: SOT 10104 SOS 4588 HAS SOPS 4431 HAS SOUS 3400 HAS SOUPS 3277 WITH SCORE 3281.588
AT ITER 149 NEW BEST:: SOT 10089 SOS 4685 HAS SOPS 4401 HAS SOUS 3406 HAS SOUPS 3246 WITH SCORE 3250.685
AT ITER 152 NEW BEST:: SOT 10056 SOS 4568 HAS SOPS 4368 HAS SOUS 3389 HAS SOUPS 3229 WITH SCORE 3233.568
AT ITER 160 NEW BEST:: SOT 9959 SOS 4492 HAS SOPS 4236 HAS SOUS 3369 HAS SOUPS 3191 WITH SCORE 3195.492
AT ITER 162 NEW BEST:: SOT 9937 SOS 4476 HAS SOPS 4208 HAS SOUS 3335 HAS SOUPS 3157 WITH SCORE 3161.476
AT ITER 165 NEW BEST:: SOT 9937 SOS 4469 HAS SOPS 4191 HAS SOUS 3284 HAS SOUPS 3106 WITH SCORE 3110.469
AT ITER 168 NEW BEST:: SOT 9940 SOS 4456 HAS SOPS 4197 HAS SOUS 3250 HAS SOUPS 3072 WITH SCORE 3076.456
AT ITER 174 NEW BEST:: SOT 9966 SOS 4467 HAS SOPS 4181 HAS SOUS 3143 HAS SOUPS 2965 WITH SCORE 2969.467
AT ITER 183 NEW BEST:: SOT 9965 SOS 4428 HAS SOPS 4114 HAS SOUS 3124 HAS SOUPS 2933 WITH SCORE 2937.428
AT ITER 185 NEW BEST:: SOT 9963 SOS 4433 HAS SOPS 4119 HAS SOUS 3113 HAS SOUPS 2922 WITH SCORE 2926.433
AT ITER 189 NEW BEST:: SOT 9947 SOS 4457 HAS SOPS 4095 HAS SOUS 3105 HAS SOUPS 2906 WITH SCORE 2910.457
AT ITER 191 NEW BEST:: SOT 9946 SOS 4456 HAS SOPS 4094 HAS SOUS 3102 HAS SOUPS 2903 WITH SCORE 2907.456
AT ITER 203 NEW BEST:: SOT 9950 SOS 4480 HAS SOPS 4118 HAS SOUS 3091 HAS SOUPS 2892 WITH SCORE 2896.48
AT ITER 205 NEW BEST:: SOT 9920 SOS 4439 HAS SOPS 4077 HAS SOUS 3065 HAS SOUPS 2866 WITH SCORE 2870.439
AT ITER 213 NEW BEST:: SOT 9913 SOS 4432 HAS SOPS 4070 HAS SOUS 3051 HAS SOUPS 2852 WITH SCORE 2856.432
AT ITER 214 NEW BEST:: SOT 9898 SOS 4381 HAS SOPS 4088 HAS SOUS 3000 HAS SOUPS 2817 WITH SCORE 2821.381
AT ITER 218 NEW BEST:: SOT 9889 SOS 4338 HAS SOPS 4045 HAS SOUS 2984 HAS SOUPS 2801 WITH SCORE 2805.338
AT ITER 226 NEW BEST:: SOT 9889 SOS 4346 HAS SOPS 4053 HAS SOUS 2983 HAS SOUPS 2800 WITH SCORE 2804.346
AT ITER 228 NEW BEST:: SOT 9890 SOS 4314 HAS SOPS 4010 HAS SOUS 2935 HAS SOUPS 2752 WITH SCORE 2756.314
AT ITER 241 NEW BEST:: SOT 9890 SOS 4300 HAS SOPS 3996 HAS SOUS 2935 HAS SOUPS 2752 WITH SCORE 2756.3
AT ITER 242 NEW BEST:: SOT 9886 SOS 4278 HAS SOPS 3974 HAS SOUS 2931 HAS SOUPS 2748 WITH SCORE 2752.278
AT ITER 251 NEW BEST:: SOT 9879 SOS 4243 HAS SOPS 3939 HAS SOUS 2914 HAS SOUPS 2731 WITH SCORE 2735.243
AT ITER 252 NEW BEST:: SOT 9809 SOS 4189 HAS SOPS 3857 HAS SOUS 2848 HAS SOUPS 2653 WITH SCORE 2657.189
AT ITER 255 NEW BEST:: SOT 9801 SOS 4181 HAS SOPS 3840 HAS SOUS 2842 HAS SOUPS 2644 WITH SCORE 2648.181
AT ITER 257 NEW BEST:: SOT 9800 SOS 4178 HAS SOPS 3837 HAS SOUS 2840 HAS SOUPS 2642 WITH SCORE 2646.178
AT ITER 258 NEW BEST:: SOT 9813 SOS 4178 HAS SOPS 3837 HAS SOUS 2832 HAS SOUPS 2634 WITH SCORE 2638.178
AT ITER 268 NEW BEST:: SOT 9812 SOS 4192 HAS SOPS 3851 HAS SOUS 2831 HAS SOUPS 2633 WITH SCORE 2637.192
AT ITER 306 NEW BEST:: SOT 9812 SOS 4185 HAS SOPS 3844 HAS SOUS 2824 HAS SOUPS 2626 WITH SCORE 2630.185
AT ITER 324 NEW BEST:: SOT 9782 SOS 3990 HAS SOPS 3645 HAS SOUS 2757 HAS SOUPS 2559 WITH SCORE 2562.99
AT ITER 332 NEW BEST:: SOT 9763 SOS 3952 HAS SOPS 3607 HAS SOUS 2719 HAS SOUPS 2521 WITH SCORE 2524.952
AT ITER 333 NEW BEST:: SOT 9763 SOS 3954 HAS SOPS 3609 HAS SOUS 2717 HAS SOUPS 2519 WITH SCORE 2522.954
AT ITER 336 NEW BEST:: SOT 9763 SOS 3935 HAS SOPS 3554 HAS SOUS 2702 HAS SOUPS 2504 WITH SCORE 2507.935
AT ITER 347 NEW BEST:: SOT 9743 SOS 3903 HAS SOPS 3524 HAS SOUS 2692 HAS SOUPS 2494 WITH SCORE 2497.903
AT ITER 348 NEW BEST:: SOT 9730 SOS 3980 HAS SOPS 3501 HAS SOUS 2706 HAS SOUPS 2491 WITH SCORE 2494.98
AT ITER 363 NEW BEST:: SOT 9729 SOS 3978 HAS SOPS 3499 HAS SOUS 2704 HAS SOUPS 2489 WITH SCORE 2492.978
AT ITER 403 NEW BEST:: SOT 9717 SOS 3964 HAS SOPS 3481 HAS SOUS 2690 HAS SOUPS 2473 WITH SCORE 2476.964
AT ITER 404 NEW BEST:: SOT 9703 SOS 3936 HAS SOPS 3453 HAS SOUS 2669 HAS SOUPS 2452 WITH SCORE 2455.936
AT ITER 409 NEW BEST:: SOT 9677 SOS 3888 HAS SOPS 3394 HAS SOUS 2621 HAS SOUPS 2404 WITH SCORE 2407.888
AT ITER 412 NEW BEST:: SOT 9662 SOS 3918 HAS SOPS 3343 HAS SOUS 2597 HAS SOUPS 2371 WITH SCORE 2374.918
AT ITER 416 NEW BEST:: SOT 9667 SOS 3904 HAS SOPS 3348 HAS SOUS 2564 HAS SOUPS 2347 WITH SCORE 2350.904
AT ITER 427 NEW BEST:: SOT 9657 SOS 3884 HAS SOPS 3328 HAS SOUS 2561 HAS SOUPS 2344 WITH SCORE 2347.884
AT ITER 434 NEW BEST:: SOT 9697 SOS 3924 HAS SOPS 3362 HAS SOUS 2541 HAS SOUPS 2324 WITH SCORE 2327.924
AT ITER 470 NEW BEST:: SOT 9695 SOS 3920 HAS SOPS 3358 HAS SOUS 2541 HAS SOUPS 2324 WITH SCORE 2327.92
AT ITER 471 NEW BEST:: SOT 9660 SOS 3972 HAS SOPS 3321 HAS SOUS 2549 HAS SOUPS 2305 WITH SCORE 2308.972
AT ITER 475 NEW BEST:: SOT 9660 SOS 3984 HAS SOPS 3339 HAS SOUS 2542 HAS SOUPS 2302 WITH SCORE 2305.984
AT ITER 477 NEW BEST:: SOT 9647 SOS 3954 HAS SOPS 3330 HAS SOUS 2529 HAS SOUPS 2289 WITH SCORE 2292.954
AT ITER 504 NEW BEST:: SOT 9642 SOS 3944 HAS SOPS 3320 HAS SOUS 2519 HAS SOUPS 2279 WITH SCORE 2282.944
AT ITER 520 NEW BEST:: SOT 9637 SOS 3911 HAS SOPS 3287 HAS SOUS 2503 HAS SOUPS 2263 WITH SCORE 2266.911
AT ITER 544 NEW BEST:: SOT 9671 SOS 3928 HAS SOPS 3322 HAS SOUS 2484 HAS SOUPS 2234 WITH SCORE 2237.928
AT ITER 545 NEW BEST:: SOT 9669 SOS 3913 HAS SOPS 3308 HAS SOUS 2466 HAS SOUPS 2226 WITH SCORE 2229.913
AT ITER 548 NEW BEST:: SOT 9667 SOS 3915 HAS SOPS 3310 HAS SOUS 2463 HAS SOUPS 2223 WITH SCORE 2226.915
AT ITER 562 NEW BEST:: SOT 9667 SOS 3909 HAS SOPS 3304 HAS SOUS 2457 HAS SOUPS 2217 WITH SCORE 2220.909
AT ITER 572 NEW BEST:: SOT 9644 SOS 3862 HAS SOPS 3246 HAS SOUS 2411 HAS SOUPS 2171 WITH SCORE 2174.862
AT ITER 582 NEW BEST:: SOT 9642 SOS 3867 HAS SOPS 3249 HAS SOUS 2410 HAS SOUPS 2169 WITH SCORE 2172.867
AT ITER 634 NEW BEST:: SOT 9636 SOS 3865 HAS SOPS 3247 HAS SOUS 2404 HAS SOUPS 2163 WITH SCORE 2166.865
AT ITER 637 NEW BEST:: SOT 9643 SOS 3875 HAS SOPS 3257 HAS SOUS 2400 HAS SOUPS 2159 WITH SCORE 2162.875
AT ITER 645 NEW BEST:: SOT 9660 SOS 3873 HAS SOPS 3241 HAS SOUS 2400 HAS SOUPS 2159 WITH SCORE 2162.873
AT ITER 661 NEW BEST:: SOT 9652 SOS 3863 HAS SOPS 3231 HAS SOUS 2390 HAS SOUPS 2149 WITH SCORE 2152.863
AT ITER 715 NEW BEST:: SOT 9643 SOS 3854 HAS SOPS 3222 HAS SOUS 2372 HAS SOUPS 2131 WITH SCORE 2134.854
AT ITER 742 NEW BEST:: SOT 9625 SOS 3765 HAS SOPS 3133 HAS SOUS 2337 HAS SOUPS 2096 WITH SCORE 2099.765
AT ITER 743 NEW BEST:: SOT 9622 SOS 3786 HAS SOPS 3130 HAS SOUS 2334 HAS SOUPS 2090 WITH SCORE 2093.786
AT ITER 744 NEW BEST:: SOT 9621 SOS 3763 HAS SOPS 3107 HAS SOUS 2332 HAS SOUPS 2088 WITH SCORE 2091.763
AT ITER 749 NEW BEST:: SOT 9624 SOS 3778 HAS SOPS 3110 HAS SOUS 2332 HAS SOUPS 2085 WITH SCORE 2088.778
AT ITER 765 NEW BEST:: SOT 9624 SOS 3779 HAS SOPS 3111 HAS SOUS 2331 HAS SOUPS 2084 WITH SCORE 2087.779
AT ITER 766 NEW BEST:: SOT 9627 SOS 3782 HAS SOPS 3112 HAS SOUS 2328 HAS SOUPS 2081 WITH SCORE 2084.782
AT ITER 778 NEW BEST:: SOT 9625 SOS 3784 HAS SOPS 3114 HAS SOUS 2324 HAS SOUPS 2077 WITH SCORE 2080.784
AT ITER 785 NEW BEST:: SOT 9626 SOS 3783 HAS SOPS 3113 HAS SOUS 2324 HAS SOUPS 2077 WITH SCORE 2080.783
AT ITER 790 NEW BEST:: SOT 9629 SOS 3769 HAS SOPS 3099 HAS SOUS 2317 HAS SOUPS 2070 WITH SCORE 2073.769
AT ITER 819 NEW BEST:: SOT 9623 SOS 3755 HAS SOPS 3085 HAS SOUS 2309 HAS SOUPS 2062 WITH SCORE 2065.755
AT ITER 828 NEW BEST:: SOT 9627 SOS 3759 HAS SOPS 3089 HAS SOUS 2305 HAS SOUPS 2058 WITH SCORE 2061.759
AT ITER 829 NEW BEST:: SOT 9621 SOS 3747 HAS SOPS 3077 HAS SOUS 2293 HAS SOUPS 2046 WITH SCORE 2049.747
AT ITER 836 NEW BEST:: SOT 9618 SOS 3741 HAS SOPS 3071 HAS SOUS 2287 HAS SOUPS 2040 WITH SCORE 2043.741
AT ITER 845 NEW BEST:: SOT 9617 SOS 3739 HAS SOPS 3069 HAS SOUS 2285 HAS SOUPS 2038 WITH SCORE 2041.739
AT ITER 852 NEW BEST:: SOT 9617 SOS 3738 HAS SOPS 3068 HAS SOUS 2284 HAS SOUPS 2037 WITH SCORE 2040.738
AT ITER 855 NEW BEST:: SOT 9608 SOS 3735 HAS SOPS 3065 HAS SOUS 2283 HAS SOUPS 2036 WITH SCORE 2039.735
AT ITER 871 NEW BEST:: SOT 9597 SOS 3703 HAS SOPS 3034 HAS SOUS 2272 HAS SOUPS 2025 WITH SCORE 2028.703
AT ITER 880 NEW BEST:: SOT 9619 SOS 3725 HAS SOPS 3049 HAS SOUS 2271 HAS SOUPS 2024 WITH SCORE 2027.725
AT ITER 881 NEW BEST:: SOT 9620 SOS 3725 HAS SOPS 3049 HAS SOUS 2270 HAS SOUPS 2023 WITH SCORE 2026.725
AT ITER 889 NEW BEST:: SOT 9618 SOS 3720 HAS SOPS 3044 HAS SOUS 2268 HAS SOUPS 2021 WITH SCORE 2024.72
AT ITER 932 NEW BEST:: SOT 9607 SOS 3777 HAS SOPS 3022 HAS SOUS 2280 HAS SOUPS 2020 WITH SCORE 2023.777
AT ITER 955 NEW BEST:: SOT 9622 SOS 3881 HAS SOPS 3021 HAS SOUS 2294 HAS SOUPS 2019 WITH SCORE 2022.881
AT ITER 965 NEW BEST:: SOT 9632 SOS 3773 HAS SOPS 3032 HAS SOUS 2273 HAS SOUPS 2015 WITH SCORE 2018.773
AT ITER 971 NEW BEST:: SOT 9632 SOS 3772 HAS SOPS 3032 HAS SOUS 2270 HAS SOUPS 2012 WITH SCORE 2015.772
AT ITER 988 NEW BEST:: SOT 9628 SOS 3764 HAS SOPS 3024 HAS SOUS 2268 HAS SOUPS 2010 WITH SCORE 2013.764
AT ITER 991 NEW BEST:: SOT 9626 SOS 3762 HAS SOPS 3022 HAS SOUS 2266 HAS SOUPS 2008 WITH SCORE 2011.762
AT ITER 1008 NEW BEST:: SOT 9626 SOS 3750 HAS SOPS 3010 HAS SOUS 2266 HAS SOUPS 2008 WITH SCORE 2011.75
AT ITER 1012 NEW BEST:: SOT 9621 SOS 3745 HAS SOPS 3003 HAS SOUS 2263 HAS SOUPS 2005 WITH SCORE 2008.745
AT ITER 1034 NEW BEST:: SOT 9621 SOS 3684 HAS SOPS 3003 HAS SOUS 2236 HAS SOUPS 1988 WITH SCORE 1991.684
AT ITER 1058 NEW BEST:: SOT 9577 SOS 3645 HAS SOPS 2941 HAS SOUS 2228 HAS SOUPS 1980 WITH SCORE 1983.645
AT ITER 1059 NEW BEST:: SOT 9573 SOS 3641 HAS SOPS 2935 HAS SOUS 2222 HAS SOUPS 1974 WITH SCORE 1977.641
AT ITER 1069 NEW BEST:: SOT 9565 SOS 3627 HAS SOPS 2921 HAS SOUS 2206 HAS SOUPS 1958 WITH SCORE 1961.627
AT ITER 1075 NEW BEST:: SOT 9576 SOS 3625 HAS SOPS 2930 HAS SOUS 2189 HAS SOUPS 1941 WITH SCORE 1944.625
AT ITER 1081 NEW BEST:: SOT 9563 SOS 3606 HAS SOPS 2918 HAS SOUS 2184 HAS SOUPS 1936 WITH SCORE 1939.606
AT ITER 1144 NEW BEST:: SOT 9562 SOS 3604 HAS SOPS 2916 HAS SOUS 2181 HAS SOUPS 1933 WITH SCORE 1936.604
AT ITER 1157 NEW BEST:: SOT 9561 SOS 3639 HAS SOPS 2879 HAS SOUS 2180 HAS SOUPS 1923 WITH SCORE 1926.639
AT ITER 1184 NEW BEST:: SOT 9548 SOS 3662 HAS SOPS 2853 HAS SOUS 2165 HAS SOUPS 1901 WITH SCORE 1904.662
AT ITER 1281 NEW BEST:: SOT 9559 SOS 3665 HAS SOPS 2866 HAS SOUS 2158 HAS SOUPS 1894 WITH SCORE 1897.665
AT ITER 1283 NEW BEST:: SOT 9549 SOS 3642 HAS SOPS 2843 HAS SOUS 2158 HAS SOUPS 1894 WITH SCORE 1897.642
AT ITER 1327 NEW BEST:: SOT 9549 SOS 3642 HAS SOPS 2843 HAS SOUS 2157 HAS SOUPS 1893 WITH SCORE 1896.642
AT ITER 1344 NEW BEST:: SOT 9548 SOS 3644 HAS SOPS 2841 HAS SOUS 2156 HAS SOUPS 1891 WITH SCORE 1894.644
AT ITER 1362 NEW BEST:: SOT 9544 SOS 3640 HAS SOPS 2837 HAS SOUS 2152 HAS SOUPS 1887 WITH SCORE 1890.64
AT ITER 1368 NEW BEST:: SOT 9541 SOS 3634 HAS SOPS 2831 HAS SOUS 2149 HAS SOUPS 1884 WITH SCORE 1887.634
AT ITER 1398 NEW BEST:: SOT 9539 SOS 3632 HAS SOPS 2829 HAS SOUS 2147 HAS SOUPS 1882 WITH SCORE 1885.632
AT ITER 1400 NEW BEST:: SOT 9525 SOS 3607 HAS SOPS 2801 HAS SOUS 2119 HAS SOUPS 1854 WITH SCORE 1857.607
AT ITER 1417 NEW BEST:: SOT 9519 SOS 3605 HAS SOPS 2793 HAS SOUS 2119 HAS SOUPS 1854 WITH SCORE 1857.605
AT ITER 1425 NEW BEST:: SOT 9519 SOS 3585 HAS SOPS 2773 HAS SOUS 2117 HAS SOUPS 1852 WITH SCORE 1855.585
AT ITER 1430 NEW BEST:: SOT 9526 SOS 3648 HAS SOPS 2772 HAS SOUS 2123 HAS SOUPS 1850 WITH SCORE 1853.648
AT ITER 1438 NEW BEST:: SOT 9538 SOS 3691 HAS SOPS 2836 HAS SOUS 2121 HAS SOUPS 1848 WITH SCORE 1851.691
AT ITER 1439 NEW BEST:: SOT 9536 SOS 3689 HAS SOPS 2833 HAS SOUS 2119 HAS SOUPS 1845 WITH SCORE 1848.689
AT ITER 1457 NEW BEST:: SOT 9530 SOS 3677 HAS SOPS 2821 HAS SOUS 2112 HAS SOUPS 1838 WITH SCORE 1841.677
AT ITER 1479 NEW BEST:: SOT 9529 SOS 3676 HAS SOPS 2819 HAS SOUS 2110 HAS SOUPS 1836 WITH SCORE 1839.676
AT ITER 1517 NEW BEST:: SOT 9528 SOS 3675 HAS SOPS 2817 HAS SOUS 2108 HAS SOUPS 1834 WITH SCORE 1837.675
AT ITER 1556 NEW BEST:: SOT 9526 SOS 3671 HAS SOPS 2813 HAS SOUS 2104 HAS SOUPS 1830 WITH SCORE 1833.671
AT ITER 1560 NEW BEST:: SOT 9527 SOS 3672 HAS SOPS 2814 HAS SOUS 2103 HAS SOUPS 1829 WITH SCORE 1832.672
AT ITER 1590 NEW BEST:: SOT 9513 SOS 3658 HAS SOPS 2794 HAS SOUS 2099 HAS SOUPS 1825 WITH SCORE 1828.658
AT ITER 1604 NEW BEST:: SOT 9501 SOS 3646 HAS SOPS 2784 HAS SOUS 2096 HAS SOUPS 1822 WITH SCORE 1825.646
AT ITER 1680 NEW BEST:: SOT 9457 SOS 3806 HAS SOPS 2892 HAS SOUS 2105 HAS SOUPS 1807 WITH SCORE 1810.806
AT ITER 1724 NEW BEST:: SOT 9461 SOS 3686 HAS SOPS 2809 HAS SOUS 2089 HAS SOUPS 1803 WITH SCORE 1806.686
AT ITER 1740 NEW BEST:: SOT 9461 SOS 3698 HAS SOPS 2821 HAS SOUS 2085 HAS SOUPS 1799 WITH SCORE 1802.698
AT ITER 1774 NEW BEST:: SOT 9460 SOS 3697 HAS SOPS 2820 HAS SOUS 2084 HAS SOUPS 1798 WITH SCORE 1801.697
AT ITER 1788 NEW BEST:: SOT 9457 SOS 3700 HAS SOPS 2823 HAS SOUS 2078 HAS SOUPS 1792 WITH SCORE 1795.7
AT ITER 1837 NEW BEST:: SOT 9456 SOS 3699 HAS SOPS 2822 HAS SOUS 2074 HAS SOUPS 1788 WITH SCORE 1791.699
AT ITER 1879 NEW BEST:: SOT 9456 SOS 3691 HAS SOPS 2814 HAS SOUS 2074 HAS SOUPS 1788 WITH SCORE 1791.691
AT ITER 1917 NEW BEST:: SOT 9454 SOS 3750 HAS SOPS 2753 HAS SOUS 2088 HAS SOUPS 1786 WITH SCORE 1789.75
AT ITER 1926 NEW BEST:: SOT 9453 SOS 3749 HAS SOPS 2751 HAS SOUS 2086 HAS SOUPS 1784 WITH SCORE 1787.749
AT ITER 1951 NEW BEST:: SOT 9449 SOS 3750 HAS SOPS 2749 HAS SOUS 2084 HAS SOUPS 1782 WITH SCORE 1785.75
AT ITER 2003 NEW BEST:: SOT 9448 SOS 3751 HAS SOPS 2747 HAS SOUS 2082 HAS SOUPS 1780 WITH SCORE 1783.751
AT ITER 2047 NEW BEST:: SOT 9450 SOS 3725 HAS SOPS 2755 HAS SOUS 2078 HAS SOUPS 1780 WITH SCORE 1783.725
AT ITER 2055 NEW BEST:: SOT 9448 SOS 3723 HAS SOPS 2751 HAS SOUS 2074 HAS SOUPS 1776 WITH SCORE 1779.723
AT ITER 2078 NEW BEST:: SOT 9446 SOS 3719 HAS SOPS 2747 HAS SOUS 2070 HAS SOUPS 1772 WITH SCORE 1775.719
AT ITER 2099 NEW BEST:: SOT 9450 SOS 3723 HAS SOPS 2752 HAS SOUS 2069 HAS SOUPS 1771 WITH SCORE 1774.723
AT ITER 2110 NEW BEST:: SOT 9447 SOS 3720 HAS SOPS 2746 HAS SOUS 2063 HAS SOUPS 1765 WITH SCORE 1768.72
AT ITER 2127 NEW BEST:: SOT 9446 SOS 3712 HAS SOPS 2745 HAS SOUS 2059 HAS SOUPS 1762 WITH SCORE 1765.712
AT ITER 2151 NEW BEST:: SOT 9436 SOS 3702 HAS SOPS 2735 HAS SOUS 2049 HAS SOUPS 1752 WITH SCORE 1755.702
AT ITER 2175 NEW BEST:: SOT 9435 SOS 3770 HAS SOPS 2731 HAS SOUS 2054 HAS SOUPS 1748 WITH SCORE 1751.77
AT ITER 2178 NEW BEST:: SOT 9421 SOS 3712 HAS SOPS 2673 HAS SOUS 2029 HAS SOUPS 1723 WITH SCORE 1726.712
AT ITER 2206 NEW BEST:: SOT 9419 SOS 3719 HAS SOPS 2680 HAS SOUS 2025 HAS SOUPS 1719 WITH SCORE 1722.719
AT ITER 2326 NEW BEST:: SOT 9416 SOS 3716 HAS SOPS 2674 HAS SOUS 2019 HAS SOUPS 1713 WITH SCORE 1716.716
AT ITER 2378 NEW BEST:: SOT 9419 SOS 3691 HAS SOPS 2649 HAS SOUS 2012 HAS SOUPS 1706 WITH SCORE 1709.691
AT ITER 2379 NEW BEST:: SOT 9416 SOS 3685 HAS SOPS 2643 HAS SOUS 2006 HAS SOUPS 1700 WITH SCORE 1703.685
AT ITER 2388 NEW BEST:: SOT 9415 SOS 3680 HAS SOPS 2638 HAS SOUS 2003 HAS SOUPS 1697 WITH SCORE 1700.68
AT ITER 2422 NEW BEST:: SOT 9404 SOS 3597 HAS SOPS 2555 HAS SOUS 1992 HAS SOUPS 1686 WITH SCORE 1689.597
AT ITER 2441 NEW BEST:: SOT 9410 SOS 3608 HAS SOPS 2560 HAS SOUS 1990 HAS SOUPS 1684 WITH SCORE 1687.608
AT ITER 2455 NEW BEST:: SOT 9395 SOS 3612 HAS SOPS 2564 HAS SOUS 1980 HAS SOUPS 1674 WITH SCORE 1677.612
AT ITER 2461 NEW BEST:: SOT 9400 SOS 3619 HAS SOPS 2569 HAS SOUS 1979 HAS SOUPS 1673 WITH SCORE 1676.619
AT ITER 2462 NEW BEST:: SOT 9398 SOS 3617 HAS SOPS 2567 HAS SOUS 1977 HAS SOUPS 1671 WITH SCORE 1674.617
AT ITER 2482 NEW BEST:: SOT 9396 SOS 3615 HAS SOPS 2564 HAS SOUS 1976 HAS SOUPS 1670 WITH SCORE 1673.615
AT ITER 2498 NEW BEST:: SOT 9395 SOS 3614 HAS SOPS 2562 HAS SOUS 1974 HAS SOUPS 1668 WITH SCORE 1671.614
AT ITER 2501 NEW BEST:: SOT 9396 SOS 3603 HAS SOPS 2551 HAS SOUS 1970 HAS SOUPS 1664 WITH SCORE 1667.603
AT ITER 2518 NEW BEST:: SOT 9390 SOS 3597 HAS SOPS 2545 HAS SOUS 1960 HAS SOUPS 1654 WITH SCORE 1657.597
AT ITER 2572 NEW BEST:: SOT 9387 SOS 3594 HAS SOPS 2539 HAS SOUS 1954 HAS SOUPS 1648 WITH SCORE 1651.594
AT ITER 2605 NEW BEST:: SOT 9387 SOS 3591 HAS SOPS 2536 HAS SOUS 1951 HAS SOUPS 1645 WITH SCORE 1648.591
AT ITER 2655 NEW BEST:: SOT 9387 SOS 3590 HAS SOPS 2535 HAS SOUS 1951 HAS SOUPS 1645 WITH SCORE 1648.59
AT ITER 2666 NEW BEST:: SOT 9387 SOS 3586 HAS SOPS 2531 HAS SOUS 1951 HAS SOUPS 1645 WITH SCORE 1648.586
AT ITER 2688 NEW BEST:: SOT 9387 SOS 3585 HAS SOPS 2530 HAS SOUS 1950 HAS SOUPS 1644 WITH SCORE 1647.585
AT ITER 2715 NEW BEST:: SOT 9384 SOS 3582 HAS SOPS 2524 HAS SOUS 1944 HAS SOUPS 1638 WITH SCORE 1641.582
AT ITER 2726 NEW BEST:: SOT 9379 SOS 3578 HAS SOPS 2520 HAS SOUS 1938 HAS SOUPS 1632 WITH SCORE 1635.578
AT ITER 2756 NEW BEST:: SOT 9378 SOS 3562 HAS SOPS 2521 HAS SOUS 1936 HAS SOUPS 1632 WITH SCORE 1635.562
AT ITER 2832 NEW BEST:: SOT 9377 SOS 3554 HAS SOPS 2521 HAS SOUS 1935 HAS SOUPS 1632 WITH SCORE 1635.554
AT ITER 2845 NEW BEST:: SOT 9376 SOS 3559 HAS SOPS 2526 HAS SOUS 1934 HAS SOUPS 1631 WITH SCORE 1634.559
AT ITER 2868 NEW BEST:: SOT 9374 SOS 3561 HAS SOPS 2528 HAS SOUS 1932 HAS SOUPS 1629 WITH SCORE 1632.561
AT ITER 2974 NEW BEST:: SOT 9374 SOS 3552 HAS SOPS 2519 HAS SOUS 1932 HAS SOUPS 1629 WITH SCORE 1632.552
AT ITER 2975 NEW BEST:: SOT 9373 SOS 3552 HAS SOPS 2519 HAS SOUS 1930 HAS SOUPS 1627 WITH SCORE 1630.552
AT ITER 3048 NEW BEST:: SOT 9371 SOS 3548 HAS SOPS 2515 HAS SOUS 1926 HAS SOUPS 1623 WITH SCORE 1626.548
AT ITER 3070 NEW BEST:: SOT 9376 SOS 3558 HAS SOPS 2525 HAS SOUS 1925 HAS SOUPS 1622 WITH SCORE 1625.558
AT ITER 3090 NEW BEST:: SOT 9375 SOS 3556 HAS SOPS 2523 HAS SOUS 1923 HAS SOUPS 1620 WITH SCORE 1623.556
AT ITER 3119 NEW BEST:: SOT 9376 SOS 3554 HAS SOPS 2521 HAS SOUS 1922 HAS SOUPS 1619 WITH SCORE 1622.554
AT ITER 3163 NEW BEST:: SOT 9374 SOS 3587 HAS SOPS 2512 HAS SOUS 1920 HAS SOUPS 1610 WITH SCORE 1613.587
AT ITER 3192 NEW BEST:: SOT 9375 SOS 3582 HAS SOPS 2507 HAS SOUS 1914 HAS SOUPS 1604 WITH SCORE 1607.582
AT ITER 3320 NEW BEST:: SOT 9378 SOS 3585 HAS SOPS 2510 HAS SOUS 1908 HAS SOUPS 1598 WITH SCORE 1601.585
AT ITER 3341 NEW BEST:: SOT 9378 SOS 3582 HAS SOPS 2510 HAS SOUS 1908 HAS SOUPS 1598 WITH SCORE 1601.582
AT ITER 3377 NEW BEST:: SOT 9377 SOS 3583 HAS SOPS 2511 HAS SOUS 1907 HAS SOUPS 1597 WITH SCORE 1600.583
AT ITER 3390 NEW BEST:: SOT 9369 SOS 3635 HAS SOPS 2493 HAS SOUS 1910 HAS SOUPS 1590 WITH SCORE 1593.635
AT ITER 3569 NEW BEST:: SOT 9369 SOS 3633 HAS SOPS 2451 HAS SOUS 1910 HAS SOUPS 1590 WITH SCORE 1593.633
AT ITER 3571 NEW BEST:: SOT 9370 SOS 3634 HAS SOPS 2447 HAS SOUS 1906 HAS SOUPS 1586 WITH SCORE 1589.634
AT ITER 3583 NEW BEST:: SOT 9369 SOS 3633 HAS SOPS 2445 HAS SOUS 1904 HAS SOUPS 1584 WITH SCORE 1587.633
AT ITER 3596 NEW BEST:: SOT 9370 SOS 3634 HAS SOPS 2441 HAS SOUS 1900 HAS SOUPS 1580 WITH SCORE 1583.634
AT ITER 3662 NEW BEST:: SOT 9366 SOS 3613 HAS SOPS 2420 HAS SOUS 1898 HAS SOUPS 1578 WITH SCORE 1581.613
AT ITER 3711 NEW BEST:: SOT 9368 SOS 3614 HAS SOPS 2418 HAS SOUS 1896 HAS SOUPS 1576 WITH SCORE 1579.614
AT ITER 3757 NEW BEST:: SOT 9357 SOS 3722 HAS SOPS 2504 HAS SOUS 1901 HAS SOUPS 1570 WITH SCORE 1573.722
AT ITER 3818 NEW BEST:: SOT 9357 SOS 3721 HAS SOPS 2503 HAS SOUS 1900 HAS SOUPS 1569 WITH SCORE 1572.721
AT ITER 3824 NEW BEST:: SOT 9357 SOS 3716 HAS SOPS 2498 HAS SOUS 1900 HAS SOUPS 1569 WITH SCORE 1572.716
AT ITER 3877 NEW BEST:: SOT 9355 SOS 3715 HAS SOPS 2497 HAS SOUS 1896 HAS SOUPS 1565 WITH SCORE 1568.715
AT ITER 3924 NEW BEST:: SOT 9355 SOS 3710 HAS SOPS 2492 HAS SOUS 1893 HAS SOUPS 1562 WITH SCORE 1565.71
AT ITER 3993 NEW BEST:: SOT 9354 SOS 3709 HAS SOPS 2490 HAS SOUS 1891 HAS SOUPS 1560 WITH SCORE 1563.709
AT ITER 4030 NEW BEST:: SOT 9354 SOS 3705 HAS SOPS 2487 HAS SOUS 1891 HAS SOUPS 1560 WITH SCORE 1563.705
AT ITER 4048 NEW BEST:: SOT 9354 SOS 3703 HAS SOPS 2485 HAS SOUS 1890 HAS SOUPS 1559 WITH SCORE 1562.703
AT ITER 4066 NEW BEST:: SOT 9358 SOS 3707 HAS SOPS 2481 HAS SOUS 1886 HAS SOUPS 1555 WITH SCORE 1558.707
AT ITER 4123 NEW BEST:: SOT 9353 SOS 3685 HAS SOPS 2459 HAS SOUS 1882 HAS SOUPS 1551 WITH SCORE 1554.685
AT ITER 4130 NEW BEST:: SOT 9353 SOS 3682 HAS SOPS 2456 HAS SOUS 1882 HAS SOUPS 1551 WITH SCORE 1554.682
AT ITER 4132 NEW BEST:: SOT 9350 SOS 3679 HAS SOPS 2453 HAS SOUS 1884 HAS SOUPS 1550 WITH SCORE 1553.679
AT ITER 4289 NEW BEST:: SOT 9350 SOS 3655 HAS SOPS 2457 HAS SOUS 1878 HAS SOUPS 1548 WITH SCORE 1551.655
AT ITER 4342 NEW BEST:: SOT 9349 SOS 3692 HAS SOPS 2494 HAS SOUS 1876 HAS SOUPS 1546 WITH SCORE 1549.692
AT ITER 4345 NEW BEST:: SOT 9348 SOS 3690 HAS SOPS 2492 HAS SOUS 1874 HAS SOUPS 1544 WITH SCORE 1547.69
AT ITER 4353 NEW BEST:: SOT 9342 SOS 3681 HAS SOPS 2483 HAS SOUS 1871 HAS SOUPS 1541 WITH SCORE 1544.681
AT ITER 4379 NEW BEST:: SOT 9340 SOS 3676 HAS SOPS 2476 HAS SOUS 1867 HAS SOUPS 1537 WITH SCORE 1540.676
AT ITER 4414 NEW BEST:: SOT 9340 SOS 3679 HAS SOPS 2478 HAS SOUS 1866 HAS SOUPS 1536 WITH SCORE 1539.679
AT ITER 4467 NEW BEST:: SOT 9342 SOS 3683 HAS SOPS 2480 HAS SOUS 1864 HAS SOUPS 1534 WITH SCORE 1537.683
AT ITER 4607 NEW BEST:: SOT 9325 SOS 3666 HAS SOPS 2461 HAS SOUS 1859 HAS SOUPS 1531 WITH SCORE 1534.666
AT ITER 4647 NEW BEST:: SOT 9323 SOS 3664 HAS SOPS 2455 HAS SOUS 1855 HAS SOUPS 1527 WITH SCORE 1530.664
AT ITER 4656 NEW BEST:: SOT 9321 SOS 3666 HAS SOPS 2457 HAS SOUS 1854 HAS SOUPS 1526 WITH SCORE 1529.666
AT ITER 4700 NEW BEST:: SOT 9319 SOS 3664 HAS SOPS 2454 HAS SOUS 1854 HAS SOUPS 1525 WITH SCORE 1528.664
AT ITER 4707 NEW BEST:: SOT 9317 SOS 3674 HAS SOPS 2464 HAS SOUS 1853 HAS SOUPS 1524 WITH SCORE 1527.674
AT ITER 4757 NEW BEST:: SOT 9316 SOS 3672 HAS SOPS 2462 HAS SOUS 1851 HAS SOUPS 1522 WITH SCORE 1525.672
AT ITER 4823 NEW BEST:: SOT 9317 SOS 3694 HAS SOPS 2460 HAS SOUS 1850 HAS SOUPS 1518 WITH SCORE 1521.694
AT ITER 4825 NEW BEST:: SOT 9318 SOS 3697 HAS SOPS 2460 HAS SOUS 1848 HAS SOUPS 1516 WITH SCORE 1519.697
AT ITER 4895 NEW BEST:: SOT 9317 SOS 3697 HAS SOPS 2460 HAS SOUS 1847 HAS SOUPS 1515 WITH SCORE 1518.697
AT ITER 4954 NEW BEST:: SOT 9317 SOS 3686 HAS SOPS 2451 HAS SOUS 1845 HAS SOUPS 1514 WITH SCORE 1517.686
AT ITER 5071 NEW BEST:: SOT 9311 SOS 3680 HAS SOPS 2442 HAS SOUS 1845 HAS SOUPS 1511 WITH SCORE 1514.68
AT ITER 5103 NEW BEST:: SOT 9311 SOS 3671 HAS SOPS 2433 HAS SOUS 1844 HAS SOUPS 1510 WITH SCORE 1513.671
AT ITER 5134 NEW BEST:: SOT 9310 SOS 3668 HAS SOPS 2431 HAS SOUS 1841 HAS SOUPS 1508 WITH SCORE 1511.668
AT ITER 5220 NEW BEST:: SOT 9302 SOS 3667 HAS SOPS 2430 HAS SOUS 1840 HAS SOUPS 1507 WITH SCORE 1510.667
AT ITER 5247 NEW BEST:: SOT 9303 SOS 3659 HAS SOPS 2424 HAS SOUS 1839 HAS SOUPS 1507 WITH SCORE 1510.659
AT ITER 5248 NEW BEST:: SOT 9302 SOS 3657 HAS SOPS 2422 HAS SOUS 1837 HAS SOUPS 1505 WITH SCORE 1508.657
AT ITER 5252 NEW BEST:: SOT 9300 SOS 3655 HAS SOPS 2421 HAS SOUS 1836 HAS SOUPS 1504 WITH SCORE 1507.655
AT ITER 5260 NEW BEST:: SOT 9300 SOS 3646 HAS SOPS 2412 HAS SOUS 1835 HAS SOUPS 1503 WITH SCORE 1506.646
AT ITER 5268 NEW BEST:: SOT 9302 SOS 3662 HAS SOPS 2412 HAS SOUS 1833 HAS SOUPS 1499 WITH SCORE 1502.662
AT ITER 5269 NEW BEST:: SOT 9301 SOS 3661 HAS SOPS 2412 HAS SOUS 1833 HAS SOUPS 1499 WITH SCORE 1502.661
AT ITER 5281 NEW BEST:: SOT 9309 SOS 3669 HAS SOPS 2419 HAS SOUS 1824 HAS SOUPS 1490 WITH SCORE 1493.669
AT ITER 5369 NEW BEST:: SOT 9308 SOS 3668 HAS SOPS 2417 HAS SOUS 1822 HAS SOUPS 1488 WITH SCORE 1491.668
AT ITER 5451 NEW BEST:: SOT 9307 SOS 3646 HAS SOPS 2395 HAS SOUS 1821 HAS SOUPS 1487 WITH SCORE 1490.646
AT ITER 5475 NEW BEST:: SOT 9307 SOS 3645 HAS SOPS 2394 HAS SOUS 1820 HAS SOUPS 1486 WITH SCORE 1489.645
AT ITER 5548 NEW BEST:: SOT 9310 SOS 3630 HAS SOPS 2379 HAS SOUS 1818 HAS SOUPS 1484 WITH SCORE 1487.63
AT ITER 5579 NEW BEST:: SOT 9310 SOS 3626 HAS SOPS 2382 HAS SOUS 1817 HAS SOUPS 1484 WITH SCORE 1487.626
AT ITER 5597 NEW BEST:: SOT 9311 SOS 3616 HAS SOPS 2372 HAS SOUS 1813 HAS SOUPS 1480 WITH SCORE 1483.616
AT ITER 5679 NEW BEST:: SOT 9308 SOS 3605 HAS SOPS 2362 HAS SOUS 1813 HAS SOUPS 1480 WITH SCORE 1483.605
AT ITER 5688 NEW BEST:: SOT 9307 SOS 3604 HAS SOPS 2361 HAS SOUS 1812 HAS SOUPS 1479 WITH SCORE 1482.604
AT ITER 5704 NEW BEST:: SOT 9309 SOS 3588 HAS SOPS 2387 HAS SOUS 1806 HAS SOUPS 1479 WITH SCORE 1482.588
AT ITER 5724 NEW BEST:: SOT 9306 SOS 3585 HAS SOPS 2383 HAS SOUS 1806 HAS SOUPS 1479 WITH SCORE 1482.585
AT ITER 5801 NEW BEST:: SOT 9306 SOS 3577 HAS SOPS 2375 HAS SOUS 1806 HAS SOUPS 1479 WITH SCORE 1482.577
AT ITER 5911 NEW BEST:: SOT 9302 SOS 3573 HAS SOPS 2371 HAS SOUS 1802 HAS SOUPS 1475 WITH SCORE 1478.573
AT ITER 5967 NEW BEST:: SOT 9303 SOS 3668 HAS SOPS 2290 HAS SOUS 1810 HAS SOUPS 1462 WITH SCORE 1465.668
AT ITER 6399 NEW BEST:: SOT 9304 SOS 3637 HAS SOPS 2291 HAS SOUS 1805 HAS SOUPS 1461 WITH SCORE 1464.637
AT ITER 6458 NEW BEST:: SOT 9303 SOS 3635 HAS SOPS 2289 HAS SOUS 1803 HAS SOUPS 1459 WITH SCORE 1462.635
AT ITER 6560 NEW BEST:: SOT 9302 SOS 3650 HAS SOPS 2304 HAS SOUS 1802 HAS SOUPS 1458 WITH SCORE 1461.65
AT ITER 6808 NEW BEST:: SOT 9302 SOS 3650 HAS SOPS 2302 HAS SOUS 1796 HAS SOUPS 1452 WITH SCORE 1455.65
AT ITER 6900 NEW BEST:: SOT 9302 SOS 3649 HAS SOPS 2301 HAS SOUS 1796 HAS SOUPS 1452 WITH SCORE 1455.649
AT ITER 6971 NEW BEST:: SOT 9300 SOS 3647 HAS SOPS 2297 HAS SOUS 1794 HAS SOUPS 1450 WITH SCORE 1453.647
AT ITER 7294 NEW BEST:: SOT 9300 SOS 3649 HAS SOPS 2299 HAS SOUS 1793 HAS SOUPS 1449 WITH SCORE 1452.649
AT ITER 7350 NEW BEST:: SOT 9300 SOS 3649 HAS SOPS 2299 HAS SOUS 1792 HAS SOUPS 1448 WITH SCORE 1451.649
AT ITER 7409 NEW BEST:: SOT 9311 SOS 3660 HAS SOPS 2309 HAS SOUS 1784 HAS SOUPS 1440 WITH SCORE 1443.66
AT ITER 7416 NEW BEST:: SOT 9301 SOS 3650 HAS SOPS 2299 HAS SOUS 1778 HAS SOUPS 1434 WITH SCORE 1437.65
AT ITER 7446 NEW BEST:: SOT 9300 SOS 3649 HAS SOPS 2297 HAS SOUS 1776 HAS SOUPS 1432 WITH SCORE 1435.649
AT ITER 7481 NEW BEST:: SOT 9299 SOS 3648 HAS SOPS 2296 HAS SOUS 1775 HAS SOUPS 1431 WITH SCORE 1434.648
AT ITER 7598 NEW BEST:: SOT 9296 SOS 3645 HAS SOPS 2292 HAS SOUS 1775 HAS SOUPS 1431 WITH SCORE 1434.645
AT ITER 7639 NEW BEST:: SOT 9293 SOS 3642 HAS SOPS 2292 HAS SOUS 1772 HAS SOUPS 1431 WITH SCORE 1434.642
AT ITER 7702 NEW BEST:: SOT 9293 SOS 3630 HAS SOPS 2280 HAS SOUS 1769 HAS SOUPS 1428 WITH SCORE 1431.63
AT ITER 7736 NEW BEST:: SOT 9293 SOS 3630 HAS SOPS 2277 HAS SOUS 1766 HAS SOUPS 1425 WITH SCORE 1428.63
AT ITER 7740 NEW BEST:: SOT 9293 SOS 3625 HAS SOPS 2272 HAS SOUS 1766 HAS SOUPS 1425 WITH SCORE 1428.625
AT ITER 8136 NEW BEST:: SOT 9290 SOS 3625 HAS SOPS 2272 HAS SOUS 1764 HAS SOUPS 1423 WITH SCORE 1426.625
AT ITER 8209 NEW BEST:: SOT 9288 SOS 3623 HAS SOPS 2268 HAS SOUS 1760 HAS SOUPS 1419 WITH SCORE 1422.623
AT ITER 8253 NEW BEST:: SOT 9290 SOS 3625 HAS SOPS 2260 HAS SOUS 1758 HAS SOUPS 1417 WITH SCORE 1420.625
AT ITER 8363 NEW BEST:: SOT 9290 SOS 3620 HAS SOPS 2255 HAS SOUS 1758 HAS SOUPS 1417 WITH SCORE 1420.62
AT ITER 8584 NEW BEST:: SOT 9289 SOS 3619 HAS SOPS 2253 HAS SOUS 1756 HAS SOUPS 1415 WITH SCORE 1418.619
AT ITER 8629 NEW BEST:: SOT 9290 SOS 3620 HAS SOPS 2253 HAS SOUS 1754 HAS SOUPS 1413 WITH SCORE 1416.62
AT ITER 8666 NEW BEST:: SOT 9291 SOS 3621 HAS SOPS 2254 HAS SOUS 1753 HAS SOUPS 1412 WITH SCORE 1415.621
AT ITER 8834 NEW BEST:: SOT 9290 SOS 3619 HAS SOPS 2252 HAS SOUS 1751 HAS SOUPS 1410 WITH SCORE 1413.619
AT ITER 8926 NEW BEST:: SOT 9286 SOS 3615 HAS SOPS 2248 HAS SOUS 1751 HAS SOUPS 1410 WITH SCORE 1413.615
AT ITER 9302 NEW BEST:: SOT 9289 SOS 3618 HAS SOPS 2251 HAS SOUS 1747 HAS SOUPS 1409 WITH SCORE 1412.618
AT ITER 9323 NEW BEST:: SOT 9285 SOS 3622 HAS SOPS 2255 HAS SOUS 1745 HAS SOUPS 1407 WITH SCORE 1410.622
AT ITER 9400 NEW BEST:: SOT 9283 SOS 3621 HAS SOPS 2254 HAS SOUS 1741 HAS SOUPS 1403 WITH SCORE 1406.621
AT ITER 9478 NEW BEST:: SOT 9283 SOS 3624 HAS SOPS 2256 HAS SOUS 1740 HAS SOUPS 1402 WITH SCORE 1405.624
AT ITER 9677 NEW BEST:: SOT 9275 SOS 3616 HAS SOPS 2245 HAS SOUS 1737 HAS SOUPS 1399 WITH SCORE 1402.616
AT ITER 9737 NEW BEST:: SOT 9274 SOS 3615 HAS SOPS 2243 HAS SOUS 1735 HAS SOUPS 1397 WITH SCORE 1400.615
AT ITER 9841 NEW BEST:: SOT 9273 SOS 3628 HAS SOPS 2242 HAS SOUS 1736 HAS SOUPS 1396 WITH SCORE 1399.628
AT ITER 9885 NEW BEST:: SOT 9271 SOS 3628 HAS SOPS 2242 HAS SOUS 1734 HAS SOUPS 1394 WITH SCORE 1397.628
STATE_SPACE STATES 97527 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 5 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 10 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 406700 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678471238666

--------------------
content from stderr:

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="CANConstruction-PT-005"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
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 smart"
echo " Input is CANConstruction-PT-005, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r035-tajo-167813688400616"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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