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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 73M
-rw-r--r-- 1 mcc users 3.2K Apr 12 07:17 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 12 07:17 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Apr 11 08:12 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 11 08:11 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.7K Apr 14 12:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K 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 3.4K Apr 10 14:08 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 10 14:08 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.6K Apr 9 20:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 9 20:39 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 10 22:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 10 22:25 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-2-CTLFireability-00
FORMULA_NAME RERS17pb114-PT-2-CTLFireability-01
FORMULA_NAME RERS17pb114-PT-2-CTLFireability-02
FORMULA_NAME RERS17pb114-PT-2-CTLFireability-03
FORMULA_NAME RERS17pb114-PT-2-CTLFireability-04
FORMULA_NAME RERS17pb114-PT-2-CTLFireability-05
FORMULA_NAME RERS17pb114-PT-2-CTLFireability-06
FORMULA_NAME RERS17pb114-PT-2-CTLFireability-07
FORMULA_NAME RERS17pb114-PT-2-CTLFireability-08
FORMULA_NAME RERS17pb114-PT-2-CTLFireability-09
FORMULA_NAME RERS17pb114-PT-2-CTLFireability-10
FORMULA_NAME RERS17pb114-PT-2-CTLFireability-11
FORMULA_NAME RERS17pb114-PT-2-CTLFireability-12
FORMULA_NAME RERS17pb114-PT-2-CTLFireability-13
FORMULA_NAME RERS17pb114-PT-2-CTLFireability-14
FORMULA_NAME RERS17pb114-PT-2-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589700762795

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb114 (PT), instance 2
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.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 31 NEW BEST:: SOT 133650296 SOS 82205131 HAS SOPS 66755631 HAS SOUS 26439279 HAS SOUPS 25808588 WITH SCORE 2.5890793131E7
AT ITER 36 NEW BEST:: SOT 133642760 SOS 82197621 HAS SOPS 66748121 HAS SOUS 26431769 HAS SOUPS 25801078 WITH SCORE 2.5883275621E7
AT ITER 39 NEW BEST:: SOT 133637818 SOS 82197544 HAS SOPS 66745230 HAS SOUS 26415626 HAS SOUPS 25784935 WITH SCORE 2.5867132544E7
AT ITER 41 NEW BEST:: SOT 133641489 SOS 82206795 HAS SOPS 66752294 HAS SOUS 26414798 HAS SOUPS 25784107 WITH SCORE 2.5866313795E7
AT ITER 46 NEW BEST:: SOT 133635092 SOS 82194102 HAS SOPS 66745887 HAS SOUS 26408031 HAS SOUPS 25777340 WITH SCORE 2.5859534102E7
AT ITER 50 NEW BEST:: SOT 133636410 SOS 82189015 HAS SOPS 66745951 HAS SOUS 26403813 HAS SOUPS 25773976 WITH SCORE 2.5856165015E7
AT ITER 51 NEW BEST:: SOT 133641201 SOS 82196526 HAS SOPS 66748414 HAS SOUS 26398993 HAS SOUPS 25769156 WITH SCORE 2.5851352526E7
AT ITER 52 NEW BEST:: SOT 133621469 SOS 82172037 HAS SOPS 66726068 HAS SOUS 26372976 HAS SOUPS 25743139 WITH SCORE 2.5825311037E7
AT ITER 54 NEW BEST:: SOT 133622124 SOS 82173812 HAS SOPS 66727844 HAS SOUS 26372222 HAS SOUPS 25742385 WITH SCORE 2.5824558812E7
AT ITER 63 NEW BEST:: SOT 133622801 SOS 82175969 HAS SOPS 66729139 HAS SOUS 26371686 HAS SOUPS 25741849 WITH SCORE 2.5824024969E7
AT ITER 68 NEW BEST:: SOT 133622844 SOS 82177735 HAS SOPS 66731224 HAS SOUS 26371355 HAS SOUPS 25741518 WITH SCORE 2.5823695735E7
AT ITER 82 NEW BEST:: SOT 133624986 SOS 82178231 HAS SOPS 66729204 HAS SOUS 26370360 HAS SOUPS 25740523 WITH SCORE 2.5822701231E7
AT ITER 87 NEW BEST:: SOT 133619760 SOS 82169080 HAS SOPS 66724099 HAS SOUS 26357746 HAS SOUPS 25727909 WITH SCORE 2.581007808E7
AT ITER 89 NEW BEST:: SOT 133607588 SOS 82156507 HAS SOPS 66710713 HAS SOUS 26333632 HAS SOUPS 25703795 WITH SCORE 2.5785951507E7
AT ITER 91 NEW BEST:: SOT 133602896 SOS 82151825 HAS SOPS 66705967 HAS SOUS 26328822 HAS SOUPS 25698985 WITH SCORE 2.5781136825E7
AT ITER 102 NEW BEST:: SOT 133596400 SOS 82165802 HAS SOPS 66707891 HAS SOUS 26293471 HAS SOUPS 25663634 WITH SCORE 2.5745799802E7
AT ITER 111 NEW BEST:: SOT 133588623 SOS 82154491 HAS SOPS 66700027 HAS SOUS 26284454 HAS SOUPS 25654617 WITH SCORE 2.5736771491E7
AT ITER 118 NEW BEST:: SOT 133588623 SOS 82158730 HAS SOPS 66704195 HAS SOUS 26282988 HAS SOUPS 25653151 WITH SCORE 2.573530973E7
AT ITER 124 NEW BEST:: SOT 133565407 SOS 82109072 HAS SOPS 66664779 HAS SOUS 26265463 HAS SOUPS 25635626 WITH SCORE 2.5717735072E7
AT ITER 140 NEW BEST:: SOT 133503512 SOS 82044524 HAS SOPS 66600747 HAS SOUS 26252640 HAS SOUPS 25623086 WITH SCORE 2.5705130524E7
AT ITER 145 NEW BEST:: SOT 133517477 SOS 82079813 HAS SOPS 66623255 HAS SOUS 26245278 HAS SOUPS 25615724 WITH SCORE 2.5697803813E7
AT ITER 160 NEW BEST:: SOT 133526843 SOS 82095718 HAS SOPS 66637210 HAS SOUS 26228745 HAS SOUPS 25599191 WITH SCORE 2.5681286718E7
AT ITER 167 NEW BEST:: SOT 133529508 SOS 82097312 HAS SOPS 66657603 HAS SOUS 26219166 HAS SOUPS 25589529 WITH SCORE 2.5671626312E7
AT ITER 169 NEW BEST:: SOT 133527564 SOS 82097390 HAS SOPS 66659016 HAS SOUS 26215287 HAS SOUPS 25585650 WITH SCORE 2.566774739E7
AT ITER 176 NEW BEST:: SOT 133511197 SOS 82064872 HAS SOPS 66636816 HAS SOUS 26212309 HAS SOUPS 25582933 WITH SCORE 2.5664997872E7
AT ITER 178 NEW BEST:: SOT 133498909 SOS 82062754 HAS SOPS 66636877 HAS SOUS 26167529 HAS SOUPS 25538153 WITH SCORE 2.5620215754E7
AT ITER 180 NEW BEST:: SOT 133495871 SOS 82057131 HAS SOPS 66636107 HAS SOUS 26166374 HAS SOUPS 25536998 WITH SCORE 2.5619055131E7
AT ITER 183 NEW BEST:: SOT 133454538 SOS 82015757 HAS SOPS 66594669 HAS SOUS 26116257 HAS SOUPS 25486881 WITH SCORE 2.5568896757E7
AT ITER 185 NEW BEST:: SOT 133448116 SOS 82007227 HAS SOPS 66584469 HAS SOUS 26101744 HAS SOUPS 25472429 WITH SCORE 2.5554436227E7
AT ITER 196 NEW BEST:: SOT 133449043 SOS 82006931 HAS SOPS 66582189 HAS SOUS 26080858 HAS SOUPS 25451543 WITH SCORE 2.5533549931E7
AT ITER 199 NEW BEST:: SOT 133346328 SOS 81893920 HAS SOPS 66467713 HAS SOUS 25962990 HAS SOUPS 25331588 WITH SCORE 2.541348192E7
AT ITER 201 NEW BEST:: SOT 133332893 SOS 81879296 HAS SOPS 66455200 HAS SOUS 25937823 HAS SOUPS 25306421 WITH SCORE 2.5388300296E7
AT ITER 209 NEW BEST:: SOT 133356276 SOS 81956110 HAS SOPS 66535257 HAS SOUS 25934775 HAS SOUPS 25303373 WITH SCORE 2.538532911E7
AT ITER 210 NEW BEST:: SOT 133377939 SOS 82021238 HAS SOPS 66587600 HAS SOUS 25932593 HAS SOUPS 25301191 WITH SCORE 2.5383212238E7
AT ITER 242 NEW BEST:: SOT 133372674 SOS 82011868 HAS SOPS 66584639 HAS SOUS 25924249 HAS SOUPS 25292991 WITH SCORE 2.5375002868E7
AT ITER 264 NEW BEST:: SOT 133306576 SOS 81945339 HAS SOPS 66514488 HAS SOUS 25835365 HAS SOUPS 25204107 WITH SCORE 2.5286052339E7
AT ITER 266 NEW BEST:: SOT 133289927 SOS 81928662 HAS SOPS 66497769 HAS SOUS 25818595 HAS SOUPS 25187337 WITH SCORE 2.5269265662E7
AT ITER 277 NEW BEST:: SOT 133253344 SOS 81861115 HAS SOPS 66430167 HAS SOUS 25825137 HAS SOUPS 25184504 WITH SCORE 2.5266365115E7
AT ITER 278 NEW BEST:: SOT 133248375 SOS 81855376 HAS SOPS 66440084 HAS SOUS 25811737 HAS SOUPS 25171104 WITH SCORE 2.5252959376E7
AT ITER 280 NEW BEST:: SOT 133232111 SOS 81815886 HAS SOPS 66415356 HAS SOUS 25810526 HAS SOUPS 25169797 WITH SCORE 2.5251612886E7
AT ITER 296 NEW BEST:: SOT 133247846 SOS 81883298 HAS SOPS 66525251 HAS SOUS 25809144 HAS SOUPS 25168415 WITH SCORE 2.5250298298E7
AT ITER 300 NEW BEST:: SOT 133246109 SOS 81879380 HAS SOPS 66521037 HAS SOUS 25804028 HAS SOUPS 25163440 WITH SCORE 2.524531938E7
AT ITER 305 NEW BEST:: SOT 133244847 SOS 81878085 HAS SOPS 66519402 HAS SOUS 25801602 HAS SOUPS 25161014 WITH SCORE 2.5242892085E7
AT ITER 310 NEW BEST:: SOT 133244410 SOS 81884631 HAS SOPS 66525529 HAS SOUS 25792504 HAS SOUPS 25151916 WITH SCORE 2.5233800631E7
AT ITER 317 NEW BEST:: SOT 133242624 SOS 81882738 HAS SOPS 66523272 HAS SOUS 25788342 HAS SOUPS 25147780 WITH SCORE 2.5229662738E7
AT ITER 319 NEW BEST:: SOT 133249151 SOS 81899056 HAS SOPS 66541411 HAS SOUS 25777102 HAS SOUPS 25136540 WITH SCORE 2.5218439056E7
AT ITER 326 NEW BEST:: SOT 133250934 SOS 81906818 HAS SOPS 66547008 HAS SOUS 25776634 HAS SOUPS 25136072 WITH SCORE 2.5217978818E7
AT ITER 329 NEW BEST:: SOT 133310580 SOS 82091782 HAS SOPS 66719368 HAS SOUS 25767568 HAS SOUPS 25127000 WITH SCORE 2.5209091782E7
AT ITER 331 NEW BEST:: SOT 133310284 SOS 82091385 HAS SOPS 66719179 HAS SOUS 25765450 HAS SOUPS 25124826 WITH SCORE 2.5206917385E7
AT ITER 332 NEW BEST:: SOT 133299148 SOS 82075615 HAS SOPS 66710229 HAS SOUS 25746470 HAS SOUPS 25106866 WITH SCORE 2.5188941615E7
AT ITER 334 NEW BEST:: SOT 133298372 SOS 82099925 HAS SOPS 66721372 HAS SOUS 25717848 HAS SOUPS 25078244 WITH SCORE 2.5160343925E7
AT ITER 337 NEW BEST:: SOT 133273487 SOS 82062793 HAS SOPS 66698036 HAS SOUS 25684674 HAS SOUPS 25048401 WITH SCORE 2.5130463793E7
AT ITER 340 NEW BEST:: SOT 133267205 SOS 82057410 HAS SOPS 66697003 HAS SOUS 25679770 HAS SOUPS 25047051 WITH SCORE 2.512910841E7
AT ITER 341 NEW BEST:: SOT 133259709 SOS 82043264 HAS SOPS 66684870 HAS SOUS 25679107 HAS SOUPS 25046388 WITH SCORE 2.5128431264E7
AT ITER 345 NEW BEST:: SOT 133259405 SOS 82042932 HAS SOPS 66684410 HAS SOUS 25678443 HAS SOUPS 25045724 WITH SCORE 2.5127766932E7
AT ITER 352 NEW BEST:: SOT 133288920 SOS 82107663 HAS SOPS 66767387 HAS SOUS 25666980 HAS SOUPS 25034566 WITH SCORE 2.5116673663E7
AT ITER 360 NEW BEST:: SOT 133307927 SOS 82146629 HAS SOPS 66801484 HAS SOUS 25664527 HAS SOUPS 25032026 WITH SCORE 2.5114172629E7
AT ITER 361 NEW BEST:: SOT 133285911 SOS 82117247 HAS SOPS 66781931 HAS SOUS 25657891 HAS SOUPS 25025390 WITH SCORE 2.5107507247E7
AT ITER 374 NEW BEST:: SOT 133283888 SOS 82115210 HAS SOPS 66778173 HAS SOUS 25653059 HAS SOUPS 25020558 WITH SCORE 2.510267321E7
AT ITER 384 NEW BEST:: SOT 133283896 SOS 82115208 HAS SOPS 66778181 HAS SOUS 25652931 HAS SOUPS 25020440 WITH SCORE 2.5102555208E7
AT ITER 387 NEW BEST:: SOT 133282804 SOS 82115300 HAS SOPS 66776885 HAS SOUS 25648050 HAS SOUPS 25015559 WITH SCORE 2.50976743E7
AT ITER 396 NEW BEST:: SOT 133298173 SOS 82186340 HAS SOPS 66832013 HAS SOUS 25647180 HAS SOUPS 25014689 WITH SCORE 2.509687534E7
AT ITER 397 NEW BEST:: SOT 133296494 SOS 82210846 HAS SOPS 66862100 HAS SOUS 25628521 HAS SOUPS 24996030 WITH SCORE 2.5078240846E7
AT ITER 403 NEW BEST:: SOT 133296970 SOS 82219224 HAS SOPS 66868540 HAS SOUS 25613136 HAS SOUPS 24980645 WITH SCORE 2.5062864224E7
AT ITER 407 NEW BEST:: SOT 133309077 SOS 82264387 HAS SOPS 66907127 HAS SOUS 25605298 HAS SOUPS 24972807 WITH SCORE 2.5055071387E7
AT ITER 410 NEW BEST:: SOT 133301659 SOS 82252743 HAS SOPS 66897549 HAS SOUS 25599217 HAS SOUPS 24966780 WITH SCORE 2.5049032743E7
AT ITER 411 NEW BEST:: SOT 133303122 SOS 82256016 HAS SOPS 66900190 HAS SOUS 25598849 HAS SOUPS 24966412 WITH SCORE 2.5048668016E7
AT ITER 426 NEW BEST:: SOT 133282909 SOS 82210929 HAS SOPS 66865365 HAS SOUS 25583629 HAS SOUPS 24951192 WITH SCORE 2.5033402929E7
AT ITER 432 NEW BEST:: SOT 133295732 SOS 82237868 HAS SOPS 66894976 HAS SOUS 25582148 HAS SOUPS 24949711 WITH SCORE 2.5031948868E7
AT ITER 436 NEW BEST:: SOT 133299881 SOS 82228657 HAS SOPS 66887231 HAS SOUS 25579053 HAS SOUPS 24946616 WITH SCORE 2.5028844657E7
AT ITER 439 NEW BEST:: SOT 133304489 SOS 82243733 HAS SOPS 66897067 HAS SOUS 25567785 HAS SOUPS 24935348 WITH SCORE 2.5017591733E7
AT ITER 444 NEW BEST:: SOT 133305121 SOS 82245137 HAS SOPS 66898072 HAS SOUS 25566095 HAS SOUPS 24933658 WITH SCORE 2.5015903137E7
AT ITER 445 NEW BEST:: SOT 133312973 SOS 82301360 HAS SOPS 66957321 HAS SOUS 25564075 HAS SOUPS 24931638 WITH SCORE 2.501393936E7
AT ITER 448 NEW BEST:: SOT 133308274 SOS 82285464 HAS SOPS 66941274 HAS SOUS 25559436 HAS SOUPS 24926999 WITH SCORE 2.5009284464E7
AT ITER 456 NEW BEST:: SOT 133301291 SOS 82258719 HAS SOPS 66943232 HAS SOUS 25555825 HAS SOUPS 24926407 WITH SCORE 2.5008665719E7
AT ITER 462 NEW BEST:: SOT 133285420 SOS 82217403 HAS SOPS 66916282 HAS SOUS 25554664 HAS SOUPS 24925246 WITH SCORE 2.5007463403E7
AT ITER 474 NEW BEST:: SOT 133320399 SOS 82346301 HAS SOPS 67019686 HAS SOUS 25551089 HAS SOUPS 24921671 WITH SCORE 2.5004017301E7
AT ITER 485 NEW BEST:: SOT 133328986 SOS 82374146 HAS SOPS 67055669 HAS SOUS 25548563 HAS SOUPS 24919145 WITH SCORE 2.5001519146E7
AT ITER 490 NEW BEST:: SOT 133342572 SOS 82411780 HAS SOPS 67086919 HAS SOUS 25533711 HAS SOUPS 24904293 WITH SCORE 2.498670478E7
AT ITER 507 NEW BEST:: SOT 133356709 SOS 82445718 HAS SOPS 67112471 HAS SOUS 25504368 HAS SOUPS 24874950 WITH SCORE 2.4957395718E7
AT ITER 520 NEW BEST:: SOT 133359520 SOS 82455206 HAS SOPS 67118845 HAS SOUS 25501263 HAS SOUPS 24871845 WITH SCORE 2.4954300206E7
AT ITER 522 NEW BEST:: SOT 133360704 SOS 82460673 HAS SOPS 67122908 HAS SOUS 25499491 HAS SOUPS 24870073 WITH SCORE 2.4952533673E7
AT ITER 527 NEW BEST:: SOT 133360624 SOS 82489832 HAS SOPS 67163143 HAS SOUS 25485863 HAS SOUPS 24856445 WITH SCORE 2.4938934832E7
AT ITER 546 NEW BEST:: SOT 133360615 SOS 82488371 HAS SOPS 67164231 HAS SOUS 25484135 HAS SOUPS 24854717 WITH SCORE 2.4937205371E7
AT ITER 556 NEW BEST:: SOT 133355701 SOS 82483318 HAS SOPS 67156867 HAS SOUS 25475449 HAS SOUPS 24846086 WITH SCORE 2.4928569318E7
AT ITER 558 NEW BEST:: SOT 133355602 SOS 82483246 HAS SOPS 67155643 HAS SOUS 25474432 HAS SOUPS 24844889 WITH SCORE 2.4927372246E7
AT ITER 582 NEW BEST:: SOT 133355565 SOS 82478909 HAS SOPS 67149654 HAS SOUS 25470689 HAS SOUPS 24841146 WITH SCORE 2.4923624909E7
AT ITER 595 NEW BEST:: SOT 133358437 SOS 82480498 HAS SOPS 67150530 HAS SOUS 25448926 HAS SOUPS 24819383 WITH SCORE 2.4901863498E7
AT ITER 599 NEW BEST:: SOT 133394736 SOS 82554444 HAS SOPS 67211550 HAS SOUS 25398429 HAS SOUPS 24768829 WITH SCORE 2.4851383444E7
AT ITER 607 NEW BEST:: SOT 133398905 SOS 82583072 HAS SOPS 67240117 HAS SOUS 25395317 HAS SOUPS 24765717 WITH SCORE 2.4848300072E7
AT ITER 609 NEW BEST:: SOT 133399410 SOS 82580657 HAS SOPS 67236966 HAS SOUS 25388682 HAS SOUPS 24759082 WITH SCORE 2.4841662657E7
AT ITER 612 NEW BEST:: SOT 133382866 SOS 82548034 HAS SOPS 67207642 HAS SOUS 25344695 HAS SOUPS 24716442 WITH SCORE 2.4798990034E7
AT ITER 623 NEW BEST:: SOT 133399526 SOS 82573233 HAS SOPS 67260124 HAS SOUS 25343688 HAS SOUPS 24715452 WITH SCORE 2.4798025233E7
AT ITER 624 NEW BEST:: SOT 133400744 SOS 82575903 HAS SOPS 67262442 HAS SOUS 25343190 HAS SOUPS 24714932 WITH SCORE 2.4797507903E7
AT ITER 629 NEW BEST:: SOT 133376837 SOS 82505445 HAS SOPS 67241079 HAS SOUS 25340890 HAS SOUPS 24712632 WITH SCORE 2.4795137445E7
AT ITER 639 NEW BEST:: SOT 133408188 SOS 82601848 HAS SOPS 67348812 HAS SOUS 25290474 HAS SOUPS 24662216 WITH SCORE 2.4744817848E7
AT ITER 649 NEW BEST:: SOT 133408068 SOS 82602051 HAS SOPS 67348475 HAS SOUS 25289827 HAS SOUPS 24661569 WITH SCORE 2.4744171051E7
AT ITER 652 NEW BEST:: SOT 133407038 SOS 82601145 HAS SOPS 67347538 HAS SOUS 25286937 HAS SOUPS 24658648 WITH SCORE 2.4741249145E7
AT ITER 653 NEW BEST:: SOT 133413373 SOS 82642006 HAS SOPS 67412888 HAS SOUS 25284816 HAS SOUPS 24656527 WITH SCORE 2.4739169006E7
AT ITER 660 NEW BEST:: SOT 133467484 SOS 82755590 HAS SOPS 67539716 HAS SOUS 25270192 HAS SOUPS 24643990 WITH SCORE 2.472674559E7
AT ITER 666 NEW BEST:: SOT 133466774 SOS 82754975 HAS SOPS 67538012 HAS SOUS 25268131 HAS SOUPS 24641929 WITH SCORE 2.4724683975E7
AT ITER 669 NEW BEST:: SOT 133465158 SOS 82752517 HAS SOPS 67535714 HAS SOUS 25263591 HAS SOUPS 24637557 WITH SCORE 2.4720309517E7
AT ITER 670 NEW BEST:: SOT 133471764 SOS 82768555 HAS SOPS 67549623 HAS SOUS 25262953 HAS SOUPS 24636919 WITH SCORE 2.4719687555E7
AT ITER 674 NEW BEST:: SOT 133463073 SOS 82753764 HAS SOPS 67538122 HAS SOUS 25258233 HAS SOUPS 24632199 WITH SCORE 2.4714952764E7
AT ITER 680 NEW BEST:: SOT 133475273 SOS 82808868 HAS SOPS 67605381 HAS SOUS 25254238 HAS SOUPS 24628204 WITH SCORE 2.4711012868E7
AT ITER 685 NEW BEST:: SOT 133468029 SOS 82794255 HAS SOPS 67591085 HAS SOUS 25249199 HAS SOUPS 24623165 WITH SCORE 2.4705959255E7
AT ITER 686 NEW BEST:: SOT 133463890 SOS 82781228 HAS SOPS 67581754 HAS SOUS 25248486 HAS SOUPS 24622452 WITH SCORE 2.4705233228E7
AT ITER 697 NEW BEST:: SOT 133466576 SOS 82795977 HAS SOPS 67587323 HAS SOUS 25241965 HAS SOUPS 24615931 WITH SCORE 2.4698726977E7
AT ITER 713 NEW BEST:: SOT 133228689 SOS 82465704 HAS SOPS 67303659 HAS SOUS 25008748 HAS SOUPS 24383096 WITH SCORE 2.4465561704E7
AT ITER 721 NEW BEST:: SOT 133228689 SOS 82472198 HAS SOPS 67312201 HAS SOUS 25008503 HAS SOUPS 24382851 WITH SCORE 2.4465323198E7
AT ITER 772 NEW BEST:: SOT 133227170 SOS 82470630 HAS SOPS 67310569 HAS SOUS 25007500 HAS SOUPS 24381848 WITH SCORE 2.446431863E7
AT ITER 774 NEW BEST:: SOT 133239088 SOS 82521383 HAS SOPS 67361106 HAS SOUS 25005152 HAS SOUPS 24379500 WITH SCORE 2.4462021383E7
AT ITER 780 NEW BEST:: SOT 133250495 SOS 82540243 HAS SOPS 67377761 HAS SOUS 24994229 HAS SOUPS 24368577 WITH SCORE 2.4451117243E7
AT ITER 783 NEW BEST:: SOT 133247495 SOS 82528730 HAS SOPS 67366537 HAS SOUS 24992213 HAS SOUPS 24366561 WITH SCORE 2.444908973E7
AT ITER 796 NEW BEST:: SOT 133250606 SOS 82533180 HAS SOPS 67370341 HAS SOUS 24990102 HAS SOUPS 24364586 WITH SCORE 2.444711918E7
AT ITER 799 NEW BEST:: SOT 133250606 SOS 82533478 HAS SOPS 67380223 HAS SOUS 24989777 HAS SOUPS 24364261 WITH SCORE 2.4446794478E7
AT ITER 802 NEW BEST:: SOT 133249214 SOS 82525077 HAS SOPS 67364802 HAS SOUS 24986923 HAS SOUPS 24361407 WITH SCORE 2.4443932077E7
AT ITER 803 NEW BEST:: SOT 133278380 SOS 82625942 HAS SOPS 67441984 HAS SOUS 24970982 HAS SOUPS 24345466 WITH SCORE 2.4428091942E7
AT ITER 816 NEW BEST:: SOT 133283789 SOS 82633792 HAS SOPS 67443888 HAS SOUS 24967801 HAS SOUPS 24342285 WITH SCORE 2.4424918792E7
AT ITER 819 NEW BEST:: SOT 133288635 SOS 82646708 HAS SOPS 67454447 HAS SOUS 24964581 HAS SOUPS 24339065 WITH SCORE 2.4421711708E7
AT ITER 820 NEW BEST:: SOT 133285790 SOS 82641292 HAS SOPS 67448141 HAS SOUS 24957513 HAS SOUPS 24331997 WITH SCORE 2.4414638292E7
AT ITER 852 NEW BEST:: SOT 133284249 SOS 82638758 HAS SOPS 67448940 HAS SOUS 24952648 HAS SOUPS 24327132 WITH SCORE 2.4409770758E7
AT ITER 854 NEW BEST:: SOT 133281663 SOS 82635926 HAS SOPS 67451022 HAS SOUS 24938864 HAS SOUPS 24315602 WITH SCORE 2.4398237926E7
AT ITER 865 NEW BEST:: SOT 133300859 SOS 82659795 HAS SOPS 67493039 HAS SOUS 24929042 HAS SOUPS 24305784 WITH SCORE 2.4388443795E7
AT ITER 868 NEW BEST:: SOT 133288996 SOS 82633026 HAS SOPS 67479219 HAS SOUS 24927679 HAS SOUPS 24304421 WITH SCORE 2.4387054026E7
AT ITER 880 NEW BEST:: SOT 133287227 SOS 82630817 HAS SOPS 67476558 HAS SOUS 24923638 HAS SOUPS 24300397 WITH SCORE 2.4383027817E7
AT ITER 881 NEW BEST:: SOT 133268407 SOS 82604362 HAS SOPS 67455014 HAS SOUS 24907036 HAS SOUPS 24283795 WITH SCORE 2.4366399362E7
AT ITER 889 NEW BEST:: SOT 133268460 SOS 82604947 HAS SOPS 67456245 HAS SOUS 24906896 HAS SOUPS 24283655 WITH SCORE 2.4366259947E7
AT ITER 900 NEW BEST:: SOT 133270608 SOS 82608074 HAS SOPS 67463895 HAS SOUS 24899758 HAS SOUPS 24276517 WITH SCORE 2.4359125074E7
AT ITER 917 NEW BEST:: SOT 133271252 SOS 82611467 HAS SOPS 67460890 HAS SOUS 24884692 HAS SOUPS 24261451 WITH SCORE 2.4344062467E7
AT ITER 936 NEW BEST:: SOT 133277168 SOS 82632879 HAS SOPS 67476408 HAS SOUS 24883444 HAS SOUPS 24260203 WITH SCORE 2.4342835879E7
AT ITER 1012 NEW BEST:: SOT 133276207 SOS 82632281 HAS SOPS 67473888 HAS SOUS 24876879 HAS SOUPS 24253638 WITH SCORE 2.4336270281E7
AT ITER 1015 NEW BEST:: SOT 133274743 SOS 82630940 HAS SOPS 67468600 HAS SOUS 24871180 HAS SOUPS 24247374 WITH SCORE 2.433000494E7
AT ITER 1016 NEW BEST:: SOT 133272471 SOS 82628467 HAS SOPS 67465104 HAS SOUS 24866902 HAS SOUPS 24242981 WITH SCORE 2.4325609467E7
AT ITER 1023 NEW BEST:: SOT 133270718 SOS 82626433 HAS SOPS 67463252 HAS SOUS 24861492 HAS SOUPS 24237617 WITH SCORE 2.4320243433E7
AT ITER 1032 NEW BEST:: SOT 133230315 SOS 82569010 HAS SOPS 67408151 HAS SOUS 24802063 HAS SOUPS 24178385 WITH SCORE 2.426095401E7
AT ITER 1053 NEW BEST:: SOT 133227346 SOS 82576689 HAS SOPS 67414564 HAS SOUS 24778402 HAS SOUPS 24154859 WITH SCORE 2.4237435689E7
AT ITER 1064 NEW BEST:: SOT 133225812 SOS 82574888 HAS SOPS 67412123 HAS SOUS 24777633 HAS SOUPS 24153930 WITH SCORE 2.4236504888E7
AT ITER 1067 NEW BEST:: SOT 133223173 SOS 82574490 HAS SOPS 67410209 HAS SOUS 24742152 HAS SOUPS 24118449 WITH SCORE 2.420102349E7
AT ITER 1068 NEW BEST:: SOT 133222788 SOS 82575706 HAS SOPS 67409754 HAS SOUS 24732341 HAS SOUPS 24108638 WITH SCORE 2.4191213706E7
AT ITER 1069 NEW BEST:: SOT 133149333 SOS 82501816 HAS SOPS 67329880 HAS SOUS 24593895 HAS SOUPS 23969863 WITH SCORE 2.4052364816E7
AT ITER 1078 NEW BEST:: SOT 133152246 SOS 82515119 HAS SOPS 67337770 HAS SOUS 24592073 HAS SOUPS 23968041 WITH SCORE 2.4050556119E7
AT ITER 1083 NEW BEST:: SOT 133179752 SOS 82542696 HAS SOPS 67342287 HAS SOUS 24584266 HAS SOUPS 23960234 WITH SCORE 2.4042776696E7
AT ITER 1102 NEW BEST:: SOT 133180607 SOS 82542282 HAS SOPS 67343190 HAS SOUS 24583506 HAS SOUPS 23959474 WITH SCORE 2.4042016282E7
AT ITER 1120 NEW BEST:: SOT 133174171 SOS 82537230 HAS SOPS 67335794 HAS SOUS 24568054 HAS SOUPS 23944022 WITH SCORE 2.402655923E7
AT ITER 1122 NEW BEST:: SOT 133158946 SOS 82497530 HAS SOPS 67308791 HAS SOUS 24563652 HAS SOUPS 23939620 WITH SCORE 2.402211753E7
AT ITER 1132 NEW BEST:: SOT 133157959 SOS 82495145 HAS SOPS 67308770 HAS SOUS 24562433 HAS SOUPS 23938452 WITH SCORE 2.4020947145E7
AT ITER 1136 NEW BEST:: SOT 133156214 SOS 82493400 HAS SOPS 67307025 HAS SOUS 24562416 HAS SOUPS 23938435 WITH SCORE 2.40209284E7
AT ITER 1140 NEW BEST:: SOT 133139170 SOS 82476324 HAS SOPS 67288833 HAS SOUS 24532985 HAS SOUPS 23909004 WITH SCORE 2.3991480324E7
AT ITER 1145 NEW BEST:: SOT 133007397 SOS 82276453 HAS SOPS 67115377 HAS SOUS 24419238 HAS SOUPS 23795451 WITH SCORE 2.3877727453E7
AT ITER 1149 NEW BEST:: SOT 132987609 SOS 82220423 HAS SOPS 67070870 HAS SOUS 24409861 HAS SOUPS 23786074 WITH SCORE 2.3868294423E7
AT ITER 1152 NEW BEST:: SOT 132987313 SOS 82220107 HAS SOPS 67070550 HAS SOUS 24409199 HAS SOUPS 23785414 WITH SCORE 2.3867634107E7
AT ITER 1168 NEW BEST:: SOT 132998731 SOS 82251307 HAS SOPS 67091688 HAS SOUS 24404835 HAS SOUPS 23781050 WITH SCORE 2.3863301307E7
AT ITER 1178 NEW BEST:: SOT 132992797 SOS 82244026 HAS SOPS 67082995 HAS SOUS 24396319 HAS SOUPS 23772534 WITH SCORE 2.3854778026E7
AT ITER 1180 NEW BEST:: SOT 132986744 SOS 82232781 HAS SOPS 67103877 HAS SOUS 24372922 HAS SOUPS 23749422 WITH SCORE 2.3831654781E7
AT ITER 1200 NEW BEST:: SOT 132986358 SOS 82229019 HAS SOPS 67101607 HAS SOUS 24372888 HAS SOUPS 23749388 WITH SCORE 2.3831617019E7
AT ITER 1202 NEW BEST:: SOT 132985317 SOS 82225458 HAS SOPS 67097846 HAS SOUS 24369582 HAS SOUPS 23745981 WITH SCORE 2.3828206458E7
AT ITER 1205 NEW BEST:: SOT 132988366 SOS 82236963 HAS SOPS 67110591 HAS SOUS 24364899 HAS SOUPS 23741298 WITH SCORE 2.3823534963E7
AT ITER 1212 NEW BEST:: SOT 133004320 SOS 82271242 HAS SOPS 67181026 HAS SOUS 24360044 HAS SOUPS 23736913 WITH SCORE 2.3819184242E7
AT ITER 1219 NEW BEST:: SOT 133005560 SOS 82274113 HAS SOPS 67185331 HAS SOUS 24357874 HAS SOUPS 23734720 WITH SCORE 2.3816994113E7
AT ITER 1234 NEW BEST:: SOT 132988474 SOS 82225084 HAS SOPS 67157826 HAS SOUS 24335755 HAS SOUPS 23714051 WITH SCORE 2.3796276084E7
AT ITER 1237 NEW BEST:: SOT 132990191 SOS 82224496 HAS SOPS 67154608 HAS SOUS 24333658 HAS SOUPS 23711954 WITH SCORE 2.3794178496E7
AT ITER 1240 NEW BEST:: SOT 132983428 SOS 82236485 HAS SOPS 67188340 HAS SOUS 24281351 HAS SOUPS 23659647 WITH SCORE 2.3741883485E7
AT ITER 1253 NEW BEST:: SOT 133004013 SOS 82317765 HAS SOPS 67274828 HAS SOUS 24229480 HAS SOUPS 23607776 WITH SCORE 2.3690093765E7
AT ITER 1256 NEW BEST:: SOT 133004421 SOS 82318378 HAS SOPS 67275490 HAS SOUS 24229241 HAS SOUPS 23607537 WITH SCORE 2.3689855378E7
AT ITER 1258 NEW BEST:: SOT 133001554 SOS 82316196 HAS SOPS 67274260 HAS SOUS 24224428 HAS SOUPS 23602724 WITH SCORE 2.3685040196E7
AT ITER 1261 NEW BEST:: SOT 132994727 SOS 82308772 HAS SOPS 67266232 HAS SOUS 24207935 HAS SOUPS 23586231 WITH SCORE 2.3668539772E7
AT ITER 1262 NEW BEST:: SOT 132994873 SOS 82309164 HAS SOPS 67265708 HAS SOUS 24207107 HAS SOUPS 23585403 WITH SCORE 2.3667712164E7
AT ITER 1266 NEW BEST:: SOT 132981513 SOS 82296063 HAS SOPS 67247415 HAS SOUS 24189762 HAS SOUPS 23567971 WITH SCORE 2.3650267063E7
AT ITER 1276 NEW BEST:: SOT 132981348 SOS 82295864 HAS SOPS 67247197 HAS SOUS 24189503 HAS SOUPS 23567712 WITH SCORE 2.3650007864E7
AT ITER 1286 NEW BEST:: SOT 132979451 SOS 82291987 HAS SOPS 67244094 HAS SOUS 24188992 HAS SOUPS 23567201 WITH SCORE 2.3649492987E7
AT ITER 1294 NEW BEST:: SOT 132976354 SOS 82288892 HAS SOPS 67240258 HAS SOUS 24184708 HAS SOUPS 23562227 WITH SCORE 2.3644515892E7
AT ITER 1321 NEW BEST:: SOT 132973211 SOS 82273129 HAS SOPS 67224552 HAS SOUS 24175417 HAS SOUPS 23552936 WITH SCORE 2.3635209129E7
AT ITER 1330 NEW BEST:: SOT 132994528 SOS 82333582 HAS SOPS 67284917 HAS SOUS 24162765 HAS SOUPS 23540284 WITH SCORE 2.3622617582E7
AT ITER 1335 NEW BEST:: SOT 132993884 SOS 82331317 HAS SOPS 67275582 HAS SOUS 24157130 HAS SOUPS 23534649 WITH SCORE 2.3616980317E7
AT ITER 1354 NEW BEST:: SOT 132991360 SOS 82321523 HAS SOPS 67265317 HAS SOUS 24154261 HAS SOUPS 23531780 WITH SCORE 2.3614101523E7
AT ITER 1366 NEW BEST:: SOT 132980075 SOS 82306558 HAS SOPS 67258815 HAS SOUS 24142763 HAS SOUPS 23521518 WITH SCORE 2.3603824558E7
AT ITER 1369 NEW BEST:: SOT 132979771 SOS 82301560 HAS SOPS 67253936 HAS SOUS 24142200 HAS SOUPS 23520955 WITH SCORE 2.360325656E7
AT ITER 1370 NEW BEST:: SOT 132975046 SOS 82291311 HAS SOPS 67247049 HAS SOUS 24139529 HAS SOUPS 23518284 WITH SCORE 2.3600575311E7
AT ITER 1383 NEW BEST:: SOT 132982695 SOS 82301118 HAS SOPS 67271939 HAS SOUS 24129734 HAS SOUPS 23514633 WITH SCORE 2.3596934118E7
AT ITER 1391 NEW BEST:: SOT 132981602 SOS 82300266 HAS SOPS 67270730 HAS SOUS 24126829 HAS SOUPS 23511799 WITH SCORE 2.3594099266E7
AT ITER 1392 NEW BEST:: SOT 132976668 SOS 82328033 HAS SOPS 67308054 HAS SOUS 24095238 HAS SOUPS 23480208 WITH SCORE 2.3562536033E7
AT ITER 1406 NEW BEST:: SOT 133009065 SOS 82445252 HAS SOPS 67413781 HAS SOUS 24078682 HAS SOUPS 23463652 WITH SCORE 2.3546097252E7
AT ITER 1413 NEW BEST:: SOT 133010227 SOS 82452764 HAS SOPS 67423804 HAS SOUS 24064670 HAS SOUPS 23450172 WITH SCORE 2.3532624764E7
AT ITER 1421 NEW BEST:: SOT 133005495 SOS 82444530 HAS SOPS 67416342 HAS SOUS 24057333 HAS SOUPS 23442835 WITH SCORE 2.352527953E7
AT ITER 1442 NEW BEST:: SOT 132989270 SOS 82414343 HAS SOPS 67399785 HAS SOUS 24037088 HAS SOUPS 23422590 WITH SCORE 2.3505004343E7
AT ITER 1443 NEW BEST:: SOT 132989992 SOS 82422731 HAS SOPS 67406817 HAS SOUS 24034804 HAS SOUPS 23420306 WITH SCORE 2.3502728731E7
AT ITER 1473 NEW BEST:: SOT 132988316 SOS 82423302 HAS SOPS 67403632 HAS SOUS 24027215 HAS SOUPS 23412717 WITH SCORE 2.3495140302E7
AT ITER 1476 NEW BEST:: SOT 132986600 SOS 82414247 HAS SOPS 67395305 HAS SOUS 24026126 HAS SOUPS 23411628 WITH SCORE 2.3494042247E7
AT ITER 1486 NEW BEST:: SOT 132997122 SOS 82444610 HAS SOPS 67416124 HAS SOUS 23984362 HAS SOUPS 23369864 WITH SCORE 2.345230861E7
AT ITER 1489 NEW BEST:: SOT 132975778 SOS 82401903 HAS SOPS 67388411 HAS SOUS 23971002 HAS SOUPS 23356504 WITH SCORE 2.3438905903E7
AT ITER 1492 NEW BEST:: SOT 132972317 SOS 82398141 HAS SOPS 67381070 HAS SOUS 23959833 HAS SOUPS 23345335 WITH SCORE 2.3427733141E7
AT ITER 1499 NEW BEST:: SOT 132999356 SOS 82498424 HAS SOPS 67448780 HAS SOUS 23900670 HAS SOUPS 23286172 WITH SCORE 2.3368670424E7
AT ITER 1514 NEW BEST:: SOT 133003679 SOS 82510307 HAS SOPS 67462099 HAS SOUS 23900277 HAS SOUPS 23285779 WITH SCORE 2.3368289307E7
AT ITER 1527 NEW BEST:: SOT 132973507 SOS 82476483 HAS SOPS 67428999 HAS SOUS 23848498 HAS SOUPS 23234000 WITH SCORE 2.3316476483E7
AT ITER 1533 NEW BEST:: SOT 132991025 SOS 82519886 HAS SOPS 67464523 HAS SOUS 23848321 HAS SOUPS 23233823 WITH SCORE 2.3316342886E7
AT ITER 1546 NEW BEST:: SOT 132992922 SOS 82525328 HAS SOPS 67466406 HAS SOUS 23847078 HAS SOUPS 23232580 WITH SCORE 2.3315105328E7
AT ITER 1559 NEW BEST:: SOT 132966335 SOS 82478170 HAS SOPS 67424921 HAS SOUS 23826229 HAS SOUPS 23211731 WITH SCORE 2.329420917E7
AT ITER 1567 NEW BEST:: SOT 132970122 SOS 82485091 HAS SOPS 67428907 HAS SOUS 23815317 HAS SOUPS 23200819 WITH SCORE 2.3283304091E7
AT ITER 1570 NEW BEST:: SOT 132975358 SOS 82492742 HAS SOPS 67448895 HAS SOUS 23808279 HAS SOUPS 23193679 WITH SCORE 2.3276171742E7
AT ITER 1576 NEW BEST:: SOT 132975004 SOS 82504251 HAS SOPS 67472160 HAS SOUS 23807397 HAS SOUPS 23192797 WITH SCORE 2.3275301251E7
AT ITER 1583 NEW BEST:: SOT 132979065 SOS 82547888 HAS SOPS 67513258 HAS SOUS 23785776 HAS SOUPS 23171176 WITH SCORE 2.3253723888E7
AT ITER 1612 NEW BEST:: SOT 132992221 SOS 82559413 HAS SOPS 67513558 HAS SOUS 23783256 HAS SOUPS 23168971 WITH SCORE 2.3251530413E7
AT ITER 1634 NEW BEST:: SOT 132981633 SOS 82542379 HAS SOPS 67494971 HAS SOUS 23767504 HAS SOUPS 23153219 WITH SCORE 2.3235761379E7
AT ITER 1651 NEW BEST:: SOT 132979961 SOS 82524620 HAS SOPS 67479669 HAS SOUS 23752680 HAS SOUPS 23139547 WITH SCORE 2.322207162E7
AT ITER 1652 NEW BEST:: SOT 132979602 SOS 82524525 HAS SOPS 67479596 HAS SOUS 23752299 HAS SOUPS 23139188 WITH SCORE 2.3221712525E7
AT ITER 1658 NEW BEST:: SOT 132983085 SOS 82536632 HAS SOPS 67486793 HAS SOUS 23750714 HAS SOUPS 23137603 WITH SCORE 2.3220139632E7
AT ITER 1660 NEW BEST:: SOT 132950189 SOS 82483414 HAS SOPS 67433528 HAS SOUS 23716596 HAS SOUPS 23103485 WITH SCORE 2.3185968414E7
AT ITER 1661 NEW BEST:: SOT 132949496 SOS 82488986 HAS SOPS 67435397 HAS SOUS 23712187 HAS SOUPS 23099076 WITH SCORE 2.3181564986E7
AT ITER 1662 NEW BEST:: SOT 132946402 SOS 82479680 HAS SOPS 67426175 HAS SOUS 23708177 HAS SOUPS 23095066 WITH SCORE 2.317754568E7
AT ITER 1673 NEW BEST:: SOT 132946236 SOS 82479714 HAS SOPS 67428683 HAS SOUS 23707276 HAS SOUPS 23094165 WITH SCORE 2.3176644714E7
AT ITER 1674 NEW BEST:: SOT 132943110 SOS 82477824 HAS SOPS 67425486 HAS SOUS 23697175 HAS SOUPS 23084043 WITH SCORE 2.3166520824E7
AT ITER 1697 NEW BEST:: SOT 132944311 SOS 82487073 HAS SOPS 67441563 HAS SOUS 23692984 HAS SOUPS 23079852 WITH SCORE 2.3162339073E7
AT ITER 1707 NEW BEST:: SOT 132938594 SOS 82478940 HAS SOPS 67433756 HAS SOUS 23662622 HAS SOUPS 23049632 WITH SCORE 2.313211094E7
AT ITER 1712 NEW BEST:: SOT 132943027 SOS 82479097 HAS SOPS 67441393 HAS SOUS 23662227 HAS SOUPS 23049594 WITH SCORE 2.3132073097E7
AT ITER 1751 NEW BEST:: SOT 132942277 SOS 82478540 HAS SOPS 67440421 HAS SOUS 23660461 HAS SOUPS 23047828 WITH SCORE 2.313030654E7
AT ITER 1752 NEW BEST:: SOT 132942361 SOS 82482522 HAS SOPS 67447425 HAS SOUS 23659908 HAS SOUPS 23047275 WITH SCORE 2.3129757522E7
AT ITER 1772 NEW BEST:: SOT 132940111 SOS 82473727 HAS SOPS 67432751 HAS SOUS 23658217 HAS SOUPS 23045584 WITH SCORE 2.3128057727E7
AT ITER 1779 NEW BEST:: SOT 132914396 SOS 82430963 HAS SOPS 67395959 HAS SOUS 23638877 HAS SOUPS 23026244 WITH SCORE 2.3108674963E7
AT ITER 1787 NEW BEST:: SOT 132921103 SOS 82440343 HAS SOPS 67403888 HAS SOUS 23633289 HAS SOUPS 23020656 WITH SCORE 2.3103096343E7
AT ITER 1801 NEW BEST:: SOT 132920991 SOS 82441819 HAS SOPS 67404937 HAS SOUS 23628408 HAS SOUPS 23015775 WITH SCORE 2.3098216819E7
AT ITER 1807 NEW BEST:: SOT 132907528 SOS 82432410 HAS SOPS 67396008 HAS SOUS 23552557 HAS SOUPS 22940178 WITH SCORE 2.302261041E7
AT ITER 1816 NEW BEST:: SOT 132893487 SOS 82390592 HAS SOPS 67374909 HAS SOUS 23543642 HAS SOUPS 22938142 WITH SCORE 2.3020532592E7
AT ITER 1819 NEW BEST:: SOT 132880810 SOS 82350274 HAS SOPS 67353221 HAS SOUS 23542555 HAS SOUPS 22937055 WITH SCORE 2.3019405274E7
AT ITER 1836 NEW BEST:: SOT 132876012 SOS 82341696 HAS SOPS 67344553 HAS SOUS 23536758 HAS SOUPS 22931258 WITH SCORE 2.3013599696E7
AT ITER 1837 NEW BEST:: SOT 132902096 SOS 82395056 HAS SOPS 67373142 HAS SOUS 23529139 HAS SOUPS 22923406 WITH SCORE 2.3005801056E7
AT ITER 1841 NEW BEST:: SOT 132902117 SOS 82394449 HAS SOPS 67373061 HAS SOUS 23528812 HAS SOUPS 22923079 WITH SCORE 2.3005473449E7
AT ITER 1843 NEW BEST:: SOT 132905924 SOS 82417191 HAS SOPS 67401181 HAS SOUS 23511908 HAS SOUPS 22906175 WITH SCORE 2.2988592191E7
AT ITER 1854 NEW BEST:: SOT 132904487 SOS 82416669 HAS SOPS 67394337 HAS SOUS 23502291 HAS SOUPS 22896558 WITH SCORE 2.2978974669E7
AT ITER 1855 NEW BEST:: SOT 132905028 SOS 82417257 HAS SOPS 67393125 HAS SOUS 23497445 HAS SOUPS 22891712 WITH SCORE 2.2974129257E7
AT ITER 1861 NEW BEST:: SOT 132904195 SOS 82415671 HAS SOPS 67390687 HAS SOUS 23496026 HAS SOUPS 22890293 WITH SCORE 2.2972708671E7
AT ITER 1862 NEW BEST:: SOT 132904657 SOS 82420069 HAS SOPS 67396576 HAS SOUS 23495134 HAS SOUPS 22889401 WITH SCORE 2.2971821069E7
AT ITER 1874 NEW BEST:: SOT 132893294 SOS 82390538 HAS SOPS 67391470 HAS SOUS 23482363 HAS SOUPS 22876630 WITH SCORE 2.2959020538E7
AT ITER 1880 NEW BEST:: SOT 132868023 SOS 82361648 HAS SOPS 67362720 HAS SOUS 23445715 HAS SOUPS 22839982 WITH SCORE 2.2922343648E7
AT ITER 1902 NEW BEST:: SOT 132866547 SOS 82354138 HAS SOPS 67359696 HAS SOUS 23442216 HAS SOUPS 22837537 WITH SCORE 2.2919891138E7
AT ITER 1920 NEW BEST:: SOT 132880766 SOS 82370208 HAS SOPS 67372536 HAS SOUS 23439164 HAS SOUPS 22834485 WITH SCORE 2.2916855208E7
AT ITER 1933 NEW BEST:: SOT 132880515 SOS 82372454 HAS SOPS 67374250 HAS SOUS 23428715 HAS SOUPS 22823985 WITH SCORE 2.2906357454E7
AT ITER 1936 NEW BEST:: SOT 132882062 SOS 82375674 HAS SOPS 67376950 HAS SOUS 23426270 HAS SOUPS 22821536 WITH SCORE 2.2903911674E7
AT ITER 1944 NEW BEST:: SOT 132882332 SOS 82377320 HAS SOPS 67377846 HAS SOUS 23426104 HAS SOUPS 22821360 WITH SCORE 2.290373732E7
AT ITER 1945 NEW BEST:: SOT 132874485 SOS 82364130 HAS SOPS 67366723 HAS SOUS 23417082 HAS SOUPS 22812377 WITH SCORE 2.289474113E7
AT ITER 1951 NEW BEST:: SOT 132886629 SOS 82383027 HAS SOPS 67376567 HAS SOUS 23410920 HAS SOUPS 22806215 WITH SCORE 2.2888598027E7
AT ITER 1987 NEW BEST:: SOT 132881654 SOS 82378113 HAS SOPS 67370274 HAS SOUS 23398278 HAS SOUPS 22793604 WITH SCORE 2.2875982113E7
AT ITER 1989 NEW BEST:: SOT 132846936 SOS 82281069 HAS SOPS 67319526 HAS SOUS 23396202 HAS SOUPS 22791820 WITH SCORE 2.2874101069E7
AT ITER 1993 NEW BEST:: SOT 132828560 SOS 82254304 HAS SOPS 67298158 HAS SOUS 23395967 HAS SOUPS 22791629 WITH SCORE 2.2873883304E7
AT ITER 1999 NEW BEST:: SOT 132825755 SOS 82257245 HAS SOPS 67301711 HAS SOUS 23386788 HAS SOUPS 22782450 WITH SCORE 2.2864707245E7
AT ITER 2001 NEW BEST:: SOT 132828952 SOS 82258842 HAS SOPS 67297627 HAS SOUS 23381892 HAS SOUPS 22777554 WITH SCORE 2.2859812842E7
AT ITER 2002 NEW BEST:: SOT 132826105 SOS 82253597 HAS SOPS 67294114 HAS SOUS 23379597 HAS SOUPS 22775619 WITH SCORE 2.2857872597E7
AT ITER 2013 NEW BEST:: SOT 132857622 SOS 82396816 HAS SOPS 67392468 HAS SOUS 23348002 HAS SOUPS 22743748 WITH SCORE 2.2826144816E7
AT ITER 2024 NEW BEST:: SOT 132855846 SOS 82395404 HAS SOPS 67389454 HAS SOUS 23343360 HAS SOUPS 22739106 WITH SCORE 2.2821501404E7
AT ITER 2029 NEW BEST:: SOT 132846270 SOS 82385828 HAS SOPS 67379862 HAS SOUS 23333256 HAS SOUPS 22729002 WITH SCORE 2.2811387828E7
AT ITER 2048 NEW BEST:: SOT 132845941 SOS 82385720 HAS SOPS 67377749 HAS SOUS 23326960 HAS SOUPS 22722706 WITH SCORE 2.280509172E7
AT ITER 2055 NEW BEST:: SOT 132842428 SOS 82382140 HAS SOPS 67364357 HAS SOUS 23315381 HAS SOUPS 22711127 WITH SCORE 2.279350914E7
AT ITER 2064 NEW BEST:: SOT 132848868 SOS 82417458 HAS SOPS 67392227 HAS SOUS 23311458 HAS SOUPS 22707204 WITH SCORE 2.2789621458E7
AT ITER 2065 NEW BEST:: SOT 132833080 SOS 82391416 HAS SOPS 67371455 HAS SOUS 23293751 HAS SOUPS 22689552 WITH SCORE 2.2771943416E7
AT ITER 2070 NEW BEST:: SOT 132827320 SOS 82379611 HAS SOPS 67364290 HAS SOUS 23292564 HAS SOUPS 22688365 WITH SCORE 2.2770744611E7
AT ITER 2074 NEW BEST:: SOT 132825695 SOS 82375786 HAS SOPS 67359714 HAS SOUS 23289936 HAS SOUPS 22685737 WITH SCORE 2.2768112786E7
AT ITER 2093 NEW BEST:: SOT 132825717 SOS 82375870 HAS SOPS 67359748 HAS SOUS 23289901 HAS SOUPS 22685702 WITH SCORE 2.276807787E7
AT ITER 2103 NEW BEST:: SOT 132828971 SOS 82381488 HAS SOPS 67363564 HAS SOUS 23285174 HAS SOUPS 22680975 WITH SCORE 2.2763356488E7
AT ITER 2121 NEW BEST:: SOT 132829288 SOS 82382551 HAS SOPS 67364285 HAS SOUS 23284719 HAS SOUPS 22680520 WITH SCORE 2.2762902551E7
AT ITER 2130 NEW BEST:: SOT 132833097 SOS 82423343 HAS SOPS 67380444 HAS SOUS 23262915 HAS SOUPS 22658716 WITH SCORE 2.2741139343E7
AT ITER 2136 NEW BEST:: SOT 132869697 SOS 82491665 HAS SOPS 67434445 HAS SOUS 23246340 HAS SOUPS 22642141 WITH SCORE 2.2724632665E7
AT ITER 2138 NEW BEST:: SOT 132835889 SOS 82425694 HAS SOPS 67368703 HAS SOUS 23221383 HAS SOUPS 22619779 WITH SCORE 2.2702204694E7
AT ITER 2142 NEW BEST:: SOT 132847845 SOS 82467168 HAS SOPS 67402101 HAS SOUS 23209534 HAS SOUPS 22607930 WITH SCORE 2.2690397168E7
AT ITER 2148 NEW BEST:: SOT 132834194 SOS 82433080 HAS SOPS 67377919 HAS SOUS 23204236 HAS SOUPS 22602632 WITH SCORE 2.268506508E7
AT ITER 2150 NEW BEST:: SOT 132812264 SOS 82409247 HAS SOPS 67350386 HAS SOUS 23132879 HAS SOUPS 22531493 WITH SCORE 2.2613902247E7
AT ITER 2165 NEW BEST:: SOT 132794627 SOS 82390518 HAS SOPS 67323332 HAS SOUS 23109769 HAS SOUPS 22508281 WITH SCORE 2.2590671518E7
AT ITER 2170 NEW BEST:: SOT 132795150 SOS 82388812 HAS SOPS 67326804 HAS SOUS 23102846 HAS SOUPS 22502922 WITH SCORE 2.2585310812E7
AT ITER 2172 NEW BEST:: SOT 132794495 SOS 82385593 HAS SOPS 67321026 HAS SOUS 23098662 HAS SOUPS 22498738 WITH SCORE 2.2581123593E7
AT ITER 2178 NEW BEST:: SOT 132793194 SOS 82363597 HAS SOPS 67295912 HAS SOUS 23098186 HAS SOUPS 22498262 WITH SCORE 2.2580625597E7
AT ITER 2191 NEW BEST:: SOT 132787505 SOS 82350589 HAS SOPS 67291634 HAS SOUS 23097697 HAS SOUPS 22497773 WITH SCORE 2.2580123589E7
AT ITER 2201 NEW BEST:: SOT 132713545 SOS 82250403 HAS SOPS 67225042 HAS SOUS 23026122 HAS SOUPS 22426648 WITH SCORE 2.2508898403E7
AT ITER 2210 NEW BEST:: SOT 132701421 SOS 82229359 HAS SOPS 67205980 HAS SOUS 23004564 HAS SOUPS 22405244 WITH SCORE 2.2487473359E7
AT ITER 2211 NEW BEST:: SOT 132699154 SOS 82226294 HAS SOPS 67200899 HAS SOUS 22998597 HAS SOUPS 22399277 WITH SCORE 2.2481503294E7
AT ITER 2223 NEW BEST:: SOT 132699059 SOS 82226213 HAS SOPS 67200695 HAS SOUS 22998251 HAS SOUPS 22398931 WITH SCORE 2.2481157213E7
AT ITER 2232 NEW BEST:: SOT 132699433 SOS 82227300 HAS SOPS 67201292 HAS SOUS 22998032 HAS SOUPS 22398712 WITH SCORE 2.24809393E7
AT ITER 2241 NEW BEST:: SOT 132687583 SOS 82204334 HAS SOPS 67178513 HAS SOUS 22981232 HAS SOUPS 22381912 WITH SCORE 2.2464116334E7
AT ITER 2245 NEW BEST:: SOT 132676456 SOS 82188873 HAS SOPS 67164044 HAS SOUS 22975428 HAS SOUPS 22376190 WITH SCORE 2.2458378873E7
AT ITER 2254 NEW BEST:: SOT 132681570 SOS 82203054 HAS SOPS 67176407 HAS SOUS 22970051 HAS SOUPS 22370813 WITH SCORE 2.2453016054E7
AT ITER 2257 NEW BEST:: SOT 132676284 SOS 82194404 HAS SOPS 67173605 HAS SOUS 22959268 HAS SOUPS 22360030 WITH SCORE 2.2442224404E7
AT ITER 2258 NEW BEST:: SOT 132673416 SOS 82190408 HAS SOPS 67169576 HAS SOUS 22956228 HAS SOUPS 22356990 WITH SCORE 2.2439180408E7
AT ITER 2263 NEW BEST:: SOT 132671705 SOS 82189777 HAS SOPS 67162289 HAS SOUS 22955920 HAS SOUPS 22356682 WITH SCORE 2.2438871777E7
AT ITER 2269 NEW BEST:: SOT 132671236 SOS 82191067 HAS SOPS 67160252 HAS SOUS 22955518 HAS SOUPS 22356280 WITH SCORE 2.2438471067E7
AT ITER 2276 NEW BEST:: SOT 132667269 SOS 82180553 HAS SOPS 67150123 HAS SOUS 22952332 HAS SOUPS 22353094 WITH SCORE 2.2435274553E7
AT ITER 2291 NEW BEST:: SOT 132667080 SOS 82180168 HAS SOPS 67150004 HAS SOUS 22951404 HAS SOUPS 22352166 WITH SCORE 2.2434346168E7
AT ITER 2293 NEW BEST:: SOT 132666459 SOS 82178643 HAS SOPS 67147636 HAS SOUS 22949507 HAS SOUPS 22350269 WITH SCORE 2.2432447643E7
AT ITER 2297 NEW BEST:: SOT 132662692 SOS 82173934 HAS SOPS 67141904 HAS SOUS 22941473 HAS SOUPS 22342235 WITH SCORE 2.2424408934E7
AT ITER 2299 NEW BEST:: SOT 132643786 SOS 82148777 HAS SOPS 67109938 HAS SOUS 22907523 HAS SOUPS 22308285 WITH SCORE 2.2390433777E7
AT ITER 2307 NEW BEST:: SOT 132643197 SOS 82155190 HAS SOPS 67111804 HAS SOUS 22900057 HAS SOUPS 22300743 WITH SCORE 2.238289819E7

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

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