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-158961502400139.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-9, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r138-smll-158961502400139
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 73M
-rw-r--r-- 1 mcc users 3.8K Apr 12 07:33 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 12 07:33 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.7K Apr 11 08:29 CTLFireability.txt
-rw-r--r-- 1 mcc users 21K Apr 11 08:29 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.1K Apr 14 12:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 14 12:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Apr 10 14:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Apr 10 14:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Apr 9 20:56 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 9 20:56 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)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME RERS17pb114-PT-9-CTLCardinality-00
FORMULA_NAME RERS17pb114-PT-9-CTLCardinality-01
FORMULA_NAME RERS17pb114-PT-9-CTLCardinality-02
FORMULA_NAME RERS17pb114-PT-9-CTLCardinality-03
FORMULA_NAME RERS17pb114-PT-9-CTLCardinality-04
FORMULA_NAME RERS17pb114-PT-9-CTLCardinality-05
FORMULA_NAME RERS17pb114-PT-9-CTLCardinality-06
FORMULA_NAME RERS17pb114-PT-9-CTLCardinality-07
FORMULA_NAME RERS17pb114-PT-9-CTLCardinality-08
FORMULA_NAME RERS17pb114-PT-9-CTLCardinality-09
FORMULA_NAME RERS17pb114-PT-9-CTLCardinality-10
FORMULA_NAME RERS17pb114-PT-9-CTLCardinality-11
FORMULA_NAME RERS17pb114-PT-9-CTLCardinality-12
FORMULA_NAME RERS17pb114-PT-9-CTLCardinality-13
FORMULA_NAME RERS17pb114-PT-9-CTLCardinality-14
FORMULA_NAME RERS17pb114-PT-9-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589737463344

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb114 (PT), instance 9
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
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 5 NEW BEST:: SOT 133664545 SOS 82249174 HAS SOPS 66789473 HAS SOUS 26426674 HAS SOUPS 25795983 WITH SCORE 2.5878232174E7
AT ITER 6 NEW BEST:: SOT 133663764 SOS 82248768 HAS SOPS 66792382 HAS SOUS 26426565 HAS SOUPS 25795874 WITH SCORE 2.5878122768E7
AT ITER 12 NEW BEST:: SOT 133556238 SOS 82102127 HAS SOPS 66654815 HAS SOUS 26308412 HAS SOUPS 25677895 WITH SCORE 2.5759997127E7
AT ITER 19 NEW BEST:: SOT 133554255 SOS 82099200 HAS SOPS 66653248 HAS SOUS 26306449 HAS SOUPS 25676316 WITH SCORE 2.57584152E7
AT ITER 36 NEW BEST:: SOT 133523633 SOS 82067853 HAS SOPS 66620977 HAS SOUS 26227839 HAS SOUPS 25597614 WITH SCORE 2.5679681853E7
AT ITER 38 NEW BEST:: SOT 133525179 SOS 82090273 HAS SOPS 66651171 HAS SOUS 26225649 HAS SOUPS 25595424 WITH SCORE 2.5677514273E7
AT ITER 69 NEW BEST:: SOT 133525633 SOS 82092598 HAS SOPS 66654388 HAS SOUS 26216029 HAS SOUPS 25585804 WITH SCORE 2.5667896598E7
AT ITER 80 NEW BEST:: SOT 133509880 SOS 82058231 HAS SOPS 66616682 HAS SOUS 26199489 HAS SOUPS 25569264 WITH SCORE 2.5651322231E7
AT ITER 83 NEW BEST:: SOT 133490240 SOS 82022130 HAS SOPS 66584107 HAS SOUS 26174913 HAS SOUPS 25544631 WITH SCORE 2.562665313E7
AT ITER 85 NEW BEST:: SOT 133490580 SOS 82025448 HAS SOPS 66587691 HAS SOUS 26173983 HAS SOUPS 25543701 WITH SCORE 2.5625726448E7
AT ITER 104 NEW BEST:: SOT 133485506 SOS 82009696 HAS SOPS 66576591 HAS SOUS 26172964 HAS SOUPS 25542682 WITH SCORE 2.5624691696E7
AT ITER 107 NEW BEST:: SOT 133485138 SOS 82014018 HAS SOPS 66579697 HAS SOUS 26170137 HAS SOUPS 25539855 WITH SCORE 2.5621869018E7
AT ITER 110 NEW BEST:: SOT 133488417 SOS 82024121 HAS SOPS 66586537 HAS SOUS 26165436 HAS SOUPS 25535154 WITH SCORE 2.5617178121E7
AT ITER 112 NEW BEST:: SOT 133490196 SOS 82034072 HAS SOPS 66597346 HAS SOUS 26165210 HAS SOUPS 25534928 WITH SCORE 2.5616962072E7
AT ITER 114 NEW BEST:: SOT 133456095 SOS 81965096 HAS SOPS 66553422 HAS SOUS 26133463 HAS SOUPS 25503181 WITH SCORE 2.5585146096E7
AT ITER 119 NEW BEST:: SOT 133483273 SOS 82043640 HAS SOPS 66615661 HAS SOUS 26131949 HAS SOUPS 25501667 WITH SCORE 2.558371064E7
AT ITER 137 NEW BEST:: SOT 133483790 SOS 82045291 HAS SOPS 66616725 HAS SOUS 26131849 HAS SOUPS 25501567 WITH SCORE 2.5583612291E7
AT ITER 158 NEW BEST:: SOT 133483169 SOS 82043315 HAS SOPS 66613783 HAS SOUS 26130113 HAS SOUPS 25499831 WITH SCORE 2.5581874315E7
AT ITER 186 NEW BEST:: SOT 133489342 SOS 82060912 HAS SOPS 66630634 HAS SOUS 26123584 HAS SOUPS 25493302 WITH SCORE 2.5575362912E7
AT ITER 193 NEW BEST:: SOT 133479960 SOS 82024148 HAS SOPS 66610725 HAS SOUS 26117905 HAS SOUPS 25491682 WITH SCORE 2.5573706148E7
AT ITER 197 NEW BEST:: SOT 133466865 SOS 82010871 HAS SOPS 66597425 HAS SOUS 26103140 HAS SOUPS 25476965 WITH SCORE 2.5558975871E7
AT ITER 205 NEW BEST:: SOT 133371844 SOS 81899419 HAS SOPS 66476260 HAS SOUS 25984090 HAS SOUPS 25358169 WITH SCORE 2.5440068419E7
AT ITER 212 NEW BEST:: SOT 133379531 SOS 81935037 HAS SOPS 66505623 HAS SOUS 25953116 HAS SOUPS 25327195 WITH SCORE 2.5409130037E7
AT ITER 231 NEW BEST:: SOT 133365105 SOS 81920611 HAS SOPS 66491165 HAS SOUS 25938626 HAS SOUPS 25312705 WITH SCORE 2.5394625611E7
AT ITER 232 NEW BEST:: SOT 133364730 SOS 81917646 HAS SOPS 66484892 HAS SOUS 25935763 HAS SOUPS 25309842 WITH SCORE 2.5391759646E7
AT ITER 239 NEW BEST:: SOT 133361429 SOS 81912685 HAS SOPS 66478881 HAS SOUS 25930384 HAS SOUPS 25304484 WITH SCORE 2.5386396685E7
AT ITER 243 NEW BEST:: SOT 133361935 SOS 81917308 HAS SOPS 66480277 HAS SOUS 25927907 HAS SOUPS 25302007 WITH SCORE 2.5383924308E7
AT ITER 244 NEW BEST:: SOT 133364319 SOS 81935318 HAS SOPS 66491946 HAS SOUS 25921697 HAS SOUPS 25295797 WITH SCORE 2.5377732318E7
AT ITER 246 NEW BEST:: SOT 133364095 SOS 81934578 HAS SOPS 66491208 HAS SOUS 25921630 HAS SOUPS 25295730 WITH SCORE 2.5377664578E7
AT ITER 248 NEW BEST:: SOT 133358404 SOS 81926581 HAS SOPS 66482270 HAS SOUS 25909491 HAS SOUPS 25283591 WITH SCORE 2.5365517581E7
AT ITER 253 NEW BEST:: SOT 133362214 SOS 81952652 HAS SOPS 66504486 HAS SOUS 25905606 HAS SOUPS 25279706 WITH SCORE 2.5361658652E7
AT ITER 263 NEW BEST:: SOT 133362472 SOS 81956513 HAS SOPS 66507919 HAS SOUS 25904943 HAS SOUPS 25279043 WITH SCORE 2.5360999513E7
AT ITER 265 NEW BEST:: SOT 133363003 SOS 81957506 HAS SOPS 66510565 HAS SOUS 25904518 HAS SOUPS 25278618 WITH SCORE 2.5360575506E7
AT ITER 275 NEW BEST:: SOT 133363678 SOS 81963859 HAS SOPS 66517191 HAS SOUS 25887911 HAS SOUPS 25262426 WITH SCORE 2.5344389859E7
AT ITER 277 NEW BEST:: SOT 133357714 SOS 81958312 HAS SOPS 66510036 HAS SOUS 25869731 HAS SOUPS 25244246 WITH SCORE 2.5326204312E7
AT ITER 291 NEW BEST:: SOT 133362369 SOS 81997655 HAS SOPS 66542368 HAS SOUS 25846791 HAS SOUPS 25221306 WITH SCORE 2.5303303655E7
AT ITER 295 NEW BEST:: SOT 133363511 SOS 82000521 HAS SOPS 66544500 HAS SOUS 25846671 HAS SOUPS 25221186 WITH SCORE 2.5303186521E7
AT ITER 323 NEW BEST:: SOT 133312815 SOS 81943938 HAS SOPS 66486053 HAS SOUS 25776135 HAS SOUPS 25150753 WITH SCORE 2.5232696938E7
AT ITER 327 NEW BEST:: SOT 133282501 SOS 81913505 HAS SOPS 66453035 HAS SOUS 25735112 HAS SOUPS 25109730 WITH SCORE 2.5191643505E7
AT ITER 328 NEW BEST:: SOT 133259833 SOS 81879809 HAS SOPS 66425091 HAS SOUS 25701639 HAS SOUPS 25076257 WITH SCORE 2.5158136809E7
AT ITER 344 NEW BEST:: SOT 133249915 SOS 81850625 HAS SOPS 66402073 HAS SOUS 25700679 HAS SOUPS 25075297 WITH SCORE 2.5157147625E7
AT ITER 348 NEW BEST:: SOT 133230508 SOS 81803457 HAS SOPS 66386948 HAS SOUS 25693899 HAS SOUPS 25069201 WITH SCORE 2.5151004457E7
AT ITER 349 NEW BEST:: SOT 133226214 SOS 81799014 HAS SOPS 66385139 HAS SOUS 25681063 HAS SOUPS 25056365 WITH SCORE 2.5138164014E7
AT ITER 354 NEW BEST:: SOT 133221903 SOS 81793387 HAS SOPS 66380517 HAS SOUS 25675301 HAS SOUPS 25050701 WITH SCORE 2.5132494387E7
AT ITER 365 NEW BEST:: SOT 133267089 SOS 81913363 HAS SOPS 66477763 HAS SOUS 25666844 HAS SOUPS 25042244 WITH SCORE 2.5124157363E7
AT ITER 384 NEW BEST:: SOT 133272165 SOS 81932328 HAS SOPS 66486076 HAS SOUS 25659993 HAS SOUPS 25035393 WITH SCORE 2.5117325328E7
AT ITER 391 NEW BEST:: SOT 133274009 SOS 81937115 HAS SOPS 66476056 HAS SOUS 25647733 HAS SOUPS 25023133 WITH SCORE 2.5105070115E7
AT ITER 396 NEW BEST:: SOT 133274188 SOS 81940551 HAS SOPS 66479311 HAS SOUS 25647574 HAS SOUPS 25022974 WITH SCORE 2.5104914551E7
AT ITER 412 NEW BEST:: SOT 133272953 SOS 81939375 HAS SOPS 66477207 HAS SOUS 25644917 HAS SOUPS 25020317 WITH SCORE 2.5102256375E7
AT ITER 426 NEW BEST:: SOT 133269778 SOS 81935699 HAS SOPS 66476311 HAS SOUS 25643421 HAS SOUPS 25018821 WITH SCORE 2.5100756699E7
AT ITER 443 NEW BEST:: SOT 133249614 SOS 81892077 HAS SOPS 66450808 HAS SOUS 25630881 HAS SOUPS 25006505 WITH SCORE 2.5088397077E7
AT ITER 448 NEW BEST:: SOT 133260086 SOS 81931159 HAS SOPS 66480663 HAS SOUS 25610390 HAS SOUPS 24986014 WITH SCORE 2.5067945159E7
AT ITER 454 NEW BEST:: SOT 133278783 SOS 81976889 HAS SOPS 66510661 HAS SOUS 25599455 HAS SOUPS 24974839 WITH SCORE 2.5056815889E7
AT ITER 485 NEW BEST:: SOT 133275872 SOS 81968622 HAS SOPS 66494462 HAS SOUS 25598741 HAS SOUPS 24974008 WITH SCORE 2.5055976622E7
AT ITER 503 NEW BEST:: SOT 133262844 SOS 81952351 HAS SOPS 66485009 HAS SOUS 25588190 HAS SOUPS 24963457 WITH SCORE 2.5045409351E7
AT ITER 513 NEW BEST:: SOT 133263802 SOS 81955941 HAS SOPS 66487507 HAS SOUS 25587426 HAS SOUPS 24962693 WITH SCORE 2.5044648941E7
AT ITER 515 NEW BEST:: SOT 133257603 SOS 81937469 HAS SOPS 66479472 HAS SOUS 25577824 HAS SOUPS 24953091 WITH SCORE 2.5035028469E7
AT ITER 523 NEW BEST:: SOT 133244396 SOS 81945672 HAS SOPS 66530876 HAS SOUS 25563849 HAS SOUPS 24939669 WITH SCORE 2.5021614672E7
AT ITER 525 NEW BEST:: SOT 133243195 SOS 81941503 HAS SOPS 66525517 HAS SOUS 25556241 HAS SOUPS 24932061 WITH SCORE 2.5014002503E7
AT ITER 531 NEW BEST:: SOT 133319342 SOS 82136914 HAS SOPS 66722784 HAS SOUS 25531601 HAS SOUPS 24904163 WITH SCORE 2.4986299914E7
AT ITER 532 NEW BEST:: SOT 133317649 SOS 82156251 HAS SOPS 66731422 HAS SOUS 25464518 HAS SOUPS 24840885 WITH SCORE 2.4923041251E7
AT ITER 550 NEW BEST:: SOT 133325122 SOS 82199293 HAS SOPS 66766943 HAS SOUS 25457542 HAS SOUPS 24833909 WITH SCORE 2.4916108293E7
AT ITER 573 NEW BEST:: SOT 133324738 SOS 82199575 HAS SOPS 66766799 HAS SOUS 25456302 HAS SOUPS 24832669 WITH SCORE 2.4914868575E7
AT ITER 577 NEW BEST:: SOT 133329330 SOS 82225396 HAS SOPS 66788842 HAS SOUS 25446812 HAS SOUPS 24823179 WITH SCORE 2.4905404396E7
AT ITER 582 NEW BEST:: SOT 133330463 SOS 82236462 HAS SOPS 66792804 HAS SOUS 25427600 HAS SOUPS 24804024 WITH SCORE 2.4886260462E7
AT ITER 592 NEW BEST:: SOT 133334765 SOS 82256761 HAS SOPS 66807390 HAS SOUS 25412164 HAS SOUPS 24788588 WITH SCORE 2.4870844761E7
AT ITER 596 NEW BEST:: SOT 133349636 SOS 82325956 HAS SOPS 66878494 HAS SOUS 25373101 HAS SOUPS 24749525 WITH SCORE 2.4831850956E7
AT ITER 598 NEW BEST:: SOT 133340060 SOS 82307435 HAS SOPS 66850461 HAS SOUS 25337525 HAS SOUPS 24713949 WITH SCORE 2.4796256435E7
AT ITER 605 NEW BEST:: SOT 133329661 SOS 82270747 HAS SOPS 66814457 HAS SOUS 25333085 HAS SOUPS 24709509 WITH SCORE 2.4791779747E7
AT ITER 611 NEW BEST:: SOT 133334714 SOS 82278389 HAS SOPS 66826845 HAS SOUS 25324078 HAS SOUPS 24700314 WITH SCORE 2.4782592389E7
AT ITER 631 NEW BEST:: SOT 133336926 SOS 82285417 HAS SOPS 66835930 HAS SOUS 25320854 HAS SOUPS 24697090 WITH SCORE 2.4779375417E7
AT ITER 639 NEW BEST:: SOT 133326722 SOS 82262519 HAS SOPS 66817353 HAS SOUS 25310839 HAS SOUPS 24687075 WITH SCORE 2.4769337519E7
AT ITER 640 NEW BEST:: SOT 133314944 SOS 82250770 HAS SOPS 66805575 HAS SOUS 25299089 HAS SOUPS 24675297 WITH SCORE 2.475754777E7
AT ITER 642 NEW BEST:: SOT 133365850 SOS 82416752 HAS SOPS 66947760 HAS SOUS 25293608 HAS SOUPS 24669609 WITH SCORE 2.4752025752E7
AT ITER 644 NEW BEST:: SOT 133362950 SOS 82403223 HAS SOPS 66942660 HAS SOUS 25291472 HAS SOUPS 24667473 WITH SCORE 2.4749876223E7
AT ITER 668 NEW BEST:: SOT 133361132 SOS 82398994 HAS SOPS 66937637 HAS SOUS 25290341 HAS SOUPS 24665230 WITH SCORE 2.4747628994E7
AT ITER 675 NEW BEST:: SOT 133342737 SOS 82364676 HAS SOPS 66910736 HAS SOUS 25287573 HAS SOUPS 24662462 WITH SCORE 2.4744826676E7
AT ITER 677 NEW BEST:: SOT 133269516 SOS 82258510 HAS SOPS 66811769 HAS SOUS 25232148 HAS SOUPS 24607256 WITH SCORE 2.468951451E7
AT ITER 688 NEW BEST:: SOT 133269289 SOS 82258192 HAS SOPS 66811724 HAS SOUS 25231354 HAS SOUPS 24606462 WITH SCORE 2.4688720192E7
AT ITER 689 NEW BEST:: SOT 133251106 SOS 82253321 HAS SOPS 66806022 HAS SOUS 25167411 HAS SOUPS 24542519 WITH SCORE 2.4624772321E7
AT ITER 692 NEW BEST:: SOT 133255955 SOS 82276552 HAS SOPS 66816135 HAS SOUS 25152849 HAS SOUPS 24527957 WITH SCORE 2.4610233552E7
AT ITER 694 NEW BEST:: SOT 133250334 SOS 82264183 HAS SOPS 66806873 HAS SOUS 25149335 HAS SOUPS 24524443 WITH SCORE 2.4606707183E7
AT ITER 703 NEW BEST:: SOT 133246562 SOS 82255438 HAS SOPS 66805489 HAS SOUS 25138666 HAS SOUPS 24513774 WITH SCORE 2.4596029438E7
AT ITER 732 NEW BEST:: SOT 133247711 SOS 82259542 HAS SOPS 66815347 HAS SOUS 25134517 HAS SOUPS 24509625 WITH SCORE 2.4591884542E7
AT ITER 733 NEW BEST:: SOT 133237701 SOS 82238954 HAS SOPS 66798343 HAS SOUS 25127953 HAS SOUPS 24503061 WITH SCORE 2.4585299954E7
AT ITER 742 NEW BEST:: SOT 133217027 SOS 82206379 HAS SOPS 66783132 HAS SOUS 25113783 HAS SOUPS 24488891 WITH SCORE 2.4571097379E7
AT ITER 761 NEW BEST:: SOT 133153667 SOS 82110919 HAS SOPS 66698657 HAS SOUS 25046989 HAS SOUPS 24420998 WITH SCORE 2.4503108919E7
AT ITER 762 NEW BEST:: SOT 133158006 SOS 82143047 HAS SOPS 66730555 HAS SOUS 25041548 HAS SOUPS 24415557 WITH SCORE 2.4497700047E7
AT ITER 765 NEW BEST:: SOT 133155957 SOS 82140331 HAS SOPS 66728074 HAS SOUS 25039152 HAS SOUPS 24413161 WITH SCORE 2.4495301331E7
AT ITER 769 NEW BEST:: SOT 133137133 SOS 82123260 HAS SOPS 66722693 HAS SOUS 25025453 HAS SOUPS 24399462 WITH SCORE 2.448158526E7
AT ITER 770 NEW BEST:: SOT 133139798 SOS 82138334 HAS SOPS 66730753 HAS SOUS 25004276 HAS SOUPS 24378285 WITH SCORE 2.4460423334E7
AT ITER 777 NEW BEST:: SOT 133123187 SOS 82104302 HAS SOPS 66701707 HAS SOUS 24968935 HAS SOUPS 24344597 WITH SCORE 2.4426701302E7
AT ITER 781 NEW BEST:: SOT 133099901 SOS 82051265 HAS SOPS 66690853 HAS SOUS 24966680 HAS SOUPS 24343052 WITH SCORE 2.4425103265E7
AT ITER 786 NEW BEST:: SOT 133124067 SOS 82135400 HAS SOPS 66778797 HAS SOUS 24958431 HAS SOUPS 24334803 WITH SCORE 2.44169384E7
AT ITER 791 NEW BEST:: SOT 133124210 SOS 82135193 HAS SOPS 66778215 HAS SOUS 24957837 HAS SOUPS 24334209 WITH SCORE 2.4416344193E7
AT ITER 797 NEW BEST:: SOT 133117607 SOS 82129172 HAS SOPS 66777021 HAS SOUS 24934021 HAS SOUPS 24310393 WITH SCORE 2.4392522172E7
AT ITER 800 NEW BEST:: SOT 133114264 SOS 82125829 HAS SOPS 66773678 HAS SOUS 24926390 HAS SOUPS 24302762 WITH SCORE 2.4384887829E7
AT ITER 831 NEW BEST:: SOT 133113553 SOS 82125069 HAS SOPS 66771496 HAS SOUS 24924162 HAS SOUPS 24300572 WITH SCORE 2.4382697069E7
AT ITER 835 NEW BEST:: SOT 133127145 SOS 82170457 HAS SOPS 66813775 HAS SOUS 24916500 HAS SOUPS 24292910 WITH SCORE 2.4375080457E7
AT ITER 841 NEW BEST:: SOT 133139324 SOS 82193551 HAS SOPS 66905731 HAS SOUS 24914692 HAS SOUPS 24291102 WITH SCORE 2.4373295551E7
AT ITER 855 NEW BEST:: SOT 133133398 SOS 82185330 HAS SOPS 66898207 HAS SOUS 24899460 HAS SOUPS 24276022 WITH SCORE 2.435820733E7
AT ITER 861 NEW BEST:: SOT 133133398 SOS 82184421 HAS SOPS 66897298 HAS SOUS 24898526 HAS SOUPS 24275088 WITH SCORE 2.4357272421E7
AT ITER 873 NEW BEST:: SOT 133134118 SOS 82197597 HAS SOPS 66912118 HAS SOUS 24891935 HAS SOUPS 24268497 WITH SCORE 2.4350694597E7
AT ITER 887 NEW BEST:: SOT 133148981 SOS 82231374 HAS SOPS 66937095 HAS SOUS 24875801 HAS SOUPS 24252363 WITH SCORE 2.4334594374E7
AT ITER 904 NEW BEST:: SOT 133148936 SOS 82231242 HAS SOPS 66936995 HAS SOUS 24875720 HAS SOUPS 24252282 WITH SCORE 2.4334513242E7
AT ITER 910 NEW BEST:: SOT 133148816 SOS 82231508 HAS SOPS 66936780 HAS SOUS 24875411 HAS SOUPS 24251973 WITH SCORE 2.4334204508E7
AT ITER 923 NEW BEST:: SOT 133097666 SOS 82140298 HAS SOPS 66900258 HAS SOUS 24839397 HAS SOUPS 24216486 WITH SCORE 2.4298626298E7
AT ITER 925 NEW BEST:: SOT 133102698 SOS 82169808 HAS SOPS 66917686 HAS SOUS 24816016 HAS SOUPS 24193105 WITH SCORE 2.4275274808E7
AT ITER 935 NEW BEST:: SOT 133100421 SOS 82174499 HAS SOPS 66911677 HAS SOUS 24800662 HAS SOUPS 24177666 WITH SCORE 2.4259840499E7
AT ITER 936 NEW BEST:: SOT 133095293 SOS 82161597 HAS SOPS 66908469 HAS SOUS 24771907 HAS SOUPS 24149682 WITH SCORE 2.4231843597E7
AT ITER 942 NEW BEST:: SOT 133098349 SOS 82185767 HAS SOPS 66929050 HAS SOUS 24760236 HAS SOUPS 24138011 WITH SCORE 2.4220196767E7
AT ITER 946 NEW BEST:: SOT 133099422 SOS 82187758 HAS SOPS 66930552 HAS SOUS 24759988 HAS SOUPS 24137956 WITH SCORE 2.4220143758E7
AT ITER 1001 NEW BEST:: SOT 133087308 SOS 82172147 HAS SOPS 66916074 HAS SOUS 24743214 HAS SOUPS 24122245 WITH SCORE 2.4204417147E7
AT ITER 1011 NEW BEST:: SOT 133096215 SOS 82202632 HAS SOPS 66959922 HAS SOUS 24743120 HAS SOUPS 24122151 WITH SCORE 2.4204353632E7
AT ITER 1015 NEW BEST:: SOT 133095069 SOS 82199444 HAS SOPS 66959671 HAS SOUS 24742126 HAS SOUPS 24121157 WITH SCORE 2.4203356444E7
AT ITER 1035 NEW BEST:: SOT 133096798 SOS 82210070 HAS SOPS 66964585 HAS SOUS 24739864 HAS SOUPS 24118895 WITH SCORE 2.420110507E7
AT ITER 1049 NEW BEST:: SOT 133124005 SOS 82277942 HAS SOPS 67013875 HAS SOUS 24732017 HAS SOUPS 24110967 WITH SCORE 2.4193244942E7
AT ITER 1057 NEW BEST:: SOT 133122616 SOS 82276411 HAS SOPS 67012363 HAS SOUS 24729627 HAS SOUPS 24108577 WITH SCORE 2.4190853411E7
AT ITER 1068 NEW BEST:: SOT 133122152 SOS 82274004 HAS SOPS 67007749 HAS SOUS 24722717 HAS SOUPS 24101667 WITH SCORE 2.4183941004E7
AT ITER 1094 NEW BEST:: SOT 133145828 SOS 82339601 HAS SOPS 67063796 HAS SOUS 24719434 HAS SOUPS 24095389 WITH SCORE 2.4177728601E7
AT ITER 1100 NEW BEST:: SOT 133146654 SOS 82347621 HAS SOPS 67065228 HAS SOUS 24712511 HAS SOUPS 24088466 WITH SCORE 2.4170813621E7
AT ITER 1106 NEW BEST:: SOT 133133159 SOS 82326988 HAS SOPS 67048677 HAS SOUS 24696892 HAS SOUPS 24073497 WITH SCORE 2.4155823988E7
AT ITER 1107 NEW BEST:: SOT 133128091 SOS 82318473 HAS SOPS 67038093 HAS SOUS 24684351 HAS SOUPS 24060956 WITH SCORE 2.4143274473E7
AT ITER 1111 NEW BEST:: SOT 133125872 SOS 82333463 HAS SOPS 67048154 HAS SOUS 24679930 HAS SOUPS 24056433 WITH SCORE 2.4138766463E7
AT ITER 1132 NEW BEST:: SOT 133125882 SOS 82333693 HAS SOPS 67048214 HAS SOUS 24679870 HAS SOUPS 24056373 WITH SCORE 2.4138706693E7
AT ITER 1138 NEW BEST:: SOT 133145333 SOS 82381011 HAS SOPS 67078734 HAS SOUS 24659887 HAS SOUPS 24036390 WITH SCORE 2.4118771011E7
AT ITER 1147 NEW BEST:: SOT 133139827 SOS 82370558 HAS SOPS 67069513 HAS SOUS 24655088 HAS SOUPS 24031591 WITH SCORE 2.4113961558E7
AT ITER 1156 NEW BEST:: SOT 133139064 SOS 82377359 HAS SOPS 67069612 HAS SOUS 24648058 HAS SOUPS 24024561 WITH SCORE 2.4106938359E7
AT ITER 1166 NEW BEST:: SOT 133142861 SOS 82390811 HAS SOPS 67080095 HAS SOUS 24647781 HAS SOUPS 24024284 WITH SCORE 2.4106674811E7
AT ITER 1175 NEW BEST:: SOT 133109147 SOS 82344886 HAS SOPS 67027609 HAS SOUS 24602446 HAS SOUPS 23978949 WITH SCORE 2.4061293886E7
AT ITER 1227 NEW BEST:: SOT 133103163 SOS 82341707 HAS SOPS 67023472 HAS SOUS 24582093 HAS SOUPS 23958638 WITH SCORE 2.4040979707E7
AT ITER 1230 NEW BEST:: SOT 133107699 SOS 82356082 HAS SOPS 67025563 HAS SOUS 24547700 HAS SOUPS 23925714 WITH SCORE 2.4008070082E7
AT ITER 1235 NEW BEST:: SOT 133136416 SOS 82430868 HAS SOPS 67085444 HAS SOUS 24539679 HAS SOUPS 23917620 WITH SCORE 2.4000050868E7
AT ITER 1251 NEW BEST:: SOT 133144647 SOS 82462810 HAS SOPS 67103627 HAS SOUS 24529162 HAS SOUPS 23907103 WITH SCORE 2.398956581E7
AT ITER 1255 NEW BEST:: SOT 133144647 SOS 82462634 HAS SOPS 67103627 HAS SOUS 24529162 HAS SOUPS 23907103 WITH SCORE 2.3989565634E7
AT ITER 1305 NEW BEST:: SOT 133147171 SOS 82468324 HAS SOPS 67107250 HAS SOUS 24527508 HAS SOUPS 23905449 WITH SCORE 2.3987917324E7
AT ITER 1319 NEW BEST:: SOT 133158066 SOS 82483895 HAS SOPS 67131604 HAS SOUS 24518726 HAS SOUPS 23896752 WITH SCORE 2.3979235895E7
AT ITER 1338 NEW BEST:: SOT 133156840 SOS 82481528 HAS SOPS 67129573 HAS SOUS 24517381 HAS SOUPS 23895414 WITH SCORE 2.3977895528E7
AT ITER 1347 NEW BEST:: SOT 133145393 SOS 82459515 HAS SOPS 67116997 HAS SOUS 24498575 HAS SOUPS 23880784 WITH SCORE 2.3963243515E7
AT ITER 1351 NEW BEST:: SOT 133137966 SOS 82450329 HAS SOPS 67107863 HAS SOUS 24475026 HAS SOUPS 23857262 WITH SCORE 2.3939712329E7
AT ITER 1352 NEW BEST:: SOT 133107654 SOS 82422432 HAS SOPS 67074158 HAS SOUS 24440222 HAS SOUPS 23822210 WITH SCORE 2.3904632432E7
AT ITER 1357 NEW BEST:: SOT 133098210 SOS 82413539 HAS SOPS 67066596 HAS SOUS 24410947 HAS SOUPS 23794471 WITH SCORE 2.3876884539E7
AT ITER 1370 NEW BEST:: SOT 133102216 SOS 82435787 HAS SOPS 67086562 HAS SOUS 24402291 HAS SOUPS 23785815 WITH SCORE 2.3868250787E7
AT ITER 1377 NEW BEST:: SOT 133124395 SOS 82491396 HAS SOPS 67134584 HAS SOUS 24396002 HAS SOUPS 23779526 WITH SCORE 2.3862017396E7
AT ITER 1378 NEW BEST:: SOT 133124931 SOS 82494054 HAS SOPS 67135754 HAS SOUS 24394665 HAS SOUPS 23778189 WITH SCORE 2.3860683054E7
AT ITER 1405 NEW BEST:: SOT 133142729 SOS 82524362 HAS SOPS 67156396 HAS SOUS 24393106 HAS SOUPS 23776630 WITH SCORE 2.3859154362E7
AT ITER 1413 NEW BEST:: SOT 133137000 SOS 82504643 HAS SOPS 67137415 HAS SOUS 24380607 HAS SOUPS 23764230 WITH SCORE 2.3846734643E7
AT ITER 1446 NEW BEST:: SOT 133077090 SOS 82383579 HAS SOPS 67048030 HAS SOUS 24325154 HAS SOUPS 23709069 WITH SCORE 2.3791452579E7
AT ITER 1447 NEW BEST:: SOT 133077042 SOS 82386927 HAS SOPS 67049533 HAS SOUS 24325038 HAS SOUPS 23708953 WITH SCORE 2.3791339927E7
AT ITER 1468 NEW BEST:: SOT 133081360 SOS 82387628 HAS SOPS 67056486 HAS SOUS 24323948 HAS SOUPS 23707863 WITH SCORE 2.3790250628E7
AT ITER 1474 NEW BEST:: SOT 133093690 SOS 82426178 HAS SOPS 67098405 HAS SOUS 24319759 HAS SOUPS 23703674 WITH SCORE 2.3786100178E7
AT ITER 1488 NEW BEST:: SOT 133108516 SOS 82492513 HAS SOPS 67167669 HAS SOUS 24316216 HAS SOUPS 23700131 WITH SCORE 2.3782623513E7
AT ITER 1498 NEW BEST:: SOT 133107920 SOS 82491377 HAS SOPS 67166641 HAS SOUS 24315828 HAS SOUPS 23699743 WITH SCORE 2.3782234377E7
AT ITER 1504 NEW BEST:: SOT 133108245 SOS 82490470 HAS SOPS 67161647 HAS SOUS 24314161 HAS SOUPS 23698076 WITH SCORE 2.378056647E7
AT ITER 1538 NEW BEST:: SOT 133138399 SOS 82571410 HAS SOPS 67241888 HAS SOUS 24300069 HAS SOUPS 23683984 WITH SCORE 2.376655541E7
AT ITER 1552 NEW BEST:: SOT 133132128 SOS 82565139 HAS SOPS 67235265 HAS SOUS 24293286 HAS SOUPS 23676977 WITH SCORE 2.3759542139E7
AT ITER 1553 NEW BEST:: SOT 133163407 SOS 82645472 HAS SOPS 67314562 HAS SOUS 24277638 HAS SOUPS 23661329 WITH SCORE 2.3743974472E7
AT ITER 1572 NEW BEST:: SOT 133163034 SOS 82647535 HAS SOPS 67314485 HAS SOUS 24273551 HAS SOUPS 23657242 WITH SCORE 2.3739889535E7
AT ITER 1579 NEW BEST:: SOT 133163585 SOS 82639622 HAS SOPS 67300456 HAS SOUS 24266538 HAS SOUPS 23650229 WITH SCORE 2.3732868622E7
AT ITER 1582 NEW BEST:: SOT 133178741 SOS 82680551 HAS SOPS 67345181 HAS SOUS 24263080 HAS SOUPS 23646771 WITH SCORE 2.3729451551E7
AT ITER 1587 NEW BEST:: SOT 133153484 SOS 82639880 HAS SOPS 67308233 HAS SOUS 24236554 HAS SOUPS 23620328 WITH SCORE 2.370296788E7
AT ITER 1598 NEW BEST:: SOT 133151762 SOS 82639871 HAS SOPS 67306460 HAS SOUS 24215430 HAS SOUPS 23599204 WITH SCORE 2.3681843871E7
AT ITER 1600 NEW BEST:: SOT 133161239 SOS 82659676 HAS SOPS 67325231 HAS SOUS 24210076 HAS SOUPS 23594384 WITH SCORE 2.3677043676E7
AT ITER 1608 NEW BEST:: SOT 133157348 SOS 82653253 HAS SOPS 67318850 HAS SOUS 24205127 HAS SOUPS 23589401 WITH SCORE 2.3672054253E7
AT ITER 1615 NEW BEST:: SOT 133150516 SOS 82642832 HAS SOPS 67304956 HAS SOUS 24192913 HAS SOUPS 23577187 WITH SCORE 2.3659829832E7
AT ITER 1618 NEW BEST:: SOT 133150080 SOS 82642182 HAS SOPS 67304382 HAS SOUS 24192269 HAS SOUPS 23576639 WITH SCORE 2.3659281182E7
AT ITER 1624 NEW BEST:: SOT 133180639 SOS 82672314 HAS SOPS 67334514 HAS SOUS 24185211 HAS SOUPS 23569581 WITH SCORE 2.3652253314E7
AT ITER 1625 NEW BEST:: SOT 133176069 SOS 82667740 HAS SOPS 67329928 HAS SOUS 24180638 HAS SOUPS 23564996 WITH SCORE 2.364766374E7
AT ITER 1628 NEW BEST:: SOT 133173467 SOS 82663513 HAS SOPS 67326601 HAS SOUS 24179361 HAS SOUPS 23564019 WITH SCORE 2.3646682513E7
AT ITER 1634 NEW BEST:: SOT 133179320 SOS 82667603 HAS SOPS 67336481 HAS SOUS 24158109 HAS SOUPS 23542762 WITH SCORE 2.3625429603E7
AT ITER 1636 NEW BEST:: SOT 133177105 SOS 82664050 HAS SOPS 67332842 HAS SOUS 24155438 HAS SOUPS 23540107 WITH SCORE 2.362277105E7
AT ITER 1638 NEW BEST:: SOT 133177663 SOS 82668988 HAS SOPS 67335067 HAS SOUS 24154109 HAS SOUPS 23538778 WITH SCORE 2.3621446988E7
AT ITER 1654 NEW BEST:: SOT 133176868 SOS 82667974 HAS SOPS 67333831 HAS SOUS 24152863 HAS SOUPS 23537532 WITH SCORE 2.3620199974E7
AT ITER 1656 NEW BEST:: SOT 133183157 SOS 82688111 HAS SOPS 67373821 HAS SOUS 24137380 HAS SOUPS 23522049 WITH SCORE 2.3604737111E7
AT ITER 1659 NEW BEST:: SOT 133193832 SOS 82704857 HAS SOPS 67384392 HAS SOUS 24136250 HAS SOUPS 23520919 WITH SCORE 2.3603623857E7
AT ITER 1661 NEW BEST:: SOT 133210808 SOS 82780113 HAS SOPS 67463163 HAS SOUS 24079323 HAS SOUPS 23463992 WITH SCORE 2.3546772113E7
AT ITER 1668 NEW BEST:: SOT 133179008 SOS 82717644 HAS SOPS 67429691 HAS SOUS 24066961 HAS SOUPS 23451630 WITH SCORE 2.3534347644E7
AT ITER 1670 NEW BEST:: SOT 133185349 SOS 82746933 HAS SOPS 67462460 HAS SOUS 24051266 HAS SOUPS 23435935 WITH SCORE 2.3518681933E7
AT ITER 1678 NEW BEST:: SOT 133185246 SOS 82746830 HAS SOPS 67462357 HAS SOUS 24050419 HAS SOUPS 23435088 WITH SCORE 2.351783483E7
AT ITER 1686 NEW BEST:: SOT 133179746 SOS 82755149 HAS SOPS 67470805 HAS SOUS 24026697 HAS SOUPS 23411366 WITH SCORE 2.3494121149E7
AT ITER 1691 NEW BEST:: SOT 133206835 SOS 82853100 HAS SOPS 67568622 HAS SOUS 24022004 HAS SOUPS 23406673 WITH SCORE 2.34895261E7
AT ITER 1695 NEW BEST:: SOT 133138479 SOS 82720346 HAS SOPS 67473708 HAS SOUS 23984504 HAS SOUPS 23370096 WITH SCORE 2.3452816346E7
AT ITER 1704 NEW BEST:: SOT 133135255 SOS 82717251 HAS SOPS 67470894 HAS SOUS 23977396 HAS SOUPS 23362962 WITH SCORE 2.3445679251E7
AT ITER 1711 NEW BEST:: SOT 133134705 SOS 82734611 HAS SOPS 67488614 HAS SOUS 23975604 HAS SOUPS 23361170 WITH SCORE 2.3443904611E7
AT ITER 1713 NEW BEST:: SOT 133128179 SOS 82723634 HAS SOPS 67484100 HAS SOUS 23960108 HAS SOUPS 23345736 WITH SCORE 2.3428459634E7
AT ITER 1718 NEW BEST:: SOT 133123462 SOS 82718506 HAS SOPS 67479842 HAS SOUS 23955675 HAS SOUPS 23341361 WITH SCORE 2.3424079506E7
AT ITER 1731 NEW BEST:: SOT 133124579 SOS 82724437 HAS SOPS 67485193 HAS SOUS 23953238 HAS SOUPS 23338924 WITH SCORE 2.3421648437E7
AT ITER 1742 NEW BEST:: SOT 133124654 SOS 82719714 HAS SOPS 67485975 HAS SOUS 23953171 HAS SOUPS 23338857 WITH SCORE 2.3421576714E7
AT ITER 1745 NEW BEST:: SOT 133137830 SOS 82741523 HAS SOPS 67507957 HAS SOUS 23942057 HAS SOUPS 23328330 WITH SCORE 2.3411071523E7
AT ITER 1757 NEW BEST:: SOT 133150132 SOS 82782255 HAS SOPS 67541828 HAS SOUS 23940492 HAS SOUPS 23326765 WITH SCORE 2.3409547255E7
AT ITER 1765 NEW BEST:: SOT 133154089 SOS 82799485 HAS SOPS 67562552 HAS SOUS 23927026 HAS SOUPS 23313297 WITH SCORE 2.3396096485E7
AT ITER 1769 NEW BEST:: SOT 133156894 SOS 82800361 HAS SOPS 67568131 HAS SOUS 23926530 HAS SOUPS 23312801 WITH SCORE 2.3395601361E7
AT ITER 1781 NEW BEST:: SOT 133144904 SOS 82772682 HAS SOPS 67548927 HAS SOUS 23887857 HAS SOUPS 23274416 WITH SCORE 2.3357188682E7
AT ITER 1783 NEW BEST:: SOT 133125020 SOS 82720570 HAS SOPS 67520566 HAS SOUS 23886730 HAS SOUPS 23273289 WITH SCORE 2.335600957E7
AT ITER 1784 NEW BEST:: SOT 133096196 SOS 82643476 HAS SOPS 67469330 HAS SOUS 23861811 HAS SOUPS 23254081 WITH SCORE 2.3336724476E7
AT ITER 1788 NEW BEST:: SOT 133101846 SOS 82655716 HAS SOPS 67480725 HAS SOUS 23859008 HAS SOUPS 23251278 WITH SCORE 2.3333933716E7
AT ITER 1792 NEW BEST:: SOT 133134238 SOS 82743663 HAS SOPS 67570837 HAS SOUS 23848471 HAS SOUPS 23240801 WITH SCORE 2.3323544663E7
AT ITER 1823 NEW BEST:: SOT 133125890 SOS 82739626 HAS SOPS 67566047 HAS SOUS 23840991 HAS SOUPS 23233321 WITH SCORE 2.3316060626E7
AT ITER 1825 NEW BEST:: SOT 133085576 SOS 82666446 HAS SOPS 67514587 HAS SOUS 23797666 HAS SOUPS 23191131 WITH SCORE 2.3273797446E7
AT ITER 1827 NEW BEST:: SOT 133086829 SOS 82680874 HAS SOPS 67537739 HAS SOUS 23795685 HAS SOUPS 23189150 WITH SCORE 2.3271830874E7
AT ITER 1830 NEW BEST:: SOT 133078790 SOS 82674874 HAS SOPS 67520203 HAS SOUS 23762786 HAS SOUPS 23156251 WITH SCORE 2.3238925874E7
AT ITER 1833 NEW BEST:: SOT 133076751 SOS 82663473 HAS SOPS 67513438 HAS SOUS 23761092 HAS SOUPS 23154557 WITH SCORE 2.3237220473E7
AT ITER 1835 NEW BEST:: SOT 133076449 SOS 82664676 HAS SOPS 67509068 HAS SOUS 23756506 HAS SOUPS 23149905 WITH SCORE 2.3232569676E7
AT ITER 1850 NEW BEST:: SOT 133074592 SOS 82663020 HAS SOPS 67505537 HAS SOUS 23752424 HAS SOUPS 23145761 WITH SCORE 2.322842402E7
AT ITER 1865 NEW BEST:: SOT 133069222 SOS 82654595 HAS SOPS 67495065 HAS SOUS 23749240 HAS SOUPS 23142577 WITH SCORE 2.3225231595E7
AT ITER 1871 NEW BEST:: SOT 133068550 SOS 82655007 HAS SOPS 67493320 HAS SOUS 23748098 HAS SOUPS 23141435 WITH SCORE 2.3224090007E7
AT ITER 1874 NEW BEST:: SOT 133066247 SOS 82651509 HAS SOPS 67489324 HAS SOUS 23745239 HAS SOUPS 23138576 WITH SCORE 2.3221227509E7
AT ITER 1876 NEW BEST:: SOT 133061804 SOS 82642535 HAS SOPS 67473659 HAS SOUS 23736713 HAS SOUPS 23129952 WITH SCORE 2.3212594535E7
AT ITER 1887 NEW BEST:: SOT 133052959 SOS 82622007 HAS SOPS 67455958 HAS SOUS 23719317 HAS SOUPS 23112556 WITH SCORE 2.3195178007E7
AT ITER 1897 NEW BEST:: SOT 133044662 SOS 82613192 HAS SOPS 67448255 HAS SOUS 23693899 HAS SOUPS 23087138 WITH SCORE 2.3169751192E7
AT ITER 1900 NEW BEST:: SOT 133035903 SOS 82598381 HAS SOPS 67434457 HAS SOUS 23690721 HAS SOUPS 23084017 WITH SCORE 2.3166615381E7
AT ITER 1912 NEW BEST:: SOT 133034936 SOS 82595520 HAS SOPS 67433184 HAS SOUS 23687145 HAS SOUPS 23080441 WITH SCORE 2.316303652E7
AT ITER 1922 NEW BEST:: SOT 133039299 SOS 82610669 HAS SOPS 67439676 HAS SOUS 23677593 HAS SOUPS 23070889 WITH SCORE 2.3153499669E7
AT ITER 1924 NEW BEST:: SOT 133039140 SOS 82610420 HAS SOPS 67439468 HAS SOUS 23677296 HAS SOUPS 23070616 WITH SCORE 2.315322642E7
AT ITER 1925 NEW BEST:: SOT 133030747 SOS 82589310 HAS SOPS 67420897 HAS SOUS 23668685 HAS SOUPS 23062005 WITH SCORE 2.314459431E7
AT ITER 1936 NEW BEST:: SOT 133048100 SOS 82635731 HAS SOPS 67450716 HAS SOUS 23661248 HAS SOUPS 23054568 WITH SCORE 2.3137203731E7
AT ITER 1952 NEW BEST:: SOT 133046552 SOS 82631090 HAS SOPS 67441527 HAS SOUS 23653231 HAS SOUPS 23046551 WITH SCORE 2.312918209E7
AT ITER 1957 NEW BEST:: SOT 133027066 SOS 82621149 HAS SOPS 67445406 HAS SOUS 23641388 HAS SOUPS 23034984 WITH SCORE 2.3117605149E7
AT ITER 1963 NEW BEST:: SOT 133023356 SOS 82616993 HAS SOPS 67436863 HAS SOUS 23630896 HAS SOUPS 23024492 WITH SCORE 2.3107108993E7
AT ITER 1974 NEW BEST:: SOT 133019872 SOS 82617136 HAS SOPS 67430719 HAS SOUS 23613271 HAS SOUPS 23007042 WITH SCORE 2.3089659136E7
AT ITER 1975 NEW BEST:: SOT 133001756 SOS 82589794 HAS SOPS 67402684 HAS SOUS 23578580 HAS SOUPS 22972506 WITH SCORE 2.3055095794E7
AT ITER 1990 NEW BEST:: SOT 132998563 SOS 82589449 HAS SOPS 67399073 HAS SOUS 23565422 HAS SOUPS 22959348 WITH SCORE 2.3041937449E7
AT ITER 1993 NEW BEST:: SOT 133001231 SOS 82599742 HAS SOPS 67404162 HAS SOUS 23556036 HAS SOUPS 22949962 WITH SCORE 2.3032561742E7
AT ITER 1998 NEW BEST:: SOT 132947436 SOS 82543035 HAS SOPS 67332224 HAS SOUS 23472211 HAS SOUPS 22866282 WITH SCORE 2.2948825035E7
AT ITER 2018 NEW BEST:: SOT 132916399 SOS 82512012 HAS SOPS 67301187 HAS SOUS 23444822 HAS SOUPS 22838879 WITH SCORE 2.2921391012E7
AT ITER 2037 NEW BEST:: SOT 132949830 SOS 82577960 HAS SOPS 67365320 HAS SOUS 23425293 HAS SOUPS 22820247 WITH SCORE 2.290282496E7
AT ITER 2040 NEW BEST:: SOT 132947657 SOS 82575623 HAS SOPS 67359692 HAS SOUS 23420617 HAS SOUPS 22815536 WITH SCORE 2.2898111623E7
AT ITER 2047 NEW BEST:: SOT 132950751 SOS 82584561 HAS SOPS 67377586 HAS SOUS 23420427 HAS SOUPS 22815346 WITH SCORE 2.2897930561E7
AT ITER 2052 NEW BEST:: SOT 132964778 SOS 82619606 HAS SOPS 67392500 HAS SOUS 23413315 HAS SOUPS 22807920 WITH SCORE 2.2890539606E7
AT ITER 2058 NEW BEST:: SOT 132964565 SOS 82618396 HAS SOPS 67393294 HAS SOUS 23402254 HAS SOUPS 22796859 WITH SCORE 2.2879477396E7
AT ITER 2060 NEW BEST:: SOT 132967782 SOS 82630133 HAS SOPS 67400893 HAS SOUS 23398611 HAS SOUPS 22793216 WITH SCORE 2.2875846133E7
AT ITER 2062 NEW BEST:: SOT 132968191 SOS 82637394 HAS SOPS 67414544 HAS SOUS 23378771 HAS SOUPS 22773469 WITH SCORE 2.2856106394E7
AT ITER 2068 NEW BEST:: SOT 132966483 SOS 82657397 HAS SOPS 67457244 HAS SOUS 23368620 HAS SOUPS 22763318 WITH SCORE 2.2845975397E7
AT ITER 2090 NEW BEST:: SOT 132966399 SOS 82657461 HAS SOPS 67457260 HAS SOUS 23368496 HAS SOUPS 22763194 WITH SCORE 2.2845851461E7
AT ITER 2094 NEW BEST:: SOT 132966974 SOS 82658722 HAS SOPS 67458395 HAS SOUS 23368115 HAS SOUPS 22762813 WITH SCORE 2.2845471722E7
AT ITER 2099 NEW BEST:: SOT 132971940 SOS 82678831 HAS SOPS 67469773 HAS SOUS 23361781 HAS SOUPS 22756479 WITH SCORE 2.2839157831E7
AT ITER 2100 NEW BEST:: SOT 132969543 SOS 82675596 HAS SOPS 67466214 HAS SOUS 23358083 HAS SOUPS 22752833 WITH SCORE 2.2835508596E7
AT ITER 2103 NEW BEST:: SOT 132969885 SOS 82674465 HAS SOPS 67456976 HAS SOUS 23320294 HAS SOUPS 22715044 WITH SCORE 2.2797718465E7
AT ITER 2110 NEW BEST:: SOT 132969013 SOS 82672741 HAS SOPS 67455594 HAS SOUS 23319956 HAS SOUPS 22714706 WITH SCORE 2.2797378741E7
AT ITER 2111 NEW BEST:: SOT 132968972 SOS 82672700 HAS SOPS 67455517 HAS SOUS 23319868 HAS SOUPS 22714618 WITH SCORE 2.27972907E7
AT ITER 2135 NEW BEST:: SOT 132994694 SOS 82728566 HAS SOPS 67499769 HAS SOUS 23319772 HAS SOUPS 22714522 WITH SCORE 2.2797250566E7
AT ITER 2136 NEW BEST:: SOT 132996922 SOS 82732014 HAS SOPS 67503102 HAS SOUS 23319352 HAS SOUPS 22714102 WITH SCORE 2.2796834014E7
AT ITER 2157 NEW BEST:: SOT 132995734 SOS 82728623 HAS SOPS 67499458 HAS SOUS 23316381 HAS SOUPS 22711131 WITH SCORE 2.2793859623E7
AT ITER 2158 NEW BEST:: SOT 133011906 SOS 82753861 HAS SOPS 67538808 HAS SOUS 23296264 HAS SOUPS 22691390 WITH SCORE 2.2774143861E7

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-9"
export BK_EXAMINATION="CTLCardinality"
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-9, examination is CTLCardinality"
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-158961502400139"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb114-PT-9.tgz
mv RERS17pb114-PT-9 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;