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.r451-smll-167912643500424.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 StigmergyCommit-PT-03b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r451-smll-167912643500424
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 780K
-rw-r--r-- 1 mcc users 6.2K Feb 26 10:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 61K Feb 26 10:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K Feb 26 10:51 CTLFireability.txt
-rw-r--r-- 1 mcc users 43K Feb 26 10:51 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 17:11 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 17:11 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 17:11 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 10:52 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 134K Feb 26 10:52 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.4K Feb 26 10:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 60K Feb 26 10:52 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 17:11 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:11 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 359K Mar 5 18:23 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679259408769

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=StigmergyCommit-PT-03b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running StigmergyCommit (PT), instance 03b
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: 1231 places, 1476 transitions, 4168 arcs.
AT ITER 0 NEW BEST:: SOT 1035472 SOS 151061 HAS SOPS 151061 HAS SOUS 142795 HAS SOUPS 142795 WITH SCORE 142946.061
AT ITER 11 NEW BEST:: SOT 1035471 SOS 151059 HAS SOPS 151059 HAS SOUS 142793 HAS SOUPS 142793 WITH SCORE 142944.059
AT ITER 25 NEW BEST:: SOT 1035471 SOS 151043 HAS SOPS 151043 HAS SOUS 142792 HAS SOUPS 142792 WITH SCORE 142943.043
AT ITER 28 NEW BEST:: SOT 1035394 SOS 148057 HAS SOPS 148057 HAS SOUS 142638 HAS SOUPS 142638 WITH SCORE 142786.057
AT ITER 31 NEW BEST:: SOT 1035391 SOS 148075 HAS SOPS 148075 HAS SOUS 142635 HAS SOUPS 142635 WITH SCORE 142783.075
AT ITER 33 NEW BEST:: SOT 1034149 SOS 149519 HAS SOPS 149519 HAS SOUS 141683 HAS SOUPS 141683 WITH SCORE 141832.519
AT ITER 53 NEW BEST:: SOT 1033904 SOS 149353 HAS SOPS 149353 HAS SOUS 141470 HAS SOUPS 141470 WITH SCORE 141619.353
AT ITER 59 NEW BEST:: SOT 1033796 SOS 152187 HAS SOPS 152187 HAS SOUS 141246 HAS SOUPS 141246 WITH SCORE 141398.187
AT ITER 66 NEW BEST:: SOT 1033713 SOS 152020 HAS SOPS 152020 HAS SOUS 141079 HAS SOUPS 141079 WITH SCORE 141231.02
AT ITER 96 NEW BEST:: SOT 1033636 SOS 151866 HAS SOPS 151866 HAS SOUS 140925 HAS SOUPS 140925 WITH SCORE 141076.866
AT ITER 111 NEW BEST:: SOT 1033587 SOS 151768 HAS SOPS 151768 HAS SOUS 140876 HAS SOUPS 140876 WITH SCORE 141027.768
AT ITER 155 NEW BEST:: SOT 1033570 SOS 151734 HAS SOPS 151734 HAS SOUS 140842 HAS SOUPS 140842 WITH SCORE 140993.734
AT ITER 209 NEW BEST:: SOT 1033570 SOS 151734 HAS SOPS 151734 HAS SOUS 140807 HAS SOUPS 140807 WITH SCORE 140958.734
AT ITER 213 NEW BEST:: SOT 1033495 SOS 151584 HAS SOPS 151584 HAS SOUS 140657 HAS SOUPS 140657 WITH SCORE 140808.584
AT ITER 215 NEW BEST:: SOT 1033443 SOS 151480 HAS SOPS 151480 HAS SOUS 140605 HAS SOUPS 140605 WITH SCORE 140756.48
AT ITER 264 NEW BEST:: SOT 1030851 SOS 151384 HAS SOPS 151384 HAS SOUS 138159 HAS SOUPS 138159 WITH SCORE 138310.384
AT ITER 265 NEW BEST:: SOT 1030850 SOS 151382 HAS SOPS 151382 HAS SOUS 138157 HAS SOUPS 138157 WITH SCORE 138308.382
AT ITER 267 NEW BEST:: SOT 1030875 SOS 151432 HAS SOPS 151432 HAS SOUS 138091 HAS SOUPS 138091 WITH SCORE 138242.432
AT ITER 278 NEW BEST:: SOT 1030874 SOS 151430 HAS SOPS 151430 HAS SOUS 138089 HAS SOUPS 138089 WITH SCORE 138240.43
AT ITER 288 NEW BEST:: SOT 1030873 SOS 151428 HAS SOPS 151428 HAS SOUS 138087 HAS SOUPS 138087 WITH SCORE 138238.428
AT ITER 289 NEW BEST:: SOT 1029286 SOS 157408 HAS SOPS 157408 HAS SOUS 137090 HAS SOUPS 137090 WITH SCORE 137247.408
AT ITER 292 NEW BEST:: SOT 1029286 SOS 157408 HAS SOPS 157408 HAS SOUS 137086 HAS SOUPS 137086 WITH SCORE 137243.408
AT ITER 311 NEW BEST:: SOT 1027964 SOS 169884 HAS SOPS 169884 HAS SOUS 137010 HAS SOUPS 137010 WITH SCORE 137179.884
AT ITER 326 NEW BEST:: SOT 1027265 SOS 169104 HAS SOPS 169104 HAS SOUS 136310 HAS SOUPS 136310 WITH SCORE 136479.104
AT ITER 347 NEW BEST:: SOT 1027253 SOS 169080 HAS SOPS 169080 HAS SOUS 136286 HAS SOUPS 136286 WITH SCORE 136455.08
AT ITER 352 NEW BEST:: SOT 1027159 SOS 168886 HAS SOPS 168886 HAS SOUS 136098 HAS SOUPS 136098 WITH SCORE 136266.886
AT ITER 366 NEW BEST:: SOT 1027001 SOS 168757 HAS SOPS 168757 HAS SOUS 135969 HAS SOUPS 135969 WITH SCORE 136137.757
AT ITER 368 NEW BEST:: SOT 1026986 SOS 168741 HAS SOPS 168741 HAS SOUS 135953 HAS SOUPS 135953 WITH SCORE 136121.741
AT ITER 385 NEW BEST:: SOT 1026924 SOS 168679 HAS SOPS 168679 HAS SOUS 135891 HAS SOUPS 135891 WITH SCORE 136059.679
AT ITER 437 NEW BEST:: SOT 1026832 SOS 168495 HAS SOPS 168495 HAS SOUS 135707 HAS SOUPS 135707 WITH SCORE 135875.495
AT ITER 449 NEW BEST:: SOT 1026796 SOS 168423 HAS SOPS 168423 HAS SOUS 135635 HAS SOUPS 135635 WITH SCORE 135803.423
AT ITER 454 NEW BEST:: SOT 1026716 SOS 168263 HAS SOPS 168263 HAS SOUS 135555 HAS SOUPS 135555 WITH SCORE 135723.263
AT ITER 557 NEW BEST:: SOT 1026634 SOS 168099 HAS SOPS 168099 HAS SOUS 135473 HAS SOUPS 135473 WITH SCORE 135641.099
AT ITER 569 NEW BEST:: SOT 1026530 SOS 167891 HAS SOPS 167891 HAS SOUS 135265 HAS SOUPS 135265 WITH SCORE 135432.891
AT ITER 581 NEW BEST:: SOT 1026530 SOS 167890 HAS SOPS 167890 HAS SOUS 135264 HAS SOUPS 135264 WITH SCORE 135431.89
AT ITER 599 NEW BEST:: SOT 1026434 SOS 167698 HAS SOPS 167698 HAS SOUS 135190 HAS SOUPS 135190 WITH SCORE 135357.698
AT ITER 652 NEW BEST:: SOT 1026267 SOS 167364 HAS SOPS 167364 HAS SOUS 135044 HAS SOUPS 135044 WITH SCORE 135211.364
AT ITER 665 NEW BEST:: SOT 1026262 SOS 167354 HAS SOPS 167354 HAS SOUS 135034 HAS SOUPS 135034 WITH SCORE 135201.354
AT ITER 682 NEW BEST:: SOT 1026165 SOS 167160 HAS SOPS 167160 HAS SOUS 134840 HAS SOUPS 134840 WITH SCORE 135007.16
AT ITER 683 NEW BEST:: SOT 1026165 SOS 167159 HAS SOPS 167159 HAS SOUS 134839 HAS SOUPS 134839 WITH SCORE 135006.159
AT ITER 689 NEW BEST:: SOT 1026107 SOS 167043 HAS SOPS 167043 HAS SOUS 134723 HAS SOUPS 134723 WITH SCORE 134890.043
AT ITER 692 NEW BEST:: SOT 1024741 SOS 165703 HAS SOPS 165703 HAS SOUS 133382 HAS SOUPS 133382 WITH SCORE 133547.703
AT ITER 701 NEW BEST:: SOT 1024728 SOS 165677 HAS SOPS 165677 HAS SOUS 133356 HAS SOUPS 133356 WITH SCORE 133521.677
AT ITER 704 NEW BEST:: SOT 1024728 SOS 165673 HAS SOPS 165673 HAS SOUS 133352 HAS SOUPS 133352 WITH SCORE 133517.673
AT ITER 748 NEW BEST:: SOT 1024725 SOS 165667 HAS SOPS 165667 HAS SOUS 133346 HAS SOUPS 133346 WITH SCORE 133511.667
AT ITER 785 NEW BEST:: SOT 1024725 SOS 165667 HAS SOPS 165667 HAS SOUS 133342 HAS SOUPS 133342 WITH SCORE 133507.667
AT ITER 823 NEW BEST:: SOT 1024725 SOS 165666 HAS SOPS 165666 HAS SOUS 133341 HAS SOUPS 133341 WITH SCORE 133506.666
AT ITER 855 NEW BEST:: SOT 1024725 SOS 165665 HAS SOPS 165665 HAS SOUS 133340 HAS SOUPS 133340 WITH SCORE 133505.665
AT ITER 864 NEW BEST:: SOT 1024099 SOS 171737 HAS SOPS 171737 HAS SOUS 133279 HAS SOUPS 133279 WITH SCORE 133450.737
AT ITER 896 NEW BEST:: SOT 1024099 SOS 171642 HAS SOPS 171642 HAS SOUS 133184 HAS SOUPS 133184 WITH SCORE 133355.642
AT ITER 911 NEW BEST:: SOT 1024041 SOS 171526 HAS SOPS 171526 HAS SOUS 133126 HAS SOUPS 133126 WITH SCORE 133297.526
AT ITER 935 NEW BEST:: SOT 1024002 SOS 171508 HAS SOPS 171508 HAS SOUS 133098 HAS SOUPS 133098 WITH SCORE 133269.508
AT ITER 946 NEW BEST:: SOT 1023922 SOS 171348 HAS SOPS 171348 HAS SOUS 132938 HAS SOUPS 132938 WITH SCORE 133109.348
AT ITER 963 NEW BEST:: SOT 1023827 SOS 171158 HAS SOPS 171158 HAS SOUS 132843 HAS SOUPS 132843 WITH SCORE 133014.158
AT ITER 997 NEW BEST:: SOT 1023708 SOS 171039 HAS SOPS 171039 HAS SOUS 132771 HAS SOUPS 132771 WITH SCORE 132942.039
AT ITER 1015 NEW BEST:: SOT 1023627 SOS 170877 HAS SOPS 170877 HAS SOUS 132609 HAS SOUPS 132609 WITH SCORE 132779.877
AT ITER 1016 NEW BEST:: SOT 1023551 SOS 170725 HAS SOPS 170725 HAS SOUS 132578 HAS SOUPS 132578 WITH SCORE 132748.725
AT ITER 1025 NEW BEST:: SOT 1023551 SOS 170725 HAS SOPS 170725 HAS SOUS 132514 HAS SOUPS 132514 WITH SCORE 132684.725
AT ITER 1031 NEW BEST:: SOT 1023520 SOS 170620 HAS SOPS 170620 HAS SOUS 132450 HAS SOUPS 132450 WITH SCORE 132620.62
AT ITER 1048 NEW BEST:: SOT 1023650 SOS 170880 HAS SOPS 170880 HAS SOUS 132397 HAS SOUPS 132397 WITH SCORE 132567.88
AT ITER 1075 NEW BEST:: SOT 1023649 SOS 170878 HAS SOPS 170878 HAS SOUS 132395 HAS SOUPS 132395 WITH SCORE 132565.878
AT ITER 1080 NEW BEST:: SOT 1023640 SOS 170860 HAS SOPS 170860 HAS SOUS 132377 HAS SOUPS 132377 WITH SCORE 132547.86
AT ITER 1102 NEW BEST:: SOT 1023606 SOS 170733 HAS SOPS 170733 HAS SOUS 132250 HAS SOUPS 132250 WITH SCORE 132420.733
AT ITER 1103 NEW BEST:: SOT 1023520 SOS 170561 HAS SOPS 170561 HAS SOUS 132154 HAS SOUPS 132154 WITH SCORE 132324.561
AT ITER 1118 NEW BEST:: SOT 1023498 SOS 170480 HAS SOPS 170480 HAS SOUS 132110 HAS SOUPS 132110 WITH SCORE 132280.48
AT ITER 1203 NEW BEST:: SOT 1023337 SOS 170158 HAS SOPS 170158 HAS SOUS 131949 HAS SOUPS 131949 WITH SCORE 132119.158
AT ITER 1206 NEW BEST:: SOT 1023317 SOS 170118 HAS SOPS 170118 HAS SOUS 131909 HAS SOUPS 131909 WITH SCORE 132079.118
AT ITER 1235 NEW BEST:: SOT 1023256 SOS 169996 HAS SOPS 169996 HAS SOUS 131848 HAS SOUPS 131848 WITH SCORE 132017.996
AT ITER 1241 NEW BEST:: SOT 1023107 SOS 165106 HAS SOPS 165106 HAS SOUS 131640 HAS SOUPS 131640 WITH SCORE 131805.106
AT ITER 1262 NEW BEST:: SOT 1022985 SOS 164862 HAS SOPS 164862 HAS SOUS 131396 HAS SOUPS 131396 WITH SCORE 131560.862
AT ITER 1304 NEW BEST:: SOT 1022976 SOS 164844 HAS SOPS 164844 HAS SOUS 131378 HAS SOUPS 131378 WITH SCORE 131542.844
AT ITER 1319 NEW BEST:: SOT 1022955 SOS 164802 HAS SOPS 164802 HAS SOUS 131336 HAS SOUPS 131336 WITH SCORE 131500.802
AT ITER 1332 NEW BEST:: SOT 1022887 SOS 164666 HAS SOPS 164666 HAS SOUS 131311 HAS SOUPS 131311 WITH SCORE 131475.666
AT ITER 1342 NEW BEST:: SOT 1022886 SOS 164664 HAS SOPS 164664 HAS SOUS 131309 HAS SOUPS 131309 WITH SCORE 131473.664
AT ITER 1351 NEW BEST:: SOT 1021385 SOS 163539 HAS SOPS 163539 HAS SOUS 130488 HAS SOUPS 130488 WITH SCORE 130651.539
AT ITER 1354 NEW BEST:: SOT 1021291 SOS 163351 HAS SOPS 163351 HAS SOUS 130394 HAS SOUPS 130394 WITH SCORE 130557.351
AT ITER 1372 NEW BEST:: SOT 1021164 SOS 163283 HAS SOPS 163283 HAS SOUS 130296 HAS SOUPS 130296 WITH SCORE 130459.283
AT ITER 1444 NEW BEST:: SOT 1021163 SOS 163281 HAS SOPS 163281 HAS SOUS 130294 HAS SOUPS 130294 WITH SCORE 130457.281
AT ITER 1459 NEW BEST:: SOT 1021138 SOS 163231 HAS SOPS 163231 HAS SOUS 130244 HAS SOUPS 130244 WITH SCORE 130407.231
AT ITER 1467 NEW BEST:: SOT 1021138 SOS 163223 HAS SOPS 163223 HAS SOUS 130244 HAS SOUPS 130244 WITH SCORE 130407.223
AT ITER 1491 NEW BEST:: SOT 1021137 SOS 163221 HAS SOPS 163221 HAS SOUS 130242 HAS SOUPS 130242 WITH SCORE 130405.221
AT ITER 1533 NEW BEST:: SOT 1021109 SOS 163137 HAS SOPS 163137 HAS SOUS 130214 HAS SOUPS 130214 WITH SCORE 130377.137
AT ITER 1544 NEW BEST:: SOT 1020989 SOS 162897 HAS SOPS 162897 HAS SOUS 130093 HAS SOUPS 130093 WITH SCORE 130255.897
AT ITER 1593 NEW BEST:: SOT 1020934 SOS 162787 HAS SOPS 162787 HAS SOUS 129983 HAS SOUPS 129983 WITH SCORE 130145.787
AT ITER 1609 NEW BEST:: SOT 1020922 SOS 162763 HAS SOPS 162763 HAS SOUS 129959 HAS SOUPS 129959 WITH SCORE 130121.763
AT ITER 1650 NEW BEST:: SOT 1020774 SOS 162689 HAS SOPS 162689 HAS SOUS 129848 HAS SOUPS 129848 WITH SCORE 130010.689
AT ITER 1672 NEW BEST:: SOT 1020697 SOS 162543 HAS SOPS 162543 HAS SOUS 129702 HAS SOUPS 129702 WITH SCORE 129864.543
AT ITER 1699 NEW BEST:: SOT 1020662 SOS 162473 HAS SOPS 162473 HAS SOUS 129667 HAS SOUPS 129667 WITH SCORE 129829.473
AT ITER 1700 NEW BEST:: SOT 1020560 SOS 162269 HAS SOPS 162269 HAS SOUS 129565 HAS SOUPS 129565 WITH SCORE 129727.269
AT ITER 1702 NEW BEST:: SOT 1020559 SOS 162267 HAS SOPS 162267 HAS SOUS 129563 HAS SOUPS 129563 WITH SCORE 129725.267
AT ITER 1704 NEW BEST:: SOT 1020476 SOS 162101 HAS SOPS 162101 HAS SOUS 129480 HAS SOUPS 129480 WITH SCORE 129642.101
AT ITER 1717 NEW BEST:: SOT 1020438 SOS 162063 HAS SOPS 162063 HAS SOUS 129442 HAS SOUPS 129442 WITH SCORE 129604.063
AT ITER 1719 NEW BEST:: SOT 1020346 SOS 161971 HAS SOPS 161971 HAS SOUS 129350 HAS SOUPS 129350 WITH SCORE 129511.971
AT ITER 1732 NEW BEST:: SOT 1020345 SOS 161969 HAS SOPS 161969 HAS SOUS 129348 HAS SOUPS 129348 WITH SCORE 129509.969
AT ITER 1761 NEW BEST:: SOT 1020247 SOS 161773 HAS SOPS 161773 HAS SOUS 129204 HAS SOUPS 129204 WITH SCORE 129365.773
AT ITER 1763 NEW BEST:: SOT 1020182 SOS 161726 HAS SOPS 161726 HAS SOUS 129149 HAS SOUPS 129149 WITH SCORE 129310.726
AT ITER 1784 NEW BEST:: SOT 1020052 SOS 161466 HAS SOPS 161466 HAS SOUS 129093 HAS SOUPS 129093 WITH SCORE 129254.466
AT ITER 1789 NEW BEST:: SOT 1020051 SOS 161439 HAS SOPS 161439 HAS SOUS 129091 HAS SOUPS 129091 WITH SCORE 129252.439
AT ITER 1802 NEW BEST:: SOT 1020041 SOS 161419 HAS SOPS 161419 HAS SOUS 129081 HAS SOUPS 129081 WITH SCORE 129242.419
AT ITER 1867 NEW BEST:: SOT 1020034 SOS 161405 HAS SOPS 161405 HAS SOUS 129074 HAS SOUPS 129074 WITH SCORE 129235.405
AT ITER 1884 NEW BEST:: SOT 1019649 SOS 161097 HAS SOPS 161097 HAS SOUS 128689 HAS SOUPS 128689 WITH SCORE 128850.097
AT ITER 1971 NEW BEST:: SOT 1019649 SOS 161097 HAS SOPS 161097 HAS SOUS 128613 HAS SOUPS 128613 WITH SCORE 128774.097
AT ITER 1973 NEW BEST:: SOT 1019362 SOS 160810 HAS SOPS 160810 HAS SOUS 128357 HAS SOUPS 128357 WITH SCORE 128517.81
AT ITER 1988 NEW BEST:: SOT 1019164 SOS 160540 HAS SOPS 160540 HAS SOUS 128124 HAS SOUPS 128124 WITH SCORE 128284.54
AT ITER 2077 NEW BEST:: SOT 1019016 SOS 160244 HAS SOPS 160244 HAS SOUS 127828 HAS SOUPS 127828 WITH SCORE 127988.244
AT ITER 2086 NEW BEST:: SOT 1019015 SOS 160242 HAS SOPS 160242 HAS SOUS 127826 HAS SOUPS 127826 WITH SCORE 127986.242
AT ITER 2100 NEW BEST:: SOT 1019015 SOS 155802 HAS SOPS 155802 HAS SOUS 127826 HAS SOUPS 127826 WITH SCORE 127981.802
AT ITER 2108 NEW BEST:: SOT 1018938 SOS 155652 HAS SOPS 155652 HAS SOUS 127676 HAS SOUPS 127676 WITH SCORE 127831.652
AT ITER 2213 NEW BEST:: SOT 1018912 SOS 155600 HAS SOPS 155600 HAS SOUS 127650 HAS SOUPS 127650 WITH SCORE 127805.6
AT ITER 2226 NEW BEST:: SOT 1018912 SOS 155599 HAS SOPS 155599 HAS SOUS 127649 HAS SOUPS 127649 WITH SCORE 127804.599
AT ITER 2253 NEW BEST:: SOT 1018877 SOS 155605 HAS SOPS 155605 HAS SOUS 127635 HAS SOUPS 127635 WITH SCORE 127790.605
AT ITER 2276 NEW BEST:: SOT 1018707 SOS 155265 HAS SOPS 155265 HAS SOUS 127465 HAS SOUPS 127465 WITH SCORE 127620.265
AT ITER 2300 NEW BEST:: SOT 1018648 SOS 155147 HAS SOPS 155147 HAS SOUS 127422 HAS SOUPS 127422 WITH SCORE 127577.147
AT ITER 2325 NEW BEST:: SOT 1018648 SOS 155146 HAS SOPS 155146 HAS SOUS 127421 HAS SOUPS 127421 WITH SCORE 127576.146
AT ITER 2336 NEW BEST:: SOT 1018604 SOS 155057 HAS SOPS 155057 HAS SOUS 127332 HAS SOUPS 127332 WITH SCORE 127487.057
AT ITER 2435 NEW BEST:: SOT 1018579 SOS 155007 HAS SOPS 155007 HAS SOUS 127282 HAS SOUPS 127282 WITH SCORE 127437.007
AT ITER 2460 NEW BEST:: SOT 1018578 SOS 154978 HAS SOPS 154978 HAS SOUS 127280 HAS SOUPS 127280 WITH SCORE 127434.978
AT ITER 2508 NEW BEST:: SOT 1018614 SOS 154926 HAS SOPS 154926 HAS SOUS 127228 HAS SOUPS 127228 WITH SCORE 127382.926
AT ITER 2634 NEW BEST:: SOT 1018575 SOS 154848 HAS SOPS 154848 HAS SOUS 127188 HAS SOUPS 127188 WITH SCORE 127342.848
AT ITER 2640 NEW BEST:: SOT 1018531 SOS 154760 HAS SOPS 154760 HAS SOUS 127100 HAS SOUPS 127100 WITH SCORE 127254.76
AT ITER 2649 NEW BEST:: SOT 1018516 SOS 154730 HAS SOPS 154730 HAS SOUS 127070 HAS SOUPS 127070 WITH SCORE 127224.73
AT ITER 2718 NEW BEST:: SOT 1018450 SOS 154738 HAS SOPS 154738 HAS SOUS 127019 HAS SOUPS 127019 WITH SCORE 127173.738
AT ITER 2809 NEW BEST:: SOT 1018568 SOS 154672 HAS SOPS 154672 HAS SOUS 127014 HAS SOUPS 127014 WITH SCORE 127168.672
AT ITER 2823 NEW BEST:: SOT 1018288 SOS 154916 HAS SOPS 154916 HAS SOUS 126926 HAS SOUPS 126926 WITH SCORE 127080.916
AT ITER 2881 NEW BEST:: SOT 1018127 SOS 154594 HAS SOPS 154594 HAS SOUS 126682 HAS SOUPS 126682 WITH SCORE 126836.594
AT ITER 2918 NEW BEST:: SOT 1018084 SOS 154558 HAS SOPS 154558 HAS SOUS 126643 HAS SOUPS 126643 WITH SCORE 126797.558
AT ITER 2982 NEW BEST:: SOT 1018027 SOS 154444 HAS SOPS 154444 HAS SOUS 126586 HAS SOUPS 126586 WITH SCORE 126740.444
AT ITER 2986 NEW BEST:: SOT 1018025 SOS 154440 HAS SOPS 154440 HAS SOUS 126582 HAS SOUPS 126582 WITH SCORE 126736.44
AT ITER 3022 NEW BEST:: SOT 1018021 SOS 154432 HAS SOPS 154432 HAS SOUS 126574 HAS SOUPS 126574 WITH SCORE 126728.432
AT ITER 3105 NEW BEST:: SOT 1018015 SOS 154314 HAS SOPS 154314 HAS SOUS 126456 HAS SOUPS 126456 WITH SCORE 126610.314
AT ITER 3141 NEW BEST:: SOT 1018015 SOS 154232 HAS SOPS 154232 HAS SOUS 126374 HAS SOUPS 126374 WITH SCORE 126528.232
AT ITER 3181 NEW BEST:: SOT 1017911 SOS 154024 HAS SOPS 154024 HAS SOUS 126270 HAS SOUPS 126270 WITH SCORE 126424.024
AT ITER 3204 NEW BEST:: SOT 1017850 SOS 153902 HAS SOPS 153902 HAS SOUS 126209 HAS SOUPS 126209 WITH SCORE 126362.902
AT ITER 3212 NEW BEST:: SOT 1017722 SOS 153646 HAS SOPS 153646 HAS SOUS 125953 HAS SOUPS 125953 WITH SCORE 126106.646
AT ITER 3217 NEW BEST:: SOT 1017707 SOS 153641 HAS SOPS 153641 HAS SOUS 125923 HAS SOUPS 125923 WITH SCORE 126076.641
AT ITER 3326 NEW BEST:: SOT 1017706 SOS 153639 HAS SOPS 153639 HAS SOUS 125921 HAS SOUPS 125921 WITH SCORE 126074.639
AT ITER 3352 NEW BEST:: SOT 1017666 SOS 153559 HAS SOPS 153559 HAS SOUS 125881 HAS SOUPS 125881 WITH SCORE 126034.559
AT ITER 3357 NEW BEST:: SOT 1017571 SOS 153369 HAS SOPS 153369 HAS SOUS 125691 HAS SOUPS 125691 WITH SCORE 125844.369
AT ITER 3387 NEW BEST:: SOT 1017549 SOS 153298 HAS SOPS 153298 HAS SOUS 125647 HAS SOUPS 125647 WITH SCORE 125800.298
AT ITER 3442 NEW BEST:: SOT 1017549 SOS 153212 HAS SOPS 153212 HAS SOUS 125561 HAS SOUPS 125561 WITH SCORE 125714.212
AT ITER 3458 NEW BEST:: SOT 1017449 SOS 153012 HAS SOPS 153012 HAS SOUS 125361 HAS SOUPS 125361 WITH SCORE 125514.012
AT ITER 3479 NEW BEST:: SOT 1017449 SOS 152965 HAS SOPS 152965 HAS SOUS 125314 HAS SOUPS 125314 WITH SCORE 125466.965
AT ITER 3480 NEW BEST:: SOT 1017351 SOS 152937 HAS SOPS 152937 HAS SOUS 125216 HAS SOUPS 125216 WITH SCORE 125368.937
AT ITER 3629 NEW BEST:: SOT 1017301 SOS 152837 HAS SOPS 152837 HAS SOUS 125205 HAS SOUPS 125205 WITH SCORE 125357.837
AT ITER 3656 NEW BEST:: SOT 1017301 SOS 152742 HAS SOPS 152742 HAS SOUS 125110 HAS SOUPS 125110 WITH SCORE 125262.742
AT ITER 3691 NEW BEST:: SOT 1017291 SOS 152722 HAS SOPS 152722 HAS SOUS 125090 HAS SOUPS 125090 WITH SCORE 125242.722
AT ITER 3694 NEW BEST:: SOT 1017240 SOS 152569 HAS SOPS 152569 HAS SOUS 124937 HAS SOUPS 124937 WITH SCORE 125089.569
AT ITER 3741 NEW BEST:: SOT 1017190 SOS 152519 HAS SOPS 152519 HAS SOUS 124887 HAS SOUPS 124887 WITH SCORE 125039.519
AT ITER 3744 NEW BEST:: SOT 1016816 SOS 152709 HAS SOPS 152709 HAS SOUS 124815 HAS SOUPS 124815 WITH SCORE 124967.709
AT ITER 3768 NEW BEST:: SOT 1016775 SOS 152627 HAS SOPS 152627 HAS SOUS 124733 HAS SOUPS 124733 WITH SCORE 124885.627
AT ITER 3785 NEW BEST:: SOT 1016750 SOS 152605 HAS SOPS 152605 HAS SOUS 124711 HAS SOUPS 124711 WITH SCORE 124863.605
AT ITER 3793 NEW BEST:: SOT 1016724 SOS 151565 HAS SOPS 151565 HAS SOUS 124609 HAS SOUPS 124609 WITH SCORE 124760.565
AT ITER 3816 NEW BEST:: SOT 1016733 SOS 151547 HAS SOPS 151547 HAS SOUS 124591 HAS SOUPS 124591 WITH SCORE 124742.547
AT ITER 3853 NEW BEST:: SOT 1016733 SOS 151497 HAS SOPS 151497 HAS SOUS 124541 HAS SOUPS 124541 WITH SCORE 124692.497
AT ITER 3858 NEW BEST:: SOT 1016634 SOS 151299 HAS SOPS 151299 HAS SOUS 124407 HAS SOUPS 124407 WITH SCORE 124558.299
AT ITER 3878 NEW BEST:: SOT 1016594 SOS 151219 HAS SOPS 151219 HAS SOUS 124327 HAS SOUPS 124327 WITH SCORE 124478.219
AT ITER 3948 NEW BEST:: SOT 1016594 SOS 151216 HAS SOPS 151216 HAS SOUS 124326 HAS SOUPS 124326 WITH SCORE 124477.216
AT ITER 3969 NEW BEST:: SOT 1016543 SOS 151114 HAS SOPS 151114 HAS SOUS 124224 HAS SOUPS 124224 WITH SCORE 124375.114
AT ITER 3975 NEW BEST:: SOT 1016513 SOS 151054 HAS SOPS 151054 HAS SOUS 124164 HAS SOUPS 124164 WITH SCORE 124315.054
AT ITER 3978 NEW BEST:: SOT 1016470 SOS 150968 HAS SOPS 150968 HAS SOUS 124121 HAS SOUPS 124121 WITH SCORE 124271.968
AT ITER 4006 NEW BEST:: SOT 1014525 SOS 155895 HAS SOPS 155895 HAS SOUS 123078 HAS SOUPS 123078 WITH SCORE 123233.895
AT ITER 4034 NEW BEST:: SOT 1014566 SOS 155977 HAS SOPS 155977 HAS SOUS 123068 HAS SOUPS 123068 WITH SCORE 123223.977
AT ITER 4063 NEW BEST:: SOT 1014416 SOS 151627 HAS SOPS 151627 HAS SOUS 122768 HAS SOUPS 122768 WITH SCORE 122919.627
AT ITER 4072 NEW BEST:: SOT 1013768 SOS 157206 HAS SOPS 157206 HAS SOUS 122626 HAS SOUPS 122626 WITH SCORE 122783.206
AT ITER 4085 NEW BEST:: SOT 1013662 SOS 156994 HAS SOPS 156994 HAS SOUS 122414 HAS SOUPS 122414 WITH SCORE 122570.994
AT ITER 4098 NEW BEST:: SOT 1013662 SOS 156994 HAS SOPS 156994 HAS SOUS 122406 HAS SOUPS 122406 WITH SCORE 122562.994
AT ITER 4111 NEW BEST:: SOT 1013623 SOS 156916 HAS SOPS 156916 HAS SOUS 122328 HAS SOUPS 122328 WITH SCORE 122484.916
AT ITER 4120 NEW BEST:: SOT 1013622 SOS 156914 HAS SOPS 156914 HAS SOUS 122326 HAS SOUPS 122326 WITH SCORE 122482.914
AT ITER 4140 NEW BEST:: SOT 1013622 SOS 156913 HAS SOPS 156913 HAS SOUS 122325 HAS SOUPS 122325 WITH SCORE 122481.913
AT ITER 4149 NEW BEST:: SOT 1013477 SOS 157443 HAS SOPS 157443 HAS SOUS 122221 HAS SOUPS 122221 WITH SCORE 122378.443
AT ITER 4187 NEW BEST:: SOT 1013521 SOS 157305 HAS SOPS 157305 HAS SOUS 122212 HAS SOUPS 122212 WITH SCORE 122369.305
AT ITER 4194 NEW BEST:: SOT 1013567 SOS 157397 HAS SOPS 157397 HAS SOUS 122079 HAS SOUPS 122079 WITH SCORE 122236.397
AT ITER 4209 NEW BEST:: SOT 1013563 SOS 157389 HAS SOPS 157389 HAS SOUS 122071 HAS SOUPS 122071 WITH SCORE 122228.389
AT ITER 4230 NEW BEST:: SOT 1013548 SOS 157359 HAS SOPS 157359 HAS SOUS 122041 HAS SOUPS 122041 WITH SCORE 122198.359
AT ITER 4234 NEW BEST:: SOT 1013476 SOS 157287 HAS SOPS 157287 HAS SOUS 121969 HAS SOUPS 121969 WITH SCORE 122126.287
AT ITER 4326 NEW BEST:: SOT 1013424 SOS 157183 HAS SOPS 157183 HAS SOUS 121917 HAS SOUPS 121917 WITH SCORE 122074.183
AT ITER 4328 NEW BEST:: SOT 1013418 SOS 157172 HAS SOPS 157172 HAS SOUS 121906 HAS SOUPS 121906 WITH SCORE 122063.172
AT ITER 4347 NEW BEST:: SOT 1013408 SOS 157152 HAS SOPS 157152 HAS SOUS 121886 HAS SOUPS 121886 WITH SCORE 122043.152
AT ITER 4441 NEW BEST:: SOT 1013382 SOS 157069 HAS SOPS 157069 HAS SOUS 121834 HAS SOUPS 121834 WITH SCORE 121991.069
AT ITER 4451 NEW BEST:: SOT 1013323 SOS 156951 HAS SOPS 156951 HAS SOUS 121716 HAS SOUPS 121716 WITH SCORE 121872.951
AT ITER 4494 NEW BEST:: SOT 1013323 SOS 156873 HAS SOPS 156873 HAS SOUS 121716 HAS SOUPS 121716 WITH SCORE 121872.873
AT ITER 4505 NEW BEST:: SOT 1013310 SOS 156847 HAS SOPS 156847 HAS SOUS 121716 HAS SOUPS 121716 WITH SCORE 121872.847
AT ITER 4552 NEW BEST:: SOT 1013299 SOS 156825 HAS SOPS 156825 HAS SOUS 121694 HAS SOUPS 121694 WITH SCORE 121850.825
AT ITER 4566 NEW BEST:: SOT 1013173 SOS 156573 HAS SOPS 156573 HAS SOUS 121442 HAS SOUPS 121442 WITH SCORE 121598.573
AT ITER 4568 NEW BEST:: SOT 1013136 SOS 156499 HAS SOPS 156499 HAS SOUS 121405 HAS SOUPS 121405 WITH SCORE 121561.499
AT ITER 4590 NEW BEST:: SOT 1013136 SOS 156499 HAS SOPS 156499 HAS SOUS 121390 HAS SOUPS 121390 WITH SCORE 121546.499
AT ITER 4596 NEW BEST:: SOT 1013136 SOS 156498 HAS SOPS 156498 HAS SOUS 121389 HAS SOUPS 121389 WITH SCORE 121545.498
AT ITER 4602 NEW BEST:: SOT 1013042 SOS 156404 HAS SOPS 156404 HAS SOUS 121295 HAS SOUPS 121295 WITH SCORE 121451.404
AT ITER 4612 NEW BEST:: SOT 1012992 SOS 156364 HAS SOPS 156364 HAS SOUS 121245 HAS SOUPS 121245 WITH SCORE 121401.364
AT ITER 4642 NEW BEST:: SOT 1012947 SOS 156274 HAS SOPS 156274 HAS SOUS 121155 HAS SOUPS 121155 WITH SCORE 121311.274
AT ITER 4657 NEW BEST:: SOT 1013045 SOS 151247 HAS SOPS 151247 HAS SOUS 121147 HAS SOUPS 121147 WITH SCORE 121298.247
AT ITER 4662 NEW BEST:: SOT 1013022 SOS 151184 HAS SOPS 151184 HAS SOUS 121123 HAS SOUPS 121123 WITH SCORE 121274.184
AT ITER 4711 NEW BEST:: SOT 1012964 SOS 151068 HAS SOPS 151068 HAS SOUS 121007 HAS SOUPS 121007 WITH SCORE 121158.068
AT ITER 4716 NEW BEST:: SOT 1012804 SOS 150748 HAS SOPS 150748 HAS SOUS 120687 HAS SOUPS 120687 WITH SCORE 120837.748
AT ITER 4735 NEW BEST:: SOT 1011991 SOS 150648 HAS SOPS 150648 HAS SOUS 119941 HAS SOUPS 119941 WITH SCORE 120091.648
AT ITER 4742 NEW BEST:: SOT 1011973 SOS 150612 HAS SOPS 150612 HAS SOUS 119905 HAS SOUPS 119905 WITH SCORE 120055.612
AT ITER 4746 NEW BEST:: SOT 1012333 SOS 150816 HAS SOPS 150816 HAS SOUS 119792 HAS SOUPS 119792 WITH SCORE 119942.816
AT ITER 4756 NEW BEST:: SOT 1012320 SOS 150792 HAS SOPS 150792 HAS SOUS 119768 HAS SOUPS 119768 WITH SCORE 119918.792
AT ITER 4761 NEW BEST:: SOT 1012320 SOS 150792 HAS SOPS 150792 HAS SOUS 119735 HAS SOUPS 119735 WITH SCORE 119885.792
AT ITER 4856 NEW BEST:: SOT 1012310 SOS 150772 HAS SOPS 150772 HAS SOUS 119725 HAS SOUPS 119725 WITH SCORE 119875.772
AT ITER 4882 NEW BEST:: SOT 1012293 SOS 150761 HAS SOPS 150761 HAS SOUS 119714 HAS SOUPS 119714 WITH SCORE 119864.761
AT ITER 4888 NEW BEST:: SOT 1012293 SOS 150689 HAS SOPS 150689 HAS SOUS 119642 HAS SOUPS 119642 WITH SCORE 119792.689
AT ITER 4899 NEW BEST:: SOT 1012299 SOS 150701 HAS SOPS 150701 HAS SOUS 119512 HAS SOUPS 119512 WITH SCORE 119662.701
AT ITER 4968 NEW BEST:: SOT 1012293 SOS 150689 HAS SOPS 150689 HAS SOUS 119500 HAS SOUPS 119500 WITH SCORE 119650.689
AT ITER 5008 NEW BEST:: SOT 1012277 SOS 150657 HAS SOPS 150657 HAS SOUS 119484 HAS SOUPS 119484 WITH SCORE 119634.657
AT ITER 5010 NEW BEST:: SOT 1012277 SOS 150657 HAS SOPS 150657 HAS SOUS 119479 HAS SOUPS 119479 WITH SCORE 119629.657
AT ITER 5024 NEW BEST:: SOT 1012266 SOS 150609 HAS SOPS 150609 HAS SOUS 119457 HAS SOUPS 119457 WITH SCORE 119607.609
AT ITER 5046 NEW BEST:: SOT 1012233 SOS 150543 HAS SOPS 150543 HAS SOUS 119391 HAS SOUPS 119391 WITH SCORE 119541.543
AT ITER 5074 NEW BEST:: SOT 1012217 SOS 150511 HAS SOPS 150511 HAS SOUS 119359 HAS SOUPS 119359 WITH SCORE 119509.511
AT ITER 5119 NEW BEST:: SOT 1012159 SOS 150395 HAS SOPS 150395 HAS SOUS 119243 HAS SOUPS 119243 WITH SCORE 119393.395
AT ITER 5153 NEW BEST:: SOT 1012165 SOS 150407 HAS SOPS 150407 HAS SOUS 119206 HAS SOUPS 119206 WITH SCORE 119356.407
AT ITER 5159 NEW BEST:: SOT 1012164 SOS 150405 HAS SOPS 150405 HAS SOUS 119204 HAS SOUPS 119204 WITH SCORE 119354.405
AT ITER 5183 NEW BEST:: SOT 1012125 SOS 150327 HAS SOPS 150327 HAS SOUS 119126 HAS SOUPS 119126 WITH SCORE 119276.327
AT ITER 5190 NEW BEST:: SOT 1012107 SOS 150291 HAS SOPS 150291 HAS SOUS 119090 HAS SOUPS 119090 WITH SCORE 119240.291
AT ITER 5200 NEW BEST:: SOT 1012080 SOS 150237 HAS SOPS 150237 HAS SOUS 119036 HAS SOUPS 119036 WITH SCORE 119186.237
AT ITER 5201 NEW BEST:: SOT 1012046 SOS 150169 HAS SOPS 150169 HAS SOUS 118968 HAS SOUPS 118968 WITH SCORE 119118.169
AT ITER 5214 NEW BEST:: SOT 1012080 SOS 150237 HAS SOPS 150237 HAS SOUS 118959 HAS SOUPS 118959 WITH SCORE 119109.237
AT ITER 5312 NEW BEST:: SOT 1012019 SOS 150115 HAS SOPS 150115 HAS SOUS 118837 HAS SOUPS 118837 WITH SCORE 118987.115
AT ITER 5383 NEW BEST:: SOT 1011939 SOS 149955 HAS SOPS 149955 HAS SOUS 118757 HAS SOUPS 118757 WITH SCORE 118906.955
AT ITER 5503 NEW BEST:: SOT 1011938 SOS 149953 HAS SOPS 149953 HAS SOUS 118755 HAS SOUPS 118755 WITH SCORE 118904.953
AT ITER 5520 NEW BEST:: SOT 1011927 SOS 149931 HAS SOPS 149931 HAS SOUS 118620 HAS SOUPS 118620 WITH SCORE 118769.931
AT ITER 5555 NEW BEST:: SOT 1011873 SOS 149823 HAS SOPS 149823 HAS SOUS 118518 HAS SOUPS 118518 WITH SCORE 118667.823
AT ITER 5595 NEW BEST:: SOT 1011829 SOS 149779 HAS SOPS 149779 HAS SOUS 118474 HAS SOUPS 118474 WITH SCORE 118623.779
AT ITER 5620 NEW BEST:: SOT 1011737 SOS 149595 HAS SOPS 149595 HAS SOUS 118290 HAS SOUPS 118290 WITH SCORE 118439.595
AT ITER 5623 NEW BEST:: SOT 1011706 SOS 149533 HAS SOPS 149533 HAS SOUS 118228 HAS SOUPS 118228 WITH SCORE 118377.533
AT ITER 5648 NEW BEST:: SOT 1011704 SOS 149438 HAS SOPS 149438 HAS SOUS 118133 HAS SOUPS 118133 WITH SCORE 118282.438
AT ITER 5651 NEW BEST:: SOT 1011703 SOS 149436 HAS SOPS 149436 HAS SOUS 118131 HAS SOUPS 118131 WITH SCORE 118280.436
AT ITER 5699 NEW BEST:: SOT 1011595 SOS 149436 HAS SOPS 149436 HAS SOUS 118059 HAS SOUPS 118059 WITH SCORE 118208.436
AT ITER 5716 NEW BEST:: SOT 1011571 SOS 149370 HAS SOPS 149370 HAS SOUS 118011 HAS SOUPS 118011 WITH SCORE 118160.37
AT ITER 5718 NEW BEST:: SOT 1011511 SOS 148830 HAS SOPS 148830 HAS SOUS 117891 HAS SOUPS 117891 WITH SCORE 118039.83
AT ITER 5769 NEW BEST:: SOT 1011517 SOS 148836 HAS SOPS 148836 HAS SOUS 117889 HAS SOUPS 117889 WITH SCORE 118037.836
AT ITER 5825 NEW BEST:: SOT 1011515 SOS 148832 HAS SOPS 148832 HAS SOUS 117885 HAS SOUPS 117885 WITH SCORE 118033.832
AT ITER 5944 NEW BEST:: SOT 1011498 SOS 148798 HAS SOPS 148798 HAS SOUS 117851 HAS SOUPS 117851 WITH SCORE 117999.798
AT ITER 6000 NEW BEST:: SOT 1011498 SOS 148759 HAS SOPS 148759 HAS SOUS 117812 HAS SOUPS 117812 WITH SCORE 117960.759
AT ITER 6023 NEW BEST:: SOT 1011404 SOS 148304 HAS SOPS 148304 HAS SOUS 117738 HAS SOUPS 117738 WITH SCORE 117886.304
AT ITER 6047 NEW BEST:: SOT 1011291 SOS 145675 HAS SOPS 145675 HAS SOUS 117451 HAS SOUPS 117451 WITH SCORE 117596.675
AT ITER 6173 NEW BEST:: SOT 1011270 SOS 145633 HAS SOPS 145633 HAS SOUS 117409 HAS SOUPS 117409 WITH SCORE 117554.633
AT ITER 6313 NEW BEST:: SOT 1011142 SOS 145377 HAS SOPS 145377 HAS SOUS 117290 HAS SOUPS 117290 WITH SCORE 117435.377
AT ITER 6322 NEW BEST:: SOT 1011142 SOS 145377 HAS SOPS 145377 HAS SOUS 117267 HAS SOUPS 117267 WITH SCORE 117412.377
AT ITER 6331 NEW BEST:: SOT 1011141 SOS 145375 HAS SOPS 145375 HAS SOUS 117265 HAS SOUPS 117265 WITH SCORE 117410.375
AT ITER 6345 NEW BEST:: SOT 1010243 SOS 144855 HAS SOPS 144855 HAS SOUS 116525 HAS SOUPS 116525 WITH SCORE 116669.855
AT ITER 6373 NEW BEST:: SOT 1010240 SOS 144849 HAS SOPS 144849 HAS SOUS 116522 HAS SOUPS 116522 WITH SCORE 116666.849
AT ITER 6468 NEW BEST:: SOT 1010253 SOS 145061 HAS SOPS 145061 HAS SOUS 116515 HAS SOUPS 116515 WITH SCORE 116660.061
AT ITER 6484 NEW BEST:: SOT 1010245 SOS 145052 HAS SOPS 145052 HAS SOUS 116506 HAS SOUPS 116506 WITH SCORE 116651.052
AT ITER 6489 NEW BEST:: SOT 1010209 SOS 144980 HAS SOPS 144980 HAS SOUS 116479 HAS SOUPS 116479 WITH SCORE 116623.98
AT ITER 6492 NEW BEST:: SOT 1008865 SOS 145484 HAS SOPS 145484 HAS SOUS 115758 HAS SOUPS 115758 WITH SCORE 115903.484
AT ITER 6578 NEW BEST:: SOT 1008854 SOS 145462 HAS SOPS 145462 HAS SOUS 115736 HAS SOUPS 115736 WITH SCORE 115881.462
AT ITER 6690 NEW BEST:: SOT 1008812 SOS 145378 HAS SOPS 145378 HAS SOUS 115652 HAS SOUPS 115652 WITH SCORE 115797.378
AT ITER 6693 NEW BEST:: SOT 1008783 SOS 145320 HAS SOPS 145320 HAS SOUS 115594 HAS SOUPS 115594 WITH SCORE 115739.32
AT ITER 6715 NEW BEST:: SOT 1008700 SOS 144110 HAS SOPS 144110 HAS SOUS 115322 HAS SOUPS 115322 WITH SCORE 115466.11
AT ITER 6736 NEW BEST:: SOT 1008683 SOS 144076 HAS SOPS 144076 HAS SOUS 115305 HAS SOUPS 115305 WITH SCORE 115449.076
AT ITER 6821 NEW BEST:: SOT 1008638 SOS 143986 HAS SOPS 143986 HAS SOUS 115290 HAS SOUPS 115290 WITH SCORE 115433.986
AT ITER 6839 NEW BEST:: SOT 1008635 SOS 143980 HAS SOPS 143980 HAS SOUS 115284 HAS SOUPS 115284 WITH SCORE 115427.98
AT ITER 6875 NEW BEST:: SOT 1008619 SOS 143948 HAS SOPS 143948 HAS SOUS 115252 HAS SOUPS 115252 WITH SCORE 115395.948
AT ITER 6884 NEW BEST:: SOT 1008605 SOS 143934 HAS SOPS 143934 HAS SOUS 115238 HAS SOUPS 115238 WITH SCORE 115381.934
AT ITER 6885 NEW BEST:: SOT 1008603 SOS 143930 HAS SOPS 143930 HAS SOUS 115234 HAS SOUPS 115234 WITH SCORE 115377.93
AT ITER 6950 NEW BEST:: SOT 1008556 SOS 143835 HAS SOPS 143835 HAS SOUS 115139 HAS SOUPS 115139 WITH SCORE 115282.835
AT ITER 6960 NEW BEST:: SOT 1008525 SOS 143773 HAS SOPS 143773 HAS SOUS 115077 HAS SOUPS 115077 WITH SCORE 115220.773
AT ITER 6968 NEW BEST:: SOT 1008537 SOS 143797 HAS SOPS 143797 HAS SOUS 115044 HAS SOUPS 115044 WITH SCORE 115187.797
AT ITER 6994 NEW BEST:: SOT 1008537 SOS 143789 HAS SOPS 143789 HAS SOUS 115043 HAS SOUPS 115043 WITH SCORE 115186.789
AT ITER 7028 NEW BEST:: SOT 1008507 SOS 143293 HAS SOPS 143293 HAS SOUS 115013 HAS SOUPS 115013 WITH SCORE 115156.293
AT ITER 7029 NEW BEST:: SOT 1008423 SOS 143125 HAS SOPS 143125 HAS SOUS 114999 HAS SOUPS 114999 WITH SCORE 115142.125
AT ITER 7125 NEW BEST:: SOT 1008311 SOS 142901 HAS SOPS 142901 HAS SOUS 114775 HAS SOUPS 114775 WITH SCORE 114917.901
AT ITER 7129 NEW BEST:: SOT 1008288 SOS 142855 HAS SOPS 142855 HAS SOUS 114729 HAS SOUPS 114729 WITH SCORE 114871.855
AT ITER 7154 NEW BEST:: SOT 1008277 SOS 142833 HAS SOPS 142833 HAS SOUS 114707 HAS SOUPS 114707 WITH SCORE 114849.833
AT ITER 7244 NEW BEST:: SOT 1008258 SOS 142795 HAS SOPS 142795 HAS SOUS 114669 HAS SOUPS 114669 WITH SCORE 114811.795
AT ITER 7346 NEW BEST:: SOT 1008258 SOS 142729 HAS SOPS 142729 HAS SOUS 114603 HAS SOUPS 114603 WITH SCORE 114745.729
AT ITER 7397 NEW BEST:: SOT 1008280 SOS 142685 HAS SOPS 142685 HAS SOUS 114559 HAS SOUPS 114559 WITH SCORE 114701.685
AT ITER 7442 NEW BEST:: SOT 1008280 SOS 142649 HAS SOPS 142649 HAS SOUS 114523 HAS SOUPS 114523 WITH SCORE 114665.649
AT ITER 7443 NEW BEST:: SOT 1008266 SOS 142621 HAS SOPS 142621 HAS SOUS 114509 HAS SOUPS 114509 WITH SCORE 114651.621
AT ITER 7511 NEW BEST:: SOT 1008247 SOS 142583 HAS SOPS 142583 HAS SOUS 114471 HAS SOUPS 114471 WITH SCORE 114613.583
AT ITER 7556 NEW BEST:: SOT 1007537 SOS 141888 HAS SOPS 141888 HAS SOUS 113776 HAS SOUPS 113776 WITH SCORE 113917.888
AT ITER 7569 NEW BEST:: SOT 1007536 SOS 141886 HAS SOPS 141886 HAS SOUS 113774 HAS SOUPS 113774 WITH SCORE 113915.886
AT ITER 7609 NEW BEST:: SOT 1007535 SOS 141884 HAS SOPS 141884 HAS SOUS 113773 HAS SOUPS 113773 WITH SCORE 113914.884
AT ITER 7622 NEW BEST:: SOT 1007444 SOS 141702 HAS SOPS 141702 HAS SOUS 113591 HAS SOUPS 113591 WITH SCORE 113732.702
AT ITER 7639 NEW BEST:: SOT 1007286 SOS 141386 HAS SOPS 141386 HAS SOUS 113410 HAS SOUPS 113410 WITH SCORE 113551.386
AT ITER 7651 NEW BEST:: SOT 1007234 SOS 141282 HAS SOPS 141282 HAS SOUS 113306 HAS SOUPS 113306 WITH SCORE 113447.282
AT ITER 7674 NEW BEST:: SOT 1007205 SOS 141224 HAS SOPS 141224 HAS SOUS 113248 HAS SOUPS 113248 WITH SCORE 113389.224
AT ITER 7707 NEW BEST:: SOT 1007183 SOS 141180 HAS SOPS 141180 HAS SOUS 113226 HAS SOUPS 113226 WITH SCORE 113367.18
AT ITER 7753 NEW BEST:: SOT 1007125 SOS 141064 HAS SOPS 141064 HAS SOUS 113110 HAS SOUPS 113110 WITH SCORE 113251.064
AT ITER 7786 NEW BEST:: SOT 1007117 SOS 141065 HAS SOPS 141065 HAS SOUS 113106 HAS SOUPS 113106 WITH SCORE 113247.065
AT ITER 7840 NEW BEST:: SOT 1007117 SOS 141064 HAS SOPS 141064 HAS SOUS 113105 HAS SOUPS 113105 WITH SCORE 113246.064
AT ITER 7845 NEW BEST:: SOT 1007117 SOS 141064 HAS SOPS 141064 HAS SOUS 113101 HAS SOUPS 113101 WITH SCORE 113242.064
AT ITER 7848 NEW BEST:: SOT 1007036 SOS 140902 HAS SOPS 140902 HAS SOUS 113020 HAS SOUPS 113020 WITH SCORE 113160.902
AT ITER 7874 NEW BEST:: SOT 1007052 SOS 140833 HAS SOPS 140833 HAS SOUS 112994 HAS SOUPS 112994 WITH SCORE 113134.833
AT ITER 7891 NEW BEST:: SOT 1007039 SOS 140820 HAS SOPS 140820 HAS SOUS 112981 HAS SOUPS 112981 WITH SCORE 113121.82
AT ITER 7942 NEW BEST:: SOT 1007036 SOS 140814 HAS SOPS 140814 HAS SOUS 112975 HAS SOUPS 112975 WITH SCORE 113115.814
AT ITER 7956 NEW BEST:: SOT 1007006 SOS 140754 HAS SOPS 140754 HAS SOUS 112915 HAS SOUPS 112915 WITH SCORE 113055.754
AT ITER 7975 NEW BEST:: SOT 1007000 SOS 140742 HAS SOPS 140742 HAS SOUS 112903 HAS SOUPS 112903 WITH SCORE 113043.742
AT ITER 8001 NEW BEST:: SOT 1006939 SOS 140681 HAS SOPS 140681 HAS SOUS 112842 HAS SOUPS 112842 WITH SCORE 112982.681
AT ITER 8059 NEW BEST:: SOT 1006934 SOS 140671 HAS SOPS 140671 HAS SOUS 112832 HAS SOUPS 112832 WITH SCORE 112972.671
AT ITER 8066 NEW BEST:: SOT 1006911 SOS 140625 HAS SOPS 140625 HAS SOUS 112809 HAS SOUPS 112809 WITH SCORE 112949.625
AT ITER 8067 NEW BEST:: SOT 1006879 SOS 140593 HAS SOPS 140593 HAS SOUS 112807 HAS SOUPS 112807 WITH SCORE 112947.593
AT ITER 8075 NEW BEST:: SOT 1006571 SOS 141781 HAS SOPS 141781 HAS SOUS 112581 HAS SOUPS 112581 WITH SCORE 112722.781
AT ITER 8114 NEW BEST:: SOT 1006485 SOS 141609 HAS SOPS 141609 HAS SOUS 112495 HAS SOUPS 112495 WITH SCORE 112636.609
AT ITER 8122 NEW BEST:: SOT 1006485 SOS 141609 HAS SOPS 141609 HAS SOUS 112474 HAS SOUPS 112474 WITH SCORE 112615.609
AT ITER 8163 NEW BEST:: SOT 1006450 SOS 141539 HAS SOPS 141539 HAS SOUS 112404 HAS SOUPS 112404 WITH SCORE 112545.539
AT ITER 8197 NEW BEST:: SOT 1006449 SOS 141537 HAS SOPS 141537 HAS SOUS 112402 HAS SOUPS 112402 WITH SCORE 112543.537
AT ITER 8199 NEW BEST:: SOT 1006449 SOS 141434 HAS SOPS 141434 HAS SOUS 112299 HAS SOUPS 112299 WITH SCORE 112440.434
AT ITER 8218 NEW BEST:: SOT 1006392 SOS 141320 HAS SOPS 141320 HAS SOUS 112284 HAS SOUPS 112284 WITH SCORE 112425.32
AT ITER 8240 NEW BEST:: SOT 1006387 SOS 141310 HAS SOPS 141310 HAS SOUS 112274 HAS SOUPS 112274 WITH SCORE 112415.31
AT ITER 8242 NEW BEST:: SOT 1006406 SOS 141348 HAS SOPS 141348 HAS SOUS 112239 HAS SOUPS 112239 WITH SCORE 112380.348
AT ITER 8258 NEW BEST:: SOT 1006405 SOS 141346 HAS SOPS 141346 HAS SOUS 112237 HAS SOUPS 112237 WITH SCORE 112378.346
AT ITER 8277 NEW BEST:: SOT 1006405 SOS 141346 HAS SOPS 141346 HAS SOUS 112235 HAS SOUPS 112235 WITH SCORE 112376.346
AT ITER 8327 NEW BEST:: SOT 1006391 SOS 141318 HAS SOPS 141318 HAS SOUS 112207 HAS SOUPS 112207 WITH SCORE 112348.318
AT ITER 8405 NEW BEST:: SOT 1006391 SOS 141310 HAS SOPS 141310 HAS SOUS 112199 HAS SOUPS 112199 WITH SCORE 112340.31
AT ITER 8425 NEW BEST:: SOT 1006245 SOS 141018 HAS SOPS 141018 HAS SOUS 112053 HAS SOUPS 112053 WITH SCORE 112194.018
AT ITER 8491 NEW BEST:: SOT 1006128 SOS 140784 HAS SOPS 140784 HAS SOUS 111936 HAS SOUPS 111936 WITH SCORE 112076.784
AT ITER 8565 NEW BEST:: SOT 1006108 SOS 140744 HAS SOPS 140744 HAS SOUS 111915 HAS SOUPS 111915 WITH SCORE 112055.744
AT ITER 8588 NEW BEST:: SOT 1006093 SOS 140729 HAS SOPS 140729 HAS SOUS 111900 HAS SOUPS 111900 WITH SCORE 112040.729
AT ITER 8640 NEW BEST:: SOT 1006123 SOS 140679 HAS SOPS 140679 HAS SOUS 111850 HAS SOUPS 111850 WITH SCORE 111990.679
AT ITER 8651 NEW BEST:: SOT 1006013 SOS 140459 HAS SOPS 140459 HAS SOUS 111630 HAS SOUPS 111630 WITH SCORE 111770.459
AT ITER 8663 NEW BEST:: SOT 1005964 SOS 140361 HAS SOPS 140361 HAS SOUS 111532 HAS SOUPS 111532 WITH SCORE 111672.361
AT ITER 8678 NEW BEST:: SOT 1005841 SOS 140793 HAS SOPS 140793 HAS SOUS 111528 HAS SOUPS 111528 WITH SCORE 111668.793
AT ITER 8774 NEW BEST:: SOT 1006017 SOS 141145 HAS SOPS 141145 HAS SOUS 111520 HAS SOUPS 111520 WITH SCORE 111661.145
AT ITER 8778 NEW BEST:: SOT 1006016 SOS 141143 HAS SOPS 141143 HAS SOUS 111518 HAS SOUPS 111518 WITH SCORE 111659.143
AT ITER 8782 NEW BEST:: SOT 1005976 SOS 141063 HAS SOPS 141063 HAS SOUS 111438 HAS SOUPS 111438 WITH SCORE 111579.063
AT ITER 8819 NEW BEST:: SOT 1005959 SOS 141029 HAS SOPS 141029 HAS SOUS 111421 HAS SOUPS 111421 WITH SCORE 111562.029
AT ITER 8887 NEW BEST:: SOT 1005935 SOS 140981 HAS SOPS 140981 HAS SOUS 111373 HAS SOUPS 111373 WITH SCORE 111513.981
AT ITER 8949 NEW BEST:: SOT 1005921 SOS 140953 HAS SOPS 140953 HAS SOUS 111345 HAS SOUPS 111345 WITH SCORE 111485.953
AT ITER 8982 NEW BEST:: SOT 1005900 SOS 140911 HAS SOPS 140911 HAS SOUS 111303 HAS SOUPS 111303 WITH SCORE 111443.911
AT ITER 9002 NEW BEST:: SOT 1005877 SOS 140940 HAS SOPS 140940 HAS SOUS 111296 HAS SOUPS 111296 WITH SCORE 111436.94
AT ITER 9012 NEW BEST:: SOT 1005854 SOS 140894 HAS SOPS 140894 HAS SOUS 111157 HAS SOUPS 111157 WITH SCORE 111297.894
AT ITER 9031 NEW BEST:: SOT 1005841 SOS 140881 HAS SOPS 140881 HAS SOUS 111144 HAS SOUPS 111144 WITH SCORE 111284.881
AT ITER 9034 NEW BEST:: SOT 1005853 SOS 141335 HAS SOPS 141335 HAS SOUS 111127 HAS SOUPS 111127 WITH SCORE 111268.335
AT ITER 9064 NEW BEST:: SOT 1005824 SOS 141277 HAS SOPS 141277 HAS SOUS 111098 HAS SOUPS 111098 WITH SCORE 111239.277
AT ITER 9115 NEW BEST:: SOT 1005824 SOS 141276 HAS SOPS 141276 HAS SOUS 111097 HAS SOUPS 111097 WITH SCORE 111238.276
AT ITER 9153 NEW BEST:: SOT 1005800 SOS 141228 HAS SOPS 141228 HAS SOUS 111049 HAS SOUPS 111049 WITH SCORE 111190.228
AT ITER 9178 NEW BEST:: SOT 1005773 SOS 141214 HAS SOPS 141214 HAS SOUS 111029 HAS SOUPS 111029 WITH SCORE 111170.214
AT ITER 9249 NEW BEST:: SOT 1005709 SOS 141086 HAS SOPS 141086 HAS SOUS 110933 HAS SOUPS 110933 WITH SCORE 111074.086
AT ITER 9300 NEW BEST:: SOT 1005692 SOS 141052 HAS SOPS 141052 HAS SOUS 110899 HAS SOUPS 110899 WITH SCORE 111040.052
AT ITER 9342 NEW BEST:: SOT 1005645 SOS 140958 HAS SOPS 140958 HAS SOUS 110805 HAS SOUPS 110805 WITH SCORE 110945.958
AT ITER 9353 NEW BEST:: SOT 1005618 SOS 140904 HAS SOPS 140904 HAS SOUS 110751 HAS SOUPS 110751 WITH SCORE 110891.904
AT ITER 9391 NEW BEST:: SOT 1005617 SOS 140903 HAS SOPS 140903 HAS SOUS 110749 HAS SOUPS 110749 WITH SCORE 110889.903
AT ITER 9405 NEW BEST:: SOT 1005532 SOS 140733 HAS SOPS 140733 HAS SOUS 110579 HAS SOUPS 110579 WITH SCORE 110719.733
AT ITER 9421 NEW BEST:: SOT 1005487 SOS 140643 HAS SOPS 140643 HAS SOUS 110534 HAS SOUPS 110534 WITH SCORE 110674.643
AT ITER 9444 NEW BEST:: SOT 1005487 SOS 140607 HAS SOPS 140607 HAS SOUS 110527 HAS SOUPS 110527 WITH SCORE 110667.607
AT ITER 9499 NEW BEST:: SOT 1005416 SOS 140465 HAS SOPS 140465 HAS SOUS 110385 HAS SOUPS 110385 WITH SCORE 110525.465
AT ITER 9505 NEW BEST:: SOT 1005252 SOS 140137 HAS SOPS 140137 HAS SOUS 110221 HAS SOUPS 110221 WITH SCORE 110361.137
AT ITER 9517 NEW BEST:: SOT 1005104 SOS 139841 HAS SOPS 139841 HAS SOUS 109925 HAS SOUPS 109925 WITH SCORE 110064.841
AT ITER 9540 NEW BEST:: SOT 1004991 SOS 139615 HAS SOPS 139615 HAS SOUS 109910 HAS SOUPS 109910 WITH SCORE 110049.615
AT ITER 9602 NEW BEST:: SOT 1004961 SOS 139555 HAS SOPS 139555 HAS SOUS 109880 HAS SOUPS 109880 WITH SCORE 110019.555
AT ITER 9605 NEW BEST:: SOT 1004948 SOS 139529 HAS SOPS 139529 HAS SOUS 109854 HAS SOUPS 109854 WITH SCORE 109993.529
AT ITER 9614 NEW BEST:: SOT 1004927 SOS 139487 HAS SOPS 139487 HAS SOUS 109812 HAS SOUPS 109812 WITH SCORE 109951.487
AT ITER 9660 NEW BEST:: SOT 1004895 SOS 139423 HAS SOPS 139423 HAS SOUS 109810 HAS SOUPS 109810 WITH SCORE 109949.423
AT ITER 9707 NEW BEST:: SOT 1004846 SOS 139404 HAS SOPS 139404 HAS SOUS 109779 HAS SOUPS 109779 WITH SCORE 109918.404
AT ITER 9728 NEW BEST:: SOT 1004824 SOS 139360 HAS SOPS 139360 HAS SOUS 109735 HAS SOUPS 109735 WITH SCORE 109874.36
AT ITER 9745 NEW BEST:: SOT 1004796 SOS 139304 HAS SOPS 139304 HAS SOUS 109679 HAS SOUPS 109679 WITH SCORE 109818.304
AT ITER 9757 NEW BEST:: SOT 1004769 SOS 139253 HAS SOPS 139253 HAS SOUS 109628 HAS SOUPS 109628 WITH SCORE 109767.253
AT ITER 9802 NEW BEST:: SOT 1004699 SOS 139113 HAS SOPS 139113 HAS SOUS 109488 HAS SOUPS 109488 WITH SCORE 109627.113
AT ITER 9814 NEW BEST:: SOT 1004696 SOS 139108 HAS SOPS 139108 HAS SOUS 109482 HAS SOUPS 109482 WITH SCORE 109621.108
AT ITER 9843 NEW BEST:: SOT 1004695 SOS 139106 HAS SOPS 139106 HAS SOUS 109480 HAS SOUPS 109480 WITH SCORE 109619.106
AT ITER 9848 NEW BEST:: SOT 1004694 SOS 139104 HAS SOPS 139104 HAS SOUS 109478 HAS SOUPS 109478 WITH SCORE 109617.104
AT ITER 9913 NEW BEST:: SOT 1004755 SOS 138384 HAS SOPS 138384 HAS SOUS 109449 HAS SOUPS 109449 WITH SCORE 109587.384
AT ITER 9919 NEW BEST:: SOT 1004755 SOS 138351 HAS SOPS 138351 HAS SOUS 109449 HAS SOUPS 109449 WITH SCORE 109587.351
AT ITER 9924 NEW BEST:: SOT 1004754 SOS 138354 HAS SOPS 138354 HAS SOUS 109448 HAS SOUPS 109448 WITH SCORE 109586.354
AT ITER 9961 NEW BEST:: SOT 1004746 SOS 138338 HAS SOPS 138338 HAS SOUS 109443 HAS SOUPS 109443 WITH SCORE 109581.338
AT ITER 9970 NEW BEST:: SOT 1004741 SOS 138328 HAS SOPS 138328 HAS SOUS 109433 HAS SOUPS 109433 WITH SCORE 109571.328
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 12519152 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16154060 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="StigmergyCommit-PT-03b"
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 StigmergyCommit-PT-03b, 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 r451-smll-167912643500424"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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