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

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

=== Now, execution of the tool begins

BK_START 1589733734902

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb114 (PT), instance 8
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 4 NEW BEST:: SOT 133650825 SOS 82206166 HAS SOPS 66747618 HAS SOUS 26438378 HAS SOUPS 25807687 WITH SCORE 2.5889893166E7
AT ITER 9 NEW BEST:: SOT 133654816 SOS 82231929 HAS SOPS 66766148 HAS SOUS 26427597 HAS SOUPS 25796906 WITH SCORE 2.5879137929E7
AT ITER 23 NEW BEST:: SOT 133684047 SOS 82311594 HAS SOPS 66866802 HAS SOUS 26391245 HAS SOUPS 25760554 WITH SCORE 2.5842865594E7
AT ITER 25 NEW BEST:: SOT 133681445 SOS 82310618 HAS SOPS 66864581 HAS SOUS 26387261 HAS SOUPS 25756542 WITH SCORE 2.5838852618E7
AT ITER 35 NEW BEST:: SOT 133681480 SOS 82314051 HAS SOPS 66890260 HAS SOUS 26387095 HAS SOUPS 25756376 WITH SCORE 2.5838690051E7
AT ITER 47 NEW BEST:: SOT 133682796 SOS 82313713 HAS SOPS 66892749 HAS SOUS 26373839 HAS SOUPS 25743120 WITH SCORE 2.5825433713E7
AT ITER 48 NEW BEST:: SOT 133681552 SOS 82303030 HAS SOPS 66887065 HAS SOUS 26370935 HAS SOUPS 25740216 WITH SCORE 2.582251903E7
AT ITER 50 NEW BEST:: SOT 133629738 SOS 82221560 HAS SOPS 66801363 HAS SOUS 26307386 HAS SOUPS 25677212 WITH SCORE 2.575943356E7
AT ITER 53 NEW BEST:: SOT 133616602 SOS 82189812 HAS SOPS 66781609 HAS SOUS 26306317 HAS SOUPS 25676232 WITH SCORE 2.5758421812E7
AT ITER 55 NEW BEST:: SOT 133624238 SOS 82197858 HAS SOPS 66796420 HAS SOUS 26301212 HAS SOUPS 25671556 WITH SCORE 2.5753753858E7
AT ITER 67 NEW BEST:: SOT 133623076 SOS 82197699 HAS SOPS 66795462 HAS SOUS 26298920 HAS SOUPS 25669264 WITH SCORE 2.5751461699E7
AT ITER 68 NEW BEST:: SOT 133614265 SOS 82188657 HAS SOPS 66781540 HAS SOUS 26275618 HAS SOUPS 25645854 WITH SCORE 2.5728042657E7
AT ITER 72 NEW BEST:: SOT 133616281 SOS 82193871 HAS SOPS 66785155 HAS SOUS 26273997 HAS SOUPS 25644233 WITH SCORE 2.5726426871E7
AT ITER 75 NEW BEST:: SOT 133600953 SOS 82164495 HAS SOPS 66763421 HAS SOUS 26263801 HAS SOUPS 25634037 WITH SCORE 2.5716201495E7
AT ITER 84 NEW BEST:: SOT 133597254 SOS 82156594 HAS SOPS 66759616 HAS SOUS 26261994 HAS SOUPS 25632265 WITH SCORE 2.5714421594E7
AT ITER 86 NEW BEST:: SOT 133590591 SOS 82149160 HAS SOPS 66752694 HAS SOUS 26233020 HAS SOUPS 25604885 WITH SCORE 2.568703416E7
AT ITER 90 NEW BEST:: SOT 133630750 SOS 82237889 HAS SOPS 66822948 HAS SOUS 26231933 HAS SOUPS 25603798 WITH SCORE 2.5686035889E7
AT ITER 98 NEW BEST:: SOT 133643895 SOS 82304737 HAS SOPS 66887634 HAS SOUS 26227546 HAS SOUPS 25599411 WITH SCORE 2.5681715737E7
AT ITER 102 NEW BEST:: SOT 133643042 SOS 82303107 HAS SOPS 66885672 HAS SOUS 26226208 HAS SOUPS 25598073 WITH SCORE 2.5680376107E7
AT ITER 106 NEW BEST:: SOT 133645131 SOS 82310594 HAS SOPS 66892034 HAS SOUS 26224991 HAS SOUPS 25596856 WITH SCORE 2.5679166594E7
AT ITER 107 NEW BEST:: SOT 133645098 SOS 82309226 HAS SOPS 66893153 HAS SOUS 26221265 HAS SOUPS 25593097 WITH SCORE 2.5675406226E7
AT ITER 109 NEW BEST:: SOT 133645175 SOS 82309202 HAS SOPS 66891240 HAS SOUS 26220833 HAS SOUPS 25592718 WITH SCORE 2.5675027202E7
AT ITER 113 NEW BEST:: SOT 133645950 SOS 82313711 HAS SOPS 66895620 HAS SOUS 26217452 HAS SOUPS 25589337 WITH SCORE 2.5671650711E7
AT ITER 124 NEW BEST:: SOT 133644741 SOS 82306765 HAS SOPS 66894156 HAS SOUS 26213258 HAS SOUPS 25585143 WITH SCORE 2.5667449765E7
AT ITER 128 NEW BEST:: SOT 133644740 SOS 82306767 HAS SOPS 66894164 HAS SOUS 26213246 HAS SOUPS 25585131 WITH SCORE 2.5667437767E7
AT ITER 138 NEW BEST:: SOT 133661329 SOS 82341198 HAS SOPS 66919778 HAS SOUS 26189345 HAS SOUPS 25561230 WITH SCORE 2.5643571198E7
AT ITER 145 NEW BEST:: SOT 133650969 SOS 82327830 HAS SOPS 66914168 HAS SOUS 26173395 HAS SOUPS 25542932 WITH SCORE 2.562525983E7
AT ITER 149 NEW BEST:: SOT 133490711 SOS 82164272 HAS SOPS 66751733 HAS SOUS 25891745 HAS SOUPS 25261502 WITH SCORE 2.5343666272E7
AT ITER 156 NEW BEST:: SOT 133490673 SOS 82165250 HAS SOPS 66750854 HAS SOUS 25888852 HAS SOUPS 25258609 WITH SCORE 2.534077425E7
AT ITER 170 NEW BEST:: SOT 133490483 SOS 82167188 HAS SOPS 66750282 HAS SOUS 25885229 HAS SOUPS 25254986 WITH SCORE 2.5337153188E7
AT ITER 179 NEW BEST:: SOT 133520385 SOS 82228455 HAS SOPS 66812840 HAS SOUS 25856237 HAS SOUPS 25226896 WITH SCORE 2.5309124455E7
AT ITER 185 NEW BEST:: SOT 133521987 SOS 82229920 HAS SOPS 66814844 HAS SOUS 25856133 HAS SOUPS 25226792 WITH SCORE 2.530902192E7
AT ITER 190 NEW BEST:: SOT 133449289 SOS 82147880 HAS SOPS 66711989 HAS SOUS 25718079 HAS SOUPS 25088753 WITH SCORE 2.517090088E7
AT ITER 191 NEW BEST:: SOT 133450094 SOS 82148827 HAS SOPS 66714122 HAS SOUS 25717254 HAS SOUPS 25087909 WITH SCORE 2.5170057827E7
AT ITER 199 NEW BEST:: SOT 133431149 SOS 82109064 HAS SOPS 66677899 HAS SOUS 25702435 HAS SOUPS 25073090 WITH SCORE 2.5155199064E7
AT ITER 206 NEW BEST:: SOT 133431716 SOS 82109368 HAS SOPS 66679931 HAS SOUS 25702280 HAS SOUPS 25072962 WITH SCORE 2.5155071368E7
AT ITER 210 NEW BEST:: SOT 133429980 SOS 82105584 HAS SOPS 66675772 HAS SOUS 25696892 HAS SOUPS 25067724 WITH SCORE 2.5149829584E7
AT ITER 214 NEW BEST:: SOT 133393711 SOS 82023378 HAS SOPS 66630117 HAS SOUS 25680774 HAS SOUPS 25051900 WITH SCORE 2.5133923378E7
AT ITER 227 NEW BEST:: SOT 133382741 SOS 81995068 HAS SOPS 66612477 HAS SOUS 25678780 HAS SOUPS 25049906 WITH SCORE 2.5131901068E7
AT ITER 228 NEW BEST:: SOT 133383632 SOS 82001188 HAS SOPS 66622497 HAS SOUS 25671460 HAS SOUPS 25042586 WITH SCORE 2.5124587188E7
AT ITER 255 NEW BEST:: SOT 133382285 SOS 82010736 HAS SOPS 66637556 HAS SOUS 25665326 HAS SOUPS 25036452 WITH SCORE 2.5118462736E7
AT ITER 256 NEW BEST:: SOT 133402034 SOS 82103392 HAS SOPS 66714689 HAS SOUS 25656474 HAS SOUPS 25027600 WITH SCORE 2.5109703392E7
AT ITER 267 NEW BEST:: SOT 133398231 SOS 82093344 HAS SOPS 66709657 HAS SOUS 25655667 HAS SOUPS 25026793 WITH SCORE 2.5108886344E7
AT ITER 269 NEW BEST:: SOT 133389631 SOS 82100768 HAS SOPS 66738447 HAS SOUS 25649353 HAS SOUPS 25020479 WITH SCORE 2.5102579768E7
AT ITER 272 NEW BEST:: SOT 133389631 SOS 82100508 HAS SOPS 66738447 HAS SOUS 25649288 HAS SOUPS 25020479 WITH SCORE 2.5102579508E7
AT ITER 299 NEW BEST:: SOT 133389741 SOS 82099208 HAS SOPS 66738928 HAS SOUS 25649002 HAS SOUPS 25020193 WITH SCORE 2.5102292208E7
AT ITER 340 NEW BEST:: SOT 133377981 SOS 82082011 HAS SOPS 66724762 HAS SOUS 25629867 HAS SOUPS 25001058 WITH SCORE 2.5083140011E7
AT ITER 343 NEW BEST:: SOT 133365888 SOS 82062506 HAS SOPS 66707961 HAS SOUS 25615395 HAS SOUPS 24986798 WITH SCORE 2.5068860506E7
AT ITER 377 NEW BEST:: SOT 133359011 SOS 82062909 HAS SOPS 66714841 HAS SOUS 25607530 HAS SOUPS 24978933 WITH SCORE 2.5060995909E7
AT ITER 384 NEW BEST:: SOT 133363283 SOS 82065262 HAS SOPS 66717177 HAS SOUS 25604953 HAS SOUPS 24976356 WITH SCORE 2.5058421262E7
AT ITER 388 NEW BEST:: SOT 133401840 SOS 82188179 HAS SOPS 66823263 HAS SOUS 25600412 HAS SOUPS 24971815 WITH SCORE 2.5054003179E7
AT ITER 395 NEW BEST:: SOT 133401592 SOS 82190208 HAS SOPS 66825499 HAS SOUS 25599716 HAS SOUPS 24971119 WITH SCORE 2.5053309208E7
AT ITER 396 NEW BEST:: SOT 133404272 SOS 82175595 HAS SOPS 66813708 HAS SOUS 25592609 HAS SOUPS 24964012 WITH SCORE 2.5046187595E7
AT ITER 399 NEW BEST:: SOT 133403744 SOS 82174889 HAS SOPS 66813123 HAS SOUS 25591459 HAS SOUPS 24962862 WITH SCORE 2.5045036889E7
AT ITER 405 NEW BEST:: SOT 133383459 SOS 82147159 HAS SOPS 66773579 HAS SOUS 25568870 HAS SOUPS 24940273 WITH SCORE 2.5022420159E7
AT ITER 410 NEW BEST:: SOT 133404077 SOS 82191046 HAS SOPS 66819789 HAS SOUS 25542011 HAS SOUPS 24913308 WITH SCORE 2.4995499046E7
AT ITER 426 NEW BEST:: SOT 133401648 SOS 82163758 HAS SOPS 66790337 HAS SOUS 25533572 HAS SOUPS 24904869 WITH SCORE 2.4987032758E7
AT ITER 445 NEW BEST:: SOT 133400042 SOS 82153084 HAS SOPS 66786045 HAS SOUS 25528917 HAS SOUPS 24900214 WITH SCORE 2.4982367084E7
AT ITER 449 NEW BEST:: SOT 133398203 SOS 82151540 HAS SOPS 66783928 HAS SOUS 25524979 HAS SOUPS 24896317 WITH SCORE 2.497846854E7
AT ITER 465 NEW BEST:: SOT 133414983 SOS 82194377 HAS SOPS 66816017 HAS SOUS 25515588 HAS SOUPS 24886926 WITH SCORE 2.4969120377E7
AT ITER 478 NEW BEST:: SOT 133416132 SOS 82200910 HAS SOPS 66814505 HAS SOUS 25486033 HAS SOUPS 24860746 WITH SCORE 2.494294691E7
AT ITER 494 NEW BEST:: SOT 133415515 SOS 82199432 HAS SOPS 66813915 HAS SOUS 25485403 HAS SOUPS 24860116 WITH SCORE 2.4942315432E7
AT ITER 507 NEW BEST:: SOT 133422455 SOS 82221634 HAS SOPS 66831963 HAS SOUS 25481385 HAS SOUPS 24856098 WITH SCORE 2.4938319634E7
AT ITER 510 NEW BEST:: SOT 133426660 SOS 82239677 HAS SOPS 66849212 HAS SOUS 25477245 HAS SOUPS 24851958 WITH SCORE 2.4934197677E7
AT ITER 511 NEW BEST:: SOT 133425980 SOS 82238867 HAS SOPS 66848267 HAS SOUS 25475320 HAS SOUPS 24850088 WITH SCORE 2.4932326867E7
AT ITER 512 NEW BEST:: SOT 133414558 SOS 82214797 HAS SOPS 66832609 HAS SOUS 25467320 HAS SOUPS 24842177 WITH SCORE 2.4924391797E7
AT ITER 513 NEW BEST:: SOT 133412887 SOS 82210550 HAS SOPS 66829933 HAS SOUS 25467006 HAS SOUPS 24841863 WITH SCORE 2.492407355E7
AT ITER 520 NEW BEST:: SOT 133432507 SOS 82252184 HAS SOPS 66867349 HAS SOUS 25442609 HAS SOUPS 24817331 WITH SCORE 2.4899583184E7
AT ITER 522 NEW BEST:: SOT 133432884 SOS 82256372 HAS SOPS 66870996 HAS SOUS 25441929 HAS SOUPS 24816651 WITH SCORE 2.4898907372E7
AT ITER 542 NEW BEST:: SOT 133433189 SOS 82256677 HAS SOPS 66870565 HAS SOUS 25441914 HAS SOUPS 24816636 WITH SCORE 2.4898892677E7
AT ITER 550 NEW BEST:: SOT 133430268 SOS 82252209 HAS SOPS 66905250 HAS SOUS 25402156 HAS SOUPS 24778267 WITH SCORE 2.4860519209E7
AT ITER 564 NEW BEST:: SOT 133419580 SOS 82225276 HAS SOPS 66884847 HAS SOUS 25399797 HAS SOUPS 24775908 WITH SCORE 2.4858133276E7
AT ITER 582 NEW BEST:: SOT 133415243 SOS 82220922 HAS SOPS 66880482 HAS SOUS 25384376 HAS SOUPS 24760616 WITH SCORE 2.4842836922E7
AT ITER 583 NEW BEST:: SOT 133352234 SOS 82083625 HAS SOPS 66795962 HAS SOUS 25310902 HAS SOUPS 24687544 WITH SCORE 2.4769627625E7
AT ITER 589 NEW BEST:: SOT 133352422 SOS 82096976 HAS SOPS 66809238 HAS SOUS 25307436 HAS SOUPS 24684078 WITH SCORE 2.4766174976E7
AT ITER 597 NEW BEST:: SOT 133353438 SOS 82101317 HAS SOPS 66810862 HAS SOUS 25305722 HAS SOUPS 24682364 WITH SCORE 2.4764465317E7
AT ITER 609 NEW BEST:: SOT 133338588 SOS 82080107 HAS SOPS 66794231 HAS SOUS 25291951 HAS SOUPS 24668660 WITH SCORE 2.4750740107E7
AT ITER 617 NEW BEST:: SOT 133424905 SOS 82265424 HAS SOPS 66983333 HAS SOUS 25289682 HAS SOUPS 24666273 WITH SCORE 2.4748538424E7
AT ITER 627 NEW BEST:: SOT 133400042 SOS 82203681 HAS SOPS 66937256 HAS SOUS 25277647 HAS SOUPS 24654238 WITH SCORE 2.4736441681E7
AT ITER 635 NEW BEST:: SOT 133399698 SOS 82203185 HAS SOPS 66936790 HAS SOUS 25277172 HAS SOUPS 24653765 WITH SCORE 2.4735968185E7
AT ITER 642 NEW BEST:: SOT 133385890 SOS 82178450 HAS SOPS 66934341 HAS SOUS 25270215 HAS SOUPS 24646808 WITH SCORE 2.472898645E7
AT ITER 644 NEW BEST:: SOT 133381363 SOS 82169329 HAS SOPS 66928616 HAS SOUS 25261449 HAS SOUPS 24638042 WITH SCORE 2.4720211329E7
AT ITER 645 NEW BEST:: SOT 133389419 SOS 82196645 HAS SOPS 66947422 HAS SOUS 25253987 HAS SOUPS 24630580 WITH SCORE 2.4712776645E7
AT ITER 646 NEW BEST:: SOT 133387217 SOS 82195481 HAS SOPS 66944446 HAS SOUS 25248995 HAS SOUPS 24625588 WITH SCORE 2.4707783481E7
AT ITER 671 NEW BEST:: SOT 133390919 SOS 82202599 HAS SOPS 66951538 HAS SOUS 25229430 HAS SOUPS 24606116 WITH SCORE 2.4688318599E7
AT ITER 683 NEW BEST:: SOT 133390082 SOS 82201791 HAS SOPS 66950858 HAS SOUS 25226722 HAS SOUPS 24603460 WITH SCORE 2.4685661791E7
AT ITER 689 NEW BEST:: SOT 133391172 SOS 82202991 HAS SOPS 66956713 HAS SOUS 25225213 HAS SOUPS 24601874 WITH SCORE 2.4684076991E7
AT ITER 717 NEW BEST:: SOT 133393077 SOS 82214345 HAS SOPS 66963227 HAS SOUS 25221408 HAS SOUPS 24598020 WITH SCORE 2.4680234345E7
AT ITER 718 NEW BEST:: SOT 133400701 SOS 82239765 HAS SOPS 66977692 HAS SOUS 25215108 HAS SOUPS 24591720 WITH SCORE 2.4673959765E7
AT ITER 720 NEW BEST:: SOT 133401037 SOS 82240896 HAS SOPS 66978730 HAS SOUS 25211533 HAS SOUPS 24588145 WITH SCORE 2.4670385896E7
AT ITER 722 NEW BEST:: SOT 133401395 SOS 82242956 HAS SOPS 66973024 HAS SOUS 25201379 HAS SOUPS 24578141 WITH SCORE 2.4660383956E7
AT ITER 732 NEW BEST:: SOT 133438380 SOS 82316364 HAS SOPS 67020747 HAS SOUS 25172470 HAS SOUPS 24548779 WITH SCORE 2.4631095364E7
AT ITER 737 NEW BEST:: SOT 133437243 SOS 82311700 HAS SOPS 67016320 HAS SOUS 25163192 HAS SOUPS 24539501 WITH SCORE 2.46218127E7
AT ITER 739 NEW BEST:: SOT 133437110 SOS 82311800 HAS SOPS 67016200 HAS SOUS 25162828 HAS SOUPS 24539134 WITH SCORE 2.46214458E7
AT ITER 742 NEW BEST:: SOT 133450184 SOS 82353805 HAS SOPS 67054009 HAS SOUS 25162593 HAS SOUPS 24538899 WITH SCORE 2.4621252805E7
AT ITER 748 NEW BEST:: SOT 133460966 SOS 82364778 HAS SOPS 67047402 HAS SOUS 25156553 HAS SOUPS 24533146 WITH SCORE 2.4615510778E7
AT ITER 753 NEW BEST:: SOT 133459276 SOS 82360276 HAS SOPS 67044106 HAS SOUS 25154557 HAS SOUPS 24532884 WITH SCORE 2.4615244276E7
AT ITER 762 NEW BEST:: SOT 133466348 SOS 82393212 HAS SOPS 67059438 HAS SOUS 25126235 HAS SOUPS 24504562 WITH SCORE 2.4586955212E7
AT ITER 772 NEW BEST:: SOT 133416485 SOS 82291250 HAS SOPS 66996106 HAS SOUS 25087039 HAS SOUPS 24468874 WITH SCORE 2.455116525E7
AT ITER 780 NEW BEST:: SOT 133416416 SOS 82291698 HAS SOPS 66996103 HAS SOUS 25087014 HAS SOUPS 24468849 WITH SCORE 2.4551140698E7
AT ITER 787 NEW BEST:: SOT 133427643 SOS 82368180 HAS SOPS 67080332 HAS SOUS 25086701 HAS SOUPS 24468536 WITH SCORE 2.455090418E7
AT ITER 792 NEW BEST:: SOT 133424929 SOS 82367662 HAS SOPS 67077870 HAS SOUS 25078406 HAS SOUPS 24460241 WITH SCORE 2.4542608662E7
AT ITER 800 NEW BEST:: SOT 133424353 SOS 82365958 HAS SOPS 67076298 HAS SOUS 25077852 HAS SOUPS 24459687 WITH SCORE 2.4542052958E7
AT ITER 808 NEW BEST:: SOT 133417856 SOS 82344625 HAS SOPS 67064350 HAS SOUS 25077445 HAS SOUPS 24459280 WITH SCORE 2.4541624625E7
AT ITER 823 NEW BEST:: SOT 133415565 SOS 82354589 HAS SOPS 67068838 HAS SOUS 25052804 HAS SOUPS 24434639 WITH SCORE 2.4516993589E7
AT ITER 845 NEW BEST:: SOT 133415918 SOS 82359027 HAS SOPS 67075488 HAS SOUS 25051709 HAS SOUPS 24433544 WITH SCORE 2.4515903027E7
AT ITER 854 NEW BEST:: SOT 133415936 SOS 82359356 HAS SOPS 67075877 HAS SOUS 25051638 HAS SOUPS 24433473 WITH SCORE 2.4515832356E7
AT ITER 878 NEW BEST:: SOT 133383191 SOS 82326266 HAS SOPS 67047384 HAS SOUS 24989042 HAS SOUPS 24370858 WITH SCORE 2.4453184266E7
AT ITER 881 NEW BEST:: SOT 133388554 SOS 82348106 HAS SOPS 67063591 HAS SOUS 24980734 HAS SOUPS 24362550 WITH SCORE 2.4444898106E7
AT ITER 897 NEW BEST:: SOT 133388747 SOS 82350592 HAS SOPS 67067757 HAS SOUS 24980198 HAS SOUPS 24362014 WITH SCORE 2.4444364592E7
AT ITER 904 NEW BEST:: SOT 133410929 SOS 82399004 HAS SOPS 67099173 HAS SOUS 24969374 HAS SOUPS 24351190 WITH SCORE 2.4433589004E7
AT ITER 939 NEW BEST:: SOT 133469994 SOS 82564066 HAS SOPS 67266606 HAS SOUS 24939950 HAS SOUPS 24321766 WITH SCORE 2.4404330066E7
AT ITER 940 NEW BEST:: SOT 133479257 SOS 82607700 HAS SOPS 67304287 HAS SOUS 24920297 HAS SOUPS 24302113 WITH SCORE 2.43847207E7
AT ITER 942 NEW BEST:: SOT 133495875 SOS 82676547 HAS SOPS 67391164 HAS SOUS 24915860 HAS SOUPS 24297676 WITH SCORE 2.4380352547E7
AT ITER 944 NEW BEST:: SOT 133526513 SOS 82738933 HAS SOPS 67452796 HAS SOUS 24872609 HAS SOUPS 24254475 WITH SCORE 2.4337213933E7
AT ITER 958 NEW BEST:: SOT 133527489 SOS 82750324 HAS SOPS 67462089 HAS SOUS 24856623 HAS SOUPS 24238489 WITH SCORE 2.4321239324E7
AT ITER 976 NEW BEST:: SOT 133523801 SOS 82746248 HAS SOPS 67455547 HAS SOUS 24844726 HAS SOUPS 24226592 WITH SCORE 2.4309338248E7
AT ITER 1003 NEW BEST:: SOT 133523801 SOS 82747273 HAS SOPS 67456572 HAS SOUS 24842213 HAS SOUPS 24224079 WITH SCORE 2.4306826273E7
AT ITER 1011 NEW BEST:: SOT 133521797 SOS 82746456 HAS SOPS 67450971 HAS SOUS 24832711 HAS SOUPS 24214577 WITH SCORE 2.4297323456E7
AT ITER 1015 NEW BEST:: SOT 133543691 SOS 82796321 HAS SOPS 67499488 HAS SOUS 24816448 HAS SOUPS 24198314 WITH SCORE 2.4281110321E7
AT ITER 1016 NEW BEST:: SOT 133541541 SOS 82791758 HAS SOPS 67496717 HAS SOUS 24807194 HAS SOUPS 24189060 WITH SCORE 2.4271851758E7
AT ITER 1019 NEW BEST:: SOT 133535502 SOS 82779219 HAS SOPS 67483121 HAS SOUS 24793927 HAS SOUPS 24175793 WITH SCORE 2.4258572219E7
AT ITER 1030 NEW BEST:: SOT 133537498 SOS 82789911 HAS SOPS 67490844 HAS SOUS 24786211 HAS SOUPS 24168077 WITH SCORE 2.4250866911E7
AT ITER 1051 NEW BEST:: SOT 133539559 SOS 82802287 HAS SOPS 67497849 HAS SOUS 24778485 HAS SOUPS 24160351 WITH SCORE 2.4243153287E7
AT ITER 1055 NEW BEST:: SOT 133550831 SOS 82845831 HAS SOPS 67537334 HAS SOUS 24768862 HAS SOUPS 24150728 WITH SCORE 2.4233573831E7
AT ITER 1075 NEW BEST:: SOT 133508295 SOS 82784980 HAS SOPS 67497975 HAS SOUS 24731174 HAS SOUPS 24113356 WITH SCORE 2.419614098E7
AT ITER 1090 NEW BEST:: SOT 133512124 SOS 82800419 HAS SOPS 67511916 HAS SOUS 24724023 HAS SOUPS 24106205 WITH SCORE 2.4189005419E7
AT ITER 1104 NEW BEST:: SOT 133520731 SOS 82844552 HAS SOPS 67512388 HAS SOUS 24673213 HAS SOUPS 24055262 WITH SCORE 2.4138106552E7
AT ITER 1156 NEW BEST:: SOT 133518277 SOS 82842779 HAS SOPS 67512552 HAS SOUS 24672015 HAS SOUPS 24054064 WITH SCORE 2.4136906779E7
AT ITER 1166 NEW BEST:: SOT 133496378 SOS 82783385 HAS SOPS 67469225 HAS SOUS 24670894 HAS SOUPS 24052946 WITH SCORE 2.4135729385E7
AT ITER 1177 NEW BEST:: SOT 133496908 SOS 82785297 HAS SOPS 67471280 HAS SOUS 24670780 HAS SOUPS 24052832 WITH SCORE 2.4135617297E7
AT ITER 1186 NEW BEST:: SOT 133427895 SOS 82655461 HAS SOPS 67380645 HAS SOUS 24602756 HAS SOUPS 23984668 WITH SCORE 2.4067323461E7
AT ITER 1189 NEW BEST:: SOT 133430027 SOS 82656370 HAS SOPS 67356930 HAS SOUS 24571899 HAS SOUPS 23953998 WITH SCORE 2.403665437E7
AT ITER 1191 NEW BEST:: SOT 133433270 SOS 82666635 HAS SOPS 67361828 HAS SOUS 24567446 HAS SOUPS 23948335 WITH SCORE 2.4031001635E7
AT ITER 1198 NEW BEST:: SOT 133422414 SOS 82658148 HAS SOPS 67353886 HAS SOUS 24548040 HAS SOUPS 23931309 WITH SCORE 2.4013967148E7
AT ITER 1207 NEW BEST:: SOT 133421100 SOS 82656280 HAS SOPS 67358364 HAS SOUS 24545283 HAS SOUPS 23928552 WITH SCORE 2.401120828E7
AT ITER 1208 NEW BEST:: SOT 133406816 SOS 82641996 HAS SOPS 67344080 HAS SOUS 24522887 HAS SOUPS 23906156 WITH SCORE 2.3988797996E7
AT ITER 1216 NEW BEST:: SOT 133337769 SOS 82573626 HAS SOPS 67274848 HAS SOUS 24418711 HAS SOUPS 23801525 WITH SCORE 2.3884098626E7
AT ITER 1226 NEW BEST:: SOT 133279672 SOS 82515582 HAS SOPS 67213167 HAS SOUS 24346556 HAS SOUPS 23729283 WITH SCORE 2.3811798582E7
AT ITER 1230 NEW BEST:: SOT 133278360 SOS 82514581 HAS SOPS 67210734 HAS SOUS 24340931 HAS SOUPS 23723635 WITH SCORE 2.3806149581E7
AT ITER 1232 NEW BEST:: SOT 133261127 SOS 82495845 HAS SOPS 67192792 HAS SOUS 24314881 HAS SOUPS 23697671 WITH SCORE 2.3780166845E7
AT ITER 1239 NEW BEST:: SOT 133246662 SOS 82483731 HAS SOPS 67177461 HAS SOUS 24271614 HAS SOUPS 23654404 WITH SCORE 2.3736887731E7
AT ITER 1246 NEW BEST:: SOT 133200486 SOS 82428420 HAS SOPS 67128798 HAS SOUS 24217275 HAS SOUPS 23600287 WITH SCORE 2.368271542E7
AT ITER 1279 NEW BEST:: SOT 133199811 SOS 82427485 HAS SOPS 67127356 HAS SOUS 24215187 HAS SOUPS 23598199 WITH SCORE 2.3680626485E7
AT ITER 1281 NEW BEST:: SOT 133201951 SOS 82430978 HAS SOPS 67160790 HAS SOUS 24200680 HAS SOUPS 23584249 WITH SCORE 2.3666679978E7
AT ITER 1286 NEW BEST:: SOT 133208042 SOS 82451848 HAS SOPS 67177348 HAS SOUS 24199720 HAS SOUPS 23583289 WITH SCORE 2.3665740848E7
AT ITER 1288 NEW BEST:: SOT 133209366 SOS 82457144 HAS SOPS 67183508 HAS SOUS 24198964 HAS SOUPS 23582533 WITH SCORE 2.3664990144E7
AT ITER 1303 NEW BEST:: SOT 133209373 SOS 82458784 HAS SOPS 67184878 HAS SOUS 24198161 HAS SOUPS 23581730 WITH SCORE 2.3664188784E7
AT ITER 1310 NEW BEST:: SOT 133177523 SOS 82357377 HAS SOPS 67107911 HAS SOUS 24194811 HAS SOUPS 23578380 WITH SCORE 2.3660737377E7
AT ITER 1312 NEW BEST:: SOT 133161057 SOS 82340911 HAS SOPS 67089013 HAS SOUS 24172345 HAS SOUPS 23555914 WITH SCORE 2.3638254911E7
AT ITER 1332 NEW BEST:: SOT 133159194 SOS 82337824 HAS SOPS 67087123 HAS SOUS 24169249 HAS SOUPS 23552857 WITH SCORE 2.3635194824E7
AT ITER 1335 NEW BEST:: SOT 133115676 SOS 82295698 HAS SOPS 67043466 HAS SOUS 24119287 HAS SOUPS 23502722 WITH SCORE 2.3585017698E7
AT ITER 1343 NEW BEST:: SOT 133123170 SOS 82329500 HAS SOPS 67099850 HAS SOUS 24105778 HAS SOUPS 23489213 WITH SCORE 2.35715425E7
AT ITER 1352 NEW BEST:: SOT 133122894 SOS 82329407 HAS SOPS 67099490 HAS SOUS 24105028 HAS SOUPS 23488463 WITH SCORE 2.3570792407E7
AT ITER 1355 NEW BEST:: SOT 133122850 SOS 82345296 HAS SOPS 67115458 HAS SOUS 24104279 HAS SOUPS 23487714 WITH SCORE 2.3570059296E7
AT ITER 1360 NEW BEST:: SOT 133120048 SOS 82339551 HAS SOPS 67111011 HAS SOUS 24102908 HAS SOUPS 23486343 WITH SCORE 2.3568682551E7
AT ITER 1364 NEW BEST:: SOT 133113953 SOS 82329013 HAS SOPS 67094494 HAS SOUS 24086200 HAS SOUPS 23469635 WITH SCORE 2.3551964013E7
AT ITER 1370 NEW BEST:: SOT 133112979 SOS 82327100 HAS SOPS 67092733 HAS SOUS 24084645 HAS SOUPS 23468080 WITH SCORE 2.35504071E7
AT ITER 1413 NEW BEST:: SOT 133114958 SOS 82339889 HAS SOPS 67104354 HAS SOUS 24081892 HAS SOUPS 23465327 WITH SCORE 2.3547666889E7
AT ITER 1434 NEW BEST:: SOT 133116598 SOS 82345482 HAS SOPS 67106917 HAS SOUS 24077545 HAS SOUPS 23460980 WITH SCORE 2.3543325482E7
AT ITER 1437 NEW BEST:: SOT 133093318 SOS 82317130 HAS SOPS 67064256 HAS SOUS 24056857 HAS SOUPS 23440148 WITH SCORE 2.352246513E7
AT ITER 1446 NEW BEST:: SOT 133093291 SOS 82315342 HAS SOPS 67060960 HAS SOUS 24055654 HAS SOUPS 23438945 WITH SCORE 2.3521260342E7
AT ITER 1451 NEW BEST:: SOT 133083389 SOS 82305440 HAS SOPS 67051058 HAS SOUS 24041736 HAS SOUPS 23425027 WITH SCORE 2.350733244E7
AT ITER 1452 NEW BEST:: SOT 133058358 SOS 82241370 HAS SOPS 67006481 HAS SOUS 24038756 HAS SOUPS 23422047 WITH SCORE 2.350428837E7
AT ITER 1458 NEW BEST:: SOT 133054753 SOS 82242097 HAS SOPS 67001590 HAS SOUS 24022810 HAS SOUPS 23406101 WITH SCORE 2.3488343097E7
AT ITER 1468 NEW BEST:: SOT 133022027 SOS 82194407 HAS SOPS 66953380 HAS SOUS 23996513 HAS SOUPS 23379720 WITH SCORE 2.3461914407E7
AT ITER 1477 NEW BEST:: SOT 133022400 SOS 82190825 HAS SOPS 66954073 HAS SOUS 23995825 HAS SOUPS 23379032 WITH SCORE 2.3461222825E7
AT ITER 1498 NEW BEST:: SOT 133031011 SOS 82226637 HAS SOPS 66984595 HAS SOUS 23994990 HAS SOUPS 23378197 WITH SCORE 2.3460423637E7
AT ITER 1500 NEW BEST:: SOT 133023975 SOS 82215767 HAS SOPS 66974777 HAS SOUS 23988847 HAS SOUPS 23372158 WITH SCORE 2.3454373767E7
AT ITER 1509 NEW BEST:: SOT 133023880 SOS 82215139 HAS SOPS 66974747 HAS SOUS 23988576 HAS SOUPS 23371887 WITH SCORE 2.3454102139E7
AT ITER 1513 NEW BEST:: SOT 133022864 SOS 82214224 HAS SOPS 66972598 HAS SOUS 23982151 HAS SOUPS 23365462 WITH SCORE 2.3447676224E7
AT ITER 1518 NEW BEST:: SOT 133026089 SOS 82232396 HAS SOPS 66991267 HAS SOUS 23972169 HAS SOUPS 23355480 WITH SCORE 2.3437712396E7
AT ITER 1535 NEW BEST:: SOT 133040482 SOS 82307347 HAS SOPS 67044309 HAS SOUS 23959096 HAS SOUPS 23342407 WITH SCORE 2.3424714347E7
AT ITER 1538 NEW BEST:: SOT 133034570 SOS 82329735 HAS SOPS 67060732 HAS SOUS 23915444 HAS SOUPS 23298755 WITH SCORE 2.3381084735E7
AT ITER 1547 NEW BEST:: SOT 133012885 SOS 82305455 HAS SOPS 67022026 HAS SOUS 23869569 HAS SOUPS 23252309 WITH SCORE 2.3334614455E7
AT ITER 1551 NEW BEST:: SOT 133009815 SOS 82301769 HAS SOPS 67016727 HAS SOUS 23862211 HAS SOUPS 23244951 WITH SCORE 2.3327252769E7
AT ITER 1558 NEW BEST:: SOT 132980148 SOS 82240578 HAS SOPS 66985601 HAS SOUS 23846599 HAS SOUPS 23229712 WITH SCORE 2.3311952578E7
AT ITER 1562 NEW BEST:: SOT 132967956 SOS 82214011 HAS SOPS 66961052 HAS SOUS 23815829 HAS SOUPS 23198942 WITH SCORE 2.3281156011E7
AT ITER 1565 NEW BEST:: SOT 132965659 SOS 82211367 HAS SOPS 66957992 HAS SOUS 23808366 HAS SOUPS 23192247 WITH SCORE 2.3274458367E7
AT ITER 1573 NEW BEST:: SOT 132964974 SOS 82209729 HAS SOPS 66956080 HAS SOUS 23806888 HAS SOUPS 23190769 WITH SCORE 2.3272978729E7
AT ITER 1576 NEW BEST:: SOT 132964414 SOS 82209140 HAS SOPS 66955955 HAS SOUS 23804795 HAS SOUPS 23188676 WITH SCORE 2.327088514E7
AT ITER 1577 NEW BEST:: SOT 132952343 SOS 82197043 HAS SOPS 66943051 HAS SOUS 23790801 HAS SOUPS 23174130 WITH SCORE 2.3256327043E7
AT ITER 1583 NEW BEST:: SOT 132943866 SOS 82181673 HAS SOPS 66925412 HAS SOUS 23786456 HAS SOUPS 23169785 WITH SCORE 2.3251966673E7
AT ITER 1593 NEW BEST:: SOT 132962114 SOS 82192987 HAS SOPS 66971436 HAS SOUS 23783100 HAS SOUPS 23168476 WITH SCORE 2.3250668987E7
AT ITER 1595 NEW BEST:: SOT 132959455 SOS 82184183 HAS SOPS 66953529 HAS SOUS 23772050 HAS SOUPS 23157603 WITH SCORE 2.3239787183E7
AT ITER 1607 NEW BEST:: SOT 132948021 SOS 82172676 HAS SOPS 66939995 HAS SOUS 23752162 HAS SOUPS 23137715 WITH SCORE 2.3219887676E7
AT ITER 1608 NEW BEST:: SOT 132947327 SOS 82164986 HAS SOPS 66930928 HAS SOUS 23746126 HAS SOUPS 23131679 WITH SCORE 2.3213843986E7
AT ITER 1609 NEW BEST:: SOT 132944280 SOS 82171714 HAS SOPS 66939825 HAS SOUS 23723502 HAS SOUPS 23109032 WITH SCORE 2.3191203714E7
AT ITER 1612 NEW BEST:: SOT 132943646 SOS 82170593 HAS SOPS 66938509 HAS SOUS 23722278 HAS SOUPS 23107808 WITH SCORE 2.3189978593E7
AT ITER 1615 NEW BEST:: SOT 132878207 SOS 82104510 HAS SOPS 66869890 HAS SOUS 23624976 HAS SOUPS 23010540 WITH SCORE 2.309264451E7
AT ITER 1620 NEW BEST:: SOT 132893603 SOS 82128025 HAS SOPS 66870771 HAS SOUS 23608355 HAS SOUPS 22993919 WITH SCORE 2.3076047025E7
AT ITER 1624 NEW BEST:: SOT 132896257 SOS 82144216 HAS SOPS 66882610 HAS SOUS 23606715 HAS SOUPS 22992279 WITH SCORE 2.3074423216E7
AT ITER 1638 NEW BEST:: SOT 132896204 SOS 82145409 HAS SOPS 66881192 HAS SOUS 23602812 HAS SOUPS 22988376 WITH SCORE 2.3070521409E7
AT ITER 1658 NEW BEST:: SOT 132895034 SOS 82145903 HAS SOPS 66879158 HAS SOUS 23594473 HAS SOUPS 22980037 WITH SCORE 2.3062182903E7
AT ITER 1667 NEW BEST:: SOT 132893352 SOS 82142873 HAS SOPS 66876406 HAS SOUS 23592069 HAS SOUPS 22977633 WITH SCORE 2.3059775873E7
AT ITER 1669 NEW BEST:: SOT 132894719 SOS 82145697 HAS SOPS 66874403 HAS SOUS 23588219 HAS SOUPS 22973783 WITH SCORE 2.3055928697E7
AT ITER 1693 NEW BEST:: SOT 132896582 SOS 82149078 HAS SOPS 66877645 HAS SOUS 23584801 HAS SOUPS 22970632 WITH SCORE 2.3052781078E7
AT ITER 1708 NEW BEST:: SOT 132896200 SOS 82148698 HAS SOPS 66877263 HAS SOUS 23584263 HAS SOUPS 22970092 WITH SCORE 2.3052240698E7
AT ITER 1717 NEW BEST:: SOT 132870633 SOS 82123764 HAS SOPS 66849337 HAS SOUS 23505971 HAS SOUPS 22891800 WITH SCORE 2.2973923764E7
AT ITER 1722 NEW BEST:: SOT 132886742 SOS 82143202 HAS SOPS 66878814 HAS SOUS 23503378 HAS SOUPS 22889431 WITH SCORE 2.2971574202E7
AT ITER 1749 NEW BEST:: SOT 132877847 SOS 82119395 HAS SOPS 66859710 HAS SOUS 23499324 HAS SOUPS 22885377 WITH SCORE 2.2967496395E7
AT ITER 1753 NEW BEST:: SOT 132872498 SOS 82112376 HAS SOPS 66854111 HAS SOUS 23481786 HAS SOUPS 22868452 WITH SCORE 2.2950564376E7
AT ITER 1764 NEW BEST:: SOT 132875802 SOS 82114750 HAS SOPS 66856388 HAS SOUS 23471207 HAS SOUPS 22858032 WITH SCORE 2.294014675E7
AT ITER 1778 NEW BEST:: SOT 132873283 SOS 82110986 HAS SOPS 66853828 HAS SOUS 23471207 HAS SOUPS 22857698 WITH SCORE 2.2939808986E7
AT ITER 1782 NEW BEST:: SOT 132914913 SOS 82229805 HAS SOPS 66985241 HAS SOUS 23423214 HAS SOUPS 22809705 WITH SCORE 2.2891934805E7
AT ITER 1787 NEW BEST:: SOT 132924775 SOS 82240798 HAS SOPS 66987360 HAS SOUS 23428235 HAS SOUPS 22806376 WITH SCORE 2.2888616798E7
AT ITER 1827 NEW BEST:: SOT 132949087 SOS 82286992 HAS SOPS 67033838 HAS SOUS 23412331 HAS SOUPS 22791290 WITH SCORE 2.2873576992E7
AT ITER 1830 NEW BEST:: SOT 132937786 SOS 82279211 HAS SOPS 67032423 HAS SOUS 23402769 HAS SOUPS 22781728 WITH SCORE 2.2864007211E7
AT ITER 1838 NEW BEST:: SOT 132927323 SOS 82263041 HAS SOPS 67035153 HAS SOUS 23392568 HAS SOUPS 22771527 WITH SCORE 2.2853790041E7
AT ITER 1849 NEW BEST:: SOT 132925635 SOS 82260811 HAS SOPS 67034151 HAS SOUS 23389213 HAS SOUPS 22768172 WITH SCORE 2.2850432811E7
AT ITER 1855 NEW BEST:: SOT 132938204 SOS 82275969 HAS SOPS 67036143 HAS SOUS 23372232 HAS SOUPS 22751151 WITH SCORE 2.2833426969E7
AT ITER 1864 NEW BEST:: SOT 132935706 SOS 82272127 HAS SOPS 67038423 HAS SOUS 23365080 HAS SOUPS 22743999 WITH SCORE 2.2826271127E7
AT ITER 1869 NEW BEST:: SOT 132938069 SOS 82274342 HAS SOPS 67041640 HAS SOUS 23361246 HAS SOUPS 22740651 WITH SCORE 2.2822925342E7
AT ITER 1880 NEW BEST:: SOT 132939976 SOS 82275658 HAS SOPS 67043147 HAS SOUS 23359040 HAS SOUPS 22738445 WITH SCORE 2.2820720658E7
AT ITER 1887 NEW BEST:: SOT 132940990 SOS 82276737 HAS SOPS 67043055 HAS SOUS 23357285 HAS SOUPS 22736666 WITH SCORE 2.2818942737E7
AT ITER 1888 NEW BEST:: SOT 132919807 SOS 82242093 HAS SOPS 67006638 HAS SOUS 23301045 HAS SOUPS 22681597 WITH SCORE 2.2763839093E7
AT ITER 1889 NEW BEST:: SOT 132922122 SOS 82246314 HAS SOPS 67004586 HAS SOUS 23297220 HAS SOUPS 22677772 WITH SCORE 2.2760018314E7
AT ITER 1895 NEW BEST:: SOT 132909946 SOS 82234134 HAS SOPS 66992400 HAS SOUS 23281895 HAS SOUPS 22662447 WITH SCORE 2.2744681134E7
AT ITER 1904 NEW BEST:: SOT 132905924 SOS 82228775 HAS SOPS 66986327 HAS SOUS 23269755 HAS SOUPS 22650307 WITH SCORE 2.2732535775E7
AT ITER 1913 NEW BEST:: SOT 132905596 SOS 82228718 HAS SOPS 66984382 HAS SOUS 23266788 HAS SOUPS 22647340 WITH SCORE 2.2729568718E7
AT ITER 1916 NEW BEST:: SOT 132899258 SOS 82224146 HAS SOPS 66979723 HAS SOUS 23254647 HAS SOUPS 22635170 WITH SCORE 2.2717394146E7
AT ITER 1959 NEW BEST:: SOT 132899019 SOS 82223006 HAS SOPS 66979237 HAS SOUS 23254241 HAS SOUPS 22634764 WITH SCORE 2.2716987006E7
AT ITER 1984 NEW BEST:: SOT 132897245 SOS 82234927 HAS SOPS 66995038 HAS SOUS 23242948 HAS SOUPS 22623471 WITH SCORE 2.2705705927E7
AT ITER 1986 NEW BEST:: SOT 132898122 SOS 82235804 HAS SOPS 66996219 HAS SOUS 23242321 HAS SOUPS 22622444 WITH SCORE 2.2704679804E7
AT ITER 1988 NEW BEST:: SOT 132894151 SOS 82223071 HAS SOPS 66985403 HAS SOUS 23240628 HAS SOUPS 22620751 WITH SCORE 2.2702974071E7
AT ITER 1992 NEW BEST:: SOT 132880733 SOS 82202859 HAS SOPS 66969675 HAS SOUS 23229773 HAS SOUPS 22609896 WITH SCORE 2.2692098859E7
AT ITER 1994 NEW BEST:: SOT 132880998 SOS 82207949 HAS SOPS 66968207 HAS SOUS 23227898 HAS SOUPS 22608021 WITH SCORE 2.2690228949E7
AT ITER 2010 NEW BEST:: SOT 132896444 SOS 82226088 HAS SOPS 66996836 HAS SOUS 23217857 HAS SOUPS 22597980 WITH SCORE 2.2680206088E7
AT ITER 2014 NEW BEST:: SOT 132895656 SOS 82224333 HAS SOPS 66995337 HAS SOUS 23216185 HAS SOUPS 22596308 WITH SCORE 2.2678532333E7
AT ITER 2015 NEW BEST:: SOT 132892179 SOS 82220017 HAS SOPS 66991801 HAS SOUS 23212552 HAS SOUPS 22592724 WITH SCORE 2.2674944017E7
AT ITER 2018 NEW BEST:: SOT 132894384 SOS 82224089 HAS SOPS 66997496 HAS SOUS 23209855 HAS SOUPS 22590027 WITH SCORE 2.2672251089E7
AT ITER 2022 NEW BEST:: SOT 132896175 SOS 82230187 HAS SOPS 67002677 HAS SOUS 23207995 HAS SOUPS 22588167 WITH SCORE 2.2670397187E7
AT ITER 2023 NEW BEST:: SOT 132900933 SOS 82239675 HAS SOPS 67007784 HAS SOUS 23201987 HAS SOUPS 22582159 WITH SCORE 2.2664398675E7
AT ITER 2026 NEW BEST:: SOT 132986268 SOS 82405518 HAS SOPS 67177312 HAS SOUS 23184768 HAS SOUPS 22564940 WITH SCORE 2.2647345518E7
AT ITER 2035 NEW BEST:: SOT 132984255 SOS 82414976 HAS SOPS 67180419 HAS SOUS 23155526 HAS SOUPS 22535698 WITH SCORE 2.2618112976E7
AT ITER 2060 NEW BEST:: SOT 132981962 SOS 82407401 HAS SOPS 67174632 HAS SOUS 23151878 HAS SOUPS 22532050 WITH SCORE 2.2614457401E7
AT ITER 2063 NEW BEST:: SOT 132986134 SOS 82430859 HAS SOPS 67190833 HAS SOUS 23148488 HAS SOUPS 22528660 WITH SCORE 2.2611090859E7
AT ITER 2067 NEW BEST:: SOT 132987075 SOS 82432331 HAS SOPS 67192513 HAS SOUS 23147148 HAS SOUPS 22527320 WITH SCORE 2.2609752331E7
AT ITER 2078 NEW BEST:: SOT 132964499 SOS 82377071 HAS SOPS 67164991 HAS SOUS 23137847 HAS SOUPS 22518019 WITH SCORE 2.2600396071E7
AT ITER 2085 NEW BEST:: SOT 132970879 SOS 82390238 HAS SOPS 67177867 HAS SOUS 23136092 HAS SOUPS 22516356 WITH SCORE 2.2598746238E7
AT ITER 2086 NEW BEST:: SOT 132973782 SOS 82395175 HAS SOPS 67185082 HAS SOUS 23133096 HAS SOUPS 22513353 WITH SCORE 2.2595748175E7
AT ITER 2093 NEW BEST:: SOT 132982444 SOS 82422439 HAS SOPS 67214076 HAS SOUS 23123293 HAS SOUPS 22503550 WITH SCORE 2.2585972439E7
AT ITER 2099 NEW BEST:: SOT 132964590 SOS 82403956 HAS SOPS 67196222 HAS SOUS 23097141 HAS SOUPS 22477552 WITH SCORE 2.2559955956E7
AT ITER 2112 NEW BEST:: SOT 132964597 SOS 82404099 HAS SOPS 67196337 HAS SOUS 23097075 HAS SOUPS 22477486 WITH SCORE 2.2559890099E7
AT ITER 2116 NEW BEST:: SOT 132950657 SOS 82357349 HAS SOPS 67163277 HAS SOUS 23092736 HAS SOUPS 22473147 WITH SCORE 2.2555504349E7
AT ITER 2125 NEW BEST:: SOT 132951459 SOS 82369604 HAS SOPS 67169761 HAS SOUS 23082907 HAS SOUPS 22463318 WITH SCORE 2.2545687604E7
AT ITER 2127 NEW BEST:: SOT 132952805 SOS 82372940 HAS SOPS 67170729 HAS SOUS 23076004 HAS SOUPS 22457041 WITH SCORE 2.253941394E7
AT ITER 2129 NEW BEST:: SOT 132954467 SOS 82375355 HAS SOPS 67169781 HAS SOUS 23071572 HAS SOUPS 22452566 WITH SCORE 2.2534941355E7
AT ITER 2146 NEW BEST:: SOT 132946418 SOS 82364118 HAS SOPS 67157582 HAS SOUS 23059113 HAS SOUPS 22440107 WITH SCORE 2.2522471118E7
AT ITER 2152 NEW BEST:: SOT 132945670 SOS 82363950 HAS SOPS 67156041 HAS SOUS 23049626 HAS SOUPS 22430620 WITH SCORE 2.251298395E7
AT ITER 2156 NEW BEST:: SOT 132953532 SOS 82403202 HAS SOPS 67181056 HAS SOUS 23037728 HAS SOUPS 22418722 WITH SCORE 2.2501125202E7
AT ITER 2162 NEW BEST:: SOT 132898910 SOS 82298531 HAS SOPS 67112949 HAS SOUS 22969578 HAS SOUPS 22350762 WITH SCORE 2.2433060531E7
AT ITER 2175 NEW BEST:: SOT 132883114 SOS 82274001 HAS SOPS 67087540 HAS SOUS 22943909 HAS SOUPS 22325093 WITH SCORE 2.2407367001E7
AT ITER 2180 NEW BEST:: SOT 132864381 SOS 82260435 HAS SOPS 67129219 HAS SOUS 22914956 HAS SOUPS 22296960 WITH SCORE 2.2379220435E7
AT ITER 2188 NEW BEST:: SOT 132861455 SOS 82256616 HAS SOPS 67124514 HAS SOUS 22909286 HAS SOUPS 22291290 WITH SCORE 2.2373546616E7
AT ITER 2196 NEW BEST:: SOT 132861504 SOS 82260063 HAS SOPS 67130614 HAS SOUS 22908457 HAS SOUPS 22290461 WITH SCORE 2.2372721063E7
AT ITER 2199 NEW BEST:: SOT 132847166 SOS 82250650 HAS SOPS 67118636 HAS SOUS 22865158 HAS SOUPS 22247162 WITH SCORE 2.232941265E7
AT ITER 2205 NEW BEST:: SOT 132853114 SOS 82258289 HAS SOPS 67122782 HAS SOUS 22863928 HAS SOUPS 22245868 WITH SCORE 2.2328126289E7
AT ITER 2209 NEW BEST:: SOT 132853365 SOS 82261986 HAS SOPS 67122908 HAS SOUS 22857348 HAS SOUPS 22239876 WITH SCORE 2.2322137986E7
AT ITER 2213 NEW BEST:: SOT 132831697 SOS 82220776 HAS SOPS 67080214 HAS SOUS 22856612 HAS SOUPS 22239223 WITH SCORE 2.2321443776E7
AT ITER 2214 NEW BEST:: SOT 132826302 SOS 82215381 HAS SOPS 67074819 HAS SOUS 22850065 HAS SOUPS 22232676 WITH SCORE 2.2314891381E7
AT ITER 2220 NEW BEST:: SOT 132830378 SOS 82237200 HAS SOPS 67087343 HAS SOUS 22841278 HAS SOUPS 22223889 WITH SCORE 2.23061262E7
AT ITER 2225 NEW BEST:: SOT 132830318 SOS 82237086 HAS SOPS 67087253 HAS SOUS 22840990 HAS SOUPS 22223601 WITH SCORE 2.2305838086E7
AT ITER 2234 NEW BEST:: SOT 132829707 SOS 82236330 HAS SOPS 67083464 HAS SOUS 22840981 HAS SOUPS 22223592 WITH SCORE 2.230582833E7
AT ITER 2263 NEW BEST:: SOT 132839525 SOS 82267959 HAS SOPS 67110376 HAS SOUS 22837394 HAS SOUPS 22220005 WITH SCORE 2.2302272959E7
AT ITER 2264 NEW BEST:: SOT 132847144 SOS 82295700 HAS SOPS 67125407 HAS SOUS 22837098 HAS SOUPS 22219709 WITH SCORE 2.23020047E7
AT ITER 2273 NEW BEST:: SOT 132857206 SOS 82320538 HAS SOPS 67137338 HAS SOUS 22777588 HAS SOUPS 22160199 WITH SCORE 2.2242519538E7
AT ITER 2282 NEW BEST:: SOT 132847717 SOS 82317013 HAS SOPS 67122704 HAS SOUS 22740736 HAS SOUPS 22123347 WITH SCORE 2.2205664013E7

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-8"
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-8, 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-158961502400132"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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