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.r483-tall-167912695500304.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is Sudoku-PT-BN04, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r483-tall-167912695500304
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.3M
-rw-r--r-- 1 mcc users 40K Feb 26 09:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 230K Feb 26 09:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 104K Feb 26 09:33 CTLFireability.txt
-rw-r--r-- 1 mcc users 488K Feb 26 09:33 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 18K Feb 25 17:17 LTLCardinality.txt
-rw-r--r-- 1 mcc users 73K Feb 25 17:17 LTLCardinality.xml
-rw-r--r-- 1 mcc users 31K Feb 25 17:17 LTLFireability.txt
-rw-r--r-- 1 mcc users 110K Feb 25 17:17 LTLFireability.xml
-rw-r--r-- 1 mcc users 88K Feb 26 09:39 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 496K Feb 26 09:39 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 268K Feb 26 09:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 1.3M Feb 26 09:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 4.6K Feb 25 17:17 UpperBounds.txt
-rw-r--r-- 1 mcc users 11K Feb 25 17:17 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 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 53K 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 1679160953667

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=Sudoku-PT-BN04
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Sudoku (PT), instance BN04
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: 128 places, 64 transitions, 320 arcs.
AT ITER 0 NEW BEST:: SOT 5866 SOS 3420 HAS SOPS 3420 HAS SOUS 3233 HAS SOUPS 3233 WITH SCORE 3236.42
AT ITER 1 NEW BEST:: SOT 5876 SOS 3426 HAS SOPS 3426 HAS SOUS 3232 HAS SOUPS 3232 WITH SCORE 3235.426
AT ITER 9 NEW BEST:: SOT 5876 SOS 3421 HAS SOPS 3421 HAS SOUS 3226 HAS SOUPS 3226 WITH SCORE 3229.421
AT ITER 37 NEW BEST:: SOT 5854 SOS 3399 HAS SOPS 3399 HAS SOUS 3211 HAS SOUPS 3211 WITH SCORE 3214.399
AT ITER 41 NEW BEST:: SOT 5854 SOS 3391 HAS SOPS 3391 HAS SOUS 3207 HAS SOUPS 3207 WITH SCORE 3210.391
AT ITER 49 NEW BEST:: SOT 5839 SOS 3374 HAS SOPS 3374 HAS SOUS 3197 HAS SOUPS 3197 WITH SCORE 3200.374
AT ITER 71 NEW BEST:: SOT 5868 SOS 3373 HAS SOPS 3373 HAS SOUS 3190 HAS SOUPS 3190 WITH SCORE 3193.373
AT ITER 77 NEW BEST:: SOT 5854 SOS 3366 HAS SOPS 3366 HAS SOUS 3183 HAS SOUPS 3183 WITH SCORE 3186.366
AT ITER 84 NEW BEST:: SOT 5854 SOS 3346 HAS SOPS 3346 HAS SOUS 3180 HAS SOUPS 3180 WITH SCORE 3183.346
AT ITER 85 NEW BEST:: SOT 5854 SOS 3407 HAS SOPS 3407 HAS SOUS 3178 HAS SOUPS 3178 WITH SCORE 3181.407
AT ITER 92 NEW BEST:: SOT 5877 SOS 3377 HAS SOPS 3377 HAS SOUS 3143 HAS SOUPS 3143 WITH SCORE 3146.377
AT ITER 96 NEW BEST:: SOT 5854 SOS 3275 HAS SOPS 3275 HAS SOUS 3107 HAS SOUPS 3107 WITH SCORE 3110.275
AT ITER 108 NEW BEST:: SOT 5837 SOS 3258 HAS SOPS 3258 HAS SOUS 3091 HAS SOUPS 3091 WITH SCORE 3094.258
AT ITER 144 NEW BEST:: SOT 5837 SOS 3243 HAS SOPS 3243 HAS SOUS 3091 HAS SOUPS 3091 WITH SCORE 3094.243
AT ITER 156 NEW BEST:: SOT 5832 SOS 3233 HAS SOPS 3233 HAS SOUS 3085 HAS SOUPS 3085 WITH SCORE 3088.233
AT ITER 163 NEW BEST:: SOT 5832 SOS 3229 HAS SOPS 3229 HAS SOUS 3075 HAS SOUPS 3075 WITH SCORE 3078.229
AT ITER 175 NEW BEST:: SOT 5827 SOS 3226 HAS SOPS 3226 HAS SOUS 3075 HAS SOUPS 3075 WITH SCORE 3078.226
AT ITER 197 NEW BEST:: SOT 5819 SOS 3218 HAS SOPS 3218 HAS SOUS 3067 HAS SOUPS 3067 WITH SCORE 3070.218
AT ITER 204 NEW BEST:: SOT 5791 SOS 3245 HAS SOPS 3245 HAS SOUS 3064 HAS SOUPS 3064 WITH SCORE 3067.245
AT ITER 210 NEW BEST:: SOT 5779 SOS 3247 HAS SOPS 3247 HAS SOUS 3052 HAS SOUPS 3052 WITH SCORE 3055.247
AT ITER 212 NEW BEST:: SOT 5766 SOS 3229 HAS SOPS 3229 HAS SOUS 3046 HAS SOUPS 3046 WITH SCORE 3049.229
AT ITER 214 NEW BEST:: SOT 5766 SOS 3205 HAS SOPS 3205 HAS SOUS 3045 HAS SOUPS 3045 WITH SCORE 3048.205
AT ITER 226 NEW BEST:: SOT 5763 SOS 3203 HAS SOPS 3203 HAS SOUS 3043 HAS SOUPS 3043 WITH SCORE 3046.203
AT ITER 228 NEW BEST:: SOT 5771 SOS 3214 HAS SOPS 3214 HAS SOUS 3042 HAS SOUPS 3042 WITH SCORE 3045.214
AT ITER 249 NEW BEST:: SOT 5769 SOS 3239 HAS SOPS 3239 HAS SOUS 3041 HAS SOUPS 3041 WITH SCORE 3044.239
AT ITER 257 NEW BEST:: SOT 5790 SOS 3219 HAS SOPS 3219 HAS SOUS 3009 HAS SOUPS 3009 WITH SCORE 3012.219
AT ITER 264 NEW BEST:: SOT 5792 SOS 3215 HAS SOPS 3215 HAS SOUS 3005 HAS SOUPS 3005 WITH SCORE 3008.215
AT ITER 293 NEW BEST:: SOT 5767 SOS 3200 HAS SOPS 3200 HAS SOUS 2993 HAS SOUPS 2993 WITH SCORE 2996.2
AT ITER 296 NEW BEST:: SOT 5767 SOS 3200 HAS SOPS 3200 HAS SOUS 2974 HAS SOUPS 2974 WITH SCORE 2977.2
AT ITER 313 NEW BEST:: SOT 5762 SOS 3190 HAS SOPS 3190 HAS SOUS 2973 HAS SOUPS 2973 WITH SCORE 2976.19
AT ITER 319 NEW BEST:: SOT 5754 SOS 3186 HAS SOPS 3186 HAS SOUS 2973 HAS SOUPS 2973 WITH SCORE 2976.186
AT ITER 324 NEW BEST:: SOT 5729 SOS 3180 HAS SOPS 3180 HAS SOUS 2967 HAS SOUPS 2967 WITH SCORE 2970.18
AT ITER 336 NEW BEST:: SOT 5729 SOS 3179 HAS SOPS 3179 HAS SOUS 2964 HAS SOUPS 2964 WITH SCORE 2967.179
AT ITER 347 NEW BEST:: SOT 5729 SOS 3179 HAS SOPS 3179 HAS SOUS 2958 HAS SOUPS 2958 WITH SCORE 2961.179
AT ITER 379 NEW BEST:: SOT 5729 SOS 3182 HAS SOPS 3182 HAS SOUS 2956 HAS SOUPS 2956 WITH SCORE 2959.182
AT ITER 385 NEW BEST:: SOT 5719 SOS 3172 HAS SOPS 3172 HAS SOUS 2946 HAS SOUPS 2946 WITH SCORE 2949.172
AT ITER 413 NEW BEST:: SOT 5688 SOS 3156 HAS SOPS 3156 HAS SOUS 2930 HAS SOUPS 2930 WITH SCORE 2933.156
AT ITER 460 NEW BEST:: SOT 5683 SOS 3143 HAS SOPS 3143 HAS SOUS 2922 HAS SOUPS 2922 WITH SCORE 2925.143
AT ITER 466 NEW BEST:: SOT 5680 SOS 3145 HAS SOPS 3145 HAS SOUS 2921 HAS SOUPS 2921 WITH SCORE 2924.145
AT ITER 500 NEW BEST:: SOT 5675 SOS 3145 HAS SOPS 3145 HAS SOUS 2916 HAS SOUPS 2916 WITH SCORE 2919.145
AT ITER 557 NEW BEST:: SOT 5669 SOS 3139 HAS SOPS 3139 HAS SOUS 2910 HAS SOUPS 2910 WITH SCORE 2913.139
AT ITER 575 NEW BEST:: SOT 5661 SOS 3133 HAS SOPS 3133 HAS SOUS 2907 HAS SOUPS 2907 WITH SCORE 2910.133
AT ITER 578 NEW BEST:: SOT 5661 SOS 3131 HAS SOPS 3131 HAS SOUS 2907 HAS SOUPS 2907 WITH SCORE 2910.131
AT ITER 579 NEW BEST:: SOT 5661 SOS 3135 HAS SOPS 3135 HAS SOUS 2903 HAS SOUPS 2903 WITH SCORE 2906.135
AT ITER 607 NEW BEST:: SOT 5661 SOS 3134 HAS SOPS 3134 HAS SOUS 2902 HAS SOUPS 2902 WITH SCORE 2905.134
AT ITER 620 NEW BEST:: SOT 5661 SOS 3121 HAS SOPS 3121 HAS SOUS 2902 HAS SOUPS 2902 WITH SCORE 2905.121
AT ITER 644 NEW BEST:: SOT 5653 SOS 3148 HAS SOPS 3148 HAS SOUS 2900 HAS SOUPS 2900 WITH SCORE 2903.148
AT ITER 649 NEW BEST:: SOT 5653 SOS 3147 HAS SOPS 3147 HAS SOUS 2900 HAS SOUPS 2900 WITH SCORE 2903.147
AT ITER 650 NEW BEST:: SOT 5646 SOS 3138 HAS SOPS 3138 HAS SOUS 2870 HAS SOUPS 2870 WITH SCORE 2873.138
AT ITER 664 NEW BEST:: SOT 5646 SOS 3134 HAS SOPS 3134 HAS SOUS 2866 HAS SOUPS 2866 WITH SCORE 2869.134
AT ITER 670 NEW BEST:: SOT 5627 SOS 3116 HAS SOPS 3116 HAS SOUS 2848 HAS SOUPS 2848 WITH SCORE 2851.116
AT ITER 695 NEW BEST:: SOT 5627 SOS 3139 HAS SOPS 3139 HAS SOUS 2846 HAS SOUPS 2846 WITH SCORE 2849.139
AT ITER 697 NEW BEST:: SOT 5627 SOS 3134 HAS SOPS 3134 HAS SOUS 2846 HAS SOUPS 2846 WITH SCORE 2849.134
AT ITER 706 NEW BEST:: SOT 5627 SOS 3126 HAS SOPS 3126 HAS SOUS 2841 HAS SOUPS 2841 WITH SCORE 2844.126
AT ITER 733 NEW BEST:: SOT 5627 SOS 3121 HAS SOPS 3121 HAS SOUS 2839 HAS SOUPS 2839 WITH SCORE 2842.121
AT ITER 734 NEW BEST:: SOT 5627 SOS 3117 HAS SOPS 3117 HAS SOUS 2839 HAS SOUPS 2839 WITH SCORE 2842.117
AT ITER 761 NEW BEST:: SOT 5627 SOS 3116 HAS SOPS 3116 HAS SOUS 2839 HAS SOUPS 2839 WITH SCORE 2842.116
AT ITER 782 NEW BEST:: SOT 5627 SOS 3115 HAS SOPS 3115 HAS SOUS 2824 HAS SOUPS 2824 WITH SCORE 2827.115
AT ITER 788 NEW BEST:: SOT 5605 SOS 3111 HAS SOPS 3111 HAS SOUS 2820 HAS SOUPS 2820 WITH SCORE 2823.111
AT ITER 798 NEW BEST:: SOT 5587 SOS 3050 HAS SOPS 3050 HAS SOUS 2780 HAS SOUPS 2780 WITH SCORE 2783.05
AT ITER 845 NEW BEST:: SOT 5587 SOS 3056 HAS SOPS 3056 HAS SOUS 2775 HAS SOUPS 2775 WITH SCORE 2778.056
AT ITER 847 NEW BEST:: SOT 5581 SOS 3053 HAS SOPS 3053 HAS SOUS 2772 HAS SOUPS 2772 WITH SCORE 2775.053
AT ITER 864 NEW BEST:: SOT 5581 SOS 3052 HAS SOPS 3052 HAS SOUS 2771 HAS SOUPS 2771 WITH SCORE 2774.052
AT ITER 868 NEW BEST:: SOT 5568 SOS 3039 HAS SOPS 3039 HAS SOUS 2758 HAS SOUPS 2758 WITH SCORE 2761.039
AT ITER 890 NEW BEST:: SOT 5564 SOS 3034 HAS SOPS 3034 HAS SOUS 2754 HAS SOUPS 2754 WITH SCORE 2757.034
AT ITER 906 NEW BEST:: SOT 5542 SOS 3062 HAS SOPS 3062 HAS SOUS 2753 HAS SOUPS 2753 WITH SCORE 2756.062
AT ITER 908 NEW BEST:: SOT 5533 SOS 3056 HAS SOPS 3056 HAS SOUS 2747 HAS SOUPS 2747 WITH SCORE 2750.056
AT ITER 933 NEW BEST:: SOT 5505 SOS 3031 HAS SOPS 3031 HAS SOUS 2722 HAS SOUPS 2722 WITH SCORE 2725.031
AT ITER 941 NEW BEST:: SOT 5487 SOS 3023 HAS SOPS 3023 HAS SOUS 2714 HAS SOUPS 2714 WITH SCORE 2717.023
AT ITER 945 NEW BEST:: SOT 5482 SOS 3026 HAS SOPS 3026 HAS SOUS 2712 HAS SOUPS 2712 WITH SCORE 2715.026
AT ITER 950 NEW BEST:: SOT 5481 SOS 3025 HAS SOPS 3025 HAS SOUS 2711 HAS SOUPS 2711 WITH SCORE 2714.025
AT ITER 987 NEW BEST:: SOT 5481 SOS 3016 HAS SOPS 3016 HAS SOUS 2708 HAS SOUPS 2708 WITH SCORE 2711.016
AT ITER 997 NEW BEST:: SOT 5470 SOS 3015 HAS SOPS 3015 HAS SOUS 2707 HAS SOUPS 2707 WITH SCORE 2710.015
AT ITER 1015 NEW BEST:: SOT 5470 SOS 3010 HAS SOPS 3010 HAS SOUS 2702 HAS SOUPS 2702 WITH SCORE 2705.01
AT ITER 1039 NEW BEST:: SOT 5472 SOS 3002 HAS SOPS 3002 HAS SOUS 2699 HAS SOUPS 2699 WITH SCORE 2702.002
AT ITER 1050 NEW BEST:: SOT 5472 SOS 2970 HAS SOPS 2970 HAS SOUS 2699 HAS SOUPS 2699 WITH SCORE 2701.97
AT ITER 1064 NEW BEST:: SOT 5470 SOS 2968 HAS SOPS 2968 HAS SOUS 2697 HAS SOUPS 2697 WITH SCORE 2699.968
AT ITER 1080 NEW BEST:: SOT 5465 SOS 2957 HAS SOPS 2957 HAS SOUS 2689 HAS SOUPS 2689 WITH SCORE 2691.957
AT ITER 1081 NEW BEST:: SOT 5465 SOS 2953 HAS SOPS 2953 HAS SOUS 2689 HAS SOUPS 2689 WITH SCORE 2691.953
AT ITER 1095 NEW BEST:: SOT 5465 SOS 2945 HAS SOPS 2945 HAS SOUS 2681 HAS SOUPS 2681 WITH SCORE 2683.945
AT ITER 1099 NEW BEST:: SOT 5461 SOS 2940 HAS SOPS 2940 HAS SOUS 2671 HAS SOUPS 2671 WITH SCORE 2673.94
AT ITER 1101 NEW BEST:: SOT 5460 SOS 2939 HAS SOPS 2939 HAS SOUS 2670 HAS SOUPS 2670 WITH SCORE 2672.939
AT ITER 1143 NEW BEST:: SOT 5452 SOS 2931 HAS SOPS 2931 HAS SOUS 2662 HAS SOUPS 2662 WITH SCORE 2664.931
AT ITER 1169 NEW BEST:: SOT 5468 SOS 2934 HAS SOPS 2934 HAS SOUS 2649 HAS SOUPS 2649 WITH SCORE 2651.934
AT ITER 1210 NEW BEST:: SOT 5464 SOS 2930 HAS SOPS 2930 HAS SOUS 2648 HAS SOUPS 2648 WITH SCORE 2650.93
AT ITER 1253 NEW BEST:: SOT 5463 SOS 2943 HAS SOPS 2943 HAS SOUS 2647 HAS SOUPS 2647 WITH SCORE 2649.943
AT ITER 1269 NEW BEST:: SOT 5450 SOS 2953 HAS SOPS 2953 HAS SOUS 2643 HAS SOUPS 2643 WITH SCORE 2645.953
AT ITER 1318 NEW BEST:: SOT 5450 SOS 2950 HAS SOPS 2950 HAS SOUS 2643 HAS SOUPS 2643 WITH SCORE 2645.95
AT ITER 1331 NEW BEST:: SOT 5447 SOS 2947 HAS SOPS 2947 HAS SOUS 2640 HAS SOUPS 2640 WITH SCORE 2642.947
AT ITER 1342 NEW BEST:: SOT 5446 SOS 2946 HAS SOPS 2946 HAS SOUS 2639 HAS SOUPS 2639 WITH SCORE 2641.946
AT ITER 1361 NEW BEST:: SOT 5445 SOS 2945 HAS SOPS 2945 HAS SOUS 2638 HAS SOUPS 2638 WITH SCORE 2640.945
AT ITER 1373 NEW BEST:: SOT 5440 SOS 2940 HAS SOPS 2940 HAS SOUS 2633 HAS SOUPS 2633 WITH SCORE 2635.94
AT ITER 1381 NEW BEST:: SOT 5433 SOS 2939 HAS SOPS 2939 HAS SOUS 2632 HAS SOUPS 2632 WITH SCORE 2634.939
AT ITER 1383 NEW BEST:: SOT 5433 SOS 2935 HAS SOPS 2935 HAS SOUS 2622 HAS SOUPS 2622 WITH SCORE 2624.935
AT ITER 1398 NEW BEST:: SOT 5433 SOS 2934 HAS SOPS 2934 HAS SOUS 2621 HAS SOUPS 2621 WITH SCORE 2623.934
AT ITER 1447 NEW BEST:: SOT 5433 SOS 2934 HAS SOPS 2934 HAS SOUS 2620 HAS SOUPS 2620 WITH SCORE 2622.934
AT ITER 1469 NEW BEST:: SOT 5433 SOS 2927 HAS SOPS 2927 HAS SOUS 2618 HAS SOUPS 2618 WITH SCORE 2620.927
AT ITER 1520 NEW BEST:: SOT 5433 SOS 2925 HAS SOPS 2925 HAS SOUS 2618 HAS SOUPS 2618 WITH SCORE 2620.925
AT ITER 1544 NEW BEST:: SOT 5433 SOS 2925 HAS SOPS 2925 HAS SOUS 2616 HAS SOUPS 2616 WITH SCORE 2618.925
AT ITER 1560 NEW BEST:: SOT 5433 SOS 2925 HAS SOPS 2925 HAS SOUS 2606 HAS SOUPS 2606 WITH SCORE 2608.925
AT ITER 1597 NEW BEST:: SOT 5429 SOS 2917 HAS SOPS 2917 HAS SOUS 2602 HAS SOUPS 2602 WITH SCORE 2604.917
AT ITER 1660 NEW BEST:: SOT 5408 SOS 2915 HAS SOPS 2915 HAS SOUS 2600 HAS SOUPS 2600 WITH SCORE 2602.915
AT ITER 1682 NEW BEST:: SOT 5408 SOS 2914 HAS SOPS 2914 HAS SOUS 2599 HAS SOUPS 2599 WITH SCORE 2601.914
AT ITER 1736 NEW BEST:: SOT 5404 SOS 2907 HAS SOPS 2907 HAS SOUS 2592 HAS SOUPS 2592 WITH SCORE 2594.907
AT ITER 1761 NEW BEST:: SOT 5403 SOS 2906 HAS SOPS 2906 HAS SOUS 2591 HAS SOUPS 2591 WITH SCORE 2593.906
AT ITER 1809 NEW BEST:: SOT 5396 SOS 2899 HAS SOPS 2899 HAS SOUS 2582 HAS SOUPS 2582 WITH SCORE 2584.899
AT ITER 1817 NEW BEST:: SOT 5396 SOS 2899 HAS SOPS 2899 HAS SOUS 2580 HAS SOUPS 2580 WITH SCORE 2582.899
AT ITER 1841 NEW BEST:: SOT 5396 SOS 2899 HAS SOPS 2899 HAS SOUS 2579 HAS SOUPS 2579 WITH SCORE 2581.899
AT ITER 1920 NEW BEST:: SOT 5396 SOS 2902 HAS SOPS 2902 HAS SOUS 2578 HAS SOUPS 2578 WITH SCORE 2580.902
AT ITER 1953 NEW BEST:: SOT 5396 SOS 2901 HAS SOPS 2901 HAS SOUS 2575 HAS SOUPS 2575 WITH SCORE 2577.901
AT ITER 1954 NEW BEST:: SOT 5408 SOS 2913 HAS SOPS 2913 HAS SOUS 2570 HAS SOUPS 2570 WITH SCORE 2572.913
AT ITER 2006 NEW BEST:: SOT 5409 SOS 2912 HAS SOPS 2912 HAS SOUS 2570 HAS SOUPS 2570 WITH SCORE 2572.912
AT ITER 2012 NEW BEST:: SOT 5412 SOS 2960 HAS SOPS 2960 HAS SOUS 2554 HAS SOUPS 2554 WITH SCORE 2556.96
AT ITER 2016 NEW BEST:: SOT 5412 SOS 2958 HAS SOPS 2958 HAS SOUS 2553 HAS SOUPS 2553 WITH SCORE 2555.958
AT ITER 2025 NEW BEST:: SOT 5412 SOS 2956 HAS SOPS 2956 HAS SOUS 2553 HAS SOUPS 2553 WITH SCORE 2555.956
AT ITER 2074 NEW BEST:: SOT 5411 SOS 2949 HAS SOPS 2949 HAS SOUS 2549 HAS SOUPS 2549 WITH SCORE 2551.949
AT ITER 2179 NEW BEST:: SOT 5410 SOS 2948 HAS SOPS 2948 HAS SOUS 2548 HAS SOUPS 2548 WITH SCORE 2550.948
AT ITER 2211 NEW BEST:: SOT 5410 SOS 2945 HAS SOPS 2945 HAS SOUS 2541 HAS SOUPS 2541 WITH SCORE 2543.945
AT ITER 2245 NEW BEST:: SOT 5409 SOS 2944 HAS SOPS 2944 HAS SOUS 2540 HAS SOUPS 2540 WITH SCORE 2542.944
AT ITER 2281 NEW BEST:: SOT 5388 SOS 2923 HAS SOPS 2923 HAS SOUS 2519 HAS SOUPS 2519 WITH SCORE 2521.923
AT ITER 2286 NEW BEST:: SOT 5378 SOS 2931 HAS SOPS 2931 HAS SOUS 2511 HAS SOUPS 2511 WITH SCORE 2513.931
AT ITER 2288 NEW BEST:: SOT 5387 SOS 2931 HAS SOPS 2931 HAS SOUS 2507 HAS SOUPS 2507 WITH SCORE 2509.931
AT ITER 2321 NEW BEST:: SOT 5386 SOS 2927 HAS SOPS 2927 HAS SOUS 2506 HAS SOUPS 2506 WITH SCORE 2508.927
AT ITER 2399 NEW BEST:: SOT 5385 SOS 2926 HAS SOPS 2926 HAS SOUS 2505 HAS SOUPS 2505 WITH SCORE 2507.926
AT ITER 2458 NEW BEST:: SOT 5384 SOS 2925 HAS SOPS 2925 HAS SOUS 2504 HAS SOUPS 2504 WITH SCORE 2506.925
AT ITER 2502 NEW BEST:: SOT 5384 SOS 2925 HAS SOPS 2925 HAS SOUS 2502 HAS SOUPS 2502 WITH SCORE 2504.925
AT ITER 2505 NEW BEST:: SOT 5373 SOS 2921 HAS SOPS 2921 HAS SOUS 2496 HAS SOUPS 2496 WITH SCORE 2498.921
AT ITER 2535 NEW BEST:: SOT 5374 SOS 2916 HAS SOPS 2916 HAS SOUS 2496 HAS SOUPS 2496 WITH SCORE 2498.916
AT ITER 2539 NEW BEST:: SOT 5375 SOS 2915 HAS SOPS 2915 HAS SOUS 2495 HAS SOUPS 2495 WITH SCORE 2497.915
AT ITER 2574 NEW BEST:: SOT 5372 SOS 2912 HAS SOPS 2912 HAS SOUS 2492 HAS SOUPS 2492 WITH SCORE 2494.912
AT ITER 2592 NEW BEST:: SOT 5368 SOS 2904 HAS SOPS 2904 HAS SOUS 2486 HAS SOUPS 2486 WITH SCORE 2488.904
AT ITER 2624 NEW BEST:: SOT 5370 SOS 2896 HAS SOPS 2896 HAS SOUS 2483 HAS SOUPS 2483 WITH SCORE 2485.896
AT ITER 2659 NEW BEST:: SOT 5370 SOS 2891 HAS SOPS 2891 HAS SOUS 2483 HAS SOUPS 2483 WITH SCORE 2485.891
AT ITER 2663 NEW BEST:: SOT 5369 SOS 2872 HAS SOPS 2872 HAS SOUS 2482 HAS SOUPS 2482 WITH SCORE 2484.872
AT ITER 2678 NEW BEST:: SOT 5366 SOS 2869 HAS SOPS 2869 HAS SOUS 2479 HAS SOUPS 2479 WITH SCORE 2481.869
AT ITER 2693 NEW BEST:: SOT 5366 SOS 2868 HAS SOPS 2868 HAS SOUS 2479 HAS SOUPS 2479 WITH SCORE 2481.868
AT ITER 2710 NEW BEST:: SOT 5356 SOS 2856 HAS SOPS 2856 HAS SOUS 2469 HAS SOUPS 2469 WITH SCORE 2471.856
AT ITER 2719 NEW BEST:: SOT 5356 SOS 2855 HAS SOPS 2855 HAS SOUS 2469 HAS SOUPS 2469 WITH SCORE 2471.855
AT ITER 2720 NEW BEST:: SOT 5347 SOS 2846 HAS SOPS 2846 HAS SOUS 2460 HAS SOUPS 2460 WITH SCORE 2462.846
AT ITER 2722 NEW BEST:: SOT 5347 SOS 2842 HAS SOPS 2842 HAS SOUS 2460 HAS SOUPS 2460 WITH SCORE 2462.842
AT ITER 2746 NEW BEST:: SOT 5347 SOS 2840 HAS SOPS 2840 HAS SOUS 2458 HAS SOUPS 2458 WITH SCORE 2460.84
AT ITER 2749 NEW BEST:: SOT 5341 SOS 2837 HAS SOPS 2837 HAS SOUS 2455 HAS SOUPS 2455 WITH SCORE 2457.837
AT ITER 2857 NEW BEST:: SOT 5339 SOS 2835 HAS SOPS 2835 HAS SOUS 2453 HAS SOUPS 2453 WITH SCORE 2455.835
AT ITER 2877 NEW BEST:: SOT 5337 SOS 2831 HAS SOPS 2831 HAS SOUS 2450 HAS SOUPS 2450 WITH SCORE 2452.831
AT ITER 2880 NEW BEST:: SOT 5317 SOS 2823 HAS SOPS 2823 HAS SOUS 2437 HAS SOUPS 2437 WITH SCORE 2439.823
AT ITER 2894 NEW BEST:: SOT 5317 SOS 2822 HAS SOPS 2822 HAS SOUS 2436 HAS SOUPS 2436 WITH SCORE 2438.822
AT ITER 2913 NEW BEST:: SOT 5294 SOS 2805 HAS SOPS 2805 HAS SOUS 2412 HAS SOUPS 2412 WITH SCORE 2414.805
AT ITER 2951 NEW BEST:: SOT 5293 SOS 2804 HAS SOPS 2804 HAS SOUS 2408 HAS SOUPS 2408 WITH SCORE 2410.804
AT ITER 2977 NEW BEST:: SOT 5293 SOS 2803 HAS SOPS 2803 HAS SOUS 2408 HAS SOUPS 2408 WITH SCORE 2410.803
AT ITER 2993 NEW BEST:: SOT 5293 SOS 2803 HAS SOPS 2803 HAS SOUS 2407 HAS SOUPS 2407 WITH SCORE 2409.803
AT ITER 3039 NEW BEST:: SOT 5288 SOS 2796 HAS SOPS 2796 HAS SOUS 2404 HAS SOUPS 2404 WITH SCORE 2406.796
AT ITER 3057 NEW BEST:: SOT 5288 SOS 2796 HAS SOPS 2796 HAS SOUS 2402 HAS SOUPS 2402 WITH SCORE 2404.796
AT ITER 3099 NEW BEST:: SOT 5288 SOS 2794 HAS SOPS 2794 HAS SOUS 2402 HAS SOUPS 2402 WITH SCORE 2404.794
AT ITER 3237 NEW BEST:: SOT 5288 SOS 2794 HAS SOPS 2794 HAS SOUS 2399 HAS SOUPS 2399 WITH SCORE 2401.794
AT ITER 3284 NEW BEST:: SOT 5286 SOS 2793 HAS SOPS 2793 HAS SOUS 2398 HAS SOUPS 2398 WITH SCORE 2400.793
AT ITER 3314 NEW BEST:: SOT 5284 SOS 2791 HAS SOPS 2791 HAS SOUS 2396 HAS SOUPS 2396 WITH SCORE 2398.791
AT ITER 3391 NEW BEST:: SOT 5280 SOS 2787 HAS SOPS 2787 HAS SOUS 2392 HAS SOUPS 2392 WITH SCORE 2394.787
AT ITER 3407 NEW BEST:: SOT 5278 SOS 2785 HAS SOPS 2785 HAS SOUS 2390 HAS SOUPS 2390 WITH SCORE 2392.785
AT ITER 3525 NEW BEST:: SOT 5278 SOS 2782 HAS SOPS 2782 HAS SOUS 2390 HAS SOUPS 2390 WITH SCORE 2392.782
AT ITER 3535 NEW BEST:: SOT 5278 SOS 2781 HAS SOPS 2781 HAS SOUS 2389 HAS SOUPS 2389 WITH SCORE 2391.781
AT ITER 3549 NEW BEST:: SOT 5282 SOS 2780 HAS SOPS 2780 HAS SOUS 2388 HAS SOUPS 2388 WITH SCORE 2390.78
AT ITER 3563 NEW BEST:: SOT 5280 SOS 2779 HAS SOPS 2779 HAS SOUS 2388 HAS SOUPS 2388 WITH SCORE 2390.779
AT ITER 3631 NEW BEST:: SOT 5281 SOS 2776 HAS SOPS 2776 HAS SOUS 2387 HAS SOUPS 2387 WITH SCORE 2389.776
AT ITER 3675 NEW BEST:: SOT 5281 SOS 2774 HAS SOPS 2774 HAS SOUS 2387 HAS SOUPS 2387 WITH SCORE 2389.774
AT ITER 3678 NEW BEST:: SOT 5281 SOS 2774 HAS SOPS 2774 HAS SOUS 2385 HAS SOUPS 2385 WITH SCORE 2387.774
AT ITER 3699 NEW BEST:: SOT 5291 SOS 2773 HAS SOPS 2773 HAS SOUS 2384 HAS SOUPS 2384 WITH SCORE 2386.773
AT ITER 3702 NEW BEST:: SOT 5289 SOS 2771 HAS SOPS 2771 HAS SOUS 2382 HAS SOUPS 2382 WITH SCORE 2384.771
AT ITER 3777 NEW BEST:: SOT 5309 SOS 2780 HAS SOPS 2780 HAS SOUS 2381 HAS SOUPS 2381 WITH SCORE 2383.78
AT ITER 3836 NEW BEST:: SOT 5308 SOS 2779 HAS SOPS 2779 HAS SOUS 2380 HAS SOUPS 2380 WITH SCORE 2382.779
AT ITER 3895 NEW BEST:: SOT 5309 SOS 2779 HAS SOPS 2779 HAS SOUS 2379 HAS SOUPS 2379 WITH SCORE 2381.779
AT ITER 3919 NEW BEST:: SOT 5306 SOS 2776 HAS SOPS 2776 HAS SOUS 2376 HAS SOUPS 2376 WITH SCORE 2378.776
AT ITER 3940 NEW BEST:: SOT 5306 SOS 2776 HAS SOPS 2776 HAS SOUS 2373 HAS SOUPS 2373 WITH SCORE 2375.776
AT ITER 3941 NEW BEST:: SOT 5312 SOS 2777 HAS SOPS 2777 HAS SOUS 2371 HAS SOUPS 2371 WITH SCORE 2373.777
AT ITER 3947 NEW BEST:: SOT 5312 SOS 2776 HAS SOPS 2776 HAS SOUS 2370 HAS SOUPS 2370 WITH SCORE 2372.776
AT ITER 3950 NEW BEST:: SOT 5312 SOS 2775 HAS SOPS 2775 HAS SOUS 2369 HAS SOUPS 2369 WITH SCORE 2371.775
AT ITER 3993 NEW BEST:: SOT 5312 SOS 2774 HAS SOPS 2774 HAS SOUS 2368 HAS SOUPS 2368 WITH SCORE 2370.774
AT ITER 4040 NEW BEST:: SOT 5312 SOS 2770 HAS SOPS 2770 HAS SOUS 2366 HAS SOUPS 2366 WITH SCORE 2368.77
AT ITER 4097 NEW BEST:: SOT 5303 SOS 2768 HAS SOPS 2768 HAS SOUS 2364 HAS SOUPS 2364 WITH SCORE 2366.768
AT ITER 4101 NEW BEST:: SOT 5303 SOS 2763 HAS SOPS 2763 HAS SOUS 2363 HAS SOUPS 2363 WITH SCORE 2365.763
AT ITER 4108 NEW BEST:: SOT 5303 SOS 2763 HAS SOPS 2763 HAS SOUS 2362 HAS SOUPS 2362 WITH SCORE 2364.763
AT ITER 4348 NEW BEST:: SOT 5303 SOS 2763 HAS SOPS 2763 HAS SOUS 2358 HAS SOUPS 2358 WITH SCORE 2360.763
AT ITER 4355 NEW BEST:: SOT 5291 SOS 2774 HAS SOPS 2774 HAS SOUS 2348 HAS SOUPS 2348 WITH SCORE 2350.774
AT ITER 4473 NEW BEST:: SOT 5291 SOS 2772 HAS SOPS 2772 HAS SOUS 2348 HAS SOUPS 2348 WITH SCORE 2350.772
AT ITER 4532 NEW BEST:: SOT 5292 SOS 2772 HAS SOPS 2772 HAS SOUS 2347 HAS SOUPS 2347 WITH SCORE 2349.772
AT ITER 4554 NEW BEST:: SOT 5290 SOS 2771 HAS SOPS 2771 HAS SOUS 2346 HAS SOUPS 2346 WITH SCORE 2348.771
AT ITER 4622 NEW BEST:: SOT 5286 SOS 2773 HAS SOPS 2773 HAS SOUS 2344 HAS SOUPS 2344 WITH SCORE 2346.773
AT ITER 4780 NEW BEST:: SOT 5283 SOS 2770 HAS SOPS 2770 HAS SOUS 2341 HAS SOUPS 2341 WITH SCORE 2343.77
AT ITER 4966 NEW BEST:: SOT 5282 SOS 2769 HAS SOPS 2769 HAS SOUS 2340 HAS SOUPS 2340 WITH SCORE 2342.769
AT ITER 4993 NEW BEST:: SOT 5282 SOS 2768 HAS SOPS 2768 HAS SOUS 2339 HAS SOUPS 2339 WITH SCORE 2341.768
AT ITER 5090 NEW BEST:: SOT 5278 SOS 2774 HAS SOPS 2774 HAS SOUS 2337 HAS SOUPS 2337 WITH SCORE 2339.774
AT ITER 5092 NEW BEST:: SOT 5283 SOS 2774 HAS SOPS 2774 HAS SOUS 2336 HAS SOUPS 2336 WITH SCORE 2338.774
AT ITER 5117 NEW BEST:: SOT 5284 SOS 2773 HAS SOPS 2773 HAS SOUS 2336 HAS SOUPS 2336 WITH SCORE 2338.773
AT ITER 5155 NEW BEST:: SOT 5282 SOS 2771 HAS SOPS 2771 HAS SOUS 2334 HAS SOUPS 2334 WITH SCORE 2336.771
AT ITER 5167 NEW BEST:: SOT 5282 SOS 2768 HAS SOPS 2768 HAS SOUS 2334 HAS SOUPS 2334 WITH SCORE 2336.768
AT ITER 5294 NEW BEST:: SOT 5278 SOS 2764 HAS SOPS 2764 HAS SOUS 2330 HAS SOUPS 2330 WITH SCORE 2332.764
AT ITER 5380 NEW BEST:: SOT 5276 SOS 2762 HAS SOPS 2762 HAS SOUS 2330 HAS SOUPS 2330 WITH SCORE 2332.762
AT ITER 5400 NEW BEST:: SOT 5274 SOS 2759 HAS SOPS 2759 HAS SOUS 2328 HAS SOUPS 2328 WITH SCORE 2330.759
AT ITER 5448 NEW BEST:: SOT 5274 SOS 2764 HAS SOPS 2764 HAS SOUS 2327 HAS SOUPS 2327 WITH SCORE 2329.764
AT ITER 5573 NEW BEST:: SOT 5272 SOS 2762 HAS SOPS 2762 HAS SOUS 2325 HAS SOUPS 2325 WITH SCORE 2327.762
AT ITER 5631 NEW BEST:: SOT 5269 SOS 2761 HAS SOPS 2761 HAS SOUS 2324 HAS SOUPS 2324 WITH SCORE 2326.761
AT ITER 5668 NEW BEST:: SOT 5272 SOS 2770 HAS SOPS 2770 HAS SOUS 2322 HAS SOUPS 2322 WITH SCORE 2324.77
AT ITER 5669 NEW BEST:: SOT 5268 SOS 2765 HAS SOPS 2765 HAS SOUS 2317 HAS SOUPS 2317 WITH SCORE 2319.765
AT ITER 5677 NEW BEST:: SOT 5268 SOS 2760 HAS SOPS 2760 HAS SOUS 2315 HAS SOUPS 2315 WITH SCORE 2317.76
AT ITER 5780 NEW BEST:: SOT 5268 SOS 2750 HAS SOPS 2750 HAS SOUS 2315 HAS SOUPS 2315 WITH SCORE 2317.75
AT ITER 5802 NEW BEST:: SOT 5266 SOS 2750 HAS SOPS 2750 HAS SOUS 2314 HAS SOUPS 2314 WITH SCORE 2316.75
AT ITER 5836 NEW BEST:: SOT 5264 SOS 2748 HAS SOPS 2748 HAS SOUS 2312 HAS SOUPS 2312 WITH SCORE 2314.748
AT ITER 5873 NEW BEST:: SOT 5264 SOS 2722 HAS SOPS 2722 HAS SOUS 2310 HAS SOUPS 2310 WITH SCORE 2312.722
AT ITER 6015 NEW BEST:: SOT 5257 SOS 2721 HAS SOPS 2721 HAS SOUS 2306 HAS SOUPS 2306 WITH SCORE 2308.721
AT ITER 6062 NEW BEST:: SOT 5257 SOS 2720 HAS SOPS 2720 HAS SOUS 2306 HAS SOUPS 2306 WITH SCORE 2308.72
AT ITER 6067 NEW BEST:: SOT 5258 SOS 2721 HAS SOPS 2721 HAS SOUS 2305 HAS SOUPS 2305 WITH SCORE 2307.721
AT ITER 6182 NEW BEST:: SOT 5258 SOS 2721 HAS SOPS 2721 HAS SOUS 2304 HAS SOUPS 2304 WITH SCORE 2306.721
AT ITER 6248 NEW BEST:: SOT 5253 SOS 2731 HAS SOPS 2731 HAS SOUS 2301 HAS SOUPS 2301 WITH SCORE 2303.731
AT ITER 6304 NEW BEST:: SOT 5253 SOS 2731 HAS SOPS 2731 HAS SOUS 2297 HAS SOUPS 2297 WITH SCORE 2299.731
AT ITER 6374 NEW BEST:: SOT 5253 SOS 2731 HAS SOPS 2731 HAS SOUS 2293 HAS SOUPS 2293 WITH SCORE 2295.731
AT ITER 6467 NEW BEST:: SOT 5253 SOS 2731 HAS SOPS 2731 HAS SOUS 2291 HAS SOUPS 2291 WITH SCORE 2293.731
AT ITER 6483 NEW BEST:: SOT 5253 SOS 2730 HAS SOPS 2730 HAS SOUS 2290 HAS SOUPS 2290 WITH SCORE 2292.73
AT ITER 6494 NEW BEST:: SOT 5253 SOS 2727 HAS SOPS 2727 HAS SOUS 2290 HAS SOUPS 2290 WITH SCORE 2292.727
AT ITER 6555 NEW BEST:: SOT 5254 SOS 2717 HAS SOPS 2717 HAS SOUS 2289 HAS SOUPS 2289 WITH SCORE 2291.717
AT ITER 6563 NEW BEST:: SOT 5253 SOS 2716 HAS SOPS 2716 HAS SOUS 2288 HAS SOUPS 2288 WITH SCORE 2290.716
AT ITER 6662 NEW BEST:: SOT 5251 SOS 2714 HAS SOPS 2714 HAS SOUS 2286 HAS SOUPS 2286 WITH SCORE 2288.714
AT ITER 6738 NEW BEST:: SOT 5251 SOS 2714 HAS SOPS 2714 HAS SOUS 2284 HAS SOUPS 2284 WITH SCORE 2286.714
AT ITER 6932 NEW BEST:: SOT 5251 SOS 2720 HAS SOPS 2720 HAS SOUS 2283 HAS SOUPS 2283 WITH SCORE 2285.72
AT ITER 7009 NEW BEST:: SOT 5244 SOS 2726 HAS SOPS 2726 HAS SOUS 2280 HAS SOUPS 2280 WITH SCORE 2282.726
AT ITER 7064 NEW BEST:: SOT 5239 SOS 2721 HAS SOPS 2721 HAS SOUS 2275 HAS SOUPS 2275 WITH SCORE 2277.721
AT ITER 7095 NEW BEST:: SOT 5217 SOS 2735 HAS SOPS 2735 HAS SOUS 2272 HAS SOUPS 2272 WITH SCORE 2274.735
AT ITER 7105 NEW BEST:: SOT 5220 SOS 2727 HAS SOPS 2727 HAS SOUS 2272 HAS SOUPS 2272 WITH SCORE 2274.727
AT ITER 7270 NEW BEST:: SOT 5208 SOS 2717 HAS SOPS 2717 HAS SOUS 2262 HAS SOUPS 2262 WITH SCORE 2264.717
AT ITER 7277 NEW BEST:: SOT 5208 SOS 2717 HAS SOPS 2717 HAS SOUS 2261 HAS SOUPS 2261 WITH SCORE 2263.717
AT ITER 7281 NEW BEST:: SOT 5206 SOS 2719 HAS SOPS 2719 HAS SOUS 2259 HAS SOUPS 2259 WITH SCORE 2261.719
AT ITER 7360 NEW BEST:: SOT 5206 SOS 2719 HAS SOPS 2719 HAS SOUS 2258 HAS SOUPS 2258 WITH SCORE 2260.719
AT ITER 7406 NEW BEST:: SOT 5205 SOS 2718 HAS SOPS 2718 HAS SOUS 2257 HAS SOUPS 2257 WITH SCORE 2259.718
AT ITER 7693 NEW BEST:: SOT 5204 SOS 2720 HAS SOPS 2720 HAS SOUS 2256 HAS SOUPS 2256 WITH SCORE 2258.72
AT ITER 7982 NEW BEST:: SOT 5202 SOS 2716 HAS SOPS 2716 HAS SOUS 2256 HAS SOUPS 2256 WITH SCORE 2258.716
AT ITER 8127 NEW BEST:: SOT 5203 SOS 2717 HAS SOPS 2717 HAS SOUS 2255 HAS SOUPS 2255 WITH SCORE 2257.717
AT ITER 8224 NEW BEST:: SOT 5201 SOS 2715 HAS SOPS 2715 HAS SOUS 2255 HAS SOUPS 2255 WITH SCORE 2257.715
AT ITER 8347 NEW BEST:: SOT 5201 SOS 2715 HAS SOPS 2715 HAS SOUS 2249 HAS SOUPS 2249 WITH SCORE 2251.715
AT ITER 8367 NEW BEST:: SOT 5196 SOS 2716 HAS SOPS 2716 HAS SOUS 2244 HAS SOUPS 2244 WITH SCORE 2246.716
AT ITER 8434 NEW BEST:: SOT 5192 SOS 2715 HAS SOPS 2715 HAS SOUS 2243 HAS SOUPS 2243 WITH SCORE 2245.715
AT ITER 8497 NEW BEST:: SOT 5191 SOS 2714 HAS SOPS 2714 HAS SOUS 2242 HAS SOUPS 2242 WITH SCORE 2244.714
AT ITER 8807 NEW BEST:: SOT 5191 SOS 2713 HAS SOPS 2713 HAS SOUS 2241 HAS SOUPS 2241 WITH SCORE 2243.713
AT ITER 9293 NEW BEST:: SOT 5192 SOS 2709 HAS SOPS 2709 HAS SOUS 2240 HAS SOUPS 2240 WITH SCORE 2242.709
AT ITER 9410 NEW BEST:: SOT 5192 SOS 2709 HAS SOPS 2709 HAS SOUS 2239 HAS SOUPS 2239 WITH SCORE 2241.709
AT ITER 9442 NEW BEST:: SOT 5192 SOS 2703 HAS SOPS 2703 HAS SOUS 2239 HAS SOUPS 2239 WITH SCORE 2241.703
AT ITER 9665 NEW BEST:: SOT 5192 SOS 2703 HAS SOPS 2703 HAS SOUS 2237 HAS SOUPS 2237 WITH SCORE 2239.703
AT ITER 9764 NEW BEST:: SOT 5187 SOS 2704 HAS SOPS 2704 HAS SOUS 2235 HAS SOUPS 2235 WITH SCORE 2237.704
AT ITER 9883 NEW BEST:: SOT 5188 SOS 2701 HAS SOPS 2701 HAS SOUS 2235 HAS SOUPS 2235 WITH SCORE 2237.701
AT ITER 9886 NEW BEST:: SOT 5188 SOS 2697 HAS SOPS 2697 HAS SOUS 2234 HAS SOUPS 2234 WITH SCORE 2236.697
AT ITER 9943 NEW BEST:: SOT 5188 SOS 2697 HAS SOPS 2697 HAS SOUS 2233 HAS SOUPS 2233 WITH SCORE 2235.697
STATE_SPACE STATES 61556225 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 64 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 526297216 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679161044815

--------------------
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="Sudoku-PT-BN04"
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 Sudoku-PT-BN04, 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 r483-tall-167912695500304"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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