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.r099-tall-167814472400456.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 DES-PT-30b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814472400456
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 544K
-rw-r--r-- 1 mcc users 7.1K Feb 26 15:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 78K Feb 26 15:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.7K Feb 26 15:40 CTLFireability.txt
-rw-r--r-- 1 mcc users 42K Feb 26 15:40 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 15:50 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 15:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:50 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 15:42 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 121K Feb 26 15:42 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.0K Feb 26 15:41 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 69K Feb 26 15:41 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 25 15:50 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:50 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
-rw-r--r-- 1 mcc users 103K 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 1678243100709

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=DES-PT-30b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DES (PT), instance 30b
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: 399 places, 350 transitions, 1143 arcs.
AT ITER 0 NEW BEST:: SOT 84133 SOS 16091 HAS SOPS 16091 HAS SOUS 14250 HAS SOUPS 14250 WITH SCORE 14266.091
AT ITER 6 NEW BEST:: SOT 84132 SOS 16086 HAS SOPS 16086 HAS SOUS 14248 HAS SOUPS 14248 WITH SCORE 14264.086
AT ITER 20 NEW BEST:: SOT 84132 SOS 16085 HAS SOPS 16085 HAS SOUS 14247 HAS SOUPS 14247 WITH SCORE 14263.085
AT ITER 26 NEW BEST:: SOT 84095 SOS 16159 HAS SOPS 16159 HAS SOUS 14244 HAS SOUPS 14244 WITH SCORE 14260.159
AT ITER 32 NEW BEST:: SOT 84061 SOS 16146 HAS SOPS 16146 HAS SOUS 14231 HAS SOUPS 14231 WITH SCORE 14247.146
AT ITER 39 NEW BEST:: SOT 84069 SOS 16182 HAS SOPS 16182 HAS SOUS 14227 HAS SOUPS 14227 WITH SCORE 14243.182
AT ITER 56 NEW BEST:: SOT 84030 SOS 16136 HAS SOPS 16136 HAS SOUS 14181 HAS SOUPS 14181 WITH SCORE 14197.136
AT ITER 74 NEW BEST:: SOT 83996 SOS 16062 HAS SOPS 16062 HAS SOUS 14107 HAS SOUPS 14107 WITH SCORE 14123.062
AT ITER 79 NEW BEST:: SOT 83996 SOS 16056 HAS SOPS 16056 HAS SOUS 14101 HAS SOUPS 14101 WITH SCORE 14117.056
AT ITER 101 NEW BEST:: SOT 83983 SOS 16051 HAS SOPS 16051 HAS SOUS 14096 HAS SOUPS 14096 WITH SCORE 14112.051
AT ITER 112 NEW BEST:: SOT 83983 SOS 16014 HAS SOPS 16014 HAS SOUS 14096 HAS SOUPS 14096 WITH SCORE 14112.014
AT ITER 147 NEW BEST:: SOT 83975 SOS 15982 HAS SOPS 15982 HAS SOUS 14064 HAS SOUPS 14064 WITH SCORE 14079.982
AT ITER 171 NEW BEST:: SOT 83947 SOS 15981 HAS SOPS 15981 HAS SOUS 14063 HAS SOUPS 14063 WITH SCORE 14078.981
AT ITER 216 NEW BEST:: SOT 83941 SOS 15955 HAS SOPS 15955 HAS SOUS 14037 HAS SOUPS 14037 WITH SCORE 14052.955
AT ITER 218 NEW BEST:: SOT 83909 SOS 15892 HAS SOPS 15892 HAS SOUS 13974 HAS SOUPS 13974 WITH SCORE 13989.892
AT ITER 247 NEW BEST:: SOT 83865 SOS 15922 HAS SOPS 15922 HAS SOUS 13958 HAS SOUPS 13958 WITH SCORE 13973.922
AT ITER 259 NEW BEST:: SOT 83859 SOS 15890 HAS SOPS 15890 HAS SOUS 13927 HAS SOUPS 13927 WITH SCORE 13942.89
AT ITER 261 NEW BEST:: SOT 83838 SOS 15889 HAS SOPS 15889 HAS SOUS 13926 HAS SOUPS 13926 WITH SCORE 13941.889
AT ITER 272 NEW BEST:: SOT 83838 SOS 15878 HAS SOPS 15878 HAS SOUS 13915 HAS SOUPS 13915 WITH SCORE 13930.878
AT ITER 280 NEW BEST:: SOT 83832 SOS 15875 HAS SOPS 15875 HAS SOUS 13912 HAS SOUPS 13912 WITH SCORE 13927.875
AT ITER 311 NEW BEST:: SOT 83818 SOS 15861 HAS SOPS 15861 HAS SOUS 13898 HAS SOUPS 13898 WITH SCORE 13913.861
AT ITER 351 NEW BEST:: SOT 83818 SOS 15860 HAS SOPS 15860 HAS SOUS 13897 HAS SOUPS 13897 WITH SCORE 13912.86
AT ITER 356 NEW BEST:: SOT 83818 SOS 15838 HAS SOPS 15838 HAS SOUS 13875 HAS SOUPS 13875 WITH SCORE 13890.838
AT ITER 388 NEW BEST:: SOT 83817 SOS 15836 HAS SOPS 15836 HAS SOUS 13873 HAS SOUPS 13873 WITH SCORE 13888.836
AT ITER 413 NEW BEST:: SOT 83781 SOS 15827 HAS SOPS 15827 HAS SOUS 13864 HAS SOUPS 13864 WITH SCORE 13879.827
AT ITER 462 NEW BEST:: SOT 83734 SOS 15884 HAS SOPS 15884 HAS SOUS 13814 HAS SOUPS 13814 WITH SCORE 13829.884
AT ITER 471 NEW BEST:: SOT 83734 SOS 15883 HAS SOPS 15883 HAS SOUS 13813 HAS SOUPS 13813 WITH SCORE 13828.883
AT ITER 477 NEW BEST:: SOT 83733 SOS 15882 HAS SOPS 15882 HAS SOUS 13811 HAS SOUPS 13811 WITH SCORE 13826.882
AT ITER 512 NEW BEST:: SOT 83724 SOS 15850 HAS SOPS 15850 HAS SOUS 13779 HAS SOUPS 13779 WITH SCORE 13794.85
AT ITER 526 NEW BEST:: SOT 83689 SOS 15814 HAS SOPS 15814 HAS SOUS 13743 HAS SOUPS 13743 WITH SCORE 13758.814
AT ITER 566 NEW BEST:: SOT 83689 SOS 15813 HAS SOPS 15813 HAS SOUS 13742 HAS SOUPS 13742 WITH SCORE 13757.813
AT ITER 587 NEW BEST:: SOT 83689 SOS 15783 HAS SOPS 15783 HAS SOUS 13732 HAS SOUPS 13732 WITH SCORE 13747.783
AT ITER 590 NEW BEST:: SOT 83324 SOS 19284 HAS SOPS 19284 HAS SOUS 13666 HAS SOUPS 13666 WITH SCORE 13685.284
AT ITER 634 NEW BEST:: SOT 83286 SOS 19269 HAS SOPS 19269 HAS SOUS 13651 HAS SOUPS 13651 WITH SCORE 13670.269
AT ITER 696 NEW BEST:: SOT 83286 SOS 19247 HAS SOPS 19247 HAS SOUS 13629 HAS SOUPS 13629 WITH SCORE 13648.247
AT ITER 763 NEW BEST:: SOT 83282 SOS 19243 HAS SOPS 19243 HAS SOUS 13625 HAS SOUPS 13625 WITH SCORE 13644.243
AT ITER 808 NEW BEST:: SOT 83295 SOS 19242 HAS SOPS 19242 HAS SOUS 13624 HAS SOUPS 13624 WITH SCORE 13643.242
AT ITER 834 NEW BEST:: SOT 83279 SOS 19226 HAS SOPS 19226 HAS SOUS 13608 HAS SOUPS 13608 WITH SCORE 13627.226
AT ITER 849 NEW BEST:: SOT 83267 SOS 19252 HAS SOPS 19252 HAS SOUS 13598 HAS SOUPS 13598 WITH SCORE 13617.252
AT ITER 857 NEW BEST:: SOT 83267 SOS 19215 HAS SOPS 19215 HAS SOUS 13561 HAS SOUPS 13561 WITH SCORE 13580.215
AT ITER 866 NEW BEST:: SOT 83253 SOS 19200 HAS SOPS 19200 HAS SOUS 13546 HAS SOUPS 13546 WITH SCORE 13565.2
AT ITER 895 NEW BEST:: SOT 83232 SOS 19088 HAS SOPS 19088 HAS SOUS 13536 HAS SOUPS 13536 WITH SCORE 13555.088
AT ITER 905 NEW BEST:: SOT 83227 SOS 19078 HAS SOPS 19078 HAS SOUS 13526 HAS SOUPS 13526 WITH SCORE 13545.078
AT ITER 930 NEW BEST:: SOT 83160 SOS 19769 HAS SOPS 19769 HAS SOUS 13484 HAS SOUPS 13484 WITH SCORE 13503.769
AT ITER 995 NEW BEST:: SOT 83159 SOS 19768 HAS SOPS 19768 HAS SOUS 13483 HAS SOUPS 13483 WITH SCORE 13502.768
AT ITER 1022 NEW BEST:: SOT 83083 SOS 19891 HAS SOPS 19891 HAS SOUS 13466 HAS SOUPS 13466 WITH SCORE 13485.891
AT ITER 1080 NEW BEST:: SOT 83065 SOS 19891 HAS SOPS 19891 HAS SOUS 13447 HAS SOUPS 13447 WITH SCORE 13466.891
AT ITER 1081 NEW BEST:: SOT 83064 SOS 19882 HAS SOPS 19882 HAS SOUS 13432 HAS SOUPS 13432 WITH SCORE 13451.882
AT ITER 1095 NEW BEST:: SOT 83064 SOS 19882 HAS SOPS 19882 HAS SOUS 13431 HAS SOUPS 13431 WITH SCORE 13450.882
AT ITER 1108 NEW BEST:: SOT 83071 SOS 19874 HAS SOPS 19874 HAS SOUS 13423 HAS SOUPS 13423 WITH SCORE 13442.874
AT ITER 1109 NEW BEST:: SOT 83039 SOS 19841 HAS SOPS 19841 HAS SOUS 13390 HAS SOUPS 13390 WITH SCORE 13409.841
AT ITER 1144 NEW BEST:: SOT 82981 SOS 19779 HAS SOPS 19779 HAS SOUS 13320 HAS SOUPS 13320 WITH SCORE 13339.779
AT ITER 1195 NEW BEST:: SOT 82966 SOS 19772 HAS SOPS 19772 HAS SOUS 13313 HAS SOUPS 13313 WITH SCORE 13332.772
AT ITER 1208 NEW BEST:: SOT 82912 SOS 19719 HAS SOPS 19719 HAS SOUS 13260 HAS SOUPS 13260 WITH SCORE 13279.719
AT ITER 1220 NEW BEST:: SOT 82904 SOS 19719 HAS SOPS 19719 HAS SOUS 13252 HAS SOUPS 13252 WITH SCORE 13271.719
AT ITER 1259 NEW BEST:: SOT 82880 SOS 19695 HAS SOPS 19695 HAS SOUS 13230 HAS SOUPS 13230 WITH SCORE 13249.695
AT ITER 1293 NEW BEST:: SOT 82880 SOS 19743 HAS SOPS 19743 HAS SOUS 13226 HAS SOUPS 13226 WITH SCORE 13245.743
AT ITER 1297 NEW BEST:: SOT 82880 SOS 19741 HAS SOPS 19741 HAS SOUS 13224 HAS SOUPS 13224 WITH SCORE 13243.741
AT ITER 1355 NEW BEST:: SOT 82880 SOS 19740 HAS SOPS 19740 HAS SOUS 13223 HAS SOUPS 13223 WITH SCORE 13242.74
AT ITER 1362 NEW BEST:: SOT 82866 SOS 19726 HAS SOPS 19726 HAS SOUS 13209 HAS SOUPS 13209 WITH SCORE 13228.726
AT ITER 1372 NEW BEST:: SOT 82865 SOS 19725 HAS SOPS 19725 HAS SOUS 13208 HAS SOUPS 13208 WITH SCORE 13227.725
AT ITER 1417 NEW BEST:: SOT 82858 SOS 19711 HAS SOPS 19711 HAS SOUS 13194 HAS SOUPS 13194 WITH SCORE 13213.711
AT ITER 1419 NEW BEST:: SOT 82065 SOS 21729 HAS SOPS 21729 HAS SOUS 12614 HAS SOUPS 12614 WITH SCORE 12635.729
AT ITER 1435 NEW BEST:: SOT 82065 SOS 21714 HAS SOPS 21714 HAS SOUS 12599 HAS SOUPS 12599 WITH SCORE 12620.714
AT ITER 1445 NEW BEST:: SOT 82061 SOS 21712 HAS SOPS 21712 HAS SOUS 12596 HAS SOUPS 12596 WITH SCORE 12617.712
AT ITER 1465 NEW BEST:: SOT 82035 SOS 21686 HAS SOPS 21686 HAS SOUS 12570 HAS SOUPS 12570 WITH SCORE 12591.686
AT ITER 1479 NEW BEST:: SOT 81580 SOS 21106 HAS SOPS 21106 HAS SOUS 12086 HAS SOUPS 12086 WITH SCORE 12107.106
AT ITER 1518 NEW BEST:: SOT 81501 SOS 20986 HAS SOPS 20986 HAS SOUS 12048 HAS SOUPS 12048 WITH SCORE 12068.986
AT ITER 1538 NEW BEST:: SOT 81465 SOS 20972 HAS SOPS 20972 HAS SOUS 12032 HAS SOUPS 12032 WITH SCORE 12052.972
AT ITER 1557 NEW BEST:: SOT 81462 SOS 20969 HAS SOPS 20969 HAS SOUS 12029 HAS SOUPS 12029 WITH SCORE 12049.969
AT ITER 1561 NEW BEST:: SOT 81423 SOS 20983 HAS SOPS 20983 HAS SOUS 11990 HAS SOUPS 11990 WITH SCORE 12010.983
AT ITER 1568 NEW BEST:: SOT 81412 SOS 20960 HAS SOPS 20960 HAS SOUS 11967 HAS SOUPS 11967 WITH SCORE 11987.96
AT ITER 1662 NEW BEST:: SOT 81311 SOS 20818 HAS SOPS 20818 HAS SOUS 11825 HAS SOUPS 11825 WITH SCORE 11845.818
AT ITER 1673 NEW BEST:: SOT 81310 SOS 20817 HAS SOPS 20817 HAS SOUS 11825 HAS SOUPS 11825 WITH SCORE 11845.817
AT ITER 1676 NEW BEST:: SOT 81293 SOS 20800 HAS SOPS 20800 HAS SOUS 11808 HAS SOUPS 11808 WITH SCORE 11828.8
AT ITER 1681 NEW BEST:: SOT 81292 SOS 20799 HAS SOPS 20799 HAS SOUS 11806 HAS SOUPS 11806 WITH SCORE 11826.799
AT ITER 1689 NEW BEST:: SOT 81269 SOS 20753 HAS SOPS 20753 HAS SOUS 11760 HAS SOUPS 11760 WITH SCORE 11780.753
AT ITER 1703 NEW BEST:: SOT 81232 SOS 20690 HAS SOPS 20690 HAS SOUS 11690 HAS SOUPS 11690 WITH SCORE 11710.69
AT ITER 1749 NEW BEST:: SOT 81230 SOS 20686 HAS SOPS 20686 HAS SOUS 11688 HAS SOUPS 11688 WITH SCORE 11708.686
AT ITER 1767 NEW BEST:: SOT 81230 SOS 20681 HAS SOPS 20681 HAS SOUS 11683 HAS SOUPS 11683 WITH SCORE 11703.681
AT ITER 1779 NEW BEST:: SOT 81230 SOS 20680 HAS SOPS 20680 HAS SOUS 11682 HAS SOUPS 11682 WITH SCORE 11702.68
AT ITER 1787 NEW BEST:: SOT 81226 SOS 20671 HAS SOPS 20671 HAS SOUS 11673 HAS SOUPS 11673 WITH SCORE 11693.671
AT ITER 1816 NEW BEST:: SOT 81226 SOS 20669 HAS SOPS 20669 HAS SOUS 11671 HAS SOUPS 11671 WITH SCORE 11691.669
AT ITER 1842 NEW BEST:: SOT 81210 SOS 20653 HAS SOPS 20653 HAS SOUS 11655 HAS SOUPS 11655 WITH SCORE 11675.653
AT ITER 1846 NEW BEST:: SOT 81199 SOS 20642 HAS SOPS 20642 HAS SOUS 11644 HAS SOUPS 11644 WITH SCORE 11664.642
AT ITER 1860 NEW BEST:: SOT 81195 SOS 20638 HAS SOPS 20638 HAS SOUS 11638 HAS SOUPS 11638 WITH SCORE 11658.638
AT ITER 1917 NEW BEST:: SOT 81187 SOS 20630 HAS SOPS 20630 HAS SOUS 11629 HAS SOUPS 11629 WITH SCORE 11649.63
AT ITER 1921 NEW BEST:: SOT 81186 SOS 20629 HAS SOPS 20629 HAS SOUS 11627 HAS SOUPS 11627 WITH SCORE 11647.629
AT ITER 1962 NEW BEST:: SOT 81146 SOS 20643 HAS SOPS 20643 HAS SOUS 11605 HAS SOUPS 11605 WITH SCORE 11625.643
AT ITER 2011 NEW BEST:: SOT 81138 SOS 20635 HAS SOPS 20635 HAS SOUS 11591 HAS SOUPS 11591 WITH SCORE 11611.635
AT ITER 2016 NEW BEST:: SOT 81136 SOS 20634 HAS SOPS 20634 HAS SOUS 11590 HAS SOUPS 11590 WITH SCORE 11610.634
AT ITER 2049 NEW BEST:: SOT 81136 SOS 20610 HAS SOPS 20610 HAS SOUS 11590 HAS SOUPS 11590 WITH SCORE 11610.61
AT ITER 2064 NEW BEST:: SOT 81100 SOS 20590 HAS SOPS 20590 HAS SOUS 11554 HAS SOUPS 11554 WITH SCORE 11574.59
AT ITER 2137 NEW BEST:: SOT 81084 SOS 20574 HAS SOPS 20574 HAS SOUS 11522 HAS SOUPS 11522 WITH SCORE 11542.574
AT ITER 2147 NEW BEST:: SOT 81064 SOS 20540 HAS SOPS 20540 HAS SOUS 11448 HAS SOUPS 11448 WITH SCORE 11468.54
AT ITER 2246 NEW BEST:: SOT 81064 SOS 20536 HAS SOPS 20536 HAS SOUS 11444 HAS SOUPS 11444 WITH SCORE 11464.536
AT ITER 2268 NEW BEST:: SOT 80943 SOS 20772 HAS SOPS 20772 HAS SOUS 11409 HAS SOUPS 11409 WITH SCORE 11429.772
AT ITER 2317 NEW BEST:: SOT 80942 SOS 20771 HAS SOPS 20771 HAS SOUS 11408 HAS SOUPS 11408 WITH SCORE 11428.771
AT ITER 2326 NEW BEST:: SOT 80912 SOS 20741 HAS SOPS 20741 HAS SOUS 11370 HAS SOUPS 11370 WITH SCORE 11390.741
AT ITER 2362 NEW BEST:: SOT 80911 SOS 20740 HAS SOPS 20740 HAS SOUS 11368 HAS SOUPS 11368 WITH SCORE 11388.74
AT ITER 2386 NEW BEST:: SOT 80890 SOS 20709 HAS SOPS 20709 HAS SOUS 11347 HAS SOUPS 11347 WITH SCORE 11367.709
AT ITER 2411 NEW BEST:: SOT 80887 SOS 20709 HAS SOPS 20709 HAS SOUS 11344 HAS SOUPS 11344 WITH SCORE 11364.709
AT ITER 2412 NEW BEST:: SOT 80878 SOS 20691 HAS SOPS 20691 HAS SOUS 11326 HAS SOUPS 11326 WITH SCORE 11346.691
AT ITER 2425 NEW BEST:: SOT 80722 SOS 20572 HAS SOPS 20572 HAS SOUS 11207 HAS SOUPS 11207 WITH SCORE 11227.572
AT ITER 2545 NEW BEST:: SOT 80721 SOS 17691 HAS SOPS 17691 HAS SOUS 11205 HAS SOUPS 11205 WITH SCORE 11222.691
AT ITER 2549 NEW BEST:: SOT 80710 SOS 17669 HAS SOPS 17669 HAS SOUS 11183 HAS SOUPS 11183 WITH SCORE 11200.669
AT ITER 2552 NEW BEST:: SOT 80710 SOS 17647 HAS SOPS 17647 HAS SOUS 11183 HAS SOUPS 11183 WITH SCORE 11200.647
AT ITER 2554 NEW BEST:: SOT 80704 SOS 17635 HAS SOPS 17635 HAS SOUS 11171 HAS SOUPS 11171 WITH SCORE 11188.635
AT ITER 2569 NEW BEST:: SOT 80692 SOS 17622 HAS SOPS 17622 HAS SOUS 11158 HAS SOUPS 11158 WITH SCORE 11175.622
AT ITER 2603 NEW BEST:: SOT 80690 SOS 17522 HAS SOPS 17522 HAS SOUS 11152 HAS SOUPS 11152 WITH SCORE 11169.522
AT ITER 2605 NEW BEST:: SOT 80682 SOS 17507 HAS SOPS 17507 HAS SOUS 11144 HAS SOUPS 11144 WITH SCORE 11161.507
AT ITER 2627 NEW BEST:: SOT 80675 SOS 17490 HAS SOPS 17490 HAS SOUS 11129 HAS SOUPS 11129 WITH SCORE 11146.49
AT ITER 2660 NEW BEST:: SOT 80653 SOS 17482 HAS SOPS 17482 HAS SOUS 11107 HAS SOUPS 11107 WITH SCORE 11124.482
AT ITER 2677 NEW BEST:: SOT 80653 SOS 17457 HAS SOPS 17457 HAS SOUS 11098 HAS SOUPS 11098 WITH SCORE 11115.457
AT ITER 2681 NEW BEST:: SOT 80652 SOS 17455 HAS SOPS 17455 HAS SOUS 11096 HAS SOUPS 11096 WITH SCORE 11113.455
AT ITER 2713 NEW BEST:: SOT 80647 SOS 17440 HAS SOPS 17440 HAS SOUS 11086 HAS SOUPS 11086 WITH SCORE 11103.44
AT ITER 2723 NEW BEST:: SOT 80626 SOS 17406 HAS SOPS 17406 HAS SOUS 11044 HAS SOUPS 11044 WITH SCORE 11061.406
AT ITER 2727 NEW BEST:: SOT 80621 SOS 17368 HAS SOPS 17368 HAS SOUS 10958 HAS SOUPS 10958 WITH SCORE 10975.368
AT ITER 2741 NEW BEST:: SOT 80612 SOS 17336 HAS SOPS 17336 HAS SOUS 10934 HAS SOUPS 10934 WITH SCORE 10951.336
AT ITER 2766 NEW BEST:: SOT 80577 SOS 17271 HAS SOPS 17271 HAS SOUS 10834 HAS SOUPS 10834 WITH SCORE 10851.271
AT ITER 2837 NEW BEST:: SOT 80576 SOS 17264 HAS SOPS 17264 HAS SOUS 10829 HAS SOUPS 10829 WITH SCORE 10846.264
AT ITER 2862 NEW BEST:: SOT 80509 SOS 17197 HAS SOPS 17197 HAS SOUS 10762 HAS SOUPS 10762 WITH SCORE 10779.197
AT ITER 2866 NEW BEST:: SOT 80508 SOS 17248 HAS SOPS 17248 HAS SOUS 10756 HAS SOUPS 10756 WITH SCORE 10773.248
AT ITER 2994 NEW BEST:: SOT 80476 SOS 17200 HAS SOPS 17200 HAS SOUS 10724 HAS SOUPS 10724 WITH SCORE 10741.2
AT ITER 2996 NEW BEST:: SOT 80473 SOS 17194 HAS SOPS 17194 HAS SOUS 10718 HAS SOUPS 10718 WITH SCORE 10735.194
AT ITER 3040 NEW BEST:: SOT 80465 SOS 17186 HAS SOPS 17186 HAS SOUS 10710 HAS SOUPS 10710 WITH SCORE 10727.186
AT ITER 3079 NEW BEST:: SOT 80425 SOS 17309 HAS SOPS 17309 HAS SOUS 10708 HAS SOUPS 10708 WITH SCORE 10725.309
AT ITER 3134 NEW BEST:: SOT 80427 SOS 17308 HAS SOPS 17308 HAS SOUS 10707 HAS SOUPS 10707 WITH SCORE 10724.308
AT ITER 3193 NEW BEST:: SOT 80426 SOS 17307 HAS SOPS 17307 HAS SOUS 10706 HAS SOUPS 10706 WITH SCORE 10723.307
AT ITER 3247 NEW BEST:: SOT 80405 SOS 17265 HAS SOPS 17265 HAS SOUS 10664 HAS SOUPS 10664 WITH SCORE 10681.265
AT ITER 3280 NEW BEST:: SOT 80404 SOS 17264 HAS SOPS 17264 HAS SOUS 10663 HAS SOUPS 10663 WITH SCORE 10680.264
AT ITER 3286 NEW BEST:: SOT 80399 SOS 17253 HAS SOPS 17253 HAS SOUS 10652 HAS SOUPS 10652 WITH SCORE 10669.253
AT ITER 3314 NEW BEST:: SOT 80397 SOS 17251 HAS SOPS 17251 HAS SOUS 10648 HAS SOUPS 10648 WITH SCORE 10665.251
AT ITER 3344 NEW BEST:: SOT 80402 SOS 17228 HAS SOPS 17228 HAS SOUS 10640 HAS SOUPS 10640 WITH SCORE 10657.228
AT ITER 3390 NEW BEST:: SOT 80401 SOS 17223 HAS SOPS 17223 HAS SOUS 10635 HAS SOUPS 10635 WITH SCORE 10652.223
AT ITER 3421 NEW BEST:: SOT 80405 SOS 17219 HAS SOPS 17219 HAS SOUS 10631 HAS SOUPS 10631 WITH SCORE 10648.219
AT ITER 3437 NEW BEST:: SOT 80387 SOS 17183 HAS SOPS 17183 HAS SOUS 10577 HAS SOUPS 10577 WITH SCORE 10594.183
AT ITER 3442 NEW BEST:: SOT 80387 SOS 17176 HAS SOPS 17176 HAS SOUS 10568 HAS SOUPS 10568 WITH SCORE 10585.176
AT ITER 3449 NEW BEST:: SOT 80383 SOS 17172 HAS SOPS 17172 HAS SOUS 10564 HAS SOUPS 10564 WITH SCORE 10581.172
AT ITER 3457 NEW BEST:: SOT 80382 SOS 17171 HAS SOPS 17171 HAS SOUS 10562 HAS SOUPS 10562 WITH SCORE 10579.171
AT ITER 3473 NEW BEST:: SOT 80321 SOS 17034 HAS SOPS 17034 HAS SOUS 10425 HAS SOUPS 10425 WITH SCORE 10442.034
AT ITER 3481 NEW BEST:: SOT 80293 SOS 17005 HAS SOPS 17005 HAS SOUS 10396 HAS SOUPS 10396 WITH SCORE 10413.005
AT ITER 3510 NEW BEST:: SOT 80293 SOS 17005 HAS SOPS 17005 HAS SOUS 10393 HAS SOUPS 10393 WITH SCORE 10410.005
AT ITER 3529 NEW BEST:: SOT 80266 SOS 16971 HAS SOPS 16971 HAS SOUS 10359 HAS SOUPS 10359 WITH SCORE 10375.971
AT ITER 3543 NEW BEST:: SOT 80253 SOS 16970 HAS SOPS 16970 HAS SOUS 10346 HAS SOUPS 10346 WITH SCORE 10362.97
AT ITER 3572 NEW BEST:: SOT 80244 SOS 16952 HAS SOPS 16952 HAS SOUS 10328 HAS SOUPS 10328 WITH SCORE 10344.952
AT ITER 3574 NEW BEST:: SOT 80237 SOS 16946 HAS SOPS 16946 HAS SOUS 10322 HAS SOUPS 10322 WITH SCORE 10338.946
AT ITER 3580 NEW BEST:: SOT 80237 SOS 16883 HAS SOPS 16883 HAS SOUS 10259 HAS SOUPS 10259 WITH SCORE 10275.883
AT ITER 3624 NEW BEST:: SOT 80228 SOS 16628 HAS SOPS 16628 HAS SOUS 10251 HAS SOUPS 10251 WITH SCORE 10267.628
AT ITER 3650 NEW BEST:: SOT 80231 SOS 16606 HAS SOPS 16606 HAS SOUS 10237 HAS SOUPS 10237 WITH SCORE 10253.606
AT ITER 3680 NEW BEST:: SOT 80216 SOS 16576 HAS SOPS 16576 HAS SOUS 10235 HAS SOUPS 10235 WITH SCORE 10251.576
AT ITER 3690 NEW BEST:: SOT 80212 SOS 16532 HAS SOPS 16532 HAS SOUS 10191 HAS SOUPS 10191 WITH SCORE 10207.532
AT ITER 3692 NEW BEST:: SOT 80208 SOS 16541 HAS SOPS 16541 HAS SOUS 10187 HAS SOUPS 10187 WITH SCORE 10203.541
AT ITER 3759 NEW BEST:: SOT 80208 SOS 16534 HAS SOPS 16534 HAS SOUS 10187 HAS SOUPS 10187 WITH SCORE 10203.534
AT ITER 3788 NEW BEST:: SOT 80197 SOS 16512 HAS SOPS 16512 HAS SOUS 10165 HAS SOUPS 10165 WITH SCORE 10181.512
AT ITER 3815 NEW BEST:: SOT 80185 SOS 16490 HAS SOPS 16490 HAS SOUS 10143 HAS SOUPS 10143 WITH SCORE 10159.49
AT ITER 3850 NEW BEST:: SOT 80169 SOS 16490 HAS SOPS 16490 HAS SOUS 10127 HAS SOUPS 10127 WITH SCORE 10143.49
AT ITER 3886 NEW BEST:: SOT 80158 SOS 16489 HAS SOPS 16489 HAS SOUS 10116 HAS SOUPS 10116 WITH SCORE 10132.489
AT ITER 3937 NEW BEST:: SOT 80158 SOS 15554 HAS SOPS 15554 HAS SOUS 10111 HAS SOUPS 10111 WITH SCORE 10126.554
AT ITER 4019 NEW BEST:: SOT 80147 SOS 15537 HAS SOPS 15537 HAS SOUS 10094 HAS SOUPS 10094 WITH SCORE 10109.537
AT ITER 4075 NEW BEST:: SOT 80110 SOS 15421 HAS SOPS 15421 HAS SOUS 10047 HAS SOUPS 10047 WITH SCORE 10062.421
AT ITER 4102 NEW BEST:: SOT 80110 SOS 15420 HAS SOPS 15420 HAS SOUS 10046 HAS SOUPS 10046 WITH SCORE 10061.42
AT ITER 4128 NEW BEST:: SOT 80099 SOS 15398 HAS SOPS 15398 HAS SOUS 10044 HAS SOUPS 10044 WITH SCORE 10059.398
AT ITER 4147 NEW BEST:: SOT 80106 SOS 15344 HAS SOPS 15344 HAS SOUS 10034 HAS SOUPS 10034 WITH SCORE 10049.344
AT ITER 4209 NEW BEST:: SOT 80066 SOS 15304 HAS SOPS 15304 HAS SOUS 9954 HAS SOUPS 9954 WITH SCORE 9969.304
AT ITER 4224 NEW BEST:: SOT 80033 SOS 15292 HAS SOPS 15292 HAS SOUS 9942 HAS SOUPS 9942 WITH SCORE 9957.292
AT ITER 4256 NEW BEST:: SOT 80032 SOS 15291 HAS SOPS 15291 HAS SOUS 9940 HAS SOUPS 9940 WITH SCORE 9955.291
AT ITER 4273 NEW BEST:: SOT 80012 SOS 15271 HAS SOPS 15271 HAS SOUS 9920 HAS SOUPS 9920 WITH SCORE 9935.271
AT ITER 4335 NEW BEST:: SOT 79991 SOS 15181 HAS SOPS 15181 HAS SOUS 9897 HAS SOUPS 9897 WITH SCORE 9912.181
AT ITER 4375 NEW BEST:: SOT 79990 SOS 15180 HAS SOPS 15180 HAS SOUS 9896 HAS SOUPS 9896 WITH SCORE 9911.18
AT ITER 4380 NEW BEST:: SOT 79990 SOS 15180 HAS SOPS 15180 HAS SOUS 9894 HAS SOUPS 9894 WITH SCORE 9909.18
AT ITER 4475 NEW BEST:: SOT 79978 SOS 15168 HAS SOPS 15168 HAS SOUS 9870 HAS SOUPS 9870 WITH SCORE 9885.168
AT ITER 4482 NEW BEST:: SOT 79959 SOS 15170 HAS SOPS 15170 HAS SOUS 9857 HAS SOUPS 9857 WITH SCORE 9872.17
AT ITER 4485 NEW BEST:: SOT 79957 SOS 15166 HAS SOPS 15166 HAS SOUS 9855 HAS SOUPS 9855 WITH SCORE 9870.166
AT ITER 4500 NEW BEST:: SOT 79956 SOS 15140 HAS SOPS 15140 HAS SOUS 9854 HAS SOUPS 9854 WITH SCORE 9869.14
AT ITER 4566 NEW BEST:: SOT 79950 SOS 15134 HAS SOPS 15134 HAS SOUS 9848 HAS SOUPS 9848 WITH SCORE 9863.134
AT ITER 4587 NEW BEST:: SOT 79949 SOS 15124 HAS SOPS 15124 HAS SOUS 9846 HAS SOUPS 9846 WITH SCORE 9861.124
AT ITER 4597 NEW BEST:: SOT 79949 SOS 15117 HAS SOPS 15117 HAS SOUS 9846 HAS SOUPS 9846 WITH SCORE 9861.117
AT ITER 4604 NEW BEST:: SOT 79946 SOS 15114 HAS SOPS 15114 HAS SOUS 9840 HAS SOUPS 9840 WITH SCORE 9855.114
AT ITER 4612 NEW BEST:: SOT 79935 SOS 15108 HAS SOPS 15108 HAS SOUS 9834 HAS SOUPS 9834 WITH SCORE 9849.108
AT ITER 4635 NEW BEST:: SOT 79935 SOS 15101 HAS SOPS 15101 HAS SOUS 9827 HAS SOUPS 9827 WITH SCORE 9842.101
AT ITER 4636 NEW BEST:: SOT 79920 SOS 15048 HAS SOPS 15048 HAS SOUS 9789 HAS SOUPS 9789 WITH SCORE 9804.048
AT ITER 4695 NEW BEST:: SOT 79909 SOS 15036 HAS SOPS 15036 HAS SOUS 9777 HAS SOUPS 9777 WITH SCORE 9792.036
AT ITER 4701 NEW BEST:: SOT 79909 SOS 15033 HAS SOPS 15033 HAS SOUS 9774 HAS SOUPS 9774 WITH SCORE 9789.033
AT ITER 4708 NEW BEST:: SOT 79904 SOS 15014 HAS SOPS 15014 HAS SOUS 9766 HAS SOUPS 9766 WITH SCORE 9781.014
AT ITER 4709 NEW BEST:: SOT 79896 SOS 15000 HAS SOPS 15000 HAS SOUS 9737 HAS SOUPS 9737 WITH SCORE 9752.0
AT ITER 4713 NEW BEST:: SOT 79896 SOS 14985 HAS SOPS 14985 HAS SOUS 9722 HAS SOUPS 9722 WITH SCORE 9736.985
AT ITER 4736 NEW BEST:: SOT 79896 SOS 14980 HAS SOPS 14980 HAS SOUS 9717 HAS SOUPS 9717 WITH SCORE 9731.98
AT ITER 4739 NEW BEST:: SOT 79891 SOS 14970 HAS SOPS 14970 HAS SOUS 9707 HAS SOUPS 9707 WITH SCORE 9721.97
AT ITER 4918 NEW BEST:: SOT 79890 SOS 14972 HAS SOPS 14972 HAS SOUS 9699 HAS SOUPS 9699 WITH SCORE 9713.972
AT ITER 4951 NEW BEST:: SOT 79878 SOS 14962 HAS SOPS 14962 HAS SOUS 9689 HAS SOUPS 9689 WITH SCORE 9703.962
AT ITER 4953 NEW BEST:: SOT 79869 SOS 14923 HAS SOPS 14923 HAS SOUS 9650 HAS SOUPS 9650 WITH SCORE 9664.923
AT ITER 5002 NEW BEST:: SOT 79874 SOS 14868 HAS SOPS 14868 HAS SOUS 9639 HAS SOUPS 9639 WITH SCORE 9653.868
AT ITER 5128 NEW BEST:: SOT 79864 SOS 14848 HAS SOPS 14848 HAS SOUS 9617 HAS SOUPS 9617 WITH SCORE 9631.848
AT ITER 5153 NEW BEST:: SOT 79866 SOS 14847 HAS SOPS 14847 HAS SOUS 9616 HAS SOUPS 9616 WITH SCORE 9630.847
AT ITER 5163 NEW BEST:: SOT 79861 SOS 14842 HAS SOPS 14842 HAS SOUS 9611 HAS SOUPS 9611 WITH SCORE 9625.842
AT ITER 5223 NEW BEST:: SOT 79891 SOS 14816 HAS SOPS 14816 HAS SOUS 9610 HAS SOUPS 9610 WITH SCORE 9624.816
AT ITER 5253 NEW BEST:: SOT 79884 SOS 14776 HAS SOPS 14776 HAS SOUS 9570 HAS SOUPS 9570 WITH SCORE 9584.776
AT ITER 5278 NEW BEST:: SOT 79882 SOS 14774 HAS SOPS 14774 HAS SOUS 9567 HAS SOUPS 9567 WITH SCORE 9581.774
AT ITER 5325 NEW BEST:: SOT 79886 SOS 14766 HAS SOPS 14766 HAS SOUS 9557 HAS SOUPS 9557 WITH SCORE 9571.766
AT ITER 5329 NEW BEST:: SOT 79882 SOS 14758 HAS SOPS 14758 HAS SOUS 9549 HAS SOUPS 9549 WITH SCORE 9563.758
AT ITER 5416 NEW BEST:: SOT 79873 SOS 14734 HAS SOPS 14734 HAS SOUS 9546 HAS SOUPS 9546 WITH SCORE 9560.734
AT ITER 5496 NEW BEST:: SOT 79867 SOS 14734 HAS SOPS 14734 HAS SOUS 9534 HAS SOUPS 9534 WITH SCORE 9548.734
AT ITER 5521 NEW BEST:: SOT 79866 SOS 14733 HAS SOPS 14733 HAS SOUS 9533 HAS SOUPS 9533 WITH SCORE 9547.733
AT ITER 5577 NEW BEST:: SOT 79869 SOS 14735 HAS SOPS 14735 HAS SOUS 9526 HAS SOUPS 9526 WITH SCORE 9540.735
AT ITER 5591 NEW BEST:: SOT 79862 SOS 14728 HAS SOPS 14728 HAS SOUS 9519 HAS SOUPS 9519 WITH SCORE 9533.728
AT ITER 5597 NEW BEST:: SOT 79888 SOS 14703 HAS SOPS 14703 HAS SOUS 9469 HAS SOUPS 9469 WITH SCORE 9483.703
AT ITER 5613 NEW BEST:: SOT 79873 SOS 14688 HAS SOPS 14688 HAS SOUS 9439 HAS SOUPS 9439 WITH SCORE 9453.688
AT ITER 5621 NEW BEST:: SOT 79877 SOS 14682 HAS SOPS 14682 HAS SOUS 9433 HAS SOUPS 9433 WITH SCORE 9447.682
AT ITER 5639 NEW BEST:: SOT 79876 SOS 14652 HAS SOPS 14652 HAS SOUS 9431 HAS SOUPS 9431 WITH SCORE 9445.652
AT ITER 5674 NEW BEST:: SOT 79868 SOS 14636 HAS SOPS 14636 HAS SOUS 9423 HAS SOUPS 9423 WITH SCORE 9437.636
AT ITER 5697 NEW BEST:: SOT 79866 SOS 14632 HAS SOPS 14632 HAS SOUS 9419 HAS SOUPS 9419 WITH SCORE 9433.632
AT ITER 5801 NEW BEST:: SOT 79864 SOS 14628 HAS SOPS 14628 HAS SOUS 9415 HAS SOUPS 9415 WITH SCORE 9429.628
AT ITER 5949 NEW BEST:: SOT 79862 SOS 14626 HAS SOPS 14626 HAS SOUS 9413 HAS SOUPS 9413 WITH SCORE 9427.626
AT ITER 5964 NEW BEST:: SOT 79861 SOS 14625 HAS SOPS 14625 HAS SOUS 9411 HAS SOUPS 9411 WITH SCORE 9425.625
AT ITER 6052 NEW BEST:: SOT 79822 SOS 14561 HAS SOPS 14561 HAS SOUS 9375 HAS SOUPS 9375 WITH SCORE 9389.561
AT ITER 6132 NEW BEST:: SOT 79791 SOS 14530 HAS SOPS 14530 HAS SOUS 9360 HAS SOUPS 9360 WITH SCORE 9374.53
AT ITER 6248 NEW BEST:: SOT 79791 SOS 14518 HAS SOPS 14518 HAS SOUS 9348 HAS SOUPS 9348 WITH SCORE 9362.518
AT ITER 6366 NEW BEST:: SOT 79791 SOS 14517 HAS SOPS 14517 HAS SOUS 9347 HAS SOUPS 9347 WITH SCORE 9361.517
AT ITER 6393 NEW BEST:: SOT 79789 SOS 14513 HAS SOPS 14513 HAS SOUS 9343 HAS SOUPS 9343 WITH SCORE 9357.513
AT ITER 6527 NEW BEST:: SOT 79786 SOS 14557 HAS SOPS 14557 HAS SOUS 9342 HAS SOUPS 9342 WITH SCORE 9356.557
AT ITER 6530 NEW BEST:: SOT 79786 SOS 14549 HAS SOPS 14549 HAS SOUS 9334 HAS SOUPS 9334 WITH SCORE 9348.549
AT ITER 6577 NEW BEST:: SOT 79786 SOS 14546 HAS SOPS 14546 HAS SOUS 9331 HAS SOUPS 9331 WITH SCORE 9345.546
AT ITER 6618 NEW BEST:: SOT 79766 SOS 14540 HAS SOPS 14540 HAS SOUS 9325 HAS SOUPS 9325 WITH SCORE 9339.54
AT ITER 6666 NEW BEST:: SOT 79761 SOS 14550 HAS SOPS 14550 HAS SOUS 9320 HAS SOUPS 9320 WITH SCORE 9334.55
AT ITER 6705 NEW BEST:: SOT 79759 SOS 14550 HAS SOPS 14550 HAS SOUS 9317 HAS SOUPS 9317 WITH SCORE 9331.55
AT ITER 6762 NEW BEST:: SOT 79759 SOS 14554 HAS SOPS 14554 HAS SOUS 9313 HAS SOUPS 9313 WITH SCORE 9327.554
AT ITER 6817 NEW BEST:: SOT 79749 SOS 14533 HAS SOPS 14533 HAS SOUS 9292 HAS SOUPS 9292 WITH SCORE 9306.533
AT ITER 6892 NEW BEST:: SOT 79749 SOS 14529 HAS SOPS 14529 HAS SOUS 9291 HAS SOUPS 9291 WITH SCORE 9305.529
AT ITER 6899 NEW BEST:: SOT 79691 SOS 14446 HAS SOPS 14446 HAS SOUS 9208 HAS SOUPS 9208 WITH SCORE 9222.446
AT ITER 6927 NEW BEST:: SOT 79688 SOS 14443 HAS SOPS 14443 HAS SOUS 9205 HAS SOUPS 9205 WITH SCORE 9219.443
AT ITER 6978 NEW BEST:: SOT 79673 SOS 14427 HAS SOPS 14427 HAS SOUS 9189 HAS SOUPS 9189 WITH SCORE 9203.427
AT ITER 7014 NEW BEST:: SOT 79669 SOS 14422 HAS SOPS 14422 HAS SOUS 9185 HAS SOUPS 9185 WITH SCORE 9199.422
AT ITER 7057 NEW BEST:: SOT 79664 SOS 14417 HAS SOPS 14417 HAS SOUS 9183 HAS SOUPS 9183 WITH SCORE 9197.417
AT ITER 7073 NEW BEST:: SOT 79597 SOS 14350 HAS SOPS 14350 HAS SOUS 9116 HAS SOUPS 9116 WITH SCORE 9130.35
AT ITER 7203 NEW BEST:: SOT 79597 SOS 14344 HAS SOPS 14344 HAS SOUS 9112 HAS SOUPS 9112 WITH SCORE 9126.344
AT ITER 7216 NEW BEST:: SOT 79597 SOS 14329 HAS SOPS 14329 HAS SOUS 9102 HAS SOUPS 9102 WITH SCORE 9116.329
AT ITER 7224 NEW BEST:: SOT 79593 SOS 14321 HAS SOPS 14321 HAS SOUS 9090 HAS SOUPS 9090 WITH SCORE 9104.321
AT ITER 7266 NEW BEST:: SOT 79618 SOS 13188 HAS SOPS 13188 HAS SOUS 9076 HAS SOUPS 9076 WITH SCORE 9089.188
AT ITER 7269 NEW BEST:: SOT 79593 SOS 13174 HAS SOPS 13174 HAS SOUS 9050 HAS SOUPS 9050 WITH SCORE 9063.174
AT ITER 7309 NEW BEST:: SOT 79581 SOS 12480 HAS SOPS 12480 HAS SOUS 9016 HAS SOUPS 9016 WITH SCORE 9028.48
AT ITER 7384 NEW BEST:: SOT 79581 SOS 12472 HAS SOPS 12472 HAS SOUS 9008 HAS SOUPS 9008 WITH SCORE 9020.472
AT ITER 7405 NEW BEST:: SOT 79573 SOS 12460 HAS SOPS 12460 HAS SOUS 8996 HAS SOUPS 8996 WITH SCORE 9008.46
AT ITER 7491 NEW BEST:: SOT 79567 SOS 12454 HAS SOPS 12454 HAS SOUS 8990 HAS SOUPS 8990 WITH SCORE 9002.454
AT ITER 7527 NEW BEST:: SOT 79573 SOS 12460 HAS SOPS 12460 HAS SOUS 8985 HAS SOUPS 8985 WITH SCORE 8997.46
AT ITER 7536 NEW BEST:: SOT 79568 SOS 12442 HAS SOPS 12442 HAS SOUS 8967 HAS SOUPS 8967 WITH SCORE 8979.442
AT ITER 7555 NEW BEST:: SOT 79565 SOS 12439 HAS SOPS 12439 HAS SOUS 8964 HAS SOUPS 8964 WITH SCORE 8976.439
AT ITER 7587 NEW BEST:: SOT 79559 SOS 12427 HAS SOPS 12427 HAS SOUS 8958 HAS SOUPS 8958 WITH SCORE 8970.427
AT ITER 7592 NEW BEST:: SOT 79530 SOS 12379 HAS SOPS 12379 HAS SOUS 8887 HAS SOUPS 8887 WITH SCORE 8899.379
AT ITER 7598 NEW BEST:: SOT 79530 SOS 12368 HAS SOPS 12368 HAS SOUS 8887 HAS SOUPS 8887 WITH SCORE 8899.368
AT ITER 7601 NEW BEST:: SOT 79520 SOS 12351 HAS SOPS 12351 HAS SOUS 8870 HAS SOUPS 8870 WITH SCORE 8882.351
AT ITER 7604 NEW BEST:: SOT 79496 SOS 12343 HAS SOPS 12343 HAS SOUS 8849 HAS SOUPS 8849 WITH SCORE 8861.343
AT ITER 7613 NEW BEST:: SOT 79518 SOS 12331 HAS SOPS 12331 HAS SOUS 8848 HAS SOUPS 8848 WITH SCORE 8860.331
AT ITER 7626 NEW BEST:: SOT 79518 SOS 12319 HAS SOPS 12319 HAS SOUS 8836 HAS SOUPS 8836 WITH SCORE 8848.319
AT ITER 7711 NEW BEST:: SOT 79474 SOS 12308 HAS SOPS 12308 HAS SOUS 8825 HAS SOUPS 8825 WITH SCORE 8837.308
AT ITER 7730 NEW BEST:: SOT 79525 SOS 12374 HAS SOPS 12374 HAS SOUS 8821 HAS SOUPS 8821 WITH SCORE 8833.374
AT ITER 7742 NEW BEST:: SOT 79517 SOS 12361 HAS SOPS 12361 HAS SOUS 8804 HAS SOUPS 8804 WITH SCORE 8816.361
AT ITER 7754 NEW BEST:: SOT 79514 SOS 12355 HAS SOPS 12355 HAS SOUS 8798 HAS SOUPS 8798 WITH SCORE 8810.355
AT ITER 7757 NEW BEST:: SOT 79513 SOS 12352 HAS SOPS 12352 HAS SOUS 8795 HAS SOUPS 8795 WITH SCORE 8807.352
AT ITER 7787 NEW BEST:: SOT 79520 SOS 12352 HAS SOPS 12352 HAS SOUS 8791 HAS SOUPS 8791 WITH SCORE 8803.352
AT ITER 7819 NEW BEST:: SOT 79520 SOS 12351 HAS SOPS 12351 HAS SOUS 8790 HAS SOUPS 8790 WITH SCORE 8802.351
AT ITER 7985 NEW BEST:: SOT 79519 SOS 12348 HAS SOPS 12348 HAS SOUS 8789 HAS SOUPS 8789 WITH SCORE 8801.348
AT ITER 8000 NEW BEST:: SOT 79521 SOS 12394 HAS SOPS 12394 HAS SOUS 8788 HAS SOUPS 8788 WITH SCORE 8800.394
AT ITER 8039 NEW BEST:: SOT 79430 SOS 12872 HAS SOPS 12872 HAS SOUS 8728 HAS SOUPS 8728 WITH SCORE 8740.872
AT ITER 8062 NEW BEST:: SOT 79430 SOS 12867 HAS SOPS 12867 HAS SOUS 8725 HAS SOUPS 8725 WITH SCORE 8737.867
AT ITER 8076 NEW BEST:: SOT 79416 SOS 12488 HAS SOPS 12488 HAS SOUS 8684 HAS SOUPS 8684 WITH SCORE 8696.488
AT ITER 8242 NEW BEST:: SOT 79399 SOS 12747 HAS SOPS 12747 HAS SOUS 8655 HAS SOUPS 8655 WITH SCORE 8667.747
AT ITER 8246 NEW BEST:: SOT 79399 SOS 12746 HAS SOPS 12746 HAS SOUS 8654 HAS SOUPS 8654 WITH SCORE 8666.746
AT ITER 8263 NEW BEST:: SOT 79394 SOS 12736 HAS SOPS 12736 HAS SOUS 8648 HAS SOUPS 8648 WITH SCORE 8660.736
AT ITER 8333 NEW BEST:: SOT 79389 SOS 12450 HAS SOPS 12450 HAS SOUS 8633 HAS SOUPS 8633 WITH SCORE 8645.45
AT ITER 8354 NEW BEST:: SOT 79389 SOS 12449 HAS SOPS 12449 HAS SOUS 8632 HAS SOUPS 8632 WITH SCORE 8644.449
AT ITER 8367 NEW BEST:: SOT 79389 SOS 12449 HAS SOPS 12449 HAS SOUS 8628 HAS SOUPS 8628 WITH SCORE 8640.449
AT ITER 8424 NEW BEST:: SOT 79387 SOS 12447 HAS SOPS 12447 HAS SOUS 8626 HAS SOUPS 8626 WITH SCORE 8638.447
AT ITER 8509 NEW BEST:: SOT 79389 SOS 12468 HAS SOPS 12468 HAS SOUS 8621 HAS SOUPS 8621 WITH SCORE 8633.468
AT ITER 8539 NEW BEST:: SOT 79389 SOS 12466 HAS SOPS 12466 HAS SOUS 8619 HAS SOUPS 8619 WITH SCORE 8631.466
AT ITER 8568 NEW BEST:: SOT 79390 SOS 12467 HAS SOPS 12467 HAS SOUS 8617 HAS SOUPS 8617 WITH SCORE 8629.467
AT ITER 8580 NEW BEST:: SOT 79375 SOS 12452 HAS SOPS 12452 HAS SOUS 8602 HAS SOUPS 8602 WITH SCORE 8614.452
AT ITER 8652 NEW BEST:: SOT 79346 SOS 12423 HAS SOPS 12423 HAS SOUS 8576 HAS SOUPS 8576 WITH SCORE 8588.423
AT ITER 8656 NEW BEST:: SOT 79336 SOS 12432 HAS SOPS 12432 HAS SOUS 8565 HAS SOUPS 8565 WITH SCORE 8577.432
AT ITER 8687 NEW BEST:: SOT 79350 SOS 12427 HAS SOPS 12427 HAS SOUS 8560 HAS SOUPS 8560 WITH SCORE 8572.427
AT ITER 8806 NEW BEST:: SOT 79350 SOS 12321 HAS SOPS 12321 HAS SOUS 8559 HAS SOUPS 8559 WITH SCORE 8571.321
AT ITER 8807 NEW BEST:: SOT 79350 SOS 12319 HAS SOPS 12319 HAS SOUS 8557 HAS SOUPS 8557 WITH SCORE 8569.319
AT ITER 8894 NEW BEST:: SOT 79350 SOS 12278 HAS SOPS 12278 HAS SOUS 8516 HAS SOUPS 8516 WITH SCORE 8528.278
AT ITER 9010 NEW BEST:: SOT 79167 SOS 12578 HAS SOPS 12578 HAS SOUS 8387 HAS SOUPS 8387 WITH SCORE 8399.578
AT ITER 9029 NEW BEST:: SOT 79167 SOS 12578 HAS SOPS 12578 HAS SOUS 8359 HAS SOUPS 8359 WITH SCORE 8371.578
AT ITER 9092 NEW BEST:: SOT 79167 SOS 12575 HAS SOPS 12575 HAS SOUS 8356 HAS SOUPS 8356 WITH SCORE 8368.575
AT ITER 9155 NEW BEST:: SOT 79162 SOS 12565 HAS SOPS 12565 HAS SOUS 8346 HAS SOUPS 8346 WITH SCORE 8358.565
AT ITER 9321 NEW BEST:: SOT 79172 SOS 12559 HAS SOPS 12559 HAS SOUS 8340 HAS SOUPS 8340 WITH SCORE 8352.559
AT ITER 9325 NEW BEST:: SOT 79172 SOS 12550 HAS SOPS 12550 HAS SOUS 8340 HAS SOUPS 8340 WITH SCORE 8352.55
AT ITER 9363 NEW BEST:: SOT 79172 SOS 12548 HAS SOPS 12548 HAS SOUS 8338 HAS SOUPS 8338 WITH SCORE 8350.548
AT ITER 9484 NEW BEST:: SOT 79172 SOS 12538 HAS SOPS 12538 HAS SOUS 8333 HAS SOUPS 8333 WITH SCORE 8345.538
AT ITER 9501 NEW BEST:: SOT 79163 SOS 12529 HAS SOPS 12529 HAS SOUS 8315 HAS SOUPS 8315 WITH SCORE 8327.529
AT ITER 9515 NEW BEST:: SOT 79164 SOS 12530 HAS SOPS 12530 HAS SOUS 8303 HAS SOUPS 8303 WITH SCORE 8315.53
AT ITER 9602 NEW BEST:: SOT 79164 SOS 12526 HAS SOPS 12526 HAS SOUS 8299 HAS SOUPS 8299 WITH SCORE 8311.526
AT ITER 9619 NEW BEST:: SOT 79160 SOS 12534 HAS SOPS 12534 HAS SOUS 8295 HAS SOUPS 8295 WITH SCORE 8307.534
AT ITER 9705 NEW BEST:: SOT 79157 SOS 12528 HAS SOPS 12528 HAS SOUS 8289 HAS SOUPS 8289 WITH SCORE 8301.528
AT ITER 9714 NEW BEST:: SOT 79157 SOS 12528 HAS SOPS 12528 HAS SOUS 8286 HAS SOUPS 8286 WITH SCORE 8298.528
AT ITER 9768 NEW BEST:: SOT 79160 SOS 12523 HAS SOPS 12523 HAS SOUS 8286 HAS SOUPS 8286 WITH SCORE 8298.523
AT ITER 9793 NEW BEST:: SOT 79139 SOS 12502 HAS SOPS 12502 HAS SOUS 8277 HAS SOUPS 8277 WITH SCORE 8289.502
AT ITER 9858 NEW BEST:: SOT 79138 SOS 12501 HAS SOPS 12501 HAS SOUS 8275 HAS SOUPS 8275 WITH SCORE 8287.501
AT ITER 9889 NEW BEST:: SOT 79118 SOS 12483 HAS SOPS 12483 HAS SOUS 8256 HAS SOUPS 8256 WITH SCORE 8268.483
AT ITER 9909 NEW BEST:: SOT 79118 SOS 12483 HAS SOPS 12483 HAS SOUS 8249 HAS SOUPS 8249 WITH SCORE 8261.483
AT ITER 9962 NEW BEST:: SOT 79107 SOS 12473 HAS SOPS 12473 HAS SOUS 8218 HAS SOUPS 8218 WITH SCORE 8230.473
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 5296088 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16156584 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="DES-PT-30b"
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 DES-PT-30b, 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 r099-tall-167814472400456"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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