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

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

=== Now, execution of the tool begins

BK_START 1589766718842

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb115 (PT), instance 5
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 6 NEW BEST:: SOT 123444969 SOS 80235389 HAS SOPS 65213447 HAS SOUS 24072553 HAS SOUPS 23499779 WITH SCORE 2.3580014389E7
AT ITER 16 NEW BEST:: SOT 123442205 SOS 80240159 HAS SOPS 65219206 HAS SOUS 24038865 HAS SOUPS 23466091 WITH SCORE 2.3546331159E7
AT ITER 30 NEW BEST:: SOT 123441574 SOS 80234679 HAS SOPS 65215156 HAS SOUS 24036982 HAS SOUPS 23464208 WITH SCORE 2.3544442679E7
AT ITER 33 NEW BEST:: SOT 123441050 SOS 80233611 HAS SOPS 65214664 HAS SOUS 24036361 HAS SOUPS 23463603 WITH SCORE 2.3543836611E7
AT ITER 36 NEW BEST:: SOT 123434832 SOS 80220239 HAS SOPS 65202412 HAS SOUS 24027259 HAS SOUPS 23454501 WITH SCORE 2.3534721239E7
AT ITER 41 NEW BEST:: SOT 123434878 SOS 80218685 HAS SOPS 65204501 HAS SOUS 24025510 HAS SOUPS 23452989 WITH SCORE 2.3533207685E7
AT ITER 46 NEW BEST:: SOT 123433164 SOS 80223467 HAS SOPS 65208009 HAS SOUS 24010506 HAS SOUPS 23437985 WITH SCORE 2.3518208467E7
AT ITER 48 NEW BEST:: SOT 123431627 SOS 80220490 HAS SOPS 65207177 HAS SOUS 24008457 HAS SOUPS 23435936 WITH SCORE 2.351615649E7
AT ITER 51 NEW BEST:: SOT 123430237 SOS 80218308 HAS SOPS 65205559 HAS SOUS 24006681 HAS SOUPS 23434160 WITH SCORE 2.3514378308E7
AT ITER 53 NEW BEST:: SOT 123424953 SOS 80210680 HAS SOPS 65196011 HAS SOUS 23996394 HAS SOUPS 23423953 WITH SCORE 2.350416368E7
AT ITER 70 NEW BEST:: SOT 123422840 SOS 80208604 HAS SOPS 65192748 HAS SOUS 23993936 HAS SOUPS 23420895 WITH SCORE 2.3501103604E7
AT ITER 71 NEW BEST:: SOT 123420754 SOS 80216239 HAS SOPS 65190689 HAS SOUS 23970395 HAS SOUPS 23397354 WITH SCORE 2.3477570239E7
AT ITER 81 NEW BEST:: SOT 123411110 SOS 80202410 HAS SOPS 65176397 HAS SOUS 23958047 HAS SOUPS 23385006 WITH SCORE 2.346520841E7
AT ITER 88 NEW BEST:: SOT 123410861 SOS 80190805 HAS SOPS 65166800 HAS SOUS 23957355 HAS SOUPS 23384314 WITH SCORE 2.3464504805E7
AT ITER 90 NEW BEST:: SOT 123435630 SOS 80251613 HAS SOPS 65217336 HAS SOUS 23949353 HAS SOUPS 23376312 WITH SCORE 2.3456563613E7
AT ITER 99 NEW BEST:: SOT 123434052 SOS 80251193 HAS SOPS 65216337 HAS SOUS 23945708 HAS SOUPS 23372667 WITH SCORE 2.3452918193E7
AT ITER 112 NEW BEST:: SOT 123435001 SOS 80253308 HAS SOPS 65225380 HAS SOUS 23945514 HAS SOUPS 23372552 WITH SCORE 2.3452805308E7
AT ITER 113 NEW BEST:: SOT 123399178 SOS 80213286 HAS SOPS 65193370 HAS SOUS 23878458 HAS SOUPS 23305518 WITH SCORE 2.3385731286E7
AT ITER 122 NEW BEST:: SOT 123399178 SOS 80213782 HAS SOPS 65194394 HAS SOUS 23878436 HAS SOUPS 23305496 WITH SCORE 2.3385709782E7
AT ITER 127 NEW BEST:: SOT 123399157 SOS 80213895 HAS SOPS 65194306 HAS SOUS 23878225 HAS SOUPS 23305285 WITH SCORE 2.3385498895E7
AT ITER 140 NEW BEST:: SOT 123396322 SOS 80215333 HAS SOPS 65195213 HAS SOUS 23877052 HAS SOUPS 23304112 WITH SCORE 2.3384327333E7
AT ITER 144 NEW BEST:: SOT 123389858 SOS 80221471 HAS SOPS 65202449 HAS SOUS 23872840 HAS SOUPS 23299900 WITH SCORE 2.3380121471E7
AT ITER 150 NEW BEST:: SOT 123389719 SOS 80243340 HAS SOPS 65231448 HAS SOUS 23872207 HAS SOUPS 23299381 WITH SCORE 2.337962434E7
AT ITER 152 NEW BEST:: SOT 123391266 SOS 80249677 HAS SOPS 65239007 HAS SOUS 23857467 HAS SOUPS 23284671 WITH SCORE 2.3364920677E7
AT ITER 157 NEW BEST:: SOT 123391481 SOS 80250300 HAS SOPS 65239216 HAS SOUS 23857114 HAS SOUPS 23284318 WITH SCORE 2.33645683E7
AT ITER 178 NEW BEST:: SOT 123391050 SOS 80250945 HAS SOPS 65240891 HAS SOUS 23853970 HAS SOUPS 23281174 WITH SCORE 2.3361424945E7
AT ITER 184 NEW BEST:: SOT 123391050 SOS 80254065 HAS SOPS 65245547 HAS SOUS 23853851 HAS SOUPS 23281055 WITH SCORE 2.3361309065E7
AT ITER 193 NEW BEST:: SOT 123358635 SOS 80164349 HAS SOPS 65189327 HAS SOUS 23848578 HAS SOUPS 23276048 WITH SCORE 2.3356212349E7
AT ITER 208 NEW BEST:: SOT 123354500 SOS 80163899 HAS SOPS 65187829 HAS SOUS 23834438 HAS SOUPS 23261908 WITH SCORE 2.3342071899E7
AT ITER 220 NEW BEST:: SOT 123357755 SOS 80174048 HAS SOPS 65200003 HAS SOUS 23830675 HAS SOUPS 23258201 WITH SCORE 2.3338375048E7
AT ITER 230 NEW BEST:: SOT 123295944 SOS 80108987 HAS SOPS 65128111 HAS SOUS 23741871 HAS SOUPS 23169107 WITH SCORE 2.3249215987E7
AT ITER 231 NEW BEST:: SOT 123299166 SOS 80120338 HAS SOPS 65144894 HAS SOUS 23739899 HAS SOUPS 23167135 WITH SCORE 2.3247255338E7
AT ITER 238 NEW BEST:: SOT 123291323 SOS 80115264 HAS SOPS 65142580 HAS SOUS 23720675 HAS SOUPS 23147895 WITH SCORE 2.3228010264E7
AT ITER 239 NEW BEST:: SOT 123282408 SOS 80099332 HAS SOPS 65136040 HAS SOUS 23683140 HAS SOUPS 23111085 WITH SCORE 2.3191184332E7
AT ITER 240 NEW BEST:: SOT 123279611 SOS 80095866 HAS SOPS 65130999 HAS SOUS 23677766 HAS SOUPS 23105711 WITH SCORE 2.3185806866E7
AT ITER 271 NEW BEST:: SOT 123238450 SOS 80051762 HAS SOPS 65081844 HAS SOUS 23611213 HAS SOUPS 23039709 WITH SCORE 2.3119760762E7
AT ITER 285 NEW BEST:: SOT 123231950 SOS 80054881 HAS SOPS 65089792 HAS SOUS 23601909 HAS SOUPS 23030405 WITH SCORE 2.3110459881E7
AT ITER 310 NEW BEST:: SOT 123232172 SOS 80077917 HAS SOPS 65118670 HAS SOUS 23601690 HAS SOUPS 23030186 WITH SCORE 2.3110263917E7
AT ITER 331 NEW BEST:: SOT 123231561 SOS 80077186 HAS SOPS 65119379 HAS SOUS 23601199 HAS SOUPS 23029695 WITH SCORE 2.3109772186E7
AT ITER 348 NEW BEST:: SOT 123229385 SOS 80073685 HAS SOPS 65116248 HAS SOUS 23597720 HAS SOUPS 23026252 WITH SCORE 2.3106325685E7
AT ITER 353 NEW BEST:: SOT 123230096 SOS 80077368 HAS SOPS 65124445 HAS SOUS 23591798 HAS SOUPS 23020341 WITH SCORE 2.3100418368E7
AT ITER 357 NEW BEST:: SOT 123229255 SOS 80076550 HAS SOPS 65123434 HAS SOUS 23591110 HAS SOUPS 23019653 WITH SCORE 2.309972955E7
AT ITER 365 NEW BEST:: SOT 123217299 SOS 80061175 HAS SOPS 65100131 HAS SOUS 23569061 HAS SOUPS 22996623 WITH SCORE 2.3076684175E7
AT ITER 381 NEW BEST:: SOT 123211385 SOS 80056818 HAS SOPS 65092849 HAS SOUS 23554485 HAS SOUPS 22981972 WITH SCORE 2.3062028818E7
AT ITER 388 NEW BEST:: SOT 123208188 SOS 80050218 HAS SOPS 65092552 HAS SOUS 23552943 HAS SOUPS 22980430 WITH SCORE 2.3060480218E7
AT ITER 392 NEW BEST:: SOT 123205584 SOS 80048161 HAS SOPS 65091529 HAS SOUS 23545023 HAS SOUPS 22972510 WITH SCORE 2.3052558161E7
AT ITER 393 NEW BEST:: SOT 123206746 SOS 80056701 HAS SOPS 65102189 HAS SOUS 23529276 HAS SOUPS 22956763 WITH SCORE 2.3036819701E7
AT ITER 400 NEW BEST:: SOT 123202771 SOS 80049017 HAS SOPS 65097457 HAS SOUS 23513358 HAS SOUPS 22942026 WITH SCORE 2.3022075017E7
AT ITER 404 NEW BEST:: SOT 123198348 SOS 80025589 HAS SOPS 65083690 HAS SOUS 23506197 HAS SOUPS 22936621 WITH SCORE 2.3016646589E7
AT ITER 405 NEW BEST:: SOT 123199393 SOS 80027290 HAS SOPS 65085727 HAS SOUS 23503253 HAS SOUPS 22933677 WITH SCORE 2.301370429E7
AT ITER 436 NEW BEST:: SOT 123198588 SOS 80026338 HAS SOPS 65084579 HAS SOUS 23501915 HAS SOUPS 22932346 WITH SCORE 2.3012372338E7
AT ITER 440 NEW BEST:: SOT 123198699 SOS 80048141 HAS SOPS 65126062 HAS SOUS 23501824 HAS SOUPS 22932255 WITH SCORE 2.3012303141E7
AT ITER 443 NEW BEST:: SOT 123205332 SOS 80082495 HAS SOPS 65163479 HAS SOUS 23490142 HAS SOUPS 22920573 WITH SCORE 2.3000655495E7
AT ITER 447 NEW BEST:: SOT 123183348 SOS 80060227 HAS SOPS 65140361 HAS SOUS 23466207 HAS SOUPS 22896638 WITH SCORE 2.2976698227E7
AT ITER 467 NEW BEST:: SOT 123183411 SOS 80060030 HAS SOPS 65140108 HAS SOUS 23465650 HAS SOUPS 22896069 WITH SCORE 2.297612903E7
AT ITER 478 NEW BEST:: SOT 123180406 SOS 80056167 HAS SOPS 65136399 HAS SOUS 23460507 HAS SOUPS 22890940 WITH SCORE 2.2970996167E7
AT ITER 489 NEW BEST:: SOT 123180781 SOS 80072758 HAS SOPS 65157519 HAS SOUS 23442549 HAS SOUPS 22872982 WITH SCORE 2.2953054758E7
AT ITER 496 NEW BEST:: SOT 123182323 SOS 80076285 HAS SOPS 65159483 HAS SOUS 23439048 HAS SOUPS 22869481 WITH SCORE 2.2949557285E7
AT ITER 504 NEW BEST:: SOT 123209198 SOS 80136876 HAS SOPS 65213269 HAS SOUS 23418531 HAS SOUPS 22848964 WITH SCORE 2.2929100876E7
AT ITER 517 NEW BEST:: SOT 123206314 SOS 80137764 HAS SOPS 65213870 HAS SOUS 23410932 HAS SOUPS 22841365 WITH SCORE 2.2921502764E7
AT ITER 523 NEW BEST:: SOT 123204064 SOS 80136595 HAS SOPS 65211967 HAS SOUS 23403751 HAS SOUPS 22834184 WITH SCORE 2.2914320595E7
AT ITER 544 NEW BEST:: SOT 123206161 SOS 80148708 HAS SOPS 65223133 HAS SOUS 23395956 HAS SOUPS 22826389 WITH SCORE 2.2906537708E7
AT ITER 551 NEW BEST:: SOT 123201662 SOS 80142699 HAS SOPS 65217887 HAS SOUS 23389429 HAS SOUPS 22819920 WITH SCORE 2.2900062699E7
AT ITER 553 NEW BEST:: SOT 123201669 SOS 80123782 HAS SOPS 65185857 HAS SOUS 23389376 HAS SOUPS 22819785 WITH SCORE 2.2899908782E7
AT ITER 558 NEW BEST:: SOT 123170916 SOS 80092956 HAS SOPS 65151199 HAS SOUS 23340562 HAS SOUPS 22768523 WITH SCORE 2.2848615956E7
AT ITER 567 NEW BEST:: SOT 123192758 SOS 80139547 HAS SOPS 65183872 HAS SOUS 23314238 HAS SOUPS 22742199 WITH SCORE 2.2822338547E7
AT ITER 572 NEW BEST:: SOT 123178105 SOS 80128715 HAS SOPS 65177364 HAS SOUS 23308538 HAS SOUPS 22736499 WITH SCORE 2.2816627715E7
AT ITER 580 NEW BEST:: SOT 123191045 SOS 80153287 HAS SOPS 65202473 HAS SOUS 23307756 HAS SOUPS 22735717 WITH SCORE 2.2815870287E7
AT ITER 582 NEW BEST:: SOT 123188993 SOS 80148687 HAS SOPS 65198348 HAS SOUS 23301868 HAS SOUPS 22729961 WITH SCORE 2.2810109687E7
AT ITER 584 NEW BEST:: SOT 123187412 SOS 80146902 HAS SOPS 65196546 HAS SOUS 23299112 HAS SOUPS 22727205 WITH SCORE 2.2807351902E7
AT ITER 596 NEW BEST:: SOT 123191306 SOS 80143942 HAS SOPS 65190555 HAS SOUS 23281134 HAS SOUPS 22709356 WITH SCORE 2.2789499942E7
AT ITER 602 NEW BEST:: SOT 123190599 SOS 80141139 HAS SOPS 65187360 HAS SOUS 23280243 HAS SOUPS 22708465 WITH SCORE 2.2788606139E7
AT ITER 608 NEW BEST:: SOT 123185662 SOS 80145416 HAS SOPS 65190156 HAS SOUS 23257483 HAS SOUPS 22685901 WITH SCORE 2.2766046416E7
AT ITER 617 NEW BEST:: SOT 123176112 SOS 80125240 HAS SOPS 65172056 HAS SOUS 23247827 HAS SOUPS 22676245 WITH SCORE 2.275637024E7
AT ITER 631 NEW BEST:: SOT 123181435 SOS 80135973 HAS SOPS 65184515 HAS SOUS 23236914 HAS SOUPS 22665332 WITH SCORE 2.2745467973E7
AT ITER 637 NEW BEST:: SOT 123180632 SOS 80134718 HAS SOPS 65182835 HAS SOUS 23232953 HAS SOUPS 22661371 WITH SCORE 2.2741505718E7
AT ITER 640 NEW BEST:: SOT 123180485 SOS 80134551 HAS SOPS 65182678 HAS SOUS 23232710 HAS SOUPS 22661130 WITH SCORE 2.2741264551E7
AT ITER 653 NEW BEST:: SOT 123182443 SOS 80138867 HAS SOPS 65185299 HAS SOUS 23231484 HAS SOUPS 22659904 WITH SCORE 2.2740042867E7
AT ITER 667 NEW BEST:: SOT 123185427 SOS 80165349 HAS SOPS 65206017 HAS SOUS 23193294 HAS SOUPS 22621714 WITH SCORE 2.2701879349E7
AT ITER 685 NEW BEST:: SOT 123177125 SOS 80157053 HAS SOPS 65197467 HAS SOUS 23182304 HAS SOUPS 22610718 WITH SCORE 2.2690875053E7
AT ITER 693 NEW BEST:: SOT 123274256 SOS 80319867 HAS SOPS 65365757 HAS SOUS 23170470 HAS SOUPS 22598980 WITH SCORE 2.2679299867E7
AT ITER 704 NEW BEST:: SOT 123281139 SOS 80331178 HAS SOPS 65381197 HAS SOUS 23164098 HAS SOUPS 22592903 WITH SCORE 2.2673234178E7
AT ITER 705 NEW BEST:: SOT 123311069 SOS 80416371 HAS SOPS 65465001 HAS SOUS 23151216 HAS SOUPS 22580021 WITH SCORE 2.2660437371E7
AT ITER 714 NEW BEST:: SOT 123337162 SOS 80480117 HAS SOPS 65527479 HAS SOUS 23131170 HAS SOUPS 22559975 WITH SCORE 2.2640455117E7
AT ITER 733 NEW BEST:: SOT 123317712 SOS 80461027 HAS SOPS 65506434 HAS SOUS 23086022 HAS SOUPS 22514827 WITH SCORE 2.2595288027E7
AT ITER 759 NEW BEST:: SOT 123312665 SOS 80462119 HAS SOPS 65503365 HAS SOUS 23070082 HAS SOUPS 22498614 WITH SCORE 2.2579076119E7
AT ITER 761 NEW BEST:: SOT 123312787 SOS 80487907 HAS SOPS 65542491 HAS SOUS 23067223 HAS SOUPS 22495983 WITH SCORE 2.2576470907E7
AT ITER 765 NEW BEST:: SOT 123307460 SOS 80482828 HAS SOPS 65535236 HAS SOUS 23053937 HAS SOUPS 22482697 WITH SCORE 2.2563179828E7
AT ITER 769 NEW BEST:: SOT 123305857 SOS 80482676 HAS SOPS 65530617 HAS SOUS 23047813 HAS SOUPS 22476573 WITH SCORE 2.2557055676E7
AT ITER 773 NEW BEST:: SOT 123306921 SOS 80485400 HAS SOPS 65533091 HAS SOUS 23045446 HAS SOUPS 22474206 WITH SCORE 2.25546914E7
AT ITER 779 NEW BEST:: SOT 123303437 SOS 80519548 HAS SOPS 65569347 HAS SOUS 23039188 HAS SOUPS 22467878 WITH SCORE 2.2548397548E7
AT ITER 793 NEW BEST:: SOT 123308895 SOS 80543051 HAS SOPS 65596829 HAS SOUS 23001518 HAS SOUPS 22430208 WITH SCORE 2.2510751051E7
AT ITER 795 NEW BEST:: SOT 123308570 SOS 80542679 HAS SOPS 65596539 HAS SOUS 23001040 HAS SOUPS 22429730 WITH SCORE 2.2510272679E7
AT ITER 809 NEW BEST:: SOT 123307159 SOS 80542750 HAS SOPS 65595719 HAS SOUS 22999762 HAS SOUPS 22428437 WITH SCORE 2.250897975E7
AT ITER 826 NEW BEST:: SOT 123299655 SOS 80534181 HAS SOPS 65587737 HAS SOUS 22984691 HAS SOUPS 22413442 WITH SCORE 2.2493976181E7
AT ITER 827 NEW BEST:: SOT 123298309 SOS 80532835 HAS SOPS 65586871 HAS SOUS 22980001 HAS SOUPS 22409232 WITH SCORE 2.2489764835E7
AT ITER 838 NEW BEST:: SOT 123278780 SOS 80510007 HAS SOPS 65565250 HAS SOUS 22965251 HAS SOUPS 22394482 WITH SCORE 2.2474992007E7
AT ITER 841 NEW BEST:: SOT 123278425 SOS 80509482 HAS SOPS 65564705 HAS SOUS 22964664 HAS SOUPS 22393907 WITH SCORE 2.2474416482E7
AT ITER 842 NEW BEST:: SOT 123285217 SOS 80512987 HAS SOPS 65568044 HAS SOUS 22964084 HAS SOUPS 22393327 WITH SCORE 2.2473839987E7
AT ITER 844 NEW BEST:: SOT 123275415 SOS 80507518 HAS SOPS 65548344 HAS SOUS 22931665 HAS SOUPS 22360908 WITH SCORE 2.2441415518E7
AT ITER 857 NEW BEST:: SOT 123274198 SOS 80515552 HAS SOPS 65557264 HAS SOUS 22919416 HAS SOUPS 22348659 WITH SCORE 2.2429174552E7
AT ITER 858 NEW BEST:: SOT 123273280 SOS 80517580 HAS SOPS 65551601 HAS SOUS 22912732 HAS SOUPS 22341975 WITH SCORE 2.242249258E7
AT ITER 863 NEW BEST:: SOT 123208768 SOS 80448200 HAS SOPS 65470461 HAS SOUS 22753751 HAS SOUPS 22182861 WITH SCORE 2.22633092E7
AT ITER 892 NEW BEST:: SOT 123207626 SOS 80447838 HAS SOPS 65470130 HAS SOUS 22753218 HAS SOUPS 22182316 WITH SCORE 2.2262763838E7
AT ITER 915 NEW BEST:: SOT 123201124 SOS 80431634 HAS SOPS 65459609 HAS SOUS 22747142 HAS SOUPS 22176240 WITH SCORE 2.2256671634E7
AT ITER 921 NEW BEST:: SOT 123201124 SOS 80434322 HAS SOPS 65464793 HAS SOUS 22747070 HAS SOUPS 22176168 WITH SCORE 2.2256602322E7
AT ITER 923 NEW BEST:: SOT 123201095 SOS 80434643 HAS SOPS 65466653 HAS SOUS 22747029 HAS SOUPS 22176127 WITH SCORE 2.2256561643E7
AT ITER 947 NEW BEST:: SOT 123194612 SOS 80427560 HAS SOPS 65455577 HAS SOUS 22736856 HAS SOUPS 22165954 WITH SCORE 2.224638156E7
AT ITER 961 NEW BEST:: SOT 123193071 SOS 80424287 HAS SOPS 65453230 HAS SOUS 22735136 HAS SOUPS 22164234 WITH SCORE 2.2244658287E7
AT ITER 965 NEW BEST:: SOT 123198424 SOS 80463618 HAS SOPS 65464855 HAS SOUS 22681090 HAS SOUPS 22110188 WITH SCORE 2.2190651618E7
AT ITER 974 NEW BEST:: SOT 123203066 SOS 80472372 HAS SOPS 65466594 HAS SOUS 22673982 HAS SOUPS 22103080 WITH SCORE 2.2183552372E7
AT ITER 976 NEW BEST:: SOT 123182759 SOS 80452711 HAS SOPS 65455785 HAS SOUS 22664218 HAS SOUPS 22093316 WITH SCORE 2.2173768711E7
AT ITER 984 NEW BEST:: SOT 123182393 SOS 80452444 HAS SOPS 65455314 HAS SOUS 22663417 HAS SOUPS 22092515 WITH SCORE 2.2172967444E7
AT ITER 995 NEW BEST:: SOT 123188806 SOS 80458539 HAS SOPS 65460592 HAS SOUS 22662447 HAS SOUPS 22091609 WITH SCORE 2.2172067539E7
AT ITER 996 NEW BEST:: SOT 123205898 SOS 80478626 HAS SOPS 65488866 HAS SOUS 22659363 HAS SOUPS 22088525 WITH SCORE 2.2169003626E7
AT ITER 1007 NEW BEST:: SOT 123204856 SOS 80474735 HAS SOPS 65479200 HAS SOUS 22654404 HAS SOUPS 22083566 WITH SCORE 2.2164040735E7
AT ITER 1020 NEW BEST:: SOT 123204542 SOS 80475623 HAS SOPS 65480520 HAS SOUS 22654171 HAS SOUPS 22083333 WITH SCORE 2.2163808623E7
AT ITER 1022 NEW BEST:: SOT 123204542 SOS 80486275 HAS SOPS 65495204 HAS SOUS 22654039 HAS SOUPS 22083201 WITH SCORE 2.2163687275E7
AT ITER 1023 NEW BEST:: SOT 123205189 SOS 80488159 HAS SOPS 65496468 HAS SOUS 22653099 HAS SOUPS 22082261 WITH SCORE 2.2162749159E7
AT ITER 1038 NEW BEST:: SOT 123205210 SOS 80498332 HAS SOPS 65503873 HAS SOUS 22652336 HAS SOUPS 22081498 WITH SCORE 2.2161996332E7
AT ITER 1042 NEW BEST:: SOT 123208006 SOS 80499963 HAS SOPS 65503155 HAS SOUS 22647616 HAS SOUPS 22076778 WITH SCORE 2.2157277963E7
AT ITER 1072 NEW BEST:: SOT 123182448 SOS 80465766 HAS SOPS 65477502 HAS SOUS 22645556 HAS SOUPS 22074718 WITH SCORE 2.2155183766E7
AT ITER 1075 NEW BEST:: SOT 123192914 SOS 80492889 HAS SOPS 65503374 HAS SOUS 22642887 HAS SOUPS 22072049 WITH SCORE 2.2152541889E7
AT ITER 1102 NEW BEST:: SOT 123187498 SOS 80477057 HAS SOPS 65495630 HAS SOUS 22630212 HAS SOUPS 22060137 WITH SCORE 2.2140614057E7
AT ITER 1109 NEW BEST:: SOT 123189022 SOS 80475960 HAS SOPS 65495448 HAS SOUS 22625757 HAS SOUPS 22055682 WITH SCORE 2.213615796E7
AT ITER 1114 NEW BEST:: SOT 123175140 SOS 80462078 HAS SOPS 65481566 HAS SOUS 22611875 HAS SOUPS 22041800 WITH SCORE 2.2122262078E7
AT ITER 1146 NEW BEST:: SOT 123175032 SOS 80459975 HAS SOPS 65479889 HAS SOUS 22611804 HAS SOUPS 22041729 WITH SCORE 2.2122188975E7
AT ITER 1150 NEW BEST:: SOT 123188144 SOS 80503690 HAS SOPS 65540580 HAS SOUS 22599851 HAS SOUPS 22030010 WITH SCORE 2.211051369E7
AT ITER 1155 NEW BEST:: SOT 123143792 SOS 80461418 HAS SOPS 65491474 HAS SOUS 22547007 HAS SOUPS 21976914 WITH SCORE 2.2057375418E7
AT ITER 1189 NEW BEST:: SOT 123140899 SOS 80465253 HAS SOPS 65499246 HAS SOUS 22521489 HAS SOUPS 21951396 WITH SCORE 2.2031861253E7
AT ITER 1200 NEW BEST:: SOT 123137993 SOS 80462798 HAS SOPS 65497018 HAS SOUS 22515121 HAS SOUPS 21945092 WITH SCORE 2.2025554798E7
AT ITER 1204 NEW BEST:: SOT 123129958 SOS 80457710 HAS SOPS 65500467 HAS SOUS 22498753 HAS SOUPS 21928937 WITH SCORE 2.200939471E7
AT ITER 1207 NEW BEST:: SOT 123140712 SOS 80476859 HAS SOPS 65517730 HAS SOUS 22496983 HAS SOUPS 21927167 WITH SCORE 2.2007643859E7
AT ITER 1220 NEW BEST:: SOT 123136127 SOS 80471810 HAS SOPS 65510249 HAS SOUS 22487689 HAS SOUPS 21917844 WITH SCORE 2.199831581E7
AT ITER 1222 NEW BEST:: SOT 123125067 SOS 80455827 HAS SOPS 65495065 HAS SOUS 22474053 HAS SOUPS 21904208 WITH SCORE 2.1984663827E7
AT ITER 1229 NEW BEST:: SOT 122969923 SOS 80227844 HAS SOPS 65264717 HAS SOUS 22365410 HAS SOUPS 21795379 WITH SCORE 2.1875606844E7
AT ITER 1242 NEW BEST:: SOT 122970321 SOS 80229466 HAS SOPS 65266596 HAS SOUS 22364678 HAS SOUPS 21794647 WITH SCORE 2.1874876466E7
AT ITER 1244 NEW BEST:: SOT 123016493 SOS 80347421 HAS SOPS 65359890 HAS SOUS 22355277 HAS SOUPS 21785246 WITH SCORE 2.1865593421E7
AT ITER 1254 NEW BEST:: SOT 123010299 SOS 80339246 HAS SOPS 65348870 HAS SOUS 22338534 HAS SOUPS 21768503 WITH SCORE 2.1848842246E7
AT ITER 1262 NEW BEST:: SOT 123007312 SOS 80339033 HAS SOPS 65342867 HAS SOUS 22324889 HAS SOUPS 21754783 WITH SCORE 2.1835122033E7
AT ITER 1263 NEW BEST:: SOT 122977912 SOS 80309617 HAS SOPS 65313196 HAS SOUS 22282190 HAS SOUPS 21712070 WITH SCORE 2.1792379617E7
AT ITER 1264 NEW BEST:: SOT 122966354 SOS 80298749 HAS SOPS 65289534 HAS SOUS 22260060 HAS SOUPS 21685140 WITH SCORE 2.1765438749E7
AT ITER 1269 NEW BEST:: SOT 122966439 SOS 80298711 HAS SOPS 65286733 HAS SOUS 22256301 HAS SOUPS 21681381 WITH SCORE 2.1761679711E7
AT ITER 1270 NEW BEST:: SOT 122967085 SOS 80300748 HAS SOPS 65287959 HAS SOUS 22255576 HAS SOUPS 21680656 WITH SCORE 2.1760956748E7
AT ITER 1272 NEW BEST:: SOT 122967001 SOS 80300848 HAS SOPS 65288027 HAS SOUS 22255450 HAS SOUPS 21680530 WITH SCORE 2.1760830848E7
AT ITER 1276 NEW BEST:: SOT 122973812 SOS 80322398 HAS SOPS 65309550 HAS SOUS 22248729 HAS SOUPS 21673809 WITH SCORE 2.1754131398E7
AT ITER 1287 NEW BEST:: SOT 122977161 SOS 80329744 HAS SOPS 65315470 HAS SOUS 22247511 HAS SOUPS 21672591 WITH SCORE 2.1752920744E7
AT ITER 1297 NEW BEST:: SOT 122979616 SOS 80320743 HAS SOPS 65315557 HAS SOUS 22237850 HAS SOUPS 21664415 WITH SCORE 2.1744735743E7
AT ITER 1305 NEW BEST:: SOT 122962708 SOS 80290160 HAS SOPS 65289583 HAS SOUS 22217783 HAS SOUPS 21644348 WITH SCORE 2.172463816E7
AT ITER 1306 NEW BEST:: SOT 122960489 SOS 80286968 HAS SOPS 65286410 HAS SOUS 22215228 HAS SOUPS 21641793 WITH SCORE 2.1722079968E7
AT ITER 1308 NEW BEST:: SOT 122953245 SOS 80279724 HAS SOPS 65279166 HAS SOUS 22207600 HAS SOUPS 21634165 WITH SCORE 2.1714444724E7
AT ITER 1309 NEW BEST:: SOT 122938119 SOS 80254599 HAS SOPS 65257970 HAS SOUS 22195561 HAS SOUPS 21622126 WITH SCORE 2.1702380599E7
AT ITER 1313 NEW BEST:: SOT 122943186 SOS 80260312 HAS SOPS 65262518 HAS SOUS 22191953 HAS SOUPS 21618769 WITH SCORE 2.1699029312E7
AT ITER 1329 NEW BEST:: SOT 122935930 SOS 80250419 HAS SOPS 65252547 HAS SOUS 22179830 HAS SOUPS 21606840 WITH SCORE 2.1687090419E7
AT ITER 1357 NEW BEST:: SOT 122936246 SOS 80250303 HAS SOPS 65252767 HAS SOUS 22178943 HAS SOUPS 21605953 WITH SCORE 2.1686203303E7
AT ITER 1367 NEW BEST:: SOT 122936681 SOS 80248904 HAS SOPS 65251451 HAS SOUS 22173967 HAS SOUPS 21602838 WITH SCORE 2.1683086904E7
AT ITER 1373 NEW BEST:: SOT 122924486 SOS 80246814 HAS SOPS 65235239 HAS SOUS 22170900 HAS SOUPS 21599465 WITH SCORE 2.1679711814E7
AT ITER 1375 NEW BEST:: SOT 122924128 SOS 80246366 HAS SOPS 65234836 HAS SOUS 22169846 HAS SOUPS 21598502 WITH SCORE 2.1678748366E7
AT ITER 1376 NEW BEST:: SOT 122924709 SOS 80247372 HAS SOPS 65236141 HAS SOUS 22169387 HAS SOUPS 21598342 WITH SCORE 2.1678589372E7
AT ITER 1378 NEW BEST:: SOT 122925341 SOS 80249785 HAS SOPS 65236970 HAS SOUS 22167636 HAS SOUPS 21596496 WITH SCORE 2.1676745785E7
AT ITER 1400 NEW BEST:: SOT 122919483 SOS 80238517 HAS SOPS 65227411 HAS SOUS 22163190 HAS SOUPS 21592050 WITH SCORE 2.1672288517E7
AT ITER 1401 NEW BEST:: SOT 122937020 SOS 80282319 HAS SOPS 65260179 HAS SOUS 22160763 HAS SOUPS 21589623 WITH SCORE 2.1669905319E7
AT ITER 1412 NEW BEST:: SOT 122933006 SOS 80275198 HAS SOPS 65250890 HAS SOUS 22151433 HAS SOUPS 21580293 WITH SCORE 2.1660568198E7
AT ITER 1414 NEW BEST:: SOT 122933006 SOS 80275406 HAS SOPS 65251034 HAS SOUS 22151431 HAS SOUPS 21580291 WITH SCORE 2.1660566406E7
AT ITER 1436 NEW BEST:: SOT 122922467 SOS 80264867 HAS SOPS 65240495 HAS SOUS 22140892 HAS SOUPS 21569752 WITH SCORE 2.1650016867E7
AT ITER 1442 NEW BEST:: SOT 122961371 SOS 80329185 HAS SOPS 65293116 HAS SOUS 22135759 HAS SOUPS 21563970 WITH SCORE 2.1644299185E7
AT ITER 1448 NEW BEST:: SOT 122979395 SOS 80353053 HAS SOPS 65338063 HAS SOUS 22128664 HAS SOUPS 21558359 WITH SCORE 2.1638712053E7
AT ITER 1471 NEW BEST:: SOT 122984583 SOS 80382665 HAS SOPS 65360257 HAS SOUS 22111507 HAS SOUPS 21541202 WITH SCORE 2.1621584665E7
AT ITER 1475 NEW BEST:: SOT 122984583 SOS 80386089 HAS SOPS 65362769 HAS SOUS 22111494 HAS SOUPS 21541189 WITH SCORE 2.1621575089E7
AT ITER 1484 NEW BEST:: SOT 123030484 SOS 80466297 HAS SOPS 65437989 HAS SOUS 22093804 HAS SOUPS 21523499 WITH SCORE 2.1603965297E7
AT ITER 1487 NEW BEST:: SOT 123028355 SOS 80463693 HAS SOPS 65434470 HAS SOUS 22089120 HAS SOUPS 21518815 WITH SCORE 2.1599278693E7
AT ITER 1490 NEW BEST:: SOT 123038595 SOS 80484297 HAS SOPS 65456173 HAS SOUS 22081435 HAS SOUPS 21511265 WITH SCORE 2.1591749297E7
AT ITER 1493 NEW BEST:: SOT 123040470 SOS 80489866 HAS SOPS 65457571 HAS SOUS 22078364 HAS SOUPS 21508194 WITH SCORE 2.1588683866E7
AT ITER 1495 NEW BEST:: SOT 123032943 SOS 80482339 HAS SOPS 65448828 HAS SOUS 22069653 HAS SOUPS 21498235 WITH SCORE 2.1578717339E7
AT ITER 1497 NEW BEST:: SOT 123033443 SOS 80483279 HAS SOPS 65449438 HAS SOUS 22068074 HAS SOUPS 21496656 WITH SCORE 2.1577139279E7
AT ITER 1509 NEW BEST:: SOT 123028445 SOS 80478281 HAS SOPS 65444328 HAS SOUS 22062492 HAS SOUPS 21491042 WITH SCORE 2.1571520281E7
AT ITER 1522 NEW BEST:: SOT 123079568 SOS 80605664 HAS SOPS 65545172 HAS SOUS 22054500 HAS SOUPS 21482940 WITH SCORE 2.1563545664E7
AT ITER 1540 NEW BEST:: SOT 123070455 SOS 80600305 HAS SOPS 65532838 HAS SOUS 22049216 HAS SOUPS 21477656 WITH SCORE 2.1558256305E7
AT ITER 1543 NEW BEST:: SOT 123071659 SOS 80604252 HAS SOPS 65536872 HAS SOUS 22047421 HAS SOUPS 21475861 WITH SCORE 2.1556465252E7
AT ITER 1558 NEW BEST:: SOT 123058080 SOS 80593915 HAS SOPS 65522719 HAS SOUS 22015714 HAS SOUPS 21444154 WITH SCORE 2.1524747915E7
AT ITER 1562 NEW BEST:: SOT 123062818 SOS 80611922 HAS SOPS 65534486 HAS SOUS 22007665 HAS SOUPS 21436105 WITH SCORE 2.1516716922E7
AT ITER 1585 NEW BEST:: SOT 123065065 SOS 80615635 HAS SOPS 65537921 HAS SOUS 22004782 HAS SOUPS 21433222 WITH SCORE 2.1513837635E7
AT ITER 1596 NEW BEST:: SOT 123064500 SOS 80612662 HAS SOPS 65537468 HAS SOUS 22002653 HAS SOUPS 21431135 WITH SCORE 2.1511747662E7
AT ITER 1599 NEW BEST:: SOT 123062526 SOS 80611905 HAS SOPS 65535865 HAS SOUS 21996429 HAS SOUPS 21424911 WITH SCORE 2.1505522905E7
AT ITER 1602 NEW BEST:: SOT 123060410 SOS 80613741 HAS SOPS 65534535 HAS SOUS 21977734 HAS SOUPS 21405865 WITH SCORE 2.1486478741E7
AT ITER 1605 NEW BEST:: SOT 123060754 SOS 80622993 HAS SOPS 65534271 HAS SOUS 21968998 HAS SOUPS 21397003 WITH SCORE 2.1477625993E7
AT ITER 1608 NEW BEST:: SOT 123057628 SOS 80617473 HAS SOPS 65536657 HAS SOUS 21962294 HAS SOUPS 21390299 WITH SCORE 2.1470916473E7
AT ITER 1637 NEW BEST:: SOT 123057629 SOS 80617762 HAS SOPS 65536946 HAS SOUS 21962291 HAS SOUPS 21390296 WITH SCORE 2.1470913762E7
AT ITER 1671 NEW BEST:: SOT 123057230 SOS 80617178 HAS SOPS 65535779 HAS SOUS 21962133 HAS SOUPS 21390130 WITH SCORE 2.1470747178E7
AT ITER 1685 NEW BEST:: SOT 123072245 SOS 80654561 HAS SOPS 65565451 HAS SOUS 21954558 HAS SOUPS 21382555 WITH SCORE 2.1463209561E7
AT ITER 1689 NEW BEST:: SOT 123065642 SOS 80656598 HAS SOPS 65565205 HAS SOUS 21936977 HAS SOUPS 21364974 WITH SCORE 2.1445630598E7
AT ITER 1692 NEW BEST:: SOT 123066748 SOS 80656544 HAS SOPS 65565851 HAS SOUS 21934302 HAS SOUPS 21362299 WITH SCORE 2.1442955544E7
AT ITER 1708 NEW BEST:: SOT 123094380 SOS 80720388 HAS SOPS 65624739 HAS SOUS 21929172 HAS SOUPS 21357169 WITH SCORE 2.1437889388E7
AT ITER 1744 NEW BEST:: SOT 123092975 SOS 80719494 HAS SOPS 65625077 HAS SOUS 21927827 HAS SOUPS 21355728 WITH SCORE 2.1436447494E7
AT ITER 1748 NEW BEST:: SOT 123094108 SOS 80715773 HAS SOPS 65623590 HAS SOUS 21926747 HAS SOUPS 21354648 WITH SCORE 2.1435363773E7
AT ITER 1749 NEW BEST:: SOT 123093873 SOS 80715530 HAS SOPS 65623255 HAS SOUS 21926356 HAS SOUPS 21354253 WITH SCORE 2.143496853E7
AT ITER 1770 NEW BEST:: SOT 123076096 SOS 80691436 HAS SOPS 65600791 HAS SOUS 21909740 HAS SOUPS 21337867 WITH SCORE 2.1418558436E7
AT ITER 1777 NEW BEST:: SOT 123077601 SOS 80690558 HAS SOPS 65598099 HAS SOUS 21902867 HAS SOUPS 21331062 WITH SCORE 2.1411752558E7
AT ITER 1785 NEW BEST:: SOT 123073879 SOS 80685104 HAS SOPS 65594771 HAS SOUS 21899492 HAS SOUPS 21327687 WITH SCORE 2.1408372104E7
AT ITER 1793 NEW BEST:: SOT 123079322 SOS 80688376 HAS SOPS 65592571 HAS SOUS 21895086 HAS SOUPS 21323281 WITH SCORE 2.1403969376E7
AT ITER 1796 NEW BEST:: SOT 123077367 SOS 80679616 HAS SOPS 65632248 HAS SOUS 21890262 HAS SOUPS 21318781 WITH SCORE 2.1399460616E7
AT ITER 1798 NEW BEST:: SOT 123074480 SOS 80676441 HAS SOPS 65627569 HAS SOUS 21882844 HAS SOUPS 21311363 WITH SCORE 2.1392039441E7
AT ITER 1799 NEW BEST:: SOT 123073987 SOS 80676052 HAS SOPS 65627736 HAS SOUS 21882633 HAS SOUPS 21311134 WITH SCORE 2.1391810052E7
AT ITER 1802 NEW BEST:: SOT 123028287 SOS 80628304 HAS SOPS 65577812 HAS SOUS 21832064 HAS SOUPS 21260565 WITH SCORE 2.1341193304E7
AT ITER 1805 NEW BEST:: SOT 123028173 SOS 80623230 HAS SOPS 65579778 HAS SOUS 21831961 HAS SOUPS 21260462 WITH SCORE 2.134108523E7
AT ITER 1813 NEW BEST:: SOT 123033988 SOS 80629059 HAS SOPS 65585607 HAS SOUS 21827107 HAS SOUPS 21255608 WITH SCORE 2.1336237059E7
AT ITER 1823 NEW BEST:: SOT 123059547 SOS 80672918 HAS SOPS 65623692 HAS SOUS 21818126 HAS SOUPS 21246627 WITH SCORE 2.1327299918E7
AT ITER 1828 NEW BEST:: SOT 123003637 SOS 80606531 HAS SOPS 65545236 HAS SOUS 21718939 HAS SOUPS 21147608 WITH SCORE 2.1228214531E7
AT ITER 1831 NEW BEST:: SOT 123003008 SOS 80604667 HAS SOPS 65544136 HAS SOUS 21717887 HAS SOUPS 21146556 WITH SCORE 2.1227160667E7
AT ITER 1832 NEW BEST:: SOT 123002520 SOS 80605922 HAS SOPS 65544448 HAS SOUS 21717831 HAS SOUPS 21146487 WITH SCORE 2.1227092922E7
AT ITER 1852 NEW BEST:: SOT 123001845 SOS 80601055 HAS SOPS 65559738 HAS SOUS 21678738 HAS SOUPS 21108136 WITH SCORE 2.1188737055E7
AT ITER 1858 NEW BEST:: SOT 122982597 SOS 80581759 HAS SOPS 65539546 HAS SOUS 21662374 HAS SOUPS 21090876 WITH SCORE 2.1171457759E7
AT ITER 1895 NEW BEST:: SOT 122981000 SOS 80580299 HAS SOPS 65538403 HAS SOUS 21659030 HAS SOUPS 21087532 WITH SCORE 2.1168112299E7
AT ITER 1918 NEW BEST:: SOT 122976597 SOS 80573550 HAS SOPS 65531627 HAS SOUS 21652471 HAS SOUPS 21081003 WITH SCORE 2.116157655E7
AT ITER 1925 NEW BEST:: SOT 122975889 SOS 80572842 HAS SOPS 65530887 HAS SOUS 21651315 HAS SOUPS 21079847 WITH SCORE 2.1160419842E7
AT ITER 1932 NEW BEST:: SOT 122974876 SOS 80570956 HAS SOPS 65529260 HAS SOUS 21650835 HAS SOUPS 21079379 WITH SCORE 2.1159949956E7
AT ITER 1947 NEW BEST:: SOT 122948303 SOS 80532872 HAS SOPS 65486853 HAS SOUS 21618447 HAS SOUPS 21046991 WITH SCORE 2.1127523872E7
AT ITER 1955 NEW BEST:: SOT 122929108 SOS 80504176 HAS SOPS 65463217 HAS SOUS 21554740 HAS SOUPS 20983784 WITH SCORE 2.1064288176E7
AT ITER 1963 NEW BEST:: SOT 122904774 SOS 80477834 HAS SOPS 65428171 HAS SOUS 21518011 HAS SOUPS 20945784 WITH SCORE 2.1026261834E7
AT ITER 1970 NEW BEST:: SOT 122905255 SOS 80478696 HAS SOPS 65428833 HAS SOUS 21517655 HAS SOUPS 20945428 WITH SCORE 2.1025906696E7
AT ITER 1985 NEW BEST:: SOT 122921206 SOS 80527410 HAS SOPS 65468571 HAS SOUS 21515289 HAS SOUPS 20943062 WITH SCORE 2.102358941E7
AT ITER 1990 NEW BEST:: SOT 122903226 SOS 80505043 HAS SOPS 65444673 HAS SOUS 21495039 HAS SOUPS 20922671 WITH SCORE 2.1003176043E7
AT ITER 2001 NEW BEST:: SOT 122919617 SOS 80542675 HAS SOPS 65480541 HAS SOUS 21478431 HAS SOUPS 20906063 WITH SCORE 2.0986605675E7
AT ITER 2015 NEW BEST:: SOT 122905523 SOS 80526968 HAS SOPS 65463367 HAS SOUS 21457602 HAS SOUPS 20885352 WITH SCORE 2.0965878968E7
AT ITER 2017 NEW BEST:: SOT 122916922 SOS 80561180 HAS SOPS 65499425 HAS SOUS 21452865 HAS SOUPS 20880615 WITH SCORE 2.096117618E7
AT ITER 2018 NEW BEST:: SOT 122794370 SOS 80391991 HAS SOPS 65348401 HAS SOUS 21293863 HAS SOUPS 20722024 WITH SCORE 2.0802415991E7
AT ITER 2030 NEW BEST:: SOT 122790465 SOS 80392035 HAS SOPS 65346260 HAS SOUS 21280943 HAS SOUPS 20709120 WITH SCORE 2.0789512035E7
AT ITER 2040 NEW BEST:: SOT 122788961 SOS 80389483 HAS SOPS 65343340 HAS SOUS 21279367 HAS SOUPS 20707552 WITH SCORE 2.0787941483E7
AT ITER 2050 NEW BEST:: SOT 122789447 SOS 80406424 HAS SOPS 65362238 HAS SOUS 21279101 HAS SOUPS 20707286 WITH SCORE 2.0787692424E7
AT ITER 2056 NEW BEST:: SOT 122787286 SOS 80404464 HAS SOPS 65360173 HAS SOUS 21273650 HAS SOUPS 20701835 WITH SCORE 2.0782239464E7
AT ITER 2080 NEW BEST:: SOT 122789044 SOS 80409742 HAS SOPS 65361873 HAS SOUS 21269389 HAS SOUPS 20697574 WITH SCORE 2.0777983742E7
AT ITER 2084 NEW BEST:: SOT 122789003 SOS 80409655 HAS SOPS 65362433 HAS SOUS 21269375 HAS SOUPS 20697560 WITH SCORE 2.0777969655E7
AT ITER 2092 NEW BEST:: SOT 122776474 SOS 80397087 HAS SOPS 65348018 HAS SOUS 21244854 HAS SOUPS 20672934 WITH SCORE 2.0753331087E7
AT ITER 2100 NEW BEST:: SOT 122776363 SOS 80396943 HAS SOPS 65347659 HAS SOUS 21244272 HAS SOUPS 20672352 WITH SCORE 2.0752748943E7
AT ITER 2106 NEW BEST:: SOT 122768679 SOS 80378460 HAS SOPS 65330636 HAS SOUS 21242321 HAS SOUPS 20670470 WITH SCORE 2.075084846E7
AT ITER 2112 NEW BEST:: SOT 122769180 SOS 80381586 HAS SOPS 65347363 HAS SOUS 21241571 HAS SOUPS 20669730 WITH SCORE 2.0750111586E7
AT ITER 2127 NEW BEST:: SOT 122757654 SOS 80369158 HAS SOPS 65340704 HAS SOUS 21216055 HAS SOUPS 20644238 WITH SCORE 2.0724607158E7
AT ITER 2134 NEW BEST:: SOT 122754107 SOS 80365503 HAS SOPS 65336089 HAS SOUS 21207352 HAS SOUPS 20635575 WITH SCORE 2.0715940503E7
AT ITER 2141 NEW BEST:: SOT 122749258 SOS 80397545 HAS SOPS 65363002 HAS SOUS 21203674 HAS SOUPS 20631897 WITH SCORE 2.0712294545E7
AT ITER 2147 NEW BEST:: SOT 122749763 SOS 80398823 HAS SOPS 65365589 HAS SOUS 21198769 HAS SOUPS 20627487 WITH SCORE 2.0707885823E7
AT ITER 2205 NEW BEST:: SOT 122750515 SOS 80400927 HAS SOPS 65363123 HAS SOUS 21196411 HAS SOUPS 20625129 WITH SCORE 2.0705529927E7
AT ITER 2214 NEW BEST:: SOT 122750022 SOS 80400873 HAS SOPS 65363482 HAS SOUS 21192957 HAS SOUPS 20621675 WITH SCORE 2.0702075873E7
AT ITER 2230 NEW BEST:: SOT 122736216 SOS 80386629 HAS SOPS 65348214 HAS SOUS 21185470 HAS SOUPS 20613404 WITH SCORE 2.0693790629E7
AT ITER 2233 NEW BEST:: SOT 122735945 SOS 80391710 HAS SOPS 65353010 HAS SOUS 21185003 HAS SOUPS 20612937 WITH SCORE 2.069332871E7
AT ITER 2237 NEW BEST:: SOT 122727529 SOS 80383294 HAS SOPS 65344594 HAS SOUS 21177107 HAS SOUPS 20605041 WITH SCORE 2.0685424294E7
AT ITER 2238 NEW BEST:: SOT 122724463 SOS 80379568 HAS SOPS 65340846 HAS SOUS 21170961 HAS SOUPS 20598895 WITH SCORE 2.0679274568E7
AT ITER 2246 NEW BEST:: SOT 122722669 SOS 80377958 HAS SOPS 65337598 HAS SOUS 21167009 HAS SOUPS 20594917 WITH SCORE 2.0675294958E7

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

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