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.r323-tall-167889194500312.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 Raft-PT-04, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r323-tall-167889194500312
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 456K
-rw-r--r-- 1 mcc users 6.0K Feb 26 17:21 CTLCardinality.txt
-rw-r--r-- 1 mcc users 65K Feb 26 17:21 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.0K Feb 26 17:20 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 26 17:20 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:41 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:41 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.2K Feb 26 17:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 99K Feb 26 17:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.3K Feb 26 17:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 74K Feb 26 17:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 25 16:41 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:41 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 41K Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679495360916

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=Raft-PT-04
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Raft (PT), instance 04
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: 88 places, 160 transitions, 563 arcs.
AT ITER 0 NEW BEST:: SOT 11995 SOS 7472 HAS SOPS 7456 HAS SOUS 5991 HAS SOUPS 5987 WITH SCORE 5994.472
AT ITER 1 NEW BEST:: SOT 11995 SOS 7459 HAS SOPS 7443 HAS SOUS 5991 HAS SOUPS 5987 WITH SCORE 5994.459
AT ITER 2 NEW BEST:: SOT 11941 SOS 7403 HAS SOPS 7376 HAS SOUS 5934 HAS SOUPS 5920 WITH SCORE 5927.403
AT ITER 5 NEW BEST:: SOT 11961 SOS 7371 HAS SOPS 7333 HAS SOUS 5900 HAS SOUPS 5877 WITH SCORE 5884.371
AT ITER 6 NEW BEST:: SOT 11961 SOS 7245 HAS SOPS 7207 HAS SOUS 5875 HAS SOUPS 5852 WITH SCORE 5859.245
AT ITER 8 NEW BEST:: SOT 12002 SOS 7286 HAS SOPS 7248 HAS SOUS 5860 HAS SOUPS 5837 WITH SCORE 5844.286
AT ITER 9 NEW BEST:: SOT 11969 SOS 7253 HAS SOPS 7215 HAS SOUS 5860 HAS SOUPS 5837 WITH SCORE 5844.253
AT ITER 11 NEW BEST:: SOT 11929 SOS 7195 HAS SOPS 7153 HAS SOUS 5785 HAS SOUPS 5762 WITH SCORE 5769.195
AT ITER 13 NEW BEST:: SOT 11929 SOS 7124 HAS SOPS 7082 HAS SOUS 5785 HAS SOUPS 5762 WITH SCORE 5769.124
AT ITER 14 NEW BEST:: SOT 11877 SOS 7083 HAS SOPS 7041 HAS SOUS 5725 HAS SOUPS 5702 WITH SCORE 5709.083
AT ITER 15 NEW BEST:: SOT 11861 SOS 7021 HAS SOPS 6964 HAS SOUS 5666 HAS SOUPS 5636 WITH SCORE 5643.021
AT ITER 17 NEW BEST:: SOT 11812 SOS 6973 HAS SOPS 6926 HAS SOUS 5622 HAS SOUPS 5598 WITH SCORE 5604.973
AT ITER 20 NEW BEST:: SOT 11812 SOS 6961 HAS SOPS 6914 HAS SOUS 5622 HAS SOUPS 5598 WITH SCORE 5604.961
AT ITER 21 NEW BEST:: SOT 11812 SOS 6961 HAS SOPS 6914 HAS SOUS 5612 HAS SOUPS 5588 WITH SCORE 5594.961
AT ITER 22 NEW BEST:: SOT 11558 SOS 6792 HAS SOPS 6728 HAS SOUS 5491 HAS SOUPS 5453 WITH SCORE 5459.792
AT ITER 23 NEW BEST:: SOT 11525 SOS 6766 HAS SOPS 6708 HAS SOUS 5465 HAS SOUPS 5433 WITH SCORE 5439.766
AT ITER 25 NEW BEST:: SOT 11492 SOS 6769 HAS SOPS 6692 HAS SOUS 5435 HAS SOUPS 5398 WITH SCORE 5404.769
AT ITER 29 NEW BEST:: SOT 11742 SOS 6872 HAS SOPS 6372 HAS SOUS 5594 HAS SOUPS 5129 WITH SCORE 5135.872
AT ITER 31 NEW BEST:: SOT 11746 SOS 6870 HAS SOPS 6355 HAS SOUS 5577 HAS SOUPS 5112 WITH SCORE 5118.87
AT ITER 34 NEW BEST:: SOT 11686 SOS 6797 HAS SOPS 6275 HAS SOUS 5502 HAS SOUPS 5032 WITH SCORE 5038.797
AT ITER 36 NEW BEST:: SOT 11675 SOS 6753 HAS SOPS 6220 HAS SOUS 5502 HAS SOUPS 5021 WITH SCORE 5027.753
AT ITER 37 NEW BEST:: SOT 11581 SOS 6834 HAS SOPS 6325 HAS SOUS 5477 HAS SOUPS 5005 WITH SCORE 5011.834
AT ITER 38 NEW BEST:: SOT 11522 SOS 6813 HAS SOPS 6308 HAS SOUS 5439 HAS SOUPS 4967 WITH SCORE 4973.813
AT ITER 39 NEW BEST:: SOT 11522 SOS 6780 HAS SOPS 6275 HAS SOUS 5439 HAS SOUPS 4967 WITH SCORE 4973.78
AT ITER 40 NEW BEST:: SOT 11522 SOS 6738 HAS SOPS 6233 HAS SOUS 5439 HAS SOUPS 4967 WITH SCORE 4973.738
AT ITER 41 NEW BEST:: SOT 11521 SOS 6671 HAS SOPS 6165 HAS SOUS 5393 HAS SOUPS 4921 WITH SCORE 4927.671
AT ITER 43 NEW BEST:: SOT 11433 SOS 6497 HAS SOPS 6047 HAS SOUS 5183 HAS SOUPS 4767 WITH SCORE 4773.497
AT ITER 50 NEW BEST:: SOT 10937 SOS 6540 HAS SOPS 5760 HAS SOUS 5006 HAS SOUPS 4549 WITH SCORE 4555.54
AT ITER 52 NEW BEST:: SOT 10937 SOS 6462 HAS SOPS 5682 HAS SOUS 5004 HAS SOUPS 4547 WITH SCORE 4553.462
AT ITER 54 NEW BEST:: SOT 10241 SOS 6738 HAS SOPS 5453 HAS SOUS 4786 HAS SOUPS 4329 WITH SCORE 4335.738
AT ITER 61 NEW BEST:: SOT 10240 SOS 6737 HAS SOPS 5452 HAS SOUS 4785 HAS SOUPS 4328 WITH SCORE 4334.737
AT ITER 63 NEW BEST:: SOT 10197 SOS 6723 HAS SOPS 5406 HAS SOUS 4761 HAS SOUPS 4272 WITH SCORE 4278.723
AT ITER 64 NEW BEST:: SOT 10115 SOS 6701 HAS SOPS 5413 HAS SOUS 4696 HAS SOUPS 4213 WITH SCORE 4219.701
AT ITER 65 NEW BEST:: SOT 10096 SOS 6659 HAS SOPS 5352 HAS SOUS 4664 HAS SOUPS 4172 WITH SCORE 4178.659
AT ITER 66 NEW BEST:: SOT 10006 SOS 6553 HAS SOPS 5200 HAS SOUS 4484 HAS SOUPS 3992 WITH SCORE 3998.553
AT ITER 68 NEW BEST:: SOT 9172 SOS 6364 HAS SOPS 4727 HAS SOUS 4047 HAS SOUPS 3555 WITH SCORE 3561.364
AT ITER 77 NEW BEST:: SOT 9178 SOS 6370 HAS SOPS 4733 HAS SOUS 4045 HAS SOUPS 3553 WITH SCORE 3559.37
AT ITER 78 NEW BEST:: SOT 9194 SOS 6386 HAS SOPS 4725 HAS SOUS 4061 HAS SOUPS 3545 WITH SCORE 3551.386
AT ITER 84 NEW BEST:: SOT 9184 SOS 6384 HAS SOPS 4696 HAS SOUS 4025 HAS SOUPS 3509 WITH SCORE 3515.384
AT ITER 94 NEW BEST:: SOT 9176 SOS 6376 HAS SOPS 4684 HAS SOUS 4013 HAS SOUPS 3497 WITH SCORE 3503.376
AT ITER 96 NEW BEST:: SOT 9169 SOS 6389 HAS SOPS 4690 HAS SOUS 3999 HAS SOUPS 3483 WITH SCORE 3489.389
AT ITER 101 NEW BEST:: SOT 9159 SOS 6371 HAS SOPS 4678 HAS SOUS 3984 HAS SOUPS 3468 WITH SCORE 3474.371
AT ITER 112 NEW BEST:: SOT 9223 SOS 6467 HAS SOPS 4774 HAS SOUS 3979 HAS SOUPS 3463 WITH SCORE 3469.467
AT ITER 117 NEW BEST:: SOT 9216 SOS 6381 HAS SOPS 4690 HAS SOUS 3970 HAS SOUPS 3454 WITH SCORE 3460.381
AT ITER 118 NEW BEST:: SOT 9208 SOS 6377 HAS SOPS 4690 HAS SOUS 3966 HAS SOUPS 3454 WITH SCORE 3460.377
AT ITER 119 NEW BEST:: SOT 9148 SOS 6336 HAS SOPS 4659 HAS SOUS 3909 HAS SOUPS 3398 WITH SCORE 3404.336
AT ITER 123 NEW BEST:: SOT 9145 SOS 6324 HAS SOPS 4647 HAS SOUS 3906 HAS SOUPS 3395 WITH SCORE 3401.324
AT ITER 125 NEW BEST:: SOT 9155 SOS 6336 HAS SOPS 4667 HAS SOUS 3897 HAS SOUPS 3386 WITH SCORE 3392.336
AT ITER 128 NEW BEST:: SOT 9155 SOS 6345 HAS SOPS 4654 HAS SOUS 3894 HAS SOUPS 3383 WITH SCORE 3389.345
AT ITER 129 NEW BEST:: SOT 9124 SOS 6285 HAS SOPS 4638 HAS SOUS 3858 HAS SOUPS 3347 WITH SCORE 3353.285
AT ITER 132 NEW BEST:: SOT 9100 SOS 6225 HAS SOPS 4566 HAS SOUS 3818 HAS SOUPS 3307 WITH SCORE 3313.225
AT ITER 146 NEW BEST:: SOT 9087 SOS 6212 HAS SOPS 4539 HAS SOUS 3808 HAS SOUPS 3297 WITH SCORE 3303.212
AT ITER 148 NEW BEST:: SOT 9079 SOS 6195 HAS SOPS 4529 HAS SOUS 3796 HAS SOUPS 3285 WITH SCORE 3291.195
AT ITER 150 NEW BEST:: SOT 9054 SOS 6165 HAS SOPS 4495 HAS SOUS 3778 HAS SOUPS 3266 WITH SCORE 3272.165
AT ITER 152 NEW BEST:: SOT 9038 SOS 6100 HAS SOPS 4430 HAS SOUS 3773 HAS SOUPS 3261 WITH SCORE 3267.1
AT ITER 153 NEW BEST:: SOT 9018 SOS 6073 HAS SOPS 4414 HAS SOUS 3757 HAS SOUPS 3245 WITH SCORE 3251.073
AT ITER 157 NEW BEST:: SOT 9002 SOS 6066 HAS SOPS 4398 HAS SOUS 3750 HAS SOUPS 3229 WITH SCORE 3235.066
AT ITER 161 NEW BEST:: SOT 8381 SOS 6030 HAS SOPS 3943 HAS SOUS 3319 HAS SOUPS 2754 WITH SCORE 2760.03
AT ITER 170 NEW BEST:: SOT 8361 SOS 6010 HAS SOPS 3928 HAS SOUS 3301 HAS SOUPS 2736 WITH SCORE 2742.01
AT ITER 176 NEW BEST:: SOT 8363 SOS 6010 HAS SOPS 3928 HAS SOUS 3299 HAS SOUPS 2734 WITH SCORE 2740.01
AT ITER 178 NEW BEST:: SOT 8363 SOS 6010 HAS SOPS 3928 HAS SOUS 3270 HAS SOUPS 2705 WITH SCORE 2711.01
AT ITER 181 NEW BEST:: SOT 8353 SOS 6000 HAS SOPS 3934 HAS SOUS 3268 HAS SOUPS 2703 WITH SCORE 2709.0
AT ITER 182 NEW BEST:: SOT 8338 SOS 5978 HAS SOPS 3911 HAS SOUS 3244 HAS SOUPS 2679 WITH SCORE 2684.978
AT ITER 183 NEW BEST:: SOT 8336 SOS 5976 HAS SOPS 3908 HAS SOUS 3241 HAS SOUPS 2676 WITH SCORE 2681.976
AT ITER 187 NEW BEST:: SOT 8330 SOS 5976 HAS SOPS 3905 HAS SOUS 3219 HAS SOUPS 2654 WITH SCORE 2659.976
AT ITER 195 NEW BEST:: SOT 8302 SOS 5941 HAS SOPS 3884 HAS SOUS 3191 HAS SOUPS 2633 WITH SCORE 2638.941
AT ITER 200 NEW BEST:: SOT 8308 SOS 5919 HAS SOPS 3876 HAS SOUS 3190 HAS SOUPS 2633 WITH SCORE 2638.919
AT ITER 203 NEW BEST:: SOT 8296 SOS 5907 HAS SOPS 3858 HAS SOUS 3182 HAS SOUPS 2625 WITH SCORE 2630.907
AT ITER 211 NEW BEST:: SOT 8218 SOS 5730 HAS SOPS 3799 HAS SOUS 3137 HAS SOUPS 2617 WITH SCORE 2622.73
AT ITER 213 NEW BEST:: SOT 8252 SOS 5710 HAS SOPS 3832 HAS SOUS 3078 HAS SOUPS 2611 WITH SCORE 2616.71
AT ITER 215 NEW BEST:: SOT 8251 SOS 5709 HAS SOPS 3831 HAS SOUS 3075 HAS SOUPS 2608 WITH SCORE 2613.709
AT ITER 219 NEW BEST:: SOT 8238 SOS 5676 HAS SOPS 3805 HAS SOUS 3048 HAS SOUPS 2588 WITH SCORE 2593.676
AT ITER 226 NEW BEST:: SOT 8240 SOS 5678 HAS SOPS 3801 HAS SOUS 3039 HAS SOUPS 2579 WITH SCORE 2584.678
AT ITER 228 NEW BEST:: SOT 8236 SOS 5674 HAS SOPS 3795 HAS SOUS 3026 HAS SOUPS 2566 WITH SCORE 2571.674
AT ITER 236 NEW BEST:: SOT 8224 SOS 5661 HAS SOPS 3766 HAS SOUS 3008 HAS SOUPS 2548 WITH SCORE 2553.661
AT ITER 238 NEW BEST:: SOT 8195 SOS 5734 HAS SOPS 3779 HAS SOUS 3000 HAS SOUPS 2536 WITH SCORE 2541.734
AT ITER 242 NEW BEST:: SOT 8186 SOS 5725 HAS SOPS 3764 HAS SOUS 2988 HAS SOUPS 2524 WITH SCORE 2529.725
AT ITER 250 NEW BEST:: SOT 8120 SOS 5679 HAS SOPS 3678 HAS SOUS 2915 HAS SOUPS 2431 WITH SCORE 2436.679
AT ITER 264 NEW BEST:: SOT 8114 SOS 5685 HAS SOPS 3673 HAS SOUS 2914 HAS SOUPS 2421 WITH SCORE 2426.685
AT ITER 267 NEW BEST:: SOT 8118 SOS 5685 HAS SOPS 3673 HAS SOUS 2912 HAS SOUPS 2419 WITH SCORE 2424.685
AT ITER 273 NEW BEST:: SOT 8138 SOS 5597 HAS SOPS 3641 HAS SOUS 2904 HAS SOUPS 2415 WITH SCORE 2420.597
AT ITER 276 NEW BEST:: SOT 8134 SOS 5604 HAS SOPS 3651 HAS SOUS 2893 HAS SOUPS 2404 WITH SCORE 2409.604
AT ITER 281 NEW BEST:: SOT 8150 SOS 5620 HAS SOPS 3667 HAS SOUS 2881 HAS SOUPS 2392 WITH SCORE 2397.62
AT ITER 282 NEW BEST:: SOT 8147 SOS 5618 HAS SOPS 3663 HAS SOUS 2879 HAS SOUPS 2389 WITH SCORE 2394.618
AT ITER 284 NEW BEST:: SOT 8144 SOS 5624 HAS SOPS 3660 HAS SOUS 2874 HAS SOUPS 2375 WITH SCORE 2380.624
AT ITER 299 NEW BEST:: SOT 8134 SOS 5619 HAS SOPS 3645 HAS SOUS 2860 HAS SOUPS 2356 WITH SCORE 2361.619
AT ITER 303 NEW BEST:: SOT 8192 SOS 5400 HAS SOPS 3580 HAS SOUS 2836 HAS SOUPS 2343 WITH SCORE 2348.4
AT ITER 306 NEW BEST:: SOT 8192 SOS 5401 HAS SOPS 3580 HAS SOUS 2836 HAS SOUPS 2342 WITH SCORE 2347.401
AT ITER 329 NEW BEST:: SOT 8192 SOS 5395 HAS SOPS 3574 HAS SOUS 2835 HAS SOUPS 2341 WITH SCORE 2346.395
AT ITER 333 NEW BEST:: SOT 8192 SOS 5387 HAS SOPS 3574 HAS SOUS 2827 HAS SOUPS 2341 WITH SCORE 2346.387
AT ITER 345 NEW BEST:: SOT 8188 SOS 5383 HAS SOPS 3566 HAS SOUS 2822 HAS SOUPS 2333 WITH SCORE 2338.383
AT ITER 347 NEW BEST:: SOT 8184 SOS 5379 HAS SOPS 3560 HAS SOUS 2816 HAS SOUPS 2327 WITH SCORE 2332.379
AT ITER 353 NEW BEST:: SOT 8180 SOS 5375 HAS SOPS 3564 HAS SOUS 2809 HAS SOUPS 2326 WITH SCORE 2331.375
AT ITER 359 NEW BEST:: SOT 8177 SOS 5375 HAS SOPS 3564 HAS SOUS 2804 HAS SOUPS 2321 WITH SCORE 2326.375
AT ITER 371 NEW BEST:: SOT 8161 SOS 5359 HAS SOPS 3556 HAS SOUS 2792 HAS SOUPS 2309 WITH SCORE 2314.359
AT ITER 376 NEW BEST:: SOT 8071 SOS 5753 HAS SOPS 3715 HAS SOUS 2793 HAS SOUPS 2295 WITH SCORE 2300.753
AT ITER 379 NEW BEST:: SOT 8096 SOS 5803 HAS SOPS 3740 HAS SOUS 2813 HAS SOUPS 2290 WITH SCORE 2295.803
AT ITER 383 NEW BEST:: SOT 8061 SOS 5768 HAS SOPS 3687 HAS SOUS 2778 HAS SOUPS 2255 WITH SCORE 2260.768
AT ITER 412 NEW BEST:: SOT 8064 SOS 5768 HAS SOPS 3687 HAS SOUS 2777 HAS SOUPS 2254 WITH SCORE 2259.768
AT ITER 415 NEW BEST:: SOT 8044 SOS 5748 HAS SOPS 3657 HAS SOUS 2750 HAS SOUPS 2227 WITH SCORE 2232.748
AT ITER 445 NEW BEST:: SOT 8039 SOS 5743 HAS SOPS 3652 HAS SOUS 2740 HAS SOUPS 2217 WITH SCORE 2222.743
AT ITER 448 NEW BEST:: SOT 8034 SOS 5738 HAS SOPS 3647 HAS SOUS 2739 HAS SOUPS 2216 WITH SCORE 2221.738
AT ITER 466 NEW BEST:: SOT 8028 SOS 5732 HAS SOPS 3645 HAS SOUS 2737 HAS SOUPS 2214 WITH SCORE 2219.732
AT ITER 477 NEW BEST:: SOT 7990 SOS 5713 HAS SOPS 3607 HAS SOUS 2717 HAS SOUPS 2194 WITH SCORE 2199.713
AT ITER 478 NEW BEST:: SOT 7982 SOS 5705 HAS SOPS 3603 HAS SOUS 2717 HAS SOUPS 2194 WITH SCORE 2199.705
AT ITER 484 NEW BEST:: SOT 7971 SOS 5694 HAS SOPS 3587 HAS SOUS 2715 HAS SOUPS 2192 WITH SCORE 2197.694
AT ITER 485 NEW BEST:: SOT 7951 SOS 5674 HAS SOPS 3557 HAS SOUS 2679 HAS SOUPS 2156 WITH SCORE 2161.674
AT ITER 489 NEW BEST:: SOT 7950 SOS 5762 HAS SOPS 3648 HAS SOUS 2678 HAS SOUPS 2155 WITH SCORE 2160.762
AT ITER 510 NEW BEST:: SOT 7883 SOS 5973 HAS SOPS 3733 HAS SOUS 2689 HAS SOUPS 2154 WITH SCORE 2159.973
AT ITER 522 NEW BEST:: SOT 7847 SOS 5937 HAS SOPS 3723 HAS SOUS 2671 HAS SOUPS 2139 WITH SCORE 2144.937
AT ITER 528 NEW BEST:: SOT 7839 SOS 5933 HAS SOPS 3715 HAS SOUS 2667 HAS SOUPS 2135 WITH SCORE 2140.933
AT ITER 553 NEW BEST:: SOT 7821 SOS 5915 HAS SOPS 3697 HAS SOUS 2651 HAS SOUPS 2119 WITH SCORE 2124.915
AT ITER 560 NEW BEST:: SOT 7821 SOS 5915 HAS SOPS 3687 HAS SOUS 2631 HAS SOUPS 2099 WITH SCORE 2104.915
AT ITER 566 NEW BEST:: SOT 7807 SOS 5913 HAS SOPS 3667 HAS SOUS 2611 HAS SOUPS 2067 WITH SCORE 2072.913
AT ITER 594 NEW BEST:: SOT 7768 SOS 5990 HAS SOPS 3689 HAS SOUS 2607 HAS SOUPS 2058 WITH SCORE 2063.99
AT ITER 604 NEW BEST:: SOT 7746 SOS 5968 HAS SOPS 3647 HAS SOUS 2598 HAS SOUPS 2049 WITH SCORE 2054.968
AT ITER 610 NEW BEST:: SOT 7765 SOS 5987 HAS SOPS 3612 HAS SOUS 2611 HAS SOUPS 2046 WITH SCORE 2051.987
AT ITER 636 NEW BEST:: SOT 7754 SOS 5932 HAS SOPS 3561 HAS SOUS 2587 HAS SOUPS 2022 WITH SCORE 2027.932
AT ITER 639 NEW BEST:: SOT 7745 SOS 5926 HAS SOPS 3552 HAS SOUS 2579 HAS SOUPS 2014 WITH SCORE 2019.926
AT ITER 654 NEW BEST:: SOT 7746 SOS 5930 HAS SOPS 3554 HAS SOUS 2580 HAS SOUPS 2013 WITH SCORE 2018.93
AT ITER 669 NEW BEST:: SOT 7740 SOS 5924 HAS SOPS 3545 HAS SOUS 2571 HAS SOUPS 2004 WITH SCORE 2009.924
AT ITER 696 NEW BEST:: SOT 7734 SOS 5918 HAS SOPS 3536 HAS SOUS 2562 HAS SOUPS 1995 WITH SCORE 2000.918
AT ITER 711 NEW BEST:: SOT 7718 SOS 5902 HAS SOPS 3512 HAS SOUS 2544 HAS SOUPS 1977 WITH SCORE 1982.902
AT ITER 715 NEW BEST:: SOT 7712 SOS 5896 HAS SOPS 3500 HAS SOUS 2529 HAS SOUPS 1962 WITH SCORE 1967.896
AT ITER 716 NEW BEST:: SOT 7705 SOS 5889 HAS SOPS 3492 HAS SOUS 2522 HAS SOUPS 1955 WITH SCORE 1960.889
AT ITER 723 NEW BEST:: SOT 7705 SOS 5889 HAS SOPS 3492 HAS SOUS 2517 HAS SOUPS 1950 WITH SCORE 1955.889
AT ITER 725 NEW BEST:: SOT 7709 SOS 5890 HAS SOPS 3497 HAS SOUS 2516 HAS SOUPS 1949 WITH SCORE 1954.89
AT ITER 749 NEW BEST:: SOT 7707 SOS 5884 HAS SOPS 3491 HAS SOUS 2513 HAS SOUPS 1946 WITH SCORE 1951.884
AT ITER 777 NEW BEST:: SOT 7699 SOS 5844 HAS SOPS 3451 HAS SOUS 2505 HAS SOUPS 1938 WITH SCORE 1943.844
AT ITER 798 NEW BEST:: SOT 7692 SOS 5837 HAS SOPS 3451 HAS SOUS 2478 HAS SOUPS 1911 WITH SCORE 1916.837
AT ITER 829 NEW BEST:: SOT 7712 SOS 5880 HAS SOPS 3471 HAS SOUS 2493 HAS SOUPS 1903 WITH SCORE 1908.88
AT ITER 845 NEW BEST:: SOT 7712 SOS 5880 HAS SOPS 3471 HAS SOUS 2487 HAS SOUPS 1897 WITH SCORE 1902.88
AT ITER 848 NEW BEST:: SOT 7704 SOS 5872 HAS SOPS 3459 HAS SOUS 2469 HAS SOUPS 1879 WITH SCORE 1884.872
AT ITER 849 NEW BEST:: SOT 7698 SOS 5882 HAS SOPS 3450 HAS SOUS 2475 HAS SOUPS 1869 WITH SCORE 1874.882
AT ITER 863 NEW BEST:: SOT 7701 SOS 5885 HAS SOPS 3453 HAS SOUS 2474 HAS SOUPS 1868 WITH SCORE 1873.885
AT ITER 889 NEW BEST:: SOT 7683 SOS 5831 HAS SOPS 3399 HAS SOUS 2438 HAS SOUPS 1832 WITH SCORE 1837.831
AT ITER 892 NEW BEST:: SOT 7683 SOS 5831 HAS SOPS 3399 HAS SOUS 2435 HAS SOUPS 1829 WITH SCORE 1834.831
AT ITER 909 NEW BEST:: SOT 7663 SOS 5759 HAS SOPS 3333 HAS SOUS 2405 HAS SOUPS 1799 WITH SCORE 1804.759
AT ITER 916 NEW BEST:: SOT 7662 SOS 5758 HAS SOPS 3330 HAS SOUS 2404 HAS SOUPS 1798 WITH SCORE 1803.758
AT ITER 934 NEW BEST:: SOT 7661 SOS 5771 HAS SOPS 3335 HAS SOUS 2410 HAS SOUPS 1797 WITH SCORE 1802.771
AT ITER 941 NEW BEST:: SOT 7640 SOS 5750 HAS SOPS 3314 HAS SOUS 2410 HAS SOUPS 1797 WITH SCORE 1802.75
AT ITER 1002 NEW BEST:: SOT 7647 SOS 5717 HAS SOPS 3313 HAS SOUS 2380 HAS SOUPS 1792 WITH SCORE 1797.717
AT ITER 1027 NEW BEST:: SOT 7623 SOS 5774 HAS SOPS 3322 HAS SOUS 2374 HAS SOUPS 1783 WITH SCORE 1788.774
AT ITER 1086 NEW BEST:: SOT 7617 SOS 5765 HAS SOPS 3322 HAS SOUS 2368 HAS SOUPS 1780 WITH SCORE 1785.765
AT ITER 1092 NEW BEST:: SOT 7617 SOS 5725 HAS SOPS 3261 HAS SOUS 2366 HAS SOUPS 1778 WITH SCORE 1783.725
AT ITER 1104 NEW BEST:: SOT 7616 SOS 5718 HAS SOPS 3256 HAS SOUS 2366 HAS SOUPS 1778 WITH SCORE 1783.718
AT ITER 1110 NEW BEST:: SOT 7618 SOS 5720 HAS SOPS 3255 HAS SOUS 2361 HAS SOUPS 1773 WITH SCORE 1778.72
AT ITER 1120 NEW BEST:: SOT 7610 SOS 5744 HAS SOPS 3252 HAS SOUS 2375 HAS SOUPS 1767 WITH SCORE 1772.744
AT ITER 1122 NEW BEST:: SOT 7588 SOS 5722 HAS SOPS 3230 HAS SOUS 2375 HAS SOUPS 1767 WITH SCORE 1772.722
AT ITER 1132 NEW BEST:: SOT 7586 SOS 5720 HAS SOPS 3229 HAS SOUS 2372 HAS SOUPS 1764 WITH SCORE 1769.72
AT ITER 1159 NEW BEST:: SOT 7595 SOS 5668 HAS SOPS 3203 HAS SOUS 2364 HAS SOUPS 1758 WITH SCORE 1763.668
AT ITER 1166 NEW BEST:: SOT 7593 SOS 5668 HAS SOPS 3191 HAS SOUS 2362 HAS SOUPS 1752 WITH SCORE 1757.668
AT ITER 1200 NEW BEST:: SOT 7589 SOS 5664 HAS SOPS 3191 HAS SOUS 2356 HAS SOUPS 1748 WITH SCORE 1753.664
AT ITER 1205 NEW BEST:: SOT 7591 SOS 5666 HAS SOPS 3191 HAS SOUS 2357 HAS SOUPS 1747 WITH SCORE 1752.666
AT ITER 1217 NEW BEST:: SOT 7585 SOS 5681 HAS SOPS 3186 HAS SOUS 2370 HAS SOUPS 1744 WITH SCORE 1749.681
AT ITER 1245 NEW BEST:: SOT 7594 SOS 5681 HAS SOPS 3195 HAS SOUS 2352 HAS SOUPS 1735 WITH SCORE 1740.681
AT ITER 1250 NEW BEST:: SOT 7602 SOS 5689 HAS SOPS 3175 HAS SOUS 2344 HAS SOUPS 1719 WITH SCORE 1724.689
AT ITER 1261 NEW BEST:: SOT 7602 SOS 5689 HAS SOPS 3173 HAS SOUS 2342 HAS SOUPS 1717 WITH SCORE 1722.689
AT ITER 1278 NEW BEST:: SOT 7602 SOS 5684 HAS SOPS 3170 HAS SOUS 2337 HAS SOUPS 1714 WITH SCORE 1719.684
AT ITER 1290 NEW BEST:: SOT 7600 SOS 5682 HAS SOPS 3167 HAS SOUS 2337 HAS SOUPS 1713 WITH SCORE 1718.682
AT ITER 1291 NEW BEST:: SOT 7600 SOS 5682 HAS SOPS 3167 HAS SOUS 2334 HAS SOUPS 1710 WITH SCORE 1715.682
AT ITER 1294 NEW BEST:: SOT 7589 SOS 5671 HAS SOPS 3193 HAS SOUS 2320 HAS SOUPS 1709 WITH SCORE 1714.671
AT ITER 1308 NEW BEST:: SOT 7587 SOS 5670 HAS SOPS 3190 HAS SOUS 2317 HAS SOUPS 1705 WITH SCORE 1710.67
AT ITER 1386 NEW BEST:: SOT 7572 SOS 5656 HAS SOPS 3171 HAS SOUS 2304 HAS SOUPS 1692 WITH SCORE 1697.656
AT ITER 1405 NEW BEST:: SOT 7582 SOS 5660 HAS SOPS 3175 HAS SOUS 2302 HAS SOUPS 1690 WITH SCORE 1695.66
AT ITER 1414 NEW BEST:: SOT 7582 SOS 5661 HAS SOPS 3175 HAS SOUS 2302 HAS SOUPS 1689 WITH SCORE 1694.661
AT ITER 1415 NEW BEST:: SOT 7582 SOS 5645 HAS SOPS 3179 HAS SOUS 2298 HAS SOUPS 1689 WITH SCORE 1694.645
AT ITER 1442 NEW BEST:: SOT 7582 SOS 5645 HAS SOPS 3179 HAS SOUS 2295 HAS SOUPS 1686 WITH SCORE 1691.645
AT ITER 1443 NEW BEST:: SOT 7592 SOS 5599 HAS SOPS 3165 HAS SOUS 2293 HAS SOUPS 1686 WITH SCORE 1691.599
AT ITER 1450 NEW BEST:: SOT 7612 SOS 5629 HAS SOPS 3170 HAS SOUS 2309 HAS SOUPS 1677 WITH SCORE 1682.629
AT ITER 1452 NEW BEST:: SOT 7609 SOS 5626 HAS SOPS 3167 HAS SOUS 2302 HAS SOUPS 1670 WITH SCORE 1675.626
AT ITER 1460 NEW BEST:: SOT 7595 SOS 5614 HAS SOPS 3151 HAS SOUS 2284 HAS SOUPS 1652 WITH SCORE 1657.614
AT ITER 1463 NEW BEST:: SOT 7595 SOS 5615 HAS SOPS 3152 HAS SOUS 2282 HAS SOUPS 1650 WITH SCORE 1655.615
AT ITER 1476 NEW BEST:: SOT 7590 SOS 5618 HAS SOPS 3146 HAS SOUS 2283 HAS SOUPS 1646 WITH SCORE 1651.618
AT ITER 1479 NEW BEST:: SOT 7585 SOS 5608 HAS SOPS 3141 HAS SOUS 2271 HAS SOUPS 1639 WITH SCORE 1644.608
AT ITER 1504 NEW BEST:: SOT 7579 SOS 5599 HAS SOPS 3135 HAS SOUS 2262 HAS SOUPS 1633 WITH SCORE 1638.599
AT ITER 1511 NEW BEST:: SOT 7577 SOS 5597 HAS SOPS 3135 HAS SOUS 2260 HAS SOUPS 1631 WITH SCORE 1636.597
AT ITER 1548 NEW BEST:: SOT 7574 SOS 5638 HAS SOPS 3182 HAS SOUS 2257 HAS SOUPS 1628 WITH SCORE 1633.638
AT ITER 1571 NEW BEST:: SOT 7562 SOS 5626 HAS SOPS 3178 HAS SOUS 2255 HAS SOUPS 1626 WITH SCORE 1631.626
AT ITER 1575 NEW BEST:: SOT 7562 SOS 5626 HAS SOPS 3178 HAS SOUS 2251 HAS SOUPS 1622 WITH SCORE 1627.626
AT ITER 1626 NEW BEST:: SOT 7562 SOS 5622 HAS SOPS 3174 HAS SOUS 2251 HAS SOUPS 1622 WITH SCORE 1627.622
AT ITER 1635 NEW BEST:: SOT 7558 SOS 5640 HAS SOPS 3192 HAS SOUS 2249 HAS SOUPS 1620 WITH SCORE 1625.64
AT ITER 1640 NEW BEST:: SOT 7558 SOS 5640 HAS SOPS 3192 HAS SOUS 2247 HAS SOUPS 1618 WITH SCORE 1623.64
AT ITER 1655 NEW BEST:: SOT 7549 SOS 5631 HAS SOPS 3177 HAS SOUS 2234 HAS SOUPS 1605 WITH SCORE 1610.631
AT ITER 1668 NEW BEST:: SOT 7541 SOS 5623 HAS SOPS 3165 HAS SOUS 2219 HAS SOUPS 1590 WITH SCORE 1595.623
AT ITER 1694 NEW BEST:: SOT 7539 SOS 5621 HAS SOPS 3165 HAS SOUS 2217 HAS SOUPS 1590 WITH SCORE 1595.621
AT ITER 1733 NEW BEST:: SOT 7537 SOS 5619 HAS SOPS 3162 HAS SOUS 2213 HAS SOUPS 1586 WITH SCORE 1591.619
AT ITER 1739 NEW BEST:: SOT 7535 SOS 5589 HAS SOPS 3127 HAS SOUS 2216 HAS SOUPS 1584 WITH SCORE 1589.589
AT ITER 1752 NEW BEST:: SOT 7525 SOS 5579 HAS SOPS 3112 HAS SOUS 2206 HAS SOUPS 1574 WITH SCORE 1579.579
AT ITER 1788 NEW BEST:: SOT 7533 SOS 5579 HAS SOPS 3120 HAS SOUS 2187 HAS SOUPS 1563 WITH SCORE 1568.579
AT ITER 1890 NEW BEST:: SOT 7494 SOS 5700 HAS SOPS 3149 HAS SOUS 2192 HAS SOUPS 1562 WITH SCORE 1567.7
AT ITER 1939 NEW BEST:: SOT 7494 SOS 5700 HAS SOPS 3149 HAS SOUS 2190 HAS SOUPS 1560 WITH SCORE 1565.7
AT ITER 2037 NEW BEST:: SOT 7486 SOS 5692 HAS SOPS 3137 HAS SOUS 2177 HAS SOUPS 1547 WITH SCORE 1552.692
AT ITER 2041 NEW BEST:: SOT 7485 SOS 5695 HAS SOPS 3136 HAS SOUS 2180 HAS SOUPS 1546 WITH SCORE 1551.695
AT ITER 2078 NEW BEST:: SOT 7491 SOS 5701 HAS SOPS 3145 HAS SOUS 2178 HAS SOUPS 1544 WITH SCORE 1549.701
AT ITER 2101 NEW BEST:: SOT 7486 SOS 5700 HAS SOPS 3139 HAS SOUS 2180 HAS SOUPS 1542 WITH SCORE 1547.7
AT ITER 2111 NEW BEST:: SOT 7525 SOS 5543 HAS SOPS 3055 HAS SOUS 2172 HAS SOUPS 1541 WITH SCORE 1546.543
AT ITER 2176 NEW BEST:: SOT 7515 SOS 5533 HAS SOPS 3042 HAS SOUS 2166 HAS SOUPS 1535 WITH SCORE 1540.533
AT ITER 2193 NEW BEST:: SOT 7515 SOS 5533 HAS SOPS 3042 HAS SOUS 2165 HAS SOUPS 1534 WITH SCORE 1539.533
AT ITER 2229 NEW BEST:: SOT 7515 SOS 5533 HAS SOPS 3040 HAS SOUS 2163 HAS SOUPS 1532 WITH SCORE 1537.533
AT ITER 2262 NEW BEST:: SOT 7512 SOS 5535 HAS SOPS 3038 HAS SOUS 2166 HAS SOUPS 1531 WITH SCORE 1536.535
AT ITER 2305 NEW BEST:: SOT 7500 SOS 5523 HAS SOPS 3034 HAS SOUS 2154 HAS SOUPS 1527 WITH SCORE 1532.523
AT ITER 2309 NEW BEST:: SOT 7500 SOS 5523 HAS SOPS 3034 HAS SOUS 2153 HAS SOUPS 1526 WITH SCORE 1531.523
AT ITER 2319 NEW BEST:: SOT 7500 SOS 5522 HAS SOPS 3034 HAS SOUS 2151 HAS SOUPS 1525 WITH SCORE 1530.522
AT ITER 2325 NEW BEST:: SOT 7496 SOS 5518 HAS SOPS 3026 HAS SOUS 2145 HAS SOUPS 1519 WITH SCORE 1524.518
AT ITER 2398 NEW BEST:: SOT 7493 SOS 5515 HAS SOPS 3023 HAS SOUS 2145 HAS SOUPS 1519 WITH SCORE 1524.515
AT ITER 2406 NEW BEST:: SOT 7489 SOS 5511 HAS SOPS 3017 HAS SOUS 2141 HAS SOUPS 1515 WITH SCORE 1520.511
AT ITER 2449 NEW BEST:: SOT 7492 SOS 5483 HAS SOPS 2975 HAS SOUS 2141 HAS SOUPS 1515 WITH SCORE 1520.483
AT ITER 2460 NEW BEST:: SOT 7492 SOS 5481 HAS SOPS 2971 HAS SOUS 2141 HAS SOUPS 1515 WITH SCORE 1520.481
AT ITER 2469 NEW BEST:: SOT 7491 SOS 5480 HAS SOPS 2973 HAS SOUS 2140 HAS SOUPS 1514 WITH SCORE 1519.48
AT ITER 2470 NEW BEST:: SOT 7490 SOS 5513 HAS SOPS 3008 HAS SOUS 2139 HAS SOUPS 1513 WITH SCORE 1518.513
AT ITER 2474 NEW BEST:: SOT 7486 SOS 5511 HAS SOPS 3002 HAS SOUS 2135 HAS SOUPS 1507 WITH SCORE 1512.511
AT ITER 2507 NEW BEST:: SOT 7480 SOS 5505 HAS SOPS 2993 HAS SOUS 2123 HAS SOUPS 1495 WITH SCORE 1500.505
AT ITER 2583 NEW BEST:: SOT 7480 SOS 5505 HAS SOPS 2993 HAS SOUS 2121 HAS SOUPS 1493 WITH SCORE 1498.505
AT ITER 2602 NEW BEST:: SOT 7477 SOS 5503 HAS SOPS 2991 HAS SOUS 2120 HAS SOUPS 1492 WITH SCORE 1497.503
AT ITER 2624 NEW BEST:: SOT 7476 SOS 5502 HAS SOPS 2990 HAS SOUS 2119 HAS SOUPS 1491 WITH SCORE 1496.502
AT ITER 2644 NEW BEST:: SOT 7474 SOS 5498 HAS SOPS 2986 HAS SOUS 2117 HAS SOUPS 1489 WITH SCORE 1494.498
AT ITER 2702 NEW BEST:: SOT 7470 SOS 5494 HAS SOPS 2987 HAS SOUS 2114 HAS SOUPS 1486 WITH SCORE 1491.494
AT ITER 2890 NEW BEST:: SOT 7471 SOS 5485 HAS SOPS 2984 HAS SOUS 2106 HAS SOUPS 1483 WITH SCORE 1488.485
AT ITER 2897 NEW BEST:: SOT 7470 SOS 5483 HAS SOPS 2983 HAS SOUS 2104 HAS SOUPS 1482 WITH SCORE 1487.483
AT ITER 2955 NEW BEST:: SOT 7478 SOS 5491 HAS SOPS 2995 HAS SOUS 2090 HAS SOUPS 1468 WITH SCORE 1473.491
AT ITER 2957 NEW BEST:: SOT 7478 SOS 5491 HAS SOPS 2995 HAS SOUS 2088 HAS SOUPS 1466 WITH SCORE 1471.491
AT ITER 2987 NEW BEST:: SOT 7488 SOS 5501 HAS SOPS 2994 HAS SOUS 2087 HAS SOUPS 1465 WITH SCORE 1470.501
AT ITER 3018 NEW BEST:: SOT 7488 SOS 5493 HAS SOPS 2986 HAS SOUS 2087 HAS SOUPS 1465 WITH SCORE 1470.493
AT ITER 3033 NEW BEST:: SOT 7494 SOS 5471 HAS SOPS 2980 HAS SOUS 2086 HAS SOUPS 1465 WITH SCORE 1470.471
AT ITER 3040 NEW BEST:: SOT 7495 SOS 5475 HAS SOPS 2982 HAS SOUS 2085 HAS SOUPS 1462 WITH SCORE 1467.475
AT ITER 3122 NEW BEST:: SOT 7493 SOS 5473 HAS SOPS 2982 HAS SOUS 2084 HAS SOUPS 1461 WITH SCORE 1466.473
AT ITER 3185 NEW BEST:: SOT 7493 SOS 5473 HAS SOPS 2982 HAS SOUS 2082 HAS SOUPS 1459 WITH SCORE 1464.473
AT ITER 3250 NEW BEST:: SOT 7491 SOS 5471 HAS SOPS 2979 HAS SOUS 2078 HAS SOUPS 1455 WITH SCORE 1460.471
AT ITER 3274 NEW BEST:: SOT 7491 SOS 5471 HAS SOPS 2979 HAS SOUS 2076 HAS SOUPS 1453 WITH SCORE 1458.471
AT ITER 3340 NEW BEST:: SOT 7491 SOS 5469 HAS SOPS 2977 HAS SOUS 2070 HAS SOUPS 1447 WITH SCORE 1452.469
AT ITER 3425 NEW BEST:: SOT 7491 SOS 5469 HAS SOPS 2977 HAS SOUS 2069 HAS SOUPS 1446 WITH SCORE 1451.469
AT ITER 3433 NEW BEST:: SOT 7491 SOS 5469 HAS SOPS 2973 HAS SOUS 2065 HAS SOUPS 1442 WITH SCORE 1447.469
AT ITER 3500 NEW BEST:: SOT 7491 SOS 5470 HAS SOPS 2973 HAS SOUS 2064 HAS SOUPS 1440 WITH SCORE 1445.47
AT ITER 3538 NEW BEST:: SOT 7495 SOS 5474 HAS SOPS 2981 HAS SOUS 2058 HAS SOUPS 1434 WITH SCORE 1439.474
AT ITER 3609 NEW BEST:: SOT 7498 SOS 5477 HAS SOPS 2984 HAS SOUS 2056 HAS SOUPS 1432 WITH SCORE 1437.477
AT ITER 3645 NEW BEST:: SOT 7498 SOS 5465 HAS SOPS 2972 HAS SOUS 2056 HAS SOUPS 1432 WITH SCORE 1437.465
AT ITER 3717 NEW BEST:: SOT 7498 SOS 5465 HAS SOPS 2972 HAS SOUS 2055 HAS SOUPS 1431 WITH SCORE 1436.465
AT ITER 3734 NEW BEST:: SOT 7499 SOS 5464 HAS SOPS 2971 HAS SOUS 2054 HAS SOUPS 1430 WITH SCORE 1435.464
AT ITER 3755 NEW BEST:: SOT 7489 SOS 5454 HAS SOPS 2972 HAS SOUS 2051 HAS SOUPS 1427 WITH SCORE 1432.454
AT ITER 3767 NEW BEST:: SOT 7485 SOS 5450 HAS SOPS 2964 HAS SOUS 2041 HAS SOUPS 1417 WITH SCORE 1422.45
AT ITER 3866 NEW BEST:: SOT 7487 SOS 5449 HAS SOPS 2965 HAS SOUS 2038 HAS SOUPS 1416 WITH SCORE 1421.449
AT ITER 3949 NEW BEST:: SOT 7487 SOS 5449 HAS SOPS 2957 HAS SOUS 2037 HAS SOUPS 1415 WITH SCORE 1420.449
AT ITER 3956 NEW BEST:: SOT 7486 SOS 5447 HAS SOPS 2956 HAS SOUS 2035 HAS SOUPS 1414 WITH SCORE 1419.447
AT ITER 4072 NEW BEST:: SOT 7488 SOS 5443 HAS SOPS 2952 HAS SOUS 2034 HAS SOUPS 1413 WITH SCORE 1418.443
AT ITER 4096 NEW BEST:: SOT 7492 SOS 5435 HAS SOPS 2955 HAS SOUS 2026 HAS SOUPS 1411 WITH SCORE 1416.435
AT ITER 4322 NEW BEST:: SOT 7486 SOS 5429 HAS SOPS 2966 HAS SOUS 2025 HAS SOUPS 1410 WITH SCORE 1415.429
AT ITER 4341 NEW BEST:: SOT 7491 SOS 5434 HAS SOPS 2951 HAS SOUS 2022 HAS SOUPS 1401 WITH SCORE 1406.434
AT ITER 4415 NEW BEST:: SOT 7488 SOS 5431 HAS SOPS 2938 HAS SOUS 2019 HAS SOUPS 1394 WITH SCORE 1399.431
AT ITER 4472 NEW BEST:: SOT 7486 SOS 5429 HAS SOPS 2935 HAS SOUS 2016 HAS SOUPS 1391 WITH SCORE 1396.429
AT ITER 4517 NEW BEST:: SOT 7491 SOS 5434 HAS SOPS 2925 HAS SOUS 2015 HAS SOUPS 1390 WITH SCORE 1395.434
AT ITER 4572 NEW BEST:: SOT 7488 SOS 5425 HAS SOPS 2912 HAS SOUS 2012 HAS SOUPS 1387 WITH SCORE 1392.425
AT ITER 4608 NEW BEST:: SOT 7488 SOS 5425 HAS SOPS 2908 HAS SOUS 2011 HAS SOUPS 1386 WITH SCORE 1391.425
AT ITER 4683 NEW BEST:: SOT 7486 SOS 5419 HAS SOPS 2906 HAS SOUS 2009 HAS SOUPS 1384 WITH SCORE 1389.419
AT ITER 4750 NEW BEST:: SOT 7484 SOS 5417 HAS SOPS 2902 HAS SOUS 2006 HAS SOUPS 1381 WITH SCORE 1386.417
AT ITER 4783 NEW BEST:: SOT 7476 SOS 5409 HAS SOPS 2906 HAS SOUS 2006 HAS SOUPS 1381 WITH SCORE 1386.409
AT ITER 4803 NEW BEST:: SOT 7473 SOS 5396 HAS SOPS 2899 HAS SOUS 1994 HAS SOUPS 1374 WITH SCORE 1379.396
AT ITER 4905 NEW BEST:: SOT 7470 SOS 5396 HAS SOPS 2887 HAS SOUS 1991 HAS SOUPS 1369 WITH SCORE 1374.396
AT ITER 4970 NEW BEST:: SOT 7468 SOS 5394 HAS SOPS 2884 HAS SOUS 1988 HAS SOUPS 1366 WITH SCORE 1371.394
AT ITER 5009 NEW BEST:: SOT 7467 SOS 5393 HAS SOPS 2883 HAS SOUS 1986 HAS SOUPS 1364 WITH SCORE 1369.393
AT ITER 5061 NEW BEST:: SOT 7477 SOS 5368 HAS SOPS 2890 HAS SOUS 1964 HAS SOUPS 1361 WITH SCORE 1366.368
AT ITER 5079 NEW BEST:: SOT 7471 SOS 5362 HAS SOPS 2888 HAS SOUS 1958 HAS SOUPS 1355 WITH SCORE 1360.362
AT ITER 5117 NEW BEST:: SOT 7465 SOS 5350 HAS SOPS 2882 HAS SOUS 1952 HAS SOUPS 1355 WITH SCORE 1360.35
AT ITER 5139 NEW BEST:: SOT 7463 SOS 5348 HAS SOPS 2878 HAS SOUS 1945 HAS SOUPS 1348 WITH SCORE 1353.348
AT ITER 5150 NEW BEST:: SOT 7461 SOS 5346 HAS SOPS 2874 HAS SOUS 1942 HAS SOUPS 1345 WITH SCORE 1350.346
AT ITER 5166 NEW BEST:: SOT 7461 SOS 5346 HAS SOPS 2870 HAS SOUS 1941 HAS SOUPS 1344 WITH SCORE 1349.346
AT ITER 5390 NEW BEST:: SOT 7486 SOS 5206 HAS SOPS 2805 HAS SOUS 1929 HAS SOUPS 1337 WITH SCORE 1342.206
AT ITER 5396 NEW BEST:: SOT 7471 SOS 5196 HAS SOPS 2808 HAS SOUS 1913 HAS SOUPS 1337 WITH SCORE 1342.196
AT ITER 5463 NEW BEST:: SOT 7489 SOS 5208 HAS SOPS 2804 HAS SOUS 1928 HAS SOUPS 1336 WITH SCORE 1341.208
AT ITER 5614 NEW BEST:: SOT 7488 SOS 5207 HAS SOPS 2803 HAS SOUS 1926 HAS SOUPS 1334 WITH SCORE 1339.207
AT ITER 5702 NEW BEST:: SOT 7488 SOS 5206 HAS SOPS 2802 HAS SOUS 1925 HAS SOUPS 1333 WITH SCORE 1338.206
AT ITER 5734 NEW BEST:: SOT 7483 SOS 5201 HAS SOPS 2797 HAS SOUS 1925 HAS SOUPS 1333 WITH SCORE 1338.201
AT ITER 5785 NEW BEST:: SOT 7481 SOS 5199 HAS SOPS 2776 HAS SOUS 1925 HAS SOUPS 1325 WITH SCORE 1330.199
AT ITER 5822 NEW BEST:: SOT 7479 SOS 5199 HAS SOPS 2777 HAS SOUS 1922 HAS SOUPS 1322 WITH SCORE 1327.199
AT ITER 5882 NEW BEST:: SOT 7479 SOS 5195 HAS SOPS 2773 HAS SOUS 1921 HAS SOUPS 1321 WITH SCORE 1326.195
AT ITER 6085 NEW BEST:: SOT 7467 SOS 5249 HAS SOPS 2793 HAS SOUS 1919 HAS SOUPS 1317 WITH SCORE 1322.249
AT ITER 6127 NEW BEST:: SOT 7465 SOS 5247 HAS SOPS 2795 HAS SOUS 1918 HAS SOUPS 1316 WITH SCORE 1321.247
AT ITER 6437 NEW BEST:: SOT 7469 SOS 5248 HAS SOPS 2796 HAS SOUS 1917 HAS SOUPS 1315 WITH SCORE 1320.248
AT ITER 6649 NEW BEST:: SOT 7471 SOS 5247 HAS SOPS 2798 HAS SOUS 1910 HAS SOUPS 1311 WITH SCORE 1316.247
AT ITER 6701 NEW BEST:: SOT 7468 SOS 5246 HAS SOPS 2797 HAS SOUS 1910 HAS SOUPS 1311 WITH SCORE 1316.246
AT ITER 6771 NEW BEST:: SOT 7466 SOS 5244 HAS SOPS 2794 HAS SOUS 1907 HAS SOUPS 1308 WITH SCORE 1313.244
AT ITER 6792 NEW BEST:: SOT 7464 SOS 5240 HAS SOPS 2790 HAS SOUS 1905 HAS SOUPS 1306 WITH SCORE 1311.24
AT ITER 6934 NEW BEST:: SOT 7464 SOS 5239 HAS SOPS 2790 HAS SOUS 1904 HAS SOUPS 1306 WITH SCORE 1311.239
AT ITER 7013 NEW BEST:: SOT 7465 SOS 5238 HAS SOPS 2789 HAS SOUS 1902 HAS SOUPS 1304 WITH SCORE 1309.238
AT ITER 7056 NEW BEST:: SOT 7461 SOS 5234 HAS SOPS 2781 HAS SOUS 1895 HAS SOUPS 1297 WITH SCORE 1302.234
AT ITER 7077 NEW BEST:: SOT 7459 SOS 5232 HAS SOPS 2778 HAS SOUS 1889 HAS SOUPS 1291 WITH SCORE 1296.232
AT ITER 7282 NEW BEST:: SOT 7459 SOS 5232 HAS SOPS 2774 HAS SOUS 1889 HAS SOUPS 1290 WITH SCORE 1295.232
AT ITER 7344 NEW BEST:: SOT 7448 SOS 5222 HAS SOPS 2772 HAS SOUS 1877 HAS SOUPS 1286 WITH SCORE 1291.222
AT ITER 8550 NEW BEST:: SOT 7447 SOS 5226 HAS SOPS 2773 HAS SOUS 1877 HAS SOUPS 1283 WITH SCORE 1288.226
AT ITER 8630 NEW BEST:: SOT 7446 SOS 5224 HAS SOPS 2772 HAS SOUS 1875 HAS SOUPS 1282 WITH SCORE 1287.224
AT ITER 8727 NEW BEST:: SOT 7442 SOS 5222 HAS SOPS 2768 HAS SOUS 1874 HAS SOUPS 1281 WITH SCORE 1286.222
AT ITER 8772 NEW BEST:: SOT 7474 SOS 5050 HAS SOPS 2689 HAS SOUS 1873 HAS SOUPS 1280 WITH SCORE 1285.05
AT ITER 9323 NEW BEST:: SOT 7494 SOS 4988 HAS SOPS 2674 HAS SOUS 1870 HAS SOUPS 1280 WITH SCORE 1284.988
AT ITER 9376 NEW BEST:: SOT 7490 SOS 4984 HAS SOPS 2666 HAS SOUS 1862 HAS SOUPS 1272 WITH SCORE 1276.984
AT ITER 9425 NEW BEST:: SOT 7483 SOS 5006 HAS SOPS 2677 HAS SOUS 1862 HAS SOUPS 1271 WITH SCORE 1276.006
AT ITER 9569 NEW BEST:: SOT 7484 SOS 5007 HAS SOPS 2651 HAS SOUS 1860 HAS SOUPS 1269 WITH SCORE 1274.007
STATE_SPACE STATES 2965858466581 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 18 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 41775641306404 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679495370735

--------------------
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="Raft-PT-04"
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 Raft-PT-04, 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 r323-tall-167889194500312"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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