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.r267-smll-167863541300024.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 NQueens-PT-08, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r267-smll-167863541300024
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 488K
-rw-r--r-- 1 mcc users 8.0K Feb 26 17:06 CTLCardinality.txt
-rw-r--r-- 1 mcc users 91K Feb 26 17:06 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 26 17:05 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 26 17:05 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:26 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:26 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:26 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 16:26 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.2K Feb 26 17:08 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 81K Feb 26 17:08 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.7K Feb 26 17:07 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 73K Feb 26 17:07 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:26 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:26 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 65K Mar 5 18:22 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678727076713

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=NQueens-PT-08
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 17:04:39] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 17:04:40] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 17:04:40] [INFO ] Load time of PNML (sax parser for PT used): 76 ms
[2023-03-13 17:04:40] [INFO ] Transformed 112 places.
[2023-03-13 17:04:40] [INFO ] Transformed 64 transitions.
[2023-03-13 17:04:40] [INFO ] Parsed PT model containing 112 places and 64 transitions and 320 arcs in 290 ms.
[2023-03-13 17:04:40] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 112 places, 64 transitions and 320 arcs took 6 ms.
Total runtime 345 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NQueens (PT), instance 08
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: 112 places, 64 transitions, 320 arcs.
AT ITER 0 NEW BEST:: SOT 5281 SOS 3308 HAS SOPS 3308 HAS SOUS 3143 HAS SOUPS 3143 WITH SCORE 3146.308
AT ITER 27 NEW BEST:: SOT 5255 SOS 3284 HAS SOPS 3284 HAS SOUS 3119 HAS SOUPS 3119 WITH SCORE 3122.284
AT ITER 34 NEW BEST:: SOT 5236 SOS 3274 HAS SOPS 3274 HAS SOUS 3097 HAS SOUPS 3097 WITH SCORE 3100.274
AT ITER 39 NEW BEST:: SOT 5203 SOS 3249 HAS SOPS 3249 HAS SOUS 3063 HAS SOUPS 3063 WITH SCORE 3066.249
AT ITER 40 NEW BEST:: SOT 5192 SOS 3234 HAS SOPS 3234 HAS SOUS 3053 HAS SOUPS 3053 WITH SCORE 3056.234
AT ITER 45 NEW BEST:: SOT 5192 SOS 3224 HAS SOPS 3224 HAS SOUS 3048 HAS SOUPS 3048 WITH SCORE 3051.224
AT ITER 47 NEW BEST:: SOT 5192 SOS 3223 HAS SOPS 3223 HAS SOUS 3048 HAS SOUPS 3048 WITH SCORE 3051.223
AT ITER 48 NEW BEST:: SOT 5182 SOS 3302 HAS SOPS 3302 HAS SOUS 3042 HAS SOUPS 3042 WITH SCORE 3045.302
AT ITER 49 NEW BEST:: SOT 5166 SOS 3327 HAS SOPS 3327 HAS SOUS 3038 HAS SOUPS 3038 WITH SCORE 3041.327
AT ITER 55 NEW BEST:: SOT 5163 SOS 3318 HAS SOPS 3318 HAS SOUS 3028 HAS SOUPS 3028 WITH SCORE 3031.318
AT ITER 61 NEW BEST:: SOT 5159 SOS 3307 HAS SOPS 3307 HAS SOUS 3016 HAS SOUPS 3016 WITH SCORE 3019.307
AT ITER 69 NEW BEST:: SOT 5159 SOS 3293 HAS SOPS 3293 HAS SOUS 3011 HAS SOUPS 3011 WITH SCORE 3014.293
AT ITER 73 NEW BEST:: SOT 5158 SOS 3292 HAS SOPS 3292 HAS SOUS 3010 HAS SOUPS 3010 WITH SCORE 3013.292
AT ITER 88 NEW BEST:: SOT 5158 SOS 3284 HAS SOPS 3284 HAS SOUS 3010 HAS SOUPS 3010 WITH SCORE 3013.284
AT ITER 90 NEW BEST:: SOT 5136 SOS 3293 HAS SOPS 3293 HAS SOUS 2998 HAS SOUPS 2998 WITH SCORE 3001.293
AT ITER 120 NEW BEST:: SOT 5120 SOS 3278 HAS SOPS 3278 HAS SOUS 2983 HAS SOUPS 2983 WITH SCORE 2986.278
AT ITER 134 NEW BEST:: SOT 5120 SOS 3278 HAS SOPS 3278 HAS SOUS 2982 HAS SOUPS 2982 WITH SCORE 2985.278
AT ITER 139 NEW BEST:: SOT 5117 SOS 3275 HAS SOPS 3275 HAS SOUS 2979 HAS SOUPS 2979 WITH SCORE 2982.275
AT ITER 146 NEW BEST:: SOT 5116 SOS 3274 HAS SOPS 3274 HAS SOUS 2978 HAS SOUPS 2978 WITH SCORE 2981.274
AT ITER 155 NEW BEST:: SOT 5090 SOS 3295 HAS SOPS 3295 HAS SOUS 2957 HAS SOUPS 2957 WITH SCORE 2960.295
AT ITER 165 NEW BEST:: SOT 5078 SOS 3284 HAS SOPS 3284 HAS SOUS 2946 HAS SOUPS 2946 WITH SCORE 2949.284
AT ITER 171 NEW BEST:: SOT 5077 SOS 3283 HAS SOPS 3283 HAS SOUS 2945 HAS SOUPS 2945 WITH SCORE 2948.283
AT ITER 172 NEW BEST:: SOT 5029 SOS 3255 HAS SOPS 3255 HAS SOUS 2917 HAS SOUPS 2917 WITH SCORE 2920.255
AT ITER 174 NEW BEST:: SOT 5011 SOS 3237 HAS SOPS 3237 HAS SOUS 2899 HAS SOUPS 2899 WITH SCORE 2902.237
AT ITER 183 NEW BEST:: SOT 5011 SOS 3228 HAS SOPS 3228 HAS SOUS 2899 HAS SOUPS 2899 WITH SCORE 2902.228
AT ITER 193 NEW BEST:: SOT 5017 SOS 3230 HAS SOPS 3230 HAS SOUS 2897 HAS SOUPS 2897 WITH SCORE 2900.23
AT ITER 205 NEW BEST:: SOT 4982 SOS 3205 HAS SOPS 3205 HAS SOUS 2872 HAS SOUPS 2872 WITH SCORE 2875.205
AT ITER 207 NEW BEST:: SOT 4966 SOS 3214 HAS SOPS 3214 HAS SOUS 2860 HAS SOUPS 2860 WITH SCORE 2863.214
AT ITER 220 NEW BEST:: SOT 4963 SOS 3211 HAS SOPS 3211 HAS SOUS 2857 HAS SOUPS 2857 WITH SCORE 2860.211
AT ITER 226 NEW BEST:: SOT 4963 SOS 3196 HAS SOPS 3196 HAS SOUS 2857 HAS SOUPS 2857 WITH SCORE 2860.196
AT ITER 233 NEW BEST:: SOT 4943 SOS 3176 HAS SOPS 3176 HAS SOUS 2837 HAS SOUPS 2837 WITH SCORE 2840.176
AT ITER 239 NEW BEST:: SOT 4943 SOS 3172 HAS SOPS 3172 HAS SOUS 2837 HAS SOUPS 2837 WITH SCORE 2840.172
AT ITER 243 NEW BEST:: SOT 4941 SOS 3170 HAS SOPS 3170 HAS SOUS 2835 HAS SOUPS 2835 WITH SCORE 2838.17
AT ITER 257 NEW BEST:: SOT 4941 SOS 3165 HAS SOPS 3165 HAS SOUS 2835 HAS SOUPS 2835 WITH SCORE 2838.165
AT ITER 258 NEW BEST:: SOT 4941 SOS 3086 HAS SOPS 3086 HAS SOUS 2835 HAS SOUPS 2835 WITH SCORE 2838.086
AT ITER 259 NEW BEST:: SOT 4920 SOS 3065 HAS SOPS 3065 HAS SOUS 2824 HAS SOUPS 2824 WITH SCORE 2827.065
AT ITER 293 NEW BEST:: SOT 4915 SOS 3060 HAS SOPS 3060 HAS SOUS 2819 HAS SOUPS 2819 WITH SCORE 2822.06
AT ITER 313 NEW BEST:: SOT 4897 SOS 3045 HAS SOPS 3045 HAS SOUS 2807 HAS SOUPS 2807 WITH SCORE 2810.045
AT ITER 314 NEW BEST:: SOT 4913 SOS 3032 HAS SOPS 3032 HAS SOUS 2794 HAS SOUPS 2794 WITH SCORE 2797.032
AT ITER 316 NEW BEST:: SOT 4891 SOS 3034 HAS SOPS 3034 HAS SOUS 2782 HAS SOUPS 2782 WITH SCORE 2785.034
AT ITER 327 NEW BEST:: SOT 4865 SOS 3007 HAS SOPS 3007 HAS SOUS 2764 HAS SOUPS 2764 WITH SCORE 2767.007
AT ITER 328 NEW BEST:: SOT 4863 SOS 3005 HAS SOPS 3005 HAS SOUS 2762 HAS SOUPS 2762 WITH SCORE 2765.005
AT ITER 339 NEW BEST:: SOT 4856 SOS 2998 HAS SOPS 2998 HAS SOUS 2755 HAS SOUPS 2755 WITH SCORE 2757.998
AT ITER 344 NEW BEST:: SOT 4853 SOS 2995 HAS SOPS 2995 HAS SOUS 2752 HAS SOUPS 2752 WITH SCORE 2754.995
AT ITER 363 NEW BEST:: SOT 4853 SOS 2994 HAS SOPS 2994 HAS SOUS 2752 HAS SOUPS 2752 WITH SCORE 2754.994
AT ITER 365 NEW BEST:: SOT 4849 SOS 2990 HAS SOPS 2990 HAS SOUS 2748 HAS SOUPS 2748 WITH SCORE 2750.99
AT ITER 381 NEW BEST:: SOT 4842 SOS 2983 HAS SOPS 2983 HAS SOUS 2741 HAS SOUPS 2741 WITH SCORE 2743.983
AT ITER 382 NEW BEST:: SOT 4819 SOS 2953 HAS SOPS 2953 HAS SOUS 2729 HAS SOUPS 2729 WITH SCORE 2731.953
AT ITER 383 NEW BEST:: SOT 4819 SOS 2938 HAS SOPS 2938 HAS SOUS 2729 HAS SOUPS 2729 WITH SCORE 2731.938
AT ITER 387 NEW BEST:: SOT 4817 SOS 2936 HAS SOPS 2936 HAS SOUS 2727 HAS SOUPS 2727 WITH SCORE 2729.936
AT ITER 389 NEW BEST:: SOT 4817 SOS 2934 HAS SOPS 2934 HAS SOUS 2727 HAS SOUPS 2727 WITH SCORE 2729.934
AT ITER 398 NEW BEST:: SOT 4817 SOS 2934 HAS SOPS 2934 HAS SOUS 2722 HAS SOUPS 2722 WITH SCORE 2724.934
AT ITER 399 NEW BEST:: SOT 4793 SOS 2910 HAS SOPS 2910 HAS SOUS 2698 HAS SOUPS 2698 WITH SCORE 2700.91
AT ITER 405 NEW BEST:: SOT 4798 SOS 2897 HAS SOPS 2897 HAS SOUS 2689 HAS SOUPS 2689 WITH SCORE 2691.897
AT ITER 418 NEW BEST:: SOT 4798 SOS 2892 HAS SOPS 2892 HAS SOUS 2684 HAS SOUPS 2684 WITH SCORE 2686.892
AT ITER 432 NEW BEST:: SOT 4799 SOS 2897 HAS SOPS 2897 HAS SOUS 2682 HAS SOUPS 2682 WITH SCORE 2684.897
AT ITER 451 NEW BEST:: SOT 4799 SOS 2893 HAS SOPS 2893 HAS SOUS 2682 HAS SOUPS 2682 WITH SCORE 2684.893
AT ITER 454 NEW BEST:: SOT 4799 SOS 2888 HAS SOPS 2888 HAS SOUS 2682 HAS SOUPS 2682 WITH SCORE 2684.888
AT ITER 465 NEW BEST:: SOT 4796 SOS 2885 HAS SOPS 2885 HAS SOUS 2679 HAS SOUPS 2679 WITH SCORE 2681.885
AT ITER 524 NEW BEST:: SOT 4796 SOS 2885 HAS SOPS 2885 HAS SOUS 2678 HAS SOUPS 2678 WITH SCORE 2680.885
AT ITER 531 NEW BEST:: SOT 4767 SOS 2898 HAS SOPS 2898 HAS SOUS 2660 HAS SOUPS 2660 WITH SCORE 2662.898
AT ITER 543 NEW BEST:: SOT 4767 SOS 2893 HAS SOPS 2893 HAS SOUS 2657 HAS SOUPS 2657 WITH SCORE 2659.893
AT ITER 557 NEW BEST:: SOT 4775 SOS 2891 HAS SOPS 2891 HAS SOUS 2655 HAS SOUPS 2655 WITH SCORE 2657.891
AT ITER 578 NEW BEST:: SOT 4760 SOS 2910 HAS SOPS 2910 HAS SOUS 2640 HAS SOUPS 2640 WITH SCORE 2642.91
AT ITER 586 NEW BEST:: SOT 4756 SOS 2910 HAS SOPS 2910 HAS SOUS 2636 HAS SOUPS 2636 WITH SCORE 2638.91
AT ITER 652 NEW BEST:: SOT 4762 SOS 2909 HAS SOPS 2909 HAS SOUS 2632 HAS SOUPS 2632 WITH SCORE 2634.909
AT ITER 656 NEW BEST:: SOT 4758 SOS 2905 HAS SOPS 2905 HAS SOUS 2627 HAS SOUPS 2627 WITH SCORE 2629.905
AT ITER 658 NEW BEST:: SOT 4755 SOS 2902 HAS SOPS 2902 HAS SOUS 2624 HAS SOUPS 2624 WITH SCORE 2626.902
AT ITER 661 NEW BEST:: SOT 4755 SOS 2850 HAS SOPS 2850 HAS SOUS 2624 HAS SOUPS 2624 WITH SCORE 2626.85
AT ITER 688 NEW BEST:: SOT 4755 SOS 2850 HAS SOPS 2850 HAS SOUS 2620 HAS SOUPS 2620 WITH SCORE 2622.85
AT ITER 708 NEW BEST:: SOT 4763 SOS 2860 HAS SOPS 2860 HAS SOUS 2616 HAS SOUPS 2616 WITH SCORE 2618.86
AT ITER 714 NEW BEST:: SOT 4761 SOS 2858 HAS SOPS 2858 HAS SOUS 2614 HAS SOUPS 2614 WITH SCORE 2616.858
AT ITER 748 NEW BEST:: SOT 4755 SOS 2852 HAS SOPS 2852 HAS SOUS 2608 HAS SOUPS 2608 WITH SCORE 2610.852
AT ITER 752 NEW BEST:: SOT 4755 SOS 2848 HAS SOPS 2848 HAS SOUS 2607 HAS SOUPS 2607 WITH SCORE 2609.848
AT ITER 753 NEW BEST:: SOT 4751 SOS 2844 HAS SOPS 2844 HAS SOUS 2605 HAS SOUPS 2605 WITH SCORE 2607.844
AT ITER 781 NEW BEST:: SOT 4745 SOS 2838 HAS SOPS 2838 HAS SOUS 2599 HAS SOUPS 2599 WITH SCORE 2601.838
AT ITER 794 NEW BEST:: SOT 4742 SOS 2835 HAS SOPS 2835 HAS SOUS 2596 HAS SOUPS 2596 WITH SCORE 2598.835
AT ITER 820 NEW BEST:: SOT 4747 SOS 2851 HAS SOPS 2851 HAS SOUS 2592 HAS SOUPS 2592 WITH SCORE 2594.851
AT ITER 823 NEW BEST:: SOT 4743 SOS 2863 HAS SOPS 2863 HAS SOUS 2588 HAS SOUPS 2588 WITH SCORE 2590.863
AT ITER 832 NEW BEST:: SOT 4741 SOS 2861 HAS SOPS 2861 HAS SOUS 2586 HAS SOUPS 2586 WITH SCORE 2588.861
AT ITER 833 NEW BEST:: SOT 4738 SOS 2858 HAS SOPS 2858 HAS SOUS 2583 HAS SOUPS 2583 WITH SCORE 2585.858
AT ITER 863 NEW BEST:: SOT 4738 SOS 2854 HAS SOPS 2854 HAS SOUS 2583 HAS SOUPS 2583 WITH SCORE 2585.854
AT ITER 874 NEW BEST:: SOT 4732 SOS 2846 HAS SOPS 2846 HAS SOUS 2583 HAS SOUPS 2583 WITH SCORE 2585.846
AT ITER 879 NEW BEST:: SOT 4731 SOS 2845 HAS SOPS 2845 HAS SOUS 2582 HAS SOUPS 2582 WITH SCORE 2584.845
AT ITER 968 NEW BEST:: SOT 4720 SOS 2834 HAS SOPS 2834 HAS SOUS 2571 HAS SOUPS 2571 WITH SCORE 2573.834
AT ITER 986 NEW BEST:: SOT 4721 SOS 2835 HAS SOPS 2835 HAS SOUS 2569 HAS SOUPS 2569 WITH SCORE 2571.835
AT ITER 998 NEW BEST:: SOT 4710 SOS 2859 HAS SOPS 2859 HAS SOUS 2566 HAS SOUPS 2566 WITH SCORE 2568.859
AT ITER 999 NEW BEST:: SOT 4708 SOS 2857 HAS SOPS 2857 HAS SOUS 2566 HAS SOUPS 2566 WITH SCORE 2568.857
AT ITER 1000 NEW BEST:: SOT 4703 SOS 2910 HAS SOPS 2910 HAS SOUS 2561 HAS SOUPS 2561 WITH SCORE 2563.91
AT ITER 1018 NEW BEST:: SOT 4696 SOS 2903 HAS SOPS 2903 HAS SOUS 2554 HAS SOUPS 2554 WITH SCORE 2556.903
AT ITER 1026 NEW BEST:: SOT 4691 SOS 2898 HAS SOPS 2898 HAS SOUS 2549 HAS SOUPS 2549 WITH SCORE 2551.898
AT ITER 1037 NEW BEST:: SOT 4691 SOS 2895 HAS SOPS 2895 HAS SOUS 2549 HAS SOUPS 2549 WITH SCORE 2551.895
AT ITER 1053 NEW BEST:: SOT 4691 SOS 2893 HAS SOPS 2893 HAS SOUS 2549 HAS SOUPS 2549 WITH SCORE 2551.893
AT ITER 1068 NEW BEST:: SOT 4694 SOS 2888 HAS SOPS 2888 HAS SOUS 2548 HAS SOUPS 2548 WITH SCORE 2550.888
AT ITER 1087 NEW BEST:: SOT 4694 SOS 2887 HAS SOPS 2887 HAS SOUS 2542 HAS SOUPS 2542 WITH SCORE 2544.887
AT ITER 1093 NEW BEST:: SOT 4694 SOS 2885 HAS SOPS 2885 HAS SOUS 2542 HAS SOUPS 2542 WITH SCORE 2544.885
AT ITER 1134 NEW BEST:: SOT 4694 SOS 2870 HAS SOPS 2870 HAS SOUS 2542 HAS SOUPS 2542 WITH SCORE 2544.87
AT ITER 1145 NEW BEST:: SOT 4689 SOS 2865 HAS SOPS 2865 HAS SOUS 2537 HAS SOUPS 2537 WITH SCORE 2539.865
AT ITER 1169 NEW BEST:: SOT 4689 SOS 2850 HAS SOPS 2850 HAS SOUS 2537 HAS SOUPS 2537 WITH SCORE 2539.85
AT ITER 1175 NEW BEST:: SOT 4686 SOS 2847 HAS SOPS 2847 HAS SOUS 2534 HAS SOUPS 2534 WITH SCORE 2536.847
AT ITER 1198 NEW BEST:: SOT 4686 SOS 2845 HAS SOPS 2845 HAS SOUS 2534 HAS SOUPS 2534 WITH SCORE 2536.845
AT ITER 1215 NEW BEST:: SOT 4686 SOS 2836 HAS SOPS 2836 HAS SOUS 2534 HAS SOUPS 2534 WITH SCORE 2536.836
AT ITER 1251 NEW BEST:: SOT 4686 SOS 2834 HAS SOPS 2834 HAS SOUS 2532 HAS SOUPS 2532 WITH SCORE 2534.834
AT ITER 1275 NEW BEST:: SOT 4686 SOS 2821 HAS SOPS 2821 HAS SOUS 2532 HAS SOUPS 2532 WITH SCORE 2534.821
AT ITER 1291 NEW BEST:: SOT 4686 SOS 2817 HAS SOPS 2817 HAS SOUS 2529 HAS SOUPS 2529 WITH SCORE 2531.817
AT ITER 1298 NEW BEST:: SOT 4689 SOS 2811 HAS SOPS 2811 HAS SOUS 2529 HAS SOUPS 2529 WITH SCORE 2531.811
AT ITER 1341 NEW BEST:: SOT 4688 SOS 2816 HAS SOPS 2816 HAS SOUS 2528 HAS SOUPS 2528 WITH SCORE 2530.816
AT ITER 1361 NEW BEST:: SOT 4688 SOS 2815 HAS SOPS 2815 HAS SOUS 2528 HAS SOUPS 2528 WITH SCORE 2530.815
AT ITER 1368 NEW BEST:: SOT 4680 SOS 2807 HAS SOPS 2807 HAS SOUS 2525 HAS SOUPS 2525 WITH SCORE 2527.807
AT ITER 1372 NEW BEST:: SOT 4676 SOS 2803 HAS SOPS 2803 HAS SOUS 2521 HAS SOUPS 2521 WITH SCORE 2523.803
AT ITER 1420 NEW BEST:: SOT 4676 SOS 2792 HAS SOPS 2792 HAS SOUS 2521 HAS SOUPS 2521 WITH SCORE 2523.792
AT ITER 1423 NEW BEST:: SOT 4681 SOS 2785 HAS SOPS 2785 HAS SOUS 2520 HAS SOUPS 2520 WITH SCORE 2522.785
AT ITER 1446 NEW BEST:: SOT 4684 SOS 2785 HAS SOPS 2785 HAS SOUS 2518 HAS SOUPS 2518 WITH SCORE 2520.785
AT ITER 1473 NEW BEST:: SOT 4686 SOS 2781 HAS SOPS 2781 HAS SOUS 2518 HAS SOUPS 2518 WITH SCORE 2520.781
AT ITER 1533 NEW BEST:: SOT 4685 SOS 2783 HAS SOPS 2783 HAS SOUS 2517 HAS SOUPS 2517 WITH SCORE 2519.783
AT ITER 1582 NEW BEST:: SOT 4685 SOS 2782 HAS SOPS 2782 HAS SOUS 2517 HAS SOUPS 2517 WITH SCORE 2519.782
AT ITER 1595 NEW BEST:: SOT 4680 SOS 2777 HAS SOPS 2777 HAS SOUS 2512 HAS SOUPS 2512 WITH SCORE 2514.777
AT ITER 1612 NEW BEST:: SOT 4667 SOS 2760 HAS SOPS 2760 HAS SOUS 2505 HAS SOUPS 2505 WITH SCORE 2507.76
AT ITER 1620 NEW BEST:: SOT 4667 SOS 2759 HAS SOPS 2759 HAS SOUS 2504 HAS SOUPS 2504 WITH SCORE 2506.759
AT ITER 1661 NEW BEST:: SOT 4667 SOS 2757 HAS SOPS 2757 HAS SOUS 2502 HAS SOUPS 2502 WITH SCORE 2504.757
AT ITER 1679 NEW BEST:: SOT 4666 SOS 2764 HAS SOPS 2764 HAS SOUS 2497 HAS SOUPS 2497 WITH SCORE 2499.764
AT ITER 1694 NEW BEST:: SOT 4666 SOS 2763 HAS SOPS 2763 HAS SOUS 2496 HAS SOUPS 2496 WITH SCORE 2498.763
AT ITER 1696 NEW BEST:: SOT 4660 SOS 2760 HAS SOPS 2760 HAS SOUS 2487 HAS SOUPS 2487 WITH SCORE 2489.76
AT ITER 1751 NEW BEST:: SOT 4660 SOS 2749 HAS SOPS 2749 HAS SOUS 2487 HAS SOUPS 2487 WITH SCORE 2489.749
AT ITER 1763 NEW BEST:: SOT 4660 SOS 2741 HAS SOPS 2741 HAS SOUS 2487 HAS SOUPS 2487 WITH SCORE 2489.741
AT ITER 1780 NEW BEST:: SOT 4656 SOS 2737 HAS SOPS 2737 HAS SOUS 2483 HAS SOUPS 2483 WITH SCORE 2485.737
AT ITER 1785 NEW BEST:: SOT 4652 SOS 2733 HAS SOPS 2733 HAS SOUS 2479 HAS SOUPS 2479 WITH SCORE 2481.733
AT ITER 1798 NEW BEST:: SOT 4650 SOS 2732 HAS SOPS 2732 HAS SOUS 2478 HAS SOUPS 2478 WITH SCORE 2480.732
AT ITER 1833 NEW BEST:: SOT 4643 SOS 2725 HAS SOPS 2725 HAS SOUS 2471 HAS SOUPS 2471 WITH SCORE 2473.725
AT ITER 1836 NEW BEST:: SOT 4642 SOS 2724 HAS SOPS 2724 HAS SOUS 2470 HAS SOUPS 2470 WITH SCORE 2472.724
AT ITER 1889 NEW BEST:: SOT 4640 SOS 2722 HAS SOPS 2722 HAS SOUS 2465 HAS SOUPS 2465 WITH SCORE 2467.722
AT ITER 1960 NEW BEST:: SOT 4637 SOS 2742 HAS SOPS 2742 HAS SOUS 2464 HAS SOUPS 2464 WITH SCORE 2466.742
AT ITER 1975 NEW BEST:: SOT 4637 SOS 2741 HAS SOPS 2741 HAS SOUS 2464 HAS SOUPS 2464 WITH SCORE 2466.741
AT ITER 2029 NEW BEST:: SOT 4630 SOS 2770 HAS SOPS 2770 HAS SOUS 2457 HAS SOUPS 2457 WITH SCORE 2459.77
AT ITER 2041 NEW BEST:: SOT 4621 SOS 2775 HAS SOPS 2775 HAS SOUS 2456 HAS SOUPS 2456 WITH SCORE 2458.775
AT ITER 2051 NEW BEST:: SOT 4622 SOS 2773 HAS SOPS 2773 HAS SOUS 2451 HAS SOUPS 2451 WITH SCORE 2453.773
AT ITER 2079 NEW BEST:: SOT 4621 SOS 2772 HAS SOPS 2772 HAS SOUS 2450 HAS SOUPS 2450 WITH SCORE 2452.772
AT ITER 2084 NEW BEST:: SOT 4622 SOS 2763 HAS SOPS 2763 HAS SOUS 2449 HAS SOUPS 2449 WITH SCORE 2451.763
AT ITER 2093 NEW BEST:: SOT 4621 SOS 2762 HAS SOPS 2762 HAS SOUS 2444 HAS SOUPS 2444 WITH SCORE 2446.762
AT ITER 2099 NEW BEST:: SOT 4621 SOS 2760 HAS SOPS 2760 HAS SOUS 2442 HAS SOUPS 2442 WITH SCORE 2444.76
AT ITER 2128 NEW BEST:: SOT 4611 SOS 2833 HAS SOPS 2833 HAS SOUS 2441 HAS SOUPS 2441 WITH SCORE 2443.833
AT ITER 2143 NEW BEST:: SOT 4611 SOS 2814 HAS SOPS 2814 HAS SOUS 2441 HAS SOUPS 2441 WITH SCORE 2443.814
AT ITER 2171 NEW BEST:: SOT 4607 SOS 2810 HAS SOPS 2810 HAS SOUS 2437 HAS SOUPS 2437 WITH SCORE 2439.81
AT ITER 2174 NEW BEST:: SOT 4607 SOS 2800 HAS SOPS 2800 HAS SOUS 2437 HAS SOUPS 2437 WITH SCORE 2439.8
AT ITER 2188 NEW BEST:: SOT 4598 SOS 2791 HAS SOPS 2791 HAS SOUS 2435 HAS SOUPS 2435 WITH SCORE 2437.791
AT ITER 2230 NEW BEST:: SOT 4595 SOS 2790 HAS SOPS 2790 HAS SOUS 2434 HAS SOUPS 2434 WITH SCORE 2436.79
AT ITER 2246 NEW BEST:: SOT 4587 SOS 2782 HAS SOPS 2782 HAS SOUS 2432 HAS SOUPS 2432 WITH SCORE 2434.782
AT ITER 2270 NEW BEST:: SOT 4585 SOS 2780 HAS SOPS 2780 HAS SOUS 2431 HAS SOUPS 2431 WITH SCORE 2433.78
AT ITER 2271 NEW BEST:: SOT 4580 SOS 2775 HAS SOPS 2775 HAS SOUS 2426 HAS SOUPS 2426 WITH SCORE 2428.775
AT ITER 2296 NEW BEST:: SOT 4579 SOS 2777 HAS SOPS 2777 HAS SOUS 2425 HAS SOUPS 2425 WITH SCORE 2427.777
AT ITER 2301 NEW BEST:: SOT 4581 SOS 2779 HAS SOPS 2779 HAS SOUS 2422 HAS SOUPS 2422 WITH SCORE 2424.779
AT ITER 2307 NEW BEST:: SOT 4581 SOS 2767 HAS SOPS 2767 HAS SOUS 2421 HAS SOUPS 2421 WITH SCORE 2423.767
AT ITER 2354 NEW BEST:: SOT 4581 SOS 2765 HAS SOPS 2765 HAS SOUS 2421 HAS SOUPS 2421 WITH SCORE 2423.765
AT ITER 2366 NEW BEST:: SOT 4581 SOS 2765 HAS SOPS 2765 HAS SOUS 2414 HAS SOUPS 2414 WITH SCORE 2416.765
AT ITER 2385 NEW BEST:: SOT 4580 SOS 2764 HAS SOPS 2764 HAS SOUS 2413 HAS SOUPS 2413 WITH SCORE 2415.764
AT ITER 2501 NEW BEST:: SOT 4576 SOS 2772 HAS SOPS 2772 HAS SOUS 2409 HAS SOUPS 2409 WITH SCORE 2411.772
AT ITER 2544 NEW BEST:: SOT 4567 SOS 2779 HAS SOPS 2779 HAS SOUS 2403 HAS SOUPS 2403 WITH SCORE 2405.779
AT ITER 2588 NEW BEST:: SOT 4564 SOS 2776 HAS SOPS 2776 HAS SOUS 2400 HAS SOUPS 2400 WITH SCORE 2402.776
AT ITER 2622 NEW BEST:: SOT 4562 SOS 2780 HAS SOPS 2780 HAS SOUS 2398 HAS SOUPS 2398 WITH SCORE 2400.78
AT ITER 2648 NEW BEST:: SOT 4557 SOS 2776 HAS SOPS 2776 HAS SOUS 2396 HAS SOUPS 2396 WITH SCORE 2398.776
AT ITER 2659 NEW BEST:: SOT 4557 SOS 2766 HAS SOPS 2766 HAS SOUS 2394 HAS SOUPS 2394 WITH SCORE 2396.766
AT ITER 2724 NEW BEST:: SOT 4553 SOS 2762 HAS SOPS 2762 HAS SOUS 2390 HAS SOUPS 2390 WITH SCORE 2392.762
AT ITER 2790 NEW BEST:: SOT 4548 SOS 2757 HAS SOPS 2757 HAS SOUS 2385 HAS SOUPS 2385 WITH SCORE 2387.757
AT ITER 2856 NEW BEST:: SOT 4542 SOS 2750 HAS SOPS 2750 HAS SOUS 2376 HAS SOUPS 2376 WITH SCORE 2378.75
AT ITER 2947 NEW BEST:: SOT 4540 SOS 2748 HAS SOPS 2748 HAS SOUS 2374 HAS SOUPS 2374 WITH SCORE 2376.748
AT ITER 2949 NEW BEST:: SOT 4540 SOS 2746 HAS SOPS 2746 HAS SOUS 2374 HAS SOUPS 2374 WITH SCORE 2376.746
AT ITER 2983 NEW BEST:: SOT 4536 SOS 2770 HAS SOPS 2770 HAS SOUS 2370 HAS SOUPS 2370 WITH SCORE 2372.77
AT ITER 3018 NEW BEST:: SOT 4534 SOS 2779 HAS SOPS 2779 HAS SOUS 2368 HAS SOUPS 2368 WITH SCORE 2370.779
AT ITER 3020 NEW BEST:: SOT 4533 SOS 2786 HAS SOPS 2786 HAS SOUS 2367 HAS SOUPS 2367 WITH SCORE 2369.786
AT ITER 3034 NEW BEST:: SOT 4531 SOS 2785 HAS SOPS 2785 HAS SOUS 2366 HAS SOUPS 2366 WITH SCORE 2368.785
AT ITER 3065 NEW BEST:: SOT 4529 SOS 2783 HAS SOPS 2783 HAS SOUS 2364 HAS SOUPS 2364 WITH SCORE 2366.783
AT ITER 3085 NEW BEST:: SOT 4526 SOS 2810 HAS SOPS 2810 HAS SOUS 2361 HAS SOUPS 2361 WITH SCORE 2363.81
AT ITER 3113 NEW BEST:: SOT 4522 SOS 2809 HAS SOPS 2809 HAS SOUS 2360 HAS SOUPS 2360 WITH SCORE 2362.809
AT ITER 3155 NEW BEST:: SOT 4522 SOS 2788 HAS SOPS 2788 HAS SOUS 2360 HAS SOUPS 2360 WITH SCORE 2362.788
AT ITER 3156 NEW BEST:: SOT 4522 SOS 2780 HAS SOPS 2780 HAS SOUS 2360 HAS SOUPS 2360 WITH SCORE 2362.78
AT ITER 3178 NEW BEST:: SOT 4520 SOS 2778 HAS SOPS 2778 HAS SOUS 2358 HAS SOUPS 2358 WITH SCORE 2360.778
AT ITER 3217 NEW BEST:: SOT 4517 SOS 2810 HAS SOPS 2810 HAS SOUS 2357 HAS SOUPS 2357 WITH SCORE 2359.81
AT ITER 3274 NEW BEST:: SOT 4517 SOS 2804 HAS SOPS 2804 HAS SOUS 2356 HAS SOUPS 2356 WITH SCORE 2358.804
AT ITER 3280 NEW BEST:: SOT 4516 SOS 2845 HAS SOPS 2845 HAS SOUS 2355 HAS SOUPS 2355 WITH SCORE 2357.845
AT ITER 3283 NEW BEST:: SOT 4516 SOS 2826 HAS SOPS 2826 HAS SOUS 2353 HAS SOUPS 2353 WITH SCORE 2355.826
AT ITER 3344 NEW BEST:: SOT 4516 SOS 2820 HAS SOPS 2820 HAS SOUS 2353 HAS SOUPS 2353 WITH SCORE 2355.82
AT ITER 3369 NEW BEST:: SOT 4515 SOS 2823 HAS SOPS 2823 HAS SOUS 2352 HAS SOUPS 2352 WITH SCORE 2354.823
AT ITER 3406 NEW BEST:: SOT 4515 SOS 2828 HAS SOPS 2828 HAS SOUS 2350 HAS SOUPS 2350 WITH SCORE 2352.828
AT ITER 3415 NEW BEST:: SOT 4512 SOS 2825 HAS SOPS 2825 HAS SOUS 2349 HAS SOUPS 2349 WITH SCORE 2351.825
AT ITER 3460 NEW BEST:: SOT 4507 SOS 2851 HAS SOPS 2851 HAS SOUS 2344 HAS SOUPS 2344 WITH SCORE 2346.851
AT ITER 3476 NEW BEST:: SOT 4507 SOS 2850 HAS SOPS 2850 HAS SOUS 2343 HAS SOUPS 2343 WITH SCORE 2345.85
AT ITER 3527 NEW BEST:: SOT 4505 SOS 2848 HAS SOPS 2848 HAS SOUS 2341 HAS SOUPS 2341 WITH SCORE 2343.848
AT ITER 3612 NEW BEST:: SOT 4504 SOS 2847 HAS SOPS 2847 HAS SOUS 2340 HAS SOUPS 2340 WITH SCORE 2342.847
AT ITER 3621 NEW BEST:: SOT 4503 SOS 2846 HAS SOPS 2846 HAS SOUS 2339 HAS SOUPS 2339 WITH SCORE 2341.846
AT ITER 3636 NEW BEST:: SOT 4505 SOS 2846 HAS SOPS 2846 HAS SOUS 2338 HAS SOUPS 2338 WITH SCORE 2340.846
AT ITER 3702 NEW BEST:: SOT 4504 SOS 2845 HAS SOPS 2845 HAS SOUS 2337 HAS SOUPS 2337 WITH SCORE 2339.845
AT ITER 3839 NEW BEST:: SOT 4502 SOS 2843 HAS SOPS 2843 HAS SOUS 2336 HAS SOUPS 2336 WITH SCORE 2338.843
AT ITER 3850 NEW BEST:: SOT 4499 SOS 2881 HAS SOPS 2881 HAS SOUS 2334 HAS SOUPS 2334 WITH SCORE 2336.881
AT ITER 3852 NEW BEST:: SOT 4497 SOS 2879 HAS SOPS 2879 HAS SOUS 2332 HAS SOUPS 2332 WITH SCORE 2334.879
AT ITER 3932 NEW BEST:: SOT 4495 SOS 2877 HAS SOPS 2877 HAS SOUS 2330 HAS SOUPS 2330 WITH SCORE 2332.877
AT ITER 3940 NEW BEST:: SOT 4497 SOS 2871 HAS SOPS 2871 HAS SOUS 2330 HAS SOUPS 2330 WITH SCORE 2332.871
AT ITER 3946 NEW BEST:: SOT 4496 SOS 2870 HAS SOPS 2870 HAS SOUS 2329 HAS SOUPS 2329 WITH SCORE 2331.87
AT ITER 3954 NEW BEST:: SOT 4496 SOS 2862 HAS SOPS 2862 HAS SOUS 2329 HAS SOUPS 2329 WITH SCORE 2331.862
AT ITER 3960 NEW BEST:: SOT 4495 SOS 2861 HAS SOPS 2861 HAS SOUS 2328 HAS SOUPS 2328 WITH SCORE 2330.861
AT ITER 4060 NEW BEST:: SOT 4495 SOS 2855 HAS SOPS 2855 HAS SOUS 2328 HAS SOUPS 2328 WITH SCORE 2330.855
AT ITER 4140 NEW BEST:: SOT 4495 SOS 2844 HAS SOPS 2844 HAS SOUS 2328 HAS SOUPS 2328 WITH SCORE 2330.844
AT ITER 4164 NEW BEST:: SOT 4495 SOS 2844 HAS SOPS 2844 HAS SOUS 2326 HAS SOUPS 2326 WITH SCORE 2328.844
AT ITER 4267 NEW BEST:: SOT 4495 SOS 2844 HAS SOPS 2844 HAS SOUS 2325 HAS SOUPS 2325 WITH SCORE 2327.844
AT ITER 4281 NEW BEST:: SOT 4493 SOS 2842 HAS SOPS 2842 HAS SOUS 2322 HAS SOUPS 2322 WITH SCORE 2324.842
AT ITER 4340 NEW BEST:: SOT 4492 SOS 2841 HAS SOPS 2841 HAS SOUS 2321 HAS SOUPS 2321 WITH SCORE 2323.841
AT ITER 4361 NEW BEST:: SOT 4489 SOS 2838 HAS SOPS 2838 HAS SOUS 2318 HAS SOUPS 2318 WITH SCORE 2320.838
AT ITER 4411 NEW BEST:: SOT 4489 SOS 2836 HAS SOPS 2836 HAS SOUS 2315 HAS SOUPS 2315 WITH SCORE 2317.836
AT ITER 4497 NEW BEST:: SOT 4489 SOS 2834 HAS SOPS 2834 HAS SOUS 2315 HAS SOUPS 2315 WITH SCORE 2317.834
AT ITER 4538 NEW BEST:: SOT 4489 SOS 2822 HAS SOPS 2822 HAS SOUS 2315 HAS SOUPS 2315 WITH SCORE 2317.822
AT ITER 4560 NEW BEST:: SOT 4489 SOS 2817 HAS SOPS 2817 HAS SOUS 2315 HAS SOUPS 2315 WITH SCORE 2317.817
AT ITER 4569 NEW BEST:: SOT 4488 SOS 2816 HAS SOPS 2816 HAS SOUS 2314 HAS SOUPS 2314 WITH SCORE 2316.816
AT ITER 4766 NEW BEST:: SOT 4488 SOS 2815 HAS SOPS 2815 HAS SOUS 2313 HAS SOUPS 2313 WITH SCORE 2315.815
AT ITER 4922 NEW BEST:: SOT 4488 SOS 2815 HAS SOPS 2815 HAS SOUS 2311 HAS SOUPS 2311 WITH SCORE 2313.815
AT ITER 4948 NEW BEST:: SOT 4487 SOS 2814 HAS SOPS 2814 HAS SOUS 2310 HAS SOUPS 2310 WITH SCORE 2312.814
AT ITER 4972 NEW BEST:: SOT 4486 SOS 2813 HAS SOPS 2813 HAS SOUS 2309 HAS SOUPS 2309 WITH SCORE 2311.813
AT ITER 4993 NEW BEST:: SOT 4486 SOS 2810 HAS SOPS 2810 HAS SOUS 2309 HAS SOUPS 2309 WITH SCORE 2311.81
AT ITER 5050 NEW BEST:: SOT 4486 SOS 2809 HAS SOPS 2809 HAS SOUS 2309 HAS SOUPS 2309 WITH SCORE 2311.809
AT ITER 5074 NEW BEST:: SOT 4484 SOS 2807 HAS SOPS 2807 HAS SOUS 2307 HAS SOUPS 2307 WITH SCORE 2309.807
AT ITER 5088 NEW BEST:: SOT 4484 SOS 2806 HAS SOPS 2806 HAS SOUS 2306 HAS SOUPS 2306 WITH SCORE 2308.806
AT ITER 5193 NEW BEST:: SOT 4483 SOS 2805 HAS SOPS 2805 HAS SOUS 2305 HAS SOUPS 2305 WITH SCORE 2307.805
AT ITER 5217 NEW BEST:: SOT 4483 SOS 2796 HAS SOPS 2796 HAS SOUS 2305 HAS SOUPS 2305 WITH SCORE 2307.796
AT ITER 5241 NEW BEST:: SOT 4484 SOS 2791 HAS SOPS 2791 HAS SOUS 2304 HAS SOUPS 2304 WITH SCORE 2306.791
AT ITER 5254 NEW BEST:: SOT 4484 SOS 2790 HAS SOPS 2790 HAS SOUS 2304 HAS SOUPS 2304 WITH SCORE 2306.79
AT ITER 5284 NEW BEST:: SOT 4484 SOS 2789 HAS SOPS 2789 HAS SOUS 2302 HAS SOUPS 2302 WITH SCORE 2304.789
AT ITER 5368 NEW BEST:: SOT 4480 SOS 2822 HAS SOPS 2822 HAS SOUS 2300 HAS SOUPS 2300 WITH SCORE 2302.822
AT ITER 5396 NEW BEST:: SOT 4478 SOS 2820 HAS SOPS 2820 HAS SOUS 2298 HAS SOUPS 2298 WITH SCORE 2300.82
AT ITER 5429 NEW BEST:: SOT 4481 SOS 2814 HAS SOPS 2814 HAS SOUS 2298 HAS SOUPS 2298 WITH SCORE 2300.814
AT ITER 5456 NEW BEST:: SOT 4473 SOS 2848 HAS SOPS 2848 HAS SOUS 2290 HAS SOUPS 2290 WITH SCORE 2292.848
AT ITER 5528 NEW BEST:: SOT 4472 SOS 2847 HAS SOPS 2847 HAS SOUS 2289 HAS SOUPS 2289 WITH SCORE 2291.847
AT ITER 5626 NEW BEST:: SOT 4471 SOS 2846 HAS SOPS 2846 HAS SOUS 2288 HAS SOUPS 2288 WITH SCORE 2290.846
AT ITER 5643 NEW BEST:: SOT 4471 SOS 2854 HAS SOPS 2854 HAS SOUS 2287 HAS SOUPS 2287 WITH SCORE 2289.854
AT ITER 5706 NEW BEST:: SOT 4463 SOS 2893 HAS SOPS 2893 HAS SOUS 2285 HAS SOUPS 2285 WITH SCORE 2287.893
AT ITER 5739 NEW BEST:: SOT 4461 SOS 2891 HAS SOPS 2891 HAS SOUS 2283 HAS SOUPS 2283 WITH SCORE 2285.891
AT ITER 5776 NEW BEST:: SOT 4461 SOS 2891 HAS SOPS 2891 HAS SOUS 2281 HAS SOUPS 2281 WITH SCORE 2283.891
AT ITER 5885 NEW BEST:: SOT 4461 SOS 2890 HAS SOPS 2890 HAS SOUS 2280 HAS SOUPS 2280 WITH SCORE 2282.89
AT ITER 5930 NEW BEST:: SOT 4459 SOS 2888 HAS SOPS 2888 HAS SOUS 2278 HAS SOUPS 2278 WITH SCORE 2280.888
AT ITER 5932 NEW BEST:: SOT 4457 SOS 2911 HAS SOPS 2911 HAS SOUS 2276 HAS SOUPS 2276 WITH SCORE 2278.911
AT ITER 6091 NEW BEST:: SOT 4456 SOS 2910 HAS SOPS 2910 HAS SOUS 2276 HAS SOUPS 2276 WITH SCORE 2278.91
AT ITER 6150 NEW BEST:: SOT 4455 SOS 2909 HAS SOPS 2909 HAS SOUS 2275 HAS SOUPS 2275 WITH SCORE 2277.909
AT ITER 6387 NEW BEST:: SOT 4455 SOS 2897 HAS SOPS 2897 HAS SOUS 2275 HAS SOUPS 2275 WITH SCORE 2277.897
AT ITER 6507 NEW BEST:: SOT 4454 SOS 2896 HAS SOPS 2896 HAS SOUS 2274 HAS SOUPS 2274 WITH SCORE 2276.896
AT ITER 6543 NEW BEST:: SOT 4454 SOS 2902 HAS SOPS 2902 HAS SOUS 2273 HAS SOUPS 2273 WITH SCORE 2275.902
AT ITER 6899 NEW BEST:: SOT 4454 SOS 2892 HAS SOPS 2892 HAS SOUS 2273 HAS SOUPS 2273 WITH SCORE 2275.892
AT ITER 7045 NEW BEST:: SOT 4451 SOS 2895 HAS SOPS 2895 HAS SOUS 2271 HAS SOUPS 2271 WITH SCORE 2273.895
AT ITER 7069 NEW BEST:: SOT 4451 SOS 2894 HAS SOPS 2894 HAS SOUS 2270 HAS SOUPS 2270 WITH SCORE 2272.894
AT ITER 7345 NEW BEST:: SOT 4451 SOS 2890 HAS SOPS 2890 HAS SOUS 2269 HAS SOUPS 2269 WITH SCORE 2271.89
AT ITER 7411 NEW BEST:: SOT 4449 SOS 2889 HAS SOPS 2889 HAS SOUS 2269 HAS SOUPS 2269 WITH SCORE 2271.889
AT ITER 7448 NEW BEST:: SOT 4445 SOS 2889 HAS SOPS 2889 HAS SOUS 2268 HAS SOUPS 2268 WITH SCORE 2270.889
AT ITER 7696 NEW BEST:: SOT 4445 SOS 2877 HAS SOPS 2877 HAS SOUS 2268 HAS SOUPS 2268 WITH SCORE 2270.877
AT ITER 7822 NEW BEST:: SOT 4442 SOS 2874 HAS SOPS 2874 HAS SOUS 2268 HAS SOUPS 2268 WITH SCORE 2270.874
AT ITER 7880 NEW BEST:: SOT 4442 SOS 2871 HAS SOPS 2871 HAS SOUS 2268 HAS SOUPS 2268 WITH SCORE 2270.871
AT ITER 7933 NEW BEST:: SOT 4439 SOS 2869 HAS SOPS 2869 HAS SOUS 2268 HAS SOUPS 2268 WITH SCORE 2270.869
AT ITER 8356 NEW BEST:: SOT 4436 SOS 2866 HAS SOPS 2866 HAS SOUS 2265 HAS SOUPS 2265 WITH SCORE 2267.866
AT ITER 8613 NEW BEST:: SOT 4436 SOS 2863 HAS SOPS 2863 HAS SOUS 2265 HAS SOUPS 2265 WITH SCORE 2267.863
AT ITER 8712 NEW BEST:: SOT 4436 SOS 2862 HAS SOPS 2862 HAS SOUS 2264 HAS SOUPS 2264 WITH SCORE 2266.862
AT ITER 8754 NEW BEST:: SOT 4434 SOS 2860 HAS SOPS 2860 HAS SOUS 2262 HAS SOUPS 2262 WITH SCORE 2264.86
AT ITER 8934 NEW BEST:: SOT 4434 SOS 2856 HAS SOPS 2856 HAS SOUS 2262 HAS SOUPS 2262 WITH SCORE 2264.856
AT ITER 8942 NEW BEST:: SOT 4433 SOS 2855 HAS SOPS 2855 HAS SOUS 2261 HAS SOUPS 2261 WITH SCORE 2263.855
AT ITER 9228 NEW BEST:: SOT 4432 SOS 2854 HAS SOPS 2854 HAS SOUS 2260 HAS SOUPS 2260 WITH SCORE 2262.854
AT ITER 9520 NEW BEST:: SOT 4432 SOS 2855 HAS SOPS 2855 HAS SOUS 2259 HAS SOUPS 2259 WITH SCORE 2261.855
AT ITER 9750 NEW BEST:: SOT 4431 SOS 2857 HAS SOPS 2857 HAS SOUS 2258 HAS SOUPS 2258 WITH SCORE 2260.857
STATE_SPACE STATES 118969 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 48 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 564880 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678727104087

--------------------
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="NQueens-PT-08"
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 NQueens-PT-08, 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 r267-smll-167863541300024"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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