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.r003-smll-158897508000035.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 ASLink-PT-02b, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897508000035
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 588K
-rw-r--r-- 1 mcc users 3.5K Mar 25 09:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 25 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 09:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 25 09:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.1K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Mar 25 09:02 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 25 09:02 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 25 08:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 08:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 09:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 25 09:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 417K Mar 24 05:37 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 ASLink-PT-02b-CTLCardinality-00
FORMULA_NAME ASLink-PT-02b-CTLCardinality-01
FORMULA_NAME ASLink-PT-02b-CTLCardinality-02
FORMULA_NAME ASLink-PT-02b-CTLCardinality-03
FORMULA_NAME ASLink-PT-02b-CTLCardinality-04
FORMULA_NAME ASLink-PT-02b-CTLCardinality-05
FORMULA_NAME ASLink-PT-02b-CTLCardinality-06
FORMULA_NAME ASLink-PT-02b-CTLCardinality-07
FORMULA_NAME ASLink-PT-02b-CTLCardinality-08
FORMULA_NAME ASLink-PT-02b-CTLCardinality-09
FORMULA_NAME ASLink-PT-02b-CTLCardinality-10
FORMULA_NAME ASLink-PT-02b-CTLCardinality-11
FORMULA_NAME ASLink-PT-02b-CTLCardinality-12
FORMULA_NAME ASLink-PT-02b-CTLCardinality-13
FORMULA_NAME ASLink-PT-02b-CTLCardinality-14
FORMULA_NAME ASLink-PT-02b-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1588997175654

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 02b
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: 1242 places, 1621 transitions, 5041 arcs.
AT ITER 0 NEW BEST:: SOT 1196856 SOS 402698 HAS SOPS 402698 HAS SOUS 312631 HAS SOUPS 312631 WITH SCORE 313033.698
AT ITER 3 NEW BEST:: SOT 1196811 SOS 402608 HAS SOPS 402608 HAS SOUS 312541 HAS SOUPS 312541 WITH SCORE 312943.608
AT ITER 16 NEW BEST:: SOT 1196658 SOS 402211 HAS SOPS 402211 HAS SOUS 312224 HAS SOUPS 312224 WITH SCORE 312626.211
AT ITER 18 NEW BEST:: SOT 1196518 SOS 403257 HAS SOPS 403257 HAS SOUS 312108 HAS SOUPS 312108 WITH SCORE 312511.257
AT ITER 34 NEW BEST:: SOT 1196085 SOS 402911 HAS SOPS 402911 HAS SOUS 311761 HAS SOUPS 311761 WITH SCORE 312163.911
AT ITER 67 NEW BEST:: SOT 1195768 SOS 402850 HAS SOPS 402850 HAS SOUS 311383 HAS SOUPS 311383 WITH SCORE 311785.85
AT ITER 89 NEW BEST:: SOT 1195748 SOS 402504 HAS SOPS 402504 HAS SOUS 311304 HAS SOUPS 311304 WITH SCORE 311706.504
AT ITER 93 NEW BEST:: SOT 1195736 SOS 402382 HAS SOPS 402382 HAS SOUS 311189 HAS SOUPS 311189 WITH SCORE 311591.382
AT ITER 96 NEW BEST:: SOT 1194371 SOS 401199 HAS SOPS 401199 HAS SOUS 311189 HAS SOUPS 311189 WITH SCORE 311590.199
AT ITER 97 NEW BEST:: SOT 1194330 SOS 402459 HAS SOPS 402459 HAS SOUS 311147 HAS SOUPS 311147 WITH SCORE 311549.459
AT ITER 107 NEW BEST:: SOT 1194330 SOS 402099 HAS SOPS 402099 HAS SOUS 310967 HAS SOUPS 310967 WITH SCORE 311369.099
AT ITER 112 NEW BEST:: SOT 1194330 SOS 401583 HAS SOPS 401583 HAS SOUS 310967 HAS SOUPS 310967 WITH SCORE 311368.583
AT ITER 114 NEW BEST:: SOT 1194282 SOS 401523 HAS SOPS 401523 HAS SOUS 310907 HAS SOUPS 310907 WITH SCORE 311308.523
AT ITER 116 NEW BEST:: SOT 1194015 SOS 402981 HAS SOPS 402981 HAS SOUS 310496 HAS SOUPS 310496 WITH SCORE 310898.981
AT ITER 117 NEW BEST:: SOT 1193970 SOS 402936 HAS SOPS 402936 HAS SOUS 310439 HAS SOUPS 310439 WITH SCORE 310841.936
AT ITER 129 NEW BEST:: SOT 1193970 SOS 402936 HAS SOPS 402936 HAS SOUS 310437 HAS SOUPS 310437 WITH SCORE 310839.936
AT ITER 158 NEW BEST:: SOT 1193767 SOS 402521 HAS SOPS 402521 HAS SOUS 309984 HAS SOUPS 309984 WITH SCORE 310386.521
AT ITER 164 NEW BEST:: SOT 1193812 SOS 402456 HAS SOPS 402456 HAS SOUS 309919 HAS SOUPS 309919 WITH SCORE 310321.456
AT ITER 171 NEW BEST:: SOT 1193323 SOS 402535 HAS SOPS 402535 HAS SOUS 309656 HAS SOUPS 309656 WITH SCORE 310058.535
AT ITER 177 NEW BEST:: SOT 1192707 SOS 402937 HAS SOPS 402937 HAS SOUS 309433 HAS SOUPS 309433 WITH SCORE 309835.937
AT ITER 182 NEW BEST:: SOT 1192509 SOS 403008 HAS SOPS 403008 HAS SOUS 309405 HAS SOUPS 309405 WITH SCORE 309808.008
AT ITER 187 NEW BEST:: SOT 1192507 SOS 402861 HAS SOPS 402861 HAS SOUS 309258 HAS SOUPS 309258 WITH SCORE 309660.861
AT ITER 206 NEW BEST:: SOT 1192415 SOS 402769 HAS SOPS 402769 HAS SOUS 309165 HAS SOUPS 309165 WITH SCORE 309567.769
AT ITER 207 NEW BEST:: SOT 1192481 SOS 402763 HAS SOPS 402763 HAS SOUS 309159 HAS SOUPS 309159 WITH SCORE 309561.763
AT ITER 208 NEW BEST:: SOT 1192439 SOS 402678 HAS SOPS 402678 HAS SOUS 309074 HAS SOUPS 309074 WITH SCORE 309476.678
AT ITER 209 NEW BEST:: SOT 1192420 SOS 402652 HAS SOPS 402652 HAS SOUS 309048 HAS SOUPS 309048 WITH SCORE 309450.652
AT ITER 218 NEW BEST:: SOT 1188755 SOS 399041 HAS SOPS 399041 HAS SOUS 305373 HAS SOUPS 305373 WITH SCORE 305772.041
AT ITER 227 NEW BEST:: SOT 1188755 SOS 399033 HAS SOPS 399033 HAS SOUS 305372 HAS SOUPS 305372 WITH SCORE 305771.033
AT ITER 239 NEW BEST:: SOT 1188581 SOS 398924 HAS SOPS 398924 HAS SOUS 305263 HAS SOUPS 305263 WITH SCORE 305661.924
AT ITER 264 NEW BEST:: SOT 1188571 SOS 398951 HAS SOPS 398951 HAS SOUS 305252 HAS SOUPS 305252 WITH SCORE 305650.951
AT ITER 271 NEW BEST:: SOT 1188571 SOS 398878 HAS SOPS 398878 HAS SOUS 305179 HAS SOUPS 305179 WITH SCORE 305577.878
AT ITER 274 NEW BEST:: SOT 1188571 SOS 398351 HAS SOPS 398351 HAS SOUS 305110 HAS SOUPS 305110 WITH SCORE 305508.351
AT ITER 296 NEW BEST:: SOT 1188571 SOS 398316 HAS SOPS 398316 HAS SOUS 305110 HAS SOUPS 305110 WITH SCORE 305508.316
AT ITER 300 NEW BEST:: SOT 1188057 SOS 397409 HAS SOPS 397409 HAS SOUS 304339 HAS SOUPS 304339 WITH SCORE 304736.409
AT ITER 312 NEW BEST:: SOT 1186623 SOS 397887 HAS SOPS 397887 HAS SOUS 303144 HAS SOUPS 303144 WITH SCORE 303541.887
AT ITER 314 NEW BEST:: SOT 1186513 SOS 397491 HAS SOPS 397491 HAS SOUS 302924 HAS SOUPS 302924 WITH SCORE 303321.491
AT ITER 316 NEW BEST:: SOT 1186285 SOS 397263 HAS SOPS 397263 HAS SOUS 302690 HAS SOUPS 302690 WITH SCORE 303087.263
AT ITER 320 NEW BEST:: SOT 1185949 SOS 396927 HAS SOPS 396927 HAS SOUS 302354 HAS SOUPS 302354 WITH SCORE 302750.927
AT ITER 325 NEW BEST:: SOT 1185823 SOS 396801 HAS SOPS 396801 HAS SOUS 302354 HAS SOUPS 302354 WITH SCORE 302750.801
AT ITER 343 NEW BEST:: SOT 1185823 SOS 396732 HAS SOPS 396732 HAS SOUS 302285 HAS SOUPS 302285 WITH SCORE 302681.732
AT ITER 361 NEW BEST:: SOT 1185818 SOS 396524 HAS SOPS 396524 HAS SOUS 302174 HAS SOUPS 302174 WITH SCORE 302570.524
AT ITER 364 NEW BEST:: SOT 1185664 SOS 396259 HAS SOPS 396259 HAS SOUS 302019 HAS SOUPS 302019 WITH SCORE 302415.259
AT ITER 367 NEW BEST:: SOT 1185485 SOS 397245 HAS SOPS 397245 HAS SOUS 302018 HAS SOUPS 302018 WITH SCORE 302415.245
AT ITER 380 NEW BEST:: SOT 1184750 SOS 397397 HAS SOPS 397397 HAS SOUS 301870 HAS SOUPS 301870 WITH SCORE 302267.397
AT ITER 403 NEW BEST:: SOT 1184620 SOS 397137 HAS SOPS 397137 HAS SOUS 301610 HAS SOUPS 301610 WITH SCORE 302007.137
AT ITER 414 NEW BEST:: SOT 1184602 SOS 396849 HAS SOPS 396849 HAS SOUS 301549 HAS SOUPS 301549 WITH SCORE 301945.849
AT ITER 420 NEW BEST:: SOT 1184601 SOS 396847 HAS SOPS 396847 HAS SOUS 301547 HAS SOUPS 301547 WITH SCORE 301943.847
AT ITER 427 NEW BEST:: SOT 1184575 SOS 396795 HAS SOPS 396795 HAS SOUS 301495 HAS SOUPS 301495 WITH SCORE 301891.795
AT ITER 431 NEW BEST:: SOT 1184489 SOS 396623 HAS SOPS 396623 HAS SOUS 301405 HAS SOUPS 301405 WITH SCORE 301801.623
AT ITER 433 NEW BEST:: SOT 1184489 SOS 396449 HAS SOPS 396449 HAS SOUS 301390 HAS SOUPS 301390 WITH SCORE 301786.449
AT ITER 446 NEW BEST:: SOT 1184232 SOS 397991 HAS SOPS 397991 HAS SOUS 301261 HAS SOUPS 301261 WITH SCORE 301658.991
AT ITER 467 NEW BEST:: SOT 1184124 SOS 397654 HAS SOPS 397654 HAS SOUS 300931 HAS SOUPS 300931 WITH SCORE 301328.654
AT ITER 488 NEW BEST:: SOT 1183788 SOS 397384 HAS SOPS 397384 HAS SOUS 300815 HAS SOUPS 300815 WITH SCORE 301212.384
AT ITER 498 NEW BEST:: SOT 1183637 SOS 397081 HAS SOPS 397081 HAS SOUS 300621 HAS SOUPS 300621 WITH SCORE 301018.081
AT ITER 507 NEW BEST:: SOT 1183728 SOS 396887 HAS SOPS 396887 HAS SOUS 300427 HAS SOUPS 300427 WITH SCORE 300823.887
AT ITER 534 NEW BEST:: SOT 1183424 SOS 396620 HAS SOPS 396620 HAS SOUS 299931 HAS SOUPS 299931 WITH SCORE 300327.62
AT ITER 558 NEW BEST:: SOT 1181743 SOS 395357 HAS SOPS 395357 HAS SOUS 298574 HAS SOUPS 298574 WITH SCORE 298969.357
AT ITER 576 NEW BEST:: SOT 1181741 SOS 395346 HAS SOPS 395346 HAS SOUS 298560 HAS SOUPS 298560 WITH SCORE 298955.346
AT ITER 579 NEW BEST:: SOT 1181913 SOS 395593 HAS SOPS 395593 HAS SOUS 298384 HAS SOUPS 298384 WITH SCORE 298779.593
AT ITER 600 NEW BEST:: SOT 1181879 SOS 395525 HAS SOPS 395525 HAS SOUS 298260 HAS SOUPS 298260 WITH SCORE 298655.525
AT ITER 603 NEW BEST:: SOT 1180900 SOS 395107 HAS SOPS 395107 HAS SOUS 297418 HAS SOUPS 297418 WITH SCORE 297813.107
AT ITER 610 NEW BEST:: SOT 1180855 SOS 395062 HAS SOPS 395062 HAS SOUS 297373 HAS SOUPS 297373 WITH SCORE 297768.062
AT ITER 615 NEW BEST:: SOT 1180855 SOS 395034 HAS SOPS 395034 HAS SOUS 297370 HAS SOUPS 297370 WITH SCORE 297765.034
AT ITER 618 NEW BEST:: SOT 1181201 SOS 395745 HAS SOPS 395745 HAS SOUS 297301 HAS SOUPS 297301 WITH SCORE 297696.745
AT ITER 624 NEW BEST:: SOT 1180984 SOS 395158 HAS SOPS 395158 HAS SOUS 295310 HAS SOUPS 295310 WITH SCORE 295705.158
AT ITER 629 NEW BEST:: SOT 1180745 SOS 394744 HAS SOPS 394744 HAS SOUS 294896 HAS SOUPS 294896 WITH SCORE 295290.744
AT ITER 630 NEW BEST:: SOT 1180660 SOS 394659 HAS SOPS 394659 HAS SOUS 294811 HAS SOUPS 294811 WITH SCORE 295205.659
AT ITER 631 NEW BEST:: SOT 1180554 SOS 394489 HAS SOPS 394489 HAS SOUS 294641 HAS SOUPS 294641 WITH SCORE 295035.489
AT ITER 632 NEW BEST:: SOT 1180483 SOS 394618 HAS SOPS 394618 HAS SOUS 294586 HAS SOUPS 294586 WITH SCORE 294980.618
AT ITER 633 NEW BEST:: SOT 1180379 SOS 394305 HAS SOPS 394305 HAS SOUS 294273 HAS SOUPS 294273 WITH SCORE 294667.305
AT ITER 650 NEW BEST:: SOT 1179705 SOS 395183 HAS SOPS 395183 HAS SOUS 293697 HAS SOUPS 293697 WITH SCORE 294092.183
AT ITER 665 NEW BEST:: SOT 1179526 SOS 395004 HAS SOPS 395004 HAS SOUS 293511 HAS SOUPS 293511 WITH SCORE 293906.004
AT ITER 672 NEW BEST:: SOT 1179521 SOS 394994 HAS SOPS 394994 HAS SOUS 293506 HAS SOUPS 293506 WITH SCORE 293900.994
AT ITER 676 NEW BEST:: SOT 1179352 SOS 394656 HAS SOPS 394656 HAS SOUS 293304 HAS SOUPS 293304 WITH SCORE 293698.656
AT ITER 681 NEW BEST:: SOT 1179268 SOS 394572 HAS SOPS 394572 HAS SOUS 293220 HAS SOUPS 293220 WITH SCORE 293614.572
AT ITER 682 NEW BEST:: SOT 1179110 SOS 394256 HAS SOPS 394256 HAS SOUS 291797 HAS SOUPS 291797 WITH SCORE 292191.256
AT ITER 688 NEW BEST:: SOT 1179105 SOS 394246 HAS SOPS 394246 HAS SOUS 291712 HAS SOUPS 291712 WITH SCORE 292106.246
AT ITER 689 NEW BEST:: SOT 1178997 SOS 395218 HAS SOPS 395218 HAS SOUS 291604 HAS SOUPS 291604 WITH SCORE 291999.218
AT ITER 702 NEW BEST:: SOT 1178728 SOS 395084 HAS SOPS 395084 HAS SOUS 291604 HAS SOUPS 291604 WITH SCORE 291999.084
AT ITER 711 NEW BEST:: SOT 1178656 SOS 394994 HAS SOPS 394994 HAS SOUS 291514 HAS SOUPS 291514 WITH SCORE 291908.994
AT ITER 721 NEW BEST:: SOT 1178500 SOS 394883 HAS SOPS 394883 HAS SOUS 291492 HAS SOUPS 291492 WITH SCORE 291886.883
AT ITER 731 NEW BEST:: SOT 1178499 SOS 394027 HAS SOPS 394027 HAS SOUS 291490 HAS SOUPS 291490 WITH SCORE 291884.027
AT ITER 761 NEW BEST:: SOT 1178498 SOS 393896 HAS SOPS 393896 HAS SOUS 291478 HAS SOUPS 291478 WITH SCORE 291871.896
AT ITER 763 NEW BEST:: SOT 1178419 SOS 393819 HAS SOPS 393819 HAS SOUS 291401 HAS SOUPS 291401 WITH SCORE 291794.819
AT ITER 781 NEW BEST:: SOT 1178418 SOS 393818 HAS SOPS 393818 HAS SOUS 291399 HAS SOUPS 291399 WITH SCORE 291792.818
AT ITER 784 NEW BEST:: SOT 1178162 SOS 393224 HAS SOPS 393224 HAS SOUS 290992 HAS SOUPS 290992 WITH SCORE 291385.224
AT ITER 788 NEW BEST:: SOT 1178092 SOS 393060 HAS SOPS 393060 HAS SOUS 290898 HAS SOUPS 290898 WITH SCORE 291291.06
AT ITER 807 NEW BEST:: SOT 1178092 SOS 393060 HAS SOPS 393060 HAS SOUS 290878 HAS SOUPS 290878 WITH SCORE 291271.06
AT ITER 815 NEW BEST:: SOT 1178043 SOS 392973 HAS SOPS 392973 HAS SOUS 290788 HAS SOUPS 290788 WITH SCORE 291180.973
AT ITER 851 NEW BEST:: SOT 1178043 SOS 392973 HAS SOPS 392973 HAS SOUS 290606 HAS SOUPS 290606 WITH SCORE 290998.973
AT ITER 856 NEW BEST:: SOT 1177891 SOS 392855 HAS SOPS 392855 HAS SOUS 290491 HAS SOUPS 290491 WITH SCORE 290883.855
AT ITER 857 NEW BEST:: SOT 1177891 SOS 392855 HAS SOPS 392855 HAS SOUS 290029 HAS SOUPS 290029 WITH SCORE 290421.855
AT ITER 882 NEW BEST:: SOT 1176348 SOS 392966 HAS SOPS 392966 HAS SOUS 289011 HAS SOUPS 289011 WITH SCORE 289403.966
AT ITER 900 NEW BEST:: SOT 1175648 SOS 392266 HAS SOPS 392266 HAS SOUS 288311 HAS SOUPS 288311 WITH SCORE 288703.266
AT ITER 901 NEW BEST:: SOT 1175430 SOS 391875 HAS SOPS 391875 HAS SOUS 287981 HAS SOUPS 287981 WITH SCORE 288372.875
AT ITER 923 NEW BEST:: SOT 1174866 SOS 392772 HAS SOPS 392772 HAS SOUS 287351 HAS SOUPS 287351 WITH SCORE 287743.772
AT ITER 933 NEW BEST:: SOT 1174866 SOS 392697 HAS SOPS 392697 HAS SOUS 287348 HAS SOUPS 287348 WITH SCORE 287740.697
AT ITER 942 NEW BEST:: SOT 1174798 SOS 392458 HAS SOPS 392458 HAS SOUS 287109 HAS SOUPS 287109 WITH SCORE 287501.458
AT ITER 946 NEW BEST:: SOT 1174786 SOS 392422 HAS SOPS 392422 HAS SOUS 287085 HAS SOUPS 287085 WITH SCORE 287477.422
AT ITER 952 NEW BEST:: SOT 1174786 SOS 392396 HAS SOPS 392396 HAS SOUS 287059 HAS SOUPS 287059 WITH SCORE 287451.396
AT ITER 969 NEW BEST:: SOT 1174786 SOS 392336 HAS SOPS 392336 HAS SOUS 287059 HAS SOUPS 287059 WITH SCORE 287451.336
AT ITER 976 NEW BEST:: SOT 1174823 SOS 393328 HAS SOPS 393328 HAS SOUS 286967 HAS SOUPS 286967 WITH SCORE 287360.328
AT ITER 983 NEW BEST:: SOT 1174798 SOS 393282 HAS SOPS 393282 HAS SOUS 285601 HAS SOUPS 285601 WITH SCORE 285994.282
AT ITER 984 NEW BEST:: SOT 1174798 SOS 393026 HAS SOPS 393026 HAS SOUS 285345 HAS SOUPS 285345 WITH SCORE 285738.026
AT ITER 991 NEW BEST:: SOT 1174743 SOS 392956 HAS SOPS 392956 HAS SOUS 285275 HAS SOUPS 285275 WITH SCORE 285667.956
AT ITER 997 NEW BEST:: SOT 1174459 SOS 392388 HAS SOPS 392388 HAS SOUS 284707 HAS SOUPS 284707 WITH SCORE 285099.388
AT ITER 1003 NEW BEST:: SOT 1174352 SOS 392125 HAS SOPS 392125 HAS SOUS 284647 HAS SOUPS 284647 WITH SCORE 285039.125
AT ITER 1010 NEW BEST:: SOT 1174339 SOS 392115 HAS SOPS 392115 HAS SOUS 284621 HAS SOUPS 284621 WITH SCORE 285013.115
AT ITER 1013 NEW BEST:: SOT 1174339 SOS 392291 HAS SOPS 392291 HAS SOUS 284269 HAS SOUPS 284269 WITH SCORE 284661.291
AT ITER 1027 NEW BEST:: SOT 1174339 SOS 392291 HAS SOPS 392291 HAS SOUS 284268 HAS SOUPS 284268 WITH SCORE 284660.291
AT ITER 1030 NEW BEST:: SOT 1174336 SOS 392285 HAS SOPS 392285 HAS SOUS 284262 HAS SOUPS 284262 WITH SCORE 284654.285
AT ITER 1031 NEW BEST:: SOT 1174309 SOS 393332 HAS SOPS 393332 HAS SOUS 284224 HAS SOUPS 284224 WITH SCORE 284617.332
AT ITER 1050 NEW BEST:: SOT 1175930 SOS 395480 HAS SOPS 395480 HAS SOUS 282913 HAS SOUPS 282913 WITH SCORE 283308.48
AT ITER 1056 NEW BEST:: SOT 1175594 SOS 394955 HAS SOPS 394955 HAS SOUS 282388 HAS SOUPS 282388 WITH SCORE 282782.955
AT ITER 1063 NEW BEST:: SOT 1175156 SOS 394621 HAS SOPS 394621 HAS SOUS 282214 HAS SOUPS 282214 WITH SCORE 282608.621
AT ITER 1071 NEW BEST:: SOT 1175062 SOS 394393 HAS SOPS 394393 HAS SOUS 282119 HAS SOUPS 282119 WITH SCORE 282513.393
AT ITER 1078 NEW BEST:: SOT 1174749 SOS 393761 HAS SOPS 393761 HAS SOUS 280759 HAS SOUPS 280759 WITH SCORE 281152.761
AT ITER 1085 NEW BEST:: SOT 1174825 SOS 393913 HAS SOPS 393913 HAS SOUS 280663 HAS SOUPS 280663 WITH SCORE 281056.913
AT ITER 1087 NEW BEST:: SOT 1174824 SOS 393911 HAS SOPS 393911 HAS SOUS 280661 HAS SOUPS 280661 WITH SCORE 281054.911
AT ITER 1092 NEW BEST:: SOT 1174697 SOS 395038 HAS SOPS 395038 HAS SOUS 280588 HAS SOUPS 280588 WITH SCORE 280983.038
AT ITER 1093 NEW BEST:: SOT 1174697 SOS 394915 HAS SOPS 394915 HAS SOUS 280586 HAS SOUPS 280586 WITH SCORE 280980.915
AT ITER 1117 NEW BEST:: SOT 1173518 SOS 394203 HAS SOPS 394203 HAS SOUS 279407 HAS SOUPS 279407 WITH SCORE 279801.203
AT ITER 1123 NEW BEST:: SOT 1173513 SOS 394143 HAS SOPS 394143 HAS SOUS 279347 HAS SOUPS 279347 WITH SCORE 279741.143
AT ITER 1138 NEW BEST:: SOT 1173508 SOS 394133 HAS SOPS 394133 HAS SOUS 279337 HAS SOUPS 279337 WITH SCORE 279731.133
AT ITER 1140 NEW BEST:: SOT 1173483 SOS 394083 HAS SOPS 394083 HAS SOUS 279312 HAS SOUPS 279312 WITH SCORE 279706.083
AT ITER 1152 NEW BEST:: SOT 1173483 SOS 394017 HAS SOPS 394017 HAS SOUS 279310 HAS SOUPS 279310 WITH SCORE 279704.017
AT ITER 1156 NEW BEST:: SOT 1173426 SOS 393568 HAS SOPS 393568 HAS SOUS 276461 HAS SOUPS 276461 WITH SCORE 276854.568
AT ITER 1160 NEW BEST:: SOT 1173001 SOS 393351 HAS SOPS 393351 HAS SOUS 276244 HAS SOUPS 276244 WITH SCORE 276637.351
AT ITER 1177 NEW BEST:: SOT 1172797 SOS 393045 HAS SOPS 393045 HAS SOUS 275836 HAS SOUPS 275836 WITH SCORE 276229.045
AT ITER 1185 NEW BEST:: SOT 1172318 SOS 392930 HAS SOPS 392930 HAS SOUS 275393 HAS SOUPS 275393 WITH SCORE 275785.93
AT ITER 1202 NEW BEST:: SOT 1172490 SOS 391954 HAS SOPS 391954 HAS SOUS 275346 HAS SOUPS 275346 WITH SCORE 275737.954
AT ITER 1217 NEW BEST:: SOT 1172376 SOS 391866 HAS SOPS 391866 HAS SOUS 275246 HAS SOUPS 275246 WITH SCORE 275637.866
AT ITER 1218 NEW BEST:: SOT 1172376 SOS 391866 HAS SOPS 391866 HAS SOUS 275245 HAS SOUPS 275245 WITH SCORE 275636.866
AT ITER 1219 NEW BEST:: SOT 1172329 SOS 391673 HAS SOPS 391673 HAS SOUS 275160 HAS SOUPS 275160 WITH SCORE 275551.673
AT ITER 1221 NEW BEST:: SOT 1172308 SOS 391679 HAS SOPS 391679 HAS SOUS 275138 HAS SOUPS 275138 WITH SCORE 275529.679
AT ITER 1244 NEW BEST:: SOT 1172098 SOS 391546 HAS SOPS 391546 HAS SOUS 274962 HAS SOUPS 274962 WITH SCORE 275353.546
AT ITER 1251 NEW BEST:: SOT 1172075 SOS 391504 HAS SOPS 391504 HAS SOUS 274939 HAS SOUPS 274939 WITH SCORE 275330.504
AT ITER 1253 NEW BEST:: SOT 1171728 SOS 391326 HAS SOPS 391326 HAS SOUS 274674 HAS SOUPS 274674 WITH SCORE 275065.326
AT ITER 1254 NEW BEST:: SOT 1171635 SOS 391233 HAS SOPS 391233 HAS SOUS 274581 HAS SOUPS 274581 WITH SCORE 274972.233
AT ITER 1255 NEW BEST:: SOT 1171643 SOS 390947 HAS SOPS 390947 HAS SOUS 274297 HAS SOUPS 274297 WITH SCORE 274687.947
AT ITER 1258 NEW BEST:: SOT 1171912 SOS 390614 HAS SOPS 390614 HAS SOUS 274237 HAS SOUPS 274237 WITH SCORE 274627.614
AT ITER 1269 NEW BEST:: SOT 1171800 SOS 390390 HAS SOPS 390390 HAS SOUS 273859 HAS SOUPS 273859 WITH SCORE 274249.39
AT ITER 1278 NEW BEST:: SOT 1171593 SOS 390017 HAS SOPS 390017 HAS SOUS 273625 HAS SOUPS 273625 WITH SCORE 274015.017
AT ITER 1311 NEW BEST:: SOT 1171509 SOS 389574 HAS SOPS 389574 HAS SOUS 273405 HAS SOUPS 273405 WITH SCORE 273794.574
AT ITER 1343 NEW BEST:: SOT 1171507 SOS 389232 HAS SOPS 389232 HAS SOUS 273398 HAS SOUPS 273398 WITH SCORE 273787.232
AT ITER 1358 NEW BEST:: SOT 1171507 SOS 389217 HAS SOPS 389217 HAS SOUS 273398 HAS SOUPS 273398 WITH SCORE 273787.217
AT ITER 1394 NEW BEST:: SOT 1170978 SOS 389131 HAS SOPS 389131 HAS SOUS 272983 HAS SOUPS 272983 WITH SCORE 273372.131
AT ITER 1429 NEW BEST:: SOT 1170342 SOS 390162 HAS SOPS 390162 HAS SOUS 272826 HAS SOUPS 272826 WITH SCORE 273216.162
AT ITER 1458 NEW BEST:: SOT 1170262 SOS 390000 HAS SOPS 390000 HAS SOUS 272664 HAS SOUPS 272664 WITH SCORE 273054.0
AT ITER 1460 NEW BEST:: SOT 1170225 SOS 389852 HAS SOPS 389852 HAS SOUS 272590 HAS SOUPS 272590 WITH SCORE 272979.852
AT ITER 1463 NEW BEST:: SOT 1170168 SOS 389983 HAS SOPS 389983 HAS SOUS 272546 HAS SOUPS 272546 WITH SCORE 272935.983
AT ITER 1479 NEW BEST:: SOT 1169998 SOS 390100 HAS SOPS 390100 HAS SOUS 272416 HAS SOUPS 272416 WITH SCORE 272806.1
AT ITER 1506 NEW BEST:: SOT 1169407 SOS 389922 HAS SOPS 389922 HAS SOUS 272076 HAS SOUPS 272076 WITH SCORE 272465.922
AT ITER 1518 NEW BEST:: SOT 1168359 SOS 388846 HAS SOPS 388846 HAS SOUS 271917 HAS SOUPS 271917 WITH SCORE 272305.846
AT ITER 1535 NEW BEST:: SOT 1168344 SOS 388726 HAS SOPS 388726 HAS SOUS 271872 HAS SOUPS 271872 WITH SCORE 272260.726
AT ITER 1548 NEW BEST:: SOT 1168068 SOS 391469 HAS SOPS 391469 HAS SOUS 271842 HAS SOUPS 271842 WITH SCORE 272233.469
AT ITER 1582 NEW BEST:: SOT 1168066 SOS 391465 HAS SOPS 391465 HAS SOUS 271838 HAS SOUPS 271838 WITH SCORE 272229.465
AT ITER 1587 NEW BEST:: SOT 1167894 SOS 391121 HAS SOPS 391121 HAS SOUS 271494 HAS SOUPS 271494 WITH SCORE 271885.121
AT ITER 1588 NEW BEST:: SOT 1167748 SOS 390973 HAS SOPS 390973 HAS SOUS 271347 HAS SOUPS 271347 WITH SCORE 271737.973
AT ITER 1592 NEW BEST:: SOT 1167692 SOS 390806 HAS SOPS 390806 HAS SOUS 271234 HAS SOUPS 271234 WITH SCORE 271624.806
AT ITER 1593 NEW BEST:: SOT 1167638 SOS 390752 HAS SOPS 390752 HAS SOUS 271126 HAS SOUPS 271126 WITH SCORE 271516.752
AT ITER 1596 NEW BEST:: SOT 1167637 SOS 390668 HAS SOPS 390668 HAS SOUS 271124 HAS SOUPS 271124 WITH SCORE 271514.668
AT ITER 1603 NEW BEST:: SOT 1166684 SOS 389772 HAS SOPS 389772 HAS SOUS 270226 HAS SOUPS 270226 WITH SCORE 270615.772
AT ITER 1607 NEW BEST:: SOT 1166596 SOS 389596 HAS SOPS 389596 HAS SOUS 270138 HAS SOUPS 270138 WITH SCORE 270527.596
AT ITER 1617 NEW BEST:: SOT 1166562 SOS 389562 HAS SOPS 389562 HAS SOUS 269810 HAS SOUPS 269810 WITH SCORE 270199.562
AT ITER 1641 NEW BEST:: SOT 1166552 SOS 389548 HAS SOPS 389548 HAS SOUS 269799 HAS SOUPS 269799 WITH SCORE 270188.548
AT ITER 1654 NEW BEST:: SOT 1166552 SOS 389396 HAS SOPS 389396 HAS SOUS 269675 HAS SOUPS 269675 WITH SCORE 270064.396
AT ITER 1660 NEW BEST:: SOT 1166391 SOS 389235 HAS SOPS 389235 HAS SOUS 269514 HAS SOUPS 269514 WITH SCORE 269903.235
AT ITER 1666 NEW BEST:: SOT 1166390 SOS 389233 HAS SOPS 389233 HAS SOUS 269512 HAS SOUPS 269512 WITH SCORE 269901.233
AT ITER 1670 NEW BEST:: SOT 1166484 SOS 389199 HAS SOPS 389199 HAS SOUS 269478 HAS SOUPS 269478 WITH SCORE 269867.199
AT ITER 1676 NEW BEST:: SOT 1166386 SOS 389108 HAS SOPS 389108 HAS SOUS 269445 HAS SOUPS 269445 WITH SCORE 269834.108
AT ITER 1693 NEW BEST:: SOT 1166355 SOS 389099 HAS SOPS 389099 HAS SOUS 269436 HAS SOUPS 269436 WITH SCORE 269825.099
AT ITER 1695 NEW BEST:: SOT 1166256 SOS 388869 HAS SOPS 388869 HAS SOUS 269188 HAS SOUPS 269188 WITH SCORE 269576.869
AT ITER 1702 NEW BEST:: SOT 1166006 SOS 388619 HAS SOPS 388619 HAS SOUS 268849 HAS SOUPS 268849 WITH SCORE 269237.619
AT ITER 1709 NEW BEST:: SOT 1165857 SOS 388321 HAS SOPS 388321 HAS SOUS 268551 HAS SOUPS 268551 WITH SCORE 268939.321
AT ITER 1716 NEW BEST:: SOT 1165751 SOS 387943 HAS SOPS 387943 HAS SOUS 268173 HAS SOUPS 268173 WITH SCORE 268560.943
AT ITER 1718 NEW BEST:: SOT 1165565 SOS 387757 HAS SOPS 387757 HAS SOUS 267987 HAS SOUPS 267987 WITH SCORE 268374.757
AT ITER 1719 NEW BEST:: SOT 1165655 SOS 388059 HAS SOPS 388059 HAS SOUS 264792 HAS SOUPS 264792 WITH SCORE 265180.059
AT ITER 1729 NEW BEST:: SOT 1165854 SOS 387990 HAS SOPS 387990 HAS SOUS 264723 HAS SOUPS 264723 WITH SCORE 265110.99
AT ITER 1734 NEW BEST:: SOT 1165742 SOS 387855 HAS SOPS 387855 HAS SOUS 264644 HAS SOUPS 264644 WITH SCORE 265031.855
AT ITER 1738 NEW BEST:: SOT 1165760 SOS 387943 HAS SOPS 387943 HAS SOUS 264562 HAS SOUPS 264562 WITH SCORE 264949.943
AT ITER 1743 NEW BEST:: SOT 1165755 SOS 387819 HAS SOPS 387819 HAS SOUS 264552 HAS SOUPS 264552 WITH SCORE 264939.819
AT ITER 1760 NEW BEST:: SOT 1165648 SOS 387604 HAS SOPS 387604 HAS SOUS 264442 HAS SOUPS 264442 WITH SCORE 264829.604
AT ITER 1761 NEW BEST:: SOT 1165406 SOS 387768 HAS SOPS 387768 HAS SOUS 264264 HAS SOUPS 264264 WITH SCORE 264651.768
AT ITER 1762 NEW BEST:: SOT 1165401 SOS 387763 HAS SOPS 387763 HAS SOUS 264259 HAS SOUPS 264259 WITH SCORE 264646.763
AT ITER 1775 NEW BEST:: SOT 1165401 SOS 387580 HAS SOPS 387580 HAS SOUS 264076 HAS SOUPS 264076 WITH SCORE 264463.58
AT ITER 1800 NEW BEST:: SOT 1165226 SOS 387405 HAS SOPS 387405 HAS SOUS 263879 HAS SOUPS 263879 WITH SCORE 264266.405
AT ITER 1803 NEW BEST:: SOT 1165164 SOS 387343 HAS SOPS 387343 HAS SOUS 263879 HAS SOUPS 263879 WITH SCORE 264266.343
AT ITER 1826 NEW BEST:: SOT 1165164 SOS 387286 HAS SOPS 387286 HAS SOUS 263822 HAS SOUPS 263822 WITH SCORE 264209.286
AT ITER 1827 NEW BEST:: SOT 1165209 SOS 387380 HAS SOPS 387380 HAS SOUS 263196 HAS SOUPS 263196 WITH SCORE 263583.38
AT ITER 1828 NEW BEST:: SOT 1165142 SOS 388983 HAS SOPS 388983 HAS SOUS 263061 HAS SOUPS 263061 WITH SCORE 263449.983
AT ITER 1850 NEW BEST:: SOT 1165102 SOS 388908 HAS SOPS 388908 HAS SOUS 263026 HAS SOUPS 263026 WITH SCORE 263414.908
AT ITER 1882 NEW BEST:: SOT 1165102 SOS 388852 HAS SOPS 388852 HAS SOUS 263026 HAS SOUPS 263026 WITH SCORE 263414.852
AT ITER 1894 NEW BEST:: SOT 1165059 SOS 388723 HAS SOPS 388723 HAS SOUS 262897 HAS SOUPS 262897 WITH SCORE 263285.723
AT ITER 1901 NEW BEST:: SOT 1164991 SOS 388587 HAS SOPS 388587 HAS SOUS 262829 HAS SOUPS 262829 WITH SCORE 263217.587
AT ITER 1923 NEW BEST:: SOT 1164933 SOS 388557 HAS SOPS 388557 HAS SOUS 262812 HAS SOUPS 262812 WITH SCORE 263200.557
AT ITER 1929 NEW BEST:: SOT 1164739 SOS 388169 HAS SOPS 388169 HAS SOUS 262655 HAS SOUPS 262655 WITH SCORE 263043.169
AT ITER 1934 NEW BEST:: SOT 1164710 SOS 388140 HAS SOPS 388140 HAS SOUS 262626 HAS SOUPS 262626 WITH SCORE 263014.14
AT ITER 1946 NEW BEST:: SOT 1164705 SOS 388130 HAS SOPS 388130 HAS SOUS 262620 HAS SOUPS 262620 WITH SCORE 263008.13
AT ITER 1950 NEW BEST:: SOT 1164664 SOS 387176 HAS SOPS 387176 HAS SOUS 262612 HAS SOUPS 262612 WITH SCORE 262999.176
AT ITER 1957 NEW BEST:: SOT 1164664 SOS 387211 HAS SOPS 387211 HAS SOUS 261778 HAS SOUPS 261778 WITH SCORE 262165.211
AT ITER 1959 NEW BEST:: SOT 1164661 SOS 387355 HAS SOPS 387355 HAS SOUS 261772 HAS SOUPS 261772 WITH SCORE 262159.355
AT ITER 1962 NEW BEST:: SOT 1164660 SOS 387228 HAS SOPS 387228 HAS SOUS 261688 HAS SOUPS 261688 WITH SCORE 262075.228
AT ITER 1967 NEW BEST:: SOT 1164659 SOS 387226 HAS SOPS 387226 HAS SOUS 261686 HAS SOUPS 261686 WITH SCORE 262073.226
AT ITER 1981 NEW BEST:: SOT 1164625 SOS 387124 HAS SOPS 387124 HAS SOUS 261613 HAS SOUPS 261613 WITH SCORE 262000.124
AT ITER 1987 NEW BEST:: SOT 1164606 SOS 386894 HAS SOPS 386894 HAS SOUS 261527 HAS SOUPS 261527 WITH SCORE 261913.894
AT ITER 1991 NEW BEST:: SOT 1164556 SOS 386740 HAS SOPS 386740 HAS SOUS 261427 HAS SOUPS 261427 WITH SCORE 261813.74
AT ITER 2021 NEW BEST:: SOT 1164550 SOS 386734 HAS SOPS 386734 HAS SOUS 261421 HAS SOUPS 261421 WITH SCORE 261807.734
AT ITER 2027 NEW BEST:: SOT 1164519 SOS 386672 HAS SOPS 386672 HAS SOUS 261359 HAS SOUPS 261359 WITH SCORE 261745.672
AT ITER 2029 NEW BEST:: SOT 1164456 SOS 386483 HAS SOPS 386483 HAS SOUS 261170 HAS SOUPS 261170 WITH SCORE 261556.483
AT ITER 2033 NEW BEST:: SOT 1164456 SOS 385959 HAS SOPS 385959 HAS SOUS 260919 HAS SOUPS 260919 WITH SCORE 261304.959
AT ITER 2056 NEW BEST:: SOT 1164422 SOS 386001 HAS SOPS 386001 HAS SOUS 260852 HAS SOUPS 260852 WITH SCORE 261238.001
AT ITER 2063 NEW BEST:: SOT 1164212 SOS 384104 HAS SOPS 384104 HAS SOUS 260724 HAS SOUPS 260724 WITH SCORE 261108.104
AT ITER 2091 NEW BEST:: SOT 1163302 SOS 383212 HAS SOPS 383212 HAS SOUS 259832 HAS SOUPS 259832 WITH SCORE 260215.212
AT ITER 2100 NEW BEST:: SOT 1163246 SOS 383140 HAS SOPS 383140 HAS SOUS 259824 HAS SOUPS 259824 WITH SCORE 260207.14
AT ITER 2108 NEW BEST:: SOT 1163208 SOS 383099 HAS SOPS 383099 HAS SOUS 259783 HAS SOUPS 259783 WITH SCORE 260166.099
AT ITER 2111 NEW BEST:: SOT 1163179 SOS 383012 HAS SOPS 383012 HAS SOUS 259696 HAS SOUPS 259696 WITH SCORE 260079.012
AT ITER 2115 NEW BEST:: SOT 1163179 SOS 383012 HAS SOPS 383012 HAS SOUS 258346 HAS SOUPS 258346 WITH SCORE 258729.012
AT ITER 2132 NEW BEST:: SOT 1163146 SOS 382763 HAS SOPS 382763 HAS SOUS 258270 HAS SOUPS 258270 WITH SCORE 258652.763
AT ITER 2135 NEW BEST:: SOT 1163012 SOS 382357 HAS SOPS 382357 HAS SOUS 257888 HAS SOUPS 257888 WITH SCORE 258270.357
AT ITER 2143 NEW BEST:: SOT 1162836 SOS 382037 HAS SOPS 382037 HAS SOUS 257568 HAS SOUPS 257568 WITH SCORE 257950.037
AT ITER 2153 NEW BEST:: SOT 1162933 SOS 382180 HAS SOPS 382180 HAS SOUS 257469 HAS SOUPS 257469 WITH SCORE 257851.18
AT ITER 2159 NEW BEST:: SOT 1162738 SOS 381931 HAS SOPS 381931 HAS SOUS 256170 HAS SOUPS 256170 WITH SCORE 256551.931
AT ITER 2184 NEW BEST:: SOT 1162653 SOS 381844 HAS SOPS 381844 HAS SOUS 256083 HAS SOUPS 256083 WITH SCORE 256464.844
AT ITER 2191 NEW BEST:: SOT 1162602 SOS 381802 HAS SOPS 381802 HAS SOUS 256026 HAS SOUPS 256026 WITH SCORE 256407.802
AT ITER 2208 NEW BEST:: SOT 1162537 SOS 381884 HAS SOPS 381884 HAS SOUS 256002 HAS SOUPS 256002 WITH SCORE 256383.884
AT ITER 2210 NEW BEST:: SOT 1162523 SOS 381796 HAS SOPS 381796 HAS SOUS 255836 HAS SOUPS 255836 WITH SCORE 256217.796
AT ITER 2221 NEW BEST:: SOT 1162422 SOS 380629 HAS SOPS 380629 HAS SOUS 255279 HAS SOUPS 255279 WITH SCORE 255659.629
AT ITER 2236 NEW BEST:: SOT 1162419 SOS 380617 HAS SOPS 380617 HAS SOUS 255275 HAS SOUPS 255275 WITH SCORE 255655.617
AT ITER 2237 NEW BEST:: SOT 1162392 SOS 380530 HAS SOPS 380530 HAS SOUS 255188 HAS SOUPS 255188 WITH SCORE 255568.53
AT ITER 2238 NEW BEST:: SOT 1162297 SOS 380364 HAS SOPS 380364 HAS SOUS 254989 HAS SOUPS 254989 WITH SCORE 255369.364
AT ITER 2239 NEW BEST:: SOT 1162166 SOS 380250 HAS SOPS 380250 HAS SOUS 254958 HAS SOUPS 254958 WITH SCORE 255338.25
AT ITER 2283 NEW BEST:: SOT 1161997 SOS 380134 HAS SOPS 380134 HAS SOUS 254825 HAS SOUPS 254825 WITH SCORE 255205.134
AT ITER 2289 NEW BEST:: SOT 1161936 SOS 380071 HAS SOPS 380071 HAS SOUS 254276 HAS SOUPS 254276 WITH SCORE 254656.071
AT ITER 2296 NEW BEST:: SOT 1161884 SOS 379992 HAS SOPS 379992 HAS SOUS 254221 HAS SOUPS 254221 WITH SCORE 254600.992
AT ITER 2307 NEW BEST:: SOT 1161751 SOS 379730 HAS SOPS 379730 HAS SOUS 254084 HAS SOUPS 254084 WITH SCORE 254463.73
AT ITER 2316 NEW BEST:: SOT 1161591 SOS 379576 HAS SOPS 379576 HAS SOUS 254056 HAS SOUPS 254056 WITH SCORE 254435.576
AT ITER 2318 NEW BEST:: SOT 1161499 SOS 379390 HAS SOPS 379390 HAS SOUS 253963 HAS SOUPS 253963 WITH SCORE 254342.39
AT ITER 2336 NEW BEST:: SOT 1161496 SOS 379353 HAS SOPS 379353 HAS SOUS 253926 HAS SOUPS 253926 WITH SCORE 254305.353
AT ITER 2346 NEW BEST:: SOT 1161458 SOS 379315 HAS SOPS 379315 HAS SOUS 253888 HAS SOUPS 253888 WITH SCORE 254267.315
AT ITER 2347 NEW BEST:: SOT 1161458 SOS 379262 HAS SOPS 379262 HAS SOUS 253835 HAS SOUPS 253835 WITH SCORE 254214.262
AT ITER 2367 NEW BEST:: SOT 1160586 SOS 378523 HAS SOPS 378523 HAS SOUS 252963 HAS SOUPS 252963 WITH SCORE 253341.523
AT ITER 2377 NEW BEST:: SOT 1160561 SOS 378473 HAS SOPS 378473 HAS SOUS 252937 HAS SOUPS 252937 WITH SCORE 253315.473
AT ITER 2378 NEW BEST:: SOT 1160561 SOS 378353 HAS SOPS 378353 HAS SOUS 252877 HAS SOUPS 252877 WITH SCORE 253255.353
AT ITER 2379 NEW BEST:: SOT 1160415 SOS 378281 HAS SOPS 378281 HAS SOUS 252786 HAS SOUPS 252786 WITH SCORE 253164.281
AT ITER 2380 NEW BEST:: SOT 1160322 SOS 378046 HAS SOPS 378046 HAS SOUS 252599 HAS SOUPS 252599 WITH SCORE 252977.046
AT ITER 2381 NEW BEST:: SOT 1160322 SOS 377969 HAS SOPS 377969 HAS SOUS 252522 HAS SOUPS 252522 WITH SCORE 252899.969
AT ITER 2384 NEW BEST:: SOT 1160290 SOS 378008 HAS SOPS 378008 HAS SOUS 252490 HAS SOUPS 252490 WITH SCORE 252868.008
AT ITER 2394 NEW BEST:: SOT 1160095 SOS 377616 HAS SOPS 377616 HAS SOUS 252098 HAS SOUPS 252098 WITH SCORE 252475.616
AT ITER 2400 NEW BEST:: SOT 1160077 SOS 377598 HAS SOPS 377598 HAS SOUS 252080 HAS SOUPS 252080 WITH SCORE 252457.598
AT ITER 2405 NEW BEST:: SOT 1160088 SOS 377540 HAS SOPS 377540 HAS SOUS 251984 HAS SOUPS 251984 WITH SCORE 252361.54
AT ITER 2406 NEW BEST:: SOT 1159490 SOS 377399 HAS SOPS 377399 HAS SOUS 251718 HAS SOUPS 251718 WITH SCORE 252095.399
AT ITER 2424 NEW BEST:: SOT 1159444 SOS 377450 HAS SOPS 377450 HAS SOUS 251634 HAS SOUPS 251634 WITH SCORE 252011.45
AT ITER 2439 NEW BEST:: SOT 1159440 SOS 377442 HAS SOPS 377442 HAS SOUS 251626 HAS SOUPS 251626 WITH SCORE 252003.442
AT ITER 2443 NEW BEST:: SOT 1159280 SOS 378030 HAS SOPS 378030 HAS SOUS 251306 HAS SOUPS 251306 WITH SCORE 251684.03
AT ITER 2447 NEW BEST:: SOT 1159280 SOS 377869 HAS SOPS 377869 HAS SOUS 251305 HAS SOUPS 251305 WITH SCORE 251682.869
AT ITER 2466 NEW BEST:: SOT 1159124 SOS 377594 HAS SOPS 377594 HAS SOUS 251030 HAS SOUPS 251030 WITH SCORE 251407.594
AT ITER 2469 NEW BEST:: SOT 1159104 SOS 377380 HAS SOPS 377380 HAS SOUS 251013 HAS SOUPS 251013 WITH SCORE 251390.38
AT ITER 2472 NEW BEST:: SOT 1159072 SOS 377396 HAS SOPS 377396 HAS SOUS 250888 HAS SOUPS 250888 WITH SCORE 251265.396
AT ITER 2474 NEW BEST:: SOT 1159072 SOS 377456 HAS SOPS 377456 HAS SOUS 250764 HAS SOUPS 250764 WITH SCORE 251141.456
AT ITER 2485 NEW BEST:: SOT 1159072 SOS 377440 HAS SOPS 377440 HAS SOUS 250764 HAS SOUPS 250764 WITH SCORE 251141.44
AT ITER 2495 NEW BEST:: SOT 1159072 SOS 376910 HAS SOPS 376910 HAS SOUS 250731 HAS SOUPS 250731 WITH SCORE 251107.91
AT ITER 2496 NEW BEST:: SOT 1159071 SOS 376783 HAS SOPS 376783 HAS SOUS 250729 HAS SOUPS 250729 WITH SCORE 251105.783
AT ITER 2503 NEW BEST:: SOT 1159007 SOS 376713 HAS SOPS 376713 HAS SOUS 250659 HAS SOUPS 250659 WITH SCORE 251035.713
AT ITER 2506 NEW BEST:: SOT 1159007 SOS 376709 HAS SOPS 376709 HAS SOUS 250655 HAS SOUPS 250655 WITH SCORE 251031.709
AT ITER 2521 NEW BEST:: SOT 1159041 SOS 376835 HAS SOPS 376835 HAS SOUS 250593 HAS SOUPS 250593 WITH SCORE 250969.835
AT ITER 2536 NEW BEST:: SOT 1159011 SOS 376805 HAS SOPS 376805 HAS SOUS 250561 HAS SOUPS 250561 WITH SCORE 250937.805
AT ITER 2539 NEW BEST:: SOT 1159010 SOS 376804 HAS SOPS 376804 HAS SOUS 250560 HAS SOUPS 250560 WITH SCORE 250936.804
AT ITER 2554 NEW BEST:: SOT 1158979 SOS 376798 HAS SOPS 376798 HAS SOUS 250375 HAS SOUPS 250375 WITH SCORE 250751.798
AT ITER 2593 NEW BEST:: SOT 1158970 SOS 376649 HAS SOPS 376649 HAS SOUS 250366 HAS SOUPS 250366 WITH SCORE 250742.649
AT ITER 2625 NEW BEST:: SOT 1158969 SOS 376647 HAS SOPS 376647 HAS SOUS 250363 HAS SOUPS 250363 WITH SCORE 250739.647
AT ITER 2659 NEW BEST:: SOT 1158969 SOS 376619 HAS SOPS 376619 HAS SOUS 250335 HAS SOUPS 250335 WITH SCORE 250711.619
AT ITER 2662 NEW BEST:: SOT 1158931 SOS 376163 HAS SOPS 376163 HAS SOUS 250259 HAS SOUPS 250259 WITH SCORE 250635.163
AT ITER 2665 NEW BEST:: SOT 1158812 SOS 376693 HAS SOPS 376693 HAS SOUS 250117 HAS SOUPS 250117 WITH SCORE 250493.693
AT ITER 2689 NEW BEST:: SOT 1158011 SOS 376210 HAS SOPS 376210 HAS SOUS 249499 HAS SOUPS 249499 WITH SCORE 249875.21
AT ITER 2704 NEW BEST:: SOT 1158011 SOS 376209 HAS SOPS 376209 HAS SOUS 249498 HAS SOUPS 249498 WITH SCORE 249874.209
AT ITER 2706 NEW BEST:: SOT 1158011 SOS 376241 HAS SOPS 376241 HAS SOUS 249432 HAS SOUPS 249432 WITH SCORE 249808.241
AT ITER 2729 NEW BEST:: SOT 1157974 SOS 376167 HAS SOPS 376167 HAS SOUS 249358 HAS SOUPS 249358 WITH SCORE 249734.167
AT ITER 2742 NEW BEST:: SOT 1157896 SOS 375917 HAS SOPS 375917 HAS SOUS 249192 HAS SOUPS 249192 WITH SCORE 249567.917
AT ITER 2748 NEW BEST:: SOT 1157873 SOS 375793 HAS SOPS 375793 HAS SOUS 249068 HAS SOUPS 249068 WITH SCORE 249443.793
AT ITER 2750 NEW BEST:: SOT 1157854 SOS 375775 HAS SOPS 375775 HAS SOUS 248953 HAS SOUPS 248953 WITH SCORE 249328.775
AT ITER 2755 NEW BEST:: SOT 1157499 SOS 375486 HAS SOPS 375486 HAS SOUS 247272 HAS SOUPS 247272 WITH SCORE 247647.486
AT ITER 2762 NEW BEST:: SOT 1157458 SOS 375403 HAS SOPS 375403 HAS SOUS 247189 HAS SOUPS 247189 WITH SCORE 247564.403
AT ITER 2768 NEW BEST:: SOT 1157458 SOS 375339 HAS SOPS 375339 HAS SOUS 247174 HAS SOUPS 247174 WITH SCORE 247549.339
AT ITER 2776 NEW BEST:: SOT 1157430 SOS 375185 HAS SOPS 375185 HAS SOUS 247118 HAS SOUPS 247118 WITH SCORE 247493.185
AT ITER 2792 NEW BEST:: SOT 1157416 SOS 375498 HAS SOPS 375498 HAS SOUS 247067 HAS SOUPS 247067 WITH SCORE 247442.498
AT ITER 2801 NEW BEST:: SOT 1157416 SOS 375489 HAS SOPS 375489 HAS SOUS 246997 HAS SOUPS 246997 WITH SCORE 247372.489
AT ITER 2808 NEW BEST:: SOT 1157434 SOS 375483 HAS SOPS 375483 HAS SOUS 246995 HAS SOUPS 246995 WITH SCORE 247370.483
AT ITER 2814 NEW BEST:: SOT 1157405 SOS 375283 HAS SOPS 375283 HAS SOUS 246795 HAS SOUPS 246795 WITH SCORE 247170.283
AT ITER 2823 NEW BEST:: SOT 1157254 SOS 374754 HAS SOPS 374754 HAS SOUS 244550 HAS SOUPS 244550 WITH SCORE 244924.754
AT ITER 2832 NEW BEST:: SOT 1157013 SOS 374571 HAS SOPS 374571 HAS SOUS 244367 HAS SOUPS 244367 WITH SCORE 244741.571
AT ITER 2885 NEW BEST:: SOT 1156919 SOS 374328 HAS SOPS 374328 HAS SOUS 244124 HAS SOUPS 244124 WITH SCORE 244498.328
AT ITER 2920 NEW BEST:: SOT 1156913 SOS 374322 HAS SOPS 374322 HAS SOUS 244070 HAS SOUPS 244070 WITH SCORE 244444.322
AT ITER 2927 NEW BEST:: SOT 1157016 SOS 374424 HAS SOPS 374424 HAS SOUS 244017 HAS SOUPS 244017 WITH SCORE 244391.424
AT ITER 2948 NEW BEST:: SOT 1157016 SOS 374414 HAS SOPS 374414 HAS SOUS 244007 HAS SOUPS 244007 WITH SCORE 244381.414
AT ITER 2949 NEW BEST:: SOT 1156973 SOS 374028 HAS SOPS 374028 HAS SOUS 243943 HAS SOUPS 243943 WITH SCORE 244317.028
AT ITER 2950 NEW BEST:: SOT 1156973 SOS 373920 HAS SOPS 373920 HAS SOUS 243835 HAS SOUPS 243835 WITH SCORE 244208.92
AT ITER 2955 NEW BEST:: SOT 1156973 SOS 373283 HAS SOPS 373283 HAS SOUS 243737 HAS SOUPS 243737 WITH SCORE 244110.283
AT ITER 2977 NEW BEST:: SOT 1157012 SOS 373199 HAS SOPS 373199 HAS SOUS 243586 HAS SOUPS 243586 WITH SCORE 243959.199
AT ITER 3023 NEW BEST:: SOT 1157008 SOS 373191 HAS SOPS 373191 HAS SOUS 243578 HAS SOUPS 243578 WITH SCORE 243951.191
AT ITER 3029 NEW BEST:: SOT 1156948 SOS 373131 HAS SOPS 373131 HAS SOUS 243413 HAS SOUPS 243413 WITH SCORE 243786.131
AT ITER 3067 NEW BEST:: SOT 1156948 SOS 373126 HAS SOPS 373126 HAS SOUS 243408 HAS SOUPS 243408 WITH SCORE 243781.126
AT ITER 3084 NEW BEST:: SOT 1156796 SOS 372822 HAS SOPS 372822 HAS SOUS 243104 HAS SOUPS 243104 WITH SCORE 243476.822
AT ITER 3085 NEW BEST:: SOT 1156705 SOS 372520 HAS SOPS 372520 HAS SOUS 243030 HAS SOUPS 243030 WITH SCORE 243402.52
AT ITER 3089 NEW BEST:: SOT 1156705 SOS 372543 HAS SOPS 372543 HAS SOUS 243016 HAS SOUPS 243016 WITH SCORE 243388.543
AT ITER 3092 NEW BEST:: SOT 1156366 SOS 372048 HAS SOPS 372048 HAS SOUS 242652 HAS SOUPS 242652 WITH SCORE 243024.048
AT ITER 3094 NEW BEST:: SOT 1155346 SOS 371961 HAS SOPS 371961 HAS SOUS 241501 HAS SOUPS 241501 WITH SCORE 241872.961
AT ITER 3097 NEW BEST:: SOT 1155372 SOS 371931 HAS SOPS 371931 HAS SOUS 241471 HAS SOUPS 241471 WITH SCORE 241842.931
AT ITER 3115 NEW BEST:: SOT 1155366 SOS 371919 HAS SOPS 371919 HAS SOUS 241459 HAS SOUPS 241459 WITH SCORE 241830.919
AT ITER 3131 NEW BEST:: SOT 1155199 SOS 371865 HAS SOPS 371865 HAS SOUS 241451 HAS SOUPS 241451 WITH SCORE 241822.865
AT ITER 3141 NEW BEST:: SOT 1155164 SOS 371565 HAS SOPS 371565 HAS SOUS 241186 HAS SOUPS 241186 WITH SCORE 241557.565
AT ITER 3145 NEW BEST:: SOT 1155187 SOS 371519 HAS SOPS 371519 HAS SOUS 241161 HAS SOUPS 241161 WITH SCORE 241532.519
AT ITER 3147 NEW BEST:: SOT 1154901 SOS 371318 HAS SOPS 371318 HAS SOUS 240960 HAS SOUPS 240960 WITH SCORE 241331.318
AT ITER 3164 NEW BEST:: SOT 1154585 SOS 371463 HAS SOPS 371463 HAS SOUS 240730 HAS SOUPS 240730 WITH SCORE 241101.463
AT ITER 3183 NEW BEST:: SOT 1154667 SOS 371329 HAS SOPS 371329 HAS SOUS 239394 HAS SOUPS 239394 WITH SCORE 239765.329
AT ITER 3187 NEW BEST:: SOT 1154500 SOS 370771 HAS SOPS 370771 HAS SOUS 239060 HAS SOUPS 239060 WITH SCORE 239430.771
AT ITER 3188 NEW BEST:: SOT 1154443 SOS 370606 HAS SOPS 370606 HAS SOUS 238895 HAS SOUPS 238895 WITH SCORE 239265.606
AT ITER 3195 NEW BEST:: SOT 1154440 SOS 370603 HAS SOPS 370603 HAS SOUS 238892 HAS SOUPS 238892 WITH SCORE 239262.603
AT ITER 3228 NEW BEST:: SOT 1154440 SOS 370630 HAS SOPS 370630 HAS SOUS 238689 HAS SOUPS 238689 WITH SCORE 239059.63
AT ITER 3238 NEW BEST:: SOT 1154439 SOS 370628 HAS SOPS 370628 HAS SOUS 238687 HAS SOUPS 238687 WITH SCORE 239057.628
AT ITER 3241 NEW BEST:: SOT 1154388 SOS 370493 HAS SOPS 370493 HAS SOUS 238552 HAS SOUPS 238552 WITH SCORE 238922.493
AT ITER 3256 NEW BEST:: SOT 1154388 SOS 370454 HAS SOPS 370454 HAS SOUS 238552 HAS SOUPS 238552 WITH SCORE 238922.454
AT ITER 3259 NEW BEST:: SOT 1154335 SOS 370297 HAS SOPS 370297 HAS SOUS 238446 HAS SOUPS 238446 WITH SCORE 238816.297
AT ITER 3261 NEW BEST:: SOT 1154335 SOS 370249 HAS SOPS 370249 HAS SOUS 238446 HAS SOUPS 238446 WITH SCORE 238816.249
AT ITER 3264 NEW BEST:: SOT 1154249 SOS 369991 HAS SOPS 369991 HAS SOUS 238187 HAS SOUPS 238187 WITH SCORE 238556.991
AT ITER 3266 NEW BEST:: SOT 1154001 SOS 369673 HAS SOPS 369673 HAS SOUS 237621 HAS SOUPS 237621 WITH SCORE 237990.673
AT ITER 3283 NEW BEST:: SOT 1153957 SOS 369629 HAS SOPS 369629 HAS SOUS 237576 HAS SOUPS 237576 WITH SCORE 237945.629
AT ITER 3289 NEW BEST:: SOT 1153953 SOS 369583 HAS SOPS 369583 HAS SOUS 237268 HAS SOUPS 237268 WITH SCORE 237637.583
AT ITER 3303 NEW BEST:: SOT 1153953 SOS 369457 HAS SOPS 369457 HAS SOUS 237268 HAS SOUPS 237268 WITH SCORE 237637.457
AT ITER 3304 NEW BEST:: SOT 1153901 SOS 369353 HAS SOPS 369353 HAS SOUS 237164 HAS SOUPS 237164 WITH SCORE 237533.353
AT ITER 3317 NEW BEST:: SOT 1153725 SOS 369263 HAS SOPS 369263 HAS SOUS 237120 HAS SOUPS 237120 WITH SCORE 237489.263
AT ITER 3329 NEW BEST:: SOT 1153545 SOS 368969 HAS SOPS 368969 HAS SOUS 236825 HAS SOUPS 236825 WITH SCORE 237193.969
AT ITER 3330 NEW BEST:: SOT 1153468 SOS 368892 HAS SOPS 368892 HAS SOUS 236748 HAS SOUPS 236748 WITH SCORE 237116.892
AT ITER 3331 NEW BEST:: SOT 1153468 SOS 368892 HAS SOPS 368892 HAS SOUS 234988 HAS SOUPS 234988 WITH SCORE 235356.892
AT ITER 3333 NEW BEST:: SOT 1153468 SOS 368894 HAS SOPS 368894 HAS SOUS 234958 HAS SOUPS 234958 WITH SCORE 235326.894
AT ITER 3351 NEW BEST:: SOT 1153416 SOS 368842 HAS SOPS 368842 HAS SOUS 234906 HAS SOUPS 234906 WITH SCORE 235274.842
AT ITER 3373 NEW BEST:: SOT 1153236 SOS 368692 HAS SOPS 368692 HAS SOUS 234756 HAS SOUPS 234756 WITH SCORE 235124.692
AT ITER 3376 NEW BEST:: SOT 1152628 SOS 369653 HAS SOPS 369653 HAS SOUS 234208 HAS SOUPS 234208 WITH SCORE 234577.653
AT ITER 3387 NEW BEST:: SOT 1152568 SOS 369423 HAS SOPS 369423 HAS SOUS 233978 HAS SOUPS 233978 WITH SCORE 234347.423
AT ITER 3388 NEW BEST:: SOT 1152567 SOS 369422 HAS SOPS 369422 HAS SOUS 233976 HAS SOUPS 233976 WITH SCORE 234345.422
AT ITER 3394 NEW BEST:: SOT 1152544 SOS 369376 HAS SOPS 369376 HAS SOUS 233930 HAS SOUPS 233930 WITH SCORE 234299.376
AT ITER 3443 NEW BEST:: SOT 1152472 SOS 369423 HAS SOPS 369423 HAS SOUS 233810 HAS SOUPS 233810 WITH SCORE 234179.423
AT ITER 3478 NEW BEST:: SOT 1152459 SOS 369343 HAS SOPS 369343 HAS SOUS 233784 HAS SOUPS 233784 WITH SCORE 234153.343
AT ITER 3483 NEW BEST:: SOT 1152459 SOS 369279 HAS SOPS 369279 HAS SOUS 233784 HAS SOUPS 233784 WITH SCORE 234153.279
AT ITER 3488 NEW BEST:: SOT 1152459 SOS 369267 HAS SOPS 369267 HAS SOUS 233772 HAS SOUPS 233772 WITH SCORE 234141.267
AT ITER 3492 NEW BEST:: SOT 1152453 SOS 369167 HAS SOPS 369167 HAS SOUS 233672 HAS SOUPS 233672 WITH SCORE 234041.167
AT ITER 3509 NEW BEST:: SOT 1152453 SOS 368942 HAS SOPS 368942 HAS SOUS 233447 HAS SOUPS 233447 WITH SCORE 233815.942
AT ITER 3511 NEW BEST:: SOT 1152793 SOS 369111 HAS SOPS 369111 HAS SOUS 233132 HAS SOUPS 233132 WITH SCORE 233501.111
AT ITER 3530 NEW BEST:: SOT 1152874 SOS 369079 HAS SOPS 369079 HAS SOUS 233105 HAS SOUPS 233105 WITH SCORE 233474.079
AT ITER 3540 NEW BEST:: SOT 1152843 SOS 369048 HAS SOPS 369048 HAS SOUS 233043 HAS SOUPS 233043 WITH SCORE 233412.048
AT ITER 3566 NEW BEST:: SOT 1152818 SOS 369043 HAS SOPS 369043 HAS SOUS 233038 HAS SOUPS 233038 WITH SCORE 233407.043
AT ITER 3572 NEW BEST:: SOT 1152818 SOS 368991 HAS SOPS 368991 HAS SOUS 232986 HAS SOUPS 232986 WITH SCORE 233354.991
AT ITER 3595 NEW BEST:: SOT 1152618 SOS 368791 HAS SOPS 368791 HAS SOUS 232586 HAS SOUPS 232586 WITH SCORE 232954.791
AT ITER 3596 NEW BEST:: SOT 1152430 SOS 368603 HAS SOPS 368603 HAS SOUS 232398 HAS SOUPS 232398 WITH SCORE 232766.603
AT ITER 3599 NEW BEST:: SOT 1152418 SOS 368573 HAS SOPS 368573 HAS SOUS 232279 HAS SOUPS 232279 WITH SCORE 232647.573
AT ITER 3606 NEW BEST:: SOT 1152389 SOS 368515 HAS SOPS 368515 HAS SOUS 232221 HAS SOUPS 232221 WITH SCORE 232589.515
AT ITER 3632 NEW BEST:: SOT 1152055 SOS 368095 HAS SOPS 368095 HAS SOUS 231801 HAS SOUPS 231801 WITH SCORE 232169.095
AT ITER 3641 NEW BEST:: SOT 1151673 SOS 368844 HAS SOPS 368844 HAS SOUS 231548 HAS SOUPS 231548 WITH SCORE 231916.844
AT ITER 3663 NEW BEST:: SOT 1151771 SOS 368897 HAS SOPS 368897 HAS SOUS 231406 HAS SOUPS 231406 WITH SCORE 231774.897
AT ITER 3667 NEW BEST:: SOT 1151660 SOS 368675 HAS SOPS 368675 HAS SOUS 231295 HAS SOUPS 231295 WITH SCORE 231663.675
AT ITER 3669 NEW BEST:: SOT 1151592 SOS 368539 HAS SOPS 368539 HAS SOUS 231159 HAS SOUPS 231159 WITH SCORE 231527.539
AT ITER 3673 NEW BEST:: SOT 1151582 SOS 368521 HAS SOPS 368521 HAS SOUS 231136 HAS SOUPS 231136 WITH SCORE 231504.521
AT ITER 3712 NEW BEST:: SOT 1151398 SOS 368214 HAS SOPS 368214 HAS SOUS 230907 HAS SOUPS 230907 WITH SCORE 231275.214
AT ITER 3721 NEW BEST:: SOT 1151341 SOS 368036 HAS SOPS 368036 HAS SOUS 230729 HAS SOUPS 230729 WITH SCORE 231097.036
AT ITER 3744 NEW BEST:: SOT 1151176 SOS 367706 HAS SOPS 367706 HAS SOUS 230399 HAS SOUPS 230399 WITH SCORE 230766.706
AT ITER 3746 NEW BEST:: SOT 1150968 SOS 367602 HAS SOPS 367602 HAS SOUS 230283 HAS SOUPS 230283 WITH SCORE 230650.602
AT ITER 3751 NEW BEST:: SOT 1150781 SOS 367627 HAS SOPS 367627 HAS SOUS 230256 HAS SOUPS 230256 WITH SCORE 230623.627
AT ITER 3753 NEW BEST:: SOT 1150770 SOS 367616 HAS SOPS 367616 HAS SOUS 230245 HAS SOUPS 230245 WITH SCORE 230612.616
AT ITER 3757 NEW BEST:: SOT 1150326 SOS 367916 HAS SOPS 367916 HAS SOUS 229943 HAS SOUPS 229943 WITH SCORE 230310.916
AT ITER 3766 NEW BEST:: SOT 1150288 SOS 367858 HAS SOPS 367858 HAS SOUS 229791 HAS SOUPS 229791 WITH SCORE 230158.858
AT ITER 3776 NEW BEST:: SOT 1150288 SOS 367800 HAS SOPS 367800 HAS SOUS 229790 HAS SOUPS 229790 WITH SCORE 230157.8
AT ITER 3789 NEW BEST:: SOT 1150288 SOS 367729 HAS SOPS 367729 HAS SOUS 229719 HAS SOUPS 229719 WITH SCORE 230086.729
AT ITER 3791 NEW BEST:: SOT 1150160 SOS 367825 HAS SOPS 367825 HAS SOUS 229615 HAS SOUPS 229615 WITH SCORE 229982.825
AT ITER 3805 NEW BEST:: SOT 1150080 SOS 367779 HAS SOPS 367779 HAS SOUS 229399 HAS SOUPS 229399 WITH SCORE 229766.779
AT ITER 3821 NEW BEST:: SOT 1150080 SOS 367779 HAS SOPS 367779 HAS SOUS 229357 HAS SOUPS 229357 WITH SCORE 229724.779
AT ITER 3824 NEW BEST:: SOT 1150053 SOS 367817 HAS SOPS 367817 HAS SOUS 227923 HAS SOUPS 227923 WITH SCORE 228290.817
AT ITER 3826 NEW BEST:: SOT 1150026 SOS 367790 HAS SOPS 367790 HAS SOUS 227896 HAS SOUPS 227896 WITH SCORE 228263.79
AT ITER 3831 NEW BEST:: SOT 1150025 SOS 367744 HAS SOPS 367744 HAS SOUS 227894 HAS SOUPS 227894 WITH SCORE 228261.744
AT ITER 3843 NEW BEST:: SOT 1150024 SOS 367004 HAS SOPS 367004 HAS SOUS 227888 HAS SOUPS 227888 WITH SCORE 228255.004
AT ITER 3846 NEW BEST:: SOT 1150015 SOS 366977 HAS SOPS 366977 HAS SOUS 227870 HAS SOUPS 227870 WITH SCORE 228236.977
AT ITER 3848 NEW BEST:: SOT 1149896 SOS 366918 HAS SOPS 366918 HAS SOUS 227766 HAS SOUPS 227766 WITH SCORE 228132.918
AT ITER 3850 NEW BEST:: SOT 1149898 SOS 366917 HAS SOPS 366917 HAS SOUS 227765 HAS SOUPS 227765 WITH SCORE 228131.917
AT ITER 3860 NEW BEST:: SOT 1149627 SOS 366902 HAS SOPS 366902 HAS SOUS 227765 HAS SOUPS 227765 WITH SCORE 228131.902
AT ITER 3883 NEW BEST:: SOT 1149521 SOS 366778 HAS SOPS 366778 HAS SOUS 227074 HAS SOUPS 227074 WITH SCORE 227440.778
AT ITER 3885 NEW BEST:: SOT 1149521 SOS 366743 HAS SOPS 366743 HAS SOUS 226990 HAS SOUPS 226990 WITH SCORE 227356.743
AT ITER 3891 NEW BEST:: SOT 1149521 SOS 366717 HAS SOPS 366717 HAS SOUS 226966 HAS SOUPS 226966 WITH SCORE 227332.717
AT ITER 3893 NEW BEST:: SOT 1149563 SOS 366931 HAS SOPS 366931 HAS SOUS 226872 HAS SOUPS 226872 WITH SCORE 227238.931
AT ITER 3899 NEW BEST:: SOT 1149425 SOS 366615 HAS SOPS 366615 HAS SOUS 226556 HAS SOUPS 226556 WITH SCORE 226922.615
AT ITER 3903 NEW BEST:: SOT 1149073 SOS 366292 HAS SOPS 366292 HAS SOUS 226269 HAS SOUPS 226269 WITH SCORE 226635.292
AT ITER 3904 NEW BEST:: SOT 1149021 SOS 366344 HAS SOPS 366344 HAS SOUS 226165 HAS SOUPS 226165 WITH SCORE 226531.344
AT ITER 3942 NEW BEST:: SOT 1149021 SOS 366344 HAS SOPS 366344 HAS SOUS 226147 HAS SOUPS 226147 WITH SCORE 226513.344
AT ITER 3992 NEW BEST:: SOT 1148966 SOS 366288 HAS SOPS 366288 HAS SOUS 226091 HAS SOUPS 226091 WITH SCORE 226457.288
AT ITER 4029 NEW BEST:: SOT 1148924 SOS 365951 HAS SOPS 365951 HAS SOUS 226031 HAS SOUPS 226031 WITH SCORE 226396.951
AT ITER 4050 NEW BEST:: SOT 1148820 SOS 366040 HAS SOPS 366040 HAS SOUS 226016 HAS SOUPS 226016 WITH SCORE 226382.04
AT ITER 4055 NEW BEST:: SOT 1148780 SOS 365960 HAS SOPS 365960 HAS SOUS 225976 HAS SOUPS 225976 WITH SCORE 226341.96
AT ITER 4089 NEW BEST:: SOT 1148777 SOS 365480 HAS SOPS 365480 HAS SOUS 225792 HAS SOUPS 225792 WITH SCORE 226157.48
AT ITER 4096 NEW BEST:: SOT 1148562 SOS 365301 HAS SOPS 365301 HAS SOUS 225567 HAS SOUPS 225567 WITH SCORE 225932.301
AT ITER 4132 NEW BEST:: SOT 1148368 SOS 364942 HAS SOPS 364942 HAS SOUS 225419 HAS SOUPS 225419 WITH SCORE 225783.942
AT ITER 4133 NEW BEST:: SOT 1148347 SOS 364761 HAS SOPS 364761 HAS SOUS 225378 HAS SOUPS 225378 WITH SCORE 225742.761
AT ITER 4147 NEW BEST:: SOT 1148347 SOS 364594 HAS SOPS 364594 HAS SOUS 225378 HAS SOUPS 225378 WITH SCORE 225742.594
AT ITER 4154 NEW BEST:: SOT 1148334 SOS 364566 HAS SOPS 364566 HAS SOUS 225351 HAS SOUPS 225351 WITH SCORE 225715.566
AT ITER 4155 NEW BEST:: SOT 1148346 SOS 364439 HAS SOPS 364439 HAS SOUS 225281 HAS SOUPS 225281 WITH SCORE 225645.439
AT ITER 4159 NEW BEST:: SOT 1148326 SOS 364409 HAS SOPS 364409 HAS SOUS 225251 HAS SOUPS 225251 WITH SCORE 225615.409
AT ITER 4189 NEW BEST:: SOT 1148207 SOS 364323 HAS SOPS 364323 HAS SOUS 224709 HAS SOUPS 224709 WITH SCORE 225073.323
AT ITER 4203 NEW BEST:: SOT 1148149 SOS 363940 HAS SOPS 363940 HAS SOUS 224501 HAS SOUPS 224501 WITH SCORE 224864.94
AT ITER 4206 NEW BEST:: SOT 1148153 SOS 363944 HAS SOPS 363944 HAS SOUS 224454 HAS SOUPS 224454 WITH SCORE 224817.944
AT ITER 4209 NEW BEST:: SOT 1148110 SOS 363706 HAS SOPS 363706 HAS SOUS 224216 HAS SOUPS 224216 WITH SCORE 224579.706
AT ITER 4211 NEW BEST:: SOT 1148202 SOS 364370 HAS SOPS 364370 HAS SOUS 224184 HAS SOUPS 224184 WITH SCORE 224548.37
AT ITER 4266 NEW BEST:: SOT 1148182 SOS 364310 HAS SOPS 364310 HAS SOUS 224148 HAS SOUPS 224148 WITH SCORE 224512.31
AT ITER 4274 NEW BEST:: SOT 1147738 SOS 364215 HAS SOPS 364215 HAS SOUS 223944 HAS SOUPS 223944 WITH SCORE 224308.215
AT ITER 4294 NEW BEST:: SOT 1147645 SOS 364128 HAS SOPS 364128 HAS SOUS 223851 HAS SOUPS 223851 WITH SCORE 224215.128
AT ITER 4297 NEW BEST:: SOT 1147645 SOS 364101 HAS SOPS 364101 HAS SOUS 223824 HAS SOUPS 223824 WITH SCORE 224188.101
AT ITER 4318 NEW BEST:: SOT 1147536 SOS 362141 HAS SOPS 362141 HAS SOUS 223750 HAS SOUPS 223750 WITH SCORE 224112.141
AT ITER 4325 NEW BEST:: SOT 1147621 SOS 362144 HAS SOPS 362144 HAS SOUS 223736 HAS SOUPS 223736 WITH SCORE 224098.144
AT ITER 4329 NEW BEST:: SOT 1147615 SOS 362134 HAS SOPS 362134 HAS SOUS 223726 HAS SOUPS 223726 WITH SCORE 224088.134
AT ITER 4334 NEW BEST:: SOT 1147614 SOS 362133 HAS SOPS 362133 HAS SOUS 223724 HAS SOUPS 223724 WITH SCORE 224086.133
AT ITER 4359 NEW BEST:: SOT 1147603 SOS 362248 HAS SOPS 362248 HAS SOUS 223702 HAS SOUPS 223702 WITH SCORE 224064.248
AT ITER 4363 NEW BEST:: SOT 1147584 SOS 362153 HAS SOPS 362153 HAS SOUS 223645 HAS SOUPS 223645 WITH SCORE 224007.153
AT ITER 4383 NEW BEST:: SOT 1147483 SOS 362051 HAS SOPS 362051 HAS SOUS 223543 HAS SOUPS 223543 WITH SCORE 223905.051
AT ITER 4384 NEW BEST:: SOT 1147483 SOS 362039 HAS SOPS 362039 HAS SOUS 223531 HAS SOUPS 223531 WITH SCORE 223893.039
AT ITER 4385 NEW BEST:: SOT 1147477 SOS 361564 HAS SOPS 361564 HAS SOUS 223330 HAS SOUPS 223330 WITH SCORE 223691.564
AT ITER 4393 NEW BEST:: SOT 1147440 SOS 361490 HAS SOPS 361490 HAS SOUS 223256 HAS SOUPS 223256 WITH SCORE 223617.49
AT ITER 4411 NEW BEST:: SOT 1147409 SOS 361394 HAS SOPS 361394 HAS SOUS 223160 HAS SOUPS 223160 WITH SCORE 223521.394
AT ITER 4419 NEW BEST:: SOT 1147160 SOS 360896 HAS SOPS 360896 HAS SOUS 222662 HAS SOUPS 222662 WITH SCORE 223022.896
AT ITER 4437 NEW BEST:: SOT 1147066 SOS 360792 HAS SOPS 360792 HAS SOUS 222593 HAS SOUPS 222593 WITH SCORE 222953.792
AT ITER 4449 NEW BEST:: SOT 1147042 SOS 360736 HAS SOPS 360736 HAS SOUS 222559 HAS SOUPS 222559 WITH SCORE 222919.736
AT ITER 4450 NEW BEST:: SOT 1146836 SOS 360362 HAS SOPS 360362 HAS SOUS 222185 HAS SOUPS 222185 WITH SCORE 222545.362
AT ITER 4497 NEW BEST:: SOT 1146819 SOS 360345 HAS SOPS 360345 HAS SOUS 222168 HAS SOUPS 222168 WITH SCORE 222528.345
AT ITER 4498 NEW BEST:: SOT 1146851 SOS 360319 HAS SOPS 360319 HAS SOUS 222093 HAS SOUPS 222093 WITH SCORE 222453.319
AT ITER 4506 NEW BEST:: SOT 1146822 SOS 360295 HAS SOPS 360295 HAS SOUS 222069 HAS SOUPS 222069 WITH SCORE 222429.295
AT ITER 4507 NEW BEST:: SOT 1146744 SOS 360217 HAS SOPS 360217 HAS SOUS 221991 HAS SOUPS 221991 WITH SCORE 222351.217
AT ITER 4514 NEW BEST:: SOT 1146605 SOS 359087 HAS SOPS 359087 HAS SOUS 221571 HAS SOUPS 221571 WITH SCORE 221930.087
AT ITER 4533 NEW BEST:: SOT 1146484 SOS 358823 HAS SOPS 358823 HAS SOUS 221307 HAS SOUPS 221307 WITH SCORE 221665.823
AT ITER 4541 NEW BEST:: SOT 1146483 SOS 358821 HAS SOPS 358821 HAS SOUS 221305 HAS SOUPS 221305 WITH SCORE 221663.821
AT ITER 4562 NEW BEST:: SOT 1146456 SOS 358794 HAS SOPS 358794 HAS SOUS 221278 HAS SOUPS 221278 WITH SCORE 221636.794
AT ITER 4563 NEW BEST:: SOT 1146504 SOS 358786 HAS SOPS 358786 HAS SOUS 221270 HAS SOUPS 221270 WITH SCORE 221628.786
AT ITER 4581 NEW BEST:: SOT 1146481 SOS 358763 HAS SOPS 358763 HAS SOUS 221247 HAS SOUPS 221247 WITH SCORE 221605.763
AT ITER 4605 NEW BEST:: SOT 1146196 SOS 358327 HAS SOPS 358327 HAS SOUS 220812 HAS SOUPS 220812 WITH SCORE 221170.327
AT ITER 4624 NEW BEST:: SOT 1146153 SOS 358284 HAS SOPS 358284 HAS SOUS 220769 HAS SOUPS 220769 WITH SCORE 221127.284
AT ITER 4632 NEW BEST:: SOT 1146113 SOS 358204 HAS SOPS 358204 HAS SOUS 220709 HAS SOUPS 220709 WITH SCORE 221067.204
AT ITER 4639 NEW BEST:: SOT 1146009 SOS 358150 HAS SOPS 358150 HAS SOUS 220666 HAS SOUPS 220666 WITH SCORE 221024.15
AT ITER 4652 NEW BEST:: SOT 1146076 SOS 359402 HAS SOPS 359402 HAS SOUS 220598 HAS SOUPS 220598 WITH SCORE 220957.402
AT ITER 4664 NEW BEST:: SOT 1146038 SOS 359264 HAS SOPS 359264 HAS SOUS 220522 HAS SOUPS 220522 WITH SCORE 220881.264
AT ITER 4670 NEW BEST:: SOT 1146035 SOS 359259 HAS SOPS 359259 HAS SOUS 220516 HAS SOUPS 220516 WITH SCORE 220875.259
AT ITER 4718 NEW BEST:: SOT 1146035 SOS 359259 HAS SOPS 359259 HAS SOUS 220395 HAS SOUPS 220395 WITH SCORE 220754.259
AT ITER 4732 NEW BEST:: SOT 1145872 SOS 359096 HAS SOPS 359096 HAS SOUS 220232 HAS SOUPS 220232 WITH SCORE 220591.096
AT ITER 4745 NEW BEST:: SOT 1145728 SOS 359152 HAS SOPS 359152 HAS SOUS 220211 HAS SOUPS 220211 WITH SCORE 220570.152
AT ITER 4771 NEW BEST:: SOT 1145728 SOS 359124 HAS SOPS 359124 HAS SOUS 220183 HAS SOUPS 220183 WITH SCORE 220542.124
AT ITER 4782 NEW BEST:: SOT 1145428 SOS 359153 HAS SOPS 359153 HAS SOUS 220159 HAS SOUPS 220159 WITH SCORE 220518.153
AT ITER 4808 NEW BEST:: SOT 1145385 SOS 358115 HAS SOPS 358115 HAS SOUS 220073 HAS SOUPS 220073 WITH SCORE 220431.115
AT ITER 4809 NEW BEST:: SOT 1145384 SOS 358071 HAS SOPS 358071 HAS SOUS 220071 HAS SOUPS 220071 WITH SCORE 220429.071
AT ITER 4836 NEW BEST:: SOT 1145332 SOS 357814 HAS SOPS 357814 HAS SOUS 219814 HAS SOUPS 219814 WITH SCORE 220171.814
AT ITER 4837 NEW BEST:: SOT 1145386 SOS 357798 HAS SOPS 357798 HAS SOUS 219798 HAS SOUPS 219798 WITH SCORE 220155.798
AT ITER 4882 NEW BEST:: SOT 1145341 SOS 357753 HAS SOPS 357753 HAS SOUS 219750 HAS SOUPS 219750 WITH SCORE 220107.753
AT ITER 4896 NEW BEST:: SOT 1145341 SOS 357753 HAS SOPS 357753 HAS SOUS 219599 HAS SOUPS 219599 WITH SCORE 219956.753
AT ITER 4899 NEW BEST:: SOT 1145108 SOS 357288 HAS SOPS 357288 HAS SOUS 219365 HAS SOUPS 219365 WITH SCORE 219722.288
AT ITER 4907 NEW BEST:: SOT 1145004 SOS 357048 HAS SOPS 357048 HAS SOUS 219157 HAS SOUPS 219157 WITH SCORE 219514.048
AT ITER 4908 NEW BEST:: SOT 1144927 SOS 356718 HAS SOPS 356718 HAS SOUS 218827 HAS SOUPS 218827 WITH SCORE 219183.718
AT ITER 4910 NEW BEST:: SOT 1144843 SOS 356531 HAS SOPS 356531 HAS SOUS 218559 HAS SOUPS 218559 WITH SCORE 218915.531
AT ITER 4916 NEW BEST:: SOT 1144837 SOS 356525 HAS SOPS 356525 HAS SOUS 218553 HAS SOUPS 218553 WITH SCORE 218909.525
AT ITER 4924 NEW BEST:: SOT 1144776 SOS 356319 HAS SOPS 356319 HAS SOUS 218403 HAS SOUPS 218403 WITH SCORE 218759.319
AT ITER 4925 NEW BEST:: SOT 1144719 SOS 356205 HAS SOPS 356205 HAS SOUS 218289 HAS SOUPS 218289 WITH SCORE 218645.205
AT ITER 4934 NEW BEST:: SOT 1144719 SOS 356197 HAS SOPS 356197 HAS SOUS 218281 HAS SOUPS 218281 WITH SCORE 218637.197
AT ITER 4987 NEW BEST:: SOT 1144715 SOS 356177 HAS SOPS 356177 HAS SOUS 218273 HAS SOUPS 218273 WITH SCORE 218629.177
AT ITER 4995 NEW BEST:: SOT 1144715 SOS 356526 HAS SOPS 356526 HAS SOUS 217839 HAS SOUPS 217839 WITH SCORE 218195.526
AT ITER 4999 NEW BEST:: SOT 1144609 SOS 356452 HAS SOPS 356452 HAS SOUS 217710 HAS SOUPS 217710 WITH SCORE 218066.452
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ASLink-PT-02b-CTLCardinality-00 (EG( (EF(( potential( ( 1 ) <= (tk(P534)) ) | potential( (tk(P865)) <= (tk(P667)) ) )))))
PROPERTY: ASLink-PT-02b-CTLCardinality-01 (EG( (AU( potential( (tk(P506)) <= (tk(P335)) ),potential( ( 2 ) <= (tk(P996)) ) ))))
PROPERTY: ASLink-PT-02b-CTLCardinality-02 (EX( (EU( potential( (tk(P788)) <= (tk(P1148)) ),potential( ( 2 ) <= (tk(P1195)) ) ))))
PROPERTY: ASLink-PT-02b-CTLCardinality-03 ( ( (! (! (! potential( ( 3 ) <= (tk(P590)) )))) & potential( (tk(P964)) <= (tk(P754)) ) ) & (EF((AG( potential( (tk(P385)) <= (tk(P650)) ))))) )
PROPERTY: ASLink-PT-02b-CTLCardinality-04 (AU( (AF(potential( (tk(P229)) <= (tk(P401)) ))),(EG( potential( (tk(P1148)) <= (tk(P452)) ))) ))
PROPERTY: ASLink-PT-02b-CTLCardinality-05 ( ( (EF(( potential( (tk(P374)) <= (tk(P361)) ) | potential( (tk(P1235)) <= (tk(P839)) ) ))) & (AG( ( potential( (tk(P1190)) <= (tk(P366)) ) | potential( ( 1 ) <= (tk(P245)) ) ))) ) | (! (EG( (! potential( ( 1 ) <= (tk(P1086)) ))))) )
PROPERTY: ASLink-PT-02b-CTLCardinality-06 ( (! ( (EX( potential( ( 3 ) <= (tk(P1212)) ))) | potential( ( 1 ) <= (tk(P671)) ) )) & (EF(( potential( ( 3 ) <= (tk(P796)) ) | ( potential( ( 2 ) <= (tk(P336)) ) | potential( ( 1 ) <= (tk(P190)) ) ) ))) )
PROPERTY: ASLink-PT-02b-CTLCardinality-07 (! (AG( ( ( potential( (tk(P1112)) <= (tk(P268)) ) & potential( ( 2 ) <= (tk(P153)) ) ) | ( potential( (tk(P15)) <= (tk(P272)) ) | potential( ( 2 ) <= (tk(P1221)) ) ) ))))
PROPERTY: ASLink-PT-02b-CTLCardinality-08 (AG( potential( (tk(P670)) <= (tk(P387)) )))
PROPERTY: ASLink-PT-02b-CTLCardinality-09 ( ( (AG( ( potential( ( 2 ) <= (tk(P217)) ) | potential( ( 3 ) <= (tk(P640)) ) ))) | (! (EF(potential( ( 3 ) <= (tk(P753)) )))) ) & ( (! ( (! potential( (tk(P340)) <= (tk(P689)) )) | ( potential( ( 3 ) <= (tk(P1022)) ) & potential( (tk(P954)) <= (tk(P1218)) ) ) )) & ( (AX( potential( (tk(P564)) <= (tk(P1241)) ))) | ( (! potential( (tk(P536)) <= (tk(P1027)) )) & ( potential( (tk(P979)) <= (tk(P868)) ) & potential( ( 2 ) <= (tk(P974)) ) ) ) ) ) )
PROPERTY: ASLink-PT-02b-CTLCardinality-10 (AF(potential( ( 1 ) <= (tk(P620)) )))
PROPERTY: ASLink-PT-02b-CTLCardinality-11 (! (AF(potential( ( 2 ) <= (tk(P652)) ))))
PROPERTY: ASLink-PT-02b-CTLCardinality-12 ( (AG( ( ( potential( (tk(P381)) <= (tk(P61)) ) | potential( (tk(P124)) <= (tk(P28)) ) ) | ( potential( ( 3 ) <= (tk(P1229)) ) | potential( ( 1 ) <= (tk(P6)) ) ) ))) & ( potential( ( 2 ) <= (tk(P1236)) ) | (AU( potential( (tk(P843)) <= (tk(P449)) ),potential( (tk(P582)) <= (tk(P431)) ) )) ) )
PROPERTY: ASLink-PT-02b-CTLCardinality-13 (EU( potential( (tk(P1113)) <= (tk(P191)) ),potential( ( 3 ) <= (tk(P1099)) ) ))
PROPERTY: ASLink-PT-02b-CTLCardinality-14 (EX( (! (AF(potential( ( 3 ) <= (tk(P1224)) ))))))
PROPERTY: ASLink-PT-02b-CTLCardinality-15 ( (AG( (AG( potential( ( 3 ) <= (tk(P208)) ))))) | (EX( (EG( potential( (tk(P317)) <= (tk(P455)) ))))) )

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="ASLink-PT-02b"
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 ASLink-PT-02b, 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 r003-smll-158897508000035"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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