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.r395-oct2-167903718500224.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 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 ShieldIIPt-PT-003B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r395-oct2-167903718500224
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 500K
-rw-r--r-- 1 mcc users 5.8K Feb 25 16:59 CTLCardinality.txt
-rw-r--r-- 1 mcc users 56K Feb 25 16:59 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Feb 25 16:59 CTLFireability.txt
-rw-r--r-- 1 mcc users 63K Feb 25 16:59 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:56 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:56 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:56 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:56 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 17:00 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 118K Feb 25 17:00 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.5K Feb 25 17:00 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 88K Feb 25 17:00 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:56 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:56 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 50K Mar 5 18:23 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 1679559880560

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=ShieldIIPt-PT-003B
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-23 08:24:43] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-23 08:24:43] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-23 08:24:43] [INFO ] Load time of PNML (sax parser for PT used): 45 ms
[2023-03-23 08:24:43] [INFO ] Transformed 213 places.
[2023-03-23 08:24:43] [INFO ] Transformed 198 transitions.
[2023-03-23 08:24:43] [INFO ] Found NUPN structural information;
[2023-03-23 08:24:43] [INFO ] Parsed PT model containing 213 places and 198 transitions and 492 arcs in 134 ms.
[2023-03-23 08:24:43] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 213 places, 198 transitions and 492 arcs took 5 ms.
Total runtime 168 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldIIPt (PT), instance 003B
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: 213 places, 198 transitions, 492 arcs.
AT ITER 0 NEW BEST:: SOT 23789 SOS 7836 HAS SOPS 7836 HAS SOUS 7055 HAS SOUPS 7055 WITH SCORE 7062.836
AT ITER 3 NEW BEST:: SOT 23789 SOS 7823 HAS SOPS 7823 HAS SOUS 7055 HAS SOUPS 7055 WITH SCORE 7062.823
AT ITER 4 NEW BEST:: SOT 23789 SOS 7845 HAS SOPS 7845 HAS SOUS 7033 HAS SOUPS 7033 WITH SCORE 7040.845
AT ITER 5 NEW BEST:: SOT 23790 SOS 7822 HAS SOPS 7822 HAS SOUS 7010 HAS SOUPS 7010 WITH SCORE 7017.822
AT ITER 9 NEW BEST:: SOT 23790 SOS 7788 HAS SOPS 7788 HAS SOUS 6976 HAS SOUPS 6976 WITH SCORE 6983.788
AT ITER 23 NEW BEST:: SOT 23789 SOS 7770 HAS SOPS 7770 HAS SOUS 6966 HAS SOUPS 6966 WITH SCORE 6973.77
AT ITER 29 NEW BEST:: SOT 23789 SOS 7730 HAS SOPS 7730 HAS SOUS 6926 HAS SOUPS 6926 WITH SCORE 6933.73
AT ITER 72 NEW BEST:: SOT 23788 SOS 7729 HAS SOPS 7729 HAS SOUS 6925 HAS SOUPS 6925 WITH SCORE 6932.729
AT ITER 93 NEW BEST:: SOT 23744 SOS 7539 HAS SOPS 7539 HAS SOUS 6886 HAS SOUPS 6886 WITH SCORE 6893.539
AT ITER 104 NEW BEST:: SOT 23734 SOS 7549 HAS SOPS 7549 HAS SOUS 6883 HAS SOUPS 6883 WITH SCORE 6890.549
AT ITER 126 NEW BEST:: SOT 23708 SOS 7534 HAS SOPS 7534 HAS SOUS 6868 HAS SOUPS 6868 WITH SCORE 6875.534
AT ITER 138 NEW BEST:: SOT 23705 SOS 7528 HAS SOPS 7528 HAS SOUS 6862 HAS SOUPS 6862 WITH SCORE 6869.528
AT ITER 155 NEW BEST:: SOT 23675 SOS 7546 HAS SOPS 7546 HAS SOUS 6845 HAS SOUPS 6845 WITH SCORE 6852.546
AT ITER 159 NEW BEST:: SOT 23675 SOS 7541 HAS SOPS 7541 HAS SOUS 6840 HAS SOUPS 6840 WITH SCORE 6847.541
AT ITER 162 NEW BEST:: SOT 23659 SOS 7477 HAS SOPS 7477 HAS SOUS 6792 HAS SOUPS 6792 WITH SCORE 6799.477
AT ITER 163 NEW BEST:: SOT 23634 SOS 7468 HAS SOPS 7468 HAS SOUS 6783 HAS SOUPS 6783 WITH SCORE 6790.468
AT ITER 187 NEW BEST:: SOT 23622 SOS 7444 HAS SOPS 7444 HAS SOUS 6771 HAS SOUPS 6771 WITH SCORE 6778.444
AT ITER 197 NEW BEST:: SOT 23595 SOS 7378 HAS SOPS 7378 HAS SOUS 6716 HAS SOUPS 6716 WITH SCORE 6723.378
AT ITER 216 NEW BEST:: SOT 23595 SOS 7366 HAS SOPS 7366 HAS SOUS 6716 HAS SOUPS 6716 WITH SCORE 6723.366
AT ITER 228 NEW BEST:: SOT 23594 SOS 7364 HAS SOPS 7364 HAS SOUS 6714 HAS SOUPS 6714 WITH SCORE 6721.364
AT ITER 242 NEW BEST:: SOT 23589 SOS 7364 HAS SOPS 7364 HAS SOUS 6709 HAS SOUPS 6709 WITH SCORE 6716.364
AT ITER 244 NEW BEST:: SOT 23590 SOS 7376 HAS SOPS 7376 HAS SOUS 6703 HAS SOUPS 6703 WITH SCORE 6710.376
AT ITER 248 NEW BEST:: SOT 23590 SOS 7375 HAS SOPS 7375 HAS SOUS 6700 HAS SOUPS 6700 WITH SCORE 6707.375
AT ITER 258 NEW BEST:: SOT 23578 SOS 7351 HAS SOPS 7351 HAS SOUS 6688 HAS SOUPS 6688 WITH SCORE 6695.351
AT ITER 265 NEW BEST:: SOT 23578 SOS 7351 HAS SOPS 7351 HAS SOUS 6686 HAS SOUPS 6686 WITH SCORE 6693.351
AT ITER 274 NEW BEST:: SOT 23605 SOS 7361 HAS SOPS 7361 HAS SOUS 6669 HAS SOUPS 6669 WITH SCORE 6676.361
AT ITER 277 NEW BEST:: SOT 23574 SOS 7228 HAS SOPS 7228 HAS SOUS 6603 HAS SOUPS 6603 WITH SCORE 6610.228
AT ITER 283 NEW BEST:: SOT 23562 SOS 7215 HAS SOPS 7215 HAS SOUS 6590 HAS SOUPS 6590 WITH SCORE 6597.215
AT ITER 294 NEW BEST:: SOT 23538 SOS 7188 HAS SOPS 7188 HAS SOUS 6566 HAS SOUPS 6566 WITH SCORE 6573.188
AT ITER 295 NEW BEST:: SOT 23536 SOS 7158 HAS SOPS 7158 HAS SOUS 6550 HAS SOUPS 6550 WITH SCORE 6557.158
AT ITER 310 NEW BEST:: SOT 23536 SOS 7145 HAS SOPS 7145 HAS SOUS 6547 HAS SOUPS 6547 WITH SCORE 6554.145
AT ITER 316 NEW BEST:: SOT 23518 SOS 7133 HAS SOPS 7133 HAS SOUS 6533 HAS SOUPS 6533 WITH SCORE 6540.133
AT ITER 321 NEW BEST:: SOT 23509 SOS 7124 HAS SOPS 7124 HAS SOUS 6524 HAS SOUPS 6524 WITH SCORE 6531.124
AT ITER 324 NEW BEST:: SOT 23527 SOS 7105 HAS SOPS 7105 HAS SOUS 6505 HAS SOUPS 6505 WITH SCORE 6512.105
AT ITER 339 NEW BEST:: SOT 23503 SOS 7108 HAS SOPS 7108 HAS SOUS 6478 HAS SOUPS 6478 WITH SCORE 6485.108
AT ITER 346 NEW BEST:: SOT 23496 SOS 7088 HAS SOPS 7088 HAS SOUS 6458 HAS SOUPS 6458 WITH SCORE 6465.088
AT ITER 349 NEW BEST:: SOT 23496 SOS 7070 HAS SOPS 7070 HAS SOUS 6440 HAS SOUPS 6440 WITH SCORE 6447.07
AT ITER 354 NEW BEST:: SOT 23496 SOS 7064 HAS SOPS 7064 HAS SOUS 6440 HAS SOUPS 6440 WITH SCORE 6447.064
AT ITER 355 NEW BEST:: SOT 23496 SOS 7062 HAS SOPS 7062 HAS SOUS 6438 HAS SOUPS 6438 WITH SCORE 6445.062
AT ITER 395 NEW BEST:: SOT 23482 SOS 7020 HAS SOPS 7020 HAS SOUS 6396 HAS SOUPS 6396 WITH SCORE 6403.02
AT ITER 402 NEW BEST:: SOT 23471 SOS 6960 HAS SOPS 6960 HAS SOUS 6355 HAS SOUPS 6355 WITH SCORE 6361.96
AT ITER 413 NEW BEST:: SOT 23453 SOS 6933 HAS SOPS 6933 HAS SOUS 6328 HAS SOUPS 6328 WITH SCORE 6334.933
AT ITER 421 NEW BEST:: SOT 23442 SOS 6933 HAS SOPS 6933 HAS SOUS 6317 HAS SOUPS 6317 WITH SCORE 6323.933
AT ITER 439 NEW BEST:: SOT 23440 SOS 6938 HAS SOPS 6938 HAS SOUS 6313 HAS SOUPS 6313 WITH SCORE 6319.938
AT ITER 448 NEW BEST:: SOT 23440 SOS 6935 HAS SOPS 6935 HAS SOUS 6310 HAS SOUPS 6310 WITH SCORE 6316.935
AT ITER 449 NEW BEST:: SOT 23513 SOS 6906 HAS SOPS 6906 HAS SOUS 6281 HAS SOUPS 6281 WITH SCORE 6287.906
AT ITER 455 NEW BEST:: SOT 23510 SOS 6909 HAS SOPS 6909 HAS SOUS 6280 HAS SOUPS 6280 WITH SCORE 6286.909
AT ITER 465 NEW BEST:: SOT 23504 SOS 6897 HAS SOPS 6897 HAS SOUS 6274 HAS SOUPS 6274 WITH SCORE 6280.897
AT ITER 470 NEW BEST:: SOT 23462 SOS 6878 HAS SOPS 6878 HAS SOUS 6255 HAS SOUPS 6255 WITH SCORE 6261.878
AT ITER 474 NEW BEST:: SOT 23484 SOS 6902 HAS SOPS 6902 HAS SOUS 6246 HAS SOUPS 6246 WITH SCORE 6252.902
AT ITER 484 NEW BEST:: SOT 23484 SOS 6896 HAS SOPS 6896 HAS SOUS 6243 HAS SOUPS 6243 WITH SCORE 6249.896
AT ITER 488 NEW BEST:: SOT 23481 SOS 6872 HAS SOPS 6872 HAS SOUS 6199 HAS SOUPS 6199 WITH SCORE 6205.872
AT ITER 490 NEW BEST:: SOT 23487 SOS 6904 HAS SOPS 6904 HAS SOUS 6193 HAS SOUPS 6193 WITH SCORE 6199.904
AT ITER 493 NEW BEST:: SOT 23483 SOS 6898 HAS SOPS 6898 HAS SOUS 6187 HAS SOUPS 6187 WITH SCORE 6193.898
AT ITER 496 NEW BEST:: SOT 23478 SOS 6860 HAS SOPS 6860 HAS SOUS 6177 HAS SOUPS 6177 WITH SCORE 6183.86
AT ITER 502 NEW BEST:: SOT 23491 SOS 6846 HAS SOPS 6846 HAS SOUS 6168 HAS SOUPS 6168 WITH SCORE 6174.846
AT ITER 532 NEW BEST:: SOT 23514 SOS 6839 HAS SOPS 6839 HAS SOUS 6161 HAS SOUPS 6161 WITH SCORE 6167.839
AT ITER 534 NEW BEST:: SOT 23512 SOS 6829 HAS SOPS 6829 HAS SOUS 6151 HAS SOUPS 6151 WITH SCORE 6157.829
AT ITER 539 NEW BEST:: SOT 23505 SOS 6779 HAS SOPS 6779 HAS SOUS 6101 HAS SOUPS 6101 WITH SCORE 6107.779
AT ITER 543 NEW BEST:: SOT 23505 SOS 6734 HAS SOPS 6734 HAS SOUS 6078 HAS SOUPS 6078 WITH SCORE 6084.734
AT ITER 556 NEW BEST:: SOT 23479 SOS 6696 HAS SOPS 6696 HAS SOUS 6038 HAS SOUPS 6038 WITH SCORE 6044.696
AT ITER 577 NEW BEST:: SOT 23458 SOS 6676 HAS SOPS 6676 HAS SOUS 5995 HAS SOUPS 5995 WITH SCORE 6001.676
AT ITER 596 NEW BEST:: SOT 23468 SOS 6648 HAS SOPS 6648 HAS SOUS 5987 HAS SOUPS 5987 WITH SCORE 5993.648
AT ITER 604 NEW BEST:: SOT 23459 SOS 6599 HAS SOPS 6599 HAS SOUS 5927 HAS SOUPS 5927 WITH SCORE 5933.599
AT ITER 626 NEW BEST:: SOT 23442 SOS 6582 HAS SOPS 6582 HAS SOUS 5927 HAS SOUPS 5927 WITH SCORE 5933.582
AT ITER 627 NEW BEST:: SOT 23410 SOS 6518 HAS SOPS 6518 HAS SOUS 5903 HAS SOUPS 5903 WITH SCORE 5909.518
AT ITER 646 NEW BEST:: SOT 23395 SOS 6520 HAS SOPS 6520 HAS SOUS 5902 HAS SOUPS 5902 WITH SCORE 5908.52
AT ITER 674 NEW BEST:: SOT 23395 SOS 6519 HAS SOPS 6519 HAS SOUS 5901 HAS SOUPS 5901 WITH SCORE 5907.519
AT ITER 678 NEW BEST:: SOT 23396 SOS 6510 HAS SOPS 6510 HAS SOUS 5892 HAS SOUPS 5892 WITH SCORE 5898.51
AT ITER 679 NEW BEST:: SOT 23395 SOS 6508 HAS SOPS 6508 HAS SOUS 5891 HAS SOUPS 5891 WITH SCORE 5897.508
AT ITER 690 NEW BEST:: SOT 23396 SOS 6498 HAS SOPS 6498 HAS SOUS 5886 HAS SOUPS 5886 WITH SCORE 5892.498
AT ITER 695 NEW BEST:: SOT 23452 SOS 6469 HAS SOPS 6469 HAS SOUS 5881 HAS SOUPS 5881 WITH SCORE 5887.469
AT ITER 707 NEW BEST:: SOT 23452 SOS 6468 HAS SOPS 6468 HAS SOUS 5880 HAS SOUPS 5880 WITH SCORE 5886.468
AT ITER 727 NEW BEST:: SOT 23441 SOS 6457 HAS SOPS 6457 HAS SOUS 5880 HAS SOUPS 5880 WITH SCORE 5886.457
AT ITER 732 NEW BEST:: SOT 23425 SOS 6403 HAS SOPS 6403 HAS SOUS 5845 HAS SOUPS 5845 WITH SCORE 5851.403
AT ITER 745 NEW BEST:: SOT 23423 SOS 6403 HAS SOPS 6403 HAS SOUS 5843 HAS SOUPS 5843 WITH SCORE 5849.403
AT ITER 771 NEW BEST:: SOT 23383 SOS 6379 HAS SOPS 6379 HAS SOUS 5793 HAS SOUPS 5793 WITH SCORE 5799.379
AT ITER 783 NEW BEST:: SOT 23415 SOS 6436 HAS SOPS 6436 HAS SOUS 5791 HAS SOUPS 5791 WITH SCORE 5797.436
AT ITER 785 NEW BEST:: SOT 23415 SOS 6430 HAS SOPS 6430 HAS SOUS 5785 HAS SOUPS 5785 WITH SCORE 5791.43
AT ITER 791 NEW BEST:: SOT 23414 SOS 6428 HAS SOPS 6428 HAS SOUS 5784 HAS SOUPS 5784 WITH SCORE 5790.428
AT ITER 792 NEW BEST:: SOT 23414 SOS 6428 HAS SOPS 6428 HAS SOUS 5779 HAS SOUPS 5779 WITH SCORE 5785.428
AT ITER 800 NEW BEST:: SOT 23437 SOS 6326 HAS SOPS 6326 HAS SOUS 5749 HAS SOUPS 5749 WITH SCORE 5755.326
AT ITER 802 NEW BEST:: SOT 23437 SOS 6325 HAS SOPS 6325 HAS SOUS 5749 HAS SOUPS 5749 WITH SCORE 5755.325
AT ITER 803 NEW BEST:: SOT 23437 SOS 6277 HAS SOPS 6277 HAS SOUS 5725 HAS SOUPS 5725 WITH SCORE 5731.277
AT ITER 833 NEW BEST:: SOT 23436 SOS 6275 HAS SOPS 6275 HAS SOUS 5724 HAS SOUPS 5724 WITH SCORE 5730.275
AT ITER 866 NEW BEST:: SOT 23429 SOS 6280 HAS SOPS 6280 HAS SOUS 5717 HAS SOUPS 5717 WITH SCORE 5723.28
AT ITER 871 NEW BEST:: SOT 23407 SOS 6251 HAS SOPS 6251 HAS SOUS 5688 HAS SOUPS 5688 WITH SCORE 5694.251
AT ITER 872 NEW BEST:: SOT 23405 SOS 6247 HAS SOPS 6247 HAS SOUS 5684 HAS SOUPS 5684 WITH SCORE 5690.247
AT ITER 911 NEW BEST:: SOT 23400 SOS 6242 HAS SOPS 6242 HAS SOUS 5679 HAS SOUPS 5679 WITH SCORE 5685.242
AT ITER 912 NEW BEST:: SOT 23371 SOS 6198 HAS SOPS 6198 HAS SOUS 5635 HAS SOUPS 5635 WITH SCORE 5641.198
AT ITER 913 NEW BEST:: SOT 23368 SOS 6185 HAS SOPS 6185 HAS SOUS 5610 HAS SOUPS 5610 WITH SCORE 5616.185
AT ITER 915 NEW BEST:: SOT 23364 SOS 6177 HAS SOPS 6177 HAS SOUS 5602 HAS SOUPS 5602 WITH SCORE 5608.177
AT ITER 922 NEW BEST:: SOT 23352 SOS 6147 HAS SOPS 6147 HAS SOUS 5590 HAS SOUPS 5590 WITH SCORE 5596.147
AT ITER 925 NEW BEST:: SOT 23349 SOS 6146 HAS SOPS 6146 HAS SOUS 5589 HAS SOUPS 5589 WITH SCORE 5595.146
AT ITER 926 NEW BEST:: SOT 23345 SOS 6134 HAS SOPS 6134 HAS SOUS 5580 HAS SOUPS 5580 WITH SCORE 5586.134
AT ITER 972 NEW BEST:: SOT 23347 SOS 6119 HAS SOPS 6119 HAS SOUS 5565 HAS SOUPS 5565 WITH SCORE 5571.119
AT ITER 980 NEW BEST:: SOT 23347 SOS 6119 HAS SOPS 6119 HAS SOUS 5563 HAS SOUPS 5563 WITH SCORE 5569.119
AT ITER 1024 NEW BEST:: SOT 23347 SOS 6091 HAS SOPS 6091 HAS SOUS 5555 HAS SOUPS 5555 WITH SCORE 5561.091
AT ITER 1038 NEW BEST:: SOT 23345 SOS 6089 HAS SOPS 6089 HAS SOUS 5553 HAS SOUPS 5553 WITH SCORE 5559.089
AT ITER 1061 NEW BEST:: SOT 23335 SOS 6085 HAS SOPS 6085 HAS SOUS 5543 HAS SOUPS 5543 WITH SCORE 5549.085
AT ITER 1072 NEW BEST:: SOT 23324 SOS 6082 HAS SOPS 6082 HAS SOUS 5532 HAS SOUPS 5532 WITH SCORE 5538.082
AT ITER 1093 NEW BEST:: SOT 23334 SOS 6014 HAS SOPS 6014 HAS SOUS 5528 HAS SOUPS 5528 WITH SCORE 5534.014
AT ITER 1105 NEW BEST:: SOT 23322 SOS 5990 HAS SOPS 5990 HAS SOUS 5517 HAS SOUPS 5517 WITH SCORE 5522.99
AT ITER 1110 NEW BEST:: SOT 23320 SOS 5987 HAS SOPS 5987 HAS SOUS 5516 HAS SOUPS 5516 WITH SCORE 5521.987
AT ITER 1112 NEW BEST:: SOT 23315 SOS 5977 HAS SOPS 5977 HAS SOUS 5506 HAS SOUPS 5506 WITH SCORE 5511.977
AT ITER 1124 NEW BEST:: SOT 23312 SOS 5965 HAS SOPS 5965 HAS SOUS 5494 HAS SOUPS 5494 WITH SCORE 5499.965
AT ITER 1129 NEW BEST:: SOT 23306 SOS 5967 HAS SOPS 5967 HAS SOUS 5488 HAS SOUPS 5488 WITH SCORE 5493.967
AT ITER 1170 NEW BEST:: SOT 23302 SOS 5959 HAS SOPS 5959 HAS SOUS 5484 HAS SOUPS 5484 WITH SCORE 5489.959
AT ITER 1173 NEW BEST:: SOT 23286 SOS 5911 HAS SOPS 5911 HAS SOUS 5468 HAS SOUPS 5468 WITH SCORE 5473.911
AT ITER 1184 NEW BEST:: SOT 23261 SOS 5892 HAS SOPS 5892 HAS SOUS 5449 HAS SOUPS 5449 WITH SCORE 5454.892
AT ITER 1190 NEW BEST:: SOT 23294 SOS 5914 HAS SOPS 5914 HAS SOUS 5438 HAS SOUPS 5438 WITH SCORE 5443.914
AT ITER 1193 NEW BEST:: SOT 23295 SOS 5912 HAS SOPS 5912 HAS SOUS 5436 HAS SOUPS 5436 WITH SCORE 5441.912
AT ITER 1224 NEW BEST:: SOT 23295 SOS 5912 HAS SOPS 5912 HAS SOUS 5413 HAS SOUPS 5413 WITH SCORE 5418.912
AT ITER 1226 NEW BEST:: SOT 23295 SOS 5907 HAS SOPS 5907 HAS SOUS 5408 HAS SOUPS 5408 WITH SCORE 5413.907
AT ITER 1231 NEW BEST:: SOT 23294 SOS 5846 HAS SOPS 5846 HAS SOUS 5406 HAS SOUPS 5406 WITH SCORE 5411.846
AT ITER 1245 NEW BEST:: SOT 23258 SOS 5821 HAS SOPS 5821 HAS SOUS 5381 HAS SOUPS 5381 WITH SCORE 5386.821
AT ITER 1299 NEW BEST:: SOT 23238 SOS 5806 HAS SOPS 5806 HAS SOUS 5370 HAS SOUPS 5370 WITH SCORE 5375.806
AT ITER 1324 NEW BEST:: SOT 23223 SOS 5792 HAS SOPS 5792 HAS SOUS 5355 HAS SOUPS 5355 WITH SCORE 5360.792
AT ITER 1329 NEW BEST:: SOT 23203 SOS 5772 HAS SOPS 5772 HAS SOUS 5355 HAS SOUPS 5355 WITH SCORE 5360.772
AT ITER 1336 NEW BEST:: SOT 23208 SOS 5772 HAS SOPS 5772 HAS SOUS 5354 HAS SOUPS 5354 WITH SCORE 5359.772
AT ITER 1350 NEW BEST:: SOT 23201 SOS 5758 HAS SOPS 5758 HAS SOUS 5347 HAS SOUPS 5347 WITH SCORE 5352.758
AT ITER 1365 NEW BEST:: SOT 23189 SOS 5738 HAS SOPS 5738 HAS SOUS 5327 HAS SOUPS 5327 WITH SCORE 5332.738
AT ITER 1390 NEW BEST:: SOT 23183 SOS 5733 HAS SOPS 5733 HAS SOUS 5322 HAS SOUPS 5322 WITH SCORE 5327.733
AT ITER 1404 NEW BEST:: SOT 23182 SOS 5727 HAS SOPS 5727 HAS SOUS 5321 HAS SOUPS 5321 WITH SCORE 5326.727
AT ITER 1413 NEW BEST:: SOT 23180 SOS 5718 HAS SOPS 5718 HAS SOUS 5317 HAS SOUPS 5317 WITH SCORE 5322.718
AT ITER 1417 NEW BEST:: SOT 23180 SOS 5709 HAS SOPS 5709 HAS SOUS 5306 HAS SOUPS 5306 WITH SCORE 5311.709
AT ITER 1476 NEW BEST:: SOT 23194 SOS 5722 HAS SOPS 5722 HAS SOUS 5305 HAS SOUPS 5305 WITH SCORE 5310.722
AT ITER 1506 NEW BEST:: SOT 23193 SOS 5720 HAS SOPS 5720 HAS SOUS 5303 HAS SOUPS 5303 WITH SCORE 5308.72
AT ITER 1512 NEW BEST:: SOT 23203 SOS 5716 HAS SOPS 5716 HAS SOUS 5299 HAS SOUPS 5299 WITH SCORE 5304.716
AT ITER 1528 NEW BEST:: SOT 23198 SOS 5723 HAS SOPS 5723 HAS SOUS 5294 HAS SOUPS 5294 WITH SCORE 5299.723
AT ITER 1554 NEW BEST:: SOT 23190 SOS 5721 HAS SOPS 5721 HAS SOUS 5286 HAS SOUPS 5286 WITH SCORE 5291.721
AT ITER 1563 NEW BEST:: SOT 23156 SOS 5739 HAS SOPS 5739 HAS SOUS 5280 HAS SOUPS 5280 WITH SCORE 5285.739
AT ITER 1633 NEW BEST:: SOT 23173 SOS 5747 HAS SOPS 5747 HAS SOUS 5271 HAS SOUPS 5271 WITH SCORE 5276.747
AT ITER 1673 NEW BEST:: SOT 23172 SOS 5745 HAS SOPS 5745 HAS SOUS 5270 HAS SOUPS 5270 WITH SCORE 5275.745
AT ITER 1704 NEW BEST:: SOT 23160 SOS 5721 HAS SOPS 5721 HAS SOUS 5246 HAS SOUPS 5246 WITH SCORE 5251.721
AT ITER 1718 NEW BEST:: SOT 23159 SOS 5719 HAS SOPS 5719 HAS SOUS 5244 HAS SOUPS 5244 WITH SCORE 5249.719
AT ITER 1720 NEW BEST:: SOT 23154 SOS 5716 HAS SOPS 5716 HAS SOUS 5232 HAS SOUPS 5232 WITH SCORE 5237.716
AT ITER 1738 NEW BEST:: SOT 23154 SOS 5715 HAS SOPS 5715 HAS SOUS 5231 HAS SOUPS 5231 WITH SCORE 5236.715
AT ITER 1742 NEW BEST:: SOT 23130 SOS 5655 HAS SOPS 5655 HAS SOUS 5167 HAS SOUPS 5167 WITH SCORE 5172.655
AT ITER 1758 NEW BEST:: SOT 23131 SOS 5626 HAS SOPS 5626 HAS SOUS 5140 HAS SOUPS 5140 WITH SCORE 5145.626
AT ITER 1761 NEW BEST:: SOT 23115 SOS 5610 HAS SOPS 5610 HAS SOUS 5127 HAS SOUPS 5127 WITH SCORE 5132.61
AT ITER 1792 NEW BEST:: SOT 23113 SOS 5608 HAS SOPS 5608 HAS SOUS 5125 HAS SOUPS 5125 WITH SCORE 5130.608
AT ITER 1800 NEW BEST:: SOT 23109 SOS 5600 HAS SOPS 5600 HAS SOUS 5122 HAS SOUPS 5122 WITH SCORE 5127.6
AT ITER 1818 NEW BEST:: SOT 23106 SOS 5567 HAS SOPS 5567 HAS SOUS 5103 HAS SOUPS 5103 WITH SCORE 5108.567
AT ITER 1858 NEW BEST:: SOT 23106 SOS 5570 HAS SOPS 5570 HAS SOUS 5101 HAS SOUPS 5101 WITH SCORE 5106.57
AT ITER 1873 NEW BEST:: SOT 23106 SOS 5569 HAS SOPS 5569 HAS SOUS 5100 HAS SOUPS 5100 WITH SCORE 5105.569
AT ITER 1897 NEW BEST:: SOT 23106 SOS 5533 HAS SOPS 5533 HAS SOUS 5090 HAS SOUPS 5090 WITH SCORE 5095.533
AT ITER 1899 NEW BEST:: SOT 23102 SOS 5535 HAS SOPS 5535 HAS SOUS 5082 HAS SOUPS 5082 WITH SCORE 5087.535
AT ITER 1949 NEW BEST:: SOT 23102 SOS 5535 HAS SOPS 5535 HAS SOUS 5080 HAS SOUPS 5080 WITH SCORE 5085.535
AT ITER 1955 NEW BEST:: SOT 23098 SOS 5528 HAS SOPS 5528 HAS SOUS 5078 HAS SOUPS 5078 WITH SCORE 5083.528
AT ITER 1956 NEW BEST:: SOT 23093 SOS 5528 HAS SOPS 5528 HAS SOUS 5073 HAS SOUPS 5073 WITH SCORE 5078.528
AT ITER 1967 NEW BEST:: SOT 23027 SOS 5520 HAS SOPS 5520 HAS SOUS 5052 HAS SOUPS 5052 WITH SCORE 5057.52
AT ITER 2002 NEW BEST:: SOT 23003 SOS 5481 HAS SOPS 5481 HAS SOUS 5013 HAS SOUPS 5013 WITH SCORE 5018.481
AT ITER 2016 NEW BEST:: SOT 22998 SOS 5471 HAS SOPS 5471 HAS SOUS 5003 HAS SOUPS 5003 WITH SCORE 5008.471
AT ITER 2030 NEW BEST:: SOT 22997 SOS 5468 HAS SOPS 5468 HAS SOUS 5001 HAS SOUPS 5001 WITH SCORE 5006.468
AT ITER 2035 NEW BEST:: SOT 22987 SOS 5464 HAS SOPS 5464 HAS SOUS 4991 HAS SOUPS 4991 WITH SCORE 4996.464
AT ITER 2070 NEW BEST:: SOT 22985 SOS 5460 HAS SOPS 5460 HAS SOUS 4987 HAS SOUPS 4987 WITH SCORE 4992.46
AT ITER 2071 NEW BEST:: SOT 22968 SOS 5441 HAS SOPS 5441 HAS SOUS 4955 HAS SOUPS 4955 WITH SCORE 4960.441
AT ITER 2090 NEW BEST:: SOT 22968 SOS 5438 HAS SOPS 5438 HAS SOUS 4955 HAS SOUPS 4955 WITH SCORE 4960.438
AT ITER 2106 NEW BEST:: SOT 22967 SOS 5435 HAS SOPS 5435 HAS SOUS 4953 HAS SOUPS 4953 WITH SCORE 4958.435
AT ITER 2133 NEW BEST:: SOT 22954 SOS 5550 HAS SOPS 5550 HAS SOUS 4938 HAS SOUPS 4938 WITH SCORE 4943.55
AT ITER 2154 NEW BEST:: SOT 22953 SOS 5560 HAS SOPS 5560 HAS SOUS 4937 HAS SOUPS 4937 WITH SCORE 4942.56
AT ITER 2164 NEW BEST:: SOT 22877 SOS 5507 HAS SOPS 5507 HAS SOUS 4937 HAS SOUPS 4937 WITH SCORE 4942.507
AT ITER 2174 NEW BEST:: SOT 22874 SOS 5487 HAS SOPS 5487 HAS SOUS 4917 HAS SOUPS 4917 WITH SCORE 4922.487
AT ITER 2183 NEW BEST:: SOT 22870 SOS 5497 HAS SOPS 5497 HAS SOUS 4905 HAS SOUPS 4905 WITH SCORE 4910.497
AT ITER 2214 NEW BEST:: SOT 22850 SOS 5419 HAS SOPS 5419 HAS SOUS 4904 HAS SOUPS 4904 WITH SCORE 4909.419
AT ITER 2271 NEW BEST:: SOT 22830 SOS 5379 HAS SOPS 5379 HAS SOUS 4881 HAS SOUPS 4881 WITH SCORE 4886.379
AT ITER 2282 NEW BEST:: SOT 22859 SOS 5405 HAS SOPS 5405 HAS SOUS 4861 HAS SOUPS 4861 WITH SCORE 4866.405
AT ITER 2292 NEW BEST:: SOT 22857 SOS 5401 HAS SOPS 5401 HAS SOUS 4857 HAS SOUPS 4857 WITH SCORE 4862.401
AT ITER 2303 NEW BEST:: SOT 22855 SOS 5399 HAS SOPS 5399 HAS SOUS 4855 HAS SOUPS 4855 WITH SCORE 4860.399
AT ITER 2348 NEW BEST:: SOT 22866 SOS 5421 HAS SOPS 5421 HAS SOUS 4850 HAS SOUPS 4850 WITH SCORE 4855.421
AT ITER 2376 NEW BEST:: SOT 22859 SOS 5412 HAS SOPS 5412 HAS SOUS 4847 HAS SOUPS 4847 WITH SCORE 4852.412
AT ITER 2421 NEW BEST:: SOT 22856 SOS 5387 HAS SOPS 5387 HAS SOUS 4825 HAS SOUPS 4825 WITH SCORE 4830.387
AT ITER 2445 NEW BEST:: SOT 22856 SOS 5385 HAS SOPS 5385 HAS SOUS 4824 HAS SOUPS 4824 WITH SCORE 4829.385
AT ITER 2474 NEW BEST:: SOT 22854 SOS 5365 HAS SOPS 5365 HAS SOUS 4814 HAS SOUPS 4814 WITH SCORE 4819.365
AT ITER 2487 NEW BEST:: SOT 22877 SOS 5411 HAS SOPS 5411 HAS SOUS 4810 HAS SOUPS 4810 WITH SCORE 4815.411
AT ITER 2532 NEW BEST:: SOT 22877 SOS 5409 HAS SOPS 5409 HAS SOUS 4808 HAS SOUPS 4808 WITH SCORE 4813.409
AT ITER 2536 NEW BEST:: SOT 22862 SOS 5366 HAS SOPS 5366 HAS SOUS 4778 HAS SOUPS 4778 WITH SCORE 4783.366
AT ITER 2614 NEW BEST:: SOT 22854 SOS 5358 HAS SOPS 5358 HAS SOUS 4770 HAS SOUPS 4770 WITH SCORE 4775.358
AT ITER 2632 NEW BEST:: SOT 22854 SOS 5346 HAS SOPS 5346 HAS SOUS 4768 HAS SOUPS 4768 WITH SCORE 4773.346
AT ITER 2634 NEW BEST:: SOT 22851 SOS 5340 HAS SOPS 5340 HAS SOUS 4765 HAS SOUPS 4765 WITH SCORE 4770.34
AT ITER 2683 NEW BEST:: SOT 22851 SOS 5332 HAS SOPS 5332 HAS SOUS 4765 HAS SOUPS 4765 WITH SCORE 4770.332
AT ITER 2716 NEW BEST:: SOT 22851 SOS 5332 HAS SOPS 5332 HAS SOUS 4763 HAS SOUPS 4763 WITH SCORE 4768.332
AT ITER 2717 NEW BEST:: SOT 22848 SOS 5332 HAS SOPS 5332 HAS SOUS 4760 HAS SOUPS 4760 WITH SCORE 4765.332
AT ITER 2725 NEW BEST:: SOT 22839 SOS 5294 HAS SOPS 5294 HAS SOUS 4742 HAS SOUPS 4742 WITH SCORE 4747.294
AT ITER 2752 NEW BEST:: SOT 22839 SOS 5269 HAS SOPS 5269 HAS SOUS 4742 HAS SOUPS 4742 WITH SCORE 4747.269
AT ITER 2763 NEW BEST:: SOT 22832 SOS 5259 HAS SOPS 5259 HAS SOUS 4732 HAS SOUPS 4732 WITH SCORE 4737.259
AT ITER 2851 NEW BEST:: SOT 22834 SOS 5249 HAS SOPS 5249 HAS SOUS 4727 HAS SOUPS 4727 WITH SCORE 4732.249
AT ITER 2863 NEW BEST:: SOT 22856 SOS 5252 HAS SOPS 5252 HAS SOUS 4724 HAS SOUPS 4724 WITH SCORE 4729.252
AT ITER 2895 NEW BEST:: SOT 22856 SOS 5250 HAS SOPS 5250 HAS SOUS 4722 HAS SOUPS 4722 WITH SCORE 4727.25
AT ITER 2903 NEW BEST:: SOT 22855 SOS 5248 HAS SOPS 5248 HAS SOUS 4720 HAS SOUPS 4720 WITH SCORE 4725.248
AT ITER 2913 NEW BEST:: SOT 22847 SOS 5240 HAS SOPS 5240 HAS SOUS 4712 HAS SOUPS 4712 WITH SCORE 4717.24
AT ITER 2967 NEW BEST:: SOT 22842 SOS 5226 HAS SOPS 5226 HAS SOUS 4707 HAS SOUPS 4707 WITH SCORE 4712.226
AT ITER 3016 NEW BEST:: SOT 22832 SOS 5203 HAS SOPS 5203 HAS SOUS 4690 HAS SOUPS 4690 WITH SCORE 4695.203
AT ITER 3037 NEW BEST:: SOT 22834 SOS 5200 HAS SOPS 5200 HAS SOUS 4687 HAS SOUPS 4687 WITH SCORE 4692.2
AT ITER 3067 NEW BEST:: SOT 22837 SOS 5206 HAS SOPS 5206 HAS SOUS 4685 HAS SOUPS 4685 WITH SCORE 4690.206
AT ITER 3076 NEW BEST:: SOT 22848 SOS 5204 HAS SOPS 5204 HAS SOUS 4680 HAS SOUPS 4680 WITH SCORE 4685.204
AT ITER 3085 NEW BEST:: SOT 22834 SOS 5190 HAS SOPS 5190 HAS SOUS 4666 HAS SOUPS 4666 WITH SCORE 4671.19
AT ITER 3111 NEW BEST:: SOT 22831 SOS 5199 HAS SOPS 5199 HAS SOUS 4663 HAS SOUPS 4663 WITH SCORE 4668.199
AT ITER 3126 NEW BEST:: SOT 22828 SOS 5193 HAS SOPS 5193 HAS SOUS 4657 HAS SOUPS 4657 WITH SCORE 4662.193
AT ITER 3153 NEW BEST:: SOT 22812 SOS 5204 HAS SOPS 5204 HAS SOUS 4656 HAS SOUPS 4656 WITH SCORE 4661.204
AT ITER 3155 NEW BEST:: SOT 22798 SOS 5172 HAS SOPS 5172 HAS SOUS 4645 HAS SOUPS 4645 WITH SCORE 4650.172
AT ITER 3230 NEW BEST:: SOT 22798 SOS 5171 HAS SOPS 5171 HAS SOUS 4644 HAS SOUPS 4644 WITH SCORE 4649.171
AT ITER 3248 NEW BEST:: SOT 22794 SOS 5171 HAS SOPS 5171 HAS SOUS 4640 HAS SOUPS 4640 WITH SCORE 4645.171
AT ITER 3255 NEW BEST:: SOT 22791 SOS 5163 HAS SOPS 5163 HAS SOUS 4632 HAS SOUPS 4632 WITH SCORE 4637.163
AT ITER 3277 NEW BEST:: SOT 22789 SOS 5155 HAS SOPS 5155 HAS SOUS 4624 HAS SOUPS 4624 WITH SCORE 4629.155
AT ITER 3309 NEW BEST:: SOT 22789 SOS 5152 HAS SOPS 5152 HAS SOUS 4623 HAS SOUPS 4623 WITH SCORE 4628.152
AT ITER 3313 NEW BEST:: SOT 22781 SOS 5184 HAS SOPS 5184 HAS SOUS 4617 HAS SOUPS 4617 WITH SCORE 4622.184
AT ITER 3351 NEW BEST:: SOT 22777 SOS 5180 HAS SOPS 5180 HAS SOUS 4613 HAS SOUPS 4613 WITH SCORE 4618.18
AT ITER 3394 NEW BEST:: SOT 22776 SOS 5179 HAS SOPS 5179 HAS SOUS 4612 HAS SOUPS 4612 WITH SCORE 4617.179
AT ITER 3461 NEW BEST:: SOT 22781 SOS 5169 HAS SOPS 5169 HAS SOUS 4607 HAS SOUPS 4607 WITH SCORE 4612.169
AT ITER 3479 NEW BEST:: SOT 22778 SOS 5163 HAS SOPS 5163 HAS SOUS 4604 HAS SOUPS 4604 WITH SCORE 4609.163
AT ITER 3523 NEW BEST:: SOT 22777 SOS 5161 HAS SOPS 5161 HAS SOUS 4603 HAS SOUPS 4603 WITH SCORE 4608.161
AT ITER 3632 NEW BEST:: SOT 22775 SOS 5157 HAS SOPS 5157 HAS SOUS 4601 HAS SOUPS 4601 WITH SCORE 4606.157
AT ITER 3826 NEW BEST:: SOT 22772 SOS 5154 HAS SOPS 5154 HAS SOUS 4598 HAS SOUPS 4598 WITH SCORE 4603.154
AT ITER 3829 NEW BEST:: SOT 22772 SOS 5115 HAS SOPS 5115 HAS SOUS 4585 HAS SOUPS 4585 WITH SCORE 4590.115
AT ITER 3868 NEW BEST:: SOT 22773 SOS 5114 HAS SOPS 5114 HAS SOUS 4584 HAS SOUPS 4584 WITH SCORE 4589.114
AT ITER 3928 NEW BEST:: SOT 22773 SOS 5105 HAS SOPS 5105 HAS SOUS 4584 HAS SOUPS 4584 WITH SCORE 4589.105
AT ITER 3933 NEW BEST:: SOT 22741 SOS 5041 HAS SOPS 5041 HAS SOUS 4551 HAS SOUPS 4551 WITH SCORE 4556.041
AT ITER 4008 NEW BEST:: SOT 22743 SOS 5043 HAS SOPS 5043 HAS SOUS 4550 HAS SOUPS 4550 WITH SCORE 4555.043
AT ITER 4033 NEW BEST:: SOT 22743 SOS 5039 HAS SOPS 5039 HAS SOUS 4550 HAS SOUPS 4550 WITH SCORE 4555.039
AT ITER 4144 NEW BEST:: SOT 22743 SOS 5039 HAS SOPS 5039 HAS SOUS 4549 HAS SOUPS 4549 WITH SCORE 4554.039
AT ITER 4187 NEW BEST:: SOT 22732 SOS 5029 HAS SOPS 5029 HAS SOUS 4539 HAS SOUPS 4539 WITH SCORE 4544.029
AT ITER 4219 NEW BEST:: SOT 22730 SOS 5025 HAS SOPS 5025 HAS SOUS 4535 HAS SOUPS 4535 WITH SCORE 4540.025
AT ITER 4247 NEW BEST:: SOT 22729 SOS 5024 HAS SOPS 5024 HAS SOUS 4535 HAS SOUPS 4535 WITH SCORE 4540.024
AT ITER 4281 NEW BEST:: SOT 22729 SOS 5022 HAS SOPS 5022 HAS SOUS 4533 HAS SOUPS 4533 WITH SCORE 4538.022
AT ITER 4332 NEW BEST:: SOT 22729 SOS 5016 HAS SOPS 5016 HAS SOUS 4533 HAS SOUPS 4533 WITH SCORE 4538.016
AT ITER 4345 NEW BEST:: SOT 22732 SOS 5015 HAS SOPS 5015 HAS SOUS 4532 HAS SOUPS 4532 WITH SCORE 4537.015
AT ITER 4404 NEW BEST:: SOT 22731 SOS 5011 HAS SOPS 5011 HAS SOUS 4525 HAS SOUPS 4525 WITH SCORE 4530.011
AT ITER 4425 NEW BEST:: SOT 22725 SOS 4995 HAS SOPS 4995 HAS SOUS 4509 HAS SOUPS 4509 WITH SCORE 4513.995
AT ITER 4485 NEW BEST:: SOT 22724 SOS 4992 HAS SOPS 4992 HAS SOUS 4507 HAS SOUPS 4507 WITH SCORE 4511.992
AT ITER 4528 NEW BEST:: SOT 22719 SOS 4971 HAS SOPS 4971 HAS SOUS 4497 HAS SOUPS 4497 WITH SCORE 4501.971
AT ITER 4582 NEW BEST:: SOT 22719 SOS 4948 HAS SOPS 4948 HAS SOUS 4497 HAS SOUPS 4497 WITH SCORE 4501.948
AT ITER 4664 NEW BEST:: SOT 22717 SOS 4944 HAS SOPS 4944 HAS SOUS 4492 HAS SOUPS 4492 WITH SCORE 4496.944
AT ITER 4735 NEW BEST:: SOT 22721 SOS 4922 HAS SOPS 4922 HAS SOUS 4470 HAS SOUPS 4470 WITH SCORE 4474.922
AT ITER 4774 NEW BEST:: SOT 22720 SOS 4920 HAS SOPS 4920 HAS SOUS 4468 HAS SOUPS 4468 WITH SCORE 4472.92
AT ITER 4837 NEW BEST:: SOT 22720 SOS 4908 HAS SOPS 4908 HAS SOUS 4456 HAS SOUPS 4456 WITH SCORE 4460.908
AT ITER 4864 NEW BEST:: SOT 22720 SOS 4895 HAS SOPS 4895 HAS SOUS 4456 HAS SOUPS 4456 WITH SCORE 4460.895
AT ITER 4896 NEW BEST:: SOT 22734 SOS 4894 HAS SOPS 4894 HAS SOUS 4455 HAS SOUPS 4455 WITH SCORE 4459.894
AT ITER 4902 NEW BEST:: SOT 22737 SOS 4885 HAS SOPS 4885 HAS SOUS 4446 HAS SOUPS 4446 WITH SCORE 4450.885
AT ITER 4905 NEW BEST:: SOT 22735 SOS 4883 HAS SOPS 4883 HAS SOUS 4444 HAS SOUPS 4444 WITH SCORE 4448.883
AT ITER 4978 NEW BEST:: SOT 22735 SOS 4882 HAS SOPS 4882 HAS SOUS 4443 HAS SOUPS 4443 WITH SCORE 4447.882
AT ITER 5007 NEW BEST:: SOT 22729 SOS 4876 HAS SOPS 4876 HAS SOUS 4441 HAS SOUPS 4441 WITH SCORE 4445.876
AT ITER 5167 NEW BEST:: SOT 22729 SOS 4876 HAS SOPS 4876 HAS SOUS 4438 HAS SOUPS 4438 WITH SCORE 4442.876
AT ITER 5194 NEW BEST:: SOT 22719 SOS 4866 HAS SOPS 4866 HAS SOUS 4428 HAS SOUPS 4428 WITH SCORE 4432.866
AT ITER 5223 NEW BEST:: SOT 22718 SOS 4864 HAS SOPS 4864 HAS SOUS 4426 HAS SOUPS 4426 WITH SCORE 4430.864
AT ITER 5233 NEW BEST:: SOT 22724 SOS 4862 HAS SOPS 4862 HAS SOUS 4425 HAS SOUPS 4425 WITH SCORE 4429.862
AT ITER 5248 NEW BEST:: SOT 22724 SOS 4861 HAS SOPS 4861 HAS SOUS 4425 HAS SOUPS 4425 WITH SCORE 4429.861
AT ITER 5330 NEW BEST:: SOT 22720 SOS 4853 HAS SOPS 4853 HAS SOUS 4417 HAS SOUPS 4417 WITH SCORE 4421.853
AT ITER 5421 NEW BEST:: SOT 22720 SOS 4847 HAS SOPS 4847 HAS SOUS 4411 HAS SOUPS 4411 WITH SCORE 4415.847
AT ITER 5423 NEW BEST:: SOT 22716 SOS 4839 HAS SOPS 4839 HAS SOUS 4408 HAS SOUPS 4408 WITH SCORE 4412.839
AT ITER 5425 NEW BEST:: SOT 22715 SOS 4838 HAS SOPS 4838 HAS SOUS 4407 HAS SOUPS 4407 WITH SCORE 4411.838
AT ITER 5434 NEW BEST:: SOT 22709 SOS 4828 HAS SOPS 4828 HAS SOUS 4403 HAS SOUPS 4403 WITH SCORE 4407.828
AT ITER 5529 NEW BEST:: SOT 22698 SOS 4880 HAS SOPS 4880 HAS SOUS 4395 HAS SOUPS 4395 WITH SCORE 4399.88
AT ITER 5582 NEW BEST:: SOT 22696 SOS 4876 HAS SOPS 4876 HAS SOUS 4391 HAS SOUPS 4391 WITH SCORE 4395.876
AT ITER 5583 NEW BEST:: SOT 22697 SOS 4875 HAS SOPS 4875 HAS SOUS 4391 HAS SOUPS 4391 WITH SCORE 4395.875
AT ITER 5625 NEW BEST:: SOT 22697 SOS 4872 HAS SOPS 4872 HAS SOUS 4388 HAS SOUPS 4388 WITH SCORE 4392.872
AT ITER 5638 NEW BEST:: SOT 22697 SOS 4866 HAS SOPS 4866 HAS SOUS 4388 HAS SOUPS 4388 WITH SCORE 4392.866
AT ITER 5653 NEW BEST:: SOT 22707 SOS 4863 HAS SOPS 4863 HAS SOUS 4385 HAS SOUPS 4385 WITH SCORE 4389.863
AT ITER 5661 NEW BEST:: SOT 22706 SOS 4862 HAS SOPS 4862 HAS SOUS 4384 HAS SOUPS 4384 WITH SCORE 4388.862
AT ITER 5672 NEW BEST:: SOT 22709 SOS 4859 HAS SOPS 4859 HAS SOUS 4381 HAS SOUPS 4381 WITH SCORE 4385.859
AT ITER 5697 NEW BEST:: SOT 22709 SOS 4857 HAS SOPS 4857 HAS SOUS 4381 HAS SOUPS 4381 WITH SCORE 4385.857
AT ITER 5755 NEW BEST:: SOT 22706 SOS 4852 HAS SOPS 4852 HAS SOUS 4376 HAS SOUPS 4376 WITH SCORE 4380.852
AT ITER 5765 NEW BEST:: SOT 22706 SOS 4851 HAS SOPS 4851 HAS SOUS 4376 HAS SOUPS 4376 WITH SCORE 4380.851
AT ITER 5784 NEW BEST:: SOT 22703 SOS 4848 HAS SOPS 4848 HAS SOUS 4373 HAS SOUPS 4373 WITH SCORE 4377.848
AT ITER 5804 NEW BEST:: SOT 22696 SOS 4823 HAS SOPS 4823 HAS SOUS 4355 HAS SOUPS 4355 WITH SCORE 4359.823
AT ITER 5833 NEW BEST:: SOT 22694 SOS 4817 HAS SOPS 4817 HAS SOUS 4351 HAS SOUPS 4351 WITH SCORE 4355.817
AT ITER 5929 NEW BEST:: SOT 22693 SOS 4816 HAS SOPS 4816 HAS SOUS 4350 HAS SOUPS 4350 WITH SCORE 4354.816
AT ITER 5966 NEW BEST:: SOT 22678 SOS 4786 HAS SOPS 4786 HAS SOUS 4326 HAS SOUPS 4326 WITH SCORE 4330.786
AT ITER 5977 NEW BEST:: SOT 22673 SOS 4796 HAS SOPS 4796 HAS SOUS 4325 HAS SOUPS 4325 WITH SCORE 4329.796
AT ITER 5985 NEW BEST:: SOT 22671 SOS 4794 HAS SOPS 4794 HAS SOUS 4323 HAS SOUPS 4323 WITH SCORE 4327.794
AT ITER 6050 NEW BEST:: SOT 22684 SOS 4773 HAS SOPS 4773 HAS SOUS 4319 HAS SOUPS 4319 WITH SCORE 4323.773
AT ITER 6062 NEW BEST:: SOT 22684 SOS 4779 HAS SOPS 4779 HAS SOUS 4318 HAS SOUPS 4318 WITH SCORE 4322.779
AT ITER 6073 NEW BEST:: SOT 22664 SOS 4759 HAS SOPS 4759 HAS SOUS 4318 HAS SOUPS 4318 WITH SCORE 4322.759
AT ITER 6141 NEW BEST:: SOT 22655 SOS 4750 HAS SOPS 4750 HAS SOUS 4294 HAS SOUPS 4294 WITH SCORE 4298.75
AT ITER 6167 NEW BEST:: SOT 22652 SOS 4744 HAS SOPS 4744 HAS SOUS 4291 HAS SOUPS 4291 WITH SCORE 4295.744
AT ITER 6206 NEW BEST:: SOT 22652 SOS 4742 HAS SOPS 4742 HAS SOUS 4291 HAS SOUPS 4291 WITH SCORE 4295.742
AT ITER 6209 NEW BEST:: SOT 22651 SOS 4741 HAS SOPS 4741 HAS SOUS 4290 HAS SOUPS 4290 WITH SCORE 4294.741
AT ITER 6244 NEW BEST:: SOT 22651 SOS 4746 HAS SOPS 4746 HAS SOUS 4288 HAS SOUPS 4288 WITH SCORE 4292.746
AT ITER 6335 NEW BEST:: SOT 22646 SOS 4736 HAS SOPS 4736 HAS SOUS 4288 HAS SOUPS 4288 WITH SCORE 4292.736
AT ITER 6392 NEW BEST:: SOT 22647 SOS 4731 HAS SOPS 4731 HAS SOUS 4283 HAS SOUPS 4283 WITH SCORE 4287.731
AT ITER 6393 NEW BEST:: SOT 22647 SOS 4726 HAS SOPS 4726 HAS SOUS 4278 HAS SOUPS 4278 WITH SCORE 4282.726
AT ITER 6436 NEW BEST:: SOT 22644 SOS 4724 HAS SOPS 4724 HAS SOUS 4276 HAS SOUPS 4276 WITH SCORE 4280.724
AT ITER 6441 NEW BEST:: SOT 22618 SOS 4680 HAS SOPS 4680 HAS SOUS 4265 HAS SOUPS 4265 WITH SCORE 4269.68
AT ITER 6449 NEW BEST:: SOT 22618 SOS 4677 HAS SOPS 4677 HAS SOUS 4262 HAS SOUPS 4262 WITH SCORE 4266.677
AT ITER 6492 NEW BEST:: SOT 22618 SOS 4663 HAS SOPS 4663 HAS SOUS 4255 HAS SOUPS 4255 WITH SCORE 4259.663
AT ITER 6523 NEW BEST:: SOT 22615 SOS 4658 HAS SOPS 4658 HAS SOUS 4250 HAS SOUPS 4250 WITH SCORE 4254.658
AT ITER 6528 NEW BEST:: SOT 22615 SOS 4649 HAS SOPS 4649 HAS SOUS 4241 HAS SOUPS 4241 WITH SCORE 4245.649
AT ITER 6564 NEW BEST:: SOT 22607 SOS 4645 HAS SOPS 4645 HAS SOUS 4233 HAS SOUPS 4233 WITH SCORE 4237.645
AT ITER 6614 NEW BEST:: SOT 22603 SOS 4624 HAS SOPS 4624 HAS SOUS 4219 HAS SOUPS 4219 WITH SCORE 4223.624
AT ITER 6641 NEW BEST:: SOT 22604 SOS 4620 HAS SOPS 4620 HAS SOUS 4217 HAS SOUPS 4217 WITH SCORE 4221.62
AT ITER 6764 NEW BEST:: SOT 22606 SOS 4605 HAS SOPS 4605 HAS SOUS 4217 HAS SOUPS 4217 WITH SCORE 4221.605
AT ITER 6864 NEW BEST:: SOT 22610 SOS 4609 HAS SOPS 4609 HAS SOUS 4213 HAS SOUPS 4213 WITH SCORE 4217.609
AT ITER 6879 NEW BEST:: SOT 22607 SOS 4599 HAS SOPS 4599 HAS SOUS 4207 HAS SOUPS 4207 WITH SCORE 4211.599
AT ITER 6920 NEW BEST:: SOT 22607 SOS 4600 HAS SOPS 4600 HAS SOUS 4206 HAS SOUPS 4206 WITH SCORE 4210.6
AT ITER 6998 NEW BEST:: SOT 22605 SOS 4598 HAS SOPS 4598 HAS SOUS 4204 HAS SOUPS 4204 WITH SCORE 4208.598
AT ITER 7044 NEW BEST:: SOT 22605 SOS 4597 HAS SOPS 4597 HAS SOUS 4203 HAS SOUPS 4203 WITH SCORE 4207.597
AT ITER 7051 NEW BEST:: SOT 22603 SOS 4595 HAS SOPS 4595 HAS SOUS 4201 HAS SOUPS 4201 WITH SCORE 4205.595
AT ITER 7096 NEW BEST:: SOT 22598 SOS 4612 HAS SOPS 4612 HAS SOUS 4200 HAS SOUPS 4200 WITH SCORE 4204.612
AT ITER 7227 NEW BEST:: SOT 22595 SOS 4610 HAS SOPS 4610 HAS SOUS 4198 HAS SOUPS 4198 WITH SCORE 4202.61
AT ITER 7234 NEW BEST:: SOT 22593 SOS 4606 HAS SOPS 4606 HAS SOUS 4198 HAS SOUPS 4198 WITH SCORE 4202.606
AT ITER 7473 NEW BEST:: SOT 22592 SOS 4604 HAS SOPS 4604 HAS SOUS 4198 HAS SOUPS 4198 WITH SCORE 4202.604
AT ITER 7503 NEW BEST:: SOT 22590 SOS 4576 HAS SOPS 4576 HAS SOUS 4183 HAS SOUPS 4183 WITH SCORE 4187.576
AT ITER 7609 NEW BEST:: SOT 22587 SOS 4561 HAS SOPS 4561 HAS SOUS 4174 HAS SOUPS 4174 WITH SCORE 4178.561
AT ITER 7666 NEW BEST:: SOT 22586 SOS 4604 HAS SOPS 4604 HAS SOUS 4173 HAS SOUPS 4173 WITH SCORE 4177.604
AT ITER 7698 NEW BEST:: SOT 22586 SOS 4603 HAS SOPS 4603 HAS SOUS 4172 HAS SOUPS 4172 WITH SCORE 4176.603
AT ITER 7762 NEW BEST:: SOT 22583 SOS 4602 HAS SOPS 4602 HAS SOUS 4171 HAS SOUPS 4171 WITH SCORE 4175.602
AT ITER 7785 NEW BEST:: SOT 22583 SOS 4580 HAS SOPS 4580 HAS SOUS 4158 HAS SOUPS 4158 WITH SCORE 4162.58
AT ITER 7812 NEW BEST:: SOT 22581 SOS 4579 HAS SOPS 4579 HAS SOUS 4157 HAS SOUPS 4157 WITH SCORE 4161.579
AT ITER 7884 NEW BEST:: SOT 22581 SOS 4576 HAS SOPS 4576 HAS SOUS 4157 HAS SOUPS 4157 WITH SCORE 4161.576
AT ITER 8048 NEW BEST:: SOT 22581 SOS 4568 HAS SOPS 4568 HAS SOUS 4149 HAS SOUPS 4149 WITH SCORE 4153.568
AT ITER 8059 NEW BEST:: SOT 22580 SOS 4563 HAS SOPS 4563 HAS SOUS 4146 HAS SOUPS 4146 WITH SCORE 4150.563
AT ITER 8172 NEW BEST:: SOT 22581 SOS 4540 HAS SOPS 4540 HAS SOUS 4139 HAS SOUPS 4139 WITH SCORE 4143.54
AT ITER 8192 NEW BEST:: SOT 22579 SOS 4538 HAS SOPS 4538 HAS SOUS 4137 HAS SOUPS 4137 WITH SCORE 4141.538
AT ITER 8195 NEW BEST:: SOT 22576 SOS 4534 HAS SOPS 4534 HAS SOUS 4133 HAS SOUPS 4133 WITH SCORE 4137.534
AT ITER 8320 NEW BEST:: SOT 22582 SOS 4529 HAS SOPS 4529 HAS SOUS 4130 HAS SOUPS 4130 WITH SCORE 4134.529
AT ITER 8330 NEW BEST:: SOT 22582 SOS 4522 HAS SOPS 4522 HAS SOUS 4130 HAS SOUPS 4130 WITH SCORE 4134.522
AT ITER 8336 NEW BEST:: SOT 22581 SOS 4521 HAS SOPS 4521 HAS SOUS 4129 HAS SOUPS 4129 WITH SCORE 4133.521
AT ITER 8345 NEW BEST:: SOT 22580 SOS 4519 HAS SOPS 4519 HAS SOUS 4129 HAS SOUPS 4129 WITH SCORE 4133.519
AT ITER 8410 NEW BEST:: SOT 22559 SOS 4501 HAS SOPS 4501 HAS SOUS 4111 HAS SOUPS 4111 WITH SCORE 4115.501
AT ITER 8437 NEW BEST:: SOT 22555 SOS 4502 HAS SOPS 4502 HAS SOUS 4106 HAS SOUPS 4106 WITH SCORE 4110.502
AT ITER 8653 NEW BEST:: SOT 22560 SOS 4497 HAS SOPS 4497 HAS SOUS 4101 HAS SOUPS 4101 WITH SCORE 4105.497
AT ITER 8678 NEW BEST:: SOT 22554 SOS 4504 HAS SOPS 4504 HAS SOUS 4100 HAS SOUPS 4100 WITH SCORE 4104.504
AT ITER 8715 NEW BEST:: SOT 22565 SOS 4493 HAS SOPS 4493 HAS SOUS 4100 HAS SOUPS 4100 WITH SCORE 4104.493
AT ITER 8922 NEW BEST:: SOT 22573 SOS 4490 HAS SOPS 4490 HAS SOUS 4097 HAS SOUPS 4097 WITH SCORE 4101.49
AT ITER 9026 NEW BEST:: SOT 22568 SOS 4485 HAS SOPS 4485 HAS SOUS 4092 HAS SOUPS 4092 WITH SCORE 4096.485
AT ITER 9190 NEW BEST:: SOT 22568 SOS 4481 HAS SOPS 4481 HAS SOUS 4085 HAS SOUPS 4085 WITH SCORE 4089.481
AT ITER 9214 NEW BEST:: SOT 22557 SOS 4459 HAS SOPS 4459 HAS SOUS 4085 HAS SOUPS 4085 WITH SCORE 4089.459
AT ITER 9252 NEW BEST:: SOT 22556 SOS 4461 HAS SOPS 4461 HAS SOUS 4083 HAS SOUPS 4083 WITH SCORE 4087.461
AT ITER 9267 NEW BEST:: SOT 22556 SOS 4459 HAS SOPS 4459 HAS SOUS 4081 HAS SOUPS 4081 WITH SCORE 4085.459
AT ITER 9278 NEW BEST:: SOT 22556 SOS 4450 HAS SOPS 4450 HAS SOUS 4081 HAS SOUPS 4081 WITH SCORE 4085.45
AT ITER 9280 NEW BEST:: SOT 22552 SOS 4448 HAS SOPS 4448 HAS SOUS 4079 HAS SOUPS 4079 WITH SCORE 4083.448
AT ITER 9292 NEW BEST:: SOT 22554 SOS 4452 HAS SOPS 4452 HAS SOUS 4078 HAS SOUPS 4078 WITH SCORE 4082.452
AT ITER 9395 NEW BEST:: SOT 22554 SOS 4450 HAS SOPS 4450 HAS SOUS 4076 HAS SOUPS 4076 WITH SCORE 4080.45
AT ITER 9405 NEW BEST:: SOT 22554 SOS 4446 HAS SOPS 4446 HAS SOUS 4074 HAS SOUPS 4074 WITH SCORE 4078.446
AT ITER 9413 NEW BEST:: SOT 22554 SOS 4442 HAS SOPS 4442 HAS SOUS 4070 HAS SOUPS 4070 WITH SCORE 4074.442
AT ITER 9457 NEW BEST:: SOT 22551 SOS 4441 HAS SOPS 4441 HAS SOUS 4069 HAS SOUPS 4069 WITH SCORE 4073.441
AT ITER 9490 NEW BEST:: SOT 22553 SOS 4451 HAS SOPS 4451 HAS SOUS 4065 HAS SOUPS 4065 WITH SCORE 4069.451
AT ITER 9504 NEW BEST:: SOT 22553 SOS 4448 HAS SOPS 4448 HAS SOUS 4064 HAS SOUPS 4064 WITH SCORE 4068.448
AT ITER 9537 NEW BEST:: SOT 22558 SOS 4443 HAS SOPS 4443 HAS SOUS 4064 HAS SOUPS 4064 WITH SCORE 4068.443
AT ITER 9574 NEW BEST:: SOT 22566 SOS 4436 HAS SOPS 4436 HAS SOUS 4057 HAS SOUPS 4057 WITH SCORE 4061.436
AT ITER 9632 NEW BEST:: SOT 22569 SOS 4434 HAS SOPS 4434 HAS SOUS 4055 HAS SOUPS 4055 WITH SCORE 4059.434
AT ITER 9655 NEW BEST:: SOT 22574 SOS 4430 HAS SOPS 4430 HAS SOUS 4051 HAS SOUPS 4051 WITH SCORE 4055.43
AT ITER 9844 NEW BEST:: SOT 22573 SOS 4441 HAS SOPS 4441 HAS SOUS 4050 HAS SOUPS 4050 WITH SCORE 4054.441
AT ITER 9848 NEW BEST:: SOT 22570 SOS 4430 HAS SOPS 4430 HAS SOUS 4042 HAS SOUPS 4042 WITH SCORE 4046.43
AT ITER 9948 NEW BEST:: SOT 22570 SOS 4421 HAS SOPS 4421 HAS SOUS 4039 HAS SOUPS 4039 WITH SCORE 4043.421
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393220 kB
MemFree: 8909852 kB
After kill :
MemTotal: 16393220 kB
MemFree: 16125064 kB

BK_TIME_CONFINEMENT_REACHED

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

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

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="ShieldIIPt-PT-003B"
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 ShieldIIPt-PT-003B, 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 r395-oct2-167903718500224"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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