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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 73M
-rw-r--r-- 1 mcc users 3.3K Apr 12 07:15 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 12 07:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Apr 11 08:09 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 11 08:09 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Apr 14 12:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 14 12:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Apr 10 14:06 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 10 14:06 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.0K Apr 9 20:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 9 20:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 10 22:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K 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)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589697146683

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

Filename model.pnml
Petri model created: 1446 places, 151085 transitions, 604252 arcs.
AT ITER 0 NEW BEST:: SOT 133650955 SOS 82200848 HAS SOPS 66750976 HAS SOUS 26441832 HAS SOUPS 25811141 WITH SCORE 2.5893341848E7
AT ITER 6 NEW BEST:: SOT 133665868 SOS 82257218 HAS SOPS 66802884 HAS SOUS 26438681 HAS SOUPS 25807990 WITH SCORE 2.5890247218E7
AT ITER 10 NEW BEST:: SOT 133693919 SOS 82355844 HAS SOPS 66888060 HAS SOUS 26395337 HAS SOUPS 25764646 WITH SCORE 2.5847001844E7
AT ITER 13 NEW BEST:: SOT 133710975 SOS 82376554 HAS SOPS 66918786 HAS SOUS 26386711 HAS SOUPS 25756451 WITH SCORE 2.5838827554E7
AT ITER 15 NEW BEST:: SOT 133695482 SOS 82361168 HAS SOPS 66903265 HAS SOUS 26363456 HAS SOUPS 25733196 WITH SCORE 2.5815557168E7
AT ITER 16 NEW BEST:: SOT 133708063 SOS 82422027 HAS SOPS 66979343 HAS SOUS 26307519 HAS SOUPS 25677131 WITH SCORE 2.5759553027E7
AT ITER 17 NEW BEST:: SOT 133708138 SOS 82424742 HAS SOPS 66985096 HAS SOUS 26307467 HAS SOUPS 25677079 WITH SCORE 2.5759503742E7
AT ITER 30 NEW BEST:: SOT 133698419 SOS 82406191 HAS SOPS 66972857 HAS SOUS 26300037 HAS SOUPS 25669731 WITH SCORE 2.5752137191E7
AT ITER 36 NEW BEST:: SOT 133698616 SOS 82411484 HAS SOPS 66975748 HAS SOUS 26297768 HAS SOUPS 25667462 WITH SCORE 2.5749873484E7
AT ITER 37 NEW BEST:: SOT 133757514 SOS 82552079 HAS SOPS 67097895 HAS SOUS 26294391 HAS SOUPS 25664085 WITH SCORE 2.5746637079E7
AT ITER 39 NEW BEST:: SOT 133754359 SOS 82548924 HAS SOPS 67094740 HAS SOUS 26291236 HAS SOUPS 25660930 WITH SCORE 2.5743478924E7
AT ITER 44 NEW BEST:: SOT 133819764 SOS 82732470 HAS SOPS 67324402 HAS SOUS 26286633 HAS SOUPS 25656327 WITH SCORE 2.573905947E7
AT ITER 70 NEW BEST:: SOT 133817838 SOS 82728788 HAS SOPS 67321312 HAS SOUS 26284771 HAS SOUPS 25654465 WITH SCORE 2.5737193788E7
AT ITER 81 NEW BEST:: SOT 133814360 SOS 82721110 HAS SOPS 67314404 HAS SOUS 26281738 HAS SOUPS 25651432 WITH SCORE 2.573415311E7
AT ITER 91 NEW BEST:: SOT 133790255 SOS 82684545 HAS SOPS 67294984 HAS SOUS 26256958 HAS SOUPS 25626891 WITH SCORE 2.5709575545E7
AT ITER 95 NEW BEST:: SOT 133789794 SOS 82678147 HAS SOPS 67305217 HAS SOUS 26256329 HAS SOUPS 25626262 WITH SCORE 2.5708940147E7
AT ITER 96 NEW BEST:: SOT 133810510 SOS 82752901 HAS SOPS 67426093 HAS SOUS 26252292 HAS SOUPS 25622225 WITH SCORE 2.5704977901E7
AT ITER 112 NEW BEST:: SOT 133852216 SOS 82862699 HAS SOPS 67513450 HAS SOUS 26244862 HAS SOUPS 25614795 WITH SCORE 2.5697657699E7
AT ITER 113 NEW BEST:: SOT 133847375 SOS 82880026 HAS SOPS 67520202 HAS SOUS 26212763 HAS SOUPS 25582696 WITH SCORE 2.5665576026E7
AT ITER 116 NEW BEST:: SOT 133843063 SOS 82875714 HAS SOPS 67515858 HAS SOUS 26208451 HAS SOUPS 25578352 WITH SCORE 2.5661227714E7
AT ITER 117 NEW BEST:: SOT 133841091 SOS 82873095 HAS SOPS 67514459 HAS SOUS 26205311 HAS SOUPS 25575212 WITH SCORE 2.5658085095E7
AT ITER 145 NEW BEST:: SOT 133812105 SOS 82836053 HAS SOPS 67480776 HAS SOUS 26169515 HAS SOUPS 25539609 WITH SCORE 2.5622445053E7
AT ITER 147 NEW BEST:: SOT 133812103 SOS 82832751 HAS SOPS 67486271 HAS SOUS 26167758 HAS SOUPS 25537852 WITH SCORE 2.5620684751E7
AT ITER 149 NEW BEST:: SOT 133807319 SOS 82825864 HAS SOPS 67483773 HAS SOUS 26156113 HAS SOUPS 25526207 WITH SCORE 2.5609032864E7
AT ITER 151 NEW BEST:: SOT 133795605 SOS 82796139 HAS SOPS 67471089 HAS SOUS 26155711 HAS SOUPS 25525805 WITH SCORE 2.5608601139E7
AT ITER 154 NEW BEST:: SOT 133791332 SOS 82791262 HAS SOPS 67468560 HAS SOUS 26139620 HAS SOUPS 25509902 WITH SCORE 2.5592693262E7
AT ITER 159 NEW BEST:: SOT 133791138 SOS 82790929 HAS SOPS 67468227 HAS SOUS 26139352 HAS SOUPS 25509634 WITH SCORE 2.5592424929E7
AT ITER 188 NEW BEST:: SOT 133792039 SOS 82801482 HAS SOPS 67482299 HAS SOUS 26138483 HAS SOUPS 25508765 WITH SCORE 2.5591566482E7
AT ITER 192 NEW BEST:: SOT 133787968 SOS 82795738 HAS SOPS 67479036 HAS SOUS 26133428 HAS SOUPS 25503710 WITH SCORE 2.5586505738E7
AT ITER 195 NEW BEST:: SOT 133776990 SOS 82786805 HAS SOPS 67504213 HAS SOUS 26055799 HAS SOUPS 25427313 WITH SCORE 2.5510099805E7
AT ITER 198 NEW BEST:: SOT 133755295 SOS 82724436 HAS SOPS 67461436 HAS SOUS 26038678 HAS SOUPS 25410192 WITH SCORE 2.5492916436E7
AT ITER 204 NEW BEST:: SOT 133745310 SOS 82707563 HAS SOPS 67447006 HAS SOUS 26020313 HAS SOUPS 25391827 WITH SCORE 2.5474534563E7
AT ITER 205 NEW BEST:: SOT 133758814 SOS 82735173 HAS SOPS 67491592 HAS SOUS 26008059 HAS SOUPS 25379741 WITH SCORE 2.5462476173E7
AT ITER 211 NEW BEST:: SOT 133773290 SOS 82810278 HAS SOPS 67578069 HAS SOUS 25984934 HAS SOUPS 25356616 WITH SCORE 2.5439426278E7
AT ITER 218 NEW BEST:: SOT 133777574 SOS 82820045 HAS SOPS 67575779 HAS SOUS 25962514 HAS SOUPS 25334196 WITH SCORE 2.5417016045E7
AT ITER 226 NEW BEST:: SOT 133778487 SOS 82826768 HAS SOPS 67580144 HAS SOUS 25959625 HAS SOUPS 25331307 WITH SCORE 2.5414133768E7
AT ITER 227 NEW BEST:: SOT 133778325 SOS 82826490 HAS SOPS 67579914 HAS SOUS 25959183 HAS SOUPS 25330865 WITH SCORE 2.541369149E7
AT ITER 230 NEW BEST:: SOT 133780288 SOS 82832875 HAS SOPS 67585919 HAS SOUS 25956983 HAS SOUPS 25328665 WITH SCORE 2.5411497875E7
AT ITER 236 NEW BEST:: SOT 133784412 SOS 82862303 HAS SOPS 67609973 HAS SOUS 25942264 HAS SOUPS 25313946 WITH SCORE 2.5396808303E7
AT ITER 244 NEW BEST:: SOT 133787912 SOS 82862587 HAS SOPS 67628824 HAS SOUS 25925071 HAS SOUPS 25297299 WITH SCORE 2.5380161587E7
AT ITER 248 NEW BEST:: SOT 133787824 SOS 82862611 HAS SOPS 67628726 HAS SOUS 25924803 HAS SOUPS 25297031 WITH SCORE 2.5379893611E7
AT ITER 252 NEW BEST:: SOT 133785573 SOS 82857501 HAS SOPS 67627730 HAS SOUS 25923640 HAS SOUPS 25295868 WITH SCORE 2.5378725501E7
AT ITER 253 NEW BEST:: SOT 133794159 SOS 82882087 HAS SOPS 67643485 HAS SOUS 25918307 HAS SOUPS 25290535 WITH SCORE 2.5373417087E7
AT ITER 258 NEW BEST:: SOT 133794732 SOS 82883818 HAS SOPS 67645261 HAS SOUS 25916578 HAS SOUPS 25288806 WITH SCORE 2.5371689818E7
AT ITER 259 NEW BEST:: SOT 133794297 SOS 82882716 HAS SOPS 67644176 HAS SOUS 25915780 HAS SOUPS 25288008 WITH SCORE 2.5370890716E7
AT ITER 269 NEW BEST:: SOT 133774661 SOS 82863080 HAS SOPS 67624540 HAS SOUS 25890032 HAS SOUPS 25262260 WITH SCORE 2.534512308E7
AT ITER 277 NEW BEST:: SOT 133773526 SOS 82870512 HAS SOPS 67634602 HAS SOUS 25862349 HAS SOUPS 25234577 WITH SCORE 2.5317447512E7
AT ITER 284 NEW BEST:: SOT 133773515 SOS 82870501 HAS SOPS 67634415 HAS SOUS 25862349 HAS SOUPS 25234577 WITH SCORE 2.5317447501E7
AT ITER 292 NEW BEST:: SOT 133780902 SOS 82911689 HAS SOPS 67675328 HAS SOUS 25852373 HAS SOUPS 25224601 WITH SCORE 2.5307512689E7
AT ITER 311 NEW BEST:: SOT 133859727 SOS 83104700 HAS SOPS 67818660 HAS SOUS 25822361 HAS SOUPS 25194589 WITH SCORE 2.52776937E7
AT ITER 313 NEW BEST:: SOT 133839570 SOS 83055729 HAS SOPS 67790650 HAS SOUS 25816530 HAS SOUPS 25188758 WITH SCORE 2.5271813729E7
AT ITER 323 NEW BEST:: SOT 133840092 SOS 83056211 HAS SOPS 67792372 HAS SOUS 25816450 HAS SOUPS 25188678 WITH SCORE 2.5271734211E7
AT ITER 324 NEW BEST:: SOT 133822633 SOS 83011693 HAS SOPS 67758742 HAS SOUS 25811396 HAS SOUPS 25183903 WITH SCORE 2.5266914693E7
AT ITER 334 NEW BEST:: SOT 133818922 SOS 83003984 HAS SOPS 67750232 HAS SOUS 25803904 HAS SOUPS 25176411 WITH SCORE 2.5259414984E7
AT ITER 335 NEW BEST:: SOT 133819843 SOS 83004670 HAS SOPS 67752395 HAS SOUS 25800457 HAS SOUPS 25172914 WITH SCORE 2.525591867E7
AT ITER 344 NEW BEST:: SOT 133821240 SOS 83022997 HAS SOPS 67774116 HAS SOUS 25800360 HAS SOUPS 25172817 WITH SCORE 2.5255839997E7
AT ITER 348 NEW BEST:: SOT 133815934 SOS 83004721 HAS SOPS 67784206 HAS SOUS 25772608 HAS SOUPS 25145392 WITH SCORE 2.5228396721E7
AT ITER 353 NEW BEST:: SOT 133817231 SOS 83006187 HAS SOPS 67787751 HAS SOUS 25772180 HAS SOUPS 25144992 WITH SCORE 2.5227998187E7
AT ITER 355 NEW BEST:: SOT 133814380 SOS 82993437 HAS SOPS 67790330 HAS SOUS 25769251 HAS SOUPS 25142063 WITH SCORE 2.5225056437E7
AT ITER 356 NEW BEST:: SOT 133725610 SOS 82867729 HAS SOPS 67707776 HAS SOUS 25666219 HAS SOUPS 25039427 WITH SCORE 2.5122294729E7
AT ITER 357 NEW BEST:: SOT 133697188 SOS 82829388 HAS SOPS 67673648 HAS SOUS 25645263 HAS SOUPS 25018701 WITH SCORE 2.5101530388E7
AT ITER 370 NEW BEST:: SOT 133696196 SOS 82829064 HAS SOPS 67673315 HAS SOUS 25640833 HAS SOUPS 25014271 WITH SCORE 2.5097100064E7
AT ITER 372 NEW BEST:: SOT 133694524 SOS 82821815 HAS SOPS 67663678 HAS SOUS 25637704 HAS SOUPS 25011142 WITH SCORE 2.5093963815E7
AT ITER 390 NEW BEST:: SOT 133681262 SOS 82800543 HAS SOPS 67646939 HAS SOUS 25624388 HAS SOUPS 24997856 WITH SCORE 2.5080656543E7
AT ITER 436 NEW BEST:: SOT 133687730 SOS 82832279 HAS SOPS 67678817 HAS SOUS 25592500 HAS SOUPS 24965968 WITH SCORE 2.5048800279E7
AT ITER 438 NEW BEST:: SOT 133690816 SOS 82841266 HAS SOPS 67686759 HAS SOUS 25590976 HAS SOUPS 24964444 WITH SCORE 2.5047285266E7
AT ITER 441 NEW BEST:: SOT 133687998 SOS 82832592 HAS SOPS 67679196 HAS SOUS 25587296 HAS SOUPS 24960764 WITH SCORE 2.5043596592E7
AT ITER 451 NEW BEST:: SOT 133691787 SOS 82840885 HAS SOPS 67696015 HAS SOUS 25584209 HAS SOUPS 24957677 WITH SCORE 2.5040517885E7
AT ITER 470 NEW BEST:: SOT 133650919 SOS 82799692 HAS SOPS 67652239 HAS SOUS 25525710 HAS SOUPS 24899178 WITH SCORE 2.4981977692E7
AT ITER 475 NEW BEST:: SOT 133642451 SOS 82789011 HAS SOPS 67647763 HAS SOUS 25520993 HAS SOUPS 24894601 WITH SCORE 2.4977390011E7
AT ITER 477 NEW BEST:: SOT 133634157 SOS 82772836 HAS SOPS 67628348 HAS SOUS 25519330 HAS SOUPS 24892938 WITH SCORE 2.4975710836E7
AT ITER 481 NEW BEST:: SOT 133616650 SOS 82746246 HAS SOPS 67618619 HAS SOUS 25495010 HAS SOUPS 24868789 WITH SCORE 2.4951535246E7
AT ITER 508 NEW BEST:: SOT 133596405 SOS 82700754 HAS SOPS 67580471 HAS SOUS 25486205 HAS SOUPS 24859984 WITH SCORE 2.4942684754E7
AT ITER 527 NEW BEST:: SOT 133582768 SOS 82662233 HAS SOPS 67552824 HAS SOUS 25479113 HAS SOUPS 24852892 WITH SCORE 2.4935554233E7
AT ITER 528 NEW BEST:: SOT 133584288 SOS 82667633 HAS SOPS 67555340 HAS SOUS 25477230 HAS SOUPS 24851009 WITH SCORE 2.4933676633E7
AT ITER 530 NEW BEST:: SOT 133598471 SOS 82692768 HAS SOPS 67567466 HAS SOUS 25423820 HAS SOUPS 24801378 WITH SCORE 2.4884070768E7
AT ITER 561 NEW BEST:: SOT 133596217 SOS 82690434 HAS SOPS 67561730 HAS SOUS 25422430 HAS SOUPS 24799988 WITH SCORE 2.4882678434E7
AT ITER 567 NEW BEST:: SOT 133595658 SOS 82689696 HAS SOPS 67565468 HAS SOUS 25413750 HAS SOUPS 24791308 WITH SCORE 2.4873997696E7
AT ITER 574 NEW BEST:: SOT 133595654 SOS 82689904 HAS SOPS 67565520 HAS SOUS 25413669 HAS SOUPS 24791227 WITH SCORE 2.4873916904E7
AT ITER 588 NEW BEST:: SOT 133590355 SOS 82682237 HAS SOPS 67565182 HAS SOUS 25403191 HAS SOUPS 24780749 WITH SCORE 2.4863431237E7
AT ITER 605 NEW BEST:: SOT 133590345 SOS 82680082 HAS SOPS 67561776 HAS SOUS 25398477 HAS SOUPS 24776140 WITH SCORE 2.4858820082E7
AT ITER 608 NEW BEST:: SOT 133544598 SOS 82589478 HAS SOPS 67506678 HAS SOUS 25381082 HAS SOUPS 24760016 WITH SCORE 2.4842605478E7
AT ITER 613 NEW BEST:: SOT 133546087 SOS 82592672 HAS SOPS 67510980 HAS SOUS 25373848 HAS SOUPS 24752782 WITH SCORE 2.4835374672E7
AT ITER 614 NEW BEST:: SOT 133546021 SOS 82592498 HAS SOPS 67510825 HAS SOUS 25373748 HAS SOUPS 24752682 WITH SCORE 2.4835274498E7
AT ITER 627 NEW BEST:: SOT 133546384 SOS 82592533 HAS SOPS 67508235 HAS SOUS 25373475 HAS SOUPS 24752332 WITH SCORE 2.4834924533E7
AT ITER 632 NEW BEST:: SOT 133542522 SOS 82571735 HAS SOPS 67504973 HAS SOUS 25372446 HAS SOUPS 24751303 WITH SCORE 2.4833874735E7
AT ITER 633 NEW BEST:: SOT 133540422 SOS 82569630 HAS SOPS 67502383 HAS SOUS 25367694 HAS SOUPS 24746551 WITH SCORE 2.482912063E7
AT ITER 646 NEW BEST:: SOT 133535861 SOS 82572151 HAS SOPS 67514124 HAS SOUS 25354315 HAS SOUPS 24733172 WITH SCORE 2.4815744151E7
AT ITER 650 NEW BEST:: SOT 133546402 SOS 82621953 HAS SOPS 67582183 HAS SOUS 25350867 HAS SOUPS 24729724 WITH SCORE 2.4812345953E7
AT ITER 653 NEW BEST:: SOT 133520745 SOS 82577660 HAS SOPS 67556032 HAS SOUS 25334693 HAS SOUPS 24713550 WITH SCORE 2.479612766E7
AT ITER 654 NEW BEST:: SOT 133522217 SOS 82581082 HAS SOPS 67559278 HAS SOUS 25334554 HAS SOUPS 24713411 WITH SCORE 2.4795992082E7
AT ITER 655 NEW BEST:: SOT 133523007 SOS 82582017 HAS SOPS 67558079 HAS SOUS 25334395 HAS SOUPS 24713175 WITH SCORE 2.4795757017E7
AT ITER 656 NEW BEST:: SOT 133521656 SOS 82579410 HAS SOPS 67554142 HAS SOUS 25330119 HAS SOUPS 24708899 WITH SCORE 2.479147841E7
AT ITER 657 NEW BEST:: SOT 133518587 SOS 82569501 HAS SOPS 67545632 HAS SOUS 25328151 HAS SOUPS 24706931 WITH SCORE 2.4789500501E7
AT ITER 681 NEW BEST:: SOT 133515688 SOS 82565378 HAS SOPS 67544251 HAS SOUS 25323761 HAS SOUPS 24702594 WITH SCORE 2.4785159378E7
AT ITER 688 NEW BEST:: SOT 133477671 SOS 82452709 HAS SOPS 67486095 HAS SOUS 25321456 HAS SOUPS 24698343 WITH SCORE 2.4780795709E7
AT ITER 697 NEW BEST:: SOT 133447811 SOS 82402250 HAS SOPS 67442610 HAS SOUS 25280906 HAS SOUPS 24657953 WITH SCORE 2.474035525E7
AT ITER 706 NEW BEST:: SOT 133477338 SOS 82445660 HAS SOPS 67485397 HAS SOUS 25274059 HAS SOUPS 24651451 WITH SCORE 2.473389666E7
AT ITER 709 NEW BEST:: SOT 133460745 SOS 82429798 HAS SOPS 67462724 HAS SOUS 25226077 HAS SOUPS 24603339 WITH SCORE 2.4685768798E7
AT ITER 733 NEW BEST:: SOT 133460745 SOS 82429705 HAS SOPS 67462550 HAS SOUS 25226042 HAS SOUPS 24603304 WITH SCORE 2.4685733705E7
AT ITER 736 NEW BEST:: SOT 133462863 SOS 82430849 HAS SOPS 67465201 HAS SOUS 25221872 HAS SOUPS 24599734 WITH SCORE 2.4682164849E7
AT ITER 750 NEW BEST:: SOT 133565227 SOS 82656250 HAS SOPS 67671444 HAS SOUS 25210990 HAS SOUPS 24588636 WITH SCORE 2.467129225E7
AT ITER 761 NEW BEST:: SOT 133561208 SOS 82661521 HAS SOPS 67678063 HAS SOUS 25203993 HAS SOUPS 24581639 WITH SCORE 2.4664300521E7
AT ITER 768 NEW BEST:: SOT 133551763 SOS 82648186 HAS SOPS 67663633 HAS SOUS 25191871 HAS SOUPS 24569517 WITH SCORE 2.4652165186E7
AT ITER 773 NEW BEST:: SOT 133553943 SOS 82635749 HAS SOPS 67668781 HAS SOUS 25184771 HAS SOUPS 24568866 WITH SCORE 2.4651501749E7
AT ITER 783 NEW BEST:: SOT 133551732 SOS 82631991 HAS SOPS 67664875 HAS SOUS 25182225 HAS SOUPS 24566339 WITH SCORE 2.4648970991E7
AT ITER 789 NEW BEST:: SOT 133621324 SOS 82835554 HAS SOPS 67838535 HAS SOUS 25171572 HAS SOUPS 24555620 WITH SCORE 2.4638455554E7
AT ITER 800 NEW BEST:: SOT 133614705 SOS 82814733 HAS SOPS 67816703 HAS SOUS 25166727 HAS SOUPS 24550961 WITH SCORE 2.4633775733E7
AT ITER 811 NEW BEST:: SOT 133614849 SOS 82830958 HAS SOPS 67832879 HAS SOUS 25153236 HAS SOUPS 24537470 WITH SCORE 2.4620300958E7
AT ITER 821 NEW BEST:: SOT 133607995 SOS 82820805 HAS SOPS 67825384 HAS SOUS 25147629 HAS SOUPS 24531863 WITH SCORE 2.4614683805E7
AT ITER 822 NEW BEST:: SOT 133617091 SOS 82838992 HAS SOPS 67834324 HAS SOUS 25139244 HAS SOUPS 24523332 WITH SCORE 2.4606170992E7
AT ITER 828 NEW BEST:: SOT 133615355 SOS 82835102 HAS SOPS 67831718 HAS SOUS 25133663 HAS SOUPS 24517751 WITH SCORE 2.4600586102E7
AT ITER 831 NEW BEST:: SOT 133625990 SOS 82865871 HAS SOPS 67850052 HAS SOUS 25132913 HAS SOUPS 24517001 WITH SCORE 2.4599866871E7
AT ITER 835 NEW BEST:: SOT 133626071 SOS 82865952 HAS SOPS 67850133 HAS SOUS 25131970 HAS SOUPS 24516058 WITH SCORE 2.4598923952E7
AT ITER 837 NEW BEST:: SOT 133617046 SOS 82858562 HAS SOPS 67843519 HAS SOUS 25104696 HAS SOUPS 24488784 WITH SCORE 2.4571642562E7
AT ITER 845 NEW BEST:: SOT 133597259 SOS 82823820 HAS SOPS 67814288 HAS SOUS 25088605 HAS SOUPS 24472693 WITH SCORE 2.455551682E7
AT ITER 850 NEW BEST:: SOT 133544660 SOS 82770441 HAS SOPS 67756941 HAS SOUS 25022081 HAS SOUPS 24406169 WITH SCORE 2.4488939441E7
AT ITER 858 NEW BEST:: SOT 133544516 SOS 82776998 HAS SOPS 67759581 HAS SOUS 25009605 HAS SOUPS 24393693 WITH SCORE 2.4476469998E7
AT ITER 860 NEW BEST:: SOT 133542960 SOS 82778610 HAS SOPS 67759941 HAS SOUS 25003056 HAS SOUPS 24387144 WITH SCORE 2.446992261E7
AT ITER 874 NEW BEST:: SOT 133536829 SOS 82771637 HAS SOPS 67752947 HAS SOUS 24995203 HAS SOUPS 24379291 WITH SCORE 2.4462062637E7
AT ITER 881 NEW BEST:: SOT 133518116 SOS 82735774 HAS SOPS 67726459 HAS SOUS 24944110 HAS SOUPS 24328198 WITH SCORE 2.4410933774E7
AT ITER 892 NEW BEST:: SOT 133505793 SOS 82708158 HAS SOPS 67693002 HAS SOUS 24925658 HAS SOUPS 24309746 WITH SCORE 2.4392454158E7
AT ITER 898 NEW BEST:: SOT 133506428 SOS 82717655 HAS SOPS 67704552 HAS SOUS 24913550 HAS SOUPS 24298266 WITH SCORE 2.4380983655E7
AT ITER 912 NEW BEST:: SOT 133484366 SOS 82705933 HAS SOPS 67691079 HAS SOUS 24843049 HAS SOUPS 24227737 WITH SCORE 2.4310442933E7
AT ITER 913 NEW BEST:: SOT 133464409 SOS 82685165 HAS SOPS 67665792 HAS SOUS 24811165 HAS SOUPS 24195920 WITH SCORE 2.4278605165E7
AT ITER 923 NEW BEST:: SOT 133464032 SOS 82684910 HAS SOPS 67670045 HAS SOUS 24798644 HAS SOUPS 24183776 WITH SCORE 2.426646091E7
AT ITER 928 NEW BEST:: SOT 133463224 SOS 82683956 HAS SOPS 67669119 HAS SOUS 24797502 HAS SOUPS 24182634 WITH SCORE 2.4265317956E7
AT ITER 932 NEW BEST:: SOT 133401499 SOS 82556324 HAS SOPS 67572615 HAS SOUS 24731433 HAS SOUPS 24117337 WITH SCORE 2.4199893324E7
AT ITER 936 NEW BEST:: SOT 133430321 SOS 82639919 HAS SOPS 67660809 HAS SOUS 24721085 HAS SOUPS 24106989 WITH SCORE 2.4189628919E7
AT ITER 946 NEW BEST:: SOT 133427075 SOS 82636672 HAS SOPS 67657562 HAS SOUS 24717838 HAS SOUPS 24103742 WITH SCORE 2.4186378672E7
AT ITER 948 NEW BEST:: SOT 133431862 SOS 82649896 HAS SOPS 67663477 HAS SOUS 24711918 HAS SOUPS 24097822 WITH SCORE 2.4180471896E7
AT ITER 958 NEW BEST:: SOT 133406679 SOS 82612261 HAS SOPS 67629868 HAS SOUS 24684445 HAS SOUPS 24070349 WITH SCORE 2.4152961261E7
AT ITER 960 NEW BEST:: SOT 133395071 SOS 82598059 HAS SOPS 67615592 HAS SOUS 24671668 HAS SOUPS 24057629 WITH SCORE 2.4140227059E7
AT ITER 969 NEW BEST:: SOT 133396381 SOS 82603890 HAS SOPS 67614534 HAS SOUS 24662192 HAS SOUPS 24048051 WITH SCORE 2.413065489E7
AT ITER 981 NEW BEST:: SOT 133391150 SOS 82592683 HAS SOPS 67603207 HAS SOUS 24653838 HAS SOUPS 24039697 WITH SCORE 2.4122289683E7
AT ITER 1003 NEW BEST:: SOT 133378790 SOS 82580323 HAS SOPS 67590847 HAS SOUS 24636966 HAS SOUPS 24022825 WITH SCORE 2.4105405323E7
AT ITER 1005 NEW BEST:: SOT 133362797 SOS 82556008 HAS SOPS 67577315 HAS SOUS 24610783 HAS SOUPS 23996642 WITH SCORE 2.4079198008E7
AT ITER 1009 NEW BEST:: SOT 133359616 SOS 82554422 HAS SOPS 67571867 HAS SOUS 24599948 HAS SOUPS 23985807 WITH SCORE 2.4068361422E7
AT ITER 1012 NEW BEST:: SOT 133371904 SOS 82588057 HAS SOPS 67599516 HAS SOUS 24599235 HAS SOUPS 23985094 WITH SCORE 2.4067682057E7
AT ITER 1016 NEW BEST:: SOT 133361987 SOS 82575557 HAS SOPS 67588015 HAS SOUS 24580280 HAS SOUPS 23966139 WITH SCORE 2.4048714557E7
AT ITER 1030 NEW BEST:: SOT 133366446 SOS 82587958 HAS SOPS 67599877 HAS SOUS 24579855 HAS SOUPS 23965714 WITH SCORE 2.4048301958E7
AT ITER 1040 NEW BEST:: SOT 133351245 SOS 82526299 HAS SOPS 67547256 HAS SOUS 24557028 HAS SOUPS 23943582 WITH SCORE 2.4026108299E7
AT ITER 1052 NEW BEST:: SOT 133350857 SOS 82526401 HAS SOPS 67547500 HAS SOUS 24556304 HAS SOUPS 23942858 WITH SCORE 2.4025384401E7
AT ITER 1053 NEW BEST:: SOT 133348519 SOS 82523964 HAS SOPS 67545695 HAS SOUS 24553929 HAS SOUPS 23940483 WITH SCORE 2.4023006964E7
AT ITER 1057 NEW BEST:: SOT 133351665 SOS 82526666 HAS SOPS 67534587 HAS SOUS 24545782 HAS SOUPS 23932456 WITH SCORE 2.4014982666E7
AT ITER 1060 NEW BEST:: SOT 133351551 SOS 82526564 HAS SOPS 67534505 HAS SOUS 24545572 HAS SOUPS 23932246 WITH SCORE 2.4014772564E7
AT ITER 1063 NEW BEST:: SOT 133366379 SOS 82514931 HAS SOPS 67581933 HAS SOUS 24536564 HAS SOUPS 23926540 WITH SCORE 2.4009054931E7
AT ITER 1098 NEW BEST:: SOT 133366729 SOS 82515396 HAS SOPS 67582333 HAS SOUS 24535347 HAS SOUPS 23925322 WITH SCORE 2.4007837396E7
AT ITER 1103 NEW BEST:: SOT 133362414 SOS 82506944 HAS SOPS 67578465 HAS SOUS 24535261 HAS SOUPS 23925236 WITH SCORE 2.4007742944E7
AT ITER 1121 NEW BEST:: SOT 133441722 SOS 82638457 HAS SOPS 67715274 HAS SOUS 24522955 HAS SOUPS 23912682 WITH SCORE 2.3995320457E7
AT ITER 1122 NEW BEST:: SOT 133442302 SOS 82638326 HAS SOPS 67714817 HAS SOUS 24513128 HAS SOUPS 23903027 WITH SCORE 2.3985665326E7
AT ITER 1150 NEW BEST:: SOT 133417035 SOS 82557522 HAS SOPS 67661978 HAS SOUS 24492031 HAS SOUPS 23881930 WITH SCORE 2.3964487522E7
AT ITER 1156 NEW BEST:: SOT 133416973 SOS 82557498 HAS SOPS 67661828 HAS SOUS 24491837 HAS SOUPS 23881736 WITH SCORE 2.3964293498E7
AT ITER 1179 NEW BEST:: SOT 133416911 SOS 82557432 HAS SOPS 67661755 HAS SOUS 24491700 HAS SOUPS 23881599 WITH SCORE 2.3964156432E7
AT ITER 1181 NEW BEST:: SOT 133416641 SOS 82557282 HAS SOPS 67661509 HAS SOUS 24491496 HAS SOUPS 23881401 WITH SCORE 2.3963958282E7
AT ITER 1193 NEW BEST:: SOT 133440407 SOS 82599883 HAS SOPS 67699341 HAS SOUS 24488188 HAS SOUPS 23878214 WITH SCORE 2.3960813883E7
AT ITER 1204 NEW BEST:: SOT 133425534 SOS 82576082 HAS SOPS 67678012 HAS SOUS 24469084 HAS SOUPS 23859110 WITH SCORE 2.3941686082E7
AT ITER 1212 NEW BEST:: SOT 133414532 SOS 82548685 HAS SOPS 67659598 HAS SOUS 24459334 HAS SOUPS 23849360 WITH SCORE 2.3931908685E7
AT ITER 1214 NEW BEST:: SOT 133412530 SOS 82547931 HAS SOPS 67659635 HAS SOUS 24454190 HAS SOUPS 23844216 WITH SCORE 2.3926763931E7
AT ITER 1216 NEW BEST:: SOT 133417331 SOS 82557226 HAS SOPS 67678034 HAS SOUS 24437201 HAS SOUPS 23827230 WITH SCORE 2.3909787226E7
AT ITER 1221 NEW BEST:: SOT 133428439 SOS 82562990 HAS SOPS 67744149 HAS SOUS 24434432 HAS SOUPS 23825067 WITH SCORE 2.390762999E7
AT ITER 1228 NEW BEST:: SOT 133450542 SOS 82631739 HAS SOPS 67808305 HAS SOUS 24433653 HAS SOUPS 23824288 WITH SCORE 2.3906919739E7
AT ITER 1233 NEW BEST:: SOT 133448980 SOS 82636748 HAS SOPS 67814621 HAS SOUS 24423847 HAS SOUPS 23814482 WITH SCORE 2.3897118748E7
AT ITER 1234 NEW BEST:: SOT 133447033 SOS 82633757 HAS SOPS 67811683 HAS SOUS 24420766 HAS SOUPS 23811415 WITH SCORE 2.3894048757E7
AT ITER 1255 NEW BEST:: SOT 133447959 SOS 82634137 HAS SOPS 67811127 HAS SOUS 24419888 HAS SOUPS 23810615 WITH SCORE 2.3893249137E7
AT ITER 1257 NEW BEST:: SOT 133424204 SOS 82562020 HAS SOPS 67762570 HAS SOUS 24412992 HAS SOUPS 23803734 WITH SCORE 2.388629602E7
AT ITER 1260 NEW BEST:: SOT 133414554 SOS 82546917 HAS SOPS 67746651 HAS SOUS 24392691 HAS SOUPS 23783433 WITH SCORE 2.3865979917E7
AT ITER 1270 NEW BEST:: SOT 133508376 SOS 82798584 HAS SOPS 68013107 HAS SOUS 24390307 HAS SOUPS 23780966 WITH SCORE 2.3863764584E7
AT ITER 1277 NEW BEST:: SOT 133485078 SOS 82769350 HAS SOPS 67990581 HAS SOUS 24346556 HAS SOUPS 23737215 WITH SCORE 2.381998435E7
AT ITER 1284 NEW BEST:: SOT 133490972 SOS 82804886 HAS SOPS 68024063 HAS SOUS 24344132 HAS SOUPS 23734791 WITH SCORE 2.3817595886E7
AT ITER 1288 NEW BEST:: SOT 133500649 SOS 82827096 HAS SOPS 68038926 HAS SOUS 24342075 HAS SOUPS 23732734 WITH SCORE 2.3815561096E7
AT ITER 1294 NEW BEST:: SOT 133499579 SOS 82826522 HAS SOPS 68037445 HAS SOUS 24340392 HAS SOUPS 23731051 WITH SCORE 2.3813877522E7
AT ITER 1299 NEW BEST:: SOT 133499561 SOS 82826326 HAS SOPS 68037027 HAS SOUS 24340276 HAS SOUPS 23730935 WITH SCORE 2.3813761326E7
AT ITER 1301 NEW BEST:: SOT 133491448 SOS 82804499 HAS SOPS 68021996 HAS SOUS 24320031 HAS SOUPS 23710690 WITH SCORE 2.3793494499E7
AT ITER 1305 NEW BEST:: SOT 133496781 SOS 82839865 HAS SOPS 68061461 HAS SOUS 24297517 HAS SOUPS 23683495 WITH SCORE 2.3766334865E7
AT ITER 1315 NEW BEST:: SOT 133507804 SOS 82869764 HAS SOPS 68096881 HAS SOUS 24294393 HAS SOUPS 23680371 WITH SCORE 2.3763240764E7
AT ITER 1321 NEW BEST:: SOT 133406793 SOS 82727664 HAS SOPS 67965512 HAS SOUS 24236310 HAS SOUPS 23622416 WITH SCORE 2.3705143664E7
AT ITER 1324 NEW BEST:: SOT 133374891 SOS 82674459 HAS SOPS 67920874 HAS SOUS 24200217 HAS SOUPS 23586323 WITH SCORE 2.3668997459E7
AT ITER 1339 NEW BEST:: SOT 133368933 SOS 82666125 HAS SOPS 67913695 HAS SOUS 24166184 HAS SOUPS 23552785 WITH SCORE 2.3635451125E7
AT ITER 1340 NEW BEST:: SOT 133347446 SOS 82645989 HAS SOPS 67886688 HAS SOUS 24135885 HAS SOUPS 23522465 WITH SCORE 2.3605110989E7
AT ITER 1350 NEW BEST:: SOT 133317837 SOS 82583066 HAS SOPS 67828167 HAS SOUS 24119213 HAS SOUPS 23505793 WITH SCORE 2.3588376066E7
AT ITER 1351 NEW BEST:: SOT 133290761 SOS 82535089 HAS SOPS 67784375 HAS SOUS 24084797 HAS SOUPS 23471430 WITH SCORE 2.3553965089E7
AT ITER 1358 NEW BEST:: SOT 133295678 SOS 82540895 HAS SOPS 67783207 HAS SOUS 24074812 HAS SOUPS 23461445 WITH SCORE 2.3543985895E7
AT ITER 1373 NEW BEST:: SOT 133286596 SOS 82524937 HAS SOPS 67771565 HAS SOUS 24069011 HAS SOUPS 23455644 WITH SCORE 2.3538168937E7
AT ITER 1380 NEW BEST:: SOT 133275902 SOS 82512648 HAS SOPS 67760279 HAS SOUS 24047919 HAS SOUPS 23435560 WITH SCORE 2.3518072648E7
AT ITER 1382 NEW BEST:: SOT 133279810 SOS 82511722 HAS SOPS 67761015 HAS SOUS 24047553 HAS SOUPS 23435194 WITH SCORE 2.3517705722E7
AT ITER 1384 NEW BEST:: SOT 133269341 SOS 82485132 HAS SOPS 67745000 HAS SOUS 24039665 HAS SOUPS 23427306 WITH SCORE 2.3509791132E7
AT ITER 1407 NEW BEST:: SOT 133232697 SOS 82448441 HAS SOPS 67708309 HAS SOUS 23999089 HAS SOUPS 23386730 WITH SCORE 2.3469178441E7
AT ITER 1410 NEW BEST:: SOT 133200356 SOS 82407926 HAS SOPS 67687284 HAS SOUS 23917649 HAS SOUPS 23310140 WITH SCORE 2.3392547926E7
AT ITER 1425 NEW BEST:: SOT 133200088 SOS 82407612 HAS SOPS 67686900 HAS SOUS 23917043 HAS SOUPS 23309536 WITH SCORE 2.3391943612E7
AT ITER 1428 NEW BEST:: SOT 133197546 SOS 82405033 HAS SOPS 67684358 HAS SOUS 23913388 HAS SOUPS 23305881 WITH SCORE 2.3388286033E7
AT ITER 1460 NEW BEST:: SOT 133199652 SOS 82418408 HAS SOPS 67700784 HAS SOUS 23907722 HAS SOUPS 23300215 WITH SCORE 2.3382633408E7
AT ITER 1462 NEW BEST:: SOT 133199575 SOS 82418345 HAS SOPS 67700721 HAS SOUS 23907419 HAS SOUPS 23299912 WITH SCORE 2.3382330345E7
AT ITER 1463 NEW BEST:: SOT 133233455 SOS 82529126 HAS SOPS 67784541 HAS SOUS 23884463 HAS SOUPS 23276956 WITH SCORE 2.3359485126E7
AT ITER 1472 NEW BEST:: SOT 133222438 SOS 82513300 HAS SOPS 67767604 HAS SOUS 23865122 HAS SOUPS 23257651 WITH SCORE 2.33401643E7
AT ITER 1477 NEW BEST:: SOT 133226650 SOS 82533006 HAS SOPS 67784912 HAS SOUS 23864421 HAS SOUPS 23256950 WITH SCORE 2.3339483006E7
AT ITER 1482 NEW BEST:: SOT 133188516 SOS 82491524 HAS SOPS 67763218 HAS SOUS 23823226 HAS SOUPS 23215755 WITH SCORE 2.3298246524E7
AT ITER 1508 NEW BEST:: SOT 133180936 SOS 82483306 HAS SOPS 67757856 HAS SOUS 23799354 HAS SOUPS 23192354 WITH SCORE 2.3274837306E7
AT ITER 1517 NEW BEST:: SOT 133198937 SOS 82543348 HAS SOPS 67801027 HAS SOUS 23794607 HAS SOUPS 23187607 WITH SCORE 2.3270150348E7
AT ITER 1520 NEW BEST:: SOT 133199204 SOS 82544064 HAS SOPS 67801508 HAS SOUS 23794569 HAS SOUPS 23187569 WITH SCORE 2.3270113064E7
AT ITER 1542 NEW BEST:: SOT 133183481 SOS 82517575 HAS SOPS 67783429 HAS SOUS 23745179 HAS SOUPS 23146746 WITH SCORE 2.3229263575E7
AT ITER 1552 NEW BEST:: SOT 133142315 SOS 82447069 HAS SOPS 67745023 HAS SOUS 23692491 HAS SOUPS 23094463 WITH SCORE 2.3176910069E7
AT ITER 1553 NEW BEST:: SOT 133116061 SOS 82364135 HAS SOPS 67682398 HAS SOUS 23686449 HAS SOUPS 23088421 WITH SCORE 2.3170785135E7
AT ITER 1556 NEW BEST:: SOT 133119797 SOS 82376838 HAS SOPS 67689837 HAS SOUS 23681418 HAS SOUPS 23083390 WITH SCORE 2.3165766838E7
AT ITER 1559 NEW BEST:: SOT 133113831 SOS 82369141 HAS SOPS 67692210 HAS SOUS 23656075 HAS SOUPS 23058075 WITH SCORE 2.3140444141E7
AT ITER 1575 NEW BEST:: SOT 133112959 SOS 82367005 HAS SOPS 67689818 HAS SOUS 23653941 HAS SOUPS 23055941 WITH SCORE 2.3138308005E7
AT ITER 1584 NEW BEST:: SOT 133103224 SOS 82360822 HAS SOPS 67714404 HAS SOUS 23634314 HAS SOUPS 23036314 WITH SCORE 2.3118674822E7
AT ITER 1598 NEW BEST:: SOT 133116258 SOS 82382473 HAS SOPS 67745530 HAS SOUS 23572098 HAS SOUPS 22974702 WITH SCORE 2.3057084473E7
AT ITER 1601 NEW BEST:: SOT 133121586 SOS 82374765 HAS SOPS 67741101 HAS SOUS 23564251 HAS SOUPS 22966855 WITH SCORE 2.3049229765E7
AT ITER 1603 NEW BEST:: SOT 133065646 SOS 82290202 HAS SOPS 67674430 HAS SOUS 23500241 HAS SOUPS 22906388 WITH SCORE 2.2988678202E7
AT ITER 1611 NEW BEST:: SOT 132901589 SOS 81981243 HAS SOPS 67355836 HAS SOUS 23340655 HAS SOUPS 22745723 WITH SCORE 2.2827704243E7
AT ITER 1621 NEW BEST:: SOT 132894811 SOS 81977174 HAS SOPS 67340238 HAS SOUS 23289112 HAS SOUPS 22695050 WITH SCORE 2.2777027174E7
AT ITER 1665 NEW BEST:: SOT 132894494 SOS 81976451 HAS SOPS 67338938 HAS SOUS 23287253 HAS SOUPS 22693191 WITH SCORE 2.2775167451E7
AT ITER 1678 NEW BEST:: SOT 132890523 SOS 81969311 HAS SOPS 67327413 HAS SOUS 23281740 HAS SOUPS 22687639 WITH SCORE 2.2769608311E7
AT ITER 1698 NEW BEST:: SOT 132890415 SOS 81969503 HAS SOPS 67327363 HAS SOUS 23281234 HAS SOUPS 22687133 WITH SCORE 2.2769102503E7
AT ITER 1704 NEW BEST:: SOT 132886251 SOS 81955241 HAS SOPS 67313474 HAS SOUS 23278236 HAS SOUPS 22684135 WITH SCORE 2.2766090241E7
AT ITER 1717 NEW BEST:: SOT 132886255 SOS 81954359 HAS SOPS 67312577 HAS SOUS 23278123 HAS SOUPS 22684022 WITH SCORE 2.2765976359E7
AT ITER 1723 NEW BEST:: SOT 132893000 SOS 81957184 HAS SOPS 67307129 HAS SOUS 23276229 HAS SOUPS 22682217 WITH SCORE 2.2764174184E7
AT ITER 1744 NEW BEST:: SOT 132889285 SOS 81949652 HAS SOPS 67301357 HAS SOUS 23273999 HAS SOUPS 22680119 WITH SCORE 2.2762068652E7
AT ITER 1755 NEW BEST:: SOT 132893721 SOS 81958073 HAS SOPS 67304495 HAS SOUS 23268979 HAS SOUPS 22674607 WITH SCORE 2.2756565073E7
AT ITER 1783 NEW BEST:: SOT 132893037 SOS 81957473 HAS SOPS 67304981 HAS SOUS 23267365 HAS SOUPS 22672993 WITH SCORE 2.2754950473E7
AT ITER 1786 NEW BEST:: SOT 132875775 SOS 81929040 HAS SOPS 67279205 HAS SOUS 23241835 HAS SOUPS 22648418 WITH SCORE 2.273034704E7
AT ITER 1789 NEW BEST:: SOT 132842523 SOS 81853614 HAS SOPS 67217719 HAS SOUS 23210109 HAS SOUPS 22617519 WITH SCORE 2.2699372614E7
AT ITER 1796 NEW BEST:: SOT 132843131 SOS 81854381 HAS SOPS 67217356 HAS SOUS 23209614 HAS SOUPS 22617076 WITH SCORE 2.2698930381E7
AT ITER 1799 NEW BEST:: SOT 132842167 SOS 81850261 HAS SOPS 67208575 HAS SOUS 23196423 HAS SOUPS 22603798 WITH SCORE 2.2685648261E7
AT ITER 1802 NEW BEST:: SOT 132827896 SOS 81840344 HAS SOPS 67197879 HAS SOUS 23186938 HAS SOUPS 22591722 WITH SCORE 2.2673562344E7
AT ITER 1814 NEW BEST:: SOT 132831297 SOS 81850219 HAS SOPS 67216356 HAS SOUS 23184018 HAS SOUPS 22588967 WITH SCORE 2.2670817219E7
AT ITER 1821 NEW BEST:: SOT 132830969 SOS 81849907 HAS SOPS 67215780 HAS SOUS 23183800 HAS SOUPS 22588649 WITH SCORE 2.2670498907E7
AT ITER 1827 NEW BEST:: SOT 132803319 SOS 81808068 HAS SOPS 67215377 HAS SOUS 23156543 HAS SOUPS 22561836 WITH SCORE 2.2643644068E7
AT ITER 1829 NEW BEST:: SOT 132800130 SOS 81806211 HAS SOPS 67209640 HAS SOUS 23154951 HAS SOUPS 22559246 WITH SCORE 2.2641052211E7
AT ITER 1830 NEW BEST:: SOT 132796050 SOS 81799822 HAS SOPS 67203382 HAS SOUS 23149208 HAS SOUPS 22553503 WITH SCORE 2.2635302822E7
AT ITER 1862 NEW BEST:: SOT 132788405 SOS 81791081 HAS SOPS 67200759 HAS SOUS 23136613 HAS SOUPS 22540720 WITH SCORE 2.2622511081E7
AT ITER 1870 NEW BEST:: SOT 132786348 SOS 81788704 HAS SOPS 67198366 HAS SOUS 23133033 HAS SOUPS 22537140 WITH SCORE 2.2618928704E7
AT ITER 1871 NEW BEST:: SOT 132788250 SOS 81799039 HAS SOPS 67206459 HAS SOUS 23132010 HAS SOUPS 22536117 WITH SCORE 2.2617916039E7
AT ITER 1873 NEW BEST:: SOT 132796355 SOS 81835758 HAS SOPS 67230616 HAS SOUS 23118899 HAS SOUPS 22523006 WITH SCORE 2.2604841758E7
AT ITER 1892 NEW BEST:: SOT 132768076 SOS 81789051 HAS SOPS 67210293 HAS SOUS 23101847 HAS SOUPS 22506329 WITH SCORE 2.2588118051E7
AT ITER 1896 NEW BEST:: SOT 132768269 SOS 81793117 HAS SOPS 67216457 HAS SOUS 23101698 HAS SOUPS 22506180 WITH SCORE 2.2587973117E7
AT ITER 1927 NEW BEST:: SOT 132767882 SOS 81787329 HAS SOPS 67222688 HAS SOUS 23101048 HAS SOUPS 22505530 WITH SCORE 2.2587317329E7
AT ITER 1929 NEW BEST:: SOT 132768128 SOS 81787294 HAS SOPS 67221780 HAS SOUS 23100054 HAS SOUPS 22504536 WITH SCORE 2.2586323294E7
AT ITER 1937 NEW BEST:: SOT 132768596 SOS 81788585 HAS SOPS 67222445 HAS SOUS 23097753 HAS SOUPS 22502235 WITH SCORE 2.2584023585E7
AT ITER 1940 NEW BEST:: SOT 132768471 SOS 81786779 HAS SOPS 67220889 HAS SOUS 23097278 HAS SOUPS 22501760 WITH SCORE 2.2583546779E7
AT ITER 1941 NEW BEST:: SOT 132749726 SOS 81723734 HAS SOPS 67158504 HAS SOUS 23080436 HAS SOUPS 22484918 WITH SCORE 2.2566641734E7
AT ITER 1949 NEW BEST:: SOT 132740756 SOS 81706705 HAS SOPS 67148291 HAS SOUS 23073887 HAS SOUPS 22478369 WITH SCORE 2.2560075705E7
AT ITER 1953 NEW BEST:: SOT 132749436 SOS 81718028 HAS SOPS 67154351 HAS SOUS 23073433 HAS SOUPS 22478145 WITH SCORE 2.2559863028E7
AT ITER 1958 NEW BEST:: SOT 132713792 SOS 81672617 HAS SOPS 67119545 HAS SOUS 22999961 HAS SOUPS 22406317 WITH SCORE 2.2487989617E7
AT ITER 1982 NEW BEST:: SOT 132734820 SOS 81709376 HAS SOPS 67152340 HAS SOUS 22999589 HAS SOUPS 22405991 WITH SCORE 2.2487700376E7
AT ITER 1997 NEW BEST:: SOT 132736396 SOS 81717352 HAS SOPS 67155172 HAS SOUS 22997346 HAS SOUPS 22403748 WITH SCORE 2.2485465352E7
AT ITER 2000 NEW BEST:: SOT 132740098 SOS 81718944 HAS SOPS 67156496 HAS SOUS 22994626 HAS SOUPS 22401838 WITH SCORE 2.2483556944E7
AT ITER 2010 NEW BEST:: SOT 132739962 SOS 81718719 HAS SOPS 67155886 HAS SOUS 22993235 HAS SOUPS 22400447 WITH SCORE 2.2482165719E7
AT ITER 2018 NEW BEST:: SOT 132745737 SOS 81748668 HAS SOPS 67167555 HAS SOUS 22972298 HAS SOUPS 22379510 WITH SCORE 2.2461258668E7
AT ITER 2024 NEW BEST:: SOT 132745833 SOS 81750212 HAS SOPS 67169143 HAS SOUS 22972214 HAS SOUPS 22379426 WITH SCORE 2.2461176212E7
AT ITER 2026 NEW BEST:: SOT 132744288 SOS 81751644 HAS SOPS 67159185 HAS SOUS 22948401 HAS SOUPS 22355664 WITH SCORE 2.2437415644E7
AT ITER 2042 NEW BEST:: SOT 132714866 SOS 81729531 HAS SOPS 67155489 HAS SOUS 22894663 HAS SOUPS 22301926 WITH SCORE 2.2383655531E7
AT ITER 2056 NEW BEST:: SOT 132682221 SOS 81673048 HAS SOPS 67104274 HAS SOUS 22875032 HAS SOUPS 22282295 WITH SCORE 2.2363968048E7
AT ITER 2058 NEW BEST:: SOT 132687040 SOS 81664831 HAS SOPS 67124099 HAS SOUS 22848992 HAS SOUPS 22256255 WITH SCORE 2.2337919831E7
AT ITER 2064 NEW BEST:: SOT 132686416 SOS 81663773 HAS SOPS 67122710 HAS SOUS 22848189 HAS SOUPS 22255443 WITH SCORE 2.2337106773E7
AT ITER 2082 NEW BEST:: SOT 132685005 SOS 81654557 HAS SOPS 67116738 HAS SOUS 22848018 HAS SOUPS 22255272 WITH SCORE 2.2336926557E7
AT ITER 2090 NEW BEST:: SOT 132664802 SOS 81611318 HAS SOPS 67085620 HAS SOUS 22814311 HAS SOUPS 22221565 WITH SCORE 2.2303176318E7
AT ITER 2123 NEW BEST:: SOT 132691692 SOS 81646001 HAS SOPS 67113712 HAS SOUS 22812554 HAS SOUPS 22217315 WITH SCORE 2.2298961001E7
AT ITER 2125 NEW BEST:: SOT 132681081 SOS 81632853 HAS SOPS 67100879 HAS SOUS 22806211 HAS SOUPS 22211011 WITH SCORE 2.2292643853E7
AT ITER 2143 NEW BEST:: SOT 132665673 SOS 81617445 HAS SOPS 67085471 HAS SOUS 22789491 HAS SOUPS 22194291 WITH SCORE 2.2275908445E7
AT ITER 2154 NEW BEST:: SOT 132674510 SOS 81640364 HAS SOPS 67103301 HAS SOUS 22762042 HAS SOUPS 22166842 WITH SCORE 2.2248482364E7
AT ITER 2180 NEW BEST:: SOT 132647191 SOS 81591010 HAS SOPS 67057851 HAS SOUS 22730221 HAS SOUPS 22135021 WITH SCORE 2.221661201E7
AT ITER 2201 NEW BEST:: SOT 132641187 SOS 81569038 HAS SOPS 67058802 HAS SOUS 22729662 HAS SOUPS 22134462 WITH SCORE 2.2216031038E7
AT ITER 2203 NEW BEST:: SOT 132640908 SOS 81565768 HAS SOPS 67053064 HAS SOUS 22725914 HAS SOUPS 22130714 WITH SCORE 2.2212279768E7
AT ITER 2224 NEW BEST:: SOT 132611620 SOS 81520160 HAS SOPS 67013132 HAS SOUS 22691388 HAS SOUPS 22096188 WITH SCORE 2.217770816E7
AT ITER 2263 NEW BEST:: SOT 132597688 SOS 81502518 HAS SOPS 66997096 HAS SOUS 22645346 HAS SOUPS 22050148 WITH SCORE 2.2131650518E7
AT ITER 2269 NEW BEST:: SOT 132607395 SOS 81539168 HAS SOPS 67029942 HAS SOUS 22622655 HAS SOUPS 22027457 WITH SCORE 2.2108996168E7
AT ITER 2273 NEW BEST:: SOT 132548243 SOS 81477551 HAS SOPS 66956293 HAS SOUS 22533542 HAS SOUPS 21938525 WITH SCORE 2.2020002551E7
AT ITER 2275 NEW BEST:: SOT 132548173 SOS 81482460 HAS SOPS 66959094 HAS SOUS 22520571 HAS SOUPS 21925535 WITH SCORE 2.200701746E7
AT ITER 2287 NEW BEST:: SOT 132574289 SOS 81557654 HAS SOPS 67014217 HAS SOUS 22514696 HAS SOUPS 21919660 WITH SCORE 2.2001217654E7
AT ITER 2294 NEW BEST:: SOT 132513927 SOS 81484280 HAS SOPS 66943752 HAS SOUS 22447636 HAS SOUPS 21852573 WITH SCORE 2.193405728E7
AT ITER 2302 NEW BEST:: SOT 132513682 SOS 81485745 HAS SOPS 66943328 HAS SOUS 22445413 HAS SOUPS 21850350 WITH SCORE 2.1931835745E7
AT ITER 2310 NEW BEST:: SOT 132502907 SOS 81455526 HAS SOPS 66924847 HAS SOUS 22440722 HAS SOUPS 21845659 WITH SCORE 2.1927114526E7
AT ITER 2328 NEW BEST:: SOT 132505518 SOS 81458215 HAS SOPS 66934446 HAS SOUS 22439948 HAS SOUPS 21844965 WITH SCORE 2.1926423215E7
AT ITER 2330 NEW BEST:: SOT 132500112 SOS 81454274 HAS SOPS 66926573 HAS SOUS 22428793 HAS SOUPS 21833810 WITH SCORE 2.1915264274E7
AT ITER 2332 NEW BEST:: SOT 132501640 SOS 81455957 HAS SOPS 66926566 HAS SOUS 22428353 HAS SOUPS 21833370 WITH SCORE 2.1914825957E7
AT ITER 2336 NEW BEST:: SOT 132500894 SOS 81454653 HAS SOPS 66925381 HAS SOUS 22427698 HAS SOUPS 21832715 WITH SCORE 2.1914169653E7

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-1"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is RERS17pb114-PT-1, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r138-smll-158961502300080"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb114-PT-1.tgz
mv RERS17pb114-PT-1 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;