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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 70M
-rw-r--r-- 1 mcc users 3.6K Apr 12 07:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 12 07:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.6K Apr 11 08:50 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K Apr 11 08:50 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.0K Apr 14 12:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K 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.3K Apr 10 14:42 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 10 14:42 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.7K Apr 9 21:17 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 9 21:16 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 10 22:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 10 22:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 69M Mar 24 05:38 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 1589785084632

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

Filename model.pnml
Petri model created: 1399 places, 144369 transitions, 577414 arcs.
AT ITER 0 NEW BEST:: SOT 123446583 SOS 80238157 HAS SOPS 65217586 HAS SOUS 24077925 HAS SOUPS 23505151 WITH SCORE 2.3585389157E7
AT ITER 1 NEW BEST:: SOT 123452674 SOS 80250811 HAS SOPS 65226502 HAS SOUS 24068937 HAS SOUPS 23496241 WITH SCORE 2.3576491811E7
AT ITER 28 NEW BEST:: SOT 123459224 SOS 80281604 HAS SOPS 65252186 HAS SOUS 24053467 HAS SOUPS 23480644 WITH SCORE 2.3560925604E7
AT ITER 35 NEW BEST:: SOT 123445979 SOS 80255053 HAS SOPS 65234321 HAS SOUS 24035292 HAS SOUPS 23462469 WITH SCORE 2.3542724053E7
AT ITER 36 NEW BEST:: SOT 123413964 SOS 80182976 HAS SOPS 65192031 HAS SOUS 24035014 HAS SOUPS 23462191 WITH SCORE 2.3542373976E7
AT ITER 37 NEW BEST:: SOT 123427106 SOS 80221459 HAS SOPS 65238562 HAS SOUS 24023105 HAS SOUPS 23450282 WITH SCORE 2.3530503459E7
AT ITER 39 NEW BEST:: SOT 123406017 SOS 80188244 HAS SOPS 65207351 HAS SOUS 24016465 HAS SOUPS 23443642 WITH SCORE 2.3523830244E7
AT ITER 42 NEW BEST:: SOT 123404342 SOS 80191960 HAS SOPS 65205382 HAS SOUS 23997315 HAS SOUPS 23424492 WITH SCORE 2.350468396E7
AT ITER 51 NEW BEST:: SOT 123402664 SOS 80189704 HAS SOPS 65203727 HAS SOUS 23996977 HAS SOUPS 23424154 WITH SCORE 2.3504343704E7
AT ITER 60 NEW BEST:: SOT 123402716 SOS 80211181 HAS SOPS 65222891 HAS SOUS 23996173 HAS SOUPS 23423350 WITH SCORE 2.3503561181E7
AT ITER 61 NEW BEST:: SOT 123401956 SOS 80212245 HAS SOPS 65223026 HAS SOUS 23992600 HAS SOUPS 23419756 WITH SCORE 2.3499968245E7
AT ITER 65 NEW BEST:: SOT 123411067 SOS 80235641 HAS SOPS 65245533 HAS SOUS 23981931 HAS SOUPS 23409087 WITH SCORE 2.3489322641E7
AT ITER 71 NEW BEST:: SOT 123406344 SOS 80238538 HAS SOPS 65242672 HAS SOUS 23965201 HAS SOUPS 23392357 WITH SCORE 2.3472595538E7
AT ITER 84 NEW BEST:: SOT 123404700 SOS 80237949 HAS SOPS 65244171 HAS SOUS 23961907 HAS SOUPS 23389063 WITH SCORE 2.3469300949E7
AT ITER 87 NEW BEST:: SOT 123383014 SOS 80187334 HAS SOPS 65211230 HAS SOUS 23926790 HAS SOUPS 23353946 WITH SCORE 2.3434133334E7
AT ITER 105 NEW BEST:: SOT 123410143 SOS 80232771 HAS SOPS 65259071 HAS SOUS 23924646 HAS SOUPS 23351754 WITH SCORE 2.3431986771E7
AT ITER 109 NEW BEST:: SOT 123410426 SOS 80243319 HAS SOPS 65276128 HAS SOUS 23904704 HAS SOUPS 23331812 WITH SCORE 2.3412055319E7
AT ITER 117 NEW BEST:: SOT 123385458 SOS 80221038 HAS SOPS 65251629 HAS SOUS 23853613 HAS SOUPS 23280514 WITH SCORE 2.3360735038E7
AT ITER 124 NEW BEST:: SOT 123402727 SOS 80262851 HAS SOPS 65287342 HAS SOUS 23832977 HAS SOUPS 23259878 WITH SCORE 2.3340140851E7
AT ITER 131 NEW BEST:: SOT 123402714 SOS 80270768 HAS SOPS 65302206 HAS SOUS 23832867 HAS SOUPS 23259768 WITH SCORE 2.3340038768E7
AT ITER 141 NEW BEST:: SOT 123336165 SOS 80203118 HAS SOPS 65235195 HAS SOUS 23765368 HAS SOUPS 23192469 WITH SCORE 2.3272672118E7
AT ITER 145 NEW BEST:: SOT 123328000 SOS 80194953 HAS SOPS 65226998 HAS SOUS 23757187 HAS SOUPS 23184272 WITH SCORE 2.3264466953E7
AT ITER 148 NEW BEST:: SOT 123326050 SOS 80193198 HAS SOPS 65224203 HAS SOUS 23751206 HAS SOUPS 23178291 WITH SCORE 2.3258484198E7
AT ITER 149 NEW BEST:: SOT 123328677 SOS 80208185 HAS SOPS 65234489 HAS SOUS 23751135 HAS SOUPS 23178220 WITH SCORE 2.3258428185E7
AT ITER 151 NEW BEST:: SOT 123329174 SOS 80252248 HAS SOPS 65285043 HAS SOUS 23748547 HAS SOUPS 23175632 WITH SCORE 2.3255884248E7
AT ITER 169 NEW BEST:: SOT 123329248 SOS 80256066 HAS SOPS 65286137 HAS SOUS 23746973 HAS SOUPS 23174058 WITH SCORE 2.3254314066E7
AT ITER 175 NEW BEST:: SOT 123351624 SOS 80326575 HAS SOPS 65352774 HAS SOUS 23745657 HAS SOUPS 23172742 WITH SCORE 2.3253068575E7
AT ITER 179 NEW BEST:: SOT 123371952 SOS 80373048 HAS SOPS 65393436 HAS SOUS 23736480 HAS SOUPS 23163377 WITH SCORE 2.3243750048E7
AT ITER 180 NEW BEST:: SOT 123373977 SOS 80377496 HAS SOPS 65392424 HAS SOUS 23736535 HAS SOUPS 23163350 WITH SCORE 2.3243727496E7
AT ITER 182 NEW BEST:: SOT 123368236 SOS 80369079 HAS SOPS 65385972 HAS SOUS 23723249 HAS SOUPS 23150161 WITH SCORE 2.3230530079E7
AT ITER 192 NEW BEST:: SOT 123361322 SOS 80361016 HAS SOPS 65378145 HAS SOUS 23709135 HAS SOUPS 23136047 WITH SCORE 2.3216408016E7
AT ITER 193 NEW BEST:: SOT 123363988 SOS 80366944 HAS SOPS 65392125 HAS SOUS 23700374 HAS SOUPS 23127433 WITH SCORE 2.3207799944E7
AT ITER 201 NEW BEST:: SOT 123356464 SOS 80361254 HAS SOPS 65389451 HAS SOUS 23684674 HAS SOUPS 23111733 WITH SCORE 2.3192094254E7
AT ITER 204 NEW BEST:: SOT 123356464 SOS 80364934 HAS SOPS 65395307 HAS SOUS 23684549 HAS SOUPS 23111608 WITH SCORE 2.3191972934E7
AT ITER 206 NEW BEST:: SOT 123354379 SOS 80365589 HAS SOPS 65396456 HAS SOUS 23673860 HAS SOUPS 23100919 WITH SCORE 2.3181284589E7
AT ITER 210 NEW BEST:: SOT 123351611 SOS 80362074 HAS SOPS 65393021 HAS SOUS 23667138 HAS SOUPS 23094197 WITH SCORE 2.3174559074E7
AT ITER 214 NEW BEST:: SOT 123365281 SOS 80393669 HAS SOPS 65424169 HAS SOUS 23659885 HAS SOUPS 23086944 WITH SCORE 2.3167337669E7
AT ITER 217 NEW BEST:: SOT 123458164 SOS 80589445 HAS SOPS 65546725 HAS SOUS 23616249 HAS SOUPS 23034572 WITH SCORE 2.3115161445E7
AT ITER 222 NEW BEST:: SOT 123459359 SOS 80596193 HAS SOPS 65553867 HAS SOUS 23612121 HAS SOUPS 23030467 WITH SCORE 2.3111063193E7
AT ITER 224 NEW BEST:: SOT 123446703 SOS 80564668 HAS SOPS 65531033 HAS SOUS 23608529 HAS SOUPS 23026875 WITH SCORE 2.3107439668E7
AT ITER 235 NEW BEST:: SOT 123431893 SOS 80539838 HAS SOPS 65507939 HAS SOUS 23593102 HAS SOUPS 23011448 WITH SCORE 2.3091987838E7
AT ITER 242 NEW BEST:: SOT 123428994 SOS 80539503 HAS SOPS 65505093 HAS SOUS 23588857 HAS SOUPS 23007203 WITH SCORE 2.3087742503E7
AT ITER 246 NEW BEST:: SOT 123428789 SOS 80539202 HAS SOPS 65504696 HAS SOUS 23588550 HAS SOUPS 23006896 WITH SCORE 2.3087435202E7
AT ITER 256 NEW BEST:: SOT 123428789 SOS 80539826 HAS SOPS 65505320 HAS SOUS 23588512 HAS SOUPS 23006858 WITH SCORE 2.3087397826E7
AT ITER 269 NEW BEST:: SOT 123428789 SOS 80539778 HAS SOPS 65505464 HAS SOUS 23588506 HAS SOUPS 23006852 WITH SCORE 2.3087391778E7
AT ITER 273 NEW BEST:: SOT 123419918 SOS 80547981 HAS SOPS 65482162 HAS SOUS 23489757 HAS SOUPS 22907873 WITH SCORE 2.2988420981E7
AT ITER 286 NEW BEST:: SOT 123417824 SOS 80545098 HAS SOPS 65480090 HAS SOUS 23486327 HAS SOUPS 22904443 WITH SCORE 2.2984988098E7
AT ITER 289 NEW BEST:: SOT 123416146 SOS 80542762 HAS SOPS 65478643 HAS SOUS 23485769 HAS SOUPS 22903793 WITH SCORE 2.2984335762E7
AT ITER 296 NEW BEST:: SOT 123414895 SOS 80540813 HAS SOPS 65476565 HAS SOUS 23483853 HAS SOUPS 22901877 WITH SCORE 2.2982417813E7
AT ITER 301 NEW BEST:: SOT 123414895 SOS 80542557 HAS SOPS 65476779 HAS SOUS 23483762 HAS SOUPS 22901786 WITH SCORE 2.2982328557E7
AT ITER 309 NEW BEST:: SOT 123429930 SOS 80572883 HAS SOPS 65510056 HAS SOUS 23483135 HAS SOUPS 22901159 WITH SCORE 2.2981731883E7
AT ITER 324 NEW BEST:: SOT 123428352 SOS 80572416 HAS SOPS 65508417 HAS SOUS 23476651 HAS SOUPS 22894675 WITH SCORE 2.2975247416E7
AT ITER 330 NEW BEST:: SOT 123428012 SOS 80572100 HAS SOPS 65507953 HAS SOUS 23475994 HAS SOUPS 22894018 WITH SCORE 2.29745901E7
AT ITER 337 NEW BEST:: SOT 123427265 SOS 80570530 HAS SOPS 65507742 HAS SOUS 23475318 HAS SOUPS 22893342 WITH SCORE 2.297391253E7
AT ITER 351 NEW BEST:: SOT 123423501 SOS 80567640 HAS SOPS 65502903 HAS SOUS 23468752 HAS SOUPS 22886725 WITH SCORE 2.296729264E7
AT ITER 355 NEW BEST:: SOT 123424767 SOS 80572014 HAS SOPS 65519687 HAS SOUS 23460736 HAS SOUPS 22878709 WITH SCORE 2.2959281014E7
AT ITER 369 NEW BEST:: SOT 123404678 SOS 80549072 HAS SOPS 65492932 HAS SOUS 23421799 HAS SOUPS 22839772 WITH SCORE 2.2920321072E7
AT ITER 377 NEW BEST:: SOT 123387621 SOS 80523407 HAS SOPS 65459688 HAS SOUS 23406484 HAS SOUPS 22824457 WITH SCORE 2.2904980407E7
AT ITER 386 NEW BEST:: SOT 123345327 SOS 80481350 HAS SOPS 65425705 HAS SOUS 23320011 HAS SOUPS 22737984 WITH SCORE 2.281846535E7
AT ITER 394 NEW BEST:: SOT 123343940 SOS 80479699 HAS SOPS 65424417 HAS SOUS 23317699 HAS SOUPS 22735683 WITH SCORE 2.2816162699E7
AT ITER 399 NEW BEST:: SOT 123343867 SOS 80477234 HAS SOPS 65425894 HAS SOUS 23314186 HAS SOUPS 22732178 WITH SCORE 2.2812655234E7
AT ITER 402 NEW BEST:: SOT 123343633 SOS 80477099 HAS SOPS 65425567 HAS SOUS 23313622 HAS SOUPS 22731611 WITH SCORE 2.2812088099E7
AT ITER 406 NEW BEST:: SOT 123343046 SOS 80474193 HAS SOPS 65424169 HAS SOUS 23312055 HAS SOUPS 22730401 WITH SCORE 2.2810875193E7
AT ITER 440 NEW BEST:: SOT 123347784 SOS 80495510 HAS SOPS 65434222 HAS SOUS 23300291 HAS SOUPS 22718637 WITH SCORE 2.279913251E7
AT ITER 452 NEW BEST:: SOT 123330396 SOS 80509578 HAS SOPS 65482789 HAS SOUS 23288681 HAS SOUPS 22707027 WITH SCORE 2.2787536578E7
AT ITER 455 NEW BEST:: SOT 123326432 SOS 80522613 HAS SOPS 65488992 HAS SOUS 23285193 HAS SOUPS 22703539 WITH SCORE 2.2784061613E7
AT ITER 469 NEW BEST:: SOT 123339457 SOS 80543337 HAS SOPS 65532860 HAS SOUS 23250496 HAS SOUPS 22669425 WITH SCORE 2.2749968337E7
AT ITER 470 NEW BEST:: SOT 123338577 SOS 80539447 HAS SOPS 65539234 HAS SOUS 23248359 HAS SOUPS 22667451 WITH SCORE 2.2747990447E7
AT ITER 477 NEW BEST:: SOT 123328687 SOS 80532042 HAS SOPS 65547489 HAS SOUS 23218697 HAS SOUPS 22637789 WITH SCORE 2.2718321042E7
AT ITER 480 NEW BEST:: SOT 123335365 SOS 80539149 HAS SOPS 65556098 HAS SOUS 23216097 HAS SOUPS 22635534 WITH SCORE 2.2716073149E7
AT ITER 487 NEW BEST:: SOT 123331002 SOS 80530794 HAS SOPS 65555408 HAS SOUS 23213006 HAS SOUPS 22632514 WITH SCORE 2.2713044794E7
AT ITER 490 NEW BEST:: SOT 123330797 SOS 80530683 HAS SOPS 65555998 HAS SOUS 23212715 HAS SOUPS 22632247 WITH SCORE 2.2712777683E7
AT ITER 493 NEW BEST:: SOT 123318192 SOS 80503511 HAS SOPS 65533034 HAS SOUS 23200315 HAS SOUPS 22619963 WITH SCORE 2.2700466511E7
AT ITER 494 NEW BEST:: SOT 123294792 SOS 80463227 HAS SOPS 65498651 HAS SOUS 23199860 HAS SOUPS 22619556 WITH SCORE 2.2700019227E7
AT ITER 497 NEW BEST:: SOT 123291985 SOS 80460145 HAS SOPS 65497438 HAS SOUS 23198296 HAS SOUPS 22617992 WITH SCORE 2.2698452145E7
AT ITER 501 NEW BEST:: SOT 123295855 SOS 80464117 HAS SOPS 65503741 HAS SOUS 23193462 HAS SOUPS 22613204 WITH SCORE 2.2693668117E7
AT ITER 504 NEW BEST:: SOT 123295907 SOS 80476873 HAS SOPS 65525573 HAS SOUS 23193293 HAS SOUPS 22613035 WITH SCORE 2.2693511873E7
AT ITER 511 NEW BEST:: SOT 123295406 SOS 80480319 HAS SOPS 65553545 HAS SOUS 23192710 HAS SOUPS 22612452 WITH SCORE 2.2692932319E7
AT ITER 514 NEW BEST:: SOT 123279572 SOS 80436937 HAS SOPS 65510113 HAS SOUS 23178984 HAS SOUPS 22598726 WITH SCORE 2.2679162937E7
AT ITER 523 NEW BEST:: SOT 123285777 SOS 80461217 HAS SOPS 65548753 HAS SOUS 23162434 HAS SOUPS 22582176 WITH SCORE 2.2662637217E7
AT ITER 527 NEW BEST:: SOT 123230903 SOS 80404272 HAS SOPS 65488244 HAS SOUS 23101237 HAS SOUPS 22518923 WITH SCORE 2.2599327272E7
AT ITER 529 NEW BEST:: SOT 123217100 SOS 80392629 HAS SOPS 65475228 HAS SOUS 23061668 HAS SOUPS 22479354 WITH SCORE 2.2559746629E7
AT ITER 537 NEW BEST:: SOT 123213406 SOS 80387350 HAS SOPS 65469450 HAS SOUS 23048963 HAS SOUPS 22466590 WITH SCORE 2.254697735E7
AT ITER 542 NEW BEST:: SOT 123219551 SOS 80402397 HAS SOPS 65481711 HAS SOUS 23039994 HAS SOUPS 22457621 WITH SCORE 2.2538023397E7
AT ITER 546 NEW BEST:: SOT 123219551 SOS 80420883 HAS SOPS 65506213 HAS SOUS 23039975 HAS SOUPS 22457602 WITH SCORE 2.2538022883E7
AT ITER 550 NEW BEST:: SOT 123221267 SOS 80423625 HAS SOPS 65516974 HAS SOUS 23037514 HAS SOUPS 22455653 WITH SCORE 2.2536076625E7
AT ITER 551 NEW BEST:: SOT 123199316 SOS 80397397 HAS SOPS 65492007 HAS SOUS 23021823 HAS SOUPS 22439434 WITH SCORE 2.2519831397E7
AT ITER 554 NEW BEST:: SOT 123202502 SOS 80403809 HAS SOPS 65494988 HAS SOUS 23016498 HAS SOUPS 22434109 WITH SCORE 2.2514512809E7
AT ITER 575 NEW BEST:: SOT 123209626 SOS 80416291 HAS SOPS 65505384 HAS SOUS 23005521 HAS SOUPS 22423132 WITH SCORE 2.2503548291E7
AT ITER 594 NEW BEST:: SOT 123207136 SOS 80412851 HAS SOPS 65502305 HAS SOUS 23002081 HAS SOUPS 22419692 WITH SCORE 2.2500104851E7
AT ITER 601 NEW BEST:: SOT 123178853 SOS 80377712 HAS SOPS 65468546 HAS SOUS 22990770 HAS SOUPS 22408381 WITH SCORE 2.2488758712E7
AT ITER 613 NEW BEST:: SOT 123177368 SOS 80375282 HAS SOPS 65465606 HAS SOUS 22988294 HAS SOUPS 22405905 WITH SCORE 2.2486280282E7
AT ITER 624 NEW BEST:: SOT 123164008 SOS 80353343 HAS SOPS 65443739 HAS SOUS 22970686 HAS SOUPS 22388297 WITH SCORE 2.2468650343E7
AT ITER 640 NEW BEST:: SOT 123163950 SOS 80359488 HAS SOPS 65451154 HAS SOUS 22970586 HAS SOUPS 22388197 WITH SCORE 2.2468556488E7
AT ITER 648 NEW BEST:: SOT 123171163 SOS 80380180 HAS SOPS 65472681 HAS SOUS 22965094 HAS SOUPS 22382705 WITH SCORE 2.246308518E7
AT ITER 650 NEW BEST:: SOT 123171560 SOS 80406581 HAS SOPS 65510080 HAS SOUS 22965005 HAS SOUPS 22382616 WITH SCORE 2.2463022581E7
AT ITER 655 NEW BEST:: SOT 123190910 SOS 80436048 HAS SOPS 65565873 HAS SOUS 22957976 HAS SOUPS 22376303 WITH SCORE 2.2456739048E7
AT ITER 657 NEW BEST:: SOT 123189781 SOS 80435522 HAS SOPS 65560154 HAS SOUS 22946766 HAS SOUPS 22365093 WITH SCORE 2.2445528522E7
AT ITER 680 NEW BEST:: SOT 123190003 SOS 80436471 HAS SOPS 65559597 HAS SOUS 22946480 HAS SOUPS 22364807 WITH SCORE 2.2445243471E7
AT ITER 687 NEW BEST:: SOT 123190961 SOS 80437294 HAS SOPS 65561948 HAS SOUS 22945306 HAS SOUPS 22363633 WITH SCORE 2.2444070294E7
AT ITER 699 NEW BEST:: SOT 123207002 SOS 80491159 HAS SOPS 65622331 HAS SOUS 22944456 HAS SOUPS 22362783 WITH SCORE 2.2443274159E7
AT ITER 701 NEW BEST:: SOT 123209533 SOS 80506315 HAS SOPS 65625253 HAS SOUS 22926763 HAS SOUPS 22345090 WITH SCORE 2.2425596315E7
AT ITER 708 NEW BEST:: SOT 123207181 SOS 80505721 HAS SOPS 65621193 HAS SOUS 22918035 HAS SOUPS 22336362 WITH SCORE 2.2416867721E7
AT ITER 715 NEW BEST:: SOT 123209111 SOS 80510430 HAS SOPS 65623521 HAS SOUS 22915224 HAS SOUPS 22333551 WITH SCORE 2.241406143E7
AT ITER 718 NEW BEST:: SOT 123201249 SOS 80495296 HAS SOPS 65623516 HAS SOUS 22913828 HAS SOUPS 22332155 WITH SCORE 2.2412650296E7
AT ITER 721 NEW BEST:: SOT 123201249 SOS 80504350 HAS SOPS 65631708 HAS SOUS 22913571 HAS SOUPS 22331898 WITH SCORE 2.241240235E7
AT ITER 725 NEW BEST:: SOT 123199365 SOS 80505996 HAS SOPS 65628677 HAS SOUS 22897274 HAS SOUPS 22315667 WITH SCORE 2.2396172996E7
AT ITER 730 NEW BEST:: SOT 123170806 SOS 80478130 HAS SOPS 65592939 HAS SOUS 22890207 HAS SOUPS 22307545 WITH SCORE 2.238802313E7
AT ITER 739 NEW BEST:: SOT 123155394 SOS 80436032 HAS SOPS 65553703 HAS SOUS 22872914 HAS SOUPS 22290252 WITH SCORE 2.2370688032E7
AT ITER 749 NEW BEST:: SOT 123164560 SOS 80467766 HAS SOPS 65585262 HAS SOUS 22872632 HAS SOUPS 22289970 WITH SCORE 2.2370437766E7
AT ITER 754 NEW BEST:: SOT 123150645 SOS 80448181 HAS SOPS 65570143 HAS SOUS 22861890 HAS SOUPS 22275409 WITH SCORE 2.2355857181E7
AT ITER 755 NEW BEST:: SOT 123031853 SOS 80292711 HAS SOPS 65424364 HAS SOUS 22712360 HAS SOUPS 22126397 WITH SCORE 2.2206689711E7
AT ITER 764 NEW BEST:: SOT 123002626 SOS 80222595 HAS SOPS 65374937 HAS SOUS 22688970 HAS SOUPS 22103007 WITH SCORE 2.2183229595E7
AT ITER 772 NEW BEST:: SOT 123002213 SOS 80222058 HAS SOPS 65374154 HAS SOUS 22687224 HAS SOUPS 22101272 WITH SCORE 2.2181494058E7
AT ITER 790 NEW BEST:: SOT 122998076 SOS 80217885 HAS SOPS 65369981 HAS SOUS 22682799 HAS SOUPS 22096847 WITH SCORE 2.2177064885E7
AT ITER 793 NEW BEST:: SOT 122990159 SOS 80209394 HAS SOPS 65368048 HAS SOUS 22669545 HAS SOUPS 22083892 WITH SCORE 2.2164101394E7
AT ITER 795 NEW BEST:: SOT 122988684 SOS 80205716 HAS SOPS 65369854 HAS SOUS 22669120 HAS SOUPS 22083467 WITH SCORE 2.2163672716E7
AT ITER 799 NEW BEST:: SOT 122993300 SOS 80212168 HAS SOPS 65381341 HAS SOUS 22661147 HAS SOUPS 22075494 WITH SCORE 2.2155706168E7
AT ITER 829 NEW BEST:: SOT 122996121 SOS 80224401 HAS SOPS 65383739 HAS SOUS 22627731 HAS SOUPS 22041828 WITH SCORE 2.2122052401E7
AT ITER 832 NEW BEST:: SOT 122996115 SOS 80204642 HAS SOPS 65361981 HAS SOUS 22627585 HAS SOUPS 22041682 WITH SCORE 2.2121886642E7
AT ITER 833 NEW BEST:: SOT 122996690 SOS 80205999 HAS SOPS 65363267 HAS SOUS 22627193 HAS SOUPS 22041327 WITH SCORE 2.2121532999E7
AT ITER 837 NEW BEST:: SOT 122997042 SOS 80206134 HAS SOPS 65364445 HAS SOUS 22619638 HAS SOUPS 22033772 WITH SCORE 2.2113978134E7
AT ITER 845 NEW BEST:: SOT 123004782 SOS 80218262 HAS SOPS 65379871 HAS SOUS 22615256 HAS SOUPS 22029187 WITH SCORE 2.2109405262E7
AT ITER 856 NEW BEST:: SOT 123010326 SOS 80228105 HAS SOPS 65390199 HAS SOUS 22612101 HAS SOUPS 22026032 WITH SCORE 2.2106260105E7
AT ITER 858 NEW BEST:: SOT 122999948 SOS 80203619 HAS SOPS 65392517 HAS SOUS 22597174 HAS SOUPS 22011105 WITH SCORE 2.2091308619E7
AT ITER 868 NEW BEST:: SOT 123007386 SOS 80227296 HAS SOPS 65413423 HAS SOUS 22581512 HAS SOUPS 21995443 WITH SCORE 2.2075670296E7
AT ITER 880 NEW BEST:: SOT 123007408 SOS 80232106 HAS SOPS 65415705 HAS SOUS 22581059 HAS SOUPS 21994990 WITH SCORE 2.2075222106E7
AT ITER 892 NEW BEST:: SOT 122997969 SOS 80211776 HAS SOPS 65399287 HAS SOUS 22579308 HAS SOUPS 21993239 WITH SCORE 2.2073450776E7
AT ITER 894 NEW BEST:: SOT 122998381 SOS 80224437 HAS SOPS 65410394 HAS SOUS 22557948 HAS SOUPS 21971879 WITH SCORE 2.2052103437E7
AT ITER 900 NEW BEST:: SOT 123005544 SOS 80247149 HAS SOPS 65423579 HAS SOUS 22543655 HAS SOUPS 21957586 WITH SCORE 2.2037833149E7
AT ITER 901 NEW BEST:: SOT 123003509 SOS 80244111 HAS SOPS 65420004 HAS SOUS 22537980 HAS SOUPS 21952379 WITH SCORE 2.2032623111E7
AT ITER 905 NEW BEST:: SOT 123013070 SOS 80267101 HAS SOPS 65444527 HAS SOUS 22514128 HAS SOUPS 21928527 WITH SCORE 2.2008794101E7
AT ITER 907 NEW BEST:: SOT 123013054 SOS 80267377 HAS SOPS 65445023 HAS SOUS 22513926 HAS SOUPS 21928325 WITH SCORE 2.2008592377E7
AT ITER 908 NEW BEST:: SOT 122991059 SOS 80233219 HAS SOPS 65414916 HAS SOUS 22455873 HAS SOUPS 21868817 WITH SCORE 2.1949050219E7
AT ITER 920 NEW BEST:: SOT 122992045 SOS 80262858 HAS SOPS 65445713 HAS SOUS 22455172 HAS SOUPS 21868116 WITH SCORE 2.1948378858E7
AT ITER 928 NEW BEST:: SOT 123001135 SOS 80295700 HAS SOPS 65476395 HAS SOUS 22442146 HAS SOUPS 21855090 WITH SCORE 2.19353857E7
AT ITER 944 NEW BEST:: SOT 123024737 SOS 80362233 HAS SOPS 65538040 HAS SOUS 22433105 HAS SOUPS 21846049 WITH SCORE 2.1926411233E7
AT ITER 945 NEW BEST:: SOT 123029406 SOS 80374327 HAS SOPS 65551739 HAS SOUS 22427525 HAS SOUPS 21840469 WITH SCORE 2.1920843327E7
AT ITER 952 NEW BEST:: SOT 123029003 SOS 80375631 HAS SOPS 65552642 HAS SOUS 22424640 HAS SOUPS 21837584 WITH SCORE 2.1917959631E7
AT ITER 958 NEW BEST:: SOT 123034140 SOS 80379107 HAS SOPS 65562243 HAS SOUS 22421615 HAS SOUPS 21834559 WITH SCORE 2.1914938107E7
AT ITER 960 NEW BEST:: SOT 123034123 SOS 80376264 HAS SOPS 65559383 HAS SOUS 22421604 HAS SOUPS 21834548 WITH SCORE 2.1914924264E7
AT ITER 963 NEW BEST:: SOT 123033888 SOS 80376109 HAS SOPS 65558908 HAS SOUS 22420767 HAS SOUPS 21833711 WITH SCORE 2.1914087109E7
AT ITER 976 NEW BEST:: SOT 123032135 SOS 80373910 HAS SOPS 65556915 HAS SOUS 22396581 HAS SOUPS 21809271 WITH SCORE 2.188964491E7
AT ITER 978 NEW BEST:: SOT 122993345 SOS 80334992 HAS SOPS 65517549 HAS SOUS 22355869 HAS SOUPS 21768559 WITH SCORE 2.1848893992E7
AT ITER 984 NEW BEST:: SOT 123027550 SOS 80400333 HAS SOPS 65568853 HAS SOUS 22312523 HAS SOUPS 21725566 WITH SCORE 2.1805966333E7
AT ITER 1034 NEW BEST:: SOT 123003694 SOS 80377459 HAS SOPS 65541828 HAS SOUS 22281443 HAS SOUPS 21693763 WITH SCORE 2.1774140459E7
AT ITER 1036 NEW BEST:: SOT 123001325 SOS 80374911 HAS SOPS 65533376 HAS SOUS 22275810 HAS SOUPS 21688130 WITH SCORE 2.1768504911E7
AT ITER 1057 NEW BEST:: SOT 123087576 SOS 80480292 HAS SOPS 65638196 HAS SOUS 22270804 HAS SOUPS 21683813 WITH SCORE 2.1764293292E7
AT ITER 1061 NEW BEST:: SOT 123083362 SOS 80476334 HAS SOPS 65635304 HAS SOUS 22247482 HAS SOUPS 21660560 WITH SCORE 2.1741036334E7
AT ITER 1063 NEW BEST:: SOT 123083675 SOS 80478439 HAS SOPS 65638717 HAS SOUS 22246689 HAS SOUPS 21659767 WITH SCORE 2.1740245439E7
AT ITER 1064 NEW BEST:: SOT 123086011 SOS 80489678 HAS SOPS 65643354 HAS SOUS 22245261 HAS SOUPS 21658339 WITH SCORE 2.1738828678E7
AT ITER 1074 NEW BEST:: SOT 123082393 SOS 80490313 HAS SOPS 65636944 HAS SOUS 22228238 HAS SOUPS 21641195 WITH SCORE 2.1721685313E7
AT ITER 1082 NEW BEST:: SOT 123080707 SOS 80480064 HAS SOPS 65630829 HAS SOUS 22226805 HAS SOUPS 21639762 WITH SCORE 2.1720242064E7
AT ITER 1093 NEW BEST:: SOT 123079670 SOS 80479378 HAS SOPS 65632365 HAS SOUS 22218977 HAS SOUPS 21633586 WITH SCORE 2.1714065378E7
AT ITER 1111 NEW BEST:: SOT 123071684 SOS 80469977 HAS SOPS 65622527 HAS SOUS 22208673 HAS SOUPS 21623282 WITH SCORE 2.1703751977E7
AT ITER 1127 NEW BEST:: SOT 123042865 SOS 80426555 HAS SOPS 65590488 HAS SOUS 22157847 HAS SOUPS 21573111 WITH SCORE 2.1653537555E7
AT ITER 1128 NEW BEST:: SOT 123040478 SOS 80423291 HAS SOPS 65586915 HAS SOUS 22152657 HAS SOUPS 21567921 WITH SCORE 2.1648344291E7
AT ITER 1131 NEW BEST:: SOT 123053408 SOS 80440318 HAS SOPS 65607545 HAS SOUS 22151531 HAS SOUPS 21566568 WITH SCORE 2.1647008318E7
AT ITER 1143 NEW BEST:: SOT 123053967 SOS 80439933 HAS SOPS 65607188 HAS SOUS 22151095 HAS SOUPS 21566132 WITH SCORE 2.1646571933E7
AT ITER 1149 NEW BEST:: SOT 123052227 SOS 80437624 HAS SOPS 65604428 HAS SOUS 22145504 HAS SOUPS 21560541 WITH SCORE 2.1640978624E7
AT ITER 1186 NEW BEST:: SOT 123042837 SOS 80425376 HAS SOPS 65592948 HAS SOUS 22113048 HAS SOUPS 21528096 WITH SCORE 2.1608521376E7
AT ITER 1190 NEW BEST:: SOT 123042837 SOS 80426368 HAS SOPS 65593940 HAS SOUS 22113023 HAS SOUPS 21528071 WITH SCORE 2.1608497368E7
AT ITER 1211 NEW BEST:: SOT 123041685 SOS 80423852 HAS SOPS 65593217 HAS SOUS 22108813 HAS SOUPS 21523861 WITH SCORE 2.1604284852E7
AT ITER 1226 NEW BEST:: SOT 123040590 SOS 80423233 HAS SOPS 65592464 HAS SOUS 22105427 HAS SOUPS 21520475 WITH SCORE 2.1600898233E7
AT ITER 1230 NEW BEST:: SOT 123019241 SOS 80393225 HAS SOPS 65566078 HAS SOUS 22070499 HAS SOUPS 21486274 WITH SCORE 2.1566667225E7
AT ITER 1232 NEW BEST:: SOT 123019094 SOS 80393044 HAS SOPS 65566815 HAS SOUS 22069876 HAS SOUPS 21485651 WITH SCORE 2.1566044044E7
AT ITER 1235 NEW BEST:: SOT 123025421 SOS 80399441 HAS SOPS 65578079 HAS SOUS 22051078 HAS SOUPS 21467109 WITH SCORE 2.1547508441E7
AT ITER 1246 NEW BEST:: SOT 123034047 SOS 80410913 HAS SOPS 65584752 HAS SOUS 22050984 HAS SOUPS 21467015 WITH SCORE 2.1547425913E7
AT ITER 1247 NEW BEST:: SOT 123033889 SOS 80430002 HAS SOPS 65616235 HAS SOUS 22050431 HAS SOUPS 21466593 WITH SCORE 2.1547023002E7
AT ITER 1258 NEW BEST:: SOT 123033792 SOS 80430407 HAS SOPS 65616272 HAS SOUS 22049034 HAS SOUPS 21465196 WITH SCORE 2.1545626407E7
AT ITER 1260 NEW BEST:: SOT 123019340 SOS 80408270 HAS SOPS 65581838 HAS SOUS 21995517 HAS SOUPS 21411679 WITH SCORE 2.149208727E7
AT ITER 1266 NEW BEST:: SOT 123012489 SOS 80401857 HAS SOPS 65572746 HAS SOUS 21978489 HAS SOUPS 21394610 WITH SCORE 2.1475011857E7
AT ITER 1282 NEW BEST:: SOT 122954450 SOS 80319586 HAS SOPS 65493207 HAS SOUS 21937548 HAS SOUPS 21353784 WITH SCORE 2.1434103586E7
AT ITER 1308 NEW BEST:: SOT 122954688 SOS 80325946 HAS SOPS 65500221 HAS SOUS 21914457 HAS SOUPS 21331621 WITH SCORE 2.1411946946E7
AT ITER 1323 NEW BEST:: SOT 122951874 SOS 80323249 HAS SOPS 65498090 HAS SOUS 21890449 HAS SOUPS 21307613 WITH SCORE 2.1387936249E7
AT ITER 1325 NEW BEST:: SOT 122923011 SOS 80281577 HAS SOPS 65453517 HAS SOUS 21841019 HAS SOUPS 21258297 WITH SCORE 2.1338578577E7
AT ITER 1342 NEW BEST:: SOT 122980099 SOS 80349247 HAS SOPS 65507214 HAS SOUS 21837595 HAS SOUPS 21250851 WITH SCORE 2.1331200247E7
AT ITER 1343 NEW BEST:: SOT 122977925 SOS 80349798 HAS SOPS 65505475 HAS SOUS 21833449 HAS SOUPS 21246705 WITH SCORE 2.1327054798E7
AT ITER 1346 NEW BEST:: SOT 122978349 SOS 80353739 HAS SOPS 65507990 HAS SOUS 21831338 HAS SOUPS 21244476 WITH SCORE 2.1324829739E7
AT ITER 1347 NEW BEST:: SOT 122982629 SOS 80359451 HAS SOPS 65515220 HAS SOUS 21812769 HAS SOUPS 21226420 WITH SCORE 2.1306779451E7
AT ITER 1352 NEW BEST:: SOT 122981618 SOS 80365560 HAS SOPS 65515939 HAS SOUS 21800754 HAS SOUPS 21214405 WITH SCORE 2.129477056E7
AT ITER 1354 NEW BEST:: SOT 122981938 SOS 80380999 HAS SOPS 65543886 HAS SOUS 21800609 HAS SOUPS 21214260 WITH SCORE 2.1294640999E7
AT ITER 1360 NEW BEST:: SOT 122981475 SOS 80379993 HAS SOPS 65537444 HAS SOUS 21787931 HAS SOUPS 21201582 WITH SCORE 2.1281961993E7
AT ITER 1366 NEW BEST:: SOT 122960991 SOS 80353812 HAS SOPS 65512699 HAS SOUS 21758667 HAS SOUPS 21173258 WITH SCORE 2.1253611812E7
AT ITER 1367 NEW BEST:: SOT 122962883 SOS 80355421 HAS SOPS 65515708 HAS SOUS 21751303 HAS SOUPS 21165894 WITH SCORE 2.1246249421E7
AT ITER 1372 NEW BEST:: SOT 122962063 SOS 80355781 HAS SOPS 65516243 HAS SOUS 21750854 HAS SOUPS 21165445 WITH SCORE 2.1245800781E7
AT ITER 1379 NEW BEST:: SOT 122953263 SOS 80342245 HAS SOPS 65507315 HAS SOUS 21724669 HAS SOUPS 21138708 WITH SCORE 2.1219050245E7
AT ITER 1381 NEW BEST:: SOT 122927667 SOS 80309897 HAS SOPS 65474066 HAS SOUS 21686629 HAS SOUPS 21100668 WITH SCORE 2.1180977897E7
AT ITER 1387 NEW BEST:: SOT 122938526 SOS 80334407 HAS SOPS 65490661 HAS SOUS 21678660 HAS SOUPS 21092699 WITH SCORE 2.1173033407E7
AT ITER 1396 NEW BEST:: SOT 122927922 SOS 80329411 HAS SOPS 65489162 HAS SOUS 21665719 HAS SOUPS 21079758 WITH SCORE 2.1160087411E7
AT ITER 1410 NEW BEST:: SOT 122922338 SOS 80329250 HAS SOPS 65476653 HAS SOUS 21641447 HAS SOUPS 21055486 WITH SCORE 2.113581525E7
AT ITER 1411 NEW BEST:: SOT 122907883 SOS 80308814 HAS SOPS 65450433 HAS SOUS 21615508 HAS SOUPS 21029547 WITH SCORE 2.1109855814E7
AT ITER 1416 NEW BEST:: SOT 122866023 SOS 80246713 HAS SOPS 65396959 HAS SOUS 21555156 HAS SOUPS 20969195 WITH SCORE 2.1049441713E7
AT ITER 1433 NEW BEST:: SOT 122858673 SOS 80237638 HAS SOPS 65386665 HAS SOUS 21542991 HAS SOUPS 20957030 WITH SCORE 2.1037267638E7
AT ITER 1447 NEW BEST:: SOT 122825134 SOS 80180529 HAS SOPS 65334883 HAS SOUS 21498810 HAS SOUPS 20913388 WITH SCORE 2.0993568529E7
AT ITER 1450 NEW BEST:: SOT 122839874 SOS 80207458 HAS SOPS 65346399 HAS SOUS 21490570 HAS SOUPS 20905148 WITH SCORE 2.0985355458E7
AT ITER 1454 NEW BEST:: SOT 122843789 SOS 80220829 HAS SOPS 65353359 HAS SOUS 21482283 HAS SOUPS 20896861 WITH SCORE 2.0977081829E7
AT ITER 1455 NEW BEST:: SOT 122844092 SOS 80226781 HAS SOPS 65353796 HAS SOUS 21461381 HAS SOUPS 20875689 WITH SCORE 2.0955915781E7
AT ITER 1463 NEW BEST:: SOT 122854932 SOS 80273809 HAS SOPS 65371732 HAS SOUS 21434004 HAS SOUPS 20848124 WITH SCORE 2.0928397809E7
AT ITER 1475 NEW BEST:: SOT 122859060 SOS 80293466 HAS SOPS 65389442 HAS SOUS 21430346 HAS SOUPS 20844466 WITH SCORE 2.0924759466E7
AT ITER 1483 NEW BEST:: SOT 122802744 SOS 80220341 HAS SOPS 65322602 HAS SOUS 21328242 HAS SOUPS 20742587 WITH SCORE 2.0822807341E7
AT ITER 1493 NEW BEST:: SOT 122805620 SOS 80227103 HAS SOPS 65325163 HAS SOUS 21325398 HAS SOUPS 20739743 WITH SCORE 2.0819970103E7
AT ITER 1495 NEW BEST:: SOT 122804376 SOS 80226314 HAS SOPS 65324513 HAS SOUS 21324423 HAS SOUPS 20738768 WITH SCORE 2.0818994314E7
AT ITER 1497 NEW BEST:: SOT 122804960 SOS 80235841 HAS SOPS 65325541 HAS SOUS 21308700 HAS SOUPS 20723045 WITH SCORE 2.0803280841E7
AT ITER 1506 NEW BEST:: SOT 122802560 SOS 80232700 HAS SOPS 65322565 HAS SOUS 21308322 HAS SOUPS 20722667 WITH SCORE 2.08028997E7
AT ITER 1511 NEW BEST:: SOT 122776818 SOS 80196872 HAS SOPS 65289775 HAS SOUS 21290303 HAS SOUPS 20704659 WITH SCORE 2.0784855872E7
AT ITER 1524 NEW BEST:: SOT 122751034 SOS 80171148 HAS SOPS 65263968 HAS SOUS 21261630 HAS SOUPS 20675937 WITH SCORE 2.0756108148E7
AT ITER 1535 NEW BEST:: SOT 122751558 SOS 80191747 HAS SOPS 65284488 HAS SOUS 21261585 HAS SOUPS 20675892 WITH SCORE 2.0756083747E7
AT ITER 1544 NEW BEST:: SOT 122749062 SOS 80191423 HAS SOPS 65281968 HAS SOUS 21260291 HAS SOUPS 20674152 WITH SCORE 2.0754343423E7
AT ITER 1546 NEW BEST:: SOT 122748269 SOS 80208006 HAS SOPS 65323044 HAS SOUS 21259703 HAS SOUPS 20673564 WITH SCORE 2.0753772006E7
AT ITER 1547 NEW BEST:: SOT 122743107 SOS 80200785 HAS SOPS 65314254 HAS SOUS 21250618 HAS SOUPS 20664532 WITH SCORE 2.0744732785E7
AT ITER 1551 NEW BEST:: SOT 122736615 SOS 80193476 HAS SOPS 65307245 HAS SOUS 21232839 HAS SOUPS 20646753 WITH SCORE 2.0726946476E7
AT ITER 1552 NEW BEST:: SOT 122728833 SOS 80202921 HAS SOPS 65332338 HAS SOUS 21227799 HAS SOUPS 20641713 WITH SCORE 2.0721915921E7
AT ITER 1559 NEW BEST:: SOT 122740717 SOS 80230103 HAS SOPS 65357883 HAS SOUS 21224590 HAS SOUPS 20638504 WITH SCORE 2.0718734103E7
AT ITER 1582 NEW BEST:: SOT 122740146 SOS 80233019 HAS SOPS 65357698 HAS SOUS 21213027 HAS SOUPS 20626941 WITH SCORE 2.0707174019E7
AT ITER 1583 NEW BEST:: SOT 122709795 SOS 80182095 HAS SOPS 65311509 HAS SOUS 21184010 HAS SOUPS 20598971 WITH SCORE 2.0679153095E7
AT ITER 1595 NEW BEST:: SOT 122709263 SOS 80181452 HAS SOPS 65310802 HAS SOUS 21182629 HAS SOUPS 20597590 WITH SCORE 2.0677771452E7
AT ITER 1611 NEW BEST:: SOT 122681135 SOS 80149303 HAS SOPS 65277047 HAS SOUS 21122841 HAS SOUPS 20536996 WITH SCORE 2.0617145303E7
AT ITER 1639 NEW BEST:: SOT 122683610 SOS 80161813 HAS SOPS 65289802 HAS SOUS 21116091 HAS SOUPS 20530246 WITH SCORE 2.0610407813E7
AT ITER 1641 NEW BEST:: SOT 122682559 SOS 80160759 HAS SOPS 65289260 HAS SOUS 21112876 HAS SOUPS 20527115 WITH SCORE 2.0607275759E7
AT ITER 1645 NEW BEST:: SOT 122678962 SOS 80157061 HAS SOPS 65283080 HAS SOUS 21102861 HAS SOUPS 20516990 WITH SCORE 2.0597147061E7
AT ITER 1655 NEW BEST:: SOT 122678962 SOS 80154801 HAS SOPS 65282772 HAS SOUS 21102827 HAS SOUPS 20516956 WITH SCORE 2.0597110801E7
AT ITER 1665 NEW BEST:: SOT 122685934 SOS 80156571 HAS SOPS 65287725 HAS SOUS 21096277 HAS SOUPS 20511123 WITH SCORE 2.0591279571E7
AT ITER 1674 NEW BEST:: SOT 122671486 SOS 80134331 HAS SOPS 65275947 HAS SOUS 21084007 HAS SOUPS 20499092 WITH SCORE 2.0579226331E7
AT ITER 1737 NEW BEST:: SOT 122671486 SOS 80135195 HAS SOPS 65277323 HAS SOUS 21083982 HAS SOUPS 20499067 WITH SCORE 2.0579202195E7
AT ITER 1742 NEW BEST:: SOT 122663899 SOS 80126215 HAS SOPS 65266744 HAS SOUS 21070527 HAS SOUPS 20485612 WITH SCORE 2.0565738215E7
AT ITER 1744 NEW BEST:: SOT 122636628 SOS 79996643 HAS SOPS 65165737 HAS SOUS 21058137 HAS SOUPS 20473222 WITH SCORE 2.0553218643E7
AT ITER 1752 NEW BEST:: SOT 122693828 SOS 80069612 HAS SOPS 65228925 HAS SOUS 21051644 HAS SOUPS 20466729 WITH SCORE 2.0546798612E7
AT ITER 1757 NEW BEST:: SOT 122697380 SOS 80093432 HAS SOPS 65267410 HAS SOUS 21044009 HAS SOUPS 20459094 WITH SCORE 2.0539187432E7
AT ITER 1780 NEW BEST:: SOT 122686635 SOS 80076504 HAS SOPS 65250197 HAS SOUS 21019535 HAS SOUPS 20434796 WITH SCORE 2.0514872504E7
AT ITER 1803 NEW BEST:: SOT 122680647 SOS 80059720 HAS SOPS 65237707 HAS SOUS 21018909 HAS SOUPS 20434170 WITH SCORE 2.051422972E7
AT ITER 1814 NEW BEST:: SOT 122680647 SOS 80060186 HAS SOPS 65235853 HAS SOUS 21018863 HAS SOUPS 20434124 WITH SCORE 2.0514184186E7
AT ITER 1825 NEW BEST:: SOT 122675501 SOS 80053659 HAS SOPS 65234414 HAS SOUS 21012923 HAS SOUPS 20428756 WITH SCORE 2.0508809659E7
AT ITER 1826 NEW BEST:: SOT 122672053 SOS 80050045 HAS SOPS 65231208 HAS SOUS 21003742 HAS SOUPS 20419575 WITH SCORE 2.0499625045E7
AT ITER 1863 NEW BEST:: SOT 122647877 SOS 80017488 HAS SOPS 65198585 HAS SOUS 20945148 HAS SOUPS 20361217 WITH SCORE 2.0441234488E7
AT ITER 1864 NEW BEST:: SOT 122630719 SOS 79991780 HAS SOPS 65180143 HAS SOUS 20926677 HAS SOUPS 20342906 WITH SCORE 2.042289778E7
AT ITER 1878 NEW BEST:: SOT 122637744 SOS 80004002 HAS SOPS 65191870 HAS SOUS 20926628 HAS SOUPS 20342737 WITH SCORE 2.0422741002E7
AT ITER 1882 NEW BEST:: SOT 122637685 SOS 80003943 HAS SOPS 65191843 HAS SOUS 20926569 HAS SOUPS 20342710 WITH SCORE 2.0422713943E7
AT ITER 1890 NEW BEST:: SOT 122627715 SOS 79996650 HAS SOPS 65181949 HAS SOUS 20926010 HAS SOUPS 20341573 WITH SCORE 2.042156965E7
AT ITER 1891 NEW BEST:: SOT 122785069 SOS 80141857 HAS SOPS 65318719 HAS SOUS 20924941 HAS SOUPS 20340675 WITH SCORE 2.0420816857E7
AT ITER 1892 NEW BEST:: SOT 122792609 SOS 80152447 HAS SOPS 65323682 HAS SOUS 20924274 HAS SOUPS 20340008 WITH SCORE 2.0420160447E7
AT ITER 1899 NEW BEST:: SOT 122698349 SOS 80007957 HAS SOPS 65194825 HAS SOUS 20809122 HAS SOUPS 20225086 WITH SCORE 2.0305093957E7
AT ITER 1907 NEW BEST:: SOT 122679934 SOS 79965636 HAS SOPS 65170031 HAS SOUS 20797105 HAS SOUPS 20213284 WITH SCORE 2.0293249636E7
AT ITER 1920 NEW BEST:: SOT 122671585 SOS 79946672 HAS SOPS 65155667 HAS SOUS 20796492 HAS SOUPS 20212671 WITH SCORE 2.0292617672E7
AT ITER 1931 NEW BEST:: SOT 122661296 SOS 79932722 HAS SOPS 65142219 HAS SOUS 20771516 HAS SOUPS 20187567 WITH SCORE 2.0267499722E7
AT ITER 1941 NEW BEST:: SOT 122661028 SOS 79932454 HAS SOPS 65141951 HAS SOUS 20770960 HAS SOUPS 20187011 WITH SCORE 2.0266943454E7
AT ITER 1962 NEW BEST:: SOT 122667040 SOS 79955846 HAS SOPS 65158587 HAS SOUS 20760875 HAS SOUPS 20176926 WITH SCORE 2.0256881846E7
AT ITER 1967 NEW BEST:: SOT 122673282 SOS 79980096 HAS SOPS 65173663 HAS SOUS 20747038 HAS SOUPS 20163089 WITH SCORE 2.0243069096E7
AT ITER 1975 NEW BEST:: SOT 122675722 SOS 80004853 HAS SOPS 65197353 HAS SOUS 20692668 HAS SOUPS 20108452 WITH SCORE 2.0188456853E7
AT ITER 2011 NEW BEST:: SOT 122674450 SOS 80004346 HAS SOPS 65197708 HAS SOUS 20688573 HAS SOUPS 20104315 WITH SCORE 2.0184319346E7
AT ITER 2024 NEW BEST:: SOT 122675122 SOS 80005684 HAS SOPS 65199867 HAS SOUS 20687627 HAS SOUPS 20103369 WITH SCORE 2.0183374684E7
AT ITER 2026 NEW BEST:: SOT 122682684 SOS 80026243 HAS SOPS 65213883 HAS SOUS 20669366 HAS SOUPS 20085108 WITH SCORE 2.0165134243E7
AT ITER 2044 NEW BEST:: SOT 122681793 SOS 80023626 HAS SOPS 65211935 HAS SOUS 20668959 HAS SOUPS 20084727 WITH SCORE 2.0164750626E7
AT ITER 2053 NEW BEST:: SOT 122681350 SOS 80023260 HAS SOPS 65230090 HAS SOUS 20668051 HAS SOUPS 20083819 WITH SCORE 2.016384226E7
AT ITER 2064 NEW BEST:: SOT 122723916 SOS 80106566 HAS SOPS 65298203 HAS SOUS 20659858 HAS SOUPS 20075626 WITH SCORE 2.0155732566E7
AT ITER 2096 NEW BEST:: SOT 122718798 SOS 80087574 HAS SOPS 65281954 HAS SOUS 20651382 HAS SOUPS 20067150 WITH SCORE 2.0147237574E7
AT ITER 2103 NEW BEST:: SOT 122717275 SOS 80085695 HAS SOPS 65278460 HAS SOUS 20649176 HAS SOUPS 20064944 WITH SCORE 2.0145029695E7
AT ITER 2112 NEW BEST:: SOT 122699198 SOS 80055137 HAS SOPS 65295705 HAS SOUS 20648339 HAS SOUPS 20064107 WITH SCORE 2.0144162137E7
AT ITER 2130 NEW BEST:: SOT 122698586 SOS 80054449 HAS SOPS 65294939 HAS SOUS 20648027 HAS SOUPS 20063795 WITH SCORE 2.0143849449E7
AT ITER 2137 NEW BEST:: SOT 122666596 SOS 80023569 HAS SOPS 65267657 HAS SOUS 20550969 HAS SOUPS 19967138 WITH SCORE 2.0047161569E7
AT ITER 2138 NEW BEST:: SOT 122666922 SOS 80058448 HAS SOPS 65307235 HAS SOUS 20549336 HAS SOUPS 19965505 WITH SCORE 2.0045563448E7
AT ITER 2143 NEW BEST:: SOT 122663301 SOS 80054861 HAS SOPS 65303535 HAS SOUS 20539181 HAS SOUPS 19955356 WITH SCORE 2.0035410861E7
AT ITER 2161 NEW BEST:: SOT 122661975 SOS 80053538 HAS SOPS 65302160 HAS SOUS 20536779 HAS SOUPS 19952954 WITH SCORE 2.0033007538E7
AT ITER 2162 NEW BEST:: SOT 122658201 SOS 80042382 HAS SOPS 65310903 HAS SOUS 20530471 HAS SOUPS 19946902 WITH SCORE 2.0026944382E7
AT ITER 2165 NEW BEST:: SOT 122657103 SOS 80041125 HAS SOPS 65309140 HAS SOUS 20527304 HAS SOUPS 19943735 WITH SCORE 2.0023776125E7
AT ITER 2176 NEW BEST:: SOT 122649398 SOS 80033414 HAS SOPS 65301243 HAS SOUS 20518607 HAS SOUPS 19935038 WITH SCORE 2.0015071414E7
AT ITER 2187 NEW BEST:: SOT 122649398 SOS 80032598 HAS SOPS 65300417 HAS SOUS 20518579 HAS SOUPS 19935010 WITH SCORE 2.0015042598E7
AT ITER 2190 NEW BEST:: SOT 122643028 SOS 80025005 HAS SOPS 65292091 HAS SOUS 20502823 HAS SOUPS 19919294 WITH SCORE 1.9999319005E7
AT ITER 2195 NEW BEST:: SOT 122637027 SOS 80003169 HAS SOPS 65281472 HAS SOUS 20501160 HAS SOUPS 19917631 WITH SCORE 1.9997634169E7
AT ITER 2206 NEW BEST:: SOT 122638043 SOS 80005359 HAS SOPS 65289064 HAS SOUS 20497440 HAS SOUPS 19913911 WITH SCORE 1.9993916359E7
AT ITER 2210 NEW BEST:: SOT 122637673 SOS 79999333 HAS SOPS 65285092 HAS SOUS 20496387 HAS SOUPS 19912858 WITH SCORE 1.9992857333E7
AT ITER 2229 NEW BEST:: SOT 122623824 SOS 79985569 HAS SOPS 65266804 HAS SOUS 20479346 HAS SOUPS 19895509 WITH SCORE 1.9975494569E7
AT ITER 2253 NEW BEST:: SOT 122612050 SOS 79957219 HAS SOPS 65246837 HAS SOUS 20475852 HAS SOUPS 19892145 WITH SCORE 1.9972102219E7
AT ITER 2261 NEW BEST:: SOT 122627693 SOS 79972862 HAS SOPS 65262480 HAS SOUS 20469063 HAS SOUPS 19885356 WITH SCORE 1.9965328862E7
AT ITER 2289 NEW BEST:: SOT 122627343 SOS 79968490 HAS SOPS 65259477 HAS SOUS 20468002 HAS SOUPS 19884313 WITH SCORE 1.996428149E7
AT ITER 2290 NEW BEST:: SOT 122627011 SOS 79966191 HAS SOPS 65254494 HAS SOUS 20462108 HAS SOUPS 19878419 WITH SCORE 1.9958385191E7
AT ITER 2313 NEW BEST:: SOT 122613924 SOS 79937569 HAS SOPS 65223555 HAS SOUS 20446716 HAS SOUPS 19863027 WITH SCORE 1.9942964569E7
AT ITER 2321 NEW BEST:: SOT 122609934 SOS 79919313 HAS SOPS 65209631 HAS SOUS 20419571 HAS SOUPS 19835882 WITH SCORE 1.9915801313E7
AT ITER 2323 NEW BEST:: SOT 122604737 SOS 79907045 HAS SOPS 65202274 HAS SOUS 20416315 HAS SOUPS 19832626 WITH SCORE 1.9912533045E7
AT ITER 2327 NEW BEST:: SOT 122604748 SOS 79907765 HAS SOPS 65202139 HAS SOUS 20416023 HAS SOUPS 19832334 WITH SCORE 1.9912241765E7
AT ITER 2338 NEW BEST:: SOT 122603963 SOS 79909994 HAS SOPS 65192510 HAS SOUS 20409664 HAS SOUPS 19825975 WITH SCORE 1.9905884994E7
AT ITER 2347 NEW BEST:: SOT 122596487 SOS 79901318 HAS SOPS 65185054 HAS SOUS 20390313 HAS SOUPS 19808221 WITH SCORE 1.9888122318E7
AT ITER 2362 NEW BEST:: SOT 122596487 SOS 79911526 HAS SOPS 65202878 HAS SOUS 20390122 HAS SOUPS 19808030 WITH SCORE 1.9887941526E7
AT ITER 2374 NEW BEST:: SOT 122597132 SOS 79913739 HAS SOPS 65203817 HAS SOUS 20387253 HAS SOUPS 19805161 WITH SCORE 1.9885074739E7
AT ITER 2376 NEW BEST:: SOT 122597131 SOS 79924586 HAS SOPS 65217287 HAS SOUS 20387227 HAS SOUPS 19805135 WITH SCORE 1.9885059586E7
AT ITER 2397 NEW BEST:: SOT 122645224 SOS 79997399 HAS SOPS 65272040 HAS SOUS 20382372 HAS SOUPS 19800280 WITH SCORE 1.9880277399E7
AT ITER 2401 NEW BEST:: SOT 122655088 SOS 80011287 HAS SOPS 65277700 HAS SOUS 20368593 HAS SOUPS 19786441 WITH SCORE 1.9866452287E7
AT ITER 2405 NEW BEST:: SOT 122652974 SOS 80004602 HAS SOPS 65275013 HAS SOUS 20357696 HAS SOUPS 19775544 WITH SCORE 1.9855548602E7
AT ITER 2428 NEW BEST:: SOT 122652806 SOS 80004497 HAS SOPS 65274637 HAS SOUS 20357031 HAS SOUPS 19774871 WITH SCORE 1.9854875497E7
AT ITER 2442 NEW BEST:: SOT 122647261 SOS 79999016 HAS SOPS 65266145 HAS SOUS 20352312 HAS SOUPS 19770152 WITH SCORE 1.9850151016E7
AT ITER 2462 NEW BEST:: SOT 122644530 SOS 79997422 HAS SOPS 65263472 HAS SOUS 20348337 HAS SOUPS 19766161 WITH SCORE 1.9846158422E7
AT ITER 2472 NEW BEST:: SOT 122638874 SOS 79991106 HAS SOPS 65257189 HAS SOUS 20337764 HAS SOUPS 19755621 WITH SCORE 1.9835612106E7
AT ITER 2474 NEW BEST:: SOT 122641090 SOS 79993636 HAS SOPS 65255449 HAS SOUS 20336177 HAS SOUPS 19754161 WITH SCORE 1.9834154636E7
AT ITER 2479 NEW BEST:: SOT 122632873 SOS 79984227 HAS SOPS 65240496 HAS SOUS 20326794 HAS SOUPS 19743434 WITH SCORE 1.9823418227E7
AT ITER 2491 NEW BEST:: SOT 122633212 SOS 80014021 HAS SOPS 65278122 HAS SOUS 20326542 HAS SOUPS 19743182 WITH SCORE 1.9823196021E7
AT ITER 2500 NEW BEST:: SOT 122628261 SOS 80006924 HAS SOPS 65272698 HAS SOUS 20319224 HAS SOUPS 19735864 WITH SCORE 1.9815870924E7
AT ITER 2502 NEW BEST:: SOT 122627944 SOS 80004593 HAS SOPS 65269105 HAS SOUS 20313813 HAS SOUPS 19730453 WITH SCORE 1.9810457593E7

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

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