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.r107-tall-167814484400544.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 DLCflexbar-PT-4a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814484400544
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.1M
-rw-r--r-- 1 mcc users 7.3K Feb 25 16:05 CTLCardinality.txt
-rw-r--r-- 1 mcc users 80K Feb 25 16:05 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 25 15:30 CTLFireability.txt
-rw-r--r-- 1 mcc users 58K Feb 25 15:30 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:51 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 15:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 15:51 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.1K Feb 25 16:52 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 81K Feb 25 16:52 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.6K Feb 25 16:32 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 62K Feb 25 16:32 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:51 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:51 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 1.7M Mar 5 18:22 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 1678386238041

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=DLCflexbar-PT-4a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 18:23:59] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 18:23:59] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 18:23:59] [INFO ] Load time of PNML (sax parser for PT used): 239 ms
[2023-03-09 18:23:59] [INFO ] Transformed 927 places.
[2023-03-09 18:23:59] [INFO ] Transformed 6615 transitions.
[2023-03-09 18:23:59] [INFO ] Found NUPN structural information;
[2023-03-09 18:24:00] [INFO ] Parsed PT model containing 927 places and 6615 transitions and 25705 arcs in 491 ms.
[2023-03-09 18:24:00] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 927 places, 6615 transitions and 25705 arcs took 69 ms.
Total runtime 599 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCflexbar (PT), instance 4a
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: 927 places, 6615 transitions, 25705 arcs.
AT ITER 0 NEW BEST:: SOT 3762309 SOS 3120198 HAS SOPS 1567339 HAS SOUS 274322 HAS SOUPS 123224 WITH SCORE 126344.198
AT ITER 4 NEW BEST:: SOT 3762309 SOS 3120198 HAS SOPS 1567339 HAS SOUS 274234 HAS SOUPS 123136 WITH SCORE 126256.198
AT ITER 16 NEW BEST:: SOT 3762135 SOS 3119526 HAS SOPS 1567639 HAS SOUS 273898 HAS SOUPS 122962 WITH SCORE 126081.526
AT ITER 17 NEW BEST:: SOT 3762135 SOS 3119350 HAS SOPS 1567463 HAS SOUS 273898 HAS SOUPS 122962 WITH SCORE 126081.35
AT ITER 23 NEW BEST:: SOT 3760844 SOS 3123923 HAS SOPS 1568940 HAS SOUS 272897 HAS SOUPS 121961 WITH SCORE 125084.923
AT ITER 29 NEW BEST:: SOT 3760836 SOS 3123523 HAS SOPS 1568540 HAS SOUS 272889 HAS SOUPS 121953 WITH SCORE 125076.523
AT ITER 49 NEW BEST:: SOT 3760666 SOS 3123183 HAS SOPS 1568710 HAS SOUS 272549 HAS SOUPS 121698 WITH SCORE 124821.183
AT ITER 66 NEW BEST:: SOT 3760477 SOS 3122805 HAS SOPS 1569334 HAS SOUS 272099 HAS SOUPS 121415 WITH SCORE 124537.805
AT ITER 77 NEW BEST:: SOT 3759606 SOS 3120595 HAS SOPS 1567124 HAS SOUS 271735 HAS SOUPS 121051 WITH SCORE 124171.595
AT ITER 82 NEW BEST:: SOT 3759413 SOS 3120209 HAS SOPS 1567752 HAS SOUS 271277 HAS SOUPS 120762 WITH SCORE 123882.209
AT ITER 91 NEW BEST:: SOT 3759296 SOS 3119975 HAS SOPS 1568658 HAS SOUS 270945 HAS SOUPS 120620 WITH SCORE 123739.975
AT ITER 100 NEW BEST:: SOT 3759280 SOS 3119935 HAS SOPS 1568642 HAS SOUS 270937 HAS SOUPS 120616 WITH SCORE 123735.935
AT ITER 101 NEW BEST:: SOT 3759280 SOS 3119935 HAS SOPS 1568642 HAS SOUS 270895 HAS SOUPS 120574 WITH SCORE 123693.935
AT ITER 103 NEW BEST:: SOT 3759194 SOS 3119763 HAS SOPS 1569388 HAS SOUS 270674 HAS SOUPS 120506 WITH SCORE 123625.763
AT ITER 104 NEW BEST:: SOT 3758796 SOS 3120447 HAS SOPS 1568740 HAS SOUS 270512 HAS SOUPS 120270 WITH SCORE 123390.447
AT ITER 135 NEW BEST:: SOT 3758738 SOS 3120067 HAS SOPS 1569152 HAS SOUS 270366 HAS SOUPS 120256 WITH SCORE 123376.067
AT ITER 153 NEW BEST:: SOT 3758807 SOS 3113005 HAS SOPS 1569930 HAS SOUS 269990 HAS SOUPS 120040 WITH SCORE 123153.005
AT ITER 158 NEW BEST:: SOT 3758897 SOS 3100648 HAS SOPS 1570607 HAS SOUS 269587 HAS SOUPS 119903 WITH SCORE 123003.648
AT ITER 165 NEW BEST:: SOT 3758897 SOS 3100648 HAS SOPS 1570607 HAS SOUS 269553 HAS SOUPS 119869 WITH SCORE 122969.648
AT ITER 169 NEW BEST:: SOT 3758326 SOS 3101502 HAS SOPS 1569697 HAS SOUS 269176 HAS SOUPS 119394 WITH SCORE 122495.502
AT ITER 184 NEW BEST:: SOT 3756995 SOS 3105726 HAS SOPS 1570765 HAS SOUS 268230 HAS SOUPS 118448 WITH SCORE 121553.726
AT ITER 189 NEW BEST:: SOT 3756887 SOS 3105244 HAS SOPS 1571081 HAS SOUS 268027 HAS SOUPS 118378 WITH SCORE 121483.244
AT ITER 207 NEW BEST:: SOT 3756838 SOS 3105146 HAS SOPS 1570983 HAS SOUS 267968 HAS SOUPS 118319 WITH SCORE 121424.146
AT ITER 222 NEW BEST:: SOT 3756838 SOS 3105146 HAS SOPS 1570983 HAS SOUS 267892 HAS SOUPS 118243 WITH SCORE 121348.146
AT ITER 232 NEW BEST:: SOT 3756732 SOS 3104934 HAS SOPS 1571089 HAS SOUS 267680 HAS SOUPS 118084 WITH SCORE 121188.934
AT ITER 233 NEW BEST:: SOT 3756594 SOS 3104226 HAS SOPS 1571677 HAS SOUS 267326 HAS SOUPS 117946 WITH SCORE 121050.226
AT ITER 267 NEW BEST:: SOT 3756314 SOS 3105250 HAS SOPS 1571405 HAS SOUS 267150 HAS SOUPS 117698 WITH SCORE 120803.25
AT ITER 274 NEW BEST:: SOT 3755584 SOS 3102734 HAS SOPS 1570473 HAS SOUS 265954 HAS SOUPS 116766 WITH SCORE 119868.734
AT ITER 300 NEW BEST:: SOT 3755147 SOS 3103600 HAS SOPS 1569773 HAS SOUS 265779 HAS SOUPS 116504 WITH SCORE 119607.6
AT ITER 306 NEW BEST:: SOT 3754903 SOS 3109844 HAS SOPS 1569438 HAS SOUS 265577 HAS SOUPS 116302 WITH SCORE 119411.844
AT ITER 313 NEW BEST:: SOT 3754889 SOS 3109816 HAS SOPS 1569410 HAS SOUS 265556 HAS SOUPS 116281 WITH SCORE 119390.816
AT ITER 317 NEW BEST:: SOT 3754609 SOS 3110136 HAS SOPS 1569010 HAS SOUS 265396 HAS SOUPS 116081 WITH SCORE 119191.136
AT ITER 325 NEW BEST:: SOT 3752961 SOS 3114066 HAS SOPS 1569724 HAS SOUS 264884 HAS SOUPS 115569 WITH SCORE 118683.066
AT ITER 328 NEW BEST:: SOT 3752907 SOS 3113958 HAS SOPS 1569778 HAS SOUS 264776 HAS SOUPS 115488 WITH SCORE 118601.958
AT ITER 329 NEW BEST:: SOT 3752907 SOS 3113958 HAS SOPS 1569778 HAS SOUS 264722 HAS SOUPS 115434 WITH SCORE 118547.958
AT ITER 331 NEW BEST:: SOT 3752935 SOS 3113878 HAS SOPS 1569698 HAS SOUS 264634 HAS SOUPS 115346 WITH SCORE 118459.878
AT ITER 340 NEW BEST:: SOT 3752935 SOS 3113878 HAS SOPS 1569698 HAS SOUS 264592 HAS SOUPS 115304 WITH SCORE 118417.878
AT ITER 354 NEW BEST:: SOT 3752910 SOS 3113828 HAS SOPS 1569648 HAS SOUS 264567 HAS SOUPS 115279 WITH SCORE 118392.828
AT ITER 356 NEW BEST:: SOT 3752910 SOS 3113828 HAS SOPS 1569648 HAS SOUS 264479 HAS SOUPS 115191 WITH SCORE 118304.828
AT ITER 368 NEW BEST:: SOT 3752718 SOS 3113444 HAS SOPS 1569840 HAS SOUS 264095 HAS SOUPS 114903 WITH SCORE 118016.444
AT ITER 388 NEW BEST:: SOT 3752395 SOS 3113876 HAS SOPS 1569390 HAS SOUS 263909 HAS SOUPS 114668 WITH SCORE 117781.876
AT ITER 416 NEW BEST:: SOT 3752395 SOS 3113876 HAS SOPS 1569204 HAS SOUS 263909 HAS SOUPS 114637 WITH SCORE 117750.876
AT ITER 420 NEW BEST:: SOT 3752097 SOS 3112754 HAS SOPS 1569660 HAS SOUS 263458 HAS SOUPS 114449 WITH SCORE 117561.754
AT ITER 452 NEW BEST:: SOT 3751973 SOS 3112266 HAS SOPS 1569892 HAS SOUS 263214 HAS SOUPS 114325 WITH SCORE 117437.266
AT ITER 479 NEW BEST:: SOT 3751879 SOS 3112078 HAS SOPS 1570268 HAS SOUS 263026 HAS SOUPS 114231 WITH SCORE 117343.078
AT ITER 494 NEW BEST:: SOT 3751879 SOS 3112078 HAS SOPS 1570268 HAS SOUS 262938 HAS SOUPS 114143 WITH SCORE 117255.078
AT ITER 524 NEW BEST:: SOT 3751767 SOS 3111778 HAS SOPS 1569968 HAS SOUS 262885 HAS SOUPS 114090 WITH SCORE 117201.778
AT ITER 531 NEW BEST:: SOT 3750824 SOS 3114612 HAS SOPS 1570510 HAS SOUS 262758 HAS SOUPS 113963 WITH SCORE 117077.612
AT ITER 535 NEW BEST:: SOT 3750019 SOS 3117826 HAS SOPS 1571204 HAS SOUS 262298 HAS SOUPS 113503 WITH SCORE 116620.826
AT ITER 553 NEW BEST:: SOT 3749822 SOS 3117432 HAS SOPS 1571638 HAS SOUS 261865 HAS SOUPS 113208 WITH SCORE 116325.432
AT ITER 574 NEW BEST:: SOT 3749822 SOS 3117432 HAS SOPS 1571638 HAS SOUS 261835 HAS SOUPS 113178 WITH SCORE 116295.432
AT ITER 616 NEW BEST:: SOT 3749777 SOS 3117342 HAS SOPS 1570966 HAS SOUS 261788 HAS SOUPS 113034 WITH SCORE 116151.342
AT ITER 640 NEW BEST:: SOT 3749539 SOS 3117614 HAS SOPS 1570626 HAS SOUS 261652 HAS SOUPS 112864 WITH SCORE 115981.614
AT ITER 644 NEW BEST:: SOT 3749493 SOS 3117522 HAS SOPS 1570534 HAS SOUS 261583 HAS SOUPS 112795 WITH SCORE 115912.522
AT ITER 664 NEW BEST:: SOT 3749437 SOS 3117354 HAS SOPS 1570366 HAS SOUS 261527 HAS SOUPS 112739 WITH SCORE 115856.354
AT ITER 665 NEW BEST:: SOT 3749437 SOS 3117354 HAS SOPS 1570366 HAS SOUS 261511 HAS SOUPS 112723 WITH SCORE 115840.354
AT ITER 671 NEW BEST:: SOT 3748787 SOS 3114926 HAS SOPS 1569630 HAS SOUS 260505 HAS SOUPS 111999 WITH SCORE 115113.926
AT ITER 682 NEW BEST:: SOT 3748787 SOS 3114926 HAS SOPS 1569630 HAS SOUS 260449 HAS SOUPS 111943 WITH SCORE 115057.926
AT ITER 712 NEW BEST:: SOT 3747752 SOS 3117272 HAS SOPS 1569924 HAS SOUS 259603 HAS SOUPS 111097 WITH SCORE 114214.272
AT ITER 719 NEW BEST:: SOT 3747752 SOS 3117272 HAS SOPS 1569924 HAS SOUS 259515 HAS SOUPS 111009 WITH SCORE 114126.272
AT ITER 727 NEW BEST:: SOT 3747299 SOS 3120180 HAS SOPS 1570690 HAS SOUS 259559 HAS SOUPS 110934 WITH SCORE 114054.18
AT ITER 738 NEW BEST:: SOT 3747299 SOS 3120180 HAS SOPS 1570690 HAS SOUS 259525 HAS SOUPS 110900 WITH SCORE 114020.18
AT ITER 740 NEW BEST:: SOT 3747213 SOS 3119672 HAS SOPS 1570518 HAS SOUS 259383 HAS SOUPS 110814 WITH SCORE 113933.672
AT ITER 742 NEW BEST:: SOT 3745185 SOS 3116524 HAS SOPS 1568970 HAS SOUS 259245 HAS SOUPS 110714 WITH SCORE 113830.524
AT ITER 745 NEW BEST:: SOT 3745378 SOS 3116760 HAS SOPS 1569206 HAS SOUS 259229 HAS SOUPS 110698 WITH SCORE 113814.76
AT ITER 746 NEW BEST:: SOT 3745133 SOS 3117078 HAS SOPS 1568894 HAS SOUS 259107 HAS SOUPS 110541 WITH SCORE 113658.078
AT ITER 763 NEW BEST:: SOT 3745107 SOS 3117026 HAS SOPS 1568920 HAS SOUS 259055 HAS SOUPS 110502 WITH SCORE 113619.026
AT ITER 765 NEW BEST:: SOT 3745107 SOS 3117026 HAS SOPS 1568920 HAS SOUS 259043 HAS SOUPS 110490 WITH SCORE 113607.026
AT ITER 803 NEW BEST:: SOT 3744209 SOS 3119400 HAS SOPS 1569098 HAS SOUS 258361 HAS SOUPS 109808 WITH SCORE 112927.4
AT ITER 811 NEW BEST:: SOT 3744209 SOS 3119400 HAS SOPS 1569098 HAS SOUS 258291 HAS SOUPS 109738 WITH SCORE 112857.4
AT ITER 812 NEW BEST:: SOT 3744034 SOS 3119050 HAS SOPS 1568748 HAS SOUS 257971 HAS SOUPS 109418 WITH SCORE 112537.05
AT ITER 817 NEW BEST:: SOT 3743981 SOS 3118422 HAS SOPS 1569686 HAS SOUS 257700 HAS SOUPS 109408 WITH SCORE 112526.422
AT ITER 818 NEW BEST:: SOT 3742858 SOS 3110857 HAS SOPS 1571483 HAS SOUS 257135 HAS SOUPS 108843 WITH SCORE 111953.857
AT ITER 822 NEW BEST:: SOT 3742758 SOS 3110509 HAS SOPS 1571135 HAS SOUS 257035 HAS SOUPS 108743 WITH SCORE 111853.509
AT ITER 845 NEW BEST:: SOT 3742700 SOS 3110393 HAS SOPS 1571835 HAS SOUS 256872 HAS SOUPS 108716 WITH SCORE 111826.393
AT ITER 859 NEW BEST:: SOT 3742689 SOS 3110305 HAS SOPS 1571813 HAS SOUS 256850 HAS SOUPS 108705 WITH SCORE 111815.305
AT ITER 872 NEW BEST:: SOT 3742917 SOS 3111739 HAS SOPS 1573247 HAS SOUS 256560 HAS SOUPS 108415 WITH SCORE 111526.739
AT ITER 878 NEW BEST:: SOT 3741687 SOS 3115965 HAS SOPS 1574437 HAS SOUS 255554 HAS SOUPS 107409 WITH SCORE 110524.965
AT ITER 879 NEW BEST:: SOT 3741687 SOS 3115965 HAS SOPS 1574437 HAS SOUS 255500 HAS SOUPS 107355 WITH SCORE 110470.965
AT ITER 906 NEW BEST:: SOT 3741714 SOS 3116019 HAS SOPS 1575253 HAS SOUS 255296 HAS SOUPS 107278 WITH SCORE 110394.019
AT ITER 911 NEW BEST:: SOT 3741710 SOS 3116015 HAS SOPS 1575249 HAS SOUS 255295 HAS SOUPS 107277 WITH SCORE 110393.015
AT ITER 917 NEW BEST:: SOT 3741710 SOS 3116015 HAS SOPS 1575249 HAS SOUS 255207 HAS SOUPS 107189 WITH SCORE 110305.015
AT ITER 921 NEW BEST:: SOT 3741584 SOS 3116687 HAS SOPS 1575165 HAS SOUS 255123 HAS SOUPS 107063 WITH SCORE 110179.687
AT ITER 933 NEW BEST:: SOT 3741577 SOS 3116673 HAS SOPS 1575151 HAS SOUS 255111 HAS SOUPS 107051 WITH SCORE 110167.673
AT ITER 937 NEW BEST:: SOT 3741557 SOS 3116633 HAS SOPS 1575111 HAS SOUS 255081 HAS SOUPS 107021 WITH SCORE 110137.633
AT ITER 953 NEW BEST:: SOT 3741337 SOS 3104490 HAS SOPS 1562968 HAS SOUS 254873 HAS SOUPS 106813 WITH SCORE 109917.49
AT ITER 970 NEW BEST:: SOT 3741239 SOS 3104456 HAS SOPS 1562934 HAS SOUS 254827 HAS SOUPS 106767 WITH SCORE 109871.456
AT ITER 983 NEW BEST:: SOT 3740663 SOS 3106482 HAS SOPS 1562764 HAS SOUS 254583 HAS SOUPS 106401 WITH SCORE 109507.482
AT ITER 995 NEW BEST:: SOT 3740631 SOS 3106418 HAS SOPS 1563402 HAS SOUS 254450 HAS SOUPS 106385 WITH SCORE 109491.418
AT ITER 1043 NEW BEST:: SOT 3740522 SOS 3106202 HAS SOPS 1563186 HAS SOUS 254299 HAS SOUPS 106234 WITH SCORE 109340.202
AT ITER 1045 NEW BEST:: SOT 3739835 SOS 3113258 HAS SOPS 1565184 HAS SOUS 254438 HAS SOUPS 106092 WITH SCORE 109205.258
AT ITER 1046 NEW BEST:: SOT 3739835 SOS 3113258 HAS SOPS 1565184 HAS SOUS 254350 HAS SOUPS 106004 WITH SCORE 109117.258
AT ITER 1048 NEW BEST:: SOT 3739835 SOS 3113258 HAS SOPS 1565184 HAS SOUS 254262 HAS SOUPS 105916 WITH SCORE 109029.258
AT ITER 1055 NEW BEST:: SOT 3739393 SOS 3112214 HAS SOPS 1564140 HAS SOUS 254060 HAS SOUPS 105714 WITH SCORE 108826.214
AT ITER 1065 NEW BEST:: SOT 3739393 SOS 3112214 HAS SOPS 1564140 HAS SOUS 254038 HAS SOUPS 105692 WITH SCORE 108804.214
AT ITER 1067 NEW BEST:: SOT 3739211 SOS 3111850 HAS SOPS 1563776 HAS SOUS 253712 HAS SOUPS 105366 WITH SCORE 108477.85
AT ITER 1068 NEW BEST:: SOT 3738850 SOS 3110969 HAS SOPS 1561581 HAS SOUS 253473 HAS SOUPS 105054 WITH SCORE 108164.969
AT ITER 1088 NEW BEST:: SOT 3738638 SOS 3109909 HAS SOPS 1561157 HAS SOUS 253049 HAS SOUPS 104736 WITH SCORE 107845.909
AT ITER 1114 NEW BEST:: SOT 3738595 SOS 3109823 HAS SOPS 1561071 HAS SOUS 252963 HAS SOUPS 104650 WITH SCORE 107759.823
AT ITER 1120 NEW BEST:: SOT 3738822 SOS 3089166 HAS SOPS 1550175 HAS SOUS 252963 HAS SOUPS 104650 WITH SCORE 107739.166
AT ITER 1126 NEW BEST:: SOT 3738749 SOS 3089230 HAS SOPS 1549609 HAS SOUS 252994 HAS SOUPS 104576 WITH SCORE 107665.23
AT ITER 1138 NEW BEST:: SOT 3738764 SOS 3086972 HAS SOPS 1549587 HAS SOUS 252952 HAS SOUPS 104534 WITH SCORE 107620.972
AT ITER 1141 NEW BEST:: SOT 3738328 SOS 3087460 HAS SOPS 1548851 HAS SOUS 252856 HAS SOUPS 104370 WITH SCORE 107457.46
AT ITER 1142 NEW BEST:: SOT 3738052 SOS 3086908 HAS SOPS 1549253 HAS SOUS 252304 HAS SOUPS 103977 WITH SCORE 107063.908
AT ITER 1172 NEW BEST:: SOT 3738052 SOS 3086458 HAS SOPS 1549253 HAS SOUS 252229 HAS SOUPS 103977 WITH SCORE 107063.458
AT ITER 1182 NEW BEST:: SOT 3738052 SOS 3086458 HAS SOPS 1549253 HAS SOUS 252217 HAS SOUPS 103965 WITH SCORE 107051.458
AT ITER 1194 NEW BEST:: SOT 3738052 SOS 3085648 HAS SOPS 1549313 HAS SOUS 252072 HAS SOUPS 103965 WITH SCORE 107050.648
AT ITER 1196 NEW BEST:: SOT 3738052 SOS 3085648 HAS SOPS 1549313 HAS SOUS 252066 HAS SOUPS 103959 WITH SCORE 107044.648
AT ITER 1200 NEW BEST:: SOT 3738096 SOS 3082136 HAS SOPS 1547565 HAS SOUS 252010 HAS SOUPS 103939 WITH SCORE 107021.136
AT ITER 1221 NEW BEST:: SOT 3738096 SOS 3082196 HAS SOPS 1547625 HAS SOUS 251893 HAS SOUPS 103822 WITH SCORE 106904.196
AT ITER 1223 NEW BEST:: SOT 3738070 SOS 3082092 HAS SOPS 1547677 HAS SOUS 251841 HAS SOUPS 103796 WITH SCORE 106878.092
AT ITER 1225 NEW BEST:: SOT 3737194 SOS 3080946 HAS SOPS 1546939 HAS SOUS 251814 HAS SOUPS 103769 WITH SCORE 106849.946
AT ITER 1227 NEW BEST:: SOT 3737194 SOS 3080946 HAS SOPS 1546939 HAS SOUS 251726 HAS SOUPS 103681 WITH SCORE 106761.946
AT ITER 1245 NEW BEST:: SOT 3737190 SOS 3080926 HAS SOPS 1546919 HAS SOUS 251720 HAS SOUPS 103675 WITH SCORE 106755.926
AT ITER 1274 NEW BEST:: SOT 3737190 SOS 3080926 HAS SOPS 1546919 HAS SOUS 251632 HAS SOUPS 103587 WITH SCORE 106667.926
AT ITER 1280 NEW BEST:: SOT 3737190 SOS 3080926 HAS SOPS 1546919 HAS SOUS 251544 HAS SOUPS 103499 WITH SCORE 106579.926
AT ITER 1295 NEW BEST:: SOT 3737190 SOS 3080926 HAS SOPS 1546919 HAS SOUS 251488 HAS SOUPS 103443 WITH SCORE 106523.926
AT ITER 1302 NEW BEST:: SOT 3737190 SOS 3079846 HAS SOPS 1546871 HAS SOUS 251464 HAS SOUPS 103419 WITH SCORE 106498.846
AT ITER 1309 NEW BEST:: SOT 3737190 SOS 3079846 HAS SOPS 1546871 HAS SOUS 251454 HAS SOUPS 103409 WITH SCORE 106488.846
AT ITER 1328 NEW BEST:: SOT 3737214 SOS 3079909 HAS SOPS 1546883 HAS SOUS 251445 HAS SOUPS 103394 WITH SCORE 106473.909
AT ITER 1347 NEW BEST:: SOT 3737544 SOS 3081969 HAS SOPS 1547263 HAS SOUS 251466 HAS SOUPS 103135 WITH SCORE 106216.969
AT ITER 1371 NEW BEST:: SOT 3737544 SOS 3081969 HAS SOPS 1547263 HAS SOUS 251424 HAS SOUPS 103093 WITH SCORE 106174.969
AT ITER 1374 NEW BEST:: SOT 3736810 SOS 3083377 HAS SOPS 1546223 HAS SOUS 251370 HAS SOUPS 102903 WITH SCORE 105986.377
AT ITER 1381 NEW BEST:: SOT 3736773 SOS 3083303 HAS SOPS 1545927 HAS SOUS 251362 HAS SOUPS 102858 WITH SCORE 105941.303
AT ITER 1433 NEW BEST:: SOT 3735819 SOS 3087295 HAS SOPS 1547135 HAS SOUS 250798 HAS SOUPS 102294 WITH SCORE 105381.295
AT ITER 1458 NEW BEST:: SOT 3735819 SOS 3087171 HAS SOPS 1547011 HAS SOUS 250798 HAS SOUPS 102294 WITH SCORE 105381.171
AT ITER 1475 NEW BEST:: SOT 3735763 SOS 3087059 HAS SOPS 1546899 HAS SOUS 250695 HAS SOUPS 102191 WITH SCORE 105278.059
AT ITER 1500 NEW BEST:: SOT 3735781 SOS 3087095 HAS SOPS 1547901 HAS SOUS 250503 HAS SOUPS 102160 WITH SCORE 105247.095
AT ITER 1511 NEW BEST:: SOT 3735217 SOS 3087962 HAS SOPS 1546963 HAS SOUS 250178 HAS SOUPS 101740 WITH SCORE 104827.962
AT ITER 1514 NEW BEST:: SOT 3733089 SOS 3084628 HAS SOPS 1545359 HAS SOUS 250084 HAS SOUPS 101690 WITH SCORE 104774.628
AT ITER 1521 NEW BEST:: SOT 3733053 SOS 3084556 HAS SOPS 1545287 HAS SOUS 250023 HAS SOUPS 101629 WITH SCORE 104713.556
AT ITER 1524 NEW BEST:: SOT 3733053 SOS 3084556 HAS SOPS 1545287 HAS SOUS 249935 HAS SOUPS 101541 WITH SCORE 104625.556
AT ITER 1558 NEW BEST:: SOT 3733031 SOS 3084424 HAS SOPS 1545287 HAS SOUS 249913 HAS SOUPS 101541 WITH SCORE 104625.424
AT ITER 1563 NEW BEST:: SOT 3732782 SOS 3082807 HAS SOPS 1545356 HAS SOUS 249570 HAS SOUPS 101479 WITH SCORE 104561.807
AT ITER 1591 NEW BEST:: SOT 3732628 SOS 3082233 HAS SOPS 1545580 HAS SOUS 249283 HAS SOUPS 101325 WITH SCORE 104407.23300000001
AT ITER 1627 NEW BEST:: SOT 3732528 SOS 3082033 HAS SOPS 1545980 HAS SOUS 249083 HAS SOUPS 101225 WITH SCORE 104307.033
AT ITER 1682 NEW BEST:: SOT 3732467 SOS 3081911 HAS SOPS 1545396 HAS SOUS 249103 HAS SOUPS 101168 WITH SCORE 104249.911
AT ITER 1702 NEW BEST:: SOT 3732489 SOS 3081955 HAS SOPS 1545440 HAS SOUS 249085 HAS SOUPS 101150 WITH SCORE 104231.955
AT ITER 1707 NEW BEST:: SOT 3732473 SOS 3081923 HAS SOPS 1545408 HAS SOUS 249077 HAS SOUPS 101142 WITH SCORE 104223.923
AT ITER 1711 NEW BEST:: SOT 3732473 SOS 3081923 HAS SOPS 1545408 HAS SOUS 249031 HAS SOUPS 101096 WITH SCORE 104177.923
AT ITER 1753 NEW BEST:: SOT 3732453 SOS 3081903 HAS SOPS 1545388 HAS SOUS 249011 HAS SOUPS 101076 WITH SCORE 104157.903
AT ITER 1766 NEW BEST:: SOT 3732448 SOS 3081893 HAS SOPS 1545378 HAS SOUS 249006 HAS SOUPS 101071 WITH SCORE 104152.893
AT ITER 1784 NEW BEST:: SOT 3732448 SOS 3081893 HAS SOPS 1545378 HAS SOUS 248918 HAS SOUPS 100983 WITH SCORE 104064.893
AT ITER 1792 NEW BEST:: SOT 3731695 SOS 3085849 HAS SOPS 1546766 HAS SOUS 248541 HAS SOUPS 100606 WITH SCORE 103691.849
AT ITER 1802 NEW BEST:: SOT 3731695 SOS 3085849 HAS SOPS 1546766 HAS SOUS 248487 HAS SOUPS 100552 WITH SCORE 103637.849
AT ITER 1816 NEW BEST:: SOT 3731607 SOS 3085907 HAS SOPS 1546560 HAS SOUS 248421 HAS SOUPS 100442 WITH SCORE 103527.907
AT ITER 1818 NEW BEST:: SOT 3731439 SOS 3085571 HAS SOPS 1546728 HAS SOUS 248169 HAS SOUPS 100274 WITH SCORE 103359.571
AT ITER 1826 NEW BEST:: SOT 3731340 SOS 3085091 HAS SOPS 1546248 HAS SOUS 248019 HAS SOUPS 100124 WITH SCORE 103209.091
AT ITER 1841 NEW BEST:: SOT 3731265 SOS 3085331 HAS SOPS 1546308 HAS SOUS 248004 HAS SOUPS 100109 WITH SCORE 103194.331
AT ITER 1845 NEW BEST:: SOT 3731265 SOS 3085331 HAS SOPS 1546308 HAS SOUS 247892 HAS SOUPS 99997 WITH SCORE 103082.331
AT ITER 1905 NEW BEST:: SOT 3728485 SOS 3081156 HAS SOPS 1544365 HAS SOUS 247508 HAS SOUPS 99738 WITH SCORE 102819.156
AT ITER 1952 NEW BEST:: SOT 3728485 SOS 3081156 HAS SOPS 1544365 HAS SOUS 247474 HAS SOUPS 99704 WITH SCORE 102785.156
AT ITER 1954 NEW BEST:: SOT 3728455 SOS 3081096 HAS SOPS 1544305 HAS SOUS 247444 HAS SOUPS 99674 WITH SCORE 102755.096
AT ITER 1966 NEW BEST:: SOT 3728051 SOS 3082594 HAS SOPS 1544111 HAS SOUS 247337 HAS SOUPS 99473 WITH SCORE 102555.594
AT ITER 1987 NEW BEST:: SOT 3727964 SOS 3082420 HAS SOPS 1543937 HAS SOUS 247172 HAS SOUPS 99308 WITH SCORE 102390.42
AT ITER 1988 NEW BEST:: SOT 3727875 SOS 3082132 HAS SOPS 1543979 HAS SOUS 247084 HAS SOUPS 99275 WITH SCORE 102357.132
AT ITER 1994 NEW BEST:: SOT 3727837 SOS 3081654 HAS SOPS 1543903 HAS SOUS 246979 HAS SOUPS 99237 WITH SCORE 102318.654
AT ITER 1996 NEW BEST:: SOT 3727331 SOS 3088322 HAS SOPS 1546251 HAS SOUS 247147 HAS SOUPS 99165 WITH SCORE 102253.322
AT ITER 2004 NEW BEST:: SOT 3727281 SOS 3088222 HAS SOPS 1545779 HAS SOUS 247035 HAS SOUPS 98991 WITH SCORE 102079.222
AT ITER 2014 NEW BEST:: SOT 3727281 SOS 3088222 HAS SOPS 1545779 HAS SOUS 246989 HAS SOUPS 98945 WITH SCORE 102033.222
AT ITER 2018 NEW BEST:: SOT 3727153 SOS 3087902 HAS SOPS 1545459 HAS SOUS 246957 HAS SOUPS 98913 WITH SCORE 102000.902
AT ITER 2032 NEW BEST:: SOT 3727153 SOS 3087902 HAS SOPS 1545459 HAS SOUS 246917 HAS SOUPS 98873 WITH SCORE 101960.902
AT ITER 2045 NEW BEST:: SOT 3726848 SOS 3088172 HAS SOPS 1545201 HAS SOUS 246787 HAS SOUPS 98743 WITH SCORE 101831.172
AT ITER 2064 NEW BEST:: SOT 3726818 SOS 3088274 HAS SOPS 1545141 HAS SOUS 246757 HAS SOUPS 98686 WITH SCORE 101774.274
AT ITER 2073 NEW BEST:: SOT 3726702 SOS 3087984 HAS SOPS 1544793 HAS SOUS 246583 HAS SOUPS 98512 WITH SCORE 101599.984
AT ITER 2079 NEW BEST:: SOT 3726702 SOS 3087984 HAS SOPS 1544793 HAS SOUS 246499 HAS SOUPS 98428 WITH SCORE 101515.984
AT ITER 2090 NEW BEST:: SOT 3726702 SOS 3087984 HAS SOPS 1544793 HAS SOUS 246479 HAS SOUPS 98408 WITH SCORE 101495.984
AT ITER 2103 NEW BEST:: SOT 3726673 SOS 3087926 HAS SOPS 1544873 HAS SOUS 246444 HAS SOUPS 98396 WITH SCORE 101483.926
AT ITER 2105 NEW BEST:: SOT 3726673 SOS 3087926 HAS SOPS 1544873 HAS SOUS 246426 HAS SOUPS 98378 WITH SCORE 101465.926
AT ITER 2107 NEW BEST:: SOT 3726000 SOS 3090152 HAS SOPS 1545431 HAS SOUS 246033 HAS SOUPS 97985 WITH SCORE 101075.152
AT ITER 2108 NEW BEST:: SOT 3725944 SOS 3090040 HAS SOPS 1545319 HAS SOUS 245968 HAS SOUPS 97920 WITH SCORE 101010.04
AT ITER 2110 NEW BEST:: SOT 3725814 SOS 3090170 HAS SOPS 1545449 HAS SOUS 245837 HAS SOUPS 97789 WITH SCORE 100879.17
AT ITER 2139 NEW BEST:: SOT 3725813 SOS 3090168 HAS SOPS 1545447 HAS SOUS 245836 HAS SOUPS 97788 WITH SCORE 100878.168
AT ITER 2154 NEW BEST:: SOT 3725593 SOS 3090669 HAS SOPS 1545948 HAS SOUS 245657 HAS SOUPS 97609 WITH SCORE 100699.669
AT ITER 2157 NEW BEST:: SOT 3725593 SOS 3090669 HAS SOPS 1545948 HAS SOUS 245651 HAS SOUPS 97603 WITH SCORE 100693.669
AT ITER 2182 NEW BEST:: SOT 3725479 SOS 3089667 HAS SOPS 1545876 HAS SOUS 245344 HAS SOUPS 97451 WITH SCORE 100540.667
AT ITER 2210 NEW BEST:: SOT 3725433 SOS 3089575 HAS SOPS 1545784 HAS SOUS 245298 HAS SOUPS 97405 WITH SCORE 100494.575
AT ITER 2220 NEW BEST:: SOT 3725433 SOS 3089575 HAS SOPS 1545784 HAS SOUS 245256 HAS SOUPS 97363 WITH SCORE 100452.575
AT ITER 2221 NEW BEST:: SOT 3724414 SOS 3083629 HAS SOPS 1549340 HAS SOUS 244744 HAS SOUPS 97009 WITH SCORE 100092.629
AT ITER 2233 NEW BEST:: SOT 3724387 SOS 3082681 HAS SOPS 1549286 HAS SOUS 244481 HAS SOUPS 96895 WITH SCORE 99977.681
AT ITER 2244 NEW BEST:: SOT 3724327 SOS 3082111 HAS SOPS 1549166 HAS SOUS 244344 HAS SOUPS 96833 WITH SCORE 99915.111
AT ITER 2245 NEW BEST:: SOT 3724537 SOS 3082549 HAS SOPS 1549604 HAS SOUS 244284 HAS SOUPS 96773 WITH SCORE 99855.549
AT ITER 2251 NEW BEST:: SOT 3722765 SOS 3080306 HAS SOPS 1547788 HAS SOUS 244407 HAS SOUPS 96767 WITH SCORE 99847.306
AT ITER 2260 NEW BEST:: SOT 3722735 SOS 3080261 HAS SOPS 1547764 HAS SOUS 244404 HAS SOUPS 96764 WITH SCORE 99844.261
AT ITER 2292 NEW BEST:: SOT 3722135 SOS 3084527 HAS SOPS 1549438 HAS SOUS 244223 HAS SOUPS 96583 WITH SCORE 99667.527
AT ITER 2293 NEW BEST:: SOT 3722247 SOS 3084847 HAS SOPS 1548372 HAS SOUS 244444 HAS SOUPS 96573 WITH SCORE 99657.847
AT ITER 2314 NEW BEST:: SOT 3719144 SOS 3080039 HAS SOPS 1546420 HAS SOUS 244158 HAS SOUPS 96525 WITH SCORE 99605.039
AT ITER 2349 NEW BEST:: SOT 3718999 SOS 3069231 HAS SOPS 1544775 HAS SOUS 243761 HAS SOUPS 96315 WITH SCORE 99384.231
AT ITER 2355 NEW BEST:: SOT 3716880 SOS 3066106 HAS SOPS 1542616 HAS SOUS 243648 HAS SOUPS 96199 WITH SCORE 99265.106
AT ITER 2381 NEW BEST:: SOT 3716834 SOS 3066014 HAS SOPS 1542524 HAS SOUS 243602 HAS SOUPS 96153 WITH SCORE 99219.014
AT ITER 2420 NEW BEST:: SOT 3716880 SOS 3066172 HAS SOPS 1542484 HAS SOUS 243559 HAS SOUPS 96077 WITH SCORE 99143.172
AT ITER 2484 NEW BEST:: SOT 3716743 SOS 3065602 HAS SOPS 1542802 HAS SOUS 243334 HAS SOUPS 96000 WITH SCORE 99065.602
AT ITER 2493 NEW BEST:: SOT 3716725 SOS 3065566 HAS SOPS 1542766 HAS SOUS 243316 HAS SOUPS 95982 WITH SCORE 99047.566
AT ITER 2592 NEW BEST:: SOT 3716445 SOS 3065184 HAS SOPS 1542626 HAS SOUS 243068 HAS SOUPS 95804 WITH SCORE 98869.184
AT ITER 2594 NEW BEST:: SOT 3716197 SOS 3064564 HAS SOPS 1542378 HAS SOUS 242928 HAS SOUPS 95726 WITH SCORE 98790.564
AT ITER 2614 NEW BEST:: SOT 3716197 SOS 3064564 HAS SOPS 1542378 HAS SOUS 242840 HAS SOUPS 95638 WITH SCORE 98702.564
AT ITER 2619 NEW BEST:: SOT 3715758 SOS 3063482 HAS SOPS 1541908 HAS SOUS 242563 HAS SOUPS 95463 WITH SCORE 98526.482
AT ITER 2638 NEW BEST:: SOT 3715611 SOS 3062546 HAS SOPS 1541674 HAS SOUS 242287 HAS SOUPS 95304 WITH SCORE 98366.546
AT ITER 2642 NEW BEST:: SOT 3715607 SOS 3062538 HAS SOPS 1541666 HAS SOUS 242279 HAS SOUPS 95296 WITH SCORE 98358.538
AT ITER 2667 NEW BEST:: SOT 3715530 SOS 3045026 HAS SOPS 1540765 HAS SOUS 241913 HAS SOUPS 95269 WITH SCORE 98314.026
AT ITER 2678 NEW BEST:: SOT 3715530 SOS 3045026 HAS SOPS 1540765 HAS SOUS 241825 HAS SOUPS 95181 WITH SCORE 98226.026
AT ITER 2682 NEW BEST:: SOT 3715530 SOS 3045026 HAS SOPS 1540765 HAS SOUS 241819 HAS SOUPS 95175 WITH SCORE 98220.026
AT ITER 2699 NEW BEST:: SOT 3714908 SOS 3045908 HAS SOPS 1540447 HAS SOUS 241645 HAS SOUPS 95001 WITH SCORE 98046.908
AT ITER 2713 NEW BEST:: SOT 3714908 SOS 3045836 HAS SOPS 1540375 HAS SOUS 241645 HAS SOUPS 95001 WITH SCORE 98046.836
AT ITER 2742 NEW BEST:: SOT 3714908 SOS 3045836 HAS SOPS 1540375 HAS SOUS 241603 HAS SOUPS 94959 WITH SCORE 98004.836
AT ITER 2763 NEW BEST:: SOT 3714079 SOS 3048514 HAS SOPS 1540155 HAS SOUS 241209 HAS SOUPS 94404 WITH SCORE 97452.514
AT ITER 2764 NEW BEST:: SOT 3713470 SOS 3043882 HAS SOPS 1541549 HAS SOUS 241097 HAS SOUPS 94292 WITH SCORE 97335.882
AT ITER 2769 NEW BEST:: SOT 3713032 SOS 3045547 HAS SOPS 1541333 HAS SOUS 240756 HAS SOUPS 93852 WITH SCORE 96897.547
AT ITER 2801 NEW BEST:: SOT 3713032 SOS 3045547 HAS SOPS 1541333 HAS SOUS 240728 HAS SOUPS 93824 WITH SCORE 96869.547
AT ITER 2808 NEW BEST:: SOT 3712166 SOS 3049947 HAS SOPS 1543105 HAS SOUS 240396 HAS SOUPS 93492 WITH SCORE 96541.947
AT ITER 2824 NEW BEST:: SOT 3712166 SOS 3049947 HAS SOPS 1543105 HAS SOUS 240334 HAS SOUPS 93430 WITH SCORE 96479.947
AT ITER 2834 NEW BEST:: SOT 3712166 SOS 3049947 HAS SOPS 1543105 HAS SOUS 240324 HAS SOUPS 93420 WITH SCORE 96469.947
AT ITER 2854 NEW BEST:: SOT 3711923 SOS 3051143 HAS SOPS 1543311 HAS SOUS 240199 HAS SOUPS 93240 WITH SCORE 96291.143
AT ITER 2880 NEW BEST:: SOT 3711725 SOS 3050879 HAS SOPS 1543047 HAS SOUS 240100 HAS SOUPS 93141 WITH SCORE 96191.879
AT ITER 2912 NEW BEST:: SOT 3711650 SOS 3051149 HAS SOPS 1543047 HAS SOUS 240055 HAS SOUPS 93081 WITH SCORE 96132.149
AT ITER 2944 NEW BEST:: SOT 3711650 SOS 3051149 HAS SOPS 1543047 HAS SOUS 239967 HAS SOUPS 92993 WITH SCORE 96044.149
AT ITER 2965 NEW BEST:: SOT 3707142 SOS 3044173 HAS SOPS 1540199 HAS SOUS 239527 HAS SOUPS 92897 WITH SCORE 95941.173
AT ITER 2969 NEW BEST:: SOT 3707142 SOS 3044173 HAS SOPS 1540199 HAS SOUS 239483 HAS SOUPS 92853 WITH SCORE 95897.173
AT ITER 2989 NEW BEST:: SOT 3706904 SOS 3045213 HAS SOPS 1540123 HAS SOUS 239542 HAS SOUPS 92850 WITH SCORE 95895.213
AT ITER 2995 NEW BEST:: SOT 3706904 SOS 3045213 HAS SOPS 1540123 HAS SOUS 239532 HAS SOUPS 92840 WITH SCORE 95885.213
AT ITER 3010 NEW BEST:: SOT 3706524 SOS 3044237 HAS SOPS 1539795 HAS SOUS 239420 HAS SOUPS 92836 WITH SCORE 95880.237
AT ITER 3013 NEW BEST:: SOT 3706550 SOS 3043873 HAS SOPS 1539587 HAS SOUS 239420 HAS SOUPS 92836 WITH SCORE 95879.873
AT ITER 3021 NEW BEST:: SOT 3706550 SOS 3043873 HAS SOPS 1539587 HAS SOUS 239416 HAS SOUPS 92832 WITH SCORE 95875.873
AT ITER 3032 NEW BEST:: SOT 3706548 SOS 3043864 HAS SOPS 1539584 HAS SOUS 239412 HAS SOUPS 92829 WITH SCORE 95872.864
AT ITER 3057 NEW BEST:: SOT 3706524 SOS 3043672 HAS SOPS 1539536 HAS SOUS 239363 HAS SOUPS 92804 WITH SCORE 95847.672
AT ITER 3066 NEW BEST:: SOT 3706697 SOS 3044669 HAS SOPS 1539549 HAS SOUS 239503 HAS SOUPS 92780 WITH SCORE 95824.669
AT ITER 3081 NEW BEST:: SOT 3706697 SOS 3044669 HAS SOPS 1539549 HAS SOUS 239419 HAS SOUPS 92696 WITH SCORE 95740.669
AT ITER 3112 NEW BEST:: SOT 3706496 SOS 3043373 HAS SOPS 1538253 HAS SOUS 239109 HAS SOUPS 92386 WITH SCORE 95429.373
AT ITER 3152 NEW BEST:: SOT 3706404 SOS 3030842 HAS SOPS 1527633 HAS SOUS 239050 HAS SOUPS 92366 WITH SCORE 95396.842
AT ITER 3171 NEW BEST:: SOT 3706358 SOS 3031348 HAS SOPS 1527863 HAS SOUS 239027 HAS SOUPS 92343 WITH SCORE 95374.348
AT ITER 3290 NEW BEST:: SOT 3705441 SOS 3032882 HAS SOPS 1527585 HAS SOUS 238645 HAS SOUPS 91961 WITH SCORE 94993.882
AT ITER 3317 NEW BEST:: SOT 3705439 SOS 3032086 HAS SOPS 1527581 HAS SOUS 238464 HAS SOUPS 91912 WITH SCORE 94944.086
AT ITER 3358 NEW BEST:: SOT 3705437 SOS 3032129 HAS SOPS 1527577 HAS SOUS 238463 HAS SOUPS 91910 WITH SCORE 94942.129
AT ITER 3392 NEW BEST:: SOT 3705289 SOS 3031759 HAS SOPS 1527429 HAS SOUS 238352 HAS SOUPS 91836 WITH SCORE 94867.759
AT ITER 3424 NEW BEST:: SOT 3705269 SOS 3031719 HAS SOPS 1527389 HAS SOUS 238332 HAS SOUPS 91816 WITH SCORE 94847.719
AT ITER 3426 NEW BEST:: SOT 3705267 SOS 3031721 HAS SOPS 1527385 HAS SOUS 238331 HAS SOUPS 91814 WITH SCORE 94845.721
AT ITER 3435 NEW BEST:: SOT 3705267 SOS 3031695 HAS SOPS 1527359 HAS SOUS 238331 HAS SOUPS 91814 WITH SCORE 94845.695
AT ITER 3437 NEW BEST:: SOT 3705267 SOS 3031695 HAS SOPS 1527359 HAS SOUS 238243 HAS SOUPS 91726 WITH SCORE 94757.695
AT ITER 3438 NEW BEST:: SOT 3705177 SOS 3032035 HAS SOPS 1527459 HAS SOUS 238183 HAS SOUPS 91666 WITH SCORE 94698.035
AT ITER 3448 NEW BEST:: SOT 3705202 SOS 3032057 HAS SOPS 1527481 HAS SOUS 238179 HAS SOUPS 91662 WITH SCORE 94694.057
AT ITER 3508 NEW BEST:: SOT 3705130 SOS 3031913 HAS SOPS 1527337 HAS SOUS 238007 HAS SOUPS 91490 WITH SCORE 94521.913
AT ITER 3511 NEW BEST:: SOT 3705036 SOS 3031227 HAS SOPS 1527149 HAS SOUS 237802 HAS SOUPS 91368 WITH SCORE 94399.227
AT ITER 3520 NEW BEST:: SOT 3704978 SOS 3031089 HAS SOPS 1527077 HAS SOUS 237755 HAS SOUPS 91332 WITH SCORE 94363.089
AT ITER 3578 NEW BEST:: SOT 3703718 SOS 3029145 HAS SOPS 1526285 HAS SOUS 237627 HAS SOUPS 91300 WITH SCORE 94329.145
AT ITER 3597 NEW BEST:: SOT 3703648 SOS 3028761 HAS SOPS 1526304 HAS SOUS 237557 HAS SOUPS 91294 WITH SCORE 94322.761
AT ITER 3627 NEW BEST:: SOT 3703583 SOS 3028869 HAS SOPS 1525698 HAS SOUS 237599 HAS SOUPS 91217 WITH SCORE 94245.869
AT ITER 3635 NEW BEST:: SOT 3703534 SOS 3028527 HAS SOPS 1525511 HAS SOUS 237610 HAS SOUPS 91216 WITH SCORE 94244.527
AT ITER 3680 NEW BEST:: SOT 3703476 SOS 3028411 HAS SOPS 1525395 HAS SOUS 237536 HAS SOUPS 91142 WITH SCORE 94170.411
AT ITER 3689 NEW BEST:: SOT 3703433 SOS 3028325 HAS SOPS 1525309 HAS SOUS 237492 HAS SOUPS 91098 WITH SCORE 94126.325
AT ITER 3694 NEW BEST:: SOT 3703433 SOS 3028325 HAS SOPS 1525309 HAS SOUS 237442 HAS SOUPS 91048 WITH SCORE 94076.325
AT ITER 3734 NEW BEST:: SOT 3703237 SOS 3027835 HAS SOPS 1525113 HAS SOUS 237370 HAS SOUPS 91025 WITH SCORE 94052.835
AT ITER 3736 NEW BEST:: SOT 3702917 SOS 3026405 HAS SOPS 1524631 HAS SOUS 237099 HAS SOUPS 90912 WITH SCORE 93938.405
AT ITER 3820 NEW BEST:: SOT 3702990 SOS 3026927 HAS SOPS 1524638 HAS SOUS 237108 HAS SOUPS 90837 WITH SCORE 93863.927
AT ITER 3831 NEW BEST:: SOT 3702948 SOS 3026843 HAS SOPS 1524554 HAS SOUS 237024 HAS SOUPS 90753 WITH SCORE 93779.843
AT ITER 3855 NEW BEST:: SOT 3702908 SOS 3026883 HAS SOPS 1524318 HAS SOUS 237030 HAS SOUPS 90713 WITH SCORE 93739.883
AT ITER 3859 NEW BEST:: SOT 3702735 SOS 3026861 HAS SOPS 1524296 HAS SOUS 237006 HAS SOUPS 90689 WITH SCORE 93715.861
AT ITER 3860 NEW BEST:: SOT 3702735 SOS 3026861 HAS SOPS 1524296 HAS SOUS 236954 HAS SOUPS 90637 WITH SCORE 93663.861
AT ITER 3871 NEW BEST:: SOT 3702724 SOS 3026289 HAS SOPS 1524263 HAS SOUS 236921 HAS SOUPS 90615 WITH SCORE 93641.289
AT ITER 3876 NEW BEST:: SOT 3702501 SOS 3025917 HAS SOPS 1523891 HAS SOUS 236893 HAS SOUPS 90587 WITH SCORE 93612.917
AT ITER 3886 NEW BEST:: SOT 3702501 SOS 3025817 HAS SOPS 1523889 HAS SOUS 236889 HAS SOUPS 90585 WITH SCORE 93610.817
AT ITER 3930 NEW BEST:: SOT 3701764 SOS 3029403 HAS SOPS 1524001 HAS SOUS 236747 HAS SOUPS 90250 WITH SCORE 93279.403
AT ITER 3961 NEW BEST:: SOT 3701713 SOS 3029947 HAS SOPS 1524239 HAS SOUS 236747 HAS SOUPS 90233 WITH SCORE 93262.947
AT ITER 3979 NEW BEST:: SOT 3698639 SOS 3026685 HAS SOPS 1522483 HAS SOUS 236745 HAS SOUPS 90231 WITH SCORE 93257.685
AT ITER 4069 NEW BEST:: SOT 3698546 SOS 3026499 HAS SOPS 1522297 HAS SOUS 236543 HAS SOUPS 90029 WITH SCORE 93055.499
AT ITER 4075 NEW BEST:: SOT 3698546 SOS 3026499 HAS SOPS 1522297 HAS SOUS 236467 HAS SOUPS 89953 WITH SCORE 92979.499
AT ITER 4101 NEW BEST:: SOT 3698506 SOS 3026377 HAS SOPS 1522301 HAS SOUS 236436 HAS SOUPS 89943 WITH SCORE 92969.377
AT ITER 4102 NEW BEST:: SOT 3698503 SOS 3026371 HAS SOPS 1522295 HAS SOUS 236433 HAS SOUPS 89940 WITH SCORE 92966.371
AT ITER 4110 NEW BEST:: SOT 3698001 SOS 3025539 HAS SOPS 1521979 HAS SOUS 236361 HAS SOUPS 89911 WITH SCORE 92936.539
AT ITER 4146 NEW BEST:: SOT 3698000 SOS 3025537 HAS SOPS 1521971 HAS SOUS 236361 HAS SOUPS 89910 WITH SCORE 92935.537
AT ITER 4165 NEW BEST:: SOT 3698000 SOS 3025537 HAS SOPS 1521971 HAS SOUS 236289 HAS SOUPS 89838 WITH SCORE 92863.537
AT ITER 4202 NEW BEST:: SOT 3697812 SOS 3024813 HAS SOPS 1521835 HAS SOUS 235913 HAS SOUPS 89560 WITH SCORE 92584.813
AT ITER 4225 NEW BEST:: SOT 3697773 SOS 3026451 HAS SOPS 1521796 HAS SOUS 235874 HAS SOUPS 89521 WITH SCORE 92547.451
AT ITER 4227 NEW BEST:: SOT 3696961 SOS 3032729 HAS SOPS 1524870 HAS SOUS 235827 HAS SOUPS 89474 WITH SCORE 92506.729
AT ITER 4228 NEW BEST:: SOT 3696545 SOS 3031897 HAS SOPS 1524038 HAS SOUS 235629 HAS SOUPS 89276 WITH SCORE 92307.897
AT ITER 4252 NEW BEST:: SOT 3696537 SOS 3031981 HAS SOPS 1523822 HAS SOUS 235671 HAS SOUPS 89268 WITH SCORE 92299.981
AT ITER 4254 NEW BEST:: SOT 3696574 SOS 3023871 HAS SOPS 1523748 HAS SOUS 235253 HAS SOUPS 89014 WITH SCORE 92037.871
AT ITER 4301 NEW BEST:: SOT 3693161 SOS 3018512 HAS SOPS 1521583 HAS SOUS 234868 HAS SOUPS 88894 WITH SCORE 91912.512
AT ITER 4327 NEW BEST:: SOT 3693158 SOS 3018506 HAS SOPS 1521577 HAS SOUS 234865 HAS SOUPS 88891 WITH SCORE 91909.506
AT ITER 4328 NEW BEST:: SOT 3693140 SOS 3018500 HAS SOPS 1521571 HAS SOUS 234847 HAS SOUPS 88873 WITH SCORE 91891.5
AT ITER 4341 NEW BEST:: SOT 3692955 SOS 3020690 HAS SOPS 1522801 HAS SOUS 234742 HAS SOUPS 88768 WITH SCORE 91788.69
AT ITER 4366 NEW BEST:: SOT 3692955 SOS 3020690 HAS SOPS 1522801 HAS SOUS 234738 HAS SOUPS 88764 WITH SCORE 91784.69
AT ITER 4422 NEW BEST:: SOT 3692883 SOS 3020402 HAS SOPS 1522729 HAS SOUS 234594 HAS SOUPS 88656 WITH SCORE 91676.402
AT ITER 4481 NEW BEST:: SOT 3692073 SOS 3019616 HAS SOPS 1521943 HAS SOUS 234411 HAS SOUPS 88473 WITH SCORE 91492.616
AT ITER 4491 NEW BEST:: SOT 3692073 SOS 3019616 HAS SOPS 1521943 HAS SOUS 234363 HAS SOUPS 88425 WITH SCORE 91444.616
AT ITER 4545 NEW BEST:: SOT 3692183 SOS 3014752 HAS SOPS 1519689 HAS SOUS 234149 HAS SOUPS 88356 WITH SCORE 91370.752
AT ITER 4559 NEW BEST:: SOT 3692183 SOS 3014752 HAS SOPS 1519689 HAS SOUS 234077 HAS SOUPS 88284 WITH SCORE 91298.752
AT ITER 4603 NEW BEST:: SOT 3689770 SOS 3011907 HAS SOPS 1517460 HAS SOUS 234110 HAS SOUPS 88163 WITH SCORE 91174.907
AT ITER 4615 NEW BEST:: SOT 3689770 SOS 3011907 HAS SOPS 1517460 HAS SOUS 234094 HAS SOUPS 88147 WITH SCORE 91158.907
AT ITER 4648 NEW BEST:: SOT 3689770 SOS 3011907 HAS SOPS 1517460 HAS SOUS 234070 HAS SOUPS 88123 WITH SCORE 91134.907
AT ITER 4657 NEW BEST:: SOT 3689609 SOS 3012261 HAS SOPS 1517502 HAS SOUS 234034 HAS SOUPS 88087 WITH SCORE 91099.261
AT ITER 4660 NEW BEST:: SOT 3689549 SOS 3012115 HAS SOPS 1517434 HAS SOUS 234018 HAS SOUPS 88084 WITH SCORE 91096.115
AT ITER 4663 NEW BEST:: SOT 3689189 SOS 3011575 HAS SOPS 1517254 HAS SOUS 233988 HAS SOUPS 88084 WITH SCORE 91095.575
AT ITER 4693 NEW BEST:: SOT 3689189 SOS 3011575 HAS SOPS 1517254 HAS SOUS 233984 HAS SOUPS 88080 WITH SCORE 91091.575
AT ITER 4697 NEW BEST:: SOT 3689009 SOS 3014205 HAS SOPS 1518504 HAS SOUS 233975 HAS SOUPS 88071 WITH SCORE 91085.205
AT ITER 4735 NEW BEST:: SOT 3689009 SOS 3014205 HAS SOPS 1518504 HAS SOUS 233965 HAS SOUPS 88061 WITH SCORE 91075.205
AT ITER 4786 NEW BEST:: SOT 3688865 SOS 3013725 HAS SOPS 1518600 HAS SOUS 233821 HAS SOUPS 88013 WITH SCORE 91026.725
AT ITER 4814 NEW BEST:: SOT 3688865 SOS 3013621 HAS SOPS 1518496 HAS SOUS 233821 HAS SOUPS 88013 WITH SCORE 91026.621
AT ITER 4827 NEW BEST:: SOT 3688865 SOS 3013621 HAS SOPS 1518496 HAS SOUS 233819 HAS SOUPS 88011 WITH SCORE 91024.621
AT ITER 4837 NEW BEST:: SOT 3688865 SOS 3013621 HAS SOPS 1518496 HAS SOUS 233735 HAS SOUPS 87927 WITH SCORE 90940.621
AT ITER 4841 NEW BEST:: SOT 3688701 SOS 3013643 HAS SOPS 1517468 HAS SOUS 233746 HAS SOUPS 87763 WITH SCORE 90776.643
AT ITER 4849 NEW BEST:: SOT 3688606 SOS 3014001 HAS SOPS 1517598 HAS SOUS 233727 HAS SOUPS 87744 WITH SCORE 90758.001
AT ITER 4874 NEW BEST:: SOT 3688550 SOS 3013889 HAS SOPS 1517486 HAS SOUS 233671 HAS SOUPS 87688 WITH SCORE 90701.889
AT ITER 4892 NEW BEST:: SOT 3687848 SOS 3018817 HAS SOPS 1520778 HAS SOUS 233495 HAS SOUPS 87666 WITH SCORE 90684.817
AT ITER 4955 NEW BEST:: SOT 3687994 SOS 3018953 HAS SOPS 1520914 HAS SOUS 233420 HAS SOUPS 87591 WITH SCORE 90609.953
AT ITER 5025 NEW BEST:: SOT 3688398 SOS 3012739 HAS SOPS 1517735 HAS SOUS 233294 HAS SOUPS 87522 WITH SCORE 90534.739
AT ITER 5034 NEW BEST:: SOT 3688363 SOS 3011745 HAS SOPS 1517917 HAS SOUS 233050 HAS SOUPS 87474 WITH SCORE 90485.745
AT ITER 5036 NEW BEST:: SOT 3688323 SOS 3011753 HAS SOPS 1517893 HAS SOUS 233030 HAS SOUPS 87458 WITH SCORE 90469.753
AT ITER 5038 NEW BEST:: SOT 3688295 SOS 3012243 HAS SOPS 1517837 HAS SOUS 232963 HAS SOUPS 87300 WITH SCORE 90312.243
AT ITER 5040 NEW BEST:: SOT 3688206 SOS 3011975 HAS SOPS 1518115 HAS SOUS 232785 HAS SOUPS 87213 WITH SCORE 90224.975
AT ITER 5145 NEW BEST:: SOT 3687982 SOS 3011391 HAS SOPS 1517939 HAS SOUS 232583 HAS SOUPS 87079 WITH SCORE 90090.391
AT ITER 5161 NEW BEST:: SOT 3687950 SOS 3011575 HAS SOPS 1517979 HAS SOUS 232583 HAS SOUPS 87071 WITH SCORE 90082.575
AT ITER 5219 NEW BEST:: SOT 3687950 SOS 3011575 HAS SOPS 1517979 HAS SOUS 232391 HAS SOUPS 86879 WITH SCORE 89890.575
AT ITER 5225 NEW BEST:: SOT 3687962 SOS 3011611 HAS SOPS 1517979 HAS SOUS 232385 HAS SOUPS 86867 WITH SCORE 89878.611
AT ITER 5230 NEW BEST:: SOT 3687510 SOS 3010915 HAS SOPS 1517483 HAS SOUS 232365 HAS SOUPS 86839 WITH SCORE 89849.915
AT ITER 5267 NEW BEST:: SOT 3687510 SOS 3010915 HAS SOPS 1517483 HAS SOUS 232195 HAS SOUPS 86669 WITH SCORE 89679.915
AT ITER 5273 NEW BEST:: SOT 3687510 SOS 3010915 HAS SOPS 1517483 HAS SOUS 232191 HAS SOUPS 86665 WITH SCORE 89675.915
AT ITER 5348 NEW BEST:: SOT 3687458 SOS 3010811 HAS SOPS 1517379 HAS SOUS 232000 HAS SOUPS 86474 WITH SCORE 89484.811
AT ITER 5367 NEW BEST:: SOT 3687458 SOS 3010811 HAS SOPS 1517379 HAS SOUS 231966 HAS SOUPS 86440 WITH SCORE 89450.811
AT ITER 5416 NEW BEST:: SOT 3687435 SOS 3010893 HAS SOPS 1517393 HAS SOUS 231947 HAS SOUPS 86421 WITH SCORE 89431.893
AT ITER 5438 NEW BEST:: SOT 3687914 SOS 3012020 HAS SOPS 1517480 HAS SOUS 232124 HAS SOUPS 86402 WITH SCORE 89414.02
AT ITER 5441 NEW BEST:: SOT 3687865 SOS 3014030 HAS SOPS 1518266 HAS SOUS 232075 HAS SOUPS 86285 WITH SCORE 89299.03
AT ITER 5482 NEW BEST:: SOT 3685306 SOS 3012424 HAS SOPS 1517220 HAS SOUS 232209 HAS SOUPS 86200 WITH SCORE 89212.424
AT ITER 5528 NEW BEST:: SOT 3685358 SOS 3012272 HAS SOPS 1517068 HAS SOUS 232130 HAS SOUPS 86121 WITH SCORE 89133.272
AT ITER 5538 NEW BEST:: SOT 3685358 SOS 3012272 HAS SOPS 1517068 HAS SOUS 232108 HAS SOUPS 86099 WITH SCORE 89111.272
AT ITER 5612 NEW BEST:: SOT 3685289 SOS 3012254 HAS SOPS 1516504 HAS SOUS 232130 HAS SOUPS 86030 WITH SCORE 89042.254
AT ITER 5638 NEW BEST:: SOT 3685304 SOS 3012269 HAS SOPS 1516519 HAS SOUS 232125 HAS SOUPS 86025 WITH SCORE 89037.269
AT ITER 5708 NEW BEST:: SOT 3684929 SOS 3011117 HAS SOPS 1515367 HAS SOUS 232033 HAS SOUPS 85933 WITH SCORE 88944.117
AT ITER 5739 NEW BEST:: SOT 3685028 SOS 3013025 HAS SOPS 1516033 HAS SOUS 232070 HAS SOUPS 85901 WITH SCORE 88914.025
AT ITER 5746 NEW BEST:: SOT 3685028 SOS 3013025 HAS SOPS 1516033 HAS SOUS 232066 HAS SOUPS 85897 WITH SCORE 88910.025
AT ITER 5752 NEW BEST:: SOT 3685028 SOS 3013015 HAS SOPS 1516035 HAS SOUS 232064 HAS SOUPS 85897 WITH SCORE 88910.015
AT ITER 5784 NEW BEST:: SOT 3684850 SOS 2988630 HAS SOPS 1495717 HAS SOUS 231948 HAS SOUPS 85864 WITH SCORE 88852.63
AT ITER 5786 NEW BEST:: SOT 3684696 SOS 2988322 HAS SOPS 1495409 HAS SOUS 231811 HAS SOUPS 85727 WITH SCORE 88715.322
AT ITER 5850 NEW BEST:: SOT 3684675 SOS 2988280 HAS SOPS 1495367 HAS SOUS 231790 HAS SOUPS 85706 WITH SCORE 88694.28
AT ITER 5854 NEW BEST:: SOT 3684605 SOS 2988140 HAS SOPS 1495227 HAS SOUS 231781 HAS SOUPS 85697 WITH SCORE 88685.14
AT ITER 5865 NEW BEST:: SOT 3684826 SOS 2986260 HAS SOPS 1494463 HAS SOUS 231769 HAS SOUPS 85685 WITH SCORE 88671.26
AT ITER 5876 NEW BEST:: SOT 3684811 SOS 2986260 HAS SOPS 1494373 HAS SOUS 231769 HAS SOUPS 85670 WITH SCORE 88656.26
AT ITER 5877 NEW BEST:: SOT 3684553 SOS 2985744 HAS SOPS 1493857 HAS SOUS 231467 HAS SOUPS 85368 WITH SCORE 88353.744
AT ITER 5882 NEW BEST:: SOT 3684544 SOS 2985726 HAS SOPS 1493731 HAS SOUS 231476 HAS SOUPS 85359 WITH SCORE 88344.726
AT ITER 5885 NEW BEST:: SOT 3684544 SOS 2985726 HAS SOPS 1493731 HAS SOUS 231456 HAS SOUPS 85339 WITH SCORE 88324.726
AT ITER 5892 NEW BEST:: SOT 3684544 SOS 2985726 HAS SOPS 1493731 HAS SOUS 231436 HAS SOUPS 85319 WITH SCORE 88304.726
AT ITER 5942 NEW BEST:: SOT 3684007 SOS 2989216 HAS SOPS 1495397 HAS SOUS 231244 HAS SOUPS 85127 WITH SCORE 88116.216
AT ITER 5944 NEW BEST:: SOT 3684008 SOS 2991508 HAS SOPS 1496375 HAS SOUS 231178 HAS SOUPS 84988 WITH SCORE 87979.508
AT ITER 5949 NEW BEST:: SOT 3683685 SOS 2995516 HAS SOPS 1498379 HAS SOUS 231157 HAS SOUPS 84967 WITH SCORE 87962.516
AT ITER 5952 NEW BEST:: SOT 3683321 SOS 2994594 HAS SOPS 1498039 HAS SOUS 230976 HAS SOUPS 84883 WITH SCORE 87877.594
AT ITER 5975 NEW BEST:: SOT 3684376 SOS 2995068 HAS SOPS 1498667 HAS SOUS 230665 HAS SOUPS 84716 WITH SCORE 87711.068
AT ITER 5987 NEW BEST:: SOT 3684376 SOS 2995068 HAS SOPS 1498667 HAS SOUS 230577 HAS SOUPS 84628 WITH SCORE 87623.068
AT ITER 6032 NEW BEST:: SOT 3684289 SOS 2994554 HAS SOPS 1498663 HAS SOUS 230486 HAS SOUPS 84622 WITH SCORE 87616.554
AT ITER 6072 NEW BEST:: SOT 3686223 SOS 2997552 HAS SOPS 1499669 HAS SOUS 230481 HAS SOUPS 84451 WITH SCORE 87448.552
AT ITER 6132 NEW BEST:: SOT 3686179 SOS 2997464 HAS SOPS 1499581 HAS SOUS 230437 HAS SOUPS 84407 WITH SCORE 87404.464
AT ITER 6145 NEW BEST:: SOT 3686124 SOS 2992954 HAS SOPS 1499371 HAS SOUS 230254 HAS SOUPS 84224 WITH SCORE 87216.954
AT ITER 6182 NEW BEST:: SOT 3686108 SOS 2993134 HAS SOPS 1499551 HAS SOUS 230250 HAS SOUPS 84220 WITH SCORE 87213.134
AT ITER 6234 NEW BEST:: SOT 3685699 SOS 2992610 HAS SOPS 1499207 HAS SOUS 230201 HAS SOUPS 84171 WITH SCORE 87163.61
AT ITER 6378 NEW BEST:: SOT 3685705 SOS 2992503 HAS SOPS 1499067 HAS SOUS 230178 HAS SOUPS 84148 WITH SCORE 87140.503
AT ITER 6414 NEW BEST:: SOT 3685668 SOS 2992447 HAS SOPS 1499011 HAS SOUS 230146 HAS SOUPS 84116 WITH SCORE 87108.447
AT ITER 6448 NEW BEST:: SOT 3685414 SOS 2995197 HAS SOPS 1499943 HAS SOUS 230185 HAS SOUPS 84054 WITH SCORE 87049.197
AT ITER 6496 NEW BEST:: SOT 3686450 SOS 2996095 HAS SOPS 1500621 HAS SOUS 229996 HAS SOUPS 84006 WITH SCORE 87002.095
AT ITER 6524 NEW BEST:: SOT 3686958 SOS 2999201 HAS SOPS 1500902 HAS SOUS 229984 HAS SOUPS 83956 WITH SCORE 86955.201
AT ITER 6549 NEW BEST:: SOT 3686958 SOS 2999201 HAS SOPS 1500902 HAS SOUS 229952 HAS SOUPS 83924 WITH SCORE 86923.201
AT ITER 6550 NEW BEST:: SOT 3686952 SOS 2999225 HAS SOPS 1500926 HAS SOUS 229940 HAS SOUPS 83912 WITH SCORE 86911.225
AT ITER 6553 NEW BEST:: SOT 3686883 SOS 2999087 HAS SOPS 1500788 HAS SOUS 229805 HAS SOUPS 83777 WITH SCORE 86776.087
AT ITER 6564 NEW BEST:: SOT 3686771 SOS 2998863 HAS SOPS 1500564 HAS SOUS 229693 HAS SOUPS 83665 WITH SCORE 86663.863
AT ITER 6572 NEW BEST:: SOT 3686771 SOS 2998863 HAS SOPS 1500564 HAS SOUS 229687 HAS SOUPS 83659 WITH SCORE 86657.863
AT ITER 6588 NEW BEST:: SOT 3686613 SOS 2998617 HAS SOPS 1500362 HAS SOUS 229681 HAS SOUPS 83645 WITH SCORE 86643.617
AT ITER 6604 NEW BEST:: SOT 3686613 SOS 2998617 HAS SOPS 1500362 HAS SOUS 229665 HAS SOUPS 83629 WITH SCORE 86627.617
AT ITER 6617 NEW BEST:: SOT 3686585 SOS 2998387 HAS SOPS 1500306 HAS SOUS 229607 HAS SOUPS 83600 WITH SCORE 86598.387
AT ITER 6666 NEW BEST:: SOT 3686545 SOS 2996627 HAS SOPS 1498306 HAS SOUS 229607 HAS SOUPS 83560 WITH SCORE 86556.627
AT ITER 6672 NEW BEST:: SOT 3686526 SOS 2996589 HAS SOPS 1498166 HAS SOUS 229605 HAS SOUPS 83541 WITH SCORE 86537.589
AT ITER 6684 NEW BEST:: SOT 3686438 SOS 3000271 HAS SOPS 1498091 HAS SOUS 229550 HAS SOUPS 83417 WITH SCORE 86417.271
AT ITER 6774 NEW BEST:: SOT 3686438 SOS 3000271 HAS SOPS 1498091 HAS SOUS 229480 HAS SOUPS 83347 WITH SCORE 86347.271
AT ITER 6851 NEW BEST:: SOT 3683385 SOS 2995375 HAS SOPS 1496207 HAS SOUS 229112 HAS SOUPS 83230 WITH SCORE 86225.375
AT ITER 6910 NEW BEST:: SOT 3683385 SOS 2993931 HAS SOPS 1495447 HAS SOUS 228998 HAS SOUPS 83154 WITH SCORE 86147.931
AT ITER 6924 NEW BEST:: SOT 3683803 SOS 2990715 HAS SOPS 1493383 HAS SOUS 228840 HAS SOUPS 82926 WITH SCORE 85916.715
AT ITER 6937 NEW BEST:: SOT 3683355 SOS 2990395 HAS SOPS 1493063 HAS SOUS 228824 HAS SOUPS 82862 WITH SCORE 85852.395
AT ITER 6985 NEW BEST:: SOT 3683218 SOS 2990469 HAS SOPS 1492591 HAS SOUS 228739 HAS SOUPS 82686 WITH SCORE 85676.469
AT ITER 6987 NEW BEST:: SOT 3683200 SOS 2990433 HAS SOPS 1492555 HAS SOUS 228721 HAS SOUPS 82668 WITH SCORE 85658.433
AT ITER 7061 NEW BEST:: SOT 3683224 SOS 2990457 HAS SOPS 1492567 HAS SOUS 228719 HAS SOUPS 82666 WITH SCORE 85656.457
AT ITER 7087 NEW BEST:: SOT 3683212 SOS 2990061 HAS SOPS 1492171 HAS SOUS 228670 HAS SOUPS 82617 WITH SCORE 85607.061
AT ITER 7115 NEW BEST:: SOT 3683213 SOS 2990103 HAS SOPS 1492165 HAS SOUS 228672 HAS SOUPS 82611 WITH SCORE 85601.103
AT ITER 7162 NEW BEST:: SOT 3683165 SOS 2988903 HAS SOPS 1492069 HAS SOUS 228442 HAS SOUPS 82565 WITH SCORE 85553.903
AT ITER 7190 NEW BEST:: SOT 3682985 SOS 2988589 HAS SOPS 1491755 HAS SOUS 228433 HAS SOUPS 82556 WITH SCORE 85544.589
AT ITER 7222 NEW BEST:: SOT 3683500 SOS 2931897 HAS SOPS 1447748 HAS SOUS 228309 HAS SOUPS 82432 WITH SCORE 85363.897
AT ITER 7243 NEW BEST:: SOT 3683500 SOS 2931867 HAS SOPS 1447748 HAS SOUS 228304 HAS SOUPS 82432 WITH SCORE 85363.867
AT ITER 7252 NEW BEST:: SOT 3684004 SOS 2932623 HAS SOPS 1448000 HAS SOUS 228304 HAS SOUPS 82390 WITH SCORE 85322.623
AT ITER 7262 NEW BEST:: SOT 3683584 SOS 2932089 HAS SOPS 1447646 HAS SOUS 228244 HAS SOUPS 82330 WITH SCORE 85262.089
AT ITER 7263 NEW BEST:: SOT 3683604 SOS 2932229 HAS SOPS 1447666 HAS SOUS 228224 HAS SOUPS 82290 WITH SCORE 85222.229
AT ITER 7303 NEW BEST:: SOT 3683526 SOS 2930669 HAS SOPS 1448524 HAS SOUS 228176 HAS SOUPS 82242 WITH SCORE 85172.669
AT ITER 7325 NEW BEST:: SOT 3683550 SOS 2930775 HAS SOPS 1448456 HAS SOUS 228195 HAS SOUPS 82232 WITH SCORE 85162.775
AT ITER 7361 NEW BEST:: SOT 3683550 SOS 2930775 HAS SOPS 1448456 HAS SOUS 228177 HAS SOUPS 82214 WITH SCORE 85144.775
AT ITER 7374 NEW BEST:: SOT 3683550 SOS 2930775 HAS SOPS 1448456 HAS SOUS 228175 HAS SOUPS 82212 WITH SCORE 85142.775
AT ITER 7376 NEW BEST:: SOT 3684420 SOS 2931971 HAS SOPS 1448860 HAS SOUS 228075 HAS SOUPS 82081 WITH SCORE 85012.971
AT ITER 7385 NEW BEST:: SOT 3684304 SOS 2933247 HAS SOPS 1449440 HAS SOUS 228017 HAS SOUPS 82023 WITH SCORE 84956.247
AT ITER 7401 NEW BEST:: SOT 3684323 SOS 2933285 HAS SOPS 1449478 HAS SOUS 228016 HAS SOUPS 82022 WITH SCORE 84955.285
AT ITER 7402 NEW BEST:: SOT 3684323 SOS 2933285 HAS SOPS 1449478 HAS SOUS 227990 HAS SOUPS 81996 WITH SCORE 84929.285
AT ITER 7448 NEW BEST:: SOT 3684332 SOS 2933225 HAS SOPS 1449457 HAS SOUS 227984 HAS SOUPS 81990 WITH SCORE 84923.225
AT ITER 7450 NEW BEST:: SOT 3684403 SOS 2933367 HAS SOPS 1449599 HAS SOUS 227908 HAS SOUPS 81914 WITH SCORE 84847.367
AT ITER 7456 NEW BEST:: SOT 3684375 SOS 2933311 HAS SOPS 1449543 HAS SOUS 227908 HAS SOUPS 81914 WITH SCORE 84847.311
AT ITER 7463 NEW BEST:: SOT 3684362 SOS 2933423 HAS SOPS 1449517 HAS SOUS 227886 HAS SOUPS 81869 WITH SCORE 84802.423
AT ITER 7599 NEW BEST:: SOT 3684363 SOS 2934259 HAS SOPS 1449519 HAS SOUS 227979 HAS SOUPS 81823 WITH SCORE 84757.259
AT ITER 7617 NEW BEST:: SOT 3684235 SOS 2934835 HAS SOPS 1449711 HAS SOUS 227883 HAS SOUPS 81727 WITH SCORE 84661.835
AT ITER 7618 NEW BEST:: SOT 3684235 SOS 2934835 HAS SOPS 1449711 HAS SOUS 227847 HAS SOUPS 81691 WITH SCORE 84625.835
AT ITER 7706 NEW BEST:: SOT 3684241 SOS 2934847 HAS SOPS 1449723 HAS SOUS 227828 HAS SOUPS 81672 WITH SCORE 84606.847
AT ITER 7741 NEW BEST:: SOT 3684210 SOS 2934785 HAS SOPS 1449661 HAS SOUS 227803 HAS SOUPS 81647 WITH SCORE 84581.785
AT ITER 7814 NEW BEST:: SOT 3684210 SOS 2934785 HAS SOPS 1449661 HAS SOUS 227789 HAS SOUPS 81633 WITH SCORE 84567.785
AT ITER 7819 NEW BEST:: SOT 3684205 SOS 2934825 HAS SOPS 1449551 HAS SOUS 227809 HAS SOUPS 81628 WITH SCORE 84562.825
AT ITER 7832 NEW BEST:: SOT 3684205 SOS 2934825 HAS SOPS 1449551 HAS SOUS 227651 HAS SOUPS 81470 WITH SCORE 84404.825
AT ITER 7843 NEW BEST:: SOT 3684203 SOS 2934821 HAS SOPS 1449547 HAS SOUS 227649 HAS SOUPS 81468 WITH SCORE 84402.821
AT ITER 7847 NEW BEST:: SOT 3684191 SOS 2934293 HAS SOPS 1448947 HAS SOUS 227649 HAS SOUPS 81456 WITH SCORE 84390.293
AT ITER 7872 NEW BEST:: SOT 3684191 SOS 2934293 HAS SOPS 1448947 HAS SOUS 227561 HAS SOUPS 81368 WITH SCORE 84302.293
AT ITER 7876 NEW BEST:: SOT 3684031 SOS 2933507 HAS SOPS 1448521 HAS SOUS 227541 HAS SOUPS 81348 WITH SCORE 84281.507
AT ITER 7943 NEW BEST:: SOT 3684161 SOS 2933897 HAS SOPS 1448521 HAS SOUS 227476 HAS SOUPS 81218 WITH SCORE 84151.897
AT ITER 7947 NEW BEST:: SOT 3681858 SOS 2921662 HAS SOPS 1446901 HAS SOUS 227061 HAS SOUPS 80996 WITH SCORE 83917.662
AT ITER 7980 NEW BEST:: SOT 3681858 SOS 2921662 HAS SOPS 1446901 HAS SOUS 227055 HAS SOUPS 80990 WITH SCORE 83911.662
AT ITER 7983 NEW BEST:: SOT 3681858 SOS 2921662 HAS SOPS 1446901 HAS SOUS 227049 HAS SOUPS 80984 WITH SCORE 83905.662
AT ITER 8012 NEW BEST:: SOT 3681847 SOS 2921640 HAS SOPS 1446340 HAS SOUS 227060 HAS SOUPS 80984 WITH SCORE 83905.64
AT ITER 8059 NEW BEST:: SOT 3681828 SOS 2921602 HAS SOPS 1446302 HAS SOUS 226955 HAS SOUPS 80879 WITH SCORE 83800.602
AT ITER 8074 NEW BEST:: SOT 3681836 SOS 2921618 HAS SOPS 1446318 HAS SOUS 226859 HAS SOUPS 80783 WITH SCORE 83704.618
AT ITER 8087 NEW BEST:: SOT 3681836 SOS 2921562 HAS SOPS 1446262 HAS SOUS 226859 HAS SOUPS 80783 WITH SCORE 83704.562
AT ITER 8095 NEW BEST:: SOT 3681535 SOS 2920858 HAS SOPS 1445558 HAS SOUS 226783 HAS SOUPS 80707 WITH SCORE 83627.85800000001
AT ITER 8137 NEW BEST:: SOT 3681398 SOS 2921546 HAS SOPS 1445802 HAS SOUS 226683 HAS SOUPS 80607 WITH SCORE 83528.546
AT ITER 8157 NEW BEST:: SOT 3681398 SOS 2921546 HAS SOPS 1445802 HAS SOUS 226667 HAS SOUPS 80591 WITH SCORE 83512.546
AT ITER 8172 NEW BEST:: SOT 3681385 SOS 2921520 HAS SOPS 1445776 HAS SOUS 226654 HAS SOUPS 80578 WITH SCORE 83499.52
AT ITER 8234 NEW BEST:: SOT 3681373 SOS 2921568 HAS SOPS 1445752 HAS SOUS 226642 HAS SOUPS 80554 WITH SCORE 83475.568
AT ITER 8240 NEW BEST:: SOT 3681407 SOS 2921462 HAS SOPS 1445646 HAS SOUS 226628 HAS SOUPS 80540 WITH SCORE 83461.462
AT ITER 8254 NEW BEST:: SOT 3681407 SOS 2921462 HAS SOPS 1445646 HAS SOUS 226556 HAS SOUPS 80468 WITH SCORE 83389.462
AT ITER 8291 NEW BEST:: SOT 3681497 SOS 2921606 HAS SOPS 1445682 HAS SOUS 226556 HAS SOUPS 80459 WITH SCORE 83380.606
AT ITER 8313 NEW BEST:: SOT 3681497 SOS 2921606 HAS SOPS 1445682 HAS SOUS 226518 HAS SOUPS 80421 WITH SCORE 83342.606
AT ITER 8349 NEW BEST:: SOT 3681484 SOS 2921502 HAS SOPS 1445656 HAS SOUS 226491 HAS SOUPS 80407 WITH SCORE 83328.502
AT ITER 8357 NEW BEST:: SOT 3680466 SOS 2920028 HAS SOPS 1444992 HAS SOUS 226367 HAS SOUPS 80314 WITH SCORE 83234.028
AT ITER 8469 NEW BEST:: SOT 3683152 SOS 2923942 HAS SOPS 1446706 HAS SOUS 226348 HAS SOUPS 80221 WITH SCORE 83144.942
AT ITER 8528 NEW BEST:: SOT 3683166 SOS 2921570 HAS SOPS 1445234 HAS SOUS 226246 HAS SOUPS 80119 WITH SCORE 83040.57
AT ITER 8553 NEW BEST:: SOT 3683188 SOS 2921636 HAS SOPS 1445234 HAS SOUS 226246 HAS SOUPS 80108 WITH SCORE 83029.636
AT ITER 8554 NEW BEST:: SOT 3682820 SOS 2920622 HAS SOPS 1445054 HAS SOUS 226017 HAS SOUPS 80018 WITH SCORE 82938.622
AT ITER 8641 NEW BEST:: SOT 3682414 SOS 2919916 HAS SOPS 1444798 HAS SOUS 225885 HAS SOUPS 79961 WITH SCORE 82880.916
AT ITER 8665 NEW BEST:: SOT 3682349 SOS 2919754 HAS SOPS 1444732 HAS SOUS 225836 HAS SOUPS 79928 WITH SCORE 82847.754
AT ITER 8722 NEW BEST:: SOT 3682351 SOS 2919214 HAS SOPS 1444396 HAS SOUS 225806 HAS SOUPS 79898 WITH SCORE 82817.214
AT ITER 8740 NEW BEST:: SOT 3682350 SOS 2918962 HAS SOPS 1444144 HAS SOUS 225804 HAS SOUPS 79896 WITH SCORE 82814.962
AT ITER 8779 NEW BEST:: SOT 3682350 SOS 2918962 HAS SOPS 1444144 HAS SOUS 225776 HAS SOUPS 79868 WITH SCORE 82786.962
AT ITER 8780 NEW BEST:: SOT 3682350 SOS 2918962 HAS SOPS 1444144 HAS SOUS 225758 HAS SOUPS 79850 WITH SCORE 82768.962
AT ITER 8796 NEW BEST:: SOT 3683418 SOS 2920564 HAS SOPS 1444678 HAS SOUS 225669 HAS SOUPS 79672 WITH SCORE 82592.564
AT ITER 8997 NEW BEST:: SOT 3683321 SOS 2920467 HAS SOPS 1444581 HAS SOUS 225606 HAS SOUPS 79609 WITH SCORE 82529.467
AT ITER 9008 NEW BEST:: SOT 3683241 SOS 2920307 HAS SOPS 1444421 HAS SOUS 225605 HAS SOUPS 79608 WITH SCORE 82528.307
AT ITER 9056 NEW BEST:: SOT 3683221 SOS 2920247 HAS SOPS 1444421 HAS SOUS 225595 HAS SOUPS 79608 WITH SCORE 82528.247
AT ITER 9077 NEW BEST:: SOT 3683221 SOS 2920247 HAS SOPS 1444421 HAS SOUS 225593 HAS SOUPS 79606 WITH SCORE 82526.247
AT ITER 9095 NEW BEST:: SOT 3683236 SOS 2920352 HAS SOPS 1444436 HAS SOUS 225593 HAS SOUPS 79591 WITH SCORE 82511.352
AT ITER 9121 NEW BEST:: SOT 3683236 SOS 2920352 HAS SOPS 1444436 HAS SOUS 225553 HAS SOUPS 79551 WITH SCORE 82471.352
AT ITER 9248 NEW BEST:: SOT 3683235 SOS 2919438 HAS SOPS 1443954 HAS SOUS 225479 HAS SOUPS 79501 WITH SCORE 82420.438
AT ITER 9266 NEW BEST:: SOT 3683185 SOS 2919080 HAS SOPS 1443854 HAS SOUS 225343 HAS SOUPS 79408 WITH SCORE 82327.08
AT ITER 9291 NEW BEST:: SOT 3683101 SOS 2918912 HAS SOPS 1443686 HAS SOUS 225301 HAS SOUPS 79366 WITH SCORE 82284.912
AT ITER 9353 NEW BEST:: SOT 3683070 SOS 2918850 HAS SOPS 1443624 HAS SOUS 225291 HAS SOUPS 79356 WITH SCORE 82274.85
AT ITER 9365 NEW BEST:: SOT 3683070 SOS 2918850 HAS SOPS 1443624 HAS SOUS 225283 HAS SOUPS 79348 WITH SCORE 82266.85
AT ITER 9375 NEW BEST:: SOT 3683065 SOS 2918840 HAS SOPS 1443098 HAS SOUS 225364 HAS SOUPS 79343 WITH SCORE 82261.84
AT ITER 9398 NEW BEST:: SOT 3682987 SOS 2918652 HAS SOPS 1443006 HAS SOUS 225325 HAS SOUPS 79320 WITH SCORE 82238.652
AT ITER 9506 NEW BEST:: SOT 3683068 SOS 2918386 HAS SOPS 1442968 HAS SOUS 225320 HAS SOUPS 79315 WITH SCORE 82233.386
AT ITER 9512 NEW BEST:: SOT 3681882 SOS 2916545 HAS SOPS 1442255 HAS SOUS 225195 HAS SOUPS 79284 WITH SCORE 82200.545
AT ITER 9574 NEW BEST:: SOT 3681838 SOS 2917491 HAS SOPS 1442167 HAS SOUS 225173 HAS SOUPS 79240 WITH SCORE 82157.491
AT ITER 9595 NEW BEST:: SOT 3681837 SOS 2917489 HAS SOPS 1442159 HAS SOUS 225173 HAS SOUPS 79239 WITH SCORE 82156.489
AT ITER 9684 NEW BEST:: SOT 3680174 SOS 2915554 HAS SOPS 1441292 HAS SOUS 225167 HAS SOUPS 79233 WITH SCORE 82148.554
AT ITER 9731 NEW BEST:: SOT 3680181 SOS 2915344 HAS SOPS 1441166 HAS SOUS 225167 HAS SOUPS 79233 WITH SCORE 82148.344
AT ITER 9737 NEW BEST:: SOT 3680205 SOS 2915344 HAS SOPS 1441166 HAS SOUS 225155 HAS SOUPS 79221 WITH SCORE 82136.344
AT ITER 9744 NEW BEST:: SOT 3680397 SOS 2914480 HAS SOPS 1440878 HAS SOUS 225148 HAS SOUPS 79214 WITH SCORE 82128.48
AT ITER 9751 NEW BEST:: SOT 3680923 SOS 2915160 HAS SOPS 1441270 HAS SOUS 225144 HAS SOUPS 79210 WITH SCORE 82125.16
AT ITER 9756 NEW BEST:: SOT 3680923 SOS 2915160 HAS SOPS 1441270 HAS SOUS 225104 HAS SOUPS 79170 WITH SCORE 82085.16
AT ITER 9765 NEW BEST:: SOT 3681886 SOS 2916119 HAS SOPS 1441918 HAS SOUS 224937 HAS SOUPS 79087 WITH SCORE 82003.119
AT ITER 9770 NEW BEST:: SOT 3681886 SOS 2916119 HAS SOPS 1441918 HAS SOUS 224935 HAS SOUPS 79085 WITH SCORE 82001.119
AT ITER 9860 NEW BEST:: SOT 3681727 SOS 2915849 HAS SOPS 1441648 HAS SOUS 224886 HAS SOUPS 79036 WITH SCORE 81951.849
AT ITER 9973 NEW BEST:: SOT 3681541 SOS 2915319 HAS SOPS 1441592 HAS SOUS 224797 HAS SOUPS 79026 WITH SCORE 81941.319
AT ITER 9986 NEW BEST:: SOT 3681442 SOS 2894986 HAS SOPS 1425963 HAS SOUS 224695 HAS SOUPS 79020 WITH SCORE 81914.986

BK_STOP 1678388213775

--------------------
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
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 479 Killed ${SMART}/smart ${INPUT_SM}

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="DLCflexbar-PT-4a"
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 DLCflexbar-PT-4a, 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 r107-tall-167814484400544"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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