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.r195-smll-167840342400408.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is HexagonalGrid-PT-410, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r195-smll-167840342400408
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 8.1K Feb 26 17:08 CTLCardinality.txt
-rw-r--r-- 1 mcc users 83K Feb 26 17:08 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 26 17:07 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 26 17:07 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.3K Feb 25 16:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 30K Feb 25 16:14 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:14 LTLFireability.xml
-rw-r--r-- 1 mcc users 17K Feb 26 17:17 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 179K Feb 26 17:17 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 17:13 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 98K Feb 26 17:13 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rwxr-xr-x 1 mcc users 568K 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 1678511672909

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=HexagonalGrid-PT-410
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HexagonalGrid (PT), instance 410
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 787 places, 1374 transitions, 5496 arcs.
AT ITER 0 NEW BEST:: SOT 605878 SOS 122150 HAS SOPS 122150 HAS SOUS 59620 HAS SOUPS 59620 WITH SCORE 59742.15
AT ITER 12 NEW BEST:: SOT 605862 SOS 122118 HAS SOPS 122118 HAS SOUS 59588 HAS SOUPS 59588 WITH SCORE 59710.118
AT ITER 16 NEW BEST:: SOT 605875 SOS 122144 HAS SOPS 122144 HAS SOUS 59570 HAS SOUPS 59570 WITH SCORE 59692.144
AT ITER 29 NEW BEST:: SOT 605847 SOS 121948 HAS SOPS 121948 HAS SOUS 59486 HAS SOUPS 59486 WITH SCORE 59607.948
AT ITER 42 NEW BEST:: SOT 605826 SOS 121927 HAS SOPS 121927 HAS SOUS 59465 HAS SOUPS 59465 WITH SCORE 59586.927
AT ITER 94 NEW BEST:: SOT 605826 SOS 121927 HAS SOPS 121927 HAS SOUS 59438 HAS SOUPS 59438 WITH SCORE 59559.927
AT ITER 119 NEW BEST:: SOT 605651 SOS 121697 HAS SOPS 121697 HAS SOUS 59252 HAS SOUPS 59252 WITH SCORE 59373.697
AT ITER 197 NEW BEST:: SOT 605651 SOS 121688 HAS SOPS 121688 HAS SOUS 59243 HAS SOUPS 59243 WITH SCORE 59364.688
AT ITER 215 NEW BEST:: SOT 605626 SOS 121658 HAS SOPS 121658 HAS SOUS 59225 HAS SOUPS 59225 WITH SCORE 59346.658
AT ITER 218 NEW BEST:: SOT 605626 SOS 121658 HAS SOPS 121658 HAS SOUS 59203 HAS SOUPS 59203 WITH SCORE 59324.658
AT ITER 247 NEW BEST:: SOT 605584 SOS 121429 HAS SOPS 121429 HAS SOUS 59090 HAS SOUPS 59090 WITH SCORE 59211.429
AT ITER 261 NEW BEST:: SOT 605592 SOS 121275 HAS SOPS 121275 HAS SOUS 59072 HAS SOUPS 59072 WITH SCORE 59193.275
AT ITER 273 NEW BEST:: SOT 605587 SOS 121270 HAS SOPS 121270 HAS SOUS 59072 HAS SOUPS 59072 WITH SCORE 59193.27
AT ITER 285 NEW BEST:: SOT 605587 SOS 121234 HAS SOPS 121234 HAS SOUS 59060 HAS SOUPS 59060 WITH SCORE 59181.234
AT ITER 309 NEW BEST:: SOT 605567 SOS 121214 HAS SOPS 121214 HAS SOUS 59048 HAS SOUPS 59048 WITH SCORE 59169.214
AT ITER 343 NEW BEST:: SOT 605567 SOS 121076 HAS SOPS 121076 HAS SOUS 59002 HAS SOUPS 59002 WITH SCORE 59123.076
AT ITER 354 NEW BEST:: SOT 605397 SOS 120717 HAS SOPS 120717 HAS SOUS 58779 HAS SOUPS 58779 WITH SCORE 58899.717
AT ITER 467 NEW BEST:: SOT 605367 SOS 120681 HAS SOPS 120681 HAS SOUS 58743 HAS SOUPS 58743 WITH SCORE 58863.681
AT ITER 532 NEW BEST:: SOT 605347 SOS 120661 HAS SOPS 120661 HAS SOUS 58723 HAS SOUPS 58723 WITH SCORE 58843.661
AT ITER 541 NEW BEST:: SOT 605347 SOS 120653 HAS SOPS 120653 HAS SOUS 58723 HAS SOUPS 58723 WITH SCORE 58843.653
AT ITER 567 NEW BEST:: SOT 605355 SOS 120499 HAS SOPS 120499 HAS SOUS 58705 HAS SOUPS 58705 WITH SCORE 58825.499
AT ITER 593 NEW BEST:: SOT 605355 SOS 120271 HAS SOPS 120271 HAS SOUS 58629 HAS SOUPS 58629 WITH SCORE 58749.271
AT ITER 620 NEW BEST:: SOT 605170 SOS 119864 HAS SOPS 119864 HAS SOUS 58370 HAS SOUPS 58370 WITH SCORE 58489.864
AT ITER 648 NEW BEST:: SOT 605170 SOS 119702 HAS SOPS 119702 HAS SOUS 58316 HAS SOUPS 58316 WITH SCORE 58435.702
AT ITER 697 NEW BEST:: SOT 605147 SOS 119564 HAS SOPS 119564 HAS SOUS 58270 HAS SOUPS 58270 WITH SCORE 58389.564
AT ITER 773 NEW BEST:: SOT 604937 SOS 119311 HAS SOPS 119311 HAS SOUS 58049 HAS SOUPS 58049 WITH SCORE 58168.311
AT ITER 791 NEW BEST:: SOT 604892 SOS 119257 HAS SOPS 119257 HAS SOUS 57995 HAS SOUPS 57995 WITH SCORE 58114.257
AT ITER 803 NEW BEST:: SOT 604892 SOS 119244 HAS SOPS 119244 HAS SOUS 57982 HAS SOUPS 57982 WITH SCORE 58101.244
AT ITER 836 NEW BEST:: SOT 604899 SOS 119083 HAS SOPS 119083 HAS SOUS 57961 HAS SOUPS 57961 WITH SCORE 58080.083
AT ITER 846 NEW BEST:: SOT 604879 SOS 119039 HAS SOPS 119039 HAS SOUS 57933 HAS SOUPS 57933 WITH SCORE 58052.039
AT ITER 860 NEW BEST:: SOT 604879 SOS 119039 HAS SOPS 119039 HAS SOUS 57926 HAS SOUPS 57926 WITH SCORE 58045.039
AT ITER 878 NEW BEST:: SOT 604879 SOS 119039 HAS SOPS 119039 HAS SOUS 57912 HAS SOUPS 57912 WITH SCORE 58031.039
AT ITER 902 NEW BEST:: SOT 604865 SOS 119011 HAS SOPS 119011 HAS SOUS 57884 HAS SOUPS 57884 WITH SCORE 58003.011
AT ITER 908 NEW BEST:: SOT 604670 SOS 118777 HAS SOPS 118777 HAS SOUS 57650 HAS SOUPS 57650 WITH SCORE 57768.777
AT ITER 951 NEW BEST:: SOT 604670 SOS 118817 HAS SOPS 118817 HAS SOUS 57610 HAS SOUPS 57610 WITH SCORE 57728.817
AT ITER 953 NEW BEST:: SOT 604670 SOS 118817 HAS SOPS 118817 HAS SOUS 57566 HAS SOUPS 57566 WITH SCORE 57684.817
AT ITER 1006 NEW BEST:: SOT 604670 SOS 118817 HAS SOPS 118817 HAS SOUS 57564 HAS SOUPS 57564 WITH SCORE 57682.817
AT ITER 1049 NEW BEST:: SOT 604670 SOS 118817 HAS SOPS 118817 HAS SOUS 57508 HAS SOUPS 57508 WITH SCORE 57626.817
AT ITER 1157 NEW BEST:: SOT 604637 SOS 118619 HAS SOPS 118619 HAS SOUS 57442 HAS SOUPS 57442 WITH SCORE 57560.619
AT ITER 1195 NEW BEST:: SOT 604467 SOS 118415 HAS SOPS 118415 HAS SOUS 57238 HAS SOUPS 57238 WITH SCORE 57356.415
AT ITER 1248 NEW BEST:: SOT 604450 SOS 118290 HAS SOPS 118290 HAS SOUS 57229 HAS SOUPS 57229 WITH SCORE 57347.29
AT ITER 1258 NEW BEST:: SOT 604345 SOS 118080 HAS SOPS 118080 HAS SOUS 57103 HAS SOUPS 57103 WITH SCORE 57221.08
AT ITER 1264 NEW BEST:: SOT 604328 SOS 117945 HAS SOPS 117945 HAS SOUS 57084 HAS SOUPS 57084 WITH SCORE 57201.945
AT ITER 1293 NEW BEST:: SOT 604328 SOS 117750 HAS SOPS 117750 HAS SOUS 57045 HAS SOUPS 57045 WITH SCORE 57162.75
AT ITER 1314 NEW BEST:: SOT 604325 SOS 117648 HAS SOPS 117648 HAS SOUS 57035 HAS SOUPS 57035 WITH SCORE 57152.648
AT ITER 1319 NEW BEST:: SOT 604325 SOS 117648 HAS SOPS 117648 HAS SOUS 57032 HAS SOUPS 57032 WITH SCORE 57149.648
AT ITER 1323 NEW BEST:: SOT 604105 SOS 117181 HAS SOPS 117181 HAS SOUS 56741 HAS SOUPS 56741 WITH SCORE 56858.181
AT ITER 1387 NEW BEST:: SOT 603924 SOS 116799 HAS SOPS 116799 HAS SOUS 56527 HAS SOUPS 56527 WITH SCORE 56643.799
AT ITER 1421 NEW BEST:: SOT 603918 SOS 116763 HAS SOPS 116763 HAS SOUS 56515 HAS SOUPS 56515 WITH SCORE 56631.763
AT ITER 1449 NEW BEST:: SOT 603895 SOS 116566 HAS SOPS 116566 HAS SOUS 56434 HAS SOUPS 56434 WITH SCORE 56550.566
AT ITER 1465 NEW BEST:: SOT 603895 SOS 116349 HAS SOPS 116349 HAS SOUS 56393 HAS SOUPS 56393 WITH SCORE 56509.349
AT ITER 1491 NEW BEST:: SOT 603866 SOS 116175 HAS SOPS 116175 HAS SOUS 56335 HAS SOUPS 56335 WITH SCORE 56451.175
AT ITER 1548 NEW BEST:: SOT 603866 SOS 116175 HAS SOPS 116175 HAS SOUS 56333 HAS SOUPS 56333 WITH SCORE 56449.175
AT ITER 1581 NEW BEST:: SOT 603861 SOS 116145 HAS SOPS 116145 HAS SOUS 56323 HAS SOUPS 56323 WITH SCORE 56439.145
AT ITER 1604 NEW BEST:: SOT 603861 SOS 116139 HAS SOPS 116139 HAS SOUS 56317 HAS SOUPS 56317 WITH SCORE 56433.139
AT ITER 1612 NEW BEST:: SOT 603861 SOS 116289 HAS SOPS 116289 HAS SOUS 56239 HAS SOUPS 56239 WITH SCORE 56355.289
AT ITER 1615 NEW BEST:: SOT 603857 SOS 116363 HAS SOPS 116363 HAS SOUS 56217 HAS SOUPS 56217 WITH SCORE 56333.363
AT ITER 1619 NEW BEST:: SOT 603847 SOS 116353 HAS SOPS 116353 HAS SOUS 56207 HAS SOUPS 56207 WITH SCORE 56323.353
AT ITER 1623 NEW BEST:: SOT 603852 SOS 116359 HAS SOPS 116359 HAS SOUS 56109 HAS SOUPS 56109 WITH SCORE 56225.359
AT ITER 1636 NEW BEST:: SOT 603848 SOS 116185 HAS SOPS 116185 HAS SOUS 56103 HAS SOUPS 56103 WITH SCORE 56219.185
AT ITER 1640 NEW BEST:: SOT 603858 SOS 116170 HAS SOPS 116170 HAS SOUS 56088 HAS SOUPS 56088 WITH SCORE 56204.17
AT ITER 1723 NEW BEST:: SOT 603814 SOS 115902 HAS SOPS 115902 HAS SOUS 55964 HAS SOUPS 55964 WITH SCORE 56079.902
AT ITER 1756 NEW BEST:: SOT 603780 SOS 115729 HAS SOPS 115729 HAS SOUS 55875 HAS SOUPS 55875 WITH SCORE 55990.729
AT ITER 1766 NEW BEST:: SOT 603777 SOS 115726 HAS SOPS 115726 HAS SOUS 55872 HAS SOUPS 55872 WITH SCORE 55987.726
AT ITER 1772 NEW BEST:: SOT 603777 SOS 115609 HAS SOPS 115609 HAS SOUS 55871 HAS SOUPS 55871 WITH SCORE 55986.609
AT ITER 1800 NEW BEST:: SOT 603739 SOS 115343 HAS SOPS 115343 HAS SOUS 55757 HAS SOUPS 55757 WITH SCORE 55872.343
AT ITER 1829 NEW BEST:: SOT 603739 SOS 115343 HAS SOPS 115343 HAS SOUS 55745 HAS SOUPS 55745 WITH SCORE 55860.343
AT ITER 1870 NEW BEST:: SOT 603727 SOS 115331 HAS SOPS 115331 HAS SOUS 55733 HAS SOUPS 55733 WITH SCORE 55848.331
AT ITER 1879 NEW BEST:: SOT 603612 SOS 115101 HAS SOPS 115101 HAS SOUS 55595 HAS SOUPS 55595 WITH SCORE 55710.101
AT ITER 1881 NEW BEST:: SOT 603585 SOS 114978 HAS SOPS 114978 HAS SOUS 55536 HAS SOUPS 55536 WITH SCORE 55650.978
AT ITER 1916 NEW BEST:: SOT 603581 SOS 114870 HAS SOPS 114870 HAS SOUS 55516 HAS SOUPS 55516 WITH SCORE 55630.87
AT ITER 1919 NEW BEST:: SOT 603581 SOS 114870 HAS SOPS 114870 HAS SOUS 55488 HAS SOUPS 55488 WITH SCORE 55602.87
AT ITER 1971 NEW BEST:: SOT 603521 SOS 114810 HAS SOPS 114810 HAS SOUS 55428 HAS SOUPS 55428 WITH SCORE 55542.81
AT ITER 1973 NEW BEST:: SOT 603387 SOS 114626 HAS SOPS 114626 HAS SOUS 55284 HAS SOUPS 55284 WITH SCORE 55398.626
AT ITER 1997 NEW BEST:: SOT 603367 SOS 114558 HAS SOPS 114558 HAS SOUS 55276 HAS SOUPS 55276 WITH SCORE 55390.558
AT ITER 2026 NEW BEST:: SOT 603367 SOS 114558 HAS SOPS 114558 HAS SOUS 55252 HAS SOUPS 55252 WITH SCORE 55366.558
AT ITER 2055 NEW BEST:: SOT 603364 SOS 114555 HAS SOPS 114555 HAS SOUS 55249 HAS SOUPS 55249 WITH SCORE 55363.555
AT ITER 2056 NEW BEST:: SOT 603356 SOS 114539 HAS SOPS 114539 HAS SOUS 55233 HAS SOUPS 55233 WITH SCORE 55347.539
AT ITER 2066 NEW BEST:: SOT 603236 SOS 114339 HAS SOPS 114339 HAS SOUS 55097 HAS SOUPS 55097 WITH SCORE 55211.339
AT ITER 2127 NEW BEST:: SOT 603136 SOS 114119 HAS SOPS 114119 HAS SOUS 54957 HAS SOUPS 54957 WITH SCORE 55071.119
AT ITER 2150 NEW BEST:: SOT 603136 SOS 114119 HAS SOPS 114119 HAS SOUS 54948 HAS SOUPS 54948 WITH SCORE 55062.119
AT ITER 2169 NEW BEST:: SOT 603136 SOS 113939 HAS SOPS 113939 HAS SOUS 54888 HAS SOUPS 54888 WITH SCORE 55001.939
AT ITER 2209 NEW BEST:: SOT 603136 SOS 113939 HAS SOPS 113939 HAS SOUS 54870 HAS SOUPS 54870 WITH SCORE 54983.939
AT ITER 2223 NEW BEST:: SOT 603136 SOS 113917 HAS SOPS 113917 HAS SOUS 54848 HAS SOUPS 54848 WITH SCORE 54961.917
AT ITER 2247 NEW BEST:: SOT 603133 SOS 113914 HAS SOPS 113914 HAS SOUS 54848 HAS SOUPS 54848 WITH SCORE 54961.914
AT ITER 2249 NEW BEST:: SOT 603132 SOS 113913 HAS SOPS 113913 HAS SOUS 54847 HAS SOUPS 54847 WITH SCORE 54960.913
AT ITER 2265 NEW BEST:: SOT 603107 SOS 113892 HAS SOPS 113892 HAS SOUS 54818 HAS SOUPS 54818 WITH SCORE 54931.892
AT ITER 2275 NEW BEST:: SOT 603107 SOS 113778 HAS SOPS 113778 HAS SOUS 54780 HAS SOUPS 54780 WITH SCORE 54893.778
AT ITER 2276 NEW BEST:: SOT 602897 SOS 113362 HAS SOPS 113362 HAS SOUS 54508 HAS SOUPS 54508 WITH SCORE 54621.362
AT ITER 2340 NEW BEST:: SOT 602882 SOS 113257 HAS SOPS 113257 HAS SOUS 54463 HAS SOUPS 54463 WITH SCORE 54576.257
AT ITER 2361 NEW BEST:: SOT 602860 SOS 113125 HAS SOPS 113125 HAS SOUS 54419 HAS SOUPS 54419 WITH SCORE 54532.125
AT ITER 2363 NEW BEST:: SOT 602856 SOS 113117 HAS SOPS 113117 HAS SOUS 54371 HAS SOUPS 54371 WITH SCORE 54484.117
AT ITER 2383 NEW BEST:: SOT 602839 SOS 113116 HAS SOPS 113116 HAS SOUS 54370 HAS SOUPS 54370 WITH SCORE 54483.116
AT ITER 2388 NEW BEST:: SOT 602835 SOS 113112 HAS SOPS 113112 HAS SOUS 54366 HAS SOUPS 54366 WITH SCORE 54479.112
AT ITER 2452 NEW BEST:: SOT 602835 SOS 113128 HAS SOPS 113128 HAS SOUS 54350 HAS SOUPS 54350 WITH SCORE 54463.128
AT ITER 2453 NEW BEST:: SOT 602804 SOS 112942 HAS SOPS 112942 HAS SOUS 54288 HAS SOUPS 54288 WITH SCORE 54400.942
AT ITER 2486 NEW BEST:: SOT 602787 SOS 112792 HAS SOPS 112792 HAS SOUS 54254 HAS SOUPS 54254 WITH SCORE 54366.792
AT ITER 2497 NEW BEST:: SOT 602772 SOS 112744 HAS SOPS 112744 HAS SOUS 54230 HAS SOUPS 54230 WITH SCORE 54342.744
AT ITER 2570 NEW BEST:: SOT 602772 SOS 112576 HAS SOPS 112576 HAS SOUS 54174 HAS SOUPS 54174 WITH SCORE 54286.576
AT ITER 2609 NEW BEST:: SOT 602772 SOS 112612 HAS SOPS 112612 HAS SOUS 54166 HAS SOUPS 54166 WITH SCORE 54278.612
AT ITER 2619 NEW BEST:: SOT 602760 SOS 112588 HAS SOPS 112588 HAS SOUS 54142 HAS SOUPS 54142 WITH SCORE 54254.588
AT ITER 2631 NEW BEST:: SOT 602760 SOS 112416 HAS SOPS 112416 HAS SOUS 54138 HAS SOUPS 54138 WITH SCORE 54250.416
AT ITER 2632 NEW BEST:: SOT 602760 SOS 112416 HAS SOPS 112416 HAS SOUS 54065 HAS SOUPS 54065 WITH SCORE 54177.416
AT ITER 2675 NEW BEST:: SOT 602760 SOS 112320 HAS SOPS 112320 HAS SOUS 54033 HAS SOUPS 54033 WITH SCORE 54145.32
AT ITER 2677 NEW BEST:: SOT 602760 SOS 112296 HAS SOPS 112296 HAS SOUS 54005 HAS SOUPS 54005 WITH SCORE 54117.296
AT ITER 2781 NEW BEST:: SOT 602757 SOS 112278 HAS SOPS 112278 HAS SOUS 53999 HAS SOUPS 53999 WITH SCORE 54111.278
AT ITER 2822 NEW BEST:: SOT 602753 SOS 112274 HAS SOPS 112274 HAS SOUS 53995 HAS SOUPS 53995 WITH SCORE 54107.274
AT ITER 2850 NEW BEST:: SOT 602753 SOS 112269 HAS SOPS 112269 HAS SOUS 53994 HAS SOUPS 53994 WITH SCORE 54106.269
AT ITER 2862 NEW BEST:: SOT 602753 SOS 112373 HAS SOPS 112373 HAS SOUS 53890 HAS SOUPS 53890 WITH SCORE 54002.373
AT ITER 2867 NEW BEST:: SOT 602613 SOS 112093 HAS SOPS 112093 HAS SOUS 53722 HAS SOUPS 53722 WITH SCORE 53834.093
AT ITER 2911 NEW BEST:: SOT 602611 SOS 112089 HAS SOPS 112089 HAS SOUS 53718 HAS SOUPS 53718 WITH SCORE 53830.089
AT ITER 2956 NEW BEST:: SOT 602610 SOS 112147 HAS SOPS 112147 HAS SOUS 53708 HAS SOUPS 53708 WITH SCORE 53820.147
AT ITER 3012 NEW BEST:: SOT 602605 SOS 112137 HAS SOPS 112137 HAS SOUS 53698 HAS SOUPS 53698 WITH SCORE 53810.137
AT ITER 3022 NEW BEST:: SOT 602572 SOS 111939 HAS SOPS 111939 HAS SOUS 53632 HAS SOUPS 53632 WITH SCORE 53743.939
AT ITER 3026 NEW BEST:: SOT 602566 SOS 111903 HAS SOPS 111903 HAS SOUS 53620 HAS SOUPS 53620 WITH SCORE 53731.903
AT ITER 3036 NEW BEST:: SOT 602566 SOS 111903 HAS SOPS 111903 HAS SOUS 53618 HAS SOUPS 53618 WITH SCORE 53729.903
AT ITER 3063 NEW BEST:: SOT 602566 SOS 111955 HAS SOPS 111955 HAS SOUS 53566 HAS SOUPS 53566 WITH SCORE 53677.955
AT ITER 3106 NEW BEST:: SOT 602529 SOS 111918 HAS SOPS 111918 HAS SOUS 53532 HAS SOUPS 53532 WITH SCORE 53643.918
AT ITER 3116 NEW BEST:: SOT 602516 SOS 111840 HAS SOPS 111840 HAS SOUS 53506 HAS SOUPS 53506 WITH SCORE 53617.84
AT ITER 3227 NEW BEST:: SOT 602626 SOS 112020 HAS SOPS 112020 HAS SOUS 53478 HAS SOUPS 53478 WITH SCORE 53590.02
AT ITER 3281 NEW BEST:: SOT 602626 SOS 112020 HAS SOPS 112020 HAS SOUS 53462 HAS SOUPS 53462 WITH SCORE 53574.02
AT ITER 3283 NEW BEST:: SOT 602587 SOS 111883 HAS SOPS 111883 HAS SOUS 53385 HAS SOUPS 53385 WITH SCORE 53496.883
AT ITER 3364 NEW BEST:: SOT 602553 SOS 111849 HAS SOPS 111849 HAS SOUS 53351 HAS SOUPS 53351 WITH SCORE 53462.849
AT ITER 3448 NEW BEST:: SOT 602552 SOS 111847 HAS SOPS 111847 HAS SOUS 53349 HAS SOUPS 53349 WITH SCORE 53460.847
AT ITER 3449 NEW BEST:: SOT 602558 SOS 111819 HAS SOPS 111819 HAS SOUS 53185 HAS SOUPS 53185 WITH SCORE 53296.819
AT ITER 3499 NEW BEST:: SOT 602539 SOS 111800 HAS SOPS 111800 HAS SOUS 53178 HAS SOUPS 53178 WITH SCORE 53289.8
AT ITER 3655 NEW BEST:: SOT 602539 SOS 111730 HAS SOPS 111730 HAS SOUS 53164 HAS SOUPS 53164 WITH SCORE 53275.73
AT ITER 3708 NEW BEST:: SOT 602535 SOS 111576 HAS SOPS 111576 HAS SOUS 53110 HAS SOUPS 53110 WITH SCORE 53221.576
AT ITER 3817 NEW BEST:: SOT 602535 SOS 111576 HAS SOPS 111576 HAS SOUS 53097 HAS SOUPS 53097 WITH SCORE 53208.576
AT ITER 3933 NEW BEST:: SOT 602535 SOS 111398 HAS SOPS 111398 HAS SOUS 53087 HAS SOUPS 53087 WITH SCORE 53198.398
AT ITER 3939 NEW BEST:: SOT 602495 SOS 111310 HAS SOPS 111310 HAS SOUS 53031 HAS SOUPS 53031 WITH SCORE 53142.31
AT ITER 3950 NEW BEST:: SOT 602497 SOS 111267 HAS SOPS 111267 HAS SOUS 53024 HAS SOUPS 53024 WITH SCORE 53135.267
AT ITER 3981 NEW BEST:: SOT 602496 SOS 111266 HAS SOPS 111266 HAS SOUS 53024 HAS SOUPS 53024 WITH SCORE 53135.266
AT ITER 4012 NEW BEST:: SOT 602506 SOS 111246 HAS SOPS 111246 HAS SOUS 52996 HAS SOUPS 52996 WITH SCORE 53107.246
AT ITER 4029 NEW BEST:: SOT 602490 SOS 111182 HAS SOPS 111182 HAS SOUS 52996 HAS SOUPS 52996 WITH SCORE 53107.182
AT ITER 4088 NEW BEST:: SOT 602490 SOS 111182 HAS SOPS 111182 HAS SOUS 52895 HAS SOUPS 52895 WITH SCORE 53006.182
AT ITER 4146 NEW BEST:: SOT 602490 SOS 111177 HAS SOPS 111177 HAS SOUS 52890 HAS SOUPS 52890 WITH SCORE 53001.177
AT ITER 4196 NEW BEST:: SOT 602279 SOS 110927 HAS SOPS 110927 HAS SOUS 52676 HAS SOUPS 52676 WITH SCORE 52786.927
AT ITER 4234 NEW BEST:: SOT 602273 SOS 110801 HAS SOPS 110801 HAS SOUS 52666 HAS SOUPS 52666 WITH SCORE 52776.801
AT ITER 4241 NEW BEST:: SOT 602273 SOS 110941 HAS SOPS 110941 HAS SOUS 52582 HAS SOUPS 52582 WITH SCORE 52692.941
AT ITER 4260 NEW BEST:: SOT 602257 SOS 110857 HAS SOPS 110857 HAS SOUS 52578 HAS SOUPS 52578 WITH SCORE 52688.857
AT ITER 4270 NEW BEST:: SOT 602257 SOS 110857 HAS SOPS 110857 HAS SOUS 52547 HAS SOUPS 52547 WITH SCORE 52657.857
AT ITER 4285 NEW BEST:: SOT 602252 SOS 110847 HAS SOPS 110847 HAS SOUS 52517 HAS SOUPS 52517 WITH SCORE 52627.847
AT ITER 4318 NEW BEST:: SOT 602252 SOS 110840 HAS SOPS 110840 HAS SOUS 52510 HAS SOUPS 52510 WITH SCORE 52620.84
AT ITER 4363 NEW BEST:: SOT 602252 SOS 110672 HAS SOPS 110672 HAS SOUS 52454 HAS SOUPS 52454 WITH SCORE 52564.672
AT ITER 4396 NEW BEST:: SOT 602251 SOS 110670 HAS SOPS 110670 HAS SOUS 52452 HAS SOUPS 52452 WITH SCORE 52562.67
AT ITER 4414 NEW BEST:: SOT 602251 SOS 110670 HAS SOPS 110670 HAS SOUS 52438 HAS SOUPS 52438 WITH SCORE 52548.67
AT ITER 4441 NEW BEST:: SOT 602245 SOS 110634 HAS SOPS 110634 HAS SOUS 52426 HAS SOUPS 52426 WITH SCORE 52536.634
AT ITER 4443 NEW BEST:: SOT 602236 SOS 110571 HAS SOPS 110571 HAS SOUS 52399 HAS SOUPS 52399 WITH SCORE 52509.571
AT ITER 4524 NEW BEST:: SOT 602236 SOS 110567 HAS SOPS 110567 HAS SOUS 52399 HAS SOUPS 52399 WITH SCORE 52509.567
AT ITER 4530 NEW BEST:: SOT 602197 SOS 110294 HAS SOPS 110294 HAS SOUS 52282 HAS SOUPS 52282 WITH SCORE 52392.294
AT ITER 4540 NEW BEST:: SOT 602177 SOS 110274 HAS SOPS 110274 HAS SOUS 52262 HAS SOUPS 52262 WITH SCORE 52372.274
AT ITER 4567 NEW BEST:: SOT 602162 SOS 110256 HAS SOPS 110256 HAS SOUS 52248 HAS SOUPS 52248 WITH SCORE 52358.256
AT ITER 4568 NEW BEST:: SOT 602181 SOS 110115 HAS SOPS 110115 HAS SOUS 52235 HAS SOUPS 52235 WITH SCORE 52345.115
AT ITER 4601 NEW BEST:: SOT 602181 SOS 110108 HAS SOPS 110108 HAS SOUS 52200 HAS SOUPS 52200 WITH SCORE 52310.108
AT ITER 4609 NEW BEST:: SOT 602181 SOS 110108 HAS SOPS 110108 HAS SOUS 52170 HAS SOUPS 52170 WITH SCORE 52280.108
AT ITER 4613 NEW BEST:: SOT 602189 SOS 110051 HAS SOPS 110051 HAS SOUS 52165 HAS SOUPS 52165 WITH SCORE 52275.051
AT ITER 4616 NEW BEST:: SOT 602150 SOS 109778 HAS SOPS 109778 HAS SOUS 52048 HAS SOUPS 52048 WITH SCORE 52157.778
AT ITER 4648 NEW BEST:: SOT 602141 SOS 109769 HAS SOPS 109769 HAS SOUS 52039 HAS SOUPS 52039 WITH SCORE 52148.769
AT ITER 4651 NEW BEST:: SOT 602121 SOS 109709 HAS SOPS 109709 HAS SOUS 52023 HAS SOUPS 52023 WITH SCORE 52132.709
AT ITER 4658 NEW BEST:: SOT 601920 SOS 109307 HAS SOPS 109307 HAS SOUS 51825 HAS SOUPS 51825 WITH SCORE 51934.307
AT ITER 4679 NEW BEST:: SOT 601920 SOS 109067 HAS SOPS 109067 HAS SOUS 51745 HAS SOUPS 51745 WITH SCORE 51854.067
AT ITER 4687 NEW BEST:: SOT 601920 SOS 109067 HAS SOPS 109067 HAS SOUS 51709 HAS SOUPS 51709 WITH SCORE 51818.067
AT ITER 4700 NEW BEST:: SOT 601920 SOS 109067 HAS SOPS 109067 HAS SOUS 51695 HAS SOUPS 51695 WITH SCORE 51804.067
AT ITER 4701 NEW BEST:: SOT 601920 SOS 109067 HAS SOPS 109067 HAS SOUS 51682 HAS SOUPS 51682 WITH SCORE 51791.067
AT ITER 4718 NEW BEST:: SOT 601920 SOS 109067 HAS SOPS 109067 HAS SOUS 51650 HAS SOUPS 51650 WITH SCORE 51759.067
AT ITER 4772 NEW BEST:: SOT 601920 SOS 109107 HAS SOPS 109107 HAS SOUS 51626 HAS SOUPS 51626 WITH SCORE 51735.107
AT ITER 4786 NEW BEST:: SOT 601920 SOS 109107 HAS SOPS 109107 HAS SOUS 51592 HAS SOUPS 51592 WITH SCORE 51701.107
AT ITER 4810 NEW BEST:: SOT 601920 SOS 109107 HAS SOPS 109107 HAS SOUS 51578 HAS SOUPS 51578 WITH SCORE 51687.107
AT ITER 4825 NEW BEST:: SOT 601914 SOS 109101 HAS SOPS 109101 HAS SOUS 51572 HAS SOUPS 51572 WITH SCORE 51681.101
AT ITER 4957 NEW BEST:: SOT 601889 SOS 109076 HAS SOPS 109076 HAS SOUS 51562 HAS SOUPS 51562 WITH SCORE 51671.076
AT ITER 5022 NEW BEST:: SOT 601836 SOS 108978 HAS SOPS 108978 HAS SOUS 51500 HAS SOUPS 51500 WITH SCORE 51608.978
AT ITER 5052 NEW BEST:: SOT 601836 SOS 108750 HAS SOPS 108750 HAS SOUS 51424 HAS SOUPS 51424 WITH SCORE 51532.75
AT ITER 5152 NEW BEST:: SOT 601833 SOS 108747 HAS SOPS 108747 HAS SOUS 51419 HAS SOUPS 51419 WITH SCORE 51527.747
AT ITER 5183 NEW BEST:: SOT 601827 SOS 108622 HAS SOPS 108622 HAS SOUS 51410 HAS SOUPS 51410 WITH SCORE 51518.622
AT ITER 5189 NEW BEST:: SOT 601817 SOS 108502 HAS SOPS 108502 HAS SOUS 51398 HAS SOUPS 51398 WITH SCORE 51506.502
AT ITER 5225 NEW BEST:: SOT 601677 SOS 108314 HAS SOPS 108314 HAS SOUS 51242 HAS SOUPS 51242 WITH SCORE 51350.314
AT ITER 5262 NEW BEST:: SOT 601676 SOS 108113 HAS SOPS 108113 HAS SOUS 51217 HAS SOUPS 51217 WITH SCORE 51325.113
AT ITER 5271 NEW BEST:: SOT 601676 SOS 108095 HAS SOPS 108095 HAS SOUS 51211 HAS SOUPS 51211 WITH SCORE 51319.095
AT ITER 5287 NEW BEST:: SOT 601676 SOS 108095 HAS SOPS 108095 HAS SOUS 51185 HAS SOUPS 51185 WITH SCORE 51293.095
AT ITER 5317 NEW BEST:: SOT 601682 SOS 108107 HAS SOPS 108107 HAS SOUS 51133 HAS SOUPS 51133 WITH SCORE 51241.107
AT ITER 5325 NEW BEST:: SOT 601682 SOS 108071 HAS SOPS 108071 HAS SOUS 51121 HAS SOUPS 51121 WITH SCORE 51229.071
AT ITER 5379 NEW BEST:: SOT 601682 SOS 107897 HAS SOPS 107897 HAS SOUS 51063 HAS SOUPS 51063 WITH SCORE 51170.897
AT ITER 5381 NEW BEST:: SOT 601682 SOS 107825 HAS SOPS 107825 HAS SOUS 51039 HAS SOUPS 51039 WITH SCORE 51146.825
AT ITER 5386 NEW BEST:: SOT 601647 SOS 107785 HAS SOPS 107785 HAS SOUS 50999 HAS SOUPS 50999 WITH SCORE 51106.785
AT ITER 5418 NEW BEST:: SOT 601607 SOS 107611 HAS SOPS 107611 HAS SOUS 50995 HAS SOUPS 50995 WITH SCORE 51102.611
AT ITER 5446 NEW BEST:: SOT 601602 SOS 107606 HAS SOPS 107606 HAS SOUS 50990 HAS SOUPS 50990 WITH SCORE 51097.606
AT ITER 5471 NEW BEST:: SOT 601602 SOS 107603 HAS SOPS 107603 HAS SOUS 50987 HAS SOUPS 50987 WITH SCORE 51094.603
AT ITER 5502 NEW BEST:: SOT 601582 SOS 107583 HAS SOPS 107583 HAS SOUS 50967 HAS SOUPS 50967 WITH SCORE 51074.583
AT ITER 5589 NEW BEST:: SOT 601574 SOS 107319 HAS SOPS 107319 HAS SOUS 50951 HAS SOUPS 50951 WITH SCORE 51058.319
AT ITER 5645 NEW BEST:: SOT 601576 SOS 107176 HAS SOPS 107176 HAS SOUS 50944 HAS SOUPS 50944 WITH SCORE 51051.176
AT ITER 5654 NEW BEST:: SOT 601566 SOS 107164 HAS SOPS 107164 HAS SOUS 50876 HAS SOUPS 50876 WITH SCORE 50983.164
AT ITER 5657 NEW BEST:: SOT 601566 SOS 107162 HAS SOPS 107162 HAS SOUS 50874 HAS SOUPS 50874 WITH SCORE 50981.162
AT ITER 5710 NEW BEST:: SOT 601566 SOS 107167 HAS SOPS 107167 HAS SOUS 50871 HAS SOUPS 50871 WITH SCORE 50978.167
AT ITER 5735 NEW BEST:: SOT 601559 SOS 107125 HAS SOPS 107125 HAS SOUS 50857 HAS SOUPS 50857 WITH SCORE 50964.125
AT ITER 5773 NEW BEST:: SOT 601559 SOS 107121 HAS SOPS 107121 HAS SOUS 50853 HAS SOUPS 50853 WITH SCORE 50960.121
AT ITER 5882 NEW BEST:: SOT 601559 SOS 106959 HAS SOPS 106959 HAS SOUS 50807 HAS SOUPS 50807 WITH SCORE 50913.959
AT ITER 5897 NEW BEST:: SOT 601559 SOS 106929 HAS SOPS 106929 HAS SOUS 50797 HAS SOUPS 50797 WITH SCORE 50903.929
AT ITER 5907 NEW BEST:: SOT 601559 SOS 106909 HAS SOPS 106909 HAS SOUS 50793 HAS SOUPS 50793 WITH SCORE 50899.909
AT ITER 5942 NEW BEST:: SOT 601479 SOS 106813 HAS SOPS 106813 HAS SOUS 50697 HAS SOUPS 50697 WITH SCORE 50803.813
AT ITER 5975 NEW BEST:: SOT 601473 SOS 106777 HAS SOPS 106777 HAS SOUS 50685 HAS SOUPS 50685 WITH SCORE 50791.777
AT ITER 6068 NEW BEST:: SOT 601408 SOS 106649 HAS SOPS 106649 HAS SOUS 50613 HAS SOUPS 50613 WITH SCORE 50719.649
AT ITER 6102 NEW BEST:: SOT 601408 SOS 106638 HAS SOPS 106638 HAS SOUS 50566 HAS SOUPS 50566 WITH SCORE 50672.638
AT ITER 6179 NEW BEST:: SOT 601360 SOS 106590 HAS SOPS 106590 HAS SOUS 50518 HAS SOUPS 50518 WITH SCORE 50624.59
AT ITER 6272 NEW BEST:: SOT 601208 SOS 106398 HAS SOPS 106398 HAS SOUS 50482 HAS SOUPS 50482 WITH SCORE 50588.398
AT ITER 6391 NEW BEST:: SOT 601208 SOS 106447 HAS SOPS 106447 HAS SOUS 50447 HAS SOUPS 50447 WITH SCORE 50553.447
AT ITER 6419 NEW BEST:: SOT 601208 SOS 106422 HAS SOPS 106422 HAS SOUS 50422 HAS SOUPS 50422 WITH SCORE 50528.422
AT ITER 6423 NEW BEST:: SOT 601208 SOS 106356 HAS SOPS 106356 HAS SOUS 50400 HAS SOUPS 50400 WITH SCORE 50506.356
AT ITER 6431 NEW BEST:: SOT 601208 SOS 106229 HAS SOPS 106229 HAS SOUS 50377 HAS SOUPS 50377 WITH SCORE 50483.229
AT ITER 6439 NEW BEST:: SOT 601208 SOS 106229 HAS SOPS 106229 HAS SOUS 50358 HAS SOUPS 50358 WITH SCORE 50464.229
AT ITER 6455 NEW BEST:: SOT 601193 SOS 106199 HAS SOPS 106199 HAS SOUS 50340 HAS SOUPS 50340 WITH SCORE 50446.199
AT ITER 6470 NEW BEST:: SOT 601151 SOS 106187 HAS SOPS 106187 HAS SOUS 50304 HAS SOUPS 50304 WITH SCORE 50410.187
AT ITER 6476 NEW BEST:: SOT 601151 SOS 106120 HAS SOPS 106120 HAS SOUS 50293 HAS SOUPS 50293 WITH SCORE 50399.12
AT ITER 6591 NEW BEST:: SOT 601150 SOS 106118 HAS SOPS 106118 HAS SOUS 50291 HAS SOUPS 50291 WITH SCORE 50397.118
AT ITER 6598 NEW BEST:: SOT 601148 SOS 106104 HAS SOPS 106104 HAS SOUS 50285 HAS SOUPS 50285 WITH SCORE 50391.104
AT ITER 6622 NEW BEST:: SOT 601148 SOS 106104 HAS SOPS 106104 HAS SOUS 50282 HAS SOUPS 50282 WITH SCORE 50388.104
AT ITER 6671 NEW BEST:: SOT 601148 SOS 106026 HAS SOPS 106026 HAS SOUS 50256 HAS SOUPS 50256 WITH SCORE 50362.026
AT ITER 6738 NEW BEST:: SOT 601148 SOS 106026 HAS SOPS 106026 HAS SOUS 50214 HAS SOUPS 50214 WITH SCORE 50320.026
AT ITER 6793 NEW BEST:: SOT 601147 SOS 106020 HAS SOPS 106020 HAS SOUS 50208 HAS SOUPS 50208 WITH SCORE 50314.02
AT ITER 6801 NEW BEST:: SOT 600998 SOS 105872 HAS SOPS 105872 HAS SOUS 50197 HAS SOUPS 50197 WITH SCORE 50302.872
AT ITER 6839 NEW BEST:: SOT 600993 SOS 105862 HAS SOPS 105862 HAS SOUS 50167 HAS SOUPS 50167 WITH SCORE 50272.862
AT ITER 6862 NEW BEST:: SOT 600937 SOS 105806 HAS SOPS 105806 HAS SOUS 50111 HAS SOUPS 50111 WITH SCORE 50216.806
AT ITER 6871 NEW BEST:: SOT 600937 SOS 105792 HAS SOPS 105792 HAS SOUS 50097 HAS SOUPS 50097 WITH SCORE 50202.792
AT ITER 6891 NEW BEST:: SOT 600852 SOS 105690 HAS SOPS 105690 HAS SOUS 49887 HAS SOUPS 49887 WITH SCORE 49992.69
AT ITER 6903 NEW BEST:: SOT 600844 SOS 105741 HAS SOPS 105741 HAS SOUS 49838 HAS SOUPS 49838 WITH SCORE 49943.741
AT ITER 6938 NEW BEST:: SOT 600844 SOS 105560 HAS SOPS 105560 HAS SOUS 49825 HAS SOUPS 49825 WITH SCORE 49930.56
AT ITER 6972 NEW BEST:: SOT 600812 SOS 105336 HAS SOPS 105336 HAS SOUS 49729 HAS SOUPS 49729 WITH SCORE 49834.336
AT ITER 6987 NEW BEST:: SOT 600813 SOS 105175 HAS SOPS 105175 HAS SOUS 49712 HAS SOUPS 49712 WITH SCORE 49817.175
AT ITER 7025 NEW BEST:: SOT 600808 SOS 105145 HAS SOPS 105145 HAS SOUS 49702 HAS SOUPS 49702 WITH SCORE 49807.145
AT ITER 7063 NEW BEST:: SOT 600808 SOS 105145 HAS SOPS 105145 HAS SOUS 49695 HAS SOUPS 49695 WITH SCORE 49800.145
AT ITER 7167 NEW BEST:: SOT 600800 SOS 105135 HAS SOPS 105135 HAS SOUS 49693 HAS SOUPS 49693 WITH SCORE 49798.135
AT ITER 7176 NEW BEST:: SOT 600756 SOS 105196 HAS SOPS 105196 HAS SOUS 49670 HAS SOUPS 49670 WITH SCORE 49775.196
AT ITER 7220 NEW BEST:: SOT 600701 SOS 105166 HAS SOPS 105166 HAS SOUS 49652 HAS SOUPS 49652 WITH SCORE 49757.166
AT ITER 7284 NEW BEST:: SOT 600701 SOS 105130 HAS SOPS 105130 HAS SOUS 49640 HAS SOUPS 49640 WITH SCORE 49745.13
AT ITER 7388 NEW BEST:: SOT 600664 SOS 104989 HAS SOPS 104989 HAS SOUS 49630 HAS SOUPS 49630 WITH SCORE 49734.989
AT ITER 7461 NEW BEST:: SOT 600638 SOS 105038 HAS SOPS 105038 HAS SOUS 49619 HAS SOUPS 49619 WITH SCORE 49724.038
AT ITER 7469 NEW BEST:: SOT 600638 SOS 105038 HAS SOPS 105038 HAS SOUS 49602 HAS SOUPS 49602 WITH SCORE 49707.038
AT ITER 7486 NEW BEST:: SOT 600638 SOS 105014 HAS SOPS 105014 HAS SOUS 49602 HAS SOUPS 49602 WITH SCORE 49707.014
AT ITER 7544 NEW BEST:: SOT 600562 SOS 104710 HAS SOPS 104710 HAS SOUS 49582 HAS SOUPS 49582 WITH SCORE 49686.71
AT ITER 7561 NEW BEST:: SOT 600557 SOS 104680 HAS SOPS 104680 HAS SOUS 49572 HAS SOUPS 49572 WITH SCORE 49676.68
AT ITER 7645 NEW BEST:: SOT 600554 SOS 104677 HAS SOPS 104677 HAS SOUS 49569 HAS SOUPS 49569 WITH SCORE 49673.677
AT ITER 7692 NEW BEST:: SOT 600554 SOS 104635 HAS SOPS 104635 HAS SOUS 49555 HAS SOUPS 49555 WITH SCORE 49659.635
AT ITER 7844 NEW BEST:: SOT 600548 SOS 104629 HAS SOPS 104629 HAS SOUS 49549 HAS SOUPS 49549 WITH SCORE 49653.629
AT ITER 7849 NEW BEST:: SOT 600548 SOS 104335 HAS SOPS 104335 HAS SOUS 49451 HAS SOUPS 49451 WITH SCORE 49555.335
AT ITER 7871 NEW BEST:: SOT 600540 SOS 104327 HAS SOPS 104327 HAS SOUS 49444 HAS SOUPS 49444 WITH SCORE 49548.327
AT ITER 7915 NEW BEST:: SOT 600502 SOS 104145 HAS SOPS 104145 HAS SOUS 49358 HAS SOUPS 49358 WITH SCORE 49462.145
AT ITER 7984 NEW BEST:: SOT 600497 SOS 104110 HAS SOPS 104110 HAS SOUS 49343 HAS SOUPS 49343 WITH SCORE 49447.11
AT ITER 7995 NEW BEST:: SOT 600475 SOS 104090 HAS SOPS 104090 HAS SOUS 49299 HAS SOUPS 49299 WITH SCORE 49403.09
AT ITER 8102 NEW BEST:: SOT 600474 SOS 104089 HAS SOPS 104089 HAS SOUS 49298 HAS SOUPS 49298 WITH SCORE 49402.089
AT ITER 8267 NEW BEST:: SOT 600399 SOS 103999 HAS SOPS 103999 HAS SOUS 49208 HAS SOUPS 49208 WITH SCORE 49311.999
AT ITER 8326 NEW BEST:: SOT 600399 SOS 103999 HAS SOPS 103999 HAS SOUS 49198 HAS SOUPS 49198 WITH SCORE 49301.999
AT ITER 8353 NEW BEST:: SOT 600399 SOS 103780 HAS SOPS 103780 HAS SOUS 49155 HAS SOUPS 49155 WITH SCORE 49258.78
AT ITER 8371 NEW BEST:: SOT 600399 SOS 103710 HAS SOPS 103710 HAS SOUS 49141 HAS SOUPS 49141 WITH SCORE 49244.71
AT ITER 8409 NEW BEST:: SOT 600399 SOS 103575 HAS SOPS 103575 HAS SOUS 49114 HAS SOUPS 49114 WITH SCORE 49217.575
AT ITER 8430 NEW BEST:: SOT 600399 SOS 103539 HAS SOPS 103539 HAS SOUS 49102 HAS SOUPS 49102 WITH SCORE 49205.539
AT ITER 8443 NEW BEST:: SOT 600399 SOS 103539 HAS SOPS 103539 HAS SOUS 49054 HAS SOUPS 49054 WITH SCORE 49157.539
AT ITER 8706 NEW BEST:: SOT 600395 SOS 103517 HAS SOPS 103517 HAS SOUS 49044 HAS SOUPS 49044 WITH SCORE 49147.517
AT ITER 8759 NEW BEST:: SOT 600300 SOS 103320 HAS SOPS 103320 HAS SOUS 48915 HAS SOUPS 48915 WITH SCORE 49018.32
AT ITER 8762 NEW BEST:: SOT 600288 SOS 103248 HAS SOPS 103248 HAS SOUS 48891 HAS SOUPS 48891 WITH SCORE 48994.248
AT ITER 8765 NEW BEST:: SOT 600288 SOS 103065 HAS SOPS 103065 HAS SOUS 48876 HAS SOUPS 48876 WITH SCORE 48979.065
AT ITER 8779 NEW BEST:: SOT 600304 SOS 103081 HAS SOPS 103081 HAS SOUS 48862 HAS SOUPS 48862 WITH SCORE 48965.081
AT ITER 8780 NEW BEST:: SOT 600304 SOS 103075 HAS SOPS 103075 HAS SOUS 48860 HAS SOUPS 48860 WITH SCORE 48963.075
AT ITER 8820 NEW BEST:: SOT 600286 SOS 102943 HAS SOPS 102943 HAS SOUS 48804 HAS SOUPS 48804 WITH SCORE 48906.943
AT ITER 8841 NEW BEST:: SOT 600130 SOS 102787 HAS SOPS 102787 HAS SOUS 48648 HAS SOUPS 48648 WITH SCORE 48750.787
AT ITER 8888 NEW BEST:: SOT 600085 SOS 102760 HAS SOPS 102760 HAS SOUS 48621 HAS SOUPS 48621 WITH SCORE 48723.76
AT ITER 8904 NEW BEST:: SOT 600079 SOS 102754 HAS SOPS 102754 HAS SOUS 48615 HAS SOUPS 48615 WITH SCORE 48717.754
AT ITER 9069 NEW BEST:: SOT 600079 SOS 102590 HAS SOPS 102590 HAS SOUS 48615 HAS SOUPS 48615 WITH SCORE 48717.59
AT ITER 9177 NEW BEST:: SOT 600079 SOS 102590 HAS SOPS 102590 HAS SOUS 48579 HAS SOUPS 48579 WITH SCORE 48681.59
AT ITER 9194 NEW BEST:: SOT 600079 SOS 102522 HAS SOPS 102522 HAS SOUS 48579 HAS SOUPS 48579 WITH SCORE 48681.522
AT ITER 9208 NEW BEST:: SOT 600079 SOS 102500 HAS SOPS 102500 HAS SOUS 48557 HAS SOUPS 48557 WITH SCORE 48659.5
AT ITER 9293 NEW BEST:: SOT 600085 SOS 102440 HAS SOPS 102440 HAS SOUS 48541 HAS SOUPS 48541 WITH SCORE 48643.44
AT ITER 9346 NEW BEST:: SOT 600070 SOS 102404 HAS SOPS 102404 HAS SOUS 48505 HAS SOUPS 48505 WITH SCORE 48607.404
AT ITER 9350 NEW BEST:: SOT 600036 SOS 102236 HAS SOPS 102236 HAS SOUS 48417 HAS SOUPS 48417 WITH SCORE 48519.236
AT ITER 9353 NEW BEST:: SOT 600034 SOS 102224 HAS SOPS 102224 HAS SOUS 48413 HAS SOUPS 48413 WITH SCORE 48515.224
AT ITER 9360 NEW BEST:: SOT 600013 SOS 102203 HAS SOPS 102203 HAS SOUS 48392 HAS SOUPS 48392 WITH SCORE 48494.203
AT ITER 9401 NEW BEST:: SOT 599928 SOS 101914 HAS SOPS 101914 HAS SOUS 48357 HAS SOUPS 48357 WITH SCORE 48458.914
AT ITER 9405 NEW BEST:: SOT 599928 SOS 101914 HAS SOPS 101914 HAS SOUS 48351 HAS SOUPS 48351 WITH SCORE 48452.914
AT ITER 9438 NEW BEST:: SOT 599941 SOS 101927 HAS SOPS 101927 HAS SOUS 48345 HAS SOUPS 48345 WITH SCORE 48446.927
AT ITER 9472 NEW BEST:: SOT 599924 SOS 101893 HAS SOPS 101893 HAS SOUS 48311 HAS SOUPS 48311 WITH SCORE 48412.893
AT ITER 9474 NEW BEST:: SOT 599916 SOS 101881 HAS SOPS 101881 HAS SOUS 48284 HAS SOUPS 48284 WITH SCORE 48385.881
AT ITER 9550 NEW BEST:: SOT 599909 SOS 101821 HAS SOPS 101821 HAS SOUS 48252 HAS SOUPS 48252 WITH SCORE 48353.821
AT ITER 9601 NEW BEST:: SOT 599819 SOS 101623 HAS SOPS 101623 HAS SOUS 48126 HAS SOUPS 48126 WITH SCORE 48227.623
AT ITER 9605 NEW BEST:: SOT 599819 SOS 101623 HAS SOPS 101623 HAS SOUS 48121 HAS SOUPS 48121 WITH SCORE 48222.623
AT ITER 9764 NEW BEST:: SOT 599748 SOS 101582 HAS SOPS 101582 HAS SOUS 48071 HAS SOUPS 48071 WITH SCORE 48172.582
AT ITER 9946 NEW BEST:: SOT 599743 SOS 101596 HAS SOPS 101596 HAS SOUS 48061 HAS SOUPS 48061 WITH SCORE 48162.596
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 12744840 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16153540 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="HexagonalGrid-PT-410"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is HexagonalGrid-PT-410, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r195-smll-167840342400408"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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