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-167840342200264.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-04, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r195-smll-167840342200264
=====================================================================

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

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-04
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HealthRecord (PT), instance 04
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: 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 21284 SOS 11737 HAS SOPS 11725 HAS SOUS 7112 HAS SOUPS 7103 WITH SCORE 7114.737
AT ITER 5 NEW BEST:: SOT 21195 SOS 11576 HAS SOPS 11564 HAS SOUS 7043 HAS SOUPS 7034 WITH SCORE 7045.576
AT ITER 6 NEW BEST:: SOT 21115 SOS 11516 HAS SOPS 11504 HAS SOUS 7029 HAS SOUPS 7020 WITH SCORE 7031.516
AT ITER 7 NEW BEST:: SOT 21028 SOS 11371 HAS SOPS 11359 HAS SOUS 6988 HAS SOUPS 6979 WITH SCORE 6990.371
AT ITER 9 NEW BEST:: SOT 20998 SOS 11341 HAS SOPS 11329 HAS SOUS 6987 HAS SOUPS 6978 WITH SCORE 6989.341
AT ITER 11 NEW BEST:: SOT 20830 SOS 11185 HAS SOPS 11173 HAS SOUS 6938 HAS SOUPS 6929 WITH SCORE 6940.185
AT ITER 13 NEW BEST:: SOT 19414 SOS 11034 HAS SOPS 11022 HAS SOUS 6033 HAS SOUPS 6024 WITH SCORE 6035.034
AT ITER 15 NEW BEST:: SOT 19359 SOS 10978 HAS SOPS 10966 HAS SOUS 6032 HAS SOUPS 6023 WITH SCORE 6033.978
AT ITER 16 NEW BEST:: SOT 19280 SOS 10701 HAS SOPS 10689 HAS SOUS 6010 HAS SOUPS 6001 WITH SCORE 6011.701
AT ITER 17 NEW BEST:: SOT 19281 SOS 10706 HAS SOPS 10694 HAS SOUS 5974 HAS SOUPS 5965 WITH SCORE 5975.706
AT ITER 25 NEW BEST:: SOT 19239 SOS 10580 HAS SOPS 10568 HAS SOUS 5903 HAS SOUPS 5894 WITH SCORE 5904.58
AT ITER 26 NEW BEST:: SOT 19035 SOS 10348 HAS SOPS 10336 HAS SOUS 5829 HAS SOUPS 5820 WITH SCORE 5830.348
AT ITER 28 NEW BEST:: SOT 19052 SOS 10398 HAS SOPS 10386 HAS SOUS 5828 HAS SOUPS 5819 WITH SCORE 5829.398
AT ITER 31 NEW BEST:: SOT 19034 SOS 10362 HAS SOPS 10350 HAS SOUS 5819 HAS SOUPS 5810 WITH SCORE 5820.362
AT ITER 35 NEW BEST:: SOT 18986 SOS 10266 HAS SOPS 10254 HAS SOUS 5819 HAS SOUPS 5810 WITH SCORE 5820.266
AT ITER 36 NEW BEST:: SOT 18887 SOS 10350 HAS SOPS 10338 HAS SOUS 5816 HAS SOUPS 5807 WITH SCORE 5817.35
AT ITER 42 NEW BEST:: SOT 18390 SOS 10247 HAS SOPS 10235 HAS SOUS 5290 HAS SOUPS 5281 WITH SCORE 5291.247
AT ITER 50 NEW BEST:: SOT 18389 SOS 10246 HAS SOPS 10234 HAS SOUS 5290 HAS SOUPS 5281 WITH SCORE 5291.246
AT ITER 52 NEW BEST:: SOT 18267 SOS 9966 HAS SOPS 9954 HAS SOUS 5143 HAS SOUPS 5134 WITH SCORE 5143.966
AT ITER 53 NEW BEST:: SOT 18268 SOS 9932 HAS SOPS 9920 HAS SOUS 5143 HAS SOUPS 5134 WITH SCORE 5143.932
AT ITER 54 NEW BEST:: SOT 18268 SOS 9892 HAS SOPS 9880 HAS SOUS 5126 HAS SOUPS 5117 WITH SCORE 5126.892
AT ITER 55 NEW BEST:: SOT 18277 SOS 9918 HAS SOPS 9906 HAS SOUS 5125 HAS SOUPS 5116 WITH SCORE 5125.918
AT ITER 56 NEW BEST:: SOT 18203 SOS 9769 HAS SOPS 9757 HAS SOUS 5124 HAS SOUPS 5115 WITH SCORE 5124.769
AT ITER 59 NEW BEST:: SOT 18151 SOS 9717 HAS SOPS 9705 HAS SOUS 5098 HAS SOUPS 5089 WITH SCORE 5098.717
AT ITER 60 NEW BEST:: SOT 18090 SOS 9594 HAS SOPS 9582 HAS SOUS 5064 HAS SOUPS 5055 WITH SCORE 5064.594
AT ITER 63 NEW BEST:: SOT 18079 SOS 9618 HAS SOPS 9606 HAS SOUS 5060 HAS SOUPS 5051 WITH SCORE 5060.618
AT ITER 67 NEW BEST:: SOT 18094 SOS 9620 HAS SOPS 9608 HAS SOUS 5047 HAS SOUPS 5038 WITH SCORE 5047.62
AT ITER 71 NEW BEST:: SOT 17951 SOS 9247 HAS SOPS 9235 HAS SOUS 4943 HAS SOUPS 4934 WITH SCORE 4943.247
AT ITER 74 NEW BEST:: SOT 17861 SOS 9067 HAS SOPS 9055 HAS SOUS 4853 HAS SOUPS 4844 WITH SCORE 4853.067
AT ITER 75 NEW BEST:: SOT 17887 SOS 9078 HAS SOPS 9066 HAS SOUS 4828 HAS SOUPS 4819 WITH SCORE 4828.078
AT ITER 77 NEW BEST:: SOT 17884 SOS 9060 HAS SOPS 9048 HAS SOUS 4822 HAS SOUPS 4813 WITH SCORE 4822.06
AT ITER 85 NEW BEST:: SOT 17873 SOS 8986 HAS SOPS 8974 HAS SOUS 4794 HAS SOUPS 4785 WITH SCORE 4793.986
AT ITER 89 NEW BEST:: SOT 17833 SOS 8930 HAS SOPS 8918 HAS SOUS 4764 HAS SOUPS 4755 WITH SCORE 4763.93
AT ITER 93 NEW BEST:: SOT 17829 SOS 8924 HAS SOPS 8912 HAS SOUS 4760 HAS SOUPS 4751 WITH SCORE 4759.924
AT ITER 94 NEW BEST:: SOT 17828 SOS 8923 HAS SOPS 8911 HAS SOUS 4759 HAS SOUPS 4750 WITH SCORE 4758.923
AT ITER 95 NEW BEST:: SOT 17819 SOS 8905 HAS SOPS 8893 HAS SOUS 4759 HAS SOUPS 4750 WITH SCORE 4758.905
AT ITER 96 NEW BEST:: SOT 17819 SOS 8902 HAS SOPS 8890 HAS SOUS 4759 HAS SOUPS 4750 WITH SCORE 4758.902
AT ITER 98 NEW BEST:: SOT 17818 SOS 8902 HAS SOPS 8890 HAS SOUS 4744 HAS SOUPS 4735 WITH SCORE 4743.902
AT ITER 99 NEW BEST:: SOT 17812 SOS 8890 HAS SOPS 8878 HAS SOUS 4738 HAS SOUPS 4729 WITH SCORE 4737.89
AT ITER 108 NEW BEST:: SOT 17803 SOS 8895 HAS SOPS 8883 HAS SOUS 4732 HAS SOUPS 4723 WITH SCORE 4731.895
AT ITER 117 NEW BEST:: SOT 17645 SOS 8682 HAS SOPS 8670 HAS SOUS 4727 HAS SOUPS 4718 WITH SCORE 4726.682
AT ITER 118 NEW BEST:: SOT 17558 SOS 8508 HAS SOPS 8496 HAS SOUS 4633 HAS SOUPS 4624 WITH SCORE 4632.508
AT ITER 128 NEW BEST:: SOT 17442 SOS 8315 HAS SOPS 8303 HAS SOUS 4612 HAS SOUPS 4603 WITH SCORE 4611.315
AT ITER 130 NEW BEST:: SOT 17436 SOS 8284 HAS SOPS 8272 HAS SOUS 4603 HAS SOUPS 4594 WITH SCORE 4602.284
AT ITER 133 NEW BEST:: SOT 17424 SOS 8252 HAS SOPS 8240 HAS SOUS 4583 HAS SOUPS 4574 WITH SCORE 4582.252
AT ITER 135 NEW BEST:: SOT 17421 SOS 8249 HAS SOPS 8237 HAS SOUS 4583 HAS SOUPS 4574 WITH SCORE 4582.249
AT ITER 137 NEW BEST:: SOT 17387 SOS 8172 HAS SOPS 8160 HAS SOUS 4557 HAS SOUPS 4548 WITH SCORE 4556.172
AT ITER 138 NEW BEST:: SOT 17510 SOS 8073 HAS SOPS 8061 HAS SOUS 4539 HAS SOUPS 4530 WITH SCORE 4538.073
AT ITER 140 NEW BEST:: SOT 17493 SOS 8039 HAS SOPS 8027 HAS SOUS 4499 HAS SOUPS 4490 WITH SCORE 4498.039
AT ITER 148 NEW BEST:: SOT 17513 SOS 8067 HAS SOPS 8055 HAS SOUS 4498 HAS SOUPS 4489 WITH SCORE 4497.067
AT ITER 149 NEW BEST:: SOT 17502 SOS 7971 HAS SOPS 7959 HAS SOUS 4452 HAS SOUPS 4443 WITH SCORE 4450.971
AT ITER 154 NEW BEST:: SOT 17492 SOS 7961 HAS SOPS 7949 HAS SOUS 4450 HAS SOUPS 4441 WITH SCORE 4448.961
AT ITER 158 NEW BEST:: SOT 17515 SOS 8006 HAS SOPS 7994 HAS SOUS 4441 HAS SOUPS 4432 WITH SCORE 4440.006
AT ITER 160 NEW BEST:: SOT 17500 SOS 7986 HAS SOPS 7974 HAS SOUS 4436 HAS SOUPS 4427 WITH SCORE 4434.986
AT ITER 166 NEW BEST:: SOT 17445 SOS 7936 HAS SOPS 7924 HAS SOUS 4382 HAS SOUPS 4373 WITH SCORE 4380.936
AT ITER 167 NEW BEST:: SOT 17439 SOS 7930 HAS SOPS 7918 HAS SOUS 4374 HAS SOUPS 4365 WITH SCORE 4372.93
AT ITER 178 NEW BEST:: SOT 17439 SOS 7923 HAS SOPS 7911 HAS SOUS 4327 HAS SOUPS 4318 WITH SCORE 4325.923
AT ITER 179 NEW BEST:: SOT 17387 SOS 7871 HAS SOPS 7859 HAS SOUS 4307 HAS SOUPS 4298 WITH SCORE 4305.871
AT ITER 180 NEW BEST:: SOT 17405 SOS 7857 HAS SOPS 7845 HAS SOUS 4291 HAS SOUPS 4282 WITH SCORE 4289.857
AT ITER 182 NEW BEST:: SOT 17405 SOS 7857 HAS SOPS 7845 HAS SOUS 4265 HAS SOUPS 4256 WITH SCORE 4263.857
AT ITER 189 NEW BEST:: SOT 17334 SOS 7756 HAS SOPS 7744 HAS SOUS 4231 HAS SOUPS 4222 WITH SCORE 4229.756
AT ITER 199 NEW BEST:: SOT 17331 SOS 7750 HAS SOPS 7738 HAS SOUS 4225 HAS SOUPS 4216 WITH SCORE 4223.75
AT ITER 200 NEW BEST:: SOT 17358 SOS 7798 HAS SOPS 7786 HAS SOUS 4208 HAS SOUPS 4199 WITH SCORE 4206.798
AT ITER 204 NEW BEST:: SOT 17363 SOS 7777 HAS SOPS 7765 HAS SOUS 4190 HAS SOUPS 4181 WITH SCORE 4188.777
AT ITER 210 NEW BEST:: SOT 17357 SOS 7742 HAS SOPS 7730 HAS SOUS 4176 HAS SOUPS 4167 WITH SCORE 4174.742
AT ITER 221 NEW BEST:: SOT 17359 SOS 7730 HAS SOPS 7718 HAS SOUS 4148 HAS SOUPS 4139 WITH SCORE 4146.73
AT ITER 222 NEW BEST:: SOT 17330 SOS 7704 HAS SOPS 7692 HAS SOUS 4119 HAS SOUPS 4110 WITH SCORE 4117.704
AT ITER 224 NEW BEST:: SOT 17339 SOS 7725 HAS SOPS 7713 HAS SOUS 4096 HAS SOUPS 4087 WITH SCORE 4094.725
AT ITER 239 NEW BEST:: SOT 17335 SOS 7899 HAS SOPS 7887 HAS SOUS 4092 HAS SOUPS 4083 WITH SCORE 4090.899
AT ITER 246 NEW BEST:: SOT 17256 SOS 7758 HAS SOPS 7746 HAS SOUS 4080 HAS SOUPS 4071 WITH SCORE 4078.758
AT ITER 261 NEW BEST:: SOT 17292 SOS 7830 HAS SOPS 7818 HAS SOUS 4079 HAS SOUPS 4070 WITH SCORE 4077.83
AT ITER 271 NEW BEST:: SOT 17283 SOS 7821 HAS SOPS 7809 HAS SOUS 4074 HAS SOUPS 4065 WITH SCORE 4072.821
AT ITER 275 NEW BEST:: SOT 17249 SOS 7770 HAS SOPS 7758 HAS SOUS 4049 HAS SOUPS 4040 WITH SCORE 4047.77
AT ITER 280 NEW BEST:: SOT 17243 SOS 7756 HAS SOPS 7744 HAS SOUS 4047 HAS SOUPS 4038 WITH SCORE 4045.756
AT ITER 281 NEW BEST:: SOT 17222 SOS 7728 HAS SOPS 7716 HAS SOUS 3998 HAS SOUPS 3989 WITH SCORE 3996.728
AT ITER 285 NEW BEST:: SOT 17216 SOS 7719 HAS SOPS 7707 HAS SOUS 3995 HAS SOUPS 3986 WITH SCORE 3993.719
AT ITER 286 NEW BEST:: SOT 17212 SOS 7704 HAS SOPS 7692 HAS SOUS 3990 HAS SOUPS 3981 WITH SCORE 3988.704
AT ITER 288 NEW BEST:: SOT 17165 SOS 7617 HAS SOPS 7605 HAS SOUS 3972 HAS SOUPS 3963 WITH SCORE 3970.617
AT ITER 293 NEW BEST:: SOT 17170 SOS 7612 HAS SOPS 7600 HAS SOUS 3971 HAS SOUPS 3962 WITH SCORE 3969.612
AT ITER 303 NEW BEST:: SOT 17150 SOS 7582 HAS SOPS 7570 HAS SOUS 3959 HAS SOUPS 3950 WITH SCORE 3957.582
AT ITER 305 NEW BEST:: SOT 17159 SOS 7646 HAS SOPS 7634 HAS SOUS 3952 HAS SOUPS 3943 WITH SCORE 3950.646
AT ITER 312 NEW BEST:: SOT 17159 SOS 7646 HAS SOPS 7634 HAS SOUS 3932 HAS SOUPS 3923 WITH SCORE 3930.646
AT ITER 316 NEW BEST:: SOT 17129 SOS 7586 HAS SOPS 7574 HAS SOUS 3932 HAS SOUPS 3923 WITH SCORE 3930.586
AT ITER 333 NEW BEST:: SOT 17085 SOS 7482 HAS SOPS 7470 HAS SOUS 3924 HAS SOUPS 3915 WITH SCORE 3922.482
AT ITER 342 NEW BEST:: SOT 17018 SOS 7362 HAS SOPS 7350 HAS SOUS 3903 HAS SOUPS 3894 WITH SCORE 3901.362
AT ITER 344 NEW BEST:: SOT 16794 SOS 8259 HAS SOPS 8247 HAS SOUS 3892 HAS SOUPS 3883 WITH SCORE 3891.259
AT ITER 348 NEW BEST:: SOT 16785 SOS 8252 HAS SOPS 8240 HAS SOUS 3881 HAS SOUPS 3872 WITH SCORE 3880.252
AT ITER 352 NEW BEST:: SOT 16758 SOS 8198 HAS SOPS 8186 HAS SOUS 3827 HAS SOUPS 3818 WITH SCORE 3826.198
AT ITER 355 NEW BEST:: SOT 16778 SOS 8228 HAS SOPS 8216 HAS SOUS 3799 HAS SOUPS 3790 WITH SCORE 3798.228
AT ITER 359 NEW BEST:: SOT 16770 SOS 8215 HAS SOPS 8203 HAS SOUS 3792 HAS SOUPS 3783 WITH SCORE 3791.215
AT ITER 367 NEW BEST:: SOT 16755 SOS 8200 HAS SOPS 8188 HAS SOUS 3792 HAS SOUPS 3783 WITH SCORE 3791.2
AT ITER 370 NEW BEST:: SOT 16721 SOS 8609 HAS SOPS 8597 HAS SOUS 3785 HAS SOUPS 3776 WITH SCORE 3784.609
AT ITER 373 NEW BEST:: SOT 16694 SOS 8571 HAS SOPS 8559 HAS SOUS 3760 HAS SOUPS 3751 WITH SCORE 3759.571
AT ITER 379 NEW BEST:: SOT 16235 SOS 9651 HAS SOPS 9639 HAS SOUS 3333 HAS SOUPS 3324 WITH SCORE 3333.651
AT ITER 385 NEW BEST:: SOT 16232 SOS 9648 HAS SOPS 9636 HAS SOUS 3330 HAS SOUPS 3321 WITH SCORE 3330.648
AT ITER 386 NEW BEST:: SOT 16244 SOS 9660 HAS SOPS 9648 HAS SOUS 3325 HAS SOUPS 3316 WITH SCORE 3325.66
AT ITER 387 NEW BEST:: SOT 16214 SOS 9605 HAS SOPS 9593 HAS SOUS 3300 HAS SOUPS 3291 WITH SCORE 3300.605
AT ITER 388 NEW BEST:: SOT 16163 SOS 9517 HAS SOPS 9505 HAS SOUS 3289 HAS SOUPS 3280 WITH SCORE 3289.517
AT ITER 415 NEW BEST:: SOT 16163 SOS 9527 HAS SOPS 9515 HAS SOUS 3284 HAS SOUPS 3275 WITH SCORE 3284.527
AT ITER 426 NEW BEST:: SOT 16163 SOS 9491 HAS SOPS 9479 HAS SOUS 3248 HAS SOUPS 3239 WITH SCORE 3248.491
AT ITER 432 NEW BEST:: SOT 16186 SOS 9513 HAS SOPS 9501 HAS SOUS 3242 HAS SOUPS 3233 WITH SCORE 3242.513
AT ITER 439 NEW BEST:: SOT 16186 SOS 9513 HAS SOPS 9501 HAS SOUS 3227 HAS SOUPS 3218 WITH SCORE 3227.513
AT ITER 440 NEW BEST:: SOT 16177 SOS 9495 HAS SOPS 9483 HAS SOUS 3218 HAS SOUPS 3209 WITH SCORE 3218.495
AT ITER 446 NEW BEST:: SOT 16178 SOS 9511 HAS SOPS 9499 HAS SOUS 3201 HAS SOUPS 3192 WITH SCORE 3201.511
AT ITER 448 NEW BEST:: SOT 16170 SOS 9479 HAS SOPS 9467 HAS SOUS 3185 HAS SOUPS 3176 WITH SCORE 3185.479
AT ITER 456 NEW BEST:: SOT 16169 SOS 9478 HAS SOPS 9466 HAS SOUS 3184 HAS SOUPS 3175 WITH SCORE 3184.478
AT ITER 481 NEW BEST:: SOT 16164 SOS 9473 HAS SOPS 9461 HAS SOUS 3179 HAS SOUPS 3170 WITH SCORE 3179.473
AT ITER 505 NEW BEST:: SOT 16126 SOS 9397 HAS SOPS 9385 HAS SOUS 3179 HAS SOUPS 3170 WITH SCORE 3179.397
AT ITER 509 NEW BEST:: SOT 16105 SOS 9376 HAS SOPS 9364 HAS SOUS 3137 HAS SOUPS 3128 WITH SCORE 3137.376
AT ITER 512 NEW BEST:: SOT 16111 SOS 9382 HAS SOPS 9370 HAS SOUS 3130 HAS SOUPS 3121 WITH SCORE 3130.382
AT ITER 517 NEW BEST:: SOT 16105 SOS 9376 HAS SOPS 9364 HAS SOUS 3120 HAS SOUPS 3111 WITH SCORE 3120.376
AT ITER 525 NEW BEST:: SOT 16047 SOS 9308 HAS SOPS 9296 HAS SOUS 3108 HAS SOUPS 3099 WITH SCORE 3108.308
AT ITER 532 NEW BEST:: SOT 16047 SOS 9308 HAS SOPS 9296 HAS SOUS 3104 HAS SOUPS 3095 WITH SCORE 3104.308
AT ITER 534 NEW BEST:: SOT 16027 SOS 9288 HAS SOPS 9276 HAS SOUS 3104 HAS SOUPS 3095 WITH SCORE 3104.288
AT ITER 538 NEW BEST:: SOT 16022 SOS 9283 HAS SOPS 9271 HAS SOUS 3087 HAS SOUPS 3078 WITH SCORE 3087.283
AT ITER 560 NEW BEST:: SOT 16027 SOS 9293 HAS SOPS 9281 HAS SOUS 3082 HAS SOUPS 3073 WITH SCORE 3082.293
AT ITER 561 NEW BEST:: SOT 16019 SOS 9274 HAS SOPS 9262 HAS SOUS 3076 HAS SOUPS 3067 WITH SCORE 3076.274
AT ITER 577 NEW BEST:: SOT 16003 SOS 9258 HAS SOPS 9246 HAS SOUS 3076 HAS SOUPS 3067 WITH SCORE 3076.258
AT ITER 578 NEW BEST:: SOT 15998 SOS 9270 HAS SOPS 9258 HAS SOUS 3074 HAS SOUPS 3065 WITH SCORE 3074.27
AT ITER 583 NEW BEST:: SOT 15962 SOS 9166 HAS SOPS 9154 HAS SOUS 3070 HAS SOUPS 3061 WITH SCORE 3070.166
AT ITER 600 NEW BEST:: SOT 15944 SOS 9130 HAS SOPS 9118 HAS SOUS 3058 HAS SOUPS 3049 WITH SCORE 3058.13
AT ITER 602 NEW BEST:: SOT 15937 SOS 9123 HAS SOPS 9111 HAS SOUS 3039 HAS SOUPS 3030 WITH SCORE 3039.123
AT ITER 603 NEW BEST:: SOT 15937 SOS 9154 HAS SOPS 9142 HAS SOUS 3036 HAS SOUPS 3027 WITH SCORE 3036.154
AT ITER 606 NEW BEST:: SOT 15937 SOS 9144 HAS SOPS 9132 HAS SOUS 3026 HAS SOUPS 3017 WITH SCORE 3026.144
AT ITER 612 NEW BEST:: SOT 15937 SOS 9149 HAS SOPS 9137 HAS SOUS 3022 HAS SOUPS 3013 WITH SCORE 3022.149
AT ITER 614 NEW BEST:: SOT 15910 SOS 9122 HAS SOPS 9110 HAS SOUS 3022 HAS SOUPS 3013 WITH SCORE 3022.122
AT ITER 619 NEW BEST:: SOT 15914 SOS 9901 HAS SOPS 9889 HAS SOUS 2997 HAS SOUPS 2988 WITH SCORE 2997.901
AT ITER 625 NEW BEST:: SOT 15911 SOS 9895 HAS SOPS 9883 HAS SOUS 2994 HAS SOUPS 2985 WITH SCORE 2994.895
AT ITER 627 NEW BEST:: SOT 15903 SOS 9875 HAS SOPS 9863 HAS SOUS 2986 HAS SOUPS 2977 WITH SCORE 2986.875
AT ITER 630 NEW BEST:: SOT 15883 SOS 9855 HAS SOPS 9843 HAS SOUS 2946 HAS SOUPS 2937 WITH SCORE 2946.855
AT ITER 647 NEW BEST:: SOT 15845 SOS 9844 HAS SOPS 9832 HAS SOUS 2933 HAS SOUPS 2924 WITH SCORE 2933.844
AT ITER 667 NEW BEST:: SOT 15852 SOS 9859 HAS SOPS 9847 HAS SOUS 2926 HAS SOUPS 2917 WITH SCORE 2926.859
AT ITER 673 NEW BEST:: SOT 15856 SOS 9863 HAS SOPS 9851 HAS SOUS 2925 HAS SOUPS 2916 WITH SCORE 2925.863
AT ITER 677 NEW BEST:: SOT 15846 SOS 9851 HAS SOPS 9839 HAS SOUS 2925 HAS SOUPS 2916 WITH SCORE 2925.851
AT ITER 701 NEW BEST:: SOT 15853 SOS 9865 HAS SOPS 9853 HAS SOUS 2878 HAS SOUPS 2869 WITH SCORE 2878.865
AT ITER 702 NEW BEST:: SOT 15834 SOS 9846 HAS SOPS 9834 HAS SOUS 2845 HAS SOUPS 2836 WITH SCORE 2845.846
AT ITER 708 NEW BEST:: SOT 15831 SOS 9843 HAS SOPS 9831 HAS SOUS 2842 HAS SOUPS 2833 WITH SCORE 2842.843
AT ITER 714 NEW BEST:: SOT 15733 SOS 9689 HAS SOPS 9677 HAS SOUS 2807 HAS SOUPS 2798 WITH SCORE 2807.689
AT ITER 717 NEW BEST:: SOT 15743 SOS 9691 HAS SOPS 9679 HAS SOUS 2798 HAS SOUPS 2789 WITH SCORE 2798.691
AT ITER 719 NEW BEST:: SOT 15743 SOS 9691 HAS SOPS 9679 HAS SOUS 2784 HAS SOUPS 2775 WITH SCORE 2784.691
AT ITER 723 NEW BEST:: SOT 15721 SOS 9648 HAS SOPS 9636 HAS SOUS 2766 HAS SOUPS 2757 WITH SCORE 2766.648
AT ITER 724 NEW BEST:: SOT 15715 SOS 9642 HAS SOPS 9630 HAS SOUS 2759 HAS SOUPS 2750 WITH SCORE 2759.642
AT ITER 740 NEW BEST:: SOT 15700 SOS 9618 HAS SOPS 9606 HAS SOUS 2753 HAS SOUPS 2744 WITH SCORE 2753.618
AT ITER 747 NEW BEST:: SOT 15701 SOS 9622 HAS SOPS 9610 HAS SOUS 2751 HAS SOUPS 2742 WITH SCORE 2751.622
AT ITER 752 NEW BEST:: SOT 15701 SOS 9622 HAS SOPS 9610 HAS SOUS 2733 HAS SOUPS 2724 WITH SCORE 2733.622
AT ITER 760 NEW BEST:: SOT 15697 SOS 9616 HAS SOPS 9604 HAS SOUS 2727 HAS SOUPS 2718 WITH SCORE 2727.616
AT ITER 764 NEW BEST:: SOT 15719 SOS 9661 HAS SOPS 9649 HAS SOUS 2726 HAS SOUPS 2717 WITH SCORE 2726.661
AT ITER 767 NEW BEST:: SOT 15717 SOS 9659 HAS SOPS 9647 HAS SOUS 2725 HAS SOUPS 2716 WITH SCORE 2725.659
AT ITER 794 NEW BEST:: SOT 15717 SOS 9673 HAS SOPS 9661 HAS SOUS 2719 HAS SOUPS 2710 WITH SCORE 2719.673
AT ITER 797 NEW BEST:: SOT 15711 SOS 9667 HAS SOPS 9655 HAS SOUS 2713 HAS SOUPS 2704 WITH SCORE 2713.667
AT ITER 808 NEW BEST:: SOT 15705 SOS 9703 HAS SOPS 9691 HAS SOUS 2707 HAS SOUPS 2698 WITH SCORE 2707.703
AT ITER 825 NEW BEST:: SOT 15700 SOS 9693 HAS SOPS 9681 HAS SOUS 2702 HAS SOUPS 2693 WITH SCORE 2702.693
AT ITER 835 NEW BEST:: SOT 15678 SOS 9671 HAS SOPS 9659 HAS SOUS 2698 HAS SOUPS 2689 WITH SCORE 2698.671
AT ITER 839 NEW BEST:: SOT 15691 SOS 9684 HAS SOPS 9672 HAS SOUS 2696 HAS SOUPS 2687 WITH SCORE 2696.684
AT ITER 857 NEW BEST:: SOT 15688 SOS 9657 HAS SOPS 9645 HAS SOUS 2695 HAS SOUPS 2686 WITH SCORE 2695.657
AT ITER 871 NEW BEST:: SOT 15671 SOS 9640 HAS SOPS 9628 HAS SOUS 2678 HAS SOUPS 2669 WITH SCORE 2678.64
AT ITER 873 NEW BEST:: SOT 15664 SOS 9633 HAS SOPS 9621 HAS SOUS 2665 HAS SOUPS 2656 WITH SCORE 2665.633
AT ITER 874 NEW BEST:: SOT 15656 SOS 9622 HAS SOPS 9610 HAS SOUS 2658 HAS SOUPS 2649 WITH SCORE 2658.622
AT ITER 878 NEW BEST:: SOT 15644 SOS 9595 HAS SOPS 9583 HAS SOUS 2635 HAS SOUPS 2626 WITH SCORE 2635.595
AT ITER 879 NEW BEST:: SOT 15625 SOS 9555 HAS SOPS 9543 HAS SOUS 2595 HAS SOUPS 2586 WITH SCORE 2595.555
AT ITER 883 NEW BEST:: SOT 15625 SOS 9555 HAS SOPS 9543 HAS SOUS 2587 HAS SOUPS 2578 WITH SCORE 2587.555
AT ITER 921 NEW BEST:: SOT 15624 SOS 9554 HAS SOPS 9542 HAS SOUS 2586 HAS SOUPS 2577 WITH SCORE 2586.554
AT ITER 941 NEW BEST:: SOT 15623 SOS 9462 HAS SOPS 9450 HAS SOUS 2586 HAS SOUPS 2577 WITH SCORE 2586.462
AT ITER 975 NEW BEST:: SOT 15623 SOS 9462 HAS SOPS 9450 HAS SOUS 2584 HAS SOUPS 2575 WITH SCORE 2584.462
AT ITER 1013 NEW BEST:: SOT 15601 SOS 9434 HAS SOPS 9422 HAS SOUS 2581 HAS SOUPS 2572 WITH SCORE 2581.434
AT ITER 1017 NEW BEST:: SOT 15623 SOS 9471 HAS SOPS 9459 HAS SOUS 2554 HAS SOUPS 2545 WITH SCORE 2554.471
AT ITER 1019 NEW BEST:: SOT 15625 SOS 9473 HAS SOPS 9461 HAS SOUS 2552 HAS SOUPS 2543 WITH SCORE 2552.473
AT ITER 1027 NEW BEST:: SOT 15625 SOS 9473 HAS SOPS 9461 HAS SOUS 2547 HAS SOUPS 2538 WITH SCORE 2547.473
AT ITER 1049 NEW BEST:: SOT 15618 SOS 9467 HAS SOPS 9455 HAS SOUS 2541 HAS SOUPS 2532 WITH SCORE 2541.467
AT ITER 1055 NEW BEST:: SOT 15618 SOS 9467 HAS SOPS 9455 HAS SOUS 2538 HAS SOUPS 2529 WITH SCORE 2538.467
AT ITER 1058 NEW BEST:: SOT 15618 SOS 9467 HAS SOPS 9455 HAS SOUS 2537 HAS SOUPS 2528 WITH SCORE 2537.467
AT ITER 1067 NEW BEST:: SOT 15614 SOS 9463 HAS SOPS 9451 HAS SOUS 2533 HAS SOUPS 2524 WITH SCORE 2533.463
AT ITER 1100 NEW BEST:: SOT 15601 SOS 9437 HAS SOPS 9425 HAS SOUS 2528 HAS SOUPS 2519 WITH SCORE 2528.437
AT ITER 1148 NEW BEST:: SOT 15565 SOS 9365 HAS SOPS 9353 HAS SOUS 2492 HAS SOUPS 2483 WITH SCORE 2492.365
AT ITER 1164 NEW BEST:: SOT 15564 SOS 9364 HAS SOPS 9352 HAS SOUS 2491 HAS SOUPS 2482 WITH SCORE 2491.364
AT ITER 1171 NEW BEST:: SOT 15555 SOS 9355 HAS SOPS 9343 HAS SOUS 2491 HAS SOUPS 2482 WITH SCORE 2491.355
AT ITER 1175 NEW BEST:: SOT 15547 SOS 9407 HAS SOPS 9395 HAS SOUS 2489 HAS SOUPS 2480 WITH SCORE 2489.407
AT ITER 1197 NEW BEST:: SOT 15550 SOS 9398 HAS SOPS 9386 HAS SOUS 2489 HAS SOUPS 2480 WITH SCORE 2489.398
AT ITER 1200 NEW BEST:: SOT 15556 SOS 9400 HAS SOPS 9388 HAS SOUS 2485 HAS SOUPS 2476 WITH SCORE 2485.4
AT ITER 1213 NEW BEST:: SOT 15543 SOS 9387 HAS SOPS 9375 HAS SOUS 2472 HAS SOUPS 2463 WITH SCORE 2472.387
AT ITER 1237 NEW BEST:: SOT 15502 SOS 9254 HAS SOPS 9242 HAS SOUS 2457 HAS SOUPS 2448 WITH SCORE 2457.254
AT ITER 1263 NEW BEST:: SOT 15504 SOS 9261 HAS SOPS 9249 HAS SOUS 2456 HAS SOUPS 2447 WITH SCORE 2456.261
AT ITER 1265 NEW BEST:: SOT 15504 SOS 9261 HAS SOPS 9249 HAS SOUS 2451 HAS SOUPS 2442 WITH SCORE 2451.261
AT ITER 1266 NEW BEST:: SOT 15481 SOS 9238 HAS SOPS 9226 HAS SOUS 2444 HAS SOUPS 2435 WITH SCORE 2444.238
AT ITER 1268 NEW BEST:: SOT 15476 SOS 9229 HAS SOPS 9217 HAS SOUS 2439 HAS SOUPS 2430 WITH SCORE 2439.229
AT ITER 1284 NEW BEST:: SOT 15495 SOS 9220 HAS SOPS 9208 HAS SOUS 2437 HAS SOUPS 2428 WITH SCORE 2437.22
AT ITER 1300 NEW BEST:: SOT 15494 SOS 9219 HAS SOPS 9207 HAS SOUS 2436 HAS SOUPS 2427 WITH SCORE 2436.219
AT ITER 1302 NEW BEST:: SOT 15491 SOS 9213 HAS SOPS 9201 HAS SOUS 2435 HAS SOUPS 2426 WITH SCORE 2435.213
AT ITER 1318 NEW BEST:: SOT 15491 SOS 9165 HAS SOPS 9153 HAS SOUS 2435 HAS SOUPS 2426 WITH SCORE 2435.165
AT ITER 1348 NEW BEST:: SOT 15510 SOS 9188 HAS SOPS 9176 HAS SOUS 2425 HAS SOUPS 2416 WITH SCORE 2425.188
AT ITER 1350 NEW BEST:: SOT 15511 SOS 9189 HAS SOPS 9177 HAS SOUS 2424 HAS SOUPS 2415 WITH SCORE 2424.189
AT ITER 1369 NEW BEST:: SOT 15514 SOS 9192 HAS SOPS 9180 HAS SOUS 2423 HAS SOUPS 2414 WITH SCORE 2423.192
AT ITER 1380 NEW BEST:: SOT 15485 SOS 9122 HAS SOPS 9110 HAS SOUS 2391 HAS SOUPS 2382 WITH SCORE 2391.122
AT ITER 1382 NEW BEST:: SOT 15473 SOS 9110 HAS SOPS 9098 HAS SOUS 2380 HAS SOUPS 2371 WITH SCORE 2380.11
AT ITER 1389 NEW BEST:: SOT 15471 SOS 9106 HAS SOPS 9094 HAS SOUS 2377 HAS SOUPS 2368 WITH SCORE 2377.106
AT ITER 1437 NEW BEST:: SOT 15450 SOS 9069 HAS SOPS 9057 HAS SOUS 2356 HAS SOUPS 2347 WITH SCORE 2356.069
AT ITER 1443 NEW BEST:: SOT 15442 SOS 9063 HAS SOPS 9051 HAS SOUS 2349 HAS SOUPS 2340 WITH SCORE 2349.063
AT ITER 1484 NEW BEST:: SOT 15440 SOS 9061 HAS SOPS 9049 HAS SOUS 2337 HAS SOUPS 2328 WITH SCORE 2337.061
AT ITER 1489 NEW BEST:: SOT 15424 SOS 9042 HAS SOPS 9030 HAS SOUS 2327 HAS SOUPS 2318 WITH SCORE 2327.042
AT ITER 1500 NEW BEST:: SOT 15423 SOS 9100 HAS SOPS 9088 HAS SOUS 2326 HAS SOUPS 2317 WITH SCORE 2326.1
AT ITER 1542 NEW BEST:: SOT 15423 SOS 9094 HAS SOPS 9082 HAS SOUS 2323 HAS SOUPS 2314 WITH SCORE 2323.094
AT ITER 1571 NEW BEST:: SOT 15405 SOS 9047 HAS SOPS 9035 HAS SOUS 2304 HAS SOUPS 2295 WITH SCORE 2304.047
AT ITER 1583 NEW BEST:: SOT 15395 SOS 9037 HAS SOPS 9025 HAS SOUS 2296 HAS SOUPS 2287 WITH SCORE 2296.037
AT ITER 1586 NEW BEST:: SOT 15427 SOS 9101 HAS SOPS 9089 HAS SOUS 2280 HAS SOUPS 2271 WITH SCORE 2280.101
AT ITER 1597 NEW BEST:: SOT 15427 SOS 9071 HAS SOPS 9059 HAS SOUS 2280 HAS SOUPS 2271 WITH SCORE 2280.071
AT ITER 1651 NEW BEST:: SOT 15427 SOS 9071 HAS SOPS 9059 HAS SOUS 2271 HAS SOUPS 2262 WITH SCORE 2271.071
AT ITER 1792 NEW BEST:: SOT 15423 SOS 9067 HAS SOPS 9055 HAS SOUS 2259 HAS SOUPS 2250 WITH SCORE 2259.067
AT ITER 1843 NEW BEST:: SOT 15423 SOS 9067 HAS SOPS 9055 HAS SOUS 2257 HAS SOUPS 2248 WITH SCORE 2257.067
AT ITER 1861 NEW BEST:: SOT 15415 SOS 9040 HAS SOPS 9028 HAS SOUS 2250 HAS SOUPS 2241 WITH SCORE 2250.04
AT ITER 1881 NEW BEST:: SOT 15410 SOS 9035 HAS SOPS 9023 HAS SOUS 2245 HAS SOUPS 2236 WITH SCORE 2245.035
AT ITER 1888 NEW BEST:: SOT 15411 SOS 9036 HAS SOPS 9024 HAS SOUS 2241 HAS SOUPS 2232 WITH SCORE 2241.036
AT ITER 1933 NEW BEST:: SOT 15407 SOS 9028 HAS SOPS 9016 HAS SOUS 2241 HAS SOUPS 2232 WITH SCORE 2241.028
AT ITER 1981 NEW BEST:: SOT 15404 SOS 9025 HAS SOPS 9013 HAS SOUS 2235 HAS SOUPS 2226 WITH SCORE 2235.025
AT ITER 2005 NEW BEST:: SOT 15402 SOS 9021 HAS SOPS 9009 HAS SOUS 2235 HAS SOUPS 2226 WITH SCORE 2235.021
AT ITER 2048 NEW BEST:: SOT 15402 SOS 8991 HAS SOPS 8979 HAS SOUS 2234 HAS SOUPS 2225 WITH SCORE 2233.991
AT ITER 2059 NEW BEST:: SOT 15401 SOS 8990 HAS SOPS 8978 HAS SOUS 2231 HAS SOUPS 2222 WITH SCORE 2230.99
AT ITER 2060 NEW BEST:: SOT 15400 SOS 8989 HAS SOPS 8977 HAS SOUS 2230 HAS SOUPS 2221 WITH SCORE 2229.989
AT ITER 2084 NEW BEST:: SOT 15389 SOS 8978 HAS SOPS 8966 HAS SOUS 2227 HAS SOUPS 2218 WITH SCORE 2226.978
AT ITER 2085 NEW BEST:: SOT 15390 SOS 8979 HAS SOPS 8967 HAS SOUS 2226 HAS SOUPS 2217 WITH SCORE 2225.979
AT ITER 2118 NEW BEST:: SOT 15389 SOS 8978 HAS SOPS 8966 HAS SOUS 2225 HAS SOUPS 2216 WITH SCORE 2224.978
AT ITER 2149 NEW BEST:: SOT 15395 SOS 9006 HAS SOPS 8994 HAS SOUS 2221 HAS SOUPS 2212 WITH SCORE 2221.006
AT ITER 2175 NEW BEST:: SOT 15399 SOS 9010 HAS SOPS 8998 HAS SOUS 2216 HAS SOUPS 2207 WITH SCORE 2216.01
AT ITER 2194 NEW BEST:: SOT 15402 SOS 9013 HAS SOPS 9001 HAS SOUS 2214 HAS SOUPS 2205 WITH SCORE 2214.013
AT ITER 2267 NEW BEST:: SOT 15405 SOS 8959 HAS SOPS 8947 HAS SOUS 2213 HAS SOUPS 2204 WITH SCORE 2212.959
AT ITER 2289 NEW BEST:: SOT 15402 SOS 8956 HAS SOPS 8944 HAS SOUS 2204 HAS SOUPS 2195 WITH SCORE 2203.956
AT ITER 2318 NEW BEST:: SOT 15400 SOS 8952 HAS SOPS 8940 HAS SOUS 2200 HAS SOUPS 2191 WITH SCORE 2199.952
AT ITER 2325 NEW BEST:: SOT 15398 SOS 8950 HAS SOPS 8938 HAS SOUS 2200 HAS SOUPS 2191 WITH SCORE 2199.95
AT ITER 2343 NEW BEST:: SOT 15367 SOS 8888 HAS SOPS 8876 HAS SOUS 2200 HAS SOUPS 2191 WITH SCORE 2199.888
AT ITER 2364 NEW BEST:: SOT 15366 SOS 8887 HAS SOPS 8875 HAS SOUS 2199 HAS SOUPS 2190 WITH SCORE 2198.887
AT ITER 2375 NEW BEST:: SOT 15363 SOS 8884 HAS SOPS 8872 HAS SOUS 2196 HAS SOUPS 2187 WITH SCORE 2195.884
AT ITER 2459 NEW BEST:: SOT 15363 SOS 8884 HAS SOPS 8872 HAS SOUS 2195 HAS SOUPS 2186 WITH SCORE 2194.884
AT ITER 2463 NEW BEST:: SOT 15357 SOS 8872 HAS SOPS 8860 HAS SOUS 2192 HAS SOUPS 2183 WITH SCORE 2191.872
AT ITER 2479 NEW BEST:: SOT 15361 SOS 8876 HAS SOPS 8864 HAS SOUS 2190 HAS SOUPS 2181 WITH SCORE 2189.876
AT ITER 2482 NEW BEST:: SOT 15361 SOS 8876 HAS SOPS 8864 HAS SOUS 2189 HAS SOUPS 2180 WITH SCORE 2188.876
AT ITER 2545 NEW BEST:: SOT 15330 SOS 8815 HAS SOPS 8803 HAS SOUS 2188 HAS SOUPS 2179 WITH SCORE 2187.815
AT ITER 2571 NEW BEST:: SOT 15331 SOS 8816 HAS SOPS 8804 HAS SOUS 2187 HAS SOUPS 2178 WITH SCORE 2186.816
AT ITER 2573 NEW BEST:: SOT 15310 SOS 8795 HAS SOPS 8783 HAS SOUS 2174 HAS SOUPS 2165 WITH SCORE 2173.795
AT ITER 2601 NEW BEST:: SOT 15310 SOS 8833 HAS SOPS 8821 HAS SOUS 2172 HAS SOUPS 2163 WITH SCORE 2171.833
AT ITER 2608 NEW BEST:: SOT 15308 SOS 8826 HAS SOPS 8814 HAS SOUS 2172 HAS SOUPS 2163 WITH SCORE 2171.826
AT ITER 2623 NEW BEST:: SOT 15298 SOS 8811 HAS SOPS 8799 HAS SOUS 2167 HAS SOUPS 2158 WITH SCORE 2166.811
AT ITER 2644 NEW BEST:: SOT 15297 SOS 8810 HAS SOPS 8798 HAS SOUS 2166 HAS SOUPS 2157 WITH SCORE 2165.81
AT ITER 2684 NEW BEST:: SOT 15294 SOS 8807 HAS SOPS 8795 HAS SOUS 2164 HAS SOUPS 2155 WITH SCORE 2163.807
AT ITER 2698 NEW BEST:: SOT 15292 SOS 8805 HAS SOPS 8793 HAS SOUS 2162 HAS SOUPS 2153 WITH SCORE 2161.805
AT ITER 2707 NEW BEST:: SOT 15294 SOS 8439 HAS SOPS 8427 HAS SOUS 2161 HAS SOUPS 2152 WITH SCORE 2160.439
AT ITER 2753 NEW BEST:: SOT 15294 SOS 8431 HAS SOPS 8419 HAS SOUS 2155 HAS SOUPS 2146 WITH SCORE 2154.431
AT ITER 2771 NEW BEST:: SOT 15294 SOS 8426 HAS SOPS 8414 HAS SOUS 2155 HAS SOUPS 2146 WITH SCORE 2154.426
AT ITER 2821 NEW BEST:: SOT 15297 SOS 8428 HAS SOPS 8416 HAS SOUS 2150 HAS SOUPS 2141 WITH SCORE 2149.428
AT ITER 2823 NEW BEST:: SOT 15320 SOS 8474 HAS SOPS 8462 HAS SOUS 2146 HAS SOUPS 2137 WITH SCORE 2145.474
AT ITER 2836 NEW BEST:: SOT 15316 SOS 8470 HAS SOPS 8458 HAS SOUS 2143 HAS SOUPS 2134 WITH SCORE 2142.47
AT ITER 2864 NEW BEST:: SOT 15313 SOS 8467 HAS SOPS 8455 HAS SOUS 2143 HAS SOUPS 2134 WITH SCORE 2142.467
AT ITER 2875 NEW BEST:: SOT 15312 SOS 8465 HAS SOPS 8453 HAS SOUS 2141 HAS SOUPS 2132 WITH SCORE 2140.465
AT ITER 2929 NEW BEST:: SOT 15312 SOS 8466 HAS SOPS 8454 HAS SOUS 2140 HAS SOUPS 2131 WITH SCORE 2139.466
AT ITER 2971 NEW BEST:: SOT 15312 SOS 8466 HAS SOPS 8454 HAS SOUS 2138 HAS SOUPS 2129 WITH SCORE 2137.466
AT ITER 2978 NEW BEST:: SOT 15312 SOS 8466 HAS SOPS 8454 HAS SOUS 2128 HAS SOUPS 2119 WITH SCORE 2127.466
AT ITER 2982 NEW BEST:: SOT 15314 SOS 8468 HAS SOPS 8456 HAS SOUS 2127 HAS SOUPS 2118 WITH SCORE 2126.468
AT ITER 2993 NEW BEST:: SOT 15311 SOS 8461 HAS SOPS 8449 HAS SOUS 2127 HAS SOUPS 2118 WITH SCORE 2126.461
AT ITER 3068 NEW BEST:: SOT 15325 SOS 8475 HAS SOPS 8463 HAS SOUS 2119 HAS SOUPS 2110 WITH SCORE 2118.475
AT ITER 3069 NEW BEST:: SOT 15308 SOS 8458 HAS SOPS 8446 HAS SOUS 2103 HAS SOUPS 2094 WITH SCORE 2102.458
AT ITER 3080 NEW BEST:: SOT 15307 SOS 8457 HAS SOPS 8445 HAS SOUS 2099 HAS SOUPS 2090 WITH SCORE 2098.457
AT ITER 3124 NEW BEST:: SOT 15303 SOS 8453 HAS SOPS 8441 HAS SOUS 2096 HAS SOUPS 2087 WITH SCORE 2095.453
AT ITER 3154 NEW BEST:: SOT 15303 SOS 8453 HAS SOPS 8441 HAS SOUS 2090 HAS SOUPS 2081 WITH SCORE 2089.453
AT ITER 3179 NEW BEST:: SOT 15305 SOS 8455 HAS SOPS 8443 HAS SOUS 2088 HAS SOUPS 2079 WITH SCORE 2087.455
AT ITER 3212 NEW BEST:: SOT 15305 SOS 8455 HAS SOPS 8443 HAS SOUS 2087 HAS SOUPS 2078 WITH SCORE 2086.455
AT ITER 3214 NEW BEST:: SOT 15305 SOS 8455 HAS SOPS 8443 HAS SOUS 2084 HAS SOUPS 2075 WITH SCORE 2083.455
AT ITER 3234 NEW BEST:: SOT 15299 SOS 8449 HAS SOPS 8437 HAS SOUS 2072 HAS SOUPS 2063 WITH SCORE 2071.449
AT ITER 3260 NEW BEST:: SOT 15296 SOS 8446 HAS SOPS 8434 HAS SOUS 2065 HAS SOUPS 2056 WITH SCORE 2064.446
AT ITER 3365 NEW BEST:: SOT 15299 SOS 8490 HAS SOPS 8478 HAS SOUS 2064 HAS SOUPS 2055 WITH SCORE 2063.49
AT ITER 3433 NEW BEST:: SOT 15296 SOS 8483 HAS SOPS 8471 HAS SOUS 2060 HAS SOUPS 2051 WITH SCORE 2059.483
AT ITER 3463 NEW BEST:: SOT 15286 SOS 8419 HAS SOPS 8407 HAS SOUS 2049 HAS SOUPS 2040 WITH SCORE 2048.419
AT ITER 3526 NEW BEST:: SOT 15318 SOS 8484 HAS SOPS 8472 HAS SOUS 2048 HAS SOUPS 2039 WITH SCORE 2047.484
AT ITER 3553 NEW BEST:: SOT 15314 SOS 8480 HAS SOPS 8468 HAS SOUS 2042 HAS SOUPS 2033 WITH SCORE 2041.48
AT ITER 3572 NEW BEST:: SOT 15314 SOS 8480 HAS SOPS 8468 HAS SOUS 2041 HAS SOUPS 2032 WITH SCORE 2040.48
AT ITER 3631 NEW BEST:: SOT 15312 SOS 8474 HAS SOPS 8462 HAS SOUS 2041 HAS SOUPS 2032 WITH SCORE 2040.474
AT ITER 3697 NEW BEST:: SOT 15296 SOS 8263 HAS SOPS 8251 HAS SOUS 2041 HAS SOUPS 2032 WITH SCORE 2040.263
AT ITER 3701 NEW BEST:: SOT 15284 SOS 8251 HAS SOPS 8239 HAS SOUS 2041 HAS SOUPS 2032 WITH SCORE 2040.251
AT ITER 3711 NEW BEST:: SOT 15302 SOS 8236 HAS SOPS 8224 HAS SOUS 2037 HAS SOUPS 2028 WITH SCORE 2036.236
AT ITER 3745 NEW BEST:: SOT 15300 SOS 8234 HAS SOPS 8222 HAS SOUS 2036 HAS SOUPS 2027 WITH SCORE 2035.234
AT ITER 3749 NEW BEST:: SOT 15312 SOS 8232 HAS SOPS 8220 HAS SOUS 2023 HAS SOUPS 2014 WITH SCORE 2022.232
AT ITER 3863 NEW BEST:: SOT 15308 SOS 8228 HAS SOPS 8216 HAS SOUS 2021 HAS SOUPS 2012 WITH SCORE 2020.228
AT ITER 3929 NEW BEST:: SOT 15307 SOS 8227 HAS SOPS 8215 HAS SOUS 2019 HAS SOUPS 2010 WITH SCORE 2018.227
AT ITER 4019 NEW BEST:: SOT 15290 SOS 8191 HAS SOPS 8179 HAS SOUS 2011 HAS SOUPS 2002 WITH SCORE 2010.191
AT ITER 4034 NEW BEST:: SOT 15316 SOS 8243 HAS SOPS 8231 HAS SOUS 2005 HAS SOUPS 1996 WITH SCORE 2004.243
AT ITER 4050 NEW BEST:: SOT 15315 SOS 8242 HAS SOPS 8230 HAS SOUS 2005 HAS SOUPS 1996 WITH SCORE 2004.242
AT ITER 4090 NEW BEST:: SOT 15316 SOS 8225 HAS SOPS 8213 HAS SOUS 2004 HAS SOUPS 1995 WITH SCORE 2003.225
AT ITER 4185 NEW BEST:: SOT 15315 SOS 8224 HAS SOPS 8212 HAS SOUS 2004 HAS SOUPS 1995 WITH SCORE 2003.224
AT ITER 4187 NEW BEST:: SOT 15314 SOS 8223 HAS SOPS 8211 HAS SOUS 2003 HAS SOUPS 1994 WITH SCORE 2002.223
AT ITER 4200 NEW BEST:: SOT 15314 SOS 8223 HAS SOPS 8211 HAS SOUS 2002 HAS SOUPS 1993 WITH SCORE 2001.223
AT ITER 4215 NEW BEST:: SOT 15311 SOS 8220 HAS SOPS 8208 HAS SOUS 2002 HAS SOUPS 1993 WITH SCORE 2001.22
AT ITER 4304 NEW BEST:: SOT 15302 SOS 8202 HAS SOPS 8190 HAS SOUS 2002 HAS SOUPS 1993 WITH SCORE 2001.202
AT ITER 4421 NEW BEST:: SOT 15294 SOS 8178 HAS SOPS 8166 HAS SOUS 1991 HAS SOUPS 1982 WITH SCORE 1990.178
AT ITER 4440 NEW BEST:: SOT 15292 SOS 8176 HAS SOPS 8164 HAS SOUS 1988 HAS SOUPS 1979 WITH SCORE 1987.176
AT ITER 4479 NEW BEST:: SOT 15292 SOS 8170 HAS SOPS 8158 HAS SOUS 1984 HAS SOUPS 1975 WITH SCORE 1983.17
AT ITER 4530 NEW BEST:: SOT 15293 SOS 8142 HAS SOPS 8130 HAS SOUS 1984 HAS SOUPS 1975 WITH SCORE 1983.142
AT ITER 4554 NEW BEST:: SOT 15293 SOS 8142 HAS SOPS 8130 HAS SOUS 1983 HAS SOUPS 1974 WITH SCORE 1982.142
AT ITER 4594 NEW BEST:: SOT 15309 SOS 8158 HAS SOPS 8146 HAS SOUS 1982 HAS SOUPS 1973 WITH SCORE 1981.158
AT ITER 4654 NEW BEST:: SOT 15304 SOS 8222 HAS SOPS 8210 HAS SOUS 1976 HAS SOUPS 1967 WITH SCORE 1975.222
AT ITER 4689 NEW BEST:: SOT 15304 SOS 8222 HAS SOPS 8210 HAS SOUS 1974 HAS SOUPS 1965 WITH SCORE 1973.222
AT ITER 4713 NEW BEST:: SOT 15300 SOS 8217 HAS SOPS 8205 HAS SOUS 1970 HAS SOUPS 1961 WITH SCORE 1969.217
AT ITER 4719 NEW BEST:: SOT 15299 SOS 8216 HAS SOPS 8204 HAS SOUS 1966 HAS SOUPS 1957 WITH SCORE 1965.216
AT ITER 4723 NEW BEST:: SOT 15309 SOS 8221 HAS SOPS 8209 HAS SOUS 1961 HAS SOUPS 1952 WITH SCORE 1960.221
AT ITER 4791 NEW BEST:: SOT 15303 SOS 8201 HAS SOPS 8189 HAS SOUS 1958 HAS SOUPS 1949 WITH SCORE 1957.201
AT ITER 4808 NEW BEST:: SOT 15301 SOS 8191 HAS SOPS 8179 HAS SOUS 1958 HAS SOUPS 1949 WITH SCORE 1957.191
AT ITER 4817 NEW BEST:: SOT 15299 SOS 8189 HAS SOPS 8177 HAS SOUS 1953 HAS SOUPS 1944 WITH SCORE 1952.189
AT ITER 4828 NEW BEST:: SOT 15299 SOS 8207 HAS SOPS 8195 HAS SOUS 1951 HAS SOUPS 1942 WITH SCORE 1950.207
AT ITER 4842 NEW BEST:: SOT 15280 SOS 8169 HAS SOPS 8157 HAS SOUS 1951 HAS SOUPS 1942 WITH SCORE 1950.169
AT ITER 4995 NEW BEST:: SOT 15263 SOS 8152 HAS SOPS 8140 HAS SOUS 1951 HAS SOUPS 1942 WITH SCORE 1950.152
AT ITER 5011 NEW BEST:: SOT 15261 SOS 8150 HAS SOPS 8138 HAS SOUS 1947 HAS SOUPS 1938 WITH SCORE 1946.15
AT ITER 5023 NEW BEST:: SOT 15261 SOS 8150 HAS SOPS 8138 HAS SOUS 1946 HAS SOUPS 1937 WITH SCORE 1945.15
AT ITER 5065 NEW BEST:: SOT 15269 SOS 8158 HAS SOPS 8146 HAS SOUS 1944 HAS SOUPS 1935 WITH SCORE 1943.158
AT ITER 5085 NEW BEST:: SOT 15259 SOS 8147 HAS SOPS 8135 HAS SOUS 1942 HAS SOUPS 1933 WITH SCORE 1941.147
AT ITER 5088 NEW BEST:: SOT 15258 SOS 8132 HAS SOPS 8120 HAS SOUS 1941 HAS SOUPS 1932 WITH SCORE 1940.132
AT ITER 5219 NEW BEST:: SOT 15258 SOS 8169 HAS SOPS 8157 HAS SOUS 1939 HAS SOUPS 1930 WITH SCORE 1938.169
AT ITER 5277 NEW BEST:: SOT 15260 SOS 8173 HAS SOPS 8161 HAS SOUS 1937 HAS SOUPS 1928 WITH SCORE 1936.173
AT ITER 5315 NEW BEST:: SOT 15253 SOS 8166 HAS SOPS 8154 HAS SOUS 1921 HAS SOUPS 1912 WITH SCORE 1920.166
AT ITER 5472 NEW BEST:: SOT 15252 SOS 8165 HAS SOPS 8153 HAS SOUS 1918 HAS SOUPS 1909 WITH SCORE 1917.165
AT ITER 5542 NEW BEST:: SOT 15234 SOS 8111 HAS SOPS 8099 HAS SOUS 1909 HAS SOUPS 1900 WITH SCORE 1908.111
AT ITER 5581 NEW BEST:: SOT 15200 SOS 8043 HAS SOPS 8031 HAS SOUS 1909 HAS SOUPS 1900 WITH SCORE 1908.043
AT ITER 5608 NEW BEST:: SOT 15200 SOS 8042 HAS SOPS 8030 HAS SOUS 1909 HAS SOUPS 1900 WITH SCORE 1908.042
AT ITER 5636 NEW BEST:: SOT 15193 SOS 8029 HAS SOPS 8017 HAS SOUS 1908 HAS SOUPS 1899 WITH SCORE 1907.029
AT ITER 5905 NEW BEST:: SOT 15192 SOS 8028 HAS SOPS 8016 HAS SOUS 1908 HAS SOUPS 1899 WITH SCORE 1907.028
AT ITER 5974 NEW BEST:: SOT 15191 SOS 8027 HAS SOPS 8015 HAS SOUS 1906 HAS SOUPS 1897 WITH SCORE 1905.027
AT ITER 6023 NEW BEST:: SOT 15189 SOS 8021 HAS SOPS 8009 HAS SOUS 1906 HAS SOUPS 1897 WITH SCORE 1905.021
AT ITER 6111 NEW BEST:: SOT 15180 SOS 8000 HAS SOPS 7988 HAS SOUS 1904 HAS SOUPS 1895 WITH SCORE 1903.0
AT ITER 6158 NEW BEST:: SOT 15208 SOS 8056 HAS SOPS 8044 HAS SOUS 1903 HAS SOUPS 1894 WITH SCORE 1902.056
AT ITER 6194 NEW BEST:: SOT 15203 SOS 8041 HAS SOPS 8029 HAS SOUS 1896 HAS SOUPS 1887 WITH SCORE 1895.041
AT ITER 6303 NEW BEST:: SOT 15202 SOS 8026 HAS SOPS 8014 HAS SOUS 1895 HAS SOUPS 1886 WITH SCORE 1894.026
AT ITER 6374 NEW BEST:: SOT 15201 SOS 8025 HAS SOPS 8013 HAS SOUS 1894 HAS SOUPS 1885 WITH SCORE 1893.025
AT ITER 6489 NEW BEST:: SOT 15206 SOS 8033 HAS SOPS 8021 HAS SOUS 1887 HAS SOUPS 1878 WITH SCORE 1886.033
AT ITER 6614 NEW BEST:: SOT 15207 SOS 8034 HAS SOPS 8022 HAS SOUS 1885 HAS SOUPS 1876 WITH SCORE 1884.034
AT ITER 6670 NEW BEST:: SOT 15207 SOS 8034 HAS SOPS 8022 HAS SOUS 1879 HAS SOUPS 1870 WITH SCORE 1878.034
AT ITER 6780 NEW BEST:: SOT 15206 SOS 8029 HAS SOPS 8017 HAS SOUS 1878 HAS SOUPS 1869 WITH SCORE 1877.029
AT ITER 6800 NEW BEST:: SOT 15205 SOS 8057 HAS SOPS 8045 HAS SOUS 1877 HAS SOUPS 1868 WITH SCORE 1876.057
AT ITER 6840 NEW BEST:: SOT 15204 SOS 8056 HAS SOPS 8044 HAS SOUS 1875 HAS SOUPS 1866 WITH SCORE 1874.056
AT ITER 6901 NEW BEST:: SOT 15204 SOS 8056 HAS SOPS 8044 HAS SOUS 1873 HAS SOUPS 1864 WITH SCORE 1872.056
AT ITER 6928 NEW BEST:: SOT 15204 SOS 8056 HAS SOPS 8044 HAS SOUS 1872 HAS SOUPS 1863 WITH SCORE 1871.056
AT ITER 6942 NEW BEST:: SOT 15203 SOS 8055 HAS SOPS 8043 HAS SOUS 1871 HAS SOUPS 1862 WITH SCORE 1870.055
AT ITER 7199 NEW BEST:: SOT 15203 SOS 8055 HAS SOPS 8043 HAS SOUS 1868 HAS SOUPS 1859 WITH SCORE 1867.055
AT ITER 7293 NEW BEST:: SOT 15203 SOS 8055 HAS SOPS 8043 HAS SOUS 1867 HAS SOUPS 1858 WITH SCORE 1866.055
AT ITER 7372 NEW BEST:: SOT 15203 SOS 8055 HAS SOPS 8043 HAS SOUS 1866 HAS SOUPS 1857 WITH SCORE 1865.055
AT ITER 7377 NEW BEST:: SOT 15202 SOS 8054 HAS SOPS 8042 HAS SOUS 1865 HAS SOUPS 1856 WITH SCORE 1864.054
AT ITER 7482 NEW BEST:: SOT 15202 SOS 8053 HAS SOPS 8041 HAS SOUS 1864 HAS SOUPS 1855 WITH SCORE 1863.053
AT ITER 7514 NEW BEST:: SOT 15198 SOS 8039 HAS SOPS 8027 HAS SOUS 1863 HAS SOUPS 1854 WITH SCORE 1862.039
AT ITER 7555 NEW BEST:: SOT 15197 SOS 8038 HAS SOPS 8026 HAS SOUS 1863 HAS SOUPS 1854 WITH SCORE 1862.038
AT ITER 7654 NEW BEST:: SOT 15197 SOS 8025 HAS SOPS 8013 HAS SOUS 1863 HAS SOUPS 1854 WITH SCORE 1862.025
AT ITER 7693 NEW BEST:: SOT 15197 SOS 8025 HAS SOPS 8013 HAS SOUS 1862 HAS SOUPS 1853 WITH SCORE 1861.025
AT ITER 7782 NEW BEST:: SOT 15197 SOS 8033 HAS SOPS 8021 HAS SOUS 1857 HAS SOUPS 1848 WITH SCORE 1856.033
AT ITER 7954 NEW BEST:: SOT 15197 SOS 8030 HAS SOPS 8018 HAS SOUS 1856 HAS SOUPS 1847 WITH SCORE 1855.03
AT ITER 8189 NEW BEST:: SOT 15197 SOS 8030 HAS SOPS 8018 HAS SOUS 1853 HAS SOUPS 1844 WITH SCORE 1852.03
AT ITER 8268 NEW BEST:: SOT 15197 SOS 8030 HAS SOPS 8018 HAS SOUS 1852 HAS SOUPS 1843 WITH SCORE 1851.03
AT ITER 8542 NEW BEST:: SOT 15197 SOS 8030 HAS SOPS 8018 HAS SOUS 1851 HAS SOUPS 1842 WITH SCORE 1850.03
AT ITER 8684 NEW BEST:: SOT 15194 SOS 8027 HAS SOPS 8015 HAS SOUS 1850 HAS SOUPS 1841 WITH SCORE 1849.027
AT ITER 9008 NEW BEST:: SOT 15195 SOS 8029 HAS SOPS 8017 HAS SOUS 1849 HAS SOUPS 1840 WITH SCORE 1848.029
AT ITER 9077 NEW BEST:: SOT 15186 SOS 8010 HAS SOPS 7998 HAS SOUS 1846 HAS SOUPS 1837 WITH SCORE 1845.01
AT ITER 9155 NEW BEST:: SOT 15184 SOS 8002 HAS SOPS 7990 HAS SOUS 1842 HAS SOUPS 1833 WITH SCORE 1841.002
AT ITER 9199 NEW BEST:: SOT 15180 SOS 7984 HAS SOPS 7972 HAS SOUS 1842 HAS SOUPS 1833 WITH SCORE 1840.984
AT ITER 9322 NEW BEST:: SOT 15179 SOS 7982 HAS SOPS 7970 HAS SOUS 1842 HAS SOUPS 1833 WITH SCORE 1840.982
AT ITER 9604 NEW BEST:: SOT 15181 SOS 7984 HAS SOPS 7972 HAS SOUS 1839 HAS SOUPS 1830 WITH SCORE 1837.984
AT ITER 9616 NEW BEST:: SOT 15179 SOS 7982 HAS SOPS 7970 HAS SOUS 1839 HAS SOUPS 1830 WITH SCORE 1837.982
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 1678492769210

--------------------
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-04"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
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-04, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r195-smll-167840342200264"
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 ;