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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 70M
-rw-r--r-- 1 mcc users 3.3K Apr 12 07:37 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 12 07:37 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 11 08:35 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 11 08:34 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.7K Apr 14 12:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 14 12:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Apr 10 14:28 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Apr 10 14:28 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.9K Apr 9 21:02 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 9 21:01 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 10 22:27 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 10 22:27 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-2-CTLFireability-00
FORMULA_NAME RERS17pb115-PT-2-CTLFireability-01
FORMULA_NAME RERS17pb115-PT-2-CTLFireability-02
FORMULA_NAME RERS17pb115-PT-2-CTLFireability-03
FORMULA_NAME RERS17pb115-PT-2-CTLFireability-04
FORMULA_NAME RERS17pb115-PT-2-CTLFireability-05
FORMULA_NAME RERS17pb115-PT-2-CTLFireability-06
FORMULA_NAME RERS17pb115-PT-2-CTLFireability-07
FORMULA_NAME RERS17pb115-PT-2-CTLFireability-08
FORMULA_NAME RERS17pb115-PT-2-CTLFireability-09
FORMULA_NAME RERS17pb115-PT-2-CTLFireability-10
FORMULA_NAME RERS17pb115-PT-2-CTLFireability-11
FORMULA_NAME RERS17pb115-PT-2-CTLFireability-12
FORMULA_NAME RERS17pb115-PT-2-CTLFireability-13
FORMULA_NAME RERS17pb115-PT-2-CTLFireability-14
FORMULA_NAME RERS17pb115-PT-2-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589748449603

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb115 (PT), instance 2
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 18 NEW BEST:: SOT 123430629 SOS 80214475 HAS SOPS 65193691 HAS SOUS 24058488 HAS SOUPS 23485714 WITH SCORE 2.3565928475E7
AT ITER 27 NEW BEST:: SOT 123427817 SOS 80212516 HAS SOPS 65191593 HAS SOUS 24049470 HAS SOUPS 23476696 WITH SCORE 2.3556908516E7
AT ITER 35 NEW BEST:: SOT 123426141 SOS 80211440 HAS SOPS 65190213 HAS SOUS 24046074 HAS SOUPS 23473300 WITH SCORE 2.355351144E7
AT ITER 37 NEW BEST:: SOT 123426726 SOS 80212040 HAS SOPS 65190660 HAS SOUS 24045668 HAS SOUPS 23472990 WITH SCORE 2.355320204E7
AT ITER 61 NEW BEST:: SOT 123425856 SOS 80209948 HAS SOPS 65188394 HAS SOUS 24043600 HAS SOUPS 23470922 WITH SCORE 2.3551131948E7
AT ITER 62 NEW BEST:: SOT 123424984 SOS 80205914 HAS SOPS 65187333 HAS SOUS 24039052 HAS SOUPS 23466374 WITH SCORE 2.3546579914E7
AT ITER 91 NEW BEST:: SOT 123415512 SOS 80193355 HAS SOPS 65176686 HAS SOUS 24023104 HAS SOUPS 23450502 WITH SCORE 2.3530695355E7
AT ITER 94 NEW BEST:: SOT 123413600 SOS 80195557 HAS SOPS 65180361 HAS SOUS 24004420 HAS SOUPS 23431818 WITH SCORE 2.3512013557E7
AT ITER 116 NEW BEST:: SOT 123414660 SOS 80204881 HAS SOPS 65188626 HAS SOUS 23985516 HAS SOUPS 23412914 WITH SCORE 2.3493118881E7
AT ITER 124 NEW BEST:: SOT 123396497 SOS 80184998 HAS SOPS 65162705 HAS SOUS 23957420 HAS SOUPS 23384818 WITH SCORE 2.3465002998E7
AT ITER 125 NEW BEST:: SOT 123381577 SOS 80162078 HAS SOPS 65143209 HAS SOUS 23939944 HAS SOUPS 23367374 WITH SCORE 2.3447536078E7
AT ITER 133 NEW BEST:: SOT 123384275 SOS 80161050 HAS SOPS 65141906 HAS SOUS 23926728 HAS SOUPS 23354158 WITH SCORE 2.343431905E7
AT ITER 142 NEW BEST:: SOT 123361199 SOS 80135225 HAS SOPS 65114713 HAS SOUS 23894019 HAS SOUPS 23319139 WITH SCORE 2.3399274225E7
AT ITER 144 NEW BEST:: SOT 123360969 SOS 80134463 HAS SOPS 65113699 HAS SOUS 23893300 HAS SOUPS 23318420 WITH SCORE 2.3398554463E7
AT ITER 145 NEW BEST:: SOT 123357722 SOS 80133922 HAS SOPS 65121585 HAS SOUS 23877486 HAS SOUPS 23302606 WITH SCORE 2.3382739922E7
AT ITER 162 NEW BEST:: SOT 123357603 SOS 80133804 HAS SOPS 65121466 HAS SOUS 23877202 HAS SOUPS 23302328 WITH SCORE 2.3382461804E7
AT ITER 165 NEW BEST:: SOT 123348401 SOS 80110541 HAS SOPS 65098124 HAS SOUS 23865394 HAS SOUPS 23290520 WITH SCORE 2.3370630541E7
AT ITER 166 NEW BEST:: SOT 123349460 SOS 80112720 HAS SOPS 65098040 HAS SOUS 23864500 HAS SOUPS 23289626 WITH SCORE 2.336973872E7
AT ITER 190 NEW BEST:: SOT 123348895 SOS 80112010 HAS SOPS 65097280 HAS SOUS 23863499 HAS SOUPS 23288630 WITH SCORE 2.336874201E7
AT ITER 196 NEW BEST:: SOT 123348992 SOS 80127298 HAS SOPS 65112263 HAS SOUS 23863028 HAS SOUPS 23288159 WITH SCORE 2.3368286298E7
AT ITER 204 NEW BEST:: SOT 123343275 SOS 80121605 HAS SOPS 65106434 HAS SOUS 23856819 HAS SOUPS 23281926 WITH SCORE 2.3362047605E7
AT ITER 228 NEW BEST:: SOT 123321640 SOS 80094691 HAS SOPS 65098233 HAS SOUS 23809875 HAS SOUPS 23235004 WITH SCORE 2.3315098691E7
AT ITER 229 NEW BEST:: SOT 123332462 SOS 80115114 HAS SOPS 65112558 HAS SOUS 23808483 HAS SOUPS 23233492 WITH SCORE 2.3313607114E7
AT ITER 233 NEW BEST:: SOT 123366265 SOS 80150987 HAS SOPS 65147228 HAS SOUS 23784276 HAS SOUPS 23209125 WITH SCORE 2.3289275987E7
AT ITER 234 NEW BEST:: SOT 123348170 SOS 80135127 HAS SOPS 65131776 HAS SOUS 23750999 HAS SOUPS 23175948 WITH SCORE 2.3256083127E7
AT ITER 237 NEW BEST:: SOT 123373637 SOS 80217098 HAS SOPS 65209641 HAS SOUS 23720066 HAS SOUPS 23145015 WITH SCORE 2.3225232098E7
AT ITER 253 NEW BEST:: SOT 123370150 SOS 80213611 HAS SOPS 65206154 HAS SOUS 23716579 HAS SOUPS 23141528 WITH SCORE 2.3221741611E7
AT ITER 274 NEW BEST:: SOT 123373396 SOS 80223975 HAS SOPS 65212090 HAS SOUS 23716050 HAS SOUPS 23140999 WITH SCORE 2.3221222975E7
AT ITER 295 NEW BEST:: SOT 123367861 SOS 80216142 HAS SOPS 65203062 HAS SOUS 23703654 HAS SOUPS 23128603 WITH SCORE 2.3208819142E7
AT ITER 300 NEW BEST:: SOT 123369686 SOS 80220391 HAS SOPS 65206670 HAS SOUS 23694634 HAS SOUPS 23119806 WITH SCORE 2.3200026391E7
AT ITER 312 NEW BEST:: SOT 123369686 SOS 80220378 HAS SOPS 65206670 HAS SOUS 23694633 HAS SOUPS 23119805 WITH SCORE 2.3200025378E7
AT ITER 324 NEW BEST:: SOT 123374771 SOS 80226529 HAS SOPS 65225514 HAS SOUS 23668525 HAS SOUPS 23093766 WITH SCORE 2.3173992529E7
AT ITER 337 NEW BEST:: SOT 123366051 SOS 80217809 HAS SOPS 65216794 HAS SOUS 23656605 HAS SOUPS 23081846 WITH SCORE 2.3162063809E7
AT ITER 345 NEW BEST:: SOT 123356194 SOS 80210525 HAS SOPS 65206763 HAS SOUS 23634275 HAS SOUPS 23059357 WITH SCORE 2.3139567525E7
AT ITER 352 NEW BEST:: SOT 123356536 SOS 80211713 HAS SOPS 65207492 HAS SOUS 23633641 HAS SOUPS 23058723 WITH SCORE 2.3138934713E7
AT ITER 356 NEW BEST:: SOT 123391634 SOS 80329015 HAS SOPS 65329035 HAS SOUS 23627284 HAS SOUPS 23052366 WITH SCORE 2.3132695015E7
AT ITER 369 NEW BEST:: SOT 123400680 SOS 80347729 HAS SOPS 65360118 HAS SOUS 23621211 HAS SOUPS 23046293 WITH SCORE 2.3126640729E7
AT ITER 378 NEW BEST:: SOT 123400265 SOS 80347398 HAS SOPS 65359693 HAS SOUS 23620290 HAS SOUPS 23045366 WITH SCORE 2.3125713398E7
AT ITER 386 NEW BEST:: SOT 123489837 SOS 80375767 HAS SOPS 65408825 HAS SOUS 23616762 HAS SOUPS 23040999 WITH SCORE 2.3121374767E7
AT ITER 401 NEW BEST:: SOT 123487565 SOS 80379851 HAS SOPS 65417143 HAS SOUS 23599760 HAS SOUPS 23024199 WITH SCORE 2.3104578851E7
AT ITER 404 NEW BEST:: SOT 123487978 SOS 80381295 HAS SOPS 65416350 HAS SOUS 23597077 HAS SOUPS 23021516 WITH SCORE 2.3101897295E7
AT ITER 407 NEW BEST:: SOT 123485394 SOS 80392094 HAS SOPS 65454451 HAS SOUS 23593829 HAS SOUPS 23018484 WITH SCORE 2.3098876094E7
AT ITER 426 NEW BEST:: SOT 123500596 SOS 80419830 HAS SOPS 65479599 HAS SOUS 23586487 HAS SOUPS 23011281 WITH SCORE 2.309170083E7
AT ITER 430 NEW BEST:: SOT 123524650 SOS 80459504 HAS SOPS 65510661 HAS SOUS 23584261 HAS SOUPS 23009055 WITH SCORE 2.3089514504E7
AT ITER 444 NEW BEST:: SOT 123525063 SOS 80459230 HAS SOPS 65510863 HAS SOUS 23583165 HAS SOUPS 23007959 WITH SCORE 2.308841823E7
AT ITER 461 NEW BEST:: SOT 123504582 SOS 80418535 HAS SOPS 65482696 HAS SOUS 23572269 HAS SOUPS 22997304 WITH SCORE 2.3077722535E7
AT ITER 464 NEW BEST:: SOT 123510962 SOS 80421425 HAS SOPS 65488745 HAS SOUS 23568821 HAS SOUPS 22994697 WITH SCORE 2.3075118425E7
AT ITER 471 NEW BEST:: SOT 123510986 SOS 80434041 HAS SOPS 65501317 HAS SOUS 23568550 HAS SOUPS 22994426 WITH SCORE 2.3074860041E7
AT ITER 481 NEW BEST:: SOT 123502482 SOS 80413417 HAS SOPS 65487356 HAS SOUS 23561416 HAS SOUPS 22987292 WITH SCORE 2.3067705417E7
AT ITER 489 NEW BEST:: SOT 123520325 SOS 80447519 HAS SOPS 65512311 HAS SOUS 23540339 HAS SOUPS 22967018 WITH SCORE 2.3047465519E7
AT ITER 490 NEW BEST:: SOT 123534809 SOS 80469478 HAS SOPS 65531214 HAS SOUS 23535722 HAS SOUPS 22962265 WITH SCORE 2.3042734478E7
AT ITER 493 NEW BEST:: SOT 123532917 SOS 80472992 HAS SOPS 65528335 HAS SOUS 23518508 HAS SOUPS 22945051 WITH SCORE 2.3025523992E7
AT ITER 495 NEW BEST:: SOT 123538250 SOS 80484002 HAS SOPS 65529184 HAS SOUS 23517295 HAS SOUPS 22943681 WITH SCORE 2.3024165002E7
AT ITER 504 NEW BEST:: SOT 123528447 SOS 80473581 HAS SOPS 65521836 HAS SOUS 23500360 HAS SOUPS 22926741 WITH SCORE 2.3007214581E7
AT ITER 505 NEW BEST:: SOT 123535009 SOS 80493215 HAS SOPS 65533992 HAS SOUS 23486461 HAS SOUPS 22912842 WITH SCORE 2.2993335215E7
AT ITER 508 NEW BEST:: SOT 123529196 SOS 80476516 HAS SOPS 65525623 HAS SOUS 23471545 HAS SOUPS 22897926 WITH SCORE 2.2978402516E7
AT ITER 513 NEW BEST:: SOT 123515433 SOS 80448374 HAS SOPS 65507662 HAS SOUS 23468506 HAS SOUPS 22894887 WITH SCORE 2.2975335374E7
AT ITER 514 NEW BEST:: SOT 123512082 SOS 80444895 HAS SOPS 65502370 HAS SOUS 23458638 HAS SOUPS 22885104 WITH SCORE 2.2965548895E7
AT ITER 518 NEW BEST:: SOT 123519990 SOS 80467165 HAS SOPS 65517455 HAS SOUS 23448661 HAS SOUPS 22875127 WITH SCORE 2.2955594165E7
AT ITER 523 NEW BEST:: SOT 123556555 SOS 80577591 HAS SOPS 65625732 HAS SOUS 23372258 HAS SOUPS 22798677 WITH SCORE 2.2879254591E7
AT ITER 533 NEW BEST:: SOT 123554131 SOS 80571258 HAS SOPS 65621948 HAS SOUS 23370693 HAS SOUPS 22797459 WITH SCORE 2.2878030258E7
AT ITER 542 NEW BEST:: SOT 123543346 SOS 80563441 HAS SOPS 65608187 HAS SOUS 23327112 HAS SOUPS 22753878 WITH SCORE 2.2834441441E7
AT ITER 559 NEW BEST:: SOT 123501301 SOS 80517039 HAS SOPS 65553153 HAS SOUS 23259728 HAS SOUPS 22686110 WITH SCORE 2.2766627039E7
AT ITER 566 NEW BEST:: SOT 123497432 SOS 80513146 HAS SOPS 65553052 HAS SOUS 23252297 HAS SOUPS 22678762 WITH SCORE 2.2759275146E7
AT ITER 576 NEW BEST:: SOT 123494696 SOS 80513364 HAS SOPS 65563562 HAS SOUS 23246805 HAS SOUPS 22673270 WITH SCORE 2.2753783364E7
AT ITER 579 NEW BEST:: SOT 123488904 SOS 80508851 HAS SOPS 65554911 HAS SOUS 23239559 HAS SOUPS 22665905 WITH SCORE 2.2746413851E7
AT ITER 582 NEW BEST:: SOT 123439323 SOS 80402553 HAS SOPS 65450022 HAS SOUS 23211269 HAS SOUPS 22637615 WITH SCORE 2.2718017553E7
AT ITER 598 NEW BEST:: SOT 123455906 SOS 80438133 HAS SOPS 65475161 HAS SOUS 23200124 HAS SOUPS 22626555 WITH SCORE 2.2706993133E7
AT ITER 609 NEW BEST:: SOT 123455396 SOS 80438880 HAS SOPS 65480104 HAS SOUS 23198955 HAS SOUPS 22625453 WITH SCORE 2.270589188E7
AT ITER 628 NEW BEST:: SOT 123449153 SOS 80431362 HAS SOPS 65471129 HAS SOUS 23188652 HAS SOUPS 22615150 WITH SCORE 2.2695581362E7
AT ITER 640 NEW BEST:: SOT 123446764 SOS 80430980 HAS SOPS 65471347 HAS SOUS 23187381 HAS SOUPS 22613879 WITH SCORE 2.269430998E7
AT ITER 647 NEW BEST:: SOT 123443559 SOS 80424395 HAS SOPS 65466368 HAS SOUS 23180688 HAS SOUPS 22607186 WITH SCORE 2.2687610395E7
AT ITER 664 NEW BEST:: SOT 123448376 SOS 80452170 HAS SOPS 65501180 HAS SOUS 23173616 HAS SOUPS 22600211 WITH SCORE 2.268066317E7
AT ITER 671 NEW BEST:: SOT 123448685 SOS 80455661 HAS SOPS 65505827 HAS SOUS 23165905 HAS SOUPS 22591731 WITH SCORE 2.2672186661E7
AT ITER 695 NEW BEST:: SOT 123454741 SOS 80468171 HAS SOPS 65514434 HAS SOUS 23156731 HAS SOUPS 22582635 WITH SCORE 2.2663103171E7
AT ITER 697 NEW BEST:: SOT 123501775 SOS 80559230 HAS SOPS 65599675 HAS SOUS 23153536 HAS SOUPS 22579726 WITH SCORE 2.266028523E7
AT ITER 698 NEW BEST:: SOT 123500341 SOS 80556473 HAS SOPS 65597277 HAS SOUS 23152864 HAS SOUPS 22579054 WITH SCORE 2.2659610473E7
AT ITER 701 NEW BEST:: SOT 123497597 SOS 80553743 HAS SOPS 65594533 HAS SOUS 23150134 HAS SOUPS 22576310 WITH SCORE 2.2656863743E7
AT ITER 724 NEW BEST:: SOT 123492939 SOS 80548853 HAS SOPS 65589643 HAS SOUS 23140835 HAS SOUPS 22567011 WITH SCORE 2.2647559853E7
AT ITER 725 NEW BEST:: SOT 123493426 SOS 80541708 HAS SOPS 65590239 HAS SOUS 23128390 HAS SOUPS 22554446 WITH SCORE 2.2634987708E7
AT ITER 727 NEW BEST:: SOT 123485316 SOS 80534020 HAS SOPS 65574934 HAS SOUS 23103146 HAS SOUPS 22529071 WITH SCORE 2.260960502E7
AT ITER 728 NEW BEST:: SOT 123468333 SOS 80516311 HAS SOPS 65557573 HAS SOUS 23065639 HAS SOUPS 22491564 WITH SCORE 2.2572080311E7
AT ITER 733 NEW BEST:: SOT 123468208 SOS 80517809 HAS SOPS 65558619 HAS SOUS 23063848 HAS SOUPS 22489773 WITH SCORE 2.2570290809E7
AT ITER 737 NEW BEST:: SOT 123455383 SOS 80499245 HAS SOPS 65544386 HAS SOUS 23057077 HAS SOUPS 22482700 WITH SCORE 2.2563199245E7
AT ITER 738 NEW BEST:: SOT 123454899 SOS 80499537 HAS SOPS 65542961 HAS SOUS 23055547 HAS SOUPS 22481170 WITH SCORE 2.2561669537E7
AT ITER 739 NEW BEST:: SOT 123415907 SOS 80428968 HAS SOPS 65479771 HAS SOUS 23020636 HAS SOUPS 22446259 WITH SCORE 2.2526687968E7
AT ITER 756 NEW BEST:: SOT 123415775 SOS 80424784 HAS SOPS 65476127 HAS SOUS 23020248 HAS SOUPS 22445871 WITH SCORE 2.2526295784E7
AT ITER 769 NEW BEST:: SOT 123415471 SOS 80424436 HAS SOPS 65475659 HAS SOUS 23019460 HAS SOUPS 22445083 WITH SCORE 2.2525507436E7
AT ITER 782 NEW BEST:: SOT 123373358 SOS 80375375 HAS SOPS 65423524 HAS SOUS 22967838 HAS SOUPS 22393714 WITH SCORE 2.2474089375E7
AT ITER 788 NEW BEST:: SOT 123364835 SOS 80364897 HAS SOPS 65423341 HAS SOUS 22929067 HAS SOUPS 22354943 WITH SCORE 2.2435307897E7
AT ITER 794 NEW BEST:: SOT 123367555 SOS 80368993 HAS SOPS 65429227 HAS SOUS 22922743 HAS SOUPS 22348619 WITH SCORE 2.2428987993E7
AT ITER 796 NEW BEST:: SOT 123378896 SOS 80394199 HAS SOPS 65448755 HAS SOUS 22917899 HAS SOUPS 22343775 WITH SCORE 2.2424169199E7
AT ITER 801 NEW BEST:: SOT 123378842 SOS 80394143 HAS SOPS 65448731 HAS SOUS 22917789 HAS SOUPS 22343665 WITH SCORE 2.2424059143E7
AT ITER 802 NEW BEST:: SOT 123379054 SOS 80435446 HAS SOPS 65508695 HAS SOUS 22917405 HAS SOUPS 22343281 WITH SCORE 2.2423716446E7
AT ITER 803 NEW BEST:: SOT 123383036 SOS 80448637 HAS SOPS 65529001 HAS SOUS 22897854 HAS SOUPS 22323730 WITH SCORE 2.2404178637E7
AT ITER 807 NEW BEST:: SOT 123383138 SOS 80455791 HAS SOPS 65533194 HAS SOUS 22894696 HAS SOUPS 22320572 WITH SCORE 2.2401027791E7
AT ITER 838 NEW BEST:: SOT 123375858 SOS 80457861 HAS SOPS 65525684 HAS SOUS 22861424 HAS SOUPS 22286868 WITH SCORE 2.2367325861E7
AT ITER 843 NEW BEST:: SOT 123354244 SOS 80426160 HAS SOPS 65492255 HAS SOUS 22828952 HAS SOUPS 22254396 WITH SCORE 2.233482216E7
AT ITER 845 NEW BEST:: SOT 123350094 SOS 80413234 HAS SOPS 65494707 HAS SOUS 22823440 HAS SOUPS 22248884 WITH SCORE 2.2329297234E7
AT ITER 847 NEW BEST:: SOT 123351011 SOS 80419846 HAS SOPS 65499834 HAS SOUS 22803060 HAS SOUPS 22228469 WITH SCORE 2.2308888846E7
AT ITER 856 NEW BEST:: SOT 123349642 SOS 80416874 HAS SOPS 65497997 HAS SOUS 22802430 HAS SOUPS 22227839 WITH SCORE 2.2308255874E7
AT ITER 859 NEW BEST:: SOT 123349108 SOS 80415937 HAS SOPS 65496720 HAS SOUS 22797599 HAS SOUPS 22223053 WITH SCORE 2.2303468937E7
AT ITER 862 NEW BEST:: SOT 123358026 SOS 80437107 HAS SOPS 65533177 HAS SOUS 22778140 HAS SOUPS 22203594 WITH SCORE 2.2284031107E7
AT ITER 874 NEW BEST:: SOT 123353998 SOS 80431924 HAS SOPS 65528052 HAS SOUS 22773901 HAS SOUPS 22199355 WITH SCORE 2.2279786924E7
AT ITER 883 NEW BEST:: SOT 123354093 SOS 80441071 HAS SOPS 65539679 HAS SOUS 22773804 HAS SOUPS 22199289 WITH SCORE 2.2279730071E7
AT ITER 891 NEW BEST:: SOT 123343692 SOS 80422178 HAS SOPS 65520695 HAS SOUS 22760870 HAS SOUPS 22186422 WITH SCORE 2.2266844178E7
AT ITER 913 NEW BEST:: SOT 123344527 SOS 80442503 HAS SOPS 65516542 HAS SOUS 22735570 HAS SOUPS 22161122 WITH SCORE 2.2241564503E7
AT ITER 937 NEW BEST:: SOT 123353884 SOS 80455698 HAS SOPS 65534644 HAS SOUS 22728147 HAS SOUPS 22153699 WITH SCORE 2.2234154698E7
AT ITER 963 NEW BEST:: SOT 123359352 SOS 80462777 HAS SOPS 65539346 HAS SOUS 22718377 HAS SOUPS 22143929 WITH SCORE 2.2224391777E7
AT ITER 972 NEW BEST:: SOT 123344976 SOS 80434833 HAS SOPS 65521714 HAS SOUS 22706927 HAS SOUPS 22133182 WITH SCORE 2.2213616833E7
AT ITER 980 NEW BEST:: SOT 123352467 SOS 80446927 HAS SOPS 65531227 HAS SOUS 22705329 HAS SOUPS 22132200 WITH SCORE 2.2212646927E7
AT ITER 997 NEW BEST:: SOT 123349316 SOS 80447417 HAS SOPS 65526236 HAS SOUS 22699450 HAS SOUPS 22125061 WITH SCORE 2.2205508417E7
AT ITER 1006 NEW BEST:: SOT 123348564 SOS 80448643 HAS SOPS 65525668 HAS SOUS 22699193 HAS SOUPS 22124388 WITH SCORE 2.2204836643E7
AT ITER 1010 NEW BEST:: SOT 123348653 SOS 80461692 HAS SOPS 65540184 HAS SOUS 22698781 HAS SOUPS 22123976 WITH SCORE 2.2204437692E7
AT ITER 1023 NEW BEST:: SOT 123334137 SOS 80415783 HAS SOPS 65516433 HAS SOUS 22692188 HAS SOUPS 22117606 WITH SCORE 2.2198021783E7
AT ITER 1029 NEW BEST:: SOT 123334137 SOS 80431575 HAS SOPS 65538049 HAS SOUS 22691971 HAS SOUPS 22117389 WITH SCORE 2.2197820575E7
AT ITER 1045 NEW BEST:: SOT 123336827 SOS 80435607 HAS SOPS 65538802 HAS SOUS 22690838 HAS SOUPS 22116256 WITH SCORE 2.2196691607E7
AT ITER 1047 NEW BEST:: SOT 123336827 SOS 80435707 HAS SOPS 65539050 HAS SOUS 22690789 HAS SOUPS 22116207 WITH SCORE 2.2196642707E7
AT ITER 1056 NEW BEST:: SOT 123291401 SOS 80390226 HAS SOPS 65493548 HAS SOUS 22634191 HAS SOUPS 22059609 WITH SCORE 2.2139999226E7
AT ITER 1057 NEW BEST:: SOT 123290068 SOS 80388641 HAS SOPS 65492215 HAS SOUS 22632667 HAS SOUPS 22058148 WITH SCORE 2.2138536641E7
AT ITER 1070 NEW BEST:: SOT 123295482 SOS 80398210 HAS SOPS 65499418 HAS SOUS 22628952 HAS SOUPS 22054336 WITH SCORE 2.213473421E7
AT ITER 1078 NEW BEST:: SOT 123295478 SOS 80400161 HAS SOPS 65501174 HAS SOUS 22628830 HAS SOUPS 22054214 WITH SCORE 2.2134614161E7
AT ITER 1087 NEW BEST:: SOT 123295170 SOS 80400542 HAS SOPS 65500954 HAS SOUS 22627985 HAS SOUPS 22053265 WITH SCORE 2.2133665542E7
AT ITER 1109 NEW BEST:: SOT 123288407 SOS 80394735 HAS SOPS 65496345 HAS SOUS 22617949 HAS SOUPS 22043162 WITH SCORE 2.2123556735E7
AT ITER 1112 NEW BEST:: SOT 123286616 SOS 80392546 HAS SOPS 65494211 HAS SOUS 22614588 HAS SOUPS 22039756 WITH SCORE 2.2120148546E7
AT ITER 1132 NEW BEST:: SOT 123295737 SOS 80404960 HAS SOPS 65509066 HAS SOUS 22605833 HAS SOUPS 22031001 WITH SCORE 2.211140596E7
AT ITER 1135 NEW BEST:: SOT 123311217 SOS 80433504 HAS SOPS 65533525 HAS SOUS 22599240 HAS SOUPS 22024408 WITH SCORE 2.2104841504E7
AT ITER 1144 NEW BEST:: SOT 123293925 SOS 80416178 HAS SOPS 65512646 HAS SOUS 22569780 HAS SOUPS 21994948 WITH SCORE 2.2075364178E7
AT ITER 1145 NEW BEST:: SOT 123265739 SOS 80370128 HAS SOPS 65471271 HAS SOUS 22529530 HAS SOUPS 21955156 WITH SCORE 2.2035526128E7
AT ITER 1158 NEW BEST:: SOT 123258496 SOS 80363675 HAS SOPS 65464440 HAS SOUS 22508983 HAS SOUPS 21934564 WITH SCORE 2.2014927675E7
AT ITER 1163 NEW BEST:: SOT 123264979 SOS 80376874 HAS SOPS 65474477 HAS SOUS 22508257 HAS SOUPS 21933838 WITH SCORE 2.2014214874E7
AT ITER 1164 NEW BEST:: SOT 123257069 SOS 80367759 HAS SOPS 65460782 HAS SOUS 22488501 HAS SOUPS 21914082 WITH SCORE 2.1994449759E7
AT ITER 1168 NEW BEST:: SOT 123257079 SOS 80367775 HAS SOPS 65460789 HAS SOUS 22488396 HAS SOUPS 21913977 WITH SCORE 2.1994344775E7
AT ITER 1169 NEW BEST:: SOT 123250410 SOS 80360921 HAS SOPS 65455823 HAS SOUS 22483914 HAS SOUPS 21909495 WITH SCORE 2.1989855921E7
AT ITER 1181 NEW BEST:: SOT 123232359 SOS 80342820 HAS SOPS 65436972 HAS SOUS 22461495 HAS SOUPS 21887076 WITH SCORE 2.196741882E7
AT ITER 1202 NEW BEST:: SOT 123231629 SOS 80342134 HAS SOPS 65436181 HAS SOUS 22460658 HAS SOUPS 21886218 WITH SCORE 2.1966560134E7
AT ITER 1212 NEW BEST:: SOT 123233154 SOS 80350079 HAS SOPS 65440645 HAS SOUS 22449370 HAS SOUPS 21874930 WITH SCORE 2.1955280079E7
AT ITER 1225 NEW BEST:: SOT 123230520 SOS 80347345 HAS SOPS 65434612 HAS SOUS 22444193 HAS SOUPS 21869753 WITH SCORE 2.1950100345E7
AT ITER 1234 NEW BEST:: SOT 123230520 SOS 80348353 HAS SOPS 65435620 HAS SOUS 22444110 HAS SOUPS 21869670 WITH SCORE 2.1950018353E7
AT ITER 1236 NEW BEST:: SOT 123246903 SOS 80380024 HAS SOPS 65473640 HAS SOUS 22442457 HAS SOUPS 21868161 WITH SCORE 2.1948541024E7
AT ITER 1238 NEW BEST:: SOT 123246600 SOS 80364690 HAS SOPS 65463143 HAS SOUS 22442015 HAS SOUPS 21867719 WITH SCORE 2.194808369E7
AT ITER 1248 NEW BEST:: SOT 123247909 SOS 80368758 HAS SOPS 65466897 HAS SOUS 22441648 HAS SOUPS 21867352 WITH SCORE 2.1947720758E7
AT ITER 1251 NEW BEST:: SOT 123252786 SOS 80370177 HAS SOPS 65460162 HAS SOUS 22423508 HAS SOUPS 21849203 WITH SCORE 2.1929573177E7
AT ITER 1267 NEW BEST:: SOT 123252469 SOS 80369684 HAS SOPS 65460562 HAS SOUS 22422975 HAS SOUPS 21848670 WITH SCORE 2.1929039684E7
AT ITER 1272 NEW BEST:: SOT 123248231 SOS 80364992 HAS SOPS 65457701 HAS SOUS 22405487 HAS SOUPS 21831182 WITH SCORE 2.1911546992E7
AT ITER 1276 NEW BEST:: SOT 123252602 SOS 80381212 HAS SOPS 65469451 HAS SOUS 22389045 HAS SOUPS 21814812 WITH SCORE 2.1895193212E7
AT ITER 1280 NEW BEST:: SOT 123251792 SOS 80369922 HAS SOPS 65464106 HAS SOUS 22388502 HAS SOUPS 21814269 WITH SCORE 2.1894638922E7
AT ITER 1281 NEW BEST:: SOT 123251946 SOS 80370980 HAS SOPS 65464814 HAS SOUS 22387816 HAS SOUPS 21813583 WITH SCORE 2.189395398E7
AT ITER 1288 NEW BEST:: SOT 123254090 SOS 80384435 HAS SOPS 65482015 HAS SOUS 22386377 HAS SOUPS 21812144 WITH SCORE 2.1892528435E7
AT ITER 1289 NEW BEST:: SOT 123245508 SOS 80370493 HAS SOPS 65470219 HAS SOUS 22378885 HAS SOUPS 21804616 WITH SCORE 2.1884986493E7
AT ITER 1312 NEW BEST:: SOT 123243189 SOS 80368817 HAS SOPS 65465085 HAS SOUS 22372763 HAS SOUPS 21798494 WITH SCORE 2.1878862817E7
AT ITER 1317 NEW BEST:: SOT 123240817 SOS 80370998 HAS SOPS 65466754 HAS SOUS 22367419 HAS SOUPS 21793038 WITH SCORE 2.1873408998E7
AT ITER 1322 NEW BEST:: SOT 123221355 SOS 80350325 HAS SOPS 65458171 HAS SOUS 22310654 HAS SOUPS 21736444 WITH SCORE 2.1816794325E7
AT ITER 1336 NEW BEST:: SOT 123222281 SOS 80351160 HAS SOPS 65459260 HAS SOUS 22295020 HAS SOUPS 21720625 WITH SCORE 2.180097616E7
AT ITER 1349 NEW BEST:: SOT 123222306 SOS 80349638 HAS SOPS 65459181 HAS SOUS 22294780 HAS SOUPS 21720385 WITH SCORE 2.1800734638E7
AT ITER 1350 NEW BEST:: SOT 123217080 SOS 80343582 HAS SOPS 65450930 HAS SOUS 22284300 HAS SOUPS 21709942 WITH SCORE 2.1790285582E7
AT ITER 1353 NEW BEST:: SOT 123212693 SOS 80337516 HAS SOPS 65445178 HAS SOUS 22272124 HAS SOUPS 21697766 WITH SCORE 2.1778103516E7
AT ITER 1373 NEW BEST:: SOT 123212693 SOS 80337089 HAS SOPS 65443567 HAS SOUS 22270260 HAS SOUPS 21695902 WITH SCORE 2.1776239089E7
AT ITER 1397 NEW BEST:: SOT 123203484 SOS 80334987 HAS SOPS 65430900 HAS SOUS 22231950 HAS SOUPS 21657264 WITH SCORE 2.1737598987E7
AT ITER 1401 NEW BEST:: SOT 123203484 SOS 80348939 HAS SOPS 65449412 HAS SOUS 22231915 HAS SOUPS 21657229 WITH SCORE 2.1737577939E7
AT ITER 1409 NEW BEST:: SOT 123171383 SOS 80314201 HAS SOPS 65415563 HAS SOUS 22170971 HAS SOUPS 21596510 WITH SCORE 2.1676824201E7
AT ITER 1417 NEW BEST:: SOT 123171781 SOS 80314457 HAS SOPS 65416150 HAS SOUS 22170383 HAS SOUPS 21595934 WITH SCORE 2.1676248457E7
AT ITER 1433 NEW BEST:: SOT 123171782 SOS 80315981 HAS SOPS 65417718 HAS SOUS 22168878 HAS SOUPS 21594441 WITH SCORE 2.1674756981E7
AT ITER 1459 NEW BEST:: SOT 123172638 SOS 80322272 HAS SOPS 65435628 HAS SOUS 22154477 HAS SOUPS 21580276 WITH SCORE 2.1660598272E7
AT ITER 1460 NEW BEST:: SOT 123173670 SOS 80323001 HAS SOPS 65426753 HAS SOUS 22142974 HAS SOUPS 21568773 WITH SCORE 2.1649096001E7
AT ITER 1468 NEW BEST:: SOT 123173474 SOS 80322615 HAS SOPS 65426238 HAS SOUS 22142527 HAS SOUPS 21568326 WITH SCORE 2.1648648615E7
AT ITER 1488 NEW BEST:: SOT 123171027 SOS 80317641 HAS SOPS 65425723 HAS SOUS 22136744 HAS SOUPS 21562543 WITH SCORE 2.1642860641E7
AT ITER 1492 NEW BEST:: SOT 123172969 SOS 80320020 HAS SOPS 65432132 HAS SOUS 22130896 HAS SOUPS 21556632 WITH SCORE 2.163695202E7
AT ITER 1494 NEW BEST:: SOT 123158830 SOS 80293804 HAS SOPS 65399432 HAS SOUS 22124991 HAS SOUPS 21550727 WITH SCORE 2.1631020804E7
AT ITER 1498 NEW BEST:: SOT 123166709 SOS 80312019 HAS SOPS 65414702 HAS SOUS 22113360 HAS SOUPS 21539096 WITH SCORE 2.1619408019E7
AT ITER 1500 NEW BEST:: SOT 123139965 SOS 80284673 HAS SOPS 65384475 HAS SOUS 22056003 HAS SOUPS 21481462 WITH SCORE 2.1561746673E7
AT ITER 1513 NEW BEST:: SOT 123140036 SOS 80285339 HAS SOPS 65385393 HAS SOUS 22055991 HAS SOUPS 21481450 WITH SCORE 2.1561735339E7
AT ITER 1519 NEW BEST:: SOT 123139601 SOS 80284944 HAS SOPS 65384802 HAS SOUS 22055074 HAS SOUPS 21480529 WITH SCORE 2.1560813944E7
AT ITER 1528 NEW BEST:: SOT 123164292 SOS 80322635 HAS SOPS 65424129 HAS SOUS 22031470 HAS SOUPS 21456925 WITH SCORE 2.1537247635E7
AT ITER 1545 NEW BEST:: SOT 123214268 SOS 80419398 HAS SOPS 65489260 HAS SOUS 22023186 HAS SOUPS 21448484 WITH SCORE 2.1528903398E7
AT ITER 1550 NEW BEST:: SOT 123204396 SOS 80390883 HAS SOPS 65468129 HAS SOUS 22012654 HAS SOUPS 21438691 WITH SCORE 2.1519081883E7
AT ITER 1564 NEW BEST:: SOT 123179523 SOS 80348989 HAS SOPS 65431393 HAS SOUS 22004984 HAS SOUPS 21431225 WITH SCORE 2.1511573989E7
AT ITER 1575 NEW BEST:: SOT 123163239 SOS 80315166 HAS SOPS 65399825 HAS SOUS 21987842 HAS SOUPS 21414083 WITH SCORE 2.1494398166E7
AT ITER 1587 NEW BEST:: SOT 123160934 SOS 80312723 HAS SOPS 65394146 HAS SOUS 21981750 HAS SOUPS 21407991 WITH SCORE 2.1488303723E7
AT ITER 1606 NEW BEST:: SOT 123142869 SOS 80270648 HAS SOPS 65355326 HAS SOUS 21972248 HAS SOUPS 21398489 WITH SCORE 2.1478759648E7
AT ITER 1613 NEW BEST:: SOT 123143799 SOS 80279182 HAS SOPS 65381205 HAS SOUS 21970126 HAS SOUPS 21396561 WITH SCORE 2.1476840182E7
AT ITER 1621 NEW BEST:: SOT 123125436 SOS 80266100 HAS SOPS 65345975 HAS SOUS 21914859 HAS SOUPS 21341294 WITH SCORE 2.14215601E7
AT ITER 1640 NEW BEST:: SOT 123103655 SOS 80241404 HAS SOPS 65321535 HAS SOUS 21870475 HAS SOUPS 21296955 WITH SCORE 2.1377196404E7
AT ITER 1644 NEW BEST:: SOT 123098816 SOS 80230658 HAS SOPS 65315815 HAS SOUS 21834333 HAS SOUPS 21260931 WITH SCORE 2.1341161658E7
AT ITER 1648 NEW BEST:: SOT 123097241 SOS 80228381 HAS SOPS 65311813 HAS SOUS 21832958 HAS SOUPS 21259531 WITH SCORE 2.1339759381E7
AT ITER 1650 NEW BEST:: SOT 123077380 SOS 80198781 HAS SOPS 65298028 HAS SOUS 21830099 HAS SOUPS 21256672 WITH SCORE 2.1336870781E7
AT ITER 1652 NEW BEST:: SOT 123072130 SOS 80202285 HAS SOPS 65294614 HAS SOUS 21791859 HAS SOUPS 21218131 WITH SCORE 2.1298333285E7
AT ITER 1682 NEW BEST:: SOT 123065506 SOS 80190858 HAS SOPS 65288362 HAS SOUS 21782735 HAS SOUPS 21209074 WITH SCORE 2.1289264858E7
AT ITER 1687 NEW BEST:: SOT 123053377 SOS 80177123 HAS SOPS 65274539 HAS SOUS 21758857 HAS SOUPS 21185364 WITH SCORE 2.1265541123E7
AT ITER 1720 NEW BEST:: SOT 123052810 SOS 80176155 HAS SOPS 65273559 HAS SOUS 21758715 HAS SOUPS 21185222 WITH SCORE 2.1265398155E7
AT ITER 1722 NEW BEST:: SOT 123051846 SOS 80175191 HAS SOPS 65272387 HAS SOUS 21755051 HAS SOUPS 21181598 WITH SCORE 2.1261773191E7
AT ITER 1733 NEW BEST:: SOT 123050919 SOS 80164512 HAS SOPS 65326614 HAS SOUS 21753019 HAS SOUPS 21179861 WITH SCORE 2.1260025512E7
AT ITER 1743 NEW BEST:: SOT 123055731 SOS 80180192 HAS SOPS 65338624 HAS SOUS 21748391 HAS SOUPS 21175233 WITH SCORE 2.1255413192E7
AT ITER 1769 NEW BEST:: SOT 123048353 SOS 80179556 HAS SOPS 65343163 HAS SOUS 21726340 HAS SOUPS 21153182 WITH SCORE 2.1233361556E7
AT ITER 1780 NEW BEST:: SOT 123043204 SOS 80174410 HAS SOPS 65337273 HAS SOUS 21715727 HAS SOUPS 21142722 WITH SCORE 2.122289641E7
AT ITER 1787 NEW BEST:: SOT 123044489 SOS 80178614 HAS SOPS 65341859 HAS SOUS 21714278 HAS SOUPS 21141273 WITH SCORE 2.1221451614E7
AT ITER 1788 NEW BEST:: SOT 123044826 SOS 80188354 HAS SOPS 65348829 HAS SOUS 21714151 HAS SOUPS 21141065 WITH SCORE 2.1221253354E7
AT ITER 1797 NEW BEST:: SOT 123046636 SOS 80201992 HAS SOPS 65357994 HAS SOUS 21703385 HAS SOUPS 21130299 WITH SCORE 2.1210500992E7
AT ITER 1798 NEW BEST:: SOT 122982929 SOS 80128051 HAS SOPS 65278738 HAS SOUS 21621770 HAS SOUPS 21048914 WITH SCORE 2.1129042051E7
AT ITER 1811 NEW BEST:: SOT 122983625 SOS 80149518 HAS SOPS 65304745 HAS SOUS 21620778 HAS SOUPS 21048033 WITH SCORE 2.1128182518E7
AT ITER 1813 NEW BEST:: SOT 122982059 SOS 80147895 HAS SOPS 65301355 HAS SOUS 21615672 HAS SOUPS 21042447 WITH SCORE 2.1122594895E7
AT ITER 1842 NEW BEST:: SOT 122982050 SOS 80147912 HAS SOPS 65301359 HAS SOUS 21615663 HAS SOUPS 21042438 WITH SCORE 2.1122585912E7
AT ITER 1859 NEW BEST:: SOT 122980415 SOS 80148628 HAS SOPS 65298952 HAS SOUS 21603283 HAS SOUPS 21030058 WITH SCORE 2.1110206628E7
AT ITER 1863 NEW BEST:: SOT 122981239 SOS 80152281 HAS SOPS 65299314 HAS SOUS 21596923 HAS SOUPS 21023698 WITH SCORE 2.1103850281E7
AT ITER 1873 NEW BEST:: SOT 122981339 SOS 80151716 HAS SOPS 65299603 HAS SOUS 21596804 HAS SOUPS 21023605 WITH SCORE 2.1103756716E7
AT ITER 1884 NEW BEST:: SOT 122979777 SOS 80157473 HAS SOPS 65309747 HAS SOUS 21590792 HAS SOUPS 21017593 WITH SCORE 2.1097750473E7
AT ITER 1887 NEW BEST:: SOT 122984041 SOS 80169225 HAS SOPS 65318864 HAS SOUS 21575659 HAS SOUPS 21002460 WITH SCORE 2.1082629225E7
AT ITER 1891 NEW BEST:: SOT 122979594 SOS 80162024 HAS SOPS 65311147 HAS SOUS 21571841 HAS SOUPS 20998642 WITH SCORE 2.1078804024E7
AT ITER 1898 NEW BEST:: SOT 122971607 SOS 80149328 HAS SOPS 65301096 HAS SOUS 21564847 HAS SOUPS 20991648 WITH SCORE 2.1071797328E7
AT ITER 1910 NEW BEST:: SOT 122967173 SOS 80137220 HAS SOPS 65287746 HAS SOUS 21550015 HAS SOUPS 20977533 WITH SCORE 2.105767022E7
AT ITER 1918 NEW BEST:: SOT 122966945 SOS 80136928 HAS SOPS 65287454 HAS SOUS 21549781 HAS SOUPS 20977299 WITH SCORE 2.1057435928E7
AT ITER 1927 NEW BEST:: SOT 122959031 SOS 80129003 HAS SOPS 65286647 HAS SOUS 21538107 HAS SOUPS 20965739 WITH SCORE 2.1045868003E7
AT ITER 1936 NEW BEST:: SOT 122969313 SOS 80134913 HAS SOPS 65294293 HAS SOUS 21507226 HAS SOUPS 20935766 WITH SCORE 2.1015900913E7
AT ITER 1946 NEW BEST:: SOT 122966347 SOS 80126425 HAS SOPS 65282675 HAS SOUS 21496522 HAS SOUPS 20925232 WITH SCORE 2.1005358425E7
AT ITER 1953 NEW BEST:: SOT 122979386 SOS 80163027 HAS SOPS 65309344 HAS SOUS 21477776 HAS SOUPS 20906486 WITH SCORE 2.0986649027E7
AT ITER 1956 NEW BEST:: SOT 122979500 SOS 80163123 HAS SOPS 65309311 HAS SOUS 21477527 HAS SOUPS 20906237 WITH SCORE 2.0986400123E7
AT ITER 1980 NEW BEST:: SOT 122973551 SOS 80153061 HAS SOPS 65302909 HAS SOUS 21463951 HAS SOUPS 20892661 WITH SCORE 2.0972814061E7
AT ITER 1986 NEW BEST:: SOT 122965700 SOS 80145374 HAS SOPS 65291049 HAS SOUS 21449433 HAS SOUPS 20878143 WITH SCORE 2.0958288374E7
AT ITER 2009 NEW BEST:: SOT 122964091 SOS 80144422 HAS SOPS 65290196 HAS SOUS 21445167 HAS SOUPS 20873877 WITH SCORE 2.0954021422E7
AT ITER 2028 NEW BEST:: SOT 122948532 SOS 80127332 HAS SOPS 65269756 HAS SOUS 21378853 HAS SOUPS 20807748 WITH SCORE 2.0887875332E7
AT ITER 2029 NEW BEST:: SOT 122964701 SOS 80165460 HAS SOPS 65298000 HAS SOUS 21375349 HAS SOUPS 20804244 WITH SCORE 2.088440946E7
AT ITER 2034 NEW BEST:: SOT 122962240 SOS 80170283 HAS SOPS 65302175 HAS SOUS 21357513 HAS SOUPS 20786408 WITH SCORE 2.0866578283E7
AT ITER 2040 NEW BEST:: SOT 122951060 SOS 80158635 HAS SOPS 65283559 HAS SOUS 21333572 HAS SOUPS 20762334 WITH SCORE 2.0842492635E7
AT ITER 2044 NEW BEST:: SOT 122951374 SOS 80168190 HAS SOPS 65282793 HAS SOUS 21317327 HAS SOUPS 20746027 WITH SCORE 2.082619519E7
AT ITER 2061 NEW BEST:: SOT 122962776 SOS 80180896 HAS SOPS 65292117 HAS SOUS 21316750 HAS SOUPS 20745570 WITH SCORE 2.0825750896E7
AT ITER 2070 NEW BEST:: SOT 122963705 SOS 80185160 HAS SOPS 65298789 HAS SOUS 21315820 HAS SOUPS 20744640 WITH SCORE 2.082482516E7
AT ITER 2076 NEW BEST:: SOT 123000073 SOS 80280234 HAS SOPS 65429514 HAS SOUS 21278790 HAS SOUPS 20708232 WITH SCORE 2.0788512234E7
AT ITER 2101 NEW BEST:: SOT 122976724 SOS 80239585 HAS SOPS 65403832 HAS SOUS 21247097 HAS SOUPS 20676739 WITH SCORE 2.0756978585E7
AT ITER 2117 NEW BEST:: SOT 122976008 SOS 80238809 HAS SOPS 65403191 HAS SOUS 21245751 HAS SOUPS 20675498 WITH SCORE 2.0755736809E7
AT ITER 2118 NEW BEST:: SOT 122976010 SOS 80239483 HAS SOPS 65403865 HAS SOUS 21245734 HAS SOUPS 20675481 WITH SCORE 2.0755720483E7
AT ITER 2128 NEW BEST:: SOT 122953130 SOS 80216603 HAS SOPS 65380985 HAS SOUS 21233590 HAS SOUPS 20663337 WITH SCORE 2.0743553603E7
AT ITER 2129 NEW BEST:: SOT 122951618 SOS 80217269 HAS SOPS 65379740 HAS SOUS 21227973 HAS SOUPS 20657720 WITH SCORE 2.0737937269E7
AT ITER 2144 NEW BEST:: SOT 122947176 SOS 80212113 HAS SOPS 65372010 HAS SOUS 21218107 HAS SOUPS 20647854 WITH SCORE 2.0728066113E7
AT ITER 2149 NEW BEST:: SOT 122947840 SOS 80209634 HAS SOPS 65360514 HAS SOUS 21205941 HAS SOUPS 20635688 WITH SCORE 2.0715897634E7
AT ITER 2172 NEW BEST:: SOT 122939561 SOS 80221644 HAS SOPS 65372901 HAS SOUS 21198654 HAS SOUPS 20628401 WITH SCORE 2.0708622644E7
AT ITER 2173 NEW BEST:: SOT 122944118 SOS 80226806 HAS SOPS 65375413 HAS SOUS 21190831 HAS SOUPS 20620578 WITH SCORE 2.0700804806E7
AT ITER 2179 NEW BEST:: SOT 122941024 SOS 80222170 HAS SOPS 65371633 HAS SOUS 21189007 HAS SOUPS 20618754 WITH SCORE 2.069897617E7
AT ITER 2183 NEW BEST:: SOT 122941024 SOS 80233746 HAS SOPS 65383045 HAS SOUS 21188580 HAS SOUPS 20618327 WITH SCORE 2.0698560746E7
AT ITER 2215 NEW BEST:: SOT 122930736 SOS 80221479 HAS SOPS 65371100 HAS SOUS 21180890 HAS SOUPS 20610637 WITH SCORE 2.0690858479E7
AT ITER 2224 NEW BEST:: SOT 122928799 SOS 80221940 HAS SOPS 65368326 HAS SOUS 21156163 HAS SOUPS 20586512 WITH SCORE 2.066673394E7
AT ITER 2232 NEW BEST:: SOT 122927211 SOS 80219986 HAS SOPS 65367686 HAS SOUS 21153829 HAS SOUPS 20584178 WITH SCORE 2.0664397986E7
AT ITER 2233 NEW BEST:: SOT 122949676 SOS 80259480 HAS SOPS 65394665 HAS SOUS 21149546 HAS SOUPS 20579895 WITH SCORE 2.066015448E7
AT ITER 2255 NEW BEST:: SOT 122952398 SOS 80254991 HAS SOPS 65418078 HAS SOUS 21142249 HAS SOUPS 20572598 WITH SCORE 2.0652852991E7
AT ITER 2256 NEW BEST:: SOT 122952008 SOS 80254569 HAS SOPS 65417400 HAS SOUS 21141589 HAS SOUPS 20571938 WITH SCORE 2.0652192569E7
AT ITER 2262 NEW BEST:: SOT 122960383 SOS 80301725 HAS SOPS 65425840 HAS SOUS 21076774 HAS SOUPS 20506884 WITH SCORE 2.0587185725E7
AT ITER 2319 NEW BEST:: SOT 122920189 SOS 80200025 HAS SOPS 65338995 HAS SOUS 21056203 HAS SOUPS 20485799 WITH SCORE 2.0565999025E7
AT ITER 2324 NEW BEST:: SOT 122924511 SOS 80212551 HAS SOPS 65346093 HAS SOUS 21036944 HAS SOUPS 20466387 WITH SCORE 2.0546599551E7
AT ITER 2342 NEW BEST:: SOT 122924511 SOS 80222563 HAS SOPS 65358985 HAS SOUS 21036870 HAS SOUPS 20466313 WITH SCORE 2.0546535563E7
AT ITER 2365 NEW BEST:: SOT 122924511 SOS 80237203 HAS SOPS 65380249 HAS SOUS 21036554 HAS SOUPS 20465997 WITH SCORE 2.0546234203E7
AT ITER 2386 NEW BEST:: SOT 122919728 SOS 80235138 HAS SOPS 65368735 HAS SOUS 21014286 HAS SOUPS 20443729 WITH SCORE 2.0523964138E7
AT ITER 2390 NEW BEST:: SOT 122920749 SOS 80230956 HAS SOPS 65366269 HAS SOUS 20985472 HAS SOUPS 20415139 WITH SCORE 2.0495369956E7
AT ITER 2400 NEW BEST:: SOT 122915114 SOS 80224508 HAS SOPS 65361888 HAS SOUS 20972792 HAS SOUPS 20402316 WITH SCORE 2.0482540508E7
AT ITER 2405 NEW BEST:: SOT 122892434 SOS 80203569 HAS SOPS 65334452 HAS SOUS 20923856 HAS SOUPS 20353380 WITH SCORE 2.0433583569E7

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

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