fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r048-ebro-158902542000320
Last Updated
Jun 28, 2020

About the Execution of smart for DES-PT-50b

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15765.500 3600000.00 3600079.00 10.00 [undef] Time out reached

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r048-ebro-158902542000320.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.......................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is DES-PT-50b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542000320
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 288K
-rw-r--r-- 1 mcc users 3.4K Mar 30 01:55 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 30 01:55 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 28 16:20 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 16:20 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.2K Apr 8 14:48 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Apr 8 14:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.0K Mar 27 08:51 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 27 08:51 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 26 08:18 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 26 08:18 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 127K Mar 24 05:37 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 1589110371136

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DES (PT), instance 50b
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 479 places, 430 transitions, 1463 arcs.
AT ITER 0 NEW BEST:: SOT 134430 SOS 32804 HAS SOPS 32804 HAS SOUS 31522 HAS SOUPS 31522 WITH SCORE 31554.804
AT ITER 1 NEW BEST:: SOT 134389 SOS 32803 HAS SOPS 32803 HAS SOUS 31521 HAS SOUPS 31521 WITH SCORE 31553.803
AT ITER 9 NEW BEST:: SOT 134365 SOS 32798 HAS SOPS 32798 HAS SOUS 31516 HAS SOUPS 31516 WITH SCORE 31548.798
AT ITER 39 NEW BEST:: SOT 134358 SOS 32797 HAS SOPS 32797 HAS SOUS 31515 HAS SOUPS 31515 WITH SCORE 31547.797
AT ITER 56 NEW BEST:: SOT 134337 SOS 32779 HAS SOPS 32779 HAS SOUS 31501 HAS SOUPS 31501 WITH SCORE 31533.779
AT ITER 98 NEW BEST:: SOT 134331 SOS 32761 HAS SOPS 32761 HAS SOUS 31483 HAS SOUPS 31483 WITH SCORE 31515.761
AT ITER 140 NEW BEST:: SOT 134260 SOS 32760 HAS SOPS 32760 HAS SOUS 31482 HAS SOUPS 31482 WITH SCORE 31514.76
AT ITER 149 NEW BEST:: SOT 134070 SOS 32792 HAS SOPS 32792 HAS SOUS 31324 HAS SOUPS 31324 WITH SCORE 31356.792
AT ITER 175 NEW BEST:: SOT 134070 SOS 32792 HAS SOPS 32792 HAS SOUS 31323 HAS SOUPS 31323 WITH SCORE 31355.792
AT ITER 249 NEW BEST:: SOT 134051 SOS 32783 HAS SOPS 32783 HAS SOUS 31304 HAS SOUPS 31304 WITH SCORE 31336.783
AT ITER 310 NEW BEST:: SOT 133782 SOS 39956 HAS SOPS 39956 HAS SOUS 31266 HAS SOUPS 31266 WITH SCORE 31305.956
AT ITER 312 NEW BEST:: SOT 133782 SOS 39955 HAS SOPS 39955 HAS SOUS 31265 HAS SOUPS 31265 WITH SCORE 31304.955
AT ITER 323 NEW BEST:: SOT 131916 SOS 38310 HAS SOPS 38310 HAS SOUS 29435 HAS SOUPS 29435 WITH SCORE 29473.31
AT ITER 327 NEW BEST:: SOT 131912 SOS 38306 HAS SOPS 38306 HAS SOUS 29431 HAS SOUPS 29431 WITH SCORE 29469.306
AT ITER 331 NEW BEST:: SOT 131889 SOS 38304 HAS SOPS 38304 HAS SOUS 29429 HAS SOUPS 29429 WITH SCORE 29467.304
AT ITER 373 NEW BEST:: SOT 131841 SOS 38302 HAS SOPS 38302 HAS SOUS 29409 HAS SOUPS 29409 WITH SCORE 29447.302
AT ITER 383 NEW BEST:: SOT 131747 SOS 38207 HAS SOPS 38207 HAS SOUS 29314 HAS SOUPS 29314 WITH SCORE 29352.207
AT ITER 386 NEW BEST:: SOT 131747 SOS 38206 HAS SOPS 38206 HAS SOUS 29313 HAS SOUPS 29313 WITH SCORE 29351.206
AT ITER 409 NEW BEST:: SOT 131741 SOS 38188 HAS SOPS 38188 HAS SOUS 29295 HAS SOUPS 29295 WITH SCORE 29333.188
AT ITER 456 NEW BEST:: SOT 131719 SOS 38187 HAS SOPS 38187 HAS SOUS 29294 HAS SOUPS 29294 WITH SCORE 29332.187
AT ITER 457 NEW BEST:: SOT 131573 SOS 38040 HAS SOPS 38040 HAS SOUS 29240 HAS SOUPS 29240 WITH SCORE 29278.04
AT ITER 504 NEW BEST:: SOT 131573 SOS 38038 HAS SOPS 38038 HAS SOUS 29239 HAS SOUPS 29239 WITH SCORE 29277.038
AT ITER 519 NEW BEST:: SOT 130439 SOS 36903 HAS SOPS 36903 HAS SOUS 28104 HAS SOUPS 28104 WITH SCORE 28140.903
AT ITER 581 NEW BEST:: SOT 130439 SOS 34816 HAS SOPS 34816 HAS SOUS 28062 HAS SOUPS 28062 WITH SCORE 28096.816
AT ITER 629 NEW BEST:: SOT 130445 SOS 34848 HAS SOPS 34848 HAS SOUS 28054 HAS SOUPS 28054 WITH SCORE 28088.848
AT ITER 632 NEW BEST:: SOT 130354 SOS 34773 HAS SOPS 34773 HAS SOUS 27979 HAS SOUPS 27979 WITH SCORE 28013.773
AT ITER 634 NEW BEST:: SOT 130336 SOS 34756 HAS SOPS 34756 HAS SOUS 27955 HAS SOUPS 27955 WITH SCORE 27989.756
AT ITER 659 NEW BEST:: SOT 130330 SOS 34767 HAS SOPS 34767 HAS SOUS 27951 HAS SOUPS 27951 WITH SCORE 27985.767
AT ITER 669 NEW BEST:: SOT 130330 SOS 34767 HAS SOPS 34767 HAS SOUS 27950 HAS SOUPS 27950 WITH SCORE 27984.767
AT ITER 671 NEW BEST:: SOT 130137 SOS 34628 HAS SOPS 34628 HAS SOUS 27810 HAS SOUPS 27810 WITH SCORE 27844.628
AT ITER 673 NEW BEST:: SOT 130115 SOS 34616 HAS SOPS 34616 HAS SOUS 27798 HAS SOUPS 27798 WITH SCORE 27832.616
AT ITER 735 NEW BEST:: SOT 130114 SOS 34606 HAS SOPS 34606 HAS SOUS 27796 HAS SOUPS 27796 WITH SCORE 27830.606
AT ITER 790 NEW BEST:: SOT 130114 SOS 34605 HAS SOPS 34605 HAS SOUS 27795 HAS SOUPS 27795 WITH SCORE 27829.605
AT ITER 830 NEW BEST:: SOT 130114 SOS 34604 HAS SOPS 34604 HAS SOUS 27794 HAS SOUPS 27794 WITH SCORE 27828.604
AT ITER 833 NEW BEST:: SOT 129137 SOS 43311 HAS SOPS 43311 HAS SOUS 27197 HAS SOUPS 27197 WITH SCORE 27240.311
AT ITER 848 NEW BEST:: SOT 129080 SOS 43281 HAS SOPS 43281 HAS SOUS 27167 HAS SOUPS 27167 WITH SCORE 27210.281
AT ITER 851 NEW BEST:: SOT 129079 SOS 43279 HAS SOPS 43279 HAS SOUS 27166 HAS SOUPS 27166 WITH SCORE 27209.279
AT ITER 855 NEW BEST:: SOT 129062 SOS 43313 HAS SOPS 43313 HAS SOUS 27123 HAS SOUPS 27123 WITH SCORE 27166.313
AT ITER 857 NEW BEST:: SOT 126415 SOS 44086 HAS SOPS 44086 HAS SOUS 24430 HAS SOUPS 24430 WITH SCORE 24474.086
AT ITER 907 NEW BEST:: SOT 126390 SOS 44061 HAS SOPS 44061 HAS SOUS 24424 HAS SOUPS 24424 WITH SCORE 24468.061
AT ITER 947 NEW BEST:: SOT 124706 SOS 42376 HAS SOPS 42376 HAS SOUS 22739 HAS SOUPS 22739 WITH SCORE 22781.376
AT ITER 957 NEW BEST:: SOT 124692 SOS 42339 HAS SOPS 42339 HAS SOUS 22737 HAS SOUPS 22737 WITH SCORE 22779.339
AT ITER 966 NEW BEST:: SOT 124692 SOS 42337 HAS SOPS 42337 HAS SOUS 22735 HAS SOUPS 22735 WITH SCORE 22777.337
AT ITER 993 NEW BEST:: SOT 124687 SOS 42326 HAS SOPS 42326 HAS SOUS 22734 HAS SOUPS 22734 WITH SCORE 22776.326
AT ITER 994 NEW BEST:: SOT 124687 SOS 42300 HAS SOPS 42300 HAS SOUS 22734 HAS SOUPS 22734 WITH SCORE 22776.3
AT ITER 1048 NEW BEST:: SOT 124574 SOS 42796 HAS SOPS 42796 HAS SOUS 22723 HAS SOUPS 22723 WITH SCORE 22765.796
AT ITER 1066 NEW BEST:: SOT 124010 SOS 42650 HAS SOPS 42650 HAS SOUS 22213 HAS SOUPS 22213 WITH SCORE 22255.65
AT ITER 1078 NEW BEST:: SOT 123992 SOS 42630 HAS SOPS 42630 HAS SOUS 22193 HAS SOUPS 22193 WITH SCORE 22235.63
AT ITER 1084 NEW BEST:: SOT 120045 SOS 42015 HAS SOPS 42015 HAS SOUS 18256 HAS SOUPS 18256 WITH SCORE 18298.015
AT ITER 1121 NEW BEST:: SOT 120039 SOS 42003 HAS SOPS 42003 HAS SOUS 18244 HAS SOUPS 18244 WITH SCORE 18286.003
AT ITER 1135 NEW BEST:: SOT 119211 SOS 41179 HAS SOPS 41179 HAS SOUS 17420 HAS SOUPS 17420 WITH SCORE 17461.179
AT ITER 1136 NEW BEST:: SOT 119212 SOS 41178 HAS SOPS 41178 HAS SOUS 17419 HAS SOUPS 17419 WITH SCORE 17460.178
AT ITER 1170 NEW BEST:: SOT 119212 SOS 41167 HAS SOPS 41167 HAS SOUS 17408 HAS SOUPS 17408 WITH SCORE 17449.167
AT ITER 1172 NEW BEST:: SOT 119212 SOS 41178 HAS SOPS 41178 HAS SOUS 17407 HAS SOUPS 17407 WITH SCORE 17448.178
AT ITER 1210 NEW BEST:: SOT 119176 SOS 41160 HAS SOPS 41160 HAS SOUS 17389 HAS SOUPS 17389 WITH SCORE 17430.16
AT ITER 1228 NEW BEST:: SOT 119163 SOS 41152 HAS SOPS 41152 HAS SOUS 17381 HAS SOUPS 17381 WITH SCORE 17422.152
AT ITER 1252 NEW BEST:: SOT 119013 SOS 41001 HAS SOPS 41001 HAS SOUS 17312 HAS SOUPS 17312 WITH SCORE 17353.001
AT ITER 1270 NEW BEST:: SOT 118957 SOS 40945 HAS SOPS 40945 HAS SOUS 17200 HAS SOUPS 17200 WITH SCORE 17240.945
AT ITER 1287 NEW BEST:: SOT 118957 SOS 33838 HAS SOPS 33838 HAS SOUS 17203 HAS SOUPS 17203 WITH SCORE 17236.838
AT ITER 1326 NEW BEST:: SOT 118864 SOS 33745 HAS SOPS 33745 HAS SOUS 17109 HAS SOUPS 17109 WITH SCORE 17142.745
AT ITER 1336 NEW BEST:: SOT 118800 SOS 33663 HAS SOPS 33663 HAS SOUS 17045 HAS SOUPS 17045 WITH SCORE 17078.663
AT ITER 1340 NEW BEST:: SOT 118778 SOS 33650 HAS SOPS 33650 HAS SOUS 17006 HAS SOUPS 17006 WITH SCORE 17039.65
AT ITER 1368 NEW BEST:: SOT 118720 SOS 33687 HAS SOPS 33687 HAS SOUS 16979 HAS SOUPS 16979 WITH SCORE 17012.687
AT ITER 1389 NEW BEST:: SOT 118705 SOS 33674 HAS SOPS 33674 HAS SOUS 16949 HAS SOUPS 16949 WITH SCORE 16982.674
AT ITER 1396 NEW BEST:: SOT 117290 SOS 43683 HAS SOPS 43683 HAS SOUS 16043 HAS SOUPS 16043 WITH SCORE 16086.683
AT ITER 1474 NEW BEST:: SOT 117242 SOS 43669 HAS SOPS 43669 HAS SOUS 16030 HAS SOUPS 16030 WITH SCORE 16073.669
AT ITER 1479 NEW BEST:: SOT 117241 SOS 43668 HAS SOPS 43668 HAS SOUS 16028 HAS SOUPS 16028 WITH SCORE 16071.668
AT ITER 1501 NEW BEST:: SOT 117242 SOS 43669 HAS SOPS 43669 HAS SOUS 16027 HAS SOUPS 16027 WITH SCORE 16070.669
AT ITER 1576 NEW BEST:: SOT 117171 SOS 35620 HAS SOPS 35620 HAS SOUS 15913 HAS SOUPS 15913 WITH SCORE 15948.62
AT ITER 1589 NEW BEST:: SOT 117152 SOS 35616 HAS SOPS 35616 HAS SOUS 15913 HAS SOUPS 15913 WITH SCORE 15948.616
AT ITER 1598 NEW BEST:: SOT 117151 SOS 35615 HAS SOPS 35615 HAS SOUS 15912 HAS SOUPS 15912 WITH SCORE 15947.615
AT ITER 1613 NEW BEST:: SOT 117140 SOS 35580 HAS SOPS 35580 HAS SOUS 15877 HAS SOUPS 15877 WITH SCORE 15912.58
AT ITER 1642 NEW BEST:: SOT 117107 SOS 35580 HAS SOPS 35580 HAS SOUS 15844 HAS SOUPS 15844 WITH SCORE 15879.58
AT ITER 1662 NEW BEST:: SOT 116454 SOS 42713 HAS SOPS 42713 HAS SOUS 15554 HAS SOUPS 15554 WITH SCORE 15596.713
AT ITER 1669 NEW BEST:: SOT 116454 SOS 42713 HAS SOPS 42713 HAS SOUS 15551 HAS SOUPS 15551 WITH SCORE 15593.713
AT ITER 1715 NEW BEST:: SOT 116435 SOS 43621 HAS SOPS 43621 HAS SOUS 15547 HAS SOUPS 15547 WITH SCORE 15590.621
AT ITER 1746 NEW BEST:: SOT 116432 SOS 43615 HAS SOPS 43615 HAS SOUS 15544 HAS SOUPS 15544 WITH SCORE 15587.615
AT ITER 1761 NEW BEST:: SOT 116387 SOS 43695 HAS SOPS 43695 HAS SOUS 15454 HAS SOUPS 15454 WITH SCORE 15497.695
AT ITER 1799 NEW BEST:: SOT 116386 SOS 43694 HAS SOPS 43694 HAS SOUS 15452 HAS SOUPS 15452 WITH SCORE 15495.694
AT ITER 1841 NEW BEST:: SOT 116385 SOS 43693 HAS SOPS 43693 HAS SOUS 15450 HAS SOUPS 15450 WITH SCORE 15493.693
AT ITER 1844 NEW BEST:: SOT 116375 SOS 43699 HAS SOPS 43699 HAS SOUS 15447 HAS SOUPS 15447 WITH SCORE 15490.699
AT ITER 1869 NEW BEST:: SOT 116344 SOS 43668 HAS SOPS 43668 HAS SOUS 15416 HAS SOUPS 15416 WITH SCORE 15459.668
AT ITER 1872 NEW BEST:: SOT 116342 SOS 43666 HAS SOPS 43666 HAS SOUS 15412 HAS SOUPS 15412 WITH SCORE 15455.666
AT ITER 1878 NEW BEST:: SOT 116247 SOS 36020 HAS SOPS 36020 HAS SOUS 15248 HAS SOUPS 15248 WITH SCORE 15284.02
AT ITER 1889 NEW BEST:: SOT 116245 SOS 36014 HAS SOPS 36014 HAS SOUS 15244 HAS SOUPS 15244 WITH SCORE 15280.014
AT ITER 1925 NEW BEST:: SOT 116173 SOS 35942 HAS SOPS 35942 HAS SOUS 15119 HAS SOUPS 15119 WITH SCORE 15154.942
AT ITER 1968 NEW BEST:: SOT 116178 SOS 35941 HAS SOPS 35941 HAS SOUS 15118 HAS SOUPS 15118 WITH SCORE 15153.941
AT ITER 1983 NEW BEST:: SOT 116178 SOS 35940 HAS SOPS 35940 HAS SOUS 15117 HAS SOUPS 15117 WITH SCORE 15152.94
AT ITER 2001 NEW BEST:: SOT 116176 SOS 35938 HAS SOPS 35938 HAS SOUS 15113 HAS SOUPS 15113 WITH SCORE 15148.938
AT ITER 2059 NEW BEST:: SOT 116176 SOS 35938 HAS SOPS 35938 HAS SOUS 15089 HAS SOUPS 15089 WITH SCORE 15124.938
AT ITER 2090 NEW BEST:: SOT 116126 SOS 35947 HAS SOPS 35947 HAS SOUS 15019 HAS SOUPS 15019 WITH SCORE 15054.947
AT ITER 2094 NEW BEST:: SOT 116082 SOS 35837 HAS SOPS 35837 HAS SOUS 14958 HAS SOUPS 14958 WITH SCORE 14993.837
AT ITER 2096 NEW BEST:: SOT 116076 SOS 35825 HAS SOPS 35825 HAS SOUS 14951 HAS SOUPS 14951 WITH SCORE 14986.825
AT ITER 2108 NEW BEST:: SOT 116076 SOS 36365 HAS SOPS 36365 HAS SOUS 14942 HAS SOUPS 14942 WITH SCORE 14978.365
AT ITER 2180 NEW BEST:: SOT 116049 SOS 36338 HAS SOPS 36338 HAS SOUS 14852 HAS SOUPS 14852 WITH SCORE 14888.338
AT ITER 2240 NEW BEST:: SOT 116019 SOS 36308 HAS SOPS 36308 HAS SOUS 14792 HAS SOUPS 14792 WITH SCORE 14828.308
AT ITER 2287 NEW BEST:: SOT 116018 SOS 36307 HAS SOPS 36307 HAS SOUS 14790 HAS SOUPS 14790 WITH SCORE 14826.307
AT ITER 2307 NEW BEST:: SOT 116017 SOS 36306 HAS SOPS 36306 HAS SOUS 14788 HAS SOUPS 14788 WITH SCORE 14824.306
AT ITER 2313 NEW BEST:: SOT 116016 SOS 36305 HAS SOPS 36305 HAS SOUS 14786 HAS SOUPS 14786 WITH SCORE 14822.305
AT ITER 2325 NEW BEST:: SOT 115989 SOS 36278 HAS SOPS 36278 HAS SOUS 14738 HAS SOUPS 14738 WITH SCORE 14774.278
AT ITER 2332 NEW BEST:: SOT 115988 SOS 36277 HAS SOPS 36277 HAS SOUS 14736 HAS SOUPS 14736 WITH SCORE 14772.277
AT ITER 2350 NEW BEST:: SOT 115988 SOS 36277 HAS SOPS 36277 HAS SOUS 14712 HAS SOUPS 14712 WITH SCORE 14748.277
AT ITER 2352 NEW BEST:: SOT 115985 SOS 36274 HAS SOPS 36274 HAS SOUS 14706 HAS SOUPS 14706 WITH SCORE 14742.274
AT ITER 2385 NEW BEST:: SOT 115981 SOS 36116 HAS SOPS 36116 HAS SOUS 14698 HAS SOUPS 14698 WITH SCORE 14734.116
AT ITER 2400 NEW BEST:: SOT 115981 SOS 36083 HAS SOPS 36083 HAS SOUS 14679 HAS SOUPS 14679 WITH SCORE 14715.083
AT ITER 2426 NEW BEST:: SOT 115977 SOS 36079 HAS SOPS 36079 HAS SOUS 14671 HAS SOUPS 14671 WITH SCORE 14707.079
AT ITER 2427 NEW BEST:: SOT 115977 SOS 36084 HAS SOPS 36084 HAS SOUS 14665 HAS SOUPS 14665 WITH SCORE 14701.084
AT ITER 2452 NEW BEST:: SOT 115966 SOS 36073 HAS SOPS 36073 HAS SOUS 14643 HAS SOUPS 14643 WITH SCORE 14679.073
AT ITER 2472 NEW BEST:: SOT 115961 SOS 36068 HAS SOPS 36068 HAS SOUS 14633 HAS SOUPS 14633 WITH SCORE 14669.068
AT ITER 2496 NEW BEST:: SOT 115925 SOS 36031 HAS SOPS 36031 HAS SOUS 14596 HAS SOUPS 14596 WITH SCORE 14632.031
AT ITER 2515 NEW BEST:: SOT 115914 SOS 36020 HAS SOPS 36020 HAS SOUS 14574 HAS SOUPS 14574 WITH SCORE 14610.02
AT ITER 2532 NEW BEST:: SOT 115854 SOS 35960 HAS SOPS 35960 HAS SOUS 14514 HAS SOUPS 14514 WITH SCORE 14549.96
AT ITER 2538 NEW BEST:: SOT 115845 SOS 35951 HAS SOPS 35951 HAS SOUS 14451 HAS SOUPS 14451 WITH SCORE 14486.951
AT ITER 2572 NEW BEST:: SOT 115813 SOS 35914 HAS SOPS 35914 HAS SOUS 14414 HAS SOUPS 14414 WITH SCORE 14449.914
AT ITER 2580 NEW BEST:: SOT 115812 SOS 35931 HAS SOPS 35931 HAS SOUS 14357 HAS SOUPS 14357 WITH SCORE 14392.931
AT ITER 2586 NEW BEST:: SOT 115811 SOS 35930 HAS SOPS 35930 HAS SOUS 14355 HAS SOUPS 14355 WITH SCORE 14390.93
AT ITER 2650 NEW BEST:: SOT 115723 SOS 35842 HAS SOPS 35842 HAS SOUS 14179 HAS SOUPS 14179 WITH SCORE 14214.842
AT ITER 2668 NEW BEST:: SOT 115704 SOS 35821 HAS SOPS 35821 HAS SOUS 14158 HAS SOUPS 14158 WITH SCORE 14193.821
AT ITER 2737 NEW BEST:: SOT 115699 SOS 35821 HAS SOPS 35821 HAS SOUS 14153 HAS SOUPS 14153 WITH SCORE 14188.821
AT ITER 2763 NEW BEST:: SOT 115699 SOS 35817 HAS SOPS 35817 HAS SOUS 14153 HAS SOUPS 14153 WITH SCORE 14188.817
AT ITER 2794 NEW BEST:: SOT 115645 SOS 35763 HAS SOPS 35763 HAS SOUS 14032 HAS SOUPS 14032 WITH SCORE 14067.763
AT ITER 2799 NEW BEST:: SOT 115630 SOS 35746 HAS SOPS 35746 HAS SOUS 14015 HAS SOUPS 14015 WITH SCORE 14050.746
AT ITER 2804 NEW BEST:: SOT 115620 SOS 35736 HAS SOPS 35736 HAS SOUS 14005 HAS SOUPS 14005 WITH SCORE 14040.736
AT ITER 2821 NEW BEST:: SOT 115608 SOS 35724 HAS SOPS 35724 HAS SOUS 13981 HAS SOUPS 13981 WITH SCORE 14016.724
AT ITER 2872 NEW BEST:: SOT 115606 SOS 35664 HAS SOPS 35664 HAS SOUS 13965 HAS SOUPS 13965 WITH SCORE 14000.664
AT ITER 2888 NEW BEST:: SOT 115583 SOS 35662 HAS SOPS 35662 HAS SOUS 13963 HAS SOUPS 13963 WITH SCORE 13998.662
AT ITER 2949 NEW BEST:: SOT 115571 SOS 35655 HAS SOPS 35655 HAS SOUS 13956 HAS SOUPS 13956 WITH SCORE 13991.655
AT ITER 2963 NEW BEST:: SOT 115559 SOS 35465 HAS SOPS 35465 HAS SOUS 13882 HAS SOUPS 13882 WITH SCORE 13917.465
AT ITER 2992 NEW BEST:: SOT 115556 SOS 35462 HAS SOPS 35462 HAS SOUS 13876 HAS SOUPS 13876 WITH SCORE 13911.462
AT ITER 3000 NEW BEST:: SOT 115551 SOS 35457 HAS SOPS 35457 HAS SOUS 13866 HAS SOUPS 13866 WITH SCORE 13901.457
AT ITER 3004 NEW BEST:: SOT 115549 SOS 35455 HAS SOPS 35455 HAS SOUS 13862 HAS SOUPS 13862 WITH SCORE 13897.455
AT ITER 3027 NEW BEST:: SOT 115537 SOS 35437 HAS SOPS 35437 HAS SOUS 13844 HAS SOUPS 13844 WITH SCORE 13879.437
AT ITER 3072 NEW BEST:: SOT 115456 SOS 35356 HAS SOPS 35356 HAS SOUS 13763 HAS SOUPS 13763 WITH SCORE 13798.356
AT ITER 3138 NEW BEST:: SOT 115453 SOS 35353 HAS SOPS 35353 HAS SOUS 13757 HAS SOUPS 13757 WITH SCORE 13792.353
AT ITER 3159 NEW BEST:: SOT 115442 SOS 35342 HAS SOPS 35342 HAS SOUS 13735 HAS SOUPS 13735 WITH SCORE 13770.342
AT ITER 3165 NEW BEST:: SOT 115432 SOS 35332 HAS SOPS 35332 HAS SOUS 13715 HAS SOUPS 13715 WITH SCORE 13750.332
AT ITER 3180 NEW BEST:: SOT 115431 SOS 35331 HAS SOPS 35331 HAS SOUS 13713 HAS SOUPS 13713 WITH SCORE 13748.331
AT ITER 3217 NEW BEST:: SOT 115430 SOS 35330 HAS SOPS 35330 HAS SOUS 13711 HAS SOUPS 13711 WITH SCORE 13746.33
AT ITER 3224 NEW BEST:: SOT 115400 SOS 35268 HAS SOPS 35268 HAS SOUS 13649 HAS SOUPS 13649 WITH SCORE 13684.268
AT ITER 3242 NEW BEST:: SOT 115386 SOS 35254 HAS SOPS 35254 HAS SOUS 13621 HAS SOUPS 13621 WITH SCORE 13656.254
AT ITER 3274 NEW BEST:: SOT 115368 SOS 35236 HAS SOPS 35236 HAS SOUS 13585 HAS SOUPS 13585 WITH SCORE 13620.236
AT ITER 3280 NEW BEST:: SOT 115362 SOS 35218 HAS SOPS 35218 HAS SOUS 13567 HAS SOUPS 13567 WITH SCORE 13602.218
AT ITER 3297 NEW BEST:: SOT 115360 SOS 35216 HAS SOPS 35216 HAS SOUS 13563 HAS SOUPS 13563 WITH SCORE 13598.216
AT ITER 3345 NEW BEST:: SOT 115359 SOS 35215 HAS SOPS 35215 HAS SOUS 13561 HAS SOUPS 13561 WITH SCORE 13596.215
AT ITER 3364 NEW BEST:: SOT 115358 SOS 35214 HAS SOPS 35214 HAS SOUS 13559 HAS SOUPS 13559 WITH SCORE 13594.214
AT ITER 3387 NEW BEST:: SOT 115357 SOS 35213 HAS SOPS 35213 HAS SOUS 13557 HAS SOUPS 13557 WITH SCORE 13592.213
AT ITER 3388 NEW BEST:: SOT 115350 SOS 35202 HAS SOPS 35202 HAS SOUS 13545 HAS SOUPS 13545 WITH SCORE 13580.202
AT ITER 3422 NEW BEST:: SOT 115341 SOS 35198 HAS SOPS 35198 HAS SOUS 13532 HAS SOUPS 13532 WITH SCORE 13567.198
AT ITER 3452 NEW BEST:: SOT 115337 SOS 35194 HAS SOPS 35194 HAS SOUS 13524 HAS SOUPS 13524 WITH SCORE 13559.194
AT ITER 3471 NEW BEST:: SOT 115337 SOS 35088 HAS SOPS 35088 HAS SOUS 13522 HAS SOUPS 13522 WITH SCORE 13557.088
AT ITER 3545 NEW BEST:: SOT 115337 SOS 35088 HAS SOPS 35088 HAS SOUS 13516 HAS SOUPS 13516 WITH SCORE 13551.088
AT ITER 3673 NEW BEST:: SOT 115322 SOS 35073 HAS SOPS 35073 HAS SOUS 13501 HAS SOUPS 13501 WITH SCORE 13536.073
AT ITER 3687 NEW BEST:: SOT 115279 SOS 35030 HAS SOPS 35030 HAS SOUS 13415 HAS SOUPS 13415 WITH SCORE 13450.03
AT ITER 3708 NEW BEST:: SOT 115279 SOS 35030 HAS SOPS 35030 HAS SOUS 13412 HAS SOUPS 13412 WITH SCORE 13447.03
AT ITER 3746 NEW BEST:: SOT 115244 SOS 34995 HAS SOPS 34995 HAS SOUS 13342 HAS SOUPS 13342 WITH SCORE 13376.995
AT ITER 3757 NEW BEST:: SOT 115232 SOS 34983 HAS SOPS 34983 HAS SOUS 13318 HAS SOUPS 13318 WITH SCORE 13352.983
AT ITER 3770 NEW BEST:: SOT 115188 SOS 34939 HAS SOPS 34939 HAS SOUS 13230 HAS SOUPS 13230 WITH SCORE 13264.939
AT ITER 3836 NEW BEST:: SOT 115184 SOS 34917 HAS SOPS 34917 HAS SOUS 13208 HAS SOUPS 13208 WITH SCORE 13242.917
AT ITER 3853 NEW BEST:: SOT 115183 SOS 34916 HAS SOPS 34916 HAS SOUS 13206 HAS SOUPS 13206 WITH SCORE 13240.916
AT ITER 3935 NEW BEST:: SOT 115183 SOS 34898 HAS SOPS 34898 HAS SOUS 13188 HAS SOUPS 13188 WITH SCORE 13222.898
AT ITER 3957 NEW BEST:: SOT 115171 SOS 34868 HAS SOPS 34868 HAS SOUS 13158 HAS SOUPS 13158 WITH SCORE 13192.868
AT ITER 3993 NEW BEST:: SOT 115177 SOS 34876 HAS SOPS 34876 HAS SOUS 13116 HAS SOUPS 13116 WITH SCORE 13150.876
AT ITER 4018 NEW BEST:: SOT 115177 SOS 34866 HAS SOPS 34866 HAS SOUS 13116 HAS SOUPS 13116 WITH SCORE 13150.866
AT ITER 4073 NEW BEST:: SOT 115175 SOS 34864 HAS SOPS 34864 HAS SOUS 13112 HAS SOUPS 13112 WITH SCORE 13146.864
AT ITER 4127 NEW BEST:: SOT 115146 SOS 34835 HAS SOPS 34835 HAS SOUS 13054 HAS SOUPS 13054 WITH SCORE 13088.835
AT ITER 4148 NEW BEST:: SOT 115145 SOS 34833 HAS SOPS 34833 HAS SOUS 13052 HAS SOUPS 13052 WITH SCORE 13086.833
AT ITER 4214 NEW BEST:: SOT 115124 SOS 34811 HAS SOPS 34811 HAS SOUS 13030 HAS SOUPS 13030 WITH SCORE 13064.811
AT ITER 4240 NEW BEST:: SOT 115113 SOS 34800 HAS SOPS 34800 HAS SOUS 13008 HAS SOUPS 13008 WITH SCORE 13042.8
AT ITER 4299 NEW BEST:: SOT 115071 SOS 34600 HAS SOPS 34600 HAS SOUS 12908 HAS SOUPS 12908 WITH SCORE 12942.6
AT ITER 4320 NEW BEST:: SOT 115045 SOS 34574 HAS SOPS 34574 HAS SOUS 12856 HAS SOUPS 12856 WITH SCORE 12890.574
AT ITER 4349 NEW BEST:: SOT 115019 SOS 34548 HAS SOPS 34548 HAS SOUS 12804 HAS SOUPS 12804 WITH SCORE 12838.548
AT ITER 4361 NEW BEST:: SOT 115018 SOS 34547 HAS SOPS 34547 HAS SOUS 12802 HAS SOUPS 12802 WITH SCORE 12836.547
AT ITER 4368 NEW BEST:: SOT 115036 SOS 34589 HAS SOPS 34589 HAS SOUS 12789 HAS SOUPS 12789 WITH SCORE 12823.589
AT ITER 4460 NEW BEST:: SOT 115035 SOS 34572 HAS SOPS 34572 HAS SOUS 12784 HAS SOUPS 12784 WITH SCORE 12818.572
AT ITER 4461 NEW BEST:: SOT 115013 SOS 34573 HAS SOPS 34573 HAS SOUS 12783 HAS SOUPS 12783 WITH SCORE 12817.573
AT ITER 4467 NEW BEST:: SOT 115009 SOS 34564 HAS SOPS 34564 HAS SOUS 12775 HAS SOUPS 12775 WITH SCORE 12809.564
AT ITER 4482 NEW BEST:: SOT 114994 SOS 34549 HAS SOPS 34549 HAS SOUS 12745 HAS SOUPS 12745 WITH SCORE 12779.549
AT ITER 4517 NEW BEST:: SOT 114988 SOS 34544 HAS SOPS 34544 HAS SOUS 12740 HAS SOUPS 12740 WITH SCORE 12774.544
AT ITER 4604 NEW BEST:: SOT 114986 SOS 34542 HAS SOPS 34542 HAS SOUS 12736 HAS SOUPS 12736 WITH SCORE 12770.542
AT ITER 4616 NEW BEST:: SOT 114985 SOS 34512 HAS SOPS 34512 HAS SOUS 12734 HAS SOUPS 12734 WITH SCORE 12768.512
AT ITER 4693 NEW BEST:: SOT 114985 SOS 34509 HAS SOPS 34509 HAS SOUS 12729 HAS SOUPS 12729 WITH SCORE 12763.509
AT ITER 4730 NEW BEST:: SOT 114975 SOS 34489 HAS SOPS 34489 HAS SOUS 12715 HAS SOUPS 12715 WITH SCORE 12749.489
AT ITER 4736 NEW BEST:: SOT 114963 SOS 34477 HAS SOPS 34477 HAS SOUS 12697 HAS SOUPS 12697 WITH SCORE 12731.477
AT ITER 4772 NEW BEST:: SOT 114970 SOS 34436 HAS SOPS 34436 HAS SOUS 12688 HAS SOUPS 12688 WITH SCORE 12722.436
AT ITER 4811 NEW BEST:: SOT 114945 SOS 34388 HAS SOPS 34388 HAS SOUS 12640 HAS SOUPS 12640 WITH SCORE 12674.388
AT ITER 4844 NEW BEST:: SOT 114963 SOS 34380 HAS SOPS 34380 HAS SOUS 12614 HAS SOUPS 12614 WITH SCORE 12648.38
AT ITER 4873 NEW BEST:: SOT 114870 SOS 34307 HAS SOPS 34307 HAS SOUS 12529 HAS SOUPS 12529 WITH SCORE 12563.307
AT ITER 4982 NEW BEST:: SOT 114870 SOS 34304 HAS SOPS 34304 HAS SOUS 12526 HAS SOUPS 12526 WITH SCORE 12560.304
AT ITER 4992 NEW BEST:: SOT 114856 SOS 34290 HAS SOPS 34290 HAS SOUS 12498 HAS SOUPS 12498 WITH SCORE 12532.29
AT ITER 5015 NEW BEST:: SOT 114845 SOS 34252 HAS SOPS 34252 HAS SOUS 12471 HAS SOUPS 12471 WITH SCORE 12505.252
AT ITER 5066 NEW BEST:: SOT 114815 SOS 34215 HAS SOPS 34215 HAS SOUS 12416 HAS SOUPS 12416 WITH SCORE 12450.215
AT ITER 5114 NEW BEST:: SOT 114800 SOS 34200 HAS SOPS 34200 HAS SOUS 12386 HAS SOUPS 12386 WITH SCORE 12420.2
AT ITER 5195 NEW BEST:: SOT 114795 SOS 34183 HAS SOPS 34183 HAS SOUS 12369 HAS SOUPS 12369 WITH SCORE 12403.183
AT ITER 5227 NEW BEST:: SOT 114795 SOS 34137 HAS SOPS 34137 HAS SOUS 12353 HAS SOUPS 12353 WITH SCORE 12387.137
AT ITER 5229 NEW BEST:: SOT 114735 SOS 34068 HAS SOPS 34068 HAS SOUS 12344 HAS SOUPS 12344 WITH SCORE 12378.068
AT ITER 5243 NEW BEST:: SOT 114727 SOS 34018 HAS SOPS 34018 HAS SOUS 12344 HAS SOUPS 12344 WITH SCORE 12378.018
AT ITER 5264 NEW BEST:: SOT 114716 SOS 34007 HAS SOPS 34007 HAS SOUS 12322 HAS SOUPS 12322 WITH SCORE 12356.007
AT ITER 5269 NEW BEST:: SOT 114716 SOS 33991 HAS SOPS 33991 HAS SOUS 12322 HAS SOUPS 12322 WITH SCORE 12355.991
AT ITER 5285 NEW BEST:: SOT 114701 SOS 33955 HAS SOPS 33955 HAS SOUS 12303 HAS SOUPS 12303 WITH SCORE 12336.955
AT ITER 5382 NEW BEST:: SOT 114698 SOS 33950 HAS SOPS 33950 HAS SOUS 12299 HAS SOUPS 12299 WITH SCORE 12332.95
AT ITER 5388 NEW BEST:: SOT 114684 SOS 33936 HAS SOPS 33936 HAS SOUS 12271 HAS SOUPS 12271 WITH SCORE 12304.936
AT ITER 5450 NEW BEST:: SOT 114664 SOS 33916 HAS SOPS 33916 HAS SOUS 12231 HAS SOUPS 12231 WITH SCORE 12264.916
AT ITER 5470 NEW BEST:: SOT 114653 SOS 33905 HAS SOPS 33905 HAS SOUS 12209 HAS SOUPS 12209 WITH SCORE 12242.905
AT ITER 5567 NEW BEST:: SOT 114648 SOS 33900 HAS SOPS 33900 HAS SOUS 12199 HAS SOUPS 12199 WITH SCORE 12232.9
AT ITER 5576 NEW BEST:: SOT 114635 SOS 33887 HAS SOPS 33887 HAS SOUS 12173 HAS SOUPS 12173 WITH SCORE 12206.887
AT ITER 5645 NEW BEST:: SOT 114634 SOS 33886 HAS SOPS 33886 HAS SOUS 12171 HAS SOUPS 12171 WITH SCORE 12204.886
AT ITER 5677 NEW BEST:: SOT 114633 SOS 33885 HAS SOPS 33885 HAS SOUS 12169 HAS SOUPS 12169 WITH SCORE 12202.885
AT ITER 5711 NEW BEST:: SOT 114587 SOS 33832 HAS SOPS 33832 HAS SOUS 12116 HAS SOUPS 12116 WITH SCORE 12149.832
AT ITER 5874 NEW BEST:: SOT 114545 SOS 33779 HAS SOPS 33779 HAS SOUS 12063 HAS SOUPS 12063 WITH SCORE 12096.779
AT ITER 5912 NEW BEST:: SOT 114540 SOS 33524 HAS SOPS 33524 HAS SOUS 12048 HAS SOUPS 12048 WITH SCORE 12081.524
AT ITER 5943 NEW BEST:: SOT 114530 SOS 33515 HAS SOPS 33515 HAS SOUS 12032 HAS SOUPS 12032 WITH SCORE 12065.515
AT ITER 5956 NEW BEST:: SOT 114530 SOS 33499 HAS SOPS 33499 HAS SOUS 12016 HAS SOUPS 12016 WITH SCORE 12049.499
AT ITER 5991 NEW BEST:: SOT 114519 SOS 33488 HAS SOPS 33488 HAS SOUS 11994 HAS SOUPS 11994 WITH SCORE 12027.488
AT ITER 6073 NEW BEST:: SOT 114499 SOS 33468 HAS SOPS 33468 HAS SOUS 11954 HAS SOUPS 11954 WITH SCORE 11987.468
AT ITER 6083 NEW BEST:: SOT 114493 SOS 33462 HAS SOPS 33462 HAS SOUS 11954 HAS SOUPS 11954 WITH SCORE 11987.462
AT ITER 6087 NEW BEST:: SOT 114486 SOS 33455 HAS SOPS 33455 HAS SOUS 11929 HAS SOUPS 11929 WITH SCORE 11962.455
AT ITER 6104 NEW BEST:: SOT 114482 SOS 33444 HAS SOPS 33444 HAS SOUS 11921 HAS SOUPS 11921 WITH SCORE 11954.444
AT ITER 6156 NEW BEST:: SOT 114473 SOS 33435 HAS SOPS 33435 HAS SOUS 11903 HAS SOUPS 11903 WITH SCORE 11936.435
AT ITER 6165 NEW BEST:: SOT 114462 SOS 33430 HAS SOPS 33430 HAS SOUS 11898 HAS SOUPS 11898 WITH SCORE 11931.43
AT ITER 6166 NEW BEST:: SOT 114450 SOS 33418 HAS SOPS 33418 HAS SOUS 11874 HAS SOUPS 11874 WITH SCORE 11907.418
AT ITER 6175 NEW BEST:: SOT 114402 SOS 33452 HAS SOPS 33452 HAS SOUS 11838 HAS SOUPS 11838 WITH SCORE 11871.452
AT ITER 6240 NEW BEST:: SOT 114388 SOS 33434 HAS SOPS 33434 HAS SOUS 11820 HAS SOUPS 11820 WITH SCORE 11853.434
AT ITER 6293 NEW BEST:: SOT 114298 SOS 33518 HAS SOPS 33518 HAS SOUS 11788 HAS SOUPS 11788 WITH SCORE 11821.518
AT ITER 6412 NEW BEST:: SOT 114297 SOS 33517 HAS SOPS 33517 HAS SOUS 11786 HAS SOUPS 11786 WITH SCORE 11819.517
AT ITER 6415 NEW BEST:: SOT 114296 SOS 33502 HAS SOPS 33502 HAS SOUS 11680 HAS SOUPS 11680 WITH SCORE 11713.502
AT ITER 6521 NEW BEST:: SOT 114296 SOS 33491 HAS SOPS 33491 HAS SOUS 11669 HAS SOUPS 11669 WITH SCORE 11702.491
AT ITER 6633 NEW BEST:: SOT 114293 SOS 33485 HAS SOPS 33485 HAS SOUS 11669 HAS SOUPS 11669 WITH SCORE 11702.485
AT ITER 6694 NEW BEST:: SOT 114264 SOS 33451 HAS SOPS 33451 HAS SOUS 11635 HAS SOUPS 11635 WITH SCORE 11668.451
AT ITER 6702 NEW BEST:: SOT 114246 SOS 33433 HAS SOPS 33433 HAS SOUS 11599 HAS SOUPS 11599 WITH SCORE 11632.433
AT ITER 6768 NEW BEST:: SOT 114253 SOS 33427 HAS SOPS 33427 HAS SOUS 11592 HAS SOUPS 11592 WITH SCORE 11625.427
AT ITER 6785 NEW BEST:: SOT 114252 SOS 33426 HAS SOPS 33426 HAS SOUS 11590 HAS SOUPS 11590 WITH SCORE 11623.426
AT ITER 6822 NEW BEST:: SOT 114252 SOS 33411 HAS SOPS 33411 HAS SOUS 11575 HAS SOUPS 11575 WITH SCORE 11608.411
AT ITER 6894 NEW BEST:: SOT 114237 SOS 33379 HAS SOPS 33379 HAS SOUS 11539 HAS SOUPS 11539 WITH SCORE 11572.379
AT ITER 6914 NEW BEST:: SOT 114237 SOS 33376 HAS SOPS 33376 HAS SOUS 11536 HAS SOUPS 11536 WITH SCORE 11569.376
AT ITER 6964 NEW BEST:: SOT 114233 SOS 33368 HAS SOPS 33368 HAS SOUS 11532 HAS SOUPS 11532 WITH SCORE 11565.368
AT ITER 7092 NEW BEST:: SOT 114230 SOS 33341 HAS SOPS 33341 HAS SOUS 11505 HAS SOUPS 11505 WITH SCORE 11538.341
AT ITER 7140 NEW BEST:: SOT 114220 SOS 33331 HAS SOPS 33331 HAS SOUS 11485 HAS SOUPS 11485 WITH SCORE 11518.331
AT ITER 7196 NEW BEST:: SOT 114208 SOS 33307 HAS SOPS 33307 HAS SOUS 11461 HAS SOUPS 11461 WITH SCORE 11494.307
AT ITER 7268 NEW BEST:: SOT 114197 SOS 33300 HAS SOPS 33300 HAS SOUS 11452 HAS SOUPS 11452 WITH SCORE 11485.3
AT ITER 7300 NEW BEST:: SOT 114191 SOS 33293 HAS SOPS 33293 HAS SOUS 11441 HAS SOUPS 11441 WITH SCORE 11474.293
AT ITER 7344 NEW BEST:: SOT 114184 SOS 33267 HAS SOPS 33267 HAS SOUS 11422 HAS SOUPS 11422 WITH SCORE 11455.267
AT ITER 7350 NEW BEST:: SOT 114183 SOS 33265 HAS SOPS 33265 HAS SOUS 11420 HAS SOUPS 11420 WITH SCORE 11453.265
AT ITER 7373 NEW BEST:: SOT 114183 SOS 33255 HAS SOPS 33255 HAS SOUS 11410 HAS SOUPS 11410 WITH SCORE 11443.255
AT ITER 7434 NEW BEST:: SOT 114182 SOS 33254 HAS SOPS 33254 HAS SOUS 11408 HAS SOUPS 11408 WITH SCORE 11441.254
AT ITER 7447 NEW BEST:: SOT 114151 SOS 33223 HAS SOPS 33223 HAS SOUS 11346 HAS SOUPS 11346 WITH SCORE 11379.223
AT ITER 7490 NEW BEST:: SOT 114146 SOS 33220 HAS SOPS 33220 HAS SOUS 11337 HAS SOUPS 11337 WITH SCORE 11370.22
AT ITER 7507 NEW BEST:: SOT 114143 SOS 33195 HAS SOPS 33195 HAS SOUS 11309 HAS SOUPS 11309 WITH SCORE 11342.195
AT ITER 7525 NEW BEST:: SOT 114135 SOS 33163 HAS SOPS 33163 HAS SOUS 11305 HAS SOUPS 11305 WITH SCORE 11338.163
AT ITER 7618 NEW BEST:: SOT 114137 SOS 33165 HAS SOPS 33165 HAS SOUS 11287 HAS SOUPS 11287 WITH SCORE 11320.165
AT ITER 7680 NEW BEST:: SOT 114118 SOS 33089 HAS SOPS 33089 HAS SOUS 11249 HAS SOUPS 11249 WITH SCORE 11282.089
AT ITER 7789 NEW BEST:: SOT 114108 SOS 32824 HAS SOPS 32824 HAS SOUS 11229 HAS SOUPS 11229 WITH SCORE 11261.824
AT ITER 7841 NEW BEST:: SOT 114108 SOS 32821 HAS SOPS 32821 HAS SOUS 11227 HAS SOUPS 11227 WITH SCORE 11259.821
AT ITER 7872 NEW BEST:: SOT 114106 SOS 32819 HAS SOPS 32819 HAS SOUS 11223 HAS SOUPS 11223 WITH SCORE 11255.819
AT ITER 7913 NEW BEST:: SOT 114098 SOS 32805 HAS SOPS 32805 HAS SOUS 11220 HAS SOUPS 11220 WITH SCORE 11252.805
AT ITER 7945 NEW BEST:: SOT 114098 SOS 32740 HAS SOPS 32740 HAS SOUS 11207 HAS SOUPS 11207 WITH SCORE 11239.74
AT ITER 7965 NEW BEST:: SOT 114095 SOS 32737 HAS SOPS 32737 HAS SOUS 11204 HAS SOUPS 11204 WITH SCORE 11236.737
AT ITER 8042 NEW BEST:: SOT 114095 SOS 32735 HAS SOPS 32735 HAS SOUS 11202 HAS SOUPS 11202 WITH SCORE 11234.735
AT ITER 8051 NEW BEST:: SOT 114079 SOS 32719 HAS SOPS 32719 HAS SOUS 11178 HAS SOUPS 11178 WITH SCORE 11210.719
AT ITER 8095 NEW BEST:: SOT 114062 SOS 32754 HAS SOPS 32754 HAS SOUS 11167 HAS SOUPS 11167 WITH SCORE 11199.754
AT ITER 8162 NEW BEST:: SOT 114055 SOS 32747 HAS SOPS 32747 HAS SOUS 11160 HAS SOUPS 11160 WITH SCORE 11192.747
AT ITER 8178 NEW BEST:: SOT 114024 SOS 32730 HAS SOPS 32730 HAS SOUS 11147 HAS SOUPS 11147 WITH SCORE 11179.73
AT ITER 8245 NEW BEST:: SOT 114024 SOS 32726 HAS SOPS 32726 HAS SOUS 11143 HAS SOUPS 11143 WITH SCORE 11175.726
AT ITER 8263 NEW BEST:: SOT 114006 SOS 32708 HAS SOPS 32708 HAS SOUS 11105 HAS SOUPS 11105 WITH SCORE 11137.708
AT ITER 8332 NEW BEST:: SOT 114001 SOS 32703 HAS SOPS 32703 HAS SOUS 11080 HAS SOUPS 11080 WITH SCORE 11112.703
AT ITER 8393 NEW BEST:: SOT 113999 SOS 32701 HAS SOPS 32701 HAS SOUS 11076 HAS SOUPS 11076 WITH SCORE 11108.701
AT ITER 8546 NEW BEST:: SOT 113970 SOS 32687 HAS SOPS 32687 HAS SOUS 11062 HAS SOUPS 11062 WITH SCORE 11094.687
AT ITER 8607 NEW BEST:: SOT 113958 SOS 32675 HAS SOPS 32675 HAS SOUS 11050 HAS SOUPS 11050 WITH SCORE 11082.675
AT ITER 8681 NEW BEST:: SOT 113958 SOS 32675 HAS SOPS 32675 HAS SOUS 11042 HAS SOUPS 11042 WITH SCORE 11074.675
AT ITER 8711 NEW BEST:: SOT 113924 SOS 32141 HAS SOPS 32141 HAS SOUS 10998 HAS SOUPS 10998 WITH SCORE 11030.141
AT ITER 8757 NEW BEST:: SOT 113917 SOS 32134 HAS SOPS 32134 HAS SOUS 10984 HAS SOUPS 10984 WITH SCORE 11016.134
AT ITER 8810 NEW BEST:: SOT 113907 SOS 32114 HAS SOPS 32114 HAS SOUS 10964 HAS SOUPS 10964 WITH SCORE 10996.114
AT ITER 8872 NEW BEST:: SOT 113897 SOS 32102 HAS SOPS 32102 HAS SOUS 10952 HAS SOUPS 10952 WITH SCORE 10984.102
AT ITER 8875 NEW BEST:: SOT 113908 SOS 32098 HAS SOPS 32098 HAS SOUS 10948 HAS SOUPS 10948 WITH SCORE 10980.098
AT ITER 8895 NEW BEST:: SOT 113830 SOS 32020 HAS SOPS 32020 HAS SOUS 10792 HAS SOUPS 10792 WITH SCORE 10824.02
AT ITER 8929 NEW BEST:: SOT 113825 SOS 32015 HAS SOPS 32015 HAS SOUS 10782 HAS SOUPS 10782 WITH SCORE 10814.015
AT ITER 9057 NEW BEST:: SOT 113829 SOS 32019 HAS SOPS 32019 HAS SOUS 10779 HAS SOUPS 10779 WITH SCORE 10811.019
AT ITER 9097 NEW BEST:: SOT 113819 SOS 32009 HAS SOPS 32009 HAS SOUS 10759 HAS SOUPS 10759 WITH SCORE 10791.009
AT ITER 9115 NEW BEST:: SOT 113817 SOS 32002 HAS SOPS 32002 HAS SOUS 10752 HAS SOUPS 10752 WITH SCORE 10784.002
AT ITER 9146 NEW BEST:: SOT 113798 SOS 31974 HAS SOPS 31974 HAS SOUS 10724 HAS SOUPS 10724 WITH SCORE 10755.974
AT ITER 9231 NEW BEST:: SOT 113795 SOS 31968 HAS SOPS 31968 HAS SOUS 10718 HAS SOUPS 10718 WITH SCORE 10749.968
AT ITER 9237 NEW BEST:: SOT 113761 SOS 31917 HAS SOPS 31917 HAS SOUS 10631 HAS SOUPS 10631 WITH SCORE 10662.917
AT ITER 9284 NEW BEST:: SOT 113769 SOS 31937 HAS SOPS 31937 HAS SOUS 10609 HAS SOUPS 10609 WITH SCORE 10640.937
AT ITER 9287 NEW BEST:: SOT 113768 SOS 31936 HAS SOPS 31936 HAS SOUS 10607 HAS SOUPS 10607 WITH SCORE 10638.936
AT ITER 9289 NEW BEST:: SOT 113764 SOS 31920 HAS SOPS 31920 HAS SOUS 10599 HAS SOUPS 10599 WITH SCORE 10630.92
AT ITER 9308 NEW BEST:: SOT 113766 SOS 31903 HAS SOPS 31903 HAS SOUS 10582 HAS SOUPS 10582 WITH SCORE 10613.903
AT ITER 9416 NEW BEST:: SOT 113765 SOS 31902 HAS SOPS 31902 HAS SOUS 10580 HAS SOUPS 10580 WITH SCORE 10611.902
AT ITER 9419 NEW BEST:: SOT 113763 SOS 31900 HAS SOPS 31900 HAS SOUS 10576 HAS SOUPS 10576 WITH SCORE 10607.9
AT ITER 9430 NEW BEST:: SOT 113761 SOS 31898 HAS SOPS 31898 HAS SOUS 10572 HAS SOUPS 10572 WITH SCORE 10603.898
AT ITER 9440 NEW BEST:: SOT 113749 SOS 31940 HAS SOPS 31940 HAS SOUS 10565 HAS SOUPS 10565 WITH SCORE 10596.94
AT ITER 9657 NEW BEST:: SOT 113746 SOS 31937 HAS SOPS 31937 HAS SOUS 10559 HAS SOUPS 10559 WITH SCORE 10590.937
AT ITER 9682 NEW BEST:: SOT 113745 SOS 31974 HAS SOPS 31974 HAS SOUS 10546 HAS SOUPS 10546 WITH SCORE 10577.974
AT ITER 9686 NEW BEST:: SOT 113745 SOS 31969 HAS SOPS 31969 HAS SOUS 10544 HAS SOUPS 10544 WITH SCORE 10575.969
AT ITER 9726 NEW BEST:: SOT 113736 SOS 31960 HAS SOPS 31960 HAS SOUS 10535 HAS SOUPS 10535 WITH SCORE 10566.96
AT ITER 9784 NEW BEST:: SOT 113728 SOS 31894 HAS SOPS 31894 HAS SOUS 10518 HAS SOUPS 10518 WITH SCORE 10549.894
AT ITER 9851 NEW BEST:: SOT 113733 SOS 31911 HAS SOPS 31911 HAS SOUS 10516 HAS SOUPS 10516 WITH SCORE 10547.911
AT ITER 9872 NEW BEST:: SOT 113727 SOS 31893 HAS SOPS 31893 HAS SOUS 10498 HAS SOUPS 10498 WITH SCORE 10529.893
AT ITER 9875 NEW BEST:: SOT 113726 SOS 31892 HAS SOPS 31892 HAS SOUS 10496 HAS SOUPS 10496 WITH SCORE 10527.892
AT ITER 9899 NEW BEST:: SOT 113725 SOS 31891 HAS SOPS 31891 HAS SOUS 10494 HAS SOUPS 10494 WITH SCORE 10525.891

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DES-PT-50b"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is DES-PT-50b, 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 r048-ebro-158902542000320"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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