Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r138-smll-158961502600240.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/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 Raft-PT-04, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r138-smll-158961502600240
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 212K
-rw-r--r-- 1 mcc users 3.3K Apr 12 07:59 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 12 07:59 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Apr 11 08:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 11 08:58 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Apr 14 12:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 14 12:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Apr 10 14:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 10 14:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Apr 9 21:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 9 21:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Apr 10 22:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Apr 10 22:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 41K Mar 24 05:38 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 1589796279094

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Raft (PT), instance 04
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/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 11903 SOS 7531 HAS SOPS 7508 HAS SOUS 5957 HAS SOUPS 5947 WITH SCORE 5954.531
AT ITER 2 NEW BEST:: SOT 11903 SOS 7531 HAS SOPS 7508 HAS SOUS 5943 HAS SOUPS 5933 WITH SCORE 5940.531
AT ITER 6 NEW BEST:: SOT 11867 SOS 7476 HAS SOPS 7450 HAS SOUS 5899 HAS SOUPS 5887 WITH SCORE 5894.476
AT ITER 9 NEW BEST:: SOT 11904 SOS 7497 HAS SOPS 7433 HAS SOUS 5924 HAS SOUPS 5874 WITH SCORE 5881.497
AT ITER 11 NEW BEST:: SOT 11904 SOS 7496 HAS SOPS 7432 HAS SOUS 5924 HAS SOUPS 5874 WITH SCORE 5881.496
AT ITER 12 NEW BEST:: SOT 11904 SOS 7486 HAS SOPS 7422 HAS SOUS 5924 HAS SOUPS 5874 WITH SCORE 5881.486
AT ITER 13 NEW BEST:: SOT 11864 SOS 7470 HAS SOPS 7403 HAS SOUS 5877 HAS SOUPS 5825 WITH SCORE 5832.47
AT ITER 14 NEW BEST:: SOT 11850 SOS 7454 HAS SOPS 7382 HAS SOUS 5860 HAS SOUPS 5805 WITH SCORE 5812.454
AT ITER 15 NEW BEST:: SOT 11850 SOS 7454 HAS SOPS 7382 HAS SOUS 5839 HAS SOUPS 5784 WITH SCORE 5791.454
AT ITER 19 NEW BEST:: SOT 11793 SOS 7469 HAS SOPS 7400 HAS SOUS 5836 HAS SOUPS 5781 WITH SCORE 5788.469
AT ITER 20 NEW BEST:: SOT 11793 SOS 7464 HAS SOPS 7395 HAS SOUS 5836 HAS SOUPS 5781 WITH SCORE 5788.464
AT ITER 21 NEW BEST:: SOT 11707 SOS 7421 HAS SOPS 7343 HAS SOUS 5768 HAS SOUPS 5705 WITH SCORE 5712.421
AT ITER 23 NEW BEST:: SOT 11707 SOS 7411 HAS SOPS 7333 HAS SOUS 5758 HAS SOUPS 5695 WITH SCORE 5702.411
AT ITER 25 NEW BEST:: SOT 11707 SOS 7351 HAS SOPS 7273 HAS SOUS 5727 HAS SOUPS 5664 WITH SCORE 5671.351
AT ITER 26 NEW BEST:: SOT 11707 SOS 7251 HAS SOPS 7173 HAS SOUS 5722 HAS SOUPS 5659 WITH SCORE 5666.251
AT ITER 31 NEW BEST:: SOT 11707 SOS 7160 HAS SOPS 7082 HAS SOUS 5719 HAS SOUPS 5656 WITH SCORE 5663.16
AT ITER 35 NEW BEST:: SOT 11656 SOS 7163 HAS SOPS 7085 HAS SOUS 5695 HAS SOUPS 5632 WITH SCORE 5639.163
AT ITER 38 NEW BEST:: SOT 11656 SOS 7140 HAS SOPS 7062 HAS SOUS 5672 HAS SOUPS 5609 WITH SCORE 5616.14
AT ITER 39 NEW BEST:: SOT 10929 SOS 7320 HAS SOPS 6575 HAS SOUS 5378 HAS SOUPS 5246 WITH SCORE 5253.32
AT ITER 41 NEW BEST:: SOT 10925 SOS 7320 HAS SOPS 6567 HAS SOUS 5370 HAS SOUPS 5238 WITH SCORE 5245.32
AT ITER 44 NEW BEST:: SOT 10925 SOS 7253 HAS SOPS 6509 HAS SOUS 5345 HAS SOUPS 5222 WITH SCORE 5229.253
AT ITER 46 NEW BEST:: SOT 10406 SOS 7053 HAS SOPS 6051 HAS SOUS 5104 HAS SOUPS 4934 WITH SCORE 4941.053
AT ITER 47 NEW BEST:: SOT 10319 SOS 6985 HAS SOPS 6060 HAS SOUS 4984 HAS SOUPS 4814 WITH SCORE 4820.985
AT ITER 48 NEW BEST:: SOT 10319 SOS 6928 HAS SOPS 5985 HAS SOUS 4965 HAS SOUPS 4795 WITH SCORE 4801.928
AT ITER 50 NEW BEST:: SOT 10164 SOS 6814 HAS SOPS 5873 HAS SOUS 4867 HAS SOUPS 4697 WITH SCORE 4703.814
AT ITER 51 NEW BEST:: SOT 9841 SOS 6452 HAS SOPS 5507 HAS SOUS 4509 HAS SOUPS 4336 WITH SCORE 4342.452
AT ITER 52 NEW BEST:: SOT 9841 SOS 6463 HAS SOPS 5518 HAS SOUS 4497 HAS SOUPS 4324 WITH SCORE 4330.463
AT ITER 54 NEW BEST:: SOT 9844 SOS 6457 HAS SOPS 5503 HAS SOUS 4497 HAS SOUPS 4315 WITH SCORE 4321.457
AT ITER 55 NEW BEST:: SOT 9825 SOS 6438 HAS SOPS 5446 HAS SOUS 4459 HAS SOUPS 4277 WITH SCORE 4283.438
AT ITER 58 NEW BEST:: SOT 9810 SOS 6440 HAS SOPS 5380 HAS SOUS 4429 HAS SOUPS 4247 WITH SCORE 4253.44
AT ITER 69 NEW BEST:: SOT 9810 SOS 6337 HAS SOPS 5277 HAS SOUS 4405 HAS SOUPS 4223 WITH SCORE 4229.337
AT ITER 70 NEW BEST:: SOT 9794 SOS 6305 HAS SOPS 5245 HAS SOUS 4383 HAS SOUPS 4201 WITH SCORE 4207.305
AT ITER 71 NEW BEST:: SOT 9788 SOS 6297 HAS SOPS 5220 HAS SOUS 4369 HAS SOUPS 4189 WITH SCORE 4195.297
AT ITER 75 NEW BEST:: SOT 9772 SOS 6265 HAS SOPS 5188 HAS SOUS 4332 HAS SOUPS 4152 WITH SCORE 4158.265
AT ITER 78 NEW BEST:: SOT 9768 SOS 6267 HAS SOPS 5173 HAS SOUS 4317 HAS SOUPS 4137 WITH SCORE 4143.267
AT ITER 83 NEW BEST:: SOT 9768 SOS 6267 HAS SOPS 5173 HAS SOUS 4305 HAS SOUPS 4125 WITH SCORE 4131.267
AT ITER 86 NEW BEST:: SOT 9775 SOS 6274 HAS SOPS 5166 HAS SOUS 4304 HAS SOUPS 4117 WITH SCORE 4123.274
AT ITER 88 NEW BEST:: SOT 9775 SOS 6262 HAS SOPS 5166 HAS SOUS 4304 HAS SOUPS 4117 WITH SCORE 4123.262
AT ITER 89 NEW BEST:: SOT 9842 SOS 6307 HAS SOPS 5211 HAS SOUS 4293 HAS SOUPS 4106 WITH SCORE 4112.307
AT ITER 94 NEW BEST:: SOT 9828 SOS 6281 HAS SOPS 5203 HAS SOUS 4284 HAS SOUPS 4097 WITH SCORE 4103.281
AT ITER 99 NEW BEST:: SOT 9816 SOS 6269 HAS SOPS 5191 HAS SOUS 4272 HAS SOUPS 4085 WITH SCORE 4091.269
AT ITER 105 NEW BEST:: SOT 9816 SOS 6259 HAS SOPS 5181 HAS SOUS 4272 HAS SOUPS 4085 WITH SCORE 4091.259
AT ITER 109 NEW BEST:: SOT 9063 SOS 6269 HAS SOPS 4727 HAS SOUS 4022 HAS SOUPS 3784 WITH SCORE 3790.269
AT ITER 113 NEW BEST:: SOT 9061 SOS 6267 HAS SOPS 4720 HAS SOUS 4017 HAS SOUPS 3779 WITH SCORE 3785.267
AT ITER 115 NEW BEST:: SOT 9037 SOS 6302 HAS SOPS 4753 HAS SOUS 3959 HAS SOUPS 3748 WITH SCORE 3754.302
AT ITER 118 NEW BEST:: SOT 9037 SOS 6302 HAS SOPS 4752 HAS SOUS 3958 HAS SOUPS 3747 WITH SCORE 3753.302
AT ITER 128 NEW BEST:: SOT 9037 SOS 6278 HAS SOPS 4710 HAS SOUS 3957 HAS SOUPS 3728 WITH SCORE 3734.278
AT ITER 134 NEW BEST:: SOT 8642 SOS 6728 HAS SOPS 4787 HAS SOUS 3870 HAS SOUPS 3593 WITH SCORE 3599.728
AT ITER 135 NEW BEST:: SOT 8633 SOS 6719 HAS SOPS 4778 HAS SOUS 3861 HAS SOUPS 3584 WITH SCORE 3590.719
AT ITER 140 NEW BEST:: SOT 8444 SOS 6530 HAS SOPS 4624 HAS SOUS 3676 HAS SOUPS 3391 WITH SCORE 3397.53
AT ITER 143 NEW BEST:: SOT 8432 SOS 6518 HAS SOPS 4606 HAS SOUS 3664 HAS SOUPS 3379 WITH SCORE 3385.518
AT ITER 144 NEW BEST:: SOT 8378 SOS 6464 HAS SOPS 4612 HAS SOUS 3656 HAS SOUPS 3371 WITH SCORE 3377.464
AT ITER 147 NEW BEST:: SOT 8258 SOS 6296 HAS SOPS 4444 HAS SOUS 3635 HAS SOUPS 3350 WITH SCORE 3356.296
AT ITER 148 NEW BEST:: SOT 8256 SOS 6318 HAS SOPS 4448 HAS SOUS 3632 HAS SOUPS 3347 WITH SCORE 3353.318
AT ITER 149 NEW BEST:: SOT 8269 SOS 6301 HAS SOPS 4424 HAS SOUS 3630 HAS SOUPS 3345 WITH SCORE 3351.301
AT ITER 158 NEW BEST:: SOT 8179 SOS 6207 HAS SOPS 4292 HAS SOUS 3524 HAS SOUPS 3232 WITH SCORE 3238.207
AT ITER 160 NEW BEST:: SOT 8179 SOS 6207 HAS SOPS 4292 HAS SOUS 3504 HAS SOUPS 3212 WITH SCORE 3218.207
AT ITER 161 NEW BEST:: SOT 8087 SOS 6115 HAS SOPS 4250 HAS SOUS 3425 HAS SOUPS 3142 WITH SCORE 3148.115
AT ITER 174 NEW BEST:: SOT 8106 SOS 6134 HAS SOPS 4256 HAS SOUS 3423 HAS SOUPS 3140 WITH SCORE 3146.134
AT ITER 176 NEW BEST:: SOT 8024 SOS 6052 HAS SOPS 4226 HAS SOUS 3379 HAS SOUPS 3096 WITH SCORE 3102.052
AT ITER 178 NEW BEST:: SOT 7986 SOS 6037 HAS SOPS 4199 HAS SOUS 3379 HAS SOUPS 3096 WITH SCORE 3102.037
AT ITER 180 NEW BEST:: SOT 7882 SOS 5933 HAS SOPS 4123 HAS SOUS 3280 HAS SOUPS 3013 WITH SCORE 3018.933
AT ITER 181 NEW BEST:: SOT 7856 SOS 5906 HAS SOPS 4183 HAS SOUS 3276 HAS SOUPS 3009 WITH SCORE 3014.906
AT ITER 182 NEW BEST:: SOT 7856 SOS 5906 HAS SOPS 4183 HAS SOUS 3256 HAS SOUPS 2989 WITH SCORE 2994.906
AT ITER 183 NEW BEST:: SOT 7856 SOS 5906 HAS SOPS 4183 HAS SOUS 3240 HAS SOUPS 2973 WITH SCORE 2978.906
AT ITER 186 NEW BEST:: SOT 7840 SOS 5890 HAS SOPS 4159 HAS SOUS 3211 HAS SOUPS 2944 WITH SCORE 2949.89
AT ITER 192 NEW BEST:: SOT 7781 SOS 5856 HAS SOPS 4099 HAS SOUS 3175 HAS SOUPS 2908 WITH SCORE 2913.856
AT ITER 194 NEW BEST:: SOT 7769 SOS 5842 HAS SOPS 4081 HAS SOUS 3157 HAS SOUPS 2890 WITH SCORE 2895.842
AT ITER 197 NEW BEST:: SOT 7769 SOS 5802 HAS SOPS 4041 HAS SOUS 3157 HAS SOUPS 2890 WITH SCORE 2895.802
AT ITER 198 NEW BEST:: SOT 7769 SOS 5807 HAS SOPS 4046 HAS SOUS 3120 HAS SOUPS 2853 WITH SCORE 2858.807
AT ITER 201 NEW BEST:: SOT 7709 SOS 5747 HAS SOPS 4091 HAS SOUS 3035 HAS SOUPS 2824 WITH SCORE 2829.747
AT ITER 203 NEW BEST:: SOT 7715 SOS 5753 HAS SOPS 4074 HAS SOUS 3020 HAS SOUPS 2809 WITH SCORE 2814.753
AT ITER 205 NEW BEST:: SOT 7714 SOS 5752 HAS SOPS 4073 HAS SOUS 3020 HAS SOUPS 2809 WITH SCORE 2814.752
AT ITER 209 NEW BEST:: SOT 7712 SOS 5750 HAS SOPS 4052 HAS SOUS 3030 HAS SOUPS 2807 WITH SCORE 2812.75
AT ITER 217 NEW BEST:: SOT 7702 SOS 5740 HAS SOPS 4046 HAS SOUS 3022 HAS SOUPS 2799 WITH SCORE 2804.74
AT ITER 221 NEW BEST:: SOT 7683 SOS 5721 HAS SOPS 3900 HAS SOUS 2987 HAS SOUPS 2724 WITH SCORE 2729.721
AT ITER 224 NEW BEST:: SOT 7678 SOS 5716 HAS SOPS 3895 HAS SOUS 2977 HAS SOUPS 2714 WITH SCORE 2719.716
AT ITER 225 NEW BEST:: SOT 7677 SOS 5714 HAS SOPS 3900 HAS SOUS 2970 HAS SOUPS 2714 WITH SCORE 2719.714
AT ITER 227 NEW BEST:: SOT 7733 SOS 5769 HAS SOPS 3821 HAS SOUS 2913 HAS SOUPS 2641 WITH SCORE 2646.769
AT ITER 228 NEW BEST:: SOT 7699 SOS 5735 HAS SOPS 3770 HAS SOUS 2873 HAS SOUPS 2601 WITH SCORE 2606.735
AT ITER 235 NEW BEST:: SOT 7667 SOS 5703 HAS SOPS 3722 HAS SOUS 2836 HAS SOUPS 2564 WITH SCORE 2569.703
AT ITER 241 NEW BEST:: SOT 7664 SOS 5700 HAS SOPS 3719 HAS SOUS 2833 HAS SOUPS 2561 WITH SCORE 2566.7
AT ITER 245 NEW BEST:: SOT 7656 SOS 5692 HAS SOPS 3707 HAS SOUS 2821 HAS SOUPS 2549 WITH SCORE 2554.692
AT ITER 257 NEW BEST:: SOT 7670 SOS 5706 HAS SOPS 3722 HAS SOUS 2819 HAS SOUPS 2547 WITH SCORE 2552.706
AT ITER 258 NEW BEST:: SOT 7664 SOS 5700 HAS SOPS 3712 HAS SOUS 2811 HAS SOUPS 2539 WITH SCORE 2544.7
AT ITER 262 NEW BEST:: SOT 7659 SOS 5695 HAS SOPS 3704 HAS SOUS 2804 HAS SOUPS 2532 WITH SCORE 2537.695
AT ITER 270 NEW BEST:: SOT 7645 SOS 5681 HAS SOPS 3726 HAS SOUS 2794 HAS SOUPS 2522 WITH SCORE 2527.681
AT ITER 274 NEW BEST:: SOT 7642 SOS 5693 HAS SOPS 3720 HAS SOUS 2762 HAS SOUPS 2490 WITH SCORE 2495.693
AT ITER 278 NEW BEST:: SOT 7645 SOS 5696 HAS SOPS 3722 HAS SOUS 2757 HAS SOUPS 2485 WITH SCORE 2490.696
AT ITER 280 NEW BEST:: SOT 7645 SOS 5696 HAS SOPS 3722 HAS SOUS 2737 HAS SOUPS 2465 WITH SCORE 2470.696
AT ITER 284 NEW BEST:: SOT 7643 SOS 5694 HAS SOPS 3716 HAS SOUS 2732 HAS SOUPS 2460 WITH SCORE 2465.694
AT ITER 289 NEW BEST:: SOT 7593 SOS 5665 HAS SOPS 3676 HAS SOUS 2723 HAS SOUPS 2451 WITH SCORE 2456.665
AT ITER 299 NEW BEST:: SOT 7578 SOS 5650 HAS SOPS 3661 HAS SOUS 2713 HAS SOUPS 2441 WITH SCORE 2446.65
AT ITER 315 NEW BEST:: SOT 7568 SOS 5640 HAS SOPS 3618 HAS SOUS 2698 HAS SOUPS 2426 WITH SCORE 2431.64
AT ITER 316 NEW BEST:: SOT 7568 SOS 5640 HAS SOPS 3618 HAS SOUS 2697 HAS SOUPS 2425 WITH SCORE 2430.64
AT ITER 322 NEW BEST:: SOT 7554 SOS 5612 HAS SOPS 3590 HAS SOUS 2690 HAS SOUPS 2418 WITH SCORE 2423.612
AT ITER 323 NEW BEST:: SOT 7552 SOS 5610 HAS SOPS 3588 HAS SOUS 2681 HAS SOUPS 2409 WITH SCORE 2414.61
AT ITER 327 NEW BEST:: SOT 7552 SOS 5610 HAS SOPS 3488 HAS SOUS 2668 HAS SOUPS 2396 WITH SCORE 2401.61
AT ITER 335 NEW BEST:: SOT 7558 SOS 5616 HAS SOPS 3429 HAS SOUS 2652 HAS SOUPS 2380 WITH SCORE 2385.616
AT ITER 343 NEW BEST:: SOT 7468 SOS 5523 HAS SOPS 3304 HAS SOUS 2542 HAS SOUPS 2270 WITH SCORE 2275.523
AT ITER 354 NEW BEST:: SOT 7466 SOS 5521 HAS SOPS 3301 HAS SOUS 2538 HAS SOUPS 2266 WITH SCORE 2271.521
AT ITER 361 NEW BEST:: SOT 7463 SOS 5518 HAS SOPS 3298 HAS SOUS 2535 HAS SOUPS 2263 WITH SCORE 2268.518
AT ITER 368 NEW BEST:: SOT 7458 SOS 5513 HAS SOPS 3293 HAS SOUS 2525 HAS SOUPS 2253 WITH SCORE 2258.513
AT ITER 383 NEW BEST:: SOT 7458 SOS 5481 HAS SOPS 3261 HAS SOUS 2525 HAS SOUPS 2253 WITH SCORE 2258.481
AT ITER 398 NEW BEST:: SOT 7450 SOS 5473 HAS SOPS 3249 HAS SOUS 2517 HAS SOUPS 2245 WITH SCORE 2250.473
AT ITER 408 NEW BEST:: SOT 7434 SOS 5446 HAS SOPS 3219 HAS SOUS 2497 HAS SOUPS 2222 WITH SCORE 2227.446
AT ITER 414 NEW BEST:: SOT 7450 SOS 5462 HAS SOPS 3225 HAS SOUS 2495 HAS SOUPS 2220 WITH SCORE 2225.462
AT ITER 417 NEW BEST:: SOT 7449 SOS 5460 HAS SOPS 3224 HAS SOUS 2494 HAS SOUPS 2220 WITH SCORE 2225.46
AT ITER 422 NEW BEST:: SOT 7445 SOS 5456 HAS SOPS 3218 HAS SOUS 2487 HAS SOUPS 2213 WITH SCORE 2218.456
AT ITER 435 NEW BEST:: SOT 7446 SOS 5457 HAS SOPS 3219 HAS SOUS 2486 HAS SOUPS 2212 WITH SCORE 2217.457
AT ITER 450 NEW BEST:: SOT 7442 SOS 5453 HAS SOPS 3215 HAS SOUS 2482 HAS SOUPS 2208 WITH SCORE 2213.453
AT ITER 466 NEW BEST:: SOT 7442 SOS 5453 HAS SOPS 3215 HAS SOUS 2475 HAS SOUPS 2201 WITH SCORE 2206.453
AT ITER 467 NEW BEST:: SOT 7420 SOS 5431 HAS SOPS 3198 HAS SOUS 2460 HAS SOUPS 2186 WITH SCORE 2191.431
AT ITER 490 NEW BEST:: SOT 7403 SOS 5414 HAS SOPS 3176 HAS SOUS 2449 HAS SOUPS 2175 WITH SCORE 2180.414
AT ITER 507 NEW BEST:: SOT 7383 SOS 5402 HAS SOPS 3162 HAS SOUS 2436 HAS SOUPS 2162 WITH SCORE 2167.402
AT ITER 512 NEW BEST:: SOT 7435 SOS 5441 HAS SOPS 3230 HAS SOUS 2427 HAS SOUPS 2153 WITH SCORE 2158.441
AT ITER 536 NEW BEST:: SOT 7415 SOS 5421 HAS SOPS 3160 HAS SOUS 2405 HAS SOUPS 2131 WITH SCORE 2136.421
AT ITER 544 NEW BEST:: SOT 7421 SOS 5427 HAS SOPS 3128 HAS SOUS 2403 HAS SOUPS 2129 WITH SCORE 2134.427
AT ITER 564 NEW BEST:: SOT 7421 SOS 5427 HAS SOPS 3128 HAS SOUS 2401 HAS SOUPS 2127 WITH SCORE 2132.427
AT ITER 585 NEW BEST:: SOT 7419 SOS 5425 HAS SOPS 3125 HAS SOUS 2398 HAS SOUPS 2124 WITH SCORE 2129.425
AT ITER 590 NEW BEST:: SOT 7419 SOS 5425 HAS SOPS 3125 HAS SOUS 2394 HAS SOUPS 2120 WITH SCORE 2125.425
AT ITER 596 NEW BEST:: SOT 7412 SOS 5429 HAS SOPS 3120 HAS SOUS 2387 HAS SOUPS 2113 WITH SCORE 2118.429
AT ITER 616 NEW BEST:: SOT 7372 SOS 5389 HAS SOPS 3074 HAS SOUS 2385 HAS SOUPS 2111 WITH SCORE 2116.389
AT ITER 618 NEW BEST:: SOT 7324 SOS 5324 HAS SOPS 3024 HAS SOUS 2371 HAS SOUPS 2097 WITH SCORE 2102.324
AT ITER 624 NEW BEST:: SOT 7339 SOS 5304 HAS SOPS 3012 HAS SOUS 2334 HAS SOUPS 2068 WITH SCORE 2073.304
AT ITER 653 NEW BEST:: SOT 7335 SOS 5300 HAS SOPS 3006 HAS SOUS 2330 HAS SOUPS 2064 WITH SCORE 2069.3
AT ITER 658 NEW BEST:: SOT 7323 SOS 5276 HAS SOPS 2982 HAS SOUS 2330 HAS SOUPS 2064 WITH SCORE 2069.276
AT ITER 662 NEW BEST:: SOT 7357 SOS 5310 HAS SOPS 2967 HAS SOUS 2319 HAS SOUPS 2051 WITH SCORE 2056.31
AT ITER 663 NEW BEST:: SOT 7356 SOS 5329 HAS SOPS 2986 HAS SOUS 2318 HAS SOUPS 2050 WITH SCORE 2055.329
AT ITER 666 NEW BEST:: SOT 7350 SOS 5323 HAS SOPS 2980 HAS SOUS 2312 HAS SOUPS 2044 WITH SCORE 2049.323
AT ITER 702 NEW BEST:: SOT 7344 SOS 5317 HAS SOPS 2974 HAS SOUS 2304 HAS SOUPS 2036 WITH SCORE 2041.317
AT ITER 719 NEW BEST:: SOT 7306 SOS 5280 HAS SOPS 2924 HAS SOUS 2266 HAS SOUPS 1998 WITH SCORE 2003.28
AT ITER 746 NEW BEST:: SOT 7286 SOS 5260 HAS SOPS 2914 HAS SOUS 2251 HAS SOUPS 1983 WITH SCORE 1988.26
AT ITER 752 NEW BEST:: SOT 7292 SOS 5265 HAS SOPS 2922 HAS SOUS 2250 HAS SOUPS 1982 WITH SCORE 1987.265
AT ITER 763 NEW BEST:: SOT 7294 SOS 5267 HAS SOPS 2900 HAS SOUS 2234 HAS SOUPS 1966 WITH SCORE 1971.267
AT ITER 764 NEW BEST:: SOT 7290 SOS 5263 HAS SOPS 2882 HAS SOUS 2215 HAS SOUPS 1947 WITH SCORE 1952.263
AT ITER 776 NEW BEST:: SOT 7284 SOS 5257 HAS SOPS 2867 HAS SOUS 2206 HAS SOUPS 1938 WITH SCORE 1943.257
AT ITER 782 NEW BEST:: SOT 7298 SOS 5271 HAS SOPS 2878 HAS SOUS 2192 HAS SOUPS 1924 WITH SCORE 1929.271
AT ITER 794 NEW BEST:: SOT 7289 SOS 5301 HAS SOPS 2906 HAS SOUS 2176 HAS SOUPS 1908 WITH SCORE 1913.301
AT ITER 801 NEW BEST:: SOT 7253 SOS 5313 HAS SOPS 2876 HAS SOUS 2152 HAS SOUPS 1881 WITH SCORE 1886.313
AT ITER 837 NEW BEST:: SOT 7245 SOS 5305 HAS SOPS 2868 HAS SOUS 2144 HAS SOUPS 1873 WITH SCORE 1878.305
AT ITER 843 NEW BEST:: SOT 7247 SOS 5307 HAS SOPS 2864 HAS SOUS 2142 HAS SOUPS 1871 WITH SCORE 1876.307
AT ITER 861 NEW BEST:: SOT 7241 SOS 5329 HAS SOPS 2882 HAS SOUS 2139 HAS SOUPS 1868 WITH SCORE 1873.329
AT ITER 871 NEW BEST:: SOT 7233 SOS 5325 HAS SOPS 2870 HAS SOUS 2135 HAS SOUPS 1864 WITH SCORE 1869.325
AT ITER 882 NEW BEST:: SOT 7227 SOS 5319 HAS SOPS 2861 HAS SOUS 2123 HAS SOUPS 1852 WITH SCORE 1857.319
AT ITER 910 NEW BEST:: SOT 7225 SOS 5317 HAS SOPS 2858 HAS SOUS 2114 HAS SOUPS 1843 WITH SCORE 1848.317
AT ITER 932 NEW BEST:: SOT 7223 SOS 5313 HAS SOPS 2854 HAS SOUS 2114 HAS SOUPS 1843 WITH SCORE 1848.313
AT ITER 943 NEW BEST:: SOT 7223 SOS 5313 HAS SOPS 2844 HAS SOUS 2094 HAS SOUPS 1823 WITH SCORE 1828.313
AT ITER 980 NEW BEST:: SOT 7221 SOS 5311 HAS SOPS 2846 HAS SOUS 2091 HAS SOUPS 1820 WITH SCORE 1825.311
AT ITER 1010 NEW BEST:: SOT 7191 SOS 5453 HAS SOPS 2893 HAS SOUS 2092 HAS SOUPS 1814 WITH SCORE 1819.453
AT ITER 1040 NEW BEST:: SOT 7181 SOS 5443 HAS SOPS 2878 HAS SOUS 2082 HAS SOUPS 1804 WITH SCORE 1809.443
AT ITER 1084 NEW BEST:: SOT 7169 SOS 5431 HAS SOPS 2862 HAS SOUS 2070 HAS SOUPS 1792 WITH SCORE 1797.431
AT ITER 1091 NEW BEST:: SOT 7163 SOS 5425 HAS SOPS 2873 HAS SOUS 2067 HAS SOUPS 1789 WITH SCORE 1794.425
AT ITER 1103 NEW BEST:: SOT 7161 SOS 5423 HAS SOPS 2872 HAS SOUS 2067 HAS SOUPS 1789 WITH SCORE 1794.423
AT ITER 1107 NEW BEST:: SOT 7155 SOS 5417 HAS SOPS 2860 HAS SOUS 2058 HAS SOUPS 1780 WITH SCORE 1785.417
AT ITER 1180 NEW BEST:: SOT 7157 SOS 5419 HAS SOPS 2808 HAS SOUS 2048 HAS SOUPS 1770 WITH SCORE 1775.419
AT ITER 1181 NEW BEST:: SOT 7149 SOS 5411 HAS SOPS 2800 HAS SOUS 2048 HAS SOUPS 1770 WITH SCORE 1775.411
AT ITER 1192 NEW BEST:: SOT 7133 SOS 5395 HAS SOPS 2800 HAS SOUS 2043 HAS SOUPS 1767 WITH SCORE 1772.395
AT ITER 1200 NEW BEST:: SOT 7133 SOS 5395 HAS SOPS 2800 HAS SOUS 2041 HAS SOUPS 1765 WITH SCORE 1770.395
AT ITER 1203 NEW BEST:: SOT 7123 SOS 5385 HAS SOPS 2785 HAS SOUS 2024 HAS SOUPS 1748 WITH SCORE 1753.385
AT ITER 1236 NEW BEST:: SOT 7107 SOS 5369 HAS SOPS 2761 HAS SOUS 1987 HAS SOUPS 1711 WITH SCORE 1716.369
AT ITER 1238 NEW BEST:: SOT 7107 SOS 5369 HAS SOPS 2761 HAS SOUS 1982 HAS SOUPS 1706 WITH SCORE 1711.369
AT ITER 1245 NEW BEST:: SOT 7099 SOS 5344 HAS SOPS 2736 HAS SOUS 1982 HAS SOUPS 1706 WITH SCORE 1711.344
AT ITER 1251 NEW BEST:: SOT 7108 SOS 5353 HAS SOPS 2745 HAS SOUS 1977 HAS SOUPS 1701 WITH SCORE 1706.353
AT ITER 1260 NEW BEST:: SOT 7104 SOS 5349 HAS SOPS 2742 HAS SOUS 1974 HAS SOUPS 1698 WITH SCORE 1703.349
AT ITER 1261 NEW BEST:: SOT 7110 SOS 5355 HAS SOPS 2711 HAS SOUS 1956 HAS SOUPS 1674 WITH SCORE 1679.355
AT ITER 1306 NEW BEST:: SOT 7114 SOS 5359 HAS SOPS 2717 HAS SOUS 1951 HAS SOUPS 1669 WITH SCORE 1674.359
AT ITER 1310 NEW BEST:: SOT 7114 SOS 5359 HAS SOPS 2708 HAS SOUS 1942 HAS SOUPS 1660 WITH SCORE 1665.359
AT ITER 1338 NEW BEST:: SOT 7114 SOS 5359 HAS SOPS 2708 HAS SOUS 1935 HAS SOUPS 1653 WITH SCORE 1658.359
AT ITER 1339 NEW BEST:: SOT 7114 SOS 5359 HAS SOPS 2708 HAS SOUS 1928 HAS SOUPS 1646 WITH SCORE 1651.359
AT ITER 1357 NEW BEST:: SOT 7104 SOS 5349 HAS SOPS 2665 HAS SOUS 1896 HAS SOUPS 1614 WITH SCORE 1619.349
AT ITER 1358 NEW BEST:: SOT 7116 SOS 5336 HAS SOPS 2635 HAS SOUS 1912 HAS SOUPS 1613 WITH SCORE 1618.336
AT ITER 1383 NEW BEST:: SOT 7112 SOS 5332 HAS SOPS 2629 HAS SOUS 1908 HAS SOUPS 1609 WITH SCORE 1614.332
AT ITER 1384 NEW BEST:: SOT 7108 SOS 5328 HAS SOPS 2623 HAS SOUS 1903 HAS SOUPS 1604 WITH SCORE 1609.328
AT ITER 1385 NEW BEST:: SOT 7100 SOS 5320 HAS SOPS 2633 HAS SOUS 1891 HAS SOUPS 1592 WITH SCORE 1597.32
AT ITER 1420 NEW BEST:: SOT 7092 SOS 5312 HAS SOPS 2617 HAS SOUS 1879 HAS SOUPS 1580 WITH SCORE 1585.312
AT ITER 1422 NEW BEST:: SOT 7092 SOS 5312 HAS SOPS 2617 HAS SOUS 1878 HAS SOUPS 1579 WITH SCORE 1584.312
AT ITER 1458 NEW BEST:: SOT 7092 SOS 5312 HAS SOPS 2595 HAS SOUS 1858 HAS SOUPS 1559 WITH SCORE 1564.312
AT ITER 1470 NEW BEST:: SOT 7086 SOS 5306 HAS SOPS 2586 HAS SOUS 1847 HAS SOUPS 1548 WITH SCORE 1553.306
AT ITER 1505 NEW BEST:: SOT 7079 SOS 5280 HAS SOPS 2560 HAS SOUS 1846 HAS SOUPS 1547 WITH SCORE 1552.28
AT ITER 1516 NEW BEST:: SOT 7071 SOS 5272 HAS SOPS 2548 HAS SOUS 1833 HAS SOUPS 1534 WITH SCORE 1539.272
AT ITER 1591 NEW BEST:: SOT 7071 SOS 5272 HAS SOPS 2548 HAS SOUS 1832 HAS SOUPS 1533 WITH SCORE 1538.272
AT ITER 1605 NEW BEST:: SOT 7058 SOS 5259 HAS SOPS 2527 HAS SOUS 1824 HAS SOUPS 1525 WITH SCORE 1530.259
AT ITER 1620 NEW BEST:: SOT 7062 SOS 5233 HAS SOPS 2518 HAS SOUS 1823 HAS SOUPS 1525 WITH SCORE 1530.233
AT ITER 1657 NEW BEST:: SOT 7056 SOS 5227 HAS SOPS 2515 HAS SOUS 1817 HAS SOUPS 1519 WITH SCORE 1524.227
AT ITER 1706 NEW BEST:: SOT 7062 SOS 5208 HAS SOPS 2512 HAS SOUS 1816 HAS SOUPS 1518 WITH SCORE 1523.208
AT ITER 1790 NEW BEST:: SOT 7059 SOS 5205 HAS SOPS 2506 HAS SOUS 1813 HAS SOUPS 1512 WITH SCORE 1517.205
AT ITER 1791 NEW BEST:: SOT 7041 SOS 5187 HAS SOPS 2482 HAS SOUS 1804 HAS SOUPS 1503 WITH SCORE 1508.187
AT ITER 1808 NEW BEST:: SOT 7041 SOS 5187 HAS SOPS 2462 HAS SOUS 1782 HAS SOUPS 1481 WITH SCORE 1486.187
AT ITER 1841 NEW BEST:: SOT 7040 SOS 5186 HAS SOPS 2461 HAS SOUS 1781 HAS SOUPS 1480 WITH SCORE 1485.186
AT ITER 1846 NEW BEST:: SOT 7040 SOS 5186 HAS SOPS 2461 HAS SOUS 1777 HAS SOUPS 1476 WITH SCORE 1481.186
AT ITER 1847 NEW BEST:: SOT 7036 SOS 5182 HAS SOPS 2455 HAS SOUS 1771 HAS SOUPS 1470 WITH SCORE 1475.182
AT ITER 1858 NEW BEST:: SOT 7034 SOS 5180 HAS SOPS 2451 HAS SOUS 1762 HAS SOUPS 1461 WITH SCORE 1466.18
AT ITER 1912 NEW BEST:: SOT 7036 SOS 5182 HAS SOPS 2448 HAS SOUS 1759 HAS SOUPS 1458 WITH SCORE 1463.182
AT ITER 1922 NEW BEST:: SOT 7034 SOS 5180 HAS SOPS 2449 HAS SOUS 1758 HAS SOUPS 1457 WITH SCORE 1462.18
AT ITER 1948 NEW BEST:: SOT 7034 SOS 5180 HAS SOPS 2449 HAS SOUS 1757 HAS SOUPS 1456 WITH SCORE 1461.18
AT ITER 1993 NEW BEST:: SOT 7030 SOS 5176 HAS SOPS 2443 HAS SOUS 1747 HAS SOUPS 1446 WITH SCORE 1451.176
AT ITER 1998 NEW BEST:: SOT 7030 SOS 5176 HAS SOPS 2435 HAS SOUS 1741 HAS SOUPS 1440 WITH SCORE 1445.176
AT ITER 2033 NEW BEST:: SOT 7028 SOS 5174 HAS SOPS 2416 HAS SOUS 1735 HAS SOUPS 1434 WITH SCORE 1439.174
AT ITER 2051 NEW BEST:: SOT 7026 SOS 5172 HAS SOPS 2417 HAS SOUS 1734 HAS SOUPS 1433 WITH SCORE 1438.172
AT ITER 2073 NEW BEST:: SOT 7026 SOS 5172 HAS SOPS 2413 HAS SOUS 1732 HAS SOUPS 1431 WITH SCORE 1436.172
AT ITER 2077 NEW BEST:: SOT 7024 SOS 5170 HAS SOPS 2410 HAS SOUS 1727 HAS SOUPS 1426 WITH SCORE 1431.17
AT ITER 2091 NEW BEST:: SOT 7026 SOS 5172 HAS SOPS 2408 HAS SOUS 1726 HAS SOUPS 1424 WITH SCORE 1429.172
AT ITER 2105 NEW BEST:: SOT 7028 SOS 5176 HAS SOPS 2400 HAS SOUS 1727 HAS SOUPS 1413 WITH SCORE 1418.176
AT ITER 2107 NEW BEST:: SOT 7021 SOS 5233 HAS SOPS 2423 HAS SOUS 1728 HAS SOUPS 1412 WITH SCORE 1417.233
AT ITER 2130 NEW BEST:: SOT 7021 SOS 5233 HAS SOPS 2423 HAS SOUS 1727 HAS SOUPS 1411 WITH SCORE 1416.233
AT ITER 2143 NEW BEST:: SOT 7014 SOS 5209 HAS SOPS 2405 HAS SOUS 1707 HAS SOUPS 1395 WITH SCORE 1400.209
AT ITER 2266 NEW BEST:: SOT 7008 SOS 5203 HAS SOPS 2396 HAS SOUS 1696 HAS SOUPS 1384 WITH SCORE 1389.203
AT ITER 2320 NEW BEST:: SOT 6978 SOS 5298 HAS SOPS 2411 HAS SOUS 1693 HAS SOUPS 1381 WITH SCORE 1386.298
AT ITER 2327 NEW BEST:: SOT 6978 SOS 5301 HAS SOPS 2408 HAS SOUS 1695 HAS SOUPS 1377 WITH SCORE 1382.301
AT ITER 2350 NEW BEST:: SOT 6977 SOS 5300 HAS SOPS 2407 HAS SOUS 1695 HAS SOUPS 1377 WITH SCORE 1382.3
AT ITER 2368 NEW BEST:: SOT 6975 SOS 5293 HAS SOPS 2400 HAS SOUS 1689 HAS SOUPS 1371 WITH SCORE 1376.293
AT ITER 2388 NEW BEST:: SOT 6967 SOS 5285 HAS SOPS 2392 HAS SOUS 1689 HAS SOUPS 1371 WITH SCORE 1376.285
AT ITER 2563 NEW BEST:: SOT 6967 SOS 5285 HAS SOPS 2392 HAS SOUS 1685 HAS SOUPS 1367 WITH SCORE 1372.285
AT ITER 2579 NEW BEST:: SOT 6929 SOS 5493 HAS SOPS 2472 HAS SOUS 1689 HAS SOUPS 1363 WITH SCORE 1368.493
AT ITER 2764 NEW BEST:: SOT 6911 SOS 5475 HAS SOPS 2454 HAS SOUS 1680 HAS SOUPS 1354 WITH SCORE 1359.475
AT ITER 2801 NEW BEST:: SOT 6910 SOS 5474 HAS SOPS 2455 HAS SOUS 1678 HAS SOUPS 1354 WITH SCORE 1359.474
AT ITER 2877 NEW BEST:: SOT 6910 SOS 5476 HAS SOPS 2455 HAS SOUS 1678 HAS SOUPS 1352 WITH SCORE 1357.476
AT ITER 2965 NEW BEST:: SOT 6902 SOS 5468 HAS SOPS 2427 HAS SOUS 1668 HAS SOUPS 1340 WITH SCORE 1345.468
AT ITER 3105 NEW BEST:: SOT 6913 SOS 5385 HAS SOPS 2395 HAS SOUS 1665 HAS SOUPS 1340 WITH SCORE 1345.385
AT ITER 3118 NEW BEST:: SOT 6911 SOS 5381 HAS SOPS 2394 HAS SOUS 1661 HAS SOUPS 1339 WITH SCORE 1344.381
AT ITER 3185 NEW BEST:: SOT 6912 SOS 5382 HAS SOPS 2395 HAS SOUS 1659 HAS SOUPS 1337 WITH SCORE 1342.382
AT ITER 3211 NEW BEST:: SOT 6910 SOS 5380 HAS SOPS 2395 HAS SOUS 1659 HAS SOUPS 1337 WITH SCORE 1342.38
AT ITER 3235 NEW BEST:: SOT 6900 SOS 5370 HAS SOPS 2396 HAS SOUS 1652 HAS SOUPS 1330 WITH SCORE 1335.37
AT ITER 3272 NEW BEST:: SOT 6896 SOS 5366 HAS SOPS 2386 HAS SOUS 1646 HAS SOUPS 1324 WITH SCORE 1329.366
AT ITER 3390 NEW BEST:: SOT 6893 SOS 5366 HAS SOPS 2382 HAS SOUS 1644 HAS SOUPS 1320 WITH SCORE 1325.366
AT ITER 3422 NEW BEST:: SOT 6888 SOS 5355 HAS SOPS 2379 HAS SOUS 1636 HAS SOUPS 1318 WITH SCORE 1323.355
AT ITER 3456 NEW BEST:: SOT 6887 SOS 5354 HAS SOPS 2378 HAS SOUS 1636 HAS SOUPS 1318 WITH SCORE 1323.354
AT ITER 3544 NEW BEST:: SOT 6882 SOS 5349 HAS SOPS 2373 HAS SOUS 1632 HAS SOUPS 1314 WITH SCORE 1319.349
AT ITER 3648 NEW BEST:: SOT 6882 SOS 5349 HAS SOPS 2369 HAS SOUS 1628 HAS SOUPS 1310 WITH SCORE 1315.349
AT ITER 3665 NEW BEST:: SOT 6880 SOS 5347 HAS SOPS 2369 HAS SOUS 1628 HAS SOUPS 1310 WITH SCORE 1315.347
AT ITER 3684 NEW BEST:: SOT 6892 SOS 5360 HAS SOPS 2387 HAS SOUS 1627 HAS SOUPS 1309 WITH SCORE 1314.36
AT ITER 3723 NEW BEST:: SOT 6895 SOS 5357 HAS SOPS 2384 HAS SOUS 1623 HAS SOUPS 1305 WITH SCORE 1310.357
AT ITER 3770 NEW BEST:: SOT 6898 SOS 5326 HAS SOPS 2369 HAS SOUS 1620 HAS SOUPS 1302 WITH SCORE 1307.326
AT ITER 3776 NEW BEST:: SOT 6901 SOS 5329 HAS SOPS 2371 HAS SOUS 1618 HAS SOUPS 1300 WITH SCORE 1305.329
AT ITER 3849 NEW BEST:: SOT 6901 SOS 5329 HAS SOPS 2371 HAS SOUS 1616 HAS SOUPS 1298 WITH SCORE 1303.329
AT ITER 3876 NEW BEST:: SOT 6903 SOS 5331 HAS SOPS 2367 HAS SOUS 1613 HAS SOUPS 1295 WITH SCORE 1300.331
AT ITER 3990 NEW BEST:: SOT 6903 SOS 5330 HAS SOPS 2367 HAS SOUS 1613 HAS SOUPS 1295 WITH SCORE 1300.33
AT ITER 4022 NEW BEST:: SOT 6903 SOS 5330 HAS SOPS 2364 HAS SOUS 1609 HAS SOUPS 1291 WITH SCORE 1296.33
AT ITER 4112 NEW BEST:: SOT 6902 SOS 5324 HAS SOPS 2358 HAS SOUS 1609 HAS SOUPS 1291 WITH SCORE 1296.324
AT ITER 4175 NEW BEST:: SOT 6906 SOS 5294 HAS SOPS 2345 HAS SOUS 1608 HAS SOUPS 1291 WITH SCORE 1296.294
AT ITER 4183 NEW BEST:: SOT 6906 SOS 5294 HAS SOPS 2345 HAS SOUS 1607 HAS SOUPS 1290 WITH SCORE 1295.294
AT ITER 4258 NEW BEST:: SOT 6900 SOS 5288 HAS SOPS 2315 HAS SOUS 1603 HAS SOUPS 1280 WITH SCORE 1285.288
AT ITER 4269 NEW BEST:: SOT 6895 SOS 5283 HAS SOPS 2310 HAS SOUS 1603 HAS SOUPS 1280 WITH SCORE 1285.283
AT ITER 4275 NEW BEST:: SOT 6904 SOS 5196 HAS SOPS 2271 HAS SOUS 1598 HAS SOUPS 1278 WITH SCORE 1283.196
AT ITER 4422 NEW BEST:: SOT 6904 SOS 5196 HAS SOPS 2271 HAS SOUS 1597 HAS SOUPS 1277 WITH SCORE 1282.196
AT ITER 4455 NEW BEST:: SOT 6902 SOS 5194 HAS SOPS 2268 HAS SOUS 1593 HAS SOUPS 1273 WITH SCORE 1278.194
AT ITER 4553 NEW BEST:: SOT 6898 SOS 5190 HAS SOPS 2262 HAS SOUS 1585 HAS SOUPS 1265 WITH SCORE 1270.19
AT ITER 4656 NEW BEST:: SOT 6896 SOS 5188 HAS SOPS 2258 HAS SOUS 1579 HAS SOUPS 1259 WITH SCORE 1264.188
AT ITER 4657 NEW BEST:: SOT 6895 SOS 5188 HAS SOPS 2256 HAS SOUS 1579 HAS SOUPS 1258 WITH SCORE 1263.188
AT ITER 4697 NEW BEST:: SOT 6893 SOS 5186 HAS SOPS 2252 HAS SOUS 1572 HAS SOUPS 1251 WITH SCORE 1256.186
AT ITER 4756 NEW BEST:: SOT 6889 SOS 5182 HAS SOPS 2244 HAS SOUS 1565 HAS SOUPS 1244 WITH SCORE 1249.182
AT ITER 4767 NEW BEST:: SOT 6910 SOS 5009 HAS SOPS 2157 HAS SOUS 1552 HAS SOUPS 1237 WITH SCORE 1242.009
AT ITER 4914 NEW BEST:: SOT 6908 SOS 5007 HAS SOPS 2153 HAS SOUS 1547 HAS SOUPS 1232 WITH SCORE 1237.007
AT ITER 4920 NEW BEST:: SOT 6907 SOS 5005 HAS SOPS 2151 HAS SOUS 1547 HAS SOUPS 1232 WITH SCORE 1237.005
AT ITER 5074 NEW BEST:: SOT 6905 SOS 5003 HAS SOPS 2151 HAS SOUS 1546 HAS SOUPS 1232 WITH SCORE 1237.003
AT ITER 5100 NEW BEST:: SOT 6902 SOS 5008 HAS SOPS 2151 HAS SOUS 1546 HAS SOUPS 1227 WITH SCORE 1232.008
AT ITER 5168 NEW BEST:: SOT 6900 SOS 5006 HAS SOPS 2149 HAS SOUS 1545 HAS SOUPS 1226 WITH SCORE 1231.006
AT ITER 5299 NEW BEST:: SOT 6898 SOS 4999 HAS SOPS 2142 HAS SOUS 1539 HAS SOUPS 1220 WITH SCORE 1224.999
AT ITER 5386 NEW BEST:: SOT 6894 SOS 4991 HAS SOPS 2134 HAS SOUS 1537 HAS SOUPS 1218 WITH SCORE 1222.991
AT ITER 5415 NEW BEST:: SOT 6884 SOS 5036 HAS SOPS 2147 HAS SOUS 1536 HAS SOUPS 1217 WITH SCORE 1222.036
AT ITER 5555 NEW BEST:: SOT 6888 SOS 5010 HAS SOPS 2138 HAS SOUS 1535 HAS SOUPS 1217 WITH SCORE 1222.01
AT ITER 5601 NEW BEST:: SOT 6886 SOS 5008 HAS SOPS 2135 HAS SOUS 1531 HAS SOUPS 1213 WITH SCORE 1218.008
AT ITER 5969 NEW BEST:: SOT 6886 SOS 5007 HAS SOPS 2134 HAS SOUS 1531 HAS SOUPS 1213 WITH SCORE 1218.007
AT ITER 5985 NEW BEST:: SOT 6880 SOS 5001 HAS SOPS 2128 HAS SOUS 1527 HAS SOUPS 1209 WITH SCORE 1214.001
AT ITER 6034 NEW BEST:: SOT 6878 SOS 4999 HAS SOPS 2124 HAS SOUS 1523 HAS SOUPS 1205 WITH SCORE 1209.999
AT ITER 6352 NEW BEST:: SOT 6877 SOS 4997 HAS SOPS 2124 HAS SOUS 1521 HAS SOUPS 1205 WITH SCORE 1209.997
AT ITER 6581 NEW BEST:: SOT 6879 SOS 4999 HAS SOPS 2122 HAS SOUS 1519 HAS SOUPS 1203 WITH SCORE 1207.999
AT ITER 6706 NEW BEST:: SOT 6879 SOS 5000 HAS SOPS 2122 HAS SOUS 1519 HAS SOUPS 1202 WITH SCORE 1207.0
AT ITER 7384 NEW BEST:: SOT 6879 SOS 5000 HAS SOPS 2122 HAS SOUS 1517 HAS SOUPS 1200 WITH SCORE 1205.0
AT ITER 7439 NEW BEST:: SOT 6877 SOS 4998 HAS SOPS 2124 HAS SOUS 1517 HAS SOUPS 1200 WITH SCORE 1204.998
AT ITER 7923 NEW BEST:: SOT 6877 SOS 4998 HAS SOPS 2120 HAS SOUS 1514 HAS SOUPS 1197 WITH SCORE 1201.998
AT ITER 8396 NEW BEST:: SOT 6877 SOS 4998 HAS SOPS 2117 HAS SOUS 1511 HAS SOUPS 1194 WITH SCORE 1198.998
AT ITER 8574 NEW BEST:: SOT 6875 SOS 4996 HAS SOPS 2114 HAS SOUS 1507 HAS SOUPS 1190 WITH SCORE 1194.996
AT ITER 9837 NEW BEST:: SOT 6873 SOS 4994 HAS SOPS 2116 HAS SOUS 1507 HAS SOUPS 1190 WITH SCORE 1194.994
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 1589796290534

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

# 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 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 r138-smll-158961502600240"
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 ;