Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r035-tajo-167813688600704.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is CANInsertWithFailure-PT-005, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r035-tajo-167813688600704
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 664K
-rw-r--r-- 1 mcc users 8.7K Feb 26 00:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 74K Feb 26 00:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.6K Feb 26 00:32 CTLFireability.txt
-rw-r--r-- 1 mcc users 67K Feb 26 00:32 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.6K Feb 25 15:40 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:40 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Feb 25 15:40 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 25 15:40 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 26 00:37 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 126K Feb 26 00:37 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.3K Feb 26 00:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 26 00:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 15:40 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Feb 25 15:40 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 202K 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 1678473130306

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=CANInsertWithFailure-PT-005
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CANInsertWithFailure (PT), instance 005
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 114 places, 180 transitions, 500 arcs.
AT ITER 0 NEW BEST:: SOT 13739 SOS 7768 HAS SOPS 7728 HAS SOUS 4986 HAS SOUPS 4946 WITH SCORE 4953.768
AT ITER 7 NEW BEST:: SOT 13685 SOS 7720 HAS SOPS 7680 HAS SOUS 4935 HAS SOUPS 4895 WITH SCORE 4902.72
AT ITER 13 NEW BEST:: SOT 13675 SOS 7700 HAS SOPS 7660 HAS SOUS 4915 HAS SOUPS 4875 WITH SCORE 4882.7
AT ITER 15 NEW BEST:: SOT 13675 SOS 7586 HAS SOPS 7546 HAS SOUS 4813 HAS SOUPS 4773 WITH SCORE 4780.586
AT ITER 18 NEW BEST:: SOT 13599 SOS 7379 HAS SOPS 7339 HAS SOUS 4705 HAS SOUPS 4665 WITH SCORE 4672.379
AT ITER 19 NEW BEST:: SOT 13428 SOS 7251 HAS SOPS 7210 HAS SOUS 4570 HAS SOUPS 4529 WITH SCORE 4536.251
AT ITER 21 NEW BEST:: SOT 13193 SOS 7204 HAS SOPS 7163 HAS SOUS 4533 HAS SOUPS 4492 WITH SCORE 4499.204
AT ITER 28 NEW BEST:: SOT 13087 SOS 7079 HAS SOPS 7038 HAS SOUS 4384 HAS SOUPS 4343 WITH SCORE 4350.079
AT ITER 32 NEW BEST:: SOT 13135 SOS 7127 HAS SOPS 7086 HAS SOUS 4369 HAS SOUPS 4328 WITH SCORE 4335.127
AT ITER 34 NEW BEST:: SOT 13134 SOS 7125 HAS SOPS 7084 HAS SOUS 4367 HAS SOUPS 4326 WITH SCORE 4333.125
AT ITER 39 NEW BEST:: SOT 13122 SOS 7101 HAS SOPS 7060 HAS SOUS 4361 HAS SOUPS 4320 WITH SCORE 4327.101
AT ITER 40 NEW BEST:: SOT 13166 SOS 7123 HAS SOPS 7082 HAS SOUS 4331 HAS SOUPS 4290 WITH SCORE 4297.123
AT ITER 43 NEW BEST:: SOT 13169 SOS 7228 HAS SOPS 7106 HAS SOUS 4373 HAS SOUPS 4280 WITH SCORE 4287.228
AT ITER 48 NEW BEST:: SOT 13169 SOS 7228 HAS SOPS 7106 HAS SOUS 4372 HAS SOUPS 4279 WITH SCORE 4286.228
AT ITER 51 NEW BEST:: SOT 13155 SOS 7240 HAS SOPS 7118 HAS SOUS 4363 HAS SOUPS 4270 WITH SCORE 4277.24
AT ITER 54 NEW BEST:: SOT 13159 SOS 7194 HAS SOPS 7072 HAS SOUS 4346 HAS SOUPS 4253 WITH SCORE 4260.194
AT ITER 63 NEW BEST:: SOT 13104 SOS 7121 HAS SOPS 6999 HAS SOUS 4328 HAS SOUPS 4235 WITH SCORE 4242.121
AT ITER 68 NEW BEST:: SOT 13011 SOS 7028 HAS SOPS 6858 HAS SOUS 4287 HAS SOUPS 4182 WITH SCORE 4189.028
AT ITER 71 NEW BEST:: SOT 13051 SOS 7212 HAS SOPS 6947 HAS SOUS 4243 HAS SOUPS 4097 WITH SCORE 4104.212
AT ITER 75 NEW BEST:: SOT 13047 SOS 7202 HAS SOPS 6937 HAS SOUS 4243 HAS SOUPS 4097 WITH SCORE 4104.202
AT ITER 86 NEW BEST:: SOT 13038 SOS 7193 HAS SOPS 6931 HAS SOUS 4237 HAS SOUPS 4091 WITH SCORE 4098.193
AT ITER 89 NEW BEST:: SOT 13060 SOS 7283 HAS SOPS 6993 HAS SOUS 4165 HAS SOUPS 4019 WITH SCORE 4026.283
AT ITER 101 NEW BEST:: SOT 12884 SOS 7174 HAS SOPS 6707 HAS SOUS 4062 HAS SOUPS 3851 WITH SCORE 3858.174
AT ITER 126 NEW BEST:: SOT 12884 SOS 7174 HAS SOPS 6700 HAS SOUS 4048 HAS SOUPS 3837 WITH SCORE 3844.174
AT ITER 127 NEW BEST:: SOT 12902 SOS 7287 HAS SOPS 6695 HAS SOUS 4045 HAS SOUPS 3794 WITH SCORE 3801.287
AT ITER 129 NEW BEST:: SOT 12900 SOS 7283 HAS SOPS 6691 HAS SOUS 4041 HAS SOUPS 3790 WITH SCORE 3797.283
AT ITER 135 NEW BEST:: SOT 12947 SOS 7311 HAS SOPS 6698 HAS SOUS 3956 HAS SOUPS 3705 WITH SCORE 3712.311
AT ITER 136 NEW BEST:: SOT 12944 SOS 7305 HAS SOPS 6692 HAS SOUS 3950 HAS SOUPS 3699 WITH SCORE 3706.305
AT ITER 146 NEW BEST:: SOT 12927 SOS 7267 HAS SOPS 6654 HAS SOUS 3912 HAS SOUPS 3661 WITH SCORE 3668.267
AT ITER 150 NEW BEST:: SOT 12935 SOS 7275 HAS SOPS 6654 HAS SOUS 3896 HAS SOUPS 3645 WITH SCORE 3652.275
AT ITER 155 NEW BEST:: SOT 12976 SOS 7323 HAS SOPS 6699 HAS SOUS 3840 HAS SOUPS 3589 WITH SCORE 3596.323
AT ITER 158 NEW BEST:: SOT 12986 SOS 7333 HAS SOPS 6699 HAS SOUS 3834 HAS SOUPS 3579 WITH SCORE 3586.333
AT ITER 159 NEW BEST:: SOT 12987 SOS 7330 HAS SOPS 6696 HAS SOUS 3831 HAS SOUPS 3576 WITH SCORE 3583.33
AT ITER 163 NEW BEST:: SOT 12954 SOS 7300 HAS SOPS 6666 HAS SOUS 3830 HAS SOUPS 3575 WITH SCORE 3582.3
AT ITER 167 NEW BEST:: SOT 12979 SOS 7326 HAS SOPS 6678 HAS SOUS 3827 HAS SOUPS 3572 WITH SCORE 3579.326
AT ITER 169 NEW BEST:: SOT 12977 SOS 7322 HAS SOPS 6674 HAS SOUS 3812 HAS SOUPS 3557 WITH SCORE 3564.322
AT ITER 171 NEW BEST:: SOT 12976 SOS 7319 HAS SOPS 6671 HAS SOUS 3810 HAS SOUPS 3555 WITH SCORE 3562.319
AT ITER 200 NEW BEST:: SOT 13008 SOS 7351 HAS SOPS 6687 HAS SOUS 3804 HAS SOUPS 3549 WITH SCORE 3556.351
AT ITER 203 NEW BEST:: SOT 13036 SOS 7374 HAS SOPS 6702 HAS SOUS 3790 HAS SOUPS 3535 WITH SCORE 3542.374
AT ITER 216 NEW BEST:: SOT 13065 SOS 7408 HAS SOPS 6716 HAS SOUS 3768 HAS SOUPS 3513 WITH SCORE 3520.408
AT ITER 218 NEW BEST:: SOT 13060 SOS 7362 HAS SOPS 6706 HAS SOUS 3763 HAS SOUPS 3508 WITH SCORE 3515.362
AT ITER 223 NEW BEST:: SOT 13079 SOS 7325 HAS SOPS 6669 HAS SOUS 3726 HAS SOUPS 3471 WITH SCORE 3478.325
AT ITER 224 NEW BEST:: SOT 13075 SOS 7321 HAS SOPS 6665 HAS SOUS 3722 HAS SOUPS 3467 WITH SCORE 3474.321
AT ITER 230 NEW BEST:: SOT 13141 SOS 7488 HAS SOPS 6832 HAS SOUS 3687 HAS SOUPS 3432 WITH SCORE 3439.488
AT ITER 233 NEW BEST:: SOT 13205 SOS 7552 HAS SOPS 6896 HAS SOUS 3671 HAS SOUPS 3416 WITH SCORE 3423.552
AT ITER 243 NEW BEST:: SOT 13199 SOS 7541 HAS SOPS 6885 HAS SOUS 3660 HAS SOUPS 3405 WITH SCORE 3412.541
AT ITER 248 NEW BEST:: SOT 13147 SOS 7651 HAS SOPS 6781 HAS SOUS 3492 HAS SOUPS 3189 WITH SCORE 3196.651
AT ITER 250 NEW BEST:: SOT 13123 SOS 7627 HAS SOPS 6733 HAS SOUS 3420 HAS SOUPS 3117 WITH SCORE 3124.627
AT ITER 251 NEW BEST:: SOT 13132 SOS 7636 HAS SOPS 6734 HAS SOUS 3389 HAS SOUPS 3086 WITH SCORE 3093.636
AT ITER 253 NEW BEST:: SOT 13132 SOS 7636 HAS SOPS 6734 HAS SOUS 3388 HAS SOUPS 3085 WITH SCORE 3092.636
AT ITER 268 NEW BEST:: SOT 13132 SOS 7635 HAS SOPS 6733 HAS SOUS 3386 HAS SOUPS 3083 WITH SCORE 3090.635
AT ITER 284 NEW BEST:: SOT 13118 SOS 7593 HAS SOPS 6691 HAS SOUS 3365 HAS SOUPS 3062 WITH SCORE 3069.593
AT ITER 303 NEW BEST:: SOT 13117 SOS 7592 HAS SOPS 6689 HAS SOUS 3361 HAS SOUPS 3058 WITH SCORE 3065.592
AT ITER 310 NEW BEST:: SOT 13133 SOS 7605 HAS SOPS 6686 HAS SOUS 3338 HAS SOUPS 3035 WITH SCORE 3042.605
AT ITER 323 NEW BEST:: SOT 13115 SOS 7360 HAS SOPS 6442 HAS SOUS 3294 HAS SOUPS 2991 WITH SCORE 2998.36
AT ITER 338 NEW BEST:: SOT 13136 SOS 7374 HAS SOPS 6463 HAS SOUS 3286 HAS SOUPS 2983 WITH SCORE 2990.374
AT ITER 353 NEW BEST:: SOT 13112 SOS 7313 HAS SOPS 6402 HAS SOUS 3262 HAS SOUPS 2959 WITH SCORE 2966.313
AT ITER 369 NEW BEST:: SOT 13085 SOS 7286 HAS SOPS 6396 HAS SOUS 3256 HAS SOUPS 2953 WITH SCORE 2960.286
AT ITER 379 NEW BEST:: SOT 13060 SOS 7262 HAS SOPS 6362 HAS SOUS 3236 HAS SOUPS 2928 WITH SCORE 2935.262
AT ITER 407 NEW BEST:: SOT 13065 SOS 7330 HAS SOPS 6350 HAS SOUS 3249 HAS SOUPS 2924 WITH SCORE 2931.33
AT ITER 432 NEW BEST:: SOT 13062 SOS 7324 HAS SOPS 6344 HAS SOUS 3249 HAS SOUPS 2924 WITH SCORE 2931.324
AT ITER 451 NEW BEST:: SOT 13062 SOS 7322 HAS SOPS 6341 HAS SOUS 3248 HAS SOUPS 2923 WITH SCORE 2930.322
AT ITER 453 NEW BEST:: SOT 13074 SOS 7334 HAS SOPS 6356 HAS SOUS 3245 HAS SOUPS 2920 WITH SCORE 2927.334
AT ITER 462 NEW BEST:: SOT 13063 SOS 7328 HAS SOPS 6350 HAS SOUS 3239 HAS SOUPS 2914 WITH SCORE 2921.328
AT ITER 466 NEW BEST:: SOT 13060 SOS 7322 HAS SOPS 6344 HAS SOUS 3233 HAS SOUPS 2908 WITH SCORE 2915.322
AT ITER 468 NEW BEST:: SOT 13060 SOS 7316 HAS SOPS 6338 HAS SOUS 3233 HAS SOUPS 2908 WITH SCORE 2915.316
AT ITER 474 NEW BEST:: SOT 13016 SOS 7253 HAS SOPS 6214 HAS SOUS 3221 HAS SOUPS 2896 WITH SCORE 2903.253
AT ITER 498 NEW BEST:: SOT 13015 SOS 7248 HAS SOPS 6212 HAS SOUS 3217 HAS SOUPS 2892 WITH SCORE 2899.248
AT ITER 500 NEW BEST:: SOT 13009 SOS 7236 HAS SOPS 6206 HAS SOUS 3217 HAS SOUPS 2892 WITH SCORE 2899.236
AT ITER 502 NEW BEST:: SOT 13006 SOS 7233 HAS SOPS 6200 HAS SOUS 3210 HAS SOUPS 2885 WITH SCORE 2892.233
AT ITER 504 NEW BEST:: SOT 13003 SOS 7232 HAS SOPS 6199 HAS SOUS 3209 HAS SOUPS 2884 WITH SCORE 2891.232
AT ITER 535 NEW BEST:: SOT 13003 SOS 7045 HAS SOPS 6012 HAS SOUS 3209 HAS SOUPS 2884 WITH SCORE 2891.045
AT ITER 536 NEW BEST:: SOT 12993 SOS 6993 HAS SOPS 5960 HAS SOUS 3207 HAS SOUPS 2882 WITH SCORE 2888.993
AT ITER 549 NEW BEST:: SOT 12991 SOS 6765 HAS SOPS 5756 HAS SOUS 3204 HAS SOUPS 2879 WITH SCORE 2885.765
AT ITER 552 NEW BEST:: SOT 13000 SOS 6800 HAS SOPS 5791 HAS SOUS 3181 HAS SOUPS 2856 WITH SCORE 2862.8
AT ITER 566 NEW BEST:: SOT 13032 SOS 6843 HAS SOPS 5834 HAS SOUS 3142 HAS SOUPS 2817 WITH SCORE 2823.843
AT ITER 585 NEW BEST:: SOT 13030 SOS 6814 HAS SOPS 5770 HAS SOUS 3146 HAS SOUPS 2815 WITH SCORE 2821.814
AT ITER 591 NEW BEST:: SOT 13095 SOS 6872 HAS SOPS 5829 HAS SOUS 3141 HAS SOUPS 2810 WITH SCORE 2816.872
AT ITER 595 NEW BEST:: SOT 13087 SOS 6856 HAS SOPS 5813 HAS SOUS 3125 HAS SOUPS 2794 WITH SCORE 2800.856
AT ITER 620 NEW BEST:: SOT 13083 SOS 6849 HAS SOPS 5809 HAS SOUS 3124 HAS SOUPS 2793 WITH SCORE 2799.849
AT ITER 626 NEW BEST:: SOT 13083 SOS 6868 HAS SOPS 5790 HAS SOUS 3086 HAS SOUPS 2755 WITH SCORE 2761.868
AT ITER 627 NEW BEST:: SOT 13073 SOS 6850 HAS SOPS 5772 HAS SOUS 3068 HAS SOUPS 2737 WITH SCORE 2743.85
AT ITER 652 NEW BEST:: SOT 13073 SOS 6850 HAS SOPS 5767 HAS SOUS 3058 HAS SOUPS 2727 WITH SCORE 2733.85
AT ITER 654 NEW BEST:: SOT 13065 SOS 6842 HAS SOPS 5751 HAS SOUS 3025 HAS SOUPS 2694 WITH SCORE 2700.842
AT ITER 675 NEW BEST:: SOT 13064 SOS 6839 HAS SOPS 5748 HAS SOUS 3023 HAS SOUPS 2692 WITH SCORE 2698.839
AT ITER 678 NEW BEST:: SOT 13032 SOS 6785 HAS SOPS 5708 HAS SOUS 3013 HAS SOUPS 2682 WITH SCORE 2688.785
AT ITER 700 NEW BEST:: SOT 13032 SOS 6785 HAS SOPS 5708 HAS SOUS 3012 HAS SOUPS 2681 WITH SCORE 2687.785
AT ITER 703 NEW BEST:: SOT 13029 SOS 6746 HAS SOPS 5669 HAS SOUS 3006 HAS SOUPS 2675 WITH SCORE 2681.746
AT ITER 708 NEW BEST:: SOT 13018 SOS 6735 HAS SOPS 5658 HAS SOUS 3006 HAS SOUPS 2675 WITH SCORE 2681.735
AT ITER 714 NEW BEST:: SOT 13000 SOS 6717 HAS SOPS 5640 HAS SOUS 3001 HAS SOUPS 2670 WITH SCORE 2676.717
AT ITER 729 NEW BEST:: SOT 13003 SOS 6742 HAS SOPS 5665 HAS SOUS 2998 HAS SOUPS 2667 WITH SCORE 2673.742
AT ITER 735 NEW BEST:: SOT 13006 SOS 6839 HAS SOPS 5762 HAS SOUS 2980 HAS SOUPS 2649 WITH SCORE 2655.839
AT ITER 737 NEW BEST:: SOT 12996 SOS 6829 HAS SOPS 5742 HAS SOUS 2960 HAS SOUPS 2629 WITH SCORE 2635.829
AT ITER 740 NEW BEST:: SOT 12966 SOS 6706 HAS SOPS 5619 HAS SOUS 2912 HAS SOUPS 2581 WITH SCORE 2587.706
AT ITER 748 NEW BEST:: SOT 12964 SOS 6704 HAS SOPS 5615 HAS SOUS 2913 HAS SOUPS 2577 WITH SCORE 2583.704
AT ITER 778 NEW BEST:: SOT 12942 SOS 6631 HAS SOPS 5542 HAS SOUS 2884 HAS SOUPS 2548 WITH SCORE 2554.631
AT ITER 780 NEW BEST:: SOT 12936 SOS 6625 HAS SOPS 5533 HAS SOUS 2881 HAS SOUPS 2545 WITH SCORE 2551.625
AT ITER 786 NEW BEST:: SOT 12906 SOS 6485 HAS SOPS 5266 HAS SOUS 2885 HAS SOUPS 2506 WITH SCORE 2512.485
AT ITER 797 NEW BEST:: SOT 12906 SOS 6481 HAS SOPS 5266 HAS SOUS 2885 HAS SOUPS 2506 WITH SCORE 2512.481
AT ITER 840 NEW BEST:: SOT 12901 SOS 6456 HAS SOPS 5251 HAS SOUS 2885 HAS SOUPS 2506 WITH SCORE 2512.456
AT ITER 842 NEW BEST:: SOT 12892 SOS 6488 HAS SOPS 5351 HAS SOUS 2863 HAS SOUPS 2495 WITH SCORE 2501.488
AT ITER 858 NEW BEST:: SOT 12895 SOS 6490 HAS SOPS 5349 HAS SOUS 2852 HAS SOUPS 2484 WITH SCORE 2490.49
AT ITER 861 NEW BEST:: SOT 12892 SOS 6351 HAS SOPS 5214 HAS SOUS 2849 HAS SOUPS 2481 WITH SCORE 2487.351
AT ITER 891 NEW BEST:: SOT 12900 SOS 6359 HAS SOPS 5222 HAS SOUS 2836 HAS SOUPS 2473 WITH SCORE 2479.359
AT ITER 919 NEW BEST:: SOT 12921 SOS 6391 HAS SOPS 5251 HAS SOUS 2826 HAS SOUPS 2463 WITH SCORE 2469.391
AT ITER 954 NEW BEST:: SOT 12911 SOS 6371 HAS SOPS 5246 HAS SOUS 2821 HAS SOUPS 2458 WITH SCORE 2464.371
AT ITER 964 NEW BEST:: SOT 12904 SOS 6423 HAS SOPS 5232 HAS SOUS 2829 HAS SOUPS 2455 WITH SCORE 2461.423
AT ITER 965 NEW BEST:: SOT 12896 SOS 6415 HAS SOPS 5216 HAS SOUS 2814 HAS SOUPS 2440 WITH SCORE 2446.415
AT ITER 970 NEW BEST:: SOT 12902 SOS 6105 HAS SOPS 4906 HAS SOUS 2811 HAS SOUPS 2437 WITH SCORE 2443.105
AT ITER 1008 NEW BEST:: SOT 12896 SOS 6021 HAS SOPS 4848 HAS SOUS 2799 HAS SOUPS 2431 WITH SCORE 2437.021
AT ITER 1009 NEW BEST:: SOT 12890 SOS 6039 HAS SOPS 4810 HAS SOUS 2805 HAS SOUPS 2429 WITH SCORE 2435.039
AT ITER 1020 NEW BEST:: SOT 12886 SOS 6045 HAS SOPS 4804 HAS SOUS 2799 HAS SOUPS 2421 WITH SCORE 2427.045
AT ITER 1030 NEW BEST:: SOT 12887 SOS 6061 HAS SOPS 4803 HAS SOUS 2798 HAS SOUPS 2417 WITH SCORE 2423.061
AT ITER 1048 NEW BEST:: SOT 12878 SOS 6022 HAS SOPS 4764 HAS SOUS 2792 HAS SOUPS 2411 WITH SCORE 2417.022
AT ITER 1062 NEW BEST:: SOT 12874 SOS 6015 HAS SOPS 4759 HAS SOUS 2787 HAS SOUPS 2406 WITH SCORE 2412.015
AT ITER 1072 NEW BEST:: SOT 12874 SOS 6015 HAS SOPS 4757 HAS SOUS 2785 HAS SOUPS 2404 WITH SCORE 2410.015
AT ITER 1076 NEW BEST:: SOT 12863 SOS 6001 HAS SOPS 4743 HAS SOUS 2783 HAS SOUPS 2402 WITH SCORE 2408.001
AT ITER 1092 NEW BEST:: SOT 12863 SOS 5942 HAS SOPS 4644 HAS SOUS 2772 HAS SOUPS 2391 WITH SCORE 2396.942
AT ITER 1115 NEW BEST:: SOT 12868 SOS 5862 HAS SOPS 4564 HAS SOUS 2767 HAS SOUPS 2386 WITH SCORE 2391.862
AT ITER 1143 NEW BEST:: SOT 12866 SOS 5858 HAS SOPS 4560 HAS SOUS 2763 HAS SOUPS 2382 WITH SCORE 2387.858
AT ITER 1154 NEW BEST:: SOT 12863 SOS 5888 HAS SOPS 4578 HAS SOUS 2760 HAS SOUPS 2376 WITH SCORE 2381.888
AT ITER 1174 NEW BEST:: SOT 12813 SOS 5836 HAS SOPS 4526 HAS SOUS 2741 HAS SOUPS 2357 WITH SCORE 2362.836
AT ITER 1176 NEW BEST:: SOT 12811 SOS 5834 HAS SOPS 4523 HAS SOUS 2740 HAS SOUPS 2356 WITH SCORE 2361.834
AT ITER 1178 NEW BEST:: SOT 12805 SOS 5842 HAS SOPS 4495 HAS SOUS 2742 HAS SOUPS 2352 WITH SCORE 2357.842
AT ITER 1201 NEW BEST:: SOT 12810 SOS 5740 HAS SOPS 4393 HAS SOUS 2724 HAS SOUPS 2334 WITH SCORE 2339.74
AT ITER 1208 NEW BEST:: SOT 12729 SOS 5561 HAS SOPS 4231 HAS SOUS 2705 HAS SOUPS 2317 WITH SCORE 2322.561
AT ITER 1216 NEW BEST:: SOT 12719 SOS 5739 HAS SOPS 4390 HAS SOUS 2704 HAS SOUPS 2316 WITH SCORE 2321.739
AT ITER 1223 NEW BEST:: SOT 12709 SOS 5729 HAS SOPS 4370 HAS SOUS 2684 HAS SOUPS 2296 WITH SCORE 2301.729
AT ITER 1231 NEW BEST:: SOT 12743 SOS 5763 HAS SOPS 4399 HAS SOUS 2681 HAS SOUPS 2293 WITH SCORE 2298.763
AT ITER 1263 NEW BEST:: SOT 12743 SOS 5783 HAS SOPS 4387 HAS SOUS 2683 HAS SOUPS 2291 WITH SCORE 2296.783
AT ITER 1267 NEW BEST:: SOT 12737 SOS 5777 HAS SOPS 4381 HAS SOUS 2683 HAS SOUPS 2291 WITH SCORE 2296.777
AT ITER 1272 NEW BEST:: SOT 12741 SOS 5861 HAS SOPS 4463 HAS SOUS 2675 HAS SOUPS 2283 WITH SCORE 2288.861
AT ITER 1282 NEW BEST:: SOT 12754 SOS 5875 HAS SOPS 4465 HAS SOUS 2665 HAS SOUPS 2273 WITH SCORE 2278.875
AT ITER 1300 NEW BEST:: SOT 12753 SOS 6061 HAS SOPS 4623 HAS SOUS 2650 HAS SOUPS 2258 WITH SCORE 2264.061
AT ITER 1330 NEW BEST:: SOT 12752 SOS 6060 HAS SOPS 4623 HAS SOUS 2650 HAS SOUPS 2258 WITH SCORE 2264.06
AT ITER 1337 NEW BEST:: SOT 12730 SOS 6016 HAS SOPS 4594 HAS SOUS 2621 HAS SOUPS 2229 WITH SCORE 2235.016
AT ITER 1338 NEW BEST:: SOT 12735 SOS 6022 HAS SOPS 4599 HAS SOUS 2618 HAS SOUPS 2226 WITH SCORE 2232.022
AT ITER 1354 NEW BEST:: SOT 12735 SOS 6028 HAS SOPS 4598 HAS SOUS 2617 HAS SOUPS 2224 WITH SCORE 2230.028
AT ITER 1359 NEW BEST:: SOT 12732 SOS 6025 HAS SOPS 4592 HAS SOUS 2614 HAS SOUPS 2221 WITH SCORE 2227.025
AT ITER 1362 NEW BEST:: SOT 12731 SOS 6025 HAS SOPS 4590 HAS SOUS 2607 HAS SOUPS 2214 WITH SCORE 2220.025
AT ITER 1363 NEW BEST:: SOT 12729 SOS 6023 HAS SOPS 4588 HAS SOUS 2607 HAS SOUPS 2214 WITH SCORE 2220.023
AT ITER 1405 NEW BEST:: SOT 12706 SOS 5986 HAS SOPS 4557 HAS SOUS 2591 HAS SOUPS 2198 WITH SCORE 2203.986
AT ITER 1418 NEW BEST:: SOT 12704 SOS 5980 HAS SOPS 4551 HAS SOUS 2587 HAS SOUPS 2194 WITH SCORE 2199.98
AT ITER 1492 NEW BEST:: SOT 12703 SOS 5979 HAS SOPS 4550 HAS SOUS 2585 HAS SOUPS 2192 WITH SCORE 2197.979
AT ITER 1508 NEW BEST:: SOT 12702 SOS 5974 HAS SOPS 4546 HAS SOUS 2584 HAS SOUPS 2191 WITH SCORE 2196.974
AT ITER 1532 NEW BEST:: SOT 12701 SOS 5936 HAS SOPS 4508 HAS SOUS 2582 HAS SOUPS 2189 WITH SCORE 2194.936
AT ITER 1548 NEW BEST:: SOT 12719 SOS 5655 HAS SOPS 4258 HAS SOUS 2573 HAS SOUPS 2180 WITH SCORE 2185.655
AT ITER 1555 NEW BEST:: SOT 12715 SOS 5651 HAS SOPS 4252 HAS SOUS 2569 HAS SOUPS 2176 WITH SCORE 2181.651
AT ITER 1575 NEW BEST:: SOT 12712 SOS 5648 HAS SOPS 4243 HAS SOUS 2569 HAS SOUPS 2176 WITH SCORE 2181.648
AT ITER 1597 NEW BEST:: SOT 12709 SOS 5642 HAS SOPS 4237 HAS SOUS 2566 HAS SOUPS 2173 WITH SCORE 2178.642
AT ITER 1601 NEW BEST:: SOT 12700 SOS 5633 HAS SOPS 4223 HAS SOUS 2556 HAS SOUPS 2163 WITH SCORE 2168.633
AT ITER 1648 NEW BEST:: SOT 12696 SOS 5684 HAS SOPS 4274 HAS SOUS 2545 HAS SOUPS 2152 WITH SCORE 2157.684
AT ITER 1678 NEW BEST:: SOT 12704 SOS 5585 HAS SOPS 4175 HAS SOUS 2535 HAS SOUPS 2142 WITH SCORE 2147.585
AT ITER 1695 NEW BEST:: SOT 12703 SOS 5553 HAS SOPS 4146 HAS SOUS 2535 HAS SOUPS 2142 WITH SCORE 2147.553
AT ITER 1730 NEW BEST:: SOT 12702 SOS 5551 HAS SOPS 4145 HAS SOUS 2534 HAS SOUPS 2141 WITH SCORE 2146.551
AT ITER 1772 NEW BEST:: SOT 12719 SOS 5318 HAS SOPS 3978 HAS SOUS 2504 HAS SOUPS 2140 WITH SCORE 2145.318
AT ITER 1791 NEW BEST:: SOT 12723 SOS 5322 HAS SOPS 3982 HAS SOUS 2503 HAS SOUPS 2139 WITH SCORE 2144.322
AT ITER 1813 NEW BEST:: SOT 12707 SOS 5320 HAS SOPS 3980 HAS SOUS 2501 HAS SOUPS 2137 WITH SCORE 2142.32
AT ITER 1816 NEW BEST:: SOT 12694 SOS 5402 HAS SOPS 4039 HAS SOUS 2508 HAS SOUPS 2130 WITH SCORE 2135.402
AT ITER 1829 NEW BEST:: SOT 12758 SOS 5423 HAS SOPS 4060 HAS SOUS 2499 HAS SOUPS 2121 WITH SCORE 2126.423
AT ITER 1859 NEW BEST:: SOT 12744 SOS 5585 HAS SOPS 4222 HAS SOUS 2491 HAS SOUPS 2113 WITH SCORE 2118.585
AT ITER 1883 NEW BEST:: SOT 12743 SOS 5583 HAS SOPS 4220 HAS SOUS 2489 HAS SOUPS 2111 WITH SCORE 2116.583
AT ITER 1894 NEW BEST:: SOT 12741 SOS 5572 HAS SOPS 4209 HAS SOUS 2479 HAS SOUPS 2101 WITH SCORE 2106.572
AT ITER 1909 NEW BEST:: SOT 12738 SOS 5563 HAS SOPS 4200 HAS SOUS 2476 HAS SOUPS 2098 WITH SCORE 2103.563
AT ITER 1922 NEW BEST:: SOT 12736 SOS 5561 HAS SOPS 4208 HAS SOUS 2474 HAS SOUPS 2096 WITH SCORE 2101.561
AT ITER 1943 NEW BEST:: SOT 12736 SOS 5558 HAS SOPS 4205 HAS SOUS 2474 HAS SOUPS 2096 WITH SCORE 2101.558
AT ITER 1949 NEW BEST:: SOT 12730 SOS 5552 HAS SOPS 4199 HAS SOUS 2474 HAS SOUPS 2096 WITH SCORE 2101.552
AT ITER 1964 NEW BEST:: SOT 12723 SOS 5495 HAS SOPS 4142 HAS SOUS 2462 HAS SOUPS 2084 WITH SCORE 2089.495
AT ITER 1981 NEW BEST:: SOT 12719 SOS 5359 HAS SOPS 4006 HAS SOUS 2442 HAS SOUPS 2064 WITH SCORE 2069.359
AT ITER 1994 NEW BEST:: SOT 12728 SOS 5331 HAS SOPS 3978 HAS SOUS 2425 HAS SOUPS 2047 WITH SCORE 2052.331
AT ITER 2005 NEW BEST:: SOT 12726 SOS 5327 HAS SOPS 3974 HAS SOUS 2421 HAS SOUPS 2043 WITH SCORE 2048.327
AT ITER 2042 NEW BEST:: SOT 12722 SOS 5323 HAS SOPS 3970 HAS SOUS 2417 HAS SOUPS 2039 WITH SCORE 2044.323
AT ITER 2194 NEW BEST:: SOT 12708 SOS 5309 HAS SOPS 3950 HAS SOUS 2416 HAS SOUPS 2030 WITH SCORE 2035.309
AT ITER 2213 NEW BEST:: SOT 12703 SOS 5224 HAS SOPS 3945 HAS SOUS 2402 HAS SOUPS 2026 WITH SCORE 2031.224
AT ITER 2230 NEW BEST:: SOT 12703 SOS 5222 HAS SOPS 3943 HAS SOUS 2400 HAS SOUPS 2024 WITH SCORE 2029.222
AT ITER 2296 NEW BEST:: SOT 12700 SOS 5215 HAS SOPS 3936 HAS SOUS 2396 HAS SOUPS 2020 WITH SCORE 2025.215
AT ITER 2298 NEW BEST:: SOT 12704 SOS 5227 HAS SOPS 3948 HAS SOUS 2392 HAS SOUPS 2016 WITH SCORE 2021.227
AT ITER 2344 NEW BEST:: SOT 12701 SOS 5181 HAS SOPS 3902 HAS SOUS 2390 HAS SOUPS 2014 WITH SCORE 2019.181
AT ITER 2357 NEW BEST:: SOT 12701 SOS 5179 HAS SOPS 3900 HAS SOUS 2388 HAS SOUPS 2012 WITH SCORE 2017.179
AT ITER 2465 NEW BEST:: SOT 12701 SOS 5156 HAS SOPS 3843 HAS SOUS 2391 HAS SOUPS 2010 WITH SCORE 2015.156
AT ITER 2489 NEW BEST:: SOT 12700 SOS 5154 HAS SOPS 3842 HAS SOUS 2391 HAS SOUPS 2010 WITH SCORE 2015.154
AT ITER 2499 NEW BEST:: SOT 12718 SOS 5170 HAS SOPS 3858 HAS SOUS 2389 HAS SOUPS 2008 WITH SCORE 2013.17
AT ITER 2527 NEW BEST:: SOT 12704 SOS 5164 HAS SOPS 3842 HAS SOUS 2389 HAS SOUPS 2008 WITH SCORE 2013.164
AT ITER 2533 NEW BEST:: SOT 12696 SOS 5165 HAS SOPS 3843 HAS SOUS 2382 HAS SOUPS 2001 WITH SCORE 2006.165
AT ITER 2553 NEW BEST:: SOT 12703 SOS 5357 HAS SOPS 3851 HAS SOUS 2404 HAS SOUPS 2000 WITH SCORE 2005.357
AT ITER 2555 NEW BEST:: SOT 12702 SOS 5356 HAS SOPS 3851 HAS SOUS 2403 HAS SOUPS 1999 WITH SCORE 2004.356
AT ITER 2613 NEW BEST:: SOT 12699 SOS 5352 HAS SOPS 3845 HAS SOUS 2395 HAS SOUPS 1991 WITH SCORE 1996.352
AT ITER 2656 NEW BEST:: SOT 12704 SOS 5358 HAS SOPS 3849 HAS SOUS 2393 HAS SOUPS 1989 WITH SCORE 1994.358
AT ITER 2667 NEW BEST:: SOT 12704 SOS 5167 HAS SOPS 3658 HAS SOUS 2379 HAS SOUPS 1975 WITH SCORE 1980.167
AT ITER 2701 NEW BEST:: SOT 12706 SOS 5161 HAS SOPS 3648 HAS SOUS 2377 HAS SOUPS 1973 WITH SCORE 1978.161
AT ITER 2714 NEW BEST:: SOT 12706 SOS 5161 HAS SOPS 3648 HAS SOUS 2376 HAS SOUPS 1972 WITH SCORE 1977.161
AT ITER 2722 NEW BEST:: SOT 12706 SOS 5161 HAS SOPS 3648 HAS SOUS 2375 HAS SOUPS 1971 WITH SCORE 1976.161
AT ITER 2810 NEW BEST:: SOT 12706 SOS 5170 HAS SOPS 3656 HAS SOUS 2374 HAS SOUPS 1970 WITH SCORE 1975.17
AT ITER 2848 NEW BEST:: SOT 12700 SOS 5164 HAS SOPS 3650 HAS SOUS 2368 HAS SOUPS 1964 WITH SCORE 1969.164
AT ITER 2912 NEW BEST:: SOT 12684 SOS 5148 HAS SOPS 3626 HAS SOUS 2360 HAS SOUPS 1956 WITH SCORE 1961.148
AT ITER 2926 NEW BEST:: SOT 12681 SOS 5162 HAS SOPS 3636 HAS SOUS 2358 HAS SOUPS 1952 WITH SCORE 1957.162
AT ITER 2955 NEW BEST:: SOT 12690 SOS 5179 HAS SOPS 3630 HAS SOUS 2352 HAS SOUPS 1946 WITH SCORE 1951.179
AT ITER 2960 NEW BEST:: SOT 12688 SOS 5168 HAS SOPS 3619 HAS SOUS 2351 HAS SOUPS 1945 WITH SCORE 1950.168
AT ITER 2964 NEW BEST:: SOT 12685 SOS 5198 HAS SOPS 3643 HAS SOUS 2342 HAS SOUPS 1936 WITH SCORE 1941.198
AT ITER 2971 NEW BEST:: SOT 12684 SOS 5188 HAS SOPS 3633 HAS SOUS 2342 HAS SOUPS 1936 WITH SCORE 1941.188
AT ITER 2990 NEW BEST:: SOT 12684 SOS 5190 HAS SOPS 3635 HAS SOUS 2340 HAS SOUPS 1934 WITH SCORE 1939.19
AT ITER 2991 NEW BEST:: SOT 12684 SOS 5267 HAS SOPS 3712 HAS SOUS 2339 HAS SOUPS 1933 WITH SCORE 1938.267
AT ITER 2993 NEW BEST:: SOT 12677 SOS 5348 HAS SOPS 3779 HAS SOUS 2327 HAS SOUPS 1921 WITH SCORE 1926.348
AT ITER 3095 NEW BEST:: SOT 12683 SOS 5300 HAS SOPS 3731 HAS SOUS 2327 HAS SOUPS 1921 WITH SCORE 1926.3
AT ITER 3194 NEW BEST:: SOT 12682 SOS 5299 HAS SOPS 3730 HAS SOUS 2327 HAS SOUPS 1921 WITH SCORE 1926.299
AT ITER 3245 NEW BEST:: SOT 12626 SOS 5159 HAS SOPS 3590 HAS SOUS 2327 HAS SOUPS 1921 WITH SCORE 1926.159
AT ITER 3247 NEW BEST:: SOT 12625 SOS 5167 HAS SOPS 3598 HAS SOUS 2325 HAS SOUPS 1919 WITH SCORE 1924.167
AT ITER 3261 NEW BEST:: SOT 12624 SOS 5165 HAS SOPS 3596 HAS SOUS 2323 HAS SOUPS 1917 WITH SCORE 1922.165
AT ITER 3276 NEW BEST:: SOT 12618 SOS 5267 HAS SOPS 3686 HAS SOUS 2317 HAS SOUPS 1911 WITH SCORE 1916.267
AT ITER 3425 NEW BEST:: SOT 12619 SOS 5356 HAS SOPS 3775 HAS SOUS 2310 HAS SOUPS 1904 WITH SCORE 1909.356
AT ITER 3435 NEW BEST:: SOT 12619 SOS 5355 HAS SOPS 3774 HAS SOUS 2310 HAS SOUPS 1904 WITH SCORE 1909.355
AT ITER 3438 NEW BEST:: SOT 12619 SOS 5353 HAS SOPS 3772 HAS SOUS 2310 HAS SOUPS 1904 WITH SCORE 1909.353
AT ITER 3538 NEW BEST:: SOT 12615 SOS 5349 HAS SOPS 3760 HAS SOUS 2310 HAS SOUPS 1904 WITH SCORE 1909.349
AT ITER 3729 NEW BEST:: SOT 12617 SOS 5319 HAS SOPS 3730 HAS SOUS 2308 HAS SOUPS 1902 WITH SCORE 1907.319
AT ITER 3758 NEW BEST:: SOT 12615 SOS 5315 HAS SOPS 3724 HAS SOUS 2298 HAS SOUPS 1892 WITH SCORE 1897.315
AT ITER 3774 NEW BEST:: SOT 12615 SOS 5306 HAS SOPS 3716 HAS SOUS 2298 HAS SOUPS 1892 WITH SCORE 1897.306
AT ITER 3985 NEW BEST:: SOT 12597 SOS 5428 HAS SOPS 3838 HAS SOUS 2290 HAS SOUPS 1884 WITH SCORE 1889.428
AT ITER 4049 NEW BEST:: SOT 12595 SOS 5424 HAS SOPS 3834 HAS SOUS 2284 HAS SOUPS 1878 WITH SCORE 1883.424
AT ITER 4129 NEW BEST:: SOT 12607 SOS 5436 HAS SOPS 3858 HAS SOUS 2282 HAS SOUPS 1876 WITH SCORE 1881.436
AT ITER 4149 NEW BEST:: SOT 12603 SOS 5432 HAS SOPS 3854 HAS SOUS 2282 HAS SOUPS 1876 WITH SCORE 1881.432
AT ITER 4202 NEW BEST:: SOT 12603 SOS 5336 HAS SOPS 3758 HAS SOUS 2282 HAS SOUPS 1876 WITH SCORE 1881.336
AT ITER 4214 NEW BEST:: SOT 12602 SOS 5333 HAS SOPS 3755 HAS SOUS 2281 HAS SOUPS 1875 WITH SCORE 1880.333
AT ITER 4218 NEW BEST:: SOT 12585 SOS 5316 HAS SOPS 3721 HAS SOUS 2264 HAS SOUPS 1858 WITH SCORE 1863.316
AT ITER 4257 NEW BEST:: SOT 12585 SOS 5302 HAS SOPS 3723 HAS SOUS 2262 HAS SOUPS 1858 WITH SCORE 1863.302
AT ITER 4288 NEW BEST:: SOT 12585 SOS 5293 HAS SOPS 3714 HAS SOUS 2262 HAS SOUPS 1858 WITH SCORE 1863.293
AT ITER 4423 NEW BEST:: SOT 12581 SOS 5287 HAS SOPS 3708 HAS SOUS 2262 HAS SOUPS 1858 WITH SCORE 1863.287
AT ITER 4587 NEW BEST:: SOT 12587 SOS 5305 HAS SOPS 3724 HAS SOUS 2258 HAS SOUPS 1854 WITH SCORE 1859.305
AT ITER 4607 NEW BEST:: SOT 12586 SOS 5304 HAS SOPS 3722 HAS SOUS 2256 HAS SOUPS 1852 WITH SCORE 1857.304
AT ITER 4612 NEW BEST:: SOT 12588 SOS 5296 HAS SOPS 3714 HAS SOUS 2256 HAS SOUPS 1852 WITH SCORE 1857.296
AT ITER 4658 NEW BEST:: SOT 12582 SOS 5290 HAS SOPS 3713 HAS SOUS 2255 HAS SOUPS 1851 WITH SCORE 1856.29
AT ITER 4733 NEW BEST:: SOT 12574 SOS 5320 HAS SOPS 3746 HAS SOUS 2250 HAS SOUPS 1846 WITH SCORE 1851.32
AT ITER 4794 NEW BEST:: SOT 12567 SOS 5321 HAS SOPS 3748 HAS SOUS 2248 HAS SOUPS 1844 WITH SCORE 1849.321
AT ITER 4927 NEW BEST:: SOT 12556 SOS 5299 HAS SOPS 3737 HAS SOUS 2248 HAS SOUPS 1844 WITH SCORE 1849.299
AT ITER 4969 NEW BEST:: SOT 12539 SOS 5276 HAS SOPS 3715 HAS SOUS 2242 HAS SOUPS 1838 WITH SCORE 1843.276
AT ITER 4970 NEW BEST:: SOT 12537 SOS 5272 HAS SOPS 3711 HAS SOUS 2238 HAS SOUPS 1834 WITH SCORE 1839.272
AT ITER 5047 NEW BEST:: SOT 12547 SOS 5282 HAS SOPS 3724 HAS SOUS 2237 HAS SOUPS 1833 WITH SCORE 1838.282
AT ITER 5098 NEW BEST:: SOT 12546 SOS 5279 HAS SOPS 3721 HAS SOUS 2235 HAS SOUPS 1831 WITH SCORE 1836.279
AT ITER 5099 NEW BEST:: SOT 12546 SOS 5260 HAS SOPS 3703 HAS SOUS 2234 HAS SOUPS 1830 WITH SCORE 1835.26
AT ITER 5219 NEW BEST:: SOT 12542 SOS 5250 HAS SOPS 3693 HAS SOUS 2228 HAS SOUPS 1824 WITH SCORE 1829.25
AT ITER 5310 NEW BEST:: SOT 12538 SOS 5252 HAS SOPS 3695 HAS SOUS 2226 HAS SOUPS 1822 WITH SCORE 1827.252
AT ITER 5366 NEW BEST:: SOT 12538 SOS 5249 HAS SOPS 3692 HAS SOUS 2226 HAS SOUPS 1822 WITH SCORE 1827.249
AT ITER 5385 NEW BEST:: SOT 12538 SOS 5248 HAS SOPS 3691 HAS SOUS 2226 HAS SOUPS 1822 WITH SCORE 1827.248
AT ITER 5429 NEW BEST:: SOT 12535 SOS 5209 HAS SOPS 3653 HAS SOUS 2224 HAS SOUPS 1820 WITH SCORE 1825.209
AT ITER 5473 NEW BEST:: SOT 12528 SOS 5196 HAS SOPS 3645 HAS SOUS 2222 HAS SOUPS 1818 WITH SCORE 1823.196
AT ITER 5474 NEW BEST:: SOT 12530 SOS 5192 HAS SOPS 3641 HAS SOUS 2221 HAS SOUPS 1817 WITH SCORE 1822.192
AT ITER 5514 NEW BEST:: SOT 12529 SOS 5190 HAS SOPS 3640 HAS SOUS 2220 HAS SOUPS 1816 WITH SCORE 1821.19
AT ITER 5582 NEW BEST:: SOT 12529 SOS 5186 HAS SOPS 3635 HAS SOUS 2219 HAS SOUPS 1815 WITH SCORE 1820.186
AT ITER 5596 NEW BEST:: SOT 12528 SOS 5184 HAS SOPS 3633 HAS SOUS 2218 HAS SOUPS 1814 WITH SCORE 1819.184
AT ITER 5612 NEW BEST:: SOT 12519 SOS 5166 HAS SOPS 3624 HAS SOUS 2218 HAS SOUPS 1814 WITH SCORE 1819.166
AT ITER 5717 NEW BEST:: SOT 12521 SOS 5156 HAS SOPS 3616 HAS SOUS 2218 HAS SOUPS 1814 WITH SCORE 1819.156
AT ITER 5751 NEW BEST:: SOT 12522 SOS 5157 HAS SOPS 3617 HAS SOUS 2216 HAS SOUPS 1812 WITH SCORE 1817.157
AT ITER 5781 NEW BEST:: SOT 12522 SOS 5142 HAS SOPS 3602 HAS SOUS 2216 HAS SOUPS 1812 WITH SCORE 1817.142
AT ITER 5824 NEW BEST:: SOT 12522 SOS 5139 HAS SOPS 3600 HAS SOUS 2216 HAS SOUPS 1812 WITH SCORE 1817.139
AT ITER 5859 NEW BEST:: SOT 12512 SOS 5129 HAS SOPS 3580 HAS SOUS 2210 HAS SOUPS 1806 WITH SCORE 1811.129
AT ITER 6056 NEW BEST:: SOT 12509 SOS 5127 HAS SOPS 3577 HAS SOUS 2208 HAS SOUPS 1803 WITH SCORE 1808.127
AT ITER 6076 NEW BEST:: SOT 12489 SOS 5123 HAS SOPS 3573 HAS SOUS 2204 HAS SOUPS 1799 WITH SCORE 1804.123
AT ITER 6184 NEW BEST:: SOT 12489 SOS 5108 HAS SOPS 3558 HAS SOUS 2204 HAS SOUPS 1799 WITH SCORE 1804.108
AT ITER 6221 NEW BEST:: SOT 12488 SOS 5110 HAS SOPS 3560 HAS SOUS 2203 HAS SOUPS 1798 WITH SCORE 1803.11
AT ITER 6247 NEW BEST:: SOT 12493 SOS 5110 HAS SOPS 3564 HAS SOUS 2195 HAS SOUPS 1796 WITH SCORE 1801.11
AT ITER 6319 NEW BEST:: SOT 12498 SOS 5110 HAS SOPS 3564 HAS SOUS 2190 HAS SOUPS 1791 WITH SCORE 1796.11
AT ITER 6411 NEW BEST:: SOT 12494 SOS 5133 HAS SOPS 3583 HAS SOUS 2185 HAS SOUPS 1786 WITH SCORE 1791.133
AT ITER 6429 NEW BEST:: SOT 12493 SOS 5126 HAS SOPS 3583 HAS SOUS 2184 HAS SOUPS 1786 WITH SCORE 1791.126
AT ITER 6455 NEW BEST:: SOT 12492 SOS 5125 HAS SOPS 3581 HAS SOUS 2181 HAS SOUPS 1783 WITH SCORE 1788.125
AT ITER 6483 NEW BEST:: SOT 12485 SOS 5118 HAS SOPS 3571 HAS SOUS 2178 HAS SOUPS 1780 WITH SCORE 1785.118
AT ITER 6504 NEW BEST:: SOT 12483 SOS 5114 HAS SOPS 3568 HAS SOUS 2176 HAS SOUPS 1778 WITH SCORE 1783.114
AT ITER 6517 NEW BEST:: SOT 12482 SOS 5036 HAS SOPS 3490 HAS SOUS 2175 HAS SOUPS 1777 WITH SCORE 1782.036
AT ITER 6734 NEW BEST:: SOT 12482 SOS 5035 HAS SOPS 3489 HAS SOUS 2175 HAS SOUPS 1777 WITH SCORE 1782.035
AT ITER 6851 NEW BEST:: SOT 12482 SOS 5034 HAS SOPS 3488 HAS SOUS 2175 HAS SOUPS 1777 WITH SCORE 1782.034
AT ITER 7026 NEW BEST:: SOT 12481 SOS 5033 HAS SOPS 3485 HAS SOUS 2173 HAS SOUPS 1774 WITH SCORE 1779.033
AT ITER 7055 NEW BEST:: SOT 12477 SOS 5033 HAS SOPS 3485 HAS SOUS 2169 HAS SOUPS 1770 WITH SCORE 1775.033
AT ITER 7223 NEW BEST:: SOT 12475 SOS 5031 HAS SOPS 3479 HAS SOUS 2169 HAS SOUPS 1770 WITH SCORE 1775.031
AT ITER 7245 NEW BEST:: SOT 12475 SOS 5012 HAS SOPS 3461 HAS SOUS 2168 HAS SOUPS 1769 WITH SCORE 1774.012
AT ITER 7274 NEW BEST:: SOT 12474 SOS 5021 HAS SOPS 3463 HAS SOUS 2168 HAS SOUPS 1765 WITH SCORE 1770.021
AT ITER 7329 NEW BEST:: SOT 12474 SOS 5019 HAS SOPS 3461 HAS SOUS 2168 HAS SOUPS 1765 WITH SCORE 1770.019
AT ITER 7357 NEW BEST:: SOT 12474 SOS 5016 HAS SOPS 3459 HAS SOUS 2168 HAS SOUPS 1765 WITH SCORE 1770.016
AT ITER 7363 NEW BEST:: SOT 12479 SOS 5025 HAS SOPS 3468 HAS SOUS 2166 HAS SOUPS 1763 WITH SCORE 1768.025
AT ITER 7365 NEW BEST:: SOT 12480 SOS 5038 HAS SOPS 3476 HAS SOUS 2162 HAS SOUPS 1759 WITH SCORE 1764.038
AT ITER 7403 NEW BEST:: SOT 12478 SOS 5032 HAS SOPS 3470 HAS SOUS 2160 HAS SOUPS 1757 WITH SCORE 1762.032
AT ITER 7536 NEW BEST:: SOT 12479 SOS 5031 HAS SOPS 3469 HAS SOUS 2160 HAS SOUPS 1757 WITH SCORE 1762.031
AT ITER 7649 NEW BEST:: SOT 12479 SOS 5045 HAS SOPS 3483 HAS SOUS 2159 HAS SOUPS 1756 WITH SCORE 1761.045
AT ITER 7695 NEW BEST:: SOT 12480 SOS 5057 HAS SOPS 3481 HAS SOUS 2159 HAS SOUPS 1754 WITH SCORE 1759.057
AT ITER 7761 NEW BEST:: SOT 12479 SOS 5055 HAS SOPS 3479 HAS SOUS 2157 HAS SOUPS 1752 WITH SCORE 1757.055
AT ITER 7804 NEW BEST:: SOT 12481 SOS 5051 HAS SOPS 3474 HAS SOUS 2155 HAS SOUPS 1750 WITH SCORE 1755.051
AT ITER 7808 NEW BEST:: SOT 12479 SOS 5046 HAS SOPS 3470 HAS SOUS 2155 HAS SOUPS 1750 WITH SCORE 1755.046
AT ITER 7810 NEW BEST:: SOT 12478 SOS 5047 HAS SOPS 3471 HAS SOUS 2153 HAS SOUPS 1748 WITH SCORE 1753.047
AT ITER 7814 NEW BEST:: SOT 12473 SOS 5046 HAS SOPS 3470 HAS SOUS 2152 HAS SOUPS 1747 WITH SCORE 1752.046
AT ITER 7862 NEW BEST:: SOT 12470 SOS 5043 HAS SOPS 3467 HAS SOUS 2152 HAS SOUPS 1747 WITH SCORE 1752.043
AT ITER 7956 NEW BEST:: SOT 12470 SOS 5035 HAS SOPS 3459 HAS SOUS 2152 HAS SOUPS 1747 WITH SCORE 1752.035
AT ITER 8050 NEW BEST:: SOT 12470 SOS 5029 HAS SOPS 3453 HAS SOUS 2150 HAS SOUPS 1745 WITH SCORE 1750.029
AT ITER 8378 NEW BEST:: SOT 12469 SOS 5027 HAS SOPS 3451 HAS SOUS 2148 HAS SOUPS 1743 WITH SCORE 1748.027
AT ITER 8545 NEW BEST:: SOT 12466 SOS 5024 HAS SOPS 3451 HAS SOUS 2146 HAS SOUPS 1741 WITH SCORE 1746.024
AT ITER 8753 NEW BEST:: SOT 12464 SOS 5022 HAS SOPS 3448 HAS SOUS 2146 HAS SOUPS 1741 WITH SCORE 1746.022
AT ITER 8774 NEW BEST:: SOT 12468 SOS 5026 HAS SOPS 3448 HAS SOUS 2142 HAS SOUPS 1737 WITH SCORE 1742.026
AT ITER 8993 NEW BEST:: SOT 12468 SOS 5018 HAS SOPS 3449 HAS SOUS 2141 HAS SOUPS 1737 WITH SCORE 1742.018
AT ITER 9277 NEW BEST:: SOT 12468 SOS 5011 HAS SOPS 3442 HAS SOUS 2141 HAS SOUPS 1737 WITH SCORE 1742.011
AT ITER 9408 NEW BEST:: SOT 12468 SOS 5010 HAS SOPS 3441 HAS SOUS 2141 HAS SOUPS 1737 WITH SCORE 1742.01
AT ITER 9521 NEW BEST:: SOT 12468 SOS 5009 HAS SOPS 3440 HAS SOUS 2141 HAS SOUPS 1737 WITH SCORE 1742.009
AT ITER 9593 NEW BEST:: SOT 12465 SOS 5006 HAS SOPS 3436 HAS SOUS 2141 HAS SOUPS 1737 WITH SCORE 1742.006
AT ITER 9844 NEW BEST:: SOT 12464 SOS 5004 HAS SOPS 3435 HAS SOUS 2141 HAS SOUPS 1737 WITH SCORE 1742.004
AT ITER 9880 NEW BEST:: SOT 12464 SOS 5007 HAS SOPS 3437 HAS SOUS 2140 HAS SOUPS 1736 WITH SCORE 1741.007
STATE_SPACE STATES 200157 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 5 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 11 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 878059 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678473137093

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is CANInsertWithFailure-PT-005, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r035-tajo-167813688600704"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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