Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r323-tall-167889194500264.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
......................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is RERS2020-PT-pb106, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r323-tall-167889194500264
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 71M
-rw-r--r-- 1 mcc users 7.8K Feb 26 08:20 CTLCardinality.txt
-rw-r--r-- 1 mcc users 88K Feb 26 08:20 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Feb 26 08:17 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 26 08:17 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:40 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 16:40 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 25 16:40 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:40 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.1K Feb 26 08:28 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 64K Feb 26 08:28 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.7K Feb 26 08:23 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 26 08:23 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:40 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:40 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 70M Mar 5 18:23 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 1679491699304

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

Filename model.pnml
Petri model created: 2041 places, 125740 transitions, 498326 arcs.
AT ITER 0 NEW BEST:: SOT 126106208 SOS 89181763 HAS SOPS 82224396 HAS SOUS 24019507 HAS SOUPS 23943530 WITH SCORE 2.4032711763E7
AT ITER 3 NEW BEST:: SOT 126106274 SOS 89185656 HAS SOPS 82228289 HAS SOUS 24019401 HAS SOUPS 23943424 WITH SCORE 2.4032609656E7
AT ITER 7 NEW BEST:: SOT 126094536 SOS 89174699 HAS SOPS 82216611 HAS SOUS 23974735 HAS SOUPS 23898758 WITH SCORE 2.3987932699E7
AT ITER 27 NEW BEST:: SOT 126116009 SOS 89196518 HAS SOPS 82232159 HAS SOUS 23938011 HAS SOUPS 23861918 WITH SCORE 2.3951114518E7
AT ITER 44 NEW BEST:: SOT 126116360 SOS 89196772 HAS SOPS 82232195 HAS SOUS 23935576 HAS SOUPS 23859483 WITH SCORE 2.3948679772E7
AT ITER 47 NEW BEST:: SOT 126132242 SOS 89213379 HAS SOPS 82249278 HAS SOUS 23913851 HAS SOUPS 23837758 WITH SCORE 2.3926971379E7
AT ITER 93 NEW BEST:: SOT 126132181 SOS 89213392 HAS SOPS 82249291 HAS SOUS 23913820 HAS SOUPS 23837727 WITH SCORE 2.3926940392E7
AT ITER 95 NEW BEST:: SOT 126133230 SOS 89214500 HAS SOPS 82250063 HAS SOUS 23911734 HAS SOUPS 23835641 WITH SCORE 2.39248555E7
AT ITER 99 NEW BEST:: SOT 126105865 SOS 89187254 HAS SOPS 82222515 HAS SOUS 23864208 HAS SOUPS 23788115 WITH SCORE 2.3877302254E7
AT ITER 107 NEW BEST:: SOT 126105758 SOS 89185795 HAS SOPS 82221056 HAS SOUS 23864059 HAS SOUPS 23787966 WITH SCORE 2.3877151795E7
AT ITER 112 NEW BEST:: SOT 126106804 SOS 89186519 HAS SOPS 82221696 HAS SOUS 23862586 HAS SOUPS 23786493 WITH SCORE 2.3875679519E7
AT ITER 119 NEW BEST:: SOT 126092289 SOS 89172004 HAS SOPS 82206789 HAS SOUS 23852537 HAS SOUPS 23776444 WITH SCORE 2.3865616004E7
AT ITER 121 NEW BEST:: SOT 126092210 SOS 89171846 HAS SOPS 82206631 HAS SOUS 23852300 HAS SOUPS 23776207 WITH SCORE 2.3865378846E7
AT ITER 124 NEW BEST:: SOT 126103765 SOS 89183658 HAS SOPS 82193966 HAS SOUS 23846497 HAS SOUPS 23770404 WITH SCORE 2.3859587658E7
AT ITER 126 NEW BEST:: SOT 126113242 SOS 89196301 HAS SOPS 82205828 HAS SOUS 23844664 HAS SOUPS 23769123 WITH SCORE 2.3858319301E7
AT ITER 142 NEW BEST:: SOT 126011919 SOS 89094443 HAS SOPS 82103970 HAS SOUS 23738431 HAS SOUPS 23662890 WITH SCORE 2.3751984443E7
AT ITER 152 NEW BEST:: SOT 126014182 SOS 89138187 HAS SOPS 82146936 HAS SOUS 23736642 HAS SOUPS 23661001 WITH SCORE 2.3750139187E7
AT ITER 157 NEW BEST:: SOT 126002002 SOS 89126007 HAS SOPS 82134476 HAS SOUS 23722712 HAS SOUPS 23647071 WITH SCORE 2.3736197007E7
AT ITER 171 NEW BEST:: SOT 125432772 SOS 88556481 HAS SOPS 81563580 HAS SOUS 23143434 HAS SOUPS 23067757 WITH SCORE 2.3156313481E7
AT ITER 175 NEW BEST:: SOT 125414504 SOS 88538606 HAS SOPS 81546789 HAS SOUS 23120113 HAS SOUPS 23044436 WITH SCORE 2.3132974606E7
AT ITER 186 NEW BEST:: SOT 125411404 SOS 88535396 HAS SOPS 81544873 HAS SOUS 23115893 HAS SOUPS 23040216 WITH SCORE 2.3128751396E7
AT ITER 190 NEW BEST:: SOT 125420917 SOS 88535792 HAS SOPS 81538559 HAS SOUS 23102497 HAS SOUPS 23021052 WITH SCORE 2.3109587792E7
AT ITER 219 NEW BEST:: SOT 125420788 SOS 88530594 HAS SOPS 81533361 HAS SOUS 23102497 HAS SOUPS 23021052 WITH SCORE 2.3109582594E7
AT ITER 222 NEW BEST:: SOT 125420710 SOS 88511372 HAS SOPS 81513732 HAS SOUS 23100571 HAS SOUPS 23019126 WITH SCORE 2.3107637372E7
AT ITER 225 NEW BEST:: SOT 125451518 SOS 88543395 HAS SOPS 81545804 HAS SOUS 23082553 HAS SOUPS 23001108 WITH SCORE 2.3089651395E7
AT ITER 235 NEW BEST:: SOT 125451296 SOS 88543350 HAS SOPS 81545671 HAS SOUS 23082073 HAS SOUPS 23000628 WITH SCORE 2.308917135E7
AT ITER 239 NEW BEST:: SOT 125451375 SOS 88543508 HAS SOPS 81545829 HAS SOUS 23082030 HAS SOUPS 23000585 WITH SCORE 2.3089128508E7
AT ITER 259 NEW BEST:: SOT 125450946 SOS 88542905 HAS SOPS 81546553 HAS SOUS 23077157 HAS SOUPS 22995712 WITH SCORE 2.3084254905E7
AT ITER 264 NEW BEST:: SOT 125446101 SOS 88538022 HAS SOPS 81542278 HAS SOUS 23070735 HAS SOUPS 22989613 WITH SCORE 2.3078151022E7
AT ITER 278 NEW BEST:: SOT 125446331 SOS 88536256 HAS SOPS 81544326 HAS SOUS 23069127 HAS SOUPS 22988097 WITH SCORE 2.3076633256E7
AT ITER 289 NEW BEST:: SOT 125447070 SOS 88610158 HAS SOPS 81618011 HAS SOUS 23069018 HAS SOUPS 22987988 WITH SCORE 2.3076598158E7
AT ITER 292 NEW BEST:: SOT 125439100 SOS 88600426 HAS SOPS 81596568 HAS SOUS 23066956 HAS SOUPS 22973557 WITH SCORE 2.3062157426E7
AT ITER 296 NEW BEST:: SOT 125439070 SOS 88600392 HAS SOPS 81596548 HAS SOUS 23066912 HAS SOUPS 22973513 WITH SCORE 2.3062113392E7
AT ITER 311 NEW BEST:: SOT 125107361 SOS 88269030 HAS SOPS 81264604 HAS SOUS 22668042 HAS SOUPS 22574643 WITH SCORE 2.266291203E7
AT ITER 315 NEW BEST:: SOT 125105349 SOS 88267078 HAS SOPS 81262664 HAS SOUS 22665694 HAS SOUPS 22572295 WITH SCORE 2.2660562078E7
AT ITER 316 NEW BEST:: SOT 125091801 SOS 88256971 HAS SOPS 81255495 HAS SOUS 22664433 HAS SOUPS 22571034 WITH SCORE 2.2659290971E7
AT ITER 334 NEW BEST:: SOT 125098321 SOS 88264411 HAS SOPS 81263635 HAS SOUS 22661351 HAS SOUPS 22567952 WITH SCORE 2.2656216411E7
AT ITER 365 NEW BEST:: SOT 125156273 SOS 88325483 HAS SOPS 81334988 HAS SOUS 22654880 HAS SOUPS 22561081 WITH SCORE 2.2649406483E7
AT ITER 370 NEW BEST:: SOT 125156322 SOS 88323657 HAS SOPS 81333162 HAS SOUS 22654839 HAS SOUPS 22561040 WITH SCORE 2.2649363657E7
AT ITER 376 NEW BEST:: SOT 125168554 SOS 88336078 HAS SOPS 81341853 HAS SOUS 22649228 HAS SOUPS 22555429 WITH SCORE 2.2643765078E7
AT ITER 379 NEW BEST:: SOT 125160715 SOS 88327762 HAS SOPS 81335302 HAS SOUS 22609893 HAS SOUPS 22516481 WITH SCORE 2.2604808762E7
AT ITER 382 NEW BEST:: SOT 125165042 SOS 88332908 HAS SOPS 81340241 HAS SOUS 22596035 HAS SOUPS 22502623 WITH SCORE 2.2590955908E7
AT ITER 391 NEW BEST:: SOT 125222520 SOS 88390097 HAS SOPS 81375623 HAS SOUS 22595065 HAS SOUPS 22499673 WITH SCORE 2.2588063097E7
AT ITER 400 NEW BEST:: SOT 125216572 SOS 88385087 HAS SOPS 81369981 HAS SOUS 22554522 HAS SOUPS 22459130 WITH SCORE 2.2547515087E7
AT ITER 412 NEW BEST:: SOT 125220476 SOS 88390817 HAS SOPS 81373879 HAS SOUS 22518573 HAS SOUPS 22423181 WITH SCORE 2.2511571817E7
AT ITER 420 NEW BEST:: SOT 125165304 SOS 88334834 HAS SOPS 81310298 HAS SOUS 22425128 HAS SOUPS 22329736 WITH SCORE 2.2418070834E7
AT ITER 421 NEW BEST:: SOT 125163711 SOS 88333738 HAS SOPS 81308610 HAS SOUS 22402110 HAS SOUPS 22306718 WITH SCORE 2.2395051738E7
AT ITER 430 NEW BEST:: SOT 125169483 SOS 88340144 HAS SOPS 81315207 HAS SOUS 22381458 HAS SOUPS 22286066 WITH SCORE 2.2374406144E7
AT ITER 432 NEW BEST:: SOT 125162493 SOS 88332997 HAS SOPS 81306046 HAS SOUS 22369862 HAS SOUPS 22274470 WITH SCORE 2.2362802997E7
AT ITER 453 NEW BEST:: SOT 125159063 SOS 88329812 HAS SOPS 81302878 HAS SOUS 22361914 HAS SOUPS 22266522 WITH SCORE 2.2354851812E7
AT ITER 454 NEW BEST:: SOT 125181419 SOS 88384068 HAS SOPS 81354101 HAS SOUS 22352104 HAS SOUPS 22256843 WITH SCORE 2.2345227068E7
AT ITER 460 NEW BEST:: SOT 125177651 SOS 88380284 HAS SOPS 81352018 HAS SOUS 22349842 HAS SOUPS 22255321 WITH SCORE 2.2343701284E7
AT ITER 461 NEW BEST:: SOT 125177800 SOS 88380759 HAS SOPS 81351794 HAS SOUS 22346102 HAS SOUPS 22251581 WITH SCORE 2.2339961759E7
AT ITER 469 NEW BEST:: SOT 125177920 SOS 88381195 HAS SOPS 81351922 HAS SOUS 22345906 HAS SOUPS 22251383 WITH SCORE 2.2339764195E7
AT ITER 480 NEW BEST:: SOT 125185945 SOS 88389809 HAS SOPS 81360574 HAS SOUS 22344873 HAS SOUPS 22250350 WITH SCORE 2.2338739809E7
AT ITER 483 NEW BEST:: SOT 125184845 SOS 88388893 HAS SOPS 81358588 HAS SOUS 22338607 HAS SOUPS 22244084 WITH SCORE 2.2332472893E7
AT ITER 498 NEW BEST:: SOT 125174183 SOS 88378204 HAS SOPS 81345129 HAS SOUS 22320179 HAS SOUPS 22225656 WITH SCORE 2.2314034204E7
AT ITER 500 NEW BEST:: SOT 125150263 SOS 88354284 HAS SOPS 81321321 HAS SOUS 22294342 HAS SOUPS 22199819 WITH SCORE 2.2288173284E7
AT ITER 501 NEW BEST:: SOT 125150223 SOS 88354264 HAS SOPS 81321291 HAS SOUS 22294322 HAS SOUPS 22199799 WITH SCORE 2.2288153264E7
AT ITER 505 NEW BEST:: SOT 125147085 SOS 88350964 HAS SOPS 81313879 HAS SOUS 22287897 HAS SOUPS 22193374 WITH SCORE 2.2281724964E7
AT ITER 508 NEW BEST:: SOT 124974973 SOS 87965602 HAS SOPS 80908699 HAS SOUS 22112947 HAS SOUPS 21991787 WITH SCORE 2.2079752602E7
AT ITER 509 NEW BEST:: SOT 124974845 SOS 87965581 HAS SOPS 80908568 HAS SOUS 22112356 HAS SOUPS 21991196 WITH SCORE 2.2079161581E7
AT ITER 515 NEW BEST:: SOT 124947366 SOS 87969580 HAS SOPS 80922737 HAS SOUS 22108909 HAS SOUPS 21988044 WITH SCORE 2.207601358E7
AT ITER 525 NEW BEST:: SOT 124947091 SOS 87821015 HAS SOPS 80774172 HAS SOUS 22108357 HAS SOUPS 21987492 WITH SCORE 2.2075313015E7
AT ITER 527 NEW BEST:: SOT 124947789 SOS 87821863 HAS SOPS 80774292 HAS SOUS 22105964 HAS SOUPS 21985099 WITH SCORE 2.2072920863E7
AT ITER 530 NEW BEST:: SOT 124947545 SOS 87821643 HAS SOPS 80774023 HAS SOUS 22104760 HAS SOUPS 21983895 WITH SCORE 2.2071716643E7
AT ITER 549 NEW BEST:: SOT 124939610 SOS 87813816 HAS SOPS 80762910 HAS SOUS 22093809 HAS SOUPS 21972944 WITH SCORE 2.2060757816E7
AT ITER 551 NEW BEST:: SOT 124942352 SOS 87817006 HAS SOPS 80758608 HAS SOUS 22089634 HAS SOUPS 21967291 WITH SCORE 2.2055108006E7
AT ITER 582 NEW BEST:: SOT 124941432 SOS 87812597 HAS SOPS 80756691 HAS SOUS 22082633 HAS SOUPS 21960333 WITH SCORE 2.2048145597E7
AT ITER 643 NEW BEST:: SOT 124941166 SOS 87812338 HAS SOPS 80756446 HAS SOUS 22081954 HAS SOUPS 21959654 WITH SCORE 2.2047466338E7
AT ITER 659 NEW BEST:: SOT 124940087 SOS 87811161 HAS SOPS 80753634 HAS SOUS 22070215 HAS SOUPS 21948242 WITH SCORE 2.2036053161E7
AT ITER 661 NEW BEST:: SOT 124939386 SOS 87810439 HAS SOPS 80752742 HAS SOUS 22068108 HAS SOUPS 21946169 WITH SCORE 2.2033979439E7
AT ITER 674 NEW BEST:: SOT 124939571 SOS 87807255 HAS SOPS 80749558 HAS SOUS 22067165 HAS SOUPS 21945226 WITH SCORE 2.2033033255E7
AT ITER 677 NEW BEST:: SOT 124941153 SOS 87808835 HAS SOPS 80750850 HAS SOUS 22063993 HAS SOUPS 21942054 WITH SCORE 2.2029862835E7
AT ITER 679 NEW BEST:: SOT 125170471 SOS 88036093 HAS SOPS 80972583 HAS SOUS 22016116 HAS SOUPS 21894192 WITH SCORE 2.1982228093E7
AT ITER 680 NEW BEST:: SOT 125171331 SOS 88036859 HAS SOPS 80973349 HAS SOUS 22015181 HAS SOUPS 21893257 WITH SCORE 2.1981293859E7
AT ITER 683 NEW BEST:: SOT 125169989 SOS 88035579 HAS SOPS 80971817 HAS SOUS 22012661 HAS SOUPS 21890773 WITH SCORE 2.1978808579E7
AT ITER 687 NEW BEST:: SOT 125219040 SOS 88107220 HAS SOPS 81051112 HAS SOUS 21992570 HAS SOUPS 21870828 WITH SCORE 2.195893522E7
AT ITER 693 NEW BEST:: SOT 125218733 SOS 88105857 HAS SOPS 81047836 HAS SOUS 21992292 HAS SOUPS 21870550 WITH SCORE 2.1958655857E7
AT ITER 698 NEW BEST:: SOT 125214937 SOS 88101817 HAS SOPS 81042418 HAS SOUS 21990537 HAS SOUPS 21868795 WITH SCORE 2.1956896817E7
AT ITER 703 NEW BEST:: SOT 125210076 SOS 88097023 HAS SOPS 81037800 HAS SOUS 21983908 HAS SOUPS 21862166 WITH SCORE 2.1950263023E7
AT ITER 714 NEW BEST:: SOT 125199084 SOS 88085835 HAS SOPS 81026169 HAS SOUS 21967727 HAS SOUPS 21845985 WITH SCORE 2.1934070835E7
AT ITER 722 NEW BEST:: SOT 125200828 SOS 88088071 HAS SOPS 81027551 HAS SOUS 21965714 HAS SOUPS 21843972 WITH SCORE 2.1932060071E7
AT ITER 739 NEW BEST:: SOT 125196373 SOS 88083935 HAS SOPS 81024305 HAS SOUS 21952763 HAS SOUPS 21830850 WITH SCORE 2.1918933935E7
AT ITER 741 NEW BEST:: SOT 125192110 SOS 88079614 HAS SOPS 81019868 HAS SOUS 21945281 HAS SOUPS 21823368 WITH SCORE 2.1911447614E7
AT ITER 759 NEW BEST:: SOT 125191573 SOS 88078586 HAS SOPS 81019121 HAS SOUS 21945102 HAS SOUPS 21823189 WITH SCORE 2.1911267586E7
AT ITER 769 NEW BEST:: SOT 125177092 SOS 88063990 HAS SOPS 81004015 HAS SOUS 21897022 HAS SOUPS 21775109 WITH SCORE 2.186317299E7
AT ITER 770 NEW BEST:: SOT 125192058 SOS 88080243 HAS SOPS 81018101 HAS SOUS 21870772 HAS SOUPS 21748859 WITH SCORE 2.1836939243E7
AT ITER 772 NEW BEST:: SOT 125167890 SOS 88089915 HAS SOPS 81047008 HAS SOUS 21847444 HAS SOUPS 21744964 WITH SCORE 2.1833053915E7
AT ITER 774 NEW BEST:: SOT 125168608 SOS 88090575 HAS SOPS 81046892 HAS SOUS 21842808 HAS SOUPS 21740328 WITH SCORE 2.1828418575E7
AT ITER 780 NEW BEST:: SOT 125166756 SOS 88088506 HAS SOPS 81042639 HAS SOUS 21787028 HAS SOUPS 21684548 WITH SCORE 2.1772636506E7
AT ITER 787 NEW BEST:: SOT 125165442 SOS 88087132 HAS SOPS 81041298 HAS SOUS 21784582 HAS SOUPS 21682102 WITH SCORE 2.1770189132E7
AT ITER 791 NEW BEST:: SOT 125165018 SOS 88086708 HAS SOPS 81040866 HAS SOUS 21783830 HAS SOUPS 21681350 WITH SCORE 2.1769436708E7
AT ITER 797 NEW BEST:: SOT 125180861 SOS 88102180 HAS SOPS 81055563 HAS SOUS 21769197 HAS SOUPS 21666717 WITH SCORE 2.175481918E7
AT ITER 798 NEW BEST:: SOT 125166377 SOS 88111024 HAS SOPS 81064109 HAS SOUS 21756009 HAS SOUPS 21653529 WITH SCORE 2.1741640024E7
AT ITER 805 NEW BEST:: SOT 125165929 SOS 88110576 HAS SOPS 81063645 HAS SOUS 21755169 HAS SOUPS 21652689 WITH SCORE 2.1740799576E7
AT ITER 811 NEW BEST:: SOT 125164966 SOS 88109519 HAS SOPS 81063716 HAS SOUS 21748190 HAS SOUPS 21645616 WITH SCORE 2.1733725519E7
AT ITER 822 NEW BEST:: SOT 125169564 SOS 88114572 HAS SOPS 81066588 HAS SOUS 21743340 HAS SOUPS 21640766 WITH SCORE 2.1728880572E7
AT ITER 855 NEW BEST:: SOT 125168256 SOS 88113328 HAS SOPS 81065456 HAS SOUS 21741834 HAS SOUPS 21639260 WITH SCORE 2.1727373328E7
AT ITER 866 NEW BEST:: SOT 125162094 SOS 88107124 HAS SOPS 81059660 HAS SOUS 21741499 HAS SOUPS 21638925 WITH SCORE 2.1727032124E7
AT ITER 870 NEW BEST:: SOT 125157980 SOS 88102779 HAS SOPS 81055513 HAS SOUS 21739246 HAS SOUPS 21636672 WITH SCORE 2.1724774779E7
AT ITER 875 NEW BEST:: SOT 125166814 SOS 88130458 HAS SOPS 81080822 HAS SOUS 21733582 HAS SOUPS 21631059 WITH SCORE 2.1719189458E7
AT ITER 878 NEW BEST:: SOT 125166812 SOS 88130454 HAS SOPS 81080818 HAS SOUS 21733578 HAS SOUPS 21631055 WITH SCORE 2.1719185454E7
AT ITER 880 NEW BEST:: SOT 125161014 SOS 88107673 HAS SOPS 81059640 HAS SOUS 21731628 HAS SOUPS 21629105 WITH SCORE 2.1717212673E7
AT ITER 881 NEW BEST:: SOT 125219335 SOS 88174266 HAS SOPS 81126891 HAS SOUS 21701767 HAS SOUPS 21599104 WITH SCORE 2.1687278266E7
AT ITER 884 NEW BEST:: SOT 125220866 SOS 88176371 HAS SOPS 81127791 HAS SOUS 21699859 HAS SOUPS 21597196 WITH SCORE 2.1685372371E7
AT ITER 886 NEW BEST:: SOT 125224194 SOS 88180861 HAS SOPS 81126797 HAS SOUS 21696808 HAS SOUPS 21594145 WITH SCORE 2.1682325861E7
AT ITER 897 NEW BEST:: SOT 125215489 SOS 88173436 HAS SOPS 81115280 HAS SOUS 21663488 HAS SOUPS 21560823 WITH SCORE 2.1648996436E7
AT ITER 902 NEW BEST:: SOT 125266494 SOS 88223972 HAS SOPS 81166211 HAS SOUS 21647161 HAS SOUPS 21544496 WITH SCORE 2.1632719972E7
AT ITER 921 NEW BEST:: SOT 125261950 SOS 88219634 HAS SOPS 81158753 HAS SOUS 21626762 HAS SOUPS 21524146 WITH SCORE 2.1612365634E7
AT ITER 928 NEW BEST:: SOT 125259455 SOS 88131505 HAS SOPS 81068583 HAS SOUS 21623210 HAS SOUPS 21520594 WITH SCORE 2.1608725505E7
AT ITER 945 NEW BEST:: SOT 125259250 SOS 88131301 HAS SOPS 81068360 HAS SOUS 21622980 HAS SOUPS 21520364 WITH SCORE 2.1608495301E7
AT ITER 956 NEW BEST:: SOT 125257849 SOS 88129888 HAS SOPS 81069234 HAS SOUS 21618230 HAS SOUPS 21515614 WITH SCORE 2.1603743888E7
AT ITER 959 NEW BEST:: SOT 125349792 SOS 88221263 HAS SOPS 81158220 HAS SOUS 21559761 HAS SOUPS 21457145 WITH SCORE 2.1545366263E7
AT ITER 976 NEW BEST:: SOT 125381013 SOS 88250870 HAS SOPS 81184167 HAS SOUS 21508270 HAS SOUPS 21405654 WITH SCORE 2.149390487E7
AT ITER 977 NEW BEST:: SOT 125367752 SOS 88237900 HAS SOPS 81172126 HAS SOUS 21492649 HAS SOUPS 21389818 WITH SCORE 2.14780559E7
AT ITER 999 NEW BEST:: SOT 125367794 SOS 88237605 HAS SOPS 81171831 HAS SOUS 21492454 HAS SOUPS 21389623 WITH SCORE 2.1477860605E7
AT ITER 1035 NEW BEST:: SOT 125378051 SOS 88250012 HAS SOPS 81176504 HAS SOUS 21489343 HAS SOUPS 21386512 WITH SCORE 2.1474762012E7
AT ITER 1037 NEW BEST:: SOT 125378269 SOS 88250123 HAS SOPS 81176930 HAS SOUS 21488315 HAS SOUPS 21385520 WITH SCORE 2.1473770123E7
AT ITER 1062 NEW BEST:: SOT 125319611 SOS 88261472 HAS SOPS 81197975 HAS SOUS 21483185 HAS SOUPS 21380390 WITH SCORE 2.1468651472E7
AT ITER 1069 NEW BEST:: SOT 125319548 SOS 88261436 HAS SOPS 81197924 HAS SOUS 21483045 HAS SOUPS 21380250 WITH SCORE 2.1468511436E7
AT ITER 1073 NEW BEST:: SOT 125319566 SOS 88261454 HAS SOPS 81197942 HAS SOUS 21482883 HAS SOUPS 21380088 WITH SCORE 2.1468349454E7
AT ITER 1074 NEW BEST:: SOT 125346178 SOS 88287740 HAS SOPS 81222985 HAS SOUS 21481257 HAS SOUPS 21378462 WITH SCORE 2.146674974E7
AT ITER 1075 NEW BEST:: SOT 125340404 SOS 88282257 HAS SOPS 81217579 HAS SOUS 21454683 HAS SOUPS 21351888 WITH SCORE 2.1440170257E7
AT ITER 1092 NEW BEST:: SOT 125361732 SOS 88303308 HAS SOPS 81238567 HAS SOUS 21448965 HAS SOUPS 21346170 WITH SCORE 2.1434473308E7
AT ITER 1093 NEW BEST:: SOT 125357543 SOS 88299125 HAS SOPS 81234384 HAS SOUS 21444930 HAS SOUPS 21342135 WITH SCORE 2.1430434125E7
AT ITER 1097 NEW BEST:: SOT 125353175 SOS 88294341 HAS SOPS 81229184 HAS SOUS 21442674 HAS SOUPS 21339879 WITH SCORE 2.1428173341E7
AT ITER 1098 NEW BEST:: SOT 125374722 SOS 88319103 HAS SOPS 81235352 HAS SOUS 21404903 HAS SOUPS 21302235 WITH SCORE 2.1390554103E7
AT ITER 1100 NEW BEST:: SOT 125411046 SOS 88364038 HAS SOPS 81278597 HAS SOUS 21404455 HAS SOUPS 21301787 WITH SCORE 2.1390151038E7
AT ITER 1105 NEW BEST:: SOT 125510831 SOS 88486055 HAS SOPS 81407021 HAS SOUS 21356236 HAS SOUPS 21253720 WITH SCORE 2.1342206055E7
AT ITER 1133 NEW BEST:: SOT 125507160 SOS 88482384 HAS SOPS 81402815 HAS SOUS 21345399 HAS SOUPS 21242883 WITH SCORE 2.1331365384E7
AT ITER 1154 NEW BEST:: SOT 125506956 SOS 88403936 HAS SOPS 81322649 HAS SOUS 21340990 HAS SOUPS 21238474 WITH SCORE 2.1326877936E7
AT ITER 1155 NEW BEST:: SOT 125504465 SOS 88401392 HAS SOPS 81319893 HAS SOUS 21333941 HAS SOUPS 21231425 WITH SCORE 2.1319826392E7
AT ITER 1163 NEW BEST:: SOT 125540948 SOS 88437083 HAS SOPS 81333058 HAS SOUS 21291049 HAS SOUPS 21188929 WITH SCORE 2.1277366083E7
AT ITER 1167 NEW BEST:: SOT 125613285 SOS 88511596 HAS SOPS 81407840 HAS SOUS 21285440 HAS SOUPS 21183320 WITH SCORE 2.1271831596E7
AT ITER 1169 NEW BEST:: SOT 125612371 SOS 88644506 HAS SOPS 81538642 HAS SOUS 21283133 HAS SOUPS 21180740 WITH SCORE 2.1269384506E7
AT ITER 1170 NEW BEST:: SOT 125612773 SOS 88644705 HAS SOPS 81538765 HAS SOUS 21280195 HAS SOUPS 21177832 WITH SCORE 2.1266476705E7
AT ITER 1220 NEW BEST:: SOT 125594582 SOS 88605919 HAS SOPS 81502185 HAS SOUS 21273161 HAS SOUPS 21170633 WITH SCORE 2.1259238919E7
AT ITER 1230 NEW BEST:: SOT 125561065 SOS 88571886 HAS SOPS 81467830 HAS SOUS 21265096 HAS SOUPS 21162568 WITH SCORE 2.1251139886E7
AT ITER 1236 NEW BEST:: SOT 125555313 SOS 88566272 HAS SOPS 81461812 HAS SOUS 21257874 HAS SOUPS 21155346 WITH SCORE 2.1243912272E7
AT ITER 1238 NEW BEST:: SOT 125555313 SOS 88563290 HAS SOPS 81458774 HAS SOUS 21257848 HAS SOUPS 21155320 WITH SCORE 2.124388329E7
AT ITER 1239 NEW BEST:: SOT 125555203 SOS 88563192 HAS SOPS 81458674 HAS SOUS 21257614 HAS SOUPS 21155086 WITH SCORE 2.1243649192E7
AT ITER 1279 NEW BEST:: SOT 125555593 SOS 88669772 HAS SOPS 81499954 HAS SOUS 21257251 HAS SOUPS 21154615 WITH SCORE 2.1243284772E7
AT ITER 1288 NEW BEST:: SOT 125555768 SOS 88670357 HAS SOPS 81500254 HAS SOUS 21248286 HAS SOUPS 21145650 WITH SCORE 2.1234320357E7
AT ITER 1289 NEW BEST:: SOT 125641023 SOS 88757689 HAS SOPS 81561478 HAS SOUS 21243625 HAS SOUPS 21140989 WITH SCORE 2.1229746689E7
AT ITER 1292 NEW BEST:: SOT 125629300 SOS 88745716 HAS SOPS 81549724 HAS SOUS 21236125 HAS SOUPS 21133489 WITH SCORE 2.1222234716E7
AT ITER 1322 NEW BEST:: SOT 125632498 SOS 88748566 HAS SOPS 81551914 HAS SOUS 21235259 HAS SOUPS 21132623 WITH SCORE 2.1221371566E7
AT ITER 1326 NEW BEST:: SOT 125637947 SOS 88753597 HAS SOPS 81557015 HAS SOUS 21215680 HAS SOUPS 21113044 WITH SCORE 2.1201797597E7
AT ITER 1327 NEW BEST:: SOT 125637596 SOS 88753246 HAS SOPS 81556424 HAS SOUS 21214708 HAS SOUPS 21112072 WITH SCORE 2.1200825246E7
AT ITER 1336 NEW BEST:: SOT 125652581 SOS 88768080 HAS SOPS 81571434 HAS SOUS 21211162 HAS SOUPS 21108526 WITH SCORE 2.119729408E7
AT ITER 1354 NEW BEST:: SOT 125651533 SOS 88766790 HAS SOPS 81570804 HAS SOUS 21209175 HAS SOUPS 21106539 WITH SCORE 2.119530579E7
AT ITER 1357 NEW BEST:: SOT 125651581 SOS 88766856 HAS SOPS 81570858 HAS SOUS 21209157 HAS SOUPS 21106521 WITH SCORE 2.1195287856E7
AT ITER 1370 NEW BEST:: SOT 125667702 SOS 88784131 HAS SOPS 81567668 HAS SOUS 21182040 HAS SOUPS 21079458 WITH SCORE 2.1168242131E7
AT ITER 1376 NEW BEST:: SOT 125673804 SOS 88790233 HAS SOPS 81574368 HAS SOUS 21180381 HAS SOUPS 21077799 WITH SCORE 2.1166589233E7
AT ITER 1385 NEW BEST:: SOT 125673685 SOS 88790055 HAS SOPS 81574157 HAS SOUS 21179779 HAS SOUPS 21077197 WITH SCORE 2.1165987055E7
AT ITER 1388 NEW BEST:: SOT 125666383 SOS 88782753 HAS SOPS 81566977 HAS SOUS 21173150 HAS SOUPS 21070568 WITH SCORE 2.1159350753E7
AT ITER 1390 NEW BEST:: SOT 125666263 SOS 88782633 HAS SOPS 81566833 HAS SOUS 21172838 HAS SOUPS 21070256 WITH SCORE 2.1159038633E7
AT ITER 1392 NEW BEST:: SOT 125645622 SOS 88799811 HAS SOPS 81596802 HAS SOUS 21166168 HAS SOUPS 21064585 WITH SCORE 2.1153384811E7
AT ITER 1397 NEW BEST:: SOT 125615239 SOS 88759881 HAS SOPS 81551917 HAS SOUS 21117554 HAS SOUPS 21016254 WITH SCORE 2.1105013881E7
AT ITER 1405 NEW BEST:: SOT 125636820 SOS 88785109 HAS SOPS 81576638 HAS SOUS 21099100 HAS SOUPS 20997893 WITH SCORE 2.1086678109E7
AT ITER 1407 NEW BEST:: SOT 125650533 SOS 88797633 HAS SOPS 81587765 HAS SOUS 21084645 HAS SOUPS 20983438 WITH SCORE 2.1072235633E7
AT ITER 1409 NEW BEST:: SOT 125650697 SOS 88797796 HAS SOPS 81587928 HAS SOUS 21084369 HAS SOUPS 20983162 WITH SCORE 2.1071959796E7
AT ITER 1418 NEW BEST:: SOT 125649101 SOS 88796623 HAS SOPS 81578570 HAS SOUS 21076853 HAS SOUPS 20975586 WITH SCORE 2.1064382623E7
AT ITER 1440 NEW BEST:: SOT 125668073 SOS 88815917 HAS SOPS 81590816 HAS SOUS 21075450 HAS SOUPS 20974183 WITH SCORE 2.1062998917E7
AT ITER 1441 NEW BEST:: SOT 125667809 SOS 88815428 HAS SOPS 81589339 HAS SOUS 21065860 HAS SOUPS 20964593 WITH SCORE 2.1053408428E7
AT ITER 1442 NEW BEST:: SOT 125668209 SOS 88815868 HAS SOPS 81589819 HAS SOUS 21065300 HAS SOUPS 20964033 WITH SCORE 2.1052848868E7
AT ITER 1443 NEW BEST:: SOT 125668073 SOS 88811736 HAS SOPS 81585687 HAS SOUS 21063533 HAS SOUPS 20962266 WITH SCORE 2.1051077736E7
AT ITER 1444 NEW BEST:: SOT 125666421 SOS 88810084 HAS SOPS 81584035 HAS SOUS 21048741 HAS SOUPS 20947474 WITH SCORE 2.1036284084E7
AT ITER 1504 NEW BEST:: SOT 125660530 SOS 88785896 HAS SOPS 81556116 HAS SOUS 21040451 HAS SOUPS 20939184 WITH SCORE 2.1027969896E7
AT ITER 1511 NEW BEST:: SOT 125667104 SOS 88777055 HAS SOPS 81555478 HAS SOUS 21030411 HAS SOUPS 20929255 WITH SCORE 2.1018032055E7
AT ITER 1513 NEW BEST:: SOT 125667699 SOS 88777551 HAS SOPS 81555816 HAS SOUS 21029300 HAS SOUPS 20928144 WITH SCORE 2.1016921551E7
AT ITER 1521 NEW BEST:: SOT 125653529 SOS 88765461 HAS SOPS 81546691 HAS SOUS 21023259 HAS SOUPS 20922103 WITH SCORE 2.1010868461E7
AT ITER 1534 NEW BEST:: SOT 125651875 SOS 88755606 HAS SOPS 81521339 HAS SOUS 21017556 HAS SOUPS 20916400 WITH SCORE 2.1005155606E7
AT ITER 1554 NEW BEST:: SOT 125651688 SOS 88755508 HAS SOPS 81521241 HAS SOUS 21017381 HAS SOUPS 20916225 WITH SCORE 2.1004980508E7
AT ITER 1556 NEW BEST:: SOT 125650862 SOS 88754682 HAS SOPS 81520238 HAS SOUS 21015906 HAS SOUPS 20914750 WITH SCORE 2.1003504682E7
AT ITER 1559 NEW BEST:: SOT 125651135 SOS 88755040 HAS SOPS 81520196 HAS SOUS 21014965 HAS SOUPS 20913809 WITH SCORE 2.100256404E7
AT ITER 1560 NEW BEST:: SOT 125655492 SOS 88762716 HAS SOPS 81514751 HAS SOUS 21012980 HAS SOUPS 20911764 WITH SCORE 2.1000526716E7
AT ITER 1564 NEW BEST:: SOT 125662792 SOS 88770538 HAS SOPS 81513333 HAS SOUS 21006005 HAS SOUPS 20904789 WITH SCORE 2.0993559538E7
AT ITER 1571 NEW BEST:: SOT 125653780 SOS 88761315 HAS SOPS 81504260 HAS SOUS 20997782 HAS SOUPS 20896566 WITH SCORE 2.0985327315E7
AT ITER 1577 NEW BEST:: SOT 125654074 SOS 88761528 HAS SOPS 81504473 HAS SOUS 20997176 HAS SOUPS 20895960 WITH SCORE 2.0984721528E7
AT ITER 1578 NEW BEST:: SOT 125654074 SOS 88761512 HAS SOPS 81504457 HAS SOUS 20997176 HAS SOUPS 20895960 WITH SCORE 2.0984721512E7
AT ITER 1583 NEW BEST:: SOT 125655645 SOS 88756650 HAS SOPS 81506966 HAS SOUS 20995971 HAS SOUPS 20894814 WITH SCORE 2.098357065E7
AT ITER 1586 NEW BEST:: SOT 125653622 SOS 88754627 HAS SOPS 81504977 HAS SOUS 20994358 HAS SOUPS 20893201 WITH SCORE 2.0981955627E7
AT ITER 1596 NEW BEST:: SOT 125651723 SOS 88753345 HAS SOPS 81503320 HAS SOUS 20987184 HAS SOUPS 20886027 WITH SCORE 2.0974780345E7
AT ITER 1605 NEW BEST:: SOT 125650228 SOS 88751856 HAS SOPS 81501307 HAS SOUS 20986405 HAS SOUPS 20885248 WITH SCORE 2.0973999856E7
AT ITER 1607 NEW BEST:: SOT 125650774 SOS 88712752 HAS SOPS 81488779 HAS SOUS 20983505 HAS SOUPS 20882445 WITH SCORE 2.0971157752E7
AT ITER 1618 NEW BEST:: SOT 125666623 SOS 88728793 HAS SOPS 81504591 HAS SOUS 20979693 HAS SOUPS 20878633 WITH SCORE 2.0967361793E7
AT ITER 1619 NEW BEST:: SOT 125658676 SOS 88720749 HAS SOPS 81496497 HAS SOUS 20971094 HAS SOUPS 20870034 WITH SCORE 2.0958754749E7
AT ITER 1620 NEW BEST:: SOT 125662698 SOS 88725056 HAS SOPS 81501148 HAS SOUS 20970578 HAS SOUPS 20869518 WITH SCORE 2.0958243056E7
AT ITER 1621 NEW BEST:: SOT 125662363 SOS 88724785 HAS SOPS 81500810 HAS SOUS 20969786 HAS SOUPS 20868726 WITH SCORE 2.0957450785E7
AT ITER 1630 NEW BEST:: SOT 125662919 SOS 88725341 HAS SOPS 81501315 HAS SOUS 20969628 HAS SOUPS 20868568 WITH SCORE 2.0957293341E7
AT ITER 1639 NEW BEST:: SOT 125676313 SOS 88745074 HAS SOPS 81540271 HAS SOUS 20926135 HAS SOUPS 20839235 WITH SCORE 2.0927980074E7
AT ITER 1641 NEW BEST:: SOT 125670817 SOS 88740133 HAS SOPS 81534662 HAS SOUS 20904464 HAS SOUPS 20817564 WITH SCORE 2.0906304133E7
AT ITER 1642 NEW BEST:: SOT 125670596 SOS 88739871 HAS SOPS 81533340 HAS SOUS 20899098 HAS SOUPS 20812198 WITH SCORE 2.0900937871E7
AT ITER 1647 NEW BEST:: SOT 125854345 SOS 88947184 HAS SOPS 81747129 HAS SOUS 20842724 HAS SOUPS 20755353 WITH SCORE 2.0844300184E7
AT ITER 1663 NEW BEST:: SOT 125856247 SOS 88950160 HAS SOPS 81750381 HAS SOUS 20832143 HAS SOUPS 20744772 WITH SCORE 2.083372216E7
AT ITER 1678 NEW BEST:: SOT 125904331 SOS 87310675 HAS SOPS 81393444 HAS SOUS 20816598 HAS SOUPS 20713944 WITH SCORE 2.0801254675E7
AT ITER 1684 NEW BEST:: SOT 125908143 SOS 87314119 HAS SOPS 81396704 HAS SOUS 20810411 HAS SOUPS 20707780 WITH SCORE 2.0795094119E7
AT ITER 1687 NEW BEST:: SOT 125901021 SOS 87307204 HAS SOPS 81389291 HAS SOUS 20789573 HAS SOUPS 20686942 WITH SCORE 2.0774249204E7
AT ITER 1695 NEW BEST:: SOT 125903178 SOS 87468834 HAS SOPS 81473554 HAS SOUS 20789637 HAS SOUPS 20686773 WITH SCORE 2.0774241834E7
AT ITER 1715 NEW BEST:: SOT 125921920 SOS 87486856 HAS SOPS 81491074 HAS SOUS 20787766 HAS SOUPS 20684902 WITH SCORE 2.0772388856E7
AT ITER 1721 NEW BEST:: SOT 125906844 SOS 87471400 HAS SOPS 81475216 HAS SOUS 20761456 HAS SOUPS 20658592 WITH SCORE 2.07460634E7
AT ITER 1739 NEW BEST:: SOT 125868851 SOS 87433454 HAS SOPS 81436753 HAS SOUS 20715565 HAS SOUPS 20612701 WITH SCORE 2.0700134454E7
AT ITER 1746 NEW BEST:: SOT 125884247 SOS 87450562 HAS SOPS 81450401 HAS SOUS 20715081 HAS SOUPS 20612217 WITH SCORE 2.0699667562E7
AT ITER 1755 NEW BEST:: SOT 125884720 SOS 87663658 HAS SOPS 81539236 HAS SOUS 20712582 HAS SOUPS 20609513 WITH SCORE 2.0697176658E7
AT ITER 1766 NEW BEST:: SOT 125885986 SOS 87665476 HAS SOPS 81540776 HAS SOUS 20698531 HAS SOUPS 20595462 WITH SCORE 2.0683127476E7
AT ITER 1774 NEW BEST:: SOT 126112768 SOS 87897890 HAS SOPS 81769063 HAS SOUS 20581962 HAS SOUPS 20478374 WITH SCORE 2.056627189E7
AT ITER 1779 NEW BEST:: SOT 126112264 SOS 87895874 HAS SOPS 81768427 HAS SOUS 20581378 HAS SOUPS 20477794 WITH SCORE 2.0565689874E7
AT ITER 1784 NEW BEST:: SOT 126112526 SOS 87899662 HAS SOPS 81777553 HAS SOUS 20579435 HAS SOUPS 20475888 WITH SCORE 2.0563787662E7
AT ITER 1793 NEW BEST:: SOT 126112916 SOS 87900052 HAS SOPS 81778021 HAS SOUS 20579305 HAS SOUPS 20475758 WITH SCORE 2.0563658052E7
AT ITER 1802 NEW BEST:: SOT 126112896 SOS 87896297 HAS SOPS 81774266 HAS SOUS 20579244 HAS SOUPS 20475697 WITH SCORE 2.0563593297E7
AT ITER 1806 NEW BEST:: SOT 126099798 SOS 87883199 HAS SOPS 81761168 HAS SOUS 20566146 HAS SOUPS 20462599 WITH SCORE 2.0550482199E7
AT ITER 1826 NEW BEST:: SOT 126098947 SOS 87884519 HAS SOPS 81762488 HAS SOUS 20566118 HAS SOUPS 20462571 WITH SCORE 2.0550455519E7
AT ITER 1827 NEW BEST:: SOT 126099017 SOS 87884589 HAS SOPS 81761322 HAS SOUS 20562815 HAS SOUPS 20459048 WITH SCORE 2.0546932589E7
AT ITER 1838 NEW BEST:: SOT 126083452 SOS 87868004 HAS SOPS 81744951 HAS SOUS 20541669 HAS SOUPS 20437902 WITH SCORE 2.0525770004E7
AT ITER 1849 NEW BEST:: SOT 126084437 SOS 87856307 HAS SOPS 81730928 HAS SOUS 20528710 HAS SOUPS 20425017 WITH SCORE 2.0512873307E7
AT ITER 1856 NEW BEST:: SOT 126074751 SOS 87840653 HAS SOPS 81712567 HAS SOUS 20507665 HAS SOUPS 20403972 WITH SCORE 2.0491812653E7
AT ITER 1867 NEW BEST:: SOT 126070880 SOS 87836843 HAS SOPS 81708641 HAS SOUS 20502766 HAS SOUPS 20399073 WITH SCORE 2.0486909843E7
AT ITER 1875 NEW BEST:: SOT 126070859 SOS 87836822 HAS SOPS 81708617 HAS SOUS 20502721 HAS SOUPS 20399028 WITH SCORE 2.0486864822E7
AT ITER 1893 NEW BEST:: SOT 126067620 SOS 87833354 HAS SOPS 81704881 HAS SOUS 20474285 HAS SOUPS 20370592 WITH SCORE 2.0458425354E7
AT ITER 1921 NEW BEST:: SOT 126060068 SOS 87825759 HAS SOPS 81697365 HAS SOUS 20470876 HAS SOUPS 20367183 WITH SCORE 2.0455008759E7
AT ITER 1933 NEW BEST:: SOT 126060846 SOS 87827052 HAS SOPS 81698921 HAS SOUS 20460608 HAS SOUPS 20356915 WITH SCORE 2.0444742052E7
AT ITER 1954 NEW BEST:: SOT 126068283 SOS 87834690 HAS SOPS 81706358 HAS SOUS 20455332 HAS SOUPS 20351639 WITH SCORE 2.043947369E7
AT ITER 1958 NEW BEST:: SOT 126068283 SOS 88306139 HAS SOPS 82176059 HAS SOUS 20453627 HAS SOUPS 20349934 WITH SCORE 2.0438240139E7
AT ITER 1960 NEW BEST:: SOT 126075595 SOS 88351955 HAS SOPS 82213656 HAS SOUS 20448478 HAS SOUPS 20344443 WITH SCORE 2.0432794955E7
AT ITER 1970 NEW BEST:: SOT 126067509 SOS 88345855 HAS SOPS 82207105 HAS SOUS 20430652 HAS SOUPS 20326617 WITH SCORE 2.0414962855E7
AT ITER 1972 NEW BEST:: SOT 126108324 SOS 88382396 HAS SOPS 82194674 HAS SOUS 20465790 HAS SOUPS 20318797 WITH SCORE 2.0407179396E7
AT ITER 1973 NEW BEST:: SOT 126108154 SOS 88377762 HAS SOPS 82190040 HAS SOUS 20464804 HAS SOUPS 20317811 WITH SCORE 2.0406188762E7
AT ITER 1983 NEW BEST:: SOT 126119311 SOS 88389083 HAS SOPS 82201636 HAS SOUS 20460903 HAS SOUPS 20313910 WITH SCORE 2.0402299083E7
AT ITER 1991 NEW BEST:: SOT 126119302 SOS 88388840 HAS SOPS 82201393 HAS SOUS 20460876 HAS SOUPS 20313883 WITH SCORE 2.040227184E7
AT ITER 2000 NEW BEST:: SOT 126133993 SOS 88402273 HAS SOPS 82214658 HAS SOUS 20448181 HAS SOUPS 20301188 WITH SCORE 2.0389590273E7
AT ITER 2004 NEW BEST:: SOT 126158258 SOS 88426930 HAS SOPS 82228878 HAS SOUS 20445997 HAS SOUPS 20299200 WITH SCORE 2.038762693E7
AT ITER 2007 NEW BEST:: SOT 126158325 SOS 88513524 HAS SOPS 82315624 HAS SOUS 20444767 HAS SOUPS 20297970 WITH SCORE 2.0386483524E7
AT ITER 2015 NEW BEST:: SOT 126149143 SOS 88504018 HAS SOPS 82306246 HAS SOUS 20431344 HAS SOUPS 20284547 WITH SCORE 2.0373051018E7
AT ITER 2017 NEW BEST:: SOT 126148783 SOS 88501713 HAS SOPS 82301796 HAS SOUS 20424151 HAS SOUPS 20277354 WITH SCORE 2.0365855713E7
AT ITER 2018 NEW BEST:: SOT 126148387 SOS 88501317 HAS SOPS 82301298 HAS SOUS 20423091 HAS SOUPS 20276294 WITH SCORE 2.0364795317E7
AT ITER 2020 NEW BEST:: SOT 126147673 SOS 88501050 HAS SOPS 82300827 HAS SOUS 20422875 HAS SOUPS 20275988 WITH SCORE 2.036448905E7
AT ITER 2034 NEW BEST:: SOT 126120243 SOS 88472622 HAS SOPS 82263647 HAS SOUS 20402552 HAS SOUPS 20256092 WITH SCORE 2.0344564622E7
AT ITER 2056 NEW BEST:: SOT 126119487 SOS 88471866 HAS SOPS 82262873 HAS SOUS 20401592 HAS SOUPS 20255132 WITH SCORE 2.0343603866E7
AT ITER 2058 NEW BEST:: SOT 126119355 SOS 88464394 HAS SOPS 82255401 HAS SOUS 20401542 HAS SOUPS 20255082 WITH SCORE 2.0343546394E7
AT ITER 2075 NEW BEST:: SOT 126110773 SOS 88472331 HAS SOPS 82263596 HAS SOUS 20400430 HAS SOUPS 20253970 WITH SCORE 2.0342442331E7
AT ITER 2079 NEW BEST:: SOT 126111508 SOS 88630715 HAS SOPS 82421405 HAS SOUS 20394099 HAS SOUPS 20247639 WITH SCORE 2.0336269715E7
AT ITER 2084 NEW BEST:: SOT 126114118 SOS 88618564 HAS SOPS 82408674 HAS SOUS 20392326 HAS SOUPS 20245866 WITH SCORE 2.0334484564E7
AT ITER 2085 NEW BEST:: SOT 126118996 SOS 88623479 HAS SOPS 82414304 HAS SOUS 20388362 HAS SOUPS 20241902 WITH SCORE 2.0330525479E7
AT ITER 2100 NEW BEST:: SOT 126131081 SOS 88635564 HAS SOPS 82422359 HAS SOUS 20383379 HAS SOUPS 20236919 WITH SCORE 2.0325554564E7
AT ITER 2104 NEW BEST:: SOT 126094125 SOS 88641421 HAS SOPS 82436054 HAS SOUS 20372504 HAS SOUPS 20226044 WITH SCORE 2.0314685421E7
AT ITER 2150 NEW BEST:: SOT 126093929 SOS 88641217 HAS SOPS 82435846 HAS SOUS 20372112 HAS SOUPS 20225652 WITH SCORE 2.0314293217E7
AT ITER 2151 NEW BEST:: SOT 126088962 SOS 88636233 HAS SOPS 82430412 HAS SOUS 20362195 HAS SOUPS 20215735 WITH SCORE 2.0304371233E7
AT ITER 2152 NEW BEST:: SOT 126089347 SOS 88639488 HAS SOPS 82432326 HAS SOUS 20360059 HAS SOUPS 20213616 WITH SCORE 2.0302255488E7
AT ITER 2161 NEW BEST:: SOT 126093308 SOS 88644657 HAS SOPS 82437028 HAS SOUS 20311752 HAS SOUPS 20165082 WITH SCORE 2.0253726657E7
AT ITER 2177 NEW BEST:: SOT 126093084 SOS 88644451 HAS SOPS 82436656 HAS SOUS 20311734 HAS SOUPS 20165064 WITH SCORE 2.0253708451E7
AT ITER 2179 NEW BEST:: SOT 126051779 SOS 88615813 HAS SOPS 82414949 HAS SOUS 20267277 HAS SOUPS 20120607 WITH SCORE 2.0209222813E7
AT ITER 2183 NEW BEST:: SOT 126077454 SOS 88641425 HAS SOPS 82432433 HAS SOUS 20263342 HAS SOUPS 20116794 WITH SCORE 2.0205435425E7
AT ITER 2193 NEW BEST:: SOT 126069970 SOS 88633497 HAS SOPS 82424725 HAS SOUS 20263184 HAS SOUPS 20116636 WITH SCORE 2.0205269497E7
AT ITER 2201 NEW BEST:: SOT 126070902 SOS 88748616 HAS SOPS 82538183 HAS SOUS 20249958 HAS SOUPS 20103410 WITH SCORE 2.0192158616E7
AT ITER 2208 NEW BEST:: SOT 126073554 SOS 88750451 HAS SOPS 82539713 HAS SOUS 20237099 HAS SOUPS 20090551 WITH SCORE 2.0179301451E7
AT ITER 2266 NEW BEST:: SOT 126080517 SOS 88759612 HAS SOPS 82542586 HAS SOUS 20211876 HAS SOUPS 20065328 WITH SCORE 2.0154087612E7
AT ITER 2278 NEW BEST:: SOT 126082337 SOS 88761614 HAS SOPS 82544224 HAS SOUS 20209786 HAS SOUPS 20063238 WITH SCORE 2.0151999614E7
AT ITER 2282 NEW BEST:: SOT 126137041 SOS 88816357 HAS SOPS 82586916 HAS SOUS 20208532 HAS SOUPS 20062249 WITH SCORE 2.0151065357E7
AT ITER 2283 NEW BEST:: SOT 126128852 SOS 88808372 HAS SOPS 82579434 HAS SOUS 20195237 HAS SOUPS 20048919 WITH SCORE 2.0137727372E7
AT ITER 2284 NEW BEST:: SOT 126125395 SOS 88802862 HAS SOPS 82574480 HAS SOUS 20193692 HAS SOUPS 20047374 WITH SCORE 2.0136176862E7
AT ITER 2295 NEW BEST:: SOT 126124768 SOS 88802292 HAS SOPS 82573739 HAS SOUS 20192495 HAS SOUPS 20046177 WITH SCORE 2.0134979292E7
AT ITER 2310 NEW BEST:: SOT 126154128 SOS 88926016 HAS SOPS 82703096 HAS SOUS 20164180 HAS SOUPS 20023915 WITH SCORE 2.0112841016E7
AT ITER 2317 NEW BEST:: SOT 126153980 SOS 88402502 HAS SOPS 82179582 HAS SOUS 20161998 HAS SOUPS 20021733 WITH SCORE 2.0110135502E7
AT ITER 2324 NEW BEST:: SOT 126153465 SOS 88402000 HAS SOPS 82178916 HAS SOUS 20161352 HAS SOUPS 20021087 WITH SCORE 2.0109489E7
AT ITER 2345 NEW BEST:: SOT 126137639 SOS 88384185 HAS SOPS 82164894 HAS SOUS 20125599 HAS SOUPS 19985030 WITH SCORE 2.0073414185E7
AT ITER 2358 NEW BEST:: SOT 126130388 SOS 88376388 HAS SOPS 82153620 HAS SOUS 20108068 HAS SOUPS 19967681 WITH SCORE 2.0056057388E7
AT ITER 2366 NEW BEST:: SOT 126130388 SOS 88359460 HAS SOPS 82136374 HAS SOUS 20106461 HAS SOUPS 19966074 WITH SCORE 2.005443346E7
AT ITER 2369 NEW BEST:: SOT 126141788 SOS 88369782 HAS SOPS 82146010 HAS SOUS 20072539 HAS SOUPS 19932152 WITH SCORE 2.0020521782E7
AT ITER 2370 NEW BEST:: SOT 126141459 SOS 88369590 HAS SOPS 82145681 HAS SOUS 20070450 HAS SOUPS 19930063 WITH SCORE 2.001843259E7
AT ITER 2382 NEW BEST:: SOT 126140773 SOS 88369018 HAS SOPS 82144933 HAS SOUS 20069110 HAS SOUPS 19928723 WITH SCORE 2.0017092018E7
AT ITER 2395 NEW BEST:: SOT 126143626 SOS 88358378 HAS SOPS 82141445 HAS SOUS 20057302 HAS SOUPS 19917002 WITH SCORE 2.0005360378E7
AT ITER 2410 NEW BEST:: SOT 126144946 SOS 88359683 HAS SOPS 82142592 HAS SOUS 20056264 HAS SOUPS 19915964 WITH SCORE 2.0004323683E7
AT ITER 2415 NEW BEST:: SOT 126137131 SOS 88351580 HAS SOPS 82134345 HAS SOUS 20050262 HAS SOUPS 19909962 WITH SCORE 1.999831358E7
AT ITER 2425 NEW BEST:: SOT 126134575 SOS 88349902 HAS SOPS 82131288 HAS SOUS 20015841 HAS SOUPS 19875541 WITH SCORE 1.9963890902E7
AT ITER 2426 NEW BEST:: SOT 126133148 SOS 88348434 HAS SOPS 82129842 HAS SOUS 20015621 HAS SOUPS 19875321 WITH SCORE 1.9963669434E7
AT ITER 2437 NEW BEST:: SOT 126133130 SOS 88348162 HAS SOPS 82129570 HAS SOUS 20015586 HAS SOUPS 19875286 WITH SCORE 1.9963634162E7
AT ITER 2449 NEW BEST:: SOT 126133130 SOS 88348158 HAS SOPS 82129566 HAS SOUS 20015582 HAS SOUPS 19875282 WITH SCORE 1.9963630158E7
AT ITER 2465 NEW BEST:: SOT 126132850 SOS 88347808 HAS SOPS 82129146 HAS SOUS 20014897 HAS SOUPS 19874597 WITH SCORE 1.9962944808E7
AT ITER 2482 NEW BEST:: SOT 126122060 SOS 88336113 HAS SOPS 82116598 HAS SOUS 19980265 HAS SOUPS 19839965 WITH SCORE 1.9928301113E7
AT ITER 2488 NEW BEST:: SOT 126102411 SOS 88316464 HAS SOPS 82096206 HAS SOUS 19927348 HAS SOUPS 19787048 WITH SCORE 1.9875364464E7
AT ITER 2515 NEW BEST:: SOT 126102617 SOS 88316974 HAS SOPS 82096741 HAS SOUS 19927157 HAS SOUPS 19786858 WITH SCORE 1.9875174974E7
AT ITER 2518 NEW BEST:: SOT 126089111 SOS 88303341 HAS SOPS 82082537 HAS SOUS 19894902 HAS SOUPS 19754603 WITH SCORE 1.9842906341E7
AT ITER 2532 NEW BEST:: SOT 126089540 SOS 88303805 HAS SOPS 82082979 HAS SOUS 19893595 HAS SOUPS 19753296 WITH SCORE 1.9841599805E7
AT ITER 2538 NEW BEST:: SOT 126032368 SOS 88253576 HAS SOPS 82043450 HAS SOUS 19885801 HAS SOUPS 19745502 WITH SCORE 1.9833755576E7
AT ITER 2544 NEW BEST:: SOT 126037248 SOS 88261227 HAS SOPS 82046878 HAS SOUS 19882901 HAS SOUPS 19742515 WITH SCORE 1.9830776227E7
AT ITER 2548 NEW BEST:: SOT 126035303 SOS 88259495 HAS SOPS 82044648 HAS SOUS 19876686 HAS SOUPS 19736300 WITH SCORE 1.9824559495E7
AT ITER 2550 NEW BEST:: SOT 126031308 SOS 88255475 HAS SOPS 82040532 HAS SOUS 19866581 HAS SOUPS 19726195 WITH SCORE 1.9814450475E7
AT ITER 2566 NEW BEST:: SOT 126023214 SOS 88244413 HAS SOPS 82025343 HAS SOUS 19861207 HAS SOUPS 19720900 WITH SCORE 1.9809144413E7
AT ITER 2568 NEW BEST:: SOT 126016877 SOS 88238920 HAS SOPS 82019601 HAS SOUS 19839173 HAS SOUPS 19698734 WITH SCORE 1.978697292E7
AT ITER 2575 NEW BEST:: SOT 126017286 SOS 88239328 HAS SOPS 82020009 HAS SOUS 19838256 HAS SOUPS 19697817 WITH SCORE 1.9786056328E7
AT ITER 2604 NEW BEST:: SOT 126048538 SOS 88273652 HAS SOPS 82054894 HAS SOUS 19838085 HAS SOUPS 19697646 WITH SCORE 1.9785919652E7
AT ITER 2606 NEW BEST:: SOT 126048603 SOS 88274294 HAS SOPS 82055536 HAS SOUS 19837929 HAS SOUPS 19697490 WITH SCORE 1.9785764294E7
AT ITER 2608 NEW BEST:: SOT 126007935 SOS 88269265 HAS SOPS 82061249 HAS SOUS 19827518 HAS SOUPS 19687097 WITH SCORE 1.9775366265E7
AT ITER 2613 NEW BEST:: SOT 126008111 SOS 88269453 HAS SOPS 82061232 HAS SOUS 19824633 HAS SOUPS 19684212 WITH SCORE 1.9772481453E7
AT ITER 2621 NEW BEST:: SOT 126011374 SOS 88272475 HAS SOPS 82068088 HAS SOUS 19815679 HAS SOUPS 19674960 WITH SCORE 1.9763232475E7
AT ITER 2623 NEW BEST:: SOT 126017063 SOS 88229619 HAS SOPS 82084454 HAS SOUS 19815364 HAS SOUPS 19674918 WITH SCORE 1.9763147619E7
AT ITER 2625 NEW BEST:: SOT 126016183 SOS 88228655 HAS SOPS 82083402 HAS SOUS 19814192 HAS SOUPS 19673746 WITH SCORE 1.9761974655E7
AT ITER 2658 NEW BEST:: SOT 126016321 SOS 88229075 HAS SOPS 82083822 HAS SOUS 19813940 HAS SOUPS 19673494 WITH SCORE 1.9761723075E7
AT ITER 2699 NEW BEST:: SOT 126014371 SOS 88227262 HAS SOPS 82081564 HAS SOUS 19809579 HAS SOUPS 19669133 WITH SCORE 1.9757360262E7
AT ITER 2701 NEW BEST:: SOT 126003022 SOS 88215618 HAS SOPS 82068265 HAS SOUS 19798645 HAS SOUPS 19658199 WITH SCORE 1.9746414618E7
AT ITER 2702 NEW BEST:: SOT 125990165 SOS 88202230 HAS SOPS 82056058 HAS SOUS 19793800 HAS SOUPS 19653354 WITH SCORE 1.974155623E7
AT ITER 2709 NEW BEST:: SOT 125974197 SOS 88185489 HAS SOPS 82038859 HAS SOUS 19771979 HAS SOUPS 19631533 WITH SCORE 1.9719718489E7
AT ITER 2727 NEW BEST:: SOT 125970458 SOS 88182196 HAS SOPS 82035500 HAS SOUS 19754182 HAS SOUPS 19613736 WITH SCORE 1.9701918196E7
AT ITER 2733 NEW BEST:: SOT 125972187 SOS 88183730 HAS SOPS 82036851 HAS SOUS 19747077 HAS SOUPS 19606631 WITH SCORE 1.969481473E7
AT ITER 2756 NEW BEST:: SOT 125969470 SOS 88181111 HAS SOPS 82032672 HAS SOUS 19745711 HAS SOUPS 19605240 WITH SCORE 1.9693421111E7
AT ITER 2763 NEW BEST:: SOT 125374066 SOS 88119745 HAS SOPS 81982365 HAS SOUS 19191645 HAS SOUPS 19051174 WITH SCORE 1.9139293745E7
AT ITER 2771 NEW BEST:: SOT 125395430 SOS 88142180 HAS SOPS 82003677 HAS SOUS 19144817 HAS SOUPS 19003971 WITH SCORE 1.909211318E7
AT ITER 2774 NEW BEST:: SOT 125362041 SOS 88063741 HAS SOPS 81912902 HAS SOUS 19139924 HAS SOUPS 18998374 WITH SCORE 1.9086437741E7
AT ITER 2781 NEW BEST:: SOT 125363928 SOS 88065494 HAS SOPS 81914558 HAS SOUS 19138874 HAS SOUPS 18997324 WITH SCORE 1.9085389494E7
AT ITER 2782 NEW BEST:: SOT 125363760 SOS 88064564 HAS SOPS 81913534 HAS SOUS 19137676 HAS SOUPS 18996126 WITH SCORE 1.9084190564E7
AT ITER 2802 NEW BEST:: SOT 125295082 SOS 88001837 HAS SOPS 81862493 HAS SOUS 19107245 HAS SOUPS 18967228 WITH SCORE 1.9055229837E7
AT ITER 2809 NEW BEST:: SOT 125298631 SOS 88005211 HAS SOPS 81865901 HAS SOUS 19106302 HAS SOUPS 18966285 WITH SCORE 1.9054290211E7
AT ITER 2812 NEW BEST:: SOT 125293793 SOS 88000373 HAS SOPS 81861063 HAS SOUS 19102202 HAS SOUPS 18962185 WITH SCORE 1.9050185373E7
AT ITER 2819 NEW BEST:: SOT 125272987 SOS 87965732 HAS SOPS 81811335 HAS SOUS 19099559 HAS SOUPS 18959181 WITH SCORE 1.9047146732E7
AT ITER 2840 NEW BEST:: SOT 125272287 SOS 87989909 HAS SOPS 81835319 HAS SOUS 19097241 HAS SOUPS 18956863 WITH SCORE 1.9044852909E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 15547844 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16080176 kB

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="RERS2020-PT-pb106"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is RERS2020-PT-pb106, 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 r323-tall-167889194500264"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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