Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r093-oct2-158940140500424.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
......................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is JoinFreeModules-PT-0020, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r093-oct2-158940140500424
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 284K
-rw-r--r-- 1 mcc users 4.0K Apr 7 18:56 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 7 18:56 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Apr 6 20:39 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 6 20:39 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Apr 14 12:40 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 14 12:40 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Apr 6 04:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 6 04:07 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 5 10:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 5 10:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 6 20:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 6 20:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 113K 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 1589616747493

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running JoinFreeModules (PT), instance 0020
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 101 places, 161 transitions, 462 arcs.
AT ITER 0 NEW BEST:: SOT 11381 SOS 7781 HAS SOPS 7760 HAS SOUS 7781 HAS SOUPS 7760 WITH SCORE 7767.781
AT ITER 1 NEW BEST:: SOT 11431 SOS 7767 HAS SOPS 7746 HAS SOUS 7731 HAS SOUPS 7710 WITH SCORE 7717.767
AT ITER 4 NEW BEST:: SOT 11467 SOS 7731 HAS SOPS 7710 HAS SOUS 7695 HAS SOUPS 7674 WITH SCORE 7681.731
AT ITER 7 NEW BEST:: SOT 11428 SOS 7638 HAS SOPS 7617 HAS SOUS 7599 HAS SOUPS 7578 WITH SCORE 7585.638
AT ITER 9 NEW BEST:: SOT 11444 SOS 7673 HAS SOPS 7583 HAS SOUS 7596 HAS SOUPS 7506 WITH SCORE 7513.673
AT ITER 11 NEW BEST:: SOT 11454 SOS 7652 HAS SOPS 7562 HAS SOUS 7596 HAS SOUPS 7506 WITH SCORE 7513.652
AT ITER 13 NEW BEST:: SOT 11439 SOS 7625 HAS SOPS 7535 HAS SOUS 7539 HAS SOUPS 7449 WITH SCORE 7456.625
AT ITER 14 NEW BEST:: SOT 11422 SOS 7534 HAS SOPS 7444 HAS SOUS 7442 HAS SOUPS 7352 WITH SCORE 7359.534
AT ITER 18 NEW BEST:: SOT 11435 SOS 7521 HAS SOPS 7431 HAS SOUS 7442 HAS SOUPS 7352 WITH SCORE 7359.521
AT ITER 20 NEW BEST:: SOT 11427 SOS 7509 HAS SOPS 7419 HAS SOUS 7430 HAS SOUPS 7340 WITH SCORE 7347.509
AT ITER 22 NEW BEST:: SOT 11326 SOS 7368 HAS SOPS 7278 HAS SOUS 7290 HAS SOUPS 7200 WITH SCORE 7207.368
AT ITER 23 NEW BEST:: SOT 11311 SOS 7309 HAS SOPS 7234 HAS SOUS 7231 HAS SOUPS 7156 WITH SCORE 7163.309
AT ITER 25 NEW BEST:: SOT 11330 SOS 7210 HAS SOPS 7135 HAS SOUS 7132 HAS SOUPS 7057 WITH SCORE 7064.21
AT ITER 26 NEW BEST:: SOT 11304 SOS 7154 HAS SOPS 7079 HAS SOUS 7076 HAS SOUPS 7001 WITH SCORE 7008.154
AT ITER 27 NEW BEST:: SOT 11304 SOS 7129 HAS SOPS 7054 HAS SOUS 7051 HAS SOUPS 6976 WITH SCORE 6983.129
AT ITER 28 NEW BEST:: SOT 11296 SOS 7081 HAS SOPS 7006 HAS SOUS 7003 HAS SOUPS 6928 WITH SCORE 6935.081
AT ITER 29 NEW BEST:: SOT 11238 SOS 7023 HAS SOPS 6948 HAS SOUS 6945 HAS SOUPS 6870 WITH SCORE 6877.023
AT ITER 31 NEW BEST:: SOT 11182 SOS 6845 HAS SOPS 6770 HAS SOUS 6773 HAS SOUPS 6698 WITH SCORE 6704.845
AT ITER 32 NEW BEST:: SOT 11126 SOS 6789 HAS SOPS 6714 HAS SOUS 6717 HAS SOUPS 6642 WITH SCORE 6648.789
AT ITER 36 NEW BEST:: SOT 11137 SOS 6764 HAS SOPS 6689 HAS SOUS 6692 HAS SOUPS 6617 WITH SCORE 6623.764
AT ITER 38 NEW BEST:: SOT 11137 SOS 6745 HAS SOPS 6659 HAS SOUS 6673 HAS SOUPS 6587 WITH SCORE 6593.745
AT ITER 40 NEW BEST:: SOT 11141 SOS 6742 HAS SOPS 6656 HAS SOUS 6670 HAS SOUPS 6584 WITH SCORE 6590.742
AT ITER 42 NEW BEST:: SOT 11122 SOS 6641 HAS SOPS 6555 HAS SOUS 6563 HAS SOUPS 6477 WITH SCORE 6483.641
AT ITER 43 NEW BEST:: SOT 11102 SOS 6603 HAS SOPS 6517 HAS SOUS 6525 HAS SOUPS 6439 WITH SCORE 6445.603
AT ITER 45 NEW BEST:: SOT 11046 SOS 6512 HAS SOPS 6426 HAS SOUS 6434 HAS SOUPS 6348 WITH SCORE 6354.512
AT ITER 50 NEW BEST:: SOT 11042 SOS 6492 HAS SOPS 6406 HAS SOUS 6414 HAS SOUPS 6328 WITH SCORE 6334.492
AT ITER 54 NEW BEST:: SOT 11097 SOS 6494 HAS SOPS 6408 HAS SOUS 6388 HAS SOUPS 6302 WITH SCORE 6308.494
AT ITER 55 NEW BEST:: SOT 11045 SOS 6442 HAS SOPS 6356 HAS SOUS 6336 HAS SOUPS 6250 WITH SCORE 6256.442
AT ITER 56 NEW BEST:: SOT 10992 SOS 6393 HAS SOPS 6301 HAS SOUS 6287 HAS SOUPS 6195 WITH SCORE 6201.393
AT ITER 58 NEW BEST:: SOT 11123 SOS 6298 HAS SOPS 6202 HAS SOUS 6153 HAS SOUPS 6057 WITH SCORE 6063.298
AT ITER 61 NEW BEST:: SOT 11109 SOS 6278 HAS SOPS 6182 HAS SOUS 6133 HAS SOUPS 6037 WITH SCORE 6043.278
AT ITER 62 NEW BEST:: SOT 11119 SOS 6258 HAS SOPS 6162 HAS SOUS 6079 HAS SOUPS 5983 WITH SCORE 5989.258
AT ITER 64 NEW BEST:: SOT 11126 SOS 6233 HAS SOPS 6137 HAS SOUS 6075 HAS SOUPS 5979 WITH SCORE 5985.233
AT ITER 66 NEW BEST:: SOT 11120 SOS 6209 HAS SOPS 6113 HAS SOUS 6057 HAS SOUPS 5961 WITH SCORE 5967.209
AT ITER 74 NEW BEST:: SOT 11118 SOS 6120 HAS SOPS 6024 HAS SOUS 5940 HAS SOUPS 5844 WITH SCORE 5850.12
AT ITER 76 NEW BEST:: SOT 11123 SOS 6075 HAS SOPS 5979 HAS SOUS 5840 HAS SOUPS 5744 WITH SCORE 5750.075
AT ITER 80 NEW BEST:: SOT 11078 SOS 6009 HAS SOPS 5913 HAS SOUS 5789 HAS SOUPS 5693 WITH SCORE 5699.009
AT ITER 81 NEW BEST:: SOT 11139 SOS 6005 HAS SOPS 5909 HAS SOUS 5772 HAS SOUPS 5676 WITH SCORE 5682.005
AT ITER 84 NEW BEST:: SOT 11043 SOS 5778 HAS SOPS 5682 HAS SOUS 5485 HAS SOUPS 5389 WITH SCORE 5394.778
AT ITER 85 NEW BEST:: SOT 11043 SOS 5762 HAS SOPS 5666 HAS SOUS 5485 HAS SOUPS 5389 WITH SCORE 5394.762
AT ITER 97 NEW BEST:: SOT 10987 SOS 5576 HAS SOPS 5480 HAS SOUS 5333 HAS SOUPS 5237 WITH SCORE 5242.576
AT ITER 99 NEW BEST:: SOT 10971 SOS 5555 HAS SOPS 5459 HAS SOUS 5312 HAS SOUPS 5216 WITH SCORE 5221.555
AT ITER 101 NEW BEST:: SOT 10962 SOS 5546 HAS SOPS 5450 HAS SOUS 5303 HAS SOUPS 5207 WITH SCORE 5212.546
AT ITER 103 NEW BEST:: SOT 10881 SOS 5382 HAS SOPS 5286 HAS SOUS 5180 HAS SOUPS 5084 WITH SCORE 5089.382
AT ITER 104 NEW BEST:: SOT 10878 SOS 5371 HAS SOPS 5275 HAS SOUS 5171 HAS SOUPS 5075 WITH SCORE 5080.371
AT ITER 106 NEW BEST:: SOT 10859 SOS 5352 HAS SOPS 5256 HAS SOUS 5152 HAS SOUPS 5056 WITH SCORE 5061.352
AT ITER 108 NEW BEST:: SOT 10863 SOS 5342 HAS SOPS 5246 HAS SOUS 5142 HAS SOUPS 5046 WITH SCORE 5051.342
AT ITER 111 NEW BEST:: SOT 10847 SOS 5278 HAS SOPS 5182 HAS SOUS 5094 HAS SOUPS 4998 WITH SCORE 5003.278
AT ITER 112 NEW BEST:: SOT 10837 SOS 5249 HAS SOPS 5153 HAS SOUS 5065 HAS SOUPS 4969 WITH SCORE 4974.249
AT ITER 119 NEW BEST:: SOT 10818 SOS 5229 HAS SOPS 5133 HAS SOUS 5030 HAS SOUPS 4934 WITH SCORE 4939.229
AT ITER 120 NEW BEST:: SOT 10810 SOS 5221 HAS SOPS 5125 HAS SOUS 5022 HAS SOUPS 4926 WITH SCORE 4931.221
AT ITER 128 NEW BEST:: SOT 10808 SOS 5210 HAS SOPS 5114 HAS SOUS 5013 HAS SOUPS 4917 WITH SCORE 4922.21
AT ITER 129 NEW BEST:: SOT 10782 SOS 5088 HAS SOPS 4992 HAS SOUS 4907 HAS SOUPS 4811 WITH SCORE 4816.088
AT ITER 134 NEW BEST:: SOT 10770 SOS 5072 HAS SOPS 4976 HAS SOUS 4891 HAS SOUPS 4795 WITH SCORE 4800.072
AT ITER 140 NEW BEST:: SOT 10769 SOS 5071 HAS SOPS 4974 HAS SOUS 4890 HAS SOUPS 4793 WITH SCORE 4798.071
AT ITER 144 NEW BEST:: SOT 10611 SOS 4683 HAS SOPS 4586 HAS SOUS 4552 HAS SOUPS 4455 WITH SCORE 4459.683
AT ITER 146 NEW BEST:: SOT 10567 SOS 4595 HAS SOPS 4498 HAS SOUS 4464 HAS SOUPS 4367 WITH SCORE 4371.595
AT ITER 149 NEW BEST:: SOT 10544 SOS 4578 HAS SOPS 4481 HAS SOUS 4447 HAS SOUPS 4350 WITH SCORE 4354.578
AT ITER 164 NEW BEST:: SOT 10545 SOS 4568 HAS SOPS 4471 HAS SOUS 4435 HAS SOUPS 4338 WITH SCORE 4342.568
AT ITER 174 NEW BEST:: SOT 10433 SOS 4479 HAS SOPS 4382 HAS SOUS 4346 HAS SOUPS 4249 WITH SCORE 4253.479
AT ITER 175 NEW BEST:: SOT 10426 SOS 4462 HAS SOPS 4365 HAS SOUS 4329 HAS SOUPS 4232 WITH SCORE 4236.462
AT ITER 181 NEW BEST:: SOT 10429 SOS 4460 HAS SOPS 4363 HAS SOUS 4327 HAS SOUPS 4230 WITH SCORE 4234.46
AT ITER 189 NEW BEST:: SOT 10388 SOS 4379 HAS SOPS 4282 HAS SOUS 4246 HAS SOUPS 4149 WITH SCORE 4153.379
AT ITER 192 NEW BEST:: SOT 10362 SOS 4360 HAS SOPS 4263 HAS SOUS 4227 HAS SOUPS 4130 WITH SCORE 4134.36
AT ITER 195 NEW BEST:: SOT 10333 SOS 4339 HAS SOPS 4242 HAS SOUS 4206 HAS SOUPS 4109 WITH SCORE 4113.339
AT ITER 199 NEW BEST:: SOT 10317 SOS 4315 HAS SOPS 4218 HAS SOUS 4182 HAS SOUPS 4085 WITH SCORE 4089.315
AT ITER 200 NEW BEST:: SOT 10303 SOS 4288 HAS SOPS 4191 HAS SOUS 4169 HAS SOUPS 4072 WITH SCORE 4076.288
AT ITER 205 NEW BEST:: SOT 10282 SOS 4259 HAS SOPS 4162 HAS SOUS 4140 HAS SOUPS 4043 WITH SCORE 4047.259
AT ITER 210 NEW BEST:: SOT 10277 SOS 4244 HAS SOPS 4147 HAS SOUS 4125 HAS SOUPS 4028 WITH SCORE 4032.244
AT ITER 215 NEW BEST:: SOT 10211 SOS 4156 HAS SOPS 4059 HAS SOUS 4037 HAS SOUPS 3940 WITH SCORE 3944.156
AT ITER 224 NEW BEST:: SOT 10197 SOS 4114 HAS SOPS 4017 HAS SOUS 4009 HAS SOUPS 3912 WITH SCORE 3916.114
AT ITER 227 NEW BEST:: SOT 10123 SOS 3961 HAS SOPS 3864 HAS SOUS 3856 HAS SOUPS 3759 WITH SCORE 3762.961
AT ITER 240 NEW BEST:: SOT 10108 SOS 3941 HAS SOPS 3844 HAS SOUS 3836 HAS SOUPS 3739 WITH SCORE 3742.941
AT ITER 253 NEW BEST:: SOT 10108 SOS 3941 HAS SOPS 3844 HAS SOUS 3827 HAS SOUPS 3730 WITH SCORE 3733.941
AT ITER 257 NEW BEST:: SOT 10064 SOS 3871 HAS SOPS 3774 HAS SOUS 3731 HAS SOUPS 3634 WITH SCORE 3637.871
AT ITER 260 NEW BEST:: SOT 10061 SOS 3862 HAS SOPS 3765 HAS SOUS 3722 HAS SOUPS 3625 WITH SCORE 3628.862
AT ITER 269 NEW BEST:: SOT 10051 SOS 3834 HAS SOPS 3737 HAS SOUS 3709 HAS SOUPS 3612 WITH SCORE 3615.834
AT ITER 272 NEW BEST:: SOT 10042 SOS 3822 HAS SOPS 3725 HAS SOUS 3697 HAS SOUPS 3600 WITH SCORE 3603.822
AT ITER 274 NEW BEST:: SOT 9958 SOS 3695 HAS SOPS 3598 HAS SOUS 3550 HAS SOUPS 3453 WITH SCORE 3456.695
AT ITER 275 NEW BEST:: SOT 9930 SOS 3658 HAS SOPS 3561 HAS SOUS 3513 HAS SOUPS 3416 WITH SCORE 3419.658
AT ITER 277 NEW BEST:: SOT 9930 SOS 3628 HAS SOPS 3531 HAS SOUS 3502 HAS SOUPS 3405 WITH SCORE 3408.628
AT ITER 283 NEW BEST:: SOT 9926 SOS 3622 HAS SOPS 3525 HAS SOUS 3489 HAS SOUPS 3392 WITH SCORE 3395.622
AT ITER 284 NEW BEST:: SOT 9922 SOS 3618 HAS SOPS 3521 HAS SOUS 3485 HAS SOUPS 3388 WITH SCORE 3391.618
AT ITER 286 NEW BEST:: SOT 9947 SOS 3589 HAS SOPS 3492 HAS SOUS 3456 HAS SOUPS 3359 WITH SCORE 3362.589
AT ITER 290 NEW BEST:: SOT 9947 SOS 3586 HAS SOPS 3489 HAS SOUS 3453 HAS SOUPS 3356 WITH SCORE 3359.586
AT ITER 298 NEW BEST:: SOT 9947 SOS 3586 HAS SOPS 3489 HAS SOUS 3445 HAS SOUPS 3348 WITH SCORE 3351.586
AT ITER 304 NEW BEST:: SOT 9944 SOS 3582 HAS SOPS 3485 HAS SOUS 3441 HAS SOUPS 3344 WITH SCORE 3347.582
AT ITER 306 NEW BEST:: SOT 9929 SOS 3528 HAS SOPS 3431 HAS SOUS 3387 HAS SOUPS 3290 WITH SCORE 3293.528
AT ITER 308 NEW BEST:: SOT 9899 SOS 3516 HAS SOPS 3419 HAS SOUS 3371 HAS SOUPS 3274 WITH SCORE 3277.516
AT ITER 310 NEW BEST:: SOT 9885 SOS 3502 HAS SOPS 3405 HAS SOUS 3357 HAS SOUPS 3260 WITH SCORE 3263.502
AT ITER 332 NEW BEST:: SOT 9870 SOS 3482 HAS SOPS 3385 HAS SOUS 3337 HAS SOUPS 3240 WITH SCORE 3243.482
AT ITER 333 NEW BEST:: SOT 9906 SOS 3445 HAS SOPS 3348 HAS SOUS 3300 HAS SOUPS 3203 WITH SCORE 3206.445
AT ITER 334 NEW BEST:: SOT 9891 SOS 3421 HAS SOPS 3324 HAS SOUS 3276 HAS SOUPS 3179 WITH SCORE 3182.421
AT ITER 340 NEW BEST:: SOT 9876 SOS 3359 HAS SOPS 3262 HAS SOUS 3236 HAS SOUPS 3139 WITH SCORE 3142.359
AT ITER 352 NEW BEST:: SOT 9853 SOS 3306 HAS SOPS 3209 HAS SOUS 3214 HAS SOUPS 3117 WITH SCORE 3120.306
AT ITER 361 NEW BEST:: SOT 9756 SOS 3184 HAS SOPS 3087 HAS SOUS 3076 HAS SOUPS 2979 WITH SCORE 2982.184
AT ITER 375 NEW BEST:: SOT 9716 SOS 3104 HAS SOPS 3007 HAS SOUS 2996 HAS SOUPS 2899 WITH SCORE 2902.104
AT ITER 377 NEW BEST:: SOT 9707 SOS 3050 HAS SOPS 2953 HAS SOUS 2940 HAS SOUPS 2843 WITH SCORE 2846.05
AT ITER 386 NEW BEST:: SOT 9685 SOS 2986 HAS SOPS 2889 HAS SOUS 2889 HAS SOUPS 2792 WITH SCORE 2794.986
AT ITER 392 NEW BEST:: SOT 9687 SOS 2984 HAS SOPS 2887 HAS SOUS 2884 HAS SOUPS 2787 WITH SCORE 2789.984
AT ITER 400 NEW BEST:: SOT 9670 SOS 2964 HAS SOPS 2867 HAS SOUS 2864 HAS SOUPS 2767 WITH SCORE 2769.964
AT ITER 407 NEW BEST:: SOT 9655 SOS 2925 HAS SOPS 2828 HAS SOUS 2815 HAS SOUPS 2718 WITH SCORE 2720.925
AT ITER 408 NEW BEST:: SOT 9598 SOS 2862 HAS SOPS 2765 HAS SOUS 2747 HAS SOUPS 2650 WITH SCORE 2652.862
AT ITER 411 NEW BEST:: SOT 9580 SOS 2844 HAS SOPS 2747 HAS SOUS 2723 HAS SOUPS 2626 WITH SCORE 2628.844
AT ITER 415 NEW BEST:: SOT 9547 SOS 2759 HAS SOPS 2662 HAS SOUS 2656 HAS SOUPS 2559 WITH SCORE 2561.759
AT ITER 427 NEW BEST:: SOT 9547 SOS 2725 HAS SOPS 2628 HAS SOUS 2630 HAS SOUPS 2533 WITH SCORE 2535.725
AT ITER 440 NEW BEST:: SOT 9545 SOS 2711 HAS SOPS 2614 HAS SOUS 2616 HAS SOUPS 2519 WITH SCORE 2521.711
AT ITER 451 NEW BEST:: SOT 9519 SOS 2655 HAS SOPS 2558 HAS SOUS 2565 HAS SOUPS 2468 WITH SCORE 2470.655
AT ITER 464 NEW BEST:: SOT 9511 SOS 2626 HAS SOPS 2529 HAS SOUS 2546 HAS SOUPS 2449 WITH SCORE 2451.626
AT ITER 474 NEW BEST:: SOT 9498 SOS 2590 HAS SOPS 2493 HAS SOUS 2510 HAS SOUPS 2413 WITH SCORE 2415.59
AT ITER 475 NEW BEST:: SOT 9490 SOS 2570 HAS SOPS 2473 HAS SOUS 2490 HAS SOUPS 2393 WITH SCORE 2395.57
AT ITER 479 NEW BEST:: SOT 9490 SOS 2563 HAS SOPS 2466 HAS SOUS 2490 HAS SOUPS 2393 WITH SCORE 2395.563
AT ITER 524 NEW BEST:: SOT 9488 SOS 2554 HAS SOPS 2457 HAS SOUS 2484 HAS SOUPS 2387 WITH SCORE 2389.554
AT ITER 534 NEW BEST:: SOT 9483 SOS 2534 HAS SOPS 2437 HAS SOUS 2464 HAS SOUPS 2367 WITH SCORE 2369.534
AT ITER 539 NEW BEST:: SOT 9465 SOS 2504 HAS SOPS 2407 HAS SOUS 2428 HAS SOUPS 2331 WITH SCORE 2333.504
AT ITER 541 NEW BEST:: SOT 9452 SOS 2482 HAS SOPS 2385 HAS SOUS 2407 HAS SOUPS 2310 WITH SCORE 2312.482
AT ITER 546 NEW BEST:: SOT 9450 SOS 2477 HAS SOPS 2380 HAS SOUS 2404 HAS SOUPS 2307 WITH SCORE 2309.477
AT ITER 547 NEW BEST:: SOT 9446 SOS 2469 HAS SOPS 2372 HAS SOUS 2397 HAS SOUPS 2300 WITH SCORE 2302.469
AT ITER 549 NEW BEST:: SOT 9440 SOS 2453 HAS SOPS 2356 HAS SOUS 2381 HAS SOUPS 2284 WITH SCORE 2286.453
AT ITER 556 NEW BEST:: SOT 9432 SOS 2437 HAS SOPS 2340 HAS SOUS 2365 HAS SOUPS 2268 WITH SCORE 2270.437
AT ITER 573 NEW BEST:: SOT 9420 SOS 2419 HAS SOPS 2322 HAS SOUS 2347 HAS SOUPS 2250 WITH SCORE 2252.419
AT ITER 574 NEW BEST:: SOT 9419 SOS 2418 HAS SOPS 2321 HAS SOUS 2346 HAS SOUPS 2249 WITH SCORE 2251.418
AT ITER 592 NEW BEST:: SOT 9413 SOS 2394 HAS SOPS 2297 HAS SOUS 2328 HAS SOUPS 2231 WITH SCORE 2233.394
AT ITER 603 NEW BEST:: SOT 9413 SOS 2392 HAS SOPS 2295 HAS SOUS 2326 HAS SOUPS 2229 WITH SCORE 2231.392
AT ITER 607 NEW BEST:: SOT 9413 SOS 2390 HAS SOPS 2293 HAS SOUS 2324 HAS SOUPS 2227 WITH SCORE 2229.39
AT ITER 647 NEW BEST:: SOT 9409 SOS 2387 HAS SOPS 2290 HAS SOUS 2321 HAS SOUPS 2224 WITH SCORE 2226.387
AT ITER 651 NEW BEST:: SOT 9364 SOS 2339 HAS SOPS 2242 HAS SOUS 2294 HAS SOUPS 2197 WITH SCORE 2199.339
AT ITER 655 NEW BEST:: SOT 9360 SOS 2331 HAS SOPS 2234 HAS SOUS 2286 HAS SOUPS 2189 WITH SCORE 2191.331
AT ITER 664 NEW BEST:: SOT 9360 SOS 2330 HAS SOPS 2233 HAS SOUS 2285 HAS SOUPS 2188 WITH SCORE 2190.33
AT ITER 672 NEW BEST:: SOT 9358 SOS 2328 HAS SOPS 2231 HAS SOUS 2283 HAS SOUPS 2186 WITH SCORE 2188.328
AT ITER 673 NEW BEST:: SOT 9359 SOS 2325 HAS SOPS 2228 HAS SOUS 2280 HAS SOUPS 2183 WITH SCORE 2185.325
AT ITER 676 NEW BEST:: SOT 9342 SOS 2317 HAS SOPS 2220 HAS SOUS 2274 HAS SOUPS 2177 WITH SCORE 2179.317
AT ITER 695 NEW BEST:: SOT 9340 SOS 2301 HAS SOPS 2204 HAS SOUS 2264 HAS SOUPS 2167 WITH SCORE 2169.301
AT ITER 697 NEW BEST:: SOT 9337 SOS 2297 HAS SOPS 2200 HAS SOUS 2260 HAS SOUPS 2163 WITH SCORE 2165.297
AT ITER 711 NEW BEST:: SOT 9336 SOS 2294 HAS SOPS 2197 HAS SOUS 2257 HAS SOUPS 2160 WITH SCORE 2162.294
AT ITER 722 NEW BEST:: SOT 9368 SOS 2275 HAS SOPS 2178 HAS SOUS 2238 HAS SOUPS 2141 WITH SCORE 2143.275
AT ITER 724 NEW BEST:: SOT 9368 SOS 2275 HAS SOPS 2178 HAS SOUS 2226 HAS SOUPS 2129 WITH SCORE 2131.275
AT ITER 730 NEW BEST:: SOT 9349 SOS 2232 HAS SOPS 2135 HAS SOUS 2200 HAS SOUPS 2103 WITH SCORE 2105.232
AT ITER 773 NEW BEST:: SOT 9345 SOS 2224 HAS SOPS 2127 HAS SOUS 2193 HAS SOUPS 2096 WITH SCORE 2098.224
AT ITER 818 NEW BEST:: SOT 9339 SOS 2215 HAS SOPS 2118 HAS SOUS 2184 HAS SOUPS 2087 WITH SCORE 2089.215
AT ITER 829 NEW BEST:: SOT 9331 SOS 2214 HAS SOPS 2117 HAS SOUS 2183 HAS SOUPS 2086 WITH SCORE 2088.214
AT ITER 833 NEW BEST:: SOT 9330 SOS 2211 HAS SOPS 2114 HAS SOUS 2180 HAS SOUPS 2083 WITH SCORE 2085.211
AT ITER 836 NEW BEST:: SOT 9326 SOS 2184 HAS SOPS 2087 HAS SOUS 2153 HAS SOUPS 2056 WITH SCORE 2058.184
AT ITER 850 NEW BEST:: SOT 9341 SOS 2189 HAS SOPS 2089 HAS SOUS 2154 HAS SOUPS 2054 WITH SCORE 2056.189
AT ITER 859 NEW BEST:: SOT 9325 SOS 2165 HAS SOPS 2065 HAS SOUS 2130 HAS SOUPS 2030 WITH SCORE 2032.165
AT ITER 931 NEW BEST:: SOT 9325 SOS 2154 HAS SOPS 2054 HAS SOUS 2119 HAS SOUPS 2019 WITH SCORE 2021.154
AT ITER 938 NEW BEST:: SOT 9307 SOS 2142 HAS SOPS 2042 HAS SOUS 2104 HAS SOUPS 2004 WITH SCORE 2006.142
AT ITER 944 NEW BEST:: SOT 9304 SOS 2138 HAS SOPS 2038 HAS SOUS 2100 HAS SOUPS 2000 WITH SCORE 2002.138
AT ITER 956 NEW BEST:: SOT 9297 SOS 2129 HAS SOPS 2029 HAS SOUS 2091 HAS SOUPS 1991 WITH SCORE 1993.129
AT ITER 960 NEW BEST:: SOT 9294 SOS 2124 HAS SOPS 2024 HAS SOUS 2086 HAS SOUPS 1986 WITH SCORE 1988.124
AT ITER 968 NEW BEST:: SOT 9291 SOS 2115 HAS SOPS 2015 HAS SOUS 2077 HAS SOUPS 1977 WITH SCORE 1979.115
AT ITER 985 NEW BEST:: SOT 9290 SOS 2110 HAS SOPS 2010 HAS SOUS 2072 HAS SOUPS 1972 WITH SCORE 1974.11
AT ITER 990 NEW BEST:: SOT 9290 SOS 2102 HAS SOPS 2002 HAS SOUS 2066 HAS SOUPS 1966 WITH SCORE 1968.102
AT ITER 995 NEW BEST:: SOT 9296 SOS 2107 HAS SOPS 2007 HAS SOUS 2065 HAS SOUPS 1965 WITH SCORE 1967.107
AT ITER 999 NEW BEST:: SOT 9292 SOS 2079 HAS SOPS 1979 HAS SOUS 2042 HAS SOUPS 1942 WITH SCORE 1944.079
AT ITER 1011 NEW BEST:: SOT 9270 SOS 2068 HAS SOPS 1968 HAS SOUS 2031 HAS SOUPS 1931 WITH SCORE 1933.068
AT ITER 1013 NEW BEST:: SOT 9255 SOS 2046 HAS SOPS 1946 HAS SOUS 2008 HAS SOUPS 1908 WITH SCORE 1910.046
AT ITER 1019 NEW BEST:: SOT 9247 SOS 2030 HAS SOPS 1930 HAS SOUS 1992 HAS SOUPS 1892 WITH SCORE 1894.03
AT ITER 1026 NEW BEST:: SOT 9230 SOS 2013 HAS SOPS 1913 HAS SOUS 1975 HAS SOUPS 1875 WITH SCORE 1877.013
AT ITER 1036 NEW BEST:: SOT 9230 SOS 2010 HAS SOPS 1911 HAS SOUS 1972 HAS SOUPS 1873 WITH SCORE 1875.01
AT ITER 1041 NEW BEST:: SOT 9229 SOS 2009 HAS SOPS 1910 HAS SOUS 1971 HAS SOUPS 1872 WITH SCORE 1874.009
AT ITER 1045 NEW BEST:: SOT 9226 SOS 2000 HAS SOPS 1901 HAS SOUS 1962 HAS SOUPS 1863 WITH SCORE 1865.0
AT ITER 1051 NEW BEST:: SOT 9235 SOS 1999 HAS SOPS 1900 HAS SOUS 1962 HAS SOUPS 1863 WITH SCORE 1864.999
AT ITER 1054 NEW BEST:: SOT 9232 SOS 1994 HAS SOPS 1895 HAS SOUS 1958 HAS SOUPS 1859 WITH SCORE 1860.994
AT ITER 1085 NEW BEST:: SOT 9224 SOS 1977 HAS SOPS 1878 HAS SOUS 1941 HAS SOUPS 1842 WITH SCORE 1843.977
AT ITER 1090 NEW BEST:: SOT 9218 SOS 1970 HAS SOPS 1871 HAS SOUS 1934 HAS SOUPS 1835 WITH SCORE 1836.97
AT ITER 1092 NEW BEST:: SOT 9198 SOS 1951 HAS SOPS 1852 HAS SOUS 1900 HAS SOUPS 1801 WITH SCORE 1802.951
AT ITER 1096 NEW BEST:: SOT 9182 SOS 1919 HAS SOPS 1820 HAS SOUS 1854 HAS SOUPS 1755 WITH SCORE 1756.919
AT ITER 1109 NEW BEST:: SOT 9171 SOS 1889 HAS SOPS 1790 HAS SOUS 1831 HAS SOUPS 1732 WITH SCORE 1733.889
AT ITER 1138 NEW BEST:: SOT 9165 SOS 1864 HAS SOPS 1765 HAS SOUS 1813 HAS SOUPS 1714 WITH SCORE 1715.864
AT ITER 1141 NEW BEST:: SOT 9157 SOS 1855 HAS SOPS 1763 HAS SOUS 1804 HAS SOUPS 1712 WITH SCORE 1713.855
AT ITER 1161 NEW BEST:: SOT 9145 SOS 1834 HAS SOPS 1742 HAS SOUS 1783 HAS SOUPS 1691 WITH SCORE 1692.834
AT ITER 1173 NEW BEST:: SOT 9139 SOS 1822 HAS SOPS 1730 HAS SOUS 1771 HAS SOUPS 1679 WITH SCORE 1680.822
AT ITER 1189 NEW BEST:: SOT 9103 SOS 1729 HAS SOPS 1637 HAS SOUS 1702 HAS SOUPS 1610 WITH SCORE 1611.729
AT ITER 1198 NEW BEST:: SOT 9103 SOS 1727 HAS SOPS 1635 HAS SOUS 1700 HAS SOUPS 1608 WITH SCORE 1609.727
AT ITER 1202 NEW BEST:: SOT 9103 SOS 1725 HAS SOPS 1633 HAS SOUS 1698 HAS SOUPS 1606 WITH SCORE 1607.725
AT ITER 1213 NEW BEST:: SOT 9101 SOS 1719 HAS SOPS 1627 HAS SOUS 1692 HAS SOUPS 1600 WITH SCORE 1601.719
AT ITER 1264 NEW BEST:: SOT 9088 SOS 1700 HAS SOPS 1608 HAS SOUS 1673 HAS SOUPS 1581 WITH SCORE 1582.7
AT ITER 1268 NEW BEST:: SOT 9084 SOS 1695 HAS SOPS 1603 HAS SOUS 1668 HAS SOUPS 1576 WITH SCORE 1577.695
AT ITER 1320 NEW BEST:: SOT 9039 SOS 1651 HAS SOPS 1559 HAS SOUS 1622 HAS SOUPS 1530 WITH SCORE 1531.651
AT ITER 1352 NEW BEST:: SOT 9039 SOS 1642 HAS SOPS 1550 HAS SOUS 1613 HAS SOUPS 1521 WITH SCORE 1522.642
AT ITER 1358 NEW BEST:: SOT 9035 SOS 1640 HAS SOPS 1548 HAS SOUS 1611 HAS SOUPS 1519 WITH SCORE 1520.64
AT ITER 1364 NEW BEST:: SOT 9035 SOS 1630 HAS SOPS 1538 HAS SOUS 1601 HAS SOUPS 1509 WITH SCORE 1510.63
AT ITER 1392 NEW BEST:: SOT 9035 SOS 1630 HAS SOPS 1538 HAS SOUS 1595 HAS SOUPS 1503 WITH SCORE 1504.63
AT ITER 1401 NEW BEST:: SOT 9031 SOS 1622 HAS SOPS 1530 HAS SOUS 1587 HAS SOUPS 1495 WITH SCORE 1496.622
AT ITER 1403 NEW BEST:: SOT 9013 SOS 1605 HAS SOPS 1513 HAS SOUS 1570 HAS SOUPS 1478 WITH SCORE 1479.605
AT ITER 1421 NEW BEST:: SOT 9008 SOS 1602 HAS SOPS 1510 HAS SOUS 1568 HAS SOUPS 1476 WITH SCORE 1477.602
AT ITER 1422 NEW BEST:: SOT 9008 SOS 1602 HAS SOPS 1510 HAS SOUS 1566 HAS SOUPS 1474 WITH SCORE 1475.602
AT ITER 1423 NEW BEST:: SOT 8996 SOS 1574 HAS SOPS 1482 HAS SOUS 1538 HAS SOUPS 1446 WITH SCORE 1447.574
AT ITER 1438 NEW BEST:: SOT 8995 SOS 1573 HAS SOPS 1481 HAS SOUS 1537 HAS SOUPS 1445 WITH SCORE 1446.573
AT ITER 1439 NEW BEST:: SOT 8987 SOS 1552 HAS SOPS 1460 HAS SOUS 1516 HAS SOUPS 1424 WITH SCORE 1425.552
AT ITER 1447 NEW BEST:: SOT 8982 SOS 1545 HAS SOPS 1453 HAS SOUS 1506 HAS SOUPS 1414 WITH SCORE 1415.545
AT ITER 1448 NEW BEST:: SOT 8972 SOS 1523 HAS SOPS 1431 HAS SOUS 1484 HAS SOUPS 1392 WITH SCORE 1393.523
AT ITER 1533 NEW BEST:: SOT 8971 SOS 1522 HAS SOPS 1430 HAS SOUS 1483 HAS SOUPS 1391 WITH SCORE 1392.522
AT ITER 1579 NEW BEST:: SOT 8972 SOS 1522 HAS SOPS 1428 HAS SOUS 1483 HAS SOUPS 1389 WITH SCORE 1390.522
AT ITER 1632 NEW BEST:: SOT 8968 SOS 1513 HAS SOPS 1419 HAS SOUS 1474 HAS SOUPS 1380 WITH SCORE 1381.513
AT ITER 1699 NEW BEST:: SOT 8968 SOS 1509 HAS SOPS 1415 HAS SOUS 1470 HAS SOUPS 1376 WITH SCORE 1377.509
AT ITER 1753 NEW BEST:: SOT 8969 SOS 1506 HAS SOPS 1411 HAS SOUS 1467 HAS SOUPS 1372 WITH SCORE 1373.506
AT ITER 1760 NEW BEST:: SOT 8967 SOS 1502 HAS SOPS 1407 HAS SOUS 1464 HAS SOUPS 1369 WITH SCORE 1370.502
AT ITER 1767 NEW BEST:: SOT 8967 SOS 1501 HAS SOPS 1406 HAS SOUS 1463 HAS SOUPS 1368 WITH SCORE 1369.501
AT ITER 1770 NEW BEST:: SOT 8956 SOS 1462 HAS SOPS 1367 HAS SOUS 1424 HAS SOUPS 1329 WITH SCORE 1330.462
AT ITER 1895 NEW BEST:: SOT 8951 SOS 1445 HAS SOPS 1350 HAS SOUS 1406 HAS SOUPS 1311 WITH SCORE 1312.445
AT ITER 1939 NEW BEST:: SOT 8945 SOS 1441 HAS SOPS 1346 HAS SOUS 1403 HAS SOUPS 1308 WITH SCORE 1309.441
AT ITER 1941 NEW BEST:: SOT 8934 SOS 1419 HAS SOPS 1324 HAS SOUS 1381 HAS SOUPS 1286 WITH SCORE 1287.419
AT ITER 2004 NEW BEST:: SOT 8926 SOS 1416 HAS SOPS 1321 HAS SOUS 1379 HAS SOUPS 1284 WITH SCORE 1285.416
AT ITER 2036 NEW BEST:: SOT 8920 SOS 1406 HAS SOPS 1311 HAS SOUS 1369 HAS SOUPS 1274 WITH SCORE 1275.406
AT ITER 2117 NEW BEST:: SOT 8918 SOS 1401 HAS SOPS 1306 HAS SOUS 1369 HAS SOUPS 1274 WITH SCORE 1275.401
AT ITER 2155 NEW BEST:: SOT 8916 SOS 1396 HAS SOPS 1301 HAS SOUS 1364 HAS SOUPS 1269 WITH SCORE 1270.396
AT ITER 2221 NEW BEST:: SOT 8912 SOS 1380 HAS SOPS 1285 HAS SOUS 1352 HAS SOUPS 1257 WITH SCORE 1258.38
AT ITER 2305 NEW BEST:: SOT 8908 SOS 1381 HAS SOPS 1286 HAS SOUS 1345 HAS SOUPS 1250 WITH SCORE 1251.381
AT ITER 2332 NEW BEST:: SOT 8907 SOS 1380 HAS SOPS 1285 HAS SOUS 1344 HAS SOUPS 1249 WITH SCORE 1250.38
AT ITER 2399 NEW BEST:: SOT 8906 SOS 1369 HAS SOPS 1274 HAS SOUS 1333 HAS SOUPS 1238 WITH SCORE 1239.369
AT ITER 2409 NEW BEST:: SOT 8904 SOS 1365 HAS SOPS 1270 HAS SOUS 1329 HAS SOUPS 1234 WITH SCORE 1235.365
AT ITER 2423 NEW BEST:: SOT 8903 SOS 1360 HAS SOPS 1265 HAS SOUS 1324 HAS SOUPS 1229 WITH SCORE 1230.36
AT ITER 2437 NEW BEST:: SOT 8903 SOS 1359 HAS SOPS 1264 HAS SOUS 1323 HAS SOUPS 1228 WITH SCORE 1229.359
AT ITER 2453 NEW BEST:: SOT 8903 SOS 1357 HAS SOPS 1262 HAS SOUS 1323 HAS SOUPS 1228 WITH SCORE 1229.357
AT ITER 2469 NEW BEST:: SOT 8903 SOS 1357 HAS SOPS 1262 HAS SOUS 1322 HAS SOUPS 1227 WITH SCORE 1228.357
AT ITER 2501 NEW BEST:: SOT 8902 SOS 1354 HAS SOPS 1259 HAS SOUS 1320 HAS SOUPS 1225 WITH SCORE 1226.354
AT ITER 2511 NEW BEST:: SOT 8897 SOS 1345 HAS SOPS 1250 HAS SOUS 1311 HAS SOUPS 1216 WITH SCORE 1217.345
AT ITER 2527 NEW BEST:: SOT 8895 SOS 1343 HAS SOPS 1248 HAS SOUS 1309 HAS SOUPS 1214 WITH SCORE 1215.343
AT ITER 2541 NEW BEST:: SOT 8894 SOS 1341 HAS SOPS 1245 HAS SOUS 1307 HAS SOUPS 1211 WITH SCORE 1212.341
AT ITER 2604 NEW BEST:: SOT 8888 SOS 1326 HAS SOPS 1230 HAS SOUS 1292 HAS SOUPS 1196 WITH SCORE 1197.326
AT ITER 2605 NEW BEST:: SOT 8887 SOS 1324 HAS SOPS 1228 HAS SOUS 1290 HAS SOUPS 1194 WITH SCORE 1195.324
AT ITER 2641 NEW BEST:: SOT 8886 SOS 1321 HAS SOPS 1225 HAS SOUS 1289 HAS SOUPS 1193 WITH SCORE 1194.321
AT ITER 2667 NEW BEST:: SOT 8874 SOS 1309 HAS SOPS 1213 HAS SOUS 1277 HAS SOUPS 1181 WITH SCORE 1182.309
AT ITER 2693 NEW BEST:: SOT 8869 SOS 1297 HAS SOPS 1201 HAS SOUS 1267 HAS SOUPS 1171 WITH SCORE 1172.297
AT ITER 2704 NEW BEST:: SOT 8868 SOS 1295 HAS SOPS 1199 HAS SOUS 1263 HAS SOUPS 1167 WITH SCORE 1168.295
AT ITER 2759 NEW BEST:: SOT 8866 SOS 1283 HAS SOPS 1187 HAS SOUS 1255 HAS SOUPS 1159 WITH SCORE 1160.283
AT ITER 2772 NEW BEST:: SOT 8864 SOS 1279 HAS SOPS 1183 HAS SOUS 1251 HAS SOUPS 1155 WITH SCORE 1156.279
AT ITER 2784 NEW BEST:: SOT 8852 SOS 1255 HAS SOPS 1159 HAS SOUS 1227 HAS SOUPS 1131 WITH SCORE 1132.255
AT ITER 2849 NEW BEST:: SOT 8849 SOS 1252 HAS SOPS 1156 HAS SOUS 1224 HAS SOUPS 1128 WITH SCORE 1129.252
AT ITER 2923 NEW BEST:: SOT 8839 SOS 1223 HAS SOPS 1127 HAS SOUS 1200 HAS SOUPS 1104 WITH SCORE 1105.223
AT ITER 3018 NEW BEST:: SOT 8839 SOS 1215 HAS SOPS 1119 HAS SOUS 1200 HAS SOUPS 1104 WITH SCORE 1105.215
AT ITER 3021 NEW BEST:: SOT 8840 SOS 1211 HAS SOPS 1115 HAS SOUS 1196 HAS SOUPS 1100 WITH SCORE 1101.211
AT ITER 3025 NEW BEST:: SOT 8834 SOS 1203 HAS SOPS 1107 HAS SOUS 1188 HAS SOUPS 1092 WITH SCORE 1093.203
AT ITER 3038 NEW BEST:: SOT 8830 SOS 1198 HAS SOPS 1102 HAS SOUS 1183 HAS SOUPS 1087 WITH SCORE 1088.198
AT ITER 3064 NEW BEST:: SOT 8829 SOS 1197 HAS SOPS 1101 HAS SOUS 1183 HAS SOUPS 1087 WITH SCORE 1088.197
AT ITER 3071 NEW BEST:: SOT 8828 SOS 1196 HAS SOPS 1100 HAS SOUS 1182 HAS SOUPS 1086 WITH SCORE 1087.196
AT ITER 3092 NEW BEST:: SOT 8822 SOS 1182 HAS SOPS 1086 HAS SOUS 1164 HAS SOUPS 1068 WITH SCORE 1069.182
AT ITER 3101 NEW BEST:: SOT 8820 SOS 1178 HAS SOPS 1082 HAS SOUS 1160 HAS SOUPS 1064 WITH SCORE 1065.178
AT ITER 3106 NEW BEST:: SOT 8808 SOS 1160 HAS SOPS 1064 HAS SOUS 1132 HAS SOUPS 1036 WITH SCORE 1037.16
AT ITER 3149 NEW BEST:: SOT 8804 SOS 1154 HAS SOPS 1058 HAS SOUS 1132 HAS SOUPS 1036 WITH SCORE 1037.154
AT ITER 3157 NEW BEST:: SOT 8798 SOS 1144 HAS SOPS 1048 HAS SOUS 1124 HAS SOUPS 1028 WITH SCORE 1029.144
AT ITER 3184 NEW BEST:: SOT 8794 SOS 1142 HAS SOPS 1046 HAS SOUS 1122 HAS SOUPS 1026 WITH SCORE 1027.142
AT ITER 3237 NEW BEST:: SOT 8783 SOS 1121 HAS SOPS 1025 HAS SOUS 1102 HAS SOUPS 1006 WITH SCORE 1007.121
AT ITER 3292 NEW BEST:: SOT 8782 SOS 1120 HAS SOPS 1024 HAS SOUS 1101 HAS SOUPS 1005 WITH SCORE 1006.12
AT ITER 3293 NEW BEST:: SOT 8780 SOS 1117 HAS SOPS 1021 HAS SOUS 1098 HAS SOUPS 1002 WITH SCORE 1003.117
AT ITER 3310 NEW BEST:: SOT 8763 SOS 1106 HAS SOPS 1010 HAS SOUS 1087 HAS SOUPS 991 WITH SCORE 992.106
AT ITER 3314 NEW BEST:: SOT 8763 SOS 1100 HAS SOPS 1004 HAS SOUS 1081 HAS SOUPS 985 WITH SCORE 986.1
AT ITER 3334 NEW BEST:: SOT 8763 SOS 1093 HAS SOPS 997 HAS SOUS 1074 HAS SOUPS 978 WITH SCORE 979.093
AT ITER 3338 NEW BEST:: SOT 8758 SOS 1083 HAS SOPS 987 HAS SOUS 1064 HAS SOUPS 968 WITH SCORE 969.083
AT ITER 3351 NEW BEST:: SOT 8756 SOS 1079 HAS SOPS 983 HAS SOUS 1060 HAS SOUPS 964 WITH SCORE 965.079
AT ITER 3482 NEW BEST:: SOT 8754 SOS 1073 HAS SOPS 977 HAS SOUS 1056 HAS SOUPS 960 WITH SCORE 961.073
AT ITER 3483 NEW BEST:: SOT 8753 SOS 1075 HAS SOPS 979 HAS SOUS 1055 HAS SOUPS 959 WITH SCORE 960.075
AT ITER 3552 NEW BEST:: SOT 8751 SOS 1073 HAS SOPS 977 HAS SOUS 1053 HAS SOUPS 957 WITH SCORE 958.073
AT ITER 3584 NEW BEST:: SOT 8751 SOS 1070 HAS SOPS 974 HAS SOUS 1053 HAS SOUPS 957 WITH SCORE 958.07
AT ITER 3601 NEW BEST:: SOT 8751 SOS 1068 HAS SOPS 971 HAS SOUS 1051 HAS SOUPS 954 WITH SCORE 955.068
AT ITER 3694 NEW BEST:: SOT 8744 SOS 1059 HAS SOPS 962 HAS SOUS 1038 HAS SOUPS 941 WITH SCORE 942.059
AT ITER 3713 NEW BEST:: SOT 8743 SOS 1057 HAS SOPS 960 HAS SOUS 1035 HAS SOUPS 938 WITH SCORE 939.057
AT ITER 3721 NEW BEST:: SOT 8734 SOS 1050 HAS SOPS 953 HAS SOUS 1028 HAS SOUPS 931 WITH SCORE 932.05
AT ITER 3841 NEW BEST:: SOT 8733 SOS 1046 HAS SOPS 949 HAS SOUS 1026 HAS SOUPS 929 WITH SCORE 930.046
AT ITER 3851 NEW BEST:: SOT 8734 SOS 1042 HAS SOPS 945 HAS SOUS 1022 HAS SOUPS 925 WITH SCORE 926.042
AT ITER 3880 NEW BEST:: SOT 8728 SOS 1026 HAS SOPS 929 HAS SOUS 1012 HAS SOUPS 915 WITH SCORE 916.026
AT ITER 3899 NEW BEST:: SOT 8718 SOS 1010 HAS SOPS 913 HAS SOUS 997 HAS SOUPS 900 WITH SCORE 901.01
AT ITER 3940 NEW BEST:: SOT 8716 SOS 1008 HAS SOPS 911 HAS SOUS 995 HAS SOUPS 898 WITH SCORE 899.008
AT ITER 4013 NEW BEST:: SOT 8714 SOS 1004 HAS SOPS 907 HAS SOUS 991 HAS SOUPS 894 WITH SCORE 895.004
AT ITER 4042 NEW BEST:: SOT 8713 SOS 999 HAS SOPS 902 HAS SOUS 988 HAS SOUPS 891 WITH SCORE 891.999
AT ITER 4064 NEW BEST:: SOT 8713 SOS 999 HAS SOPS 902 HAS SOUS 987 HAS SOUPS 890 WITH SCORE 890.999
AT ITER 4104 NEW BEST:: SOT 8708 SOS 994 HAS SOPS 897 HAS SOUS 982 HAS SOUPS 885 WITH SCORE 885.994
AT ITER 4147 NEW BEST:: SOT 8711 SOS 992 HAS SOPS 895 HAS SOUS 980 HAS SOUPS 883 WITH SCORE 883.992
AT ITER 4172 NEW BEST:: SOT 8706 SOS 987 HAS SOPS 890 HAS SOUS 975 HAS SOUPS 878 WITH SCORE 878.987
AT ITER 4173 NEW BEST:: SOT 8704 SOS 981 HAS SOPS 884 HAS SOUS 969 HAS SOUPS 872 WITH SCORE 872.981
AT ITER 4207 NEW BEST:: SOT 8701 SOS 967 HAS SOPS 870 HAS SOUS 959 HAS SOUPS 862 WITH SCORE 862.967
AT ITER 4301 NEW BEST:: SOT 8695 SOS 957 HAS SOPS 860 HAS SOUS 949 HAS SOUPS 852 WITH SCORE 852.957
AT ITER 4415 NEW BEST:: SOT 8694 SOS 956 HAS SOPS 859 HAS SOUS 948 HAS SOUPS 851 WITH SCORE 851.956
AT ITER 4521 NEW BEST:: SOT 8693 SOS 952 HAS SOPS 855 HAS SOUS 945 HAS SOUPS 848 WITH SCORE 848.952
AT ITER 4548 NEW BEST:: SOT 8691 SOS 949 HAS SOPS 852 HAS SOUS 942 HAS SOUPS 845 WITH SCORE 845.949
AT ITER 4590 NEW BEST:: SOT 8689 SOS 946 HAS SOPS 849 HAS SOUS 939 HAS SOUPS 842 WITH SCORE 842.946
AT ITER 4607 NEW BEST:: SOT 8683 SOS 943 HAS SOPS 846 HAS SOUS 936 HAS SOUPS 839 WITH SCORE 839.943
AT ITER 4689 NEW BEST:: SOT 8685 SOS 941 HAS SOPS 844 HAS SOUS 934 HAS SOUPS 837 WITH SCORE 837.941
AT ITER 4921 NEW BEST:: SOT 8682 SOS 934 HAS SOPS 837 HAS SOUS 926 HAS SOUPS 829 WITH SCORE 829.934
AT ITER 4975 NEW BEST:: SOT 8680 SOS 936 HAS SOPS 839 HAS SOUS 924 HAS SOUPS 827 WITH SCORE 827.936
AT ITER 4998 NEW BEST:: SOT 8676 SOS 931 HAS SOPS 834 HAS SOUS 919 HAS SOUPS 822 WITH SCORE 822.931
AT ITER 5114 NEW BEST:: SOT 8674 SOS 929 HAS SOPS 832 HAS SOUS 913 HAS SOUPS 816 WITH SCORE 816.929
AT ITER 5198 NEW BEST:: SOT 8673 SOS 927 HAS SOPS 830 HAS SOUS 911 HAS SOUPS 814 WITH SCORE 814.927
AT ITER 5318 NEW BEST:: SOT 8659 SOS 902 HAS SOPS 805 HAS SOUS 887 HAS SOUPS 790 WITH SCORE 790.902
AT ITER 5504 NEW BEST:: SOT 8661 SOS 892 HAS SOPS 795 HAS SOUS 881 HAS SOUPS 784 WITH SCORE 784.892
AT ITER 5573 NEW BEST:: SOT 8658 SOS 889 HAS SOPS 792 HAS SOUS 878 HAS SOUPS 781 WITH SCORE 781.889
AT ITER 5805 NEW BEST:: SOT 8657 SOS 887 HAS SOPS 790 HAS SOUS 875 HAS SOUPS 778 WITH SCORE 778.887
AT ITER 5856 NEW BEST:: SOT 8656 SOS 886 HAS SOPS 789 HAS SOUS 874 HAS SOUPS 777 WITH SCORE 777.886
AT ITER 5943 NEW BEST:: SOT 8654 SOS 882 HAS SOPS 785 HAS SOUS 870 HAS SOUPS 773 WITH SCORE 773.882
AT ITER 5965 NEW BEST:: SOT 8650 SOS 874 HAS SOPS 777 HAS SOUS 862 HAS SOUPS 765 WITH SCORE 765.874
AT ITER 6047 NEW BEST:: SOT 8648 SOS 868 HAS SOPS 771 HAS SOUS 856 HAS SOUPS 759 WITH SCORE 759.868
AT ITER 6066 NEW BEST:: SOT 8646 SOS 863 HAS SOPS 766 HAS SOUS 852 HAS SOUPS 755 WITH SCORE 755.863
AT ITER 6186 NEW BEST:: SOT 8640 SOS 859 HAS SOPS 762 HAS SOUS 848 HAS SOUPS 751 WITH SCORE 751.859
AT ITER 6218 NEW BEST:: SOT 8638 SOS 858 HAS SOPS 761 HAS SOUS 847 HAS SOUPS 750 WITH SCORE 750.858
AT ITER 6281 NEW BEST:: SOT 8638 SOS 857 HAS SOPS 760 HAS SOUS 845 HAS SOUPS 748 WITH SCORE 748.857
AT ITER 6337 NEW BEST:: SOT 8632 SOS 846 HAS SOPS 749 HAS SOUS 834 HAS SOUPS 737 WITH SCORE 737.846
AT ITER 6383 NEW BEST:: SOT 8631 SOS 845 HAS SOPS 748 HAS SOUS 833 HAS SOUPS 736 WITH SCORE 736.845
AT ITER 6417 NEW BEST:: SOT 8629 SOS 844 HAS SOPS 747 HAS SOUS 832 HAS SOUPS 735 WITH SCORE 735.844
AT ITER 6425 NEW BEST:: SOT 8628 SOS 840 HAS SOPS 743 HAS SOUS 829 HAS SOUPS 732 WITH SCORE 732.84
AT ITER 6446 NEW BEST:: SOT 8628 SOS 839 HAS SOPS 742 HAS SOUS 828 HAS SOUPS 731 WITH SCORE 731.839
AT ITER 6607 NEW BEST:: SOT 8621 SOS 828 HAS SOPS 731 HAS SOUS 817 HAS SOUPS 720 WITH SCORE 720.828
AT ITER 6627 NEW BEST:: SOT 8617 SOS 817 HAS SOPS 720 HAS SOUS 806 HAS SOUPS 709 WITH SCORE 709.817
AT ITER 6753 NEW BEST:: SOT 8618 SOS 818 HAS SOPS 720 HAS SOUS 806 HAS SOUPS 708 WITH SCORE 708.818
AT ITER 6884 NEW BEST:: SOT 8618 SOS 817 HAS SOPS 719 HAS SOUS 805 HAS SOUPS 707 WITH SCORE 707.817
AT ITER 6942 NEW BEST:: SOT 8616 SOS 816 HAS SOPS 718 HAS SOUS 804 HAS SOUPS 706 WITH SCORE 706.816
AT ITER 6976 NEW BEST:: SOT 8611 SOS 807 HAS SOPS 709 HAS SOUS 795 HAS SOUPS 697 WITH SCORE 697.807
AT ITER 7083 NEW BEST:: SOT 8611 SOS 806 HAS SOPS 708 HAS SOUS 794 HAS SOUPS 696 WITH SCORE 696.806
AT ITER 7264 NEW BEST:: SOT 8603 SOS 796 HAS SOPS 698 HAS SOUS 784 HAS SOUPS 686 WITH SCORE 686.796
AT ITER 7532 NEW BEST:: SOT 8601 SOS 792 HAS SOPS 694 HAS SOUS 779 HAS SOUPS 681 WITH SCORE 681.792
AT ITER 7739 NEW BEST:: SOT 8601 SOS 792 HAS SOPS 694 HAS SOUS 778 HAS SOUPS 680 WITH SCORE 680.792
AT ITER 7846 NEW BEST:: SOT 8601 SOS 791 HAS SOPS 693 HAS SOUS 777 HAS SOUPS 679 WITH SCORE 679.791
AT ITER 7890 NEW BEST:: SOT 8600 SOS 789 HAS SOPS 691 HAS SOUS 775 HAS SOUPS 677 WITH SCORE 677.789
AT ITER 8148 NEW BEST:: SOT 8597 SOS 784 HAS SOPS 686 HAS SOUS 770 HAS SOUPS 672 WITH SCORE 672.784
AT ITER 8152 NEW BEST:: SOT 8587 SOS 763 HAS SOPS 665 HAS SOUS 749 HAS SOUPS 651 WITH SCORE 651.763
AT ITER 8167 NEW BEST:: SOT 8584 SOS 756 HAS SOPS 658 HAS SOUS 743 HAS SOUPS 645 WITH SCORE 645.756
AT ITER 8280 NEW BEST:: SOT 8583 SOS 752 HAS SOPS 654 HAS SOUS 738 HAS SOUPS 640 WITH SCORE 640.752
AT ITER 8296 NEW BEST:: SOT 8582 SOS 751 HAS SOPS 653 HAS SOUS 737 HAS SOUPS 639 WITH SCORE 639.751
AT ITER 8326 NEW BEST:: SOT 8581 SOS 748 HAS SOPS 650 HAS SOUS 734 HAS SOUPS 636 WITH SCORE 636.748
AT ITER 8493 NEW BEST:: SOT 8576 SOS 739 HAS SOPS 641 HAS SOUS 726 HAS SOUPS 628 WITH SCORE 628.739
AT ITER 8556 NEW BEST:: SOT 8576 SOS 738 HAS SOPS 640 HAS SOUS 725 HAS SOUPS 627 WITH SCORE 627.738
AT ITER 9016 NEW BEST:: SOT 8576 SOS 733 HAS SOPS 635 HAS SOUS 720 HAS SOUPS 622 WITH SCORE 622.733
AT ITER 9125 NEW BEST:: SOT 8577 SOS 732 HAS SOPS 634 HAS SOUS 719 HAS SOUPS 621 WITH SCORE 621.732
AT ITER 9288 NEW BEST:: SOT 8577 SOS 727 HAS SOPS 629 HAS SOUS 714 HAS SOUPS 616 WITH SCORE 616.727
AT ITER 9471 NEW BEST:: SOT 8575 SOS 726 HAS SOPS 628 HAS SOUS 708 HAS SOUPS 610 WITH SCORE 610.726
AT ITER 9578 NEW BEST:: SOT 8571 SOS 719 HAS SOPS 621 HAS SOUS 701 HAS SOUPS 603 WITH SCORE 603.719
AT ITER 9618 NEW BEST:: SOT 8570 SOS 715 HAS SOPS 617 HAS SOUS 698 HAS SOUPS 600 WITH SCORE 600.715
AT ITER 9824 NEW BEST:: SOT 8567 SOS 706 HAS SOPS 608 HAS SOUS 692 HAS SOUPS 594 WITH SCORE 594.706
STATE_SPACE STATES 4112314037805169805654823914935357103497231013314554080586913400100000000000000000000 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 23 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 461 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 403688534998652118840824513413230998907682324869643880291829982098000000000003486784401 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589616803649

--------------------
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="JoinFreeModules-PT-0020"
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 JoinFreeModules-PT-0020, 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 r093-oct2-158940140500424"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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