About the Execution of smart for HexagonalGrid-PT-316
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15766.030 | 3600000.00 | 3599040.00 | 0.00 | [undef] | Time out reached |
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.r093-oct2-158940140100104.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 HexagonalGrid-PT-316, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r093-oct2-158940140100104
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 624K
-rw-r--r-- 1 mcc users 3.6K Apr 27 14:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 27 14:36 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Apr 27 14:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 27 14:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 27 14:36 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Apr 27 14:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 27 14:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 2.8K Apr 27 14:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 12K Apr 27 14:36 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Apr 27 14:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K Apr 27 14:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 27 14:36 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Apr 27 14:36 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Apr 27 14:36 equiv_col
-rw-r--r-- 1 mcc users 4 Apr 27 14:36 instance
-rw-r--r-- 1 mcc users 6 Apr 27 14:36 iscolored
-rwxr-xr-x 1 mcc users 455K Apr 27 14:36 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 1589610195905
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HexagonalGrid (PT), instance 316
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart
Filename model.pnml
Petri model created: 421 places, 714 transitions, 2856 arcs.
AT ITER 0 NEW BEST:: SOT 175362 SOS 47042 HAS SOPS 47042 HAS SOUS 22709 HAS SOUPS 22709 WITH SCORE 22756.042
AT ITER 15 NEW BEST:: SOT 175349 SOS 47034 HAS SOPS 47034 HAS SOUS 22701 HAS SOUPS 22701 WITH SCORE 22748.034
AT ITER 25 NEW BEST:: SOT 175194 SOS 46848 HAS SOPS 46848 HAS SOUS 22515 HAS SOUPS 22515 WITH SCORE 22561.848
AT ITER 37 NEW BEST:: SOT 175188 SOS 46703 HAS SOPS 46703 HAS SOUS 22498 HAS SOUPS 22498 WITH SCORE 22544.703
AT ITER 50 NEW BEST:: SOT 175188 SOS 46601 HAS SOPS 46601 HAS SOUS 22464 HAS SOUPS 22464 WITH SCORE 22510.601
AT ITER 58 NEW BEST:: SOT 175183 SOS 46591 HAS SOPS 46591 HAS SOUS 22454 HAS SOUPS 22454 WITH SCORE 22500.591
AT ITER 59 NEW BEST:: SOT 175183 SOS 46591 HAS SOPS 46591 HAS SOUS 22449 HAS SOUPS 22449 WITH SCORE 22495.591
AT ITER 68 NEW BEST:: SOT 175177 SOS 46579 HAS SOPS 46579 HAS SOUS 22437 HAS SOUPS 22437 WITH SCORE 22483.579
AT ITER 125 NEW BEST:: SOT 175022 SOS 46393 HAS SOPS 46393 HAS SOUS 22251 HAS SOUPS 22251 WITH SCORE 22297.393
AT ITER 155 NEW BEST:: SOT 175022 SOS 46243 HAS SOPS 46243 HAS SOUS 22201 HAS SOUPS 22201 WITH SCORE 22247.243
AT ITER 172 NEW BEST:: SOT 174992 SOS 46053 HAS SOPS 46053 HAS SOUS 22115 HAS SOUPS 22115 WITH SCORE 22161.053
AT ITER 185 NEW BEST:: SOT 174989 SOS 46050 HAS SOPS 46050 HAS SOUS 22112 HAS SOUPS 22112 WITH SCORE 22158.05
AT ITER 193 NEW BEST:: SOT 174989 SOS 45978 HAS SOPS 45978 HAS SOUS 22088 HAS SOUPS 22088 WITH SCORE 22133.978
AT ITER 236 NEW BEST:: SOT 174989 SOS 45978 HAS SOPS 45978 HAS SOUS 22083 HAS SOUPS 22083 WITH SCORE 22128.978
AT ITER 289 NEW BEST:: SOT 174989 SOS 45804 HAS SOPS 45804 HAS SOUS 22025 HAS SOUPS 22025 WITH SCORE 22070.804
AT ITER 301 NEW BEST:: SOT 174974 SOS 45753 HAS SOPS 45753 HAS SOUS 22019 HAS SOUPS 22019 WITH SCORE 22064.753
AT ITER 309 NEW BEST:: SOT 174974 SOS 45648 HAS SOPS 45648 HAS SOUS 21998 HAS SOUPS 21998 WITH SCORE 22043.648
AT ITER 318 NEW BEST:: SOT 174972 SOS 45646 HAS SOPS 45646 HAS SOUS 21996 HAS SOUPS 21996 WITH SCORE 22041.646
AT ITER 362 NEW BEST:: SOT 174941 SOS 45460 HAS SOPS 45460 HAS SOUS 21934 HAS SOUPS 21934 WITH SCORE 21979.46
AT ITER 363 NEW BEST:: SOT 174791 SOS 45134 HAS SOPS 45134 HAS SOUS 21728 HAS SOUPS 21728 WITH SCORE 21773.134
AT ITER 370 NEW BEST:: SOT 174778 SOS 45033 HAS SOPS 45033 HAS SOUS 21711 HAS SOUPS 21711 WITH SCORE 21756.033
AT ITER 398 NEW BEST:: SOT 174778 SOS 45058 HAS SOPS 45058 HAS SOUS 21696 HAS SOUPS 21696 WITH SCORE 21741.058
AT ITER 475 NEW BEST:: SOT 174774 SOS 45098 HAS SOPS 45098 HAS SOUS 21624 HAS SOUPS 21624 WITH SCORE 21669.098
AT ITER 504 NEW BEST:: SOT 174774 SOS 45094 HAS SOPS 45094 HAS SOUS 21616 HAS SOUPS 21616 WITH SCORE 21661.094
AT ITER 506 NEW BEST:: SOT 174773 SOS 45088 HAS SOPS 45088 HAS SOUS 21614 HAS SOUPS 21614 WITH SCORE 21659.088
AT ITER 604 NEW BEST:: SOT 174803 SOS 45092 HAS SOPS 45092 HAS SOUS 21486 HAS SOUPS 21486 WITH SCORE 21531.092
AT ITER 651 NEW BEST:: SOT 174803 SOS 45112 HAS SOPS 45112 HAS SOUS 21466 HAS SOUPS 21466 WITH SCORE 21511.112
AT ITER 654 NEW BEST:: SOT 174801 SOS 45110 HAS SOPS 45110 HAS SOUS 21464 HAS SOUPS 21464 WITH SCORE 21509.11
AT ITER 662 NEW BEST:: SOT 174792 SOS 45101 HAS SOPS 45101 HAS SOUS 21455 HAS SOUPS 21455 WITH SCORE 21500.101
AT ITER 667 NEW BEST:: SOT 174792 SOS 45161 HAS SOPS 45161 HAS SOUS 21451 HAS SOUPS 21451 WITH SCORE 21496.161
AT ITER 689 NEW BEST:: SOT 174789 SOS 45158 HAS SOPS 45158 HAS SOUS 21448 HAS SOUPS 21448 WITH SCORE 21493.158
AT ITER 776 NEW BEST:: SOT 174777 SOS 45048 HAS SOPS 45048 HAS SOUS 21422 HAS SOUPS 21422 WITH SCORE 21467.048
AT ITER 782 NEW BEST:: SOT 174777 SOS 44913 HAS SOPS 44913 HAS SOUS 21415 HAS SOUPS 21415 WITH SCORE 21459.913
AT ITER 801 NEW BEST:: SOT 174777 SOS 44913 HAS SOPS 44913 HAS SOUS 21411 HAS SOUPS 21411 WITH SCORE 21455.913
AT ITER 814 NEW BEST:: SOT 174768 SOS 44904 HAS SOPS 44904 HAS SOUS 21411 HAS SOUPS 21411 WITH SCORE 21455.904
AT ITER 836 NEW BEST:: SOT 174768 SOS 44904 HAS SOPS 44904 HAS SOUS 21394 HAS SOUPS 21394 WITH SCORE 21438.904
AT ITER 858 NEW BEST:: SOT 174768 SOS 44766 HAS SOPS 44766 HAS SOUS 21348 HAS SOUPS 21348 WITH SCORE 21392.766
AT ITER 863 NEW BEST:: SOT 174748 SOS 44646 HAS SOPS 44646 HAS SOUS 21308 HAS SOUPS 21308 WITH SCORE 21352.646
AT ITER 875 NEW BEST:: SOT 174748 SOS 44646 HAS SOPS 44646 HAS SOUS 21297 HAS SOUPS 21297 WITH SCORE 21341.646
AT ITER 895 NEW BEST:: SOT 174726 SOS 44507 HAS SOPS 44507 HAS SOUS 21234 HAS SOUPS 21234 WITH SCORE 21278.507
AT ITER 947 NEW BEST:: SOT 174606 SOS 44363 HAS SOPS 44363 HAS SOUS 21106 HAS SOUPS 21106 WITH SCORE 21150.363
AT ITER 955 NEW BEST:: SOT 174592 SOS 44349 HAS SOPS 44349 HAS SOUS 21045 HAS SOUPS 21045 WITH SCORE 21089.349
AT ITER 959 NEW BEST:: SOT 174592 SOS 44349 HAS SOPS 44349 HAS SOUS 21024 HAS SOUPS 21024 WITH SCORE 21068.349
AT ITER 960 NEW BEST:: SOT 174591 SOS 44348 HAS SOPS 44348 HAS SOUS 21023 HAS SOUPS 21023 WITH SCORE 21067.348
AT ITER 1007 NEW BEST:: SOT 174586 SOS 44272 HAS SOPS 44272 HAS SOUS 21003 HAS SOUPS 21003 WITH SCORE 21047.272
AT ITER 1043 NEW BEST:: SOT 174481 SOS 44041 HAS SOPS 44041 HAS SOUS 20856 HAS SOUPS 20856 WITH SCORE 20900.041
AT ITER 1044 NEW BEST:: SOT 174477 SOS 43950 HAS SOPS 43950 HAS SOUS 20853 HAS SOUPS 20853 WITH SCORE 20896.95
AT ITER 1052 NEW BEST:: SOT 174347 SOS 43690 HAS SOPS 43690 HAS SOUS 20697 HAS SOUPS 20697 WITH SCORE 20740.69
AT ITER 1128 NEW BEST:: SOT 174325 SOS 43670 HAS SOPS 43670 HAS SOUS 20685 HAS SOUPS 20685 WITH SCORE 20728.67
AT ITER 1139 NEW BEST:: SOT 174185 SOS 43390 HAS SOPS 43390 HAS SOUS 20517 HAS SOUPS 20517 WITH SCORE 20560.39
AT ITER 1163 NEW BEST:: SOT 174185 SOS 43234 HAS SOPS 43234 HAS SOUS 20489 HAS SOUPS 20489 WITH SCORE 20532.234
AT ITER 1172 NEW BEST:: SOT 174181 SOS 43226 HAS SOPS 43226 HAS SOUS 20481 HAS SOUPS 20481 WITH SCORE 20524.226
AT ITER 1189 NEW BEST:: SOT 174190 SOS 43235 HAS SOPS 43235 HAS SOUS 20474 HAS SOUPS 20474 WITH SCORE 20517.235
AT ITER 1190 NEW BEST:: SOT 174185 SOS 43179 HAS SOPS 43179 HAS SOUS 20466 HAS SOUPS 20466 WITH SCORE 20509.179
AT ITER 1199 NEW BEST:: SOT 174185 SOS 43202 HAS SOPS 43202 HAS SOUS 20465 HAS SOUPS 20465 WITH SCORE 20508.202
AT ITER 1227 NEW BEST:: SOT 174172 SOS 43117 HAS SOPS 43117 HAS SOUS 20464 HAS SOUPS 20464 WITH SCORE 20507.117
AT ITER 1236 NEW BEST:: SOT 174122 SOS 43007 HAS SOPS 43007 HAS SOUS 20394 HAS SOUPS 20394 WITH SCORE 20437.007
AT ITER 1276 NEW BEST:: SOT 174122 SOS 43122 HAS SOPS 43122 HAS SOUS 20325 HAS SOUPS 20325 WITH SCORE 20368.122
AT ITER 1292 NEW BEST:: SOT 174122 SOS 43122 HAS SOPS 43122 HAS SOUS 20277 HAS SOUPS 20277 WITH SCORE 20320.122
AT ITER 1325 NEW BEST:: SOT 174122 SOS 43036 HAS SOPS 43036 HAS SOUS 20275 HAS SOUPS 20275 WITH SCORE 20318.036
AT ITER 1332 NEW BEST:: SOT 174100 SOS 42912 HAS SOPS 42912 HAS SOUS 20215 HAS SOUPS 20215 WITH SCORE 20257.912
AT ITER 1337 NEW BEST:: SOT 173955 SOS 42593 HAS SOPS 42593 HAS SOUS 20012 HAS SOUPS 20012 WITH SCORE 20054.593
AT ITER 1338 NEW BEST:: SOT 173932 SOS 42524 HAS SOPS 42524 HAS SOUS 19943 HAS SOUPS 19943 WITH SCORE 19985.524
AT ITER 1342 NEW BEST:: SOT 173782 SOS 42363 HAS SOPS 42363 HAS SOUS 19874 HAS SOUPS 19874 WITH SCORE 19916.363
AT ITER 1349 NEW BEST:: SOT 173771 SOS 42305 HAS SOPS 42305 HAS SOUS 19822 HAS SOUPS 19822 WITH SCORE 19864.305
AT ITER 1350 NEW BEST:: SOT 173771 SOS 42365 HAS SOPS 42365 HAS SOUS 19818 HAS SOUPS 19818 WITH SCORE 19860.365
AT ITER 1382 NEW BEST:: SOT 173701 SOS 42281 HAS SOPS 42281 HAS SOUS 19786 HAS SOUPS 19786 WITH SCORE 19828.281
AT ITER 1387 NEW BEST:: SOT 173701 SOS 42268 HAS SOPS 42268 HAS SOUS 19784 HAS SOUPS 19784 WITH SCORE 19826.268
AT ITER 1392 NEW BEST:: SOT 173701 SOS 42166 HAS SOPS 42166 HAS SOUS 19750 HAS SOUPS 19750 WITH SCORE 19792.166
AT ITER 1395 NEW BEST:: SOT 173573 SOS 42048 HAS SOPS 42048 HAS SOUS 19632 HAS SOUPS 19632 WITH SCORE 19674.048
AT ITER 1399 NEW BEST:: SOT 173564 SOS 42039 HAS SOPS 42039 HAS SOUS 19623 HAS SOUPS 19623 WITH SCORE 19665.039
AT ITER 1437 NEW BEST:: SOT 173532 SOS 41887 HAS SOPS 41887 HAS SOUS 19555 HAS SOUPS 19555 WITH SCORE 19596.887
AT ITER 1445 NEW BEST:: SOT 173515 SOS 41744 HAS SOPS 41744 HAS SOUS 19496 HAS SOUPS 19496 WITH SCORE 19537.744
AT ITER 1464 NEW BEST:: SOT 173490 SOS 41594 HAS SOPS 41594 HAS SOUS 19446 HAS SOUPS 19446 WITH SCORE 19487.594
AT ITER 1470 NEW BEST:: SOT 173488 SOS 41620 HAS SOPS 41620 HAS SOUS 19428 HAS SOUPS 19428 WITH SCORE 19469.62
AT ITER 1478 NEW BEST:: SOT 173488 SOS 41590 HAS SOPS 41590 HAS SOUS 19418 HAS SOUPS 19418 WITH SCORE 19459.59
AT ITER 1479 NEW BEST:: SOT 173488 SOS 41566 HAS SOPS 41566 HAS SOUS 19410 HAS SOUPS 19410 WITH SCORE 19451.566
AT ITER 1482 NEW BEST:: SOT 173488 SOS 41566 HAS SOPS 41566 HAS SOUS 19396 HAS SOUPS 19396 WITH SCORE 19437.566
AT ITER 1484 NEW BEST:: SOT 173488 SOS 41566 HAS SOPS 41566 HAS SOUS 19380 HAS SOUPS 19380 WITH SCORE 19421.566
AT ITER 1504 NEW BEST:: SOT 173488 SOS 41566 HAS SOPS 41566 HAS SOUS 19346 HAS SOUPS 19346 WITH SCORE 19387.566
AT ITER 1523 NEW BEST:: SOT 173488 SOS 41566 HAS SOPS 41566 HAS SOUS 19341 HAS SOUPS 19341 WITH SCORE 19382.566
AT ITER 1537 NEW BEST:: SOT 173487 SOS 41564 HAS SOPS 41564 HAS SOUS 19339 HAS SOUPS 19339 WITH SCORE 19380.564
AT ITER 1555 NEW BEST:: SOT 173487 SOS 41475 HAS SOPS 41475 HAS SOUS 19326 HAS SOUPS 19326 WITH SCORE 19367.475
AT ITER 1572 NEW BEST:: SOT 173487 SOS 41397 HAS SOPS 41397 HAS SOUS 19300 HAS SOUPS 19300 WITH SCORE 19341.397
AT ITER 1623 NEW BEST:: SOT 173485 SOS 41383 HAS SOPS 41383 HAS SOUS 19294 HAS SOUPS 19294 WITH SCORE 19335.383
AT ITER 1635 NEW BEST:: SOT 173489 SOS 41342 HAS SOPS 41342 HAS SOUS 19289 HAS SOUPS 19289 WITH SCORE 19330.342
AT ITER 1676 NEW BEST:: SOT 173472 SOS 41259 HAS SOPS 41259 HAS SOUS 19250 HAS SOUPS 19250 WITH SCORE 19291.259
AT ITER 1696 NEW BEST:: SOT 173472 SOS 41259 HAS SOPS 41259 HAS SOUS 19244 HAS SOUPS 19244 WITH SCORE 19285.259
AT ITER 1769 NEW BEST:: SOT 173440 SOS 41316 HAS SOPS 41316 HAS SOUS 19229 HAS SOUPS 19229 WITH SCORE 19270.316
AT ITER 1771 NEW BEST:: SOT 173438 SOS 41302 HAS SOPS 41302 HAS SOUS 19223 HAS SOUPS 19223 WITH SCORE 19264.302
AT ITER 1809 NEW BEST:: SOT 173438 SOS 41212 HAS SOPS 41212 HAS SOUS 19193 HAS SOUPS 19193 WITH SCORE 19234.212
AT ITER 1817 NEW BEST:: SOT 173358 SOS 41052 HAS SOPS 41052 HAS SOUS 19097 HAS SOUPS 19097 WITH SCORE 19138.052
AT ITER 1828 NEW BEST:: SOT 173351 SOS 40876 HAS SOPS 40876 HAS SOUS 19053 HAS SOUPS 19053 WITH SCORE 19093.876
AT ITER 1848 NEW BEST:: SOT 173351 SOS 40876 HAS SOPS 40876 HAS SOUS 19038 HAS SOUPS 19038 WITH SCORE 19078.876
AT ITER 1867 NEW BEST:: SOT 173351 SOS 40875 HAS SOPS 40875 HAS SOUS 19037 HAS SOUPS 19037 WITH SCORE 19077.875
AT ITER 1971 NEW BEST:: SOT 173351 SOS 40781 HAS SOPS 40781 HAS SOUS 19027 HAS SOUPS 19027 WITH SCORE 19067.781
AT ITER 1981 NEW BEST:: SOT 173347 SOS 40777 HAS SOPS 40777 HAS SOUS 19027 HAS SOUPS 19027 WITH SCORE 19067.777
AT ITER 1985 NEW BEST:: SOT 173345 SOS 40770 HAS SOPS 40770 HAS SOUS 19020 HAS SOUPS 19020 WITH SCORE 19060.77
AT ITER 2025 NEW BEST:: SOT 173300 SOS 40725 HAS SOPS 40725 HAS SOUS 18975 HAS SOUPS 18975 WITH SCORE 19015.725
AT ITER 2071 NEW BEST:: SOT 173298 SOS 40723 HAS SOPS 40723 HAS SOUS 18973 HAS SOUPS 18973 WITH SCORE 19013.723
AT ITER 2096 NEW BEST:: SOT 173286 SOS 40711 HAS SOPS 40711 HAS SOUS 18961 HAS SOUPS 18961 WITH SCORE 19001.711
AT ITER 2152 NEW BEST:: SOT 173286 SOS 40740 HAS SOPS 40740 HAS SOUS 18954 HAS SOUPS 18954 WITH SCORE 18994.74
AT ITER 2170 NEW BEST:: SOT 173286 SOS 40650 HAS SOPS 40650 HAS SOUS 18928 HAS SOUPS 18928 WITH SCORE 18968.65
AT ITER 2176 NEW BEST:: SOT 173283 SOS 40647 HAS SOPS 40647 HAS SOUS 18922 HAS SOUPS 18922 WITH SCORE 18962.647
AT ITER 2198 NEW BEST:: SOT 173280 SOS 40641 HAS SOPS 40641 HAS SOUS 18916 HAS SOUPS 18916 WITH SCORE 18956.641
AT ITER 2235 NEW BEST:: SOT 173245 SOS 40539 HAS SOPS 40539 HAS SOUS 18874 HAS SOUPS 18874 WITH SCORE 18914.539
AT ITER 2291 NEW BEST:: SOT 173245 SOS 40539 HAS SOPS 40539 HAS SOUS 18866 HAS SOUPS 18866 WITH SCORE 18906.539
AT ITER 2302 NEW BEST:: SOT 173215 SOS 40497 HAS SOPS 40497 HAS SOUS 18802 HAS SOUPS 18802 WITH SCORE 18842.497
AT ITER 2333 NEW BEST:: SOT 173227 SOS 40505 HAS SOPS 40505 HAS SOUS 18782 HAS SOUPS 18782 WITH SCORE 18822.505
AT ITER 2350 NEW BEST:: SOT 173197 SOS 40439 HAS SOPS 40439 HAS SOUS 18740 HAS SOUPS 18740 WITH SCORE 18780.439
AT ITER 2386 NEW BEST:: SOT 173184 SOS 40426 HAS SOPS 40426 HAS SOUS 18740 HAS SOUPS 18740 WITH SCORE 18780.426
AT ITER 2387 NEW BEST:: SOT 173184 SOS 40414 HAS SOPS 40414 HAS SOUS 18736 HAS SOUPS 18736 WITH SCORE 18776.414
AT ITER 2439 NEW BEST:: SOT 173184 SOS 40324 HAS SOPS 40324 HAS SOUS 18706 HAS SOUPS 18706 WITH SCORE 18746.324
AT ITER 2475 NEW BEST:: SOT 173175 SOS 40315 HAS SOPS 40315 HAS SOUS 18697 HAS SOUPS 18697 WITH SCORE 18737.315
AT ITER 2583 NEW BEST:: SOT 173175 SOS 40315 HAS SOPS 40315 HAS SOUS 18690 HAS SOUPS 18690 WITH SCORE 18730.315
AT ITER 2692 NEW BEST:: SOT 173174 SOS 40314 HAS SOPS 40314 HAS SOUS 18689 HAS SOUPS 18689 WITH SCORE 18729.314
AT ITER 2699 NEW BEST:: SOT 173158 SOS 40202 HAS SOPS 40202 HAS SOUS 18641 HAS SOUPS 18641 WITH SCORE 18681.202
AT ITER 2704 NEW BEST:: SOT 173169 SOS 40213 HAS SOPS 40213 HAS SOUS 18634 HAS SOUPS 18634 WITH SCORE 18674.213
AT ITER 2775 NEW BEST:: SOT 173154 SOS 40198 HAS SOPS 40198 HAS SOUS 18619 HAS SOUPS 18619 WITH SCORE 18659.198
AT ITER 2810 NEW BEST:: SOT 173149 SOS 40170 HAS SOPS 40170 HAS SOUS 18615 HAS SOUPS 18615 WITH SCORE 18655.17
AT ITER 2869 NEW BEST:: SOT 173137 SOS 40139 HAS SOPS 40139 HAS SOUS 18584 HAS SOUPS 18584 WITH SCORE 18624.139
AT ITER 2889 NEW BEST:: SOT 173137 SOS 40103 HAS SOPS 40103 HAS SOUS 18572 HAS SOUPS 18572 WITH SCORE 18612.103
AT ITER 2904 NEW BEST:: SOT 173132 SOS 40085 HAS SOPS 40085 HAS SOUS 18566 HAS SOUPS 18566 WITH SCORE 18606.085
AT ITER 2951 NEW BEST:: SOT 173143 SOS 40096 HAS SOPS 40096 HAS SOUS 18564 HAS SOUPS 18564 WITH SCORE 18604.096
AT ITER 2957 NEW BEST:: SOT 173139 SOS 40088 HAS SOPS 40088 HAS SOUS 18556 HAS SOUPS 18556 WITH SCORE 18596.088
AT ITER 2963 NEW BEST:: SOT 173139 SOS 39999 HAS SOPS 39999 HAS SOUS 18551 HAS SOUPS 18551 WITH SCORE 18590.999
AT ITER 2967 NEW BEST:: SOT 173137 SOS 39997 HAS SOPS 39997 HAS SOUS 18549 HAS SOUPS 18549 WITH SCORE 18588.997
AT ITER 2986 NEW BEST:: SOT 173130 SOS 39990 HAS SOPS 39990 HAS SOUS 18549 HAS SOUPS 18549 WITH SCORE 18588.99
AT ITER 2995 NEW BEST:: SOT 173128 SOS 39986 HAS SOPS 39986 HAS SOUS 18545 HAS SOUPS 18545 WITH SCORE 18584.986
AT ITER 2998 NEW BEST:: SOT 173088 SOS 39964 HAS SOPS 39964 HAS SOUS 18523 HAS SOUPS 18523 WITH SCORE 18562.964
AT ITER 3055 NEW BEST:: SOT 173088 SOS 39975 HAS SOPS 39975 HAS SOUS 18518 HAS SOUPS 18518 WITH SCORE 18557.975
AT ITER 3068 NEW BEST:: SOT 173068 SOS 39923 HAS SOPS 39923 HAS SOUS 18494 HAS SOUPS 18494 WITH SCORE 18533.923
AT ITER 3081 NEW BEST:: SOT 173068 SOS 39906 HAS SOPS 39906 HAS SOUS 18493 HAS SOUPS 18493 WITH SCORE 18532.906
AT ITER 3134 NEW BEST:: SOT 173067 SOS 39887 HAS SOPS 39887 HAS SOUS 18486 HAS SOUPS 18486 WITH SCORE 18525.887
AT ITER 3172 NEW BEST:: SOT 173043 SOS 39839 HAS SOPS 39839 HAS SOUS 18454 HAS SOUPS 18454 WITH SCORE 18493.839
AT ITER 3194 NEW BEST:: SOT 173043 SOS 39797 HAS SOPS 39797 HAS SOUS 18440 HAS SOUPS 18440 WITH SCORE 18479.797
AT ITER 3393 NEW BEST:: SOT 173043 SOS 39683 HAS SOPS 39683 HAS SOUS 18422 HAS SOUPS 18422 WITH SCORE 18461.683
AT ITER 3419 NEW BEST:: SOT 172987 SOS 39627 HAS SOPS 39627 HAS SOUS 18366 HAS SOUPS 18366 WITH SCORE 18405.627
AT ITER 3450 NEW BEST:: SOT 172985 SOS 39625 HAS SOPS 39625 HAS SOUS 18364 HAS SOUPS 18364 WITH SCORE 18403.625
AT ITER 3458 NEW BEST:: SOT 172985 SOS 39615 HAS SOPS 39615 HAS SOUS 18358 HAS SOUPS 18358 WITH SCORE 18397.615
AT ITER 3492 NEW BEST:: SOT 172980 SOS 39569 HAS SOPS 39569 HAS SOUS 18352 HAS SOUPS 18352 WITH SCORE 18391.569
AT ITER 3628 NEW BEST:: SOT 172980 SOS 39586 HAS SOPS 39586 HAS SOUS 18349 HAS SOUPS 18349 WITH SCORE 18388.586
AT ITER 3689 NEW BEST:: SOT 172980 SOS 39681 HAS SOPS 39681 HAS SOUS 18296 HAS SOUPS 18296 WITH SCORE 18335.681
AT ITER 3757 NEW BEST:: SOT 172976 SOS 39657 HAS SOPS 39657 HAS SOUS 18288 HAS SOUPS 18288 WITH SCORE 18327.657
AT ITER 3796 NEW BEST:: SOT 172906 SOS 39601 HAS SOPS 39601 HAS SOUS 18260 HAS SOUPS 18260 WITH SCORE 18299.601
AT ITER 3797 NEW BEST:: SOT 172901 SOS 39591 HAS SOPS 39591 HAS SOUS 18254 HAS SOUPS 18254 WITH SCORE 18293.591
AT ITER 3818 NEW BEST:: SOT 172901 SOS 39591 HAS SOPS 39591 HAS SOUS 18253 HAS SOUPS 18253 WITH SCORE 18292.591
AT ITER 3824 NEW BEST:: SOT 172910 SOS 39440 HAS SOPS 39440 HAS SOUS 18230 HAS SOUPS 18230 WITH SCORE 18269.44
AT ITER 3825 NEW BEST:: SOT 172905 SOS 39410 HAS SOPS 39410 HAS SOUS 18220 HAS SOUPS 18220 WITH SCORE 18259.41
AT ITER 3837 NEW BEST:: SOT 172889 SOS 39370 HAS SOPS 39370 HAS SOUS 18220 HAS SOUPS 18220 WITH SCORE 18259.37
AT ITER 3853 NEW BEST:: SOT 172881 SOS 39377 HAS SOPS 39377 HAS SOUS 18203 HAS SOUPS 18203 WITH SCORE 18242.377
AT ITER 3879 NEW BEST:: SOT 172881 SOS 39372 HAS SOPS 39372 HAS SOUS 18202 HAS SOUPS 18202 WITH SCORE 18241.372
AT ITER 3899 NEW BEST:: SOT 172881 SOS 39359 HAS SOPS 39359 HAS SOUS 18189 HAS SOUPS 18189 WITH SCORE 18228.359
AT ITER 3992 NEW BEST:: SOT 172861 SOS 39335 HAS SOPS 39335 HAS SOUS 18133 HAS SOUPS 18133 WITH SCORE 18172.335
AT ITER 4099 NEW BEST:: SOT 172857 SOS 39333 HAS SOPS 39333 HAS SOUS 18131 HAS SOUPS 18131 WITH SCORE 18170.333
AT ITER 4149 NEW BEST:: SOT 172850 SOS 39326 HAS SOPS 39326 HAS SOUS 18098 HAS SOUPS 18098 WITH SCORE 18137.326
AT ITER 4162 NEW BEST:: SOT 172785 SOS 39248 HAS SOPS 39248 HAS SOUS 18032 HAS SOUPS 18032 WITH SCORE 18071.248
AT ITER 4186 NEW BEST:: SOT 172765 SOS 39189 HAS SOPS 39189 HAS SOUS 18013 HAS SOUPS 18013 WITH SCORE 18052.189
AT ITER 4217 NEW BEST:: SOT 172750 SOS 39168 HAS SOPS 39168 HAS SOUS 17986 HAS SOUPS 17986 WITH SCORE 18025.168
AT ITER 4236 NEW BEST:: SOT 172710 SOS 39080 HAS SOPS 39080 HAS SOUS 17930 HAS SOUPS 17930 WITH SCORE 17969.08
AT ITER 4242 NEW BEST:: SOT 172707 SOS 39056 HAS SOPS 39056 HAS SOUS 17922 HAS SOUPS 17922 WITH SCORE 17961.056
AT ITER 4250 NEW BEST:: SOT 172690 SOS 39039 HAS SOPS 39039 HAS SOUS 17907 HAS SOUPS 17907 WITH SCORE 17946.039
AT ITER 4276 NEW BEST:: SOT 172690 SOS 38983 HAS SOPS 38983 HAS SOUS 17907 HAS SOUPS 17907 WITH SCORE 17945.983
AT ITER 4336 NEW BEST:: SOT 172686 SOS 38979 HAS SOPS 38979 HAS SOUS 17903 HAS SOUPS 17903 WITH SCORE 17941.979
AT ITER 4382 NEW BEST:: SOT 172685 SOS 38973 HAS SOPS 38973 HAS SOUS 17901 HAS SOUPS 17901 WITH SCORE 17939.973
AT ITER 4407 NEW BEST:: SOT 172680 SOS 38938 HAS SOPS 38938 HAS SOUS 17886 HAS SOUPS 17886 WITH SCORE 17924.938
AT ITER 4433 NEW BEST:: SOT 172680 SOS 38923 HAS SOPS 38923 HAS SOUS 17883 HAS SOUPS 17883 WITH SCORE 17921.923
AT ITER 4456 NEW BEST:: SOT 172677 SOS 38920 HAS SOPS 38920 HAS SOUS 17880 HAS SOUPS 17880 WITH SCORE 17918.92
AT ITER 4493 NEW BEST:: SOT 172633 SOS 38876 HAS SOPS 38876 HAS SOUS 17836 HAS SOUPS 17836 WITH SCORE 17874.876
AT ITER 4499 NEW BEST:: SOT 172633 SOS 38852 HAS SOPS 38852 HAS SOUS 17828 HAS SOUPS 17828 WITH SCORE 17866.852
AT ITER 4527 NEW BEST:: SOT 172633 SOS 38768 HAS SOPS 38768 HAS SOUS 17800 HAS SOUPS 17800 WITH SCORE 17838.768
AT ITER 4528 NEW BEST:: SOT 172633 SOS 38762 HAS SOPS 38762 HAS SOUS 17794 HAS SOUPS 17794 WITH SCORE 17832.762
AT ITER 4566 NEW BEST:: SOT 172624 SOS 38773 HAS SOPS 38773 HAS SOUS 17789 HAS SOUPS 17789 WITH SCORE 17827.773
AT ITER 4625 NEW BEST:: SOT 172628 SOS 38707 HAS SOPS 38707 HAS SOUS 17779 HAS SOUPS 17779 WITH SCORE 17817.707
AT ITER 4645 NEW BEST:: SOT 172628 SOS 38707 HAS SOPS 38707 HAS SOUS 17774 HAS SOUPS 17774 WITH SCORE 17812.707
AT ITER 4718 NEW BEST:: SOT 172618 SOS 38655 HAS SOPS 38655 HAS SOUS 17750 HAS SOUPS 17750 WITH SCORE 17788.655
AT ITER 4727 NEW BEST:: SOT 172622 SOS 38638 HAS SOPS 38638 HAS SOUS 17733 HAS SOUPS 17733 WITH SCORE 17771.638
AT ITER 4731 NEW BEST:: SOT 172622 SOS 38608 HAS SOPS 38608 HAS SOUS 17723 HAS SOUPS 17723 WITH SCORE 17761.608
AT ITER 4780 NEW BEST:: SOT 172609 SOS 38553 HAS SOPS 38553 HAS SOUS 17676 HAS SOUPS 17676 WITH SCORE 17714.553
AT ITER 4878 NEW BEST:: SOT 172606 SOS 38550 HAS SOPS 38550 HAS SOUS 17673 HAS SOUPS 17673 WITH SCORE 17711.55
AT ITER 4962 NEW BEST:: SOT 172606 SOS 38505 HAS SOPS 38505 HAS SOUS 17664 HAS SOUPS 17664 WITH SCORE 17702.505
AT ITER 5004 NEW BEST:: SOT 172606 SOS 38503 HAS SOPS 38503 HAS SOUS 17662 HAS SOUPS 17662 WITH SCORE 17700.503
AT ITER 5014 NEW BEST:: SOT 172606 SOS 38495 HAS SOPS 38495 HAS SOUS 17654 HAS SOUPS 17654 WITH SCORE 17692.495
AT ITER 5021 NEW BEST:: SOT 172600 SOS 38429 HAS SOPS 38429 HAS SOUS 17628 HAS SOUPS 17628 WITH SCORE 17666.429
AT ITER 5144 NEW BEST:: SOT 172600 SOS 38426 HAS SOPS 38426 HAS SOUS 17625 HAS SOUPS 17625 WITH SCORE 17663.426
AT ITER 5157 NEW BEST:: SOT 172545 SOS 38340 HAS SOPS 38340 HAS SOUS 17595 HAS SOUPS 17595 WITH SCORE 17633.34
AT ITER 5163 NEW BEST:: SOT 172529 SOS 38329 HAS SOPS 38329 HAS SOUS 17580 HAS SOUPS 17580 WITH SCORE 17618.329
AT ITER 5202 NEW BEST:: SOT 172513 SOS 38313 HAS SOPS 38313 HAS SOUS 17520 HAS SOUPS 17520 WITH SCORE 17558.313
AT ITER 5273 NEW BEST:: SOT 172506 SOS 38299 HAS SOPS 38299 HAS SOUS 17506 HAS SOUPS 17506 WITH SCORE 17544.299
AT ITER 5276 NEW BEST:: SOT 172503 SOS 38276 HAS SOPS 38276 HAS SOUS 17495 HAS SOUPS 17495 WITH SCORE 17533.276
AT ITER 5310 NEW BEST:: SOT 172503 SOS 38238 HAS SOPS 38238 HAS SOUS 17489 HAS SOUPS 17489 WITH SCORE 17527.238
AT ITER 5326 NEW BEST:: SOT 172503 SOS 38238 HAS SOPS 38238 HAS SOUS 17471 HAS SOUPS 17471 WITH SCORE 17509.238
AT ITER 5363 NEW BEST:: SOT 172468 SOS 38185 HAS SOPS 38185 HAS SOUS 17430 HAS SOUPS 17430 WITH SCORE 17468.185
AT ITER 5429 NEW BEST:: SOT 172466 SOS 38171 HAS SOPS 38171 HAS SOUS 17424 HAS SOUPS 17424 WITH SCORE 17462.171
AT ITER 5455 NEW BEST:: SOT 172443 SOS 38130 HAS SOPS 38130 HAS SOUS 17395 HAS SOUPS 17395 WITH SCORE 17433.13
AT ITER 5467 NEW BEST:: SOT 172443 SOS 38151 HAS SOPS 38151 HAS SOUS 17392 HAS SOUPS 17392 WITH SCORE 17430.151
AT ITER 5498 NEW BEST:: SOT 172430 SOS 38095 HAS SOPS 38095 HAS SOUS 17368 HAS SOUPS 17368 WITH SCORE 17406.095
AT ITER 5506 NEW BEST:: SOT 172429 SOS 38088 HAS SOPS 38088 HAS SOUS 17361 HAS SOUPS 17361 WITH SCORE 17399.088
AT ITER 5513 NEW BEST:: SOT 172431 SOS 38057 HAS SOPS 38057 HAS SOUS 17358 HAS SOUPS 17358 WITH SCORE 17396.057
AT ITER 5553 NEW BEST:: SOT 172431 SOS 38057 HAS SOPS 38057 HAS SOUS 17335 HAS SOUPS 17335 WITH SCORE 17373.057
AT ITER 5639 NEW BEST:: SOT 172400 SOS 38011 HAS SOPS 38011 HAS SOUS 17301 HAS SOUPS 17301 WITH SCORE 17339.011
AT ITER 5658 NEW BEST:: SOT 172400 SOS 38011 HAS SOPS 38011 HAS SOUS 17245 HAS SOUPS 17245 WITH SCORE 17283.011
AT ITER 5775 NEW BEST:: SOT 172400 SOS 37997 HAS SOPS 37997 HAS SOUS 17243 HAS SOUPS 17243 WITH SCORE 17280.997
AT ITER 5843 NEW BEST:: SOT 172400 SOS 37997 HAS SOPS 37997 HAS SOUS 17219 HAS SOUPS 17219 WITH SCORE 17256.997
AT ITER 5869 NEW BEST:: SOT 172399 SOS 37991 HAS SOPS 37991 HAS SOUS 17217 HAS SOUPS 17217 WITH SCORE 17254.991
AT ITER 5880 NEW BEST:: SOT 172399 SOS 37959 HAS SOPS 37959 HAS SOUS 17217 HAS SOUPS 17217 WITH SCORE 17254.959
AT ITER 5886 NEW BEST:: SOT 172399 SOS 37939 HAS SOPS 37939 HAS SOUS 17217 HAS SOUPS 17217 WITH SCORE 17254.939
AT ITER 5975 NEW BEST:: SOT 172399 SOS 37939 HAS SOPS 37939 HAS SOUS 17208 HAS SOUPS 17208 WITH SCORE 17245.939
AT ITER 5999 NEW BEST:: SOT 172399 SOS 37891 HAS SOPS 37891 HAS SOUS 17208 HAS SOUPS 17208 WITH SCORE 17245.891
AT ITER 6003 NEW BEST:: SOT 172389 SOS 37883 HAS SOPS 37883 HAS SOUS 17200 HAS SOUPS 17200 WITH SCORE 17237.883
AT ITER 6006 NEW BEST:: SOT 172389 SOS 37871 HAS SOPS 37871 HAS SOUS 17196 HAS SOUPS 17196 WITH SCORE 17233.871
AT ITER 6085 NEW BEST:: SOT 172361 SOS 37843 HAS SOPS 37843 HAS SOUS 17168 HAS SOUPS 17168 WITH SCORE 17205.843
AT ITER 6105 NEW BEST:: SOT 172329 SOS 37811 HAS SOPS 37811 HAS SOUS 17136 HAS SOUPS 17136 WITH SCORE 17173.811
AT ITER 6149 NEW BEST:: SOT 172329 SOS 37781 HAS SOPS 37781 HAS SOUS 17126 HAS SOUPS 17126 WITH SCORE 17163.781
AT ITER 6155 NEW BEST:: SOT 172325 SOS 37741 HAS SOPS 37741 HAS SOUS 17102 HAS SOUPS 17102 WITH SCORE 17139.741
AT ITER 6158 NEW BEST:: SOT 172325 SOS 37737 HAS SOPS 37737 HAS SOUS 17098 HAS SOUPS 17098 WITH SCORE 17135.737
AT ITER 6171 NEW BEST:: SOT 172325 SOS 37746 HAS SOPS 37746 HAS SOUS 17085 HAS SOUPS 17085 WITH SCORE 17122.746
AT ITER 6175 NEW BEST:: SOT 172325 SOS 37686 HAS SOPS 37686 HAS SOUS 17073 HAS SOUPS 17073 WITH SCORE 17110.686
AT ITER 6226 NEW BEST:: SOT 172320 SOS 37672 HAS SOPS 37672 HAS SOUS 17059 HAS SOUPS 17059 WITH SCORE 17096.672
AT ITER 6282 NEW BEST:: SOT 172322 SOS 37614 HAS SOPS 37614 HAS SOUS 17041 HAS SOUPS 17041 WITH SCORE 17078.614
AT ITER 6395 NEW BEST:: SOT 172322 SOS 37614 HAS SOPS 37614 HAS SOUS 17039 HAS SOUPS 17039 WITH SCORE 17076.614
AT ITER 6423 NEW BEST:: SOT 172340 SOS 37634 HAS SOPS 37634 HAS SOUS 17026 HAS SOUPS 17026 WITH SCORE 17063.634
AT ITER 6486 NEW BEST:: SOT 172336 SOS 37484 HAS SOPS 37484 HAS SOUS 17004 HAS SOUPS 17004 WITH SCORE 17041.484
AT ITER 6569 NEW BEST:: SOT 172286 SOS 37384 HAS SOPS 37384 HAS SOUS 16944 HAS SOUPS 16944 WITH SCORE 16981.384
AT ITER 6591 NEW BEST:: SOT 172286 SOS 37378 HAS SOPS 37378 HAS SOUS 16942 HAS SOUPS 16942 WITH SCORE 16979.378
AT ITER 6621 NEW BEST:: SOT 172266 SOS 37290 HAS SOPS 37290 HAS SOUS 16918 HAS SOUPS 16918 WITH SCORE 16955.29
AT ITER 6622 NEW BEST:: SOT 172266 SOS 37180 HAS SOPS 37180 HAS SOUS 16896 HAS SOUPS 16896 WITH SCORE 16933.18
AT ITER 6646 NEW BEST:: SOT 172257 SOS 37113 HAS SOPS 37113 HAS SOUS 16865 HAS SOUPS 16865 WITH SCORE 16902.113
AT ITER 6705 NEW BEST:: SOT 172232 SOS 37083 HAS SOPS 37083 HAS SOUS 16835 HAS SOUPS 16835 WITH SCORE 16872.083
AT ITER 6709 NEW BEST:: SOT 172228 SOS 37040 HAS SOPS 37040 HAS SOUS 16820 HAS SOUPS 16820 WITH SCORE 16857.04
AT ITER 6765 NEW BEST:: SOT 172213 SOS 37022 HAS SOPS 37022 HAS SOUS 16802 HAS SOUPS 16802 WITH SCORE 16839.022
AT ITER 6768 NEW BEST:: SOT 172195 SOS 36986 HAS SOPS 36986 HAS SOUS 16766 HAS SOUPS 16766 WITH SCORE 16802.986
AT ITER 6789 NEW BEST:: SOT 172185 SOS 36976 HAS SOPS 36976 HAS SOUS 16720 HAS SOUPS 16720 WITH SCORE 16756.976
AT ITER 6805 NEW BEST:: SOT 172185 SOS 36934 HAS SOPS 36934 HAS SOUS 16706 HAS SOUPS 16706 WITH SCORE 16742.934
AT ITER 6829 NEW BEST:: SOT 172185 SOS 36906 HAS SOPS 36906 HAS SOUS 16706 HAS SOUPS 16706 WITH SCORE 16742.906
AT ITER 6848 NEW BEST:: SOT 172182 SOS 36888 HAS SOPS 36888 HAS SOUS 16700 HAS SOUPS 16700 WITH SCORE 16736.888
AT ITER 6866 NEW BEST:: SOT 172182 SOS 36888 HAS SOPS 36888 HAS SOUS 16686 HAS SOUPS 16686 WITH SCORE 16722.888
AT ITER 6874 NEW BEST:: SOT 172182 SOS 36858 HAS SOPS 36858 HAS SOUS 16676 HAS SOUPS 16676 WITH SCORE 16712.858
AT ITER 6936 NEW BEST:: SOT 172182 SOS 36851 HAS SOPS 36851 HAS SOUS 16669 HAS SOUPS 16669 WITH SCORE 16705.851
AT ITER 7372 NEW BEST:: SOT 172198 SOS 36723 HAS SOPS 36723 HAS SOUS 16669 HAS SOUPS 16669 WITH SCORE 16705.723
AT ITER 7380 NEW BEST:: SOT 172198 SOS 36723 HAS SOPS 36723 HAS SOUS 16649 HAS SOUPS 16649 WITH SCORE 16685.723
AT ITER 7435 NEW BEST:: SOT 172198 SOS 36716 HAS SOPS 36716 HAS SOUS 16642 HAS SOUPS 16642 WITH SCORE 16678.716
AT ITER 7541 NEW BEST:: SOT 172196 SOS 36704 HAS SOPS 36704 HAS SOUS 16638 HAS SOUPS 16638 WITH SCORE 16674.704
AT ITER 7572 NEW BEST:: SOT 172190 SOS 36698 HAS SOPS 36698 HAS SOUS 16632 HAS SOUPS 16632 WITH SCORE 16668.698
AT ITER 7682 NEW BEST:: SOT 172180 SOS 36686 HAS SOPS 36686 HAS SOUS 16608 HAS SOUPS 16608 WITH SCORE 16644.686
AT ITER 7689 NEW BEST:: SOT 172178 SOS 36684 HAS SOPS 36684 HAS SOUS 16606 HAS SOUPS 16606 WITH SCORE 16642.684
AT ITER 7741 NEW BEST:: SOT 172176 SOS 36682 HAS SOPS 36682 HAS SOUS 16604 HAS SOUPS 16604 WITH SCORE 16640.682
AT ITER 7754 NEW BEST:: SOT 172176 SOS 36678 HAS SOPS 36678 HAS SOUS 16600 HAS SOUPS 16600 WITH SCORE 16636.678
AT ITER 7922 NEW BEST:: SOT 172165 SOS 36601 HAS SOPS 36601 HAS SOUS 16567 HAS SOUPS 16567 WITH SCORE 16603.601
AT ITER 7939 NEW BEST:: SOT 172150 SOS 36550 HAS SOPS 36550 HAS SOUS 16540 HAS SOUPS 16540 WITH SCORE 16576.55
AT ITER 7953 NEW BEST:: SOT 172150 SOS 36565 HAS SOPS 36565 HAS SOUS 16539 HAS SOUPS 16539 WITH SCORE 16575.565
AT ITER 7996 NEW BEST:: SOT 172160 SOS 36593 HAS SOPS 36593 HAS SOUS 16527 HAS SOUPS 16527 WITH SCORE 16563.593
AT ITER 8089 NEW BEST:: SOT 172159 SOS 36568 HAS SOPS 36568 HAS SOUS 16526 HAS SOUPS 16526 WITH SCORE 16562.568
AT ITER 8116 NEW BEST:: SOT 172159 SOS 36568 HAS SOPS 36568 HAS SOUS 16510 HAS SOUPS 16510 WITH SCORE 16546.568
AT ITER 8263 NEW BEST:: SOT 172159 SOS 36548 HAS SOPS 36548 HAS SOUS 16490 HAS SOUPS 16490 WITH SCORE 16526.548
AT ITER 8297 NEW BEST:: SOT 172135 SOS 36452 HAS SOPS 36452 HAS SOUS 16478 HAS SOUPS 16478 WITH SCORE 16514.452
AT ITER 8338 NEW BEST:: SOT 172135 SOS 36447 HAS SOPS 36447 HAS SOUS 16477 HAS SOUPS 16477 WITH SCORE 16513.447
AT ITER 8394 NEW BEST:: SOT 172110 SOS 36537 HAS SOPS 36537 HAS SOUS 16463 HAS SOUPS 16463 WITH SCORE 16499.537
AT ITER 8396 NEW BEST:: SOT 172110 SOS 36531 HAS SOPS 36531 HAS SOUS 16461 HAS SOUPS 16461 WITH SCORE 16497.531
AT ITER 8403 NEW BEST:: SOT 172107 SOS 36513 HAS SOPS 36513 HAS SOUS 16455 HAS SOUPS 16455 WITH SCORE 16491.513
AT ITER 8426 NEW BEST:: SOT 172103 SOS 36489 HAS SOPS 36489 HAS SOUS 16447 HAS SOUPS 16447 WITH SCORE 16483.489
AT ITER 8442 NEW BEST:: SOT 172106 SOS 36492 HAS SOPS 36492 HAS SOUS 16438 HAS SOUPS 16438 WITH SCORE 16474.492
AT ITER 8450 NEW BEST:: SOT 172093 SOS 36414 HAS SOPS 36414 HAS SOUS 16412 HAS SOUPS 16412 WITH SCORE 16448.414
AT ITER 8479 NEW BEST:: SOT 172038 SOS 36288 HAS SOPS 36288 HAS SOUS 16380 HAS SOUPS 16380 WITH SCORE 16416.288
AT ITER 8708 NEW BEST:: SOT 172054 SOS 36304 HAS SOPS 36304 HAS SOUS 16363 HAS SOUPS 16363 WITH SCORE 16399.304
AT ITER 8746 NEW BEST:: SOT 172014 SOS 36256 HAS SOPS 36256 HAS SOUS 16327 HAS SOUPS 16327 WITH SCORE 16363.256
AT ITER 8751 NEW BEST:: SOT 172014 SOS 36256 HAS SOPS 36256 HAS SOUS 16321 HAS SOUPS 16321 WITH SCORE 16357.256
AT ITER 8763 NEW BEST:: SOT 171994 SOS 36232 HAS SOPS 36232 HAS SOUS 16285 HAS SOUPS 16285 WITH SCORE 16321.232
AT ITER 8863 NEW BEST:: SOT 171984 SOS 36220 HAS SOPS 36220 HAS SOUS 16273 HAS SOUPS 16273 WITH SCORE 16309.22
AT ITER 8886 NEW BEST:: SOT 171977 SOS 36213 HAS SOPS 36213 HAS SOUS 16266 HAS SOUPS 16266 WITH SCORE 16302.213
AT ITER 8939 NEW BEST:: SOT 171977 SOS 36213 HAS SOPS 36213 HAS SOUS 16236 HAS SOUPS 16236 WITH SCORE 16272.213
AT ITER 8946 NEW BEST:: SOT 171972 SOS 36151 HAS SOPS 36151 HAS SOUS 16230 HAS SOUPS 16230 WITH SCORE 16266.151
AT ITER 8963 NEW BEST:: SOT 171972 SOS 36151 HAS SOPS 36151 HAS SOUS 16226 HAS SOUPS 16226 WITH SCORE 16262.151
AT ITER 9031 NEW BEST:: SOT 171972 SOS 36151 HAS SOPS 36151 HAS SOUS 16221 HAS SOUPS 16221 WITH SCORE 16257.151
AT ITER 9098 NEW BEST:: SOT 171972 SOS 36151 HAS SOPS 36151 HAS SOUS 16206 HAS SOUPS 16206 WITH SCORE 16242.151
AT ITER 9189 NEW BEST:: SOT 171974 SOS 36110 HAS SOPS 36110 HAS SOUS 16197 HAS SOUPS 16197 WITH SCORE 16233.11
AT ITER 9284 NEW BEST:: SOT 171962 SOS 36029 HAS SOPS 36029 HAS SOUS 16164 HAS SOUPS 16164 WITH SCORE 16200.029
AT ITER 9311 NEW BEST:: SOT 171895 SOS 35951 HAS SOPS 35951 HAS SOUS 16106 HAS SOUPS 16106 WITH SCORE 16141.951
AT ITER 9368 NEW BEST:: SOT 171895 SOS 35927 HAS SOPS 35927 HAS SOUS 16098 HAS SOUPS 16098 WITH SCORE 16133.927
AT ITER 9372 NEW BEST:: SOT 171895 SOS 35867 HAS SOPS 35867 HAS SOUS 16078 HAS SOUPS 16078 WITH SCORE 16113.867
AT ITER 9375 NEW BEST:: SOT 171881 SOS 35855 HAS SOPS 35855 HAS SOUS 16066 HAS SOUPS 16066 WITH SCORE 16101.855
AT ITER 9438 NEW BEST:: SOT 171879 SOS 35841 HAS SOPS 35841 HAS SOUS 16060 HAS SOUPS 16060 WITH SCORE 16095.841
AT ITER 9568 NEW BEST:: SOT 171879 SOS 35841 HAS SOPS 35841 HAS SOUS 16040 HAS SOUPS 16040 WITH SCORE 16075.841
AT ITER 9596 NEW BEST:: SOT 171875 SOS 35817 HAS SOPS 35817 HAS SOUS 16032 HAS SOUPS 16032 WITH SCORE 16067.817
AT ITER 9643 NEW BEST:: SOT 171871 SOS 35788 HAS SOPS 35788 HAS SOUS 16027 HAS SOUPS 16027 WITH SCORE 16062.788
AT ITER 9719 NEW BEST:: SOT 171865 SOS 35776 HAS SOPS 35776 HAS SOUS 16023 HAS SOUPS 16023 WITH SCORE 16058.776
AT ITER 9736 NEW BEST:: SOT 171865 SOS 35773 HAS SOPS 35773 HAS SOUS 16020 HAS SOUPS 16020 WITH SCORE 16055.773
AT ITER 9750 NEW BEST:: SOT 171864 SOS 35771 HAS SOPS 35771 HAS SOUS 16018 HAS SOUPS 16018 WITH SCORE 16053.771
AT ITER 9874 NEW BEST:: SOT 171862 SOS 35778 HAS SOPS 35778 HAS SOUS 16013 HAS SOUPS 16013 WITH SCORE 16048.778
AT ITER 9889 NEW BEST:: SOT 171852 SOS 35766 HAS SOPS 35766 HAS SOUS 16001 HAS SOUPS 16001 WITH SCORE 16036.766
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="HexagonalGrid-PT-316"
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 HexagonalGrid-PT-316, 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 r093-oct2-158940140100104"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/HexagonalGrid-PT-316.tgz
mv HexagonalGrid-PT-316 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 '
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 ;