fond

jQuery Multi Level CSS Menu Css3Menu.com

Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r491-tall-167912710300304
Last Updated
May 14, 2023

About the Execution of Smart+red for Sudoku-PT-BN04

Execution Summary
Max Memory
Used (MB)		 Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
1365.144 89763.00 93025.00 635.30 6.1556E+0007 5.2630E+0008 1 64 normal

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.r491-tall-167912710300304.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 smartxred
Input is Sudoku-PT-BN04, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r491-tall-167912710300304
=====================================================================

--------------------
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 1679243522327

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=Sudoku-PT-BN04
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-19 16:32:04] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-19 16:32:04] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-19 16:32:04] [INFO ] Load time of PNML (sax parser for PT used): 40 ms
[2023-03-19 16:32:04] [INFO ] Transformed 128 places.
[2023-03-19 16:32:04] [INFO ] Transformed 64 transitions.
[2023-03-19 16:32:04] [INFO ] Parsed PT model containing 128 places and 64 transitions and 320 arcs in 107 ms.
[2023-03-19 16:32:04] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 128 places, 64 transitions and 320 arcs took 4 ms.
Total runtime 149 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Sudoku (PT), instance BN04
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 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 26 NEW BEST:: SOT 5809 SOS 3431 HAS SOPS 3431 HAS SOUS 3205 HAS SOUPS 3205 WITH SCORE 3208.431
AT ITER 28 NEW BEST:: SOT 5828 SOS 3406 HAS SOPS 3406 HAS SOUS 3191 HAS SOUPS 3191 WITH SCORE 3194.406
AT ITER 34 NEW BEST:: SOT 5823 SOS 3404 HAS SOPS 3404 HAS SOUS 3189 HAS SOUPS 3189 WITH SCORE 3192.404
AT ITER 35 NEW BEST:: SOT 5823 SOS 3390 HAS SOPS 3390 HAS SOUS 3182 HAS SOUPS 3182 WITH SCORE 3185.39
AT ITER 36 NEW BEST:: SOT 5811 SOS 3375 HAS SOPS 3375 HAS SOUS 3152 HAS SOUPS 3152 WITH SCORE 3155.375
AT ITER 54 NEW BEST:: SOT 5811 SOS 3365 HAS SOPS 3365 HAS SOUS 3152 HAS SOUPS 3152 WITH SCORE 3155.365
AT ITER 58 NEW BEST:: SOT 5809 SOS 3363 HAS SOPS 3363 HAS SOUS 3150 HAS SOUPS 3150 WITH SCORE 3153.363
AT ITER 66 NEW BEST:: SOT 5809 SOS 3355 HAS SOPS 3355 HAS SOUS 3150 HAS SOUPS 3150 WITH SCORE 3153.355
AT ITER 74 NEW BEST:: SOT 5795 SOS 3329 HAS SOPS 3329 HAS SOUS 3148 HAS SOUPS 3148 WITH SCORE 3151.329
AT ITER 107 NEW BEST:: SOT 5804 SOS 3318 HAS SOPS 3318 HAS SOUS 3144 HAS SOUPS 3144 WITH SCORE 3147.318
AT ITER 124 NEW BEST:: SOT 5804 SOS 3308 HAS SOPS 3308 HAS SOUS 3134 HAS SOUPS 3134 WITH SCORE 3137.308
AT ITER 135 NEW BEST:: SOT 5804 SOS 3305 HAS SOPS 3305 HAS SOUS 3132 HAS SOUPS 3132 WITH SCORE 3135.305
AT ITER 142 NEW BEST:: SOT 5793 SOS 3406 HAS SOPS 3406 HAS SOUS 3125 HAS SOUPS 3125 WITH SCORE 3128.406
AT ITER 146 NEW BEST:: SOT 5746 SOS 3400 HAS SOPS 3400 HAS SOUS 3119 HAS SOUPS 3119 WITH SCORE 3122.4
AT ITER 147 NEW BEST:: SOT 5746 SOS 3380 HAS SOPS 3380 HAS SOUS 3099 HAS SOUPS 3099 WITH SCORE 3102.38
AT ITER 153 NEW BEST:: SOT 5746 SOS 3377 HAS SOPS 3377 HAS SOUS 3099 HAS SOUPS 3099 WITH SCORE 3102.377
AT ITER 159 NEW BEST:: SOT 5746 SOS 3370 HAS SOPS 3370 HAS SOUS 3096 HAS SOUPS 3096 WITH SCORE 3099.37
AT ITER 163 NEW BEST:: SOT 5746 SOS 3368 HAS SOPS 3368 HAS SOUS 3094 HAS SOUPS 3094 WITH SCORE 3097.368
AT ITER 179 NEW BEST:: SOT 5744 SOS 3364 HAS SOPS 3364 HAS SOUS 3088 HAS SOUPS 3088 WITH SCORE 3091.364
AT ITER 199 NEW BEST:: SOT 5731 SOS 3351 HAS SOPS 3351 HAS SOUS 3082 HAS SOUPS 3082 WITH SCORE 3085.351
AT ITER 206 NEW BEST:: SOT 5731 SOS 3343 HAS SOPS 3343 HAS SOUS 3082 HAS SOUPS 3082 WITH SCORE 3085.343
AT ITER 237 NEW BEST:: SOT 5721 SOS 3333 HAS SOPS 3333 HAS SOUS 3072 HAS SOUPS 3072 WITH SCORE 3075.333
AT ITER 244 NEW BEST:: SOT 5688 SOS 3298 HAS SOPS 3298 HAS SOUS 3056 HAS SOUPS 3056 WITH SCORE 3059.298
AT ITER 246 NEW BEST:: SOT 5661 SOS 3270 HAS SOPS 3270 HAS SOUS 3026 HAS SOUPS 3026 WITH SCORE 3029.27
AT ITER 270 NEW BEST:: SOT 5657 SOS 3262 HAS SOPS 3262 HAS SOUS 3022 HAS SOUPS 3022 WITH SCORE 3025.262
AT ITER 272 NEW BEST:: SOT 5656 SOS 3259 HAS SOPS 3259 HAS SOUS 3020 HAS SOUPS 3020 WITH SCORE 3023.259
AT ITER 294 NEW BEST:: SOT 5649 SOS 3255 HAS SOPS 3255 HAS SOUS 3017 HAS SOUPS 3017 WITH SCORE 3020.255
AT ITER 298 NEW BEST:: SOT 5634 SOS 3242 HAS SOPS 3242 HAS SOUS 3004 HAS SOUPS 3004 WITH SCORE 3007.242
AT ITER 307 NEW BEST:: SOT 5634 SOS 3227 HAS SOPS 3227 HAS SOUS 3004 HAS SOUPS 3004 WITH SCORE 3007.227
AT ITER 330 NEW BEST:: SOT 5673 SOS 3221 HAS SOPS 3221 HAS SOUS 2989 HAS SOUPS 2989 WITH SCORE 2992.221
AT ITER 333 NEW BEST:: SOT 5663 SOS 3197 HAS SOPS 3197 HAS SOUS 2973 HAS SOUPS 2973 WITH SCORE 2976.197
AT ITER 348 NEW BEST:: SOT 5669 SOS 3202 HAS SOPS 3202 HAS SOUS 2959 HAS SOUPS 2959 WITH SCORE 2962.202
AT ITER 367 NEW BEST:: SOT 5670 SOS 3198 HAS SOPS 3198 HAS SOUS 2955 HAS SOUPS 2955 WITH SCORE 2958.198
AT ITER 383 NEW BEST:: SOT 5682 SOS 3134 HAS SOPS 3134 HAS SOUS 2955 HAS SOUPS 2955 WITH SCORE 2958.134
AT ITER 400 NEW BEST:: SOT 5682 SOS 3119 HAS SOPS 3119 HAS SOUS 2939 HAS SOUPS 2939 WITH SCORE 2942.119
AT ITER 403 NEW BEST:: SOT 5678 SOS 3114 HAS SOPS 3114 HAS SOUS 2935 HAS SOUPS 2935 WITH SCORE 2938.114
AT ITER 419 NEW BEST:: SOT 5671 SOS 3108 HAS SOPS 3108 HAS SOUS 2929 HAS SOUPS 2929 WITH SCORE 2932.108
AT ITER 427 NEW BEST:: SOT 5658 SOS 3102 HAS SOPS 3102 HAS SOUS 2908 HAS SOUPS 2908 WITH SCORE 2911.102
AT ITER 452 NEW BEST:: SOT 5673 SOS 3094 HAS SOPS 3094 HAS SOUS 2907 HAS SOUPS 2907 WITH SCORE 2910.094
AT ITER 453 NEW BEST:: SOT 5661 SOS 3081 HAS SOPS 3081 HAS SOUS 2896 HAS SOUPS 2896 WITH SCORE 2899.081
AT ITER 457 NEW BEST:: SOT 5661 SOS 3078 HAS SOPS 3078 HAS SOUS 2893 HAS SOUPS 2893 WITH SCORE 2896.078
AT ITER 466 NEW BEST:: SOT 5655 SOS 3078 HAS SOPS 3078 HAS SOUS 2887 HAS SOUPS 2887 WITH SCORE 2890.078
AT ITER 477 NEW BEST:: SOT 5655 SOS 3078 HAS SOPS 3078 HAS SOUS 2885 HAS SOUPS 2885 WITH SCORE 2888.078
AT ITER 497 NEW BEST:: SOT 5655 SOS 3056 HAS SOPS 3056 HAS SOUS 2885 HAS SOUPS 2885 WITH SCORE 2888.056
AT ITER 500 NEW BEST:: SOT 5654 SOS 3051 HAS SOPS 3051 HAS SOUS 2884 HAS SOUPS 2884 WITH SCORE 2887.051
AT ITER 503 NEW BEST:: SOT 5650 SOS 3054 HAS SOPS 3054 HAS SOUS 2870 HAS SOUPS 2870 WITH SCORE 2873.054
AT ITER 513 NEW BEST:: SOT 5650 SOS 3062 HAS SOPS 3062 HAS SOUS 2868 HAS SOUPS 2868 WITH SCORE 2871.062
AT ITER 522 NEW BEST:: SOT 5659 SOS 3043 HAS SOPS 3043 HAS SOUS 2857 HAS SOUPS 2857 WITH SCORE 2860.043
AT ITER 542 NEW BEST:: SOT 5656 SOS 3043 HAS SOPS 3043 HAS SOUS 2854 HAS SOUPS 2854 WITH SCORE 2857.043
AT ITER 548 NEW BEST:: SOT 5656 SOS 3035 HAS SOPS 3035 HAS SOUS 2848 HAS SOUPS 2848 WITH SCORE 2851.035
AT ITER 557 NEW BEST:: SOT 5654 SOS 3033 HAS SOPS 3033 HAS SOUS 2846 HAS SOUPS 2846 WITH SCORE 2849.033
AT ITER 589 NEW BEST:: SOT 5653 SOS 3030 HAS SOPS 3030 HAS SOUS 2845 HAS SOUPS 2845 WITH SCORE 2848.03
AT ITER 591 NEW BEST:: SOT 5653 SOS 3025 HAS SOPS 3025 HAS SOUS 2845 HAS SOUPS 2845 WITH SCORE 2848.025
AT ITER 596 NEW BEST:: SOT 5653 SOS 3048 HAS SOPS 3048 HAS SOUS 2839 HAS SOUPS 2839 WITH SCORE 2842.048
AT ITER 598 NEW BEST:: SOT 5658 SOS 3053 HAS SOPS 3053 HAS SOUS 2837 HAS SOUPS 2837 WITH SCORE 2840.053
AT ITER 605 NEW BEST:: SOT 5658 SOS 3101 HAS SOPS 3101 HAS SOUS 2834 HAS SOUPS 2834 WITH SCORE 2837.101
AT ITER 640 NEW BEST:: SOT 5636 SOS 3075 HAS SOPS 3075 HAS SOUS 2822 HAS SOUPS 2822 WITH SCORE 2825.075
AT ITER 659 NEW BEST:: SOT 5636 SOS 3070 HAS SOPS 3070 HAS SOUS 2817 HAS SOUPS 2817 WITH SCORE 2820.07
AT ITER 727 NEW BEST:: SOT 5643 SOS 3073 HAS SOPS 3073 HAS SOUS 2815 HAS SOUPS 2815 WITH SCORE 2818.073
AT ITER 737 NEW BEST:: SOT 5640 SOS 3074 HAS SOPS 3074 HAS SOUS 2812 HAS SOUPS 2812 WITH SCORE 2815.074
AT ITER 752 NEW BEST:: SOT 5640 SOS 3062 HAS SOPS 3062 HAS SOUS 2806 HAS SOUPS 2806 WITH SCORE 2809.062
AT ITER 788 NEW BEST:: SOT 5640 SOS 3052 HAS SOPS 3052 HAS SOUS 2796 HAS SOUPS 2796 WITH SCORE 2799.052
AT ITER 794 NEW BEST:: SOT 5629 SOS 3033 HAS SOPS 3033 HAS SOUS 2787 HAS SOUPS 2787 WITH SCORE 2790.033
AT ITER 817 NEW BEST:: SOT 5622 SOS 3016 HAS SOPS 3016 HAS SOUS 2780 HAS SOUPS 2780 WITH SCORE 2783.016
AT ITER 831 NEW BEST:: SOT 5622 SOS 3015 HAS SOPS 3015 HAS SOUS 2780 HAS SOUPS 2780 WITH SCORE 2783.015
AT ITER 836 NEW BEST:: SOT 5622 SOS 3009 HAS SOPS 3009 HAS SOUS 2779 HAS SOUPS 2779 WITH SCORE 2782.009
AT ITER 857 NEW BEST:: SOT 5618 SOS 3005 HAS SOPS 3005 HAS SOUS 2775 HAS SOUPS 2775 WITH SCORE 2778.005
AT ITER 865 NEW BEST:: SOT 5618 SOS 3001 HAS SOPS 3001 HAS SOUS 2771 HAS SOUPS 2771 WITH SCORE 2774.001
AT ITER 869 NEW BEST:: SOT 5618 SOS 3001 HAS SOPS 3001 HAS SOUS 2768 HAS SOUPS 2768 WITH SCORE 2771.001
AT ITER 870 NEW BEST:: SOT 5618 SOS 3030 HAS SOPS 3030 HAS SOUS 2765 HAS SOUPS 2765 WITH SCORE 2768.03
AT ITER 911 NEW BEST:: SOT 5618 SOS 3029 HAS SOPS 3029 HAS SOUS 2764 HAS SOUPS 2764 WITH SCORE 2767.029
AT ITER 930 NEW BEST:: SOT 5612 SOS 3054 HAS SOPS 3054 HAS SOUS 2758 HAS SOUPS 2758 WITH SCORE 2761.054
AT ITER 951 NEW BEST:: SOT 5556 SOS 2995 HAS SOPS 2995 HAS SOUS 2708 HAS SOUPS 2708 WITH SCORE 2710.995
AT ITER 958 NEW BEST:: SOT 5552 SOS 2969 HAS SOPS 2969 HAS SOUS 2702 HAS SOUPS 2702 WITH SCORE 2704.969
AT ITER 980 NEW BEST:: SOT 5554 SOS 2966 HAS SOPS 2966 HAS SOUS 2699 HAS SOUPS 2699 WITH SCORE 2701.966
AT ITER 984 NEW BEST:: SOT 5554 SOS 2962 HAS SOPS 2962 HAS SOUS 2699 HAS SOUPS 2699 WITH SCORE 2701.962
AT ITER 997 NEW BEST:: SOT 5552 SOS 2940 HAS SOPS 2940 HAS SOUS 2688 HAS SOUPS 2688 WITH SCORE 2690.94
AT ITER 1019 NEW BEST:: SOT 5545 SOS 2934 HAS SOPS 2934 HAS SOUS 2682 HAS SOUPS 2682 WITH SCORE 2684.934
AT ITER 1032 NEW BEST:: SOT 5545 SOS 2928 HAS SOPS 2928 HAS SOUS 2677 HAS SOUPS 2677 WITH SCORE 2679.928
AT ITER 1042 NEW BEST:: SOT 5544 SOS 2927 HAS SOPS 2927 HAS SOUS 2676 HAS SOUPS 2676 WITH SCORE 2678.927
AT ITER 1067 NEW BEST:: SOT 5544 SOS 2926 HAS SOPS 2926 HAS SOUS 2675 HAS SOUPS 2675 WITH SCORE 2677.926
AT ITER 1077 NEW BEST:: SOT 5543 SOS 2915 HAS SOPS 2915 HAS SOUS 2674 HAS SOUPS 2674 WITH SCORE 2676.915
AT ITER 1095 NEW BEST:: SOT 5543 SOS 2914 HAS SOPS 2914 HAS SOUS 2674 HAS SOUPS 2674 WITH SCORE 2676.914
AT ITER 1108 NEW BEST:: SOT 5543 SOS 2926 HAS SOPS 2926 HAS SOUS 2662 HAS SOUPS 2662 WITH SCORE 2664.926
AT ITER 1172 NEW BEST:: SOT 5543 SOS 2922 HAS SOPS 2922 HAS SOUS 2662 HAS SOUPS 2662 WITH SCORE 2664.922
AT ITER 1173 NEW BEST:: SOT 5543 SOS 2920 HAS SOPS 2920 HAS SOUS 2650 HAS SOUPS 2650 WITH SCORE 2652.92
AT ITER 1180 NEW BEST:: SOT 5543 SOS 2920 HAS SOPS 2920 HAS SOUS 2647 HAS SOUPS 2647 WITH SCORE 2649.92
AT ITER 1193 NEW BEST:: SOT 5537 SOS 2916 HAS SOPS 2916 HAS SOUS 2643 HAS SOUPS 2643 WITH SCORE 2645.916
AT ITER 1207 NEW BEST:: SOT 5537 SOS 2916 HAS SOPS 2916 HAS SOUS 2639 HAS SOUPS 2639 WITH SCORE 2641.916
AT ITER 1209 NEW BEST:: SOT 5527 SOS 2921 HAS SOPS 2921 HAS SOUS 2636 HAS SOUPS 2636 WITH SCORE 2638.921
AT ITER 1296 NEW BEST:: SOT 5513 SOS 2919 HAS SOPS 2919 HAS SOUS 2634 HAS SOUPS 2634 WITH SCORE 2636.919
AT ITER 1341 NEW BEST:: SOT 5512 SOS 2920 HAS SOPS 2920 HAS SOUS 2633 HAS SOUPS 2633 WITH SCORE 2635.92
AT ITER 1342 NEW BEST:: SOT 5512 SOS 2920 HAS SOPS 2920 HAS SOUS 2630 HAS SOUPS 2630 WITH SCORE 2632.92
AT ITER 1353 NEW BEST:: SOT 5527 SOS 2931 HAS SOPS 2931 HAS SOUS 2619 HAS SOUPS 2619 WITH SCORE 2621.931
AT ITER 1357 NEW BEST:: SOT 5527 SOS 2931 HAS SOPS 2931 HAS SOUS 2618 HAS SOUPS 2618 WITH SCORE 2620.931
AT ITER 1409 NEW BEST:: SOT 5527 SOS 2937 HAS SOPS 2937 HAS SOUS 2616 HAS SOUPS 2616 WITH SCORE 2618.937
AT ITER 1422 NEW BEST:: SOT 5526 SOS 2932 HAS SOPS 2932 HAS SOUS 2615 HAS SOUPS 2615 WITH SCORE 2617.932
AT ITER 1464 NEW BEST:: SOT 5523 SOS 2931 HAS SOPS 2931 HAS SOUS 2614 HAS SOUPS 2614 WITH SCORE 2616.931
AT ITER 1598 NEW BEST:: SOT 5517 SOS 2930 HAS SOPS 2930 HAS SOUS 2614 HAS SOUPS 2614 WITH SCORE 2616.93
AT ITER 1642 NEW BEST:: SOT 5517 SOS 2924 HAS SOPS 2924 HAS SOUS 2608 HAS SOUPS 2608 WITH SCORE 2610.924
AT ITER 1710 NEW BEST:: SOT 5517 SOS 2926 HAS SOPS 2926 HAS SOUS 2607 HAS SOUPS 2607 WITH SCORE 2609.926
AT ITER 1711 NEW BEST:: SOT 5514 SOS 2923 HAS SOPS 2923 HAS SOUS 2604 HAS SOUPS 2604 WITH SCORE 2606.923
AT ITER 1741 NEW BEST:: SOT 5505 SOS 2914 HAS SOPS 2914 HAS SOUS 2595 HAS SOUPS 2595 WITH SCORE 2597.914
AT ITER 1808 NEW BEST:: SOT 5501 SOS 2912 HAS SOPS 2912 HAS SOUS 2593 HAS SOUPS 2593 WITH SCORE 2595.912
AT ITER 1823 NEW BEST:: SOT 5501 SOS 2910 HAS SOPS 2910 HAS SOUS 2591 HAS SOUPS 2591 WITH SCORE 2593.91
AT ITER 1860 NEW BEST:: SOT 5497 SOS 2906 HAS SOPS 2906 HAS SOUS 2591 HAS SOUPS 2591 WITH SCORE 2593.906
AT ITER 1866 NEW BEST:: SOT 5494 SOS 2903 HAS SOPS 2903 HAS SOUS 2588 HAS SOUPS 2588 WITH SCORE 2590.903
AT ITER 1884 NEW BEST:: SOT 5495 SOS 2898 HAS SOPS 2898 HAS SOUS 2587 HAS SOUPS 2587 WITH SCORE 2589.898
AT ITER 1901 NEW BEST:: SOT 5496 SOS 2883 HAS SOPS 2883 HAS SOUS 2586 HAS SOUPS 2586 WITH SCORE 2588.883
AT ITER 1929 NEW BEST:: SOT 5496 SOS 2883 HAS SOPS 2883 HAS SOUS 2582 HAS SOUPS 2582 WITH SCORE 2584.883
AT ITER 1962 NEW BEST:: SOT 5473 SOS 2877 HAS SOPS 2877 HAS SOUS 2576 HAS SOUPS 2576 WITH SCORE 2578.877
AT ITER 2000 NEW BEST:: SOT 5473 SOS 2877 HAS SOPS 2877 HAS SOUS 2575 HAS SOUPS 2575 WITH SCORE 2577.877
AT ITER 2039 NEW BEST:: SOT 5473 SOS 2877 HAS SOPS 2877 HAS SOUS 2574 HAS SOUPS 2574 WITH SCORE 2576.877
AT ITER 2111 NEW BEST:: SOT 5483 SOS 2879 HAS SOPS 2879 HAS SOUS 2569 HAS SOUPS 2569 WITH SCORE 2571.879
AT ITER 2132 NEW BEST:: SOT 5482 SOS 2896 HAS SOPS 2896 HAS SOUS 2555 HAS SOUPS 2555 WITH SCORE 2557.896
AT ITER 2234 NEW BEST:: SOT 5477 SOS 2891 HAS SOPS 2891 HAS SOUS 2550 HAS SOUPS 2550 WITH SCORE 2552.891
AT ITER 2273 NEW BEST:: SOT 5476 SOS 2890 HAS SOPS 2890 HAS SOUS 2549 HAS SOUPS 2549 WITH SCORE 2551.89
AT ITER 2304 NEW BEST:: SOT 5473 SOS 2887 HAS SOPS 2887 HAS SOUS 2546 HAS SOUPS 2546 WITH SCORE 2548.887
AT ITER 2367 NEW BEST:: SOT 5480 SOS 2886 HAS SOPS 2886 HAS SOUS 2537 HAS SOUPS 2537 WITH SCORE 2539.886
AT ITER 2410 NEW BEST:: SOT 5477 SOS 2883 HAS SOPS 2883 HAS SOUS 2534 HAS SOUPS 2534 WITH SCORE 2536.883
AT ITER 2445 NEW BEST:: SOT 5477 SOS 2880 HAS SOPS 2880 HAS SOUS 2534 HAS SOUPS 2534 WITH SCORE 2536.88
AT ITER 2514 NEW BEST:: SOT 5469 SOS 2864 HAS SOPS 2864 HAS SOUS 2526 HAS SOUPS 2526 WITH SCORE 2528.864
AT ITER 2541 NEW BEST:: SOT 5469 SOS 2864 HAS SOPS 2864 HAS SOUS 2520 HAS SOUPS 2520 WITH SCORE 2522.864
AT ITER 2552 NEW BEST:: SOT 5464 SOS 2863 HAS SOPS 2863 HAS SOUS 2519 HAS SOUPS 2519 WITH SCORE 2521.863
AT ITER 2558 NEW BEST:: SOT 5464 SOS 2845 HAS SOPS 2845 HAS SOUS 2516 HAS SOUPS 2516 WITH SCORE 2518.845
AT ITER 2582 NEW BEST:: SOT 5452 SOS 2843 HAS SOPS 2843 HAS SOUS 2514 HAS SOUPS 2514 WITH SCORE 2516.843
AT ITER 2585 NEW BEST:: SOT 5452 SOS 2839 HAS SOPS 2839 HAS SOUS 2514 HAS SOUPS 2514 WITH SCORE 2516.839
AT ITER 2604 NEW BEST:: SOT 5452 SOS 2849 HAS SOPS 2849 HAS SOUS 2510 HAS SOUPS 2510 WITH SCORE 2512.849
AT ITER 2618 NEW BEST:: SOT 5450 SOS 2847 HAS SOPS 2847 HAS SOUS 2508 HAS SOUPS 2508 WITH SCORE 2510.847
AT ITER 2649 NEW BEST:: SOT 5450 SOS 2847 HAS SOPS 2847 HAS SOUS 2507 HAS SOUPS 2507 WITH SCORE 2509.847
AT ITER 2663 NEW BEST:: SOT 5450 SOS 2845 HAS SOPS 2845 HAS SOUS 2506 HAS SOUPS 2506 WITH SCORE 2508.845
AT ITER 2676 NEW BEST:: SOT 5450 SOS 2840 HAS SOPS 2840 HAS SOUS 2503 HAS SOUPS 2503 WITH SCORE 2505.84
AT ITER 2737 NEW BEST:: SOT 5454 SOS 2822 HAS SOPS 2822 HAS SOUS 2498 HAS SOUPS 2498 WITH SCORE 2500.822
AT ITER 2792 NEW BEST:: SOT 5454 SOS 2821 HAS SOPS 2821 HAS SOUS 2497 HAS SOUPS 2497 WITH SCORE 2499.821
AT ITER 2802 NEW BEST:: SOT 5454 SOS 2821 HAS SOPS 2821 HAS SOUS 2490 HAS SOUPS 2490 WITH SCORE 2492.821
AT ITER 2829 NEW BEST:: SOT 5453 SOS 2824 HAS SOPS 2824 HAS SOUS 2487 HAS SOUPS 2487 WITH SCORE 2489.824
AT ITER 2847 NEW BEST:: SOT 5445 SOS 2819 HAS SOPS 2819 HAS SOUS 2482 HAS SOUPS 2482 WITH SCORE 2484.819
AT ITER 2865 NEW BEST:: SOT 5441 SOS 2817 HAS SOPS 2817 HAS SOUS 2479 HAS SOUPS 2479 WITH SCORE 2481.817
AT ITER 2870 NEW BEST:: SOT 5441 SOS 2817 HAS SOPS 2817 HAS SOUS 2475 HAS SOUPS 2475 WITH SCORE 2477.817
AT ITER 2945 NEW BEST:: SOT 5450 SOS 2800 HAS SOPS 2800 HAS SOUS 2471 HAS SOUPS 2471 WITH SCORE 2473.8
AT ITER 2946 NEW BEST:: SOT 5451 SOS 2799 HAS SOPS 2799 HAS SOUS 2471 HAS SOUPS 2471 WITH SCORE 2473.799
AT ITER 2968 NEW BEST:: SOT 5448 SOS 2796 HAS SOPS 2796 HAS SOUS 2468 HAS SOUPS 2468 WITH SCORE 2470.796
AT ITER 2994 NEW BEST:: SOT 5444 SOS 2794 HAS SOPS 2794 HAS SOUS 2466 HAS SOUPS 2466 WITH SCORE 2468.794
AT ITER 3077 NEW BEST:: SOT 5425 SOS 2789 HAS SOPS 2789 HAS SOUS 2461 HAS SOUPS 2461 WITH SCORE 2463.789
AT ITER 3089 NEW BEST:: SOT 5420 SOS 2786 HAS SOPS 2786 HAS SOUS 2458 HAS SOUPS 2458 WITH SCORE 2460.786
AT ITER 3138 NEW BEST:: SOT 5420 SOS 2787 HAS SOPS 2787 HAS SOUS 2456 HAS SOUPS 2456 WITH SCORE 2458.787
AT ITER 3171 NEW BEST:: SOT 5419 SOS 2786 HAS SOPS 2786 HAS SOUS 2455 HAS SOUPS 2455 WITH SCORE 2457.786
AT ITER 3227 NEW BEST:: SOT 5419 SOS 2787 HAS SOPS 2787 HAS SOUS 2453 HAS SOUPS 2453 WITH SCORE 2455.787
AT ITER 3245 NEW BEST:: SOT 5419 SOS 2785 HAS SOPS 2785 HAS SOUS 2451 HAS SOUPS 2451 WITH SCORE 2453.785
AT ITER 3268 NEW BEST:: SOT 5418 SOS 2784 HAS SOPS 2784 HAS SOUS 2450 HAS SOUPS 2450 WITH SCORE 2452.784
AT ITER 3277 NEW BEST:: SOT 5418 SOS 2780 HAS SOPS 2780 HAS SOUS 2450 HAS SOUPS 2450 WITH SCORE 2452.78
AT ITER 3312 NEW BEST:: SOT 5413 SOS 2781 HAS SOPS 2781 HAS SOUS 2448 HAS SOUPS 2448 WITH SCORE 2450.781
AT ITER 3422 NEW BEST:: SOT 5417 SOS 2780 HAS SOPS 2780 HAS SOUS 2447 HAS SOUPS 2447 WITH SCORE 2449.78
AT ITER 3523 NEW BEST:: SOT 5416 SOS 2779 HAS SOPS 2779 HAS SOUS 2446 HAS SOUPS 2446 WITH SCORE 2448.779
AT ITER 3601 NEW BEST:: SOT 5412 SOS 2775 HAS SOPS 2775 HAS SOUS 2442 HAS SOUPS 2442 WITH SCORE 2444.775
AT ITER 3631 NEW BEST:: SOT 5412 SOS 2772 HAS SOPS 2772 HAS SOUS 2441 HAS SOUPS 2441 WITH SCORE 2443.772
AT ITER 3738 NEW BEST:: SOT 5414 SOS 2774 HAS SOPS 2774 HAS SOUS 2432 HAS SOUPS 2432 WITH SCORE 2434.774
AT ITER 3743 NEW BEST:: SOT 5414 SOS 2773 HAS SOPS 2773 HAS SOUS 2431 HAS SOUPS 2431 WITH SCORE 2433.773
AT ITER 3829 NEW BEST:: SOT 5412 SOS 2771 HAS SOPS 2771 HAS SOUS 2429 HAS SOUPS 2429 WITH SCORE 2431.771
AT ITER 3846 NEW BEST:: SOT 5411 SOS 2770 HAS SOPS 2770 HAS SOUS 2428 HAS SOUPS 2428 WITH SCORE 2430.77
AT ITER 3954 NEW BEST:: SOT 5416 SOS 2765 HAS SOPS 2765 HAS SOUS 2428 HAS SOUPS 2428 WITH SCORE 2430.765
AT ITER 4010 NEW BEST:: SOT 5406 SOS 2755 HAS SOPS 2755 HAS SOUS 2418 HAS SOUPS 2418 WITH SCORE 2420.755
AT ITER 4077 NEW BEST:: SOT 5404 SOS 2753 HAS SOPS 2753 HAS SOUS 2416 HAS SOUPS 2416 WITH SCORE 2418.753
AT ITER 4221 NEW BEST:: SOT 5404 SOS 2752 HAS SOPS 2752 HAS SOUS 2416 HAS SOUPS 2416 WITH SCORE 2418.752
AT ITER 4239 NEW BEST:: SOT 5401 SOS 2753 HAS SOPS 2753 HAS SOUS 2412 HAS SOUPS 2412 WITH SCORE 2414.753
AT ITER 4254 NEW BEST:: SOT 5401 SOS 2749 HAS SOPS 2749 HAS SOUS 2408 HAS SOUPS 2408 WITH SCORE 2410.749
AT ITER 4429 NEW BEST:: SOT 5401 SOS 2748 HAS SOPS 2748 HAS SOUS 2407 HAS SOUPS 2407 WITH SCORE 2409.748
AT ITER 4520 NEW BEST:: SOT 5402 SOS 2747 HAS SOPS 2747 HAS SOUS 2406 HAS SOUPS 2406 WITH SCORE 2408.747
AT ITER 4706 NEW BEST:: SOT 5400 SOS 2745 HAS SOPS 2745 HAS SOUS 2405 HAS SOUPS 2405 WITH SCORE 2407.745
AT ITER 4711 NEW BEST:: SOT 5399 SOS 2744 HAS SOPS 2744 HAS SOUS 2404 HAS SOUPS 2404 WITH SCORE 2406.744
AT ITER 4714 NEW BEST:: SOT 5382 SOS 2751 HAS SOPS 2751 HAS SOUS 2399 HAS SOUPS 2399 WITH SCORE 2401.751
AT ITER 4728 NEW BEST:: SOT 5368 SOS 2749 HAS SOPS 2749 HAS SOUS 2397 HAS SOUPS 2397 WITH SCORE 2399.749
AT ITER 4862 NEW BEST:: SOT 5368 SOS 2749 HAS SOPS 2749 HAS SOUS 2396 HAS SOUPS 2396 WITH SCORE 2398.749
AT ITER 4897 NEW BEST:: SOT 5368 SOS 2749 HAS SOPS 2749 HAS SOUS 2394 HAS SOUPS 2394 WITH SCORE 2396.749
AT ITER 4960 NEW BEST:: SOT 5367 SOS 2748 HAS SOPS 2748 HAS SOUS 2393 HAS SOUPS 2393 WITH SCORE 2395.748
AT ITER 5049 NEW BEST:: SOT 5367 SOS 2747 HAS SOPS 2747 HAS SOUS 2392 HAS SOUPS 2392 WITH SCORE 2394.747
AT ITER 5052 NEW BEST:: SOT 5367 SOS 2745 HAS SOPS 2745 HAS SOUS 2392 HAS SOUPS 2392 WITH SCORE 2394.745
AT ITER 5185 NEW BEST:: SOT 5367 SOS 2744 HAS SOPS 2744 HAS SOUS 2391 HAS SOUPS 2391 WITH SCORE 2393.744
AT ITER 5208 NEW BEST:: SOT 5359 SOS 2742 HAS SOPS 2742 HAS SOUS 2386 HAS SOUPS 2386 WITH SCORE 2388.742
AT ITER 5293 NEW BEST:: SOT 5358 SOS 2741 HAS SOPS 2741 HAS SOUS 2385 HAS SOUPS 2385 WITH SCORE 2387.741
AT ITER 5485 NEW BEST:: SOT 5357 SOS 2740 HAS SOPS 2740 HAS SOUS 2384 HAS SOUPS 2384 WITH SCORE 2386.74
AT ITER 5619 NEW BEST:: SOT 5357 SOS 2740 HAS SOPS 2740 HAS SOUS 2383 HAS SOUPS 2383 WITH SCORE 2385.74
AT ITER 5642 NEW BEST:: SOT 5347 SOS 2730 HAS SOPS 2730 HAS SOUS 2373 HAS SOUPS 2373 WITH SCORE 2375.73
AT ITER 5712 NEW BEST:: SOT 5346 SOS 2729 HAS SOPS 2729 HAS SOUS 2372 HAS SOUPS 2372 WITH SCORE 2374.729
AT ITER 5732 NEW BEST:: SOT 5346 SOS 2728 HAS SOPS 2728 HAS SOUS 2371 HAS SOUPS 2371 WITH SCORE 2373.728
AT ITER 5783 NEW BEST:: SOT 5339 SOS 2731 HAS SOPS 2731 HAS SOUS 2368 HAS SOUPS 2368 WITH SCORE 2370.731
AT ITER 5793 NEW BEST:: SOT 5338 SOS 2734 HAS SOPS 2734 HAS SOUS 2367 HAS SOUPS 2367 WITH SCORE 2369.734
AT ITER 5812 NEW BEST:: SOT 5338 SOS 2734 HAS SOPS 2734 HAS SOUS 2366 HAS SOUPS 2366 WITH SCORE 2368.734
AT ITER 5941 NEW BEST:: SOT 5338 SOS 2733 HAS SOPS 2733 HAS SOUS 2365 HAS SOUPS 2365 WITH SCORE 2367.733
AT ITER 6060 NEW BEST:: SOT 5338 SOS 2730 HAS SOPS 2730 HAS SOUS 2363 HAS SOUPS 2363 WITH SCORE 2365.73
AT ITER 6093 NEW BEST:: SOT 5336 SOS 2730 HAS SOPS 2730 HAS SOUS 2362 HAS SOUPS 2362 WITH SCORE 2364.73
AT ITER 6115 NEW BEST:: SOT 5339 SOS 2731 HAS SOPS 2731 HAS SOUS 2361 HAS SOUPS 2361 WITH SCORE 2363.731
AT ITER 6118 NEW BEST:: SOT 5339 SOS 2730 HAS SOPS 2730 HAS SOUS 2361 HAS SOUPS 2361 WITH SCORE 2363.73
AT ITER 6200 NEW BEST:: SOT 5330 SOS 2729 HAS SOPS 2729 HAS SOUS 2360 HAS SOUPS 2360 WITH SCORE 2362.729
AT ITER 6249 NEW BEST:: SOT 5329 SOS 2730 HAS SOPS 2730 HAS SOUS 2359 HAS SOUPS 2359 WITH SCORE 2361.73
AT ITER 6322 NEW BEST:: SOT 5330 SOS 2727 HAS SOPS 2727 HAS SOUS 2358 HAS SOUPS 2358 WITH SCORE 2360.727
AT ITER 6340 NEW BEST:: SOT 5330 SOS 2723 HAS SOPS 2723 HAS SOUS 2354 HAS SOUPS 2354 WITH SCORE 2356.723
AT ITER 6453 NEW BEST:: SOT 5333 SOS 2726 HAS SOPS 2726 HAS SOUS 2353 HAS SOUPS 2353 WITH SCORE 2355.726
AT ITER 6509 NEW BEST:: SOT 5334 SOS 2726 HAS SOPS 2726 HAS SOUS 2352 HAS SOUPS 2352 WITH SCORE 2354.726
AT ITER 6774 NEW BEST:: SOT 5326 SOS 2724 HAS SOPS 2724 HAS SOUS 2350 HAS SOUPS 2350 WITH SCORE 2352.724
AT ITER 6930 NEW BEST:: SOT 5322 SOS 2723 HAS SOPS 2723 HAS SOUS 2349 HAS SOUPS 2349 WITH SCORE 2351.723
AT ITER 7067 NEW BEST:: SOT 5322 SOS 2728 HAS SOPS 2728 HAS SOUS 2348 HAS SOUPS 2348 WITH SCORE 2350.728
AT ITER 7123 NEW BEST:: SOT 5321 SOS 2727 HAS SOPS 2727 HAS SOUS 2347 HAS SOUPS 2347 WITH SCORE 2349.727
AT ITER 7137 NEW BEST:: SOT 5329 SOS 2730 HAS SOPS 2730 HAS SOUS 2346 HAS SOUPS 2346 WITH SCORE 2348.73
AT ITER 7172 NEW BEST:: SOT 5331 SOS 2726 HAS SOPS 2726 HAS SOUS 2346 HAS SOUPS 2346 WITH SCORE 2348.726
AT ITER 7719 NEW BEST:: SOT 5330 SOS 2725 HAS SOPS 2725 HAS SOUS 2345 HAS SOUPS 2345 WITH SCORE 2347.725
AT ITER 7791 NEW BEST:: SOT 5329 SOS 2724 HAS SOPS 2724 HAS SOUS 2344 HAS SOUPS 2344 WITH SCORE 2346.724
AT ITER 7966 NEW BEST:: SOT 5327 SOS 2724 HAS SOPS 2724 HAS SOUS 2342 HAS SOUPS 2342 WITH SCORE 2344.724
AT ITER 8001 NEW BEST:: SOT 5326 SOS 2723 HAS SOPS 2723 HAS SOUS 2341 HAS SOUPS 2341 WITH SCORE 2343.723
AT ITER 8224 NEW BEST:: SOT 5322 SOS 2721 HAS SOPS 2721 HAS SOUS 2339 HAS SOUPS 2339 WITH SCORE 2341.721
AT ITER 8399 NEW BEST:: SOT 5322 SOS 2717 HAS SOPS 2717 HAS SOUS 2339 HAS SOUPS 2339 WITH SCORE 2341.717
AT ITER 8576 NEW BEST:: SOT 5321 SOS 2716 HAS SOPS 2716 HAS SOUS 2338 HAS SOUPS 2338 WITH SCORE 2340.716
AT ITER 8592 NEW BEST:: SOT 5321 SOS 2716 HAS SOPS 2716 HAS SOUS 2337 HAS SOUPS 2337 WITH SCORE 2339.716
AT ITER 8873 NEW BEST:: SOT 5319 SOS 2714 HAS SOPS 2714 HAS SOUS 2337 HAS SOUPS 2337 WITH SCORE 2339.714
AT ITER 9126 NEW BEST:: SOT 5318 SOS 2713 HAS SOPS 2713 HAS SOUS 2336 HAS SOUPS 2336 WITH SCORE 2338.713
AT ITER 9151 NEW BEST:: SOT 5313 SOS 2708 HAS SOPS 2708 HAS SOUS 2331 HAS SOUPS 2331 WITH SCORE 2333.708
AT ITER 9193 NEW BEST:: SOT 5308 SOS 2707 HAS SOPS 2707 HAS SOUS 2330 HAS SOUPS 2330 WITH SCORE 2332.707
AT ITER 9249 NEW BEST:: SOT 5308 SOS 2707 HAS SOPS 2707 HAS SOUS 2329 HAS SOUPS 2329 WITH SCORE 2331.707
AT ITER 9499 NEW BEST:: SOT 5308 SOS 2707 HAS SOPS 2707 HAS SOUS 2327 HAS SOUPS 2327 WITH SCORE 2329.707
AT ITER 9755 NEW BEST:: SOT 5308 SOS 2706 HAS SOPS 2706 HAS SOUS 2327 HAS SOUPS 2327 WITH SCORE 2329.706
AT ITER 9828 NEW BEST:: SOT 5311 SOS 2703 HAS SOPS 2703 HAS SOUS 2327 HAS SOUPS 2327 WITH SCORE 2329.703
AT ITER 9881 NEW BEST:: SOT 5314 SOS 2700 HAS SOPS 2700 HAS SOUS 2327 HAS SOUPS 2327 WITH SCORE 2329.7
AT ITER 9940 NEW BEST:: SOT 5317 SOS 2697 HAS SOPS 2697 HAS SOUS 2327 HAS SOUPS 2327 WITH SCORE 2329.697
AT ITER 9976 NEW BEST:: SOT 5317 SOS 2691 HAS SOPS 2691 HAS SOUS 2327 HAS SOUPS 2327 WITH SCORE 2329.691
AT ITER 9984 NEW BEST:: SOT 5318 SOS 2689 HAS SOPS 2689 HAS SOUS 2325 HAS SOUPS 2325 WITH SCORE 2327.689
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 1679243612090

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Sudoku-PT-BN04"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is 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 4"
echo " Run identifier is r491-tall-167912710300304"
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 ;