About the Execution of Smart+red for DLCflexbar-PT-3a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16216.712 | 2043952.00 | 2070509.00 | 15514.30 | [undef] | Cannot compute |
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.r107-tall-167814484300528.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 smartxred
Input is DLCflexbar-PT-3a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814484300528
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.5M
-rw-r--r-- 1 mcc users 6.7K Feb 25 16:53 CTLCardinality.txt
-rw-r--r-- 1 mcc users 72K Feb 25 16:53 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.4K Feb 25 16:04 CTLFireability.txt
-rw-r--r-- 1 mcc users 37K Feb 25 16:04 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.0K Feb 25 15:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 31K Feb 25 15:51 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:51 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 25 18:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 157K Feb 25 18:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.4K Feb 25 17:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 81K Feb 25 17:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:51 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:51 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 996K Mar 5 18:22 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1678384101159
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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DLCflexbar-PT-3a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 17:48:22] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 17:48:22] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 17:48:22] [INFO ] Load time of PNML (sax parser for PT used): 147 ms
[2023-03-09 17:48:22] [INFO ] Transformed 581 places.
[2023-03-09 17:48:23] [INFO ] Transformed 3891 transitions.
[2023-03-09 17:48:23] [INFO ] Found NUPN structural information;
[2023-03-09 17:48:23] [INFO ] Parsed PT model containing 581 places and 3891 transitions and 14956 arcs in 382 ms.
[2023-03-09 17:48:23] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 581 places, 3891 transitions and 14956 arcs took 28 ms.
Total runtime 436 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCflexbar (PT), instance 3a
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart
Filename model.pnml
Petri model created: 581 places, 3891 transitions, 14956 arcs.
AT ITER 0 NEW BEST:: SOT 1438676 SOS 1163956 HAS SOPS 599536 HAS SOUS 123311 HAS SOUPS 58506 WITH SCORE 59669.956
AT ITER 1 NEW BEST:: SOT 1437925 SOS 1165687 HAS SOPS 599937 HAS SOUS 122700 HAS SOUPS 57895 WITH SCORE 59060.687
AT ITER 4 NEW BEST:: SOT 1437195 SOS 1168110 HAS SOPS 600740 HAS SOUS 122324 HAS SOUPS 57519 WITH SCORE 58687.11
AT ITER 8 NEW BEST:: SOT 1437195 SOS 1168110 HAS SOPS 600740 HAS SOUS 122282 HAS SOUPS 57477 WITH SCORE 58645.11
AT ITER 11 NEW BEST:: SOT 1437195 SOS 1168110 HAS SOPS 600740 HAS SOUS 122222 HAS SOUPS 57417 WITH SCORE 58585.11
AT ITER 34 NEW BEST:: SOT 1437179 SOS 1168078 HAS SOPS 600708 HAS SOUS 122198 HAS SOUPS 57393 WITH SCORE 58561.078
AT ITER 43 NEW BEST:: SOT 1437179 SOS 1168078 HAS SOPS 600708 HAS SOUS 122138 HAS SOUPS 57333 WITH SCORE 58501.078
AT ITER 53 NEW BEST:: SOT 1436897 SOS 1173112 HAS SOPS 602772 HAS SOUS 122251 HAS SOUPS 57248 WITH SCORE 58421.112
AT ITER 67 NEW BEST:: SOT 1436869 SOS 1173056 HAS SOPS 602716 HAS SOUS 122223 HAS SOUPS 57220 WITH SCORE 58393.056
AT ITER 74 NEW BEST:: SOT 1436862 SOS 1171817 HAS SOPS 601477 HAS SOUS 122223 HAS SOUPS 57220 WITH SCORE 58391.817
AT ITER 82 NEW BEST:: SOT 1436742 SOS 1171577 HAS SOPS 601537 HAS SOUS 121983 HAS SOUPS 57040 WITH SCORE 58211.577
AT ITER 111 NEW BEST:: SOT 1436676 SOS 1171412 HAS SOPS 601372 HAS SOUS 121917 HAS SOUPS 56974 WITH SCORE 58145.412
AT ITER 112 NEW BEST:: SOT 1436460 SOS 1171588 HAS SOPS 601068 HAS SOUS 121793 HAS SOUPS 56818 WITH SCORE 57989.588
AT ITER 113 NEW BEST:: SOT 1436306 SOS 1171698 HAS SOPS 600848 HAS SOUS 121705 HAS SOUPS 56708 WITH SCORE 57879.698
AT ITER 120 NEW BEST:: SOT 1436242 SOS 1171538 HAS SOPS 600688 HAS SOUS 121641 HAS SOUPS 56644 WITH SCORE 57815.538
AT ITER 121 NEW BEST:: SOT 1436120 SOS 1171294 HAS SOPS 600749 HAS SOUS 121397 HAS SOUPS 56461 WITH SCORE 57632.294
AT ITER 124 NEW BEST:: SOT 1435966 SOS 1171404 HAS SOPS 600529 HAS SOUS 121309 HAS SOUPS 56351 WITH SCORE 57522.404
AT ITER 153 NEW BEST:: SOT 1435549 SOS 1169009 HAS SOPS 602713 HAS SOUS 121169 HAS SOUPS 56211 WITH SCORE 57380.009
AT ITER 158 NEW BEST:: SOT 1434657 SOS 1171988 HAS SOPS 603732 HAS SOUS 120650 HAS SOUPS 55692 WITH SCORE 56863.988
AT ITER 161 NEW BEST:: SOT 1434646 SOS 1171604 HAS SOPS 603348 HAS SOUS 120640 HAS SOUPS 55682 WITH SCORE 56853.604
AT ITER 180 NEW BEST:: SOT 1434636 SOS 1171810 HAS SOPS 603554 HAS SOUS 120618 HAS SOUPS 55660 WITH SCORE 56831.81
AT ITER 204 NEW BEST:: SOT 1434189 SOS 1174443 HAS SOPS 604747 HAS SOUS 120483 HAS SOUPS 55525 WITH SCORE 56699.443
AT ITER 205 NEW BEST:: SOT 1434172 SOS 1174409 HAS SOPS 604713 HAS SOUS 120466 HAS SOUPS 55508 WITH SCORE 56682.409
AT ITER 239 NEW BEST:: SOT 1434172 SOS 1174409 HAS SOPS 604713 HAS SOUS 120426 HAS SOUPS 55468 WITH SCORE 56642.409
AT ITER 241 NEW BEST:: SOT 1434183 SOS 1173367 HAS SOPS 604241 HAS SOUS 120323 HAS SOUPS 55403 WITH SCORE 56576.367
AT ITER 258 NEW BEST:: SOT 1433762 SOS 1171154 HAS SOPS 606436 HAS SOUS 119910 HAS SOUPS 54990 WITH SCORE 56161.154
AT ITER 266 NEW BEST:: SOT 1433644 SOS 1170918 HAS SOPS 606495 HAS SOUS 119674 HAS SOUPS 54813 WITH SCORE 55983.918
AT ITER 269 NEW BEST:: SOT 1432957 SOS 1172577 HAS SOPS 606844 HAS SOUS 119071 HAS SOUPS 54210 WITH SCORE 55382.577
AT ITER 292 NEW BEST:: SOT 1432957 SOS 1172577 HAS SOPS 606844 HAS SOUS 119051 HAS SOUPS 54190 WITH SCORE 55362.577
AT ITER 295 NEW BEST:: SOT 1432894 SOS 1172850 HAS SOPS 606802 HAS SOUS 119009 HAS SOUPS 54127 WITH SCORE 55299.85
AT ITER 309 NEW BEST:: SOT 1432816 SOS 1172554 HAS SOPS 607206 HAS SOUS 118793 HAS SOUPS 54051 WITH SCORE 55223.554000000004
AT ITER 321 NEW BEST:: SOT 1432816 SOS 1172554 HAS SOPS 607206 HAS SOUS 118733 HAS SOUPS 53991 WITH SCORE 55163.554000000004
AT ITER 325 NEW BEST:: SOT 1432794 SOS 1172497 HAS SOPS 607149 HAS SOUS 118711 HAS SOUPS 53969 WITH SCORE 55141.497
AT ITER 345 NEW BEST:: SOT 1432154 SOS 1174717 HAS SOPS 607869 HAS SOUS 118333 HAS SOUPS 53591 WITH SCORE 54765.717
AT ITER 362 NEW BEST:: SOT 1431413 SOS 1173052 HAS SOPS 607119 HAS SOUS 117944 HAS SOUPS 53385 WITH SCORE 54558.052
AT ITER 371 NEW BEST:: SOT 1431086 SOS 1173899 HAS SOPS 606811 HAS SOUS 117717 HAS SOUPS 53081 WITH SCORE 54254.899
AT ITER 378 NEW BEST:: SOT 1430618 SOS 1174776 HAS SOPS 606728 HAS SOUS 117384 HAS SOUPS 52748 WITH SCORE 53922.776
AT ITER 388 NEW BEST:: SOT 1430618 SOS 1174776 HAS SOPS 606728 HAS SOUS 117350 HAS SOUPS 52714 WITH SCORE 53888.776
AT ITER 410 NEW BEST:: SOT 1430618 SOS 1174776 HAS SOPS 606728 HAS SOUS 117308 HAS SOUPS 52672 WITH SCORE 53846.776
AT ITER 417 NEW BEST:: SOT 1430258 SOS 1177299 HAS SOPS 608091 HAS SOUS 117064 HAS SOUPS 52428 WITH SCORE 53605.299
AT ITER 422 NEW BEST:: SOT 1429707 SOS 1178527 HAS SOPS 608119 HAS SOUS 116677 HAS SOUPS 52041 WITH SCORE 53219.527
AT ITER 427 NEW BEST:: SOT 1429615 SOS 1178297 HAS SOPS 607889 HAS SOUS 116585 HAS SOUPS 51949 WITH SCORE 53127.297
AT ITER 430 NEW BEST:: SOT 1429505 SOS 1178055 HAS SOPS 607647 HAS SOUS 116519 HAS SOUPS 51883 WITH SCORE 53061.055
AT ITER 431 NEW BEST:: SOT 1429505 SOS 1178055 HAS SOPS 607647 HAS SOUS 116469 HAS SOUPS 51833 WITH SCORE 53011.055
AT ITER 432 NEW BEST:: SOT 1429069 SOS 1176610 HAS SOPS 607157 HAS SOUS 115788 HAS SOUPS 51343 WITH SCORE 52519.61
AT ITER 442 NEW BEST:: SOT 1428965 SOS 1176320 HAS SOPS 607277 HAS SOUS 115602 HAS SOUPS 51239 WITH SCORE 52415.32
AT ITER 457 NEW BEST:: SOT 1428721 SOS 1177540 HAS SOPS 607887 HAS SOUS 115419 HAS SOUPS 51056 WITH SCORE 52233.54
AT ITER 464 NEW BEST:: SOT 1428721 SOS 1177540 HAS SOPS 607887 HAS SOUS 115418 HAS SOUPS 51055 WITH SCORE 52232.54
AT ITER 472 NEW BEST:: SOT 1428683 SOS 1177464 HAS SOPS 607811 HAS SOUS 115380 HAS SOUPS 51017 WITH SCORE 52194.464
AT ITER 479 NEW BEST:: SOT 1428638 SOS 1177374 HAS SOPS 607721 HAS SOUS 115335 HAS SOUPS 50972 WITH SCORE 52149.374
AT ITER 495 NEW BEST:: SOT 1428565 SOS 1177228 HAS SOPS 607815 HAS SOUS 115166 HAS SOUPS 50851 WITH SCORE 52028.228
AT ITER 497 NEW BEST:: SOT 1428497 SOS 1176968 HAS SOPS 608175 HAS SOUS 114974 HAS SOUPS 50783 WITH SCORE 51959.968
AT ITER 510 NEW BEST:: SOT 1428148 SOS 1175808 HAS SOPS 607785 HAS SOUS 114462 HAS SOUPS 50425 WITH SCORE 51600.808
AT ITER 515 NEW BEST:: SOT 1428060 SOS 1176240 HAS SOPS 607737 HAS SOUS 114426 HAS SOUPS 50357 WITH SCORE 51533.24
AT ITER 540 NEW BEST:: SOT 1427992 SOS 1176120 HAS SOPS 607617 HAS SOUS 114368 HAS SOUPS 50299 WITH SCORE 51475.12
AT ITER 543 NEW BEST:: SOT 1427930 SOS 1176152 HAS SOPS 607649 HAS SOUS 114343 HAS SOUPS 50274 WITH SCORE 51450.152
AT ITER 545 NEW BEST:: SOT 1427748 SOS 1179508 HAS SOPS 607525 HAS SOUS 114339 HAS SOUPS 50270 WITH SCORE 51449.508
AT ITER 559 NEW BEST:: SOT 1427748 SOS 1179508 HAS SOPS 607525 HAS SOUS 114295 HAS SOUPS 50226 WITH SCORE 51405.508
AT ITER 563 NEW BEST:: SOT 1427224 SOS 1183387 HAS SOPS 609464 HAS SOUS 114011 HAS SOUPS 49942 WITH SCORE 51125.387
AT ITER 568 NEW BEST:: SOT 1427224 SOS 1183387 HAS SOPS 609464 HAS SOUS 113957 HAS SOUPS 49888 WITH SCORE 51071.387
AT ITER 569 NEW BEST:: SOT 1427266 SOS 1183483 HAS SOPS 609500 HAS SOUS 113963 HAS SOUPS 49882 WITH SCORE 51065.483
AT ITER 571 NEW BEST:: SOT 1427202 SOS 1183355 HAS SOPS 609592 HAS SOUS 113835 HAS SOUPS 49798 WITH SCORE 50981.355
AT ITER 573 NEW BEST:: SOT 1427154 SOS 1183059 HAS SOPS 609871 HAS SOUS 113655 HAS SOUPS 49733 WITH SCORE 50916.059
AT ITER 575 NEW BEST:: SOT 1427477 SOS 1176730 HAS SOPS 610067 HAS SOUS 113650 HAS SOUPS 49728 WITH SCORE 50904.73
AT ITER 577 NEW BEST:: SOT 1426928 SOS 1175522 HAS SOPS 609409 HAS SOUS 113224 HAS SOUPS 49412 WITH SCORE 50587.522
AT ITER 578 NEW BEST:: SOT 1426637 SOS 1176127 HAS SOPS 609279 HAS SOUS 113112 HAS SOUPS 49251 WITH SCORE 50427.127
AT ITER 589 NEW BEST:: SOT 1426181 SOS 1179098 HAS SOPS 610640 HAS SOUS 112795 HAS SOUPS 48934 WITH SCORE 50113.098
AT ITER 591 NEW BEST:: SOT 1426169 SOS 1179013 HAS SOPS 610860 HAS SOUS 112722 HAS SOUPS 48922 WITH SCORE 50101.013
AT ITER 622 NEW BEST:: SOT 1426163 SOS 1179001 HAS SOPS 610878 HAS SOUS 112704 HAS SOUPS 48910 WITH SCORE 50089.001
AT ITER 642 NEW BEST:: SOT 1426186 SOS 1178403 HAS SOPS 610510 HAS SOUS 112704 HAS SOUPS 48910 WITH SCORE 50088.403
AT ITER 658 NEW BEST:: SOT 1426072 SOS 1178043 HAS SOPS 610810 HAS SOUS 112458 HAS SOUPS 48796 WITH SCORE 49974.043
AT ITER 687 NEW BEST:: SOT 1426072 SOS 1178043 HAS SOPS 610810 HAS SOUS 112450 HAS SOUPS 48788 WITH SCORE 49966.043
AT ITER 698 NEW BEST:: SOT 1425844 SOS 1179027 HAS SOPS 610994 HAS SOUS 112342 HAS SOUPS 48680 WITH SCORE 49859.027
AT ITER 713 NEW BEST:: SOT 1425782 SOS 1178903 HAS SOPS 610870 HAS SOUS 112280 HAS SOUPS 48618 WITH SCORE 49796.903
AT ITER 722 NEW BEST:: SOT 1425705 SOS 1178749 HAS SOPS 611246 HAS SOUS 112020 HAS SOUPS 48464 WITH SCORE 49642.749
AT ITER 728 NEW BEST:: SOT 1425740 SOS 1178129 HAS SOPS 611076 HAS SOUS 111970 HAS SOUPS 48444 WITH SCORE 49622.129
AT ITER 743 NEW BEST:: SOT 1425638 SOS 1178065 HAS SOPS 611012 HAS SOUS 111960 HAS SOUPS 48434 WITH SCORE 49612.065
AT ITER 765 NEW BEST:: SOT 1425654 SOS 1177649 HAS SOPS 610756 HAS SOUS 111960 HAS SOUPS 48434 WITH SCORE 49611.649
AT ITER 774 NEW BEST:: SOT 1425290 SOS 1176858 HAS SOPS 609965 HAS SOUS 111722 HAS SOUPS 48196 WITH SCORE 49372.858
AT ITER 779 NEW BEST:: SOT 1425290 SOS 1176858 HAS SOPS 609965 HAS SOUS 111718 HAS SOUPS 48192 WITH SCORE 49368.858
AT ITER 791 NEW BEST:: SOT 1425198 SOS 1176624 HAS SOPS 609731 HAS SOUS 111662 HAS SOUPS 48136 WITH SCORE 49312.624
AT ITER 819 NEW BEST:: SOT 1425138 SOS 1176504 HAS SOPS 609911 HAS SOUS 111542 HAS SOUPS 48076 WITH SCORE 49252.504
AT ITER 836 NEW BEST:: SOT 1424527 SOS 1180671 HAS SOPS 611288 HAS SOUS 111476 HAS SOUPS 47824 WITH SCORE 49004.671
AT ITER 846 NEW BEST:: SOT 1424467 SOS 1181531 HAS SOPS 611798 HAS SOUS 111451 HAS SOUPS 47799 WITH SCORE 48980.531
AT ITER 867 NEW BEST:: SOT 1424339 SOS 1180935 HAS SOPS 611682 HAS SOUS 111157 HAS SOUPS 47601 WITH SCORE 48781.935
AT ITER 873 NEW BEST:: SOT 1423222 SOS 1183824 HAS SOPS 612511 HAS SOUS 110675 HAS SOUPS 47119 WITH SCORE 48302.824
AT ITER 886 NEW BEST:: SOT 1423221 SOS 1183821 HAS SOPS 612508 HAS SOUS 110674 HAS SOUPS 47118 WITH SCORE 48301.820999999996
AT ITER 911 NEW BEST:: SOT 1423221 SOS 1183821 HAS SOPS 612508 HAS SOUS 110616 HAS SOUPS 47060 WITH SCORE 48243.820999999996
AT ITER 917 NEW BEST:: SOT 1423172 SOS 1183148 HAS SOPS 612410 HAS SOUS 110362 HAS SOUPS 46921 WITH SCORE 48104.148
AT ITER 928 NEW BEST:: SOT 1423146 SOS 1183201 HAS SOPS 612358 HAS SOUS 110372 HAS SOUPS 46910 WITH SCORE 48093.201
AT ITER 930 NEW BEST:: SOT 1422597 SOS 1183201 HAS SOPS 611748 HAS SOUS 109945 HAS SOUPS 46483 WITH SCORE 47666.201
AT ITER 932 NEW BEST:: SOT 1422571 SOS 1183149 HAS SOPS 611696 HAS SOUS 109926 HAS SOUPS 46464 WITH SCORE 47647.149
AT ITER 940 NEW BEST:: SOT 1422508 SOS 1183023 HAS SOPS 611570 HAS SOUS 109862 HAS SOUPS 46400 WITH SCORE 47583.023
AT ITER 982 NEW BEST:: SOT 1422348 SOS 1186098 HAS SOPS 613295 HAS SOUS 109837 HAS SOUPS 46375 WITH SCORE 47561.098
AT ITER 998 NEW BEST:: SOT 1422348 SOS 1185984 HAS SOPS 613276 HAS SOUS 109799 HAS SOUPS 46356 WITH SCORE 47541.984
AT ITER 1024 NEW BEST:: SOT 1419021 SOS 1183040 HAS SOPS 611807 HAS SOUS 109863 HAS SOUPS 46308 WITH SCORE 47491.04
AT ITER 1035 NEW BEST:: SOT 1418784 SOS 1182520 HAS SOPS 611517 HAS SOUS 109739 HAS SOUPS 46230 WITH SCORE 47412.52
AT ITER 1064 NEW BEST:: SOT 1418782 SOS 1182166 HAS SOPS 611163 HAS SOUS 109739 HAS SOUPS 46230 WITH SCORE 47412.166
AT ITER 1078 NEW BEST:: SOT 1419167 SOS 1182551 HAS SOPS 611338 HAS SOUS 109704 HAS SOUPS 46195 WITH SCORE 47377.551
AT ITER 1089 NEW BEST:: SOT 1419181 SOS 1182187 HAS SOPS 611114 HAS SOUS 109704 HAS SOUPS 46195 WITH SCORE 47377.187
AT ITER 1106 NEW BEST:: SOT 1418908 SOS 1182538 HAS SOPS 610880 HAS SOUS 109609 HAS SOUPS 46061 WITH SCORE 47243.538
AT ITER 1130 NEW BEST:: SOT 1418908 SOS 1182538 HAS SOPS 610880 HAS SOUS 109591 HAS SOUPS 46043 WITH SCORE 47225.538
AT ITER 1142 NEW BEST:: SOT 1418908 SOS 1182538 HAS SOPS 610880 HAS SOUS 109589 HAS SOUPS 46041 WITH SCORE 47223.538
AT ITER 1143 NEW BEST:: SOT 1418908 SOS 1182463 HAS SOPS 610880 HAS SOUS 109574 HAS SOUPS 46041 WITH SCORE 47223.463
AT ITER 1167 NEW BEST:: SOT 1418609 SOS 1181720 HAS SOPS 610862 HAS SOUS 109310 HAS SOUPS 45922 WITH SCORE 47103.72
AT ITER 1175 NEW BEST:: SOT 1418609 SOS 1181720 HAS SOPS 610862 HAS SOUS 109278 HAS SOUPS 45890 WITH SCORE 47071.72
AT ITER 1179 NEW BEST:: SOT 1418559 SOS 1181620 HAS SOPS 610762 HAS SOUS 109228 HAS SOUPS 45840 WITH SCORE 47021.62
AT ITER 1180 NEW BEST:: SOT 1418486 SOS 1181659 HAS SOPS 610616 HAS SOUS 109228 HAS SOUPS 45803 WITH SCORE 46984.659
AT ITER 1230 NEW BEST:: SOT 1418640 SOS 1181813 HAS SOPS 610686 HAS SOUS 109214 HAS SOUPS 45789 WITH SCORE 46970.813
AT ITER 1241 NEW BEST:: SOT 1418634 SOS 1181801 HAS SOPS 610674 HAS SOUS 109208 HAS SOUPS 45783 WITH SCORE 46964.801
AT ITER 1252 NEW BEST:: SOT 1418465 SOS 1178725 HAS SOPS 609128 HAS SOUS 109078 HAS SOUPS 45755 WITH SCORE 46933.725
AT ITER 1253 NEW BEST:: SOT 1418457 SOS 1178707 HAS SOPS 609120 HAS SOUS 109076 HAS SOUPS 45755 WITH SCORE 46933.707
AT ITER 1268 NEW BEST:: SOT 1418450 SOS 1178693 HAS SOPS 609106 HAS SOUS 109069 HAS SOUPS 45748 WITH SCORE 46926.693
AT ITER 1272 NEW BEST:: SOT 1418445 SOS 1178683 HAS SOPS 609096 HAS SOUS 109059 HAS SOUPS 45738 WITH SCORE 46916.683
AT ITER 1281 NEW BEST:: SOT 1418413 SOS 1178673 HAS SOPS 608816 HAS SOUS 109081 HAS SOUPS 45706 WITH SCORE 46884.673
AT ITER 1306 NEW BEST:: SOT 1418269 SOS 1178361 HAS SOPS 608504 HAS SOUS 109009 HAS SOUPS 45634 WITH SCORE 46812.361
AT ITER 1333 NEW BEST:: SOT 1418269 SOS 1178361 HAS SOPS 608504 HAS SOUS 108999 HAS SOUPS 45624 WITH SCORE 46802.361
AT ITER 1359 NEW BEST:: SOT 1418269 SOS 1178361 HAS SOPS 608504 HAS SOUS 108993 HAS SOUPS 45618 WITH SCORE 46796.361
AT ITER 1369 NEW BEST:: SOT 1418185 SOS 1178206 HAS SOPS 608349 HAS SOUS 108993 HAS SOUPS 45618 WITH SCORE 46796.206
AT ITER 1370 NEW BEST:: SOT 1418185 SOS 1178206 HAS SOPS 608349 HAS SOUS 108933 HAS SOUPS 45558 WITH SCORE 46736.206
AT ITER 1393 NEW BEST:: SOT 1418205 SOS 1178256 HAS SOPS 608399 HAS SOUS 108923 HAS SOUPS 45548 WITH SCORE 46726.256
AT ITER 1403 NEW BEST:: SOT 1418205 SOS 1178256 HAS SOPS 608399 HAS SOUS 108917 HAS SOUPS 45542 WITH SCORE 46720.256
AT ITER 1412 NEW BEST:: SOT 1417598 SOS 1180011 HAS SOPS 608924 HAS SOUS 108882 HAS SOUPS 45507 WITH SCORE 46687.011
AT ITER 1463 NEW BEST:: SOT 1417644 SOS 1179305 HAS SOPS 608954 HAS SOUS 108848 HAS SOUPS 45495 WITH SCORE 46674.305
AT ITER 1468 NEW BEST:: SOT 1417644 SOS 1179305 HAS SOPS 608954 HAS SOUS 108826 HAS SOUPS 45473 WITH SCORE 46652.305
AT ITER 1472 NEW BEST:: SOT 1417537 SOS 1181199 HAS SOPS 608876 HAS SOUS 108816 HAS SOUPS 45463 WITH SCORE 46644.199
AT ITER 1473 NEW BEST:: SOT 1417504 SOS 1181133 HAS SOPS 608810 HAS SOUS 108783 HAS SOUPS 45430 WITH SCORE 46611.133
AT ITER 1479 NEW BEST:: SOT 1417483 SOS 1181223 HAS SOPS 608064 HAS SOUS 108735 HAS SOUPS 45382 WITH SCORE 46563.223
AT ITER 1490 NEW BEST:: SOT 1417483 SOS 1181223 HAS SOPS 608064 HAS SOUS 108713 HAS SOUPS 45360 WITH SCORE 46541.223
AT ITER 1524 NEW BEST:: SOT 1417483 SOS 1181223 HAS SOPS 608064 HAS SOUS 108667 HAS SOUPS 45314 WITH SCORE 46495.223
AT ITER 1541 NEW BEST:: SOT 1417457 SOS 1181161 HAS SOPS 608002 HAS SOUS 108650 HAS SOUPS 45297 WITH SCORE 46478.161
AT ITER 1560 NEW BEST:: SOT 1417503 SOS 1179909 HAS SOPS 607230 HAS SOUS 108648 HAS SOUPS 45295 WITH SCORE 46474.909
AT ITER 1577 NEW BEST:: SOT 1417503 SOS 1179892 HAS SOPS 607213 HAS SOUS 108648 HAS SOUPS 45295 WITH SCORE 46474.892
AT ITER 1589 NEW BEST:: SOT 1417752 SOS 1138945 HAS SOPS 573139 HAS SOUS 108600 HAS SOUPS 45247 WITH SCORE 46385.945
AT ITER 1626 NEW BEST:: SOT 1417752 SOS 1138914 HAS SOPS 573108 HAS SOUS 108600 HAS SOUPS 45247 WITH SCORE 46385.914
AT ITER 1636 NEW BEST:: SOT 1417438 SOS 1139765 HAS SOPS 572939 HAS SOUS 108486 HAS SOUPS 45065 WITH SCORE 46204.765
AT ITER 1657 NEW BEST:: SOT 1417438 SOS 1139763 HAS SOPS 572947 HAS SOUS 108484 HAS SOUPS 45065 WITH SCORE 46204.763
AT ITER 1664 NEW BEST:: SOT 1417446 SOS 1139103 HAS SOPS 572617 HAS SOUS 108448 HAS SOUPS 45051 WITH SCORE 46190.103
AT ITER 1670 NEW BEST:: SOT 1417412 SOS 1138865 HAS SOPS 572549 HAS SOUS 108346 HAS SOUPS 44983 WITH SCORE 46121.865
AT ITER 1719 NEW BEST:: SOT 1417256 SOS 1138813 HAS SOPS 572419 HAS SOUS 108229 HAS SOUPS 44879 WITH SCORE 46017.813
AT ITER 1725 NEW BEST:: SOT 1417497 SOS 1138894 HAS SOPS 572500 HAS SOUS 108128 HAS SOUPS 44778 WITH SCORE 45916.894
AT ITER 1726 NEW BEST:: SOT 1418146 SOS 1142163 HAS SOPS 574257 HAS SOUS 108057 HAS SOUPS 44707 WITH SCORE 45849.163
AT ITER 1743 NEW BEST:: SOT 1418169 SOS 1141335 HAS SOPS 573809 HAS SOUS 108042 HAS SOUPS 44692 WITH SCORE 45833.335
AT ITER 1750 NEW BEST:: SOT 1418139 SOS 1141275 HAS SOPS 573749 HAS SOUS 108012 HAS SOUPS 44662 WITH SCORE 45803.275
AT ITER 1794 NEW BEST:: SOT 1418139 SOS 1141275 HAS SOPS 573749 HAS SOUS 108008 HAS SOUPS 44658 WITH SCORE 45799.275
AT ITER 1796 NEW BEST:: SOT 1417792 SOS 1140182 HAS SOPS 573321 HAS SOUS 107432 HAS SOUPS 44215 WITH SCORE 45355.182
AT ITER 1800 NEW BEST:: SOT 1417775 SOS 1140148 HAS SOPS 573287 HAS SOUS 107415 HAS SOUPS 44198 WITH SCORE 45338.148
AT ITER 1809 NEW BEST:: SOT 1417775 SOS 1140148 HAS SOPS 573287 HAS SOUS 107389 HAS SOUPS 44172 WITH SCORE 45312.148
AT ITER 1814 NEW BEST:: SOT 1417743 SOS 1140194 HAS SOPS 573223 HAS SOUS 107357 HAS SOUPS 44118 WITH SCORE 45258.194
AT ITER 1860 NEW BEST:: SOT 1417759 SOS 1140210 HAS SOPS 573239 HAS SOUS 107353 HAS SOUPS 44114 WITH SCORE 45254.21
AT ITER 1870 NEW BEST:: SOT 1417759 SOS 1139985 HAS SOPS 573014 HAS SOUS 107353 HAS SOUPS 44114 WITH SCORE 45253.985
AT ITER 1903 NEW BEST:: SOT 1417545 SOS 1138717 HAS SOPS 572586 HAS SOUS 106883 HAS SOUPS 43812 WITH SCORE 44950.717
AT ITER 1919 NEW BEST:: SOT 1417420 SOS 1143657 HAS SOPS 572509 HAS SOUS 106784 HAS SOUPS 43713 WITH SCORE 44856.657
AT ITER 1939 NEW BEST:: SOT 1416721 SOS 1145260 HAS SOPS 572642 HAS SOUS 106624 HAS SOUPS 43553 WITH SCORE 44698.26
AT ITER 1963 NEW BEST:: SOT 1416721 SOS 1144952 HAS SOPS 572444 HAS SOUS 106613 HAS SOUPS 43542 WITH SCORE 44686.952
AT ITER 1979 NEW BEST:: SOT 1413914 SOS 1140887 HAS SOPS 570619 HAS SOUS 106374 HAS SOUPS 43480 WITH SCORE 44620.887
AT ITER 1983 NEW BEST:: SOT 1413929 SOS 1141072 HAS SOPS 570329 HAS SOUS 106370 HAS SOUPS 43381 WITH SCORE 44522.072
AT ITER 2031 NEW BEST:: SOT 1413929 SOS 1140986 HAS SOPS 570243 HAS SOUS 106370 HAS SOUPS 43381 WITH SCORE 44521.986
AT ITER 2056 NEW BEST:: SOT 1413876 SOS 1140880 HAS SOPS 570137 HAS SOUS 106317 HAS SOUPS 43328 WITH SCORE 44468.88
AT ITER 2093 NEW BEST:: SOT 1413874 SOS 1140866 HAS SOPS 570133 HAS SOUS 106311 HAS SOUPS 43324 WITH SCORE 44464.866
AT ITER 2117 NEW BEST:: SOT 1413552 SOS 1144051 HAS SOPS 571838 HAS SOUS 106294 HAS SOUPS 43307 WITH SCORE 44451.051
AT ITER 2133 NEW BEST:: SOT 1413487 SOS 1143983 HAS SOPS 571460 HAS SOUS 106208 HAS SOUPS 43159 WITH SCORE 44302.983
AT ITER 2223 NEW BEST:: SOT 1413472 SOS 1143953 HAS SOPS 571430 HAS SOUS 106193 HAS SOUPS 43144 WITH SCORE 44287.953
AT ITER 2238 NEW BEST:: SOT 1413385 SOS 1143750 HAS SOPS 571372 HAS SOUS 106164 HAS SOUPS 43144 WITH SCORE 44287.75
AT ITER 2247 NEW BEST:: SOT 1413359 SOS 1142814 HAS SOPS 571320 HAS SOUS 106138 HAS SOUPS 43144 WITH SCORE 44286.814
AT ITER 2300 NEW BEST:: SOT 1413385 SOS 1142421 HAS SOPS 571372 HAS SOUS 106041 HAS SOUPS 43136 WITH SCORE 44278.421
AT ITER 2310 NEW BEST:: SOT 1413385 SOS 1142421 HAS SOPS 571372 HAS SOUS 106039 HAS SOUPS 43134 WITH SCORE 44276.421
AT ITER 2338 NEW BEST:: SOT 1413339 SOS 1142319 HAS SOPS 571320 HAS SOUS 106013 HAS SOUPS 43118 WITH SCORE 44260.319
AT ITER 2377 NEW BEST:: SOT 1413339 SOS 1142319 HAS SOPS 571320 HAS SOUS 105953 HAS SOUPS 43058 WITH SCORE 44200.319
AT ITER 2380 NEW BEST:: SOT 1413198 SOS 1142607 HAS SOPS 571038 HAS SOUS 105936 HAS SOUPS 42927 WITH SCORE 44069.607
AT ITER 2396 NEW BEST:: SOT 1413107 SOS 1142474 HAS SOPS 570982 HAS SOUS 105929 HAS SOUPS 42927 WITH SCORE 44069.474
AT ITER 2430 NEW BEST:: SOT 1412936 SOS 1142076 HAS SOPS 570864 HAS SOUS 105870 HAS SOUPS 42924 WITH SCORE 44066.076
AT ITER 2448 NEW BEST:: SOT 1412425 SOS 1143537 HAS SOPS 570735 HAS SOUS 105622 HAS SOUPS 42570 WITH SCORE 43713.537
AT ITER 2511 NEW BEST:: SOT 1412391 SOS 1143469 HAS SOPS 570667 HAS SOUS 105588 HAS SOUPS 42536 WITH SCORE 43679.469
AT ITER 2539 NEW BEST:: SOT 1412400 SOS 1143469 HAS SOPS 570667 HAS SOUS 105563 HAS SOUPS 42511 WITH SCORE 43654.469
AT ITER 2547 NEW BEST:: SOT 1412406 SOS 1142081 HAS SOPS 569779 HAS SOUS 105519 HAS SOUPS 42467 WITH SCORE 43609.081
AT ITER 2598 NEW BEST:: SOT 1412246 SOS 1141877 HAS SOPS 568995 HAS SOUS 105385 HAS SOUPS 42217 WITH SCORE 43358.877
AT ITER 2615 NEW BEST:: SOT 1412246 SOS 1141877 HAS SOPS 568995 HAS SOUS 105341 HAS SOUPS 42173 WITH SCORE 43314.877
AT ITER 2647 NEW BEST:: SOT 1412422 SOS 1142273 HAS SOPS 569171 HAS SOUS 105358 HAS SOUPS 42146 WITH SCORE 43288.273
AT ITER 2667 NEW BEST:: SOT 1412427 SOS 1141499 HAS SOPS 568817 HAS SOUS 105295 HAS SOUPS 42111 WITH SCORE 43252.499
AT ITER 2689 NEW BEST:: SOT 1412512 SOS 1132064 HAS SOPS 564312 HAS SOUS 105031 HAS SOUPS 41992 WITH SCORE 43124.064
AT ITER 2711 NEW BEST:: SOT 1412477 SOS 1132049 HAS SOPS 564022 HAS SOUS 105051 HAS SOUPS 41957 WITH SCORE 43089.049
AT ITER 2717 NEW BEST:: SOT 1412324 SOS 1131524 HAS SOPS 563862 HAS SOUS 104763 HAS SOUPS 41742 WITH SCORE 42873.524
AT ITER 2722 NEW BEST:: SOT 1412324 SOS 1131524 HAS SOPS 563862 HAS SOUS 104747 HAS SOUPS 41726 WITH SCORE 42857.524
AT ITER 2728 NEW BEST:: SOT 1412324 SOS 1131524 HAS SOPS 563862 HAS SOUS 104707 HAS SOUPS 41686 WITH SCORE 42817.524
AT ITER 2802 NEW BEST:: SOT 1412438 SOS 1132094 HAS SOPS 563862 HAS SOUS 104808 HAS SOUPS 41673 WITH SCORE 42805.094
AT ITER 2874 NEW BEST:: SOT 1412398 SOS 1132428 HAS SOPS 564016 HAS SOUS 104786 HAS SOUPS 41651 WITH SCORE 42783.428
AT ITER 2912 NEW BEST:: SOT 1412398 SOS 1132428 HAS SOPS 564016 HAS SOUS 104768 HAS SOUPS 41633 WITH SCORE 42765.428
AT ITER 2924 NEW BEST:: SOT 1412398 SOS 1132428 HAS SOPS 564016 HAS SOUS 104738 HAS SOUPS 41603 WITH SCORE 42735.428
AT ITER 2932 NEW BEST:: SOT 1412612 SOS 1132955 HAS SOPS 564048 HAS SOUS 104754 HAS SOUPS 41520 WITH SCORE 42652.955
AT ITER 2965 NEW BEST:: SOT 1412626 SOS 1133008 HAS SOPS 563976 HAS SOUS 104764 HAS SOUPS 41505 WITH SCORE 42638.008
AT ITER 2977 NEW BEST:: SOT 1412626 SOS 1133303 HAS SOPS 563976 HAS SOUS 104763 HAS SOUPS 41445 WITH SCORE 42578.303
AT ITER 2989 NEW BEST:: SOT 1412772 SOS 1130972 HAS SOPS 562605 HAS SOUS 104750 HAS SOUPS 41432 WITH SCORE 42562.972
AT ITER 2990 NEW BEST:: SOT 1412715 SOS 1130702 HAS SOPS 562595 HAS SOUS 104693 HAS SOUPS 41427 WITH SCORE 42557.702
AT ITER 3022 NEW BEST:: SOT 1412715 SOS 1130702 HAS SOPS 562595 HAS SOUS 104677 HAS SOUPS 41411 WITH SCORE 42541.702
AT ITER 3032 NEW BEST:: SOT 1412686 SOS 1130644 HAS SOPS 562537 HAS SOUS 104648 HAS SOUPS 41382 WITH SCORE 42512.644
AT ITER 3039 NEW BEST:: SOT 1412686 SOS 1130644 HAS SOPS 562537 HAS SOUS 104584 HAS SOUPS 41318 WITH SCORE 42448.644
AT ITER 3042 NEW BEST:: SOT 1412038 SOS 1129161 HAS SOPS 561989 HAS SOUS 104350 HAS SOUPS 41271 WITH SCORE 42400.161
AT ITER 3065 NEW BEST:: SOT 1412030 SOS 1128620 HAS SOPS 561448 HAS SOUS 104343 HAS SOUPS 41264 WITH SCORE 42392.62
AT ITER 3079 NEW BEST:: SOT 1412006 SOS 1128572 HAS SOPS 561400 HAS SOUS 104319 HAS SOUPS 41240 WITH SCORE 42368.572
AT ITER 3113 NEW BEST:: SOT 1412006 SOS 1128572 HAS SOPS 561400 HAS SOUS 104303 HAS SOUPS 41224 WITH SCORE 42352.572
AT ITER 3167 NEW BEST:: SOT 1411943 SOS 1128257 HAS SOPS 561400 HAS SOUS 104237 HAS SOUPS 41221 WITH SCORE 42349.257
AT ITER 3207 NEW BEST:: SOT 1411943 SOS 1128212 HAS SOPS 561525 HAS SOUS 104203 HAS SOUPS 41221 WITH SCORE 42349.212
AT ITER 3232 NEW BEST:: SOT 1411654 SOS 1127861 HAS SOPS 561360 HAS SOUS 104193 HAS SOUPS 41211 WITH SCORE 42338.861
AT ITER 3255 NEW BEST:: SOT 1411648 SOS 1127504 HAS SOPS 561458 HAS SOUS 104080 HAS SOUPS 41189 WITH SCORE 42316.504
AT ITER 3257 NEW BEST:: SOT 1411611 SOS 1127715 HAS SOPS 561444 HAS SOUS 104073 HAS SOUPS 41167 WITH SCORE 42294.715
AT ITER 3261 NEW BEST:: SOT 1411493 SOS 1127479 HAS SOPS 561208 HAS SOUS 104066 HAS SOUPS 41160 WITH SCORE 42287.479
AT ITER 3270 NEW BEST:: SOT 1411274 SOS 1129722 HAS SOPS 562071 HAS SOUS 104031 HAS SOUPS 41033 WITH SCORE 42162.722
AT ITER 3348 NEW BEST:: SOT 1411225 SOS 1130212 HAS SOPS 562246 HAS SOUS 104024 HAS SOUPS 41005 WITH SCORE 42135.212
AT ITER 3357 NEW BEST:: SOT 1411225 SOS 1129848 HAS SOPS 562012 HAS SOUS 104000 HAS SOUPS 40981 WITH SCORE 42110.848
AT ITER 3393 NEW BEST:: SOT 1411225 SOS 1129848 HAS SOPS 562012 HAS SOUS 103982 HAS SOUPS 40963 WITH SCORE 42092.848
AT ITER 3423 NEW BEST:: SOT 1411220 SOS 1129838 HAS SOPS 562002 HAS SOUS 103977 HAS SOUPS 40958 WITH SCORE 42087.838
AT ITER 3444 NEW BEST:: SOT 1411195 SOS 1129663 HAS SOPS 561952 HAS SOUS 103902 HAS SOUPS 40908 WITH SCORE 42037.663
AT ITER 3462 NEW BEST:: SOT 1411195 SOS 1129663 HAS SOPS 561952 HAS SOUS 103876 HAS SOUPS 40882 WITH SCORE 42011.663
AT ITER 3519 NEW BEST:: SOT 1411319 SOS 1129942 HAS SOPS 562076 HAS SOUS 103881 HAS SOUPS 40856 WITH SCORE 41985.942
AT ITER 3535 NEW BEST:: SOT 1411315 SOS 1129938 HAS SOPS 562072 HAS SOUS 103881 HAS SOUPS 40856 WITH SCORE 41985.938
AT ITER 3578 NEW BEST:: SOT 1410837 SOS 1123308 HAS SOPS 558810 HAS SOUS 103824 HAS SOUPS 40782 WITH SCORE 41905.308
AT ITER 3599 NEW BEST:: SOT 1410845 SOS 1123124 HAS SOPS 558826 HAS SOUS 103752 HAS SOUPS 40750 WITH SCORE 41873.124
AT ITER 3607 NEW BEST:: SOT 1410845 SOS 1123059 HAS SOPS 558826 HAS SOUS 103726 HAS SOUPS 40737 WITH SCORE 41860.059
AT ITER 3630 NEW BEST:: SOT 1410835 SOS 1123044 HAS SOPS 558821 HAS SOUS 103716 HAS SOUPS 40732 WITH SCORE 41855.044
AT ITER 3638 NEW BEST:: SOT 1410835 SOS 1123044 HAS SOPS 558821 HAS SOUS 103682 HAS SOUPS 40698 WITH SCORE 41821.044
AT ITER 3642 NEW BEST:: SOT 1410835 SOS 1123044 HAS SOPS 558821 HAS SOUS 103666 HAS SOUPS 40682 WITH SCORE 41805.044
AT ITER 3651 NEW BEST:: SOT 1410851 SOS 1122218 HAS SOPS 558385 HAS SOUS 103606 HAS SOUPS 40648 WITH SCORE 41770.218
AT ITER 3653 NEW BEST:: SOT 1410849 SOS 1122215 HAS SOPS 558384 HAS SOUS 103592 HAS SOUPS 40635 WITH SCORE 41757.215
AT ITER 3671 NEW BEST:: SOT 1409625 SOS 1120935 HAS SOPS 557698 HAS SOUS 103588 HAS SOUPS 40631 WITH SCORE 41751.935
AT ITER 3674 NEW BEST:: SOT 1409541 SOS 1120557 HAS SOPS 557530 HAS SOUS 103442 HAS SOUPS 40527 WITH SCORE 41647.557
AT ITER 3676 NEW BEST:: SOT 1409541 SOS 1120557 HAS SOPS 557530 HAS SOUS 103426 HAS SOUPS 40511 WITH SCORE 41631.557
AT ITER 3690 NEW BEST:: SOT 1409541 SOS 1120557 HAS SOPS 557530 HAS SOUS 103366 HAS SOUPS 40451 WITH SCORE 41571.557
AT ITER 3710 NEW BEST:: SOT 1409541 SOS 1120557 HAS SOPS 557530 HAS SOUS 103338 HAS SOUPS 40423 WITH SCORE 41543.557
AT ITER 3745 NEW BEST:: SOT 1409541 SOS 1120557 HAS SOPS 557530 HAS SOUS 103322 HAS SOUPS 40407 WITH SCORE 41527.557
AT ITER 3757 NEW BEST:: SOT 1409531 SOS 1120542 HAS SOPS 557525 HAS SOUS 103312 HAS SOUPS 40402 WITH SCORE 41522.542
AT ITER 3772 NEW BEST:: SOT 1409531 SOS 1120542 HAS SOPS 557525 HAS SOUS 103310 HAS SOUPS 40400 WITH SCORE 41520.542
AT ITER 3774 NEW BEST:: SOT 1409531 SOS 1120542 HAS SOPS 557525 HAS SOUS 103262 HAS SOUPS 40352 WITH SCORE 41472.542
AT ITER 3813 NEW BEST:: SOT 1409558 SOS 1119639 HAS SOPS 557057 HAS SOUS 103208 HAS SOUPS 40327 WITH SCORE 41446.639
AT ITER 3824 NEW BEST:: SOT 1409558 SOS 1119639 HAS SOPS 557057 HAS SOUS 103198 HAS SOUPS 40317 WITH SCORE 41436.639
AT ITER 3865 NEW BEST:: SOT 1409550 SOS 1119623 HAS SOPS 557021 HAS SOUS 103194 HAS SOUPS 40309 WITH SCORE 41428.623
AT ITER 3919 NEW BEST:: SOT 1409510 SOS 1119535 HAS SOPS 556973 HAS SOUS 103165 HAS SOUPS 40288 WITH SCORE 41407.535
AT ITER 3926 NEW BEST:: SOT 1409212 SOS 1119259 HAS SOPS 556697 HAS SOUS 103082 HAS SOUPS 40205 WITH SCORE 41324.259
AT ITER 3930 NEW BEST:: SOT 1409212 SOS 1119259 HAS SOPS 556697 HAS SOUS 103078 HAS SOUPS 40201 WITH SCORE 41320.259
AT ITER 4033 NEW BEST:: SOT 1409200 SOS 1118839 HAS SOPS 556685 HAS SOUS 103066 HAS SOUPS 40201 WITH SCORE 41319.839
AT ITER 4038 NEW BEST:: SOT 1409160 SOS 1119319 HAS SOPS 556965 HAS SOUS 103064 HAS SOUPS 40199 WITH SCORE 41318.319
AT ITER 4108 NEW BEST:: SOT 1409160 SOS 1119319 HAS SOPS 556965 HAS SOUS 103060 HAS SOUPS 40195 WITH SCORE 41314.319
AT ITER 4148 NEW BEST:: SOT 1409118 SOS 1119235 HAS SOPS 556881 HAS SOUS 103018 HAS SOUPS 40153 WITH SCORE 41272.235
AT ITER 4153 NEW BEST:: SOT 1409142 SOS 1119283 HAS SOPS 556929 HAS SOUS 103005 HAS SOUPS 40140 WITH SCORE 41259.283
AT ITER 4179 NEW BEST:: SOT 1409100 SOS 1116861 HAS SOPS 556615 HAS SOUS 102875 HAS SOUPS 40072 WITH SCORE 41188.861
AT ITER 4188 NEW BEST:: SOT 1409052 SOS 1116765 HAS SOPS 556519 HAS SOUS 102798 HAS SOUPS 39995 WITH SCORE 41111.765
AT ITER 4308 NEW BEST:: SOT 1408992 SOS 1116645 HAS SOPS 556399 HAS SOUS 102774 HAS SOUPS 39971 WITH SCORE 41087.645
AT ITER 4357 NEW BEST:: SOT 1409143 SOS 1111717 HAS SOPS 557013 HAS SOUS 102586 HAS SOUPS 39946 WITH SCORE 41057.717
AT ITER 4379 NEW BEST:: SOT 1408997 SOS 1111403 HAS SOPS 556699 HAS SOUS 102514 HAS SOUPS 39874 WITH SCORE 40985.403
AT ITER 4404 NEW BEST:: SOT 1407621 SOS 1109681 HAS SOPS 555637 HAS SOUS 102498 HAS SOUPS 39858 WITH SCORE 40967.681
AT ITER 4406 NEW BEST:: SOT 1407660 SOS 1109804 HAS SOPS 555535 HAS SOUS 102482 HAS SOUPS 39797 WITH SCORE 40906.804000000004
AT ITER 4419 NEW BEST:: SOT 1407494 SOS 1109205 HAS SOPS 554936 HAS SOUS 102339 HAS SOUPS 39654 WITH SCORE 40763.205
AT ITER 4426 NEW BEST:: SOT 1407420 SOS 1108797 HAS SOPS 554788 HAS SOUS 102198 HAS SOUPS 39565 WITH SCORE 40673.797
AT ITER 4489 NEW BEST:: SOT 1407528 SOS 1108950 HAS SOPS 554842 HAS SOUS 102189 HAS SOUPS 39547 WITH SCORE 40655.95
AT ITER 4495 NEW BEST:: SOT 1407612 SOS 1109167 HAS SOPS 554814 HAS SOUS 102161 HAS SOUPS 39470 WITH SCORE 40579.167
AT ITER 4574 NEW BEST:: SOT 1407600 SOS 1109008 HAS SOPS 554850 HAS SOUS 102110 HAS SOUPS 39458 WITH SCORE 40567.008
AT ITER 4580 NEW BEST:: SOT 1407603 SOS 1108396 HAS SOPS 554328 HAS SOUS 102098 HAS SOUPS 39449 WITH SCORE 40557.396
AT ITER 4615 NEW BEST:: SOT 1407433 SOS 1108056 HAS SOPS 553988 HAS SOUS 101928 HAS SOUPS 39279 WITH SCORE 40387.056
AT ITER 4663 NEW BEST:: SOT 1407425 SOS 1108040 HAS SOPS 553972 HAS SOUS 101919 HAS SOUPS 39270 WITH SCORE 40378.04
AT ITER 4664 NEW BEST:: SOT 1407415 SOS 1108020 HAS SOPS 553952 HAS SOUS 101869 HAS SOUPS 39220 WITH SCORE 40328.02
AT ITER 4700 NEW BEST:: SOT 1407404 SOS 1107928 HAS SOPS 553930 HAS SOUS 101830 HAS SOUPS 39195 WITH SCORE 40302.928
AT ITER 4710 NEW BEST:: SOT 1407390 SOS 1107900 HAS SOPS 553902 HAS SOUS 101823 HAS SOUPS 39188 WITH SCORE 40295.9
AT ITER 4725 NEW BEST:: SOT 1407390 SOS 1107900 HAS SOPS 553902 HAS SOUS 101821 HAS SOUPS 39186 WITH SCORE 40293.9
AT ITER 4740 NEW BEST:: SOT 1406279 SOS 1106710 HAS SOPS 552730 HAS SOUS 101882 HAS SOUPS 39130 WITH SCORE 40236.71
AT ITER 4743 NEW BEST:: SOT 1406279 SOS 1106710 HAS SOPS 552730 HAS SOUS 101872 HAS SOUPS 39120 WITH SCORE 40226.71
AT ITER 4748 NEW BEST:: SOT 1406279 SOS 1106710 HAS SOPS 552730 HAS SOUS 101858 HAS SOUPS 39106 WITH SCORE 40212.71
AT ITER 4772 NEW BEST:: SOT 1404947 SOS 1105000 HAS SOPS 551576 HAS SOUS 101740 HAS SOUPS 38988 WITH SCORE 40093.0
AT ITER 4775 NEW BEST:: SOT 1404951 SOS 1104544 HAS SOPS 551360 HAS SOUS 101721 HAS SOUPS 38985 WITH SCORE 40089.544
AT ITER 4831 NEW BEST:: SOT 1404951 SOS 1104439 HAS SOPS 551255 HAS SOUS 101721 HAS SOUPS 38985 WITH SCORE 40089.439
AT ITER 4992 NEW BEST:: SOT 1404959 SOS 1100498 HAS SOPS 547314 HAS SOUS 101701 HAS SOUPS 38965 WITH SCORE 40065.498
AT ITER 4997 NEW BEST:: SOT 1404946 SOS 1100472 HAS SOPS 547288 HAS SOUS 101688 HAS SOUPS 38952 WITH SCORE 40052.472
AT ITER 5023 NEW BEST:: SOT 1404940 SOS 1096624 HAS SOPS 544256 HAS SOUS 101666 HAS SOUPS 38954 WITH SCORE 40050.624
AT ITER 5034 NEW BEST:: SOT 1404990 SOS 1096424 HAS SOPS 544256 HAS SOUS 101641 HAS SOUPS 38954 WITH SCORE 40050.424
AT ITER 5035 NEW BEST:: SOT 1404822 SOS 1096033 HAS SOPS 544140 HAS SOUS 101528 HAS SOUPS 38896 WITH SCORE 39992.033
AT ITER 5041 NEW BEST:: SOT 1404822 SOS 1094443 HAS SOPS 544087 HAS SOUS 101475 HAS SOUPS 38843 WITH SCORE 39937.443
AT ITER 5082 NEW BEST:: SOT 1404854 SOS 1094507 HAS SOPS 544151 HAS SOUS 101405 HAS SOUPS 38773 WITH SCORE 39867.507
AT ITER 5108 NEW BEST:: SOT 1404854 SOS 1094507 HAS SOPS 544151 HAS SOUS 101369 HAS SOUPS 38737 WITH SCORE 39831.507
AT ITER 5159 NEW BEST:: SOT 1404848 SOS 1094437 HAS SOPS 544111 HAS SOUS 101365 HAS SOUPS 38735 WITH SCORE 39829.437
AT ITER 5182 NEW BEST:: SOT 1404799 SOS 1095847 HAS SOPS 545521 HAS SOUS 101341 HAS SOUPS 38711 WITH SCORE 39806.847
AT ITER 5225 NEW BEST:: SOT 1404743 SOS 1095399 HAS SOPS 545283 HAS SOUS 101285 HAS SOUPS 38669 WITH SCORE 39764.399
AT ITER 5234 NEW BEST:: SOT 1404743 SOS 1094801 HAS SOPS 544945 HAS SOUS 101259 HAS SOUPS 38643 WITH SCORE 39737.801
AT ITER 5245 NEW BEST:: SOT 1405018 SOS 1095076 HAS SOPS 545070 HAS SOUS 101258 HAS SOUPS 38642 WITH SCORE 39737.076
AT ITER 5257 NEW BEST:: SOT 1405016 SOS 1095072 HAS SOPS 545066 HAS SOUS 101256 HAS SOUPS 38640 WITH SCORE 39735.072
AT ITER 5270 NEW BEST:: SOT 1405009 SOS 1095058 HAS SOPS 545052 HAS SOUS 101241 HAS SOUPS 38625 WITH SCORE 39720.058
AT ITER 5277 NEW BEST:: SOT 1404986 SOS 1094897 HAS SOPS 545006 HAS SOUS 101195 HAS SOUPS 38602 WITH SCORE 39696.897
AT ITER 5308 NEW BEST:: SOT 1404828 SOS 1092580 HAS SOPS 543724 HAS SOUS 101097 HAS SOUPS 38573 WITH SCORE 39665.58
AT ITER 5334 NEW BEST:: SOT 1404255 SOS 1091941 HAS SOPS 543245 HAS SOUS 101150 HAS SOUPS 38571 WITH SCORE 39662.941
AT ITER 5339 NEW BEST:: SOT 1404279 SOS 1091131 HAS SOPS 542825 HAS SOUS 101122 HAS SOUPS 38569 WITH SCORE 39660.131
AT ITER 5344 NEW BEST:: SOT 1404261 SOS 1091095 HAS SOPS 542789 HAS SOUS 101104 HAS SOUPS 38551 WITH SCORE 39642.095
AT ITER 5416 NEW BEST:: SOT 1404291 SOS 1091170 HAS SOPS 542789 HAS SOUS 101074 HAS SOUPS 38506 WITH SCORE 39597.17
AT ITER 5419 NEW BEST:: SOT 1404126 SOS 1091756 HAS SOPS 542585 HAS SOUS 101201 HAS SOUPS 38475 WITH SCORE 39566.756
AT ITER 5455 NEW BEST:: SOT 1404112 SOS 1091833 HAS SOPS 542662 HAS SOUS 101187 HAS SOUPS 38461 WITH SCORE 39552.833
AT ITER 5459 NEW BEST:: SOT 1404019 SOS 1091614 HAS SOPS 542608 HAS SOUS 101133 HAS SOUPS 38440 WITH SCORE 39531.614
AT ITER 5535 NEW BEST:: SOT 1403793 SOS 1091361 HAS SOPS 542355 HAS SOUS 101122 HAS SOUPS 38429 WITH SCORE 39520.361
AT ITER 5550 NEW BEST:: SOT 1403792 SOS 1090883 HAS SOPS 542047 HAS SOUS 101070 HAS SOUPS 38377 WITH SCORE 39467.883
AT ITER 5551 NEW BEST:: SOT 1403799 SOS 1091100 HAS SOPS 542159 HAS SOUS 101070 HAS SOUPS 38370 WITH SCORE 39461.1
AT ITER 5592 NEW BEST:: SOT 1403799 SOS 1091113 HAS SOPS 542172 HAS SOUS 101049 HAS SOUPS 38349 WITH SCORE 39440.113
AT ITER 5616 NEW BEST:: SOT 1403813 SOS 1091117 HAS SOPS 542176 HAS SOUS 101040 HAS SOUPS 38340 WITH SCORE 39431.117
AT ITER 5629 NEW BEST:: SOT 1403818 SOS 1091122 HAS SOPS 542181 HAS SOUS 101019 HAS SOUPS 38319 WITH SCORE 39410.122
AT ITER 5696 NEW BEST:: SOT 1403818 SOS 1090762 HAS SOPS 542169 HAS SOUS 101009 HAS SOUPS 38309 WITH SCORE 39399.762
AT ITER 5760 NEW BEST:: SOT 1403818 SOS 1090762 HAS SOPS 542169 HAS SOUS 101003 HAS SOUPS 38303 WITH SCORE 39393.762
AT ITER 5761 NEW BEST:: SOT 1403787 SOS 1090700 HAS SOPS 542107 HAS SOUS 100972 HAS SOUPS 38272 WITH SCORE 39362.7
AT ITER 5774 NEW BEST:: SOT 1403787 SOS 1090710 HAS SOPS 542107 HAS SOUS 100972 HAS SOUPS 38270 WITH SCORE 39360.71
AT ITER 5872 NEW BEST:: SOT 1403787 SOS 1090955 HAS SOPS 542107 HAS SOUS 100995 HAS SOUPS 38244 WITH SCORE 39334.955
AT ITER 5881 NEW BEST:: SOT 1403787 SOS 1090955 HAS SOPS 542107 HAS SOUS 100983 HAS SOUPS 38232 WITH SCORE 39322.955
AT ITER 5908 NEW BEST:: SOT 1403787 SOS 1090782 HAS SOPS 541968 HAS SOUS 100981 HAS SOUPS 38231 WITH SCORE 39321.782
AT ITER 5914 NEW BEST:: SOT 1403734 SOS 1091936 HAS SOPS 542672 HAS SOUS 100973 HAS SOUPS 38223 WITH SCORE 39314.936
AT ITER 5982 NEW BEST:: SOT 1403706 SOS 1091880 HAS SOPS 542476 HAS SOUS 100973 HAS SOUPS 38195 WITH SCORE 39286.88
AT ITER 6021 NEW BEST:: SOT 1403699 SOS 1091880 HAS SOPS 542343 HAS SOUS 100962 HAS SOUPS 38184 WITH SCORE 39275.88
AT ITER 6030 NEW BEST:: SOT 1403699 SOS 1091880 HAS SOPS 542343 HAS SOUS 100942 HAS SOUPS 38164 WITH SCORE 39255.88
AT ITER 6077 NEW BEST:: SOT 1403801 SOS 1091144 HAS SOPS 542502 HAS SOUS 100704 HAS SOUPS 38105 WITH SCORE 39196.144
AT ITER 6143 NEW BEST:: SOT 1403801 SOS 1091144 HAS SOPS 542502 HAS SOUS 100696 HAS SOUPS 38097 WITH SCORE 39188.144
AT ITER 6184 NEW BEST:: SOT 1403801 SOS 1091144 HAS SOPS 542502 HAS SOUS 100686 HAS SOUPS 38087 WITH SCORE 39178.144
AT ITER 6210 NEW BEST:: SOT 1403713 SOS 1091042 HAS SOPS 542388 HAS SOUS 100682 HAS SOUPS 38073 WITH SCORE 39164.042
AT ITER 6260 NEW BEST:: SOT 1403376 SOS 1090726 HAS SOPS 541908 HAS SOUS 100703 HAS SOUPS 38039 WITH SCORE 39129.726
AT ITER 6310 NEW BEST:: SOT 1403301 SOS 1089712 HAS SOPS 541434 HAS SOUS 100664 HAS SOUPS 38036 WITH SCORE 39125.712
AT ITER 6318 NEW BEST:: SOT 1403283 SOS 1089631 HAS SOPS 541398 HAS SOUS 100637 HAS SOUPS 38018 WITH SCORE 39107.631
AT ITER 6336 NEW BEST:: SOT 1403287 SOS 1088833 HAS SOPS 541354 HAS SOUS 100619 HAS SOUPS 38000 WITH SCORE 39088.833
AT ITER 6365 NEW BEST:: SOT 1403283 SOS 1088795 HAS SOPS 541426 HAS SOUS 100578 HAS SOUPS 37981 WITH SCORE 39069.795
AT ITER 6387 NEW BEST:: SOT 1403257 SOS 1089275 HAS SOPS 541716 HAS SOUS 100571 HAS SOUPS 37974 WITH SCORE 39063.275
AT ITER 6390 NEW BEST:: SOT 1403257 SOS 1089275 HAS SOPS 541716 HAS SOUS 100567 HAS SOUPS 37970 WITH SCORE 39059.275
AT ITER 6394 NEW BEST:: SOT 1403257 SOS 1089275 HAS SOPS 541716 HAS SOUS 100557 HAS SOUPS 37960 WITH SCORE 39049.275
AT ITER 6449 NEW BEST:: SOT 1403455 SOS 1089481 HAS SOPS 541800 HAS SOUS 100535 HAS SOUPS 37938 WITH SCORE 39027.481
AT ITER 6450 NEW BEST:: SOT 1403458 SOS 1089380 HAS SOPS 541699 HAS SOUS 100535 HAS SOUPS 37938 WITH SCORE 39027.38
AT ITER 6464 NEW BEST:: SOT 1403458 SOS 1089380 HAS SOPS 541699 HAS SOUS 100519 HAS SOUPS 37922 WITH SCORE 39011.38
AT ITER 6486 NEW BEST:: SOT 1403458 SOS 1089320 HAS SOPS 541699 HAS SOUS 100495 HAS SOUPS 37910 WITH SCORE 38999.32
AT ITER 6522 NEW BEST:: SOT 1403460 SOS 1089229 HAS SOPS 541703 HAS SOUS 100460 HAS SOUPS 37894 WITH SCORE 38983.229
AT ITER 6528 NEW BEST:: SOT 1402797 SOS 1088320 HAS SOPS 541308 HAS SOUS 100433 HAS SOUPS 37887 WITH SCORE 38975.32
AT ITER 6581 NEW BEST:: SOT 1402784 SOS 1088304 HAS SOPS 541227 HAS SOUS 100432 HAS SOUPS 37873 WITH SCORE 38961.304000000004
AT ITER 6584 NEW BEST:: SOT 1402754 SOS 1088292 HAS SOPS 541215 HAS SOUS 100432 HAS SOUPS 37873 WITH SCORE 38961.292
AT ITER 6590 NEW BEST:: SOT 1402754 SOS 1088292 HAS SOPS 541215 HAS SOUS 100320 HAS SOUPS 37761 WITH SCORE 38849.292
AT ITER 6605 NEW BEST:: SOT 1402738 SOS 1088375 HAS SOPS 541183 HAS SOUS 100304 HAS SOUPS 37722 WITH SCORE 38810.375
AT ITER 6613 NEW BEST:: SOT 1402734 SOS 1088367 HAS SOPS 541175 HAS SOUS 100299 HAS SOUPS 37717 WITH SCORE 38805.367
AT ITER 6628 NEW BEST:: SOT 1402734 SOS 1088367 HAS SOPS 541175 HAS SOUS 100295 HAS SOUPS 37713 WITH SCORE 38801.367
AT ITER 6641 NEW BEST:: SOT 1402728 SOS 1088020 HAS SOPS 541163 HAS SOUS 100195 HAS SOUPS 37680 WITH SCORE 38768.02
AT ITER 6695 NEW BEST:: SOT 1402707 SOS 1087978 HAS SOPS 541121 HAS SOUS 100168 HAS SOUPS 37653 WITH SCORE 38740.978
AT ITER 6748 NEW BEST:: SOT 1402692 SOS 1087948 HAS SOPS 541091 HAS SOUS 100153 HAS SOUPS 37638 WITH SCORE 38725.948
AT ITER 6789 NEW BEST:: SOT 1402678 SOS 1087920 HAS SOPS 541113 HAS SOUS 100119 HAS SOUPS 37614 WITH SCORE 38701.92
AT ITER 6828 NEW BEST:: SOT 1402632 SOS 1087943 HAS SOPS 541021 HAS SOUS 100096 HAS SOUPS 37568 WITH SCORE 38655.943
AT ITER 6968 NEW BEST:: SOT 1402632 SOS 1087878 HAS SOPS 540956 HAS SOUS 100096 HAS SOUPS 37568 WITH SCORE 38655.878
AT ITER 7074 NEW BEST:: SOT 1402628 SOS 1087872 HAS SOPS 540954 HAS SOUS 100092 HAS SOUPS 37566 WITH SCORE 38653.872
AT ITER 7090 NEW BEST:: SOT 1402421 SOS 1088024 HAS SOPS 540793 HAS SOUS 100077 HAS SOUPS 37551 WITH SCORE 38639.024
AT ITER 7103 NEW BEST:: SOT 1402493 SOS 1088126 HAS SOPS 540829 HAS SOUS 100075 HAS SOUPS 37543 WITH SCORE 38631.126
AT ITER 7167 NEW BEST:: SOT 1402512 SOS 1087604 HAS SOPS 540507 HAS SOUS 100070 HAS SOUPS 37538 WITH SCORE 38625.604
AT ITER 7174 NEW BEST:: SOT 1402458 SOS 1087496 HAS SOPS 540264 HAS SOUS 100043 HAS SOUPS 37484 WITH SCORE 38571.496
AT ITER 7182 NEW BEST:: SOT 1402458 SOS 1087496 HAS SOPS 540264 HAS SOUS 100018 HAS SOUPS 37459 WITH SCORE 38546.496
AT ITER 7253 NEW BEST:: SOT 1402452 SOS 1087484 HAS SOPS 540252 HAS SOUS 100012 HAS SOUPS 37453 WITH SCORE 38540.484
AT ITER 7379 NEW BEST:: SOT 1402423 SOS 1087223 HAS SOPS 540542 HAS SOUS 99983 HAS SOUPS 37424 WITH SCORE 38511.223
AT ITER 7392 NEW BEST:: SOT 1402383 SOS 1087143 HAS SOPS 540462 HAS SOUS 99911 HAS SOUPS 37352 WITH SCORE 38439.143
AT ITER 7448 NEW BEST:: SOT 1402383 SOS 1087143 HAS SOPS 540462 HAS SOUS 99905 HAS SOUPS 37346 WITH SCORE 38433.143
AT ITER 7449 NEW BEST:: SOT 1402663 SOS 1087427 HAS SOPS 540608 HAS SOUS 99898 HAS SOUPS 37339 WITH SCORE 38426.427
AT ITER 7483 NEW BEST:: SOT 1402482 SOS 1088801 HAS SOPS 540470 HAS SOUS 99862 HAS SOUPS 37303 WITH SCORE 38391.801
AT ITER 7484 NEW BEST:: SOT 1402482 SOS 1088801 HAS SOPS 540470 HAS SOUS 99834 HAS SOUPS 37275 WITH SCORE 38363.801
AT ITER 7509 NEW BEST:: SOT 1402572 SOS 1089015 HAS SOPS 540514 HAS SOUS 99865 HAS SOUPS 37272 WITH SCORE 38361.015
AT ITER 7513 NEW BEST:: SOT 1402518 SOS 1088961 HAS SOPS 540460 HAS SOUS 99863 HAS SOUPS 37270 WITH SCORE 38358.961
AT ITER 7562 NEW BEST:: SOT 1402550 SOS 1088577 HAS SOPS 540236 HAS SOUS 99863 HAS SOUPS 37270 WITH SCORE 38358.577
AT ITER 7572 NEW BEST:: SOT 1402630 SOS 1082215 HAS SOPS 535166 HAS SOUS 99793 HAS SOUPS 37238 WITH SCORE 38320.215
AT ITER 7594 NEW BEST:: SOT 1402615 SOS 1082123 HAS SOPS 534406 HAS SOUS 99813 HAS SOUPS 37238 WITH SCORE 38320.123
AT ITER 7604 NEW BEST:: SOT 1402615 SOS 1082123 HAS SOPS 534406 HAS SOUS 99797 HAS SOUPS 37222 WITH SCORE 38304.123
AT ITER 7618 NEW BEST:: SOT 1403089 SOS 1083202 HAS SOPS 534830 HAS SOUS 99906 HAS SOUPS 37200 WITH SCORE 38283.202
AT ITER 7629 NEW BEST:: SOT 1402985 SOS 1082968 HAS SOPS 534726 HAS SOUS 99828 HAS SOUPS 37148 WITH SCORE 38230.968
AT ITER 7663 NEW BEST:: SOT 1402782 SOS 1082701 HAS SOPS 534527 HAS SOUS 99850 HAS SOUPS 37144 WITH SCORE 38226.701
AT ITER 7673 NEW BEST:: SOT 1402706 SOS 1082527 HAS SOPS 534353 HAS SOUS 99831 HAS SOUPS 37125 WITH SCORE 38207.527
AT ITER 7702 NEW BEST:: SOT 1402712 SOS 1082539 HAS SOPS 534365 HAS SOUS 99801 HAS SOUPS 37095 WITH SCORE 38177.539
AT ITER 7735 NEW BEST:: SOT 1402694 SOS 1082283 HAS SOPS 534109 HAS SOUS 99742 HAS SOUPS 37036 WITH SCORE 38118.283
AT ITER 7841 NEW BEST:: SOT 1402594 SOS 1082203 HAS SOPS 534029 HAS SOUS 99732 HAS SOUPS 37026 WITH SCORE 38108.203
AT ITER 7896 NEW BEST:: SOT 1402594 SOS 1082203 HAS SOPS 534029 HAS SOUS 99690 HAS SOUPS 36984 WITH SCORE 38066.203
AT ITER 7908 NEW BEST:: SOT 1402588 SOS 1082183 HAS SOPS 534019 HAS SOUS 99678 HAS SOUPS 36974 WITH SCORE 38056.183
AT ITER 7909 NEW BEST:: SOT 1402445 SOS 1082735 HAS SOPS 534061 HAS SOUS 99662 HAS SOUPS 36924 WITH SCORE 38006.735
AT ITER 7927 NEW BEST:: SOT 1402437 SOS 1082719 HAS SOPS 534045 HAS SOUS 99654 HAS SOUPS 36916 WITH SCORE 37998.719
AT ITER 7934 NEW BEST:: SOT 1402390 SOS 1082993 HAS SOPS 534159 HAS SOUS 99623 HAS SOUPS 36885 WITH SCORE 37967.993
AT ITER 7938 NEW BEST:: SOT 1402390 SOS 1082993 HAS SOPS 534159 HAS SOUS 99617 HAS SOUPS 36879 WITH SCORE 37961.993
AT ITER 7968 NEW BEST:: SOT 1402394 SOS 1083003 HAS SOPS 534159 HAS SOUS 99615 HAS SOUPS 36875 WITH SCORE 37958.003
AT ITER 7997 NEW BEST:: SOT 1402394 SOS 1082893 HAS SOPS 534159 HAS SOUS 99586 HAS SOUPS 36868 WITH SCORE 37950.893
AT ITER 8060 NEW BEST:: SOT 1402394 SOS 1082893 HAS SOPS 534159 HAS SOUS 99566 HAS SOUPS 36848 WITH SCORE 37930.893
AT ITER 8074 NEW BEST:: SOT 1402394 SOS 1082893 HAS SOPS 534159 HAS SOUS 99540 HAS SOUPS 36822 WITH SCORE 37904.893
AT ITER 8132 NEW BEST:: SOT 1402381 SOS 1082732 HAS SOPS 534133 HAS SOUS 99494 HAS SOUPS 36803 WITH SCORE 37885.732
AT ITER 8152 NEW BEST:: SOT 1402187 SOS 1082004 HAS SOPS 533741 HAS SOUS 99460 HAS SOUPS 36785 WITH SCORE 37867.004
AT ITER 8180 NEW BEST:: SOT 1402148 SOS 1081962 HAS SOPS 533717 HAS SOUS 99457 HAS SOUPS 36782 WITH SCORE 37863.962
AT ITER 8194 NEW BEST:: SOT 1402059 SOS 1082851 HAS SOPS 534021 HAS SOUS 99451 HAS SOUPS 36737 WITH SCORE 37819.851
AT ITER 8196 NEW BEST:: SOT 1402020 SOS 1082548 HAS SOPS 533718 HAS SOUS 99395 HAS SOUPS 36681 WITH SCORE 37763.548
AT ITER 8204 NEW BEST:: SOT 1402015 SOS 1082543 HAS SOPS 533713 HAS SOUS 99390 HAS SOUPS 36676 WITH SCORE 37758.543
AT ITER 8310 NEW BEST:: SOT 1401998 SOS 1082423 HAS SOPS 533683 HAS SOUS 99337 HAS SOUPS 36641 WITH SCORE 37723.423
AT ITER 8344 NEW BEST:: SOT 1402002 SOS 1082717 HAS SOPS 533661 HAS SOUS 99343 HAS SOUPS 36610 WITH SCORE 37692.717
AT ITER 8356 NEW BEST:: SOT 1402002 SOS 1082717 HAS SOPS 533661 HAS SOUS 99331 HAS SOUPS 36598 WITH SCORE 37680.717
AT ITER 8359 NEW BEST:: SOT 1402848 SOS 1085708 HAS SOPS 534972 HAS SOUS 99377 HAS SOUPS 36564 WITH SCORE 37649.708
AT ITER 8364 NEW BEST:: SOT 1402834 SOS 1085692 HAS SOPS 534962 HAS SOUS 99376 HAS SOUPS 36563 WITH SCORE 37648.692
AT ITER 8373 NEW BEST:: SOT 1402834 SOS 1085812 HAS SOPS 534962 HAS SOUS 99388 HAS SOUPS 36551 WITH SCORE 37636.812
AT ITER 8515 NEW BEST:: SOT 1402834 SOS 1086030 HAS SOPS 534772 HAS SOUS 99383 HAS SOUPS 36534 WITH SCORE 37620.03
AT ITER 8542 NEW BEST:: SOT 1402840 SOS 1086045 HAS SOPS 534772 HAS SOUS 99383 HAS SOUPS 36531 WITH SCORE 37617.045
AT ITER 8568 NEW BEST:: SOT 1403796 SOS 1086925 HAS SOPS 535437 HAS SOUS 99298 HAS SOUPS 36510 WITH SCORE 37596.925
AT ITER 8640 NEW BEST:: SOT 1402952 SOS 1087275 HAS SOPS 535195 HAS SOUS 99444 HAS SOUPS 36442 WITH SCORE 37529.275
AT ITER 8655 NEW BEST:: SOT 1402892 SOS 1087155 HAS SOPS 535075 HAS SOUS 99414 HAS SOUPS 36412 WITH SCORE 37499.155
AT ITER 8692 NEW BEST:: SOT 1402892 SOS 1087155 HAS SOPS 535075 HAS SOUS 99408 HAS SOUPS 36406 WITH SCORE 37493.155
AT ITER 8714 NEW BEST:: SOT 1402758 SOS 1086938 HAS SOPS 534858 HAS SOUS 99370 HAS SOUPS 36368 WITH SCORE 37454.938
AT ITER 8742 NEW BEST:: SOT 1402756 SOS 1086934 HAS SOPS 534914 HAS SOUS 99356 HAS SOUPS 36366 WITH SCORE 37452.934
AT ITER 8765 NEW BEST:: SOT 1402787 SOS 1087037 HAS SOPS 534909 HAS SOUS 99320 HAS SOUPS 36330 WITH SCORE 37417.037
AT ITER 8795 NEW BEST:: SOT 1402683 SOS 1086941 HAS SOPS 534813 HAS SOUS 99300 HAS SOUPS 36310 WITH SCORE 37396.941
AT ITER 8815 NEW BEST:: SOT 1402683 SOS 1086936 HAS SOPS 534813 HAS SOUS 99299 HAS SOUPS 36310 WITH SCORE 37396.936
AT ITER 8857 NEW BEST:: SOT 1402653 SOS 1086586 HAS SOPS 534613 HAS SOUS 99279 HAS SOUPS 36300 WITH SCORE 37386.586
AT ITER 8900 NEW BEST:: SOT 1402653 SOS 1086586 HAS SOPS 534613 HAS SOUS 99243 HAS SOUPS 36264 WITH SCORE 37350.586
AT ITER 8975 NEW BEST:: SOT 1402616 SOS 1086512 HAS SOPS 534539 HAS SOUS 99206 HAS SOUPS 36227 WITH SCORE 37313.512
AT ITER 9005 NEW BEST:: SOT 1402616 SOS 1086512 HAS SOPS 534539 HAS SOUS 99178 HAS SOUPS 36199 WITH SCORE 37285.512
AT ITER 9014 NEW BEST:: SOT 1402689 SOS 1086254 HAS SOPS 534675 HAS SOUS 99078 HAS SOUPS 36160 WITH SCORE 37246.254
AT ITER 9084 NEW BEST:: SOT 1402709 SOS 1086798 HAS SOPS 534904 HAS SOUS 99098 HAS SOUPS 36159 WITH SCORE 37245.798
AT ITER 9095 NEW BEST:: SOT 1402709 SOS 1086798 HAS SOPS 534904 HAS SOUS 99042 HAS SOUPS 36103 WITH SCORE 37189.798
AT ITER 9136 NEW BEST:: SOT 1402694 SOS 1086936 HAS SOPS 534952 HAS SOUS 99039 HAS SOUPS 36094 WITH SCORE 37180.936
AT ITER 9143 NEW BEST:: SOT 1402676 SOS 1086924 HAS SOPS 534820 HAS SOUS 99045 HAS SOUPS 36076 WITH SCORE 37162.924
AT ITER 9167 NEW BEST:: SOT 1402668 SOS 1086908 HAS SOPS 534804 HAS SOUS 99029 HAS SOUPS 36060 WITH SCORE 37146.908
AT ITER 9168 NEW BEST:: SOT 1402668 SOS 1086908 HAS SOPS 534804 HAS SOUS 99027 HAS SOUPS 36058 WITH SCORE 37144.908
AT ITER 9174 NEW BEST:: SOT 1402658 SOS 1086888 HAS SOPS 534784 HAS SOUS 99017 HAS SOUPS 36048 WITH SCORE 37134.888
AT ITER 9176 NEW BEST:: SOT 1402643 SOS 1086858 HAS SOPS 534754 HAS SOUS 99007 HAS SOUPS 36038 WITH SCORE 37124.858
AT ITER 9229 NEW BEST:: SOT 1402717 SOS 1087160 HAS SOPS 534909 HAS SOUS 99011 HAS SOUPS 36035 WITH SCORE 37122.16
AT ITER 9259 NEW BEST:: SOT 1402603 SOS 1086902 HAS SOPS 534801 HAS SOUS 98963 HAS SOUPS 36017 WITH SCORE 37103.902
AT ITER 9281 NEW BEST:: SOT 1402307 SOS 1086550 HAS SOPS 534449 HAS SOUS 98899 HAS SOUPS 35953 WITH SCORE 37039.55
AT ITER 9282 NEW BEST:: SOT 1402213 SOS 1072430 HAS SOPS 523083 HAS SOUS 98805 HAS SOUPS 35940 WITH SCORE 37012.43
AT ITER 9296 NEW BEST:: SOT 1402223 SOS 1072100 HAS SOPS 522923 HAS SOUS 98800 HAS SOUPS 35940 WITH SCORE 37012.1
AT ITER 9312 NEW BEST:: SOT 1402147 SOS 1071960 HAS SOPS 522783 HAS SOUS 98775 HAS SOUPS 35915 WITH SCORE 36986.96
AT ITER 9313 NEW BEST:: SOT 1402143 SOS 1071952 HAS SOPS 522775 HAS SOUS 98771 HAS SOUPS 35911 WITH SCORE 36982.952
AT ITER 9352 NEW BEST:: SOT 1402256 SOS 1072217 HAS SOPS 522845 HAS SOUS 98763 HAS SOUPS 35864 WITH SCORE 36936.217
AT ITER 9355 NEW BEST:: SOT 1402236 SOS 1072177 HAS SOPS 522805 HAS SOUS 98743 HAS SOUPS 35844 WITH SCORE 36916.177
AT ITER 9356 NEW BEST:: SOT 1402228 SOS 1072251 HAS SOPS 522789 HAS SOUS 98759 HAS SOUPS 35842 WITH SCORE 36914.251
AT ITER 9358 NEW BEST:: SOT 1402157 SOS 1072158 HAS SOPS 522740 HAS SOUS 98710 HAS SOUPS 35814 WITH SCORE 36886.158
AT ITER 9401 NEW BEST:: SOT 1402157 SOS 1072158 HAS SOPS 522740 HAS SOUS 98672 HAS SOUPS 35776 WITH SCORE 36848.158
AT ITER 9460 NEW BEST:: SOT 1402171 SOS 1071955 HAS SOPS 522642 HAS SOUS 98665 HAS SOUPS 35776 WITH SCORE 36847.955
AT ITER 9469 NEW BEST:: SOT 1402322 SOS 1072173 HAS SOPS 522728 HAS SOUS 98672 HAS SOUPS 35771 WITH SCORE 36843.173
AT ITER 9474 NEW BEST:: SOT 1402352 SOS 1063341 HAS SOPS 515404 HAS SOUS 98650 HAS SOUPS 35749 WITH SCORE 36812.341
AT ITER 9522 NEW BEST:: SOT 1402299 SOS 1062530 HAS SOPS 514968 HAS SOUS 98612 HAS SOUPS 35736 WITH SCORE 36798.53
AT ITER 9592 NEW BEST:: SOT 1401663 SOS 1061806 HAS SOPS 514650 HAS SOUS 98614 HAS SOUPS 35734 WITH SCORE 36795.806
AT ITER 9595 NEW BEST:: SOT 1401659 SOS 1061802 HAS SOPS 514646 HAS SOUS 98552 HAS SOUPS 35672 WITH SCORE 36733.802
AT ITER 9640 NEW BEST:: SOT 1401659 SOS 1061802 HAS SOPS 514646 HAS SOUS 98544 HAS SOUPS 35664 WITH SCORE 36725.802
AT ITER 9654 NEW BEST:: SOT 1401677 SOS 1061530 HAS SOPS 514484 HAS SOUS 98540 HAS SOUPS 35660 WITH SCORE 36721.53
AT ITER 9675 NEW BEST:: SOT 1401677 SOS 1061530 HAS SOPS 514484 HAS SOUS 98539 HAS SOUPS 35659 WITH SCORE 36720.53
AT ITER 9701 NEW BEST:: SOT 1401677 SOS 1061215 HAS SOPS 514475 HAS SOUS 98512 HAS SOUPS 35641 WITH SCORE 36702.215
AT ITER 9718 NEW BEST:: SOT 1401677 SOS 1061215 HAS SOPS 514475 HAS SOUS 98432 HAS SOUPS 35561 WITH SCORE 36622.215
AT ITER 9742 NEW BEST:: SOT 1401657 SOS 1060494 HAS SOPS 514099 HAS SOUS 98349 HAS SOUPS 35501 WITH SCORE 36561.494
AT ITER 9752 NEW BEST:: SOT 1401645 SOS 1060046 HAS SOPS 513107 HAS SOUS 98359 HAS SOUPS 35495 WITH SCORE 36555.046
AT ITER 9823 NEW BEST:: SOT 1401645 SOS 1060014 HAS SOPS 513090 HAS SOUS 98355 HAS SOUPS 35492 WITH SCORE 36552.014
AT ITER 9830 NEW BEST:: SOT 1401699 SOS 1060012 HAS SOPS 513088 HAS SOUS 98304 HAS SOUPS 35441 WITH SCORE 36501.012
AT ITER 9880 NEW BEST:: SOT 1401706 SOS 1056858 HAS SOPS 510546 HAS SOUS 98259 HAS SOUPS 35414 WITH SCORE 36470.858
AT ITER 9942 NEW BEST:: SOT 1401542 SOS 1052242 HAS SOPS 510486 HAS SOUS 98128 HAS SOUPS 35417 WITH SCORE 36469.242
BK_STOP 1678386145111
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 483 Killed ${SMART}/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="DLCflexbar-PT-3a"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
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 smartxred"
echo " Input is DLCflexbar-PT-3a, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r107-tall-167814484300528"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DLCflexbar-PT-3a.tgz
mv DLCflexbar-PT-3a 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 ;