Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r138-smll-158961502400112.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/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 RERS17pb114-PT-5, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r138-smll-158961502400112
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 73M
-rw-r--r-- 1 mcc users 3.7K Apr 12 07:24 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 12 07:24 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Apr 11 08:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 11 08:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Apr 14 12:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 14 12:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 10 14:15 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 10 14:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Apr 9 20:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 9 20:46 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 10 22:26 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 10 22:26 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 73M 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 1589719137977

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

Filename model.pnml
Petri model created: 1446 places, 151085 transitions, 604252 arcs.
AT ITER 0 NEW BEST:: SOT 133650955 SOS 82200848 HAS SOPS 66750976 HAS SOUS 26441832 HAS SOUPS 25811141 WITH SCORE 2.5893341848E7
AT ITER 17 NEW BEST:: SOT 133657895 SOS 82221717 HAS SOPS 66765144 HAS SOUS 26432479 HAS SOUPS 25801784 WITH SCORE 2.5884005717E7
AT ITER 22 NEW BEST:: SOT 133671190 SOS 82260860 HAS SOPS 66795654 HAS SOUS 26429710 HAS SOUPS 25799015 WITH SCORE 2.588127586E7
AT ITER 26 NEW BEST:: SOT 133648200 SOS 82207567 HAS SOPS 66752530 HAS SOUS 26409593 HAS SOUPS 25778898 WITH SCORE 2.5861105567E7
AT ITER 56 NEW BEST:: SOT 133651220 SOS 82218845 HAS SOPS 66767893 HAS SOUS 26400455 HAS SOUPS 25769760 WITH SCORE 2.5851978845E7
AT ITER 63 NEW BEST:: SOT 133673512 SOS 82301777 HAS SOPS 66850326 HAS SOUS 26335247 HAS SOUPS 25704552 WITH SCORE 2.5786853777E7
AT ITER 74 NEW BEST:: SOT 133636236 SOS 82236157 HAS SOPS 66798435 HAS SOUS 26284935 HAS SOUPS 25654240 WITH SCORE 2.5736476157E7
AT ITER 84 NEW BEST:: SOT 133641593 SOS 82247794 HAS SOPS 66797423 HAS SOUS 26262672 HAS SOUPS 25631977 WITH SCORE 2.5714224794E7
AT ITER 95 NEW BEST:: SOT 133642473 SOS 82263574 HAS SOPS 66818584 HAS SOUS 26253434 HAS SOUPS 25622739 WITH SCORE 2.5705002574E7
AT ITER 99 NEW BEST:: SOT 133658150 SOS 82331273 HAS SOPS 66920963 HAS SOUS 26238197 HAS SOUPS 25607502 WITH SCORE 2.5689833273E7
AT ITER 107 NEW BEST:: SOT 133659628 SOS 82334269 HAS SOPS 66924726 HAS SOUS 26237599 HAS SOUPS 25606964 WITH SCORE 2.5689298269E7
AT ITER 108 NEW BEST:: SOT 133675047 SOS 82369175 HAS SOPS 66953249 HAS SOUS 26226652 HAS SOUPS 25596017 WITH SCORE 2.5678386175E7
AT ITER 123 NEW BEST:: SOT 133673145 SOS 82372361 HAS SOPS 66954008 HAS SOUS 26219642 HAS SOUPS 25589007 WITH SCORE 2.5671379361E7
AT ITER 147 NEW BEST:: SOT 133681200 SOS 82415995 HAS SOPS 67006110 HAS SOUS 26216845 HAS SOUPS 25586210 WITH SCORE 2.5668625995E7
AT ITER 150 NEW BEST:: SOT 133681164 SOS 82416062 HAS SOPS 67006779 HAS SOUS 26216399 HAS SOUPS 25585764 WITH SCORE 2.5668180062E7
AT ITER 151 NEW BEST:: SOT 133659626 SOS 82375810 HAS SOPS 66976114 HAS SOUS 26185862 HAS SOUPS 25555227 WITH SCORE 2.563760281E7
AT ITER 163 NEW BEST:: SOT 133687861 SOS 82466979 HAS SOPS 67065870 HAS SOUS 26164851 HAS SOUPS 25534216 WITH SCORE 2.5616682979E7
AT ITER 173 NEW BEST:: SOT 133685751 SOS 82486894 HAS SOPS 67091094 HAS SOUS 26156721 HAS SOUPS 25526086 WITH SCORE 2.5608572894E7
AT ITER 183 NEW BEST:: SOT 133686617 SOS 82485721 HAS SOPS 67087270 HAS SOUS 26145999 HAS SOUPS 25515364 WITH SCORE 2.5597849721E7
AT ITER 195 NEW BEST:: SOT 133686293 SOS 82485595 HAS SOPS 67086742 HAS SOUS 26145281 HAS SOUPS 25514646 WITH SCORE 2.5597131595E7
AT ITER 206 NEW BEST:: SOT 133687045 SOS 82489371 HAS SOPS 67090803 HAS SOUS 26144334 HAS SOUPS 25513699 WITH SCORE 2.5596188371E7
AT ITER 209 NEW BEST:: SOT 133686157 SOS 82487836 HAS SOPS 67087892 HAS SOUS 26139869 HAS SOUPS 25509280 WITH SCORE 2.5591767836E7
AT ITER 213 NEW BEST:: SOT 133702256 SOS 82534416 HAS SOPS 67158154 HAS SOUS 26131106 HAS SOUPS 25500517 WITH SCORE 2.5583051416E7
AT ITER 214 NEW BEST:: SOT 133696844 SOS 82528344 HAS SOPS 67151653 HAS SOUS 26119910 HAS SOUPS 25489486 WITH SCORE 2.5572014344E7
AT ITER 215 NEW BEST:: SOT 133690951 SOS 82504893 HAS SOPS 67132441 HAS SOUS 26115858 HAS SOUPS 25485434 WITH SCORE 2.5567938893E7
AT ITER 220 NEW BEST:: SOT 133687389 SOS 82499857 HAS SOPS 67128363 HAS SOUS 26111266 HAS SOUPS 25480860 WITH SCORE 2.5563359857E7
AT ITER 233 NEW BEST:: SOT 133687353 SOS 82499808 HAS SOPS 67128456 HAS SOUS 26110437 HAS SOUPS 25480181 WITH SCORE 2.5562680808E7
AT ITER 236 NEW BEST:: SOT 133675147 SOS 82487204 HAS SOPS 67150532 HAS SOUS 26063867 HAS SOUPS 25434754 WITH SCORE 2.5517241204E7
AT ITER 252 NEW BEST:: SOT 133610935 SOS 82386362 HAS SOPS 67085832 HAS SOUS 26012153 HAS SOUPS 25385429 WITH SCORE 2.5467815362E7
AT ITER 256 NEW BEST:: SOT 133613766 SOS 82394904 HAS SOPS 67090481 HAS SOUS 26010893 HAS SOUPS 25384169 WITH SCORE 2.5466563904E7
AT ITER 265 NEW BEST:: SOT 133613493 SOS 82394635 HAS SOPS 67090116 HAS SOUS 26010304 HAS SOUPS 25383580 WITH SCORE 2.5465974635E7
AT ITER 268 NEW BEST:: SOT 133602015 SOS 82383282 HAS SOPS 67079138 HAS SOUS 25998207 HAS SOUPS 25371870 WITH SCORE 2.5454253282E7
AT ITER 273 NEW BEST:: SOT 133585455 SOS 82355626 HAS SOPS 67044047 HAS SOUS 25947043 HAS SOUPS 25320907 WITH SCORE 2.5403262626E7
AT ITER 275 NEW BEST:: SOT 133568921 SOS 82332631 HAS SOPS 67066876 HAS SOUS 25937404 HAS SOUPS 25311268 WITH SCORE 2.5393600631E7
AT ITER 277 NEW BEST:: SOT 133572046 SOS 82349378 HAS SOPS 67093834 HAS SOUS 25936009 HAS SOUPS 25309873 WITH SCORE 2.5392222378E7
AT ITER 283 NEW BEST:: SOT 133572866 SOS 82350332 HAS SOPS 67095332 HAS SOUS 25934593 HAS SOUPS 25308457 WITH SCORE 2.5390807332E7
AT ITER 293 NEW BEST:: SOT 133569248 SOS 82345398 HAS SOPS 67093078 HAS SOUS 25923431 HAS SOUPS 25297295 WITH SCORE 2.5379640398E7
AT ITER 295 NEW BEST:: SOT 133601883 SOS 82429947 HAS SOPS 67158309 HAS SOUS 25915272 HAS SOUPS 25289136 WITH SCORE 2.5371565947E7
AT ITER 309 NEW BEST:: SOT 133621809 SOS 82502071 HAS SOPS 67239741 HAS SOUS 25907901 HAS SOUPS 25281765 WITH SCORE 2.5364267071E7
AT ITER 321 NEW BEST:: SOT 133612503 SOS 82481562 HAS SOPS 67221097 HAS SOUS 25900070 HAS SOUPS 25273993 WITH SCORE 2.5356474562E7
AT ITER 356 NEW BEST:: SOT 133624541 SOS 82555588 HAS SOPS 67297447 HAS SOUS 25883698 HAS SOUPS 25257621 WITH SCORE 2.5340176588E7
AT ITER 361 NEW BEST:: SOT 133623201 SOS 82554912 HAS SOPS 67297022 HAS SOUS 25882114 HAS SOUPS 25256037 WITH SCORE 2.5338591912E7
AT ITER 362 NEW BEST:: SOT 133609847 SOS 82529868 HAS SOPS 67276926 HAS SOUS 25871449 HAS SOUPS 25245599 WITH SCORE 2.5328128868E7
AT ITER 368 NEW BEST:: SOT 133611479 SOS 82531641 HAS SOPS 67277224 HAS SOUS 25869933 HAS SOUPS 25244083 WITH SCORE 2.5326614641E7
AT ITER 383 NEW BEST:: SOT 133600909 SOS 82509258 HAS SOPS 67264726 HAS SOUS 25868475 HAS SOUPS 25242698 WITH SCORE 2.5325207258E7
AT ITER 395 NEW BEST:: SOT 133562107 SOS 82444885 HAS SOPS 67199608 HAS SOUS 25830509 HAS SOUPS 25204732 WITH SCORE 2.5287176885E7
AT ITER 396 NEW BEST:: SOT 133592144 SOS 82541993 HAS SOPS 67281538 HAS SOUS 25797139 HAS SOUPS 25171362 WITH SCORE 2.5253903993E7
AT ITER 450 NEW BEST:: SOT 133576167 SOS 82507764 HAS SOPS 67239688 HAS SOUS 25781245 HAS SOUPS 25155633 WITH SCORE 2.5238140764E7
AT ITER 454 NEW BEST:: SOT 133545840 SOS 82471833 HAS SOPS 67192952 HAS SOUS 25715685 HAS SOUPS 25089880 WITH SCORE 2.5172351833E7
AT ITER 457 NEW BEST:: SOT 133542754 SOS 82468747 HAS SOPS 67189866 HAS SOUS 25712599 HAS SOUPS 25086794 WITH SCORE 2.5169262747E7
AT ITER 469 NEW BEST:: SOT 133543521 SOS 82472087 HAS SOPS 67191532 HAS SOUS 25710833 HAS SOUPS 25085028 WITH SCORE 2.5167500087E7
AT ITER 471 NEW BEST:: SOT 133557556 SOS 82495564 HAS SOPS 67210947 HAS SOUS 25707270 HAS SOUPS 25081465 WITH SCORE 2.5163960564E7
AT ITER 475 NEW BEST:: SOT 133551880 SOS 82483770 HAS SOPS 67197990 HAS SOUS 25684227 HAS SOUPS 25058146 WITH SCORE 2.514062977E7
AT ITER 494 NEW BEST:: SOT 133567029 SOS 82534592 HAS SOPS 67236028 HAS SOUS 25667081 HAS SOUPS 25041000 WITH SCORE 2.5123534592E7
AT ITER 505 NEW BEST:: SOT 133555682 SOS 82516436 HAS SOPS 67224007 HAS SOUS 25636138 HAS SOUPS 25010225 WITH SCORE 2.5092741436E7
AT ITER 526 NEW BEST:: SOT 133548760 SOS 82493398 HAS SOPS 67206716 HAS SOUS 25631656 HAS SOUPS 25005743 WITH SCORE 2.5088236398E7
AT ITER 532 NEW BEST:: SOT 133553954 SOS 82515670 HAS SOPS 67232456 HAS SOUS 25630382 HAS SOUPS 25004469 WITH SCORE 2.508698467E7
AT ITER 549 NEW BEST:: SOT 133553528 SOS 82515212 HAS SOPS 67231966 HAS SOUS 25629540 HAS SOUPS 25003627 WITH SCORE 2.5086142212E7
AT ITER 562 NEW BEST:: SOT 133554882 SOS 82517116 HAS SOPS 67232726 HAS SOUS 25627946 HAS SOUPS 25002033 WITH SCORE 2.5084550116E7
AT ITER 563 NEW BEST:: SOT 133542734 SOS 82504940 HAS SOPS 67220550 HAS SOUS 25615254 HAS SOUPS 24989341 WITH SCORE 2.507184594E7
AT ITER 571 NEW BEST:: SOT 133544205 SOS 82511713 HAS SOPS 67222728 HAS SOUS 25605531 HAS SOUPS 24979618 WITH SCORE 2.5062129713E7
AT ITER 574 NEW BEST:: SOT 133540255 SOS 82499573 HAS SOPS 67215357 HAS SOUS 25601569 HAS SOUPS 24975656 WITH SCORE 2.5058155573E7
AT ITER 587 NEW BEST:: SOT 133479659 SOS 82435967 HAS SOPS 67149852 HAS SOUS 25491783 HAS SOUPS 24865982 WITH SCORE 2.4948417967E7
AT ITER 594 NEW BEST:: SOT 133474133 SOS 82424602 HAS SOPS 67143398 HAS SOUS 25481149 HAS SOUPS 24855467 WITH SCORE 2.4937891602E7
AT ITER 597 NEW BEST:: SOT 133473966 SOS 82424923 HAS SOPS 67143256 HAS SOUS 25480506 HAS SOUPS 24854824 WITH SCORE 2.4937248923E7
AT ITER 609 NEW BEST:: SOT 133473043 SOS 82424286 HAS SOPS 67140530 HAS SOUS 25475742 HAS SOUPS 24850022 WITH SCORE 2.4932446286E7
AT ITER 611 NEW BEST:: SOT 133492247 SOS 82453877 HAS SOPS 67179906 HAS SOUS 25473169 HAS SOUPS 24847449 WITH SCORE 2.4929902877E7
AT ITER 617 NEW BEST:: SOT 133492055 SOS 82453388 HAS SOPS 67179303 HAS SOUS 25472797 HAS SOUPS 24847077 WITH SCORE 2.4929530388E7
AT ITER 625 NEW BEST:: SOT 133482812 SOS 82462414 HAS SOPS 67204992 HAS SOUS 25468370 HAS SOUPS 24843061 WITH SCORE 2.4925523414E7
AT ITER 633 NEW BEST:: SOT 133455457 SOS 82450751 HAS SOPS 67218151 HAS SOUS 25401348 HAS SOUPS 24775989 WITH SCORE 2.4858439751E7
AT ITER 651 NEW BEST:: SOT 133453736 SOS 82449345 HAS SOPS 67216036 HAS SOUS 25397018 HAS SOUPS 24771659 WITH SCORE 2.4854108345E7
AT ITER 654 NEW BEST:: SOT 133445514 SOS 82446803 HAS SOPS 67203749 HAS SOUS 25365188 HAS SOUPS 24739829 WITH SCORE 2.4822275803E7
AT ITER 667 NEW BEST:: SOT 133283104 SOS 82280809 HAS SOPS 67038141 HAS SOUS 25121026 HAS SOUPS 24495666 WITH SCORE 2.4577946809E7
AT ITER 677 NEW BEST:: SOT 133275270 SOS 82258672 HAS SOPS 67026140 HAS SOUS 25109419 HAS SOUPS 24484406 WITH SCORE 2.4566664672E7
AT ITER 696 NEW BEST:: SOT 133276532 SOS 82267235 HAS SOPS 67033647 HAS SOUS 25075986 HAS SOUPS 24451432 WITH SCORE 2.4533699235E7
AT ITER 705 NEW BEST:: SOT 133260550 SOS 82234442 HAS SOPS 67002597 HAS SOUS 25062074 HAS SOUPS 24437520 WITH SCORE 2.4519754442E7
AT ITER 707 NEW BEST:: SOT 133254718 SOS 82225634 HAS SOPS 66994521 HAS SOUS 25056882 HAS SOUPS 24432332 WITH SCORE 2.4514557634E7
AT ITER 709 NEW BEST:: SOT 133271919 SOS 82321197 HAS SOPS 67087890 HAS SOUS 25051120 HAS SOUPS 24426570 WITH SCORE 2.4508891197E7
AT ITER 712 NEW BEST:: SOT 133253526 SOS 82275762 HAS SOPS 67065281 HAS SOUS 25038744 HAS SOUPS 24415438 WITH SCORE 2.4497713762E7
AT ITER 715 NEW BEST:: SOT 133247089 SOS 82248849 HAS SOPS 67053095 HAS SOUS 25031262 HAS SOUPS 24407956 WITH SCORE 2.4490204849E7
AT ITER 722 NEW BEST:: SOT 133250102 SOS 82241944 HAS SOPS 67054434 HAS SOUS 25030632 HAS SOUPS 24407326 WITH SCORE 2.4489567944E7
AT ITER 727 NEW BEST:: SOT 133247332 SOS 82233658 HAS SOPS 67045596 HAS SOUS 25028183 HAS SOUPS 24404877 WITH SCORE 2.4487110658E7
AT ITER 728 NEW BEST:: SOT 133238709 SOS 82216056 HAS SOPS 67037687 HAS SOUS 25006489 HAS SOUPS 24383383 WITH SCORE 2.4465599056E7
AT ITER 737 NEW BEST:: SOT 133242059 SOS 82225790 HAS SOPS 67042795 HAS SOUS 25004659 HAS SOUPS 24381553 WITH SCORE 2.446377879E7
AT ITER 741 NEW BEST:: SOT 133234666 SOS 82209488 HAS SOPS 67051553 HAS SOUS 25003060 HAS SOUPS 24379954 WITH SCORE 2.4462163488E7
AT ITER 754 NEW BEST:: SOT 133237524 SOS 82221910 HAS SOPS 67062027 HAS SOUS 24996857 HAS SOUPS 24373751 WITH SCORE 2.445597291E7
AT ITER 756 NEW BEST:: SOT 133238831 SOS 82223228 HAS SOPS 67065950 HAS SOUS 24994325 HAS SOUPS 24371910 WITH SCORE 2.4454133228E7
AT ITER 760 NEW BEST:: SOT 133274322 SOS 82301354 HAS SOPS 67124195 HAS SOUS 24980997 HAS SOUPS 24358510 WITH SCORE 2.4440811354E7
AT ITER 764 NEW BEST:: SOT 133265516 SOS 82292548 HAS SOPS 67115389 HAS SOUS 24967407 HAS SOUPS 24344920 WITH SCORE 2.4427212548E7
AT ITER 765 NEW BEST:: SOT 133264063 SOS 82291112 HAS SOPS 67113025 HAS SOUS 24964350 HAS SOUPS 24341863 WITH SCORE 2.4424154112E7
AT ITER 766 NEW BEST:: SOT 133279125 SOS 82327937 HAS SOPS 67147825 HAS SOUS 24958062 HAS SOUPS 24335587 WITH SCORE 2.4417914937E7
AT ITER 769 NEW BEST:: SOT 133272957 SOS 82311233 HAS SOPS 67126478 HAS SOUS 24952208 HAS SOUPS 24329733 WITH SCORE 2.4412044233E7
AT ITER 772 NEW BEST:: SOT 133272043 SOS 82314201 HAS SOPS 67129656 HAS SOUS 24949800 HAS SOUPS 24327325 WITH SCORE 2.4409639201E7
AT ITER 779 NEW BEST:: SOT 133244222 SOS 82259433 HAS SOPS 67077554 HAS SOUS 24925473 HAS SOUPS 24302998 WITH SCORE 2.4385257433E7
AT ITER 784 NEW BEST:: SOT 133240075 SOS 82255623 HAS SOPS 67069389 HAS SOUS 24915827 HAS SOUPS 24293276 WITH SCORE 2.4375531623E7
AT ITER 786 NEW BEST:: SOT 133280638 SOS 82373019 HAS SOPS 67188700 HAS SOUS 24905852 HAS SOUPS 24281351 WITH SCORE 2.4363724019E7
AT ITER 791 NEW BEST:: SOT 133280276 SOS 82371615 HAS SOPS 67187140 HAS SOUS 24904036 HAS SOUPS 24279535 WITH SCORE 2.4361906615E7
AT ITER 814 NEW BEST:: SOT 133286955 SOS 82395252 HAS SOPS 67205985 HAS SOUS 24899041 HAS SOUPS 24274540 WITH SCORE 2.4356935252E7
AT ITER 839 NEW BEST:: SOT 133351949 SOS 82521547 HAS SOPS 67317827 HAS SOUS 24886175 HAS SOUPS 24261674 WITH SCORE 2.4344195547E7
AT ITER 851 NEW BEST:: SOT 133347846 SOS 82515221 HAS SOPS 67310084 HAS SOUS 24883375 HAS SOUPS 24258874 WITH SCORE 2.4341389221E7
AT ITER 853 NEW BEST:: SOT 133368108 SOS 82586773 HAS SOPS 67366691 HAS SOUS 24871363 HAS SOUPS 24246862 WITH SCORE 2.4329448773E7
AT ITER 865 NEW BEST:: SOT 133446945 SOS 82794217 HAS SOPS 67546487 HAS SOUS 24823428 HAS SOUPS 24195215 WITH SCORE 2.4278009217E7
AT ITER 872 NEW BEST:: SOT 133500061 SOS 82899868 HAS SOPS 67628570 HAS SOUS 24800340 HAS SOUPS 24172127 WITH SCORE 2.4255026868E7
AT ITER 880 NEW BEST:: SOT 133484345 SOS 82861003 HAS SOPS 67595164 HAS SOUS 24783862 HAS SOUPS 24155649 WITH SCORE 2.4238510003E7
AT ITER 883 NEW BEST:: SOT 133492626 SOS 82889867 HAS SOPS 67626555 HAS SOUS 24771602 HAS SOUPS 24143389 WITH SCORE 2.4226278867E7
AT ITER 886 NEW BEST:: SOT 133494419 SOS 82906388 HAS SOPS 67631570 HAS SOUS 24752991 HAS SOUPS 24124778 WITH SCORE 2.4207684388E7
AT ITER 889 NEW BEST:: SOT 133486347 SOS 82905852 HAS SOPS 67619024 HAS SOUS 24726596 HAS SOUPS 24098243 WITH SCORE 2.4181148852E7
AT ITER 914 NEW BEST:: SOT 133474229 SOS 82878621 HAS SOPS 67599968 HAS SOUS 24722578 HAS SOUPS 24094225 WITH SCORE 2.4177103621E7
AT ITER 915 NEW BEST:: SOT 133466524 SOS 82867342 HAS SOPS 67588820 HAS SOUS 24708090 HAS SOUPS 24079843 WITH SCORE 2.4162710342E7
AT ITER 933 NEW BEST:: SOT 133453963 SOS 82828944 HAS SOPS 67561202 HAS SOUS 24707647 HAS SOUPS 24079400 WITH SCORE 2.4162228944E7
AT ITER 941 NEW BEST:: SOT 133449948 SOS 82822012 HAS SOPS 67559877 HAS SOUS 24705495 HAS SOUPS 24077248 WITH SCORE 2.4160070012E7
AT ITER 944 NEW BEST:: SOT 133458362 SOS 82840851 HAS SOPS 67563653 HAS SOUS 24694853 HAS SOUPS 24066606 WITH SCORE 2.4149446851E7
AT ITER 951 NEW BEST:: SOT 133434022 SOS 82811871 HAS SOPS 67531755 HAS SOUS 24681850 HAS SOUPS 24053189 WITH SCORE 2.4136000871E7
AT ITER 958 NEW BEST:: SOT 133433502 SOS 82811407 HAS SOPS 67530751 HAS SOUS 24680782 HAS SOUPS 24052121 WITH SCORE 2.4134932407E7
AT ITER 974 NEW BEST:: SOT 133432741 SOS 82812626 HAS SOPS 67532710 HAS SOUS 24678059 HAS SOUPS 24049398 WITH SCORE 2.4132210626E7
AT ITER 978 NEW BEST:: SOT 133454868 SOS 82852929 HAS SOPS 67565573 HAS SOUS 24665560 HAS SOUPS 24036899 WITH SCORE 2.4119751929E7
AT ITER 981 NEW BEST:: SOT 133430388 SOS 82781380 HAS SOPS 67505397 HAS SOUS 24663183 HAS SOUPS 24034522 WITH SCORE 2.411730338E7
AT ITER 982 NEW BEST:: SOT 133432366 SOS 82797873 HAS SOPS 67521987 HAS SOUS 24656223 HAS SOUPS 24027562 WITH SCORE 2.4110359873E7
AT ITER 991 NEW BEST:: SOT 133409044 SOS 82753388 HAS SOPS 67502024 HAS SOUS 24643628 HAS SOUPS 24015146 WITH SCORE 2.4097899388E7
AT ITER 996 NEW BEST:: SOT 133405760 SOS 82750104 HAS SOPS 67498260 HAS SOUS 24640344 HAS SOUPS 24011382 WITH SCORE 2.4094132104E7
AT ITER 1013 NEW BEST:: SOT 133401484 SOS 82745823 HAS SOPS 67496441 HAS SOUS 24633606 HAS SOUPS 24004644 WITH SCORE 2.4087389823E7
AT ITER 1031 NEW BEST:: SOT 133392324 SOS 82736130 HAS SOPS 67483721 HAS SOUS 24614728 HAS SOUPS 23986098 WITH SCORE 2.406883413E7
AT ITER 1036 NEW BEST:: SOT 133395884 SOS 82753235 HAS SOPS 67492327 HAS SOUS 24611181 HAS SOUPS 23982551 WITH SCORE 2.4065304235E7
AT ITER 1037 NEW BEST:: SOT 133386420 SOS 82742350 HAS SOPS 67475024 HAS SOUS 24606387 HAS SOUPS 23977757 WITH SCORE 2.406049935E7
AT ITER 1045 NEW BEST:: SOT 133399619 SOS 82779819 HAS SOPS 67512111 HAS SOUS 24594603 HAS SOUPS 23965973 WITH SCORE 2.4048752819E7
AT ITER 1061 NEW BEST:: SOT 133398907 SOS 82776627 HAS SOPS 67509142 HAS SOUS 24594406 HAS SOUPS 23965776 WITH SCORE 2.4048552627E7
AT ITER 1064 NEW BEST:: SOT 133378145 SOS 82752370 HAS SOPS 67491892 HAS SOUS 24548594 HAS SOUPS 23920217 WITH SCORE 2.400296937E7
AT ITER 1071 NEW BEST:: SOT 133349572 SOS 82695683 HAS SOPS 67450963 HAS SOUS 24518736 HAS SOUPS 23890598 WITH SCORE 2.3973293683E7
AT ITER 1078 NEW BEST:: SOT 133348378 SOS 82695041 HAS SOPS 67449506 HAS SOUS 24517742 HAS SOUPS 23889604 WITH SCORE 2.3972299041E7
AT ITER 1082 NEW BEST:: SOT 133345632 SOS 82689190 HAS SOPS 67443844 HAS SOUS 24509447 HAS SOUPS 23881309 WITH SCORE 2.396399819E7
AT ITER 1090 NEW BEST:: SOT 133347094 SOS 82694624 HAS SOPS 67446690 HAS SOUS 24507564 HAS SOUPS 23879426 WITH SCORE 2.3962120624E7
AT ITER 1129 NEW BEST:: SOT 133349124 SOS 82710840 HAS SOPS 67466792 HAS SOUS 24507218 HAS SOUPS 23879080 WITH SCORE 2.396179084E7
AT ITER 1131 NEW BEST:: SOT 133333502 SOS 82695135 HAS SOPS 67451087 HAS SOUS 24486640 HAS SOUPS 23858502 WITH SCORE 2.3941197135E7
AT ITER 1132 NEW BEST:: SOT 133302671 SOS 82643369 HAS SOPS 67409208 HAS SOUS 24454316 HAS SOUPS 23826178 WITH SCORE 2.3908821369E7
AT ITER 1133 NEW BEST:: SOT 133293545 SOS 82631403 HAS SOPS 67397077 HAS SOUS 24441936 HAS SOUPS 23813798 WITH SCORE 2.3896429403E7
AT ITER 1147 NEW BEST:: SOT 133326651 SOS 82724179 HAS SOPS 67488017 HAS SOUS 24427923 HAS SOUPS 23799785 WITH SCORE 2.3882509179E7
AT ITER 1161 NEW BEST:: SOT 133324735 SOS 82725743 HAS SOPS 67486660 HAS SOUS 24420460 HAS SOUPS 23792300 WITH SCORE 2.3875025743E7
AT ITER 1174 NEW BEST:: SOT 133336380 SOS 82760215 HAS SOPS 67516136 HAS SOUS 24419555 HAS SOUPS 23791395 WITH SCORE 2.3874155215E7
AT ITER 1181 NEW BEST:: SOT 133335772 SOS 82759036 HAS SOPS 67515267 HAS SOUS 24418014 HAS SOUPS 23789854 WITH SCORE 2.3872613036E7
AT ITER 1193 NEW BEST:: SOT 133362947 SOS 82812967 HAS SOPS 67544773 HAS SOUS 24410715 HAS SOUPS 23782517 WITH SCORE 2.3865329967E7
AT ITER 1199 NEW BEST:: SOT 133359532 SOS 82795363 HAS SOPS 67503663 HAS SOUS 24395407 HAS SOUPS 23767209 WITH SCORE 2.3850004363E7
AT ITER 1211 NEW BEST:: SOT 133351667 SOS 82784407 HAS SOPS 67490235 HAS SOUS 24379580 HAS SOUPS 23751382 WITH SCORE 2.3834166407E7
AT ITER 1215 NEW BEST:: SOT 133237247 SOS 82656294 HAS SOPS 67338157 HAS SOUS 24186523 HAS SOUPS 23562393 WITH SCORE 2.3645049294E7
AT ITER 1233 NEW BEST:: SOT 133237183 SOS 82656066 HAS SOPS 67337843 HAS SOUS 24186462 HAS SOUPS 23562332 WITH SCORE 2.3644988066E7
AT ITER 1238 NEW BEST:: SOT 133230213 SOS 82645536 HAS SOPS 67327373 HAS SOUS 24177331 HAS SOUPS 23553244 WITH SCORE 2.3635889536E7
AT ITER 1243 NEW BEST:: SOT 133228634 SOS 82645050 HAS SOPS 67325040 HAS SOUS 24170558 HAS SOUPS 23546471 WITH SCORE 2.362911605E7
AT ITER 1249 NEW BEST:: SOT 133234724 SOS 82667831 HAS SOPS 67346441 HAS SOUS 24169928 HAS SOUPS 23545841 WITH SCORE 2.3628508831E7
AT ITER 1258 NEW BEST:: SOT 133233803 SOS 82665895 HAS SOPS 67344690 HAS SOUS 24168951 HAS SOUPS 23544864 WITH SCORE 2.3627529895E7
AT ITER 1261 NEW BEST:: SOT 133244325 SOS 82703664 HAS SOPS 67373445 HAS SOUS 24163541 HAS SOUPS 23539365 WITH SCORE 2.3622068664E7
AT ITER 1277 NEW BEST:: SOT 133233137 SOS 82675931 HAS SOPS 67352399 HAS SOUS 24163119 HAS SOUPS 23538943 WITH SCORE 2.3621618931E7
AT ITER 1286 NEW BEST:: SOT 133233936 SOS 82677166 HAS SOPS 67354684 HAS SOUS 24159466 HAS SOUPS 23535298 WITH SCORE 2.3617975166E7
AT ITER 1291 NEW BEST:: SOT 133239848 SOS 82688705 HAS SOPS 67362905 HAS SOUS 24154547 HAS SOUPS 23530379 WITH SCORE 2.3613067705E7
AT ITER 1292 NEW BEST:: SOT 133239079 SOS 82687862 HAS SOPS 67361916 HAS SOUS 24153228 HAS SOUPS 23529060 WITH SCORE 2.3611747862E7
AT ITER 1299 NEW BEST:: SOT 133239248 SOS 82688554 HAS SOPS 67360922 HAS SOUS 24148956 HAS SOUPS 23524788 WITH SCORE 2.3607476554E7
AT ITER 1302 NEW BEST:: SOT 133235171 SOS 82677099 HAS SOPS 67353234 HAS SOUS 24145541 HAS SOUPS 23521373 WITH SCORE 2.3604050099E7
AT ITER 1305 NEW BEST:: SOT 133218634 SOS 82639413 HAS SOPS 67336365 HAS SOUS 24076723 HAS SOUPS 23453586 WITH SCORE 2.3536225413E7
AT ITER 1306 NEW BEST:: SOT 133219407 SOS 82643878 HAS SOPS 67336441 HAS SOUS 24073885 HAS SOUPS 23450748 WITH SCORE 2.3533391878E7
AT ITER 1308 NEW BEST:: SOT 133219073 SOS 82643758 HAS SOPS 67336712 HAS SOUS 24072083 HAS SOUPS 23448912 WITH SCORE 2.3531555758E7
AT ITER 1311 NEW BEST:: SOT 133220380 SOS 82652864 HAS SOPS 67345932 HAS SOUS 24071863 HAS SOUPS 23448692 WITH SCORE 2.3531344864E7
AT ITER 1320 NEW BEST:: SOT 133219198 SOS 82650575 HAS SOPS 67346822 HAS SOUS 24070706 HAS SOUPS 23447535 WITH SCORE 2.3530185575E7
AT ITER 1329 NEW BEST:: SOT 133219643 SOS 82654654 HAS SOPS 67354237 HAS SOUS 24069774 HAS SOUPS 23446603 WITH SCORE 2.3529257654E7
AT ITER 1360 NEW BEST:: SOT 133235155 SOS 82686561 HAS SOPS 67398998 HAS SOUS 24066293 HAS SOUPS 23443122 WITH SCORE 2.3525808561E7
AT ITER 1361 NEW BEST:: SOT 133228498 SOS 82657212 HAS SOPS 67378418 HAS SOUS 24065666 HAS SOUPS 23442495 WITH SCORE 2.3525152212E7
AT ITER 1368 NEW BEST:: SOT 133227531 SOS 82655813 HAS SOPS 67377209 HAS SOUS 24063267 HAS SOUPS 23440096 WITH SCORE 2.3522751813E7
AT ITER 1370 NEW BEST:: SOT 133214182 SOS 82623185 HAS SOPS 67359684 HAS SOUS 24049565 HAS SOUPS 23426394 WITH SCORE 2.3509017185E7
AT ITER 1372 NEW BEST:: SOT 133210949 SOS 82604601 HAS SOPS 67344356 HAS SOUS 24022039 HAS SOUPS 23400307 WITH SCORE 2.3482911601E7
AT ITER 1379 NEW BEST:: SOT 133205102 SOS 82576479 HAS SOPS 67309622 HAS SOUS 24014922 HAS SOUPS 23393190 WITH SCORE 2.3475766479E7
AT ITER 1394 NEW BEST:: SOT 133203026 SOS 82574056 HAS SOPS 67308287 HAS SOUS 24009592 HAS SOUPS 23387860 WITH SCORE 2.3470434056E7
AT ITER 1404 NEW BEST:: SOT 133206436 SOS 82576828 HAS SOPS 67320246 HAS SOUS 24007424 HAS SOUPS 23385514 WITH SCORE 2.3468090828E7
AT ITER 1425 NEW BEST:: SOT 133198035 SOS 82566178 HAS SOPS 67303301 HAS SOUS 24005894 HAS SOUPS 23383984 WITH SCORE 2.3466550178E7
AT ITER 1431 NEW BEST:: SOT 133199318 SOS 82575353 HAS SOPS 67334626 HAS SOUS 23985612 HAS SOUPS 23363702 WITH SCORE 2.3446277353E7
AT ITER 1448 NEW BEST:: SOT 133197846 SOS 82573881 HAS SOPS 67333154 HAS SOUS 23984140 HAS SOUPS 23362230 WITH SCORE 2.3444803881E7
AT ITER 1458 NEW BEST:: SOT 133206348 SOS 82589563 HAS SOPS 67342261 HAS SOUS 23983588 HAS SOUPS 23361678 WITH SCORE 2.3444267563E7
AT ITER 1468 NEW BEST:: SOT 133204409 SOS 82587656 HAS SOPS 67339530 HAS SOUS 23979047 HAS SOUPS 23357137 WITH SCORE 2.3439724656E7
AT ITER 1471 NEW BEST:: SOT 133202437 SOS 82582948 HAS SOPS 67335776 HAS SOUS 23975117 HAS SOUPS 23353245 WITH SCORE 2.3435827948E7
AT ITER 1483 NEW BEST:: SOT 133176668 SOS 82557874 HAS SOPS 67303497 HAS SOUS 23929574 HAS SOUPS 23307142 WITH SCORE 2.3389699874E7
AT ITER 1486 NEW BEST:: SOT 133169892 SOS 82550978 HAS SOPS 67297337 HAS SOUS 23910913 HAS SOUPS 23288478 WITH SCORE 2.3371028978E7
AT ITER 1495 NEW BEST:: SOT 133170058 SOS 82551455 HAS SOPS 67298138 HAS SOUS 23909407 HAS SOUPS 23287200 WITH SCORE 2.3369751455E7
AT ITER 1498 NEW BEST:: SOT 133170250 SOS 82549485 HAS SOPS 67297417 HAS SOUS 23908403 HAS SOUPS 23286196 WITH SCORE 2.3368745485E7
AT ITER 1508 NEW BEST:: SOT 133170936 SOS 82548667 HAS SOPS 67305179 HAS SOUS 23881216 HAS SOUPS 23259009 WITH SCORE 2.3341557667E7
AT ITER 1513 NEW BEST:: SOT 133165494 SOS 82540608 HAS SOPS 67296186 HAS SOUS 23872866 HAS SOUPS 23250908 WITH SCORE 2.3333448608E7
AT ITER 1522 NEW BEST:: SOT 133173508 SOS 82557387 HAS SOPS 67305237 HAS SOUS 23867343 HAS SOUPS 23245385 WITH SCORE 2.3327942387E7
AT ITER 1525 NEW BEST:: SOT 133178027 SOS 82554398 HAS SOPS 67317495 HAS SOUS 23867182 HAS SOUPS 23245224 WITH SCORE 2.3327778398E7
AT ITER 1537 NEW BEST:: SOT 133176620 SOS 82545240 HAS SOPS 67303172 HAS SOUS 23858250 HAS SOUPS 23236292 WITH SCORE 2.331883724E7
AT ITER 1545 NEW BEST:: SOT 133177106 SOS 82545486 HAS SOPS 67303869 HAS SOUS 23858052 HAS SOUPS 23236081 WITH SCORE 2.3318626486E7
AT ITER 1546 NEW BEST:: SOT 133179646 SOS 82556328 HAS SOPS 67317133 HAS SOUS 23857984 HAS SOUPS 23236013 WITH SCORE 2.3318569328E7
AT ITER 1553 NEW BEST:: SOT 133153526 SOS 82500475 HAS SOPS 67264737 HAS SOUS 23805962 HAS SOUPS 23183991 WITH SCORE 2.3266491475E7
AT ITER 1554 NEW BEST:: SOT 133157580 SOS 82526675 HAS SOPS 67318030 HAS SOUS 23798155 HAS SOUPS 23176184 WITH SCORE 2.3258710675E7
AT ITER 1559 NEW BEST:: SOT 133157801 SOS 82527195 HAS SOPS 67318724 HAS SOUS 23798116 HAS SOUPS 23176145 WITH SCORE 2.3258672195E7
AT ITER 1561 NEW BEST:: SOT 133155171 SOS 82524642 HAS SOPS 67316150 HAS SOUS 23790870 HAS SOUPS 23168899 WITH SCORE 2.3251423642E7
AT ITER 1574 NEW BEST:: SOT 133164163 SOS 82544559 HAS SOPS 67329696 HAS SOUS 23789640 HAS SOUPS 23167669 WITH SCORE 2.3250213559E7
AT ITER 1586 NEW BEST:: SOT 133164000 SOS 82544372 HAS SOPS 67329499 HAS SOUS 23789307 HAS SOUPS 23167336 WITH SCORE 2.3249880372E7
AT ITER 1595 NEW BEST:: SOT 133162268 SOS 82548012 HAS SOPS 67359444 HAS SOUS 23785900 HAS SOUPS 23163929 WITH SCORE 2.3246477012E7
AT ITER 1603 NEW BEST:: SOT 133132534 SOS 82500220 HAS SOPS 67320563 HAS SOUS 23758472 HAS SOUPS 23136612 WITH SCORE 2.321911222E7
AT ITER 1610 NEW BEST:: SOT 133130082 SOS 82478277 HAS SOPS 67292575 HAS SOUS 23755204 HAS SOUPS 23133344 WITH SCORE 2.3215822277E7
AT ITER 1638 NEW BEST:: SOT 133140273 SOS 82516646 HAS SOPS 67320218 HAS SOUS 23753410 HAS SOUPS 23131550 WITH SCORE 2.3214066646E7
AT ITER 1649 NEW BEST:: SOT 133139015 SOS 82515446 HAS SOPS 67318618 HAS SOUS 23750709 HAS SOUPS 23128849 WITH SCORE 2.3211364446E7
AT ITER 1672 NEW BEST:: SOT 133134791 SOS 82515772 HAS SOPS 67326070 HAS SOUS 23723356 HAS SOUPS 23101378 WITH SCORE 2.3183893772E7
AT ITER 1699 NEW BEST:: SOT 133137745 SOS 82523520 HAS SOPS 67331251 HAS SOUS 23722872 HAS SOUPS 23100894 WITH SCORE 2.318341752E7
AT ITER 1713 NEW BEST:: SOT 133128741 SOS 82508765 HAS SOPS 67316324 HAS SOUS 23706429 HAS SOUPS 23084451 WITH SCORE 2.3166959765E7
AT ITER 1733 NEW BEST:: SOT 133137083 SOS 82534869 HAS SOPS 67345285 HAS SOUS 23695017 HAS SOUPS 23073039 WITH SCORE 2.3155573869E7
AT ITER 1734 NEW BEST:: SOT 133164465 SOS 82612431 HAS SOPS 67396285 HAS SOUS 23683830 HAS SOUPS 23061852 WITH SCORE 2.3144464431E7
AT ITER 1736 NEW BEST:: SOT 133163892 SOS 82611649 HAS SOPS 67395503 HAS SOUS 23678104 HAS SOUPS 23056126 WITH SCORE 2.3138737649E7
AT ITER 1737 NEW BEST:: SOT 133163810 SOS 82611559 HAS SOPS 67395385 HAS SOUS 23677916 HAS SOUPS 23055934 WITH SCORE 2.3138545559E7
AT ITER 1740 NEW BEST:: SOT 133163676 SOS 82614819 HAS SOPS 67396550 HAS SOUS 23676786 HAS SOUPS 23054804 WITH SCORE 2.3137418819E7
AT ITER 1744 NEW BEST:: SOT 133175899 SOS 82647149 HAS SOPS 67438140 HAS SOUS 23668865 HAS SOUPS 23046883 WITH SCORE 2.3129530149E7
AT ITER 1746 NEW BEST:: SOT 133201568 SOS 82740008 HAS SOPS 67509351 HAS SOUS 23644677 HAS SOUPS 23022695 WITH SCORE 2.3105435008E7
AT ITER 1758 NEW BEST:: SOT 133191248 SOS 82719765 HAS SOPS 67491990 HAS SOUS 23623563 HAS SOUPS 23001581 WITH SCORE 2.3084300765E7
AT ITER 1760 NEW BEST:: SOT 133196497 SOS 82745844 HAS SOPS 67510270 HAS SOUS 23616048 HAS SOUPS 22994066 WITH SCORE 2.3076811844E7
AT ITER 1763 NEW BEST:: SOT 133196031 SOS 82745484 HAS SOPS 67509541 HAS SOUS 23614308 HAS SOUPS 22992326 WITH SCORE 2.3075071484E7
AT ITER 1764 NEW BEST:: SOT 133194229 SOS 82742744 HAS SOPS 67506523 HAS SOUS 23610884 HAS SOUPS 22988902 WITH SCORE 2.3071644744E7
AT ITER 1771 NEW BEST:: SOT 133191940 SOS 82737103 HAS SOPS 67497897 HAS SOUS 23603192 HAS SOUPS 22981210 WITH SCORE 2.3063947103E7
AT ITER 1808 NEW BEST:: SOT 133187137 SOS 82725908 HAS SOPS 67482599 HAS SOUS 23593568 HAS SOUPS 22971586 WITH SCORE 2.3054311908E7
AT ITER 1817 NEW BEST:: SOT 133186399 SOS 82725422 HAS SOPS 67481595 HAS SOUS 23592460 HAS SOUPS 22970478 WITH SCORE 2.3053203422E7
AT ITER 1826 NEW BEST:: SOT 133181823 SOS 82721056 HAS SOPS 67474380 HAS SOUS 23581944 HAS SOUPS 22959910 WITH SCORE 2.3042631056E7
AT ITER 1849 NEW BEST:: SOT 133181251 SOS 82719255 HAS SOPS 67473536 HAS SOUS 23580483 HAS SOUPS 22958449 WITH SCORE 2.3041168255E7
AT ITER 1859 NEW BEST:: SOT 133165471 SOS 82703280 HAS SOPS 67456761 HAS SOUS 23560018 HAS SOUPS 22937984 WITH SCORE 2.302068728E7
AT ITER 1863 NEW BEST:: SOT 133167461 SOS 82730255 HAS SOPS 67484983 HAS SOUS 23556592 HAS SOUPS 22934558 WITH SCORE 2.3017288255E7
AT ITER 1865 NEW BEST:: SOT 133180968 SOS 82754848 HAS SOPS 67510211 HAS SOUS 23555118 HAS SOUPS 22933084 WITH SCORE 2.3015838848E7
AT ITER 1866 NEW BEST:: SOT 133201410 SOS 82833724 HAS SOPS 67583230 HAS SOUS 23554008 HAS SOUPS 22931974 WITH SCORE 2.3014807724E7
AT ITER 1869 NEW BEST:: SOT 133203480 SOS 82842745 HAS SOPS 67593436 HAS SOUS 23546531 HAS SOUPS 22924469 WITH SCORE 2.3007311745E7
AT ITER 1880 NEW BEST:: SOT 133204463 SOS 82847731 HAS SOPS 67604336 HAS SOUS 23545594 HAS SOUPS 22923532 WITH SCORE 2.3006379731E7
AT ITER 1881 NEW BEST:: SOT 133187702 SOS 82801684 HAS SOPS 67588675 HAS SOUS 23541730 HAS SOUPS 22920004 WITH SCORE 2.3002805684E7
AT ITER 1891 NEW BEST:: SOT 133185888 SOS 82797904 HAS SOPS 67593911 HAS SOUS 23537322 HAS SOUPS 22915596 WITH SCORE 2.2998393904E7
AT ITER 1897 NEW BEST:: SOT 133211812 SOS 82845609 HAS SOPS 67650193 HAS SOUS 23536156 HAS SOUPS 22914638 WITH SCORE 2.2997483609E7
AT ITER 1931 NEW BEST:: SOT 133203924 SOS 82836223 HAS SOPS 67639948 HAS SOUS 23510575 HAS SOUPS 22889192 WITH SCORE 2.2972028223E7
AT ITER 1938 NEW BEST:: SOT 133189945 SOS 82812815 HAS SOPS 67611872 HAS SOUS 23471902 HAS SOUPS 22850519 WITH SCORE 2.2933331815E7
AT ITER 1945 NEW BEST:: SOT 133162101 SOS 82739840 HAS SOPS 67553602 HAS SOUS 23460437 HAS SOUPS 22839054 WITH SCORE 2.292179384E7
AT ITER 1956 NEW BEST:: SOT 133164706 SOS 82729214 HAS SOPS 67546815 HAS SOUS 23459645 HAS SOUPS 22838483 WITH SCORE 2.2921212214E7
AT ITER 1996 NEW BEST:: SOT 133164594 SOS 82729166 HAS SOPS 67546439 HAS SOUS 23459341 HAS SOUPS 22838179 WITH SCORE 2.2920908166E7
AT ITER 2005 NEW BEST:: SOT 133156633 SOS 82720286 HAS SOPS 67537649 HAS SOUS 23441853 HAS SOUPS 22820777 WITH SCORE 2.2903497286E7
AT ITER 2024 NEW BEST:: SOT 133157588 SOS 82728269 HAS SOPS 67544280 HAS SOUS 23441585 HAS SOUPS 22820509 WITH SCORE 2.2903237269E7
AT ITER 2042 NEW BEST:: SOT 133199130 SOS 82545225 HAS SOPS 67435069 HAS SOUS 23390155 HAS SOUPS 22769418 WITH SCORE 2.2851963225E7
AT ITER 2050 NEW BEST:: SOT 133206440 SOS 82602146 HAS SOPS 67487606 HAS SOUS 23358286 HAS SOUPS 22737549 WITH SCORE 2.2820151146E7
AT ITER 2055 NEW BEST:: SOT 133208452 SOS 82628403 HAS SOPS 67499835 HAS SOUS 23332086 HAS SOUPS 22711349 WITH SCORE 2.2793977403E7
AT ITER 2057 NEW BEST:: SOT 133204657 SOS 82624557 HAS SOPS 67495989 HAS SOUS 23331248 HAS SOUPS 22710511 WITH SCORE 2.2793135557E7
AT ITER 2059 NEW BEST:: SOT 133204739 SOS 82625054 HAS SOPS 67497937 HAS SOUS 23329684 HAS SOUPS 22708947 WITH SCORE 2.2791572054E7
AT ITER 2086 NEW BEST:: SOT 133205508 SOS 82628451 HAS SOPS 67500365 HAS SOUS 23328545 HAS SOUPS 22707808 WITH SCORE 2.2790436451E7
AT ITER 2093 NEW BEST:: SOT 133206359 SOS 82664462 HAS SOPS 67545503 HAS SOUS 23312493 HAS SOUPS 22691756 WITH SCORE 2.2774420462E7
AT ITER 2098 NEW BEST:: SOT 133207241 SOS 82669995 HAS SOPS 67549218 HAS SOUS 23306639 HAS SOUPS 22685902 WITH SCORE 2.2768571995E7
AT ITER 2100 NEW BEST:: SOT 133205236 SOS 82676367 HAS SOPS 67568629 HAS SOUS 23298514 HAS SOUPS 22677777 WITH SCORE 2.2760453367E7
AT ITER 2110 NEW BEST:: SOT 133180066 SOS 82616273 HAS SOPS 67514286 HAS SOUS 23289308 HAS SOUPS 22668571 WITH SCORE 2.2751187273E7
AT ITER 2121 NEW BEST:: SOT 133186234 SOS 82629876 HAS SOPS 67531229 HAS SOUS 23286315 HAS SOUPS 22665578 WITH SCORE 2.2748207876E7
AT ITER 2122 NEW BEST:: SOT 133186678 SOS 82627383 HAS SOPS 67530746 HAS SOUS 23285862 HAS SOUPS 22665179 WITH SCORE 2.2747806383E7
AT ITER 2133 NEW BEST:: SOT 133183250 SOS 82621987 HAS SOPS 67524794 HAS SOUS 23284892 HAS SOUPS 22663894 WITH SCORE 2.2746515987E7
AT ITER 2154 NEW BEST:: SOT 133205298 SOS 82676111 HAS SOPS 67570382 HAS SOUS 23270269 HAS SOUPS 22649271 WITH SCORE 2.2731947111E7
AT ITER 2162 NEW BEST:: SOT 133213153 SOS 82703268 HAS SOPS 67593882 HAS SOUS 23266731 HAS SOUPS 22645733 WITH SCORE 2.2728436268E7
AT ITER 2166 NEW BEST:: SOT 133207225 SOS 82704134 HAS SOPS 67593730 HAS SOUS 23246945 HAS SOUPS 22625947 WITH SCORE 2.2708651134E7
AT ITER 2172 NEW BEST:: SOT 133169542 SOS 82659626 HAS SOPS 67550121 HAS SOUS 23246017 HAS SOUPS 22625255 WITH SCORE 2.2707914626E7
AT ITER 2174 NEW BEST:: SOT 133169430 SOS 82659514 HAS SOPS 67549977 HAS SOUS 23245791 HAS SOUPS 22625029 WITH SCORE 2.2707688514E7
AT ITER 2176 NEW BEST:: SOT 133171846 SOS 82664144 HAS SOPS 67555915 HAS SOUS 23244619 HAS SOUPS 22623857 WITH SCORE 2.2706521144E7
AT ITER 2195 NEW BEST:: SOT 133128356 SOS 82614157 HAS SOPS 67496440 HAS SOUS 23188674 HAS SOUPS 22568015 WITH SCORE 2.2650629157E7
AT ITER 2199 NEW BEST:: SOT 133142558 SOS 82646195 HAS SOPS 67557523 HAS SOUS 23160912 HAS SOUPS 22540253 WITH SCORE 2.2622899195E7
AT ITER 2224 NEW BEST:: SOT 133149661 SOS 82642781 HAS SOPS 67562222 HAS SOUS 23160427 HAS SOUPS 22539768 WITH SCORE 2.2622410781E7
AT ITER 2235 NEW BEST:: SOT 133142647 SOS 82621183 HAS SOPS 67551987 HAS SOUS 23158841 HAS SOUPS 22538182 WITH SCORE 2.2620803183E7
AT ITER 2243 NEW BEST:: SOT 133196816 SOS 82761988 HAS SOPS 67693252 HAS SOUS 23141513 HAS SOUPS 22520854 WITH SCORE 2.2603615988E7

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="RERS17pb114-PT-5"
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 RERS17pb114-PT-5, 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 r138-smll-158961502400112"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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