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-167889194300176.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-4, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r323-tall-167889194300176
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 70M
-rw-r--r-- 1 mcc users 6.4K Feb 25 13:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 70K Feb 25 13:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 25 13:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 35K Feb 25 13:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:39 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:39 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Feb 25 16:39 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:39 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 14:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 120K Feb 25 14:07 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K Feb 25 14:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 81K Feb 25 14:01 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 1679484365212

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-4
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb115 (PT), instance 4
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 5 NEW BEST:: SOT 123445770 SOS 80237061 HAS SOPS 65218750 HAS SOUS 24077327 HAS SOUPS 23504587 WITH SCORE 2.3584824061E7
AT ITER 11 NEW BEST:: SOT 123458970 SOS 80265130 HAS SOPS 65247465 HAS SOUS 24062660 HAS SOUPS 23489920 WITH SCORE 2.357018513E7
AT ITER 14 NEW BEST:: SOT 123435718 SOS 80235187 HAS SOPS 65225799 HAS SOUS 24025546 HAS SOUPS 23452806 WITH SCORE 2.3533041187E7
AT ITER 16 NEW BEST:: SOT 123435718 SOS 80250115 HAS SOPS 65252247 HAS SOUS 24025511 HAS SOUPS 23452771 WITH SCORE 2.3533021115E7
AT ITER 22 NEW BEST:: SOT 123430066 SOS 80248653 HAS SOPS 65237849 HAS SOUS 23993237 HAS SOUPS 23420471 WITH SCORE 2.3500719653E7
AT ITER 26 NEW BEST:: SOT 123427803 SOS 80243817 HAS SOPS 65233458 HAS SOUS 23990262 HAS SOUPS 23417496 WITH SCORE 2.3497739817E7
AT ITER 29 NEW BEST:: SOT 123416991 SOS 80229419 HAS SOPS 65222879 HAS SOUS 23964582 HAS SOUPS 23392164 WITH SCORE 2.3472393419E7
AT ITER 37 NEW BEST:: SOT 123412927 SOS 80231454 HAS SOPS 65223685 HAS SOUS 23946748 HAS SOUPS 23374330 WITH SCORE 2.3454561454E7
AT ITER 45 NEW BEST:: SOT 123410744 SOS 80226267 HAS SOPS 65218979 HAS SOUS 23925229 HAS SOUPS 23352811 WITH SCORE 2.3433037267E7
AT ITER 64 NEW BEST:: SOT 123406049 SOS 80219724 HAS SOPS 65212586 HAS SOUS 23910333 HAS SOUPS 23338536 WITH SCORE 2.3418755724E7
AT ITER 71 NEW BEST:: SOT 123402505 SOS 80213375 HAS SOPS 65208418 HAS SOUS 23905225 HAS SOUPS 23333428 WITH SCORE 2.3413641375E7
AT ITER 116 NEW BEST:: SOT 123395384 SOS 80210153 HAS SOPS 65204403 HAS SOUS 23882089 HAS SOUPS 23310187 WITH SCORE 2.3390397153E7
AT ITER 140 NEW BEST:: SOT 123414899 SOS 80257435 HAS SOPS 65232136 HAS SOUS 23881682 HAS SOUPS 23309751 WITH SCORE 2.3390008435E7
AT ITER 145 NEW BEST:: SOT 123413117 SOS 80249935 HAS SOPS 65229105 HAS SOUS 23874627 HAS SOUPS 23302951 WITH SCORE 2.3383200935E7
AT ITER 165 NEW BEST:: SOT 123409808 SOS 80247920 HAS SOPS 65223167 HAS SOUS 23861806 HAS SOUPS 23290130 WITH SCORE 2.337037792E7
AT ITER 189 NEW BEST:: SOT 123405210 SOS 80246303 HAS SOPS 65216930 HAS SOUS 23848947 HAS SOUPS 23277243 WITH SCORE 2.3357489303E7
AT ITER 195 NEW BEST:: SOT 123405188 SOS 80245215 HAS SOPS 65216058 HAS SOUS 23846852 HAS SOUPS 23275148 WITH SCORE 2.3355393215E7
AT ITER 204 NEW BEST:: SOT 123407623 SOS 80248554 HAS SOPS 65222053 HAS SOUS 23836004 HAS SOUPS 23264346 WITH SCORE 2.3344594554E7
AT ITER 234 NEW BEST:: SOT 123406325 SOS 80246166 HAS SOPS 65219762 HAS SOUS 23834759 HAS SOUPS 23263101 WITH SCORE 2.3343347166E7
AT ITER 239 NEW BEST:: SOT 123394169 SOS 80233151 HAS SOPS 65211141 HAS SOUS 23800592 HAS SOUPS 23229521 WITH SCORE 2.3309754151E7
AT ITER 243 NEW BEST:: SOT 123389069 SOS 80229905 HAS SOPS 65207805 HAS SOUS 23788358 HAS SOUPS 23217287 WITH SCORE 2.3297516905E7
AT ITER 256 NEW BEST:: SOT 123351195 SOS 80191994 HAS SOPS 65169894 HAS SOUS 23714766 HAS SOUPS 23143695 WITH SCORE 2.3223886994E7
AT ITER 257 NEW BEST:: SOT 123343622 SOS 80182524 HAS SOPS 65157814 HAS SOUS 23702716 HAS SOUPS 23131645 WITH SCORE 2.3211827524E7
AT ITER 272 NEW BEST:: SOT 123342861 SOS 80182157 HAS SOPS 65159725 HAS SOUS 23698375 HAS SOUPS 23127391 WITH SCORE 2.3207573157E7
AT ITER 276 NEW BEST:: SOT 123333270 SOS 80169800 HAS SOPS 65145814 HAS SOUS 23683114 HAS SOUPS 23112168 WITH SCORE 2.31923378E7
AT ITER 279 NEW BEST:: SOT 123358786 SOS 80215073 HAS SOPS 65211037 HAS SOUS 23636551 HAS SOUPS 23065297 WITH SCORE 2.3145512073E7
AT ITER 290 NEW BEST:: SOT 123415283 SOS 80334918 HAS SOPS 65334227 HAS SOUS 23627835 HAS SOUPS 23056581 WITH SCORE 2.3136915918E7
AT ITER 310 NEW BEST:: SOT 123357331 SOS 80215412 HAS SOPS 65236920 HAS SOUS 23561633 HAS SOUPS 22990379 WITH SCORE 2.3070594412E7
AT ITER 316 NEW BEST:: SOT 123358518 SOS 80217206 HAS SOPS 65242762 HAS SOUS 23561347 HAS SOUPS 22990093 WITH SCORE 2.3070310206E7
AT ITER 318 NEW BEST:: SOT 123368911 SOS 80235117 HAS SOPS 65259933 HAS SOUS 23560836 HAS SOUPS 22989714 WITH SCORE 2.3069949117E7
AT ITER 331 NEW BEST:: SOT 123368874 SOS 80232922 HAS SOPS 65258622 HAS SOUS 23558901 HAS SOUPS 22987779 WITH SCORE 2.3068011922E7
AT ITER 359 NEW BEST:: SOT 123370726 SOS 80239684 HAS SOPS 65265214 HAS SOUS 23549585 HAS SOUPS 22978463 WITH SCORE 2.3058702684E7
AT ITER 366 NEW BEST:: SOT 123339686 SOS 80210803 HAS SOPS 65238965 HAS SOUS 23490961 HAS SOUPS 22919839 WITH SCORE 2.3000049803E7
AT ITER 371 NEW BEST:: SOT 123345456 SOS 80224609 HAS SOPS 65255778 HAS SOUS 23490285 HAS SOUPS 22919104 WITH SCORE 2.2999328609E7
AT ITER 376 NEW BEST:: SOT 123337075 SOS 80214653 HAS SOPS 65244290 HAS SOUS 23474082 HAS SOUPS 22902962 WITH SCORE 2.2983176653E7
AT ITER 410 NEW BEST:: SOT 123328198 SOS 80198357 HAS SOPS 65230279 HAS SOUS 23464460 HAS SOUPS 22893495 WITH SCORE 2.2973693357E7
AT ITER 418 NEW BEST:: SOT 123327985 SOS 80200906 HAS SOPS 65230653 HAS SOUS 23461015 HAS SOUPS 22890050 WITH SCORE 2.2970250906E7
AT ITER 420 NEW BEST:: SOT 123297719 SOS 80154863 HAS SOPS 65199869 HAS SOUS 23403679 HAS SOUPS 22835200 WITH SCORE 2.2915354863E7
AT ITER 427 NEW BEST:: SOT 123222211 SOS 80078875 HAS SOPS 65124142 HAS SOUS 23301792 HAS SOUPS 22733459 WITH SCORE 2.2813537875E7
AT ITER 434 NEW BEST:: SOT 123189988 SOS 80035870 HAS SOPS 65081556 HAS SOUS 23254983 HAS SOUPS 22686223 WITH SCORE 2.276625887E7
AT ITER 466 NEW BEST:: SOT 123186649 SOS 80029135 HAS SOPS 65080857 HAS SOUS 23253645 HAS SOUPS 22684885 WITH SCORE 2.2764914135E7
AT ITER 472 NEW BEST:: SOT 123168904 SOS 80007318 HAS SOPS 65055362 HAS SOUS 23231173 HAS SOUPS 22662413 WITH SCORE 2.2742420318E7
AT ITER 483 NEW BEST:: SOT 123216332 SOS 80116713 HAS SOPS 65152415 HAS SOUS 23221292 HAS SOUPS 22652532 WITH SCORE 2.2732648713E7
AT ITER 489 NEW BEST:: SOT 123217147 SOS 80131469 HAS SOPS 65160549 HAS SOUS 23210041 HAS SOUPS 22641281 WITH SCORE 2.2721412469E7
AT ITER 493 NEW BEST:: SOT 123226049 SOS 80152282 HAS SOPS 65168272 HAS SOUS 23195640 HAS SOUPS 22626880 WITH SCORE 2.2707032282E7
AT ITER 500 NEW BEST:: SOT 123250117 SOS 80176318 HAS SOPS 65192316 HAS SOUS 23182932 HAS SOUPS 22614184 WITH SCORE 2.2694360318E7
AT ITER 511 NEW BEST:: SOT 123257664 SOS 80184332 HAS SOPS 65217830 HAS SOUS 23169666 HAS SOUPS 22600918 WITH SCORE 2.2681102332E7
AT ITER 517 NEW BEST:: SOT 123246783 SOS 80162857 HAS SOPS 65199903 HAS SOUS 23161510 HAS SOUPS 22592762 WITH SCORE 2.2672924857E7
AT ITER 545 NEW BEST:: SOT 123276316 SOS 80217866 HAS SOPS 65263561 HAS SOUS 23145386 HAS SOUPS 22576919 WITH SCORE 2.2657136866E7
AT ITER 553 NEW BEST:: SOT 123276211 SOS 80221315 HAS SOPS 65266905 HAS SOUS 23145100 HAS SOUPS 22576633 WITH SCORE 2.2656854315E7
AT ITER 557 NEW BEST:: SOT 123276211 SOS 80231795 HAS SOPS 65282281 HAS SOUS 23144862 HAS SOUPS 22576395 WITH SCORE 2.2656626795E7
AT ITER 579 NEW BEST:: SOT 123253009 SOS 80208593 HAS SOPS 65258863 HAS SOUS 23112524 HAS SOUPS 22544057 WITH SCORE 2.2624265593E7
AT ITER 584 NEW BEST:: SOT 123279914 SOS 80249480 HAS SOPS 65296631 HAS SOUS 23110564 HAS SOUPS 22542097 WITH SCORE 2.262234648E7
AT ITER 585 NEW BEST:: SOT 123279300 SOS 80248951 HAS SOPS 65296627 HAS SOUS 23102902 HAS SOUPS 22534814 WITH SCORE 2.2615062951E7
AT ITER 588 NEW BEST:: SOT 123278402 SOS 80251067 HAS SOPS 65304852 HAS SOUS 23102289 HAS SOUPS 22534201 WITH SCORE 2.2614452067E7
AT ITER 597 NEW BEST:: SOT 123278400 SOS 80254653 HAS SOPS 65314964 HAS SOUS 23102223 HAS SOUPS 22534135 WITH SCORE 2.2614389653E7
AT ITER 598 NEW BEST:: SOT 123268572 SOS 80253354 HAS SOPS 65306420 HAS SOUS 23080147 HAS SOUPS 22511902 WITH SCORE 2.2592155354E7
AT ITER 609 NEW BEST:: SOT 123240403 SOS 80225065 HAS SOPS 65277167 HAS SOUS 23048303 HAS SOUPS 22480094 WITH SCORE 2.2560319065E7
AT ITER 612 NEW BEST:: SOT 123245920 SOS 80246421 HAS SOPS 65301106 HAS SOUS 23041535 HAS SOUPS 22473326 WITH SCORE 2.2553572421E7
AT ITER 613 NEW BEST:: SOT 123238053 SOS 80238643 HAS SOPS 65293225 HAS SOUS 23023061 HAS SOUPS 22454852 WITH SCORE 2.2535090643E7
AT ITER 632 NEW BEST:: SOT 123287439 SOS 80355890 HAS SOPS 65401364 HAS SOUS 23001791 HAS SOUPS 22433582 WITH SCORE 2.251393789E7
AT ITER 636 NEW BEST:: SOT 123285982 SOS 80357492 HAS SOPS 65397355 HAS SOUS 22995664 HAS SOUPS 22427455 WITH SCORE 2.2507812492E7
AT ITER 638 NEW BEST:: SOT 123280437 SOS 80350919 HAS SOPS 65388384 HAS SOUS 22984979 HAS SOUPS 22416770 WITH SCORE 2.2497120919E7
AT ITER 642 NEW BEST:: SOT 123287282 SOS 80357433 HAS SOPS 65392164 HAS SOUS 22979750 HAS SOUPS 22411541 WITH SCORE 2.2491898433E7
AT ITER 645 NEW BEST:: SOT 123286472 SOS 80354504 HAS SOPS 65389221 HAS SOUS 22976365 HAS SOUPS 22408156 WITH SCORE 2.2488510504E7
AT ITER 657 NEW BEST:: SOT 123263030 SOS 80327380 HAS SOPS 65357667 HAS SOUS 22955343 HAS SOUPS 22387018 WITH SCORE 2.246734538E7
AT ITER 658 NEW BEST:: SOT 123276209 SOS 80346268 HAS SOPS 65367089 HAS SOUS 22950085 HAS SOUPS 22381460 WITH SCORE 2.2461806268E7
AT ITER 662 NEW BEST:: SOT 123264396 SOS 80328824 HAS SOPS 65350775 HAS SOUS 22942694 HAS SOUPS 22374098 WITH SCORE 2.2454426824E7
AT ITER 684 NEW BEST:: SOT 123270749 SOS 80349694 HAS SOPS 65363698 HAS SOUS 22912619 HAS SOUPS 22344023 WITH SCORE 2.2424372694E7
AT ITER 695 NEW BEST:: SOT 123254325 SOS 80331034 HAS SOPS 65350359 HAS SOUS 22893702 HAS SOUPS 22325106 WITH SCORE 2.2405437034E7
AT ITER 703 NEW BEST:: SOT 123249975 SOS 80325699 HAS SOPS 65344478 HAS SOUS 22888370 HAS SOUPS 22319774 WITH SCORE 2.2400099699E7
AT ITER 704 NEW BEST:: SOT 123244010 SOS 80319253 HAS SOPS 65336878 HAS SOUS 22872278 HAS SOUPS 22303682 WITH SCORE 2.2384001253E7
AT ITER 706 NEW BEST:: SOT 123244809 SOS 80324840 HAS SOPS 65339179 HAS SOUS 22866788 HAS SOUPS 22298115 WITH SCORE 2.237843984E7
AT ITER 710 NEW BEST:: SOT 123243352 SOS 80322792 HAS SOPS 65343965 HAS SOUS 22863289 HAS SOUPS 22294616 WITH SCORE 2.2374938792E7
AT ITER 723 NEW BEST:: SOT 123241800 SOS 80320516 HAS SOPS 65341869 HAS SOUS 22860850 HAS SOUPS 22292186 WITH SCORE 2.2372506516E7
AT ITER 733 NEW BEST:: SOT 123236872 SOS 80322617 HAS SOPS 65350235 HAS SOUS 22829081 HAS SOUPS 22260508 WITH SCORE 2.2340830617E7
AT ITER 734 NEW BEST:: SOT 123254635 SOS 80388531 HAS SOPS 65425154 HAS SOUS 22816708 HAS SOUPS 22248135 WITH SCORE 2.2328523531E7
AT ITER 749 NEW BEST:: SOT 123276584 SOS 80449571 HAS SOPS 65474027 HAS SOUS 22805900 HAS SOUPS 22237327 WITH SCORE 2.2317776571E7
AT ITER 755 NEW BEST:: SOT 123273912 SOS 80455973 HAS SOPS 65472836 HAS SOUS 22796094 HAS SOUPS 22227521 WITH SCORE 2.2307976973E7
AT ITER 762 NEW BEST:: SOT 123277215 SOS 80457695 HAS SOPS 65486550 HAS SOUS 22756668 HAS SOUPS 22188578 WITH SCORE 2.2269035695E7
AT ITER 763 NEW BEST:: SOT 123316718 SOS 80514733 HAS SOPS 65537431 HAS SOUS 22743265 HAS SOUPS 22172925 WITH SCORE 2.2253439733E7
AT ITER 772 NEW BEST:: SOT 123316685 SOS 80515619 HAS SOPS 65536483 HAS SOUS 22740761 HAS SOUPS 22170421 WITH SCORE 2.2250936619E7
AT ITER 776 NEW BEST:: SOT 123302792 SOS 80500268 HAS SOPS 65527701 HAS SOUS 22738196 HAS SOUPS 22167932 WITH SCORE 2.2248432268E7
AT ITER 780 NEW BEST:: SOT 123302792 SOS 80506680 HAS SOPS 65534091 HAS SOUS 22738121 HAS SOUPS 22167857 WITH SCORE 2.224836368E7
AT ITER 783 NEW BEST:: SOT 123277903 SOS 80462133 HAS SOPS 65501467 HAS SOUS 22726062 HAS SOUPS 22155895 WITH SCORE 2.2236357133E7
AT ITER 795 NEW BEST:: SOT 123269044 SOS 80432973 HAS SOPS 65475587 HAS SOUS 22723017 HAS SOUPS 22152850 WITH SCORE 2.2233282973E7
AT ITER 816 NEW BEST:: SOT 123280523 SOS 80464051 HAS SOPS 65500031 HAS SOUS 22681044 HAS SOUPS 22110877 WITH SCORE 2.2191341051E7
AT ITER 819 NEW BEST:: SOT 123275863 SOS 80456529 HAS SOPS 65493560 HAS SOUS 22669439 HAS SOUPS 22099272 WITH SCORE 2.2179728529E7
AT ITER 820 NEW BEST:: SOT 123275923 SOS 80468577 HAS SOPS 65506968 HAS SOUS 22669086 HAS SOUPS 22098919 WITH SCORE 2.2179387577E7
AT ITER 823 NEW BEST:: SOT 123275861 SOS 80468515 HAS SOPS 65506906 HAS SOUS 22668960 HAS SOUPS 22098793 WITH SCORE 2.2179261515E7
AT ITER 832 NEW BEST:: SOT 123276942 SOS 80474060 HAS SOPS 65512019 HAS SOUS 22665132 HAS SOUPS 22094965 WITH SCORE 2.217543906E7
AT ITER 845 NEW BEST:: SOT 123274387 SOS 80471505 HAS SOPS 65507288 HAS SOUS 22662979 HAS SOUPS 22092684 WITH SCORE 2.2173155505E7
AT ITER 861 NEW BEST:: SOT 123275977 SOS 80474150 HAS SOPS 65507718 HAS SOUS 22662798 HAS SOUPS 22092503 WITH SCORE 2.217297715E7
AT ITER 862 NEW BEST:: SOT 123273245 SOS 80471370 HAS SOPS 65504156 HAS SOUS 22658121 HAS SOUPS 22087836 WITH SCORE 2.216830737E7
AT ITER 867 NEW BEST:: SOT 123267709 SOS 80463470 HAS SOPS 65494921 HAS SOUS 22647598 HAS SOUPS 22077387 WITH SCORE 2.215785047E7
AT ITER 875 NEW BEST:: SOT 123268635 SOS 80467857 HAS SOPS 65500735 HAS SOUS 22646432 HAS SOUPS 22076221 WITH SCORE 2.2156688857E7
AT ITER 876 NEW BEST:: SOT 123246409 SOS 80427185 HAS SOPS 65464871 HAS SOUS 22627711 HAS SOUPS 22057672 WITH SCORE 2.2138099185E7
AT ITER 888 NEW BEST:: SOT 123250341 SOS 80436100 HAS SOPS 65471631 HAS SOUS 22623412 HAS SOUPS 22053373 WITH SCORE 2.21338091E7
AT ITER 896 NEW BEST:: SOT 123250285 SOS 80431084 HAS SOPS 65463487 HAS SOUS 22623356 HAS SOUPS 22053317 WITH SCORE 2.2133748084E7
AT ITER 922 NEW BEST:: SOT 123243128 SOS 80410600 HAS SOPS 65448130 HAS SOUS 22621128 HAS SOUPS 22051089 WITH SCORE 2.21314996E7
AT ITER 925 NEW BEST:: SOT 123253070 SOS 80415655 HAS SOPS 65461649 HAS SOUS 22612970 HAS SOUPS 22043508 WITH SCORE 2.2123923655E7
AT ITER 927 NEW BEST:: SOT 123272411 SOS 80487589 HAS SOPS 65526404 HAS SOUS 22612787 HAS SOUPS 22043325 WITH SCORE 2.2123812589E7
AT ITER 929 NEW BEST:: SOT 123272629 SOS 80504274 HAS SOPS 65539756 HAS SOUS 22598133 HAS SOUPS 22028671 WITH SCORE 2.2109175274E7
AT ITER 946 NEW BEST:: SOT 123203924 SOS 80430491 HAS SOPS 65466655 HAS SOUS 22462615 HAS SOUPS 21893134 WITH SCORE 2.1973564491E7
AT ITER 949 NEW BEST:: SOT 123196190 SOS 80413706 HAS SOPS 65476416 HAS SOUS 22414295 HAS SOUPS 21844858 WITH SCORE 2.1925271706E7
AT ITER 997 NEW BEST:: SOT 123199372 SOS 80423096 HAS SOPS 65486137 HAS SOUS 22404780 HAS SOUPS 21835444 WITH SCORE 2.1915867096E7
AT ITER 1015 NEW BEST:: SOT 123194668 SOS 80418136 HAS SOPS 65479609 HAS SOUS 22396940 HAS SOUPS 21827604 WITH SCORE 2.1908022136E7
AT ITER 1016 NEW BEST:: SOT 123242527 SOS 80508370 HAS SOPS 65571840 HAS SOUS 22387560 HAS SOUPS 21818224 WITH SCORE 2.189873237E7
AT ITER 1017 NEW BEST:: SOT 123242504 SOS 80508798 HAS SOPS 65572238 HAS SOUS 22387504 HAS SOUPS 21818168 WITH SCORE 2.1898676798E7
AT ITER 1028 NEW BEST:: SOT 123229266 SOS 80491791 HAS SOPS 65549474 HAS SOUS 22333427 HAS SOUPS 21764302 WITH SCORE 2.1844793791E7
AT ITER 1037 NEW BEST:: SOT 123230016 SOS 80490605 HAS SOPS 65556521 HAS SOUS 22330338 HAS SOUPS 21761363 WITH SCORE 2.1841853605E7
AT ITER 1041 NEW BEST:: SOT 123222652 SOS 80493029 HAS SOPS 65549885 HAS SOUS 22300416 HAS SOUPS 21731441 WITH SCORE 2.1811934029E7
AT ITER 1053 NEW BEST:: SOT 123222620 SOS 80496638 HAS SOPS 65553708 HAS SOUS 22296861 HAS SOUPS 21727886 WITH SCORE 2.1808382638E7
AT ITER 1061 NEW BEST:: SOT 123202693 SOS 80475919 HAS SOPS 65541510 HAS SOUS 22256861 HAS SOUPS 21688176 WITH SCORE 2.1768651919E7
AT ITER 1062 NEW BEST:: SOT 123190811 SOS 80456579 HAS SOPS 65520267 HAS SOUS 22231144 HAS SOUPS 21662459 WITH SCORE 2.1742915579E7
AT ITER 1064 NEW BEST:: SOT 123184241 SOS 80450412 HAS SOPS 65512796 HAS SOUS 22212858 HAS SOUPS 21644309 WITH SCORE 2.1724759412E7
AT ITER 1066 NEW BEST:: SOT 123182622 SOS 80459620 HAS SOPS 65551897 HAS SOUS 22210179 HAS SOUPS 21641630 WITH SCORE 2.172208962E7
AT ITER 1073 NEW BEST:: SOT 123155118 SOS 80430257 HAS SOPS 65521926 HAS SOUS 22176542 HAS SOUPS 21608108 WITH SCORE 2.1688538257E7
AT ITER 1105 NEW BEST:: SOT 123147021 SOS 80422098 HAS SOPS 65513573 HAS SOUS 22166973 HAS SOUPS 21598555 WITH SCORE 2.1678977098E7
AT ITER 1118 NEW BEST:: SOT 123145944 SOS 80421165 HAS SOPS 65512060 HAS SOUS 22164480 HAS SOUPS 21596062 WITH SCORE 2.1676483165E7
AT ITER 1131 NEW BEST:: SOT 123145448 SOS 80420703 HAS SOPS 65511470 HAS SOUS 22163326 HAS SOUPS 21594908 WITH SCORE 2.1675328703E7
AT ITER 1139 NEW BEST:: SOT 123145205 SOS 80431406 HAS SOPS 65515583 HAS SOUS 22155257 HAS SOUPS 21586839 WITH SCORE 2.1667270406E7
AT ITER 1158 NEW BEST:: SOT 123142945 SOS 80428912 HAS SOPS 65511827 HAS SOUS 22155151 HAS SOUPS 21586699 WITH SCORE 2.1667127912E7
AT ITER 1159 NEW BEST:: SOT 123180390 SOS 80503536 HAS SOPS 65584610 HAS SOUS 22131091 HAS SOUPS 21562639 WITH SCORE 2.1643142536E7
AT ITER 1160 NEW BEST:: SOT 123168827 SOS 80484034 HAS SOPS 65563972 HAS SOUS 22123444 HAS SOUPS 21554992 WITH SCORE 2.1635476034E7
AT ITER 1167 NEW BEST:: SOT 123142122 SOS 80426131 HAS SOPS 65517749 HAS SOUS 22119990 HAS SOUPS 21551538 WITH SCORE 2.1631964131E7
AT ITER 1173 NEW BEST:: SOT 123137728 SOS 80421737 HAS SOPS 65513355 HAS SOUS 22115284 HAS SOUPS 21546832 WITH SCORE 2.1627253737E7
AT ITER 1181 NEW BEST:: SOT 123137699 SOS 80422919 HAS SOPS 65516027 HAS SOUS 22115155 HAS SOUPS 21546703 WITH SCORE 2.1627125919E7
AT ITER 1202 NEW BEST:: SOT 123136788 SOS 80422653 HAS SOPS 65516877 HAS SOUS 22114943 HAS SOUPS 21546491 WITH SCORE 2.1626913653E7
AT ITER 1205 NEW BEST:: SOT 123163388 SOS 80463487 HAS SOPS 65560905 HAS SOUS 22107899 HAS SOUPS 21539447 WITH SCORE 2.1619910487E7
AT ITER 1245 NEW BEST:: SOT 123147222 SOS 80443339 HAS SOPS 65545571 HAS SOUS 22085548 HAS SOUPS 21517251 WITH SCORE 2.1597694339E7
AT ITER 1247 NEW BEST:: SOT 123146608 SOS 80444546 HAS SOPS 65552974 HAS SOUS 22083433 HAS SOUPS 21515136 WITH SCORE 2.1595580546E7
AT ITER 1248 NEW BEST:: SOT 123162560 SOS 80473671 HAS SOPS 65579932 HAS SOUS 22076122 HAS SOUPS 21507604 WITH SCORE 2.1588077671E7
AT ITER 1255 NEW BEST:: SOT 123090749 SOS 80395147 HAS SOPS 65503957 HAS SOUS 21967714 HAS SOUPS 21399453 WITH SCORE 2.1479848147E7
AT ITER 1257 NEW BEST:: SOT 123078564 SOS 80378487 HAS SOPS 65489601 HAS SOUS 21951067 HAS SOUPS 21382875 WITH SCORE 2.1463253487E7
AT ITER 1265 NEW BEST:: SOT 123082416 SOS 80386236 HAS SOPS 65494600 HAS SOUS 21949374 HAS SOUPS 21381135 WITH SCORE 2.1461521236E7
AT ITER 1278 NEW BEST:: SOT 123050266 SOS 80355018 HAS SOPS 65460680 HAS SOUS 21897628 HAS SOUPS 21329083 WITH SCORE 2.1409438018E7
AT ITER 1279 NEW BEST:: SOT 123048269 SOS 80350087 HAS SOPS 65455083 HAS SOUS 21893749 HAS SOUPS 21325264 WITH SCORE 2.1405614087E7
AT ITER 1288 NEW BEST:: SOT 123048424 SOS 80367487 HAS SOPS 65476970 HAS SOUS 21893535 HAS SOUPS 21325050 WITH SCORE 2.1405417487E7
AT ITER 1293 NEW BEST:: SOT 123049552 SOS 80371875 HAS SOPS 65480195 HAS SOUS 21885694 HAS SOUPS 21317209 WITH SCORE 2.1397580875E7
AT ITER 1309 NEW BEST:: SOT 123042900 SOS 80365223 HAS SOPS 65473511 HAS SOUS 21880866 HAS SOUPS 21312381 WITH SCORE 2.1392746223E7
AT ITER 1318 NEW BEST:: SOT 123031815 SOS 80334908 HAS SOPS 65449520 HAS SOUS 21876822 HAS SOUPS 21308337 WITH SCORE 2.1388671908E7
AT ITER 1320 NEW BEST:: SOT 123031983 SOS 80357240 HAS SOPS 65496190 HAS SOUS 21875877 HAS SOUPS 21307392 WITH SCORE 2.138774924E7
AT ITER 1330 NEW BEST:: SOT 123035070 SOS 80364149 HAS SOPS 65504699 HAS SOUS 21872991 HAS SOUPS 21304506 WITH SCORE 2.1384870149E7
AT ITER 1340 NEW BEST:: SOT 123035328 SOS 80368858 HAS SOPS 65508005 HAS SOUS 21872317 HAS SOUPS 21303832 WITH SCORE 2.1384200858E7
AT ITER 1343 NEW BEST:: SOT 122979227 SOS 80313144 HAS SOPS 65451904 HAS SOUS 21817098 HAS SOUPS 21248535 WITH SCORE 2.1328848144E7
AT ITER 1350 NEW BEST:: SOT 123110666 SOS 80521919 HAS SOPS 65655875 HAS SOUS 21806321 HAS SOUPS 21237500 WITH SCORE 2.1318021919E7
AT ITER 1360 NEW BEST:: SOT 123100230 SOS 80501974 HAS SOPS 65636703 HAS SOUS 21804718 HAS SOUPS 21235181 WITH SCORE 2.1315682974E7
AT ITER 1396 NEW BEST:: SOT 123092599 SOS 80488550 HAS SOPS 65622472 HAS SOUS 21802235 HAS SOUPS 21232698 WITH SCORE 2.131318655E7
AT ITER 1399 NEW BEST:: SOT 123124855 SOS 80552206 HAS SOPS 65669034 HAS SOUS 21798305 HAS SOUPS 21228768 WITH SCORE 2.1309320206E7
AT ITER 1403 NEW BEST:: SOT 123098349 SOS 80515930 HAS SOPS 65635334 HAS SOUS 21722110 HAS SOUPS 21153322 WITH SCORE 2.123383793E7
AT ITER 1411 NEW BEST:: SOT 123114491 SOS 80537946 HAS SOPS 65663301 HAS SOUS 21718378 HAS SOUPS 21149590 WITH SCORE 2.1230127946E7
AT ITER 1421 NEW BEST:: SOT 123113936 SOS 80536071 HAS SOPS 65661626 HAS SOUS 21717963 HAS SOUPS 21149175 WITH SCORE 2.1229711071E7
AT ITER 1432 NEW BEST:: SOT 123113887 SOS 80536022 HAS SOPS 65661545 HAS SOUS 21717866 HAS SOUPS 21149078 WITH SCORE 2.1229614022E7
AT ITER 1435 NEW BEST:: SOT 123110372 SOS 80538765 HAS SOPS 65662880 HAS SOUS 21715168 HAS SOUPS 21146380 WITH SCORE 2.1226918765E7
AT ITER 1446 NEW BEST:: SOT 123110795 SOS 80544036 HAS SOPS 65668827 HAS SOUS 21714849 HAS SOUPS 21146093 WITH SCORE 2.1226637036E7
AT ITER 1462 NEW BEST:: SOT 123110498 SOS 80543872 HAS SOPS 65668814 HAS SOUS 21714336 HAS SOUPS 21145619 WITH SCORE 2.1226162872E7
AT ITER 1464 NEW BEST:: SOT 123109015 SOS 80542389 HAS SOPS 65667331 HAS SOUS 21712789 HAS SOUPS 21144072 WITH SCORE 2.1224614389E7
AT ITER 1471 NEW BEST:: SOT 123095106 SOS 80534910 HAS SOPS 65654968 HAS SOUS 21672131 HAS SOUPS 21103414 WITH SCORE 2.118394891E7
AT ITER 1475 NEW BEST:: SOT 123094660 SOS 80532626 HAS SOPS 65649930 HAS SOUS 21662480 HAS SOUPS 21093790 WITH SCORE 2.1174322626E7
AT ITER 1477 NEW BEST:: SOT 123093069 SOS 80530954 HAS SOPS 65647856 HAS SOUS 21659978 HAS SOUPS 21091288 WITH SCORE 2.1171818954E7
AT ITER 1487 NEW BEST:: SOT 123064205 SOS 80492703 HAS SOPS 65609662 HAS SOUS 21619350 HAS SOUPS 21050670 WITH SCORE 2.1131162703E7
AT ITER 1489 NEW BEST:: SOT 123051044 SOS 80480969 HAS SOPS 65589154 HAS SOUS 21593618 HAS SOUPS 21022284 WITH SCORE 2.1102764969E7
AT ITER 1492 NEW BEST:: SOT 123051824 SOS 80480568 HAS SOPS 65587391 HAS SOUS 21591070 HAS SOUPS 21019736 WITH SCORE 2.1100216568E7
AT ITER 1503 NEW BEST:: SOT 123051443 SOS 80480114 HAS SOPS 65586764 HAS SOUS 21589089 HAS SOUPS 21017762 WITH SCORE 2.1098242114E7
AT ITER 1504 NEW BEST:: SOT 123051344 SOS 80480027 HAS SOPS 65586887 HAS SOUS 21588886 HAS SOUPS 21017559 WITH SCORE 2.1098039027E7
AT ITER 1522 NEW BEST:: SOT 123050078 SOS 80478734 HAS SOPS 65587145 HAS SOUS 21585037 HAS SOUPS 21013710 WITH SCORE 2.1094188734E7
AT ITER 1535 NEW BEST:: SOT 123051649 SOS 80478349 HAS SOPS 65586186 HAS SOUS 21582237 HAS SOUPS 21010995 WITH SCORE 2.1091473349E7
AT ITER 1545 NEW BEST:: SOT 123026728 SOS 80441526 HAS SOPS 65558169 HAS SOUS 21572119 HAS SOUPS 21000877 WITH SCORE 2.1081318526E7
AT ITER 1549 NEW BEST:: SOT 123026039 SOS 80440813 HAS SOPS 65557029 HAS SOUS 21570206 HAS SOUPS 20998964 WITH SCORE 2.1079404813E7
AT ITER 1561 NEW BEST:: SOT 123025593 SOS 80440208 HAS SOPS 65556346 HAS SOUS 21569404 HAS SOUPS 20998162 WITH SCORE 2.1078602208E7
AT ITER 1568 NEW BEST:: SOT 123007920 SOS 80420938 HAS SOPS 65537910 HAS SOUS 21519796 HAS SOUPS 20948809 WITH SCORE 2.1029229938E7
AT ITER 1570 NEW BEST:: SOT 123007142 SOS 80428528 HAS SOPS 65539913 HAS SOUS 21509389 HAS SOUPS 20938402 WITH SCORE 2.1018830528E7
AT ITER 1573 NEW BEST:: SOT 123006965 SOS 80428216 HAS SOPS 65539628 HAS SOUS 21509248 HAS SOUPS 20938261 WITH SCORE 2.1018689216E7
AT ITER 1589 NEW BEST:: SOT 123002193 SOS 80422798 HAS SOPS 65531614 HAS SOUS 21500601 HAS SOUPS 20929614 WITH SCORE 2.1010036798E7
AT ITER 1608 NEW BEST:: SOT 122993705 SOS 80404090 HAS SOPS 65521098 HAS SOUS 21496972 HAS SOUPS 20928639 WITH SCORE 2.100904309E7
AT ITER 1627 NEW BEST:: SOT 122995659 SOS 80409660 HAS SOPS 65524815 HAS SOUS 21495159 HAS SOUPS 20926826 WITH SCORE 2.100723566E7
AT ITER 1642 NEW BEST:: SOT 122996158 SOS 80413662 HAS SOPS 65527128 HAS SOUS 21492055 HAS SOUPS 20923722 WITH SCORE 2.1004135662E7
AT ITER 1648 NEW BEST:: SOT 122984799 SOS 80380111 HAS SOPS 65500294 HAS SOUS 21482383 HAS SOUPS 20914993 WITH SCORE 2.0995373111E7
AT ITER 1658 NEW BEST:: SOT 122983354 SOS 80379052 HAS SOPS 65496923 HAS SOUS 21476182 HAS SOUPS 20908792 WITH SCORE 2.0989171052E7
AT ITER 1664 NEW BEST:: SOT 122982049 SOS 80376973 HAS SOPS 65494891 HAS SOUS 21474771 HAS SOUPS 20907381 WITH SCORE 2.0987757973E7
AT ITER 1683 NEW BEST:: SOT 122982745 SOS 80378954 HAS SOPS 65495288 HAS SOUS 21473055 HAS SOUPS 20905570 WITH SCORE 2.0985948954E7
AT ITER 1689 NEW BEST:: SOT 122982236 SOS 80375228 HAS SOPS 65496549 HAS SOUS 21466690 HAS SOUPS 20899277 WITH SCORE 2.0979652228E7
AT ITER 1706 NEW BEST:: SOT 122984218 SOS 80385714 HAS SOPS 65501911 HAS SOUS 21456502 HAS SOUPS 20889145 WITH SCORE 2.0969530714E7
AT ITER 1710 NEW BEST:: SOT 122949227 SOS 80303976 HAS SOPS 65418667 HAS SOUS 21440419 HAS SOUPS 20873423 WITH SCORE 2.0953726976E7
AT ITER 1724 NEW BEST:: SOT 122948850 SOS 80296729 HAS SOPS 65411429 HAS SOUS 21440236 HAS SOUPS 20873240 WITH SCORE 2.0953536729E7
AT ITER 1725 NEW BEST:: SOT 122942002 SOS 80295723 HAS SOPS 65406023 HAS SOUS 21419168 HAS SOUPS 20852172 WITH SCORE 2.0932467723E7
AT ITER 1734 NEW BEST:: SOT 122944527 SOS 80300887 HAS SOPS 65412548 HAS SOUS 21417086 HAS SOUPS 20850145 WITH SCORE 2.0930445887E7
AT ITER 1746 NEW BEST:: SOT 122944204 SOS 80300360 HAS SOPS 65412215 HAS SOUS 21417018 HAS SOUPS 20850077 WITH SCORE 2.093037736E7
AT ITER 1764 NEW BEST:: SOT 122953252 SOS 80329246 HAS SOPS 65441313 HAS SOUS 21408784 HAS SOUPS 20841843 WITH SCORE 2.0922172246E7
AT ITER 1766 NEW BEST:: SOT 122968356 SOS 80365271 HAS SOPS 65475636 HAS SOUS 21408518 HAS SOUPS 20841577 WITH SCORE 2.0921942271E7
AT ITER 1782 NEW BEST:: SOT 122967600 SOS 80364626 HAS SOPS 65475287 HAS SOUS 21406739 HAS SOUPS 20839798 WITH SCORE 2.0920162626E7
AT ITER 1838 NEW BEST:: SOT 122960863 SOS 80352514 HAS SOPS 65470295 HAS SOUS 21404859 HAS SOUPS 20838013 WITH SCORE 2.0918365514E7
AT ITER 1844 NEW BEST:: SOT 122963172 SOS 80350927 HAS SOPS 65462435 HAS SOUS 21389547 HAS SOUPS 20822701 WITH SCORE 2.0903051927E7
AT ITER 1848 NEW BEST:: SOT 122963175 SOS 80351266 HAS SOPS 65462678 HAS SOUS 21389544 HAS SOUPS 20822698 WITH SCORE 2.0903049266E7
AT ITER 1849 NEW BEST:: SOT 122939606 SOS 80318687 HAS SOPS 65433175 HAS SOUS 21354688 HAS SOUPS 20788074 WITH SCORE 2.0868392687E7
AT ITER 1854 NEW BEST:: SOT 122946232 SOS 80332673 HAS SOPS 65450162 HAS SOUS 21346196 HAS SOUPS 20779582 WITH SCORE 2.0859914673E7
AT ITER 1859 NEW BEST:: SOT 122943960 SOS 80329893 HAS SOPS 65445824 HAS SOUS 21340976 HAS SOUPS 20774362 WITH SCORE 2.0854691893E7
AT ITER 1861 NEW BEST:: SOT 122933465 SOS 80302398 HAS SOPS 65430185 HAS SOUS 21307799 HAS SOUPS 20740983 WITH SCORE 2.0821285398E7
AT ITER 1864 NEW BEST:: SOT 122934632 SOS 80303585 HAS SOPS 65432046 HAS SOUS 21307387 HAS SOUPS 20740571 WITH SCORE 2.0820874585E7
AT ITER 1872 NEW BEST:: SOT 122934264 SOS 80307994 HAS SOPS 65434350 HAS SOUS 21297731 HAS SOUPS 20730915 WITH SCORE 2.0811222994E7
AT ITER 1878 NEW BEST:: SOT 122940851 SOS 80324665 HAS SOPS 65446890 HAS SOUS 21292458 HAS SOUPS 20725642 WITH SCORE 2.0805966665E7
AT ITER 1880 NEW BEST:: SOT 122933709 SOS 80320614 HAS SOPS 65430432 HAS SOUS 21267946 HAS SOUPS 20701130 WITH SCORE 2.0781450614E7
AT ITER 1892 NEW BEST:: SOT 122928491 SOS 80316373 HAS SOPS 65423325 HAS SOUS 21253147 HAS SOUPS 20686331 WITH SCORE 2.0766647373E7
AT ITER 1894 NEW BEST:: SOT 122928475 SOS 80316133 HAS SOPS 65422805 HAS SOUS 21253083 HAS SOUPS 20686267 WITH SCORE 2.0766583133E7
AT ITER 1913 NEW BEST:: SOT 122925108 SOS 80311790 HAS SOPS 65418606 HAS SOUS 21249732 HAS SOUPS 20682916 WITH SCORE 2.076322779E7
AT ITER 1915 NEW BEST:: SOT 122924742 SOS 80311022 HAS SOPS 65418129 HAS SOUS 21249459 HAS SOUPS 20682646 WITH SCORE 2.0762957022E7
AT ITER 1922 NEW BEST:: SOT 122914370 SOS 80299907 HAS SOPS 65411188 HAS SOUS 21248155 HAS SOUPS 20681342 WITH SCORE 2.0761641907E7
AT ITER 1926 NEW BEST:: SOT 122915028 SOS 80301828 HAS SOPS 65413152 HAS SOUS 21247973 HAS SOUPS 20681160 WITH SCORE 2.0761461828E7
AT ITER 1939 NEW BEST:: SOT 122912129 SOS 80305468 HAS SOPS 65411894 HAS SOUS 21199367 HAS SOUPS 20632554 WITH SCORE 2.0712859468E7
AT ITER 1947 NEW BEST:: SOT 122884878 SOS 80277081 HAS SOPS 65380382 HAS SOUS 21165737 HAS SOUPS 20598016 WITH SCORE 2.0678293081E7
AT ITER 1954 NEW BEST:: SOT 122882776 SOS 80271131 HAS SOPS 65378028 HAS SOUS 21164646 HAS SOUPS 20596925 WITH SCORE 2.0677196131E7
AT ITER 1955 NEW BEST:: SOT 122863536 SOS 80241961 HAS SOPS 65350620 HAS SOUS 21140464 HAS SOUPS 20572743 WITH SCORE 2.0652984961E7
AT ITER 1969 NEW BEST:: SOT 122863536 SOS 80241961 HAS SOPS 65350620 HAS SOUS 21140456 HAS SOUPS 20572735 WITH SCORE 2.0652976961E7
AT ITER 1988 NEW BEST:: SOT 122859857 SOS 80238061 HAS SOPS 65346407 HAS SOUS 21135980 HAS SOUPS 20568413 WITH SCORE 2.0648651061E7
AT ITER 2009 NEW BEST:: SOT 122857659 SOS 80235719 HAS SOPS 65345961 HAS SOUS 21130278 HAS SOUPS 20562711 WITH SCORE 2.0642946719E7
AT ITER 2012 NEW BEST:: SOT 122856620 SOS 80234713 HAS SOPS 65344730 HAS SOUS 21128224 HAS SOUPS 20560657 WITH SCORE 2.0640891713E7
AT ITER 2038 NEW BEST:: SOT 122855716 SOS 80231957 HAS SOPS 65344750 HAS SOUS 21123111 HAS SOUPS 20555544 WITH SCORE 2.0635775957E7
AT ITER 2042 NEW BEST:: SOT 122855701 SOS 80241333 HAS SOPS 65359631 HAS SOUS 21122860 HAS SOUPS 20555293 WITH SCORE 2.0635534333E7
AT ITER 2058 NEW BEST:: SOT 122855761 SOS 80241498 HAS SOPS 65360046 HAS SOUS 21122583 HAS SOUPS 20555021 WITH SCORE 2.0635262498E7
AT ITER 2090 NEW BEST:: SOT 122846745 SOS 80227409 HAS SOPS 65333389 HAS SOUS 21100949 HAS SOUPS 20533387 WITH SCORE 2.0613614409E7
AT ITER 2091 NEW BEST:: SOT 122862146 SOS 80260701 HAS SOPS 65357022 HAS SOUS 21093683 HAS SOUPS 20526121 WITH SCORE 2.0606381701E7
AT ITER 2105 NEW BEST:: SOT 122843281 SOS 80216924 HAS SOPS 65335540 HAS SOUS 21090859 HAS SOUPS 20525754 WITH SCORE 2.0605970924E7
AT ITER 2108 NEW BEST:: SOT 122845705 SOS 80213511 HAS SOPS 65337892 HAS SOUS 21088455 HAS SOUPS 20523350 WITH SCORE 2.0603563511E7
AT ITER 2111 NEW BEST:: SOT 122845579 SOS 80234960 HAS SOPS 65355570 HAS SOUS 21065827 HAS SOUPS 20500722 WITH SCORE 2.058095696E7
AT ITER 2119 NEW BEST:: SOT 122843788 SOS 80233715 HAS SOPS 65354279 HAS SOUS 21064000 HAS SOUPS 20498885 WITH SCORE 2.0579118715E7
AT ITER 2121 NEW BEST:: SOT 122836613 SOS 80224281 HAS SOPS 65347495 HAS SOUS 21054429 HAS SOUPS 20489314 WITH SCORE 2.0569538281E7
AT ITER 2122 NEW BEST:: SOT 122842927 SOS 80241200 HAS SOPS 65358860 HAS SOUS 21050570 HAS SOUPS 20484032 WITH SCORE 2.05642732E7
AT ITER 2129 NEW BEST:: SOT 122841223 SOS 80244397 HAS SOPS 65361500 HAS SOUS 21043003 HAS SOUPS 20476465 WITH SCORE 2.0556709397E7
AT ITER 2136 NEW BEST:: SOT 122834399 SOS 80249570 HAS SOPS 65364066 HAS SOUS 21028195 HAS SOUPS 20461657 WITH SCORE 2.054190657E7
AT ITER 2176 NEW BEST:: SOT 122834399 SOS 80249537 HAS SOPS 65364035 HAS SOUS 21028195 HAS SOUPS 20461657 WITH SCORE 2.0541906537E7
AT ITER 2179 NEW BEST:: SOT 122834345 SOS 80249569 HAS SOPS 65363892 HAS SOUS 21028151 HAS SOUPS 20461613 WITH SCORE 2.0541862569E7
AT ITER 2193 NEW BEST:: SOT 122825508 SOS 80240919 HAS SOPS 65349515 HAS SOUS 21017012 HAS SOUPS 20448908 WITH SCORE 2.0529148919E7
AT ITER 2212 NEW BEST:: SOT 122823386 SOS 80238392 HAS SOPS 65347197 HAS SOUS 21013792 HAS SOUPS 20445632 WITH SCORE 2.0525870392E7
AT ITER 2216 NEW BEST:: SOT 122819742 SOS 80232988 HAS SOPS 65340479 HAS SOUS 20998669 HAS SOUPS 20430416 WITH SCORE 2.0510648988E7
AT ITER 2230 NEW BEST:: SOT 122816259 SOS 80227786 HAS SOPS 65337316 HAS SOUS 20995257 HAS SOUPS 20427054 WITH SCORE 2.0507281786E7
AT ITER 2243 NEW BEST:: SOT 122815414 SOS 80219001 HAS SOPS 65331989 HAS SOUS 20982834 HAS SOUPS 20414762 WITH SCORE 2.0494981001E7
AT ITER 2246 NEW BEST:: SOT 122805144 SOS 80208120 HAS SOPS 65313921 HAS SOUS 20957373 HAS SOUPS 20389301 WITH SCORE 2.046950912E7
AT ITER 2254 NEW BEST:: SOT 122808645 SOS 80216520 HAS SOPS 65324812 HAS SOUS 20952813 HAS SOUPS 20384806 WITH SCORE 2.046502252E7
AT ITER 2266 NEW BEST:: SOT 122808489 SOS 80215986 HAS SOPS 65324176 HAS SOUS 20952669 HAS SOUPS 20384662 WITH SCORE 2.0464877986E7
AT ITER 2300 NEW BEST:: SOT 122813762 SOS 80233540 HAS SOPS 65342464 HAS SOUS 20944183 HAS SOUPS 20376485 WITH SCORE 2.045671854E7
AT ITER 2306 NEW BEST:: SOT 122818232 SOS 80241713 HAS SOPS 65349334 HAS SOUS 20942729 HAS SOUPS 20375031 WITH SCORE 2.0455272713E7
AT ITER 2308 NEW BEST:: SOT 122825473 SOS 80265033 HAS SOPS 65361582 HAS SOUS 20928016 HAS SOUPS 20360170 WITH SCORE 2.0440435033E7
AT ITER 2317 NEW BEST:: SOT 122821972 SOS 80261122 HAS SOPS 65355716 HAS SOUS 20918284 HAS SOUPS 20350438 WITH SCORE 2.0430699122E7
AT ITER 2323 NEW BEST:: SOT 122817783 SOS 80264482 HAS SOPS 65352033 HAS SOUS 20902406 HAS SOUPS 20334560 WITH SCORE 2.0414824482E7
AT ITER 2333 NEW BEST:: SOT 122825727 SOS 80284852 HAS SOPS 65365963 HAS SOUS 20888118 HAS SOUPS 20320272 WITH SCORE 2.0400556852E7
AT ITER 2352 NEW BEST:: SOT 122832891 SOS 80298637 HAS SOPS 65384764 HAS SOUS 20885384 HAS SOUPS 20317538 WITH SCORE 2.0397836637E7
AT ITER 2364 NEW BEST:: SOT 122856871 SOS 80355322 HAS SOPS 65434101 HAS SOUS 20875531 HAS SOUPS 20307685 WITH SCORE 2.0388040322E7
AT ITER 2376 NEW BEST:: SOT 122854818 SOS 80350814 HAS SOPS 65426886 HAS SOUS 20869437 HAS SOUPS 20301591 WITH SCORE 2.0381941814E7
AT ITER 2381 NEW BEST:: SOT 122844860 SOS 80340815 HAS SOPS 65416951 HAS SOUS 20848130 HAS SOUPS 20280348 WITH SCORE 2.0360688815E7
AT ITER 2397 NEW BEST:: SOT 122819002 SOS 80310060 HAS SOPS 65389811 HAS SOUS 20803179 HAS SOUPS 20235397 WITH SCORE 2.031570706E7
AT ITER 2407 NEW BEST:: SOT 122818221 SOS 80306996 HAS SOPS 65390338 HAS SOUS 20800600 HAS SOUPS 20232875 WITH SCORE 2.0313181996E7
AT ITER 2425 NEW BEST:: SOT 122818528 SOS 80309895 HAS SOPS 65396726 HAS SOUS 20800413 HAS SOUPS 20232779 WITH SCORE 2.0313088895E7
AT ITER 2437 NEW BEST:: SOT 122823276 SOS 80324834 HAS SOPS 65409391 HAS SOUS 20798933 HAS SOUPS 20231247 WITH SCORE 2.0311571834E7
AT ITER 2442 NEW BEST:: SOT 122839653 SOS 80355366 HAS SOPS 65429059 HAS SOUS 20791298 HAS SOUPS 20223444 WITH SCORE 2.0303799366E7
AT ITER 2443 NEW BEST:: SOT 122834827 SOS 80350306 HAS SOPS 65425011 HAS SOUS 20776086 HAS SOUPS 20208276 WITH SCORE 2.0288626306E7
AT ITER 2481 NEW BEST:: SOT 122832879 SOS 80348160 HAS SOPS 65419877 HAS SOUS 20773611 HAS SOUPS 20205801 WITH SCORE 2.028614916E7
AT ITER 2482 NEW BEST:: SOT 122831067 SOS 80348079 HAS SOPS 65417816 HAS SOUS 20766059 HAS SOUPS 20198249 WITH SCORE 2.0278597079E7
AT ITER 2495 NEW BEST:: SOT 122828356 SOS 80346716 HAS SOPS 65419789 HAS SOUS 20759239 HAS SOUPS 20191343 WITH SCORE 2.0271689716E7
AT ITER 2499 NEW BEST:: SOT 122836539 SOS 80362442 HAS SOPS 65429794 HAS SOUS 20751327 HAS SOUPS 20183431 WITH SCORE 2.0263793442E7
AT ITER 2509 NEW BEST:: SOT 122840082 SOS 80365595 HAS SOPS 65448068 HAS SOUS 20739707 HAS SOUPS 20171811 WITH SCORE 2.0252176595E7
AT ITER 2512 NEW BEST:: SOT 122845739 SOS 80372899 HAS SOPS 65460120 HAS SOUS 20739180 HAS SOUPS 20171617 WITH SCORE 2.0251989899E7
AT ITER 2526 NEW BEST:: SOT 122844210 SOS 80382500 HAS SOPS 65498636 HAS SOUS 20736819 HAS SOUPS 20169256 WITH SCORE 2.02496385E7
AT ITER 2556 NEW BEST:: SOT 122820850 SOS 80345040 HAS SOPS 65467530 HAS SOUS 20729616 HAS SOUPS 20162053 WITH SCORE 2.024239804E7
AT ITER 2580 NEW BEST:: SOT 122803433 SOS 80324269 HAS SOPS 65439107 HAS SOUS 20676623 HAS SOUPS 20109060 WITH SCORE 2.0189384269E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 15447472 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16079276 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-4"
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-4, 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-167889194300176"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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