fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r207-tajo-159033470401032
Last Updated
Jun 28, 2020

About the Execution of smart for ShieldRVt-PT-020B

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15765.260 3600000.00 3600039.00 0.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.r207-tajo-159033470401032.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 ShieldRVt-PT-020B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033470401032
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 412K
-rw-r--r-- 1 mcc users 3.5K May 14 02:43 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 14 02:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K May 13 20:20 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K May 13 20:20 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K May 14 10:05 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K May 14 10:05 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:05 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 14 10:05 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.4K May 13 14:44 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 13 14:44 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K May 13 09:34 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 13 09:34 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 239K May 12 20:42 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 1590456031030

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

Filename model.pnml
Petri model created: 1003 places, 1003 transitions, 2366 arcs.
AT ITER 0 NEW BEST:: SOT 515077 SOS 45056 HAS SOPS 45056 HAS SOUS 41787 HAS SOUPS 41787 WITH SCORE 41832.056
AT ITER 34 NEW BEST:: SOT 515062 SOS 45011 HAS SOPS 45011 HAS SOUS 41742 HAS SOUPS 41742 WITH SCORE 41787.011
AT ITER 35 NEW BEST:: SOT 515043 SOS 44954 HAS SOPS 44954 HAS SOUS 41701 HAS SOUPS 41701 WITH SCORE 41745.954
AT ITER 43 NEW BEST:: SOT 515043 SOS 44954 HAS SOPS 44954 HAS SOUS 41698 HAS SOUPS 41698 WITH SCORE 41742.954
AT ITER 115 NEW BEST:: SOT 515072 SOS 44914 HAS SOPS 44914 HAS SOUS 41670 HAS SOUPS 41670 WITH SCORE 41714.914
AT ITER 120 NEW BEST:: SOT 515071 SOS 44956 HAS SOPS 44956 HAS SOUS 41668 HAS SOUPS 41668 WITH SCORE 41712.956
AT ITER 126 NEW BEST:: SOT 515071 SOS 44945 HAS SOPS 44945 HAS SOUS 41657 HAS SOUPS 41657 WITH SCORE 41701.945
AT ITER 184 NEW BEST:: SOT 515071 SOS 44942 HAS SOPS 44942 HAS SOUS 41651 HAS SOUPS 41651 WITH SCORE 41695.942
AT ITER 251 NEW BEST:: SOT 515064 SOS 44895 HAS SOPS 44895 HAS SOUS 41604 HAS SOUPS 41604 WITH SCORE 41648.895
AT ITER 261 NEW BEST:: SOT 515029 SOS 44824 HAS SOPS 44824 HAS SOUS 41533 HAS SOUPS 41533 WITH SCORE 41577.824
AT ITER 324 NEW BEST:: SOT 515028 SOS 44822 HAS SOPS 44822 HAS SOUS 41531 HAS SOUPS 41531 WITH SCORE 41575.822
AT ITER 356 NEW BEST:: SOT 515004 SOS 44806 HAS SOPS 44806 HAS SOUS 41515 HAS SOUPS 41515 WITH SCORE 41559.806
AT ITER 360 NEW BEST:: SOT 515025 SOS 44845 HAS SOPS 44845 HAS SOUS 41486 HAS SOUPS 41486 WITH SCORE 41530.845
AT ITER 369 NEW BEST:: SOT 515028 SOS 44812 HAS SOPS 44812 HAS SOUS 41453 HAS SOUPS 41453 WITH SCORE 41497.812
AT ITER 380 NEW BEST:: SOT 515043 SOS 44826 HAS SOPS 44826 HAS SOUS 41435 HAS SOUPS 41435 WITH SCORE 41479.826
AT ITER 385 NEW BEST:: SOT 515043 SOS 44824 HAS SOPS 44824 HAS SOUS 41433 HAS SOUPS 41433 WITH SCORE 41477.824
AT ITER 412 NEW BEST:: SOT 515043 SOS 44814 HAS SOPS 44814 HAS SOUS 41423 HAS SOUPS 41423 WITH SCORE 41467.814
AT ITER 419 NEW BEST:: SOT 515016 SOS 44760 HAS SOPS 44760 HAS SOUS 41369 HAS SOUPS 41369 WITH SCORE 41413.76
AT ITER 458 NEW BEST:: SOT 514925 SOS 44641 HAS SOPS 44641 HAS SOUS 41250 HAS SOUPS 41250 WITH SCORE 41294.641
AT ITER 507 NEW BEST:: SOT 514932 SOS 44631 HAS SOPS 44631 HAS SOUS 41248 HAS SOUPS 41248 WITH SCORE 41292.631
AT ITER 654 NEW BEST:: SOT 514958 SOS 44656 HAS SOPS 44656 HAS SOUS 41247 HAS SOUPS 41247 WITH SCORE 41291.656
AT ITER 708 NEW BEST:: SOT 514943 SOS 44626 HAS SOPS 44626 HAS SOUS 41217 HAS SOUPS 41217 WITH SCORE 41261.626
AT ITER 770 NEW BEST:: SOT 514943 SOS 44591 HAS SOPS 44591 HAS SOUS 41217 HAS SOUPS 41217 WITH SCORE 41261.591
AT ITER 771 NEW BEST:: SOT 514932 SOS 44535 HAS SOPS 44535 HAS SOUS 41172 HAS SOUPS 41172 WITH SCORE 41216.535
AT ITER 785 NEW BEST:: SOT 514932 SOS 44531 HAS SOPS 44531 HAS SOUS 41168 HAS SOUPS 41168 WITH SCORE 41212.531
AT ITER 813 NEW BEST:: SOT 514932 SOS 44477 HAS SOPS 44477 HAS SOUS 41141 HAS SOUPS 41141 WITH SCORE 41185.477
AT ITER 873 NEW BEST:: SOT 514914 SOS 44441 HAS SOPS 44441 HAS SOUS 41105 HAS SOUPS 41105 WITH SCORE 41149.441
AT ITER 915 NEW BEST:: SOT 514918 SOS 44449 HAS SOPS 44449 HAS SOUS 41079 HAS SOUPS 41079 WITH SCORE 41123.449
AT ITER 920 NEW BEST:: SOT 514908 SOS 44419 HAS SOPS 44419 HAS SOUS 41049 HAS SOUPS 41049 WITH SCORE 41093.419
AT ITER 972 NEW BEST:: SOT 514930 SOS 44400 HAS SOPS 44400 HAS SOUS 41041 HAS SOUPS 41041 WITH SCORE 41085.4
AT ITER 984 NEW BEST:: SOT 514917 SOS 44391 HAS SOPS 44391 HAS SOUS 41027 HAS SOUPS 41027 WITH SCORE 41071.391
AT ITER 1018 NEW BEST:: SOT 514916 SOS 44400 HAS SOPS 44400 HAS SOUS 41025 HAS SOUPS 41025 WITH SCORE 41069.4
AT ITER 1064 NEW BEST:: SOT 514955 SOS 44438 HAS SOPS 44438 HAS SOUS 41024 HAS SOUPS 41024 WITH SCORE 41068.438
AT ITER 1173 NEW BEST:: SOT 514940 SOS 44408 HAS SOPS 44408 HAS SOUS 40994 HAS SOUPS 40994 WITH SCORE 41038.408
AT ITER 1198 NEW BEST:: SOT 514930 SOS 44388 HAS SOPS 44388 HAS SOUS 40964 HAS SOUPS 40964 WITH SCORE 41008.388
AT ITER 1244 NEW BEST:: SOT 514930 SOS 44387 HAS SOPS 44387 HAS SOUS 40963 HAS SOUPS 40963 WITH SCORE 41007.387
AT ITER 1267 NEW BEST:: SOT 514930 SOS 44361 HAS SOPS 44361 HAS SOUS 40911 HAS SOUPS 40911 WITH SCORE 40955.361
AT ITER 1284 NEW BEST:: SOT 514914 SOS 44357 HAS SOPS 44357 HAS SOUS 40907 HAS SOUPS 40907 WITH SCORE 40951.357
AT ITER 1307 NEW BEST:: SOT 514914 SOS 44357 HAS SOPS 44357 HAS SOUS 40904 HAS SOUPS 40904 WITH SCORE 40948.357
AT ITER 1312 NEW BEST:: SOT 514905 SOS 44286 HAS SOPS 44286 HAS SOUS 40842 HAS SOUPS 40842 WITH SCORE 40886.286
AT ITER 1325 NEW BEST:: SOT 514905 SOS 44286 HAS SOPS 44286 HAS SOUS 40838 HAS SOUPS 40838 WITH SCORE 40882.286
AT ITER 1353 NEW BEST:: SOT 514892 SOS 44242 HAS SOPS 44242 HAS SOUS 40778 HAS SOUPS 40778 WITH SCORE 40822.242
AT ITER 1389 NEW BEST:: SOT 514885 SOS 44220 HAS SOPS 44220 HAS SOUS 40741 HAS SOUPS 40741 WITH SCORE 40785.22
AT ITER 1440 NEW BEST:: SOT 514905 SOS 44270 HAS SOPS 44270 HAS SOUS 40740 HAS SOUPS 40740 WITH SCORE 40784.27
AT ITER 1505 NEW BEST:: SOT 514908 SOS 44241 HAS SOPS 44241 HAS SOUS 40711 HAS SOUPS 40711 WITH SCORE 40755.241
AT ITER 1575 NEW BEST:: SOT 514905 SOS 44238 HAS SOPS 44238 HAS SOUS 40708 HAS SOUPS 40708 WITH SCORE 40752.238
AT ITER 1656 NEW BEST:: SOT 514905 SOS 44235 HAS SOPS 44235 HAS SOUS 40694 HAS SOUPS 40694 WITH SCORE 40738.235
AT ITER 1663 NEW BEST:: SOT 514919 SOS 44214 HAS SOPS 44214 HAS SOUS 40682 HAS SOUPS 40682 WITH SCORE 40726.214
AT ITER 1703 NEW BEST:: SOT 514878 SOS 44091 HAS SOPS 44091 HAS SOUS 40559 HAS SOUPS 40559 WITH SCORE 40603.091
AT ITER 1729 NEW BEST:: SOT 514878 SOS 44053 HAS SOPS 44053 HAS SOUS 40521 HAS SOUPS 40521 WITH SCORE 40565.053
AT ITER 1757 NEW BEST:: SOT 514852 SOS 43967 HAS SOPS 43967 HAS SOUS 40407 HAS SOUPS 40407 WITH SCORE 40450.967
AT ITER 1785 NEW BEST:: SOT 514815 SOS 43893 HAS SOPS 43893 HAS SOUS 40333 HAS SOUPS 40333 WITH SCORE 40376.893
AT ITER 1790 NEW BEST:: SOT 514815 SOS 43886 HAS SOPS 43886 HAS SOUS 40326 HAS SOUPS 40326 WITH SCORE 40369.886
AT ITER 1826 NEW BEST:: SOT 514803 SOS 43877 HAS SOPS 43877 HAS SOUS 40317 HAS SOUPS 40317 WITH SCORE 40360.877
AT ITER 1853 NEW BEST:: SOT 514803 SOS 43809 HAS SOPS 43809 HAS SOUS 40283 HAS SOUPS 40283 WITH SCORE 40326.809
AT ITER 1881 NEW BEST:: SOT 514779 SOS 43809 HAS SOPS 43809 HAS SOUS 40259 HAS SOUPS 40259 WITH SCORE 40302.809
AT ITER 1884 NEW BEST:: SOT 514772 SOS 43802 HAS SOPS 43802 HAS SOUS 40252 HAS SOUPS 40252 WITH SCORE 40295.802
AT ITER 1887 NEW BEST:: SOT 514772 SOS 43809 HAS SOPS 43809 HAS SOUS 40249 HAS SOUPS 40249 WITH SCORE 40292.809
AT ITER 1959 NEW BEST:: SOT 514772 SOS 43797 HAS SOPS 43797 HAS SOUS 40237 HAS SOUPS 40237 WITH SCORE 40280.797
AT ITER 2004 NEW BEST:: SOT 514769 SOS 43792 HAS SOPS 43792 HAS SOUS 40220 HAS SOUPS 40220 WITH SCORE 40263.792
AT ITER 2039 NEW BEST:: SOT 514769 SOS 43791 HAS SOPS 43791 HAS SOUS 40219 HAS SOUPS 40219 WITH SCORE 40262.791
AT ITER 2216 NEW BEST:: SOT 514756 SOS 43765 HAS SOPS 43765 HAS SOUS 40193 HAS SOUPS 40193 WITH SCORE 40236.765
AT ITER 2223 NEW BEST:: SOT 514756 SOS 43724 HAS SOPS 43724 HAS SOUS 40152 HAS SOUPS 40152 WITH SCORE 40195.724
AT ITER 2236 NEW BEST:: SOT 514748 SOS 43665 HAS SOPS 43665 HAS SOUS 40101 HAS SOUPS 40101 WITH SCORE 40144.665
AT ITER 2258 NEW BEST:: SOT 514748 SOS 43625 HAS SOPS 43625 HAS SOUS 40075 HAS SOUPS 40075 WITH SCORE 40118.625
AT ITER 2273 NEW BEST:: SOT 514741 SOS 43611 HAS SOPS 43611 HAS SOUS 40061 HAS SOUPS 40061 WITH SCORE 40104.611
AT ITER 2275 NEW BEST:: SOT 514788 SOS 43705 HAS SOPS 43705 HAS SOUS 40047 HAS SOUPS 40047 WITH SCORE 40090.705
AT ITER 2443 NEW BEST:: SOT 514787 SOS 43675 HAS SOPS 43675 HAS SOUS 40031 HAS SOUPS 40031 WITH SCORE 40074.675
AT ITER 2492 NEW BEST:: SOT 514777 SOS 43665 HAS SOPS 43665 HAS SOUS 40031 HAS SOUPS 40031 WITH SCORE 40074.665
AT ITER 2608 NEW BEST:: SOT 514781 SOS 43641 HAS SOPS 43641 HAS SOUS 40007 HAS SOUPS 40007 WITH SCORE 40050.641
AT ITER 2758 NEW BEST:: SOT 514793 SOS 43653 HAS SOPS 43653 HAS SOUS 39989 HAS SOUPS 39989 WITH SCORE 40032.653
AT ITER 2759 NEW BEST:: SOT 514793 SOS 43646 HAS SOPS 43646 HAS SOUS 39982 HAS SOUPS 39982 WITH SCORE 40025.646
AT ITER 2799 NEW BEST:: SOT 514790 SOS 43640 HAS SOPS 43640 HAS SOUS 39976 HAS SOUPS 39976 WITH SCORE 40019.64
AT ITER 2924 NEW BEST:: SOT 514790 SOS 43637 HAS SOPS 43637 HAS SOUS 39973 HAS SOUPS 39973 WITH SCORE 40016.637
AT ITER 2946 NEW BEST:: SOT 514790 SOS 43637 HAS SOPS 43637 HAS SOUS 39943 HAS SOUPS 39943 WITH SCORE 39986.637
AT ITER 3117 NEW BEST:: SOT 514790 SOS 43634 HAS SOPS 43634 HAS SOUS 39923 HAS SOUPS 39923 WITH SCORE 39966.634
AT ITER 3171 NEW BEST:: SOT 514790 SOS 43618 HAS SOPS 43618 HAS SOUS 39907 HAS SOUPS 39907 WITH SCORE 39950.618
AT ITER 3335 NEW BEST:: SOT 514790 SOS 43606 HAS SOPS 43606 HAS SOUS 39895 HAS SOUPS 39895 WITH SCORE 39938.606
AT ITER 3429 NEW BEST:: SOT 514790 SOS 43590 HAS SOPS 43590 HAS SOUS 39887 HAS SOUPS 39887 WITH SCORE 39930.59
AT ITER 3459 NEW BEST:: SOT 514762 SOS 43534 HAS SOPS 43534 HAS SOUS 39831 HAS SOUPS 39831 WITH SCORE 39874.534
AT ITER 3470 NEW BEST:: SOT 514761 SOS 43526 HAS SOPS 43526 HAS SOUS 39826 HAS SOUPS 39826 WITH SCORE 39869.526
AT ITER 3508 NEW BEST:: SOT 514761 SOS 43525 HAS SOPS 43525 HAS SOUS 39825 HAS SOUPS 39825 WITH SCORE 39868.525
AT ITER 3514 NEW BEST:: SOT 514761 SOS 43522 HAS SOPS 43522 HAS SOUS 39819 HAS SOUPS 39819 WITH SCORE 39862.522
AT ITER 3520 NEW BEST:: SOT 514761 SOS 43522 HAS SOPS 43522 HAS SOUS 39818 HAS SOUPS 39818 WITH SCORE 39861.522
AT ITER 3567 NEW BEST:: SOT 514761 SOS 43522 HAS SOPS 43522 HAS SOUS 39814 HAS SOUPS 39814 WITH SCORE 39857.522
AT ITER 3571 NEW BEST:: SOT 514761 SOS 43522 HAS SOPS 43522 HAS SOUS 39784 HAS SOUPS 39784 WITH SCORE 39827.522
AT ITER 3645 NEW BEST:: SOT 514719 SOS 43502 HAS SOPS 43502 HAS SOUS 39764 HAS SOUPS 39764 WITH SCORE 39807.502
AT ITER 3647 NEW BEST:: SOT 514719 SOS 43502 HAS SOPS 43502 HAS SOUS 39763 HAS SOUPS 39763 WITH SCORE 39806.502
AT ITER 3694 NEW BEST:: SOT 514699 SOS 43482 HAS SOPS 43482 HAS SOUS 39743 HAS SOUPS 39743 WITH SCORE 39786.482
AT ITER 3698 NEW BEST:: SOT 514699 SOS 43479 HAS SOPS 43479 HAS SOUS 39711 HAS SOUPS 39711 WITH SCORE 39754.479
AT ITER 3738 NEW BEST:: SOT 514699 SOS 43464 HAS SOPS 43464 HAS SOUS 39677 HAS SOUPS 39677 WITH SCORE 39720.464
AT ITER 3791 NEW BEST:: SOT 514704 SOS 43441 HAS SOPS 43441 HAS SOUS 39639 HAS SOUPS 39639 WITH SCORE 39682.441
AT ITER 3799 NEW BEST:: SOT 514703 SOS 43431 HAS SOPS 43431 HAS SOUS 39637 HAS SOUPS 39637 WITH SCORE 39680.431
AT ITER 3812 NEW BEST:: SOT 514712 SOS 43364 HAS SOPS 43364 HAS SOUS 39578 HAS SOUPS 39578 WITH SCORE 39621.364
AT ITER 3830 NEW BEST:: SOT 514706 SOS 43340 HAS SOPS 43340 HAS SOUS 39566 HAS SOUPS 39566 WITH SCORE 39609.34
AT ITER 3874 NEW BEST:: SOT 514679 SOS 43321 HAS SOPS 43321 HAS SOUS 39547 HAS SOUPS 39547 WITH SCORE 39590.321
AT ITER 3877 NEW BEST:: SOT 514654 SOS 43334 HAS SOPS 43334 HAS SOUS 39542 HAS SOUPS 39542 WITH SCORE 39585.334
AT ITER 3901 NEW BEST:: SOT 514658 SOS 43240 HAS SOPS 43240 HAS SOUS 39505 HAS SOUPS 39505 WITH SCORE 39548.24
AT ITER 3951 NEW BEST:: SOT 514658 SOS 43237 HAS SOPS 43237 HAS SOUS 39502 HAS SOUPS 39502 WITH SCORE 39545.237
AT ITER 3952 NEW BEST:: SOT 514668 SOS 43218 HAS SOPS 43218 HAS SOUS 39491 HAS SOUPS 39491 WITH SCORE 39534.218
AT ITER 3999 NEW BEST:: SOT 514665 SOS 43209 HAS SOPS 43209 HAS SOUS 39488 HAS SOUPS 39488 WITH SCORE 39531.209
AT ITER 4013 NEW BEST:: SOT 514653 SOS 43161 HAS SOPS 43161 HAS SOUS 39452 HAS SOUPS 39452 WITH SCORE 39495.161
AT ITER 4015 NEW BEST:: SOT 514660 SOS 43151 HAS SOPS 43151 HAS SOUS 39450 HAS SOUPS 39450 WITH SCORE 39493.151
AT ITER 4069 NEW BEST:: SOT 514660 SOS 43151 HAS SOPS 43151 HAS SOUS 39447 HAS SOUPS 39447 WITH SCORE 39490.151
AT ITER 4070 NEW BEST:: SOT 514660 SOS 43150 HAS SOPS 43150 HAS SOUS 39446 HAS SOUPS 39446 WITH SCORE 39489.15
AT ITER 4100 NEW BEST:: SOT 514660 SOS 43147 HAS SOPS 43147 HAS SOUS 39443 HAS SOUPS 39443 WITH SCORE 39486.147
AT ITER 4177 NEW BEST:: SOT 514655 SOS 43132 HAS SOPS 43132 HAS SOUS 39438 HAS SOUPS 39438 WITH SCORE 39481.132
AT ITER 4410 NEW BEST:: SOT 514655 SOS 43132 HAS SOPS 43132 HAS SOUS 39435 HAS SOUPS 39435 WITH SCORE 39478.132
AT ITER 4465 NEW BEST:: SOT 514636 SOS 43050 HAS SOPS 43050 HAS SOUS 39373 HAS SOUPS 39373 WITH SCORE 39416.05
AT ITER 4534 NEW BEST:: SOT 514636 SOS 43050 HAS SOPS 43050 HAS SOUS 39370 HAS SOUPS 39370 WITH SCORE 39413.05
AT ITER 4550 NEW BEST:: SOT 514621 SOS 42991 HAS SOPS 42991 HAS SOUS 39348 HAS SOUPS 39348 WITH SCORE 39390.991
AT ITER 4623 NEW BEST:: SOT 514652 SOS 42960 HAS SOPS 42960 HAS SOUS 39348 HAS SOUPS 39348 WITH SCORE 39390.96
AT ITER 4645 NEW BEST:: SOT 514634 SOS 42843 HAS SOPS 42843 HAS SOUS 39275 HAS SOUPS 39275 WITH SCORE 39317.843
AT ITER 4659 NEW BEST:: SOT 514641 SOS 42857 HAS SOPS 42857 HAS SOUS 39271 HAS SOUPS 39271 WITH SCORE 39313.857
AT ITER 4747 NEW BEST:: SOT 514612 SOS 42766 HAS SOPS 42766 HAS SOUS 39209 HAS SOUPS 39209 WITH SCORE 39251.766
AT ITER 4817 NEW BEST:: SOT 514612 SOS 42777 HAS SOPS 42777 HAS SOUS 39208 HAS SOUPS 39208 WITH SCORE 39250.777
AT ITER 4837 NEW BEST:: SOT 514570 SOS 42735 HAS SOPS 42735 HAS SOUS 39166 HAS SOUPS 39166 WITH SCORE 39208.735
AT ITER 4851 NEW BEST:: SOT 514570 SOS 42701 HAS SOPS 42701 HAS SOUS 39132 HAS SOUPS 39132 WITH SCORE 39174.701
AT ITER 4862 NEW BEST:: SOT 514570 SOS 42696 HAS SOPS 42696 HAS SOUS 39127 HAS SOUPS 39127 WITH SCORE 39169.696
AT ITER 4886 NEW BEST:: SOT 514570 SOS 42693 HAS SOPS 42693 HAS SOUS 39124 HAS SOUPS 39124 WITH SCORE 39166.693
AT ITER 4922 NEW BEST:: SOT 514548 SOS 42649 HAS SOPS 42649 HAS SOUS 39080 HAS SOUPS 39080 WITH SCORE 39122.649
AT ITER 4959 NEW BEST:: SOT 514548 SOS 42648 HAS SOPS 42648 HAS SOUS 39072 HAS SOUPS 39072 WITH SCORE 39114.648
AT ITER 4963 NEW BEST:: SOT 514548 SOS 42644 HAS SOPS 42644 HAS SOUS 39068 HAS SOUPS 39068 WITH SCORE 39110.644
AT ITER 4973 NEW BEST:: SOT 514505 SOS 42515 HAS SOPS 42515 HAS SOUS 38939 HAS SOUPS 38939 WITH SCORE 38981.515
AT ITER 5003 NEW BEST:: SOT 514526 SOS 42547 HAS SOPS 42547 HAS SOUS 38929 HAS SOUPS 38929 WITH SCORE 38971.547
AT ITER 5055 NEW BEST:: SOT 514510 SOS 42515 HAS SOPS 42515 HAS SOUS 38920 HAS SOUPS 38920 WITH SCORE 38962.515
AT ITER 5067 NEW BEST:: SOT 514508 SOS 42509 HAS SOPS 42509 HAS SOUS 38916 HAS SOUPS 38916 WITH SCORE 38958.509
AT ITER 5136 NEW BEST:: SOT 514494 SOS 42481 HAS SOPS 42481 HAS SOUS 38902 HAS SOUPS 38902 WITH SCORE 38944.481
AT ITER 5151 NEW BEST:: SOT 514505 SOS 42471 HAS SOPS 42471 HAS SOUS 38892 HAS SOUPS 38892 WITH SCORE 38934.471
AT ITER 5169 NEW BEST:: SOT 514504 SOS 42444 HAS SOPS 42444 HAS SOUS 38890 HAS SOUPS 38890 WITH SCORE 38932.444
AT ITER 5185 NEW BEST:: SOT 514504 SOS 42436 HAS SOPS 42436 HAS SOUS 38882 HAS SOUPS 38882 WITH SCORE 38924.436
AT ITER 5219 NEW BEST:: SOT 514492 SOS 42435 HAS SOPS 42435 HAS SOUS 38881 HAS SOUPS 38881 WITH SCORE 38923.435
AT ITER 5225 NEW BEST:: SOT 514475 SOS 42418 HAS SOPS 42418 HAS SOUS 38864 HAS SOUPS 38864 WITH SCORE 38906.418
AT ITER 5285 NEW BEST:: SOT 514483 SOS 42434 HAS SOPS 42434 HAS SOUS 38848 HAS SOUPS 38848 WITH SCORE 38890.434
AT ITER 5301 NEW BEST:: SOT 514480 SOS 42448 HAS SOPS 42448 HAS SOUS 38842 HAS SOUPS 38842 WITH SCORE 38884.448
AT ITER 5602 NEW BEST:: SOT 514435 SOS 42448 HAS SOPS 42448 HAS SOUS 38827 HAS SOUPS 38827 WITH SCORE 38869.448
AT ITER 5639 NEW BEST:: SOT 514442 SOS 42438 HAS SOPS 42438 HAS SOUS 38825 HAS SOUPS 38825 WITH SCORE 38867.438
AT ITER 5675 NEW BEST:: SOT 514449 SOS 42430 HAS SOPS 42430 HAS SOUS 38817 HAS SOUPS 38817 WITH SCORE 38859.43
AT ITER 5724 NEW BEST:: SOT 514449 SOS 42429 HAS SOPS 42429 HAS SOUS 38794 HAS SOUPS 38794 WITH SCORE 38836.429
AT ITER 5744 NEW BEST:: SOT 514457 SOS 42445 HAS SOPS 42445 HAS SOUS 38777 HAS SOUPS 38777 WITH SCORE 38819.445
AT ITER 5846 NEW BEST:: SOT 514445 SOS 42477 HAS SOPS 42477 HAS SOUS 38765 HAS SOUPS 38765 WITH SCORE 38807.477
AT ITER 5987 NEW BEST:: SOT 514441 SOS 42393 HAS SOPS 42393 HAS SOUS 38699 HAS SOUPS 38699 WITH SCORE 38741.393
AT ITER 6014 NEW BEST:: SOT 514440 SOS 42350 HAS SOPS 42350 HAS SOUS 38696 HAS SOUPS 38696 WITH SCORE 38738.35
AT ITER 6023 NEW BEST:: SOT 514440 SOS 42328 HAS SOPS 42328 HAS SOUS 38685 HAS SOUPS 38685 WITH SCORE 38727.328
AT ITER 6026 NEW BEST:: SOT 514440 SOS 42324 HAS SOPS 42324 HAS SOUS 38683 HAS SOUPS 38683 WITH SCORE 38725.324
AT ITER 6085 NEW BEST:: SOT 514433 SOS 42303 HAS SOPS 42303 HAS SOUS 38662 HAS SOUPS 38662 WITH SCORE 38704.303
AT ITER 6094 NEW BEST:: SOT 514433 SOS 42292 HAS SOPS 42292 HAS SOUS 38651 HAS SOUPS 38651 WITH SCORE 38693.292
AT ITER 6267 NEW BEST:: SOT 514459 SOS 42266 HAS SOPS 42266 HAS SOUS 38651 HAS SOUPS 38651 WITH SCORE 38693.266
AT ITER 6279 NEW BEST:: SOT 514432 SOS 42172 HAS SOPS 42172 HAS SOUS 38584 HAS SOUPS 38584 WITH SCORE 38626.172
AT ITER 6338 NEW BEST:: SOT 514432 SOS 42138 HAS SOPS 42138 HAS SOUS 38549 HAS SOUPS 38549 WITH SCORE 38591.138
AT ITER 6369 NEW BEST:: SOT 514428 SOS 42126 HAS SOPS 42126 HAS SOUS 38537 HAS SOUPS 38537 WITH SCORE 38579.126
AT ITER 6387 NEW BEST:: SOT 514404 SOS 42020 HAS SOPS 42020 HAS SOUS 38469 HAS SOUPS 38469 WITH SCORE 38511.02
AT ITER 6402 NEW BEST:: SOT 514406 SOS 41986 HAS SOPS 41986 HAS SOUS 38435 HAS SOUPS 38435 WITH SCORE 38476.986
AT ITER 6442 NEW BEST:: SOT 514376 SOS 41896 HAS SOPS 41896 HAS SOUS 38375 HAS SOUPS 38375 WITH SCORE 38416.896
AT ITER 6483 NEW BEST:: SOT 514376 SOS 41896 HAS SOPS 41896 HAS SOUS 38373 HAS SOUPS 38373 WITH SCORE 38414.896
AT ITER 6487 NEW BEST:: SOT 514376 SOS 41895 HAS SOPS 41895 HAS SOUS 38346 HAS SOUPS 38346 WITH SCORE 38387.895
AT ITER 6492 NEW BEST:: SOT 514353 SOS 41849 HAS SOPS 41849 HAS SOUS 38300 HAS SOUPS 38300 WITH SCORE 38341.849
AT ITER 6494 NEW BEST:: SOT 514353 SOS 41814 HAS SOPS 41814 HAS SOUS 38265 HAS SOUPS 38265 WITH SCORE 38306.814
AT ITER 6505 NEW BEST:: SOT 514370 SOS 41847 HAS SOPS 41847 HAS SOUS 38242 HAS SOUPS 38242 WITH SCORE 38283.847
AT ITER 6565 NEW BEST:: SOT 514370 SOS 41846 HAS SOPS 41846 HAS SOUS 38239 HAS SOUPS 38239 WITH SCORE 38280.846
AT ITER 6575 NEW BEST:: SOT 514391 SOS 41888 HAS SOPS 41888 HAS SOUS 38214 HAS SOUPS 38214 WITH SCORE 38255.888
AT ITER 6648 NEW BEST:: SOT 514463 SOS 41952 HAS SOPS 41952 HAS SOUS 38168 HAS SOUPS 38168 WITH SCORE 38209.952
AT ITER 6681 NEW BEST:: SOT 514463 SOS 41949 HAS SOPS 41949 HAS SOUS 38165 HAS SOUPS 38165 WITH SCORE 38206.949
AT ITER 6756 NEW BEST:: SOT 514459 SOS 41926 HAS SOPS 41926 HAS SOUS 38146 HAS SOUPS 38146 WITH SCORE 38187.926
AT ITER 6782 NEW BEST:: SOT 514459 SOS 41923 HAS SOPS 41923 HAS SOUS 38143 HAS SOUPS 38143 WITH SCORE 38184.923
AT ITER 6810 NEW BEST:: SOT 514461 SOS 41924 HAS SOPS 41924 HAS SOUS 38141 HAS SOUPS 38141 WITH SCORE 38182.924
AT ITER 6853 NEW BEST:: SOT 514423 SOS 41915 HAS SOPS 41915 HAS SOUS 38103 HAS SOUPS 38103 WITH SCORE 38144.915
AT ITER 6868 NEW BEST:: SOT 514423 SOS 41914 HAS SOPS 41914 HAS SOUS 38102 HAS SOUPS 38102 WITH SCORE 38143.914
AT ITER 6944 NEW BEST:: SOT 514421 SOS 41910 HAS SOPS 41910 HAS SOUS 38098 HAS SOUPS 38098 WITH SCORE 38139.91
AT ITER 6945 NEW BEST:: SOT 514421 SOS 41932 HAS SOPS 41932 HAS SOUS 38097 HAS SOUPS 38097 WITH SCORE 38138.932
AT ITER 7023 NEW BEST:: SOT 514421 SOS 41929 HAS SOPS 41929 HAS SOUS 38097 HAS SOUPS 38097 WITH SCORE 38138.929
AT ITER 7025 NEW BEST:: SOT 514409 SOS 41905 HAS SOPS 41905 HAS SOUS 38073 HAS SOUPS 38073 WITH SCORE 38114.905
AT ITER 7131 NEW BEST:: SOT 514383 SOS 41895 HAS SOPS 41895 HAS SOUS 38063 HAS SOUPS 38063 WITH SCORE 38104.895
AT ITER 7172 NEW BEST:: SOT 514389 SOS 41873 HAS SOPS 41873 HAS SOUS 38028 HAS SOUPS 38028 WITH SCORE 38069.873
AT ITER 7187 NEW BEST:: SOT 514389 SOS 41858 HAS SOPS 41858 HAS SOUS 38013 HAS SOUPS 38013 WITH SCORE 38054.858
AT ITER 7195 NEW BEST:: SOT 514401 SOS 41896 HAS SOPS 41896 HAS SOUS 38012 HAS SOUPS 38012 WITH SCORE 38053.896
AT ITER 7236 NEW BEST:: SOT 514361 SOS 41798 HAS SOPS 41798 HAS SOUS 37900 HAS SOUPS 37900 WITH SCORE 37941.798
AT ITER 7299 NEW BEST:: SOT 514309 SOS 41642 HAS SOPS 41642 HAS SOUS 37796 HAS SOUPS 37796 WITH SCORE 37837.642
AT ITER 7359 NEW BEST:: SOT 514305 SOS 41622 HAS SOPS 41622 HAS SOUS 37785 HAS SOUPS 37785 WITH SCORE 37826.622
AT ITER 7379 NEW BEST:: SOT 514305 SOS 41643 HAS SOPS 41643 HAS SOUS 37782 HAS SOUPS 37782 WITH SCORE 37823.643
AT ITER 7398 NEW BEST:: SOT 514328 SOS 41655 HAS SOPS 41655 HAS SOUS 37745 HAS SOUPS 37745 WITH SCORE 37786.655
AT ITER 7547 NEW BEST:: SOT 514326 SOS 41651 HAS SOPS 41651 HAS SOUS 37741 HAS SOUPS 37741 WITH SCORE 37782.651
AT ITER 7638 NEW BEST:: SOT 514321 SOS 41621 HAS SOPS 41621 HAS SOUS 37693 HAS SOUPS 37693 WITH SCORE 37734.621
AT ITER 7721 NEW BEST:: SOT 514336 SOS 41571 HAS SOPS 41571 HAS SOUS 37658 HAS SOUPS 37658 WITH SCORE 37699.571
AT ITER 7738 NEW BEST:: SOT 514344 SOS 41520 HAS SOPS 41520 HAS SOUS 37630 HAS SOUPS 37630 WITH SCORE 37671.52
AT ITER 7764 NEW BEST:: SOT 514344 SOS 41496 HAS SOPS 41496 HAS SOUS 37630 HAS SOUPS 37630 WITH SCORE 37671.496
AT ITER 7769 NEW BEST:: SOT 514332 SOS 41422 HAS SOPS 41422 HAS SOUS 37595 HAS SOUPS 37595 WITH SCORE 37636.422
AT ITER 7794 NEW BEST:: SOT 514332 SOS 41421 HAS SOPS 41421 HAS SOUS 37591 HAS SOUPS 37591 WITH SCORE 37632.421
AT ITER 7814 NEW BEST:: SOT 514332 SOS 41417 HAS SOPS 41417 HAS SOUS 37587 HAS SOUPS 37587 WITH SCORE 37628.417
AT ITER 7982 NEW BEST:: SOT 514327 SOS 41397 HAS SOPS 41397 HAS SOUS 37572 HAS SOUPS 37572 WITH SCORE 37613.397
AT ITER 8056 NEW BEST:: SOT 514327 SOS 41397 HAS SOPS 41397 HAS SOUS 37563 HAS SOUPS 37563 WITH SCORE 37604.397
AT ITER 8067 NEW BEST:: SOT 514326 SOS 41360 HAS SOPS 41360 HAS SOUS 37561 HAS SOUPS 37561 WITH SCORE 37602.36
AT ITER 8084 NEW BEST:: SOT 514311 SOS 41327 HAS SOPS 41327 HAS SOUS 37528 HAS SOUPS 37528 WITH SCORE 37569.327
AT ITER 8123 NEW BEST:: SOT 514302 SOS 41289 HAS SOPS 41289 HAS SOUS 37500 HAS SOUPS 37500 WITH SCORE 37541.289
AT ITER 8149 NEW BEST:: SOT 514265 SOS 41215 HAS SOPS 41215 HAS SOUS 37426 HAS SOUPS 37426 WITH SCORE 37467.215
AT ITER 8227 NEW BEST:: SOT 514261 SOS 41191 HAS SOPS 41191 HAS SOUS 37403 HAS SOUPS 37403 WITH SCORE 37444.191
AT ITER 8280 NEW BEST:: SOT 514261 SOS 41188 HAS SOPS 41188 HAS SOUS 37400 HAS SOUPS 37400 WITH SCORE 37441.188
AT ITER 8292 NEW BEST:: SOT 514233 SOS 41188 HAS SOPS 41188 HAS SOUS 37372 HAS SOUPS 37372 WITH SCORE 37413.188
AT ITER 8311 NEW BEST:: SOT 514206 SOS 41175 HAS SOPS 41175 HAS SOUS 37331 HAS SOUPS 37331 WITH SCORE 37372.175
AT ITER 8313 NEW BEST:: SOT 514201 SOS 41172 HAS SOPS 41172 HAS SOUS 37328 HAS SOUPS 37328 WITH SCORE 37369.172
AT ITER 8367 NEW BEST:: SOT 514201 SOS 41166 HAS SOPS 41166 HAS SOUS 37322 HAS SOUPS 37322 WITH SCORE 37363.166
AT ITER 8372 NEW BEST:: SOT 514201 SOS 41149 HAS SOPS 41149 HAS SOUS 37305 HAS SOUPS 37305 WITH SCORE 37346.149
AT ITER 8401 NEW BEST:: SOT 514261 SOS 41109 HAS SOPS 41109 HAS SOUS 37280 HAS SOUPS 37280 WITH SCORE 37321.109
AT ITER 8416 NEW BEST:: SOT 514261 SOS 41108 HAS SOPS 41108 HAS SOUS 37279 HAS SOUPS 37279 WITH SCORE 37320.108
AT ITER 8426 NEW BEST:: SOT 514261 SOS 41102 HAS SOPS 41102 HAS SOUS 37279 HAS SOUPS 37279 WITH SCORE 37320.102
AT ITER 8455 NEW BEST:: SOT 514254 SOS 41095 HAS SOPS 41095 HAS SOUS 37272 HAS SOUPS 37272 WITH SCORE 37313.095
AT ITER 8475 NEW BEST:: SOT 514230 SOS 41018 HAS SOPS 41018 HAS SOUS 37239 HAS SOUPS 37239 WITH SCORE 37280.018
AT ITER 8493 NEW BEST:: SOT 514230 SOS 40954 HAS SOPS 40954 HAS SOUS 37239 HAS SOUPS 37239 WITH SCORE 37279.954
AT ITER 8544 NEW BEST:: SOT 514222 SOS 40938 HAS SOPS 40938 HAS SOUS 37223 HAS SOUPS 37223 WITH SCORE 37263.938
AT ITER 8592 NEW BEST:: SOT 514213 SOS 40917 HAS SOPS 40917 HAS SOUS 37202 HAS SOUPS 37202 WITH SCORE 37242.917
AT ITER 8656 NEW BEST:: SOT 514213 SOS 40926 HAS SOPS 40926 HAS SOUS 37199 HAS SOUPS 37199 WITH SCORE 37239.926
AT ITER 8664 NEW BEST:: SOT 514209 SOS 40922 HAS SOPS 40922 HAS SOUS 37162 HAS SOUPS 37162 WITH SCORE 37202.922
AT ITER 8740 NEW BEST:: SOT 514217 SOS 40921 HAS SOPS 40921 HAS SOUS 37161 HAS SOUPS 37161 WITH SCORE 37201.921
AT ITER 8766 NEW BEST:: SOT 514221 SOS 40911 HAS SOPS 40911 HAS SOUS 37151 HAS SOUPS 37151 WITH SCORE 37191.911
AT ITER 8774 NEW BEST:: SOT 514221 SOS 40910 HAS SOPS 40910 HAS SOUS 37150 HAS SOUPS 37150 WITH SCORE 37190.91
AT ITER 8806 NEW BEST:: SOT 514220 SOS 40907 HAS SOPS 40907 HAS SOUS 37149 HAS SOUPS 37149 WITH SCORE 37189.907
AT ITER 8844 NEW BEST:: SOT 514220 SOS 40892 HAS SOPS 40892 HAS SOUS 37119 HAS SOUPS 37119 WITH SCORE 37159.892
AT ITER 8850 NEW BEST:: SOT 514219 SOS 40891 HAS SOPS 40891 HAS SOUS 37118 HAS SOUPS 37118 WITH SCORE 37158.891
AT ITER 8869 NEW BEST:: SOT 514215 SOS 40879 HAS SOPS 40879 HAS SOUS 37114 HAS SOUPS 37114 WITH SCORE 37154.879
AT ITER 8874 NEW BEST:: SOT 514240 SOS 40855 HAS SOPS 40855 HAS SOUS 37108 HAS SOUPS 37108 WITH SCORE 37148.855
AT ITER 8922 NEW BEST:: SOT 514208 SOS 40824 HAS SOPS 40824 HAS SOUS 37075 HAS SOUPS 37075 WITH SCORE 37115.824
AT ITER 8946 NEW BEST:: SOT 514208 SOS 40822 HAS SOPS 40822 HAS SOUS 37074 HAS SOUPS 37074 WITH SCORE 37114.822
AT ITER 9090 NEW BEST:: SOT 514208 SOS 40828 HAS SOPS 40828 HAS SOUS 37071 HAS SOUPS 37071 WITH SCORE 37111.828
AT ITER 9118 NEW BEST:: SOT 514218 SOS 40793 HAS SOPS 40793 HAS SOUS 37055 HAS SOUPS 37055 WITH SCORE 37095.793
AT ITER 9125 NEW BEST:: SOT 514218 SOS 40757 HAS SOPS 40757 HAS SOUS 36984 HAS SOUPS 36984 WITH SCORE 37024.757
AT ITER 9156 NEW BEST:: SOT 514214 SOS 40765 HAS SOPS 40765 HAS SOUS 36983 HAS SOUPS 36983 WITH SCORE 37023.765
AT ITER 9229 NEW BEST:: SOT 514208 SOS 40735 HAS SOPS 40735 HAS SOUS 36960 HAS SOUPS 36960 WITH SCORE 37000.735
AT ITER 9231 NEW BEST:: SOT 514205 SOS 40729 HAS SOPS 40729 HAS SOUS 36948 HAS SOUPS 36948 WITH SCORE 36988.729
AT ITER 9260 NEW BEST:: SOT 514186 SOS 40662 HAS SOPS 40662 HAS SOUS 36919 HAS SOUPS 36919 WITH SCORE 36959.662
AT ITER 9272 NEW BEST:: SOT 514161 SOS 40665 HAS SOPS 40665 HAS SOUS 36894 HAS SOUPS 36894 WITH SCORE 36934.665
AT ITER 9278 NEW BEST:: SOT 514140 SOS 40623 HAS SOPS 40623 HAS SOUS 36822 HAS SOUPS 36822 WITH SCORE 36862.623
AT ITER 9390 NEW BEST:: SOT 514124 SOS 40619 HAS SOPS 40619 HAS SOUS 36810 HAS SOUPS 36810 WITH SCORE 36850.619
AT ITER 9465 NEW BEST:: SOT 514124 SOS 40616 HAS SOPS 40616 HAS SOUS 36807 HAS SOUPS 36807 WITH SCORE 36847.616
AT ITER 9534 NEW BEST:: SOT 514110 SOS 40605 HAS SOPS 40605 HAS SOUS 36775 HAS SOUPS 36775 WITH SCORE 36815.605
AT ITER 9619 NEW BEST:: SOT 514104 SOS 40583 HAS SOPS 40583 HAS SOUS 36759 HAS SOUPS 36759 WITH SCORE 36799.583
AT ITER 9624 NEW BEST:: SOT 514104 SOS 40538 HAS SOPS 40538 HAS SOUS 36698 HAS SOUPS 36698 WITH SCORE 36738.538
AT ITER 9650 NEW BEST:: SOT 514087 SOS 40540 HAS SOPS 40540 HAS SOUS 36683 HAS SOUPS 36683 WITH SCORE 36723.54
AT ITER 9708 NEW BEST:: SOT 514084 SOS 40533 HAS SOPS 40533 HAS SOUS 36676 HAS SOUPS 36676 WITH SCORE 36716.533
AT ITER 9852 NEW BEST:: SOT 514084 SOS 40533 HAS SOPS 40533 HAS SOUS 36673 HAS SOUPS 36673 WITH SCORE 36713.533
AT ITER 9857 NEW BEST:: SOT 514067 SOS 40499 HAS SOPS 40499 HAS SOUS 36639 HAS SOUPS 36639 WITH SCORE 36679.499
AT ITER 9895 NEW BEST:: SOT 514067 SOS 40501 HAS SOPS 40501 HAS SOUS 36637 HAS SOUPS 36637 WITH SCORE 36677.501
AT ITER 9920 NEW BEST:: SOT 514059 SOS 40485 HAS SOPS 40485 HAS SOUS 36630 HAS SOUPS 36630 WITH SCORE 36670.485
AT ITER 9935 NEW BEST:: SOT 514000 SOS 40408 HAS SOPS 40408 HAS SOUS 36543 HAS SOUPS 36543 WITH SCORE 36583.408
AT ITER 9965 NEW BEST:: SOT 514000 SOS 40405 HAS SOPS 40405 HAS SOUS 36540 HAS SOUPS 36540 WITH SCORE 36580.405
AT ITER 9969 NEW BEST:: SOT 513996 SOS 40397 HAS SOPS 40397 HAS SOUS 36532 HAS SOUPS 36532 WITH SCORE 36572.397

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="ShieldRVt-PT-020B"
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 ShieldRVt-PT-020B, 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 r207-tajo-159033470401032"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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