Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fko/mcc2020-input.r153-oct2-158972910500624.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
........................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is SimpleLoadBal-PT-15, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r153-oct2-158972910500624
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.4M
-rw-r--r-- 1 mcc users 4.5K Apr 12 17:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 12 17:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Apr 11 20:01 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 11 20:01 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.5K Apr 14 12:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 30 14:52 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Apr 14 12:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 30 14:52 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Apr 10 20:32 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 10 20:32 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.8K Apr 10 05:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 10 05:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Apr 10 22:29 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Apr 10 22:29 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 1.2M Mar 24 05:38 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 1589747398070

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SimpleLoadBal (PT), instance 15
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 149 places, 1280 transitions, 8988 arcs.
AT ITER 0 NEW BEST:: SOT 182329 SOS 115866 HAS SOPS 111387 HAS SOUS 77072 HAS SOUPS 76897 WITH SCORE 77012.866
AT ITER 2 NEW BEST:: SOT 182315 SOS 115838 HAS SOPS 111359 HAS SOUS 77044 HAS SOUPS 76869 WITH SCORE 76984.838
AT ITER 4 NEW BEST:: SOT 182315 SOS 115838 HAS SOPS 111359 HAS SOUS 76932 HAS SOUPS 76757 WITH SCORE 76872.838
AT ITER 8 NEW BEST:: SOT 148916 SOS 82479 HAS SOPS 78000 HAS SOUS 43371 HAS SOUPS 43196 WITH SCORE 43278.479
AT ITER 16 NEW BEST:: SOT 144754 SOS 124710 HAS SOPS 124296 HAS SOUS 39183 HAS SOUPS 39155 WITH SCORE 39279.71
AT ITER 28 NEW BEST:: SOT 144815 SOS 124780 HAS SOPS 124366 HAS SOUS 39162 HAS SOUPS 39134 WITH SCORE 39258.78
AT ITER 33 NEW BEST:: SOT 144815 SOS 124786 HAS SOPS 124372 HAS SOUS 39156 HAS SOUPS 39128 WITH SCORE 39252.786
AT ITER 34 NEW BEST:: SOT 144878 SOS 124869 HAS SOPS 124455 HAS SOUS 39147 HAS SOUPS 39119 WITH SCORE 39243.869
AT ITER 37 NEW BEST:: SOT 144848 SOS 124839 HAS SOPS 124425 HAS SOUS 39117 HAS SOUPS 39089 WITH SCORE 39213.839
AT ITER 39 NEW BEST:: SOT 144845 SOS 124836 HAS SOPS 124422 HAS SOUS 39114 HAS SOUPS 39086 WITH SCORE 39210.836
AT ITER 44 NEW BEST:: SOT 144845 SOS 124836 HAS SOPS 124422 HAS SOUS 39090 HAS SOUPS 39062 WITH SCORE 39186.836
AT ITER 50 NEW BEST:: SOT 144965 SOS 124956 HAS SOPS 124542 HAS SOUS 38950 HAS SOUPS 38922 WITH SCORE 39046.956
AT ITER 51 NEW BEST:: SOT 144965 SOS 124958 HAS SOPS 124544 HAS SOUS 38944 HAS SOUPS 38916 WITH SCORE 39040.958
AT ITER 55 NEW BEST:: SOT 144965 SOS 124958 HAS SOPS 124544 HAS SOUS 38934 HAS SOUPS 38906 WITH SCORE 39030.958
AT ITER 67 NEW BEST:: SOT 144691 SOS 124684 HAS SOPS 124270 HAS SOUS 38484 HAS SOUPS 38456 WITH SCORE 38580.684
AT ITER 69 NEW BEST:: SOT 144056 SOS 124049 HAS SOPS 123635 HAS SOUS 37150 HAS SOUPS 37122 WITH SCORE 37246.049
AT ITER 73 NEW BEST:: SOT 142069 SOS 122060 HAS SOPS 121646 HAS SOUS 36996 HAS SOUPS 36968 WITH SCORE 37090.06
AT ITER 79 NEW BEST:: SOT 142279 SOS 122270 HAS SOPS 121856 HAS SOUS 36966 HAS SOUPS 36938 WITH SCORE 37060.27
AT ITER 85 NEW BEST:: SOT 141824 SOS 121815 HAS SOPS 121401 HAS SOUS 36533 HAS SOUPS 36505 WITH SCORE 36626.815
AT ITER 89 NEW BEST:: SOT 141500 SOS 121491 HAS SOPS 121077 HAS SOUS 35705 HAS SOUPS 35677 WITH SCORE 35798.491
AT ITER 96 NEW BEST:: SOT 141497 SOS 121479 HAS SOPS 121065 HAS SOUS 35594 HAS SOUPS 35566 WITH SCORE 35687.479
AT ITER 106 NEW BEST:: SOT 141469 SOS 121429 HAS SOPS 121015 HAS SOUS 35517 HAS SOUPS 35489 WITH SCORE 35610.429
AT ITER 108 NEW BEST:: SOT 141376 SOS 121343 HAS SOPS 120929 HAS SOUS 35431 HAS SOUPS 35403 WITH SCORE 35524.343
AT ITER 112 NEW BEST:: SOT 141354 SOS 122012 HAS SOPS 121725 HAS SOUS 35326 HAS SOUPS 35298 WITH SCORE 35420.012
AT ITER 114 NEW BEST:: SOT 141366 SOS 122024 HAS SOPS 121737 HAS SOUS 35325 HAS SOUPS 35297 WITH SCORE 35419.024
AT ITER 115 NEW BEST:: SOT 141452 SOS 122110 HAS SOPS 121823 HAS SOUS 34595 HAS SOUPS 34567 WITH SCORE 34689.11
AT ITER 116 NEW BEST:: SOT 140728 SOS 121386 HAS SOPS 121099 HAS SOUS 34092 HAS SOUPS 34064 WITH SCORE 34185.386
AT ITER 119 NEW BEST:: SOT 140735 SOS 121393 HAS SOPS 121106 HAS SOUS 33939 HAS SOUPS 33911 WITH SCORE 34032.393
AT ITER 131 NEW BEST:: SOT 140733 SOS 121391 HAS SOPS 121104 HAS SOUS 33937 HAS SOUPS 33909 WITH SCORE 34030.391
AT ITER 138 NEW BEST:: SOT 140717 SOS 121334 HAS SOPS 121047 HAS SOUS 33880 HAS SOUPS 33852 WITH SCORE 33973.334
AT ITER 142 NEW BEST:: SOT 140562 SOS 121428 HAS SOPS 121428 HAS SOUS 33727 HAS SOUPS 33727 WITH SCORE 33848.428
AT ITER 146 NEW BEST:: SOT 140438 SOS 121144 HAS SOPS 121144 HAS SOUS 33559 HAS SOUPS 33559 WITH SCORE 33680.144
AT ITER 152 NEW BEST:: SOT 140438 SOS 121175 HAS SOPS 121175 HAS SOUS 33550 HAS SOUPS 33550 WITH SCORE 33671.175
AT ITER 183 NEW BEST:: SOT 140407 SOS 121109 HAS SOPS 121109 HAS SOUS 33512 HAS SOUPS 33512 WITH SCORE 33633.109
AT ITER 185 NEW BEST:: SOT 140368 SOS 121070 HAS SOPS 121070 HAS SOUS 33416 HAS SOUPS 33416 WITH SCORE 33537.07
AT ITER 210 NEW BEST:: SOT 140273 SOS 120975 HAS SOPS 120975 HAS SOUS 33201 HAS SOUPS 33201 WITH SCORE 33321.975
AT ITER 212 NEW BEST:: SOT 140276 SOS 120978 HAS SOPS 120978 HAS SOUS 33181 HAS SOUPS 33181 WITH SCORE 33301.978
AT ITER 214 NEW BEST:: SOT 140367 SOS 121069 HAS SOPS 121069 HAS SOUS 32846 HAS SOUPS 32846 WITH SCORE 32967.069
AT ITER 220 NEW BEST:: SOT 140367 SOS 121077 HAS SOPS 121077 HAS SOUS 32832 HAS SOUPS 32832 WITH SCORE 32953.077
AT ITER 222 NEW BEST:: SOT 140341 SOS 121051 HAS SOPS 121051 HAS SOUS 32806 HAS SOUPS 32806 WITH SCORE 32927.051
AT ITER 229 NEW BEST:: SOT 139878 SOS 120588 HAS SOPS 120588 HAS SOUS 31677 HAS SOUPS 31677 WITH SCORE 31797.588
AT ITER 230 NEW BEST:: SOT 139814 SOS 120524 HAS SOPS 120524 HAS SOUS 31583 HAS SOUPS 31583 WITH SCORE 31703.524
AT ITER 244 NEW BEST:: SOT 139811 SOS 120296 HAS SOPS 120296 HAS SOUS 31571 HAS SOUPS 31571 WITH SCORE 31691.296
AT ITER 247 NEW BEST:: SOT 139811 SOS 120296 HAS SOPS 120296 HAS SOUS 31376 HAS SOUPS 31376 WITH SCORE 31496.296
AT ITER 250 NEW BEST:: SOT 139811 SOS 120297 HAS SOPS 120297 HAS SOUS 31354 HAS SOUPS 31354 WITH SCORE 31474.297
AT ITER 254 NEW BEST:: SOT 139755 SOS 120227 HAS SOPS 120227 HAS SOUS 31338 HAS SOUPS 31338 WITH SCORE 31458.227
AT ITER 255 NEW BEST:: SOT 139755 SOS 120202 HAS SOPS 120202 HAS SOUS 31313 HAS SOUPS 31313 WITH SCORE 31433.202
AT ITER 256 NEW BEST:: SOT 139758 SOS 120213 HAS SOPS 120213 HAS SOUS 31276 HAS SOUPS 31276 WITH SCORE 31396.213
AT ITER 259 NEW BEST:: SOT 140480 SOS 120935 HAS SOPS 120935 HAS SOUS 30870 HAS SOUPS 30870 WITH SCORE 30990.935
AT ITER 272 NEW BEST:: SOT 140292 SOS 120747 HAS SOPS 120747 HAS SOUS 30492 HAS SOUPS 30492 WITH SCORE 30612.747
AT ITER 273 NEW BEST:: SOT 140469 SOS 120947 HAS SOPS 120947 HAS SOUS 30234 HAS SOUPS 30234 WITH SCORE 30354.947
AT ITER 284 NEW BEST:: SOT 140456 SOS 120926 HAS SOPS 120926 HAS SOUS 30213 HAS SOUPS 30213 WITH SCORE 30333.926
AT ITER 285 NEW BEST:: SOT 140846 SOS 121316 HAS SOPS 121316 HAS SOUS 29814 HAS SOUPS 29814 WITH SCORE 29935.316
AT ITER 287 NEW BEST:: SOT 140801 SOS 121094 HAS SOPS 121094 HAS SOUS 29655 HAS SOUPS 29655 WITH SCORE 29776.094
AT ITER 300 NEW BEST:: SOT 140783 SOS 121078 HAS SOPS 121078 HAS SOUS 29639 HAS SOUPS 29639 WITH SCORE 29760.078
AT ITER 302 NEW BEST:: SOT 140786 SOS 121087 HAS SOPS 121087 HAS SOUS 29519 HAS SOUPS 29519 WITH SCORE 29640.087
AT ITER 314 NEW BEST:: SOT 140966 SOS 121267 HAS SOPS 121267 HAS SOUS 29429 HAS SOUPS 29429 WITH SCORE 29550.267
AT ITER 318 NEW BEST:: SOT 140839 SOS 121083 HAS SOPS 121083 HAS SOUS 29343 HAS SOUPS 29343 WITH SCORE 29464.083
AT ITER 325 NEW BEST:: SOT 140851 SOS 121095 HAS SOPS 121095 HAS SOUS 29148 HAS SOUPS 29148 WITH SCORE 29269.095
AT ITER 341 NEW BEST:: SOT 140851 SOS 121109 HAS SOPS 121109 HAS SOUS 29142 HAS SOUPS 29142 WITH SCORE 29263.109
AT ITER 347 NEW BEST:: SOT 140362 SOS 120620 HAS SOPS 120620 HAS SOUS 28169 HAS SOUPS 28169 WITH SCORE 28289.62
AT ITER 353 NEW BEST:: SOT 140292 SOS 120545 HAS SOPS 120545 HAS SOUS 28154 HAS SOUPS 28154 WITH SCORE 28274.545
AT ITER 354 NEW BEST:: SOT 140280 SOS 120533 HAS SOPS 120533 HAS SOUS 28140 HAS SOUPS 28140 WITH SCORE 28260.533
AT ITER 380 NEW BEST:: SOT 140217 SOS 120470 HAS SOPS 120470 HAS SOUS 26898 HAS SOUPS 26898 WITH SCORE 27018.47
AT ITER 384 NEW BEST:: SOT 140160 SOS 120308 HAS SOPS 120308 HAS SOUS 26786 HAS SOUPS 26786 WITH SCORE 26906.308
AT ITER 392 NEW BEST:: SOT 140158 SOS 120306 HAS SOPS 120306 HAS SOUS 26784 HAS SOUPS 26784 WITH SCORE 26904.306
AT ITER 394 NEW BEST:: SOT 140266 SOS 120422 HAS SOPS 120422 HAS SOUS 26558 HAS SOUPS 26558 WITH SCORE 26678.422
AT ITER 411 NEW BEST:: SOT 138433 SOS 118589 HAS SOPS 118589 HAS SOUS 24725 HAS SOUPS 24725 WITH SCORE 24843.589
AT ITER 417 NEW BEST:: SOT 138433 SOS 118595 HAS SOPS 118595 HAS SOUS 24719 HAS SOUPS 24719 WITH SCORE 24837.595
AT ITER 427 NEW BEST:: SOT 137996 SOS 118158 HAS SOPS 118158 HAS SOUS 24282 HAS SOUPS 24282 WITH SCORE 24400.158
AT ITER 438 NEW BEST:: SOT 137988 SOS 118150 HAS SOPS 118150 HAS SOUS 24254 HAS SOUPS 24254 WITH SCORE 24372.15
AT ITER 458 NEW BEST:: SOT 137982 SOS 118140 HAS SOPS 118140 HAS SOUS 24244 HAS SOUPS 24244 WITH SCORE 24362.14
AT ITER 461 NEW BEST:: SOT 137107 SOS 117265 HAS SOPS 117265 HAS SOUS 23399 HAS SOUPS 23399 WITH SCORE 23516.265
AT ITER 467 NEW BEST:: SOT 137107 SOS 117263 HAS SOPS 117263 HAS SOUS 23392 HAS SOUPS 23392 WITH SCORE 23509.263
AT ITER 473 NEW BEST:: SOT 137096 SOS 117247 HAS SOPS 117247 HAS SOUS 23376 HAS SOUPS 23376 WITH SCORE 23493.247
AT ITER 476 NEW BEST:: SOT 137052 SOS 117203 HAS SOPS 117203 HAS SOUS 22588 HAS SOUPS 22588 WITH SCORE 22705.203
AT ITER 481 NEW BEST:: SOT 137135 SOS 117286 HAS SOPS 117286 HAS SOUS 22446 HAS SOUPS 22446 WITH SCORE 22563.286
AT ITER 493 NEW BEST:: SOT 137133 SOS 117284 HAS SOPS 117284 HAS SOUS 22444 HAS SOUPS 22444 WITH SCORE 22561.284
AT ITER 519 NEW BEST:: SOT 137125 SOS 117276 HAS SOPS 117276 HAS SOUS 22436 HAS SOUPS 22436 WITH SCORE 22553.276
AT ITER 530 NEW BEST:: SOT 137124 SOS 117275 HAS SOPS 117275 HAS SOUS 22435 HAS SOUPS 22435 WITH SCORE 22552.275
AT ITER 537 NEW BEST:: SOT 136864 SOS 117019 HAS SOPS 117019 HAS SOUS 22429 HAS SOUPS 22429 WITH SCORE 22546.019
AT ITER 540 NEW BEST:: SOT 136773 SOS 116928 HAS SOPS 116928 HAS SOUS 22241 HAS SOUPS 22241 WITH SCORE 22357.928
AT ITER 548 NEW BEST:: SOT 136563 SOS 116718 HAS SOPS 116718 HAS SOUS 21821 HAS SOUPS 21821 WITH SCORE 21937.718
AT ITER 560 NEW BEST:: SOT 136563 SOS 116730 HAS SOPS 116730 HAS SOUS 21813 HAS SOUPS 21813 WITH SCORE 21929.73
AT ITER 577 NEW BEST:: SOT 136453 SOS 116620 HAS SOPS 116620 HAS SOUS 21749 HAS SOUPS 21749 WITH SCORE 21865.62
AT ITER 592 NEW BEST:: SOT 136370 SOS 116537 HAS SOPS 116537 HAS SOUS 21595 HAS SOUPS 21595 WITH SCORE 21711.537
AT ITER 594 NEW BEST:: SOT 136372 SOS 116535 HAS SOPS 116535 HAS SOUS 21595 HAS SOUPS 21595 WITH SCORE 21711.535
AT ITER 601 NEW BEST:: SOT 136330 SOS 116537 HAS SOPS 116537 HAS SOUS 21403 HAS SOUPS 21403 WITH SCORE 21519.537
AT ITER 612 NEW BEST:: SOT 136333 SOS 116540 HAS SOPS 116540 HAS SOUS 21389 HAS SOUPS 21389 WITH SCORE 21505.54
AT ITER 631 NEW BEST:: SOT 136333 SOS 116540 HAS SOPS 116540 HAS SOUS 21381 HAS SOUPS 21381 WITH SCORE 21497.54
AT ITER 646 NEW BEST:: SOT 135499 SOS 115684 HAS SOPS 115684 HAS SOUS 20945 HAS SOUPS 20945 WITH SCORE 21060.684
AT ITER 670 NEW BEST:: SOT 135495 SOS 115672 HAS SOPS 115672 HAS SOUS 20941 HAS SOUPS 20941 WITH SCORE 21056.672
AT ITER 672 NEW BEST:: SOT 135525 SOS 115702 HAS SOPS 115702 HAS SOUS 20933 HAS SOUPS 20933 WITH SCORE 21048.702
AT ITER 683 NEW BEST:: SOT 135524 SOS 115701 HAS SOPS 115701 HAS SOUS 20926 HAS SOUPS 20926 WITH SCORE 21041.701
AT ITER 697 NEW BEST:: SOT 135532 SOS 115814 HAS SOPS 115814 HAS SOUS 20899 HAS SOUPS 20899 WITH SCORE 21014.814
AT ITER 702 NEW BEST:: SOT 135368 SOS 115650 HAS SOPS 115650 HAS SOUS 20561 HAS SOUPS 20561 WITH SCORE 20676.65
AT ITER 713 NEW BEST:: SOT 135368 SOS 115650 HAS SOPS 115650 HAS SOUS 20556 HAS SOUPS 20556 WITH SCORE 20671.65
AT ITER 748 NEW BEST:: SOT 135368 SOS 115636 HAS SOPS 115636 HAS SOUS 20554 HAS SOUPS 20554 WITH SCORE 20669.636
AT ITER 749 NEW BEST:: SOT 135363 SOS 115626 HAS SOPS 115626 HAS SOUS 20544 HAS SOUPS 20544 WITH SCORE 20659.626
AT ITER 780 NEW BEST:: SOT 135362 SOS 115625 HAS SOPS 115625 HAS SOUS 20544 HAS SOUPS 20544 WITH SCORE 20659.625
AT ITER 784 NEW BEST:: SOT 135340 SOS 115616 HAS SOPS 115616 HAS SOUS 20451 HAS SOUPS 20451 WITH SCORE 20566.616
AT ITER 802 NEW BEST:: SOT 135398 SOS 115663 HAS SOPS 115663 HAS SOUS 20326 HAS SOUPS 20326 WITH SCORE 20441.663
AT ITER 805 NEW BEST:: SOT 135322 SOS 115587 HAS SOPS 115587 HAS SOUS 20317 HAS SOUPS 20317 WITH SCORE 20432.587
AT ITER 807 NEW BEST:: SOT 135357 SOS 80147 HAS SOPS 78157 HAS SOUS 20418 HAS SOUPS 20313 WITH SCORE 20393.147
AT ITER 808 NEW BEST:: SOT 135275 SOS 80093 HAS SOPS 78103 HAS SOUS 20411 HAS SOUPS 20306 WITH SCORE 20386.093
AT ITER 810 NEW BEST:: SOT 135275 SOS 79501 HAS SOPS 77759 HAS SOUS 20395 HAS SOUPS 20290 WITH SCORE 20369.501
AT ITER 827 NEW BEST:: SOT 135275 SOS 79488 HAS SOPS 77746 HAS SOUS 20382 HAS SOUPS 20277 WITH SCORE 20356.488
AT ITER 862 NEW BEST:: SOT 135281 SOS 79487 HAS SOPS 77745 HAS SOUS 20381 HAS SOUPS 20276 WITH SCORE 20355.487
AT ITER 864 NEW BEST:: SOT 135281 SOS 79485 HAS SOPS 77743 HAS SOUS 20379 HAS SOUPS 20274 WITH SCORE 20353.485
AT ITER 871 NEW BEST:: SOT 135281 SOS 79513 HAS SOPS 77771 HAS SOUS 20320 HAS SOUPS 20215 WITH SCORE 20294.513
AT ITER 875 NEW BEST:: SOT 135346 SOS 79543 HAS SOPS 77801 HAS SOUS 20303 HAS SOUPS 20198 WITH SCORE 20277.543
AT ITER 876 NEW BEST:: SOT 135344 SOS 79541 HAS SOPS 77799 HAS SOUS 20299 HAS SOUPS 20194 WITH SCORE 20273.541
AT ITER 888 NEW BEST:: SOT 135344 SOS 79603 HAS SOPS 77861 HAS SOUS 20282 HAS SOUPS 20177 WITH SCORE 20256.603
AT ITER 927 NEW BEST:: SOT 135339 SOS 79574 HAS SOPS 77832 HAS SOUS 20281 HAS SOUPS 20176 WITH SCORE 20255.574
AT ITER 928 NEW BEST:: SOT 135305 SOS 79540 HAS SOPS 77798 HAS SOUS 20216 HAS SOUPS 20111 WITH SCORE 20190.54
AT ITER 988 NEW BEST:: SOT 135301 SOS 79536 HAS SOPS 77794 HAS SOUS 20208 HAS SOUPS 20103 WITH SCORE 20182.536
AT ITER 1007 NEW BEST:: SOT 135219 SOS 79454 HAS SOPS 77712 HAS SOUS 20042 HAS SOUPS 19937 WITH SCORE 20016.454
AT ITER 1048 NEW BEST:: SOT 135218 SOS 79453 HAS SOPS 77711 HAS SOUS 20037 HAS SOUPS 19932 WITH SCORE 20011.453
AT ITER 1068 NEW BEST:: SOT 135200 SOS 79433 HAS SOPS 77691 HAS SOUS 20017 HAS SOUPS 19912 WITH SCORE 19991.433
AT ITER 1080 NEW BEST:: SOT 135200 SOS 79426 HAS SOPS 77684 HAS SOUS 20010 HAS SOUPS 19905 WITH SCORE 19984.426
AT ITER 1082 NEW BEST:: SOT 135201 SOS 79413 HAS SOPS 77671 HAS SOUS 19997 HAS SOUPS 19892 WITH SCORE 19971.413
AT ITER 1092 NEW BEST:: SOT 135516 SOS 79741 HAS SOPS 77999 HAS SOUS 19740 HAS SOUPS 19635 WITH SCORE 19714.741
AT ITER 1110 NEW BEST:: SOT 135516 SOS 78539 HAS SOPS 76817 HAS SOUS 19676 HAS SOUPS 19599 WITH SCORE 19677.539
AT ITER 1118 NEW BEST:: SOT 135629 SOS 78652 HAS SOPS 76930 HAS SOUS 19587 HAS SOUPS 19510 WITH SCORE 19588.652
AT ITER 1128 NEW BEST:: SOT 135631 SOS 78654 HAS SOPS 76932 HAS SOUS 19573 HAS SOUPS 19496 WITH SCORE 19574.654
AT ITER 1135 NEW BEST:: SOT 135627 SOS 78653 HAS SOPS 76931 HAS SOUS 19572 HAS SOUPS 19495 WITH SCORE 19573.653
AT ITER 1163 NEW BEST:: SOT 135675 SOS 78701 HAS SOPS 76979 HAS SOUS 19217 HAS SOUPS 19140 WITH SCORE 19218.701
AT ITER 1180 NEW BEST:: SOT 135671 SOS 78697 HAS SOPS 76975 HAS SOUS 19121 HAS SOUPS 19044 WITH SCORE 19122.697
AT ITER 1184 NEW BEST:: SOT 135675 SOS 78831 HAS SOPS 77109 HAS SOUS 19110 HAS SOUPS 19033 WITH SCORE 19111.831
AT ITER 1197 NEW BEST:: SOT 135669 SOS 78825 HAS SOPS 77103 HAS SOUS 19104 HAS SOUPS 19027 WITH SCORE 19105.825
AT ITER 1265 NEW BEST:: SOT 135669 SOS 77478 HAS SOPS 76119 HAS SOUS 19077 HAS SOUPS 19011 WITH SCORE 19088.478
AT ITER 1287 NEW BEST:: SOT 135667 SOS 77476 HAS SOPS 76117 HAS SOUS 19075 HAS SOUPS 19009 WITH SCORE 19086.476
AT ITER 1319 NEW BEST:: SOT 135671 SOS 77474 HAS SOPS 76115 HAS SOUS 19073 HAS SOUPS 19007 WITH SCORE 19084.474
AT ITER 1330 NEW BEST:: SOT 135679 SOS 77488 HAS SOPS 76129 HAS SOUS 19050 HAS SOUPS 18984 WITH SCORE 19061.488
AT ITER 1331 NEW BEST:: SOT 135671 SOS 77330 HAS SOPS 75971 HAS SOUS 19037 HAS SOUPS 18971 WITH SCORE 19048.33
AT ITER 1332 NEW BEST:: SOT 135626 SOS 77007 HAS SOPS 75648 HAS SOUS 18988 HAS SOUPS 18922 WITH SCORE 18999.007
AT ITER 1350 NEW BEST:: SOT 136689 SOS 78184 HAS SOPS 76825 HAS SOUS 18486 HAS SOUPS 18420 WITH SCORE 18498.184
AT ITER 1379 NEW BEST:: SOT 136614 SOS 78006 HAS SOPS 76647 HAS SOUS 18386 HAS SOUPS 18320 WITH SCORE 18398.006
AT ITER 1390 NEW BEST:: SOT 136611 SOS 78003 HAS SOPS 76644 HAS SOUS 18382 HAS SOUPS 18316 WITH SCORE 18394.003
AT ITER 1400 NEW BEST:: SOT 136539 SOS 77962 HAS SOPS 76603 HAS SOUS 18382 HAS SOUPS 18316 WITH SCORE 18393.962
AT ITER 1427 NEW BEST:: SOT 136535 SOS 77966 HAS SOPS 76607 HAS SOUS 18381 HAS SOUPS 18315 WITH SCORE 18392.966
AT ITER 1434 NEW BEST:: SOT 136535 SOS 77968 HAS SOPS 76609 HAS SOUS 18375 HAS SOUPS 18309 WITH SCORE 18386.968
AT ITER 1453 NEW BEST:: SOT 136525 SOS 77958 HAS SOPS 76599 HAS SOUS 18365 HAS SOUPS 18299 WITH SCORE 18376.958
AT ITER 1505 NEW BEST:: SOT 136458 SOS 77891 HAS SOPS 76532 HAS SOUS 18226 HAS SOUPS 18160 WITH SCORE 18237.891
AT ITER 1511 NEW BEST:: SOT 136448 SOS 77871 HAS SOPS 76512 HAS SOUS 18206 HAS SOUPS 18140 WITH SCORE 18217.871
AT ITER 1555 NEW BEST:: SOT 136234 SOS 77657 HAS SOPS 76298 HAS SOUS 17992 HAS SOUPS 17926 WITH SCORE 18003.657
AT ITER 1572 NEW BEST:: SOT 136233 SOS 77656 HAS SOPS 76297 HAS SOUS 17990 HAS SOUPS 17924 WITH SCORE 18001.656
AT ITER 1577 NEW BEST:: SOT 136300 SOS 77796 HAS SOPS 76437 HAS SOUS 17985 HAS SOUPS 17919 WITH SCORE 17996.796
AT ITER 1584 NEW BEST:: SOT 136300 SOS 77793 HAS SOPS 76434 HAS SOUS 17982 HAS SOUPS 17916 WITH SCORE 17993.793
AT ITER 1596 NEW BEST:: SOT 136324 SOS 77817 HAS SOPS 76458 HAS SOUS 17946 HAS SOUPS 17880 WITH SCORE 17957.817
AT ITER 1604 NEW BEST:: SOT 136332 SOS 77832 HAS SOPS 76473 HAS SOUS 17940 HAS SOUPS 17874 WITH SCORE 17951.832
AT ITER 1625 NEW BEST:: SOT 136332 SOS 77662 HAS SOPS 76303 HAS SOUS 17938 HAS SOUPS 17872 WITH SCORE 17949.662
AT ITER 1658 NEW BEST:: SOT 136347 SOS 77677 HAS SOPS 76318 HAS SOUS 17878 HAS SOUPS 17812 WITH SCORE 17889.677
AT ITER 1668 NEW BEST:: SOT 136292 SOS 77574 HAS SOPS 76215 HAS SOUS 17833 HAS SOUPS 17767 WITH SCORE 17844.574
AT ITER 1703 NEW BEST:: SOT 135936 SOS 77218 HAS SOPS 75859 HAS SOUS 17658 HAS SOUPS 17592 WITH SCORE 17669.218
AT ITER 1715 NEW BEST:: SOT 135922 SOS 77128 HAS SOPS 75769 HAS SOUS 17655 HAS SOUPS 17589 WITH SCORE 17666.128
AT ITER 1739 NEW BEST:: SOT 136108 SOS 77314 HAS SOPS 75955 HAS SOUS 17596 HAS SOUPS 17530 WITH SCORE 17607.314
AT ITER 1746 NEW BEST:: SOT 136109 SOS 77085 HAS SOPS 75685 HAS SOUS 17589 HAS SOUPS 17518 WITH SCORE 17595.085
AT ITER 1752 NEW BEST:: SOT 136120 SOS 76536 HAS SOPS 74942 HAS SOUS 17536 HAS SOUPS 17445 WITH SCORE 17521.536
AT ITER 1758 NEW BEST:: SOT 136107 SOS 76523 HAS SOPS 74929 HAS SOUS 17525 HAS SOUPS 17434 WITH SCORE 17510.523
AT ITER 1790 NEW BEST:: SOT 136103 SOS 76498 HAS SOPS 74904 HAS SOUS 17500 HAS SOUPS 17409 WITH SCORE 17485.498
AT ITER 1817 NEW BEST:: SOT 135903 SOS 76298 HAS SOPS 74704 HAS SOUS 17160 HAS SOUPS 17069 WITH SCORE 17145.298
AT ITER 1837 NEW BEST:: SOT 135873 SOS 76208 HAS SOPS 74614 HAS SOUS 17080 HAS SOUPS 16989 WITH SCORE 17065.208
AT ITER 1852 NEW BEST:: SOT 135876 SOS 76206 HAS SOPS 74612 HAS SOUS 17078 HAS SOUPS 16987 WITH SCORE 17063.206
AT ITER 1853 NEW BEST:: SOT 135870 SOS 76200 HAS SOPS 74606 HAS SOUS 17066 HAS SOUPS 16975 WITH SCORE 17051.2
AT ITER 1854 NEW BEST:: SOT 135866 SOS 76194 HAS SOPS 74600 HAS SOUS 17060 HAS SOUPS 16969 WITH SCORE 17045.194
AT ITER 1862 NEW BEST:: SOT 135737 SOS 76062 HAS SOPS 74468 HAS SOUS 16928 HAS SOUPS 16837 WITH SCORE 16913.062
AT ITER 1869 NEW BEST:: SOT 135732 SOS 76052 HAS SOPS 74458 HAS SOUS 16918 HAS SOUPS 16827 WITH SCORE 16903.052
AT ITER 1893 NEW BEST:: SOT 135564 SOS 75883 HAS SOPS 74289 HAS SOUS 16749 HAS SOUPS 16658 WITH SCORE 16733.883
AT ITER 1936 NEW BEST:: SOT 135550 SOS 75869 HAS SOPS 74275 HAS SOUS 16735 HAS SOUPS 16644 WITH SCORE 16719.869
AT ITER 1986 NEW BEST:: SOT 135533 SOS 75872 HAS SOPS 74278 HAS SOUS 16685 HAS SOUPS 16594 WITH SCORE 16669.872
AT ITER 2044 NEW BEST:: SOT 135532 SOS 75586 HAS SOPS 73992 HAS SOUS 16676 HAS SOUPS 16585 WITH SCORE 16660.586
AT ITER 2047 NEW BEST:: SOT 135532 SOS 75496 HAS SOPS 73902 HAS SOUS 16672 HAS SOUPS 16581 WITH SCORE 16656.496
AT ITER 2057 NEW BEST:: SOT 135522 SOS 75465 HAS SOPS 73871 HAS SOUS 16641 HAS SOUPS 16550 WITH SCORE 16625.465
AT ITER 2128 NEW BEST:: SOT 135522 SOS 75453 HAS SOPS 73859 HAS SOUS 16588 HAS SOUPS 16497 WITH SCORE 16572.453
AT ITER 2193 NEW BEST:: SOT 135500 SOS 75431 HAS SOPS 73837 HAS SOUS 16552 HAS SOUPS 16461 WITH SCORE 16536.431
AT ITER 2200 NEW BEST:: SOT 135491 SOS 75422 HAS SOPS 73828 HAS SOUS 16482 HAS SOUPS 16391 WITH SCORE 16466.422
AT ITER 2241 NEW BEST:: SOT 135489 SOS 75420 HAS SOPS 73826 HAS SOUS 16396 HAS SOUPS 16305 WITH SCORE 16380.42
AT ITER 2242 NEW BEST:: SOT 135198 SOS 75129 HAS SOPS 73535 HAS SOUS 16330 HAS SOUPS 16239 WITH SCORE 16314.129
AT ITER 2272 NEW BEST:: SOT 135206 SOS 75137 HAS SOPS 73543 HAS SOUS 16276 HAS SOUPS 16185 WITH SCORE 16260.137
AT ITER 2301 NEW BEST:: SOT 134844 SOS 74775 HAS SOPS 73181 HAS SOUS 16085 HAS SOUPS 15994 WITH SCORE 16068.775
AT ITER 2311 NEW BEST:: SOT 134831 SOS 74847 HAS SOPS 73253 HAS SOUS 16059 HAS SOUPS 15968 WITH SCORE 16042.847
AT ITER 2336 NEW BEST:: SOT 134824 SOS 75115 HAS SOPS 73731 HAS SOUS 16047 HAS SOUPS 15963 WITH SCORE 16038.115
AT ITER 2360 NEW BEST:: SOT 134824 SOS 75111 HAS SOPS 73727 HAS SOUS 16043 HAS SOUPS 15959 WITH SCORE 16034.111
AT ITER 2410 NEW BEST:: SOT 134830 SOS 75027 HAS SOPS 73643 HAS SOUS 16043 HAS SOUPS 15959 WITH SCORE 16034.027
AT ITER 2415 NEW BEST:: SOT 134836 SOS 74936 HAS SOPS 73552 HAS SOUS 16043 HAS SOUPS 15959 WITH SCORE 16033.936
AT ITER 2463 NEW BEST:: SOT 134836 SOS 74932 HAS SOPS 73548 HAS SOUS 16039 HAS SOUPS 15955 WITH SCORE 16029.932
AT ITER 2535 NEW BEST:: SOT 134836 SOS 75169 HAS SOPS 73785 HAS SOUS 16006 HAS SOUPS 15922 WITH SCORE 15997.169
AT ITER 2591 NEW BEST:: SOT 134773 SOS 75106 HAS SOPS 73722 HAS SOUS 15927 HAS SOUPS 15843 WITH SCORE 15918.106
AT ITER 2605 NEW BEST:: SOT 134519 SOS 74852 HAS SOPS 73468 HAS SOUS 15665 HAS SOUPS 15581 WITH SCORE 15655.852
AT ITER 2648 NEW BEST:: SOT 134506 SOS 74839 HAS SOPS 73455 HAS SOUS 15652 HAS SOUPS 15568 WITH SCORE 15642.839
AT ITER 2658 NEW BEST:: SOT 134463 SOS 74806 HAS SOPS 73422 HAS SOUS 15650 HAS SOUPS 15566 WITH SCORE 15640.806
AT ITER 2664 NEW BEST:: SOT 134462 SOS 74803 HAS SOPS 73419 HAS SOUS 15647 HAS SOUPS 15563 WITH SCORE 15637.803
AT ITER 2689 NEW BEST:: SOT 134462 SOS 74423 HAS SOPS 73119 HAS SOUS 15637 HAS SOUPS 15553 WITH SCORE 15627.423
AT ITER 2722 NEW BEST:: SOT 134211 SOS 74172 HAS SOPS 72868 HAS SOUS 15135 HAS SOUPS 15051 WITH SCORE 15125.172
AT ITER 2747 NEW BEST:: SOT 134208 SOS 74164 HAS SOPS 72860 HAS SOUS 15127 HAS SOUPS 15043 WITH SCORE 15117.164
AT ITER 2762 NEW BEST:: SOT 134206 SOS 74162 HAS SOPS 72858 HAS SOUS 15123 HAS SOUPS 15039 WITH SCORE 15113.162
AT ITER 2814 NEW BEST:: SOT 134199 SOS 74154 HAS SOPS 72850 HAS SOUS 15115 HAS SOUPS 15031 WITH SCORE 15105.154
AT ITER 2819 NEW BEST:: SOT 134197 SOS 74167 HAS SOPS 72863 HAS SOUS 15114 HAS SOUPS 15030 WITH SCORE 15104.167
AT ITER 2834 NEW BEST:: SOT 134197 SOS 74166 HAS SOPS 72862 HAS SOUS 15113 HAS SOUPS 15029 WITH SCORE 15103.166
AT ITER 2888 NEW BEST:: SOT 134191 SOS 74153 HAS SOPS 72849 HAS SOUS 15100 HAS SOUPS 15016 WITH SCORE 15090.153
AT ITER 2904 NEW BEST:: SOT 134187 SOS 74145 HAS SOPS 72841 HAS SOUS 15092 HAS SOUPS 15008 WITH SCORE 15082.145
AT ITER 2948 NEW BEST:: SOT 134202 SOS 74160 HAS SOPS 72856 HAS SOUS 14990 HAS SOUPS 14906 WITH SCORE 14980.16
AT ITER 2961 NEW BEST:: SOT 134200 SOS 74158 HAS SOPS 72854 HAS SOUS 14988 HAS SOUPS 14904 WITH SCORE 14978.158
AT ITER 2968 NEW BEST:: SOT 134056 SOS 74014 HAS SOPS 72710 HAS SOUS 14924 HAS SOUPS 14840 WITH SCORE 14914.014
AT ITER 3008 NEW BEST:: SOT 134053 SOS 74011 HAS SOPS 72707 HAS SOUS 14918 HAS SOUPS 14834 WITH SCORE 14908.011
AT ITER 3089 NEW BEST:: SOT 134089 SOS 73875 HAS SOPS 72547 HAS SOUS 14915 HAS SOUPS 14825 WITH SCORE 14898.875
AT ITER 3093 NEW BEST:: SOT 134088 SOS 73754 HAS SOPS 72426 HAS SOUS 14910 HAS SOUPS 14820 WITH SCORE 14893.754
AT ITER 3094 NEW BEST:: SOT 134059 SOS 73725 HAS SOPS 72397 HAS SOUS 14896 HAS SOUPS 14806 WITH SCORE 14879.725
AT ITER 3118 NEW BEST:: SOT 134052 SOS 73821 HAS SOPS 72493 HAS SOUS 14894 HAS SOUPS 14804 WITH SCORE 14877.821
AT ITER 3126 NEW BEST:: SOT 134052 SOS 73821 HAS SOPS 72493 HAS SOUS 14881 HAS SOUPS 14791 WITH SCORE 14864.821
AT ITER 3139 NEW BEST:: SOT 133739 SOS 73508 HAS SOPS 72180 HAS SOUS 14706 HAS SOUPS 14616 WITH SCORE 14689.508
AT ITER 3146 NEW BEST:: SOT 133728 SOS 73044 HAS SOPS 71839 HAS SOUS 14676 HAS SOUPS 14601 WITH SCORE 14674.044
AT ITER 3176 NEW BEST:: SOT 133890 SOS 73206 HAS SOPS 72001 HAS SOUS 14672 HAS SOUPS 14597 WITH SCORE 14670.206
AT ITER 3184 NEW BEST:: SOT 133860 SOS 73176 HAS SOPS 71971 HAS SOUS 14612 HAS SOUPS 14537 WITH SCORE 14610.176
AT ITER 3186 NEW BEST:: SOT 133856 SOS 73172 HAS SOPS 71967 HAS SOUS 14608 HAS SOUPS 14533 WITH SCORE 14606.172
AT ITER 3220 NEW BEST:: SOT 133828 SOS 73144 HAS SOPS 71939 HAS SOUS 14552 HAS SOUPS 14477 WITH SCORE 14550.144
AT ITER 3235 NEW BEST:: SOT 133826 SOS 73140 HAS SOPS 71935 HAS SOUS 14548 HAS SOUPS 14473 WITH SCORE 14546.14
AT ITER 3289 NEW BEST:: SOT 133808 SOS 73122 HAS SOPS 71917 HAS SOUS 14540 HAS SOUPS 14465 WITH SCORE 14538.122
AT ITER 3296 NEW BEST:: SOT 133780 SOS 73093 HAS SOPS 71888 HAS SOUS 14540 HAS SOUPS 14465 WITH SCORE 14538.093
AT ITER 3372 NEW BEST:: SOT 133289 SOS 72602 HAS SOPS 71397 HAS SOUS 14378 HAS SOUPS 14303 WITH SCORE 14375.602
AT ITER 3395 NEW BEST:: SOT 133235 SOS 72548 HAS SOPS 71343 HAS SOUS 14324 HAS SOUPS 14249 WITH SCORE 14321.548
AT ITER 3402 NEW BEST:: SOT 133169 SOS 72398 HAS SOPS 71193 HAS SOUS 14282 HAS SOUPS 14207 WITH SCORE 14279.398
AT ITER 3457 NEW BEST:: SOT 133070 SOS 72299 HAS SOPS 71094 HAS SOUS 14081 HAS SOUPS 14006 WITH SCORE 14078.299
AT ITER 3464 NEW BEST:: SOT 133066 SOS 72295 HAS SOPS 71090 HAS SOUS 14077 HAS SOUPS 14002 WITH SCORE 14074.295
AT ITER 3465 NEW BEST:: SOT 133066 SOS 72289 HAS SOPS 71084 HAS SOUS 14071 HAS SOUPS 13996 WITH SCORE 14068.289
AT ITER 3514 NEW BEST:: SOT 133061 SOS 72282 HAS SOPS 71077 HAS SOUS 14064 HAS SOUPS 13989 WITH SCORE 14061.282
AT ITER 3607 NEW BEST:: SOT 133046 SOS 72267 HAS SOPS 71062 HAS SOUS 14053 HAS SOUPS 13978 WITH SCORE 14050.267
AT ITER 3665 NEW BEST:: SOT 133044 SOS 72171 HAS SOPS 70970 HAS SOUS 14049 HAS SOUPS 13976 WITH SCORE 14048.171
AT ITER 3737 NEW BEST:: SOT 133003 SOS 72130 HAS SOPS 70929 HAS SOUS 13997 HAS SOUPS 13924 WITH SCORE 13996.13
AT ITER 3742 NEW BEST:: SOT 133005 SOS 72179 HAS SOPS 70946 HAS SOUS 13995 HAS SOUPS 13923 WITH SCORE 13995.179
AT ITER 3803 NEW BEST:: SOT 132958 SOS 72133 HAS SOPS 70900 HAS SOUS 13976 HAS SOUPS 13904 WITH SCORE 13976.133
AT ITER 3845 NEW BEST:: SOT 132956 SOS 72131 HAS SOPS 70898 HAS SOUS 13974 HAS SOUPS 13902 WITH SCORE 13974.131
AT ITER 3866 NEW BEST:: SOT 132815 SOS 71990 HAS SOPS 70757 HAS SOUS 13938 HAS SOUPS 13866 WITH SCORE 13937.99
AT ITER 3869 NEW BEST:: SOT 132809 SOS 71968 HAS SOPS 70735 HAS SOUS 13934 HAS SOUPS 13862 WITH SCORE 13933.968
AT ITER 3891 NEW BEST:: SOT 132716 SOS 71875 HAS SOPS 70642 HAS SOUS 13903 HAS SOUPS 13831 WITH SCORE 13902.875
AT ITER 3945 NEW BEST:: SOT 132712 SOS 71871 HAS SOPS 70638 HAS SOUS 13895 HAS SOUPS 13823 WITH SCORE 13894.871
AT ITER 4005 NEW BEST:: SOT 132712 SOS 71869 HAS SOPS 70636 HAS SOUS 13893 HAS SOUPS 13821 WITH SCORE 13892.869
AT ITER 4014 NEW BEST:: SOT 132697 SOS 71854 HAS SOPS 70621 HAS SOUS 13853 HAS SOUPS 13781 WITH SCORE 13852.854
AT ITER 4081 NEW BEST:: SOT 132689 SOS 71732 HAS SOPS 70499 HAS SOUS 13846 HAS SOUPS 13774 WITH SCORE 13845.732
AT ITER 4089 NEW BEST:: SOT 132519 SOS 71556 HAS SOPS 70323 HAS SOUS 13752 HAS SOUPS 13680 WITH SCORE 13751.556
AT ITER 4132 NEW BEST:: SOT 132518 SOS 71551 HAS SOPS 70318 HAS SOUS 13747 HAS SOUPS 13675 WITH SCORE 13746.551
AT ITER 4136 NEW BEST:: SOT 132516 SOS 71549 HAS SOPS 70316 HAS SOUS 13746 HAS SOUPS 13674 WITH SCORE 13745.549
AT ITER 4138 NEW BEST:: SOT 132515 SOS 71548 HAS SOPS 70315 HAS SOUS 13703 HAS SOUPS 13631 WITH SCORE 13702.548
AT ITER 4216 NEW BEST:: SOT 132515 SOS 71518 HAS SOPS 70285 HAS SOUS 13701 HAS SOUPS 13629 WITH SCORE 13700.518
AT ITER 4221 NEW BEST:: SOT 132514 SOS 71517 HAS SOPS 70284 HAS SOUS 13700 HAS SOUPS 13628 WITH SCORE 13699.517
AT ITER 4226 NEW BEST:: SOT 132511 SOS 71510 HAS SOPS 70277 HAS SOUS 13693 HAS SOUPS 13621 WITH SCORE 13692.51
AT ITER 4307 NEW BEST:: SOT 132487 SOS 71486 HAS SOPS 70253 HAS SOUS 13671 HAS SOUPS 13599 WITH SCORE 13670.486
AT ITER 4321 NEW BEST:: SOT 132491 SOS 71487 HAS SOPS 70254 HAS SOUS 13667 HAS SOUPS 13595 WITH SCORE 13666.487
AT ITER 4334 NEW BEST:: SOT 132401 SOS 71397 HAS SOPS 70164 HAS SOUS 13577 HAS SOUPS 13505 WITH SCORE 13576.397
AT ITER 4374 NEW BEST:: SOT 132395 SOS 71391 HAS SOPS 70158 HAS SOUS 13557 HAS SOUPS 13485 WITH SCORE 13556.391
AT ITER 4500 NEW BEST:: SOT 132380 SOS 71378 HAS SOPS 70145 HAS SOUS 13529 HAS SOUPS 13457 WITH SCORE 13528.378
AT ITER 4503 NEW BEST:: SOT 132382 SOS 71375 HAS SOPS 70142 HAS SOUS 13526 HAS SOUPS 13454 WITH SCORE 13525.375
AT ITER 5139 NEW BEST:: SOT 132341 SOS 71334 HAS SOPS 70101 HAS SOUS 13485 HAS SOUPS 13413 WITH SCORE 13484.334
AT ITER 5267 NEW BEST:: SOT 132329 SOS 71302 HAS SOPS 70069 HAS SOUS 13461 HAS SOUPS 13389 WITH SCORE 13460.302
AT ITER 5283 NEW BEST:: SOT 132327 SOS 71399 HAS SOPS 70166 HAS SOUS 13460 HAS SOUPS 13388 WITH SCORE 13459.399
AT ITER 5321 NEW BEST:: SOT 132327 SOS 71399 HAS SOPS 70166 HAS SOUS 13434 HAS SOUPS 13362 WITH SCORE 13433.399
AT ITER 5391 NEW BEST:: SOT 132320 SOS 70531 HAS SOPS 69529 HAS SOUS 13406 HAS SOUPS 13341 WITH SCORE 13411.531
AT ITER 5533 NEW BEST:: SOT 132240 SOS 70451 HAS SOPS 69449 HAS SOUS 13326 HAS SOUPS 13261 WITH SCORE 13331.451
AT ITER 5556 NEW BEST:: SOT 132198 SOS 70409 HAS SOPS 69407 HAS SOUS 13242 HAS SOUPS 13177 WITH SCORE 13247.409
AT ITER 5573 NEW BEST:: SOT 132198 SOS 70407 HAS SOPS 69405 HAS SOUS 13240 HAS SOUPS 13175 WITH SCORE 13245.407
AT ITER 5591 NEW BEST:: SOT 132254 SOS 70463 HAS SOPS 69461 HAS SOUS 13235 HAS SOUPS 13170 WITH SCORE 13240.463
AT ITER 5684 NEW BEST:: SOT 132259 SOS 70473 HAS SOPS 69471 HAS SOUS 13233 HAS SOUPS 13168 WITH SCORE 13238.473
AT ITER 5844 NEW BEST:: SOT 132278 SOS 70473 HAS SOPS 69471 HAS SOUS 13228 HAS SOUPS 13163 WITH SCORE 13233.473
AT ITER 5874 NEW BEST:: SOT 132215 SOS 70410 HAS SOPS 69408 HAS SOUS 13088 HAS SOUPS 13023 WITH SCORE 13093.41
AT ITER 5971 NEW BEST:: SOT 132216 SOS 70411 HAS SOPS 69409 HAS SOUS 13086 HAS SOUPS 13021 WITH SCORE 13091.411
AT ITER 6064 NEW BEST:: SOT 132216 SOS 70410 HAS SOPS 69408 HAS SOUS 13085 HAS SOUPS 13020 WITH SCORE 13090.41
AT ITER 6332 NEW BEST:: SOT 132216 SOS 70470 HAS SOPS 69468 HAS SOUS 13083 HAS SOUPS 13018 WITH SCORE 13088.47
AT ITER 6402 NEW BEST:: SOT 132218 SOS 70397 HAS SOPS 69395 HAS SOUS 13080 HAS SOUPS 13015 WITH SCORE 13085.397
AT ITER 6465 NEW BEST:: SOT 132218 SOS 70397 HAS SOPS 69395 HAS SOUS 13078 HAS SOUPS 13013 WITH SCORE 13083.397
AT ITER 6486 NEW BEST:: SOT 132220 SOS 70399 HAS SOPS 69397 HAS SOUS 13076 HAS SOUPS 13011 WITH SCORE 13081.399
AT ITER 6544 NEW BEST:: SOT 132026 SOS 70205 HAS SOPS 69203 HAS SOUS 13032 HAS SOUPS 12967 WITH SCORE 13037.205
AT ITER 6668 NEW BEST:: SOT 132020 SOS 70245 HAS SOPS 69243 HAS SOUS 13020 HAS SOUPS 12955 WITH SCORE 13025.245
AT ITER 6728 NEW BEST:: SOT 132018 SOS 70241 HAS SOPS 69239 HAS SOUS 13016 HAS SOUPS 12951 WITH SCORE 13021.241
AT ITER 6733 NEW BEST:: SOT 132018 SOS 70241 HAS SOPS 69239 HAS SOUS 13002 HAS SOUPS 12937 WITH SCORE 13007.241
AT ITER 6734 NEW BEST:: SOT 131868 SOS 70091 HAS SOPS 69089 HAS SOUS 12922 HAS SOUPS 12857 WITH SCORE 12927.091
AT ITER 6781 NEW BEST:: SOT 131864 SOS 70087 HAS SOPS 69085 HAS SOUS 12918 HAS SOUPS 12853 WITH SCORE 12923.087
AT ITER 6927 NEW BEST:: SOT 131806 SOS 70029 HAS SOPS 69027 HAS SOUS 12802 HAS SOUPS 12737 WITH SCORE 12807.029
AT ITER 6986 NEW BEST:: SOT 131806 SOS 70029 HAS SOPS 69027 HAS SOUS 12800 HAS SOUPS 12735 WITH SCORE 12805.029
AT ITER 7081 NEW BEST:: SOT 131800 SOS 69992 HAS SOPS 69021 HAS SOUS 12796 HAS SOUPS 12730 WITH SCORE 12799.992
AT ITER 7148 NEW BEST:: SOT 131794 SOS 69986 HAS SOPS 69015 HAS SOUS 12790 HAS SOUPS 12724 WITH SCORE 12793.986
AT ITER 7158 NEW BEST:: SOT 131794 SOS 69986 HAS SOPS 69015 HAS SOUS 12788 HAS SOUPS 12722 WITH SCORE 12791.986
AT ITER 7658 NEW BEST:: SOT 131764 SOS 69956 HAS SOPS 68985 HAS SOUS 12773 HAS SOUPS 12707 WITH SCORE 12776.956
AT ITER 7693 NEW BEST:: SOT 131757 SOS 69949 HAS SOPS 68978 HAS SOUS 12765 HAS SOUPS 12699 WITH SCORE 12768.949
AT ITER 7738 NEW BEST:: SOT 131592 SOS 69784 HAS SOPS 68813 HAS SOUS 12600 HAS SOUPS 12534 WITH SCORE 12603.784
AT ITER 7745 NEW BEST:: SOT 131592 SOS 69782 HAS SOPS 68811 HAS SOUS 12598 HAS SOUPS 12532 WITH SCORE 12601.782
AT ITER 7835 NEW BEST:: SOT 131487 SOS 69671 HAS SOPS 68700 HAS SOUS 12566 HAS SOUPS 12500 WITH SCORE 12569.671
AT ITER 7948 NEW BEST:: SOT 131443 SOS 69626 HAS SOPS 68655 HAS SOUS 12521 HAS SOUPS 12455 WITH SCORE 12524.626
AT ITER 8278 NEW BEST:: SOT 131435 SOS 69626 HAS SOPS 68655 HAS SOUS 12505 HAS SOUPS 12439 WITH SCORE 12508.626
AT ITER 8289 NEW BEST:: SOT 131418 SOS 69619 HAS SOPS 68648 HAS SOUS 12503 HAS SOUPS 12437 WITH SCORE 12506.619
AT ITER 8373 NEW BEST:: SOT 131414 SOS 69617 HAS SOPS 68646 HAS SOUS 12501 HAS SOUPS 12435 WITH SCORE 12504.617
AT ITER 8459 NEW BEST:: SOT 131411 SOS 69616 HAS SOPS 68645 HAS SOUS 12500 HAS SOUPS 12434 WITH SCORE 12503.616
AT ITER 8496 NEW BEST:: SOT 131415 SOS 69649 HAS SOPS 68678 HAS SOUS 12495 HAS SOUPS 12429 WITH SCORE 12498.649
AT ITER 8592 NEW BEST:: SOT 131413 SOS 69647 HAS SOPS 68676 HAS SOUS 12493 HAS SOUPS 12427 WITH SCORE 12496.647
AT ITER 8649 NEW BEST:: SOT 131398 SOS 69632 HAS SOPS 68661 HAS SOUS 12478 HAS SOUPS 12412 WITH SCORE 12481.632
AT ITER 8683 NEW BEST:: SOT 131398 SOS 69632 HAS SOPS 68661 HAS SOUS 12463 HAS SOUPS 12397 WITH SCORE 12466.632
AT ITER 8875 NEW BEST:: SOT 131398 SOS 69632 HAS SOPS 68661 HAS SOUS 12450 HAS SOUPS 12384 WITH SCORE 12453.632
AT ITER 9380 NEW BEST:: SOT 131422 SOS 69656 HAS SOPS 68685 HAS SOUS 12414 HAS SOUPS 12348 WITH SCORE 12417.656
AT ITER 9506 NEW BEST:: SOT 131530 SOS 69764 HAS SOPS 68793 HAS SOUS 12372 HAS SOUPS 12306 WITH SCORE 12375.764
AT ITER 9508 NEW BEST:: SOT 131532 SOS 69676 HAS SOPS 68705 HAS SOUS 12372 HAS SOUPS 12306 WITH SCORE 12375.676
AT ITER 9523 NEW BEST:: SOT 131529 SOS 69673 HAS SOPS 68702 HAS SOUS 12367 HAS SOUPS 12301 WITH SCORE 12370.673
AT ITER 9542 NEW BEST:: SOT 131415 SOS 69559 HAS SOPS 68588 HAS SOUS 12307 HAS SOUPS 12241 WITH SCORE 12310.559
AT ITER 9940 NEW BEST:: SOT 131415 SOS 69557 HAS SOPS 68586 HAS SOUS 12305 HAS SOUPS 12239 WITH SCORE 12308.557

BK_STOP 1589749427270

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

/home/mcc/BenchKit/bin/smart.sh: line 117: 444 Segmentation fault ${SMART} ${INPUT_SM}

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="SimpleLoadBal-PT-15"
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"

# 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-4028"
echo " Executing tool smart"
echo " Input is SimpleLoadBal-PT-15, 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 r153-oct2-158972910500624"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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