About the Execution of smart for DLCflexbar-PT-8b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15765.220 | 3600000.00 | 3600080.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.r048-ebro-158902542200448.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 DLCflexbar-PT-8b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542200448
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 20M
-rw-r--r-- 1 mcc users 3.9K Mar 30 18:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 30 18:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 29 08:28 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 29 08:28 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Apr 8 14:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Mar 28 04:28 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 28 04:28 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 26 22:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 26 22:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K 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 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 20M 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 1589121275290
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCflexbar (PT), instance 8b
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart
Filename model.pnml
Petri model created: 47560 places, 76160 transitions, 216499 arcs.
AT ITER 0 NEW BEST:: SOT -1837963823 SOS 584606968 HAS SOPS 584606968 HAS SOUS 326578184 HAS SOUPS 326578184 WITH SCORE 3.27162790968E8
AT ITER 11 NEW BEST:: SOT -1837968270 SOS 584606964 HAS SOPS 584606964 HAS SOUS 326575282 HAS SOUPS 326575282 WITH SCORE 3.27159888964E8
AT ITER 60 NEW BEST:: SOT -1837968694 SOS 584607388 HAS SOPS 584607388 HAS SOUS 326574858 HAS SOUPS 326574858 WITH SCORE 3.27159465388E8
AT ITER 94 NEW BEST:: SOT -1837965261 SOS 584589639 HAS SOPS 584589639 HAS SOUS 326571802 HAS SOUPS 326571802 WITH SCORE 3.27156391639E8
AT ITER 122 NEW BEST:: SOT -1837965261 SOS 584573931 HAS SOPS 584573931 HAS SOUS 326571801 HAS SOUPS 326571801 WITH SCORE 3.27156374931E8
AT ITER 155 NEW BEST:: SOT -1837964943 SOS 584574567 HAS SOPS 584574567 HAS SOUS 326568623 HAS SOUPS 326568623 WITH SCORE 3.27153197567E8
AT ITER 167 NEW BEST:: SOT -1837964064 SOS 584576325 HAS SOPS 584576325 HAS SOUS 326552117 HAS SOUPS 326552117 WITH SCORE 3.27136693325E8
AT ITER 225 NEW BEST:: SOT -1837966035 SOS 584572383 HAS SOPS 584572383 HAS SOUS 326548175 HAS SOUPS 326548175 WITH SCORE 3.27132747383E8
AT ITER 261 NEW BEST:: SOT -1837974788 SOS 584565159 HAS SOPS 584565159 HAS SOUS 326540951 HAS SOUPS 326540951 WITH SCORE 3.27125516159E8
AT ITER 276 NEW BEST:: SOT -1837976421 SOS 584561893 HAS SOPS 584561893 HAS SOUS 326529840 HAS SOUPS 326529840 WITH SCORE 3.27114401893E8
AT ITER 286 NEW BEST:: SOT -1837976421 SOS 584555263 HAS SOPS 584555263 HAS SOUS 326527630 HAS SOUPS 326527630 WITH SCORE 3.27112185263E8
AT ITER 287 NEW BEST:: SOT -1837983176 SOS 584562014 HAS SOPS 584562014 HAS SOUS 326514119 HAS SOUPS 326514119 WITH SCORE 3.27098681014E8
AT ITER 311 NEW BEST:: SOT -1837985179 SOS 584558008 HAS SOPS 584558008 HAS SOUS 326510113 HAS SOUPS 326510113 WITH SCORE 3.27094671008E8
AT ITER 318 NEW BEST:: SOT -1837989001 SOS 584550364 HAS SOPS 584550364 HAS SOUS 326496810 HAS SOUPS 326496810 WITH SCORE 3.27081360364E8
AT ITER 332 NEW BEST:: SOT -1837994973 SOS 584577325 HAS SOPS 584577325 HAS SOUS 326492397 HAS SOUPS 326492397 WITH SCORE 3.27076974325E8
AT ITER 335 NEW BEST:: SOT -1837994974 SOS 584577323 HAS SOPS 584577323 HAS SOUS 326492395 HAS SOUPS 326492395 WITH SCORE 3.27076972323E8
AT ITER 337 NEW BEST:: SOT -1837996174 SOS 584576123 HAS SOPS 584576123 HAS SOUS 326491195 HAS SOUPS 326491195 WITH SCORE 3.27075771123E8
AT ITER 359 NEW BEST:: SOT -1837996823 SOS 584577417 HAS SOPS 584577417 HAS SOUS 326490545 HAS SOUPS 326490545 WITH SCORE 3.27075122417E8
AT ITER 368 NEW BEST:: SOT -1837996823 SOS 584573676 HAS SOPS 584573676 HAS SOUS 326489298 HAS SOUPS 326489298 WITH SCORE 3.27073871676E8
AT ITER 370 NEW BEST:: SOT -1837996823 SOS 584568270 HAS SOPS 584568270 HAS SOUS 326487496 HAS SOUPS 326487496 WITH SCORE 3.2707206427E8
AT ITER 427 NEW BEST:: SOT -1837998536 SOS 584564844 HAS SOPS 584564844 HAS SOUS 326476484 HAS SOUPS 326476484 WITH SCORE 3.27061048844E8
AT ITER 433 NEW BEST:: SOT -1838001314 SOS 584574762 HAS SOPS 584574762 HAS SOUS 326473706 HAS SOUPS 326473706 WITH SCORE 3.27058280762E8
AT ITER 453 NEW BEST:: SOT -1838012454 SOS 584569192 HAS SOPS 584569192 HAS SOUS 326468136 HAS SOUPS 326468136 WITH SCORE 3.27052705192E8
AT ITER 484 NEW BEST:: SOT -1838012589 SOS 584568922 HAS SOPS 584568922 HAS SOUS 326468000 HAS SOUPS 326468000 WITH SCORE 3.27052568922E8
AT ITER 497 NEW BEST:: SOT -1838012589 SOS 584552974 HAS SOPS 584552974 HAS SOUS 326468000 HAS SOUPS 326468000 WITH SCORE 3.27052552974E8
AT ITER 520 NEW BEST:: SOT -1838020985 SOS 584548772 HAS SOPS 584548772 HAS SOUS 326463801 HAS SOUPS 326463801 WITH SCORE 3.27048349772E8
AT ITER 556 NEW BEST:: SOT -1838024055 SOS 584554908 HAS SOPS 584554908 HAS SOUS 326460730 HAS SOUPS 326460730 WITH SCORE 3.27045284908E8
AT ITER 570 NEW BEST:: SOT -1838030484 SOS 584542050 HAS SOPS 584542050 HAS SOUS 326447872 HAS SOUPS 326447872 WITH SCORE 3.2703241405E8
AT ITER 638 NEW BEST:: SOT -1838032458 SOS 584545990 HAS SOPS 584545990 HAS SOUS 326445896 HAS SOUPS 326445896 WITH SCORE 3.2703044199E8
AT ITER 648 NEW BEST:: SOT -1838032458 SOS 584537875 HAS SOPS 584537875 HAS SOUS 326443191 HAS SOUPS 326443191 WITH SCORE 3.27027728875E8
AT ITER 649 NEW BEST:: SOT -1838032986 SOS 584536819 HAS SOPS 584536819 HAS SOUS 326442135 HAS SOUPS 326442135 WITH SCORE 3.27026671819E8
AT ITER 651 NEW BEST:: SOT -1838036112 SOS 584530567 HAS SOPS 584530567 HAS SOUS 326435883 HAS SOUPS 326435883 WITH SCORE 3.27020413567E8
AT ITER 678 NEW BEST:: SOT -1838032769 SOS 584512455 HAS SOPS 584512455 HAS SOUS 326432631 HAS SOUPS 326432631 WITH SCORE 3.27017143455E8
AT ITER 688 NEW BEST:: SOT -1838032769 SOS 584512455 HAS SOPS 584512455 HAS SOUS 326425439 HAS SOUPS 326425439 WITH SCORE 3.27009951455E8
AT ITER 802 NEW BEST:: SOT -1838031287 SOS 584515418 HAS SOPS 584515418 HAS SOUS 326421483 HAS SOUPS 326421483 WITH SCORE 3.27005998418E8
AT ITER 814 NEW BEST:: SOT -1838031287 SOS 584505905 HAS SOPS 584505905 HAS SOUS 326418312 HAS SOUPS 326418312 WITH SCORE 3.27002817905E8
AT ITER 818 NEW BEST:: SOT -1838040667 SOS 584502367 HAS SOPS 584502367 HAS SOUS 326414774 HAS SOUPS 326414774 WITH SCORE 3.26999276367E8
AT ITER 845 NEW BEST:: SOT -1838041924 SOS 584499853 HAS SOPS 584499853 HAS SOUS 326413517 HAS SOUPS 326413517 WITH SCORE 3.26998016853E8
AT ITER 855 NEW BEST:: SOT -1838050088 SOS 584459033 HAS SOPS 584459033 HAS SOUS 326397189 HAS SOUPS 326397189 WITH SCORE 3.26981648033E8
AT ITER 861 NEW BEST:: SOT -1838051422 SOS 584468371 HAS SOPS 584468371 HAS SOUS 326395855 HAS SOUPS 326395855 WITH SCORE 3.26980323371E8
AT ITER 873 NEW BEST:: SOT -1838053379 SOS 584460543 HAS SOPS 584460543 HAS SOUS 326393898 HAS SOUPS 326393898 WITH SCORE 3.26978358543E8
AT ITER 911 NEW BEST:: SOT -1838056541 SOS 584454219 HAS SOPS 584454219 HAS SOUS 326390736 HAS SOUPS 326390736 WITH SCORE 3.26975190219E8
AT ITER 915 NEW BEST:: SOT -1838056541 SOS 584445063 HAS SOPS 584445063 HAS SOUS 326390735 HAS SOUPS 326390735 WITH SCORE 3.26975180063E8
AT ITER 917 NEW BEST:: SOT -1838056542 SOS 584442206 HAS SOPS 584442206 HAS SOUS 326387878 HAS SOUPS 326387878 WITH SCORE 3.26972320206E8
AT ITER 929 NEW BEST:: SOT -1838056703 SOS 584441884 HAS SOPS 584441884 HAS SOUS 326387556 HAS SOUPS 326387556 WITH SCORE 3.26971997884E8
AT ITER 930 NEW BEST:: SOT -1838051632 SOS 584414573 HAS SOPS 584414573 HAS SOUS 326385971 HAS SOUPS 326385971 WITH SCORE 3.26970385573E8
AT ITER 931 NEW BEST:: SOT -1838051887 SOS 584414403 HAS SOPS 584414403 HAS SOUS 326385801 HAS SOUPS 326385801 WITH SCORE 3.26970215403E8
AT ITER 948 NEW BEST:: SOT -1838056299 SOS 584405579 HAS SOPS 584405579 HAS SOUS 326376977 HAS SOUPS 326376977 WITH SCORE 3.26961382579E8
AT ITER 967 NEW BEST:: SOT -1838056133 SOS 584405911 HAS SOPS 584405911 HAS SOUS 326363378 HAS SOUPS 326363378 WITH SCORE 3.26947783911E8
AT ITER 970 NEW BEST:: SOT -1838059049 SOS 584400079 HAS SOPS 584400079 HAS SOUS 326363205 HAS SOUPS 326363205 WITH SCORE 3.26947605079E8
AT ITER 973 NEW BEST:: SOT -1838059049 SOS 584400079 HAS SOPS 584400079 HAS SOUS 326361177 HAS SOUPS 326361177 WITH SCORE 3.26945577079E8
AT ITER 986 NEW BEST:: SOT -1838069443 SOS 584394878 HAS SOPS 584394878 HAS SOUS 326355979 HAS SOUPS 326355979 WITH SCORE 3.26940373878E8
AT ITER 989 NEW BEST:: SOT -1838079595 SOS 584394803 HAS SOPS 584394803 HAS SOUS 326352570 HAS SOUPS 326352570 WITH SCORE 3.26936964803E8
AT ITER 1015 NEW BEST:: SOT -1838082445 SOS 584398385 HAS SOPS 584398385 HAS SOUS 326349720 HAS SOUPS 326349720 WITH SCORE 3.26934118385E8
AT ITER 1082 NEW BEST:: SOT -1838082445 SOS 584394918 HAS SOPS 584394918 HAS SOUS 326349720 HAS SOUPS 326349720 WITH SCORE 3.26934114918E8
AT ITER 1096 NEW BEST:: SOT -1838084804 SOS 584390200 HAS SOPS 584390200 HAS SOUS 326349582 HAS SOUPS 326349582 WITH SCORE 3.269339722E8
AT ITER 1151 NEW BEST:: SOT -1838088955 SOS 584381898 HAS SOPS 584381898 HAS SOUS 326345431 HAS SOUPS 326345431 WITH SCORE 3.26929812898E8
AT ITER 1223 NEW BEST:: SOT -1838101597 SOS 584350293 HAS SOPS 584350293 HAS SOUS 326332789 HAS SOUPS 326332789 WITH SCORE 3.26917139293E8
AT ITER 1231 NEW BEST:: SOT -1838103714 SOS 584354527 HAS SOPS 584354527 HAS SOUS 326330672 HAS SOUPS 326330672 WITH SCORE 3.26915026527E8
AT ITER 1235 NEW BEST:: SOT -1838113907 SOS 584344330 HAS SOPS 584344330 HAS SOUS 326320478 HAS SOUPS 326320478 WITH SCORE 3.2690482233E8
AT ITER 1245 NEW BEST:: SOT -1838120360 SOS 584331424 HAS SOPS 584331424 HAS SOUS 326299927 HAS SOUPS 326299927 WITH SCORE 3.26884258424E8
AT ITER 1290 NEW BEST:: SOT -1838117292 SOS 584415580 HAS SOPS 584415580 HAS SOUS 326297392 HAS SOUPS 326297392 WITH SCORE 3.2688180758E8
AT ITER 1308 NEW BEST:: SOT -1838122667 SOS 584462402 HAS SOPS 584462402 HAS SOUS 326286641 HAS SOUPS 326286641 WITH SCORE 3.26871103402E8
AT ITER 1310 NEW BEST:: SOT -1838135010 SOS 584451604 HAS SOPS 584451604 HAS SOUS 326275843 HAS SOUPS 326275843 WITH SCORE 3.26860294604E8
AT ITER 1311 NEW BEST:: SOT -1838137781 SOS 584446062 HAS SOPS 584446062 HAS SOUS 326270301 HAS SOUPS 326270301 WITH SCORE 3.26854747062E8
AT ITER 1312 NEW BEST:: SOT -1838140152 SOS 584441320 HAS SOPS 584441320 HAS SOUS 326267929 HAS SOUPS 326267929 WITH SCORE 3.2685237032E8
AT ITER 1325 NEW BEST:: SOT -1838140152 SOS 584430514 HAS SOPS 584430514 HAS SOUS 326264327 HAS SOUPS 326264327 WITH SCORE 3.26848757514E8
AT ITER 1348 NEW BEST:: SOT -1838140152 SOS 584418568 HAS SOPS 584418568 HAS SOUS 326260345 HAS SOUPS 326260345 WITH SCORE 3.26844763568E8
AT ITER 1389 NEW BEST:: SOT -1838148843 SOS 584409873 HAS SOPS 584409873 HAS SOUS 326251653 HAS SOUPS 326251653 WITH SCORE 3.26836062873E8
AT ITER 1406 NEW BEST:: SOT -1838156682 SOS 584408139 HAS SOPS 584408139 HAS SOUS 326249919 HAS SOUPS 326249919 WITH SCORE 3.26834327139E8
AT ITER 1411 NEW BEST:: SOT -1838160218 SOS 584401067 HAS SOPS 584401067 HAS SOUS 326242847 HAS SOUPS 326242847 WITH SCORE 3.26827248067E8
AT ITER 1425 NEW BEST:: SOT -1838170439 SOS 584390842 HAS SOPS 584390842 HAS SOUS 326232625 HAS SOUPS 326232625 WITH SCORE 3.26817015842E8
AT ITER 1431 NEW BEST:: SOT -1838170439 SOS 584387917 HAS SOPS 584387917 HAS SOUS 326231650 HAS SOUPS 326231650 WITH SCORE 3.26816037917E8
AT ITER 1441 NEW BEST:: SOT -1838170439 SOS 584387917 HAS SOPS 584387917 HAS SOUS 326221214 HAS SOUPS 326221214 WITH SCORE 3.26805601917E8
AT ITER 1489 NEW BEST:: SOT -1838176679 SOS 584375438 HAS SOPS 584375438 HAS SOUS 326208735 HAS SOUPS 326208735 WITH SCORE 3.26793110438E8
AT ITER 1564 NEW BEST:: SOT -1838183671 SOS 584368446 HAS SOPS 584368446 HAS SOUS 326201743 HAS SOUPS 326201743 WITH SCORE 3.26786111446E8
AT ITER 1574 NEW BEST:: SOT -1838186374 SOS 584363040 HAS SOPS 584363040 HAS SOUS 326196337 HAS SOUPS 326196337 WITH SCORE 3.2678070004E8
AT ITER 1587 NEW BEST:: SOT -1838192139 SOS 584385055 HAS SOPS 584385055 HAS SOUS 326182967 HAS SOUPS 326182967 WITH SCORE 3.26767352055E8
AT ITER 1631 NEW BEST:: SOT -1838191802 SOS 584376015 HAS SOPS 584376015 HAS SOUS 326178615 HAS SOUPS 326178615 WITH SCORE 3.26762991015E8
AT ITER 1646 NEW BEST:: SOT -1838191802 SOS 584376015 HAS SOPS 584376015 HAS SOUS 326176388 HAS SOUPS 326176388 WITH SCORE 3.26760764015E8
AT ITER 1661 NEW BEST:: SOT -1838191802 SOS 584393891 HAS SOPS 584393891 HAS SOUS 326170427 HAS SOUPS 326170427 WITH SCORE 3.26754820891E8
AT ITER 1754 NEW BEST:: SOT -1838191992 SOS 584393511 HAS SOPS 584393511 HAS SOUS 326169390 HAS SOUPS 326169390 WITH SCORE 3.26753783511E8
AT ITER 1763 NEW BEST:: SOT -1838191992 SOS 584386842 HAS SOPS 584386842 HAS SOUS 326167167 HAS SOUPS 326167167 WITH SCORE 3.26751553842E8
AT ITER 1823 NEW BEST:: SOT -1838196324 SOS 584391174 HAS SOPS 584391174 HAS SOUS 326159175 HAS SOUPS 326159175 WITH SCORE 3.26743566174E8
AT ITER 1828 NEW BEST:: SOT -1838196324 SOS 584370567 HAS SOPS 584370567 HAS SOUS 326159175 HAS SOUPS 326159175 WITH SCORE 3.26743545567E8
AT ITER 1848 NEW BEST:: SOT -1838196324 SOS 584366815 HAS SOPS 584366815 HAS SOUS 326155423 HAS SOUPS 326155423 WITH SCORE 3.26739789815E8
AT ITER 1890 NEW BEST:: SOT -1838196324 SOS 584383651 HAS SOPS 584383651 HAS SOUS 326152544 HAS SOUPS 326152544 WITH SCORE 3.26736927651E8
AT ITER 1894 NEW BEST:: SOT -1838196324 SOS 584403001 HAS SOPS 584403001 HAS SOUS 326148146 HAS SOUPS 326148146 WITH SCORE 3.26732549001E8
AT ITER 1896 NEW BEST:: SOT -1838196324 SOS 584386732 HAS SOPS 584386732 HAS SOUS 326148145 HAS SOUPS 326148145 WITH SCORE 3.26732531732E8
AT ITER 1912 NEW BEST:: SOT -1838198167 SOS 584386205 HAS SOPS 584386205 HAS SOUS 326146302 HAS SOUPS 326146302 WITH SCORE 3.26730688205E8
AT ITER 1919 NEW BEST:: SOT -1838198167 SOS 584380841 HAS SOPS 584380841 HAS SOUS 326144514 HAS SOUPS 326144514 WITH SCORE 3.26728894841E8
AT ITER 1923 NEW BEST:: SOT -1838198167 SOS 584373095 HAS SOPS 584373095 HAS SOUS 326141932 HAS SOUPS 326141932 WITH SCORE 3.26726305095E8
AT ITER 1974 NEW BEST:: SOT -1838205186 SOS 584380042 HAS SOPS 584380042 HAS SOUS 326141884 HAS SOUPS 326141884 WITH SCORE 3.26726264042E8
AT ITER 1975 NEW BEST:: SOT -1838215724 SOS 584375133 HAS SOPS 584375133 HAS SOUS 326136735 HAS SOUPS 326136735 WITH SCORE 3.26721110133E8
AT ITER 1982 NEW BEST:: SOT -1838216670 SOS 584373241 HAS SOPS 584373241 HAS SOUS 326134843 HAS SOUPS 326134843 WITH SCORE 3.26719216241E8
AT ITER 1991 NEW BEST:: SOT -1838226670 SOS 584363241 HAS SOPS 584363241 HAS SOUS 326124843 HAS SOUPS 326124843 WITH SCORE 3.26709206241E8
AT ITER 2003 NEW BEST:: SOT -1838229366 SOS 584357849 HAS SOPS 584357849 HAS SOUS 326122147 HAS SOUPS 326122147 WITH SCORE 3.26706504849E8
AT ITER 2072 NEW BEST:: SOT -1838239938 SOS 584304989 HAS SOPS 584304989 HAS SOUS 326101003 HAS SOUPS 326101003 WITH SCORE 3.26685307989E8
AT ITER 2110 NEW BEST:: SOT -1838240509 SOS 584303847 HAS SOPS 584303847 HAS SOUS 326100431 HAS SOUPS 326100431 WITH SCORE 3.26684734847E8
AT ITER 2117 NEW BEST:: SOT -1838245898 SOS 584320055 HAS SOPS 584320055 HAS SOUS 326096366 HAS SOUPS 326096366 WITH SCORE 3.26680686055E8
AT ITER 2181 NEW BEST:: SOT -1838247706 SOS 584312823 HAS SOPS 584312823 HAS SOUS 326094558 HAS SOUPS 326094558 WITH SCORE 3.26678870823E8
AT ITER 2187 NEW BEST:: SOT -1838250030 SOS 584308175 HAS SOPS 584308175 HAS SOUS 326089910 HAS SOUPS 326089910 WITH SCORE 3.26674218175E8
AT ITER 2202 NEW BEST:: SOT -1838250030 SOS 584299520 HAS SOPS 584299520 HAS SOUS 326089909 HAS SOUPS 326089909 WITH SCORE 3.2667420852E8
AT ITER 2250 NEW BEST:: SOT -1838256791 SOS 584297770 HAS SOPS 584297770 HAS SOUS 326088159 HAS SOUPS 326088159 WITH SCORE 3.2667245677E8
AT ITER 2269 NEW BEST:: SOT -1838256791 SOS 584289049 HAS SOPS 584289049 HAS SOUS 326085252 HAS SOUPS 326085252 WITH SCORE 3.26669541049E8
AT ITER 2284 NEW BEST:: SOT -1838252794 SOS 584297043 HAS SOPS 584297043 HAS SOUS 326075310 HAS SOUPS 326075310 WITH SCORE 3.26659607043E8
AT ITER 2292 NEW BEST:: SOT -1838264511 SOS 584291207 HAS SOPS 584291207 HAS SOUS 326069459 HAS SOUPS 326069459 WITH SCORE 3.26653750207E8
AT ITER 2325 NEW BEST:: SOT -1838274823 SOS 584286047 HAS SOPS 584286047 HAS SOUS 326064302 HAS SOUPS 326064302 WITH SCORE 3.26648588047E8
AT ITER 2377 NEW BEST:: SOT -1838275273 SOS 584284247 HAS SOPS 584284247 HAS SOUS 326063852 HAS SOUPS 326063852 WITH SCORE 3.26648136247E8
AT ITER 2412 NEW BEST:: SOT -1838280594 SOS 584273605 HAS SOPS 584273605 HAS SOUS 326053210 HAS SOUPS 326053210 WITH SCORE 3.26637483605E8
AT ITER 2416 NEW BEST:: SOT -1838286548 SOS 584279559 HAS SOPS 584279559 HAS SOUS 326043110 HAS SOUPS 326043110 WITH SCORE 3.26627389559E8
AT ITER 2422 NEW BEST:: SOT -1838295122 SOS 584339577 HAS SOPS 584339577 HAS SOUS 326034536 HAS SOUPS 326034536 WITH SCORE 3.26618875577E8
AT ITER 2427 NEW BEST:: SOT -1838303772 SOS 584348227 HAS SOPS 584348227 HAS SOUS 326022626 HAS SOUPS 326022626 WITH SCORE 3.26606974227E8
AT ITER 2447 NEW BEST:: SOT -1838307893 SOS 584344106 HAS SOPS 584344106 HAS SOUS 326018505 HAS SOUPS 326018505 WITH SCORE 3.26602849106E8
AT ITER 2449 NEW BEST:: SOT -1838314962 SOS 584365605 HAS SOPS 584365605 HAS SOUS 326013840 HAS SOUPS 326013840 WITH SCORE 3.26598205605E8
AT ITER 2485 NEW BEST:: SOT -1838314963 SOS 584365603 HAS SOPS 584365603 HAS SOUS 326013838 HAS SOUPS 326013838 WITH SCORE 3.26598203603E8
AT ITER 2515 NEW BEST:: SOT -1838325033 SOS 584360568 HAS SOPS 584360568 HAS SOUS 326008803 HAS SOUPS 326008803 WITH SCORE 3.26593163568E8
AT ITER 2537 NEW BEST:: SOT -1838329127 SOS 584368752 HAS SOPS 584368752 HAS SOUS 326004708 HAS SOUPS 326004708 WITH SCORE 3.26589076752E8
AT ITER 2538 NEW BEST:: SOT -1838329832 SOS 584367342 HAS SOPS 584367342 HAS SOUS 326003298 HAS SOUPS 326003298 WITH SCORE 3.26587665342E8
AT ITER 2657 NEW BEST:: SOT -1838333622 SOS 584359762 HAS SOPS 584359762 HAS SOUS 325995718 HAS SOUPS 325995718 WITH SCORE 3.26580077762E8
AT ITER 2668 NEW BEST:: SOT -1838333622 SOS 584359762 HAS SOPS 584359762 HAS SOUS 325995717 HAS SOUPS 325995717 WITH SCORE 3.26580076762E8
AT ITER 2712 NEW BEST:: SOT -1838339151 SOS 584348704 HAS SOPS 584348704 HAS SOUS 325984659 HAS SOUPS 325984659 WITH SCORE 3.26569007704E8
AT ITER 2737 NEW BEST:: SOT -1838342204 SOS 584342598 HAS SOPS 584342598 HAS SOUS 325984218 HAS SOUPS 325984218 WITH SCORE 3.26568560598E8
AT ITER 2758 NEW BEST:: SOT -1838353734 SOS 584331058 HAS SOPS 584331058 HAS SOUS 325972687 HAS SOUPS 325972687 WITH SCORE 3.26557018058E8
AT ITER 2769 NEW BEST:: SOT -1838353734 SOS 584321425 HAS SOPS 584321425 HAS SOUS 325969476 HAS SOUPS 325969476 WITH SCORE 3.26553797425E8
AT ITER 2795 NEW BEST:: SOT -1838353734 SOS 584306962 HAS SOPS 584306962 HAS SOUS 325964655 HAS SOUPS 325964655 WITH SCORE 3.26548961962E8
AT ITER 2820 NEW BEST:: SOT -1838353737 SOS 584306956 HAS SOPS 584306956 HAS SOUS 325964649 HAS SOUPS 325964649 WITH SCORE 3.26548955956E8
AT ITER 2822 NEW BEST:: SOT -1838349583 SOS 584355688 HAS SOPS 584355688 HAS SOUS 325959480 HAS SOUPS 325959480 WITH SCORE 3.26543835688E8
AT ITER 2823 NEW BEST:: SOT -1838358924 SOS 584348424 HAS SOPS 584348424 HAS SOUS 325951395 HAS SOUPS 325951395 WITH SCORE 3.26535743424E8
AT ITER 2916 NEW BEST:: SOT -1838358924 SOS 584348424 HAS SOPS 584348424 HAS SOUS 325951394 HAS SOUPS 325951394 WITH SCORE 3.26535742424E8
AT ITER 2919 NEW BEST:: SOT -1838358924 SOS 584373477 HAS SOPS 584373477 HAS SOUS 325946264 HAS SOUPS 325946264 WITH SCORE 3.26530637477E8
AT ITER 2952 NEW BEST:: SOT -1838368332 SOS 584392025 HAS SOPS 584392025 HAS SOUS 325927447 HAS SOUPS 325927447 WITH SCORE 3.26511839025E8
AT ITER 2964 NEW BEST:: SOT -1838374995 SOS 584414678 HAS SOPS 584414678 HAS SOUS 325923448 HAS SOUPS 325923448 WITH SCORE 3.26507862678E8
AT ITER 2968 NEW BEST:: SOT -1838374995 SOS 584403623 HAS SOPS 584403623 HAS SOUS 325919763 HAS SOUPS 325919763 WITH SCORE 3.26504166623E8
AT ITER 3010 NEW BEST:: SOT -1838374996 SOS 584403621 HAS SOPS 584403621 HAS SOUS 325919761 HAS SOUPS 325919761 WITH SCORE 3.26504164621E8
AT ITER 3029 NEW BEST:: SOT -1838384316 SOS 584424790 HAS SOPS 584424790 HAS SOUS 325901120 HAS SOUPS 325901120 WITH SCORE 3.2648554479E8
AT ITER 3060 NEW BEST:: SOT -1838385056 SOS 584424420 HAS SOPS 584424420 HAS SOUS 325900750 HAS SOUPS 325900750 WITH SCORE 3.2648517442E8
AT ITER 3069 NEW BEST:: SOT -1838386742 SOS 584424546 HAS SOPS 584424546 HAS SOUS 325900603 HAS SOUPS 325900603 WITH SCORE 3.26485027546E8
AT ITER 3072 NEW BEST:: SOT -1838389301 SOS 584429656 HAS SOPS 584429656 HAS SOUS 325898042 HAS SOUPS 325898042 WITH SCORE 3.26482471656E8
AT ITER 3087 NEW BEST:: SOT -1838389301 SOS 584415271 HAS SOPS 584415271 HAS SOUS 325898042 HAS SOUPS 325898042 WITH SCORE 3.26482457271E8
AT ITER 3088 NEW BEST:: SOT -1838389745 SOS 584415049 HAS SOPS 584415049 HAS SOUS 325897820 HAS SOUPS 325897820 WITH SCORE 3.26482235049E8
AT ITER 3128 NEW BEST:: SOT -1838398754 SOS 584408326 HAS SOPS 584408326 HAS SOUS 325891097 HAS SOUPS 325891097 WITH SCORE 3.26475505326E8
AT ITER 3170 NEW BEST:: SOT -1838401663 SOS 584402508 HAS SOPS 584402508 HAS SOUS 325885279 HAS SOUPS 325885279 WITH SCORE 3.26469681508E8
AT ITER 3189 NEW BEST:: SOT -1838412146 SOS 584400334 HAS SOPS 584400334 HAS SOUS 325881060 HAS SOUPS 325881060 WITH SCORE 3.26465460334E8
AT ITER 3235 NEW BEST:: SOT -1838418072 SOS 584441806 HAS SOPS 584441806 HAS SOUS 325869207 HAS SOUPS 325869207 WITH SCORE 3.26453648806E8
AT ITER 3236 NEW BEST:: SOT -1838422639 SOS 584405270 HAS SOPS 584405270 HAS SOUS 325860762 HAS SOUPS 325860762 WITH SCORE 3.2644516727E8
AT ITER 3247 NEW BEST:: SOT -1838432753 SOS 584395152 HAS SOPS 584395152 HAS SOUS 325850647 HAS SOUPS 325850647 WITH SCORE 3.26435042152E8
AT ITER 3357 NEW BEST:: SOT -1838432753 SOS 584395152 HAS SOPS 584395152 HAS SOUS 325850646 HAS SOUPS 325850646 WITH SCORE 3.26435041152E8
AT ITER 3360 NEW BEST:: SOT -1838439598 SOS 584381462 HAS SOPS 584381462 HAS SOUS 325836956 HAS SOUPS 325836956 WITH SCORE 3.26421337462E8
AT ITER 3377 NEW BEST:: SOT -1838442287 SOS 584378773 HAS SOPS 584378773 HAS SOUS 325834267 HAS SOUPS 325834267 WITH SCORE 3.26418645773E8
AT ITER 3420 NEW BEST:: SOT -1838450162 SOS 584372080 HAS SOPS 584372080 HAS SOUS 325827574 HAS SOUPS 325827574 WITH SCORE 3.2641194608E8
AT ITER 3504 NEW BEST:: SOT -1838457364 SOS 584367766 HAS SOPS 584367766 HAS SOUS 325823260 HAS SOUPS 325823260 WITH SCORE 3.26407627766E8
AT ITER 3507 NEW BEST:: SOT -1838461614 SOS 584376262 HAS SOPS 584376262 HAS SOUS 325819009 HAS SOUPS 325819009 WITH SCORE 3.26403385262E8
AT ITER 3601 NEW BEST:: SOT -1838464087 SOS 584371316 HAS SOPS 584371316 HAS SOUS 325807231 HAS SOUPS 325807231 WITH SCORE 3.26391602316E8
AT ITER 3619 NEW BEST:: SOT -1838464087 SOS 584363366 HAS SOPS 584363366 HAS SOUS 325804581 HAS SOUPS 325804581 WITH SCORE 3.26388944366E8
AT ITER 3632 NEW BEST:: SOT -1838468070 SOS 584355400 HAS SOPS 584355400 HAS SOUS 325796615 HAS SOUPS 325796615 WITH SCORE 3.263809704E8
AT ITER 3634 NEW BEST:: SOT -1838485451 SOS 584320638 HAS SOPS 584320638 HAS SOUS 325761853 HAS SOUPS 325761853 WITH SCORE 3.26346173638E8
AT ITER 3640 NEW BEST:: SOT -1838495718 SOS 584310367 HAS SOPS 584310367 HAS SOUS 325751585 HAS SOUPS 325751585 WITH SCORE 3.26335895367E8
AT ITER 3643 NEW BEST:: SOT -1838495718 SOS 584310363 HAS SOPS 584310363 HAS SOUS 325751584 HAS SOUPS 325751584 WITH SCORE 3.26335894363E8
AT ITER 3648 NEW BEST:: SOT -1838495718 SOS 584296488 HAS SOPS 584296488 HAS SOUS 325751584 HAS SOUPS 325751584 WITH SCORE 3.26335880488E8
AT ITER 3670 NEW BEST:: SOT -1838495719 SOS 584296486 HAS SOPS 584296486 HAS SOUS 325751582 HAS SOUPS 325751582 WITH SCORE 3.26335878486E8
AT ITER 3674 NEW BEST:: SOT -1838495719 SOS 584283979 HAS SOPS 584283979 HAS SOUS 325747413 HAS SOUPS 325747413 WITH SCORE 3.26331696979E8
AT ITER 3689 NEW BEST:: SOT -1838492130 SOS 584265615 HAS SOPS 584265615 HAS SOUS 325744282 HAS SOUPS 325744282 WITH SCORE 3.26328547615E8
AT ITER 3701 NEW BEST:: SOT -1838506917 SOS 584236041 HAS SOPS 584236041 HAS SOUS 325721602 HAS SOUPS 325721602 WITH SCORE 3.26305838041E8
AT ITER 3713 NEW BEST:: SOT -1838506917 SOS 584220639 HAS SOPS 584220639 HAS SOUS 325721601 HAS SOUPS 325721601 WITH SCORE 3.26305821639E8
AT ITER 3749 NEW BEST:: SOT -1838518939 SOS 584209832 HAS SOPS 584209832 HAS SOUS 325710794 HAS SOUPS 325710794 WITH SCORE 3.26295003832E8
AT ITER 3804 NEW BEST:: SOT -1838518939 SOS 584204931 HAS SOPS 584204931 HAS SOUS 325705893 HAS SOUPS 325705893 WITH SCORE 3.26290097931E8
AT ITER 3814 NEW BEST:: SOT -1838522053 SOS 584211159 HAS SOPS 584211159 HAS SOUS 325702797 HAS SOUPS 325702797 WITH SCORE 3.26287008159E8
AT ITER 3818 NEW BEST:: SOT -1838526141 SOS 584202983 HAS SOPS 584202983 HAS SOUS 325694621 HAS SOUPS 325694621 WITH SCORE 3.26278823983E8
AT ITER 3854 NEW BEST:: SOT -1838532312 SOS 584227952 HAS SOPS 584227952 HAS SOUS 325691582 HAS SOUPS 325691582 WITH SCORE 3.26275809952E8
AT ITER 3871 NEW BEST:: SOT -1838558100 SOS 584186944 HAS SOPS 584186944 HAS SOUS 325658338 HAS SOUPS 325658338 WITH SCORE 3.26242524944E8
AT ITER 3914 NEW BEST:: SOT -1838553577 SOS 584169008 HAS SOPS 584169008 HAS SOUS 325656128 HAS SOUPS 325656128 WITH SCORE 3.26240297008E8
AT ITER 3932 NEW BEST:: SOT -1838567529 SOS 584155056 HAS SOPS 584155056 HAS SOUS 325642176 HAS SOUPS 325642176 WITH SCORE 3.26226331056E8
AT ITER 3933 NEW BEST:: SOT -1838577281 SOS 584145304 HAS SOPS 584145304 HAS SOUS 325632424 HAS SOUPS 325632424 WITH SCORE 3.26216569304E8
AT ITER 3948 NEW BEST:: SOT -1838577281 SOS 584143401 HAS SOPS 584143401 HAS SOUS 325630521 HAS SOUPS 325630521 WITH SCORE 3.26214664401E8
AT ITER 3979 NEW BEST:: SOT -1838586734 SOS 584158478 HAS SOPS 584158478 HAS SOUS 325611614 HAS SOUPS 325611614 WITH SCORE 3.26195772478E8
AT ITER 3986 NEW BEST:: SOT -1838586734 SOS 584178929 HAS SOPS 584178929 HAS SOUS 325601386 HAS SOUPS 325601386 WITH SCORE 3.26185564929E8
AT ITER 3989 NEW BEST:: SOT -1838587962 SOS 584176473 HAS SOPS 584176473 HAS SOUS 325598930 HAS SOUPS 325598930 WITH SCORE 3.26183106473E8
AT ITER 4024 NEW BEST:: SOT -1838590509 SOS 584171379 HAS SOPS 584171379 HAS SOUS 325593836 HAS SOUPS 325593836 WITH SCORE 3.26178007379E8
AT ITER 4051 NEW BEST:: SOT -1838594425 SOS 584163547 HAS SOPS 584163547 HAS SOUS 325586004 HAS SOUPS 325586004 WITH SCORE 3.26170167547E8
AT ITER 4078 NEW BEST:: SOT -1838589672 SOS 584147367 HAS SOPS 584147367 HAS SOUS 325585548 HAS SOUPS 325585548 WITH SCORE 3.26169695367E8
AT ITER 4087 NEW BEST:: SOT -1838588059 SOS 584133430 HAS SOPS 584133430 HAS SOUS 325582246 HAS SOUPS 325582246 WITH SCORE 3.2616637943E8
AT ITER 4159 NEW BEST:: SOT -1838589974 SOS 584131515 HAS SOPS 584131515 HAS SOUS 325580331 HAS SOUPS 325580331 WITH SCORE 3.26164462515E8
AT ITER 4205 NEW BEST:: SOT -1838594661 SOS 584185455 HAS SOPS 584185455 HAS SOUS 325570956 HAS SOUPS 325570956 WITH SCORE 3.26155141455E8
AT ITER 4207 NEW BEST:: SOT -1838597542 SOS 584191209 HAS SOPS 584191209 HAS SOUS 325568073 HAS SOUPS 325568073 WITH SCORE 3.26152264209E8
AT ITER 4265 NEW BEST:: SOT -1838597542 SOS 584191209 HAS SOPS 584191209 HAS SOUS 325568000 HAS SOUPS 325568000 WITH SCORE 3.26152191209E8
AT ITER 4270 NEW BEST:: SOT -1838607949 SOS 584180798 HAS SOPS 584180798 HAS SOUS 325557592 HAS SOUPS 325557592 WITH SCORE 3.26141772798E8
AT ITER 4277 NEW BEST:: SOT -1838609186 SOS 584178324 HAS SOPS 584178324 HAS SOUS 325555118 HAS SOUPS 325555118 WITH SCORE 3.26139296324E8
AT ITER 4294 NEW BEST:: SOT -1838609186 SOS 584163282 HAS SOPS 584163282 HAS SOUS 325555118 HAS SOUPS 325555118 WITH SCORE 3.26139281282E8
AT ITER 4321 NEW BEST:: SOT -1838609186 SOS 584147451 HAS SOPS 584147451 HAS SOUS 325555117 HAS SOUPS 325555117 WITH SCORE 3.26139264451E8
AT ITER 4378 NEW BEST:: SOT -1838609398 SOS 584147027 HAS SOPS 584147027 HAS SOUS 325551360 HAS SOUPS 325551360 WITH SCORE 3.26135507027E8
AT ITER 4382 NEW BEST:: SOT -1838608943 SOS 584133249 HAS SOPS 584133249 HAS SOUS 325544926 HAS SOUPS 325544926 WITH SCORE 3.26129059249E8
AT ITER 4389 NEW BEST:: SOT -1838608945 SOS 584133245 HAS SOPS 584133245 HAS SOUS 325544922 HAS SOUPS 325544922 WITH SCORE 3.26129055245E8
AT ITER 4400 NEW BEST:: SOT -1838608945 SOS 584127296 HAS SOPS 584127296 HAS SOUS 325542939 HAS SOUPS 325542939 WITH SCORE 3.26127066296E8
AT ITER 4408 NEW BEST:: SOT -1838624136 SOS 584168281 HAS SOPS 584168281 HAS SOUS 325538960 HAS SOUPS 325538960 WITH SCORE 3.26123128281E8
AT ITER 4431 NEW BEST:: SOT -1838626204 SOS 584172413 HAS SOPS 584172413 HAS SOUS 325536891 HAS SOUPS 325536891 WITH SCORE 3.26121063413E8
AT ITER 4468 NEW BEST:: SOT -1838629417 SOS 584178839 HAS SOPS 584178839 HAS SOUS 325533678 HAS SOUPS 325533678 WITH SCORE 3.26117856839E8
AT ITER 4473 NEW BEST:: SOT -1838628027 SOS 584250027 HAS SOPS 584250027 HAS SOUS 325528855 HAS SOUPS 325528855 WITH SCORE 3.26113105027E8
AT ITER 4483 NEW BEST:: SOT -1838631719 SOS 584242643 HAS SOPS 584242643 HAS SOUS 325525163 HAS SOUPS 325525163 WITH SCORE 3.26109405643E8
AT ITER 4487 NEW BEST:: SOT -1838631719 SOS 584239797 HAS SOPS 584239797 HAS SOUS 325525163 HAS SOUPS 325525163 WITH SCORE 3.26109402797E8
AT ITER 4517 NEW BEST:: SOT -1838633393 SOS 584236449 HAS SOPS 584236449 HAS SOUS 325521815 HAS SOUPS 325521815 WITH SCORE 3.26106051449E8
AT ITER 4522 NEW BEST:: SOT -1838633393 SOS 584221737 HAS SOPS 584221737 HAS SOUS 325521814 HAS SOUPS 325521814 WITH SCORE 3.26106035737E8
AT ITER 4531 NEW BEST:: SOT -1838634015 SOS 584222355 HAS SOPS 584222355 HAS SOUS 325521813 HAS SOUPS 325521813 WITH SCORE 3.26106035355E8
AT ITER 4547 NEW BEST:: SOT -1838634015 SOS 584255955 HAS SOPS 584255955 HAS SOUS 325518348 HAS SOUPS 325518348 WITH SCORE 3.26102603955E8
AT ITER 4551 NEW BEST:: SOT -1838642128 SOS 584249644 HAS SOPS 584249644 HAS SOUS 325512040 HAS SOUPS 325512040 WITH SCORE 3.26096289644E8
AT ITER 4556 NEW BEST:: SOT -1838643017 SOS 584247866 HAS SOPS 584247866 HAS SOUS 325510262 HAS SOUPS 325510262 WITH SCORE 3.26094509866E8
AT ITER 4569 NEW BEST:: SOT -1838645084 SOS 584246488 HAS SOPS 584246488 HAS SOUS 325508884 HAS SOUPS 325508884 WITH SCORE 3.26093130488E8
AT ITER 4584 NEW BEST:: SOT -1838646431 SOS 584263953 HAS SOPS 584263953 HAS SOUS 325501821 HAS SOUPS 325501821 WITH SCORE 3.26086084953E8
AT ITER 4599 NEW BEST:: SOT -1838646431 SOS 584279910 HAS SOPS 584279910 HAS SOUS 325493840 HAS SOUPS 325493840 WITH SCORE 3.2607811991E8
AT ITER 4603 NEW BEST:: SOT -1838649349 SOS 584274074 HAS SOPS 584274074 HAS SOUS 325493808 HAS SOUPS 325493808 WITH SCORE 3.26078082074E8
AT ITER 4612 NEW BEST:: SOT -1838652119 SOS 584284626 HAS SOPS 584284626 HAS SOUS 325491038 HAS SOUPS 325491038 WITH SCORE 3.26075322626E8
AT ITER 4613 NEW BEST:: SOT -1838662391 SOS 584282043 HAS SOPS 584282043 HAS SOUS 325486753 HAS SOUPS 325486753 WITH SCORE 3.26071035043E8
AT ITER 4651 NEW BEST:: SOT -1838669672 SOS 584282033 HAS SOPS 584282033 HAS SOUS 325481580 HAS SOUPS 325481580 WITH SCORE 3.26065862033E8
AT ITER 4697 NEW BEST:: SOT -1838677140 SOS 584274561 HAS SOPS 584274561 HAS SOUS 325474111 HAS SOUPS 325474111 WITH SCORE 3.26058385561E8
AT ITER 4714 NEW BEST:: SOT -1838680963 SOS 584266915 HAS SOPS 584266915 HAS SOUS 325466465 HAS SOUPS 325466465 WITH SCORE 3.26050731915E8
AT ITER 4721 NEW BEST:: SOT -1838699775 SOS 584282556 HAS SOPS 584282556 HAS SOUS 325455044 HAS SOUPS 325455044 WITH SCORE 3.26039326556E8
AT ITER 4736 NEW BEST:: SOT -1838699775 SOS 584281602 HAS SOPS 584281602 HAS SOUS 325454567 HAS SOUPS 325454567 WITH SCORE 3.26038848602E8
AT ITER 4738 NEW BEST:: SOT -1838699775 SOS 584302367 HAS SOPS 584302367 HAS SOUS 325447643 HAS SOUPS 325447643 WITH SCORE 3.26031945367E8
AT ITER 4806 NEW BEST:: SOT -1838710888 SOS 584291250 HAS SOPS 584291250 HAS SOUS 325436529 HAS SOUPS 325436529 WITH SCORE 3.2602082025E8
AT ITER 4807 NEW BEST:: SOT -1838710899 SOS 584291228 HAS SOPS 584291228 HAS SOUS 325436507 HAS SOUPS 325436507 WITH SCORE 3.26020798228E8
AT ITER 4819 NEW BEST:: SOT -1838710899 SOS 584279171 HAS SOPS 584279171 HAS SOUS 325436506 HAS SOUPS 325436506 WITH SCORE 3.26020785171E8
AT ITER 4824 NEW BEST:: SOT -1838726647 SOS 584263423 HAS SOPS 584263423 HAS SOUS 325420758 HAS SOUPS 325420758 WITH SCORE 3.26005021423E8
AT ITER 4842 NEW BEST:: SOT -1838735846 SOS 584256400 HAS SOPS 584256400 HAS SOUS 325413735 HAS SOUPS 325413735 WITH SCORE 3.259979914E8
AT ITER 4851 NEW BEST:: SOT -1838733118 SOS 584261856 HAS SOPS 584261856 HAS SOUS 325404027 HAS SOUPS 325404027 WITH SCORE 3.25988288856E8
AT ITER 4854 NEW BEST:: SOT -1838734843 SOS 584258407 HAS SOPS 584258407 HAS SOUS 325400578 HAS SOUPS 325400578 WITH SCORE 3.25984836407E8
AT ITER 4886 NEW BEST:: SOT -1838885433 SOS 588243889 HAS SOPS 588243889 HAS SOUS 325287333 HAS SOUPS 325287333 WITH SCORE 3.25875576889E8
AT ITER 4892 NEW BEST:: SOT -1838889114 SOS 588251251 HAS SOPS 588251251 HAS SOUS 325283652 HAS SOUPS 325283652 WITH SCORE 3.25871903251E8
AT ITER 4895 NEW BEST:: SOT -1838897610 SOS 588247003 HAS SOPS 588247003 HAS SOUS 325275156 HAS SOUPS 325275156 WITH SCORE 3.25863403003E8
AT ITER 4907 NEW BEST:: SOT -1838897610 SOS 588239806 HAS SOPS 588239806 HAS SOUS 325272757 HAS SOUPS 325272757 WITH SCORE 3.25860996806E8
AT ITER 4910 NEW BEST:: SOT -1838897610 SOS 588225472 HAS SOPS 588225472 HAS SOUS 325267979 HAS SOUPS 325267979 WITH SCORE 3.25856204472E8
AT ITER 4929 NEW BEST:: SOT -1838897610 SOS 588219677 HAS SOPS 588219677 HAS SOUS 325267979 HAS SOUPS 325267979 WITH SCORE 3.25856198677E8
AT ITER 4968 NEW BEST:: SOT -1838901834 SOS 588211225 HAS SOPS 588211225 HAS SOUS 325259530 HAS SOUPS 325259530 WITH SCORE 3.25847741225E8
AT ITER 5028 NEW BEST:: SOT -1838905253 SOS 588204387 HAS SOPS 588204387 HAS SOUS 325251908 HAS SOUPS 325251908 WITH SCORE 3.25840112387E8
AT ITER 5040 NEW BEST:: SOT -1838920557 SOS 588196594 HAS SOPS 588196594 HAS SOUS 325241814 HAS SOUPS 325241814 WITH SCORE 3.25830010594E8
AT ITER 5046 NEW BEST:: SOT -1838920037 SOS 588193567 HAS SOPS 588193567 HAS SOUS 325238787 HAS SOUPS 325238787 WITH SCORE 3.25826980567E8
AT ITER 5059 NEW BEST:: SOT -1838925589 SOS 588182463 HAS SOPS 588182463 HAS SOUS 325227683 HAS SOUPS 325227683 WITH SCORE 3.25815865463E8
AT ITER 5069 NEW BEST:: SOT -1838937639 SOS 588176438 HAS SOPS 588176438 HAS SOUS 325221658 HAS SOUPS 325221658 WITH SCORE 3.25809834438E8
AT ITER 5083 NEW BEST:: SOT -1838940594 SOS 588170528 HAS SOPS 588170528 HAS SOUS 325215748 HAS SOUPS 325215748 WITH SCORE 3.25803918528E8
AT ITER 5086 NEW BEST:: SOT -1838940594 SOS 588170526 HAS SOPS 588170526 HAS SOUS 325215745 HAS SOUPS 325215745 WITH SCORE 3.25803915526E8
AT ITER 5133 NEW BEST:: SOT -1838941293 SOS 588169128 HAS SOPS 588169128 HAS SOUS 325214347 HAS SOUPS 325214347 WITH SCORE 3.25802516128E8
AT ITER 5178 NEW BEST:: SOT -1838955601 SOS 588154816 HAS SOPS 588154816 HAS SOUS 325200038 HAS SOUPS 325200038 WITH SCORE 3.25788192816E8
AT ITER 5179 NEW BEST:: SOT -1838957881 SOS 588150256 HAS SOPS 588150256 HAS SOUS 325197757 HAS SOUPS 325197757 WITH SCORE 3.25785907256E8
AT ITER 5220 NEW BEST:: SOT -1838957881 SOS 588135586 HAS SOPS 588135586 HAS SOUS 325192867 HAS SOUPS 325192867 WITH SCORE 3.25781002586E8
AT ITER 5254 NEW BEST:: SOT -1838957881 SOS 588151743 HAS SOPS 588151743 HAS SOUS 325184786 HAS SOUPS 325184786 WITH SCORE 3.25772937743E8
AT ITER 5320 NEW BEST:: SOT -1838961073 SOS 588145359 HAS SOPS 588145359 HAS SOUS 325178402 HAS SOUPS 325178402 WITH SCORE 3.25766547359E8
AT ITER 5354 NEW BEST:: SOT -1838963997 SOS 588139512 HAS SOPS 588139512 HAS SOUS 325172555 HAS SOUPS 325172555 WITH SCORE 3.25760694512E8
AT ITER 5359 NEW BEST:: SOT -1838979426 SOS 588108654 HAS SOPS 588108654 HAS SOUS 325141697 HAS SOUPS 325141697 WITH SCORE 3.25729805654E8
AT ITER 5361 NEW BEST:: SOT -1838979426 SOS 588102858 HAS SOPS 588102858 HAS SOUS 325139765 HAS SOUPS 325139765 WITH SCORE 3.25727867858E8
AT ITER 5400 NEW BEST:: SOT -1838982300 SOS 588099984 HAS SOPS 588099984 HAS SOUS 325136891 HAS SOUPS 325136891 WITH SCORE 3.25724990984E8
AT ITER 5402 NEW BEST:: SOT -1838982300 SOS 588090771 HAS SOPS 588090771 HAS SOUS 325133820 HAS SOUPS 325133820 WITH SCORE 3.25721910771E8
AT ITER 5414 NEW BEST:: SOT -1838990194 SOS 588146029 HAS SOPS 588146029 HAS SOUS 325125926 HAS SOUPS 325125926 WITH SCORE 3.25714072029E8
AT ITER 5437 NEW BEST:: SOT -1838990194 SOS 588146029 HAS SOPS 588146029 HAS SOUS 325125925 HAS SOUPS 325125925 WITH SCORE 3.25714071029E8
AT ITER 5442 NEW BEST:: SOT -1838990523 SOS 588145371 HAS SOPS 588145371 HAS SOUS 325125596 HAS SOUPS 325125596 WITH SCORE 3.25713741371E8
AT ITER 5445 NEW BEST:: SOT -1838990523 SOS 588130608 HAS SOPS 588130608 HAS SOUS 325125596 HAS SOUPS 325125596 WITH SCORE 3.25713726608E8
AT ITER 5537 NEW BEST:: SOT -1838991826 SOS 588129305 HAS SOPS 588129305 HAS SOUS 325124293 HAS SOUPS 325124293 WITH SCORE 3.25712422305E8
AT ITER 5562 NEW BEST:: SOT -1838994933 SOS 588123091 HAS SOPS 588123091 HAS SOUS 325121185 HAS SOUPS 325121185 WITH SCORE 3.25709308091E8
AT ITER 5563 NEW BEST:: SOT -1838997426 SOS 588128077 HAS SOPS 588128077 HAS SOUS 325119394 HAS SOUPS 325119394 WITH SCORE 3.25707522077E8
AT ITER 5565 NEW BEST:: SOT -1838997765 SOS 588127399 HAS SOPS 588127399 HAS SOUS 325118716 HAS SOUPS 325118716 WITH SCORE 3.25706843399E8
AT ITER 5623 NEW BEST:: SOT -1839006634 SOS 588118526 HAS SOPS 588118526 HAS SOUS 325109846 HAS SOUPS 325109846 WITH SCORE 3.25697964526E8
AT ITER 5654 NEW BEST:: SOT -1839006634 SOS 588118526 HAS SOPS 588118526 HAS SOUS 325109845 HAS SOUPS 325109845 WITH SCORE 3.25697963526E8
AT ITER 5659 NEW BEST:: SOT -1839009261 SOS 588123772 HAS SOPS 588123772 HAS SOUS 325107216 HAS SOUPS 325107216 WITH SCORE 3.25695339772E8
AT ITER 5708 NEW BEST:: SOT -1839012918 SOS 588116458 HAS SOPS 588116458 HAS SOUS 325105049 HAS SOUPS 325105049 WITH SCORE 3.25693165458E8
AT ITER 5713 NEW BEST:: SOT -1839022414 SOS 588111710 HAS SOPS 588111710 HAS SOUS 325100301 HAS SOUPS 325100301 WITH SCORE 3.2568841271E8
AT ITER 5759 NEW BEST:: SOT -1839022414 SOS 588111710 HAS SOPS 588111710 HAS SOUS 325100300 HAS SOUPS 325100300 WITH SCORE 3.2568841171E8
AT ITER 5778 NEW BEST:: SOT -1839033341 SOS 588100779 HAS SOPS 588100779 HAS SOUS 325089372 HAS SOUPS 325089372 WITH SCORE 3.25677472779E8
AT ITER 5790 NEW BEST:: SOT -1839035357 SOS 588084651 HAS SOPS 588084651 HAS SOUS 325085340 HAS SOUPS 325085340 WITH SCORE 3.25673424651E8
AT ITER 5812 NEW BEST:: SOT -1839043201 SOS 588076803 HAS SOPS 588076803 HAS SOUS 325077495 HAS SOUPS 325077495 WITH SCORE 3.25665571803E8
AT ITER 5820 NEW BEST:: SOT -1839045106 SOS 588077472 HAS SOPS 588077472 HAS SOUS 325077083 HAS SOUPS 325077083 WITH SCORE 3.25665160472E8
AT ITER 5888 NEW BEST:: SOT -1839045106 SOS 588073726 HAS SOPS 588073726 HAS SOUS 325075210 HAS SOUPS 325075210 WITH SCORE 3.25663283726E8
AT ITER 5890 NEW BEST:: SOT -1839047286 SOS 588069362 HAS SOPS 588069362 HAS SOUS 325070849 HAS SOUPS 325070849 WITH SCORE 3.25658918362E8
AT ITER 5896 NEW BEST:: SOT -1839047286 SOS 588089938 HAS SOPS 588089938 HAS SOUS 325063988 HAS SOUPS 325063988 WITH SCORE 3.25652077938E8
AT ITER 5924 NEW BEST:: SOT -1839048906 SOS 588086698 HAS SOPS 588086698 HAS SOUS 325060748 HAS SOUPS 325060748 WITH SCORE 3.25648834698E8
AT ITER 5965 NEW BEST:: SOT -1839047181 SOS 588067981 HAS SOPS 588067981 HAS SOUS 325055946 HAS SOUPS 325055946 WITH SCORE 3.25644013981E8
AT ITER 5968 NEW BEST:: SOT -1839047827 SOS 588067980 HAS SOPS 588067980 HAS SOUS 325055945 HAS SOUPS 325055945 WITH SCORE 3.2564401298E8
AT ITER 5999 NEW BEST:: SOT -1839047827 SOS 588067980 HAS SOPS 588067980 HAS SOUS 325055944 HAS SOUPS 325055944 WITH SCORE 3.2564401198E8
AT ITER 6012 NEW BEST:: SOT -1839049211 SOS 588066596 HAS SOPS 588066596 HAS SOUS 325054560 HAS SOUPS 325054560 WITH SCORE 3.25642626596E8
AT ITER 6173 NEW BEST:: SOT -1839049458 SOS 588066102 HAS SOPS 588066102 HAS SOUS 325054066 HAS SOUPS 325054066 WITH SCORE 3.25642132102E8
AT ITER 6192 NEW BEST:: SOT -1839051068 SOS 588062882 HAS SOPS 588062882 HAS SOUS 325050846 HAS SOUPS 325050846 WITH SCORE 3.25638908882E8
AT ITER 6217 NEW BEST:: SOT -1839056950 SOS 588045236 HAS SOPS 588045236 HAS SOUS 325043221 HAS SOUPS 325043221 WITH SCORE 3.25631266236E8
AT ITER 6232 NEW BEST:: SOT -1839067703 SOS 588041991 HAS SOPS 588041991 HAS SOUS 325038555 HAS SOUPS 325038555 WITH SCORE 3.25626596991E8
AT ITER 6246 NEW BEST:: SOT -1839078885 SOS 588036396 HAS SOPS 588036396 HAS SOUS 325032963 HAS SOUPS 325032963 WITH SCORE 3.25620999396E8
AT ITER 6264 NEW BEST:: SOT -1839078885 SOS 588029668 HAS SOPS 588029668 HAS SOUS 325029599 HAS SOUPS 325029599 WITH SCORE 3.25617628668E8
AT ITER 6274 NEW BEST:: SOT -1839081840 SOS 588023758 HAS SOPS 588023758 HAS SOUS 325023689 HAS SOUPS 325023689 WITH SCORE 3.25611712758E8
AT ITER 6309 NEW BEST:: SOT -1839090311 SOS 588032225 HAS SOPS 588032225 HAS SOUS 325006746 HAS SOUPS 325006746 WITH SCORE 3.25594778225E8
AT ITER 6329 NEW BEST:: SOT -1839090311 SOS 588032225 HAS SOPS 588032225 HAS SOUS 325006745 HAS SOUPS 325006745 WITH SCORE 3.25594777225E8
AT ITER 6348 NEW BEST:: SOT -1839093826 SOS 588025195 HAS SOPS 588025195 HAS SOUS 325003230 HAS SOUPS 325003230 WITH SCORE 3.25591255195E8
AT ITER 6350 NEW BEST:: SOT -1839103832 SOS 588025195 HAS SOPS 588025195 HAS SOUS 324991279 HAS SOUPS 324991279 WITH SCORE 3.25579304195E8
AT ITER 6364 NEW BEST:: SOT -1839105108 SOS 588022643 HAS SOPS 588022643 HAS SOUS 324990002 HAS SOUPS 324990002 WITH SCORE 3.25578024643E8
AT ITER 6372 NEW BEST:: SOT -1839105108 SOS 588023807 HAS SOPS 588023807 HAS SOUS 324990000 HAS SOUPS 324990000 WITH SCORE 3.25578023807E8
AT ITER 6380 NEW BEST:: SOT -1839108642 SOS 588016735 HAS SOPS 588016735 HAS SOUS 324982931 HAS SOUPS 324982931 WITH SCORE 3.25570947735E8
AT ITER 6402 NEW BEST:: SOT -1839110937 SOS 588014440 HAS SOPS 588014440 HAS SOUS 324978341 HAS SOUPS 324978341 WITH SCORE 3.2556635544E8
AT ITER 6411 NEW BEST:: SOT -1839125469 SOS 587999904 HAS SOPS 587999904 HAS SOUS 324963808 HAS SOUPS 324963808 WITH SCORE 3.25551807904E8
AT ITER 6430 NEW BEST:: SOT -1839134268 SOS 587991105 HAS SOPS 587991105 HAS SOUS 324955009 HAS SOUPS 324955009 WITH SCORE 3.25543000105E8
AT ITER 6446 NEW BEST:: SOT -1839137370 SOS 587989788 HAS SOPS 587989788 HAS SOUS 324952281 HAS SOUPS 324952281 WITH SCORE 3.25540270788E8
AT ITER 6485 NEW BEST:: SOT -1839137370 SOS 587988016 HAS SOPS 587988016 HAS SOUS 324950509 HAS SOUPS 324950509 WITH SCORE 3.25538497016E8
AT ITER 6494 NEW BEST:: SOT -1839138190 SOS 587986376 HAS SOPS 587986376 HAS SOUS 324948869 HAS SOUPS 324948869 WITH SCORE 3.25536855376E8
AT ITER 6567 NEW BEST:: SOT -1839138193 SOS 587986370 HAS SOPS 587986370 HAS SOUS 324948863 HAS SOUPS 324948863 WITH SCORE 3.2553684937E8
AT ITER 6590 NEW BEST:: SOT -1839132778 SOS 587997200 HAS SOPS 587997200 HAS SOUS 324947280 HAS SOUPS 324947280 WITH SCORE 3.255352772E8
AT ITER 6617 NEW BEST:: SOT -1839134614 SOS 587997200 HAS SOPS 587997200 HAS SOUS 324946362 HAS SOUPS 324946362 WITH SCORE 3.255343592E8
AT ITER 6666 NEW BEST:: SOT -1839134614 SOS 588010546 HAS SOPS 588010546 HAS SOUS 324944877 HAS SOUPS 324944877 WITH SCORE 3.25532887546E8
AT ITER 6686 NEW BEST:: SOT -1839134614 SOS 587998506 HAS SOPS 587998506 HAS SOUS 324940687 HAS SOUPS 324940687 WITH SCORE 3.25528685506E8
AT ITER 6701 NEW BEST:: SOT -1839134614 SOS 587987220 HAS SOPS 587987220 HAS SOUS 324940686 HAS SOUPS 324940686 WITH SCORE 3.2552867322E8
AT ITER 6718 NEW BEST:: SOT -1839134723 SOS 587987002 HAS SOPS 587987002 HAS SOUS 324940468 HAS SOUPS 324940468 WITH SCORE 3.25528455002E8
AT ITER 6750 NEW BEST:: SOT -1839142703 SOS 587979022 HAS SOPS 587979022 HAS SOUS 324932488 HAS SOUPS 324932488 WITH SCORE 3.25520467022E8
AT ITER 6761 NEW BEST:: SOT -1839142703 SOS 587978221 HAS SOPS 587978221 HAS SOUS 324931687 HAS SOUPS 324931687 WITH SCORE 3.25519665221E8
AT ITER 6764 NEW BEST:: SOT -1839142703 SOS 587978221 HAS SOPS 587978221 HAS SOUS 324931686 HAS SOUPS 324931686 WITH SCORE 3.25519664221E8
AT ITER 6813 NEW BEST:: SOT -1839148682 SOS 587984196 HAS SOPS 587984196 HAS SOUS 324929564 HAS SOUPS 324929564 WITH SCORE 3.25517548196E8
AT ITER 6817 NEW BEST:: SOT -1839150773 SOS 587984790 HAS SOPS 587984790 HAS SOUS 324929065 HAS SOUPS 324929065 WITH SCORE 3.2551704979E8
AT ITER 6859 NEW BEST:: SOT -1839158123 SOS 588001112 HAS SOPS 588001112 HAS SOUS 324913320 HAS SOUPS 324913320 WITH SCORE 3.25501321112E8
AT ITER 6872 NEW BEST:: SOT -1839158124 SOS 588001110 HAS SOPS 588001110 HAS SOUS 324913318 HAS SOUPS 324913318 WITH SCORE 3.2550131911E8
AT ITER 6890 NEW BEST:: SOT -1839158746 SOS 587999866 HAS SOPS 587999866 HAS SOUS 324908274 HAS SOUPS 324908274 WITH SCORE 3.25496273866E8
AT ITER 6893 NEW BEST:: SOT -1839159607 SOS 588001584 HAS SOPS 588001584 HAS SOUS 324907412 HAS SOUPS 324907412 WITH SCORE 3.25495413584E8
AT ITER 6976 NEW BEST:: SOT -1839170174 SOS 587999659 HAS SOPS 587999659 HAS SOUS 324903248 HAS SOUPS 324903248 WITH SCORE 3.25491247659E8
AT ITER 6981 NEW BEST:: SOT -1839171205 SOS 587997597 HAS SOPS 587997597 HAS SOUS 324897372 HAS SOUPS 324897372 WITH SCORE 3.25485369597E8
AT ITER 6982 NEW BEST:: SOT -1839171205 SOS 587993447 HAS SOPS 587993447 HAS SOUS 324895297 HAS SOUPS 324895297 WITH SCORE 3.25483290447E8
AT ITER 6988 NEW BEST:: SOT -1839165703 SOS 588048787 HAS SOPS 588048787 HAS SOUS 324891520 HAS SOUPS 324891520 WITH SCORE 3.25479568787E8
AT ITER 6992 NEW BEST:: SOT -1839166837 SOS 588048786 HAS SOPS 588048786 HAS SOUS 324891519 HAS SOUPS 324891519 WITH SCORE 3.25479567786E8
AT ITER 6995 NEW BEST:: SOT -1839173270 SOS 588035920 HAS SOPS 588035920 HAS SOUS 324878653 HAS SOUPS 324878653 WITH SCORE 3.2546668892E8
AT ITER 7002 NEW BEST:: SOT -1839169909 SOS 588109925 HAS SOPS 588109925 HAS SOUS 324877897 HAS SOUPS 324877897 WITH SCORE 3.25466006925E8
AT ITER 7099 NEW BEST:: SOT -1839176742 SOS 588109921 HAS SOPS 588109921 HAS SOUS 324871063 HAS SOUPS 324871063 WITH SCORE 3.25459172921E8
AT ITER 7101 NEW BEST:: SOT -1839176742 SOS 588140167 HAS SOPS 588140167 HAS SOUS 324868738 HAS SOUPS 324868738 WITH SCORE 3.25456878167E8
AT ITER 7114 NEW BEST:: SOT -1839177452 SOS 588138748 HAS SOPS 588138748 HAS SOUS 324867319 HAS SOUPS 324867319 WITH SCORE 3.25455457748E8
AT ITER 7145 NEW BEST:: SOT -1839181869 SOS 588147574 HAS SOPS 588147574 HAS SOUS 324862900 HAS SOUPS 324862900 WITH SCORE 3.25451047574E8
AT ITER 7160 NEW BEST:: SOT -1839186760 SOS 588207190 HAS SOPS 588207190 HAS SOUS 324853117 HAS SOUPS 324853117 WITH SCORE 3.2544132419E8
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="DLCflexbar-PT-8b"
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 DLCflexbar-PT-8b, 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-158902542200448"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DLCflexbar-PT-8b.tgz
mv DLCflexbar-PT-8b 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 '
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 ;