Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r323-tall-167889194400192.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...............
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is RERS17pb115-PT-6, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r323-tall-167889194400192
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 70M
-rw-r--r-- 1 mcc users 7.4K Feb 25 13:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 83K Feb 25 13:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 25 13:52 CTLFireability.txt
-rw-r--r-- 1 mcc users 43K Feb 25 13:52 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:39 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 16:39 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Feb 25 16:39 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:39 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 14:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 144K Feb 25 14:07 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.5K Feb 25 14:03 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 25 14:03 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:39 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:39 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 69M Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679484404069

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=RERS17pb115-PT-6
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb115 (PT), instance 6
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 1399 places, 144369 transitions, 577414 arcs.
AT ITER 0 NEW BEST:: SOT 123446583 SOS 80238157 HAS SOPS 65217586 HAS SOUS 24077925 HAS SOUPS 23505151 WITH SCORE 2.3585389157E7
AT ITER 11 NEW BEST:: SOT 123457504 SOS 80249848 HAS SOPS 65236188 HAS SOUS 24072982 HAS SOUPS 23500622 WITH SCORE 2.3580871848E7
AT ITER 18 NEW BEST:: SOT 123458087 SOS 80262013 HAS SOPS 65238210 HAS SOUS 24061248 HAS SOUPS 23488888 WITH SCORE 2.3569150013E7
AT ITER 26 NEW BEST:: SOT 123458155 SOS 80262091 HAS SOPS 65238499 HAS SOUS 24061188 HAS SOUPS 23488823 WITH SCORE 2.3569085091E7
AT ITER 41 NEW BEST:: SOT 123450695 SOS 80254682 HAS SOPS 65231090 HAS SOUS 24052643 HAS SOUPS 23480278 WITH SCORE 2.3560532682E7
AT ITER 53 NEW BEST:: SOT 123441316 SOS 80235953 HAS SOPS 65216511 HAS SOUS 24051659 HAS SOUPS 23479294 WITH SCORE 2.3559529953E7
AT ITER 55 NEW BEST:: SOT 123441219 SOS 80235893 HAS SOPS 65216521 HAS SOUS 24049383 HAS SOUPS 23477018 WITH SCORE 2.3557253893E7
AT ITER 68 NEW BEST:: SOT 123434920 SOS 80224886 HAS SOPS 65208251 HAS SOUS 24043866 HAS SOUPS 23471501 WITH SCORE 2.3551725886E7
AT ITER 70 NEW BEST:: SOT 123434905 SOS 80241253 HAS SOPS 65226059 HAS SOUS 24043681 HAS SOUPS 23471316 WITH SCORE 2.3551557253E7
AT ITER 78 NEW BEST:: SOT 123337251 SOS 80141956 HAS SOPS 65125828 HAS SOUS 23937489 HAS SOUPS 23365480 WITH SCORE 2.3445621956E7
AT ITER 82 NEW BEST:: SOT 123329666 SOS 80135761 HAS SOPS 65122831 HAS SOUS 23922850 HAS SOUPS 23350841 WITH SCORE 2.3430976761E7
AT ITER 83 NEW BEST:: SOT 123333235 SOS 80146566 HAS SOPS 65131730 HAS SOUS 23917021 HAS SOUPS 23345012 WITH SCORE 2.3425158566E7
AT ITER 91 NEW BEST:: SOT 123332770 SOS 80153045 HAS SOPS 65130039 HAS SOUS 23908950 HAS SOUPS 23336941 WITH SCORE 2.3417094045E7
AT ITER 95 NEW BEST:: SOT 123337854 SOS 80169779 HAS SOPS 65150467 HAS SOUS 23905661 HAS SOUPS 23333731 WITH SCORE 2.3413900779E7
AT ITER 106 NEW BEST:: SOT 123338885 SOS 80177699 HAS SOPS 65151407 HAS SOUS 23898793 HAS SOUPS 23326863 WITH SCORE 2.3407040699E7
AT ITER 110 NEW BEST:: SOT 123330097 SOS 80166426 HAS SOPS 65141905 HAS SOUS 23885758 HAS SOUPS 23313828 WITH SCORE 2.3393994426E7
AT ITER 126 NEW BEST:: SOT 123320542 SOS 80155187 HAS SOPS 65145850 HAS SOUS 23873544 HAS SOUPS 23301614 WITH SCORE 2.3381769187E7
AT ITER 130 NEW BEST:: SOT 123321215 SOS 80176956 HAS SOPS 65160381 HAS SOUS 23872632 HAS SOUPS 23300678 WITH SCORE 2.3380854956E7
AT ITER 152 NEW BEST:: SOT 123318336 SOS 80170919 HAS SOPS 65153513 HAS SOUS 23868559 HAS SOUPS 23296605 WITH SCORE 2.3376775919E7
AT ITER 163 NEW BEST:: SOT 123307118 SOS 80146524 HAS SOPS 65134588 HAS SOUS 23859125 HAS SOUPS 23287171 WITH SCORE 2.3367317524E7
AT ITER 188 NEW BEST:: SOT 123293757 SOS 80128385 HAS SOPS 65116729 HAS SOUS 23839703 HAS SOUPS 23267850 WITH SCORE 2.3347978385E7
AT ITER 200 NEW BEST:: SOT 123298142 SOS 80138833 HAS SOPS 65125731 HAS SOUS 23835851 HAS SOUPS 23263998 WITH SCORE 2.3344136833E7
AT ITER 204 NEW BEST:: SOT 123296549 SOS 80134106 HAS SOPS 65121951 HAS SOUS 23832692 HAS SOUPS 23260839 WITH SCORE 2.3340973106E7
AT ITER 236 NEW BEST:: SOT 123277456 SOS 80088119 HAS SOPS 65083239 HAS SOUS 23817231 HAS SOUPS 23245378 WITH SCORE 2.3325466119E7
AT ITER 238 NEW BEST:: SOT 123274557 SOS 80085661 HAS SOPS 65079072 HAS SOUS 23810631 HAS SOUPS 23238778 WITH SCORE 2.3318863661E7
AT ITER 239 NEW BEST:: SOT 123274557 SOS 80091405 HAS SOPS 65091152 HAS SOUS 23810576 HAS SOUPS 23238723 WITH SCORE 2.3318814405E7
AT ITER 245 NEW BEST:: SOT 123277806 SOS 80097622 HAS SOPS 65096623 HAS SOUS 23804014 HAS SOUPS 23231983 WITH SCORE 2.3312080622E7
AT ITER 246 NEW BEST:: SOT 123271926 SOS 80094267 HAS SOPS 65082989 HAS SOUS 23781747 HAS SOUPS 23209716 WITH SCORE 2.3289810267E7
AT ITER 250 NEW BEST:: SOT 123268869 SOS 80088749 HAS SOPS 65078598 HAS SOUS 23778368 HAS SOUPS 23206360 WITH SCORE 2.3286448749E7
AT ITER 257 NEW BEST:: SOT 123263659 SOS 80080897 HAS SOPS 65068664 HAS SOUS 23769829 HAS SOUPS 23197821 WITH SCORE 2.3277901897E7
AT ITER 260 NEW BEST:: SOT 123263659 SOS 80080834 HAS SOPS 65067804 HAS SOUS 23768119 HAS SOUPS 23196111 WITH SCORE 2.3276191834E7
AT ITER 287 NEW BEST:: SOT 123275949 SOS 80120806 HAS SOPS 65114251 HAS SOUS 23721721 HAS SOUPS 23149713 WITH SCORE 2.3229833806E7
AT ITER 308 NEW BEST:: SOT 123289975 SOS 80159838 HAS SOPS 65152905 HAS SOUS 23721632 HAS SOUPS 23149624 WITH SCORE 2.3229783838E7
AT ITER 311 NEW BEST:: SOT 123269006 SOS 80125683 HAS SOPS 65126298 HAS SOUS 23705408 HAS SOUPS 23133400 WITH SCORE 2.3213525683E7
AT ITER 319 NEW BEST:: SOT 123271041 SOS 80137075 HAS SOPS 65133581 HAS SOUS 23697055 HAS SOUPS 23125047 WITH SCORE 2.3205184075E7
AT ITER 320 NEW BEST:: SOT 123271047 SOS 80157225 HAS SOPS 65160163 HAS SOUS 23696565 HAS SOUPS 23124557 WITH SCORE 2.3204714225E7
AT ITER 330 NEW BEST:: SOT 123258286 SOS 80143964 HAS SOPS 65144752 HAS SOUS 23670275 HAS SOUPS 23098332 WITH SCORE 2.3178475964E7
AT ITER 350 NEW BEST:: SOT 123245096 SOS 80130381 HAS SOPS 65129377 HAS SOUS 23653613 HAS SOUPS 23081670 WITH SCORE 2.3161800381E7
AT ITER 352 NEW BEST:: SOT 123235726 SOS 80107032 HAS SOPS 65112486 HAS SOUS 23646444 HAS SOUPS 23074501 WITH SCORE 2.3154608032E7
AT ITER 370 NEW BEST:: SOT 123236034 SOS 80092567 HAS SOPS 65099480 HAS SOUS 23645060 HAS SOUPS 23073117 WITH SCORE 2.3153209567E7
AT ITER 384 NEW BEST:: SOT 123237920 SOS 80104775 HAS SOPS 65115265 HAS SOUS 23633005 HAS SOUPS 23061062 WITH SCORE 2.3141166775E7
AT ITER 408 NEW BEST:: SOT 123233088 SOS 80101596 HAS SOPS 65119343 HAS SOUS 23602533 HAS SOUPS 23030590 WITH SCORE 2.3110691596E7
AT ITER 420 NEW BEST:: SOT 123225036 SOS 80083935 HAS SOPS 65121177 HAS SOUS 23590089 HAS SOUPS 23018551 WITH SCORE 2.3098634935E7
AT ITER 422 NEW BEST:: SOT 123232696 SOS 80098699 HAS SOPS 65157439 HAS SOUS 23574000 HAS SOUPS 23003194 WITH SCORE 2.3083292699E7
AT ITER 430 NEW BEST:: SOT 123233596 SOS 80093375 HAS SOPS 65151878 HAS SOUS 23567712 HAS SOUPS 22996948 WITH SCORE 2.3077041375E7
AT ITER 436 NEW BEST:: SOT 123205694 SOS 80060535 HAS SOPS 65113127 HAS SOUS 23535360 HAS SOUPS 22964705 WITH SCORE 2.3044765535E7
AT ITER 437 NEW BEST:: SOT 123207444 SOS 80066248 HAS SOPS 65117273 HAS SOUS 23533616 HAS SOUPS 22962961 WITH SCORE 2.3043027248E7
AT ITER 438 NEW BEST:: SOT 123210053 SOS 80072503 HAS SOPS 65117653 HAS SOUS 23486094 HAS SOUPS 22915439 WITH SCORE 2.2995511503E7
AT ITER 443 NEW BEST:: SOT 123209805 SOS 80069451 HAS SOPS 65114595 HAS SOUS 23485836 HAS SOUPS 22915181 WITH SCORE 2.2995250451E7
AT ITER 455 NEW BEST:: SOT 123199796 SOS 80057881 HAS SOPS 65102006 HAS SOUS 23463867 HAS SOUPS 22893590 WITH SCORE 2.2973647881E7
AT ITER 464 NEW BEST:: SOT 123188919 SOS 80045879 HAS SOPS 65088660 HAS SOUS 23446699 HAS SOUPS 22876422 WITH SCORE 2.2956467879E7
AT ITER 465 NEW BEST:: SOT 123188959 SOS 80045218 HAS SOPS 65088404 HAS SOUS 23446444 HAS SOUPS 22876167 WITH SCORE 2.2956212218E7
AT ITER 467 NEW BEST:: SOT 123161433 SOS 79989933 HAS SOPS 65029982 HAS SOUS 23352366 HAS SOUPS 22782248 WITH SCORE 2.2862237933E7
AT ITER 469 NEW BEST:: SOT 123161433 SOS 79990013 HAS SOPS 65029742 HAS SOUS 23352364 HAS SOUPS 22782246 WITH SCORE 2.2862236013E7
AT ITER 470 NEW BEST:: SOT 123159746 SOS 79987260 HAS SOPS 65027454 HAS SOUS 23348196 HAS SOUPS 22778205 WITH SCORE 2.285819226E7
AT ITER 472 NEW BEST:: SOT 123166127 SOS 79985722 HAS SOPS 65053885 HAS SOUS 23326234 HAS SOUPS 22756243 WITH SCORE 2.2836228722E7
AT ITER 479 NEW BEST:: SOT 123073943 SOS 79891551 HAS SOPS 64957478 HAS SOUS 23195691 HAS SOUPS 22625700 WITH SCORE 2.2705591551E7
AT ITER 481 NEW BEST:: SOT 123074888 SOS 79894592 HAS SOPS 64958588 HAS SOUS 23191023 HAS SOUPS 22621032 WITH SCORE 2.2700926592E7
AT ITER 482 NEW BEST:: SOT 123077499 SOS 79907849 HAS SOPS 64973523 HAS SOUS 23172762 HAS SOUPS 22602771 WITH SCORE 2.2682678849E7
AT ITER 493 NEW BEST:: SOT 123076030 SOS 79906651 HAS SOPS 64971610 HAS SOUS 23169858 HAS SOUPS 22599867 WITH SCORE 2.2679773651E7
AT ITER 498 NEW BEST:: SOT 123076239 SOS 79907822 HAS SOPS 64971563 HAS SOUS 23168071 HAS SOUPS 22598080 WITH SCORE 2.2677987822E7
AT ITER 506 NEW BEST:: SOT 123068739 SOS 79900540 HAS SOPS 64965926 HAS SOUS 23145760 HAS SOUPS 22575769 WITH SCORE 2.265566954E7
AT ITER 521 NEW BEST:: SOT 123062694 SOS 79894563 HAS SOPS 64959533 HAS SOUS 23137046 HAS SOUPS 22567055 WITH SCORE 2.2646949563E7
AT ITER 550 NEW BEST:: SOT 123060178 SOS 79889860 HAS SOPS 64955866 HAS SOUS 23135663 HAS SOUPS 22565672 WITH SCORE 2.264556186E7
AT ITER 553 NEW BEST:: SOT 123021198 SOS 79840740 HAS SOPS 64903657 HAS SOUS 23074044 HAS SOUPS 22502907 WITH SCORE 2.258274774E7
AT ITER 556 NEW BEST:: SOT 123021291 SOS 79851453 HAS SOPS 64918452 HAS SOUS 23073771 HAS SOUPS 22502634 WITH SCORE 2.2582485453E7
AT ITER 582 NEW BEST:: SOT 122992376 SOS 79813912 HAS SOPS 64884378 HAS SOUS 23022516 HAS SOUPS 22451379 WITH SCORE 2.2531192912E7
AT ITER 590 NEW BEST:: SOT 123021520 SOS 79880394 HAS SOPS 64964058 HAS SOUS 23015237 HAS SOUPS 22444100 WITH SCORE 2.2523980394E7
AT ITER 594 NEW BEST:: SOT 123018656 SOS 79868383 HAS SOPS 64956462 HAS SOUS 23009326 HAS SOUPS 22438264 WITH SCORE 2.2518132383E7
AT ITER 595 NEW BEST:: SOT 123032169 SOS 79891499 HAS SOPS 64988607 HAS SOUS 23009025 HAS SOUPS 22438234 WITH SCORE 2.2518125499E7
AT ITER 605 NEW BEST:: SOT 123034923 SOS 79889550 HAS SOPS 64991442 HAS SOUS 23006205 HAS SOUPS 22435527 WITH SCORE 2.251541655E7
AT ITER 610 NEW BEST:: SOT 123031355 SOS 79885797 HAS SOPS 64983283 HAS SOUS 22997819 HAS SOUPS 22427141 WITH SCORE 2.2507026797E7
AT ITER 627 NEW BEST:: SOT 123036605 SOS 79899594 HAS SOPS 64988963 HAS SOUS 22986922 HAS SOUPS 22416244 WITH SCORE 2.2496143594E7
AT ITER 629 NEW BEST:: SOT 123034769 SOS 79896129 HAS SOPS 64983959 HAS SOUS 22978033 HAS SOUPS 22407355 WITH SCORE 2.2487251129E7
AT ITER 637 NEW BEST:: SOT 123044228 SOS 79932524 HAS SOPS 65012185 HAS SOUS 22966621 HAS SOUPS 22395943 WITH SCORE 2.2475875524E7
AT ITER 645 NEW BEST:: SOT 123049482 SOS 79949355 HAS SOPS 65025858 HAS SOUS 22964307 HAS SOUPS 22393479 WITH SCORE 2.2473428355E7
AT ITER 654 NEW BEST:: SOT 123048427 SOS 79945067 HAS SOPS 65023635 HAS SOUS 22963054 HAS SOUPS 22392226 WITH SCORE 2.2472171067E7
AT ITER 658 NEW BEST:: SOT 123047838 SOS 79946678 HAS SOPS 65020413 HAS SOUS 22947187 HAS SOUPS 22376232 WITH SCORE 2.2456178678E7
AT ITER 667 NEW BEST:: SOT 123049685 SOS 79949738 HAS SOPS 65044525 HAS SOUS 22904210 HAS SOUPS 22333255 WITH SCORE 2.2413204738E7
AT ITER 690 NEW BEST:: SOT 123049836 SOS 79980326 HAS SOPS 65098240 HAS SOUS 22903996 HAS SOUPS 22333041 WITH SCORE 2.2413021326E7
AT ITER 700 NEW BEST:: SOT 123079587 SOS 80033019 HAS SOPS 65141532 HAS SOUS 22894200 HAS SOUPS 22323245 WITH SCORE 2.2403278019E7
AT ITER 703 NEW BEST:: SOT 123079587 SOS 80032915 HAS SOPS 65140992 HAS SOUS 22894132 HAS SOUPS 22323177 WITH SCORE 2.2403209915E7
AT ITER 712 NEW BEST:: SOT 123317750 SOS 80216402 HAS SOPS 65320913 HAS SOUS 22876648 HAS SOUPS 22296386 WITH SCORE 2.2376602402E7
AT ITER 714 NEW BEST:: SOT 123317756 SOS 80234560 HAS SOPS 65347045 HAS SOUS 22876623 HAS SOUPS 22296361 WITH SCORE 2.237659556E7
AT ITER 744 NEW BEST:: SOT 123321614 SOS 80250374 HAS SOPS 65346707 HAS SOUS 22830056 HAS SOUPS 22249794 WITH SCORE 2.2330044374E7
AT ITER 750 NEW BEST:: SOT 123316142 SOS 80245270 HAS SOPS 65339717 HAS SOUS 22820421 HAS SOUPS 22240136 WITH SCORE 2.232038127E7
AT ITER 760 NEW BEST:: SOT 123290346 SOS 80219232 HAS SOPS 65312523 HAS SOUS 22791268 HAS SOUPS 22210870 WITH SCORE 2.2291089232E7
AT ITER 767 NEW BEST:: SOT 123306839 SOS 80253945 HAS SOPS 65346840 HAS SOUS 22785474 HAS SOUPS 22205076 WITH SCORE 2.2285329945E7
AT ITER 779 NEW BEST:: SOT 123306885 SOS 80253401 HAS SOPS 65346387 HAS SOUS 22785316 HAS SOUPS 22204918 WITH SCORE 2.2285171401E7
AT ITER 783 NEW BEST:: SOT 123311403 SOS 80268588 HAS SOPS 65364948 HAS SOUS 22751602 HAS SOUPS 22171204 WITH SCORE 2.2251472588E7
AT ITER 785 NEW BEST:: SOT 123311790 SOS 80278608 HAS SOPS 65377592 HAS SOUS 22751574 HAS SOUPS 22171176 WITH SCORE 2.2251454608E7
AT ITER 799 NEW BEST:: SOT 123310433 SOS 80272688 HAS SOPS 65376423 HAS SOUS 22742132 HAS SOUPS 22161734 WITH SCORE 2.2242006688E7
AT ITER 803 NEW BEST:: SOT 123311382 SOS 80287833 HAS SOPS 65390810 HAS SOUS 22733492 HAS SOUPS 22153094 WITH SCORE 2.2233381833E7
AT ITER 816 NEW BEST:: SOT 123314814 SOS 80291078 HAS SOPS 65396256 HAS SOUS 22692218 HAS SOUPS 22113877 WITH SCORE 2.2194168078E7
AT ITER 827 NEW BEST:: SOT 123292789 SOS 80268852 HAS SOPS 65371236 HAS SOUS 22638837 HAS SOUPS 22060324 WITH SCORE 2.2140592852E7
AT ITER 832 NEW BEST:: SOT 123293945 SOS 80270816 HAS SOPS 65371334 HAS SOUS 22630465 HAS SOUPS 22051952 WITH SCORE 2.2132222816E7
AT ITER 843 NEW BEST:: SOT 123295659 SOS 80274954 HAS SOPS 65374317 HAS SOUS 22629311 HAS SOUPS 22050798 WITH SCORE 2.2131072954E7
AT ITER 846 NEW BEST:: SOT 123286526 SOS 80264478 HAS SOPS 65373395 HAS SOUS 22590722 HAS SOUPS 22012209 WITH SCORE 2.2092473478E7
AT ITER 856 NEW BEST:: SOT 123271193 SOS 80230091 HAS SOPS 65352531 HAS SOUS 22577608 HAS SOUPS 21999095 WITH SCORE 2.2079325091E7
AT ITER 891 NEW BEST:: SOT 123271193 SOS 80236363 HAS SOPS 65356467 HAS SOUS 22577539 HAS SOUPS 21999026 WITH SCORE 2.2079262363E7
AT ITER 900 NEW BEST:: SOT 123240547 SOS 80206226 HAS SOPS 65324836 HAS SOUS 22532973 HAS SOUPS 21954085 WITH SCORE 2.2034291226E7
AT ITER 918 NEW BEST:: SOT 123242402 SOS 80209519 HAS SOPS 65330206 HAS SOUS 22531698 HAS SOUPS 21953194 WITH SCORE 2.2033403519E7
AT ITER 919 NEW BEST:: SOT 123238225 SOS 80203794 HAS SOPS 65322974 HAS SOUS 22522840 HAS SOUPS 21944385 WITH SCORE 2.2024588794E7
AT ITER 924 NEW BEST:: SOT 123237782 SOS 80203143 HAS SOPS 65322643 HAS SOUS 22521988 HAS SOUPS 21943533 WITH SCORE 2.2023736143E7
AT ITER 937 NEW BEST:: SOT 123237854 SOS 80203760 HAS SOPS 65322809 HAS SOUS 22521368 HAS SOUPS 21942913 WITH SCORE 2.202311676E7
AT ITER 948 NEW BEST:: SOT 123232041 SOS 80207383 HAS SOPS 65322709 HAS SOUS 22500386 HAS SOUPS 21921905 WITH SCORE 2.2002112383E7
AT ITER 956 NEW BEST:: SOT 123232062 SOS 80208964 HAS SOPS 65323682 HAS SOUS 22500306 HAS SOUPS 21921825 WITH SCORE 2.2002033964E7
AT ITER 975 NEW BEST:: SOT 123232062 SOS 80211858 HAS SOPS 65326345 HAS SOUS 22500263 HAS SOUPS 21921782 WITH SCORE 2.2001993858E7
AT ITER 987 NEW BEST:: SOT 123232396 SOS 80216299 HAS SOPS 65327877 HAS SOUS 22495927 HAS SOUPS 21917446 WITH SCORE 2.1997662299E7
AT ITER 1046 NEW BEST:: SOT 123235815 SOS 80241415 HAS SOPS 65334611 HAS SOUS 22466619 HAS SOUPS 21888138 WITH SCORE 2.1968379415E7
AT ITER 1052 NEW BEST:: SOT 123234012 SOS 80241748 HAS SOPS 65333761 HAS SOUS 22462637 HAS SOUPS 21883308 WITH SCORE 2.1963549748E7
AT ITER 1055 NEW BEST:: SOT 123246676 SOS 80262163 HAS SOPS 65360006 HAS SOUS 22455243 HAS SOUPS 21876290 WITH SCORE 2.1956552163E7
AT ITER 1069 NEW BEST:: SOT 123241547 SOS 80256747 HAS SOPS 65352489 HAS SOUS 22446515 HAS SOUPS 21867495 WITH SCORE 2.1947751747E7
AT ITER 1074 NEW BEST:: SOT 123235325 SOS 80253919 HAS SOPS 65350482 HAS SOUS 22442934 HAS SOUPS 21863914 WITH SCORE 2.1944167919E7
AT ITER 1087 NEW BEST:: SOT 123236380 SOS 80249905 HAS SOPS 65347148 HAS SOUS 22439335 HAS SOUPS 21860356 WITH SCORE 2.1940605905E7
AT ITER 1090 NEW BEST:: SOT 123230607 SOS 80246433 HAS SOPS 65339618 HAS SOUS 22423321 HAS SOUPS 21844342 WITH SCORE 2.1924588433E7
AT ITER 1108 NEW BEST:: SOT 123229445 SOS 80244968 HAS SOPS 65338023 HAS SOUS 22421298 HAS SOUPS 21842309 WITH SCORE 2.1922553968E7
AT ITER 1113 NEW BEST:: SOT 123239333 SOS 80260850 HAS SOPS 65361315 HAS SOUS 22419502 HAS SOUPS 21840657 WITH SCORE 2.192091785E7
AT ITER 1120 NEW BEST:: SOT 123256029 SOS 80292551 HAS SOPS 65379281 HAS SOUS 22414353 HAS SOUPS 21835508 WITH SCORE 2.1915800551E7
AT ITER 1141 NEW BEST:: SOT 123266229 SOS 80301943 HAS SOPS 65390136 HAS SOUS 22411135 HAS SOUPS 21832290 WITH SCORE 2.1912591943E7
AT ITER 1171 NEW BEST:: SOT 123262054 SOS 80297302 HAS SOPS 65382110 HAS SOUS 22404016 HAS SOUPS 21824826 WITH SCORE 2.1905123302E7
AT ITER 1197 NEW BEST:: SOT 123262054 SOS 80297530 HAS SOPS 65382338 HAS SOUS 22404014 HAS SOUPS 21824824 WITH SCORE 2.190512153E7
AT ITER 1216 NEW BEST:: SOT 123285266 SOS 80338811 HAS SOPS 65448218 HAS SOUS 22394113 HAS SOUPS 21814740 WITH SCORE 2.1895078811E7
AT ITER 1221 NEW BEST:: SOT 123294883 SOS 80359102 HAS SOPS 65469965 HAS SOUS 22392918 HAS SOUPS 21813545 WITH SCORE 2.1893904102E7
AT ITER 1229 NEW BEST:: SOT 123293523 SOS 80358062 HAS SOPS 65467345 HAS SOUS 22388776 HAS SOUPS 21809403 WITH SCORE 2.1889761062E7
AT ITER 1230 NEW BEST:: SOT 123298690 SOS 80370946 HAS SOPS 65480729 HAS SOUS 22383939 HAS SOUPS 21804623 WITH SCORE 2.1884993946E7
AT ITER 1240 NEW BEST:: SOT 123299199 SOS 80372736 HAS SOPS 65481966 HAS SOUS 22382107 HAS SOUPS 21802791 WITH SCORE 2.1883163736E7
AT ITER 1242 NEW BEST:: SOT 123298908 SOS 80372445 HAS SOPS 65481699 HAS SOUS 22381456 HAS SOUPS 21802164 WITH SCORE 2.1882536445E7
AT ITER 1243 NEW BEST:: SOT 123278134 SOS 80345842 HAS SOPS 65459261 HAS SOUS 22356403 HAS SOUPS 21777111 WITH SCORE 2.1857456842E7
AT ITER 1252 NEW BEST:: SOT 123257915 SOS 80326523 HAS SOPS 65431417 HAS SOUS 22326690 HAS SOUPS 21746838 WITH SCORE 2.1827164523E7
AT ITER 1254 NEW BEST:: SOT 123251693 SOS 80327519 HAS SOPS 65438169 HAS SOUS 22308453 HAS SOUPS 21728601 WITH SCORE 2.1808928519E7
AT ITER 1257 NEW BEST:: SOT 123239712 SOS 80296794 HAS SOPS 65414191 HAS SOUS 22294417 HAS SOUPS 21714961 WITH SCORE 2.1795257794E7
AT ITER 1266 NEW BEST:: SOT 123250379 SOS 80306648 HAS SOPS 65438928 HAS SOUS 22283609 HAS SOUPS 21704153 WITH SCORE 2.1784459648E7
AT ITER 1271 NEW BEST:: SOT 123251061 SOS 80307427 HAS SOPS 65439199 HAS SOUS 22282098 HAS SOUPS 21702870 WITH SCORE 2.1783177427E7
AT ITER 1284 NEW BEST:: SOT 123252182 SOS 80300651 HAS SOPS 65431670 HAS SOUS 22275812 HAS SOUPS 21696848 WITH SCORE 2.1777148651E7
AT ITER 1297 NEW BEST:: SOT 123247779 SOS 80294746 HAS SOPS 65425668 HAS SOUS 22268611 HAS SOUPS 21689678 WITH SCORE 2.1769972746E7
AT ITER 1306 NEW BEST:: SOT 123247814 SOS 80306263 HAS SOPS 65440580 HAS SOUS 22268593 HAS SOUPS 21689660 WITH SCORE 2.1769966263E7
AT ITER 1330 NEW BEST:: SOT 123244531 SOS 80297985 HAS SOPS 65433791 HAS SOUS 22264996 HAS SOUPS 21686063 WITH SCORE 2.1766360985E7
AT ITER 1334 NEW BEST:: SOT 123243554 SOS 80295674 HAS SOPS 65433855 HAS SOUS 22264025 HAS SOUPS 21685092 WITH SCORE 2.1765387674E7
AT ITER 1335 NEW BEST:: SOT 123241784 SOS 80293832 HAS SOPS 65432037 HAS SOUS 22260707 HAS SOUPS 21681774 WITH SCORE 2.1762067832E7
AT ITER 1346 NEW BEST:: SOT 123251759 SOS 80319304 HAS SOPS 65450382 HAS SOUS 22258005 HAS SOUPS 21679072 WITH SCORE 2.1759391304E7
AT ITER 1348 NEW BEST:: SOT 123252618 SOS 80325704 HAS SOPS 65456253 HAS SOUS 22252305 HAS SOUPS 21673372 WITH SCORE 2.1753697704E7
AT ITER 1352 NEW BEST:: SOT 123227304 SOS 80286767 HAS SOPS 65414913 HAS SOUS 22232529 HAS SOUPS 21653596 WITH SCORE 2.1733882767E7
AT ITER 1361 NEW BEST:: SOT 123227710 SOS 80288639 HAS SOPS 65416733 HAS SOUS 22230673 HAS SOUPS 21651717 WITH SCORE 2.1732005639E7
AT ITER 1372 NEW BEST:: SOT 123227845 SOS 80288780 HAS SOPS 65416889 HAS SOUS 22230433 HAS SOUPS 21651477 WITH SCORE 2.173176578E7
AT ITER 1383 NEW BEST:: SOT 123230798 SOS 80300543 HAS SOPS 65427958 HAS SOUS 22210676 HAS SOUPS 21631720 WITH SCORE 2.1712020543E7
AT ITER 1387 NEW BEST:: SOT 123231998 SOS 80304370 HAS SOPS 65429781 HAS SOUS 22207929 HAS SOUPS 21628973 WITH SCORE 2.170927737E7
AT ITER 1390 NEW BEST:: SOT 123320571 SOS 80480553 HAS SOPS 65578244 HAS SOUS 22161959 HAS SOUPS 21576812 WITH SCORE 2.1657292553E7
AT ITER 1392 NEW BEST:: SOT 123318285 SOS 80477025 HAS SOPS 65573611 HAS SOUS 22157339 HAS SOUPS 21572192 WITH SCORE 2.1652669025E7
AT ITER 1400 NEW BEST:: SOT 123297841 SOS 80434980 HAS SOPS 65542675 HAS SOUS 22135186 HAS SOUPS 21550743 WITH SCORE 2.163117798E7
AT ITER 1406 NEW BEST:: SOT 123301553 SOS 80494639 HAS SOPS 65599000 HAS SOUS 22132716 HAS SOUPS 21548273 WITH SCORE 2.1628767639E7
AT ITER 1411 NEW BEST:: SOT 123312970 SOS 80523479 HAS SOPS 65611992 HAS SOUS 22122168 HAS SOUPS 21537725 WITH SCORE 2.1618248479E7
AT ITER 1429 NEW BEST:: SOT 123316280 SOS 80538983 HAS SOPS 65628743 HAS SOUS 22108043 HAS SOUPS 21523600 WITH SCORE 2.1604138983E7
AT ITER 1440 NEW BEST:: SOT 123316206 SOS 80538803 HAS SOPS 65627418 HAS SOUS 22105611 HAS SOUPS 21521168 WITH SCORE 2.1601706803E7
AT ITER 1452 NEW BEST:: SOT 123311205 SOS 80533410 HAS SOPS 65617535 HAS SOUS 22088465 HAS SOUPS 21504022 WITH SCORE 2.158455541E7
AT ITER 1460 NEW BEST:: SOT 123311661 SOS 80532198 HAS SOPS 65618132 HAS SOUS 22088413 HAS SOUPS 21503970 WITH SCORE 2.1584502198E7
AT ITER 1482 NEW BEST:: SOT 123312650 SOS 80533204 HAS SOPS 65617058 HAS SOUS 22084538 HAS SOUPS 21499991 WITH SCORE 2.1580524204E7
AT ITER 1532 NEW BEST:: SOT 123311755 SOS 80530795 HAS SOPS 65615378 HAS SOUS 22084375 HAS SOUPS 21499828 WITH SCORE 2.1580358795E7
AT ITER 1536 NEW BEST:: SOT 123311638 SOS 80530691 HAS SOPS 65615404 HAS SOUS 22083139 HAS SOUPS 21498605 WITH SCORE 2.1579135691E7
AT ITER 1550 NEW BEST:: SOT 123322181 SOS 80540554 HAS SOPS 65632303 HAS SOUS 22081590 HAS SOUPS 21497056 WITH SCORE 2.1577596554E7
AT ITER 1557 NEW BEST:: SOT 123312916 SOS 80532408 HAS SOPS 65620326 HAS SOUS 22057571 HAS SOUPS 21473037 WITH SCORE 2.1553569408E7
AT ITER 1562 NEW BEST:: SOT 123312832 SOS 80532388 HAS SOPS 65620238 HAS SOUS 22057367 HAS SOUPS 21472833 WITH SCORE 2.1553365388E7
AT ITER 1563 NEW BEST:: SOT 123304674 SOS 80516484 HAS SOPS 65610692 HAS SOUS 22049497 HAS SOUPS 21464963 WITH SCORE 2.1545479484E7
AT ITER 1564 NEW BEST:: SOT 123303021 SOS 80529121 HAS SOPS 65623184 HAS SOUS 22025550 HAS SOUPS 21441421 WITH SCORE 2.1521950121E7
AT ITER 1566 NEW BEST:: SOT 123304020 SOS 80571926 HAS SOPS 65688024 HAS SOUS 22024004 HAS SOUPS 21440080 WITH SCORE 2.1520651926E7
AT ITER 1574 NEW BEST:: SOT 123304017 SOS 80571931 HAS SOPS 65688029 HAS SOUS 22023993 HAS SOUPS 21440069 WITH SCORE 2.1520640931E7
AT ITER 1579 NEW BEST:: SOT 123309776 SOS 80587121 HAS SOPS 65688415 HAS SOUS 22003366 HAS SOUPS 21419442 WITH SCORE 2.1500029121E7
AT ITER 1582 NEW BEST:: SOT 123309982 SOS 80626944 HAS SOPS 65726476 HAS SOUS 21982850 HAS SOUPS 21398926 WITH SCORE 2.1479552944E7
AT ITER 1598 NEW BEST:: SOT 123295166 SOS 80609457 HAS SOPS 65699858 HAS SOUS 21936336 HAS SOUPS 21351385 WITH SCORE 2.1431994457E7
AT ITER 1602 NEW BEST:: SOT 123295215 SOS 80614032 HAS SOPS 65706850 HAS SOUS 21936259 HAS SOUPS 21351308 WITH SCORE 2.1431922032E7
AT ITER 1603 NEW BEST:: SOT 123317240 SOS 80661590 HAS SOPS 65741612 HAS SOUS 21927747 HAS SOUPS 21342796 WITH SCORE 2.142345759E7
AT ITER 1611 NEW BEST:: SOT 123294658 SOS 80634322 HAS SOPS 65714619 HAS SOUS 21875782 HAS SOUPS 21291028 WITH SCORE 2.1371662322E7
AT ITER 1624 NEW BEST:: SOT 123294289 SOS 80633861 HAS SOPS 65714160 HAS SOUS 21874759 HAS SOUPS 21290005 WITH SCORE 2.1370638861E7
AT ITER 1636 NEW BEST:: SOT 123289580 SOS 80632037 HAS SOPS 65705696 HAS SOUS 21862939 HAS SOUPS 21278120 WITH SCORE 2.1358752037E7
AT ITER 1642 NEW BEST:: SOT 123289560 SOS 80631177 HAS SOPS 65704976 HAS SOUS 21862878 HAS SOUPS 21278059 WITH SCORE 2.1358690177E7
AT ITER 1646 NEW BEST:: SOT 123297934 SOS 80641366 HAS SOPS 65725633 HAS SOUS 21858488 HAS SOUPS 21273669 WITH SCORE 2.1354310366E7
AT ITER 1685 NEW BEST:: SOT 123298450 SOS 80642068 HAS SOPS 65727362 HAS SOUS 21857338 HAS SOUPS 21272471 WITH SCORE 2.1353113068E7
AT ITER 1690 NEW BEST:: SOT 123273680 SOS 80585967 HAS SOPS 65696651 HAS SOUS 21830778 HAS SOUPS 21245918 WITH SCORE 2.1326503967E7
AT ITER 1698 NEW BEST:: SOT 123278529 SOS 80598585 HAS SOPS 65702284 HAS SOUS 21817707 HAS SOUPS 21232847 WITH SCORE 2.1313445585E7
AT ITER 1700 NEW BEST:: SOT 123278842 SOS 80617788 HAS SOPS 65724257 HAS SOUS 21817057 HAS SOUPS 21232197 WITH SCORE 2.1312814788E7
AT ITER 1710 NEW BEST:: SOT 123286762 SOS 80637521 HAS SOPS 65739973 HAS SOUS 21815498 HAS SOUPS 21230638 WITH SCORE 2.1311275521E7
AT ITER 1717 NEW BEST:: SOT 123286358 SOS 80633159 HAS SOPS 65737366 HAS SOUS 21814425 HAS SOUPS 21229565 WITH SCORE 2.1310198159E7
AT ITER 1721 NEW BEST:: SOT 123254515 SOS 80597150 HAS SOPS 65703424 HAS SOUS 21753826 HAS SOUPS 21169170 WITH SCORE 2.124976715E7
AT ITER 1745 NEW BEST:: SOT 123289413 SOS 80667037 HAS SOPS 65753175 HAS SOUS 21737191 HAS SOUPS 21152535 WITH SCORE 2.1233202037E7
AT ITER 1758 NEW BEST:: SOT 123290275 SOS 80667785 HAS SOPS 65753110 HAS SOUS 21735165 HAS SOUPS 21149710 WITH SCORE 2.1230377785E7
AT ITER 1769 NEW BEST:: SOT 123287350 SOS 80661595 HAS SOPS 65743282 HAS SOUS 21728754 HAS SOUPS 21143233 WITH SCORE 2.1223894595E7
AT ITER 1770 NEW BEST:: SOT 123287350 SOS 80661755 HAS SOPS 65746322 HAS SOUS 21728752 HAS SOUPS 21143231 WITH SCORE 2.1223892755E7
AT ITER 1774 NEW BEST:: SOT 123285764 SOS 80664330 HAS SOPS 65753429 HAS SOUS 21691995 HAS SOUPS 21106337 WITH SCORE 2.118700133E7
AT ITER 1779 NEW BEST:: SOT 123290268 SOS 80671108 HAS SOPS 65766119 HAS SOUS 21691809 HAS SOUPS 21106151 WITH SCORE 2.1186822108E7
AT ITER 1793 NEW BEST:: SOT 123289787 SOS 80672794 HAS SOPS 65766552 HAS SOUS 21685502 HAS SOUPS 21099844 WITH SCORE 2.1180516794E7
AT ITER 1801 NEW BEST:: SOT 123285677 SOS 80665035 HAS SOPS 65755944 HAS SOUS 21681141 HAS SOUPS 21095483 WITH SCORE 2.1176148035E7
AT ITER 1802 NEW BEST:: SOT 123284386 SOS 80664505 HAS SOPS 65754025 HAS SOUS 21678748 HAS SOUPS 21092970 WITH SCORE 2.1173634505E7
AT ITER 1808 NEW BEST:: SOT 123275883 SOS 80673436 HAS SOPS 65773550 HAS SOUS 21678224 HAS SOUPS 21092446 WITH SCORE 2.1173119436E7
AT ITER 1838 NEW BEST:: SOT 123261706 SOS 80657632 HAS SOPS 65762997 HAS SOUS 21653755 HAS SOUPS 21068042 WITH SCORE 2.1148699632E7
AT ITER 1852 NEW BEST:: SOT 123261672 SOS 80655394 HAS SOPS 65761045 HAS SOUS 21653688 HAS SOUPS 21067975 WITH SCORE 2.1148630394E7
AT ITER 1869 NEW BEST:: SOT 123235442 SOS 80589964 HAS SOPS 65709590 HAS SOUS 21633313 HAS SOUPS 21046742 WITH SCORE 2.1127331964E7
AT ITER 1870 NEW BEST:: SOT 123235742 SOS 80576749 HAS SOPS 65698831 HAS SOUS 21632121 HAS SOUPS 21045550 WITH SCORE 2.1126126749E7
AT ITER 1872 NEW BEST:: SOT 123210009 SOS 80558260 HAS SOPS 65679037 HAS SOUS 21561191 HAS SOUPS 20974620 WITH SCORE 2.105517826E7
AT ITER 1876 NEW BEST:: SOT 123204961 SOS 80540501 HAS SOPS 65661642 HAS SOUS 21557616 HAS SOUPS 20971045 WITH SCORE 2.1051585501E7
AT ITER 1880 NEW BEST:: SOT 123212763 SOS 80551928 HAS SOPS 65667652 HAS SOUS 21556219 HAS SOUPS 20969648 WITH SCORE 2.1050199928E7
AT ITER 1902 NEW BEST:: SOT 123213641 SOS 80553889 HAS SOPS 65669470 HAS SOUS 21555834 HAS SOUPS 20969273 WITH SCORE 2.1049826889E7
AT ITER 1911 NEW BEST:: SOT 123213732 SOS 80566364 HAS SOPS 65686793 HAS SOUS 21555238 HAS SOUPS 20968677 WITH SCORE 2.1049243364E7
AT ITER 1920 NEW BEST:: SOT 123209316 SOS 80556966 HAS SOPS 65679682 HAS SOUS 21551602 HAS SOUPS 20965127 WITH SCORE 2.1045683966E7
AT ITER 1929 NEW BEST:: SOT 123208329 SOS 80548183 HAS SOPS 65684202 HAS SOUS 21551058 HAS SOUPS 20964583 WITH SCORE 2.1045131183E7
AT ITER 1930 NEW BEST:: SOT 123186099 SOS 80509395 HAS SOPS 65660191 HAS SOUS 21502994 HAS SOUPS 20917583 WITH SCORE 2.0998092395E7
AT ITER 1932 NEW BEST:: SOT 123179471 SOS 80503059 HAS SOPS 65652370 HAS SOUS 21491184 HAS SOUPS 20905773 WITH SCORE 2.0986276059E7
AT ITER 1935 NEW BEST:: SOT 123168942 SOS 80492013 HAS SOPS 65637128 HAS SOUS 21462241 HAS SOUPS 20876968 WITH SCORE 2.0957460013E7
AT ITER 1950 NEW BEST:: SOT 123161712 SOS 80483247 HAS SOPS 65623106 HAS SOUS 21442686 HAS SOUPS 20857478 WITH SCORE 2.0937961247E7
AT ITER 1978 NEW BEST:: SOT 123176091 SOS 80518076 HAS SOPS 65667917 HAS SOUS 21428039 HAS SOUPS 20842831 WITH SCORE 2.0923349076E7
AT ITER 1982 NEW BEST:: SOT 123174996 SOS 80516560 HAS SOPS 65665402 HAS SOUS 21424413 HAS SOUPS 20839187 WITH SCORE 2.091970356E7
AT ITER 2001 NEW BEST:: SOT 123182592 SOS 80532496 HAS SOPS 65677708 HAS SOUS 21423639 HAS SOUPS 20838413 WITH SCORE 2.0918945496E7
AT ITER 2014 NEW BEST:: SOT 123181592 SOS 80529820 HAS SOPS 65677646 HAS SOUS 21422733 HAS SOUPS 20837507 WITH SCORE 2.091803682E7
AT ITER 2018 NEW BEST:: SOT 123177497 SOS 80528871 HAS SOPS 65675927 HAS SOUS 21418826 HAS SOUPS 20833547 WITH SCORE 2.0914075871E7
AT ITER 2028 NEW BEST:: SOT 123172022 SOS 80520057 HAS SOPS 65664785 HAS SOUS 21407090 HAS SOUPS 20821859 WITH SCORE 2.0902379057E7
AT ITER 2031 NEW BEST:: SOT 123149074 SOS 80456527 HAS SOPS 65605948 HAS SOUS 21399472 HAS SOUPS 20814241 WITH SCORE 2.0894697527E7
AT ITER 2036 NEW BEST:: SOT 123141824 SOS 80440675 HAS SOPS 65598911 HAS SOUS 21398338 HAS SOUPS 20813107 WITH SCORE 2.0893547675E7
AT ITER 2039 NEW BEST:: SOT 123137275 SOS 80440173 HAS SOPS 65605350 HAS SOUS 21380004 HAS SOUPS 20794773 WITH SCORE 2.0875213173E7
AT ITER 2066 NEW BEST:: SOT 123143850 SOS 80475115 HAS SOPS 65634605 HAS SOUS 21361204 HAS SOUPS 20775973 WITH SCORE 2.0856448115E7
AT ITER 2069 NEW BEST:: SOT 123143828 SOS 80474619 HAS SOPS 65634045 HAS SOUS 21361181 HAS SOUPS 20775950 WITH SCORE 2.0856424619E7
AT ITER 2079 NEW BEST:: SOT 123135337 SOS 80465704 HAS SOPS 65622380 HAS SOUS 21344048 HAS SOUPS 20758817 WITH SCORE 2.0839282704E7
AT ITER 2088 NEW BEST:: SOT 123135354 SOS 80483949 HAS SOPS 65654652 HAS SOUS 21343963 HAS SOUPS 20758732 WITH SCORE 2.0839215949E7
AT ITER 2105 NEW BEST:: SOT 123127205 SOS 80462488 HAS SOPS 65632815 HAS SOUS 21300616 HAS SOUPS 20715857 WITH SCORE 2.0796319488E7
AT ITER 2133 NEW BEST:: SOT 123126853 SOS 80461200 HAS SOPS 65633179 HAS SOUS 21300010 HAS SOUPS 20715251 WITH SCORE 2.07957122E7
AT ITER 2138 NEW BEST:: SOT 123127094 SOS 80491901 HAS SOPS 65668023 HAS SOUS 21299345 HAS SOUPS 20714586 WITH SCORE 2.0795077901E7
AT ITER 2150 NEW BEST:: SOT 123130660 SOS 80502351 HAS SOPS 65686810 HAS SOUS 21298194 HAS SOUPS 20713435 WITH SCORE 2.0793937351E7
AT ITER 2162 NEW BEST:: SOT 123126103 SOS 80499754 HAS SOPS 65677663 HAS SOUS 21265206 HAS SOUPS 20680447 WITH SCORE 2.0760946754E7
AT ITER 2195 NEW BEST:: SOT 123122417 SOS 80497396 HAS SOPS 65670941 HAS SOUS 21250191 HAS SOUPS 20665318 WITH SCORE 2.0745815396E7
AT ITER 2202 NEW BEST:: SOT 123107863 SOS 80501026 HAS SOPS 65714216 HAS SOUS 21248806 HAS SOUPS 20663933 WITH SCORE 2.0744434026E7
AT ITER 2206 NEW BEST:: SOT 123109711 SOS 80507008 HAS SOPS 65717963 HAS SOUS 21247402 HAS SOUPS 20662529 WITH SCORE 2.0743036008E7
AT ITER 2208 NEW BEST:: SOT 123109711 SOS 80516850 HAS SOPS 65730349 HAS SOUS 21247167 HAS SOUPS 20662294 WITH SCORE 2.074281085E7
AT ITER 2233 NEW BEST:: SOT 123069859 SOS 80481186 HAS SOPS 65696699 HAS SOUS 21200514 HAS SOUPS 20615641 WITH SCORE 2.0696122186E7
AT ITER 2240 NEW BEST:: SOT 123078414 SOS 80504780 HAS SOPS 65714897 HAS SOUS 21192907 HAS SOUPS 20608034 WITH SCORE 2.068853878E7
AT ITER 2266 NEW BEST:: SOT 123070437 SOS 80495816 HAS SOPS 65701637 HAS SOUS 21174808 HAS SOUPS 20589935 WITH SCORE 2.0670430816E7
AT ITER 2279 NEW BEST:: SOT 123054038 SOS 80475245 HAS SOPS 65686222 HAS SOUS 21130871 HAS SOUPS 20546582 WITH SCORE 2.0627057245E7
AT ITER 2280 NEW BEST:: SOT 123048484 SOS 80469280 HAS SOPS 65674331 HAS SOUS 21110922 HAS SOUPS 20526502 WITH SCORE 2.060697128E7
AT ITER 2284 NEW BEST:: SOT 123043916 SOS 80461986 HAS SOPS 65667573 HAS SOUS 21105469 HAS SOUPS 20521238 WITH SCORE 2.0601699986E7
AT ITER 2294 NEW BEST:: SOT 123038624 SOS 80456694 HAS SOPS 65662065 HAS SOUS 21101341 HAS SOUPS 20517110 WITH SCORE 2.0597566694E7
AT ITER 2296 NEW BEST:: SOT 123038486 SOS 80467905 HAS SOPS 65680556 HAS SOUS 21101092 HAS SOUPS 20516861 WITH SCORE 2.0597328905E7
AT ITER 2297 NEW BEST:: SOT 123041740 SOS 80461164 HAS SOPS 65695321 HAS SOUS 21094896 HAS SOUPS 20511654 WITH SCORE 2.0592115164E7
AT ITER 2305 NEW BEST:: SOT 123043458 SOS 80466540 HAS SOPS 65699226 HAS SOUS 21090919 HAS SOUPS 20507587 WITH SCORE 2.058805354E7
AT ITER 2306 NEW BEST:: SOT 123043458 SOS 80467247 HAS SOPS 65714013 HAS SOUS 21090843 HAS SOUPS 20507511 WITH SCORE 2.0587978247E7
AT ITER 2346 NEW BEST:: SOT 123043928 SOS 80468230 HAS SOPS 65713978 HAS SOUS 21083245 HAS SOUPS 20499913 WITH SCORE 2.058038123E7
AT ITER 2370 NEW BEST:: SOT 123049266 SOS 80456135 HAS SOPS 65713474 HAS SOUS 21073516 HAS SOUPS 20491076 WITH SCORE 2.0571532135E7
AT ITER 2385 NEW BEST:: SOT 123053192 SOS 80496783 HAS SOPS 65805890 HAS SOUS 21069500 HAS SOUPS 20487522 WITH SCORE 2.0568018783E7
AT ITER 2387 NEW BEST:: SOT 123052774 SOS 80496311 HAS SOPS 65805474 HAS SOUS 21069236 HAS SOUPS 20487258 WITH SCORE 2.0567754311E7
AT ITER 2395 NEW BEST:: SOT 123047742 SOS 80492743 HAS SOPS 65800442 HAS SOUS 21047674 HAS SOUPS 20465564 WITH SCORE 2.0546056743E7
AT ITER 2404 NEW BEST:: SOT 123023846 SOS 80466970 HAS SOPS 65758250 HAS SOUS 21011123 HAS SOUPS 20426336 WITH SCORE 2.050680297E7
AT ITER 2407 NEW BEST:: SOT 123029847 SOS 80473148 HAS SOPS 65787988 HAS SOUS 20990056 HAS SOUPS 20405693 WITH SCORE 2.0486166148E7
AT ITER 2408 NEW BEST:: SOT 123030396 SOS 80471304 HAS SOPS 65787948 HAS SOUS 20988977 HAS SOUPS 20404640 WITH SCORE 2.0485111304E7
AT ITER 2418 NEW BEST:: SOT 123024868 SOS 80461240 HAS SOPS 65777425 HAS SOUS 20974088 HAS SOUPS 20389856 WITH SCORE 2.047031724E7
AT ITER 2420 NEW BEST:: SOT 123028009 SOS 80470509 HAS SOPS 65786208 HAS SOUS 20961610 HAS SOUPS 20377378 WITH SCORE 2.0457848509E7
AT ITER 2457 NEW BEST:: SOT 123016892 SOS 80448092 HAS SOPS 65771406 HAS SOUS 20955197 HAS SOUPS 20370965 WITH SCORE 2.0451413092E7
AT ITER 2466 NEW BEST:: SOT 123015779 SOS 80447060 HAS SOPS 65770214 HAS SOUS 20953283 HAS SOUPS 20369051 WITH SCORE 2.044949806E7
AT ITER 2474 NEW BEST:: SOT 123014492 SOS 80446169 HAS SOPS 65768375 HAS SOUS 20950872 HAS SOUPS 20366640 WITH SCORE 2.0447086169E7
AT ITER 2495 NEW BEST:: SOT 123011153 SOS 80442830 HAS SOPS 65765036 HAS SOUS 20947917 HAS SOUPS 20363685 WITH SCORE 2.044412783E7
AT ITER 2512 NEW BEST:: SOT 123011153 SOS 80442782 HAS SOPS 65769980 HAS SOUS 20947828 HAS SOUPS 20363596 WITH SCORE 2.0444038782E7
AT ITER 2520 NEW BEST:: SOT 123011483 SOS 80440018 HAS SOPS 65767035 HAS SOUS 20946770 HAS SOUPS 20362538 WITH SCORE 2.0442978018E7
AT ITER 2524 NEW BEST:: SOT 123008029 SOS 80436821 HAS SOPS 65760416 HAS SOUS 20935215 HAS SOUPS 20350966 WITH SCORE 2.0431402821E7
AT ITER 2525 NEW BEST:: SOT 123015066 SOS 80454706 HAS SOPS 65771892 HAS SOUS 20929155 HAS SOUPS 20344906 WITH SCORE 2.0425360706E7
AT ITER 2534 NEW BEST:: SOT 123046517 SOS 80518710 HAS SOPS 65819066 HAS SOUS 20920050 HAS SOUPS 20335506 WITH SCORE 2.041602471E7
AT ITER 2541 NEW BEST:: SOT 123046517 SOS 80531226 HAS SOPS 65844254 HAS SOUS 20919819 HAS SOUPS 20335275 WITH SCORE 2.0415806226E7
AT ITER 2547 NEW BEST:: SOT 123054304 SOS 80545950 HAS SOPS 65862839 HAS SOUS 20913169 HAS SOUPS 20328424 WITH SCORE 2.040896995E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 15444556 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16076392 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="RERS17pb115-PT-6"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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-5348"
echo " Executing tool smart"
echo " Input is RERS17pb115-PT-6, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r323-tall-167889194400192"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb115-PT-6.tgz
mv RERS17pb115-PT-6 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;