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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 73M
-rw-r--r-- 1 mcc users 3.3K Apr 12 07:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 12 07:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Apr 11 08:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 11 08:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.6K 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.5K Apr 14 12:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Apr 10 14:11 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 10 14:11 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.6K Apr 9 20:42 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 9 20:41 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 10 22:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 10 22:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 73M Mar 24 05:37 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME RERS17pb114-PT-3-CTLFireability-00
FORMULA_NAME RERS17pb114-PT-3-CTLFireability-01
FORMULA_NAME RERS17pb114-PT-3-CTLFireability-02
FORMULA_NAME RERS17pb114-PT-3-CTLFireability-03
FORMULA_NAME RERS17pb114-PT-3-CTLFireability-04
FORMULA_NAME RERS17pb114-PT-3-CTLFireability-05
FORMULA_NAME RERS17pb114-PT-3-CTLFireability-06
FORMULA_NAME RERS17pb114-PT-3-CTLFireability-07
FORMULA_NAME RERS17pb114-PT-3-CTLFireability-08
FORMULA_NAME RERS17pb114-PT-3-CTLFireability-09
FORMULA_NAME RERS17pb114-PT-3-CTLFireability-10
FORMULA_NAME RERS17pb114-PT-3-CTLFireability-11
FORMULA_NAME RERS17pb114-PT-3-CTLFireability-12
FORMULA_NAME RERS17pb114-PT-3-CTLFireability-13
FORMULA_NAME RERS17pb114-PT-3-CTLFireability-14
FORMULA_NAME RERS17pb114-PT-3-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589704487587

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb114 (PT), instance 3
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 1446 places, 151085 transitions, 604252 arcs.
AT ITER 0 NEW BEST:: SOT 133650955 SOS 82200848 HAS SOPS 66750976 HAS SOUS 26441832 HAS SOUPS 25811141 WITH SCORE 2.5893341848E7
AT ITER 26 NEW BEST:: SOT 133672593 SOS 82301248 HAS SOPS 66848942 HAS SOUS 26432004 HAS SOUPS 25801313 WITH SCORE 2.5883614248E7
AT ITER 35 NEW BEST:: SOT 133677898 SOS 82311862 HAS SOPS 66857183 HAS SOUS 26430658 HAS SOUPS 25799967 WITH SCORE 2.5882278862E7
AT ITER 55 NEW BEST:: SOT 133673916 SOS 82321202 HAS SOPS 66861868 HAS SOUS 26408046 HAS SOUPS 25777355 WITH SCORE 2.5859676202E7
AT ITER 58 NEW BEST:: SOT 133623995 SOS 82256888 HAS SOPS 66810076 HAS SOUS 26346491 HAS SOUPS 25717410 WITH SCORE 2.5799666888E7
AT ITER 60 NEW BEST:: SOT 133599366 SOS 82213722 HAS SOPS 66776818 HAS SOUS 26311281 HAS SOUPS 25683103 WITH SCORE 2.5765316722E7
AT ITER 65 NEW BEST:: SOT 133595765 SOS 82209794 HAS SOPS 66777747 HAS SOUS 26295407 HAS SOUPS 25667321 WITH SCORE 2.5749530794E7
AT ITER 68 NEW BEST:: SOT 133595779 SOS 82210810 HAS SOPS 66779982 HAS SOUS 26292080 HAS SOUPS 25663994 WITH SCORE 2.574620481E7
AT ITER 70 NEW BEST:: SOT 133590126 SOS 82207393 HAS SOPS 66785818 HAS SOUS 26263791 HAS SOUPS 25635705 WITH SCORE 2.5717912393E7
AT ITER 80 NEW BEST:: SOT 133521998 SOS 82066530 HAS SOPS 66714527 HAS SOUS 26241922 HAS SOUPS 25615087 WITH SCORE 2.569715353E7
AT ITER 88 NEW BEST:: SOT 133524763 SOS 82086513 HAS SOPS 66738170 HAS SOUS 26239832 HAS SOUPS 25612997 WITH SCORE 2.5695083513E7
AT ITER 89 NEW BEST:: SOT 133524388 SOS 82085541 HAS SOPS 66737610 HAS SOUS 26236866 HAS SOUPS 25610031 WITH SCORE 2.5692116541E7
AT ITER 95 NEW BEST:: SOT 133523293 SOS 82084196 HAS SOPS 66736816 HAS SOUS 26234962 HAS SOUPS 25608140 WITH SCORE 2.5690224196E7
AT ITER 123 NEW BEST:: SOT 133514864 SOS 82076977 HAS SOPS 66724153 HAS SOUS 26212178 HAS SOUPS 25585356 WITH SCORE 2.5667432977E7
AT ITER 127 NEW BEST:: SOT 133532423 SOS 82136222 HAS SOPS 66786766 HAS SOUS 26208194 HAS SOUPS 25581372 WITH SCORE 2.5663508222E7
AT ITER 148 NEW BEST:: SOT 133486380 SOS 82090230 HAS SOPS 66738189 HAS SOUS 26151610 HAS SOUPS 25524788 WITH SCORE 2.560687823E7
AT ITER 205 NEW BEST:: SOT 133484199 SOS 82088049 HAS SOPS 66735752 HAS SOUS 26149429 HAS SOUPS 25522351 WITH SCORE 2.5604439049E7
AT ITER 206 NEW BEST:: SOT 133480642 SOS 82090249 HAS SOPS 66737823 HAS SOUS 26135330 HAS SOUPS 25508252 WITH SCORE 2.5590342249E7
AT ITER 210 NEW BEST:: SOT 133480525 SOS 82091815 HAS SOPS 66738215 HAS SOUS 26135012 HAS SOUPS 25507934 WITH SCORE 2.5590025815E7
AT ITER 213 NEW BEST:: SOT 133484155 SOS 82122616 HAS SOPS 66766598 HAS SOUS 26132344 HAS SOUPS 25505266 WITH SCORE 2.5587388616E7
AT ITER 216 NEW BEST:: SOT 133481129 SOS 82117238 HAS SOPS 66760196 HAS SOUS 26127818 HAS SOUPS 25500740 WITH SCORE 2.5582857238E7
AT ITER 238 NEW BEST:: SOT 133460109 SOS 82086509 HAS SOPS 66730076 HAS SOUS 26096483 HAS SOUPS 25469405 WITH SCORE 2.5551491509E7
AT ITER 259 NEW BEST:: SOT 133455928 SOS 82081768 HAS SOPS 66724975 HAS SOUS 26090221 HAS SOUPS 25463143 WITH SCORE 2.5545224768E7
AT ITER 261 NEW BEST:: SOT 133457094 SOS 82104151 HAS SOPS 66746831 HAS SOUS 26089711 HAS SOUPS 25462633 WITH SCORE 2.5544737151E7
AT ITER 264 NEW BEST:: SOT 133472871 SOS 82125919 HAS SOPS 66773257 HAS SOUS 26088057 HAS SOUPS 25461011 WITH SCORE 2.5543136919E7
AT ITER 274 NEW BEST:: SOT 133445110 SOS 82064889 HAS SOPS 66726987 HAS SOUS 26065342 HAS SOUPS 25438296 WITH SCORE 2.5520360889E7
AT ITER 278 NEW BEST:: SOT 133446761 SOS 82055783 HAS SOPS 66734158 HAS SOUS 26045114 HAS SOUPS 25421161 WITH SCORE 2.5503216783E7
AT ITER 299 NEW BEST:: SOT 133470789 SOS 82127758 HAS SOPS 66804948 HAS SOUS 26039967 HAS SOUPS 25416014 WITH SCORE 2.5498141758E7
AT ITER 301 NEW BEST:: SOT 133470684 SOS 82128846 HAS SOPS 66805618 HAS SOUS 26037661 HAS SOUPS 25413708 WITH SCORE 2.5495836846E7
AT ITER 302 NEW BEST:: SOT 133463279 SOS 82125583 HAS SOPS 66803208 HAS SOUS 26007163 HAS SOUPS 25383210 WITH SCORE 2.5465335583E7
AT ITER 304 NEW BEST:: SOT 133476197 SOS 82143993 HAS SOPS 66830189 HAS SOUS 25987606 HAS SOUPS 25363518 WITH SCORE 2.5445661993E7
AT ITER 311 NEW BEST:: SOT 133471629 SOS 82137525 HAS SOPS 66825033 HAS SOUS 25986160 HAS SOUPS 25362019 WITH SCORE 2.5444156525E7
AT ITER 321 NEW BEST:: SOT 133448715 SOS 82090895 HAS SOPS 66797345 HAS SOUS 25952347 HAS SOUPS 25328206 WITH SCORE 2.5410296895E7
AT ITER 355 NEW BEST:: SOT 133448523 SOS 82090945 HAS SOPS 66795551 HAS SOUS 25951320 HAS SOUPS 25327179 WITH SCORE 2.5409269945E7
AT ITER 358 NEW BEST:: SOT 133449540 SOS 82100704 HAS SOPS 66801477 HAS SOUS 25949935 HAS SOUPS 25325794 WITH SCORE 2.5407894704E7
AT ITER 364 NEW BEST:: SOT 133455812 SOS 82122702 HAS SOPS 66815491 HAS SOUS 25943951 HAS SOUPS 25319810 WITH SCORE 2.5401932702E7
AT ITER 370 NEW BEST:: SOT 133446422 SOS 82102901 HAS SOPS 66805291 HAS SOUS 25931493 HAS SOUPS 25307352 WITH SCORE 2.5389454901E7
AT ITER 378 NEW BEST:: SOT 133463301 SOS 82179082 HAS SOPS 66855336 HAS SOUS 25904320 HAS SOUPS 25280179 WITH SCORE 2.5362358082E7
AT ITER 401 NEW BEST:: SOT 133443360 SOS 82144401 HAS SOPS 66822028 HAS SOUS 25848647 HAS SOUPS 25224863 WITH SCORE 2.5307007401E7
AT ITER 420 NEW BEST:: SOT 133404422 SOS 82082086 HAS SOPS 66766813 HAS SOUS 25802209 HAS SOUPS 25178461 WITH SCORE 2.5260543086E7
AT ITER 421 NEW BEST:: SOT 133406252 SOS 82095744 HAS SOPS 66782595 HAS SOUS 25800671 HAS SOUPS 25176923 WITH SCORE 2.5259018744E7
AT ITER 436 NEW BEST:: SOT 133407932 SOS 82102071 HAS SOPS 66787807 HAS SOUS 25798727 HAS SOUPS 25174979 WITH SCORE 2.5257081071E7
AT ITER 447 NEW BEST:: SOT 133403090 SOS 82094255 HAS SOPS 66782278 HAS SOUS 25793562 HAS SOUPS 25170742 WITH SCORE 2.5252836255E7
AT ITER 448 NEW BEST:: SOT 133411171 SOS 82130274 HAS SOPS 66807469 HAS SOUS 25790142 HAS SOUPS 25167322 WITH SCORE 2.5249452274E7
AT ITER 454 NEW BEST:: SOT 133431331 SOS 82215892 HAS SOPS 66906613 HAS SOUS 25763669 HAS SOUPS 25140849 WITH SCORE 2.5223064892E7
AT ITER 459 NEW BEST:: SOT 133432143 SOS 82224119 HAS SOPS 66913703 HAS SOUS 25761253 HAS SOUPS 25138433 WITH SCORE 2.5220657119E7
AT ITER 469 NEW BEST:: SOT 133427931 SOS 82262416 HAS SOPS 66946385 HAS SOUS 25739368 HAS SOUPS 25116548 WITH SCORE 2.5198810416E7
AT ITER 489 NEW BEST:: SOT 133420257 SOS 82246700 HAS SOPS 66933726 HAS SOUS 25735132 HAS SOUPS 25112312 WITH SCORE 2.51945587E7
AT ITER 505 NEW BEST:: SOT 133417523 SOS 82242586 HAS SOPS 66929597 HAS SOUS 25731408 HAS SOUPS 25108588 WITH SCORE 2.5190830586E7
AT ITER 512 NEW BEST:: SOT 133417130 SOS 82249862 HAS SOPS 66934534 HAS SOUS 25714399 HAS SOUPS 25091579 WITH SCORE 2.5173828862E7
AT ITER 515 NEW BEST:: SOT 133399812 SOS 82219659 HAS SOPS 66918984 HAS SOUS 25701403 HAS SOUPS 25079558 WITH SCORE 2.5161777659E7
AT ITER 537 NEW BEST:: SOT 133398438 SOS 82215338 HAS SOPS 66913111 HAS SOUS 25696928 HAS SOUPS 25075083 WITH SCORE 2.5157298338E7
AT ITER 545 NEW BEST:: SOT 133399268 SOS 82222285 HAS SOPS 66921692 HAS SOUS 25695700 HAS SOUPS 25073855 WITH SCORE 2.5156077285E7
AT ITER 550 NEW BEST:: SOT 133398309 SOS 82220610 HAS SOPS 66919430 HAS SOUS 25692184 HAS SOUPS 25070339 WITH SCORE 2.515255961E7
AT ITER 552 NEW BEST:: SOT 133386924 SOS 82207542 HAS SOPS 66906404 HAS SOUS 25658568 HAS SOUPS 25036765 WITH SCORE 2.5118972542E7
AT ITER 563 NEW BEST:: SOT 133392749 SOS 82238168 HAS SOPS 66932628 HAS SOUS 25642201 HAS SOUPS 25020398 WITH SCORE 2.5102636168E7
AT ITER 567 NEW BEST:: SOT 133390972 SOS 82231078 HAS SOPS 66934710 HAS SOUS 25640516 HAS SOUPS 25018713 WITH SCORE 2.5100944078E7
AT ITER 568 NEW BEST:: SOT 133393332 SOS 82242297 HAS SOPS 66939487 HAS SOUS 25633746 HAS SOUPS 25011943 WITH SCORE 2.5094185297E7
AT ITER 577 NEW BEST:: SOT 133407357 SOS 82299239 HAS SOPS 66986818 HAS SOUS 25583841 HAS SOUPS 24962038 WITH SCORE 2.5044337239E7
AT ITER 578 NEW BEST:: SOT 133406861 SOS 82298859 HAS SOPS 66986460 HAS SOUS 25582978 HAS SOUPS 24961166 WITH SCORE 2.5043464859E7
AT ITER 583 NEW BEST:: SOT 133406056 SOS 82279832 HAS SOPS 66985315 HAS SOUS 25580416 HAS SOUPS 24958604 WITH SCORE 2.5040883832E7
AT ITER 586 NEW BEST:: SOT 133406056 SOS 82280710 HAS SOPS 66985854 HAS SOUS 25578691 HAS SOUPS 24956879 WITH SCORE 2.503915971E7
AT ITER 587 NEW BEST:: SOT 133418041 SOS 82322173 HAS SOPS 67003584 HAS SOUS 25533440 HAS SOUPS 24911628 WITH SCORE 2.4993950173E7
AT ITER 593 NEW BEST:: SOT 133411775 SOS 82315607 HAS SOPS 66994546 HAS SOUS 25518845 HAS SOUPS 24897097 WITH SCORE 2.4979412607E7
AT ITER 605 NEW BEST:: SOT 133440917 SOS 82415981 HAS SOPS 67082393 HAS SOUS 25507375 HAS SOUPS 24885627 WITH SCORE 2.4968042981E7
AT ITER 612 NEW BEST:: SOT 133455620 SOS 82461288 HAS SOPS 67109705 HAS SOUS 25501663 HAS SOUPS 24879915 WITH SCORE 2.4962376288E7
AT ITER 628 NEW BEST:: SOT 133460623 SOS 82466133 HAS SOPS 67113072 HAS SOUS 25498197 HAS SOUPS 24876874 WITH SCORE 2.4959340133E7
AT ITER 630 NEW BEST:: SOT 133460533 SOS 82465713 HAS SOPS 67112802 HAS SOUS 25497873 HAS SOUPS 24876550 WITH SCORE 2.4959015713E7
AT ITER 646 NEW BEST:: SOT 133306671 SOS 82253828 HAS SOPS 66921908 HAS SOUS 25353440 HAS SOUPS 24732552 WITH SCORE 2.4814805828E7
AT ITER 681 NEW BEST:: SOT 133219198 SOS 82152240 HAS SOPS 66826107 HAS SOUS 25267203 HAS SOUPS 24646598 WITH SCORE 2.472875024E7
AT ITER 682 NEW BEST:: SOT 133217759 SOS 82150465 HAS SOPS 66827532 HAS SOUS 25263120 HAS SOUPS 24642515 WITH SCORE 2.4724665465E7
AT ITER 693 NEW BEST:: SOT 133219714 SOS 82160897 HAS SOPS 66830703 HAS SOUS 25257516 HAS SOUPS 24636911 WITH SCORE 2.4719071897E7
AT ITER 695 NEW BEST:: SOT 133274560 SOS 82232291 HAS SOPS 66918141 HAS SOUS 25238304 HAS SOUPS 24617728 WITH SCORE 2.4699960291E7
AT ITER 697 NEW BEST:: SOT 133279913 SOS 82259725 HAS SOPS 66942469 HAS SOUS 25220050 HAS SOUPS 24599474 WITH SCORE 2.4681733725E7
AT ITER 698 NEW BEST:: SOT 133279073 SOS 82258867 HAS SOPS 66938886 HAS SOUS 25214676 HAS SOUPS 24594061 WITH SCORE 2.4676319867E7
AT ITER 699 NEW BEST:: SOT 133252526 SOS 82217532 HAS SOPS 66914994 HAS SOUS 25178681 HAS SOUPS 24558066 WITH SCORE 2.4640283532E7
AT ITER 704 NEW BEST:: SOT 133278463 SOS 82330232 HAS SOPS 67022046 HAS SOUS 25177347 HAS SOUPS 24556732 WITH SCORE 2.4639062232E7
AT ITER 706 NEW BEST:: SOT 133276249 SOS 82316757 HAS SOPS 67019669 HAS SOUS 25176812 HAS SOUPS 24556197 WITH SCORE 2.4638513757E7
AT ITER 719 NEW BEST:: SOT 133362693 SOS 82518193 HAS SOPS 67247395 HAS SOUS 25172699 HAS SOUPS 24552084 WITH SCORE 2.4634602193E7
AT ITER 725 NEW BEST:: SOT 133362695 SOS 82518162 HAS SOPS 67247652 HAS SOUS 25172696 HAS SOUPS 24552081 WITH SCORE 2.4634599162E7
AT ITER 730 NEW BEST:: SOT 133380282 SOS 82587157 HAS SOPS 67330395 HAS SOUS 25171505 HAS SOUPS 24550890 WITH SCORE 2.4633477157E7
AT ITER 741 NEW BEST:: SOT 133384691 SOS 82607727 HAS SOPS 67344570 HAS SOUS 25164448 HAS SOUPS 24543833 WITH SCORE 2.4626440727E7
AT ITER 744 NEW BEST:: SOT 133433222 SOS 82709019 HAS SOPS 67457848 HAS SOUS 25116474 HAS SOUPS 24495859 WITH SCORE 2.4578568019E7
AT ITER 777 NEW BEST:: SOT 133436464 SOS 82725009 HAS SOPS 67477370 HAS SOUS 25101246 HAS SOUPS 24480631 WITH SCORE 2.4563356009E7
AT ITER 784 NEW BEST:: SOT 133436464 SOS 82725864 HAS SOPS 67478225 HAS SOUS 25099031 HAS SOUPS 24478416 WITH SCORE 2.4561141864E7
AT ITER 789 NEW BEST:: SOT 133446597 SOS 82742109 HAS SOPS 67483236 HAS SOUS 25092010 HAS SOUPS 24471395 WITH SCORE 2.4554137109E7
AT ITER 790 NEW BEST:: SOT 133426034 SOS 82701842 HAS SOPS 67462567 HAS SOUS 25080422 HAS SOUPS 24459807 WITH SCORE 2.4542508842E7
AT ITER 793 NEW BEST:: SOT 133442578 SOS 82741053 HAS SOPS 67498201 HAS SOUS 25077240 HAS SOUPS 24456625 WITH SCORE 2.4539366053E7
AT ITER 801 NEW BEST:: SOT 133441909 SOS 82738189 HAS SOPS 67495578 HAS SOUS 25076513 HAS SOUPS 24455898 WITH SCORE 2.4538636189E7
AT ITER 803 NEW BEST:: SOT 133441434 SOS 82743443 HAS SOPS 67499764 HAS SOUS 25076145 HAS SOUPS 24455530 WITH SCORE 2.4538273443E7
AT ITER 815 NEW BEST:: SOT 133436540 SOS 82730472 HAS SOPS 67492413 HAS SOUS 25068242 HAS SOUPS 24447771 WITH SCORE 2.4530501472E7
AT ITER 829 NEW BEST:: SOT 133432939 SOS 82733228 HAS SOPS 67490122 HAS SOUS 25065855 HAS SOUPS 24445384 WITH SCORE 2.4528117228E7
AT ITER 870 NEW BEST:: SOT 133425697 SOS 82718186 HAS SOPS 67477550 HAS SOUS 25059701 HAS SOUPS 24439230 WITH SCORE 2.4521948186E7
AT ITER 878 NEW BEST:: SOT 133425484 SOS 82716405 HAS SOPS 67475276 HAS SOUS 25058910 HAS SOUPS 24438439 WITH SCORE 2.4521155405E7
AT ITER 890 NEW BEST:: SOT 133424670 SOS 82714374 HAS SOPS 67473859 HAS SOUS 25058628 HAS SOUPS 24438157 WITH SCORE 2.4520871374E7
AT ITER 894 NEW BEST:: SOT 133422569 SOS 82718641 HAS SOPS 67476438 HAS SOUS 25048680 HAS SOUPS 24428209 WITH SCORE 2.4510927641E7
AT ITER 898 NEW BEST:: SOT 133446629 SOS 82800616 HAS SOPS 67546364 HAS SOUS 25047911 HAS SOUPS 24427440 WITH SCORE 2.4510240616E7
AT ITER 904 NEW BEST:: SOT 133433372 SOS 82787359 HAS SOPS 67533075 HAS SOUS 25034590 HAS SOUPS 24414119 WITH SCORE 2.4496906359E7
AT ITER 905 NEW BEST:: SOT 133432470 SOS 82782090 HAS SOPS 67537765 HAS SOUS 25034478 HAS SOUPS 24414007 WITH SCORE 2.449678909E7
AT ITER 917 NEW BEST:: SOT 133434054 SOS 82786343 HAS SOPS 67539109 HAS SOUS 25027674 HAS SOUPS 24407203 WITH SCORE 2.4489989343E7
AT ITER 920 NEW BEST:: SOT 133433552 SOS 82785655 HAS SOPS 67538758 HAS SOUS 25027505 HAS SOUPS 24407034 WITH SCORE 2.4489819655E7
AT ITER 921 NEW BEST:: SOT 133438373 SOS 82790224 HAS SOPS 67545749 HAS SOUS 25025509 HAS SOUPS 24405278 WITH SCORE 2.4488068224E7
AT ITER 925 NEW BEST:: SOT 133437239 SOS 82792804 HAS SOPS 67550223 HAS SOUS 25025438 HAS SOUPS 24405207 WITH SCORE 2.4487999804E7
AT ITER 928 NEW BEST:: SOT 133436332 SOS 82791190 HAS SOPS 67548595 HAS SOUS 25024236 HAS SOUPS 24404005 WITH SCORE 2.448679619E7
AT ITER 930 NEW BEST:: SOT 133435148 SOS 82783778 HAS SOPS 67534637 HAS SOUS 25022885 HAS SOUPS 24402654 WITH SCORE 2.4485437778E7
AT ITER 936 NEW BEST:: SOT 133417846 SOS 82762060 HAS SOPS 67518295 HAS SOUS 25014498 HAS SOUPS 24394500 WITH SCORE 2.447726206E7
AT ITER 949 NEW BEST:: SOT 133417824 SOS 82762034 HAS SOPS 67518205 HAS SOUS 25014276 HAS SOUPS 24394278 WITH SCORE 2.4477040034E7
AT ITER 955 NEW BEST:: SOT 133426827 SOS 82800338 HAS SOPS 67544169 HAS SOUS 24944077 HAS SOUPS 24323824 WITH SCORE 2.4406624338E7
AT ITER 975 NEW BEST:: SOT 133471647 SOS 82909961 HAS SOPS 67648302 HAS SOUS 24921552 HAS SOUPS 24301299 WITH SCORE 2.4384208961E7
AT ITER 979 NEW BEST:: SOT 133470693 SOS 82908520 HAS SOPS 67644189 HAS SOUS 24914417 HAS SOUPS 24294164 WITH SCORE 2.437707252E7
AT ITER 980 NEW BEST:: SOT 133356657 SOS 82771031 HAS SOPS 67514783 HAS SOUS 24802255 HAS SOUPS 24182259 WITH SCORE 2.4265030031E7
AT ITER 982 NEW BEST:: SOT 133368726 SOS 82790726 HAS SOPS 67532806 HAS SOUS 24792532 HAS SOUPS 24171983 WITH SCORE 2.4254773726E7
AT ITER 994 NEW BEST:: SOT 133419375 SOS 82882981 HAS SOPS 67616885 HAS SOUS 24790164 HAS SOUPS 24169703 WITH SCORE 2.4252585981E7
AT ITER 1000 NEW BEST:: SOT 133438013 SOS 82934823 HAS SOPS 67650062 HAS SOUS 24782607 HAS SOUPS 24162146 WITH SCORE 2.4245080823E7
AT ITER 1013 NEW BEST:: SOT 133439211 SOS 82947495 HAS SOPS 67657155 HAS SOUS 24776339 HAS SOUPS 24155878 WITH SCORE 2.4238825495E7
AT ITER 1023 NEW BEST:: SOT 133422632 SOS 82918970 HAS SOPS 67639731 HAS SOUS 24755832 HAS SOUPS 24135371 WITH SCORE 2.421828997E7
AT ITER 1024 NEW BEST:: SOT 133396823 SOS 82893161 HAS SOPS 67612034 HAS SOUS 24724615 HAS SOUPS 24103738 WITH SCORE 2.4186631161E7
AT ITER 1028 NEW BEST:: SOT 133382852 SOS 82877606 HAS SOPS 67592430 HAS SOUS 24689216 HAS SOUPS 24068339 WITH SCORE 2.4151216606E7
AT ITER 1037 NEW BEST:: SOT 133384280 SOS 82883900 HAS SOPS 67596926 HAS SOUS 24683500 HAS SOUPS 24062623 WITH SCORE 2.41455069E7
AT ITER 1040 NEW BEST:: SOT 133386321 SOS 82891170 HAS SOPS 67601275 HAS SOUS 24680694 HAS SOUPS 24059817 WITH SCORE 2.414270817E7
AT ITER 1049 NEW BEST:: SOT 133379336 SOS 82889500 HAS SOPS 67596783 HAS SOUS 24654411 HAS SOUPS 24033534 WITH SCORE 2.41164235E7
AT ITER 1051 NEW BEST:: SOT 133394587 SOS 82933520 HAS SOPS 67626968 HAS SOUS 24647825 HAS SOUPS 24026948 WITH SCORE 2.410988152E7
AT ITER 1057 NEW BEST:: SOT 133391461 SOS 82930773 HAS SOPS 67626541 HAS SOUS 24644916 HAS SOUPS 24024039 WITH SCORE 2.4106969773E7
AT ITER 1060 NEW BEST:: SOT 133391446 SOS 82930687 HAS SOPS 67626241 HAS SOUS 24644755 HAS SOUPS 24023878 WITH SCORE 2.4106808687E7
AT ITER 1063 NEW BEST:: SOT 133392909 SOS 82951072 HAS SOPS 67653876 HAS SOUS 24641554 HAS SOUPS 24020677 WITH SCORE 2.4103628072E7
AT ITER 1073 NEW BEST:: SOT 133397105 SOS 82954477 HAS SOPS 67668623 HAS SOUS 24632731 HAS SOUPS 24011854 WITH SCORE 2.4094808477E7
AT ITER 1077 NEW BEST:: SOT 133396700 SOS 82953634 HAS SOPS 67666970 HAS SOUS 24620230 HAS SOUPS 23999353 WITH SCORE 2.4082306634E7
AT ITER 1085 NEW BEST:: SOT 133398390 SOS 82956022 HAS SOPS 67673255 HAS SOUS 24616512 HAS SOUPS 23995635 WITH SCORE 2.4078591022E7
AT ITER 1090 NEW BEST:: SOT 133396612 SOS 82949373 HAS SOPS 67651662 HAS SOUS 24593116 HAS SOUPS 23972380 WITH SCORE 2.4055329373E7
AT ITER 1116 NEW BEST:: SOT 133394445 SOS 82943656 HAS SOPS 67643984 HAS SOUS 24587977 HAS SOUPS 23967241 WITH SCORE 2.4050184656E7
AT ITER 1122 NEW BEST:: SOT 133379255 SOS 82900900 HAS SOPS 67609276 HAS SOUS 24572246 HAS SOUPS 23951510 WITH SCORE 2.40344109E7
AT ITER 1156 NEW BEST:: SOT 133376337 SOS 82898171 HAS SOPS 67606169 HAS SOUS 24567897 HAS SOUPS 23947161 WITH SCORE 2.4030059171E7
AT ITER 1182 NEW BEST:: SOT 133376527 SOS 82897702 HAS SOPS 67606939 HAS SOUS 24566415 HAS SOUPS 23945599 WITH SCORE 2.4028496702E7
AT ITER 1184 NEW BEST:: SOT 133362226 SOS 82871278 HAS SOPS 67570351 HAS SOUS 24515099 HAS SOUPS 23894283 WITH SCORE 2.3977154278E7
AT ITER 1189 NEW BEST:: SOT 133359235 SOS 82868385 HAS SOPS 67567458 HAS SOUS 24510750 HAS SOUPS 23889934 WITH SCORE 2.3972802385E7
AT ITER 1194 NEW BEST:: SOT 133356731 SOS 82868730 HAS SOPS 67554469 HAS SOUS 24477114 HAS SOUPS 23856298 WITH SCORE 2.393916673E7
AT ITER 1228 NEW BEST:: SOT 133366358 SOS 82881497 HAS SOPS 67577252 HAS SOUS 24452726 HAS SOUPS 23832341 WITH SCORE 2.3915222497E7
AT ITER 1233 NEW BEST:: SOT 133366222 SOS 82881361 HAS SOPS 67577053 HAS SOUS 24452447 HAS SOUPS 23832062 WITH SCORE 2.3914943361E7
AT ITER 1241 NEW BEST:: SOT 133370641 SOS 82866982 HAS SOPS 67573162 HAS SOUS 24450419 HAS SOUPS 23830034 WITH SCORE 2.3912900982E7
AT ITER 1244 NEW BEST:: SOT 133361520 SOS 82871553 HAS SOPS 67571679 HAS SOUS 24425448 HAS SOUPS 23803880 WITH SCORE 2.3886751553E7
AT ITER 1260 NEW BEST:: SOT 133361172 SOS 82871297 HAS SOPS 67571179 HAS SOUS 24424488 HAS SOUPS 23802920 WITH SCORE 2.3885791297E7
AT ITER 1277 NEW BEST:: SOT 133358351 SOS 82871992 HAS SOPS 67573709 HAS SOUS 24421652 HAS SOUPS 23800084 WITH SCORE 2.3882955992E7
AT ITER 1283 NEW BEST:: SOT 133358654 SOS 82871306 HAS SOPS 67574368 HAS SOUS 24420105 HAS SOUPS 23798537 WITH SCORE 2.3881408306E7
AT ITER 1285 NEW BEST:: SOT 133354174 SOS 82864586 HAS SOPS 67566656 HAS SOUS 24412657 HAS SOUPS 23791117 WITH SCORE 2.3873981586E7
AT ITER 1286 NEW BEST:: SOT 133364941 SOS 82873324 HAS SOPS 67615873 HAS SOUS 24408353 HAS SOUPS 23786813 WITH SCORE 2.3869686324E7
AT ITER 1288 NEW BEST:: SOT 133354933 SOS 82842191 HAS SOPS 67605490 HAS SOUS 24402029 HAS SOUPS 23780489 WITH SCORE 2.3863331191E7
AT ITER 1291 NEW BEST:: SOT 133353452 SOS 82840504 HAS SOPS 67604307 HAS SOUS 24398011 HAS SOUPS 23776579 WITH SCORE 2.3859419504E7
AT ITER 1301 NEW BEST:: SOT 133351558 SOS 82838608 HAS SOPS 67602107 HAS SOUS 24395811 HAS SOUPS 23774075 WITH SCORE 2.3856913608E7
AT ITER 1310 NEW BEST:: SOT 133334112 SOS 82808117 HAS SOPS 67591218 HAS SOUS 24386499 HAS SOUPS 23766246 WITH SCORE 2.3849054117E7
AT ITER 1316 NEW BEST:: SOT 133333457 SOS 82809104 HAS SOPS 67593930 HAS SOUS 24379599 HAS SOUPS 23760341 WITH SCORE 2.3843150104E7
AT ITER 1318 NEW BEST:: SOT 133327865 SOS 82793845 HAS SOPS 67593127 HAS SOUS 24357847 HAS SOUPS 23738589 WITH SCORE 2.3821382845E7
AT ITER 1323 NEW BEST:: SOT 133342182 SOS 82814860 HAS SOPS 67607455 HAS SOUS 24354870 HAS SOUPS 23735612 WITH SCORE 2.381842686E7
AT ITER 1327 NEW BEST:: SOT 133326074 SOS 82798603 HAS SOPS 67591198 HAS SOUS 24336956 HAS SOUPS 23717698 WITH SCORE 2.3800496603E7
AT ITER 1335 NEW BEST:: SOT 133326788 SOS 82801264 HAS SOPS 67592227 HAS SOUS 24336711 HAS SOUPS 23717453 WITH SCORE 2.3800254264E7
AT ITER 1342 NEW BEST:: SOT 133307379 SOS 82768199 HAS SOPS 67578679 HAS SOUS 24320922 HAS SOUPS 23702995 WITH SCORE 2.3785763199E7
AT ITER 1360 NEW BEST:: SOT 133316566 SOS 82806275 HAS SOPS 67616851 HAS SOUS 24315905 HAS SOUPS 23697978 WITH SCORE 2.3780784275E7
AT ITER 1361 NEW BEST:: SOT 133314222 SOS 82803669 HAS SOPS 67611554 HAS SOUS 24309092 HAS SOUPS 23690873 WITH SCORE 2.3773676669E7
AT ITER 1383 NEW BEST:: SOT 133329119 SOS 82850918 HAS SOPS 67648757 HAS SOUS 24304290 HAS SOUPS 23686071 WITH SCORE 2.3768921918E7
AT ITER 1389 NEW BEST:: SOT 133294953 SOS 82806178 HAS SOPS 67601619 HAS SOUS 24264322 HAS SOUPS 23645626 WITH SCORE 2.3728432178E7
AT ITER 1390 NEW BEST:: SOT 133294642 SOS 82805663 HAS SOPS 67601206 HAS SOUS 24261573 HAS SOUPS 23642877 WITH SCORE 2.3725682663E7
AT ITER 1409 NEW BEST:: SOT 133289688 SOS 82797477 HAS SOPS 67596588 HAS SOUS 24259225 HAS SOUPS 23640529 WITH SCORE 2.3723326477E7
AT ITER 1415 NEW BEST:: SOT 133300576 SOS 82821722 HAS SOPS 67612605 HAS SOUS 24222281 HAS SOUPS 23606923 WITH SCORE 2.3689744722E7
AT ITER 1424 NEW BEST:: SOT 133306447 SOS 82842367 HAS SOPS 67629488 HAS SOUS 24221099 HAS SOUPS 23605741 WITH SCORE 2.3688583367E7
AT ITER 1431 NEW BEST:: SOT 133304813 SOS 82839402 HAS SOPS 67626345 HAS SOUS 24219136 HAS SOUPS 23603778 WITH SCORE 2.3686617402E7
AT ITER 1444 NEW BEST:: SOT 133306532 SOS 82848189 HAS SOPS 67633967 HAS SOUS 24214447 HAS SOUPS 23599089 WITH SCORE 2.3681937189E7
AT ITER 1446 NEW BEST:: SOT 133297368 SOS 82826005 HAS SOPS 67615077 HAS SOUS 24206486 HAS SOUPS 23591128 WITH SCORE 2.3673954005E7
AT ITER 1448 NEW BEST:: SOT 133303434 SOS 82844972 HAS SOPS 67625704 HAS SOUS 24191070 HAS SOUPS 23575712 WITH SCORE 2.3658556972E7
AT ITER 1452 NEW BEST:: SOT 133299340 SOS 82840876 HAS SOPS 67621600 HAS SOUS 24190318 HAS SOUPS 23574960 WITH SCORE 2.3657800876E7
AT ITER 1464 NEW BEST:: SOT 133289885 SOS 82779189 HAS SOPS 67561875 HAS SOUS 24172279 HAS SOUPS 23556921 WITH SCORE 2.3639700189E7
AT ITER 1465 NEW BEST:: SOT 133289346 SOS 82778592 HAS SOPS 67560397 HAS SOUS 24170157 HAS SOUPS 23554864 WITH SCORE 2.3637642592E7
AT ITER 1475 NEW BEST:: SOT 133287447 SOS 82805138 HAS SOPS 67586507 HAS SOUS 24152952 HAS SOUPS 23537659 WITH SCORE 2.3620464138E7
AT ITER 1484 NEW BEST:: SOT 133287215 SOS 82811853 HAS SOPS 67587929 HAS SOUS 24142787 HAS SOUPS 23527494 WITH SCORE 2.3610305853E7
AT ITER 1503 NEW BEST:: SOT 133286874 SOS 82810857 HAS SOPS 67585066 HAS SOUS 24137161 HAS SOUPS 23521801 WITH SCORE 2.3604611857E7
AT ITER 1519 NEW BEST:: SOT 133276724 SOS 82795030 HAS SOPS 67569320 HAS SOUS 24125591 HAS SOUPS 23510231 WITH SCORE 2.359302603E7
AT ITER 1536 NEW BEST:: SOT 133274193 SOS 82791234 HAS SOPS 67566734 HAS SOUS 24124309 HAS SOUPS 23508615 WITH SCORE 2.3591406234E7
AT ITER 1545 NEW BEST:: SOT 133267462 SOS 82789418 HAS SOPS 67562921 HAS SOUS 24103762 HAS SOUPS 23488068 WITH SCORE 2.3570857418E7
AT ITER 1550 NEW BEST:: SOT 133241447 SOS 82763150 HAS SOPS 67534792 HAS SOUS 24057444 HAS SOUPS 23441750 WITH SCORE 2.352451315E7
AT ITER 1564 NEW BEST:: SOT 133204310 SOS 82725866 HAS SOPS 67496563 HAS SOUS 24004107 HAS SOUPS 23388479 WITH SCORE 2.3471204866E7
AT ITER 1570 NEW BEST:: SOT 133219020 SOS 82748444 HAS SOPS 67520289 HAS SOUS 23984973 HAS SOUPS 23369345 WITH SCORE 2.3452093444E7
AT ITER 1575 NEW BEST:: SOT 133194569 SOS 82723162 HAS SOPS 67516724 HAS SOUS 23977919 HAS SOUPS 23362291 WITH SCORE 2.3445014162E7
AT ITER 1578 NEW BEST:: SOT 133192028 SOS 82715570 HAS SOPS 67510951 HAS SOUS 23974269 HAS SOUPS 23358641 WITH SCORE 2.344135657E7
AT ITER 1580 NEW BEST:: SOT 133194860 SOS 82722649 HAS SOPS 67514984 HAS SOUS 23968051 HAS SOUPS 23352423 WITH SCORE 2.3435145649E7
AT ITER 1581 NEW BEST:: SOT 133193906 SOS 82719678 HAS SOPS 67511443 HAS SOUS 23963053 HAS SOUPS 23347425 WITH SCORE 2.3430144678E7
AT ITER 1586 NEW BEST:: SOT 133194140 SOS 82724722 HAS SOPS 67513258 HAS SOUS 23959624 HAS SOUPS 23343996 WITH SCORE 2.3426720722E7
AT ITER 1591 NEW BEST:: SOT 133200178 SOS 82765909 HAS SOPS 67540910 HAS SOUS 23951804 HAS SOUPS 23336176 WITH SCORE 2.3418941909E7
AT ITER 1593 NEW BEST:: SOT 133176437 SOS 82741315 HAS SOPS 67511128 HAS SOUS 23920394 HAS SOUPS 23304766 WITH SCORE 2.3387507315E7
AT ITER 1617 NEW BEST:: SOT 133158441 SOS 82693599 HAS SOPS 67475990 HAS SOUS 23905164 HAS SOUPS 23289536 WITH SCORE 2.3372229599E7
AT ITER 1619 NEW BEST:: SOT 133127909 SOS 82629570 HAS SOPS 67428184 HAS SOUS 23895663 HAS SOUPS 23280035 WITH SCORE 2.336266457E7
AT ITER 1620 NEW BEST:: SOT 133126151 SOS 82626190 HAS SOPS 67425679 HAS SOUS 23894256 HAS SOUPS 23278628 WITH SCORE 2.336125419E7
AT ITER 1635 NEW BEST:: SOT 133127603 SOS 82635226 HAS SOPS 67440488 HAS SOUS 23891979 HAS SOUPS 23276351 WITH SCORE 2.3358986226E7
AT ITER 1645 NEW BEST:: SOT 133124997 SOS 82627760 HAS SOPS 67430733 HAS SOUS 23885881 HAS SOUPS 23270253 WITH SCORE 2.335288076E7
AT ITER 1655 NEW BEST:: SOT 133117670 SOS 82607950 HAS SOPS 67437560 HAS SOUS 23882393 HAS SOUPS 23266765 WITH SCORE 2.334937295E7
AT ITER 1657 NEW BEST:: SOT 133105620 SOS 82590760 HAS SOPS 67416542 HAS SOUS 23851480 HAS SOUPS 23236950 WITH SCORE 2.331954076E7
AT ITER 1673 NEW BEST:: SOT 133100067 SOS 82572042 HAS SOPS 67402294 HAS SOUS 23848838 HAS SOUPS 23234308 WITH SCORE 2.3316880042E7
AT ITER 1690 NEW BEST:: SOT 133100557 SOS 82572944 HAS SOPS 67405453 HAS SOUS 23848593 HAS SOUPS 23234063 WITH SCORE 2.3316635944E7
AT ITER 1692 NEW BEST:: SOT 133100479 SOS 82572866 HAS SOPS 67405343 HAS SOUS 23848515 HAS SOUPS 23233953 WITH SCORE 2.3316525866E7
AT ITER 1702 NEW BEST:: SOT 133085010 SOS 82531115 HAS SOPS 67391513 HAS SOUS 23844999 HAS SOUPS 23230861 WITH SCORE 2.3313392115E7
AT ITER 1714 NEW BEST:: SOT 133088886 SOS 82533594 HAS SOPS 67391356 HAS SOUS 23842488 HAS SOUPS 23228350 WITH SCORE 2.3310883594E7
AT ITER 1716 NEW BEST:: SOT 133092536 SOS 82587649 HAS SOPS 67422850 HAS SOUS 23763737 HAS SOUPS 23149599 WITH SCORE 2.3232186649E7
AT ITER 1721 NEW BEST:: SOT 133096855 SOS 82605934 HAS SOPS 67437406 HAS SOUS 23761281 HAS SOUPS 23147143 WITH SCORE 2.3229748934E7
AT ITER 1727 NEW BEST:: SOT 133096854 SOS 82605977 HAS SOPS 67437395 HAS SOUS 23761235 HAS SOUPS 23147097 WITH SCORE 2.3229702977E7
AT ITER 1747 NEW BEST:: SOT 133096852 SOS 82605990 HAS SOPS 67437420 HAS SOUS 23761230 HAS SOUPS 23147092 WITH SCORE 2.322969799E7
AT ITER 1748 NEW BEST:: SOT 133098172 SOS 82620483 HAS SOPS 67443998 HAS SOUS 23749211 HAS SOUPS 23135073 WITH SCORE 2.3217693483E7
AT ITER 1755 NEW BEST:: SOT 133092487 SOS 82614798 HAS SOPS 67438313 HAS SOUS 23743526 HAS SOUPS 23129388 WITH SCORE 2.3212002798E7
AT ITER 1772 NEW BEST:: SOT 133091262 SOS 82613642 HAS SOPS 67436453 HAS SOUS 23739207 HAS SOUPS 23125069 WITH SCORE 2.3207682642E7
AT ITER 1785 NEW BEST:: SOT 133125723 SOS 82698874 HAS SOPS 67540508 HAS SOUS 23725573 HAS SOUPS 23111435 WITH SCORE 2.3194133874E7
AT ITER 1800 NEW BEST:: SOT 133087283 SOS 82649955 HAS SOPS 67494901 HAS SOUS 23670818 HAS SOUPS 23056876 WITH SCORE 2.3139525955E7
AT ITER 1805 NEW BEST:: SOT 133127417 SOS 82717314 HAS SOPS 67571917 HAS SOUS 23668390 HAS SOUPS 23055048 WITH SCORE 2.3137765314E7
AT ITER 1824 NEW BEST:: SOT 133125692 SOS 82710473 HAS SOPS 67566930 HAS SOUS 23667509 HAS SOUPS 23054167 WITH SCORE 2.3136877473E7
AT ITER 1835 NEW BEST:: SOT 133102559 SOS 82688971 HAS SOPS 67591094 HAS SOUS 23651664 HAS SOUPS 23038812 WITH SCORE 2.3121500971E7
AT ITER 1842 NEW BEST:: SOT 133104127 SOS 82697912 HAS SOPS 67594252 HAS SOUS 23646470 HAS SOUPS 23033618 WITH SCORE 2.3116315912E7
AT ITER 1850 NEW BEST:: SOT 133106963 SOS 82730869 HAS SOPS 67621769 HAS SOUS 23631450 HAS SOUPS 23018598 WITH SCORE 2.3101328869E7
AT ITER 1851 NEW BEST:: SOT 133119672 SOS 82749731 HAS SOPS 67643708 HAS SOUS 23618831 HAS SOUPS 23005979 WITH SCORE 2.3088728731E7
AT ITER 1854 NEW BEST:: SOT 133131397 SOS 82783921 HAS SOPS 67709203 HAS SOUS 23615541 HAS SOUPS 23003111 WITH SCORE 2.3085894921E7
AT ITER 1856 NEW BEST:: SOT 133114379 SOS 82762831 HAS SOPS 67688891 HAS SOUS 23595865 HAS SOUPS 22983435 WITH SCORE 2.3066197831E7
AT ITER 1860 NEW BEST:: SOT 133119033 SOS 82773281 HAS SOPS 67699121 HAS SOUS 23594691 HAS SOUPS 22982261 WITH SCORE 2.3065034281E7
AT ITER 1864 NEW BEST:: SOT 133120369 SOS 82769949 HAS SOPS 67698150 HAS SOUS 23594369 HAS SOUPS 22981939 WITH SCORE 2.3064708949E7
AT ITER 1866 NEW BEST:: SOT 133118577 SOS 82768207 HAS SOPS 67695181 HAS SOUS 23589458 HAS SOUPS 22977028 WITH SCORE 2.3059796207E7
AT ITER 1870 NEW BEST:: SOT 133115843 SOS 82764560 HAS SOPS 67691703 HAS SOUS 23585905 HAS SOUPS 22973475 WITH SCORE 2.305623956E7
AT ITER 1875 NEW BEST:: SOT 133112628 SOS 82757015 HAS SOPS 67681828 HAS SOUS 23578434 HAS SOUPS 22965904 WITH SCORE 2.3048661015E7
AT ITER 1879 NEW BEST:: SOT 133107684 SOS 82749101 HAS SOPS 67674458 HAS SOUS 23570837 HAS SOUPS 22958451 WITH SCORE 2.3041200101E7
AT ITER 1887 NEW BEST:: SOT 133109868 SOS 82738146 HAS SOPS 67664718 HAS SOUS 23565914 HAS SOUPS 22953528 WITH SCORE 2.3036266146E7
AT ITER 1888 NEW BEST:: SOT 133109218 SOS 82738260 HAS SOPS 67664819 HAS SOUS 23563386 HAS SOUPS 22951000 WITH SCORE 2.303373826E7
AT ITER 1895 NEW BEST:: SOT 133076369 SOS 82700929 HAS SOPS 67629697 HAS SOUS 23519563 HAS SOUPS 22907177 WITH SCORE 2.2989877929E7
AT ITER 1913 NEW BEST:: SOT 133077066 SOS 82713009 HAS SOPS 67637092 HAS SOUS 23515044 HAS SOUPS 22902658 WITH SCORE 2.2985371009E7
AT ITER 1915 NEW BEST:: SOT 133049443 SOS 82660321 HAS SOPS 67598392 HAS SOUS 23470262 HAS SOUPS 22863760 WITH SCORE 2.2946420321E7
AT ITER 1916 NEW BEST:: SOT 133047880 SOS 82658124 HAS SOPS 67596080 HAS SOUS 23469167 HAS SOUPS 22862665 WITH SCORE 2.2945323124E7
AT ITER 1922 NEW BEST:: SOT 133049890 SOS 82669753 HAS SOPS 67604082 HAS SOUS 23465206 HAS SOUPS 22858704 WITH SCORE 2.2941373753E7
AT ITER 1924 NEW BEST:: SOT 133002377 SOS 82525265 HAS SOPS 67515916 HAS SOUS 23459519 HAS SOUPS 22853613 WITH SCORE 2.2936138265E7
AT ITER 1929 NEW BEST:: SOT 133005094 SOS 82532580 HAS SOPS 67523701 HAS SOUS 23458930 HAS SOUPS 22853024 WITH SCORE 2.293555658E7
AT ITER 1935 NEW BEST:: SOT 133005959 SOS 82539853 HAS SOPS 67529844 HAS SOUS 23455371 HAS SOUPS 22849465 WITH SCORE 2.2932004853E7
AT ITER 1938 NEW BEST:: SOT 133007109 SOS 82556073 HAS SOPS 67527528 HAS SOUS 23443149 HAS SOUPS 22837243 WITH SCORE 2.2919799073E7
AT ITER 1960 NEW BEST:: SOT 133011470 SOS 82573073 HAS SOPS 67552159 HAS SOUS 23437099 HAS SOUPS 22831193 WITH SCORE 2.2913766073E7
AT ITER 1982 NEW BEST:: SOT 133011625 SOS 82574625 HAS SOPS 67555765 HAS SOUS 23437014 HAS SOUPS 22831108 WITH SCORE 2.2913682625E7
AT ITER 2007 NEW BEST:: SOT 133012328 SOS 82575502 HAS SOPS 67557176 HAS SOUS 23434525 HAS SOUPS 22828619 WITH SCORE 2.2911194502E7
AT ITER 2012 NEW BEST:: SOT 133012246 SOS 82575572 HAS SOPS 67555262 HAS SOUS 23433515 HAS SOUPS 22827609 WITH SCORE 2.2910184572E7
AT ITER 2016 NEW BEST:: SOT 132969250 SOS 82519619 HAS SOPS 67522105 HAS SOUS 23362242 HAS SOUPS 22757750 WITH SCORE 2.2840269619E7
AT ITER 2020 NEW BEST:: SOT 132971711 SOS 82524672 HAS SOPS 67525205 HAS SOUS 23361445 HAS SOUPS 22756953 WITH SCORE 2.2839477672E7
AT ITER 2052 NEW BEST:: SOT 132978138 SOS 82536276 HAS SOPS 67540399 HAS SOUS 23350121 HAS SOUPS 22745597 WITH SCORE 2.2828133276E7
AT ITER 2068 NEW BEST:: SOT 132984322 SOS 82572605 HAS SOPS 67576520 HAS SOUS 23335291 HAS SOUPS 22730767 WITH SCORE 2.2813339605E7
AT ITER 2088 NEW BEST:: SOT 132985060 SOS 82575458 HAS SOPS 67574714 HAS SOUS 23326203 HAS SOUPS 22721679 WITH SCORE 2.2804254458E7
AT ITER 2094 NEW BEST:: SOT 132984078 SOS 82571042 HAS SOPS 67576424 HAS SOUS 23324042 HAS SOUPS 22719518 WITH SCORE 2.2802089042E7
AT ITER 2100 NEW BEST:: SOT 132973175 SOS 82557053 HAS SOPS 67566327 HAS SOUS 23299963 HAS SOUPS 22695597 WITH SCORE 2.2778154053E7
AT ITER 2108 NEW BEST:: SOT 132956476 SOS 82540354 HAS SOPS 67549596 HAS SOUS 23283200 HAS SOUPS 22678834 WITH SCORE 2.2761374354E7
AT ITER 2109 NEW BEST:: SOT 132961141 SOS 82546424 HAS SOPS 67548993 HAS SOUS 23281902 HAS SOUPS 22672310 WITH SCORE 2.2754856424E7
AT ITER 2123 NEW BEST:: SOT 132961605 SOS 82547092 HAS SOPS 67548971 HAS SOUS 23281490 HAS SOUPS 22671898 WITH SCORE 2.2754445092E7
AT ITER 2140 NEW BEST:: SOT 132961674 SOS 82548903 HAS SOPS 67548761 HAS SOUS 23276667 HAS SOUPS 22667075 WITH SCORE 2.2749623903E7
AT ITER 2169 NEW BEST:: SOT 132916573 SOS 82479803 HAS SOPS 67517865 HAS SOUS 23233682 HAS SOUPS 22624090 WITH SCORE 2.2706569803E7
AT ITER 2175 NEW BEST:: SOT 132916044 SOS 82484826 HAS SOPS 67527458 HAS SOUS 23233008 HAS SOUPS 22623487 WITH SCORE 2.2705971826E7

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is RERS17pb114-PT-3, 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-158961502400092"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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