Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r224-oct2-159033538700347.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
....................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is Sudoku-PT-AN05, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538700347
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 592K
-rw-r--r-- 1 mcc users 3.8K Jun 3 09:26 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Jun 3 09:26 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Jun 3 09:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Jun 3 09:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 31K May 14 10:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 115K May 14 10:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 51K May 14 10:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 190K May 14 10:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 4.1K Jun 3 09:13 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Jun 3 09:13 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.9K Jun 3 09:07 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 22K Jun 3 09:07 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Jun 3 09:17 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Jun 3 09:17 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 71K May 12 20:42 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 Sudoku-PT-AN05-CTLCardinality-00
FORMULA_NAME Sudoku-PT-AN05-CTLCardinality-01
FORMULA_NAME Sudoku-PT-AN05-CTLCardinality-02
FORMULA_NAME Sudoku-PT-AN05-CTLCardinality-03
FORMULA_NAME Sudoku-PT-AN05-CTLCardinality-04
FORMULA_NAME Sudoku-PT-AN05-CTLCardinality-05
FORMULA_NAME Sudoku-PT-AN05-CTLCardinality-06
FORMULA_NAME Sudoku-PT-AN05-CTLCardinality-07
FORMULA_NAME Sudoku-PT-AN05-CTLCardinality-08
FORMULA_NAME Sudoku-PT-AN05-CTLCardinality-09
FORMULA_NAME Sudoku-PT-AN05-CTLCardinality-10
FORMULA_NAME Sudoku-PT-AN05-CTLCardinality-11
FORMULA_NAME Sudoku-PT-AN05-CTLCardinality-12
FORMULA_NAME Sudoku-PT-AN05-CTLCardinality-13
FORMULA_NAME Sudoku-PT-AN05-CTLCardinality-14
FORMULA_NAME Sudoku-PT-AN05-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1591336621603

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Sudoku (PT), instance AN05
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: 200 places, 125 transitions, 500 arcs.
AT ITER 0 NEW BEST:: SOT 17768 SOS 9370 HAS SOPS 9370 HAS SOUS 9370 HAS SOUPS 9370 WITH SCORE 9379.37
AT ITER 6 NEW BEST:: SOT 17786 SOS 9389 HAS SOPS 9389 HAS SOUS 9361 HAS SOUPS 9361 WITH SCORE 9370.389
AT ITER 15 NEW BEST:: SOT 17729 SOS 9455 HAS SOPS 9455 HAS SOUS 9325 HAS SOUPS 9325 WITH SCORE 9334.455
AT ITER 17 NEW BEST:: SOT 17671 SOS 9410 HAS SOPS 9410 HAS SOUS 9280 HAS SOUPS 9280 WITH SCORE 9289.41
AT ITER 20 NEW BEST:: SOT 17671 SOS 9405 HAS SOPS 9405 HAS SOUS 9280 HAS SOUPS 9280 WITH SCORE 9289.405
AT ITER 27 NEW BEST:: SOT 17577 SOS 9343 HAS SOPS 9343 HAS SOUS 9206 HAS SOUPS 9206 WITH SCORE 9215.343
AT ITER 34 NEW BEST:: SOT 17577 SOS 9262 HAS SOPS 9262 HAS SOUS 9206 HAS SOUPS 9206 WITH SCORE 9215.262
AT ITER 35 NEW BEST:: SOT 17529 SOS 9281 HAS SOPS 9281 HAS SOUS 9179 HAS SOUPS 9179 WITH SCORE 9188.281
AT ITER 45 NEW BEST:: SOT 17485 SOS 9441 HAS SOPS 9441 HAS SOUS 9177 HAS SOUPS 9177 WITH SCORE 9186.441
AT ITER 81 NEW BEST:: SOT 17461 SOS 9435 HAS SOPS 9435 HAS SOUS 9153 HAS SOUPS 9153 WITH SCORE 9162.435
AT ITER 93 NEW BEST:: SOT 17472 SOS 9422 HAS SOPS 9422 HAS SOUS 9140 HAS SOUPS 9140 WITH SCORE 9149.422
AT ITER 95 NEW BEST:: SOT 17459 SOS 9448 HAS SOPS 9448 HAS SOUS 9127 HAS SOUPS 9127 WITH SCORE 9136.448
AT ITER 100 NEW BEST:: SOT 17435 SOS 9472 HAS SOPS 9472 HAS SOUS 9103 HAS SOUPS 9103 WITH SCORE 9112.472
AT ITER 110 NEW BEST:: SOT 17405 SOS 9442 HAS SOPS 9442 HAS SOUS 9073 HAS SOUPS 9073 WITH SCORE 9082.442
AT ITER 136 NEW BEST:: SOT 17364 SOS 9441 HAS SOPS 9441 HAS SOUS 9072 HAS SOUPS 9072 WITH SCORE 9081.441
AT ITER 153 NEW BEST:: SOT 17306 SOS 9383 HAS SOPS 9383 HAS SOUS 9014 HAS SOUPS 9014 WITH SCORE 9023.383
AT ITER 173 NEW BEST:: SOT 17295 SOS 9383 HAS SOPS 9383 HAS SOUS 9003 HAS SOUPS 9003 WITH SCORE 9012.383
AT ITER 175 NEW BEST:: SOT 17225 SOS 9352 HAS SOPS 9352 HAS SOUS 8935 HAS SOUPS 8935 WITH SCORE 8944.352
AT ITER 178 NEW BEST:: SOT 17259 SOS 9315 HAS SOPS 9315 HAS SOUS 8930 HAS SOUPS 8930 WITH SCORE 8939.315
AT ITER 195 NEW BEST:: SOT 17221 SOS 9460 HAS SOPS 9460 HAS SOUS 8913 HAS SOUPS 8913 WITH SCORE 8922.46
AT ITER 197 NEW BEST:: SOT 17221 SOS 9426 HAS SOPS 9426 HAS SOUS 8912 HAS SOUPS 8912 WITH SCORE 8921.426
AT ITER 220 NEW BEST:: SOT 17214 SOS 9419 HAS SOPS 9419 HAS SOUS 8898 HAS SOUPS 8898 WITH SCORE 8907.419
AT ITER 225 NEW BEST:: SOT 17194 SOS 9461 HAS SOPS 9461 HAS SOUS 8893 HAS SOUPS 8893 WITH SCORE 8902.461
AT ITER 228 NEW BEST:: SOT 17184 SOS 9456 HAS SOPS 9456 HAS SOUS 8888 HAS SOUPS 8888 WITH SCORE 8897.456
AT ITER 229 NEW BEST:: SOT 17148 SOS 9514 HAS SOPS 9514 HAS SOUS 8878 HAS SOUPS 8878 WITH SCORE 8887.514
AT ITER 242 NEW BEST:: SOT 17148 SOS 9507 HAS SOPS 9507 HAS SOUS 8878 HAS SOUPS 8878 WITH SCORE 8887.507
AT ITER 252 NEW BEST:: SOT 17132 SOS 9491 HAS SOPS 9491 HAS SOUS 8862 HAS SOUPS 8862 WITH SCORE 8871.491
AT ITER 269 NEW BEST:: SOT 17132 SOS 9470 HAS SOPS 9470 HAS SOUS 8844 HAS SOUPS 8844 WITH SCORE 8853.47
AT ITER 272 NEW BEST:: SOT 17120 SOS 9458 HAS SOPS 9458 HAS SOUS 8837 HAS SOUPS 8837 WITH SCORE 8846.458
AT ITER 281 NEW BEST:: SOT 17111 SOS 9449 HAS SOPS 9449 HAS SOUS 8828 HAS SOUPS 8828 WITH SCORE 8837.449
AT ITER 289 NEW BEST:: SOT 17111 SOS 9441 HAS SOPS 9441 HAS SOUS 8828 HAS SOUPS 8828 WITH SCORE 8837.441
AT ITER 313 NEW BEST:: SOT 17089 SOS 9471 HAS SOPS 9471 HAS SOUS 8826 HAS SOUPS 8826 WITH SCORE 8835.471
AT ITER 315 NEW BEST:: SOT 17065 SOS 9456 HAS SOPS 9456 HAS SOUS 8795 HAS SOUPS 8795 WITH SCORE 8804.456
AT ITER 316 NEW BEST:: SOT 17056 SOS 9447 HAS SOPS 9447 HAS SOUS 8786 HAS SOUPS 8786 WITH SCORE 8795.447
AT ITER 331 NEW BEST:: SOT 17060 SOS 9476 HAS SOPS 9476 HAS SOUS 8783 HAS SOUPS 8783 WITH SCORE 8792.476
AT ITER 334 NEW BEST:: SOT 17036 SOS 9523 HAS SOPS 9523 HAS SOUS 8762 HAS SOUPS 8762 WITH SCORE 8771.523
AT ITER 341 NEW BEST:: SOT 17052 SOS 9539 HAS SOPS 9539 HAS SOUS 8739 HAS SOUPS 8739 WITH SCORE 8748.539
AT ITER 342 NEW BEST:: SOT 17035 SOS 9522 HAS SOPS 9522 HAS SOUS 8722 HAS SOUPS 8722 WITH SCORE 8731.522
AT ITER 358 NEW BEST:: SOT 16965 SOS 9498 HAS SOPS 9498 HAS SOUS 8698 HAS SOUPS 8698 WITH SCORE 8707.498
AT ITER 361 NEW BEST:: SOT 17006 SOS 9514 HAS SOPS 9514 HAS SOUS 8691 HAS SOUPS 8691 WITH SCORE 8700.514
AT ITER 373 NEW BEST:: SOT 16968 SOS 9477 HAS SOPS 9477 HAS SOUS 8654 HAS SOUPS 8654 WITH SCORE 8663.477
AT ITER 378 NEW BEST:: SOT 16906 SOS 9493 HAS SOPS 9493 HAS SOUS 8631 HAS SOUPS 8631 WITH SCORE 8640.493
AT ITER 379 NEW BEST:: SOT 16880 SOS 9467 HAS SOPS 9467 HAS SOUS 8605 HAS SOUPS 8605 WITH SCORE 8614.467
AT ITER 391 NEW BEST:: SOT 16880 SOS 9454 HAS SOPS 9454 HAS SOUS 8605 HAS SOUPS 8605 WITH SCORE 8614.454
AT ITER 400 NEW BEST:: SOT 16875 SOS 9449 HAS SOPS 9449 HAS SOUS 8604 HAS SOUPS 8604 WITH SCORE 8613.449
AT ITER 409 NEW BEST:: SOT 16852 SOS 9445 HAS SOPS 9445 HAS SOUS 8600 HAS SOUPS 8600 WITH SCORE 8609.445
AT ITER 421 NEW BEST:: SOT 16870 SOS 9437 HAS SOPS 9437 HAS SOUS 8582 HAS SOUPS 8582 WITH SCORE 8591.437
AT ITER 422 NEW BEST:: SOT 16870 SOS 9427 HAS SOPS 9427 HAS SOUS 8574 HAS SOUPS 8574 WITH SCORE 8583.427
AT ITER 442 NEW BEST:: SOT 16867 SOS 9424 HAS SOPS 9424 HAS SOUS 8574 HAS SOUPS 8574 WITH SCORE 8583.424
AT ITER 455 NEW BEST:: SOT 16867 SOS 9423 HAS SOPS 9423 HAS SOUS 8573 HAS SOUPS 8573 WITH SCORE 8582.423
AT ITER 467 NEW BEST:: SOT 16837 SOS 9464 HAS SOPS 9464 HAS SOUS 8549 HAS SOUPS 8549 WITH SCORE 8558.464
AT ITER 478 NEW BEST:: SOT 16794 SOS 9448 HAS SOPS 9448 HAS SOUS 8533 HAS SOUPS 8533 WITH SCORE 8542.448
AT ITER 491 NEW BEST:: SOT 16794 SOS 9433 HAS SOPS 9433 HAS SOUS 8533 HAS SOUPS 8533 WITH SCORE 8542.433
AT ITER 499 NEW BEST:: SOT 16782 SOS 9421 HAS SOPS 9421 HAS SOUS 8521 HAS SOUPS 8521 WITH SCORE 8530.421
AT ITER 512 NEW BEST:: SOT 16800 SOS 9414 HAS SOPS 9414 HAS SOUS 8491 HAS SOUPS 8491 WITH SCORE 8500.414
AT ITER 523 NEW BEST:: SOT 16769 SOS 9390 HAS SOPS 9390 HAS SOUS 8467 HAS SOUPS 8467 WITH SCORE 8476.39
AT ITER 526 NEW BEST:: SOT 16723 SOS 9394 HAS SOPS 9394 HAS SOUS 8442 HAS SOUPS 8442 WITH SCORE 8451.394
AT ITER 528 NEW BEST:: SOT 16713 SOS 9386 HAS SOPS 9386 HAS SOUS 8434 HAS SOUPS 8434 WITH SCORE 8443.386
AT ITER 546 NEW BEST:: SOT 16713 SOS 9387 HAS SOPS 9387 HAS SOUS 8412 HAS SOUPS 8412 WITH SCORE 8421.387
AT ITER 548 NEW BEST:: SOT 16651 SOS 9378 HAS SOPS 9378 HAS SOUS 8403 HAS SOUPS 8403 WITH SCORE 8412.378
AT ITER 549 NEW BEST:: SOT 16596 SOS 9357 HAS SOPS 9357 HAS SOUS 8395 HAS SOUPS 8395 WITH SCORE 8404.357
AT ITER 553 NEW BEST:: SOT 16596 SOS 9354 HAS SOPS 9354 HAS SOUS 8371 HAS SOUPS 8371 WITH SCORE 8380.354
AT ITER 558 NEW BEST:: SOT 16596 SOS 9337 HAS SOPS 9337 HAS SOUS 8350 HAS SOUPS 8350 WITH SCORE 8359.337
AT ITER 561 NEW BEST:: SOT 16612 SOS 9296 HAS SOPS 9296 HAS SOUS 8346 HAS SOUPS 8346 WITH SCORE 8355.296
AT ITER 568 NEW BEST:: SOT 16595 SOS 9237 HAS SOPS 9237 HAS SOUS 8331 HAS SOUPS 8331 WITH SCORE 8340.237
AT ITER 579 NEW BEST:: SOT 16579 SOS 9210 HAS SOPS 9210 HAS SOUS 8310 HAS SOUPS 8310 WITH SCORE 8319.21
AT ITER 592 NEW BEST:: SOT 16579 SOS 9189 HAS SOPS 9189 HAS SOUS 8289 HAS SOUPS 8289 WITH SCORE 8298.189
AT ITER 593 NEW BEST:: SOT 16600 SOS 9198 HAS SOPS 9198 HAS SOUS 8286 HAS SOUPS 8286 WITH SCORE 8295.198
AT ITER 596 NEW BEST:: SOT 16582 SOS 9180 HAS SOPS 9180 HAS SOUS 8268 HAS SOUPS 8268 WITH SCORE 8277.18
AT ITER 604 NEW BEST:: SOT 16542 SOS 9160 HAS SOPS 9160 HAS SOUS 8248 HAS SOUPS 8248 WITH SCORE 8257.16
AT ITER 623 NEW BEST:: SOT 16527 SOS 9153 HAS SOPS 9153 HAS SOUS 8241 HAS SOUPS 8241 WITH SCORE 8250.153
AT ITER 624 NEW BEST:: SOT 16527 SOS 9151 HAS SOPS 9151 HAS SOUS 8241 HAS SOUPS 8241 WITH SCORE 8250.151
AT ITER 637 NEW BEST:: SOT 16493 SOS 9134 HAS SOPS 9134 HAS SOUS 8240 HAS SOUPS 8240 WITH SCORE 8249.134
AT ITER 687 NEW BEST:: SOT 16493 SOS 9126 HAS SOPS 9126 HAS SOUS 8236 HAS SOUPS 8236 WITH SCORE 8245.126
AT ITER 691 NEW BEST:: SOT 16493 SOS 9106 HAS SOPS 9106 HAS SOUS 8216 HAS SOUPS 8216 WITH SCORE 8225.106
AT ITER 702 NEW BEST:: SOT 16493 SOS 9087 HAS SOPS 9087 HAS SOUS 8216 HAS SOUPS 8216 WITH SCORE 8225.087
AT ITER 703 NEW BEST:: SOT 16436 SOS 9147 HAS SOPS 9147 HAS SOUS 8198 HAS SOUPS 8198 WITH SCORE 8207.147
AT ITER 706 NEW BEST:: SOT 16436 SOS 9199 HAS SOPS 9199 HAS SOUS 8192 HAS SOUPS 8192 WITH SCORE 8201.199
AT ITER 711 NEW BEST:: SOT 16423 SOS 9139 HAS SOPS 9139 HAS SOUS 8189 HAS SOUPS 8189 WITH SCORE 8198.139
AT ITER 716 NEW BEST:: SOT 16415 SOS 9135 HAS SOPS 9135 HAS SOUS 8189 HAS SOUPS 8189 WITH SCORE 8198.135
AT ITER 721 NEW BEST:: SOT 16413 SOS 9133 HAS SOPS 9133 HAS SOUS 8187 HAS SOUPS 8187 WITH SCORE 8196.133
AT ITER 728 NEW BEST:: SOT 16411 SOS 9074 HAS SOPS 9074 HAS SOUS 8178 HAS SOUPS 8178 WITH SCORE 8187.074
AT ITER 740 NEW BEST:: SOT 16411 SOS 9070 HAS SOPS 9070 HAS SOUS 8178 HAS SOUPS 8178 WITH SCORE 8187.07
AT ITER 743 NEW BEST:: SOT 16395 SOS 9054 HAS SOPS 9054 HAS SOUS 8162 HAS SOUPS 8162 WITH SCORE 8171.054
AT ITER 760 NEW BEST:: SOT 16416 SOS 9016 HAS SOPS 9016 HAS SOUS 8147 HAS SOUPS 8147 WITH SCORE 8156.016
AT ITER 765 NEW BEST:: SOT 16404 SOS 9004 HAS SOPS 9004 HAS SOUS 8135 HAS SOUPS 8135 WITH SCORE 8144.004
AT ITER 772 NEW BEST:: SOT 16371 SOS 9003 HAS SOPS 9003 HAS SOUS 8134 HAS SOUPS 8134 WITH SCORE 8143.003
AT ITER 773 NEW BEST:: SOT 16369 SOS 9007 HAS SOPS 9007 HAS SOUS 8133 HAS SOUPS 8133 WITH SCORE 8142.007
AT ITER 784 NEW BEST:: SOT 16374 SOS 8997 HAS SOPS 8997 HAS SOUS 8133 HAS SOUPS 8133 WITH SCORE 8141.997
AT ITER 785 NEW BEST:: SOT 16365 SOS 8988 HAS SOPS 8988 HAS SOUS 8124 HAS SOUPS 8124 WITH SCORE 8132.988
AT ITER 790 NEW BEST:: SOT 16361 SOS 8992 HAS SOPS 8992 HAS SOUS 8120 HAS SOUPS 8120 WITH SCORE 8128.992
AT ITER 802 NEW BEST:: SOT 16351 SOS 8994 HAS SOPS 8994 HAS SOUS 8111 HAS SOUPS 8111 WITH SCORE 8119.994
AT ITER 836 NEW BEST:: SOT 16351 SOS 8992 HAS SOPS 8992 HAS SOUS 8110 HAS SOUPS 8110 WITH SCORE 8118.992
AT ITER 872 NEW BEST:: SOT 16351 SOS 8992 HAS SOPS 8992 HAS SOUS 8108 HAS SOUPS 8108 WITH SCORE 8116.992
AT ITER 880 NEW BEST:: SOT 16353 SOS 8988 HAS SOPS 8988 HAS SOUS 8104 HAS SOUPS 8104 WITH SCORE 8112.988
AT ITER 896 NEW BEST:: SOT 16324 SOS 9034 HAS SOPS 9034 HAS SOUS 8095 HAS SOUPS 8095 WITH SCORE 8104.034
AT ITER 911 NEW BEST:: SOT 16324 SOS 9006 HAS SOPS 9006 HAS SOUS 8095 HAS SOUPS 8095 WITH SCORE 8104.006
AT ITER 925 NEW BEST:: SOT 16324 SOS 8994 HAS SOPS 8994 HAS SOUS 8095 HAS SOUPS 8095 WITH SCORE 8103.994
AT ITER 932 NEW BEST:: SOT 16323 SOS 9012 HAS SOPS 9012 HAS SOUS 8094 HAS SOUPS 8094 WITH SCORE 8103.012
AT ITER 940 NEW BEST:: SOT 16323 SOS 9009 HAS SOPS 9009 HAS SOUS 8091 HAS SOUPS 8091 WITH SCORE 8100.009
AT ITER 958 NEW BEST:: SOT 16323 SOS 9005 HAS SOPS 9005 HAS SOUS 8091 HAS SOUPS 8091 WITH SCORE 8100.005
AT ITER 975 NEW BEST:: SOT 16356 SOS 8961 HAS SOPS 8961 HAS SOUS 8090 HAS SOUPS 8090 WITH SCORE 8098.961
AT ITER 976 NEW BEST:: SOT 16356 SOS 8953 HAS SOPS 8953 HAS SOUS 8090 HAS SOUPS 8090 WITH SCORE 8098.953
AT ITER 977 NEW BEST:: SOT 16353 SOS 8962 HAS SOPS 8962 HAS SOUS 8087 HAS SOUPS 8087 WITH SCORE 8095.962
AT ITER 988 NEW BEST:: SOT 16352 SOS 8961 HAS SOPS 8961 HAS SOUS 8086 HAS SOUPS 8086 WITH SCORE 8094.961
AT ITER 998 NEW BEST:: SOT 16333 SOS 8958 HAS SOPS 8958 HAS SOUS 8083 HAS SOUPS 8083 WITH SCORE 8091.958
AT ITER 1000 NEW BEST:: SOT 16328 SOS 8958 HAS SOPS 8958 HAS SOUS 8079 HAS SOUPS 8079 WITH SCORE 8087.958
AT ITER 1001 NEW BEST:: SOT 16322 SOS 8952 HAS SOPS 8952 HAS SOUS 8074 HAS SOUPS 8074 WITH SCORE 8082.952
AT ITER 1008 NEW BEST:: SOT 16322 SOS 8952 HAS SOPS 8952 HAS SOUS 8073 HAS SOUPS 8073 WITH SCORE 8081.952
AT ITER 1016 NEW BEST:: SOT 16322 SOS 8949 HAS SOPS 8949 HAS SOUS 8070 HAS SOUPS 8070 WITH SCORE 8078.949
AT ITER 1030 NEW BEST:: SOT 16340 SOS 8948 HAS SOPS 8948 HAS SOUS 8069 HAS SOUPS 8069 WITH SCORE 8077.948
AT ITER 1044 NEW BEST:: SOT 16328 SOS 8936 HAS SOPS 8936 HAS SOUS 8057 HAS SOUPS 8057 WITH SCORE 8065.936
AT ITER 1062 NEW BEST:: SOT 16328 SOS 8935 HAS SOPS 8935 HAS SOUS 8057 HAS SOUPS 8057 WITH SCORE 8065.935
AT ITER 1085 NEW BEST:: SOT 16255 SOS 9016 HAS SOPS 9016 HAS SOUS 8024 HAS SOUPS 8024 WITH SCORE 8033.016
AT ITER 1090 NEW BEST:: SOT 16253 SOS 9014 HAS SOPS 9014 HAS SOUS 8022 HAS SOUPS 8022 WITH SCORE 8031.014
AT ITER 1100 NEW BEST:: SOT 16249 SOS 9006 HAS SOPS 9006 HAS SOUS 8014 HAS SOUPS 8014 WITH SCORE 8023.006
AT ITER 1107 NEW BEST:: SOT 16255 SOS 9005 HAS SOPS 9005 HAS SOUS 8012 HAS SOUPS 8012 WITH SCORE 8021.005
AT ITER 1108 NEW BEST:: SOT 16255 SOS 9005 HAS SOPS 9005 HAS SOUS 7980 HAS SOUPS 7980 WITH SCORE 7989.005
AT ITER 1120 NEW BEST:: SOT 16250 SOS 9000 HAS SOPS 9000 HAS SOUS 7975 HAS SOUPS 7975 WITH SCORE 7984.0
AT ITER 1128 NEW BEST:: SOT 16279 SOS 9034 HAS SOPS 9034 HAS SOUS 7950 HAS SOUPS 7950 WITH SCORE 7959.034
AT ITER 1129 NEW BEST:: SOT 16275 SOS 9030 HAS SOPS 9030 HAS SOUS 7946 HAS SOUPS 7946 WITH SCORE 7955.03
AT ITER 1135 NEW BEST:: SOT 16260 SOS 9025 HAS SOPS 9025 HAS SOUS 7941 HAS SOUPS 7941 WITH SCORE 7950.025
AT ITER 1142 NEW BEST:: SOT 16253 SOS 9018 HAS SOPS 9018 HAS SOUS 7934 HAS SOUPS 7934 WITH SCORE 7943.018
AT ITER 1157 NEW BEST:: SOT 16248 SOS 9003 HAS SOPS 9003 HAS SOUS 7921 HAS SOUPS 7921 WITH SCORE 7930.003
AT ITER 1163 NEW BEST:: SOT 16165 SOS 9105 HAS SOPS 9105 HAS SOUS 7884 HAS SOUPS 7884 WITH SCORE 7893.105
AT ITER 1166 NEW BEST:: SOT 16168 SOS 9098 HAS SOPS 9098 HAS SOUS 7857 HAS SOUPS 7857 WITH SCORE 7866.098
AT ITER 1175 NEW BEST:: SOT 16153 SOS 9089 HAS SOPS 9089 HAS SOUS 7844 HAS SOUPS 7844 WITH SCORE 7853.089
AT ITER 1176 NEW BEST:: SOT 16153 SOS 9104 HAS SOPS 9104 HAS SOUS 7841 HAS SOUPS 7841 WITH SCORE 7850.104
AT ITER 1183 NEW BEST:: SOT 16160 SOS 9111 HAS SOPS 9111 HAS SOUS 7828 HAS SOUPS 7828 WITH SCORE 7837.111
AT ITER 1188 NEW BEST:: SOT 16222 SOS 9131 HAS SOPS 9131 HAS SOUS 7826 HAS SOUPS 7826 WITH SCORE 7835.131
AT ITER 1200 NEW BEST:: SOT 16222 SOS 9135 HAS SOPS 9135 HAS SOUS 7820 HAS SOUPS 7820 WITH SCORE 7829.135
AT ITER 1218 NEW BEST:: SOT 16214 SOS 9148 HAS SOPS 9148 HAS SOUS 7812 HAS SOUPS 7812 WITH SCORE 7821.148
AT ITER 1219 NEW BEST:: SOT 16214 SOS 9109 HAS SOPS 9109 HAS SOUS 7811 HAS SOUPS 7811 WITH SCORE 7820.109
AT ITER 1254 NEW BEST:: SOT 16214 SOS 9105 HAS SOPS 9105 HAS SOUS 7811 HAS SOUPS 7811 WITH SCORE 7820.105
AT ITER 1306 NEW BEST:: SOT 16212 SOS 9103 HAS SOPS 9103 HAS SOUS 7809 HAS SOUPS 7809 WITH SCORE 7818.103
AT ITER 1327 NEW BEST:: SOT 16212 SOS 9084 HAS SOPS 9084 HAS SOUS 7790 HAS SOUPS 7790 WITH SCORE 7799.084
AT ITER 1335 NEW BEST:: SOT 16212 SOS 9080 HAS SOPS 9080 HAS SOUS 7786 HAS SOUPS 7786 WITH SCORE 7795.08
AT ITER 1342 NEW BEST:: SOT 16210 SOS 9078 HAS SOPS 9078 HAS SOUS 7784 HAS SOUPS 7784 WITH SCORE 7793.078
AT ITER 1375 NEW BEST:: SOT 16210 SOS 9051 HAS SOPS 9051 HAS SOUS 7768 HAS SOUPS 7768 WITH SCORE 7777.051
AT ITER 1398 NEW BEST:: SOT 16201 SOS 9046 HAS SOPS 9046 HAS SOUS 7763 HAS SOUPS 7763 WITH SCORE 7772.046
AT ITER 1399 NEW BEST:: SOT 16164 SOS 9033 HAS SOPS 9033 HAS SOUS 7738 HAS SOUPS 7738 WITH SCORE 7747.033
AT ITER 1408 NEW BEST:: SOT 16155 SOS 9024 HAS SOPS 9024 HAS SOUS 7729 HAS SOUPS 7729 WITH SCORE 7738.024
AT ITER 1409 NEW BEST:: SOT 16155 SOS 9017 HAS SOPS 9017 HAS SOUS 7729 HAS SOUPS 7729 WITH SCORE 7738.017
AT ITER 1421 NEW BEST:: SOT 16151 SOS 9013 HAS SOPS 9013 HAS SOUS 7725 HAS SOUPS 7725 WITH SCORE 7734.013
AT ITER 1424 NEW BEST:: SOT 16088 SOS 8985 HAS SOPS 8985 HAS SOUS 7697 HAS SOUPS 7697 WITH SCORE 7705.985
AT ITER 1483 NEW BEST:: SOT 16088 SOS 8982 HAS SOPS 8982 HAS SOUS 7696 HAS SOUPS 7696 WITH SCORE 7704.982
AT ITER 1485 NEW BEST:: SOT 16034 SOS 8954 HAS SOPS 8954 HAS SOUS 7690 HAS SOUPS 7690 WITH SCORE 7698.954
AT ITER 1507 NEW BEST:: SOT 16025 SOS 8945 HAS SOPS 8945 HAS SOUS 7686 HAS SOUPS 7686 WITH SCORE 7694.945
AT ITER 1511 NEW BEST:: SOT 15998 SOS 9069 HAS SOPS 9069 HAS SOUS 7672 HAS SOUPS 7672 WITH SCORE 7681.069
AT ITER 1539 NEW BEST:: SOT 15998 SOS 9069 HAS SOPS 9069 HAS SOUS 7668 HAS SOUPS 7668 WITH SCORE 7677.069
AT ITER 1564 NEW BEST:: SOT 15990 SOS 9064 HAS SOPS 9064 HAS SOUS 7663 HAS SOUPS 7663 WITH SCORE 7672.064
AT ITER 1569 NEW BEST:: SOT 15980 SOS 9059 HAS SOPS 9059 HAS SOUS 7663 HAS SOUPS 7663 WITH SCORE 7672.059
AT ITER 1575 NEW BEST:: SOT 15980 SOS 9059 HAS SOPS 9059 HAS SOUS 7662 HAS SOUPS 7662 WITH SCORE 7671.059
AT ITER 1584 NEW BEST:: SOT 15980 SOS 9003 HAS SOPS 9003 HAS SOUS 7662 HAS SOUPS 7662 WITH SCORE 7671.003
AT ITER 1590 NEW BEST:: SOT 15966 SOS 8989 HAS SOPS 8989 HAS SOUS 7648 HAS SOUPS 7648 WITH SCORE 7656.989
AT ITER 1599 NEW BEST:: SOT 15965 SOS 8986 HAS SOPS 8986 HAS SOUS 7628 HAS SOUPS 7628 WITH SCORE 7636.986
AT ITER 1622 NEW BEST:: SOT 15942 SOS 8971 HAS SOPS 8971 HAS SOUS 7613 HAS SOUPS 7613 WITH SCORE 7621.971
AT ITER 1634 NEW BEST:: SOT 15941 SOS 8970 HAS SOPS 8970 HAS SOUS 7612 HAS SOUPS 7612 WITH SCORE 7620.97
AT ITER 1643 NEW BEST:: SOT 15951 SOS 8956 HAS SOPS 8956 HAS SOUS 7610 HAS SOUPS 7610 WITH SCORE 7618.956
AT ITER 1677 NEW BEST:: SOT 15951 SOS 8898 HAS SOPS 8898 HAS SOUS 7600 HAS SOUPS 7600 WITH SCORE 7608.898
AT ITER 1691 NEW BEST:: SOT 15951 SOS 8883 HAS SOPS 8883 HAS SOUS 7597 HAS SOUPS 7597 WITH SCORE 7605.883
AT ITER 1700 NEW BEST:: SOT 15946 SOS 8878 HAS SOPS 8878 HAS SOUS 7592 HAS SOUPS 7592 WITH SCORE 7600.878
AT ITER 1707 NEW BEST:: SOT 15957 SOS 8880 HAS SOPS 8880 HAS SOUS 7585 HAS SOUPS 7585 WITH SCORE 7593.88
AT ITER 1709 NEW BEST:: SOT 15948 SOS 8876 HAS SOPS 8876 HAS SOUS 7566 HAS SOUPS 7566 WITH SCORE 7574.876
AT ITER 1775 NEW BEST:: SOT 15944 SOS 8872 HAS SOPS 8872 HAS SOUS 7562 HAS SOUPS 7562 WITH SCORE 7570.872
AT ITER 1780 NEW BEST:: SOT 15926 SOS 8854 HAS SOPS 8854 HAS SOUS 7544 HAS SOUPS 7544 WITH SCORE 7552.854
AT ITER 1788 NEW BEST:: SOT 15914 SOS 8820 HAS SOPS 8820 HAS SOUS 7527 HAS SOUPS 7527 WITH SCORE 7535.82
AT ITER 1802 NEW BEST:: SOT 15919 SOS 8819 HAS SOPS 8819 HAS SOUS 7526 HAS SOUPS 7526 WITH SCORE 7534.819
AT ITER 1812 NEW BEST:: SOT 15918 SOS 8818 HAS SOPS 8818 HAS SOUS 7525 HAS SOUPS 7525 WITH SCORE 7533.818
AT ITER 1833 NEW BEST:: SOT 15918 SOS 8810 HAS SOPS 8810 HAS SOUS 7525 HAS SOUPS 7525 WITH SCORE 7533.81
AT ITER 1834 NEW BEST:: SOT 15917 SOS 8809 HAS SOPS 8809 HAS SOUS 7524 HAS SOUPS 7524 WITH SCORE 7532.809
AT ITER 1838 NEW BEST:: SOT 15917 SOS 8757 HAS SOPS 8757 HAS SOUS 7523 HAS SOUPS 7523 WITH SCORE 7531.757
AT ITER 1845 NEW BEST:: SOT 15917 SOS 8757 HAS SOPS 8757 HAS SOUS 7520 HAS SOUPS 7520 WITH SCORE 7528.757
AT ITER 1849 NEW BEST:: SOT 15912 SOS 8921 HAS SOPS 8921 HAS SOUS 7515 HAS SOUPS 7515 WITH SCORE 7523.921
AT ITER 1863 NEW BEST:: SOT 15912 SOS 8919 HAS SOPS 8919 HAS SOUS 7513 HAS SOUPS 7513 WITH SCORE 7521.919
AT ITER 1865 NEW BEST:: SOT 15905 SOS 8917 HAS SOPS 8917 HAS SOUS 7511 HAS SOUPS 7511 WITH SCORE 7519.917
AT ITER 1878 NEW BEST:: SOT 15900 SOS 8912 HAS SOPS 8912 HAS SOUS 7506 HAS SOUPS 7506 WITH SCORE 7514.912
AT ITER 1880 NEW BEST:: SOT 15900 SOS 8905 HAS SOPS 8905 HAS SOUS 7506 HAS SOUPS 7506 WITH SCORE 7514.905
AT ITER 1887 NEW BEST:: SOT 15926 SOS 8857 HAS SOPS 8857 HAS SOUS 7502 HAS SOUPS 7502 WITH SCORE 7510.857
AT ITER 1902 NEW BEST:: SOT 15926 SOS 8844 HAS SOPS 8844 HAS SOUS 7499 HAS SOUPS 7499 WITH SCORE 7507.844
AT ITER 1913 NEW BEST:: SOT 15913 SOS 8842 HAS SOPS 8842 HAS SOUS 7497 HAS SOUPS 7497 WITH SCORE 7505.842
AT ITER 1936 NEW BEST:: SOT 15894 SOS 8775 HAS SOPS 8775 HAS SOUS 7491 HAS SOUPS 7491 WITH SCORE 7499.775
AT ITER 1949 NEW BEST:: SOT 15888 SOS 8769 HAS SOPS 8769 HAS SOUS 7485 HAS SOUPS 7485 WITH SCORE 7493.769
AT ITER 1992 NEW BEST:: SOT 15893 SOS 8771 HAS SOPS 8771 HAS SOUS 7475 HAS SOUPS 7475 WITH SCORE 7483.771
AT ITER 1994 NEW BEST:: SOT 15890 SOS 8768 HAS SOPS 8768 HAS SOUS 7472 HAS SOUPS 7472 WITH SCORE 7480.768
AT ITER 1999 NEW BEST:: SOT 15854 SOS 8800 HAS SOPS 8800 HAS SOUS 7460 HAS SOUPS 7460 WITH SCORE 7468.8
AT ITER 2010 NEW BEST:: SOT 15854 SOS 8800 HAS SOPS 8800 HAS SOUS 7455 HAS SOUPS 7455 WITH SCORE 7463.8
AT ITER 2016 NEW BEST:: SOT 15832 SOS 8786 HAS SOPS 8786 HAS SOUS 7441 HAS SOUPS 7441 WITH SCORE 7449.786
AT ITER 2047 NEW BEST:: SOT 15831 SOS 8785 HAS SOPS 8785 HAS SOUS 7440 HAS SOUPS 7440 WITH SCORE 7448.785
AT ITER 2059 NEW BEST:: SOT 15829 SOS 8783 HAS SOPS 8783 HAS SOUS 7438 HAS SOUPS 7438 WITH SCORE 7446.783
AT ITER 2070 NEW BEST:: SOT 15823 SOS 8801 HAS SOPS 8801 HAS SOUS 7433 HAS SOUPS 7433 WITH SCORE 7441.801
AT ITER 2087 NEW BEST:: SOT 15823 SOS 8774 HAS SOPS 8774 HAS SOUS 7432 HAS SOUPS 7432 WITH SCORE 7440.774
AT ITER 2091 NEW BEST:: SOT 15823 SOS 8762 HAS SOPS 8762 HAS SOUS 7420 HAS SOUPS 7420 WITH SCORE 7428.762
AT ITER 2094 NEW BEST:: SOT 15825 SOS 8746 HAS SOPS 8746 HAS SOUS 7416 HAS SOUPS 7416 WITH SCORE 7424.746
AT ITER 2138 NEW BEST:: SOT 15825 SOS 8744 HAS SOPS 8744 HAS SOUS 7412 HAS SOUPS 7412 WITH SCORE 7420.744
AT ITER 2152 NEW BEST:: SOT 15823 SOS 8742 HAS SOPS 8742 HAS SOUS 7410 HAS SOUPS 7410 WITH SCORE 7418.742
AT ITER 2190 NEW BEST:: SOT 15827 SOS 8757 HAS SOPS 8757 HAS SOUS 7407 HAS SOUPS 7407 WITH SCORE 7415.757
AT ITER 2213 NEW BEST:: SOT 15835 SOS 8666 HAS SOPS 8666 HAS SOUS 7397 HAS SOUPS 7397 WITH SCORE 7405.666
AT ITER 2227 NEW BEST:: SOT 15835 SOS 8658 HAS SOPS 8658 HAS SOUS 7383 HAS SOUPS 7383 WITH SCORE 7391.658
AT ITER 2246 NEW BEST:: SOT 15835 SOS 8649 HAS SOPS 8649 HAS SOUS 7383 HAS SOUPS 7383 WITH SCORE 7391.649
AT ITER 2250 NEW BEST:: SOT 15831 SOS 8645 HAS SOPS 8645 HAS SOUS 7377 HAS SOUPS 7377 WITH SCORE 7385.645
AT ITER 2251 NEW BEST:: SOT 15815 SOS 8619 HAS SOPS 8619 HAS SOUS 7361 HAS SOUPS 7361 WITH SCORE 7369.619
AT ITER 2258 NEW BEST:: SOT 15815 SOS 8602 HAS SOPS 8602 HAS SOUS 7354 HAS SOUPS 7354 WITH SCORE 7362.602
AT ITER 2264 NEW BEST:: SOT 15800 SOS 8650 HAS SOPS 8650 HAS SOUS 7339 HAS SOUPS 7339 WITH SCORE 7347.65
AT ITER 2271 NEW BEST:: SOT 15798 SOS 8648 HAS SOPS 8648 HAS SOUS 7337 HAS SOUPS 7337 WITH SCORE 7345.648
AT ITER 2276 NEW BEST:: SOT 15798 SOS 8648 HAS SOPS 8648 HAS SOUS 7336 HAS SOUPS 7336 WITH SCORE 7344.648
AT ITER 2293 NEW BEST:: SOT 15789 SOS 8630 HAS SOPS 8630 HAS SOUS 7318 HAS SOUPS 7318 WITH SCORE 7326.63
AT ITER 2294 NEW BEST:: SOT 15788 SOS 8629 HAS SOPS 8629 HAS SOUS 7317 HAS SOUPS 7317 WITH SCORE 7325.629
AT ITER 2295 NEW BEST:: SOT 15782 SOS 8637 HAS SOPS 8637 HAS SOUS 7309 HAS SOUPS 7309 WITH SCORE 7317.637
AT ITER 2317 NEW BEST:: SOT 15768 SOS 8627 HAS SOPS 8627 HAS SOUS 7299 HAS SOUPS 7299 WITH SCORE 7307.627
AT ITER 2356 NEW BEST:: SOT 15768 SOS 8623 HAS SOPS 8623 HAS SOUS 7298 HAS SOUPS 7298 WITH SCORE 7306.623
AT ITER 2369 NEW BEST:: SOT 15773 SOS 8619 HAS SOPS 8619 HAS SOUS 7298 HAS SOUPS 7298 WITH SCORE 7306.619
AT ITER 2374 NEW BEST:: SOT 15772 SOS 8618 HAS SOPS 8618 HAS SOUS 7295 HAS SOUPS 7295 WITH SCORE 7303.618
AT ITER 2429 NEW BEST:: SOT 15768 SOS 8614 HAS SOPS 8614 HAS SOUS 7291 HAS SOUPS 7291 WITH SCORE 7299.614
AT ITER 2442 NEW BEST:: SOT 15768 SOS 8603 HAS SOPS 8603 HAS SOUS 7282 HAS SOUPS 7282 WITH SCORE 7290.603
AT ITER 2453 NEW BEST:: SOT 15766 SOS 8601 HAS SOPS 8601 HAS SOUS 7280 HAS SOUPS 7280 WITH SCORE 7288.601
AT ITER 2490 NEW BEST:: SOT 15734 SOS 8665 HAS SOPS 8665 HAS SOUS 7264 HAS SOUPS 7264 WITH SCORE 7272.665
AT ITER 2503 NEW BEST:: SOT 15718 SOS 8698 HAS SOPS 8698 HAS SOUS 7254 HAS SOUPS 7254 WITH SCORE 7262.698
AT ITER 2525 NEW BEST:: SOT 15716 SOS 8696 HAS SOPS 8696 HAS SOUS 7252 HAS SOUPS 7252 WITH SCORE 7260.696
AT ITER 2538 NEW BEST:: SOT 15698 SOS 8683 HAS SOPS 8683 HAS SOUS 7239 HAS SOUPS 7239 WITH SCORE 7247.683
AT ITER 2565 NEW BEST:: SOT 15696 SOS 8681 HAS SOPS 8681 HAS SOUS 7237 HAS SOUPS 7237 WITH SCORE 7245.681
AT ITER 2569 NEW BEST:: SOT 15656 SOS 8678 HAS SOPS 8678 HAS SOUS 7225 HAS SOUPS 7225 WITH SCORE 7233.678
AT ITER 2583 NEW BEST:: SOT 15657 SOS 8678 HAS SOPS 8678 HAS SOUS 7224 HAS SOUPS 7224 WITH SCORE 7232.678
AT ITER 2616 NEW BEST:: SOT 15657 SOS 8679 HAS SOPS 8679 HAS SOUS 7223 HAS SOUPS 7223 WITH SCORE 7231.679
AT ITER 2640 NEW BEST:: SOT 15655 SOS 8677 HAS SOPS 8677 HAS SOUS 7221 HAS SOUPS 7221 WITH SCORE 7229.677
AT ITER 2644 NEW BEST:: SOT 15655 SOS 8685 HAS SOPS 8685 HAS SOUS 7220 HAS SOUPS 7220 WITH SCORE 7228.685
AT ITER 2646 NEW BEST:: SOT 15655 SOS 8687 HAS SOPS 8687 HAS SOUS 7218 HAS SOUPS 7218 WITH SCORE 7226.687
AT ITER 2650 NEW BEST:: SOT 15640 SOS 8713 HAS SOPS 8713 HAS SOUS 7206 HAS SOUPS 7206 WITH SCORE 7214.713
AT ITER 2718 NEW BEST:: SOT 15637 SOS 8710 HAS SOPS 8710 HAS SOUS 7196 HAS SOUPS 7196 WITH SCORE 7204.71
AT ITER 2720 NEW BEST:: SOT 15636 SOS 8709 HAS SOPS 8709 HAS SOUS 7193 HAS SOUPS 7193 WITH SCORE 7201.709
AT ITER 2731 NEW BEST:: SOT 15632 SOS 8707 HAS SOPS 8707 HAS SOUS 7193 HAS SOUPS 7193 WITH SCORE 7201.707
AT ITER 2812 NEW BEST:: SOT 15627 SOS 8702 HAS SOPS 8702 HAS SOUS 7179 HAS SOUPS 7179 WITH SCORE 7187.702
AT ITER 2827 NEW BEST:: SOT 15627 SOS 8703 HAS SOPS 8703 HAS SOUS 7178 HAS SOUPS 7178 WITH SCORE 7186.703
AT ITER 2849 NEW BEST:: SOT 15627 SOS 8703 HAS SOPS 8703 HAS SOUS 7172 HAS SOUPS 7172 WITH SCORE 7180.703
AT ITER 2860 NEW BEST:: SOT 15627 SOS 8697 HAS SOPS 8697 HAS SOUS 7168 HAS SOUPS 7168 WITH SCORE 7176.697
AT ITER 2870 NEW BEST:: SOT 15627 SOS 8697 HAS SOPS 8697 HAS SOUS 7166 HAS SOUPS 7166 WITH SCORE 7174.697
AT ITER 2909 NEW BEST:: SOT 15627 SOS 8707 HAS SOPS 8707 HAS SOUS 7161 HAS SOUPS 7161 WITH SCORE 7169.707
AT ITER 2916 NEW BEST:: SOT 15625 SOS 8705 HAS SOPS 8705 HAS SOUS 7159 HAS SOUPS 7159 WITH SCORE 7167.705
AT ITER 2937 NEW BEST:: SOT 15615 SOS 8702 HAS SOPS 8702 HAS SOUS 7148 HAS SOUPS 7148 WITH SCORE 7156.702
AT ITER 2960 NEW BEST:: SOT 15609 SOS 8696 HAS SOPS 8696 HAS SOUS 7142 HAS SOUPS 7142 WITH SCORE 7150.696
AT ITER 2971 NEW BEST:: SOT 15608 SOS 8691 HAS SOPS 8691 HAS SOUS 7137 HAS SOUPS 7137 WITH SCORE 7145.691
AT ITER 3084 NEW BEST:: SOT 15608 SOS 8688 HAS SOPS 8688 HAS SOUS 7135 HAS SOUPS 7135 WITH SCORE 7143.688
AT ITER 3093 NEW BEST:: SOT 15609 SOS 8668 HAS SOPS 8668 HAS SOUS 7129 HAS SOUPS 7129 WITH SCORE 7137.668
AT ITER 3108 NEW BEST:: SOT 15605 SOS 8664 HAS SOPS 8664 HAS SOUS 7125 HAS SOUPS 7125 WITH SCORE 7133.664
AT ITER 3142 NEW BEST:: SOT 15601 SOS 8660 HAS SOPS 8660 HAS SOUS 7121 HAS SOUPS 7121 WITH SCORE 7129.66
AT ITER 3143 NEW BEST:: SOT 15607 SOS 8654 HAS SOPS 8654 HAS SOUS 7115 HAS SOUPS 7115 WITH SCORE 7123.654
AT ITER 3171 NEW BEST:: SOT 15607 SOS 8654 HAS SOPS 8654 HAS SOUS 7106 HAS SOUPS 7106 WITH SCORE 7114.654
AT ITER 3219 NEW BEST:: SOT 15592 SOS 8644 HAS SOPS 8644 HAS SOUS 7096 HAS SOUPS 7096 WITH SCORE 7104.644
AT ITER 3237 NEW BEST:: SOT 15591 SOS 8643 HAS SOPS 8643 HAS SOUS 7095 HAS SOUPS 7095 WITH SCORE 7103.643
AT ITER 3246 NEW BEST:: SOT 15570 SOS 8640 HAS SOPS 8640 HAS SOUS 7092 HAS SOUPS 7092 WITH SCORE 7100.64
AT ITER 3255 NEW BEST:: SOT 15561 SOS 8685 HAS SOPS 8685 HAS SOUS 7090 HAS SOUPS 7090 WITH SCORE 7098.685
AT ITER 3270 NEW BEST:: SOT 15557 SOS 8681 HAS SOPS 8681 HAS SOUS 7083 HAS SOUPS 7083 WITH SCORE 7091.681
AT ITER 3272 NEW BEST:: SOT 15557 SOS 8681 HAS SOPS 8681 HAS SOUS 7075 HAS SOUPS 7075 WITH SCORE 7083.681
AT ITER 3311 NEW BEST:: SOT 15557 SOS 8681 HAS SOPS 8681 HAS SOUS 7064 HAS SOUPS 7064 WITH SCORE 7072.681
AT ITER 3329 NEW BEST:: SOT 15557 SOS 8648 HAS SOPS 8648 HAS SOUS 7062 HAS SOUPS 7062 WITH SCORE 7070.648
AT ITER 3342 NEW BEST:: SOT 15550 SOS 8641 HAS SOPS 8641 HAS SOUS 7055 HAS SOUPS 7055 WITH SCORE 7063.641
AT ITER 3358 NEW BEST:: SOT 15543 SOS 8628 HAS SOPS 8628 HAS SOUS 7055 HAS SOUPS 7055 WITH SCORE 7063.628
AT ITER 3401 NEW BEST:: SOT 15543 SOS 8608 HAS SOPS 8608 HAS SOUS 7055 HAS SOUPS 7055 WITH SCORE 7063.608
AT ITER 3402 NEW BEST:: SOT 15543 SOS 8605 HAS SOPS 8605 HAS SOUS 7055 HAS SOUPS 7055 WITH SCORE 7063.605
AT ITER 3475 NEW BEST:: SOT 15537 SOS 8599 HAS SOPS 8599 HAS SOUS 7049 HAS SOUPS 7049 WITH SCORE 7057.599
AT ITER 3481 NEW BEST:: SOT 15530 SOS 8592 HAS SOPS 8592 HAS SOUS 7042 HAS SOUPS 7042 WITH SCORE 7050.592
AT ITER 3495 NEW BEST:: SOT 15510 SOS 8572 HAS SOPS 8572 HAS SOUS 7022 HAS SOUPS 7022 WITH SCORE 7030.572
AT ITER 3528 NEW BEST:: SOT 15510 SOS 8572 HAS SOPS 8572 HAS SOUS 7021 HAS SOUPS 7021 WITH SCORE 7029.572
AT ITER 3576 NEW BEST:: SOT 15510 SOS 8572 HAS SOPS 8572 HAS SOUS 7014 HAS SOUPS 7014 WITH SCORE 7022.572
AT ITER 3589 NEW BEST:: SOT 15501 SOS 8564 HAS SOPS 8564 HAS SOUS 7006 HAS SOUPS 7006 WITH SCORE 7014.564
AT ITER 3596 NEW BEST:: SOT 15497 SOS 8561 HAS SOPS 8561 HAS SOUS 7003 HAS SOUPS 7003 WITH SCORE 7011.561
AT ITER 3640 NEW BEST:: SOT 15497 SOS 8558 HAS SOPS 8558 HAS SOUS 7003 HAS SOUPS 7003 WITH SCORE 7011.558
AT ITER 3672 NEW BEST:: SOT 15497 SOS 8551 HAS SOPS 8551 HAS SOUS 7002 HAS SOUPS 7002 WITH SCORE 7010.551
AT ITER 3699 NEW BEST:: SOT 15495 SOS 8561 HAS SOPS 8561 HAS SOUS 7000 HAS SOUPS 7000 WITH SCORE 7008.561
AT ITER 3714 NEW BEST:: SOT 15495 SOS 8561 HAS SOPS 8561 HAS SOUS 6994 HAS SOUPS 6994 WITH SCORE 7002.561
AT ITER 3743 NEW BEST:: SOT 15498 SOS 8560 HAS SOPS 8560 HAS SOUS 6994 HAS SOUPS 6994 WITH SCORE 7002.56
AT ITER 3745 NEW BEST:: SOT 15483 SOS 8599 HAS SOPS 8599 HAS SOUS 6984 HAS SOUPS 6984 WITH SCORE 6992.599
AT ITER 3754 NEW BEST:: SOT 15495 SOS 8611 HAS SOPS 8611 HAS SOUS 6980 HAS SOUPS 6980 WITH SCORE 6988.611
AT ITER 3777 NEW BEST:: SOT 15491 SOS 8607 HAS SOPS 8607 HAS SOUS 6976 HAS SOUPS 6976 WITH SCORE 6984.607
AT ITER 3790 NEW BEST:: SOT 15487 SOS 8604 HAS SOPS 8604 HAS SOUS 6973 HAS SOUPS 6973 WITH SCORE 6981.604
AT ITER 3794 NEW BEST:: SOT 15503 SOS 8609 HAS SOPS 8609 HAS SOUS 6972 HAS SOUPS 6972 WITH SCORE 6980.609
AT ITER 3820 NEW BEST:: SOT 15491 SOS 8597 HAS SOPS 8597 HAS SOUS 6960 HAS SOUPS 6960 WITH SCORE 6968.597
AT ITER 3834 NEW BEST:: SOT 15491 SOS 8593 HAS SOPS 8593 HAS SOUS 6958 HAS SOUPS 6958 WITH SCORE 6966.593
AT ITER 3839 NEW BEST:: SOT 15491 SOS 8586 HAS SOPS 8586 HAS SOUS 6954 HAS SOUPS 6954 WITH SCORE 6962.586
AT ITER 3843 NEW BEST:: SOT 15486 SOS 8599 HAS SOPS 8599 HAS SOUS 6950 HAS SOUPS 6950 WITH SCORE 6958.599
AT ITER 3895 NEW BEST:: SOT 15483 SOS 8596 HAS SOPS 8596 HAS SOUS 6947 HAS SOUPS 6947 WITH SCORE 6955.596
AT ITER 3934 NEW BEST:: SOT 15483 SOS 8588 HAS SOPS 8588 HAS SOUS 6947 HAS SOUPS 6947 WITH SCORE 6955.588
AT ITER 3951 NEW BEST:: SOT 15483 SOS 8590 HAS SOPS 8590 HAS SOUS 6946 HAS SOUPS 6946 WITH SCORE 6954.59
AT ITER 4031 NEW BEST:: SOT 15475 SOS 8582 HAS SOPS 8582 HAS SOUS 6938 HAS SOUPS 6938 WITH SCORE 6946.582
AT ITER 4036 NEW BEST:: SOT 15470 SOS 8577 HAS SOPS 8577 HAS SOUS 6933 HAS SOUPS 6933 WITH SCORE 6941.577
AT ITER 4075 NEW BEST:: SOT 15470 SOS 8577 HAS SOPS 8577 HAS SOUS 6931 HAS SOUPS 6931 WITH SCORE 6939.577
AT ITER 4079 NEW BEST:: SOT 15458 SOS 8565 HAS SOPS 8565 HAS SOUS 6919 HAS SOUPS 6919 WITH SCORE 6927.565
AT ITER 4082 NEW BEST:: SOT 15458 SOS 8565 HAS SOPS 8565 HAS SOUS 6918 HAS SOUPS 6918 WITH SCORE 6926.565
AT ITER 4125 NEW BEST:: SOT 15450 SOS 8597 HAS SOPS 8597 HAS SOUS 6913 HAS SOUPS 6913 WITH SCORE 6921.597
AT ITER 4183 NEW BEST:: SOT 15437 SOS 8584 HAS SOPS 8584 HAS SOUS 6900 HAS SOUPS 6900 WITH SCORE 6908.584
AT ITER 4187 NEW BEST:: SOT 15428 SOS 8575 HAS SOPS 8575 HAS SOUS 6883 HAS SOUPS 6883 WITH SCORE 6891.575
AT ITER 4267 NEW BEST:: SOT 15414 SOS 8570 HAS SOPS 8570 HAS SOUS 6869 HAS SOUPS 6869 WITH SCORE 6877.57
AT ITER 4276 NEW BEST:: SOT 15411 SOS 8567 HAS SOPS 8567 HAS SOUS 6866 HAS SOUPS 6866 WITH SCORE 6874.567
AT ITER 4461 NEW BEST:: SOT 15421 SOS 8571 HAS SOPS 8571 HAS SOUS 6865 HAS SOUPS 6865 WITH SCORE 6873.571
AT ITER 4483 NEW BEST:: SOT 15425 SOS 8569 HAS SOPS 8569 HAS SOUS 6865 HAS SOUPS 6865 WITH SCORE 6873.569
AT ITER 4486 NEW BEST:: SOT 15424 SOS 8568 HAS SOPS 8568 HAS SOUS 6863 HAS SOUPS 6863 WITH SCORE 6871.568
AT ITER 4586 NEW BEST:: SOT 15416 SOS 8553 HAS SOPS 8553 HAS SOUS 6859 HAS SOUPS 6859 WITH SCORE 6867.553
AT ITER 4587 NEW BEST:: SOT 15412 SOS 8549 HAS SOPS 8549 HAS SOUS 6855 HAS SOUPS 6855 WITH SCORE 6863.549
AT ITER 4604 NEW BEST:: SOT 15406 SOS 8549 HAS SOPS 8549 HAS SOUS 6849 HAS SOUPS 6849 WITH SCORE 6857.549
AT ITER 4662 NEW BEST:: SOT 15374 SOS 8544 HAS SOPS 8544 HAS SOUS 6844 HAS SOUPS 6844 WITH SCORE 6852.544
AT ITER 4807 NEW BEST:: SOT 15374 SOS 8544 HAS SOPS 8544 HAS SOUS 6841 HAS SOUPS 6841 WITH SCORE 6849.544
AT ITER 4845 NEW BEST:: SOT 15373 SOS 8543 HAS SOPS 8543 HAS SOUS 6840 HAS SOUPS 6840 WITH SCORE 6848.543
AT ITER 4847 NEW BEST:: SOT 15371 SOS 8541 HAS SOPS 8541 HAS SOUS 6835 HAS SOUPS 6835 WITH SCORE 6843.541
AT ITER 4892 NEW BEST:: SOT 15371 SOS 8538 HAS SOPS 8538 HAS SOUS 6834 HAS SOUPS 6834 WITH SCORE 6842.538
AT ITER 4927 NEW BEST:: SOT 15376 SOS 8537 HAS SOPS 8537 HAS SOUS 6833 HAS SOUPS 6833 WITH SCORE 6841.537
AT ITER 4960 NEW BEST:: SOT 15373 SOS 8534 HAS SOPS 8534 HAS SOUS 6830 HAS SOUPS 6830 WITH SCORE 6838.534
AT ITER 4963 NEW BEST:: SOT 15373 SOS 8534 HAS SOPS 8534 HAS SOUS 6827 HAS SOUPS 6827 WITH SCORE 6835.534
AT ITER 4966 NEW BEST:: SOT 15373 SOS 8526 HAS SOPS 8526 HAS SOUS 6819 HAS SOUPS 6819 WITH SCORE 6827.526
AT ITER 4991 NEW BEST:: SOT 15369 SOS 8522 HAS SOPS 8522 HAS SOUS 6815 HAS SOUPS 6815 WITH SCORE 6823.522
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: Sudoku-PT-AN05-CTLCardinality-00 (AF((EG( ( potential( ( 3 ) <= (tk(P74)) ) & potential( (tk(P107)) <= (tk(P139)) ) )))))
PROPERTY: Sudoku-PT-AN05-CTLCardinality-01 (EU( (AF(potential( ( 3 ) <= (tk(P180)) ))),potential( (tk(P199)) <= (tk(P28)) ) ))
PROPERTY: Sudoku-PT-AN05-CTLCardinality-02 (! (AF(( ( potential( ( 2 ) <= (tk(P85)) ) & potential( (tk(P77)) <= (tk(P78)) ) ) & ( potential( (tk(P71)) <= (tk(P159)) ) & potential( (tk(P187)) <= (tk(P42)) ) ) ))))
PROPERTY: Sudoku-PT-AN05-CTLCardinality-03 (EU( (EX( potential( ( 3 ) <= (tk(P157)) ))),(EF(potential( ( 2 ) <= (tk(P145)) ))) ))
PROPERTY: Sudoku-PT-AN05-CTLCardinality-04 (EX( ( potential( (tk(P162)) <= (tk(P114)) ) & (EX( potential( ( 2 ) <= (tk(P92)) ))) )))
PROPERTY: Sudoku-PT-AN05-CTLCardinality-05 (AG( ( (EX( potential( (tk(P37)) <= (tk(P14)) ))) | potential( (tk(P2)) <= (tk(P16)) ) )))
PROPERTY: Sudoku-PT-AN05-CTLCardinality-06 ( ( ( ( potential( (tk(P177)) <= (tk(P184)) ) | (! potential( (tk(P153)) <= (tk(P200)) )) ) | ( (! potential( (tk(P154)) <= (tk(P7)) )) & potential( (tk(P101)) <= (tk(P143)) ) ) ) & (EX( (! potential( (tk(P141)) <= (tk(P56)) )))) ) & (AG( (EF(potential( ( 2 ) <= (tk(P191)) ))))) )
PROPERTY: Sudoku-PT-AN05-CTLCardinality-07 (! (EU( ( potential( (tk(P88)) <= (tk(P50)) ) & potential( (tk(P50)) <= (tk(P22)) ) ),( potential( ( 2 ) <= (tk(P58)) ) | potential( ( 3 ) <= (tk(P19)) ) ) )))
PROPERTY: Sudoku-PT-AN05-CTLCardinality-08 (! (EX( (AG( potential( (tk(P173)) <= (tk(P198)) ))))))
PROPERTY: Sudoku-PT-AN05-CTLCardinality-09 (AG( (EF((! potential( (tk(P149)) <= (tk(P19)) ))))))
PROPERTY: Sudoku-PT-AN05-CTLCardinality-10 (EG( (! (AX( potential( ( 3 ) <= (tk(P153)) ))))))
PROPERTY: Sudoku-PT-AN05-CTLCardinality-11 ( (EX( ( potential( ( 3 ) <= (tk(P39)) ) | potential( (tk(P33)) <= (tk(P105)) ) ))) & (EG( (AF(potential( ( 1 ) <= (tk(P94)) ))))) )
PROPERTY: Sudoku-PT-AN05-CTLCardinality-12 (AF((EG( potential( (tk(P163)) <= (tk(P17)) )))))
PROPERTY: Sudoku-PT-AN05-CTLCardinality-13 ( ( ( (AF(potential( (tk(P67)) <= (tk(P25)) ))) & (EF(potential( (tk(P169)) <= (tk(P190)) ))) ) & potential( ( 2 ) <= (tk(P76)) ) ) | ( ( ( potential( (tk(P72)) <= (tk(P132)) ) & ( potential( (tk(P61)) <= (tk(P12)) ) & potential( ( 3 ) <= (tk(P129)) ) ) ) & (! ( potential( (tk(P72)) <= (tk(P84)) ) & potential( ( 1 ) <= (tk(P33)) ) )) ) | (AF((! potential( (tk(P125)) <= (tk(P82)) )))) ) )
PROPERTY: Sudoku-PT-AN05-CTLCardinality-14 (AG( (EX( ( potential( ( 1 ) <= (tk(P187)) ) | potential( (tk(P14)) <= (tk(P135)) ) )))))
PROPERTY: Sudoku-PT-AN05-CTLCardinality-15 (AF(( (! ( potential( (tk(P25)) <= (tk(P124)) ) & potential( (tk(P114)) <= (tk(P108)) ) )) & (AG( potential( (tk(P199)) <= (tk(P103)) ))) )))

BK_STOP 1591339596948

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

terminate called after throwing an instance of 'St9bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 461 Aborted ${SMART} ${INPUT_SM}

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Sudoku-PT-AN05"
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 Sudoku-PT-AN05, 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 r224-oct2-159033538700347"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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