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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 70M
-rw-r--r-- 1 mcc users 6.2K Feb 25 13:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 63K Feb 25 13:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.3K Feb 25 13:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 25 13:48 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:39 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:39 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Feb 25 16:39 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:39 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.1K Feb 25 14:02 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 93K Feb 25 14:02 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 14K Feb 25 13:56 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 87K Feb 25 13:56 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 1679484384160

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-5
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb115 (PT), instance 5
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 3 NEW BEST:: SOT 123443242 SOS 80233856 HAS SOPS 65213925 HAS SOUS 24072877 HAS SOUPS 23500103 WITH SCORE 2.3580336856E7
AT ITER 16 NEW BEST:: SOT 123449428 SOS 80243458 HAS SOPS 65228038 HAS SOUS 24065853 HAS SOUPS 23493160 WITH SCORE 2.3573403458E7
AT ITER 32 NEW BEST:: SOT 123449422 SOS 80242936 HAS SOPS 65230822 HAS SOUS 24065769 HAS SOUPS 23493076 WITH SCORE 2.3573318936E7
AT ITER 38 NEW BEST:: SOT 123489811 SOS 80331263 HAS SOPS 65324602 HAS SOUS 24049046 HAS SOUPS 23476642 WITH SCORE 2.3556973263E7
AT ITER 49 NEW BEST:: SOT 123482530 SOS 80320185 HAS SOPS 65313955 HAS SOUS 24037110 HAS SOUPS 23465281 WITH SCORE 2.3545601185E7
AT ITER 61 NEW BEST:: SOT 123483006 SOS 80322008 HAS SOPS 65315667 HAS SOUS 24035474 HAS SOUPS 23463645 WITH SCORE 2.3543967008E7
AT ITER 65 NEW BEST:: SOT 123475379 SOS 80318282 HAS SOPS 65306569 HAS SOUS 24015083 HAS SOUPS 23443112 WITH SCORE 2.3523430282E7
AT ITER 67 NEW BEST:: SOT 123466995 SOS 80315621 HAS SOPS 65307798 HAS SOUS 23981175 HAS SOUPS 23409138 WITH SCORE 2.3489453621E7
AT ITER 69 NEW BEST:: SOT 123466815 SOS 80317944 HAS SOPS 65307578 HAS SOUS 23978995 HAS SOUPS 23406958 WITH SCORE 2.3487275944E7
AT ITER 72 NEW BEST:: SOT 123465309 SOS 80315066 HAS SOPS 65309591 HAS SOUS 23971095 HAS SOUPS 23399185 WITH SCORE 2.3479500066E7
AT ITER 80 NEW BEST:: SOT 123429016 SOS 80270924 HAS SOPS 65268839 HAS SOUS 23934390 HAS SOUPS 23362637 WITH SCORE 2.3442907924E7
AT ITER 91 NEW BEST:: SOT 123430228 SOS 80276487 HAS SOPS 65274390 HAS SOUS 23928872 HAS SOUPS 23356218 WITH SCORE 2.3436494487E7
AT ITER 119 NEW BEST:: SOT 123430228 SOS 80283571 HAS SOPS 65280622 HAS SOUS 23928638 HAS SOUPS 23355984 WITH SCORE 2.3436267571E7
AT ITER 124 NEW BEST:: SOT 123424275 SOS 80297914 HAS SOPS 65295555 HAS SOUS 23923869 HAS SOUPS 23351215 WITH SCORE 2.3431512914E7
AT ITER 126 NEW BEST:: SOT 123412914 SOS 80288852 HAS SOPS 65282257 HAS SOUS 23910584 HAS SOUPS 23336939 WITH SCORE 2.3417227852E7
AT ITER 127 NEW BEST:: SOT 123471596 SOS 80419045 HAS SOPS 65415712 HAS SOUS 23903855 HAS SOUPS 23330481 WITH SCORE 2.3410900045E7
AT ITER 130 NEW BEST:: SOT 123471596 SOS 80420789 HAS SOPS 65418934 HAS SOUS 23903800 HAS SOUPS 23330426 WITH SCORE 2.3410846789E7
AT ITER 141 NEW BEST:: SOT 123471427 SOS 80421237 HAS SOPS 65419894 HAS SOUS 23902176 HAS SOUPS 23328754 WITH SCORE 2.3409175237E7
AT ITER 155 NEW BEST:: SOT 123471913 SOS 80421304 HAS SOPS 65418204 HAS SOUS 23900891 HAS SOUPS 23327292 WITH SCORE 2.3407713304E7
AT ITER 161 NEW BEST:: SOT 123455699 SOS 80395876 HAS SOPS 65412550 HAS SOUS 23846032 HAS SOUPS 23272961 WITH SCORE 2.3353356876E7
AT ITER 168 NEW BEST:: SOT 123451630 SOS 80391798 HAS SOPS 65408409 HAS SOUS 23841882 HAS SOUPS 23268748 WITH SCORE 2.3349139798E7
AT ITER 188 NEW BEST:: SOT 123448884 SOS 80389334 HAS SOPS 65405413 HAS SOUS 23837102 HAS SOUPS 23263968 WITH SCORE 2.3344357334E7
AT ITER 192 NEW BEST:: SOT 123448204 SOS 80382530 HAS SOPS 65400214 HAS SOUS 23835504 HAS SOUPS 23262370 WITH SCORE 2.334275253E7
AT ITER 196 NEW BEST:: SOT 123449857 SOS 80393913 HAS SOPS 65408205 HAS SOUS 23822154 HAS SOUPS 23249020 WITH SCORE 2.3329413913E7
AT ITER 199 NEW BEST:: SOT 123448341 SOS 80391817 HAS SOPS 65409250 HAS SOUS 23818357 HAS SOUPS 23245346 WITH SCORE 2.3325737817E7
AT ITER 207 NEW BEST:: SOT 123446110 SOS 80389243 HAS SOPS 65405479 HAS SOUS 23816286 HAS SOUPS 23243275 WITH SCORE 2.3323664243E7
AT ITER 217 NEW BEST:: SOT 123446921 SOS 80388415 HAS SOPS 65404163 HAS SOUS 23815134 HAS SOUPS 23242150 WITH SCORE 2.3322538415E7
AT ITER 218 NEW BEST:: SOT 123457134 SOS 80412228 HAS SOPS 65423291 HAS SOUS 23813551 HAS SOUPS 23240480 WITH SCORE 2.3320892228E7
AT ITER 229 NEW BEST:: SOT 123454059 SOS 80406431 HAS SOPS 65418721 HAS SOUS 23806201 HAS SOUPS 23233180 WITH SCORE 2.3313586431E7
AT ITER 246 NEW BEST:: SOT 123454538 SOS 80403912 HAS SOPS 65427394 HAS SOUS 23804897 HAS SOUPS 23232065 WITH SCORE 2.3312468912E7
AT ITER 249 NEW BEST:: SOT 123443788 SOS 80393300 HAS SOPS 65416776 HAS SOUS 23800237 HAS SOUPS 23227400 WITH SCORE 2.33077933E7
AT ITER 252 NEW BEST:: SOT 123438330 SOS 80387842 HAS SOPS 65411318 HAS SOUS 23794779 HAS SOUPS 23221942 WITH SCORE 2.3302329842E7
AT ITER 269 NEW BEST:: SOT 123432345 SOS 80374577 HAS SOPS 65396761 HAS SOUS 23786954 HAS SOUPS 23214117 WITH SCORE 2.3294491577E7
AT ITER 282 NEW BEST:: SOT 123423213 SOS 80364929 HAS SOPS 65383776 HAS SOUS 23784152 HAS SOUPS 23210552 WITH SCORE 2.3290916929E7
AT ITER 287 NEW BEST:: SOT 123393985 SOS 80311276 HAS SOPS 65336099 HAS SOUS 23756466 HAS SOUPS 23182906 WITH SCORE 2.3263217276E7
AT ITER 294 NEW BEST:: SOT 123365688 SOS 80255928 HAS SOPS 65283111 HAS SOUS 23731866 HAS SOUPS 23158306 WITH SCORE 2.3238561928E7
AT ITER 297 NEW BEST:: SOT 123362342 SOS 80246446 HAS SOPS 65279454 HAS SOUS 23725972 HAS SOUPS 23152412 WITH SCORE 2.3232658446E7
AT ITER 309 NEW BEST:: SOT 123364049 SOS 80245360 HAS SOPS 65284304 HAS SOUS 23725594 HAS SOUPS 23152034 WITH SCORE 2.323227936E7
AT ITER 314 NEW BEST:: SOT 123352092 SOS 80244432 HAS SOPS 65302195 HAS SOUS 23679375 HAS SOUPS 23106168 WITH SCORE 2.3186412432E7
AT ITER 320 NEW BEST:: SOT 123338536 SOS 80222553 HAS SOPS 65291759 HAS SOUS 23675354 HAS SOUPS 23102325 WITH SCORE 2.3182547553E7
AT ITER 322 NEW BEST:: SOT 123334284 SOS 80267612 HAS SOPS 65339939 HAS SOUS 23673655 HAS SOUPS 23100626 WITH SCORE 2.3180893612E7
AT ITER 326 NEW BEST:: SOT 123334284 SOS 80275834 HAS SOPS 65352001 HAS SOUS 23673454 HAS SOUPS 23100425 WITH SCORE 2.3180700834E7
AT ITER 337 NEW BEST:: SOT 123327210 SOS 80258245 HAS SOPS 65341393 HAS SOUS 23659682 HAS SOUPS 23086653 WITH SCORE 2.3166911245E7
AT ITER 342 NEW BEST:: SOT 123336094 SOS 80267947 HAS SOPS 65356470 HAS SOUS 23657679 HAS SOUPS 23086176 WITH SCORE 2.3166443947E7
AT ITER 344 NEW BEST:: SOT 123337881 SOS 80272384 HAS SOPS 65360464 HAS SOUS 23657169 HAS SOUPS 23085666 WITH SCORE 2.3165938384E7
AT ITER 349 NEW BEST:: SOT 123337109 SOS 80274234 HAS SOPS 65361526 HAS SOUS 23652164 HAS SOUPS 23080661 WITH SCORE 2.3160935234E7
AT ITER 352 NEW BEST:: SOT 123335573 SOS 80273216 HAS SOPS 65359851 HAS SOUS 23646157 HAS SOUPS 23074654 WITH SCORE 2.3154927216E7
AT ITER 357 NEW BEST:: SOT 123331446 SOS 80270431 HAS SOPS 65354841 HAS SOUS 23644765 HAS SOUPS 23072247 WITH SCORE 2.3152517431E7
AT ITER 380 NEW BEST:: SOT 123332209 SOS 80274862 HAS SOPS 65363093 HAS SOUS 23641365 HAS SOUPS 23068884 WITH SCORE 2.3149158862E7
AT ITER 385 NEW BEST:: SOT 123332128 SOS 80279686 HAS SOPS 65368443 HAS SOUS 23637630 HAS SOUPS 23065149 WITH SCORE 2.3145428686E7
AT ITER 389 NEW BEST:: SOT 123331839 SOS 80275941 HAS SOPS 65365466 HAS SOUS 23637392 HAS SOUPS 23064911 WITH SCORE 2.3145186941E7
AT ITER 399 NEW BEST:: SOT 123341190 SOS 80308034 HAS SOPS 65396549 HAS SOUS 23617708 HAS SOUPS 23045227 WITH SCORE 2.3125535034E7
AT ITER 419 NEW BEST:: SOT 123335022 SOS 80301474 HAS SOPS 65386465 HAS SOUS 23602386 HAS SOUPS 23029905 WITH SCORE 2.3110206474E7
AT ITER 420 NEW BEST:: SOT 123321102 SOS 80255390 HAS SOPS 65353995 HAS SOUS 23579483 HAS SOUPS 23007761 WITH SCORE 2.308801639E7
AT ITER 428 NEW BEST:: SOT 123321031 SOS 80255331 HAS SOPS 65353896 HAS SOUS 23579309 HAS SOUPS 23007587 WITH SCORE 2.3087842331E7
AT ITER 431 NEW BEST:: SOT 123199814 SOS 80109482 HAS SOPS 65210886 HAS SOUS 23421348 HAS SOUPS 22849853 WITH SCORE 2.2929962482E7
AT ITER 435 NEW BEST:: SOT 123217625 SOS 80135819 HAS SOPS 65241521 HAS SOUS 23397359 HAS SOUPS 22825877 WITH SCORE 2.2906012819E7
AT ITER 439 NEW BEST:: SOT 123204150 SOS 80110320 HAS SOPS 65216231 HAS SOUS 23383913 HAS SOUPS 22812431 WITH SCORE 2.289254132E7
AT ITER 447 NEW BEST:: SOT 123188388 SOS 80075397 HAS SOPS 65192189 HAS SOUS 23370526 HAS SOUPS 22799044 WITH SCORE 2.2879119397E7
AT ITER 467 NEW BEST:: SOT 123188346 SOS 80075411 HAS SOPS 65192175 HAS SOUS 23370429 HAS SOUPS 22798947 WITH SCORE 2.2879022411E7
AT ITER 479 NEW BEST:: SOT 123187451 SOS 80079852 HAS SOPS 65191062 HAS SOUS 23352867 HAS SOUPS 22781385 WITH SCORE 2.2861464852E7
AT ITER 509 NEW BEST:: SOT 123185294 SOS 80075799 HAS SOPS 65187585 HAS SOUS 23350291 HAS SOUPS 22778821 WITH SCORE 2.2858896799E7
AT ITER 510 NEW BEST:: SOT 123185274 SOS 80077127 HAS SOPS 65189693 HAS SOUS 23350267 HAS SOUPS 22778797 WITH SCORE 2.2858874127E7
AT ITER 515 NEW BEST:: SOT 123184434 SOS 80075955 HAS SOPS 65188410 HAS SOUS 23346028 HAS SOUPS 22774653 WITH SCORE 2.2854728955E7
AT ITER 517 NEW BEST:: SOT 123187827 SOS 80084169 HAS SOPS 65190739 HAS SOUS 23339218 HAS SOUPS 22767843 WITH SCORE 2.2847927169E7
AT ITER 531 NEW BEST:: SOT 123183170 SOS 80076319 HAS SOPS 65182472 HAS SOUS 23326440 HAS SOUPS 22755065 WITH SCORE 2.2835141319E7
AT ITER 532 NEW BEST:: SOT 123183176 SOS 80078793 HAS SOPS 65182776 HAS SOUS 23326299 HAS SOUPS 22754924 WITH SCORE 2.2835002793E7
AT ITER 542 NEW BEST:: SOT 123203664 SOS 80108030 HAS SOPS 65222343 HAS SOUS 23320856 HAS SOUPS 22749481 WITH SCORE 2.282958903E7
AT ITER 546 NEW BEST:: SOT 123203844 SOS 80109262 HAS SOPS 65223795 HAS SOUS 23320477 HAS SOUPS 22749102 WITH SCORE 2.2829211262E7
AT ITER 548 NEW BEST:: SOT 123204320 SOS 80108446 HAS SOPS 65222508 HAS SOUS 23320149 HAS SOUPS 22748808 WITH SCORE 2.2828916446E7
AT ITER 563 NEW BEST:: SOT 123186081 SOS 80078330 HAS SOPS 65201482 HAS SOUS 23298379 HAS SOUPS 22727038 WITH SCORE 2.280711633E7
AT ITER 569 NEW BEST:: SOT 123168823 SOS 80060505 HAS SOPS 65183625 HAS SOUS 23279104 HAS SOUPS 22707763 WITH SCORE 2.2787823505E7
AT ITER 571 NEW BEST:: SOT 123164769 SOS 80058405 HAS SOPS 65179537 HAS SOUS 23267678 HAS SOUPS 22696337 WITH SCORE 2.2776395405E7
AT ITER 575 NEW BEST:: SOT 123160072 SOS 80051445 HAS SOPS 65169669 HAS SOUS 23259116 HAS SOUPS 22687810 WITH SCORE 2.2767861445E7
AT ITER 576 NEW BEST:: SOT 123167602 SOS 80079292 HAS SOPS 65200247 HAS SOUS 23242067 HAS SOUPS 22670761 WITH SCORE 2.2750840292E7
AT ITER 577 NEW BEST:: SOT 123176079 SOS 80092065 HAS SOPS 65222709 HAS SOUS 23228724 HAS SOUPS 22657418 WITH SCORE 2.2737510065E7
AT ITER 578 NEW BEST:: SOT 123112585 SOS 80032098 HAS SOPS 65142592 HAS SOUS 23102227 HAS SOUPS 22530601 WITH SCORE 2.2610633098E7
AT ITER 592 NEW BEST:: SOT 123112609 SOS 80035586 HAS SOPS 65145804 HAS SOUS 23101644 HAS SOUPS 22530018 WITH SCORE 2.2610053586E7
AT ITER 594 NEW BEST:: SOT 123095934 SOS 80013652 HAS SOPS 65118911 HAS SOUS 23091635 HAS SOUPS 22520009 WITH SCORE 2.2600022652E7
AT ITER 595 NEW BEST:: SOT 123084896 SOS 80005368 HAS SOPS 65105215 HAS SOUS 23063558 HAS SOUPS 22491932 WITH SCORE 2.2571937368E7
AT ITER 598 NEW BEST:: SOT 123088840 SOS 80010230 HAS SOPS 65108946 HAS SOUS 23060465 HAS SOUPS 22489000 WITH SCORE 2.256901023E7
AT ITER 601 NEW BEST:: SOT 123085388 SOS 80004179 HAS SOPS 65104597 HAS SOUS 23057458 HAS SOUPS 22485993 WITH SCORE 2.2565997179E7
AT ITER 607 NEW BEST:: SOT 123079021 SOS 79997520 HAS SOPS 65093825 HAS SOUS 23043048 HAS SOUPS 22471508 WITH SCORE 2.255150552E7
AT ITER 610 NEW BEST:: SOT 123079065 SOS 79998784 HAS SOPS 65094847 HAS SOUS 23041760 HAS SOUPS 22470220 WITH SCORE 2.2550218784E7
AT ITER 614 NEW BEST:: SOT 123077824 SOS 80011686 HAS SOPS 65097505 HAS SOUS 23034104 HAS SOUPS 22462564 WITH SCORE 2.2542575686E7
AT ITER 619 NEW BEST:: SOT 123077819 SOS 80011693 HAS SOPS 65097512 HAS SOUS 23034093 HAS SOUPS 22462553 WITH SCORE 2.2542564693E7
AT ITER 620 NEW BEST:: SOT 123067971 SOS 80009037 HAS SOPS 65087080 HAS SOUS 23003291 HAS SOUPS 22431570 WITH SCORE 2.2511579037E7
AT ITER 648 NEW BEST:: SOT 123094700 SOS 80033204 HAS SOPS 65169380 HAS SOUS 23001594 HAS SOUPS 22430503 WITH SCORE 2.2510536204E7
AT ITER 664 NEW BEST:: SOT 123091577 SOS 79993279 HAS SOPS 65137330 HAS SOUS 22997541 HAS SOUPS 22426450 WITH SCORE 2.2506443279E7
AT ITER 671 NEW BEST:: SOT 123091904 SOS 79994175 HAS SOPS 65134502 HAS SOUS 22996655 HAS SOUPS 22425513 WITH SCORE 2.2505507175E7
AT ITER 679 NEW BEST:: SOT 123091920 SOS 80001025 HAS SOPS 65142152 HAS SOUS 22996393 HAS SOUPS 22425251 WITH SCORE 2.2505252025E7
AT ITER 692 NEW BEST:: SOT 123089114 SOS 80001440 HAS SOPS 65142778 HAS SOUS 22976471 HAS SOUPS 22405329 WITH SCORE 2.248533044E7
AT ITER 696 NEW BEST:: SOT 123065852 SOS 79953507 HAS SOPS 65100593 HAS SOUS 22956555 HAS SOUPS 22385413 WITH SCORE 2.2465366507E7
AT ITER 706 NEW BEST:: SOT 123062555 SOS 79949811 HAS SOPS 65096225 HAS SOUS 22951830 HAS SOUPS 22380688 WITH SCORE 2.2460637811E7
AT ITER 712 NEW BEST:: SOT 123062713 SOS 79951392 HAS SOPS 65093808 HAS SOUS 22946531 HAS SOUPS 22375389 WITH SCORE 2.2455340392E7
AT ITER 713 NEW BEST:: SOT 123063201 SOS 79952838 HAS SOPS 65091175 HAS SOUS 22937539 HAS SOUPS 22366397 WITH SCORE 2.2446349838E7
AT ITER 717 NEW BEST:: SOT 123094633 SOS 80037314 HAS SOPS 65168091 HAS SOUS 22926082 HAS SOUPS 22354940 WITH SCORE 2.2434977314E7
AT ITER 720 NEW BEST:: SOT 123114300 SOS 80079953 HAS SOPS 65217056 HAS SOUS 22883676 HAS SOUPS 22312446 WITH SCORE 2.2392525953E7
AT ITER 729 NEW BEST:: SOT 123109795 SOS 80075699 HAS SOPS 65212863 HAS SOUS 22874662 HAS SOUPS 22303432 WITH SCORE 2.2383507699E7
AT ITER 736 NEW BEST:: SOT 123109795 SOS 80083011 HAS SOPS 65221647 HAS SOUS 22874501 HAS SOUPS 22303271 WITH SCORE 2.2383354011E7
AT ITER 747 NEW BEST:: SOT 123112188 SOS 80087215 HAS SOPS 65229361 HAS SOUS 22867132 HAS SOUPS 22295902 WITH SCORE 2.2375989215E7
AT ITER 750 NEW BEST:: SOT 123114156 SOS 80085469 HAS SOPS 65234042 HAS SOUS 22866791 HAS SOUPS 22295891 WITH SCORE 2.2375976469E7
AT ITER 752 NEW BEST:: SOT 123114084 SOS 80085409 HAS SOPS 65233996 HAS SOUS 22866507 HAS SOUPS 22295607 WITH SCORE 2.2375692409E7
AT ITER 758 NEW BEST:: SOT 123184167 SOS 80214537 HAS SOPS 65358541 HAS SOUS 22865302 HAS SOUPS 22294402 WITH SCORE 2.2374616537E7
AT ITER 759 NEW BEST:: SOT 123174521 SOS 80203210 HAS SOPS 65355823 HAS SOUS 22864886 HAS SOUPS 22293986 WITH SCORE 2.237418921E7
AT ITER 789 NEW BEST:: SOT 123183552 SOS 80220792 HAS SOPS 65372800 HAS SOUS 22860418 HAS SOUPS 22289411 WITH SCORE 2.2369631792E7
AT ITER 808 NEW BEST:: SOT 123096712 SOS 80126266 HAS SOPS 65272367 HAS SOUS 22741467 HAS SOUPS 22168358 WITH SCORE 2.2248484266E7
AT ITER 810 NEW BEST:: SOT 123096671 SOS 80141615 HAS SOPS 65287675 HAS SOUS 22741193 HAS SOUPS 22168084 WITH SCORE 2.2248225615E7
AT ITER 820 NEW BEST:: SOT 123093987 SOS 80142109 HAS SOPS 65304998 HAS SOUS 22739886 HAS SOUPS 22166777 WITH SCORE 2.2246919109E7
AT ITER 825 NEW BEST:: SOT 123074968 SOS 80127060 HAS SOPS 65293252 HAS SOUS 22695293 HAS SOUPS 22122184 WITH SCORE 2.220231106E7
AT ITER 828 NEW BEST:: SOT 123074104 SOS 80126972 HAS SOPS 65294372 HAS SOUS 22695186 HAS SOUPS 22122077 WITH SCORE 2.2202203972E7
AT ITER 841 NEW BEST:: SOT 123099230 SOS 80200443 HAS SOPS 65360916 HAS SOUS 22669914 HAS SOUPS 22096691 WITH SCORE 2.2176891443E7
AT ITER 846 NEW BEST:: SOT 123099230 SOS 80201963 HAS SOPS 65361412 HAS SOUS 22669907 HAS SOUPS 22096684 WITH SCORE 2.2176885963E7
AT ITER 850 NEW BEST:: SOT 123107315 SOS 80208032 HAS SOPS 65360978 HAS SOUS 22637893 HAS SOUPS 22064261 WITH SCORE 2.2144469032E7
AT ITER 859 NEW BEST:: SOT 123104268 SOS 80277004 HAS SOPS 65377043 HAS SOUS 22548185 HAS SOUPS 21974098 WITH SCORE 2.2054375004E7
AT ITER 862 NEW BEST:: SOT 123121236 SOS 80324875 HAS SOPS 65407954 HAS SOUS 22535239 HAS SOUPS 21961152 WITH SCORE 2.2041476875E7
AT ITER 863 NEW BEST:: SOT 123127396 SOS 80338879 HAS SOPS 65432774 HAS SOUS 22521166 HAS SOUPS 21947079 WITH SCORE 2.2027417879E7
AT ITER 873 NEW BEST:: SOT 123129657 SOS 80334610 HAS SOPS 65430234 HAS SOUS 22515062 HAS SOUPS 21940975 WITH SCORE 2.202130961E7
AT ITER 890 NEW BEST:: SOT 123129616 SOS 80333511 HAS SOPS 65431868 HAS SOUS 22513492 HAS SOUPS 21939446 WITH SCORE 2.2019779511E7
AT ITER 912 NEW BEST:: SOT 123127876 SOS 80331382 HAS SOPS 65429207 HAS SOUS 22510745 HAS SOUPS 21936699 WITH SCORE 2.2017030382E7
AT ITER 918 NEW BEST:: SOT 123145145 SOS 80370128 HAS SOPS 65460698 HAS SOUS 22506155 HAS SOUPS 21932109 WITH SCORE 2.2012479128E7
AT ITER 921 NEW BEST:: SOT 123138246 SOS 80354132 HAS SOPS 65456337 HAS SOUS 22489991 HAS SOUPS 21915945 WITH SCORE 2.1996299132E7
AT ITER 924 NEW BEST:: SOT 123136805 SOS 80352259 HAS SOPS 65454776 HAS SOUS 22487261 HAS SOUPS 21913215 WITH SCORE 2.1993567259E7
AT ITER 945 NEW BEST:: SOT 123136268 SOS 80351751 HAS SOPS 65452828 HAS SOUS 22484575 HAS SOUPS 21910555 WITH SCORE 2.1990906751E7
AT ITER 947 NEW BEST:: SOT 123136168 SOS 80345536 HAS SOPS 65450339 HAS SOUS 22484408 HAS SOUPS 21910388 WITH SCORE 2.1990733536E7
AT ITER 971 NEW BEST:: SOT 123135655 SOS 80344788 HAS SOPS 65447972 HAS SOUS 22483717 HAS SOUPS 21909697 WITH SCORE 2.1990041788E7
AT ITER 980 NEW BEST:: SOT 123121897 SOS 80317309 HAS SOPS 65425497 HAS SOUS 22466935 HAS SOUPS 21893151 WITH SCORE 2.1973468309E7
AT ITER 992 NEW BEST:: SOT 123105099 SOS 80300459 HAS SOPS 65407958 HAS SOUS 22448589 HAS SOUPS 21874326 WITH SCORE 2.1954626459E7
AT ITER 994 NEW BEST:: SOT 123105498 SOS 80302200 HAS SOPS 65408716 HAS SOUS 22446518 HAS SOUPS 21872255 WITH SCORE 2.19525572E7
AT ITER 1021 NEW BEST:: SOT 123107453 SOS 80305973 HAS SOPS 65411493 HAS SOUS 22446299 HAS SOUPS 21872036 WITH SCORE 2.1952341973E7
AT ITER 1026 NEW BEST:: SOT 123118474 SOS 80337392 HAS SOPS 65444295 HAS SOUS 22430143 HAS SOUPS 21855880 WITH SCORE 2.1936217392E7
AT ITER 1027 NEW BEST:: SOT 123138015 SOS 80359679 HAS SOPS 65465217 HAS SOUS 22407820 HAS SOUPS 21833557 WITH SCORE 2.1913916679E7
AT ITER 1029 NEW BEST:: SOT 123137966 SOS 80364395 HAS SOPS 65469897 HAS SOUS 22407722 HAS SOUPS 21833459 WITH SCORE 2.1913823395E7
AT ITER 1032 NEW BEST:: SOT 123139042 SOS 80368771 HAS SOPS 65471247 HAS SOUS 22404824 HAS SOUPS 21830514 WITH SCORE 2.1910882771E7
AT ITER 1055 NEW BEST:: SOT 123177121 SOS 80400678 HAS SOPS 65495374 HAS SOUS 22392542 HAS SOUPS 21822321 WITH SCORE 2.1902721678E7
AT ITER 1061 NEW BEST:: SOT 123174425 SOS 80397303 HAS SOPS 65490421 HAS SOUS 22386871 HAS SOUPS 21816624 WITH SCORE 2.1897021303E7
AT ITER 1067 NEW BEST:: SOT 123172569 SOS 80395447 HAS SOPS 65487753 HAS SOUS 22383188 HAS SOUPS 21812941 WITH SCORE 2.1893336447E7
AT ITER 1119 NEW BEST:: SOT 123172555 SOS 80395404 HAS SOPS 65487746 HAS SOUS 22383147 HAS SOUPS 21812900 WITH SCORE 2.1893295404E7
AT ITER 1129 NEW BEST:: SOT 123165268 SOS 80382827 HAS SOPS 65479238 HAS SOUS 22345967 HAS SOUPS 21775720 WITH SCORE 2.1856102827E7
AT ITER 1131 NEW BEST:: SOT 123180604 SOS 80424663 HAS SOPS 65516771 HAS SOUS 22333261 HAS SOUPS 21763014 WITH SCORE 2.1843438663E7
AT ITER 1132 NEW BEST:: SOT 123177086 SOS 80418607 HAS SOPS 65513841 HAS SOUS 22328243 HAS SOUPS 21758059 WITH SCORE 2.1838477607E7
AT ITER 1134 NEW BEST:: SOT 123177460 SOS 80419000 HAS SOPS 65516326 HAS SOUS 22325002 HAS SOUPS 21754921 WITH SCORE 2.183534E7
AT ITER 1135 NEW BEST:: SOT 123169861 SOS 80420240 HAS SOPS 65515064 HAS SOUS 22310437 HAS SOUPS 21740356 WITH SCORE 2.182077624E7
AT ITER 1136 NEW BEST:: SOT 123169861 SOS 80430575 HAS SOPS 65532359 HAS SOUS 22310375 HAS SOUPS 21740294 WITH SCORE 2.1820724575E7
AT ITER 1137 NEW BEST:: SOT 123169868 SOS 80430994 HAS SOPS 65532738 HAS SOUS 22309837 HAS SOUPS 21739756 WITH SCORE 2.1820186994E7
AT ITER 1164 NEW BEST:: SOT 123144641 SOS 80315896 HAS SOPS 65540827 HAS SOUS 22295522 HAS SOUPS 21725365 WITH SCORE 2.1805680896E7
AT ITER 1166 NEW BEST:: SOT 123145277 SOS 80330550 HAS SOPS 65564025 HAS SOUS 22295497 HAS SOUPS 21725340 WITH SCORE 2.180567055E7
AT ITER 1172 NEW BEST:: SOT 123145277 SOS 80330646 HAS SOPS 65564153 HAS SOUS 22295496 HAS SOUPS 21725339 WITH SCORE 2.1805669646E7
AT ITER 1173 NEW BEST:: SOT 123128782 SOS 80325022 HAS SOPS 65599818 HAS SOUS 22290121 HAS SOUPS 21719964 WITH SCORE 2.1800289022E7
AT ITER 1174 NEW BEST:: SOT 123111735 SOS 80307172 HAS SOPS 65582197 HAS SOUS 22267847 HAS SOUPS 21697710 WITH SCORE 2.1778017172E7
AT ITER 1177 NEW BEST:: SOT 123106174 SOS 80296099 HAS SOPS 65573809 HAS SOUS 22260826 HAS SOUPS 21691025 WITH SCORE 2.1771321099E7
AT ITER 1187 NEW BEST:: SOT 123163271 SOS 80404403 HAS SOPS 65665063 HAS SOUS 22243549 HAS SOUPS 21674108 WITH SCORE 2.1754512403E7
AT ITER 1194 NEW BEST:: SOT 123181622 SOS 80433075 HAS SOPS 65691151 HAS SOUS 22216171 HAS SOUPS 21646342 WITH SCORE 2.1726775075E7
AT ITER 1199 NEW BEST:: SOT 123189584 SOS 80441764 HAS SOPS 65700288 HAS SOUS 22200177 HAS SOUPS 21630348 WITH SCORE 2.1710789764E7
AT ITER 1232 NEW BEST:: SOT 123189058 SOS 80441616 HAS SOPS 65699254 HAS SOUS 22198635 HAS SOUPS 21628792 WITH SCORE 2.1709233616E7
AT ITER 1237 NEW BEST:: SOT 123187276 SOS 80440375 HAS SOPS 65698123 HAS SOUS 22195933 HAS SOUPS 21626114 WITH SCORE 2.1706554375E7
AT ITER 1238 NEW BEST:: SOT 123186361 SOS 80433496 HAS SOPS 65694402 HAS SOUS 22195024 HAS SOUPS 21625205 WITH SCORE 2.1705638496E7
AT ITER 1261 NEW BEST:: SOT 123186361 SOS 80433691 HAS SOPS 65694422 HAS SOUS 22194998 HAS SOUPS 21625179 WITH SCORE 2.1705612691E7
AT ITER 1264 NEW BEST:: SOT 123183261 SOS 80426285 HAS SOPS 65685808 HAS SOUS 22194033 HAS SOUPS 21624272 WITH SCORE 2.1704698285E7
AT ITER 1270 NEW BEST:: SOT 123177643 SOS 80398860 HAS SOPS 65659386 HAS SOUS 22193929 HAS SOUPS 21624168 WITH SCORE 2.170456686E7
AT ITER 1272 NEW BEST:: SOT 123179985 SOS 80419032 HAS SOPS 65679133 HAS SOUS 22184591 HAS SOUPS 21614830 WITH SCORE 2.1695249032E7
AT ITER 1297 NEW BEST:: SOT 123197599 SOS 80453551 HAS SOPS 65703622 HAS SOUS 22162931 HAS SOUPS 21593170 WITH SCORE 2.1673623551E7
AT ITER 1304 NEW BEST:: SOT 123186455 SOS 80456715 HAS SOPS 65704610 HAS SOUS 22113249 HAS SOUPS 21543488 WITH SCORE 2.1623944715E7
AT ITER 1305 NEW BEST:: SOT 123178592 SOS 80448475 HAS SOPS 65700719 HAS SOUS 22086536 HAS SOUPS 21517123 WITH SCORE 2.1597571475E7
AT ITER 1324 NEW BEST:: SOT 123179160 SOS 80452450 HAS SOPS 65701924 HAS SOUS 22075050 HAS SOUPS 21505637 WITH SCORE 2.158608945E7
AT ITER 1325 NEW BEST:: SOT 123178152 SOS 80451454 HAS SOPS 65700568 HAS SOUS 22072554 HAS SOUPS 21503141 WITH SCORE 2.1583592454E7
AT ITER 1330 NEW BEST:: SOT 123177127 SOS 80449454 HAS SOPS 65698530 HAS SOUS 22070449 HAS SOUPS 21501078 WITH SCORE 2.1581527454E7
AT ITER 1352 NEW BEST:: SOT 123164848 SOS 80435100 HAS SOPS 65684288 HAS SOUS 22050095 HAS SOUPS 21480732 WITH SCORE 2.15611671E7
AT ITER 1362 NEW BEST:: SOT 123147133 SOS 80417385 HAS SOPS 65665741 HAS SOUS 22032124 HAS SOUPS 21462057 WITH SCORE 2.1542474385E7
AT ITER 1365 NEW BEST:: SOT 123145816 SOS 80413335 HAS SOPS 65672670 HAS SOUS 22025721 HAS SOUPS 21455894 WITH SCORE 2.1536307335E7
AT ITER 1369 NEW BEST:: SOT 123145569 SOS 80413100 HAS SOPS 65672322 HAS SOUS 22025258 HAS SOUPS 21455431 WITH SCORE 2.15358441E7
AT ITER 1373 NEW BEST:: SOT 123164205 SOS 80472406 HAS SOPS 65720715 HAS SOUS 22014525 HAS SOUPS 21444698 WITH SCORE 2.1525170406E7
AT ITER 1384 NEW BEST:: SOT 123163479 SOS 80471680 HAS SOPS 65719989 HAS SOUS 22013239 HAS SOUPS 21443412 WITH SCORE 2.152388368E7
AT ITER 1385 NEW BEST:: SOT 123174492 SOS 80486687 HAS SOPS 65731490 HAS SOUS 22011337 HAS SOUPS 21441548 WITH SCORE 2.1522034687E7
AT ITER 1389 NEW BEST:: SOT 123151943 SOS 80454363 HAS SOPS 65701151 HAS SOUS 21974077 HAS SOUPS 21404419 WITH SCORE 2.1484873363E7
AT ITER 1392 NEW BEST:: SOT 123134142 SOS 80439693 HAS SOPS 65679583 HAS SOUS 21929404 HAS SOUPS 21359746 WITH SCORE 2.1440185693E7
AT ITER 1416 NEW BEST:: SOT 123134149 SOS 80437329 HAS SOPS 65682087 HAS SOUS 21929152 HAS SOUPS 21359494 WITH SCORE 2.1439931329E7
AT ITER 1419 NEW BEST:: SOT 123131401 SOS 80433319 HAS SOPS 65673982 HAS SOUS 21927937 HAS SOUPS 21358279 WITH SCORE 2.1438712319E7
AT ITER 1424 NEW BEST:: SOT 123131298 SOS 80433216 HAS SOPS 65673843 HAS SOUS 21927833 HAS SOUPS 21358166 WITH SCORE 2.1438599216E7
AT ITER 1438 NEW BEST:: SOT 123046609 SOS 80331699 HAS SOPS 65596537 HAS SOUS 21760742 HAS SOUPS 21191978 WITH SCORE 2.1272309699E7
AT ITER 1464 NEW BEST:: SOT 123046280 SOS 80339619 HAS SOPS 65594359 HAS SOUS 21745836 HAS SOUPS 21177072 WITH SCORE 2.1257411619E7
AT ITER 1497 NEW BEST:: SOT 123044376 SOS 80366907 HAS SOPS 65598535 HAS SOUS 21692641 HAS SOUPS 21123877 WITH SCORE 2.1204243907E7
AT ITER 1502 NEW BEST:: SOT 123044401 SOS 80366962 HAS SOPS 65598545 HAS SOUS 21692357 HAS SOUPS 21123593 WITH SCORE 2.1203959962E7
AT ITER 1510 NEW BEST:: SOT 123040869 SOS 80357298 HAS SOPS 65588885 HAS SOUS 21688611 HAS SOUPS 21119847 WITH SCORE 2.1200204298E7
AT ITER 1518 NEW BEST:: SOT 123017983 SOS 80319611 HAS SOPS 65571535 HAS SOUS 21682356 HAS SOUPS 21113592 WITH SCORE 2.1193911611E7
AT ITER 1531 NEW BEST:: SOT 123012492 SOS 80314111 HAS SOPS 65566035 HAS SOUS 21681718 HAS SOUPS 21112954 WITH SCORE 2.1193268111E7
AT ITER 1542 NEW BEST:: SOT 123019975 SOS 80334912 HAS SOPS 65573262 HAS SOUS 21673113 HAS SOUPS 21104349 WITH SCORE 2.1184683912E7
AT ITER 1550 NEW BEST:: SOT 123021347 SOS 80333153 HAS SOPS 65575793 HAS SOUS 21668229 HAS SOUPS 21099552 WITH SCORE 2.1179885153E7
AT ITER 1567 NEW BEST:: SOT 123008647 SOS 80318487 HAS SOPS 65557627 HAS SOUS 21647359 HAS SOUPS 21078682 WITH SCORE 2.1159000487E7
AT ITER 1581 NEW BEST:: SOT 123024326 SOS 80358068 HAS SOPS 65599215 HAS SOUS 21643127 HAS SOUPS 21074450 WITH SCORE 2.1154808068E7
AT ITER 1622 NEW BEST:: SOT 123012436 SOS 80339259 HAS SOPS 65583248 HAS SOUS 21619530 HAS SOUPS 21051248 WITH SCORE 2.1131587259E7
AT ITER 1670 NEW BEST:: SOT 123035602 SOS 80371047 HAS SOPS 65616442 HAS SOUS 21618846 HAS SOUPS 21050564 WITH SCORE 2.1130935047E7
AT ITER 1683 NEW BEST:: SOT 123035602 SOS 80357475 HAS SOPS 65612662 HAS SOUS 21618733 HAS SOUPS 21050451 WITH SCORE 2.1130808475E7
AT ITER 1692 NEW BEST:: SOT 123016894 SOS 80330037 HAS SOPS 65592492 HAS SOUS 21599501 HAS SOUPS 21031343 WITH SCORE 2.1111673037E7
AT ITER 1707 NEW BEST:: SOT 123004138 SOS 80317833 HAS SOPS 65576737 HAS SOUS 21596470 HAS SOUPS 21027424 WITH SCORE 2.1107741833E7
AT ITER 1713 NEW BEST:: SOT 122975376 SOS 80252466 HAS SOPS 65532918 HAS SOUS 21590608 HAS SOUPS 21022318 WITH SCORE 2.1102570466E7
AT ITER 1718 NEW BEST:: SOT 122975462 SOS 80266383 HAS SOPS 65544063 HAS SOUS 21586063 HAS SOUPS 21017773 WITH SCORE 2.1098039383E7
AT ITER 1720 NEW BEST:: SOT 122973306 SOS 80263892 HAS SOPS 65541735 HAS SOUS 21584255 HAS SOUPS 21015965 WITH SCORE 2.1096228892E7
AT ITER 1721 NEW BEST:: SOT 122976500 SOS 80270934 HAS SOPS 65547136 HAS SOUS 21578629 HAS SOUPS 21010334 WITH SCORE 2.1090604934E7
AT ITER 1726 NEW BEST:: SOT 122961321 SOS 80252256 HAS SOPS 65533198 HAS SOUS 21561188 HAS SOUPS 20992893 WITH SCORE 2.1073145256E7
AT ITER 1729 NEW BEST:: SOT 122961335 SOS 80246136 HAS SOPS 65565410 HAS SOUS 21559338 HAS SOUPS 20991289 WITH SCORE 2.1071535136E7
AT ITER 1748 NEW BEST:: SOT 122970949 SOS 80266311 HAS SOPS 65585390 HAS SOUS 21547990 HAS SOUPS 20979659 WITH SCORE 2.1059925311E7
AT ITER 1752 NEW BEST:: SOT 122966804 SOS 80262054 HAS SOPS 65581469 HAS SOUS 21544141 HAS SOUPS 20976146 WITH SCORE 2.1056408054E7
AT ITER 1759 NEW BEST:: SOT 122966543 SOS 80261757 HAS SOPS 65581038 HAS SOUS 21543556 HAS SOUPS 20975561 WITH SCORE 2.1055822757E7
AT ITER 1772 NEW BEST:: SOT 122959712 SOS 80245779 HAS SOPS 65575060 HAS SOUS 21541952 HAS SOUPS 20974073 WITH SCORE 2.1054318779E7
AT ITER 1773 NEW BEST:: SOT 122954952 SOS 80239043 HAS SOPS 65568615 HAS SOUS 21528990 HAS SOUPS 20961111 WITH SCORE 2.1041350043E7
AT ITER 1781 NEW BEST:: SOT 122947562 SOS 80231770 HAS SOPS 65561169 HAS SOUS 21509088 HAS SOUPS 20941027 WITH SCORE 2.102125877E7
AT ITER 1799 NEW BEST:: SOT 122939742 SOS 80219986 HAS SOPS 65552508 HAS SOUS 21485132 HAS SOUPS 20917071 WITH SCORE 2.0997290986E7
AT ITER 1812 NEW BEST:: SOT 122938223 SOS 80216987 HAS SOPS 65550363 HAS SOUS 21483478 HAS SOUPS 20915436 WITH SCORE 2.0995652987E7
AT ITER 1823 NEW BEST:: SOT 122934433 SOS 80212188 HAS SOPS 65544604 HAS SOUS 21476939 HAS SOUPS 20908934 WITH SCORE 2.0989146188E7
AT ITER 1836 NEW BEST:: SOT 122933651 SOS 80211406 HAS SOPS 65543598 HAS SOUS 21474725 HAS SOUPS 20906720 WITH SCORE 2.0986931406E7
AT ITER 1845 NEW BEST:: SOT 122932650 SOS 80210405 HAS SOPS 65542597 HAS SOUS 21473628 HAS SOUPS 20905623 WITH SCORE 2.0985833405E7
AT ITER 1863 NEW BEST:: SOT 122930531 SOS 80208234 HAS SOPS 65540426 HAS SOUS 21467219 HAS SOUPS 20899214 WITH SCORE 2.0979422234E7
AT ITER 1869 NEW BEST:: SOT 122919290 SOS 80196378 HAS SOPS 65525915 HAS SOUS 21444393 HAS SOUPS 20876388 WITH SCORE 2.0956584378E7
AT ITER 1872 NEW BEST:: SOT 122909804 SOS 80176069 HAS SOPS 65520293 HAS SOUS 21434924 HAS SOUPS 20866919 WITH SCORE 2.0947095069E7
AT ITER 1887 NEW BEST:: SOT 122904800 SOS 80178717 HAS SOPS 65518916 HAS SOUS 21407726 HAS SOUPS 20839721 WITH SCORE 2.0919899717E7
AT ITER 1894 NEW BEST:: SOT 122898256 SOS 80171652 HAS SOPS 65507067 HAS SOUS 21391183 HAS SOUPS 20823111 WITH SCORE 2.0903282652E7
AT ITER 1939 NEW BEST:: SOT 122894715 SOS 80167037 HAS SOPS 65501915 HAS SOUS 21386733 HAS SOUPS 20818661 WITH SCORE 2.0898828037E7
AT ITER 1941 NEW BEST:: SOT 122894730 SOS 80165172 HAS SOPS 65500071 HAS SOUS 21381872 HAS SOUPS 20813800 WITH SCORE 2.0893965172E7
AT ITER 1946 NEW BEST:: SOT 122892808 SOS 80164577 HAS SOPS 65497237 HAS SOUS 21374086 HAS SOUPS 20806014 WITH SCORE 2.0886178577E7
AT ITER 1948 NEW BEST:: SOT 122915970 SOS 80215947 HAS SOPS 65543106 HAS SOUS 21356717 HAS SOUPS 20788645 WITH SCORE 2.0868860947E7
AT ITER 1959 NEW BEST:: SOT 122912130 SOS 80209261 HAS SOPS 65539454 HAS SOUS 21348814 HAS SOUPS 20780742 WITH SCORE 2.0860951261E7
AT ITER 1964 NEW BEST:: SOT 122921974 SOS 80221830 HAS SOPS 65552960 HAS SOUS 21343174 HAS SOUPS 20775191 WITH SCORE 2.085541283E7
AT ITER 1979 NEW BEST:: SOT 122916818 SOS 80215350 HAS SOPS 65546034 HAS SOUS 21333015 HAS SOUPS 20764999 WITH SCORE 2.084521435E7
AT ITER 1984 NEW BEST:: SOT 122918187 SOS 80218726 HAS SOPS 65547460 HAS SOUS 21333646 HAS SOUPS 20764766 WITH SCORE 2.0844984726E7
AT ITER 2020 NEW BEST:: SOT 122926517 SOS 80247341 HAS SOPS 65578660 HAS SOUS 21330317 HAS SOUPS 20761437 WITH SCORE 2.0841684341E7
AT ITER 2026 NEW BEST:: SOT 122926363 SOS 80247150 HAS SOPS 65578471 HAS SOUS 21330299 HAS SOUPS 20761419 WITH SCORE 2.084166615E7
AT ITER 2039 NEW BEST:: SOT 122923847 SOS 80238893 HAS SOPS 65577766 HAS SOUS 21330236 HAS SOUPS 20761356 WITH SCORE 2.0841594893E7
AT ITER 2043 NEW BEST:: SOT 122909017 SOS 80194908 HAS SOPS 65529579 HAS SOUS 21316583 HAS SOUPS 20747703 WITH SCORE 2.0827897908E7
AT ITER 2049 NEW BEST:: SOT 122908844 SOS 80194735 HAS SOPS 65529406 HAS SOUS 21316154 HAS SOUPS 20747274 WITH SCORE 2.0827468735E7
AT ITER 2059 NEW BEST:: SOT 122887897 SOS 80177280 HAS SOPS 65454866 HAS SOUS 21301673 HAS SOUPS 20723285 WITH SCORE 2.080346228E7
AT ITER 2064 NEW BEST:: SOT 122887835 SOS 80189675 HAS SOPS 65462080 HAS SOUS 21297953 HAS SOUPS 20719565 WITH SCORE 2.0799754675E7
AT ITER 2103 NEW BEST:: SOT 122866120 SOS 80130351 HAS SOPS 65411942 HAS SOUS 21290651 HAS SOUPS 20712263 WITH SCORE 2.0792393351E7
AT ITER 2110 NEW BEST:: SOT 122840940 SOS 80104295 HAS SOPS 65383842 HAS SOUS 21231206 HAS SOUPS 20653064 WITH SCORE 2.0733168295E7
AT ITER 2121 NEW BEST:: SOT 122841888 SOS 80116827 HAS SOPS 65396997 HAS SOUS 21228085 HAS SOUPS 20650188 WITH SCORE 2.0730304827E7
AT ITER 2134 NEW BEST:: SOT 122778326 SOS 79987351 HAS SOPS 65273443 HAS SOUS 21166901 HAS SOUPS 20589004 WITH SCORE 2.0668991351E7
AT ITER 2146 NEW BEST:: SOT 122770132 SOS 79978161 HAS SOPS 65262077 HAS SOUS 21147399 HAS SOUPS 20569502 WITH SCORE 2.0649480161E7
AT ITER 2156 NEW BEST:: SOT 122833677 SOS 80103523 HAS SOPS 65379636 HAS SOUS 21138769 HAS SOUPS 20560872 WITH SCORE 2.0640975523E7
AT ITER 2165 NEW BEST:: SOT 122834171 SOS 80104131 HAS SOPS 65380314 HAS SOUS 21138734 HAS SOUPS 20560837 WITH SCORE 2.0640941131E7
AT ITER 2170 NEW BEST:: SOT 122838921 SOS 80081693 HAS SOPS 65351744 HAS SOUS 21081990 HAS SOUPS 20504093 WITH SCORE 2.0584174693E7
AT ITER 2175 NEW BEST:: SOT 122836909 SOS 80079801 HAS SOPS 65348316 HAS SOUS 21079809 HAS SOUPS 20501912 WITH SCORE 2.0581991801E7
AT ITER 2191 NEW BEST:: SOT 122829497 SOS 80070764 HAS SOPS 65343768 HAS SOUS 21049580 HAS SOUPS 20471783 WITH SCORE 2.0551853764E7
AT ITER 2200 NEW BEST:: SOT 122831073 SOS 80074092 HAS SOPS 65345626 HAS SOUS 21048323 HAS SOUPS 20470501 WITH SCORE 2.0550575092E7
AT ITER 2203 NEW BEST:: SOT 122821724 SOS 80060762 HAS SOPS 65325520 HAS SOUS 21014041 HAS SOUPS 20436219 WITH SCORE 2.0516279762E7
AT ITER 2218 NEW BEST:: SOT 122831808 SOS 80061379 HAS SOPS 65338072 HAS SOUS 21007455 HAS SOUPS 20429771 WITH SCORE 2.0509832379E7
AT ITER 2224 NEW BEST:: SOT 122830893 SOS 80060432 HAS SOPS 65338533 HAS SOUS 21005846 HAS SOUPS 20429570 WITH SCORE 2.0509630432E7
AT ITER 2227 NEW BEST:: SOT 122832350 SOS 80058884 HAS SOPS 65335800 HAS SOUS 20996824 HAS SOUPS 20420600 WITH SCORE 2.0500658884E7
AT ITER 2229 NEW BEST:: SOT 122826441 SOS 80052754 HAS SOPS 65330199 HAS SOUS 20995928 HAS SOUPS 20419652 WITH SCORE 2.0499704754E7
AT ITER 2234 NEW BEST:: SOT 122826525 SOS 80056377 HAS SOPS 65339540 HAS SOUS 20995786 HAS SOUPS 20419510 WITH SCORE 2.0499566377E7
AT ITER 2245 NEW BEST:: SOT 122825949 SOS 80057775 HAS SOPS 65338637 HAS SOUS 20988339 HAS SOUPS 20412063 WITH SCORE 2.0492120775E7
AT ITER 2257 NEW BEST:: SOT 122826536 SOS 80057546 HAS SOPS 65338568 HAS SOUS 20985595 HAS SOUPS 20409639 WITH SCORE 2.0489696546E7
AT ITER 2259 NEW BEST:: SOT 122814825 SOS 80048759 HAS SOPS 65341476 HAS SOUS 20930809 HAS SOUPS 20354853 WITH SCORE 2.0434901759E7
AT ITER 2260 NEW BEST:: SOT 122801972 SOS 80018717 HAS SOPS 65305510 HAS SOUS 20922503 HAS SOUPS 20346547 WITH SCORE 2.0426565717E7
AT ITER 2294 NEW BEST:: SOT 122810953 SOS 80030718 HAS SOPS 65314139 HAS SOUS 20911291 HAS SOUPS 20333176 WITH SCORE 2.0413206718E7
AT ITER 2320 NEW BEST:: SOT 122810953 SOS 80014481 HAS SOPS 65325210 HAS SOUS 20910006 HAS SOUPS 20331891 WITH SCORE 2.0411905481E7
AT ITER 2324 NEW BEST:: SOT 122834146 SOS 80052696 HAS SOPS 65363678 HAS SOUS 20898952 HAS SOUPS 20321166 WITH SCORE 2.0401218696E7
AT ITER 2349 NEW BEST:: SOT 122830555 SOS 80044240 HAS SOPS 65359856 HAS SOUS 20896620 HAS SOUPS 20318834 WITH SCORE 2.039887824E7
AT ITER 2366 NEW BEST:: SOT 122830900 SOS 80050476 HAS SOPS 65356702 HAS SOUS 20886116 HAS SOUPS 20308246 WITH SCORE 2.0388296476E7
AT ITER 2370 NEW BEST:: SOT 122830305 SOS 80049836 HAS SOPS 65356082 HAS SOUS 20884997 HAS SOUPS 20307132 WITH SCORE 2.0387181836E7
AT ITER 2389 NEW BEST:: SOT 122840118 SOS 80073197 HAS SOPS 65383364 HAS SOUS 20878202 HAS SOUPS 20300337 WITH SCORE 2.0380410197E7
AT ITER 2390 NEW BEST:: SOT 122840036 SOS 80074165 HAS SOPS 65381844 HAS SOUS 20876466 HAS SOUPS 20298601 WITH SCORE 2.0378675165E7
AT ITER 2391 NEW BEST:: SOT 122845279 SOS 80084939 HAS SOPS 65397071 HAS SOUS 20853778 HAS SOUPS 20276014 WITH SCORE 2.0356098939E7
AT ITER 2406 NEW BEST:: SOT 122843488 SOS 80083787 HAS SOPS 65407392 HAS SOUS 20852671 HAS SOUPS 20274907 WITH SCORE 2.0354990787E7
AT ITER 2409 NEW BEST:: SOT 122835159 SOS 80073765 HAS SOPS 65395669 HAS SOUS 20838933 HAS SOUPS 20261169 WITH SCORE 2.0341242765E7
AT ITER 2412 NEW BEST:: SOT 122836785 SOS 80076020 HAS SOPS 65394868 HAS SOUS 20833426 HAS SOUPS 20255816 WITH SCORE 2.033589202E7
AT ITER 2421 NEW BEST:: SOT 122823520 SOS 80051197 HAS SOPS 65364179 HAS SOUS 20817001 HAS SOUPS 20239391 WITH SCORE 2.0319442197E7
AT ITER 2425 NEW BEST:: SOT 122814030 SOS 80037333 HAS SOPS 65350994 HAS SOUS 20796453 HAS SOUPS 20218843 WITH SCORE 2.0298880333E7
AT ITER 2460 NEW BEST:: SOT 122813674 SOS 80036574 HAS SOPS 65350229 HAS SOUS 20795857 HAS SOUPS 20218247 WITH SCORE 2.0298283574E7
AT ITER 2482 NEW BEST:: SOT 122813328 SOS 80034481 HAS SOPS 65346885 HAS SOUS 20793476 HAS SOUPS 20215934 WITH SCORE 2.0295968481E7
AT ITER 2491 NEW BEST:: SOT 122836517 SOS 80100233 HAS SOPS 65412250 HAS SOUS 20785765 HAS SOUPS 20208223 WITH SCORE 2.0288323233E7
AT ITER 2503 NEW BEST:: SOT 122816302 SOS 80091487 HAS SOPS 65408243 HAS SOUS 20776126 HAS SOUPS 20198384 WITH SCORE 2.0278475487E7
AT ITER 2515 NEW BEST:: SOT 122816021 SOS 80069767 HAS SOPS 65393694 HAS SOUS 20775596 HAS SOUPS 20197854 WITH SCORE 2.0277923767E7
AT ITER 2518 NEW BEST:: SOT 122811130 SOS 80064876 HAS SOPS 65389067 HAS SOUS 20770515 HAS SOUPS 20193021 WITH SCORE 2.0273085876E7
AT ITER 2523 NEW BEST:: SOT 122835108 SOS 80097867 HAS SOPS 65432207 HAS SOUS 20751830 HAS SOUPS 20174336 WITH SCORE 2.0254433867E7
AT ITER 2531 NEW BEST:: SOT 122835226 SOS 80098236 HAS SOPS 65432479 HAS SOUS 20751702 HAS SOUPS 20174208 WITH SCORE 2.0254306236E7
AT ITER 2537 NEW BEST:: SOT 122864544 SOS 80159368 HAS SOPS 65491189 HAS SOUS 20748732 HAS SOUPS 20171430 WITH SCORE 2.0251589368E7
AT ITER 2540 NEW BEST:: SOT 122861017 SOS 80151583 HAS SOPS 65484381 HAS SOUS 20745565 HAS SOUPS 20168263 WITH SCORE 2.0248414583E7
AT ITER 2599 NEW BEST:: SOT 122884022 SOS 80150323 HAS SOPS 65495497 HAS SOUS 20721313 HAS SOUPS 20148357 WITH SCORE 2.0228507323E7
AT ITER 2602 NEW BEST:: SOT 122877818 SOS 80154098 HAS SOPS 65492897 HAS SOUS 20681739 HAS SOUPS 20108783 WITH SCORE 2.0188937098E7
AT ITER 2617 NEW BEST:: SOT 122870056 SOS 80146137 HAS SOPS 65484765 HAS SOUS 20676054 HAS SOUPS 20103098 WITH SCORE 2.0183244137E7
AT ITER 2618 NEW BEST:: SOT 122890357 SOS 80162784 HAS SOPS 65499091 HAS SOUS 20656814 HAS SOUPS 20084276 WITH SCORE 2.0164438784E7
AT ITER 2624 NEW BEST:: SOT 122889192 SOS 80159185 HAS SOPS 65497879 HAS SOUS 20650490 HAS SOUPS 20078039 WITH SCORE 2.0158198185E7
AT ITER 2679 NEW BEST:: SOT 122888861 SOS 80151898 HAS SOPS 65493616 HAS SOUS 20650477 HAS SOUPS 20078026 WITH SCORE 2.0158177898E7
AT ITER 2692 NEW BEST:: SOT 122893122 SOS 80166113 HAS SOPS 65501890 HAS SOUS 20631157 HAS SOUPS 20058706 WITH SCORE 2.0138872113E7
AT ITER 2695 NEW BEST:: SOT 122889573 SOS 80161612 HAS SOPS 65494912 HAS SOUS 20624355 HAS SOUPS 20051776 WITH SCORE 2.0131937612E7
AT ITER 2697 NEW BEST:: SOT 122854425 SOS 80119787 HAS SOPS 65452110 HAS SOUS 20581217 HAS SOUPS 20008535 WITH SCORE 2.0088654787E7
AT ITER 2702 NEW BEST:: SOT 122852950 SOS 80118812 HAS SOPS 65450745 HAS SOUS 20577157 HAS SOUPS 20004475 WITH SCORE 2.0084593812E7
AT ITER 2711 NEW BEST:: SOT 122847509 SOS 80112798 HAS SOPS 65442809 HAS SOUS 20567371 HAS SOUPS 19994689 WITH SCORE 2.0074801798E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 15441228 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16076340 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-5"
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-5, 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-167889194400184"
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 [ "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 ;