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

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

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-COL-BN04
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-19 09:48:51] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-19 09:48:51] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-19 09:48:51] [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-19 09:48:51] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-19 09:48:51] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 466 ms
[2023-03-19 09:48:51] [INFO ] Imported 5 HL places and 1 HL transitions for a total of 128 PT places and 256.0 transition bindings in 17 ms.
[2023-03-19 09:48:51] [INFO ] Unfolded HLPN to a Petri net with 128 places and 64 transitions 320 arcs in 17 ms.
[2023-03-19 09:48:51] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-19 09:48:51] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 128 places, 64 transitions and 320 arcs took 3 ms.
Total runtime 598 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Sudoku (COL), 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 10 NEW BEST:: SOT 5809 SOS 3437 HAS SOPS 3437 HAS SOUS 3216 HAS SOUPS 3216 WITH SCORE 3219.437
AT ITER 12 NEW BEST:: SOT 5809 SOS 3447 HAS SOPS 3447 HAS SOUS 3213 HAS SOUPS 3213 WITH SCORE 3216.447
AT ITER 23 NEW BEST:: SOT 5783 SOS 3445 HAS SOPS 3445 HAS SOUS 3211 HAS SOUPS 3211 WITH SCORE 3214.445
AT ITER 29 NEW BEST:: SOT 5755 SOS 3418 HAS SOPS 3418 HAS SOUS 3200 HAS SOUPS 3200 WITH SCORE 3203.418
AT ITER 38 NEW BEST:: SOT 5755 SOS 3409 HAS SOPS 3409 HAS SOUS 3191 HAS SOUPS 3191 WITH SCORE 3194.409
AT ITER 39 NEW BEST:: SOT 5755 SOS 3341 HAS SOPS 3341 HAS SOUS 3179 HAS SOUPS 3179 WITH SCORE 3182.341
AT ITER 76 NEW BEST:: SOT 5755 SOS 3335 HAS SOPS 3335 HAS SOUS 3176 HAS SOUPS 3176 WITH SCORE 3179.335
AT ITER 89 NEW BEST:: SOT 5769 SOS 3337 HAS SOPS 3337 HAS SOUS 3173 HAS SOUPS 3173 WITH SCORE 3176.337
AT ITER 91 NEW BEST:: SOT 5733 SOS 3313 HAS SOPS 3313 HAS SOUS 3149 HAS SOUPS 3149 WITH SCORE 3152.313
AT ITER 105 NEW BEST:: SOT 5689 SOS 3297 HAS SOPS 3297 HAS SOUS 3139 HAS SOUPS 3139 WITH SCORE 3142.297
AT ITER 111 NEW BEST:: SOT 5689 SOS 3296 HAS SOPS 3296 HAS SOUS 3138 HAS SOUPS 3138 WITH SCORE 3141.296
AT ITER 114 NEW BEST:: SOT 5671 SOS 3296 HAS SOPS 3296 HAS SOUS 3137 HAS SOUPS 3137 WITH SCORE 3140.296
AT ITER 118 NEW BEST:: SOT 5669 SOS 3296 HAS SOPS 3296 HAS SOUS 3135 HAS SOUPS 3135 WITH SCORE 3138.296
AT ITER 121 NEW BEST:: SOT 5667 SOS 3295 HAS SOPS 3295 HAS SOUS 3134 HAS SOUPS 3134 WITH SCORE 3137.295
AT ITER 123 NEW BEST:: SOT 5667 SOS 3290 HAS SOPS 3290 HAS SOUS 3134 HAS SOUPS 3134 WITH SCORE 3137.29
AT ITER 145 NEW BEST:: SOT 5673 SOS 3287 HAS SOPS 3287 HAS SOUS 3131 HAS SOUPS 3131 WITH SCORE 3134.287
AT ITER 149 NEW BEST:: SOT 5718 SOS 3278 HAS SOPS 3278 HAS SOUS 3112 HAS SOUPS 3112 WITH SCORE 3115.278
AT ITER 174 NEW BEST:: SOT 5708 SOS 3270 HAS SOPS 3270 HAS SOUS 3104 HAS SOUPS 3104 WITH SCORE 3107.27
AT ITER 210 NEW BEST:: SOT 5708 SOS 3256 HAS SOPS 3256 HAS SOUS 3104 HAS SOUPS 3104 WITH SCORE 3107.256
AT ITER 215 NEW BEST:: SOT 5738 SOS 3257 HAS SOPS 3257 HAS SOUS 3095 HAS SOUPS 3095 WITH SCORE 3098.257
AT ITER 238 NEW BEST:: SOT 5716 SOS 3231 HAS SOPS 3231 HAS SOUS 3070 HAS SOUPS 3070 WITH SCORE 3073.231
AT ITER 243 NEW BEST:: SOT 5713 SOS 3225 HAS SOPS 3225 HAS SOUS 3058 HAS SOUPS 3058 WITH SCORE 3061.225
AT ITER 246 NEW BEST:: SOT 5694 SOS 3220 HAS SOPS 3220 HAS SOUS 3053 HAS SOUPS 3053 WITH SCORE 3056.22
AT ITER 266 NEW BEST:: SOT 5694 SOS 3219 HAS SOPS 3219 HAS SOUS 3053 HAS SOUPS 3053 WITH SCORE 3056.219
AT ITER 270 NEW BEST:: SOT 5719 SOS 3203 HAS SOPS 3203 HAS SOUS 3018 HAS SOUPS 3018 WITH SCORE 3021.203
AT ITER 274 NEW BEST:: SOT 5719 SOS 3200 HAS SOPS 3200 HAS SOUS 3018 HAS SOUPS 3018 WITH SCORE 3021.2
AT ITER 294 NEW BEST:: SOT 5704 SOS 3178 HAS SOPS 3178 HAS SOUS 3003 HAS SOUPS 3003 WITH SCORE 3006.178
AT ITER 314 NEW BEST:: SOT 5703 SOS 3177 HAS SOPS 3177 HAS SOUS 3002 HAS SOUPS 3002 WITH SCORE 3005.177
AT ITER 334 NEW BEST:: SOT 5693 SOS 3173 HAS SOPS 3173 HAS SOUS 2992 HAS SOUPS 2992 WITH SCORE 2995.173
AT ITER 343 NEW BEST:: SOT 5693 SOS 3173 HAS SOPS 3173 HAS SOUS 2989 HAS SOUPS 2989 WITH SCORE 2992.173
AT ITER 345 NEW BEST:: SOT 5698 SOS 3170 HAS SOPS 3170 HAS SOUS 2986 HAS SOUPS 2986 WITH SCORE 2989.17
AT ITER 359 NEW BEST:: SOT 5662 SOS 3153 HAS SOPS 3153 HAS SOUS 2969 HAS SOUPS 2969 WITH SCORE 2972.153
AT ITER 370 NEW BEST:: SOT 5652 SOS 3165 HAS SOPS 3165 HAS SOUS 2959 HAS SOUPS 2959 WITH SCORE 2962.165
AT ITER 380 NEW BEST:: SOT 5652 SOS 3179 HAS SOPS 3179 HAS SOUS 2955 HAS SOUPS 2955 WITH SCORE 2958.179
AT ITER 403 NEW BEST:: SOT 5651 SOS 3178 HAS SOPS 3178 HAS SOUS 2954 HAS SOUPS 2954 WITH SCORE 2957.178
AT ITER 407 NEW BEST:: SOT 5651 SOS 3148 HAS SOPS 3148 HAS SOUS 2952 HAS SOUPS 2952 WITH SCORE 2955.148
AT ITER 419 NEW BEST:: SOT 5649 SOS 3146 HAS SOPS 3146 HAS SOUS 2950 HAS SOUPS 2950 WITH SCORE 2953.146
AT ITER 440 NEW BEST:: SOT 5648 SOS 3145 HAS SOPS 3145 HAS SOUS 2947 HAS SOUPS 2947 WITH SCORE 2950.145
AT ITER 446 NEW BEST:: SOT 5647 SOS 3144 HAS SOPS 3144 HAS SOUS 2946 HAS SOUPS 2946 WITH SCORE 2949.144
AT ITER 448 NEW BEST:: SOT 5647 SOS 3140 HAS SOPS 3140 HAS SOUS 2946 HAS SOUPS 2946 WITH SCORE 2949.14
AT ITER 463 NEW BEST:: SOT 5637 SOS 3129 HAS SOPS 3129 HAS SOUS 2933 HAS SOUPS 2933 WITH SCORE 2936.129
AT ITER 482 NEW BEST:: SOT 5614 SOS 3118 HAS SOPS 3118 HAS SOUS 2922 HAS SOUPS 2922 WITH SCORE 2925.118
AT ITER 504 NEW BEST:: SOT 5592 SOS 3115 HAS SOPS 3115 HAS SOUS 2893 HAS SOUPS 2893 WITH SCORE 2896.115
AT ITER 512 NEW BEST:: SOT 5586 SOS 3109 HAS SOPS 3109 HAS SOUS 2887 HAS SOUPS 2887 WITH SCORE 2890.109
AT ITER 530 NEW BEST:: SOT 5580 SOS 3104 HAS SOPS 3104 HAS SOUS 2882 HAS SOUPS 2882 WITH SCORE 2885.104
AT ITER 538 NEW BEST:: SOT 5580 SOS 3110 HAS SOPS 3110 HAS SOUS 2871 HAS SOUPS 2871 WITH SCORE 2874.11
AT ITER 546 NEW BEST:: SOT 5582 SOS 3133 HAS SOPS 3133 HAS SOUS 2853 HAS SOUPS 2853 WITH SCORE 2856.133
AT ITER 561 NEW BEST:: SOT 5582 SOS 3128 HAS SOPS 3128 HAS SOUS 2851 HAS SOUPS 2851 WITH SCORE 2854.128
AT ITER 566 NEW BEST:: SOT 5582 SOS 3123 HAS SOPS 3123 HAS SOUS 2846 HAS SOUPS 2846 WITH SCORE 2849.123
AT ITER 574 NEW BEST:: SOT 5586 SOS 3117 HAS SOPS 3117 HAS SOUS 2840 HAS SOUPS 2840 WITH SCORE 2843.117
AT ITER 611 NEW BEST:: SOT 5586 SOS 3113 HAS SOPS 3113 HAS SOUS 2839 HAS SOUPS 2839 WITH SCORE 2842.113
AT ITER 615 NEW BEST:: SOT 5586 SOS 3113 HAS SOPS 3113 HAS SOUS 2833 HAS SOUPS 2833 WITH SCORE 2836.113
AT ITER 618 NEW BEST:: SOT 5589 SOS 3120 HAS SOPS 3120 HAS SOUS 2830 HAS SOUPS 2830 WITH SCORE 2833.12
AT ITER 623 NEW BEST:: SOT 5589 SOS 3118 HAS SOPS 3118 HAS SOUS 2830 HAS SOUPS 2830 WITH SCORE 2833.118
AT ITER 629 NEW BEST:: SOT 5588 SOS 3116 HAS SOPS 3116 HAS SOUS 2825 HAS SOUPS 2825 WITH SCORE 2828.116
AT ITER 654 NEW BEST:: SOT 5588 SOS 3114 HAS SOPS 3114 HAS SOUS 2825 HAS SOUPS 2825 WITH SCORE 2828.114
AT ITER 658 NEW BEST:: SOT 5586 SOS 3112 HAS SOPS 3112 HAS SOUS 2823 HAS SOUPS 2823 WITH SCORE 2826.112
AT ITER 688 NEW BEST:: SOT 5568 SOS 3108 HAS SOPS 3108 HAS SOUS 2819 HAS SOUPS 2819 WITH SCORE 2822.108
AT ITER 689 NEW BEST:: SOT 5568 SOS 3095 HAS SOPS 3095 HAS SOUS 2818 HAS SOUPS 2818 WITH SCORE 2821.095
AT ITER 708 NEW BEST:: SOT 5567 SOS 3093 HAS SOPS 3093 HAS SOUS 2816 HAS SOUPS 2816 WITH SCORE 2819.093
AT ITER 724 NEW BEST:: SOT 5563 SOS 3084 HAS SOPS 3084 HAS SOUS 2807 HAS SOUPS 2807 WITH SCORE 2810.084
AT ITER 744 NEW BEST:: SOT 5563 SOS 3084 HAS SOPS 3084 HAS SOUS 2806 HAS SOUPS 2806 WITH SCORE 2809.084
AT ITER 747 NEW BEST:: SOT 5563 SOS 3067 HAS SOPS 3067 HAS SOUS 2798 HAS SOUPS 2798 WITH SCORE 2801.067
AT ITER 748 NEW BEST:: SOT 5563 SOS 3066 HAS SOPS 3066 HAS SOUS 2797 HAS SOUPS 2797 WITH SCORE 2800.066
AT ITER 751 NEW BEST:: SOT 5573 SOS 3056 HAS SOPS 3056 HAS SOUS 2797 HAS SOUPS 2797 WITH SCORE 2800.056
AT ITER 755 NEW BEST:: SOT 5579 SOS 3041 HAS SOPS 3041 HAS SOUS 2796 HAS SOUPS 2796 WITH SCORE 2799.041
AT ITER 756 NEW BEST:: SOT 5579 SOS 3030 HAS SOPS 3030 HAS SOUS 2796 HAS SOUPS 2796 WITH SCORE 2799.03
AT ITER 785 NEW BEST:: SOT 5564 SOS 3030 HAS SOPS 3030 HAS SOUS 2786 HAS SOUPS 2786 WITH SCORE 2789.03
AT ITER 791 NEW BEST:: SOT 5564 SOS 3023 HAS SOPS 3023 HAS SOUS 2785 HAS SOUPS 2785 WITH SCORE 2788.023
AT ITER 816 NEW BEST:: SOT 5556 SOS 3015 HAS SOPS 3015 HAS SOUS 2777 HAS SOUPS 2777 WITH SCORE 2780.015
AT ITER 827 NEW BEST:: SOT 5554 SOS 3013 HAS SOPS 3013 HAS SOUS 2770 HAS SOUPS 2770 WITH SCORE 2773.013
AT ITER 837 NEW BEST:: SOT 5542 SOS 3017 HAS SOPS 3017 HAS SOUS 2766 HAS SOUPS 2766 WITH SCORE 2769.017
AT ITER 853 NEW BEST:: SOT 5544 SOS 3026 HAS SOPS 3026 HAS SOUS 2765 HAS SOUPS 2765 WITH SCORE 2768.026
AT ITER 854 NEW BEST:: SOT 5545 SOS 3013 HAS SOPS 3013 HAS SOUS 2752 HAS SOUPS 2752 WITH SCORE 2755.013
AT ITER 864 NEW BEST:: SOT 5545 SOS 3008 HAS SOPS 3008 HAS SOUS 2751 HAS SOUPS 2751 WITH SCORE 2754.008
AT ITER 878 NEW BEST:: SOT 5543 SOS 3006 HAS SOPS 3006 HAS SOUS 2749 HAS SOUPS 2749 WITH SCORE 2752.006
AT ITER 895 NEW BEST:: SOT 5541 SOS 3004 HAS SOPS 3004 HAS SOUS 2747 HAS SOUPS 2747 WITH SCORE 2750.004
AT ITER 921 NEW BEST:: SOT 5539 SOS 3002 HAS SOPS 3002 HAS SOUS 2745 HAS SOUPS 2745 WITH SCORE 2748.002
AT ITER 978 NEW BEST:: SOT 5534 SOS 2997 HAS SOPS 2997 HAS SOUS 2744 HAS SOUPS 2744 WITH SCORE 2746.997
AT ITER 1048 NEW BEST:: SOT 5534 SOS 2976 HAS SOPS 2976 HAS SOUS 2738 HAS SOUPS 2738 WITH SCORE 2740.976
AT ITER 1060 NEW BEST:: SOT 5521 SOS 2975 HAS SOPS 2975 HAS SOUS 2736 HAS SOUPS 2736 WITH SCORE 2738.975
AT ITER 1073 NEW BEST:: SOT 5518 SOS 2972 HAS SOPS 2972 HAS SOUS 2733 HAS SOUPS 2733 WITH SCORE 2735.972
AT ITER 1082 NEW BEST:: SOT 5515 SOS 2969 HAS SOPS 2969 HAS SOUS 2730 HAS SOUPS 2730 WITH SCORE 2732.969
AT ITER 1091 NEW BEST:: SOT 5508 SOS 2978 HAS SOPS 2978 HAS SOUS 2723 HAS SOUPS 2723 WITH SCORE 2725.978
AT ITER 1175 NEW BEST:: SOT 5496 SOS 2972 HAS SOPS 2972 HAS SOUS 2717 HAS SOUPS 2717 WITH SCORE 2719.972
AT ITER 1182 NEW BEST:: SOT 5496 SOS 2965 HAS SOPS 2965 HAS SOUS 2710 HAS SOUPS 2710 WITH SCORE 2712.965
AT ITER 1235 NEW BEST:: SOT 5496 SOS 2956 HAS SOPS 2956 HAS SOUS 2710 HAS SOUPS 2710 WITH SCORE 2712.956
AT ITER 1241 NEW BEST:: SOT 5492 SOS 2960 HAS SOPS 2960 HAS SOUS 2706 HAS SOUPS 2706 WITH SCORE 2708.96
AT ITER 1251 NEW BEST:: SOT 5476 SOS 2960 HAS SOPS 2960 HAS SOUS 2703 HAS SOUPS 2703 WITH SCORE 2705.96
AT ITER 1255 NEW BEST:: SOT 5470 SOS 2956 HAS SOPS 2956 HAS SOUS 2699 HAS SOUPS 2699 WITH SCORE 2701.956
AT ITER 1266 NEW BEST:: SOT 5499 SOS 2970 HAS SOPS 2970 HAS SOUS 2698 HAS SOUPS 2698 WITH SCORE 2700.97
AT ITER 1292 NEW BEST:: SOT 5480 SOS 2955 HAS SOPS 2955 HAS SOUS 2683 HAS SOUPS 2683 WITH SCORE 2685.955
AT ITER 1306 NEW BEST:: SOT 5480 SOS 2955 HAS SOPS 2955 HAS SOUS 2666 HAS SOUPS 2666 WITH SCORE 2668.955
AT ITER 1314 NEW BEST:: SOT 5480 SOS 2951 HAS SOPS 2951 HAS SOUS 2666 HAS SOUPS 2666 WITH SCORE 2668.951
AT ITER 1386 NEW BEST:: SOT 5458 SOS 2943 HAS SOPS 2943 HAS SOUS 2658 HAS SOUPS 2658 WITH SCORE 2660.943
AT ITER 1427 NEW BEST:: SOT 5457 SOS 2942 HAS SOPS 2942 HAS SOUS 2657 HAS SOUPS 2657 WITH SCORE 2659.942
AT ITER 1459 NEW BEST:: SOT 5447 SOS 2932 HAS SOPS 2932 HAS SOUS 2647 HAS SOUPS 2647 WITH SCORE 2649.932
AT ITER 1461 NEW BEST:: SOT 5447 SOS 2926 HAS SOPS 2926 HAS SOUS 2644 HAS SOUPS 2644 WITH SCORE 2646.926
AT ITER 1500 NEW BEST:: SOT 5443 SOS 2923 HAS SOPS 2923 HAS SOUS 2641 HAS SOUPS 2641 WITH SCORE 2643.923
AT ITER 1507 NEW BEST:: SOT 5458 SOS 2912 HAS SOPS 2912 HAS SOUS 2630 HAS SOUPS 2630 WITH SCORE 2632.912
AT ITER 1510 NEW BEST:: SOT 5458 SOS 2903 HAS SOPS 2903 HAS SOUS 2630 HAS SOUPS 2630 WITH SCORE 2632.903
AT ITER 1531 NEW BEST:: SOT 5458 SOS 2901 HAS SOPS 2901 HAS SOUS 2628 HAS SOUPS 2628 WITH SCORE 2630.901
AT ITER 1532 NEW BEST:: SOT 5458 SOS 2901 HAS SOPS 2901 HAS SOUS 2624 HAS SOUPS 2624 WITH SCORE 2626.901
AT ITER 1584 NEW BEST:: SOT 5458 SOS 2931 HAS SOPS 2931 HAS SOUS 2606 HAS SOUPS 2606 WITH SCORE 2608.931
AT ITER 1586 NEW BEST:: SOT 5462 SOS 2928 HAS SOPS 2928 HAS SOUS 2603 HAS SOUPS 2603 WITH SCORE 2605.928
AT ITER 1592 NEW BEST:: SOT 5462 SOS 2928 HAS SOPS 2928 HAS SOUS 2601 HAS SOUPS 2601 WITH SCORE 2603.928
AT ITER 1593 NEW BEST:: SOT 5458 SOS 2924 HAS SOPS 2924 HAS SOUS 2599 HAS SOUPS 2599 WITH SCORE 2601.924
AT ITER 1630 NEW BEST:: SOT 5440 SOS 2915 HAS SOPS 2915 HAS SOUS 2599 HAS SOUPS 2599 WITH SCORE 2601.915
AT ITER 1669 NEW BEST:: SOT 5441 SOS 2911 HAS SOPS 2911 HAS SOUS 2595 HAS SOUPS 2595 WITH SCORE 2597.911
AT ITER 1693 NEW BEST:: SOT 5441 SOS 2910 HAS SOPS 2910 HAS SOUS 2595 HAS SOUPS 2595 WITH SCORE 2597.91
AT ITER 1729 NEW BEST:: SOT 5441 SOS 2906 HAS SOPS 2906 HAS SOUS 2591 HAS SOUPS 2591 WITH SCORE 2593.906
AT ITER 1757 NEW BEST:: SOT 5441 SOS 2898 HAS SOPS 2898 HAS SOUS 2583 HAS SOUPS 2583 WITH SCORE 2585.898
AT ITER 1786 NEW BEST:: SOT 5441 SOS 2906 HAS SOPS 2906 HAS SOUS 2582 HAS SOUPS 2582 WITH SCORE 2584.906
AT ITER 1790 NEW BEST:: SOT 5438 SOS 2903 HAS SOPS 2903 HAS SOUS 2579 HAS SOUPS 2579 WITH SCORE 2581.903
AT ITER 1796 NEW BEST:: SOT 5438 SOS 2903 HAS SOPS 2903 HAS SOUS 2576 HAS SOUPS 2576 WITH SCORE 2578.903
AT ITER 1809 NEW BEST:: SOT 5438 SOS 2900 HAS SOPS 2900 HAS SOUS 2576 HAS SOUPS 2576 WITH SCORE 2578.9
AT ITER 1851 NEW BEST:: SOT 5438 SOS 2900 HAS SOPS 2900 HAS SOUS 2574 HAS SOUPS 2574 WITH SCORE 2576.9
AT ITER 1868 NEW BEST:: SOT 5436 SOS 2898 HAS SOPS 2898 HAS SOUS 2572 HAS SOUPS 2572 WITH SCORE 2574.898
AT ITER 1879 NEW BEST:: SOT 5432 SOS 2895 HAS SOPS 2895 HAS SOUS 2569 HAS SOUPS 2569 WITH SCORE 2571.895
AT ITER 1945 NEW BEST:: SOT 5420 SOS 2887 HAS SOPS 2887 HAS SOUS 2557 HAS SOUPS 2557 WITH SCORE 2559.887
AT ITER 1958 NEW BEST:: SOT 5420 SOS 2887 HAS SOPS 2887 HAS SOUS 2555 HAS SOUPS 2555 WITH SCORE 2557.887
AT ITER 1973 NEW BEST:: SOT 5420 SOS 2888 HAS SOPS 2888 HAS SOUS 2554 HAS SOUPS 2554 WITH SCORE 2556.888
AT ITER 1978 NEW BEST:: SOT 5420 SOS 2888 HAS SOPS 2888 HAS SOUS 2553 HAS SOUPS 2553 WITH SCORE 2555.888
AT ITER 1994 NEW BEST:: SOT 5420 SOS 2886 HAS SOPS 2886 HAS SOUS 2553 HAS SOUPS 2553 WITH SCORE 2555.886
AT ITER 2000 NEW BEST:: SOT 5420 SOS 2882 HAS SOPS 2882 HAS SOUS 2553 HAS SOUPS 2553 WITH SCORE 2555.882
AT ITER 2012 NEW BEST:: SOT 5420 SOS 2882 HAS SOPS 2882 HAS SOUS 2547 HAS SOUPS 2547 WITH SCORE 2549.882
AT ITER 2037 NEW BEST:: SOT 5416 SOS 2881 HAS SOPS 2881 HAS SOUS 2546 HAS SOUPS 2546 WITH SCORE 2548.881
AT ITER 2057 NEW BEST:: SOT 5418 SOS 2877 HAS SOPS 2877 HAS SOUS 2546 HAS SOUPS 2546 WITH SCORE 2548.877
AT ITER 2061 NEW BEST:: SOT 5398 SOS 2867 HAS SOPS 2867 HAS SOUS 2537 HAS SOUPS 2537 WITH SCORE 2539.867
AT ITER 2081 NEW BEST:: SOT 5394 SOS 2865 HAS SOPS 2865 HAS SOUS 2535 HAS SOUPS 2535 WITH SCORE 2537.865
AT ITER 2114 NEW BEST:: SOT 5392 SOS 2863 HAS SOPS 2863 HAS SOUS 2533 HAS SOUPS 2533 WITH SCORE 2535.863
AT ITER 2119 NEW BEST:: SOT 5392 SOS 2867 HAS SOPS 2867 HAS SOUS 2532 HAS SOUPS 2532 WITH SCORE 2534.867
AT ITER 2134 NEW BEST:: SOT 5394 SOS 2864 HAS SOPS 2864 HAS SOUS 2529 HAS SOUPS 2529 WITH SCORE 2531.864
AT ITER 2191 NEW BEST:: SOT 5394 SOS 2864 HAS SOPS 2864 HAS SOUS 2525 HAS SOUPS 2525 WITH SCORE 2527.864
AT ITER 2196 NEW BEST:: SOT 5394 SOS 2864 HAS SOPS 2864 HAS SOUS 2524 HAS SOUPS 2524 WITH SCORE 2526.864
AT ITER 2294 NEW BEST:: SOT 5392 SOS 2864 HAS SOPS 2864 HAS SOUS 2522 HAS SOUPS 2522 WITH SCORE 2524.864
AT ITER 2346 NEW BEST:: SOT 5391 SOS 2863 HAS SOPS 2863 HAS SOUS 2521 HAS SOUPS 2521 WITH SCORE 2523.863
AT ITER 2348 NEW BEST:: SOT 5391 SOS 2863 HAS SOPS 2863 HAS SOUS 2519 HAS SOUPS 2519 WITH SCORE 2521.863
AT ITER 2376 NEW BEST:: SOT 5382 SOS 2854 HAS SOPS 2854 HAS SOUS 2510 HAS SOUPS 2510 WITH SCORE 2512.854
AT ITER 2440 NEW BEST:: SOT 5382 SOS 2853 HAS SOPS 2853 HAS SOUS 2510 HAS SOUPS 2510 WITH SCORE 2512.853
AT ITER 2498 NEW BEST:: SOT 5382 SOS 2859 HAS SOPS 2859 HAS SOUS 2506 HAS SOUPS 2506 WITH SCORE 2508.859
AT ITER 2509 NEW BEST:: SOT 5382 SOS 2857 HAS SOPS 2857 HAS SOUS 2505 HAS SOUPS 2505 WITH SCORE 2507.857
AT ITER 2516 NEW BEST:: SOT 5382 SOS 2858 HAS SOPS 2858 HAS SOUS 2497 HAS SOUPS 2497 WITH SCORE 2499.858
AT ITER 2527 NEW BEST:: SOT 5381 SOS 2855 HAS SOPS 2855 HAS SOUS 2496 HAS SOUPS 2496 WITH SCORE 2498.855
AT ITER 2546 NEW BEST:: SOT 5375 SOS 2855 HAS SOPS 2855 HAS SOUS 2491 HAS SOUPS 2491 WITH SCORE 2493.855
AT ITER 2562 NEW BEST:: SOT 5372 SOS 2852 HAS SOPS 2852 HAS SOUS 2488 HAS SOUPS 2488 WITH SCORE 2490.852
AT ITER 2565 NEW BEST:: SOT 5370 SOS 2850 HAS SOPS 2850 HAS SOUS 2486 HAS SOUPS 2486 WITH SCORE 2488.85
AT ITER 2580 NEW BEST:: SOT 5365 SOS 2845 HAS SOPS 2845 HAS SOUS 2481 HAS SOUPS 2481 WITH SCORE 2483.845
AT ITER 2679 NEW BEST:: SOT 5364 SOS 2844 HAS SOPS 2844 HAS SOUS 2480 HAS SOUPS 2480 WITH SCORE 2482.844
AT ITER 2725 NEW BEST:: SOT 5386 SOS 2846 HAS SOPS 2846 HAS SOUS 2471 HAS SOUPS 2471 WITH SCORE 2473.846
AT ITER 2732 NEW BEST:: SOT 5386 SOS 2845 HAS SOPS 2845 HAS SOUS 2471 HAS SOUPS 2471 WITH SCORE 2473.845
AT ITER 2742 NEW BEST:: SOT 5391 SOS 2841 HAS SOPS 2841 HAS SOUS 2471 HAS SOUPS 2471 WITH SCORE 2473.841
AT ITER 2743 NEW BEST:: SOT 5390 SOS 2840 HAS SOPS 2840 HAS SOUS 2470 HAS SOUPS 2470 WITH SCORE 2472.84
AT ITER 2751 NEW BEST:: SOT 5391 SOS 2841 HAS SOPS 2841 HAS SOUS 2467 HAS SOUPS 2467 WITH SCORE 2469.841
AT ITER 2786 NEW BEST:: SOT 5391 SOS 2841 HAS SOPS 2841 HAS SOUS 2465 HAS SOUPS 2465 WITH SCORE 2467.841
AT ITER 2843 NEW BEST:: SOT 5389 SOS 2839 HAS SOPS 2839 HAS SOUS 2463 HAS SOUPS 2463 WITH SCORE 2465.839
AT ITER 2889 NEW BEST:: SOT 5390 SOS 2838 HAS SOPS 2838 HAS SOUS 2463 HAS SOUPS 2463 WITH SCORE 2465.838
AT ITER 2944 NEW BEST:: SOT 5385 SOS 2833 HAS SOPS 2833 HAS SOUS 2458 HAS SOUPS 2458 WITH SCORE 2460.833
AT ITER 2974 NEW BEST:: SOT 5348 SOS 2817 HAS SOPS 2817 HAS SOUS 2442 HAS SOUPS 2442 WITH SCORE 2444.817
AT ITER 3012 NEW BEST:: SOT 5344 SOS 2813 HAS SOPS 2813 HAS SOUS 2438 HAS SOUPS 2438 WITH SCORE 2440.813
AT ITER 3013 NEW BEST:: SOT 5344 SOS 2812 HAS SOPS 2812 HAS SOUS 2437 HAS SOUPS 2437 WITH SCORE 2439.812
AT ITER 3040 NEW BEST:: SOT 5344 SOS 2809 HAS SOPS 2809 HAS SOUS 2437 HAS SOUPS 2437 WITH SCORE 2439.809
AT ITER 3046 NEW BEST:: SOT 5341 SOS 2806 HAS SOPS 2806 HAS SOUS 2434 HAS SOUPS 2434 WITH SCORE 2436.806
AT ITER 3055 NEW BEST:: SOT 5340 SOS 2805 HAS SOPS 2805 HAS SOUS 2433 HAS SOUPS 2433 WITH SCORE 2435.805
AT ITER 3098 NEW BEST:: SOT 5338 SOS 2805 HAS SOPS 2805 HAS SOUS 2432 HAS SOUPS 2432 WITH SCORE 2434.805
AT ITER 3122 NEW BEST:: SOT 5338 SOS 2805 HAS SOPS 2805 HAS SOUS 2431 HAS SOUPS 2431 WITH SCORE 2433.805
AT ITER 3196 NEW BEST:: SOT 5333 SOS 2801 HAS SOPS 2801 HAS SOUS 2427 HAS SOUPS 2427 WITH SCORE 2429.801
AT ITER 3205 NEW BEST:: SOT 5324 SOS 2792 HAS SOPS 2792 HAS SOUS 2418 HAS SOUPS 2418 WITH SCORE 2420.792
AT ITER 3281 NEW BEST:: SOT 5324 SOS 2792 HAS SOPS 2792 HAS SOUS 2417 HAS SOUPS 2417 WITH SCORE 2419.792
AT ITER 3393 NEW BEST:: SOT 5321 SOS 2794 HAS SOPS 2794 HAS SOUS 2414 HAS SOUPS 2414 WITH SCORE 2416.794
AT ITER 3408 NEW BEST:: SOT 5321 SOS 2803 HAS SOPS 2803 HAS SOUS 2407 HAS SOUPS 2407 WITH SCORE 2409.803
AT ITER 3444 NEW BEST:: SOT 5318 SOS 2800 HAS SOPS 2800 HAS SOUS 2404 HAS SOUPS 2404 WITH SCORE 2406.8
AT ITER 3494 NEW BEST:: SOT 5318 SOS 2800 HAS SOPS 2800 HAS SOUS 2402 HAS SOUPS 2402 WITH SCORE 2404.8
AT ITER 3542 NEW BEST:: SOT 5324 SOS 2800 HAS SOPS 2800 HAS SOUS 2400 HAS SOUPS 2400 WITH SCORE 2402.8
AT ITER 3543 NEW BEST:: SOT 5323 SOS 2799 HAS SOPS 2799 HAS SOUS 2399 HAS SOUPS 2399 WITH SCORE 2401.799
AT ITER 3576 NEW BEST:: SOT 5322 SOS 2798 HAS SOPS 2798 HAS SOUS 2398 HAS SOUPS 2398 WITH SCORE 2400.798
AT ITER 3664 NEW BEST:: SOT 5322 SOS 2797 HAS SOPS 2797 HAS SOUS 2397 HAS SOUPS 2397 WITH SCORE 2399.797
AT ITER 3700 NEW BEST:: SOT 5323 SOS 2796 HAS SOPS 2796 HAS SOUS 2397 HAS SOUPS 2397 WITH SCORE 2399.796
AT ITER 3727 NEW BEST:: SOT 5324 SOS 2797 HAS SOPS 2797 HAS SOUS 2396 HAS SOUPS 2396 WITH SCORE 2398.797
AT ITER 3829 NEW BEST:: SOT 5325 SOS 2797 HAS SOPS 2797 HAS SOUS 2395 HAS SOUPS 2395 WITH SCORE 2397.797
AT ITER 3915 NEW BEST:: SOT 5321 SOS 2793 HAS SOPS 2793 HAS SOUS 2391 HAS SOUPS 2391 WITH SCORE 2393.793
AT ITER 3921 NEW BEST:: SOT 5310 SOS 2784 HAS SOPS 2784 HAS SOUS 2382 HAS SOUPS 2382 WITH SCORE 2384.784
AT ITER 3948 NEW BEST:: SOT 5309 SOS 2783 HAS SOPS 2783 HAS SOUS 2381 HAS SOUPS 2381 WITH SCORE 2383.783
AT ITER 3986 NEW BEST:: SOT 5308 SOS 2782 HAS SOPS 2782 HAS SOUS 2381 HAS SOUPS 2381 WITH SCORE 2383.782
AT ITER 3987 NEW BEST:: SOT 5309 SOS 2775 HAS SOPS 2775 HAS SOUS 2381 HAS SOUPS 2381 WITH SCORE 2383.775
AT ITER 4038 NEW BEST:: SOT 5306 SOS 2787 HAS SOPS 2787 HAS SOUS 2380 HAS SOUPS 2380 WITH SCORE 2382.787
AT ITER 4046 NEW BEST:: SOT 5304 SOS 2793 HAS SOPS 2793 HAS SOUS 2378 HAS SOUPS 2378 WITH SCORE 2380.793
AT ITER 4056 NEW BEST:: SOT 5304 SOS 2793 HAS SOPS 2793 HAS SOUS 2377 HAS SOUPS 2377 WITH SCORE 2379.793
AT ITER 4069 NEW BEST:: SOT 5304 SOS 2792 HAS SOPS 2792 HAS SOUS 2373 HAS SOUPS 2373 WITH SCORE 2375.792
AT ITER 4114 NEW BEST:: SOT 5294 SOS 2800 HAS SOPS 2800 HAS SOUS 2372 HAS SOUPS 2372 WITH SCORE 2374.8
AT ITER 4130 NEW BEST:: SOT 5294 SOS 2792 HAS SOPS 2792 HAS SOUS 2369 HAS SOUPS 2369 WITH SCORE 2371.792
AT ITER 4143 NEW BEST:: SOT 5294 SOS 2792 HAS SOPS 2792 HAS SOUS 2368 HAS SOUPS 2368 WITH SCORE 2370.792
AT ITER 4153 NEW BEST:: SOT 5292 SOS 2790 HAS SOPS 2790 HAS SOUS 2366 HAS SOUPS 2366 WITH SCORE 2368.79
AT ITER 4163 NEW BEST:: SOT 5290 SOS 2788 HAS SOPS 2788 HAS SOUS 2364 HAS SOUPS 2364 WITH SCORE 2366.788
AT ITER 4283 NEW BEST:: SOT 5282 SOS 2783 HAS SOPS 2783 HAS SOUS 2359 HAS SOUPS 2359 WITH SCORE 2361.783
AT ITER 4335 NEW BEST:: SOT 5280 SOS 2781 HAS SOPS 2781 HAS SOUS 2356 HAS SOUPS 2356 WITH SCORE 2358.781
AT ITER 4350 NEW BEST:: SOT 5280 SOS 2778 HAS SOPS 2778 HAS SOUS 2353 HAS SOUPS 2353 WITH SCORE 2355.778
AT ITER 4696 NEW BEST:: SOT 5278 SOS 2777 HAS SOPS 2777 HAS SOUS 2352 HAS SOUPS 2352 WITH SCORE 2354.777
AT ITER 4938 NEW BEST:: SOT 5280 SOS 2777 HAS SOPS 2777 HAS SOUS 2351 HAS SOUPS 2351 WITH SCORE 2353.777
AT ITER 4953 NEW BEST:: SOT 5280 SOS 2774 HAS SOPS 2774 HAS SOUS 2351 HAS SOUPS 2351 WITH SCORE 2353.774
AT ITER 5053 NEW BEST:: SOT 5280 SOS 2772 HAS SOPS 2772 HAS SOUS 2348 HAS SOUPS 2348 WITH SCORE 2350.772
AT ITER 5133 NEW BEST:: SOT 5278 SOS 2770 HAS SOPS 2770 HAS SOUS 2346 HAS SOUPS 2346 WITH SCORE 2348.77
AT ITER 5175 NEW BEST:: SOT 5278 SOS 2769 HAS SOPS 2769 HAS SOUS 2345 HAS SOUPS 2345 WITH SCORE 2347.769
AT ITER 5184 NEW BEST:: SOT 5278 SOS 2768 HAS SOPS 2768 HAS SOUS 2344 HAS SOUPS 2344 WITH SCORE 2346.768
AT ITER 5273 NEW BEST:: SOT 5278 SOS 2760 HAS SOPS 2760 HAS SOUS 2341 HAS SOUPS 2341 WITH SCORE 2343.76
AT ITER 5322 NEW BEST:: SOT 5279 SOS 2759 HAS SOPS 2759 HAS SOUS 2341 HAS SOUPS 2341 WITH SCORE 2343.759
AT ITER 5488 NEW BEST:: SOT 5286 SOS 2752 HAS SOPS 2752 HAS SOUS 2341 HAS SOUPS 2341 WITH SCORE 2343.752
AT ITER 5494 NEW BEST:: SOT 5286 SOS 2752 HAS SOPS 2752 HAS SOUS 2340 HAS SOUPS 2340 WITH SCORE 2342.752
AT ITER 5655 NEW BEST:: SOT 5285 SOS 2751 HAS SOPS 2751 HAS SOUS 2339 HAS SOUPS 2339 WITH SCORE 2341.751
AT ITER 5803 NEW BEST:: SOT 5283 SOS 2749 HAS SOPS 2749 HAS SOUS 2337 HAS SOUPS 2337 WITH SCORE 2339.749
AT ITER 5903 NEW BEST:: SOT 5272 SOS 2745 HAS SOPS 2745 HAS SOUS 2333 HAS SOUPS 2333 WITH SCORE 2335.745
AT ITER 5979 NEW BEST:: SOT 5273 SOS 2740 HAS SOPS 2740 HAS SOUS 2333 HAS SOUPS 2333 WITH SCORE 2335.74
AT ITER 5989 NEW BEST:: SOT 5272 SOS 2739 HAS SOPS 2739 HAS SOUS 2332 HAS SOUPS 2332 WITH SCORE 2334.739
AT ITER 6142 NEW BEST:: SOT 5269 SOS 2736 HAS SOPS 2736 HAS SOUS 2329 HAS SOUPS 2329 WITH SCORE 2331.736
AT ITER 6217 NEW BEST:: SOT 5269 SOS 2736 HAS SOPS 2736 HAS SOUS 2328 HAS SOUPS 2328 WITH SCORE 2330.736
AT ITER 6241 NEW BEST:: SOT 5266 SOS 2730 HAS SOPS 2730 HAS SOUS 2324 HAS SOUPS 2324 WITH SCORE 2326.73
AT ITER 6443 NEW BEST:: SOT 5260 SOS 2729 HAS SOPS 2729 HAS SOUS 2323 HAS SOUPS 2323 WITH SCORE 2325.729
AT ITER 6461 NEW BEST:: SOT 5258 SOS 2727 HAS SOPS 2727 HAS SOUS 2321 HAS SOUPS 2321 WITH SCORE 2323.727
AT ITER 6487 NEW BEST:: SOT 5257 SOS 2726 HAS SOPS 2726 HAS SOUS 2320 HAS SOUPS 2320 WITH SCORE 2322.726
AT ITER 6507 NEW BEST:: SOT 5253 SOS 2728 HAS SOPS 2728 HAS SOUS 2319 HAS SOUPS 2319 WITH SCORE 2321.728
AT ITER 6529 NEW BEST:: SOT 5254 SOS 2725 HAS SOPS 2725 HAS SOUS 2318 HAS SOUPS 2318 WITH SCORE 2320.725
AT ITER 6575 NEW BEST:: SOT 5254 SOS 2721 HAS SOPS 2721 HAS SOUS 2316 HAS SOUPS 2316 WITH SCORE 2318.721
AT ITER 6717 NEW BEST:: SOT 5250 SOS 2717 HAS SOPS 2717 HAS SOUS 2312 HAS SOUPS 2312 WITH SCORE 2314.717
AT ITER 6741 NEW BEST:: SOT 5255 SOS 2716 HAS SOPS 2716 HAS SOUS 2311 HAS SOUPS 2311 WITH SCORE 2313.716
AT ITER 6829 NEW BEST:: SOT 5253 SOS 2714 HAS SOPS 2714 HAS SOUS 2309 HAS SOUPS 2309 WITH SCORE 2311.714
AT ITER 7120 NEW BEST:: SOT 5251 SOS 2719 HAS SOPS 2719 HAS SOUS 2308 HAS SOUPS 2308 WITH SCORE 2310.719
AT ITER 7128 NEW BEST:: SOT 5250 SOS 2718 HAS SOPS 2718 HAS SOUS 2307 HAS SOUPS 2307 WITH SCORE 2309.718
AT ITER 7304 NEW BEST:: SOT 5246 SOS 2717 HAS SOPS 2717 HAS SOUS 2306 HAS SOUPS 2306 WITH SCORE 2308.717
AT ITER 7439 NEW BEST:: SOT 5242 SOS 2716 HAS SOPS 2716 HAS SOUS 2305 HAS SOUPS 2305 WITH SCORE 2307.716
AT ITER 7460 NEW BEST:: SOT 5234 SOS 2714 HAS SOPS 2714 HAS SOUS 2303 HAS SOUPS 2303 WITH SCORE 2305.714
AT ITER 7478 NEW BEST:: SOT 5232 SOS 2712 HAS SOPS 2712 HAS SOUS 2301 HAS SOUPS 2301 WITH SCORE 2303.712
AT ITER 7557 NEW BEST:: SOT 5232 SOS 2712 HAS SOPS 2712 HAS SOUS 2299 HAS SOUPS 2299 WITH SCORE 2301.712
AT ITER 8340 NEW BEST:: SOT 5232 SOS 2708 HAS SOPS 2708 HAS SOUS 2298 HAS SOUPS 2298 WITH SCORE 2300.708
AT ITER 8360 NEW BEST:: SOT 5232 SOS 2708 HAS SOPS 2708 HAS SOUS 2296 HAS SOUPS 2296 WITH SCORE 2298.708
AT ITER 8368 NEW BEST:: SOT 5230 SOS 2707 HAS SOPS 2707 HAS SOUS 2295 HAS SOUPS 2295 WITH SCORE 2297.707
AT ITER 8533 NEW BEST:: SOT 5230 SOS 2707 HAS SOPS 2707 HAS SOUS 2294 HAS SOUPS 2294 WITH SCORE 2296.707
AT ITER 8673 NEW BEST:: SOT 5230 SOS 2707 HAS SOPS 2707 HAS SOUS 2293 HAS SOUPS 2293 WITH SCORE 2295.707
AT ITER 8682 NEW BEST:: SOT 5226 SOS 2703 HAS SOPS 2703 HAS SOUS 2289 HAS SOUPS 2289 WITH SCORE 2291.703
AT ITER 8892 NEW BEST:: SOT 5225 SOS 2702 HAS SOPS 2702 HAS SOUS 2288 HAS SOUPS 2288 WITH SCORE 2290.702
AT ITER 9097 NEW BEST:: SOT 5224 SOS 2701 HAS SOPS 2701 HAS SOUS 2287 HAS SOUPS 2287 WITH SCORE 2289.701
AT ITER 9198 NEW BEST:: SOT 5223 SOS 2704 HAS SOPS 2704 HAS SOUS 2286 HAS SOUPS 2286 WITH SCORE 2288.704
AT ITER 9591 NEW BEST:: SOT 5223 SOS 2703 HAS SOPS 2703 HAS SOUS 2285 HAS SOUPS 2285 WITH SCORE 2287.703
AT ITER 9695 NEW BEST:: SOT 5221 SOS 2702 HAS SOPS 2702 HAS SOUS 2285 HAS SOUPS 2285 WITH SCORE 2287.702
AT ITER 9850 NEW BEST:: SOT 5221 SOS 2702 HAS SOPS 2702 HAS SOUS 2284 HAS SOUPS 2284 WITH SCORE 2286.702
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 1679219409586

--------------------
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-COL-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-COL-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-167912710100144"
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 ;