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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 560K
-rw-r--r-- 1 mcc users 6.9K Feb 26 17:59 CTLCardinality.txt
-rw-r--r-- 1 mcc users 75K Feb 26 17:59 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.5K Feb 26 17:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 62K Feb 26 17:58 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:13 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K 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 18K Feb 25 16:13 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 26 18:01 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 171K Feb 26 18:01 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.4K Feb 26 18:00 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 74K Feb 26 18:00 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 51K 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 1678492845212

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-05
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HealthRecord (PT), instance 05
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: 125 places, 246 transitions, 637 arcs.
AT ITER 0 NEW BEST:: SOT 22876 SOS 12915 HAS SOPS 12903 HAS SOUS 7665 HAS SOUPS 7656 WITH SCORE 7668.915
AT ITER 5 NEW BEST:: SOT 22876 SOS 12915 HAS SOPS 12903 HAS SOUS 7660 HAS SOUPS 7651 WITH SCORE 7663.915
AT ITER 8 NEW BEST:: SOT 22818 SOS 12856 HAS SOPS 12844 HAS SOUS 7570 HAS SOUPS 7561 WITH SCORE 7573.856
AT ITER 14 NEW BEST:: SOT 22763 SOS 12737 HAS SOPS 12725 HAS SOUS 7541 HAS SOUPS 7532 WITH SCORE 7544.737
AT ITER 17 NEW BEST:: SOT 22763 SOS 12726 HAS SOPS 12714 HAS SOUS 7541 HAS SOUPS 7532 WITH SCORE 7544.726
AT ITER 19 NEW BEST:: SOT 22761 SOS 12722 HAS SOPS 12710 HAS SOUS 7539 HAS SOUPS 7530 WITH SCORE 7542.722
AT ITER 21 NEW BEST:: SOT 22761 SOS 12780 HAS SOPS 12768 HAS SOUS 7519 HAS SOUPS 7510 WITH SCORE 7522.78
AT ITER 22 NEW BEST:: SOT 22714 SOS 12740 HAS SOPS 12728 HAS SOUS 7516 HAS SOUPS 7507 WITH SCORE 7519.74
AT ITER 23 NEW BEST:: SOT 22714 SOS 12732 HAS SOPS 12720 HAS SOUS 7508 HAS SOUPS 7499 WITH SCORE 7511.732
AT ITER 28 NEW BEST:: SOT 22532 SOS 12511 HAS SOPS 12499 HAS SOUS 7497 HAS SOUPS 7488 WITH SCORE 7500.511
AT ITER 29 NEW BEST:: SOT 22447 SOS 12432 HAS SOPS 12420 HAS SOUS 7457 HAS SOUPS 7448 WITH SCORE 7460.432
AT ITER 33 NEW BEST:: SOT 22437 SOS 12402 HAS SOPS 12390 HAS SOUS 7447 HAS SOUPS 7438 WITH SCORE 7450.402
AT ITER 41 NEW BEST:: SOT 22410 SOS 12413 HAS SOPS 12401 HAS SOUS 7425 HAS SOUPS 7416 WITH SCORE 7428.413
AT ITER 43 NEW BEST:: SOT 22410 SOS 12414 HAS SOPS 12402 HAS SOUS 7423 HAS SOUPS 7414 WITH SCORE 7426.414
AT ITER 49 NEW BEST:: SOT 22410 SOS 12211 HAS SOPS 12199 HAS SOUS 7423 HAS SOUPS 7414 WITH SCORE 7426.211
AT ITER 51 NEW BEST:: SOT 22409 SOS 12210 HAS SOPS 12198 HAS SOUS 7422 HAS SOUPS 7413 WITH SCORE 7425.21
AT ITER 52 NEW BEST:: SOT 22409 SOS 12148 HAS SOPS 12136 HAS SOUS 7360 HAS SOUPS 7351 WITH SCORE 7363.148
AT ITER 53 NEW BEST:: SOT 21861 SOS 11716 HAS SOPS 11704 HAS SOUS 7060 HAS SOUPS 7051 WITH SCORE 7062.716
AT ITER 56 NEW BEST:: SOT 21158 SOS 11346 HAS SOPS 11334 HAS SOUS 6748 HAS SOUPS 6739 WITH SCORE 6750.346
AT ITER 58 NEW BEST:: SOT 21151 SOS 11325 HAS SOPS 11313 HAS SOUS 6734 HAS SOUPS 6725 WITH SCORE 6736.325
AT ITER 60 NEW BEST:: SOT 21155 SOS 11341 HAS SOPS 11329 HAS SOUS 6722 HAS SOUPS 6713 WITH SCORE 6724.341
AT ITER 70 NEW BEST:: SOT 21101 SOS 11157 HAS SOPS 11145 HAS SOUS 6667 HAS SOUPS 6658 WITH SCORE 6669.157
AT ITER 72 NEW BEST:: SOT 21023 SOS 11001 HAS SOPS 10989 HAS SOUS 6655 HAS SOUPS 6646 WITH SCORE 6657.001
AT ITER 77 NEW BEST:: SOT 21049 SOS 11053 HAS SOPS 11041 HAS SOUS 6651 HAS SOUPS 6642 WITH SCORE 6653.053
AT ITER 78 NEW BEST:: SOT 21049 SOS 11034 HAS SOPS 11022 HAS SOUS 6632 HAS SOUPS 6623 WITH SCORE 6634.034
AT ITER 80 NEW BEST:: SOT 21049 SOS 10987 HAS SOPS 10975 HAS SOUS 6632 HAS SOUPS 6623 WITH SCORE 6633.987
AT ITER 82 NEW BEST:: SOT 21008 SOS 10678 HAS SOPS 10666 HAS SOUS 6493 HAS SOUPS 6484 WITH SCORE 6494.678
AT ITER 84 NEW BEST:: SOT 20836 SOS 10397 HAS SOPS 10385 HAS SOUS 6328 HAS SOUPS 6319 WITH SCORE 6329.397
AT ITER 87 NEW BEST:: SOT 20818 SOS 10368 HAS SOPS 10356 HAS SOUS 6317 HAS SOUPS 6308 WITH SCORE 6318.368
AT ITER 91 NEW BEST:: SOT 20732 SOS 10196 HAS SOPS 10184 HAS SOUS 6230 HAS SOUPS 6221 WITH SCORE 6231.196
AT ITER 100 NEW BEST:: SOT 20731 SOS 10188 HAS SOPS 10176 HAS SOUS 6224 HAS SOUPS 6215 WITH SCORE 6225.188
AT ITER 104 NEW BEST:: SOT 20288 SOS 11034 HAS SOPS 11022 HAS SOUS 6191 HAS SOUPS 6182 WITH SCORE 6193.034
AT ITER 109 NEW BEST:: SOT 20310 SOS 11056 HAS SOPS 11044 HAS SOUS 6169 HAS SOUPS 6160 WITH SCORE 6171.056
AT ITER 111 NEW BEST:: SOT 20249 SOS 10973 HAS SOPS 10961 HAS SOUS 6085 HAS SOUPS 6076 WITH SCORE 6086.973
AT ITER 113 NEW BEST:: SOT 20235 SOS 10980 HAS SOPS 10968 HAS SOUS 6068 HAS SOUPS 6059 WITH SCORE 6069.98
AT ITER 120 NEW BEST:: SOT 20235 SOS 10966 HAS SOPS 10954 HAS SOUS 6040 HAS SOUPS 6031 WITH SCORE 6041.966
AT ITER 124 NEW BEST:: SOT 20248 SOS 10970 HAS SOPS 10958 HAS SOUS 6033 HAS SOUPS 6024 WITH SCORE 6034.97
AT ITER 130 NEW BEST:: SOT 20190 SOS 10858 HAS SOPS 10846 HAS SOUS 6017 HAS SOUPS 6008 WITH SCORE 6018.858
AT ITER 136 NEW BEST:: SOT 19423 SOS 10564 HAS SOPS 10552 HAS SOUS 5787 HAS SOUPS 5778 WITH SCORE 5788.564
AT ITER 139 NEW BEST:: SOT 19420 SOS 10561 HAS SOPS 10549 HAS SOUS 5787 HAS SOUPS 5778 WITH SCORE 5788.561
AT ITER 148 NEW BEST:: SOT 19408 SOS 10529 HAS SOPS 10517 HAS SOUS 5774 HAS SOUPS 5765 WITH SCORE 5775.529
AT ITER 156 NEW BEST:: SOT 18463 SOS 10381 HAS SOPS 10369 HAS SOUS 4898 HAS SOUPS 4889 WITH SCORE 4899.381
AT ITER 159 NEW BEST:: SOT 18452 SOS 10359 HAS SOPS 10347 HAS SOUS 4898 HAS SOUPS 4889 WITH SCORE 4899.359
AT ITER 167 NEW BEST:: SOT 18416 SOS 10322 HAS SOPS 10310 HAS SOUS 4877 HAS SOUPS 4868 WITH SCORE 4878.322
AT ITER 169 NEW BEST:: SOT 18416 SOS 10322 HAS SOPS 10310 HAS SOUS 4876 HAS SOUPS 4867 WITH SCORE 4877.322
AT ITER 175 NEW BEST:: SOT 18328 SOS 10265 HAS SOPS 10253 HAS SOUS 4812 HAS SOUPS 4803 WITH SCORE 4813.265
AT ITER 178 NEW BEST:: SOT 18267 SOS 10070 HAS SOPS 10058 HAS SOUS 4766 HAS SOUPS 4757 WITH SCORE 4767.07
AT ITER 181 NEW BEST:: SOT 18267 SOS 10057 HAS SOPS 10045 HAS SOUS 4753 HAS SOUPS 4744 WITH SCORE 4754.057
AT ITER 182 NEW BEST:: SOT 18215 SOS 10029 HAS SOPS 10017 HAS SOUS 4745 HAS SOUPS 4736 WITH SCORE 4746.029
AT ITER 185 NEW BEST:: SOT 18129 SOS 9935 HAS SOPS 9923 HAS SOUS 4710 HAS SOUPS 4701 WITH SCORE 4710.935
AT ITER 195 NEW BEST:: SOT 18111 SOS 9899 HAS SOPS 9887 HAS SOUS 4710 HAS SOUPS 4701 WITH SCORE 4710.899
AT ITER 213 NEW BEST:: SOT 18097 SOS 9878 HAS SOPS 9866 HAS SOUS 4698 HAS SOUPS 4689 WITH SCORE 4698.878
AT ITER 215 NEW BEST:: SOT 18118 SOS 9899 HAS SOPS 9887 HAS SOUS 4667 HAS SOUPS 4658 WITH SCORE 4667.899
AT ITER 218 NEW BEST:: SOT 18078 SOS 9818 HAS SOPS 9806 HAS SOUS 4585 HAS SOUPS 4576 WITH SCORE 4585.818
AT ITER 229 NEW BEST:: SOT 18063 SOS 9791 HAS SOPS 9779 HAS SOUS 4566 HAS SOUPS 4557 WITH SCORE 4566.791
AT ITER 230 NEW BEST:: SOT 18040 SOS 9769 HAS SOPS 9757 HAS SOUS 4544 HAS SOUPS 4535 WITH SCORE 4544.769
AT ITER 236 NEW BEST:: SOT 18008 SOS 10381 HAS SOPS 10369 HAS SOUS 4533 HAS SOUPS 4524 WITH SCORE 4534.381
AT ITER 237 NEW BEST:: SOT 17990 SOS 10363 HAS SOPS 10351 HAS SOUS 4533 HAS SOUPS 4524 WITH SCORE 4534.363
AT ITER 240 NEW BEST:: SOT 17990 SOS 10363 HAS SOPS 10351 HAS SOUS 4531 HAS SOUPS 4522 WITH SCORE 4532.363
AT ITER 241 NEW BEST:: SOT 17476 SOS 10222 HAS SOPS 10210 HAS SOUS 3990 HAS SOUPS 3981 WITH SCORE 3991.222
AT ITER 247 NEW BEST:: SOT 17471 SOS 10211 HAS SOPS 10199 HAS SOUS 3945 HAS SOUPS 3936 WITH SCORE 3946.211
AT ITER 249 NEW BEST:: SOT 17427 SOS 10123 HAS SOPS 10111 HAS SOUS 3923 HAS SOUPS 3914 WITH SCORE 3924.123
AT ITER 250 NEW BEST:: SOT 17416 SOS 10042 HAS SOPS 10030 HAS SOUS 3832 HAS SOUPS 3823 WITH SCORE 3833.042
AT ITER 252 NEW BEST:: SOT 17431 SOS 10057 HAS SOPS 10045 HAS SOUS 3814 HAS SOUPS 3805 WITH SCORE 3815.057
AT ITER 256 NEW BEST:: SOT 17461 SOS 10085 HAS SOPS 10073 HAS SOUS 3729 HAS SOUPS 3720 WITH SCORE 3730.085
AT ITER 266 NEW BEST:: SOT 17461 SOS 10086 HAS SOPS 10074 HAS SOUS 3725 HAS SOUPS 3716 WITH SCORE 3726.086
AT ITER 268 NEW BEST:: SOT 17454 SOS 10224 HAS SOPS 10212 HAS SOUS 3718 HAS SOUPS 3709 WITH SCORE 3719.224
AT ITER 271 NEW BEST:: SOT 17459 SOS 10239 HAS SOPS 10227 HAS SOUS 3707 HAS SOUPS 3698 WITH SCORE 3708.239
AT ITER 272 NEW BEST:: SOT 17429 SOS 10215 HAS SOPS 10203 HAS SOUS 3677 HAS SOUPS 3668 WITH SCORE 3678.215
AT ITER 274 NEW BEST:: SOT 17358 SOS 10002 HAS SOPS 9990 HAS SOUS 3677 HAS SOUPS 3668 WITH SCORE 3678.002
AT ITER 291 NEW BEST:: SOT 17353 SOS 9997 HAS SOPS 9985 HAS SOUS 3659 HAS SOUPS 3650 WITH SCORE 3659.997
AT ITER 294 NEW BEST:: SOT 17424 SOS 10055 HAS SOPS 10043 HAS SOUS 3640 HAS SOUPS 3631 WITH SCORE 3641.055
AT ITER 305 NEW BEST:: SOT 17425 SOS 10053 HAS SOPS 10041 HAS SOUS 3631 HAS SOUPS 3622 WITH SCORE 3632.053
AT ITER 306 NEW BEST:: SOT 17413 SOS 10131 HAS SOPS 10119 HAS SOUS 3619 HAS SOUPS 3610 WITH SCORE 3620.131
AT ITER 314 NEW BEST:: SOT 17412 SOS 10128 HAS SOPS 10116 HAS SOUS 3619 HAS SOUPS 3610 WITH SCORE 3620.128
AT ITER 322 NEW BEST:: SOT 17384 SOS 10080 HAS SOPS 10068 HAS SOUS 3596 HAS SOUPS 3587 WITH SCORE 3597.08
AT ITER 323 NEW BEST:: SOT 17375 SOS 10059 HAS SOPS 10047 HAS SOUS 3566 HAS SOUPS 3557 WITH SCORE 3567.059
AT ITER 330 NEW BEST:: SOT 17364 SOS 10049 HAS SOPS 10037 HAS SOUS 3564 HAS SOUPS 3555 WITH SCORE 3565.049
AT ITER 351 NEW BEST:: SOT 17345 SOS 10025 HAS SOPS 10013 HAS SOUS 3545 HAS SOUPS 3536 WITH SCORE 3546.025
AT ITER 358 NEW BEST:: SOT 17341 SOS 10017 HAS SOPS 10005 HAS SOUS 3542 HAS SOUPS 3533 WITH SCORE 3543.017
AT ITER 361 NEW BEST:: SOT 17283 SOS 9897 HAS SOPS 9885 HAS SOUS 3528 HAS SOUPS 3519 WITH SCORE 3528.897
AT ITER 372 NEW BEST:: SOT 17295 SOS 9904 HAS SOPS 9892 HAS SOUS 3513 HAS SOUPS 3504 WITH SCORE 3513.904
AT ITER 387 NEW BEST:: SOT 17286 SOS 9889 HAS SOPS 9877 HAS SOUS 3505 HAS SOUPS 3496 WITH SCORE 3505.889
AT ITER 403 NEW BEST:: SOT 17281 SOS 9877 HAS SOPS 9865 HAS SOUS 3500 HAS SOUPS 3491 WITH SCORE 3500.877
AT ITER 413 NEW BEST:: SOT 17159 SOS 9581 HAS SOPS 9569 HAS SOUS 3421 HAS SOUPS 3412 WITH SCORE 3421.581
AT ITER 418 NEW BEST:: SOT 17212 SOS 9587 HAS SOPS 9575 HAS SOUS 3414 HAS SOUPS 3405 WITH SCORE 3414.587
AT ITER 423 NEW BEST:: SOT 17189 SOS 9546 HAS SOPS 9534 HAS SOUS 3368 HAS SOUPS 3359 WITH SCORE 3368.546
AT ITER 437 NEW BEST:: SOT 17189 SOS 9546 HAS SOPS 9534 HAS SOUS 3359 HAS SOUPS 3350 WITH SCORE 3359.546
AT ITER 441 NEW BEST:: SOT 17182 SOS 9539 HAS SOPS 9527 HAS SOUS 3345 HAS SOUPS 3336 WITH SCORE 3345.539
AT ITER 454 NEW BEST:: SOT 17129 SOS 9506 HAS SOPS 9494 HAS SOUS 3330 HAS SOUPS 3321 WITH SCORE 3330.506
AT ITER 456 NEW BEST:: SOT 17123 SOS 9500 HAS SOPS 9488 HAS SOUS 3320 HAS SOUPS 3311 WITH SCORE 3320.5
AT ITER 463 NEW BEST:: SOT 17119 SOS 9493 HAS SOPS 9481 HAS SOUS 3316 HAS SOUPS 3307 WITH SCORE 3316.493
AT ITER 472 NEW BEST:: SOT 17110 SOS 9478 HAS SOPS 9466 HAS SOUS 3307 HAS SOUPS 3298 WITH SCORE 3307.478
AT ITER 475 NEW BEST:: SOT 17107 SOS 9466 HAS SOPS 9454 HAS SOUS 3304 HAS SOUPS 3295 WITH SCORE 3304.466
AT ITER 477 NEW BEST:: SOT 17068 SOS 9357 HAS SOPS 9345 HAS SOUS 3260 HAS SOUPS 3251 WITH SCORE 3260.357
AT ITER 478 NEW BEST:: SOT 17025 SOS 9285 HAS SOPS 9273 HAS SOUS 3233 HAS SOUPS 3224 WITH SCORE 3233.285
AT ITER 489 NEW BEST:: SOT 17021 SOS 9279 HAS SOPS 9267 HAS SOUS 3227 HAS SOUPS 3218 WITH SCORE 3227.279
AT ITER 504 NEW BEST:: SOT 17042 SOS 9300 HAS SOPS 9288 HAS SOUS 3220 HAS SOUPS 3211 WITH SCORE 3220.3
AT ITER 524 NEW BEST:: SOT 17039 SOS 9274 HAS SOPS 9262 HAS SOUS 3208 HAS SOUPS 3199 WITH SCORE 3208.274
AT ITER 526 NEW BEST:: SOT 17029 SOS 9264 HAS SOPS 9252 HAS SOUS 3198 HAS SOUPS 3189 WITH SCORE 3198.264
AT ITER 528 NEW BEST:: SOT 17022 SOS 9297 HAS SOPS 9285 HAS SOUS 3189 HAS SOUPS 3180 WITH SCORE 3189.297
AT ITER 531 NEW BEST:: SOT 17012 SOS 9287 HAS SOPS 9275 HAS SOUS 3169 HAS SOUPS 3160 WITH SCORE 3169.287
AT ITER 533 NEW BEST:: SOT 17015 SOS 9346 HAS SOPS 9334 HAS SOUS 3143 HAS SOUPS 3134 WITH SCORE 3143.346
AT ITER 543 NEW BEST:: SOT 17012 SOS 9335 HAS SOPS 9323 HAS SOUS 3142 HAS SOUPS 3133 WITH SCORE 3142.335
AT ITER 548 NEW BEST:: SOT 17015 SOS 9342 HAS SOPS 9330 HAS SOUS 3132 HAS SOUPS 3123 WITH SCORE 3132.342
AT ITER 571 NEW BEST:: SOT 17005 SOS 9332 HAS SOPS 9320 HAS SOUS 3131 HAS SOUPS 3122 WITH SCORE 3131.332
AT ITER 572 NEW BEST:: SOT 17008 SOS 9475 HAS SOPS 9463 HAS SOUS 3130 HAS SOUPS 3121 WITH SCORE 3130.475
AT ITER 579 NEW BEST:: SOT 16982 SOS 9424 HAS SOPS 9412 HAS SOUS 3105 HAS SOUPS 3096 WITH SCORE 3105.424
AT ITER 585 NEW BEST:: SOT 16968 SOS 9410 HAS SOPS 9398 HAS SOUS 3101 HAS SOUPS 3092 WITH SCORE 3101.41
AT ITER 593 NEW BEST:: SOT 16905 SOS 9305 HAS SOPS 9293 HAS SOUS 3038 HAS SOUPS 3029 WITH SCORE 3038.305
AT ITER 597 NEW BEST:: SOT 16927 SOS 9331 HAS SOPS 9319 HAS SOUS 3031 HAS SOUPS 3022 WITH SCORE 3031.331
AT ITER 609 NEW BEST:: SOT 16924 SOS 9319 HAS SOPS 9307 HAS SOUS 3028 HAS SOUPS 3019 WITH SCORE 3028.319
AT ITER 630 NEW BEST:: SOT 16919 SOS 9310 HAS SOPS 9298 HAS SOUS 3019 HAS SOUPS 3010 WITH SCORE 3019.31
AT ITER 632 NEW BEST:: SOT 16915 SOS 9298 HAS SOPS 9286 HAS SOUS 3017 HAS SOUPS 3008 WITH SCORE 3017.298
AT ITER 646 NEW BEST:: SOT 16908 SOS 9284 HAS SOPS 9272 HAS SOUS 3011 HAS SOUPS 3002 WITH SCORE 3011.284
AT ITER 706 NEW BEST:: SOT 16884 SOS 9260 HAS SOPS 9248 HAS SOUS 3011 HAS SOUPS 3002 WITH SCORE 3011.26
AT ITER 713 NEW BEST:: SOT 16890 SOS 9266 HAS SOPS 9254 HAS SOUS 3008 HAS SOUPS 2999 WITH SCORE 3008.266
AT ITER 717 NEW BEST:: SOT 16894 SOS 9268 HAS SOPS 9256 HAS SOUS 3003 HAS SOUPS 2994 WITH SCORE 3003.268
AT ITER 724 NEW BEST:: SOT 16892 SOS 9266 HAS SOPS 9254 HAS SOUS 3001 HAS SOUPS 2992 WITH SCORE 3001.266
AT ITER 729 NEW BEST:: SOT 16888 SOS 9249 HAS SOPS 9237 HAS SOUS 2994 HAS SOUPS 2985 WITH SCORE 2994.249
AT ITER 734 NEW BEST:: SOT 16868 SOS 9229 HAS SOPS 9217 HAS SOUS 2990 HAS SOUPS 2981 WITH SCORE 2990.229
AT ITER 748 NEW BEST:: SOT 16865 SOS 9226 HAS SOPS 9214 HAS SOUS 2990 HAS SOUPS 2981 WITH SCORE 2990.226
AT ITER 754 NEW BEST:: SOT 16869 SOS 9234 HAS SOPS 9222 HAS SOUS 2986 HAS SOUPS 2977 WITH SCORE 2986.234
AT ITER 773 NEW BEST:: SOT 16860 SOS 9324 HAS SOPS 9312 HAS SOUS 2980 HAS SOUPS 2971 WITH SCORE 2980.324
AT ITER 787 NEW BEST:: SOT 16877 SOS 9357 HAS SOPS 9345 HAS SOUS 2975 HAS SOUPS 2966 WITH SCORE 2975.357
AT ITER 817 NEW BEST:: SOT 16854 SOS 9286 HAS SOPS 9274 HAS SOUS 2925 HAS SOUPS 2916 WITH SCORE 2925.286
AT ITER 836 NEW BEST:: SOT 16869 SOS 9308 HAS SOPS 9296 HAS SOUS 2919 HAS SOUPS 2910 WITH SCORE 2919.308
AT ITER 842 NEW BEST:: SOT 16876 SOS 9326 HAS SOPS 9314 HAS SOUS 2914 HAS SOUPS 2905 WITH SCORE 2914.326
AT ITER 851 NEW BEST:: SOT 16874 SOS 9322 HAS SOPS 9310 HAS SOUS 2911 HAS SOUPS 2902 WITH SCORE 2911.322
AT ITER 858 NEW BEST:: SOT 16875 SOS 9323 HAS SOPS 9311 HAS SOUS 2909 HAS SOUPS 2900 WITH SCORE 2909.323
AT ITER 864 NEW BEST:: SOT 16842 SOS 9257 HAS SOPS 9245 HAS SOUS 2903 HAS SOUPS 2894 WITH SCORE 2903.257
AT ITER 873 NEW BEST:: SOT 16842 SOS 9259 HAS SOPS 9247 HAS SOUS 2890 HAS SOUPS 2881 WITH SCORE 2890.259
AT ITER 879 NEW BEST:: SOT 16841 SOS 9257 HAS SOPS 9245 HAS SOUS 2890 HAS SOUPS 2881 WITH SCORE 2890.257
AT ITER 889 NEW BEST:: SOT 16839 SOS 9255 HAS SOPS 9243 HAS SOUS 2888 HAS SOUPS 2879 WITH SCORE 2888.255
AT ITER 890 NEW BEST:: SOT 16841 SOS 9261 HAS SOPS 9249 HAS SOUS 2887 HAS SOUPS 2878 WITH SCORE 2887.261
AT ITER 892 NEW BEST:: SOT 16838 SOS 9257 HAS SOPS 9245 HAS SOUS 2881 HAS SOUPS 2872 WITH SCORE 2881.257
AT ITER 899 NEW BEST:: SOT 16861 SOS 9268 HAS SOPS 9256 HAS SOUS 2860 HAS SOUPS 2851 WITH SCORE 2860.268
AT ITER 905 NEW BEST:: SOT 16845 SOS 9233 HAS SOPS 9221 HAS SOUS 2851 HAS SOUPS 2842 WITH SCORE 2851.233
AT ITER 909 NEW BEST:: SOT 16845 SOS 9233 HAS SOPS 9221 HAS SOUS 2846 HAS SOUPS 2837 WITH SCORE 2846.233
AT ITER 913 NEW BEST:: SOT 16841 SOS 9224 HAS SOPS 9212 HAS SOUS 2837 HAS SOUPS 2828 WITH SCORE 2837.224
AT ITER 920 NEW BEST:: SOT 16831 SOS 9182 HAS SOPS 9170 HAS SOUS 2833 HAS SOUPS 2824 WITH SCORE 2833.182
AT ITER 941 NEW BEST:: SOT 16748 SOS 10079 HAS SOPS 10067 HAS SOUS 2786 HAS SOUPS 2777 WITH SCORE 2787.079
AT ITER 945 NEW BEST:: SOT 16744 SOS 10074 HAS SOPS 10062 HAS SOUS 2784 HAS SOUPS 2775 WITH SCORE 2785.074
AT ITER 949 NEW BEST:: SOT 16743 SOS 10073 HAS SOPS 10061 HAS SOUS 2782 HAS SOUPS 2773 WITH SCORE 2783.073
AT ITER 951 NEW BEST:: SOT 16738 SOS 10071 HAS SOPS 10059 HAS SOUS 2782 HAS SOUPS 2773 WITH SCORE 2783.071
AT ITER 960 NEW BEST:: SOT 16743 SOS 10022 HAS SOPS 10010 HAS SOUS 2740 HAS SOUPS 2731 WITH SCORE 2741.022
AT ITER 965 NEW BEST:: SOT 16743 SOS 10020 HAS SOPS 10008 HAS SOUS 2740 HAS SOUPS 2731 WITH SCORE 2741.02
AT ITER 969 NEW BEST:: SOT 16747 SOS 10028 HAS SOPS 10016 HAS SOUS 2737 HAS SOUPS 2728 WITH SCORE 2738.028
AT ITER 976 NEW BEST:: SOT 16742 SOS 10023 HAS SOPS 10011 HAS SOUS 2732 HAS SOUPS 2723 WITH SCORE 2733.023
AT ITER 986 NEW BEST:: SOT 16751 SOS 10058 HAS SOPS 10046 HAS SOUS 2720 HAS SOUPS 2711 WITH SCORE 2721.058
AT ITER 993 NEW BEST:: SOT 16748 SOS 10055 HAS SOPS 10043 HAS SOUS 2719 HAS SOUPS 2710 WITH SCORE 2720.055
AT ITER 1015 NEW BEST:: SOT 16745 SOS 10052 HAS SOPS 10040 HAS SOUS 2716 HAS SOUPS 2707 WITH SCORE 2717.052
AT ITER 1054 NEW BEST:: SOT 16735 SOS 10042 HAS SOPS 10030 HAS SOUS 2715 HAS SOUPS 2706 WITH SCORE 2716.042
AT ITER 1060 NEW BEST:: SOT 16763 SOS 10098 HAS SOPS 10086 HAS SOUS 2711 HAS SOUPS 2702 WITH SCORE 2712.098
AT ITER 1063 NEW BEST:: SOT 16734 SOS 10069 HAS SOPS 10057 HAS SOUS 2707 HAS SOUPS 2698 WITH SCORE 2708.069
AT ITER 1067 NEW BEST:: SOT 16742 SOS 10085 HAS SOPS 10073 HAS SOUS 2699 HAS SOUPS 2690 WITH SCORE 2700.085
AT ITER 1074 NEW BEST:: SOT 16738 SOS 10079 HAS SOPS 10067 HAS SOUS 2699 HAS SOUPS 2690 WITH SCORE 2700.079
AT ITER 1100 NEW BEST:: SOT 16734 SOS 10069 HAS SOPS 10057 HAS SOUS 2697 HAS SOUPS 2688 WITH SCORE 2698.069
AT ITER 1103 NEW BEST:: SOT 16755 SOS 10090 HAS SOPS 10078 HAS SOUS 2693 HAS SOUPS 2684 WITH SCORE 2694.09
AT ITER 1108 NEW BEST:: SOT 16738 SOS 10073 HAS SOPS 10061 HAS SOUS 2693 HAS SOUPS 2684 WITH SCORE 2694.073
AT ITER 1126 NEW BEST:: SOT 16728 SOS 10056 HAS SOPS 10044 HAS SOUS 2691 HAS SOUPS 2682 WITH SCORE 2692.056
AT ITER 1131 NEW BEST:: SOT 16701 SOS 10029 HAS SOPS 10017 HAS SOUS 2664 HAS SOUPS 2655 WITH SCORE 2665.029
AT ITER 1142 NEW BEST:: SOT 16701 SOS 10029 HAS SOPS 10017 HAS SOUS 2663 HAS SOUPS 2654 WITH SCORE 2664.029
AT ITER 1144 NEW BEST:: SOT 16669 SOS 9982 HAS SOPS 9970 HAS SOUS 2651 HAS SOUPS 2642 WITH SCORE 2651.982
AT ITER 1163 NEW BEST:: SOT 16671 SOS 9984 HAS SOPS 9972 HAS SOUS 2630 HAS SOUPS 2621 WITH SCORE 2630.984
AT ITER 1173 NEW BEST:: SOT 16670 SOS 9982 HAS SOPS 9970 HAS SOUS 2629 HAS SOUPS 2620 WITH SCORE 2629.982
AT ITER 1183 NEW BEST:: SOT 16670 SOS 9954 HAS SOPS 9942 HAS SOUS 2615 HAS SOUPS 2606 WITH SCORE 2615.954
AT ITER 1197 NEW BEST:: SOT 16636 SOS 9889 HAS SOPS 9877 HAS SOUS 2580 HAS SOUPS 2571 WITH SCORE 2580.889
AT ITER 1201 NEW BEST:: SOT 16633 SOS 9886 HAS SOPS 9874 HAS SOUS 2577 HAS SOUPS 2568 WITH SCORE 2577.886
AT ITER 1222 NEW BEST:: SOT 16637 SOS 9893 HAS SOPS 9881 HAS SOUS 2558 HAS SOUPS 2549 WITH SCORE 2558.893
AT ITER 1224 NEW BEST:: SOT 16637 SOS 9893 HAS SOPS 9881 HAS SOUS 2554 HAS SOUPS 2545 WITH SCORE 2554.893
AT ITER 1230 NEW BEST:: SOT 16623 SOS 9865 HAS SOPS 9853 HAS SOUS 2540 HAS SOUPS 2531 WITH SCORE 2540.865
AT ITER 1234 NEW BEST:: SOT 16620 SOS 9862 HAS SOPS 9850 HAS SOUS 2539 HAS SOUPS 2530 WITH SCORE 2539.862
AT ITER 1242 NEW BEST:: SOT 16620 SOS 9862 HAS SOPS 9850 HAS SOUS 2533 HAS SOUPS 2524 WITH SCORE 2533.862
AT ITER 1243 NEW BEST:: SOT 16604 SOS 9846 HAS SOPS 9834 HAS SOUS 2491 HAS SOUPS 2482 WITH SCORE 2491.846
AT ITER 1249 NEW BEST:: SOT 16603 SOS 9844 HAS SOPS 9832 HAS SOUS 2490 HAS SOUPS 2481 WITH SCORE 2490.844
AT ITER 1251 NEW BEST:: SOT 16604 SOS 9848 HAS SOPS 9836 HAS SOUS 2489 HAS SOUPS 2480 WITH SCORE 2489.848
AT ITER 1254 NEW BEST:: SOT 16586 SOS 9802 HAS SOPS 9790 HAS SOUS 2473 HAS SOUPS 2464 WITH SCORE 2473.802
AT ITER 1257 NEW BEST:: SOT 16586 SOS 9802 HAS SOPS 9790 HAS SOUS 2466 HAS SOUPS 2457 WITH SCORE 2466.802
AT ITER 1269 NEW BEST:: SOT 16583 SOS 9799 HAS SOPS 9787 HAS SOUS 2464 HAS SOUPS 2455 WITH SCORE 2464.799
AT ITER 1274 NEW BEST:: SOT 16582 SOS 9798 HAS SOPS 9786 HAS SOUS 2462 HAS SOUPS 2453 WITH SCORE 2462.798
AT ITER 1313 NEW BEST:: SOT 16596 SOS 9824 HAS SOPS 9812 HAS SOUS 2458 HAS SOUPS 2449 WITH SCORE 2458.824
AT ITER 1324 NEW BEST:: SOT 16608 SOS 9880 HAS SOPS 9868 HAS SOUS 2452 HAS SOUPS 2443 WITH SCORE 2452.88
AT ITER 1328 NEW BEST:: SOT 16606 SOS 9515 HAS SOPS 9503 HAS SOUS 2450 HAS SOUPS 2441 WITH SCORE 2450.515
AT ITER 1364 NEW BEST:: SOT 16598 SOS 9503 HAS SOPS 9491 HAS SOUS 2442 HAS SOUPS 2433 WITH SCORE 2442.503
AT ITER 1384 NEW BEST:: SOT 16589 SOS 9494 HAS SOPS 9482 HAS SOUS 2438 HAS SOUPS 2429 WITH SCORE 2438.494
AT ITER 1389 NEW BEST:: SOT 16587 SOS 9490 HAS SOPS 9478 HAS SOUS 2435 HAS SOUPS 2426 WITH SCORE 2435.49
AT ITER 1398 NEW BEST:: SOT 16595 SOS 9506 HAS SOPS 9494 HAS SOUS 2429 HAS SOUPS 2420 WITH SCORE 2429.506
AT ITER 1402 NEW BEST:: SOT 16579 SOS 9471 HAS SOPS 9459 HAS SOUS 2428 HAS SOUPS 2419 WITH SCORE 2428.471
AT ITER 1417 NEW BEST:: SOT 16585 SOS 9466 HAS SOPS 9454 HAS SOUS 2406 HAS SOUPS 2397 WITH SCORE 2406.466
AT ITER 1421 NEW BEST:: SOT 16583 SOS 9464 HAS SOPS 9452 HAS SOUS 2406 HAS SOUPS 2397 WITH SCORE 2406.464
AT ITER 1423 NEW BEST:: SOT 16583 SOS 9447 HAS SOPS 9435 HAS SOUS 2394 HAS SOUPS 2385 WITH SCORE 2394.447
AT ITER 1430 NEW BEST:: SOT 16584 SOS 9447 HAS SOPS 9435 HAS SOUS 2389 HAS SOUPS 2380 WITH SCORE 2389.447
AT ITER 1434 NEW BEST:: SOT 16581 SOS 9444 HAS SOPS 9432 HAS SOUS 2383 HAS SOUPS 2374 WITH SCORE 2383.444
AT ITER 1436 NEW BEST:: SOT 16551 SOS 9371 HAS SOPS 9359 HAS SOUS 2366 HAS SOUPS 2357 WITH SCORE 2366.371
AT ITER 1447 NEW BEST:: SOT 16523 SOS 9287 HAS SOPS 9275 HAS SOUS 2362 HAS SOUPS 2353 WITH SCORE 2362.287
AT ITER 1448 NEW BEST:: SOT 16523 SOS 9287 HAS SOPS 9275 HAS SOUS 2354 HAS SOUPS 2345 WITH SCORE 2354.287
AT ITER 1451 NEW BEST:: SOT 16493 SOS 9204 HAS SOPS 9192 HAS SOUS 2343 HAS SOUPS 2334 WITH SCORE 2343.204
AT ITER 1509 NEW BEST:: SOT 16483 SOS 9189 HAS SOPS 9177 HAS SOUS 2330 HAS SOUPS 2321 WITH SCORE 2330.189
AT ITER 1522 NEW BEST:: SOT 16486 SOS 9192 HAS SOPS 9180 HAS SOUS 2324 HAS SOUPS 2315 WITH SCORE 2324.192
AT ITER 1582 NEW BEST:: SOT 16472 SOS 9173 HAS SOPS 9161 HAS SOUS 2324 HAS SOUPS 2315 WITH SCORE 2324.173
AT ITER 1597 NEW BEST:: SOT 16472 SOS 9173 HAS SOPS 9161 HAS SOUS 2322 HAS SOUPS 2313 WITH SCORE 2322.173
AT ITER 1660 NEW BEST:: SOT 16458 SOS 9159 HAS SOPS 9147 HAS SOUS 2315 HAS SOUPS 2306 WITH SCORE 2315.159
AT ITER 1668 NEW BEST:: SOT 16460 SOS 9093 HAS SOPS 9081 HAS SOUS 2314 HAS SOUPS 2305 WITH SCORE 2314.093
AT ITER 1676 NEW BEST:: SOT 16442 SOS 9066 HAS SOPS 9054 HAS SOUS 2314 HAS SOUPS 2305 WITH SCORE 2314.066
AT ITER 1685 NEW BEST:: SOT 16440 SOS 9064 HAS SOPS 9052 HAS SOUS 2308 HAS SOUPS 2299 WITH SCORE 2308.064
AT ITER 1689 NEW BEST:: SOT 16406 SOS 9007 HAS SOPS 8995 HAS SOUS 2291 HAS SOUPS 2282 WITH SCORE 2291.007
AT ITER 1703 NEW BEST:: SOT 16397 SOS 8998 HAS SOPS 8986 HAS SOUS 2285 HAS SOUPS 2276 WITH SCORE 2284.998
AT ITER 1710 NEW BEST:: SOT 16416 SOS 9017 HAS SOPS 9005 HAS SOUS 2255 HAS SOUPS 2246 WITH SCORE 2255.017
AT ITER 1725 NEW BEST:: SOT 16416 SOS 9017 HAS SOPS 9005 HAS SOUS 2244 HAS SOUPS 2235 WITH SCORE 2244.017
AT ITER 1726 NEW BEST:: SOT 16410 SOS 9011 HAS SOPS 8999 HAS SOUS 2241 HAS SOUPS 2232 WITH SCORE 2241.011
AT ITER 1763 NEW BEST:: SOT 16406 SOS 9007 HAS SOPS 8995 HAS SOUS 2237 HAS SOUPS 2228 WITH SCORE 2237.007
AT ITER 1767 NEW BEST:: SOT 16413 SOS 9015 HAS SOPS 9003 HAS SOUS 2231 HAS SOUPS 2222 WITH SCORE 2231.015
AT ITER 1805 NEW BEST:: SOT 16483 SOS 9118 HAS SOPS 9106 HAS SOUS 2206 HAS SOUPS 2197 WITH SCORE 2206.118
AT ITER 1825 NEW BEST:: SOT 16485 SOS 9120 HAS SOPS 9108 HAS SOUS 2204 HAS SOUPS 2195 WITH SCORE 2204.12
AT ITER 1829 NEW BEST:: SOT 16483 SOS 9116 HAS SOPS 9104 HAS SOUS 2204 HAS SOUPS 2195 WITH SCORE 2204.116
AT ITER 1942 NEW BEST:: SOT 16476 SOS 9109 HAS SOPS 9097 HAS SOUS 2197 HAS SOUPS 2188 WITH SCORE 2197.109
AT ITER 1948 NEW BEST:: SOT 16479 SOS 9079 HAS SOPS 9067 HAS SOUS 2197 HAS SOUPS 2188 WITH SCORE 2197.079
AT ITER 2010 NEW BEST:: SOT 16478 SOS 9362 HAS SOPS 9350 HAS SOUS 2183 HAS SOUPS 2174 WITH SCORE 2183.362
AT ITER 2018 NEW BEST:: SOT 16464 SOS 9344 HAS SOPS 9332 HAS SOUS 2177 HAS SOUPS 2168 WITH SCORE 2177.344
AT ITER 2034 NEW BEST:: SOT 16462 SOS 9342 HAS SOPS 9330 HAS SOUS 2175 HAS SOUPS 2166 WITH SCORE 2175.342
AT ITER 2038 NEW BEST:: SOT 16439 SOS 9248 HAS SOPS 9236 HAS SOUS 2171 HAS SOUPS 2162 WITH SCORE 2171.248
AT ITER 2065 NEW BEST:: SOT 16439 SOS 9248 HAS SOPS 9236 HAS SOUS 2170 HAS SOUPS 2161 WITH SCORE 2170.248
AT ITER 2165 NEW BEST:: SOT 16445 SOS 9254 HAS SOPS 9242 HAS SOUS 2166 HAS SOUPS 2157 WITH SCORE 2166.254
AT ITER 2171 NEW BEST:: SOT 16452 SOS 9250 HAS SOPS 9238 HAS SOUS 2162 HAS SOUPS 2153 WITH SCORE 2162.25
AT ITER 2266 NEW BEST:: SOT 16444 SOS 9242 HAS SOPS 9230 HAS SOUS 2146 HAS SOUPS 2137 WITH SCORE 2146.242
AT ITER 2327 NEW BEST:: SOT 16436 SOS 9234 HAS SOPS 9222 HAS SOUS 2132 HAS SOUPS 2123 WITH SCORE 2132.234
AT ITER 2362 NEW BEST:: SOT 16430 SOS 9228 HAS SOPS 9216 HAS SOUS 2131 HAS SOUPS 2122 WITH SCORE 2131.228
AT ITER 2372 NEW BEST:: SOT 16426 SOS 9094 HAS SOPS 9082 HAS SOUS 2130 HAS SOUPS 2121 WITH SCORE 2130.094
AT ITER 2463 NEW BEST:: SOT 16424 SOS 9090 HAS SOPS 9078 HAS SOUS 2128 HAS SOUPS 2119 WITH SCORE 2128.09
AT ITER 2474 NEW BEST:: SOT 16423 SOS 9089 HAS SOPS 9077 HAS SOUS 2126 HAS SOUPS 2117 WITH SCORE 2126.089
AT ITER 2485 NEW BEST:: SOT 16420 SOS 9086 HAS SOPS 9074 HAS SOUS 2123 HAS SOUPS 2114 WITH SCORE 2123.086
AT ITER 2492 NEW BEST:: SOT 16418 SOS 9084 HAS SOPS 9072 HAS SOUS 2121 HAS SOUPS 2112 WITH SCORE 2121.084
AT ITER 2506 NEW BEST:: SOT 16423 SOS 9089 HAS SOPS 9077 HAS SOUS 2114 HAS SOUPS 2105 WITH SCORE 2114.089
AT ITER 2515 NEW BEST:: SOT 16426 SOS 9089 HAS SOPS 9077 HAS SOUS 2113 HAS SOUPS 2104 WITH SCORE 2113.089
AT ITER 2528 NEW BEST:: SOT 16420 SOS 9072 HAS SOPS 9060 HAS SOUS 2096 HAS SOUPS 2087 WITH SCORE 2096.072
AT ITER 2529 NEW BEST:: SOT 16428 SOS 9078 HAS SOPS 9066 HAS SOUS 2095 HAS SOUPS 2086 WITH SCORE 2095.078
AT ITER 2549 NEW BEST:: SOT 16423 SOS 9073 HAS SOPS 9061 HAS SOUS 2089 HAS SOUPS 2080 WITH SCORE 2089.073
AT ITER 2558 NEW BEST:: SOT 16419 SOS 9069 HAS SOPS 9057 HAS SOUS 2081 HAS SOUPS 2072 WITH SCORE 2081.069
AT ITER 2634 NEW BEST:: SOT 16414 SOS 9059 HAS SOPS 9047 HAS SOUS 2080 HAS SOUPS 2071 WITH SCORE 2080.059
AT ITER 2647 NEW BEST:: SOT 16422 SOS 9050 HAS SOPS 9038 HAS SOUS 2071 HAS SOUPS 2062 WITH SCORE 2071.05
AT ITER 2656 NEW BEST:: SOT 16414 SOS 9034 HAS SOPS 9022 HAS SOUS 2071 HAS SOUPS 2062 WITH SCORE 2071.034
AT ITER 2715 NEW BEST:: SOT 16412 SOS 9031 HAS SOPS 9019 HAS SOUS 2069 HAS SOUPS 2060 WITH SCORE 2069.031
AT ITER 2765 NEW BEST:: SOT 16410 SOS 9001 HAS SOPS 8989 HAS SOUS 2067 HAS SOUPS 2058 WITH SCORE 2067.001
AT ITER 2768 NEW BEST:: SOT 16409 SOS 9000 HAS SOPS 8988 HAS SOUS 2066 HAS SOUPS 2057 WITH SCORE 2066.0
AT ITER 2776 NEW BEST:: SOT 16409 SOS 9000 HAS SOPS 8988 HAS SOUS 2064 HAS SOUPS 2055 WITH SCORE 2064.0
AT ITER 2785 NEW BEST:: SOT 16402 SOS 8993 HAS SOPS 8981 HAS SOUS 2063 HAS SOUPS 2054 WITH SCORE 2062.993
AT ITER 2794 NEW BEST:: SOT 16401 SOS 8985 HAS SOPS 8973 HAS SOUS 2059 HAS SOUPS 2050 WITH SCORE 2058.985
AT ITER 2812 NEW BEST:: SOT 16399 SOS 8989 HAS SOPS 8977 HAS SOUS 2054 HAS SOUPS 2045 WITH SCORE 2053.989
AT ITER 2885 NEW BEST:: SOT 16394 SOS 8984 HAS SOPS 8972 HAS SOUS 2053 HAS SOUPS 2044 WITH SCORE 2052.984
AT ITER 2946 NEW BEST:: SOT 16395 SOS 9006 HAS SOPS 8994 HAS SOUS 2052 HAS SOUPS 2043 WITH SCORE 2052.006
AT ITER 3011 NEW BEST:: SOT 16394 SOS 9005 HAS SOPS 8993 HAS SOUS 2052 HAS SOUPS 2043 WITH SCORE 2052.005
AT ITER 3026 NEW BEST:: SOT 16389 SOS 8995 HAS SOPS 8983 HAS SOUS 2046 HAS SOUPS 2037 WITH SCORE 2045.995
AT ITER 3057 NEW BEST:: SOT 16387 SOS 8993 HAS SOPS 8981 HAS SOUS 2045 HAS SOUPS 2036 WITH SCORE 2044.993
AT ITER 3125 NEW BEST:: SOT 16385 SOS 8987 HAS SOPS 8975 HAS SOUS 2041 HAS SOUPS 2032 WITH SCORE 2040.987
AT ITER 3131 NEW BEST:: SOT 16384 SOS 8986 HAS SOPS 8974 HAS SOUS 2039 HAS SOUPS 2030 WITH SCORE 2038.986
AT ITER 3146 NEW BEST:: SOT 16384 SOS 8986 HAS SOPS 8974 HAS SOUS 2038 HAS SOUPS 2029 WITH SCORE 2037.986
AT ITER 3177 NEW BEST:: SOT 16378 SOS 8988 HAS SOPS 8976 HAS SOUS 2033 HAS SOUPS 2024 WITH SCORE 2032.988
AT ITER 3205 NEW BEST:: SOT 16380 SOS 8990 HAS SOPS 8978 HAS SOUS 2032 HAS SOUPS 2023 WITH SCORE 2031.99
AT ITER 3275 NEW BEST:: SOT 16380 SOS 8870 HAS SOPS 8858 HAS SOUS 2032 HAS SOUPS 2023 WITH SCORE 2031.87
AT ITER 3305 NEW BEST:: SOT 16373 SOS 8863 HAS SOPS 8851 HAS SOUS 2021 HAS SOUPS 2012 WITH SCORE 2020.863
AT ITER 3315 NEW BEST:: SOT 16373 SOS 8863 HAS SOPS 8851 HAS SOUS 2020 HAS SOUPS 2011 WITH SCORE 2019.863
AT ITER 3336 NEW BEST:: SOT 16377 SOS 8867 HAS SOPS 8855 HAS SOUS 2014 HAS SOUPS 2005 WITH SCORE 2013.867
AT ITER 3374 NEW BEST:: SOT 16376 SOS 8866 HAS SOPS 8854 HAS SOUS 2012 HAS SOUPS 2003 WITH SCORE 2011.866
AT ITER 3376 NEW BEST:: SOT 16378 SOS 8868 HAS SOPS 8856 HAS SOUS 2011 HAS SOUPS 2002 WITH SCORE 2010.868
AT ITER 3421 NEW BEST:: SOT 16379 SOS 8768 HAS SOPS 8756 HAS SOUS 2009 HAS SOUPS 2000 WITH SCORE 2008.768
AT ITER 3441 NEW BEST:: SOT 16363 SOS 8747 HAS SOPS 8735 HAS SOUS 1997 HAS SOUPS 1988 WITH SCORE 1996.747
AT ITER 3468 NEW BEST:: SOT 16363 SOS 8744 HAS SOPS 8732 HAS SOUS 1997 HAS SOUPS 1988 WITH SCORE 1996.744
AT ITER 3547 NEW BEST:: SOT 16363 SOS 8744 HAS SOPS 8732 HAS SOUS 1995 HAS SOUPS 1986 WITH SCORE 1994.744
AT ITER 3549 NEW BEST:: SOT 16358 SOS 8739 HAS SOPS 8727 HAS SOUS 1992 HAS SOUPS 1983 WITH SCORE 1991.739
AT ITER 3579 NEW BEST:: SOT 16360 SOS 8741 HAS SOPS 8729 HAS SOUS 1989 HAS SOUPS 1980 WITH SCORE 1988.741
AT ITER 3611 NEW BEST:: SOT 16356 SOS 8736 HAS SOPS 8724 HAS SOUS 1987 HAS SOUPS 1978 WITH SCORE 1986.736
AT ITER 3632 NEW BEST:: SOT 16354 SOS 8725 HAS SOPS 8713 HAS SOUS 1979 HAS SOUPS 1970 WITH SCORE 1978.725
AT ITER 3684 NEW BEST:: SOT 16354 SOS 8725 HAS SOPS 8713 HAS SOUS 1976 HAS SOUPS 1967 WITH SCORE 1975.725
AT ITER 3721 NEW BEST:: SOT 16355 SOS 8726 HAS SOPS 8714 HAS SOUS 1975 HAS SOUPS 1966 WITH SCORE 1974.726
AT ITER 3740 NEW BEST:: SOT 16350 SOS 8706 HAS SOPS 8694 HAS SOUS 1968 HAS SOUPS 1959 WITH SCORE 1967.706
AT ITER 3742 NEW BEST:: SOT 16347 SOS 8703 HAS SOPS 8691 HAS SOUS 1967 HAS SOUPS 1958 WITH SCORE 1966.703
AT ITER 3758 NEW BEST:: SOT 16345 SOS 8556 HAS SOPS 8544 HAS SOUS 1964 HAS SOUPS 1955 WITH SCORE 1963.556
AT ITER 3794 NEW BEST:: SOT 16349 SOS 8560 HAS SOPS 8548 HAS SOUS 1963 HAS SOUPS 1954 WITH SCORE 1962.56
AT ITER 3875 NEW BEST:: SOT 16345 SOS 8554 HAS SOPS 8542 HAS SOUS 1963 HAS SOUPS 1954 WITH SCORE 1962.554
AT ITER 3880 NEW BEST:: SOT 16344 SOS 8553 HAS SOPS 8541 HAS SOUS 1962 HAS SOUPS 1953 WITH SCORE 1961.553
AT ITER 4071 NEW BEST:: SOT 16344 SOS 8553 HAS SOPS 8541 HAS SOUS 1960 HAS SOUPS 1951 WITH SCORE 1959.553
AT ITER 4112 NEW BEST:: SOT 16343 SOS 8552 HAS SOPS 8540 HAS SOUS 1957 HAS SOUPS 1948 WITH SCORE 1956.552
AT ITER 4157 NEW BEST:: SOT 16343 SOS 8552 HAS SOPS 8540 HAS SOUS 1955 HAS SOUPS 1946 WITH SCORE 1954.552
AT ITER 4162 NEW BEST:: SOT 16342 SOS 8551 HAS SOPS 8539 HAS SOUS 1954 HAS SOUPS 1945 WITH SCORE 1953.551
AT ITER 4178 NEW BEST:: SOT 16368 SOS 8429 HAS SOPS 8417 HAS SOUS 1952 HAS SOUPS 1943 WITH SCORE 1951.429
AT ITER 4208 NEW BEST:: SOT 16372 SOS 8434 HAS SOPS 8422 HAS SOUS 1951 HAS SOUPS 1942 WITH SCORE 1950.434
AT ITER 4246 NEW BEST:: SOT 16368 SOS 8430 HAS SOPS 8418 HAS SOUS 1947 HAS SOUPS 1938 WITH SCORE 1946.43
AT ITER 4265 NEW BEST:: SOT 16361 SOS 8423 HAS SOPS 8411 HAS SOUS 1945 HAS SOUPS 1936 WITH SCORE 1944.423
AT ITER 4333 NEW BEST:: SOT 16359 SOS 8431 HAS SOPS 8419 HAS SOUS 1944 HAS SOUPS 1935 WITH SCORE 1943.431
AT ITER 4349 NEW BEST:: SOT 16359 SOS 8432 HAS SOPS 8420 HAS SOUS 1943 HAS SOUPS 1934 WITH SCORE 1942.432
AT ITER 4358 NEW BEST:: SOT 16357 SOS 8430 HAS SOPS 8418 HAS SOUS 1941 HAS SOUPS 1932 WITH SCORE 1940.43
AT ITER 4405 NEW BEST:: SOT 16355 SOS 8474 HAS SOPS 8462 HAS SOUS 1937 HAS SOUPS 1928 WITH SCORE 1936.474
AT ITER 4417 NEW BEST:: SOT 16349 SOS 8468 HAS SOPS 8456 HAS SOUS 1936 HAS SOUPS 1927 WITH SCORE 1935.468
AT ITER 4571 NEW BEST:: SOT 16352 SOS 8553 HAS SOPS 8541 HAS SOUS 1931 HAS SOUPS 1922 WITH SCORE 1930.553
AT ITER 4605 NEW BEST:: SOT 16352 SOS 8529 HAS SOPS 8517 HAS SOUS 1930 HAS SOUPS 1921 WITH SCORE 1929.529
AT ITER 4657 NEW BEST:: SOT 16352 SOS 8529 HAS SOPS 8517 HAS SOUS 1928 HAS SOUPS 1919 WITH SCORE 1927.529
AT ITER 4710 NEW BEST:: SOT 16353 SOS 8513 HAS SOPS 8501 HAS SOUS 1925 HAS SOUPS 1916 WITH SCORE 1924.513
AT ITER 4767 NEW BEST:: SOT 16353 SOS 8513 HAS SOPS 8501 HAS SOUS 1923 HAS SOUPS 1914 WITH SCORE 1922.513
AT ITER 4805 NEW BEST:: SOT 16351 SOS 8511 HAS SOPS 8499 HAS SOUS 1921 HAS SOUPS 1912 WITH SCORE 1920.511
AT ITER 4807 NEW BEST:: SOT 16350 SOS 8510 HAS SOPS 8498 HAS SOUS 1921 HAS SOUPS 1912 WITH SCORE 1920.51
AT ITER 4854 NEW BEST:: SOT 16352 SOS 8512 HAS SOPS 8500 HAS SOUS 1920 HAS SOUPS 1911 WITH SCORE 1919.512
AT ITER 4934 NEW BEST:: SOT 16352 SOS 8569 HAS SOPS 8557 HAS SOUS 1914 HAS SOUPS 1905 WITH SCORE 1913.569
AT ITER 5003 NEW BEST:: SOT 16348 SOS 8565 HAS SOPS 8553 HAS SOUS 1910 HAS SOUPS 1901 WITH SCORE 1909.565
AT ITER 5026 NEW BEST:: SOT 16346 SOS 8561 HAS SOPS 8549 HAS SOUS 1904 HAS SOUPS 1895 WITH SCORE 1903.561
AT ITER 5042 NEW BEST:: SOT 16346 SOS 8556 HAS SOPS 8544 HAS SOUS 1899 HAS SOUPS 1890 WITH SCORE 1898.556
AT ITER 5070 NEW BEST:: SOT 16341 SOS 8551 HAS SOPS 8539 HAS SOUS 1897 HAS SOUPS 1888 WITH SCORE 1896.551
AT ITER 5149 NEW BEST:: SOT 16339 SOS 8549 HAS SOPS 8537 HAS SOUS 1897 HAS SOUPS 1888 WITH SCORE 1896.549
AT ITER 5312 NEW BEST:: SOT 16336 SOS 8549 HAS SOPS 8537 HAS SOUS 1896 HAS SOUPS 1887 WITH SCORE 1895.549
AT ITER 5338 NEW BEST:: SOT 16333 SOS 8546 HAS SOPS 8534 HAS SOUS 1893 HAS SOUPS 1884 WITH SCORE 1892.546
AT ITER 5352 NEW BEST:: SOT 16330 SOS 8543 HAS SOPS 8531 HAS SOUS 1893 HAS SOUPS 1884 WITH SCORE 1892.543
AT ITER 5475 NEW BEST:: SOT 16331 SOS 8546 HAS SOPS 8534 HAS SOUS 1892 HAS SOUPS 1883 WITH SCORE 1891.546
AT ITER 5476 NEW BEST:: SOT 16331 SOS 8546 HAS SOPS 8534 HAS SOUS 1891 HAS SOUPS 1882 WITH SCORE 1890.546
AT ITER 5562 NEW BEST:: SOT 16329 SOS 8543 HAS SOPS 8531 HAS SOUS 1890 HAS SOUPS 1881 WITH SCORE 1889.543
AT ITER 5895 NEW BEST:: SOT 16329 SOS 8541 HAS SOPS 8529 HAS SOUS 1888 HAS SOUPS 1879 WITH SCORE 1887.541
AT ITER 5927 NEW BEST:: SOT 16328 SOS 8540 HAS SOPS 8528 HAS SOUS 1888 HAS SOUPS 1879 WITH SCORE 1887.54
AT ITER 5940 NEW BEST:: SOT 16333 SOS 8545 HAS SOPS 8533 HAS SOUS 1887 HAS SOUPS 1878 WITH SCORE 1886.545
AT ITER 5966 NEW BEST:: SOT 16329 SOS 8539 HAS SOPS 8527 HAS SOUS 1877 HAS SOUPS 1868 WITH SCORE 1876.539
AT ITER 5970 NEW BEST:: SOT 16327 SOS 8537 HAS SOPS 8525 HAS SOUS 1877 HAS SOUPS 1868 WITH SCORE 1876.537
AT ITER 6067 NEW BEST:: SOT 16330 SOS 8540 HAS SOPS 8528 HAS SOUS 1876 HAS SOUPS 1867 WITH SCORE 1875.54
AT ITER 6110 NEW BEST:: SOT 16329 SOS 8539 HAS SOPS 8527 HAS SOUS 1873 HAS SOUPS 1864 WITH SCORE 1872.539
AT ITER 6129 NEW BEST:: SOT 16329 SOS 8539 HAS SOPS 8527 HAS SOUS 1872 HAS SOUPS 1863 WITH SCORE 1871.539
AT ITER 6311 NEW BEST:: SOT 16348 SOS 8577 HAS SOPS 8565 HAS SOUS 1853 HAS SOUPS 1844 WITH SCORE 1852.577
AT ITER 6377 NEW BEST:: SOT 16347 SOS 8576 HAS SOPS 8564 HAS SOUS 1851 HAS SOUPS 1842 WITH SCORE 1850.576
AT ITER 6419 NEW BEST:: SOT 16345 SOS 8515 HAS SOPS 8503 HAS SOUS 1850 HAS SOUPS 1841 WITH SCORE 1849.515
AT ITER 6473 NEW BEST:: SOT 16344 SOS 8514 HAS SOPS 8502 HAS SOUS 1847 HAS SOUPS 1838 WITH SCORE 1846.514
AT ITER 6570 NEW BEST:: SOT 16342 SOS 8511 HAS SOPS 8499 HAS SOUS 1845 HAS SOUPS 1836 WITH SCORE 1844.511
AT ITER 6615 NEW BEST:: SOT 16345 SOS 8480 HAS SOPS 8468 HAS SOUS 1843 HAS SOUPS 1834 WITH SCORE 1842.48
AT ITER 6618 NEW BEST:: SOT 16351 SOS 8484 HAS SOPS 8472 HAS SOUS 1841 HAS SOUPS 1832 WITH SCORE 1840.484
AT ITER 6998 NEW BEST:: SOT 16342 SOS 8475 HAS SOPS 8463 HAS SOUS 1838 HAS SOUPS 1829 WITH SCORE 1837.475
AT ITER 7130 NEW BEST:: SOT 16338 SOS 8471 HAS SOPS 8459 HAS SOUS 1838 HAS SOUPS 1829 WITH SCORE 1837.471
AT ITER 7132 NEW BEST:: SOT 16338 SOS 8471 HAS SOPS 8459 HAS SOUS 1837 HAS SOUPS 1828 WITH SCORE 1836.471
AT ITER 7333 NEW BEST:: SOT 16341 SOS 8473 HAS SOPS 8461 HAS SOUS 1829 HAS SOUPS 1820 WITH SCORE 1828.473
AT ITER 7493 NEW BEST:: SOT 16340 SOS 8471 HAS SOPS 8459 HAS SOUS 1828 HAS SOUPS 1819 WITH SCORE 1827.471
AT ITER 7496 NEW BEST:: SOT 16341 SOS 8530 HAS SOPS 8518 HAS SOUS 1827 HAS SOUPS 1818 WITH SCORE 1826.53
AT ITER 7617 NEW BEST:: SOT 16339 SOS 8526 HAS SOPS 8514 HAS SOUS 1825 HAS SOUPS 1816 WITH SCORE 1824.526
AT ITER 7902 NEW BEST:: SOT 16339 SOS 8502 HAS SOPS 8490 HAS SOUS 1819 HAS SOUPS 1810 WITH SCORE 1818.502
AT ITER 8045 NEW BEST:: SOT 16338 SOS 8501 HAS SOPS 8489 HAS SOUS 1818 HAS SOUPS 1809 WITH SCORE 1817.501
AT ITER 8120 NEW BEST:: SOT 16338 SOS 8501 HAS SOPS 8489 HAS SOUS 1817 HAS SOUPS 1808 WITH SCORE 1816.501
AT ITER 8123 NEW BEST:: SOT 16330 SOS 8485 HAS SOPS 8473 HAS SOUS 1801 HAS SOUPS 1792 WITH SCORE 1800.485
AT ITER 8158 NEW BEST:: SOT 16336 SOS 8483 HAS SOPS 8471 HAS SOUS 1798 HAS SOUPS 1789 WITH SCORE 1797.483
AT ITER 8310 NEW BEST:: SOT 16335 SOS 8482 HAS SOPS 8470 HAS SOUS 1797 HAS SOUPS 1788 WITH SCORE 1796.482
AT ITER 8335 NEW BEST:: SOT 16333 SOS 8480 HAS SOPS 8468 HAS SOUS 1797 HAS SOUPS 1788 WITH SCORE 1796.48
AT ITER 8446 NEW BEST:: SOT 16348 SOS 8501 HAS SOPS 8489 HAS SOUS 1796 HAS SOUPS 1787 WITH SCORE 1795.501
AT ITER 8545 NEW BEST:: SOT 16340 SOS 8485 HAS SOPS 8473 HAS SOUS 1788 HAS SOUPS 1779 WITH SCORE 1787.485
AT ITER 8881 NEW BEST:: SOT 16342 SOS 8487 HAS SOPS 8475 HAS SOUS 1787 HAS SOUPS 1778 WITH SCORE 1786.487
AT ITER 8969 NEW BEST:: SOT 16342 SOS 8487 HAS SOPS 8475 HAS SOUS 1785 HAS SOUPS 1776 WITH SCORE 1784.487
AT ITER 8987 NEW BEST:: SOT 16336 SOS 8481 HAS SOPS 8469 HAS SOUS 1785 HAS SOUPS 1776 WITH SCORE 1784.481
AT ITER 9056 NEW BEST:: SOT 16338 SOS 8483 HAS SOPS 8471 HAS SOUS 1783 HAS SOUPS 1774 WITH SCORE 1782.483
AT ITER 9109 NEW BEST:: SOT 16340 SOS 8485 HAS SOPS 8473 HAS SOUS 1781 HAS SOUPS 1772 WITH SCORE 1780.485
AT ITER 9282 NEW BEST:: SOT 16339 SOS 8484 HAS SOPS 8472 HAS SOUS 1781 HAS SOUPS 1772 WITH SCORE 1780.484
AT ITER 9401 NEW BEST:: SOT 16342 SOS 8487 HAS SOPS 8475 HAS SOUS 1780 HAS SOUPS 1771 WITH SCORE 1779.487
AT ITER 9414 NEW BEST:: SOT 16341 SOS 8486 HAS SOPS 8474 HAS SOUS 1779 HAS SOUPS 1770 WITH SCORE 1778.486
AT ITER 9438 NEW BEST:: SOT 16339 SOS 8480 HAS SOPS 8468 HAS SOUS 1778 HAS SOUPS 1769 WITH SCORE 1777.48
AT ITER 9449 NEW BEST:: SOT 16339 SOS 8480 HAS SOPS 8468 HAS SOUS 1777 HAS SOUPS 1768 WITH SCORE 1776.48
AT ITER 9459 NEW BEST:: SOT 16335 SOS 8476 HAS SOPS 8464 HAS SOUS 1777 HAS SOUPS 1768 WITH SCORE 1776.476
AT ITER 9474 NEW BEST:: SOT 16334 SOS 8473 HAS SOPS 8461 HAS SOUS 1775 HAS SOUPS 1766 WITH SCORE 1774.473
AT ITER 9519 NEW BEST:: SOT 16334 SOS 8469 HAS SOPS 8457 HAS SOUS 1775 HAS SOUPS 1766 WITH SCORE 1774.469
AT ITER 9538 NEW BEST:: SOT 16334 SOS 8469 HAS SOPS 8457 HAS SOUS 1774 HAS SOUPS 1765 WITH SCORE 1773.469
AT ITER 9539 NEW BEST:: SOT 16337 SOS 8439 HAS SOPS 8427 HAS SOUS 1774 HAS SOUPS 1765 WITH SCORE 1773.439
AT ITER 9687 NEW BEST:: SOT 16348 SOS 8436 HAS SOPS 8424 HAS SOUS 1772 HAS SOUPS 1763 WITH SCORE 1771.436
AT ITER 9727 NEW BEST:: SOT 16347 SOS 8434 HAS SOPS 8422 HAS SOUS 1767 HAS SOUPS 1758 WITH SCORE 1766.434
AT ITER 9746 NEW BEST:: SOT 16347 SOS 8434 HAS SOPS 8422 HAS SOUS 1765 HAS SOUPS 1756 WITH SCORE 1764.434
AT ITER 9820 NEW BEST:: SOT 16347 SOS 8434 HAS SOPS 8422 HAS SOUS 1761 HAS SOUPS 1752 WITH SCORE 1760.434
AT ITER 9973 NEW BEST:: SOT 16346 SOS 8426 HAS SOPS 8414 HAS SOUS 1758 HAS SOUPS 1749 WITH SCORE 1757.426
AT ITER 9996 NEW BEST:: SOT 16350 SOS 8430 HAS SOPS 8418 HAS SOUS 1757 HAS SOUPS 1748 WITH SCORE 1756.43
STATE_SPACE STATES 10974163 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 132793155 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678492856523

--------------------
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-05"
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-05, 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-167840342200272"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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