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-167912695300144.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-COL-BN04, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r483-tall-167912695300144
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 560K
-rw-r--r-- 1 mcc users 8.0K Feb 26 09:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 86K Feb 26 09:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 26 09:33 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K 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 4.0K Feb 25 17:17 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 17:17 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 17:17 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:17 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 09:38 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 127K Feb 26 09:38 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K Feb 26 09:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 113K Feb 26 09:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:17 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:17 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 36K 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 1679153102585

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-COL-BN04
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-18 15:25:05] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-18 15:25:05] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-18 15:25:05] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-18 15:25:05] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-18 15:25:06] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 660 ms
[2023-03-18 15:25:06] [INFO ] Imported 5 HL places and 1 HL transitions for a total of 128 PT places and 256.0 transition bindings in 33 ms.
[2023-03-18 15:25:06] [INFO ] Unfolded HLPN to a Petri net with 128 places and 64 transitions 320 arcs in 35 ms.
[2023-03-18 15:25:06] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-18 15:25:06] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 128 places, 64 transitions and 320 arcs took 9 ms.
Total runtime 942 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Sudoku (COL), 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 5818 SOS 3455 HAS SOPS 3455 HAS SOUS 3224 HAS SOUPS 3224 WITH SCORE 3227.455
AT ITER 3 NEW BEST:: SOT 5801 SOS 3446 HAS SOPS 3446 HAS SOUS 3215 HAS SOUPS 3215 WITH SCORE 3218.446
AT ITER 13 NEW BEST:: SOT 5775 SOS 3430 HAS SOPS 3430 HAS SOUS 3199 HAS SOUPS 3199 WITH SCORE 3202.43
AT ITER 18 NEW BEST:: SOT 5828 SOS 3449 HAS SOPS 3449 HAS SOUS 3191 HAS SOUPS 3191 WITH SCORE 3194.449
AT ITER 21 NEW BEST:: SOT 5816 SOS 3337 HAS SOPS 3337 HAS SOUS 3163 HAS SOUPS 3163 WITH SCORE 3166.337
AT ITER 24 NEW BEST:: SOT 5771 SOS 3317 HAS SOPS 3317 HAS SOUS 3140 HAS SOUPS 3140 WITH SCORE 3143.317
AT ITER 38 NEW BEST:: SOT 5765 SOS 3312 HAS SOPS 3312 HAS SOUS 3135 HAS SOUPS 3135 WITH SCORE 3138.312
AT ITER 49 NEW BEST:: SOT 5767 SOS 3318 HAS SOPS 3318 HAS SOUS 3119 HAS SOUPS 3119 WITH SCORE 3122.318
AT ITER 52 NEW BEST:: SOT 5718 SOS 3289 HAS SOPS 3289 HAS SOUS 3090 HAS SOUPS 3090 WITH SCORE 3093.289
AT ITER 56 NEW BEST:: SOT 5718 SOS 3289 HAS SOPS 3289 HAS SOUS 3087 HAS SOUPS 3087 WITH SCORE 3090.289
AT ITER 89 NEW BEST:: SOT 5718 SOS 3280 HAS SOPS 3280 HAS SOUS 3087 HAS SOUPS 3087 WITH SCORE 3090.28
AT ITER 103 NEW BEST:: SOT 5709 SOS 3268 HAS SOPS 3268 HAS SOUS 3084 HAS SOUPS 3084 WITH SCORE 3087.268
AT ITER 109 NEW BEST:: SOT 5699 SOS 3258 HAS SOPS 3258 HAS SOUS 3074 HAS SOUPS 3074 WITH SCORE 3077.258
AT ITER 111 NEW BEST:: SOT 5697 SOS 3256 HAS SOPS 3256 HAS SOUS 3072 HAS SOUPS 3072 WITH SCORE 3075.256
AT ITER 120 NEW BEST:: SOT 5691 SOS 3274 HAS SOPS 3274 HAS SOUS 3066 HAS SOUPS 3066 WITH SCORE 3069.274
AT ITER 133 NEW BEST:: SOT 5691 SOS 3266 HAS SOPS 3266 HAS SOUS 3066 HAS SOUPS 3066 WITH SCORE 3069.266
AT ITER 138 NEW BEST:: SOT 5691 SOS 3279 HAS SOPS 3279 HAS SOUS 3061 HAS SOUPS 3061 WITH SCORE 3064.279
AT ITER 146 NEW BEST:: SOT 5691 SOS 3279 HAS SOPS 3279 HAS SOUS 3060 HAS SOUPS 3060 WITH SCORE 3063.279
AT ITER 152 NEW BEST:: SOT 5679 SOS 3274 HAS SOPS 3274 HAS SOUS 3055 HAS SOUPS 3055 WITH SCORE 3058.274
AT ITER 158 NEW BEST:: SOT 5659 SOS 3263 HAS SOPS 3263 HAS SOUS 3041 HAS SOUPS 3041 WITH SCORE 3044.263
AT ITER 180 NEW BEST:: SOT 5632 SOS 3261 HAS SOPS 3261 HAS SOUS 3028 HAS SOUPS 3028 WITH SCORE 3031.261
AT ITER 185 NEW BEST:: SOT 5632 SOS 3259 HAS SOPS 3259 HAS SOUS 3028 HAS SOUPS 3028 WITH SCORE 3031.259
AT ITER 196 NEW BEST:: SOT 5632 SOS 3250 HAS SOPS 3250 HAS SOUS 3019 HAS SOUPS 3019 WITH SCORE 3022.25
AT ITER 203 NEW BEST:: SOT 5618 SOS 3243 HAS SOPS 3243 HAS SOUS 3012 HAS SOUPS 3012 WITH SCORE 3015.243
AT ITER 238 NEW BEST:: SOT 5618 SOS 3236 HAS SOPS 3236 HAS SOUS 3012 HAS SOUPS 3012 WITH SCORE 3015.236
AT ITER 248 NEW BEST:: SOT 5606 SOS 3225 HAS SOPS 3225 HAS SOUS 3010 HAS SOUPS 3010 WITH SCORE 3013.225
AT ITER 255 NEW BEST:: SOT 5608 SOS 3222 HAS SOPS 3222 HAS SOUS 3007 HAS SOUPS 3007 WITH SCORE 3010.222
AT ITER 266 NEW BEST:: SOT 5608 SOS 3216 HAS SOPS 3216 HAS SOUS 3004 HAS SOUPS 3004 WITH SCORE 3007.216
AT ITER 291 NEW BEST:: SOT 5599 SOS 3207 HAS SOPS 3207 HAS SOUS 2995 HAS SOUPS 2995 WITH SCORE 2998.207
AT ITER 298 NEW BEST:: SOT 5599 SOS 3216 HAS SOPS 3216 HAS SOUS 2992 HAS SOUPS 2992 WITH SCORE 2995.216
AT ITER 301 NEW BEST:: SOT 5599 SOS 3208 HAS SOPS 3208 HAS SOUS 2992 HAS SOUPS 2992 WITH SCORE 2995.208
AT ITER 322 NEW BEST:: SOT 5599 SOS 3206 HAS SOPS 3206 HAS SOUS 2992 HAS SOUPS 2992 WITH SCORE 2995.206
AT ITER 324 NEW BEST:: SOT 5599 SOS 3206 HAS SOPS 3206 HAS SOUS 2991 HAS SOUPS 2991 WITH SCORE 2994.206
AT ITER 331 NEW BEST:: SOT 5598 SOS 3205 HAS SOPS 3205 HAS SOUS 2990 HAS SOUPS 2990 WITH SCORE 2993.205
AT ITER 334 NEW BEST:: SOT 5566 SOS 3196 HAS SOPS 3196 HAS SOUS 2979 HAS SOUPS 2979 WITH SCORE 2982.196
AT ITER 351 NEW BEST:: SOT 5558 SOS 3184 HAS SOPS 3184 HAS SOUS 2963 HAS SOUPS 2963 WITH SCORE 2966.184
AT ITER 353 NEW BEST:: SOT 5555 SOS 3181 HAS SOPS 3181 HAS SOUS 2960 HAS SOUPS 2960 WITH SCORE 2963.181
AT ITER 357 NEW BEST:: SOT 5524 SOS 3190 HAS SOPS 3190 HAS SOUS 2959 HAS SOUPS 2959 WITH SCORE 2962.19
AT ITER 359 NEW BEST:: SOT 5541 SOS 3167 HAS SOPS 3167 HAS SOUS 2938 HAS SOUPS 2938 WITH SCORE 2941.167
AT ITER 367 NEW BEST:: SOT 5539 SOS 3165 HAS SOPS 3165 HAS SOUS 2938 HAS SOUPS 2938 WITH SCORE 2941.165
AT ITER 377 NEW BEST:: SOT 5540 SOS 3158 HAS SOPS 3158 HAS SOUS 2931 HAS SOUPS 2931 WITH SCORE 2934.158
AT ITER 397 NEW BEST:: SOT 5540 SOS 3148 HAS SOPS 3148 HAS SOUS 2931 HAS SOUPS 2931 WITH SCORE 2934.148
AT ITER 402 NEW BEST:: SOT 5540 SOS 3145 HAS SOPS 3145 HAS SOUS 2925 HAS SOUPS 2925 WITH SCORE 2928.145
AT ITER 434 NEW BEST:: SOT 5540 SOS 3149 HAS SOPS 3149 HAS SOUS 2904 HAS SOUPS 2904 WITH SCORE 2907.149
AT ITER 441 NEW BEST:: SOT 5539 SOS 3148 HAS SOPS 3148 HAS SOUS 2902 HAS SOUPS 2902 WITH SCORE 2905.148
AT ITER 472 NEW BEST:: SOT 5531 SOS 3140 HAS SOPS 3140 HAS SOUS 2894 HAS SOUPS 2894 WITH SCORE 2897.14
AT ITER 482 NEW BEST:: SOT 5527 SOS 3130 HAS SOPS 3130 HAS SOUS 2884 HAS SOUPS 2884 WITH SCORE 2887.13
AT ITER 491 NEW BEST:: SOT 5551 SOS 3123 HAS SOPS 3123 HAS SOUS 2883 HAS SOUPS 2883 WITH SCORE 2886.123
AT ITER 492 NEW BEST:: SOT 5549 SOS 3121 HAS SOPS 3121 HAS SOUS 2881 HAS SOUPS 2881 WITH SCORE 2884.121
AT ITER 494 NEW BEST:: SOT 5540 SOS 3069 HAS SOPS 3069 HAS SOUS 2865 HAS SOUPS 2865 WITH SCORE 2868.069
AT ITER 499 NEW BEST:: SOT 5537 SOS 3066 HAS SOPS 3066 HAS SOUS 2862 HAS SOUPS 2862 WITH SCORE 2865.066
AT ITER 519 NEW BEST:: SOT 5540 SOS 3079 HAS SOPS 3079 HAS SOUS 2858 HAS SOUPS 2858 WITH SCORE 2861.079
AT ITER 521 NEW BEST:: SOT 5539 SOS 3078 HAS SOPS 3078 HAS SOUS 2857 HAS SOUPS 2857 WITH SCORE 2860.078
AT ITER 535 NEW BEST:: SOT 5539 SOS 3070 HAS SOPS 3070 HAS SOUS 2852 HAS SOUPS 2852 WITH SCORE 2855.07
AT ITER 551 NEW BEST:: SOT 5539 SOS 3063 HAS SOPS 3063 HAS SOUS 2851 HAS SOUPS 2851 WITH SCORE 2854.063
AT ITER 568 NEW BEST:: SOT 5539 SOS 3102 HAS SOPS 3102 HAS SOUS 2835 HAS SOUPS 2835 WITH SCORE 2838.102
AT ITER 575 NEW BEST:: SOT 5531 SOS 3076 HAS SOPS 3076 HAS SOUS 2828 HAS SOUPS 2828 WITH SCORE 2831.076
AT ITER 583 NEW BEST:: SOT 5531 SOS 3072 HAS SOPS 3072 HAS SOUS 2826 HAS SOUPS 2826 WITH SCORE 2829.072
AT ITER 592 NEW BEST:: SOT 5531 SOS 3072 HAS SOPS 3072 HAS SOUS 2824 HAS SOUPS 2824 WITH SCORE 2827.072
AT ITER 619 NEW BEST:: SOT 5531 SOS 3061 HAS SOPS 3061 HAS SOUS 2824 HAS SOUPS 2824 WITH SCORE 2827.061
AT ITER 634 NEW BEST:: SOT 5524 SOS 3054 HAS SOPS 3054 HAS SOUS 2822 HAS SOUPS 2822 WITH SCORE 2825.054
AT ITER 726 NEW BEST:: SOT 5524 SOS 3049 HAS SOPS 3049 HAS SOUS 2815 HAS SOUPS 2815 WITH SCORE 2818.049
AT ITER 744 NEW BEST:: SOT 5519 SOS 3055 HAS SOPS 3055 HAS SOUS 2813 HAS SOUPS 2813 WITH SCORE 2816.055
AT ITER 760 NEW BEST:: SOT 5515 SOS 3051 HAS SOPS 3051 HAS SOUS 2809 HAS SOUPS 2809 WITH SCORE 2812.051
AT ITER 769 NEW BEST:: SOT 5513 SOS 3049 HAS SOPS 3049 HAS SOUS 2807 HAS SOUPS 2807 WITH SCORE 2810.049
AT ITER 776 NEW BEST:: SOT 5512 SOS 3048 HAS SOPS 3048 HAS SOUS 2806 HAS SOUPS 2806 WITH SCORE 2809.048
AT ITER 812 NEW BEST:: SOT 5502 SOS 3038 HAS SOPS 3038 HAS SOUS 2806 HAS SOUPS 2806 WITH SCORE 2809.038
AT ITER 830 NEW BEST:: SOT 5496 SOS 3032 HAS SOPS 3032 HAS SOUS 2800 HAS SOUPS 2800 WITH SCORE 2803.032
AT ITER 833 NEW BEST:: SOT 5494 SOS 3030 HAS SOPS 3030 HAS SOUS 2798 HAS SOUPS 2798 WITH SCORE 2801.03
AT ITER 873 NEW BEST:: SOT 5494 SOS 3026 HAS SOPS 3026 HAS SOUS 2798 HAS SOUPS 2798 WITH SCORE 2801.026
AT ITER 918 NEW BEST:: SOT 5489 SOS 3022 HAS SOPS 3022 HAS SOUS 2797 HAS SOUPS 2797 WITH SCORE 2800.022
AT ITER 925 NEW BEST:: SOT 5518 SOS 3035 HAS SOPS 3035 HAS SOUS 2796 HAS SOUPS 2796 WITH SCORE 2799.035
AT ITER 964 NEW BEST:: SOT 5518 SOS 3023 HAS SOPS 3023 HAS SOUS 2790 HAS SOUPS 2790 WITH SCORE 2793.023
AT ITER 997 NEW BEST:: SOT 5518 SOS 3022 HAS SOPS 3022 HAS SOUS 2789 HAS SOUPS 2789 WITH SCORE 2792.022
AT ITER 1016 NEW BEST:: SOT 5495 SOS 3026 HAS SOPS 3026 HAS SOUS 2782 HAS SOUPS 2782 WITH SCORE 2785.026
AT ITER 1018 NEW BEST:: SOT 5495 SOS 3025 HAS SOPS 3025 HAS SOUS 2782 HAS SOUPS 2782 WITH SCORE 2785.025
AT ITER 1058 NEW BEST:: SOT 5485 SOS 3015 HAS SOPS 3015 HAS SOUS 2772 HAS SOUPS 2772 WITH SCORE 2775.015
AT ITER 1077 NEW BEST:: SOT 5483 SOS 3023 HAS SOPS 3023 HAS SOUS 2765 HAS SOUPS 2765 WITH SCORE 2768.023
AT ITER 1089 NEW BEST:: SOT 5484 SOS 3022 HAS SOPS 3022 HAS SOUS 2764 HAS SOUPS 2764 WITH SCORE 2767.022
AT ITER 1101 NEW BEST:: SOT 5512 SOS 3026 HAS SOPS 3026 HAS SOUS 2760 HAS SOUPS 2760 WITH SCORE 2763.026
AT ITER 1103 NEW BEST:: SOT 5512 SOS 3026 HAS SOPS 3026 HAS SOUS 2759 HAS SOUPS 2759 WITH SCORE 2762.026
AT ITER 1126 NEW BEST:: SOT 5510 SOS 3024 HAS SOPS 3024 HAS SOUS 2756 HAS SOUPS 2756 WITH SCORE 2759.024
AT ITER 1135 NEW BEST:: SOT 5510 SOS 3013 HAS SOPS 3013 HAS SOUS 2729 HAS SOUPS 2729 WITH SCORE 2732.013
AT ITER 1141 NEW BEST:: SOT 5508 SOS 3016 HAS SOPS 3016 HAS SOUS 2727 HAS SOUPS 2727 WITH SCORE 2730.016
AT ITER 1150 NEW BEST:: SOT 5508 SOS 3016 HAS SOPS 3016 HAS SOUS 2725 HAS SOUPS 2725 WITH SCORE 2728.016
AT ITER 1161 NEW BEST:: SOT 5518 SOS 3004 HAS SOPS 3004 HAS SOUS 2718 HAS SOUPS 2718 WITH SCORE 2721.004
AT ITER 1169 NEW BEST:: SOT 5518 SOS 3003 HAS SOPS 3003 HAS SOUS 2717 HAS SOUPS 2717 WITH SCORE 2720.003
AT ITER 1173 NEW BEST:: SOT 5490 SOS 2997 HAS SOPS 2997 HAS SOUS 2714 HAS SOUPS 2714 WITH SCORE 2716.997
AT ITER 1177 NEW BEST:: SOT 5488 SOS 2997 HAS SOPS 2997 HAS SOUS 2712 HAS SOUPS 2712 WITH SCORE 2714.997
AT ITER 1186 NEW BEST:: SOT 5486 SOS 2995 HAS SOPS 2995 HAS SOUS 2710 HAS SOUPS 2710 WITH SCORE 2712.995
AT ITER 1196 NEW BEST:: SOT 5459 SOS 2989 HAS SOPS 2989 HAS SOUS 2709 HAS SOUPS 2709 WITH SCORE 2711.989
AT ITER 1208 NEW BEST:: SOT 5456 SOS 2988 HAS SOPS 2988 HAS SOUS 2708 HAS SOUPS 2708 WITH SCORE 2710.988
AT ITER 1240 NEW BEST:: SOT 5456 SOS 2988 HAS SOPS 2988 HAS SOUS 2707 HAS SOUPS 2707 WITH SCORE 2709.988
AT ITER 1241 NEW BEST:: SOT 5455 SOS 2987 HAS SOPS 2987 HAS SOUS 2706 HAS SOUPS 2706 WITH SCORE 2708.987
AT ITER 1244 NEW BEST:: SOT 5453 SOS 2985 HAS SOPS 2985 HAS SOUS 2704 HAS SOUPS 2704 WITH SCORE 2706.985
AT ITER 1273 NEW BEST:: SOT 5453 SOS 2984 HAS SOPS 2984 HAS SOUS 2703 HAS SOUPS 2703 WITH SCORE 2705.984
AT ITER 1286 NEW BEST:: SOT 5435 SOS 2978 HAS SOPS 2978 HAS SOUS 2697 HAS SOUPS 2697 WITH SCORE 2699.978
AT ITER 1318 NEW BEST:: SOT 5427 SOS 2970 HAS SOPS 2970 HAS SOUS 2689 HAS SOUPS 2689 WITH SCORE 2691.97
AT ITER 1358 NEW BEST:: SOT 5421 SOS 2968 HAS SOPS 2968 HAS SOUS 2687 HAS SOUPS 2687 WITH SCORE 2689.968
AT ITER 1379 NEW BEST:: SOT 5409 SOS 2962 HAS SOPS 2962 HAS SOUS 2681 HAS SOUPS 2681 WITH SCORE 2683.962
AT ITER 1383 NEW BEST:: SOT 5408 SOS 2961 HAS SOPS 2961 HAS SOUS 2680 HAS SOUPS 2680 WITH SCORE 2682.961
AT ITER 1385 NEW BEST:: SOT 5405 SOS 2958 HAS SOPS 2958 HAS SOUS 2677 HAS SOUPS 2677 WITH SCORE 2679.958
AT ITER 1396 NEW BEST:: SOT 5412 SOS 2951 HAS SOPS 2951 HAS SOUS 2670 HAS SOUPS 2670 WITH SCORE 2672.951
AT ITER 1435 NEW BEST:: SOT 5412 SOS 2949 HAS SOPS 2949 HAS SOUS 2668 HAS SOUPS 2668 WITH SCORE 2670.949
AT ITER 1450 NEW BEST:: SOT 5405 SOS 2942 HAS SOPS 2942 HAS SOUS 2661 HAS SOUPS 2661 WITH SCORE 2663.942
AT ITER 1469 NEW BEST:: SOT 5405 SOS 2939 HAS SOPS 2939 HAS SOUS 2658 HAS SOUPS 2658 WITH SCORE 2660.939
AT ITER 1470 NEW BEST:: SOT 5405 SOS 2936 HAS SOPS 2936 HAS SOUS 2655 HAS SOUPS 2655 WITH SCORE 2657.936
AT ITER 1471 NEW BEST:: SOT 5385 SOS 2929 HAS SOPS 2929 HAS SOUS 2648 HAS SOUPS 2648 WITH SCORE 2650.929
AT ITER 1486 NEW BEST:: SOT 5384 SOS 2928 HAS SOPS 2928 HAS SOUS 2647 HAS SOUPS 2647 WITH SCORE 2649.928
AT ITER 1493 NEW BEST:: SOT 5384 SOS 2946 HAS SOPS 2946 HAS SOUS 2642 HAS SOUPS 2642 WITH SCORE 2644.946
AT ITER 1518 NEW BEST:: SOT 5381 SOS 2945 HAS SOPS 2945 HAS SOUS 2641 HAS SOUPS 2641 WITH SCORE 2643.945
AT ITER 1526 NEW BEST:: SOT 5372 SOS 2936 HAS SOPS 2936 HAS SOUS 2632 HAS SOUPS 2632 WITH SCORE 2634.936
AT ITER 1535 NEW BEST:: SOT 5372 SOS 2938 HAS SOPS 2938 HAS SOUS 2631 HAS SOUPS 2631 WITH SCORE 2633.938
AT ITER 1552 NEW BEST:: SOT 5372 SOS 2938 HAS SOPS 2938 HAS SOUS 2624 HAS SOUPS 2624 WITH SCORE 2626.938
AT ITER 1586 NEW BEST:: SOT 5363 SOS 2947 HAS SOPS 2947 HAS SOUS 2614 HAS SOUPS 2614 WITH SCORE 2616.947
AT ITER 1600 NEW BEST:: SOT 5363 SOS 2962 HAS SOPS 2962 HAS SOUS 2612 HAS SOUPS 2612 WITH SCORE 2614.962
AT ITER 1619 NEW BEST:: SOT 5363 SOS 2962 HAS SOPS 2962 HAS SOUS 2608 HAS SOUPS 2608 WITH SCORE 2610.962
AT ITER 1627 NEW BEST:: SOT 5370 SOS 2959 HAS SOPS 2959 HAS SOUS 2602 HAS SOUPS 2602 WITH SCORE 2604.959
AT ITER 1656 NEW BEST:: SOT 5368 SOS 2989 HAS SOPS 2989 HAS SOUS 2600 HAS SOUPS 2600 WITH SCORE 2602.989
AT ITER 1658 NEW BEST:: SOT 5368 SOS 2983 HAS SOPS 2983 HAS SOUS 2600 HAS SOUPS 2600 WITH SCORE 2602.983
AT ITER 1670 NEW BEST:: SOT 5368 SOS 2971 HAS SOPS 2971 HAS SOUS 2600 HAS SOUPS 2600 WITH SCORE 2602.971
AT ITER 1679 NEW BEST:: SOT 5368 SOS 2971 HAS SOPS 2971 HAS SOUS 2599 HAS SOUPS 2599 WITH SCORE 2601.971
AT ITER 1685 NEW BEST:: SOT 5367 SOS 2970 HAS SOPS 2970 HAS SOUS 2598 HAS SOUPS 2598 WITH SCORE 2600.97
AT ITER 1715 NEW BEST:: SOT 5366 SOS 2961 HAS SOPS 2961 HAS SOUS 2597 HAS SOUPS 2597 WITH SCORE 2599.961
AT ITER 1740 NEW BEST:: SOT 5368 SOS 2946 HAS SOPS 2946 HAS SOUS 2593 HAS SOUPS 2593 WITH SCORE 2595.946
AT ITER 1757 NEW BEST:: SOT 5368 SOS 2946 HAS SOPS 2946 HAS SOUS 2589 HAS SOUPS 2589 WITH SCORE 2591.946
AT ITER 1866 NEW BEST:: SOT 5345 SOS 2951 HAS SOPS 2951 HAS SOUS 2588 HAS SOUPS 2588 WITH SCORE 2590.951
AT ITER 1925 NEW BEST:: SOT 5344 SOS 2950 HAS SOPS 2950 HAS SOUS 2588 HAS SOUPS 2588 WITH SCORE 2590.95
AT ITER 1932 NEW BEST:: SOT 5343 SOS 2948 HAS SOPS 2948 HAS SOUS 2588 HAS SOUPS 2588 WITH SCORE 2590.948
AT ITER 2002 NEW BEST:: SOT 5338 SOS 2943 HAS SOPS 2943 HAS SOUS 2583 HAS SOUPS 2583 WITH SCORE 2585.943
AT ITER 2010 NEW BEST:: SOT 5336 SOS 2941 HAS SOPS 2941 HAS SOUS 2581 HAS SOUPS 2581 WITH SCORE 2583.941
AT ITER 2100 NEW BEST:: SOT 5336 SOS 2941 HAS SOPS 2941 HAS SOUS 2579 HAS SOUPS 2579 WITH SCORE 2581.941
AT ITER 2144 NEW BEST:: SOT 5335 SOS 2940 HAS SOPS 2940 HAS SOUS 2578 HAS SOUPS 2578 WITH SCORE 2580.94
AT ITER 2187 NEW BEST:: SOT 5335 SOS 2930 HAS SOPS 2930 HAS SOUS 2574 HAS SOUPS 2574 WITH SCORE 2576.93
AT ITER 2188 NEW BEST:: SOT 5335 SOS 2929 HAS SOPS 2929 HAS SOUS 2574 HAS SOUPS 2574 WITH SCORE 2576.929
AT ITER 2199 NEW BEST:: SOT 5338 SOS 2926 HAS SOPS 2926 HAS SOUS 2571 HAS SOUPS 2571 WITH SCORE 2573.926
AT ITER 2236 NEW BEST:: SOT 5333 SOS 2931 HAS SOPS 2931 HAS SOUS 2567 HAS SOUPS 2567 WITH SCORE 2569.931
AT ITER 2243 NEW BEST:: SOT 5329 SOS 2935 HAS SOPS 2935 HAS SOUS 2564 HAS SOUPS 2564 WITH SCORE 2566.935
AT ITER 2250 NEW BEST:: SOT 5329 SOS 2926 HAS SOPS 2926 HAS SOUS 2564 HAS SOUPS 2564 WITH SCORE 2566.926
AT ITER 2251 NEW BEST:: SOT 5320 SOS 2915 HAS SOPS 2915 HAS SOUS 2560 HAS SOUPS 2560 WITH SCORE 2562.915
AT ITER 2271 NEW BEST:: SOT 5316 SOS 2911 HAS SOPS 2911 HAS SOUS 2556 HAS SOUPS 2556 WITH SCORE 2558.911
AT ITER 2290 NEW BEST:: SOT 5325 SOS 2912 HAS SOPS 2912 HAS SOUS 2549 HAS SOUPS 2549 WITH SCORE 2551.912
AT ITER 2297 NEW BEST:: SOT 5320 SOS 2907 HAS SOPS 2907 HAS SOUS 2544 HAS SOUPS 2544 WITH SCORE 2546.907
AT ITER 2324 NEW BEST:: SOT 5318 SOS 2902 HAS SOPS 2902 HAS SOUS 2542 HAS SOUPS 2542 WITH SCORE 2544.902
AT ITER 2337 NEW BEST:: SOT 5314 SOS 2900 HAS SOPS 2900 HAS SOUS 2540 HAS SOUPS 2540 WITH SCORE 2542.9
AT ITER 2378 NEW BEST:: SOT 5310 SOS 2898 HAS SOPS 2898 HAS SOUS 2540 HAS SOUPS 2540 WITH SCORE 2542.898
AT ITER 2408 NEW BEST:: SOT 5305 SOS 2899 HAS SOPS 2899 HAS SOUS 2537 HAS SOUPS 2537 WITH SCORE 2539.899
AT ITER 2474 NEW BEST:: SOT 5300 SOS 2894 HAS SOPS 2894 HAS SOUS 2524 HAS SOUPS 2524 WITH SCORE 2526.894
AT ITER 2483 NEW BEST:: SOT 5297 SOS 2891 HAS SOPS 2891 HAS SOUS 2521 HAS SOUPS 2521 WITH SCORE 2523.891
AT ITER 2669 NEW BEST:: SOT 5297 SOS 2891 HAS SOPS 2891 HAS SOUS 2509 HAS SOUPS 2509 WITH SCORE 2511.891
AT ITER 2750 NEW BEST:: SOT 5296 SOS 2890 HAS SOPS 2890 HAS SOUS 2508 HAS SOUPS 2508 WITH SCORE 2510.89
AT ITER 2838 NEW BEST:: SOT 5288 SOS 2883 HAS SOPS 2883 HAS SOUS 2503 HAS SOUPS 2503 WITH SCORE 2505.883
AT ITER 2879 NEW BEST:: SOT 5280 SOS 2875 HAS SOPS 2875 HAS SOUS 2495 HAS SOUPS 2495 WITH SCORE 2497.875
AT ITER 2925 NEW BEST:: SOT 5280 SOS 2872 HAS SOPS 2872 HAS SOUS 2495 HAS SOUPS 2495 WITH SCORE 2497.872
AT ITER 2938 NEW BEST:: SOT 5280 SOS 2866 HAS SOPS 2866 HAS SOUS 2495 HAS SOUPS 2495 WITH SCORE 2497.866
AT ITER 3007 NEW BEST:: SOT 5281 SOS 2853 HAS SOPS 2853 HAS SOUS 2495 HAS SOUPS 2495 WITH SCORE 2497.853
AT ITER 3008 NEW BEST:: SOT 5279 SOS 2851 HAS SOPS 2851 HAS SOUS 2493 HAS SOUPS 2493 WITH SCORE 2495.851
AT ITER 3018 NEW BEST:: SOT 5278 SOS 2850 HAS SOPS 2850 HAS SOUS 2492 HAS SOUPS 2492 WITH SCORE 2494.85
AT ITER 3041 NEW BEST:: SOT 5273 SOS 2861 HAS SOPS 2861 HAS SOUS 2490 HAS SOUPS 2490 WITH SCORE 2492.861
AT ITER 3272 NEW BEST:: SOT 5259 SOS 2847 HAS SOPS 2847 HAS SOUS 2476 HAS SOUPS 2476 WITH SCORE 2478.847
AT ITER 3287 NEW BEST:: SOT 5276 SOS 2842 HAS SOPS 2842 HAS SOUS 2475 HAS SOUPS 2475 WITH SCORE 2477.842
AT ITER 3292 NEW BEST:: SOT 5269 SOS 2835 HAS SOPS 2835 HAS SOUS 2468 HAS SOUPS 2468 WITH SCORE 2470.835
AT ITER 3299 NEW BEST:: SOT 5270 SOS 2831 HAS SOPS 2831 HAS SOUS 2467 HAS SOUPS 2467 WITH SCORE 2469.831
AT ITER 3322 NEW BEST:: SOT 5269 SOS 2831 HAS SOPS 2831 HAS SOUS 2466 HAS SOUPS 2466 WITH SCORE 2468.831
AT ITER 3328 NEW BEST:: SOT 5269 SOS 2819 HAS SOPS 2819 HAS SOUS 2463 HAS SOUPS 2463 WITH SCORE 2465.819
AT ITER 3348 NEW BEST:: SOT 5268 SOS 2821 HAS SOPS 2821 HAS SOUS 2462 HAS SOUPS 2462 WITH SCORE 2464.821
AT ITER 3366 NEW BEST:: SOT 5265 SOS 2824 HAS SOPS 2824 HAS SOUS 2461 HAS SOUPS 2461 WITH SCORE 2463.824
AT ITER 3401 NEW BEST:: SOT 5265 SOS 2823 HAS SOPS 2823 HAS SOUS 2461 HAS SOUPS 2461 WITH SCORE 2463.823
AT ITER 3483 NEW BEST:: SOT 5262 SOS 2815 HAS SOPS 2815 HAS SOUS 2458 HAS SOUPS 2458 WITH SCORE 2460.815
AT ITER 3514 NEW BEST:: SOT 5262 SOS 2814 HAS SOPS 2814 HAS SOUS 2457 HAS SOUPS 2457 WITH SCORE 2459.814
AT ITER 3517 NEW BEST:: SOT 5262 SOS 2814 HAS SOPS 2814 HAS SOUS 2456 HAS SOUPS 2456 WITH SCORE 2458.814
AT ITER 3628 NEW BEST:: SOT 5262 SOS 2813 HAS SOPS 2813 HAS SOUS 2454 HAS SOUPS 2454 WITH SCORE 2456.813
AT ITER 3630 NEW BEST:: SOT 5251 SOS 2802 HAS SOPS 2802 HAS SOUS 2454 HAS SOUPS 2454 WITH SCORE 2456.802
AT ITER 3643 NEW BEST:: SOT 5249 SOS 2800 HAS SOPS 2800 HAS SOUS 2452 HAS SOUPS 2452 WITH SCORE 2454.8
AT ITER 3858 NEW BEST:: SOT 5248 SOS 2799 HAS SOPS 2799 HAS SOUS 2451 HAS SOUPS 2451 WITH SCORE 2453.799
AT ITER 3887 NEW BEST:: SOT 5258 SOS 2809 HAS SOPS 2809 HAS SOUS 2450 HAS SOUPS 2450 WITH SCORE 2452.809
AT ITER 3981 NEW BEST:: SOT 5258 SOS 2809 HAS SOPS 2809 HAS SOUS 2447 HAS SOUPS 2447 WITH SCORE 2449.809
AT ITER 4024 NEW BEST:: SOT 5270 SOS 2813 HAS SOPS 2813 HAS SOUS 2443 HAS SOUPS 2443 WITH SCORE 2445.813
AT ITER 4027 NEW BEST:: SOT 5269 SOS 2812 HAS SOPS 2812 HAS SOUS 2442 HAS SOUPS 2442 WITH SCORE 2444.812
AT ITER 4073 NEW BEST:: SOT 5269 SOS 2812 HAS SOPS 2812 HAS SOUS 2440 HAS SOUPS 2440 WITH SCORE 2442.812
AT ITER 4115 NEW BEST:: SOT 5267 SOS 2810 HAS SOPS 2810 HAS SOUS 2430 HAS SOUPS 2430 WITH SCORE 2432.81
AT ITER 4175 NEW BEST:: SOT 5265 SOS 2810 HAS SOPS 2810 HAS SOUS 2429 HAS SOUPS 2429 WITH SCORE 2431.81
AT ITER 4270 NEW BEST:: SOT 5265 SOS 2810 HAS SOPS 2810 HAS SOUS 2428 HAS SOUPS 2428 WITH SCORE 2430.81
AT ITER 4298 NEW BEST:: SOT 5263 SOS 2808 HAS SOPS 2808 HAS SOUS 2426 HAS SOUPS 2426 WITH SCORE 2428.808
AT ITER 4338 NEW BEST:: SOT 5263 SOS 2808 HAS SOPS 2808 HAS SOUS 2422 HAS SOUPS 2422 WITH SCORE 2424.808
AT ITER 4367 NEW BEST:: SOT 5263 SOS 2808 HAS SOPS 2808 HAS SOUS 2421 HAS SOUPS 2421 WITH SCORE 2423.808
AT ITER 4437 NEW BEST:: SOT 5262 SOS 2807 HAS SOPS 2807 HAS SOUS 2420 HAS SOUPS 2420 WITH SCORE 2422.807
AT ITER 4447 NEW BEST:: SOT 5262 SOS 2806 HAS SOPS 2806 HAS SOUS 2420 HAS SOUPS 2420 WITH SCORE 2422.806
AT ITER 4490 NEW BEST:: SOT 5262 SOS 2803 HAS SOPS 2803 HAS SOUS 2417 HAS SOUPS 2417 WITH SCORE 2419.803
AT ITER 4590 NEW BEST:: SOT 5260 SOS 2802 HAS SOPS 2802 HAS SOUS 2417 HAS SOUPS 2417 WITH SCORE 2419.802
AT ITER 4599 NEW BEST:: SOT 5257 SOS 2799 HAS SOPS 2799 HAS SOUS 2414 HAS SOUPS 2414 WITH SCORE 2416.799
AT ITER 4644 NEW BEST:: SOT 5257 SOS 2799 HAS SOPS 2799 HAS SOUS 2411 HAS SOUPS 2411 WITH SCORE 2413.799
AT ITER 4657 NEW BEST:: SOT 5257 SOS 2799 HAS SOPS 2799 HAS SOUS 2409 HAS SOUPS 2409 WITH SCORE 2411.799
AT ITER 4676 NEW BEST:: SOT 5257 SOS 2799 HAS SOPS 2799 HAS SOUS 2407 HAS SOUPS 2407 WITH SCORE 2409.799
AT ITER 4698 NEW BEST:: SOT 5257 SOS 2811 HAS SOPS 2811 HAS SOUS 2405 HAS SOUPS 2405 WITH SCORE 2407.811
AT ITER 4929 NEW BEST:: SOT 5261 SOS 2809 HAS SOPS 2809 HAS SOUS 2405 HAS SOUPS 2405 WITH SCORE 2407.809
AT ITER 5064 NEW BEST:: SOT 5260 SOS 2808 HAS SOPS 2808 HAS SOUS 2404 HAS SOUPS 2404 WITH SCORE 2406.808
AT ITER 5116 NEW BEST:: SOT 5260 SOS 2807 HAS SOPS 2807 HAS SOUS 2402 HAS SOUPS 2402 WITH SCORE 2404.807
AT ITER 5152 NEW BEST:: SOT 5260 SOS 2807 HAS SOPS 2807 HAS SOUS 2397 HAS SOUPS 2397 WITH SCORE 2399.807
AT ITER 5168 NEW BEST:: SOT 5260 SOS 2807 HAS SOPS 2807 HAS SOUS 2395 HAS SOUPS 2395 WITH SCORE 2397.807
AT ITER 5218 NEW BEST:: SOT 5258 SOS 2807 HAS SOPS 2807 HAS SOUS 2394 HAS SOUPS 2394 WITH SCORE 2396.807
AT ITER 5236 NEW BEST:: SOT 5259 SOS 2805 HAS SOPS 2805 HAS SOUS 2394 HAS SOUPS 2394 WITH SCORE 2396.805
AT ITER 5404 NEW BEST:: SOT 5258 SOS 2804 HAS SOPS 2804 HAS SOUS 2394 HAS SOUPS 2394 WITH SCORE 2396.804
AT ITER 5470 NEW BEST:: SOT 5257 SOS 2803 HAS SOPS 2803 HAS SOUS 2393 HAS SOUPS 2393 WITH SCORE 2395.803
AT ITER 5554 NEW BEST:: SOT 5257 SOS 2804 HAS SOPS 2804 HAS SOUS 2392 HAS SOUPS 2392 WITH SCORE 2394.804
AT ITER 5681 NEW BEST:: SOT 5257 SOS 2804 HAS SOPS 2804 HAS SOUS 2389 HAS SOUPS 2389 WITH SCORE 2391.804
AT ITER 5694 NEW BEST:: SOT 5257 SOS 2804 HAS SOPS 2804 HAS SOUS 2388 HAS SOUPS 2388 WITH SCORE 2390.804
AT ITER 5748 NEW BEST:: SOT 5251 SOS 2801 HAS SOPS 2801 HAS SOUS 2385 HAS SOUPS 2385 WITH SCORE 2387.801
AT ITER 5779 NEW BEST:: SOT 5247 SOS 2799 HAS SOPS 2799 HAS SOUS 2383 HAS SOUPS 2383 WITH SCORE 2385.799
AT ITER 5788 NEW BEST:: SOT 5247 SOS 2799 HAS SOPS 2799 HAS SOUS 2382 HAS SOUPS 2382 WITH SCORE 2384.799
AT ITER 5820 NEW BEST:: SOT 5251 SOS 2796 HAS SOPS 2796 HAS SOUS 2382 HAS SOUPS 2382 WITH SCORE 2384.796
AT ITER 5941 NEW BEST:: SOT 5250 SOS 2791 HAS SOPS 2791 HAS SOUS 2381 HAS SOUPS 2381 WITH SCORE 2383.791
AT ITER 6002 NEW BEST:: SOT 5254 SOS 2787 HAS SOPS 2787 HAS SOUS 2381 HAS SOUPS 2381 WITH SCORE 2383.787
AT ITER 6031 NEW BEST:: SOT 5254 SOS 2784 HAS SOPS 2784 HAS SOUS 2378 HAS SOUPS 2378 WITH SCORE 2380.784
AT ITER 6063 NEW BEST:: SOT 5261 SOS 2787 HAS SOPS 2787 HAS SOUS 2377 HAS SOUPS 2377 WITH SCORE 2379.787
AT ITER 6082 NEW BEST:: SOT 5252 SOS 2794 HAS SOPS 2794 HAS SOUS 2376 HAS SOUPS 2376 WITH SCORE 2378.794
AT ITER 6100 NEW BEST:: SOT 5250 SOS 2792 HAS SOPS 2792 HAS SOUS 2374 HAS SOUPS 2374 WITH SCORE 2376.792
AT ITER 6213 NEW BEST:: SOT 5254 SOS 2788 HAS SOPS 2788 HAS SOUS 2374 HAS SOUPS 2374 WITH SCORE 2376.788
AT ITER 6544 NEW BEST:: SOT 5252 SOS 2788 HAS SOPS 2788 HAS SOUS 2372 HAS SOUPS 2372 WITH SCORE 2374.788
AT ITER 6644 NEW BEST:: SOT 5248 SOS 2784 HAS SOPS 2784 HAS SOUS 2368 HAS SOUPS 2368 WITH SCORE 2370.784
AT ITER 6721 NEW BEST:: SOT 5248 SOS 2797 HAS SOPS 2797 HAS SOUS 2367 HAS SOUPS 2367 WITH SCORE 2369.797
AT ITER 6876 NEW BEST:: SOT 5248 SOS 2796 HAS SOPS 2796 HAS SOUS 2367 HAS SOUPS 2367 WITH SCORE 2369.796
AT ITER 6956 NEW BEST:: SOT 5251 SOS 2791 HAS SOPS 2791 HAS SOUS 2367 HAS SOUPS 2367 WITH SCORE 2369.791
AT ITER 6985 NEW BEST:: SOT 5250 SOS 2790 HAS SOPS 2790 HAS SOUS 2366 HAS SOUPS 2366 WITH SCORE 2368.79
AT ITER 7036 NEW BEST:: SOT 5246 SOS 2786 HAS SOPS 2786 HAS SOUS 2362 HAS SOUPS 2362 WITH SCORE 2364.786
AT ITER 7132 NEW BEST:: SOT 5246 SOS 2788 HAS SOPS 2788 HAS SOUS 2360 HAS SOUPS 2360 WITH SCORE 2362.788
AT ITER 7171 NEW BEST:: SOT 5246 SOS 2788 HAS SOPS 2788 HAS SOUS 2356 HAS SOUPS 2356 WITH SCORE 2358.788
AT ITER 7184 NEW BEST:: SOT 5242 SOS 2784 HAS SOPS 2784 HAS SOUS 2352 HAS SOUPS 2352 WITH SCORE 2354.784
AT ITER 7298 NEW BEST:: SOT 5239 SOS 2781 HAS SOPS 2781 HAS SOUS 2352 HAS SOUPS 2352 WITH SCORE 2354.781
AT ITER 7559 NEW BEST:: SOT 5239 SOS 2781 HAS SOPS 2781 HAS SOUS 2350 HAS SOUPS 2350 WITH SCORE 2352.781
AT ITER 7682 NEW BEST:: SOT 5239 SOS 2781 HAS SOPS 2781 HAS SOUS 2339 HAS SOUPS 2339 WITH SCORE 2341.781
AT ITER 7717 NEW BEST:: SOT 5237 SOS 2783 HAS SOPS 2783 HAS SOUS 2338 HAS SOUPS 2338 WITH SCORE 2340.783
AT ITER 7800 NEW BEST:: SOT 5236 SOS 2782 HAS SOPS 2782 HAS SOUS 2337 HAS SOUPS 2337 WITH SCORE 2339.782
AT ITER 8031 NEW BEST:: SOT 5238 SOS 2778 HAS SOPS 2778 HAS SOUS 2336 HAS SOUPS 2336 WITH SCORE 2338.778
AT ITER 8105 NEW BEST:: SOT 5233 SOS 2777 HAS SOPS 2777 HAS SOUS 2335 HAS SOUPS 2335 WITH SCORE 2337.777
AT ITER 8175 NEW BEST:: SOT 5229 SOS 2777 HAS SOPS 2777 HAS SOUS 2333 HAS SOUPS 2333 WITH SCORE 2335.777
AT ITER 8403 NEW BEST:: SOT 5228 SOS 2776 HAS SOPS 2776 HAS SOUS 2332 HAS SOUPS 2332 WITH SCORE 2334.776
AT ITER 8424 NEW BEST:: SOT 5226 SOS 2769 HAS SOPS 2769 HAS SOUS 2330 HAS SOUPS 2330 WITH SCORE 2332.769
AT ITER 8595 NEW BEST:: SOT 5223 SOS 2758 HAS SOPS 2758 HAS SOUS 2330 HAS SOUPS 2330 WITH SCORE 2332.758
AT ITER 8740 NEW BEST:: SOT 5223 SOS 2758 HAS SOPS 2758 HAS SOUS 2329 HAS SOUPS 2329 WITH SCORE 2331.758
AT ITER 8772 NEW BEST:: SOT 5222 SOS 2751 HAS SOPS 2751 HAS SOUS 2322 HAS SOUPS 2322 WITH SCORE 2324.751
AT ITER 8859 NEW BEST:: SOT 5222 SOS 2751 HAS SOPS 2751 HAS SOUS 2321 HAS SOUPS 2321 WITH SCORE 2323.751
AT ITER 8914 NEW BEST:: SOT 5203 SOS 2743 HAS SOPS 2743 HAS SOUS 2313 HAS SOUPS 2313 WITH SCORE 2315.743
AT ITER 9023 NEW BEST:: SOT 5204 SOS 2742 HAS SOPS 2742 HAS SOUS 2313 HAS SOUPS 2313 WITH SCORE 2315.742
AT ITER 9101 NEW BEST:: SOT 5204 SOS 2742 HAS SOPS 2742 HAS SOUS 2311 HAS SOUPS 2311 WITH SCORE 2313.742
AT ITER 9250 NEW BEST:: SOT 5202 SOS 2741 HAS SOPS 2741 HAS SOUS 2310 HAS SOUPS 2310 WITH SCORE 2312.741
AT ITER 9267 NEW BEST:: SOT 5201 SOS 2741 HAS SOPS 2741 HAS SOUS 2309 HAS SOUPS 2309 WITH SCORE 2311.741
AT ITER 9397 NEW BEST:: SOT 5201 SOS 2745 HAS SOPS 2745 HAS SOUS 2308 HAS SOUPS 2308 WITH SCORE 2310.745
AT ITER 9576 NEW BEST:: SOT 5201 SOS 2745 HAS SOPS 2745 HAS SOUS 2307 HAS SOUPS 2307 WITH SCORE 2309.745
AT ITER 9599 NEW BEST:: SOT 5197 SOS 2751 HAS SOPS 2751 HAS SOUS 2305 HAS SOUPS 2305 WITH SCORE 2307.751
AT ITER 9689 NEW BEST:: SOT 5197 SOS 2751 HAS SOPS 2751 HAS SOUS 2303 HAS SOUPS 2303 WITH SCORE 2305.751
AT ITER 9787 NEW BEST:: SOT 5197 SOS 2749 HAS SOPS 2749 HAS SOUS 2302 HAS SOUPS 2302 WITH SCORE 2304.749
AT ITER 9806 NEW BEST:: SOT 5195 SOS 2747 HAS SOPS 2747 HAS SOUS 2300 HAS SOUPS 2300 WITH SCORE 2302.747
AT ITER 9812 NEW BEST:: SOT 5195 SOS 2746 HAS SOPS 2746 HAS SOUS 2300 HAS SOUPS 2300 WITH SCORE 2302.746
AT ITER 9813 NEW BEST:: SOT 5193 SOS 2744 HAS SOPS 2744 HAS SOUS 2298 HAS SOUPS 2298 WITH SCORE 2300.744
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 1679153193029

--------------------
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-COL-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-COL-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-167912695300144"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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