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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 70M
-rw-r--r-- 1 mcc users 6.1K Feb 25 13:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 63K Feb 25 13:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 25 13:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 44K 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.6K 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.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 8.7K Feb 25 14:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 88K Feb 25 14:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 14K Feb 25 13:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 88K Feb 25 13:57 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 1679484331155

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-2
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb115 (PT), instance 2
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 123429591 SOS 80220243 HAS SOPS 65196960 HAS SOUS 24043729 HAS SOUPS 23470976 WITH SCORE 2.3551196243E7
AT ITER 11 NEW BEST:: SOT 123422396 SOS 80212904 HAS SOPS 65183921 HAS SOUS 24038801 HAS SOUPS 23466048 WITH SCORE 2.3546260904E7
AT ITER 15 NEW BEST:: SOT 123416683 SOS 80206729 HAS SOPS 65179494 HAS SOUS 24028048 HAS SOUPS 23455295 WITH SCORE 2.3535501729E7
AT ITER 25 NEW BEST:: SOT 123422590 SOS 80213680 HAS SOPS 65188755 HAS SOUS 24020690 HAS SOUPS 23447937 WITH SCORE 2.352815068E7
AT ITER 27 NEW BEST:: SOT 123423648 SOS 80216269 HAS SOPS 65190808 HAS SOUS 24020106 HAS SOUPS 23447353 WITH SCORE 2.3527569269E7
AT ITER 28 NEW BEST:: SOT 123430565 SOS 80227288 HAS SOPS 65208892 HAS SOUS 24015593 HAS SOUPS 23442840 WITH SCORE 2.3523067288E7
AT ITER 35 NEW BEST:: SOT 123424934 SOS 80222777 HAS SOPS 65213300 HAS SOUS 24014551 HAS SOUPS 23441798 WITH SCORE 2.3522020777E7
AT ITER 41 NEW BEST:: SOT 123424899 SOS 80223338 HAS SOPS 65213108 HAS SOUS 24014023 HAS SOUPS 23441270 WITH SCORE 2.3521493338E7
AT ITER 47 NEW BEST:: SOT 123431424 SOS 80242721 HAS SOPS 65226192 HAS SOUS 23998209 HAS SOUPS 23425201 WITH SCORE 2.3505443721E7
AT ITER 54 NEW BEST:: SOT 123431428 SOS 80242955 HAS SOPS 65226410 HAS SOUS 23998195 HAS SOUPS 23425187 WITH SCORE 2.3505429955E7
AT ITER 58 NEW BEST:: SOT 123429604 SOS 80241094 HAS SOPS 65223070 HAS SOUS 23995182 HAS SOUPS 23422174 WITH SCORE 2.3502415094E7
AT ITER 71 NEW BEST:: SOT 123438253 SOS 80290814 HAS SOPS 65294436 HAS SOUS 23982734 HAS SOUPS 23409920 WITH SCORE 2.3490210814E7
AT ITER 75 NEW BEST:: SOT 123438309 SOS 80312768 HAS SOPS 65332195 HAS SOUS 23982282 HAS SOUPS 23409468 WITH SCORE 2.3489780768E7
AT ITER 87 NEW BEST:: SOT 123425097 SOS 80299643 HAS SOPS 65318434 HAS SOUS 23952251 HAS SOUPS 23379516 WITH SCORE 2.3459815643E7
AT ITER 101 NEW BEST:: SOT 123418922 SOS 80290442 HAS SOPS 65310649 HAS SOUS 23944365 HAS SOUPS 23371630 WITH SCORE 2.3451920442E7
AT ITER 107 NEW BEST:: SOT 123417829 SOS 80291011 HAS SOPS 65310535 HAS SOUS 23917100 HAS SOUPS 23344620 WITH SCORE 2.3424911011E7
AT ITER 108 NEW BEST:: SOT 123412354 SOS 80281109 HAS SOPS 65302989 HAS SOUS 23910017 HAS SOUPS 23337537 WITH SCORE 2.3417818109E7
AT ITER 115 NEW BEST:: SOT 123405998 SOS 80275889 HAS SOPS 65295482 HAS SOUS 23891041 HAS SOUPS 23318561 WITH SCORE 2.3398836889E7
AT ITER 119 NEW BEST:: SOT 123498075 SOS 80461145 HAS SOPS 65458294 HAS SOUS 23825234 HAS SOUPS 23250222 WITH SCORE 2.3330683145E7
AT ITER 131 NEW BEST:: SOT 123499211 SOS 80463132 HAS SOPS 65459924 HAS SOUS 23823198 HAS SOUPS 23248186 WITH SCORE 2.3328649132E7
AT ITER 148 NEW BEST:: SOT 123498565 SOS 80467304 HAS SOPS 65463191 HAS SOUS 23820942 HAS SOUPS 23245930 WITH SCORE 2.3326397304E7
AT ITER 152 NEW BEST:: SOT 123494195 SOS 80462418 HAS SOPS 65458621 HAS SOUS 23812579 HAS SOUPS 23237634 WITH SCORE 2.3318096418E7
AT ITER 166 NEW BEST:: SOT 123494029 SOS 80462153 HAS SOPS 65459042 HAS SOUS 23810738 HAS SOUPS 23235975 WITH SCORE 2.3316437153E7
AT ITER 167 NEW BEST:: SOT 123513865 SOS 80487558 HAS SOPS 65536783 HAS SOUS 23802369 HAS SOUPS 23227606 WITH SCORE 2.3308093558E7
AT ITER 171 NEW BEST:: SOT 123517444 SOS 80495132 HAS SOPS 65539953 HAS SOUS 23758912 HAS SOUPS 23185163 WITH SCORE 2.3265658132E7
AT ITER 182 NEW BEST:: SOT 123496324 SOS 80462895 HAS SOPS 65513812 HAS SOUS 23727499 HAS SOUPS 23154218 WITH SCORE 2.3234680895E7
AT ITER 183 NEW BEST:: SOT 123493056 SOS 80460233 HAS SOPS 65511039 HAS SOUS 23728797 HAS SOUPS 23153148 WITH SCORE 2.3233608233E7
AT ITER 197 NEW BEST:: SOT 123502509 SOS 80482989 HAS SOPS 65525766 HAS SOUS 23721101 HAS SOUPS 23145452 WITH SCORE 2.3225934989E7
AT ITER 203 NEW BEST:: SOT 123502394 SOS 80487352 HAS SOPS 65535486 HAS SOUS 23721084 HAS SOUPS 23145435 WITH SCORE 2.3225922352E7
AT ITER 222 NEW BEST:: SOT 123487671 SOS 80468225 HAS SOPS 65512413 HAS SOUS 23683359 HAS SOUPS 23107624 WITH SCORE 2.3188092225E7
AT ITER 235 NEW BEST:: SOT 123491601 SOS 80480404 HAS SOPS 65511107 HAS SOUS 23669373 HAS SOUPS 23093610 WITH SCORE 2.3174090404E7
AT ITER 240 NEW BEST:: SOT 123488270 SOS 80477088 HAS SOPS 65507703 HAS SOUS 23666033 HAS SOUPS 23090206 WITH SCORE 2.3170683088E7
AT ITER 250 NEW BEST:: SOT 123506274 SOS 80523281 HAS SOPS 65572543 HAS SOUS 23654294 HAS SOUPS 23078732 WITH SCORE 2.3159255281E7
AT ITER 254 NEW BEST:: SOT 123507789 SOS 80530428 HAS SOPS 65578070 HAS SOUS 23653139 HAS SOUPS 23077577 WITH SCORE 2.3158107428E7
AT ITER 260 NEW BEST:: SOT 123507789 SOS 80529804 HAS SOPS 65577446 HAS SOUS 23653126 HAS SOUPS 23077564 WITH SCORE 2.3158093804E7
AT ITER 261 NEW BEST:: SOT 123501221 SOS 80523715 HAS SOPS 65575051 HAS SOUS 23618949 HAS SOUPS 23043735 WITH SCORE 2.3124258715E7
AT ITER 266 NEW BEST:: SOT 123505077 SOS 80533332 HAS SOPS 65586453 HAS SOUS 23602084 HAS SOUPS 23026956 WITH SCORE 2.3107489332E7
AT ITER 268 NEW BEST:: SOT 123501829 SOS 80528489 HAS SOPS 65581626 HAS SOUS 23597211 HAS SOUPS 23022083 WITH SCORE 2.3102611489E7
AT ITER 272 NEW BEST:: SOT 123500126 SOS 80530423 HAS SOPS 65613954 HAS SOUS 23596926 HAS SOUPS 23021798 WITH SCORE 2.3102328423E7
AT ITER 277 NEW BEST:: SOT 123553507 SOS 80642474 HAS SOPS 65726048 HAS SOUS 23578881 HAS SOUPS 23003753 WITH SCORE 2.3084395474E7
AT ITER 278 NEW BEST:: SOT 123551852 SOS 80640907 HAS SOPS 65725289 HAS SOUS 23574035 HAS SOUPS 22999084 WITH SCORE 2.3079724907E7
AT ITER 281 NEW BEST:: SOT 123579464 SOS 80729557 HAS SOPS 65815105 HAS SOUS 23571993 HAS SOUPS 22997042 WITH SCORE 2.3077771557E7
AT ITER 304 NEW BEST:: SOT 123579464 SOS 80731975 HAS SOPS 65812339 HAS SOUS 23571271 HAS SOUPS 22996320 WITH SCORE 2.3077051975E7
AT ITER 309 NEW BEST:: SOT 123579351 SOS 80740043 HAS SOPS 65811480 HAS SOUS 23548139 HAS SOUPS 22973188 WITH SCORE 2.3053928043E7
AT ITER 313 NEW BEST:: SOT 123579797 SOS 80742541 HAS SOPS 65813048 HAS SOUS 23545764 HAS SOUPS 22970813 WITH SCORE 2.3051555541E7
AT ITER 352 NEW BEST:: SOT 123552608 SOS 80686404 HAS SOPS 65771196 HAS SOUS 23523516 HAS SOUPS 22948565 WITH SCORE 2.3029251404E7
AT ITER 358 NEW BEST:: SOT 123532095 SOS 80643671 HAS SOPS 65724392 HAS SOUS 23510582 HAS SOUPS 22935631 WITH SCORE 2.3016274671E7
AT ITER 363 NEW BEST:: SOT 123539631 SOS 80661272 HAS SOPS 65734384 HAS SOUS 23509544 HAS SOUPS 22934455 WITH SCORE 2.3015116272E7
AT ITER 371 NEW BEST:: SOT 123540962 SOS 80665049 HAS SOPS 65738027 HAS SOUS 23508133 HAS SOUPS 22933044 WITH SCORE 2.3013709049E7
AT ITER 376 NEW BEST:: SOT 123545500 SOS 80692770 HAS SOPS 65774950 HAS SOUS 23494552 HAS SOUPS 22919463 WITH SCORE 2.300015577E7
AT ITER 377 NEW BEST:: SOT 123547141 SOS 80715167 HAS SOPS 65810357 HAS SOUS 23453104 HAS SOUPS 22878015 WITH SCORE 2.2958730167E7
AT ITER 379 NEW BEST:: SOT 123543984 SOS 80711826 HAS SOPS 65804717 HAS SOUS 23446476 HAS SOUPS 22871387 WITH SCORE 2.2952098826E7
AT ITER 399 NEW BEST:: SOT 123533331 SOS 80695934 HAS SOPS 65791298 HAS SOUS 23433081 HAS SOUPS 22857992 WITH SCORE 2.2938687934E7
AT ITER 414 NEW BEST:: SOT 123519653 SOS 80682454 HAS SOPS 65774968 HAS SOUS 23398481 HAS SOUPS 22823392 WITH SCORE 2.2904074454E7
AT ITER 416 NEW BEST:: SOT 123522735 SOS 80711429 HAS SOPS 65793272 HAS SOUS 23367888 HAS SOUPS 22792799 WITH SCORE 2.2873510429E7
AT ITER 421 NEW BEST:: SOT 123512639 SOS 80697038 HAS SOPS 65781282 HAS SOUS 23339979 HAS SOUPS 22765126 WITH SCORE 2.2845823038E7
AT ITER 424 NEW BEST:: SOT 123512797 SOS 80711343 HAS SOPS 65770045 HAS SOUS 23337846 HAS SOUPS 22762663 WITH SCORE 2.2843374343E7
AT ITER 438 NEW BEST:: SOT 123512797 SOS 80714991 HAS SOPS 65774813 HAS SOUS 23337785 HAS SOUPS 22762602 WITH SCORE 2.2843316991E7
AT ITER 439 NEW BEST:: SOT 123500571 SOS 80689236 HAS SOPS 65757399 HAS SOUS 23328585 HAS SOUPS 22753402 WITH SCORE 2.2834091236E7
AT ITER 440 NEW BEST:: SOT 123516768 SOS 80723343 HAS SOPS 65808995 HAS SOUS 23320361 HAS SOUPS 22745576 WITH SCORE 2.2826299343E7
AT ITER 444 NEW BEST:: SOT 123514935 SOS 80720537 HAS SOPS 65805768 HAS SOUS 23317826 HAS SOUPS 22743041 WITH SCORE 2.2823761537E7
AT ITER 450 NEW BEST:: SOT 123513030 SOS 80712906 HAS SOPS 65807661 HAS SOUS 23303498 HAS SOUPS 22729404 WITH SCORE 2.2810116906E7
AT ITER 458 NEW BEST:: SOT 123559811 SOS 80780560 HAS SOPS 65905692 HAS SOUS 23301071 HAS SOUPS 22727454 WITH SCORE 2.280823456E7
AT ITER 468 NEW BEST:: SOT 123559721 SOS 80780470 HAS SOPS 65905602 HAS SOUS 23300603 HAS SOUPS 22726986 WITH SCORE 2.280776647E7
AT ITER 481 NEW BEST:: SOT 123544601 SOS 80758726 HAS SOPS 65881724 HAS SOUS 23271220 HAS SOUPS 22697603 WITH SCORE 2.2778361726E7
AT ITER 489 NEW BEST:: SOT 123513018 SOS 80705539 HAS SOPS 65834246 HAS SOUS 23251236 HAS SOUPS 22677917 WITH SCORE 2.2758622539E7
AT ITER 506 NEW BEST:: SOT 123518245 SOS 80732648 HAS SOPS 65864769 HAS SOUS 23245382 HAS SOUPS 22672063 WITH SCORE 2.2752795648E7
AT ITER 509 NEW BEST:: SOT 123526134 SOS 80754433 HAS SOPS 65899140 HAS SOUS 23229564 HAS SOUPS 22656245 WITH SCORE 2.2736999433E7
AT ITER 517 NEW BEST:: SOT 123526178 SOS 80754713 HAS SOPS 65899202 HAS SOUS 23229240 HAS SOUPS 22655919 WITH SCORE 2.2736673713E7
AT ITER 518 NEW BEST:: SOT 123526418 SOS 80755655 HAS SOPS 65899850 HAS SOUS 23228988 HAS SOUPS 22655667 WITH SCORE 2.2736422655E7
AT ITER 538 NEW BEST:: SOT 123543984 SOS 80786188 HAS SOPS 65942051 HAS SOUS 23227582 HAS SOUPS 22654336 WITH SCORE 2.2735122188E7
AT ITER 539 NEW BEST:: SOT 123525263 SOS 80753876 HAS SOPS 65922955 HAS SOUS 23215118 HAS SOUPS 22641872 WITH SCORE 2.2722625876E7
AT ITER 541 NEW BEST:: SOT 123525407 SOS 80754185 HAS SOPS 65923372 HAS SOUS 23214991 HAS SOUPS 22641759 WITH SCORE 2.2722513185E7
AT ITER 549 NEW BEST:: SOT 123529752 SOS 80762229 HAS SOPS 65928656 HAS SOUS 23207347 HAS SOUPS 22634115 WITH SCORE 2.2714877229E7
AT ITER 565 NEW BEST:: SOT 123526502 SOS 80753108 HAS SOPS 65927286 HAS SOUS 23204464 HAS SOUPS 22631232 WITH SCORE 2.2711985108E7
AT ITER 573 NEW BEST:: SOT 123525413 SOS 80750281 HAS SOPS 65925342 HAS SOUS 23204275 HAS SOUPS 22631043 WITH SCORE 2.2711793281E7
AT ITER 577 NEW BEST:: SOT 123514807 SOS 80738040 HAS SOPS 65910925 HAS SOUS 23184216 HAS SOUPS 22610984 WITH SCORE 2.269172204E7
AT ITER 579 NEW BEST:: SOT 123514807 SOS 80738800 HAS SOPS 65911397 HAS SOUS 23184154 HAS SOUPS 22610922 WITH SCORE 2.26916608E7
AT ITER 590 NEW BEST:: SOT 123523140 SOS 80753693 HAS SOPS 65920308 HAS SOUS 23184032 HAS SOUPS 22610800 WITH SCORE 2.2691553693E7
AT ITER 595 NEW BEST:: SOT 123512187 SOS 80736173 HAS SOPS 65925165 HAS SOUS 23173947 HAS SOUPS 22600715 WITH SCORE 2.2681451173E7
AT ITER 597 NEW BEST:: SOT 123512104 SOS 80746804 HAS SOPS 65921969 HAS SOUS 23140197 HAS SOUPS 22566965 WITH SCORE 2.2647711804E7
AT ITER 643 NEW BEST:: SOT 123495160 SOS 80709079 HAS SOPS 65891214 HAS SOUS 23106010 HAS SOUPS 22532869 WITH SCORE 2.2613578079E7
AT ITER 654 NEW BEST:: SOT 123520435 SOS 80755112 HAS SOPS 65914832 HAS SOUS 23083864 HAS SOUPS 22510723 WITH SCORE 2.2591478112E7
AT ITER 657 NEW BEST:: SOT 123552239 SOS 80800345 HAS SOPS 65957800 HAS SOUS 23073298 HAS SOUPS 22500157 WITH SCORE 2.2580957345E7
AT ITER 659 NEW BEST:: SOT 123563534 SOS 80828047 HAS SOPS 65985227 HAS SOUS 23054748 HAS SOUPS 22481369 WITH SCORE 2.2562197047E7
AT ITER 677 NEW BEST:: SOT 123542105 SOS 80797537 HAS SOPS 65968473 HAS SOUS 23009389 HAS SOUPS 22436010 WITH SCORE 2.2516807537E7
AT ITER 680 NEW BEST:: SOT 123525847 SOS 80755238 HAS SOPS 65922911 HAS SOUS 22981723 HAS SOUPS 22408344 WITH SCORE 2.2489099238E7
AT ITER 682 NEW BEST:: SOT 123525960 SOS 80772775 HAS SOPS 65939008 HAS SOUS 22981667 HAS SOUPS 22408288 WITH SCORE 2.2489060775E7
AT ITER 693 NEW BEST:: SOT 123510431 SOS 80757246 HAS SOPS 65922583 HAS SOUS 22966138 HAS SOUPS 22391863 WITH SCORE 2.2472620246E7
AT ITER 700 NEW BEST:: SOT 123514507 SOS 80757930 HAS SOPS 65930485 HAS SOUS 22956903 HAS SOUPS 22382628 WITH SCORE 2.246338593E7
AT ITER 701 NEW BEST:: SOT 123500464 SOS 80741388 HAS SOPS 65910730 HAS SOUS 22927271 HAS SOUPS 22353115 WITH SCORE 2.2433856388E7
AT ITER 704 NEW BEST:: SOT 123506308 SOS 80718498 HAS SOPS 65909114 HAS SOUS 22924949 HAS SOUPS 22350890 WITH SCORE 2.2431608498E7
AT ITER 725 NEW BEST:: SOT 123507172 SOS 80718698 HAS SOPS 65909544 HAS SOUS 22924826 HAS SOUPS 22350767 WITH SCORE 2.2431485698E7
AT ITER 728 NEW BEST:: SOT 123465238 SOS 80675025 HAS SOPS 65859540 HAS SOUS 22873147 HAS SOUPS 22297396 WITH SCORE 2.2378071025E7
AT ITER 735 NEW BEST:: SOT 123475258 SOS 80690205 HAS SOPS 65884135 HAS SOUS 22862209 HAS SOUPS 22286665 WITH SCORE 2.2367355205E7
AT ITER 752 NEW BEST:: SOT 123479316 SOS 80701044 HAS SOPS 65891286 HAS SOUS 22860071 HAS SOUPS 22284527 WITH SCORE 2.2365228044E7
AT ITER 754 NEW BEST:: SOT 123483568 SOS 80702317 HAS SOPS 65890103 HAS SOUS 22853846 HAS SOUPS 22278378 WITH SCORE 2.2359080317E7
AT ITER 757 NEW BEST:: SOT 123482968 SOS 80701261 HAS SOPS 65888923 HAS SOUS 22852700 HAS SOUPS 22277284 WITH SCORE 2.2357985261E7
AT ITER 785 NEW BEST:: SOT 123484595 SOS 80703284 HAS SOPS 65892134 HAS SOUS 22851947 HAS SOUPS 22276639 WITH SCORE 2.2357342284E7
AT ITER 788 NEW BEST:: SOT 123489930 SOS 80714286 HAS SOPS 65901414 HAS SOUS 22848327 HAS SOUPS 22273019 WITH SCORE 2.2353733286E7
AT ITER 801 NEW BEST:: SOT 123458272 SOS 80652822 HAS SOPS 65890355 HAS SOUS 22826292 HAS SOUPS 22250984 WITH SCORE 2.2331636822E7
AT ITER 806 NEW BEST:: SOT 123468099 SOS 80679831 HAS SOPS 65912048 HAS SOUS 22825495 HAS SOUPS 22250165 WITH SCORE 2.2330844831E7
AT ITER 809 NEW BEST:: SOT 123413722 SOS 80592921 HAS SOPS 65834114 HAS SOUS 22760084 HAS SOUPS 22186436 WITH SCORE 2.2267028921E7
AT ITER 820 NEW BEST:: SOT 123402182 SOS 80579334 HAS SOPS 65815365 HAS SOUS 22727572 HAS SOUPS 22153924 WITH SCORE 2.2234503334E7
AT ITER 830 NEW BEST:: SOT 123400460 SOS 80577381 HAS SOPS 65814413 HAS SOUS 22721320 HAS SOUPS 22148786 WITH SCORE 2.2229363381E7
AT ITER 857 NEW BEST:: SOT 123391726 SOS 80546441 HAS SOPS 65786708 HAS SOUS 22720974 HAS SOUPS 22148440 WITH SCORE 2.2228986441E7
AT ITER 867 NEW BEST:: SOT 123381193 SOS 80547065 HAS SOPS 65781502 HAS SOUS 22682769 HAS SOUPS 22110235 WITH SCORE 2.2190782065E7
AT ITER 871 NEW BEST:: SOT 123381151 SOS 80546358 HAS SOPS 65780963 HAS SOUS 22682643 HAS SOUPS 22110109 WITH SCORE 2.2190655358E7
AT ITER 877 NEW BEST:: SOT 123381173 SOS 80551920 HAS SOPS 65786220 HAS SOUS 22681861 HAS SOUPS 22109327 WITH SCORE 2.218987892E7
AT ITER 890 NEW BEST:: SOT 123372221 SOS 80543414 HAS SOPS 65795624 HAS SOUS 22666175 HAS SOUPS 22093641 WITH SCORE 2.2174184414E7
AT ITER 902 NEW BEST:: SOT 123378098 SOS 80553400 HAS SOPS 65809595 HAS SOUS 22664482 HAS SOUPS 22092129 WITH SCORE 2.21726824E7
AT ITER 916 NEW BEST:: SOT 123374973 SOS 80549387 HAS SOPS 65802840 HAS SOUS 22661243 HAS SOUPS 22088890 WITH SCORE 2.2169439387E7
AT ITER 930 NEW BEST:: SOT 123375176 SOS 80549628 HAS SOPS 65801841 HAS SOUS 22660378 HAS SOUPS 22088025 WITH SCORE 2.2168574628E7
AT ITER 933 NEW BEST:: SOT 123373315 SOS 80548756 HAS SOPS 65800963 HAS SOUS 22655926 HAS SOUPS 22083573 WITH SCORE 2.2164121756E7
AT ITER 953 NEW BEST:: SOT 123373283 SOS 80547178 HAS SOPS 65802304 HAS SOUS 22655595 HAS SOUPS 22083242 WITH SCORE 2.2163789178E7
AT ITER 955 NEW BEST:: SOT 123369534 SOS 80536737 HAS SOPS 65799278 HAS SOUS 22649598 HAS SOUPS 22077397 WITH SCORE 2.2157933737E7
AT ITER 987 NEW BEST:: SOT 123369339 SOS 80536290 HAS SOPS 65798909 HAS SOUS 22649116 HAS SOUPS 22076915 WITH SCORE 2.215745129E7
AT ITER 996 NEW BEST:: SOT 123375564 SOS 80548589 HAS SOPS 65811085 HAS SOUS 22648433 HAS SOUPS 22076232 WITH SCORE 2.2156780589E7
AT ITER 1002 NEW BEST:: SOT 123359046 SOS 80529682 HAS SOPS 65788945 HAS SOUS 22609066 HAS SOUPS 22036865 WITH SCORE 2.2117394682E7
AT ITER 1042 NEW BEST:: SOT 123359965 SOS 80533189 HAS SOPS 65790255 HAS SOUS 22606230 HAS SOUPS 22034029 WITH SCORE 2.2114562189E7
AT ITER 1055 NEW BEST:: SOT 123359916 SOS 80535264 HAS SOPS 65792330 HAS SOUS 22605997 HAS SOUPS 22033796 WITH SCORE 2.2114331264E7
AT ITER 1078 NEW BEST:: SOT 123350730 SOS 80526078 HAS SOPS 65782312 HAS SOUS 22596811 HAS SOUPS 22023778 WITH SCORE 2.2104304078E7
AT ITER 1090 NEW BEST:: SOT 123350050 SOS 80525318 HAS SOPS 65781142 HAS SOUS 22595364 HAS SOUPS 22022331 WITH SCORE 2.2102856318E7
AT ITER 1092 NEW BEST:: SOT 123361488 SOS 80559000 HAS SOPS 65816074 HAS SOUS 22585381 HAS SOUPS 22012348 WITH SCORE 2.2092907E7
AT ITER 1096 NEW BEST:: SOT 123361488 SOS 80559208 HAS SOPS 65816794 HAS SOUS 22585336 HAS SOUPS 22012303 WITH SCORE 2.2092862208E7
AT ITER 1105 NEW BEST:: SOT 123355910 SOS 80551658 HAS SOPS 65809820 HAS SOUS 22575465 HAS SOUPS 22002473 WITH SCORE 2.2083024658E7
AT ITER 1113 NEW BEST:: SOT 123355598 SOS 80549591 HAS SOPS 65807539 HAS SOUS 22575369 HAS SOUPS 22002377 WITH SCORE 2.2082926591E7
AT ITER 1126 NEW BEST:: SOT 123354969 SOS 80548270 HAS SOPS 65806751 HAS SOUS 22574246 HAS SOUPS 22001254 WITH SCORE 2.208180227E7
AT ITER 1137 NEW BEST:: SOT 123324646 SOS 80513107 HAS SOPS 65780125 HAS SOUS 22559093 HAS SOUPS 21986347 WITH SCORE 2.2066860107E7
AT ITER 1148 NEW BEST:: SOT 123323265 SOS 80509123 HAS SOPS 65776482 HAS SOUS 22559021 HAS SOUPS 21986297 WITH SCORE 2.2066806123E7
AT ITER 1156 NEW BEST:: SOT 123270028 SOS 80402340 HAS SOPS 65663413 HAS SOUS 22554269 HAS SOUPS 21981545 WITH SCORE 2.206194734E7
AT ITER 1163 NEW BEST:: SOT 123272969 SOS 80409025 HAS SOPS 65666271 HAS SOUS 22546487 HAS SOUPS 21973763 WITH SCORE 2.2054172025E7
AT ITER 1172 NEW BEST:: SOT 123276568 SOS 80419363 HAS SOPS 65678776 HAS SOUS 22542260 HAS SOUPS 21969536 WITH SCORE 2.2049955363E7
AT ITER 1174 NEW BEST:: SOT 123273829 SOS 80414861 HAS SOPS 65675636 HAS SOUS 22532485 HAS SOUPS 21959761 WITH SCORE 2.2040175861E7
AT ITER 1179 NEW BEST:: SOT 123269584 SOS 80406823 HAS SOPS 65670128 HAS SOUS 22522132 HAS SOUPS 21949200 WITH SCORE 2.2029606823E7
AT ITER 1180 NEW BEST:: SOT 123256844 SOS 80391906 HAS SOPS 65652589 HAS SOUS 22495782 HAS SOUPS 21922850 WITH SCORE 2.2003241906E7
AT ITER 1197 NEW BEST:: SOT 123256214 SOS 80391298 HAS SOPS 65651559 HAS SOUS 22494661 HAS SOUPS 21921729 WITH SCORE 2.2002120298E7
AT ITER 1213 NEW BEST:: SOT 123270084 SOS 80422340 HAS SOPS 65667738 HAS SOUS 22475190 HAS SOUPS 21902258 WITH SCORE 2.198268034E7
AT ITER 1228 NEW BEST:: SOT 123241351 SOS 80394092 HAS SOPS 65631472 HAS SOUS 22420022 HAS SOUPS 21847090 WITH SCORE 2.1927484092E7
AT ITER 1230 NEW BEST:: SOT 123244440 SOS 80404640 HAS SOPS 65638153 HAS SOUS 22407383 HAS SOUPS 21834451 WITH SCORE 2.191485564E7
AT ITER 1249 NEW BEST:: SOT 123196306 SOS 80353003 HAS SOPS 65586975 HAS SOUS 22307657 HAS SOUPS 21734725 WITH SCORE 2.1815078003E7
AT ITER 1252 NEW BEST:: SOT 123190069 SOS 80341049 HAS SOPS 65578193 HAS SOUS 22306744 HAS SOUPS 21733436 WITH SCORE 2.1813777049E7
AT ITER 1260 NEW BEST:: SOT 123187333 SOS 80335309 HAS SOPS 65572683 HAS SOUS 22298177 HAS SOUPS 21726403 WITH SCORE 2.1806738309E7
AT ITER 1261 NEW BEST:: SOT 123185725 SOS 80333476 HAS SOPS 65570501 HAS SOUS 22294887 HAS SOUPS 21723126 WITH SCORE 2.1803459476E7
AT ITER 1264 NEW BEST:: SOT 123188782 SOS 80340103 HAS SOPS 65574346 HAS SOUS 22284642 HAS SOUPS 21712699 WITH SCORE 2.1793039103E7
AT ITER 1275 NEW BEST:: SOT 123145105 SOS 80279428 HAS SOPS 65509190 HAS SOUS 22273761 HAS SOUPS 21701447 WITH SCORE 2.1781726428E7
AT ITER 1285 NEW BEST:: SOT 123148495 SOS 80281673 HAS SOPS 65512501 HAS SOUS 22272352 HAS SOUPS 21700090 WITH SCORE 2.1780371673E7
AT ITER 1313 NEW BEST:: SOT 123145447 SOS 80280239 HAS SOPS 65512951 HAS SOUS 22260455 HAS SOUPS 21688193 WITH SCORE 2.1768473239E7
AT ITER 1317 NEW BEST:: SOT 123144214 SOS 80274555 HAS SOPS 65507646 HAS SOUS 22259070 HAS SOUPS 21686840 WITH SCORE 2.1767114555E7
AT ITER 1319 NEW BEST:: SOT 123144063 SOS 80277230 HAS SOPS 65502036 HAS SOUS 22230847 HAS SOUPS 21658704 WITH SCORE 2.173898123E7
AT ITER 1321 NEW BEST:: SOT 123111301 SOS 80242047 HAS SOPS 65449345 HAS SOUS 22198015 HAS SOUPS 21625872 WITH SCORE 2.1706114047E7
AT ITER 1338 NEW BEST:: SOT 123128118 SOS 80271780 HAS SOPS 65483407 HAS SOUS 22192584 HAS SOUPS 21620602 WITH SCORE 2.170087378E7
AT ITER 1349 NEW BEST:: SOT 123128118 SOS 80274300 HAS SOPS 65485927 HAS SOUS 22192505 HAS SOUPS 21620523 WITH SCORE 2.17007973E7
AT ITER 1355 NEW BEST:: SOT 123120439 SOS 80258108 HAS SOPS 65481205 HAS SOUS 22181748 HAS SOUPS 21609766 WITH SCORE 2.1690024108E7
AT ITER 1359 NEW BEST:: SOT 123124432 SOS 80260512 HAS SOPS 65478843 HAS SOUS 22174763 HAS SOUPS 21603525 WITH SCORE 2.1683785512E7
AT ITER 1361 NEW BEST:: SOT 123115917 SOS 80251553 HAS SOPS 65468836 HAS SOUS 22161297 HAS SOUPS 21590059 WITH SCORE 2.1670310553E7
AT ITER 1369 NEW BEST:: SOT 123112387 SOS 80249325 HAS SOPS 65464941 HAS SOUS 22155966 HAS SOUPS 21584728 WITH SCORE 2.1664977325E7
AT ITER 1378 NEW BEST:: SOT 123112174 SOS 80250248 HAS SOPS 65469000 HAS SOUS 22155930 HAS SOUPS 21584692 WITH SCORE 2.1664942248E7
AT ITER 1389 NEW BEST:: SOT 123112209 SOS 80252250 HAS SOPS 65469527 HAS SOUS 22155307 HAS SOUPS 21584069 WITH SCORE 2.166432125E7
AT ITER 1392 NEW BEST:: SOT 123140238 SOS 80313788 HAS SOPS 65530383 HAS SOUS 22153145 HAS SOUPS 21581907 WITH SCORE 2.1662220788E7
AT ITER 1394 NEW BEST:: SOT 123062305 SOS 80261227 HAS SOPS 65415084 HAS SOUS 22123317 HAS SOUPS 21550649 WITH SCORE 2.1630910227E7
AT ITER 1395 NEW BEST:: SOT 123065289 SOS 80269599 HAS SOPS 65417893 HAS SOUS 22112536 HAS SOUPS 21539868 WITH SCORE 2.1620137599E7
AT ITER 1404 NEW BEST:: SOT 123019865 SOS 80218212 HAS SOPS 65365109 HAS SOUS 22093081 HAS SOUPS 21520701 WITH SCORE 2.1600919212E7
AT ITER 1409 NEW BEST:: SOT 123017930 SOS 80216731 HAS SOPS 65363576 HAS SOUS 22088662 HAS SOUPS 21516282 WITH SCORE 2.1596498731E7
AT ITER 1410 NEW BEST:: SOT 123051046 SOS 80282363 HAS SOPS 65419668 HAS SOUS 22077876 HAS SOUPS 21505496 WITH SCORE 2.1585778363E7
AT ITER 1411 NEW BEST:: SOT 123041288 SOS 80267431 HAS SOPS 65418212 HAS SOUS 22056303 HAS SOUPS 21484252 WITH SCORE 2.1564519431E7
AT ITER 1416 NEW BEST:: SOT 123045769 SOS 80283530 HAS SOPS 65434178 HAS SOUS 22049423 HAS SOUPS 21477372 WITH SCORE 2.155765553E7
AT ITER 1423 NEW BEST:: SOT 123036676 SOS 80275476 HAS SOPS 65427408 HAS SOUS 22020271 HAS SOUPS 21448820 WITH SCORE 2.1529095476E7
AT ITER 1430 NEW BEST:: SOT 123033533 SOS 80277551 HAS SOPS 65429427 HAS SOUS 22016143 HAS SOUPS 21444687 WITH SCORE 2.1524964551E7
AT ITER 1435 NEW BEST:: SOT 123033598 SOS 80277747 HAS SOPS 65429495 HAS SOUS 22015287 HAS SOUPS 21443831 WITH SCORE 2.1524108747E7
AT ITER 1439 NEW BEST:: SOT 123026972 SOS 80271157 HAS SOPS 65422116 HAS SOUS 22005172 HAS SOUPS 21433596 WITH SCORE 2.1513867157E7
AT ITER 1440 NEW BEST:: SOT 123014264 SOS 80236544 HAS SOPS 65396681 HAS SOUS 21982982 HAS SOUPS 21411406 WITH SCORE 2.1491642544E7
AT ITER 1442 NEW BEST:: SOT 123013291 SOS 80236876 HAS SOPS 65394098 HAS SOUS 21978526 HAS SOUPS 21406950 WITH SCORE 2.1487186876E7
AT ITER 1457 NEW BEST:: SOT 123013568 SOS 80236933 HAS SOPS 65394055 HAS SOUS 21977934 HAS SOUPS 21406358 WITH SCORE 2.1486594933E7
AT ITER 1461 NEW BEST:: SOT 123005271 SOS 80229437 HAS SOPS 65378193 HAS SOUS 21955816 HAS SOUPS 21384240 WITH SCORE 2.1464469437E7
AT ITER 1465 NEW BEST:: SOT 123011543 SOS 80245339 HAS SOPS 65395610 HAS SOUS 21942468 HAS SOUPS 21370857 WITH SCORE 2.1451102339E7
AT ITER 1470 NEW BEST:: SOT 122996511 SOS 80234226 HAS SOPS 65387500 HAS SOUS 21896095 HAS SOUPS 21324496 WITH SCORE 2.1404730226E7
AT ITER 1473 NEW BEST:: SOT 123048550 SOS 80307033 HAS SOPS 65444712 HAS SOUS 21860775 HAS SOUPS 21289153 WITH SCORE 2.1369460033E7
AT ITER 1474 NEW BEST:: SOT 123056818 SOS 80328302 HAS SOPS 65464093 HAS SOUS 21853319 HAS SOUPS 21281697 WITH SCORE 2.1362025302E7
AT ITER 1479 NEW BEST:: SOT 123056612 SOS 80326004 HAS SOPS 65463683 HAS SOUS 21853238 HAS SOUPS 21281616 WITH SCORE 2.1361942004E7
AT ITER 1492 NEW BEST:: SOT 123062809 SOS 80337573 HAS SOPS 65472621 HAS SOUS 21845559 HAS SOUPS 21274347 WITH SCORE 2.1354684573E7
AT ITER 1521 NEW BEST:: SOT 123062809 SOS 80344421 HAS SOPS 65483469 HAS SOUS 21845400 HAS SOUPS 21274188 WITH SCORE 2.1354532421E7
AT ITER 1526 NEW BEST:: SOT 123059443 SOS 80340487 HAS SOPS 65479500 HAS SOUS 21838334 HAS SOUPS 21267122 WITH SCORE 2.1347462487E7
AT ITER 1529 NEW BEST:: SOT 123063660 SOS 80352565 HAS SOPS 65486424 HAS SOUS 21830926 HAS SOUPS 21259714 WITH SCORE 2.1340066565E7
AT ITER 1545 NEW BEST:: SOT 123074969 SOS 80382234 HAS SOPS 65512371 HAS SOUS 21827234 HAS SOUPS 21256022 WITH SCORE 2.1336404234E7
AT ITER 1568 NEW BEST:: SOT 123069237 SOS 80376502 HAS SOPS 65506623 HAS SOUS 21820862 HAS SOUPS 21249650 WITH SCORE 2.1330026502E7
AT ITER 1592 NEW BEST:: SOT 123070821 SOS 80380474 HAS SOPS 65508858 HAS SOUS 21812277 HAS SOUPS 21241065 WITH SCORE 2.1321445474E7
AT ITER 1601 NEW BEST:: SOT 123070739 SOS 80380358 HAS SOPS 65508377 HAS SOUS 21812024 HAS SOUPS 21240798 WITH SCORE 2.1321178358E7
AT ITER 1615 NEW BEST:: SOT 123068348 SOS 80373912 HAS SOPS 65504409 HAS SOUS 21810405 HAS SOUPS 21239216 WITH SCORE 2.1319589912E7
AT ITER 1621 NEW BEST:: SOT 123079431 SOS 80399937 HAS SOPS 65523642 HAS SOUS 21790323 HAS SOUPS 21219134 WITH SCORE 2.1299533937E7
AT ITER 1634 NEW BEST:: SOT 123073170 SOS 80394202 HAS SOPS 65517558 HAS SOUS 21772454 HAS SOUPS 21201265 WITH SCORE 2.1281659202E7
AT ITER 1637 NEW BEST:: SOT 123082738 SOS 80428375 HAS SOPS 65561873 HAS SOUS 21753300 HAS SOUPS 21182111 WITH SCORE 2.1262539375E7
AT ITER 1639 NEW BEST:: SOT 123081389 SOS 80426726 HAS SOPS 65558970 HAS SOUS 21750766 HAS SOUPS 21179280 WITH SCORE 2.1259706726E7
AT ITER 1640 NEW BEST:: SOT 123077749 SOS 80422121 HAS SOPS 65554608 HAS SOUS 21737787 HAS SOUPS 21166301 WITH SCORE 2.1246723121E7
AT ITER 1650 NEW BEST:: SOT 123087404 SOS 80435165 HAS SOPS 65564917 HAS SOUS 21736628 HAS SOUPS 21165142 WITH SCORE 2.1245577165E7
AT ITER 1664 NEW BEST:: SOT 123066380 SOS 80395843 HAS SOPS 65540457 HAS SOUS 21732795 HAS SOUPS 21161576 WITH SCORE 2.1241971843E7
AT ITER 1667 NEW BEST:: SOT 123053794 SOS 80369023 HAS SOPS 65528205 HAS SOUS 21726368 HAS SOUPS 21155149 WITH SCORE 2.1235518023E7
AT ITER 1685 NEW BEST:: SOT 123048396 SOS 80361568 HAS SOPS 65534198 HAS SOUS 21708077 HAS SOUPS 21136858 WITH SCORE 2.1217219568E7
AT ITER 1687 NEW BEST:: SOT 123047024 SOS 80359761 HAS SOPS 65531626 HAS SOUS 21704619 HAS SOUPS 21133460 WITH SCORE 2.1213819761E7
AT ITER 1697 NEW BEST:: SOT 123034528 SOS 80346156 HAS SOPS 65511569 HAS SOUS 21678818 HAS SOUPS 21107659 WITH SCORE 2.1188005156E7
AT ITER 1711 NEW BEST:: SOT 123018322 SOS 80324068 HAS SOPS 65490245 HAS SOUS 21649922 HAS SOUPS 21078838 WITH SCORE 2.1159162068E7
AT ITER 1716 NEW BEST:: SOT 123014122 SOS 80317499 HAS SOPS 65483825 HAS SOUS 21645897 HAS SOUPS 21074813 WITH SCORE 2.1155130499E7
AT ITER 1754 NEW BEST:: SOT 122886379 SOS 80140445 HAS SOPS 65318225 HAS SOUS 21522259 HAS SOUPS 20951685 WITH SCORE 2.1031825445E7
AT ITER 1758 NEW BEST:: SOT 122881752 SOS 80138862 HAS SOPS 65308299 HAS SOUS 21519688 HAS SOUPS 20948972 WITH SCORE 2.1029110862E7
AT ITER 1789 NEW BEST:: SOT 122825378 SOS 80058195 HAS SOPS 65238154 HAS SOUS 21452513 HAS SOUPS 20882312 WITH SCORE 2.0962370195E7
AT ITER 1808 NEW BEST:: SOT 122825219 SOS 80058033 HAS SOPS 65237902 HAS SOUS 21452177 HAS SOUPS 20881976 WITH SCORE 2.0962034033E7
AT ITER 1811 NEW BEST:: SOT 122824889 SOS 80039767 HAS SOPS 65223804 HAS SOUS 21450977 HAS SOUPS 20880776 WITH SCORE 2.0960815767E7
AT ITER 1819 NEW BEST:: SOT 122820273 SOS 80042718 HAS SOPS 65223399 HAS SOUS 21428469 HAS SOUPS 20858268 WITH SCORE 2.0938310718E7
AT ITER 1826 NEW BEST:: SOT 122820095 SOS 80041140 HAS SOPS 65226185 HAS SOUS 21421345 HAS SOUPS 20851216 WITH SCORE 2.093125714E7
AT ITER 1830 NEW BEST:: SOT 122816596 SOS 80039152 HAS SOPS 65218473 HAS SOUS 21410770 HAS SOUPS 20840641 WITH SCORE 2.0920680152E7
AT ITER 1834 NEW BEST:: SOT 122816596 SOS 80042688 HAS SOPS 65222281 HAS SOUS 21410723 HAS SOUPS 20840594 WITH SCORE 2.0920636688E7
AT ITER 1836 NEW BEST:: SOT 122815263 SOS 80040738 HAS SOPS 65220218 HAS SOUS 21409058 HAS SOUPS 20838929 WITH SCORE 2.0918969738E7
AT ITER 1853 NEW BEST:: SOT 122815287 SOS 80048831 HAS SOPS 65230898 HAS SOUS 21408983 HAS SOUPS 20838854 WITH SCORE 2.0918902831E7
AT ITER 1860 NEW BEST:: SOT 122813818 SOS 80043552 HAS SOPS 65226532 HAS SOUS 21408184 HAS SOUPS 20838055 WITH SCORE 2.0918098552E7
AT ITER 1872 NEW BEST:: SOT 122792668 SOS 80021549 HAS SOPS 65203349 HAS SOUS 21373426 HAS SOUPS 20803222 WITH SCORE 2.0883243549E7
AT ITER 1878 NEW BEST:: SOT 122794740 SOS 80022768 HAS SOPS 65204746 HAS SOUS 21370525 HAS SOUPS 20800321 WITH SCORE 2.0880343768E7
AT ITER 1897 NEW BEST:: SOT 122794596 SOS 80022796 HAS SOPS 65204614 HAS SOUS 21370197 HAS SOUPS 20799993 WITH SCORE 2.0880015796E7
AT ITER 1902 NEW BEST:: SOT 122794612 SOS 80027712 HAS SOPS 65209530 HAS SOUS 21370051 HAS SOUPS 20799847 WITH SCORE 2.0879874712E7
AT ITER 1905 NEW BEST:: SOT 122791690 SOS 80024976 HAS SOPS 65206608 HAS SOUS 21368518 HAS SOUPS 20798260 WITH SCORE 2.0878284976E7
AT ITER 1907 NEW BEST:: SOT 122778246 SOS 80011425 HAS SOPS 65193001 HAS SOUS 21358601 HAS SOUPS 20788300 WITH SCORE 2.0868311425E7
AT ITER 1924 NEW BEST:: SOT 122774078 SOS 80006583 HAS SOPS 65186014 HAS SOUS 21349803 HAS SOUPS 20779519 WITH SCORE 2.0859525583E7
AT ITER 1941 NEW BEST:: SOT 122827402 SOS 80107963 HAS SOPS 65275005 HAS SOUS 21345365 HAS SOUPS 20774631 WITH SCORE 2.0854738963E7
AT ITER 1944 NEW BEST:: SOT 122808004 SOS 80086074 HAS SOPS 65264335 HAS SOUS 21333758 HAS SOUPS 20763024 WITH SCORE 2.0843110074E7
AT ITER 1945 NEW BEST:: SOT 122832425 SOS 80044270 HAS SOPS 65298530 HAS SOUS 21324957 HAS SOUPS 20752663 WITH SCORE 2.083270727E7
AT ITER 1947 NEW BEST:: SOT 122830490 SOS 80040056 HAS SOPS 65293962 HAS SOUS 21324409 HAS SOUPS 20752115 WITH SCORE 2.0832155056E7
AT ITER 1975 NEW BEST:: SOT 122821096 SOS 80030323 HAS SOPS 65274797 HAS SOUS 21303832 HAS SOUPS 20731419 WITH SCORE 2.0811449323E7
AT ITER 1977 NEW BEST:: SOT 122820758 SOS 80029977 HAS SOPS 65274485 HAS SOUS 21303321 HAS SOUPS 20730942 WITH SCORE 2.0810971977E7
AT ITER 1978 NEW BEST:: SOT 122825857 SOS 80041988 HAS SOPS 65280796 HAS SOUS 21302690 HAS SOUPS 20730311 WITH SCORE 2.0810352988E7
AT ITER 1985 NEW BEST:: SOT 122814558 SOS 80030683 HAS SOPS 65265697 HAS SOUS 21274942 HAS SOUPS 20702685 WITH SCORE 2.0782715683E7
AT ITER 2006 NEW BEST:: SOT 122815765 SOS 80034136 HAS SOPS 65268504 HAS SOUS 21274754 HAS SOUPS 20702479 WITH SCORE 2.0782513136E7
AT ITER 2015 NEW BEST:: SOT 122808175 SOS 80026509 HAS SOPS 65260910 HAS SOUS 21265273 HAS SOUPS 20693033 WITH SCORE 2.0773059509E7
AT ITER 2031 NEW BEST:: SOT 122806846 SOS 80024825 HAS SOPS 65258463 HAS SOUS 21262506 HAS SOUPS 20690266 WITH SCORE 2.0770290825E7
AT ITER 2035 NEW BEST:: SOT 122796030 SOS 80014348 HAS SOPS 65247455 HAS SOUS 21251830 HAS SOUPS 20679313 WITH SCORE 2.0759327348E7
AT ITER 2048 NEW BEST:: SOT 122789235 SOS 80001447 HAS SOPS 65238655 HAS SOUS 21246648 HAS SOUPS 20674131 WITH SCORE 2.0754132447E7
AT ITER 2053 NEW BEST:: SOT 122787870 SOS 79999490 HAS SOPS 65236972 HAS SOUS 21242189 HAS SOUPS 20669672 WITH SCORE 2.074967149E7
AT ITER 2058 NEW BEST:: SOT 122787632 SOS 79999542 HAS SOPS 65236817 HAS SOUS 21241462 HAS SOUPS 20668945 WITH SCORE 2.0748944542E7
AT ITER 2066 NEW BEST:: SOT 122750082 SOS 79961184 HAS SOPS 65198451 HAS SOUS 21208277 HAS SOUPS 20635752 WITH SCORE 2.0715713184E7
AT ITER 2073 NEW BEST:: SOT 122750728 SOS 79955904 HAS SOPS 65221371 HAS SOUS 21186897 HAS SOUPS 20614776 WITH SCORE 2.0694731904E7
AT ITER 2101 NEW BEST:: SOT 122758485 SOS 79974828 HAS SOPS 65237165 HAS SOUS 21181807 HAS SOUPS 20609686 WITH SCORE 2.0689660828E7
AT ITER 2110 NEW BEST:: SOT 122762547 SOS 79982796 HAS SOPS 65238311 HAS SOUS 21171931 HAS SOUPS 20599810 WITH SCORE 2.0679792796E7
AT ITER 2115 NEW BEST:: SOT 122763219 SOS 79984989 HAS SOPS 65238962 HAS SOUS 21168870 HAS SOUPS 20596749 WITH SCORE 2.0676733989E7
AT ITER 2118 NEW BEST:: SOT 122763474 SOS 79988723 HAS SOPS 65239224 HAS SOUS 21159980 HAS SOUPS 20587788 WITH SCORE 2.0667776723E7
AT ITER 2120 NEW BEST:: SOT 122758228 SOS 79959253 HAS SOPS 65216509 HAS SOUS 21144472 HAS SOUPS 20572669 WITH SCORE 2.0652628253E7
AT ITER 2123 NEW BEST:: SOT 122758228 SOS 79960373 HAS SOPS 65217309 HAS SOUS 21144462 HAS SOUPS 20572659 WITH SCORE 2.0652619373E7
AT ITER 2125 NEW BEST:: SOT 122759647 SOS 79962830 HAS SOPS 65217355 HAS SOUS 21143173 HAS SOUPS 20571370 WITH SCORE 2.065133283E7
AT ITER 2130 NEW BEST:: SOT 122760365 SOS 79964133 HAS SOPS 65218505 HAS SOUS 21143063 HAS SOUPS 20571260 WITH SCORE 2.0651224133E7
AT ITER 2136 NEW BEST:: SOT 122737041 SOS 79937216 HAS SOPS 65193704 HAS SOUS 21091152 HAS SOUPS 20519986 WITH SCORE 2.0599923216E7
AT ITER 2158 NEW BEST:: SOT 122753571 SOS 79970040 HAS SOPS 65217602 HAS SOUS 21072962 HAS SOUPS 20501796 WITH SCORE 2.058176604E7
AT ITER 2205 NEW BEST:: SOT 122753571 SOS 79970728 HAS SOPS 65218290 HAS SOUS 21072959 HAS SOUPS 20501793 WITH SCORE 2.0581763728E7
AT ITER 2206 NEW BEST:: SOT 122753198 SOS 79971070 HAS SOPS 65218386 HAS SOUS 21071344 HAS SOUPS 20500178 WITH SCORE 2.058014907E7
AT ITER 2229 NEW BEST:: SOT 122735468 SOS 79946080 HAS SOPS 65201930 HAS SOUS 21041733 HAS SOUPS 20471610 WITH SCORE 2.055155608E7
AT ITER 2242 NEW BEST:: SOT 122733459 SOS 79946834 HAS SOPS 65202395 HAS SOUS 21037122 HAS SOUPS 20466999 WITH SCORE 2.0546945834E7
AT ITER 2245 NEW BEST:: SOT 122732577 SOS 79945102 HAS SOPS 65200473 HAS SOUS 21036744 HAS SOUPS 20466638 WITH SCORE 2.0546583102E7
AT ITER 2259 NEW BEST:: SOT 122755666 SOS 79996475 HAS SOPS 65247216 HAS SOUS 21018618 HAS SOUPS 20448512 WITH SCORE 2.0528508475E7
AT ITER 2275 NEW BEST:: SOT 122755570 SOS 79996379 HAS SOPS 65247120 HAS SOUS 21018426 HAS SOUPS 20448320 WITH SCORE 2.0528316379E7
AT ITER 2281 NEW BEST:: SOT 122760059 SOS 80010095 HAS SOPS 65262620 HAS SOUS 21010469 HAS SOUPS 20440363 WITH SCORE 2.0520373095E7
AT ITER 2282 NEW BEST:: SOT 122749006 SOS 79996430 HAS SOPS 65246549 HAS SOUS 20984396 HAS SOUPS 20414398 WITH SCORE 2.049439443E7
AT ITER 2304 NEW BEST:: SOT 122754931 SOS 80018569 HAS SOPS 65269207 HAS SOUS 20964394 HAS SOUPS 20394396 WITH SCORE 2.0474414569E7
AT ITER 2348 NEW BEST:: SOT 122730820 SOS 79985799 HAS SOPS 65241910 HAS SOUS 20924766 HAS SOUPS 20354953 WITH SCORE 2.0434938799E7
AT ITER 2351 NEW BEST:: SOT 122729897 SOS 79984552 HAS SOPS 65237767 HAS SOUS 20918393 HAS SOUPS 20348528 WITH SCORE 2.0428512552E7
AT ITER 2362 NEW BEST:: SOT 122723885 SOS 79967755 HAS SOPS 65224171 HAS SOUS 20916787 HAS SOUPS 20346922 WITH SCORE 2.0426889755E7
AT ITER 2391 NEW BEST:: SOT 122719421 SOS 79962672 HAS SOPS 65218442 HAS SOUS 20885078 HAS SOUPS 20315399 WITH SCORE 2.0395361672E7
AT ITER 2392 NEW BEST:: SOT 122719715 SOS 79968984 HAS SOPS 65224359 HAS SOUS 20870836 HAS SOUPS 20300970 WITH SCORE 2.0380938984E7
AT ITER 2406 NEW BEST:: SOT 122713491 SOS 79969109 HAS SOPS 65217393 HAS SOUS 20834285 HAS SOUPS 20264626 WITH SCORE 2.0344595109E7
AT ITER 2409 NEW BEST:: SOT 122705670 SOS 79962159 HAS SOPS 65207885 HAS SOUS 20830433 HAS SOUPS 20260774 WITH SCORE 2.0340736159E7
AT ITER 2410 NEW BEST:: SOT 122705310 SOS 79963209 HAS SOPS 65213080 HAS SOUS 20807955 HAS SOUPS 20240793 WITH SCORE 2.0320756209E7
AT ITER 2447 NEW BEST:: SOT 122703435 SOS 79961668 HAS SOPS 65209618 HAS SOUS 20804826 HAS SOUPS 20237664 WITH SCORE 2.0317625668E7
AT ITER 2452 NEW BEST:: SOT 122703435 SOS 79961826 HAS SOPS 65209776 HAS SOUS 20804824 HAS SOUPS 20237662 WITH SCORE 2.0317623826E7
AT ITER 2474 NEW BEST:: SOT 122706532 SOS 79964548 HAS SOPS 65217648 HAS SOUS 20804114 HAS SOUPS 20237164 WITH SCORE 2.0317128548E7
AT ITER 2477 NEW BEST:: SOT 122706506 SOS 79966901 HAS SOPS 65220155 HAS SOUS 20793829 HAS SOUPS 20226956 WITH SCORE 2.0306922901E7
AT ITER 2484 NEW BEST:: SOT 122698054 SOS 79958626 HAS SOPS 65203234 HAS SOUS 20786270 HAS SOUPS 20219397 WITH SCORE 2.0299355626E7
AT ITER 2502 NEW BEST:: SOT 122679398 SOS 79939558 HAS SOPS 65184428 HAS SOUS 20746886 HAS SOUPS 20180013 WITH SCORE 2.0259952558E7
AT ITER 2526 NEW BEST:: SOT 122675882 SOS 79938968 HAS SOPS 65180614 HAS SOUS 20745894 HAS SOUPS 20178959 WITH SCORE 2.0258897968E7
AT ITER 2529 NEW BEST:: SOT 122669423 SOS 79936448 HAS SOPS 65175986 HAS SOUS 20729096 HAS SOUPS 20162161 WITH SCORE 2.0242097448E7
AT ITER 2542 NEW BEST:: SOT 122694540 SOS 80016743 HAS SOPS 65247441 HAS SOUS 20700303 HAS SOUPS 20133368 WITH SCORE 2.0213384743E7
AT ITER 2554 NEW BEST:: SOT 122596006 SOS 79813790 HAS SOPS 65096644 HAS SOUS 20614567 HAS SOUPS 20049303 WITH SCORE 2.012911679E7
AT ITER 2556 NEW BEST:: SOT 122594229 SOS 79812013 HAS SOPS 65094867 HAS SOUS 20612777 HAS SOUPS 20047513 WITH SCORE 2.0127325013E7
AT ITER 2557 NEW BEST:: SOT 122592275 SOS 79809311 HAS SOPS 65091145 HAS SOUS 20608188 HAS SOUPS 20042941 WITH SCORE 2.0122750311E7
AT ITER 2567 NEW BEST:: SOT 122592391 SOS 79827755 HAS SOPS 65111134 HAS SOUS 20608043 HAS SOUPS 20042796 WITH SCORE 2.0122623755E7
AT ITER 2572 NEW BEST:: SOT 122572928 SOS 79807062 HAS SOPS 65090766 HAS SOUS 20599734 HAS SOUPS 20034487 WITH SCORE 2.0114294062E7
AT ITER 2577 NEW BEST:: SOT 122583147 SOS 79819954 HAS SOPS 65117452 HAS SOUS 20597228 HAS SOUPS 20031981 WITH SCORE 2.0111800954E7
AT ITER 2582 NEW BEST:: SOT 122593110 SOS 79826201 HAS SOPS 65117037 HAS SOUS 20596420 HAS SOUPS 20031173 WITH SCORE 2.0110999201E7
AT ITER 2584 NEW BEST:: SOT 122589386 SOS 79822367 HAS SOPS 65113355 HAS SOUS 20581506 HAS SOUPS 20016304 WITH SCORE 2.0096126367E7
AT ITER 2595 NEW BEST:: SOT 122581259 SOS 79814434 HAS SOPS 65108774 HAS SOUS 20546123 HAS SOUPS 19981147 WITH SCORE 2.0060961434E7
AT ITER 2596 NEW BEST:: SOT 122594617 SOS 79851283 HAS SOPS 65141006 HAS SOUS 20520357 HAS SOUPS 19955381 WITH SCORE 2.0035232283E7
AT ITER 2612 NEW BEST:: SOT 122594617 SOS 79853139 HAS SOPS 65142542 HAS SOUS 20520283 HAS SOUPS 19955307 WITH SCORE 2.0035160139E7
AT ITER 2615 NEW BEST:: SOT 122608293 SOS 79872261 HAS SOPS 65153290 HAS SOUS 20518253 HAS SOUPS 19953277 WITH SCORE 2.0033149261E7
AT ITER 2629 NEW BEST:: SOT 122608293 SOS 79872369 HAS SOPS 65153302 HAS SOUS 20518252 HAS SOUPS 19953276 WITH SCORE 2.0033148369E7
AT ITER 2630 NEW BEST:: SOT 122610474 SOS 79874663 HAS SOPS 65156425 HAS SOUS 20516080 HAS SOUPS 19951670 WITH SCORE 2.0031544663E7
AT ITER 2636 NEW BEST:: SOT 122578147 SOS 79806398 HAS SOPS 65114013 HAS SOUS 20468030 HAS SOUPS 19903620 WITH SCORE 1.9983426398E7
AT ITER 2642 NEW BEST:: SOT 122568317 SOS 79793679 HAS SOPS 65097259 HAS SOUS 20452429 HAS SOUPS 19888019 WITH SCORE 1.9967812679E7
AT ITER 2644 NEW BEST:: SOT 122560250 SOS 79781456 HAS SOPS 65082846 HAS SOUS 20435345 HAS SOUPS 19870935 WITH SCORE 1.9950716456E7
AT ITER 2649 NEW BEST:: SOT 122552555 SOS 79771236 HAS SOPS 65066046 HAS SOUS 20429747 HAS SOUPS 19865337 WITH SCORE 1.9945108236E7
AT ITER 2652 NEW BEST:: SOT 122561141 SOS 79778108 HAS SOPS 65077738 HAS SOUS 20426254 HAS SOUPS 19863024 WITH SCORE 1.9942802108E7
AT ITER 2661 NEW BEST:: SOT 122561469 SOS 79782933 HAS SOPS 65079312 HAS SOUS 20421574 HAS SOUPS 19858272 WITH SCORE 1.9938054933E7
AT ITER 2672 NEW BEST:: SOT 122552234 SOS 79760178 HAS SOPS 65063022 HAS SOUS 20419869 HAS SOUPS 19856582 WITH SCORE 1.9936342178E7
AT ITER 2680 NEW BEST:: SOT 122557024 SOS 79766608 HAS SOPS 65069655 HAS SOUS 20419498 HAS SOUPS 19855311 WITH SCORE 1.9935077608E7
AT ITER 2698 NEW BEST:: SOT 122555899 SOS 79765153 HAS SOPS 65068040 HAS SOUS 20418077 HAS SOUPS 19853890 WITH SCORE 1.9933655153E7
AT ITER 2699 NEW BEST:: SOT 122594636 SOS 79813887 HAS SOPS 65124365 HAS SOUS 20410682 HAS SOUPS 19846495 WITH SCORE 1.9926308887E7
AT ITER 2715 NEW BEST:: SOT 122567357 SOS 79786527 HAS SOPS 65096843 HAS SOUS 20374513 HAS SOUPS 19810326 WITH SCORE 1.9890112527E7
AT ITER 2747 NEW BEST:: SOT 122567357 SOS 79791823 HAS SOPS 65100027 HAS SOUS 20374360 HAS SOUPS 19810173 WITH SCORE 1.9889964823E7
AT ITER 2750 NEW BEST:: SOT 122567357 SOS 79794657 HAS SOPS 65103821 HAS SOUS 20374346 HAS SOUPS 19810159 WITH SCORE 1.9889953657E7
AT ITER 2765 NEW BEST:: SOT 122570921 SOS 79798060 HAS SOPS 65102589 HAS SOUS 20362129 HAS SOUPS 19797999 WITH SCORE 1.987779706E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 15443800 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16078448 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-2"
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-2, 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-167889194300160"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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