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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 70M
-rw-r--r-- 1 mcc users 3.7K Apr 12 07:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 12 07:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.9K Apr 11 08:45 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K Apr 11 08:45 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:38 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Apr 14 12:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K 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.5K Apr 10 14:37 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 10 14:37 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.6K Apr 9 21:12 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 9 21:11 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)

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 RERS17pb115-PT-6-CTLFireability-00
FORMULA_NAME RERS17pb115-PT-6-CTLFireability-01
FORMULA_NAME RERS17pb115-PT-6-CTLFireability-02
FORMULA_NAME RERS17pb115-PT-6-CTLFireability-03
FORMULA_NAME RERS17pb115-PT-6-CTLFireability-04
FORMULA_NAME RERS17pb115-PT-6-CTLFireability-05
FORMULA_NAME RERS17pb115-PT-6-CTLFireability-06
FORMULA_NAME RERS17pb115-PT-6-CTLFireability-07
FORMULA_NAME RERS17pb115-PT-6-CTLFireability-08
FORMULA_NAME RERS17pb115-PT-6-CTLFireability-09
FORMULA_NAME RERS17pb115-PT-6-CTLFireability-10
FORMULA_NAME RERS17pb115-PT-6-CTLFireability-11
FORMULA_NAME RERS17pb115-PT-6-CTLFireability-12
FORMULA_NAME RERS17pb115-PT-6-CTLFireability-13
FORMULA_NAME RERS17pb115-PT-6-CTLFireability-14
FORMULA_NAME RERS17pb115-PT-6-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589770436474

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb115 (PT), instance 6
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: 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 8 NEW BEST:: SOT 123410665 SOS 80202672 HAS SOPS 65182081 HAS SOUS 24042423 HAS SOUPS 23469649 WITH SCORE 2.3549851672E7
AT ITER 13 NEW BEST:: SOT 123403337 SOS 80191249 HAS SOPS 65166863 HAS SOUS 24025721 HAS SOUPS 23452947 WITH SCORE 2.3533138249E7
AT ITER 41 NEW BEST:: SOT 123379910 SOS 80144574 HAS SOPS 65134020 HAS SOUS 24019454 HAS SOUPS 23446680 WITH SCORE 2.3526824574E7
AT ITER 77 NEW BEST:: SOT 123402287 SOS 80197423 HAS SOPS 65185355 HAS SOUS 24009166 HAS SOUPS 23436392 WITH SCORE 2.3516589423E7
AT ITER 78 NEW BEST:: SOT 123402981 SOS 80218458 HAS SOPS 65199579 HAS SOUS 24007227 HAS SOUPS 23434453 WITH SCORE 2.3514671458E7
AT ITER 80 NEW BEST:: SOT 123361017 SOS 80178580 HAS SOPS 65155764 HAS SOUS 23956123 HAS SOUPS 23378668 WITH SCORE 2.345884658E7
AT ITER 85 NEW BEST:: SOT 123357454 SOS 80174537 HAS SOPS 65151661 HAS SOUS 23946408 HAS SOUPS 23369315 WITH SCORE 2.3449489537E7
AT ITER 87 NEW BEST:: SOT 123363906 SOS 80185238 HAS SOPS 65164664 HAS SOUS 23938678 HAS SOUPS 23361585 WITH SCORE 2.3441770238E7
AT ITER 93 NEW BEST:: SOT 123373383 SOS 80213534 HAS SOPS 65186583 HAS SOUS 23936313 HAS SOUPS 23359220 WITH SCORE 2.3439433534E7
AT ITER 97 NEW BEST:: SOT 123373375 SOS 80213442 HAS SOPS 65186403 HAS SOUS 23936261 HAS SOUPS 23359168 WITH SCORE 2.3439381442E7
AT ITER 100 NEW BEST:: SOT 123353253 SOS 80199342 HAS SOPS 65184412 HAS SOUS 23933551 HAS SOUPS 23356458 WITH SCORE 2.3436657342E7
AT ITER 101 NEW BEST:: SOT 123364172 SOS 80222972 HAS SOPS 65199845 HAS SOUS 23933457 HAS SOUPS 23356216 WITH SCORE 2.3436438972E7
AT ITER 106 NEW BEST:: SOT 123364721 SOS 80224041 HAS SOPS 65200462 HAS SOUS 23933449 HAS SOUPS 23356208 WITH SCORE 2.3436432041E7
AT ITER 130 NEW BEST:: SOT 123370972 SOS 80248012 HAS SOPS 65226570 HAS SOUS 23925215 HAS SOUPS 23347974 WITH SCORE 2.3428222012E7
AT ITER 131 NEW BEST:: SOT 123369040 SOS 80245722 HAS SOPS 65221099 HAS SOUS 23916806 HAS SOUPS 23339565 WITH SCORE 2.3419810722E7
AT ITER 137 NEW BEST:: SOT 123373373 SOS 80246387 HAS SOPS 65225045 HAS SOUS 23915726 HAS SOUPS 23338582 WITH SCORE 2.3418828387E7
AT ITER 151 NEW BEST:: SOT 123373466 SOS 80246582 HAS SOPS 65226872 HAS SOUS 23915477 HAS SOUPS 23338333 WITH SCORE 2.3418579582E7
AT ITER 154 NEW BEST:: SOT 123284679 SOS 80106559 HAS SOPS 65104810 HAS SOUS 23811126 HAS SOUPS 23234449 WITH SCORE 2.3314555559E7
AT ITER 155 NEW BEST:: SOT 123264342 SOS 80103943 HAS SOPS 65104882 HAS SOUS 23742437 HAS SOUPS 23165733 WITH SCORE 2.3245836943E7
AT ITER 164 NEW BEST:: SOT 123263238 SOS 80102126 HAS SOPS 65101056 HAS SOUS 23736321 HAS SOUPS 23159617 WITH SCORE 2.3239719126E7
AT ITER 183 NEW BEST:: SOT 123228587 SOS 80036754 HAS SOPS 65072918 HAS SOUS 23724747 HAS SOUPS 23148043 WITH SCORE 2.3228079754E7
AT ITER 195 NEW BEST:: SOT 123223590 SOS 80025769 HAS SOPS 65057106 HAS SOUS 23710663 HAS SOUPS 23134016 WITH SCORE 2.3214041769E7
AT ITER 198 NEW BEST:: SOT 123221914 SOS 80023610 HAS SOPS 65054378 HAS SOUS 23706831 HAS SOUPS 23130205 WITH SCORE 2.321022861E7
AT ITER 221 NEW BEST:: SOT 123270331 SOS 80115254 HAS SOPS 65134314 HAS SOUS 23687347 HAS SOUPS 23110721 WITH SCORE 2.3190836254E7
AT ITER 223 NEW BEST:: SOT 123269525 SOS 80114425 HAS SOPS 65132999 HAS SOUS 23685403 HAS SOUPS 23108777 WITH SCORE 2.3188891425E7
AT ITER 226 NEW BEST:: SOT 123273800 SOS 80124540 HAS SOPS 65143481 HAS SOUS 23679387 HAS SOUPS 23102761 WITH SCORE 2.318288554E7
AT ITER 242 NEW BEST:: SOT 123278683 SOS 80129618 HAS SOPS 65149193 HAS SOUS 23674886 HAS SOUPS 23098843 WITH SCORE 2.3178972618E7
AT ITER 244 NEW BEST:: SOT 123267222 SOS 80115669 HAS SOPS 65136452 HAS SOUS 23653016 HAS SOUPS 23077057 WITH SCORE 2.3157172669E7
AT ITER 245 NEW BEST:: SOT 123272230 SOS 80123205 HAS SOPS 65144892 HAS SOUS 23652468 HAS SOUPS 23076509 WITH SCORE 2.3156632205E7
AT ITER 248 NEW BEST:: SOT 123271895 SOS 80126735 HAS SOPS 65143489 HAS SOUS 23648980 HAS SOUPS 23073021 WITH SCORE 2.3153147735E7
AT ITER 280 NEW BEST:: SOT 123270479 SOS 80125199 HAS SOPS 65141821 HAS SOUS 23646649 HAS SOUPS 23070690 WITH SCORE 2.3150815199E7
AT ITER 284 NEW BEST:: SOT 123262785 SOS 80116572 HAS SOPS 65129721 HAS SOUS 23631775 HAS SOUPS 23055865 WITH SCORE 2.3135981572E7
AT ITER 296 NEW BEST:: SOT 123257934 SOS 80114173 HAS SOPS 65129394 HAS SOUS 23626562 HAS SOUPS 23050652 WITH SCORE 2.3130766173E7
AT ITER 303 NEW BEST:: SOT 123255707 SOS 80107886 HAS SOPS 65131094 HAS SOUS 23616449 HAS SOUPS 23040539 WITH SCORE 2.3120646886E7
AT ITER 310 NEW BEST:: SOT 123245531 SOS 80095329 HAS SOPS 65112463 HAS SOUS 23594569 HAS SOUPS 23018659 WITH SCORE 2.3098754329E7
AT ITER 316 NEW BEST:: SOT 123245531 SOS 80094765 HAS SOPS 65111899 HAS SOUS 23594490 HAS SOUPS 23018580 WITH SCORE 2.3098674765E7
AT ITER 318 NEW BEST:: SOT 123235327 SOS 80081226 HAS SOPS 65097310 HAS SOUS 23576924 HAS SOUPS 23001189 WITH SCORE 2.3081270226E7
AT ITER 324 NEW BEST:: SOT 123235345 SOS 80090364 HAS SOPS 65108048 HAS SOUS 23576796 HAS SOUPS 23001061 WITH SCORE 2.3081151364E7
AT ITER 345 NEW BEST:: SOT 123232643 SOS 80087250 HAS SOPS 65102458 HAS SOUS 23570452 HAS SOUPS 22990439 WITH SCORE 2.307052625E7
AT ITER 346 NEW BEST:: SOT 123227104 SOS 80083911 HAS SOPS 65096003 HAS SOUS 23556213 HAS SOUPS 22976200 WITH SCORE 2.3056283911E7
AT ITER 347 NEW BEST:: SOT 123250356 SOS 80116540 HAS SOPS 65168492 HAS SOUS 23539528 HAS SOUPS 22960120 WITH SCORE 2.304023654E7
AT ITER 349 NEW BEST:: SOT 123249933 SOS 80115769 HAS SOPS 65167889 HAS SOUS 23539080 HAS SOUPS 22959672 WITH SCORE 2.3039787769E7
AT ITER 366 NEW BEST:: SOT 123250435 SOS 80110533 HAS SOPS 65170303 HAS SOUS 23528262 HAS SOUPS 22949045 WITH SCORE 2.3029155533E7
AT ITER 368 NEW BEST:: SOT 123248344 SOS 80108611 HAS SOPS 65167759 HAS SOUS 23523952 HAS SOUPS 22944758 WITH SCORE 2.3024866611E7
AT ITER 370 NEW BEST:: SOT 123220241 SOS 80066786 HAS SOPS 65129529 HAS SOUS 23489526 HAS SOUPS 22910475 WITH SCORE 2.2990541786E7
AT ITER 372 NEW BEST:: SOT 123200256 SOS 80033801 HAS SOPS 65112453 HAS SOUS 23462359 HAS SOUPS 22883352 WITH SCORE 2.2963385801E7
AT ITER 377 NEW BEST:: SOT 123199450 SOS 80046955 HAS SOPS 65133355 HAS SOUS 23459707 HAS SOUPS 22880700 WITH SCORE 2.2960746955E7
AT ITER 385 NEW BEST:: SOT 123211965 SOS 80060239 HAS SOPS 65153839 HAS SOUS 23455418 HAS SOUPS 22876834 WITH SCORE 2.2956894239E7
AT ITER 386 NEW BEST:: SOT 123211973 SOS 80061483 HAS SOPS 65156759 HAS SOUS 23454773 HAS SOUPS 22876189 WITH SCORE 2.2956250483E7
AT ITER 398 NEW BEST:: SOT 123318826 SOS 80261132 HAS SOPS 65331750 HAS SOUS 23454467 HAS SOUPS 22874899 WITH SCORE 2.2955160132E7
AT ITER 421 NEW BEST:: SOT 123317568 SOS 80259899 HAS SOPS 65330105 HAS SOUS 23451926 HAS SOUPS 22872358 WITH SCORE 2.2952617899E7
AT ITER 432 NEW BEST:: SOT 123303642 SOS 80241713 HAS SOPS 65313297 HAS SOUS 23433811 HAS SOUPS 22854255 WITH SCORE 2.2934496713E7
AT ITER 433 NEW BEST:: SOT 123295475 SOS 80228812 HAS SOPS 65300103 HAS SOUS 23419813 HAS SOUPS 22840257 WITH SCORE 2.2920485812E7
AT ITER 440 NEW BEST:: SOT 123309521 SOS 80277057 HAS SOPS 65338393 HAS SOUS 23403431 HAS SOUPS 22823875 WITH SCORE 2.2904152057E7
AT ITER 445 NEW BEST:: SOT 123312048 SOS 80285395 HAS SOPS 65346222 HAS SOUS 23401721 HAS SOUPS 22822165 WITH SCORE 2.2902450395E7
AT ITER 456 NEW BEST:: SOT 123301835 SOS 80273994 HAS SOPS 65335263 HAS SOUS 23375909 HAS SOUPS 22796353 WITH SCORE 2.2876626994E7
AT ITER 459 NEW BEST:: SOT 123301479 SOS 80273403 HAS SOPS 65334024 HAS SOUS 23375570 HAS SOUPS 22796038 WITH SCORE 2.2876311403E7
AT ITER 475 NEW BEST:: SOT 123310586 SOS 80283528 HAS SOPS 65338742 HAS SOUS 23358059 HAS SOUPS 22778527 WITH SCORE 2.2858810528E7
AT ITER 481 NEW BEST:: SOT 123310586 SOS 80285016 HAS SOPS 65341958 HAS SOUS 23358016 HAS SOUPS 22778484 WITH SCORE 2.2858769016E7
AT ITER 498 NEW BEST:: SOT 123310610 SOS 80285616 HAS SOPS 65342006 HAS SOUS 23357152 HAS SOUPS 22777620 WITH SCORE 2.2857905616E7
AT ITER 500 NEW BEST:: SOT 123312148 SOS 80303753 HAS SOPS 65351370 HAS SOUS 23317245 HAS SOUPS 22737713 WITH SCORE 2.2818016753E7
AT ITER 503 NEW BEST:: SOT 123316247 SOS 80313337 HAS SOPS 65356284 HAS SOUS 23315001 HAS SOUPS 22735469 WITH SCORE 2.2815782337E7
AT ITER 504 NEW BEST:: SOT 123318440 SOS 80323447 HAS SOPS 65358416 HAS SOUS 23303420 HAS SOUPS 22723888 WITH SCORE 2.2804211447E7
AT ITER 518 NEW BEST:: SOT 123309155 SOS 80312158 HAS SOPS 65347185 HAS SOUS 23289286 HAS SOUPS 22709754 WITH SCORE 2.2790066158E7
AT ITER 521 NEW BEST:: SOT 123293830 SOS 80314042 HAS SOPS 65376211 HAS SOUS 23286054 HAS SOUPS 22706522 WITH SCORE 2.2786836042E7
AT ITER 523 NEW BEST:: SOT 123298336 SOS 80323112 HAS SOPS 65381720 HAS SOUS 23282084 HAS SOUPS 22702552 WITH SCORE 2.2782875112E7
AT ITER 533 NEW BEST:: SOT 123317832 SOS 80373877 HAS SOPS 65427828 HAS SOUS 23258173 HAS SOUPS 22678641 WITH SCORE 2.2759014877E7
AT ITER 538 NEW BEST:: SOT 123348506 SOS 80456975 HAS SOPS 65485492 HAS SOUS 23181754 HAS SOUPS 22602212 WITH SCORE 2.2682668975E7
AT ITER 558 NEW BEST:: SOT 123349986 SOS 80461558 HAS SOPS 65491094 HAS SOUS 23175963 HAS SOUPS 22596421 WITH SCORE 2.2676882558E7
AT ITER 571 NEW BEST:: SOT 123350090 SOS 80461545 HAS SOPS 65490576 HAS SOUS 23175428 HAS SOUPS 22595886 WITH SCORE 2.2676347545E7
AT ITER 572 NEW BEST:: SOT 123273336 SOS 80336568 HAS SOPS 65381405 HAS SOUS 23095908 HAS SOUPS 22516439 WITH SCORE 2.2596775568E7
AT ITER 575 NEW BEST:: SOT 123273152 SOS 80350519 HAS SOPS 65389482 HAS SOUS 23078424 HAS SOUPS 22498955 WITH SCORE 2.2579305519E7
AT ITER 595 NEW BEST:: SOT 123276008 SOS 80353136 HAS SOPS 65391614 HAS SOUS 23075494 HAS SOUPS 22495939 WITH SCORE 2.2576292136E7
AT ITER 605 NEW BEST:: SOT 123275362 SOS 80352926 HAS SOPS 65391886 HAS SOUS 23072483 HAS SOUPS 22492928 WITH SCORE 2.2573280926E7
AT ITER 611 NEW BEST:: SOT 123262335 SOS 80330129 HAS SOPS 65367793 HAS SOUS 23040386 HAS SOUPS 22460831 WITH SCORE 2.2541161129E7
AT ITER 623 NEW BEST:: SOT 123253208 SOS 80318302 HAS SOPS 65357065 HAS SOUS 23023486 HAS SOUPS 22444017 WITH SCORE 2.2524335302E7
AT ITER 625 NEW BEST:: SOT 123220265 SOS 80284973 HAS SOPS 65320349 HAS SOUS 22989993 HAS SOUPS 22410384 WITH SCORE 2.2490668973E7
AT ITER 637 NEW BEST:: SOT 123228245 SOS 80296903 HAS SOPS 65329189 HAS SOUS 22973775 HAS SOUPS 22394166 WITH SCORE 2.2474462903E7
AT ITER 648 NEW BEST:: SOT 123213171 SOS 80272239 HAS SOPS 65325122 HAS SOUS 22939581 HAS SOUPS 22359972 WITH SCORE 2.2440244239E7
AT ITER 651 NEW BEST:: SOT 123216823 SOS 80278053 HAS SOPS 65343654 HAS SOUS 22935909 HAS SOUPS 22356300 WITH SCORE 2.2436578053E7
AT ITER 662 NEW BEST:: SOT 123221601 SOS 80304941 HAS SOPS 65359044 HAS SOUS 22919858 HAS SOUPS 22340249 WITH SCORE 2.2420553941E7
AT ITER 672 NEW BEST:: SOT 123224390 SOS 80339231 HAS SOPS 65413422 HAS SOUS 22915106 HAS SOUPS 22335497 WITH SCORE 2.2415836231E7
AT ITER 673 NEW BEST:: SOT 123233539 SOS 80360412 HAS SOPS 65439374 HAS SOUS 22896716 HAS SOUPS 22319418 WITH SCORE 2.2399778412E7
AT ITER 678 NEW BEST:: SOT 123220766 SOS 80395620 HAS SOPS 65488095 HAS SOUS 22896667 HAS SOUPS 22319369 WITH SCORE 2.239976462E7
AT ITER 686 NEW BEST:: SOT 123222732 SOS 80410327 HAS SOPS 65502897 HAS SOUS 22884673 HAS SOUPS 22307375 WITH SCORE 2.2387785327E7
AT ITER 689 NEW BEST:: SOT 123212422 SOS 80399967 HAS SOPS 65491787 HAS SOUS 22873113 HAS SOUPS 22295465 WITH SCORE 2.2375864967E7
AT ITER 693 NEW BEST:: SOT 123215753 SOS 80406614 HAS SOPS 65502488 HAS SOUS 22868410 HAS SOUPS 22290824 WITH SCORE 2.2371230614E7
AT ITER 694 NEW BEST:: SOT 123213166 SOS 80404357 HAS SOPS 65497975 HAS SOUS 22857755 HAS SOUPS 22280169 WITH SCORE 2.2360573357E7
AT ITER 702 NEW BEST:: SOT 123206833 SOS 80402520 HAS SOPS 65489378 HAS SOUS 22835800 HAS SOUPS 22258214 WITH SCORE 2.233861652E7
AT ITER 713 NEW BEST:: SOT 123206114 SOS 80399643 HAS SOPS 65488275 HAS SOUS 22833897 HAS SOUPS 22256311 WITH SCORE 2.2336710643E7
AT ITER 716 NEW BEST:: SOT 123202932 SOS 80420061 HAS SOPS 65475964 HAS SOUS 22832580 HAS SOUPS 22254362 WITH SCORE 2.2334782061E7
AT ITER 738 NEW BEST:: SOT 123202964 SOS 80429977 HAS SOPS 65487080 HAS SOUS 22832251 HAS SOUPS 22254033 WITH SCORE 2.2334462977E7
AT ITER 741 NEW BEST:: SOT 123205393 SOS 80424143 HAS SOPS 65482454 HAS SOUS 22830401 HAS SOUPS 22252183 WITH SCORE 2.2332607143E7
AT ITER 746 NEW BEST:: SOT 123208879 SOS 80432029 HAS SOPS 65487028 HAS SOUS 22825167 HAS SOUPS 22246877 WITH SCORE 2.2327309029E7
AT ITER 748 NEW BEST:: SOT 123216656 SOS 80450662 HAS SOPS 65501596 HAS SOUS 22823787 HAS SOUPS 22245497 WITH SCORE 2.2325947662E7
AT ITER 751 NEW BEST:: SOT 123212408 SOS 80445970 HAS SOPS 65493256 HAS SOUS 22819419 HAS SOUPS 22241129 WITH SCORE 2.232157497E7
AT ITER 766 NEW BEST:: SOT 123224816 SOS 80484487 HAS SOPS 65523530 HAS SOUS 22716229 HAS SOUPS 22137931 WITH SCORE 2.2218415487E7
AT ITER 769 NEW BEST:: SOT 123213338 SOS 80465948 HAS SOPS 65506697 HAS SOUS 22704409 HAS SOUPS 22126111 WITH SCORE 2.2206576948E7
AT ITER 771 NEW BEST:: SOT 123209077 SOS 80465650 HAS SOPS 65508158 HAS SOUS 22667434 HAS SOUPS 22089668 WITH SCORE 2.217013365E7
AT ITER 772 NEW BEST:: SOT 123209256 SOS 80464627 HAS SOPS 65506275 HAS SOUS 22663927 HAS SOUPS 22086161 WITH SCORE 2.2166625627E7
AT ITER 784 NEW BEST:: SOT 123208792 SOS 80452226 HAS SOPS 65499092 HAS SOUS 22649121 HAS SOUPS 22071443 WITH SCORE 2.2151895226E7
AT ITER 786 NEW BEST:: SOT 123209161 SOS 80451987 HAS SOPS 65499358 HAS SOUS 22649063 HAS SOUPS 22071098 WITH SCORE 2.2151549987E7
AT ITER 799 NEW BEST:: SOT 123188587 SOS 80425886 HAS SOPS 65471041 HAS SOUS 22614037 HAS SOUPS 22036072 WITH SCORE 2.2116497886E7
AT ITER 809 NEW BEST:: SOT 123198587 SOS 80440579 HAS SOPS 65488291 HAS SOUS 22595355 HAS SOUPS 22017390 WITH SCORE 2.2097830579E7
AT ITER 810 NEW BEST:: SOT 123186357 SOS 80428357 HAS SOPS 65475997 HAS SOUS 22591729 HAS SOUPS 22013755 WITH SCORE 2.2094183357E7
AT ITER 814 NEW BEST:: SOT 123201782 SOS 80448211 HAS SOPS 65496013 HAS SOUS 22583858 HAS SOUPS 22006547 WITH SCORE 2.2086995211E7
AT ITER 822 NEW BEST:: SOT 123211461 SOS 80483604 HAS SOPS 65518887 HAS SOUS 22548448 HAS SOUPS 21971137 WITH SCORE 2.2051620604E7
AT ITER 838 NEW BEST:: SOT 123206782 SOS 80441203 HAS SOPS 65520219 HAS SOUS 22544582 HAS SOUPS 21967271 WITH SCORE 2.2047712203E7
AT ITER 840 NEW BEST:: SOT 123214324 SOS 80457219 HAS SOPS 65529509 HAS SOUS 22531528 HAS SOUPS 21954217 WITH SCORE 2.2034674219E7
AT ITER 853 NEW BEST:: SOT 123184717 SOS 80402587 HAS SOPS 65472210 HAS SOUS 22457049 HAS SOUPS 21880252 WITH SCORE 2.1960654587E7
AT ITER 856 NEW BEST:: SOT 123184715 SOS 80402595 HAS SOPS 65472213 HAS SOUS 22457037 HAS SOUPS 21880240 WITH SCORE 2.1960642595E7
AT ITER 858 NEW BEST:: SOT 123196324 SOS 80426061 HAS SOPS 65499430 HAS SOUS 22433498 HAS SOUPS 21856658 WITH SCORE 2.1937084061E7
AT ITER 883 NEW BEST:: SOT 123193629 SOS 80426223 HAS SOPS 65495337 HAS SOUS 22420877 HAS SOUPS 21844037 WITH SCORE 2.1924463223E7
AT ITER 890 NEW BEST:: SOT 123184137 SOS 80406404 HAS SOPS 65488747 HAS SOUS 22411826 HAS SOUPS 21835113 WITH SCORE 2.1915519404E7
AT ITER 891 NEW BEST:: SOT 123180182 SOS 80402378 HAS SOPS 65485078 HAS SOUS 22398929 HAS SOUPS 21822216 WITH SCORE 2.1902618378E7
AT ITER 905 NEW BEST:: SOT 123180346 SOS 80402648 HAS SOPS 65485359 HAS SOUS 22398115 HAS SOUPS 21821402 WITH SCORE 2.1901804648E7
AT ITER 911 NEW BEST:: SOT 123201936 SOS 80470618 HAS SOPS 65540044 HAS SOUS 22376111 HAS SOUPS 21799398 WITH SCORE 2.1879868618E7
AT ITER 914 NEW BEST:: SOT 123187743 SOS 80429682 HAS SOPS 65515766 HAS SOUS 22374028 HAS SOUPS 21797553 WITH SCORE 2.1877982682E7
AT ITER 921 NEW BEST:: SOT 123184715 SOS 80427718 HAS SOPS 65513842 HAS SOUS 22369113 HAS SOUPS 21792638 WITH SCORE 2.1873065718E7
AT ITER 929 NEW BEST:: SOT 123181503 SOS 80425599 HAS SOPS 65512406 HAS SOUS 22359207 HAS SOUPS 21782377 WITH SCORE 2.1862802599E7
AT ITER 938 NEW BEST:: SOT 123181503 SOS 80428779 HAS SOPS 65515308 HAS SOUS 22359164 HAS SOUPS 21782334 WITH SCORE 2.1862762779E7
AT ITER 942 NEW BEST:: SOT 123163909 SOS 80414171 HAS SOPS 65495271 HAS SOUS 22312693 HAS SOUPS 21735598 WITH SCORE 2.1816012171E7
AT ITER 945 NEW BEST:: SOT 123175725 SOS 80431718 HAS SOPS 65519326 HAS SOUS 22300467 HAS SOUPS 21728099 WITH SCORE 2.1808530718E7
AT ITER 960 NEW BEST:: SOT 123175446 SOS 80431860 HAS SOPS 65520611 HAS SOUS 22299512 HAS SOUPS 21727144 WITH SCORE 2.180757586E7
AT ITER 963 NEW BEST:: SOT 123175446 SOS 80452308 HAS SOPS 65544323 HAS SOUS 22299371 HAS SOUPS 21727003 WITH SCORE 2.1807455308E7
AT ITER 971 NEW BEST:: SOT 123171498 SOS 80448407 HAS SOPS 65542130 HAS SOUS 22297875 HAS SOUPS 21725507 WITH SCORE 2.1805955407E7
AT ITER 1001 NEW BEST:: SOT 123171498 SOS 80449923 HAS SOPS 65546846 HAS SOUS 22297746 HAS SOUPS 21725378 WITH SCORE 2.1805827923E7
AT ITER 1006 NEW BEST:: SOT 123169624 SOS 80447001 HAS SOPS 65542423 HAS SOUS 22294595 HAS SOUPS 21722227 WITH SCORE 2.1802674001E7
AT ITER 1013 NEW BEST:: SOT 123166506 SOS 80442501 HAS SOPS 65538595 HAS SOUS 22281323 HAS SOUPS 21708955 WITH SCORE 2.1789397501E7
AT ITER 1039 NEW BEST:: SOT 123169583 SOS 80464742 HAS SOPS 65563447 HAS SOUS 22241236 HAS SOUPS 21668549 WITH SCORE 2.1749013742E7
AT ITER 1057 NEW BEST:: SOT 123172726 SOS 80477148 HAS SOPS 65584912 HAS SOUS 22187500 HAS SOUPS 21614813 WITH SCORE 2.1695290148E7
AT ITER 1068 NEW BEST:: SOT 123172409 SOS 80481213 HAS SOPS 65594729 HAS SOUS 22185949 HAS SOUPS 21613262 WITH SCORE 2.1693743213E7
AT ITER 1086 NEW BEST:: SOT 123175132 SOS 80488035 HAS SOPS 65600380 HAS SOUS 22182957 HAS SOUPS 21610270 WITH SCORE 2.1690758035E7
AT ITER 1092 NEW BEST:: SOT 123166954 SOS 80471288 HAS SOPS 65590405 HAS SOUS 22175802 HAS SOUPS 21603242 WITH SCORE 2.1683713288E7
AT ITER 1120 NEW BEST:: SOT 123175380 SOS 80474990 HAS SOPS 65588606 HAS SOUS 22170903 HAS SOUPS 21598518 WITH SCORE 2.167899299E7
AT ITER 1123 NEW BEST:: SOT 123174809 SOS 80471021 HAS SOPS 65579489 HAS SOUS 22169998 HAS SOUPS 21597613 WITH SCORE 2.1678084021E7
AT ITER 1127 NEW BEST:: SOT 123177706 SOS 80477461 HAS SOPS 65589557 HAS SOUS 22166895 HAS SOUPS 21594510 WITH SCORE 2.1674987461E7
AT ITER 1138 NEW BEST:: SOT 123159678 SOS 80454267 HAS SOPS 65563084 HAS SOUS 22136970 HAS SOUPS 21564698 WITH SCORE 2.1645152267E7
AT ITER 1142 NEW BEST:: SOT 123139940 SOS 80421480 HAS SOPS 65529878 HAS SOUS 22136640 HAS SOUPS 21564368 WITH SCORE 2.164478948E7
AT ITER 1158 NEW BEST:: SOT 123179138 SOS 80484286 HAS SOPS 65593929 HAS SOUS 22124142 HAS SOUPS 21550391 WITH SCORE 2.1630875286E7
AT ITER 1163 NEW BEST:: SOT 123198395 SOS 80518398 HAS SOPS 65620941 HAS SOUS 22114108 HAS SOUPS 21540357 WITH SCORE 2.1620875398E7
AT ITER 1167 NEW BEST:: SOT 123197475 SOS 80516671 HAS SOPS 65621400 HAS SOUS 22113633 HAS SOUPS 21539882 WITH SCORE 2.1620398671E7
AT ITER 1175 NEW BEST:: SOT 123202540 SOS 80518337 HAS SOPS 65625477 HAS SOUS 22107859 HAS SOUPS 21534108 WITH SCORE 2.1614626337E7
AT ITER 1193 NEW BEST:: SOT 123202692 SOS 80535022 HAS SOPS 65643424 HAS SOUS 22107269 HAS SOUPS 21533518 WITH SCORE 2.1614053022E7
AT ITER 1195 NEW BEST:: SOT 123182054 SOS 80537609 HAS SOPS 65648384 HAS SOUS 22091237 HAS SOUPS 21517486 WITH SCORE 2.1598023609E7
AT ITER 1200 NEW BEST:: SOT 123191145 SOS 80566555 HAS SOPS 65686849 HAS SOUS 22075247 HAS SOUPS 21501674 WITH SCORE 2.1582240555E7
AT ITER 1203 NEW BEST:: SOT 123191066 SOS 80561400 HAS SOPS 65685308 HAS SOUS 22074925 HAS SOUPS 21501401 WITH SCORE 2.15819624E7
AT ITER 1204 NEW BEST:: SOT 123206018 SOS 80580786 HAS SOPS 65694470 HAS SOUS 22069753 HAS SOUPS 21496229 WITH SCORE 2.1576809786E7
AT ITER 1215 NEW BEST:: SOT 123283336 SOS 80613252 HAS SOPS 65761310 HAS SOUS 22064737 HAS SOUPS 21494208 WITH SCORE 2.1574821252E7
AT ITER 1220 NEW BEST:: SOT 123314673 SOS 80649754 HAS SOPS 65808466 HAS SOUS 22063280 HAS SOUPS 21492808 WITH SCORE 2.1573457754E7
AT ITER 1222 NEW BEST:: SOT 123307957 SOS 80640348 HAS SOPS 65799774 HAS SOUS 22055580 HAS SOUPS 21485108 WITH SCORE 2.1565748348E7
AT ITER 1237 NEW BEST:: SOT 123311559 SOS 80674248 HAS SOPS 65839748 HAS SOUS 22054479 HAS SOUPS 21484240 WITH SCORE 2.1564914248E7
AT ITER 1240 NEW BEST:: SOT 123375913 SOS 80824779 HAS SOPS 65977131 HAS SOUS 22042459 HAS SOUPS 21472220 WITH SCORE 2.1553044779E7
AT ITER 1243 NEW BEST:: SOT 123374690 SOS 80824663 HAS SOPS 65980171 HAS SOUS 22037534 HAS SOUPS 21467295 WITH SCORE 2.1548119663E7
AT ITER 1251 NEW BEST:: SOT 123368679 SOS 80816148 HAS SOPS 65973718 HAS SOUS 22027643 HAS SOUPS 21458327 WITH SCORE 2.1539143148E7
AT ITER 1263 NEW BEST:: SOT 123368871 SOS 80817367 HAS SOPS 65976052 HAS SOUS 22027630 HAS SOUPS 21458314 WITH SCORE 2.1539131367E7
AT ITER 1276 NEW BEST:: SOT 123368147 SOS 80814960 HAS SOPS 65976158 HAS SOUS 22025843 HAS SOUPS 21456527 WITH SCORE 2.153734196E7
AT ITER 1279 NEW BEST:: SOT 123361142 SOS 80804109 HAS SOPS 65972250 HAS SOUS 22012728 HAS SOUPS 21443632 WITH SCORE 2.1524436109E7
AT ITER 1280 NEW BEST:: SOT 123360764 SOS 80807381 HAS SOPS 65980854 HAS SOUS 21993644 HAS SOUPS 21424548 WITH SCORE 2.1505355381E7
AT ITER 1298 NEW BEST:: SOT 123327626 SOS 80769482 HAS SOPS 65944806 HAS SOUS 21976015 HAS SOUPS 21406968 WITH SCORE 2.1487737482E7
AT ITER 1301 NEW BEST:: SOT 123303455 SOS 80725672 HAS SOPS 65910526 HAS SOUS 21949688 HAS SOUPS 21380641 WITH SCORE 2.1461366672E7
AT ITER 1313 NEW BEST:: SOT 123302555 SOS 80724926 HAS SOPS 65909752 HAS SOUS 21947500 HAS SOUPS 21378453 WITH SCORE 2.1459177926E7
AT ITER 1322 NEW BEST:: SOT 123320992 SOS 80783817 HAS SOPS 65968347 HAS SOUS 21942230 HAS SOUPS 21373183 WITH SCORE 2.1453966817E7
AT ITER 1339 NEW BEST:: SOT 123310678 SOS 80774536 HAS SOPS 65956244 HAS SOUS 21937008 HAS SOUPS 21367961 WITH SCORE 2.1448735536E7
AT ITER 1348 NEW BEST:: SOT 123308793 SOS 80770501 HAS SOPS 65952208 HAS SOUS 21935281 HAS SOUPS 21366234 WITH SCORE 2.1447004501E7
AT ITER 1350 NEW BEST:: SOT 123306241 SOS 80774818 HAS SOPS 65948785 HAS SOUS 21919912 HAS SOUPS 21350865 WITH SCORE 2.1431639818E7
AT ITER 1365 NEW BEST:: SOT 123302656 SOS 80772750 HAS SOPS 65956773 HAS SOUS 21910964 HAS SOUPS 21341917 WITH SCORE 2.142268975E7
AT ITER 1383 NEW BEST:: SOT 123296924 SOS 80767009 HAS SOPS 65951032 HAS SOUS 21905214 HAS SOUPS 21336167 WITH SCORE 2.1416934009E7
AT ITER 1399 NEW BEST:: SOT 123288340 SOS 80755810 HAS SOPS 65936304 HAS SOUS 21885643 HAS SOUPS 21316596 WITH SCORE 2.139735181E7
AT ITER 1402 NEW BEST:: SOT 123311610 SOS 80802084 HAS SOPS 65941772 HAS SOUS 21872181 HAS SOUPS 21303264 WITH SCORE 2.1384066084E7
AT ITER 1417 NEW BEST:: SOT 123311543 SOS 80801925 HAS SOPS 65941573 HAS SOUS 21872099 HAS SOUPS 21303182 WITH SCORE 2.1383983925E7
AT ITER 1435 NEW BEST:: SOT 123311839 SOS 80806501 HAS SOPS 65944334 HAS SOUS 21870867 HAS SOUPS 21301950 WITH SCORE 2.1382756501E7
AT ITER 1447 NEW BEST:: SOT 123316225 SOS 80823033 HAS SOPS 65930194 HAS SOUS 21816463 HAS SOUPS 21247546 WITH SCORE 2.1328369033E7
AT ITER 1448 NEW BEST:: SOT 123316122 SOS 80834765 HAS SOPS 65940562 HAS SOUS 21795509 HAS SOUPS 21226598 WITH SCORE 2.1307432765E7
AT ITER 1473 NEW BEST:: SOT 123327468 SOS 80847394 HAS SOPS 65942561 HAS SOUS 21792420 HAS SOUPS 21223322 WITH SCORE 2.1304169394E7
AT ITER 1476 NEW BEST:: SOT 123332516 SOS 80871483 HAS SOPS 65963066 HAS SOUS 21772810 HAS SOUPS 21203712 WITH SCORE 2.1284583483E7
AT ITER 1478 NEW BEST:: SOT 123340467 SOS 80892757 HAS SOPS 65999257 HAS SOUS 21770381 HAS SOUPS 21201283 WITH SCORE 2.1282175757E7
AT ITER 1479 NEW BEST:: SOT 123351566 SOS 80945242 HAS SOPS 66031699 HAS SOUS 21729968 HAS SOUPS 21160870 WITH SCORE 2.1241815242E7
AT ITER 1490 NEW BEST:: SOT 123350923 SOS 80944681 HAS SOPS 66031148 HAS SOUS 21729075 HAS SOUPS 21159964 WITH SCORE 2.1240908681E7
AT ITER 1493 NEW BEST:: SOT 123340009 SOS 80934626 HAS SOPS 66019501 HAS SOUS 21705667 HAS SOUPS 21136556 WITH SCORE 2.1217490626E7
AT ITER 1495 NEW BEST:: SOT 123333970 SOS 80928586 HAS SOPS 66013430 HAS SOUS 21699564 HAS SOUPS 21130453 WITH SCORE 2.1211381586E7
AT ITER 1496 NEW BEST:: SOT 123314944 SOS 80901596 HAS SOPS 65982722 HAS SOUS 21676567 HAS SOUPS 21107456 WITH SCORE 2.1188357596E7
AT ITER 1497 NEW BEST:: SOT 123312593 SOS 80899060 HAS SOPS 65979866 HAS SOUS 21671148 HAS SOUPS 21102117 WITH SCORE 2.118301606E7
AT ITER 1519 NEW BEST:: SOT 123312370 SOS 80898821 HAS SOPS 65979507 HAS SOUS 21670549 HAS SOUPS 21101518 WITH SCORE 2.1182416821E7
AT ITER 1535 NEW BEST:: SOT 123305663 SOS 80888271 HAS SOPS 65969745 HAS SOUS 21662930 HAS SOUPS 21093962 WITH SCORE 2.1174850271E7
AT ITER 1573 NEW BEST:: SOT 123296116 SOS 80870088 HAS SOPS 65970253 HAS SOUS 21616924 HAS SOUPS 21048138 WITH SCORE 2.1129008088E7
AT ITER 1580 NEW BEST:: SOT 123296058 SOS 80878062 HAS SOPS 65982393 HAS SOUS 21616686 HAS SOUPS 21047900 WITH SCORE 2.1128778062E7
AT ITER 1587 NEW BEST:: SOT 123295298 SOS 80877560 HAS SOPS 65981586 HAS SOUS 21614444 HAS SOUPS 21045658 WITH SCORE 2.112653556E7
AT ITER 1589 NEW BEST:: SOT 123290407 SOS 80872987 HAS SOPS 65973026 HAS SOUS 21602479 HAS SOUPS 21033693 WITH SCORE 2.1114565987E7
AT ITER 1591 NEW BEST:: SOT 123287591 SOS 80869076 HAS SOPS 65969959 HAS SOUS 21597619 HAS SOUPS 21028858 WITH SCORE 2.1109727076E7
AT ITER 1595 NEW BEST:: SOT 123286383 SOS 80867658 HAS SOPS 65968641 HAS SOUS 21594136 HAS SOUPS 21025495 WITH SCORE 2.1106362658E7
AT ITER 1596 NEW BEST:: SOT 123278968 SOS 80854530 HAS SOPS 65956795 HAS SOUS 21583991 HAS SOUPS 21015350 WITH SCORE 2.109620453E7
AT ITER 1613 NEW BEST:: SOT 123274728 SOS 80819583 HAS SOPS 65922116 HAS SOUS 21577158 HAS SOUPS 21008517 WITH SCORE 2.1089336583E7
AT ITER 1623 NEW BEST:: SOT 123280482 SOS 80825025 HAS SOPS 65912871 HAS SOUS 21554457 HAS SOUPS 20985816 WITH SCORE 2.1066641025E7
AT ITER 1632 NEW BEST:: SOT 123279884 SOS 80824357 HAS SOPS 65912175 HAS SOUS 21552991 HAS SOUPS 20984350 WITH SCORE 2.1065174357E7
AT ITER 1634 NEW BEST:: SOT 123222049 SOS 80760119 HAS SOPS 65850696 HAS SOUS 21454169 HAS SOUPS 20886510 WITH SCORE 2.0967270119E7
AT ITER 1640 NEW BEST:: SOT 123288170 SOS 80866215 HAS SOPS 65929546 HAS SOUS 21431539 HAS SOUPS 20864469 WITH SCORE 2.0945335215E7
AT ITER 1647 NEW BEST:: SOT 123286499 SOS 80859771 HAS SOPS 65935630 HAS SOUS 21419470 HAS SOUPS 20852637 WITH SCORE 2.0933496771E7
AT ITER 1652 NEW BEST:: SOT 123284096 SOS 80857368 HAS SOPS 65932647 HAS SOUS 21416721 HAS SOUPS 20849882 WITH SCORE 2.0930739368E7
AT ITER 1666 NEW BEST:: SOT 123283670 SOS 80855246 HAS SOPS 65938587 HAS SOUS 21415681 HAS SOUPS 20848842 WITH SCORE 2.0929697246E7
AT ITER 1667 NEW BEST:: SOT 123279790 SOS 80851146 HAS SOPS 65934527 HAS SOUS 21408561 HAS SOUPS 20841722 WITH SCORE 2.0922573146E7
AT ITER 1677 NEW BEST:: SOT 123272211 SOS 80843562 HAS SOPS 65926927 HAS SOUS 21399657 HAS SOUPS 20832818 WITH SCORE 2.0913661562E7
AT ITER 1689 NEW BEST:: SOT 123258759 SOS 80826213 HAS SOPS 65917131 HAS SOUS 21393660 HAS SOUPS 20827089 WITH SCORE 2.0907915213E7
AT ITER 1697 NEW BEST:: SOT 123257187 SOS 80823981 HAS SOPS 65916415 HAS SOUS 21386311 HAS SOUPS 20819759 WITH SCORE 2.0900582981E7
AT ITER 1709 NEW BEST:: SOT 123254851 SOS 80822569 HAS SOPS 65911331 HAS SOUS 21382637 HAS SOUPS 20816039 WITH SCORE 2.0896861569E7
AT ITER 1719 NEW BEST:: SOT 123254557 SOS 80820551 HAS SOPS 65908115 HAS SOUS 21381925 HAS SOUPS 20815343 WITH SCORE 2.0896163551E7
AT ITER 1735 NEW BEST:: SOT 123256178 SOS 80821557 HAS SOPS 65911343 HAS SOUS 21376602 HAS SOUPS 20811232 WITH SCORE 2.0892053557E7
AT ITER 1747 NEW BEST:: SOT 123256495 SOS 80824546 HAS SOPS 65912629 HAS SOUS 21373099 HAS SOUPS 20807729 WITH SCORE 2.0888553546E7
AT ITER 1752 NEW BEST:: SOT 123256542 SOS 80841790 HAS SOPS 65929858 HAS SOUS 21372711 HAS SOUPS 20807341 WITH SCORE 2.088818279E7
AT ITER 1753 NEW BEST:: SOT 123239302 SOS 80813306 HAS SOPS 65909522 HAS SOUS 21337347 HAS SOUPS 20772672 WITH SCORE 2.0853485306E7
AT ITER 1755 NEW BEST:: SOT 123239997 SOS 80816437 HAS SOPS 65908200 HAS SOUS 21334661 HAS SOUPS 20769986 WITH SCORE 2.0850802437E7
AT ITER 1783 NEW BEST:: SOT 123237000 SOS 80810712 HAS SOPS 65905425 HAS SOUS 21327510 HAS SOUPS 20762835 WITH SCORE 2.0843645712E7
AT ITER 1809 NEW BEST:: SOT 123223693 SOS 80788030 HAS SOPS 65880187 HAS SOUS 21315707 HAS SOUPS 20744381 WITH SCORE 2.082516903E7
AT ITER 1813 NEW BEST:: SOT 123218327 SOS 80777741 HAS SOPS 65873895 HAS SOUS 21310849 HAS SOUPS 20740042 WITH SCORE 2.0820819741E7
AT ITER 1814 NEW BEST:: SOT 123216283 SOS 80760980 HAS SOPS 65905997 HAS SOUS 21309064 HAS SOUPS 20738257 WITH SCORE 2.081901798E7
AT ITER 1815 NEW BEST:: SOT 123214287 SOS 80759892 HAS SOPS 65903105 HAS SOUS 21303137 HAS SOUPS 20732468 WITH SCORE 2.0813227892E7
AT ITER 1826 NEW BEST:: SOT 123241195 SOS 80824251 HAS SOPS 65946551 HAS SOUS 21289230 HAS SOUPS 20718561 WITH SCORE 2.0799385251E7
AT ITER 1847 NEW BEST:: SOT 123241467 SOS 80831251 HAS SOPS 65961190 HAS SOUS 21289044 HAS SOUPS 20718475 WITH SCORE 2.0799306251E7
AT ITER 1903 NEW BEST:: SOT 123244236 SOS 80842044 HAS SOPS 65970738 HAS SOUS 21284276 HAS SOUPS 20713707 WITH SCORE 2.0794549044E7
AT ITER 1905 NEW BEST:: SOT 123243858 SOS 80841633 HAS SOPS 65970144 HAS SOUS 21283533 HAS SOUPS 20712967 WITH SCORE 2.0793808633E7
AT ITER 1909 NEW BEST:: SOT 123243533 SOS 80840912 HAS SOPS 65969775 HAS SOUS 21283280 HAS SOUPS 20712714 WITH SCORE 2.0793554912E7
AT ITER 1912 NEW BEST:: SOT 123243470 SOS 80840881 HAS SOPS 65969791 HAS SOUS 21283121 HAS SOUPS 20712555 WITH SCORE 2.0793395881E7
AT ITER 1915 NEW BEST:: SOT 123243086 SOS 80839766 HAS SOPS 65967588 HAS SOUS 21282686 HAS SOUPS 20712120 WITH SCORE 2.0792959766E7
AT ITER 1923 NEW BEST:: SOT 123243822 SOS 80841647 HAS SOPS 65973795 HAS SOUS 21282535 HAS SOUPS 20711969 WITH SCORE 2.0792810647E7
AT ITER 1966 NEW BEST:: SOT 123250111 SOS 80847758 HAS SOPS 65978894 HAS SOUS 21276169 HAS SOUPS 20705603 WITH SCORE 2.0786450758E7
AT ITER 1969 NEW BEST:: SOT 123250135 SOS 80855742 HAS SOPS 65987998 HAS SOUS 21275789 HAS SOUPS 20705223 WITH SCORE 2.0786078742E7
AT ITER 1981 NEW BEST:: SOT 123250135 SOS 80868818 HAS SOPS 66012210 HAS SOUS 21275740 HAS SOUPS 20705174 WITH SCORE 2.0786042818E7
AT ITER 1983 NEW BEST:: SOT 123291326 SOS 80955906 HAS SOPS 66092837 HAS SOUS 21274159 HAS SOUPS 20703593 WITH SCORE 2.0784548906E7
AT ITER 1994 NEW BEST:: SOT 123297812 SOS 80971409 HAS SOPS 66102745 HAS SOUS 21262409 HAS SOUPS 20691843 WITH SCORE 2.0772814409E7
AT ITER 2009 NEW BEST:: SOT 123301225 SOS 80977950 HAS SOPS 66117843 HAS SOUS 21260486 HAS SOUPS 20689920 WITH SCORE 2.077089795E7
AT ITER 2017 NEW BEST:: SOT 123301237 SOS 80987131 HAS SOPS 66141359 HAS SOUS 21260393 HAS SOUPS 20689827 WITH SCORE 2.0770814131E7
AT ITER 2023 NEW BEST:: SOT 123301980 SOS 80998611 HAS SOPS 66160470 HAS SOUS 21259442 HAS SOUPS 20688982 WITH SCORE 2.0769980611E7
AT ITER 2030 NEW BEST:: SOT 123305583 SOS 81006523 HAS SOPS 66152031 HAS SOUS 21252240 HAS SOUPS 20681730 WITH SCORE 2.0762736523E7
AT ITER 2045 NEW BEST:: SOT 123305366 SOS 81005914 HAS SOPS 66151300 HAS SOUS 21251799 HAS SOUPS 20681287 WITH SCORE 2.0762292914E7
AT ITER 2058 NEW BEST:: SOT 123325071 SOS 81058980 HAS SOPS 66191290 HAS SOUS 21248027 HAS SOUPS 20677515 WITH SCORE 2.075857398E7
AT ITER 2063 NEW BEST:: SOT 123335975 SOS 81066585 HAS SOPS 66204260 HAS SOUS 21239201 HAS SOUPS 20668841 WITH SCORE 2.0749907585E7
AT ITER 2074 NEW BEST:: SOT 123318810 SOS 81043331 HAS SOPS 66182414 HAS SOUS 21215153 HAS SOUPS 20644960 WITH SCORE 2.0726003331E7
AT ITER 2082 NEW BEST:: SOT 123316451 SOS 81051208 HAS SOPS 66190658 HAS SOUS 21188091 HAS SOUPS 20618035 WITH SCORE 2.0699086208E7
AT ITER 2084 NEW BEST:: SOT 123353541 SOS 81084556 HAS SOPS 66225837 HAS SOUS 21187625 HAS SOUPS 20617773 WITH SCORE 2.0698857556E7
AT ITER 2097 NEW BEST:: SOT 123353465 SOS 81084469 HAS SOPS 66225641 HAS SOUS 21187309 HAS SOUPS 20617457 WITH SCORE 2.0698541469E7
AT ITER 2112 NEW BEST:: SOT 123353217 SOS 81084090 HAS SOPS 66225267 HAS SOUS 21187067 HAS SOUPS 20617215 WITH SCORE 2.069829909E7
AT ITER 2126 NEW BEST:: SOT 123352025 SOS 81085418 HAS SOPS 66226365 HAS SOUS 21186407 HAS SOUPS 20616555 WITH SCORE 2.0697640418E7
AT ITER 2143 NEW BEST:: SOT 123354547 SOS 81104610 HAS SOPS 66244627 HAS SOUS 21179289 HAS SOUPS 20609437 WITH SCORE 2.069054161E7
AT ITER 2148 NEW BEST:: SOT 123346165 SOS 81092845 HAS SOPS 66215930 HAS SOUS 21102187 HAS SOUPS 20532614 WITH SCORE 2.0613706845E7
AT ITER 2162 NEW BEST:: SOT 123346132 SOS 81093321 HAS SOPS 66215893 HAS SOUS 21101437 HAS SOUPS 20531864 WITH SCORE 2.0612957321E7
AT ITER 2172 NEW BEST:: SOT 123335981 SOS 81086804 HAS SOPS 66205122 HAS SOUS 21075616 HAS SOUPS 20506043 WITH SCORE 2.0587129804E7
AT ITER 2180 NEW BEST:: SOT 123336002 SOS 81089259 HAS SOPS 66210925 HAS SOUS 21075189 HAS SOUPS 20505616 WITH SCORE 2.0586705259E7
AT ITER 2212 NEW BEST:: SOT 123338911 SOS 81092127 HAS SOPS 66217010 HAS SOUS 21066399 HAS SOUPS 20498752 WITH SCORE 2.0579844127E7
AT ITER 2231 NEW BEST:: SOT 123338350 SOS 81098097 HAS SOPS 66215274 HAS SOUS 21049828 HAS SOUPS 20482086 WITH SCORE 2.0563184097E7
AT ITER 2249 NEW BEST:: SOT 123365890 SOS 81174343 HAS SOPS 66290440 HAS SOUS 21020818 HAS SOUPS 20453120 WITH SCORE 2.0534294343E7
AT ITER 2278 NEW BEST:: SOT 123367701 SOS 81180423 HAS SOPS 66294170 HAS SOUS 21016818 HAS SOUPS 20449120 WITH SCORE 2.0530300423E7
AT ITER 2283 NEW BEST:: SOT 123373046 SOS 81191852 HAS SOPS 66306760 HAS SOUS 21013291 HAS SOUPS 20445607 WITH SCORE 2.0526798852E7
AT ITER 2287 NEW BEST:: SOT 123370905 SOS 81186953 HAS SOPS 66309613 HAS SOUS 21011257 HAS SOUPS 20443705 WITH SCORE 2.0524891953E7
AT ITER 2295 NEW BEST:: SOT 123368315 SOS 81182333 HAS SOPS 66307439 HAS SOUS 21006803 HAS SOUPS 20439293 WITH SCORE 2.0520475333E7
AT ITER 2300 NEW BEST:: SOT 123368337 SOS 81185018 HAS SOPS 66304639 HAS SOUS 21005900 HAS SOUPS 20438390 WITH SCORE 2.0519575018E7
AT ITER 2317 NEW BEST:: SOT 123363461 SOS 81178331 HAS SOPS 66295718 HAS SOUS 20995540 HAS SOUPS 20428069 WITH SCORE 2.0509247331E7
AT ITER 2323 NEW BEST:: SOT 123363274 SOS 81178720 HAS SOPS 66295507 HAS SOUS 20994711 HAS SOUPS 20427240 WITH SCORE 2.050841872E7
AT ITER 2324 NEW BEST:: SOT 123362091 SOS 81181246 HAS SOPS 66298546 HAS SOUS 20994703 HAS SOUPS 20427232 WITH SCORE 2.0508413246E7
AT ITER 2334 NEW BEST:: SOT 123373279 SOS 81231566 HAS SOPS 66337008 HAS SOUS 20960086 HAS SOUPS 20392615 WITH SCORE 2.0473846566E7
AT ITER 2335 NEW BEST:: SOT 123372986 SOS 81231745 HAS SOPS 66336264 HAS SOUS 20958492 HAS SOUPS 20391021 WITH SCORE 2.0472252745E7
AT ITER 2351 NEW BEST:: SOT 123364889 SOS 81223151 HAS SOPS 66332456 HAS SOUS 20956192 HAS SOUPS 20388721 WITH SCORE 2.0469944151E7
AT ITER 2360 NEW BEST:: SOT 123341503 SOS 81209994 HAS SOPS 66324045 HAS SOUS 20956049 HAS SOUPS 20388393 WITH SCORE 2.0469602994E7
AT ITER 2377 NEW BEST:: SOT 123341409 SOS 81251911 HAS SOPS 66396604 HAS SOUS 20955556 HAS SOUPS 20387900 WITH SCORE 2.0469151911E7
AT ITER 2388 NEW BEST:: SOT 123324318 SOS 81229179 HAS SOPS 66373645 HAS SOUS 20912410 HAS SOUPS 20344952 WITH SCORE 2.0426181179E7
AT ITER 2389 NEW BEST:: SOT 123322197 SOS 81227954 HAS SOPS 66371192 HAS SOUS 20905758 HAS SOUPS 20338300 WITH SCORE 2.0419527954E7
AT ITER 2416 NEW BEST:: SOT 123332093 SOS 81241230 HAS SOPS 66384509 HAS SOUS 20905596 HAS SOUPS 20338249 WITH SCORE 2.041949023E7
AT ITER 2417 NEW BEST:: SOT 123331582 SOS 81240661 HAS SOPS 66383662 HAS SOUS 20904547 HAS SOUPS 20337195 WITH SCORE 2.0418435661E7
AT ITER 2428 NEW BEST:: SOT 123328926 SOS 81237870 HAS SOPS 66380941 HAS SOUS 20900619 HAS SOUPS 20333337 WITH SCORE 2.041457487E7

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

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