Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r043-tajo-167813697100616.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is CANConstruction-PT-005, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r043-tajo-167813697100616
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 696K
-rw-r--r-- 1 mcc users 11K Feb 25 21:13 CTLCardinality.txt
-rw-r--r-- 1 mcc users 95K Feb 25 21:13 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.4K Feb 25 21:11 CTLFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 25 21:11 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.7K Feb 25 15:39 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:39 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 25 15:39 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 15:39 LTLFireability.xml
-rw-r--r-- 1 mcc users 19K Feb 25 21:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 166K Feb 25 21:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 25 21:13 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 80K Feb 25 21:13 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 15:39 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 15:39 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 167K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678795821227

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=CANConstruction-PT-005
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-14 12:10:23] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-14 12:10:23] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-14 12:10:23] [INFO ] Load time of PNML (sax parser for PT used): 90 ms
[2023-03-14 12:10:23] [INFO ] Transformed 112 places.
[2023-03-14 12:10:23] [INFO ] Transformed 140 transitions.
[2023-03-14 12:10:23] [INFO ] Parsed PT model containing 112 places and 140 transitions and 400 arcs in 168 ms.
[2023-03-14 12:10:23] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 112 places, 140 transitions and 400 arcs took 4 ms.
Total runtime 228 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CANConstruction (PT), instance 005
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 112 places, 140 transitions, 400 arcs.
AT ITER 0 NEW BEST:: SOT 10608 SOS 5649 HAS SOPS 5620 HAS SOUS 4160 HAS SOUPS 4131 WITH SCORE 4136.649
AT ITER 3 NEW BEST:: SOT 10581 SOS 5548 HAS SOPS 5519 HAS SOUS 4110 HAS SOUPS 4081 WITH SCORE 4086.548
AT ITER 4 NEW BEST:: SOT 10541 SOS 5556 HAS SOPS 5527 HAS SOUS 4100 HAS SOUPS 4071 WITH SCORE 4076.556
AT ITER 6 NEW BEST:: SOT 10531 SOS 5556 HAS SOPS 5527 HAS SOUS 4090 HAS SOUPS 4061 WITH SCORE 4066.556
AT ITER 9 NEW BEST:: SOT 10496 SOS 6087 HAS SOPS 5898 HAS SOUS 4125 HAS SOUPS 4052 WITH SCORE 4058.087
AT ITER 10 NEW BEST:: SOT 10454 SOS 5961 HAS SOPS 5793 HAS SOUS 4083 HAS SOUPS 4010 WITH SCORE 4015.961
AT ITER 12 NEW BEST:: SOT 10448 SOS 5946 HAS SOPS 5778 HAS SOUS 4071 HAS SOUPS 3998 WITH SCORE 4003.946
AT ITER 18 NEW BEST:: SOT 10435 SOS 5894 HAS SOPS 5726 HAS SOUS 4032 HAS SOUPS 3959 WITH SCORE 3964.894
AT ITER 23 NEW BEST:: SOT 10406 SOS 5372 HAS SOPS 5343 HAS SOUS 3943 HAS SOUPS 3914 WITH SCORE 3919.372
AT ITER 26 NEW BEST:: SOT 10351 SOS 5216 HAS SOPS 5187 HAS SOUS 3833 HAS SOUPS 3804 WITH SCORE 3809.216
AT ITER 30 NEW BEST:: SOT 10337 SOS 5202 HAS SOPS 5173 HAS SOUS 3819 HAS SOUPS 3790 WITH SCORE 3795.202
AT ITER 34 NEW BEST:: SOT 10333 SOS 5194 HAS SOPS 5165 HAS SOUS 3813 HAS SOUPS 3784 WITH SCORE 3789.194
AT ITER 38 NEW BEST:: SOT 10268 SOS 5187 HAS SOPS 5093 HAS SOUS 3839 HAS SOUPS 3775 WITH SCORE 3780.187
AT ITER 60 NEW BEST:: SOT 10250 SOS 5177 HAS SOPS 5083 HAS SOUS 3820 HAS SOUPS 3756 WITH SCORE 3761.177
AT ITER 65 NEW BEST:: SOT 10202 SOS 5048 HAS SOPS 4954 HAS SOUS 3774 HAS SOUPS 3710 WITH SCORE 3715.048
AT ITER 69 NEW BEST:: SOT 10191 SOS 5028 HAS SOPS 4932 HAS SOUS 3729 HAS SOUPS 3665 WITH SCORE 3670.028
AT ITER 76 NEW BEST:: SOT 10187 SOS 5024 HAS SOPS 4928 HAS SOUS 3723 HAS SOUPS 3659 WITH SCORE 3664.024
AT ITER 79 NEW BEST:: SOT 10186 SOS 4970 HAS SOPS 4864 HAS SOUS 3712 HAS SOUPS 3648 WITH SCORE 3652.97
AT ITER 90 NEW BEST:: SOT 10156 SOS 4853 HAS SOPS 4747 HAS SOUS 3624 HAS SOUPS 3560 WITH SCORE 3564.853
AT ITER 99 NEW BEST:: SOT 10155 SOS 4857 HAS SOPS 4746 HAS SOUS 3628 HAS SOUPS 3559 WITH SCORE 3563.857
AT ITER 100 NEW BEST:: SOT 10155 SOS 4844 HAS SOPS 4733 HAS SOUS 3611 HAS SOUPS 3542 WITH SCORE 3546.844
AT ITER 108 NEW BEST:: SOT 10040 SOS 4729 HAS SOPS 4618 HAS SOUS 3528 HAS SOUPS 3459 WITH SCORE 3463.729
AT ITER 113 NEW BEST:: SOT 10003 SOS 4611 HAS SOPS 4493 HAS SOUS 3453 HAS SOUPS 3384 WITH SCORE 3388.611
AT ITER 117 NEW BEST:: SOT 10000 SOS 4585 HAS SOPS 4467 HAS SOUS 3427 HAS SOUPS 3358 WITH SCORE 3362.585
AT ITER 126 NEW BEST:: SOT 9986 SOS 4571 HAS SOPS 4453 HAS SOUS 3417 HAS SOUPS 3348 WITH SCORE 3352.571
AT ITER 131 NEW BEST:: SOT 9969 SOS 4494 HAS SOPS 4376 HAS SOUS 3376 HAS SOUPS 3307 WITH SCORE 3311.494
AT ITER 132 NEW BEST:: SOT 10021 SOS 4543 HAS SOPS 4420 HAS SOUS 3364 HAS SOUPS 3290 WITH SCORE 3294.543
AT ITER 139 NEW BEST:: SOT 10020 SOS 4541 HAS SOPS 4418 HAS SOUS 3362 HAS SOUPS 3288 WITH SCORE 3292.541
AT ITER 148 NEW BEST:: SOT 10031 SOS 4590 HAS SOPS 4467 HAS SOUS 3335 HAS SOUPS 3261 WITH SCORE 3265.59
AT ITER 153 NEW BEST:: SOT 10024 SOS 4576 HAS SOPS 4453 HAS SOUS 3325 HAS SOUPS 3251 WITH SCORE 3255.576
AT ITER 160 NEW BEST:: SOT 10024 SOS 4576 HAS SOPS 4453 HAS SOUS 3324 HAS SOUPS 3250 WITH SCORE 3254.576
AT ITER 161 NEW BEST:: SOT 10019 SOS 4562 HAS SOPS 4439 HAS SOUS 3301 HAS SOUPS 3227 WITH SCORE 3231.562
AT ITER 162 NEW BEST:: SOT 10018 SOS 4560 HAS SOPS 4437 HAS SOUS 3298 HAS SOUPS 3224 WITH SCORE 3228.56
AT ITER 164 NEW BEST:: SOT 10011 SOS 4546 HAS SOPS 4423 HAS SOUS 3284 HAS SOUPS 3210 WITH SCORE 3214.546
AT ITER 165 NEW BEST:: SOT 10011 SOS 4548 HAS SOPS 4425 HAS SOUS 3283 HAS SOUPS 3209 WITH SCORE 3213.548
AT ITER 168 NEW BEST:: SOT 10021 SOS 4482 HAS SOPS 4359 HAS SOUS 3278 HAS SOUPS 3204 WITH SCORE 3208.482
AT ITER 187 NEW BEST:: SOT 9920 SOS 4425 HAS SOPS 4258 HAS SOUS 3216 HAS SOUPS 3120 WITH SCORE 3124.425
AT ITER 192 NEW BEST:: SOT 9912 SOS 4417 HAS SOPS 4250 HAS SOUS 3208 HAS SOUPS 3112 WITH SCORE 3116.417
AT ITER 198 NEW BEST:: SOT 9918 SOS 4425 HAS SOPS 4258 HAS SOUS 3204 HAS SOUPS 3108 WITH SCORE 3112.425
AT ITER 210 NEW BEST:: SOT 9907 SOS 4545 HAS SOPS 4354 HAS SOUS 3190 HAS SOUPS 3080 WITH SCORE 3084.545
AT ITER 212 NEW BEST:: SOT 9872 SOS 4502 HAS SOPS 4311 HAS SOUS 3182 HAS SOUPS 3072 WITH SCORE 3076.502
AT ITER 215 NEW BEST:: SOT 9850 SOS 4480 HAS SOPS 4289 HAS SOUS 3160 HAS SOUPS 3050 WITH SCORE 3054.48
AT ITER 224 NEW BEST:: SOT 9827 SOS 4438 HAS SOPS 4261 HAS SOUS 3128 HAS SOUPS 3022 WITH SCORE 3026.438
AT ITER 230 NEW BEST:: SOT 9833 SOS 4440 HAS SOPS 4263 HAS SOUS 3118 HAS SOUPS 3012 WITH SCORE 3016.44
AT ITER 237 NEW BEST:: SOT 9820 SOS 4417 HAS SOPS 4235 HAS SOUS 3120 HAS SOUPS 3009 WITH SCORE 3013.417
AT ITER 249 NEW BEST:: SOT 9820 SOS 4408 HAS SOPS 4226 HAS SOUS 3102 HAS SOUPS 2991 WITH SCORE 2995.408
AT ITER 251 NEW BEST:: SOT 9790 SOS 4365 HAS SOPS 4183 HAS SOUS 3059 HAS SOUPS 2948 WITH SCORE 2952.365
AT ITER 256 NEW BEST:: SOT 9781 SOS 4356 HAS SOPS 4174 HAS SOUS 3050 HAS SOUPS 2939 WITH SCORE 2943.356
AT ITER 261 NEW BEST:: SOT 9789 SOS 4354 HAS SOPS 4166 HAS SOUS 3036 HAS SOUPS 2933 WITH SCORE 2937.354
AT ITER 268 NEW BEST:: SOT 9785 SOS 4349 HAS SOPS 4159 HAS SOUS 3032 HAS SOUPS 2928 WITH SCORE 2932.349
AT ITER 279 NEW BEST:: SOT 9781 SOS 4380 HAS SOPS 4190 HAS SOUS 3024 HAS SOUPS 2920 WITH SCORE 2924.38
AT ITER 282 NEW BEST:: SOT 9781 SOS 4323 HAS SOPS 4133 HAS SOUS 2993 HAS SOUPS 2889 WITH SCORE 2893.323
AT ITER 289 NEW BEST:: SOT 9798 SOS 4336 HAS SOPS 4145 HAS SOUS 2980 HAS SOUPS 2876 WITH SCORE 2880.336
AT ITER 297 NEW BEST:: SOT 9798 SOS 4333 HAS SOPS 4142 HAS SOUS 2971 HAS SOUPS 2867 WITH SCORE 2871.333
AT ITER 302 NEW BEST:: SOT 9807 SOS 4342 HAS SOPS 4151 HAS SOUS 2968 HAS SOUPS 2864 WITH SCORE 2868.342
AT ITER 308 NEW BEST:: SOT 9803 SOS 4338 HAS SOPS 4147 HAS SOUS 2964 HAS SOUPS 2860 WITH SCORE 2864.338
AT ITER 309 NEW BEST:: SOT 9790 SOS 4308 HAS SOPS 4117 HAS SOUS 2934 HAS SOUPS 2830 WITH SCORE 2834.308
AT ITER 315 NEW BEST:: SOT 9762 SOS 4288 HAS SOPS 4089 HAS SOUS 2919 HAS SOUPS 2807 WITH SCORE 2811.288
AT ITER 318 NEW BEST:: SOT 9763 SOS 4281 HAS SOPS 4082 HAS SOUS 2904 HAS SOUPS 2792 WITH SCORE 2796.281
AT ITER 322 NEW BEST:: SOT 9759 SOS 4295 HAS SOPS 4096 HAS SOUS 2899 HAS SOUPS 2787 WITH SCORE 2791.295
AT ITER 329 NEW BEST:: SOT 9759 SOS 4282 HAS SOPS 4083 HAS SOUS 2887 HAS SOUPS 2775 WITH SCORE 2779.282
AT ITER 352 NEW BEST:: SOT 9730 SOS 4274 HAS SOPS 4054 HAS SOUS 2887 HAS SOUPS 2764 WITH SCORE 2768.274
AT ITER 363 NEW BEST:: SOT 9728 SOS 4270 HAS SOPS 4049 HAS SOUS 2883 HAS SOUPS 2760 WITH SCORE 2764.27
AT ITER 366 NEW BEST:: SOT 9703 SOS 4236 HAS SOPS 4015 HAS SOUS 2849 HAS SOUPS 2726 WITH SCORE 2730.236
AT ITER 370 NEW BEST:: SOT 9698 SOS 4215 HAS SOPS 3995 HAS SOUS 2839 HAS SOUPS 2716 WITH SCORE 2720.215
AT ITER 391 NEW BEST:: SOT 9680 SOS 4187 HAS SOPS 3967 HAS SOUS 2811 HAS SOUPS 2688 WITH SCORE 2692.187
AT ITER 393 NEW BEST:: SOT 9672 SOS 4177 HAS SOPS 3959 HAS SOUS 2807 HAS SOUPS 2684 WITH SCORE 2688.177
AT ITER 400 NEW BEST:: SOT 9663 SOS 4169 HAS SOPS 3945 HAS SOUS 2799 HAS SOUPS 2670 WITH SCORE 2674.169
AT ITER 412 NEW BEST:: SOT 9659 SOS 4165 HAS SOPS 3941 HAS SOUS 2795 HAS SOUPS 2666 WITH SCORE 2670.165
AT ITER 413 NEW BEST:: SOT 9654 SOS 4155 HAS SOPS 3931 HAS SOUS 2790 HAS SOUPS 2661 WITH SCORE 2665.155
AT ITER 416 NEW BEST:: SOT 9654 SOS 4151 HAS SOPS 3927 HAS SOUS 2778 HAS SOUPS 2649 WITH SCORE 2653.151
AT ITER 427 NEW BEST:: SOT 9654 SOS 4082 HAS SOPS 3858 HAS SOUS 2778 HAS SOUPS 2649 WITH SCORE 2653.082
AT ITER 428 NEW BEST:: SOT 9650 SOS 4078 HAS SOPS 3849 HAS SOUS 2779 HAS SOUPS 2645 WITH SCORE 2649.078
AT ITER 442 NEW BEST:: SOT 9639 SOS 4028 HAS SOPS 3799 HAS SOUS 2759 HAS SOUPS 2625 WITH SCORE 2629.028
AT ITER 450 NEW BEST:: SOT 9635 SOS 4024 HAS SOPS 3793 HAS SOUS 2755 HAS SOUPS 2619 WITH SCORE 2623.024
AT ITER 459 NEW BEST:: SOT 9630 SOS 4008 HAS SOPS 3777 HAS SOUS 2745 HAS SOUPS 2609 WITH SCORE 2613.008
AT ITER 460 NEW BEST:: SOT 9629 SOS 4007 HAS SOPS 3776 HAS SOUS 2744 HAS SOUPS 2608 WITH SCORE 2612.007
AT ITER 473 NEW BEST:: SOT 9641 SOS 3998 HAS SOPS 3767 HAS SOUS 2722 HAS SOUPS 2586 WITH SCORE 2589.998
AT ITER 479 NEW BEST:: SOT 9663 SOS 3995 HAS SOPS 3764 HAS SOUS 2713 HAS SOUPS 2577 WITH SCORE 2580.995
AT ITER 483 NEW BEST:: SOT 9663 SOS 3972 HAS SOPS 3741 HAS SOUS 2682 HAS SOUPS 2546 WITH SCORE 2549.972
AT ITER 484 NEW BEST:: SOT 9657 SOS 3965 HAS SOPS 3728 HAS SOUS 2669 HAS SOUPS 2533 WITH SCORE 2536.965
AT ITER 504 NEW BEST:: SOT 9649 SOS 3957 HAS SOPS 3716 HAS SOUS 2657 HAS SOUPS 2521 WITH SCORE 2524.957
AT ITER 509 NEW BEST:: SOT 9645 SOS 3937 HAS SOPS 3696 HAS SOUS 2649 HAS SOUPS 2513 WITH SCORE 2516.937
AT ITER 510 NEW BEST:: SOT 9641 SOS 3911 HAS SOPS 3676 HAS SOUS 2641 HAS SOUPS 2505 WITH SCORE 2508.911
AT ITER 511 NEW BEST:: SOT 9641 SOS 3900 HAS SOPS 3676 HAS SOUS 2641 HAS SOUPS 2505 WITH SCORE 2508.9
AT ITER 518 NEW BEST:: SOT 9635 SOS 3883 HAS SOPS 3664 HAS SOUS 2625 HAS SOUPS 2493 WITH SCORE 2496.883
AT ITER 519 NEW BEST:: SOT 9636 SOS 3867 HAS SOPS 3648 HAS SOUS 2625 HAS SOUPS 2493 WITH SCORE 2496.867
AT ITER 527 NEW BEST:: SOT 9636 SOS 3843 HAS SOPS 3624 HAS SOUS 2625 HAS SOUPS 2493 WITH SCORE 2496.843
AT ITER 531 NEW BEST:: SOT 9618 SOS 3807 HAS SOPS 3571 HAS SOUS 2589 HAS SOUPS 2457 WITH SCORE 2460.807
AT ITER 549 NEW BEST:: SOT 9618 SOS 3801 HAS SOPS 3553 HAS SOUS 2569 HAS SOUPS 2437 WITH SCORE 2440.801
AT ITER 550 NEW BEST:: SOT 9620 SOS 3803 HAS SOPS 3553 HAS SOUS 2561 HAS SOUPS 2429 WITH SCORE 2432.803
AT ITER 573 NEW BEST:: SOT 9620 SOS 3820 HAS SOPS 3570 HAS SOUS 2554 HAS SOUPS 2422 WITH SCORE 2425.82
AT ITER 590 NEW BEST:: SOT 9615 SOS 3788 HAS SOPS 3538 HAS SOUS 2532 HAS SOUPS 2400 WITH SCORE 2403.788
AT ITER 613 NEW BEST:: SOT 9619 SOS 3780 HAS SOPS 3534 HAS SOUS 2500 HAS SOUPS 2372 WITH SCORE 2375.78
AT ITER 632 NEW BEST:: SOT 9617 SOS 3778 HAS SOPS 3530 HAS SOUS 2497 HAS SOUPS 2368 WITH SCORE 2371.778
AT ITER 665 NEW BEST:: SOT 9617 SOS 3766 HAS SOPS 3518 HAS SOUS 2497 HAS SOUPS 2368 WITH SCORE 2371.766
AT ITER 668 NEW BEST:: SOT 9627 SOS 3806 HAS SOPS 3558 HAS SOUS 2487 HAS SOUPS 2358 WITH SCORE 2361.806
AT ITER 675 NEW BEST:: SOT 9625 SOS 3802 HAS SOPS 3553 HAS SOUS 2483 HAS SOUPS 2354 WITH SCORE 2357.802
AT ITER 685 NEW BEST:: SOT 9620 SOS 3802 HAS SOPS 3553 HAS SOUS 2478 HAS SOUPS 2349 WITH SCORE 2352.802
AT ITER 700 NEW BEST:: SOT 9622 SOS 3804 HAS SOPS 3555 HAS SOUS 2476 HAS SOUPS 2347 WITH SCORE 2350.804
AT ITER 706 NEW BEST:: SOT 9621 SOS 3801 HAS SOPS 3549 HAS SOUS 2474 HAS SOUPS 2345 WITH SCORE 2348.801
AT ITER 708 NEW BEST:: SOT 9620 SOS 3799 HAS SOPS 3547 HAS SOUS 2472 HAS SOUPS 2343 WITH SCORE 2346.799
AT ITER 714 NEW BEST:: SOT 9618 SOS 3795 HAS SOPS 3536 HAS SOUS 2460 HAS SOUPS 2331 WITH SCORE 2334.795
AT ITER 726 NEW BEST:: SOT 9618 SOS 3790 HAS SOPS 3531 HAS SOUS 2460 HAS SOUPS 2331 WITH SCORE 2334.79
AT ITER 740 NEW BEST:: SOT 9593 SOS 3793 HAS SOPS 3447 HAS SOUS 2469 HAS SOUPS 2323 WITH SCORE 2326.793
AT ITER 741 NEW BEST:: SOT 9587 SOS 3787 HAS SOPS 3425 HAS SOUS 2460 HAS SOUPS 2301 WITH SCORE 2304.787
AT ITER 748 NEW BEST:: SOT 9582 SOS 3777 HAS SOPS 3415 HAS SOUS 2450 HAS SOUPS 2291 WITH SCORE 2294.777
AT ITER 750 NEW BEST:: SOT 9584 SOS 3766 HAS SOPS 3404 HAS SOUS 2438 HAS SOUPS 2279 WITH SCORE 2282.766
AT ITER 757 NEW BEST:: SOT 9587 SOS 3775 HAS SOPS 3413 HAS SOUS 2435 HAS SOUPS 2276 WITH SCORE 2279.775
AT ITER 764 NEW BEST:: SOT 9573 SOS 3761 HAS SOPS 3399 HAS SOUS 2420 HAS SOUPS 2261 WITH SCORE 2264.761
AT ITER 770 NEW BEST:: SOT 9573 SOS 3764 HAS SOPS 3402 HAS SOUS 2418 HAS SOUPS 2259 WITH SCORE 2262.764
AT ITER 773 NEW BEST:: SOT 9572 SOS 3760 HAS SOPS 3398 HAS SOUS 2417 HAS SOUPS 2258 WITH SCORE 2261.76
AT ITER 775 NEW BEST:: SOT 9577 SOS 3750 HAS SOPS 3388 HAS SOUS 2417 HAS SOUPS 2258 WITH SCORE 2261.75
AT ITER 780 NEW BEST:: SOT 9548 SOS 3830 HAS SOPS 3452 HAS SOUS 2427 HAS SOUPS 2252 WITH SCORE 2255.83
AT ITER 786 NEW BEST:: SOT 9548 SOS 3833 HAS SOPS 3452 HAS SOUS 2419 HAS SOUPS 2244 WITH SCORE 2247.833
AT ITER 789 NEW BEST:: SOT 9548 SOS 3826 HAS SOPS 3452 HAS SOUS 2419 HAS SOUPS 2244 WITH SCORE 2247.826
AT ITER 799 NEW BEST:: SOT 9531 SOS 3779 HAS SOPS 3405 HAS SOUS 2384 HAS SOUPS 2209 WITH SCORE 2212.779
AT ITER 800 NEW BEST:: SOT 9530 SOS 3765 HAS SOPS 3391 HAS SOUS 2370 HAS SOUPS 2195 WITH SCORE 2198.765
AT ITER 804 NEW BEST:: SOT 9539 SOS 3774 HAS SOPS 3394 HAS SOUS 2361 HAS SOUPS 2186 WITH SCORE 2189.774
AT ITER 808 NEW BEST:: SOT 9534 SOS 3763 HAS SOPS 3383 HAS SOUS 2361 HAS SOUPS 2186 WITH SCORE 2189.763
AT ITER 813 NEW BEST:: SOT 9534 SOS 3739 HAS SOPS 3359 HAS SOUS 2355 HAS SOUPS 2180 WITH SCORE 2183.739
AT ITER 831 NEW BEST:: SOT 9533 SOS 3738 HAS SOPS 3359 HAS SOUS 2354 HAS SOUPS 2180 WITH SCORE 2183.738
AT ITER 843 NEW BEST:: SOT 9531 SOS 3734 HAS SOPS 3353 HAS SOUS 2350 HAS SOUPS 2176 WITH SCORE 2179.734
AT ITER 858 NEW BEST:: SOT 9535 SOS 3806 HAS SOPS 3357 HAS SOUS 2361 HAS SOUPS 2173 WITH SCORE 2176.806
AT ITER 875 NEW BEST:: SOT 9516 SOS 3699 HAS SOPS 3250 HAS SOUS 2332 HAS SOUPS 2144 WITH SCORE 2147.699
AT ITER 876 NEW BEST:: SOT 9504 SOS 3668 HAS SOPS 3236 HAS SOUS 2301 HAS SOUPS 2130 WITH SCORE 2133.668
AT ITER 887 NEW BEST:: SOT 9504 SOS 3666 HAS SOPS 3234 HAS SOUS 2301 HAS SOUPS 2130 WITH SCORE 2133.666
AT ITER 906 NEW BEST:: SOT 9510 SOS 3682 HAS SOPS 3231 HAS SOUS 2306 HAS SOUPS 2127 WITH SCORE 2130.682
AT ITER 917 NEW BEST:: SOT 9530 SOS 3682 HAS SOPS 3251 HAS SOUS 2286 HAS SOUPS 2107 WITH SCORE 2110.682
AT ITER 919 NEW BEST:: SOT 9527 SOS 3628 HAS SOPS 3197 HAS SOUS 2283 HAS SOUPS 2104 WITH SCORE 2107.628
AT ITER 931 NEW BEST:: SOT 9524 SOS 3625 HAS SOPS 3194 HAS SOUS 2280 HAS SOUPS 2101 WITH SCORE 2104.625
AT ITER 943 NEW BEST:: SOT 9523 SOS 3623 HAS SOPS 3192 HAS SOUS 2278 HAS SOUPS 2099 WITH SCORE 2102.623
AT ITER 1017 NEW BEST:: SOT 9523 SOS 3587 HAS SOPS 3156 HAS SOUS 2251 HAS SOUPS 2072 WITH SCORE 2075.587
AT ITER 1020 NEW BEST:: SOT 9523 SOS 3579 HAS SOPS 3156 HAS SOUS 2243 HAS SOUPS 2072 WITH SCORE 2075.579
AT ITER 1024 NEW BEST:: SOT 9531 SOS 3611 HAS SOPS 3162 HAS SOUS 2244 HAS SOUPS 2068 WITH SCORE 2071.611
AT ITER 1025 NEW BEST:: SOT 9527 SOS 3607 HAS SOPS 3158 HAS SOUS 2236 HAS SOUPS 2060 WITH SCORE 2063.607
AT ITER 1028 NEW BEST:: SOT 9525 SOS 3603 HAS SOPS 3154 HAS SOUS 2232 HAS SOUPS 2056 WITH SCORE 2059.603
AT ITER 1063 NEW BEST:: SOT 9518 SOS 3611 HAS SOPS 3162 HAS SOUS 2225 HAS SOUPS 2049 WITH SCORE 2052.611
AT ITER 1088 NEW BEST:: SOT 9520 SOS 3603 HAS SOPS 3166 HAS SOUS 2223 HAS SOUPS 2049 WITH SCORE 2052.603
AT ITER 1091 NEW BEST:: SOT 9513 SOS 3587 HAS SOPS 3150 HAS SOUS 2221 HAS SOUPS 2047 WITH SCORE 2050.587
AT ITER 1121 NEW BEST:: SOT 9528 SOS 3602 HAS SOPS 3165 HAS SOUS 2220 HAS SOUPS 2046 WITH SCORE 2049.602
AT ITER 1153 NEW BEST:: SOT 9528 SOS 3608 HAS SOPS 3171 HAS SOUS 2217 HAS SOUPS 2043 WITH SCORE 2046.608
AT ITER 1198 NEW BEST:: SOT 9535 SOS 3615 HAS SOPS 3169 HAS SOUS 2201 HAS SOUPS 2027 WITH SCORE 2030.615
AT ITER 1211 NEW BEST:: SOT 9528 SOS 3632 HAS SOPS 3182 HAS SOUS 2199 HAS SOUPS 2021 WITH SCORE 2024.632
AT ITER 1213 NEW BEST:: SOT 9533 SOS 3634 HAS SOPS 3189 HAS SOUS 2196 HAS SOUPS 2018 WITH SCORE 2021.634
AT ITER 1228 NEW BEST:: SOT 9533 SOS 3626 HAS SOPS 3181 HAS SOUS 2196 HAS SOUPS 2018 WITH SCORE 2021.626
AT ITER 1244 NEW BEST:: SOT 9538 SOS 3631 HAS SOPS 3186 HAS SOUS 2193 HAS SOUPS 2015 WITH SCORE 2018.631
AT ITER 1252 NEW BEST:: SOT 9540 SOS 3627 HAS SOPS 3177 HAS SOUS 2186 HAS SOUPS 2008 WITH SCORE 2011.627
AT ITER 1328 NEW BEST:: SOT 9538 SOS 3625 HAS SOPS 3172 HAS SOUS 2187 HAS SOUPS 2006 WITH SCORE 2009.625
AT ITER 1350 NEW BEST:: SOT 9533 SOS 3572 HAS SOPS 3119 HAS SOUS 2182 HAS SOUPS 2001 WITH SCORE 2004.572
AT ITER 1360 NEW BEST:: SOT 9536 SOS 3547 HAS SOPS 3111 HAS SOUS 2174 HAS SOUPS 1993 WITH SCORE 1996.547
AT ITER 1363 NEW BEST:: SOT 9536 SOS 3548 HAS SOPS 3112 HAS SOUS 2172 HAS SOUPS 1991 WITH SCORE 1994.548
AT ITER 1414 NEW BEST:: SOT 9536 SOS 3557 HAS SOPS 3122 HAS SOUS 2165 HAS SOUPS 1984 WITH SCORE 1987.557
AT ITER 1421 NEW BEST:: SOT 9534 SOS 3553 HAS SOPS 3118 HAS SOUS 2165 HAS SOUPS 1984 WITH SCORE 1987.553
AT ITER 1422 NEW BEST:: SOT 9533 SOS 3551 HAS SOPS 3116 HAS SOUS 2163 HAS SOUPS 1982 WITH SCORE 1985.551
AT ITER 1434 NEW BEST:: SOT 9532 SOS 3470 HAS SOPS 3035 HAS SOUS 2157 HAS SOUPS 1976 WITH SCORE 1979.47
AT ITER 1449 NEW BEST:: SOT 9538 SOS 3474 HAS SOPS 3026 HAS SOUS 2151 HAS SOUPS 1970 WITH SCORE 1973.474
AT ITER 1463 NEW BEST:: SOT 9534 SOS 3486 HAS SOPS 3038 HAS SOUS 2147 HAS SOUPS 1966 WITH SCORE 1969.486
AT ITER 1477 NEW BEST:: SOT 9530 SOS 3498 HAS SOPS 3050 HAS SOUS 2143 HAS SOUPS 1962 WITH SCORE 1965.498
AT ITER 1490 NEW BEST:: SOT 9526 SOS 3506 HAS SOPS 3050 HAS SOUS 2143 HAS SOUPS 1958 WITH SCORE 1961.506
AT ITER 1495 NEW BEST:: SOT 9524 SOS 3504 HAS SOPS 3048 HAS SOUS 2142 HAS SOUPS 1957 WITH SCORE 1960.504
AT ITER 1509 NEW BEST:: SOT 9524 SOS 3503 HAS SOPS 3047 HAS SOUS 2142 HAS SOUPS 1957 WITH SCORE 1960.503
AT ITER 1513 NEW BEST:: SOT 9509 SOS 3491 HAS SOPS 3025 HAS SOUS 2139 HAS SOUPS 1954 WITH SCORE 1957.491
AT ITER 1515 NEW BEST:: SOT 9507 SOS 3487 HAS SOPS 3021 HAS SOUS 2137 HAS SOUPS 1952 WITH SCORE 1955.487
AT ITER 1516 NEW BEST:: SOT 9503 SOS 3483 HAS SOPS 3017 HAS SOUS 2135 HAS SOUPS 1950 WITH SCORE 1953.483
AT ITER 1519 NEW BEST:: SOT 9501 SOS 3493 HAS SOPS 3013 HAS SOUS 2131 HAS SOUPS 1946 WITH SCORE 1949.493
AT ITER 1612 NEW BEST:: SOT 9502 SOS 3483 HAS SOPS 3003 HAS SOUS 2115 HAS SOUPS 1930 WITH SCORE 1933.483
AT ITER 1614 NEW BEST:: SOT 9488 SOS 3491 HAS SOPS 2981 HAS SOUS 2122 HAS SOUPS 1929 WITH SCORE 1932.491
AT ITER 1617 NEW BEST:: SOT 9495 SOS 3498 HAS SOPS 2989 HAS SOUS 2118 HAS SOUPS 1925 WITH SCORE 1928.498
AT ITER 1639 NEW BEST:: SOT 9495 SOS 3496 HAS SOPS 2987 HAS SOUS 2116 HAS SOUPS 1923 WITH SCORE 1926.496
AT ITER 1640 NEW BEST:: SOT 9482 SOS 3483 HAS SOPS 2966 HAS SOUS 2105 HAS SOUPS 1912 WITH SCORE 1915.483
AT ITER 1652 NEW BEST:: SOT 9482 SOS 3482 HAS SOPS 2966 HAS SOUS 2105 HAS SOUPS 1912 WITH SCORE 1915.482
AT ITER 1719 NEW BEST:: SOT 9480 SOS 3481 HAS SOPS 2955 HAS SOUS 2097 HAS SOUPS 1904 WITH SCORE 1907.481
AT ITER 1727 NEW BEST:: SOT 9477 SOS 3493 HAS SOPS 2949 HAS SOUS 2098 HAS SOUPS 1902 WITH SCORE 1905.493
AT ITER 1738 NEW BEST:: SOT 9478 SOS 3505 HAS SOPS 2957 HAS SOUS 2091 HAS SOUPS 1895 WITH SCORE 1898.505
AT ITER 1780 NEW BEST:: SOT 9478 SOS 3502 HAS SOPS 2954 HAS SOUS 2091 HAS SOUPS 1895 WITH SCORE 1898.502
AT ITER 1782 NEW BEST:: SOT 9476 SOS 3502 HAS SOPS 2954 HAS SOUS 2087 HAS SOUPS 1891 WITH SCORE 1894.502
AT ITER 1784 NEW BEST:: SOT 9469 SOS 3515 HAS SOPS 2942 HAS SOUS 2075 HAS SOUPS 1874 WITH SCORE 1877.515
AT ITER 1837 NEW BEST:: SOT 9466 SOS 3521 HAS SOPS 2948 HAS SOUS 2072 HAS SOUPS 1871 WITH SCORE 1874.521
AT ITER 1845 NEW BEST:: SOT 9464 SOS 3519 HAS SOPS 2944 HAS SOUS 2062 HAS SOUPS 1861 WITH SCORE 1864.519
AT ITER 1848 NEW BEST:: SOT 9483 SOS 3524 HAS SOPS 2963 HAS SOUS 2043 HAS SOUPS 1842 WITH SCORE 1845.524
AT ITER 1866 NEW BEST:: SOT 9481 SOS 3522 HAS SOPS 2959 HAS SOUS 2039 HAS SOUPS 1838 WITH SCORE 1841.522
AT ITER 1873 NEW BEST:: SOT 9480 SOS 3514 HAS SOPS 2951 HAS SOUS 2039 HAS SOUPS 1838 WITH SCORE 1841.514
AT ITER 1880 NEW BEST:: SOT 9478 SOS 3509 HAS SOPS 2946 HAS SOUS 2039 HAS SOUPS 1838 WITH SCORE 1841.509
AT ITER 1886 NEW BEST:: SOT 9476 SOS 3509 HAS SOPS 2946 HAS SOUS 2036 HAS SOUPS 1835 WITH SCORE 1838.509
AT ITER 1912 NEW BEST:: SOT 9476 SOS 3503 HAS SOPS 2946 HAS SOUS 2036 HAS SOUPS 1835 WITH SCORE 1838.503
AT ITER 1926 NEW BEST:: SOT 9474 SOS 3501 HAS SOPS 2942 HAS SOUS 2035 HAS SOUPS 1825 WITH SCORE 1828.501
AT ITER 1932 NEW BEST:: SOT 9454 SOS 3451 HAS SOPS 2892 HAS SOUS 2035 HAS SOUPS 1825 WITH SCORE 1828.451
AT ITER 1955 NEW BEST:: SOT 9439 SOS 3436 HAS SOPS 2870 HAS SOUS 2023 HAS SOUPS 1813 WITH SCORE 1816.436
AT ITER 2001 NEW BEST:: SOT 9437 SOS 3432 HAS SOPS 2866 HAS SOUS 2023 HAS SOUPS 1813 WITH SCORE 1816.432
AT ITER 2034 NEW BEST:: SOT 9435 SOS 3430 HAS SOPS 2864 HAS SOUS 2019 HAS SOUPS 1809 WITH SCORE 1812.43
AT ITER 2049 NEW BEST:: SOT 9433 SOS 3426 HAS SOPS 2860 HAS SOUS 2017 HAS SOUPS 1807 WITH SCORE 1810.426
AT ITER 2088 NEW BEST:: SOT 9413 SOS 3341 HAS SOPS 2782 HAS SOUS 2016 HAS SOUPS 1806 WITH SCORE 1809.341
AT ITER 2107 NEW BEST:: SOT 9413 SOS 3338 HAS SOPS 2780 HAS SOUS 2014 HAS SOUPS 1805 WITH SCORE 1808.338
AT ITER 2108 NEW BEST:: SOT 9413 SOS 3339 HAS SOPS 2780 HAS SOUS 2012 HAS SOUPS 1803 WITH SCORE 1806.339
AT ITER 2132 NEW BEST:: SOT 9423 SOS 3335 HAS SOPS 2794 HAS SOUS 2006 HAS SOUPS 1803 WITH SCORE 1806.335
AT ITER 2156 NEW BEST:: SOT 9421 SOS 3333 HAS SOPS 2792 HAS SOUS 2002 HAS SOUPS 1799 WITH SCORE 1802.333
AT ITER 2176 NEW BEST:: SOT 9419 SOS 3315 HAS SOPS 2774 HAS SOUS 2000 HAS SOUPS 1797 WITH SCORE 1800.315
AT ITER 2209 NEW BEST:: SOT 9420 SOS 3297 HAS SOPS 2755 HAS SOUS 1999 HAS SOUPS 1796 WITH SCORE 1799.297
AT ITER 2243 NEW BEST:: SOT 9402 SOS 3288 HAS SOPS 2746 HAS SOUS 1999 HAS SOUPS 1796 WITH SCORE 1799.288
AT ITER 2281 NEW BEST:: SOT 9402 SOS 3281 HAS SOPS 2746 HAS SOUS 1992 HAS SOUPS 1796 WITH SCORE 1799.281
AT ITER 2306 NEW BEST:: SOT 9401 SOS 3281 HAS SOPS 2746 HAS SOUS 1990 HAS SOUPS 1794 WITH SCORE 1797.281
AT ITER 2334 NEW BEST:: SOT 9410 SOS 3314 HAS SOPS 2779 HAS SOUS 1979 HAS SOUPS 1783 WITH SCORE 1786.314
AT ITER 2335 NEW BEST:: SOT 9409 SOS 3311 HAS SOPS 2776 HAS SOUS 1978 HAS SOUPS 1782 WITH SCORE 1785.311
AT ITER 2341 NEW BEST:: SOT 9426 SOS 3365 HAS SOPS 2830 HAS SOUS 1972 HAS SOUPS 1776 WITH SCORE 1779.365
AT ITER 2344 NEW BEST:: SOT 9426 SOS 3360 HAS SOPS 2825 HAS SOUS 1972 HAS SOUPS 1776 WITH SCORE 1779.36
AT ITER 2371 NEW BEST:: SOT 9408 SOS 3340 HAS SOPS 2805 HAS SOUS 1970 HAS SOUPS 1774 WITH SCORE 1777.34
AT ITER 2407 NEW BEST:: SOT 9407 SOS 3336 HAS SOPS 2801 HAS SOUS 1969 HAS SOUPS 1773 WITH SCORE 1776.336
AT ITER 2428 NEW BEST:: SOT 9383 SOS 3312 HAS SOPS 2782 HAS SOUS 1939 HAS SOUPS 1743 WITH SCORE 1746.312
AT ITER 2452 NEW BEST:: SOT 9383 SOS 3312 HAS SOPS 2782 HAS SOUS 1936 HAS SOUPS 1740 WITH SCORE 1743.312
AT ITER 2465 NEW BEST:: SOT 9386 SOS 3313 HAS SOPS 2786 HAS SOUS 1934 HAS SOUPS 1738 WITH SCORE 1741.313
AT ITER 2493 NEW BEST:: SOT 9383 SOS 3310 HAS SOPS 2783 HAS SOUS 1931 HAS SOUPS 1735 WITH SCORE 1738.31
AT ITER 2498 NEW BEST:: SOT 9379 SOS 3306 HAS SOPS 2779 HAS SOUS 1927 HAS SOUPS 1731 WITH SCORE 1734.306
AT ITER 2585 NEW BEST:: SOT 9377 SOS 3304 HAS SOPS 2777 HAS SOUS 1926 HAS SOUPS 1730 WITH SCORE 1733.304
AT ITER 2610 NEW BEST:: SOT 9376 SOS 3279 HAS SOPS 2752 HAS SOUS 1925 HAS SOUPS 1729 WITH SCORE 1732.279
AT ITER 2639 NEW BEST:: SOT 9374 SOS 3276 HAS SOPS 2749 HAS SOUS 1922 HAS SOUPS 1726 WITH SCORE 1729.276
AT ITER 2660 NEW BEST:: SOT 9383 SOS 3289 HAS SOPS 2757 HAS SOUS 1920 HAS SOUPS 1724 WITH SCORE 1727.289
AT ITER 2672 NEW BEST:: SOT 9382 SOS 3287 HAS SOPS 2754 HAS SOUS 1916 HAS SOUPS 1720 WITH SCORE 1723.287
AT ITER 2695 NEW BEST:: SOT 9381 SOS 3251 HAS SOPS 2718 HAS SOUS 1916 HAS SOUPS 1720 WITH SCORE 1723.251
AT ITER 2742 NEW BEST:: SOT 9377 SOS 3239 HAS SOPS 2710 HAS SOUS 1908 HAS SOUPS 1712 WITH SCORE 1715.239
AT ITER 2790 NEW BEST:: SOT 9375 SOS 3210 HAS SOPS 2681 HAS SOUS 1906 HAS SOUPS 1710 WITH SCORE 1713.21
AT ITER 2829 NEW BEST:: SOT 9374 SOS 3209 HAS SOPS 2680 HAS SOUS 1905 HAS SOUPS 1709 WITH SCORE 1712.209
AT ITER 2837 NEW BEST:: SOT 9374 SOS 3209 HAS SOPS 2680 HAS SOUS 1903 HAS SOUPS 1707 WITH SCORE 1710.209
AT ITER 2841 NEW BEST:: SOT 9373 SOS 3208 HAS SOPS 2679 HAS SOUS 1903 HAS SOUPS 1707 WITH SCORE 1710.208
AT ITER 2843 NEW BEST:: SOT 9371 SOS 3213 HAS SOPS 2684 HAS SOUS 1899 HAS SOUPS 1703 WITH SCORE 1706.213
AT ITER 2896 NEW BEST:: SOT 9369 SOS 3211 HAS SOPS 2682 HAS SOUS 1897 HAS SOUPS 1701 WITH SCORE 1704.211
AT ITER 2930 NEW BEST:: SOT 9369 SOS 3211 HAS SOPS 2682 HAS SOUS 1893 HAS SOUPS 1697 WITH SCORE 1700.211
AT ITER 2985 NEW BEST:: SOT 9366 SOS 3208 HAS SOPS 2679 HAS SOUS 1890 HAS SOUPS 1694 WITH SCORE 1697.208
AT ITER 3036 NEW BEST:: SOT 9365 SOS 3207 HAS SOPS 2678 HAS SOUS 1889 HAS SOUPS 1693 WITH SCORE 1696.207
AT ITER 3041 NEW BEST:: SOT 9366 SOS 3204 HAS SOPS 2675 HAS SOUS 1888 HAS SOUPS 1692 WITH SCORE 1695.204
AT ITER 3049 NEW BEST:: SOT 9362 SOS 3188 HAS SOPS 2659 HAS SOUS 1884 HAS SOUPS 1688 WITH SCORE 1691.188
AT ITER 3074 NEW BEST:: SOT 9359 SOS 3191 HAS SOPS 2662 HAS SOUS 1878 HAS SOUPS 1682 WITH SCORE 1685.191
AT ITER 3096 NEW BEST:: SOT 9357 SOS 3251 HAS SOPS 2722 HAS SOUS 1874 HAS SOUPS 1678 WITH SCORE 1681.251
AT ITER 3119 NEW BEST:: SOT 9357 SOS 3239 HAS SOPS 2710 HAS SOUS 1874 HAS SOUPS 1678 WITH SCORE 1681.239
AT ITER 3140 NEW BEST:: SOT 9341 SOS 3190 HAS SOPS 2661 HAS SOUS 1874 HAS SOUPS 1678 WITH SCORE 1681.19
AT ITER 3190 NEW BEST:: SOT 9337 SOS 3182 HAS SOPS 2651 HAS SOUS 1866 HAS SOUPS 1670 WITH SCORE 1673.182
AT ITER 3237 NEW BEST:: SOT 9337 SOS 3180 HAS SOPS 2649 HAS SOUS 1866 HAS SOUPS 1670 WITH SCORE 1673.18
AT ITER 3240 NEW BEST:: SOT 9334 SOS 3174 HAS SOPS 2641 HAS SOUS 1858 HAS SOUPS 1662 WITH SCORE 1665.174
AT ITER 3265 NEW BEST:: SOT 9334 SOS 3177 HAS SOPS 2644 HAS SOUS 1856 HAS SOUPS 1660 WITH SCORE 1663.177
AT ITER 3274 NEW BEST:: SOT 9333 SOS 3173 HAS SOPS 2640 HAS SOUS 1855 HAS SOUPS 1659 WITH SCORE 1662.173
AT ITER 3280 NEW BEST:: SOT 9338 SOS 3194 HAS SOPS 2661 HAS SOUS 1850 HAS SOUPS 1654 WITH SCORE 1657.194
AT ITER 3303 NEW BEST:: SOT 9333 SOS 3199 HAS SOPS 2666 HAS SOUS 1845 HAS SOUPS 1649 WITH SCORE 1652.199
AT ITER 3312 NEW BEST:: SOT 9336 SOS 3175 HAS SOPS 2645 HAS SOUS 1840 HAS SOUPS 1647 WITH SCORE 1650.175
AT ITER 3313 NEW BEST:: SOT 9345 SOS 3182 HAS SOPS 2649 HAS SOUS 1839 HAS SOUPS 1646 WITH SCORE 1649.182
AT ITER 3336 NEW BEST:: SOT 9342 SOS 3186 HAS SOPS 2634 HAS SOUS 1839 HAS SOUPS 1643 WITH SCORE 1646.186
AT ITER 3337 NEW BEST:: SOT 9324 SOS 3160 HAS SOPS 2598 HAS SOUS 1809 HAS SOUPS 1613 WITH SCORE 1616.16
AT ITER 3340 NEW BEST:: SOT 9324 SOS 3152 HAS SOPS 2590 HAS SOUS 1809 HAS SOUPS 1613 WITH SCORE 1616.152
AT ITER 3399 NEW BEST:: SOT 9326 SOS 3153 HAS SOPS 2591 HAS SOUS 1808 HAS SOUPS 1612 WITH SCORE 1615.153
AT ITER 3413 NEW BEST:: SOT 9326 SOS 3152 HAS SOPS 2591 HAS SOUS 1807 HAS SOUPS 1612 WITH SCORE 1615.152
AT ITER 3419 NEW BEST:: SOT 9328 SOS 3154 HAS SOPS 2592 HAS SOUS 1802 HAS SOUPS 1607 WITH SCORE 1610.154
AT ITER 3436 NEW BEST:: SOT 9327 SOS 3161 HAS SOPS 2599 HAS SOUS 1800 HAS SOUPS 1605 WITH SCORE 1608.161
AT ITER 3460 NEW BEST:: SOT 9324 SOS 3153 HAS SOPS 2593 HAS SOUS 1798 HAS SOUPS 1603 WITH SCORE 1606.153
AT ITER 3484 NEW BEST:: SOT 9324 SOS 3152 HAS SOPS 2593 HAS SOUS 1797 HAS SOUPS 1603 WITH SCORE 1606.152
AT ITER 3486 NEW BEST:: SOT 9325 SOS 3153 HAS SOPS 2594 HAS SOUS 1794 HAS SOUPS 1600 WITH SCORE 1603.153
AT ITER 3492 NEW BEST:: SOT 9334 SOS 3162 HAS SOPS 2602 HAS SOUS 1784 HAS SOUPS 1590 WITH SCORE 1593.162
AT ITER 3500 NEW BEST:: SOT 9333 SOS 3160 HAS SOPS 2600 HAS SOUS 1782 HAS SOUPS 1588 WITH SCORE 1591.16
AT ITER 3552 NEW BEST:: SOT 9331 SOS 3158 HAS SOPS 2599 HAS SOUS 1781 HAS SOUPS 1587 WITH SCORE 1590.158
AT ITER 3597 NEW BEST:: SOT 9330 SOS 3155 HAS SOPS 2596 HAS SOUS 1778 HAS SOUPS 1584 WITH SCORE 1587.155
AT ITER 3611 NEW BEST:: SOT 9328 SOS 3153 HAS SOPS 2596 HAS SOUS 1778 HAS SOUPS 1584 WITH SCORE 1587.153
AT ITER 3717 NEW BEST:: SOT 9324 SOS 3151 HAS SOPS 2597 HAS SOUS 1774 HAS SOUPS 1580 WITH SCORE 1583.151
AT ITER 3798 NEW BEST:: SOT 9324 SOS 3149 HAS SOPS 2595 HAS SOUS 1774 HAS SOUPS 1580 WITH SCORE 1583.149
AT ITER 3811 NEW BEST:: SOT 9321 SOS 3131 HAS SOPS 2577 HAS SOUS 1771 HAS SOUPS 1577 WITH SCORE 1580.131
AT ITER 3848 NEW BEST:: SOT 9315 SOS 3125 HAS SOPS 2571 HAS SOUS 1769 HAS SOUPS 1575 WITH SCORE 1578.125
AT ITER 3882 NEW BEST:: SOT 9301 SOS 3109 HAS SOPS 2552 HAS SOUS 1760 HAS SOUPS 1566 WITH SCORE 1569.109
AT ITER 3933 NEW BEST:: SOT 9299 SOS 3107 HAS SOPS 2550 HAS SOUS 1758 HAS SOUPS 1564 WITH SCORE 1567.107
AT ITER 3953 NEW BEST:: SOT 9299 SOS 3101 HAS SOPS 2550 HAS SOUS 1752 HAS SOUPS 1564 WITH SCORE 1567.101
AT ITER 4034 NEW BEST:: SOT 9299 SOS 3102 HAS SOPS 2550 HAS SOUS 1751 HAS SOUPS 1563 WITH SCORE 1566.102
AT ITER 4041 NEW BEST:: SOT 9297 SOS 3102 HAS SOPS 2547 HAS SOUS 1751 HAS SOUPS 1560 WITH SCORE 1563.102
AT ITER 4075 NEW BEST:: SOT 9297 SOS 3053 HAS SOPS 2502 HAS SOUS 1740 HAS SOUPS 1549 WITH SCORE 1552.053
AT ITER 4111 NEW BEST:: SOT 9290 SOS 3015 HAS SOPS 2464 HAS SOUS 1734 HAS SOUPS 1543 WITH SCORE 1546.015
AT ITER 4261 NEW BEST:: SOT 9281 SOS 2988 HAS SOPS 2439 HAS SOUS 1734 HAS SOUPS 1543 WITH SCORE 1545.988
AT ITER 4301 NEW BEST:: SOT 9278 SOS 2972 HAS SOPS 2423 HAS SOUS 1730 HAS SOUPS 1539 WITH SCORE 1541.972
AT ITER 4364 NEW BEST:: SOT 9278 SOS 2972 HAS SOPS 2423 HAS SOUS 1728 HAS SOUPS 1537 WITH SCORE 1539.972
AT ITER 4417 NEW BEST:: SOT 9280 SOS 2971 HAS SOPS 2424 HAS SOUS 1726 HAS SOUPS 1535 WITH SCORE 1537.971
AT ITER 4431 NEW BEST:: SOT 9272 SOS 2962 HAS SOPS 2419 HAS SOUS 1725 HAS SOUPS 1534 WITH SCORE 1536.962
AT ITER 4446 NEW BEST:: SOT 9269 SOS 2959 HAS SOPS 2413 HAS SOUS 1719 HAS SOUPS 1528 WITH SCORE 1530.959
AT ITER 4703 NEW BEST:: SOT 9268 SOS 2964 HAS SOPS 2404 HAS SOUS 1720 HAS SOUPS 1527 WITH SCORE 1529.964
AT ITER 4774 NEW BEST:: SOT 9268 SOS 2953 HAS SOPS 2393 HAS SOUS 1720 HAS SOUPS 1527 WITH SCORE 1529.953
AT ITER 4821 NEW BEST:: SOT 9263 SOS 2949 HAS SOPS 2389 HAS SOUS 1718 HAS SOUPS 1525 WITH SCORE 1527.949
AT ITER 4824 NEW BEST:: SOT 9261 SOS 2953 HAS SOPS 2393 HAS SOUS 1715 HAS SOUPS 1522 WITH SCORE 1524.953
AT ITER 4842 NEW BEST:: SOT 9259 SOS 2955 HAS SOPS 2395 HAS SOUS 1714 HAS SOUPS 1521 WITH SCORE 1523.955
AT ITER 4909 NEW BEST:: SOT 9258 SOS 2961 HAS SOPS 2391 HAS SOUS 1713 HAS SOUPS 1518 WITH SCORE 1520.961
AT ITER 4938 NEW BEST:: SOT 9257 SOS 2953 HAS SOPS 2383 HAS SOUS 1709 HAS SOUPS 1514 WITH SCORE 1516.953
AT ITER 4942 NEW BEST:: SOT 9255 SOS 2951 HAS SOPS 2379 HAS SOUS 1705 HAS SOUPS 1510 WITH SCORE 1512.951
AT ITER 4969 NEW BEST:: SOT 9252 SOS 2948 HAS SOPS 2376 HAS SOUS 1703 HAS SOUPS 1508 WITH SCORE 1510.948
AT ITER 5047 NEW BEST:: SOT 9253 SOS 2948 HAS SOPS 2374 HAS SOUS 1701 HAS SOUPS 1506 WITH SCORE 1508.948
AT ITER 5153 NEW BEST:: SOT 9254 SOS 2949 HAS SOPS 2375 HAS SOUS 1700 HAS SOUPS 1505 WITH SCORE 1507.949
AT ITER 5241 NEW BEST:: SOT 9253 SOS 2962 HAS SOPS 2371 HAS SOUS 1696 HAS SOUPS 1497 WITH SCORE 1499.962
AT ITER 5439 NEW BEST:: SOT 9241 SOS 2951 HAS SOPS 2354 HAS SOUS 1696 HAS SOUPS 1491 WITH SCORE 1493.951
AT ITER 5502 NEW BEST:: SOT 9240 SOS 2944 HAS SOPS 2347 HAS SOUS 1695 HAS SOUPS 1490 WITH SCORE 1492.944
AT ITER 5506 NEW BEST:: SOT 9237 SOS 2941 HAS SOPS 2344 HAS SOUS 1692 HAS SOUPS 1487 WITH SCORE 1489.941
AT ITER 5569 NEW BEST:: SOT 9237 SOS 2942 HAS SOPS 2344 HAS SOUS 1690 HAS SOUPS 1485 WITH SCORE 1487.942
AT ITER 5886 NEW BEST:: SOT 9236 SOS 2960 HAS SOPS 2337 HAS SOUS 1691 HAS SOUPS 1482 WITH SCORE 1484.96
AT ITER 5988 NEW BEST:: SOT 9234 SOS 2952 HAS SOPS 2329 HAS SOUS 1691 HAS SOUPS 1482 WITH SCORE 1484.952
AT ITER 6030 NEW BEST:: SOT 9232 SOS 2942 HAS SOPS 2319 HAS SOUS 1686 HAS SOUPS 1477 WITH SCORE 1479.942
AT ITER 6174 NEW BEST:: SOT 9229 SOS 2935 HAS SOPS 2313 HAS SOUS 1684 HAS SOUPS 1475 WITH SCORE 1477.935
AT ITER 6207 NEW BEST:: SOT 9229 SOS 2931 HAS SOPS 2309 HAS SOUS 1683 HAS SOUPS 1474 WITH SCORE 1476.931
AT ITER 6220 NEW BEST:: SOT 9228 SOS 2942 HAS SOPS 2320 HAS SOUS 1682 HAS SOUPS 1473 WITH SCORE 1475.942
AT ITER 6238 NEW BEST:: SOT 9228 SOS 2941 HAS SOPS 2319 HAS SOUS 1680 HAS SOUPS 1471 WITH SCORE 1473.941
AT ITER 6268 NEW BEST:: SOT 9227 SOS 2939 HAS SOPS 2318 HAS SOUS 1678 HAS SOUPS 1470 WITH SCORE 1472.939
AT ITER 6305 NEW BEST:: SOT 9226 SOS 2938 HAS SOPS 2317 HAS SOUS 1676 HAS SOUPS 1468 WITH SCORE 1470.938
AT ITER 6423 NEW BEST:: SOT 9225 SOS 2933 HAS SOPS 2312 HAS SOUS 1675 HAS SOUPS 1467 WITH SCORE 1469.933
AT ITER 6574 NEW BEST:: SOT 9225 SOS 2930 HAS SOPS 2309 HAS SOUS 1675 HAS SOUPS 1467 WITH SCORE 1469.93
AT ITER 6611 NEW BEST:: SOT 9224 SOS 2929 HAS SOPS 2308 HAS SOUS 1674 HAS SOUPS 1466 WITH SCORE 1468.929
AT ITER 6620 NEW BEST:: SOT 9224 SOS 2928 HAS SOPS 2307 HAS SOUS 1674 HAS SOUPS 1466 WITH SCORE 1468.928
AT ITER 6693 NEW BEST:: SOT 9222 SOS 2925 HAS SOPS 2303 HAS SOUS 1669 HAS SOUPS 1461 WITH SCORE 1463.925
AT ITER 6700 NEW BEST:: SOT 9222 SOS 2922 HAS SOPS 2300 HAS SOUS 1669 HAS SOUPS 1461 WITH SCORE 1463.922
AT ITER 6964 NEW BEST:: SOT 9221 SOS 2923 HAS SOPS 2301 HAS SOUS 1667 HAS SOUPS 1459 WITH SCORE 1461.923
AT ITER 6996 NEW BEST:: SOT 9222 SOS 2912 HAS SOPS 2304 HAS SOUS 1664 HAS SOUPS 1458 WITH SCORE 1460.912
AT ITER 7683 NEW BEST:: SOT 9222 SOS 2914 HAS SOPS 2306 HAS SOUS 1663 HAS SOUPS 1457 WITH SCORE 1459.914
AT ITER 7693 NEW BEST:: SOT 9221 SOS 2911 HAS SOPS 2304 HAS SOUS 1660 HAS SOUPS 1455 WITH SCORE 1457.911
AT ITER 7739 NEW BEST:: SOT 9224 SOS 2922 HAS SOPS 2313 HAS SOUS 1659 HAS SOUPS 1454 WITH SCORE 1456.922
AT ITER 8114 NEW BEST:: SOT 9222 SOS 2920 HAS SOPS 2311 HAS SOUS 1659 HAS SOUPS 1454 WITH SCORE 1456.92
AT ITER 8604 NEW BEST:: SOT 9221 SOS 2920 HAS SOPS 2311 HAS SOUS 1657 HAS SOUPS 1452 WITH SCORE 1454.92
AT ITER 8754 NEW BEST:: SOT 9216 SOS 2912 HAS SOPS 2304 HAS SOUS 1656 HAS SOUPS 1451 WITH SCORE 1453.912
AT ITER 8997 NEW BEST:: SOT 9215 SOS 2914 HAS SOPS 2305 HAS SOUS 1655 HAS SOUPS 1450 WITH SCORE 1452.914
AT ITER 9037 NEW BEST:: SOT 9214 SOS 2912 HAS SOPS 2303 HAS SOUS 1653 HAS SOUPS 1448 WITH SCORE 1450.912
AT ITER 9258 NEW BEST:: SOT 9200 SOS 2859 HAS SOPS 2255 HAS SOUS 1653 HAS SOUPS 1448 WITH SCORE 1450.859
AT ITER 9267 NEW BEST:: SOT 9198 SOS 2846 HAS SOPS 2242 HAS SOUS 1651 HAS SOUPS 1446 WITH SCORE 1448.846
AT ITER 9371 NEW BEST:: SOT 9205 SOS 2853 HAS SOPS 2249 HAS SOUS 1647 HAS SOUPS 1442 WITH SCORE 1444.853
AT ITER 9801 NEW BEST:: SOT 9184 SOS 2834 HAS SOPS 2230 HAS SOUS 1643 HAS SOUPS 1438 WITH SCORE 1440.834
AT ITER 9872 NEW BEST:: SOT 9182 SOS 2837 HAS SOPS 2232 HAS SOUS 1642 HAS SOUPS 1437 WITH SCORE 1439.837
STATE_SPACE STATES 97527 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 5 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 10 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 406700 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678795827065

--------------------
content from stderr:

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ perl -pe 's/.*\.//g'
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory

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="CANConstruction-PT-005"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is CANConstruction-PT-005, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r043-tajo-167813697100616"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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