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.r331-tall-167889204100168.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 smartxred
Input is RERS17pb115-PT-3, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r331-tall-167889204100168
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 70M
-rw-r--r-- 1 mcc users 4.9K Feb 25 13:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 44K Feb 25 13:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.4K Feb 25 13:46 CTLFireability.txt
-rw-r--r-- 1 mcc users 64K Feb 25 13:46 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:39 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K 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 17K Feb 25 16:39 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 13:57 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 106K Feb 25 13:57 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 13:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 64K Feb 25 13:54 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 1679089620338

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=RERS17pb115-PT-3
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-17 21:47:02] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-17 21:47:02] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-17 21:47:04] [INFO ] Load time of PNML (sax parser for PT used): 2000 ms
[2023-03-17 21:47:04] [INFO ] Transformed 1399 places.
[2023-03-17 21:47:05] [INFO ] Transformed 144369 transitions.
[2023-03-17 21:47:05] [INFO ] Parsed PT model containing 1399 places and 144369 transitions and 577414 arcs in 2634 ms.
[2023-03-17 21:47:05] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1399 places, 144369 transitions and 577414 arcs took 357 ms.
Total runtime 3067 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb115 (PT), instance 3
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 1399 places, 144369 transitions, 577414 arcs.
AT ITER 0 NEW BEST:: SOT 123476540 SOS 80284426 HAS SOPS 65263383 HAS SOUS 24121552 HAS SOUPS 23549470 WITH SCORE 2.3629754426E7
AT ITER 2 NEW BEST:: SOT 123479785 SOS 80294961 HAS SOPS 65275809 HAS SOUS 24114272 HAS SOUPS 23542190 WITH SCORE 2.3622484961E7
AT ITER 3 NEW BEST:: SOT 123472505 SOS 80289760 HAS SOPS 65260605 HAS SOUS 24073776 HAS SOUPS 23501694 WITH SCORE 2.358198376E7
AT ITER 6 NEW BEST:: SOT 123521103 SOS 80390173 HAS SOPS 65349463 HAS SOUS 24064875 HAS SOUPS 23492793 WITH SCORE 2.3573183173E7
AT ITER 7 NEW BEST:: SOT 123521095 SOS 80390038 HAS SOPS 65349440 HAS SOUS 24064838 HAS SOUPS 23492756 WITH SCORE 2.3573146038E7
AT ITER 13 NEW BEST:: SOT 123520570 SOS 80382638 HAS SOPS 65346744 HAS SOUS 24064383 HAS SOUPS 23492301 WITH SCORE 2.3572683638E7
AT ITER 26 NEW BEST:: SOT 123483811 SOS 80330449 HAS SOPS 65301361 HAS SOUS 24009557 HAS SOUPS 23437900 WITH SCORE 2.3518230449E7
AT ITER 33 NEW BEST:: SOT 123481944 SOS 80334556 HAS SOPS 65299921 HAS SOUS 23995476 HAS SOUPS 23423819 WITH SCORE 2.3504153556E7
AT ITER 60 NEW BEST:: SOT 123484685 SOS 80342237 HAS SOPS 65305014 HAS SOUS 23990897 HAS SOUPS 23418872 WITH SCORE 2.3499214237E7
AT ITER 68 NEW BEST:: SOT 123476078 SOS 80333131 HAS SOPS 65295908 HAS SOUS 23981840 HAS SOUPS 23409815 WITH SCORE 2.3490148131E7
AT ITER 70 NEW BEST:: SOT 123476190 SOS 80345947 HAS SOPS 65310068 HAS SOUS 23981670 HAS SOUPS 23409645 WITH SCORE 2.3489990947E7
AT ITER 74 NEW BEST:: SOT 123476106 SOS 80345989 HAS SOPS 65310083 HAS SOUS 23981676 HAS SOUPS 23409642 WITH SCORE 2.3489987989E7
AT ITER 85 NEW BEST:: SOT 123486527 SOS 80368718 HAS SOPS 65335524 HAS SOUS 23979816 HAS SOUPS 23407782 WITH SCORE 2.3488150718E7
AT ITER 103 NEW BEST:: SOT 123496342 SOS 80408327 HAS SOPS 65384168 HAS SOUS 23962605 HAS SOUPS 23390571 WITH SCORE 2.3470979327E7
AT ITER 105 NEW BEST:: SOT 123482396 SOS 80381447 HAS SOPS 65365960 HAS SOUS 23950706 HAS SOUPS 23378672 WITH SCORE 2.3459053447E7
AT ITER 108 NEW BEST:: SOT 123481536 SOS 80385770 HAS SOPS 65365673 HAS SOUS 23942376 HAS SOUPS 23370342 WITH SCORE 2.345072777E7
AT ITER 110 NEW BEST:: SOT 123490321 SOS 80407374 HAS SOPS 65385643 HAS SOUS 23936541 HAS SOUPS 23364594 WITH SCORE 2.3445001374E7
AT ITER 113 NEW BEST:: SOT 123490433 SOS 80407886 HAS SOPS 65385693 HAS SOUS 23934954 HAS SOUPS 23363031 WITH SCORE 2.3443438886E7
AT ITER 135 NEW BEST:: SOT 123494604 SOS 80418045 HAS SOPS 65401133 HAS SOUS 23931917 HAS SOUPS 23360162 WITH SCORE 2.3440580045E7
AT ITER 146 NEW BEST:: SOT 123494969 SOS 80451766 HAS SOPS 65447450 HAS SOUS 23931805 HAS SOUPS 23360050 WITH SCORE 2.3440501766E7
AT ITER 151 NEW BEST:: SOT 123492325 SOS 80448790 HAS SOPS 65444538 HAS SOUS 23928345 HAS SOUPS 23356590 WITH SCORE 2.343703879E7
AT ITER 156 NEW BEST:: SOT 123429028 SOS 80380944 HAS SOPS 65376524 HAS SOUS 23839679 HAS SOUPS 23267948 WITH SCORE 2.3348328944E7
AT ITER 160 NEW BEST:: SOT 123429118 SOS 80381970 HAS SOPS 65378112 HAS SOUS 23835270 HAS SOUPS 23263617 WITH SCORE 2.334399897E7
AT ITER 176 NEW BEST:: SOT 123429118 SOS 80383090 HAS SOPS 65379520 HAS SOUS 23835259 HAS SOUPS 23263606 WITH SCORE 2.334398909E7
AT ITER 182 NEW BEST:: SOT 123415896 SOS 80368005 HAS SOPS 65357044 HAS SOUS 23781221 HAS SOUPS 23209585 WITH SCORE 2.3289953005E7
AT ITER 187 NEW BEST:: SOT 123416413 SOS 80374314 HAS SOPS 65358909 HAS SOUS 23774886 HAS SOUPS 23203402 WITH SCORE 2.3283776314E7
AT ITER 193 NEW BEST:: SOT 123414462 SOS 80373473 HAS SOPS 65357270 HAS SOUS 23766438 HAS SOUPS 23194954 WITH SCORE 2.3275327473E7
AT ITER 208 NEW BEST:: SOT 123482500 SOS 80531806 HAS SOPS 65499612 HAS SOUS 23749671 HAS SOUPS 23178187 WITH SCORE 2.3258718806E7
AT ITER 210 NEW BEST:: SOT 123482331 SOS 80532381 HAS SOPS 65499713 HAS SOUS 23747136 HAS SOUPS 23175652 WITH SCORE 2.3256184381E7
AT ITER 223 NEW BEST:: SOT 123470469 SOS 80533178 HAS SOPS 65508846 HAS SOUS 23742751 HAS SOUPS 23171267 WITH SCORE 2.3251800178E7
AT ITER 226 NEW BEST:: SOT 123467692 SOS 80533845 HAS SOPS 65505214 HAS SOUS 23730276 HAS SOUPS 23158752 WITH SCORE 2.3239285845E7
AT ITER 233 NEW BEST:: SOT 123462544 SOS 80530115 HAS SOPS 65494033 HAS SOUS 23712998 HAS SOUPS 23141474 WITH SCORE 2.3222004115E7
AT ITER 243 NEW BEST:: SOT 123460285 SOS 80527571 HAS SOPS 65491451 HAS SOUS 23707685 HAS SOUPS 23136161 WITH SCORE 2.3216688571E7
AT ITER 253 NEW BEST:: SOT 123462410 SOS 80535835 HAS SOPS 65501975 HAS SOUS 23699320 HAS SOUPS 23127362 WITH SCORE 2.3207897835E7
AT ITER 255 NEW BEST:: SOT 123471827 SOS 80580196 HAS SOPS 65550686 HAS SOUS 23696035 HAS SOUPS 23124077 WITH SCORE 2.3204657196E7
AT ITER 263 NEW BEST:: SOT 123468189 SOS 80573635 HAS SOPS 65546023 HAS SOUS 23693067 HAS SOUPS 23121109 WITH SCORE 2.3201682635E7
AT ITER 266 NEW BEST:: SOT 123465924 SOS 80574108 HAS SOPS 65549988 HAS SOUS 23678536 HAS SOUPS 23106578 WITH SCORE 2.3187152108E7
AT ITER 299 NEW BEST:: SOT 123465309 SOS 80573580 HAS SOPS 65549460 HAS SOUS 23677185 HAS SOUPS 23105227 WITH SCORE 2.318580058E7
AT ITER 301 NEW BEST:: SOT 123463146 SOS 80570633 HAS SOPS 65548133 HAS SOUS 23673870 HAS SOUPS 23101966 WITH SCORE 2.3182536633E7
AT ITER 308 NEW BEST:: SOT 123463378 SOS 80572963 HAS SOPS 65548066 HAS SOUS 23669354 HAS SOUPS 23097450 WITH SCORE 2.3178022963E7
AT ITER 320 NEW BEST:: SOT 123463364 SOS 80574905 HAS SOPS 65548862 HAS SOUS 23665505 HAS SOUPS 23093601 WITH SCORE 2.3174175905E7
AT ITER 354 NEW BEST:: SOT 123548464 SOS 80717209 HAS SOPS 65679330 HAS SOUS 23657954 HAS SOUPS 23085571 WITH SCORE 2.3166288209E7
AT ITER 356 NEW BEST:: SOT 123545174 SOS 80713919 HAS SOPS 65676032 HAS SOUS 23654648 HAS SOUPS 23082265 WITH SCORE 2.3162978919E7
AT ITER 361 NEW BEST:: SOT 123534891 SOS 80703893 HAS SOPS 65667844 HAS SOUS 23630907 HAS SOUPS 23058524 WITH SCORE 2.3139227893E7
AT ITER 365 NEW BEST:: SOT 123534845 SOS 80703972 HAS SOPS 65666328 HAS SOUS 23629202 HAS SOUPS 23056819 WITH SCORE 2.3137522972E7
AT ITER 369 NEW BEST:: SOT 123538197 SOS 80716197 HAS SOPS 65675015 HAS SOUS 23625836 HAS SOUPS 23053453 WITH SCORE 2.3134169197E7
AT ITER 379 NEW BEST:: SOT 123566030 SOS 80772669 HAS SOPS 65726923 HAS SOUS 23618996 HAS SOUPS 23046581 WITH SCORE 2.3127353669E7
AT ITER 385 NEW BEST:: SOT 123565965 SOS 80779963 HAS SOPS 65757724 HAS SOUS 23618468 HAS SOUPS 23046053 WITH SCORE 2.3126832963E7
AT ITER 395 NEW BEST:: SOT 123565504 SOS 80779544 HAS SOPS 65757281 HAS SOUS 23617542 HAS SOUPS 23045124 WITH SCORE 2.3125903544E7
AT ITER 405 NEW BEST:: SOT 123558843 SOS 80771825 HAS SOPS 65748856 HAS SOUS 23611087 HAS SOUPS 23038669 WITH SCORE 2.3119440825E7
AT ITER 406 NEW BEST:: SOT 123556738 SOS 80769720 HAS SOPS 65746663 HAS SOUS 23608402 HAS SOUPS 23035972 WITH SCORE 2.311674172E7
AT ITER 417 NEW BEST:: SOT 123556802 SOS 80808250 HAS SOPS 65819183 HAS SOUS 23607773 HAS SOUPS 23035343 WITH SCORE 2.311615125E7
AT ITER 422 NEW BEST:: SOT 123556802 SOS 80808090 HAS SOPS 65819567 HAS SOUS 23607767 HAS SOUPS 23035337 WITH SCORE 2.311614509E7
AT ITER 423 NEW BEST:: SOT 123557232 SOS 80806756 HAS SOPS 65820126 HAS SOUS 23607703 HAS SOUPS 23035273 WITH SCORE 2.3116079756E7
AT ITER 426 NEW BEST:: SOT 123558037 SOS 80809190 HAS SOPS 65821234 HAS SOUS 23605949 HAS SOUPS 23033519 WITH SCORE 2.311432819E7
AT ITER 428 NEW BEST:: SOT 123545554 SOS 80794533 HAS SOPS 65804048 HAS SOUS 23587766 HAS SOUPS 23015336 WITH SCORE 2.3096130533E7
AT ITER 437 NEW BEST:: SOT 123535917 SOS 80770929 HAS SOPS 65787550 HAS SOUS 23580913 HAS SOUPS 23008572 WITH SCORE 2.3089342929E7
AT ITER 438 NEW BEST:: SOT 123545333 SOS 80782985 HAS SOPS 65795107 HAS SOUS 23569819 HAS SOUPS 22997478 WITH SCORE 2.3078260985E7
AT ITER 440 NEW BEST:: SOT 123618480 SOS 80970909 HAS SOPS 65968609 HAS SOUS 23546577 HAS SOUPS 22974236 WITH SCORE 2.3055206909E7
AT ITER 449 NEW BEST:: SOT 123619523 SOS 80974016 HAS SOPS 65965763 HAS SOUS 23539365 HAS SOUPS 22967024 WITH SCORE 2.3047998016E7
AT ITER 451 NEW BEST:: SOT 123610039 SOS 80961374 HAS SOPS 65957487 HAS SOUS 23523076 HAS SOUPS 22950870 WITH SCORE 2.3031831374E7
AT ITER 453 NEW BEST:: SOT 123609656 SOS 80960283 HAS SOPS 65956600 HAS SOUS 23523029 HAS SOUPS 22950823 WITH SCORE 2.3031783283E7
AT ITER 457 NEW BEST:: SOT 123598376 SOS 80946023 HAS SOPS 65948201 HAS SOUS 23501252 HAS SOUPS 22929046 WITH SCORE 2.3009992023E7
AT ITER 462 NEW BEST:: SOT 123605637 SOS 80952629 HAS SOPS 65958005 HAS SOUS 23491622 HAS SOUPS 22920802 WITH SCORE 2.3001754629E7
AT ITER 464 NEW BEST:: SOT 123611373 SOS 80962955 HAS SOPS 65979795 HAS SOUS 23469928 HAS SOUPS 22899108 WITH SCORE 2.2980070955E7
AT ITER 477 NEW BEST:: SOT 123599288 SOS 80948700 HAS SOPS 65964918 HAS SOUS 23452791 HAS SOUPS 22881941 WITH SCORE 2.29628897E7
AT ITER 478 NEW BEST:: SOT 123593912 SOS 80946641 HAS SOPS 65965629 HAS SOUS 23441432 HAS SOUPS 22870582 WITH SCORE 2.2951528641E7
AT ITER 479 NEW BEST:: SOT 123575988 SOS 80908356 HAS SOPS 65942269 HAS SOUS 23421049 HAS SOUPS 22850199 WITH SCORE 2.2931107356E7
AT ITER 490 NEW BEST:: SOT 123576002 SOS 80908370 HAS SOPS 65942299 HAS SOUS 23421031 HAS SOUPS 22850197 WITH SCORE 2.293110537E7
AT ITER 497 NEW BEST:: SOT 123594660 SOS 80958557 HAS SOPS 66013465 HAS SOUS 23400786 HAS SOUPS 22829952 WITH SCORE 2.2910910557E7
AT ITER 502 NEW BEST:: SOT 123592582 SOS 80955502 HAS SOPS 66010423 HAS SOUS 23397909 HAS SOUPS 22827087 WITH SCORE 2.2908042502E7
AT ITER 503 NEW BEST:: SOT 123593176 SOS 80957580 HAS SOPS 66011908 HAS SOUS 23397495 HAS SOUPS 22826673 WITH SCORE 2.290763058E7
AT ITER 510 NEW BEST:: SOT 123588221 SOS 80952083 HAS SOPS 66003608 HAS SOUS 23387713 HAS SOUPS 22816891 WITH SCORE 2.2897843083E7
AT ITER 514 NEW BEST:: SOT 123638157 SOS 81068860 HAS SOPS 66109690 HAS SOUS 23387466 HAS SOUPS 22816644 WITH SCORE 2.289771286E7
AT ITER 524 NEW BEST:: SOT 123638993 SOS 81102525 HAS SOPS 66146197 HAS SOUS 23387378 HAS SOUPS 22816556 WITH SCORE 2.2897658525E7
AT ITER 530 NEW BEST:: SOT 123670476 SOS 81181220 HAS SOPS 66217090 HAS SOUS 23375889 HAS SOUPS 22805067 WITH SCORE 2.288624822E7
AT ITER 534 NEW BEST:: SOT 123668766 SOS 81176447 HAS SOPS 66219542 HAS SOUS 23366120 HAS SOUPS 22795468 WITH SCORE 2.2876644447E7
AT ITER 537 NEW BEST:: SOT 123670892 SOS 81185384 HAS SOPS 66218813 HAS SOUS 23360167 HAS SOUPS 22789515 WITH SCORE 2.2870700384E7
AT ITER 549 NEW BEST:: SOT 123654306 SOS 81160127 HAS SOPS 66199860 HAS SOUS 23338697 HAS SOUPS 22768045 WITH SCORE 2.2849205127E7
AT ITER 558 NEW BEST:: SOT 123654271 SOS 81161216 HAS SOPS 66200811 HAS SOUS 23337106 HAS SOUPS 22766686 WITH SCORE 2.2847847216E7
AT ITER 564 NEW BEST:: SOT 123650867 SOS 81161501 HAS SOPS 66198905 HAS SOUS 23334675 HAS SOUPS 22764214 WITH SCORE 2.2845375501E7
AT ITER 593 NEW BEST:: SOT 123650724 SOS 81162866 HAS SOPS 66199449 HAS SOUS 23332905 HAS SOUPS 22762444 WITH SCORE 2.2843606866E7
AT ITER 597 NEW BEST:: SOT 123644780 SOS 81154702 HAS SOPS 66191877 HAS SOUS 23331580 HAS SOUPS 22761156 WITH SCORE 2.2842310702E7
AT ITER 612 NEW BEST:: SOT 123640247 SOS 81148565 HAS SOPS 66185985 HAS SOUS 23323531 HAS SOUPS 22753166 WITH SCORE 2.2834314565E7
AT ITER 614 NEW BEST:: SOT 123641624 SOS 81151281 HAS SOPS 66191053 HAS SOUS 23319126 HAS SOUPS 22748761 WITH SCORE 2.2829912281E7
AT ITER 622 NEW BEST:: SOT 123641515 SOS 81151173 HAS SOPS 66190885 HAS SOUS 23319018 HAS SOUPS 22748596 WITH SCORE 2.2829747173E7
AT ITER 630 NEW BEST:: SOT 123632362 SOS 81144695 HAS SOPS 66184066 HAS SOUS 23300314 HAS SOUPS 22729873 WITH SCORE 2.2811017695E7
AT ITER 633 NEW BEST:: SOT 123622340 SOS 81134128 HAS SOPS 66170910 HAS SOUS 23280935 HAS SOUPS 22710547 WITH SCORE 2.2791681128E7
AT ITER 640 NEW BEST:: SOT 123619428 SOS 81129144 HAS SOPS 66155150 HAS SOUS 23280591 HAS SOUPS 22710203 WITH SCORE 2.2791332144E7
AT ITER 641 NEW BEST:: SOT 123615525 SOS 81124252 HAS SOPS 66145779 HAS SOUS 23277979 HAS SOUPS 22707591 WITH SCORE 2.2788715252E7
AT ITER 652 NEW BEST:: SOT 123616701 SOS 81132773 HAS SOPS 66150630 HAS SOUS 23268820 HAS SOUPS 22698432 WITH SCORE 2.2779564773E7
AT ITER 655 NEW BEST:: SOT 123615873 SOS 81130583 HAS SOPS 66147370 HAS SOUS 23267801 HAS SOUPS 22697413 WITH SCORE 2.2778543583E7
AT ITER 662 NEW BEST:: SOT 123614245 SOS 81139262 HAS SOPS 66129468 HAS SOUS 23225361 HAS SOUPS 22654973 WITH SCORE 2.2736112262E7
AT ITER 674 NEW BEST:: SOT 123614036 SOS 81138554 HAS SOPS 66129513 HAS SOUS 23225208 HAS SOUPS 22654846 WITH SCORE 2.2735984554E7
AT ITER 684 NEW BEST:: SOT 123611299 SOS 81133821 HAS SOPS 66123044 HAS SOUS 23222955 HAS SOUPS 22652593 WITH SCORE 2.2733726821E7
AT ITER 690 NEW BEST:: SOT 123606317 SOS 81134088 HAS SOPS 66120116 HAS SOUS 23204674 HAS SOUPS 22634312 WITH SCORE 2.2715446088E7
AT ITER 691 NEW BEST:: SOT 123606317 SOS 81134184 HAS SOPS 66120308 HAS SOUS 23204665 HAS SOUPS 22634303 WITH SCORE 2.2715437184E7
AT ITER 696 NEW BEST:: SOT 123601212 SOS 81184452 HAS SOPS 66172077 HAS SOUS 23204364 HAS SOUPS 22634002 WITH SCORE 2.2715186452E7
AT ITER 708 NEW BEST:: SOT 123590600 SOS 81171258 HAS SOPS 66158471 HAS SOUS 23184246 HAS SOUPS 22614010 WITH SCORE 2.2695181258E7
AT ITER 726 NEW BEST:: SOT 123586660 SOS 81163972 HAS SOPS 66153152 HAS SOUS 23181695 HAS SOUPS 22611459 WITH SCORE 2.2692622972E7
AT ITER 730 NEW BEST:: SOT 123552644 SOS 81120121 HAS SOPS 66119666 HAS SOUS 23129957 HAS SOUPS 22560549 WITH SCORE 2.2641669121E7
AT ITER 753 NEW BEST:: SOT 123545623 SOS 81115060 HAS SOPS 66109619 HAS SOUS 23120198 HAS SOUPS 22549471 WITH SCORE 2.263058606E7
AT ITER 754 NEW BEST:: SOT 123543306 SOS 81111861 HAS SOPS 66105951 HAS SOUS 23116283 HAS SOUPS 22545596 WITH SCORE 2.2626707861E7
AT ITER 755 NEW BEST:: SOT 123555878 SOS 81138264 HAS SOPS 66128006 HAS SOUS 23093710 HAS SOUPS 22523023 WITH SCORE 2.2604161264E7
AT ITER 762 NEW BEST:: SOT 123559317 SOS 81148657 HAS SOPS 66137579 HAS SOUS 23091706 HAS SOUPS 22521019 WITH SCORE 2.2602167657E7
AT ITER 771 NEW BEST:: SOT 123562608 SOS 81178349 HAS SOPS 66194748 HAS SOUS 23090423 HAS SOUPS 22520056 WITH SCORE 2.2601234349E7
AT ITER 786 NEW BEST:: SOT 123552048 SOS 81169874 HAS SOPS 66184021 HAS SOUS 23009929 HAS SOUPS 22439199 WITH SCORE 2.2520368874E7
AT ITER 789 NEW BEST:: SOT 123506775 SOS 81124601 HAS SOPS 66138748 HAS SOUS 22964656 HAS SOUPS 22393926 WITH SCORE 2.2475050601E7
AT ITER 793 NEW BEST:: SOT 123506892 SOS 81125986 HAS SOPS 66137559 HAS SOUS 22959144 HAS SOUPS 22388350 WITH SCORE 2.2469475986E7
AT ITER 796 NEW BEST:: SOT 123503389 SOS 81123932 HAS SOPS 66132957 HAS SOUS 22939693 HAS SOUPS 22368899 WITH SCORE 2.2450022932E7
AT ITER 800 NEW BEST:: SOT 123502621 SOS 81123140 HAS SOPS 66132193 HAS SOUS 22938101 HAS SOUPS 22367307 WITH SCORE 2.244843014E7
AT ITER 810 NEW BEST:: SOT 123489802 SOS 81109599 HAS SOPS 66117528 HAS SOUS 22926453 HAS SOUPS 22355659 WITH SCORE 2.2436768599E7
AT ITER 812 NEW BEST:: SOT 123489885 SOS 81130826 HAS SOPS 66142323 HAS SOUS 22926231 HAS SOUPS 22355437 WITH SCORE 2.2436567826E7
AT ITER 818 NEW BEST:: SOT 123489063 SOS 81130030 HAS SOPS 66140669 HAS SOUS 22925305 HAS SOUPS 22354667 WITH SCORE 2.243579703E7
AT ITER 832 NEW BEST:: SOT 123480947 SOS 81116763 HAS SOPS 66134536 HAS SOUS 22900245 HAS SOUPS 22330167 WITH SCORE 2.2411283763E7
AT ITER 838 NEW BEST:: SOT 123465055 SOS 81097216 HAS SOPS 66115875 HAS SOUS 22874568 HAS SOUPS 22304868 WITH SCORE 2.2385965216E7
AT ITER 839 NEW BEST:: SOT 123459939 SOS 81092550 HAS SOPS 66112138 HAS SOUS 22848314 HAS SOUPS 22278790 WITH SCORE 2.235988255E7
AT ITER 853 NEW BEST:: SOT 123459848 SOS 81095081 HAS SOPS 66111290 HAS SOUS 22841625 HAS SOUPS 22272061 WITH SCORE 2.2353156081E7
AT ITER 863 NEW BEST:: SOT 123475167 SOS 81155382 HAS SOPS 66169443 HAS SOUS 22833671 HAS SOUPS 22264107 WITH SCORE 2.2345262382E7
AT ITER 878 NEW BEST:: SOT 123475057 SOS 81149308 HAS SOPS 66164214 HAS SOUS 22833596 HAS SOUPS 22264032 WITH SCORE 2.2345181308E7
AT ITER 888 NEW BEST:: SOT 123497711 SOS 81166712 HAS SOPS 66170574 HAS SOUS 22788355 HAS SOUPS 22202003 WITH SCORE 2.2283169712E7
AT ITER 892 NEW BEST:: SOT 123484084 SOS 81148574 HAS SOPS 66154413 HAS SOUS 22776681 HAS SOUPS 22190467 WITH SCORE 2.2271615574E7
AT ITER 893 NEW BEST:: SOT 123479687 SOS 81141116 HAS SOPS 66148148 HAS SOUS 22768232 HAS SOUPS 22182296 WITH SCORE 2.2263437116E7
AT ITER 899 NEW BEST:: SOT 123478854 SOS 81165030 HAS SOPS 66160019 HAS SOUS 22730616 HAS SOUPS 22144680 WITH SCORE 2.222584503E7
AT ITER 900 NEW BEST:: SOT 123478964 SOS 81179318 HAS SOPS 66185222 HAS SOUS 22730460 HAS SOUPS 22144524 WITH SCORE 2.2225703318E7
AT ITER 906 NEW BEST:: SOT 123475141 SOS 81172243 HAS SOPS 66178601 HAS SOUS 22718975 HAS SOUPS 22133097 WITH SCORE 2.2214269243E7
AT ITER 907 NEW BEST:: SOT 123464538 SOS 81142739 HAS SOPS 66162057 HAS SOUS 22698963 HAS SOUPS 22113085 WITH SCORE 2.2194227739E7
AT ITER 909 NEW BEST:: SOT 123462773 SOS 81150159 HAS SOPS 66181747 HAS SOUS 22696147 HAS SOUPS 22110269 WITH SCORE 2.2191419159E7
AT ITER 915 NEW BEST:: SOT 123461554 SOS 81149427 HAS SOPS 66180695 HAS SOUS 22695625 HAS SOUPS 22109707 WITH SCORE 2.2190856427E7
AT ITER 917 NEW BEST:: SOT 123460068 SOS 81147391 HAS SOPS 66177535 HAS SOUS 22693373 HAS SOUPS 22107455 WITH SCORE 2.2188602391E7
AT ITER 920 NEW BEST:: SOT 123460590 SOS 81146755 HAS SOPS 66178057 HAS SOUS 22693118 HAS SOUPS 22107200 WITH SCORE 2.2188346755E7
AT ITER 923 NEW BEST:: SOT 123465627 SOS 81155483 HAS SOPS 66190829 HAS SOUS 22670786 HAS SOUPS 22085399 WITH SCORE 2.2166554483E7
AT ITER 927 NEW BEST:: SOT 123470595 SOS 81159789 HAS SOPS 66196755 HAS SOUS 22666792 HAS SOUPS 22081490 WITH SCORE 2.2162649789E7
AT ITER 940 NEW BEST:: SOT 123485583 SOS 81186004 HAS SOPS 66220700 HAS SOUS 22659424 HAS SOUPS 22073915 WITH SCORE 2.2155101004E7
AT ITER 947 NEW BEST:: SOT 123485059 SOS 81179803 HAS SOPS 66240465 HAS SOUS 22647811 HAS SOUPS 22062302 WITH SCORE 2.2143481803E7
AT ITER 963 NEW BEST:: SOT 123477596 SOS 81172157 HAS SOPS 66232327 HAS SOUS 22634662 HAS SOUPS 22049214 WITH SCORE 2.2130386157E7
AT ITER 969 NEW BEST:: SOT 123472994 SOS 81168606 HAS SOPS 66225926 HAS SOUS 22629213 HAS SOUPS 22043676 WITH SCORE 2.2124844606E7
AT ITER 982 NEW BEST:: SOT 123466386 SOS 81158741 HAS SOPS 66218577 HAS SOUS 22612254 HAS SOUPS 22026785 WITH SCORE 2.2107943741E7
AT ITER 986 NEW BEST:: SOT 123464019 SOS 81155987 HAS SOPS 66214448 HAS SOUS 22607255 HAS SOUPS 22021786 WITH SCORE 2.2102941987E7
AT ITER 990 NEW BEST:: SOT 123466297 SOS 81166217 HAS SOPS 66216473 HAS SOUS 22594150 HAS SOUPS 22008681 WITH SCORE 2.2089847217E7
AT ITER 998 NEW BEST:: SOT 123460695 SOS 81156706 HAS SOPS 66208543 HAS SOUS 22587323 HAS SOUPS 22001888 WITH SCORE 2.2083044706E7
AT ITER 999 NEW BEST:: SOT 123460695 SOS 81164002 HAS SOPS 66215839 HAS SOUS 22587310 HAS SOUPS 22001875 WITH SCORE 2.2083039002E7
AT ITER 1003 NEW BEST:: SOT 123460788 SOS 81183442 HAS SOPS 66252867 HAS SOUS 22586553 HAS SOUPS 22001118 WITH SCORE 2.2082301442E7
AT ITER 1006 NEW BEST:: SOT 123460169 SOS 81180926 HAS SOPS 66250437 HAS SOUS 22586403 HAS SOUPS 22000968 WITH SCORE 2.2082148926E7
AT ITER 1017 NEW BEST:: SOT 123461044 SOS 81185837 HAS SOPS 66256408 HAS SOUS 22582558 HAS SOUPS 21997123 WITH SCORE 2.2078308837E7
AT ITER 1018 NEW BEST:: SOT 123461044 SOS 81179741 HAS SOPS 66254056 HAS SOUS 22582520 HAS SOUPS 21997085 WITH SCORE 2.2078264741E7
AT ITER 1020 NEW BEST:: SOT 123477313 SOS 81204096 HAS SOPS 66295309 HAS SOUS 22582139 HAS SOUPS 21996704 WITH SCORE 2.2077908096E7
AT ITER 1021 NEW BEST:: SOT 123470877 SOS 81195059 HAS SOPS 66286897 HAS SOUS 22573102 HAS SOUPS 21987705 WITH SCORE 2.2068900059E7
AT ITER 1039 NEW BEST:: SOT 123467051 SOS 81187637 HAS SOPS 66279672 HAS SOUS 22565517 HAS SOUPS 21980120 WITH SCORE 2.2061307637E7
AT ITER 1062 NEW BEST:: SOT 123469252 SOS 81189864 HAS SOPS 66281022 HAS SOUS 22560985 HAS SOUPS 21975588 WITH SCORE 2.2056777864E7
AT ITER 1081 NEW BEST:: SOT 123467596 SOS 81186569 HAS SOPS 66277479 HAS SOUS 22560619 HAS SOUPS 21975222 WITH SCORE 2.2056408569E7
AT ITER 1105 NEW BEST:: SOT 123490206 SOS 81270358 HAS SOPS 66349610 HAS SOUS 22553186 HAS SOUPS 21967789 WITH SCORE 2.2049059358E7
AT ITER 1141 NEW BEST:: SOT 123490009 SOS 81271587 HAS SOPS 66354730 HAS SOUS 22550754 HAS SOUPS 21965419 WITH SCORE 2.2046690587E7
AT ITER 1146 NEW BEST:: SOT 123488765 SOS 81267817 HAS SOPS 66358188 HAS SOUS 22539981 HAS SOUPS 21955497 WITH SCORE 2.2036764817E7
AT ITER 1163 NEW BEST:: SOT 123434238 SOS 81136365 HAS SOPS 66258962 HAS SOUS 22521386 HAS SOUPS 21936932 WITH SCORE 2.2018068365E7
AT ITER 1170 NEW BEST:: SOT 123418950 SOS 81108980 HAS SOPS 66236762 HAS SOUS 22506476 HAS SOUPS 21922022 WITH SCORE 2.200313098E7
AT ITER 1174 NEW BEST:: SOT 123417358 SOS 81113474 HAS SOPS 66236950 HAS SOUS 22494232 HAS SOUPS 21909778 WITH SCORE 2.1990891474E7
AT ITER 1184 NEW BEST:: SOT 123417301 SOS 81137495 HAS SOPS 66272970 HAS SOUS 22491481 HAS SOUPS 21907230 WITH SCORE 2.1988367495E7
AT ITER 1189 NEW BEST:: SOT 123458241 SOS 81209434 HAS SOPS 66334798 HAS SOUS 22487138 HAS SOUPS 21902887 WITH SCORE 2.1984096434E7
AT ITER 1191 NEW BEST:: SOT 123456357 SOS 81208601 HAS SOPS 66333438 HAS SOUS 22482195 HAS SOUPS 21897944 WITH SCORE 2.1979152601E7
AT ITER 1192 NEW BEST:: SOT 123464002 SOS 81221667 HAS SOPS 66339760 HAS SOUS 22481619 HAS SOUPS 21897196 WITH SCORE 2.1978417667E7
AT ITER 1199 NEW BEST:: SOT 123476177 SOS 81238381 HAS SOPS 66374724 HAS SOUS 22474364 HAS SOUPS 21890085 WITH SCORE 2.1971323381E7
AT ITER 1202 NEW BEST:: SOT 123471310 SOS 81227953 HAS SOPS 66364560 HAS SOUS 22468626 HAS SOUPS 21884284 WITH SCORE 2.1965511953E7
AT ITER 1204 NEW BEST:: SOT 123463074 SOS 81252649 HAS SOPS 66422293 HAS SOUS 22464250 HAS SOUPS 21879908 WITH SCORE 2.1961160649E7
AT ITER 1205 NEW BEST:: SOT 123463074 SOS 81256905 HAS SOPS 66416149 HAS SOUS 22463661 HAS SOUPS 21879319 WITH SCORE 2.1960575905E7
AT ITER 1219 NEW BEST:: SOT 123463776 SOS 81269423 HAS SOPS 66425729 HAS SOUS 22450029 HAS SOUPS 21865687 WITH SCORE 2.1946956423E7
AT ITER 1243 NEW BEST:: SOT 123471127 SOS 81301884 HAS SOPS 66454098 HAS SOUS 22413343 HAS SOUPS 21829001 WITH SCORE 2.1910302884E7
AT ITER 1245 NEW BEST:: SOT 123483214 SOS 81327847 HAS SOPS 66472563 HAS SOUS 22405139 HAS SOUPS 21820740 WITH SCORE 2.1902067847E7
AT ITER 1254 NEW BEST:: SOT 123391128 SOS 81211268 HAS SOPS 66363678 HAS SOUS 22339396 HAS SOUPS 21755417 WITH SCORE 2.1836628268E7
AT ITER 1259 NEW BEST:: SOT 123381830 SOS 81201125 HAS SOPS 66348396 HAS SOUS 22320669 HAS SOUPS 21736690 WITH SCORE 2.1817891125E7
AT ITER 1263 NEW BEST:: SOT 123367915 SOS 81184694 HAS SOPS 66331182 HAS SOUS 22309702 HAS SOUPS 21725795 WITH SCORE 2.1806979694E7
AT ITER 1269 NEW BEST:: SOT 123366137 SOS 81182577 HAS SOPS 66328794 HAS SOUS 22306501 HAS SOUPS 21722576 WITH SCORE 2.1803758577E7
AT ITER 1283 NEW BEST:: SOT 123348261 SOS 81160740 HAS SOPS 66321582 HAS SOUS 22293354 HAS SOUPS 21709429 WITH SCORE 2.179058974E7
AT ITER 1284 NEW BEST:: SOT 123342666 SOS 81153010 HAS SOPS 66316293 HAS SOUS 22280390 HAS SOUPS 21697375 WITH SCORE 2.177852801E7
AT ITER 1290 NEW BEST:: SOT 123335152 SOS 81133474 HAS SOPS 66301342 HAS SOUS 22274525 HAS SOUPS 21691510 WITH SCORE 2.1772643474E7
AT ITER 1299 NEW BEST:: SOT 123333554 SOS 81131185 HAS SOPS 66297889 HAS SOUS 22272831 HAS SOUPS 21689816 WITH SCORE 2.1770947185E7
AT ITER 1307 NEW BEST:: SOT 123333554 SOS 81131769 HAS SOPS 66298537 HAS SOUS 22272821 HAS SOUPS 21689806 WITH SCORE 2.1770937769E7
AT ITER 1316 NEW BEST:: SOT 123333554 SOS 81133433 HAS SOPS 66301033 HAS SOUS 22272808 HAS SOUPS 21689793 WITH SCORE 2.1770926433E7
AT ITER 1319 NEW BEST:: SOT 123339108 SOS 81148061 HAS SOPS 66307878 HAS SOUS 22260142 HAS SOUPS 21677120 WITH SCORE 2.1758268061E7
AT ITER 1327 NEW BEST:: SOT 123350121 SOS 81175792 HAS SOPS 66334354 HAS SOUS 22254167 HAS SOUPS 21670799 WITH SCORE 2.1751974792E7
AT ITER 1369 NEW BEST:: SOT 123349986 SOS 81175660 HAS SOPS 66334243 HAS SOUS 22253747 HAS SOUPS 21670424 WITH SCORE 2.175159966E7
AT ITER 1374 NEW BEST:: SOT 123349255 SOS 81174897 HAS SOPS 66333789 HAS SOUS 22252052 HAS SOUPS 21668729 WITH SCORE 2.1749903897E7
AT ITER 1393 NEW BEST:: SOT 123347777 SOS 81173419 HAS SOPS 66332279 HAS SOUS 22251030 HAS SOUPS 21667707 WITH SCORE 2.1748880419E7
AT ITER 1432 NEW BEST:: SOT 123349018 SOS 81172704 HAS SOPS 66333694 HAS SOUS 22250801 HAS SOUPS 21667452 WITH SCORE 2.1748624704E7
AT ITER 1434 NEW BEST:: SOT 123348209 SOS 81172217 HAS SOPS 66333394 HAS SOUS 22249515 HAS SOUPS 21666143 WITH SCORE 2.1747315217E7
AT ITER 1435 NEW BEST:: SOT 123354323 SOS 81183939 HAS SOPS 66340787 HAS SOUS 22248964 HAS SOUPS 21665435 WITH SCORE 2.1746618939E7
AT ITER 1460 NEW BEST:: SOT 123310194 SOS 81115721 HAS SOPS 66266976 HAS SOUS 22114693 HAS SOUPS 21531313 WITH SCORE 2.1612428721E7
AT ITER 1469 NEW BEST:: SOT 123302398 SOS 81106338 HAS SOPS 66258168 HAS SOUS 22094893 HAS SOUPS 21511603 WITH SCORE 2.1592709338E7
AT ITER 1474 NEW BEST:: SOT 123302034 SOS 81108340 HAS SOPS 66258618 HAS SOUS 22092579 HAS SOUPS 21509289 WITH SCORE 2.159039734E7
AT ITER 1487 NEW BEST:: SOT 123302184 SOS 81103998 HAS SOPS 66255834 HAS SOUS 22092442 HAS SOUPS 21509152 WITH SCORE 2.1590255998E7
AT ITER 1489 NEW BEST:: SOT 123299800 SOS 81101225 HAS SOPS 66253353 HAS SOUS 22083967 HAS SOUPS 21500677 WITH SCORE 2.1581778225E7
AT ITER 1498 NEW BEST:: SOT 123299460 SOS 81100619 HAS SOPS 66252903 HAS SOUS 22082740 HAS SOUPS 21499770 WITH SCORE 2.1580870619E7
AT ITER 1499 NEW BEST:: SOT 123287338 SOS 81089107 HAS SOPS 66245491 HAS SOUS 22077480 HAS SOUPS 21494510 WITH SCORE 2.1575599107E7
AT ITER 1506 NEW BEST:: SOT 123287333 SOS 81091303 HAS SOPS 66247829 HAS SOUS 22077112 HAS SOUPS 21494142 WITH SCORE 2.1575233303E7
AT ITER 1508 NEW BEST:: SOT 123282702 SOS 81084786 HAS SOPS 66241358 HAS SOUS 22073125 HAS SOUPS 21490178 WITH SCORE 2.1571262786E7
AT ITER 1514 NEW BEST:: SOT 123275414 SOS 81070972 HAS SOPS 66236657 HAS SOUS 22070187 HAS SOUPS 21487240 WITH SCORE 2.1568310972E7
AT ITER 1516 NEW BEST:: SOT 123284210 SOS 81105739 HAS SOPS 66264674 HAS SOUS 22045103 HAS SOUPS 21462156 WITH SCORE 2.1543261739E7
AT ITER 1539 NEW BEST:: SOT 123283373 SOS 81104196 HAS SOPS 66263324 HAS SOUS 22044520 HAS SOUPS 21461595 WITH SCORE 2.1542699196E7
AT ITER 1551 NEW BEST:: SOT 123273357 SOS 81094180 HAS SOPS 66253308 HAS SOUS 22041864 HAS SOUPS 21458939 WITH SCORE 2.154003318E7
AT ITER 1561 NEW BEST:: SOT 123300992 SOS 81153874 HAS SOPS 66316995 HAS SOUS 22035771 HAS SOUPS 21452846 WITH SCORE 2.1533999874E7
AT ITER 1573 NEW BEST:: SOT 123300519 SOS 81148260 HAS SOPS 66318570 HAS SOUS 22031854 HAS SOUPS 21448929 WITH SCORE 2.153007726E7
AT ITER 1584 NEW BEST:: SOT 123269623 SOS 81110160 HAS SOPS 66282182 HAS SOUS 21976692 HAS SOUPS 21393767 WITH SCORE 2.147487716E7
AT ITER 1604 NEW BEST:: SOT 123204341 SOS 81011471 HAS SOPS 66151645 HAS SOUS 21908455 HAS SOUPS 21325740 WITH SCORE 2.1406751471E7
AT ITER 1612 NEW BEST:: SOT 123197526 SOS 81004654 HAS SOPS 66144766 HAS SOUS 21901608 HAS SOUPS 21318861 WITH SCORE 2.1399865654E7
AT ITER 1618 NEW BEST:: SOT 123202949 SOS 81016159 HAS SOPS 66154025 HAS SOUS 21901296 HAS SOUPS 21318549 WITH SCORE 2.1399565159E7
AT ITER 1626 NEW BEST:: SOT 123177072 SOS 80970587 HAS SOPS 66113657 HAS SOUS 21901335 HAS SOUPS 21318588 WITH SCORE 2.1399558587E7
AT ITER 1638 NEW BEST:: SOT 123187553 SOS 80997881 HAS SOPS 66121228 HAS SOUS 21896668 HAS SOUPS 21313921 WITH SCORE 2.1394918881E7
AT ITER 1646 NEW BEST:: SOT 123190788 SOS 81004261 HAS SOPS 66127449 HAS SOUS 21895560 HAS SOUPS 21312813 WITH SCORE 2.1393817261E7
AT ITER 1652 NEW BEST:: SOT 123192556 SOS 81007670 HAS SOPS 66134835 HAS SOUS 21894891 HAS SOUPS 21312144 WITH SCORE 2.139315167E7
AT ITER 1660 NEW BEST:: SOT 123187191 SOS 81006141 HAS SOPS 66130722 HAS SOUS 21877662 HAS SOUPS 21294915 WITH SCORE 2.1375921141E7
AT ITER 1679 NEW BEST:: SOT 123189667 SOS 81011262 HAS SOPS 66125652 HAS SOUS 21876145 HAS SOUPS 21293398 WITH SCORE 2.1374409262E7
AT ITER 1688 NEW BEST:: SOT 123169048 SOS 80975993 HAS SOPS 66103364 HAS SOUS 21835926 HAS SOUPS 21253497 WITH SCORE 2.1334472993E7
AT ITER 1694 NEW BEST:: SOT 123136270 SOS 80919832 HAS SOPS 66069734 HAS SOUS 21802167 HAS SOUPS 21219910 WITH SCORE 2.1300829832E7
AT ITER 1695 NEW BEST:: SOT 123172935 SOS 81004780 HAS SOPS 66156915 HAS SOUS 21774209 HAS SOUPS 21191952 WITH SCORE 2.127295678E7
AT ITER 1696 NEW BEST:: SOT 123175693 SOS 81006109 HAS SOPS 66160369 HAS SOUS 21774207 HAS SOUPS 21191950 WITH SCORE 2.1272956109E7
AT ITER 1724 NEW BEST:: SOT 123183698 SOS 81004238 HAS SOPS 66154600 HAS SOUS 21762120 HAS SOUPS 21179863 WITH SCORE 2.1260867238E7
AT ITER 1732 NEW BEST:: SOT 123189492 SOS 81011587 HAS SOPS 66153623 HAS SOUS 21757041 HAS SOUPS 21174784 WITH SCORE 2.1255795587E7
AT ITER 1738 NEW BEST:: SOT 123182668 SOS 81011774 HAS SOPS 66150591 HAS SOUS 21734488 HAS SOUPS 21152231 WITH SCORE 2.1233242774E7
AT ITER 1740 NEW BEST:: SOT 123182150 SOS 81011100 HAS SOPS 66149221 HAS SOUS 21731390 HAS SOUPS 21149145 WITH SCORE 2.12301561E7
AT ITER 1744 NEW BEST:: SOT 123189866 SOS 81030158 HAS SOPS 66144685 HAS SOUS 21687454 HAS SOUPS 21105209 WITH SCORE 2.1186239158E7
AT ITER 1751 NEW BEST:: SOT 123189866 SOS 81047950 HAS SOPS 66165357 HAS SOUS 21687262 HAS SOUPS 21105017 WITH SCORE 2.118606495E7
AT ITER 1806 NEW BEST:: SOT 123190451 SOS 81056328 HAS SOPS 66169963 HAS SOUS 21666413 HAS SOUPS 21084168 WITH SCORE 2.1165224328E7
AT ITER 1807 NEW BEST:: SOT 123194184 SOS 81064604 HAS SOPS 66177713 HAS SOUS 21660591 HAS SOUPS 21078346 WITH SCORE 2.1159410604E7
AT ITER 1808 NEW BEST:: SOT 123194218 SOS 81064617 HAS SOPS 66177717 HAS SOUS 21660583 HAS SOUPS 21078341 WITH SCORE 2.1159405617E7
AT ITER 1820 NEW BEST:: SOT 123222897 SOS 81090548 HAS SOPS 66209653 HAS SOUS 21655151 HAS SOUPS 21076296 WITH SCORE 2.1157386548E7
AT ITER 1840 NEW BEST:: SOT 123209188 SOS 81062377 HAS SOPS 66214781 HAS SOUS 21636134 HAS SOUPS 21057567 WITH SCORE 2.1138629377E7
AT ITER 1841 NEW BEST:: SOT 123208414 SOS 81065976 HAS SOPS 66229812 HAS SOUS 21635337 HAS SOUPS 21056770 WITH SCORE 2.1137835976E7
AT ITER 1848 NEW BEST:: SOT 123190287 SOS 81045044 HAS SOPS 66216805 HAS SOUS 21621397 HAS SOUPS 21047934 WITH SCORE 2.1128979044E7
AT ITER 1865 NEW BEST:: SOT 123184155 SOS 81043830 HAS SOPS 66206581 HAS SOUS 21616303 HAS SOUPS 21042591 WITH SCORE 2.112363483E7
AT ITER 1870 NEW BEST:: SOT 123181402 SOS 81041077 HAS SOPS 66203828 HAS SOUS 21613550 HAS SOUPS 21039838 WITH SCORE 2.1120879077E7
AT ITER 1873 NEW BEST:: SOT 123183046 SOS 81042755 HAS SOPS 66203746 HAS SOUS 21608896 HAS SOUPS 21035184 WITH SCORE 2.1116226755E7
AT ITER 1881 NEW BEST:: SOT 123120833 SOS 80922811 HAS SOPS 66104421 HAS SOUS 21563089 HAS SOUPS 20991272 WITH SCORE 2.1072194811E7
AT ITER 1896 NEW BEST:: SOT 123125580 SOS 80933753 HAS SOPS 66118836 HAS SOUS 21553125 HAS SOUPS 20981416 WITH SCORE 2.1062349753E7
AT ITER 1898 NEW BEST:: SOT 123130579 SOS 80942421 HAS SOPS 66123308 HAS SOUS 21552903 HAS SOUPS 20978828 WITH SCORE 2.1059770421E7
AT ITER 1903 NEW BEST:: SOT 123130543 SOS 80942391 HAS SOPS 66123264 HAS SOUS 21552807 HAS SOUPS 20978730 WITH SCORE 2.1059672391E7
AT ITER 1911 NEW BEST:: SOT 123130118 SOS 80938143 HAS SOPS 66119980 HAS SOUS 21552497 HAS SOUPS 20978420 WITH SCORE 2.1059358143E7
AT ITER 1916 NEW BEST:: SOT 123128430 SOS 80936998 HAS SOPS 66118667 HAS SOUS 21548162 HAS SOUPS 20974085 WITH SCORE 2.1055021998E7
AT ITER 1949 NEW BEST:: SOT 123127422 SOS 80935270 HAS SOPS 66117287 HAS SOUS 21546746 HAS SOUPS 20972669 WITH SCORE 2.105360427E7
AT ITER 1952 NEW BEST:: SOT 123127163 SOS 80931924 HAS SOPS 66113173 HAS SOUS 21541715 HAS SOUPS 20967638 WITH SCORE 2.1048569924E7
AT ITER 1961 NEW BEST:: SOT 123129038 SOS 80937295 HAS SOPS 66114586 HAS SOUS 21526297 HAS SOUPS 20952178 WITH SCORE 2.1033115295E7
AT ITER 1964 NEW BEST:: SOT 123122827 SOS 80925380 HAS SOPS 66104043 HAS SOUS 21521230 HAS SOUPS 20947149 WITH SCORE 2.102807438E7
AT ITER 1992 NEW BEST:: SOT 123123183 SOS 80964930 HAS SOPS 66149266 HAS SOUS 21521184 HAS SOUPS 20947103 WITH SCORE 2.102806793E7
AT ITER 1996 NEW BEST:: SOT 123118827 SOS 80957090 HAS SOPS 66144035 HAS SOUS 21512672 HAS SOUPS 20938704 WITH SCORE 2.101966109E7
AT ITER 2000 NEW BEST:: SOT 123108557 SOS 80946462 HAS SOPS 66145950 HAS SOUS 21498437 HAS SOUPS 20924469 WITH SCORE 2.1005415462E7
AT ITER 2008 NEW BEST:: SOT 123099081 SOS 80934813 HAS SOPS 66154114 HAS SOUS 21483188 HAS SOUPS 20909220 WITH SCORE 2.0990154813E7
AT ITER 2020 NEW BEST:: SOT 123113802 SOS 80961846 HAS SOPS 66173516 HAS SOUS 21477319 HAS SOUPS 20903177 WITH SCORE 2.0984138846E7
AT ITER 2053 NEW BEST:: SOT 123115833 SOS 80963825 HAS SOPS 66175941 HAS SOUS 21476567 HAS SOUPS 20902425 WITH SCORE 2.0983388825E7
AT ITER 2080 NEW BEST:: SOT 123115792 SOS 80963790 HAS SOPS 66175941 HAS SOUS 21476514 HAS SOUPS 20902372 WITH SCORE 2.098333579E7
AT ITER 2082 NEW BEST:: SOT 123115792 SOS 80960931 HAS SOPS 66174250 HAS SOUS 21476507 HAS SOUPS 20902365 WITH SCORE 2.0983325931E7
AT ITER 2083 NEW BEST:: SOT 123116012 SOS 80963183 HAS SOPS 66175801 HAS SOUS 21474919 HAS SOUPS 20900777 WITH SCORE 2.0981740183E7
AT ITER 2094 NEW BEST:: SOT 123110825 SOS 80955055 HAS SOPS 66168080 HAS SOUS 21466236 HAS SOUPS 20892016 WITH SCORE 2.0972971055E7
AT ITER 2099 NEW BEST:: SOT 123111791 SOS 80957899 HAS SOPS 66167629 HAS SOUS 21463140 HAS SOUPS 20888920 WITH SCORE 2.0969877899E7
AT ITER 2101 NEW BEST:: SOT 123056696 SOS 80905558 HAS SOPS 66102670 HAS SOUS 21357852 HAS SOUPS 20783454 WITH SCORE 2.0864359558E7
AT ITER 2114 NEW BEST:: SOT 123058780 SOS 80906394 HAS SOPS 66097422 HAS SOUS 21357547 HAS SOUPS 20783149 WITH SCORE 2.0864055394E7
AT ITER 2128 NEW BEST:: SOT 123007899 SOS 80852036 HAS SOPS 66048139 HAS SOUS 21279921 HAS SOUPS 20709040 WITH SCORE 2.0789892036E7
AT ITER 2134 NEW BEST:: SOT 123005511 SOS 80848347 HAS SOPS 66045078 HAS SOUS 21274457 HAS SOUPS 20703616 WITH SCORE 2.0784464347E7
AT ITER 2136 NEW BEST:: SOT 122998918 SOS 80821254 HAS SOPS 66044489 HAS SOUS 21268781 HAS SOUPS 20699532 WITH SCORE 2.0780353254E7
AT ITER 2142 NEW BEST:: SOT 123000009 SOS 80850180 HAS SOPS 66094400 HAS SOUS 21268412 HAS SOUPS 20699386 WITH SCORE 2.078023618E7
AT ITER 2145 NEW BEST:: SOT 122999453 SOS 80849642 HAS SOPS 66094141 HAS SOUS 21267280 HAS SOUPS 20698263 WITH SCORE 2.0779112642E7
AT ITER 2148 NEW BEST:: SOT 122999517 SOS 80849962 HAS SOPS 66094285 HAS SOUS 21266856 HAS SOUPS 20697839 WITH SCORE 2.0778688962E7
AT ITER 2158 NEW BEST:: SOT 122999466 SOS 80849941 HAS SOPS 66094156 HAS SOUS 21266733 HAS SOUPS 20697713 WITH SCORE 2.0778562941E7
AT ITER 2160 NEW BEST:: SOT 122997847 SOS 80847923 HAS SOPS 66091359 HAS SOUS 21264715 HAS SOUPS 20695695 WITH SCORE 2.0776542923E7
AT ITER 2174 NEW BEST:: SOT 122982800 SOS 80822271 HAS SOPS 66067782 HAS SOUS 21261582 HAS SOUPS 20692562 WITH SCORE 2.0773384271E7
AT ITER 2176 NEW BEST:: SOT 122960838 SOS 80787531 HAS SOPS 66036538 HAS SOUS 21240562 HAS SOUPS 20671542 WITH SCORE 2.0752329531E7
AT ITER 2205 NEW BEST:: SOT 122960744 SOS 80780189 HAS SOPS 66045900 HAS SOUS 21240566 HAS SOUPS 20671546 WITH SCORE 2.0752326189E7
AT ITER 2217 NEW BEST:: SOT 122959098 SOS 80778538 HAS SOPS 66044214 HAS SOUS 21239000 HAS SOUPS 20669954 WITH SCORE 2.0750732538E7
AT ITER 2220 NEW BEST:: SOT 122966069 SOS 80777460 HAS SOPS 66039796 HAS SOUS 21230558 HAS SOUPS 20661512 WITH SCORE 2.074228946E7
AT ITER 2224 NEW BEST:: SOT 122963379 SOS 80774801 HAS SOPS 66036969 HAS SOUS 21223835 HAS SOUPS 20654789 WITH SCORE 2.0735563801E7
AT ITER 2232 NEW BEST:: SOT 122964034 SOS 80775237 HAS SOPS 66042269 HAS SOUS 21214578 HAS SOUPS 20645760 WITH SCORE 2.0726535237E7
AT ITER 2246 NEW BEST:: SOT 122962275 SOS 80773100 HAS SOPS 66040678 HAS SOUS 21213700 HAS SOUPS 20644924 WITH SCORE 2.07256971E7
AT ITER 2276 NEW BEST:: SOT 122962001 SOS 80772850 HAS SOPS 66040176 HAS SOUS 21212322 HAS SOUPS 20643546 WITH SCORE 2.072431885E7
AT ITER 2278 NEW BEST:: SOT 122922798 SOS 80724665 HAS SOPS 65990415 HAS SOUS 21158296 HAS SOUPS 20587000 WITH SCORE 2.0667724665E7
AT ITER 2284 NEW BEST:: SOT 122908503 SOS 80710675 HAS SOPS 65978073 HAS SOUS 21153529 HAS SOUPS 20582233 WITH SCORE 2.0662943675E7
AT ITER 2293 NEW BEST:: SOT 122906429 SOS 80707944 HAS SOPS 65975460 HAS SOUS 21143334 HAS SOUPS 20572095 WITH SCORE 2.0652802944E7
AT ITER 2306 NEW BEST:: SOT 122903853 SOS 80686733 HAS SOPS 65960937 HAS SOUS 21139864 HAS SOUPS 20568625 WITH SCORE 2.0649311733E7
AT ITER 2310 NEW BEST:: SOT 122901660 SOS 80679362 HAS SOPS 65956152 HAS SOUS 21134739 HAS SOUPS 20563584 WITH SCORE 2.0644263362E7
AT ITER 2317 NEW BEST:: SOT 122901660 SOS 80682916 HAS SOPS 65961914 HAS SOUS 21134615 HAS SOUPS 20563460 WITH SCORE 2.0644142916E7
AT ITER 2334 NEW BEST:: SOT 122901643 SOS 80679718 HAS SOPS 65964164 HAS SOUS 21134604 HAS SOUPS 20563449 WITH SCORE 2.0644128718E7
AT ITER 2341 NEW BEST:: SOT 122935684 SOS 80752301 HAS SOPS 66030624 HAS SOUS 21129697 HAS SOUPS 20558542 WITH SCORE 2.0639294301E7
AT ITER 2343 NEW BEST:: SOT 122941640 SOS 80753261 HAS SOPS 66029152 HAS SOUS 21123618 HAS SOUPS 20552463 WITH SCORE 2.0633216261E7
AT ITER 2351 NEW BEST:: SOT 122951966 SOS 80767556 HAS SOPS 66046171 HAS SOUS 21120702 HAS SOUPS 20549919 WITH SCORE 2.0630686556E7
AT ITER 2368 NEW BEST:: SOT 122945981 SOS 80762991 HAS SOPS 66037566 HAS SOUS 21102046 HAS SOUPS 20531162 WITH SCORE 2.0611924991E7
AT ITER 2374 NEW BEST:: SOT 122946006 SOS 80795742 HAS SOPS 66106575 HAS SOUS 21101532 HAS SOUPS 20530875 WITH SCORE 2.0611670742E7
AT ITER 2396 NEW BEST:: SOT 122942311 SOS 80792650 HAS SOPS 66106807 HAS SOUS 21094595 HAS SOUPS 20524066 WITH SCORE 2.060485865E7
AT ITER 2410 NEW BEST:: SOT 122942778 SOS 80793335 HAS SOPS 66107672 HAS SOUS 21093791 HAS SOUPS 20523262 WITH SCORE 2.0604055335E7
AT ITER 2413 NEW BEST:: SOT 122942812 SOS 80812077 HAS SOPS 66132955 HAS SOUS 21093613 HAS SOUPS 20523084 WITH SCORE 2.0603896077E7
AT ITER 2414 NEW BEST:: SOT 122963978 SOS 80848056 HAS SOPS 66178871 HAS SOUS 21088514 HAS SOUPS 20517985 WITH SCORE 2.0598833056E7
AT ITER 2418 NEW BEST:: SOT 122963008 SOS 80847108 HAS SOPS 66178947 HAS SOUS 21087024 HAS SOUPS 20516495 WITH SCORE 2.0597342108E7
AT ITER 2421 NEW BEST:: SOT 122957212 SOS 80841312 HAS SOPS 66173151 HAS SOUS 21081228 HAS SOUPS 20510699 WITH SCORE 2.0591540312E7
AT ITER 2422 NEW BEST:: SOT 122953631 SOS 80839274 HAS SOPS 66167518 HAS SOUS 21070139 HAS SOUPS 20499557 WITH SCORE 2.0580396274E7
AT ITER 2446 NEW BEST:: SOT 122931831 SOS 80810829 HAS SOPS 66137400 HAS SOUS 21033584 HAS SOUPS 20463002 WITH SCORE 2.0543812829E7
AT ITER 2483 NEW BEST:: SOT 122939330 SOS 80810501 HAS SOPS 66141617 HAS SOUS 21031207 HAS SOUPS 20460625 WITH SCORE 2.0541435501E7
AT ITER 2499 NEW BEST:: SOT 122943488 SOS 80828605 HAS SOPS 66155139 HAS SOUS 21021107 HAS SOUPS 20450525 WITH SCORE 2.0531353605E7
AT ITER 2514 NEW BEST:: SOT 122940648 SOS 80822956 HAS SOPS 66132828 HAS SOUS 20995815 HAS SOUPS 20425233 WITH SCORE 2.0506055956E7
AT ITER 2516 NEW BEST:: SOT 122944754 SOS 80837260 HAS SOPS 66137669 HAS SOUS 20989956 HAS SOUPS 20419374 WITH SCORE 2.050021126E7
AT ITER 2528 NEW BEST:: SOT 122931397 SOS 80825381 HAS SOPS 66121038 HAS SOUS 20960527 HAS SOUPS 20389885 WITH SCORE 2.0470710381E7
AT ITER 2531 NEW BEST:: SOT 122924116 SOS 80814894 HAS SOPS 66110669 HAS SOUS 20950962 HAS SOUPS 20380320 WITH SCORE 2.0461134894E7
AT ITER 2534 NEW BEST:: SOT 122898981 SOS 80784627 HAS SOPS 66081860 HAS SOUS 20925105 HAS SOUPS 20354691 WITH SCORE 2.0435475627E7
AT ITER 2543 NEW BEST:: SOT 122896405 SOS 80780728 HAS SOPS 66077178 HAS SOUS 20919547 HAS SOUPS 20349133 WITH SCORE 2.0429913728E7
AT ITER 2544 NEW BEST:: SOT 122891869 SOS 80769869 HAS SOPS 66048271 HAS SOUS 20900965 HAS SOUPS 20330430 WITH SCORE 2.0411199869E7
AT ITER 2546 NEW BEST:: SOT 122891669 SOS 80769669 HAS SOPS 66048071 HAS SOUS 20900765 HAS SOUPS 20330230 WITH SCORE 2.0410999669E7
AT ITER 2567 NEW BEST:: SOT 122893179 SOS 80774703 HAS SOPS 66053481 HAS SOUS 20900585 HAS SOUPS 20330050 WITH SCORE 2.0410824703E7
AT ITER 2570 NEW BEST:: SOT 122892641 SOS 80774168 HAS SOPS 66052967 HAS SOUS 20900011 HAS SOUPS 20329494 WITH SCORE 2.0410268168E7
AT ITER 2573 NEW BEST:: SOT 122894840 SOS 80778400 HAS SOPS 66066147 HAS SOUS 20899082 HAS SOUPS 20328728 WITH SCORE 2.04095064E7
AT ITER 2574 NEW BEST:: SOT 122894591 SOS 80778145 HAS SOPS 66065799 HAS SOUS 20899097 HAS SOUPS 20328671 WITH SCORE 2.0409449145E7
AT ITER 2622 NEW BEST:: SOT 122893078 SOS 80776479 HAS SOPS 66063997 HAS SOUS 20895306 HAS SOUPS 20324863 WITH SCORE 2.0405639479E7
AT ITER 2624 NEW BEST:: SOT 122890350 SOS 80776716 HAS SOPS 66065930 HAS SOUS 20867090 HAS SOUPS 20297097 WITH SCORE 2.0377873716E7
AT ITER 2636 NEW BEST:: SOT 122896708 SOS 80790262 HAS SOPS 66103624 HAS SOUS 20859053 HAS SOUPS 20289309 WITH SCORE 2.0370099262E7
AT ITER 2645 NEW BEST:: SOT 122896514 SOS 80795131 HAS SOPS 66135656 HAS SOUS 20858319 HAS SOUPS 20288847 WITH SCORE 2.0369642131E7
AT ITER 2647 NEW BEST:: SOT 122897104 SOS 80795793 HAS SOPS 66134285 HAS SOUS 20851747 HAS SOUPS 20282311 WITH SCORE 2.0363106793E7
AT ITER 2698 NEW BEST:: SOT 122896947 SOS 80782312 HAS SOPS 66120711 HAS SOUS 20851684 HAS SOUPS 20282248 WITH SCORE 2.0363030312E7
AT ITER 2721 NEW BEST:: SOT 122911966 SOS 80801887 HAS SOPS 66136347 HAS SOUS 20843540 HAS SOUPS 20274243 WITH SCORE 2.0355044887E7
AT ITER 2737 NEW BEST:: SOT 122901563 SOS 80782925 HAS SOPS 66121813 HAS SOUS 20833794 HAS SOUPS 20264497 WITH SCORE 2.0345279925E7
AT ITER 2738 NEW BEST:: SOT 122877502 SOS 80751435 HAS SOPS 66100708 HAS SOUS 20788995 HAS SOUPS 20220019 WITH SCORE 2.0300770435E7
AT ITER 2774 NEW BEST:: SOT 122879425 SOS 80754922 HAS SOPS 66105781 HAS SOUS 20785638 HAS SOUPS 20216662 WITH SCORE 2.0297416922E7
AT ITER 2787 NEW BEST:: SOT 122885382 SOS 80767220 HAS SOPS 66116256 HAS SOUS 20785496 HAS SOUPS 20216520 WITH SCORE 2.029728722E7
AT ITER 2791 NEW BEST:: SOT 122885382 SOS 80773424 HAS SOPS 66121160 HAS SOUS 20785334 HAS SOUPS 20216358 WITH SCORE 2.0297131424E7
AT ITER 2797 NEW BEST:: SOT 122884455 SOS 80771777 HAS SOPS 66119054 HAS SOUS 20783480 HAS SOUPS 20214504 WITH SCORE 2.0295275777E7
AT ITER 2809 NEW BEST:: SOT 122883124 SOS 80770325 HAS SOPS 66115229 HAS SOUS 20780199 HAS SOUPS 20211583 WITH SCORE 2.0292353325E7
AT ITER 2820 NEW BEST:: SOT 122876559 SOS 80759562 HAS SOPS 66108246 HAS SOUS 20770483 HAS SOUPS 20202134 WITH SCORE 2.0282893562E7
AT ITER 2835 NEW BEST:: SOT 122885993 SOS 80792646 HAS SOPS 66145222 HAS SOUS 20753112 HAS SOUPS 20184763 WITH SCORE 2.0265555646E7
AT ITER 2859 NEW BEST:: SOT 122885993 SOS 80791810 HAS SOPS 66143682 HAS SOUS 20753112 HAS SOUPS 20184763 WITH SCORE 2.026555481E7
AT ITER 2873 NEW BEST:: SOT 122886191 SOS 80786228 HAS SOPS 66137336 HAS SOUS 20751381 HAS SOUPS 20183032 WITH SCORE 2.0263818228E7
AT ITER 2907 NEW BEST:: SOT 122886191 SOS 80786548 HAS SOPS 66138104 HAS SOUS 20751367 HAS SOUPS 20183018 WITH SCORE 2.0263804548E7
AT ITER 2914 NEW BEST:: SOT 122883569 SOS 80783451 HAS SOPS 66134047 HAS SOUS 20745900 HAS SOUPS 20177615 WITH SCORE 2.0258398451E7
AT ITER 2915 NEW BEST:: SOT 122883152 SOS 80784432 HAS SOPS 66135177 HAS SOUS 20741884 HAS SOUPS 20173599 WITH SCORE 2.0254383432E7
AT ITER 2916 NEW BEST:: SOT 122875615 SOS 80766211 HAS SOPS 66120736 HAS SOUS 20735140 HAS SOUPS 20166855 WITH SCORE 2.0247621211E7
AT ITER 2924 NEW BEST:: SOT 122875337 SOS 80765955 HAS SOPS 66120909 HAS SOUS 20733523 HAS SOUPS 20165238 WITH SCORE 2.0246003955E7
AT ITER 2925 NEW BEST:: SOT 122875337 SOS 80765459 HAS SOPS 66113507 HAS SOUS 20733434 HAS SOUPS 20165149 WITH SCORE 2.0245914459E7
AT ITER 2934 NEW BEST:: SOT 122875337 SOS 80767361 HAS SOPS 66115633 HAS SOUS 20733326 HAS SOUPS 20165041 WITH SCORE 2.0245808361E7
AT ITER 2943 NEW BEST:: SOT 122870299 SOS 80759825 HAS SOPS 66109418 HAS SOUS 20726582 HAS SOUPS 20158180 WITH SCORE 2.0238939825E7
AT ITER 2945 NEW BEST:: SOT 122863883 SOS 80756754 HAS SOPS 66105133 HAS SOUS 20708095 HAS SOUPS 20139607 WITH SCORE 2.0220363754E7
AT ITER 2981 NEW BEST:: SOT 122862038 SOS 80753497 HAS SOPS 66102499 HAS SOUS 20707492 HAS SOUPS 20139038 WITH SCORE 2.0219791497E7
AT ITER 2986 NEW BEST:: SOT 122862308 SOS 80755017 HAS SOPS 66103433 HAS SOUS 20701702 HAS SOUPS 20133171 WITH SCORE 2.0213926017E7
AT ITER 2999 NEW BEST:: SOT 122860443 SOS 80750278 HAS SOPS 66103141 HAS SOUS 20699044 HAS SOUPS 20130559 WITH SCORE 2.0211309278E7
AT ITER 3015 NEW BEST:: SOT 122854226 SOS 80745949 HAS SOPS 66096688 HAS SOUS 20681735 HAS SOUPS 20113191 WITH SCORE 2.0193936949E7
AT ITER 3030 NEW BEST:: SOT 122880416 SOS 80777041 HAS SOPS 66144583 HAS SOUS 20638756 HAS SOUPS 20070866 WITH SCORE 2.0151643041E7
AT ITER 3045 NEW BEST:: SOT 122880392 SOS 80777161 HAS SOPS 66144703 HAS SOUS 20638738 HAS SOUPS 20070848 WITH SCORE 2.0151625161E7
AT ITER 3051 NEW BEST:: SOT 122876183 SOS 80771477 HAS SOPS 66139052 HAS SOUS 20629663 HAS SOUPS 20061809 WITH SCORE 2.0142580477E7
AT ITER 3057 NEW BEST:: SOT 122873172 SOS 80767896 HAS SOPS 66134844 HAS SOUS 20623331 HAS SOUPS 20055477 WITH SCORE 2.0136244896E7
AT ITER 3078 NEW BEST:: SOT 122878659 SOS 80779577 HAS SOPS 66141298 HAS SOUS 20620879 HAS SOUPS 20052926 WITH SCORE 2.0133705577E7
AT ITER 3100 NEW BEST:: SOT 122875970 SOS 80776720 HAS SOPS 66140431 HAS SOUS 20620702 HAS SOUPS 20052785 WITH SCORE 2.013356172E7
AT ITER 3115 NEW BEST:: SOT 122860934 SOS 80743154 HAS SOPS 66114901 HAS SOUS 20611444 HAS SOUPS 20043527 WITH SCORE 2.0124270154E7
AT ITER 3116 NEW BEST:: SOT 122855345 SOS 80737473 HAS SOPS 66109220 HAS SOUS 20594770 HAS SOUPS 20026853 WITH SCORE 2.0107590473E7
AT ITER 3142 NEW BEST:: SOT 122846864 SOS 80728661 HAS SOPS 66094009 HAS SOUS 20571979 HAS SOUPS 20004080 WITH SCORE 2.0084808661E7
AT ITER 3150 NEW BEST:: SOT 122844272 SOS 80726912 HAS SOPS 66090751 HAS SOUS 20565865 HAS SOUPS 19997941 WITH SCORE 2.0078667912E7
AT ITER 3166 NEW BEST:: SOT 122844242 SOS 80725662 HAS SOPS 66089501 HAS SOUS 20565835 HAS SOUPS 19997911 WITH SCORE 2.0078636662E7
AT ITER 3201 NEW BEST:: SOT 122842937 SOS 80722690 HAS SOPS 66087528 HAS SOUS 20565207 HAS SOUPS 19997283 WITH SCORE 2.007800569E7
AT ITER 3202 NEW BEST:: SOT 122850348 SOS 80719850 HAS SOPS 66086382 HAS SOUS 20543793 HAS SOUPS 19976044 WITH SCORE 2.005676385E7
AT ITER 3204 NEW BEST:: SOT 122855545 SOS 80737955 HAS SOPS 66100150 HAS SOUS 20537962 HAS SOUPS 19970213 WITH SCORE 2.0050950955E7
AT ITER 3207 NEW BEST:: SOT 122854418 SOS 80736995 HAS SOPS 66098676 HAS SOUS 20535006 HAS SOUPS 19967257 WITH SCORE 2.0047993995E7
AT ITER 3208 NEW BEST:: SOT 122853662 SOS 80736179 HAS SOPS 66097479 HAS SOUS 20533567 HAS SOUPS 19965821 WITH SCORE 2.0046557179E7
AT ITER 3214 NEW BEST:: SOT 122847944 SOS 80728343 HAS SOPS 66087999 HAS SOUS 20524018 HAS SOUPS 19956272 WITH SCORE 2.0037000343E7
AT ITER 3216 NEW BEST:: SOT 122848402 SOS 80727673 HAS SOPS 66088933 HAS SOUS 20518998 HAS SOUPS 19951369 WITH SCORE 2.0032096673E7
AT ITER 3219 NEW BEST:: SOT 122846598 SOS 80730467 HAS SOPS 66089929 HAS SOUS 20508018 HAS SOUPS 19940389 WITH SCORE 2.0021119467E7
AT ITER 3231 NEW BEST:: SOT 122838825 SOS 80721687 HAS SOPS 66079710 HAS SOUS 20490633 HAS SOUPS 19923064 WITH SCORE 2.0003785687E7
AT ITER 3232 NEW BEST:: SOT 122872155 SOS 80792719 HAS SOPS 66161594 HAS SOUS 20475895 HAS SOUPS 19908211 WITH SCORE 1.9989003719E7
AT ITER 3242 NEW BEST:: SOT 122872382 SOS 80816147 HAS SOPS 66193029 HAS SOUS 20475572 HAS SOUPS 19907888 WITH SCORE 1.9988704147E7
AT ITER 3249 NEW BEST:: SOT 122872354 SOS 80816085 HAS SOPS 66192972 HAS SOUS 20475541 HAS SOUPS 19907858 WITH SCORE 1.9988674085E7
AT ITER 3265 NEW BEST:: SOT 122899107 SOS 80884644 HAS SOPS 66263506 HAS SOUS 20456687 HAS SOUPS 19889004 WITH SCORE 1.9969888644E7
AT ITER 3268 NEW BEST:: SOT 122881880 SOS 80853392 HAS SOPS 66238475 HAS SOUS 20451913 HAS SOUPS 19884230 WITH SCORE 1.9965083392E7
AT ITER 3278 NEW BEST:: SOT 122862397 SOS 80821605 HAS SOPS 66208679 HAS SOUS 20413511 HAS SOUPS 19846123 WITH SCORE 1.9926944605E7
AT ITER 3307 NEW BEST:: SOT 122862354 SOS 80822668 HAS SOPS 66209171 HAS SOUS 20412650 HAS SOUPS 19845262 WITH SCORE 1.9926084668E7
AT ITER 3308 NEW BEST:: SOT 122862179 SOS 80821118 HAS SOPS 66206212 HAS SOUS 20410612 HAS SOUPS 19843224 WITH SCORE 1.9924045118E7
AT ITER 3315 NEW BEST:: SOT 122862713 SOS 80823879 HAS SOPS 66210890 HAS SOUS 20410487 HAS SOUPS 19843115 WITH SCORE 1.9923938879E7
AT ITER 3318 NEW BEST:: SOT 122849712 SOS 80798432 HAS SOPS 66197778 HAS SOUS 20393828 HAS SOUPS 19826456 WITH SCORE 1.9907254432E7
AT ITER 3323 NEW BEST:: SOT 122812324 SOS 80754276 HAS SOPS 66151809 HAS SOUS 20352082 HAS SOUPS 19785094 WITH SCORE 1.9865848276E7
AT ITER 3354 NEW BEST:: SOT 122811588 SOS 80753540 HAS SOPS 66151073 HAS SOUS 20352059 HAS SOUPS 19785071 WITH SCORE 1.986582454E7
AT ITER 3364 NEW BEST:: SOT 122799553 SOS 80740360 HAS SOPS 66137211 HAS SOUS 20332949 HAS SOUPS 19765961 WITH SCORE 1.984670136E7
AT ITER 3386 NEW BEST:: SOT 122798588 SOS 80730870 HAS SOPS 66143513 HAS SOUS 20330697 HAS SOUPS 19763709 WITH SCORE 1.984443987E7
AT ITER 3390 NEW BEST:: SOT 122784462 SOS 80708046 HAS SOPS 66128119 HAS SOUS 20307849 HAS SOUPS 19740963 WITH SCORE 1.9821671046E7
AT ITER 3397 NEW BEST:: SOT 122783570 SOS 80694442 HAS SOPS 66119364 HAS SOUS 20295890 HAS SOUPS 19729104 WITH SCORE 1.9809798442E7
AT ITER 3408 NEW BEST:: SOT 122788011 SOS 80707213 HAS SOPS 66127865 HAS SOUS 20273858 HAS SOUPS 19707072 WITH SCORE 1.9787779213E7
AT ITER 3434 NEW BEST:: SOT 122791251 SOS 80716920 HAS SOPS 66133633 HAS SOUS 20268999 HAS SOUPS 19702173 WITH SCORE 1.978288992E7
AT ITER 3443 NEW BEST:: SOT 122791365 SOS 80725442 HAS SOPS 66151714 HAS SOUS 20268675 HAS SOUPS 19701849 WITH SCORE 1.9782574442E7
AT ITER 3455 NEW BEST:: SOT 122790713 SOS 80724606 HAS SOPS 66150310 HAS SOUS 20267817 HAS SOUPS 19700991 WITH SCORE 1.9781715606E7
AT ITER 3483 NEW BEST:: SOT 122776599 SOS 80698936 HAS SOPS 66129444 HAS SOUS 20253288 HAS SOUPS 19686462 WITH SCORE 1.9767160936E7
AT ITER 3489 NEW BEST:: SOT 122765957 SOS 80670849 HAS SOPS 66117124 HAS SOUS 20252530 HAS SOUPS 19685704 WITH SCORE 1.9766374849E7
AT ITER 3496 NEW BEST:: SOT 122761943 SOS 80670388 HAS SOPS 66115374 HAS SOUS 20237799 HAS SOUPS 19670857 WITH SCORE 1.9751527388E7
AT ITER 3511 NEW BEST:: SOT 122754452 SOS 80662951 HAS SOPS 66103098 HAS SOUS 20221806 HAS SOUPS 19654864 WITH SCORE 1.9735526951E7
AT ITER 3514 NEW BEST:: SOT 122738919 SOS 80642886 HAS SOPS 66085001 HAS SOUS 20199339 HAS SOUPS 19632397 WITH SCORE 1.9713039886E7
AT ITER 3537 NEW BEST:: SOT 122736632 SOS 80639974 HAS SOPS 66081980 HAS SOUS 20195657 HAS SOUPS 19628715 WITH SCORE 1.9709354974E7
AT ITER 3539 NEW BEST:: SOT 122739665 SOS 80655154 HAS SOPS 66103034 HAS SOUS 20190951 HAS SOUPS 19624009 WITH SCORE 1.9704664154E7
AT ITER 3554 NEW BEST:: SOT 122733745 SOS 80644995 HAS SOPS 66094679 HAS SOUS 20186727 HAS SOUPS 19619833 WITH SCORE 1.9700477995E7
AT ITER 3559 NEW BEST:: SOT 122724983 SOS 80637057 HAS SOPS 66082945 HAS SOUS 20169387 HAS SOUPS 19602493 WITH SCORE 1.9683130057E7
AT ITER 3561 NEW BEST:: SOT 122741399 SOS 80700539 HAS SOPS 66152681 HAS SOUS 20165861 HAS SOUPS 19598967 WITH SCORE 1.9679667539E7
AT ITER 3579 NEW BEST:: SOT 122741896 SOS 80701540 HAS SOPS 66153578 HAS SOUS 20165838 HAS SOUPS 19598944 WITH SCORE 1.967964554E7
AT ITER 3582 NEW BEST:: SOT 122742438 SOS 80733431 HAS SOPS 66193062 HAS SOUS 20162915 HAS SOUPS 19596021 WITH SCORE 1.9676754431E7
AT ITER 3584 NEW BEST:: SOT 122735386 SOS 80726255 HAS SOPS 66187008 HAS SOUS 20152842 HAS SOUPS 19587088 WITH SCORE 1.9667814255E7
AT ITER 3599 NEW BEST:: SOT 122736187 SOS 80730132 HAS SOPS 66192184 HAS SOUS 20146971 HAS SOUPS 19581217 WITH SCORE 1.9661947132E7
AT ITER 3604 NEW BEST:: SOT 122740410 SOS 80746399 HAS SOPS 66211539 HAS SOUS 20127806 HAS SOUPS 19562367 WITH SCORE 1.9643113399E7
AT ITER 3628 NEW BEST:: SOT 122774748 SOS 80831841 HAS SOPS 66279320 HAS SOUS 20125188 HAS SOUPS 19559749 WITH SCORE 1.9640580841E7
AT ITER 3635 NEW BEST:: SOT 122774546 SOS 80838633 HAS SOPS 66297473 HAS SOUS 20120795 HAS SOUPS 19555450 WITH SCORE 1.9636288633E7
AT ITER 3645 NEW BEST:: SOT 122775325 SOS 80841100 HAS SOPS 66299428 HAS SOUS 20120398 HAS SOUPS 19555053 WITH SCORE 1.96358941E7
AT ITER 3653 NEW BEST:: SOT 122773676 SOS 80841455 HAS SOPS 66302982 HAS SOUS 20104190 HAS SOUPS 19539242 WITH SCORE 1.9620083455E7
AT ITER 3660 NEW BEST:: SOT 122768452 SOS 80836763 HAS SOPS 66293912 HAS SOUS 20082331 HAS SOUPS 19517278 WITH SCORE 1.9598114763E7
AT ITER 3681 NEW BEST:: SOT 122766668 SOS 80834587 HAS SOPS 66290957 HAS SOUS 20080637 HAS SOUPS 19515584 WITH SCORE 1.9596418587E7
AT ITER 3712 NEW BEST:: SOT 122780134 SOS 80847771 HAS SOPS 66320505 HAS SOUS 20041859 HAS SOUPS 19477326 WITH SCORE 1.9558173771E7
AT ITER 3721 NEW BEST:: SOT 122781337 SOS 80849208 HAS SOPS 66320313 HAS SOUS 20040300 HAS SOUPS 19475767 WITH SCORE 1.9556616208E7
AT ITER 3724 NEW BEST:: SOT 122780846 SOS 80848717 HAS SOPS 66319822 HAS SOUS 20039809 HAS SOUPS 19475276 WITH SCORE 1.9556124717E7
AT ITER 3725 NEW BEST:: SOT 122780568 SOS 80850238 HAS SOPS 66327785 HAS SOUS 20039080 HAS SOUPS 19474590 WITH SCORE 1.9555440238E7
AT ITER 3729 NEW BEST:: SOT 122760354 SOS 80819976 HAS SOPS 66299971 HAS SOUS 20021805 HAS SOUPS 19457567 WITH SCORE 1.9538386976E7
AT ITER 3733 NEW BEST:: SOT 122760454 SOS 80820451 HAS SOPS 66301912 HAS SOUS 20016787 HAS SOUPS 19452549 WITH SCORE 1.9533369451E7
AT ITER 3741 NEW BEST:: SOT 122757699 SOS 80817332 HAS SOPS 66297909 HAS SOUS 20010652 HAS SOUPS 19446414 WITH SCORE 1.9527231332E7
AT ITER 3754 NEW BEST:: SOT 122833001 SOS 80969536 HAS SOPS 66409250 HAS SOUS 20009561 HAS SOUPS 19444218 WITH SCORE 1.9525187536E7
AT ITER 3767 NEW BEST:: SOT 122832845 SOS 80968740 HAS SOPS 66408832 HAS SOUS 20009388 HAS SOUPS 19444045 WITH SCORE 1.952501374E7
AT ITER 3771 NEW BEST:: SOT 122816906 SOS 80944640 HAS SOPS 66387253 HAS SOUS 19981689 HAS SOUPS 19416442 WITH SCORE 1.949738664E7
AT ITER 3772 NEW BEST:: SOT 122816542 SOS 80953195 HAS SOPS 66390665 HAS SOUS 19959224 HAS SOUPS 19393839 WITH SCORE 1.9474792195E7
AT ITER 3773 NEW BEST:: SOT 122817476 SOS 80954248 HAS SOPS 66391718 HAS SOUS 19956771 HAS SOUPS 19391386 WITH SCORE 1.9472340248E7
AT ITER 3775 NEW BEST:: SOT 122814640 SOS 80947825 HAS SOPS 66383475 HAS SOUS 19954144 HAS SOUPS 19388836 WITH SCORE 1.9469783825E7
AT ITER 3778 NEW BEST:: SOT 122814579 SOS 80948066 HAS SOPS 66383420 HAS SOUS 19951973 HAS SOUPS 19386665 WITH SCORE 1.9467613066E7
AT ITER 3780 NEW BEST:: SOT 122859091 SOS 80990980 HAS SOPS 66424668 HAS SOUS 19943134 HAS SOUPS 19377826 WITH SCORE 1.945881698E7
AT ITER 3788 NEW BEST:: SOT 122841802 SOS 80969918 HAS SOPS 66426074 HAS SOUS 19893282 HAS SOUPS 19328269 WITH SCORE 1.9409238918E7
AT ITER 3802 NEW BEST:: SOT 122836910 SOS 80958786 HAS SOPS 66415864 HAS SOUS 19887132 HAS SOUPS 19322189 WITH SCORE 1.9403147786E7
AT ITER 3815 NEW BEST:: SOT 122828622 SOS 80958872 HAS SOPS 66422012 HAS SOUS 19840987 HAS SOUPS 19276235 WITH SCORE 1.9357193872E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 14055196 kB
After kill :
MemTotal: 16393216 kB
MemFree: 15960696 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory

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-3"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
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 smartxred"
echo " Input is RERS17pb115-PT-3, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r331-tall-167889204100168"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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