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.r203-smll-167840349300264.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 smartxred
Input is HealthRecord-PT-04, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r203-smll-167840349300264
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 416K
-rw-r--r-- 1 mcc users 6.4K Feb 26 17:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 68K Feb 26 17:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 26 17:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 26 17:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:13 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:13 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:13 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:13 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.4K Feb 26 17:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 72K Feb 26 17:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.3K Feb 26 17:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 61K Feb 26 17:50 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 50K 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 1678577323895

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=HealthRecord-PT-04
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-11 23:28:46] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-11 23:28:46] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-11 23:28:47] [INFO ] Load time of PNML (sax parser for PT used): 82 ms
[2023-03-11 23:28:47] [INFO ] Transformed 123 places.
[2023-03-11 23:28:47] [INFO ] Transformed 239 transitions.
[2023-03-11 23:28:47] [INFO ] Found NUPN structural information;
[2023-03-11 23:28:47] [INFO ] Parsed PT model containing 123 places and 239 transitions and 617 arcs in 295 ms.
[2023-03-11 23:28:47] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 123 places, 239 transitions and 617 arcs took 9 ms.
Total runtime 352 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HealthRecord (PT), instance 04
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: 123 places, 239 transitions, 617 arcs.
AT ITER 0 NEW BEST:: SOT 21626 SOS 11984 HAS SOPS 11972 HAS SOUS 7186 HAS SOUPS 7177 WITH SCORE 7188.984
AT ITER 1 NEW BEST:: SOT 21626 SOS 11995 HAS SOPS 11983 HAS SOUS 7169 HAS SOUPS 7160 WITH SCORE 7171.995
AT ITER 3 NEW BEST:: SOT 21523 SOS 11916 HAS SOPS 11904 HAS SOUS 7153 HAS SOUPS 7144 WITH SCORE 7155.916
AT ITER 4 NEW BEST:: SOT 21523 SOS 11915 HAS SOPS 11903 HAS SOUS 7153 HAS SOUPS 7144 WITH SCORE 7155.915
AT ITER 6 NEW BEST:: SOT 21464 SOS 11816 HAS SOPS 11804 HAS SOUS 7118 HAS SOUPS 7109 WITH SCORE 7120.816
AT ITER 10 NEW BEST:: SOT 21432 SOS 11752 HAS SOPS 11740 HAS SOUS 7102 HAS SOUPS 7093 WITH SCORE 7104.752
AT ITER 11 NEW BEST:: SOT 20236 SOS 11136 HAS SOPS 11124 HAS SOUS 6491 HAS SOUPS 6482 WITH SCORE 6493.136
AT ITER 12 NEW BEST:: SOT 20127 SOS 10880 HAS SOPS 10868 HAS SOUS 6390 HAS SOUPS 6381 WITH SCORE 6391.88
AT ITER 16 NEW BEST:: SOT 20078 SOS 10797 HAS SOPS 10785 HAS SOUS 6354 HAS SOUPS 6345 WITH SCORE 6355.797
AT ITER 20 NEW BEST:: SOT 20028 SOS 10747 HAS SOPS 10735 HAS SOUS 6304 HAS SOUPS 6295 WITH SCORE 6305.747
AT ITER 25 NEW BEST:: SOT 20007 SOS 10690 HAS SOPS 10678 HAS SOUS 6289 HAS SOUPS 6280 WITH SCORE 6290.69
AT ITER 31 NEW BEST:: SOT 19970 SOS 10616 HAS SOPS 10604 HAS SOUS 6289 HAS SOUPS 6280 WITH SCORE 6290.616
AT ITER 34 NEW BEST:: SOT 19983 SOS 10629 HAS SOPS 10617 HAS SOUS 6282 HAS SOUPS 6273 WITH SCORE 6283.629
AT ITER 35 NEW BEST:: SOT 19977 SOS 10614 HAS SOPS 10602 HAS SOUS 6279 HAS SOUPS 6270 WITH SCORE 6280.614
AT ITER 36 NEW BEST:: SOT 19965 SOS 10578 HAS SOPS 10566 HAS SOUS 6271 HAS SOUPS 6262 WITH SCORE 6272.578
AT ITER 39 NEW BEST:: SOT 19962 SOS 10553 HAS SOPS 10541 HAS SOUS 6259 HAS SOUPS 6250 WITH SCORE 6260.553
AT ITER 40 NEW BEST:: SOT 19960 SOS 10547 HAS SOPS 10535 HAS SOUS 6257 HAS SOUPS 6248 WITH SCORE 6258.547
AT ITER 49 NEW BEST:: SOT 19571 SOS 11610 HAS SOPS 11598 HAS SOUS 6214 HAS SOUPS 6205 WITH SCORE 6216.61
AT ITER 53 NEW BEST:: SOT 18714 SOS 11269 HAS SOPS 11257 HAS SOUS 5929 HAS SOUPS 5920 WITH SCORE 5931.269
AT ITER 58 NEW BEST:: SOT 18714 SOS 11257 HAS SOPS 11245 HAS SOUS 5923 HAS SOUPS 5914 WITH SCORE 5925.257
AT ITER 61 NEW BEST:: SOT 18714 SOS 11255 HAS SOPS 11243 HAS SOUS 5921 HAS SOUPS 5912 WITH SCORE 5923.255
AT ITER 62 NEW BEST:: SOT 18562 SOS 11027 HAS SOPS 11015 HAS SOUS 5794 HAS SOUPS 5785 WITH SCORE 5796.027
AT ITER 64 NEW BEST:: SOT 18544 SOS 10991 HAS SOPS 10979 HAS SOUS 5776 HAS SOUPS 5767 WITH SCORE 5777.991
AT ITER 66 NEW BEST:: SOT 18544 SOS 10975 HAS SOPS 10963 HAS SOUS 5768 HAS SOUPS 5759 WITH SCORE 5769.975
AT ITER 71 NEW BEST:: SOT 18544 SOS 10901 HAS SOPS 10889 HAS SOUS 5768 HAS SOUPS 5759 WITH SCORE 5769.901
AT ITER 72 NEW BEST:: SOT 18540 SOS 10893 HAS SOPS 10881 HAS SOUS 5760 HAS SOUPS 5751 WITH SCORE 5761.893
AT ITER 75 NEW BEST:: SOT 18559 SOS 10884 HAS SOPS 10872 HAS SOUS 5736 HAS SOUPS 5727 WITH SCORE 5737.884
AT ITER 77 NEW BEST:: SOT 18559 SOS 10884 HAS SOPS 10872 HAS SOUS 5731 HAS SOUPS 5722 WITH SCORE 5732.884
AT ITER 84 NEW BEST:: SOT 18559 SOS 10876 HAS SOPS 10864 HAS SOUS 5727 HAS SOUPS 5718 WITH SCORE 5728.876
AT ITER 85 NEW BEST:: SOT 18559 SOS 10876 HAS SOPS 10864 HAS SOUS 5725 HAS SOUPS 5716 WITH SCORE 5726.876
AT ITER 88 NEW BEST:: SOT 18010 SOS 10533 HAS SOPS 10521 HAS SOUS 5156 HAS SOUPS 5147 WITH SCORE 5157.533
AT ITER 89 NEW BEST:: SOT 18010 SOS 10559 HAS SOPS 10547 HAS SOUS 5143 HAS SOUPS 5134 WITH SCORE 5144.559
AT ITER 90 NEW BEST:: SOT 17998 SOS 10550 HAS SOPS 10538 HAS SOUS 5128 HAS SOUPS 5119 WITH SCORE 5129.55
AT ITER 97 NEW BEST:: SOT 17938 SOS 10440 HAS SOPS 10428 HAS SOUS 5093 HAS SOUPS 5084 WITH SCORE 5094.44
AT ITER 100 NEW BEST:: SOT 17932 SOS 10422 HAS SOPS 10410 HAS SOUS 5087 HAS SOUPS 5078 WITH SCORE 5088.422
AT ITER 101 NEW BEST:: SOT 17863 SOS 10178 HAS SOPS 10166 HAS SOUS 4949 HAS SOUPS 4940 WITH SCORE 4950.178
AT ITER 103 NEW BEST:: SOT 17863 SOS 10051 HAS SOPS 10039 HAS SOUS 4935 HAS SOUPS 4926 WITH SCORE 4936.051
AT ITER 112 NEW BEST:: SOT 17863 SOS 10047 HAS SOPS 10035 HAS SOUS 4935 HAS SOUPS 4926 WITH SCORE 4936.047
AT ITER 119 NEW BEST:: SOT 17825 SOS 9901 HAS SOPS 9889 HAS SOUS 4901 HAS SOUPS 4892 WITH SCORE 4901.901
AT ITER 125 NEW BEST:: SOT 17818 SOS 9878 HAS SOPS 9866 HAS SOUS 4889 HAS SOUPS 4880 WITH SCORE 4889.878
AT ITER 127 NEW BEST:: SOT 17759 SOS 9734 HAS SOPS 9722 HAS SOUS 4810 HAS SOUPS 4801 WITH SCORE 4810.734
AT ITER 133 NEW BEST:: SOT 17610 SOS 9700 HAS SOPS 9688 HAS SOUS 4650 HAS SOUPS 4641 WITH SCORE 4650.7
AT ITER 135 NEW BEST:: SOT 17606 SOS 9713 HAS SOPS 9701 HAS SOUS 4641 HAS SOUPS 4632 WITH SCORE 4641.713
AT ITER 140 NEW BEST:: SOT 17604 SOS 9709 HAS SOPS 9697 HAS SOUS 4641 HAS SOUPS 4632 WITH SCORE 4641.709
AT ITER 151 NEW BEST:: SOT 17576 SOS 9639 HAS SOPS 9627 HAS SOUS 4611 HAS SOUPS 4602 WITH SCORE 4611.639
AT ITER 153 NEW BEST:: SOT 17576 SOS 9623 HAS SOPS 9611 HAS SOUS 4600 HAS SOUPS 4591 WITH SCORE 4600.623
AT ITER 157 NEW BEST:: SOT 17554 SOS 9601 HAS SOPS 9589 HAS SOUS 4578 HAS SOUPS 4569 WITH SCORE 4578.601
AT ITER 158 NEW BEST:: SOT 17483 SOS 9371 HAS SOPS 9359 HAS SOUS 4489 HAS SOUPS 4480 WITH SCORE 4489.371
AT ITER 159 NEW BEST:: SOT 17487 SOS 9375 HAS SOPS 9363 HAS SOUS 4470 HAS SOUPS 4461 WITH SCORE 4470.375
AT ITER 160 NEW BEST:: SOT 17481 SOS 9363 HAS SOPS 9351 HAS SOUS 4458 HAS SOUPS 4449 WITH SCORE 4458.363
AT ITER 164 NEW BEST:: SOT 17469 SOS 9366 HAS SOPS 9354 HAS SOUS 4446 HAS SOUPS 4437 WITH SCORE 4446.366
AT ITER 177 NEW BEST:: SOT 17462 SOS 9352 HAS SOPS 9340 HAS SOUS 4446 HAS SOUPS 4437 WITH SCORE 4446.352
AT ITER 179 NEW BEST:: SOT 17450 SOS 9340 HAS SOPS 9328 HAS SOUS 4414 HAS SOUPS 4405 WITH SCORE 4414.34
AT ITER 195 NEW BEST:: SOT 17431 SOS 9294 HAS SOPS 9282 HAS SOUS 4403 HAS SOUPS 4394 WITH SCORE 4403.294
AT ITER 197 NEW BEST:: SOT 17423 SOS 9286 HAS SOPS 9274 HAS SOUS 4387 HAS SOUPS 4378 WITH SCORE 4387.286
AT ITER 207 NEW BEST:: SOT 17410 SOS 9273 HAS SOPS 9261 HAS SOUS 4374 HAS SOUPS 4365 WITH SCORE 4374.273
AT ITER 208 NEW BEST:: SOT 17242 SOS 9775 HAS SOPS 9763 HAS SOUS 4206 HAS SOUPS 4197 WITH SCORE 4206.775
AT ITER 212 NEW BEST:: SOT 17242 SOS 9775 HAS SOPS 9763 HAS SOUS 4204 HAS SOUPS 4195 WITH SCORE 4204.775
AT ITER 215 NEW BEST:: SOT 17254 SOS 9788 HAS SOPS 9776 HAS SOUS 4203 HAS SOUPS 4194 WITH SCORE 4203.788
AT ITER 216 NEW BEST:: SOT 17248 SOS 9782 HAS SOPS 9770 HAS SOUS 4202 HAS SOUPS 4193 WITH SCORE 4202.782
AT ITER 220 NEW BEST:: SOT 17198 SOS 9702 HAS SOPS 9690 HAS SOUS 4146 HAS SOUPS 4137 WITH SCORE 4146.702
AT ITER 224 NEW BEST:: SOT 17211 SOS 9715 HAS SOPS 9703 HAS SOUS 4143 HAS SOUPS 4134 WITH SCORE 4143.715
AT ITER 227 NEW BEST:: SOT 17216 SOS 9724 HAS SOPS 9712 HAS SOUS 4142 HAS SOUPS 4133 WITH SCORE 4142.724
AT ITER 228 NEW BEST:: SOT 17074 SOS 9573 HAS SOPS 9561 HAS SOUS 3993 HAS SOUPS 3984 WITH SCORE 3993.573
AT ITER 234 NEW BEST:: SOT 17070 SOS 9563 HAS SOPS 9551 HAS SOUS 3989 HAS SOUPS 3980 WITH SCORE 3989.563
AT ITER 237 NEW BEST:: SOT 17084 SOS 9602 HAS SOPS 9590 HAS SOUS 3987 HAS SOUPS 3978 WITH SCORE 3987.602
AT ITER 239 NEW BEST:: SOT 17108 SOS 9626 HAS SOPS 9614 HAS SOUS 3980 HAS SOUPS 3971 WITH SCORE 3980.626
AT ITER 254 NEW BEST:: SOT 17057 SOS 9623 HAS SOPS 9611 HAS SOUS 3979 HAS SOUPS 3970 WITH SCORE 3979.623
AT ITER 255 NEW BEST:: SOT 17055 SOS 9619 HAS SOPS 9607 HAS SOUS 3979 HAS SOUPS 3970 WITH SCORE 3979.619
AT ITER 257 NEW BEST:: SOT 17051 SOS 9611 HAS SOPS 9599 HAS SOUS 3979 HAS SOUPS 3970 WITH SCORE 3979.611
AT ITER 258 NEW BEST:: SOT 17051 SOS 9607 HAS SOPS 9595 HAS SOUS 3979 HAS SOUPS 3970 WITH SCORE 3979.607
AT ITER 259 NEW BEST:: SOT 17023 SOS 9547 HAS SOPS 9535 HAS SOUS 3951 HAS SOUPS 3942 WITH SCORE 3951.547
AT ITER 271 NEW BEST:: SOT 17018 SOS 9542 HAS SOPS 9530 HAS SOUS 3946 HAS SOUPS 3937 WITH SCORE 3946.542
AT ITER 273 NEW BEST:: SOT 17012 SOS 9542 HAS SOPS 9530 HAS SOUS 3940 HAS SOUPS 3931 WITH SCORE 3940.542
AT ITER 274 NEW BEST:: SOT 17009 SOS 9568 HAS SOPS 9556 HAS SOUS 3929 HAS SOUPS 3920 WITH SCORE 3929.568
AT ITER 283 NEW BEST:: SOT 17017 SOS 9571 HAS SOPS 9559 HAS SOUS 3924 HAS SOUPS 3915 WITH SCORE 3924.571
AT ITER 289 NEW BEST:: SOT 16892 SOS 9263 HAS SOPS 9251 HAS SOUS 3850 HAS SOUPS 3841 WITH SCORE 3850.263
AT ITER 291 NEW BEST:: SOT 16885 SOS 9251 HAS SOPS 9239 HAS SOUS 3839 HAS SOUPS 3830 WITH SCORE 3839.251
AT ITER 303 NEW BEST:: SOT 16870 SOS 9216 HAS SOPS 9204 HAS SOUS 3829 HAS SOUPS 3820 WITH SCORE 3829.216
AT ITER 322 NEW BEST:: SOT 16593 SOS 9035 HAS SOPS 9023 HAS SOUS 3530 HAS SOUPS 3521 WITH SCORE 3530.035
AT ITER 353 NEW BEST:: SOT 16574 SOS 9016 HAS SOPS 9004 HAS SOUS 3503 HAS SOUPS 3494 WITH SCORE 3503.016
AT ITER 363 NEW BEST:: SOT 16574 SOS 9016 HAS SOPS 9004 HAS SOUS 3501 HAS SOUPS 3492 WITH SCORE 3501.016
AT ITER 364 NEW BEST:: SOT 16574 SOS 9016 HAS SOPS 9004 HAS SOUS 3500 HAS SOUPS 3491 WITH SCORE 3500.016
AT ITER 386 NEW BEST:: SOT 16582 SOS 9024 HAS SOPS 9012 HAS SOUS 3492 HAS SOUPS 3483 WITH SCORE 3492.024
AT ITER 403 NEW BEST:: SOT 16571 SOS 9005 HAS SOPS 8993 HAS SOUS 3463 HAS SOUPS 3454 WITH SCORE 3463.005
AT ITER 407 NEW BEST:: SOT 16512 SOS 8937 HAS SOPS 8925 HAS SOUS 3408 HAS SOUPS 3399 WITH SCORE 3407.937
AT ITER 416 NEW BEST:: SOT 16454 SOS 8849 HAS SOPS 8837 HAS SOUS 3366 HAS SOUPS 3357 WITH SCORE 3365.849
AT ITER 420 NEW BEST:: SOT 16435 SOS 8830 HAS SOPS 8818 HAS SOUS 3364 HAS SOUPS 3355 WITH SCORE 3363.83
AT ITER 421 NEW BEST:: SOT 16430 SOS 8834 HAS SOPS 8822 HAS SOUS 3358 HAS SOUPS 3349 WITH SCORE 3357.834
AT ITER 429 NEW BEST:: SOT 16425 SOS 8829 HAS SOPS 8817 HAS SOUS 3341 HAS SOUPS 3332 WITH SCORE 3340.829
AT ITER 436 NEW BEST:: SOT 16347 SOS 8773 HAS SOPS 8761 HAS SOUS 3258 HAS SOUPS 3249 WITH SCORE 3257.773
AT ITER 444 NEW BEST:: SOT 16321 SOS 8761 HAS SOPS 8749 HAS SOUS 3230 HAS SOUPS 3221 WITH SCORE 3229.761
AT ITER 445 NEW BEST:: SOT 16301 SOS 8747 HAS SOPS 8735 HAS SOUS 3223 HAS SOUPS 3214 WITH SCORE 3222.747
AT ITER 450 NEW BEST:: SOT 16289 SOS 8735 HAS SOPS 8723 HAS SOUS 3223 HAS SOUPS 3214 WITH SCORE 3222.735
AT ITER 451 NEW BEST:: SOT 16286 SOS 8732 HAS SOPS 8720 HAS SOUS 3221 HAS SOUPS 3212 WITH SCORE 3220.732
AT ITER 452 NEW BEST:: SOT 16282 SOS 8726 HAS SOPS 8714 HAS SOUS 3220 HAS SOUPS 3211 WITH SCORE 3219.726
AT ITER 455 NEW BEST:: SOT 16283 SOS 8732 HAS SOPS 8720 HAS SOUS 3217 HAS SOUPS 3208 WITH SCORE 3216.732
AT ITER 456 NEW BEST:: SOT 16167 SOS 9715 HAS SOPS 9703 HAS SOUS 3037 HAS SOUPS 3028 WITH SCORE 3037.715
AT ITER 460 NEW BEST:: SOT 16120 SOS 9622 HAS SOPS 9610 HAS SOUS 2990 HAS SOUPS 2981 WITH SCORE 2990.622
AT ITER 463 NEW BEST:: SOT 16125 SOS 9635 HAS SOPS 9623 HAS SOUS 2981 HAS SOUPS 2972 WITH SCORE 2981.635
AT ITER 467 NEW BEST:: SOT 16150 SOS 9685 HAS SOPS 9673 HAS SOUS 2974 HAS SOUPS 2965 WITH SCORE 2974.685
AT ITER 483 NEW BEST:: SOT 16125 SOS 9660 HAS SOPS 9648 HAS SOUS 2968 HAS SOUPS 2959 WITH SCORE 2968.66
AT ITER 486 NEW BEST:: SOT 16118 SOS 9653 HAS SOPS 9641 HAS SOUS 2961 HAS SOUPS 2952 WITH SCORE 2961.653
AT ITER 492 NEW BEST:: SOT 16113 SOS 9643 HAS SOPS 9631 HAS SOUS 2961 HAS SOUPS 2952 WITH SCORE 2961.643
AT ITER 494 NEW BEST:: SOT 16104 SOS 9634 HAS SOPS 9622 HAS SOUS 2958 HAS SOUPS 2949 WITH SCORE 2958.634
AT ITER 495 NEW BEST:: SOT 16088 SOS 9603 HAS SOPS 9591 HAS SOUS 2956 HAS SOUPS 2947 WITH SCORE 2956.603
AT ITER 502 NEW BEST:: SOT 16084 SOS 9599 HAS SOPS 9587 HAS SOUS 2949 HAS SOUPS 2940 WITH SCORE 2949.599
AT ITER 506 NEW BEST:: SOT 16065 SOS 9580 HAS SOPS 9568 HAS SOUS 2930 HAS SOUPS 2921 WITH SCORE 2930.58
AT ITER 512 NEW BEST:: SOT 16048 SOS 9546 HAS SOPS 9534 HAS SOUS 2914 HAS SOUPS 2905 WITH SCORE 2914.546
AT ITER 523 NEW BEST:: SOT 16034 SOS 9532 HAS SOPS 9520 HAS SOUS 2883 HAS SOUPS 2874 WITH SCORE 2883.532
AT ITER 541 NEW BEST:: SOT 16028 SOS 9526 HAS SOPS 9514 HAS SOUS 2869 HAS SOUPS 2860 WITH SCORE 2869.526
AT ITER 543 NEW BEST:: SOT 16000 SOS 9498 HAS SOPS 9486 HAS SOUS 2831 HAS SOUPS 2822 WITH SCORE 2831.498
AT ITER 547 NEW BEST:: SOT 16000 SOS 9482 HAS SOPS 9470 HAS SOUS 2824 HAS SOUPS 2815 WITH SCORE 2824.482
AT ITER 555 NEW BEST:: SOT 15997 SOS 9479 HAS SOPS 9467 HAS SOUS 2823 HAS SOUPS 2814 WITH SCORE 2823.479
AT ITER 572 NEW BEST:: SOT 15992 SOS 9469 HAS SOPS 9457 HAS SOUS 2816 HAS SOUPS 2807 WITH SCORE 2816.469
AT ITER 592 NEW BEST:: SOT 16029 SOS 9500 HAS SOPS 9488 HAS SOUS 2814 HAS SOUPS 2805 WITH SCORE 2814.5
AT ITER 601 NEW BEST:: SOT 16023 SOS 9494 HAS SOPS 9482 HAS SOUS 2808 HAS SOUPS 2799 WITH SCORE 2808.494
AT ITER 610 NEW BEST:: SOT 16011 SOS 9466 HAS SOPS 9454 HAS SOUS 2796 HAS SOUPS 2787 WITH SCORE 2796.466
AT ITER 616 NEW BEST:: SOT 16061 SOS 9534 HAS SOPS 9522 HAS SOUS 2763 HAS SOUPS 2754 WITH SCORE 2763.534
AT ITER 635 NEW BEST:: SOT 16062 SOS 9537 HAS SOPS 9525 HAS SOUS 2761 HAS SOUPS 2752 WITH SCORE 2761.537
AT ITER 647 NEW BEST:: SOT 16056 SOS 9527 HAS SOPS 9515 HAS SOUS 2755 HAS SOUPS 2746 WITH SCORE 2755.527
AT ITER 659 NEW BEST:: SOT 16070 SOS 9527 HAS SOPS 9515 HAS SOUS 2754 HAS SOUPS 2745 WITH SCORE 2754.527
AT ITER 669 NEW BEST:: SOT 16070 SOS 9528 HAS SOPS 9516 HAS SOUS 2753 HAS SOUPS 2744 WITH SCORE 2753.528
AT ITER 673 NEW BEST:: SOT 16048 SOS 9484 HAS SOPS 9472 HAS SOUS 2741 HAS SOUPS 2732 WITH SCORE 2741.484
AT ITER 685 NEW BEST:: SOT 16035 SOS 9442 HAS SOPS 9430 HAS SOUS 2721 HAS SOUPS 2712 WITH SCORE 2721.442
AT ITER 699 NEW BEST:: SOT 16033 SOS 9440 HAS SOPS 9428 HAS SOUS 2719 HAS SOUPS 2710 WITH SCORE 2719.44
AT ITER 712 NEW BEST:: SOT 16033 SOS 9440 HAS SOPS 9428 HAS SOUS 2713 HAS SOUPS 2704 WITH SCORE 2713.44
AT ITER 723 NEW BEST:: SOT 16033 SOS 9438 HAS SOPS 9426 HAS SOUS 2711 HAS SOUPS 2702 WITH SCORE 2711.438
AT ITER 748 NEW BEST:: SOT 16013 SOS 9418 HAS SOPS 9406 HAS SOUS 2709 HAS SOUPS 2700 WITH SCORE 2709.418
AT ITER 749 NEW BEST:: SOT 15979 SOS 9413 HAS SOPS 9401 HAS SOUS 2702 HAS SOUPS 2693 WITH SCORE 2702.413
AT ITER 752 NEW BEST:: SOT 15961 SOS 9383 HAS SOPS 9371 HAS SOUS 2679 HAS SOUPS 2670 WITH SCORE 2679.383
AT ITER 757 NEW BEST:: SOT 15973 SOS 9395 HAS SOPS 9383 HAS SOUS 2662 HAS SOUPS 2653 WITH SCORE 2662.395
AT ITER 787 NEW BEST:: SOT 15969 SOS 9312 HAS SOPS 9300 HAS SOUS 2647 HAS SOUPS 2638 WITH SCORE 2647.312
AT ITER 809 NEW BEST:: SOT 15966 SOS 9307 HAS SOPS 9295 HAS SOUS 2644 HAS SOUPS 2635 WITH SCORE 2644.307
AT ITER 816 NEW BEST:: SOT 15975 SOS 9321 HAS SOPS 9309 HAS SOUS 2629 HAS SOUPS 2620 WITH SCORE 2629.321
AT ITER 817 NEW BEST:: SOT 15969 SOS 9323 HAS SOPS 9311 HAS SOUS 2627 HAS SOUPS 2618 WITH SCORE 2627.323
AT ITER 822 NEW BEST:: SOT 16002 SOS 9146 HAS SOPS 9134 HAS SOUS 2624 HAS SOUPS 2615 WITH SCORE 2624.146
AT ITER 825 NEW BEST:: SOT 15984 SOS 9110 HAS SOPS 9098 HAS SOUS 2615 HAS SOUPS 2606 WITH SCORE 2615.11
AT ITER 833 NEW BEST:: SOT 15980 SOS 9106 HAS SOPS 9094 HAS SOUS 2615 HAS SOUPS 2606 WITH SCORE 2615.106
AT ITER 841 NEW BEST:: SOT 15983 SOS 9060 HAS SOPS 9048 HAS SOUS 2611 HAS SOUPS 2602 WITH SCORE 2611.06
AT ITER 866 NEW BEST:: SOT 15982 SOS 9059 HAS SOPS 9047 HAS SOUS 2609 HAS SOUPS 2600 WITH SCORE 2609.059
AT ITER 874 NEW BEST:: SOT 15982 SOS 9058 HAS SOPS 9046 HAS SOUS 2607 HAS SOUPS 2598 WITH SCORE 2607.058
AT ITER 878 NEW BEST:: SOT 15982 SOS 9048 HAS SOPS 9036 HAS SOUS 2603 HAS SOUPS 2594 WITH SCORE 2603.048
AT ITER 930 NEW BEST:: SOT 15986 SOS 9052 HAS SOPS 9040 HAS SOUS 2599 HAS SOUPS 2590 WITH SCORE 2599.052
AT ITER 931 NEW BEST:: SOT 16004 SOS 9056 HAS SOPS 9044 HAS SOUS 2591 HAS SOUPS 2582 WITH SCORE 2591.056
AT ITER 935 NEW BEST:: SOT 15997 SOS 9064 HAS SOPS 9052 HAS SOUS 2576 HAS SOUPS 2567 WITH SCORE 2576.064
AT ITER 944 NEW BEST:: SOT 15996 SOS 9063 HAS SOPS 9051 HAS SOUS 2575 HAS SOUPS 2566 WITH SCORE 2575.063
AT ITER 947 NEW BEST:: SOT 15995 SOS 9062 HAS SOPS 9050 HAS SOUS 2575 HAS SOUPS 2566 WITH SCORE 2575.062
AT ITER 950 NEW BEST:: SOT 15995 SOS 9006 HAS SOPS 8994 HAS SOUS 2575 HAS SOUPS 2566 WITH SCORE 2575.006
AT ITER 957 NEW BEST:: SOT 15993 SOS 9004 HAS SOPS 8992 HAS SOUS 2575 HAS SOUPS 2566 WITH SCORE 2575.004
AT ITER 960 NEW BEST:: SOT 15974 SOS 8982 HAS SOPS 8970 HAS SOUS 2550 HAS SOUPS 2541 WITH SCORE 2549.982
AT ITER 988 NEW BEST:: SOT 15972 SOS 8982 HAS SOPS 8970 HAS SOUS 2544 HAS SOUPS 2535 WITH SCORE 2543.982
AT ITER 1001 NEW BEST:: SOT 15972 SOS 8872 HAS SOPS 8860 HAS SOUS 2544 HAS SOUPS 2535 WITH SCORE 2543.872
AT ITER 1015 NEW BEST:: SOT 15956 SOS 8840 HAS SOPS 8828 HAS SOUS 2528 HAS SOUPS 2519 WITH SCORE 2527.84
AT ITER 1050 NEW BEST:: SOT 15982 SOS 8869 HAS SOPS 8857 HAS SOUS 2508 HAS SOUPS 2499 WITH SCORE 2507.869
AT ITER 1058 NEW BEST:: SOT 15981 SOS 8868 HAS SOPS 8856 HAS SOUS 2507 HAS SOUPS 2498 WITH SCORE 2506.868
AT ITER 1065 NEW BEST:: SOT 15984 SOS 8874 HAS SOPS 8862 HAS SOUS 2500 HAS SOUPS 2491 WITH SCORE 2499.874
AT ITER 1092 NEW BEST:: SOT 15984 SOS 8880 HAS SOPS 8868 HAS SOUS 2496 HAS SOUPS 2487 WITH SCORE 2495.88
AT ITER 1096 NEW BEST:: SOT 15972 SOS 8856 HAS SOPS 8844 HAS SOUS 2471 HAS SOUPS 2462 WITH SCORE 2470.856
AT ITER 1098 NEW BEST:: SOT 16009 SOS 8893 HAS SOPS 8881 HAS SOUS 2465 HAS SOUPS 2456 WITH SCORE 2464.893
AT ITER 1130 NEW BEST:: SOT 15985 SOS 8847 HAS SOPS 8835 HAS SOUS 2441 HAS SOUPS 2432 WITH SCORE 2440.847
AT ITER 1131 NEW BEST:: SOT 15971 SOS 8833 HAS SOPS 8821 HAS SOUS 2439 HAS SOUPS 2430 WITH SCORE 2438.833
AT ITER 1142 NEW BEST:: SOT 15971 SOS 8831 HAS SOPS 8819 HAS SOUS 2435 HAS SOUPS 2426 WITH SCORE 2434.831
AT ITER 1145 NEW BEST:: SOT 15966 SOS 8826 HAS SOPS 8814 HAS SOUS 2429 HAS SOUPS 2420 WITH SCORE 2428.826
AT ITER 1163 NEW BEST:: SOT 15981 SOS 8841 HAS SOPS 8829 HAS SOUS 2428 HAS SOUPS 2419 WITH SCORE 2427.841
AT ITER 1168 NEW BEST:: SOT 15983 SOS 8843 HAS SOPS 8831 HAS SOUS 2424 HAS SOUPS 2415 WITH SCORE 2423.843
AT ITER 1190 NEW BEST:: SOT 15980 SOS 8837 HAS SOPS 8825 HAS SOUS 2424 HAS SOUPS 2415 WITH SCORE 2423.837
AT ITER 1194 NEW BEST:: SOT 15980 SOS 8837 HAS SOPS 8825 HAS SOUS 2423 HAS SOUPS 2414 WITH SCORE 2422.837
AT ITER 1202 NEW BEST:: SOT 15966 SOS 8823 HAS SOPS 8811 HAS SOUS 2405 HAS SOUPS 2396 WITH SCORE 2404.823
AT ITER 1204 NEW BEST:: SOT 15946 SOS 8790 HAS SOPS 8778 HAS SOUS 2390 HAS SOUPS 2381 WITH SCORE 2389.79
AT ITER 1214 NEW BEST:: SOT 15947 SOS 8791 HAS SOPS 8779 HAS SOUS 2387 HAS SOUPS 2378 WITH SCORE 2386.791
AT ITER 1221 NEW BEST:: SOT 15946 SOS 8787 HAS SOPS 8775 HAS SOUS 2386 HAS SOUPS 2377 WITH SCORE 2385.787
AT ITER 1231 NEW BEST:: SOT 15939 SOS 8773 HAS SOPS 8761 HAS SOUS 2374 HAS SOUPS 2365 WITH SCORE 2373.773
AT ITER 1232 NEW BEST:: SOT 15924 SOS 8758 HAS SOPS 8746 HAS SOUS 2366 HAS SOUPS 2357 WITH SCORE 2365.758
AT ITER 1259 NEW BEST:: SOT 15897 SOS 8710 HAS SOPS 8698 HAS SOUS 2328 HAS SOUPS 2319 WITH SCORE 2327.71
AT ITER 1268 NEW BEST:: SOT 15883 SOS 8682 HAS SOPS 8670 HAS SOUS 2321 HAS SOUPS 2312 WITH SCORE 2320.682
AT ITER 1287 NEW BEST:: SOT 15879 SOS 8662 HAS SOPS 8650 HAS SOUS 2315 HAS SOUPS 2306 WITH SCORE 2314.662
AT ITER 1293 NEW BEST:: SOT 15873 SOS 8654 HAS SOPS 8642 HAS SOUS 2306 HAS SOUPS 2297 WITH SCORE 2305.654
AT ITER 1313 NEW BEST:: SOT 15880 SOS 8518 HAS SOPS 8506 HAS SOUS 2303 HAS SOUPS 2294 WITH SCORE 2302.518
AT ITER 1335 NEW BEST:: SOT 15882 SOS 8520 HAS SOPS 8508 HAS SOUS 2297 HAS SOUPS 2288 WITH SCORE 2296.52
AT ITER 1339 NEW BEST:: SOT 15867 SOS 8505 HAS SOPS 8493 HAS SOUS 2282 HAS SOUPS 2273 WITH SCORE 2281.505
AT ITER 1359 NEW BEST:: SOT 15868 SOS 8506 HAS SOPS 8494 HAS SOUS 2280 HAS SOUPS 2271 WITH SCORE 2279.506
AT ITER 1380 NEW BEST:: SOT 15868 SOS 8506 HAS SOPS 8494 HAS SOUS 2245 HAS SOUPS 2236 WITH SCORE 2244.506
AT ITER 1386 NEW BEST:: SOT 15870 SOS 8506 HAS SOPS 8494 HAS SOUS 2243 HAS SOUPS 2234 WITH SCORE 2242.506
AT ITER 1387 NEW BEST:: SOT 15863 SOS 8447 HAS SOPS 8435 HAS SOUS 2213 HAS SOUPS 2204 WITH SCORE 2212.447
AT ITER 1412 NEW BEST:: SOT 15859 SOS 8443 HAS SOPS 8431 HAS SOUS 2211 HAS SOUPS 2202 WITH SCORE 2210.443
AT ITER 1417 NEW BEST:: SOT 15847 SOS 8410 HAS SOPS 8398 HAS SOUS 2188 HAS SOUPS 2179 WITH SCORE 2187.41
AT ITER 1430 NEW BEST:: SOT 15847 SOS 8410 HAS SOPS 8398 HAS SOUS 2187 HAS SOUPS 2178 WITH SCORE 2186.41
AT ITER 1480 NEW BEST:: SOT 15836 SOS 8108 HAS SOPS 8096 HAS SOUS 2176 HAS SOUPS 2167 WITH SCORE 2175.108
AT ITER 1482 NEW BEST:: SOT 15834 SOS 8108 HAS SOPS 8096 HAS SOUS 2175 HAS SOUPS 2166 WITH SCORE 2174.108
AT ITER 1525 NEW BEST:: SOT 15825 SOS 8099 HAS SOPS 8087 HAS SOUS 2166 HAS SOUPS 2157 WITH SCORE 2165.099
AT ITER 1587 NEW BEST:: SOT 15822 SOS 8096 HAS SOPS 8084 HAS SOUS 2166 HAS SOUPS 2157 WITH SCORE 2165.096
AT ITER 1603 NEW BEST:: SOT 15816 SOS 8072 HAS SOPS 8060 HAS SOUS 2148 HAS SOUPS 2139 WITH SCORE 2147.072
AT ITER 1667 NEW BEST:: SOT 15801 SOS 8057 HAS SOPS 8045 HAS SOUS 2141 HAS SOUPS 2132 WITH SCORE 2140.057
AT ITER 1704 NEW BEST:: SOT 15808 SOS 8064 HAS SOPS 8052 HAS SOUS 2138 HAS SOUPS 2129 WITH SCORE 2137.064
AT ITER 1751 NEW BEST:: SOT 15809 SOS 8065 HAS SOPS 8053 HAS SOUS 2135 HAS SOUPS 2126 WITH SCORE 2134.065
AT ITER 1774 NEW BEST:: SOT 15808 SOS 8064 HAS SOPS 8052 HAS SOUS 2133 HAS SOUPS 2124 WITH SCORE 2132.064
AT ITER 1780 NEW BEST:: SOT 15807 SOS 8054 HAS SOPS 8042 HAS SOUS 2112 HAS SOUPS 2103 WITH SCORE 2111.054
AT ITER 1809 NEW BEST:: SOT 15810 SOS 8193 HAS SOPS 8181 HAS SOUS 2111 HAS SOUPS 2102 WITH SCORE 2110.193
AT ITER 1816 NEW BEST:: SOT 15806 SOS 8186 HAS SOPS 8174 HAS SOUS 2108 HAS SOUPS 2099 WITH SCORE 2107.186
AT ITER 1861 NEW BEST:: SOT 15805 SOS 8185 HAS SOPS 8173 HAS SOUS 2108 HAS SOUPS 2099 WITH SCORE 2107.185
AT ITER 1900 NEW BEST:: SOT 15804 SOS 8574 HAS SOPS 8562 HAS SOUS 2102 HAS SOUPS 2093 WITH SCORE 2101.574
AT ITER 1950 NEW BEST:: SOT 15782 SOS 8539 HAS SOPS 8527 HAS SOUS 2097 HAS SOUPS 2088 WITH SCORE 2096.539
AT ITER 1962 NEW BEST:: SOT 15780 SOS 8537 HAS SOPS 8525 HAS SOUS 2093 HAS SOUPS 2084 WITH SCORE 2092.537
AT ITER 1974 NEW BEST:: SOT 15776 SOS 8535 HAS SOPS 8523 HAS SOUS 2093 HAS SOUPS 2084 WITH SCORE 2092.535
AT ITER 2022 NEW BEST:: SOT 15770 SOS 8526 HAS SOPS 8514 HAS SOUS 2087 HAS SOUPS 2078 WITH SCORE 2086.526
AT ITER 2028 NEW BEST:: SOT 15760 SOS 8516 HAS SOPS 8504 HAS SOUS 2082 HAS SOUPS 2073 WITH SCORE 2081.516
AT ITER 2059 NEW BEST:: SOT 15757 SOS 8513 HAS SOPS 8501 HAS SOUS 2080 HAS SOUPS 2071 WITH SCORE 2079.513
AT ITER 2072 NEW BEST:: SOT 15755 SOS 8468 HAS SOPS 8456 HAS SOUS 2051 HAS SOUPS 2042 WITH SCORE 2050.468
AT ITER 2073 NEW BEST:: SOT 15752 SOS 8465 HAS SOPS 8453 HAS SOUS 2048 HAS SOUPS 2039 WITH SCORE 2047.465
AT ITER 2178 NEW BEST:: SOT 15754 SOS 8467 HAS SOPS 8455 HAS SOUS 2043 HAS SOUPS 2034 WITH SCORE 2042.467
AT ITER 2192 NEW BEST:: SOT 15747 SOS 8442 HAS SOPS 8430 HAS SOUS 2036 HAS SOUPS 2027 WITH SCORE 2035.442
AT ITER 2225 NEW BEST:: SOT 15747 SOS 8442 HAS SOPS 8430 HAS SOUS 2028 HAS SOUPS 2019 WITH SCORE 2027.442
AT ITER 2251 NEW BEST:: SOT 15738 SOS 8409 HAS SOPS 8397 HAS SOUS 2028 HAS SOUPS 2019 WITH SCORE 2027.409
AT ITER 2323 NEW BEST:: SOT 15736 SOS 8407 HAS SOPS 8395 HAS SOUS 2026 HAS SOUPS 2017 WITH SCORE 2025.407
AT ITER 2339 NEW BEST:: SOT 15736 SOS 8407 HAS SOPS 8395 HAS SOUS 2025 HAS SOUPS 2016 WITH SCORE 2024.407
AT ITER 2359 NEW BEST:: SOT 15736 SOS 8407 HAS SOPS 8395 HAS SOUS 2023 HAS SOUPS 2014 WITH SCORE 2022.407
AT ITER 2415 NEW BEST:: SOT 15735 SOS 8406 HAS SOPS 8394 HAS SOUS 2018 HAS SOUPS 2009 WITH SCORE 2017.406
AT ITER 2421 NEW BEST:: SOT 15740 SOS 8411 HAS SOPS 8399 HAS SOUS 2015 HAS SOUPS 2006 WITH SCORE 2014.411
AT ITER 2424 NEW BEST:: SOT 15724 SOS 8395 HAS SOPS 8383 HAS SOUS 1999 HAS SOUPS 1990 WITH SCORE 1998.395
AT ITER 2511 NEW BEST:: SOT 15726 SOS 8397 HAS SOPS 8385 HAS SOUS 1996 HAS SOUPS 1987 WITH SCORE 1995.397
AT ITER 2580 NEW BEST:: SOT 15719 SOS 8376 HAS SOPS 8364 HAS SOUS 1989 HAS SOUPS 1980 WITH SCORE 1988.376
AT ITER 2599 NEW BEST:: SOT 15717 SOS 8374 HAS SOPS 8362 HAS SOUS 1986 HAS SOUPS 1977 WITH SCORE 1985.374
AT ITER 2678 NEW BEST:: SOT 15716 SOS 8371 HAS SOPS 8359 HAS SOUS 1984 HAS SOUPS 1975 WITH SCORE 1983.371
AT ITER 2704 NEW BEST:: SOT 15713 SOS 8374 HAS SOPS 8362 HAS SOUS 1981 HAS SOUPS 1972 WITH SCORE 1980.374
AT ITER 2733 NEW BEST:: SOT 15714 SOS 8375 HAS SOPS 8363 HAS SOUS 1977 HAS SOUPS 1968 WITH SCORE 1976.375
AT ITER 2783 NEW BEST:: SOT 15724 SOS 8395 HAS SOPS 8383 HAS SOUS 1972 HAS SOUPS 1963 WITH SCORE 1971.395
AT ITER 2818 NEW BEST:: SOT 15700 SOS 8348 HAS SOPS 8336 HAS SOUS 1951 HAS SOUPS 1942 WITH SCORE 1950.348
AT ITER 2843 NEW BEST:: SOT 15699 SOS 8347 HAS SOPS 8335 HAS SOUS 1951 HAS SOUPS 1942 WITH SCORE 1950.347
AT ITER 2865 NEW BEST:: SOT 15698 SOS 8346 HAS SOPS 8334 HAS SOUS 1950 HAS SOUPS 1941 WITH SCORE 1949.346
AT ITER 2873 NEW BEST:: SOT 15693 SOS 8341 HAS SOPS 8329 HAS SOUS 1945 HAS SOUPS 1936 WITH SCORE 1944.341
AT ITER 2881 NEW BEST:: SOT 15695 SOS 8343 HAS SOPS 8331 HAS SOUS 1944 HAS SOUPS 1935 WITH SCORE 1943.343
AT ITER 2885 NEW BEST:: SOT 15693 SOS 8343 HAS SOPS 8331 HAS SOUS 1942 HAS SOUPS 1933 WITH SCORE 1941.343
AT ITER 2891 NEW BEST:: SOT 15693 SOS 8343 HAS SOPS 8331 HAS SOUS 1939 HAS SOUPS 1930 WITH SCORE 1938.343
AT ITER 2908 NEW BEST:: SOT 15691 SOS 8335 HAS SOPS 8323 HAS SOUS 1938 HAS SOUPS 1929 WITH SCORE 1937.335
AT ITER 2935 NEW BEST:: SOT 15691 SOS 8305 HAS SOPS 8293 HAS SOUS 1937 HAS SOUPS 1928 WITH SCORE 1936.305
AT ITER 2976 NEW BEST:: SOT 15693 SOS 8311 HAS SOPS 8299 HAS SOUS 1934 HAS SOUPS 1925 WITH SCORE 1933.311
AT ITER 3164 NEW BEST:: SOT 15692 SOS 8309 HAS SOPS 8297 HAS SOUS 1934 HAS SOUPS 1925 WITH SCORE 1933.309
AT ITER 3180 NEW BEST:: SOT 15693 SOS 8163 HAS SOPS 8151 HAS SOUS 1934 HAS SOUPS 1925 WITH SCORE 1933.163
AT ITER 3262 NEW BEST:: SOT 15689 SOS 8189 HAS SOPS 8177 HAS SOUS 1933 HAS SOUPS 1924 WITH SCORE 1932.189
AT ITER 3278 NEW BEST:: SOT 15697 SOS 8201 HAS SOPS 8189 HAS SOUS 1932 HAS SOUPS 1923 WITH SCORE 1931.201
AT ITER 3333 NEW BEST:: SOT 15696 SOS 8200 HAS SOPS 8188 HAS SOUS 1930 HAS SOUPS 1921 WITH SCORE 1929.2
AT ITER 3364 NEW BEST:: SOT 15689 SOS 8193 HAS SOPS 8181 HAS SOUS 1916 HAS SOUPS 1907 WITH SCORE 1915.193
AT ITER 3365 NEW BEST:: SOT 15690 SOS 8194 HAS SOPS 8182 HAS SOUS 1913 HAS SOUPS 1904 WITH SCORE 1912.194
AT ITER 3434 NEW BEST:: SOT 15712 SOS 8216 HAS SOPS 8204 HAS SOUS 1906 HAS SOUPS 1897 WITH SCORE 1905.216
AT ITER 3539 NEW BEST:: SOT 15712 SOS 8216 HAS SOPS 8204 HAS SOUS 1901 HAS SOUPS 1892 WITH SCORE 1900.216
AT ITER 3540 NEW BEST:: SOT 15710 SOS 8213 HAS SOPS 8201 HAS SOUS 1899 HAS SOUPS 1890 WITH SCORE 1898.213
AT ITER 3551 NEW BEST:: SOT 15709 SOS 8212 HAS SOPS 8200 HAS SOUS 1897 HAS SOUPS 1888 WITH SCORE 1896.212
AT ITER 3592 NEW BEST:: SOT 15708 SOS 8211 HAS SOPS 8199 HAS SOUS 1896 HAS SOUPS 1887 WITH SCORE 1895.211
AT ITER 3616 NEW BEST:: SOT 15708 SOS 8209 HAS SOPS 8197 HAS SOUS 1893 HAS SOUPS 1884 WITH SCORE 1892.209
AT ITER 3658 NEW BEST:: SOT 15705 SOS 8206 HAS SOPS 8194 HAS SOUS 1891 HAS SOUPS 1882 WITH SCORE 1890.206
AT ITER 3675 NEW BEST:: SOT 15716 SOS 8209 HAS SOPS 8197 HAS SOUS 1886 HAS SOUPS 1877 WITH SCORE 1885.209
AT ITER 3680 NEW BEST:: SOT 15706 SOS 8199 HAS SOPS 8187 HAS SOUS 1886 HAS SOUPS 1877 WITH SCORE 1885.199
AT ITER 3733 NEW BEST:: SOT 15703 SOS 8196 HAS SOPS 8184 HAS SOUS 1885 HAS SOUPS 1876 WITH SCORE 1884.196
AT ITER 3846 NEW BEST:: SOT 15702 SOS 8195 HAS SOPS 8183 HAS SOUS 1885 HAS SOUPS 1876 WITH SCORE 1884.195
AT ITER 3926 NEW BEST:: SOT 15696 SOS 8183 HAS SOPS 8171 HAS SOUS 1879 HAS SOUPS 1870 WITH SCORE 1878.183
AT ITER 3980 NEW BEST:: SOT 15696 SOS 8183 HAS SOPS 8171 HAS SOUS 1878 HAS SOUPS 1869 WITH SCORE 1877.183
AT ITER 3988 NEW BEST:: SOT 15695 SOS 8182 HAS SOPS 8170 HAS SOUS 1878 HAS SOUPS 1869 WITH SCORE 1877.182
AT ITER 3989 NEW BEST:: SOT 15697 SOS 8184 HAS SOPS 8172 HAS SOUS 1872 HAS SOUPS 1863 WITH SCORE 1871.184
AT ITER 3993 NEW BEST:: SOT 15698 SOS 8185 HAS SOPS 8173 HAS SOUS 1870 HAS SOUPS 1861 WITH SCORE 1869.185
AT ITER 3996 NEW BEST:: SOT 15694 SOS 8181 HAS SOPS 8169 HAS SOUS 1864 HAS SOUPS 1855 WITH SCORE 1863.181
AT ITER 4076 NEW BEST:: SOT 15696 SOS 8185 HAS SOPS 8173 HAS SOUS 1854 HAS SOUPS 1845 WITH SCORE 1853.185
AT ITER 4083 NEW BEST:: SOT 15681 SOS 8168 HAS SOPS 8156 HAS SOUS 1851 HAS SOUPS 1842 WITH SCORE 1850.168
AT ITER 4086 NEW BEST:: SOT 15681 SOS 8168 HAS SOPS 8156 HAS SOUS 1848 HAS SOUPS 1839 WITH SCORE 1847.168
AT ITER 4105 NEW BEST:: SOT 15679 SOS 8166 HAS SOPS 8154 HAS SOUS 1846 HAS SOUPS 1837 WITH SCORE 1845.166
AT ITER 4115 NEW BEST:: SOT 15679 SOS 8163 HAS SOPS 8151 HAS SOUS 1844 HAS SOUPS 1835 WITH SCORE 1843.163
AT ITER 4117 NEW BEST:: SOT 15679 SOS 8182 HAS SOPS 8170 HAS SOUS 1843 HAS SOUPS 1834 WITH SCORE 1842.182
AT ITER 4130 NEW BEST:: SOT 15680 SOS 8183 HAS SOPS 8171 HAS SOUS 1842 HAS SOUPS 1833 WITH SCORE 1841.183
AT ITER 4138 NEW BEST:: SOT 15679 SOS 8182 HAS SOPS 8170 HAS SOUS 1841 HAS SOUPS 1832 WITH SCORE 1840.182
AT ITER 4344 NEW BEST:: SOT 15664 SOS 8167 HAS SOPS 8155 HAS SOUS 1826 HAS SOUPS 1817 WITH SCORE 1825.167
AT ITER 4355 NEW BEST:: SOT 15671 SOS 8183 HAS SOPS 8171 HAS SOUS 1822 HAS SOUPS 1813 WITH SCORE 1821.183
AT ITER 4387 NEW BEST:: SOT 15667 SOS 8179 HAS SOPS 8167 HAS SOUS 1822 HAS SOUPS 1813 WITH SCORE 1821.179
AT ITER 4390 NEW BEST:: SOT 15666 SOS 8178 HAS SOPS 8166 HAS SOUS 1822 HAS SOUPS 1813 WITH SCORE 1821.178
AT ITER 4392 NEW BEST:: SOT 15664 SOS 8176 HAS SOPS 8164 HAS SOUS 1820 HAS SOUPS 1811 WITH SCORE 1819.176
AT ITER 4407 NEW BEST:: SOT 15661 SOS 8173 HAS SOPS 8161 HAS SOUS 1818 HAS SOUPS 1809 WITH SCORE 1817.173
AT ITER 4415 NEW BEST:: SOT 15663 SOS 8169 HAS SOPS 8157 HAS SOUS 1797 HAS SOUPS 1788 WITH SCORE 1796.169
AT ITER 4433 NEW BEST:: SOT 15656 SOS 8162 HAS SOPS 8150 HAS SOUS 1796 HAS SOUPS 1787 WITH SCORE 1795.162
AT ITER 4467 NEW BEST:: SOT 15655 SOS 8161 HAS SOPS 8149 HAS SOUS 1794 HAS SOUPS 1785 WITH SCORE 1793.161
AT ITER 4601 NEW BEST:: SOT 15654 SOS 8160 HAS SOPS 8148 HAS SOUS 1793 HAS SOUPS 1784 WITH SCORE 1792.16
AT ITER 4632 NEW BEST:: SOT 15653 SOS 8159 HAS SOPS 8147 HAS SOUS 1792 HAS SOUPS 1783 WITH SCORE 1791.159
AT ITER 4663 NEW BEST:: SOT 15652 SOS 8132 HAS SOPS 8120 HAS SOUS 1791 HAS SOUPS 1782 WITH SCORE 1790.132
AT ITER 4703 NEW BEST:: SOT 15655 SOS 8135 HAS SOPS 8123 HAS SOUS 1790 HAS SOUPS 1781 WITH SCORE 1789.135
AT ITER 4715 NEW BEST:: SOT 15653 SOS 8133 HAS SOPS 8121 HAS SOUS 1788 HAS SOUPS 1779 WITH SCORE 1787.133
AT ITER 4732 NEW BEST:: SOT 15652 SOS 8131 HAS SOPS 8119 HAS SOUS 1787 HAS SOUPS 1778 WITH SCORE 1786.131
AT ITER 4749 NEW BEST:: SOT 15651 SOS 8115 HAS SOPS 8103 HAS SOUS 1787 HAS SOUPS 1778 WITH SCORE 1786.115
AT ITER 4754 NEW BEST:: SOT 15651 SOS 8115 HAS SOPS 8103 HAS SOUS 1782 HAS SOUPS 1773 WITH SCORE 1781.115
AT ITER 4770 NEW BEST:: SOT 15650 SOS 8114 HAS SOPS 8102 HAS SOUS 1776 HAS SOUPS 1767 WITH SCORE 1775.114
AT ITER 4773 NEW BEST:: SOT 15653 SOS 8114 HAS SOPS 8102 HAS SOUS 1774 HAS SOUPS 1765 WITH SCORE 1773.114
AT ITER 4797 NEW BEST:: SOT 15651 SOS 8112 HAS SOPS 8100 HAS SOUS 1767 HAS SOUPS 1758 WITH SCORE 1766.112
AT ITER 4876 NEW BEST:: SOT 15652 SOS 8113 HAS SOPS 8101 HAS SOUS 1766 HAS SOUPS 1757 WITH SCORE 1765.113
AT ITER 4887 NEW BEST:: SOT 15652 SOS 8113 HAS SOPS 8101 HAS SOUS 1764 HAS SOUPS 1755 WITH SCORE 1763.113
AT ITER 4994 NEW BEST:: SOT 15641 SOS 8095 HAS SOPS 8083 HAS SOUS 1742 HAS SOUPS 1733 WITH SCORE 1741.095
AT ITER 5080 NEW BEST:: SOT 15635 SOS 8089 HAS SOPS 8077 HAS SOUS 1741 HAS SOUPS 1732 WITH SCORE 1740.089
AT ITER 5082 NEW BEST:: SOT 15633 SOS 8087 HAS SOPS 8075 HAS SOUS 1739 HAS SOUPS 1730 WITH SCORE 1738.087
AT ITER 5098 NEW BEST:: SOT 15632 SOS 8085 HAS SOPS 8073 HAS SOUS 1739 HAS SOUPS 1730 WITH SCORE 1738.085
AT ITER 5119 NEW BEST:: SOT 15626 SOS 8077 HAS SOPS 8065 HAS SOUS 1735 HAS SOUPS 1726 WITH SCORE 1734.077
AT ITER 5130 NEW BEST:: SOT 15625 SOS 8076 HAS SOPS 8064 HAS SOUS 1734 HAS SOUPS 1725 WITH SCORE 1733.076
AT ITER 5160 NEW BEST:: SOT 15630 SOS 8071 HAS SOPS 8059 HAS SOUS 1734 HAS SOUPS 1725 WITH SCORE 1733.071
AT ITER 5219 NEW BEST:: SOT 15630 SOS 8072 HAS SOPS 8060 HAS SOUS 1733 HAS SOUPS 1724 WITH SCORE 1732.072
AT ITER 5221 NEW BEST:: SOT 15630 SOS 8071 HAS SOPS 8059 HAS SOUS 1732 HAS SOUPS 1723 WITH SCORE 1731.071
AT ITER 5226 NEW BEST:: SOT 15634 SOS 8075 HAS SOPS 8063 HAS SOUS 1730 HAS SOUPS 1721 WITH SCORE 1729.075
AT ITER 5276 NEW BEST:: SOT 15634 SOS 8075 HAS SOPS 8063 HAS SOUS 1728 HAS SOUPS 1719 WITH SCORE 1727.075
AT ITER 5296 NEW BEST:: SOT 15640 SOS 8081 HAS SOPS 8069 HAS SOUS 1726 HAS SOUPS 1717 WITH SCORE 1725.081
AT ITER 5328 NEW BEST:: SOT 15643 SOS 8092 HAS SOPS 8080 HAS SOUS 1725 HAS SOUPS 1716 WITH SCORE 1724.092
AT ITER 5368 NEW BEST:: SOT 15641 SOS 8097 HAS SOPS 8085 HAS SOUS 1724 HAS SOUPS 1715 WITH SCORE 1723.097
AT ITER 5466 NEW BEST:: SOT 15638 SOS 8091 HAS SOPS 8079 HAS SOUS 1724 HAS SOUPS 1715 WITH SCORE 1723.091
AT ITER 5522 NEW BEST:: SOT 15637 SOS 8087 HAS SOPS 8075 HAS SOUS 1722 HAS SOUPS 1713 WITH SCORE 1721.087
AT ITER 5529 NEW BEST:: SOT 15637 SOS 8086 HAS SOPS 8074 HAS SOUS 1721 HAS SOUPS 1712 WITH SCORE 1720.086
AT ITER 5697 NEW BEST:: SOT 15636 SOS 8085 HAS SOPS 8073 HAS SOUS 1719 HAS SOUPS 1710 WITH SCORE 1718.085
AT ITER 5813 NEW BEST:: SOT 15631 SOS 8081 HAS SOPS 8069 HAS SOUS 1718 HAS SOUPS 1709 WITH SCORE 1717.081
AT ITER 5837 NEW BEST:: SOT 15631 SOS 8081 HAS SOPS 8069 HAS SOUS 1717 HAS SOUPS 1708 WITH SCORE 1716.081
AT ITER 5983 NEW BEST:: SOT 15625 SOS 8069 HAS SOPS 8057 HAS SOUS 1716 HAS SOUPS 1707 WITH SCORE 1715.069
AT ITER 6145 NEW BEST:: SOT 15625 SOS 8069 HAS SOPS 8057 HAS SOUS 1710 HAS SOUPS 1701 WITH SCORE 1709.069
AT ITER 6229 NEW BEST:: SOT 15620 SOS 8064 HAS SOPS 8052 HAS SOUS 1710 HAS SOUPS 1701 WITH SCORE 1709.064
AT ITER 6258 NEW BEST:: SOT 15614 SOS 8058 HAS SOPS 8046 HAS SOUS 1710 HAS SOUPS 1701 WITH SCORE 1709.058
AT ITER 6289 NEW BEST:: SOT 15620 SOS 8067 HAS SOPS 8055 HAS SOUS 1708 HAS SOUPS 1699 WITH SCORE 1707.067
AT ITER 6327 NEW BEST:: SOT 15618 SOS 8065 HAS SOPS 8053 HAS SOUS 1707 HAS SOUPS 1698 WITH SCORE 1706.065
AT ITER 6483 NEW BEST:: SOT 15618 SOS 8065 HAS SOPS 8053 HAS SOUS 1705 HAS SOUPS 1696 WITH SCORE 1704.065
AT ITER 6529 NEW BEST:: SOT 15617 SOS 8064 HAS SOPS 8052 HAS SOUS 1704 HAS SOUPS 1695 WITH SCORE 1703.064
AT ITER 6659 NEW BEST:: SOT 15614 SOS 8056 HAS SOPS 8044 HAS SOUS 1704 HAS SOUPS 1695 WITH SCORE 1703.056
AT ITER 6806 NEW BEST:: SOT 15612 SOS 8061 HAS SOPS 8049 HAS SOUS 1692 HAS SOUPS 1683 WITH SCORE 1691.061
AT ITER 6829 NEW BEST:: SOT 15612 SOS 8055 HAS SOPS 8043 HAS SOUS 1689 HAS SOUPS 1680 WITH SCORE 1688.055
AT ITER 6864 NEW BEST:: SOT 15610 SOS 8051 HAS SOPS 8039 HAS SOUS 1689 HAS SOUPS 1680 WITH SCORE 1688.051
AT ITER 6926 NEW BEST:: SOT 15610 SOS 8051 HAS SOPS 8039 HAS SOUS 1684 HAS SOUPS 1675 WITH SCORE 1683.051
AT ITER 7027 NEW BEST:: SOT 15611 SOS 8051 HAS SOPS 8039 HAS SOUS 1679 HAS SOUPS 1670 WITH SCORE 1678.051
AT ITER 7121 NEW BEST:: SOT 15616 SOS 8056 HAS SOPS 8044 HAS SOUS 1678 HAS SOUPS 1669 WITH SCORE 1677.056
AT ITER 7461 NEW BEST:: SOT 15616 SOS 8055 HAS SOPS 8043 HAS SOUS 1677 HAS SOUPS 1668 WITH SCORE 1676.055
AT ITER 7611 NEW BEST:: SOT 15615 SOS 8040 HAS SOPS 8028 HAS SOUS 1676 HAS SOUPS 1667 WITH SCORE 1675.04
AT ITER 7639 NEW BEST:: SOT 15614 SOS 8037 HAS SOPS 8025 HAS SOUS 1675 HAS SOUPS 1666 WITH SCORE 1674.037
AT ITER 7656 NEW BEST:: SOT 15612 SOS 8033 HAS SOPS 8021 HAS SOUS 1672 HAS SOUPS 1663 WITH SCORE 1671.033
AT ITER 7723 NEW BEST:: SOT 15614 SOS 8035 HAS SOPS 8023 HAS SOUS 1671 HAS SOUPS 1662 WITH SCORE 1670.035
AT ITER 7764 NEW BEST:: SOT 15613 SOS 8030 HAS SOPS 8018 HAS SOUS 1667 HAS SOUPS 1658 WITH SCORE 1666.03
AT ITER 7846 NEW BEST:: SOT 15612 SOS 8028 HAS SOPS 8016 HAS SOUS 1667 HAS SOUPS 1658 WITH SCORE 1666.028
AT ITER 7876 NEW BEST:: SOT 15606 SOS 8015 HAS SOPS 8003 HAS SOUS 1662 HAS SOUPS 1653 WITH SCORE 1661.015
AT ITER 7930 NEW BEST:: SOT 15606 SOS 8015 HAS SOPS 8003 HAS SOUS 1661 HAS SOUPS 1652 WITH SCORE 1660.015
AT ITER 8016 NEW BEST:: SOT 15598 SOS 8002 HAS SOPS 7990 HAS SOUS 1652 HAS SOUPS 1643 WITH SCORE 1651.002
AT ITER 8490 NEW BEST:: SOT 15597 SOS 8001 HAS SOPS 7989 HAS SOUS 1651 HAS SOUPS 1642 WITH SCORE 1650.001
AT ITER 8735 NEW BEST:: SOT 15596 SOS 8000 HAS SOPS 7988 HAS SOUS 1649 HAS SOUPS 1640 WITH SCORE 1648.0
AT ITER 8773 NEW BEST:: SOT 15593 SOS 7997 HAS SOPS 7985 HAS SOUS 1645 HAS SOUPS 1636 WITH SCORE 1643.997
AT ITER 9014 NEW BEST:: SOT 15591 SOS 7995 HAS SOPS 7983 HAS SOUS 1644 HAS SOUPS 1635 WITH SCORE 1642.995
AT ITER 9132 NEW BEST:: SOT 15592 SOS 7994 HAS SOPS 7982 HAS SOUS 1643 HAS SOUPS 1634 WITH SCORE 1641.994
AT ITER 9399 NEW BEST:: SOT 15591 SOS 7993 HAS SOPS 7981 HAS SOUS 1642 HAS SOUPS 1633 WITH SCORE 1640.993
AT ITER 9431 NEW BEST:: SOT 15591 SOS 7993 HAS SOPS 7981 HAS SOUS 1641 HAS SOUPS 1632 WITH SCORE 1639.993
AT ITER 9571 NEW BEST:: SOT 15591 SOS 7993 HAS SOPS 7981 HAS SOUS 1639 HAS SOUPS 1630 WITH SCORE 1637.993
AT ITER 9629 NEW BEST:: SOT 15590 SOS 7992 HAS SOPS 7980 HAS SOUS 1639 HAS SOUPS 1630 WITH SCORE 1637.992
AT ITER 9709 NEW BEST:: SOT 15590 SOS 7992 HAS SOPS 7980 HAS SOUS 1635 HAS SOUPS 1626 WITH SCORE 1633.992
AT ITER 9756 NEW BEST:: SOT 15587 SOS 7985 HAS SOPS 7973 HAS SOUS 1631 HAS SOUPS 1622 WITH SCORE 1629.985
AT ITER 9802 NEW BEST:: SOT 15587 SOS 7987 HAS SOPS 7975 HAS SOUS 1630 HAS SOUPS 1621 WITH SCORE 1628.987
AT ITER 9974 NEW BEST:: SOT 15586 SOS 7986 HAS SOPS 7974 HAS SOUS 1625 HAS SOUPS 1616 WITH SCORE 1623.986
STATE_SPACE STATES 7275568 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 85714349 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678577338518

--------------------
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:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ 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="HealthRecord-PT-04"
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 HealthRecord-PT-04, 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 r203-smll-167840349300264"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/HealthRecord-PT-04.tgz
mv HealthRecord-PT-04 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;