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.r259-smll-167863534000032.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 NQueens-PT-10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r259-smll-167863534000032
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 484K
-rw-r--r-- 1 mcc users 5.6K Feb 26 17:09 CTLCardinality.txt
-rw-r--r-- 1 mcc users 55K Feb 26 17:09 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Feb 26 17:08 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 26 17:08 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 16:26 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 16:26 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:26 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:26 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.5K Feb 26 17:10 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 81K Feb 26 17:10 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.3K Feb 26 17:09 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 70K Feb 26 17:09 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:26 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:26 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 96K 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 1678656633131

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=NQueens-PT-10
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NQueens (PT), instance 10
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: 160 places, 100 transitions, 500 arcs.
AT ITER 0 NEW BEST:: SOT 12143 SOS 7405 HAS SOPS 7405 HAS SOUS 6962 HAS SOUPS 6962 WITH SCORE 6969.405
AT ITER 2 NEW BEST:: SOT 12132 SOS 7407 HAS SOPS 7407 HAS SOUS 6950 HAS SOUPS 6950 WITH SCORE 6957.407
AT ITER 19 NEW BEST:: SOT 12126 SOS 7395 HAS SOPS 7395 HAS SOUS 6933 HAS SOUPS 6933 WITH SCORE 6940.395
AT ITER 22 NEW BEST:: SOT 12087 SOS 7373 HAS SOPS 7373 HAS SOUS 6895 HAS SOUPS 6895 WITH SCORE 6902.373
AT ITER 34 NEW BEST:: SOT 12087 SOS 7372 HAS SOPS 7372 HAS SOUS 6895 HAS SOUPS 6895 WITH SCORE 6902.372
AT ITER 39 NEW BEST:: SOT 12037 SOS 7343 HAS SOPS 7343 HAS SOUS 6853 HAS SOUPS 6853 WITH SCORE 6860.343
AT ITER 43 NEW BEST:: SOT 12027 SOS 7362 HAS SOPS 7362 HAS SOUS 6852 HAS SOUPS 6852 WITH SCORE 6859.362
AT ITER 51 NEW BEST:: SOT 12039 SOS 7365 HAS SOPS 7365 HAS SOUS 6846 HAS SOUPS 6846 WITH SCORE 6853.365
AT ITER 61 NEW BEST:: SOT 12009 SOS 7335 HAS SOPS 7335 HAS SOUS 6816 HAS SOUPS 6816 WITH SCORE 6823.335
AT ITER 71 NEW BEST:: SOT 11984 SOS 7337 HAS SOPS 7337 HAS SOUS 6799 HAS SOUPS 6799 WITH SCORE 6806.337
AT ITER 72 NEW BEST:: SOT 11984 SOS 7334 HAS SOPS 7334 HAS SOUS 6796 HAS SOUPS 6796 WITH SCORE 6803.334
AT ITER 75 NEW BEST:: SOT 11925 SOS 7265 HAS SOPS 7265 HAS SOUS 6726 HAS SOUPS 6726 WITH SCORE 6733.265
AT ITER 79 NEW BEST:: SOT 11918 SOS 7253 HAS SOPS 7253 HAS SOUS 6723 HAS SOUPS 6723 WITH SCORE 6730.253
AT ITER 86 NEW BEST:: SOT 11871 SOS 7234 HAS SOPS 7234 HAS SOUS 6700 HAS SOUPS 6700 WITH SCORE 6707.234
AT ITER 99 NEW BEST:: SOT 11904 SOS 7218 HAS SOPS 7218 HAS SOUS 6698 HAS SOUPS 6698 WITH SCORE 6705.218
AT ITER 103 NEW BEST:: SOT 11847 SOS 7227 HAS SOPS 7227 HAS SOUS 6657 HAS SOUPS 6657 WITH SCORE 6664.227
AT ITER 105 NEW BEST:: SOT 11765 SOS 7340 HAS SOPS 7340 HAS SOUS 6653 HAS SOUPS 6653 WITH SCORE 6660.34
AT ITER 107 NEW BEST:: SOT 11727 SOS 7302 HAS SOPS 7302 HAS SOUS 6614 HAS SOUPS 6614 WITH SCORE 6621.302
AT ITER 108 NEW BEST:: SOT 11735 SOS 7464 HAS SOPS 7464 HAS SOUS 6597 HAS SOUPS 6597 WITH SCORE 6604.464
AT ITER 114 NEW BEST:: SOT 11735 SOS 7431 HAS SOPS 7431 HAS SOUS 6590 HAS SOUPS 6590 WITH SCORE 6597.431
AT ITER 124 NEW BEST:: SOT 11753 SOS 7428 HAS SOPS 7428 HAS SOUS 6576 HAS SOUPS 6576 WITH SCORE 6583.428
AT ITER 127 NEW BEST:: SOT 11713 SOS 7461 HAS SOPS 7461 HAS SOUS 6555 HAS SOUPS 6555 WITH SCORE 6562.461
AT ITER 134 NEW BEST:: SOT 11711 SOS 7459 HAS SOPS 7459 HAS SOUS 6553 HAS SOUPS 6553 WITH SCORE 6560.459
AT ITER 138 NEW BEST:: SOT 11694 SOS 7435 HAS SOPS 7435 HAS SOUS 6521 HAS SOUPS 6521 WITH SCORE 6528.435
AT ITER 160 NEW BEST:: SOT 11605 SOS 7354 HAS SOPS 7354 HAS SOUS 6440 HAS SOUPS 6440 WITH SCORE 6447.354
AT ITER 177 NEW BEST:: SOT 11605 SOS 7347 HAS SOPS 7347 HAS SOUS 6440 HAS SOUPS 6440 WITH SCORE 6447.347
AT ITER 189 NEW BEST:: SOT 11549 SOS 7319 HAS SOPS 7319 HAS SOUS 6393 HAS SOUPS 6393 WITH SCORE 6400.319
AT ITER 207 NEW BEST:: SOT 11549 SOS 7313 HAS SOPS 7313 HAS SOUS 6393 HAS SOUPS 6393 WITH SCORE 6400.313
AT ITER 223 NEW BEST:: SOT 11517 SOS 7311 HAS SOPS 7311 HAS SOUS 6366 HAS SOUPS 6366 WITH SCORE 6373.311
AT ITER 225 NEW BEST:: SOT 11517 SOS 7305 HAS SOPS 7305 HAS SOUS 6366 HAS SOUPS 6366 WITH SCORE 6373.305
AT ITER 247 NEW BEST:: SOT 11517 SOS 7304 HAS SOPS 7304 HAS SOUS 6366 HAS SOUPS 6366 WITH SCORE 6373.304
AT ITER 266 NEW BEST:: SOT 11517 SOS 7301 HAS SOPS 7301 HAS SOUS 6366 HAS SOUPS 6366 WITH SCORE 6373.301
AT ITER 277 NEW BEST:: SOT 11517 SOS 7297 HAS SOPS 7297 HAS SOUS 6366 HAS SOUPS 6366 WITH SCORE 6373.297
AT ITER 288 NEW BEST:: SOT 11522 SOS 7296 HAS SOPS 7296 HAS SOUS 6365 HAS SOUPS 6365 WITH SCORE 6372.296
AT ITER 295 NEW BEST:: SOT 11502 SOS 7305 HAS SOPS 7305 HAS SOUS 6359 HAS SOUPS 6359 WITH SCORE 6366.305
AT ITER 297 NEW BEST:: SOT 11486 SOS 7312 HAS SOPS 7312 HAS SOUS 6343 HAS SOUPS 6343 WITH SCORE 6350.312
AT ITER 299 NEW BEST:: SOT 11512 SOS 7317 HAS SOPS 7317 HAS SOUS 6336 HAS SOUPS 6336 WITH SCORE 6343.317
AT ITER 300 NEW BEST:: SOT 11512 SOS 7316 HAS SOPS 7316 HAS SOUS 6335 HAS SOUPS 6335 WITH SCORE 6342.316
AT ITER 314 NEW BEST:: SOT 11512 SOS 7310 HAS SOPS 7310 HAS SOUS 6329 HAS SOUPS 6329 WITH SCORE 6336.31
AT ITER 318 NEW BEST:: SOT 11512 SOS 7298 HAS SOPS 7298 HAS SOUS 6325 HAS SOUPS 6325 WITH SCORE 6332.298
AT ITER 343 NEW BEST:: SOT 11491 SOS 7304 HAS SOPS 7304 HAS SOUS 6293 HAS SOUPS 6293 WITH SCORE 6300.304
AT ITER 346 NEW BEST:: SOT 11491 SOS 7286 HAS SOPS 7286 HAS SOUS 6286 HAS SOUPS 6286 WITH SCORE 6293.286
AT ITER 353 NEW BEST:: SOT 11491 SOS 7263 HAS SOPS 7263 HAS SOUS 6286 HAS SOUPS 6286 WITH SCORE 6293.263
AT ITER 357 NEW BEST:: SOT 11491 SOS 7263 HAS SOPS 7263 HAS SOUS 6284 HAS SOUPS 6284 WITH SCORE 6291.263
AT ITER 367 NEW BEST:: SOT 11499 SOS 7247 HAS SOPS 7247 HAS SOUS 6281 HAS SOUPS 6281 WITH SCORE 6288.247
AT ITER 372 NEW BEST:: SOT 11499 SOS 7230 HAS SOPS 7230 HAS SOUS 6281 HAS SOUPS 6281 WITH SCORE 6288.23
AT ITER 389 NEW BEST:: SOT 11499 SOS 7228 HAS SOPS 7228 HAS SOUS 6281 HAS SOUPS 6281 WITH SCORE 6288.228
AT ITER 408 NEW BEST:: SOT 11499 SOS 7209 HAS SOPS 7209 HAS SOUS 6281 HAS SOUPS 6281 WITH SCORE 6288.209
AT ITER 409 NEW BEST:: SOT 11486 SOS 7216 HAS SOPS 7216 HAS SOUS 6271 HAS SOUPS 6271 WITH SCORE 6278.216
AT ITER 418 NEW BEST:: SOT 11494 SOS 7199 HAS SOPS 7199 HAS SOUS 6260 HAS SOUPS 6260 WITH SCORE 6267.199
AT ITER 437 NEW BEST:: SOT 11512 SOS 6938 HAS SOPS 6938 HAS SOUS 6258 HAS SOUPS 6258 WITH SCORE 6264.938
AT ITER 446 NEW BEST:: SOT 11512 SOS 6898 HAS SOPS 6898 HAS SOUS 6258 HAS SOUPS 6258 WITH SCORE 6264.898
AT ITER 447 NEW BEST:: SOT 11512 SOS 6896 HAS SOPS 6896 HAS SOUS 6253 HAS SOUPS 6253 WITH SCORE 6259.896
AT ITER 450 NEW BEST:: SOT 11512 SOS 6893 HAS SOPS 6893 HAS SOUS 6250 HAS SOUPS 6250 WITH SCORE 6256.893
AT ITER 453 NEW BEST:: SOT 11512 SOS 6891 HAS SOPS 6891 HAS SOUS 6250 HAS SOUPS 6250 WITH SCORE 6256.891
AT ITER 455 NEW BEST:: SOT 11510 SOS 6885 HAS SOPS 6885 HAS SOUS 6246 HAS SOUPS 6246 WITH SCORE 6252.885
AT ITER 475 NEW BEST:: SOT 11510 SOS 6893 HAS SOPS 6893 HAS SOUS 6245 HAS SOUPS 6245 WITH SCORE 6251.893
AT ITER 500 NEW BEST:: SOT 11447 SOS 6916 HAS SOPS 6916 HAS SOUS 6221 HAS SOUPS 6221 WITH SCORE 6227.916
AT ITER 506 NEW BEST:: SOT 11416 SOS 6916 HAS SOPS 6916 HAS SOUS 6205 HAS SOUPS 6205 WITH SCORE 6211.916
AT ITER 520 NEW BEST:: SOT 11409 SOS 6905 HAS SOPS 6905 HAS SOUS 6204 HAS SOUPS 6204 WITH SCORE 6210.905
AT ITER 524 NEW BEST:: SOT 11409 SOS 6893 HAS SOPS 6893 HAS SOUS 6204 HAS SOUPS 6204 WITH SCORE 6210.893
AT ITER 531 NEW BEST:: SOT 11409 SOS 6883 HAS SOPS 6883 HAS SOUS 6204 HAS SOUPS 6204 WITH SCORE 6210.883
AT ITER 551 NEW BEST:: SOT 11409 SOS 6915 HAS SOPS 6915 HAS SOUS 6202 HAS SOUPS 6202 WITH SCORE 6208.915
AT ITER 587 NEW BEST:: SOT 11409 SOS 6906 HAS SOPS 6906 HAS SOUS 6202 HAS SOUPS 6202 WITH SCORE 6208.906
AT ITER 618 NEW BEST:: SOT 11409 SOS 6854 HAS SOPS 6854 HAS SOUS 6202 HAS SOUPS 6202 WITH SCORE 6208.854
AT ITER 619 NEW BEST:: SOT 11389 SOS 6834 HAS SOPS 6834 HAS SOUS 6182 HAS SOUPS 6182 WITH SCORE 6188.834
AT ITER 622 NEW BEST:: SOT 11271 SOS 6734 HAS SOPS 6734 HAS SOUS 6082 HAS SOUPS 6082 WITH SCORE 6088.734
AT ITER 629 NEW BEST:: SOT 11271 SOS 6733 HAS SOPS 6733 HAS SOUS 6082 HAS SOUPS 6082 WITH SCORE 6088.733
AT ITER 680 NEW BEST:: SOT 11249 SOS 6744 HAS SOPS 6744 HAS SOUS 6081 HAS SOUPS 6081 WITH SCORE 6087.744
AT ITER 691 NEW BEST:: SOT 11250 SOS 6746 HAS SOPS 6746 HAS SOUS 6065 HAS SOUPS 6065 WITH SCORE 6071.746
AT ITER 703 NEW BEST:: SOT 11250 SOS 6724 HAS SOPS 6724 HAS SOUS 6043 HAS SOUPS 6043 WITH SCORE 6049.724
AT ITER 716 NEW BEST:: SOT 11250 SOS 6710 HAS SOPS 6710 HAS SOUS 6043 HAS SOUPS 6043 WITH SCORE 6049.71
AT ITER 717 NEW BEST:: SOT 11250 SOS 6699 HAS SOPS 6699 HAS SOUS 6035 HAS SOUPS 6035 WITH SCORE 6041.699
AT ITER 722 NEW BEST:: SOT 11244 SOS 6695 HAS SOPS 6695 HAS SOUS 6031 HAS SOUPS 6031 WITH SCORE 6037.695
AT ITER 774 NEW BEST:: SOT 11230 SOS 6683 HAS SOPS 6683 HAS SOUS 6019 HAS SOUPS 6019 WITH SCORE 6025.683
AT ITER 783 NEW BEST:: SOT 11230 SOS 6660 HAS SOPS 6660 HAS SOUS 6012 HAS SOUPS 6012 WITH SCORE 6018.66
AT ITER 796 NEW BEST:: SOT 11230 SOS 6653 HAS SOPS 6653 HAS SOUS 6012 HAS SOUPS 6012 WITH SCORE 6018.653
AT ITER 812 NEW BEST:: SOT 11224 SOS 6636 HAS SOPS 6636 HAS SOUS 5989 HAS SOUPS 5989 WITH SCORE 5995.636
AT ITER 821 NEW BEST:: SOT 11199 SOS 6703 HAS SOPS 6703 HAS SOUS 5985 HAS SOUPS 5985 WITH SCORE 5991.703
AT ITER 831 NEW BEST:: SOT 11188 SOS 6692 HAS SOPS 6692 HAS SOUS 5974 HAS SOUPS 5974 WITH SCORE 5980.692
AT ITER 838 NEW BEST:: SOT 11185 SOS 6690 HAS SOPS 6690 HAS SOUS 5972 HAS SOUPS 5972 WITH SCORE 5978.69
AT ITER 853 NEW BEST:: SOT 11185 SOS 6674 HAS SOPS 6674 HAS SOUS 5972 HAS SOUPS 5972 WITH SCORE 5978.674
AT ITER 877 NEW BEST:: SOT 11179 SOS 6655 HAS SOPS 6655 HAS SOUS 5949 HAS SOUPS 5949 WITH SCORE 5955.655
AT ITER 881 NEW BEST:: SOT 11179 SOS 6655 HAS SOPS 6655 HAS SOUS 5943 HAS SOUPS 5943 WITH SCORE 5949.655
AT ITER 889 NEW BEST:: SOT 11172 SOS 6633 HAS SOPS 6633 HAS SOUS 5936 HAS SOUPS 5936 WITH SCORE 5942.633
AT ITER 895 NEW BEST:: SOT 11172 SOS 6633 HAS SOPS 6633 HAS SOUS 5932 HAS SOUPS 5932 WITH SCORE 5938.633
AT ITER 899 NEW BEST:: SOT 11172 SOS 6611 HAS SOPS 6611 HAS SOUS 5909 HAS SOUPS 5909 WITH SCORE 5915.611
AT ITER 901 NEW BEST:: SOT 11172 SOS 6604 HAS SOPS 6604 HAS SOUS 5902 HAS SOUPS 5902 WITH SCORE 5908.604
AT ITER 926 NEW BEST:: SOT 11171 SOS 6603 HAS SOPS 6603 HAS SOUS 5901 HAS SOUPS 5901 WITH SCORE 5907.603
AT ITER 928 NEW BEST:: SOT 11164 SOS 6596 HAS SOPS 6596 HAS SOUS 5894 HAS SOUPS 5894 WITH SCORE 5900.596
AT ITER 929 NEW BEST:: SOT 11162 SOS 6599 HAS SOPS 6599 HAS SOUS 5892 HAS SOUPS 5892 WITH SCORE 5898.599
AT ITER 945 NEW BEST:: SOT 11162 SOS 6596 HAS SOPS 6596 HAS SOUS 5892 HAS SOUPS 5892 WITH SCORE 5898.596
AT ITER 947 NEW BEST:: SOT 11162 SOS 6594 HAS SOPS 6594 HAS SOUS 5892 HAS SOUPS 5892 WITH SCORE 5898.594
AT ITER 968 NEW BEST:: SOT 11187 SOS 6601 HAS SOPS 6601 HAS SOUS 5889 HAS SOUPS 5889 WITH SCORE 5895.601
AT ITER 1018 NEW BEST:: SOT 11181 SOS 6595 HAS SOPS 6595 HAS SOUS 5883 HAS SOUPS 5883 WITH SCORE 5889.595
AT ITER 1021 NEW BEST:: SOT 11178 SOS 6592 HAS SOPS 6592 HAS SOUS 5880 HAS SOUPS 5880 WITH SCORE 5886.592
AT ITER 1024 NEW BEST:: SOT 11153 SOS 6576 HAS SOPS 6576 HAS SOUS 5874 HAS SOUPS 5874 WITH SCORE 5880.576
AT ITER 1026 NEW BEST:: SOT 11090 SOS 6513 HAS SOPS 6513 HAS SOUS 5811 HAS SOUPS 5811 WITH SCORE 5817.513
AT ITER 1053 NEW BEST:: SOT 11078 SOS 6501 HAS SOPS 6501 HAS SOUS 5799 HAS SOUPS 5799 WITH SCORE 5805.501
AT ITER 1055 NEW BEST:: SOT 11063 SOS 6506 HAS SOPS 6506 HAS SOUS 5784 HAS SOUPS 5784 WITH SCORE 5790.506
AT ITER 1056 NEW BEST:: SOT 11063 SOS 6494 HAS SOPS 6494 HAS SOUS 5784 HAS SOUPS 5784 WITH SCORE 5790.494
AT ITER 1072 NEW BEST:: SOT 11063 SOS 6481 HAS SOPS 6481 HAS SOUS 5784 HAS SOUPS 5784 WITH SCORE 5790.481
AT ITER 1077 NEW BEST:: SOT 11063 SOS 6445 HAS SOPS 6445 HAS SOUS 5784 HAS SOUPS 5784 WITH SCORE 5790.445
AT ITER 1087 NEW BEST:: SOT 11053 SOS 6435 HAS SOPS 6435 HAS SOUS 5782 HAS SOUPS 5782 WITH SCORE 5788.435
AT ITER 1091 NEW BEST:: SOT 11052 SOS 6460 HAS SOPS 6460 HAS SOUS 5781 HAS SOUPS 5781 WITH SCORE 5787.46
AT ITER 1098 NEW BEST:: SOT 11051 SOS 6459 HAS SOPS 6459 HAS SOUS 5780 HAS SOUPS 5780 WITH SCORE 5786.459
AT ITER 1109 NEW BEST:: SOT 10993 SOS 6401 HAS SOPS 6401 HAS SOUS 5719 HAS SOUPS 5719 WITH SCORE 5725.401
AT ITER 1119 NEW BEST:: SOT 10992 SOS 6400 HAS SOPS 6400 HAS SOUS 5718 HAS SOUPS 5718 WITH SCORE 5724.4
AT ITER 1126 NEW BEST:: SOT 10976 SOS 6424 HAS SOPS 6424 HAS SOUS 5710 HAS SOUPS 5710 WITH SCORE 5716.424
AT ITER 1130 NEW BEST:: SOT 10975 SOS 6488 HAS SOPS 6488 HAS SOUS 5709 HAS SOUPS 5709 WITH SCORE 5715.488
AT ITER 1134 NEW BEST:: SOT 10975 SOS 6445 HAS SOPS 6445 HAS SOUS 5709 HAS SOUPS 5709 WITH SCORE 5715.445
AT ITER 1161 NEW BEST:: SOT 10995 SOS 6441 HAS SOPS 6441 HAS SOUS 5701 HAS SOUPS 5701 WITH SCORE 5707.441
AT ITER 1172 NEW BEST:: SOT 10994 SOS 6444 HAS SOPS 6444 HAS SOUS 5700 HAS SOUPS 5700 WITH SCORE 5706.444
AT ITER 1179 NEW BEST:: SOT 10994 SOS 6434 HAS SOPS 6434 HAS SOUS 5690 HAS SOUPS 5690 WITH SCORE 5696.434
AT ITER 1201 NEW BEST:: SOT 10961 SOS 6481 HAS SOPS 6481 HAS SOUS 5667 HAS SOUPS 5667 WITH SCORE 5673.481
AT ITER 1208 NEW BEST:: SOT 10961 SOS 6371 HAS SOPS 6371 HAS SOUS 5667 HAS SOUPS 5667 WITH SCORE 5673.371
AT ITER 1230 NEW BEST:: SOT 10961 SOS 6366 HAS SOPS 6366 HAS SOUS 5666 HAS SOUPS 5666 WITH SCORE 5672.366
AT ITER 1273 NEW BEST:: SOT 10961 SOS 6358 HAS SOPS 6358 HAS SOUS 5659 HAS SOUPS 5659 WITH SCORE 5665.358
AT ITER 1290 NEW BEST:: SOT 10961 SOS 6361 HAS SOPS 6361 HAS SOUS 5653 HAS SOUPS 5653 WITH SCORE 5659.361
AT ITER 1334 NEW BEST:: SOT 10948 SOS 6350 HAS SOPS 6350 HAS SOUS 5642 HAS SOUPS 5642 WITH SCORE 5648.35
AT ITER 1340 NEW BEST:: SOT 10948 SOS 6340 HAS SOPS 6340 HAS SOUS 5642 HAS SOUPS 5642 WITH SCORE 5648.34
AT ITER 1369 NEW BEST:: SOT 10948 SOS 6336 HAS SOPS 6336 HAS SOUS 5640 HAS SOUPS 5640 WITH SCORE 5646.336
AT ITER 1375 NEW BEST:: SOT 10948 SOS 6335 HAS SOPS 6335 HAS SOUS 5639 HAS SOUPS 5639 WITH SCORE 5645.335
AT ITER 1444 NEW BEST:: SOT 10947 SOS 6334 HAS SOPS 6334 HAS SOUS 5638 HAS SOUPS 5638 WITH SCORE 5644.334
AT ITER 1463 NEW BEST:: SOT 10950 SOS 6329 HAS SOPS 6329 HAS SOUS 5634 HAS SOUPS 5634 WITH SCORE 5640.329
AT ITER 1464 NEW BEST:: SOT 10944 SOS 6324 HAS SOPS 6324 HAS SOUS 5629 HAS SOUPS 5629 WITH SCORE 5635.324
AT ITER 1475 NEW BEST:: SOT 10944 SOS 6318 HAS SOPS 6318 HAS SOUS 5629 HAS SOUPS 5629 WITH SCORE 5635.318
AT ITER 1519 NEW BEST:: SOT 10944 SOS 6315 HAS SOPS 6315 HAS SOUS 5629 HAS SOUPS 5629 WITH SCORE 5635.315
AT ITER 1523 NEW BEST:: SOT 10948 SOS 6295 HAS SOPS 6295 HAS SOUS 5628 HAS SOUPS 5628 WITH SCORE 5634.295
AT ITER 1525 NEW BEST:: SOT 10948 SOS 6276 HAS SOPS 6276 HAS SOUS 5628 HAS SOUPS 5628 WITH SCORE 5634.276
AT ITER 1535 NEW BEST:: SOT 10941 SOS 6269 HAS SOPS 6269 HAS SOUS 5621 HAS SOUPS 5621 WITH SCORE 5627.269
AT ITER 1546 NEW BEST:: SOT 10941 SOS 6265 HAS SOPS 6265 HAS SOUS 5621 HAS SOUPS 5621 WITH SCORE 5627.265
AT ITER 1597 NEW BEST:: SOT 10933 SOS 6289 HAS SOPS 6289 HAS SOUS 5618 HAS SOUPS 5618 WITH SCORE 5624.289
AT ITER 1610 NEW BEST:: SOT 10932 SOS 6288 HAS SOPS 6288 HAS SOUS 5617 HAS SOUPS 5617 WITH SCORE 5623.288
AT ITER 1638 NEW BEST:: SOT 10932 SOS 6278 HAS SOPS 6278 HAS SOUS 5617 HAS SOUPS 5617 WITH SCORE 5623.278
AT ITER 1642 NEW BEST:: SOT 10932 SOS 6268 HAS SOPS 6268 HAS SOUS 5617 HAS SOUPS 5617 WITH SCORE 5623.268
AT ITER 1686 NEW BEST:: SOT 10939 SOS 6286 HAS SOPS 6286 HAS SOUS 5616 HAS SOUPS 5616 WITH SCORE 5622.286
AT ITER 1730 NEW BEST:: SOT 10939 SOS 6285 HAS SOPS 6285 HAS SOUS 5616 HAS SOUPS 5616 WITH SCORE 5622.285
AT ITER 1772 NEW BEST:: SOT 10939 SOS 6284 HAS SOPS 6284 HAS SOUS 5615 HAS SOUPS 5615 WITH SCORE 5621.284
AT ITER 1779 NEW BEST:: SOT 10926 SOS 6314 HAS SOPS 6314 HAS SOUS 5602 HAS SOUPS 5602 WITH SCORE 5608.314
AT ITER 1800 NEW BEST:: SOT 10926 SOS 6305 HAS SOPS 6305 HAS SOUS 5602 HAS SOUPS 5602 WITH SCORE 5608.305
AT ITER 1819 NEW BEST:: SOT 10922 SOS 6300 HAS SOPS 6300 HAS SOUS 5597 HAS SOUPS 5597 WITH SCORE 5603.3
AT ITER 1828 NEW BEST:: SOT 10879 SOS 6335 HAS SOPS 6335 HAS SOUS 5591 HAS SOUPS 5591 WITH SCORE 5597.335
AT ITER 1831 NEW BEST:: SOT 10877 SOS 6333 HAS SOPS 6333 HAS SOUS 5589 HAS SOUPS 5589 WITH SCORE 5595.333
AT ITER 1844 NEW BEST:: SOT 10883 SOS 6339 HAS SOPS 6339 HAS SOUS 5580 HAS SOUPS 5580 WITH SCORE 5586.339
AT ITER 1848 NEW BEST:: SOT 10877 SOS 6333 HAS SOPS 6333 HAS SOUS 5574 HAS SOUPS 5574 WITH SCORE 5580.333
AT ITER 1852 NEW BEST:: SOT 10877 SOS 6326 HAS SOPS 6326 HAS SOUS 5568 HAS SOUPS 5568 WITH SCORE 5574.326
AT ITER 1884 NEW BEST:: SOT 10860 SOS 6309 HAS SOPS 6309 HAS SOUS 5562 HAS SOUPS 5562 WITH SCORE 5568.309
AT ITER 1887 NEW BEST:: SOT 10860 SOS 6307 HAS SOPS 6307 HAS SOUS 5562 HAS SOUPS 5562 WITH SCORE 5568.307
AT ITER 1911 NEW BEST:: SOT 10845 SOS 6292 HAS SOPS 6292 HAS SOUS 5547 HAS SOUPS 5547 WITH SCORE 5553.292
AT ITER 1931 NEW BEST:: SOT 10833 SOS 6286 HAS SOPS 6286 HAS SOUS 5541 HAS SOUPS 5541 WITH SCORE 5547.286
AT ITER 1951 NEW BEST:: SOT 10813 SOS 6260 HAS SOPS 6260 HAS SOUS 5518 HAS SOUPS 5518 WITH SCORE 5524.26
AT ITER 1952 NEW BEST:: SOT 10813 SOS 6259 HAS SOPS 6259 HAS SOUS 5518 HAS SOUPS 5518 WITH SCORE 5524.259
AT ITER 1955 NEW BEST:: SOT 10803 SOS 6278 HAS SOPS 6278 HAS SOUS 5508 HAS SOUPS 5508 WITH SCORE 5514.278
AT ITER 1963 NEW BEST:: SOT 10801 SOS 6276 HAS SOPS 6276 HAS SOUS 5506 HAS SOUPS 5506 WITH SCORE 5512.276
AT ITER 1985 NEW BEST:: SOT 10794 SOS 6293 HAS SOPS 6293 HAS SOUS 5499 HAS SOUPS 5499 WITH SCORE 5505.293
AT ITER 2005 NEW BEST:: SOT 10789 SOS 6320 HAS SOPS 6320 HAS SOUS 5494 HAS SOUPS 5494 WITH SCORE 5500.32
AT ITER 2034 NEW BEST:: SOT 10780 SOS 6306 HAS SOPS 6306 HAS SOUS 5480 HAS SOUPS 5480 WITH SCORE 5486.306
AT ITER 2039 NEW BEST:: SOT 10780 SOS 6305 HAS SOPS 6305 HAS SOUS 5480 HAS SOUPS 5480 WITH SCORE 5486.305
AT ITER 2052 NEW BEST:: SOT 10780 SOS 6368 HAS SOPS 6368 HAS SOUS 5479 HAS SOUPS 5479 WITH SCORE 5485.368
AT ITER 2069 NEW BEST:: SOT 10780 SOS 6368 HAS SOPS 6368 HAS SOUS 5473 HAS SOUPS 5473 WITH SCORE 5479.368
AT ITER 2083 NEW BEST:: SOT 10805 SOS 6377 HAS SOPS 6377 HAS SOUS 5470 HAS SOUPS 5470 WITH SCORE 5476.377
AT ITER 2103 NEW BEST:: SOT 10805 SOS 6376 HAS SOPS 6376 HAS SOUS 5470 HAS SOUPS 5470 WITH SCORE 5476.376
AT ITER 2149 NEW BEST:: SOT 10805 SOS 6372 HAS SOPS 6372 HAS SOUS 5470 HAS SOUPS 5470 WITH SCORE 5476.372
AT ITER 2155 NEW BEST:: SOT 10799 SOS 6366 HAS SOPS 6366 HAS SOUS 5464 HAS SOUPS 5464 WITH SCORE 5470.366
AT ITER 2173 NEW BEST:: SOT 10780 SOS 6290 HAS SOPS 6290 HAS SOUS 5451 HAS SOUPS 5451 WITH SCORE 5457.29
AT ITER 2187 NEW BEST:: SOT 10780 SOS 6285 HAS SOPS 6285 HAS SOUS 5451 HAS SOUPS 5451 WITH SCORE 5457.285
AT ITER 2206 NEW BEST:: SOT 10780 SOS 6274 HAS SOPS 6274 HAS SOUS 5451 HAS SOUPS 5451 WITH SCORE 5457.274
AT ITER 2208 NEW BEST:: SOT 10780 SOS 6277 HAS SOPS 6277 HAS SOUS 5450 HAS SOUPS 5450 WITH SCORE 5456.277
AT ITER 2243 NEW BEST:: SOT 10780 SOS 6276 HAS SOPS 6276 HAS SOUS 5450 HAS SOUPS 5450 WITH SCORE 5456.276
AT ITER 2265 NEW BEST:: SOT 10776 SOS 6292 HAS SOPS 6292 HAS SOUS 5449 HAS SOUPS 5449 WITH SCORE 5455.292
AT ITER 2275 NEW BEST:: SOT 10776 SOS 6295 HAS SOPS 6295 HAS SOUS 5445 HAS SOUPS 5445 WITH SCORE 5451.295
AT ITER 2281 NEW BEST:: SOT 10773 SOS 6292 HAS SOPS 6292 HAS SOUS 5442 HAS SOUPS 5442 WITH SCORE 5448.292
AT ITER 2293 NEW BEST:: SOT 10773 SOS 6298 HAS SOPS 6298 HAS SOUS 5432 HAS SOUPS 5432 WITH SCORE 5438.298
AT ITER 2322 NEW BEST:: SOT 10773 SOS 6304 HAS SOPS 6304 HAS SOUS 5429 HAS SOUPS 5429 WITH SCORE 5435.304
AT ITER 2345 NEW BEST:: SOT 10773 SOS 6243 HAS SOPS 6243 HAS SOUS 5429 HAS SOUPS 5429 WITH SCORE 5435.243
AT ITER 2371 NEW BEST:: SOT 10784 SOS 6223 HAS SOPS 6223 HAS SOUS 5429 HAS SOUPS 5429 WITH SCORE 5435.223
AT ITER 2466 NEW BEST:: SOT 10784 SOS 6222 HAS SOPS 6222 HAS SOUS 5429 HAS SOUPS 5429 WITH SCORE 5435.222
AT ITER 2484 NEW BEST:: SOT 10784 SOS 6220 HAS SOPS 6220 HAS SOUS 5429 HAS SOUPS 5429 WITH SCORE 5435.22
AT ITER 2504 NEW BEST:: SOT 10784 SOS 6197 HAS SOPS 6197 HAS SOUS 5421 HAS SOUPS 5421 WITH SCORE 5427.197
AT ITER 2543 NEW BEST:: SOT 10783 SOS 6196 HAS SOPS 6196 HAS SOUS 5420 HAS SOUPS 5420 WITH SCORE 5426.196
AT ITER 2545 NEW BEST:: SOT 10782 SOS 6402 HAS SOPS 6402 HAS SOUS 5419 HAS SOUPS 5419 WITH SCORE 5425.402
AT ITER 2621 NEW BEST:: SOT 10782 SOS 6399 HAS SOPS 6399 HAS SOUS 5418 HAS SOUPS 5418 WITH SCORE 5424.399
AT ITER 2637 NEW BEST:: SOT 10782 SOS 6393 HAS SOPS 6393 HAS SOUS 5418 HAS SOUPS 5418 WITH SCORE 5424.393
AT ITER 2671 NEW BEST:: SOT 10782 SOS 6387 HAS SOPS 6387 HAS SOUS 5414 HAS SOUPS 5414 WITH SCORE 5420.387
AT ITER 2709 NEW BEST:: SOT 10782 SOS 6383 HAS SOPS 6383 HAS SOUS 5414 HAS SOUPS 5414 WITH SCORE 5420.383
AT ITER 2731 NEW BEST:: SOT 10782 SOS 6381 HAS SOPS 6381 HAS SOUS 5414 HAS SOUPS 5414 WITH SCORE 5420.381
AT ITER 2749 NEW BEST:: SOT 10782 SOS 6379 HAS SOPS 6379 HAS SOUS 5414 HAS SOUPS 5414 WITH SCORE 5420.379
AT ITER 2793 NEW BEST:: SOT 10782 SOS 6371 HAS SOPS 6371 HAS SOUS 5414 HAS SOUPS 5414 WITH SCORE 5420.371
AT ITER 2956 NEW BEST:: SOT 10779 SOS 6399 HAS SOPS 6399 HAS SOUS 5411 HAS SOUPS 5411 WITH SCORE 5417.399
AT ITER 2958 NEW BEST:: SOT 10779 SOS 6396 HAS SOPS 6396 HAS SOUS 5408 HAS SOUPS 5408 WITH SCORE 5414.396
AT ITER 2964 NEW BEST:: SOT 10775 SOS 6392 HAS SOPS 6392 HAS SOUS 5404 HAS SOUPS 5404 WITH SCORE 5410.392
AT ITER 2968 NEW BEST:: SOT 10762 SOS 6374 HAS SOPS 6374 HAS SOUS 5396 HAS SOUPS 5396 WITH SCORE 5402.374
AT ITER 3068 NEW BEST:: SOT 10754 SOS 6368 HAS SOPS 6368 HAS SOUS 5390 HAS SOUPS 5390 WITH SCORE 5396.368
AT ITER 3116 NEW BEST:: SOT 10743 SOS 6362 HAS SOPS 6362 HAS SOUS 5387 HAS SOUPS 5387 WITH SCORE 5393.362
AT ITER 3123 NEW BEST:: SOT 10743 SOS 6368 HAS SOPS 6368 HAS SOUS 5381 HAS SOUPS 5381 WITH SCORE 5387.368
AT ITER 3141 NEW BEST:: SOT 10738 SOS 6363 HAS SOPS 6363 HAS SOUS 5376 HAS SOUPS 5376 WITH SCORE 5382.363
AT ITER 3152 NEW BEST:: SOT 10734 SOS 6406 HAS SOPS 6406 HAS SOUS 5372 HAS SOUPS 5372 WITH SCORE 5378.406
AT ITER 3191 NEW BEST:: SOT 10732 SOS 6403 HAS SOPS 6403 HAS SOUS 5368 HAS SOUPS 5368 WITH SCORE 5374.403
AT ITER 3201 NEW BEST:: SOT 10728 SOS 6399 HAS SOPS 6399 HAS SOUS 5364 HAS SOUPS 5364 WITH SCORE 5370.399
AT ITER 3257 NEW BEST:: SOT 10728 SOS 6396 HAS SOPS 6396 HAS SOUS 5364 HAS SOUPS 5364 WITH SCORE 5370.396
AT ITER 3259 NEW BEST:: SOT 10710 SOS 6391 HAS SOPS 6391 HAS SOUS 5360 HAS SOUPS 5360 WITH SCORE 5366.391
AT ITER 3273 NEW BEST:: SOT 10710 SOS 6397 HAS SOPS 6397 HAS SOUS 5358 HAS SOUPS 5358 WITH SCORE 5364.397
AT ITER 3289 NEW BEST:: SOT 10708 SOS 6395 HAS SOPS 6395 HAS SOUS 5356 HAS SOUPS 5356 WITH SCORE 5362.395
AT ITER 3299 NEW BEST:: SOT 10706 SOS 6393 HAS SOPS 6393 HAS SOUS 5352 HAS SOUPS 5352 WITH SCORE 5358.393
AT ITER 3300 NEW BEST:: SOT 10705 SOS 6392 HAS SOPS 6392 HAS SOUS 5351 HAS SOUPS 5351 WITH SCORE 5357.392
AT ITER 3334 NEW BEST:: SOT 10705 SOS 6388 HAS SOPS 6388 HAS SOUS 5351 HAS SOUPS 5351 WITH SCORE 5357.388
AT ITER 3349 NEW BEST:: SOT 10697 SOS 6383 HAS SOPS 6383 HAS SOUS 5346 HAS SOUPS 5346 WITH SCORE 5352.383
AT ITER 3351 NEW BEST:: SOT 10689 SOS 6375 HAS SOPS 6375 HAS SOUS 5338 HAS SOUPS 5338 WITH SCORE 5344.375
AT ITER 3359 NEW BEST:: SOT 10658 SOS 6366 HAS SOPS 6366 HAS SOUS 5329 HAS SOUPS 5329 WITH SCORE 5335.366
AT ITER 3364 NEW BEST:: SOT 10658 SOS 6365 HAS SOPS 6365 HAS SOUS 5329 HAS SOUPS 5329 WITH SCORE 5335.365
AT ITER 3396 NEW BEST:: SOT 10658 SOS 6353 HAS SOPS 6353 HAS SOUS 5329 HAS SOUPS 5329 WITH SCORE 5335.353
AT ITER 3403 NEW BEST:: SOT 10658 SOS 6345 HAS SOPS 6345 HAS SOUS 5329 HAS SOUPS 5329 WITH SCORE 5335.345
AT ITER 3424 NEW BEST:: SOT 10657 SOS 6344 HAS SOPS 6344 HAS SOUS 5328 HAS SOUPS 5328 WITH SCORE 5334.344
AT ITER 3449 NEW BEST:: SOT 10657 SOS 6339 HAS SOPS 6339 HAS SOUS 5328 HAS SOUPS 5328 WITH SCORE 5334.339
AT ITER 3493 NEW BEST:: SOT 10657 SOS 6332 HAS SOPS 6332 HAS SOUS 5321 HAS SOUPS 5321 WITH SCORE 5327.332
AT ITER 3546 NEW BEST:: SOT 10657 SOS 6299 HAS SOPS 6299 HAS SOUS 5320 HAS SOUPS 5320 WITH SCORE 5326.299
AT ITER 3556 NEW BEST:: SOT 10661 SOS 6293 HAS SOPS 6293 HAS SOUS 5314 HAS SOUPS 5314 WITH SCORE 5320.293
AT ITER 3644 NEW BEST:: SOT 10650 SOS 6484 HAS SOPS 6484 HAS SOUS 5303 HAS SOUPS 5303 WITH SCORE 5309.484
AT ITER 3645 NEW BEST:: SOT 10650 SOS 6436 HAS SOPS 6436 HAS SOUS 5303 HAS SOUPS 5303 WITH SCORE 5309.436
AT ITER 3648 NEW BEST:: SOT 10641 SOS 6472 HAS SOPS 6472 HAS SOUS 5302 HAS SOUPS 5302 WITH SCORE 5308.472
AT ITER 3652 NEW BEST:: SOT 10638 SOS 6469 HAS SOPS 6469 HAS SOUS 5299 HAS SOUPS 5299 WITH SCORE 5305.469
AT ITER 3653 NEW BEST:: SOT 10616 SOS 6447 HAS SOPS 6447 HAS SOUS 5290 HAS SOUPS 5290 WITH SCORE 5296.447
AT ITER 3654 NEW BEST:: SOT 10614 SOS 6445 HAS SOPS 6445 HAS SOUS 5278 HAS SOUPS 5278 WITH SCORE 5284.445
AT ITER 3678 NEW BEST:: SOT 10614 SOS 6459 HAS SOPS 6459 HAS SOUS 5273 HAS SOUPS 5273 WITH SCORE 5279.459
AT ITER 3739 NEW BEST:: SOT 10614 SOS 6447 HAS SOPS 6447 HAS SOUS 5268 HAS SOUPS 5268 WITH SCORE 5274.447
AT ITER 3767 NEW BEST:: SOT 10613 SOS 6446 HAS SOPS 6446 HAS SOUS 5267 HAS SOUPS 5267 WITH SCORE 5273.446
AT ITER 3783 NEW BEST:: SOT 10599 SOS 6432 HAS SOPS 6432 HAS SOUS 5261 HAS SOUPS 5261 WITH SCORE 5267.432
AT ITER 3839 NEW BEST:: SOT 10599 SOS 6428 HAS SOPS 6428 HAS SOUS 5261 HAS SOUPS 5261 WITH SCORE 5267.428
AT ITER 3956 NEW BEST:: SOT 10596 SOS 6425 HAS SOPS 6425 HAS SOUS 5256 HAS SOUPS 5256 WITH SCORE 5262.425
AT ITER 3990 NEW BEST:: SOT 10591 SOS 6411 HAS SOPS 6411 HAS SOUS 5254 HAS SOUPS 5254 WITH SCORE 5260.411
AT ITER 4021 NEW BEST:: SOT 10593 SOS 6405 HAS SOPS 6405 HAS SOUS 5254 HAS SOUPS 5254 WITH SCORE 5260.405
AT ITER 4048 NEW BEST:: SOT 10593 SOS 6401 HAS SOPS 6401 HAS SOUS 5254 HAS SOUPS 5254 WITH SCORE 5260.401
AT ITER 4131 NEW BEST:: SOT 10589 SOS 6397 HAS SOPS 6397 HAS SOUS 5250 HAS SOUPS 5250 WITH SCORE 5256.397
AT ITER 4163 NEW BEST:: SOT 10577 SOS 6388 HAS SOPS 6388 HAS SOUS 5241 HAS SOUPS 5241 WITH SCORE 5247.388
AT ITER 4165 NEW BEST:: SOT 10576 SOS 6387 HAS SOPS 6387 HAS SOUS 5240 HAS SOUPS 5240 WITH SCORE 5246.387
AT ITER 4202 NEW BEST:: SOT 10576 SOS 6385 HAS SOPS 6385 HAS SOUS 5240 HAS SOUPS 5240 WITH SCORE 5246.385
AT ITER 4252 NEW BEST:: SOT 10576 SOS 6378 HAS SOPS 6378 HAS SOUS 5240 HAS SOUPS 5240 WITH SCORE 5246.378
AT ITER 4288 NEW BEST:: SOT 10579 SOS 6368 HAS SOPS 6368 HAS SOUS 5229 HAS SOUPS 5229 WITH SCORE 5235.368
AT ITER 4313 NEW BEST:: SOT 10576 SOS 6365 HAS SOPS 6365 HAS SOUS 5226 HAS SOUPS 5226 WITH SCORE 5232.365
AT ITER 4338 NEW BEST:: SOT 10574 SOS 6497 HAS SOPS 6497 HAS SOUS 5223 HAS SOUPS 5223 WITH SCORE 5229.497
AT ITER 4366 NEW BEST:: SOT 10568 SOS 6491 HAS SOPS 6491 HAS SOUS 5217 HAS SOUPS 5217 WITH SCORE 5223.491
AT ITER 4367 NEW BEST:: SOT 10567 SOS 6490 HAS SOPS 6490 HAS SOUS 5216 HAS SOUPS 5216 WITH SCORE 5222.49
AT ITER 4389 NEW BEST:: SOT 10560 SOS 6511 HAS SOPS 6511 HAS SOUS 5211 HAS SOUPS 5211 WITH SCORE 5217.511
AT ITER 4449 NEW BEST:: SOT 10555 SOS 6570 HAS SOPS 6570 HAS SOUS 5206 HAS SOUPS 5206 WITH SCORE 5212.57
AT ITER 4465 NEW BEST:: SOT 10555 SOS 6572 HAS SOPS 6572 HAS SOUS 5204 HAS SOUPS 5204 WITH SCORE 5210.572
AT ITER 4478 NEW BEST:: SOT 10555 SOS 6569 HAS SOPS 6569 HAS SOUS 5201 HAS SOUPS 5201 WITH SCORE 5207.569
AT ITER 4500 NEW BEST:: SOT 10555 SOS 6556 HAS SOPS 6556 HAS SOUS 5196 HAS SOUPS 5196 WITH SCORE 5202.556
AT ITER 4583 NEW BEST:: SOT 10555 SOS 6550 HAS SOPS 6550 HAS SOUS 5196 HAS SOUPS 5196 WITH SCORE 5202.55
AT ITER 4600 NEW BEST:: SOT 10553 SOS 6556 HAS SOPS 6556 HAS SOUS 5194 HAS SOUPS 5194 WITH SCORE 5200.556
AT ITER 4618 NEW BEST:: SOT 10553 SOS 6555 HAS SOPS 6555 HAS SOUS 5193 HAS SOUPS 5193 WITH SCORE 5199.555
AT ITER 4629 NEW BEST:: SOT 10556 SOS 6555 HAS SOPS 6555 HAS SOUS 5190 HAS SOUPS 5190 WITH SCORE 5196.555
AT ITER 4732 NEW BEST:: SOT 10556 SOS 6554 HAS SOPS 6554 HAS SOUS 5190 HAS SOUPS 5190 WITH SCORE 5196.554
AT ITER 4762 NEW BEST:: SOT 10556 SOS 6573 HAS SOPS 6573 HAS SOUS 5188 HAS SOUPS 5188 WITH SCORE 5194.573
AT ITER 4773 NEW BEST:: SOT 10551 SOS 6568 HAS SOPS 6568 HAS SOUS 5183 HAS SOUPS 5183 WITH SCORE 5189.568
AT ITER 4789 NEW BEST:: SOT 10550 SOS 6567 HAS SOPS 6567 HAS SOUS 5182 HAS SOUPS 5182 WITH SCORE 5188.567
AT ITER 4810 NEW BEST:: SOT 10545 SOS 6558 HAS SOPS 6558 HAS SOUS 5181 HAS SOUPS 5181 WITH SCORE 5187.558
AT ITER 4848 NEW BEST:: SOT 10545 SOS 6553 HAS SOPS 6553 HAS SOUS 5176 HAS SOUPS 5176 WITH SCORE 5182.553
AT ITER 4853 NEW BEST:: SOT 10530 SOS 6543 HAS SOPS 6543 HAS SOUS 5175 HAS SOUPS 5175 WITH SCORE 5181.543
AT ITER 4889 NEW BEST:: SOT 10530 SOS 6541 HAS SOPS 6541 HAS SOUS 5175 HAS SOUPS 5175 WITH SCORE 5181.541
AT ITER 4894 NEW BEST:: SOT 10530 SOS 6493 HAS SOPS 6493 HAS SOUS 5175 HAS SOUPS 5175 WITH SCORE 5181.493
AT ITER 4961 NEW BEST:: SOT 10528 SOS 6488 HAS SOPS 6488 HAS SOUS 5173 HAS SOUPS 5173 WITH SCORE 5179.488
AT ITER 4991 NEW BEST:: SOT 10528 SOS 6488 HAS SOPS 6488 HAS SOUS 5172 HAS SOUPS 5172 WITH SCORE 5178.488
AT ITER 5011 NEW BEST:: SOT 10528 SOS 6497 HAS SOPS 6497 HAS SOUS 5164 HAS SOUPS 5164 WITH SCORE 5170.497
AT ITER 5017 NEW BEST:: SOT 10525 SOS 6494 HAS SOPS 6494 HAS SOUS 5161 HAS SOUPS 5161 WITH SCORE 5167.494
AT ITER 5040 NEW BEST:: SOT 10525 SOS 6491 HAS SOPS 6491 HAS SOUS 5161 HAS SOUPS 5161 WITH SCORE 5167.491
AT ITER 5050 NEW BEST:: SOT 10525 SOS 6491 HAS SOPS 6491 HAS SOUS 5159 HAS SOUPS 5159 WITH SCORE 5165.491
AT ITER 5062 NEW BEST:: SOT 10525 SOS 6486 HAS SOPS 6486 HAS SOUS 5159 HAS SOUPS 5159 WITH SCORE 5165.486
AT ITER 5074 NEW BEST:: SOT 10525 SOS 6478 HAS SOPS 6478 HAS SOUS 5159 HAS SOUPS 5159 WITH SCORE 5165.478
AT ITER 5085 NEW BEST:: SOT 10523 SOS 6476 HAS SOPS 6476 HAS SOUS 5157 HAS SOUPS 5157 WITH SCORE 5163.476
AT ITER 5091 NEW BEST:: SOT 10525 SOS 6478 HAS SOPS 6478 HAS SOUS 5155 HAS SOUPS 5155 WITH SCORE 5161.478
AT ITER 5124 NEW BEST:: SOT 10525 SOS 6479 HAS SOPS 6479 HAS SOUS 5150 HAS SOUPS 5150 WITH SCORE 5156.479
AT ITER 5142 NEW BEST:: SOT 10525 SOS 6474 HAS SOPS 6474 HAS SOUS 5150 HAS SOUPS 5150 WITH SCORE 5156.474
AT ITER 5180 NEW BEST:: SOT 10525 SOS 6473 HAS SOPS 6473 HAS SOUS 5150 HAS SOUPS 5150 WITH SCORE 5156.473
AT ITER 5186 NEW BEST:: SOT 10509 SOS 6500 HAS SOPS 6500 HAS SOUS 5145 HAS SOUPS 5145 WITH SCORE 5151.5
AT ITER 5194 NEW BEST:: SOT 10503 SOS 6587 HAS SOPS 6587 HAS SOUS 5139 HAS SOUPS 5139 WITH SCORE 5145.587
AT ITER 5226 NEW BEST:: SOT 10496 SOS 6583 HAS SOPS 6583 HAS SOUS 5135 HAS SOUPS 5135 WITH SCORE 5141.583
AT ITER 5227 NEW BEST:: SOT 10489 SOS 6576 HAS SOPS 6576 HAS SOUS 5128 HAS SOUPS 5128 WITH SCORE 5134.576
AT ITER 5243 NEW BEST:: SOT 10486 SOS 6573 HAS SOPS 6573 HAS SOUS 5125 HAS SOUPS 5125 WITH SCORE 5131.573
AT ITER 5283 NEW BEST:: SOT 10475 SOS 6562 HAS SOPS 6562 HAS SOUS 5119 HAS SOUPS 5119 WITH SCORE 5125.562
AT ITER 5285 NEW BEST:: SOT 10475 SOS 6537 HAS SOPS 6537 HAS SOUS 5119 HAS SOUPS 5119 WITH SCORE 5125.537
AT ITER 5383 NEW BEST:: SOT 10475 SOS 6535 HAS SOPS 6535 HAS SOUS 5119 HAS SOUPS 5119 WITH SCORE 5125.535
AT ITER 5395 NEW BEST:: SOT 10475 SOS 6534 HAS SOPS 6534 HAS SOUS 5118 HAS SOUPS 5118 WITH SCORE 5124.534
AT ITER 5427 NEW BEST:: SOT 10475 SOS 6540 HAS SOPS 6540 HAS SOUS 5117 HAS SOUPS 5117 WITH SCORE 5123.54
AT ITER 5445 NEW BEST:: SOT 10464 SOS 6569 HAS SOPS 6569 HAS SOUS 5107 HAS SOUPS 5107 WITH SCORE 5113.569
AT ITER 5451 NEW BEST:: SOT 10464 SOS 6511 HAS SOPS 6511 HAS SOUS 5104 HAS SOUPS 5104 WITH SCORE 5110.511
AT ITER 5468 NEW BEST:: SOT 10462 SOS 6513 HAS SOPS 6513 HAS SOUS 5102 HAS SOUPS 5102 WITH SCORE 5108.513
AT ITER 5474 NEW BEST:: SOT 10454 SOS 6505 HAS SOPS 6505 HAS SOUS 5094 HAS SOUPS 5094 WITH SCORE 5100.505
AT ITER 5514 NEW BEST:: SOT 10454 SOS 6500 HAS SOPS 6500 HAS SOUS 5094 HAS SOUPS 5094 WITH SCORE 5100.5
AT ITER 5613 NEW BEST:: SOT 10454 SOS 6498 HAS SOPS 6498 HAS SOUS 5094 HAS SOUPS 5094 WITH SCORE 5100.498
AT ITER 5707 NEW BEST:: SOT 10459 SOS 6503 HAS SOPS 6503 HAS SOUS 5093 HAS SOUPS 5093 WITH SCORE 5099.503
AT ITER 5752 NEW BEST:: SOT 10451 SOS 6521 HAS SOPS 6521 HAS SOUS 5089 HAS SOUPS 5089 WITH SCORE 5095.521
AT ITER 5774 NEW BEST:: SOT 10449 SOS 6519 HAS SOPS 6519 HAS SOUS 5087 HAS SOUPS 5087 WITH SCORE 5093.519
AT ITER 5869 NEW BEST:: SOT 10449 SOS 6518 HAS SOPS 6518 HAS SOUS 5086 HAS SOUPS 5086 WITH SCORE 5092.518
AT ITER 5875 NEW BEST:: SOT 10445 SOS 6562 HAS SOPS 6562 HAS SOUS 5082 HAS SOUPS 5082 WITH SCORE 5088.562
AT ITER 5954 NEW BEST:: SOT 10445 SOS 6550 HAS SOPS 6550 HAS SOUS 5082 HAS SOUPS 5082 WITH SCORE 5088.55
AT ITER 5975 NEW BEST:: SOT 10444 SOS 6551 HAS SOPS 6551 HAS SOUS 5081 HAS SOUPS 5081 WITH SCORE 5087.551
AT ITER 6064 NEW BEST:: SOT 10444 SOS 6549 HAS SOPS 6549 HAS SOUS 5081 HAS SOUPS 5081 WITH SCORE 5087.549
AT ITER 6093 NEW BEST:: SOT 10444 SOS 6511 HAS SOPS 6511 HAS SOUS 5081 HAS SOUPS 5081 WITH SCORE 5087.511
AT ITER 6107 NEW BEST:: SOT 10443 SOS 6510 HAS SOPS 6510 HAS SOUS 5080 HAS SOUPS 5080 WITH SCORE 5086.51
AT ITER 6108 NEW BEST:: SOT 10444 SOS 6507 HAS SOPS 6507 HAS SOUS 5080 HAS SOUPS 5080 WITH SCORE 5086.507
AT ITER 6111 NEW BEST:: SOT 10443 SOS 6507 HAS SOPS 6507 HAS SOUS 5079 HAS SOUPS 5079 WITH SCORE 5085.507
AT ITER 6131 NEW BEST:: SOT 10454 SOS 6507 HAS SOPS 6507 HAS SOUS 5074 HAS SOUPS 5074 WITH SCORE 5080.507
AT ITER 6186 NEW BEST:: SOT 10454 SOS 6509 HAS SOPS 6509 HAS SOUS 5073 HAS SOUPS 5073 WITH SCORE 5079.509
AT ITER 6194 NEW BEST:: SOT 10455 SOS 6493 HAS SOPS 6493 HAS SOUS 5073 HAS SOUPS 5073 WITH SCORE 5079.493
AT ITER 6199 NEW BEST:: SOT 10452 SOS 6490 HAS SOPS 6490 HAS SOUS 5070 HAS SOUPS 5070 WITH SCORE 5076.49
AT ITER 6348 NEW BEST:: SOT 10452 SOS 6490 HAS SOPS 6490 HAS SOUS 5068 HAS SOUPS 5068 WITH SCORE 5074.49
AT ITER 6365 NEW BEST:: SOT 10452 SOS 6490 HAS SOPS 6490 HAS SOUS 5061 HAS SOUPS 5061 WITH SCORE 5067.49
AT ITER 6397 NEW BEST:: SOT 10452 SOS 6497 HAS SOPS 6497 HAS SOUS 5060 HAS SOUPS 5060 WITH SCORE 5066.497
AT ITER 6444 NEW BEST:: SOT 10441 SOS 6510 HAS SOPS 6510 HAS SOUS 5049 HAS SOUPS 5049 WITH SCORE 5055.51
AT ITER 6515 NEW BEST:: SOT 10441 SOS 6511 HAS SOPS 6511 HAS SOUS 5048 HAS SOUPS 5048 WITH SCORE 5054.511
AT ITER 6553 NEW BEST:: SOT 10439 SOS 6509 HAS SOPS 6509 HAS SOUS 5046 HAS SOUPS 5046 WITH SCORE 5052.509
AT ITER 6637 NEW BEST:: SOT 10430 SOS 6587 HAS SOPS 6587 HAS SOUS 5044 HAS SOUPS 5044 WITH SCORE 5050.587
AT ITER 6673 NEW BEST:: SOT 10430 SOS 6580 HAS SOPS 6580 HAS SOUS 5044 HAS SOUPS 5044 WITH SCORE 5050.58
AT ITER 6722 NEW BEST:: SOT 10427 SOS 6577 HAS SOPS 6577 HAS SOUS 5041 HAS SOUPS 5041 WITH SCORE 5047.577
AT ITER 6815 NEW BEST:: SOT 10427 SOS 6575 HAS SOPS 6575 HAS SOUS 5039 HAS SOUPS 5039 WITH SCORE 5045.575
AT ITER 6946 NEW BEST:: SOT 10427 SOS 6573 HAS SOPS 6573 HAS SOUS 5039 HAS SOUPS 5039 WITH SCORE 5045.573
AT ITER 6971 NEW BEST:: SOT 10427 SOS 6571 HAS SOPS 6571 HAS SOUS 5039 HAS SOUPS 5039 WITH SCORE 5045.571
AT ITER 7005 NEW BEST:: SOT 10427 SOS 6558 HAS SOPS 6558 HAS SOUS 5039 HAS SOUPS 5039 WITH SCORE 5045.558
AT ITER 7074 NEW BEST:: SOT 10419 SOS 6555 HAS SOPS 6555 HAS SOUS 5039 HAS SOUPS 5039 WITH SCORE 5045.555
AT ITER 7116 NEW BEST:: SOT 10417 SOS 6553 HAS SOPS 6553 HAS SOUS 5037 HAS SOUPS 5037 WITH SCORE 5043.553
AT ITER 7134 NEW BEST:: SOT 10417 SOS 6553 HAS SOPS 6553 HAS SOUS 5033 HAS SOUPS 5033 WITH SCORE 5039.553
AT ITER 7147 NEW BEST:: SOT 10416 SOS 6552 HAS SOPS 6552 HAS SOUS 5032 HAS SOUPS 5032 WITH SCORE 5038.552
AT ITER 7158 NEW BEST:: SOT 10415 SOS 6551 HAS SOPS 6551 HAS SOUS 5031 HAS SOUPS 5031 WITH SCORE 5037.551
AT ITER 7159 NEW BEST:: SOT 10415 SOS 6548 HAS SOPS 6548 HAS SOUS 5031 HAS SOUPS 5031 WITH SCORE 5037.548
AT ITER 7172 NEW BEST:: SOT 10415 SOS 6547 HAS SOPS 6547 HAS SOUS 5030 HAS SOUPS 5030 WITH SCORE 5036.547
AT ITER 7203 NEW BEST:: SOT 10415 SOS 6545 HAS SOPS 6545 HAS SOUS 5028 HAS SOUPS 5028 WITH SCORE 5034.545
AT ITER 7232 NEW BEST:: SOT 10415 SOS 6539 HAS SOPS 6539 HAS SOUS 5022 HAS SOUPS 5022 WITH SCORE 5028.539
AT ITER 7276 NEW BEST:: SOT 10415 SOS 6538 HAS SOPS 6538 HAS SOUS 5021 HAS SOUPS 5021 WITH SCORE 5027.538
AT ITER 7359 NEW BEST:: SOT 10417 SOS 6554 HAS SOPS 6554 HAS SOUS 5019 HAS SOUPS 5019 WITH SCORE 5025.554
AT ITER 7371 NEW BEST:: SOT 10416 SOS 6553 HAS SOPS 6553 HAS SOUS 5018 HAS SOUPS 5018 WITH SCORE 5024.553
AT ITER 7397 NEW BEST:: SOT 10416 SOS 6550 HAS SOPS 6550 HAS SOUS 5018 HAS SOUPS 5018 WITH SCORE 5024.55
AT ITER 7449 NEW BEST:: SOT 10409 SOS 6575 HAS SOPS 6575 HAS SOUS 5017 HAS SOUPS 5017 WITH SCORE 5023.575
AT ITER 7536 NEW BEST:: SOT 10403 SOS 6569 HAS SOPS 6569 HAS SOUS 5014 HAS SOUPS 5014 WITH SCORE 5020.569
AT ITER 7646 NEW BEST:: SOT 10398 SOS 6568 HAS SOPS 6568 HAS SOUS 5013 HAS SOUPS 5013 WITH SCORE 5019.568
AT ITER 7733 NEW BEST:: SOT 10398 SOS 6568 HAS SOPS 6568 HAS SOUS 5010 HAS SOUPS 5010 WITH SCORE 5016.568
AT ITER 7778 NEW BEST:: SOT 10398 SOS 6561 HAS SOPS 6561 HAS SOUS 5006 HAS SOUPS 5006 WITH SCORE 5012.561
AT ITER 7798 NEW BEST:: SOT 10398 SOS 6560 HAS SOPS 6560 HAS SOUS 5005 HAS SOUPS 5005 WITH SCORE 5011.56
AT ITER 7949 NEW BEST:: SOT 10398 SOS 6558 HAS SOPS 6558 HAS SOUS 5005 HAS SOUPS 5005 WITH SCORE 5011.558
AT ITER 8082 NEW BEST:: SOT 10396 SOS 6550 HAS SOPS 6550 HAS SOUS 5005 HAS SOUPS 5005 WITH SCORE 5011.55
AT ITER 8113 NEW BEST:: SOT 10394 SOS 6548 HAS SOPS 6548 HAS SOUS 5003 HAS SOUPS 5003 WITH SCORE 5009.548
AT ITER 8152 NEW BEST:: SOT 10394 SOS 6548 HAS SOPS 6548 HAS SOUS 4999 HAS SOUPS 4999 WITH SCORE 5005.548
AT ITER 8206 NEW BEST:: SOT 10394 SOS 6518 HAS SOPS 6518 HAS SOUS 4999 HAS SOUPS 4999 WITH SCORE 5005.518
AT ITER 8262 NEW BEST:: SOT 10393 SOS 6517 HAS SOPS 6517 HAS SOUS 4998 HAS SOUPS 4998 WITH SCORE 5004.517
AT ITER 8266 NEW BEST:: SOT 10384 SOS 6572 HAS SOPS 6572 HAS SOUS 4994 HAS SOUPS 4994 WITH SCORE 5000.572
AT ITER 8349 NEW BEST:: SOT 10384 SOS 6574 HAS SOPS 6574 HAS SOUS 4993 HAS SOUPS 4993 WITH SCORE 4999.574
AT ITER 8445 NEW BEST:: SOT 10382 SOS 6576 HAS SOPS 6576 HAS SOUS 4991 HAS SOUPS 4991 WITH SCORE 4997.576
AT ITER 8471 NEW BEST:: SOT 10382 SOS 6558 HAS SOPS 6558 HAS SOUS 4991 HAS SOUPS 4991 WITH SCORE 4997.558
AT ITER 8589 NEW BEST:: SOT 10382 SOS 6558 HAS SOPS 6558 HAS SOUS 4990 HAS SOUPS 4990 WITH SCORE 4996.558
AT ITER 8594 NEW BEST:: SOT 10382 SOS 6558 HAS SOPS 6558 HAS SOUS 4989 HAS SOUPS 4989 WITH SCORE 4995.558
AT ITER 8600 NEW BEST:: SOT 10364 SOS 6554 HAS SOPS 6554 HAS SOUS 4988 HAS SOUPS 4988 WITH SCORE 4994.554
AT ITER 8650 NEW BEST:: SOT 10363 SOS 6553 HAS SOPS 6553 HAS SOUS 4987 HAS SOUPS 4987 WITH SCORE 4993.553
AT ITER 8895 NEW BEST:: SOT 10359 SOS 6557 HAS SOPS 6557 HAS SOUS 4984 HAS SOUPS 4984 WITH SCORE 4990.557
AT ITER 8898 NEW BEST:: SOT 10356 SOS 6554 HAS SOPS 6554 HAS SOUS 4981 HAS SOUPS 4981 WITH SCORE 4987.554
AT ITER 8930 NEW BEST:: SOT 10356 SOS 6550 HAS SOPS 6550 HAS SOUS 4980 HAS SOUPS 4980 WITH SCORE 4986.55
AT ITER 8949 NEW BEST:: SOT 10349 SOS 6543 HAS SOPS 6543 HAS SOUS 4977 HAS SOUPS 4977 WITH SCORE 4983.543
AT ITER 8993 NEW BEST:: SOT 10349 SOS 6518 HAS SOPS 6518 HAS SOUS 4977 HAS SOUPS 4977 WITH SCORE 4983.518
AT ITER 9007 NEW BEST:: SOT 10349 SOS 6518 HAS SOPS 6518 HAS SOUS 4975 HAS SOUPS 4975 WITH SCORE 4981.518
AT ITER 9127 NEW BEST:: SOT 10348 SOS 6517 HAS SOPS 6517 HAS SOUS 4974 HAS SOUPS 4974 WITH SCORE 4980.517
AT ITER 9145 NEW BEST:: SOT 10347 SOS 6516 HAS SOPS 6516 HAS SOUS 4973 HAS SOUPS 4973 WITH SCORE 4979.516
AT ITER 9158 NEW BEST:: SOT 10351 SOS 6514 HAS SOPS 6514 HAS SOUS 4973 HAS SOUPS 4973 WITH SCORE 4979.514
AT ITER 9170 NEW BEST:: SOT 10351 SOS 6512 HAS SOPS 6512 HAS SOUS 4971 HAS SOUPS 4971 WITH SCORE 4977.512
AT ITER 9372 NEW BEST:: SOT 10349 SOS 6510 HAS SOPS 6510 HAS SOUS 4968 HAS SOUPS 4968 WITH SCORE 4974.51
AT ITER 9394 NEW BEST:: SOT 10349 SOS 6510 HAS SOPS 6510 HAS SOUS 4967 HAS SOUPS 4967 WITH SCORE 4973.51
AT ITER 9454 NEW BEST:: SOT 10345 SOS 6518 HAS SOPS 6518 HAS SOUS 4963 HAS SOUPS 4963 WITH SCORE 4969.518
AT ITER 9639 NEW BEST:: SOT 10345 SOS 6502 HAS SOPS 6502 HAS SOUS 4961 HAS SOUPS 4961 WITH SCORE 4967.502
AT ITER 9801 NEW BEST:: SOT 10344 SOS 6501 HAS SOPS 6501 HAS SOUS 4960 HAS SOUPS 4960 WITH SCORE 4966.501
AT ITER 9811 NEW BEST:: SOT 10335 SOS 6497 HAS SOPS 6497 HAS SOUS 4957 HAS SOUPS 4957 WITH SCORE 4963.497
AT ITER 9991 NEW BEST:: SOT 10335 SOS 6496 HAS SOPS 6496 HAS SOUS 4957 HAS SOUPS 4957 WITH SCORE 4963.496
STATE_SPACE STATES 7535369 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 60 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 46239572 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678658027432

--------------------
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="NQueens-PT-10"
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 NQueens-PT-10, 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 r259-smll-167863534000032"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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