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.r003-oct2-167813591100608.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 smart
Input is AutonomousCar-PT-05b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-oct2-167813591100608
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 568K
-rw-r--r-- 1 mcc users 6.5K Feb 25 12:56 CTLCardinality.txt
-rw-r--r-- 1 mcc users 71K Feb 25 12:56 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 25 12:56 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 25 12:56 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:33 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Feb 25 15:33 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 12:57 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 113K Feb 25 12:57 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Feb 25 12:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 25 12:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:34 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:34 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 159K 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 1678474036834

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=AutonomousCar-PT-05b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutonomousCar (PT), instance 05b
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: 255 places, 490 transitions, 2527 arcs.
AT ITER 0 NEW BEST:: SOT 88714 SOS 28167 HAS SOPS 28167 HAS SOUS 14379 HAS SOUPS 14379 WITH SCORE 14407.167
AT ITER 10 NEW BEST:: SOT 88715 SOS 28134 HAS SOPS 28134 HAS SOUS 14363 HAS SOUPS 14363 WITH SCORE 14391.134
AT ITER 18 NEW BEST:: SOT 88499 SOS 27891 HAS SOPS 27891 HAS SOUS 14240 HAS SOUPS 14240 WITH SCORE 14267.891
AT ITER 44 NEW BEST:: SOT 88438 SOS 27819 HAS SOPS 27819 HAS SOUS 14168 HAS SOUPS 14168 WITH SCORE 14195.819
AT ITER 54 NEW BEST:: SOT 88474 SOS 27771 HAS SOPS 27771 HAS SOUS 14119 HAS SOUPS 14119 WITH SCORE 14146.771
AT ITER 57 NEW BEST:: SOT 88454 SOS 27731 HAS SOPS 27731 HAS SOUS 14079 HAS SOUPS 14079 WITH SCORE 14106.731
AT ITER 71 NEW BEST:: SOT 88454 SOS 27704 HAS SOPS 27704 HAS SOUS 14079 HAS SOUPS 14079 WITH SCORE 14106.704
AT ITER 79 NEW BEST:: SOT 88386 SOS 27636 HAS SOPS 27636 HAS SOUS 14011 HAS SOUPS 14011 WITH SCORE 14038.636
AT ITER 101 NEW BEST:: SOT 88377 SOS 27596 HAS SOPS 27596 HAS SOUS 13875 HAS SOUPS 13875 WITH SCORE 13902.596
AT ITER 103 NEW BEST:: SOT 88322 SOS 27576 HAS SOPS 27576 HAS SOUS 13824 HAS SOUPS 13824 WITH SCORE 13851.576
AT ITER 160 NEW BEST:: SOT 87603 SOS 29166 HAS SOPS 29166 HAS SOUS 13222 HAS SOUPS 13222 WITH SCORE 13251.166
AT ITER 162 NEW BEST:: SOT 87590 SOS 29152 HAS SOPS 29152 HAS SOUS 13208 HAS SOUPS 13208 WITH SCORE 13237.152
AT ITER 174 NEW BEST:: SOT 87570 SOS 28312 HAS SOPS 28312 HAS SOUS 13207 HAS SOUPS 13207 WITH SCORE 13235.312
AT ITER 175 NEW BEST:: SOT 87570 SOS 28301 HAS SOPS 28301 HAS SOUS 13207 HAS SOUPS 13207 WITH SCORE 13235.301
AT ITER 200 NEW BEST:: SOT 87560 SOS 28281 HAS SOPS 28281 HAS SOUS 13202 HAS SOUPS 13202 WITH SCORE 13230.281
AT ITER 208 NEW BEST:: SOT 87559 SOS 28241 HAS SOPS 28241 HAS SOUS 13202 HAS SOUPS 13202 WITH SCORE 13230.241
AT ITER 224 NEW BEST:: SOT 87742 SOS 28494 HAS SOPS 28494 HAS SOUS 13147 HAS SOUPS 13147 WITH SCORE 13175.494
AT ITER 233 NEW BEST:: SOT 87723 SOS 28488 HAS SOPS 28488 HAS SOUS 13097 HAS SOUPS 13097 WITH SCORE 13125.488
AT ITER 237 NEW BEST:: SOT 87719 SOS 28480 HAS SOPS 28480 HAS SOUS 13089 HAS SOUPS 13089 WITH SCORE 13117.48
AT ITER 245 NEW BEST:: SOT 87714 SOS 28485 HAS SOPS 28485 HAS SOUS 13084 HAS SOUPS 13084 WITH SCORE 13112.485
AT ITER 258 NEW BEST:: SOT 87714 SOS 28478 HAS SOPS 28478 HAS SOUS 13077 HAS SOUPS 13077 WITH SCORE 13105.478
AT ITER 259 NEW BEST:: SOT 87714 SOS 28474 HAS SOPS 28474 HAS SOUS 13077 HAS SOUPS 13077 WITH SCORE 13105.474
AT ITER 261 NEW BEST:: SOT 87719 SOS 28430 HAS SOPS 28430 HAS SOUS 13067 HAS SOUPS 13067 WITH SCORE 13095.43
AT ITER 275 NEW BEST:: SOT 87708 SOS 28408 HAS SOPS 28408 HAS SOUS 13045 HAS SOUPS 13045 WITH SCORE 13073.408
AT ITER 285 NEW BEST:: SOT 87628 SOS 28318 HAS SOPS 28318 HAS SOUS 12977 HAS SOUPS 12977 WITH SCORE 13005.318
AT ITER 295 NEW BEST:: SOT 87589 SOS 28722 HAS SOPS 28722 HAS SOUS 12967 HAS SOUPS 12967 WITH SCORE 12995.722
AT ITER 302 NEW BEST:: SOT 87573 SOS 28705 HAS SOPS 28705 HAS SOUS 12950 HAS SOUPS 12950 WITH SCORE 12978.705
AT ITER 312 NEW BEST:: SOT 87543 SOS 28667 HAS SOPS 28667 HAS SOUS 12931 HAS SOUPS 12931 WITH SCORE 12959.667
AT ITER 313 NEW BEST:: SOT 87537 SOS 28655 HAS SOPS 28655 HAS SOUS 12919 HAS SOUPS 12919 WITH SCORE 12947.655
AT ITER 321 NEW BEST:: SOT 87533 SOS 28647 HAS SOPS 28647 HAS SOUS 12911 HAS SOUPS 12911 WITH SCORE 12939.647
AT ITER 334 NEW BEST:: SOT 87528 SOS 28600 HAS SOPS 28600 HAS SOUS 12864 HAS SOUPS 12864 WITH SCORE 12892.6
AT ITER 339 NEW BEST:: SOT 87521 SOS 28593 HAS SOPS 28593 HAS SOUS 12848 HAS SOUPS 12848 WITH SCORE 12876.593
AT ITER 349 NEW BEST:: SOT 87520 SOS 28592 HAS SOPS 28592 HAS SOUS 12847 HAS SOUPS 12847 WITH SCORE 12875.592
AT ITER 363 NEW BEST:: SOT 87480 SOS 28552 HAS SOPS 28552 HAS SOUS 12804 HAS SOUPS 12804 WITH SCORE 12832.552
AT ITER 368 NEW BEST:: SOT 87480 SOS 28552 HAS SOPS 28552 HAS SOUS 12802 HAS SOUPS 12802 WITH SCORE 12830.552
AT ITER 409 NEW BEST:: SOT 87483 SOS 28507 HAS SOPS 28507 HAS SOUS 12802 HAS SOUPS 12802 WITH SCORE 12830.507
AT ITER 421 NEW BEST:: SOT 87464 SOS 28529 HAS SOPS 28529 HAS SOUS 12783 HAS SOUPS 12783 WITH SCORE 12811.529
AT ITER 432 NEW BEST:: SOT 87464 SOS 28529 HAS SOPS 28529 HAS SOUS 12763 HAS SOUPS 12763 WITH SCORE 12791.529
AT ITER 436 NEW BEST:: SOT 87456 SOS 28365 HAS SOPS 28365 HAS SOUS 12755 HAS SOUPS 12755 WITH SCORE 12783.365
AT ITER 443 NEW BEST:: SOT 87456 SOS 28348 HAS SOPS 28348 HAS SOUS 12738 HAS SOUPS 12738 WITH SCORE 12766.348
AT ITER 465 NEW BEST:: SOT 87455 SOS 28346 HAS SOPS 28346 HAS SOUS 12736 HAS SOUPS 12736 WITH SCORE 12764.346
AT ITER 527 NEW BEST:: SOT 87445 SOS 28336 HAS SOPS 28336 HAS SOUS 12716 HAS SOUPS 12716 WITH SCORE 12744.336
AT ITER 537 NEW BEST:: SOT 87445 SOS 28336 HAS SOPS 28336 HAS SOUS 12715 HAS SOUPS 12715 WITH SCORE 12743.336
AT ITER 543 NEW BEST:: SOT 87429 SOS 28304 HAS SOPS 28304 HAS SOUS 12710 HAS SOUPS 12710 WITH SCORE 12738.304
AT ITER 551 NEW BEST:: SOT 87410 SOS 28285 HAS SOPS 28285 HAS SOUS 12691 HAS SOUPS 12691 WITH SCORE 12719.285
AT ITER 565 NEW BEST:: SOT 87414 SOS 28268 HAS SOPS 28268 HAS SOUS 12655 HAS SOUPS 12655 WITH SCORE 12683.268
AT ITER 574 NEW BEST:: SOT 87324 SOS 28159 HAS SOPS 28159 HAS SOUS 12607 HAS SOUPS 12607 WITH SCORE 12635.159
AT ITER 577 NEW BEST:: SOT 87294 SOS 28089 HAS SOPS 28089 HAS SOUS 12567 HAS SOUPS 12567 WITH SCORE 12595.089
AT ITER 582 NEW BEST:: SOT 87292 SOS 28087 HAS SOPS 28087 HAS SOUS 12565 HAS SOUPS 12565 WITH SCORE 12593.087
AT ITER 615 NEW BEST:: SOT 87291 SOS 28085 HAS SOPS 28085 HAS SOUS 12563 HAS SOUPS 12563 WITH SCORE 12591.085
AT ITER 629 NEW BEST:: SOT 87297 SOS 28085 HAS SOPS 28085 HAS SOUS 12557 HAS SOUPS 12557 WITH SCORE 12585.085
AT ITER 639 NEW BEST:: SOT 87269 SOS 28049 HAS SOPS 28049 HAS SOUS 12509 HAS SOUPS 12509 WITH SCORE 12537.049
AT ITER 645 NEW BEST:: SOT 87276 SOS 28063 HAS SOPS 28063 HAS SOUS 12493 HAS SOUPS 12493 WITH SCORE 12521.063
AT ITER 681 NEW BEST:: SOT 87283 SOS 28059 HAS SOPS 28059 HAS SOUS 12489 HAS SOUPS 12489 WITH SCORE 12517.059
AT ITER 684 NEW BEST:: SOT 87265 SOS 28023 HAS SOPS 28023 HAS SOUS 12438 HAS SOUPS 12438 WITH SCORE 12466.023
AT ITER 690 NEW BEST:: SOT 87242 SOS 27977 HAS SOPS 27977 HAS SOUS 12392 HAS SOUPS 12392 WITH SCORE 12419.977
AT ITER 692 NEW BEST:: SOT 87242 SOS 27973 HAS SOPS 27973 HAS SOUS 12386 HAS SOUPS 12386 WITH SCORE 12413.973
AT ITER 696 NEW BEST:: SOT 87221 SOS 27981 HAS SOPS 27981 HAS SOUS 12369 HAS SOUPS 12369 WITH SCORE 12396.981
AT ITER 699 NEW BEST:: SOT 87213 SOS 27973 HAS SOPS 27973 HAS SOUS 12361 HAS SOUPS 12361 WITH SCORE 12388.973
AT ITER 700 NEW BEST:: SOT 87213 SOS 27973 HAS SOPS 27973 HAS SOUS 12327 HAS SOUPS 12327 WITH SCORE 12354.973
AT ITER 701 NEW BEST:: SOT 87212 SOS 27971 HAS SOPS 27971 HAS SOUS 12325 HAS SOUPS 12325 WITH SCORE 12352.971
AT ITER 718 NEW BEST:: SOT 87266 SOS 27963 HAS SOPS 27963 HAS SOUS 12321 HAS SOUPS 12321 WITH SCORE 12348.963
AT ITER 728 NEW BEST:: SOT 87266 SOS 27946 HAS SOPS 27946 HAS SOUS 12321 HAS SOUPS 12321 WITH SCORE 12348.946
AT ITER 733 NEW BEST:: SOT 87255 SOS 27924 HAS SOPS 27924 HAS SOUS 12299 HAS SOUPS 12299 WITH SCORE 12326.924
AT ITER 761 NEW BEST:: SOT 87254 SOS 27922 HAS SOPS 27922 HAS SOUS 12297 HAS SOUPS 12297 WITH SCORE 12324.922
AT ITER 767 NEW BEST:: SOT 87258 SOS 27930 HAS SOPS 27930 HAS SOUS 12283 HAS SOUPS 12283 WITH SCORE 12310.93
AT ITER 776 NEW BEST:: SOT 87260 SOS 27934 HAS SOPS 27934 HAS SOUS 12271 HAS SOUPS 12271 WITH SCORE 12298.934
AT ITER 788 NEW BEST:: SOT 87251 SOS 27916 HAS SOPS 27916 HAS SOUS 12253 HAS SOUPS 12253 WITH SCORE 12280.916
AT ITER 801 NEW BEST:: SOT 87224 SOS 27884 HAS SOPS 27884 HAS SOUS 12215 HAS SOUPS 12215 WITH SCORE 12242.884
AT ITER 814 NEW BEST:: SOT 87199 SOS 27834 HAS SOPS 27834 HAS SOUS 12190 HAS SOUPS 12190 WITH SCORE 12217.834
AT ITER 836 NEW BEST:: SOT 87191 SOS 27830 HAS SOPS 27830 HAS SOUS 12186 HAS SOUPS 12186 WITH SCORE 12213.83
AT ITER 839 NEW BEST:: SOT 87191 SOS 27813 HAS SOPS 27813 HAS SOUS 12186 HAS SOUPS 12186 WITH SCORE 12213.813
AT ITER 857 NEW BEST:: SOT 87065 SOS 27645 HAS SOPS 27645 HAS SOUS 12161 HAS SOUPS 12161 WITH SCORE 12188.645
AT ITER 866 NEW BEST:: SOT 87062 SOS 27601 HAS SOPS 27601 HAS SOUS 12157 HAS SOUPS 12157 WITH SCORE 12184.601
AT ITER 869 NEW BEST:: SOT 87032 SOS 27603 HAS SOPS 27603 HAS SOUS 12127 HAS SOUPS 12127 WITH SCORE 12154.603
AT ITER 874 NEW BEST:: SOT 87041 SOS 27621 HAS SOPS 27621 HAS SOUS 12104 HAS SOUPS 12104 WITH SCORE 12131.621
AT ITER 890 NEW BEST:: SOT 87041 SOS 27617 HAS SOPS 27617 HAS SOUS 12100 HAS SOUPS 12100 WITH SCORE 12127.617
AT ITER 893 NEW BEST:: SOT 87028 SOS 27604 HAS SOPS 27604 HAS SOUS 12087 HAS SOUPS 12087 WITH SCORE 12114.604
AT ITER 903 NEW BEST:: SOT 87024 SOS 27596 HAS SOPS 27596 HAS SOUS 12023 HAS SOUPS 12023 WITH SCORE 12050.596
AT ITER 912 NEW BEST:: SOT 87072 SOS 27587 HAS SOPS 27587 HAS SOUS 12014 HAS SOUPS 12014 WITH SCORE 12041.587
AT ITER 943 NEW BEST:: SOT 87055 SOS 27553 HAS SOPS 27553 HAS SOUS 11975 HAS SOUPS 11975 WITH SCORE 12002.553
AT ITER 944 NEW BEST:: SOT 87034 SOS 27555 HAS SOPS 27555 HAS SOUS 11965 HAS SOUPS 11965 WITH SCORE 11992.555
AT ITER 992 NEW BEST:: SOT 86837 SOS 27334 HAS SOPS 27334 HAS SOUS 11933 HAS SOUPS 11933 WITH SCORE 11960.334
AT ITER 1016 NEW BEST:: SOT 86837 SOS 27334 HAS SOPS 27334 HAS SOUS 11897 HAS SOUPS 11897 WITH SCORE 11924.334
AT ITER 1033 NEW BEST:: SOT 86837 SOS 27334 HAS SOPS 27334 HAS SOUS 11880 HAS SOUPS 11880 WITH SCORE 11907.334
AT ITER 1040 NEW BEST:: SOT 86829 SOS 27318 HAS SOPS 27318 HAS SOUS 11864 HAS SOUPS 11864 WITH SCORE 11891.318
AT ITER 1048 NEW BEST:: SOT 86821 SOS 27320 HAS SOPS 27320 HAS SOUS 11862 HAS SOUPS 11862 WITH SCORE 11889.32
AT ITER 1049 NEW BEST:: SOT 86814 SOS 27306 HAS SOPS 27306 HAS SOUS 11848 HAS SOUPS 11848 WITH SCORE 11875.306
AT ITER 1067 NEW BEST:: SOT 86814 SOS 27303 HAS SOPS 27303 HAS SOUS 11845 HAS SOUPS 11845 WITH SCORE 11872.303
AT ITER 1073 NEW BEST:: SOT 86808 SOS 27300 HAS SOPS 27300 HAS SOUS 11842 HAS SOUPS 11842 WITH SCORE 11869.3
AT ITER 1210 NEW BEST:: SOT 86817 SOS 27318 HAS SOPS 27318 HAS SOUS 11815 HAS SOUPS 11815 WITH SCORE 11842.318
AT ITER 1212 NEW BEST:: SOT 86817 SOS 27315 HAS SOPS 27315 HAS SOUS 11812 HAS SOUPS 11812 WITH SCORE 11839.315
AT ITER 1222 NEW BEST:: SOT 86808 SOS 27279 HAS SOPS 27279 HAS SOUS 11776 HAS SOUPS 11776 WITH SCORE 11803.279
AT ITER 1305 NEW BEST:: SOT 86808 SOS 27225 HAS SOPS 27225 HAS SOUS 11744 HAS SOUPS 11744 WITH SCORE 11771.225
AT ITER 1311 NEW BEST:: SOT 86680 SOS 27057 HAS SOPS 27057 HAS SOUS 11730 HAS SOUPS 11730 WITH SCORE 11757.057
AT ITER 1316 NEW BEST:: SOT 86672 SOS 27041 HAS SOPS 27041 HAS SOUS 11714 HAS SOUPS 11714 WITH SCORE 11741.041
AT ITER 1367 NEW BEST:: SOT 86672 SOS 27036 HAS SOPS 27036 HAS SOUS 11714 HAS SOUPS 11714 WITH SCORE 11741.036
AT ITER 1378 NEW BEST:: SOT 86652 SOS 27051 HAS SOPS 27051 HAS SOUS 11710 HAS SOUPS 11710 WITH SCORE 11737.051
AT ITER 1427 NEW BEST:: SOT 86644 SOS 27043 HAS SOPS 27043 HAS SOUS 11702 HAS SOUPS 11702 WITH SCORE 11729.043
AT ITER 1430 NEW BEST:: SOT 86634 SOS 27033 HAS SOPS 27033 HAS SOUS 11682 HAS SOUPS 11682 WITH SCORE 11709.033
AT ITER 1435 NEW BEST:: SOT 86609 SOS 26997 HAS SOPS 26997 HAS SOUS 11675 HAS SOUPS 11675 WITH SCORE 11701.997
AT ITER 1443 NEW BEST:: SOT 86596 SOS 26971 HAS SOPS 26971 HAS SOUS 11643 HAS SOUPS 11643 WITH SCORE 11669.971
AT ITER 1459 NEW BEST:: SOT 86597 SOS 26992 HAS SOPS 26992 HAS SOUS 11633 HAS SOUPS 11633 WITH SCORE 11659.992
AT ITER 1475 NEW BEST:: SOT 86583 SOS 26316 HAS SOPS 26316 HAS SOUS 11620 HAS SOUPS 11620 WITH SCORE 11646.316
AT ITER 1485 NEW BEST:: SOT 86492 SOS 26210 HAS SOPS 26210 HAS SOUS 11476 HAS SOUPS 11476 WITH SCORE 11502.21
AT ITER 1510 NEW BEST:: SOT 86487 SOS 26205 HAS SOPS 26205 HAS SOUS 11471 HAS SOUPS 11471 WITH SCORE 11497.205
AT ITER 1523 NEW BEST:: SOT 86482 SOS 26195 HAS SOPS 26195 HAS SOUS 11461 HAS SOUPS 11461 WITH SCORE 11487.195
AT ITER 1552 NEW BEST:: SOT 86473 SOS 26194 HAS SOPS 26194 HAS SOUS 11460 HAS SOUPS 11460 WITH SCORE 11486.194
AT ITER 1570 NEW BEST:: SOT 86450 SOS 25205 HAS SOPS 25205 HAS SOUS 11405 HAS SOUPS 11405 WITH SCORE 11430.205
AT ITER 1579 NEW BEST:: SOT 86449 SOS 25203 HAS SOPS 25203 HAS SOUS 11403 HAS SOUPS 11403 WITH SCORE 11428.203
AT ITER 1624 NEW BEST:: SOT 86443 SOS 25191 HAS SOPS 25191 HAS SOUS 11392 HAS SOUPS 11392 WITH SCORE 11417.191
AT ITER 1647 NEW BEST:: SOT 86427 SOS 25303 HAS SOPS 25303 HAS SOUS 11384 HAS SOUPS 11384 WITH SCORE 11409.303
AT ITER 1671 NEW BEST:: SOT 86425 SOS 25299 HAS SOPS 25299 HAS SOUS 11380 HAS SOUPS 11380 WITH SCORE 11405.299
AT ITER 1689 NEW BEST:: SOT 86383 SOS 25167 HAS SOPS 25167 HAS SOUS 11306 HAS SOUPS 11306 WITH SCORE 11331.167
AT ITER 1700 NEW BEST:: SOT 86388 SOS 25149 HAS SOPS 25149 HAS SOUS 11292 HAS SOUPS 11292 WITH SCORE 11317.149
AT ITER 1711 NEW BEST:: SOT 86384 SOS 25141 HAS SOPS 25141 HAS SOUS 11284 HAS SOUPS 11284 WITH SCORE 11309.141
AT ITER 1721 NEW BEST:: SOT 86398 SOS 25197 HAS SOPS 25197 HAS SOUS 11242 HAS SOUPS 11242 WITH SCORE 11267.197
AT ITER 1739 NEW BEST:: SOT 86389 SOS 25188 HAS SOPS 25188 HAS SOUS 11233 HAS SOUPS 11233 WITH SCORE 11258.188
AT ITER 1751 NEW BEST:: SOT 86384 SOS 25164 HAS SOPS 25164 HAS SOUS 11230 HAS SOUPS 11230 WITH SCORE 11255.164
AT ITER 1759 NEW BEST:: SOT 86358 SOS 25138 HAS SOPS 25138 HAS SOUS 11204 HAS SOUPS 11204 WITH SCORE 11229.138
AT ITER 1763 NEW BEST:: SOT 86346 SOS 25102 HAS SOPS 25102 HAS SOUS 11192 HAS SOUPS 11192 WITH SCORE 11217.102
AT ITER 1785 NEW BEST:: SOT 86351 SOS 25087 HAS SOPS 25087 HAS SOUS 11188 HAS SOUPS 11188 WITH SCORE 11213.087
AT ITER 1788 NEW BEST:: SOT 86344 SOS 25073 HAS SOPS 25073 HAS SOUS 11174 HAS SOUPS 11174 WITH SCORE 11199.073
AT ITER 1799 NEW BEST:: SOT 86334 SOS 25063 HAS SOPS 25063 HAS SOUS 11154 HAS SOUPS 11154 WITH SCORE 11179.063
AT ITER 1833 NEW BEST:: SOT 86333 SOS 25061 HAS SOPS 25061 HAS SOUS 11152 HAS SOUPS 11152 WITH SCORE 11177.061
AT ITER 1852 NEW BEST:: SOT 86323 SOS 25051 HAS SOPS 25051 HAS SOUS 11132 HAS SOUPS 11132 WITH SCORE 11157.051
AT ITER 1899 NEW BEST:: SOT 86323 SOS 25051 HAS SOPS 25051 HAS SOUS 11121 HAS SOUPS 11121 WITH SCORE 11146.051
AT ITER 1908 NEW BEST:: SOT 86323 SOS 25052 HAS SOPS 25052 HAS SOUS 11120 HAS SOUPS 11120 WITH SCORE 11145.052
AT ITER 1915 NEW BEST:: SOT 86241 SOS 24970 HAS SOPS 24970 HAS SOUS 11085 HAS SOUPS 11085 WITH SCORE 11109.97
AT ITER 1931 NEW BEST:: SOT 86240 SOS 24970 HAS SOPS 24970 HAS SOUS 11080 HAS SOUPS 11080 WITH SCORE 11104.97
AT ITER 1932 NEW BEST:: SOT 86235 SOS 24570 HAS SOPS 24570 HAS SOUS 11070 HAS SOUPS 11070 WITH SCORE 11094.57
AT ITER 1941 NEW BEST:: SOT 86235 SOS 24496 HAS SOPS 24496 HAS SOUS 11070 HAS SOUPS 11070 WITH SCORE 11094.496
AT ITER 1982 NEW BEST:: SOT 86215 SOS 24478 HAS SOPS 24478 HAS SOUS 11052 HAS SOUPS 11052 WITH SCORE 11076.478
AT ITER 1992 NEW BEST:: SOT 86206 SOS 24460 HAS SOPS 24460 HAS SOUS 11034 HAS SOUPS 11034 WITH SCORE 11058.46
AT ITER 2002 NEW BEST:: SOT 86206 SOS 24447 HAS SOPS 24447 HAS SOUS 11021 HAS SOUPS 11021 WITH SCORE 11045.447
AT ITER 2008 NEW BEST:: SOT 86207 SOS 24449 HAS SOPS 24449 HAS SOUS 11019 HAS SOUPS 11019 WITH SCORE 11043.449
AT ITER 2028 NEW BEST:: SOT 86207 SOS 24437 HAS SOPS 24437 HAS SOUS 11007 HAS SOUPS 11007 WITH SCORE 11031.437
AT ITER 2034 NEW BEST:: SOT 86205 SOS 24431 HAS SOPS 24431 HAS SOUS 10989 HAS SOUPS 10989 WITH SCORE 11013.431
AT ITER 2040 NEW BEST:: SOT 86205 SOS 24409 HAS SOPS 24409 HAS SOUS 10967 HAS SOUPS 10967 WITH SCORE 10991.409
AT ITER 2065 NEW BEST:: SOT 86195 SOS 24379 HAS SOPS 24379 HAS SOUS 10939 HAS SOUPS 10939 WITH SCORE 10963.379
AT ITER 2095 NEW BEST:: SOT 86194 SOS 24377 HAS SOPS 24377 HAS SOUS 10937 HAS SOUPS 10937 WITH SCORE 10961.377
AT ITER 2101 NEW BEST:: SOT 86143 SOS 24340 HAS SOPS 24340 HAS SOUS 10886 HAS SOUPS 10886 WITH SCORE 10910.34
AT ITER 2108 NEW BEST:: SOT 86130 SOS 24333 HAS SOPS 24333 HAS SOUS 10879 HAS SOUPS 10879 WITH SCORE 10903.333
AT ITER 2121 NEW BEST:: SOT 86099 SOS 24239 HAS SOPS 24239 HAS SOUS 10807 HAS SOUPS 10807 WITH SCORE 10831.239
AT ITER 2150 NEW BEST:: SOT 85869 SOS 23969 HAS SOPS 23969 HAS SOUS 10716 HAS SOUPS 10716 WITH SCORE 10739.969
AT ITER 2203 NEW BEST:: SOT 85882 SOS 23951 HAS SOPS 23951 HAS SOUS 10709 HAS SOUPS 10709 WITH SCORE 10732.951
AT ITER 2211 NEW BEST:: SOT 85881 SOS 23950 HAS SOPS 23950 HAS SOUS 10708 HAS SOUPS 10708 WITH SCORE 10731.95
AT ITER 2214 NEW BEST:: SOT 85821 SOS 23884 HAS SOPS 23884 HAS SOUS 10636 HAS SOUPS 10636 WITH SCORE 10659.884
AT ITER 2244 NEW BEST:: SOT 85819 SOS 23894 HAS SOPS 23894 HAS SOUS 10633 HAS SOUPS 10633 WITH SCORE 10656.894
AT ITER 2294 NEW BEST:: SOT 85735 SOS 23795 HAS SOPS 23795 HAS SOUS 10543 HAS SOUPS 10543 WITH SCORE 10566.795
AT ITER 2339 NEW BEST:: SOT 85729 SOS 23789 HAS SOPS 23789 HAS SOUS 10537 HAS SOUPS 10537 WITH SCORE 10560.789
AT ITER 2374 NEW BEST:: SOT 85716 SOS 23802 HAS SOPS 23802 HAS SOUS 10524 HAS SOUPS 10524 WITH SCORE 10547.802
AT ITER 2414 NEW BEST:: SOT 85716 SOS 23802 HAS SOPS 23802 HAS SOUS 10522 HAS SOUPS 10522 WITH SCORE 10545.802
AT ITER 2424 NEW BEST:: SOT 85715 SOS 23764 HAS SOPS 23764 HAS SOUS 10520 HAS SOUPS 10520 WITH SCORE 10543.764
AT ITER 2543 NEW BEST:: SOT 85695 SOS 23764 HAS SOPS 23764 HAS SOUS 10509 HAS SOUPS 10509 WITH SCORE 10532.764
AT ITER 2565 NEW BEST:: SOT 85692 SOS 23744 HAS SOPS 23744 HAS SOUS 10503 HAS SOUPS 10503 WITH SCORE 10526.744
AT ITER 2588 NEW BEST:: SOT 85628 SOS 23748 HAS SOPS 23748 HAS SOUS 10479 HAS SOUPS 10479 WITH SCORE 10502.748
AT ITER 2593 NEW BEST:: SOT 85608 SOS 24172 HAS SOPS 24172 HAS SOUS 10470 HAS SOUPS 10470 WITH SCORE 10494.172
AT ITER 2607 NEW BEST:: SOT 85617 SOS 24208 HAS SOPS 24208 HAS SOUS 10463 HAS SOUPS 10463 WITH SCORE 10487.208
AT ITER 2668 NEW BEST:: SOT 85582 SOS 23772 HAS SOPS 23772 HAS SOUS 10450 HAS SOUPS 10450 WITH SCORE 10473.772
AT ITER 2676 NEW BEST:: SOT 85578 SOS 23744 HAS SOPS 23744 HAS SOUS 10414 HAS SOUPS 10414 WITH SCORE 10437.744
AT ITER 2686 NEW BEST:: SOT 85574 SOS 23731 HAS SOPS 23731 HAS SOUS 10409 HAS SOUPS 10409 WITH SCORE 10432.731
AT ITER 2727 NEW BEST:: SOT 85567 SOS 23717 HAS SOPS 23717 HAS SOUS 10395 HAS SOUPS 10395 WITH SCORE 10418.717
AT ITER 2729 NEW BEST:: SOT 85567 SOS 23859 HAS SOPS 23859 HAS SOUS 10393 HAS SOUPS 10393 WITH SCORE 10416.859
AT ITER 2752 NEW BEST:: SOT 85566 SOS 23856 HAS SOPS 23856 HAS SOUS 10390 HAS SOUPS 10390 WITH SCORE 10413.856
AT ITER 2766 NEW BEST:: SOT 85563 SOS 23850 HAS SOPS 23850 HAS SOUS 10383 HAS SOUPS 10383 WITH SCORE 10406.85
AT ITER 2781 NEW BEST:: SOT 85561 SOS 23846 HAS SOPS 23846 HAS SOUS 10373 HAS SOUPS 10373 WITH SCORE 10396.846
AT ITER 2810 NEW BEST:: SOT 85556 SOS 23848 HAS SOPS 23848 HAS SOUS 10367 HAS SOUPS 10367 WITH SCORE 10390.848
AT ITER 2827 NEW BEST:: SOT 85546 SOS 23838 HAS SOPS 23838 HAS SOUS 10317 HAS SOUPS 10317 WITH SCORE 10340.838
AT ITER 2839 NEW BEST:: SOT 85559 SOS 23864 HAS SOPS 23864 HAS SOUS 10306 HAS SOUPS 10306 WITH SCORE 10329.864
AT ITER 2883 NEW BEST:: SOT 85559 SOS 23856 HAS SOPS 23856 HAS SOUS 10306 HAS SOUPS 10306 WITH SCORE 10329.856
AT ITER 2913 NEW BEST:: SOT 85550 SOS 23514 HAS SOPS 23514 HAS SOUS 10303 HAS SOUPS 10303 WITH SCORE 10326.514
AT ITER 2914 NEW BEST:: SOT 85550 SOS 23512 HAS SOPS 23512 HAS SOUS 10301 HAS SOUPS 10301 WITH SCORE 10324.512
AT ITER 2955 NEW BEST:: SOT 85548 SOS 23534 HAS SOPS 23534 HAS SOUS 10297 HAS SOUPS 10297 WITH SCORE 10320.534
AT ITER 2957 NEW BEST:: SOT 85547 SOS 23532 HAS SOPS 23532 HAS SOUS 10295 HAS SOUPS 10295 WITH SCORE 10318.532
AT ITER 3091 NEW BEST:: SOT 85547 SOS 23532 HAS SOPS 23532 HAS SOUS 10288 HAS SOUPS 10288 WITH SCORE 10311.532
AT ITER 3131 NEW BEST:: SOT 85550 SOS 23529 HAS SOPS 23529 HAS SOUS 10282 HAS SOUPS 10282 WITH SCORE 10305.529
AT ITER 3142 NEW BEST:: SOT 85576 SOS 23679 HAS SOPS 23679 HAS SOUS 10268 HAS SOUPS 10268 WITH SCORE 10291.679
AT ITER 3186 NEW BEST:: SOT 85570 SOS 23673 HAS SOPS 23673 HAS SOUS 10262 HAS SOUPS 10262 WITH SCORE 10285.673
AT ITER 3206 NEW BEST:: SOT 85567 SOS 23640 HAS SOPS 23640 HAS SOUS 10256 HAS SOUPS 10256 WITH SCORE 10279.64
AT ITER 3212 NEW BEST:: SOT 85565 SOS 23638 HAS SOPS 23638 HAS SOUS 10252 HAS SOUPS 10252 WITH SCORE 10275.638
AT ITER 3219 NEW BEST:: SOT 85560 SOS 23632 HAS SOPS 23632 HAS SOUS 10241 HAS SOUPS 10241 WITH SCORE 10264.632
AT ITER 3230 NEW BEST:: SOT 85537 SOS 23586 HAS SOPS 23586 HAS SOUS 10195 HAS SOUPS 10195 WITH SCORE 10218.586
AT ITER 3247 NEW BEST:: SOT 85551 SOS 23602 HAS SOPS 23602 HAS SOUS 10131 HAS SOUPS 10131 WITH SCORE 10154.602
AT ITER 3271 NEW BEST:: SOT 85539 SOS 23566 HAS SOPS 23566 HAS SOUS 10107 HAS SOUPS 10107 WITH SCORE 10130.566
AT ITER 3291 NEW BEST:: SOT 85539 SOS 23224 HAS SOPS 23224 HAS SOUS 10105 HAS SOUPS 10105 WITH SCORE 10128.224
AT ITER 3303 NEW BEST:: SOT 85532 SOS 23210 HAS SOPS 23210 HAS SOUS 10091 HAS SOUPS 10091 WITH SCORE 10114.21
AT ITER 3310 NEW BEST:: SOT 85497 SOS 23175 HAS SOPS 23175 HAS SOUS 10056 HAS SOUPS 10056 WITH SCORE 10079.175
AT ITER 3445 NEW BEST:: SOT 85492 SOS 22974 HAS SOPS 22974 HAS SOUS 10055 HAS SOUPS 10055 WITH SCORE 10077.974
AT ITER 3460 NEW BEST:: SOT 85445 SOS 22803 HAS SOPS 22803 HAS SOUS 10012 HAS SOUPS 10012 WITH SCORE 10034.803
AT ITER 3471 NEW BEST:: SOT 85428 SOS 22769 HAS SOPS 22769 HAS SOUS 9995 HAS SOUPS 9995 WITH SCORE 10017.769
AT ITER 3499 NEW BEST:: SOT 85441 SOS 22261 HAS SOPS 22261 HAS SOUS 9990 HAS SOUPS 9990 WITH SCORE 10012.261
AT ITER 3503 NEW BEST:: SOT 85439 SOS 22257 HAS SOPS 22257 HAS SOUS 9986 HAS SOUPS 9986 WITH SCORE 10008.257
AT ITER 3577 NEW BEST:: SOT 85436 SOS 22247 HAS SOPS 22247 HAS SOUS 9980 HAS SOUPS 9980 WITH SCORE 10002.247
AT ITER 3578 NEW BEST:: SOT 85412 SOS 22223 HAS SOPS 22223 HAS SOUS 9956 HAS SOUPS 9956 WITH SCORE 9978.223
AT ITER 3649 NEW BEST:: SOT 85408 SOS 22215 HAS SOPS 22215 HAS SOUS 9948 HAS SOUPS 9948 WITH SCORE 9970.215
AT ITER 3669 NEW BEST:: SOT 85407 SOS 22211 HAS SOPS 22211 HAS SOUS 9946 HAS SOUPS 9946 WITH SCORE 9968.211
AT ITER 3701 NEW BEST:: SOT 85407 SOS 22199 HAS SOPS 22199 HAS SOUS 9762 HAS SOUPS 9762 WITH SCORE 9784.199
AT ITER 3720 NEW BEST:: SOT 85404 SOS 22193 HAS SOPS 22193 HAS SOUS 9759 HAS SOUPS 9759 WITH SCORE 9781.193
AT ITER 3723 NEW BEST:: SOT 85395 SOS 22175 HAS SOPS 22175 HAS SOUS 9741 HAS SOUPS 9741 WITH SCORE 9763.175
AT ITER 3726 NEW BEST:: SOT 85384 SOS 22265 HAS SOPS 22265 HAS SOUS 9729 HAS SOUPS 9729 WITH SCORE 9751.265
AT ITER 3731 NEW BEST:: SOT 85336 SOS 22223 HAS SOPS 22223 HAS SOUS 9681 HAS SOUPS 9681 WITH SCORE 9703.223
AT ITER 3750 NEW BEST:: SOT 85330 SOS 22211 HAS SOPS 22211 HAS SOUS 9669 HAS SOUPS 9669 WITH SCORE 9691.211
AT ITER 3791 NEW BEST:: SOT 85266 SOS 23656 HAS SOPS 23656 HAS SOUS 9602 HAS SOUPS 9602 WITH SCORE 9625.656
AT ITER 3794 NEW BEST:: SOT 85266 SOS 23656 HAS SOPS 23656 HAS SOUS 9597 HAS SOUPS 9597 WITH SCORE 9620.656
AT ITER 3796 NEW BEST:: SOT 85242 SOS 23636 HAS SOPS 23636 HAS SOUS 9573 HAS SOUPS 9573 WITH SCORE 9596.636
AT ITER 3845 NEW BEST:: SOT 85225 SOS 23612 HAS SOPS 23612 HAS SOUS 9564 HAS SOUPS 9564 WITH SCORE 9587.612
AT ITER 3872 NEW BEST:: SOT 85217 SOS 23608 HAS SOPS 23608 HAS SOUS 9556 HAS SOUPS 9556 WITH SCORE 9579.608
AT ITER 3883 NEW BEST:: SOT 85206 SOS 23586 HAS SOPS 23586 HAS SOUS 9545 HAS SOUPS 9545 WITH SCORE 9568.586
AT ITER 3921 NEW BEST:: SOT 85202 SOS 23578 HAS SOPS 23578 HAS SOUS 9514 HAS SOUPS 9514 WITH SCORE 9537.578
AT ITER 3949 NEW BEST:: SOT 85199 SOS 23578 HAS SOPS 23578 HAS SOUS 9511 HAS SOUPS 9511 WITH SCORE 9534.578
AT ITER 3991 NEW BEST:: SOT 85196 SOS 23575 HAS SOPS 23575 HAS SOUS 9493 HAS SOUPS 9493 WITH SCORE 9516.575
AT ITER 3995 NEW BEST:: SOT 85198 SOS 23567 HAS SOPS 23567 HAS SOUS 9491 HAS SOUPS 9491 WITH SCORE 9514.567
AT ITER 4044 NEW BEST:: SOT 85198 SOS 23567 HAS SOPS 23567 HAS SOUS 9473 HAS SOUPS 9473 WITH SCORE 9496.567
AT ITER 4050 NEW BEST:: SOT 85179 SOS 23589 HAS SOPS 23589 HAS SOUS 9449 HAS SOUPS 9449 WITH SCORE 9472.589
AT ITER 4083 NEW BEST:: SOT 85176 SOS 23583 HAS SOPS 23583 HAS SOUS 9443 HAS SOUPS 9443 WITH SCORE 9466.583
AT ITER 4086 NEW BEST:: SOT 85096 SOS 23490 HAS SOPS 23490 HAS SOUS 9400 HAS SOUPS 9400 WITH SCORE 9423.49
AT ITER 4098 NEW BEST:: SOT 85096 SOS 23490 HAS SOPS 23490 HAS SOUS 9399 HAS SOUPS 9399 WITH SCORE 9422.49
AT ITER 4105 NEW BEST:: SOT 85066 SOS 23446 HAS SOPS 23446 HAS SOUS 9377 HAS SOUPS 9377 WITH SCORE 9400.446
AT ITER 4126 NEW BEST:: SOT 85072 SOS 23458 HAS SOPS 23458 HAS SOUS 9367 HAS SOUPS 9367 WITH SCORE 9390.458
AT ITER 4207 NEW BEST:: SOT 85072 SOS 23415 HAS SOPS 23415 HAS SOUS 9367 HAS SOUPS 9367 WITH SCORE 9390.415
AT ITER 4220 NEW BEST:: SOT 85068 SOS 23411 HAS SOPS 23411 HAS SOUS 9353 HAS SOUPS 9353 WITH SCORE 9376.411
AT ITER 4236 NEW BEST:: SOT 85062 SOS 23402 HAS SOPS 23402 HAS SOUS 9350 HAS SOUPS 9350 WITH SCORE 9373.402
AT ITER 4284 NEW BEST:: SOT 85057 SOS 23396 HAS SOPS 23396 HAS SOUS 9344 HAS SOUPS 9344 WITH SCORE 9367.396
AT ITER 4339 NEW BEST:: SOT 85055 SOS 23394 HAS SOPS 23394 HAS SOUS 9342 HAS SOUPS 9342 WITH SCORE 9365.394
AT ITER 4406 NEW BEST:: SOT 85055 SOS 23394 HAS SOPS 23394 HAS SOUS 9339 HAS SOUPS 9339 WITH SCORE 9362.394
AT ITER 4416 NEW BEST:: SOT 85027 SOS 23304 HAS SOPS 23304 HAS SOUS 9282 HAS SOUPS 9282 WITH SCORE 9305.304
AT ITER 4448 NEW BEST:: SOT 85014 SOS 23278 HAS SOPS 23278 HAS SOUS 9255 HAS SOUPS 9255 WITH SCORE 9278.278
AT ITER 4476 NEW BEST:: SOT 85016 SOS 23282 HAS SOPS 23282 HAS SOUS 9252 HAS SOUPS 9252 WITH SCORE 9275.282
AT ITER 4518 NEW BEST:: SOT 85016 SOS 23282 HAS SOPS 23282 HAS SOUS 9220 HAS SOUPS 9220 WITH SCORE 9243.282
AT ITER 4549 NEW BEST:: SOT 85004 SOS 23258 HAS SOPS 23258 HAS SOUS 9206 HAS SOUPS 9206 WITH SCORE 9229.258
AT ITER 4551 NEW BEST:: SOT 84998 SOS 23249 HAS SOPS 23249 HAS SOUS 9197 HAS SOUPS 9197 WITH SCORE 9220.249
AT ITER 4558 NEW BEST:: SOT 84991 SOS 23235 HAS SOPS 23235 HAS SOUS 9183 HAS SOUPS 9183 WITH SCORE 9206.235
AT ITER 4697 NEW BEST:: SOT 84989 SOS 23231 HAS SOPS 23231 HAS SOUS 9180 HAS SOUPS 9180 WITH SCORE 9203.231
AT ITER 4706 NEW BEST:: SOT 84983 SOS 23213 HAS SOPS 23213 HAS SOUS 9174 HAS SOUPS 9174 WITH SCORE 9197.213
AT ITER 4742 NEW BEST:: SOT 84936 SOS 23033 HAS SOPS 23033 HAS SOUS 9164 HAS SOUPS 9164 WITH SCORE 9187.033
AT ITER 4767 NEW BEST:: SOT 84935 SOS 23031 HAS SOPS 23031 HAS SOUS 9162 HAS SOUPS 9162 WITH SCORE 9185.031
AT ITER 4770 NEW BEST:: SOT 84935 SOS 23004 HAS SOPS 23004 HAS SOUS 9162 HAS SOUPS 9162 WITH SCORE 9185.004
AT ITER 4773 NEW BEST:: SOT 84932 SOS 22998 HAS SOPS 22998 HAS SOUS 9156 HAS SOUPS 9156 WITH SCORE 9178.998
AT ITER 4780 NEW BEST:: SOT 84932 SOS 23008 HAS SOPS 23008 HAS SOUS 9151 HAS SOUPS 9151 WITH SCORE 9174.008
AT ITER 4834 NEW BEST:: SOT 84933 SOS 23006 HAS SOPS 23006 HAS SOUS 9149 HAS SOUPS 9149 WITH SCORE 9172.006
AT ITER 4842 NEW BEST:: SOT 84929 SOS 22998 HAS SOPS 22998 HAS SOUS 9141 HAS SOUPS 9141 WITH SCORE 9163.998
AT ITER 4862 NEW BEST:: SOT 84920 SOS 22980 HAS SOPS 22980 HAS SOUS 9117 HAS SOUPS 9117 WITH SCORE 9139.98
AT ITER 4889 NEW BEST:: SOT 84932 SOS 22970 HAS SOPS 22970 HAS SOUS 9115 HAS SOUPS 9115 WITH SCORE 9137.97
AT ITER 4929 NEW BEST:: SOT 84932 SOS 22970 HAS SOPS 22970 HAS SOUS 9112 HAS SOUPS 9112 WITH SCORE 9134.97
AT ITER 4960 NEW BEST:: SOT 84932 SOS 22970 HAS SOPS 22970 HAS SOUS 9106 HAS SOUPS 9106 WITH SCORE 9128.97
AT ITER 4961 NEW BEST:: SOT 84924 SOS 22962 HAS SOPS 22962 HAS SOUS 9106 HAS SOUPS 9106 WITH SCORE 9128.962
AT ITER 4990 NEW BEST:: SOT 84923 SOS 22960 HAS SOPS 22960 HAS SOUS 9104 HAS SOUPS 9104 WITH SCORE 9126.96
AT ITER 4995 NEW BEST:: SOT 84886 SOS 22414 HAS SOPS 22414 HAS SOUS 9059 HAS SOUPS 9059 WITH SCORE 9081.414
AT ITER 5000 NEW BEST:: SOT 84889 SOS 22411 HAS SOPS 22411 HAS SOUS 9056 HAS SOUPS 9056 WITH SCORE 9078.411
AT ITER 5016 NEW BEST:: SOT 84888 SOS 22410 HAS SOPS 22410 HAS SOUS 9055 HAS SOUPS 9055 WITH SCORE 9077.41
AT ITER 5086 NEW BEST:: SOT 84884 SOS 22406 HAS SOPS 22406 HAS SOUS 9051 HAS SOUPS 9051 WITH SCORE 9073.406
AT ITER 5089 NEW BEST:: SOT 84877 SOS 22399 HAS SOPS 22399 HAS SOUS 9051 HAS SOUPS 9051 WITH SCORE 9073.399
AT ITER 5124 NEW BEST:: SOT 84871 SOS 22399 HAS SOPS 22399 HAS SOUS 9045 HAS SOUPS 9045 WITH SCORE 9067.399
AT ITER 5127 NEW BEST:: SOT 84875 SOS 20831 HAS SOPS 20831 HAS SOUS 9032 HAS SOUPS 9032 WITH SCORE 9052.831
AT ITER 5163 NEW BEST:: SOT 84875 SOS 20754 HAS SOPS 20754 HAS SOUS 9031 HAS SOUPS 9031 WITH SCORE 9051.754
AT ITER 5175 NEW BEST:: SOT 84873 SOS 20750 HAS SOPS 20750 HAS SOUS 9018 HAS SOUPS 9018 WITH SCORE 9038.75
AT ITER 5309 NEW BEST:: SOT 84874 SOS 20749 HAS SOPS 20749 HAS SOUS 9017 HAS SOUPS 9017 WITH SCORE 9037.749
AT ITER 5338 NEW BEST:: SOT 84872 SOS 20745 HAS SOPS 20745 HAS SOUS 9011 HAS SOUPS 9011 WITH SCORE 9031.745
AT ITER 5364 NEW BEST:: SOT 84873 SOS 20741 HAS SOPS 20741 HAS SOUS 9010 HAS SOUPS 9010 WITH SCORE 9030.741
AT ITER 5406 NEW BEST:: SOT 84869 SOS 21189 HAS SOPS 21189 HAS SOUS 9009 HAS SOUPS 9009 WITH SCORE 9030.189
AT ITER 5447 NEW BEST:: SOT 84869 SOS 21181 HAS SOPS 21181 HAS SOUS 9009 HAS SOUPS 9009 WITH SCORE 9030.181
AT ITER 5471 NEW BEST:: SOT 84869 SOS 21171 HAS SOPS 21171 HAS SOUS 9009 HAS SOUPS 9009 WITH SCORE 9030.171
AT ITER 5569 NEW BEST:: SOT 84850 SOS 21133 HAS SOPS 21133 HAS SOUS 8992 HAS SOUPS 8992 WITH SCORE 9013.133
AT ITER 5579 NEW BEST:: SOT 84842 SOS 21128 HAS SOPS 21128 HAS SOUS 8966 HAS SOUPS 8966 WITH SCORE 8987.128
AT ITER 5751 NEW BEST:: SOT 84839 SOS 21122 HAS SOPS 21122 HAS SOUS 8960 HAS SOUPS 8960 WITH SCORE 8981.122
AT ITER 5796 NEW BEST:: SOT 84794 SOS 21083 HAS SOPS 21083 HAS SOUS 8915 HAS SOUPS 8915 WITH SCORE 8936.083
AT ITER 5804 NEW BEST:: SOT 84794 SOS 21083 HAS SOPS 21083 HAS SOUS 8908 HAS SOUPS 8908 WITH SCORE 8929.083
AT ITER 5831 NEW BEST:: SOT 84813 SOS 21081 HAS SOPS 21081 HAS SOUS 8906 HAS SOUPS 8906 WITH SCORE 8927.081
AT ITER 5873 NEW BEST:: SOT 84784 SOS 21071 HAS SOPS 21071 HAS SOUS 8885 HAS SOUPS 8885 WITH SCORE 8906.071
AT ITER 5916 NEW BEST:: SOT 84784 SOS 21041 HAS SOPS 21041 HAS SOUS 8885 HAS SOUPS 8885 WITH SCORE 8906.041
AT ITER 5989 NEW BEST:: SOT 84776 SOS 21039 HAS SOPS 21039 HAS SOUS 8881 HAS SOUPS 8881 WITH SCORE 8902.039
AT ITER 6001 NEW BEST:: SOT 84776 SOS 21031 HAS SOPS 21031 HAS SOUS 8873 HAS SOUPS 8873 WITH SCORE 8894.031
AT ITER 6008 NEW BEST:: SOT 84810 SOS 21051 HAS SOPS 21051 HAS SOUS 8852 HAS SOUPS 8852 WITH SCORE 8873.051
AT ITER 6073 NEW BEST:: SOT 84786 SOS 20979 HAS SOPS 20979 HAS SOUS 8828 HAS SOUPS 8828 WITH SCORE 8848.979
AT ITER 6134 NEW BEST:: SOT 84785 SOS 20977 HAS SOPS 20977 HAS SOUS 8826 HAS SOUPS 8826 WITH SCORE 8846.977
AT ITER 6158 NEW BEST:: SOT 84797 SOS 21005 HAS SOPS 21005 HAS SOUS 8823 HAS SOUPS 8823 WITH SCORE 8844.005
AT ITER 6240 NEW BEST:: SOT 84807 SOS 21054 HAS SOPS 21054 HAS SOUS 8821 HAS SOUPS 8821 WITH SCORE 8842.054
AT ITER 6242 NEW BEST:: SOT 84798 SOS 21039 HAS SOPS 21039 HAS SOUS 8801 HAS SOUPS 8801 WITH SCORE 8822.039
AT ITER 6246 NEW BEST:: SOT 84645 SOS 20885 HAS SOPS 20885 HAS SOUS 8737 HAS SOUPS 8737 WITH SCORE 8757.885
AT ITER 6298 NEW BEST:: SOT 84639 SOS 20639 HAS SOPS 20639 HAS SOUS 8725 HAS SOUPS 8725 WITH SCORE 8745.639
AT ITER 6343 NEW BEST:: SOT 84639 SOS 20633 HAS SOPS 20633 HAS SOUS 8719 HAS SOUPS 8719 WITH SCORE 8739.633
AT ITER 6411 NEW BEST:: SOT 84641 SOS 20637 HAS SOPS 20637 HAS SOUS 8716 HAS SOUPS 8716 WITH SCORE 8736.637
AT ITER 6445 NEW BEST:: SOT 84633 SOS 20621 HAS SOPS 20621 HAS SOUS 8707 HAS SOUPS 8707 WITH SCORE 8727.621
AT ITER 6502 NEW BEST:: SOT 84631 SOS 20617 HAS SOPS 20617 HAS SOUS 8703 HAS SOUPS 8703 WITH SCORE 8723.617
AT ITER 6504 NEW BEST:: SOT 84631 SOS 20613 HAS SOPS 20613 HAS SOUS 8703 HAS SOUPS 8703 WITH SCORE 8723.613
AT ITER 6557 NEW BEST:: SOT 84628 SOS 20610 HAS SOPS 20610 HAS SOUS 8700 HAS SOUPS 8700 WITH SCORE 8720.61
AT ITER 6645 NEW BEST:: SOT 84631 SOS 20610 HAS SOPS 20610 HAS SOUS 8689 HAS SOUPS 8689 WITH SCORE 8709.61
AT ITER 6661 NEW BEST:: SOT 84630 SOS 20609 HAS SOPS 20609 HAS SOUS 8678 HAS SOUPS 8678 WITH SCORE 8698.609
AT ITER 6766 NEW BEST:: SOT 84585 SOS 20563 HAS SOPS 20563 HAS SOUS 8636 HAS SOUPS 8636 WITH SCORE 8656.563
AT ITER 6775 NEW BEST:: SOT 84585 SOS 20560 HAS SOPS 20560 HAS SOUS 8636 HAS SOUPS 8636 WITH SCORE 8656.56
AT ITER 6816 NEW BEST:: SOT 84582 SOS 20554 HAS SOPS 20554 HAS SOUS 8630 HAS SOUPS 8630 WITH SCORE 8650.554
AT ITER 6850 NEW BEST:: SOT 84576 SOS 20552 HAS SOPS 20552 HAS SOUS 8628 HAS SOUPS 8628 WITH SCORE 8648.552
AT ITER 6872 NEW BEST:: SOT 84576 SOS 20422 HAS SOPS 20422 HAS SOUS 8592 HAS SOUPS 8592 WITH SCORE 8612.422
AT ITER 6958 NEW BEST:: SOT 84573 SOS 20416 HAS SOPS 20416 HAS SOUS 8586 HAS SOUPS 8586 WITH SCORE 8606.416
AT ITER 6969 NEW BEST:: SOT 84572 SOS 20414 HAS SOPS 20414 HAS SOUS 8584 HAS SOUPS 8584 WITH SCORE 8604.414
AT ITER 6978 NEW BEST:: SOT 84577 SOS 20424 HAS SOPS 20424 HAS SOUS 8581 HAS SOUPS 8581 WITH SCORE 8601.424
AT ITER 6996 NEW BEST:: SOT 84576 SOS 20423 HAS SOPS 20423 HAS SOUS 8579 HAS SOUPS 8579 WITH SCORE 8599.423
AT ITER 7118 NEW BEST:: SOT 84570 SOS 20411 HAS SOPS 20411 HAS SOUS 8573 HAS SOUPS 8573 WITH SCORE 8593.411
AT ITER 7121 NEW BEST:: SOT 84570 SOS 20404 HAS SOPS 20404 HAS SOUS 8573 HAS SOUPS 8573 WITH SCORE 8593.404
AT ITER 7150 NEW BEST:: SOT 84565 SOS 20394 HAS SOPS 20394 HAS SOUS 8563 HAS SOUPS 8563 WITH SCORE 8583.394
AT ITER 7237 NEW BEST:: SOT 84572 SOS 20408 HAS SOPS 20408 HAS SOUS 8560 HAS SOUPS 8560 WITH SCORE 8580.408
AT ITER 7244 NEW BEST:: SOT 84570 SOS 20402 HAS SOPS 20402 HAS SOUS 8554 HAS SOUPS 8554 WITH SCORE 8574.402
AT ITER 7268 NEW BEST:: SOT 84569 SOS 20400 HAS SOPS 20400 HAS SOUS 8552 HAS SOUPS 8552 WITH SCORE 8572.4
AT ITER 7437 NEW BEST:: SOT 84566 SOS 20394 HAS SOPS 20394 HAS SOUS 8546 HAS SOUPS 8546 WITH SCORE 8566.394
AT ITER 7469 NEW BEST:: SOT 84564 SOS 20390 HAS SOPS 20390 HAS SOUS 8542 HAS SOUPS 8542 WITH SCORE 8562.39
AT ITER 7475 NEW BEST:: SOT 84562 SOS 20386 HAS SOPS 20386 HAS SOUS 8538 HAS SOUPS 8538 WITH SCORE 8558.386
AT ITER 7476 NEW BEST:: SOT 84550 SOS 20360 HAS SOPS 20360 HAS SOUS 8526 HAS SOUPS 8526 WITH SCORE 8546.36
AT ITER 7491 NEW BEST:: SOT 84554 SOS 20357 HAS SOPS 20357 HAS SOUS 8523 HAS SOUPS 8523 WITH SCORE 8543.357
AT ITER 7545 NEW BEST:: SOT 84553 SOS 20355 HAS SOPS 20355 HAS SOUS 8521 HAS SOUPS 8521 WITH SCORE 8541.355
AT ITER 7549 NEW BEST:: SOT 84549 SOS 20343 HAS SOPS 20343 HAS SOUS 8517 HAS SOUPS 8517 WITH SCORE 8537.343
AT ITER 7553 NEW BEST:: SOT 84551 SOS 20341 HAS SOPS 20341 HAS SOUS 8515 HAS SOUPS 8515 WITH SCORE 8535.341
AT ITER 7599 NEW BEST:: SOT 84551 SOS 19658 HAS SOPS 19658 HAS SOUS 8492 HAS SOUPS 8492 WITH SCORE 8511.658
AT ITER 7739 NEW BEST:: SOT 84550 SOS 19657 HAS SOPS 19657 HAS SOUS 8491 HAS SOUPS 8491 WITH SCORE 8510.657
AT ITER 7747 NEW BEST:: SOT 84560 SOS 19605 HAS SOPS 19605 HAS SOUS 8487 HAS SOUPS 8487 WITH SCORE 8506.605
AT ITER 7749 NEW BEST:: SOT 84553 SOS 19591 HAS SOPS 19591 HAS SOUS 8473 HAS SOUPS 8473 WITH SCORE 8492.591
AT ITER 7862 NEW BEST:: SOT 84543 SOS 19571 HAS SOPS 19571 HAS SOUS 8463 HAS SOUPS 8463 WITH SCORE 8482.571
AT ITER 7865 NEW BEST:: SOT 84541 SOS 19580 HAS SOPS 19580 HAS SOUS 8461 HAS SOUPS 8461 WITH SCORE 8480.58
AT ITER 7892 NEW BEST:: SOT 84534 SOS 19566 HAS SOPS 19566 HAS SOUS 8456 HAS SOUPS 8456 WITH SCORE 8475.566
AT ITER 7990 NEW BEST:: SOT 84534 SOS 19566 HAS SOPS 19566 HAS SOUS 8455 HAS SOUPS 8455 WITH SCORE 8474.566
AT ITER 8021 NEW BEST:: SOT 84534 SOS 19566 HAS SOPS 19566 HAS SOUS 8454 HAS SOUPS 8454 WITH SCORE 8473.566
AT ITER 8045 NEW BEST:: SOT 84587 SOS 19642 HAS SOPS 19642 HAS SOUS 8392 HAS SOUPS 8392 WITH SCORE 8411.642
AT ITER 8200 NEW BEST:: SOT 84587 SOS 19640 HAS SOPS 19640 HAS SOUS 8392 HAS SOUPS 8392 WITH SCORE 8411.64
AT ITER 8238 NEW BEST:: SOT 84594 SOS 19654 HAS SOPS 19654 HAS SOUS 8338 HAS SOUPS 8338 WITH SCORE 8357.654
AT ITER 8272 NEW BEST:: SOT 84558 SOS 19623 HAS SOPS 19623 HAS SOUS 8307 HAS SOUPS 8307 WITH SCORE 8326.623
AT ITER 8443 NEW BEST:: SOT 84556 SOS 19619 HAS SOPS 19619 HAS SOUS 8299 HAS SOUPS 8299 WITH SCORE 8318.619
AT ITER 8465 NEW BEST:: SOT 84555 SOS 19617 HAS SOPS 19617 HAS SOUS 8297 HAS SOUPS 8297 WITH SCORE 8316.617
AT ITER 8498 NEW BEST:: SOT 84555 SOS 19320 HAS SOPS 19320 HAS SOUS 8276 HAS SOUPS 8276 WITH SCORE 8295.32
AT ITER 8552 NEW BEST:: SOT 84554 SOS 19319 HAS SOPS 19319 HAS SOUS 8275 HAS SOUPS 8275 WITH SCORE 8294.319
AT ITER 8577 NEW BEST:: SOT 84545 SOS 19301 HAS SOPS 19301 HAS SOUS 8266 HAS SOUPS 8266 WITH SCORE 8285.301
AT ITER 8611 NEW BEST:: SOT 84545 SOS 19296 HAS SOPS 19296 HAS SOUS 8266 HAS SOUPS 8266 WITH SCORE 8285.296
AT ITER 8633 NEW BEST:: SOT 84542 SOS 19296 HAS SOPS 19296 HAS SOUS 8265 HAS SOUPS 8265 WITH SCORE 8284.296
AT ITER 8825 NEW BEST:: SOT 84540 SOS 19294 HAS SOPS 19294 HAS SOUS 8263 HAS SOUPS 8263 WITH SCORE 8282.294
AT ITER 8950 NEW BEST:: SOT 84541 SOS 19296 HAS SOPS 19296 HAS SOUS 8261 HAS SOUPS 8261 WITH SCORE 8280.296
AT ITER 8955 NEW BEST:: SOT 84544 SOS 21568 HAS SOPS 21568 HAS SOUS 8255 HAS SOUPS 8255 WITH SCORE 8276.568
AT ITER 8976 NEW BEST:: SOT 84544 SOS 21565 HAS SOPS 21565 HAS SOUS 8255 HAS SOUPS 8255 WITH SCORE 8276.565
AT ITER 9052 NEW BEST:: SOT 84521 SOS 21519 HAS SOPS 21519 HAS SOUS 8217 HAS SOUPS 8217 WITH SCORE 8238.519
AT ITER 9192 NEW BEST:: SOT 84516 SOS 21509 HAS SOPS 21509 HAS SOUS 8211 HAS SOUPS 8211 WITH SCORE 8232.509
AT ITER 9200 NEW BEST:: SOT 84516 SOS 21509 HAS SOPS 21509 HAS SOUS 8205 HAS SOUPS 8205 WITH SCORE 8226.509
AT ITER 9261 NEW BEST:: SOT 84496 SOS 21531 HAS SOPS 21531 HAS SOUS 8202 HAS SOUPS 8202 WITH SCORE 8223.531
AT ITER 9276 NEW BEST:: SOT 84496 SOS 21522 HAS SOPS 21522 HAS SOUS 8202 HAS SOUPS 8202 WITH SCORE 8223.522
AT ITER 9338 NEW BEST:: SOT 84495 SOS 21520 HAS SOPS 21520 HAS SOUS 8200 HAS SOUPS 8200 WITH SCORE 8221.52
AT ITER 9383 NEW BEST:: SOT 84490 SOS 21510 HAS SOPS 21510 HAS SOUS 8190 HAS SOUPS 8190 WITH SCORE 8211.51
AT ITER 9427 NEW BEST:: SOT 84490 SOS 21505 HAS SOPS 21505 HAS SOUS 8190 HAS SOUPS 8190 WITH SCORE 8211.505
AT ITER 9434 NEW BEST:: SOT 84481 SOS 21496 HAS SOPS 21496 HAS SOUS 8173 HAS SOUPS 8173 WITH SCORE 8194.496
AT ITER 9439 NEW BEST:: SOT 84478 SOS 21495 HAS SOPS 21495 HAS SOUS 8172 HAS SOUPS 8172 WITH SCORE 8193.495
AT ITER 9470 NEW BEST:: SOT 84446 SOS 21553 HAS SOPS 21553 HAS SOUS 8158 HAS SOUPS 8158 WITH SCORE 8179.553
AT ITER 9474 NEW BEST:: SOT 84445 SOS 21557 HAS SOPS 21557 HAS SOUS 8157 HAS SOUPS 8157 WITH SCORE 8178.557
AT ITER 9515 NEW BEST:: SOT 84445 SOS 21557 HAS SOPS 21557 HAS SOUS 8149 HAS SOUPS 8149 WITH SCORE 8170.557
AT ITER 9569 NEW BEST:: SOT 84445 SOS 21557 HAS SOPS 21557 HAS SOUS 8147 HAS SOUPS 8147 WITH SCORE 8168.557
AT ITER 9579 NEW BEST:: SOT 84429 SOS 21541 HAS SOPS 21541 HAS SOUS 8136 HAS SOUPS 8136 WITH SCORE 8157.541
AT ITER 9597 NEW BEST:: SOT 84425 SOS 21537 HAS SOPS 21537 HAS SOUS 8132 HAS SOUPS 8132 WITH SCORE 8153.537
AT ITER 9605 NEW BEST:: SOT 84425 SOS 21522 HAS SOPS 21522 HAS SOUS 8132 HAS SOUPS 8132 WITH SCORE 8153.522
AT ITER 9633 NEW BEST:: SOT 84415 SOS 21512 HAS SOPS 21512 HAS SOUS 8112 HAS SOUPS 8112 WITH SCORE 8133.512
AT ITER 9643 NEW BEST:: SOT 84412 SOS 21503 HAS SOPS 21503 HAS SOUS 8109 HAS SOUPS 8109 WITH SCORE 8130.503
AT ITER 9656 NEW BEST:: SOT 84402 SOS 21483 HAS SOPS 21483 HAS SOUS 8100 HAS SOUPS 8100 WITH SCORE 8121.483
AT ITER 9674 NEW BEST:: SOT 84402 SOS 21483 HAS SOPS 21483 HAS SOUS 8098 HAS SOUPS 8098 WITH SCORE 8119.483
AT ITER 9675 NEW BEST:: SOT 84396 SOS 21498 HAS SOPS 21498 HAS SOUS 8085 HAS SOUPS 8085 WITH SCORE 8106.498
AT ITER 9765 NEW BEST:: SOT 84398 SOS 21496 HAS SOPS 21496 HAS SOUS 8081 HAS SOUPS 8081 WITH SCORE 8102.496
AT ITER 9768 NEW BEST:: SOT 84398 SOS 21491 HAS SOPS 21491 HAS SOUS 8076 HAS SOUPS 8076 WITH SCORE 8097.491
AT ITER 9771 NEW BEST:: SOT 84396 SOS 21492 HAS SOPS 21492 HAS SOUS 8074 HAS SOUPS 8074 WITH SCORE 8095.492
AT ITER 9782 NEW BEST:: SOT 84416 SOS 21522 HAS SOPS 21522 HAS SOUS 8066 HAS SOUPS 8066 WITH SCORE 8087.522
AT ITER 9823 NEW BEST:: SOT 84416 SOS 21516 HAS SOPS 21516 HAS SOUS 8054 HAS SOUPS 8054 WITH SCORE 8075.516
AT ITER 9824 NEW BEST:: SOT 84416 SOS 21513 HAS SOPS 21513 HAS SOUS 8051 HAS SOUPS 8051 WITH SCORE 8072.513
AT ITER 9986 NEW BEST:: SOT 84411 SOS 21510 HAS SOPS 21510 HAS SOUS 8048 HAS SOUPS 8048 WITH SCORE 8069.51
AT ITER 9994 NEW BEST:: SOT 84411 SOS 21507 HAS SOPS 21507 HAS SOUS 8045 HAS SOUPS 8045 WITH SCORE 8066.507
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 444560 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16152548 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="AutonomousCar-PT-05b"
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 AutonomousCar-PT-05b, 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 r003-oct2-167813591100608"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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