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.r099-tall-167814472300384.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is DES-PT-02a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814472300384
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 528K
-rw-r--r-- 1 mcc users 6.9K Feb 26 15:39 CTLCardinality.txt
-rw-r--r-- 1 mcc users 77K Feb 26 15:39 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 26 15:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 62K Feb 26 15:38 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 15:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:50 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 15:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:50 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 15:41 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 153K Feb 26 15:41 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.7K Feb 26 15:40 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 69K Feb 26 15:40 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 25 15:50 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:50 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 33K 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 1678240965586

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=DES-PT-02a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DES (PT), instance 02a
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: 123 places, 80 transitions, 400 arcs.
AT ITER 0 NEW BEST:: SOT 7200 SOS 5608 HAS SOPS 5608 HAS SOUS 4155 HAS SOUPS 4155 WITH SCORE 4160.608
AT ITER 2 NEW BEST:: SOT 7154 SOS 5606 HAS SOPS 5606 HAS SOUS 4153 HAS SOUPS 4153 WITH SCORE 4158.606
AT ITER 4 NEW BEST:: SOT 7108 SOS 5558 HAS SOPS 5558 HAS SOUS 4105 HAS SOUPS 4105 WITH SCORE 4110.558
AT ITER 6 NEW BEST:: SOT 7098 SOS 5539 HAS SOPS 5539 HAS SOUS 4086 HAS SOUPS 4086 WITH SCORE 4091.539
AT ITER 12 NEW BEST:: SOT 7224 SOS 5665 HAS SOPS 5665 HAS SOUS 4084 HAS SOUPS 4084 WITH SCORE 4089.665
AT ITER 14 NEW BEST:: SOT 7175 SOS 5614 HAS SOPS 5614 HAS SOUS 4033 HAS SOUPS 4033 WITH SCORE 4038.614
AT ITER 23 NEW BEST:: SOT 7121 SOS 5560 HAS SOPS 5560 HAS SOUS 3982 HAS SOUPS 3982 WITH SCORE 3987.56
AT ITER 25 NEW BEST:: SOT 7091 SOS 5530 HAS SOPS 5530 HAS SOUS 3927 HAS SOUPS 3927 WITH SCORE 3932.53
AT ITER 26 NEW BEST:: SOT 7049 SOS 5488 HAS SOPS 5488 HAS SOUS 3885 HAS SOUPS 3885 WITH SCORE 3890.488
AT ITER 27 NEW BEST:: SOT 7068 SOS 5487 HAS SOPS 5487 HAS SOUS 3876 HAS SOUPS 3876 WITH SCORE 3881.487
AT ITER 30 NEW BEST:: SOT 7067 SOS 5485 HAS SOPS 5485 HAS SOUS 3874 HAS SOUPS 3874 WITH SCORE 3879.485
AT ITER 35 NEW BEST:: SOT 7038 SOS 5412 HAS SOPS 5412 HAS SOUS 3801 HAS SOUPS 3801 WITH SCORE 3806.412
AT ITER 37 NEW BEST:: SOT 7007 SOS 5381 HAS SOPS 5381 HAS SOUS 3770 HAS SOUPS 3770 WITH SCORE 3775.381
AT ITER 38 NEW BEST:: SOT 6958 SOS 5323 HAS SOPS 5323 HAS SOUS 3712 HAS SOUPS 3712 WITH SCORE 3717.323
AT ITER 39 NEW BEST:: SOT 6912 SOS 5277 HAS SOPS 5277 HAS SOUS 3666 HAS SOUPS 3666 WITH SCORE 3671.277
AT ITER 46 NEW BEST:: SOT 6907 SOS 5213 HAS SOPS 5213 HAS SOUS 3647 HAS SOUPS 3647 WITH SCORE 3652.213
AT ITER 48 NEW BEST:: SOT 6894 SOS 5200 HAS SOPS 5200 HAS SOUS 3634 HAS SOUPS 3634 WITH SCORE 3639.2
AT ITER 59 NEW BEST:: SOT 6886 SOS 5189 HAS SOPS 5189 HAS SOUS 3623 HAS SOUPS 3623 WITH SCORE 3628.189
AT ITER 78 NEW BEST:: SOT 6881 SOS 5179 HAS SOPS 5179 HAS SOUS 3618 HAS SOUPS 3618 WITH SCORE 3623.179
AT ITER 86 NEW BEST:: SOT 6874 SOS 5172 HAS SOPS 5172 HAS SOUS 3611 HAS SOUPS 3611 WITH SCORE 3616.172
AT ITER 88 NEW BEST:: SOT 6855 SOS 5144 HAS SOPS 5144 HAS SOUS 3606 HAS SOUPS 3606 WITH SCORE 3611.144
AT ITER 91 NEW BEST:: SOT 6806 SOS 5086 HAS SOPS 5086 HAS SOUS 3548 HAS SOUPS 3548 WITH SCORE 3553.086
AT ITER 92 NEW BEST:: SOT 6750 SOS 5004 HAS SOPS 5004 HAS SOUS 3466 HAS SOUPS 3466 WITH SCORE 3471.004
AT ITER 133 NEW BEST:: SOT 6739 SOS 4984 HAS SOPS 4984 HAS SOUS 3446 HAS SOUPS 3446 WITH SCORE 3450.984
AT ITER 135 NEW BEST:: SOT 6734 SOS 4979 HAS SOPS 4979 HAS SOUS 3441 HAS SOUPS 3441 WITH SCORE 3445.979
AT ITER 156 NEW BEST:: SOT 6729 SOS 4974 HAS SOPS 4974 HAS SOUS 3436 HAS SOUPS 3436 WITH SCORE 3440.974
AT ITER 157 NEW BEST:: SOT 6729 SOS 4967 HAS SOPS 4967 HAS SOUS 3429 HAS SOUPS 3429 WITH SCORE 3433.967
AT ITER 158 NEW BEST:: SOT 6714 SOS 4952 HAS SOPS 4952 HAS SOUS 3424 HAS SOUPS 3424 WITH SCORE 3428.952
AT ITER 170 NEW BEST:: SOT 6720 SOS 4958 HAS SOPS 4958 HAS SOUS 3421 HAS SOUPS 3421 WITH SCORE 3425.958
AT ITER 171 NEW BEST:: SOT 6718 SOS 4956 HAS SOPS 4956 HAS SOUS 3415 HAS SOUPS 3415 WITH SCORE 3419.956
AT ITER 172 NEW BEST:: SOT 6629 SOS 4867 HAS SOPS 4867 HAS SOUS 3408 HAS SOUPS 3408 WITH SCORE 3412.867
AT ITER 180 NEW BEST:: SOT 6617 SOS 4855 HAS SOPS 4855 HAS SOUS 3407 HAS SOUPS 3407 WITH SCORE 3411.855
AT ITER 189 NEW BEST:: SOT 6603 SOS 4798 HAS SOPS 4798 HAS SOUS 3350 HAS SOUPS 3350 WITH SCORE 3354.798
AT ITER 198 NEW BEST:: SOT 6604 SOS 4797 HAS SOPS 4797 HAS SOUS 3347 HAS SOUPS 3347 WITH SCORE 3351.797
AT ITER 211 NEW BEST:: SOT 6604 SOS 4790 HAS SOPS 4790 HAS SOUS 3340 HAS SOUPS 3340 WITH SCORE 3344.79
AT ITER 221 NEW BEST:: SOT 6611 SOS 4729 HAS SOPS 4729 HAS SOUS 3314 HAS SOUPS 3314 WITH SCORE 3318.729
AT ITER 229 NEW BEST:: SOT 6594 SOS 4735 HAS SOPS 4735 HAS SOUS 3297 HAS SOUPS 3297 WITH SCORE 3301.735
AT ITER 237 NEW BEST:: SOT 6594 SOS 4731 HAS SOPS 4731 HAS SOUS 3297 HAS SOUPS 3297 WITH SCORE 3301.731
AT ITER 244 NEW BEST:: SOT 6548 SOS 4701 HAS SOPS 4701 HAS SOUS 3280 HAS SOUPS 3280 WITH SCORE 3284.701
AT ITER 258 NEW BEST:: SOT 6528 SOS 4680 HAS SOPS 4680 HAS SOUS 3259 HAS SOUPS 3259 WITH SCORE 3263.68
AT ITER 269 NEW BEST:: SOT 6501 SOS 4637 HAS SOPS 4637 HAS SOUS 3212 HAS SOUPS 3212 WITH SCORE 3216.637
AT ITER 291 NEW BEST:: SOT 6489 SOS 4619 HAS SOPS 4619 HAS SOUS 3194 HAS SOUPS 3194 WITH SCORE 3198.619
AT ITER 311 NEW BEST:: SOT 6493 SOS 4623 HAS SOPS 4623 HAS SOUS 3164 HAS SOUPS 3164 WITH SCORE 3168.623
AT ITER 313 NEW BEST:: SOT 6487 SOS 4618 HAS SOPS 4618 HAS SOUS 3152 HAS SOUPS 3152 WITH SCORE 3156.618
AT ITER 316 NEW BEST:: SOT 6487 SOS 4622 HAS SOPS 4622 HAS SOUS 3145 HAS SOUPS 3145 WITH SCORE 3149.622
AT ITER 318 NEW BEST:: SOT 6469 SOS 4592 HAS SOPS 4592 HAS SOUS 3115 HAS SOUPS 3115 WITH SCORE 3119.592
AT ITER 319 NEW BEST:: SOT 6458 SOS 4584 HAS SOPS 4584 HAS SOUS 3107 HAS SOUPS 3107 WITH SCORE 3111.584
AT ITER 320 NEW BEST:: SOT 6423 SOS 4549 HAS SOPS 4549 HAS SOUS 3094 HAS SOUPS 3094 WITH SCORE 3098.549
AT ITER 329 NEW BEST:: SOT 6245 SOS 4330 HAS SOPS 4330 HAS SOUS 3049 HAS SOUPS 3049 WITH SCORE 3053.33
AT ITER 330 NEW BEST:: SOT 6234 SOS 4319 HAS SOPS 4319 HAS SOUS 3049 HAS SOUPS 3049 WITH SCORE 3053.319
AT ITER 332 NEW BEST:: SOT 6220 SOS 4305 HAS SOPS 4305 HAS SOUS 3032 HAS SOUPS 3032 WITH SCORE 3036.305
AT ITER 336 NEW BEST:: SOT 6370 SOS 4369 HAS SOPS 4369 HAS SOUS 3024 HAS SOUPS 3024 WITH SCORE 3028.369
AT ITER 341 NEW BEST:: SOT 6370 SOS 4355 HAS SOPS 4355 HAS SOUS 3010 HAS SOUPS 3010 WITH SCORE 3014.355
AT ITER 349 NEW BEST:: SOT 6364 SOS 4374 HAS SOPS 4374 HAS SOUS 2998 HAS SOUPS 2998 WITH SCORE 3002.374
AT ITER 357 NEW BEST:: SOT 6351 SOS 4295 HAS SOPS 4295 HAS SOUS 2972 HAS SOUPS 2972 WITH SCORE 2976.295
AT ITER 358 NEW BEST:: SOT 6342 SOS 4275 HAS SOPS 4275 HAS SOUS 2952 HAS SOUPS 2952 WITH SCORE 2956.275
AT ITER 377 NEW BEST:: SOT 6346 SOS 4259 HAS SOPS 4259 HAS SOUS 2940 HAS SOUPS 2940 WITH SCORE 2944.259
AT ITER 379 NEW BEST:: SOT 6341 SOS 4249 HAS SOPS 4249 HAS SOUS 2930 HAS SOUPS 2930 WITH SCORE 2934.249
AT ITER 381 NEW BEST:: SOT 6333 SOS 4229 HAS SOPS 4229 HAS SOUS 2916 HAS SOUPS 2916 WITH SCORE 2920.229
AT ITER 391 NEW BEST:: SOT 6328 SOS 4224 HAS SOPS 4224 HAS SOUS 2916 HAS SOUPS 2916 WITH SCORE 2920.224
AT ITER 394 NEW BEST:: SOT 6315 SOS 4214 HAS SOPS 4214 HAS SOUS 2893 HAS SOUPS 2893 WITH SCORE 2897.214
AT ITER 403 NEW BEST:: SOT 6315 SOS 4213 HAS SOPS 4213 HAS SOUS 2892 HAS SOUPS 2892 WITH SCORE 2896.213
AT ITER 408 NEW BEST:: SOT 6315 SOS 4133 HAS SOPS 4133 HAS SOUS 2848 HAS SOUPS 2848 WITH SCORE 2852.133
AT ITER 427 NEW BEST:: SOT 6314 SOS 4131 HAS SOPS 4131 HAS SOUS 2846 HAS SOUPS 2846 WITH SCORE 2850.131
AT ITER 434 NEW BEST:: SOT 6314 SOS 4126 HAS SOPS 4126 HAS SOUS 2841 HAS SOUPS 2841 WITH SCORE 2845.126
AT ITER 438 NEW BEST:: SOT 6282 SOS 4094 HAS SOPS 4094 HAS SOUS 2833 HAS SOUPS 2833 WITH SCORE 2837.094
AT ITER 448 NEW BEST:: SOT 6277 SOS 4084 HAS SOPS 4084 HAS SOUS 2823 HAS SOUPS 2823 WITH SCORE 2827.084
AT ITER 460 NEW BEST:: SOT 6277 SOS 4068 HAS SOPS 4068 HAS SOUS 2823 HAS SOUPS 2823 WITH SCORE 2827.068
AT ITER 465 NEW BEST:: SOT 6278 SOS 4069 HAS SOPS 4069 HAS SOUS 2815 HAS SOUPS 2815 WITH SCORE 2819.069
AT ITER 466 NEW BEST:: SOT 6273 SOS 4064 HAS SOPS 4064 HAS SOUS 2810 HAS SOUPS 2810 WITH SCORE 2814.064
AT ITER 467 NEW BEST:: SOT 6261 SOS 4046 HAS SOPS 4046 HAS SOUS 2808 HAS SOUPS 2808 WITH SCORE 2812.046
AT ITER 468 NEW BEST:: SOT 6259 SOS 4044 HAS SOPS 4044 HAS SOUS 2808 HAS SOUPS 2808 WITH SCORE 2812.044
AT ITER 471 NEW BEST:: SOT 6238 SOS 4035 HAS SOPS 4035 HAS SOUS 2793 HAS SOUPS 2793 WITH SCORE 2797.035
AT ITER 478 NEW BEST:: SOT 6236 SOS 3995 HAS SOPS 3995 HAS SOUS 2772 HAS SOUPS 2772 WITH SCORE 2775.995
AT ITER 488 NEW BEST:: SOT 6214 SOS 3969 HAS SOPS 3969 HAS SOUS 2769 HAS SOUPS 2769 WITH SCORE 2772.969
AT ITER 511 NEW BEST:: SOT 6217 SOS 3968 HAS SOPS 3968 HAS SOUS 2766 HAS SOUPS 2766 WITH SCORE 2769.968
AT ITER 522 NEW BEST:: SOT 6192 SOS 3949 HAS SOPS 3949 HAS SOUS 2747 HAS SOUPS 2747 WITH SCORE 2750.949
AT ITER 523 NEW BEST:: SOT 6192 SOS 3948 HAS SOPS 3948 HAS SOUS 2746 HAS SOUPS 2746 WITH SCORE 2749.948
AT ITER 532 NEW BEST:: SOT 6176 SOS 3925 HAS SOPS 3925 HAS SOUS 2725 HAS SOUPS 2725 WITH SCORE 2728.925
AT ITER 539 NEW BEST:: SOT 6131 SOS 3880 HAS SOPS 3880 HAS SOUS 2716 HAS SOUPS 2716 WITH SCORE 2719.88
AT ITER 540 NEW BEST:: SOT 6137 SOS 3879 HAS SOPS 3879 HAS SOUS 2712 HAS SOUPS 2712 WITH SCORE 2715.879
AT ITER 544 NEW BEST:: SOT 6080 SOS 3819 HAS SOPS 3819 HAS SOUS 2708 HAS SOUPS 2708 WITH SCORE 2711.819
AT ITER 548 NEW BEST:: SOT 6080 SOS 3802 HAS SOPS 3802 HAS SOUS 2707 HAS SOUPS 2707 WITH SCORE 2710.802
AT ITER 556 NEW BEST:: SOT 6074 SOS 3796 HAS SOPS 3796 HAS SOUS 2704 HAS SOUPS 2704 WITH SCORE 2707.796
AT ITER 563 NEW BEST:: SOT 6074 SOS 3794 HAS SOPS 3794 HAS SOUS 2702 HAS SOUPS 2702 WITH SCORE 2705.794
AT ITER 575 NEW BEST:: SOT 6074 SOS 3793 HAS SOPS 3793 HAS SOUS 2701 HAS SOUPS 2701 WITH SCORE 2704.793
AT ITER 576 NEW BEST:: SOT 6047 SOS 3761 HAS SOPS 3761 HAS SOUS 2669 HAS SOUPS 2669 WITH SCORE 2672.761
AT ITER 578 NEW BEST:: SOT 6041 SOS 3755 HAS SOPS 3755 HAS SOUS 2663 HAS SOUPS 2663 WITH SCORE 2666.755
AT ITER 594 NEW BEST:: SOT 6041 SOS 3753 HAS SOPS 3753 HAS SOUS 2661 HAS SOUPS 2661 WITH SCORE 2664.753
AT ITER 605 NEW BEST:: SOT 6065 SOS 3749 HAS SOPS 3749 HAS SOUS 2657 HAS SOUPS 2657 WITH SCORE 2660.749
AT ITER 606 NEW BEST:: SOT 6065 SOS 3747 HAS SOPS 3747 HAS SOUS 2655 HAS SOUPS 2655 WITH SCORE 2658.747
AT ITER 607 NEW BEST:: SOT 6067 SOS 3728 HAS SOPS 3728 HAS SOUS 2641 HAS SOUPS 2641 WITH SCORE 2644.728
AT ITER 608 NEW BEST:: SOT 6067 SOS 3762 HAS SOPS 3762 HAS SOUS 2640 HAS SOUPS 2640 WITH SCORE 2643.762
AT ITER 618 NEW BEST:: SOT 6000 SOS 3699 HAS SOPS 3699 HAS SOUS 2607 HAS SOUPS 2607 WITH SCORE 2610.699
AT ITER 629 NEW BEST:: SOT 6000 SOS 3686 HAS SOPS 3686 HAS SOUS 2594 HAS SOUPS 2594 WITH SCORE 2597.686
AT ITER 646 NEW BEST:: SOT 5998 SOS 3682 HAS SOPS 3682 HAS SOUS 2593 HAS SOUPS 2593 WITH SCORE 2596.682
AT ITER 648 NEW BEST:: SOT 5985 SOS 3672 HAS SOPS 3672 HAS SOUS 2583 HAS SOUPS 2583 WITH SCORE 2586.672
AT ITER 668 NEW BEST:: SOT 6011 SOS 3668 HAS SOPS 3668 HAS SOUS 2568 HAS SOUPS 2568 WITH SCORE 2571.668
AT ITER 692 NEW BEST:: SOT 6003 SOS 3660 HAS SOPS 3660 HAS SOUS 2560 HAS SOUPS 2560 WITH SCORE 2563.66
AT ITER 695 NEW BEST:: SOT 5973 SOS 3626 HAS SOPS 3626 HAS SOUS 2536 HAS SOUPS 2536 WITH SCORE 2539.626
AT ITER 696 NEW BEST:: SOT 5973 SOS 3617 HAS SOPS 3617 HAS SOUS 2527 HAS SOUPS 2527 WITH SCORE 2530.617
AT ITER 722 NEW BEST:: SOT 5977 SOS 3609 HAS SOPS 3609 HAS SOUS 2519 HAS SOUPS 2519 WITH SCORE 2522.609
AT ITER 729 NEW BEST:: SOT 5934 SOS 3566 HAS SOPS 3566 HAS SOUS 2492 HAS SOUPS 2492 WITH SCORE 2495.566
AT ITER 747 NEW BEST:: SOT 5867 SOS 3493 HAS SOPS 3493 HAS SOUS 2461 HAS SOUPS 2461 WITH SCORE 2464.493
AT ITER 757 NEW BEST:: SOT 5846 SOS 3472 HAS SOPS 3472 HAS SOUS 2418 HAS SOUPS 2418 WITH SCORE 2421.472
AT ITER 772 NEW BEST:: SOT 5845 SOS 3467 HAS SOPS 3467 HAS SOUS 2413 HAS SOUPS 2413 WITH SCORE 2416.467
AT ITER 778 NEW BEST:: SOT 5837 SOS 3449 HAS SOPS 3449 HAS SOUS 2395 HAS SOUPS 2395 WITH SCORE 2398.449
AT ITER 781 NEW BEST:: SOT 5834 SOS 3445 HAS SOPS 3445 HAS SOUS 2394 HAS SOUPS 2394 WITH SCORE 2397.445
AT ITER 783 NEW BEST:: SOT 5834 SOS 3440 HAS SOPS 3440 HAS SOUS 2389 HAS SOUPS 2389 WITH SCORE 2392.44
AT ITER 799 NEW BEST:: SOT 5802 SOS 3404 HAS SOPS 3404 HAS SOUS 2353 HAS SOUPS 2353 WITH SCORE 2356.404
AT ITER 802 NEW BEST:: SOT 5802 SOS 3398 HAS SOPS 3398 HAS SOUS 2350 HAS SOUPS 2350 WITH SCORE 2353.398
AT ITER 820 NEW BEST:: SOT 5802 SOS 3394 HAS SOPS 3394 HAS SOUS 2346 HAS SOUPS 2346 WITH SCORE 2349.394
AT ITER 843 NEW BEST:: SOT 5802 SOS 3387 HAS SOPS 3387 HAS SOUS 2339 HAS SOUPS 2339 WITH SCORE 2342.387
AT ITER 847 NEW BEST:: SOT 5801 SOS 3382 HAS SOPS 3382 HAS SOUS 2334 HAS SOUPS 2334 WITH SCORE 2337.382
AT ITER 850 NEW BEST:: SOT 5801 SOS 3387 HAS SOPS 3387 HAS SOUS 2330 HAS SOUPS 2330 WITH SCORE 2333.387
AT ITER 862 NEW BEST:: SOT 5798 SOS 3376 HAS SOPS 3376 HAS SOUS 2319 HAS SOUPS 2319 WITH SCORE 2322.376
AT ITER 865 NEW BEST:: SOT 5791 SOS 3366 HAS SOPS 3366 HAS SOUS 2317 HAS SOUPS 2317 WITH SCORE 2320.366
AT ITER 868 NEW BEST:: SOT 5778 SOS 3353 HAS SOPS 3353 HAS SOUS 2304 HAS SOUPS 2304 WITH SCORE 2307.353
AT ITER 882 NEW BEST:: SOT 5778 SOS 3347 HAS SOPS 3347 HAS SOUS 2302 HAS SOUPS 2302 WITH SCORE 2305.347
AT ITER 901 NEW BEST:: SOT 5774 SOS 3342 HAS SOPS 3342 HAS SOUS 2298 HAS SOUPS 2298 WITH SCORE 2301.342
AT ITER 911 NEW BEST:: SOT 5778 SOS 3346 HAS SOPS 3346 HAS SOUS 2295 HAS SOUPS 2295 WITH SCORE 2298.346
AT ITER 918 NEW BEST:: SOT 5763 SOS 3331 HAS SOPS 3331 HAS SOUS 2292 HAS SOUPS 2292 WITH SCORE 2295.331
AT ITER 934 NEW BEST:: SOT 5763 SOS 3313 HAS SOPS 3313 HAS SOUS 2281 HAS SOUPS 2281 WITH SCORE 2284.313
AT ITER 936 NEW BEST:: SOT 5713 SOS 3279 HAS SOPS 3279 HAS SOUS 2269 HAS SOUPS 2269 WITH SCORE 2272.279
AT ITER 939 NEW BEST:: SOT 5713 SOS 3255 HAS SOPS 3255 HAS SOUS 2265 HAS SOUPS 2265 WITH SCORE 2268.255
AT ITER 965 NEW BEST:: SOT 5713 SOS 3237 HAS SOPS 3237 HAS SOUS 2247 HAS SOUPS 2247 WITH SCORE 2250.237
AT ITER 967 NEW BEST:: SOT 5707 SOS 3233 HAS SOPS 3233 HAS SOUS 2243 HAS SOUPS 2243 WITH SCORE 2246.233
AT ITER 981 NEW BEST:: SOT 5693 SOS 3213 HAS SOPS 3213 HAS SOUS 2228 HAS SOUPS 2228 WITH SCORE 2231.213
AT ITER 1004 NEW BEST:: SOT 5688 SOS 3205 HAS SOPS 3205 HAS SOUS 2224 HAS SOUPS 2224 WITH SCORE 2227.205
AT ITER 1035 NEW BEST:: SOT 5706 SOS 3211 HAS SOPS 3211 HAS SOUS 2220 HAS SOUPS 2220 WITH SCORE 2223.211
AT ITER 1041 NEW BEST:: SOT 5706 SOS 3215 HAS SOPS 3215 HAS SOUS 2219 HAS SOUPS 2219 WITH SCORE 2222.215
AT ITER 1045 NEW BEST:: SOT 5698 SOS 3214 HAS SOPS 3214 HAS SOUS 2218 HAS SOUPS 2218 WITH SCORE 2221.214
AT ITER 1053 NEW BEST:: SOT 5698 SOS 3213 HAS SOPS 3213 HAS SOUS 2217 HAS SOUPS 2217 WITH SCORE 2220.213
AT ITER 1067 NEW BEST:: SOT 5688 SOS 3203 HAS SOPS 3203 HAS SOUS 2211 HAS SOUPS 2211 WITH SCORE 2214.203
AT ITER 1071 NEW BEST:: SOT 5685 SOS 3200 HAS SOPS 3200 HAS SOUS 2208 HAS SOUPS 2208 WITH SCORE 2211.2
AT ITER 1114 NEW BEST:: SOT 5684 SOS 3199 HAS SOPS 3199 HAS SOUS 2207 HAS SOUPS 2207 WITH SCORE 2210.199
AT ITER 1118 NEW BEST:: SOT 5684 SOS 3197 HAS SOPS 3197 HAS SOUS 2207 HAS SOUPS 2207 WITH SCORE 2210.197
AT ITER 1168 NEW BEST:: SOT 5666 SOS 3177 HAS SOPS 3177 HAS SOUS 2180 HAS SOUPS 2180 WITH SCORE 2183.177
AT ITER 1188 NEW BEST:: SOT 5664 SOS 3172 HAS SOPS 3172 HAS SOUS 2175 HAS SOUPS 2175 WITH SCORE 2178.172
AT ITER 1195 NEW BEST:: SOT 5660 SOS 3163 HAS SOPS 3163 HAS SOUS 2170 HAS SOUPS 2170 WITH SCORE 2173.163
AT ITER 1200 NEW BEST:: SOT 5656 SOS 3155 HAS SOPS 3155 HAS SOUS 2162 HAS SOUPS 2162 WITH SCORE 2165.155
AT ITER 1209 NEW BEST:: SOT 5655 SOS 3154 HAS SOPS 3154 HAS SOUS 2161 HAS SOUPS 2161 WITH SCORE 2164.154
AT ITER 1214 NEW BEST:: SOT 5513 SOS 2734 HAS SOPS 2734 HAS SOUS 2035 HAS SOUPS 2035 WITH SCORE 2037.734
AT ITER 1218 NEW BEST:: SOT 5495 SOS 2716 HAS SOPS 2716 HAS SOUS 2025 HAS SOUPS 2025 WITH SCORE 2027.716
AT ITER 1223 NEW BEST:: SOT 5519 SOS 2728 HAS SOPS 2728 HAS SOUS 2024 HAS SOUPS 2024 WITH SCORE 2026.728
AT ITER 1255 NEW BEST:: SOT 5519 SOS 2726 HAS SOPS 2726 HAS SOUS 2024 HAS SOUPS 2024 WITH SCORE 2026.726
AT ITER 1273 NEW BEST:: SOT 5497 SOS 2716 HAS SOPS 2716 HAS SOUS 2010 HAS SOUPS 2010 WITH SCORE 2012.716
AT ITER 1285 NEW BEST:: SOT 5537 SOS 2717 HAS SOPS 2717 HAS SOUS 2008 HAS SOUPS 2008 WITH SCORE 2010.717
AT ITER 1296 NEW BEST:: SOT 5521 SOS 2680 HAS SOPS 2680 HAS SOUS 1971 HAS SOUPS 1971 WITH SCORE 1973.68
AT ITER 1304 NEW BEST:: SOT 5503 SOS 2662 HAS SOPS 2662 HAS SOUS 1965 HAS SOUPS 1965 WITH SCORE 1967.662
AT ITER 1308 NEW BEST:: SOT 5495 SOS 2646 HAS SOPS 2646 HAS SOUS 1945 HAS SOUPS 1945 WITH SCORE 1947.646
AT ITER 1330 NEW BEST:: SOT 5491 SOS 2640 HAS SOPS 2640 HAS SOUS 1939 HAS SOUPS 1939 WITH SCORE 1941.64
AT ITER 1348 NEW BEST:: SOT 5491 SOS 2629 HAS SOPS 2629 HAS SOUS 1928 HAS SOUPS 1928 WITH SCORE 1930.629
AT ITER 1353 NEW BEST:: SOT 5486 SOS 2631 HAS SOPS 2631 HAS SOUS 1924 HAS SOUPS 1924 WITH SCORE 1926.631
AT ITER 1398 NEW BEST:: SOT 5486 SOS 2631 HAS SOPS 2631 HAS SOUS 1923 HAS SOUPS 1923 WITH SCORE 1925.631
AT ITER 1405 NEW BEST:: SOT 5485 SOS 2630 HAS SOPS 2630 HAS SOUS 1922 HAS SOUPS 1922 WITH SCORE 1924.63
AT ITER 1406 NEW BEST:: SOT 5481 SOS 2626 HAS SOPS 2626 HAS SOUS 1922 HAS SOUPS 1922 WITH SCORE 1924.626
AT ITER 1430 NEW BEST:: SOT 5478 SOS 2618 HAS SOPS 2618 HAS SOUS 1914 HAS SOUPS 1914 WITH SCORE 1916.618
AT ITER 1436 NEW BEST:: SOT 5473 SOS 2611 HAS SOPS 2611 HAS SOUS 1912 HAS SOUPS 1912 WITH SCORE 1914.611
AT ITER 1450 NEW BEST:: SOT 5478 SOS 2610 HAS SOPS 2610 HAS SOUS 1911 HAS SOUPS 1911 WITH SCORE 1913.61
AT ITER 1463 NEW BEST:: SOT 5474 SOS 2564 HAS SOPS 2564 HAS SOUS 1906 HAS SOUPS 1906 WITH SCORE 1908.564
AT ITER 1489 NEW BEST:: SOT 5470 SOS 2560 HAS SOPS 2560 HAS SOUS 1902 HAS SOUPS 1902 WITH SCORE 1904.56
AT ITER 1511 NEW BEST:: SOT 5466 SOS 2555 HAS SOPS 2555 HAS SOUS 1899 HAS SOUPS 1899 WITH SCORE 1901.555
AT ITER 1536 NEW BEST:: SOT 5465 SOS 2548 HAS SOPS 2548 HAS SOUS 1892 HAS SOUPS 1892 WITH SCORE 1894.548
AT ITER 1552 NEW BEST:: SOT 5455 SOS 2535 HAS SOPS 2535 HAS SOUS 1868 HAS SOUPS 1868 WITH SCORE 1870.535
AT ITER 1558 NEW BEST:: SOT 5440 SOS 2506 HAS SOPS 2506 HAS SOUS 1839 HAS SOUPS 1839 WITH SCORE 1841.506
AT ITER 1583 NEW BEST:: SOT 5435 SOS 2484 HAS SOPS 2484 HAS SOUS 1817 HAS SOUPS 1817 WITH SCORE 1819.484
AT ITER 1603 NEW BEST:: SOT 5419 SOS 2468 HAS SOPS 2468 HAS SOUS 1803 HAS SOUPS 1803 WITH SCORE 1805.468
AT ITER 1604 NEW BEST:: SOT 5419 SOS 2455 HAS SOPS 2455 HAS SOUS 1796 HAS SOUPS 1796 WITH SCORE 1798.455
AT ITER 1608 NEW BEST:: SOT 5414 SOS 2445 HAS SOPS 2445 HAS SOUS 1786 HAS SOUPS 1786 WITH SCORE 1788.445
AT ITER 1715 NEW BEST:: SOT 5412 SOS 2443 HAS SOPS 2443 HAS SOUS 1784 HAS SOUPS 1784 WITH SCORE 1786.443
AT ITER 1741 NEW BEST:: SOT 5409 SOS 2440 HAS SOPS 2440 HAS SOUS 1781 HAS SOUPS 1781 WITH SCORE 1783.44
AT ITER 1744 NEW BEST:: SOT 5407 SOS 2439 HAS SOPS 2439 HAS SOUS 1781 HAS SOUPS 1781 WITH SCORE 1783.439
AT ITER 1778 NEW BEST:: SOT 5407 SOS 2429 HAS SOPS 2429 HAS SOUS 1776 HAS SOUPS 1776 WITH SCORE 1778.429
AT ITER 1783 NEW BEST:: SOT 5402 SOS 2434 HAS SOPS 2434 HAS SOUS 1775 HAS SOUPS 1775 WITH SCORE 1777.434
AT ITER 1787 NEW BEST:: SOT 5406 SOS 2432 HAS SOPS 2432 HAS SOUS 1772 HAS SOUPS 1772 WITH SCORE 1774.432
AT ITER 1834 NEW BEST:: SOT 5404 SOS 2430 HAS SOPS 2430 HAS SOUS 1768 HAS SOUPS 1768 WITH SCORE 1770.43
AT ITER 1836 NEW BEST:: SOT 5394 SOS 2420 HAS SOPS 2420 HAS SOUS 1758 HAS SOUPS 1758 WITH SCORE 1760.42
AT ITER 1839 NEW BEST:: SOT 5388 SOS 2406 HAS SOPS 2406 HAS SOUS 1748 HAS SOUPS 1748 WITH SCORE 1750.406
AT ITER 1899 NEW BEST:: SOT 5387 SOS 2405 HAS SOPS 2405 HAS SOUS 1747 HAS SOUPS 1747 WITH SCORE 1749.405
AT ITER 1923 NEW BEST:: SOT 5387 SOS 2402 HAS SOPS 2402 HAS SOUS 1747 HAS SOUPS 1747 WITH SCORE 1749.402
AT ITER 1934 NEW BEST:: SOT 5387 SOS 2396 HAS SOPS 2396 HAS SOUS 1746 HAS SOUPS 1746 WITH SCORE 1748.396
AT ITER 1935 NEW BEST:: SOT 5382 SOS 2391 HAS SOPS 2391 HAS SOUS 1744 HAS SOUPS 1744 WITH SCORE 1746.391
AT ITER 1943 NEW BEST:: SOT 5377 SOS 2378 HAS SOPS 2378 HAS SOUS 1733 HAS SOUPS 1733 WITH SCORE 1735.378
AT ITER 1945 NEW BEST:: SOT 5357 SOS 2348 HAS SOPS 2348 HAS SOUS 1703 HAS SOUPS 1703 WITH SCORE 1705.348
AT ITER 2017 NEW BEST:: SOT 5352 SOS 2338 HAS SOPS 2338 HAS SOUS 1693 HAS SOUPS 1693 WITH SCORE 1695.338
AT ITER 2037 NEW BEST:: SOT 5327 SOS 2328 HAS SOPS 2328 HAS SOUS 1683 HAS SOUPS 1683 WITH SCORE 1685.328
AT ITER 2100 NEW BEST:: SOT 5327 SOS 2326 HAS SOPS 2326 HAS SOUS 1683 HAS SOUPS 1683 WITH SCORE 1685.326
AT ITER 2123 NEW BEST:: SOT 5324 SOS 2310 HAS SOPS 2310 HAS SOUS 1664 HAS SOUPS 1664 WITH SCORE 1666.31
AT ITER 2147 NEW BEST:: SOT 5322 SOS 2309 HAS SOPS 2309 HAS SOUS 1663 HAS SOUPS 1663 WITH SCORE 1665.309
AT ITER 2156 NEW BEST:: SOT 5322 SOS 2309 HAS SOPS 2309 HAS SOUS 1662 HAS SOUPS 1662 WITH SCORE 1664.309
AT ITER 2159 NEW BEST:: SOT 5316 SOS 2332 HAS SOPS 2332 HAS SOUS 1660 HAS SOUPS 1660 WITH SCORE 1662.332
AT ITER 2161 NEW BEST:: SOT 5300 SOS 2317 HAS SOPS 2317 HAS SOUS 1653 HAS SOUPS 1653 WITH SCORE 1655.317
AT ITER 2171 NEW BEST:: SOT 5302 SOS 2316 HAS SOPS 2316 HAS SOUS 1652 HAS SOUPS 1652 WITH SCORE 1654.316
AT ITER 2191 NEW BEST:: SOT 5299 SOS 2310 HAS SOPS 2310 HAS SOUS 1646 HAS SOUPS 1646 WITH SCORE 1648.31
AT ITER 2203 NEW BEST:: SOT 5299 SOS 2309 HAS SOPS 2309 HAS SOUS 1645 HAS SOUPS 1645 WITH SCORE 1647.309
AT ITER 2206 NEW BEST:: SOT 5299 SOS 2311 HAS SOPS 2311 HAS SOUS 1644 HAS SOUPS 1644 WITH SCORE 1646.311
AT ITER 2222 NEW BEST:: SOT 5294 SOS 2307 HAS SOPS 2307 HAS SOUS 1640 HAS SOUPS 1640 WITH SCORE 1642.307
AT ITER 2258 NEW BEST:: SOT 5297 SOS 2304 HAS SOPS 2304 HAS SOUS 1640 HAS SOUPS 1640 WITH SCORE 1642.304
AT ITER 2323 NEW BEST:: SOT 5291 SOS 2298 HAS SOPS 2298 HAS SOUS 1634 HAS SOUPS 1634 WITH SCORE 1636.298
AT ITER 2328 NEW BEST:: SOT 5305 SOS 2268 HAS SOPS 2268 HAS SOUS 1615 HAS SOUPS 1615 WITH SCORE 1617.268
AT ITER 2371 NEW BEST:: SOT 5305 SOS 2264 HAS SOPS 2264 HAS SOUS 1611 HAS SOUPS 1611 WITH SCORE 1613.264
AT ITER 2390 NEW BEST:: SOT 5298 SOS 2257 HAS SOPS 2257 HAS SOUS 1604 HAS SOUPS 1604 WITH SCORE 1606.257
AT ITER 2427 NEW BEST:: SOT 5295 SOS 2256 HAS SOPS 2256 HAS SOUS 1603 HAS SOUPS 1603 WITH SCORE 1605.256
AT ITER 2430 NEW BEST:: SOT 5295 SOS 2254 HAS SOPS 2254 HAS SOUS 1601 HAS SOUPS 1601 WITH SCORE 1603.254
AT ITER 2433 NEW BEST:: SOT 5295 SOS 2251 HAS SOPS 2251 HAS SOUS 1598 HAS SOUPS 1598 WITH SCORE 1600.251
AT ITER 2463 NEW BEST:: SOT 5295 SOS 2247 HAS SOPS 2247 HAS SOUS 1596 HAS SOUPS 1596 WITH SCORE 1598.247
AT ITER 2489 NEW BEST:: SOT 5294 SOS 2245 HAS SOPS 2245 HAS SOUS 1596 HAS SOUPS 1596 WITH SCORE 1598.245
AT ITER 2492 NEW BEST:: SOT 5292 SOS 2243 HAS SOPS 2243 HAS SOUS 1594 HAS SOUPS 1594 WITH SCORE 1596.243
AT ITER 2493 NEW BEST:: SOT 5289 SOS 2232 HAS SOPS 2232 HAS SOUS 1583 HAS SOUPS 1583 WITH SCORE 1585.232
AT ITER 2519 NEW BEST:: SOT 5237 SOS 2195 HAS SOPS 2195 HAS SOUS 1578 HAS SOUPS 1578 WITH SCORE 1580.195
AT ITER 2523 NEW BEST:: SOT 5237 SOS 2191 HAS SOPS 2191 HAS SOUS 1576 HAS SOUPS 1576 WITH SCORE 1578.191
AT ITER 2534 NEW BEST:: SOT 5237 SOS 2189 HAS SOPS 2189 HAS SOUS 1574 HAS SOUPS 1574 WITH SCORE 1576.189
AT ITER 2585 NEW BEST:: SOT 5229 SOS 2165 HAS SOPS 2165 HAS SOUS 1566 HAS SOUPS 1566 WITH SCORE 1568.165
AT ITER 2699 NEW BEST:: SOT 5229 SOS 2160 HAS SOPS 2160 HAS SOUS 1561 HAS SOUPS 1561 WITH SCORE 1563.16
AT ITER 2733 NEW BEST:: SOT 5224 SOS 2154 HAS SOPS 2154 HAS SOUS 1555 HAS SOUPS 1555 WITH SCORE 1557.154
AT ITER 2738 NEW BEST:: SOT 5220 SOS 2146 HAS SOPS 2146 HAS SOUS 1547 HAS SOUPS 1547 WITH SCORE 1549.146
AT ITER 2744 NEW BEST:: SOT 5220 SOS 2144 HAS SOPS 2144 HAS SOUS 1545 HAS SOUPS 1545 WITH SCORE 1547.144
AT ITER 2767 NEW BEST:: SOT 5217 SOS 2136 HAS SOPS 2136 HAS SOUS 1537 HAS SOUPS 1537 WITH SCORE 1539.136
AT ITER 2803 NEW BEST:: SOT 5213 SOS 2135 HAS SOPS 2135 HAS SOUS 1536 HAS SOUPS 1536 WITH SCORE 1538.135
AT ITER 2805 NEW BEST:: SOT 5201 SOS 2123 HAS SOPS 2123 HAS SOUS 1524 HAS SOUPS 1524 WITH SCORE 1526.123
AT ITER 2824 NEW BEST:: SOT 5200 SOS 2104 HAS SOPS 2104 HAS SOUS 1518 HAS SOUPS 1518 WITH SCORE 1520.104
AT ITER 2830 NEW BEST:: SOT 5200 SOS 2099 HAS SOPS 2099 HAS SOUS 1518 HAS SOUPS 1518 WITH SCORE 1520.099
AT ITER 2989 NEW BEST:: SOT 5190 SOS 2094 HAS SOPS 2094 HAS SOUS 1517 HAS SOUPS 1517 WITH SCORE 1519.094
AT ITER 3005 NEW BEST:: SOT 5188 SOS 2090 HAS SOPS 2090 HAS SOUS 1513 HAS SOUPS 1513 WITH SCORE 1515.09
AT ITER 3029 NEW BEST:: SOT 5187 SOS 2088 HAS SOPS 2088 HAS SOUS 1511 HAS SOUPS 1511 WITH SCORE 1513.088
AT ITER 3068 NEW BEST:: SOT 5186 SOS 2081 HAS SOPS 2081 HAS SOUS 1507 HAS SOUPS 1507 WITH SCORE 1509.081
AT ITER 3117 NEW BEST:: SOT 5184 SOS 2077 HAS SOPS 2077 HAS SOUS 1503 HAS SOUPS 1503 WITH SCORE 1505.077
AT ITER 3128 NEW BEST:: SOT 5181 SOS 2072 HAS SOPS 2072 HAS SOUS 1494 HAS SOUPS 1494 WITH SCORE 1496.072
AT ITER 3183 NEW BEST:: SOT 5181 SOS 2071 HAS SOPS 2071 HAS SOUS 1494 HAS SOUPS 1494 WITH SCORE 1496.071
AT ITER 3238 NEW BEST:: SOT 5181 SOS 2068 HAS SOPS 2068 HAS SOUS 1494 HAS SOUPS 1494 WITH SCORE 1496.068
AT ITER 3269 NEW BEST:: SOT 5178 SOS 2065 HAS SOPS 2065 HAS SOUS 1490 HAS SOUPS 1490 WITH SCORE 1492.065
AT ITER 3299 NEW BEST:: SOT 5178 SOS 2064 HAS SOPS 2064 HAS SOUS 1490 HAS SOUPS 1490 WITH SCORE 1492.064
AT ITER 3423 NEW BEST:: SOT 5174 SOS 2053 HAS SOPS 2053 HAS SOUS 1479 HAS SOUPS 1479 WITH SCORE 1481.053
AT ITER 3531 NEW BEST:: SOT 5173 SOS 2052 HAS SOPS 2052 HAS SOUS 1478 HAS SOUPS 1478 WITH SCORE 1480.052
AT ITER 3552 NEW BEST:: SOT 5169 SOS 2048 HAS SOPS 2048 HAS SOUS 1474 HAS SOUPS 1474 WITH SCORE 1476.048
AT ITER 3570 NEW BEST:: SOT 5169 SOS 2047 HAS SOPS 2047 HAS SOUS 1472 HAS SOUPS 1472 WITH SCORE 1474.047
AT ITER 3574 NEW BEST:: SOT 5159 SOS 2032 HAS SOPS 2032 HAS SOUS 1457 HAS SOUPS 1457 WITH SCORE 1459.032
AT ITER 3616 NEW BEST:: SOT 5159 SOS 2030 HAS SOPS 2030 HAS SOUS 1455 HAS SOUPS 1455 WITH SCORE 1457.03
AT ITER 3630 NEW BEST:: SOT 5156 SOS 2027 HAS SOPS 2027 HAS SOUS 1453 HAS SOUPS 1453 WITH SCORE 1455.027
AT ITER 3652 NEW BEST:: SOT 5155 SOS 2026 HAS SOPS 2026 HAS SOUS 1452 HAS SOUPS 1452 WITH SCORE 1454.026
AT ITER 3709 NEW BEST:: SOT 5155 SOS 2012 HAS SOPS 2012 HAS SOUS 1445 HAS SOUPS 1445 WITH SCORE 1447.012
AT ITER 3746 NEW BEST:: SOT 5154 SOS 2010 HAS SOPS 2010 HAS SOUS 1443 HAS SOUPS 1443 WITH SCORE 1445.01
AT ITER 3800 NEW BEST:: SOT 5152 SOS 2009 HAS SOPS 2009 HAS SOUS 1441 HAS SOUPS 1441 WITH SCORE 1443.009
AT ITER 3805 NEW BEST:: SOT 5143 SOS 1993 HAS SOPS 1993 HAS SOUS 1432 HAS SOUPS 1432 WITH SCORE 1433.993
AT ITER 3811 NEW BEST:: SOT 5132 SOS 1990 HAS SOPS 1990 HAS SOUS 1430 HAS SOUPS 1430 WITH SCORE 1431.99
AT ITER 3859 NEW BEST:: SOT 5131 SOS 1986 HAS SOPS 1986 HAS SOUS 1427 HAS SOUPS 1427 WITH SCORE 1428.986
AT ITER 3900 NEW BEST:: SOT 5128 SOS 1984 HAS SOPS 1984 HAS SOUS 1425 HAS SOUPS 1425 WITH SCORE 1426.984
AT ITER 3954 NEW BEST:: SOT 5124 SOS 1980 HAS SOPS 1980 HAS SOUS 1421 HAS SOUPS 1421 WITH SCORE 1422.98
AT ITER 3971 NEW BEST:: SOT 5123 SOS 1979 HAS SOPS 1979 HAS SOUS 1420 HAS SOUPS 1420 WITH SCORE 1421.979
AT ITER 3985 NEW BEST:: SOT 5123 SOS 1978 HAS SOPS 1978 HAS SOUS 1419 HAS SOUPS 1419 WITH SCORE 1420.978
AT ITER 3991 NEW BEST:: SOT 5122 SOS 1976 HAS SOPS 1976 HAS SOUS 1417 HAS SOUPS 1417 WITH SCORE 1418.976
AT ITER 4084 NEW BEST:: SOT 5119 SOS 1972 HAS SOPS 1972 HAS SOUS 1413 HAS SOUPS 1413 WITH SCORE 1414.972
AT ITER 4120 NEW BEST:: SOT 5116 SOS 1967 HAS SOPS 1967 HAS SOUS 1408 HAS SOUPS 1408 WITH SCORE 1409.967
AT ITER 4215 NEW BEST:: SOT 5117 SOS 1965 HAS SOPS 1965 HAS SOUS 1406 HAS SOUPS 1406 WITH SCORE 1407.965
AT ITER 4223 NEW BEST:: SOT 5117 SOS 1964 HAS SOPS 1964 HAS SOUS 1405 HAS SOUPS 1405 WITH SCORE 1406.964
AT ITER 4314 NEW BEST:: SOT 5101 SOS 1946 HAS SOPS 1946 HAS SOUS 1405 HAS SOUPS 1405 WITH SCORE 1406.946
AT ITER 4386 NEW BEST:: SOT 5097 SOS 1949 HAS SOPS 1949 HAS SOUS 1404 HAS SOUPS 1404 WITH SCORE 1405.949
AT ITER 4523 NEW BEST:: SOT 5097 SOS 1938 HAS SOPS 1938 HAS SOUS 1403 HAS SOUPS 1403 WITH SCORE 1404.938
AT ITER 4537 NEW BEST:: SOT 5098 SOS 1923 HAS SOPS 1923 HAS SOUS 1396 HAS SOUPS 1396 WITH SCORE 1397.923
AT ITER 4627 NEW BEST:: SOT 5100 SOS 1919 HAS SOPS 1919 HAS SOUS 1395 HAS SOUPS 1395 WITH SCORE 1396.919
AT ITER 4640 NEW BEST:: SOT 5096 SOS 1917 HAS SOPS 1917 HAS SOUS 1393 HAS SOUPS 1393 WITH SCORE 1394.917
AT ITER 4652 NEW BEST:: SOT 5092 SOS 1913 HAS SOPS 1913 HAS SOUS 1389 HAS SOUPS 1389 WITH SCORE 1390.913
AT ITER 4667 NEW BEST:: SOT 5091 SOS 1907 HAS SOPS 1907 HAS SOUS 1383 HAS SOUPS 1383 WITH SCORE 1384.907
AT ITER 4684 NEW BEST:: SOT 5090 SOS 1906 HAS SOPS 1906 HAS SOUS 1383 HAS SOUPS 1383 WITH SCORE 1384.906
AT ITER 4734 NEW BEST:: SOT 5092 SOS 1907 HAS SOPS 1907 HAS SOUS 1382 HAS SOUPS 1382 WITH SCORE 1383.907
AT ITER 4782 NEW BEST:: SOT 5093 SOS 1906 HAS SOPS 1906 HAS SOUS 1381 HAS SOUPS 1381 WITH SCORE 1382.906
AT ITER 4895 NEW BEST:: SOT 5093 SOS 1905 HAS SOPS 1905 HAS SOUS 1380 HAS SOUPS 1380 WITH SCORE 1381.905
AT ITER 4932 NEW BEST:: SOT 5091 SOS 1902 HAS SOPS 1902 HAS SOUS 1377 HAS SOUPS 1377 WITH SCORE 1378.902
AT ITER 4964 NEW BEST:: SOT 5091 SOS 1900 HAS SOPS 1900 HAS SOUS 1375 HAS SOUPS 1375 WITH SCORE 1376.9
AT ITER 4994 NEW BEST:: SOT 5163 SOS 1967 HAS SOPS 1967 HAS SOUS 1374 HAS SOUPS 1374 WITH SCORE 1375.967
AT ITER 5000 NEW BEST:: SOT 5162 SOS 1966 HAS SOPS 1966 HAS SOUS 1373 HAS SOUPS 1373 WITH SCORE 1374.966
AT ITER 5166 NEW BEST:: SOT 5158 SOS 1964 HAS SOPS 1964 HAS SOUS 1371 HAS SOUPS 1371 WITH SCORE 1372.964
AT ITER 5189 NEW BEST:: SOT 5157 SOS 1963 HAS SOPS 1963 HAS SOUS 1370 HAS SOUPS 1370 WITH SCORE 1371.963
AT ITER 5199 NEW BEST:: SOT 5151 SOS 1956 HAS SOPS 1956 HAS SOUS 1363 HAS SOUPS 1363 WITH SCORE 1364.956
AT ITER 5217 NEW BEST:: SOT 5149 SOS 1947 HAS SOPS 1947 HAS SOUS 1355 HAS SOUPS 1355 WITH SCORE 1356.947
AT ITER 5263 NEW BEST:: SOT 5146 SOS 1942 HAS SOPS 1942 HAS SOUS 1350 HAS SOUPS 1350 WITH SCORE 1351.942
AT ITER 5355 NEW BEST:: SOT 5082 SOS 1878 HAS SOPS 1878 HAS SOUS 1338 HAS SOUPS 1338 WITH SCORE 1339.878
AT ITER 5409 NEW BEST:: SOT 5079 SOS 1875 HAS SOPS 1875 HAS SOUS 1335 HAS SOUPS 1335 WITH SCORE 1336.875
AT ITER 5729 NEW BEST:: SOT 5078 SOS 1874 HAS SOPS 1874 HAS SOUS 1334 HAS SOUPS 1334 WITH SCORE 1335.874
AT ITER 5750 NEW BEST:: SOT 5078 SOS 1872 HAS SOPS 1872 HAS SOUS 1332 HAS SOUPS 1332 WITH SCORE 1333.872
AT ITER 5760 NEW BEST:: SOT 5077 SOS 1870 HAS SOPS 1870 HAS SOUS 1330 HAS SOUPS 1330 WITH SCORE 1331.87
AT ITER 5794 NEW BEST:: SOT 5076 SOS 1869 HAS SOPS 1869 HAS SOUS 1329 HAS SOUPS 1329 WITH SCORE 1330.869
AT ITER 5870 NEW BEST:: SOT 5075 SOS 1868 HAS SOPS 1868 HAS SOUS 1328 HAS SOUPS 1328 WITH SCORE 1329.868
AT ITER 5885 NEW BEST:: SOT 5073 SOS 1866 HAS SOPS 1866 HAS SOUS 1326 HAS SOUPS 1326 WITH SCORE 1327.866
AT ITER 5944 NEW BEST:: SOT 5073 SOS 1863 HAS SOPS 1863 HAS SOUS 1326 HAS SOUPS 1326 WITH SCORE 1327.863
AT ITER 5968 NEW BEST:: SOT 5073 SOS 1861 HAS SOPS 1861 HAS SOUS 1324 HAS SOUPS 1324 WITH SCORE 1325.861
AT ITER 5970 NEW BEST:: SOT 5070 SOS 1860 HAS SOPS 1860 HAS SOUS 1323 HAS SOUPS 1323 WITH SCORE 1324.86
AT ITER 6070 NEW BEST:: SOT 5068 SOS 1858 HAS SOPS 1858 HAS SOUS 1321 HAS SOUPS 1321 WITH SCORE 1322.858
AT ITER 6076 NEW BEST:: SOT 5068 SOS 1857 HAS SOPS 1857 HAS SOUS 1321 HAS SOUPS 1321 WITH SCORE 1322.857
AT ITER 6213 NEW BEST:: SOT 5066 SOS 1856 HAS SOPS 1856 HAS SOUS 1320 HAS SOUPS 1320 WITH SCORE 1321.856
AT ITER 6224 NEW BEST:: SOT 5061 SOS 1850 HAS SOPS 1850 HAS SOUS 1320 HAS SOUPS 1320 WITH SCORE 1321.85
AT ITER 6318 NEW BEST:: SOT 5056 SOS 1845 HAS SOPS 1845 HAS SOUS 1318 HAS SOUPS 1318 WITH SCORE 1319.845
AT ITER 6370 NEW BEST:: SOT 5055 SOS 1839 HAS SOPS 1839 HAS SOUS 1316 HAS SOUPS 1316 WITH SCORE 1317.839
AT ITER 6444 NEW BEST:: SOT 5055 SOS 1836 HAS SOPS 1836 HAS SOUS 1313 HAS SOUPS 1313 WITH SCORE 1314.836
AT ITER 6454 NEW BEST:: SOT 5054 SOS 1835 HAS SOPS 1835 HAS SOUS 1311 HAS SOUPS 1311 WITH SCORE 1312.835
AT ITER 6680 NEW BEST:: SOT 5054 SOS 1829 HAS SOPS 1829 HAS SOUS 1311 HAS SOUPS 1311 WITH SCORE 1312.829
AT ITER 6695 NEW BEST:: SOT 5053 SOS 1828 HAS SOPS 1828 HAS SOUS 1310 HAS SOUPS 1310 WITH SCORE 1311.828
AT ITER 6746 NEW BEST:: SOT 5053 SOS 1826 HAS SOPS 1826 HAS SOUS 1308 HAS SOUPS 1308 WITH SCORE 1309.826
AT ITER 6784 NEW BEST:: SOT 5036 SOS 1805 HAS SOPS 1805 HAS SOUS 1288 HAS SOUPS 1288 WITH SCORE 1289.805
AT ITER 6815 NEW BEST:: SOT 5029 SOS 1797 HAS SOPS 1797 HAS SOUS 1287 HAS SOUPS 1287 WITH SCORE 1288.797
AT ITER 6871 NEW BEST:: SOT 5029 SOS 1796 HAS SOPS 1796 HAS SOUS 1286 HAS SOUPS 1286 WITH SCORE 1287.796
AT ITER 6902 NEW BEST:: SOT 5030 SOS 1795 HAS SOPS 1795 HAS SOUS 1285 HAS SOUPS 1285 WITH SCORE 1286.795
AT ITER 6934 NEW BEST:: SOT 5015 SOS 1780 HAS SOPS 1780 HAS SOUS 1278 HAS SOUPS 1278 WITH SCORE 1279.78
AT ITER 7003 NEW BEST:: SOT 5014 SOS 1779 HAS SOPS 1779 HAS SOUS 1277 HAS SOUPS 1277 WITH SCORE 1278.779
AT ITER 7163 NEW BEST:: SOT 5013 SOS 1780 HAS SOPS 1780 HAS SOUS 1276 HAS SOUPS 1276 WITH SCORE 1277.78
AT ITER 7210 NEW BEST:: SOT 5012 SOS 1782 HAS SOPS 1782 HAS SOUS 1275 HAS SOUPS 1275 WITH SCORE 1276.782
AT ITER 7269 NEW BEST:: SOT 5010 SOS 1779 HAS SOPS 1779 HAS SOUS 1274 HAS SOUPS 1274 WITH SCORE 1275.779
AT ITER 7481 NEW BEST:: SOT 5009 SOS 1777 HAS SOPS 1777 HAS SOUS 1272 HAS SOUPS 1272 WITH SCORE 1273.777
AT ITER 7834 NEW BEST:: SOT 5009 SOS 1772 HAS SOPS 1772 HAS SOUS 1271 HAS SOUPS 1271 WITH SCORE 1272.772
AT ITER 7836 NEW BEST:: SOT 5009 SOS 1771 HAS SOPS 1771 HAS SOUS 1270 HAS SOUPS 1270 WITH SCORE 1271.771
AT ITER 7976 NEW BEST:: SOT 5009 SOS 1770 HAS SOPS 1770 HAS SOUS 1270 HAS SOUPS 1270 WITH SCORE 1271.77
AT ITER 8003 NEW BEST:: SOT 5008 SOS 1766 HAS SOPS 1766 HAS SOUS 1268 HAS SOUPS 1268 WITH SCORE 1269.766
AT ITER 8195 NEW BEST:: SOT 5007 SOS 1764 HAS SOPS 1764 HAS SOUS 1266 HAS SOUPS 1266 WITH SCORE 1267.764
AT ITER 8300 NEW BEST:: SOT 5006 SOS 1762 HAS SOPS 1762 HAS SOUS 1264 HAS SOUPS 1264 WITH SCORE 1265.762
AT ITER 8322 NEW BEST:: SOT 5006 SOS 1760 HAS SOPS 1760 HAS SOUS 1262 HAS SOUPS 1262 WITH SCORE 1263.76
AT ITER 8495 NEW BEST:: SOT 5004 SOS 1758 HAS SOPS 1758 HAS SOUS 1260 HAS SOUPS 1260 WITH SCORE 1261.758
AT ITER 8692 NEW BEST:: SOT 4997 SOS 1749 HAS SOPS 1749 HAS SOUS 1252 HAS SOUPS 1252 WITH SCORE 1253.749
AT ITER 8909 NEW BEST:: SOT 4996 SOS 1748 HAS SOPS 1748 HAS SOUS 1251 HAS SOUPS 1251 WITH SCORE 1252.748
AT ITER 9208 NEW BEST:: SOT 5003 SOS 1751 HAS SOPS 1751 HAS SOUS 1248 HAS SOUPS 1248 WITH SCORE 1249.751
AT ITER 9230 NEW BEST:: SOT 5003 SOS 1750 HAS SOPS 1750 HAS SOUS 1247 HAS SOUPS 1247 WITH SCORE 1248.75
AT ITER 9384 NEW BEST:: SOT 4999 SOS 1746 HAS SOPS 1746 HAS SOUS 1247 HAS SOUPS 1247 WITH SCORE 1248.746
AT ITER 9400 NEW BEST:: SOT 5000 SOS 1745 HAS SOPS 1745 HAS SOUS 1246 HAS SOUPS 1246 WITH SCORE 1247.745
AT ITER 9403 NEW BEST:: SOT 4998 SOS 1741 HAS SOPS 1741 HAS SOUS 1242 HAS SOUPS 1242 WITH SCORE 1243.741
AT ITER 9567 NEW BEST:: SOT 4996 SOS 1737 HAS SOPS 1737 HAS SOUS 1238 HAS SOUPS 1238 WITH SCORE 1239.737
AT ITER 9650 NEW BEST:: SOT 4996 SOS 1732 HAS SOPS 1732 HAS SOUS 1236 HAS SOUPS 1236 WITH SCORE 1237.732
AT ITER 9770 NEW BEST:: SOT 4994 SOS 1736 HAS SOPS 1736 HAS SOUS 1234 HAS SOUPS 1234 WITH SCORE 1235.736
AT ITER 9807 NEW BEST:: SOT 4993 SOS 1736 HAS SOPS 1736 HAS SOUS 1233 HAS SOUPS 1233 WITH SCORE 1234.736
STATE_SPACE STATES 4953223116 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 51 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 59186435125 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678240974910

--------------------
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="DES-PT-02a"
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 DES-PT-02a, 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 r099-tall-167814472300384"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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