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-167814472300352.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-00a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814472300352
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 464K
-rw-r--r-- 1 mcc users 6.9K Feb 26 15:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 77K Feb 26 15:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.9K Feb 26 15:45 CTLFireability.txt
-rw-r--r-- 1 mcc users 32K Feb 26 15:45 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 15:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:49 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 15:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:49 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 15:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 133K Feb 26 15:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.0K Feb 26 15:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 72K Feb 26 15:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 25 15:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:49 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 31K 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 1678240851396

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-00a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DES (PT), instance 00a
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: 115 places, 76 transitions, 373 arcs.
AT ITER 0 NEW BEST:: SOT 6476 SOS 4897 HAS SOPS 4897 HAS SOUS 3746 HAS SOUPS 3746 WITH SCORE 3750.897
AT ITER 2 NEW BEST:: SOT 6437 SOS 4874 HAS SOPS 4874 HAS SOUS 3723 HAS SOUPS 3723 WITH SCORE 3727.874
AT ITER 4 NEW BEST:: SOT 6437 SOS 4871 HAS SOPS 4871 HAS SOUS 3720 HAS SOUPS 3720 WITH SCORE 3724.871
AT ITER 9 NEW BEST:: SOT 6419 SOS 4861 HAS SOPS 4861 HAS SOUS 3710 HAS SOUPS 3710 WITH SCORE 3714.861
AT ITER 23 NEW BEST:: SOT 6364 SOS 4850 HAS SOPS 4850 HAS SOUS 3688 HAS SOUPS 3688 WITH SCORE 3692.85
AT ITER 30 NEW BEST:: SOT 6352 SOS 4838 HAS SOPS 4838 HAS SOUS 3676 HAS SOUPS 3676 WITH SCORE 3680.838
AT ITER 33 NEW BEST:: SOT 6350 SOS 4836 HAS SOPS 4836 HAS SOUS 3674 HAS SOUPS 3674 WITH SCORE 3678.836
AT ITER 37 NEW BEST:: SOT 6342 SOS 4828 HAS SOPS 4828 HAS SOUS 3666 HAS SOUPS 3666 WITH SCORE 3670.828
AT ITER 45 NEW BEST:: SOT 6342 SOS 4827 HAS SOPS 4827 HAS SOUS 3665 HAS SOUPS 3665 WITH SCORE 3669.827
AT ITER 51 NEW BEST:: SOT 6302 SOS 4792 HAS SOPS 4792 HAS SOUS 3641 HAS SOUPS 3641 WITH SCORE 3645.792
AT ITER 52 NEW BEST:: SOT 6245 SOS 4723 HAS SOPS 4723 HAS SOUS 3572 HAS SOUPS 3572 WITH SCORE 3576.723
AT ITER 53 NEW BEST:: SOT 6236 SOS 4687 HAS SOPS 4687 HAS SOUS 3542 HAS SOUPS 3542 WITH SCORE 3546.687
AT ITER 59 NEW BEST:: SOT 6229 SOS 4692 HAS SOPS 4692 HAS SOUS 3526 HAS SOUPS 3526 WITH SCORE 3530.692
AT ITER 66 NEW BEST:: SOT 6208 SOS 4691 HAS SOPS 4691 HAS SOUS 3525 HAS SOUPS 3525 WITH SCORE 3529.691
AT ITER 78 NEW BEST:: SOT 6208 SOS 4652 HAS SOPS 4652 HAS SOUS 3494 HAS SOUPS 3494 WITH SCORE 3498.652
AT ITER 80 NEW BEST:: SOT 6192 SOS 4636 HAS SOPS 4636 HAS SOUS 3478 HAS SOUPS 3478 WITH SCORE 3482.636
AT ITER 81 NEW BEST:: SOT 6192 SOS 4605 HAS SOPS 4605 HAS SOUS 3476 HAS SOUPS 3476 WITH SCORE 3480.605
AT ITER 84 NEW BEST:: SOT 6182 SOS 4569 HAS SOPS 4569 HAS SOUS 3448 HAS SOUPS 3448 WITH SCORE 3452.569
AT ITER 86 NEW BEST:: SOT 6182 SOS 4573 HAS SOPS 4573 HAS SOUS 3430 HAS SOUPS 3430 WITH SCORE 3434.573
AT ITER 89 NEW BEST:: SOT 6196 SOS 4549 HAS SOPS 4549 HAS SOUS 3406 HAS SOUPS 3406 WITH SCORE 3410.549
AT ITER 97 NEW BEST:: SOT 6187 SOS 4540 HAS SOPS 4540 HAS SOUS 3397 HAS SOUPS 3397 WITH SCORE 3401.54
AT ITER 103 NEW BEST:: SOT 6148 SOS 4531 HAS SOPS 4531 HAS SOUS 3388 HAS SOUPS 3388 WITH SCORE 3392.531
AT ITER 106 NEW BEST:: SOT 6144 SOS 4526 HAS SOPS 4526 HAS SOUS 3383 HAS SOUPS 3383 WITH SCORE 3387.526
AT ITER 107 NEW BEST:: SOT 6144 SOS 4525 HAS SOPS 4525 HAS SOUS 3382 HAS SOUPS 3382 WITH SCORE 3386.525
AT ITER 112 NEW BEST:: SOT 6144 SOS 4519 HAS SOPS 4519 HAS SOUS 3376 HAS SOUPS 3376 WITH SCORE 3380.519
AT ITER 114 NEW BEST:: SOT 6125 SOS 4508 HAS SOPS 4508 HAS SOUS 3365 HAS SOUPS 3365 WITH SCORE 3369.508
AT ITER 118 NEW BEST:: SOT 6107 SOS 4490 HAS SOPS 4490 HAS SOUS 3347 HAS SOUPS 3347 WITH SCORE 3351.49
AT ITER 119 NEW BEST:: SOT 6104 SOS 4476 HAS SOPS 4476 HAS SOUS 3333 HAS SOUPS 3333 WITH SCORE 3337.476
AT ITER 128 NEW BEST:: SOT 6083 SOS 4456 HAS SOPS 4456 HAS SOUS 3313 HAS SOUPS 3313 WITH SCORE 3317.456
AT ITER 131 NEW BEST:: SOT 6079 SOS 4455 HAS SOPS 4455 HAS SOUS 3312 HAS SOUPS 3312 WITH SCORE 3316.455
AT ITER 136 NEW BEST:: SOT 6027 SOS 4403 HAS SOPS 4403 HAS SOUS 3260 HAS SOUPS 3260 WITH SCORE 3264.403
AT ITER 138 NEW BEST:: SOT 5981 SOS 4341 HAS SOPS 4341 HAS SOUS 3214 HAS SOUPS 3214 WITH SCORE 3218.341
AT ITER 141 NEW BEST:: SOT 5974 SOS 4330 HAS SOPS 4330 HAS SOUS 3203 HAS SOUPS 3203 WITH SCORE 3207.33
AT ITER 145 NEW BEST:: SOT 5865 SOS 4258 HAS SOPS 4258 HAS SOUS 3179 HAS SOUPS 3179 WITH SCORE 3183.258
AT ITER 146 NEW BEST:: SOT 5865 SOS 4257 HAS SOPS 4257 HAS SOUS 3177 HAS SOUPS 3177 WITH SCORE 3181.257
AT ITER 147 NEW BEST:: SOT 5872 SOS 4255 HAS SOPS 4255 HAS SOUS 3175 HAS SOUPS 3175 WITH SCORE 3179.255
AT ITER 148 NEW BEST:: SOT 5848 SOS 4224 HAS SOPS 4224 HAS SOUS 3144 HAS SOUPS 3144 WITH SCORE 3148.224
AT ITER 150 NEW BEST:: SOT 5847 SOS 4223 HAS SOPS 4223 HAS SOUS 3143 HAS SOUPS 3143 WITH SCORE 3147.223
AT ITER 154 NEW BEST:: SOT 5838 SOS 4214 HAS SOPS 4214 HAS SOUS 3134 HAS SOUPS 3134 WITH SCORE 3138.214
AT ITER 155 NEW BEST:: SOT 5838 SOS 4216 HAS SOPS 4216 HAS SOUS 3132 HAS SOUPS 3132 WITH SCORE 3136.216
AT ITER 161 NEW BEST:: SOT 5831 SOS 4209 HAS SOPS 4209 HAS SOUS 3125 HAS SOUPS 3125 WITH SCORE 3129.209
AT ITER 162 NEW BEST:: SOT 5831 SOS 4188 HAS SOPS 4188 HAS SOUS 3104 HAS SOUPS 3104 WITH SCORE 3108.188
AT ITER 166 NEW BEST:: SOT 5803 SOS 4140 HAS SOPS 4140 HAS SOUS 3056 HAS SOUPS 3056 WITH SCORE 3060.14
AT ITER 170 NEW BEST:: SOT 5719 SOS 4054 HAS SOPS 4054 HAS SOUS 3038 HAS SOUPS 3038 WITH SCORE 3042.054
AT ITER 172 NEW BEST:: SOT 5702 SOS 4039 HAS SOPS 4039 HAS SOUS 3023 HAS SOUPS 3023 WITH SCORE 3027.039
AT ITER 178 NEW BEST:: SOT 5642 SOS 3979 HAS SOPS 3979 HAS SOUS 3007 HAS SOUPS 3007 WITH SCORE 3010.979
AT ITER 179 NEW BEST:: SOT 5602 SOS 3931 HAS SOPS 3931 HAS SOUS 2991 HAS SOUPS 2991 WITH SCORE 2994.931
AT ITER 188 NEW BEST:: SOT 5548 SOS 3875 HAS SOPS 3875 HAS SOUS 2960 HAS SOUPS 2960 WITH SCORE 2963.875
AT ITER 191 NEW BEST:: SOT 5566 SOS 3859 HAS SOPS 3859 HAS SOUS 2916 HAS SOUPS 2916 WITH SCORE 2919.859
AT ITER 196 NEW BEST:: SOT 5554 SOS 3843 HAS SOPS 3843 HAS SOUS 2900 HAS SOUPS 2900 WITH SCORE 2903.843
AT ITER 198 NEW BEST:: SOT 5554 SOS 3842 HAS SOPS 3842 HAS SOUS 2899 HAS SOUPS 2899 WITH SCORE 2902.842
AT ITER 199 NEW BEST:: SOT 5548 SOS 3829 HAS SOPS 3829 HAS SOUS 2886 HAS SOUPS 2886 WITH SCORE 2889.829
AT ITER 203 NEW BEST:: SOT 5492 SOS 3773 HAS SOPS 3773 HAS SOUS 2872 HAS SOUPS 2872 WITH SCORE 2875.773
AT ITER 212 NEW BEST:: SOT 5492 SOS 3770 HAS SOPS 3770 HAS SOUS 2869 HAS SOUPS 2869 WITH SCORE 2872.77
AT ITER 221 NEW BEST:: SOT 5492 SOS 3769 HAS SOPS 3769 HAS SOUS 2868 HAS SOUPS 2868 WITH SCORE 2871.769
AT ITER 227 NEW BEST:: SOT 5488 SOS 3764 HAS SOPS 3764 HAS SOUS 2863 HAS SOUPS 2863 WITH SCORE 2866.764
AT ITER 230 NEW BEST:: SOT 5479 SOS 3755 HAS SOPS 3755 HAS SOUS 2854 HAS SOUPS 2854 WITH SCORE 2857.755
AT ITER 231 NEW BEST:: SOT 5474 SOS 3668 HAS SOPS 3668 HAS SOUS 2836 HAS SOUPS 2836 WITH SCORE 2839.668
AT ITER 233 NEW BEST:: SOT 5462 SOS 3662 HAS SOPS 3662 HAS SOUS 2830 HAS SOUPS 2830 WITH SCORE 2833.662
AT ITER 245 NEW BEST:: SOT 5463 SOS 3647 HAS SOPS 3647 HAS SOUS 2815 HAS SOUPS 2815 WITH SCORE 2818.647
AT ITER 247 NEW BEST:: SOT 5448 SOS 3610 HAS SOPS 3610 HAS SOUS 2788 HAS SOUPS 2788 WITH SCORE 2791.61
AT ITER 257 NEW BEST:: SOT 5398 SOS 3561 HAS SOPS 3561 HAS SOUS 2785 HAS SOUPS 2785 WITH SCORE 2788.561
AT ITER 264 NEW BEST:: SOT 5391 SOS 3559 HAS SOPS 3559 HAS SOUS 2783 HAS SOUPS 2783 WITH SCORE 2786.559
AT ITER 270 NEW BEST:: SOT 5393 SOS 3539 HAS SOPS 3539 HAS SOUS 2763 HAS SOUPS 2763 WITH SCORE 2766.539
AT ITER 272 NEW BEST:: SOT 5460 SOS 3618 HAS SOPS 3618 HAS SOUS 2746 HAS SOUPS 2746 WITH SCORE 2749.618
AT ITER 273 NEW BEST:: SOT 5458 SOS 3616 HAS SOPS 3616 HAS SOUS 2744 HAS SOUPS 2744 WITH SCORE 2747.616
AT ITER 282 NEW BEST:: SOT 5458 SOS 3614 HAS SOPS 3614 HAS SOUS 2740 HAS SOUPS 2740 WITH SCORE 2743.614
AT ITER 283 NEW BEST:: SOT 5449 SOS 3605 HAS SOPS 3605 HAS SOUS 2731 HAS SOUPS 2731 WITH SCORE 2734.605
AT ITER 284 NEW BEST:: SOT 5484 SOS 3625 HAS SOPS 3625 HAS SOUS 2728 HAS SOUPS 2728 WITH SCORE 2731.625
AT ITER 286 NEW BEST:: SOT 5483 SOS 3624 HAS SOPS 3624 HAS SOUS 2725 HAS SOUPS 2725 WITH SCORE 2728.624
AT ITER 291 NEW BEST:: SOT 5489 SOS 3630 HAS SOPS 3630 HAS SOUS 2723 HAS SOUPS 2723 WITH SCORE 2726.63
AT ITER 293 NEW BEST:: SOT 5455 SOS 3609 HAS SOPS 3609 HAS SOUS 2702 HAS SOUPS 2702 WITH SCORE 2705.609
AT ITER 297 NEW BEST:: SOT 5457 SOS 3608 HAS SOPS 3608 HAS SOUS 2702 HAS SOUPS 2702 WITH SCORE 2705.608
AT ITER 303 NEW BEST:: SOT 5450 SOS 3582 HAS SOPS 3582 HAS SOUS 2676 HAS SOUPS 2676 WITH SCORE 2679.582
AT ITER 308 NEW BEST:: SOT 5428 SOS 3553 HAS SOPS 3553 HAS SOUS 2647 HAS SOUPS 2647 WITH SCORE 2650.553
AT ITER 319 NEW BEST:: SOT 5428 SOS 3543 HAS SOPS 3543 HAS SOUS 2637 HAS SOUPS 2637 WITH SCORE 2640.543
AT ITER 327 NEW BEST:: SOT 5429 SOS 3532 HAS SOPS 3532 HAS SOUS 2626 HAS SOUPS 2626 WITH SCORE 2629.532
AT ITER 333 NEW BEST:: SOT 5426 SOS 3529 HAS SOPS 3529 HAS SOUS 2623 HAS SOUPS 2623 WITH SCORE 2626.529
AT ITER 342 NEW BEST:: SOT 5426 SOS 3547 HAS SOPS 3547 HAS SOUS 2621 HAS SOUPS 2621 WITH SCORE 2624.547
AT ITER 344 NEW BEST:: SOT 5411 SOS 3536 HAS SOPS 3536 HAS SOUS 2610 HAS SOUPS 2610 WITH SCORE 2613.536
AT ITER 352 NEW BEST:: SOT 5327 SOS 3459 HAS SOPS 3459 HAS SOUS 2533 HAS SOUPS 2533 WITH SCORE 2536.459
AT ITER 358 NEW BEST:: SOT 5301 SOS 3424 HAS SOPS 3424 HAS SOUS 2498 HAS SOUPS 2498 WITH SCORE 2501.424
AT ITER 360 NEW BEST:: SOT 5302 SOS 3421 HAS SOPS 3421 HAS SOUS 2495 HAS SOUPS 2495 WITH SCORE 2498.421
AT ITER 375 NEW BEST:: SOT 5310 SOS 3405 HAS SOPS 3405 HAS SOUS 2479 HAS SOUPS 2479 WITH SCORE 2482.405
AT ITER 377 NEW BEST:: SOT 5310 SOS 3398 HAS SOPS 3398 HAS SOUS 2479 HAS SOUPS 2479 WITH SCORE 2482.398
AT ITER 392 NEW BEST:: SOT 5310 SOS 3394 HAS SOPS 3394 HAS SOUS 2475 HAS SOUPS 2475 WITH SCORE 2478.394
AT ITER 403 NEW BEST:: SOT 5320 SOS 3392 HAS SOPS 3392 HAS SOUS 2473 HAS SOUPS 2473 WITH SCORE 2476.392
AT ITER 406 NEW BEST:: SOT 5253 SOS 3325 HAS SOPS 3325 HAS SOUS 2436 HAS SOUPS 2436 WITH SCORE 2439.325
AT ITER 412 NEW BEST:: SOT 5233 SOS 3305 HAS SOPS 3305 HAS SOUS 2416 HAS SOUPS 2416 WITH SCORE 2419.305
AT ITER 413 NEW BEST:: SOT 5233 SOS 3304 HAS SOPS 3304 HAS SOUS 2415 HAS SOUPS 2415 WITH SCORE 2418.304
AT ITER 424 NEW BEST:: SOT 5233 SOS 3264 HAS SOPS 3264 HAS SOUS 2411 HAS SOUPS 2411 WITH SCORE 2414.264
AT ITER 434 NEW BEST:: SOT 5221 SOS 3245 HAS SOPS 3245 HAS SOUS 2392 HAS SOUPS 2392 WITH SCORE 2395.245
AT ITER 444 NEW BEST:: SOT 5107 SOS 3131 HAS SOPS 3131 HAS SOUS 2374 HAS SOUPS 2374 WITH SCORE 2377.131
AT ITER 445 NEW BEST:: SOT 5107 SOS 3119 HAS SOPS 3119 HAS SOUS 2362 HAS SOUPS 2362 WITH SCORE 2365.119
AT ITER 447 NEW BEST:: SOT 5106 SOS 3091 HAS SOPS 3091 HAS SOUS 2334 HAS SOUPS 2334 WITH SCORE 2337.091
AT ITER 456 NEW BEST:: SOT 5105 SOS 3088 HAS SOPS 3088 HAS SOUS 2331 HAS SOUPS 2331 WITH SCORE 2334.088
AT ITER 462 NEW BEST:: SOT 5105 SOS 3079 HAS SOPS 3079 HAS SOUS 2322 HAS SOUPS 2322 WITH SCORE 2325.079
AT ITER 482 NEW BEST:: SOT 5105 SOS 3077 HAS SOPS 3077 HAS SOUS 2320 HAS SOUPS 2320 WITH SCORE 2323.077
AT ITER 483 NEW BEST:: SOT 5108 SOS 3076 HAS SOPS 3076 HAS SOUS 2319 HAS SOUPS 2319 WITH SCORE 2322.076
AT ITER 489 NEW BEST:: SOT 5098 SOS 3061 HAS SOPS 3061 HAS SOUS 2304 HAS SOUPS 2304 WITH SCORE 2307.061
AT ITER 492 NEW BEST:: SOT 5091 SOS 3042 HAS SOPS 3042 HAS SOUS 2300 HAS SOUPS 2300 WITH SCORE 2303.042
AT ITER 493 NEW BEST:: SOT 5072 SOS 3056 HAS SOPS 3056 HAS SOUS 2299 HAS SOUPS 2299 WITH SCORE 2302.056
AT ITER 505 NEW BEST:: SOT 5071 SOS 3055 HAS SOPS 3055 HAS SOUS 2298 HAS SOUPS 2298 WITH SCORE 2301.055
AT ITER 509 NEW BEST:: SOT 5065 SOS 3046 HAS SOPS 3046 HAS SOUS 2289 HAS SOUPS 2289 WITH SCORE 2292.046
AT ITER 513 NEW BEST:: SOT 5069 SOS 3036 HAS SOPS 3036 HAS SOUS 2279 HAS SOUPS 2279 WITH SCORE 2282.036
AT ITER 517 NEW BEST:: SOT 5044 SOS 3006 HAS SOPS 3006 HAS SOUS 2269 HAS SOUPS 2269 WITH SCORE 2272.006
AT ITER 537 NEW BEST:: SOT 5044 SOS 3020 HAS SOPS 3020 HAS SOUS 2263 HAS SOUPS 2263 WITH SCORE 2266.02
AT ITER 593 NEW BEST:: SOT 5044 SOS 3018 HAS SOPS 3018 HAS SOUS 2261 HAS SOUPS 2261 WITH SCORE 2264.018
AT ITER 598 NEW BEST:: SOT 5044 SOS 2997 HAS SOPS 2993 HAS SOUS 2264 HAS SOUPS 2260 WITH SCORE 2262.997
AT ITER 603 NEW BEST:: SOT 5044 SOS 2996 HAS SOPS 2992 HAS SOUS 2263 HAS SOUPS 2259 WITH SCORE 2261.996
AT ITER 613 NEW BEST:: SOT 5028 SOS 2994 HAS SOPS 2990 HAS SOUS 2261 HAS SOUPS 2257 WITH SCORE 2259.994
AT ITER 617 NEW BEST:: SOT 5039 SOS 2917 HAS SOPS 2915 HAS SOUS 2246 HAS SOUPS 2244 WITH SCORE 2246.917
AT ITER 633 NEW BEST:: SOT 5039 SOS 2915 HAS SOPS 2913 HAS SOUS 2244 HAS SOUPS 2242 WITH SCORE 2244.915
AT ITER 651 NEW BEST:: SOT 5021 SOS 2897 HAS SOPS 2895 HAS SOUS 2226 HAS SOUPS 2224 WITH SCORE 2226.897
AT ITER 658 NEW BEST:: SOT 5019 SOS 2887 HAS SOPS 2885 HAS SOUS 2216 HAS SOUPS 2214 WITH SCORE 2216.887
AT ITER 664 NEW BEST:: SOT 5017 SOS 2881 HAS SOPS 2879 HAS SOUS 2206 HAS SOUPS 2204 WITH SCORE 2206.881
AT ITER 666 NEW BEST:: SOT 5013 SOS 2875 HAS SOPS 2873 HAS SOUS 2200 HAS SOUPS 2198 WITH SCORE 2200.875
AT ITER 680 NEW BEST:: SOT 5013 SOS 2867 HAS SOPS 2865 HAS SOUS 2200 HAS SOUPS 2198 WITH SCORE 2200.867
AT ITER 685 NEW BEST:: SOT 5014 SOS 2853 HAS SOPS 2851 HAS SOUS 2192 HAS SOUPS 2190 WITH SCORE 2192.853
AT ITER 712 NEW BEST:: SOT 5002 SOS 2841 HAS SOPS 2839 HAS SOUS 2180 HAS SOUPS 2178 WITH SCORE 2180.841
AT ITER 718 NEW BEST:: SOT 4996 SOS 2834 HAS SOPS 2832 HAS SOUS 2179 HAS SOUPS 2177 WITH SCORE 2179.834
AT ITER 731 NEW BEST:: SOT 4995 SOS 2833 HAS SOPS 2831 HAS SOUS 2178 HAS SOUPS 2176 WITH SCORE 2178.833
AT ITER 737 NEW BEST:: SOT 4993 SOS 2831 HAS SOPS 2829 HAS SOUS 2176 HAS SOUPS 2174 WITH SCORE 2176.831
AT ITER 751 NEW BEST:: SOT 4973 SOS 2811 HAS SOPS 2809 HAS SOUS 2156 HAS SOUPS 2154 WITH SCORE 2156.811
AT ITER 766 NEW BEST:: SOT 4967 SOS 2806 HAS SOPS 2804 HAS SOUS 2151 HAS SOUPS 2149 WITH SCORE 2151.806
AT ITER 806 NEW BEST:: SOT 4965 SOS 2787 HAS SOPS 2785 HAS SOUS 2144 HAS SOUPS 2142 WITH SCORE 2144.787
AT ITER 807 NEW BEST:: SOT 4964 SOS 2786 HAS SOPS 2784 HAS SOUS 2143 HAS SOUPS 2141 WITH SCORE 2143.786
AT ITER 810 NEW BEST:: SOT 4953 SOS 2778 HAS SOPS 2776 HAS SOUS 2135 HAS SOUPS 2133 WITH SCORE 2135.778
AT ITER 812 NEW BEST:: SOT 4952 SOS 2772 HAS SOPS 2770 HAS SOUS 2129 HAS SOUPS 2127 WITH SCORE 2129.772
AT ITER 821 NEW BEST:: SOT 4952 SOS 2772 HAS SOPS 2770 HAS SOUS 2127 HAS SOUPS 2125 WITH SCORE 2127.772
AT ITER 823 NEW BEST:: SOT 4952 SOS 2770 HAS SOPS 2768 HAS SOUS 2127 HAS SOUPS 2125 WITH SCORE 2127.77
AT ITER 860 NEW BEST:: SOT 4952 SOS 2766 HAS SOPS 2764 HAS SOUS 2123 HAS SOUPS 2121 WITH SCORE 2123.766
AT ITER 864 NEW BEST:: SOT 4948 SOS 2751 HAS SOPS 2749 HAS SOUS 2117 HAS SOUPS 2115 WITH SCORE 2117.751
AT ITER 871 NEW BEST:: SOT 4948 SOS 2750 HAS SOPS 2748 HAS SOUS 2109 HAS SOUPS 2107 WITH SCORE 2109.75
AT ITER 882 NEW BEST:: SOT 4921 SOS 2720 HAS SOPS 2718 HAS SOUS 2103 HAS SOUPS 2101 WITH SCORE 2103.72
AT ITER 901 NEW BEST:: SOT 4939 SOS 2719 HAS SOPS 2717 HAS SOUS 2102 HAS SOUPS 2100 WITH SCORE 2102.719
AT ITER 924 NEW BEST:: SOT 4931 SOS 2688 HAS SOPS 2686 HAS SOUS 2071 HAS SOUPS 2069 WITH SCORE 2071.688
AT ITER 930 NEW BEST:: SOT 4864 SOS 2598 HAS SOPS 2596 HAS SOUS 2002 HAS SOUPS 2000 WITH SCORE 2002.598
AT ITER 932 NEW BEST:: SOT 4818 SOS 2550 HAS SOPS 2548 HAS SOUS 1975 HAS SOUPS 1973 WITH SCORE 1975.55
AT ITER 933 NEW BEST:: SOT 4800 SOS 2530 HAS SOPS 2528 HAS SOUS 1955 HAS SOUPS 1953 WITH SCORE 1955.53
AT ITER 935 NEW BEST:: SOT 4768 SOS 2498 HAS SOPS 2496 HAS SOUS 1931 HAS SOUPS 1929 WITH SCORE 1931.498
AT ITER 951 NEW BEST:: SOT 4767 SOS 2497 HAS SOPS 2495 HAS SOUS 1930 HAS SOUPS 1928 WITH SCORE 1930.497
AT ITER 953 NEW BEST:: SOT 4662 SOS 2392 HAS SOPS 2390 HAS SOUS 1909 HAS SOUPS 1907 WITH SCORE 1909.392
AT ITER 967 NEW BEST:: SOT 4648 SOS 2383 HAS SOPS 2381 HAS SOUS 1900 HAS SOUPS 1898 WITH SCORE 1900.383
AT ITER 984 NEW BEST:: SOT 4634 SOS 2369 HAS SOPS 2367 HAS SOUS 1886 HAS SOUPS 1884 WITH SCORE 1886.369
AT ITER 988 NEW BEST:: SOT 4629 SOS 2366 HAS SOPS 2364 HAS SOUS 1880 HAS SOUPS 1878 WITH SCORE 1880.366
AT ITER 999 NEW BEST:: SOT 4621 SOS 2358 HAS SOPS 2356 HAS SOUS 1872 HAS SOUPS 1870 WITH SCORE 1872.358
AT ITER 1014 NEW BEST:: SOT 4643 SOS 2357 HAS SOPS 2355 HAS SOUS 1869 HAS SOUPS 1867 WITH SCORE 1869.357
AT ITER 1031 NEW BEST:: SOT 4635 SOS 2349 HAS SOPS 2347 HAS SOUS 1863 HAS SOUPS 1861 WITH SCORE 1863.349
AT ITER 1032 NEW BEST:: SOT 4634 SOS 2347 HAS SOPS 2345 HAS SOUS 1861 HAS SOUPS 1859 WITH SCORE 1861.347
AT ITER 1055 NEW BEST:: SOT 4548 SOS 2261 HAS SOPS 2259 HAS SOUS 1843 HAS SOUPS 1841 WITH SCORE 1843.261
AT ITER 1056 NEW BEST:: SOT 4548 SOS 2252 HAS SOPS 2250 HAS SOUS 1834 HAS SOUPS 1832 WITH SCORE 1834.252
AT ITER 1068 NEW BEST:: SOT 4532 SOS 2240 HAS SOPS 2238 HAS SOUS 1822 HAS SOUPS 1820 WITH SCORE 1822.24
AT ITER 1084 NEW BEST:: SOT 4519 SOS 2229 HAS SOPS 2227 HAS SOUS 1811 HAS SOUPS 1809 WITH SCORE 1811.229
AT ITER 1089 NEW BEST:: SOT 4516 SOS 2224 HAS SOPS 2222 HAS SOUS 1806 HAS SOUPS 1804 WITH SCORE 1806.224
AT ITER 1091 NEW BEST:: SOT 4479 SOS 2170 HAS SOPS 2168 HAS SOUS 1752 HAS SOUPS 1750 WITH SCORE 1752.17
AT ITER 1095 NEW BEST:: SOT 4496 SOS 2134 HAS SOPS 2132 HAS SOUS 1733 HAS SOUPS 1731 WITH SCORE 1733.134
AT ITER 1097 NEW BEST:: SOT 4481 SOS 2105 HAS SOPS 2103 HAS SOUS 1704 HAS SOUPS 1702 WITH SCORE 1704.105
AT ITER 1112 NEW BEST:: SOT 4478 SOS 2099 HAS SOPS 2097 HAS SOUS 1698 HAS SOUPS 1696 WITH SCORE 1698.099
AT ITER 1113 NEW BEST:: SOT 4481 SOS 2091 HAS SOPS 2089 HAS SOUS 1692 HAS SOUPS 1690 WITH SCORE 1692.091
AT ITER 1114 NEW BEST:: SOT 4487 SOS 2090 HAS SOPS 2088 HAS SOUS 1691 HAS SOUPS 1689 WITH SCORE 1691.09
AT ITER 1120 NEW BEST:: SOT 4463 SOS 2096 HAS SOPS 2094 HAS SOUS 1687 HAS SOUPS 1685 WITH SCORE 1687.096
AT ITER 1132 NEW BEST:: SOT 4463 SOS 2092 HAS SOPS 2090 HAS SOUS 1683 HAS SOUPS 1681 WITH SCORE 1683.092
AT ITER 1159 NEW BEST:: SOT 4457 SOS 2075 HAS SOPS 2073 HAS SOUS 1666 HAS SOUPS 1664 WITH SCORE 1666.075
AT ITER 1172 NEW BEST:: SOT 4450 SOS 2062 HAS SOPS 2060 HAS SOUS 1653 HAS SOUPS 1651 WITH SCORE 1653.062
AT ITER 1220 NEW BEST:: SOT 4449 SOS 2058 HAS SOPS 2056 HAS SOUS 1649 HAS SOUPS 1647 WITH SCORE 1649.058
AT ITER 1242 NEW BEST:: SOT 4448 SOS 2057 HAS SOPS 2055 HAS SOUS 1648 HAS SOUPS 1646 WITH SCORE 1648.057
AT ITER 1246 NEW BEST:: SOT 4448 SOS 2056 HAS SOPS 2054 HAS SOUS 1647 HAS SOUPS 1645 WITH SCORE 1647.056
AT ITER 1254 NEW BEST:: SOT 4447 SOS 2055 HAS SOPS 2053 HAS SOUS 1646 HAS SOUPS 1644 WITH SCORE 1646.055
AT ITER 1287 NEW BEST:: SOT 4447 SOS 2053 HAS SOPS 2051 HAS SOUS 1644 HAS SOUPS 1642 WITH SCORE 1644.053
AT ITER 1293 NEW BEST:: SOT 4443 SOS 2049 HAS SOPS 2047 HAS SOUS 1640 HAS SOUPS 1638 WITH SCORE 1640.049
AT ITER 1300 NEW BEST:: SOT 4437 SOS 2043 HAS SOPS 2041 HAS SOUS 1634 HAS SOUPS 1632 WITH SCORE 1634.043
AT ITER 1324 NEW BEST:: SOT 4431 SOS 2033 HAS SOPS 2031 HAS SOUS 1624 HAS SOUPS 1622 WITH SCORE 1624.033
AT ITER 1355 NEW BEST:: SOT 4433 SOS 2028 HAS SOPS 2026 HAS SOUS 1619 HAS SOUPS 1617 WITH SCORE 1619.028
AT ITER 1378 NEW BEST:: SOT 4428 SOS 2022 HAS SOPS 2020 HAS SOUS 1613 HAS SOUPS 1611 WITH SCORE 1613.022
AT ITER 1388 NEW BEST:: SOT 4426 SOS 2017 HAS SOPS 2015 HAS SOUS 1608 HAS SOUPS 1606 WITH SCORE 1608.017
AT ITER 1403 NEW BEST:: SOT 4427 SOS 2014 HAS SOPS 2012 HAS SOUS 1605 HAS SOUPS 1603 WITH SCORE 1605.014
AT ITER 1416 NEW BEST:: SOT 4436 SOS 2014 HAS SOPS 2012 HAS SOUS 1597 HAS SOUPS 1595 WITH SCORE 1597.014
AT ITER 1427 NEW BEST:: SOT 4436 SOS 1993 HAS SOPS 1991 HAS SOUS 1583 HAS SOUPS 1581 WITH SCORE 1582.993
AT ITER 1440 NEW BEST:: SOT 4424 SOS 1986 HAS SOPS 1984 HAS SOUS 1571 HAS SOUPS 1569 WITH SCORE 1570.986
AT ITER 1443 NEW BEST:: SOT 4480 SOS 2042 HAS SOPS 2040 HAS SOUS 1567 HAS SOUPS 1565 WITH SCORE 1567.042
AT ITER 1451 NEW BEST:: SOT 4478 SOS 2039 HAS SOPS 2037 HAS SOUS 1564 HAS SOUPS 1562 WITH SCORE 1564.039
AT ITER 1474 NEW BEST:: SOT 4476 SOS 2031 HAS SOPS 2029 HAS SOUS 1560 HAS SOUPS 1558 WITH SCORE 1560.031
AT ITER 1478 NEW BEST:: SOT 4474 SOS 2023 HAS SOPS 2021 HAS SOUS 1554 HAS SOUPS 1552 WITH SCORE 1554.023
AT ITER 1483 NEW BEST:: SOT 4470 SOS 2019 HAS SOPS 2017 HAS SOUS 1550 HAS SOUPS 1548 WITH SCORE 1550.019
AT ITER 1516 NEW BEST:: SOT 4468 SOS 2016 HAS SOPS 2014 HAS SOUS 1547 HAS SOUPS 1545 WITH SCORE 1547.016
AT ITER 1519 NEW BEST:: SOT 4464 SOS 2009 HAS SOPS 2007 HAS SOUS 1539 HAS SOUPS 1537 WITH SCORE 1539.009
AT ITER 1534 NEW BEST:: SOT 4464 SOS 2005 HAS SOPS 2003 HAS SOUS 1535 HAS SOUPS 1533 WITH SCORE 1535.005
AT ITER 1541 NEW BEST:: SOT 4463 SOS 2004 HAS SOPS 2002 HAS SOUS 1534 HAS SOUPS 1532 WITH SCORE 1534.004
AT ITER 1645 NEW BEST:: SOT 4461 SOS 2002 HAS SOPS 2000 HAS SOUS 1532 HAS SOUPS 1530 WITH SCORE 1532.002
AT ITER 1647 NEW BEST:: SOT 4461 SOS 2000 HAS SOPS 1998 HAS SOUS 1530 HAS SOUPS 1528 WITH SCORE 1530.0
AT ITER 1658 NEW BEST:: SOT 4460 SOS 1996 HAS SOPS 1994 HAS SOUS 1526 HAS SOUPS 1524 WITH SCORE 1525.996
AT ITER 1675 NEW BEST:: SOT 4393 SOS 1926 HAS SOPS 1924 HAS SOUS 1502 HAS SOUPS 1500 WITH SCORE 1501.926
AT ITER 1681 NEW BEST:: SOT 4393 SOS 1922 HAS SOPS 1920 HAS SOUS 1498 HAS SOUPS 1496 WITH SCORE 1497.922
AT ITER 1698 NEW BEST:: SOT 4382 SOS 1910 HAS SOPS 1908 HAS SOUS 1486 HAS SOUPS 1484 WITH SCORE 1485.91
AT ITER 1700 NEW BEST:: SOT 4382 SOS 1908 HAS SOPS 1906 HAS SOUS 1484 HAS SOUPS 1482 WITH SCORE 1483.908
AT ITER 1728 NEW BEST:: SOT 4382 SOS 1906 HAS SOPS 1904 HAS SOUS 1482 HAS SOUPS 1480 WITH SCORE 1481.906
AT ITER 1736 NEW BEST:: SOT 4378 SOS 1907 HAS SOPS 1906 HAS SOUS 1474 HAS SOUPS 1473 WITH SCORE 1474.907
AT ITER 1745 NEW BEST:: SOT 4318 SOS 1844 HAS SOPS 1843 HAS SOUS 1463 HAS SOUPS 1462 WITH SCORE 1463.844
AT ITER 1746 NEW BEST:: SOT 4318 SOS 1843 HAS SOPS 1841 HAS SOUS 1463 HAS SOUPS 1461 WITH SCORE 1462.843
AT ITER 1767 NEW BEST:: SOT 4316 SOS 1841 HAS SOPS 1839 HAS SOUS 1461 HAS SOUPS 1459 WITH SCORE 1460.841
AT ITER 1784 NEW BEST:: SOT 4315 SOS 1838 HAS SOPS 1836 HAS SOUS 1458 HAS SOUPS 1456 WITH SCORE 1457.838
AT ITER 1789 NEW BEST:: SOT 4314 SOS 1837 HAS SOPS 1835 HAS SOUS 1457 HAS SOUPS 1455 WITH SCORE 1456.837
AT ITER 1850 NEW BEST:: SOT 4315 SOS 1836 HAS SOPS 1834 HAS SOUS 1456 HAS SOUPS 1454 WITH SCORE 1455.836
AT ITER 1856 NEW BEST:: SOT 4319 SOS 1861 HAS SOPS 1860 HAS SOUS 1454 HAS SOUPS 1453 WITH SCORE 1454.861
AT ITER 1881 NEW BEST:: SOT 4315 SOS 1856 HAS SOPS 1855 HAS SOUS 1450 HAS SOUPS 1449 WITH SCORE 1450.856
AT ITER 1894 NEW BEST:: SOT 4270 SOS 1805 HAS SOPS 1804 HAS SOUS 1438 HAS SOUPS 1437 WITH SCORE 1438.805
AT ITER 1898 NEW BEST:: SOT 4263 SOS 1798 HAS SOPS 1797 HAS SOUS 1434 HAS SOUPS 1433 WITH SCORE 1434.798
AT ITER 2001 NEW BEST:: SOT 4260 SOS 1795 HAS SOPS 1794 HAS SOUS 1434 HAS SOUPS 1433 WITH SCORE 1434.795
AT ITER 2025 NEW BEST:: SOT 4260 SOS 1794 HAS SOPS 1792 HAS SOUS 1434 HAS SOUPS 1432 WITH SCORE 1433.794
AT ITER 2059 NEW BEST:: SOT 4259 SOS 1793 HAS SOPS 1791 HAS SOUS 1433 HAS SOUPS 1431 WITH SCORE 1432.793
AT ITER 2076 NEW BEST:: SOT 4259 SOS 1791 HAS SOPS 1789 HAS SOUS 1431 HAS SOUPS 1429 WITH SCORE 1430.791
AT ITER 2093 NEW BEST:: SOT 4258 SOS 1790 HAS SOPS 1788 HAS SOUS 1430 HAS SOUPS 1428 WITH SCORE 1429.79
AT ITER 2099 NEW BEST:: SOT 4257 SOS 1791 HAS SOPS 1789 HAS SOUS 1429 HAS SOUPS 1427 WITH SCORE 1428.791
AT ITER 2125 NEW BEST:: SOT 4255 SOS 1773 HAS SOPS 1771 HAS SOUS 1411 HAS SOUPS 1409 WITH SCORE 1410.773
AT ITER 2185 NEW BEST:: SOT 4249 SOS 1769 HAS SOPS 1767 HAS SOUS 1407 HAS SOUPS 1405 WITH SCORE 1406.769
AT ITER 2191 NEW BEST:: SOT 4245 SOS 1763 HAS SOPS 1761 HAS SOUS 1401 HAS SOUPS 1399 WITH SCORE 1400.763
AT ITER 2246 NEW BEST:: SOT 4247 SOS 1760 HAS SOPS 1758 HAS SOUS 1399 HAS SOUPS 1397 WITH SCORE 1398.76
AT ITER 2267 NEW BEST:: SOT 4247 SOS 1756 HAS SOPS 1754 HAS SOUS 1397 HAS SOUPS 1395 WITH SCORE 1396.756
AT ITER 2269 NEW BEST:: SOT 4231 SOS 1752 HAS SOPS 1750 HAS SOUS 1393 HAS SOUPS 1391 WITH SCORE 1392.752
AT ITER 2287 NEW BEST:: SOT 4231 SOS 1749 HAS SOPS 1747 HAS SOUS 1390 HAS SOUPS 1388 WITH SCORE 1389.749
AT ITER 2294 NEW BEST:: SOT 4228 SOS 1746 HAS SOPS 1744 HAS SOUS 1387 HAS SOUPS 1385 WITH SCORE 1386.746
AT ITER 2305 NEW BEST:: SOT 4216 SOS 1742 HAS SOPS 1740 HAS SOUS 1383 HAS SOUPS 1381 WITH SCORE 1382.742
AT ITER 2404 NEW BEST:: SOT 4216 SOS 1741 HAS SOPS 1739 HAS SOUS 1383 HAS SOUPS 1381 WITH SCORE 1382.741
AT ITER 2405 NEW BEST:: SOT 4227 SOS 1739 HAS SOPS 1737 HAS SOUS 1381 HAS SOUPS 1379 WITH SCORE 1380.739
AT ITER 2413 NEW BEST:: SOT 4223 SOS 1735 HAS SOPS 1733 HAS SOUS 1377 HAS SOUPS 1375 WITH SCORE 1376.735
AT ITER 2420 NEW BEST:: SOT 4226 SOS 1735 HAS SOPS 1733 HAS SOUS 1374 HAS SOUPS 1372 WITH SCORE 1373.735
AT ITER 2451 NEW BEST:: SOT 4226 SOS 1732 HAS SOPS 1730 HAS SOUS 1371 HAS SOUPS 1369 WITH SCORE 1370.732
AT ITER 2495 NEW BEST:: SOT 4222 SOS 1727 HAS SOPS 1725 HAS SOUS 1369 HAS SOUPS 1367 WITH SCORE 1368.727
AT ITER 2497 NEW BEST:: SOT 4213 SOS 1718 HAS SOPS 1716 HAS SOUS 1360 HAS SOUPS 1358 WITH SCORE 1359.718
AT ITER 2509 NEW BEST:: SOT 4212 SOS 1723 HAS SOPS 1721 HAS SOUS 1359 HAS SOUPS 1357 WITH SCORE 1358.723
AT ITER 2639 NEW BEST:: SOT 4214 SOS 1721 HAS SOPS 1719 HAS SOUS 1357 HAS SOUPS 1355 WITH SCORE 1356.721
AT ITER 2663 NEW BEST:: SOT 4212 SOS 1717 HAS SOPS 1715 HAS SOUS 1353 HAS SOUPS 1351 WITH SCORE 1352.717
AT ITER 2814 NEW BEST:: SOT 4211 SOS 1713 HAS SOPS 1711 HAS SOUS 1349 HAS SOUPS 1347 WITH SCORE 1348.713
AT ITER 2850 NEW BEST:: SOT 4205 SOS 1707 HAS SOPS 1705 HAS SOUS 1343 HAS SOUPS 1341 WITH SCORE 1342.707
AT ITER 2860 NEW BEST:: SOT 4210 SOS 1702 HAS SOPS 1700 HAS SOUS 1342 HAS SOUPS 1340 WITH SCORE 1341.702
AT ITER 2897 NEW BEST:: SOT 4198 SOS 1692 HAS SOPS 1690 HAS SOUS 1335 HAS SOUPS 1333 WITH SCORE 1334.692
AT ITER 2916 NEW BEST:: SOT 4197 SOS 1688 HAS SOPS 1686 HAS SOUS 1331 HAS SOUPS 1329 WITH SCORE 1330.688
AT ITER 2921 NEW BEST:: SOT 4195 SOS 1684 HAS SOPS 1682 HAS SOUS 1327 HAS SOUPS 1325 WITH SCORE 1326.684
AT ITER 2929 NEW BEST:: SOT 4193 SOS 1681 HAS SOPS 1679 HAS SOUS 1324 HAS SOUPS 1322 WITH SCORE 1323.681
AT ITER 2954 NEW BEST:: SOT 4193 SOS 1679 HAS SOPS 1677 HAS SOUS 1322 HAS SOUPS 1320 WITH SCORE 1321.679
AT ITER 2961 NEW BEST:: SOT 4190 SOS 1676 HAS SOPS 1674 HAS SOUS 1319 HAS SOUPS 1317 WITH SCORE 1318.676
AT ITER 2969 NEW BEST:: SOT 4188 SOS 1670 HAS SOPS 1668 HAS SOUS 1313 HAS SOUPS 1311 WITH SCORE 1312.67
AT ITER 3013 NEW BEST:: SOT 4184 SOS 1667 HAS SOPS 1665 HAS SOUS 1310 HAS SOUPS 1308 WITH SCORE 1309.667
AT ITER 3018 NEW BEST:: SOT 4185 SOS 1680 HAS SOPS 1678 HAS SOUS 1309 HAS SOUPS 1307 WITH SCORE 1308.68
AT ITER 3048 NEW BEST:: SOT 4185 SOS 1678 HAS SOPS 1676 HAS SOUS 1307 HAS SOUPS 1305 WITH SCORE 1306.678
AT ITER 3075 NEW BEST:: SOT 4181 SOS 1672 HAS SOPS 1670 HAS SOUS 1301 HAS SOUPS 1299 WITH SCORE 1300.672
AT ITER 3079 NEW BEST:: SOT 4177 SOS 1666 HAS SOPS 1664 HAS SOUS 1295 HAS SOUPS 1293 WITH SCORE 1294.666
AT ITER 3094 NEW BEST:: SOT 4175 SOS 1661 HAS SOPS 1659 HAS SOUS 1290 HAS SOUPS 1288 WITH SCORE 1289.661
AT ITER 3106 NEW BEST:: SOT 4175 SOS 1662 HAS SOPS 1660 HAS SOUS 1289 HAS SOUPS 1287 WITH SCORE 1288.662
AT ITER 3201 NEW BEST:: SOT 4172 SOS 1659 HAS SOPS 1657 HAS SOUS 1287 HAS SOUPS 1285 WITH SCORE 1286.659
AT ITER 3205 NEW BEST:: SOT 4173 SOS 1659 HAS SOPS 1657 HAS SOUS 1285 HAS SOUPS 1283 WITH SCORE 1284.659
AT ITER 3445 NEW BEST:: SOT 4153 SOS 1622 HAS SOPS 1620 HAS SOUS 1272 HAS SOUPS 1270 WITH SCORE 1271.622
AT ITER 3480 NEW BEST:: SOT 4153 SOS 1621 HAS SOPS 1619 HAS SOUS 1271 HAS SOUPS 1269 WITH SCORE 1270.621
AT ITER 3509 NEW BEST:: SOT 4152 SOS 1620 HAS SOPS 1618 HAS SOUS 1270 HAS SOUPS 1268 WITH SCORE 1269.62
AT ITER 3517 NEW BEST:: SOT 4153 SOS 1615 HAS SOPS 1613 HAS SOUS 1265 HAS SOUPS 1263 WITH SCORE 1264.615
AT ITER 3545 NEW BEST:: SOT 4153 SOS 1609 HAS SOPS 1607 HAS SOUS 1265 HAS SOUPS 1263 WITH SCORE 1264.609
AT ITER 3669 NEW BEST:: SOT 4148 SOS 1605 HAS SOPS 1603 HAS SOUS 1265 HAS SOUPS 1263 WITH SCORE 1264.605
AT ITER 3675 NEW BEST:: SOT 4147 SOS 1603 HAS SOPS 1601 HAS SOUS 1263 HAS SOUPS 1261 WITH SCORE 1262.603
AT ITER 3687 NEW BEST:: SOT 4145 SOS 1598 HAS SOPS 1596 HAS SOUS 1258 HAS SOUPS 1256 WITH SCORE 1257.598
AT ITER 3692 NEW BEST:: SOT 4141 SOS 1596 HAS SOPS 1594 HAS SOUS 1258 HAS SOUPS 1256 WITH SCORE 1257.596
AT ITER 3704 NEW BEST:: SOT 4132 SOS 1587 HAS SOPS 1585 HAS SOUS 1257 HAS SOUPS 1255 WITH SCORE 1256.587
AT ITER 3705 NEW BEST:: SOT 4132 SOS 1585 HAS SOPS 1583 HAS SOUS 1255 HAS SOUPS 1253 WITH SCORE 1254.585
AT ITER 3709 NEW BEST:: SOT 4132 SOS 1584 HAS SOPS 1582 HAS SOUS 1254 HAS SOUPS 1252 WITH SCORE 1253.584
AT ITER 3736 NEW BEST:: SOT 4120 SOS 1572 HAS SOPS 1570 HAS SOUS 1242 HAS SOUPS 1240 WITH SCORE 1241.572
AT ITER 3781 NEW BEST:: SOT 4118 SOS 1569 HAS SOPS 1567 HAS SOUS 1239 HAS SOUPS 1237 WITH SCORE 1238.569
AT ITER 3843 NEW BEST:: SOT 4130 SOS 1562 HAS SOPS 1560 HAS SOUS 1232 HAS SOUPS 1230 WITH SCORE 1231.562
AT ITER 3845 NEW BEST:: SOT 4128 SOS 1559 HAS SOPS 1557 HAS SOUS 1229 HAS SOUPS 1227 WITH SCORE 1228.559
AT ITER 3883 NEW BEST:: SOT 4128 SOS 1551 HAS SOPS 1549 HAS SOUS 1227 HAS SOUPS 1225 WITH SCORE 1226.551
AT ITER 3939 NEW BEST:: SOT 4128 SOS 1550 HAS SOPS 1548 HAS SOUS 1226 HAS SOUPS 1224 WITH SCORE 1225.55
AT ITER 3959 NEW BEST:: SOT 4127 SOS 1548 HAS SOPS 1546 HAS SOUS 1224 HAS SOUPS 1222 WITH SCORE 1223.548
AT ITER 3973 NEW BEST:: SOT 4127 SOS 1547 HAS SOPS 1545 HAS SOUS 1223 HAS SOUPS 1221 WITH SCORE 1222.547
AT ITER 3975 NEW BEST:: SOT 4128 SOS 1554 HAS SOPS 1552 HAS SOUS 1220 HAS SOUPS 1218 WITH SCORE 1219.554
AT ITER 4006 NEW BEST:: SOT 4125 SOS 1549 HAS SOPS 1547 HAS SOUS 1219 HAS SOUPS 1217 WITH SCORE 1218.549
AT ITER 4032 NEW BEST:: SOT 4124 SOS 1547 HAS SOPS 1545 HAS SOUS 1217 HAS SOUPS 1215 WITH SCORE 1216.547
AT ITER 4033 NEW BEST:: SOT 4124 SOS 1546 HAS SOPS 1544 HAS SOUS 1216 HAS SOUPS 1214 WITH SCORE 1215.546
AT ITER 4035 NEW BEST:: SOT 4126 SOS 1546 HAS SOPS 1544 HAS SOUS 1214 HAS SOUPS 1212 WITH SCORE 1213.546
AT ITER 4073 NEW BEST:: SOT 4123 SOS 1538 HAS SOPS 1536 HAS SOUS 1206 HAS SOUPS 1204 WITH SCORE 1205.538
AT ITER 4100 NEW BEST:: SOT 4120 SOS 1532 HAS SOPS 1530 HAS SOUS 1194 HAS SOUPS 1192 WITH SCORE 1193.532
AT ITER 4106 NEW BEST:: SOT 4122 SOS 1537 HAS SOPS 1535 HAS SOUS 1193 HAS SOUPS 1191 WITH SCORE 1192.537
AT ITER 4120 NEW BEST:: SOT 4122 SOS 1535 HAS SOPS 1533 HAS SOUS 1193 HAS SOUPS 1191 WITH SCORE 1192.535
AT ITER 4194 NEW BEST:: SOT 4124 SOS 1534 HAS SOPS 1532 HAS SOUS 1193 HAS SOUPS 1191 WITH SCORE 1192.534
AT ITER 4258 NEW BEST:: SOT 4121 SOS 1531 HAS SOPS 1529 HAS SOUS 1190 HAS SOUPS 1188 WITH SCORE 1189.531
AT ITER 4259 NEW BEST:: SOT 4120 SOS 1530 HAS SOPS 1528 HAS SOUS 1189 HAS SOUPS 1187 WITH SCORE 1188.53
AT ITER 4263 NEW BEST:: SOT 4119 SOS 1528 HAS SOPS 1526 HAS SOUS 1187 HAS SOUPS 1185 WITH SCORE 1186.528
AT ITER 4431 NEW BEST:: SOT 4119 SOS 1526 HAS SOPS 1524 HAS SOUS 1185 HAS SOUPS 1183 WITH SCORE 1184.526
AT ITER 4474 NEW BEST:: SOT 4115 SOS 1524 HAS SOPS 1522 HAS SOUS 1183 HAS SOUPS 1181 WITH SCORE 1182.524
AT ITER 4502 NEW BEST:: SOT 4111 SOS 1518 HAS SOPS 1516 HAS SOUS 1179 HAS SOUPS 1177 WITH SCORE 1178.518
AT ITER 4693 NEW BEST:: SOT 4109 SOS 1506 HAS SOPS 1504 HAS SOUS 1175 HAS SOUPS 1173 WITH SCORE 1174.506
AT ITER 4704 NEW BEST:: SOT 4107 SOS 1502 HAS SOPS 1500 HAS SOUS 1171 HAS SOUPS 1169 WITH SCORE 1170.502
AT ITER 4817 NEW BEST:: SOT 4113 SOS 1500 HAS SOPS 1498 HAS SOUS 1170 HAS SOUPS 1168 WITH SCORE 1169.5
AT ITER 4891 NEW BEST:: SOT 4105 SOS 1492 HAS SOPS 1490 HAS SOUS 1168 HAS SOUPS 1166 WITH SCORE 1167.492
AT ITER 4921 NEW BEST:: SOT 4107 SOS 1491 HAS SOPS 1489 HAS SOUS 1167 HAS SOUPS 1165 WITH SCORE 1166.491
AT ITER 4993 NEW BEST:: SOT 4107 SOS 1489 HAS SOPS 1487 HAS SOUS 1165 HAS SOUPS 1163 WITH SCORE 1164.489
AT ITER 5086 NEW BEST:: SOT 4107 SOS 1487 HAS SOPS 1485 HAS SOUS 1165 HAS SOUPS 1163 WITH SCORE 1164.487
AT ITER 5224 NEW BEST:: SOT 4107 SOS 1486 HAS SOPS 1484 HAS SOUS 1164 HAS SOUPS 1162 WITH SCORE 1163.486
AT ITER 5236 NEW BEST:: SOT 4108 SOS 1483 HAS SOPS 1481 HAS SOUS 1161 HAS SOUPS 1159 WITH SCORE 1160.483
AT ITER 5378 NEW BEST:: SOT 4138 SOS 1522 HAS SOPS 1520 HAS SOUS 1147 HAS SOUPS 1145 WITH SCORE 1146.522
AT ITER 5468 NEW BEST:: SOT 4136 SOS 1521 HAS SOPS 1519 HAS SOUS 1147 HAS SOUPS 1145 WITH SCORE 1146.521
AT ITER 5551 NEW BEST:: SOT 4134 SOS 1519 HAS SOPS 1517 HAS SOUS 1145 HAS SOUPS 1143 WITH SCORE 1144.519
AT ITER 5806 NEW BEST:: SOT 4134 SOS 1517 HAS SOPS 1515 HAS SOUS 1145 HAS SOUPS 1143 WITH SCORE 1144.517
AT ITER 5857 NEW BEST:: SOT 4142 SOS 1507 HAS SOPS 1505 HAS SOUS 1141 HAS SOUPS 1139 WITH SCORE 1140.507
AT ITER 5865 NEW BEST:: SOT 4141 SOS 1506 HAS SOPS 1504 HAS SOUS 1140 HAS SOUPS 1138 WITH SCORE 1139.506
AT ITER 5967 NEW BEST:: SOT 4137 SOS 1481 HAS SOPS 1479 HAS SOUS 1129 HAS SOUPS 1127 WITH SCORE 1128.481
AT ITER 6217 NEW BEST:: SOT 4133 SOS 1484 HAS SOPS 1482 HAS SOUS 1128 HAS SOUPS 1126 WITH SCORE 1127.484
AT ITER 6225 NEW BEST:: SOT 4125 SOS 1478 HAS SOPS 1476 HAS SOUS 1126 HAS SOUPS 1124 WITH SCORE 1125.478
AT ITER 6235 NEW BEST:: SOT 4125 SOS 1477 HAS SOPS 1475 HAS SOUS 1125 HAS SOUPS 1123 WITH SCORE 1124.477
AT ITER 6300 NEW BEST:: SOT 4124 SOS 1475 HAS SOPS 1473 HAS SOUS 1123 HAS SOUPS 1121 WITH SCORE 1122.475
AT ITER 6398 NEW BEST:: SOT 4124 SOS 1449 HAS SOPS 1447 HAS SOUS 1118 HAS SOUPS 1116 WITH SCORE 1117.449
AT ITER 6518 NEW BEST:: SOT 4123 SOS 1448 HAS SOPS 1446 HAS SOUS 1117 HAS SOUPS 1115 WITH SCORE 1116.448
AT ITER 6522 NEW BEST:: SOT 4127 SOS 1444 HAS SOPS 1442 HAS SOUS 1113 HAS SOUPS 1111 WITH SCORE 1112.444
AT ITER 6540 NEW BEST:: SOT 4129 SOS 1443 HAS SOPS 1441 HAS SOUS 1112 HAS SOUPS 1110 WITH SCORE 1111.443
AT ITER 6552 NEW BEST:: SOT 4127 SOS 1442 HAS SOPS 1440 HAS SOUS 1111 HAS SOUPS 1109 WITH SCORE 1110.442
AT ITER 6606 NEW BEST:: SOT 4126 SOS 1439 HAS SOPS 1437 HAS SOUS 1108 HAS SOUPS 1106 WITH SCORE 1107.439
AT ITER 6632 NEW BEST:: SOT 4114 SOS 1425 HAS SOPS 1423 HAS SOUS 1106 HAS SOUPS 1104 WITH SCORE 1105.425
AT ITER 6765 NEW BEST:: SOT 4114 SOS 1424 HAS SOPS 1422 HAS SOUS 1106 HAS SOUPS 1104 WITH SCORE 1105.424
AT ITER 6778 NEW BEST:: SOT 4112 SOS 1423 HAS SOPS 1421 HAS SOUS 1105 HAS SOUPS 1103 WITH SCORE 1104.423
AT ITER 6798 NEW BEST:: SOT 4109 SOS 1422 HAS SOPS 1420 HAS SOUS 1104 HAS SOUPS 1102 WITH SCORE 1103.422
AT ITER 7148 NEW BEST:: SOT 4109 SOS 1421 HAS SOPS 1419 HAS SOUS 1103 HAS SOUPS 1101 WITH SCORE 1102.421
AT ITER 7150 NEW BEST:: SOT 4112 SOS 1419 HAS SOPS 1417 HAS SOUS 1101 HAS SOUPS 1099 WITH SCORE 1100.419
AT ITER 7156 NEW BEST:: SOT 4112 SOS 1418 HAS SOPS 1416 HAS SOUS 1100 HAS SOUPS 1098 WITH SCORE 1099.418
AT ITER 7179 NEW BEST:: SOT 4096 SOS 1406 HAS SOPS 1404 HAS SOUS 1096 HAS SOUPS 1094 WITH SCORE 1095.406
AT ITER 7218 NEW BEST:: SOT 4096 SOS 1405 HAS SOPS 1403 HAS SOUS 1095 HAS SOUPS 1093 WITH SCORE 1094.405
AT ITER 7225 NEW BEST:: SOT 4094 SOS 1401 HAS SOPS 1399 HAS SOUS 1091 HAS SOUPS 1089 WITH SCORE 1090.401
AT ITER 7304 NEW BEST:: SOT 4093 SOS 1399 HAS SOPS 1397 HAS SOUS 1089 HAS SOUPS 1087 WITH SCORE 1088.399
AT ITER 7327 NEW BEST:: SOT 4089 SOS 1389 HAS SOPS 1387 HAS SOUS 1083 HAS SOUPS 1081 WITH SCORE 1082.389
AT ITER 7385 NEW BEST:: SOT 4089 SOS 1388 HAS SOPS 1386 HAS SOUS 1082 HAS SOUPS 1080 WITH SCORE 1081.388
AT ITER 7483 NEW BEST:: SOT 4090 SOS 1384 HAS SOPS 1382 HAS SOUS 1078 HAS SOUPS 1076 WITH SCORE 1077.384
AT ITER 7487 NEW BEST:: SOT 4088 SOS 1383 HAS SOPS 1381 HAS SOUS 1077 HAS SOUPS 1075 WITH SCORE 1076.383
AT ITER 7647 NEW BEST:: SOT 4084 SOS 1383 HAS SOPS 1381 HAS SOUS 1073 HAS SOUPS 1071 WITH SCORE 1072.383
AT ITER 7670 NEW BEST:: SOT 4082 SOS 1375 HAS SOPS 1373 HAS SOUS 1071 HAS SOUPS 1069 WITH SCORE 1070.375
AT ITER 7794 NEW BEST:: SOT 4081 SOS 1371 HAS SOPS 1369 HAS SOUS 1069 HAS SOUPS 1067 WITH SCORE 1068.371
AT ITER 7819 NEW BEST:: SOT 4077 SOS 1367 HAS SOPS 1365 HAS SOUS 1065 HAS SOUPS 1063 WITH SCORE 1064.367
AT ITER 7907 NEW BEST:: SOT 4076 SOS 1366 HAS SOPS 1364 HAS SOUS 1065 HAS SOUPS 1063 WITH SCORE 1064.366
AT ITER 8021 NEW BEST:: SOT 4076 SOS 1364 HAS SOPS 1362 HAS SOUS 1063 HAS SOUPS 1061 WITH SCORE 1062.364
AT ITER 8080 NEW BEST:: SOT 4075 SOS 1357 HAS SOPS 1355 HAS SOUS 1062 HAS SOUPS 1060 WITH SCORE 1061.357
AT ITER 8112 NEW BEST:: SOT 4071 SOS 1356 HAS SOPS 1354 HAS SOUS 1062 HAS SOUPS 1060 WITH SCORE 1061.356
AT ITER 8123 NEW BEST:: SOT 4071 SOS 1355 HAS SOPS 1353 HAS SOUS 1061 HAS SOUPS 1059 WITH SCORE 1060.355
AT ITER 8285 NEW BEST:: SOT 4070 SOS 1353 HAS SOPS 1351 HAS SOUS 1059 HAS SOUPS 1057 WITH SCORE 1058.353
AT ITER 8378 NEW BEST:: SOT 4070 SOS 1352 HAS SOPS 1350 HAS SOUS 1058 HAS SOUPS 1056 WITH SCORE 1057.352
AT ITER 8469 NEW BEST:: SOT 4065 SOS 1341 HAS SOPS 1339 HAS SOUS 1050 HAS SOUPS 1048 WITH SCORE 1049.341
AT ITER 8503 NEW BEST:: SOT 4061 SOS 1338 HAS SOPS 1336 HAS SOUS 1050 HAS SOUPS 1048 WITH SCORE 1049.338
AT ITER 8509 NEW BEST:: SOT 4060 SOS 1337 HAS SOPS 1335 HAS SOUS 1049 HAS SOUPS 1047 WITH SCORE 1048.337
AT ITER 8966 NEW BEST:: SOT 4060 SOS 1336 HAS SOPS 1334 HAS SOUS 1048 HAS SOUPS 1046 WITH SCORE 1047.336
AT ITER 9144 NEW BEST:: SOT 4056 SOS 1331 HAS SOPS 1329 HAS SOUS 1043 HAS SOUPS 1041 WITH SCORE 1042.331
AT ITER 9574 NEW BEST:: SOT 4043 SOS 1322 HAS SOPS 1320 HAS SOUS 1034 HAS SOUPS 1032 WITH SCORE 1033.322
AT ITER 9681 NEW BEST:: SOT 4042 SOS 1320 HAS SOPS 1318 HAS SOUS 1032 HAS SOUPS 1030 WITH SCORE 1031.32
AT ITER 9962 NEW BEST:: SOT 4008 SOS 1311 HAS SOPS 1309 HAS SOUS 1032 HAS SOUPS 1030 WITH SCORE 1031.311
STATE_SPACE STATES 24196956529 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 47 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 293095503793 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678240857126

--------------------
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-00a"
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-00a, 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-167814472300352"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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