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.r171-tall-167838858400320.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 FamilyReunion-COL-L00050M0005C002P002G001, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r171-tall-167838858400320
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 560K
-rw-r--r-- 1 mcc users 7.2K Feb 26 12:11 CTLCardinality.txt
-rw-r--r-- 1 mcc users 77K Feb 26 12:11 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.9K Feb 26 12:04 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 26 12:04 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:05 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:05 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Feb 25 16:05 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 25 16:05 LTLFireability.xml
-rw-r--r-- 1 mcc users 10K Feb 26 12:35 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 103K Feb 26 12:35 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.3K Feb 26 12:26 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 26 12:26 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 16:05 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Feb 25 16:05 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_pt
-rw-r--r-- 1 mcc users 24 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 137K 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 1679437278067

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=FamilyReunion-COL-L00050M0005C002P002G001
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-21 22:21:19] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-21 22:21:19] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-21 22:21:19] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-21 22:21:19] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-21 22:21:20] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 670 ms
[2023-03-21 22:21:20] [INFO ] Detected 5 constant HL places corresponding to 17 PT places.
[2023-03-21 22:21:20] [INFO ] Imported 104 HL places and 66 HL transitions for a total of 12245 PT places and 10611.0 transition bindings in 24 ms.
[2023-03-21 22:21:20] [INFO ] Unfolded HLPN to a Petri net with 12245 places and 10560 transitions 30300 arcs in 99 ms.
[2023-03-21 22:21:20] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-21 22:21:20] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 12245 places, 10560 transitions and 30300 arcs took 61 ms.
Total runtime 936 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FamilyReunion (COL), instance L00050M0005C002P002G001
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: 12245 places, 10560 transitions, 30300 arcs.
AT ITER 0 NEW BEST:: SOT 73018381 SOS 10233300 HAS SOPS 10233300 HAS SOUS 9060329 HAS SOUPS 9060329 WITH SCORE 9070562.3
AT ITER 21 NEW BEST:: SOT 73017762 SOS 10232994 HAS SOPS 10232994 HAS SOUS 9060023 HAS SOUPS 9060023 WITH SCORE 9070255.994
AT ITER 34 NEW BEST:: SOT 73017762 SOS 10232610 HAS SOPS 10232610 HAS SOUS 9059934 HAS SOUPS 9059934 WITH SCORE 9070166.61
AT ITER 36 NEW BEST:: SOT 73017201 SOS 10232591 HAS SOPS 10232591 HAS SOUS 9059915 HAS SOUPS 9059915 WITH SCORE 9070147.591
AT ITER 52 NEW BEST:: SOT 73016888 SOS 10231666 HAS SOPS 10231666 HAS SOUS 9058990 HAS SOUPS 9058990 WITH SCORE 9069221.666
AT ITER 103 NEW BEST:: SOT 73015186 SOS 10230458 HAS SOPS 10230458 HAS SOUS 9057782 HAS SOUPS 9057782 WITH SCORE 9068012.458
AT ITER 131 NEW BEST:: SOT 73015186 SOS 10230407 HAS SOPS 10230407 HAS SOUS 9057731 HAS SOUPS 9057731 WITH SCORE 9067961.407
AT ITER 155 NEW BEST:: SOT 73015073 SOS 10229918 HAS SOPS 10229918 HAS SOUS 9057612 HAS SOUPS 9057612 WITH SCORE 9067841.918
AT ITER 178 NEW BEST:: SOT 73011115 SOS 10342597 HAS SOPS 10342597 HAS SOUS 9055939 HAS SOUPS 9055939 WITH SCORE 9066281.597
AT ITER 189 NEW BEST:: SOT 73010811 SOS 10342254 HAS SOPS 10342254 HAS SOUS 9055596 HAS SOUPS 9055596 WITH SCORE 9065938.254
AT ITER 227 NEW BEST:: SOT 73009633 SOS 10341569 HAS SOPS 10341569 HAS SOUS 9054911 HAS SOUPS 9054911 WITH SCORE 9065252.569
AT ITER 235 NEW BEST:: SOT 73008847 SOS 10341119 HAS SOPS 10341119 HAS SOUS 9054461 HAS SOUPS 9054461 WITH SCORE 9064802.119
AT ITER 245 NEW BEST:: SOT 73008166 SOS 10339589 HAS SOPS 10339589 HAS SOUS 9052931 HAS SOUPS 9052931 WITH SCORE 9063270.589
AT ITER 328 NEW BEST:: SOT 73007307 SOS 10339322 HAS SOPS 10339322 HAS SOUS 9052664 HAS SOUPS 9052664 WITH SCORE 9063003.322
AT ITER 351 NEW BEST:: SOT 73006995 SOS 10338398 HAS SOPS 10338398 HAS SOUS 9051740 HAS SOUPS 9051740 WITH SCORE 9062078.398
AT ITER 352 NEW BEST:: SOT 73006734 SOS 10337876 HAS SOPS 10337876 HAS SOUS 9051475 HAS SOUPS 9051475 WITH SCORE 9061812.876
AT ITER 359 NEW BEST:: SOT 73005576 SOS 10336718 HAS SOPS 10336718 HAS SOUS 9050317 HAS SOUPS 9050317 WITH SCORE 9060653.718
AT ITER 367 NEW BEST:: SOT 73005037 SOS 10335334 HAS SOPS 10335334 HAS SOUS 9048933 HAS SOUPS 9048933 WITH SCORE 9059268.334
AT ITER 433 NEW BEST:: SOT 73004187 SOS 10335214 HAS SOPS 10335214 HAS SOUS 9048813 HAS SOUPS 9048813 WITH SCORE 9059148.214
AT ITER 454 NEW BEST:: SOT 73004187 SOS 10335436 HAS SOPS 10335436 HAS SOUS 9048711 HAS SOUPS 9048711 WITH SCORE 9059046.436
AT ITER 478 NEW BEST:: SOT 73004031 SOS 10335124 HAS SOPS 10335124 HAS SOUS 9048555 HAS SOUPS 9048555 WITH SCORE 9058890.124
AT ITER 521 NEW BEST:: SOT 73003604 SOS 10335073 HAS SOPS 10335073 HAS SOUS 9048504 HAS SOUPS 9048504 WITH SCORE 9058839.073
AT ITER 561 NEW BEST:: SOT 73002992 SOS 10334701 HAS SOPS 10334701 HAS SOUS 9048128 HAS SOUPS 9048128 WITH SCORE 9058462.701
AT ITER 564 NEW BEST:: SOT 73002992 SOS 10334525 HAS SOPS 10334525 HAS SOUS 9047952 HAS SOUPS 9047952 WITH SCORE 9058286.525
AT ITER 590 NEW BEST:: SOT 73002733 SOS 10334474 HAS SOPS 10334474 HAS SOUS 9047901 HAS SOUPS 9047901 WITH SCORE 9058235.474
AT ITER 596 NEW BEST:: SOT 73001679 SOS 10333613 HAS SOPS 10333613 HAS SOUS 9047040 HAS SOUPS 9047040 WITH SCORE 9057373.613
AT ITER 606 NEW BEST:: SOT 73001679 SOS 10333394 HAS SOPS 10333394 HAS SOUS 9046821 HAS SOUPS 9046821 WITH SCORE 9057154.394
AT ITER 626 NEW BEST:: SOT 73001625 SOS 10333340 HAS SOPS 10333340 HAS SOUS 9046767 HAS SOUPS 9046767 WITH SCORE 9057100.34
AT ITER 627 NEW BEST:: SOT 73001268 SOS 10332799 HAS SOPS 10332799 HAS SOUS 9046226 HAS SOUPS 9046226 WITH SCORE 9056558.799
AT ITER 643 NEW BEST:: SOT 73000862 SOS 10332596 HAS SOPS 10332596 HAS SOUS 9046022 HAS SOUPS 9046022 WITH SCORE 9056354.596
AT ITER 669 NEW BEST:: SOT 73000300 SOS 10331166 HAS SOPS 10331166 HAS SOUS 9044592 HAS SOUPS 9044592 WITH SCORE 9054923.166
AT ITER 683 NEW BEST:: SOT 73000300 SOS 10331123 HAS SOPS 10331123 HAS SOUS 9044592 HAS SOUPS 9044592 WITH SCORE 9054923.123
AT ITER 706 NEW BEST:: SOT 73000196 SOS 10331019 HAS SOPS 10331019 HAS SOUS 9044538 HAS SOUPS 9044538 WITH SCORE 9054869.019
AT ITER 707 NEW BEST:: SOT 72999622 SOS 10329791 HAS SOPS 10329791 HAS SOUS 9043865 HAS SOUPS 9043865 WITH SCORE 9054194.791
AT ITER 708 NEW BEST:: SOT 72999586 SOS 10329719 HAS SOPS 10329719 HAS SOUS 9043793 HAS SOUPS 9043793 WITH SCORE 9054122.719
AT ITER 756 NEW BEST:: SOT 72999037 SOS 10329602 HAS SOPS 10329602 HAS SOUS 9043676 HAS SOUPS 9043676 WITH SCORE 9054005.602
AT ITER 837 NEW BEST:: SOT 72998986 SOS 10329449 HAS SOPS 10329449 HAS SOUS 9043523 HAS SOUPS 9043523 WITH SCORE 9053852.449
AT ITER 866 NEW BEST:: SOT 72997988 SOS 10328756 HAS SOPS 10328756 HAS SOUS 9042830 HAS SOUPS 9042830 WITH SCORE 9053158.756
AT ITER 878 NEW BEST:: SOT 72997956 SOS 10329462 HAS SOPS 10329462 HAS SOUS 9042582 HAS SOUPS 9042582 WITH SCORE 9052911.462
AT ITER 913 NEW BEST:: SOT 72997599 SOS 10329149 HAS SOPS 10329149 HAS SOUS 9042269 HAS SOUPS 9042269 WITH SCORE 9052598.149
AT ITER 915 NEW BEST:: SOT 72997275 SOS 10328695 HAS SOPS 10328695 HAS SOUS 9041687 HAS SOUPS 9041687 WITH SCORE 9052015.695
AT ITER 919 NEW BEST:: SOT 72996996 SOS 10328137 HAS SOPS 10328137 HAS SOUS 9041129 HAS SOUPS 9041129 WITH SCORE 9051457.137
AT ITER 950 NEW BEST:: SOT 72996691 SOS 10327527 HAS SOPS 10327527 HAS SOUS 9040519 HAS SOUPS 9040519 WITH SCORE 9050846.527
AT ITER 973 NEW BEST:: SOT 72996019 SOS 10325982 HAS SOPS 10325982 HAS SOUS 9039752 HAS SOUPS 9039752 WITH SCORE 9050077.982
AT ITER 1008 NEW BEST:: SOT 72996019 SOS 10325777 HAS SOPS 10325777 HAS SOUS 9039752 HAS SOUPS 9039752 WITH SCORE 9050077.777
AT ITER 1010 NEW BEST:: SOT 72995727 SOS 10325341 HAS SOPS 10325341 HAS SOUS 9039316 HAS SOUPS 9039316 WITH SCORE 9049641.341
AT ITER 1049 NEW BEST:: SOT 72995727 SOS 10325280 HAS SOPS 10325280 HAS SOUS 9039255 HAS SOUPS 9039255 WITH SCORE 9049580.28
AT ITER 1083 NEW BEST:: SOT 72995184 SOS 10323888 HAS SOPS 10323888 HAS SOUS 9037863 HAS SOUPS 9037863 WITH SCORE 9048186.888
AT ITER 1093 NEW BEST:: SOT 72992187 SOS 10321114 HAS SOPS 10321114 HAS SOUS 9035089 HAS SOUPS 9035089 WITH SCORE 9045410.114
AT ITER 1100 NEW BEST:: SOT 72991910 SOS 10320778 HAS SOPS 10320778 HAS SOUS 9034753 HAS SOUPS 9034753 WITH SCORE 9045073.778
AT ITER 1104 NEW BEST:: SOT 72991704 SOS 10320366 HAS SOPS 10320366 HAS SOUS 9034547 HAS SOUPS 9034547 WITH SCORE 9044867.366
AT ITER 1132 NEW BEST:: SOT 72991206 SOS 10320060 HAS SOPS 10320060 HAS SOUS 9034241 HAS SOUPS 9034241 WITH SCORE 9044561.06
AT ITER 1160 NEW BEST:: SOT 72990028 SOS 10319428 HAS SOPS 10319428 HAS SOUS 9033609 HAS SOUPS 9033609 WITH SCORE 9043928.428
AT ITER 1164 NEW BEST:: SOT 72990028 SOS 10318710 HAS SOPS 10318710 HAS SOUS 9033608 HAS SOUPS 9033608 WITH SCORE 9043926.71
AT ITER 1190 NEW BEST:: SOT 72989518 SOS 10317384 HAS SOPS 10317384 HAS SOUS 9032282 HAS SOUPS 9032282 WITH SCORE 9042599.384
AT ITER 1209 NEW BEST:: SOT 72989518 SOS 10317282 HAS SOPS 10317282 HAS SOUS 9032180 HAS SOUPS 9032180 WITH SCORE 9042497.282
AT ITER 1244 NEW BEST:: SOT 72989690 SOS 10317148 HAS SOPS 10317148 HAS SOUS 9032046 HAS SOUPS 9032046 WITH SCORE 9042363.148
AT ITER 1303 NEW BEST:: SOT 72988955 SOS 10316800 HAS SOPS 10316800 HAS SOUS 9031698 HAS SOUPS 9031698 WITH SCORE 9042014.8
AT ITER 1305 NEW BEST:: SOT 72988955 SOS 10316800 HAS SOPS 10316800 HAS SOUS 9031455 HAS SOUPS 9031455 WITH SCORE 9041771.8
AT ITER 1360 NEW BEST:: SOT 72988088 SOS 10316746 HAS SOPS 10316746 HAS SOUS 9031401 HAS SOUPS 9031401 WITH SCORE 9041717.746
AT ITER 1385 NEW BEST:: SOT 72986938 SOS 10315624 HAS SOPS 10315624 HAS SOUS 9030279 HAS SOUPS 9030279 WITH SCORE 9040594.624
AT ITER 1392 NEW BEST:: SOT 72986277 SOS 10315424 HAS SOPS 10315424 HAS SOUS 9030079 HAS SOUPS 9030079 WITH SCORE 9040394.424
AT ITER 1406 NEW BEST:: SOT 72986115 SOS 10315100 HAS SOPS 10315100 HAS SOUS 9029915 HAS SOUPS 9029915 WITH SCORE 9040230.1
AT ITER 1414 NEW BEST:: SOT 72985338 SOS 10313570 HAS SOPS 10313570 HAS SOUS 9028385 HAS SOUPS 9028385 WITH SCORE 9038698.57
AT ITER 1437 NEW BEST:: SOT 72981459 SOS 10310033 HAS SOPS 10310033 HAS SOUS 9024848 HAS SOUPS 9024848 WITH SCORE 9035158.033
AT ITER 1439 NEW BEST:: SOT 72980780 SOS 10309150 HAS SOPS 10309150 HAS SOUS 9023965 HAS SOUPS 9023965 WITH SCORE 9034274.15
AT ITER 1443 NEW BEST:: SOT 72980368 SOS 10308844 HAS SOPS 10308844 HAS SOUS 9023659 HAS SOUPS 9023659 WITH SCORE 9033967.844
AT ITER 1445 NEW BEST:: SOT 72979702 SOS 10308842 HAS SOPS 10308842 HAS SOUS 9023657 HAS SOUPS 9023657 WITH SCORE 9033965.842
AT ITER 1483 NEW BEST:: SOT 72979221 SOS 10307574 HAS SOPS 10307574 HAS SOUS 9022389 HAS SOUPS 9022389 WITH SCORE 9032696.574
AT ITER 1507 NEW BEST:: SOT 72978754 SOS 10306962 HAS SOPS 10306962 HAS SOUS 9021777 HAS SOUPS 9021777 WITH SCORE 9032083.962
AT ITER 1522 NEW BEST:: SOT 72977785 SOS 10305978 HAS SOPS 10305978 HAS SOUS 9021153 HAS SOUPS 9021153 WITH SCORE 9031458.978
AT ITER 1533 NEW BEST:: SOT 72977656 SOS 10305968 HAS SOPS 10305968 HAS SOUS 9021143 HAS SOUPS 9021143 WITH SCORE 9031448.968
AT ITER 1545 NEW BEST:: SOT 72977656 SOS 10305968 HAS SOPS 10305968 HAS SOUS 9021141 HAS SOUPS 9021141 WITH SCORE 9031446.968
AT ITER 1566 NEW BEST:: SOT 72976784 SOS 10305654 HAS SOPS 10305654 HAS SOUS 9020827 HAS SOUPS 9020827 WITH SCORE 9031132.654
AT ITER 1597 NEW BEST:: SOT 72975823 SOS 10304693 HAS SOPS 10304693 HAS SOUS 9019804 HAS SOUPS 9019804 WITH SCORE 9030108.693
AT ITER 1621 NEW BEST:: SOT 72975584 SOS 10304215 HAS SOPS 10304215 HAS SOUS 9019326 HAS SOUPS 9019326 WITH SCORE 9029630.215
AT ITER 1633 NEW BEST:: SOT 72975261 SOS 10303280 HAS SOPS 10303280 HAS SOUS 9018391 HAS SOUPS 9018391 WITH SCORE 9028694.28
AT ITER 1638 NEW BEST:: SOT 72975116 SOS 10303056 HAS SOPS 10303056 HAS SOUS 9018246 HAS SOUPS 9018246 WITH SCORE 9028549.056
AT ITER 1653 NEW BEST:: SOT 72974517 SOS 10301552 HAS SOPS 10301552 HAS SOUS 9016742 HAS SOUPS 9016742 WITH SCORE 9027043.552
AT ITER 1661 NEW BEST:: SOT 72973868 SOS 10300022 HAS SOPS 10300022 HAS SOUS 9015212 HAS SOUPS 9015212 WITH SCORE 9025512.022
AT ITER 1710 NEW BEST:: SOT 72973516 SOS 10299012 HAS SOPS 10299012 HAS SOUS 9014202 HAS SOUPS 9014202 WITH SCORE 9024501.012
AT ITER 1718 NEW BEST:: SOT 72970008 SOS 10296092 HAS SOPS 10296092 HAS SOUS 9011282 HAS SOUPS 9011282 WITH SCORE 9021578.092
AT ITER 1721 NEW BEST:: SOT 72969305 SOS 10294562 HAS SOPS 10294562 HAS SOUS 9009752 HAS SOUPS 9009752 WITH SCORE 9020046.562
AT ITER 1749 NEW BEST:: SOT 72969305 SOS 10294442 HAS SOPS 10294442 HAS SOUS 9009632 HAS SOUPS 9009632 WITH SCORE 9019926.442
AT ITER 1750 NEW BEST:: SOT 72968913 SOS 10293438 HAS SOPS 10293438 HAS SOUS 9008628 HAS SOUPS 9008628 WITH SCORE 9018921.438
AT ITER 1771 NEW BEST:: SOT 72968129 SOS 10293027 HAS SOPS 10293027 HAS SOUS 9008279 HAS SOUPS 9008279 WITH SCORE 9018572.027
AT ITER 1777 NEW BEST:: SOT 72967484 SOS 10292859 HAS SOPS 10292859 HAS SOUS 9008111 HAS SOUPS 9008111 WITH SCORE 9018403.859
AT ITER 1784 NEW BEST:: SOT 72966994 SOS 10291879 HAS SOPS 10291879 HAS SOUS 9007131 HAS SOUPS 9007131 WITH SCORE 9017422.879
AT ITER 1821 NEW BEST:: SOT 72966559 SOS 10291267 HAS SOPS 10291267 HAS SOUS 9006519 HAS SOUPS 9006519 WITH SCORE 9016810.267
AT ITER 1890 NEW BEST:: SOT 72965947 SOS 10290936 HAS SOPS 10290936 HAS SOUS 9006027 HAS SOUPS 9006027 WITH SCORE 9016317.936
AT ITER 1919 NEW BEST:: SOT 72964769 SOS 10290312 HAS SOPS 10290312 HAS SOUS 9005403 HAS SOUPS 9005403 WITH SCORE 9015693.312
AT ITER 1966 NEW BEST:: SOT 72963973 SOS 10290225 HAS SOPS 10290225 HAS SOUS 9005316 HAS SOUPS 9005316 WITH SCORE 9015606.225
AT ITER 1977 NEW BEST:: SOT 72963890 SOS 10289910 HAS SOPS 10289910 HAS SOUS 9005080 HAS SOUPS 9005080 WITH SCORE 9015369.91
AT ITER 1981 NEW BEST:: SOT 72963469 SOS 10289604 HAS SOPS 10289604 HAS SOUS 9004774 HAS SOUPS 9004774 WITH SCORE 9015063.604
AT ITER 1988 NEW BEST:: SOT 72962672 SOS 10289523 HAS SOPS 10289523 HAS SOUS 9004693 HAS SOUPS 9004693 WITH SCORE 9014982.523
AT ITER 2014 NEW BEST:: SOT 72962672 SOS 10289184 HAS SOPS 10289184 HAS SOUS 9004354 HAS SOUPS 9004354 WITH SCORE 9014643.184
AT ITER 2035 NEW BEST:: SOT 72962672 SOS 10289392 HAS SOPS 10289392 HAS SOUS 9004260 HAS SOUPS 9004260 WITH SCORE 9014549.392
AT ITER 2062 NEW BEST:: SOT 72962195 SOS 10288780 HAS SOPS 10288780 HAS SOUS 9003648 HAS SOUPS 9003648 WITH SCORE 9013936.78
AT ITER 2091 NEW BEST:: SOT 72960766 SOS 10288107 HAS SOPS 10288107 HAS SOUS 9002973 HAS SOUPS 9002973 WITH SCORE 9013261.107
AT ITER 2104 NEW BEST:: SOT 72959646 SOS 10285843 HAS SOPS 10285843 HAS SOUS 9002034 HAS SOUPS 9002034 WITH SCORE 9012319.843
AT ITER 2120 NEW BEST:: SOT 72959301 SOS 10284886 HAS SOPS 10284886 HAS SOUS 9001077 HAS SOUPS 9001077 WITH SCORE 9011361.886
AT ITER 2174 NEW BEST:: SOT 72958849 SOS 10283822 HAS SOPS 10283822 HAS SOUS 9000013 HAS SOUPS 9000013 WITH SCORE 9010296.822
AT ITER 2208 NEW BEST:: SOT 72957949 SOS 10283237 HAS SOPS 10283237 HAS SOUS 8998218 HAS SOUPS 8998218 WITH SCORE 9008501.237
AT ITER 2219 NEW BEST:: SOT 72957031 SOS 10282433 HAS SOPS 10282433 HAS SOUS 8997410 HAS SOUPS 8997410 WITH SCORE 9007692.433
AT ITER 2223 NEW BEST:: SOT 72956095 SOS 10281659 HAS SOPS 10281659 HAS SOUS 8996636 HAS SOUPS 8996636 WITH SCORE 9006917.659
AT ITER 2255 NEW BEST:: SOT 72955422 SOS 10280129 HAS SOPS 10280129 HAS SOUS 8995106 HAS SOUPS 8995106 WITH SCORE 9005386.129
AT ITER 2259 NEW BEST:: SOT 72954198 SOS 10279007 HAS SOPS 10279007 HAS SOUS 8993984 HAS SOUPS 8993984 WITH SCORE 9004263.007
AT ITER 2289 NEW BEST:: SOT 72954198 SOS 10293257 HAS SOPS 10293257 HAS SOUS 8993699 HAS SOUPS 8993699 WITH SCORE 9003992.257
AT ITER 2299 NEW BEST:: SOT 72954097 SOS 10292786 HAS SOPS 10292786 HAS SOUS 8993497 HAS SOUPS 8993497 WITH SCORE 9003789.786
AT ITER 2311 NEW BEST:: SOT 72953632 SOS 10292735 HAS SOPS 10292735 HAS SOUS 8993446 HAS SOUPS 8993446 WITH SCORE 9003738.735
AT ITER 2320 NEW BEST:: SOT 72953632 SOS 10292680 HAS SOPS 10292680 HAS SOUS 8993446 HAS SOUPS 8993446 WITH SCORE 9003738.68
AT ITER 2349 NEW BEST:: SOT 72952880 SOS 10291150 HAS SOPS 10291150 HAS SOUS 8991916 HAS SOUPS 8991916 WITH SCORE 9002207.15
AT ITER 2365 NEW BEST:: SOT 72952496 SOS 10290076 HAS SOPS 10290076 HAS SOUS 8990842 HAS SOUPS 8990842 WITH SCORE 9001132.076
AT ITER 2379 NEW BEST:: SOT 72952496 SOS 10289814 HAS SOPS 10289814 HAS SOUS 8990842 HAS SOUPS 8990842 WITH SCORE 9001131.814
AT ITER 2410 NEW BEST:: SOT 72951935 SOS 10289768 HAS SOPS 10289768 HAS SOUS 8990796 HAS SOUPS 8990796 WITH SCORE 9001085.768
AT ITER 2425 NEW BEST:: SOT 72951935 SOS 10289462 HAS SOPS 10289462 HAS SOUS 8990490 HAS SOUPS 8990490 WITH SCORE 9000779.462
AT ITER 2442 NEW BEST:: SOT 72951935 SOS 10289233 HAS SOPS 10289233 HAS SOUS 8990261 HAS SOUPS 8990261 WITH SCORE 9000550.233
AT ITER 2463 NEW BEST:: SOT 72941278 SOS 10509222 HAS SOPS 10509222 HAS SOUS 8984490 HAS SOUPS 8984490 WITH SCORE 8994999.222
AT ITER 2510 NEW BEST:: SOT 72941278 SOS 10509332 HAS SOPS 10509332 HAS SOUS 8984380 HAS SOUPS 8984380 WITH SCORE 8994889.332
AT ITER 2539 NEW BEST:: SOT 72941259 SOS 10509117 HAS SOPS 10509117 HAS SOUS 8984165 HAS SOUPS 8984165 WITH SCORE 8994674.117
AT ITER 2550 NEW BEST:: SOT 72940506 SOS 10508533 HAS SOPS 10508533 HAS SOUS 8983581 HAS SOUPS 8983581 WITH SCORE 8994089.533
AT ITER 2557 NEW BEST:: SOT 72940164 SOS 10508272 HAS SOPS 10508272 HAS SOUS 8983320 HAS SOUPS 8983320 WITH SCORE 8993828.272
AT ITER 2575 NEW BEST:: SOT 72939338 SOS 10507542 HAS SOPS 10507542 HAS SOUS 8982590 HAS SOUPS 8982590 WITH SCORE 8993097.542
AT ITER 2608 NEW BEST:: SOT 72938438 SOS 10507476 HAS SOPS 10507476 HAS SOUS 8982524 HAS SOUPS 8982524 WITH SCORE 8993031.476
AT ITER 2647 NEW BEST:: SOT 72937868 SOS 10507170 HAS SOPS 10507170 HAS SOUS 8982218 HAS SOUPS 8982218 WITH SCORE 8992725.17
AT ITER 2652 NEW BEST:: SOT 72937868 SOS 10507116 HAS SOPS 10507116 HAS SOUS 8982164 HAS SOUPS 8982164 WITH SCORE 8992671.116
AT ITER 2678 NEW BEST:: SOT 72937868 SOS 10506876 HAS SOPS 10506876 HAS SOUS 8982164 HAS SOUPS 8982164 WITH SCORE 8992670.876
AT ITER 2706 NEW BEST:: SOT 72936943 SOS 10506402 HAS SOPS 10506402 HAS SOUS 8981690 HAS SOUPS 8981690 WITH SCORE 8992196.402
AT ITER 2714 NEW BEST:: SOT 72936574 SOS 10505664 HAS SOPS 10505664 HAS SOUS 8981407 HAS SOUPS 8981407 WITH SCORE 8991912.664
AT ITER 2735 NEW BEST:: SOT 72935707 SOS 10505638 HAS SOPS 10505638 HAS SOUS 8981381 HAS SOUPS 8981381 WITH SCORE 8991886.638
AT ITER 2750 NEW BEST:: SOT 72935146 SOS 10505399 HAS SOPS 10505399 HAS SOUS 8981142 HAS SOUPS 8981142 WITH SCORE 8991647.399
AT ITER 2781 NEW BEST:: SOT 72935146 SOS 10504481 HAS SOPS 10504481 HAS SOUS 8980224 HAS SOUPS 8980224 WITH SCORE 8990728.481
AT ITER 2793 NEW BEST:: SOT 72935044 SOS 10504328 HAS SOPS 10504328 HAS SOUS 8980071 HAS SOUPS 8980071 WITH SCORE 8990575.328
AT ITER 2810 NEW BEST:: SOT 72933892 SOS 10503716 HAS SOPS 10503716 HAS SOUS 8979459 HAS SOUPS 8979459 WITH SCORE 8989962.716
AT ITER 2812 NEW BEST:: SOT 72933744 SOS 10503272 HAS SOPS 10503272 HAS SOUS 8979015 HAS SOUPS 8979015 WITH SCORE 8989518.272
AT ITER 2886 NEW BEST:: SOT 72933187 SOS 10503131 HAS SOPS 10503131 HAS SOUS 8978871 HAS SOUPS 8978871 WITH SCORE 8989374.131
AT ITER 2888 NEW BEST:: SOT 72931997 SOS 10501941 HAS SOPS 10501941 HAS SOUS 8977681 HAS SOUPS 8977681 WITH SCORE 8988182.941
AT ITER 2892 NEW BEST:: SOT 72931489 SOS 10500925 HAS SOPS 10500925 HAS SOUS 8976665 HAS SOUPS 8976665 WITH SCORE 8987165.925
AT ITER 2924 NEW BEST:: SOT 72931489 SOS 10500619 HAS SOPS 10500619 HAS SOUS 8976359 HAS SOUPS 8976359 WITH SCORE 8986859.619
AT ITER 2981 NEW BEST:: SOT 72930617 SOS 10500184 HAS SOPS 10500184 HAS SOUS 8975924 HAS SOUPS 8975924 WITH SCORE 8986424.184
AT ITER 3015 NEW BEST:: SOT 72930476 SOS 10499987 HAS SOPS 10499987 HAS SOUS 8975783 HAS SOUPS 8975783 WITH SCORE 8986282.987
AT ITER 3076 NEW BEST:: SOT 72930202 SOS 10499165 HAS SOPS 10499165 HAS SOUS 8974961 HAS SOUPS 8974961 WITH SCORE 8985460.165
AT ITER 3079 NEW BEST:: SOT 72929545 SOS 10498973 HAS SOPS 10498973 HAS SOUS 8974769 HAS SOUPS 8974769 WITH SCORE 8985267.973
AT ITER 3099 NEW BEST:: SOT 72929494 SOS 10498820 HAS SOPS 10498820 HAS SOUS 8974616 HAS SOUPS 8974616 WITH SCORE 8985114.82
AT ITER 3208 NEW BEST:: SOT 72929494 SOS 10498808 HAS SOPS 10498808 HAS SOUS 8974604 HAS SOUPS 8974604 WITH SCORE 8985102.808
AT ITER 3216 NEW BEST:: SOT 72929055 SOS 10498502 HAS SOPS 10498502 HAS SOUS 8974298 HAS SOUPS 8974298 WITH SCORE 8984796.502
AT ITER 3218 NEW BEST:: SOT 72928146 SOS 10498076 HAS SOPS 10498076 HAS SOUS 8973872 HAS SOUPS 8973872 WITH SCORE 8984370.076
AT ITER 3223 NEW BEST:: SOT 72928146 SOS 10497974 HAS SOPS 10497974 HAS SOUS 8973770 HAS SOUPS 8973770 WITH SCORE 8984267.974
AT ITER 3257 NEW BEST:: SOT 72928010 SOS 10497702 HAS SOPS 10497702 HAS SOUS 8973498 HAS SOUPS 8973498 WITH SCORE 8983995.702
AT ITER 3301 NEW BEST:: SOT 72927801 SOS 10497261 HAS SOPS 10497261 HAS SOUS 8973103 HAS SOUPS 8973103 WITH SCORE 8983600.261
AT ITER 3351 NEW BEST:: SOT 72926830 SOS 10496626 HAS SOPS 10496626 HAS SOUS 8972468 HAS SOUPS 8972468 WITH SCORE 8982964.626
AT ITER 3355 NEW BEST:: SOT 72926659 SOS 10496572 HAS SOPS 10496572 HAS SOUS 8972345 HAS SOUPS 8972345 WITH SCORE 8982841.572
AT ITER 3365 NEW BEST:: SOT 72925977 SOS 10495042 HAS SOPS 10495042 HAS SOUS 8970815 HAS SOUPS 8970815 WITH SCORE 8981310.042
AT ITER 3480 NEW BEST:: SOT 72925008 SOS 10493846 HAS SOPS 10493846 HAS SOUS 8969996 HAS SOUPS 8969996 WITH SCORE 8980489.846
AT ITER 3488 NEW BEST:: SOT 72924441 SOS 10492780 HAS SOPS 10492780 HAS SOUS 8969429 HAS SOUPS 8969429 WITH SCORE 8979921.78
AT ITER 3491 NEW BEST:: SOT 72911137 SOS 10602232 HAS SOPS 10602232 HAS SOUS 8958873 HAS SOUPS 8958873 WITH SCORE 8969475.232
AT ITER 3493 NEW BEST:: SOT 72910983 SOS 10601770 HAS SOPS 10601770 HAS SOUS 8958411 HAS SOUPS 8958411 WITH SCORE 8969012.77
AT ITER 3514 NEW BEST:: SOT 72910065 SOS 10601052 HAS SOPS 10601052 HAS SOUS 8957693 HAS SOUPS 8957693 WITH SCORE 8968294.052
AT ITER 3543 NEW BEST:: SOT 72910065 SOS 10600895 HAS SOPS 10600895 HAS SOUS 8957693 HAS SOUPS 8957693 WITH SCORE 8968293.895
AT ITER 3549 NEW BEST:: SOT 72909936 SOS 10600477 HAS SOPS 10600477 HAS SOUS 8957275 HAS SOUPS 8957275 WITH SCORE 8967875.477
AT ITER 3560 NEW BEST:: SOT 72909064 SOS 10600037 HAS SOPS 10600037 HAS SOUS 8956835 HAS SOUPS 8956835 WITH SCORE 8967435.037
AT ITER 3578 NEW BEST:: SOT 72908216 SOS 10599401 HAS SOPS 10599401 HAS SOUS 8956199 HAS SOUPS 8956199 WITH SCORE 8966798.401
AT ITER 3625 NEW BEST:: SOT 72908055 SOS 10599079 HAS SOPS 10599079 HAS SOUS 8955877 HAS SOUPS 8955877 WITH SCORE 8966476.079
AT ITER 3628 NEW BEST:: SOT 72906957 SOS 10598519 HAS SOPS 10598519 HAS SOUS 8955317 HAS SOUPS 8955317 WITH SCORE 8965915.519
AT ITER 3635 NEW BEST:: SOT 72906672 SOS 10598234 HAS SOPS 10598234 HAS SOUS 8955032 HAS SOUPS 8955032 WITH SCORE 8965630.234
AT ITER 3638 NEW BEST:: SOT 72906333 SOS 10597622 HAS SOPS 10597622 HAS SOUS 8954420 HAS SOUPS 8954420 WITH SCORE 8965017.622
AT ITER 3662 NEW BEST:: SOT 72905415 SOS 10596810 HAS SOPS 10596810 HAS SOUS 8953603 HAS SOUPS 8953603 WITH SCORE 8964199.81
AT ITER 3707 NEW BEST:: SOT 72904444 SOS 10596049 HAS SOPS 10596049 HAS SOUS 8952842 HAS SOUPS 8952842 WITH SCORE 8963438.049
AT ITER 3786 NEW BEST:: SOT 72903572 SOS 10595731 HAS SOPS 10595731 HAS SOUS 8952524 HAS SOUPS 8952524 WITH SCORE 8963119.731
AT ITER 3833 NEW BEST:: SOT 72903178 SOS 10595340 HAS SOPS 10595340 HAS SOUS 8952133 HAS SOUPS 8952133 WITH SCORE 8962728.34
AT ITER 3867 NEW BEST:: SOT 72902354 SOS 10595022 HAS SOPS 10595022 HAS SOUS 8951815 HAS SOUPS 8951815 WITH SCORE 8962410.022
AT ITER 3890 NEW BEST:: SOT 72901506 SOS 10594779 HAS SOPS 10594779 HAS SOUS 8951572 HAS SOUPS 8951572 WITH SCORE 8962166.779
AT ITER 3914 NEW BEST:: SOT 72900894 SOS 10594336 HAS SOPS 10594336 HAS SOUS 8951125 HAS SOUPS 8951125 WITH SCORE 8961719.336
AT ITER 3919 NEW BEST:: SOT 72900894 SOS 10595188 HAS SOPS 10595188 HAS SOUS 8951092 HAS SOUPS 8951092 WITH SCORE 8961687.188
AT ITER 3931 NEW BEST:: SOT 72900596 SOS 10594592 HAS SOPS 10594592 HAS SOUS 8950496 HAS SOUPS 8950496 WITH SCORE 8961090.592
AT ITER 3951 NEW BEST:: SOT 72900596 SOS 10594836 HAS SOPS 10594836 HAS SOUS 8950394 HAS SOUPS 8950394 WITH SCORE 8960988.836
AT ITER 3995 NEW BEST:: SOT 72900315 SOS 10594785 HAS SOPS 10594785 HAS SOUS 8950343 HAS SOUPS 8950343 WITH SCORE 8960937.785
AT ITER 4044 NEW BEST:: SOT 72900315 SOS 10593867 HAS SOPS 10593867 HAS SOUS 8949425 HAS SOUPS 8949425 WITH SCORE 8960018.867
AT ITER 4059 NEW BEST:: SOT 72900172 SOS 10593887 HAS SOPS 10593887 HAS SOUS 8949355 HAS SOUPS 8949355 WITH SCORE 8959948.887
AT ITER 4073 NEW BEST:: SOT 72899834 SOS 10593275 HAS SOPS 10593275 HAS SOUS 8949081 HAS SOUPS 8949081 WITH SCORE 8959674.275
AT ITER 4110 NEW BEST:: SOT 72898723 SOS 10591858 HAS SOPS 10591858 HAS SOUS 8948868 HAS SOUPS 8948868 WITH SCORE 8959459.858
AT ITER 4114 NEW BEST:: SOT 72898382 SOS 10591246 HAS SOPS 10591246 HAS SOUS 8948256 HAS SOUPS 8948256 WITH SCORE 8958847.246
AT ITER 4138 NEW BEST:: SOT 72897967 SOS 10590110 HAS SOPS 10590110 HAS SOUS 8947120 HAS SOUPS 8947120 WITH SCORE 8957710.11
AT ITER 4170 NEW BEST:: SOT 72897990 SOS 10589951 HAS SOPS 10589951 HAS SOUS 8946905 HAS SOUPS 8946905 WITH SCORE 8957494.951
AT ITER 4175 NEW BEST:: SOT 72897409 SOS 10589645 HAS SOPS 10589645 HAS SOUS 8946599 HAS SOUPS 8946599 WITH SCORE 8957188.645
AT ITER 4185 NEW BEST:: SOT 72897185 SOS 10589197 HAS SOPS 10589197 HAS SOUS 8946151 HAS SOUPS 8946151 WITH SCORE 8956740.197
AT ITER 4187 NEW BEST:: SOT 72896761 SOS 10588161 HAS SOPS 10588161 HAS SOUS 8945115 HAS SOUPS 8945115 WITH SCORE 8955703.161
AT ITER 4199 NEW BEST:: SOT 72896761 SOS 10587855 HAS SOPS 10587855 HAS SOUS 8944809 HAS SOUPS 8944809 WITH SCORE 8955396.855
AT ITER 4209 NEW BEST:: SOT 72896275 SOS 10586577 HAS SOPS 10586577 HAS SOUS 8943531 HAS SOUPS 8943531 WITH SCORE 8954117.577
AT ITER 4219 NEW BEST:: SOT 72895552 SOS 10585242 HAS SOPS 10585242 HAS SOUS 8942196 HAS SOUPS 8942196 WITH SCORE 8952781.242
AT ITER 4242 NEW BEST:: SOT 72894593 SOS 10583620 HAS SOPS 10583620 HAS SOUS 8940625 HAS SOUPS 8940625 WITH SCORE 8951208.62
AT ITER 4250 NEW BEST:: SOT 72894592 SOS 10583582 HAS SOPS 10583582 HAS SOUS 8940624 HAS SOUPS 8940624 WITH SCORE 8951207.582
AT ITER 4280 NEW BEST:: SOT 72894041 SOS 10583459 HAS SOPS 10583459 HAS SOUS 8940496 HAS SOUPS 8940496 WITH SCORE 8951079.459
AT ITER 4305 NEW BEST:: SOT 72893735 SOS 10582847 HAS SOPS 10582847 HAS SOUS 8940167 HAS SOUPS 8940167 WITH SCORE 8950749.847
AT ITER 4339 NEW BEST:: SOT 72893102 SOS 10581857 HAS SOPS 10581857 HAS SOUS 8939228 HAS SOUPS 8939228 WITH SCORE 8949809.857
AT ITER 4354 NEW BEST:: SOT 72892453 SOS 10581581 HAS SOPS 10581581 HAS SOUS 8938952 HAS SOUPS 8938952 WITH SCORE 8949533.581
AT ITER 4372 NEW BEST:: SOT 72892097 SOS 10581530 HAS SOPS 10581530 HAS SOUS 8938901 HAS SOUPS 8938901 WITH SCORE 8949482.53
AT ITER 4426 NEW BEST:: SOT 72891871 SOS 10581078 HAS SOPS 10581078 HAS SOUS 8938670 HAS SOUPS 8938670 WITH SCORE 8949251.078
AT ITER 4429 NEW BEST:: SOT 72891489 SOS 10580505 HAS SOPS 10580505 HAS SOUS 8938097 HAS SOUPS 8938097 WITH SCORE 8948677.505
AT ITER 4439 NEW BEST:: SOT 72890520 SOS 10579987 HAS SOPS 10579987 HAS SOUS 8937579 HAS SOUPS 8937579 WITH SCORE 8948158.987
AT ITER 4450 NEW BEST:: SOT 72889909 SOS 10579681 HAS SOPS 10579681 HAS SOUS 8937273 HAS SOUPS 8937273 WITH SCORE 8947852.681
AT ITER 4493 NEW BEST:: SOT 72888446 SOS 10578514 HAS SOPS 10578514 HAS SOUS 8936106 HAS SOUPS 8936106 WITH SCORE 8946684.514
AT ITER 4613 NEW BEST:: SOT 72888361 SOS 10578747 HAS SOPS 10578747 HAS SOUS 8935991 HAS SOUPS 8935991 WITH SCORE 8946569.747
AT ITER 4654 NEW BEST:: SOT 72888043 SOS 10577817 HAS SOPS 10577817 HAS SOUS 8935061 HAS SOUPS 8935061 WITH SCORE 8945638.817
AT ITER 4664 NEW BEST:: SOT 72887479 SOS 10577511 HAS SOPS 10577511 HAS SOUS 8934755 HAS SOUPS 8934755 WITH SCORE 8945332.511
AT ITER 4767 NEW BEST:: SOT 72887340 SOS 10577233 HAS SOPS 10577233 HAS SOUS 8934616 HAS SOUPS 8934616 WITH SCORE 8945193.233
AT ITER 4788 NEW BEST:: SOT 72886167 SOS 10575754 HAS SOPS 10575754 HAS SOUS 8934216 HAS SOUPS 8934216 WITH SCORE 8944791.754
AT ITER 4790 NEW BEST:: SOT 72884961 SOS 10575065 HAS SOPS 10575065 HAS SOUS 8933527 HAS SOUPS 8933527 WITH SCORE 8944102.065
AT ITER 4792 NEW BEST:: SOT 72884525 SOS 10575057 HAS SOPS 10575057 HAS SOUS 8933519 HAS SOUPS 8933519 WITH SCORE 8944094.057
AT ITER 4817 NEW BEST:: SOT 72884197 SOS 10574423 HAS SOPS 10574423 HAS SOUS 8932885 HAS SOUPS 8932885 WITH SCORE 8943459.423
AT ITER 4823 NEW BEST:: SOT 72883196 SOS 10574372 HAS SOPS 10574372 HAS SOUS 8932834 HAS SOUPS 8932834 WITH SCORE 8943408.372
AT ITER 4926 NEW BEST:: SOT 72882324 SOS 10573880 HAS SOPS 10573880 HAS SOUS 8932342 HAS SOUPS 8932342 WITH SCORE 8942915.88
AT ITER 4938 NEW BEST:: SOT 72881908 SOS 10573107 HAS SOPS 10573107 HAS SOUS 8931620 HAS SOUPS 8931620 WITH SCORE 8942193.107
AT ITER 4953 NEW BEST:: SOT 72881898 SOS 10573058 HAS SOPS 10573058 HAS SOUS 8931571 HAS SOUPS 8931571 WITH SCORE 8942144.058
AT ITER 4963 NEW BEST:: SOT 72881898 SOS 10572904 HAS SOPS 10572904 HAS SOUS 8931417 HAS SOUPS 8931417 WITH SCORE 8941989.904
AT ITER 4985 NEW BEST:: SOT 72881626 SOS 10572632 HAS SOPS 10572632 HAS SOUS 8930873 HAS SOUPS 8930873 WITH SCORE 8941445.632
AT ITER 5047 NEW BEST:: SOT 72880646 SOS 10572206 HAS SOPS 10572206 HAS SOUS 8930447 HAS SOUPS 8930447 WITH SCORE 8941019.206
AT ITER 5072 NEW BEST:: SOT 72880646 SOS 10571069 HAS SOPS 10571069 HAS SOUS 8930068 HAS SOUPS 8930068 WITH SCORE 8940639.069
AT ITER 5107 NEW BEST:: SOT 72880427 SOS 10570631 HAS SOPS 10570631 HAS SOUS 8929630 HAS SOUPS 8929630 WITH SCORE 8940200.631
AT ITER 5108 NEW BEST:: SOT 72880258 SOS 10570654 HAS SOPS 10570654 HAS SOUS 8929304 HAS SOUPS 8929304 WITH SCORE 8939874.654
AT ITER 5115 NEW BEST:: SOT 72879870 SOS 10570042 HAS SOPS 10570042 HAS SOUS 8928692 HAS SOUPS 8928692 WITH SCORE 8939262.042
AT ITER 5121 NEW BEST:: SOT 72879826 SOS 10569842 HAS SOPS 10569842 HAS SOUS 8928174 HAS SOUPS 8928174 WITH SCORE 8938743.842
AT ITER 5124 NEW BEST:: SOT 72879716 SOS 10569842 HAS SOPS 10569842 HAS SOUS 8928118 HAS SOUPS 8928118 WITH SCORE 8938687.842
AT ITER 5139 NEW BEST:: SOT 72879716 SOS 10569740 HAS SOPS 10569740 HAS SOUS 8928016 HAS SOUPS 8928016 WITH SCORE 8938585.74
AT ITER 5140 NEW BEST:: SOT 72879131 SOS 10568264 HAS SOPS 10568264 HAS SOUS 8926540 HAS SOUPS 8926540 WITH SCORE 8937108.264
AT ITER 5171 NEW BEST:: SOT 72876431 SOS 10566950 HAS SOPS 10566950 HAS SOUS 8924686 HAS SOUPS 8924686 WITH SCORE 8935252.95
AT ITER 5186 NEW BEST:: SOT 72876380 SOS 10566762 HAS SOPS 10566762 HAS SOUS 8924635 HAS SOUPS 8924635 WITH SCORE 8935201.762
AT ITER 5202 NEW BEST:: SOT 72876175 SOS 10566265 HAS SOPS 10566265 HAS SOUS 8924316 HAS SOUPS 8924316 WITH SCORE 8934882.265
AT ITER 5205 NEW BEST:: SOT 72876175 SOS 10566163 HAS SOPS 10566163 HAS SOUS 8924214 HAS SOUPS 8924214 WITH SCORE 8934780.163
AT ITER 5212 NEW BEST:: SOT 72875430 SOS 10565857 HAS SOPS 10565857 HAS SOUS 8923908 HAS SOUPS 8923908 WITH SCORE 8934473.857
AT ITER 5214 NEW BEST:: SOT 72875119 SOS 10565245 HAS SOPS 10565245 HAS SOUS 8923296 HAS SOUPS 8923296 WITH SCORE 8933861.245
AT ITER 5225 NEW BEST:: SOT 72874464 SOS 10563715 HAS SOPS 10563715 HAS SOUS 8921766 HAS SOUPS 8921766 WITH SCORE 8932329.715
AT ITER 5247 NEW BEST:: SOT 72873724 SOS 10563565 HAS SOPS 10563565 HAS SOUS 8921616 HAS SOUPS 8921616 WITH SCORE 8932179.565
AT ITER 5253 NEW BEST:: SOT 72873294 SOS 10562719 HAS SOPS 10562719 HAS SOUS 8920770 HAS SOUPS 8920770 WITH SCORE 8931332.719
AT ITER 5277 NEW BEST:: SOT 72873064 SOS 10562425 HAS SOPS 10562425 HAS SOUS 8920372 HAS SOUPS 8920372 WITH SCORE 8930934.425
AT ITER 5317 NEW BEST:: SOT 72872700 SOS 10562141 HAS SOPS 10562141 HAS SOUS 8920088 HAS SOUPS 8920088 WITH SCORE 8930650.141
AT ITER 5322 NEW BEST:: SOT 72872123 SOS 10560987 HAS SOPS 10560987 HAS SOUS 8919409 HAS SOUPS 8919409 WITH SCORE 8929969.987
AT ITER 5354 NEW BEST:: SOT 72871952 SOS 10560635 HAS SOPS 10560635 HAS SOUS 8919136 HAS SOUPS 8919136 WITH SCORE 8929696.635
AT ITER 5355 NEW BEST:: SOT 72871952 SOS 10560559 HAS SOPS 10560559 HAS SOUS 8919136 HAS SOUPS 8919136 WITH SCORE 8929696.559
AT ITER 5382 NEW BEST:: SOT 72870774 SOS 10559886 HAS SOPS 10559886 HAS SOUS 8918463 HAS SOUPS 8918463 WITH SCORE 8929022.886
AT ITER 5470 NEW BEST:: SOT 72870468 SOS 10559993 HAS SOPS 10559993 HAS SOUS 8918301 HAS SOUPS 8918301 WITH SCORE 8928860.993
AT ITER 5472 NEW BEST:: SOT 72869758 SOS 10559785 HAS SOPS 10559785 HAS SOUS 8917383 HAS SOUPS 8917383 WITH SCORE 8927942.785
AT ITER 5496 NEW BEST:: SOT 72869401 SOS 10559420 HAS SOPS 10559420 HAS SOUS 8917018 HAS SOUPS 8917018 WITH SCORE 8927577.42
AT ITER 5542 NEW BEST:: SOT 72869401 SOS 10559958 HAS SOPS 10559958 HAS SOUS 8916675 HAS SOUPS 8916675 WITH SCORE 8927234.958
AT ITER 5557 NEW BEST:: SOT 72869057 SOS 10559346 HAS SOPS 10559346 HAS SOUS 8916063 HAS SOUPS 8916063 WITH SCORE 8926622.346
AT ITER 5581 NEW BEST:: SOT 72868595 SOS 10559040 HAS SOPS 10559040 HAS SOUS 8915753 HAS SOUPS 8915753 WITH SCORE 8926312.04
AT ITER 5584 NEW BEST:: SOT 72867615 SOS 10558002 HAS SOPS 10558002 HAS SOUS 8914715 HAS SOUPS 8914715 WITH SCORE 8925273.002
AT ITER 5604 NEW BEST:: SOT 72864631 SOS 10557764 HAS SOPS 10557764 HAS SOUS 8913172 HAS SOUPS 8913172 WITH SCORE 8923729.764
AT ITER 5608 NEW BEST:: SOT 72863325 SOS 10556805 HAS SOPS 10556805 HAS SOUS 8912213 HAS SOUPS 8912213 WITH SCORE 8922769.805
AT ITER 5610 NEW BEST:: SOT 72862356 SOS 10555762 HAS SOPS 10555762 HAS SOUS 8911522 HAS SOUPS 8911522 WITH SCORE 8922077.762
AT ITER 5627 NEW BEST:: SOT 72861676 SOS 10555507 HAS SOPS 10555507 HAS SOUS 8911380 HAS SOUPS 8911380 WITH SCORE 8921935.507
AT ITER 5685 NEW BEST:: SOT 72861262 SOS 10554787 HAS SOPS 10554787 HAS SOUS 8910660 HAS SOUPS 8910660 WITH SCORE 8921214.787
AT ITER 5757 NEW BEST:: SOT 72860961 SOS 10554185 HAS SOPS 10554185 HAS SOUS 8910058 HAS SOUPS 8910058 WITH SCORE 8920612.185
AT ITER 5759 NEW BEST:: SOT 72860381 SOS 10552719 HAS SOPS 10552719 HAS SOUS 8908592 HAS SOUPS 8908592 WITH SCORE 8919144.719
AT ITER 5763 NEW BEST:: SOT 72860050 SOS 10552668 HAS SOPS 10552668 HAS SOUS 8908541 HAS SOUPS 8908541 WITH SCORE 8919093.668
AT ITER 5768 NEW BEST:: SOT 72859246 SOS 10552557 HAS SOPS 10552557 HAS SOUS 8908430 HAS SOUPS 8908430 WITH SCORE 8918982.557
AT ITER 5805 NEW BEST:: SOT 72858026 SOS 10551337 HAS SOPS 10551337 HAS SOUS 8907148 HAS SOUPS 8907148 WITH SCORE 8917699.337
AT ITER 5840 NEW BEST:: SOT 72857055 SOS 10550717 HAS SOPS 10550717 HAS SOUS 8906528 HAS SOUPS 8906528 WITH SCORE 8917078.717
AT ITER 5871 NEW BEST:: SOT 72857055 SOS 10550771 HAS SOPS 10550771 HAS SOUS 8906474 HAS SOUPS 8906474 WITH SCORE 8917024.771
AT ITER 5898 NEW BEST:: SOT 72856352 SOS 10550487 HAS SOPS 10550487 HAS SOUS 8906190 HAS SOUPS 8906190 WITH SCORE 8916740.487
AT ITER 5899 NEW BEST:: SOT 72855995 SOS 10550020 HAS SOPS 10550020 HAS SOUS 8905723 HAS SOUPS 8905723 WITH SCORE 8916273.02
AT ITER 5924 NEW BEST:: SOT 72855885 SOS 10549800 HAS SOPS 10549800 HAS SOUS 8905610 HAS SOUPS 8905610 WITH SCORE 8916159.8
AT ITER 5931 NEW BEST:: SOT 72855121 SOS 10549494 HAS SOPS 10549494 HAS SOUS 8905304 HAS SOUPS 8905304 WITH SCORE 8915853.494
AT ITER 6019 NEW BEST:: SOT 72854203 SOS 10548632 HAS SOPS 10548632 HAS SOUS 8904442 HAS SOUPS 8904442 WITH SCORE 8914990.632
AT ITER 6029 NEW BEST:: SOT 72853416 SOS 10548501 HAS SOPS 10548501 HAS SOUS 8903524 HAS SOUPS 8903524 WITH SCORE 8914072.501
AT ITER 6062 NEW BEST:: SOT 72853389 SOS 10548447 HAS SOPS 10548447 HAS SOUS 8903497 HAS SOUPS 8903497 WITH SCORE 8914045.447
AT ITER 6063 NEW BEST:: SOT 72853128 SOS 10548429 HAS SOPS 10548429 HAS SOUS 8903479 HAS SOUPS 8903479 WITH SCORE 8914027.429
AT ITER 6097 NEW BEST:: SOT 72853128 SOS 10548383 HAS SOPS 10548383 HAS SOUS 8903433 HAS SOUPS 8903433 WITH SCORE 8913981.383
AT ITER 6153 NEW BEST:: SOT 72851829 SOS 10547399 HAS SOPS 10547399 HAS SOUS 8902458 HAS SOUPS 8902458 WITH SCORE 8913005.399
AT ITER 6154 NEW BEST:: SOT 72851398 SOS 10546356 HAS SOPS 10546356 HAS SOUS 8901415 HAS SOUPS 8901415 WITH SCORE 8911961.356
AT ITER 6200 NEW BEST:: SOT 72851114 SOS 10545788 HAS SOPS 10545788 HAS SOUS 8900847 HAS SOUPS 8900847 WITH SCORE 8911392.788
AT ITER 6215 NEW BEST:: SOT 72850533 SOS 10544901 HAS SOPS 10544901 HAS SOUS 8899960 HAS SOUPS 8899960 WITH SCORE 8910504.901
AT ITER 6238 NEW BEST:: SOT 72849896 SOS 10543371 HAS SOPS 10543371 HAS SOUS 8898430 HAS SOUPS 8898430 WITH SCORE 8908973.371
AT ITER 6269 NEW BEST:: SOT 72849146 SOS 10541958 HAS SOPS 10541958 HAS SOUS 8897068 HAS SOUPS 8897068 WITH SCORE 8907609.958
AT ITER 6286 NEW BEST:: SOT 72849030 SOS 10541726 HAS SOPS 10541726 HAS SOUS 8896836 HAS SOUPS 8896836 WITH SCORE 8907377.726
AT ITER 6296 NEW BEST:: SOT 72848418 SOS 10541305 HAS SOPS 10541305 HAS SOUS 8896415 HAS SOUPS 8896415 WITH SCORE 8906956.305
AT ITER 6320 NEW BEST:: SOT 72847770 SOS 10540999 HAS SOPS 10540999 HAS SOUS 8896109 HAS SOUPS 8896109 WITH SCORE 8906649.999
AT ITER 6335 NEW BEST:: SOT 72847093 SOS 10539469 HAS SOPS 10539469 HAS SOUS 8894579 HAS SOUPS 8894579 WITH SCORE 8905118.469
AT ITER 6368 NEW BEST:: SOT 72846242 SOS 10539402 HAS SOPS 10539402 HAS SOUS 8893661 HAS SOUPS 8893661 WITH SCORE 8904200.402
AT ITER 6406 NEW BEST:: SOT 72846022 SOS 10538962 HAS SOPS 10538962 HAS SOUS 8893436 HAS SOUPS 8893436 WITH SCORE 8903974.962
AT ITER 6449 NEW BEST:: SOT 72844466 SOS 10537406 HAS SOPS 10537406 HAS SOUS 8891880 HAS SOUPS 8891880 WITH SCORE 8902417.406
AT ITER 6451 NEW BEST:: SOT 72844466 SOS 10536434 HAS SOPS 10536434 HAS SOUS 8891880 HAS SOUPS 8891880 WITH SCORE 8902416.434
AT ITER 6480 NEW BEST:: SOT 72843944 SOS 10535084 HAS SOPS 10535084 HAS SOUS 8890530 HAS SOUPS 8890530 WITH SCORE 8901065.084
AT ITER 6493 NEW BEST:: SOT 72843244 SOS 10533969 HAS SOPS 10533969 HAS SOUS 8889415 HAS SOUPS 8889415 WITH SCORE 8899948.969
AT ITER 6504 NEW BEST:: SOT 72842725 SOS 10533853 HAS SOPS 10533853 HAS SOUS 8889299 HAS SOUPS 8889299 WITH SCORE 8899832.853
AT ITER 6533 NEW BEST:: SOT 72842216 SOS 10532835 HAS SOPS 10532835 HAS SOUS 8888281 HAS SOUPS 8888281 WITH SCORE 8898813.835
AT ITER 6601 NEW BEST:: SOT 72842216 SOS 10532529 HAS SOPS 10532529 HAS SOUS 8887971 HAS SOUPS 8887971 WITH SCORE 8898503.529
AT ITER 6605 NEW BEST:: SOT 72842216 SOS 10532253 HAS SOPS 10532253 HAS SOUS 8887695 HAS SOUPS 8887695 WITH SCORE 8898227.253
AT ITER 6619 NEW BEST:: SOT 72842216 SOS 10531669 HAS SOPS 10531669 HAS SOUS 8887111 HAS SOUPS 8887111 WITH SCORE 8897642.669
AT ITER 6623 NEW BEST:: SOT 72842157 SOS 10531551 HAS SOPS 10531551 HAS SOUS 8886993 HAS SOUPS 8886993 WITH SCORE 8897524.551
AT ITER 6628 NEW BEST:: SOT 72840997 SOS 10530429 HAS SOPS 10530429 HAS SOUS 8885871 HAS SOUPS 8885871 WITH SCORE 8896401.429
AT ITER 6630 NEW BEST:: SOT 72841259 SOS 10530140 HAS SOPS 10530140 HAS SOUS 8885582 HAS SOUPS 8885582 WITH SCORE 8896112.14
AT ITER 6633 NEW BEST:: SOT 72840634 SOS 10529812 HAS SOPS 10529812 HAS SOUS 8885254 HAS SOUPS 8885254 WITH SCORE 8895783.812
AT ITER 6678 NEW BEST:: SOT 72840124 SOS 10529200 HAS SOPS 10529200 HAS SOUS 8884642 HAS SOUPS 8884642 WITH SCORE 8895171.2
AT ITER 6679 NEW BEST:: SOT 72840048 SOS 10528668 HAS SOPS 10528668 HAS SOUS 8884490 HAS SOUPS 8884490 WITH SCORE 8895018.668
AT ITER 6684 NEW BEST:: SOT 72839710 SOS 10528499 HAS SOPS 10528499 HAS SOUS 8884321 HAS SOUPS 8884321 WITH SCORE 8894849.499
AT ITER 6695 NEW BEST:: SOT 72838955 SOS 10527911 HAS SOPS 10527911 HAS SOUS 8883733 HAS SOUPS 8883733 WITH SCORE 8894260.911
AT ITER 6765 NEW BEST:: SOT 72838462 SOS 10527605 HAS SOPS 10527605 HAS SOUS 8883427 HAS SOUPS 8883427 WITH SCORE 8893954.605
AT ITER 6770 NEW BEST:: SOT 72838243 SOS 10527167 HAS SOPS 10527167 HAS SOUS 8882989 HAS SOUPS 8882989 WITH SCORE 8893516.167
AT ITER 6830 NEW BEST:: SOT 72837863 SOS 10526555 HAS SOPS 10526555 HAS SOUS 8882377 HAS SOUPS 8882377 WITH SCORE 8892903.555
AT ITER 6841 NEW BEST:: SOT 72836972 SOS 10525637 HAS SOPS 10525637 HAS SOUS 8881459 HAS SOUPS 8881459 WITH SCORE 8891984.637
AT ITER 6888 NEW BEST:: SOT 72836139 SOS 10524107 HAS SOPS 10524107 HAS SOUS 8879929 HAS SOUPS 8879929 WITH SCORE 8890453.107
AT ITER 6930 NEW BEST:: SOT 72835527 SOS 10523774 HAS SOPS 10523774 HAS SOUS 8878705 HAS SOUPS 8878705 WITH SCORE 8889228.774
AT ITER 6932 NEW BEST:: SOT 72834843 SOS 10522244 HAS SOPS 10522244 HAS SOUS 8877175 HAS SOUPS 8877175 WITH SCORE 8887697.244
AT ITER 6934 NEW BEST:: SOT 72834146 SOS 10522180 HAS SOPS 10522180 HAS SOUS 8877111 HAS SOUPS 8877111 WITH SCORE 8887633.18
AT ITER 6950 NEW BEST:: SOT 72834076 SOS 10522582 HAS SOPS 10522582 HAS SOUS 8876843 HAS SOUPS 8876843 WITH SCORE 8887365.582
AT ITER 6971 NEW BEST:: SOT 72833719 SOS 10522250 HAS SOPS 10522250 HAS SOUS 8876511 HAS SOUPS 8876511 WITH SCORE 8887033.25
AT ITER 6976 NEW BEST:: SOT 72832660 SOS 10521128 HAS SOPS 10521128 HAS SOUS 8875389 HAS SOUPS 8875389 WITH SCORE 8885910.128
AT ITER 6982 NEW BEST:: SOT 72832592 SOS 10521514 HAS SOPS 10521514 HAS SOUS 8874880 HAS SOUPS 8874880 WITH SCORE 8885401.514
AT ITER 7007 NEW BEST:: SOT 72832097 SOS 10520407 HAS SOPS 10520407 HAS SOUS 8873773 HAS SOUPS 8873773 WITH SCORE 8884293.407
AT ITER 7011 NEW BEST:: SOT 72831961 SOS 10520441 HAS SOPS 10520441 HAS SOUS 8873742 HAS SOUPS 8873742 WITH SCORE 8884262.441
AT ITER 7045 NEW BEST:: SOT 72830978 SOS 10519793 HAS SOPS 10519793 HAS SOUS 8873094 HAS SOUPS 8873094 WITH SCORE 8883613.793
AT ITER 7092 NEW BEST:: SOT 72829553 SOS 10519492 HAS SOPS 10519492 HAS SOUS 8872793 HAS SOUPS 8872793 WITH SCORE 8883312.492
AT ITER 7095 NEW BEST:: SOT 72828958 SOS 10519224 HAS SOPS 10519224 HAS SOUS 8872525 HAS SOUPS 8872525 WITH SCORE 8883044.224
AT ITER 7106 NEW BEST:: SOT 72828958 SOS 10518993 HAS SOPS 10518993 HAS SOUS 8872294 HAS SOUPS 8872294 WITH SCORE 8882812.993
AT ITER 7123 NEW BEST:: SOT 72829014 SOS 10518797 HAS SOPS 10518797 HAS SOUS 8872098 HAS SOUPS 8872098 WITH SCORE 8882616.797
AT ITER 7142 NEW BEST:: SOT 72828672 SOS 10518536 HAS SOPS 10518536 HAS SOUS 8871837 HAS SOUPS 8871837 WITH SCORE 8882355.536
AT ITER 7224 NEW BEST:: SOT 72828672 SOS 10518699 HAS SOPS 10518699 HAS SOUS 8871225 HAS SOUPS 8871225 WITH SCORE 8881743.699
AT ITER 7232 NEW BEST:: SOT 72827782 SOS 10518239 HAS SOPS 10518239 HAS SOUS 8870779 HAS SOUPS 8870779 WITH SCORE 8881297.239
AT ITER 7245 NEW BEST:: SOT 72827706 SOS 10518087 HAS SOPS 10518087 HAS SOUS 8870701 HAS SOUPS 8870701 WITH SCORE 8881219.087
AT ITER 7246 NEW BEST:: SOT 72826671 SOS 10518036 HAS SOPS 10518036 HAS SOUS 8870650 HAS SOUPS 8870650 WITH SCORE 8881168.036
AT ITER 7247 NEW BEST:: SOT 72826212 SOS 10516812 HAS SOPS 10516812 HAS SOUS 8869426 HAS SOUPS 8869426 WITH SCORE 8879942.812
AT ITER 7266 NEW BEST:: SOT 72825191 SOS 10516434 HAS SOPS 10516434 HAS SOUS 8869048 HAS SOUPS 8869048 WITH SCORE 8879564.434
AT ITER 7288 NEW BEST:: SOT 72824981 SOS 10516014 HAS SOPS 10516014 HAS SOUS 8868628 HAS SOUPS 8868628 WITH SCORE 8879144.014
AT ITER 7306 NEW BEST:: SOT 72824930 SOS 10515816 HAS SOPS 10515816 HAS SOUS 8868577 HAS SOUPS 8868577 WITH SCORE 8879092.816
AT ITER 7340 NEW BEST:: SOT 72824653 SOS 10515539 HAS SOPS 10515539 HAS SOUS 8868025 HAS SOUPS 8868025 WITH SCORE 8878540.539
AT ITER 7360 NEW BEST:: SOT 72823686 SOS 10514939 HAS SOPS 10514939 HAS SOUS 8867425 HAS SOUPS 8867425 WITH SCORE 8877939.939
AT ITER 7390 NEW BEST:: SOT 72822508 SOS 10514220 HAS SOPS 10514220 HAS SOUS 8866706 HAS SOUPS 8866706 WITH SCORE 8877220.22
AT ITER 7401 NEW BEST:: SOT 72822376 SOS 10514220 HAS SOPS 10514220 HAS SOUS 8866576 HAS SOUPS 8866576 WITH SCORE 8877090.22
AT ITER 7411 NEW BEST:: SOT 72822247 SOS 10514150 HAS SOPS 10514150 HAS SOUS 8866506 HAS SOUPS 8866506 WITH SCORE 8877020.15
AT ITER 7426 NEW BEST:: SOT 72821329 SOS 10514143 HAS SOPS 10514143 HAS SOUS 8865282 HAS SOUPS 8865282 WITH SCORE 8875796.143
AT ITER 7445 NEW BEST:: SOT 72820941 SOS 10513837 HAS SOPS 10513837 HAS SOUS 8864976 HAS SOUPS 8864976 WITH SCORE 8875489.837
AT ITER 7479 NEW BEST:: SOT 72820568 SOS 10513531 HAS SOPS 10513531 HAS SOUS 8864670 HAS SOUPS 8864670 WITH SCORE 8875183.531
AT ITER 7484 NEW BEST:: SOT 72820595 SOS 10513558 HAS SOPS 10513558 HAS SOUS 8864327 HAS SOUPS 8864327 WITH SCORE 8874840.558
AT ITER 7525 NEW BEST:: SOT 72819689 SOS 10512792 HAS SOPS 10512792 HAS SOUS 8863561 HAS SOUPS 8863561 WITH SCORE 8874073.792
AT ITER 7540 NEW BEST:: SOT 72819554 SOS 10512393 HAS SOPS 10512393 HAS SOUS 8863296 HAS SOUPS 8863296 WITH SCORE 8873808.393
AT ITER 7541 NEW BEST:: SOT 72818957 SOS 10512249 HAS SOPS 10512249 HAS SOUS 8863098 HAS SOUPS 8863098 WITH SCORE 8873610.249
AT ITER 7545 NEW BEST:: SOT 72815226 SOS 10509203 HAS SOPS 10509203 HAS SOUS 8859746 HAS SOUPS 8859746 WITH SCORE 8870255.203
AT ITER 7583 NEW BEST:: SOT 72815093 SOS 10508804 HAS SOPS 10508804 HAS SOUS 8859347 HAS SOUPS 8859347 WITH SCORE 8869855.804
AT ITER 7609 NEW BEST:: SOT 72814540 SOS 10508908 HAS SOPS 10508908 HAS SOUS 8858794 HAS SOUPS 8858794 WITH SCORE 8869302.908
AT ITER 7628 NEW BEST:: SOT 72813892 SOS 10507378 HAS SOPS 10507378 HAS SOUS 8857264 HAS SOUPS 8857264 WITH SCORE 8867771.378
AT ITER 7644 NEW BEST:: SOT 72812921 SOS 10506720 HAS SOPS 10506720 HAS SOUS 8856606 HAS SOUPS 8856606 WITH SCORE 8867112.72
AT ITER 7647 NEW BEST:: SOT 72812071 SOS 10505942 HAS SOPS 10505942 HAS SOUS 8855828 HAS SOUPS 8855828 WITH SCORE 8866333.942
AT ITER 7683 NEW BEST:: SOT 72812071 SOS 10505883 HAS SOPS 10505883 HAS SOUS 8855769 HAS SOUPS 8855769 WITH SCORE 8866274.883
AT ITER 7723 NEW BEST:: SOT 72811996 SOS 10505835 HAS SOPS 10505835 HAS SOUS 8855721 HAS SOUPS 8855721 WITH SCORE 8866226.835
AT ITER 7728 NEW BEST:: SOT 72811025 SOS 10505095 HAS SOPS 10505095 HAS SOUS 8854981 HAS SOUPS 8854981 WITH SCORE 8865486.095
AT ITER 7752 NEW BEST:: SOT 72810487 SOS 10504811 HAS SOPS 10504811 HAS SOUS 8854137 HAS SOUPS 8854137 WITH SCORE 8864641.811
AT ITER 7781 NEW BEST:: SOT 72810256 SOS 10503836 HAS SOPS 10503836 HAS SOUS 8853162 HAS SOUPS 8853162 WITH SCORE 8863665.836
AT ITER 7831 NEW BEST:: SOT 72809926 SOS 10503224 HAS SOPS 10503224 HAS SOUS 8852550 HAS SOUPS 8852550 WITH SCORE 8863053.224
AT ITER 7853 NEW BEST:: SOT 72809332 SOS 10502036 HAS SOPS 10502036 HAS SOUS 8851362 HAS SOUPS 8851362 WITH SCORE 8861864.036
AT ITER 7869 NEW BEST:: SOT 72809026 SOS 10501800 HAS SOPS 10501800 HAS SOUS 8850820 HAS SOUPS 8850820 WITH SCORE 8861321.8
AT ITER 7877 NEW BEST:: SOT 72808110 SOS 10501502 HAS SOPS 10501502 HAS SOUS 8850522 HAS SOUPS 8850522 WITH SCORE 8861023.502
AT ITER 7922 NEW BEST:: SOT 72807311 SOS 10500592 HAS SOPS 10500592 HAS SOUS 8849612 HAS SOUPS 8849612 WITH SCORE 8860112.592
AT ITER 7925 NEW BEST:: SOT 72806951 SOS 10500261 HAS SOPS 10500261 HAS SOUS 8849281 HAS SOUPS 8849281 WITH SCORE 8859781.261
AT ITER 7936 NEW BEST:: SOT 72806841 SOS 10500041 HAS SOPS 10500041 HAS SOUS 8849061 HAS SOUPS 8849061 WITH SCORE 8859561.041
AT ITER 7961 NEW BEST:: SOT 72806270 SOS 10498593 HAS SOPS 10498593 HAS SOUS 8847613 HAS SOUPS 8847613 WITH SCORE 8858111.593
AT ITER 7978 NEW BEST:: SOT 72805976 SOS 10498005 HAS SOPS 10498005 HAS SOUS 8847318 HAS SOUPS 8847318 WITH SCORE 8857816.005
AT ITER 8048 NEW BEST:: SOT 72805186 SOS 10496475 HAS SOPS 10496475 HAS SOUS 8845788 HAS SOUPS 8845788 WITH SCORE 8856284.475
AT ITER 8049 NEW BEST:: SOT 72804552 SOS 10495761 HAS SOPS 10495761 HAS SOUS 8845074 HAS SOUPS 8845074 WITH SCORE 8855569.761
AT ITER 8061 NEW BEST:: SOT 72804307 SOS 10495420 HAS SOPS 10495420 HAS SOUS 8844733 HAS SOUPS 8844733 WITH SCORE 8855228.42
AT ITER 8067 NEW BEST:: SOT 72803820 SOS 10495114 HAS SOPS 10495114 HAS SOUS 8844427 HAS SOUPS 8844427 WITH SCORE 8854922.114
AT ITER 8068 NEW BEST:: SOT 72803610 SOS 10494694 HAS SOPS 10494694 HAS SOUS 8844217 HAS SOUPS 8844217 WITH SCORE 8854711.694
AT ITER 8091 NEW BEST:: SOT 72803610 SOS 10494592 HAS SOPS 10494592 HAS SOUS 8844115 HAS SOUPS 8844115 WITH SCORE 8854609.592
AT ITER 8112 NEW BEST:: SOT 72803304 SOS 10493980 HAS SOPS 10493980 HAS SOUS 8843728 HAS SOUPS 8843728 WITH SCORE 8854221.98
AT ITER 8132 NEW BEST:: SOT 72803186 SOS 10493626 HAS SOPS 10493626 HAS SOUS 8843374 HAS SOUPS 8843374 WITH SCORE 8853867.626
AT ITER 8142 NEW BEST:: SOT 72802176 SOS 10493266 HAS SOPS 10493266 HAS SOUS 8843014 HAS SOUPS 8843014 WITH SCORE 8853507.266
AT ITER 8155 NEW BEST:: SOT 72801025 SOS 10492144 HAS SOPS 10492144 HAS SOUS 8841892 HAS SOUPS 8841892 WITH SCORE 8852384.144
AT ITER 8170 NEW BEST:: SOT 72798679 SOS 10489492 HAS SOPS 10489492 HAS SOUS 8839240 HAS SOUPS 8839240 WITH SCORE 8849729.492
AT ITER 8181 NEW BEST:: SOT 72797701 SOS 10489135 HAS SOPS 10489135 HAS SOUS 8838883 HAS SOUPS 8838883 WITH SCORE 8849372.135
AT ITER 8182 NEW BEST:: SOT 72797701 SOS 10488987 HAS SOPS 10488987 HAS SOUS 8838735 HAS SOUPS 8838735 WITH SCORE 8849223.987
AT ITER 8238 NEW BEST:: SOT 72797645 SOS 10488819 HAS SOPS 10488819 HAS SOUS 8838567 HAS SOUPS 8838567 WITH SCORE 8849055.819
AT ITER 8285 NEW BEST:: SOT 72797024 SOS 10488513 HAS SOPS 10488513 HAS SOUS 8838261 HAS SOUPS 8838261 WITH SCORE 8848749.513
AT ITER 8330 NEW BEST:: SOT 72796353 SOS 10488093 HAS SOPS 10488093 HAS SOUS 8837841 HAS SOUPS 8837841 WITH SCORE 8848329.093
AT ITER 8341 NEW BEST:: SOT 72796193 SOS 10487865 HAS SOPS 10487865 HAS SOUS 8837613 HAS SOUPS 8837613 WITH SCORE 8848100.865
AT ITER 8386 NEW BEST:: SOT 72795952 SOS 10487383 HAS SOPS 10487383 HAS SOUS 8837131 HAS SOUPS 8837131 WITH SCORE 8847618.383
AT ITER 8412 NEW BEST:: SOT 72795247 SOS 10486015 HAS SOPS 10486015 HAS SOUS 8835814 HAS SOUPS 8835814 WITH SCORE 8846300.015
AT ITER 8425 NEW BEST:: SOT 72795112 SOS 10485903 HAS SOPS 10485903 HAS SOUS 8835702 HAS SOUPS 8835702 WITH SCORE 8846187.903
AT ITER 8437 NEW BEST:: SOT 72794535 SOS 10485326 HAS SOPS 10485326 HAS SOUS 8835125 HAS SOUPS 8835125 WITH SCORE 8845610.326
AT ITER 8463 NEW BEST:: SOT 72794274 SOS 10484804 HAS SOPS 10484804 HAS SOUS 8834603 HAS SOUPS 8834603 WITH SCORE 8845087.804
AT ITER 8472 NEW BEST:: SOT 72794096 SOS 10484753 HAS SOPS 10484753 HAS SOUS 8834552 HAS SOUPS 8834552 WITH SCORE 8845036.753
AT ITER 8490 NEW BEST:: SOT 72793321 SOS 10483315 HAS SOPS 10483315 HAS SOUS 8833165 HAS SOUPS 8833165 WITH SCORE 8843648.315
AT ITER 8504 NEW BEST:: SOT 72793321 SOS 10483397 HAS SOPS 10483397 HAS SOUS 8833083 HAS SOUPS 8833083 WITH SCORE 8843566.397
AT ITER 8525 NEW BEST:: SOT 72792480 SOS 10483390 HAS SOPS 10483390 HAS SOUS 8833076 HAS SOUPS 8833076 WITH SCORE 8843559.39
AT ITER 8531 NEW BEST:: SOT 72791507 SOS 10482772 HAS SOPS 10482772 HAS SOUS 8832458 HAS SOUPS 8832458 WITH SCORE 8842940.772
AT ITER 8538 NEW BEST:: SOT 72791507 SOS 10482726 HAS SOPS 10482726 HAS SOUS 8832412 HAS SOUPS 8832412 WITH SCORE 8842894.726
AT ITER 8561 NEW BEST:: SOT 72790325 SOS 10481493 HAS SOPS 10481493 HAS SOUS 8831749 HAS SOUPS 8831749 WITH SCORE 8842230.493
AT ITER 8596 NEW BEST:: SOT 72789967 SOS 10480881 HAS SOPS 10480881 HAS SOUS 8831137 HAS SOUPS 8831137 WITH SCORE 8841617.881
AT ITER 8603 NEW BEST:: SOT 72789695 SOS 10480830 HAS SOPS 10480830 HAS SOUS 8831086 HAS SOUPS 8831086 WITH SCORE 8841566.83
AT ITER 8632 NEW BEST:: SOT 72788646 SOS 10480779 HAS SOPS 10480779 HAS SOUS 8831035 HAS SOUPS 8831035 WITH SCORE 8841515.779
AT ITER 8704 NEW BEST:: SOT 72788470 SOS 10480427 HAS SOPS 10480427 HAS SOUS 8830683 HAS SOUPS 8830683 WITH SCORE 8841163.427
AT ITER 8710 NEW BEST:: SOT 72788173 SOS 10479959 HAS SOPS 10479959 HAS SOUS 8830512 HAS SOUPS 8830512 WITH SCORE 8840991.959
AT ITER 8718 NEW BEST:: SOT 72787522 SOS 10478429 HAS SOPS 10478429 HAS SOUS 8828982 HAS SOUPS 8828982 WITH SCORE 8839460.429
AT ITER 8728 NEW BEST:: SOT 72787478 SOS 10478385 HAS SOPS 10478385 HAS SOUS 8828958 HAS SOUPS 8828958 WITH SCORE 8839436.385
AT ITER 8764 NEW BEST:: SOT 72786826 SOS 10478119 HAS SOPS 10478119 HAS SOUS 8828040 HAS SOUPS 8828040 WITH SCORE 8838518.119
AT ITER 8796 NEW BEST:: SOT 72786469 SOS 10477802 HAS SOPS 10477802 HAS SOUS 8827723 HAS SOUPS 8827723 WITH SCORE 8838200.802
AT ITER 8822 NEW BEST:: SOT 72786280 SOS 10477228 HAS SOPS 10477228 HAS SOUS 8827349 HAS SOUPS 8827349 WITH SCORE 8837826.228
AT ITER 8823 NEW BEST:: SOT 72786205 SOS 10477153 HAS SOPS 10477153 HAS SOUS 8827274 HAS SOUPS 8827274 WITH SCORE 8837751.153
AT ITER 8873 NEW BEST:: SOT 72785618 SOS 10475673 HAS SOPS 10475673 HAS SOUS 8825794 HAS SOUPS 8825794 WITH SCORE 8836269.673
AT ITER 8874 NEW BEST:: SOT 72785452 SOS 10475341 HAS SOPS 10475341 HAS SOUS 8825462 HAS SOUPS 8825462 WITH SCORE 8835937.341
AT ITER 8889 NEW BEST:: SOT 72785425 SOS 10475314 HAS SOPS 10475314 HAS SOUS 8825435 HAS SOUPS 8825435 WITH SCORE 8835910.314
AT ITER 8948 NEW BEST:: SOT 72785062 SOS 10474339 HAS SOPS 10474339 HAS SOUS 8824460 HAS SOUPS 8824460 WITH SCORE 8834934.339
AT ITER 8964 NEW BEST:: SOT 72784996 SOS 10473786 HAS SOPS 10473786 HAS SOUS 8823907 HAS SOUPS 8823907 WITH SCORE 8834380.786
AT ITER 8982 NEW BEST:: SOT 72784996 SOS 10473727 HAS SOPS 10473727 HAS SOUS 8823848 HAS SOUPS 8823848 WITH SCORE 8834321.727
AT ITER 9007 NEW BEST:: SOT 72784799 SOS 10473136 HAS SOPS 10473136 HAS SOUS 8823257 HAS SOUPS 8823257 WITH SCORE 8833730.136
AT ITER 9016 NEW BEST:: SOT 72784799 SOS 10472915 HAS SOPS 10472915 HAS SOUS 8823257 HAS SOUPS 8823257 WITH SCORE 8833729.915
AT ITER 9039 NEW BEST:: SOT 72784009 SOS 10472214 HAS SOPS 10472214 HAS SOUS 8822556 HAS SOUPS 8822556 WITH SCORE 8833028.214
AT ITER 9043 NEW BEST:: SOT 72783251 SOS 10472137 HAS SOPS 10472137 HAS SOUS 8822479 HAS SOUPS 8822479 WITH SCORE 8832951.137
AT ITER 9060 NEW BEST:: SOT 72783251 SOS 10471678 HAS SOPS 10471678 HAS SOUS 8822020 HAS SOUPS 8822020 WITH SCORE 8832491.678
AT ITER 9061 NEW BEST:: SOT 72781910 SOS 10469488 HAS SOPS 10469488 HAS SOUS 8819830 HAS SOUPS 8819830 WITH SCORE 8830299.488
AT ITER 9064 NEW BEST:: SOT 72781074 SOS 10468764 HAS SOPS 10468764 HAS SOUS 8819106 HAS SOUPS 8819106 WITH SCORE 8829574.764
AT ITER 9068 NEW BEST:: SOT 72780951 SOS 10468352 HAS SOPS 10468352 HAS SOUS 8819006 HAS SOUPS 8819006 WITH SCORE 8829474.352
AT ITER 9085 NEW BEST:: SOT 72780702 SOS 10468001 HAS SOPS 10468001 HAS SOUS 8818655 HAS SOUPS 8818655 WITH SCORE 8829123.001
AT ITER 9106 NEW BEST:: SOT 72779912 SOS 10467249 HAS SOPS 10467249 HAS SOUS 8817903 HAS SOUPS 8817903 WITH SCORE 8828370.249
AT ITER 9138 NEW BEST:: SOT 72779676 SOS 10466902 HAS SOPS 10466902 HAS SOUS 8817666 HAS SOUPS 8817666 WITH SCORE 8828132.902
AT ITER 9151 NEW BEST:: SOT 72779370 SOS 10466490 HAS SOPS 10466490 HAS SOUS 8817254 HAS SOUPS 8817254 WITH SCORE 8827720.49
AT ITER 9168 NEW BEST:: SOT 72778837 SOS 10465957 HAS SOPS 10465957 HAS SOUS 8816721 HAS SOUPS 8816721 WITH SCORE 8827186.957
AT ITER 9172 NEW BEST:: SOT 72778786 SOS 10465823 HAS SOPS 10465823 HAS SOUS 8816670 HAS SOUPS 8816670 WITH SCORE 8827135.823
AT ITER 9221 NEW BEST:: SOT 72777815 SOS 10465206 HAS SOPS 10465206 HAS SOUS 8816053 HAS SOUPS 8816053 WITH SCORE 8826518.206
AT ITER 9225 NEW BEST:: SOT 72777815 SOS 10465140 HAS SOPS 10465140 HAS SOUS 8815987 HAS SOUPS 8815987 WITH SCORE 8826452.14
AT ITER 9277 NEW BEST:: SOT 72777815 SOS 10464927 HAS SOPS 10464927 HAS SOUS 8815987 HAS SOUPS 8815987 WITH SCORE 8826451.927
AT ITER 9295 NEW BEST:: SOT 72776934 SOS 10464315 HAS SOPS 10464315 HAS SOUS 8815375 HAS SOUPS 8815375 WITH SCORE 8825839.315
AT ITER 9308 NEW BEST:: SOT 72776739 SOS 10463730 HAS SOPS 10463730 HAS SOUS 8814790 HAS SOUPS 8814790 WITH SCORE 8825253.73
AT ITER 9316 NEW BEST:: SOT 72775590 SOS 10462178 HAS SOPS 10462178 HAS SOUS 8814239 HAS SOUPS 8814239 WITH SCORE 8824701.178
AT ITER 9317 NEW BEST:: SOT 72775068 SOS 10461656 HAS SOPS 10461656 HAS SOUS 8813716 HAS SOUPS 8813716 WITH SCORE 8824177.656
AT ITER 9333 NEW BEST:: SOT 72774211 SOS 10461170 HAS SOPS 10461170 HAS SOUS 8813230 HAS SOUPS 8813230 WITH SCORE 8823691.17
AT ITER 9341 NEW BEST:: SOT 72773896 SOS 10460243 HAS SOPS 10460243 HAS SOUS 8812303 HAS SOUPS 8812303 WITH SCORE 8822763.243
AT ITER 9365 NEW BEST:: SOT 72773693 SOS 10459837 HAS SOPS 10459837 HAS SOUS 8811897 HAS SOUPS 8811897 WITH SCORE 8822356.837
AT ITER 9385 NEW BEST:: SOT 72773387 SOS 10459531 HAS SOPS 10459531 HAS SOUS 8811715 HAS SOUPS 8811715 WITH SCORE 8822174.531
AT ITER 9426 NEW BEST:: SOT 72773387 SOS 10459514 HAS SOPS 10459514 HAS SOUS 8811698 HAS SOUPS 8811698 WITH SCORE 8822157.514
AT ITER 9441 NEW BEST:: SOT 72773255 SOS 10459155 HAS SOPS 10459155 HAS SOUS 8811257 HAS SOUPS 8811257 WITH SCORE 8821716.155
AT ITER 9449 NEW BEST:: SOT 72773255 SOS 10459052 HAS SOPS 10459052 HAS SOUS 8811154 HAS SOUPS 8811154 WITH SCORE 8821613.052
AT ITER 9481 NEW BEST:: SOT 72773128 SOS 10459104 HAS SOPS 10459104 HAS SOUS 8811078 HAS SOUPS 8811078 WITH SCORE 8821537.104
AT ITER 9509 NEW BEST:: SOT 72772653 SOS 10458629 HAS SOPS 10458629 HAS SOUS 8810603 HAS SOUPS 8810603 WITH SCORE 8821061.629
AT ITER 9546 NEW BEST:: SOT 72772465 SOS 10458374 HAS SOPS 10458374 HAS SOUS 8810348 HAS SOUPS 8810348 WITH SCORE 8820806.374
AT ITER 9579 NEW BEST:: SOT 72772327 SOS 10457866 HAS SOPS 10457866 HAS SOUS 8810072 HAS SOUPS 8810072 WITH SCORE 8820529.866
AT ITER 9661 NEW BEST:: SOT 72771939 SOS 10457662 HAS SOPS 10457662 HAS SOUS 8809868 HAS SOUPS 8809868 WITH SCORE 8820325.662
AT ITER 9679 NEW BEST:: SOT 72771192 SOS 10457208 HAS SOPS 10457208 HAS SOUS 8809414 HAS SOUPS 8809414 WITH SCORE 8819871.208
AT ITER 9706 NEW BEST:: SOT 72770948 SOS 10457157 HAS SOPS 10457157 HAS SOUS 8809363 HAS SOUPS 8809363 WITH SCORE 8819820.157
AT ITER 9724 NEW BEST:: SOT 72770948 SOS 10457125 HAS SOPS 10457125 HAS SOUS 8809363 HAS SOUPS 8809363 WITH SCORE 8819820.125
AT ITER 9746 NEW BEST:: SOT 72770692 SOS 10456933 HAS SOPS 10456933 HAS SOUS 8809235 HAS SOUPS 8809235 WITH SCORE 8819691.933
AT ITER 9758 NEW BEST:: SOT 72770610 SOS 10456646 HAS SOPS 10456646 HAS SOUS 8809153 HAS SOUPS 8809153 WITH SCORE 8819609.646
AT ITER 9775 NEW BEST:: SOT 72770463 SOS 10456352 HAS SOPS 10456352 HAS SOUS 8808859 HAS SOUPS 8808859 WITH SCORE 8819315.352
AT ITER 9802 NEW BEST:: SOT 72769902 SOS 10456287 HAS SOPS 10456287 HAS SOUS 8808794 HAS SOUPS 8808794 WITH SCORE 8819250.287
AT ITER 9805 NEW BEST:: SOT 72769642 SOS 10455483 HAS SOPS 10455483 HAS SOUS 8807990 HAS SOUPS 8807990 WITH SCORE 8818445.483
AT ITER 9825 NEW BEST:: SOT 72768839 SOS 10454799 HAS SOPS 10454799 HAS SOUS 8807306 HAS SOUPS 8807306 WITH SCORE 8817760.799
AT ITER 9847 NEW BEST:: SOT 72768296 SOS 10453644 HAS SOPS 10453644 HAS SOUS 8806151 HAS SOUPS 8806151 WITH SCORE 8816604.644
AT ITER 9884 NEW BEST:: SOT 72768296 SOS 10453640 HAS SOPS 10453640 HAS SOUS 8806147 HAS SOUPS 8806147 WITH SCORE 8816600.64
AT ITER 9895 NEW BEST:: SOT 72767118 SOS 10452951 HAS SOPS 10452951 HAS SOUS 8805458 HAS SOUPS 8805458 WITH SCORE 8815910.951
AT ITER 9939 NEW BEST:: SOT 72764898 SOS 10451238 HAS SOPS 10451238 HAS SOUS 8803745 HAS SOUPS 8803745 WITH SCORE 8814196.238
AT ITER 9999 NEW BEST:: SOT 72764488 SOS 10450681 HAS SOPS 10450681 HAS SOUS 8803188 HAS SOUPS 8803188 WITH SCORE 8813638.681
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 8094364 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16107688 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
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//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
+ 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
Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="FamilyReunion-COL-L00050M0005C002P002G001"
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 FamilyReunion-COL-L00050M0005C002P002G001, 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 r171-tall-167838858400320"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/FamilyReunion-COL-L00050M0005C002P002G001.tgz
mv FamilyReunion-COL-L00050M0005C002P002G001 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;