Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r195-smll-167840342100248.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..........................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is HealthRecord-PT-02, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r195-smll-167840342100248
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 452K
-rw-r--r-- 1 mcc users 6.8K Feb 26 17:43 CTLCardinality.txt
-rw-r--r-- 1 mcc users 76K Feb 26 17:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.5K Feb 26 17:40 CTLFireability.txt
-rw-r--r-- 1 mcc users 38K Feb 26 17:40 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:13 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:13 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:13 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:13 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 17:44 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 126K Feb 26 17:44 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.7K Feb 26 17:43 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 55K Feb 26 17:43 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:13 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:13 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 47K 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 1678492556946

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=HealthRecord-PT-02
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HealthRecord (PT), instance 02
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 119 places, 225 transitions, 577 arcs.
AT ITER 0 NEW BEST:: SOT 19337 SOS 10290 HAS SOPS 10278 HAS SOUS 6423 HAS SOUPS 6414 WITH SCORE 6424.29
AT ITER 1 NEW BEST:: SOT 19337 SOS 10315 HAS SOPS 10303 HAS SOUS 6398 HAS SOUPS 6389 WITH SCORE 6399.315
AT ITER 4 NEW BEST:: SOT 19337 SOS 10315 HAS SOPS 10303 HAS SOUS 6367 HAS SOUPS 6358 WITH SCORE 6368.315
AT ITER 6 NEW BEST:: SOT 19337 SOS 10315 HAS SOPS 10303 HAS SOUS 6352 HAS SOUPS 6343 WITH SCORE 6353.315
AT ITER 15 NEW BEST:: SOT 18323 SOS 9389 HAS SOPS 9377 HAS SOUS 5920 HAS SOUPS 5911 WITH SCORE 5920.389
AT ITER 16 NEW BEST:: SOT 18319 SOS 9385 HAS SOPS 9373 HAS SOUS 5916 HAS SOUPS 5907 WITH SCORE 5916.385
AT ITER 26 NEW BEST:: SOT 18223 SOS 9126 HAS SOPS 9114 HAS SOUS 5838 HAS SOUPS 5829 WITH SCORE 5838.126
AT ITER 27 NEW BEST:: SOT 18223 SOS 9121 HAS SOPS 9109 HAS SOUS 5838 HAS SOUPS 5829 WITH SCORE 5838.121
AT ITER 31 NEW BEST:: SOT 18223 SOS 9114 HAS SOPS 9102 HAS SOUS 5838 HAS SOUPS 5829 WITH SCORE 5838.114
AT ITER 32 NEW BEST:: SOT 18189 SOS 9080 HAS SOPS 9068 HAS SOUS 5837 HAS SOUPS 5828 WITH SCORE 5837.08
AT ITER 33 NEW BEST:: SOT 18166 SOS 9034 HAS SOPS 9022 HAS SOUS 5821 HAS SOUPS 5812 WITH SCORE 5821.034
AT ITER 34 NEW BEST:: SOT 18153 SOS 9014 HAS SOPS 9002 HAS SOUS 5801 HAS SOUPS 5792 WITH SCORE 5801.014
AT ITER 37 NEW BEST:: SOT 18153 SOS 8981 HAS SOPS 8969 HAS SOUS 5801 HAS SOUPS 5792 WITH SCORE 5800.981
AT ITER 43 NEW BEST:: SOT 18108 SOS 8891 HAS SOPS 8879 HAS SOUS 5801 HAS SOUPS 5792 WITH SCORE 5800.891
AT ITER 48 NEW BEST:: SOT 18033 SOS 8766 HAS SOPS 8754 HAS SOUS 5770 HAS SOUPS 5761 WITH SCORE 5769.766
AT ITER 53 NEW BEST:: SOT 18033 SOS 8748 HAS SOPS 8736 HAS SOUS 5770 HAS SOUPS 5761 WITH SCORE 5769.748
AT ITER 54 NEW BEST:: SOT 17995 SOS 8672 HAS SOPS 8660 HAS SOUS 5739 HAS SOUPS 5730 WITH SCORE 5738.672
AT ITER 55 NEW BEST:: SOT 17961 SOS 8635 HAS SOPS 8623 HAS SOUS 5711 HAS SOUPS 5702 WITH SCORE 5710.635
AT ITER 67 NEW BEST:: SOT 18012 SOS 8730 HAS SOPS 8718 HAS SOUS 5654 HAS SOUPS 5645 WITH SCORE 5653.73
AT ITER 71 NEW BEST:: SOT 18007 SOS 8725 HAS SOPS 8713 HAS SOUS 5649 HAS SOUPS 5640 WITH SCORE 5648.725
AT ITER 82 NEW BEST:: SOT 18004 SOS 8718 HAS SOPS 8706 HAS SOUS 5631 HAS SOUPS 5622 WITH SCORE 5630.718
AT ITER 83 NEW BEST:: SOT 18002 SOS 8714 HAS SOPS 8702 HAS SOUS 5628 HAS SOUPS 5619 WITH SCORE 5627.714
AT ITER 86 NEW BEST:: SOT 17992 SOS 8692 HAS SOPS 8680 HAS SOUS 5619 HAS SOUPS 5610 WITH SCORE 5618.692
AT ITER 93 NEW BEST:: SOT 17874 SOS 8485 HAS SOPS 8473 HAS SOUS 5553 HAS SOUPS 5544 WITH SCORE 5552.485
AT ITER 98 NEW BEST:: SOT 17887 SOS 8488 HAS SOPS 8476 HAS SOUS 5541 HAS SOUPS 5532 WITH SCORE 5540.488
AT ITER 103 NEW BEST:: SOT 17884 SOS 8482 HAS SOPS 8470 HAS SOUS 5541 HAS SOUPS 5532 WITH SCORE 5540.482
AT ITER 107 NEW BEST:: SOT 17895 SOS 8493 HAS SOPS 8481 HAS SOUS 5530 HAS SOUPS 5521 WITH SCORE 5529.493
AT ITER 108 NEW BEST:: SOT 17889 SOS 8484 HAS SOPS 8472 HAS SOUS 5517 HAS SOUPS 5508 WITH SCORE 5516.484
AT ITER 110 NEW BEST:: SOT 17918 SOS 8503 HAS SOPS 8491 HAS SOUS 5507 HAS SOUPS 5498 WITH SCORE 5506.503
AT ITER 111 NEW BEST:: SOT 17867 SOS 8401 HAS SOPS 8389 HAS SOUS 5507 HAS SOUPS 5498 WITH SCORE 5506.401
AT ITER 113 NEW BEST:: SOT 17867 SOS 8361 HAS SOPS 8349 HAS SOUS 5507 HAS SOUPS 5498 WITH SCORE 5506.361
AT ITER 121 NEW BEST:: SOT 17867 SOS 8313 HAS SOPS 8301 HAS SOUS 5504 HAS SOUPS 5495 WITH SCORE 5503.313
AT ITER 127 NEW BEST:: SOT 17845 SOS 8247 HAS SOPS 8235 HAS SOUS 5493 HAS SOUPS 5484 WITH SCORE 5492.247
AT ITER 128 NEW BEST:: SOT 17794 SOS 8247 HAS SOPS 8235 HAS SOUS 5478 HAS SOUPS 5469 WITH SCORE 5477.247
AT ITER 129 NEW BEST:: SOT 17794 SOS 8245 HAS SOPS 8233 HAS SOUS 5475 HAS SOUPS 5466 WITH SCORE 5474.245
AT ITER 135 NEW BEST:: SOT 17794 SOS 8242 HAS SOPS 8230 HAS SOUS 5475 HAS SOUPS 5466 WITH SCORE 5474.242
AT ITER 141 NEW BEST:: SOT 17793 SOS 8239 HAS SOPS 8227 HAS SOUS 5473 HAS SOUPS 5464 WITH SCORE 5472.239
AT ITER 143 NEW BEST:: SOT 17783 SOS 8219 HAS SOPS 8207 HAS SOUS 5457 HAS SOUPS 5448 WITH SCORE 5456.219
AT ITER 152 NEW BEST:: SOT 17808 SOS 8186 HAS SOPS 8174 HAS SOUS 5427 HAS SOUPS 5418 WITH SCORE 5426.186
AT ITER 158 NEW BEST:: SOT 17748 SOS 8096 HAS SOPS 8084 HAS SOUS 5412 HAS SOUPS 5403 WITH SCORE 5411.096
AT ITER 161 NEW BEST:: SOT 16986 SOS 7814 HAS SOPS 7802 HAS SOUS 4689 HAS SOUPS 4680 WITH SCORE 4687.814
AT ITER 167 NEW BEST:: SOT 16865 SOS 7615 HAS SOPS 7603 HAS SOUS 4689 HAS SOUPS 4680 WITH SCORE 4687.615
AT ITER 172 NEW BEST:: SOT 16845 SOS 7580 HAS SOPS 7568 HAS SOUS 4664 HAS SOUPS 4655 WITH SCORE 4662.58
AT ITER 175 NEW BEST:: SOT 16883 SOS 7645 HAS SOPS 7633 HAS SOUS 4656 HAS SOUPS 4647 WITH SCORE 4654.645
AT ITER 179 NEW BEST:: SOT 16810 SOS 7506 HAS SOPS 7494 HAS SOUS 4619 HAS SOUPS 4610 WITH SCORE 4617.506
AT ITER 180 NEW BEST:: SOT 16809 SOS 7504 HAS SOPS 7492 HAS SOUS 4618 HAS SOUPS 4609 WITH SCORE 4616.504
AT ITER 185 NEW BEST:: SOT 16775 SOS 7435 HAS SOPS 7423 HAS SOUS 4609 HAS SOUPS 4600 WITH SCORE 4607.435
AT ITER 194 NEW BEST:: SOT 16777 SOS 7425 HAS SOPS 7413 HAS SOUS 4605 HAS SOUPS 4596 WITH SCORE 4603.425
AT ITER 200 NEW BEST:: SOT 16817 SOS 7505 HAS SOPS 7493 HAS SOUS 4603 HAS SOUPS 4594 WITH SCORE 4601.505
AT ITER 202 NEW BEST:: SOT 16799 SOS 7475 HAS SOPS 7463 HAS SOUS 4591 HAS SOUPS 4582 WITH SCORE 4589.475
AT ITER 218 NEW BEST:: SOT 16799 SOS 7441 HAS SOPS 7429 HAS SOUS 4574 HAS SOUPS 4565 WITH SCORE 4572.441
AT ITER 220 NEW BEST:: SOT 16784 SOS 7414 HAS SOPS 7402 HAS SOUS 4561 HAS SOUPS 4552 WITH SCORE 4559.414
AT ITER 232 NEW BEST:: SOT 16279 SOS 7027 HAS SOPS 7015 HAS SOUS 4371 HAS SOUPS 4362 WITH SCORE 4369.027
AT ITER 234 NEW BEST:: SOT 16278 SOS 7022 HAS SOPS 7010 HAS SOUS 4361 HAS SOUPS 4352 WITH SCORE 4359.022
AT ITER 237 NEW BEST:: SOT 16278 SOS 7028 HAS SOPS 7016 HAS SOUS 4352 HAS SOUPS 4343 WITH SCORE 4350.028
AT ITER 250 NEW BEST:: SOT 16244 SOS 6977 HAS SOPS 6965 HAS SOUS 4345 HAS SOUPS 4336 WITH SCORE 4342.977
AT ITER 258 NEW BEST:: SOT 16244 SOS 6965 HAS SOPS 6953 HAS SOUS 4333 HAS SOUPS 4324 WITH SCORE 4330.965
AT ITER 261 NEW BEST:: SOT 16247 SOS 6971 HAS SOPS 6959 HAS SOUS 4330 HAS SOUPS 4321 WITH SCORE 4327.971
AT ITER 262 NEW BEST:: SOT 16165 SOS 6910 HAS SOPS 6898 HAS SOUS 4311 HAS SOUPS 4302 WITH SCORE 4308.91
AT ITER 263 NEW BEST:: SOT 15581 SOS 6547 HAS SOPS 6535 HAS SOUS 3677 HAS SOUPS 3668 WITH SCORE 3674.547
AT ITER 267 NEW BEST:: SOT 15570 SOS 6537 HAS SOPS 6525 HAS SOUS 3666 HAS SOUPS 3657 WITH SCORE 3663.537
AT ITER 277 NEW BEST:: SOT 15570 SOS 6500 HAS SOPS 6488 HAS SOUS 3651 HAS SOUPS 3642 WITH SCORE 3648.5
AT ITER 278 NEW BEST:: SOT 15569 SOS 6496 HAS SOPS 6484 HAS SOUS 3644 HAS SOUPS 3635 WITH SCORE 3641.496
AT ITER 304 NEW BEST:: SOT 15555 SOS 6482 HAS SOPS 6470 HAS SOUS 3630 HAS SOUPS 3621 WITH SCORE 3627.482
AT ITER 305 NEW BEST:: SOT 15556 SOS 6484 HAS SOPS 6472 HAS SOUS 3627 HAS SOUPS 3618 WITH SCORE 3624.484
AT ITER 313 NEW BEST:: SOT 14886 SOS 6888 HAS SOPS 6876 HAS SOUS 3345 HAS SOUPS 3336 WITH SCORE 3342.888
AT ITER 315 NEW BEST:: SOT 14891 SOS 6883 HAS SOPS 6871 HAS SOUS 3340 HAS SOUPS 3331 WITH SCORE 3337.883
AT ITER 317 NEW BEST:: SOT 14885 SOS 6868 HAS SOPS 6856 HAS SOUS 3331 HAS SOUPS 3322 WITH SCORE 3328.868
AT ITER 325 NEW BEST:: SOT 14903 SOS 6884 HAS SOPS 6872 HAS SOUS 3330 HAS SOUPS 3321 WITH SCORE 3327.884
AT ITER 329 NEW BEST:: SOT 14909 SOS 6855 HAS SOPS 6843 HAS SOUS 3323 HAS SOUPS 3314 WITH SCORE 3320.855
AT ITER 348 NEW BEST:: SOT 14875 SOS 6753 HAS SOPS 6741 HAS SOUS 3312 HAS SOUPS 3303 WITH SCORE 3309.753
AT ITER 351 NEW BEST:: SOT 14896 SOS 6801 HAS SOPS 6789 HAS SOUS 3293 HAS SOUPS 3284 WITH SCORE 3290.801
AT ITER 352 NEW BEST:: SOT 14921 SOS 6825 HAS SOPS 6813 HAS SOUS 3283 HAS SOUPS 3274 WITH SCORE 3280.825
AT ITER 354 NEW BEST:: SOT 14914 SOS 6818 HAS SOPS 6806 HAS SOUS 3274 HAS SOUPS 3265 WITH SCORE 3271.818
AT ITER 355 NEW BEST:: SOT 14854 SOS 6689 HAS SOPS 6677 HAS SOUS 3214 HAS SOUPS 3205 WITH SCORE 3211.689
AT ITER 365 NEW BEST:: SOT 14875 SOS 6658 HAS SOPS 6646 HAS SOUS 3193 HAS SOUPS 3184 WITH SCORE 3190.658
AT ITER 369 NEW BEST:: SOT 14883 SOS 6666 HAS SOPS 6654 HAS SOUS 3174 HAS SOUPS 3165 WITH SCORE 3171.666
AT ITER 380 NEW BEST:: SOT 14862 SOS 6609 HAS SOPS 6597 HAS SOUS 3166 HAS SOUPS 3157 WITH SCORE 3163.609
AT ITER 381 NEW BEST:: SOT 14713 SOS 6885 HAS SOPS 6873 HAS SOUS 3035 HAS SOUPS 3026 WITH SCORE 3032.885
AT ITER 383 NEW BEST:: SOT 14683 SOS 6840 HAS SOPS 6828 HAS SOUS 3020 HAS SOUPS 3011 WITH SCORE 3017.84
AT ITER 392 NEW BEST:: SOT 14686 SOS 6843 HAS SOPS 6831 HAS SOUS 3013 HAS SOUPS 3004 WITH SCORE 3010.843
AT ITER 393 NEW BEST:: SOT 14683 SOS 6842 HAS SOPS 6830 HAS SOUS 3013 HAS SOUPS 3004 WITH SCORE 3010.842
AT ITER 400 NEW BEST:: SOT 14689 SOS 6848 HAS SOPS 6836 HAS SOUS 3007 HAS SOUPS 2998 WITH SCORE 3004.848
AT ITER 413 NEW BEST:: SOT 14679 SOS 6838 HAS SOPS 6826 HAS SOUS 2997 HAS SOUPS 2988 WITH SCORE 2994.838
AT ITER 444 NEW BEST:: SOT 14706 SOS 6892 HAS SOPS 6880 HAS SOUS 2988 HAS SOUPS 2979 WITH SCORE 2985.892
AT ITER 450 NEW BEST:: SOT 14673 SOS 6766 HAS SOPS 6754 HAS SOUS 2968 HAS SOUPS 2959 WITH SCORE 2965.766
AT ITER 454 NEW BEST:: SOT 14610 SOS 6640 HAS SOPS 6628 HAS SOUS 2891 HAS SOUPS 2882 WITH SCORE 2888.64
AT ITER 477 NEW BEST:: SOT 14606 SOS 6632 HAS SOPS 6620 HAS SOUS 2889 HAS SOUPS 2880 WITH SCORE 2886.632
AT ITER 483 NEW BEST:: SOT 14602 SOS 6615 HAS SOPS 6603 HAS SOUS 2885 HAS SOUPS 2876 WITH SCORE 2882.615
AT ITER 502 NEW BEST:: SOT 14607 SOS 6625 HAS SOPS 6613 HAS SOUS 2880 HAS SOUPS 2871 WITH SCORE 2877.625
AT ITER 509 NEW BEST:: SOT 14599 SOS 6609 HAS SOPS 6597 HAS SOUS 2880 HAS SOUPS 2871 WITH SCORE 2877.609
AT ITER 513 NEW BEST:: SOT 14546 SOS 7087 HAS SOPS 7075 HAS SOUS 2840 HAS SOUPS 2831 WITH SCORE 2838.087
AT ITER 514 NEW BEST:: SOT 14550 SOS 7115 HAS SOPS 7103 HAS SOUS 2833 HAS SOUPS 2824 WITH SCORE 2831.115
AT ITER 526 NEW BEST:: SOT 14550 SOS 7115 HAS SOPS 7103 HAS SOUS 2831 HAS SOUPS 2822 WITH SCORE 2829.115
AT ITER 532 NEW BEST:: SOT 14550 SOS 7115 HAS SOPS 7103 HAS SOUS 2826 HAS SOUPS 2817 WITH SCORE 2824.115
AT ITER 544 NEW BEST:: SOT 14550 SOS 7097 HAS SOPS 7085 HAS SOUS 2793 HAS SOUPS 2784 WITH SCORE 2791.097
AT ITER 560 NEW BEST:: SOT 14532 SOS 7049 HAS SOPS 7037 HAS SOUS 2768 HAS SOUPS 2759 WITH SCORE 2766.049
AT ITER 573 NEW BEST:: SOT 14536 SOS 7035 HAS SOPS 7023 HAS SOUS 2767 HAS SOUPS 2758 WITH SCORE 2765.035
AT ITER 592 NEW BEST:: SOT 14536 SOS 7035 HAS SOPS 7023 HAS SOUS 2766 HAS SOUPS 2757 WITH SCORE 2764.035
AT ITER 593 NEW BEST:: SOT 14537 SOS 7037 HAS SOPS 7025 HAS SOUS 2765 HAS SOUPS 2756 WITH SCORE 2763.037
AT ITER 598 NEW BEST:: SOT 14537 SOS 7037 HAS SOPS 7025 HAS SOUS 2764 HAS SOUPS 2755 WITH SCORE 2762.037
AT ITER 628 NEW BEST:: SOT 14529 SOS 7021 HAS SOPS 7009 HAS SOUS 2761 HAS SOUPS 2752 WITH SCORE 2759.021
AT ITER 632 NEW BEST:: SOT 14505 SOS 6973 HAS SOPS 6961 HAS SOUS 2749 HAS SOUPS 2740 WITH SCORE 2746.973
AT ITER 638 NEW BEST:: SOT 14497 SOS 6965 HAS SOPS 6953 HAS SOUS 2745 HAS SOUPS 2736 WITH SCORE 2742.965
AT ITER 645 NEW BEST:: SOT 14530 SOS 7025 HAS SOPS 7013 HAS SOUS 2722 HAS SOUPS 2713 WITH SCORE 2720.025
AT ITER 657 NEW BEST:: SOT 14527 SOS 7013 HAS SOPS 7001 HAS SOUS 2722 HAS SOUPS 2713 WITH SCORE 2720.013
AT ITER 670 NEW BEST:: SOT 14527 SOS 7009 HAS SOPS 6997 HAS SOUS 2722 HAS SOUPS 2713 WITH SCORE 2720.009
AT ITER 680 NEW BEST:: SOT 14571 SOS 7074 HAS SOPS 7062 HAS SOUS 2704 HAS SOUPS 2695 WITH SCORE 2702.074
AT ITER 681 NEW BEST:: SOT 14579 SOS 7082 HAS SOPS 7070 HAS SOUS 2703 HAS SOUPS 2694 WITH SCORE 2701.082
AT ITER 685 NEW BEST:: SOT 14582 SOS 7082 HAS SOPS 7070 HAS SOUS 2700 HAS SOUPS 2691 WITH SCORE 2698.082
AT ITER 686 NEW BEST:: SOT 14569 SOS 7069 HAS SOPS 7057 HAS SOUS 2688 HAS SOUPS 2679 WITH SCORE 2686.069
AT ITER 691 NEW BEST:: SOT 14564 SOS 7064 HAS SOPS 7052 HAS SOUS 2679 HAS SOUPS 2670 WITH SCORE 2677.064
AT ITER 693 NEW BEST:: SOT 14572 SOS 7082 HAS SOPS 7070 HAS SOUS 2675 HAS SOUPS 2666 WITH SCORE 2673.082
AT ITER 704 NEW BEST:: SOT 14569 SOS 7076 HAS SOPS 7064 HAS SOUS 2649 HAS SOUPS 2640 WITH SCORE 2647.076
AT ITER 718 NEW BEST:: SOT 14567 SOS 7096 HAS SOPS 7084 HAS SOUS 2647 HAS SOUPS 2638 WITH SCORE 2645.096
AT ITER 723 NEW BEST:: SOT 14556 SOS 7085 HAS SOPS 7073 HAS SOUS 2628 HAS SOUPS 2619 WITH SCORE 2626.085
AT ITER 730 NEW BEST:: SOT 14549 SOS 7050 HAS SOPS 7038 HAS SOUS 2621 HAS SOUPS 2612 WITH SCORE 2619.05
AT ITER 739 NEW BEST:: SOT 14549 SOS 7050 HAS SOPS 7038 HAS SOUS 2608 HAS SOUPS 2599 WITH SCORE 2606.05
AT ITER 747 NEW BEST:: SOT 14548 SOS 7049 HAS SOPS 7037 HAS SOUS 2607 HAS SOUPS 2598 WITH SCORE 2605.049
AT ITER 749 NEW BEST:: SOT 14545 SOS 7040 HAS SOPS 7028 HAS SOUS 2604 HAS SOUPS 2595 WITH SCORE 2602.04
AT ITER 754 NEW BEST:: SOT 14545 SOS 7038 HAS SOPS 7026 HAS SOUS 2604 HAS SOUPS 2595 WITH SCORE 2602.038
AT ITER 758 NEW BEST:: SOT 14414 SOS 7027 HAS SOPS 7015 HAS SOUS 2481 HAS SOUPS 2472 WITH SCORE 2479.027
AT ITER 771 NEW BEST:: SOT 14412 SOS 7023 HAS SOPS 7011 HAS SOUS 2479 HAS SOUPS 2470 WITH SCORE 2477.023
AT ITER 780 NEW BEST:: SOT 14401 SOS 7001 HAS SOPS 6989 HAS SOUS 2467 HAS SOUPS 2458 WITH SCORE 2465.001
AT ITER 786 NEW BEST:: SOT 14230 SOS 7486 HAS SOPS 7474 HAS SOUS 2300 HAS SOUPS 2291 WITH SCORE 2298.486
AT ITER 807 NEW BEST:: SOT 14216 SOS 7472 HAS SOPS 7460 HAS SOUS 2296 HAS SOUPS 2287 WITH SCORE 2294.472
AT ITER 810 NEW BEST:: SOT 14204 SOS 7454 HAS SOPS 7442 HAS SOUS 2290 HAS SOUPS 2281 WITH SCORE 2288.454
AT ITER 826 NEW BEST:: SOT 14204 SOS 7454 HAS SOPS 7442 HAS SOUS 2288 HAS SOUPS 2279 WITH SCORE 2286.454
AT ITER 831 NEW BEST:: SOT 14185 SOS 7437 HAS SOPS 7425 HAS SOUS 2269 HAS SOUPS 2260 WITH SCORE 2267.437
AT ITER 844 NEW BEST:: SOT 14174 SOS 7415 HAS SOPS 7403 HAS SOUS 2252 HAS SOUPS 2243 WITH SCORE 2250.415
AT ITER 852 NEW BEST:: SOT 14172 SOS 7413 HAS SOPS 7401 HAS SOUS 2243 HAS SOUPS 2234 WITH SCORE 2241.413
AT ITER 868 NEW BEST:: SOT 14161 SOS 7391 HAS SOPS 7379 HAS SOUS 2237 HAS SOUPS 2228 WITH SCORE 2235.391
AT ITER 903 NEW BEST:: SOT 14157 SOS 7383 HAS SOPS 7371 HAS SOUS 2231 HAS SOUPS 2222 WITH SCORE 2229.383
AT ITER 907 NEW BEST:: SOT 14149 SOS 7375 HAS SOPS 7363 HAS SOUS 2216 HAS SOUPS 2207 WITH SCORE 2214.375
AT ITER 925 NEW BEST:: SOT 14135 SOS 8008 HAS SOPS 7996 HAS SOUS 2214 HAS SOUPS 2205 WITH SCORE 2213.008
AT ITER 929 NEW BEST:: SOT 14129 SOS 7997 HAS SOPS 7985 HAS SOUS 2212 HAS SOUPS 2203 WITH SCORE 2210.997
AT ITER 953 NEW BEST:: SOT 14125 SOS 7990 HAS SOPS 7978 HAS SOUS 2207 HAS SOUPS 2198 WITH SCORE 2205.99
AT ITER 979 NEW BEST:: SOT 14119 SOS 7984 HAS SOPS 7972 HAS SOUS 2200 HAS SOUPS 2191 WITH SCORE 2198.984
AT ITER 1005 NEW BEST:: SOT 14089 SOS 7954 HAS SOPS 7942 HAS SOUS 2196 HAS SOUPS 2187 WITH SCORE 2194.954
AT ITER 1010 NEW BEST:: SOT 14083 SOS 8029 HAS SOPS 8017 HAS SOUS 2190 HAS SOUPS 2181 WITH SCORE 2189.029
AT ITER 1060 NEW BEST:: SOT 14087 SOS 8033 HAS SOPS 8021 HAS SOUS 2181 HAS SOUPS 2172 WITH SCORE 2180.033
AT ITER 1061 NEW BEST:: SOT 14074 SOS 8007 HAS SOPS 7995 HAS SOUS 2165 HAS SOUPS 2156 WITH SCORE 2164.007
AT ITER 1063 NEW BEST:: SOT 14077 SOS 8003 HAS SOPS 7991 HAS SOUS 2163 HAS SOUPS 2154 WITH SCORE 2162.003
AT ITER 1072 NEW BEST:: SOT 14092 SOS 7478 HAS SOPS 7466 HAS SOUS 2148 HAS SOUPS 2139 WITH SCORE 2146.478
AT ITER 1091 NEW BEST:: SOT 14082 SOS 7468 HAS SOPS 7456 HAS SOUS 2131 HAS SOUPS 2122 WITH SCORE 2129.468
AT ITER 1106 NEW BEST:: SOT 14078 SOS 7464 HAS SOPS 7452 HAS SOUS 2127 HAS SOUPS 2118 WITH SCORE 2125.464
AT ITER 1150 NEW BEST:: SOT 14036 SOS 7400 HAS SOPS 7388 HAS SOUS 2107 HAS SOUPS 2098 WITH SCORE 2105.4
AT ITER 1205 NEW BEST:: SOT 14036 SOS 7400 HAS SOPS 7388 HAS SOUS 2105 HAS SOUPS 2096 WITH SCORE 2103.4
AT ITER 1206 NEW BEST:: SOT 14002 SOS 7349 HAS SOPS 7337 HAS SOUS 2088 HAS SOUPS 2079 WITH SCORE 2086.349
AT ITER 1212 NEW BEST:: SOT 14022 SOS 7394 HAS SOPS 7382 HAS SOUS 2080 HAS SOUPS 2071 WITH SCORE 2078.394
AT ITER 1220 NEW BEST:: SOT 14022 SOS 7386 HAS SOPS 7374 HAS SOUS 2078 HAS SOUPS 2069 WITH SCORE 2076.386
AT ITER 1225 NEW BEST:: SOT 14019 SOS 7368 HAS SOPS 7356 HAS SOUS 2074 HAS SOUPS 2065 WITH SCORE 2072.368
AT ITER 1228 NEW BEST:: SOT 14015 SOS 7361 HAS SOPS 7349 HAS SOUS 2069 HAS SOUPS 2060 WITH SCORE 2067.361
AT ITER 1257 NEW BEST:: SOT 14009 SOS 7499 HAS SOPS 7487 HAS SOUS 2058 HAS SOUPS 2049 WITH SCORE 2056.499
AT ITER 1292 NEW BEST:: SOT 13999 SOS 7489 HAS SOPS 7477 HAS SOUS 2048 HAS SOUPS 2039 WITH SCORE 2046.489
AT ITER 1301 NEW BEST:: SOT 14000 SOS 7497 HAS SOPS 7485 HAS SOUS 2040 HAS SOUPS 2031 WITH SCORE 2038.497
AT ITER 1315 NEW BEST:: SOT 14001 SOS 7495 HAS SOPS 7483 HAS SOUS 2039 HAS SOUPS 2030 WITH SCORE 2037.495
AT ITER 1352 NEW BEST:: SOT 14000 SOS 7491 HAS SOPS 7479 HAS SOUS 2036 HAS SOUPS 2027 WITH SCORE 2034.491
AT ITER 1391 NEW BEST:: SOT 14000 SOS 7491 HAS SOPS 7479 HAS SOUS 2034 HAS SOUPS 2025 WITH SCORE 2032.491
AT ITER 1414 NEW BEST:: SOT 14002 SOS 7493 HAS SOPS 7481 HAS SOUS 2029 HAS SOUPS 2020 WITH SCORE 2027.493
AT ITER 1437 NEW BEST:: SOT 13999 SOS 7488 HAS SOPS 7476 HAS SOUS 2027 HAS SOUPS 2018 WITH SCORE 2025.488
AT ITER 1454 NEW BEST:: SOT 13998 SOS 7487 HAS SOPS 7475 HAS SOUS 2024 HAS SOUPS 2015 WITH SCORE 2022.487
AT ITER 1465 NEW BEST:: SOT 13998 SOS 7487 HAS SOPS 7475 HAS SOUS 2023 HAS SOUPS 2014 WITH SCORE 2021.487
AT ITER 1467 NEW BEST:: SOT 13985 SOS 7474 HAS SOPS 7462 HAS SOUS 2013 HAS SOUPS 2004 WITH SCORE 2011.474
AT ITER 1471 NEW BEST:: SOT 13973 SOS 7462 HAS SOPS 7450 HAS SOUS 2005 HAS SOUPS 1996 WITH SCORE 2003.462
AT ITER 1485 NEW BEST:: SOT 13938 SOS 7401 HAS SOPS 7389 HAS SOUS 2004 HAS SOUPS 1995 WITH SCORE 2002.401
AT ITER 1499 NEW BEST:: SOT 13934 SOS 7397 HAS SOPS 7385 HAS SOUS 1995 HAS SOUPS 1986 WITH SCORE 1993.397
AT ITER 1522 NEW BEST:: SOT 13928 SOS 7391 HAS SOPS 7379 HAS SOUS 1995 HAS SOUPS 1986 WITH SCORE 1993.391
AT ITER 1533 NEW BEST:: SOT 13911 SOS 7377 HAS SOPS 7365 HAS SOUS 1991 HAS SOUPS 1982 WITH SCORE 1989.377
AT ITER 1537 NEW BEST:: SOT 13911 SOS 7377 HAS SOPS 7365 HAS SOUS 1985 HAS SOUPS 1976 WITH SCORE 1983.377
AT ITER 1567 NEW BEST:: SOT 13899 SOS 7353 HAS SOPS 7341 HAS SOUS 1971 HAS SOUPS 1962 WITH SCORE 1969.353
AT ITER 1591 NEW BEST:: SOT 13949 SOS 7424 HAS SOPS 7412 HAS SOUS 1966 HAS SOUPS 1957 WITH SCORE 1964.424
AT ITER 1613 NEW BEST:: SOT 13934 SOS 7405 HAS SOPS 7393 HAS SOUS 1956 HAS SOUPS 1947 WITH SCORE 1954.405
AT ITER 1614 NEW BEST:: SOT 13929 SOS 7394 HAS SOPS 7382 HAS SOUS 1950 HAS SOUPS 1941 WITH SCORE 1948.394
AT ITER 1620 NEW BEST:: SOT 13929 SOS 7394 HAS SOPS 7382 HAS SOUS 1948 HAS SOUPS 1939 WITH SCORE 1946.394
AT ITER 1652 NEW BEST:: SOT 13927 SOS 7392 HAS SOPS 7380 HAS SOUS 1942 HAS SOUPS 1933 WITH SCORE 1940.392
AT ITER 1658 NEW BEST:: SOT 13923 SOS 7370 HAS SOPS 7358 HAS SOUS 1941 HAS SOUPS 1932 WITH SCORE 1939.37
AT ITER 1669 NEW BEST:: SOT 13909 SOS 7356 HAS SOPS 7344 HAS SOUS 1905 HAS SOUPS 1896 WITH SCORE 1903.356
AT ITER 1694 NEW BEST:: SOT 13897 SOS 7332 HAS SOPS 7320 HAS SOUS 1900 HAS SOUPS 1891 WITH SCORE 1898.332
AT ITER 1739 NEW BEST:: SOT 13896 SOS 7331 HAS SOPS 7319 HAS SOUS 1895 HAS SOUPS 1886 WITH SCORE 1893.331
AT ITER 1764 NEW BEST:: SOT 13895 SOS 7330 HAS SOPS 7318 HAS SOUS 1894 HAS SOUPS 1885 WITH SCORE 1892.33
AT ITER 1773 NEW BEST:: SOT 13895 SOS 7330 HAS SOPS 7318 HAS SOUS 1893 HAS SOUPS 1884 WITH SCORE 1891.33
AT ITER 1812 NEW BEST:: SOT 13894 SOS 7328 HAS SOPS 7316 HAS SOUS 1892 HAS SOUPS 1883 WITH SCORE 1890.328
AT ITER 1856 NEW BEST:: SOT 13887 SOS 7321 HAS SOPS 7309 HAS SOUS 1892 HAS SOUPS 1883 WITH SCORE 1890.321
AT ITER 1878 NEW BEST:: SOT 13888 SOS 7322 HAS SOPS 7310 HAS SOUS 1891 HAS SOUPS 1882 WITH SCORE 1889.322
AT ITER 1891 NEW BEST:: SOT 13881 SOS 7312 HAS SOPS 7300 HAS SOUS 1884 HAS SOUPS 1875 WITH SCORE 1882.312
AT ITER 1894 NEW BEST:: SOT 13870 SOS 7301 HAS SOPS 7289 HAS SOUS 1873 HAS SOUPS 1864 WITH SCORE 1871.301
AT ITER 1911 NEW BEST:: SOT 13872 SOS 7303 HAS SOPS 7291 HAS SOUS 1871 HAS SOUPS 1862 WITH SCORE 1869.303
AT ITER 2051 NEW BEST:: SOT 13872 SOS 7303 HAS SOPS 7291 HAS SOUS 1868 HAS SOUPS 1859 WITH SCORE 1866.303
AT ITER 2062 NEW BEST:: SOT 13872 SOS 7303 HAS SOPS 7291 HAS SOUS 1867 HAS SOUPS 1858 WITH SCORE 1865.303
AT ITER 2088 NEW BEST:: SOT 13871 SOS 7302 HAS SOPS 7290 HAS SOUS 1865 HAS SOUPS 1856 WITH SCORE 1863.302
AT ITER 2092 NEW BEST:: SOT 13871 SOS 7302 HAS SOPS 7290 HAS SOUS 1859 HAS SOUPS 1850 WITH SCORE 1857.302
AT ITER 2134 NEW BEST:: SOT 13868 SOS 7297 HAS SOPS 7285 HAS SOUS 1859 HAS SOUPS 1850 WITH SCORE 1857.297
AT ITER 2137 NEW BEST:: SOT 13866 SOS 7293 HAS SOPS 7281 HAS SOUS 1858 HAS SOUPS 1849 WITH SCORE 1856.293
AT ITER 2142 NEW BEST:: SOT 13865 SOS 7292 HAS SOPS 7280 HAS SOUS 1857 HAS SOUPS 1848 WITH SCORE 1855.292
AT ITER 2199 NEW BEST:: SOT 13853 SOS 7280 HAS SOPS 7268 HAS SOUS 1845 HAS SOUPS 1836 WITH SCORE 1843.28
AT ITER 2241 NEW BEST:: SOT 13849 SOS 7272 HAS SOPS 7260 HAS SOUS 1842 HAS SOUPS 1833 WITH SCORE 1840.272
AT ITER 2255 NEW BEST:: SOT 13846 SOS 7269 HAS SOPS 7257 HAS SOUS 1839 HAS SOUPS 1830 WITH SCORE 1837.269
AT ITER 2267 NEW BEST:: SOT 13843 SOS 7257 HAS SOPS 7245 HAS SOUS 1838 HAS SOUPS 1829 WITH SCORE 1836.257
AT ITER 2324 NEW BEST:: SOT 13834 SOS 7238 HAS SOPS 7226 HAS SOUS 1831 HAS SOUPS 1822 WITH SCORE 1829.238
AT ITER 2338 NEW BEST:: SOT 13837 SOS 7241 HAS SOPS 7229 HAS SOUS 1819 HAS SOUPS 1810 WITH SCORE 1817.241
AT ITER 2344 NEW BEST:: SOT 13818 SOS 7209 HAS SOPS 7197 HAS SOUS 1819 HAS SOUPS 1810 WITH SCORE 1817.209
AT ITER 2348 NEW BEST:: SOT 13816 SOS 7206 HAS SOPS 7194 HAS SOUS 1818 HAS SOUPS 1809 WITH SCORE 1816.206
AT ITER 2377 NEW BEST:: SOT 13748 SOS 7086 HAS SOPS 7074 HAS SOUS 1803 HAS SOUPS 1794 WITH SCORE 1801.086
AT ITER 2382 NEW BEST:: SOT 13748 SOS 7087 HAS SOPS 7075 HAS SOUS 1801 HAS SOUPS 1792 WITH SCORE 1799.087
AT ITER 2560 NEW BEST:: SOT 13744 SOS 7083 HAS SOPS 7071 HAS SOUS 1798 HAS SOUPS 1789 WITH SCORE 1796.083
AT ITER 2579 NEW BEST:: SOT 13748 SOS 7080 HAS SOPS 7068 HAS SOUS 1791 HAS SOUPS 1782 WITH SCORE 1789.08
AT ITER 2605 NEW BEST:: SOT 13748 SOS 7080 HAS SOPS 7068 HAS SOUS 1789 HAS SOUPS 1780 WITH SCORE 1787.08
AT ITER 2607 NEW BEST:: SOT 13744 SOS 7076 HAS SOPS 7064 HAS SOUS 1785 HAS SOUPS 1776 WITH SCORE 1783.076
AT ITER 2624 NEW BEST:: SOT 13744 SOS 7076 HAS SOPS 7064 HAS SOUS 1784 HAS SOUPS 1775 WITH SCORE 1782.076
AT ITER 2638 NEW BEST:: SOT 13735 SOS 7082 HAS SOPS 7070 HAS SOUS 1783 HAS SOUPS 1774 WITH SCORE 1781.082
AT ITER 2681 NEW BEST:: SOT 13731 SOS 7078 HAS SOPS 7066 HAS SOUS 1779 HAS SOUPS 1770 WITH SCORE 1777.078
AT ITER 2693 NEW BEST:: SOT 13733 SOS 7080 HAS SOPS 7068 HAS SOUS 1777 HAS SOUPS 1768 WITH SCORE 1775.08
AT ITER 2731 NEW BEST:: SOT 13733 SOS 7080 HAS SOPS 7068 HAS SOUS 1776 HAS SOUPS 1767 WITH SCORE 1774.08
AT ITER 2752 NEW BEST:: SOT 13731 SOS 7075 HAS SOPS 7063 HAS SOUS 1773 HAS SOUPS 1764 WITH SCORE 1771.075
AT ITER 2762 NEW BEST:: SOT 13725 SOS 7069 HAS SOPS 7057 HAS SOUS 1769 HAS SOUPS 1760 WITH SCORE 1767.069
AT ITER 2829 NEW BEST:: SOT 13724 SOS 7068 HAS SOPS 7056 HAS SOUS 1768 HAS SOUPS 1759 WITH SCORE 1766.068
AT ITER 2833 NEW BEST:: SOT 13715 SOS 7059 HAS SOPS 7047 HAS SOUS 1759 HAS SOUPS 1750 WITH SCORE 1757.059
AT ITER 2872 NEW BEST:: SOT 13714 SOS 7058 HAS SOPS 7046 HAS SOUS 1757 HAS SOUPS 1748 WITH SCORE 1755.058
AT ITER 2895 NEW BEST:: SOT 13716 SOS 7060 HAS SOPS 7048 HAS SOUS 1752 HAS SOUPS 1743 WITH SCORE 1750.06
AT ITER 2963 NEW BEST:: SOT 13710 SOS 7046 HAS SOPS 7034 HAS SOUS 1749 HAS SOUPS 1740 WITH SCORE 1747.046
AT ITER 2972 NEW BEST:: SOT 13709 SOS 7045 HAS SOPS 7033 HAS SOUS 1744 HAS SOUPS 1735 WITH SCORE 1742.045
AT ITER 2984 NEW BEST:: SOT 13711 SOS 7043 HAS SOPS 7031 HAS SOUS 1740 HAS SOUPS 1731 WITH SCORE 1738.043
AT ITER 3001 NEW BEST:: SOT 13708 SOS 7042 HAS SOPS 7030 HAS SOUS 1738 HAS SOUPS 1729 WITH SCORE 1736.042
AT ITER 3004 NEW BEST:: SOT 13707 SOS 7041 HAS SOPS 7029 HAS SOUS 1736 HAS SOUPS 1727 WITH SCORE 1734.041
AT ITER 3007 NEW BEST:: SOT 13708 SOS 7042 HAS SOPS 7030 HAS SOUS 1735 HAS SOUPS 1726 WITH SCORE 1733.042
AT ITER 3117 NEW BEST:: SOT 13708 SOS 7042 HAS SOPS 7030 HAS SOUS 1734 HAS SOUPS 1725 WITH SCORE 1732.042
AT ITER 3123 NEW BEST:: SOT 13708 SOS 7037 HAS SOPS 7025 HAS SOUS 1732 HAS SOUPS 1723 WITH SCORE 1730.037
AT ITER 3132 NEW BEST:: SOT 13702 SOS 7031 HAS SOPS 7019 HAS SOUS 1726 HAS SOUPS 1717 WITH SCORE 1724.031
AT ITER 3290 NEW BEST:: SOT 13695 SOS 7022 HAS SOPS 7010 HAS SOUS 1725 HAS SOUPS 1716 WITH SCORE 1723.022
AT ITER 3396 NEW BEST:: SOT 13695 SOS 7022 HAS SOPS 7010 HAS SOUS 1723 HAS SOUPS 1714 WITH SCORE 1721.022
AT ITER 3434 NEW BEST:: SOT 13693 SOS 7020 HAS SOPS 7008 HAS SOUS 1722 HAS SOUPS 1713 WITH SCORE 1720.02
AT ITER 3507 NEW BEST:: SOT 13694 SOS 7021 HAS SOPS 7009 HAS SOUS 1721 HAS SOUPS 1712 WITH SCORE 1719.021
AT ITER 3537 NEW BEST:: SOT 13707 SOS 7031 HAS SOPS 7019 HAS SOUS 1719 HAS SOUPS 1710 WITH SCORE 1717.031
AT ITER 3539 NEW BEST:: SOT 13697 SOS 7021 HAS SOPS 7009 HAS SOUS 1700 HAS SOUPS 1691 WITH SCORE 1698.021
AT ITER 3565 NEW BEST:: SOT 13698 SOS 7022 HAS SOPS 7010 HAS SOUS 1699 HAS SOUPS 1690 WITH SCORE 1697.022
AT ITER 3619 NEW BEST:: SOT 13696 SOS 7020 HAS SOPS 7008 HAS SOUS 1697 HAS SOUPS 1688 WITH SCORE 1695.02
AT ITER 3649 NEW BEST:: SOT 13694 SOS 7053 HAS SOPS 7041 HAS SOUS 1696 HAS SOUPS 1687 WITH SCORE 1694.053
AT ITER 3679 NEW BEST:: SOT 13697 SOS 7050 HAS SOPS 7038 HAS SOUS 1696 HAS SOUPS 1687 WITH SCORE 1694.05
AT ITER 3735 NEW BEST:: SOT 13696 SOS 7048 HAS SOPS 7036 HAS SOUS 1694 HAS SOUPS 1685 WITH SCORE 1692.048
AT ITER 3742 NEW BEST:: SOT 13689 SOS 6936 HAS SOPS 6924 HAS SOUS 1692 HAS SOUPS 1683 WITH SCORE 1689.936
AT ITER 3743 NEW BEST:: SOT 13687 SOS 6934 HAS SOPS 6922 HAS SOUS 1688 HAS SOUPS 1679 WITH SCORE 1685.934
AT ITER 3752 NEW BEST:: SOT 13679 SOS 6908 HAS SOPS 6896 HAS SOUS 1684 HAS SOUPS 1675 WITH SCORE 1681.908
AT ITER 3855 NEW BEST:: SOT 13667 SOS 6904 HAS SOPS 6892 HAS SOUS 1683 HAS SOUPS 1674 WITH SCORE 1680.904
AT ITER 3883 NEW BEST:: SOT 13667 SOS 6896 HAS SOPS 6884 HAS SOUS 1682 HAS SOUPS 1673 WITH SCORE 1679.896
AT ITER 3912 NEW BEST:: SOT 13666 SOS 6895 HAS SOPS 6883 HAS SOUS 1677 HAS SOUPS 1668 WITH SCORE 1674.895
AT ITER 3924 NEW BEST:: SOT 13665 SOS 6890 HAS SOPS 6878 HAS SOUS 1677 HAS SOUPS 1668 WITH SCORE 1674.89
AT ITER 3955 NEW BEST:: SOT 13665 SOS 6893 HAS SOPS 6881 HAS SOUS 1676 HAS SOUPS 1667 WITH SCORE 1673.893
AT ITER 3961 NEW BEST:: SOT 13668 SOS 6896 HAS SOPS 6884 HAS SOUS 1675 HAS SOUPS 1666 WITH SCORE 1672.896
AT ITER 4319 NEW BEST:: SOT 13667 SOS 6895 HAS SOPS 6883 HAS SOUS 1674 HAS SOUPS 1665 WITH SCORE 1671.895
AT ITER 4391 NEW BEST:: SOT 13665 SOS 6893 HAS SOPS 6881 HAS SOUS 1674 HAS SOUPS 1665 WITH SCORE 1671.893
AT ITER 4476 NEW BEST:: SOT 13661 SOS 6887 HAS SOPS 6875 HAS SOUS 1670 HAS SOUPS 1661 WITH SCORE 1667.887
AT ITER 4490 NEW BEST:: SOT 13660 SOS 6884 HAS SOPS 6872 HAS SOUS 1668 HAS SOUPS 1659 WITH SCORE 1665.884
AT ITER 4526 NEW BEST:: SOT 13659 SOS 6883 HAS SOPS 6871 HAS SOUS 1667 HAS SOUPS 1658 WITH SCORE 1664.883
AT ITER 4560 NEW BEST:: SOT 13659 SOS 6887 HAS SOPS 6875 HAS SOUS 1665 HAS SOUPS 1656 WITH SCORE 1662.887
AT ITER 4587 NEW BEST:: SOT 13658 SOS 6886 HAS SOPS 6874 HAS SOUS 1663 HAS SOUPS 1654 WITH SCORE 1660.886
AT ITER 4593 NEW BEST:: SOT 13658 SOS 6886 HAS SOPS 6874 HAS SOUS 1662 HAS SOUPS 1653 WITH SCORE 1659.886
AT ITER 4599 NEW BEST:: SOT 13658 SOS 6884 HAS SOPS 6872 HAS SOUS 1657 HAS SOUPS 1648 WITH SCORE 1654.884
AT ITER 4613 NEW BEST:: SOT 13657 SOS 6883 HAS SOPS 6871 HAS SOUS 1657 HAS SOUPS 1648 WITH SCORE 1654.883
AT ITER 4653 NEW BEST:: SOT 13656 SOS 6882 HAS SOPS 6870 HAS SOUS 1656 HAS SOUPS 1647 WITH SCORE 1653.882
AT ITER 4698 NEW BEST:: SOT 13648 SOS 6866 HAS SOPS 6854 HAS SOUS 1656 HAS SOUPS 1647 WITH SCORE 1653.866
AT ITER 4796 NEW BEST:: SOT 13646 SOS 6864 HAS SOPS 6852 HAS SOUS 1656 HAS SOUPS 1647 WITH SCORE 1653.864
AT ITER 4821 NEW BEST:: SOT 13640 SOS 6844 HAS SOPS 6832 HAS SOUS 1653 HAS SOUPS 1644 WITH SCORE 1650.844
AT ITER 4955 NEW BEST:: SOT 13639 SOS 6843 HAS SOPS 6831 HAS SOUS 1653 HAS SOUPS 1644 WITH SCORE 1650.843
AT ITER 5041 NEW BEST:: SOT 13636 SOS 6840 HAS SOPS 6828 HAS SOUS 1652 HAS SOUPS 1643 WITH SCORE 1649.84
AT ITER 5204 NEW BEST:: SOT 13635 SOS 6839 HAS SOPS 6827 HAS SOUS 1646 HAS SOUPS 1637 WITH SCORE 1643.839
AT ITER 5241 NEW BEST:: SOT 13634 SOS 6838 HAS SOPS 6826 HAS SOUS 1644 HAS SOUPS 1635 WITH SCORE 1641.838
AT ITER 5266 NEW BEST:: SOT 13632 SOS 6836 HAS SOPS 6824 HAS SOUS 1640 HAS SOUPS 1631 WITH SCORE 1637.836
AT ITER 5291 NEW BEST:: SOT 13632 SOS 6836 HAS SOPS 6824 HAS SOUS 1639 HAS SOUPS 1630 WITH SCORE 1636.836
AT ITER 5311 NEW BEST:: SOT 13631 SOS 6835 HAS SOPS 6823 HAS SOUS 1638 HAS SOUPS 1629 WITH SCORE 1635.835
AT ITER 5332 NEW BEST:: SOT 13630 SOS 6845 HAS SOPS 6833 HAS SOUS 1637 HAS SOUPS 1628 WITH SCORE 1634.845
AT ITER 5385 NEW BEST:: SOT 13622 SOS 6826 HAS SOPS 6814 HAS SOUS 1634 HAS SOUPS 1625 WITH SCORE 1631.826
AT ITER 5447 NEW BEST:: SOT 13619 SOS 6821 HAS SOPS 6809 HAS SOUS 1632 HAS SOUPS 1623 WITH SCORE 1629.821
AT ITER 5486 NEW BEST:: SOT 13625 SOS 7202 HAS SOPS 7190 HAS SOUS 1631 HAS SOUPS 1622 WITH SCORE 1629.202
AT ITER 5581 NEW BEST:: SOT 13624 SOS 7202 HAS SOPS 7190 HAS SOUS 1630 HAS SOUPS 1621 WITH SCORE 1628.202
AT ITER 5812 NEW BEST:: SOT 13622 SOS 7196 HAS SOPS 7184 HAS SOUS 1629 HAS SOUPS 1620 WITH SCORE 1627.196
AT ITER 5893 NEW BEST:: SOT 13622 SOS 7193 HAS SOPS 7181 HAS SOUS 1629 HAS SOUPS 1620 WITH SCORE 1627.193
AT ITER 5919 NEW BEST:: SOT 13617 SOS 7182 HAS SOPS 7170 HAS SOUS 1629 HAS SOUPS 1620 WITH SCORE 1627.182
AT ITER 5945 NEW BEST:: SOT 13616 SOS 7181 HAS SOPS 7169 HAS SOUS 1629 HAS SOUPS 1620 WITH SCORE 1627.181
AT ITER 6049 NEW BEST:: SOT 13614 SOS 7177 HAS SOPS 7165 HAS SOUS 1629 HAS SOUPS 1620 WITH SCORE 1627.177
AT ITER 6110 NEW BEST:: SOT 13612 SOS 7175 HAS SOPS 7163 HAS SOUS 1629 HAS SOUPS 1620 WITH SCORE 1627.175
AT ITER 6134 NEW BEST:: SOT 13609 SOS 7172 HAS SOPS 7160 HAS SOUS 1626 HAS SOUPS 1617 WITH SCORE 1624.172
AT ITER 6196 NEW BEST:: SOT 13607 SOS 7150 HAS SOPS 7138 HAS SOUS 1626 HAS SOUPS 1617 WITH SCORE 1624.15
AT ITER 6281 NEW BEST:: SOT 13600 SOS 7136 HAS SOPS 7124 HAS SOUS 1616 HAS SOUPS 1607 WITH SCORE 1614.136
AT ITER 6386 NEW BEST:: SOT 13605 SOS 7137 HAS SOPS 7125 HAS SOUS 1615 HAS SOUPS 1606 WITH SCORE 1613.137
AT ITER 6467 NEW BEST:: SOT 13603 SOS 7135 HAS SOPS 7123 HAS SOUS 1612 HAS SOUPS 1603 WITH SCORE 1610.135
AT ITER 6510 NEW BEST:: SOT 13602 SOS 7134 HAS SOPS 7122 HAS SOUS 1611 HAS SOUPS 1602 WITH SCORE 1609.134
AT ITER 6544 NEW BEST:: SOT 13601 SOS 7139 HAS SOPS 7127 HAS SOUS 1609 HAS SOUPS 1600 WITH SCORE 1607.139
AT ITER 6562 NEW BEST:: SOT 13601 SOS 7139 HAS SOPS 7127 HAS SOUS 1608 HAS SOUPS 1599 WITH SCORE 1606.139
AT ITER 6626 NEW BEST:: SOT 13601 SOS 7138 HAS SOPS 7126 HAS SOUS 1608 HAS SOUPS 1599 WITH SCORE 1606.138
AT ITER 6705 NEW BEST:: SOT 13600 SOS 7137 HAS SOPS 7125 HAS SOUS 1606 HAS SOUPS 1597 WITH SCORE 1604.137
AT ITER 6822 NEW BEST:: SOT 13597 SOS 7131 HAS SOPS 7119 HAS SOUS 1603 HAS SOUPS 1594 WITH SCORE 1601.131
AT ITER 6948 NEW BEST:: SOT 13595 SOS 7152 HAS SOPS 7140 HAS SOUS 1602 HAS SOUPS 1593 WITH SCORE 1600.152
AT ITER 6971 NEW BEST:: SOT 13592 SOS 7195 HAS SOPS 7183 HAS SOUS 1601 HAS SOUPS 1592 WITH SCORE 1599.195
AT ITER 7020 NEW BEST:: SOT 13595 SOS 7198 HAS SOPS 7186 HAS SOUS 1600 HAS SOUPS 1591 WITH SCORE 1598.198
AT ITER 7202 NEW BEST:: SOT 13595 SOS 7198 HAS SOPS 7186 HAS SOUS 1599 HAS SOUPS 1590 WITH SCORE 1597.198
AT ITER 7271 NEW BEST:: SOT 13594 SOS 7197 HAS SOPS 7185 HAS SOUS 1599 HAS SOUPS 1590 WITH SCORE 1597.197
AT ITER 7364 NEW BEST:: SOT 13594 SOS 7209 HAS SOPS 7197 HAS SOUS 1598 HAS SOUPS 1589 WITH SCORE 1596.209
AT ITER 7401 NEW BEST:: SOT 13593 SOS 7208 HAS SOPS 7196 HAS SOUS 1594 HAS SOUPS 1585 WITH SCORE 1592.208
AT ITER 7495 NEW BEST:: SOT 13591 SOS 7204 HAS SOPS 7192 HAS SOUS 1592 HAS SOUPS 1583 WITH SCORE 1590.204
AT ITER 7499 NEW BEST:: SOT 13591 SOS 7204 HAS SOPS 7192 HAS SOUS 1591 HAS SOUPS 1582 WITH SCORE 1589.204
AT ITER 7784 NEW BEST:: SOT 13591 SOS 7145 HAS SOPS 7133 HAS SOUS 1591 HAS SOUPS 1582 WITH SCORE 1589.145
AT ITER 7797 NEW BEST:: SOT 13591 SOS 7145 HAS SOPS 7133 HAS SOUS 1590 HAS SOUPS 1581 WITH SCORE 1588.145
AT ITER 7967 NEW BEST:: SOT 13589 SOS 7143 HAS SOPS 7131 HAS SOUS 1588 HAS SOUPS 1579 WITH SCORE 1586.143
AT ITER 8247 NEW BEST:: SOT 13586 SOS 7133 HAS SOPS 7121 HAS SOUS 1587 HAS SOUPS 1578 WITH SCORE 1585.133
AT ITER 8260 NEW BEST:: SOT 13583 SOS 7128 HAS SOPS 7116 HAS SOUS 1587 HAS SOUPS 1578 WITH SCORE 1585.128
AT ITER 8435 NEW BEST:: SOT 13580 SOS 7123 HAS SOPS 7111 HAS SOUS 1584 HAS SOUPS 1575 WITH SCORE 1582.123
AT ITER 8821 NEW BEST:: SOT 13577 SOS 7120 HAS SOPS 7108 HAS SOUS 1580 HAS SOUPS 1571 WITH SCORE 1578.12
AT ITER 8938 NEW BEST:: SOT 13575 SOS 7118 HAS SOPS 7106 HAS SOUS 1578 HAS SOUPS 1569 WITH SCORE 1576.118
AT ITER 9042 NEW BEST:: SOT 13575 SOS 7118 HAS SOPS 7106 HAS SOUS 1577 HAS SOUPS 1568 WITH SCORE 1575.118
AT ITER 9124 NEW BEST:: SOT 13575 SOS 7118 HAS SOPS 7106 HAS SOUS 1576 HAS SOUPS 1567 WITH SCORE 1574.118
AT ITER 9195 NEW BEST:: SOT 13574 SOS 7117 HAS SOPS 7105 HAS SOUS 1575 HAS SOUPS 1566 WITH SCORE 1573.117
AT ITER 9200 NEW BEST:: SOT 13575 SOS 7124 HAS SOPS 7112 HAS SOUS 1570 HAS SOUPS 1561 WITH SCORE 1568.124
AT ITER 9293 NEW BEST:: SOT 13574 SOS 7123 HAS SOPS 7111 HAS SOUS 1570 HAS SOUPS 1561 WITH SCORE 1568.123
AT ITER 9336 NEW BEST:: SOT 13572 SOS 7119 HAS SOPS 7107 HAS SOUS 1568 HAS SOUPS 1559 WITH SCORE 1566.119
AT ITER 9419 NEW BEST:: SOT 13573 SOS 7097 HAS SOPS 7085 HAS SOUS 1568 HAS SOUPS 1559 WITH SCORE 1566.097
AT ITER 9621 NEW BEST:: SOT 13573 SOS 7097 HAS SOPS 7085 HAS SOUS 1567 HAS SOUPS 1558 WITH SCORE 1565.097
STATE_SPACE STATES 3055436 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 8 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 33979152 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678492568135

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is HealthRecord-PT-02, 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 r195-smll-167840342100248"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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