Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r138-smll-158961502600251.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is Raft-PT-06, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r138-smll-158961502600251
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 268K
-rw-r--r-- 1 mcc users 2.8K Apr 12 08:07 CTLCardinality.txt
-rw-r--r-- 1 mcc users 15K Apr 12 08:07 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 11 09:04 CTLFireability.txt
-rw-r--r-- 1 mcc users 22K Apr 11 09:04 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.8K Mar 24 05:38 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Apr 14 12:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 14 12:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.0K Apr 10 14:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Apr 10 14:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Apr 9 21:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 9 21:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Apr 10 22:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Apr 10 22:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 89K Mar 24 05:38 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME Raft-PT-06-CTLCardinality-00
FORMULA_NAME Raft-PT-06-CTLCardinality-01
FORMULA_NAME Raft-PT-06-CTLCardinality-02
FORMULA_NAME Raft-PT-06-CTLCardinality-03
FORMULA_NAME Raft-PT-06-CTLCardinality-04
FORMULA_NAME Raft-PT-06-CTLCardinality-05
FORMULA_NAME Raft-PT-06-CTLCardinality-06
FORMULA_NAME Raft-PT-06-CTLCardinality-07
FORMULA_NAME Raft-PT-06-CTLCardinality-08
FORMULA_NAME Raft-PT-06-CTLCardinality-09
FORMULA_NAME Raft-PT-06-CTLCardinality-10
FORMULA_NAME Raft-PT-06-CTLCardinality-11
FORMULA_NAME Raft-PT-06-CTLCardinality-12
FORMULA_NAME Raft-PT-06-CTLCardinality-13
FORMULA_NAME Raft-PT-06-CTLCardinality-14
FORMULA_NAME Raft-PT-06-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589799839106

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Raft (PT), instance 06
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 188 places, 332 transitions, 1231 arcs.
AT ITER 0 NEW BEST:: SOT 54322 SOS 35622 HAS SOPS 35598 HAS SOUS 28141 HAS SOUPS 28135 WITH SCORE 28170.622
AT ITER 1 NEW BEST:: SOT 54322 SOS 35559 HAS SOPS 35535 HAS SOUS 28110 HAS SOUPS 28104 WITH SCORE 28139.559
AT ITER 2 NEW BEST:: SOT 54322 SOS 35509 HAS SOPS 35485 HAS SOUS 28110 HAS SOUPS 28104 WITH SCORE 28139.509
AT ITER 4 NEW BEST:: SOT 52514 SOS 33588 HAS SOPS 33558 HAS SOUS 26300 HAS SOUPS 26290 WITH SCORE 26323.588
AT ITER 5 NEW BEST:: SOT 52434 SOS 33493 HAS SOPS 33456 HAS SOUS 26204 HAS SOUPS 26188 WITH SCORE 26221.493
AT ITER 7 NEW BEST:: SOT 52443 SOS 33495 HAS SOPS 33426 HAS SOUS 26200 HAS SOUPS 26153 WITH SCORE 26186.495
AT ITER 9 NEW BEST:: SOT 52443 SOS 33500 HAS SOPS 33431 HAS SOUS 26195 HAS SOUPS 26148 WITH SCORE 26181.5
AT ITER 13 NEW BEST:: SOT 51401 SOS 33317 HAS SOPS 32686 HAS SOUS 25801 HAS SOUPS 25656 WITH SCORE 25689.317
AT ITER 14 NEW BEST:: SOT 51401 SOS 33317 HAS SOPS 32657 HAS SOUS 25778 HAS SOUPS 25633 WITH SCORE 25666.317
AT ITER 15 NEW BEST:: SOT 51401 SOS 33288 HAS SOPS 32628 HAS SOUS 25778 HAS SOUPS 25633 WITH SCORE 25666.288
AT ITER 16 NEW BEST:: SOT 51401 SOS 33144 HAS SOPS 32484 HAS SOUS 25754 HAS SOUPS 25609 WITH SCORE 25642.144
AT ITER 21 NEW BEST:: SOT 51401 SOS 32903 HAS SOPS 32251 HAS SOUS 25754 HAS SOUPS 25609 WITH SCORE 25641.903
AT ITER 22 NEW BEST:: SOT 51401 SOS 32903 HAS SOPS 32190 HAS SOUS 25732 HAS SOUPS 25587 WITH SCORE 25619.903
AT ITER 23 NEW BEST:: SOT 51135 SOS 32622 HAS SOPS 31832 HAS SOUS 25403 HAS SOUPS 25229 WITH SCORE 25261.622
AT ITER 24 NEW BEST:: SOT 50844 SOS 32524 HAS SOPS 31815 HAS SOUS 25293 HAS SOUPS 25115 WITH SCORE 25147.524
AT ITER 25 NEW BEST:: SOT 50834 SOS 32595 HAS SOPS 31800 HAS SOUS 25275 HAS SOUPS 25101 WITH SCORE 25133.595
AT ITER 28 NEW BEST:: SOT 50834 SOS 32484 HAS SOPS 31689 HAS SOUS 25275 HAS SOUPS 25101 WITH SCORE 25133.484
AT ITER 29 NEW BEST:: SOT 50834 SOS 32444 HAS SOPS 31657 HAS SOUS 25275 HAS SOUPS 25101 WITH SCORE 25133.444
AT ITER 32 NEW BEST:: SOT 50090 SOS 32972 HAS SOPS 31123 HAS SOUS 24994 HAS SOUPS 24750 WITH SCORE 24782.972
AT ITER 33 NEW BEST:: SOT 49760 SOS 32845 HAS SOPS 30996 HAS SOUS 24713 HAS SOUPS 24469 WITH SCORE 24501.845
AT ITER 35 NEW BEST:: SOT 49719 SOS 32804 HAS SOPS 30955 HAS SOUS 24672 HAS SOUPS 24428 WITH SCORE 24460.804
AT ITER 37 NEW BEST:: SOT 49719 SOS 32804 HAS SOPS 30955 HAS SOUS 24671 HAS SOUPS 24427 WITH SCORE 24459.804
AT ITER 39 NEW BEST:: SOT 48861 SOS 33084 HAS SOPS 30361 HAS SOUS 24328 HAS SOUPS 23998 WITH SCORE 24031.084
AT ITER 45 NEW BEST:: SOT 48495 SOS 32718 HAS SOPS 30053 HAS SOUS 23983 HAS SOUPS 23653 WITH SCORE 23685.718
AT ITER 52 NEW BEST:: SOT 48495 SOS 32682 HAS SOPS 30053 HAS SOUS 23968 HAS SOUPS 23638 WITH SCORE 23670.682
AT ITER 54 NEW BEST:: SOT 48429 SOS 32503 HAS SOPS 29841 HAS SOUS 23868 HAS SOUPS 23538 WITH SCORE 23570.503
AT ITER 55 NEW BEST:: SOT 47498 SOS 33856 HAS SOPS 29392 HAS SOUS 23897 HAS SOUPS 23440 WITH SCORE 23473.856
AT ITER 57 NEW BEST:: SOT 46970 SOS 33270 HAS SOPS 29062 HAS SOUS 23531 HAS SOUPS 23074 WITH SCORE 23107.27
AT ITER 60 NEW BEST:: SOT 46574 SOS 32874 HAS SOPS 28578 HAS SOUS 23001 HAS SOUPS 22537 WITH SCORE 22569.874
AT ITER 61 NEW BEST:: SOT 46574 SOS 32839 HAS SOPS 28578 HAS SOUS 23001 HAS SOUPS 22537 WITH SCORE 22569.839
AT ITER 64 NEW BEST:: SOT 46274 SOS 32539 HAS SOPS 28275 HAS SOUS 22696 HAS SOUPS 22229 WITH SCORE 22261.539
AT ITER 65 NEW BEST:: SOT 45846 SOS 32067 HAS SOPS 27867 HAS SOUS 22307 HAS SOUPS 21821 WITH SCORE 21853.067
AT ITER 66 NEW BEST:: SOT 45846 SOS 31900 HAS SOPS 27700 HAS SOUS 22294 HAS SOUPS 21808 WITH SCORE 21839.9
AT ITER 73 NEW BEST:: SOT 45556 SOS 31789 HAS SOPS 27695 HAS SOUS 22182 HAS SOUPS 21685 WITH SCORE 21716.789
AT ITER 74 NEW BEST:: SOT 45249 SOS 31697 HAS SOPS 27657 HAS SOUS 22006 HAS SOUPS 21509 WITH SCORE 21540.697
AT ITER 76 NEW BEST:: SOT 45279 SOS 31669 HAS SOPS 27491 HAS SOUS 21911 HAS SOUPS 21414 WITH SCORE 21445.669
AT ITER 77 NEW BEST:: SOT 45216 SOS 31528 HAS SOPS 27350 HAS SOUS 21781 HAS SOUPS 21284 WITH SCORE 21315.528
AT ITER 79 NEW BEST:: SOT 45216 SOS 31471 HAS SOPS 27350 HAS SOUS 21740 HAS SOUPS 21243 WITH SCORE 21274.471
AT ITER 85 NEW BEST:: SOT 45068 SOS 31323 HAS SOPS 27276 HAS SOUS 21648 HAS SOUPS 21168 WITH SCORE 21199.323
AT ITER 86 NEW BEST:: SOT 45145 SOS 30963 HAS SOPS 26916 HAS SOUS 21607 HAS SOUPS 21127 WITH SCORE 21157.963
AT ITER 87 NEW BEST:: SOT 44790 SOS 30647 HAS SOPS 26493 HAS SOUS 21177 HAS SOUPS 20692 WITH SCORE 20722.647
AT ITER 89 NEW BEST:: SOT 44790 SOS 30634 HAS SOPS 26486 HAS SOUS 21177 HAS SOUPS 20692 WITH SCORE 20722.634
AT ITER 90 NEW BEST:: SOT 44790 SOS 30298 HAS SOPS 26232 HAS SOUS 21111 HAS SOUPS 20626 WITH SCORE 20656.298
AT ITER 92 NEW BEST:: SOT 44468 SOS 29976 HAS SOPS 25977 HAS SOUS 20856 HAS SOUPS 20371 WITH SCORE 20400.976
AT ITER 93 NEW BEST:: SOT 44332 SOS 29856 HAS SOPS 25822 HAS SOUS 20668 HAS SOUPS 20174 WITH SCORE 20203.856
AT ITER 98 NEW BEST:: SOT 44024 SOS 29464 HAS SOPS 25490 HAS SOUS 20370 HAS SOUPS 19868 WITH SCORE 19897.464
AT ITER 101 NEW BEST:: SOT 43744 SOS 29250 HAS SOPS 25156 HAS SOUS 20083 HAS SOUPS 19587 WITH SCORE 19616.25
AT ITER 103 NEW BEST:: SOT 43570 SOS 29076 HAS SOPS 24982 HAS SOUS 19909 HAS SOUPS 19413 WITH SCORE 19442.076
AT ITER 106 NEW BEST:: SOT 43001 SOS 28625 HAS SOPS 24591 HAS SOUS 19422 HAS SOUPS 18938 WITH SCORE 18966.625
AT ITER 111 NEW BEST:: SOT 43025 SOS 28589 HAS SOPS 24559 HAS SOUS 19390 HAS SOUPS 18906 WITH SCORE 18934.589
AT ITER 113 NEW BEST:: SOT 42826 SOS 28360 HAS SOPS 24361 HAS SOUS 19164 HAS SOUPS 18688 WITH SCORE 18716.36
AT ITER 115 NEW BEST:: SOT 42836 SOS 28203 HAS SOPS 24204 HAS SOUS 19084 HAS SOUPS 18608 WITH SCORE 18636.203
AT ITER 119 NEW BEST:: SOT 42782 SOS 28127 HAS SOPS 24074 HAS SOUS 18976 HAS SOUPS 18500 WITH SCORE 18528.127
AT ITER 123 NEW BEST:: SOT 42595 SOS 27920 HAS SOPS 23789 HAS SOUS 18714 HAS SOUPS 18238 WITH SCORE 18265.92
AT ITER 126 NEW BEST:: SOT 42595 SOS 27566 HAS SOPS 23485 HAS SOUS 18714 HAS SOUPS 18238 WITH SCORE 18265.566
AT ITER 127 NEW BEST:: SOT 42566 SOS 27537 HAS SOPS 23427 HAS SOUS 18656 HAS SOUPS 18180 WITH SCORE 18207.537
AT ITER 128 NEW BEST:: SOT 42566 SOS 27383 HAS SOPS 23273 HAS SOUS 18633 HAS SOUPS 18157 WITH SCORE 18184.383
AT ITER 130 NEW BEST:: SOT 42476 SOS 27293 HAS SOPS 23183 HAS SOUS 18543 HAS SOUPS 18067 WITH SCORE 18094.293
AT ITER 131 NEW BEST:: SOT 42479 SOS 27109 HAS SOPS 22999 HAS SOUS 18543 HAS SOUPS 18067 WITH SCORE 18094.109
AT ITER 132 NEW BEST:: SOT 42477 SOS 27131 HAS SOPS 23014 HAS SOUS 18540 HAS SOUPS 18064 WITH SCORE 18091.131
AT ITER 134 NEW BEST:: SOT 42484 SOS 26968 HAS SOPS 22874 HAS SOUS 18501 HAS SOUPS 18025 WITH SCORE 18051.968
AT ITER 139 NEW BEST:: SOT 42484 SOS 26968 HAS SOPS 22874 HAS SOUS 18500 HAS SOUPS 18024 WITH SCORE 18050.968
AT ITER 140 NEW BEST:: SOT 42116 SOS 26600 HAS SOPS 22460 HAS SOUS 18044 HAS SOUPS 17568 WITH SCORE 17594.6
AT ITER 145 NEW BEST:: SOT 42063 SOS 26360 HAS SOPS 22220 HAS SOUS 17934 HAS SOUPS 17458 WITH SCORE 17484.36
AT ITER 147 NEW BEST:: SOT 41787 SOS 26157 HAS SOPS 22131 HAS SOUS 17749 HAS SOUPS 17273 WITH SCORE 17299.157
AT ITER 148 NEW BEST:: SOT 41699 SOS 26069 HAS SOPS 21999 HAS SOUS 17587 HAS SOUPS 17111 WITH SCORE 17137.069
AT ITER 149 NEW BEST:: SOT 41603 SOS 25973 HAS SOPS 21927 HAS SOUS 17497 HAS SOUPS 17039 WITH SCORE 17064.973
AT ITER 150 NEW BEST:: SOT 40350 SOS 27173 HAS SOPS 21624 HAS SOUS 17035 HAS SOUPS 16454 WITH SCORE 16481.173
AT ITER 159 NEW BEST:: SOT 40340 SOS 27163 HAS SOPS 21629 HAS SOUS 17030 HAS SOUPS 16449 WITH SCORE 16476.163
AT ITER 160 NEW BEST:: SOT 40276 SOS 27099 HAS SOPS 21597 HAS SOUS 16982 HAS SOUPS 16401 WITH SCORE 16428.099
AT ITER 161 NEW BEST:: SOT 40315 SOS 26886 HAS SOPS 21169 HAS SOUS 16866 HAS SOUPS 16285 WITH SCORE 16311.886
AT ITER 163 NEW BEST:: SOT 40315 SOS 26885 HAS SOPS 21168 HAS SOUS 16866 HAS SOUPS 16285 WITH SCORE 16311.885
AT ITER 167 NEW BEST:: SOT 40315 SOS 26885 HAS SOPS 21168 HAS SOUS 16853 HAS SOUPS 16272 WITH SCORE 16298.885
AT ITER 172 NEW BEST:: SOT 40315 SOS 26885 HAS SOPS 21168 HAS SOUS 16819 HAS SOUPS 16238 WITH SCORE 16264.885
AT ITER 175 NEW BEST:: SOT 40209 SOS 26674 HAS SOPS 20966 HAS SOUS 16623 HAS SOUPS 16042 WITH SCORE 16068.674
AT ITER 177 NEW BEST:: SOT 40209 SOS 26670 HAS SOPS 20917 HAS SOUS 16623 HAS SOUPS 16042 WITH SCORE 16068.67
AT ITER 183 NEW BEST:: SOT 40101 SOS 26901 HAS SOPS 20924 HAS SOUS 16593 HAS SOUPS 15999 WITH SCORE 16025.901
AT ITER 184 NEW BEST:: SOT 39917 SOS 26740 HAS SOPS 20763 HAS SOUS 16445 HAS SOUPS 15851 WITH SCORE 15877.74
AT ITER 186 NEW BEST:: SOT 39953 SOS 26755 HAS SOPS 20813 HAS SOUS 16395 HAS SOUPS 15801 WITH SCORE 15827.755
AT ITER 208 NEW BEST:: SOT 39953 SOS 26731 HAS SOPS 20789 HAS SOUS 16395 HAS SOUPS 15801 WITH SCORE 15827.731
AT ITER 212 NEW BEST:: SOT 39935 SOS 26713 HAS SOPS 20753 HAS SOUS 16374 HAS SOUPS 15771 WITH SCORE 15797.713
AT ITER 222 NEW BEST:: SOT 39998 SOS 26628 HAS SOPS 20731 HAS SOUS 16349 HAS SOUPS 15746 WITH SCORE 15772.628
AT ITER 230 NEW BEST:: SOT 40020 SOS 26415 HAS SOPS 20389 HAS SOUS 16276 HAS SOUPS 15673 WITH SCORE 15699.415
AT ITER 231 NEW BEST:: SOT 40020 SOS 26441 HAS SOPS 20350 HAS SOUS 16237 HAS SOUPS 15634 WITH SCORE 15660.441
AT ITER 233 NEW BEST:: SOT 40016 SOS 26437 HAS SOPS 20344 HAS SOUS 16207 HAS SOUPS 15604 WITH SCORE 15630.437
AT ITER 235 NEW BEST:: SOT 40016 SOS 26432 HAS SOPS 20344 HAS SOUS 16207 HAS SOUPS 15604 WITH SCORE 15630.432
AT ITER 239 NEW BEST:: SOT 39998 SOS 26414 HAS SOPS 20326 HAS SOUS 16189 HAS SOUPS 15586 WITH SCORE 15612.414
AT ITER 242 NEW BEST:: SOT 39958 SOS 26374 HAS SOPS 20122 HAS SOUS 16114 HAS SOUPS 15511 WITH SCORE 15537.374
AT ITER 244 NEW BEST:: SOT 40014 SOS 26430 HAS SOPS 20040 HAS SOUS 16013 HAS SOUPS 15410 WITH SCORE 15436.43
AT ITER 245 NEW BEST:: SOT 39849 SOS 26839 HAS SOPS 20020 HAS SOUS 15974 HAS SOUPS 15353 WITH SCORE 15379.839
AT ITER 249 NEW BEST:: SOT 39736 SOS 26724 HAS SOPS 19849 HAS SOUS 15816 HAS SOUPS 15195 WITH SCORE 15221.724
AT ITER 257 NEW BEST:: SOT 39854 SOS 26212 HAS SOPS 19337 HAS SOUS 15678 HAS SOUPS 15057 WITH SCORE 15083.212
AT ITER 258 NEW BEST:: SOT 39559 SOS 27776 HAS SOPS 19626 HAS SOUS 15707 HAS SOUPS 15032 WITH SCORE 15059.776
AT ITER 261 NEW BEST:: SOT 39350 SOS 27567 HAS SOPS 19577 HAS SOUS 15576 HAS SOUPS 14901 WITH SCORE 14928.567
AT ITER 264 NEW BEST:: SOT 39350 SOS 27560 HAS SOPS 19577 HAS SOUS 15576 HAS SOUPS 14901 WITH SCORE 14928.56
AT ITER 271 NEW BEST:: SOT 39350 SOS 27554 HAS SOPS 19565 HAS SOUS 15576 HAS SOUPS 14901 WITH SCORE 14928.554
AT ITER 282 NEW BEST:: SOT 39335 SOS 27565 HAS SOPS 19576 HAS SOUS 15574 HAS SOUPS 14899 WITH SCORE 14926.565
AT ITER 295 NEW BEST:: SOT 39058 SOS 27205 HAS SOPS 19216 HAS SOUS 15307 HAS SOUPS 14632 WITH SCORE 14659.205
AT ITER 299 NEW BEST:: SOT 38705 SOS 26841 HAS SOPS 18841 HAS SOUS 15047 HAS SOUPS 14372 WITH SCORE 14398.841
AT ITER 301 NEW BEST:: SOT 38699 SOS 26835 HAS SOPS 18832 HAS SOUS 15041 HAS SOUPS 14366 WITH SCORE 14392.835
AT ITER 306 NEW BEST:: SOT 38571 SOS 26691 HAS SOPS 18628 HAS SOUS 14844 HAS SOUPS 14169 WITH SCORE 14195.691
AT ITER 309 NEW BEST:: SOT 38419 SOS 26607 HAS SOPS 18632 HAS SOUS 14716 HAS SOUPS 14069 WITH SCORE 14095.607
AT ITER 311 NEW BEST:: SOT 38356 SOS 26548 HAS SOPS 18503 HAS SOUS 14506 HAS SOUPS 13859 WITH SCORE 13885.548
AT ITER 337 NEW BEST:: SOT 38356 SOS 26544 HAS SOPS 18517 HAS SOUS 14506 HAS SOUPS 13859 WITH SCORE 13885.544
AT ITER 341 NEW BEST:: SOT 38311 SOS 26472 HAS SOPS 18463 HAS SOUS 14452 HAS SOUPS 13805 WITH SCORE 13831.472
AT ITER 348 NEW BEST:: SOT 38168 SOS 26329 HAS SOPS 18349 HAS SOUS 14308 HAS SOUPS 13668 WITH SCORE 13694.329
AT ITER 349 NEW BEST:: SOT 38132 SOS 26293 HAS SOPS 18321 HAS SOUS 14281 HAS SOUPS 13641 WITH SCORE 13667.293
AT ITER 359 NEW BEST:: SOT 38132 SOS 26278 HAS SOPS 18305 HAS SOUS 14281 HAS SOUPS 13641 WITH SCORE 13667.278
AT ITER 363 NEW BEST:: SOT 38098 SOS 26217 HAS SOPS 18244 HAS SOUS 14234 HAS SOUPS 13594 WITH SCORE 13620.217
AT ITER 365 NEW BEST:: SOT 38067 SOS 26186 HAS SOPS 18205 HAS SOUS 14187 HAS SOUPS 13547 WITH SCORE 13573.186
AT ITER 375 NEW BEST:: SOT 38067 SOS 26183 HAS SOPS 18202 HAS SOUS 14178 HAS SOUPS 13538 WITH SCORE 13564.183
AT ITER 377 NEW BEST:: SOT 37970 SOS 26091 HAS SOPS 18076 HAS SOUS 14085 HAS SOUPS 13445 WITH SCORE 13471.091
AT ITER 380 NEW BEST:: SOT 37937 SOS 26031 HAS SOPS 17978 HAS SOUS 14052 HAS SOUPS 13412 WITH SCORE 13438.031
AT ITER 382 NEW BEST:: SOT 37892 SOS 26121 HAS SOPS 17953 HAS SOUS 14037 HAS SOUPS 13392 WITH SCORE 13418.121
AT ITER 386 NEW BEST:: SOT 37871 SOS 26092 HAS SOPS 17924 HAS SOUS 14034 HAS SOUPS 13389 WITH SCORE 13415.092
AT ITER 391 NEW BEST:: SOT 37751 SOS 25969 HAS SOPS 17806 HAS SOUS 13900 HAS SOUPS 13255 WITH SCORE 13280.969
AT ITER 393 NEW BEST:: SOT 37575 SOS 25793 HAS SOPS 17768 HAS SOUS 13863 HAS SOUPS 13218 WITH SCORE 13243.793
AT ITER 395 NEW BEST:: SOT 37523 SOS 25741 HAS SOPS 17720 HAS SOUS 13809 HAS SOUPS 13169 WITH SCORE 13194.741
AT ITER 398 NEW BEST:: SOT 37564 SOS 25782 HAS SOPS 17707 HAS SOUS 13796 HAS SOUPS 13156 WITH SCORE 13181.782
AT ITER 399 NEW BEST:: SOT 37550 SOS 25759 HAS SOPS 17688 HAS SOUS 13775 HAS SOUPS 13135 WITH SCORE 13160.759
AT ITER 411 NEW BEST:: SOT 37550 SOS 25700 HAS SOPS 17629 HAS SOUS 13775 HAS SOUPS 13135 WITH SCORE 13160.7
AT ITER 416 NEW BEST:: SOT 37508 SOS 25658 HAS SOPS 17593 HAS SOUS 13712 HAS SOUPS 13072 WITH SCORE 13097.658
AT ITER 417 NEW BEST:: SOT 37504 SOS 25654 HAS SOPS 17589 HAS SOUS 13696 HAS SOUPS 13056 WITH SCORE 13081.654
AT ITER 418 NEW BEST:: SOT 37486 SOS 25636 HAS SOPS 17553 HAS SOUS 13647 HAS SOUPS 13007 WITH SCORE 13032.636
AT ITER 420 NEW BEST:: SOT 37312 SOS 25462 HAS SOPS 17397 HAS SOUS 13504 HAS SOUPS 12869 WITH SCORE 12894.462
AT ITER 425 NEW BEST:: SOT 36547 SOS 25068 HAS SOPS 16838 HAS SOUS 12953 HAS SOUPS 12285 WITH SCORE 12310.068
AT ITER 435 NEW BEST:: SOT 36547 SOS 25062 HAS SOPS 16837 HAS SOUS 12953 HAS SOUPS 12285 WITH SCORE 12310.062
AT ITER 436 NEW BEST:: SOT 36504 SOS 24999 HAS SOPS 16774 HAS SOUS 12894 HAS SOUPS 12226 WITH SCORE 12250.999
AT ITER 437 NEW BEST:: SOT 36484 SOS 24979 HAS SOPS 16744 HAS SOUS 12848 HAS SOUPS 12180 WITH SCORE 12204.979
AT ITER 439 NEW BEST:: SOT 36504 SOS 24960 HAS SOPS 16725 HAS SOUS 12848 HAS SOUPS 12180 WITH SCORE 12204.96
AT ITER 442 NEW BEST:: SOT 36408 SOS 24901 HAS SOPS 16533 HAS SOUS 12711 HAS SOUPS 12038 WITH SCORE 12062.901
AT ITER 444 NEW BEST:: SOT 36265 SOS 24931 HAS SOPS 16798 HAS SOUS 12646 HAS SOUPS 11973 WITH SCORE 11997.931
AT ITER 448 NEW BEST:: SOT 36253 SOS 24855 HAS SOPS 16722 HAS SOUS 12634 HAS SOUPS 11961 WITH SCORE 11985.855
AT ITER 449 NEW BEST:: SOT 36059 SOS 24674 HAS SOPS 16667 HAS SOUS 12590 HAS SOUPS 11917 WITH SCORE 11941.674
AT ITER 451 NEW BEST:: SOT 36050 SOS 24665 HAS SOPS 16658 HAS SOUS 12535 HAS SOUPS 11862 WITH SCORE 11886.665
AT ITER 460 NEW BEST:: SOT 36002 SOS 24443 HAS SOPS 16451 HAS SOUS 12266 HAS SOUPS 11593 WITH SCORE 11617.443
AT ITER 461 NEW BEST:: SOT 35781 SOS 24343 HAS SOPS 16426 HAS SOUS 12179 HAS SOUPS 11506 WITH SCORE 11530.343
AT ITER 471 NEW BEST:: SOT 35781 SOS 24343 HAS SOPS 16426 HAS SOUS 12172 HAS SOUPS 11499 WITH SCORE 11523.343
AT ITER 476 NEW BEST:: SOT 35781 SOS 24343 HAS SOPS 16426 HAS SOUS 12151 HAS SOUPS 11478 WITH SCORE 11502.343
AT ITER 478 NEW BEST:: SOT 35749 SOS 24297 HAS SOPS 16378 HAS SOUS 12135 HAS SOUPS 11462 WITH SCORE 11486.297
AT ITER 480 NEW BEST:: SOT 35763 SOS 24246 HAS SOPS 16275 HAS SOUS 12096 HAS SOUPS 11423 WITH SCORE 11447.246
AT ITER 484 NEW BEST:: SOT 35725 SOS 24209 HAS SOPS 16196 HAS SOUS 12062 HAS SOUPS 11389 WITH SCORE 11413.209
AT ITER 501 NEW BEST:: SOT 35725 SOS 24209 HAS SOPS 16196 HAS SOUS 12052 HAS SOUPS 11379 WITH SCORE 11403.209
AT ITER 503 NEW BEST:: SOT 35698 SOS 24176 HAS SOPS 16163 HAS SOUS 12043 HAS SOUPS 11370 WITH SCORE 11394.176
AT ITER 505 NEW BEST:: SOT 35642 SOS 24120 HAS SOPS 16107 HAS SOUS 11979 HAS SOUPS 11306 WITH SCORE 11330.12
AT ITER 506 NEW BEST:: SOT 35512 SOS 23990 HAS SOPS 15912 HAS SOUS 11805 HAS SOUPS 11132 WITH SCORE 11155.99
AT ITER 509 NEW BEST:: SOT 35333 SOS 23773 HAS SOPS 15783 HAS SOUS 11655 HAS SOUPS 10982 WITH SCORE 11005.773
AT ITER 517 NEW BEST:: SOT 35301 SOS 23736 HAS SOPS 15780 HAS SOUS 11649 HAS SOUPS 10976 WITH SCORE 10999.736
AT ITER 520 NEW BEST:: SOT 35301 SOS 23723 HAS SOPS 15778 HAS SOUS 11649 HAS SOUPS 10976 WITH SCORE 10999.723
AT ITER 521 NEW BEST:: SOT 35301 SOS 23723 HAS SOPS 15778 HAS SOUS 11645 HAS SOUPS 10972 WITH SCORE 10995.723
AT ITER 540 NEW BEST:: SOT 35301 SOS 23723 HAS SOPS 15778 HAS SOUS 11638 HAS SOUPS 10965 WITH SCORE 10988.723
AT ITER 548 NEW BEST:: SOT 35293 SOS 23715 HAS SOPS 15762 HAS SOUS 11622 HAS SOUPS 10945 WITH SCORE 10968.715
AT ITER 550 NEW BEST:: SOT 35290 SOS 23683 HAS SOPS 15730 HAS SOUS 11593 HAS SOUPS 10916 WITH SCORE 10939.683
AT ITER 555 NEW BEST:: SOT 35068 SOS 23461 HAS SOPS 15507 HAS SOUS 11319 HAS SOUPS 10642 WITH SCORE 10665.461
AT ITER 562 NEW BEST:: SOT 35088 SOS 23481 HAS SOPS 15537 HAS SOUS 11331 HAS SOUPS 10636 WITH SCORE 10659.481
AT ITER 567 NEW BEST:: SOT 35053 SOS 23446 HAS SOPS 15502 HAS SOUS 11317 HAS SOUPS 10622 WITH SCORE 10645.446
AT ITER 574 NEW BEST:: SOT 35021 SOS 23415 HAS SOPS 15471 HAS SOUS 11287 HAS SOUPS 10592 WITH SCORE 10615.415
AT ITER 585 NEW BEST:: SOT 34989 SOS 23391 HAS SOPS 15444 HAS SOUS 11212 HAS SOUPS 10517 WITH SCORE 10540.391
AT ITER 598 NEW BEST:: SOT 34988 SOS 23489 HAS SOPS 15591 HAS SOUS 11211 HAS SOUPS 10516 WITH SCORE 10539.489
AT ITER 601 NEW BEST:: SOT 34988 SOS 23489 HAS SOPS 15591 HAS SOUS 11204 HAS SOUPS 10509 WITH SCORE 10532.489
AT ITER 604 NEW BEST:: SOT 34999 SOS 23494 HAS SOPS 15548 HAS SOUS 11161 HAS SOUPS 10466 WITH SCORE 10489.494
AT ITER 608 NEW BEST:: SOT 34987 SOS 23482 HAS SOPS 15530 HAS SOUS 11143 HAS SOUPS 10448 WITH SCORE 10471.482
AT ITER 611 NEW BEST:: SOT 34933 SOS 23428 HAS SOPS 15431 HAS SOUS 11079 HAS SOUPS 10384 WITH SCORE 10407.428
AT ITER 618 NEW BEST:: SOT 34933 SOS 23428 HAS SOPS 15431 HAS SOUS 11078 HAS SOUPS 10383 WITH SCORE 10406.428
AT ITER 619 NEW BEST:: SOT 34904 SOS 23325 HAS SOPS 15382 HAS SOUS 11037 HAS SOUPS 10342 WITH SCORE 10365.325
AT ITER 622 NEW BEST:: SOT 34904 SOS 23309 HAS SOPS 15366 HAS SOUS 11013 HAS SOUPS 10318 WITH SCORE 10341.309
AT ITER 623 NEW BEST:: SOT 34894 SOS 23299 HAS SOPS 15357 HAS SOUS 11004 HAS SOUPS 10309 WITH SCORE 10332.299
AT ITER 627 NEW BEST:: SOT 34886 SOS 23291 HAS SOPS 15351 HAS SOUS 10996 HAS SOUPS 10301 WITH SCORE 10324.291
AT ITER 628 NEW BEST:: SOT 34850 SOS 23253 HAS SOPS 15313 HAS SOUS 10958 HAS SOUPS 10263 WITH SCORE 10286.253
AT ITER 630 NEW BEST:: SOT 34789 SOS 23610 HAS SOPS 15410 HAS SOUS 10962 HAS SOUPS 10257 WITH SCORE 10280.61
AT ITER 632 NEW BEST:: SOT 34788 SOS 23608 HAS SOPS 15407 HAS SOUS 10961 HAS SOUPS 10256 WITH SCORE 10279.608
AT ITER 634 NEW BEST:: SOT 34792 SOS 23612 HAS SOPS 15397 HAS SOUS 10955 HAS SOUPS 10250 WITH SCORE 10273.612
AT ITER 637 NEW BEST:: SOT 34815 SOS 23653 HAS SOPS 15438 HAS SOUS 10946 HAS SOUPS 10241 WITH SCORE 10264.653
AT ITER 640 NEW BEST:: SOT 34795 SOS 23633 HAS SOPS 15408 HAS SOUS 10932 HAS SOUPS 10227 WITH SCORE 10250.633
AT ITER 642 NEW BEST:: SOT 34786 SOS 23615 HAS SOPS 15381 HAS SOUS 10923 HAS SOUPS 10218 WITH SCORE 10241.615
AT ITER 647 NEW BEST:: SOT 34786 SOS 23613 HAS SOPS 15379 HAS SOUS 10923 HAS SOUPS 10218 WITH SCORE 10241.613
AT ITER 652 NEW BEST:: SOT 34776 SOS 23570 HAS SOPS 15364 HAS SOUS 10908 HAS SOUPS 10203 WITH SCORE 10226.57
AT ITER 656 NEW BEST:: SOT 34758 SOS 23549 HAS SOPS 15334 HAS SOUS 10881 HAS SOUPS 10176 WITH SCORE 10199.549
AT ITER 657 NEW BEST:: SOT 34660 SOS 23558 HAS SOPS 15362 HAS SOUS 10803 HAS SOUPS 10098 WITH SCORE 10121.558
AT ITER 665 NEW BEST:: SOT 34660 SOS 23545 HAS SOPS 15349 HAS SOUS 10780 HAS SOUPS 10075 WITH SCORE 10098.545
AT ITER 671 NEW BEST:: SOT 34684 SOS 23569 HAS SOPS 15329 HAS SOUS 10774 HAS SOUPS 10069 WITH SCORE 10092.569
AT ITER 699 NEW BEST:: SOT 34361 SOS 24821 HAS SOPS 15524 HAS SOUS 10748 HAS SOUPS 10000 WITH SCORE 10024.821
AT ITER 704 NEW BEST:: SOT 34329 SOS 24773 HAS SOPS 15460 HAS SOUS 10698 HAS SOUPS 9950 WITH SCORE 9974.773
AT ITER 715 NEW BEST:: SOT 34344 SOS 24805 HAS SOPS 15468 HAS SOUS 10658 HAS SOUPS 9910 WITH SCORE 9934.805
AT ITER 721 NEW BEST:: SOT 34344 SOS 24805 HAS SOPS 15468 HAS SOUS 10636 HAS SOUPS 9888 WITH SCORE 9912.805
AT ITER 736 NEW BEST:: SOT 34344 SOS 24793 HAS SOPS 15468 HAS SOUS 10636 HAS SOUPS 9888 WITH SCORE 9912.793
AT ITER 746 NEW BEST:: SOT 33765 SOS 25234 HAS SOPS 15555 HAS SOUS 10308 HAS SOUPS 9520 WITH SCORE 9545.234
AT ITER 752 NEW BEST:: SOT 33756 SOS 25225 HAS SOPS 15546 HAS SOUS 10308 HAS SOUPS 9520 WITH SCORE 9545.225
AT ITER 765 NEW BEST:: SOT 33730 SOS 25199 HAS SOPS 15528 HAS SOUS 10287 HAS SOUPS 9499 WITH SCORE 9524.199
AT ITER 775 NEW BEST:: SOT 33664 SOS 25133 HAS SOPS 15588 HAS SOUS 10267 HAS SOUPS 9494 WITH SCORE 9519.133
AT ITER 780 NEW BEST:: SOT 33571 SOS 25211 HAS SOPS 16027 HAS SOUS 10214 HAS SOUPS 9441 WITH SCORE 9466.211
AT ITER 784 NEW BEST:: SOT 33503 SOS 25143 HAS SOPS 15932 HAS SOUS 10112 HAS SOUPS 9339 WITH SCORE 9364.143
AT ITER 785 NEW BEST:: SOT 33477 SOS 25117 HAS SOPS 15909 HAS SOUS 10051 HAS SOUPS 9278 WITH SCORE 9303.117
AT ITER 792 NEW BEST:: SOT 33380 SOS 25264 HAS SOPS 15930 HAS SOUS 9994 HAS SOUPS 9212 WITH SCORE 9237.264
AT ITER 799 NEW BEST:: SOT 33329 SOS 25213 HAS SOPS 15806 HAS SOUS 9928 HAS SOUPS 9146 WITH SCORE 9171.213
AT ITER 802 NEW BEST:: SOT 33329 SOS 25213 HAS SOPS 15766 HAS SOUS 9901 HAS SOUPS 9119 WITH SCORE 9144.213
AT ITER 804 NEW BEST:: SOT 33329 SOS 25202 HAS SOPS 15744 HAS SOUS 9896 HAS SOUPS 9114 WITH SCORE 9139.202
AT ITER 809 NEW BEST:: SOT 33293 SOS 25166 HAS SOPS 15694 HAS SOUS 9860 HAS SOUPS 9078 WITH SCORE 9103.166
AT ITER 810 NEW BEST:: SOT 33128 SOS 25987 HAS SOPS 15930 HAS SOUS 9860 HAS SOUPS 9051 WITH SCORE 9076.987
AT ITER 813 NEW BEST:: SOT 32838 SOS 27221 HAS SOPS 16383 HAS SOUS 9869 HAS SOUPS 9019 WITH SCORE 9046.221
AT ITER 824 NEW BEST:: SOT 32834 SOS 27217 HAS SOPS 16377 HAS SOUS 9862 HAS SOUPS 9012 WITH SCORE 9039.217
AT ITER 828 NEW BEST:: SOT 32800 SOS 27156 HAS SOPS 16286 HAS SOUS 9828 HAS SOUPS 8978 WITH SCORE 9005.156
AT ITER 830 NEW BEST:: SOT 32780 SOS 27136 HAS SOPS 16271 HAS SOUS 9813 HAS SOUPS 8963 WITH SCORE 8990.136
AT ITER 835 NEW BEST:: SOT 32784 SOS 27140 HAS SOPS 16166 HAS SOUS 9810 HAS SOUPS 8948 WITH SCORE 8975.14
AT ITER 855 NEW BEST:: SOT 32746 SOS 27102 HAS SOPS 16109 HAS SOUS 9753 HAS SOUPS 8891 WITH SCORE 8918.102
AT ITER 871 NEW BEST:: SOT 32668 SOS 27024 HAS SOPS 16112 HAS SOUS 9731 HAS SOUPS 8869 WITH SCORE 8896.024
AT ITER 877 NEW BEST:: SOT 32654 SOS 27010 HAS SOPS 16064 HAS SOUS 9722 HAS SOUPS 8860 WITH SCORE 8887.01
AT ITER 878 NEW BEST:: SOT 32615 SOS 26971 HAS SOPS 16012 HAS SOUS 9670 HAS SOUPS 8808 WITH SCORE 8834.971
AT ITER 884 NEW BEST:: SOT 32623 SOS 26961 HAS SOPS 16005 HAS SOUS 9663 HAS SOUPS 8801 WITH SCORE 8827.961
AT ITER 892 NEW BEST:: SOT 32575 SOS 26913 HAS SOPS 15957 HAS SOUS 9615 HAS SOUPS 8753 WITH SCORE 8779.913
AT ITER 897 NEW BEST:: SOT 32535 SOS 26875 HAS SOPS 15900 HAS SOUS 9538 HAS SOUPS 8676 WITH SCORE 8702.875
AT ITER 901 NEW BEST:: SOT 32529 SOS 26869 HAS SOPS 15903 HAS SOUS 9535 HAS SOUPS 8673 WITH SCORE 8699.869
AT ITER 933 NEW BEST:: SOT 32527 SOS 26867 HAS SOPS 15900 HAS SOUS 9527 HAS SOUPS 8665 WITH SCORE 8691.867
AT ITER 944 NEW BEST:: SOT 32519 SOS 26859 HAS SOPS 15835 HAS SOUS 9515 HAS SOUPS 8653 WITH SCORE 8679.859
AT ITER 945 NEW BEST:: SOT 32510 SOS 26850 HAS SOPS 15828 HAS SOUS 9506 HAS SOUPS 8644 WITH SCORE 8670.85
AT ITER 948 NEW BEST:: SOT 32528 SOS 26843 HAS SOPS 15830 HAS SOUS 9483 HAS SOUPS 8621 WITH SCORE 8647.843
AT ITER 950 NEW BEST:: SOT 32524 SOS 26839 HAS SOPS 15828 HAS SOUS 9481 HAS SOUPS 8619 WITH SCORE 8645.839
AT ITER 957 NEW BEST:: SOT 32496 SOS 26811 HAS SOPS 15822 HAS SOUS 9475 HAS SOUPS 8613 WITH SCORE 8639.811
AT ITER 973 NEW BEST:: SOT 32496 SOS 26811 HAS SOPS 15822 HAS SOUS 9470 HAS SOUPS 8608 WITH SCORE 8634.811
AT ITER 978 NEW BEST:: SOT 32482 SOS 26797 HAS SOPS 15801 HAS SOUS 9455 HAS SOUPS 8593 WITH SCORE 8619.797
AT ITER 980 NEW BEST:: SOT 32474 SOS 26789 HAS SOPS 15789 HAS SOUS 9447 HAS SOUPS 8585 WITH SCORE 8611.789
AT ITER 982 NEW BEST:: SOT 32474 SOS 26789 HAS SOPS 15781 HAS SOUS 9441 HAS SOUPS 8579 WITH SCORE 8605.789
AT ITER 983 NEW BEST:: SOT 32482 SOS 26783 HAS SOPS 15644 HAS SOUS 9423 HAS SOUPS 8561 WITH SCORE 8587.783
AT ITER 987 NEW BEST:: SOT 32476 SOS 26777 HAS SOPS 15624 HAS SOUS 9414 HAS SOUPS 8552 WITH SCORE 8578.777
AT ITER 988 NEW BEST:: SOT 32464 SOS 26765 HAS SOPS 15610 HAS SOUS 9369 HAS SOUPS 8507 WITH SCORE 8533.765
AT ITER 992 NEW BEST:: SOT 32460 SOS 26761 HAS SOPS 15604 HAS SOUS 9367 HAS SOUPS 8505 WITH SCORE 8531.761
AT ITER 994 NEW BEST:: SOT 32464 SOS 26765 HAS SOPS 15594 HAS SOUS 9367 HAS SOUPS 8501 WITH SCORE 8527.765
AT ITER 999 NEW BEST:: SOT 32356 SOS 26657 HAS SOPS 15604 HAS SOUS 9334 HAS SOUPS 8468 WITH SCORE 8494.657
AT ITER 1022 NEW BEST:: SOT 32345 SOS 26646 HAS SOPS 15631 HAS SOUS 9267 HAS SOUPS 8401 WITH SCORE 8427.646
AT ITER 1024 NEW BEST:: SOT 32345 SOS 26646 HAS SOPS 15631 HAS SOUS 9240 HAS SOUPS 8374 WITH SCORE 8400.646
AT ITER 1026 NEW BEST:: SOT 32330 SOS 26631 HAS SOPS 15611 HAS SOUS 9220 HAS SOUPS 8354 WITH SCORE 8380.631
AT ITER 1029 NEW BEST:: SOT 32303 SOS 26593 HAS SOPS 15575 HAS SOUS 9177 HAS SOUPS 8311 WITH SCORE 8337.593
AT ITER 1035 NEW BEST:: SOT 32319 SOS 26609 HAS SOPS 15547 HAS SOUS 9149 HAS SOUPS 8283 WITH SCORE 8309.609
AT ITER 1037 NEW BEST:: SOT 32272 SOS 26528 HAS SOPS 15442 HAS SOUS 9044 HAS SOUPS 8178 WITH SCORE 8204.528
AT ITER 1042 NEW BEST:: SOT 32266 SOS 26522 HAS SOPS 15345 HAS SOUS 9048 HAS SOUPS 8150 WITH SCORE 8176.522
AT ITER 1050 NEW BEST:: SOT 32168 SOS 26424 HAS SOPS 15321 HAS SOUS 9024 HAS SOUPS 8126 WITH SCORE 8152.424
AT ITER 1068 NEW BEST:: SOT 32152 SOS 26408 HAS SOPS 15297 HAS SOUS 8986 HAS SOUPS 8088 WITH SCORE 8114.408
AT ITER 1088 NEW BEST:: SOT 32102 SOS 26358 HAS SOPS 15243 HAS SOUS 8941 HAS SOUPS 8043 WITH SCORE 8069.358
AT ITER 1090 NEW BEST:: SOT 32168 SOS 26424 HAS SOPS 15041 HAS SOUS 8925 HAS SOUPS 8027 WITH SCORE 8053.424
AT ITER 1102 NEW BEST:: SOT 32122 SOS 26378 HAS SOPS 15014 HAS SOUS 8912 HAS SOUPS 8014 WITH SCORE 8040.378
AT ITER 1117 NEW BEST:: SOT 32088 SOS 26344 HAS SOPS 14996 HAS SOUS 8895 HAS SOUPS 7997 WITH SCORE 8023.344
AT ITER 1125 NEW BEST:: SOT 32088 SOS 26344 HAS SOPS 14986 HAS SOUS 8887 HAS SOUPS 7989 WITH SCORE 8015.344
AT ITER 1154 NEW BEST:: SOT 32136 SOS 26392 HAS SOPS 14935 HAS SOUS 8860 HAS SOUPS 7962 WITH SCORE 7988.392
AT ITER 1156 NEW BEST:: SOT 32032 SOS 26318 HAS SOPS 14847 HAS SOUS 8798 HAS SOUPS 7900 WITH SCORE 7926.318
AT ITER 1161 NEW BEST:: SOT 31948 SOS 26234 HAS SOPS 14782 HAS SOUS 8738 HAS SOUPS 7840 WITH SCORE 7866.234
AT ITER 1164 NEW BEST:: SOT 31966 SOS 26252 HAS SOPS 14737 HAS SOUS 8725 HAS SOUPS 7827 WITH SCORE 7853.252
AT ITER 1180 NEW BEST:: SOT 31966 SOS 26252 HAS SOPS 14737 HAS SOUS 8714 HAS SOUPS 7816 WITH SCORE 7842.252
AT ITER 1215 NEW BEST:: SOT 31936 SOS 26222 HAS SOPS 14692 HAS SOUS 8684 HAS SOUPS 7786 WITH SCORE 7812.222
AT ITER 1222 NEW BEST:: SOT 31926 SOS 26212 HAS SOPS 14677 HAS SOUS 8679 HAS SOUPS 7781 WITH SCORE 7807.212
AT ITER 1248 NEW BEST:: SOT 31926 SOS 26212 HAS SOPS 14674 HAS SOUS 8676 HAS SOUPS 7778 WITH SCORE 7804.212
AT ITER 1257 NEW BEST:: SOT 31968 SOS 26254 HAS SOPS 14674 HAS SOUS 8667 HAS SOUPS 7769 WITH SCORE 7795.254
AT ITER 1263 NEW BEST:: SOT 31956 SOS 26246 HAS SOPS 14631 HAS SOUS 8662 HAS SOUPS 7764 WITH SCORE 7790.246
AT ITER 1268 NEW BEST:: SOT 32045 SOS 26349 HAS SOPS 14768 HAS SOUS 8660 HAS SOUPS 7762 WITH SCORE 7788.349
AT ITER 1312 NEW BEST:: SOT 32027 SOS 26331 HAS SOPS 14716 HAS SOUS 8631 HAS SOUPS 7733 WITH SCORE 7759.331
AT ITER 1319 NEW BEST:: SOT 32027 SOS 26331 HAS SOPS 14716 HAS SOUS 8619 HAS SOUPS 7721 WITH SCORE 7747.331
AT ITER 1335 NEW BEST:: SOT 31996 SOS 26300 HAS SOPS 14679 HAS SOUS 8582 HAS SOUPS 7684 WITH SCORE 7710.3
AT ITER 1337 NEW BEST:: SOT 31988 SOS 26292 HAS SOPS 14667 HAS SOUS 8559 HAS SOUPS 7661 WITH SCORE 7687.292
AT ITER 1370 NEW BEST:: SOT 31986 SOS 26290 HAS SOPS 14660 HAS SOUS 8553 HAS SOUPS 7655 WITH SCORE 7681.29
AT ITER 1374 NEW BEST:: SOT 32028 SOS 26332 HAS SOPS 14611 HAS SOUS 8493 HAS SOUPS 7595 WITH SCORE 7621.332
AT ITER 1380 NEW BEST:: SOT 32020 SOS 26324 HAS SOPS 14599 HAS SOUS 8475 HAS SOUPS 7577 WITH SCORE 7603.324
AT ITER 1385 NEW BEST:: SOT 32024 SOS 26328 HAS SOPS 14534 HAS SOUS 8431 HAS SOUPS 7533 WITH SCORE 7559.328
AT ITER 1397 NEW BEST:: SOT 32008 SOS 26312 HAS SOPS 14510 HAS SOUS 8415 HAS SOUPS 7517 WITH SCORE 7543.312
AT ITER 1398 NEW BEST:: SOT 32060 SOS 26364 HAS SOPS 14411 HAS SOUS 8389 HAS SOUPS 7491 WITH SCORE 7517.364
AT ITER 1408 NEW BEST:: SOT 32056 SOS 26360 HAS SOPS 14408 HAS SOUS 8387 HAS SOUPS 7489 WITH SCORE 7515.36
AT ITER 1412 NEW BEST:: SOT 31934 SOS 26238 HAS SOPS 14342 HAS SOUS 8343 HAS SOUPS 7445 WITH SCORE 7471.238
AT ITER 1419 NEW BEST:: SOT 31931 SOS 26235 HAS SOPS 14339 HAS SOUS 8334 HAS SOUPS 7436 WITH SCORE 7462.235
AT ITER 1423 NEW BEST:: SOT 31931 SOS 26235 HAS SOPS 14339 HAS SOUS 8333 HAS SOUPS 7435 WITH SCORE 7461.235
AT ITER 1426 NEW BEST:: SOT 31939 SOS 26243 HAS SOPS 14307 HAS SOUS 8312 HAS SOUPS 7414 WITH SCORE 7440.243
AT ITER 1441 NEW BEST:: SOT 31899 SOS 26203 HAS SOPS 14266 HAS SOUS 8233 HAS SOUPS 7335 WITH SCORE 7361.203
AT ITER 1447 NEW BEST:: SOT 31876 SOS 26334 HAS SOPS 14311 HAS SOUS 8230 HAS SOUPS 7328 WITH SCORE 7354.334
AT ITER 1455 NEW BEST:: SOT 31872 SOS 26330 HAS SOPS 14311 HAS SOUS 8226 HAS SOUPS 7324 WITH SCORE 7350.33
AT ITER 1477 NEW BEST:: SOT 31864 SOS 26322 HAS SOPS 14295 HAS SOUS 8183 HAS SOUPS 7281 WITH SCORE 7307.322
AT ITER 1478 NEW BEST:: SOT 31856 SOS 26314 HAS SOPS 14311 HAS SOUS 8171 HAS SOUPS 7280 WITH SCORE 7306.314
AT ITER 1481 NEW BEST:: SOT 31857 SOS 26307 HAS SOPS 14304 HAS SOUS 8171 HAS SOUPS 7280 WITH SCORE 7306.307
AT ITER 1482 NEW BEST:: SOT 31839 SOS 26289 HAS SOPS 14241 HAS SOUS 8117 HAS SOUPS 7226 WITH SCORE 7252.289
AT ITER 1506 NEW BEST:: SOT 31783 SOS 26233 HAS SOPS 14197 HAS SOUS 8072 HAS SOUPS 7181 WITH SCORE 7207.233
AT ITER 1517 NEW BEST:: SOT 31797 SOS 26247 HAS SOPS 14218 HAS SOUS 8065 HAS SOUPS 7174 WITH SCORE 7200.247
AT ITER 1548 NEW BEST:: SOT 31616 SOS 26068 HAS SOPS 14039 HAS SOUS 7983 HAS SOUPS 7092 WITH SCORE 7118.068
AT ITER 1555 NEW BEST:: SOT 31620 SOS 26019 HAS SOPS 13991 HAS SOUS 7983 HAS SOUPS 7092 WITH SCORE 7118.019
AT ITER 1557 NEW BEST:: SOT 31594 SOS 25993 HAS SOPS 13952 HAS SOUS 7933 HAS SOUPS 7042 WITH SCORE 7067.993
AT ITER 1592 NEW BEST:: SOT 31578 SOS 25977 HAS SOPS 13905 HAS SOUS 7909 HAS SOUPS 7018 WITH SCORE 7043.977
AT ITER 1602 NEW BEST:: SOT 31577 SOS 25976 HAS SOPS 13904 HAS SOUS 7907 HAS SOUPS 7016 WITH SCORE 7041.976
AT ITER 1624 NEW BEST:: SOT 31577 SOS 25976 HAS SOPS 13904 HAS SOUS 7898 HAS SOUPS 7007 WITH SCORE 7032.976
AT ITER 1633 NEW BEST:: SOT 31567 SOS 25966 HAS SOPS 13889 HAS SOUS 7883 HAS SOUPS 6992 WITH SCORE 7017.966
AT ITER 1647 NEW BEST:: SOT 31539 SOS 25962 HAS SOPS 13852 HAS SOUS 7878 HAS SOUPS 6984 WITH SCORE 7009.962
AT ITER 1668 NEW BEST:: SOT 31526 SOS 25884 HAS SOPS 13774 HAS SOUS 7878 HAS SOUPS 6984 WITH SCORE 7009.884
AT ITER 1669 NEW BEST:: SOT 31520 SOS 25878 HAS SOPS 13765 HAS SOUS 7869 HAS SOUPS 6975 WITH SCORE 7000.878
AT ITER 1673 NEW BEST:: SOT 31502 SOS 25860 HAS SOPS 13741 HAS SOUS 7857 HAS SOUPS 6963 WITH SCORE 6988.86
AT ITER 1675 NEW BEST:: SOT 31493 SOS 25851 HAS SOPS 13774 HAS SOUS 7845 HAS SOUPS 6963 WITH SCORE 6988.851
AT ITER 1693 NEW BEST:: SOT 31493 SOS 25851 HAS SOPS 13774 HAS SOUS 7844 HAS SOUPS 6962 WITH SCORE 6987.851
AT ITER 1694 NEW BEST:: SOT 31506 SOS 25680 HAS SOPS 13707 HAS SOUS 7831 HAS SOUPS 6953 WITH SCORE 6978.68
AT ITER 1700 NEW BEST:: SOT 31506 SOS 25680 HAS SOPS 13707 HAS SOUS 7830 HAS SOUPS 6952 WITH SCORE 6977.68
AT ITER 1701 NEW BEST:: SOT 31476 SOS 25650 HAS SOPS 13662 HAS SOUS 7747 HAS SOUPS 6869 WITH SCORE 6894.65
AT ITER 1714 NEW BEST:: SOT 31464 SOS 25638 HAS SOPS 13650 HAS SOUS 7745 HAS SOUPS 6867 WITH SCORE 6892.638
AT ITER 1717 NEW BEST:: SOT 31477 SOS 25651 HAS SOPS 13663 HAS SOUS 7729 HAS SOUPS 6851 WITH SCORE 6876.651
AT ITER 1753 NEW BEST:: SOT 31459 SOS 25633 HAS SOPS 13645 HAS SOUS 7716 HAS SOUPS 6838 WITH SCORE 6863.633
AT ITER 1756 NEW BEST:: SOT 31455 SOS 25629 HAS SOPS 13643 HAS SOUS 7714 HAS SOUPS 6836 WITH SCORE 6861.629
AT ITER 1757 NEW BEST:: SOT 31451 SOS 25625 HAS SOPS 13637 HAS SOUS 7705 HAS SOUPS 6827 WITH SCORE 6852.625
AT ITER 1758 NEW BEST:: SOT 31449 SOS 25623 HAS SOPS 13633 HAS SOUS 7695 HAS SOUPS 6817 WITH SCORE 6842.623
AT ITER 1764 NEW BEST:: SOT 31425 SOS 25599 HAS SOPS 13589 HAS SOUS 7651 HAS SOUPS 6773 WITH SCORE 6798.599
AT ITER 1799 NEW BEST:: SOT 31388 SOS 25647 HAS SOPS 13564 HAS SOUS 7632 HAS SOUPS 6751 WITH SCORE 6776.647
AT ITER 1850 NEW BEST:: SOT 31411 SOS 25670 HAS SOPS 13616 HAS SOUS 7615 HAS SOUPS 6734 WITH SCORE 6759.67
AT ITER 1855 NEW BEST:: SOT 31432 SOS 25691 HAS SOPS 13592 HAS SOUS 7603 HAS SOUPS 6722 WITH SCORE 6747.691
AT ITER 1866 NEW BEST:: SOT 31426 SOS 25685 HAS SOPS 13583 HAS SOUS 7591 HAS SOUPS 6710 WITH SCORE 6735.685
AT ITER 1875 NEW BEST:: SOT 31414 SOS 25673 HAS SOPS 13570 HAS SOUS 7580 HAS SOUPS 6699 WITH SCORE 6724.673
AT ITER 1878 NEW BEST:: SOT 31413 SOS 25672 HAS SOPS 13569 HAS SOUS 7579 HAS SOUPS 6698 WITH SCORE 6723.672
AT ITER 1924 NEW BEST:: SOT 31405 SOS 25664 HAS SOPS 13520 HAS SOUS 7556 HAS SOUPS 6675 WITH SCORE 6700.664
AT ITER 1926 NEW BEST:: SOT 31405 SOS 25664 HAS SOPS 13520 HAS SOUS 7538 HAS SOUPS 6661 WITH SCORE 6686.664
AT ITER 1954 NEW BEST:: SOT 31393 SOS 25652 HAS SOPS 13502 HAS SOUS 7507 HAS SOUPS 6630 WITH SCORE 6655.652
AT ITER 1969 NEW BEST:: SOT 31294 SOS 26271 HAS SOPS 13688 HAS SOUS 7499 HAS SOUPS 6605 WITH SCORE 6631.271
AT ITER 1996 NEW BEST:: SOT 31294 SOS 26271 HAS SOPS 13688 HAS SOUS 7479 HAS SOUPS 6585 WITH SCORE 6611.271
AT ITER 2000 NEW BEST:: SOT 31302 SOS 26279 HAS SOPS 13688 HAS SOUS 7475 HAS SOUPS 6581 WITH SCORE 6607.279
AT ITER 2031 NEW BEST:: SOT 31368 SOS 26345 HAS SOPS 13703 HAS SOUS 7462 HAS SOUPS 6568 WITH SCORE 6594.345
AT ITER 2035 NEW BEST:: SOT 31354 SOS 26331 HAS SOPS 13675 HAS SOUS 7428 HAS SOUPS 6534 WITH SCORE 6560.331
AT ITER 2063 NEW BEST:: SOT 31354 SOS 26331 HAS SOPS 13675 HAS SOUS 7422 HAS SOUPS 6528 WITH SCORE 6554.331
AT ITER 2069 NEW BEST:: SOT 31346 SOS 26323 HAS SOPS 13663 HAS SOUS 7397 HAS SOUPS 6503 WITH SCORE 6529.323
AT ITER 2085 NEW BEST:: SOT 31346 SOS 26323 HAS SOPS 13663 HAS SOUS 7390 HAS SOUPS 6496 WITH SCORE 6522.323
AT ITER 2098 NEW BEST:: SOT 31346 SOS 26323 HAS SOPS 13663 HAS SOUS 7389 HAS SOUPS 6495 WITH SCORE 6521.323
AT ITER 2100 NEW BEST:: SOT 31350 SOS 26327 HAS SOPS 13657 HAS SOUS 7385 HAS SOUPS 6491 WITH SCORE 6517.327
AT ITER 2103 NEW BEST:: SOT 31269 SOS 26246 HAS SOPS 13522 HAS SOUS 7358 HAS SOUPS 6464 WITH SCORE 6490.246
AT ITER 2107 NEW BEST:: SOT 31256 SOS 26262 HAS SOPS 13534 HAS SOUS 7343 HAS SOUPS 6452 WITH SCORE 6478.262
AT ITER 2119 NEW BEST:: SOT 31262 SOS 26268 HAS SOPS 13543 HAS SOUS 7334 HAS SOUPS 6443 WITH SCORE 6469.268
AT ITER 2182 NEW BEST:: SOT 31262 SOS 26268 HAS SOPS 13543 HAS SOUS 7330 HAS SOUPS 6439 WITH SCORE 6465.268
AT ITER 2193 NEW BEST:: SOT 31250 SOS 26256 HAS SOPS 13553 HAS SOUS 7325 HAS SOUPS 6434 WITH SCORE 6460.256
AT ITER 2196 NEW BEST:: SOT 31196 SOS 26202 HAS SOPS 13499 HAS SOUS 7271 HAS SOUPS 6380 WITH SCORE 6406.202
AT ITER 2197 NEW BEST:: SOT 31192 SOS 26198 HAS SOPS 13493 HAS SOUS 7263 HAS SOUPS 6372 WITH SCORE 6398.198
AT ITER 2214 NEW BEST:: SOT 31184 SOS 26190 HAS SOPS 13487 HAS SOUS 7249 HAS SOUPS 6358 WITH SCORE 6384.19
AT ITER 2215 NEW BEST:: SOT 31172 SOS 26178 HAS SOPS 13445 HAS SOUS 7234 HAS SOUPS 6338 WITH SCORE 6364.178
AT ITER 2218 NEW BEST:: SOT 31171 SOS 26177 HAS SOPS 13431 HAS SOUS 7233 HAS SOUPS 6332 WITH SCORE 6358.177
AT ITER 2225 NEW BEST:: SOT 31171 SOS 26177 HAS SOPS 13431 HAS SOUS 7219 HAS SOUPS 6318 WITH SCORE 6344.177
AT ITER 2235 NEW BEST:: SOT 31193 SOS 26199 HAS SOPS 13405 HAS SOUS 7201 HAS SOUPS 6300 WITH SCORE 6326.199
AT ITER 2261 NEW BEST:: SOT 31173 SOS 26179 HAS SOPS 13375 HAS SOUS 7171 HAS SOUPS 6270 WITH SCORE 6296.179
AT ITER 2266 NEW BEST:: SOT 31171 SOS 26177 HAS SOPS 13372 HAS SOUS 7168 HAS SOUPS 6267 WITH SCORE 6293.177
AT ITER 2283 NEW BEST:: SOT 31159 SOS 26165 HAS SOPS 13348 HAS SOUS 7136 HAS SOUPS 6235 WITH SCORE 6261.165
AT ITER 2293 NEW BEST:: SOT 31179 SOS 26185 HAS SOPS 13270 HAS SOUS 7075 HAS SOUPS 6174 WITH SCORE 6200.185
AT ITER 2323 NEW BEST:: SOT 31179 SOS 26170 HAS SOPS 13255 HAS SOUS 7075 HAS SOUPS 6174 WITH SCORE 6200.17
AT ITER 2330 NEW BEST:: SOT 31173 SOS 26164 HAS SOPS 13246 HAS SOUS 7066 HAS SOUPS 6165 WITH SCORE 6191.164
AT ITER 2336 NEW BEST:: SOT 31159 SOS 26150 HAS SOPS 13225 HAS SOUS 7051 HAS SOUPS 6150 WITH SCORE 6176.15
AT ITER 2337 NEW BEST:: SOT 31191 SOS 26182 HAS SOPS 13262 HAS SOUS 7047 HAS SOUPS 6146 WITH SCORE 6172.182
AT ITER 2347 NEW BEST:: SOT 31206 SOS 25847 HAS SOPS 13109 HAS SOUS 7024 HAS SOUPS 6130 WITH SCORE 6155.847
AT ITER 2368 NEW BEST:: SOT 31198 SOS 25839 HAS SOPS 13097 HAS SOUS 7008 HAS SOUPS 6114 WITH SCORE 6139.839
AT ITER 2435 NEW BEST:: SOT 31186 SOS 25827 HAS SOPS 13079 HAS SOUS 6993 HAS SOUPS 6099 WITH SCORE 6124.827
AT ITER 2444 NEW BEST:: SOT 31167 SOS 25808 HAS SOPS 13048 HAS SOUS 6968 HAS SOUPS 6074 WITH SCORE 6099.808
AT ITER 2463 NEW BEST:: SOT 31138 SOS 25779 HAS SOPS 13019 HAS SOUS 6957 HAS SOUPS 6063 WITH SCORE 6088.779
AT ITER 2500 NEW BEST:: SOT 31138 SOS 25779 HAS SOPS 13019 HAS SOUS 6955 HAS SOUPS 6061 WITH SCORE 6086.779
AT ITER 2516 NEW BEST:: SOT 31122 SOS 25763 HAS SOPS 13003 HAS SOUS 6939 HAS SOUPS 6045 WITH SCORE 6070.763
AT ITER 2522 NEW BEST:: SOT 31122 SOS 25760 HAS SOPS 13000 HAS SOUS 6930 HAS SOUPS 6036 WITH SCORE 6061.76
AT ITER 2562 NEW BEST:: SOT 31120 SOS 25754 HAS SOPS 12992 HAS SOUS 6924 HAS SOUPS 6030 WITH SCORE 6055.754
AT ITER 2584 NEW BEST:: SOT 31119 SOS 25752 HAS SOPS 12990 HAS SOUS 6921 HAS SOUPS 6027 WITH SCORE 6052.752
AT ITER 2594 NEW BEST:: SOT 31095 SOS 25728 HAS SOPS 12966 HAS SOUS 6897 HAS SOUPS 6003 WITH SCORE 6028.728
AT ITER 2624 NEW BEST:: SOT 31081 SOS 25714 HAS SOPS 12989 HAS SOUS 6873 HAS SOUPS 5979 WITH SCORE 6004.714
AT ITER 2667 NEW BEST:: SOT 31079 SOS 25712 HAS SOPS 12985 HAS SOUS 6870 HAS SOUPS 5976 WITH SCORE 6001.712
AT ITER 2685 NEW BEST:: SOT 31075 SOS 25708 HAS SOPS 12947 HAS SOUS 6832 HAS SOUPS 5938 WITH SCORE 5963.708
AT ITER 2686 NEW BEST:: SOT 31131 SOS 25764 HAS SOPS 12967 HAS SOUS 6815 HAS SOUPS 5921 WITH SCORE 5946.764
AT ITER 2693 NEW BEST:: SOT 31101 SOS 25734 HAS SOPS 12922 HAS SOUS 6798 HAS SOUPS 5904 WITH SCORE 5929.734
AT ITER 2747 NEW BEST:: SOT 31139 SOS 25291 HAS SOPS 12740 HAS SOUS 6787 HAS SOUPS 5903 WITH SCORE 5928.291
AT ITER 2752 NEW BEST:: SOT 31129 SOS 25281 HAS SOPS 12753 HAS SOUS 6779 HAS SOUPS 5895 WITH SCORE 5920.281
AT ITER 2780 NEW BEST:: SOT 31115 SOS 25267 HAS SOPS 12732 HAS SOUS 6749 HAS SOUPS 5865 WITH SCORE 5890.267
AT ITER 2782 NEW BEST:: SOT 31115 SOS 25267 HAS SOPS 12732 HAS SOUS 6744 HAS SOUPS 5860 WITH SCORE 5885.267
AT ITER 2826 NEW BEST:: SOT 31119 SOS 25271 HAS SOPS 12708 HAS SOUS 6741 HAS SOUPS 5848 WITH SCORE 5873.271
AT ITER 2864 NEW BEST:: SOT 31159 SOS 25311 HAS SOPS 12691 HAS SOUS 6740 HAS SOUPS 5847 WITH SCORE 5872.311
AT ITER 2883 NEW BEST:: SOT 31135 SOS 25287 HAS SOPS 12707 HAS SOUS 6736 HAS SOUPS 5843 WITH SCORE 5868.287
AT ITER 2887 NEW BEST:: SOT 31139 SOS 25291 HAS SOPS 12675 HAS SOUS 6732 HAS SOUPS 5839 WITH SCORE 5864.291
AT ITER 2912 NEW BEST:: SOT 31147 SOS 25299 HAS SOPS 12687 HAS SOUS 6730 HAS SOUPS 5837 WITH SCORE 5862.299
AT ITER 2996 NEW BEST:: SOT 31139 SOS 25291 HAS SOPS 12675 HAS SOUS 6722 HAS SOUPS 5829 WITH SCORE 5854.291
AT ITER 3028 NEW BEST:: SOT 31095 SOS 25247 HAS SOPS 12609 HAS SOUS 6650 HAS SOUPS 5757 WITH SCORE 5782.247
AT ITER 3045 NEW BEST:: SOT 31115 SOS 25267 HAS SOPS 12616 HAS SOUS 6634 HAS SOUPS 5741 WITH SCORE 5766.267
AT ITER 3050 NEW BEST:: SOT 31117 SOS 25269 HAS SOPS 12611 HAS SOUS 6631 HAS SOUPS 5738 WITH SCORE 5763.269
AT ITER 3061 NEW BEST:: SOT 31117 SOS 25269 HAS SOPS 12611 HAS SOUS 6630 HAS SOUPS 5737 WITH SCORE 5762.269
AT ITER 3063 NEW BEST:: SOT 31119 SOS 25271 HAS SOPS 12613 HAS SOUS 6626 HAS SOUPS 5733 WITH SCORE 5758.271
AT ITER 3076 NEW BEST:: SOT 31119 SOS 25271 HAS SOPS 12613 HAS SOUS 6600 HAS SOUPS 5707 WITH SCORE 5732.271
AT ITER 3118 NEW BEST:: SOT 31117 SOS 25269 HAS SOPS 12610 HAS SOUS 6597 HAS SOUPS 5704 WITH SCORE 5729.269
AT ITER 3132 NEW BEST:: SOT 31079 SOS 25231 HAS SOPS 12625 HAS SOUS 6594 HAS SOUPS 5701 WITH SCORE 5726.231
AT ITER 3139 NEW BEST:: SOT 31049 SOS 25201 HAS SOPS 12580 HAS SOUS 6544 HAS SOUPS 5651 WITH SCORE 5676.201
AT ITER 3189 NEW BEST:: SOT 31050 SOS 25202 HAS SOPS 12581 HAS SOUS 6542 HAS SOUPS 5649 WITH SCORE 5674.202
AT ITER 3200 NEW BEST:: SOT 31061 SOS 25213 HAS SOPS 12582 HAS SOUS 6529 HAS SOUPS 5636 WITH SCORE 5661.213
AT ITER 3212 NEW BEST:: SOT 31061 SOS 25213 HAS SOPS 12582 HAS SOUS 6525 HAS SOUPS 5632 WITH SCORE 5657.213
AT ITER 3221 NEW BEST:: SOT 31021 SOS 25173 HAS SOPS 12548 HAS SOUS 6498 HAS SOUPS 5605 WITH SCORE 5630.173
AT ITER 3249 NEW BEST:: SOT 31013 SOS 25189 HAS SOPS 12557 HAS SOUS 6496 HAS SOUPS 5603 WITH SCORE 5628.189
AT ITER 3264 NEW BEST:: SOT 31006 SOS 25182 HAS SOPS 12559 HAS SOUS 6492 HAS SOUPS 5599 WITH SCORE 5624.182
AT ITER 3311 NEW BEST:: SOT 31008 SOS 25184 HAS SOPS 12552 HAS SOUS 6484 HAS SOUPS 5591 WITH SCORE 5616.184
AT ITER 3350 NEW BEST:: SOT 31006 SOS 25182 HAS SOPS 12549 HAS SOUS 6479 HAS SOUPS 5586 WITH SCORE 5611.182
AT ITER 3352 NEW BEST:: SOT 30998 SOS 25174 HAS SOPS 12537 HAS SOUS 6471 HAS SOUPS 5578 WITH SCORE 5603.174
AT ITER 3363 NEW BEST:: SOT 30970 SOS 25146 HAS SOPS 12491 HAS SOUS 6450 HAS SOUPS 5557 WITH SCORE 5582.146
AT ITER 3389 NEW BEST:: SOT 30972 SOS 25148 HAS SOPS 12490 HAS SOUS 6441 HAS SOUPS 5548 WITH SCORE 5573.148
AT ITER 3406 NEW BEST:: SOT 30970 SOS 25146 HAS SOPS 12488 HAS SOUS 6437 HAS SOUPS 5544 WITH SCORE 5569.146
AT ITER 3414 NEW BEST:: SOT 30966 SOS 25142 HAS SOPS 12475 HAS SOUS 6431 HAS SOUPS 5538 WITH SCORE 5563.142
AT ITER 3416 NEW BEST:: SOT 30924 SOS 25100 HAS SOPS 12412 HAS SOUS 6355 HAS SOUPS 5462 WITH SCORE 5487.1
AT ITER 3456 NEW BEST:: SOT 30916 SOS 25092 HAS SOPS 12400 HAS SOUS 6343 HAS SOUPS 5450 WITH SCORE 5475.092
AT ITER 3474 NEW BEST:: SOT 30920 SOS 25096 HAS SOPS 12396 HAS SOUS 6340 HAS SOUPS 5447 WITH SCORE 5472.096
AT ITER 3499 NEW BEST:: SOT 30851 SOS 25027 HAS SOPS 12298 HAS SOUS 6242 HAS SOUPS 5349 WITH SCORE 5374.027
AT ITER 3542 NEW BEST:: SOT 30858 SOS 25034 HAS SOPS 12293 HAS SOUS 6237 HAS SOUPS 5344 WITH SCORE 5369.034
AT ITER 3563 NEW BEST:: SOT 30901 SOS 25075 HAS SOPS 12334 HAS SOUS 6230 HAS SOUPS 5337 WITH SCORE 5362.075
AT ITER 3588 NEW BEST:: SOT 30899 SOS 25073 HAS SOPS 12327 HAS SOUS 6225 HAS SOUPS 5332 WITH SCORE 5357.073
AT ITER 3602 NEW BEST:: SOT 30895 SOS 25069 HAS SOPS 12322 HAS SOUS 6215 HAS SOUPS 5322 WITH SCORE 5347.069
AT ITER 3605 NEW BEST:: SOT 30879 SOS 25053 HAS SOPS 12290 HAS SOUS 6187 HAS SOUPS 5294 WITH SCORE 5319.053
AT ITER 3631 NEW BEST:: SOT 30927 SOS 24515 HAS SOPS 12105 HAS SOUS 6170 HAS SOUPS 5289 WITH SCORE 5313.515
AT ITER 3649 NEW BEST:: SOT 30903 SOS 24491 HAS SOPS 12081 HAS SOUS 6146 HAS SOUPS 5265 WITH SCORE 5289.491
AT ITER 3768 NEW BEST:: SOT 30893 SOS 24481 HAS SOPS 12066 HAS SOUS 6124 HAS SOUPS 5243 WITH SCORE 5267.481
AT ITER 3785 NEW BEST:: SOT 30893 SOS 24481 HAS SOPS 12054 HAS SOUS 6121 HAS SOUPS 5240 WITH SCORE 5264.481
AT ITER 3912 NEW BEST:: SOT 30891 SOS 24479 HAS SOPS 12050 HAS SOUS 6119 HAS SOUPS 5237 WITH SCORE 5261.479
AT ITER 3920 NEW BEST:: SOT 30885 SOS 24464 HAS SOPS 12035 HAS SOUS 6106 HAS SOUPS 5224 WITH SCORE 5248.464
AT ITER 3921 NEW BEST:: SOT 30885 SOS 24464 HAS SOPS 12035 HAS SOUS 6100 HAS SOUPS 5218 WITH SCORE 5242.464
AT ITER 3924 NEW BEST:: SOT 30885 SOS 24464 HAS SOPS 12035 HAS SOUS 6089 HAS SOUPS 5207 WITH SCORE 5231.464
AT ITER 3954 NEW BEST:: SOT 30833 SOS 24412 HAS SOPS 12006 HAS SOUS 6061 HAS SOUPS 5179 WITH SCORE 5203.412
AT ITER 4037 NEW BEST:: SOT 30814 SOS 24548 HAS SOPS 12142 HAS SOUS 6046 HAS SOUPS 5164 WITH SCORE 5188.548
AT ITER 4062 NEW BEST:: SOT 30814 SOS 24548 HAS SOPS 12142 HAS SOUS 6043 HAS SOUPS 5161 WITH SCORE 5185.548
AT ITER 4085 NEW BEST:: SOT 30806 SOS 24638 HAS SOPS 12178 HAS SOUS 6044 HAS SOUPS 5160 WITH SCORE 5184.638
AT ITER 4100 NEW BEST:: SOT 30805 SOS 24637 HAS SOPS 12172 HAS SOUS 6040 HAS SOUPS 5156 WITH SCORE 5180.637
AT ITER 4174 NEW BEST:: SOT 30799 SOS 24631 HAS SOPS 12163 HAS SOUS 6031 HAS SOUPS 5147 WITH SCORE 5171.631
AT ITER 4182 NEW BEST:: SOT 30803 SOS 24635 HAS SOPS 12147 HAS SOUS 6019 HAS SOUPS 5135 WITH SCORE 5159.635
AT ITER 4241 NEW BEST:: SOT 30801 SOS 24633 HAS SOPS 12120 HAS SOUS 5998 HAS SOUPS 5114 WITH SCORE 5138.633
AT ITER 4251 NEW BEST:: SOT 30805 SOS 24591 HAS SOPS 12073 HAS SOUS 6002 HAS SOUPS 5113 WITH SCORE 5137.591
AT ITER 4322 NEW BEST:: SOT 30820 SOS 24606 HAS SOPS 12088 HAS SOUS 5972 HAS SOUPS 5083 WITH SCORE 5107.606
AT ITER 4334 NEW BEST:: SOT 30816 SOS 24602 HAS SOPS 12089 HAS SOUS 5968 HAS SOUPS 5079 WITH SCORE 5103.602
AT ITER 4367 NEW BEST:: SOT 30804 SOS 24590 HAS SOPS 12077 HAS SOUS 5964 HAS SOUPS 5075 WITH SCORE 5099.59
AT ITER 4376 NEW BEST:: SOT 30800 SOS 24586 HAS SOPS 12069 HAS SOUS 5958 HAS SOUPS 5069 WITH SCORE 5093.586
AT ITER 4413 NEW BEST:: SOT 30788 SOS 24565 HAS SOPS 12027 HAS SOUS 5939 HAS SOUPS 5050 WITH SCORE 5074.565
AT ITER 4432 NEW BEST:: SOT 30780 SOS 24557 HAS SOPS 12019 HAS SOUS 5931 HAS SOUPS 5042 WITH SCORE 5066.557
AT ITER 4456 NEW BEST:: SOT 30787 SOS 24564 HAS SOPS 11990 HAS SOUS 5926 HAS SOUPS 5037 WITH SCORE 5061.564
AT ITER 4565 NEW BEST:: SOT 30781 SOS 24558 HAS SOPS 11978 HAS SOUS 5914 HAS SOUPS 5025 WITH SCORE 5049.558
AT ITER 4582 NEW BEST:: SOT 30774 SOS 24556 HAS SOPS 11978 HAS SOUS 5907 HAS SOUPS 5020 WITH SCORE 5044.556
AT ITER 4606 NEW BEST:: SOT 30760 SOS 24542 HAS SOPS 11964 HAS SOUS 5907 HAS SOUPS 5020 WITH SCORE 5044.542
AT ITER 4634 NEW BEST:: SOT 30750 SOS 24532 HAS SOPS 11949 HAS SOUS 5892 HAS SOUPS 5005 WITH SCORE 5029.532
AT ITER 4648 NEW BEST:: SOT 30750 SOS 24532 HAS SOPS 11949 HAS SOUS 5889 HAS SOUPS 5002 WITH SCORE 5026.532
AT ITER 4704 NEW BEST:: SOT 30756 SOS 24538 HAS SOPS 11926 HAS SOUS 5894 HAS SOUPS 5000 WITH SCORE 5024.538
AT ITER 4740 NEW BEST:: SOT 30757 SOS 24539 HAS SOPS 11927 HAS SOUS 5891 HAS SOUPS 4997 WITH SCORE 5021.539
AT ITER 4797 NEW BEST:: SOT 30757 SOS 24537 HAS SOPS 11924 HAS SOUS 5889 HAS SOUPS 4995 WITH SCORE 5019.537
AT ITER 4833 NEW BEST:: SOT 30753 SOS 24533 HAS SOPS 11914 HAS SOUS 5883 HAS SOUPS 4989 WITH SCORE 5013.533
AT ITER 4861 NEW BEST:: SOT 30750 SOS 24530 HAS SOPS 11896 HAS SOUS 5883 HAS SOUPS 4983 WITH SCORE 5007.53
AT ITER 4864 NEW BEST:: SOT 30740 SOS 24520 HAS SOPS 11876 HAS SOUS 5865 HAS SOUPS 4965 WITH SCORE 4989.52
AT ITER 4913 NEW BEST:: SOT 30736 SOS 24516 HAS SOPS 11870 HAS SOUS 5858 HAS SOUPS 4958 WITH SCORE 4982.516
AT ITER 4942 NEW BEST:: SOT 30736 SOS 24516 HAS SOPS 11870 HAS SOUS 5856 HAS SOUPS 4956 WITH SCORE 4980.516
AT ITER 4946 NEW BEST:: SOT 30732 SOS 24512 HAS SOPS 11864 HAS SOUS 5850 HAS SOUPS 4950 WITH SCORE 4974.512
AT ITER 4947 NEW BEST:: SOT 30722 SOS 24502 HAS SOPS 11849 HAS SOUS 5826 HAS SOUPS 4926 WITH SCORE 4950.502
AT ITER 4955 NEW BEST:: SOT 30715 SOS 24495 HAS SOPS 11845 HAS SOUS 5823 HAS SOUPS 4923 WITH SCORE 4947.495
AT ITER 4985 NEW BEST:: SOT 30715 SOS 24495 HAS SOPS 11845 HAS SOUS 5817 HAS SOUPS 4917 WITH SCORE 4941.495
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: Raft-PT-06-CTLCardinality-00 ( (EX( (AF(potential( ( 2 ) <= (tk(P81)) ))))) | (AG( (! potential( ( 3 ) <= (tk(P131)) )))) )
PROPERTY: Raft-PT-06-CTLCardinality-01 ( (AG( (! ( potential( ( 2 ) <= (tk(P68)) ) & potential( ( 3 ) <= (tk(P57)) ) )))) | (! potential( (tk(P53)) <= (tk(P140)) )) )
PROPERTY: Raft-PT-06-CTLCardinality-02 (AF((AG( (! potential( ( 2 ) <= (tk(P182)) ))))))
PROPERTY: Raft-PT-06-CTLCardinality-03 ( (EG( (EF(potential( ( 2 ) <= (tk(P70)) ))))) & (EF(( (! potential( (tk(P83)) <= (tk(P112)) )) | (! potential( (tk(P170)) <= (tk(P30)) )) ))) )
PROPERTY: Raft-PT-06-CTLCardinality-04 ( (EU( ( potential( ( 1 ) <= (tk(P179)) ) | potential( (tk(P37)) <= (tk(P157)) ) ),( potential( ( 3 ) <= (tk(P83)) ) & potential( (tk(P148)) <= (tk(P16)) ) ) )) & (! potential( ( 1 ) <= (tk(P16)) )) )
PROPERTY: Raft-PT-06-CTLCardinality-05 (EF((AG( ( potential( ( 2 ) <= (tk(P18)) ) & potential( ( 2 ) <= (tk(P76)) ) )))))
PROPERTY: Raft-PT-06-CTLCardinality-06 (! (AG( (! ( potential( ( 3 ) <= (tk(P112)) ) | potential( ( 2 ) <= (tk(P130)) ) )))))
PROPERTY: Raft-PT-06-CTLCardinality-07 (AU( potential( (tk(P13)) <= (tk(P99)) ),(EF(potential( ( 2 ) <= (tk(P33)) ))) ))
PROPERTY: Raft-PT-06-CTLCardinality-08 (! (EF(potential( ( 3 ) <= (tk(P178)) ))))
PROPERTY: Raft-PT-06-CTLCardinality-09 (EF((AX( potential( ( 1 ) <= (tk(P92)) )))))
PROPERTY: Raft-PT-06-CTLCardinality-10 (AG( ( (AX( potential( (tk(P96)) <= (tk(P142)) ))) | (EF(potential( (tk(P129)) <= (tk(P108)) ))) )))
PROPERTY: Raft-PT-06-CTLCardinality-11 (! (! (AG( ( potential( (tk(P177)) <= (tk(P23)) ) | potential( (tk(P122)) <= (tk(P159)) ) )))))
PROPERTY: Raft-PT-06-CTLCardinality-12 (EF(( potential( ( 1 ) <= (tk(P32)) ) & (! (! potential( ( 1 ) <= (tk(P183)) ))) )))
PROPERTY: Raft-PT-06-CTLCardinality-13 ( ( potential( (tk(P88)) <= (tk(P21)) ) & (AF(potential( ( 2 ) <= (tk(P33)) ))) ) | ( ( potential( ( 3 ) <= (tk(P188)) ) | (! potential( ( 3 ) <= (tk(P156)) )) ) & ( (EF(potential( ( 2 ) <= (tk(P14)) ))) | (AG( potential( ( 1 ) <= (tk(P100)) ))) ) ) )
PROPERTY: Raft-PT-06-CTLCardinality-14 (AG( (AF(( potential( (tk(P82)) <= (tk(P121)) ) | potential( ( 3 ) <= (tk(P102)) ) )))))
PROPERTY: Raft-PT-06-CTLCardinality-15 potential( ( 2 ) <= (tk(P129)) )

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Raft-PT-06"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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-4028"
echo " Executing tool smart"
echo " Input is Raft-PT-06, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r138-smll-158961502600251"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Raft-PT-06.tgz
mv Raft-PT-06 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;