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.r099-tall-167814472400448.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 DES-PT-30a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814472400448
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 476K
-rw-r--r-- 1 mcc users 6.2K Feb 26 15:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 68K Feb 26 15:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 26 15:40 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 26 15:40 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:50 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 15:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:50 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.2K Feb 26 15:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 96K Feb 26 15:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.8K Feb 26 15:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 68K Feb 26 15:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 25 15:50 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:50 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 70K 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 1678241771677

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=DES-PT-30a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DES (PT), instance 30a
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: 234 places, 191 transitions, 926 arcs.
AT ITER 0 NEW BEST:: SOT 36651 SOS 32681 HAS SOPS 32681 HAS SOUS 19391 HAS SOUPS 19391 WITH SCORE 19423.681
AT ITER 4 NEW BEST:: SOT 36645 SOS 32610 HAS SOPS 32610 HAS SOUS 19320 HAS SOUPS 19320 WITH SCORE 19352.61
AT ITER 5 NEW BEST:: SOT 36645 SOS 32609 HAS SOPS 32609 HAS SOUS 19319 HAS SOUPS 19319 WITH SCORE 19351.609
AT ITER 9 NEW BEST:: SOT 36602 SOS 32566 HAS SOPS 32566 HAS SOUS 19276 HAS SOUPS 19276 WITH SCORE 19308.566
AT ITER 34 NEW BEST:: SOT 36602 SOS 32341 HAS SOPS 32341 HAS SOUS 19275 HAS SOUPS 19275 WITH SCORE 19307.341
AT ITER 39 NEW BEST:: SOT 36600 SOS 32339 HAS SOPS 32339 HAS SOUS 19273 HAS SOUPS 19273 WITH SCORE 19305.339
AT ITER 65 NEW BEST:: SOT 36494 SOS 32223 HAS SOPS 32223 HAS SOUS 19157 HAS SOUPS 19157 WITH SCORE 19189.223
AT ITER 72 NEW BEST:: SOT 35584 SOS 31312 HAS SOPS 31312 HAS SOUS 18246 HAS SOUPS 18246 WITH SCORE 18277.312
AT ITER 76 NEW BEST:: SOT 35522 SOS 31257 HAS SOPS 31257 HAS SOUS 18191 HAS SOUPS 18191 WITH SCORE 18222.257
AT ITER 97 NEW BEST:: SOT 35499 SOS 31234 HAS SOPS 31234 HAS SOUS 18168 HAS SOUPS 18168 WITH SCORE 18199.234
AT ITER 110 NEW BEST:: SOT 35482 SOS 31218 HAS SOPS 31218 HAS SOUS 18152 HAS SOUPS 18152 WITH SCORE 18183.218
AT ITER 126 NEW BEST:: SOT 35458 SOS 31194 HAS SOPS 31194 HAS SOUS 18128 HAS SOUPS 18128 WITH SCORE 18159.194
AT ITER 130 NEW BEST:: SOT 35367 SOS 31103 HAS SOPS 31103 HAS SOUS 18036 HAS SOUPS 18036 WITH SCORE 18067.103
AT ITER 134 NEW BEST:: SOT 34642 SOS 30455 HAS SOPS 30455 HAS SOUS 17318 HAS SOUPS 17318 WITH SCORE 17348.455
AT ITER 144 NEW BEST:: SOT 34470 SOS 30280 HAS SOPS 30280 HAS SOUS 17143 HAS SOUPS 17143 WITH SCORE 17173.28
AT ITER 152 NEW BEST:: SOT 34232 SOS 30078 HAS SOPS 30078 HAS SOUS 16788 HAS SOUPS 16788 WITH SCORE 16818.078
AT ITER 156 NEW BEST:: SOT 34232 SOS 30078 HAS SOPS 30078 HAS SOUS 16785 HAS SOUPS 16785 WITH SCORE 16815.078
AT ITER 178 NEW BEST:: SOT 34169 SOS 30006 HAS SOPS 30006 HAS SOUS 16713 HAS SOUPS 16713 WITH SCORE 16743.006
AT ITER 202 NEW BEST:: SOT 34172 SOS 29997 HAS SOPS 29997 HAS SOUS 16707 HAS SOUPS 16707 WITH SCORE 16736.997
AT ITER 205 NEW BEST:: SOT 33712 SOS 29537 HAS SOPS 29537 HAS SOUS 16246 HAS SOUPS 16246 WITH SCORE 16275.537
AT ITER 223 NEW BEST:: SOT 33696 SOS 29521 HAS SOPS 29521 HAS SOUS 16230 HAS SOUPS 16230 WITH SCORE 16259.521
AT ITER 232 NEW BEST:: SOT 33203 SOS 29028 HAS SOPS 29028 HAS SOUS 16126 HAS SOUPS 16126 WITH SCORE 16155.028
AT ITER 237 NEW BEST:: SOT 31686 SOS 27511 HAS SOPS 27511 HAS SOUS 14506 HAS SOUPS 14506 WITH SCORE 14533.511
AT ITER 241 NEW BEST:: SOT 31681 SOS 27506 HAS SOPS 27506 HAS SOUS 14501 HAS SOUPS 14501 WITH SCORE 14528.506
AT ITER 252 NEW BEST:: SOT 31618 SOS 27442 HAS SOPS 27442 HAS SOUS 14482 HAS SOUPS 14482 WITH SCORE 14509.442
AT ITER 260 NEW BEST:: SOT 31618 SOS 27439 HAS SOPS 27439 HAS SOUS 14479 HAS SOUPS 14479 WITH SCORE 14506.439
AT ITER 278 NEW BEST:: SOT 31558 SOS 27393 HAS SOPS 27393 HAS SOUS 14433 HAS SOUPS 14433 WITH SCORE 14460.393
AT ITER 279 NEW BEST:: SOT 31558 SOS 27393 HAS SOPS 27393 HAS SOUS 14432 HAS SOUPS 14432 WITH SCORE 14459.393
AT ITER 283 NEW BEST:: SOT 31855 SOS 27358 HAS SOPS 27358 HAS SOUS 14194 HAS SOUPS 14194 WITH SCORE 14221.358
AT ITER 305 NEW BEST:: SOT 31801 SOS 27304 HAS SOPS 27304 HAS SOUS 14129 HAS SOUPS 14129 WITH SCORE 14156.304
AT ITER 306 NEW BEST:: SOT 28728 SOS 24231 HAS SOPS 24231 HAS SOUS 11055 HAS SOUPS 11055 WITH SCORE 11079.231
AT ITER 320 NEW BEST:: SOT 28728 SOS 24153 HAS SOPS 24153 HAS SOUS 11052 HAS SOUPS 11052 WITH SCORE 11076.153
AT ITER 340 NEW BEST:: SOT 28735 SOS 24152 HAS SOPS 24152 HAS SOUS 11042 HAS SOUPS 11042 WITH SCORE 11066.152
AT ITER 367 NEW BEST:: SOT 28561 SOS 23978 HAS SOPS 23978 HAS SOUS 10867 HAS SOUPS 10867 WITH SCORE 10890.978
AT ITER 368 NEW BEST:: SOT 27201 SOS 22566 HAS SOPS 22566 HAS SOUS 9455 HAS SOUPS 9455 WITH SCORE 9477.566
AT ITER 369 NEW BEST:: SOT 27216 SOS 22511 HAS SOPS 22511 HAS SOUS 9400 HAS SOUPS 9400 WITH SCORE 9422.511
AT ITER 371 NEW BEST:: SOT 27174 SOS 22469 HAS SOPS 22469 HAS SOUS 9358 HAS SOUPS 9358 WITH SCORE 9380.469
AT ITER 372 NEW BEST:: SOT 26909 SOS 22204 HAS SOPS 22204 HAS SOUS 9290 HAS SOUPS 9290 WITH SCORE 9312.204
AT ITER 411 NEW BEST:: SOT 26867 SOS 22151 HAS SOPS 22151 HAS SOUS 9237 HAS SOUPS 9237 WITH SCORE 9259.151
AT ITER 416 NEW BEST:: SOT 26855 SOS 22077 HAS SOPS 22077 HAS SOUS 9166 HAS SOUPS 9166 WITH SCORE 9188.077
AT ITER 424 NEW BEST:: SOT 26852 SOS 22074 HAS SOPS 22074 HAS SOUS 9163 HAS SOUPS 9163 WITH SCORE 9185.074
AT ITER 430 NEW BEST:: SOT 26828 SOS 22050 HAS SOPS 22050 HAS SOUS 9161 HAS SOUPS 9161 WITH SCORE 9183.05
AT ITER 448 NEW BEST:: SOT 26819 SOS 21997 HAS SOPS 21997 HAS SOUS 9108 HAS SOUPS 9108 WITH SCORE 9129.997
AT ITER 451 NEW BEST:: SOT 26809 SOS 21977 HAS SOPS 21977 HAS SOUS 9098 HAS SOUPS 9098 WITH SCORE 9119.977
AT ITER 488 NEW BEST:: SOT 26767 SOS 21935 HAS SOPS 21935 HAS SOUS 9055 HAS SOUPS 9055 WITH SCORE 9076.935
AT ITER 489 NEW BEST:: SOT 26221 SOS 20843 HAS SOPS 20843 HAS SOUS 8691 HAS SOUPS 8691 WITH SCORE 8711.843
AT ITER 500 NEW BEST:: SOT 26122 SOS 20744 HAS SOPS 20744 HAS SOUS 8577 HAS SOUPS 8577 WITH SCORE 8597.744
AT ITER 508 NEW BEST:: SOT 26122 SOS 20744 HAS SOPS 20744 HAS SOUS 8560 HAS SOUPS 8560 WITH SCORE 8580.744
AT ITER 514 NEW BEST:: SOT 26118 SOS 20736 HAS SOPS 20736 HAS SOUS 8552 HAS SOUPS 8552 WITH SCORE 8572.736
AT ITER 556 NEW BEST:: SOT 26117 SOS 20734 HAS SOPS 20734 HAS SOUS 8551 HAS SOUPS 8551 WITH SCORE 8571.734
AT ITER 568 NEW BEST:: SOT 26073 SOS 20690 HAS SOPS 20690 HAS SOUS 8518 HAS SOUPS 8518 WITH SCORE 8538.69
AT ITER 572 NEW BEST:: SOT 25976 SOS 20608 HAS SOPS 20608 HAS SOUS 8491 HAS SOUPS 8491 WITH SCORE 8511.608
AT ITER 576 NEW BEST:: SOT 25931 SOS 20563 HAS SOPS 20563 HAS SOUS 8441 HAS SOUPS 8441 WITH SCORE 8461.563
AT ITER 611 NEW BEST:: SOT 25871 SOS 20488 HAS SOPS 20488 HAS SOUS 8366 HAS SOUPS 8366 WITH SCORE 8386.488
AT ITER 616 NEW BEST:: SOT 25865 SOS 20482 HAS SOPS 20482 HAS SOUS 8360 HAS SOUPS 8360 WITH SCORE 8380.482
AT ITER 633 NEW BEST:: SOT 25637 SOS 20254 HAS SOPS 20254 HAS SOUS 8355 HAS SOUPS 8355 WITH SCORE 8375.254
AT ITER 649 NEW BEST:: SOT 25636 SOS 20252 HAS SOPS 20252 HAS SOUS 8354 HAS SOUPS 8354 WITH SCORE 8374.252
AT ITER 654 NEW BEST:: SOT 25635 SOS 20251 HAS SOPS 20251 HAS SOUS 8352 HAS SOUPS 8352 WITH SCORE 8372.251
AT ITER 659 NEW BEST:: SOT 25630 SOS 20246 HAS SOPS 20246 HAS SOUS 8347 HAS SOUPS 8347 WITH SCORE 8367.246
AT ITER 660 NEW BEST:: SOT 25615 SOS 20214 HAS SOPS 20214 HAS SOUS 8327 HAS SOUPS 8327 WITH SCORE 8347.214
AT ITER 665 NEW BEST:: SOT 25615 SOS 20214 HAS SOPS 20214 HAS SOUS 8326 HAS SOUPS 8326 WITH SCORE 8346.214
AT ITER 672 NEW BEST:: SOT 25560 SOS 20105 HAS SOPS 20105 HAS SOUS 8269 HAS SOUPS 8269 WITH SCORE 8289.105
AT ITER 686 NEW BEST:: SOT 25534 SOS 20079 HAS SOPS 20079 HAS SOUS 8241 HAS SOUPS 8241 WITH SCORE 8261.079
AT ITER 701 NEW BEST:: SOT 25525 SOS 20050 HAS SOPS 20050 HAS SOUS 8223 HAS SOUPS 8223 WITH SCORE 8243.05
AT ITER 707 NEW BEST:: SOT 25524 SOS 20049 HAS SOPS 20049 HAS SOUS 8221 HAS SOUPS 8221 WITH SCORE 8241.049
AT ITER 708 NEW BEST:: SOT 25518 SOS 20034 HAS SOPS 20034 HAS SOUS 8212 HAS SOUPS 8212 WITH SCORE 8232.034
AT ITER 716 NEW BEST:: SOT 25509 SOS 20016 HAS SOPS 20016 HAS SOUS 8194 HAS SOUPS 8194 WITH SCORE 8214.016
AT ITER 718 NEW BEST:: SOT 24621 SOS 19174 HAS SOPS 19174 HAS SOUS 7351 HAS SOUPS 7351 WITH SCORE 7370.174
AT ITER 726 NEW BEST:: SOT 24616 SOS 19164 HAS SOPS 19164 HAS SOUS 7341 HAS SOUPS 7341 WITH SCORE 7360.164
AT ITER 747 NEW BEST:: SOT 24540 SOS 19052 HAS SOPS 19052 HAS SOUS 7335 HAS SOUPS 7335 WITH SCORE 7354.052
AT ITER 780 NEW BEST:: SOT 24563 SOS 19075 HAS SOPS 19075 HAS SOUS 7328 HAS SOUPS 7328 WITH SCORE 7347.075
AT ITER 788 NEW BEST:: SOT 24551 SOS 19063 HAS SOPS 19063 HAS SOUS 7316 HAS SOUPS 7316 WITH SCORE 7335.063
AT ITER 789 NEW BEST:: SOT 24547 SOS 19059 HAS SOPS 19059 HAS SOUS 7308 HAS SOUPS 7308 WITH SCORE 7327.059
AT ITER 799 NEW BEST:: SOT 24546 SOS 19058 HAS SOPS 19058 HAS SOUS 7306 HAS SOUPS 7306 WITH SCORE 7325.058
AT ITER 801 NEW BEST:: SOT 24546 SOS 19048 HAS SOPS 19048 HAS SOUS 7296 HAS SOUPS 7296 WITH SCORE 7315.048
AT ITER 809 NEW BEST:: SOT 24552 SOS 19054 HAS SOPS 19054 HAS SOUS 7289 HAS SOUPS 7289 WITH SCORE 7308.054
AT ITER 821 NEW BEST:: SOT 24552 SOS 19054 HAS SOPS 19054 HAS SOUS 7288 HAS SOUPS 7288 WITH SCORE 7307.054
AT ITER 876 NEW BEST:: SOT 24516 SOS 19018 HAS SOPS 19018 HAS SOUS 7260 HAS SOUPS 7260 WITH SCORE 7279.018
AT ITER 941 NEW BEST:: SOT 24508 SOS 19010 HAS SOPS 19010 HAS SOUS 7252 HAS SOUPS 7252 WITH SCORE 7271.01
AT ITER 944 NEW BEST:: SOT 24508 SOS 17843 HAS SOPS 17843 HAS SOUS 7251 HAS SOUPS 7251 WITH SCORE 7268.843
AT ITER 945 NEW BEST:: SOT 24508 SOS 17833 HAS SOPS 17833 HAS SOUS 7241 HAS SOUPS 7241 WITH SCORE 7258.833
AT ITER 974 NEW BEST:: SOT 24497 SOS 17822 HAS SOPS 17822 HAS SOUS 7231 HAS SOUPS 7231 WITH SCORE 7248.822
AT ITER 976 NEW BEST:: SOT 24497 SOS 17836 HAS SOPS 17836 HAS SOUS 7223 HAS SOUPS 7223 WITH SCORE 7240.836
AT ITER 1007 NEW BEST:: SOT 24496 SOS 17835 HAS SOPS 17835 HAS SOUS 7222 HAS SOUPS 7222 WITH SCORE 7239.835
AT ITER 1020 NEW BEST:: SOT 24520 SOS 17902 HAS SOPS 17902 HAS SOUS 7216 HAS SOUPS 7216 WITH SCORE 7233.902
AT ITER 1023 NEW BEST:: SOT 24492 SOS 17874 HAS SOPS 17874 HAS SOUS 7188 HAS SOUPS 7188 WITH SCORE 7205.874
AT ITER 1039 NEW BEST:: SOT 24491 SOS 17873 HAS SOPS 17873 HAS SOUS 7186 HAS SOUPS 7186 WITH SCORE 7203.873
AT ITER 1063 NEW BEST:: SOT 24490 SOS 17871 HAS SOPS 17871 HAS SOUS 7184 HAS SOUPS 7184 WITH SCORE 7201.871
AT ITER 1083 NEW BEST:: SOT 24487 SOS 17877 HAS SOPS 17877 HAS SOUS 7174 HAS SOUPS 7174 WITH SCORE 7191.877
AT ITER 1102 NEW BEST:: SOT 24481 SOS 17871 HAS SOPS 17871 HAS SOUS 7162 HAS SOUPS 7162 WITH SCORE 7179.871
AT ITER 1109 NEW BEST:: SOT 24417 SOS 17775 HAS SOPS 17775 HAS SOUS 7066 HAS SOUPS 7066 WITH SCORE 7083.775
AT ITER 1125 NEW BEST:: SOT 24397 SOS 17744 HAS SOPS 17744 HAS SOUS 7035 HAS SOUPS 7035 WITH SCORE 7052.744
AT ITER 1138 NEW BEST:: SOT 24397 SOS 17619 HAS SOPS 17619 HAS SOUS 6910 HAS SOUPS 6910 WITH SCORE 6927.619
AT ITER 1170 NEW BEST:: SOT 24381 SOS 17603 HAS SOPS 17603 HAS SOUS 6894 HAS SOUPS 6894 WITH SCORE 6911.603
AT ITER 1171 NEW BEST:: SOT 24309 SOS 17531 HAS SOPS 17531 HAS SOUS 6822 HAS SOUPS 6822 WITH SCORE 6839.531
AT ITER 1195 NEW BEST:: SOT 24308 SOS 17530 HAS SOPS 17530 HAS SOUS 6820 HAS SOUPS 6820 WITH SCORE 6837.53
AT ITER 1199 NEW BEST:: SOT 24302 SOS 17524 HAS SOPS 17524 HAS SOUS 6808 HAS SOUPS 6808 WITH SCORE 6825.524
AT ITER 1208 NEW BEST:: SOT 24302 SOS 17486 HAS SOPS 17486 HAS SOUS 6770 HAS SOUPS 6770 WITH SCORE 6787.486
AT ITER 1210 NEW BEST:: SOT 24278 SOS 17462 HAS SOPS 17462 HAS SOUS 6746 HAS SOUPS 6746 WITH SCORE 6763.462
AT ITER 1254 NEW BEST:: SOT 24278 SOS 17459 HAS SOPS 17459 HAS SOUS 6743 HAS SOUPS 6743 WITH SCORE 6760.459
AT ITER 1262 NEW BEST:: SOT 24297 SOS 17497 HAS SOPS 17497 HAS SOUS 6740 HAS SOUPS 6740 WITH SCORE 6757.497
AT ITER 1271 NEW BEST:: SOT 24296 SOS 17496 HAS SOPS 17496 HAS SOUS 6739 HAS SOUPS 6739 WITH SCORE 6756.496
AT ITER 1304 NEW BEST:: SOT 24235 SOS 17435 HAS SOPS 17435 HAS SOUS 6737 HAS SOUPS 6737 WITH SCORE 6754.435
AT ITER 1316 NEW BEST:: SOT 24211 SOS 17411 HAS SOPS 17411 HAS SOUS 6689 HAS SOUPS 6689 WITH SCORE 6706.411
AT ITER 1317 NEW BEST:: SOT 24162 SOS 17368 HAS SOPS 17368 HAS SOUS 6559 HAS SOUPS 6559 WITH SCORE 6576.368
AT ITER 1323 NEW BEST:: SOT 24063 SOS 17269 HAS SOPS 17269 HAS SOUS 6460 HAS SOUPS 6460 WITH SCORE 6477.269
AT ITER 1359 NEW BEST:: SOT 24062 SOS 17268 HAS SOPS 17268 HAS SOUS 6458 HAS SOUPS 6458 WITH SCORE 6475.268
AT ITER 1361 NEW BEST:: SOT 24050 SOS 17256 HAS SOPS 17256 HAS SOUS 6446 HAS SOUPS 6446 WITH SCORE 6463.256
AT ITER 1379 NEW BEST:: SOT 24050 SOS 17238 HAS SOPS 17238 HAS SOUS 6446 HAS SOUPS 6446 WITH SCORE 6463.238
AT ITER 1386 NEW BEST:: SOT 24046 SOS 17222 HAS SOPS 17222 HAS SOUS 6430 HAS SOUPS 6430 WITH SCORE 6447.222
AT ITER 1400 NEW BEST:: SOT 24038 SOS 17214 HAS SOPS 17214 HAS SOUS 6422 HAS SOUPS 6422 WITH SCORE 6439.214
AT ITER 1403 NEW BEST:: SOT 24043 SOS 17026 HAS SOPS 17026 HAS SOUS 6412 HAS SOUPS 6412 WITH SCORE 6429.026
AT ITER 1418 NEW BEST:: SOT 24062 SOS 17016 HAS SOPS 17016 HAS SOUS 6401 HAS SOUPS 6401 WITH SCORE 6418.016
AT ITER 1446 NEW BEST:: SOT 24057 SOS 17011 HAS SOPS 17011 HAS SOUS 6396 HAS SOUPS 6396 WITH SCORE 6413.011
AT ITER 1449 NEW BEST:: SOT 24057 SOS 17011 HAS SOPS 17011 HAS SOUS 6390 HAS SOUPS 6390 WITH SCORE 6407.011
AT ITER 1455 NEW BEST:: SOT 24015 SOS 16969 HAS SOPS 16969 HAS SOUS 6348 HAS SOUPS 6348 WITH SCORE 6364.969
AT ITER 1459 NEW BEST:: SOT 24002 SOS 16956 HAS SOPS 16956 HAS SOUS 6305 HAS SOUPS 6305 WITH SCORE 6321.956
AT ITER 1471 NEW BEST:: SOT 23978 SOS 16911 HAS SOPS 16911 HAS SOUS 6260 HAS SOUPS 6260 WITH SCORE 6276.911
AT ITER 1477 NEW BEST:: SOT 23978 SOS 16910 HAS SOPS 16910 HAS SOUS 6259 HAS SOUPS 6259 WITH SCORE 6275.91
AT ITER 1524 NEW BEST:: SOT 23969 SOS 16901 HAS SOPS 16901 HAS SOUS 6241 HAS SOUPS 6241 WITH SCORE 6257.901
AT ITER 1528 NEW BEST:: SOT 23946 SOS 16878 HAS SOPS 16878 HAS SOUS 6218 HAS SOUPS 6218 WITH SCORE 6234.878
AT ITER 1556 NEW BEST:: SOT 23943 SOS 16875 HAS SOPS 16875 HAS SOUS 6212 HAS SOUPS 6212 WITH SCORE 6228.875
AT ITER 1573 NEW BEST:: SOT 23959 SOS 16925 HAS SOPS 16925 HAS SOUS 6210 HAS SOUPS 6210 WITH SCORE 6226.925
AT ITER 1588 NEW BEST:: SOT 23927 SOS 16922 HAS SOPS 16922 HAS SOUS 6208 HAS SOUPS 6208 WITH SCORE 6224.922
AT ITER 1593 NEW BEST:: SOT 23892 SOS 16849 HAS SOPS 16849 HAS SOUS 6149 HAS SOUPS 6149 WITH SCORE 6165.849
AT ITER 1598 NEW BEST:: SOT 23892 SOS 16846 HAS SOPS 16846 HAS SOUS 6146 HAS SOUPS 6146 WITH SCORE 6162.846
AT ITER 1618 NEW BEST:: SOT 23892 SOS 16845 HAS SOPS 16845 HAS SOUS 6145 HAS SOUPS 6145 WITH SCORE 6161.845
AT ITER 1631 NEW BEST:: SOT 23895 SOS 16835 HAS SOPS 16835 HAS SOUS 6135 HAS SOUPS 6135 WITH SCORE 6151.835
AT ITER 1633 NEW BEST:: SOT 23893 SOS 16833 HAS SOPS 16833 HAS SOUS 6131 HAS SOUPS 6131 WITH SCORE 6147.833
AT ITER 1640 NEW BEST:: SOT 23879 SOS 16819 HAS SOPS 16819 HAS SOUS 6130 HAS SOUPS 6130 WITH SCORE 6146.819
AT ITER 1674 NEW BEST:: SOT 23877 SOS 16813 HAS SOPS 16813 HAS SOUS 6124 HAS SOUPS 6124 WITH SCORE 6140.813
AT ITER 1683 NEW BEST:: SOT 23876 SOS 16812 HAS SOPS 16812 HAS SOUS 6123 HAS SOUPS 6123 WITH SCORE 6139.812
AT ITER 1686 NEW BEST:: SOT 23829 SOS 16727 HAS SOPS 16727 HAS SOUS 6062 HAS SOUPS 6062 WITH SCORE 6078.727
AT ITER 1708 NEW BEST:: SOT 23828 SOS 16726 HAS SOPS 16726 HAS SOUS 6038 HAS SOUPS 6038 WITH SCORE 6054.726
AT ITER 1727 NEW BEST:: SOT 23827 SOS 16725 HAS SOPS 16725 HAS SOUS 6036 HAS SOUPS 6036 WITH SCORE 6052.725
AT ITER 1755 NEW BEST:: SOT 23825 SOS 16720 HAS SOPS 16720 HAS SOUS 6035 HAS SOUPS 6035 WITH SCORE 6051.72
AT ITER 1758 NEW BEST:: SOT 23807 SOS 16702 HAS SOPS 16702 HAS SOUS 6035 HAS SOUPS 6035 WITH SCORE 6051.702
AT ITER 1760 NEW BEST:: SOT 23792 SOS 16648 HAS SOPS 16648 HAS SOUS 6007 HAS SOUPS 6007 WITH SCORE 6023.648
AT ITER 1774 NEW BEST:: SOT 23791 SOS 16647 HAS SOPS 16647 HAS SOUS 6005 HAS SOUPS 6005 WITH SCORE 6021.647
AT ITER 1794 NEW BEST:: SOT 23756 SOS 16612 HAS SOPS 16612 HAS SOUS 5970 HAS SOUPS 5970 WITH SCORE 5986.612
AT ITER 1805 NEW BEST:: SOT 23740 SOS 16596 HAS SOPS 16596 HAS SOUS 5940 HAS SOUPS 5940 WITH SCORE 5956.596
AT ITER 1810 NEW BEST:: SOT 23721 SOS 16577 HAS SOPS 16577 HAS SOUS 5902 HAS SOUPS 5902 WITH SCORE 5918.577
AT ITER 1817 NEW BEST:: SOT 23721 SOS 16575 HAS SOPS 16575 HAS SOUS 5900 HAS SOUPS 5900 WITH SCORE 5916.575
AT ITER 1830 NEW BEST:: SOT 23716 SOS 16551 HAS SOPS 16551 HAS SOUS 5876 HAS SOUPS 5876 WITH SCORE 5892.551
AT ITER 1832 NEW BEST:: SOT 23716 SOS 16395 HAS SOPS 16395 HAS SOUS 5872 HAS SOUPS 5872 WITH SCORE 5888.395
AT ITER 1856 NEW BEST:: SOT 23712 SOS 16350 HAS SOPS 16350 HAS SOUS 5827 HAS SOUPS 5827 WITH SCORE 5843.35
AT ITER 1861 NEW BEST:: SOT 23713 SOS 16423 HAS SOPS 16423 HAS SOUS 5808 HAS SOUPS 5808 WITH SCORE 5824.423
AT ITER 1864 NEW BEST:: SOT 23712 SOS 16422 HAS SOPS 16422 HAS SOUS 5806 HAS SOUPS 5806 WITH SCORE 5822.422
AT ITER 1919 NEW BEST:: SOT 23712 SOS 16421 HAS SOPS 16421 HAS SOUS 5805 HAS SOUPS 5805 WITH SCORE 5821.421
AT ITER 1970 NEW BEST:: SOT 23706 SOS 16415 HAS SOPS 16415 HAS SOUS 5793 HAS SOUPS 5793 WITH SCORE 5809.415
AT ITER 2062 NEW BEST:: SOT 23703 SOS 16412 HAS SOPS 16412 HAS SOUS 5787 HAS SOUPS 5787 WITH SCORE 5803.412
AT ITER 2071 NEW BEST:: SOT 23707 SOS 16394 HAS SOPS 16394 HAS SOUS 5736 HAS SOUPS 5736 WITH SCORE 5752.394
AT ITER 2082 NEW BEST:: SOT 23682 SOS 16369 HAS SOPS 16369 HAS SOUS 5686 HAS SOUPS 5686 WITH SCORE 5702.369
AT ITER 2084 NEW BEST:: SOT 23673 SOS 16360 HAS SOPS 16360 HAS SOUS 5684 HAS SOUPS 5684 WITH SCORE 5700.36
AT ITER 2088 NEW BEST:: SOT 23668 SOS 16358 HAS SOPS 16358 HAS SOUS 5672 HAS SOUPS 5672 WITH SCORE 5688.358
AT ITER 2119 NEW BEST:: SOT 23668 SOS 16337 HAS SOPS 16337 HAS SOUS 5651 HAS SOUPS 5651 WITH SCORE 5667.337
AT ITER 2120 NEW BEST:: SOT 23663 SOS 16325 HAS SOPS 16325 HAS SOUS 5640 HAS SOUPS 5640 WITH SCORE 5656.325
AT ITER 2122 NEW BEST:: SOT 23664 SOS 16377 HAS SOPS 16377 HAS SOUS 5639 HAS SOUPS 5639 WITH SCORE 5655.377
AT ITER 2124 NEW BEST:: SOT 23664 SOS 16281 HAS SOPS 16281 HAS SOUS 5639 HAS SOUPS 5639 WITH SCORE 5655.281
AT ITER 2146 NEW BEST:: SOT 23650 SOS 16305 HAS SOPS 16305 HAS SOUS 5626 HAS SOUPS 5626 WITH SCORE 5642.305
AT ITER 2297 NEW BEST:: SOT 23634 SOS 16293 HAS SOPS 16293 HAS SOUS 5618 HAS SOUPS 5618 WITH SCORE 5634.293
AT ITER 2298 NEW BEST:: SOT 23611 SOS 16270 HAS SOPS 16270 HAS SOUS 5595 HAS SOUPS 5595 WITH SCORE 5611.27
AT ITER 2299 NEW BEST:: SOT 23617 SOS 16276 HAS SOPS 16276 HAS SOUS 5594 HAS SOUPS 5594 WITH SCORE 5610.276
AT ITER 2328 NEW BEST:: SOT 23616 SOS 16275 HAS SOPS 16275 HAS SOUS 5593 HAS SOUPS 5593 WITH SCORE 5609.275
AT ITER 2333 NEW BEST:: SOT 23601 SOS 16260 HAS SOPS 16260 HAS SOUS 5578 HAS SOUPS 5578 WITH SCORE 5594.26
AT ITER 2358 NEW BEST:: SOT 23601 SOS 16260 HAS SOPS 16260 HAS SOUS 5566 HAS SOUPS 5566 WITH SCORE 5582.26
AT ITER 2400 NEW BEST:: SOT 23601 SOS 16196 HAS SOPS 16196 HAS SOUS 5557 HAS SOUPS 5557 WITH SCORE 5573.196
AT ITER 2409 NEW BEST:: SOT 23571 SOS 16166 HAS SOPS 16166 HAS SOUS 5545 HAS SOUPS 5545 WITH SCORE 5561.166
AT ITER 2414 NEW BEST:: SOT 23571 SOS 16166 HAS SOPS 16166 HAS SOUS 5532 HAS SOUPS 5532 WITH SCORE 5548.166
AT ITER 2418 NEW BEST:: SOT 23555 SOS 16150 HAS SOPS 16150 HAS SOUS 5500 HAS SOUPS 5500 WITH SCORE 5516.15
AT ITER 2451 NEW BEST:: SOT 23552 SOS 16144 HAS SOPS 16144 HAS SOUS 5475 HAS SOUPS 5475 WITH SCORE 5491.144
AT ITER 2472 NEW BEST:: SOT 23539 SOS 16107 HAS SOPS 16107 HAS SOUS 5461 HAS SOUPS 5461 WITH SCORE 5477.107
AT ITER 2475 NEW BEST:: SOT 23534 SOS 16158 HAS SOPS 16158 HAS SOUS 5458 HAS SOUPS 5458 WITH SCORE 5474.158
AT ITER 2482 NEW BEST:: SOT 23507 SOS 16087 HAS SOPS 16087 HAS SOUS 5387 HAS SOUPS 5387 WITH SCORE 5403.087
AT ITER 2484 NEW BEST:: SOT 23506 SOS 16086 HAS SOPS 16086 HAS SOUS 5385 HAS SOUPS 5385 WITH SCORE 5401.086
AT ITER 2491 NEW BEST:: SOT 23506 SOS 16085 HAS SOPS 16085 HAS SOUS 5384 HAS SOUPS 5384 WITH SCORE 5400.085
AT ITER 2614 NEW BEST:: SOT 23490 SOS 16069 HAS SOPS 16069 HAS SOUS 5368 HAS SOUPS 5368 WITH SCORE 5384.069
AT ITER 2648 NEW BEST:: SOT 23482 SOS 16045 HAS SOPS 16045 HAS SOUS 5344 HAS SOUPS 5344 WITH SCORE 5360.045
AT ITER 2655 NEW BEST:: SOT 23473 SOS 16036 HAS SOPS 16036 HAS SOUS 5326 HAS SOUPS 5326 WITH SCORE 5342.036
AT ITER 2684 NEW BEST:: SOT 23473 SOS 16035 HAS SOPS 16035 HAS SOUS 5326 HAS SOUPS 5326 WITH SCORE 5342.035
AT ITER 2692 NEW BEST:: SOT 23473 SOS 15917 HAS SOPS 15917 HAS SOUS 5320 HAS SOUPS 5320 WITH SCORE 5335.917
AT ITER 2707 NEW BEST:: SOT 23470 SOS 15914 HAS SOPS 15914 HAS SOUS 5317 HAS SOUPS 5317 WITH SCORE 5332.914
AT ITER 2708 NEW BEST:: SOT 23494 SOS 15922 HAS SOPS 15922 HAS SOUS 5311 HAS SOUPS 5311 WITH SCORE 5326.922
AT ITER 2738 NEW BEST:: SOT 23453 SOS 15881 HAS SOPS 15881 HAS SOUS 5270 HAS SOUPS 5270 WITH SCORE 5285.881
AT ITER 2805 NEW BEST:: SOT 23457 SOS 15885 HAS SOPS 15885 HAS SOUS 5269 HAS SOUPS 5269 WITH SCORE 5284.885
AT ITER 2840 NEW BEST:: SOT 23442 SOS 15842 HAS SOPS 15842 HAS SOUS 5237 HAS SOUPS 5237 WITH SCORE 5252.842
AT ITER 2866 NEW BEST:: SOT 23442 SOS 15840 HAS SOPS 15840 HAS SOUS 5235 HAS SOUPS 5235 WITH SCORE 5250.84
AT ITER 2867 NEW BEST:: SOT 23439 SOS 15804 HAS SOPS 15804 HAS SOUS 5199 HAS SOUPS 5199 WITH SCORE 5214.804
AT ITER 2902 NEW BEST:: SOT 23439 SOS 15804 HAS SOPS 15804 HAS SOUS 5191 HAS SOUPS 5191 WITH SCORE 5206.804
AT ITER 2909 NEW BEST:: SOT 23417 SOS 15782 HAS SOPS 15782 HAS SOUS 5169 HAS SOUPS 5169 WITH SCORE 5184.782
AT ITER 2913 NEW BEST:: SOT 23421 SOS 15784 HAS SOPS 15784 HAS SOUS 5163 HAS SOUPS 5163 WITH SCORE 5178.784
AT ITER 2926 NEW BEST:: SOT 23420 SOS 15771 HAS SOPS 15771 HAS SOUS 5150 HAS SOUPS 5150 WITH SCORE 5165.771
AT ITER 2969 NEW BEST:: SOT 23419 SOS 15770 HAS SOPS 15770 HAS SOUS 5148 HAS SOUPS 5148 WITH SCORE 5163.77
AT ITER 2975 NEW BEST:: SOT 23403 SOS 15754 HAS SOPS 15754 HAS SOUS 5147 HAS SOUPS 5147 WITH SCORE 5162.754
AT ITER 2993 NEW BEST:: SOT 23401 SOS 15752 HAS SOPS 15752 HAS SOUS 5143 HAS SOUPS 5143 WITH SCORE 5158.752
AT ITER 2995 NEW BEST:: SOT 23401 SOS 15752 HAS SOPS 15752 HAS SOUS 5142 HAS SOUPS 5142 WITH SCORE 5157.752
AT ITER 2996 NEW BEST:: SOT 23400 SOS 15751 HAS SOPS 15751 HAS SOUS 5141 HAS SOUPS 5141 WITH SCORE 5156.751
AT ITER 3009 NEW BEST:: SOT 23393 SOS 15729 HAS SOPS 15729 HAS SOUS 5119 HAS SOUPS 5119 WITH SCORE 5134.729
AT ITER 3019 NEW BEST:: SOT 23384 SOS 15720 HAS SOPS 15720 HAS SOUS 5101 HAS SOUPS 5101 WITH SCORE 5116.72
AT ITER 3021 NEW BEST:: SOT 23373 SOS 15701 HAS SOPS 15701 HAS SOUS 5087 HAS SOUPS 5087 WITH SCORE 5102.701
AT ITER 3054 NEW BEST:: SOT 23365 SOS 15693 HAS SOPS 15693 HAS SOUS 5071 HAS SOUPS 5071 WITH SCORE 5086.693
AT ITER 3126 NEW BEST:: SOT 23361 SOS 15689 HAS SOPS 15689 HAS SOUS 5053 HAS SOUPS 5053 WITH SCORE 5068.689
AT ITER 3163 NEW BEST:: SOT 23350 SOS 15678 HAS SOPS 15678 HAS SOUS 5042 HAS SOUPS 5042 WITH SCORE 5057.678
AT ITER 3196 NEW BEST:: SOT 23346 SOS 15674 HAS SOPS 15674 HAS SOUS 5038 HAS SOUPS 5038 WITH SCORE 5053.674
AT ITER 3276 NEW BEST:: SOT 23338 SOS 15589 HAS SOPS 15589 HAS SOUS 5028 HAS SOUPS 5028 WITH SCORE 5043.589
AT ITER 3278 NEW BEST:: SOT 23333 SOS 15584 HAS SOPS 15584 HAS SOUS 5023 HAS SOUPS 5023 WITH SCORE 5038.584
AT ITER 3284 NEW BEST:: SOT 23327 SOS 15578 HAS SOPS 15578 HAS SOUS 5017 HAS SOUPS 5017 WITH SCORE 5032.578
AT ITER 3389 NEW BEST:: SOT 23327 SOS 15578 HAS SOPS 15578 HAS SOUS 5009 HAS SOUPS 5009 WITH SCORE 5024.578
AT ITER 3395 NEW BEST:: SOT 23316 SOS 15567 HAS SOPS 15567 HAS SOUS 4996 HAS SOUPS 4996 WITH SCORE 5011.567
AT ITER 3447 NEW BEST:: SOT 23363 SOS 15563 HAS SOPS 15563 HAS SOUS 4992 HAS SOUPS 4992 WITH SCORE 5007.563
AT ITER 3454 NEW BEST:: SOT 23356 SOS 15556 HAS SOPS 15556 HAS SOUS 4980 HAS SOUPS 4980 WITH SCORE 4995.556
AT ITER 3463 NEW BEST:: SOT 23351 SOS 16097 HAS SOPS 16097 HAS SOUS 4973 HAS SOUPS 4973 WITH SCORE 4989.097
AT ITER 3576 NEW BEST:: SOT 23347 SOS 16093 HAS SOPS 16093 HAS SOUS 4967 HAS SOUPS 4967 WITH SCORE 4983.093
AT ITER 3618 NEW BEST:: SOT 23346 SOS 16092 HAS SOPS 16092 HAS SOUS 4962 HAS SOUPS 4962 WITH SCORE 4978.092
AT ITER 3636 NEW BEST:: SOT 23351 SOS 16097 HAS SOPS 16097 HAS SOUS 4961 HAS SOUPS 4961 WITH SCORE 4977.097
AT ITER 3686 NEW BEST:: SOT 23257 SOS 16056 HAS SOPS 16056 HAS SOUS 4927 HAS SOUPS 4927 WITH SCORE 4943.056
AT ITER 3705 NEW BEST:: SOT 23257 SOS 16010 HAS SOPS 16010 HAS SOUS 4881 HAS SOUPS 4881 WITH SCORE 4897.01
AT ITER 3788 NEW BEST:: SOT 23257 SOS 16023 HAS SOPS 16023 HAS SOUS 4880 HAS SOUPS 4880 WITH SCORE 4896.023
AT ITER 3796 NEW BEST:: SOT 23256 SOS 16022 HAS SOPS 16022 HAS SOUS 4878 HAS SOUPS 4878 WITH SCORE 4894.022
AT ITER 3838 NEW BEST:: SOT 23249 SOS 16015 HAS SOPS 16015 HAS SOUS 4864 HAS SOUPS 4864 WITH SCORE 4880.015
AT ITER 3844 NEW BEST:: SOT 23249 SOS 16015 HAS SOPS 16015 HAS SOUS 4858 HAS SOUPS 4858 WITH SCORE 4874.015
AT ITER 3856 NEW BEST:: SOT 23246 SOS 16012 HAS SOPS 16012 HAS SOUS 4852 HAS SOUPS 4852 WITH SCORE 4868.012
AT ITER 3867 NEW BEST:: SOT 23242 SOS 16008 HAS SOPS 16008 HAS SOUS 4848 HAS SOUPS 4848 WITH SCORE 4864.008
AT ITER 3901 NEW BEST:: SOT 23240 SOS 16006 HAS SOPS 16006 HAS SOUS 4844 HAS SOUPS 4844 WITH SCORE 4860.006
AT ITER 4060 NEW BEST:: SOT 23240 SOS 16006 HAS SOPS 16006 HAS SOUS 4822 HAS SOUPS 4822 WITH SCORE 4838.006
AT ITER 4174 NEW BEST:: SOT 23234 SOS 16000 HAS SOPS 16000 HAS SOUS 4816 HAS SOUPS 4816 WITH SCORE 4832.0
AT ITER 4258 NEW BEST:: SOT 23233 SOS 15996 HAS SOPS 15996 HAS SOUS 4812 HAS SOUPS 4812 WITH SCORE 4827.996
AT ITER 4305 NEW BEST:: SOT 23220 SOS 15985 HAS SOPS 15985 HAS SOUS 4796 HAS SOUPS 4796 WITH SCORE 4811.985
AT ITER 4393 NEW BEST:: SOT 23212 SOS 15977 HAS SOPS 15977 HAS SOUS 4796 HAS SOUPS 4796 WITH SCORE 4811.977
AT ITER 4402 NEW BEST:: SOT 23210 SOS 15975 HAS SOPS 15975 HAS SOUS 4792 HAS SOUPS 4792 WITH SCORE 4807.975
AT ITER 4465 NEW BEST:: SOT 23205 SOS 15970 HAS SOPS 15970 HAS SOUS 4791 HAS SOUPS 4791 WITH SCORE 4806.97
AT ITER 4480 NEW BEST:: SOT 23205 SOS 15967 HAS SOPS 15967 HAS SOUS 4788 HAS SOUPS 4788 WITH SCORE 4803.967
AT ITER 4483 NEW BEST:: SOT 23196 SOS 15967 HAS SOPS 15967 HAS SOUS 4785 HAS SOUPS 4785 WITH SCORE 4800.967
AT ITER 4492 NEW BEST:: SOT 23173 SOS 15944 HAS SOPS 15944 HAS SOUS 4739 HAS SOUPS 4739 WITH SCORE 4754.944
AT ITER 4521 NEW BEST:: SOT 23166 SOS 15937 HAS SOPS 15937 HAS SOUS 4732 HAS SOUPS 4732 WITH SCORE 4747.937
AT ITER 4554 NEW BEST:: SOT 23166 SOS 15844 HAS SOPS 15844 HAS SOUS 4732 HAS SOUPS 4732 WITH SCORE 4747.844
AT ITER 4559 NEW BEST:: SOT 23164 SOS 15842 HAS SOPS 15842 HAS SOUS 4728 HAS SOUPS 4728 WITH SCORE 4743.842
AT ITER 4578 NEW BEST:: SOT 23163 SOS 15841 HAS SOPS 15841 HAS SOUS 4726 HAS SOUPS 4726 WITH SCORE 4741.841
AT ITER 4579 NEW BEST:: SOT 23159 SOS 15833 HAS SOPS 15833 HAS SOUS 4722 HAS SOUPS 4722 WITH SCORE 4737.833
AT ITER 4653 NEW BEST:: SOT 23159 SOS 15840 HAS SOPS 15840 HAS SOUS 4715 HAS SOUPS 4715 WITH SCORE 4730.84
AT ITER 4711 NEW BEST:: SOT 23163 SOS 15844 HAS SOPS 15844 HAS SOUS 4714 HAS SOUPS 4714 WITH SCORE 4729.844
AT ITER 4730 NEW BEST:: SOT 23156 SOS 15837 HAS SOPS 15837 HAS SOUS 4713 HAS SOUPS 4713 WITH SCORE 4728.837
AT ITER 4745 NEW BEST:: SOT 23142 SOS 15823 HAS SOPS 15823 HAS SOUS 4702 HAS SOUPS 4702 WITH SCORE 4717.823
AT ITER 4755 NEW BEST:: SOT 23137 SOS 15817 HAS SOPS 15817 HAS SOUS 4702 HAS SOUPS 4702 WITH SCORE 4717.817
AT ITER 4827 NEW BEST:: SOT 23134 SOS 15813 HAS SOPS 15813 HAS SOUS 4701 HAS SOUPS 4701 WITH SCORE 4716.813
AT ITER 4904 NEW BEST:: SOT 23134 SOS 15809 HAS SOPS 15809 HAS SOUS 4697 HAS SOUPS 4697 WITH SCORE 4712.809
AT ITER 4925 NEW BEST:: SOT 23131 SOS 15806 HAS SOPS 15806 HAS SOUS 4694 HAS SOUPS 4694 WITH SCORE 4709.806
AT ITER 4990 NEW BEST:: SOT 23131 SOS 15806 HAS SOPS 15806 HAS SOUS 4690 HAS SOUPS 4690 WITH SCORE 4705.806
AT ITER 4997 NEW BEST:: SOT 23106 SOS 15779 HAS SOPS 15779 HAS SOUS 4663 HAS SOUPS 4663 WITH SCORE 4678.779
AT ITER 5014 NEW BEST:: SOT 23106 SOS 15778 HAS SOPS 15778 HAS SOUS 4661 HAS SOUPS 4661 WITH SCORE 4676.778
AT ITER 5069 NEW BEST:: SOT 23113 SOS 15709 HAS SOPS 15709 HAS SOUS 4560 HAS SOUPS 4560 WITH SCORE 4575.709
AT ITER 5070 NEW BEST:: SOT 23113 SOS 15703 HAS SOPS 15703 HAS SOUS 4550 HAS SOUPS 4550 WITH SCORE 4565.703
AT ITER 5073 NEW BEST:: SOT 23113 SOS 15698 HAS SOPS 15698 HAS SOUS 4550 HAS SOUPS 4550 WITH SCORE 4565.698
AT ITER 5078 NEW BEST:: SOT 23112 SOS 15695 HAS SOPS 15695 HAS SOUS 4547 HAS SOUPS 4547 WITH SCORE 4562.695
AT ITER 5146 NEW BEST:: SOT 23112 SOS 15695 HAS SOPS 15695 HAS SOUS 4546 HAS SOUPS 4546 WITH SCORE 4561.695
AT ITER 5150 NEW BEST:: SOT 23108 SOS 15687 HAS SOPS 15687 HAS SOUS 4542 HAS SOUPS 4542 WITH SCORE 4557.687
AT ITER 5169 NEW BEST:: SOT 23106 SOS 15708 HAS SOPS 15708 HAS SOUS 4538 HAS SOUPS 4538 WITH SCORE 4553.708
AT ITER 5174 NEW BEST:: SOT 23106 SOS 15707 HAS SOPS 15707 HAS SOUS 4537 HAS SOUPS 4537 WITH SCORE 4552.707
AT ITER 5220 NEW BEST:: SOT 23105 SOS 15706 HAS SOPS 15706 HAS SOUS 4535 HAS SOUPS 4535 WITH SCORE 4550.706
AT ITER 5227 NEW BEST:: SOT 23077 SOS 15671 HAS SOPS 15671 HAS SOUS 4512 HAS SOUPS 4512 WITH SCORE 4527.671
AT ITER 5247 NEW BEST:: SOT 23077 SOS 15664 HAS SOPS 15664 HAS SOUS 4491 HAS SOUPS 4491 WITH SCORE 4506.664
AT ITER 5354 NEW BEST:: SOT 23034 SOS 15647 HAS SOPS 15647 HAS SOUS 4474 HAS SOUPS 4474 WITH SCORE 4489.647
AT ITER 5398 NEW BEST:: SOT 23029 SOS 15642 HAS SOPS 15642 HAS SOUS 4469 HAS SOUPS 4469 WITH SCORE 4484.642
AT ITER 5425 NEW BEST:: SOT 23029 SOS 15640 HAS SOPS 15640 HAS SOUS 4467 HAS SOUPS 4467 WITH SCORE 4482.64
AT ITER 5485 NEW BEST:: SOT 23024 SOS 15635 HAS SOPS 15635 HAS SOUS 4462 HAS SOUPS 4462 WITH SCORE 4477.635
AT ITER 5568 NEW BEST:: SOT 22931 SOS 15443 HAS SOPS 15443 HAS SOUS 4398 HAS SOUPS 4398 WITH SCORE 4413.443
AT ITER 5574 NEW BEST:: SOT 22919 SOS 15431 HAS SOPS 15431 HAS SOUS 4396 HAS SOUPS 4396 WITH SCORE 4411.431
AT ITER 5576 NEW BEST:: SOT 22914 SOS 15426 HAS SOPS 15426 HAS SOUS 4386 HAS SOUPS 4386 WITH SCORE 4401.426
AT ITER 5646 NEW BEST:: SOT 22911 SOS 15423 HAS SOPS 15423 HAS SOUS 4380 HAS SOUPS 4380 WITH SCORE 4395.423
AT ITER 5672 NEW BEST:: SOT 22911 SOS 15420 HAS SOPS 15420 HAS SOUS 4377 HAS SOUPS 4377 WITH SCORE 4392.42
AT ITER 5675 NEW BEST:: SOT 22910 SOS 15419 HAS SOPS 15419 HAS SOUS 4376 HAS SOUPS 4376 WITH SCORE 4391.419
AT ITER 5721 NEW BEST:: SOT 22898 SOS 15407 HAS SOPS 15407 HAS SOUS 4358 HAS SOUPS 4358 WITH SCORE 4373.407
AT ITER 5750 NEW BEST:: SOT 22897 SOS 15406 HAS SOPS 15406 HAS SOUS 4356 HAS SOUPS 4356 WITH SCORE 4371.406
AT ITER 5762 NEW BEST:: SOT 22897 SOS 15404 HAS SOPS 15404 HAS SOUS 4354 HAS SOUPS 4354 WITH SCORE 4369.404
AT ITER 5904 NEW BEST:: SOT 22892 SOS 15399 HAS SOPS 15399 HAS SOUS 4344 HAS SOUPS 4344 WITH SCORE 4359.399
AT ITER 5989 NEW BEST:: SOT 22892 SOS 15397 HAS SOPS 15397 HAS SOUS 4342 HAS SOUPS 4342 WITH SCORE 4357.397
AT ITER 6035 NEW BEST:: SOT 22892 SOS 15391 HAS SOPS 15391 HAS SOUS 4336 HAS SOUPS 4336 WITH SCORE 4351.391
AT ITER 6060 NEW BEST:: SOT 22888 SOS 15387 HAS SOPS 15387 HAS SOUS 4328 HAS SOUPS 4328 WITH SCORE 4343.387
AT ITER 6081 NEW BEST:: SOT 22893 SOS 15384 HAS SOPS 15384 HAS SOUS 4327 HAS SOUPS 4327 WITH SCORE 4342.384
AT ITER 6083 NEW BEST:: SOT 22886 SOS 15377 HAS SOPS 15377 HAS SOUS 4313 HAS SOUPS 4313 WITH SCORE 4328.377
AT ITER 6172 NEW BEST:: SOT 22879 SOS 15370 HAS SOPS 15370 HAS SOUS 4299 HAS SOUPS 4299 WITH SCORE 4314.37
AT ITER 6183 NEW BEST:: SOT 22783 SOS 15366 HAS SOPS 15366 HAS SOUS 4265 HAS SOUPS 4265 WITH SCORE 4280.366
AT ITER 6231 NEW BEST:: SOT 22781 SOS 15358 HAS SOPS 15358 HAS SOUS 4257 HAS SOUPS 4257 WITH SCORE 4272.358
AT ITER 6292 NEW BEST:: SOT 22771 SOS 15276 HAS SOPS 15276 HAS SOUS 4223 HAS SOUPS 4223 WITH SCORE 4238.276
AT ITER 6355 NEW BEST:: SOT 22796 SOS 15275 HAS SOPS 15275 HAS SOUS 4222 HAS SOUPS 4222 WITH SCORE 4237.275
AT ITER 6381 NEW BEST:: SOT 22797 SOS 15276 HAS SOPS 15276 HAS SOUS 4220 HAS SOUPS 4220 WITH SCORE 4235.276
AT ITER 6439 NEW BEST:: SOT 22797 SOS 15276 HAS SOPS 15276 HAS SOUS 4219 HAS SOUPS 4219 WITH SCORE 4234.276
AT ITER 6488 NEW BEST:: SOT 22774 SOS 15253 HAS SOPS 15253 HAS SOUS 4213 HAS SOUPS 4213 WITH SCORE 4228.253
AT ITER 6495 NEW BEST:: SOT 22771 SOS 15250 HAS SOPS 15250 HAS SOUS 4210 HAS SOUPS 4210 WITH SCORE 4225.25
AT ITER 6499 NEW BEST:: SOT 22771 SOS 15247 HAS SOPS 15247 HAS SOUS 4207 HAS SOUPS 4207 WITH SCORE 4222.247
AT ITER 6510 NEW BEST:: SOT 22756 SOS 15231 HAS SOPS 15231 HAS SOUS 4191 HAS SOUPS 4191 WITH SCORE 4206.231
AT ITER 6522 NEW BEST:: SOT 22742 SOS 15217 HAS SOPS 15217 HAS SOUS 4167 HAS SOUPS 4167 WITH SCORE 4182.217
AT ITER 6547 NEW BEST:: SOT 22744 SOS 15218 HAS SOPS 15218 HAS SOUS 4166 HAS SOUPS 4166 WITH SCORE 4181.218
AT ITER 6710 NEW BEST:: SOT 22745 SOS 15217 HAS SOPS 15217 HAS SOUS 4165 HAS SOUPS 4165 WITH SCORE 4180.217
AT ITER 6715 NEW BEST:: SOT 22745 SOS 15217 HAS SOPS 15217 HAS SOUS 4162 HAS SOUPS 4162 WITH SCORE 4177.217
AT ITER 6733 NEW BEST:: SOT 22731 SOS 15203 HAS SOPS 15203 HAS SOUS 4148 HAS SOUPS 4148 WITH SCORE 4163.203
AT ITER 6749 NEW BEST:: SOT 22731 SOS 15199 HAS SOPS 15199 HAS SOUS 4144 HAS SOUPS 4144 WITH SCORE 4159.199
AT ITER 6755 NEW BEST:: SOT 22727 SOS 15189 HAS SOPS 15189 HAS SOUS 4134 HAS SOUPS 4134 WITH SCORE 4149.189
AT ITER 6764 NEW BEST:: SOT 22726 SOS 15188 HAS SOPS 15188 HAS SOUS 4132 HAS SOUPS 4132 WITH SCORE 4147.188
AT ITER 6841 NEW BEST:: SOT 22723 SOS 15185 HAS SOPS 15185 HAS SOUS 4126 HAS SOUPS 4126 WITH SCORE 4141.185
AT ITER 6870 NEW BEST:: SOT 22729 SOS 15184 HAS SOPS 15184 HAS SOUS 4125 HAS SOUPS 4125 WITH SCORE 4140.184
AT ITER 6914 NEW BEST:: SOT 22728 SOS 15183 HAS SOPS 15183 HAS SOUS 4123 HAS SOUPS 4123 WITH SCORE 4138.183
AT ITER 6957 NEW BEST:: SOT 22718 SOS 15173 HAS SOPS 15173 HAS SOUS 4103 HAS SOUPS 4103 WITH SCORE 4118.173
AT ITER 6985 NEW BEST:: SOT 22718 SOS 15169 HAS SOPS 15169 HAS SOUS 4102 HAS SOUPS 4102 WITH SCORE 4117.169
AT ITER 6995 NEW BEST:: SOT 22719 SOS 15168 HAS SOPS 15168 HAS SOUS 4101 HAS SOUPS 4101 WITH SCORE 4116.168
AT ITER 7024 NEW BEST:: SOT 22713 SOS 15156 HAS SOPS 15156 HAS SOUS 4089 HAS SOUPS 4089 WITH SCORE 4104.156
AT ITER 7026 NEW BEST:: SOT 22711 SOS 15154 HAS SOPS 15154 HAS SOUS 4083 HAS SOUPS 4083 WITH SCORE 4098.154
AT ITER 7180 NEW BEST:: SOT 22710 SOS 15152 HAS SOPS 15152 HAS SOUS 4081 HAS SOUPS 4081 WITH SCORE 4096.152
AT ITER 7217 NEW BEST:: SOT 22710 SOS 15152 HAS SOPS 15152 HAS SOUS 4074 HAS SOUPS 4074 WITH SCORE 4089.152
AT ITER 7242 NEW BEST:: SOT 22699 SOS 15141 HAS SOPS 15141 HAS SOUS 4066 HAS SOUPS 4066 WITH SCORE 4081.141
AT ITER 7244 NEW BEST:: SOT 22698 SOS 15140 HAS SOPS 15140 HAS SOUS 4064 HAS SOUPS 4064 WITH SCORE 4079.14
AT ITER 7259 NEW BEST:: SOT 22692 SOS 15134 HAS SOPS 15134 HAS SOUS 4052 HAS SOUPS 4052 WITH SCORE 4067.134
AT ITER 7275 NEW BEST:: SOT 22691 SOS 15133 HAS SOPS 15133 HAS SOUS 4051 HAS SOUPS 4051 WITH SCORE 4066.133
AT ITER 7431 NEW BEST:: SOT 22688 SOS 15130 HAS SOPS 15130 HAS SOUS 4045 HAS SOUPS 4045 WITH SCORE 4060.13
AT ITER 7444 NEW BEST:: SOT 22696 SOS 15130 HAS SOPS 15130 HAS SOUS 4037 HAS SOUPS 4037 WITH SCORE 4052.13
AT ITER 7466 NEW BEST:: SOT 22686 SOS 15110 HAS SOPS 15110 HAS SOUS 4027 HAS SOUPS 4027 WITH SCORE 4042.11
AT ITER 7475 NEW BEST:: SOT 22680 SOS 15104 HAS SOPS 15104 HAS SOUS 4027 HAS SOUPS 4027 WITH SCORE 4042.104
AT ITER 7482 NEW BEST:: SOT 22651 SOS 15092 HAS SOPS 15092 HAS SOUS 4015 HAS SOUPS 4015 WITH SCORE 4030.092
AT ITER 7542 NEW BEST:: SOT 22645 SOS 15089 HAS SOPS 15089 HAS SOUS 4012 HAS SOUPS 4012 WITH SCORE 4027.089
AT ITER 7558 NEW BEST:: SOT 22644 SOS 15088 HAS SOPS 15088 HAS SOUS 4009 HAS SOUPS 4009 WITH SCORE 4024.088
AT ITER 7652 NEW BEST:: SOT 22643 SOS 15087 HAS SOPS 15087 HAS SOUS 4008 HAS SOUPS 4008 WITH SCORE 4023.087
AT ITER 7797 NEW BEST:: SOT 22643 SOS 15085 HAS SOPS 15085 HAS SOUS 4006 HAS SOUPS 4006 WITH SCORE 4021.085
AT ITER 7806 NEW BEST:: SOT 22632 SOS 15063 HAS SOPS 15063 HAS SOUS 3989 HAS SOUPS 3989 WITH SCORE 4004.063
AT ITER 7944 NEW BEST:: SOT 22631 SOS 15062 HAS SOPS 15062 HAS SOUS 3987 HAS SOUPS 3987 WITH SCORE 4002.062
AT ITER 7954 NEW BEST:: SOT 22629 SOS 15058 HAS SOPS 15058 HAS SOUS 3983 HAS SOUPS 3983 WITH SCORE 3998.058
AT ITER 7973 NEW BEST:: SOT 22627 SOS 15059 HAS SOPS 15059 HAS SOUS 3977 HAS SOUPS 3977 WITH SCORE 3992.059
AT ITER 8015 NEW BEST:: SOT 22625 SOS 15053 HAS SOPS 15053 HAS SOUS 3973 HAS SOUPS 3973 WITH SCORE 3988.053
AT ITER 8071 NEW BEST:: SOT 22622 SOS 15050 HAS SOPS 15050 HAS SOUS 3967 HAS SOUPS 3967 WITH SCORE 3982.05
AT ITER 8116 NEW BEST:: SOT 22622 SOS 15048 HAS SOPS 15048 HAS SOUS 3965 HAS SOUPS 3965 WITH SCORE 3980.048
AT ITER 8130 NEW BEST:: SOT 22603 SOS 15002 HAS SOPS 15002 HAS SOUS 3916 HAS SOUPS 3916 WITH SCORE 3931.002
AT ITER 8141 NEW BEST:: SOT 22604 SOS 15000 HAS SOPS 15000 HAS SOUS 3914 HAS SOUPS 3914 WITH SCORE 3929.0
AT ITER 8195 NEW BEST:: SOT 22604 SOS 14997 HAS SOPS 14997 HAS SOUS 3914 HAS SOUPS 3914 WITH SCORE 3928.997
AT ITER 8205 NEW BEST:: SOT 22593 SOS 14986 HAS SOPS 14986 HAS SOUS 3892 HAS SOUPS 3892 WITH SCORE 3906.986
AT ITER 8208 NEW BEST:: SOT 22587 SOS 14974 HAS SOPS 14974 HAS SOUS 3880 HAS SOUPS 3880 WITH SCORE 3894.974
AT ITER 8279 NEW BEST:: SOT 22582 SOS 14966 HAS SOPS 14966 HAS SOUS 3872 HAS SOUPS 3872 WITH SCORE 3886.966
AT ITER 8299 NEW BEST:: SOT 22582 SOS 15044 HAS SOPS 15044 HAS SOUS 3868 HAS SOUPS 3868 WITH SCORE 3883.044
AT ITER 8584 NEW BEST:: SOT 22583 SOS 15048 HAS SOPS 15048 HAS SOUS 3867 HAS SOUPS 3867 WITH SCORE 3882.048
AT ITER 8632 NEW BEST:: SOT 22580 SOS 15043 HAS SOPS 15043 HAS SOUS 3862 HAS SOUPS 3862 WITH SCORE 3877.043
AT ITER 8662 NEW BEST:: SOT 22574 SOS 15016 HAS SOPS 15016 HAS SOUS 3857 HAS SOUPS 3857 WITH SCORE 3872.016
AT ITER 8742 NEW BEST:: SOT 22572 SOS 15002 HAS SOPS 15002 HAS SOUS 3857 HAS SOUPS 3857 WITH SCORE 3872.002
AT ITER 8793 NEW BEST:: SOT 22569 SOS 14999 HAS SOPS 14999 HAS SOUS 3853 HAS SOUPS 3853 WITH SCORE 3867.999
AT ITER 8812 NEW BEST:: SOT 22561 SOS 14993 HAS SOPS 14993 HAS SOUS 3850 HAS SOUPS 3850 WITH SCORE 3864.993
AT ITER 8870 NEW BEST:: SOT 22564 SOS 15014 HAS SOPS 15014 HAS SOUS 3848 HAS SOUPS 3848 WITH SCORE 3863.014
AT ITER 8896 NEW BEST:: SOT 22560 SOS 15010 HAS SOPS 15010 HAS SOUS 3844 HAS SOUPS 3844 WITH SCORE 3859.01
AT ITER 8967 NEW BEST:: SOT 22558 SOS 15008 HAS SOPS 15008 HAS SOUS 3840 HAS SOUPS 3840 WITH SCORE 3855.008
AT ITER 9022 NEW BEST:: SOT 22558 SOS 15047 HAS SOPS 15047 HAS SOUS 3836 HAS SOUPS 3836 WITH SCORE 3851.047
AT ITER 9047 NEW BEST:: SOT 22558 SOS 15047 HAS SOPS 15047 HAS SOUS 3830 HAS SOUPS 3830 WITH SCORE 3845.047
AT ITER 9076 NEW BEST:: SOT 22559 SOS 15047 HAS SOPS 15047 HAS SOUS 3829 HAS SOUPS 3829 WITH SCORE 3844.047
AT ITER 9089 NEW BEST:: SOT 22558 SOS 15046 HAS SOPS 15046 HAS SOUS 3828 HAS SOUPS 3828 WITH SCORE 3843.046
AT ITER 9140 NEW BEST:: SOT 22555 SOS 15040 HAS SOPS 15040 HAS SOUS 3825 HAS SOUPS 3825 WITH SCORE 3840.04
AT ITER 9188 NEW BEST:: SOT 22555 SOS 14837 HAS SOPS 14837 HAS SOUS 3818 HAS SOUPS 3818 WITH SCORE 3832.837
AT ITER 9193 NEW BEST:: SOT 22554 SOS 14836 HAS SOPS 14836 HAS SOUS 3814 HAS SOUPS 3814 WITH SCORE 3828.836
AT ITER 9194 NEW BEST:: SOT 22541 SOS 15024 HAS SOPS 15024 HAS SOUS 3806 HAS SOUPS 3806 WITH SCORE 3821.024
AT ITER 9260 NEW BEST:: SOT 22540 SOS 15023 HAS SOPS 15023 HAS SOUS 3804 HAS SOUPS 3804 WITH SCORE 3819.023
AT ITER 9263 NEW BEST:: SOT 22540 SOS 15022 HAS SOPS 15022 HAS SOUS 3803 HAS SOUPS 3803 WITH SCORE 3818.022
AT ITER 9334 NEW BEST:: SOT 22539 SOS 15021 HAS SOPS 15021 HAS SOUS 3801 HAS SOUPS 3801 WITH SCORE 3816.021
AT ITER 9335 NEW BEST:: SOT 22555 SOS 15037 HAS SOPS 15037 HAS SOUS 3794 HAS SOUPS 3794 WITH SCORE 3809.037
AT ITER 9353 NEW BEST:: SOT 22554 SOS 15033 HAS SOPS 15033 HAS SOUS 3790 HAS SOUPS 3790 WITH SCORE 3805.033
AT ITER 9391 NEW BEST:: SOT 22552 SOS 15025 HAS SOPS 15025 HAS SOUS 3788 HAS SOUPS 3788 WITH SCORE 3803.025
AT ITER 9471 NEW BEST:: SOT 22551 SOS 15024 HAS SOPS 15024 HAS SOUS 3786 HAS SOUPS 3786 WITH SCORE 3801.024
AT ITER 9700 NEW BEST:: SOT 22558 SOS 15026 HAS SOPS 15026 HAS SOUS 3784 HAS SOUPS 3784 WITH SCORE 3799.026
AT ITER 9737 NEW BEST:: SOT 22557 SOS 15025 HAS SOPS 15025 HAS SOUS 3782 HAS SOUPS 3782 WITH SCORE 3797.025
AT ITER 9765 NEW BEST:: SOT 22556 SOS 15024 HAS SOPS 15024 HAS SOUS 3780 HAS SOUPS 3780 WITH SCORE 3795.024
AT ITER 9885 NEW BEST:: SOT 22556 SOS 15022 HAS SOPS 15022 HAS SOUS 3780 HAS SOUPS 3780 WITH SCORE 3795.022
AT ITER 9918 NEW BEST:: SOT 22548 SOS 15015 HAS SOPS 15015 HAS SOUS 3778 HAS SOUPS 3778 WITH SCORE 3793.015
AT ITER 9981 NEW BEST:: SOT 22545 SOS 15012 HAS SOPS 15012 HAS SOUS 3772 HAS SOUPS 3772 WITH SCORE 3787.012
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393928 kB
MemFree: 1816244 kB
After kill :
MemTotal: 16393928 kB
MemFree: 16156668 kB

BK_TIME_CONFINEMENT_REACHED

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

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="DES-PT-30a"
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 DES-PT-30a, 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 r099-tall-167814472400448"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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