Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r048-ebro-158902541900216.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.......................
=====================================================================
Generated by BenchKit 2-4028
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 r048-ebro-158902541900216
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 188K
-rw-r--r-- 1 mcc users 3.2K Mar 30 01:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 30 01:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Mar 28 16:16 CTLFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 28 16:16 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.1K Apr 8 14:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Apr 8 14:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 2.6K Mar 27 08:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 12K Mar 27 08:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 26 08:15 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 26 08:15 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 33K Mar 24 05:37 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 1589102966278

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DES (PT), instance 02a
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/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 9 NEW BEST:: SOT 7159 SOS 5550 HAS SOPS 5550 HAS SOUS 4121 HAS SOUPS 4121 WITH SCORE 4126.55
AT ITER 13 NEW BEST:: SOT 7123 SOS 5506 HAS SOPS 5506 HAS SOUS 4078 HAS SOUPS 4078 WITH SCORE 4083.506
AT ITER 14 NEW BEST:: SOT 7075 SOS 5458 HAS SOPS 5458 HAS SOUS 4030 HAS SOUPS 4030 WITH SCORE 4035.458
AT ITER 20 NEW BEST:: SOT 7044 SOS 5427 HAS SOPS 5427 HAS SOUS 4002 HAS SOUPS 4002 WITH SCORE 4007.427
AT ITER 22 NEW BEST:: SOT 6998 SOS 5347 HAS SOPS 5347 HAS SOUS 3922 HAS SOUPS 3922 WITH SCORE 3927.347
AT ITER 25 NEW BEST:: SOT 7008 SOS 5357 HAS SOPS 5357 HAS SOUS 3912 HAS SOUPS 3912 WITH SCORE 3917.357
AT ITER 29 NEW BEST:: SOT 6974 SOS 5276 HAS SOPS 5276 HAS SOUS 3831 HAS SOUPS 3831 WITH SCORE 3836.276
AT ITER 52 NEW BEST:: SOT 6971 SOS 5218 HAS SOPS 5218 HAS SOUS 3793 HAS SOUPS 3793 WITH SCORE 3798.218
AT ITER 60 NEW BEST:: SOT 6915 SOS 5168 HAS SOPS 5168 HAS SOUS 3765 HAS SOUPS 3765 WITH SCORE 3770.168
AT ITER 66 NEW BEST:: SOT 6887 SOS 5139 HAS SOPS 5139 HAS SOUS 3736 HAS SOUPS 3736 WITH SCORE 3741.139
AT ITER 67 NEW BEST:: SOT 6849 SOS 5101 HAS SOPS 5101 HAS SOUS 3728 HAS SOUPS 3728 WITH SCORE 3733.101
AT ITER 68 NEW BEST:: SOT 6848 SOS 5100 HAS SOPS 5100 HAS SOUS 3727 HAS SOUPS 3727 WITH SCORE 3732.1
AT ITER 70 NEW BEST:: SOT 6843 SOS 5095 HAS SOPS 5095 HAS SOUS 3722 HAS SOUPS 3722 WITH SCORE 3727.095
AT ITER 73 NEW BEST:: SOT 6861 SOS 5113 HAS SOPS 5113 HAS SOUS 3693 HAS SOUPS 3693 WITH SCORE 3698.113
AT ITER 74 NEW BEST:: SOT 6851 SOS 5093 HAS SOPS 5093 HAS SOUS 3671 HAS SOUPS 3671 WITH SCORE 3676.093
AT ITER 77 NEW BEST:: SOT 6850 SOS 5091 HAS SOPS 5091 HAS SOUS 3669 HAS SOUPS 3669 WITH SCORE 3674.091
AT ITER 88 NEW BEST:: SOT 6817 SOS 5058 HAS SOPS 5058 HAS SOUS 3636 HAS SOUPS 3636 WITH SCORE 3641.058
AT ITER 98 NEW BEST:: SOT 6809 SOS 5025 HAS SOPS 5025 HAS SOUS 3603 HAS SOUPS 3603 WITH SCORE 3608.025
AT ITER 102 NEW BEST:: SOT 6809 SOS 5023 HAS SOPS 5023 HAS SOUS 3601 HAS SOUPS 3601 WITH SCORE 3606.023
AT ITER 130 NEW BEST:: SOT 6825 SOS 4959 HAS SOPS 4959 HAS SOUS 3577 HAS SOUPS 3577 WITH SCORE 3581.959
AT ITER 132 NEW BEST:: SOT 6825 SOS 4948 HAS SOPS 4948 HAS SOUS 3566 HAS SOUPS 3566 WITH SCORE 3570.948
AT ITER 135 NEW BEST:: SOT 6810 SOS 4933 HAS SOPS 4933 HAS SOUS 3561 HAS SOUPS 3561 WITH SCORE 3565.933
AT ITER 138 NEW BEST:: SOT 6810 SOS 4929 HAS SOPS 4929 HAS SOUS 3558 HAS SOUPS 3558 WITH SCORE 3562.929
AT ITER 139 NEW BEST:: SOT 6756 SOS 4897 HAS SOPS 4897 HAS SOUS 3526 HAS SOUPS 3526 WITH SCORE 3530.897
AT ITER 140 NEW BEST:: SOT 6760 SOS 4889 HAS SOPS 4889 HAS SOUS 3522 HAS SOUPS 3522 WITH SCORE 3526.889
AT ITER 143 NEW BEST:: SOT 6729 SOS 4869 HAS SOPS 4869 HAS SOUS 3502 HAS SOUPS 3502 WITH SCORE 3506.869
AT ITER 149 NEW BEST:: SOT 6729 SOS 4868 HAS SOPS 4868 HAS SOUS 3501 HAS SOUPS 3501 WITH SCORE 3505.868
AT ITER 151 NEW BEST:: SOT 6623 SOS 4762 HAS SOPS 4762 HAS SOUS 3475 HAS SOUPS 3475 WITH SCORE 3479.762
AT ITER 155 NEW BEST:: SOT 6617 SOS 4755 HAS SOPS 4755 HAS SOUS 3468 HAS SOUPS 3468 WITH SCORE 3472.755
AT ITER 167 NEW BEST:: SOT 6601 SOS 4711 HAS SOPS 4711 HAS SOUS 3424 HAS SOUPS 3424 WITH SCORE 3428.711
AT ITER 178 NEW BEST:: SOT 6535 SOS 4643 HAS SOPS 4643 HAS SOUS 3366 HAS SOUPS 3366 WITH SCORE 3370.643
AT ITER 187 NEW BEST:: SOT 6535 SOS 4646 HAS SOPS 4646 HAS SOUS 3361 HAS SOUPS 3361 WITH SCORE 3365.646
AT ITER 188 NEW BEST:: SOT 6529 SOS 4640 HAS SOPS 4640 HAS SOUS 3355 HAS SOUPS 3355 WITH SCORE 3359.64
AT ITER 201 NEW BEST:: SOT 6524 SOS 4628 HAS SOPS 4628 HAS SOUS 3343 HAS SOUPS 3343 WITH SCORE 3347.628
AT ITER 206 NEW BEST:: SOT 6521 SOS 4622 HAS SOPS 4622 HAS SOUS 3337 HAS SOUPS 3337 WITH SCORE 3341.622
AT ITER 207 NEW BEST:: SOT 6520 SOS 4612 HAS SOPS 4612 HAS SOUS 3327 HAS SOUPS 3327 WITH SCORE 3331.612
AT ITER 208 NEW BEST:: SOT 6515 SOS 4607 HAS SOPS 4607 HAS SOUS 3322 HAS SOUPS 3322 WITH SCORE 3326.607
AT ITER 212 NEW BEST:: SOT 6455 SOS 4578 HAS SOPS 4578 HAS SOUS 3319 HAS SOUPS 3319 WITH SCORE 3323.578
AT ITER 224 NEW BEST:: SOT 6454 SOS 4577 HAS SOPS 4577 HAS SOUS 3315 HAS SOUPS 3315 WITH SCORE 3319.577
AT ITER 229 NEW BEST:: SOT 6454 SOS 4575 HAS SOPS 4575 HAS SOUS 3313 HAS SOUPS 3313 WITH SCORE 3317.575
AT ITER 230 NEW BEST:: SOT 6454 SOS 4574 HAS SOPS 4574 HAS SOUS 3312 HAS SOUPS 3312 WITH SCORE 3316.574
AT ITER 233 NEW BEST:: SOT 6454 SOS 4571 HAS SOPS 4571 HAS SOUS 3309 HAS SOUPS 3309 WITH SCORE 3313.571
AT ITER 235 NEW BEST:: SOT 6454 SOS 4570 HAS SOPS 4570 HAS SOUS 3308 HAS SOUPS 3308 WITH SCORE 3312.57
AT ITER 237 NEW BEST:: SOT 6454 SOS 4554 HAS SOPS 4554 HAS SOUS 3308 HAS SOUPS 3308 WITH SCORE 3312.554
AT ITER 244 NEW BEST:: SOT 6432 SOS 4532 HAS SOPS 4532 HAS SOUS 3286 HAS SOUPS 3286 WITH SCORE 3290.532
AT ITER 270 NEW BEST:: SOT 6432 SOS 4531 HAS SOPS 4531 HAS SOUS 3285 HAS SOUPS 3285 WITH SCORE 3289.531
AT ITER 273 NEW BEST:: SOT 6477 SOS 4466 HAS SOPS 4466 HAS SOUS 3267 HAS SOUPS 3267 WITH SCORE 3271.466
AT ITER 275 NEW BEST:: SOT 6460 SOS 4449 HAS SOPS 4449 HAS SOUS 3236 HAS SOUPS 3236 WITH SCORE 3240.449
AT ITER 289 NEW BEST:: SOT 6460 SOS 4448 HAS SOPS 4448 HAS SOUS 3236 HAS SOUPS 3236 WITH SCORE 3240.448
AT ITER 293 NEW BEST:: SOT 6452 SOS 4444 HAS SOPS 4444 HAS SOUS 3230 HAS SOUPS 3230 WITH SCORE 3234.444
AT ITER 297 NEW BEST:: SOT 6451 SOS 4410 HAS SOPS 4410 HAS SOUS 3217 HAS SOUPS 3217 WITH SCORE 3221.41
AT ITER 308 NEW BEST:: SOT 6447 SOS 4406 HAS SOPS 4406 HAS SOUS 3213 HAS SOUPS 3213 WITH SCORE 3217.406
AT ITER 310 NEW BEST:: SOT 6435 SOS 4394 HAS SOPS 4394 HAS SOUS 3201 HAS SOUPS 3201 WITH SCORE 3205.394
AT ITER 311 NEW BEST:: SOT 6404 SOS 4363 HAS SOPS 4363 HAS SOUS 3170 HAS SOUPS 3170 WITH SCORE 3174.363
AT ITER 312 NEW BEST:: SOT 6404 SOS 4352 HAS SOPS 4352 HAS SOUS 3170 HAS SOUPS 3170 WITH SCORE 3174.352
AT ITER 319 NEW BEST:: SOT 6449 SOS 4374 HAS SOPS 4374 HAS SOUS 3156 HAS SOUPS 3156 WITH SCORE 3160.374
AT ITER 322 NEW BEST:: SOT 6449 SOS 4368 HAS SOPS 4368 HAS SOUS 3150 HAS SOUPS 3150 WITH SCORE 3154.368
AT ITER 324 NEW BEST:: SOT 6449 SOS 4362 HAS SOPS 4362 HAS SOUS 3144 HAS SOUPS 3144 WITH SCORE 3148.362
AT ITER 329 NEW BEST:: SOT 6449 SOS 4355 HAS SOPS 4355 HAS SOUS 3137 HAS SOUPS 3137 WITH SCORE 3141.355
AT ITER 346 NEW BEST:: SOT 6444 SOS 4350 HAS SOPS 4350 HAS SOUS 3132 HAS SOUPS 3132 WITH SCORE 3136.35
AT ITER 348 NEW BEST:: SOT 6432 SOS 4349 HAS SOPS 4349 HAS SOUS 3098 HAS SOUPS 3098 WITH SCORE 3102.349
AT ITER 349 NEW BEST:: SOT 6421 SOS 4313 HAS SOPS 4313 HAS SOUS 3062 HAS SOUPS 3062 WITH SCORE 3066.313
AT ITER 357 NEW BEST:: SOT 6417 SOS 4292 HAS SOPS 4292 HAS SOUS 3041 HAS SOUPS 3041 WITH SCORE 3045.292
AT ITER 361 NEW BEST:: SOT 6409 SOS 4312 HAS SOPS 4312 HAS SOUS 3025 HAS SOUPS 3025 WITH SCORE 3029.312
AT ITER 378 NEW BEST:: SOT 6408 SOS 4311 HAS SOPS 4311 HAS SOUS 3024 HAS SOUPS 3024 WITH SCORE 3028.311
AT ITER 390 NEW BEST:: SOT 6424 SOS 4212 HAS SOPS 4212 HAS SOUS 3023 HAS SOUPS 3023 WITH SCORE 3027.212
AT ITER 395 NEW BEST:: SOT 6423 SOS 4211 HAS SOPS 4211 HAS SOUS 3020 HAS SOUPS 3020 WITH SCORE 3024.211
AT ITER 401 NEW BEST:: SOT 6396 SOS 4196 HAS SOPS 4196 HAS SOUS 2997 HAS SOUPS 2997 WITH SCORE 3001.196
AT ITER 402 NEW BEST:: SOT 6390 SOS 4190 HAS SOPS 4190 HAS SOUS 2997 HAS SOUPS 2997 WITH SCORE 3001.19
AT ITER 405 NEW BEST:: SOT 6390 SOS 4179 HAS SOPS 4179 HAS SOUS 2996 HAS SOUPS 2996 WITH SCORE 3000.179
AT ITER 414 NEW BEST:: SOT 6384 SOS 4176 HAS SOPS 4176 HAS SOUS 2976 HAS SOUPS 2976 WITH SCORE 2980.176
AT ITER 437 NEW BEST:: SOT 6416 SOS 4208 HAS SOPS 4208 HAS SOUS 2973 HAS SOUPS 2973 WITH SCORE 2977.208
AT ITER 452 NEW BEST:: SOT 6415 SOS 4207 HAS SOPS 4207 HAS SOUS 2972 HAS SOUPS 2972 WITH SCORE 2976.207
AT ITER 455 NEW BEST:: SOT 6420 SOS 4251 HAS SOPS 4251 HAS SOUS 2931 HAS SOUPS 2931 WITH SCORE 2935.251
AT ITER 472 NEW BEST:: SOT 6408 SOS 4239 HAS SOPS 4239 HAS SOUS 2923 HAS SOUPS 2923 WITH SCORE 2927.239
AT ITER 473 NEW BEST:: SOT 6407 SOS 4237 HAS SOPS 4237 HAS SOUS 2921 HAS SOUPS 2921 WITH SCORE 2925.237
AT ITER 476 NEW BEST:: SOT 6407 SOS 4228 HAS SOPS 4228 HAS SOUS 2912 HAS SOUPS 2912 WITH SCORE 2916.228
AT ITER 490 NEW BEST:: SOT 6407 SOS 4193 HAS SOPS 4193 HAS SOUS 2905 HAS SOUPS 2905 WITH SCORE 2909.193
AT ITER 493 NEW BEST:: SOT 6406 SOS 3742 HAS SOPS 3742 HAS SOUS 2901 HAS SOUPS 2901 WITH SCORE 2904.742
AT ITER 511 NEW BEST:: SOT 6407 SOS 3734 HAS SOPS 3734 HAS SOUS 2893 HAS SOUPS 2893 WITH SCORE 2896.734
AT ITER 513 NEW BEST:: SOT 6407 SOS 3726 HAS SOPS 3726 HAS SOUS 2885 HAS SOUPS 2885 WITH SCORE 2888.726
AT ITER 514 NEW BEST:: SOT 6389 SOS 3706 HAS SOPS 3706 HAS SOUS 2865 HAS SOUPS 2865 WITH SCORE 2868.706
AT ITER 519 NEW BEST:: SOT 6389 SOS 3667 HAS SOPS 3667 HAS SOUS 2826 HAS SOUPS 2826 WITH SCORE 2829.667
AT ITER 525 NEW BEST:: SOT 6389 SOS 3657 HAS SOPS 3657 HAS SOUS 2816 HAS SOUPS 2816 WITH SCORE 2819.657
AT ITER 541 NEW BEST:: SOT 6389 SOS 3647 HAS SOPS 3647 HAS SOUS 2806 HAS SOUPS 2806 WITH SCORE 2809.647
AT ITER 570 NEW BEST:: SOT 6412 SOS 3625 HAS SOPS 3625 HAS SOUS 2799 HAS SOUPS 2799 WITH SCORE 2802.625
AT ITER 578 NEW BEST:: SOT 6412 SOS 3623 HAS SOPS 3623 HAS SOUS 2797 HAS SOUPS 2797 WITH SCORE 2800.623
AT ITER 580 NEW BEST:: SOT 6483 SOS 3694 HAS SOPS 3694 HAS SOUS 2788 HAS SOUPS 2788 WITH SCORE 2791.694
AT ITER 582 NEW BEST:: SOT 6438 SOS 3648 HAS SOPS 3648 HAS SOUS 2742 HAS SOUPS 2742 WITH SCORE 2745.648
AT ITER 589 NEW BEST:: SOT 6438 SOS 3577 HAS SOPS 3577 HAS SOUS 2679 HAS SOUPS 2679 WITH SCORE 2682.577
AT ITER 600 NEW BEST:: SOT 6438 SOS 3560 HAS SOPS 3560 HAS SOUS 2662 HAS SOUPS 2662 WITH SCORE 2665.56
AT ITER 607 NEW BEST:: SOT 6438 SOS 3537 HAS SOPS 3537 HAS SOUS 2639 HAS SOUPS 2639 WITH SCORE 2642.537
AT ITER 658 NEW BEST:: SOT 6351 SOS 3450 HAS SOPS 3450 HAS SOUS 2588 HAS SOUPS 2588 WITH SCORE 2591.45
AT ITER 664 NEW BEST:: SOT 6315 SOS 3414 HAS SOPS 3414 HAS SOUS 2580 HAS SOUPS 2580 WITH SCORE 2583.414
AT ITER 674 NEW BEST:: SOT 6315 SOS 3394 HAS SOPS 3394 HAS SOUS 2577 HAS SOUPS 2577 WITH SCORE 2580.394
AT ITER 679 NEW BEST:: SOT 6270 SOS 3349 HAS SOPS 3349 HAS SOUS 2576 HAS SOUPS 2576 WITH SCORE 2579.349
AT ITER 698 NEW BEST:: SOT 6260 SOS 3303 HAS SOPS 3303 HAS SOUS 2556 HAS SOUPS 2556 WITH SCORE 2559.303
AT ITER 699 NEW BEST:: SOT 6255 SOS 3292 HAS SOPS 3292 HAS SOUS 2549 HAS SOUPS 2549 WITH SCORE 2552.292
AT ITER 701 NEW BEST:: SOT 6255 SOS 3280 HAS SOPS 3280 HAS SOUS 2537 HAS SOUPS 2537 WITH SCORE 2540.28
AT ITER 704 NEW BEST:: SOT 6254 SOS 3279 HAS SOPS 3279 HAS SOUS 2536 HAS SOUPS 2536 WITH SCORE 2539.279
AT ITER 717 NEW BEST:: SOT 6233 SOS 3258 HAS SOPS 3258 HAS SOUS 2518 HAS SOUPS 2518 WITH SCORE 2521.258
AT ITER 731 NEW BEST:: SOT 6233 SOS 3263 HAS SOPS 3263 HAS SOUS 2513 HAS SOUPS 2513 WITH SCORE 2516.263
AT ITER 767 NEW BEST:: SOT 6233 SOS 3261 HAS SOPS 3261 HAS SOUS 2512 HAS SOUPS 2512 WITH SCORE 2515.261
AT ITER 784 NEW BEST:: SOT 6218 SOS 3231 HAS SOPS 3231 HAS SOUS 2484 HAS SOUPS 2484 WITH SCORE 2487.231
AT ITER 788 NEW BEST:: SOT 6173 SOS 3158 HAS SOPS 3158 HAS SOUS 2411 HAS SOUPS 2411 WITH SCORE 2414.158
AT ITER 818 NEW BEST:: SOT 6186 SOS 3167 HAS SOPS 3167 HAS SOUS 2405 HAS SOUPS 2405 WITH SCORE 2408.167
AT ITER 824 NEW BEST:: SOT 6185 SOS 3166 HAS SOPS 3166 HAS SOUS 2404 HAS SOUPS 2404 WITH SCORE 2407.166
AT ITER 831 NEW BEST:: SOT 6185 SOS 3162 HAS SOPS 3162 HAS SOUS 2400 HAS SOUPS 2400 WITH SCORE 2403.162
AT ITER 835 NEW BEST:: SOT 6185 SOS 3162 HAS SOPS 3162 HAS SOUS 2395 HAS SOUPS 2395 WITH SCORE 2398.162
AT ITER 850 NEW BEST:: SOT 6184 SOS 3161 HAS SOPS 3161 HAS SOUS 2394 HAS SOUPS 2394 WITH SCORE 2397.161
AT ITER 867 NEW BEST:: SOT 6167 SOS 3167 HAS SOPS 3167 HAS SOUS 2383 HAS SOUPS 2383 WITH SCORE 2386.167
AT ITER 877 NEW BEST:: SOT 6167 SOS 3159 HAS SOPS 3159 HAS SOUS 2375 HAS SOUPS 2375 WITH SCORE 2378.159
AT ITER 883 NEW BEST:: SOT 6166 SOS 3158 HAS SOPS 3158 HAS SOUS 2374 HAS SOUPS 2374 WITH SCORE 2377.158
AT ITER 902 NEW BEST:: SOT 6166 SOS 3145 HAS SOPS 3145 HAS SOUS 2361 HAS SOUPS 2361 WITH SCORE 2364.145
AT ITER 905 NEW BEST:: SOT 6097 SOS 3091 HAS SOPS 3091 HAS SOUS 2339 HAS SOUPS 2339 WITH SCORE 2342.091
AT ITER 908 NEW BEST:: SOT 6091 SOS 3085 HAS SOPS 3085 HAS SOUS 2333 HAS SOUPS 2333 WITH SCORE 2336.085
AT ITER 945 NEW BEST:: SOT 6089 SOS 3081 HAS SOPS 3081 HAS SOUS 2330 HAS SOUPS 2330 WITH SCORE 2333.081
AT ITER 950 NEW BEST:: SOT 6088 SOS 3080 HAS SOPS 3080 HAS SOUS 2329 HAS SOUPS 2329 WITH SCORE 2332.08
AT ITER 956 NEW BEST:: SOT 6074 SOS 3010 HAS SOPS 3010 HAS SOUS 2326 HAS SOUPS 2326 WITH SCORE 2329.01
AT ITER 957 NEW BEST:: SOT 6052 SOS 2987 HAS SOPS 2987 HAS SOUS 2311 HAS SOUPS 2311 WITH SCORE 2313.987
AT ITER 962 NEW BEST:: SOT 6061 SOS 2957 HAS SOPS 2957 HAS SOUS 2281 HAS SOUPS 2281 WITH SCORE 2283.957
AT ITER 963 NEW BEST:: SOT 6060 SOS 2956 HAS SOPS 2956 HAS SOUS 2280 HAS SOUPS 2280 WITH SCORE 2282.956
AT ITER 969 NEW BEST:: SOT 6044 SOS 2950 HAS SOPS 2950 HAS SOUS 2274 HAS SOUPS 2274 WITH SCORE 2276.95
AT ITER 971 NEW BEST:: SOT 6043 SOS 2949 HAS SOPS 2949 HAS SOUS 2273 HAS SOUPS 2273 WITH SCORE 2275.949
AT ITER 972 NEW BEST:: SOT 6041 SOS 2947 HAS SOPS 2947 HAS SOUS 2271 HAS SOUPS 2271 WITH SCORE 2273.947
AT ITER 991 NEW BEST:: SOT 6041 SOS 2936 HAS SOPS 2936 HAS SOUS 2260 HAS SOUPS 2260 WITH SCORE 2262.936
AT ITER 999 NEW BEST:: SOT 6038 SOS 2933 HAS SOPS 2933 HAS SOUS 2257 HAS SOUPS 2257 WITH SCORE 2259.933
AT ITER 1007 NEW BEST:: SOT 6024 SOS 2907 HAS SOPS 2907 HAS SOUS 2231 HAS SOUPS 2231 WITH SCORE 2233.907
AT ITER 1010 NEW BEST:: SOT 6015 SOS 2902 HAS SOPS 2902 HAS SOUS 2226 HAS SOUPS 2226 WITH SCORE 2228.902
AT ITER 1013 NEW BEST:: SOT 5986 SOS 2856 HAS SOPS 2856 HAS SOUS 2180 HAS SOUPS 2180 WITH SCORE 2182.856
AT ITER 1027 NEW BEST:: SOT 5987 SOS 2851 HAS SOPS 2851 HAS SOUS 2175 HAS SOUPS 2175 WITH SCORE 2177.851
AT ITER 1047 NEW BEST:: SOT 5983 SOS 2847 HAS SOPS 2847 HAS SOUS 2171 HAS SOUPS 2171 WITH SCORE 2173.847
AT ITER 1048 NEW BEST:: SOT 5983 SOS 2840 HAS SOPS 2840 HAS SOUS 2170 HAS SOUPS 2170 WITH SCORE 2172.84
AT ITER 1063 NEW BEST:: SOT 5972 SOS 2831 HAS SOPS 2831 HAS SOUS 2161 HAS SOUPS 2161 WITH SCORE 2163.831
AT ITER 1070 NEW BEST:: SOT 5972 SOS 2824 HAS SOPS 2824 HAS SOUS 2154 HAS SOUPS 2154 WITH SCORE 2156.824
AT ITER 1073 NEW BEST:: SOT 5922 SOS 2813 HAS SOPS 2813 HAS SOUS 2117 HAS SOUPS 2117 WITH SCORE 2119.813
AT ITER 1093 NEW BEST:: SOT 5922 SOS 2810 HAS SOPS 2810 HAS SOUS 2114 HAS SOUPS 2114 WITH SCORE 2116.81
AT ITER 1115 NEW BEST:: SOT 5922 SOS 2795 HAS SOPS 2795 HAS SOUS 2099 HAS SOUPS 2099 WITH SCORE 2101.795
AT ITER 1116 NEW BEST:: SOT 5897 SOS 2782 HAS SOPS 2782 HAS SOUS 2086 HAS SOUPS 2086 WITH SCORE 2088.782
AT ITER 1119 NEW BEST:: SOT 5892 SOS 2777 HAS SOPS 2777 HAS SOUS 2085 HAS SOUPS 2085 WITH SCORE 2087.777
AT ITER 1122 NEW BEST:: SOT 5874 SOS 2767 HAS SOPS 2767 HAS SOUS 2076 HAS SOUPS 2076 WITH SCORE 2078.767
AT ITER 1158 NEW BEST:: SOT 5874 SOS 2767 HAS SOPS 2767 HAS SOUS 2075 HAS SOUPS 2075 WITH SCORE 2077.767
AT ITER 1176 NEW BEST:: SOT 5868 SOS 2761 HAS SOPS 2761 HAS SOUS 2069 HAS SOUPS 2069 WITH SCORE 2071.761
AT ITER 1202 NEW BEST:: SOT 5858 SOS 2739 HAS SOPS 2739 HAS SOUS 2047 HAS SOUPS 2047 WITH SCORE 2049.739
AT ITER 1205 NEW BEST:: SOT 5858 SOS 2733 HAS SOPS 2733 HAS SOUS 2041 HAS SOUPS 2041 WITH SCORE 2043.733
AT ITER 1212 NEW BEST:: SOT 5845 SOS 2720 HAS SOPS 2720 HAS SOUS 2028 HAS SOUPS 2028 WITH SCORE 2030.72
AT ITER 1308 NEW BEST:: SOT 5857 SOS 2732 HAS SOPS 2732 HAS SOUS 2026 HAS SOUPS 2026 WITH SCORE 2028.732
AT ITER 1336 NEW BEST:: SOT 5857 SOS 2732 HAS SOPS 2732 HAS SOUS 2023 HAS SOUPS 2023 WITH SCORE 2025.732
AT ITER 1343 NEW BEST:: SOT 5857 SOS 2727 HAS SOPS 2727 HAS SOUS 2018 HAS SOUPS 2018 WITH SCORE 2020.727
AT ITER 1385 NEW BEST:: SOT 5855 SOS 2722 HAS SOPS 2722 HAS SOUS 2014 HAS SOUPS 2014 WITH SCORE 2016.722
AT ITER 1393 NEW BEST:: SOT 5822 SOS 2755 HAS SOPS 2755 HAS SOUS 2003 HAS SOUPS 2003 WITH SCORE 2005.755
AT ITER 1395 NEW BEST:: SOT 5809 SOS 2755 HAS SOPS 2755 HAS SOUS 2002 HAS SOUPS 2002 WITH SCORE 2004.755
AT ITER 1434 NEW BEST:: SOT 5809 SOS 2735 HAS SOPS 2735 HAS SOUS 1982 HAS SOUPS 1982 WITH SCORE 1984.735
AT ITER 1447 NEW BEST:: SOT 5805 SOS 2731 HAS SOPS 2731 HAS SOUS 1978 HAS SOUPS 1978 WITH SCORE 1980.731
AT ITER 1480 NEW BEST:: SOT 5790 SOS 2696 HAS SOPS 2696 HAS SOUS 1957 HAS SOUPS 1957 WITH SCORE 1959.696
AT ITER 1483 NEW BEST:: SOT 5785 SOS 2691 HAS SOPS 2691 HAS SOUS 1956 HAS SOUPS 1956 WITH SCORE 1958.691
AT ITER 1495 NEW BEST:: SOT 5780 SOS 2684 HAS SOPS 2684 HAS SOUS 1954 HAS SOUPS 1954 WITH SCORE 1956.684
AT ITER 1505 NEW BEST:: SOT 5778 SOS 2683 HAS SOPS 2683 HAS SOUS 1950 HAS SOUPS 1950 WITH SCORE 1952.683
AT ITER 1509 NEW BEST:: SOT 5774 SOS 2679 HAS SOPS 2679 HAS SOUS 1946 HAS SOUPS 1946 WITH SCORE 1948.679
AT ITER 1600 NEW BEST:: SOT 5772 SOS 2675 HAS SOPS 2675 HAS SOUS 1942 HAS SOUPS 1942 WITH SCORE 1944.675
AT ITER 1617 NEW BEST:: SOT 5738 SOS 2641 HAS SOPS 2641 HAS SOUS 1942 HAS SOUPS 1942 WITH SCORE 1944.641
AT ITER 1637 NEW BEST:: SOT 5738 SOS 2639 HAS SOPS 2639 HAS SOUS 1941 HAS SOUPS 1941 WITH SCORE 1943.639
AT ITER 1657 NEW BEST:: SOT 5738 SOS 2639 HAS SOPS 2639 HAS SOUS 1929 HAS SOUPS 1929 WITH SCORE 1931.639
AT ITER 1682 NEW BEST:: SOT 5737 SOS 2636 HAS SOPS 2636 HAS SOUS 1926 HAS SOUPS 1926 WITH SCORE 1928.636
AT ITER 1703 NEW BEST:: SOT 5755 SOS 2654 HAS SOPS 2654 HAS SOUS 1922 HAS SOUPS 1922 WITH SCORE 1924.654
AT ITER 1736 NEW BEST:: SOT 5754 SOS 2653 HAS SOPS 2653 HAS SOUS 1921 HAS SOUPS 1921 WITH SCORE 1923.653
AT ITER 1743 NEW BEST:: SOT 5755 SOS 2649 HAS SOPS 2649 HAS SOUS 1920 HAS SOUPS 1920 WITH SCORE 1922.649
AT ITER 1748 NEW BEST:: SOT 5747 SOS 2647 HAS SOPS 2647 HAS SOUS 1920 HAS SOUPS 1920 WITH SCORE 1922.647
AT ITER 1774 NEW BEST:: SOT 5745 SOS 2645 HAS SOPS 2645 HAS SOUS 1918 HAS SOUPS 1918 WITH SCORE 1920.645
AT ITER 1800 NEW BEST:: SOT 5729 SOS 2636 HAS SOPS 2636 HAS SOUS 1909 HAS SOUPS 1909 WITH SCORE 1911.636
AT ITER 1807 NEW BEST:: SOT 5721 SOS 2628 HAS SOPS 2628 HAS SOUS 1901 HAS SOUPS 1901 WITH SCORE 1903.628
AT ITER 1839 NEW BEST:: SOT 5706 SOS 2655 HAS SOPS 2655 HAS SOUS 1897 HAS SOUPS 1897 WITH SCORE 1899.655
AT ITER 1851 NEW BEST:: SOT 5706 SOS 2653 HAS SOPS 2653 HAS SOUS 1895 HAS SOUPS 1895 WITH SCORE 1897.653
AT ITER 1857 NEW BEST:: SOT 5703 SOS 2648 HAS SOPS 2648 HAS SOUS 1891 HAS SOUPS 1891 WITH SCORE 1893.648
AT ITER 1870 NEW BEST:: SOT 5703 SOS 2644 HAS SOPS 2644 HAS SOUS 1887 HAS SOUPS 1887 WITH SCORE 1889.644
AT ITER 1878 NEW BEST:: SOT 5701 SOS 2642 HAS SOPS 2642 HAS SOUS 1885 HAS SOUPS 1885 WITH SCORE 1887.642
AT ITER 1882 NEW BEST:: SOT 5695 SOS 2636 HAS SOPS 2636 HAS SOUS 1879 HAS SOUPS 1879 WITH SCORE 1881.636
AT ITER 1910 NEW BEST:: SOT 5695 SOS 2630 HAS SOPS 2630 HAS SOUS 1873 HAS SOUPS 1873 WITH SCORE 1875.63
AT ITER 1933 NEW BEST:: SOT 5716 SOS 2651 HAS SOPS 2651 HAS SOUS 1872 HAS SOUPS 1872 WITH SCORE 1874.651
AT ITER 1938 NEW BEST:: SOT 5714 SOS 2649 HAS SOPS 2649 HAS SOUS 1870 HAS SOUPS 1870 WITH SCORE 1872.649
AT ITER 2045 NEW BEST:: SOT 5714 SOS 2653 HAS SOPS 2653 HAS SOUS 1867 HAS SOUPS 1867 WITH SCORE 1869.653
AT ITER 2074 NEW BEST:: SOT 5714 SOS 2651 HAS SOPS 2651 HAS SOUS 1865 HAS SOUPS 1865 WITH SCORE 1867.651
AT ITER 2148 NEW BEST:: SOT 5705 SOS 2641 HAS SOPS 2641 HAS SOUS 1855 HAS SOUPS 1855 WITH SCORE 1857.641
AT ITER 2170 NEW BEST:: SOT 5703 SOS 2639 HAS SOPS 2639 HAS SOUS 1854 HAS SOUPS 1854 WITH SCORE 1856.639
AT ITER 2176 NEW BEST:: SOT 5696 SOS 2634 HAS SOPS 2634 HAS SOUS 1849 HAS SOUPS 1849 WITH SCORE 1851.634
AT ITER 2209 NEW BEST:: SOT 5705 SOS 2643 HAS SOPS 2643 HAS SOUS 1843 HAS SOUPS 1843 WITH SCORE 1845.643
AT ITER 2211 NEW BEST:: SOT 5654 SOS 2584 HAS SOPS 2584 HAS SOUS 1818 HAS SOUPS 1818 WITH SCORE 1820.584
AT ITER 2212 NEW BEST:: SOT 5639 SOS 2569 HAS SOPS 2569 HAS SOUS 1803 HAS SOUPS 1803 WITH SCORE 1805.569
AT ITER 2219 NEW BEST:: SOT 5662 SOS 2585 HAS SOPS 2585 HAS SOUS 1801 HAS SOUPS 1801 WITH SCORE 1803.585
AT ITER 2252 NEW BEST:: SOT 5654 SOS 2565 HAS SOPS 2565 HAS SOUS 1795 HAS SOUPS 1795 WITH SCORE 1797.565
AT ITER 2266 NEW BEST:: SOT 5642 SOS 2555 HAS SOPS 2555 HAS SOUS 1784 HAS SOUPS 1784 WITH SCORE 1786.555
AT ITER 2268 NEW BEST:: SOT 5641 SOS 2554 HAS SOPS 2554 HAS SOUS 1783 HAS SOUPS 1783 WITH SCORE 1785.554
AT ITER 2296 NEW BEST:: SOT 5637 SOS 2542 HAS SOPS 2542 HAS SOUS 1773 HAS SOUPS 1773 WITH SCORE 1775.542
AT ITER 2304 NEW BEST:: SOT 5637 SOS 2538 HAS SOPS 2538 HAS SOUS 1769 HAS SOUPS 1769 WITH SCORE 1771.538
AT ITER 2324 NEW BEST:: SOT 5630 SOS 2529 HAS SOPS 2529 HAS SOUS 1760 HAS SOUPS 1760 WITH SCORE 1762.529
AT ITER 2335 NEW BEST:: SOT 5623 SOS 2519 HAS SOPS 2519 HAS SOUS 1756 HAS SOUPS 1756 WITH SCORE 1758.519
AT ITER 2404 NEW BEST:: SOT 5622 SOS 2518 HAS SOPS 2518 HAS SOUS 1755 HAS SOUPS 1755 WITH SCORE 1757.518
AT ITER 2438 NEW BEST:: SOT 5620 SOS 2516 HAS SOPS 2516 HAS SOUS 1753 HAS SOUPS 1753 WITH SCORE 1755.516
AT ITER 2487 NEW BEST:: SOT 5607 SOS 2491 HAS SOPS 2491 HAS SOUS 1728 HAS SOUPS 1728 WITH SCORE 1730.491
AT ITER 2488 NEW BEST:: SOT 5607 SOS 2484 HAS SOPS 2484 HAS SOUS 1721 HAS SOUPS 1721 WITH SCORE 1723.484
AT ITER 2491 NEW BEST:: SOT 5605 SOS 2482 HAS SOPS 2482 HAS SOUS 1719 HAS SOUPS 1719 WITH SCORE 1721.482
AT ITER 2583 NEW BEST:: SOT 5609 SOS 2486 HAS SOPS 2486 HAS SOUS 1716 HAS SOUPS 1716 WITH SCORE 1718.486
AT ITER 2613 NEW BEST:: SOT 5609 SOS 2485 HAS SOPS 2485 HAS SOUS 1715 HAS SOUPS 1715 WITH SCORE 1717.485
AT ITER 2648 NEW BEST:: SOT 5609 SOS 2483 HAS SOPS 2483 HAS SOUS 1713 HAS SOUPS 1713 WITH SCORE 1715.483
AT ITER 2652 NEW BEST:: SOT 5603 SOS 2475 HAS SOPS 2475 HAS SOUS 1709 HAS SOUPS 1709 WITH SCORE 1711.475
AT ITER 2654 NEW BEST:: SOT 5603 SOS 2467 HAS SOPS 2467 HAS SOUS 1705 HAS SOUPS 1705 WITH SCORE 1707.467
AT ITER 2699 NEW BEST:: SOT 5601 SOS 2453 HAS SOPS 2453 HAS SOUS 1697 HAS SOUPS 1697 WITH SCORE 1699.453
AT ITER 2737 NEW BEST:: SOT 5599 SOS 2451 HAS SOPS 2451 HAS SOUS 1695 HAS SOUPS 1695 WITH SCORE 1697.451
AT ITER 2862 NEW BEST:: SOT 5599 SOS 2445 HAS SOPS 2445 HAS SOUS 1692 HAS SOUPS 1692 WITH SCORE 1694.445
AT ITER 2888 NEW BEST:: SOT 5583 SOS 2429 HAS SOPS 2429 HAS SOUS 1691 HAS SOUPS 1691 WITH SCORE 1693.429
AT ITER 2919 NEW BEST:: SOT 5580 SOS 2426 HAS SOPS 2426 HAS SOUS 1688 HAS SOUPS 1688 WITH SCORE 1690.426
AT ITER 2959 NEW BEST:: SOT 5582 SOS 2393 HAS SOPS 2391 HAS SOUS 1686 HAS SOUPS 1684 WITH SCORE 1686.393
AT ITER 3068 NEW BEST:: SOT 5581 SOS 2391 HAS SOPS 2389 HAS SOUS 1684 HAS SOUPS 1682 WITH SCORE 1684.391
AT ITER 3099 NEW BEST:: SOT 5562 SOS 2370 HAS SOPS 2368 HAS SOUS 1682 HAS SOUPS 1680 WITH SCORE 1682.37
AT ITER 3155 NEW BEST:: SOT 5562 SOS 2366 HAS SOPS 2364 HAS SOUS 1678 HAS SOUPS 1676 WITH SCORE 1678.366
AT ITER 3195 NEW BEST:: SOT 5561 SOS 2365 HAS SOPS 2363 HAS SOUS 1677 HAS SOUPS 1675 WITH SCORE 1677.365
AT ITER 3226 NEW BEST:: SOT 5561 SOS 2363 HAS SOPS 2361 HAS SOUS 1677 HAS SOUPS 1675 WITH SCORE 1677.363
AT ITER 3232 NEW BEST:: SOT 5557 SOS 2315 HAS SOPS 2313 HAS SOUS 1676 HAS SOUPS 1674 WITH SCORE 1676.315
AT ITER 3238 NEW BEST:: SOT 5557 SOS 2314 HAS SOPS 2310 HAS SOUS 1676 HAS SOUPS 1672 WITH SCORE 1674.314
AT ITER 3262 NEW BEST:: SOT 5557 SOS 2314 HAS SOPS 2309 HAS SOUS 1676 HAS SOUPS 1671 WITH SCORE 1673.314
AT ITER 3314 NEW BEST:: SOT 5557 SOS 2308 HAS SOPS 2302 HAS SOUS 1676 HAS SOUPS 1670 WITH SCORE 1672.308
AT ITER 3354 NEW BEST:: SOT 5556 SOS 2305 HAS SOPS 2299 HAS SOUS 1674 HAS SOUPS 1668 WITH SCORE 1670.305
AT ITER 3372 NEW BEST:: SOT 5555 SOS 2303 HAS SOPS 2297 HAS SOUS 1672 HAS SOUPS 1666 WITH SCORE 1668.303
AT ITER 3373 NEW BEST:: SOT 5554 SOS 2298 HAS SOPS 2292 HAS SOUS 1670 HAS SOUPS 1664 WITH SCORE 1666.298
AT ITER 3397 NEW BEST:: SOT 5554 SOS 2297 HAS SOPS 2290 HAS SOUS 1669 HAS SOUPS 1662 WITH SCORE 1664.297
AT ITER 3405 NEW BEST:: SOT 5553 SOS 2289 HAS SOPS 2282 HAS SOUS 1661 HAS SOUPS 1654 WITH SCORE 1656.289
AT ITER 3477 NEW BEST:: SOT 5548 SOS 2282 HAS SOPS 2275 HAS SOUS 1654 HAS SOUPS 1647 WITH SCORE 1649.282
AT ITER 3480 NEW BEST:: SOT 5546 SOS 2280 HAS SOPS 2273 HAS SOUS 1652 HAS SOUPS 1645 WITH SCORE 1647.28
AT ITER 3557 NEW BEST:: SOT 5546 SOS 2228 HAS SOPS 2221 HAS SOUS 1633 HAS SOUPS 1626 WITH SCORE 1628.228
AT ITER 3559 NEW BEST:: SOT 5545 SOS 2222 HAS SOPS 2215 HAS SOUS 1632 HAS SOUPS 1625 WITH SCORE 1627.222
AT ITER 3570 NEW BEST:: SOT 5543 SOS 2219 HAS SOPS 2212 HAS SOUS 1631 HAS SOUPS 1624 WITH SCORE 1626.219
AT ITER 3614 NEW BEST:: SOT 5523 SOS 2235 HAS SOPS 2228 HAS SOUS 1628 HAS SOUPS 1621 WITH SCORE 1623.235
AT ITER 3666 NEW BEST:: SOT 5511 SOS 2225 HAS SOPS 2218 HAS SOUS 1626 HAS SOUPS 1619 WITH SCORE 1621.225
AT ITER 3706 NEW BEST:: SOT 5510 SOS 2224 HAS SOPS 2217 HAS SOUS 1624 HAS SOUPS 1617 WITH SCORE 1619.224
AT ITER 3767 NEW BEST:: SOT 5508 SOS 2219 HAS SOPS 2212 HAS SOUS 1624 HAS SOUPS 1617 WITH SCORE 1619.219
AT ITER 3783 NEW BEST:: SOT 5505 SOS 2216 HAS SOPS 2209 HAS SOUS 1621 HAS SOUPS 1614 WITH SCORE 1616.216
AT ITER 3811 NEW BEST:: SOT 5505 SOS 2216 HAS SOPS 2209 HAS SOUS 1620 HAS SOUPS 1613 WITH SCORE 1615.216
AT ITER 3857 NEW BEST:: SOT 5503 SOS 2174 HAS SOPS 2167 HAS SOUS 1612 HAS SOUPS 1605 WITH SCORE 1607.174
AT ITER 3921 NEW BEST:: SOT 5502 SOS 2171 HAS SOPS 2164 HAS SOUS 1609 HAS SOUPS 1602 WITH SCORE 1604.171
AT ITER 3942 NEW BEST:: SOT 5501 SOS 2170 HAS SOPS 2163 HAS SOUS 1608 HAS SOUPS 1601 WITH SCORE 1603.17
AT ITER 4012 NEW BEST:: SOT 5509 SOS 2190 HAS SOPS 2183 HAS SOUS 1605 HAS SOUPS 1598 WITH SCORE 1600.19
AT ITER 4046 NEW BEST:: SOT 5508 SOS 2189 HAS SOPS 2182 HAS SOUS 1604 HAS SOUPS 1597 WITH SCORE 1599.189
AT ITER 4114 NEW BEST:: SOT 5507 SOS 2188 HAS SOPS 2181 HAS SOUS 1603 HAS SOUPS 1596 WITH SCORE 1598.188
AT ITER 4155 NEW BEST:: SOT 5532 SOS 2195 HAS SOPS 2188 HAS SOUS 1599 HAS SOUPS 1592 WITH SCORE 1594.195
AT ITER 4169 NEW BEST:: SOT 5531 SOS 2193 HAS SOPS 2186 HAS SOUS 1599 HAS SOUPS 1592 WITH SCORE 1594.193
AT ITER 4184 NEW BEST:: SOT 5521 SOS 2192 HAS SOPS 2185 HAS SOUS 1598 HAS SOUPS 1591 WITH SCORE 1593.192
AT ITER 4213 NEW BEST:: SOT 5520 SOS 2191 HAS SOPS 2184 HAS SOUS 1597 HAS SOUPS 1590 WITH SCORE 1592.191
AT ITER 4309 NEW BEST:: SOT 5520 SOS 2183 HAS SOPS 2176 HAS SOUS 1591 HAS SOUPS 1584 WITH SCORE 1586.183
AT ITER 4328 NEW BEST:: SOT 5518 SOS 2181 HAS SOPS 2174 HAS SOUS 1589 HAS SOUPS 1582 WITH SCORE 1584.181
AT ITER 4406 NEW BEST:: SOT 5527 SOS 2188 HAS SOPS 2181 HAS SOUS 1586 HAS SOUPS 1579 WITH SCORE 1581.188
AT ITER 4415 NEW BEST:: SOT 5527 SOS 2184 HAS SOPS 2181 HAS SOUS 1582 HAS SOUPS 1579 WITH SCORE 1581.184
AT ITER 4441 NEW BEST:: SOT 5527 SOS 2174 HAS SOPS 2171 HAS SOUS 1572 HAS SOUPS 1569 WITH SCORE 1571.174
AT ITER 4527 NEW BEST:: SOT 5523 SOS 2170 HAS SOPS 2167 HAS SOUS 1568 HAS SOUPS 1565 WITH SCORE 1567.17
AT ITER 4629 NEW BEST:: SOT 5520 SOS 2163 HAS SOPS 2160 HAS SOUS 1561 HAS SOUPS 1558 WITH SCORE 1560.163
AT ITER 4678 NEW BEST:: SOT 5523 SOS 2162 HAS SOPS 2159 HAS SOUS 1560 HAS SOUPS 1557 WITH SCORE 1559.162
AT ITER 4705 NEW BEST:: SOT 5522 SOS 2161 HAS SOPS 2158 HAS SOUS 1559 HAS SOUPS 1556 WITH SCORE 1558.161
AT ITER 4840 NEW BEST:: SOT 5521 SOS 2159 HAS SOPS 2156 HAS SOUS 1557 HAS SOUPS 1554 WITH SCORE 1556.159
AT ITER 4935 NEW BEST:: SOT 5517 SOS 2159 HAS SOPS 2156 HAS SOUS 1553 HAS SOUPS 1550 WITH SCORE 1552.159
AT ITER 5142 NEW BEST:: SOT 5515 SOS 2157 HAS SOPS 2154 HAS SOUS 1551 HAS SOUPS 1548 WITH SCORE 1550.157
AT ITER 5152 NEW BEST:: SOT 5514 SOS 2156 HAS SOPS 2153 HAS SOUS 1550 HAS SOUPS 1547 WITH SCORE 1549.156
AT ITER 5153 NEW BEST:: SOT 5503 SOS 2146 HAS SOPS 2143 HAS SOUS 1546 HAS SOUPS 1543 WITH SCORE 1545.146
AT ITER 5263 NEW BEST:: SOT 5502 SOS 2145 HAS SOPS 2142 HAS SOUS 1545 HAS SOUPS 1542 WITH SCORE 1544.145
AT ITER 5276 NEW BEST:: SOT 5501 SOS 2144 HAS SOPS 2141 HAS SOUS 1544 HAS SOUPS 1541 WITH SCORE 1543.144
AT ITER 5373 NEW BEST:: SOT 5499 SOS 2142 HAS SOPS 2139 HAS SOUS 1542 HAS SOUPS 1539 WITH SCORE 1541.142
AT ITER 5393 NEW BEST:: SOT 5499 SOS 2140 HAS SOPS 2137 HAS SOUS 1540 HAS SOUPS 1537 WITH SCORE 1539.14
AT ITER 5451 NEW BEST:: SOT 5498 SOS 2139 HAS SOPS 2136 HAS SOUS 1539 HAS SOUPS 1536 WITH SCORE 1538.139
AT ITER 5533 NEW BEST:: SOT 5498 SOS 2138 HAS SOPS 2135 HAS SOUS 1538 HAS SOUPS 1535 WITH SCORE 1537.138
AT ITER 5557 NEW BEST:: SOT 5498 SOS 2133 HAS SOPS 2130 HAS SOUS 1533 HAS SOUPS 1530 WITH SCORE 1532.133
AT ITER 5561 NEW BEST:: SOT 5497 SOS 2132 HAS SOPS 2129 HAS SOUS 1532 HAS SOUPS 1529 WITH SCORE 1531.132
AT ITER 5619 NEW BEST:: SOT 5496 SOS 2129 HAS SOPS 2126 HAS SOUS 1528 HAS SOUPS 1525 WITH SCORE 1527.129
AT ITER 5644 NEW BEST:: SOT 5496 SOS 2127 HAS SOPS 2126 HAS SOUS 1526 HAS SOUPS 1525 WITH SCORE 1527.127
AT ITER 5659 NEW BEST:: SOT 5494 SOS 2125 HAS SOPS 2124 HAS SOUS 1524 HAS SOUPS 1523 WITH SCORE 1525.125
AT ITER 5684 NEW BEST:: SOT 5489 SOS 2141 HAS SOPS 2141 HAS SOUS 1521 HAS SOUPS 1521 WITH SCORE 1523.141
AT ITER 5723 NEW BEST:: SOT 5487 SOS 2137 HAS SOPS 2137 HAS SOUS 1517 HAS SOUPS 1517 WITH SCORE 1519.137
AT ITER 5837 NEW BEST:: SOT 5487 SOS 2131 HAS SOPS 2131 HAS SOUS 1511 HAS SOUPS 1511 WITH SCORE 1513.131
AT ITER 5898 NEW BEST:: SOT 5487 SOS 2129 HAS SOPS 2129 HAS SOUS 1509 HAS SOUPS 1509 WITH SCORE 1511.129
AT ITER 5910 NEW BEST:: SOT 5488 SOS 2128 HAS SOPS 2128 HAS SOUS 1508 HAS SOUPS 1508 WITH SCORE 1510.128
AT ITER 6027 NEW BEST:: SOT 5488 SOS 2126 HAS SOPS 2126 HAS SOUS 1506 HAS SOUPS 1506 WITH SCORE 1508.126
AT ITER 6049 NEW BEST:: SOT 5485 SOS 2123 HAS SOPS 2123 HAS SOUS 1503 HAS SOUPS 1503 WITH SCORE 1505.123
AT ITER 6096 NEW BEST:: SOT 5484 SOS 2122 HAS SOPS 2122 HAS SOUS 1502 HAS SOUPS 1502 WITH SCORE 1504.122
AT ITER 6167 NEW BEST:: SOT 5480 SOS 2115 HAS SOPS 2115 HAS SOUS 1497 HAS SOUPS 1497 WITH SCORE 1499.115
AT ITER 6172 NEW BEST:: SOT 5477 SOS 2109 HAS SOPS 2109 HAS SOUS 1491 HAS SOUPS 1491 WITH SCORE 1493.109
AT ITER 6232 NEW BEST:: SOT 5483 SOS 2107 HAS SOPS 2107 HAS SOUS 1489 HAS SOUPS 1489 WITH SCORE 1491.107
AT ITER 6238 NEW BEST:: SOT 5482 SOS 2105 HAS SOPS 2105 HAS SOUS 1487 HAS SOUPS 1487 WITH SCORE 1489.105
AT ITER 6252 NEW BEST:: SOT 5482 SOS 2104 HAS SOPS 2104 HAS SOUS 1486 HAS SOUPS 1486 WITH SCORE 1488.104
AT ITER 6347 NEW BEST:: SOT 5484 SOS 2102 HAS SOPS 2102 HAS SOUS 1486 HAS SOUPS 1486 WITH SCORE 1488.102
AT ITER 6390 NEW BEST:: SOT 5482 SOS 2100 HAS SOPS 2100 HAS SOUS 1484 HAS SOUPS 1484 WITH SCORE 1486.1
AT ITER 6438 NEW BEST:: SOT 5479 SOS 2097 HAS SOPS 2097 HAS SOUS 1481 HAS SOUPS 1481 WITH SCORE 1483.097
AT ITER 6500 NEW BEST:: SOT 5478 SOS 2094 HAS SOPS 2094 HAS SOUS 1479 HAS SOUPS 1479 WITH SCORE 1481.094
AT ITER 6634 NEW BEST:: SOT 5495 SOS 2093 HAS SOPS 2093 HAS SOUS 1478 HAS SOUPS 1478 WITH SCORE 1480.093
AT ITER 6935 NEW BEST:: SOT 5496 SOS 2094 HAS SOPS 2094 HAS SOUS 1477 HAS SOUPS 1477 WITH SCORE 1479.094
AT ITER 6974 NEW BEST:: SOT 5495 SOS 2093 HAS SOPS 2093 HAS SOUS 1477 HAS SOUPS 1477 WITH SCORE 1479.093
AT ITER 7103 NEW BEST:: SOT 5492 SOS 2092 HAS SOPS 2092 HAS SOUS 1476 HAS SOUPS 1476 WITH SCORE 1478.092
AT ITER 7148 NEW BEST:: SOT 5488 SOS 2085 HAS SOPS 2085 HAS SOUS 1469 HAS SOUPS 1469 WITH SCORE 1471.085
AT ITER 7271 NEW BEST:: SOT 5484 SOS 2080 HAS SOPS 2080 HAS SOUS 1464 HAS SOUPS 1464 WITH SCORE 1466.08
AT ITER 7330 NEW BEST:: SOT 5483 SOS 2079 HAS SOPS 2079 HAS SOUS 1463 HAS SOUPS 1463 WITH SCORE 1465.079
AT ITER 7652 NEW BEST:: SOT 5478 SOS 2090 HAS SOPS 2090 HAS SOUS 1462 HAS SOUPS 1462 WITH SCORE 1464.09
AT ITER 7830 NEW BEST:: SOT 5478 SOS 2089 HAS SOPS 2089 HAS SOUS 1461 HAS SOUPS 1461 WITH SCORE 1463.089
AT ITER 7833 NEW BEST:: SOT 5478 SOS 2088 HAS SOPS 2088 HAS SOUS 1460 HAS SOUPS 1460 WITH SCORE 1462.088
AT ITER 7871 NEW BEST:: SOT 5477 SOS 2087 HAS SOPS 2087 HAS SOUS 1459 HAS SOUPS 1459 WITH SCORE 1461.087
AT ITER 7917 NEW BEST:: SOT 5477 SOS 2085 HAS SOPS 2085 HAS SOUS 1457 HAS SOUPS 1457 WITH SCORE 1459.085
AT ITER 7962 NEW BEST:: SOT 5477 SOS 2083 HAS SOPS 2083 HAS SOUS 1455 HAS SOUPS 1455 WITH SCORE 1457.083
AT ITER 8028 NEW BEST:: SOT 5475 SOS 2080 HAS SOPS 2080 HAS SOUS 1452 HAS SOUPS 1452 WITH SCORE 1454.08
AT ITER 8244 NEW BEST:: SOT 5475 SOS 2081 HAS SOPS 2081 HAS SOUS 1451 HAS SOUPS 1451 WITH SCORE 1453.081
AT ITER 8406 NEW BEST:: SOT 5477 SOS 2079 HAS SOPS 2079 HAS SOUS 1447 HAS SOUPS 1447 WITH SCORE 1449.079
AT ITER 8516 NEW BEST:: SOT 5478 SOS 2078 HAS SOPS 2078 HAS SOUS 1446 HAS SOUPS 1446 WITH SCORE 1448.078
AT ITER 8566 NEW BEST:: SOT 5478 SOS 2077 HAS SOPS 2077 HAS SOUS 1445 HAS SOUPS 1445 WITH SCORE 1447.077
AT ITER 8717 NEW BEST:: SOT 5478 SOS 2065 HAS SOPS 2065 HAS SOUS 1441 HAS SOUPS 1441 WITH SCORE 1443.065
AT ITER 8873 NEW BEST:: SOT 5478 SOS 2064 HAS SOPS 2064 HAS SOUS 1440 HAS SOUPS 1440 WITH SCORE 1442.064
AT ITER 9076 NEW BEST:: SOT 5476 SOS 2062 HAS SOPS 2062 HAS SOUS 1440 HAS SOUPS 1440 WITH SCORE 1442.062
AT ITER 9093 NEW BEST:: SOT 5476 SOS 2061 HAS SOPS 2061 HAS SOUS 1439 HAS SOUPS 1439 WITH SCORE 1441.061
AT ITER 9173 NEW BEST:: SOT 5475 SOS 2057 HAS SOPS 2057 HAS SOUS 1438 HAS SOUPS 1438 WITH SCORE 1440.057
AT ITER 9217 NEW BEST:: SOT 5474 SOS 2055 HAS SOPS 2055 HAS SOUS 1436 HAS SOUPS 1436 WITH SCORE 1438.055
AT ITER 9256 NEW BEST:: SOT 5471 SOS 2054 HAS SOPS 2054 HAS SOUS 1435 HAS SOUPS 1435 WITH SCORE 1437.054
AT ITER 9522 NEW BEST:: SOT 5469 SOS 2049 HAS SOPS 2049 HAS SOUS 1432 HAS SOUPS 1432 WITH SCORE 1434.049
AT ITER 9585 NEW BEST:: SOT 5462 SOS 2040 HAS SOPS 2040 HAS SOUS 1428 HAS SOUPS 1428 WITH SCORE 1430.04
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 1589102994454

--------------------
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"

# 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-4028"
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 r048-ebro-158902541900216"
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 ;